[论文解读] 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系统解的有界性和稳定性也足以保证对应波系统的全局存在性。
• 为物理上相关的系统（如爱因斯坦方程）提供一个通用框架，这些系统不满足经典结构性条件，但仍存在全局解。
• 表明源自有限维李群上左不变哈密顿流的渐近系统满足新条件，从而扩展了适用范围。

提出的方法

• 将渐近系统定义为通过沿向外传播的类光射线分离主导非线性项后，从波方程导出的一阶非线性ODE系统。
• 提出一个新充分条件：在小初值下，渐近系统解的有界性，以及对快速衰减扰动的稳定性。
• 在有限维李群在单位元处的余切空间上采用哈密顿形式，以建模渐近系统，其中非线性项为二次型。
• 证明若哈密顿量正定且系统在左平移下不变，则渐近系统满足有界性和稳定性条件。
• 利用能量估计和Gronwall型论证，仅依赖渐近系统的行为，控制全波系统解的增长。
• 通过一个基于渐近系统有界性和稳定性的Bootstrap论证，控制波方程中非线性相互作用，从而建立全局存在性。

实验结果

研究问题

• 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} $，从而确认了渐近系统在扰动下的稳定性。