[論文レビュー] On the Spectrum of the Dirichlet Laplacian in a Narrow Strip, II

Leonid Friedlander, Michael Solomyak|ArXiv.org|Oct 9, 2007

Spectral Theory in Mathematical Physics参考文献 3被引用数 6

ひとこと要約

本稿は、$h(x)$ が $x=0$ で一意の全域最大値をもつことから定義される狭い無限ストリップ $\Omega_\epsilon = \{(x,y) \in \mathbb{R} \times (0, \epsilon h(x))\}$ におけるディリクレラプラシアンのスペクトル的性質を分析する。リゾルベント解析とディリクレ・ノイマンの括弧付け法を用いて、$\epsilon \to 0$ のとき、本質スペクトル以下の固有値の数が発散することを確立し、固有値に対して2項漸近展開、固有関数に対して1項漸近展開を得る。両者とも、$x=0$ の近傍における $h(x)$ の局所的挙動から導かれる補助的常微分方程式に支配される。本結果は、有限区間における先行研究を無限区間 $I = \mathbb{R}$ に拡張し、指数的減衰するバンドギャップを示す周期的波ガイドへの応用も含む。

ABSTRACT

We consider the Dirichlet Laplacian in a family of narrow unbounded domains. As the width of these domains goes to 0, we study the asymptotic behavior of the eigenvalues that lie below the essential spectrum and the asymptotic behavior of the corresponding eigenfunctions.

研究の動機と目的

• 無限ストリップ $\Omega_\epsilon = \{(x,y) : x \in \mathbb{R}, 0 < y < \epsilon h(x)\}$ におけるディリクレラプラシアンのスペクトル的性質を、$\epsilon \to 0$ の極限で研究すること。
• $h(x)$ が $x=0$ で一意の全域最大値をもつという仮定の下で、$\epsilon \to 0$ 時の固有値に対して2項漸近展開、固有関数に対して1項漸近展開を確立すること。
• 有限区間における先行結果を $I = \mathbb{R}$ の場合に拡張すること。この場合、本質スペクトルは非自明であり、本質スペクトル以下の離散固有値の数は $\epsilon \to 0$ 時に発散する。
• リゾルベント解析を詳細に行わずに、ディリクレ・ノイマンの括弧付け法を用いることで、固有値漸近展開の簡略化された証明を提供すること。

提案手法

• 適切に選ばれた $K$ を用いて、$\mathfrak{A}_{\epsilon,D}^{-1} = (\Delta_{\epsilon,D} - K\epsilon^{-2})^{-1}$ のリゾルベント解析を行い、スペクトル挙動の主要項を分離する。
• 元の問題の漸近挙動を決定する補助的常微分作用素を $\mathbb{R}$ 上に還元する。
• ディリクレ・ノイマンの括弧付け法を用いて、$\Delta_{\epsilon,D}$ のスペクトルを有限部分区間上での局所的作用素とその補集合上での作用素のスペクトルと比較する。
• スケーリング変換 $t = x \epsilon^{-\alpha}$ を用いて、$\epsilon \to 0$ の極限における有効ポテンシャルを分析し、作用素ノルムでリゾルベントの収束を導く。
• シュレーディンガー作用素の収束定理への適用を保証するため、$V_\epsilon(t)$ の一様有界性を確立する。
• 混合境界条件（$DN$-問題）の結果を活用し、$D$-問題との比較により固有値推定を得る。

実験結果

リサーチクエスチョン

• RQ1 $h(x)$ が $x=0$ で一意の最大値をもつ狭い無限ストリップにおいて、$\epsilon \to 0$ 時に本質スペクトル以下の固有値の数はどのように振る舞うか？
• RQ2 $\epsilon \to 0$ 時に、ディリクレラプラシアンの固有値 $\lambda_j(\epsilon)$ の2項漸近展開は何か？
• RQ3 固有関数は漸近的にどのように振る舞い、その局在化と形状は何かに支配されるか？
• RQ4 リゾルベント解析を詳細に行わずに、ディリクレ・ノイマンの括弧付け法などの代替手法を用いてスペクトル漸近展開を導けるか？
• RQ5 $h(x)$ が周期的である場合、スペクトルの挙動はどのようになるか？ バンドギャップは $\epsilon \to 0$ 時にどのように減衰するか？

主な発見

• $\epsilon \to 0$ 時、本質スペクトル以下のディリクレラプラシアンの固有値の数は、無限区間 $I = \mathbb{R}$ であっても無限大に発散する。
• 各固有値 $\lambda_j(\epsilon)$ の2項漸近展開は、$\lambda_j(\epsilon) = \epsilon^{-2} \left( \frac{\pi^2}{M^2} + \mu_j \right) + o(\epsilon^{-2})$ で与えられ、ここで $\mu_j$ は $x=0$ の近傍における $h(x)$ の局所展開から得られる補助的常微分方程式の固有値である。
• 固有関数は $x=0$ の近傍に漸近的に局在化し、その形状は同様の補助的常微分方程式の固有関数によって決定される。
• 本質スペクトル $\sigma_{\text{ess}}(\Delta_{\epsilon,D})$ は、$\epsilon \to 0$ 時に $\nu(\epsilon) \to \infty$ となる。また、任意のコンパクト部分集合 $\widehat{I} = [-a,a]$ に対して、$\frac{\pi^2}{M_a^2 \epsilon^2}$ よりも上方にある。ここで $M_a < M$ である。
• 周期的 $h(x)$ の場合、$\Delta_{\epsilon,D}$ のスペクトルはバンドギャップ構造を示し、バンドの幅は $\epsilon \to 0$ 時に指数関数的に減衰する。これは補論文 [4] で示されている。
• ディリクレ・ノイマンの括弧付け法を用いることで、リゾルベント解析を詳細に行わずに固有値漸近展開の簡略化された証明が得られ、$I = \mathbb{R}$ の場合に直接適用可能である。