[论文解读] Decay estimates for nonradiative solutions of the energy-critical focusing wave equation

Thomas Duyckaerts, Carlos E. Kenig+1 more|arXiv (Cornell University)|Dec 16, 2019

Advanced Mathematical Physics ProblemsMathematics参考文献 25被引用 18

一句话总结

本文建立了奇数空间维数 $N \geq 3$ 下能量临界聚焦波动方程的径向非辐射解的精确衰减速率估计。通过利用奇数维中线性波动方程非辐射解的表征，作者证明此类解在空间无穷远处必须表现出特定的渐近行为，这对证明径向奇数维情形下的孤立子分解猜想至关重要。关键结果是将非辐射解分类为零解或基态 $W$ 的常数倍，将此前在 $N=3$ 时的结果推广至所有奇数 $N$。

ABSTRACT

Consider the energy-critical focusing wave equation in space dimension $N\\geq 3$. The equation has a nonzero radial stationary solution $W$, which is unique up to scaling and sign change. It is conjectured (soliton resolution) that any radial, bounded in the energy norm solution of the equation behaves asymptotically as a sum of modulated $W$s, decoupled by the scaling, and a radiation term. A nonradiative solution of the equation is by definition a solution whose energy in the exterior $\\{|x|>|t|\\}$ of the wave cone vanishes asymptotically as $t\ o +\\infty$ and $t\ o -\\infty$. In a previous work (Cambridge Journal of Mathematics 2013, arXiv:1204.0031), we have proved that the only radial nonradiative solutions of the equation in three space dimensions are, up to scaling, $0$ and $\\pm W$. This was crucial in the proof of soliton resolution in 3 space dimension. In this paper, we prove that the initial data of a radial nonradiative solution in odd space dimension have a prescribed asymptotic behaviour as $r\ o \\infty$. We will use this property for the proof of soliton resolution, for radial data, in all odd space dimensions. The proof uses the characterization of nonradiative solutions of the linear wave equation in odd space dimensions obtained by Lawrie, Liu, Schlag and the second author (Advances in Mathematics, 2015, arXiv:1409.3643) . We also study the propagation of the support of nonzero radial solutions with compactly supported initial data, and prove that these solutions cannot be nonradiative.

研究动机与目标

• 建立奇数空间维数 $N \geq 3$ 下能量临界聚焦波动方程的径向非辐射解的渐近行为。
• 将非辐射解的分类结果从 $N=3$ 推广至所有奇数维，建立在三维情形已有结果的基础上。
• 为非辐射解的初始数据提供衰减速率估计，表明其在空间无穷远处必须以特定速率衰减。
• 利用这些衰减速率估计，支持径向有界能量解在奇数维下孤立子分解猜想的证明。
• 证明具有紧支集初始数据的解不可能是非辐射解，通过建立其外部能量的统一下界。

提出的方法

• 以 Lawrie、Liu、Schlag 和 Kenig 在 [15] 中建立的奇数维中线性波动方程非辐射解的表征为基本工具。
• 应用谱分解与外部能量估计，分析能量空间 $\mathcal{H}_{\text{rad}}$ 中解的长时间行为。
• 通过分析解在球谐函数与径向模态展开下的渐近展开，推导出非辐射解初始数据的衰减速率估计。
• 利用有限传播速度与径向 Sobolev 不等式，控制外部区域中非线性项 $|u|^{\frac{4}{N-2}}u$ 的增长。
• 通过反证法建立具有紧支集初始数据的解的外部能量下界，表明其不能在渐近下趋于零。
• 采用带几何增长序列的递推不等式方法（附录 A），控制渐近展开中系数的增长，证明一致衰减速率。

实验结果

研究问题

• RQ1 在奇数空间维数 $N \geq 3$ 下，能量临界聚焦波动方程的径向非辐射解的渐近行为是什么？
• RQ2 非辐射解的初始数据在奇数维中空间无穷远处如何衰减？
• RQ3 具有紧支集初始数据的解能否是非辐射解？这对其外部能量施加了何种约束？
• RQ4 非辐射解被分类为 $0$ 或 $\pm W$ 的结论是否可从 $N=3$ 推广至所有奇数维？
• RQ5 非辐射解的衰减速率估计在径向有界能量解的孤立子分解猜想证明中起什么作用？

主要发现

• 在奇数空间维数 $N \geq 3$ 下，能量临界聚焦波动方程的径向非辐射解的初始数据在无穷远处必须以 $r^{-k_{0}+\frac{1}{2}}$ 的速率衰减，其中 $k_0$ 是由解的频率内容决定的整数。
• 渐近衰减速率 $k_0$ 在时间上保持不变，且首项系数 $\ell(T)$ 满足 $\ell(T) = \ell(0)$，表明首项具有精确的守恒律。
• 奇数维中的非辐射解被分类为恒等于零或基态 $W$ 的常数倍，将 $N=3$ 时的结果推广至所有奇数 $N$。
• 任何具有紧支集初始数据的径向解都不可能是非辐射解，因其在所有时间上满足外部能量的统一正下界。
• 此类解的外部能量在所有 $t$ 上保持远离零，满足 $\int_{R+|t|}^{\infty} |\nabla_{t,x}u(t,x)|^2 r^{N-1} dr \geq \frac{1}{8} \int_R^\infty |\nabla_{t,x}u(0,x)|^2 r^{N-1} dr > 0$，其中 $R < \rho_0$。
• 通过几何增长的递推估计，作者证明非辐射解渐近展开中的系数至多以 $C r^n$ 或 $C q^n$ 的形式增长（取决于参数），从而确保一致控制。