[论文解读] Invariant measure for the Klein-Gordon equation in a non periodic setting

Anne-Sophie de Suzzoni|arXiv (Cornell University)|Mar 10, 2014

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

一句话总结

本文通过涉及布朗运动和有限维近似的一系列极限过程，为非周期实轴上的1D非聚焦立方 Klein-Gordon 方程构造了一个 Gibbs 测度，该方程具有空间衰减的非线性项。研究证明了在 $ H^{1/2-}_{ extrm{loc}} $ 中几乎必然的全局适定性，并建立了该 Gibbs 测度在非线性流下的不变性，将周期情形下的结果推广到了非周期情形。

ABSTRACT

In this paper, we build a Gibbs measure for the 1d cubic Klein-Gordon equation on $\mathbb R$ with a decreasing non linearity, in the sense that the non linearity $f^3$ is multiplied by $χ$ where $χ$ is a sufficiently integrable non negative function. We prove that this equation is almost surely globally well-posed in $H^{1/2-}_{ extrm{loc}}$ with respect to this measure and that the measure is invariant under the flow of the equation.

研究动机与目标

• 将非线性色散方程的 Gibbs 测度构造从周期情形推广到非周期情形，特别针对 1D Klein-Gordon 方程。
• 解决在缺乏离散谱的情况下定义 Gibbs 测度的挑战，这是周期域中标准构造所依赖的关键条件。
• 证明所得到的测度在方程的非线性流下不变，从而确保解集合的统计平稳性。
• 在临界正则性空间 $ H^{1/2-}_{\textrm{loc}} $ 中，为服从该 Gibbs 测度分布的初值建立几乎必然的全局适定性。

提出的方法

• 利用布朗运动增量构造一个极限高斯随机变量 $ \varphi $，以在非周期设定下建模方程的线性部分。
• 将 Gibbs 测度 $ \rho $ 定义为 $ d\rho(u) = \frac{1}{D} e^{-\frac{1}{2}\int \chi |u|^4} d\mu(u) $，其中 $ \mu $ 是与线性流相关的高斯测度。
• 使用有限维近似 $ \varphi_{N,M} $ 和 $ \psi_k $ 定义非线性流的正则化版本，确保在 $ H^{1/2-}_{\textrm{loc}} $ 中收敛。
• 应用 Fatou 引理和一致收敛估计，从有限维不变性过渡到无限维下 $ \rho $ 的不变性。
• 建立流 $ \psi_k $ 在大集合 $ A(\Lambda) $ 上的连续性和全局一致收敛性，满足 $ \rho(A(\Lambda)^c) \leq C/\Lambda^8 $。
• 利用有限维测度 $ \rho_k $ 的不变性、流的连续性以及逼近论证，证明 $ \rho $ 在完整非线性流 $ \psi(t) $ 下的不变性。

实验结果

研究问题

• RQ1 能否为 $ \mathbb{R} $ 上具有空间衰减非线性的 1D 立方 Klein-Gordon 方程构造 Gibbs 测度，即使在缺乏离散谱的情况下？
• RQ2 所得到的 Gibbs 测度在非周期设定下是否在方程的非线性流下保持不变？
• RQ3 对于服从该 Gibbs 测度分布的初值，在临界正则性空间 $ H^{1/2-}_{\textrm{loc}} $ 中，方程是否几乎必然存在全局解？
• RQ4 当依赖紧致性或离散谱的标准技术失效时，如何证明测度的不变性？
• RQ5 能否证明在非紧致设定下，方程的流在 Gibbs 测度的支撑集上是连续且可测的？

主要发现

• Gibbs 测度 $ \rho $ 在 $ H^{1/2-}_{\textrm{loc}} $ 上是良定义的，且满足 $ \rho(A) = 1 $，其中 $ A $ 是解全局存在的初值集合。
• 非线性流 $ \psi(t) $ 在 $ \rho $ 的支撑集上是连续且可测的，从而确保了解几乎必然有定义。
• 测度 $ \rho $ 在非线性流下不变：对所有可测集 $ Y $ 和所有 $ t \in \mathbb{R} $，有 $ \rho(\psi(t)^{-1}(Y)) = \rho(Y) $。
• 近似失败的集合 $ A(\Lambda)^c $ 满足 $ \rho(A(\Lambda)^c) \leq C/\Lambda^8 $，表明近似以高概率成立。
• 有限维近似 $ \psi_k $ 在 $ A(\Lambda) $ 上一致收敛于 $ \psi $，从而实现了从有限维到无限维不变性的传递。
• 该构造依赖于使用布朗运动的极限过程，得到一个生成基测度 $ \mu $ 的高斯随机变量 $ \varphi $，并通过势能项 $ \int \chi |u|^4 $ 进行扩展。