%0 Journal Article %T Second-Order Adjoint Sensitivity Analysis Methodology for Computing Exactly Response Sensitivities to Uncertain Parameters and Boundaries of Linear Systems: Mathematical Framework %A Dan Gabriel Cacuci %J American Journal of Computational Mathematics %P 329-354 %@ 2161-1211 %D 2020 %I Scientific Research Publishing %R 10.4236/ajcm.2020.103018 %X This work presents the ¡°Second-Order Comprehensive Adjoint Sensitivity Analysis Methodology (2nd-CASAM)¡± for the efficient and exact computation of 1st- and 2nd-order response sensitivities to uncertain parameters and domain boundaries of linear systems. The model¡¯s response (i.e., model result of interest) is a generic nonlinear function of the model¡¯s forward and adjoint state functions, and also depends on the imprecisely known boundaries and model parameters. In the practically important particular case when the response is a scalar-valued functional of the forward and adjoint state functions characterizing a model comprising N parameters, the 2nd-CASAM requires a single large-scale computation using the First-Level Adjoint Sensitivity System (1st-LASS) for obtaining all of the first-order response sensitivities, and at most N large-scale computations using the Second-Level Adjoint Sensitivity System (2nd-LASS) for obtaining exactly all of the second-order response sensitivities. In contradistinction, forward other methods would require (N2/2 + 3 N/2) large-scale computations for obtaining all of the first- and second-order sensitivities. This work also shows that constructing and solving the 2nd-LASS requires very little additional effort beyond the construction of the 1st-LASS needed for computing the first-order sensitivities. Solving the equations underlying the 1st-LASS and 2nd-LASS requires the same computational solvers as needed for solving (i.e., ¡°inverting¡±) either the forward or the adjoint linear operators underlying the initial model. Therefore, the same computer software and ¡°solvers¡± used for solving the original system of equations can also be used for solving the 1st-LASS and the 2nd-LASS. Since neither the 1st-LASS nor the 2nd-LASS involves any differentials of the operators underlying the original system, the 1st-LASS is designated as a ¡°first-level¡± (as opposed to a ¡°first-order¡±) adjoint sensitivity system, while the 2nd-LASS is designated as a ¡°second-level¡± (rather than a ¡°second-order¡±) adjoint sensitivity system. Mixed second-order response sensitivities involving boundary parameters may arise from all source terms of the 2nd-LASS that involve the imprecisely known boundary parameters. Notably, the 2nd-LASS encompasses an automatic, inherent, and independent ¡°solution verification¡± %K Second-Order Comprehensive Adjoint Sensitivity Analysis Methodology (2< %K sup> %K nd< %K /sup> %K -CASAM) %K First-Level Adjoint Sensitivity System (1st< %K /sup> %K -LASS) %K Second-Level Adjoint Sensitivity System (2< %K sup> %K nd< %K /sup> %K -LASS) %K Operator-Type Response %K Second-Order Sensitivities to Uncertain Model Boundaries %K Second-Order Sensitivities to Uncertain Model Parameters %U http://www.scirp.org/journal/PaperInformation.aspx?PaperID=101646