[论文解读] Invariant measure for a three dimensional nonlinear wave equation

Nicolas Burq, Nikolay Tzvetkov|ArXiv.org|Jul 10, 2007

Advanced Mathematical Physics Problems参考文献 2被引用 10

一句话总结

本文建立了三维非聚焦次立方非线性波方程在低于 $ H^{1/2} $ 的径向Sobolev空间中低正则性随机初值下的全局解的存在性与唯一性。通过哈密顿逼近框架和基于Wiener测度与无散向量场的Liouville定理的新型不变测度构造，作者证明了在流下存在有限不变测度，从而借助Poincaré定理实现递归性。

ABSTRACT

We study the long time behavior of the subcritical (subcubic) defocussing nonlinear wave equation on the three dimensional ball, for random data of low regularity. We prove that for a large set of radial initial data in $\cap_{s<1/2} H^s(B(0,1))$ the equation is (globally in time) well posed and we construct an invariant measure.

研究动机与目标

• 在三维单位球上建立非聚焦次立方非线性波方程在低正则性随机初值下的全局适定性。
• 在波方程流下构造一个有限不变测度，尽管缺乏 $ L^2 $-范数守恒。
• 将非线性Schrödinger方程中不变测度构造方法拓展至非线性波方程，克服 $ L^2 $-守恒缺失的问题。
• 通过不变测度利用Poincaré递归定理证明流的递归性质。

提出的方法

• 通过径向本征函数 $ e_n(r) = \frac{\sqrt{2}\sin(\pi n r)}{r} $ 的谱截断，将无穷维波方程近似为有限维哈密顿ODE。
• 通过独立标准高斯变量 $ (h_n, l_n) $ 的概率构造初值，定义在 $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 上的Wiener测度。
• 利用三维球上径向波的Strichartz型不等式，证明在 $ C([-T,T], H^\sigma_{\text{rad}}) $ 中局部适定性，其中 $ \sigma \in \left(\max\left(0,\frac{\alpha-1}{\alpha}\right), \frac{1}{2}\right) $。
• 通过一致有界性与紧致性，在逼近ODE中取极限，确保在 $ C(\mathbb{R}, H^\sigma_{\text{rad}}) $ 中收敛到全局解。
• 通过有限维近似中无散向量场的Liouville定理，将不变测度 $ \rho $ 构造为有限维测度 $ \rho_N $ 的极限。
• 通过证明对紧集 $ K $ 有 $ \rho(\Phi(\tau)(K)) \geq \rho(K) $，证明测度不变性，利用流的一致连续性与逼近下测度的收敛性。

实验结果

研究问题

• RQ1 能否在 $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 中构造出三维非聚焦非线性波方程的全局解，初值为随机的？
• RQ2 当 $ L^2 $-范数不守恒时，非线性波方程流是否存在有限不变测度？
• RQ3 尽管缺乏 $ L^2 $-守恒，能否将非线性Schrödinger方程中使用的不变测度构造方法适配至非线性波方程？
• RQ4 随机初值下解的几乎必然全局存在性的正则性阈值是什么？
• RQ5 流在长时间尺度下的统计行为如何？从不变测度中会涌现出何种递归性质？

主要发现

• 当 $ \alpha < 2 $ 时，对于 $ \cap_{s<1/2} H^s_{\text{rad}}(B(0,1)) $ 中几乎所有径向初值，非线性波方程是全局适定的，解属于 $ C(\mathbb{R}, H^\sigma_{\text{rad}}) $，其中 $ \sigma \in \left(\max\left(0,\frac{\alpha-1}{\alpha}\right), \frac{1}{2}\right) $。
• 解满足先验估计 $ \|u(t)\|_{H^\sigma_{\text{rad}}} \leq C(f_1,f_2) \log(2+|t|)^{1/2} $，表明高Sobolev范数中增长缓慢。
• 由随机初值诱导的Wiener测度不是不变的，但存在一个相对于它绝对连续的新测度 $ \rho $，在全局流下是不变的。
• 不变测度 $ \rho $ 通过有限维近似中的极限过程构造，其不变性通过有限维近似中无散向量场的Liouville定理得以证明。
• 不变测度的存在性意味着流的递归性，依据Poincaré递归定理，尽管缺乏 $ L^2 $-守恒。
• 该方法避免了对 $ L^2 $-范数守恒的依赖，为非守恒 $ L^2 $-范数的色散PDE提供了不变测度构造的新途径。