[论文解读] Global Well-posedness and Scattering of Defocusing Energy subcritical Nonlinear Wave Equation in dimension 3 with radial data

Ruipeng Shen|arXiv (Cornell University)|Nov 9, 2011

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

一句话总结

该论文在临界范数一致有界的假设下，建立了三维空间中径向初值在 $\hat{H}^s \times \dot{H}^{s-1}$ 空间下、$s > 15/16$ 的非线性波动方程的全局适定性与散射性。证明依赖于集中紧致性方法、改进的局部估计以及通过尺度函数 $Q(T)$ 增长的矛盾论证，最终表明由于加权 $L^{p+2}$ 范数的上下界冲突，有限时间爆破不可能发生。

ABSTRACT

The paper deals with the defocusing case of the energy subcritical non-linear wave equation in $R^3$. We assume the initial data is in the space $\dot{H}^s imes \dot{H}^{s-1}$ and radial. If $s=1$, this is the energy space and the scattering results are known. In this paper we choose $15/16

研究动机与目标

• 在 $\mathbb{R}^3$ 中，针对 $s > 15/16$ 的径向初值属于 $\dot{H}^s \times \dot{H}^{s-1}$ 空间，建立非聚焦能量次临界非线性波动方程的全局存在性与散射性。
• 通过假设在最大寿命区间 $I$ 上临界范数 $\|u\|_{S(I)}$ 一致有界，解决当 $s < 1$ 时能量不守恒的问题。
• 通过假设尺度函数 $Q(T)$ 的增长导出矛盾，证明解不会在有限时间内爆破。
• 通过克服能量不守恒的问题，利用改进的局部估计与扰动估计，将散射理论推广至能量次临界情形。

提出的方法

• 采用集中紧致性策略：假设全局适定性不成立，则存在一个临界范数的极小爆破解。
• 在 $s \in [15/16, 1)$ 情形下，于 $\dot{H}^s \times \dot{H}^{s-1}$ 框架中使用广义 Strichartz 估计。
• 应用长时间扰动理论，控制接近小初值参考解的解。
• 引入一个尺度函数 $Q(T)$，用于统计解集中出现的 dyadic 时间区间，利用有限传播速度将之与模型解进行比较。
• 通过局部紧致性与锥体 $\Omega_R$ 内的方块分解，推导出 $\int\!\!\int_{\Omega_R} \frac{|u|^{p+2}}{|x|} dx dt$ 的下界。
• 利用扰动解 $\tilde{u}$ 的有限能量结构推导上界，当与下界结合时，导致矛盾。

实验结果

研究问题

• RQ1 当 $s > 15/16$ 且能量不守恒时，能否在 $\mathbb{R}^3$ 中建立非聚焦能量次临界波动方程的全局适定性与散射性？
• RQ2 若 $\dot{H}^s \times \dot{H}^{s-1}$ 范数在解的最大寿命内一致有界但能量不守恒，解的寿命会发生什么变化？
• RQ3 能否从度量解集中程度的尺度函数 $Q(T)$ 的增长中导出矛盾？
• RQ4 有限传播速度如何帮助在锥体 $\Omega_R$ 中将解与模型解进行比较？
• RQ5 临界尺度 $\lambda(t)^{2-2s}$ 在加权 $L^{p+2}$ 范数的下界中起什么作用？

主要发现

• 当 $s > 15/16$ 时，任何在最大寿命区间 $I$ 上 $\dot{H}^s \times \dot{H}^{s-1}$ 范数一致有界的径向解均为全局解，即 $I = \mathbb{R}$。
• 解在散射意义下成立：存在渐近态 $(u_0^\pm, u_1^\pm) \in \dot{H}^s \times \dot{H}^{s-1}$，使得当 $t \to \pm\infty$ 时，有 $\|u(t) - S(t)(u_0^\pm, u_1^\pm)\|_{\dot{H}^s \times \dot{H}^{s-1}} \to 0$。
• 尺度函数 $Q(T)$（统计集中出现的 dyadic 时间区间）在 $T$ 上至多线性增长，但若其增长快于任意幂次，则因下界的 $\kappa^n$ 型增长将导致矛盾。
• 矛盾来源于下界 $\eta_0 Q(R/C_2)$ 与上界 $C_u Q(100R)^{16(1-s)}$ 的结合，其中当 $s > 15/16$ 时 $16(1-s) < 1$，导致超指数增长，违反线性上界。
• 假设 $Q(T) \to \infty$ 导致 $Q(C_3^n R_2) \geq Q(R_2)^{\kappa^n}$，这与大 $n$ 时的线性增长估计 $Q(T) \leq T/d + 1$ 矛盾。
• 因此，解不可能在有限时间内爆破，且一致有界性条件蕴含全局存在性与散射性。