[論文レビュー] Upper bound for the counting function of interior transmission eigenvalues

Mouez Dimassi, Vesselin Petkov|arXiv (Cornell University)|Aug 12, 2013

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

ひとこと要約

本稿では、正の実軸回りの扇形領域における複素内伝送固有値（ITEs）の数関数の上界を確立する。半古典的解析とパラメトリックス構成を用いて、任意の固定された角度 $\theta > 0$ に対して、$|\lambda| \leq r$ かつ $|\arg \lambda| \leq \theta$ を満たすITEの個数は、$r \to \infty$ の際に $Cr^{n/2}$ のオーダーで増大することが示され、等方的状況におけるWeyl漸近的オーダーと一致する。

ABSTRACT

For the complex interior transmission eigenvalues (ITE) we study for small $θ> 0$ the counting function $$N(θ, r) = #\{λ\in \C:\: λ\: { m is} \: { m (ITE)},\: |λ| \leq r, \: 0 \leq \arg λ\leq θ\}.$$ We obtain for fixed $θ> 0$ an upper bound $N(θ, r) \leq C r^{n/2}, \: r \geq r(θ).$

研究の動機と目的

• 固定された角度 $\theta > 0$ に対して、$|\arg \lambda| \leq \theta$ の扇形領域における複素内伝送固有値（ITEs）の数関数の上界を確立すること。
• 標準的なパラメータ強凸性と自己随伴性が成立しない等方的状況において、既存のWeyl漸近展開を直接適用できないという課題に対処すること。
• 基礎となる作用素が非自己随伴的かつ非パラメータ強凸的であるにもかかわらず、Weyl型漸近展開を複素ITEスペクトルへと拡張すること。
• 期待されるWeyl法則のオーダー $r^{n/2}$ と一致する鋭い上界を提供すること。これは、非等方的状況での既知の結果と整合的である。
• 幾何学的および解析的技法を用いて、実軸付近における固有値分布の制御を図ることにより、数え上げ推定値を精緻化すること。

提案手法

• 内伝送作用素 $\mathcal{P}$ の半古典的版を構築し、スケーリング $h = r^{-1/2}$ を用いてそのスペクトルを解析する。
• 半古典的パラメトリックス構成を用いて、虚部が正である複素点 $\omega_0$ の近傍にある長方形 $S_0$ における固有値個数を推定する。
• 大規模な $r$ に対して、扇形 $|\arg \lambda| \leq \theta$ を被覆するため、共形円板とネストされた長方形 $S_{0,K}$ を用いた複素幾何的議論を適用する。
• Nevanlinna型数え上げ補題から得られる $\mathcal{N}(2\delta; h)$ を用いて、各スケーリングされた長方形における固有値個数を推定する。
• 対数的推定と $\delta$ に関する漸近展開を用いて誤差項を制御し、$\delta \to 0$ が $\theta \to 0$ に対応するように関係づける。
• 無限個の長方形 $S_{0,K}$ における推定値を統合し、コン pact 集合 $Q_K$ に吸収される尾部を含めた、グローバルな上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された $\theta > 0$ に対して、扇形領域 $|\arg \lambda| \leq \theta$ 内の複素内伝送固有値の個数の最大増大率は何か？
• RQ2 パラメータ強凸性と自己随伴性が欠如する等方的状況においても、Weyl型の上界 $N(\theta,r) \leq Cr^{n/2}$ を確立できるか？
• RQ3 複素ITEの分布は正の実軸付近でどのように振る舞い、半古典的および幾何的技法を用いて制御可能か？
• RQ4 複素平面における固有値数え上げを、スケーリングと共形写像を用いて、1つの基本的長方形における推定にどれほどまで還元できるか？
• RQ5 上界における定数 $C$ は、領域の幾何構造および関数 $m(x)$ にどのように依存するか？

主な発見

• 任意の固定された $\theta > 0$ に対して、数関数 $N(\theta,r) = \#\{\lambda \in \mathbb{C} : \lambda \text{ はITE}, |\lambda| \leq r, |\arg \lambda| \leq \theta\}$ は、すべての $r \geq r(\theta)$ に対して $N(\theta,r) \leq Cr^{n/2}$ を満たし、$C$ は $\theta$、$\Omega$、$m(x)$ に依存する。
• 上界はWeyl漸近的オーダー $r^{n/2}$ と一致しており、等方的状況における既知の漸近的挙動と整合的であるが、パラメータ強凸的でない等方的作用素であるにもかかわらず成立する。
• 定数 $C$ は積分 $\int_\Omega \left(1 + (1+m(x))^{n/2}\right) dx$ に明示的に関係しており、主項は $3\sqrt{3}(1 + \mathcal{O}_{\omega_0}(\delta)) \frac{\omega_n}{(2\pi)^n}$ である。
• 誤差項は $C_0(\delta)$ で有界であり、これは $\delta \to 0$ のとき有限極限に近づく（すなわち $\theta \to 0$ のとき）、$\theta$ にわたる一様性を保証する。
• 本手法は、幾何的にスケーリングされた長方形の族を用いて扇形を被覆し、各長方形における半古典的数え上げを用いて、複素平面における固有値分布を効果的に制御できた。
• 本結果は、複素ITEが正の実軸に近い任意の扇形領域で $r^{n/2}$ より速く集積しないことを確認しており、等方的状況におけるWeyl型挙動の予想を支持する。