arXivDaily arXiv每日学术速递 周一至周五更新
今晚才能更新了~~大家休息下再来吧
arXiv 2011.05701math.NAcs.NA
收藏

多边形上谱分数阶扩散的 $hp$ FEM 指数收敛性

Exponential Convergence of $hp$ FEM for Spectral Fractional Diffusion in Polygons

Lehel Banjai, Jens M. Melenk, Christoph Schwab

AI总结:

本文在有界多边形域中解析数据且无边界相容性假设下,证明了基于余法向导数和 sinc 求积的两类 $hp$-FEM 在谱分数阶扩散问题上的指数收敛性,并给出了 Kolmogoroff $n$-宽度的指数小界。

摘要:

对于有界曲线多边形区域 $Ω$ 中阶数为 $2s\in (0,2)$ 的谱分数阶扩散算子,我们在解析数据且无任何边界相容性的假设下,证明了在自然分数阶 Sobolev 范数 $\mathbb{H}^s(Ω)$ 下两类 $hp$ 离散的指数收敛性。第一类 $hp$ 离散基于将解写为一个 $2+1$ 维局部线性椭圆边值问题的余法向导数,并对其应用 $hp$-FE 离散。扩展变量中的对角化将谱分数阶扩散算子逆的数值逼近简化为对 $Ω$ 中局部、解耦的二阶反应扩散方程组的数值逼近。利用 $Ω$ 中二阶线性反应扩散边值问题的 $hp$-FEM 鲁棒指数收敛结果,得到了 $\mathcal{L}^s u = f$ 解 $u\in \mathbb{H}^s(Ω)$ 的指数收敛率。该 $hp$-FEM 的关键要素是具有向 $\partialΩ$ 几何网格细化的边界拟合网格。第二种离散基于 $\mathcal{L}^{-s}$ 的 Balakrishnan 积分表示的指数收敛 sinc 求积逼近,结合 $Ω$ 中解耦的局部线性奇异扰动反应扩散方程组的 $hp$-FE 离散。这两种方法的分析均扩展至解析紧 $2$-流形 $\mathcal{M}$ 的多边形子集 $\widetilde{\mathcal{M}}$。在非凸多边形域中具有不相容数据的模型问题的数值实验证实了理论结果。此外,推导了多边形上谱分数阶扩散解集的 Kolmogoroff $n$-宽度的指数小界。

英文摘要:

For the spectral fractional diffusion operator of order $2s\in (0,2)$ in bounded, curvilinear polygonal domains $Ω$ we prove exponential convergence of two classes of $hp$ discretizations under the assumption of analytic data, without any boundary compatibility, in the natural fractional Sobolev norm $\mathbb{H}^s(Ω)$. The first $hp$ discretization is based on writing the solution as a co-normal derivative of a $2+1$-dimensional local, linear elliptic boundary value problem, to which an $hp$-FE discretization is applied. A diagonalization in the extended variable reduces the numerical approximation of the inverse of the spectral fractional diffusion operator to the numerical approximation of a system of local, decoupled, second order reaction-diffusion equations in $Ω$. Leveraging results on robust exponential convergence of $hp$-FEM for second order, linear reaction diffusion boundary value problems in $Ω$, exponential convergence rates for solutions $u\in \mathbb{H}^s(Ω)$ of $\mathcal{L}^s u = f$ follow. Key ingredient in this $hp$-FEM are boundary fitted meshes with geometric mesh refinement towards $\partialΩ$. The second discretization is based on exponentially convergent sinc quadrature approximations of the Balakrishnan integral representation of $\mathcal{L}^{-s}$, combined with $hp$-FE discretizations of a decoupled system of local, linear, singularly perturbed reaction-diffusion equations in $Ω$. The present analysis for either approach extends to polygonal subsets $\widetilde{\mathcal{M}}$ of analytic, compact $2$-manifolds $\mathcal{M}$. Numerical experiments for model problems in nonconvex polygonal domains and with incompatible data confirm the theoretical results. Exponentially small bounds on Kolmogoroff $n$-widths of solutions sets for spectral fractional diffusion in polygons are deduced.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