[論文レビュー] $L^p$-boundedness of wave operators for 2D Schrödinger operators with point interactions

Kenji Yajima|arXiv (Cornell University)|Jun 17, 2020

Advanced Mathematical Physics Problems参考文献 22被引用数 4

ひとこと要約

本稿は、点相互作用を伴う2次元シュレーディンガー作用素に対する波動作用素の$L^p$有界性を確立する。波動作用素が$L^p(\mathbb{R}^2)$上で有界であるのは、すべての$1 < p < \infty$に対して、かつそのときに限り、$p$-波共鳴が存在しない場合である。そうでない場合、波動作用素は$1 < p \leq 2$では有界であるが、$2 < p < \infty$では有界でなく、その結果は相互作用行列のスペクトル構造によって決まる。

ABSTRACT

For two dimensional Schrödinger operator $H$ with point interactions, We prove that wave operators of scattering for the pair $(H,H_0)$, $H_0$ being the free Schrödinger operator, are bounded in the Lebesgue space $L^p(\R^2)$ for $1

研究の動機と目的

• 点相互作用を伴う2次元シュレーディンガー作用素に対する波動作用素の$L^p$有界性を特定すること。
• 一般化固有関数および共鳴（特に$s$-波および$p$-波共鳴）が波動作用素の$L^p$有界性に与える役割を特徴づけること。
• 波動作用素の有界性行動に鋭い二分法を確立すること。その基盤は、作用素のスペクトルにおける$p$-波共鳴の有無に依存する。

提案手法

• 本研究は、グリーン関数とハンケル関数$H_0^{(1)}$を用いたシュレーディンガー作用素$H_{\alpha,Y}$のリゾルベント構成を用いる。これらは点相互作用の振る舞いを支配する。
• 相互作用の強さと空間的配置を符号化する$N \times N$行列$\Gamma_{\alpha,Y}(z)$を用いて、自由リゾルベントの摂動として作用素値リゾルベント$R(z^2)$を定義する。
• 波動作用素$W_{\alpha,Y}^\pm$は$L^2(\mathbb{R}^2)$における強い極限として定義され、$\lambda \to 0^+$における$\Gamma_{\alpha,Y}(\lambda)$の漸近展開を用いてその$L^p$有界性が分析される。
• 解析は、グリーン関数の漸近的挙動および、低エネルギー行動を支配する3つの対称行列$\tilde{\mathcal{D}}$、$\mathcal{G}_1(Y)$、$\mathcal{G}_2(Y)$のスペクトル性質に依存する。
• 証明には、マイクロ局所的およびフーリエ解析の技術が用いられ、$\chi_{\leq 2\varepsilon}$などの切り捨て関数および$|\xi| + |p|$を含む振動積分の推定が含まれる。
• 重要な技術的道具は、カト・ローゼンブロイム定理の修正版の使用であり、低エネルギー極限におけるスペクトル射影および行列逆行列を用いた良い作用素の構成が行われる。

実験結果

リサーチクエスチョン

• RQ1 点相互作用を伴う2次元シュレーディンガー作用素に対する波動作用素が、$1 < p < \infty$に対して$L^p(\mathbb{R}^2)$で有界となる条件は何か？
• RQ2 $p$-波共鳴の有無が波動作用素の$L^p$有界性にどのように影響するか？
• RQ3 $p > 2$のとき、波動作用素の正確な閾値挙動は何か？ なぜそれらは無限大に発散するのか？

主な発見

• 波動作用素は、$H_{\alpha,Y}$のスペクトルに$p$-波共鳴が存在しない場合に限り、すべての$1 < p < \infty$に対して$L^p(\mathbb{R}^2)$で有界である。
• $p$-波共鳴が存在する場合、波動作用素は$1 < p \leq 2$では有界のままだが、$2 < p < \infty$では有界ではなくなる。これは$p = 2$で鋭い遷移を示している。
• $p$-波共鳴が存在しないことは、低エネルギー展開における行列$T_e^\perp G_1 T_e^\perp$の非退化性に等しく、波動作用素構成における関連作用素の可逆性を保証する。
• $s$-波共鳴（$a \neq 0$）の存在は、$1 < p < \infty$における$L^p$有界性を妨げないが、$p$-波共鳴（$a=0$, $b \neq 0$）の存在は妨げる。
• $2 < p < \infty$における有界性の失敗は、$p$-波寄与に関連する特定のフーリエ乗算子成分の非可積分性に起因し、振動積分の$L^p$ノルム推定を通じて示される。
• 技術的補題（補題A）は、切り捨てを含む二重フーリエ積分の点ごとの減衰推定を提供し、$L^p$有界性証明における作用素ノルムの制御に不可欠である。