[论文解读] On the blowup and lifespan of smooth solutions to a class of 2-D nonlinear wave equations with small initial data

Jun Li, Ingo Witt+1 more|arXiv (Cornell University)|Oct 4, 2011

Advanced Mathematical Physics Problems参考文献 14被引用 4

一句话总结

本文建立了二维非线性波动方程光滑解在小初值条件下的有限时间爆破，推导出当 $ \varepsilon \to 0 $ 时寿命 $ T_\varepsilon $ 的显式渐近表达式。对于 $ c(u) = 1 + u + O(u^2) $，有 $ \varepsilon \sqrt{T_\varepsilon} \to \tau_0 $；对于 $ c(u) = 1 + u^2 + O(u^3) $，有 $ \varepsilon^2 \ln T_\varepsilon \to \nu_0 $，其中 $ \tau_0 $ 和 $ \nu_0 $ 依赖于初值的弗里德兰德辐射场。

ABSTRACT

We are concerned with a class of two-dimensional nonlinear wave equations $\p_t^2u-÷(c^2(u) a u)=0$ or $\p_t^2u-c(u)÷(c(u) a u)=0$ with small initial data $(u(0,x),\p_tu(0,x))=(\ve u_0(x), \ve u_1(x))$, where $c(u)$ is a smooth function, $c(0) ot =0$, $x\in\Bbb R^2$, $u_0(x), u_1(x)\in C_0^{\infty}(\Bbb R^2)$ depend only on $r=\sqrt{x_1^2+x_2^2}$, and $\ve>0$ is sufficiently small. Such equations arise in a pressure-gradient model of fluid dynamics, also in a liquid crystal model or other variational wave equations. When $c'(0) ot= 0$ or $c'(0)=0$, $c"(0) ot= 0$, we establish blowup and determine the lifespan of smooth solutions.

研究动机与目标

• 分析一类二维非线性波动方程在小初值条件下光滑解的寿命与爆破行为。
• 确定当 $ \varepsilon \to 0 $ 时寿命 $ T_\varepsilon $ 的精确渐近行为，该行为取决于 $ c(u) $ 的非线性结构。
• 证明当 $ c'(0) \neq 0 $ 或 $ c''(0) \neq 0 $ 时，在小初值条件下解会在有限时间内爆破。
• 将寿命与初值的弗里德兰德辐射场联系起来，为解的奇点形成提供物理与分析上的联系。
• 将高维中已知的爆破与寿命结果推广至临界二维情形，其中衰减与色散估计更弱。

提出的方法

• 分析带有小初值 $ (\varepsilon u_0, \varepsilon u_1) $ 的二维非线性波动方程 $ \partial_t^2 u - \text{div}(c^2(u)\nabla u) = 0 $，其中 $ u_0, u_1 \in C_0^\infty(\mathbb{R}^2) $ 为径向函数。
• 通过初值的Radon变换定义弗里德兰德辐射场 $ F_0(\sigma) $，将问题约化为沿射线的径向特征系统。
• 应用克莱纳曼-索博列夫不等式控制导数的点态衰减，并在径向设定下推导能量估计。
• 利用广义Gronwall不等式与ODE爆破准则（引理A.4），证明若辐射场非零，则解不可能全局存在。
• 通过分析解在特征线上的行为，并将爆破时间与 $ F_0' $ 或 $ F_0 F_0' $ 的最小值关联，推导出寿命的渐近表达式。
• 在 $ F_0' < 0 $、$ F_0'' > 0 $ 的区间上利用能量守恒与比较论证，若假设全局存在则导出矛盾。

实验结果

研究问题

• RQ1 对于小径向初值的二维非线性波动方程，光滑解的渐近寿命 $ T_\varepsilon $ 是什么？
• RQ2 非线性项 $ c(u) $，特别是当 $ c'(0) \neq 0 $ 或 $ c''(0) \neq 0 $ 时，如何影响爆破时间？
• RQ3 能否用初值的弗里德兰德辐射场显式表征寿命？
• RQ4 在何种条件下，即使初值很小，解也无法全局存在？
• RQ5 二维中的色散与衰减性质如何影响爆破机制，相较于高维情形有何不同？

主要发现

• 对于 $ c(u) = 1 + u + O(u^2) $，寿命满足 $ \lim_{\varepsilon \to 0} \varepsilon \sqrt{T_\varepsilon} = \tau_0 = -\frac{1}{2 \min_\sigma F_0'(\sigma)} $，其中 $ F_0 $ 为初值的弗里德兰德辐射场。
• 对于 $ c(u) = 1 + u^2 + O(u^3) $，寿命满足 $ \lim_{\varepsilon \to 0} \varepsilon^2 \ln T_\varepsilon = \nu_0 = -\frac{1}{2 \min_\sigma \{ F_0(\sigma) F_0'(\sigma) \}} $。
• 若 $ u_0 \not\equiv 0 $ 或 $ u_1 \not\equiv 0 $，则光滑解在有限时间内爆破，原因在于非零辐射场 $ F_0 $ 及其在无穷远处的衰减。
• 爆破机制由初始数据紧支集发出的特征线上能量集中驱动，爆破时间由 $ F_0' $ 或 $ F_0 F_0' $ 的最小值决定。
• 若 $ c(u) = 1 + O(u^3) $，则方程存在全局光滑解，表明在二维情形下 $ u^2 $-非线性为爆破的临界项。
• 证明依赖于反证法，结合能量守恒与解在特征线上的行为，表明 $ Q(\tau, l) \to -\infty $ 与 $ F_0' $ 的凸性矛盾。