[论文解读] TOWARDS DOMAIN DECOMPOSITION FOR NONLOCAL PROBLEMS

Burak Aksoylu, Michael L. Parks|arXiv (Cornell University)|Sep 24, 2009

Numerical methods in engineering参考文献 35被引用 7

一句话总结

本文通过构建带有传输条件的非局部变分问题，提出了一类用于非局部 p-Laplace 算子的子结构方法，证明了刚度矩阵和 Schur 补矩阵的谱等价性及条件数界。该研究建立了首个非局部区域分解的理论框架，并通过数值实验验证了其良好的条件性。

ABSTRACT

In this paper we present the first results on substructuring methods for nonlocal operators, specifically, an instance of the nonlocal p-Laplace operator. We present a nonlocal variational formulation of this operator, proving a nonlocal Poincaré inequality and upper bound to establish a spectral equivalence. We then introduce a nonlocal two-domain variational formulation utilizing nonlocal transmission conditions, and prove equivalence with the single-domain formulation. A nonlocal Schur complement is introduced. We establish condition number bounds for the nonlocal stiffness and Schur complement matrices. Supporting numerical experiments demonstrating the conditioning of the nonlocal single- and two-domain problems are presented.

研究动机与目标

• 开发一种针对非局部算子（特别是非局部 p-Laplace 算子）的子结构框架，该算子目前缺乏成熟的区域分解方法。
• 通过传输条件构建一种非局部两子域变分公式，使其与单域问题保持等价性。
• 引入非局部 Schur 补，并推导出由此产生的刚度矩阵和 Schur 补矩阵的条件数界。
• 通过谱等价性和 Poincaré 型不等式，为非局部区域分解方法的收敛性和条件性提供理论依据。

提出的方法

• 通过带有核函数的非局部积分算子，基于非局部变分原理来表述非局部 p-Laplace 算子。
• 证明非局部 Poincaré 不等式及其上界，以建立非局部与局部公式之间的谱等价性。
• 引入一种通过界面处非局部相互作用耦合子域的非局部两子域公式。
• 通过消除界面未知量，推导出非局部 Schur 补，从而支持区域分解求解器。
• 建立非局部刚度矩阵和非局部 Schur 补矩阵的条件数界，确保数值稳定性。
• 通过单域和两域非局部问题的条件性数值实验验证理论结果。

实验结果

研究问题

• RQ1 能否构建一种带有传输条件的非局部两子域变分公式，使其与单域非局部 p-Laplace 问题谱等价？
• RQ2 在非局部区域分解框架中，非局部刚度矩阵和 Schur 补矩阵的条件数界是什么？
• RQ3 非局部 Poincaré 不等式如何支持非局部子结构方法的稳定性和收敛性？
• RQ4 数值实验在多大程度上验证了非局部区域分解的理论条件数界？

主要发现

• 证明了带有传输条件的非局部两子域变分公式与单域非局部 p-Laplace 问题等价。
• 建立了非局部 Poincaré 不等式及其上界，实现了非局部与局部公式的谱等价性。
• 在非局部变分框架内引入了非局部 Schur 补，并证明其定义良好。
• 推导出非局部刚度矩阵和非局部 Schur 补矩阵的条件数界，确保迭代求解器的鲁棒性。
• 数值实验验证了理论条件数界，表明单域和两域非局部问题的系统均保持稳定且条件良好。
• 本研究首次为非局部问题（特别是非局部 p-Laplace 算子）的区域分解提供了理论与数值基础。