用于散度型线性与非线性椭圆问题的扩展球面行走算法
Extended Walk-on-Spheres Algorithm for Linear and Nonlinear Elliptic Problems of Divergence-type
浏览论文内容
中文总结 AI 辅助
本文提出扩展球面行走算法，构建通用数值算子工具箱求解散度型线性与非线性椭圆问题，经多类基准测试验证了方法的灵活性与效率。
中文摘要 AI 辅助
球面行走算法由M. E. Muller于1956年提出，是一种著名的蒙特卡洛方法，它利用布朗运动从球面的退出分布来求解带有狄利克雷边界条件的拉普拉斯方程。该算法无网格的特性、对复杂几何的鲁棒性、随维度增长的良好扩展性以及内在的并行性，使其区别于基于网格的求解器。然而，它的有效应用范围基本局限于具有显式概率退出律的算子，排除了大多数变系数和非线性椭圆算子。我们提出了一个通用框架，旨在通过将经典狄利克雷拉普拉斯算子与调和延拓作为通用构建块来克服这一局限。我们不为每个算子寻求定制的随机表示，而是采用球面行走算法预先计算可重复使用的数值算子工具箱，该工具箱可近似狄利克雷拉普拉斯逆算子、调和延拓算子及其梯度。这些预先计算的算子随后被用于表示候选解，并将任意狄利克雷边值问题转换为关于未知源项的有限维代数系统。求解所得代数系统并代回原式，即可得到原偏微分方程的近似解。更重要的是，对于一般的线性二阶椭圆算子，上述预先计算的工具箱不仅可用于得到相应广义狄利克雷问题某一解的近似值，还可用于得到格林积分算子和椭圆测度算子的估计值。在一系列基准测试上的数值实验，包括非对称和各向异性线性椭圆方程、半线性和拟线性问题，证明了该方法的灵活性与效率。
英文摘要
The Walk-on-Spheres algorithm, introduced by M. E. Muller in 1956, is a well known Monte Carlo method that leverages Brownian exit distributions from spheres to solve the Laplace equation with Dirichlet boundary conditions. Its mesh-free nature, robustness on complex geometries, favorable scaling with dimension, and intrinsic parallelism distinguish it from mesh-based solvers. However, its efficient applicability has been essentially limited to operators that admit explicit probabilistic exit laws, excluding most variable-coefficient and nonlinear elliptic operators. We propose a general framework that aims to overcome this limitation by using the classical Dirichlet Laplacian and harmonic extension as universal building blocks. Rather than seeking a custom stochastic representation for each operator, we employ Walk-on-Spheres to precompute a reusable numerical operator toolbox that approximates the inverse Dirichlet Laplacian, the harmonic extension operator, and their gradients. These precomputed operators are then used to represent candidate solutions and to transform arbitrary Dirichlet boundary value problems into a finite-dimensional algebraic system/optimization problem for an unknown source term. Solving the resulting algebraic system/optimization problem and substituting back yields an approximate solution to the original PDE. Even more, for a general linear second order elliptic operator, the above mentioned precomputed toolbox can be directly used to obtain not just an approximation of a certain solution of the corresponding generalized Dirichlet problem, but an estimator of both the Green's integral operator and the elliptic measure operator. Numerical experiments on a range of benchmarks, including non-symmetric and anisotropic linear elliptic equations, semilinear and quasilinear problems, demonstrate the method's flexibility and efficiency.
