[論文レビュー] Global regularity of wave maps V. Large data local wellposedness and perturbation theory in the energy class

Terence Tao|ArXiv.org|Aug 4, 2008

Advanced Mathematical Physics Problems参考文献 21被引用数 23

ひとこと要約

本稿は、Tataruおよび著者の関数空間と調和写像熱流を用いて、2+1次元ミンコフスキー空間から双曲的空間への波マップのエネルギークラスにおける大規模データ局所的適切性を確立する。主な結果は、任意の有限エネルギー初期データに対する解の制御を可能にする連続的かつローレンツ不変なエネルギー空間の完備化である。

ABSTRACT

Using the harmonic map heat flow and the function spaces of Tataru and the author, we establish a large data local well-posedness result in the energy class for wave maps from two-dimensional Minkowski space $\R^{1+2}$ to hyperbolic spaces $\H^m$. This is one of the five claims required in an earlier paper in this series to prove global regularity for such wave maps.

研究の動機と目的

• R^{1+2}からH^mへの波マップのエネルギー空間H^1-dotにおける大規模データ局所的適切性を確立すること。
• 古典的データのローレンツ回転による同値関係での商空間としての完全な距離空間H^1-dotを構成すること。
• エネルギー汎関数がこの空間に連続的に拡張され、ローレンツ対称性に関して不変であることを証明すること。
• エネルギークラスにおける波マップの摂動理論フレームワークを構築し、小さなエネルギー摂動下での解の制御を可能にすること。
• 波マップのエネルギークラスにおける大域的正則性の証明に向けた基盤的ステップを提供すること、[24]における大規模プログラムの一環として。

提案手法

• 古典的データの空間Sをローレンツ群SO(m,1)で割った商空間SO(m,1)\Sの距離的完備化としてエネルギー空間H^1-dotを構成する。
• 調和写像熱流を用いてH^1-dotの構造を定義・解析し、エネルギー汎関数の完備性と連続性を保証する。
• 波マップの時間発展を制御するため、関数空間S_{μ,k}とN_kを用い、ストリッカーツ型および最大函数推定に基づくノルムを導入する。
• 周波数と時間におけるダイアディック分解を適用し、リトルウッド＝パイルの射影P_kを用いて周波数空間における局所化を実現する。
• ドミネートド収束定理と三角不等式の議論を用いて、時間スケーリングおよび極限過程におけるS_{μ,k}ノルムの連続性と消滅性を確立する。
• 補間とホルダーの不等式を用いて、波マップ成分およびその微分の積を含む非線形項を制御する。

実験結果

リサーチクエスチョン

• RQ1 R^{1+2}からH^mへの波マップのエネルギークラスにおける大規模データ局所的適切性を確立できるか？
• RQ2 波マップ方程式のローレンツ不変性を捉える完全な距離空間としてのエネルギー空間H^1-dotは、どのように構成できるか？
• RQ3 調和写像熱流は、古典的データ空間を連続的エネルギー空間へ完備化するために果たす役割は何か？
• RQ4 エネルギークラスにおける摂動理論は、小さなエネルギー摂動下での解の制御を可能にするようにどのように構築できるか？
• RQ5 時間スケーリングおよび極限過程におけるS_{μ,k}ノルムの連続性と消滅性は、どのように特定できるか？

主な発見

• エネルギー空間H^1-dotは、連続的かつローレンツ不変なエネルギー汎関数を持つ完全な距離空間として構成された。
• 空間H^1-dotは、商空間SO(m,1)\Sの距離的完備化と等長である。エネルギー汎関数はE(Φ) = d(Φ, const)^2を満たす。
• S_{μ,k}ノルムは時間に関して連続であり、時間区間がゼロに近づくと、周波数に一様に消滅する。
• S_{μ,k}およびN_kノルムの制御を通じて摂動理論が確立され、主要な推定はストリッカーツ型および最大函数推定に基づく。
• 周波数局所化データにドミネートド収束定理を適用することで、H^1-dotにおける解写像の連続性が証明された。
• 波マップおよびその波動方程式誤差のL^1_t L^∞_xおよびL^1_t L^2_xノルムの減衰性を用いて、S_{μ,k}ノルムの小時間における消滅性が確立された。