Fifth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (5th-CASAM-N): II. Paradigm Application to a Bernoulli Model Comprising Uncertain Parameters

Abstract

This work presents the application of the recently developed “Fifth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (5th-CASAM-N)” to a simplified Bernoulli model. The 5th-CASAM-N builds upon and incorporates all of the lower-order (i.e., the first-, second-, third-, and fourth-order) adjoint sensitivities analysis methodologies. The Bernoulli model comprises a nonlinear model response, uncertain model parameters, uncertain model domain boundaries and uncertain model boundary conditions, admitting closed-form explicit expressions for the response sensitivities of all orders. Illustrating the specific mechanisms and advantages of applying the 5th-CASAM-N for the computation of the response sensitivities with respect to the uncertain parameters and boundaries reveals that the 5th-CASAM-N provides a fundamental step towards overcoming the curse of dimensionality in sensitivity and uncertainty analysis.

Share and Cite:

Cacuci, D. (2022) Fifth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (5th-CASAM-N): II. Paradigm Application to a Bernoulli Model Comprising Uncertain Parameters. American Journal of Computational Mathematics, 12, 119-161. doi: 10.4236/ajcm.2022.121008.

1. Introduction

This work presents the application of the recently developed [1] “Fifth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (5th-CASAM-N)” to a simplified Bernoulli model [2] comprising a nonlinear model response, uncertain model parameters, uncertain model domain boundaries and uncertain model boundary conditions. As is well known [2], the Bernoulli nonlinear differential equation admits exact solutions. The demonstration model selected for illustrating the application of the 5th-CASAM-N is a special case of the Bernoulli equation with quadratic nonlinearity, which is also called [2] the logistic differential equation and is used in economics.

This work is structured as follows: the illustrative Bernoulli model, including the paradigm nonlinear model response, is detailed in Section 2, which also presents the application of the 1st-CASAM-N illustrating the exact and efficient computation of the complete set of first-order response sensitivities with respect to the model parameters. These computations also include the illustrative computation of 1st-order sensitivities with respect to imprecisely known domain boundaries.

Section 3 illustrates the application of the 2nd-CASAM-N to obtain the complete set of 2nd-order sensitivities. It is shown that the complexity of the 2nd-Order Adjoint Sensitivity System used for computing efficiently and exactly the 2nd-order sensitivities is determined by the complexity of the 1st-order sensitivity used as the respective response and, hence, as the respective starting point. Thus, the 2nd-LASS that corresponds to 1st-order sensitivities that involve solely the original state function comprises only as many equations as the corresponding 1st-LASS. On the other hand, if the 1st-order sensitivity under consideration involves both the original state function(s) and the 1st-level adjoint sensitivity function(s), then the 2nd-LASS could comprise twice as many equations as the 1st-LASS. The symmetries inherent to the mixed 2nd-order sensitivities make it possible to choose a priori, based on the expressions of the 1st-order sensitivities, the order of priority and the most advantageous path for computing the 2nd-order sensitivities. The primary consideration when computing 2nd-order sensitivities is the priority order indicated by the magnitudes of the relative 1st-order sensitivities: the 2nd-order sensitivities stemming from the largest 1st-order relative sensitivity should be computed first. Once the priorities for computing the 2nd-order sensitivities have been established, it is important to examine the expressions of the 1st-order sensitivities in order to establish the least expensive (computationally) path for computing the mixed 2nd-order sensitivities.

Section 4 illustrates the application of the 3rd-CASAM-N to obtain representative 3rd-order sensitivities. It is shown that 2nd-order sensitivities that depend solely on the original function will require the solution of a 3rd-Level Adjoint Sensitivity System (3rd-LASS) of the same size as the original system or, equivalently, the 1st-LASS. The 2nd-order sensitivities that depend solely on the original state function and the 1st-level adjoint sensitivity system will give rise to a 3rd-LASS of the same size as the corresponding 2nd-LASS. Finally, 2nd-order sensitivities that depend on all of the components of the 2nd-level adjoint function(s) will need the solution of a 3rd-LASS that will have twice the dimensions of the corresponding 2nd-LASS.

Section 5 discusses the important aspects of applying the 4th-CASAM-N to compute the 4th-order sensitivities and the 5th-CASAM-N to compute the fifth-order sensitivities. Concluding remarks are presented in Section 6.

2. 1st-CASAM-N: Computation of First-Order Response Sensitivities

The illustrative model considered in this work comprises a simplified second-order Bernoulli equation subject to an imprecisely known boundary/initial condition u i n at the imprecisely known location λ , having the following standard form:

d u ( x ) d x = q u 2 ( x ) ; x Ω x ( λ , ω ) ; (1)

u ( x ) = u i n , x = λ . (2)

The model’s response, denoted as R [ u ( x ) ; α ] , is considered to be a nonlinear functional of the state function and parameters and is defined as follows:

R [ u ( x ) ; α ] λ ω r d x u ( x ) . (3)

The scalar parameters q, u i n , λ , ω , and r, which appear in Equations (1)-(3), are considered to be imprecisely known, subject to uncertainties. These parameters are representative of the type of parameters that can appear in the mathematical model of a physical, as follows: 1) the parameter q typifies uncertain model parameters which appear in the equations underlying the model; 2) the parameter u i n typifies uncertain boundary or initial conditions; 3) the parameters λ and ω typify uncertain boundaries of the domain of definition of the independent variable(s); 4) the parameter r typifies uncertain quantities which may appear solely in the definition of the model’s response.

For notational convenience, these imprecisely known model parameters are considered to be components of a vector of parameters α defined as follows:

α ( α 1 , , α T P ) ( q , u i n , λ , ω , r ) , (4)

where the subscript T P = 5 denotes the “total number of model parameters.” The dagger superscript “ ” will be used in this work to denote “transposition.” The information customarily available about the model parameters comprises their nominal (expected/mean) values and, possibly, higher-order moments or cumulants (i.e., variance/covariances, skewness, kurtosis), which are usually determined from evaluation processes external to the physical system under consideration. Occasionally, only lower and upper bounds may be known for some model parameters. The nominal parameter values will be denoted as α 0 [ α 1 0 , , α i 0 , , α T P 0 ] ; the superscript “0” will be used throughout this work to denote “nominal values.”

The solution of Equations (1) and (2) is obtained by separation of variables and subsequent integration to obtain the following expression:

u ( x ) = u i n 1 q u i n ( x λ ) . (5)

Inserting the result obtained in Equation (5) into Equation (3) yields the following expression for the model response:

R [ u ( x ) ; α ] = r ( ω λ ) ( 1 u i n q ω λ 2 ) . (6)

The parameters q, u i n and λ occur in the expression of the state function u ( x ) , which is the solution of Equations (1)-(3), but the parameter ω occurs only in the expression of the response, thus illustrating the fact that model parameters may be introduced in the model solely through the definition of the model’s response. Although both the model and its response are nonlinear functions of the state variables, the model has been chosen to be sufficiently simple to admit readily differentiable functions of the model parameters, so that the algebraic manipulations would not distract from following the application of the principles underlying the 5th-CASAM-N to obtain the various sensitivities (up to fifth-order) while enabling the analytical verification of the thus expressions obtained.

The nominal (or mean) parameter vales α 0 will differ from their true, but unknown, values by quantities denoted as δ α ( δ α 1 , , δ α T P ) , where δ α i α i α i 0 . Since the forward state function u ( x ) is related to the model and boundary parameters α through Equations and , it follows that the variations δ α in the model and boundary parameters will cause corresponding variations v ( 1 ) ( x ) δ u ( x ) around the nominal solution u 0 ( x ) in the forward state functions. In turn, the variations δ α and v ( 1 ) ( x ) will induce variations in the model’s response.

The 1st-order sensitivities of a model response R [ u ( x ) ; α ] are obtained by determining the 1st-order Gateaux- (G-) variation δ R [ u ( x ) ; α ; v ( 1 ) ( x ) ; δ α ] of the response, which is given, by definition, by the following expression:

δ R [ u ( x ) ; α ; v ( 1 ) ( x ) ; δ α ] R q δ q + R u i n δ u i n + R λ δ λ + R ω δ ω + R r δ r { d d ε R [ u 0 ( x ) + ε v ( 1 ) ( x ) ; α 0 + ε δ α ] } ε = 0 = { d d ε λ 0 + ε δ λ ω 0 + ε δ ω ( r + ε δ r ) d x u ( x ) + ε v ( 1 ) ( x ) } ε = 0 = { δ R [ u ( x ) ; α ; δ α ] } d i r + { δ R [ u ( x ) ; α ; v ( 1 ) ( x ) ] } i n d , (7)

where

{ δ R [ u ( x ) ; α ; δ α ] } d i r δ r { λ ω d x u ( x ) } α 0 + { r δ ω u ( x = ω ) } α 0 { r δ λ u ( x = λ ) } α 0 = δ r { ( ω λ ) ( 1 u i n q ω λ 2 ) } α 0 + { r [ 1 u i n q ( ω λ ) ] δ ω r δ λ u i n } α 0 , (8)

{ δ R [ u ( x ) ; α ; v ( 1 ) ( x ) ] } i n d { λ ω r d x u 2 ( x ) v ( 1 ) ( x ) } α 0 . (9)

The direct-effect term can be computed once the nominal values ( u 0 , α 0 ) are available. The notation { } α 0 will be used in this work to indicate that the quantity enclosed within the bracket is to be evaluated at the nominal values of the respective parameters and state functions. On the other hand, the indirect-effect term can be quantified only after having determined the variations v ( 1 ) ( x ) in terms of the variations δ α . The first-order relationship between the vectors v ( 1 ) ( x ) and δ α is determined by solving the following 1st-Level Variational Sensitivity System (1st-LVSS) obtained by applying the definition of the G-differential to Equations (1) and (2), which yields the following equations:

d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) = ( δ q ) u 2 ( x ) ; x Ω x ; (10)

v ( 1 ) ( x = λ ) + { d u ( x ) d x } x = λ ( δ λ ) = v ( 1 ) ( λ ) + ( δ λ ) q u i n 2 = δ u i n , at x = λ . (11)

The alternative to solving repeatedly the 1st-LVSS to obtain the 1st-level variational function v ( 1 ) ( x ) , which depends on the various parameter variations, is to express the indirect-effect term defined in Equation (9) in terms of the solution of the 1st-Level Adjoint Sensitivity System (1st-LASS), which is constructed by applying the principles of the 5th-CASAM-N, as follows:

