[論文レビュー] 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

ひとこと要約

本稿は、有界で単連結な平面領域におけるディリクレラプラシアン固有値の共形スペクトル安定性推定を、単位円板への共形写像を用いて確立する。Sobolev正則性（特に $p>2$ の $L^{1,p}(ω)$ において）を活用することで、導関数の $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$）への安定性結果の拡張。
• 固有値変動 $|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]|$ の明示的・定量的境界を、共形写像の差の $L^2$-ノルムに基づいて導出すること。
• このような改善された推定が成り立つ領域のクラスを特定すること、特に任意のヒルベルト次元 $[1,2]$ を持つクアシディスクを含む。
• 共形写像下での像集合の測定差を用いて固有値変動を表現し、安定性の幾何的解釈を提供すること。

提案手法

• 領域 $\Omega$ 上の固有値問題を、単位円板 $\mathbb{D}$ 上の重み付き固有値問題に、共形写像 $\varphi: \mathbb{D} \to \Omega$ を用いて変換する。
• $p>2$ に対して $L^{1,p}(\mathbb{D})$ のクラス内で作業し、共形写像の十分な正則性を保証することで、以前の $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})$ に属することを用いて、明示的な定数の構成を達成する。

実験結果

リサーチクエスチョン

• RQ1 共形写像の $L^{1,\infty}$ を超えるより強い正則性仮定を用いることで、ディリクレラプラシアンのスペクトル安定性推定を改善できるか？
• RQ2 $L^{1,p}$-正則領域において、固有値変動が共形写像の導関数差の $L^2$-ノルムにどのように定量的に依存するか？
• RQ3 固有値変動の境界が、共形写像下での像集合の測定差（例えば対称差の測度）にどのように依存するか？
• RQ4 このような改善された安定性推定が成り立つ領域のクラスは何か、特に境界の正則性とヒルベルト次元の観点から。
• RQ5 クアシディスクの場合に、安定性境界の明示的定数を導出できるか、そしてそれらがクアシコンformal歪み $K$ にどのように依存するか？

主な発見

• 本稿は、新たなスペクトル安定性推定を確立する：$|\lambda_n[\Omega_1] - \lambda_n[\Omega_2]| \leq c_n B_{p,\tau} \|\varphi_1 - \varphi_2\|_{L^{1,2}(\mathbb{D})}$、共形写像 $\varphi_1, \varphi_2 \in G_{p,\tau}$ に対して $p>2$ を満たし、以前の $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$ に依存し、Sobolev正則性に依存する要因 $\left[C(\frac{4p}{p-2})\right]^2$ を用いて明示的に構成される。
• 結果は任意の $n \in \mathbb{N}$ に対して成り立ち、$\|\varphi_1 - \varphi_2\|_{L^{1,2}(\mathbb{D})}$ が $c_n$ に対して十分に小さいとき、非自明な境界が得られる。