[論文レビュー] Schrödinger Maps and their associated Frame Systems

Andrea R. Nahmod, Jalal Shatah+2 more|ArXiv.org|Dec 17, 2006

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

ひとこと要約

本稿は、低正則性データに対する $Σ^2$ または $η^2$ へのシュレーディンガー写像とその関連するゲージ不変非線形シュレーディンガー方程式（GNLS）の間の同値性を確立し、2次元空間において $η^2$ に対してグローバル弱解の存在を証明する。また、第一コhomology群が自明なコンパクトなヘルミート対称多様体へは、キリングベクトル場と発散型表現を用いてフレームワークを拡張する。

ABSTRACT

In this paper we establish the equivalence of solutions between Schrödinger map into $\mathbb{S}^2$ or $ \mathbb{H}^2$ and their associated gauge invariant Schrödinger equations. We also establish the existence of global weak solutions into $\mathbb{H}^2$ in two space dimensions. We extend these ideas for maps into compact hermitian symmetric manifolds with trivial first cohomology.

研究の動機と目的

• 低正則性初期データに対するシュレーディンガー写像（SM）系とその関連するゲージ不変非線形シュレーディンガー（GNLS）系の解の同値性を確立すること。
• $η^2$ へのシュレーディンガー写像が2次元空間においてグローバルな有限エネルギー弱解を持つことを証明すること。
• キリングベクトル場と発散型表現を用いて、第一コhomology群が自明なコンパクトなヘルミート対称ケーラー多様体へ同値性フレームワークを拡張すること。
• 定曲率設定下でGNLS系が目標多様体 $u$ に依存しないことを示し、SM系への明示的参照なしに解を構成可能であることを示すこと。
• キリングベクトル場から導かれる保存則とエネルギー法を用いて、高次元におけるSM系の弱解定式化を提供すること。

提案手法

• 著者らは、$u^{-1}TM$ 上のフレーム系を用いて、標準的な座標ベースの手法に代わるSM系のゲージ不変表現を導出する。
• コロンブ・ゲージを用いることで、GNLS系を $i\partial_t q = \Delta q + \Delta^{-1}[\partial(\mathcal{O}(|q|^2))\partial q] + \mathcal{O}(|q|^3)$ の形に簡略化し、その半線形構造を明らかにする。
• $\mathbb{H}^2$ の場合、多様体 $M$ を $\mathbb{R}^L$ に埋め込み、距離関数 $F(u)$ を導入し、$\varepsilon$ と $\delta$ パラメータを用いた正則化方程式を解くことで弱解を構成する。
• 弱解は、$\varepsilon \to 0$, $\delta \to 0$ の極限として得られ、エネルギーを保存し、$u \in C(\mathbb{R}, L^2) \cap L^\infty(\dot{H}^1)$ を満たす。
• キリングベクトル場を用いて、$\partial_t f_X(u) = -\partial_k \langle X(u), \partial_k u \rangle$ を満たす保存量 $f_X(u)$ を定義し、SM系の発散型表現を可能にする。
• グローバルに滑らかなコロンブ・フレームの存在と、第一コhomology群の消滅を用いて、コンパクトなヘルミート対称多様体へのフレームワークの拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 低正則性データにおいて、ゲージ不変非線形シュレーディンガー方程式（GNLS）の解が元のシュレーディンガー写像（SM）系の解と同値となる条件は何か？
• RQ2 2次元空間において、有限エネルギー初期データをもつ $η^2$ へのシュレーディンガー写像に対してグローバル弱解を構成可能か？
• RQ3 第一コhomology群が自明なコンパクトなヘルミート対称多様体において、SM系を発散型に再定式化する方法は何か？
• RQ4 キリングベクトル場は、SM系における弱解の構成と保存則の保存にどのように寄与するか？
• RQ5 GNLS定式化は、目標多様体の幾何構造に依存せず、SM系を独立に解くためにどの程度利用可能か？

主な発見

• 本稿では、$d=1,2,3$ における臨界正則性領域 $\partial u \in H^{d/2 - 1}$ において、SMとGNLS解の同値性を証明し、ストリカルツ推移を用いて適切に定式化されていることを示す。
• $\mathbb{H}^2$ の場合、2次元空間においてグローバルな有限エネルギー弱解が存在し、$u \in C(\mathbb{R}, L^2) \cap L^\infty(\dot{H}^1)$ を満たすことが確立された。
• $\mathbb{S}^2$ の場合、$q \in L^2_{tx}$ かつ $|q|^2 \in L^2(H^{-1})$ の条件下で同値性が成立し、低正則性へのハシモト型変換の拡張が可能である。
• 第一コhomology群が自明なコンパクトなヘルミート対称多様体では、SM系は保存則系 $\partial_t f_{X_a}(u) = -\partial_k \langle X_a(u), \partial_k u \rangle$ と同値であり、弱解の構成が可能である。
• 定曲率設定下ではGNLS系が目標多様体 $u$ に依存せず、SM系への明示的参照なしに解を構成可能である。
• $\varepsilon$ と $\delta$ パラメータを用いた正則化アプローチにより、$H^1$ 内のグローバル解が得られ、極限 $\varepsilon \to 0$, $\delta \to 0$ においてSM系の弱解に収束し、エネルギーと保存則が保存される。