[論文レビュー] The weak null condition and global existence using the p-weighted energy method

Joseph Keir|arXiv (Cornell University)|Aug 29, 2018

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

ひとこと要約

本稿は、動的幾何に適応された一般化されたp重み付きエネルギー法を用いて、準線形波動方程式が弱いゼロ条件を満たし、半線形項に階層的構造を持つ場合のグローバル存在を確立する。非有界な劣化エネルギーを伴う小刻みな初期データに対してもグローバル解が存在することを示し、null無限遠で衝撃波形成が生じることを示す。ミンコフスキー空間の安定性に対する新しい証明を提供し、アインシュタイン＝マクスウェル系やゼロ条件を満たさないスカラー模型への応用も拡張する。

ABSTRACT

We prove global existence for solutions arising from small initial data for a large class of quasilinear wave equations satisfying the `weak null condition' of Lindblad and Rodnianski, significantly enlarging upon the class of equations for which global existence is known. In addition to the usual weak null condition, we require a certain hierarchical structure in the semilinear terms. Included in this class are the Einstein equations in harmonic coordinates, so a special case of our results is a new proof of the stability of Minkowski space. Our proof also applies to the coupled Einstein-Maxwell system in harmonic coordinates and Lorenz gauge, as well as to various model scalar wave equations which do not satisfy the null condition. Our proof also applies to the Einstein(-Maxwell) equations if, after writing the equations as a set of nonlinear wave equations, we then `forget' about the gauge conditions. The methods we use allow us to treat initial data which only has a small `degenerate energy', involving a weight that degenerates at null infinity, so the usual (unweighted) energy might be unbounded. We also demonstrate a connection between the weak null condition and geometric shock formation, showing that equations satisfying the weak null condition can exhibit `shock formation at infinity', of which we provide an explicit example. The methods that we use are very robust, including a generalisation of the p-weighted energy method of Dafermos and Rodnianski, adapted to the dynamic geometry. This means that our proof applies in a wide range of situations, including those in which the metric remains close to, but never approaches the flat metric in some spatially bounded domain, and those in which the `geometric' null infinity and the `background' null infinity differ dramatically, for example, when the solution exhibits shock formation at null infinity.

研究の動機と目的

• 弱いゼロ条件を満たし、階層的半線形構造を持つ準線形波動方程式のグローバル存在を確立すること。
• 動的幾何に適応したp重み付きエネルギー法を拡張し、null無限遠で劣化エネルギーを持つ解の取り扱いを可能にすること。
• 弱いゼロ条件を満たす方程式が、小刻みな初期データでさえも、null無限遠で衝撃波形成を示すことを実証すること。
• 本フレームワークを用いてミンコフスキー空間の安定性に対する新しい証明を提供すること。
• 調和座標とローレンツゲージにおけるアインシュタイン＝マクスウェル系、およびゼロ条件を満たさないスカラー模型へのこの手法の一般化すること。

提案手法

• ジオメトリックコンミュータとフォリエーションを用いて、ダフェルモスとロドニアンスキーのp重み付きエネルギー法を動的幾何に一般化すること。
• 非線形相互作用を制御し、正則性の損失を回避するために、半線形項に階層的構造を導入すること。
• エイコナル量と逆フォリエーション密度の輸送方程式を用いて、幾何的進化を追跡すること。
• 鋭いモラウェッツ型推移を用いて、null無限遠方向への遅い減衰を制御し、エネルギーの減衰を保証すること。
• r = 0近傍で楕円的推移を用い、時間微分の改善された減衰推移を用いて正則性を維持すること。
• コンパクトな台を持つ小振幅の初期データを構成し、無限遠での衝撃波形成を示すこと。

実験結果

リサーチクエスチョン

• RQ1 p重み付きエネルギー法を、弱いゼロ条件を満たし、階層的半線形構造を持つ準線形波動方程式のグローバル存在を証明するために拡張可能か？
• RQ2 弱いゼロ条件を満たす系が、小刻みな初期データでさえも、null無限遠で衝撃波形成を示すか？
• RQ3 初期データがゲージ条件を満たさない場合でも、調和座標におけるアインシュタイン方程式にこの手法を適用可能か？
• RQ4 標準エネルギーが有界でない場合、劣化エネルギーがグローバル存在を制御する役割は何か？
• RQ5 弱いゼロ条件における非線形相互作用は、線形の場合と比較して、どのように異なる漸近的減衰率を引き起こすか？

主な発見

• 通常の（重みなし）エネルギーが有界でない場合でさえも、弱いゼロ条件を満たし、階層的半線形構造を持つ大規模な準線形波動方程式のクラスに対してグローバル存在が確立された。
• 本手法により、調和座標におけるアインシュタイン方程式のグローバル存在が新しく証明され、ミンコフスキー空間の安定性に対する新たな証明が得られた。
• 初期データが小さいにもかかわらず、null無限遠で衝撃波形成を示す具体的な例が構成された。µ → 0 が r → ∞ で成り立つ（ϵ > 0）。
• ˜□gφ₂ = (Tφ)² を満たす第二の場 φ₂ に対して、微分 Lφ₂ は (1/r) log(r/r₀) のように減衰し、線形系の 1/r 減衰とは逸脱する。
• ˜□gφ₃ = (Tφ)(Tφ₃) を満たす第三の場 φ₃ に対して、微分 Lφ₃ は (r₀/r)^{1/4} ϵ のように減衰し、非線形的漸近的挙動を示す。
• 逆フォリエーション密度 µ は µ ≤ e^{˜Cϵ} (r₀/r)^{½ϵr₀} を満たし、任意の ϵ > 0 に対して r → ∞ のとき 0 に近づくため、無限遠での衝撃波形成が確認された。