Inverse problems, particularly those governed by Partial Differential Equations (PDEs), are prevalent in various scientific and engineering applications, and uncertainty quantification (UQ) of solutions to these problems is essential for informed decision-making. This second part of a two-paper series builds upon the foundation set by the first part, which introduced CUQIpy, a Python software package for computational UQ in inverse problems using a Bayesian framework. In this paper, we extend CUQIpy's capabilities to solve PDE-based Bayesian inverse problems through a general framework that allows the integration of PDEs in CUQIpy, whether expressed natively or using third-party libraries such as FEniCS. CUQIpy offers concise syntax that closely matches mathematical expressions, streamlining the modeling process and enhancing the user experience. The versatility and applicability of CUQIpy to PDE-based Bayesian inverse problems are demonstrated on examples covering parabolic, elliptic and hyperbolic PDEs. This includes problems involving the heat and Poisson equations and application case studies in electrical impedance tomography (EIT) and photo-acoustic tomography (PAT), showcasing the software's efficiency, consistency, and intuitive interface. This comprehensive approach to UQ in PDE-based inverse problems provides accessibility for non-experts and advanced features for experts.

翻译：反问题，特别是由偏微分方程（PDE）控制的反问题，在众多科学与工程应用中普遍存在，而对这些问题的解进行不确定性量化（UQ）对于知情决策至关重要。本文是两篇系列论文的第二部分，建立在第一部分的基础上，第一部分介绍了CUQIpy，这是一个用于基于贝叶斯框架的反问题计算不确定性量化的Python软件包。在本文中，我们通过一个通用框架扩展了CUQIpy解决基于PDE的贝叶斯反问题的能力，该框架允许将PDE集成到CUQIpy中，无论是通过原生方式表达还是使用第三方库（如FEniCS）。CUQIpy提供与数学表达式紧密匹配的简洁语法，简化了建模过程并提升了用户体验。CUQIpy在基于PDE的贝叶斯反问题中的多功能性和适用性通过涵盖抛物型、椭圆型和双曲型PDE的示例得以展示。这些示例包括涉及热方程和泊松方程的问题，以及电阻抗层析成像（EIT）和光声层析成像（PAT）的应用案例研究，突出了该软件的高效性、一致性和直观界面。这种针对基于PDE的反问题的不确定性量化综合方法为非专家提供了可访问性，同时为专家提供了高级功能。