[論文レビュー] The Schroedinger Equation with Potential in Random Motion

Marius Beceanu, Avy Soffer|arXiv (Cornell University)|Nov 19, 2011

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

ひとこと要約

本稿では、3次元空間においてブラウン運動の経路に従って移動するポテンシャルを伴うシュレーディンガー方程式を研究する。解が完全に分散することを示すために、確実に成り立つストリコフ推移推定と、RAGE型の分散結果を確立する。解のノルムは、大きな $α$ に対して期待値において $α^{-2}$ の速度で減少する。主な貢献は、ブラウン運動によって駆動されるランダムポテンシャルに対する分散とストリコフ制御の厳密な証明である。

ABSTRACT

We study Schroedinger's equation with a potential moving along a Brownian motion path. We prove a RAGE-type theorem and Strichartz estimates for the solution on average.

研究の動機と目的

• ポテンシャルがブラウン運動の経路に従う場合のシュレーディンガー方程式の解の長時間挙動を分析すること。
• ブラウン経路の平均について、解のエンドポイントストリコフ推移推定を確立すること。
• ランダムポテンシャルに対してRAGE型定理を証明し、解の完全な分散を示すこと。
• 拡散パrameter $α$ の観点から、自由進化からの解の減衰を定量化すること。
• ブラウン運動の経路と、$̂{H}^{1/2}\cap C$ に属するような決定的経路との影響を比較すること。

提案手法

• 標準的な3次元ブラウン運動 $B_t$ を用いてランダムポテンシャル $V(x - \alpha B_t)$ を定義し、解をデュハメルの公式を用いて解析する。
• 移動するポテンシャルによる摂動を表すために、$\gamma(t)$ をブラウン経路とする演算子 $S(\gamma)$ を適用する。
• 解の正則性と減衰を制御するため、ポテンシャル $V$ に対してLorentz空間ノルム $L^{3/2,1}$ と $L^{3/2,\infty}$ を用いる。
• 自由伝搬作用素 $e^{it\Delta}$ とポテンシャルの繰り返し畳み込みを含む摂動展開を導出する。
• スケーリング性 $\alpha B_t = \tilde{B}_{\alpha^2 t}$ を用いて $\alpha$ の増加が与える影響を分析し、ポテンシャルの影響が $α^{-2}$ の速度で小さくなることを示す。
• 波作用素とエンドポイントストリコフ推移推定の理論を適用し、波作用素 $W(Z_0)$ が確実に存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ブラウン運動に従うポテンシャルを伴うシュレーディンガー方程式の解は、時間の経過とともに分散を示すか？
• RQ2 ブラウン経路の平均について、解のストリコフ推移推定を確立できるか？
• RQ3 ポテンシャルのランダムな運動は、決定的運動と比較して質量とエネルギーの保存にどのように影響するか？
• RQ4 拡散パrameter $α$ が増加する際、解の自由進化からのずれの減衰速度はいかほどか？
• RQ5 ブラウン運動の経路のハウスドルフ次元が、区分的線形経路と比較して分散特性に与える影響は何か？

主な発見

• $V \in L^{3/2,1}$ のとき、$\alpha \geq \alpha_0$ に対して確実にストリコフ推移推定が成り立ち、$\mathbb{E}\|Z - e^{it\Delta}Z_0\|_{L^\infty_t L^2_x \cap L^2_t L^{6,2}_x} \leq C\alpha^{-2}\|V\|_{L^{3/2,1}}\|Z_0\|_2$ が成り立つ。
• ほとんどすべてのブラウン経路は完全な分散を引き起こす：任意の $\epsilon > 0$ に対して $\mu(\{t \mid \|Z(t)\|_{L^6_x} < \epsilon\}) = \infty$ である。
• $\alpha \to \infty$ のとき、$\mathbb{E}\|S(\alpha B_t)\|_{L^2_{t,x} \to L^2_{t,x}} \to 0$ となる。これは、ポテンシャルの影響が極限で消えることを示している。
• 波作用素 $W(Z_0) = \lim_{t\to\infty} e^{-it\Delta}Z(t)$ は確実に存在し、$\mathbb{E}\|W(Z_0) - Z_0\| \leq C\alpha^{-2}\|V\|_{L^{3/2,1}}\|Z_0\|_2$ を満たす。
• 区分的線形経路ではこの結果は成り立たない。これは、分散を可能にするために経路のハウスドルフ次元 > 1 が重要であることを示している。
• RAGE型結果はすべての初期データに対して一様に成り立つ：$\lim_{\alpha\to\infty} \mathbb{E}\left[ \sup_{\|Z_0\|_2=1} \frac{1}{T}\|Z\|_{L^2_{[0,T]}L^{6,2}_x}^2 \right] = 0$。