1) Consider that the functions u ( x ) and v ( 1 ) ( x ) are elements of a Hilbert space denoted as H 1 ( Ω x ) which is endowed with an inner product of two vectors f 1 ( x ) H 1 ( Ω x ) and f 2 ( x ) H 1 ( Ω x ) denoted as f 1 , f 2 1 and defined as follows:

f 1 , f 2 1 { λ ω f 1 ( x ) f 2 ( x ) d x } α 0 . (12)

2) Using the definition of provided in Equation (12), construct the inner product of Equation (10) with a yet undefined function a ( 1 ) ( x ) H 1 ( Ω x ) to obtain the following relation:

{ λ ω a ( 1 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 1 ) ( x ) u 2 ( x ) d x } α 0 . (13)

3) Integrate by parts the left-side of Equation (13) to obtain the following relation:

{ λ ω a ( 1 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 1 ) ( ω ) v ( 1 ) ( ω ) a ( 1 ) ( λ ) v ( 1 ) ( λ ) { λ ω v ( 1 ) ( x ) [ d a ( 1 ) ( x ) d x + 2 q u ( x ) a ( 1 ) ( x ) ] d x } α 0 . (14)

4) Use in Equation (14) the boundary condition given in Equation (11) to obtain the following relation:

{ λ ω v ( 1 ) ( x ) [ d a ( 1 ) ( x ) d x + 2 q u ( x ) a ( 1 ) ( x ) ] d x } α 0 = a ( 1 ) ( λ ) ( δ u i n q u i n 2 ) a ( 1 ) ( ω ) v ( 1 ) ( ω ) + { λ ω a ( 1 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 . (15)

5) Require the left-side of Equation (15) to represent the indirect-effect term defined in Equation (9) and eliminate the unknown value v ( 1 ) ( ω ) in Equation (15) by requiring the function a ( 1 ) ( x ) H 1 ( Ω x ) to be the solution of the following 1st-Level Adjoint Sensitivity System (1st-LASS):

{ d a ( 1 ) ( x ) d x + 2 q u ( x ) a ( 1 ) ( x ) } α 0 = { r u 2 ( x ) } α 0 ; x Ω x ; (16)

a ( 1 ) ( x ) = 0 , at x = ω . (17)

6) Use Equations (15)-(17) together with Equation (13) in Equation (9) to obtain the following alternative expression for the indirect-effect term:

{ δ R [ u ( x ) ; α ; v ( 1 ) ( x ) ] } i n d = a ( 1 ) ( λ ) [ ( δ u i n ) q u i n 2 ( δ λ ) ] + ( δ q ) { λ ω a ( 1 ) ( x ) u 2 ( x ) d x } α 0 , (18)

7) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (18) and (8), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (7), yields the following expressions for the first-order response sensitivities with respect to the model parameters:

R q = λ ω a ( 1 ) ( x ) u 2 ( x ) d x , (19)

R u i n = a ( 1 ) ( λ ) , (20)

R λ = r u ( x = λ ) q u i n 2 a ( 1 ) ( λ ) , (21)

R ω = r u ( x = ω ) = r [ 1 u i n q ( ω λ ) ] , (22)

R r = λ ω d x u ( x ) = ( ω λ ) ( 1 u i n q ω λ 2 ) . (23)

The expressions of the sensitivities provided in Equations (19)-(23) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 1st-LASS to obtain the 1st-level adjoint sensitivity function a ( 1 ) ( x ) . The 1st-LASS is linear in a ( 1 ) ( x ) and is independent of parameter variations, so it only needs to be solved once. The expression of a ( 1 ) ( x ) obtained by solving the 1st-LASS by the standard integrating-factor method is as follows:

a ( 1 ) ( x ) = r ( x ω ) [ q ( x λ ) 1 u i n ] 2 = r ( x ω ) u 2 ( x ) . (24)

Inserting the result obtained in Equation (24) into in Equations (19)-(21) and evaluating the respective expressions yields the following closed-form results for the respective sensitivities:

R q = r ( ω λ ) 2 2 , (25)

R u i n = r ( λ ω ) u i n 2 , (26)

R λ = r u i n + r q ( ω λ ) . (27)

The closed-form expressions provided in Equations (22), (23), (25)-(27) have been derived for verification purposes, as they can be compared directly with the respective results which would be obtained by differentiating the closed-form expression of model response provided in Equation (6). In practice, however, the model’ equations and the 1st-LASS must be solved numerically. Consequently, the sensitivities expressed by Equations (19)-(23) must be evaluated numerically; closed-from expressions for these sensitivities are not available in practice.

3. 2nd-CASAM-N: Computation of Second-Order Response Sensitivities

Since there are five 1st-order sensitivities, it follows that there will be twenty five 2nd-order sensitivities, of which 15 will be distinct. The 2nd-order sensitivities could be computed directly by differentiating the expression of the G-differential of the response provided in Equation (7), to obtain the expression of the 2nd-order G-differential, δ 2 R [ u ( x ) ; α ; v ( 1 ) ( x ) ; δ α ; δ v ( 1 ) ( x ) ; v ( 1 ) ( x ) δ α ; δ 2 α ] , which would require the computation of the 2nd-order differential δ v ( 1 ) ( x ) δ 2 u ( x ) . The second-order G-differential δ v ( 1 ) ( x ) δ 2 u ( x ) would need to be determined by solving the G-differential of the 1st-LVSS, which would involve 2nd-order differential equations, which would depend on first- and second-order parameter variations. Furthermore, this set of 2nd-order differential equations would depend on the solution of the 1st-LVSS and would need to be solved at least 25 times, to account for all combinations of 1st- and 2nd-order variations in the parameters and state function u ( x ) .

Alternatively, the 2nd-order sensitivities can be defined as the “1st-order sensitivities of the 1st-order sensitivities.” This definition stems from the inductive definition of the 2nd-order total G-differential of correspondingly differentiable function, which is also defined inductively as “the total 1st-order differential of the 1st-order total differential.” As a general principle, the 2nd-order sensitivities should be computed in a priority order that should follow the ranking of the 1st-order sensitivities: the 2nd-order sensitivities that correspond to the largest relative 1st-order sensitivity should be computed first, the 2nd-order sensitivities that correspond to the second largest relative 1st-order sensitivity should be computed next, and so on. Based on a user-selected a-apriori cut-off criterion, 2nd-order sensitivities that stem from very small relative 1st-order sensitivities might be neglected without actually computing them.

Another criterion for prioritizing the computation of the 2nd-order sensitivities may be based on the difficulty involved in computing them. Examining Equations (19)-(23), it becomes apparent that the expressions of R / r and R / ω involve only the state function u ( x ) . Therefore, the 2nd-level adjoint sensitivity functions which will be used to compute the sensitivities stemming from R / r and R / ω will comprise a single component, having the general form a ( 2 ) ( 1 ; j 1 ; x ) , j 1 = 1 , 2 . Furthermore, the procedure for computing these 2nd-level sensitivities will be the same as the procedure followed for computing the 1st-order sensitivities, as will be shown in subsections 3.1.1 and 3.1.2, respectively.

On the other hand, the expressions of R / u i n , R / q and R / λ involve the adjoint sensitivity function a ( 1 ) ( x ) , which means that the 2nd-level adjoint sensitivity functions that will be needed for computing these sensitivities will comprise two-components, having the general form A ( 2 ) ( 2 ; j 1 ; x ) [ a ( 2 ) ( 1 ; j 1 ; x ) , a ( 2 ) ( 2 ; j 1 ; x ) ] , j 1 = 3 , 4 , 5 . Thus, the computation of the 2nd-order sensitivities stemming from R / u i n , R / q and/or R / λ will require at least twice as many computations as are required for the computation of the 2nd-order sensitivities stemming from R / r and/or R / ω . This is because solving a 2nd-Level Adjoint Sensitivity System to compute a two-component 2nd-level adjoint sensitivity function of the form A ( 2 ) ( 2 ; j 1 ; x ) [ a ( 2 ) ( 1 ; j 1 ; x ) , a ( 2 ) ( 2 ; j 1 ; x ) ] will be at least twice as expensive computationally as solving a 2nd-Level Adjoint Sensitivity System that involves a one-component 2nd-level adjoint sensitivity function of the form a ( 2 ) ( 2 ; j 1 ; x ) . The application of the principles underlying the 5th-CASAM-N to compute the 2nd-order sensitivities stemming from R / u i n , R / q and R / λ will be illustrated in the subsections 3.2.1, 3.2.2 and 3.2.3, respectively.

3.1. Second-Order Sensitivities Stemming from 1st-Order Sensitivities Involving Just the Original State Function

Examining Equations (19)-(23), it becomes apparent that the expressions of R / r and R / ω involve only the state function u ( x ) . Therefore, the 2nd-level adjoint sensitivity functions which will be used to compute the sensitivities stemming from R / r and R / ω will comprise a single component, having the general form a ( 2 ) ( 1 ; j 1 ; x ) , j 1 = 1 , 2 . Furthermore, the procedure for computing these 2nd-level sensitivities will be the same as the procedure followed for computing the 1st-order sensitivities, as will be shown in subsections 3.1 and 3.2, respectively.

3.1.1. Second-Order Sensitivities Stemming from R / r

The 2nd-order sensitivities which arise from R / r are obtained from the G-differential δ [ R / r ] of R / r , which is obtained by applying the definition of the G-differential to the expression provided in Equation (23). This yields the following expression:

δ { R r } 2 R q r δ q + 2 R u i n r δ u i n + 2 R λ r δ λ + 2 R ω r δ ω + 2 R r r δ r { d d ε λ 0 + ε δ λ ω 0 + ε δ ω d x u 0 ( x ) + ε v ( 1 ) ( x ) } ε = 0 { δ [ R / r ] } d i r + { δ [ R / r ] } i n d , (28)

where:

{ δ [ R / r ] } d i r ( δ ω ) { 1 u ( ω ) } α 0 ( δ λ ) { 1 u ( λ ) } α 0 , (29)

{ δ [ R / r ] } i n d { λ ω v ( 1 ) ( x ) u 2 ( x ) d x } α 0 . (30)

