[論文レビュー] Local smoothing for the Schrödinger equation with a prescribed loss

Hans Christianson, Jared Wunsch|arXiv (Cornell University)|Mar 21, 2011

Spectral Theory in Mathematical Physics参考文献 16被引用数 13

ひとこと要約

本稿は、1つの退化的に不安定な周期的測地線をもつ回転面の族におけるシュレーディンガー方程式に対して、鋭い局所的滑らかさ推移を確立する。フーリエ分解とポテンシャル分解を用いて関連する半古典的シュレーディンガー作用素を解析することで、退化パラメータ $ m $ に依存する多項式的損失を得、明示的な例によってその損失が達成可能であることを証明する。対応する鋭いカットオフリゾルベント推移も示され、同じ損失率を示す。

ABSTRACT

We consider a family of surfaces of revolution, each with a single periodic geodesic which is degenerately unstable. We prove a local smoothing estimate for solutions to the linear Schrödinger equation with a loss that depends on the degeneracy, and we construct explicit examples to show our estimate is saturated on a weak semiclassical time scale. As a byproduct of our proof, we obtain a cutoff resolvent estimate with a sharp polynomial loss.

研究の動機と目的

• 非コンパクト多様体に存在する退化的に不安定な周期的測地線をもつ場合のシュレーディンガー方程式の局所的滑らかさ特性を分析すること。
• このような多様体における捕獲（trapping）が引き起こす正則性の損失を、自明な損失と楕円型損失の間の中間的なものとして定量すること。
• 弱い半古典的時間スケール上での局所的滑らかさ推移の鋭さを示す明示的例を構成すること。
• 局所的滑らかさ損失と一致する多項式的損失を示す対応する鋭いカットオフリゾルベント推移を導出すること。

提案手法

• 表面の回転対称性を用いて、角変数 $ \theta $ におけるフーリエモードに沿ってラプラス＝ベルトラミ作用素を分解し、1次元の半古典的シュレーディンガー作用素の族に帰着する。
• ユニタリ変換 $ T $ を用いてラプラシアンを、$ V(x) = A^{-2}(x) + h^2 V_1(x) $ の形に変換する。ここで $ A(x) = (1 + x^{2m})^{1/(2m)} $ である。
• 高周波数モードに対しては半古典的パラメータ $ h = |k|^{-1} $、低周波数モードに対しては $ h = \lambda^{-1} $ を用い、$ k^2 \leq \lambda^2/2 $ または $ k^2 > \lambda^2/2 $ に基づいてスペクトル解析を2つの領域に分割する。
• それぞれの領域でリゾルベント推移を確立する：低 $ k $ に対しては非捕獲、高 $ k $ に対しては退化的捕獲。半古典的非調和振動子の既知の推移を用いる。
• フーリエモードの直交性を用いて推移を結合し、損失 $ \lambda^{-2m/(m+1)} $ をもつグローバルなリゾルベント評価を得る。
• TT^* 論法を用いてリゾルベント推移と局所的滑らかさ推移を結びつけ、両者において損失の鋭さが証明される。

実験結果

リサーチクエスチョン

• RQ1 回転面に1つの退化的に不安定な周期的測地線をもつ場合のシュレーディンガー方程式に対して、最良の局所的滑らかさ損失は何か？
• RQ2 このような多様体において局所的滑らかさ推移が鋭いかどうか、もしそうなら正確な損失率は何か？
• RQ3 測地線の不安定性の退化度（$ m $ で測る）が解の正則性の向上にどのように影響するか？
• RQ4 局所的滑らかさ損失と一致する対応する鋭いカットオフリゾルベント推移が存在するか？
• RQ5 弱い半古典的時間スケール上での局所的滑らかさ推移を達成する明示的クェイジモードを構成できるか？

主な発見

• $ m \geq 2 $ のとき、局所的滑らかさ推移は $ \| \langle x \rangle^{-1/2 - \epsilon} e^{it\Delta} u_0 \|_{H^{1/2 - \epsilon}} $ の損失を伴い、この損失 $ \epsilon $ は退化パラメータ $ m $ に依存する。
• 局所的滑らかさ推移は鋭い：弱い半古典的時間スケール $ T \sim \lambda^{-2m/(m+1)} $ 上で、境界を達成するクェイジモードが存在する。
• 対応するカットオフリゾルベント推移は $ \| \chi R(\lambda) \chi \|_{L^2 \to L^2} \leq C \lambda^{-2m/(m+1)} $ を満たし、滑らかさ推移の損失と一致する。
• リゾルベント推移の鋭さは、TT^* 論法により示され、より良いリゾルベント評価が可能ならばより良い局所的滑らかさ推移が得られることになり、構築された例と矛盾する。
• 証明は、低周波数および高周波数領域に分けるスペクトルパラメータの分解に依存しており、それぞれに異なる半古典的パラメータと推移が適用される。
• 本結果により、自明な $ \epsilon $-損失と完全な楕円型損失の間の中間的な損失を示す、新たな多様体のクラスが確立され、捕獲多様体における局所的滑らかさ理論の空白を埋める。