[論文レビュー] Spectral Inequalities for the Schr{ö}dinger operator

Gilles Lebeau, Iván Moyano|arXiv (Cornell University)|Jan 11, 2019

Spectral Theory in Mathematical Physics参考文献 10被引用数 11

ひとこと要約

本稿は、$ \mathbb{R}^d $ 上のシュレーディンガー作用素 $ H_{g,V} = -\Delta_g + V(x) $ に対して、スペクトル不等式を確立する。ここで $ g $ はユークリッド計量に近い解析的計量であり、$ V $ は無限遠で消える解析的ポテンシャルである。正則関数の補間不等式、カーレマン推定、正則拡張技術を用いて、低周波数に関連するスペクトル射影子の $ L^2 $-ノルムが、任意の測度可測集合 $ \omega \subset \mathbb{R}^d $ における $ L^2 $-ノルムによって制御されることを示す。この集合 $ \omega $ は一様な密度条件を満たすものとする。周波数パラメータ $ \mu^{1/2}_\pm $ に指数関数的依存性を示し、非有界領域における一意的拡張性の明確な定量的評価が得られる。

ABSTRACT

In this paper we deal with the so-called "spectral inequalities", which yield a sharp quantification of the unique continuation for the spectral family associated with the Schrödinger operator in $ \mathbb{R}^d$ \begin{equation*} H_{g,V} = Δ_g + V(x), \end{equation*} where $Δ_g$ is the Laplace-Beltrami operator with respect to an analytic metric $g$, which is a perturbation of the Euclidean metric, and $V(x)$ a real valued analytic potential vanishing at infinity.

研究の動機と目的

• 非コンパクト領域における既知の不確定性原理を拡張し、$ \mathbb{R}^d $ 上のシュレーディンガー作用素 $ H_{g,V} = -\Delta_g + V(x) $ に対して鋭いスペクトル不等式を確立すること。
• 観測集合 $ \omega $ に幾何的条件を課した場合に、$ H_{g,V} $ のスペクトル射影子の一意的拡張性を、固定半径の球内での一様正の密度を保証する条件下で定量的に評価すること。
• 長距離または減衰するポテンシャルを持つシュレーディンガー作用素のスペクトル射影子を扱うための、正則拡張と補間推定に基づく関数解析的枠組みを構築すること。
• 古典的な不確定性原理（例：ログヴェネンコ＝セレダ、ジグムンド）を、解析的計量およびポテンシャルを持つシュレーディンガー作用素の設定に一般化し、周波数に明示的な指数的境界を与えること。

提案手法

• 著者らは、$ \mathbb{R}^d $ 上の自己共役シュレーディンガー作用素の関数計算を用いて定義されるスペクトル射影子 $ \Pi_\mu(g,V) $ を用いる。ここで $ g $ は解析的で漸近的にユークリッド的であり、$ V $ は解析的で無限遠で消えるものとする。
• 複素平面 $ \mathbb{C} $ 上の $ \bar{\partial} $-作用素に対するカーレマン推定を適用し、正則関数の補間不等式を導出する。その後、この不等式を複素積分路の変形によって $ \mathbb{R}^d $ に拡張する。
• 方程式 $ (-\partial_s^2 + H_{g,V})u = 0 $ の解に対する正則拡張推定を導出する。固定された $ s_0 > 0 $ における解が、複素帯 $ |\operatorname{Im}(z)| < b $ 内に正則に拡張可能であり、帯内で一様な $ L^2 $-有界性が得られることを示す。
• 鍵となるステップは、補間不等式（命題3.1）を用いて、関数の $ \mathbb{R}^d $ 上での $ L^2 $-ノルムを、厚い集合 $ \omega $ 上の $ L^2 $-ノルムと、複素近傍での $ L^2 $-ノルムと関連付けることである。これは、スペクトル射影子の正則拡張を利用している。
• スペクトル射影子が、$ g $ と $ V $ の解析性およびその導関数の無限遠での減衰性から、複素帯内に正則に拡張可能であることに依存している。この拡張の一様性が補間議論において不可欠である。
• 関数 $ f = \Pi_\mu(g,V)f $ の正則拡張と補間、およびポアソン拡張の $ L^2 $-有界性を組み合わせることで、$ \|f\|_{L^2} \leq A e^{C \mu^{1/2}_\pm} \|f\|_{L^2(\omega)} $ の形の指数的境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 コンパクト性がない状況下でも、観測集合 $ \omega $ に幾何的条件を課した場合に、$ \mathbb{R}^d $ 上のシュレーディンガー作用素のスペクトル不等式を確立できるか？
• RQ2 スペクトル射影子のための一意的拡張性が周波数パラメータ $ \mu $ に依存する仕組みは何か。この依存関係を明示的な指数的境界で定量的に評価できるか？
• RQ3 古典的な不確定性原理（例：ログヴェネンコ＝セレダ）を、解析的で長距離的ポテンシャルおよび計量を持つシュレーディンガー作用素にどの程度まで拡張できるか？
• RQ4 ポアソン方程式の解の正則拡張が、非有界領域におけるスペクトル射影子の補間不等式を導出する上で果たす役割は何か？
• RQ5 カーレマン推定と複素補間技術を、減衰係数を持つ全空間上でのシュレーディンガー作用素に対して、鋭いスペクトル不等式を導出できるように適応できるか？

主な発見

• 本稿では、$ \omega \subset \mathbb{R}^d $ が一様正の密度条件（1.2）を満たす任意の可測集合であるとき、$ \|\Pi_\mu(g,V)f\|_{L^2(\mathbb{R}^d)} \leq A e^{C \mu^{1/2}_\pm} \|\Pi_\mu(g,V)f\|_{L^2(\omega)} $ の形のスペクトル不等式を確立する。ここで $ A, C > 0 $ は $ \omega, g, V $ に依存する。
• $ \mu^{1/2}_\pm $ に指数的依存性を示すことで、低周波数スペクトル射影子に対する一意的拡張性の鋭い定量的評価が得られる。ここで $ \mu^{1/2}_\pm = \sqrt{\mu} $（$ \mu \geq 0 $）および $ \pm i\sqrt{|\mu|} $（$ \mu < 0 $）である。
• 証明は、スペクトル射影子が複素帯 $ |\operatorname{Im}(z)| < b $ 内に正則に拡張可能であることに依存しており、これは $ g $ と $ V $ の解析性およびその減衰性から生じる。この拡張の一様性が補間議論の根幹をなす。
• 著者らは、方程式 $ (-\partial_s^2 + H_{g,V})u = 0 $ の解 $ u_{\pm}(s_0, \cdot) $ が複素帯 $ U_b $ 内に正則に拡張可能であり、$ \|u_{\pm}(s_0, \cdot)\|_{L^2(U_b)} \leq C \|f\|_{L^2} $ を満たすことを示した。これは補間推定の根幹をなす。
• 補間不等式（命題3.1）を用いて、$ f $ の $ \mathbb{R}^d $ 上での $ L^2 $-ノルムを、$ \omega $ 上での $ L^2 $-ノルムと複素帯内での $ L^2 $-ノルムと関連付ける。これにより最終的な指数的境界が得られる。
• 特別な場合 $ g = \mathrm{Id} $、$ V = 0 $ において、結果はジグムンド、ログヴェネンコ＝セレダ、およびコヴリキーネの古典的不確定性原理を回復し、平坦な場合における既知の結果と整合性を示している。