The direct-effect term has been evaluated at this stage since the function u ( x ) is already available. The indirect-effect term, however, can be evaluated only after having determined the variational function v ( 1 ) ( x ) , which is the solution of the 1st-LVSS. Solving the 1st-LVSS, which depends on parameter variations, can be avoided by expressing the indirect-effect term defined in Equation (30) in terms of the solution of a 2nd-Level Adjoint Sensitivity System (2nd-LASS), which is constructed by applying the same principles as outlined in Section 3.1, as follows:

1) Consider that the functions u ( x ) and v ( 1 ) ( x ) are elements the Hilbert space denoted as H 1 ( Ω x ) which is endowed with the inner defined in Equation (12). Using the definition of provided in Equation (12), construct the inner product of Equation (10) with a yet undefined function a ( 2 ) ( 1 ; 1 ; x ) H 1 ( Ω x ) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 1 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 2 ) ( 1 ; 1 ; x ) u 2 ( x ) d x } α 0 . (31)

2) Integrate by parts the left-side of Equation (31) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 1 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 2 ) ( 1 ; 1 ; ω ) v ( 1 ) ( ω ) a ( 2 ) ( 1 ; 1 ; λ ) v ( 1 ) ( λ ) { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 1 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 1 ; x ) ] d x } α 0 . (32)

3) Use in Equation (32) the boundary condition given in Equation (11) to obtain the following relation:

{ λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 1 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 1 ; x ) ] d x } α 0 = a ( 2 ) ( 1 ; 1 ; λ ) ( δ u i n q u i n 2 ) a ( 2 ) ( 1 ; 1 ; ω ) v ( 1 ) ( ω ) + { λ ω a ( 2 ) ( 1 ; 1 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 . (33)

4) Require the left-side of Equation (33) to represent the indirect-effect term defined in Equation (30) and eliminate the unknown value v ( 1 ) ( ω ) in Equation (33) by requiring the function a ( 2 ) ( 1 ; 1 ; x ) to be the solution of the following 2nd-Level Adjoint Sensitivity System (2nd-LASS):

{ d a ( 2 ) ( 1 ; 1 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 1 ; x ) } α 0 = { u 2 ( x ) } α 0 ; x Ω x ; (34)

a ( 2 ) ( 1 ; 1 ; x ) = 0 , at x = ω . (35)

5) Use Equations (33)-(35) together with Equation (31) in Equation (30) to obtain the following alternative expression for the indirect-effect term:

{ δ [ R / r ] } i n d = a ( 2 ) ( 1 ; 1 ; λ ) [ ( δ u i n ) q u i n 2 ( δ λ ) ] + ( δ q ) { λ ω a ( 2 ) ( 1 ; 1 ; x ) u 2 ( x ) d x } α 0 .(36)

6) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (36) and (29), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (28), yields the following expressions for the 2nd-order response sensitivities which stem from the first-order sensitivity R / r :

2 R q r = λ ω a ( 2 ) ( 1 ; 1 ; x ) u 2 ( x ) d x , (37)

2 R u i n r = a ( 2 ) ( 1 ; 1 ; λ ) , (38)

2 R λ r = 1 u ( λ ) q u i n 2 a ( 2 ) ( 1 ; 1 ; λ ) , (39)

2 R ω r = 1 u ( ω ) = 1 u i n q ( ω λ ) , (40)

2 R r r = 0 . (41)

The expressions of the sensitivities provided in Equations (37)-(40) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 2nd-LASS using the standard integrating-factor method to obtain the following expression for the 2nd-level adjoint sensitivity function a ( 2 ) ( 1 ; 1 ; x ) :

a ( 2 ) ( 1 ; 1 ; x ) = ( x ω ) [ q ( x λ ) 1 u i n ] 2 = x ω u 2 ( x ) . (42)

Inserting the result obtained in Equation (42) into in Equations (37)-(39) and evaluating the respective expressions yields the following closed-form results for the respective sensitivities:

2 R q r = ( ω λ ) 2 2 , (43)

2 R u i n r = ( λ ω ) u i n 2 , (44)

2 R λ r = 1 u i n + q ( ω λ ) . (45)

3.1.2. Second-Order Sensitivities Stemming from R / ω

In preparation for determining the 2nd-order sensitivities that correspond to R / ω , the expression provided in Equation (22) is written in the following integral form:

R ω = r λ ω δ ( x ω ) u ( x ) d x . (46)

The 2nd-order sensitivities which arise from R / ω are obtained by applying the definition of the G-differential to Equation (22), which yields the following expression:

δ { R ω } 2 R q ω δ q + 2 R u i n ω δ u i n + 2 R λ ω δ λ + 2 R ω ω δ ω + 2 R r ω δ r { d d ε ( r 0 + ε δ r ) λ 0 + ε δ λ ω 0 + ε δ ω δ ( x ω 0 ε δ ω ) u 0 ( x ) + ε v ( 1 ) ( x ) d x } ε = 0 { δ [ R ω ] } d i r + { δ [ R ω ] } i n d , (47)

where:

{ δ [ R / ω ] } d i r { ( δ r ) λ ω δ ( x ω ) u ( x ) d x } α 0 ( δ ω ) { r λ ω δ ( x ω ) u ( x ) d x } α 0 , (48)

{ δ [ R / ω ] } i n d { r λ ω δ ( x ω ) v ( 1 ) ( x ) u 2 ( x ) d x } α 0 . (49)

The direct-effect term can be evaluated at this stage since the function u ( x ) is already available. The indirect-effect term, however, can be evaluated only after having determined the variational function v ( 1 ) ( x ) , which is the solution of the 1st-LVSS. Solving the 1st-LVSS, which depends on parameter variations, can be avoided by expressing the indirect-effect term defined in Equation (49) in terms of the solution of a 2nd-Level Adjoint Sensitivity System (2nd-LASS), which is constructed by applying the same principles as outlined in Section 3.1, as follows:

1) Using the definition of provided in Equation (12), construct the inner product of Equation (10) with a yet undefined function a ( 2 ) ( 1 ; 2 ; x ) H 1 ( Ω x ) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 2 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 2 ) ( 1 ; 2 ; x ) u 2 ( x ) d x } α 0 . (50)

2) Integrate by parts the left-side of Equation (50) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 2 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 2 ) ( 1 ; 2 ; ω ) v ( 1 ) ( ω ) a ( 2 ) ( 1 ; 2 ; λ ) v ( 1 ) ( λ ) { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 2 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 2 ; x ) ] d x } α 0 . (51)

3) Use in Equation (51) the boundary condition given in Equation (11) to obtain the following relation:

{ λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 2 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 2 ; x ) ] d x } α 0 = a ( 2 ) ( 1 ; 2 ; λ ) ( δ u i n q u i n 2 ) a ( 2 ) ( 1 ; 2 ; ω ) v ( 1 ) ( ω ) + { λ ω a ( 2 ) ( 1 ; 2 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 . (52)

4) Require the left-side of Equation (52) to represent the indirect-effect term defined in Equation (49) and eliminate the unknown value v ( 1 ) ( ω ) in Equation (52) by requiring the function a ( 2 ) ( 1 ; 2 ; x ) to be the solution of the following 2nd-Level Adjoint Sensitivity System (2nd-LASS):

{ d a ( 2 ) ( 1 ; 2 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 2 ; x ) } α 0 = { r δ ( x ω ) u 2 ( x ) } α 0 ; x Ω x ; (53)

a ( 2 ) ( 1 ; 2 ; x ) = 0 , at x = ω . (54)

5) Use Equations (52)-(54) together with Equation (50) in Equation (49) to obtain the following alternative expression for the indirect-effect term:

{ δ [ R / ω ] } i n d = a ( 2 ) ( 1 ; 2 ; λ ) [ ( δ u i n ) q u i n 2 ( δ λ ) ] + ( δ q ) { λ ω a ( 2 ) ( 1 ; 2 ; x ) u 2 ( x ) d x } α 0 . (55)

6) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (55) and (48), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (47), yields the following expressions for the 2nd-order response sensitivities which stem from the first-order sensitivity R / r :

2 R q ω = λ ω a ( 2 ) ( 1 ; 2 ; x ) u 2 ( x ) d x , (56)

2 R u i n ω = a ( 2 ) ( 1 ; 2 ; λ ) , (57)

2 R λ ω = q u i n 2 a ( 2 ) ( 1 ; 2 ; λ ) , (58)

2 R ω ω = r λ ω δ ( x ω ) u ( x ) d x = q r , (59)

2 R r ω = λ ω δ ( x ω ) u ( x ) d x = 1 u i n q ( ω λ ) . (60)

The expressions of the sensitivities provided in Equations (37)-(40) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 2nd-LASS using the standard integrating-factor method to obtain the following expression for the 2nd-level adjoint sensitivity function a ( 2 ) ( 1 ; 2 ; x ) :

a ( 2 ) ( 1 ; 2 ; x ) = r u i n 2 [ q u i n ( x λ ) 1 ] 2 [ 1 H ( x ω ) ] = r u 2 ( x ) [ 1 H ( x ω ) ] .(61)

Inserting the result obtained in Equation (61) into in Equations (56)-(58) and evaluating the respective expressions yields the following closed-form results for the respective sensitivities:

2 R q ω = r ( ω λ ) , (62)

2 R u i n ω = r u i n 2 , (63)

2 R λ ω = q r . (64)

Evidently, the identity of the expressions obtained in Equations (60) and (40) confirms the correct determination of the mixed 2nd-order sensitivity 2 R / ω r .

3.2. Second-Order Sensitivities Stemming from 1st-Order Sensitivities Involving the 1st-Level Adjoint Sensitivity Function

The expressions of R / u i n , R / q and R / λ involve the adjoint sensitivity function a ( 1 ) ( x ) , which means that the 2nd-level adjoint sensitivity functions that will be needed for computing these sensitivities will comprise two-components, having the general form A ( 2 ) ( 2 ; j 1 ; x ) [ a ( 2 ) ( 1 ; j 1 ; x ) , a ( 2 ) ( 2 ; j 1 ; x ) ] , j 1 = 3 , 4 , 5 . Thus, the computation of the 2nd-order sensitivities stemming from R / u i n , R / q and/or R / λ will require at least twice as many computations as are required for the computation of the 2nd-order sensitivities stemming from R / r and/or R / ω . This is because solving a 2nd-Level Adjoint Sensitivity System to compute a two-component 2nd-level adjoint sensitivity function of the form A ( 2 ) ( 2 ; j 1 ; x ) [ a ( 2 ) ( 1 ; j 1 ; x ) , a ( 2 ) ( 2 ; j 1 ; x ) ] .

