[論文レビュー] Smoothing effect for the regularized Schr\\"odinger equation with non controlled orbits

Lassaad Aloui, Moez Khenissi+1 more|arXiv (Cornell University)|Jan 18, 2012

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

ひとこと要約

本稿では、非制御軌道を伴う正則化されたシュレーディンガー方程式における $ C^{\infty} $ スムージング効果に関して、幾何的制御条件が不要であることを確立している。特定の曲率および分離条件を満たす有界領域 $ \Omega_0 $ 内に有限個の厳密な凸体を含む系を分析することで、著者らは、リゾルベント推定と交換子技術を用いて、幾何的制御が全軌道をカバーしない場合でも $ C^{\infty} $ スムージング効果および一様安定化が依然として成立することを証明した。

ABSTRACT

We prove that the geometric control condition is not necessary to obtain the smoothing effect and the uniform stabilization for the strongly dissipative Schr\\"odinger equation.

研究の動機と目的

• 本研究の目的は、散乱的シュレーディンガー方程式におけるスムージングおよび安定化のための幾何的制御条件（GCC）の必要性に挑戦することである。
• 本稿では、正則化されたシュレーディンガー方程式において $ C^\infty $ スムージング効果が維持可能かどうかを調査している。
• 目的は、減衰領域が幾何的に制御されていないが、依然として強いスムージングおよび安定化をもたらすような幾何的設定を構築することである。
• もう一つの目的は、リゾルベント推定と交換子解析を用いて、非捕獲的かつ非幾何的に制御された系へのカト型スムージング効果を拡張することである。

提案手法

• 著者らは正則化されたシュレーディンガー方程式を検討している。
• 主な技術は、$ B_a = a(x)(-\Delta_D)^{1/2}a(x) $ を用いて、Sobolev空間 $ H_D^s(\Omega_0) $ 内で演算子 $ (-\Delta_D - \tau + iB_a)^{-1} $ の一様リゾルベント推定を証明することである。
• 正則性の増加を制御するために、滑らかな $ a $ に対して性質 $ \mathcal{P}_s $ および $ \mathcal{Q}_{s,n} $ を用いた交換子推定 $ [a, (-\Delta_D)^n] $ が用いられている。
• Sobolev空間 $ H_D^s $ 間の補間不等式を適用し、$ s=0 $ からの正則性推定をすべての実数 $ s $ に拡張することで、グローバルスムージングを保証している。
• 時間領域への移行のために時間のフーリエ解析が用いられ、リゾルベント推定を時間領域に転送することで、解の $ L^2_{\text{loc}}((0,\infty); H_D^{s+1-\varepsilon}) $ 正則性が証明された。
• 方程式の構造と交換子の $ L^2 $-有界性に基づく反復的議論により、$ (0,\infty) \times \Omega_0 $ 内で $ C^{\infty} $-スムージングが得られた。

実験結果

リサーチクエスチョン

• RQ1 正則化されたシュレーディンガー方程式において、幾何的制御条件がなければ $ C^\infty $ スムージング効果は達成可能か？
• RQ2 散乱的シュレーディンガー方程式において、一様安定化およびスムージングのためには幾何的制御条件が必要か？
• RQ3 非捕獲的領域において、減衰領域が全軌道を幾何的に制御しない場合、スムージング効果はどのように変化するか？
• RQ4 リゾルベント推定と交換子技術は、幾何的制御の欠如を補って解の高正則性を達成できるか？
• RQ5 曲率および分離条件を満たす複数の凸体を含む領域において、$ C^\infty $ スムージング効果は維持されるか？

主な発見

• 本稿では、正則化されたシュレーディンガー方程式における $ C^{\infty} $ スムージング効果に関して、幾何的制御条件が不要であることを証明した。
• $ H_D^s(\Omega_0) $ 内の初期データに対して、解 $ u(t,\cdot) $ は任意の $ \varepsilon > 0 $ に対して $ L^2_{\text{loc}}((0,\infty); H_D^{s+1-\varepsilon}(\Omega_0)) $ に属する。これは GCC がなくても成り立つ。
• 一様リゾルベント推定が確立された：$ \|(-\Delta_D - \tau + iB_a)^{-1}\|_{L^2 \to H_D^{1-\varepsilon}} \leq C $ であり、$ \tau $ に依存しない。これはスムージング結果の鍵となる。
• 反復および補間を用いることで、幾何的制御が満たされないにもかかわらず、解は $ (0,\infty) \times \Omega_0 $ 内で完全な $ C^{\infty} $ 正則性を獲得する。
• 減衰関数 $ a(x) $ は滑らかで、外周辺でのみ非ゼロであり、凸体の曲率および分離条件を満たす限り、結果は成り立つ。
• スペクトル解析および交換子推定を用いて、軌道が減衰領域から脱出しても安定化およびスムージングが達成された。これは、幾何的制御が最小要件ではないことを示している。