[论文解读] Wildly perturbed manifolds: norm resolvent and spectral convergence

Colette Anné, Olaf Post|arXiv (Cornell University)|Feb 4, 2018

Advanced Mathematical Modeling in Engineering被引用 25

一句话总结

该论文通过在变化的希尔伯特空间上 operators 的广义收敛框架，建立了黎曼流形上带越来越多小孔的拉普拉斯-贝尔特拉米算子的范数预解收敛。在孔洞分布与尺寸满足几何条件时，证明了诺伊曼拉普拉斯算子收敛于未扰动的拉普拉斯算子，而狄利克雷拉普拉斯算子则收敛于由密集堆积孔洞形成的“实心”区域补集上的狄利克雷拉普拉斯算子——并以孔洞半径和间距为参数，给出了显式的误差估计。

ABSTRACT

Since the publication of the important work of Rauch and Taylor (Potential and scattering theory on wildly perturbed domains, JFA, 1975) a lot has been done to analyse wild perturbations of the Laplace operator. Here we present results concerning the norm convergence of the resolvent. We consider a (not necessarily compact) manifold with many small balls removed, the number of balls can increase as the radius is shrinking, the number of balls can also be infinite. If the distance of the balls shrinks less fast than the radius, then we show that the Neumann Laplacian converges to the unperturbed Laplacian, i.e., the obstacles vanish. In the Dirichlet case, we have two cases: if the balls are too sparse, the limit operator is again the unperturbed one, while if the balls concentrate at a certain region (they become "solid" in a region), the limit operator is the Dirichlet Laplacian on the complement outside the solid region. Our work is based on a norm convergence result for operators acting in varying Hilbert spaces developed by the second author.

研究动机与目标

• 分析带越来越多小孔的流形上拉普拉斯-贝尔特拉米算子的谱与预解收敛性。
• 将经典预解收敛理论扩展至作用于变化希尔伯特空间上的算子，无需假设紧致性或嵌入共同定义域。
• 表征在不同孔洞构型下（消退与实心化情形）诺伊曼与狄利克雷拉普拉斯算子的极限行为。
• 提供以孔洞半径、间距及调和半径、管状邻域大小等几何参数表示的显式误差估计。

提出的方法

• 通过在变化的 L² 空间之间使用识别算子 J 与 J′，实现广义范数预解收敛，确保渐近等距性并实现预解的交织。
• 应用 Post（2012）的抽象收敛理论，建立谱收敛与函数演算收敛。
• 引入 δε-拟等距等价的二次型，以量化扰动算子与未扰动算子之间的距离。
• 利用具有有界几何的流形上的索伯列夫嵌入与椭圆正则性估计，控制能量集中与延拓性质。
• 构造截断函数与管状邻域，分析 L² 函数在小集合上不集中性。
• 推导出显式误差界 δε = O((ηmε/εm−2)(1−γ)/2)（当 m ≥3 时），以及 m=2 时的类似形式，其中 ε 为孔洞半径，ηε 为间距，γ ∈(0,1)。

实验结果

研究问题

• RQ1 在何种几何条件下，带大量小孔的流形上的诺伊曼拉普拉斯算子会以广义范数预解收敛意义收敛于未扰动的拉普拉斯算子？
• RQ2 当孔洞缩小并形成‘实心’区域时，带收缩孔洞的流形上的狄利克雷拉普拉斯算子何时收敛于该实心区域补集上的狄利克雷拉普拉斯算子？
• RQ3 在不假设紧致性或共同定义域嵌入的前提下，如何保证作用于变化希尔伯特空间上的算子的谱收敛（特征值、特征函数）？
• RQ4 调和半径与有界几何在确保索伯列夫嵌入与能量集中性的一致控制中起什么作用？
• RQ5 收敛速率的显式误差估计如何依赖于孔洞半径 ε、间距 ηε 以及构造中的参数 γ？

主要发现

• 若孔洞相对于其尺寸足够分离，则诺伊曼拉普拉斯算子以广义范数预解收敛意义收敛于未扰动拉普拉斯算子，且误差 δε →0（当 ε→0 时）。
• 对于狄利克雷情形，若孔洞稀疏，则极限仍为未扰动拉普拉斯算子；若孔洞聚集并形成‘实心’区域，则极限为补集上的狄利克雷拉普拉斯算子。
• 收敛由误差界 δε = O((ηmε/εm−2)(1−γ)/2)（当 m ≥3 时）与 δε = O((η2ε|log ε|)(1−γ)/2)（当 m=2 时）量化，其中 γ ∈(0,1)。
• 收敛蕴含谱收敛：特征值与谱投影在紧区间上一致收敛，且在识别映射 J 与 J′ 下特征函数在范数下收敛。
• 在有界几何与正调和半径条件下，结果成立，确保了索伯列夫嵌入的一致性与对局部几何的控制。
• 该框架即使在扰动与未扰动定义域未嵌入同一空间时仍适用，克服了先前工作对这类嵌入的依赖。