3.2.1. Second-Order Sensitivities Stemming from R / u i n

In preparation for determining the 2nd-order sensitivities that correspond to R / u i n , the expression provided in Equation (20) is written in the following integral form:

R u i n = λ ω a ( 1 ) ( x ) δ ( x λ ) d x . (65)

By definition, the G-differential δ [ R / u i n ] of R / u i n is obtained as follows:

δ { R u i n } 2 R q u i n δ q + 2 R u i n u i n δ u i n + 2 R λ u i n δ λ + 2 R ω u i n δ ω + 2 R r u i n δ r { d d ε λ 0 + ε δ λ ω 0 + ε δ ω [ a ( 1 ) , 0 ( x ) + ε δ a ( 1 ) ( x ) ] δ ( x λ ε δ λ ) d x } ε = 0 { δ [ R / u i n ] } d i r + { δ [ R / u i n ] } i n d , (66)

where:

{ δ [ R / u i n ] } d i r ( δ λ ) { λ ω a ( 1 ) ( x ) δ ( x λ ) d x } α 0 = ( δ λ ) { d a ( 1 ) ( x ) d x } x = λ = ( δ λ ) u i n [ r u i n 2 r q ( λ ω ) ] , (67)

{ δ [ R / u i n ] } i n d { λ ω δ a ( 1 ) ( x ) δ ( x λ ) d x } α 0 . (68)

The direct-effect term has been evaluated at this stage since the function a ( 1 ) ( x ) is already available. The indirect-effect term, however, can be evaluated only after having determined the variational function δ a ( 1 ) ( x ) , which is the solution of the 2nd-Level Variational Sensitivity System (2nd-LVSS) obtained by G-differentiating the 1st-LASS. The G-differentiation of the 1st-LASS represented by Equations (16) and (17) yields the following system:

{ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) } α 0 = { 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) } α 0 ; x Ω x ; (69)

δ a ( 1 ) ( ω ) + { d a ( 1 ) ( x ) d x } x = ω δ ω = δ a ( 1 ) ( ω ) + r [ q ( ω λ ) 1 u i n ] 2 δ ω = 0 , at x = ω . (70)

Equation (69) also involves the variational function v ( 1 ) ( x ) , which is the solution of the 1st-LVSS comprising Equations (10) and (11). Therefore, Equations (69) and (70) are to be concatenated with the 1st-LVSS to obtain the following 2nd-Level Variational Sensitivity System (2nd-LVSS) which is satisfied by the 2nd-level variational function V ( 2 ) ( x ) [ v ( 1 ) ( x ) , δ a ( 1 ) ( x ) ] :

{ V M ( 2 ) ( 2 × 2 ) V ( 2 ) ( 2 ; x ) } α 0 = { Q V ( 2 ) ( 2 ; x ) } α 0 , x Ω x , (71)

B V ( 2 ) ( 2 ; x ) ( v ( 1 ) ( λ ) + ( δ λ ) q u i n 2 δ u i n δ a ( 1 ) ( ω ) + r [ q ( ω λ ) 1 u i n ] 2 δ ω ) = ( 0 0 ) ; (72)

where

V ( 2 ) ( 2 ; x ) ( v ( 2 ) ( 1 ; x ) v ( 2 ) ( 2 ; x ) ) ( v ( 1 ) ( x ) δ a ( 1 ) ( x ) ) ; (73)

V M ( 2 ) ( 2 × 2 ) ( d d x 2 q u ( x ) 0 2 q a ( 1 ) ( x ) + 2 r u 3 ( x ) d d x + 2 q u ( x ) ) ; (74)

Q V ( 2 ) ( 2 ; x ) ( ( δ q ) u 2 ( x ) 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ) . (75)

The need for solving repeatedly the 2nd-LVSS to obtain the 2nd-level variational function V ( 2 ) ( x ) for every parameter variations is circumvented by expressing the indirect-effect term defined in Equation (68) in terms of the solution of a 2nd-Level Adjoint Sensitivity System (2nd-LASS), which is constructed specifically for the indirect-effect term defined in Equation (68), by applying the principles of the 5th-CASAM-N, as follows:

1) Consider that the function V ( 2 ) ( x ) is an element of a Hilbert space denoted as H 2 ( Ω x ) . This Hilbert space is considered to be endowed with an inner product of two vectors Ψ ( 2 ) ( 2 ; x ) [ ψ ( 2 ) ( 1 ; x ) , ψ ( 2 ) ( 2 ; x ) ] H 2 ( Ω x ) and Φ ( 2 ) ( 2 ; x ) [ ψ ( 2 ) ( 1 ; x ) , ψ ( 2 ) ( 2 ; x ) ] H 2 ( Ω x ) defined as follows:

Ψ ( 2 ) ( 2 ; x ) , Φ ( 2 ) ( 2 ; x ) 2 i = 1 2 ψ ( 2 ) ( i ; x ) , φ ( 2 ) ( i ; x ) 1 { i = 1 2 λ ω ψ ( 2 ) ( i ; x ) , φ ( 2 ) ( i ; x ) d x } α 0 . (76)

2) Using the definition of provided in Equation (76), construct the inner product of Equation (71) with a yet undefined function A ( 2 ) ( 2 ; 3 ; x ) [ a ( 2 ) ( 1 ; 3 ; x ) , a ( 2 ) ( 2 ; 3 ; x ) ] H 2 ( Ω x ) to obtain the following relation:

{ A ( 2 ) ( 2 ; 3 ; x ) , V M ( 2 ) ( 2 × 2 ) V ( 2 ) ( 2 ; x ) 2 } α 0 = { A ( 2 ) ( 2 ; 3 ; x ) , Q V ( 2 ) ( 2 ; x ) 2 } α 0 , x Ω x , (77)

which in component form reads as follows:

{ λ ω a ( 2 ) ( 1 ; 3 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 3 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 2 ) ( 1 ; 3 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 3 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 . (78)

3) Integrate by parts the left-side of Equation (78) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 3 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 3 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 2 ) ( 1 ; 3 ; ω ) v ( 1 ) ( ω ) a ( 2 ) ( 1 ; 3 ; λ ) v ( 1 ) ( λ ) + { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 3 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 3 ; x ) ] d x } α 0

+ a ( 2 ) ( 2 ; 3 ; ω ) δ a ( 1 ) ( ω ) a ( 2 ) ( 2 ; 3 ; λ ) δ a ( 1 ) ( λ ) + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 3 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 3 ; x ) ] d x } α 0 + { 2 λ ω v ( 1 ) ( x ) [ q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 3 ; x ) + r u 3 ( x ) a ( 2 ) ( 2 ; 3 ; x ) ] d x } α 0 (79)

4) Use in Equation (79) the boundary condition given in Equations (11) and (70) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 3 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 3 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 a ( 2 ) ( 1 ; 3 ; ω ) v ( 1 ) ( ω ) + a ( 2 ) ( 1 ; 3 ; λ ) [ δ u i n q u i n 2 ( δ λ ) ] + a ( 2 ) ( 2 ; 3 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 δ ω + a ( 2 ) ( 2 ; 3 ; λ ) δ a ( 1 ) ( λ )

= { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 3 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 3 ; x ) + 2 q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 3 ; x ) + 2 r u 3 ( x ) a ( 2 ) ( 2 ; 3 ; x ) ] d x } α 0 + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 3 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 3 ; x ) ] d x } α 0 (80)

5) Require the right-side of Equation (80) to represent the indirect-effect term defined in Equation (68) and eliminate the unknown values of the components of V ( 2 ) ( x ) in Equation (80) by requiring the function A ( 2 ) ( 2 ; 3 ; x ) [ a ( 2 ) ( 1 ; 3 ; x ) , a ( 2 ) ( 2 ; 3 ; x ) ] to be the solution of the following 2nd-Level Adjoint Sensitivity System (2nd-LASS):

{ d a ( 2 ) ( 1 ; 3 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 3 ; x ) } α 0 = { 2 a ( 2 ) ( 2 ; 3 ; x ) [ q a ( 1 ) ( x ) + r u 3 ( x ) ] } α 0 ; (81)

{ a ( 2 ) ( 1 ; 3 ; ω ) } α 0 = 0 , at x = ω ; (82)

{ d d x a ( 2 ) ( 2 ; 3 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 3 ; x ) } α 0 = { δ ( x λ ) } α 0 ; x Ω x ; (83)

{ a ( 2 ) ( 2 ; 3 ; λ ) } α 0 = 0 , at x = λ . (84)

6) Use Equations (80)-(84) together with Equation (78) in Equation (68) to obtain the following alternative expression for the indirect-effect term:

{ δ [ R / u i n ] } i n d = ( δ q ) { λ ω a ( 2 ) ( 1 ; 3 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 3 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 + [ δ u i n q u i n 2 ( δ λ ) ] a ( 2 ) ( 1 ; 3 ; λ ) + ( δ ω ) r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 3 ; ω ) . (85)

7) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (85) and (67), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (66), yields the following expressions for the first-order response sensitivities with respect to the model parameters:

2 R q u i n = λ ω a ( 2 ) ( 1 ; 3 ; x ) u 2 ( x ) d x 2 λ ω a ( 2 ) ( 2 ; 3 ; x ) u ( x ) a ( 1 ) ( x ) d x , (86)

2 R u i n u i n = a ( 2 ) ( 1 ; 3 ; λ ) , (87)

2 R λ u i n = q u i n 2 a ( 2 ) ( 1 ; 3 ; λ ) + r u i n 2 2 r ( λ ω ) q u i n , (88)

2 R ω u i n = r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 3 ; ω ) , (89)

2 R r u i n = λ ω a ( 2 ) ( 2 ; 3 ; x ) u 2 ( x ) d x . (90)

