1. Introduction
The application of the general second-order adjoint sensitivity analysis methodology presented in [1] is illustrated in this work by means of a simple mathematical model which expresses a conservation law of the model’s state function. This paradigm model is representative of transmission of particles and/or radiation through materials [2] [3], chemical kinetics processes [4] [5], radioactive decay modeled by the Bateman equation, etc.
Although the model is simple, it comprises a large number of model parameters, thereby involving a correspondingly large number of sensitivities (i.e., functional derivatives) of the model’s responses to the model parameters. Furthermore, the model has been deliberately designed so that a large number of relative response sensitivities display identical values. The fact that the model has a large number of parameters and the fact that all but a few relative sensitivities have identical values would make it very difficult, if not impossible, to use statistical methods to compute the first- and second-order sensitivities of the responses to all of the parameters of this model, since the computational costs would be prohibitive. Of course, statistical methods would not be able to compute the exact values of these first- and second-order sensitivities. For such models, involving many parameters but relatively few responses, the Second-Order Comprehensive Adjoint Sensitivity Analysis Methodology (2nd-CASAM) for Linear Systems, presented in Part I [1], is best suited for computing exactly and efficiently the first- and second-order response sensitivities.
This work is organized as follows: Section 2 presents the paradigm evolution model. Section 3 presents the application of the 2nd-CASAM [1] for efficiently computing the exact closed-form expressions of the first-and second-order sensitivities of a “point-type” response to both model and boundary parameters. The concluding remarks offered in Section 4 highlight the comprehensive verification mechanism which is inherently built into the 2nd-CASAM [1] to ensure that the second-level adjoint functions are derived and computed correctly. All in all, the exact expressions of the 1st- and 2nd-order sensitivities presented in this work provide stringent benchmarks for the verification of the accuracies of any other methods, deterministic and/or statistical, for performing sensitivity analysis.
2. Mathematical Modeling of a Paradigm Evolution/Transmission Benchmark Problem
The general 2nd-CASAM methodology presented in [1] is applied in this work to a simple paradigm model, admitting a closed-form analytic solution for convenient verification of all results to be obtained, which simulates a typical evolution or attenuation of a quantity that will be denoted as
, satisfying the following linear conservation equation:
(1)
(2)
The simple evolution system represented by Equations (1) and (2) occurs in the mathematical modeling of many physical systems.
,
. For example, the dependent variable
could represent [2] [3] the evolution of the concentration of a substance in a homogeneous mixture of N materials, from an imprecisely known initial quantity, denoted as
, measured at an initial-time value
towards an imprecisely known final-time value
. The quantities
and
would represent various imprecisely known material (e.g., chemical) properties of the ith-material
.
Alternatively,
could represent [3] [4] [5] the mono-directional propagation (attenuation) of the flux of uncollided particles (e.g., photons) travelling through a one-dimensional homogenized multi-material slab of imprecisely known thickness
in a direction parallel to the t-coordinate. The condition given in Equation (2) would prescribe a beam of particles of imprecisely known intensity
incident on the slab’s surface located at the an imprecisely known position
. Each of the slab’s ith-materials
would be characterized by an imprecisely known microscopic cross section
and an imprecisely known atomic number density
. Since this work will deliberately focus on illustrating the computation of the response sensitivities to imprecisely known boundaries of a physical system, the possible imprecisely known sources that could appear on the right-side of Equation (1) are not considered, since their inclusion would just complicate the mathematical derivations without bringing any new mathematical or physical insights.
A typical response of interest for the physical problem modeled by Equations (1) and (2) would be a measurement, denoted as
, of
at some time instance (or location within the slab or on the slab’s surface)
,
. The following functional, denoted as
, can represent mathematically such a measurement:
(3)
where
denotes the well-known Dirac-delta (impulse) functional. In Equation (3), the vector
denotes the “vector of model parameters” and defined as follows:
. (4)
Similarly, the vector
denotes the “vector of boundary parameters” and is defined as follows:
. (5)
In Equation (4) and throughout this work, the symbol “
” is used to denote “is defined as” or “is by definition,” while the “dagger”
superscript is used to denote “transposition.”
Although the model parameters
,
,
,
,
, together with the boundary parameters
and
are considered to be imperfectly known and subject to uncertainties, the actual probability distributions of these parameters are not known in practice. Usually, only the “nominal” (or “mean”) values and the respective variations from the nominal values (e.g., standard deviations) of the respective components are known. The nominal values will be denoted using the superscript “zero” so that the vector comprising the nominal values of the model parameters, denoted as
, will be defined for the system under consideration as follows:
(6)
Similarly, the vector comprising the nominal values of the boundary parameters is denoted as
and is defined for the system under consideration as follows:
. (7)
Altogether, the physical system modeled by Equations (1) through (7) comprises 2 boundary parameters and
model parameters, which can be a large number for realistic problems. For example, the spent fuel dissolver model analyzed by Cacuci et al. (2016), which involves equations similar to Equation (1), comprises
parameters.
For subsequent verification of the expressions that will be obtained for various response sensitivities, the closed-form solution of Equations (1) and (2) is provided below, in Equation (8):
(8)
In practice, the nominal solution, denoted as
, is computed by solving numerically Equations (1) and (2) using the nominal values for the model and boundary parameters. For this illustrative example, the nominal solution of Equations (1) and (2) has the following expression:
(9)
Using Equation (9) in Equation (3) yields the following expression for the response
, which is to be evaluated at the nominal values
:
(10)
Of course, the closed-form analytical expression for the problem’s dependent variable(s), as provided in Equation (8), and the closed-form expression for the response
, as given in Equation (10), will not be available for the large-scale systems encountered in practice. Therefore, the sensitivities (i.e., functional derivatives) of the responses to the model and boundary parameters can only be determined numerically.
3. Application of the 2nd-CASAM for Computing Exactly and Efficiently the 1st- and 2nd-Order Response Sensitivities of a “Point Detector” Response to Uncertain Model and Boundary Parameters
The variations between the true and the nominal values of the model and boundary parameters will be considered to constitute the components of the vectors
and
, respectively, defined as follows:
(11)
(12)
Since the state function is related to the model and boundary parameters
and
through Equations (1) and (2), it follows that the variations and
in the model and boundary parameters will cause a corresponding variation in the state function
around the nominal solution
. In turn, these variations will cause variations in the responses
around the respective nominal response values. For subsequent derivations, it is convenient to use the compact notation
, with the corresponding nominal values denoted as
.
3.1. Computing the 1st-Order Sensitivities
Using the 1st-LASS
The total first-order sensitivity of the response
defined in Equation (3) is provided [6] by the 1st-order total sensitivity (G-differential)
evaluated at
, which is computed by applying the definition of the first-order G-differential to Equation (3), to obtain the following expression:
(13)
where the indirect-effect term
and, respectively, the direct-effect term
are defined as
(14)
(15)
The variation
, of the state function
, which appears in Equation (14) is the solution of the following First-Level Forward Sensitivity System (1st-LFSS) obtained by G-differentiating Equations (1) and (2) around the nominal parameter values:
(16)
(17)
Since the closed-form solution represented by Equation (9) is not available in practice, the direct effect term,
, defined by Equation (15) can be computed by differentiating (numerically, in practice) the solution of Equations (1) and (2). Also, in practice, the sensitivities included in the indirect effect,
, defined by Equation (14) could be computed only by successively setting all but one of the parameter variations
to zero in the 1st-LFSS [comprising Equations (16) and (17)] and solving numerically the corresponding forms of the resulting 1st-LFSS. Thus, using the 1st-LFSS to compute the sensitivities of the response
would require
large-scale computations.
The need for performing these
large-scale computations can be avoided by applying the 2nd-CASAM presented in Part I (Cacuci, 2020). In order to apply the 2nd-CASAM, the function
is considered to be an element of a Hilbert space
, endowed with the following inner product, denoted as
, between two (square-integrable) functions
and
:
(18)
The construction of the requisite First-Level Adjoint Sensitivity System (1st-LASS) commences by multiplying Equation (16) by a square-integrable function
and integrating the left-side of the resulting equation by parts once, so as to transfer the differential operation from
onto
. This sequence of steps yields the following relation:
(19)
The following sequence of operations is performed next using Equation (19):
1) Require that the first term on the right-side of Equation (19) be identical with the indirect effect
defined in Equation (14).
2) Use the right-side of Equation (16) to replace the term multiplying
on the left-side of Equation (19).
3) Eliminate the unknown quantity
on the right-side of Equation (19) by imposing the condition
.
4) Insert the boundary condition provided in Equation (17) into Equation (19).
The result of the above sequence of operations is the following expression for
:
(20)
where the first-level adjoint function
appearing in Equation (20) is the solution of the following First-Level Adjoint Sensitivity System (1st-LASS):
(21)
(22)
In terms of the first-level adjoint function
, the partial sensitivities of
with respect to the variations in the model parameters are the quantities in Equation (20) that multiply the respective parameter variations, namely:
(23)
(24)
(25)
(26)
Recalling the expression of the direct effect term,
, defined in Equation (15), yields the following additional first-order sensitivity:
(27)
Since neither the direct-effect nor the indirect-effect terms depend on the variation
, it follows that
(28)
It is evident from Equations (23) through (27) that the sensitivities of the response
can be computed by fast quadrature methods applied to the integrals appearing in these expressions, after the 1st-level adjoint function
has been obtained by solving once the 1st-LASS, which comprises Equations (21) and (22). Notably, the 1st-LASS needs to be solved once only since the 1st-LASS does not depend on any variations in the model parameters or state functions. Particularly important is the response sensitivity to the “initial condition”
since, as Equation (25) indicates, the value of the 1st-level adjoint function
at the “initial time-value”
is proportional to the response sensitivity to the “initial condition”. Since the value of the 1st-level adjoint function
at
can be obtained only after computing the entire evolution of
, from the “final-time”
to the “initial-time”
, it becomes apparent that response sensitivities to initial conditions provide a stringent verification procedure for assessing the accuracy of the solution of the 1st-LASS.
Solving the 1st-LASS, cf. Equations (21) and (22), yields the following expression for the 1st-level adjoint function
:
(29)
where
is the customary Heaviside unit-step functional, defined as
(30)
Inserting the result from Equation (29) into Equations (23)-(26), respectively, yields the following expressions:
(31)
(32)
(33)
(34)
(35)
The magnitudes of the 1st-order relative sensitivities provide a quantitative measure for ranking the importance of the respective parameters in affecting the response (e.g., the importance of the respective parameter’s uncertainty in contributing to the overall uncertainty in the response). For the paradigm illustrative evolution problem considered in this work, Equations (23) and (24) indicate the important fact that the relative sensitivities of the response to the parameters
,
, and the relative sensitivities of the response to the parameters
,
, respectively, happen to be identical, for all of these 2N model parameters, since
(36)
Therefore, statistical methods that use a priori screening techniques to reduce the number of model parameters that are actually considered in the respective statistical uncertainty/sensitivity analysis will very likely fail to achieve their goal for problems that have many parameters with identical relative sensitivities, as is the case shown in Equation (36). Hence, this illustrative paradigm problem, which has many model parameters that have identical relative sensitivities, would be a prime candidate for testing the various statistical methods for sensitivity and uncertainty analysis. In contrast, a single large-scale computation for obtaining the adjoint function
suffices for computing exactly and efficiently, using just quadrature methods, the
sensitivities of the response
with respect to all model and boundary parameters.
In the particular case when the response
is located at
, the expressions of the response sensitivities provided in Equations (31)-(35) remain valid, with the stipulation that
.
The results for the 1st-order response sensitivities obtained in Section 2.1 can also be verified by noting that the solution of the 1st-LFSS, comprising Equations (16) and (17), has the following expression:
(37)
3.2. Computing the 2nd-Order Sensitivities of the Response
Using Second-Level Adjoint Sensitivity Systems (2nd-LASS)
The starting point for obtaining expressions of the 2nd-order response sensitivities is provided by the G-differentials of the expressions shown in Equations (23)-(27). To keep the notation as simple as possible, the superscript “zero” will henceforth be omitted (except where stringently needed) when denoting “nominal values,” since it will be clear from the derivations to follow that all 1st- and 2nd-order sensitivities are to be evaluated at the nominal values of parameters.
3.2.1. Results for the 2nd-Order Response Sensitivities Corresponding to
The first-order G-differential of Equation (23) yields:
(38)
where
(39)
(40)
The direct-effect term defined by Equation (39) can be computed immediately, since the adjoint function
and the forward function
are known. However, the indirect-effect term defined by Equation (40) contains the variation
in the adjoint function and, respectively, the variation
in the forward function, both of which depend on parameter variations and neither of which is immediately available. The variation
of the 1st-level adjoint function
is related to the parameter variations through the G-differential of the 1st-LASS, which is derived by applying the definition of the G-differential to Equations (21) and (22). Thus, taking the G-differential of the 1st-LASS, cf. Equations (21) and (22), yields the following equations evaluated at the nominal parameter values:
(41)
. (42)
Taken together, Equations (16), (17), (41), and (42) constitute a well-posed system of equations which could, in principle, be solved to obtain the variations
and
in terms of the parameter variations. However, such a procedure would be just as impractical computationally as solving the 1st-LFSS. Therefore, the need for solving these equations (which depend on parameter variations) will be circumvented by expressing the indirect-effect term defined in Equation (40) in an alternative way so as to eliminate the appearance of
and
. For this purpose, we introduce another Hilbert space, denoted as
, which comprises, as elements, two-component vectors of the form
, with square-integrable functions
. The inner product between two elements
and
in the Hilbert space
will be denoted as
and is defined as follows:
(43)
Writing Equations (16) and (41) in matrix form, as follows:
(44)
and using the definition given in Equation (43), we now construct the inner product of Equation (44) with a square integrable two-component function
to obtain the following relation:
(45)
Integrating by parts the left-side of Equation (45) so as to transfer the differential operations on
and
to differential operations on
and
yields the following relation:
(46)
The last two terms on the right-side of Equation (46) will represent the indirect-effect term defined in Equation (40) by requiring that
(47)
(48)
The boundary conditions for Equations (47) and (48) are established by requiring that the contributions involving the unknown quantities
and
in Equation (46) vanish, which can be accomplished by imposing the following conditions:
(49)
The system of equations comprising Equations (47)-(49) constitutes the 2nd-Level Adjoint Sensitivity System (2nd-LASS) for the two-component vector-valued function
, which is called the 2nd-level adjoint function. It is important to note that the 2nd-LASS is independent of parameter variations.
Replacing the left-side of Equation (46) by the right-side of Equation (45) and taking into account Equations (47)-(49) yields the following expression for the indirect-effect term defined in Equation (40):
(50)
Using the conditions given in Equations (17) and (42) in the last terms on the right side of Equation (50) yields the following expression for the indirect-effect term:
(51)
Adding the direct-effect term defined in Equation (39) to Equation (51) and identifying in the resulting expression the coefficients multiplying the variations
,
,
,
,
and
yields the following expression for the respective 2nd-order sensitivities of the response
:
(52)
(53)
(54)
(55)
(56)
(57)
The 2nd-order sensitivities shown in Equations (52)-(57) can be computed after having determined the 2nd-level adjoint function
by solving the 2nd-LASS comprising Equations (47)-(49) using the nominal parameter values (the superscript “zero,” which indicates “nominal values,” has been omitted, for simplicity). Since the model parameters
depend on the index
, it follows that the right-sides of Equations (47) and (48) also depend on this index. Strictly speaking, therefore, the 2nd-level adjoint sensitivity function
is a function of the index
. Hence, in the most unfavorable situation, the 2nd-LASS, comprising Equations (47)-(49) would need to be solved numerically for each distinct value
, for a total of N-times. Even in such a “worse-case scenario,” however, only the right sides (i.e., “sources”) of Equations (47) and (48) would need to be modified, which is relatively easy to implement computationally. The left-sides of these equations remain unchanged, since they are independent of the index
.
In many practical situations, however, it is possible to reduce drastically the number of computations involving the 2nd-LASS by changing the dependent and/or the independent variables. For example, in the case of the 2nd-LASS comprising Equations (47)-(49), the following simple change of the dependent variables
and
:
(58)
would transform Equations (47)-(49) into the following form:
(59)
, (60)
(61)
The above (alternative) 2nd-LASS, comprising Equations (59)-(61) is independent of the index
, and would need to be solved (numerically or analytically) only once, to obtain the following expressions for the functions
and
:
(62)
(63)
The components of the 2nd-level adjoint function
can now be obtained by multiplying the functions
and
by the respective model parameters
, as indicated in Equation (58), to obtain the following expressions for the components of the 2nd-level adjoint function
:
(64)
(65)
Using Equations (64) and (65) in Equations (52)-(57) and performing the respective operations yields the following results for the respective partial 2nd-order sensitivities:
(66)
(67)
(68)
(69)
(70)
(71)
As before, the right-sides of expressions shown in Equations (66)-(71) are to be evaluated at the nominal values for the parameters, but the superscript “zero,” which indicates “nominal values,” has been omitted, for notational simplicity.
3.2.2. Results for the 2nd-Order Response Sensitivities Corresponding to
Computing the first-order G-differential of Equation (24), at the nominal parameter values, yields:
(72)
where the direct-effect and indirect-effect terms, respectively, are evaluated at the nominal parameter values and are defined as follows:
(73)
(74)
The direct-effect term defined in Equation (73) can be computed immediately, since the adjoint function
and the forward function
are known. On the other hand, the indirect-effect term defined by Equation (74) contains the variation
in the adjoint function and, respectively, the variation
in the forward function, both of which depend on parameter variations and neither of which is immediately available. Comparing Equation (74) to Equation (40) readily indicates that the right sides of these equations differ only in that the model parameter
plays in Equation (74) the same role as the model parameter
plays in Equation (40). Thus, the same procedure that has been previously used in Section 2.2.1 to obtain an alternative expression for the indirect-effect term defined in Equation (40) by means of a second-level adjoint function is applied to Equation (74) to obtain the following result:
(75)
where the 2nd-level adjoint function
satisfies the following 2nd-LASS:
(76)
(77)
(78)
The sources on the right-sides of the 2nd-LASS defined by Equations (76)-(78) are to be evaluated at the nominal values for the parameters, but the superscript “zero,” which indicates “nominal values,” has been omitted, for notational simplicity.
Comparing Equations (76)-(78) to Equations (47)-(49) and recalling Equations (59)-(61) indicates that the components of the 2nd-level adjoint function
have the following expressions:
(79)
(80)
Adding the direct-effect term defined in Equation (73) to the expression for the indirect-effect term shown in Equation (75) and identifying in the resulting expression the coefficients multiplying the variations
,
,
,
,
and
yields the following expression for the respective 2nd-order sensitivities of the response
:
(81)
(82)
(83)
(84)
(85)
(86)
Inserting the expressions obtained in Equations (79) and (80) for the components of the 2nd-level adjoint function
into Equations (81)-(86) yields the following expressions, where all quantities are to be evaluated at the nominal parameter values
:
(87)
(88)
(89)
(90)
(91)
(92)
3.2.3. Results for the 2nd-Order Response Sensitivities Corresponding to
The 2nd-order response sensitivities corresponding to
will be calculated in this Section by taking the G-differential of Equation (25). Since the model responses need to be written in the form of an inner product in order to apply the adjoint sensitivity analysis methodology, Equation (25) is re-written in the following form:
(93)
Taking the G-differential of Equation (93) yields
(94)
where
(95)
and
(96)
The direct-effect defined in Equation (95) can be computed immediately, since the adjoint function
is known. Noteworthy, the indirect-effect term defined in Equation (96) only contains the variation
in the 1st-level adjoint function, but does not contain the variation
in the forward function, as in Sections 2.2.1 and 2.2.2. Therefore, the 2nd-level adjoint function that would be needed to recast the indirect-effect term defined in Equation (96), by following the same general procedure as used in Sections 2.2.1 and 2.2.2, would be a one-component (as opposed to a “two-component” vector) function. Thus, the 2nd-LASS needed to recast the indirect-effect term defined in Equation (96) is constructed by following a procedure similar to the one that was used in Section 2.1, by applying the definition provided in Equation (18) to construct the inner product of a square-integrable function
with Equation (41) and integrating the left-side of the resulting equation by parts once, so as to transfer the differential operation from
onto
. This sequence of steps yields the following relation:
(97)
The last term on the right-side of Equation (97) is now required to represent the indirect-effect term defined in Equation (96). This is accomplished by requiring that
(98)
The boundary condition for Equations (98) is established by requiring that the contribution involving the unknown quantity
in Equation (97) vanish, which can be accomplished by imposing the following condition:
(99)
As before, Equations (98) and (99), which comprise the 2nd-LASS for the 2nd-level adjoint function
, are to be solved at the nominal parameter values.
Replacing the right-side of Equation (41) into the left-side of Equation (97) and taking into account Equations (29), (42) and (99) yields the following expression for the indirect-effect term defined in Equation (96):
(100)
Adding the direct-effect term defined in Equation (95) to Equation (100) and identifying in the resulting expression the coefficients multiplying the variations
,
,
,
,
and
yields the following expressions for the respective 2nd-order sensitivities of the response
:
(101)
(102)
(103)
(104)
(105)
The closed-form solution of the 2nd-LASS provided in Equations (98) and (99) has the following expression:
(106)
Replacing the result for the 2nd-level adjoint function obtained in Equation (106) into Equations (101)-(103) and carrying out the respective operations yields the following expressions, which are to be evaluated at the nominal parameter values:
(107)
(108)
(109)
(110)
3.2.4. Results for the 2nd-Order Response Sensitivities Corresponding to
The 2nd-order response sensitivities corresponding to
will be calculated in this Section by taking the G-differential of Equation (27), which yields the following expression:
(111)
where
(112)
and
(113)
Noteworthy, the indirect-effect term defined in Equation (113) only contains the variation
in the forward function but does not contain the variation
in the 1st-level adjoint function. Therefore, the 2nd-level adjoint function that would be needed to recast the indirect-effect term defined in Equation (113) would be a one-component (as opposed to a two-component vector) function. Thus, the 2nd-LASS needed to recast the indirect-effect term defined in Equation (113) is constructed by following a procedure similar to the one that was used in Section 2.1, by applying the definition provided in Equation (18) to construct the inner product of a square-integrable function
with Equation (16)and integrating the left-side of the resulting equation by parts once, so as to transfer the differential operation from
onto the function
. This sequence of steps yields the following relation [which is analogous to Equation (19)]:
(114)
The following sequence of operations is now performed using Equation (114):
1) Require that the first term on the right-side of Equation (114) be identical with the indirect effect
defined in Equation (113).
2) Use the right-side of Equation (16) to replace the term multiplying
on the left-side of Equation (114).
3) Eliminate the unknown quantity
on the right-side of Equation (114) by imposing the condition
.
4) Insert the boundary condition provided in Equation (17) into Equation (114).
The result of the above sequence of operations is the following expression for the indirect-effect term defined in Equation (113):
(115)
where the first-level adjoint function
appearing in Equation (115) is the solution of the following First-Level Adjoint Sensitivity System (1st-LASS) evaluated at the nominal parameter values:
(116)
(117)
The solution of Equations (116) and (117) is:
(118)
In terms of the 2nd-level adjoint function
, the partial 2nd-order response sensitivities corresponding to
are obtained by adding Equations (112) and (115), and subsequently identifying in the resulting expression the coefficients multiplying the variations
,
,
,
,
and
. This sequence of operations yields the following expressions:
(119)
(120)
(121)
(122)
(123)
(124)
Replacing the result for the 2nd-level adjoint function obtained in Equation (118) into Equations (119)-(124) and carrying out the respective operations yields the following expressions, which are to be evaluated at the nominal parameter values:
(125)
(126)
(127)
(128)
(129)
(130)
3.2.5. Results for the 2nd-Order Response Sensitivities Corresponding to
The 2nd-order response sensitivities corresponding to
will be calculated in this Section by taking the G-differential of Equation (26), which first needs to be written in the form of an inner product in order to apply the 2nd-CASAM, as follows:
(131)
Taking the G-differential of Equation (131) at the nominal parameter values (the superscript “zero,” denoting nominal values, is again omitted) yields:
(132)
Using Equations (29) and (8) in the first term on the right-side of Equation (132) yields the following result:
(133)
It is convenient to replace the quantity
, which appears in the last term on the right-side of Equation (132), by using Equation (16) which, together with the result obtained in Equation (133) makes it possible to express the relation in Equation (132) in the following form:
(134)
where
(135)
and
(136)
The indirect-effect term defined in Equation (136) will be expressed in terms of a square integrable two-component adjoint function
by first constructing the inner product of Equation (44) with
to obtain the following relation:
Integrating by parts the left-side of Equation (137) so as to transfer the differential operations on
and
to differential operations on
and
yields the following result:
(138)
The last two terms on the right-side of Equation (138) will represent the indirect-effect term defined in Equation (136) by requiring that
(139)
(140)
The boundary conditions for Equations (139) and (140) are established by requiring that the contributions involving the unknown quantities
and
in Equation (138) vanish, which can be accomplished by imposing the following conditions:
(141)
Solving Equations (139)-(141) yields the following expressions for the components of the 2nd-level adjoint function
, to be evaluated at the nominal parameter values:
(142)
(143)
Using Equations (137)-(141) and (17) in Equation (136) yields the following expression for the indirect-effect term defined in Equation (136):
(144)
Adding the direct-effect term defined in Equation (135) to Equation (144) and identifying in the resulting expression the coefficients multiplying the variations
,
,
,
,
and
yields the following expressions for the respective 2nd-order sensitivities of the response
:
(145)
(146)
(147)
(148)
(149)
(150)
Inserting the expressions obtained in Equations (142) and (143) for the components of the 2nd-level adjoint function
into Equations (145)-(150) yields the following expressions, where all quantities are to be evaluated at the nominal parameter values:
(151)
(152)
(153)
(154)
(155)
(156)
4. Concluding Remarks
Due to the symmetry of the mixed 2nd-order sensitivities, the following identities hold:
1) The expression provided in Equation (81) must be identical to the expression provided in Equation (53). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
2) The expression provided in Equation (101) must be identical to the expression provided in Equation (54). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
3) The expression provided in Equation (102) must be identical to the expression provided in Equation (83). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
4) The expression provided in Equation (119) must be identical to the expression provided in Equation (55). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
5) The expression provided in Equation (120) must be identical to the expression provided in Equation (84). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
6) The expression provided in Equation (121) must be identical to the expression provided in Equation (103). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
7) The expression provided in Equation (145) must be identical to the expression provided in Equation (57). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
8) The expression provided in Equation (146) must be identical to the expression provided in Equation (86). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
9) The expression provided in Equation (147) must be identical to the expression provided in Equation (105). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
10) The expression provided in Equation (148) must be identical to the expression provided in Equation (124). This identity provides an independent mutual verification of the accuracy of the computations of the 2nd-level adjoint functions
and
.
The point-detector response
considered in this work turned out to be independent of the imprecisely known upper-boundary point
, except when the response is located at the nominal value of the uncertain upper boundary (i.e., when the nominal values of the quantities
and
coincide). In this case, the expressions of the 1st- and 2nd-order response sensitivities derived in this work remain valid, but with the stipulation that
is replaced by
.
A “reaction-rate” detector response, which depends on both the lower and upper uncertain boundary points, will be considered in the companion work [7] in order to illustrate the possible direct and indirect contributions to the sensitivities of such responses stemming from the uncertain domain boundaries.