[论文解读] 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无穷远处形成冲击波的现象——提供了Minkowski时空稳定性的新证明，并将该方法推广至爱因斯坦-麦克斯韦系统及不满足零条件的标量模型。

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.

研究动机与目标

• 建立满足弱零条件且具有层级半线性结构的拟线性波方程的全局存在性。
• 将Dafermos与Rodnianski的p加权能量法推广至动态几何，通过几何共轭算子与叶状结构实现。
• 证明满足弱零条件的方程即使在小初值下，也能在null无穷远处形成冲击波。
• 利用该框架为Minkowski时空的稳定性提供新证明。
• 将该方法推广至谐和坐标下的爱因斯坦-麦克斯韦系统及洛伦兹规范下的系统，并适用于违反零条件的标量模型。

提出的方法

• 通过几何共轭算子与叶状结构，将Dafermos与Rodnianski的p加权能量法推广至动态几何。
• 在半线性项中引入层级结构，以控制非线性相互作用并避免正则性损失。
• 利用特征量与反叶状密度的传输方程，追踪几何演化。
• 应用精确的Morawetz型估计，控制向null无穷远处的缓慢衰减，确保能量衰减。
• 在r = 0附近使用椭圆估计，结合时间导数的改进衰减估计，以维持正则性。
• 构造具有紧支集与小振幅的初值，以展示在无穷远处形成冲击波。

实验结果

研究问题

• RQ1 p加权能量法能否被推广，以证明满足弱零条件且具有层级半线性结构的拟线性波方程的全局存在性？
• RQ2 即使初值很小，弱零条件是否仍允许在null无穷远处形成冲击波？
• RQ3 该方法能否应用于谐和坐标下的爱因斯坦方程，即使初值不满足规范条件？
• RQ4 当标准能量无界时，退化能量在控制全局存在性中起什么作用？
• RQ5 弱零条件下的非线性相互作用如何导致与线性情况不同的渐近衰减率？

主要发现

• 即使通常（无权重）能量无界，该方法仍为一大类满足弱零条件且具有层级半线性结构的拟线性波方程建立了全局存在性。
• 该方法为谐和坐标下的爱因斯坦方程提供了新的全局存在性结果，从而为Minkowski时空的稳定性提供了新证明。
• 构造了显式例子，显示解在null无穷远处形成冲击波，且当r → ∞时µ → 0（对任意ϵ > 0），尽管初值很小。
• 对于满足˜□gφ₂ = (Tφ)²的第二个场φ₂，其导数Lφ₂的衰减行为为(1/r) log(r/r₀)，偏离了线性情况的1/r衰减。
• 对于满足˜□gφ₃ = (Tφ)(Tφ₃)的第三个场φ₃，其导数Lφ₃的衰减行为为(r₀/r)^{1/4} ϵ，表现出非线性渐近行为。
• 反叶状密度µ满足µ ≤ e^{˜Cϵ} (r₀/r)^{½ϵr₀}，当r → ∞时对任意ϵ > 0均有趋于零，从而确认了在无穷远处形成冲击波。