The expressions of the sensitivities provided in Equations (86)-(90) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 2nd-LASS to obtain the 2nd-level adjoint sensitivity function A ( 2 ) ( 2 ; 3 ; x ) [ a ( 2 ) ( 1 ; 3 ; x ) , a ( 2 ) ( 2 ; 3 ; x ) ] . The 2nd-LASS is linear in A ( 2 ) ( 2 ; 3 ; x ) [ a ( 2 ) ( 1 ; 3 ; x ) , a ( 2 ) ( 2 ; 3 ; x ) ] and is independent of parameter variations, so it only needs to be solved once. Furthermore, the 2nd-LASS is an upper-triangular system which can be solved in a decoupled manner, by first obtaining the expression of the function a ( 2 ) ( 2 ; 3 ; x ) and subsequently obtaining the expression of the function a ( 2 ) ( 1 ; 3 ; x ) . Solving the 2nd-LASS comprising Equations (81)-(84) yields the following expressions:

a ( 2 ) ( 1 ; 3 ; x ) = 2 r ( x ω ) u ( x ) 1 u i n 2 = 2 r u i n 3 ( x ω ) [ 1 q u i n ( x λ ) ] , (91)

a ( 2 ) ( 2 ; 3 ; x ) = [ q u i n ( x λ ) 1 ] 2 H ( x λ ) = [ u ( x ) u i n ] 2 H ( x λ ) . (92)

Inserting into Equations (86)-(90) the expressions obtained in Equations (91) and (92) yields the following closed form expressions:

2 R q u i n = 0 , (93)

2 R u i n u i n = 2 r u i n 3 ( λ ω ) , (94)

2 R λ u i n = r u i n 2 , (95)

2 R ω u i n = r u i n 2 , (96)

2 R r u i n = ( λ ω ) u i n 2 . (97)

Since the expression in Equation (90) must be identical to the expression provided in Equation (38), i.e.,

2 R r u i n = λ ω a ( 2 ) ( 2 ; 3 ; x ) u 2 ( x ) d x 2 R u i n r = a ( 2 ) ( 1 ; 1 ; λ ) , (98)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 3 ; x ) , u ( x ) and a ( 2 ) ( 1 ; 1 ; x ) .

Similarly, since the expression in Equation (89) must be identical to the expression provided in Equation (57), i.e.,

2 R ω u i n = r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 3 ; ω ) 2 R u i n ω = a ( 2 ) ( 1 ; 2 ; λ ) , (99)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 3 ; x ) and a ( 2 ) ( 1 ; 2 ; x ) .

3.2.2. Second-Order Sensitivities Stemming from R / λ

In preparation for determining the 2nd-order sensitivities that correspond to R / λ , the expression provided in Equation (21) is written in the following integral form:

R λ = r λ ω δ ( x λ ) u ( x ) d x q u i n 2 λ ω a ( 1 ) ( x ) δ ( x λ ) d x . (100)

By definition, the G-differential δ [ R / λ ] of R / λ is obtained as follows:

δ { R λ } 2 R q λ δ q + 2 R u i n λ δ u i n + 2 R λ λ δ λ + 2 R ω λ δ ω + 2 R r λ δ r { d d ε λ 0 + ε δ λ ω 0 + ε δ ω ( r 0 + ε δ r ) δ ( x λ 0 ε δ λ ) u 0 ( x ) + ε δ u ( x ) d x } ε = 0 { d d ε λ 0 + ε δ λ ω 0 + ε δ ω ( q 0 + ε δ q ) ( u i n 0 + ε δ u i n ) 2 [ a ( 1 ) , 0 ( x ) + ε δ a ( 1 ) ( x ) ] δ ( x λ 0 ε δ λ ) d x } ε = 0 { δ [ R / λ ] } d i r + { δ [ R / λ ] } i n d , (101)

where:

{ δ [ R / λ ] } d i r ( δ r ) { λ ω δ ( x λ ) u ( x ) d x } α 0 + ( δ λ ) { r λ ω δ ( x λ ) u ( x ) d x } α 0 { [ ( δ q ) u i n 2 + 2 q u i n ( δ u i n ) ] λ ω a ( 1 ) ( x ) δ ( x λ ) d x } α 0 + ( δ λ ) { q u i n 2 λ ω a ( 1 ) ( x ) δ ( x λ ) d x } α 0 = ( δ r ) { 1 u i n } α 0 + ( δ λ ) { r q } α 0 [ ( δ q ) u i n 2 + 2 q u i n ( δ u i n ) ] r ( λ ω ) u i n 2 ( δ λ ) { q r [ 1 2 q u i n ( λ ω ) ] } α 0 , (102)

{ δ [ R / λ ] } i n d { r λ ω δ ( x λ ) u 2 ( x ) v ( 1 ) ( x ) d x } α 0 { q u i n 2 λ ω δ a ( 1 ) ( x ) δ ( x λ ) d x } α 0 . (103)

The direct-effect term has been evaluated at this stage since the functions u ( x ) and a ( 1 ) ( x ) are already available. The indirect-effect term, however, can be evaluated only after having determined the variational vector V ( 2 ) ( x ) [ v ( 1 ) ( x ) , δ a ( 1 ) ( x ) ] , which is the solution of the 2nd-LVSS obtained in Equations (71)-(75). The need for solving repeatedly the 2nd-LVSS to obtain the 2nd-level variational function V ( 2 ) ( x ) for every parameter variations is circumvented by expressing the indirect-effect term defined in Equation (103) in terms of the solution of a 2nd-LASS, which is constructed specifically for this indirect-effect term, by applying the principles of the 5th-CASAM-N, as follows:

1) Using the definition of provided in Equation (76), construct in the Hilbert H 2 ( Ω x ) the inner product of Equation (71) with a yet undefined function A ( 2 ) ( 2 ; 4 ; x ) [ a ( 2 ) ( 1 ; 4 ; x ) , a ( 2 ) ( 2 ; 4 ; x ) ] H 2 ( Ω x ) to obtain the following relation:

{ A ( 2 ) ( 2 ; 4 ; x ) , V M ( 2 ) V ( 2 ) ( x ) 2 } α 0 = { A ( 2 ) ( 2 ; 4 ; x ) , Q V ( 2 ) 2 } α 0 , x Ω x , (104)

which in component form reads as follows:

{ λ ω a ( 2 ) ( 1 ; 4 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 4 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 2 ) ( 1 ; 4 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 4 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 . (105)

2) Integrate by parts the left-side of Equation (105) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 4 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 4 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 2 ) ( 1 ; 4 ; ω ) v ( 1 ) ( ω ) a ( 2 ) ( 1 ; 4 ; λ ) v ( 1 ) ( λ ) + { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 4 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 4 ; x ) ] d x } α 0

+ a ( 2 ) ( 2 ; 4 ; ω ) δ a ( 1 ) ( ω ) a ( 2 ) ( 2 ; 4 ; λ ) δ a ( 1 ) ( λ ) + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 4 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 4 ; x ) ] d x } α 0 + { 2 λ ω v ( 1 ) ( x ) [ q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 4 ; x ) + r u 3 ( x ) a ( 2 ) ( 2 ; 4 ; x ) ] d x } α 0 (106)

3) Use in Equation (106) the boundary condition given in Equations (11) and (70) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 4 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 4 ; x )

× [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 a ( 2 ) ( 1 ; 4 ; ω ) v ( 1 ) ( ω ) + a ( 2 ) ( 1 ; 4 ; λ ) [ δ u i n q u i n 2 ( δ λ ) ] + a ( 2 ) ( 2 ; 4 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 ( δ ω ) + a ( 2 ) ( 2 ; 4 ; λ ) δ a ( 1 ) ( λ )

= { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 4 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 4 ; x ) + 2 q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 4 ; x ) + 2 r u 3 ( x ) a ( 2 ) ( 2 ; 4 ; x ) ] d x } α 0 + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 4 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 4 ; x ) ] d x } α 0 (107)

4) Require the right-side of Equation (107) to represent the indirect-effect term defined in Equation (103) and eliminate the unknown values of the components of V ( 2 ) ( x ) in Equation (107) by requiring the function A ( 2 ) ( 2 ; 4 ; x ) [ a ( 2 ) ( 1 ; 4 ; x ) , a ( 2 ) ( 2 ; 4 ; x ) ] to be the solution of the following 2nd-LASS:

d a ( 2 ) ( 1 ; 4 ; x ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 4 ; x ) = r δ ( x λ ) u i n 2 + 2 a ( 2 ) ( 2 ; 4 ; x ) [ q a ( 1 ) ( x ) + 2 r u 3 ( x ) ] ; (108)

{ a ( 2 ) ( 1 ; 4 ; ω ) } α 0 = 0 , at x = ω ; (109)

{ d d x a ( 2 ) ( 2 ; 4 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 4 ; x ) } α 0 = { q u i n 2 δ ( x λ ) } α 0 ; x Ω x ; (110)

{ a ( 2 ) ( 2 ; 4 ; λ ) } α 0 = 0 , at x = λ . (111)

5) Use Equations (107)-(111) together with Equation (105) in Equation (103) to obtain the following alternative expression for the indirect-effect term:

{ δ [ R / λ ] } i n d = ( δ q ) { λ ω a ( 2 ) ( 1 ; 4 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 4 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 . + [ δ u i n q u i n 2 ( δ λ ) ] a ( 2 ) ( 1 ; 4 ; λ ) + ( δ ω ) r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 4 ; ω ) (112)

6) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (112) and (102), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (101), yields the following expressions for the first-order response sensitivities with respect to the model parameters:

2 R q λ = λ ω a ( 2 ) ( 1 ; 4 ; x ) u 2 ( x ) d x 2 λ ω a ( 2 ) ( 2 ; 4 ; x ) u ( x ) a ( 1 ) ( x ) d x + r ( ω λ ) , (113)

2 R u i n λ = a ( 2 ) ( 1 ; 4 ; λ ) 2 q r ( λ ω ) u i n , (114)

2 R λ λ = q u i n 2 a ( 2 ) ( 1 ; 4 ; λ ) + 2 r q 2 u i n ( λ ω ) , (115)

2 R ω λ = r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 4 ; ω ) , (116)

2 R r λ = λ ω a ( 2 ) ( 2 ; 4 ; x ) u 2 ( x ) d x 1 u i n . (117)

