[論文レビュー] Global existence for systems of nonlinear wave equations with bounded, stable asymptotic systems

Joseph Keir|arXiv (Cornell University)|Jun 4, 2019

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

ひとこと要約

本稿は、非線形波動方程式系の小データ全局解の存在を保証するための新しい十分条件を確立する。その条件とは、関連する漸近的ODE系の有界かつ安定な解である。従来の非線形項に関する構造的仮定を緩和することで、著者らは非線形項の構造に依存しない、有界性と安定性のみを用いて小データ全局解を証明する。これは、有限次元リー群上の左不変ハミルトニアン系に従う漸近的系をもつ波動方程式へ一般化された結果を含む。

ABSTRACT

Some systems of nonlinear wave equations admit global solutions for all sufficiently small initial data, while others do not. The (classical) null condition guarantees that such a result holds, but it is too strong to capture certain systems -- most famously the Einstein equations -- which nevertheless admit global solutions for small initial data. The weak null condition has been proposed as a sufficient condition for such a result to hold; it takes the form of a condition on a related set of nonlinear ODEs known as the "asymptotic system". Previous results in this direction have required certain structural conditions on the asymptotic system in addition to the weak null condition. In this work we show that, if the solutions to the asymptotic system are bounded (given small initial data), and, in addition, if these solutions are stable against rapidly decaying perturbations, then the corresponding system of nonlinear wave equations admits global solutions for all sufficiently small initial data. This avoids any direct assumptions on the structure of the nonlinear terms. We also give an example of a class of systems obeying this condition but not obeying previously identified structural conditions. For this class the asymptotic system arises as a generalisation of the "Euler equations" for rigid body motion, associated with a left-invariant Hamiltonian flow on a finite dimensional Lie group. This work relies heavily on the author's previous work, "The weak null condition and global existence using the p-weighted energy method".

研究の動機と目的

• 非線形波動方程式系の小データ解の全局存在を保証する最小限の、構造的自由な条件を同定すること。
• 従来の条件（例えば、ノルム条件や階層的弱ノルム条件）の制限を克服すること。これらは非線形項の構造に制限的な仮定を課える。
• 従来の構造的条件が成立しない場合でも、漸近的ODE系の解の有界性と安定性が、波動系の全局存在を保証するのに十分であることを示すこと。
• 物理的に重要な系（例えば、アインシュタイン方程式）に一般化可能な枠組みを提供すること。これらは古典的構造的条件を満たさないが、依然として全局解をもつ。
• リー群上での左不変ハミルトニアン系に由来する漸近的系が、新しい条件を満たすことを示し、適用範囲を拡張すること。

提案手法

• 波動方程式から、進行する光円錐に沿った主要な非線形項を分離することで、漸近的系を1階非線形ODE系として定義する。
• 新しい十分条件を導入する：小初期データ下での漸近的系の解の有界性、および急激に減衰する摂動に対しての安定性。
• 有限次元リー群の単位元における余接空間上でハミルトニアン形式を用い、二次非線形項をもつ漸近的系をモデル化する。
• ハミルトニアンが正定値であり、かつ左移動に対して不変である場合、漸近的系が有界性と安定性条件を満たすことを証明する。
• エネルギー推定とグローヴァル型の議論を用いて、全波動系の解の成長を制御し、漸近的系の挙動のみに依存する。
• 漸近的系の有界性と安定性を用いて波動方程式内の非線形相互作用を制御するブートストラップ法により、全局存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 非線形項の構造的仮定を課さずに、非線形波動方程式系の小データ解の全局存在を保証できるか？
• RQ2 漸近的ODE系の解の有界性と安定性が、対応する波動系の全局存在を保証するのに十分か？
• RQ3 リー群上での左不変ハミルトニアン系に由来する漸近的系を持つ系が、新しい条件を満たし、したがって全局解をもつか？
• RQ4 古典的ノルム条件を満たさないが、依然として全局解をもつ波動座標系におけるアインシュタイン方程式のような系が、新しい条件を捉えられるか？
• RQ5 弱ノルム条件を越えて、全局存在を保証するための漸近的系の最小要件は何か？

主な発見

• 本稿は、非線形波動方程式系の小データ解の全局存在を保証する新しい十分条件を確立した：漸近的ODE系の有界性と安定性。
• この条件は、階層的弱ノルム条件などに見られるように、非線形項に構造的仮定を必要としない。従って、従来の結果を一般化する。
• 有限次元リー群上での左不変ハミルトニアン系に従う漸近的系を持つ系は、従来の構造的要件を満たさない場合でも、新しい条件を満たす。
• リー群に基づくモデルの漸近的系は、小初期データおよび急激に減衰する摂動に対して、有界かつ安定であることが示された。
• 形 $ \frac{d}{ds}y_a = C^c_{ba} \tilde{H}^{bd} y_c y_d $ の漸近的系をもつ波動方程式のクラスについて、すべての十分に小さな初期データに対して全局解が存在することを証明した。ここで $ \tilde{H} $ は正定値である。
• ハミルトニアンノルムの時間的変化の上界が $ \lesssim \epsilon \delta^{-1} $ であることが示され、摂動下での漸近的系の安定性が確認された。