[论文解读] Generic ill-posedness for wave equation of power type on 3D torus

Bo Xia|arXiv (Cornell University)|Jul 26, 2015

Advanced Mathematical Physics Problems参考文献 3被引用 8

一句话总结

本文在超临界 Sobolev 族 $ s < \frac{3}{2} - \frac{2}{p-1} $ 下，针对三维环面上的聚焦型幂次非线性波方程，建立了通用不适定性。证明了导致不适定解的初值集合在 $ \mathcal{H}^s(\mathbb{T}^3) $ 中是稠密的。此外，进一步表明 [2] 和 [12] 中通过概率方法构造的解，无法通过初值的标准正则化过程恢复，因为此类近似在 $ C(\mathbb{R}; \mathcal{H}^s) $ 中对一般初值不收敛。

ABSTRACT

In this article, we prove that the equation \begin{equation*} \left\{\begin{split} &amp;(\partial^2_t-Δ)u+|u|^{p-1}u=0,\ \ \ 3\leq p&lt;5 &amp;\big(u(0),\partial_tu(0)\big)=(u_0,u_1)\in H^{s}(\mathbb{T}^3) imes H^{s-1}(\mathbb{T}^3)=:\mathcal{H}^s(\mathbb{T}^3) \end{split} ight. \end{equation*} with $s

研究动机与目标

• 研究三维环面上的幂次型波方程 $ (\partial_t^2 - \Delta)u + |u|^{p-1}u = 0 $ 在超临界 Sobolev 族 $ s < \frac{3}{2} - \frac{2}{p-1} $ 下的适定性。
• 确定 [2] 和 [12] 中通过概率方法构造的解，是否可作为初值正则化后解列的极限被恢复。
• 建立导致不适定性的初值集合在 $ \mathcal{H}^s(\mathbb{T}^3) $ 中的稠密性，表明不适定性具有普遍性。
• 分析在标准正则化下初始数据连续依赖性失效的行为，特别关注有限传播速度与分形 Sobolev 范数的关联。

提出的方法

• 通过谱截断 $ \chi(2^{-|n|}|\Delta|) $ 构造光滑初值序列 $ (u_{0,n}, u_{1,n}) $，其中 $ \chi $ 为径向截断函数。
• 分析差值 $ w_n = v - v_n $，其中 $ v_n $ 为正则化初值对应的解，并在 $ H^s \times H^{s-1} $ 中导出 $ w_n $ 的能量估计。
• 利用有限传播速度与传播区域的不相交性，将解在 $ H^s $-范数上的增长局部化至局部初值。
• 应用引理 5.5，证明 $ \| \psi_n V(\lambda \phi_n) \|_{H^s} \gtrsim \lambda^s $，从而建立高度振荡初值下解的 $ H^s $-范数下界。
• 结合能量估计与插值及对数增长，证明 $ \| w_n \|_{C(\mathbb{R}; \mathcal{H}^s)} \to 0 $ 仅当 $ s > \frac{3}{2} - \frac{2}{p-1} $ 成立，否则误差保持较大。
• 利用有界区域上的 Sobolev-Slobodeckij 特征刻画，控制在集合 $ K_{n_k} $ 上的 $ H^s $-范数，借助传播区域的不相交性。

实验结果

研究问题

• RQ1 在 $ \mathbb{T}^3 $ 上，波方程 $ (\partial_t^2 - \Delta)u + |u|^{p-1}u = 0 $ 对于 $ \mathcal{H}^s(\mathbb{T}^3) $ 中的初值是否适定，当 $ s < \frac{3}{2} - \frac{2}{p-1} $ 时？
• RQ2 能否将 [2] 和 [12] 中通过概率方法构造的解，作为初值正则化后解列的极限来恢复？
• RQ3 当 $ s < \frac{3}{2} - \frac{2}{p-1} $ 时，导致不适定性的初值集合是否在 $ \mathcal{H}^s(\mathbb{T}^3) $ 中稠密？
• RQ4 在有限传播速度下，具有高度振荡、局部初值的解的 $ H^s $-范数行为如何？

主要发现

• 在 Hadamard 意义下，方程对所有 $ s < \frac{3}{2} - \frac{2}{p-1} $ 均为通用不适定，且导致不适定性的初值集合在 $ \mathcal{H}^s(\mathbb{T}^3) $ 中稠密。
• 通过 [2] 和 [12] 中概率方法构造的解，无法作为初值正则化后解列的极限在 $ C(\mathbb{R}; \mathcal{H}^s) $ 中被恢复，对一般初值成立。
• 对于初值 $ (u_0, u_1) \in C_c^\infty \times C_c^\infty $，即使在有限传播速度下，也不存在任何 $ T > 0 $ 使得解属于 $ L^\infty([-T,T]; \mathcal{H}^s) $。
• 具有局部化、振荡初值的解的 $ H^s $-范数以 $ \log(n)^\alpha $ 的形式增长（$ \alpha > 0 $），表明范数膨胀。
• 在 $ s < \frac{3}{2} - \frac{2}{p-1} $ 时，通过谱截断的正则化过程在 $ C(\mathbb{R}; \mathcal{H}^s) $ 中不收敛，因为误差 $ \| w_n \|_{C(\mathbb{R}; \mathcal{H}^s)} $ 不趋于零。
• 收敛失败的程度由指数 $ g(s,p) = -\frac{1}{2}\big{(}(p-1)s - 2(p-2)\big{)}\big{(}s - \big{(}\frac{3}{2} - \frac{2}{p-1}\big{)}\big{)} \leq 0 $ 量化，该指数在超临界区域非正。