The expressions of the sensitivities provided in Equations (113)-(117) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 2nd-LASS defined by Equations (108)-(111) to obtain the 2nd-level adjoint sensitivity function A ( 2 ) ( 2 ; 4 ; x ) [ a ( 2 ) ( 1 ; 4 ; x ) , a ( 2 ) ( 2 ; 4 ; x ) ] . This 2nd-LASS is linear in A ( 2 ) ( 2 ; 4 ; x ) [ a ( 2 ) ( 1 ; 4 ; x ) , a ( 2 ) ( 2 ; 4 ; x ) ] and is independent of parameter variations, so it only needs to be solved once. Furthermore, this 2nd-LASS is an upper-triangular system which can be solved in a decoupled manner, by first obtaining the expression of the function a ( 2 ) ( 2 ; 4 ; x ) and subsequently obtaining the expression of the function a ( 2 ) ( 1 ; 4 ; x ) . Solving thus the 2nd-LASS comprising Equations (108)-(111) yields the following expressions:

a ( 2 ) ( 1 ; 4 ; x ) = [ q u i n ( x λ ) 1 ] 2 { r u i n 2 H ( x λ ) r u i n 2 + 2 r [ 1 + q u i n ( λ ω ) ] u i n 2 [ 1 + q u i n ( λ x ) ] } ,(118)

a ( 2 ) ( 2 ; 4 ; x ) = q u i n 2 [ q u i n ( x λ ) 1 ] 2 H ( x λ ) = q u 2 ( x ) H ( x λ ) . (119)

Inserting into Equations (113)-(117) the expressions obtained in Equations (118) and (119) yields the following closed form expressions:

2 R q λ = r ( ω λ ) , (120)

2 R u i n λ = r u i n 2 , (121)

2 R λ λ = r q , (122)

2 R ω λ = r q , (123)

2 R r λ = q ( ω λ ) 1 u i n . (124)

Since the expression in Equation (117) must be identical to the expression provided in Equation (39), i.e.,

2 R r λ = λ ω a ( 2 ) ( 2 ; 4 ; x ) u 2 ( x ) d x 1 u i n 2 R λ r = 1 u ( λ ) q u i n 2 a ( 2 ) ( 1 ; 1 ; λ ) , (125)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 4 ; x ) , u ( x ) and a ( 2 ) ( 1 ; 1 ; x ) .

Similarly, since the expression in Equation (116) must be identical to the expression provided in Equation (58), i.e.,

2 R ω λ = r [ q ( ω λ ) 1 u i n ] 2 a ( 2 ) ( 2 ; 4 ; ω ) 2 R λ ω = q u i n 2 a ( 2 ) ( 1 ; 2 ; λ ) , (126)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 4 ; x ) and a ( 2 ) ( 1 ; 2 ; x ) .

Furthermore, since the expression in Equation (114) must be identical to the expression provided in Equation (88), i.e.,

2 R u i n λ = a ( 2 ) ( 1 ; 4 ; λ ) 2 q r ( λ ω ) u i n 2 R λ u i n = q u i n 2 a ( 2 ) ( 1 ; 3 ; λ ) + r u i n 2 2 r ( λ ω ) q u i n , (127)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 1 ; 4 ; x ) and a ( 2 ) ( 1 ; 3 ; x ) .

3.2.3. Second-Order Sensitivities Stemming from R / q

The 2nd-order sensitivities stemming from the 1st-order sensitivity R / q are obtained, by definition, from by determining the G-differential, δ [ R / q ] , of the expression provided in Equation (19) for R / q , which yields:

δ { R q } 2 R q q δ q + 2 R u i n q δ u i n + 2 R λ q δ λ + 2 R ω q δ ω + 2 R r q δ r { d d ε λ 0 + ε δ λ ω 0 + ε δ ω [ a ( 1 ) , 0 ( x ) + ε δ a ( 1 ) ( x ) ] [ u 0 ( x ) + ε v ( 1 ) ( x ) ] 2 d x } ε = 0 { δ [ R / q ] } d i r + { δ [ R / q ] } i n d , (128)

where:

{ δ [ R / q ] } d i r { a ( 1 ) ( λ ) u 2 ( λ ) ( δ λ ) } α 0 = ( δ λ ) { r ( ω λ ) } α 0 , (129)

{ δ [ R / q ] } i n d { λ ω δ a ( 1 ) ( x ) u 2 ( x ) d x } α 0 + { 2 λ ω a ( 1 ) ( x ) u ( x ) v ( 1 ) ( x ) d x } α 0 . (130)

The direct-effect term can be evaluated at this stage since the values of the functions a ( 1 ) ( x ) and u ( x ) are already available. The indirect-effect term, however, can be evaluated only after having determined the vector-valued variational function V ( 2 ) ( x ) [ v ( 1 ) ( x ) , δ a ( 1 ) ( x ) ] , which is the solution of the 2nd-LVSS obtained in Equations (71)-(75). The need for solving repeatedly the 2nd-LVSS to obtain the 2nd-level variational function V ( 2 ) ( x ) for every parameter variations is circumvented by expressing the indirect-effect term defined in Equation (130) in terms of the solution of a 2nd-LASS, which is constructed specifically for this indirect-effect term, by applying the principles of the 5th-CASAM-N, as follows:

1) Using the definition of provided in Equation (76), construct in the Hilbert H 2 ( Ω x ) the inner product of Equation (71) with a yet undefined function A ( 2 ) ( 2 ; 5 ; x ) [ a ( 2 ) ( 1 ; 5 ; x ) , a ( 2 ) ( 2 ; 5 ; x ) ] H 2 ( Ω x ) to obtain the following relation:

{ A ( 2 ) ( 2 ; 5 ; x ) , V M ( 2 ) V ( 2 ) ( x ) 2 } α 0 = { A ( 2 ) ( 2 ; 5 ; x ) , Q V ( 2 ) 2 } α 0 , x Ω x , (131)

which in component form reads as follows:

{ λ ω a ( 2 ) ( 1 ; 5 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 5 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 2 ) ( 1 ; 5 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 5 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 . (132)

2) Integrate by parts the left-side of Equation (132) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 5 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 5 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 2 ) ( 1 ; 5 ; ω ) v ( 1 ) ( ω ) a ( 2 ) ( 1 ; 5 ; λ ) v ( 1 ) ( λ ) + { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 5 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 5 ; x ) ] d x } α 0

+ a ( 2 ) ( 2 ; 5 ; ω ) δ a ( 1 ) ( ω ) a ( 2 ) ( 2 ; 5 ; λ ) δ a ( 1 ) ( λ ) + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 5 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 5 ; x ) ] d x } α 0 + { 2 λ ω v ( 1 ) ( x ) [ q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 5 ; x ) + r u 3 ( x ) a ( 2 ) ( 2 ; 5 ; x ) ] d x } α 0 (133)

3) Use in Equation (133) the boundary condition given in Equations (11) and (70) to obtain the following relation:

{ λ ω a ( 2 ) ( 1 ; 5 ; x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 + { λ ω a ( 2 ) ( 2 ; 5 ; x ) × [ d d x δ a ( 1 ) ( x ) + 2 q u ( x ) δ a ( 1 ) ( x ) + 2 q a ( 1 ) ( x ) v ( 1 ) ( x ) + 2 r u 3 ( x ) v ( 1 ) ( x ) ] d x } α 0 a ( 2 ) ( 1 ; 5 ; ω ) v ( 1 ) ( ω ) + a ( 2 ) ( 1 ; 5 ; λ ) [ δ u i n q u i n 2 ( δ λ ) ] + a ( 2 ) ( 2 ; 5 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 ( δ ω ) + a ( 2 ) ( 2 ; 5 ; λ ) δ a ( 1 ) ( λ )

= { λ ω v ( 1 ) ( x ) [ d a ( 2 ) ( 1 ; 5 ; x ) d x 2 q u ( x ) a ( 2 ) ( 1 ; 1 ; x ) + 2 q a ( 1 ) ( x ) a ( 2 ) ( 2 ; 5 ; x ) + 2 r u 3 ( x ) a ( 2 ) ( 2 ; 5 ; x ) ] d x } α 0 + { λ ω δ a ( 1 ) ( x ) [ d d x a ( 2 ) ( 2 ; 5 ; x ) + 2 q u ( x ) a ( 2 ) ( 2 ; 5 ; x ) ] d x } α 0 (134)

4) Require the right-side of Equation (134) to represent the indirect-effect term defined in Equation (130) and eliminate the unknown values of the components of V ( 2 ) ( x ) in Equation (134) by requiring the function A ( 2 ) ( 2 ; 5 ; x ) [ a ( 2 ) ( 1 ; 5 ; x ) , a ( 2 ) ( 2 ; 5 ; x ) ] to be the solution of the following 2nd-Level Adjoint Sensitivity System (2nd-LASS):

{ d a ( 2 ) ( 1 ; 5 ; ω ) d x + 2 q u ( x ) a ( 2 ) ( 1 ; 5 ; ω ) } α 0 = { 2 a ( 1 ) ( x ) u ( x ) + 2 a ( 2 ) ( 2 ; 5 ; x ) [ q a ( 1 ) ( x ) + r u 3 ( x ) ] } α 0 ; x Ω x ; (135)

{ a ( 2 ) ( 1 ; 5 ; ω ) } α 0 = 0 , at x = ω ; (136)

{ d d x a ( 2 ) ( 2 ; 5 ; x ) 2 q u ( x ) a ( 2 ) ( 2 ; 5 ; x ) } α 0 = { u 2 ( x ) } α 0 ; x Ω x ; (137)

{ a ( 2 ) ( 2 ; 5 ; λ ) } α 0 = 0 , at x = λ . (138)

5) Use Equations (134)-(138) together with Equation (132) in Equation (130) to obtain the following alternative expression for the indirect-effect term:

{ δ [ R / q ] } i n d = ( δ q ) { λ ω a ( 2 ) ( 1 ; 5 ; x ) u 2 ( x ) d x } α 0 + { λ ω a ( 2 ) ( 2 ; 5 ; x ) [ 2 ( δ q ) u ( x ) a ( 1 ) ( x ) + ( δ r ) u 2 ( x ) ] d x } α 0 + a ( 2 ) ( 1 ; 5 ; λ ) [ δ u i n q u i n 2 ( δ λ ) ] + a ( 2 ) ( 2 ; 5 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 ( δ ω ) . (139)

6) Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (139) and (129), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (7), yields the following expressions for the first-order response sensitivities with respect to the model parameters:

2 R q q = λ ω a ( 2 ) ( 1 ; 5 ; x ) u 2 ( x ) d x 2 λ ω a ( 2 ) ( 2 ; 5 ; x ) u ( x ) a ( 1 ) ( x ) d x , (140)

2 R u i n q = a ( 2 ) ( 1 ; 5 ; λ ) , (141)

2 R λ q = q u i n 2 a ( 2 ) ( 1 ; 5 ; λ ) + r ( ω λ ) , (142)

2 R ω q = a ( 2 ) ( 2 ; 5 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 , (143)

2 R r q = λ ω a ( 2 ) ( 2 ; 5 ; x ) u 2 ( x ) d x . (144)

The expressions of the sensitivities provided in Equations (140)-(144) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. The expressions of the sensitivities stemming from the indirect-effect term can be evaluated after solving the 2nd-LASS to obtain the 2nd-level adjoint sensitivity function A ( 2 ) ( 2 ; 5 ; x ) [ a ( 2 ) ( 1 ; 5 ; x ) , a ( 2 ) ( 2 ; 5 ; x ) ] , which yields:

a ( 2 ) ( 1 ; 5 ; x ) = 2 r ( λ x ) ( x ω ) u ( x ) , (145)

a ( 2 ) ( 2 ; 5 ; x ) = ( λ x ) [ q ( x λ ) 1 u i n ] 2 = ( λ x ) u 2 ( x ) . (146)

Inserting the results obtained in Equations (145) and (146) into in Equations (140)-(144) and evaluating the respective expressions yields the following closed-form results for the respective sensitivities:

2 R q q = 0 , (147)

2 R u i n q = 0 , (148)

2 R λ q = r ( ω λ ) , (149)

2 R ω q = r ( λ ω ) , (150)

2 R r q = ( ω λ ) 2 2 . (151)

Since the expression in Equation (144) must be identical to the expression provided in Equation (37), i.e.,

2 R r q = λ ω a ( 2 ) ( 2 ; 5 ; x ) u 2 ( x ) d x 2 R q r = λ ω a ( 2 ) ( 1 ; 1 ; x ) u 2 ( x ) d x , (152)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 5 ; x ) , u ( x ) and a ( 2 ) ( 1 ; 1 ; x ) .

Similarly, since the expression in Equation (143) must be identical to the expression provided in Equation (56), i.e.,

2 R ω q = a ( 2 ) ( 2 ; 5 ; ω ) r [ q ( ω λ ) 1 u i n ] 2 2 R q ω = λ ω a ( 2 ) ( 1 ; 2 ; x ) u 2 ( x ) d x , (153)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 2 ; 5 ; x ) , a ( 2 ) ( 1 ; 2 ; x ) and u ( x ) . Furthermore, since the expression in Equation (142) must be identical to the expression provided in Equation (113), i.e.,

