[論文レビュー] Spectral asymptotics for Dirichlet to Neumann operator

Victor Ivrii|arXiv (Cornell University)|Feb 21, 2018

Advanced Mathematical Modeling in Engineering参考文献 9被引用数 3

ひとこと要約

本稿は、境界にエッジを有するコンパクトなリーマン多様体上におけるディリクレ・トゥ・ノイマン作用素のスペクトル漸近挙動を確立し、2項の固有値数関数の漸近展開を証明する。$\mathsf{N}( au) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$ が $\lambda \to \infty$ のとき成り立つ。ここで $d$ は境界の次元である。標準的なウェイの漸近展開を滑らかでない境界に拡張するため、微局所的および半古典的技法を用いてエッジに起因する特異性を扱う。

ABSTRACT

We consider eigenvalues of the Dirichlet-to-Neumann operator for Laplacian in the domain (or manifold) with edges and establish the asymptotics of the eigenvalue counting function \begin{equation*} \mathsf{N}(λ)= κ_0λ^d +O(λ^{d-1})\qquad ext{as}\ \ λ o+\infty, \end{equation*} where $d$ is dimension of the boundary. Further, in certain cases we establish two-term asymptotics \begin{equation*} \mathsf{N}(λ)= κ_0λ^d+κ_1λ^{d-1}+o(λ^{d-1})\qquad ext{as}\ \ λ o+\infty. \end{equation*} We also establish improved asymptotics for Riesz means.

研究の動機と目的

• 境界にエッジを有する領域において、標準的な滑らかさの仮定が成り立たない場合に、ディリクレ・トゥ・ノイマン作用素のスペクトル漸近挙動を拡張すること。
• エッジが存在する状況において、2項固有値数関数の漸近展開 $\mathsf{N}(\lambda) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$ を確立すること。
• 内側および外側のエッジに起因する特異性がスペクトル挙動に与える影響を分析すること、特にモデルケースにおける二面角の果たす役割を特定すること。
• 微局所的および半古典的手法を用いて、固有値のリエス平均に対する改良された漸近挙動を証明すること。
• 本質的スペクトルに埋め込まれた固有値が2項漸近挙動に与える影響、特に鋭角の場合にその影響が生じるかどうかという未解決問題に取り組むこと。

提案手法

• 境界 $Y$ 上での調和拡張および法線微分を用いて定義されるディリクレ・トゥ・ノイマン作用素 $\Lambda$ の使用。
• $L^2(Y)$-正規化および直交制約の下で $\int_X |\nabla w|^2\,dx$ を最小化する変分原理への問題の還元。
• 特に平面角 $\alpha$ を有するモデルケースにおいて、エッジ特異性を扱うために微局所解析および半古典的技法の適用。
• ベルマン＝シュヴィンガーの原理およびスケーリングを用いて、$\Lambda$ の固有値を扇形領域上のロビン問題の固有値に関連付ける。
• 共対換関係の推定および対称関数および反対称関数に対して $\|\nabla w\|^2 - \|w\|^2$ の一様な下界を証明するために、作用素 $Q = x_1D_1 + x_2D_2 + i/2$ の使用。
• 局所化のための partition of unity $P_\tau$ および分解 $\operatorname{Ran}(I - P_\tau)$ の使用により、高周波数領域に局在化し、半古典的推定を適用する。

実験結果

リサーチクエスチョン

• RQ1 エッジ特異性はディリクレ・トゥ・ノイマン作用素のスペクトル漸近挙動にどのように影響を与えるか？
• RQ2 滑らかでない境界を有する領域において、標準ウェイ則を超えて2項固有値数関数の漸近展開を確立できるか？
• RQ3 鋭角 $\alpha \in (0, \pi)$ の場合に、対称性（対称関数対反対称関数）がスペクトル挙動に果たす役割は何か？
• RQ4 本質的スペクトル $[1, \infty)$ に埋め込まれた固有値が2項漸近挙動を妨げる要因となるかどうか？
• RQ5 本質的スペクトルが絶対連続性を保つ条件は何か、そしてそれがスペクトル数え上げに与える影響は何か？

主な発見

• 固有値数関数は $\mathsf{N}(\lambda) = \kappa_0\lambda^d + O(\lambda^{d-1})$ を満たし、$\lambda \to \infty$ のとき成り立つ。ここで $\kappa_0 = (2\pi)^{-d}\omega_d \operatorname{mes}(Y)$ であり、古典的ウェイ則をエッジを持つ領域に拡張する。
• エッジを有する領域において、境界上の周期的測地線の集合の測度がゼロであるという条件下で、2項漸近挙動 $\mathsf{N}(\lambda) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$ が確立される。
• リエス平均のオーダー $r \in (0,1]$ に対して、滑らかな場合と同一の剰余推定を得る改良された漸近挙動が得られる。
• $\alpha \in [\pi, 2\pi]$ のとき、$\Lambda$ のスペクトルは $[1, \infty)$ であり、1未満の固有値は存在せず、スペクトルは連続的である。
• $\alpha \in (0, \pi)$ のとき、対称部分 $\Lambda_{\text{sym}}$ は $(0,1)$ に離散的スペクトルを持つ。底の固有値は $\sin(\alpha/2)$ であり、それに対応する固有関数は $\exp(-x_1)$ である。
• 主な予想は、対称関数 $w = Jv$ に対して $v \in \operatorname{Ran}(I - P_\tau)$ を満たすとき、$\|\nabla w\|^2 \geq (1+\delta)\|w\|^2$ の推定が成り立つことである。この推定が成立すれば、すべての $\alpha \in (0, \pi)$ に対して2項漸近挙動が拡張可能となる。