Inverse problems constrained by partial differential equations (PDEs) play a critical role in model development and calibration. In many applications, there are multiple uncertain parameters in a model which must be estimated. Although the Bayesian formulation is attractive for such problems, computational cost and high dimensionality frequently prohibit a thorough exploration of the parametric uncertainty. A common approach is to reduce the dimension by fixing some parameters (which we will call auxiliary parameters) to a best estimate and using techniques from PDE-constrained optimization to approximate properties of the Bayesian posterior distribution. For instance, the maximum a posteriori probability (MAP) and the Laplace approximation of the posterior covariance can be computed. In this article, we propose using hyper-differential sensitivity analysis (HDSA) to assess the sensitivity of the MAP point to changes in the auxiliary parameters. We establish an interpretation of HDSA as correlations in the posterior distribution. Foundational assumptions for HDSA require satisfaction of the optimality conditions which are not always feasible or appropriate as a result of ill-posedness in the inverse problem. We introduce novel theoretical and computational approaches to justify and enable HDSA for ill-posed inverse problems by projecting the sensitivities on likelihood informed subspaces and defining a posteriori updates. Our proposed framework is demonstrated on a nonlinear multi-physics inverse problem motivated by estimation of spatially heterogenous material properties in the presence of spatially distributed parametric modeling uncertainties.
翻译:由部分差异方程式(PDEs)制约的反面问题在模型开发和校准中起着关键作用。在许多应用中,模型中有许多必须估算的不确定参数。虽然Bayesian的配方对此类问题具有吸引力,但计算成本和高维性经常禁止彻底探索参数不确定性。一个共同的方法是通过将一些参数(我们称之为辅助参数)确定为最佳估计,并利用PDE限制优化的技术来估计巴耶西亚后方分布的特性,来减少这一层面。例如,可以计算出一个模型的事后概率(MAP)和后方变异的拉比近值。在本篇文章中,我们提议使用偏差的灵敏度分析(HDSA)来评估MA点对辅助参数变化的敏感性。我们把HDSA解释为后方分布的关联。HDSA的基础假设要求满意由于不正确模拟问题而并非始终可行或适当的最佳条件。我们建议采用新颖的理论和计算性误差性误差性误差性估算了模型的模型。我们建议采用新的理论性和误差性误差性误差性精确性估算方法,通过HDSDS框架来解释我们所展示的模拟的多空基问题,从而证明了对误差性理论和计算问题进行模拟更新。