[论文解读] Inward/outward Energy Theory of Wave Equation in Higher Dimensions

Ruipeng Shen|arXiv (Cornell University)|Dec 5, 2019

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

一句话总结

该论文将三维情形下的向内/向外能量理论与加权Morawetz估计推广至更高维度，适用于能量次临界区域的非聚焦波动方程。通过引入一种新颖的能量分解与通量分析，作者在初始数据满足衰减条件时证明了解的散射性，建立了在临界与能量空间中全局存在性及渐近收敛至线性波动行为的结果。

ABSTRACT

We consider the semi-linear, defocusing wave equation $\partial_t^2 u - Δu = -|u|^{p-1} u$ in $\mathbb{R}^d$ with $1+4/(d-1)\leq p < 1+4/(d-2)$. We generalize the inward/outward energy theory and weighted Morawetz estimates in 3D to higher dimensions. As an application we show the scattering of solutions if the energy of initial data decays at a certain rate as $|x| ightarrow \infty$.

研究动机与目标

• 将三维情形下的向内/向外能量理论与加权Morawetz估计推广至更高维波动方程。
• 在初始数据满足衰减条件时，证明当 d ≥ 4 时非聚焦波动方程的散射性。
• 将紧致性-刚性框架的适用范围扩展至更高维度中的能量次临界、超共形非线性项。
• 在指定衰减条件下，证明解在临界Sobolev空间 $\dot{H}^{s_p} \times \dot{H}^{s_p-1}$ 中于正向与负向时间方向均发生散射。

提出的方法

• 基于径向导数与时间导数，提出一种广义的向内/向外能量分解，适用于更高维度。
• 通过超曲面定义这些能量的通量，以推导加权Morawetz型估计。
• 利用Strichartz估计与分数阶链式法则，控制混合范数Lebesgue空间中的非线性项。
• 在时间上应用连续性论证，以有界初始数据的衰减为条件，控制解的Strichartz范数。
• 通过能量空间与临界Sobolev空间之间的插值，建立中间正则性空间中的散射性。
• 利用波动方程的时间可逆性，将散射结果推广至负时间方向。

实验结果

研究问题

• RQ1 非聚焦波动方程在超共形、能量次临界非线性项下，其向内/向外能量理论能否从三维推广至更高维度？
• RQ2 在 d ≥ 4 时，初始数据的何种衰减速率可确保在能量次临界区域中实现散射？
• RQ3 如何将加权Morawetz估计推广至更高维度，以控制解的空间衰减？
• RQ4 在给定衰减假设下，使散射性证明成立的最优可允许Strichartz对是什么？
• RQ5 在相同衰减条件下，能量空间中的散射是否蕴含临界Sobolev空间中的散射？

主要发现

• 向内/向外能量理论成功推广至所有 d ≥ 4 维，适用于非聚焦波动方程，其中 $1 + \frac{4}{d-1} \leq p < 1 + \frac{4}{d-2}$。
• 在更高维度中建立了加权Morawetz估计，得到如下界：$\int_{-\infty}^{\infty} \int_{{\mathbb{R}}^d} (|t| + |x|)^\kappa \left( \frac{|\not\nabla u|^2}{|x|} + \frac{|u|^{p+1}}{|x|} \right) dx dt \lesssim E_\kappa(u_0,u_1)$，其中 $0 < \kappa < 1$。
• 若初始数据满足 $\int_{{\mathbb{R}}^d} |x|^\kappa (|\nabla u_0|^2 + |u_1|^2 + |u_0|^{p+1}) dx < \infty$，则解在能量空间 $\dot{H}^1 \times L^2$ 中发生散射，其中 $\kappa \in (0,1)$。
• 通过能量空间与临界空间之间的插值，建立了在临界Sobolev空间 $\dot{H}^{s_p} \times \dot{H}^{s_p-1}$ 中的散射性。
• 证明依赖于对Strichartz范数的时间连续性论证，该范数在衰减假设下保持有界，从而确保全局存在性与散射性。
• 最优Strichartz对被确定为 $ (q_1,r_1) = \left( \frac{p+1}{\kappa_0(d,p)}, p+1 \right) $ 与 $ (q_2,r_2) = \left(2, \frac{2d}{d-3}\right) $，从而支持证明中的关键估计。