[论文解读] Conformal spectral stability for the Dirichlet-Laplace operator

В. И. Буренков, Vladimir Gol’dshtein+1 more|arXiv (Cornell University)|Jun 17, 2014

Analytic and geometric function theory参考文献 16被引用 14

一句话总结

本文通过将有界、单连通平面区域共形映射到单位圆盘，建立了狄氏拉普拉斯算子特征值的共形谱稳定性估计。通过利用共形映射的索伯列夫正则性（具体为 $L^{1,p}(ω)$，其中 $p>2$），推导出依赖于导数 $L^p$-范数与像集测度差的改进型 $L^2$-型特征值变化界，对拟圆盘给出了显式常数。

ABSTRACT

We study the eigenvalue problem for the Dirichlet Laplacian in bounded simply connected plane domains $Ω\subset\mathbb{C}$ using conformal transformations of the original problem to the weighted eigenvalue problem for the Dirichlet Laplacian in the unit disc $\mathbb{D}$. This allows us to estimate the variation of the eigenvalues of the Dirichlet Laplacian upon domain perturbation via energy type integrals for a large class of "conformal regular" domains which includes all quasidiscs, i.e. images of the unit disc under quasiconformal homeomorphisms of the plane onto itself. Boundaries of such domains can have any Hausdorff dimension between one and two.

研究动机与目标

• 通过利用共形几何，改进现有狄氏拉普拉斯算子在区域扰动下的谱稳定性估计。
• 将稳定性结果从 $L^{1,\infty}$-正则性推广到更强的 $L^{1,p}$-正则性（$p>2$）的共形映射。
• 在 $L^2$-范数下，以共形映射差的 $L^2$-范数为变量，推导出特征值变化 $|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]|$ 的显式、定量界。
• 刻画此类改进估计成立的区域类，特别是具有任意赫斯多夫维数 $[1,2]$ 的拟圆盘。
• 以共形映射下像集的可测差异表达特征值变化，提供稳定性的几何解释。

提出的方法

• 使用共形映射 $\varphi: \mathbb{D} \to \Omega$ 将区域 $\Omega$ 上的特征值问题转化为单位圆盘 $\mathbb{D}$ 上的加权特征值问题。
• 在 Sobolev 类 $L^{1,p}(\mathbb{D})$ 中工作，其中 $p>2$，以确保共形映射具有足够正则性，从而获得强于先前基于 $L^{1,\infty}$ 结果的估计。
• 应用变量替换公式与雅可比行列式估计，将共形映射导数差的 $L^2$-范数与特征值变化联系起来。
• 推导一个关键估计：$|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]| \leq c_n B_{p,\tau} \|\varphi_1 - \varphi_2\|_{L^{1,2}(\mathbb{D})}$，其中 $c_n = \max\{\lambda_n^2[\Omega_1], \lambda_n^2[\Omega_2]\}$。
• 以测度差异形式表达界：$|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]| \leq c_n B_{p,\tau} \left( \text{meas}(\varphi_1(\mathbb{D}^+) \setminus \varphi_2(\mathbb{D}^+)) + \text{meas}(\varphi_2(\mathbb{D}^-) \setminus \varphi_1(\mathbb{D}^-)) \right)^{1/2}$，其中 $\mathbb{D}^+ = \{z: J_{\varphi_1}(z) \geq J_{\varphi_2}(z)\}$。
• 通过共形映射到 $K$-拟圆盘属于 $L^{1,p}(\mathbb{D})$ 的事实，建立拟圆盘上的结果，其中 $p < \frac{2K^2}{K^2 - 1}$，从而实现显式常数的构造。

实验结果

研究问题

• RQ1 能否通过在共形映射上施加强于 $L^{1,\infty}$ 的正则性假设，改进狄氏拉普拉斯算子的谱稳定性估计？
• RQ2 在 $L^{1,p}$-正则区域中，特征值变化对共形映射导数差的 $L^2$-范数的定量依赖关系为何？
• RQ3 特征值变化的界如何依赖于共形映射下像集的几何测度，如对称差的测度？
• RQ4 此类改进的稳定性估计成立的区域类为何，特别是关于边界正则性与赫斯多夫维数？
• RQ5 能否为拟圆盘情形下的稳定性界推导出显式常数，且其如何依赖于拟共形扭曲参数 $K$？

主要发现

• 本文建立了新的谱稳定性估计：对于共形映射 $\varphi_1, \varphi_2 \in G_{p,\tau}$ 且 $p>2$，有 $|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]| \leq c_n B_{p,\tau} \|\varphi_1 - \varphi_2\|_{L^{1,2}(\mathbb{D})}$，该估计优于先前基于 $L^{1,\infty}$ 的结果。
• 对于拟圆盘，该界可表示为 $|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]| \leq c_n M \left( \|\varphi_1'\|_{L^p(\mathbb{D})} + \|\varphi_2'\|_{L^p(\mathbb{D})} \right) \|\varphi_1' - \varphi_2'\|_{L^2(\mathbb{D})}$，其中 $M = \left[C(4(2K^2 - 1))\right]^2$。
• 共形正则区域类包括所有拟圆盘，其边界可具有 $[1,2]$ 内任意赫斯多夫维数，从而扩展了谱稳定性结果的适用范围。
• 特征值变化由一个涉及 $\varphi_1$ 与 $\varphi_2$ 在 $\mathbb{D}$ 上像集对称差测度的项所界定，该量受导数差的 $L^2$-范数加权。
• $B_{p,\tau}$ 常数依赖于 $p$ 与 $\tau$，并通过因子 $\left[C(\frac{4p}{p-2})\right]^2$ 显式构造，控制其对索伯列夫正则性的依赖。
• 该结果对任意 $n \in \mathbb{N}$ 成立，且当 $\|\varphi_1 - \varphi_2\|_{L^{1,2}(\mathbb{D})}$ 相对于 $c_n$ 足够小时，该界为非平凡。