2 R λ q = q u i n 2 a ( 2 ) ( 1 ; 5 ; λ ) + r ( ω λ ) 2 R q λ = λ ω a ( 2 ) ( 1 ; 4 ; x ) u 2 ( x ) d x 2 λ ω a ( 2 ) ( 2 ; 4 ; x ) u ( x ) a ( 1 ) ( x ) d x + r ( ω λ ) , (154)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 1 ; 5 ; x ) , a ( 2 ) ( 1 ; 4 ; x ) , a ( 2 ) ( 2 ; 4 ; x ) , a ( 1 ) ( x ) and u ( x ) .

Finally, since the expression in Equation (141) must be identical to the expression provided in Equation (86), i.e.,

2 R u i n q = a ( 2 ) ( 1 ; 5 ; λ ) 2 R q u i n = λ ω a ( 2 ) ( 1 ; 3 ; x ) u 2 ( x ) d x 2 λ ω a ( 2 ) ( 2 ; 3 ; x ) u ( x ) a ( 1 ) ( x ) d x , (155)

it follows that the above identity provides a stringent test in practice for verifying the accuracy of the numerical computation of the functions a ( 2 ) ( 1 ; 5 ; x ) , a ( 2 ) ( 1 ; 3 ; x ) , a ( 2 ) ( 2 ; 3 ; x ) , a ( 1 ) ( x ) , u ( x ) .

3.3. Remarks on the Computation of Second-Order Sensitivities

Each of the 1st-order sensitivities give rise to as many 2nd-order sensitivities as there are model parameters: T P = 5 denotes the “total number of model parameters.” Each of the 1st-order sensitivity is considered to be a model response for constructing a 2nd-LASS which is independent of parameter variations and therefore needs to be solved just once in order to obtain all (i.e., TP) of the 2nd-order sensitivities that stem from the specific 1st-order sensitivity considered as a model response. The 2nd-LASS may comprise just as many equations as the 1st-LASS, in which case the computational effort required for solving the 2nd-LASS is comparable to that for solving the 1st-LASS. This was the case for determining the 2nd-order sensitivities stemming from the 1st-order sensitivities R / r and R / ω . On the other hand, the 2nd-LASS could comprise twice as many equations as the 1st-LASS, as was the case for determining the 2nd-order sensitivities stemming from the 1st-order sensitivities R / u i n , R / q and R / λ . In such cases, solving the 2nd-LASS would be twice as expensive computationally as solving the 1st-LASS, and requires the prior availability of the state function u ( x ) , which is obtained by solving the original system of nonlinear equations that underly the model under consideration, and the prior availability of the 1st-level adjoint sensitivity function a ( 1 ) ( x ) , which is obtained by solving the 1st-LASS. The primary consideration when computing 2nd-order sensitivities is the priority order indicated by the magnitudes of the relative 1st-order sensitivities: the 2nd-order sensitivities stemming from the largest 1st-order relative sensitivity should be computed first. Once the priorities for computing the 2nd-order sensitivities have been established, it is important to examine the expressions of the 1st-order sensitivities in order to establish the least expensive (computationally) path for computing the mixed 2nd-order sensitivities. For example, it is more advantageous computationally to compute most advantageous it is more advantageous to compute those stemming from the 1st-order sensitivities as starting points R / r and R / ω . For example, it is computationally more advantageous to compute 2 R / u i n r by using Equation (38), which is obtained by using R / r as the starting point, rather than using Equation (90), which is obtained by using R / u i n as the starting point.

4. 3rd-CASAM-N: Computation of Third-Order Response Sensitivities

Each of the 2nd-order sensitivities would give rise to five 3rd-order sensitivities, for a total of 125 third-order sensitivities. The 3rd-order sensitivities could be computed directly by differentiating the expression of the 2nd-order G-differential, δ 2 R [ u ( x ) ; α ; v ( 1 ) ( x ) ; δ α ; δ v ( 1 ) ( x ) ; v ( 1 ) ( x ) δ α ; δ 2 α ] , of the response, to obtain the 3rd-order G-differential which would require the computation of the G-differentials δ n u ( x ) , n = 1 , 2 , 3 . In this case, the G-differentials δ n u ( x ) , n = 1 , 2 , 3 would need to be determined by solving nth-LVSS, the differentials δ n u ( x ) , n = 1 , 2 , 3 , which would involve 3rd-order differential equations, which would depend on 1st-, 2nd- and 3rd-order parameter variations. Furthermore, this set of 3rd-order differential equations would need to be solved at least 125 times, to account for all combinations of 1st- and 2nd-order variations in the parameters and state function u ( x ) . Alternatively, the 3rd-order sensitivities can be defined as the “1st-order sensitivities of the 2nd-order sensitivities,” which enables the 3rd-order sensitivities to be computed by using 3rd-level adjoint sensitivity functions determined as will be illustrated in the remainder of this Section.

4.1. Third-Order Sensitivities Stemming from 2nd-Order Sensitivities Involving One-Component of the State Functions

Examining the expressions of the 2nd-order sensitivities reveals that the sensitivities 2 R / ω r and 2 R / ω ω depend solely on the original function u ( x ) . Therefore, the 3rd-order sensitivities stemming from these 2nd-order sensitivities will involve a one-component 3rd-level adjoint sensitivity function, as will be illustrated on this Section by determining the 3rd-order sensitivities arising from 2 R / ω r = 2 R / r ω . The expression of 2 R / ω r is provided by Equation (40), which is identical to Equation (60). The 3rd-order sensitivities stemming from 2 R / ω r are obtained from by G-differentiating Equation (60), which by definition yields the following expression:

δ { 2 R r ω } 3 R q r ω δ q + 3 R u i n r ω δ u i n + 3 R λ r ω δ λ + 3 R ω r ω δ ω + 3 R r r ω δ r { d d ε λ 0 + ε δ λ ω 0 + ε δ ω δ ( x ω 0 ε δ ω ) u 0 ( x ) + ε v ( 1 ) ( x ) d x } ε = 0 { δ [ 2 R / r ω ] } d i r + { δ [ 2 R / r ω ] } i n d , (156)

where:

{ δ [ 2 R / r ω ] } d i r ( δ ω ) { λ ω δ ( x ω ) u ( x ) d x } α 0 , (157)

{ δ [ 2 R / r λ ] } i n d { λ ω δ ( x ω ) u 2 ( x ) v ( 1 ) ( x ) d x } α 0 . (158)

The direct-effect term defined in Equation (157) has been evaluated at this stage by using the already available value expression of u ( x ) from Equation (5). On the other hand, the indirect-effect term defined in Equation (158) can be evaluated only after having determined the variational function v ( 1 ) ( x ) , which is the solution of the 1st-LVSS provided in Equations (10) and (11), which is computationally expensive to solve in practice for systems comprising many parameter variations. The alternative to solving repeatedly the 1st-LVSS to obtain the 1st-level variational function v ( 1 ) ( x ) , which depends on the various parameter variations, is to express the indirect-effect term defined in Equation (158) in terms of the solution of a 3rd-Level Adjoint Sensitivity System (3rd-LASS), which is constructed by following the same steps as outlined in subsection 3.1.1. Thus, the definition of provided in Equation (12) is used to construct the inner product of Equation (10) with a yet undefined function a ( 3 ) ( x ) H 1 ( Ω x ) to obtain the following relation:

