[論文レビュー] Schroedinger flow into almost Hermitian manifolds

Hiroyuki Chihara|ArXiv.org|Jul 22, 2008

Geometry and complex manifolds参考文献 9被引用数 4

ひとこと要約

この論文は、コンパクトなほぼヘルミート多様体へのスホーディンガー写像の短時間存在定理を確立し、非平行なほぼ複素構造に起因する1階微分の損失を、楕円性を回復する有界な擬微分作用素を導入することで克服する。主な貢献は、古典的なエネルギー法が失敗する一般の幾何的条件下でも、厳密な存在証明がなされたことである。

ABSTRACT

We present a short-time existence theorem of solutions to the initial value problem for Schroedinger maps of a closed Riemannian manifold to a compact almost Hermitian manifold. The classical energy method cannot work for this problem since the almost complex structure of the target manifold is not supposed to be parallel with respect to the Levi-Civita connection. In other words, a loss of one derivative arises from the covariant derivative of the almost complex structure. To overcome this difficulty, we introduce a bounded pseudodifferential operator acting on sections of the pullback bundle, and essentially eliminate the loss of one derivative from the partial differential equation of the Schroedinger map.

研究の動機と目的

• コンパクトなほぼヘルミート多様体へのスホーディンガー写像の初期値問題に対する解の短時間存在を確立すること。
• 被覆多様体上の非平行なほぼ複素構造に起因するエネルギー法における1階微分の損失を解消すること。
• 従来の結果が曲率や対称性の仮定に依存するKähler型の被覆多様体を超えて、存在理論を拡張すること。
• 非可積分的なほぼ複素構造をもつ多様体上での幾何的スホーディンガー方程式の一般枠組みを提供すること。

提案手法

• 接続されたバンドル上のセクションに作用する有界な擬微分作用素を導入し、ほぼ複素構造の共変微分に起因する微分の損失を制御すること。
• 移動枠構成と局所座標表現を用いて、写像 u に対する擬線形スホーディンガー系を導出すること。
• 2つの解の差に対する部分積分を用いたエネルギー推定を適用し、一意性を証明すること。
• 弱*収束と L2 範囲の下方連続性を活用して、高階のソボレフノルムの時間連続性を確立すること。
• 平均値の定理を用いて、ほぼ複素構造およびその微分を含む非線形項を推定すること。
• 楕円的正則化と事前推定を組み合わせ、H^{2k} ソボレフ空間内での存在を証明すること。

実験結果

リサーチクエスチョン

• RQ1 ほぼ複素構造がリーマン接続に関して非平行である場合、ほぼヘルミート多様体へのスホーディンガー写像の短時間存在は確立可能か？
• RQ2 非平行なほぼ複素構造に起因するエネルギー法における1階微分の損失を克服するための技法は何か？
• RQ3 曲率や対称性の仮定が解析を簡略化するKähler型の被覆多様体を超えて、存在理論を一般化することは可能か？
• RQ4 擬微分作用素は、幾何的非線形性をもつ擬線形スホーディンガー系において、どのように楕円性を回復するか？
• RQ5 被覆多様体がKählerでない場合、ソボレフ空間内での解の正則性および時間連続性はどのように保証されるか？

主な発見

• 閉じたリーマン多様体からコンパクトなほぼヘルミート多様体へのスホーディンガー写像の短時間存在定理が確立された。
• 非平行なほぼ複素構造に起因する1階微分の損失は、引き戻しバンドル上に作用する有界な擬微分作用素によって解消された。
• 2つの解の差に対するエネルギー推定と部分積分を用いて、H^{2k} 内での解の一意性が証明された。
• 解は H^{2k-1} に値をとる時間連続性と、H^{2k} において弱*連続性を示し、正則性と安定性が保証された。
• 弱*収束と L2 範囲の下方連続性を活用して、高階のソボレフノルムの時間連続性が確立された。
• 本手法は、ユークリッド空間やKähler多様体に限定されない、一般の閉じたリーマン多様体およびコンパクトなほぼヘルミート被覆多様体に適用可能であり、従来の結果を拡張した。