A pathological set regarding the propagation of almost sure properties of Gaussian measures

技术摘要：关于高斯测度传播几乎处处性质的一个病态集合

问题陈述
本文探讨了三维周期性无聚焦三次非线性波动方程（NLW）在 $\mathbb{T}^3$ 上动力学中，拓扑性质与测度论性质之间的一种根本性张力：
$$\partial_{tt}u - \Delta u + u^3 = 0, \quad u(x,0)=0, \quad \partial_t u(x,0)=g(x).$$
虽然 Gunaratnam, Oh, Tzvetkov, 和 Weber (2022) 的先前工作已经证明，支撑在高正则性 Sobolev 空间上的高斯测度在 NLW 流下是拟不变的——这意味着随机初始数据的“几乎处处”正则性性质得以保持——但本文研究的是，对于这些测度支撑集中的所有初始数据，这种保持是否仍然成立。具体而言，本文旨在识别出一组稠密的初始速度集合，对于这些初始数据，尽管其属于 $W^{\sigma-1,p}$ 的一个稠密子集，其解仍会发生瞬时正则性丢失。

方法论
该方法是确定性的，依赖于一个涉及线性分析、周期化和非线性控制的多步构造过程：

1. 欧几里得空间 $\mathbb{R}^d$ 上的线性反例： 作者构造了一个定义在欧几里得空间 $\mathbb{R}^d$ ($d \ge 2$) 上的特定分布族 $F_\lambda$，其傅里叶系数为 $g_\lambda(\xi) = \langle \xi \rangle^{-\sigma+1} h(\xi) |\xi|^{-\lambda}$，其中 $h$ 是在原点附近消失的光滑截断函数。该分析利用已知的线性波动方程 $L^p$ 导数损失结果（Peral-Miyachi 估计）来表明，对于特定的 $p$ 和 $\lambda$，线性演化 $S(t)(0, F_\lambda)$ 无法保持在 W^{\sigma,p}(\mathbb{R}^d}) 中。证明过程涉及对 Bessel 函数和齐次分布逆傅里叶变换的详细渐近分析，以识别在 $|x|=t$ 和 $x=0$ 处的奇异性。

2. 向 $\mathbb{T}^d$ 的周期化： 利用庞松求和公式，作者将欧几里得反例 $F_\lambda$ 进行周期化，从而在环面 $\mathbb{T}^d$ 上定义 $f_\lambda$。作者证明了在 $\mathbb{R}^d$ 中观察到的正则性不传播现象在周期化设置中对于 $t$ 在零的一个小邻域内依然成立。这依赖于证明周期化和的奇异性被原项在原点附近的奇异性所主导，而来自其他格点点的贡献是光滑或有界的。

3. 向非线性流的扩展： 为了将结果从线性流扩展到三次 NLW，作者在合适的 Sobolev 空间中采用了不动点论证。核心任务是估计 Duhamel 积分项：
   $$\int_0^t \frac{\sin((t-\tau)|D|)}{|D|} u^3(\tau) \, d\tau$$
   在空间 $L^\infty_T W^{\sigma,p}(\mathbb{T}^3)$ 中。通过利用通过有限传播速度论证适配于周期设置的 Strichartz 估计，作者证明了只要初始数据位于足够正则的空间（具体为 $H^{\sigma+1/2}$），非线性项将在 $W^{\sigma,p}$ 中保持有界。由于线性部分的解丢失了 $W^{\sigma,p}$ 正则性，而非线性部分保持了该正则性，因此总解必然丢失正则性。

主要结果

• 定理 1.2 (线性情况)： 对于 $d \ge 2, p \neq 2$ 以及特定的 $\lambda$ 和 $\sigma$ 范围，构造的初始数据 $f_\lambda$ 的线性演化在任何 $t \neq 0$（在小时间间隔内）都不属于 $W^{\sigma,p}(\mathbb{T}^d)$。正则性丢失的条件取决于 $p$ 与维度 $d$ 之间的关系（例如 $p \ge \frac{2d}{d-1}$ 或 $p < \frac{2d}{d+1}$）。
• 定理 1.1 (非线性情况)： 对于 $d=3, p \ge 3$ 以及 $\lambda \in (3 - 3/p, 3)$，集合 $S_\lambda$（由光滑函数与 $f_\lambda$ 的缩放副本组成）是 $W^{\sigma-1,p}(\mathbb{T}^3)$ 的一个稠密子集。对于任何 $g \in S_\lambda$，NLW 的全局解 $u$ 存在于 $C(\mathbb{R}, H^{\sigma+1/2})$ 中，但满足 $u(\cdot, t) \notin W^{\sigma,p}(\mathbb{T}^3)$ 对于任何 $t \in (-1, 1) \setminus \{0\}$。
• 命题 2.3 (几乎处处传播)： 与确定性的病态集合形成对比，本文确认了对于高斯测度 $\vec{\mu}_s$（其中 $s > \sigma + 3/2$），解几乎处处保持在 $W^{\sigma,p}$ 中。这依赖于测度的拟不变性（定理 2.1）和 Fernique 定理。

意义与主张
本文声称提供了一个关于高斯测度拟不变性的“互补结果”。其主要意义在于证明了正则性的传播并非流的拓扑性质。具体而言：

• 正则性不被保持的初始数据集合在相关的 Sobolev 空间 $W^{\sigma-1,p}$ 中是稠密的。
• 这创造了一个鲜明的对比：虽然通过对初始数据进行随机化（高斯测度）可以确保以概率 1 传播正则性，但存在一个稠密的确定性初始数据集合，其正则性会发生瞬时丢失。
• 该工作强调了在概率适定性背景下某些确定性解的“病态”性质，表明所谓的“良好”行为是测度论层面的，而非拓扑层面的。

作者明确指出，时间约束（$|t| < 1$ 或 $|t| < 1/2$）是由于用于周期化步骤的有限传播速度论证而产生的技术性限制，但这些约束并不会削弱其核心发现，即正则性确实瞬时消失。本文并不提出新的应用或未来的实验方案，而是严格专注于这些特定反例的确定性分析。