[論文レビュー] Smoothing effect for Schrödinger boundary value problems

Nicolas Burq|ArXiv.org|Oct 17, 2002

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

ひとこと要約

この論文は、外部領域におけるシュレーディンガー境界値問題における完全な $ H^{1/2} $ 平滑化効果の非捕獲条件の必要性を確立し、捕獲された障害物（イカワの例）のクラスに対して弱化された $ H^{1/2 - \varepsilon} $ 平滑化効果を示している。Wigner測度の伝播と関数計算を用いて、解のスペクトル的および時間周波数局在性を分析することで実現された。

ABSTRACT

We show the necessity of the non trapping condition for the plain smoothing effect ($H^{1/2}$) for Schrödinger equation with Dirichlet boundary conditions in exterior problems. We also give a class of trapped obstacles (Ikawa's example) for which we can prove a weak ($H^{1/2 - ε}$) smoothing effect.

研究の動機と目的

• 外部領域におけるディリクレ境界条件を伴うシュレーディンガー方程式における $ H^{1/2} $ 平滑化効果に対して、非捕獲条件の必要性を確立すること。
• 捕獲された軌道が存在する状況において、弱化された平滑化効果（$ H^{1/2 - \varepsilon} $）が依然として成立するかを調査すること。
• Egorovの定理が不適切となる境界問題に適用可能な一般性を高めるために、Wigner測度の伝播を用いて、ドイの非捕獲条件の必要性に関する結果を非境界ケースから境界値問題へ拡張すること。
• 特に双曲的捕獲軌道に対して、平滑化効果の鋭い閾値を特定すること。
• このような捕獲された領域における非線形焦点を向いたシュレーディンガー方程式のグローバル存在性および正則性結果を確立すること。

提案手法

• Egorovの定理の代わりに、より一般性と境界問題への適用可能性を高めるために、解の微局所的挙動を分析するためのWigner測度の伝播を用いる。
• スペクトル射影子 $ \Psi(-\Delta_D / \lambda) $ を用いて、ディリクレラプラシアン $ \Delta_D $ に対する関数計算を適用し、周波数およびエネルギーに沿って解を局在化する。
• 解作用素の有界性を推論するために $ TT^* $ 論法を用い、作用素の随伴作用素の推定に帰着させる。これにより、時間周波数ノルムとスペクトルノルムを結びつける。
• 周波数 $ \tau $ における重み付き $ L^2 $ ノルムを用いて、制限吸収原理を介してリソルベント推定を実施し、$ \|\chi \hat{u}\|_{H^{1/2,-}} $ を $ \|\chi \hat{f}\|_{H^{-1/2,+}} $ の項で制御する。
• 安定的（楕円的）捕獲が存在する場合の平滑化の失敗を示すために、捕獲軌道に沿った準モードを構成する。
• 解の $ H^{1/2 - \varepsilon} $ 平滑化効果の証明を、スペクトル推定および空間的コンパクトな台を持つ切り捨て関数 $ \chi $ の使用に還元する。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ境界条件を伴うシュレーディンガー方程式における $ H^{1/2} $ 平滑化効果に対して、非捕獲条件は必要か？
• RQ2 捕獲された軌道を有する領域におけるシュレーディンガー方程式に対して、弱化された平滑化効果（$ H^{1/2 - \varepsilon} $）を確立できるか？
• RQ3 Egorovの定理が不適切となる境界値問題において、Wigner測度の伝播が平滑化効果を証明するための堅牢な枠組みを提供するか？
• RQ4 双曲的捕獲軌道が存在する状況における平滑化の鋭い正則性閾値は何か？
• RQ5 捕獲された外部領域における非焦点を向いた非線形シュレーディンガー方程式に対して、グローバル存在性および正則性の結果を確立できるか？

主な発見

• 外部領域におけるシュレーディンガー境界値問題では、$ H^{1/2} $ 平滑化効果に対して非捕獲条件が必要である：微分作用素 $ A $（順序 $ 1/2 $）の台に無限に時間が費やされる双特徴線的軌道が存在する場合、解写像 $ u_0 \mapsto A e^{itP}u_0 $ は $ L^2([0,t_0]; L^2(M)) $ 上で有界でない。
• 有限個の厳密に凸な障害物の集合（イカワの例）に対しては、$ H^{1/2} $ 平滑化効果は成立しないが、任意の $ \varepsilon > 0 $ に対して弱化された $ H^{1/2 - \varepsilon} $ 平滑化効果は成立する。
• $ H^{1/2 - \varepsilon} $ 平滑化推定は時間に一様である：任意の $ \chi \in C_0^\infty({\mathbb{R}}^d) $ に対して、ある $ C > 0 $ が存在し、$ \|\chi e^{it\Delta_D}u_0\|_{L^2({\mathbb{R}}_t; H^{1/2 - \varepsilon}(\Omega))} \leq C \|u_0\|_{L^2(\Omega)} $ が成り立つ。
• 証明はスペクトル理論およびリソルベント推定に依拠しており、制限吸収原理と周波数空間における重み付き $ L^2 $ ノルムを用いて、時間周波数空間における解の制御を実現している。
• $ TT^* $ 論法により、平滑化推定を随伴作用素の有界性結果に還元し、その後、フーリエ解析とスペクトル局在化を用いて制御している。
• 2次元の非焦点を向いた非線形シュレーディンガー方程式に対して、グローバル存在性および正則性が確立された：初期データが $ H_0^1(\Omega) $ に属する限り、解は時間に全域的に存在し、初期データが滑らかであれば解も滑らかである。