{ λ ω a ( 3 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = ( δ q ) { λ ω a ( 3 ) ( x ) u 2 ( x ) d x } α 0 . (159)

Integrating by parts the left-side of Equation (159) yields the following relation:

{ λ ω a ( 3 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 = a ( 3 ) ( ω ) v ( 3 ) ( ω ) a ( 3 ) ( λ ) v ( 3 ) ( λ ) { λ ω v ( 1 ) ( x ) [ d a ( 3 ) ( x ) d x + 2 q u ( x ) a ( 3 ) ( x ) ] d x } α 0 . (160)

Using in Equation (160) the boundary condition given in Equation (11) yields the following relation:

{ λ ω v ( 1 ) ( x ) [ d a ( 3 ) ( x ) d x + 2 q u ( x ) a ( 3 ) ( x ) ] d x } α 0 = a ( 3 ) ( λ ) ( δ u i n q u i n 2 ) a ( 3 ) ( ω ) v ( 1 ) ( ω ) + { λ ω a ( 3 ) ( x ) [ d v ( 1 ) ( x ) d x 2 q u ( x ) v ( 1 ) ( x ) ] d x } α 0 . (161)

The left-side of Equation (161) is required to represent the indirect-effect term defined in Equation (158) and the unknown value v ( 1 ) ( ω ) in Equation (160) is eliminated by requiring the function a ( 3 ) ( x ) H 1 ( Ω x ) to be the solution of the following 3rd-Level Adjoint Sensitivity System (3rd-LASS):

{ d a ( 3 ) ( x ) d x + 2 q u ( x ) a ( 3 ) ( x ) } α 0 = { δ ( x ω ) u 2 ( x ) } α 0 ; x Ω x ; (162)

a ( 3 ) ( x ) = 0 , at x = ω . (163)

Using Equations (162), (163), (161), and (159) in Equation (158) yields the following alternative expression for the indirect-effect term:

{ δ [ 2 R / r λ ] } i n d = a ( 3 ) ( λ ) [ ( δ u i n ) q u i n 2 ( δ λ ) ] + ( δ q ) { λ ω a ( 3 ) ( x ) u 2 ( x ) d x } α 0 , (164)

Adding the expressions for the indirect-effect and direct-effect terms obtained in Equations (164) and (157), respectively, and identifying the expressions that multiply the respective parameter variations, as indicated in Equation (156), yields the following expressions for the third-order response sensitivities which stem from 2 R / r ω :

3 R q r ω = λ ω a ( 3 ) ( x ) u 2 ( x ) d x , (165)

3 R u i n r ω = a ( 3 ) ( λ ) , (166)

3 R λ r ω = q u i n 2 a ( 3 ) ( λ ) , (167)

3 R ω r ω = q , (168)

3 R r r ω = 0 . (169)

The expressions of the sensitivities provided in Equations (165)-(168) are to be evaluated at the nominal values of the respective parameters and state functions but the respective indication { } α 0 has been omitted, for simplicity. These expressions can be evaluated after solving the 3rd-LASS to obtain the 3rd-level adjoint sensitivity function a ( 3 ) ( x ) .

Solving 3rd-LASS by the standard integrating-factor method yields the following expression for the 3rd-level adjoint sensitivity function a ( 3 ) ( x ) :

a ( 3 ) ( x ) = u 2 ( x ) H ( x ω ) . (170)

Inserting the result obtained in Equation (170) into in Equations (165)-(167) and evaluating the respective expressions yields the following closed-form results for the respective sensitivities:

3 R q r ω = λ ω , (171)

3 R u i n r ω = u i n 2 , (172)

3 R λ r ω = q . (173)

4.2. Third-Order Sensitivities Stemming from 2nd-Order Sensitivities Involving Two Components of the State Functions

The 2nd-order sensitivities 2 R / q r and 2 R / u i n r depend only on the functions a ( 2 ) ( 1 ; 1 ; x ) and u ( x ) . Similarly, the 2nd-order sensitivities 2 R / ω u i n and 2 R / r u i n depend only on the functions a ( 2 ) ( 2 ; 3 ; x ) and u ( x ) . Furthermore, the 2nd-order sensitivities 2 R / ω λ and 2 R / r λ depend only on the functions a ( 2 ) ( 2 ; 4 ; x ) and u ( x ) . Finally, the 2nd-order sensitivities 2 R / ω q and 2 R / r q depend only on the functions a ( 2 ) ( 2 ; 5 ; x ) and u ( x ) . Consequently, the 3rd-order sensitivities that stem from these 2nd-order sensitivities can be expressed in terms of a 3rd-level adjoint sensitivity function which will comprise only two components, as will be illustrated by determining the 3rd-order sensitivities that stem from 2 R / r λ . These 3rd-order sensitivities are obtained from the G-differential of Equation (117), which has, by definition, the following expression:

δ { 2 R r λ } 3 R q r λ δ q + 3 R u i n r λ δ u i n + 3 R λ r λ δ λ + 3 R ω r λ δ ω + 3 R r r λ δ r { d d ε [ 1 u i n 0 + ε δ u i n ] } ε = 0

+ { d d ε λ 0 + ε δ λ ω 0 + ε δ ω [ a ( 2 ) , 0 ( 2 ; 4 ; x ) + ε δ a ( 2 ) ( 2 ; 4 ; x ) ] [ u 0 ( x ) + ε v ( 1 ) ( x ) ] 2 d x } ε = 0 { δ [ 2 R / r λ ] } d i r + { δ [ 2 R / r λ ] } i n d , (174)

where:

{ δ [ 2 R / r λ ] } d i r ( δ u i n ) { ( u i n ) 2 } α 0 + ( δ ω ) { [ a ( 2 ) ( 2 ; 4 ; ω ) u 2 ( ω ) ] } α 0 ( δ λ ) { [ a ( 2 ) ( 2 ; 4 ; λ ) u 2 ( λ ) ] } α 0 = ( δ u i n ) { ( u i n ) 2 } α 0 + ( δ ω ) q ( δ λ ) q , (175)

{ δ [ 2 R / r λ ] } i n d { λ ω δ a ( 2 ) ( 2 ; 4 ; x ) u 2 ( x ) d x } α 0 2 { λ ω a ( 2 ) ( 2 ; 4 ; x ) u 3 ( x ) v ( 1 ) ( x ) d x } α 0 . (176)

The direct-effect term defined in Equation (175) has been evaluated at this stage by using the already available values of the 2nd-level adjoint sensitivity function a ( 2 ) ( 2 ; 4 ; x ) , cf. Equation (119), and u ( x ) , cf. Equation (5). On the other hand, the indirect-effect term defined in Equation (176) can be evaluated only after having determined the variational function δ a ( 2 ) ( 2 ; 4 ; x ) , which is the solution of the G-differentiated system of Equations (110) and (111), which has the following form:

{ d d x δ a ( 2 ) ( 2 ; 4 ; x ) + 2 q u ( x ) δ a ( 2 ) ( 2 ; 4 ; x ) + 2 q a ( 2 ) ( 2 ; 4 ; x ) v ( 1 ) ( x ) } α 0 = { 2 ( δ q ) u ( x ) a ( 2 ) ( 2 ; 4 ; x ) + ( δ q ) u i n 2 δ ( x λ ) + 2 ( δ u i n ) q u i n δ ( x λ ) } α 0 ; (177)

δ a ( 2 ) ( 2 ; 4 ; λ ) + { d a ( 2 ) ( 2 ; 4 ; x ) d x } x = λ ( δ λ ) = δ a ( 2 ) ( 2 ; 4 ; λ ) + ( δ λ ) { 2 q 2 u i n 3 } α 0 = 0 , at x = λ . (178)

Equation (177) also involves the variational function v ( 1 ) ( x ) , which is the solution of the 1st-LVSS comprising Equations (10) and (11). Therefore, Equations (177) and (178) are to be concatenated with the 1st-LVSS to obtain a 3rd-Level Variational Sensitivity System (3rd-LVSS) which is satisfied by a two-component 3rd-level variational function of the form V ( 3 ) ( 2 ; x ) [ v ( 1 ) ( x ) , δ a ( 2 ) ( 2 ; 4 ; x ) ] . This 3rd-LVSS will therefore have a structure similar to the 2nd-LVSS derived in Sections 3.3-3.5, namely:

{ V M ( 3 ) ( 2 × 2 ) V ( 3 ) ( 2 ; x ) } α 0 = { Q V ( 3 ) ( 2 ; x ) } α 0 , x Ω x , (179)

B V ( 3 ) ( 2 ; x ) ( v ( 1 ) ( λ ) + ( δ λ ) q u i n 2 δ u i n δ a ( 2 ) ( 2 ; 4 ; λ ) + 2 ( δ λ ) q 2 u i n 3 ) = ( 0 0 ) ; (180)

where

V ( 3 ) ( 2 ; x ) ( v ( 3 ) ( 1 ; x ) v ( 3 ) ( 2 ; x ) ) ( v ( 1 ) ( x ) δ a ( 2 ) ( 2 ; 4 ; x ) ) ; (181)

V M ( 3 ) ( 2 × 2 ) ( d d x 2 q u ( x ) 0 2 q a ( 2 ) ( 2 ; 4 ; x ) d d x + 2 q u ( x ) ) ; (182)

Q V ( 3 ) ( 2 ; x ) ( q V ( 3 ) ( 1 ; x ) q V ( 3 ) ( 2 ; x ) ) ; q V ( 3 ) ( 1 ; x ) ( δ q ) u 2 ( x ) ; q V ( 3 ) ( 2 ; x ) 2 ( δ q ) u ( x ) a ( 2 ) ( 2 ; 4 ; x ) ( δ q ) u i n 2 δ ( x λ ) 2 ( δ u i n ) q u i n δ ( x λ ) ; (183)

The need for solving repeatedly the 3rd-LVSS to obtain the 3rd-level variational function V ( 3 ) ( 2 ; x ) for every parameter variations is circumvented by expressing the indirect-effect term defined in Equation (176) in terms of the solution of a 3rd-Level Adjoint Sensitivity System (3rd-LASS), which is constructed specifically for the indirect-effect term defined in Equation (176), by applying the principles of the 5th-CASAM-N, as follows:

1) Using the definition of provided in Equation (76), construct the inner product of Equation (179) with a yet undefined function F ( 3 ) (

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Cacuci, D.G. (2022) Fifth-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems (5th-CASAM-N): I. Mathematical Framework. American Journal of Computational Mathematics (AJCM), 12, 44-78.
https://doi.org/10.4236/ajcm.2022.121005
[2] Parker, A.E. (2013) Who Solved the Bernoulli Differential Equation and How Did They Do It? The College Mathematics Journal, 44, 89-97.
https://doi.org/10.4169/college.math.j.44.2.089

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.