[论文解读] Probabilistic well-posedness for supercritical wave equation on $\mathbb{T}^3$

Chenmin Sun, Bo Xia|arXiv (Cornell University)|Aug 2, 2015

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

一句话总结

本文通过初始数据的概率随机化，建立了超临界波动方程 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ 在 $\mathbb{T}^3$ 上的几乎必然全局适定性。通过在 $H^s \times H^{s-1}$ 中构造一个全测度的初始数据集合，其中 $s \in \left(\frac{p-3}{p-1}, 1\right)$，作者证明了几乎必然存在唯一全局解，显著低于确定性临界正则性 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$，方法基于概率 Strichartz 估计与改进的能量法。

ABSTRACT

In this article, we follow the strategies, listed in \cite{Burq2011} and \cite{OhPo}, in dealing with supercritical cubic and quintic wave equations, we obtain that, the equation \begin{equation*} \left\{ \begin{split} &(\partial^2_t-Δ)u+|u|^{p-1}u=0,\ \ 3

研究动机与目标

• 为克服在 $\mathbb{T}^3$ 上超临界波动方程 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ 在正则性空间中低于确定性临界指数 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ 时的不适定性。
• 通过在 $H^s \times H^{s-1}$ 中对初始数据进行随机化，建立 Burq 与 Tzvetkov 意义下的几乎必然全局适定性，其中 $s > \frac{p-3}{p-1}$，该值严格低于 $s_{\text{cr}}$。
• 将概率适定性框架从立方（$p=3$）和五次（$p=5$）情形扩展至 $\mathbb{T}^3$ 上的完整超临界范围 $3 < p < 5$。
• 证明即使在确定性方法因初始数据连续依赖性缺失而失效时，随机化仍可保证解的全局存在性与唯一性。

提出的方法

• 通过傅里叶随机化对初始数据 $(u_0, u_1) \in H^s \times H^{s-1}$ 进行随机化，构造几乎必然属于 $\mathcal{H}^s$ 的 $\omega$-依赖初始数据 $(u_0^\omega, u_1^\omega)$，其中 $s > \frac{p-3}{p-1}$。
• 将解分解为 $u^\omega = z^\omega + v^\omega$，其中 $z^\omega = S(t)(u_0^\omega, u_1^\omega)$ 为线性演化部分，$v^\omega$ 在摄动框架下求解非线性方程。
• 利用概率 Strichartz 估计控制线性部分 $z^\omega$ 在混合范数空间 $L^{2p/(p-3)}_T L^{2p}_x$ 中的有界性，通过尾部估计实现几乎必然有界性。
• 通过二进制频率截断与先验估计，构造一个全测度集合 $\Omega_{T,\varepsilon}$，使得非线性部分 $v^\omega$ 在 $[0,T]$ 上保持在 $\mathcal{H}^1$ 中有界。
• 在 $C([0,T]; \mathcal{H}^s)$ 的有界球内应用改进的能量法与不动点论证，依赖于对 $z^\omega$ 的概率控制以及对截断频率解 $v^\omega_N$ 的一致有界性。
• 通过时间分解 $[0,T] = \bigcup_k I_k$ 与指数尾部估计，控制小时间区间上的线性流，确保全测度集合 $\Omega_{T,\varepsilon}$ 满足 $\mathbb{P}(\Omega_{T,\varepsilon}^c) < \varepsilon$。

实验结果

研究问题

• RQ1 能否在低于确定性临界正则性 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$ 的条件下，为 $\mathbb{T}^3$ 上的超临界波动方程 $3 < p < 5$ 建立几乎必然全局适定性？
• RQ2 在初始数据随机化下，概率适定性成立的最优正则性阈值 $s$ 是多少，且该值低于 $s_{\text{cr}}$？
• RQ3 概率方法如何在超临界 regime 中改进确定性不适定性，特别是在连续依赖性与全局存在性方面？
• RQ4 用于 $p=3$ 与 $p=5$ 的随机化策略能否扩展至整个范围 $3 < p < 5$，并实现对正则性阈值 $s > \frac{p-3}{p-1}$ 的一致控制？

主要发现

• 在 $\mathbb{T}^3$ 上，方程 $(\partial_t^2 - \Delta)u + |u|^{p-1}u = 0$ 对于 $\mathcal{H}^s = H^s \times H^{s-1}$ 中的初始数据，当 $s \in \left(\frac{p-3}{p-1}, 1\right)$ 时，经概率随机化后，几乎必然具有全局适定性。
• 正则性阈值 $\frac{p-3}{p-1}$ 严格低于确定性临界指数 $s_{\text{cr}} = \frac{3}{2} - \frac{2}{p-1}$，表明相比确定性方法有显著改进。
• 对任意 $T, \varepsilon > 0$，存在一个全测度集合 $\Omega_{T,\varepsilon} \subset \Omega$，满足 $\mathbb{P}(\Omega_{T,\varepsilon}^c) < \varepsilon$，使得对所有 $\omega \in \Omega_{T,\varepsilon}$，存在唯一的解 $u^\omega$ 属于 $C([0,T]; \mathcal{H}^s)$。
• 解的非线性部分 $v^\omega$ 满足统一的概率能量界：几乎必然有 $\sup_{t \in [0,T]} \|(v^\omega, \partial_t v^\omega)\|_{\mathcal{H}^1} < C(T, \varepsilon, \|(u_0,u_1)\|_{\mathcal{H}^s}) < \infty$。
• 该结果在意义下是紧的，因为 $\frac{p-3}{p-1}$ 与端点情形 $p=3$ 和 $p=5$ 兼容，且在极限情况下恢复已知结果。
• 该方法依赖于概率 Strichartz 估计与基于小时间区间 $I_k$ 的局部时间论证，通过指数尾部界确保全测度存在性。