[論文レビュー] Weyl formulae for the Robin Laplacian in the semiclassical limit

Ali Kachmar, Pierig Keraval+1 more|arXiv (Cornell University)|Feb 19, 2016

Spectral Theory in Mathematical Physics参考文献 14被引用数 4

ひとこと要約

本稿では、Born-Oppenheimer法を応用して一様有効ハミルトニアンを導出し、任意次元の滑らかで有界な領域におけるロビンラプラシアンの半古典的ウェイリル公式を確立する。エネルギー準位以下の固有値の数を数える関数は、ラプラシアン＝ベルトラミー作用素と平均曲率を含む境界作用素のそれと、$ h \to 0 $ の極限において正確な漸近的同値性を示す。

ABSTRACT

This paper is devoted to establish semiclassical Weyl formulae for the Robin Laplacian on smooth domains in any dimension. Theirs proofs are reminiscent of the Born-Oppenheimer method.

研究の動機と目的

• 半古典的極限 $ h \to 0 $ におけるロビンラプラシアンの非正固有値の数を定量化すること。
• 一様有効ハミルトニアンのアプローチを用いて、既存の2次元結果を任意次元に拡張すること。
• ロビンラプラシアンの数を数える関数と、境界に依存する有効作用素のそれとの間の厳密な漸近的同値性を確立すること。
• エネルギー0付近のエネルギー窓内における $ \mathcal{L}_h $ のスペクトルの均一近似を、次元に依存しない形で提供すること。
• アグモン推定を用いて、領域の内部が非正スペクトルにほとんど寄与しないことを示すこと。

提案手法

• アグモン推定を用いて、スペクトル問題を境界の薄い近傍に還元し、内部が非正固有値に寄与しないことを示す。
• 一様有効ハミルトニアンを境界 $ \Gamma $ 上で得るために、Born-Oppenheimer型の分解を適用する。
• 有効ハミルトニアン $ -h + h^2 \mathcal{L}^\Gamma - h^{3/2} \kappa $ を用いる。ここで $ \mathcal{L}^\Gamma $ はラプラシアン＝ベルトラミー作用素、$ \kappa $ は平均曲率である。
• Born-Oppenheimer補正の推定を用いて一様スペクトル近似を確立し、1次元解析によって補正が明示的に制御されることを示す。
• 重み付き $ L^2 $-空間と解析的摂動論を用いて、曲率およびパラメータの変化に伴う固有値と固有関数の変動を制御する。
• 境界 $ \Gamma $ における古典的ウェイリル法を適用し、エネルギー窓と曲率の関数として、数を数える関数の漸近的体積公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 半古典的極限 $ h \to 0 $ におけるロビンラプラシアンの非正固有値に対する数を数える関数の振る舞いはいかなるものか？
• RQ2 ロビンラプラシアンのスペクトルは、任意次元において境界に依存する有効ハミルトニアンによって一様に近似可能か？
• RQ3 ロビンラプラシアンの数を数える関数と、ラプラシアン＝ベルトラミー作用素および平均曲率を含む境界作用素のそれとの間の正確な漸近的同値性は何か？
• RQ4 Born-Oppenheimer法はロビンラプラシアンにどのように適合され、一様スペクトル推定が得られるか？
• RQ5 アグモン推定は、半古典的領域においてスペクトル問題を境界に還元することをどの程度正当化できるか？

主な発見

• 数を数える関数は $ \mathsf{N}(\mathcal{L}_h, -h + E h^{3/2}) \sim \mathsf{N}(h^{1/2} \mathcal{L}^\Gamma - \kappa, E) $ を満たし、$ h \to 0 $ のとき、低エネルギー固有値に対する一様ウェイリル型漸近的同値性が確立される。
• 非正スペクトルに対しては $ \mathsf{N}(\mathcal{L}_h, 0) \sim \mathsf{N}(h \mathcal{L}^\Gamma, 1) $ が成り立ち、スケーリングされた境界ラプラシアンの数を数える関数と等価であることが示される。
• 漸近的体積公式 (1.2) および (1.3) が回復される：数を数える関数は $ (2\pi h^{1/4})^{-(d-1)} $ に、$ \Gamma $ の余接 bundle 内のエネルギーシェルの体積を乗じたものに比例する。
• Born-Oppenheimer補正は明示的に制御されており、その一様性により、任意の $ \varepsilon_0 > 0 $ に対して $ -\varepsilon_0 h $ 未満の固有値を正確に記述する有効ハミルトニアンが保証される。
• ロビンラプラシアン $ \mathcal{L}_h $ の固有関数は境界付近に局在し、有効ハミルトニアンは次元に依存しない形でそのスペクトル的挙動を一様に捉える。
• 曲率の摂動における最初の固有値および固有関数の解析的および安定性が確立され、固有値および固有関数の摂動パrameterに関する微分係数の上界が得られる。