[論文レビュー] Semiclassical Singularity Propagation Property for Schrödinger Equations

Shu Nakamura|ArXiv.org|May 30, 2006

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

ひとこと要約

本稿は、ラプラシアンの長距離摂動下における変数係数を有するシュレーディンガー方程式に対して、半古典的特異点伝播性を確立する。修正された自由伝播子と散乱理論的枠組みにおけるエゴロフ型定理を用いて、解の波フロント集合特異点が古典的ハミルトニアンフロー軌道に沿って伝播することを証明し、初期データを用いた古典的フローによる解の微局所的正則性を特徴づける。

ABSTRACT

We consider Schrödinger equations with variable coefficients, and it is supposed to be a long-range type perturbation of the flat Laplacian on $R^n$. We characterize the wave front set of solutions to Schrödinger equations in terms of the initial state. Then it is shown that the singularity propagates following the classical flow, and it is formulated in a semiclassical settings. Methods analogous to the long-range scattering theory, in particular a modified free propagator, are employed.

研究の動機と目的

• 変数係数を有するシュレーディンガー方程式の解の波フロント集合を初期データの観点から特徴づけること。
• 半古典的極限において、特異点が古典的ハミルトニアンフロー軌道に沿って伝播することを確立すること。
• 特に修正された自由伝播子を含む散乱理論的技法を、長距離摂動設定下での微局所的正則性を分析するために拡張すること。
• 非定常的・時間依存の記号枠組みにおいて、半古典的エゴロフ定理を厳密に正当化すること。
• 進化した解の波フロント集合を、初期データと古典的フローによって変換したものの観点から関連付けること。

提案手法

• 長距離摂動を扱うために、運動量空間におけるハミルトン＝ジャコビ方程式の解 $ W(t,\xi) $ を用いて、修正された自由伝播子を導入する。
• 時間依存ユニタリ作用素 $ \Omega(t) = e^{iW(t,D_x)}e^{-itH} $ を構成し、シュレーディンガー進化を共役化して記号伝播を単純化する。
• 記号クラス $ S(\lambda^{-j}, dx^2 + \lambda^{-2}d\xi^2) $ を用いた、共役作用素 $ \Omega(t)a_h(x,D_x)\Omega(t)^{-1} $ の漸近展開を適用する。ここで $ \lambda \to \infty $ である。
• エゴロフ型定理を用いて、共役作用素の主要記号が $ a_h \circ \exp tH_p $ に等しく、その台が古典的フローに沿って伝播することを示す。
• 微局所的波フロント集合の特徴づけに $ h $-擬微分作用素を用い、$ h = \lambda^{-1} $ として、$ \|a_h(x,D_x)u\| = O(h^\infty) $ ならば正則性が保証されることを利用する。
• 初期状態と進化状態の特異点を結ぶために、修正されたハミルトン＝ジャコビフロー $ S_t = T_t \circ \exp tH_p $ を用い、ここで $ T_t(x,\xi) = (x - \partial_\xi W(t,\xi), \xi) $ である。

実験結果

リサーチクエスチョン

• RQ1 変数係数を有するシュレーディンガー方程式の解の特異点は、半古典的極限においてどのように伝播するか？
• RQ2 進化した解の波フロント集合は、初期データと古典的ハミルトニアンフローの観点から特徴づけられるか？
• RQ3 微局所解析の文脈において、長距離摂動を扱うために修正された自由伝播子が果たす役割は何か？
• RQ4 非定常的・時間依存の記号設定において、半古典的エゴロフ定理はどのように正当化されるか？
• RQ5 古典的フローは、非捕獲領域において、解の微局所的構造をどの程度決定づけるか？

主な発見

• 解 $ u(t_0) = e^{-it_0H}u_0 $ の波フロント集合は、$ (x_0,\xi_0) \notin WF(u(t_0)) $ であることと、$ a $ が $ (x_0,\xi_0) $ の近傍に台を持つカットオフ関数であるとき、$ h \to 0 $ において $ \| (a_h \circ \exp t_0H_p)(x,D_x)u_0 \| = O(h^\infty) $ であることが同値である条件で特徴づけられる。
• 後向き非捕獲初期データ $ (x_0,\xi_0) $ に対して、特異点は古典的フロー $ \exp tH_p $ 沿って伝播し、時間 $ t_0 $ における波フロント集合は初期波フロント集合を古典的フローで引き戻したものによって決定づけられる。
• 修正された伝播子 $ \Omega(t) $ を用いることで、共役作用素の漸近展開が構成可能となり、その記号は古典的フロー軌道の近傍に台を持つ。
• 極限 $ \xi_-(t_0; x_0, \xi_0) = \lim_{\lambda \to \infty} \lambda^{-1} \eta(-t_0; x_0, \lambda\xi_0) $ および $ z_-(t_0; x_0, \xi_0) = \lim_{\lambda \to \infty} \left( y(-t_0; x_0, \lambda\xi_0) - \partial_\xi W(-t_0, \eta(-t_0; x_0, \lambda\xi_0)) \right) $ が存在し、$ t_0 $ に依存しないことが示され、初期状態と進化状態の間の微局所的リンクを提供する。
• 解 $ u(t_0) $ の波フロント集合が $ (x_0,\xi_0) $ で非空であることと、変換された初期データ $ e^{iW(-t_0,D_x)}u_0 $ が $ (z_-, \xi_-) $ で特異点を持つことは同値であり、明確な微局所的対応関係を確立する。
• 時間依存記号クラスを避けるために散乱理論的アプローチに依拠し、ハミルトン＝ジャコビ方程式の解 $ W(t,\xi) $ 及びその関連する漸近展開の存在に依存する。