生成时间: 2026年09月07日 07:34:47

运行状态: 完成

计划处理论文数量: 22

已完成论文数量: 22

未完成论文数量: 0

重点关注论文数量: 4

了解领域论文数量: 6

不相关论文数量: 12

重点关注论文（完整分析）

1. 具有螺旋 $$L^1$$ 涡度的三维 Navier-Stokes 方程的整体适定性

Global well-posedness of the 3D Navier-Stokes equations with helical $$L^1$$ vorticity

作者: Francisco Gancedo, Antonio Hidalgo-Torné

类别: math.AP

发布日期: 2026-09-04

arXiv ID: 2609.05193v1

摘要翻译: 我们证明了在 $igl\mathbb R^2 \times \mathbb T$ 上的 Navier-Stokes 方程对于同时满足螺旋对称且可积的初始涡度是整体适定的。这类数据通常产生无穷动能的速度场，因此该结果不被经典的有限能量适定理论所涵盖。从三维 Navier-Stokes 缩放的视角来看，该结果是超临界的，并且借助于利用时间加权 Kato 型空间对螺旋流特殊结构的应用而得以实现。

Comment: 18 pages

链接: http://arxiv.org/abs/2609.05193v1

1. 研究对象和背景

本文研究的是在无限长圆柱域 $\mathbb R^2 \times \mathbb T$ 上的不可压缩 Navier-Stokes 方程：

\begin{cases} \partial_t u + u \cdot \nabla u - \Delta u + \nabla P = 0, & t > 0, x \in \mathbb R^3, \\ \nabla \cdot u = 0, \\ u|_{t=0} = u_0. \end{cases}

其中 $u: (0, \infty) \times \mathbb R^3 \to \mathbb R^3$ 是速度场， $$P$$ 是压力。通过对上述方程取旋度，可以得到涡度方程：

\partial_t \omega + u \cdot \nabla \omega - \omega \cdot \nabla u - \Delta \omega = 0,

其中 $\omega = \nabla \times u$ 。根据 Biot-Savart 定律，速度与涡度的关系为 $u := \nabla \times (-\Delta)^{-1}\omega$ 。

三维 Navier-Stokes 方程的全局适定性是一个著名的未解问题。从标度不变性的角度来看，如果 $$(u, p)$$ 是解，则对于任意 $\lambda > 0$ ，缩放后的场 $u_\lambda(t, x) = \lambda u(\lambda^2 t, \lambda x)$ 和 $p_\lambda(t, x) = \lambda^2 p(\lambda^2 t, \lambda x)$ 也是解，其对应的涡度为 $\omega_\lambda(t, x) = \lambda^2 \omega(\lambda^2 t, \lambda x)$ 。因此， $\|\omega_\lambda(0)\|_{L^p(\mathbb R^3)} = \lambda^{2-3/p} \|\omega_0\|_{L^p(\mathbb R^3)}$ ，这意味着 $$p = 3/2$$ 是涡度的临界指数。当 $$p < 3/2$$ 时，问题是超临界的，通常在没有额外结构的情况下无法建立一般的适定性理论。

本文考虑的特殊结构是“螺旋对称性”（helical symmetry）。定义螺旋对称变换 $S_{\theta, \gamma}$ 为绕 $$x_3$$ 轴旋转角度 $\theta$ 并沿 $$x_3$$ 轴平移 $\gamma \theta$ 。如果一个函数或向量场在所有的 $\theta \in \mathbb R$ 下满足相应的不变性条件，则称其具有螺旋对称性。自然的研究区域是无边界的 $\mathbb R^2 \times \gamma \mathbb T$ （文中固定 $\gamma=1$ ）。

在无界区域中，即使是非常光滑且可积的螺旋对称初始涡度，也可能生成无穷动能的速度场。例如，Oseen 涡作为一个螺旋对称流，其涡度 $\omega_0^\delta(x) = \frac{\Gamma}{4\pi\delta} e^{-|x_h|^2/4\delta} e_3$ 属于 $$L^1$$ ，但其对应的速度场在空间无穷远处表现为 $|u_0^\delta(x)| \sim \frac{|\Gamma|}{2\pi |x_h|}$ ，导致 $\int_{\mathbb R^2 \times \gamma \mathbb T} |u_0^\delta(x)|^2 dx = \infty$ 。因此，经典的有限能量框架不适用，需要在局部能量空间或均匀局部空间中工作。

尽管存在无穷能量的困难，但螺旋对称性提供了一些额外的结构。之前的工作 [21] 证明了从螺旋涡丝出发的全局存在性，但未提供涡度在任何 Lebesgue 空间中的全局可积性控制。此外，[5] 证明了在 $C([0, T]; L^1(\mathbb T^3))$ 类中解的非唯一性。本文旨在证明，在螺旋对称性的假设下，仅凭初始涡度属于 $$L^1$$ 就足以获得全局适定性，并且可以在任何正时间处获得全局空间范数的界。这是一个超临界结果，填补了在该特定对称性下关于粗糙初始数据全局适定性的空白。

2. 主要定理或主要结果

本文的主要结果是定理 1.1（全局时间的适定性）。具体表述如下：

定理 1.1 设 $\omega_0 \in L^1(\mathbb R^2 \times \mathbb T)$ 是具有螺旋对称性和无散度的初始涡度。那么，对于任意 $$T > 0$$ ，Navier-Stokes 方程 (4) 在类 $\omega \in C([0, \infty); L^1) \cap X_T^{4/3}$ 中存在唯一的螺旋对称温和解，且满足 $\|\omega\|_{X_t^{4/3}} \to 0$ 当 $t \to 0^+$ 。对于任意 $$t > 0$$ ，涡度 $\omega(t)$ 属于 Sobolev 空间 $W^{k,p}$ ，对任意 $k \in \mathbb N$ 和 $p \in [1, \infty]$ 。

这里 $$X_T^p$$ 是 Kato 型空间，定义为：

X_T^p = \{f \in \mathcal D'((0, T] \times \mathbb R^2 \times \mathbb T) : t^{1-1/p} f \in C((0, T]; L^p)\},

其范数为 $\|f\|_{X_T^p} = \sup_{t \in (0,T]} t^{1-1/p} \|f(t)\|_{L^p}$ 。

此外，文章还量化了解接近初始数据时高阶 Sobolev 范数的爆破速率。具体见定理 3.5：

定理 3.5 设 $\omega$ 是定理 3.2 中得到的唯一温和解。那么，对于任意 $s \ge 0$ 和 $1 \le p \le \infty$ ，有估计：

t^{1-1/p + s/2} \|\Lambda^s \omega(t)\|_{L^p} \lesssim 1

对所有 $0 < t \le T$ 成立。并且，除了 $$(s, p) = (0, 1)$$ 的情况外，

t^{1-1/p + s/2} \|\Lambda^s \omega(t)\|_{L^p} \to 0 \quad \text{as } t \to 0.

这些结果表明，尽管初始数据仅在 $$L^1$$ 水平上可积，但在任何正时刻，解都具有任意阶的光滑性和任意高的可积性，且其正则性增益符合热核标度律。

3. 研究方法、关键技术和核心工具

证明的核心在于利用螺旋对称性带来的特殊结构，结合时间加权的 Kato 型空间来处理超临界问题。主要技术障碍和创新点包括以下几个方面：

Kato 型空间与热核估计：作者引入了适配于螺旋热核标度的 Kato 型空间 $$X_T^p$$ 。关键引理 2.8 建立了热半群在这些空间中的衰减估计：若 $$f$$ 具有螺旋对称性， $s \ge 0$ ，且 $1 \le q \le p < \infty$ ，则
$\|\Lambda^s e^{t\Delta} f\|_{L^p} \lesssim t^{1/p - 1/q - s/2} \|f\|_{L^q}.$
这一估计利用了螺旋对称性使得热核在横截面方向上的分离变量结构 $e^{t\Delta}(x) = e^{t\Delta_{\mathbb R^2}}(x_1, x_2) e^{t\Delta_{\mathbb T}}(x_3)$ ，从而能够精确控制不同方向上的衰减率。引理 2.10 进一步证明了若 $\omega_0 \in L^1$ 且具有螺旋对称性，则 $e^{t\Delta} \omega_0 \in X_T^p$ 且其范数随 $T \to 0^+$ 趋于零，这为不动点定理的应用提供了基础。
局部存在性与唯一性：在定理 3.1 和 3.2 中，作者将非线性项视为双线性形式 $B(\omega, \omega)$ ，并利用 Banach 不动点定理（命题 2.12）在 $$X_T^p$$ 空间中建立局部存在性。关键在于验证双线性映射的连续性。通过 Biot-Savart 定律和引理 2.5（一个 Poincaré 型不等式），作者建立了速度场 $$u$$ 和涡度 $\omega$ 之间的范数关系：
$\|u\|_{L^q} \lesssim \|\omega\|_{L^p}, \quad \text{where } \frac{1}{q} = \frac{1}{p} - \frac{1}{2}.$
这使得非线性项的估计可以完全转化为涡度范数的估计。特别地，选择 $$p=4/3$$ 使得时间积分中的奇异指数可积，从而保证了局部解的存在性。
全局延拓与正则性提升：为了从局部存在性推进到全局存在性，作者采用了基于 [13] 的自举论证（bootstrapping argument）。定理 3.5 的证明是关键步骤。由于直接对高阶导数进行先验估计会导致热核指数违反有界性要求，作者巧妙地使用了分数阶导数 $\Lambda^{1/2}$ 作为中间步骤。首先证明 $$s=0$$ 时的估计，然后通过归纳法逐步提升导数阶数。在处理非线性项时，作者将 $$k/2$$ 阶导数施加于 $\omega \otimes u - u \otimes \omega$ ，而将 $$1/2$$ 阶导数留给热核，这种分配策略确保了时间积分的可积性。
Kato-Ponce 不等式的推广：为了处理高阶范数估计中的乘积项，作者需要 Kato-Ponce 不等式（即分数阶 Leibniz 法则）。虽然该不等式在 $\mathbb R^n$ 和 $\mathbb T^n$ 上是已知的，但在混合域 $\mathbb R^{n_1} \times \mathbb T^{n_2}$ 上尚无文献记载。作者在附录中利用 $\mathbb R^n$ 上的证明和转移动理 [35] 建立了该域上的对应不等式，这是完成高阶正则性证明的必要工具。
唯一性证明：在推论 3.4 中，作者证明了在 $C([0, T]; L^1 \cap L^{4/3})$ 类中的唯一性。通过设置差值 $\eta = \omega_1 - \omega_2$ ，并利用 Gronwall 型不等式，作者证明了如果两个解在某个短时间区间内足够小，则它们必须相等。然后通过在连续的时间区间上重复此论证，得到全局唯一性。

4. 与之前工作的比较

本文的结果在多个方面推进了现有的 Navier-Stokes 方程理论，特别是在超临界数据和特殊对称性下的适定性问题。

与经典有限能量理论的比较：经典的 Leray-Hopf 理论处理的是 $$L^2$$ 初始速度场（或 $$H^1$$ 初始速度场），这对应于有限的动能。然而，如前所述，螺旋对称流在无界区域中通常具有无穷动能。本文的结果明确指出了这一点，并表明即使在无穷能量框架下，只要初始涡度属于 $$L^1$$ 且具有螺旋对称性，仍然可以获得全局适定性。这与 [33] 中在有限能量设定下获得的螺旋对称流全局适定性结果形成了鲜明对比，后者不适用于无穷能量情形。
与超临界非唯一性结果的比较：在一般情形下，低于临界阈值 $L^{3/2}$ 的涡度数据（如 $$L^1$$ ）通常会导致非唯一性。例如，[5] 证明了在 $C([0, T]; L^1(\mathbb T^3))$ 类中解的非唯一性，[7] 证明了在 $C([0, T]; L^p(\mathbb T^3))$ ( $$1 < p < 6/5$$ ) 类中的非唯一性。本文的结果表明，引入螺旋对称性这一结构假设可以克服超临界障碍，恢复全局唯一性。这与二维情形类似，在二维中 $$L^1$$ 涡度（甚至有限测度）的全局适定性是可以建立的，因为缺乏涡度拉伸项。在三维中，螺旋对称性有效地限制了涡度拉伸项的影响，使得类似的超临界适定性成为可能。
与先前螺旋对称性工作 [21] 的比较：作者在前作 [21] 中已经证明了从螺旋涡丝出发的全局存在性，并在正时间获得了较宽的适定性理论。然而，[21] 的方法未能提供涡度在任何 Lebesgue 空间中的全局可积性控制，这在原则上受到无穷能量速度和涡度拉伸组合的阻碍。本文通过采用时间加权 Kato 型空间，成功地克服了这一障碍，不仅证明了全局存在性，还给出了涡度在所有 $$L^p$$ 空间中的定量估计（定理 3.5）。这表明 Kato 型空间在处理此类无穷能量、超临界问题时比传统的局部能量空间更具优势。
与轴对称流的比较：文章提到，在轴对称且旋流消失（vanishing swirl）的假设下，也可以获得超临界结果 [18]，甚至可以将初始涡度放宽到测度 [14]。相比之下，螺旋对称性允许非平凡的旋流，因此在物理上更为丰富。然而，螺旋对称性下的技术难度更大，因为缺乏轴对称情形中某些简化的结构。本文的工作展示了如何利用螺旋对称性的具体几何特征来构建合适的功能分析框架，从而在更一般的对称性下实现超临界适定性。
局限性：需要注意的是，本文的结果依赖于初始涡度具有严格的螺旋对称性。如果对称性被打破，或者初始数据不具备这种结构，则无法保证全局适定性。此外，虽然解在任何正时间是光滑的，但其在 $$t=0$$ 处的正则性仅限于 $$L^1$$ ，这意味着解在初始时刻可能存在奇异性。尽管如此，这些结果仍然代表了在三维 Navier-Stokes 方程超临界区域取得的重要进展，并为理解对称性如何影响流体方程的全局行为提供了深刻的见解。

2. 关于具有肥尾的光滑无黏涡

On smooth inviscid vortices with fat tails

作者: Pierre Raphaël, Ayman R. Saïd

类别: math.AP

发布日期: 2026-09-04

arXiv ID: 2609.04786v1

摘要翻译: 我们推导出一族具有非平凡旋流和肥尾的退化涡，这些涡可用于分岔三维轴对称不可压欧拉方程的定常解和自相似解。

Comment: 无

链接: http://arxiv.org/abs/2609.04786v1

1. 研究对象和背景

本文研究三维不可压缩欧拉方程在轴对称假设下的稳态解与自相似解的存在性问题。考虑三维不可压缩欧拉方程：

\partial_t u + u \cdot \nabla u + \nabla p = 0, \quad \nabla \cdot u = 0.

在圆柱坐标系 $(r, e_\phi, z)$ 下，速度场可以表示为流函数 $\psi$ 和旋转分量 $u_\phi$ 的组合：

u = \frac{1}{r}\nabla^\perp \psi + u_\phi e_\phi,

其中 $\nabla^\perp \psi = -\partial_z \psi e_r + \partial_r \psi e_z$ 。

对于稳态解，伯努利函数 $\Pi = p + |u|^2/2$ 和旋转量 $ru_\phi$ 是守恒量，即存在非线性函数 $H(\psi)$ 和 $C(\psi)$ 使得：

ru_\phi = C(\psi), \quad \Pi = H(\psi).

此时，稳态方程简化为非线性椭圆方程：

-\frac{1}{r}\partial_r \left( \frac{1}{r}\partial_r \psi \right) - \frac{\partial^2_z \psi}{r^2} = \frac{C(\psi)C'(\psi)}{r^2} - H'(\psi).

对于自相似解，利用欧拉方程的标度对称性，引入参数 $\gamma > -1$ ，得到自相似重归一化后的稳态方程：

[\gamma + (u+x)\cdot \nabla]u + \nabla p = 0, \quad \nabla \cdot u = 0.

尽管构造稳态或行波涡旋是经典问题，但自相似解的存在性是一个重大开放问题。已有工作（如 Elghindi [4]）构造了零旋转且正则性有限的柱对称自相似解，但光滑且带衰减的自相似解仍然未知。此外，现有变分方法通常产生紧支集旋转剖面，导致自由边界处失去正则性，且对解的结构理解有限。

本文受到非线性热方程中“肥尾”现象的启发。在能量超临界范围 $$p > (d+2)/(d-2)$$ 的非线性热方程 $\partial_t u = \Delta u + u^p$ 中，基态解 $$Q$$ 具有自相似的肥尾行为：

Q(r) \sim c_{d,p} r^{-2/(p-1)}.

这种肥尾结构不仅是稳态解的特征，也是构造自相似解的关键。类比地，本文旨在寻找三维轴对称欧拉方程中阈值处的适当剖面，通过一种新的分岔方案来构造具有肥尾的光滑稳态和自相似解。这一过程涉及从简化的退化模型出发，逐步逼近完整的 PDE 问题。

2. 主要定理或主要结果

本文的主要结果包括两个核心定理：命题 1.1 和定理 1.2。

命题 1.1 (退化均质涡旋): 令 $\gamma = 2 + 1/m$ ，其中 $m \in \mathbb{N}^*$ 。存在常数 $A \equiv A(\gamma) > 0$ ，使得对于尺度不变的均质非线性项：

C_0(\psi) = \frac{\gamma-2}{\gamma-1}\sqrt{A}\psi^{\frac{\gamma-1}{\gamma-2}}, \quad H'_0(\psi) = \psi^{\frac{\gamma+2}{\gamma-2}},

退化常微分方程：

-\frac{1}{r}\partial_r \left( \frac{1}{r}\partial_r \psi \right) = \frac{C_0(\psi)C'_0(\psi)}{r^2} - H'_0(\psi)

存在一个钟形、非负的 $C^\infty$ 光滑解 $\psi^*(r)$ ，其在无穷远处具有自相似衰减：

\psi^*(r) \sim C(\gamma)[1+o(1)]r^{2-\gamma}, \quad C(\gamma)>0.

定理 1.2 (具有肥尾的涡旋或自相似剖面的存在性): 设 $m \geq m^*$ 足够大， $\gamma$ 由命题 1.1 给出， $\psi^*$ 为对应的退化均质涡旋。则对于所有 $0 < a < a^*(\gamma)$ 足够小，以下结论成立。引入前沿重归一化 $$z = aZ$$ 。

涡旋分岔: 存在光滑缩放因子 $\nu(Z) > 0$ 和修正流函数 $\psi_{\text{corr}}$ ，使得：
$$ \tilde{\psi}(r,Z) = \frac{1}{[\nu(Z)]^{\gamma-2}}\psi^*\left(\frac{r}{\nu(Z)}\right)[1+a^2\psi_{\text{corr}}(r,Z)] $$
满足以下条件：
- $\nu$ 和 $\tilde{\psi}$ 关于 $$Z$$ 偶对称，且存在 $0 < \eta \ll 1$ 使得 $\langle Z \rangle^\eta \lesssim \nu(Z) \lesssim \langle Z \rangle^\eta$ 。
- 修正项均匀小： $a^2\|\langle z \rangle^\delta \psi_{\text{corr}}\|_{L^\infty} \leq 1/2$ ，其中 $\delta > 0$ 。
- 正则性与方程：对于合适的变形 $$C$$ ，轴对称矢量场 $$u(r,z)$$ 是三维欧拉方程 (1.1) 的 $C^\infty$ 光滑稳态解，且在 $+\infty$ 处具有肥自相似尾。
自相似分岔: 存在分岔剖面 $\psi_a(R) = \psi^*(R)[1+O(a)]$ ，使得由流函数：
$\psi(r,z) = \frac{1}{|aZ|^{\gamma-2}}\psi_a\left(\frac{r}{|Z|}\right)$
生成的圆柱矢量场是自相似方程 (1.4) 在 $\mathbb{R}^3 \setminus \{0\}$ 上的 $C^\infty$ 光滑解，且具有渐近自相似衰减。该解在原点处有本质奇异性，但在其他区域光滑。

3. 研究方法、关键技术和核心工具

本文的核心技术障碍在于处理无限能量解的正则性和尾部行为，以及如何将复杂的偏微分方程问题转化为可分析的常微分方程系统。作者采用了以下关键方法和工具：

前沿重归一化 (Front Renormalization): 引入内部参数 $a \ll 1$ ，定义 $$Z = z/a$$ ，将原方程中的 $\partial^2_z$ 项转化为 $a^2/r^2 \partial^2_Z$ 。当 $a \to 0$ 时，方程退化为仅含径向导数的常微分方程 (2.5)。这种变换使得问题在极限情况下变得可解，同时保留了高阶导数项的影响，这对于构造自相似解至关重要。
Emden 变换与相图分析: 对于退化方程 (2.8)，使用 Emden 变换 $s = \log r$ , $\phi = r^\gamma \Psi$ ，将其转化为一阶自治常微分方程组：
$\begin{cases} \phi' = u \\ u' = 2(\gamma-1)(u - F(\phi)) \end{cases}$
其中 $F(\phi)$ 是非线性势函数。通过分析 $F(\phi)$ 的性质（如零点、极值点），绘制相图并确定唯一的光滑解轨迹。具体地，解从原点的不稳定方向出发，最终趋向于无穷远处的稳定平衡点，从而保证了解的全局存在性和衰减速率。
非线性固定点论证: 在完整方程的分岔构造中，作者将解写成扰动形式 $\psi = \psi^* + \text{correction}$ ，并利用非线性固定点定理证明修正项的存在性。关键在于控制修正项的大小，确保其不超过主项的量级。这需要对线性化算子的谱性质进行精细估计，特别是识别出标度不稳定性模式，并通过投影方法分离出主导模态。
线性化算子的谱分析: 为了理解分岔机制，作者详细研究了围绕退化涡旋 $\psi^*$ 的线性化算子。特别地，他们计算了标度不稳定性的特征值，并将其与 $\nu(z)$ 函数的 ODE 联系起来。 $\nu(z)$ 描述了流函数在 $$z$$ 方向上的衰减行为，其求解依赖于对线性化算子流形的精确刻画。这一分析揭示了为何只有特定的 $\gamma$ 值（即 $\gamma = 2 + 1/m$ ）才能支持光滑解的存在。
局部分类与显式变形: 为了简化证明，作者选择了一组特殊的非线性项变形：
$CC'(\psi) = A(\gamma)\psi^{\frac{\gamma}{\gamma-2}}\left[1+\frac{a^2}{A(\gamma)\psi^m}\right], \quad H'(\psi) = \psi^{\frac{\gamma+2}{\gamma-2}}[1+a^2\psi^{m_2}]$
其中 $$m_1, m_2 > 0$$ 是精心选择的指数。这些变形确保了非线性项在扰动展开中的可控性，使得固定点论证能够成功应用。此外，作者证明了该构造在适当函数空间中是局部的，即映射 $(C,H) \mapsto \psi$ 在 $$(C_0, H_0)$$ 附近良定。

4. 与之前工作的比较

本文相较于既有工作在以下几个方面取得了显著推进：

从有限能量到无限能量解: 传统的变分方法（如 [15]）主要构造有限能量的涡旋环，其旋转部分通常是紧支集的，导致自由边界处正则性丧失。相比之下，本文构造的是无限能量解，其旋转部分在整个空间内非平凡，并且具有光滑的肥尾结构。这使得解在全空间内保持 $C^\infty$ 正则性，避免了变分方法的固有缺陷。
自相似解的突破: 此前，Elghindi [4] 等人在 $\gamma = -1 + \epsilon$ 范围内构造了零旋转且正则性有限的自相似解。然而，对于带有非零旋转的光滑自相似解，一直缺乏系统的构造方法。本文首次通过分岔机制构造了具有非零旋转的光滑自相似解，填补了这一空白。特别是，作者展示了如何从退化均质涡旋出发，通过引入小参数 $$a$$ 进行分岔，从而获得完整的自相似解。这一方法不仅适用于当前问题，还可能推广到其他流体或色散问题中的奇异性形成研究。
肥尾结构的统一框架: 受非线性热方程中肥尾现象的启发，本文将肥尾结构视为连接稳态解与自相似解的桥梁。在热方程中，肥尾解既是稳态解又是自相似解；类似地，本文构造的剖面也具备双重身份。这种统一视角为理解不同物理系统中的能量集中和奇异性形成提供了新的数学工具。此外，作者强调了 $\gamma > 2$ 的范围限制，这与非线性项的结构密切相关，而此前的工作往往局限于更窄的参数范围。
显式结构与线性化算子的理解: 与抽象变分方法相比，本文的分岔方法提供了解的显式形状和对线性化算子的完整理解。这对于后续的稳定性和动力学分析至关重要。例如，作者指出 $\nu(z)$ 函数可以通过求解一个非线性 ODE 来获得，这为数值模拟和进一步理论分析奠定了基础。相比之下，传统方法往往难以提供如此详细的结构信息。
局限性与未来方向: 尽管本文取得了重要进展，但仍存在一些局限。首先，构造仅在 $\gamma = 2 + 1/m$ 的离散参数集合上成立，而对于连续的 $\gamma$ 值是否也存在类似解尚不清楚。其次，自相似解在原点处具有本质奇异性，这可能限制了其在某些物理场景中的应用。最后，虽然作者希望该方法能为流体奇异性提供见解，但目前尚未直接应用于具体的奇异性形成问题，未来的研究需要探索如何将这一框架扩展到更一般的非轴对称情况或更高维度的问题中。

3. 能量抵消流体模型中解析半径增长的失效

Failure of analyticity-radius growth in energy-canceling fluid models

作者: Ke Chen, Haina Li, Quoc-Hung Nguyen, Ping Zhang

类别: math.AP

发布日期: 2026-09-04

arXiv ID: 2609.05023v1

摘要翻译: 我们证明，仅凭精确的二次能量抵消并不能迫使空间解析半径增长。在 $\mathbb{T}^3$ 上，我们构造了一个显式的、对称的、平移不变的一阶双线性算子 $$Q$$ ，该算子保持无散度类不变，并且对任意光滑实值无散度向量场 $$v$$ ，满足 $\int_{\mathbb{T}^3} Q(v,v)\cdot v\,dx=0.$ 对于任意给定的充分小的时间 $$T>0$$ ，方程 $\partial_t u-Δu=Q(u,u)$ 存在一个全局光滑的、实值的、零均值且无散度的解 $$u$$ ，使得 $\operatorname{rad}(u(0))=\operatorname{rad}(u(T))=1$ 。该构造将不变循环剪切类上的动力学归约为粘性 Burgers 方程，并调整 Cole-Hopf 热流形，使其最近的复零点返回到其初始时与实环面的距离。

Comment: 无

链接: http://arxiv.org/abs/2609.05023v1

1. 研究对象和背景

在粘性流体方程的研究中，空间解析性（spatial analyticity）是抛物型正则化效应的一种重要体现。对于不可压缩 Navier-Stokes 方程，经典的 Gevrey 估计以及关于解析半径的定量下界已在多项文献中得到建立 [12, 14, 15, 21, 22]，近期工作进一步细化了临界和亚临界 Sobolev 空间中的小时间行为 [24]。这些结果通常依赖于热半群的平滑作用以及投影输运非线性项的详细映射性质。

本文关注的核心问题源于 Navier-Stokes 非线性项满足的能量抵消恒等式：

\int_{\mathbb{T}^3} P \text{div}(u \otimes u) \cdot u \, dx = 0.

尽管该恒等式控制了总动能，但它并未提供单个傅里叶相互作用层面的符号信息。简化的、二进分解的或平均化的流体模型表明，保持方程的标度不变性、微分阶数或能量律，并不一定意味着保留其所有的动力学性质；例如，Tao 的平均 Navier-Stokes 构造 [29] 展示了一个保留精确能量抵消且从标准调和分析估计角度看并不更强的算子，但其对应的粘性方程存在有限时间爆破的光滑解。这表明能量律和一般的映射估计本身并不能决定全局动力学，它们遗漏了实际输运非线性所携带的代数和几何信息。

因此，本文提出一个比有限时间爆破问题更弱的问题：Navier-Stokes 类型的二次能量抵消，在没有额外相互作用几何信息的情况下，是否强制空间解析半径严格增加？

为了隔离这一效应，作者构建了两个具体的反例模型：

向量模型：在 $\mathbb{T}^3$ 上构造了一个显式的对称、平移不变的一阶双线性算子 $$Q$$ ，它保持无散类并满足精确的 Navier-Stokes 类型能量抵消。然而，对于任意预设的足够小的正时间 $$T$$ ，方程 $\partial_t u - \Delta u = Q(u,u)$ 存在一个全局光滑、实值、零均值、无散解 $$u$$ ，使得 $\operatorname{rad}(u(0)) = \operatorname{rad}(u(T)) = 1$ 。这意味着解析半径在初始时刻和预设时刻没有严格增加。
投影耗散 SQG 方程：对于 $1 < \alpha < 2$ ，作者构造了对称稀疏频率集及其相关的傅里叶投影，以及三角多项式初值。对应的投影耗散表面准地转波（SQG）方程的全局光滑解 $\theta$ 初始具有无穷大的解析半径，但在时间 $$T$$ 时满足 $0 < \operatorname{rad}(\theta(T)) \leq 1$ 。这表明即使从三角多项式数据出发，整函数解析性也不一定保持，超解析正则性也不一定成立。

这两个构造共同表明，仅凭精确的能量恒等式无法决定控制解析半径增长的频率几何结构。

2. 主要定理或主要结果

本文的主要结果包含两个定理，分别针对向量模型和投影 SQG 方程。

定理 1.1 (向量模型) 存在 $$T_0 > 0$$ ，使得对于任意 $$0 < T < T_0$$ ，方程

\partial_t u - \Delta u = Q(u, u), \quad \text{div } u = 0,

其中 $$Q$$ 定义为

Q(u, v) = -\frac{1}{2}P \sum_{j=1}^3 e_{j+1}\partial_j(u_{j+1}v_{j+1}),

（索引模 3， $$P$$ 为 Leray 投影），存在一个实值、零均值、无散的全局光滑解 $$u$$ ，满足能量恒等式

\frac{1}{2} \|u(t)\|_{L^2}^2 + \int_0^t \|\nabla u(s)\|_{L^2}^2 ds = \frac{1}{2} \|u(0)\|_{L^2}^2.

此外，解在时间 $$T$$ 的解析半径不大于其初始值，更精确地，

\operatorname{rad}(u(0)) = \operatorname{rad}(u(T)) = 1.

这里解析半径定义为

\operatorname{rad}(u) = \sup \left\{ \sigma \geq 0 : \sum_{k \in \mathbb{Z}^d} e^{2\sigma |k|} |\hat{u}(k)|^2 < \infty \right\}.

该结论是通过构造一个特定的 Cole-Hopf 热轮廓实现的，使得其最近的复零点在时间 $$T$$ 返回到与初始时刻相同的距离。

定理 1.2 (投影耗散 SQG 方程) 设 $1 < \alpha < 2$ 。存在 $T_\alpha > 0$ ，使得对于任意 $0 < T < T_\alpha$ ，可以选择一个对称集 $\Gamma = \Gamma_{\alpha,T} \subset \mathbb{Z}^2 \setminus \{0\}$ 和实值、零均值的三角多项式初值，使得投影 SQG 方程

\partial_t \theta + \Lambda^\alpha \theta = Q_\Gamma(\theta, \theta)

具有唯一的全局光滑解，满足精确的能量恒等式

\frac{1}{2} \|\theta(t)\|_{L^2}^2 + \int_0^t \|\Lambda^{\alpha/2}\theta(s)\|_{L^2}^2 ds = \frac{1}{2} \|\theta(0)\|_{L^2}^2.

此外， $\theta$ 的解析半径初始为无穷大，但在时间 $$T$$ 时为有限正值；更精确地，

\operatorname{rad}(\theta(0)) = \infty, \quad 0 < \operatorname{rad}(\theta(T)) \leq 1.

初值具有有限的傅里叶支撑，而在时间 $$T$$ ，解沿一个无限的疏序列满足逐系数的下界。这表明投影 SQG 演化本身生成了这种下界。

3. 研究方法、关键技术和核心工具

本文的证明框架主要依赖于两个独立但互补的构造技术：Cole-Hopf 变换与复零点追踪，以及稀疏傅里叶级联与比较估计。

1. 向量模型中的 Cole-Hopf 变换与复零点追踪

不变剪切类的约化：作者首先识别出一个不变的循环剪切类（cyclic-shear class），在该类中，三维向量方程可以约化为三个相同的一维粘性 Burgers 方程。具体地，令 $$g = g(t, x)$$ 为单变量周期函数，定义 $$$ u(t, x_1, x_2, x_3) = (g(t, x_3), g(t, x_1), g(t, x_2)). $$$ 则 $$u$$ 是无散的，且当且仅当 $$g$$ 满足 $\partial_t g - \partial_x^2 g = -\frac{1}{2}\partial_x(g^2)$ 时， $$u$$ 是原方程的解。
Cole-Hopf 变换：利用经典的 Cole-Hopf 变换，将非线性 Burgers 方程线性化为热方程。若 $\Phi$ 是正的热方程解，则 $g = -2\partial_x \log \Phi$ 是 Burgers 方程的解。
复零点的调谐：关键创新在于构造一个两频率的热轮廓 $\Phi(t, x) = 1 - a_1 e^{-t} \cos x + a_2 e^{-4t} \cos(2x)$ ，使得其在端点 $$t=0$$ 和 $$t=T$$ 时的最近复零点距离实轴的距离均为 1。通过因式分解 $\Phi(s, x) = 2a_2 e^{-4s}(\cosh 1 - \cos x)(\cosh \rho_s - \cos x),$ 其中 $\rho_s > 1$ ，可以明确看到最近零点由第一项因子贡献，位于 $x = 2\pi m \pm i$ 。这直接导致了傅里叶系数的显式表达式 $\hat{g}(s, n) = 2i(e^{-n} + e^{-\rho_s n}), \quad n \geq 1.$ 由于 $e^{-n}$ 项的存在，解析半径被限制为 1。这种构造确保了在预设时间 $$T$$ ，解析半径没有增加。

2. 投影 SQG 方程中的稀疏傅里叶级联

稀疏频率集的构造：作者构造了一个对称的稀疏频率集 $\Gamma$ ，其整数模式由一个三状态递推关系生成。主导特征值为 $\lambda$ ，次主导特征值的模为 $\mu$ ，满足 $\mu < \sqrt{\lambda}$ 。这导致输入模式几乎平行但长度不等。
三角形不等式亏量：关键的几何量是三角形不等式亏量 $\delta(p, q) = |p| + |q| - |p+q|$ 。由于模式的几何特性， $\delta(p, q) \lesssim (\mu^2/\lambda)^n$ ，而 SQG 乘子的大小约为 $|k|^\gamma$ ，其中 $\gamma = \log \mu / \log \lambda < 1/2$ 。
加性分离与比较估计：通过加性分离消除所有非预期的三元组（triads）。引入权重 $w_k = |k|^{\alpha-\gamma} e^{-\rho |k|}$ 后，每个归一化的生成系数与输出耗散相匹配。剩余的反馈相互作用在输入模式下指数级小。统一的上下比较界保证了有限 Galerkin 截断下的稳定性，从而可以取极限得到唯一的全局光滑解。这种方法从有限的傅里叶支撑生成了无限多个系数的指数下界。

4. 与之前工作的比较

本文与既有工作的主要区别在于其关注点从“解析性的创建或传播”转向了“能量抵消是否强制解析半径增长”。

1. 与经典解析性结果的对比

经典结果：Navier-Stokes 方程的经典解析性结果（如 Foias-Temam, Giga, Kato-Masuda 等）证明了指数加权范数的有限性，从而给出了解析半径的下界。这些结果通常量化了从 Sobolev 初值创建的解析性，或者描述了解析性的传播。
本文推进：Li 和第四作者 [24] 近期获得了广义三维 Navier-Stokes 方程在临界和亚临界 Sobolev 空间中的精细小时间下界。然而，这些结果并未断言具有解析初值的解在初始时间和任意预设的小正时间之间解析半径严格增加。定理 1.1 通过产生在 $$t=0$$ 和 $$t=T$$ 两个端点的显式逐系数傅里叶下界，回答了这一不同的端点问题，证明了解析半径可以不严格增加。

2. 与 Tao 平均化模型的对比

Tao 的构造：Tao [29] 通过旋转、缩放和零阶傅里叶乘子对 Euler 双线性算子进行平均，构造了一个保留精确能量抵消且从标准调和分析估计角度看并不更强的算子，但其对应的粘性方程存在有限时间爆破的光滑解。这表明能量律和一般映射估计不能决定全局动力学。
本文不同之处：本文的向量模型虽然也保留了能量抵消，但其解是全局光滑的，不存在有限时间爆破。相反，本文关注的是解析半径的行为。Tao 的例子展示了动力学的剧烈变化（爆破），而本文展示了更细微的性质（解析半径不增长）的失效。两者共同说明了能量抵消不足以捕捉完整的动力学信息。

3. 与 SQG 方程正则性结果的对比

既有结果：对于耗散 SQG 方程，Dong 和 Li [11] 证明了亚临界情形下空间解析性，Li [23] 在超临界范围 $0 < \alpha_{\text{diss}} < 1$ 证明了最优局部 Gevrey 估计。然而，由于 $\alpha_{\text{diss}} < 1$ ，这些 Gevrey 估计弱于空间解析性，且未给出常规解析半径的正下界。
本文不同之处：定理 1.2 研究的是正交投影后的耗散 SQG 方程。作者构造了一个高度稀疏且依赖于预设时间的投影，使得即使从三角多项式初值出发，解在正时间也具有有限且正的解析半径。这与既有结果不同，后者通常考虑未投影的方程或更广泛的初值空间。本文的结果表明，即使是整函数解析性也不会在投影 SQG 演化中保持，且超解析正则性不一定成立。

4. 二维磁流体库埃特流动的线性增长与非线性稳定性（垂直耗散情形）

Linear Growth and Nonlinear Stability of Two-Dimensional MHD Couette Flow with Vertical Dissipation

作者: Tao Liang, Jiahong Wu, Xiaoping Zhai

类别: math.AP

发布日期: 2026-09-04

arXiv ID: 2609.04584v1

摘要翻译: 我们研究在 $\mathbb T\times\mathbb R$ 上、靠近库埃特平衡态 $\bigl((y,0)^{\rm T},(β,0)^{\rm T}\bigr)$ 的二维不可压缩磁流体力学系统，其中粘度和磁扩散仅作用于垂直方向（各向异性情形）。对于无粘性线性化问题，当 $$|β|>1/2$$ 时，我们在时间导数水平上证明了涡量和电流密度的精确线性时间增长。与此相对，速度和磁场扰动的水平分量保持一致有界，而垂直分量以速率 $\langle t\rangle^{-1}$ 表现出定量无粘性阻尼。对于非线性问题，我们引入了剪切自适应傅里叶乘子，同时捕捉增强耗散、临界时间效应以及回声型共振相互作用。在适当的水平背景磁场和关于磁场强度、粘度与磁扩散之间定量相容性的条件下，我们对满足 $\left\| \bigl( \mathbf v_{\rm in}-(y,0)^{\rm T}, \mathbf H_{\rm in}-(β,0)^{\rm T} \bigr) \right\|_{H^N} \leq \varepsilon_0\min\{μ,ν\}^{1/2}, N\geq4$ 的无散度扰动建立了全局非线性稳定性。此外，非零水平傅里叶模在剪切自适应 $$H^N$$ 范数下以增强耗散速率 $e^{-c\min\{μ,ν\}^{1/3}\,t}$ 衰减，并且垂直速度和磁场分量获得额外的无粘性阻尼因子 $\langle t\rangle^{-1}$ 。

Comment: Any comments are welcome

链接: http://arxiv.org/abs/2609.04584v1

1. 研究对象和背景

本文研究二维不可压缩磁流体动力学 (MHD) 系统在库埃塔平衡态附近的非线性稳定性问题。具体而言，考虑定义在圆柱域 $\mathbb{T} \times \mathbb{R}$ 上的二维 MHD 方程组：

\begin{cases} \partial_t \mathbf{v} + \mathbf{v} \cdot \nabla \mathbf{v} - \nu \partial_{yy} \mathbf{v} + \nabla P = \mathbf{H} \cdot \nabla \mathbf{H}, \\ \partial_t \mathbf{H} + \mathbf{v} \cdot \nabla \mathbf{H} - \mu \partial_{yy} \mathbf{H} = \mathbf{H} \cdot \nabla \mathbf{v}, \\ \text{div } \mathbf{v} = \text{div } \mathbf{H} = 0, \end{cases}

其中 $\mathbf{v}$ 和 $\mathbf{H}$ 分别为速度场和磁场， $$P$$ 为压力， $\nu > 0$ 和 $\mu > 0$ 分别为粘度和磁扩散系数。该模型的一个显著特征是耗散项（粘性项 $-\nu \partial_{yy} \mathbf{v}$ 和磁扩散项 $-\mu \partial_{yy} \mathbf{H}$ ）仅在垂直方向 ( $$y$$ 方向) 起作用，而在水平方向 ( $$x$$ 方向) 没有耗散。这种各向异性耗散设定与库埃塔剪切流 $$(y, 0)^T$$ 的混合机制相容：背景剪切将非零水平模态向高垂直频率输运，使得仅作用于垂直方向的耗散算子 $\partial_{yy}$ 能够有效地抑制扰动，从而产生“增强耗散”效应。

研究的平衡态为静止的库埃塔流叠加一个均匀的水平背景磁场：

\mathbf{v}_s = (y, 0)^T, \quad \mathbf{H}_s = (\beta, 0)^T,

其中 $\beta \in \mathbb{R} \setminus \{0\}$ 是施加的水平磁场强度。引入扰动 $\mathbf{u} = \mathbf{v} - \mathbf{v}_s$ 和 $\mathbf{b} = \mathbf{H} - \mathbf{H}_s$ ，系统可重写为关于 $(\mathbf{u}, \mathbf{b})$ 的非线性演化方程。与纯 Navier-Stokes 方程不同，MHD 系统中速度与磁场通过阿尔文相互作用耦合在一起。这种耦合可能削弱或增强经典的库埃塔混合和无粘阻尼机制，具体取决于背景磁场的强度和方向。量化这种竞争关系是理解 MHD 流动稳定性的关键。

在已有的文献中，对于完全耗散（即耗散项为 $-\Delta$ ）的二维和三维 MHD 库埃塔流，已经取得了许多关于 Sobolev 空间稳定性阈值的重要结果。例如，Chen 和 Zi [10] 在 $\nu=\mu$ 的情况下建立了二维完全耗散 MHD 系统的 Sobolev 稳定性阈值 $\gamma = 5/6^+$ ；Dolce [14] 研究了流体主导区域的情况；Knobel [21] 证明了当 $\mu \lesssim \nu^3$ 时存在不稳定性及范数膨胀。然而，当耗散机制退化或仅作用在特定方向时，稳定性机制变得更加微妙。Zhao 和 Zi [38] 研究了无粘但有磁扩散的 Euler-MHD 系统；Dolce, Knobel 和 Zillinger [16] 以及 Knobel 和 Zillinger [22] 分别研究了有粘但无磁阻或具有水平磁耗散的情况。这些工作表明，稳定性阈值不仅对 $\nu$ 和 $\mu$ 的相对大小非常敏感，而且对耗散机制的方向和退化性也极为敏感。

本文旨在填补以下空白：研究当粘性和磁扩散均仅作用在垂直方向这一各向异性情形下的二维 MHD 库埃塔流的稳定性。具体目标是确定在此类退化耗散下，背景磁场强度 $\beta$ 、粘度 $\nu$ 和磁扩散 $\mu$ 之间需要满足何种定量兼容性条件，才能保证小扰动扰动的全局非线性稳定性，并刻画解的衰减率。此外，本文还详细分析了无粘线性化问题的瞬态增长行为，揭示了涡度和电流密度的线性时间增长与速度/磁场分量的无粘阻尼之间的内在联系，这为后续的非线性分析提供了重要的结构线索。

2. 主要定理或主要结果

本文的主要结果分为两部分：无粘线性化问题的增长与阻尼性质，以及非线性问题的全局稳定性。

定理 1.1 (线性增长与无粘阻尼) 考虑无粘线性化系统（即设 $\nu = \mu = 0$ ），其涡度-电流形式为：

\begin{cases} \partial_t \omega + y \partial_x \omega - \beta \partial_x j = 0, \\ \partial_t j + y \partial_x j - \beta \partial_x \omega + 2 \partial_x \partial_y \phi = 0, \\ \mathbf{u} = \nabla^\perp \psi, \; \Delta \psi = \omega, \\ \mathbf{b} = \nabla^\perp \phi, \; \Delta \phi = j. \end{cases}

假设 $|\beta| > 1/2$ ，且初始数据 $(\omega_{in}, j_{in}) \in H^1(\mathbb{T} \times \mathbb{R})$ 。则存在常数 $C = C(\beta) > 0$ ，使得对于所有 $t \ge 0$ ，非零水平模态 $(\omega_\neq, j_\neq)$ 满足如下尖锐的线性时间增长估计：

C^{-1} \langle t \rangle \left\| \partial_x^2 (-\Delta)^{-1} (\omega_{in,\neq}, j_{in,\neq}) \right\|_{L^2} \le \| (\omega_\neq, j_\neq)(t) \|_{L^2} \le C \langle t \rangle \| (\omega_{in,\neq}, j_{in,\neq}) \|_{L^2}.

这意味着涡度和电流密度的 $$L^2$$ 范数随时间呈线性增长，且该增长率在时间尺度上是尖锐的。

与此同时，速度和磁场的分量表现出不同的行为。水平分量保持均匀有界：

\| (u_{1,\neq}, b_{1,\neq})(t) \|_{L^2} \le C \| (\omega_{in,\neq}, j_{in,\neq}) \|_{L^2}.

而垂直分量则展现出定量的无粘阻尼，以速率 $\langle t \rangle^{-1}$ 衰减：

\| (u_{2,\neq}, b_{2,\neq})(t) \|_{L^2} \le C \langle t \rangle^{-1} \| (\omega_{in,\neq}, j_{in,\neq}) \|_{H^1}.

这一结果表明，尽管涡度和电流被剪切放大，但通过 Biot-Savart 律获得的正则性以及相混合效应，导致了垂直速度/磁场分量的代数衰减。

定理 1.2 (非线性稳定性) 考虑带有垂直粘性和垂直磁扩散的非线性系统。设 $\mu, \nu \in (0, 1]$ ， $N \ge 4$ ， $\vartheta \in (0, 1/6)$ 。假设背景磁场强度满足以下条件：

|\beta| > \frac{7\pi + 1}{6(\mu + \nu)}, \quad \frac{6(\mu + \nu)}{|\beta| \sqrt{\mu \nu}} \le 1 - 6\vartheta.

则存在依赖于 $N, \beta, \vartheta$ 的正常数 $\varepsilon_0$ ，使得如果初始扰动满足：

\| (\mathbf{u}_{in}, \mathbf{b}_{in}) \|_{H^N} \le \varepsilon_0 \kappa^{1/2}, \quad \kappa := \min\{\mu, \nu\},

则扰动系统存在唯一的全局解 $(\mathbf{u}, \mathbf{b}) \in C([0, \infty); H^N(\mathbb{T} \times \mathbb{R}))$ ，并且满足以下衰减速率估计：

加权 $$H^N$$ 范数的均匀有界性： $\| \Lambda_t^N (\mathbf{u}, \mathbf{b})(t) \|_{L^2} \le C \varepsilon_0 \kappa^{1/2}.$
非零水平模态的增强耗散衰减： $\| (u_{1,\neq}, b_{1,\neq})(t) \|_{L^2} + \langle t \rangle \| (u_{2,\neq}, b_{2,\neq})(t) \|_{L^2} \le C \varepsilon_0 \kappa^{1/2} e^{-\frac{1}{64} \kappa^{1/3} t},$ $\| \Lambda_t^N (\mathbf{u}_\neq, \mathbf{b}_\neq)(t) \|_{L^2} \le C \varepsilon_0 \kappa^{1/3} e^{-\frac{1}{64} \kappa^{1/3} t}.$ 这里 $\Lambda_t$ 是与剪切适应的时间依赖椭圆算子，其傅里叶符号为 $1 + k^2 + (\xi + kt)^2$ 。指数衰减率 $e^{-c \kappa^{1/3} t}$ 反映了增强耗散机制的作用，其中特征时间尺度为 $t_{ED} \sim \kappa^{-1/3}$ 。垂直分量额外获得了 $\langle t \rangle^{-1}$ 的无粘阻尼因子。

3. 研究方法、关键技术和核心工具

证明的核心难点在于控制由线性瞬态增长放大的非线性共振相互作用（回声效应）。尽管耗散仅在垂直方向作用，但背景剪切流将非零水平模态高效地倾斜至高垂直频率，从而将垂直耗散转化为有效的增强耗散。作者构建了一套同时适应增强耗散、临界时间几何和阿尔文耦合的时间依赖加权能量框架。

1. 时间依赖傅里叶乘子 作者引入了三个精心设计的傅里叶乘子 $M_k^{(1)}(\xi)$ , $M_k^{(2)}(\xi)$ 和 $M_k^{(3)}(t, \xi)$ ，分别捕捉三种互补机制：

增强耗散乘子 $M_k^{(1)}$ ：定义为 $M_k^{(1)}(\xi) = \frac{1}{3\pi} \arctan(\kappa^{1/3} |k|^{-1/3} \text{sgn}(k) \xi)$ 。它满足不等式 $\kappa \xi^2 + k \partial_\xi M_k^{(1)}(\xi) \gtrsim \kappa^{1/3} |k|^{2/3}$ ，表明库埃塔混合与垂直扩散结合提供了有效水平强制性，量级为 $\kappa^{1/3} |\partial_x|^{2/3}$ 。
临界时间乘子 $M_k^{(2)}$ ：局部化在临界时间区域附近，生成非负权重 $k \partial_\xi M_k^{(2)}(\xi) \gtrsim \delta'_k(\xi) \ge 0$ ，用于控制与临界变量 $\xi/k$ 相关的相互作用。
回声乘子 $M_k^{(3)}$ ：这是一个时间依赖乘子，构造使得 $G_k(t, \xi) := (-\partial_t + k \partial_\xi) M_k^{(3)}(t, \xi) \ge 0$ 。该权重 $$G_k$$ 适应于共振卷积几何，专门用于控制回声型非线性相互作用。其显式表达式涉及对历史时间的积分和对数权重，利用了传输恒等式 $(-\partial_t + k \partial_\xi) \frac{\xi - \eta + k(t-\tau)}{k-\ell} = 0$ 来简化计算。

基于这些乘子，定义了完整的权重函数 $W_k(t, \xi) = A_k(t, \xi) (M_k^{(1)}(\xi) + M_k^{(2)}(\xi) + M_k^{(3)}(t, \xi) + 2/3)$ ，其中 $A_k(t, \xi) = \exp(\frac{1}{32} \kappa^{1/3} t \mathbf{1}_{k \neq 0})$ 包含了预期的指数衰减。关键的强制性估计为：

2\sigma \xi^2 W_k(t, \xi) + (-\partial_t + k \partial_\xi) W_k(t, \xi) \gtrsim A_k(t, \xi) \left( \sigma \xi^2 + \kappa^{1/3} |k|^{2/3} + \delta'_k(\xi) + G_k(t, \xi) \right).

2. 剪切适应能量与修正能量 为了跟随库埃塔特征线，使用时间依赖椭圆算子 $\Lambda_t^2 = 1 - \partial_x^2 - (\partial_y + t \partial_x)^2$ 。由于 $(\partial_t - k \partial_\xi) \Lambda_t^N(k, \xi) = 0$ ，该算子在傅里叶层面与线性库埃塔传输交换。定义加权范数 $X(t) = \| \sqrt{W} \Lambda_t^N (\mathbf{u}, \mathbf{b})(t) \|_{L^2}$ 。

然而，标准的能量 $$X^2(t)$$ 不足以处理阿尔文耦合。受线性化系统启发，作者引入了包含水平和垂直分量的交叉项，定义了一个修正能量 $$E(t)$$ 。当 $|\beta|$ 足够大时，这些交叉项是微扰性的，且 $E(t) \approx X^2(t)$ 。更重要的是，修正能量抵消了导致定理 1.1 中瞬态增长的主导线性耦合项。

3. 能量不等式与 Bootstrap 闭合 对 $$E(t)$$ 求导并利用乘子强制性，得到如下形式的能量不等式：

\frac{d}{dt} E(t) + c_D Dis_1(t) + c_1 CK_1(t) + c_2 CK_2(t) + c_3 CK_3(t) \le C \sum_{i=1}^8 Z_i(t),

其中 $$Dis_1$$ 代表物理耗散， $$CK_1, CK_2, CK_3$$ 分别对应增强耗散、临界时间控制和回声控制的时空控制量。条件 $\frac{6(\mu+\nu)}{|\beta|\sqrt{\mu\nu}} \le 1 - 6\vartheta$ 确保了由不同扩散系数引起的线性交叉耗散误差可以被物理耗散吸收。额外的 $|\beta|$ 下界保证了剩余线性误差可以被 CK 项吸收。

非线性项利用不可压性和乘子的有限差分界进行估计。对于输运型非线性项，主导导数通过不可压条件消除，剩余的交换子包含乘子差的形式，这些差值可以通过物理耗散和 CK 量来控制。远离共振区域，Sobolev 权重和增强耗散足够；在临界时间附近，使用 $\delta'_k(\xi)$ 权重； $G_k(t, \xi)$ 控制共振回声相互作用。最终，通过引入 Bootstrap 假设 $X(t) \le c \kappa^{1/2}$ ，并将非线性项吸收到能量不等式左边的耗散项中，完成全局存在性的证明。

4. 与之前工作的比较

本文工作与已有 MHD 库埃塔流稳定性文献相比，主要在耗散结构的各向异性、磁场强度的定量要求以及非线性共振的控制策略上有所推进。

1. 耗散结构的各向异性与增强耗散机制 与 Chen and Zi [10], Dolce [14], Knobel [21] 等研究完全耗散（ $-\Delta$ ）MHD 系统的工作不同，本文考虑的是粘性和磁扩散均仅作用在垂直方向的各向异性模型。这种设定更接近某些具有方向依赖性输运系数的磁化流体模型。虽然耗散是退化的，但作者指出，由于库埃塔剪切将非零水平模态输运到高垂直频率，垂直耗散 $\partial_{yy}$ 变得有效，从而保留了增强耗散机制。这与 Zhao and Zi [38] 研究的无粘但有磁扩散（Euler-MHD）情况不同，后者缺乏粘性耗散，主要依赖磁扩散和强磁场稳定；也与 Knobel and Zillinger [22] 研究的具有水平磁耗散的情况不同。本文的结果表明，即使在没有水平耗散的情况下，只要磁场足够强且满足特定的兼容性条件，全局稳定性依然成立，且衰减率为 $e^{-c \kappa^{1/3} t}$ ，这与完全耗散情况下常见的 $e^{-c \nu^{1/3} t}$ 或类似代数/指数衰减在形式上一致，但参数依赖关系因各向异性而异。

2. 磁场强度与稳定性阈值的定量比较 在完全耗散的二维 MHD 系统中，Chen and Zi [10] 在 $\nu=\mu$ 时得到了 Sobolev 阈值 $\gamma = 5/6^+$ 。而在本文的各向异性模型中，稳定性阈值表现为初始扰动的振幅需满足 $\| (\mathbf{u}_{in}, \mathbf{b}_{in}) \|_{H^N} \le \varepsilon_0 \min\{\mu, \nu\}^{1/2}$ 。这意味着过渡阈值指数为 $\gamma = 1/2$ 。这一阈值低于完全耗散情况下的 $$5/6$$ ，暗示在各向异性耗散下，系统可能对扰动更敏感，或者是因为缺乏水平耗散导致的正则性损失较小？实际上， $\gamma=1/2$ 通常对应于更强的稳定性或更弱的非线性效应，但在 MHD 背景下，这可能与磁场提供的额外稳定机制有关。值得注意的是，本文对背景磁场强度 $|\beta|$ 的要求非常严格： $|\beta| > \frac{7\pi+1}{6(\mu+\nu)}$ 且 $\frac{6(\mu+\nu)}{|\beta|\sqrt{\mu\nu}} \le 1 - 6\vartheta$ 。相比之下，Liss [25] 在三维完全耗散情况下只需要 Diophantine 条件，而 Wang, Xu, Zhang [33] 在理性对齐磁场下也无需如此强的绝对下界。作者明确指出，这些数值约束来自其对称化能量框架中的 Cauchy-Kovalevskaya (CK) 系数的正性要求，而非尖锐的物理阈值。因此，本文的适用范围局限于强磁场区域，这是相对于其他工作的一个显著局限。放宽 $|\beta|$ 至接近线性稳定性阈值 $|\beta| > 1/2$ 是一个开放问题。

3. 线性瞬态增长与非线性共振控制的创新 本文的一个独特贡献是明确识别并利用了无粘线性化中涡度和电流密度的线性时间增长（定理 1.1）。在之前的 MHD 稳定性工作中，通常直接处理速度或涡度，较少单独强调这种由阿尔文耦合引起的瞬态增长结构。作者利用这一结构，设计了专门的回声乘子 $M_k^{(3)}$ 来控制由此引发的非线性共振相互作用。这与 Bedrossian, Germain, Masmoudi [1] 在 Navier-Stokes 中引入的时间依赖权重思想一脉相承，但在 MHD 的矢量耦合背景下进行了扩展。特别是，乘子 $M_k^{(3)}$ 的设计考虑了共振卷积几何，这在处理 MHD 系统中复杂的波-波相互作用时至关重要。与 Dolce [15] 在三维情况下识别出的非线性瞬态增长区间相比，本文在二维各向异性设定下给出了更具体的全局稳定性判据。

中文标题: Erdős相似性猜想与Rajchman测度

摘要翻译: 设 $A\subseteq\mathbb{R}$ 支撑一个Fourier–Stieltjes变换在无穷远处趋于零的概率测度。我们证明，对任意 $\varepsilon\in(0,1)$ ，存在一个闭的、 $$1$$ -周期的、无处稠密集合 $E\subseteq\mathbb{R}$ ，使得对于每个长度为 $$1$$ 的区间 $$I$$ ，都有

m(E\cap I)\ge1-\varepsilon

同时 $$E$$ 不包含 $$A$$ 的任何仿射副本。因此，任何支撑Rajchman测度的集合都满足Erdős相似性猜想的均匀大集形式。该证明结合了该测度的大倍率模一均匀分布以及一族低密度周期阻塞子；未使用Fourier衰减的定量速率。我们还改进了Ivašev-Musatov的一个经典定理，表明对任意Hausdorff标度函数 $$h$$ ，存在一个 $$h$$ -零紧Rajchman支撑集 $$K$$ ，满足

\overline{\dim}_{\mathrm B}^{\log} K=\dim_{\mathrm P}^{\log} K=1.

链接: http://arxiv.org/abs/2609.04780v1

摘要: We study the Liouville property for nonnegative weak solutions of the $$(p,q)$$ -Laplacian elliptic differential inequality

Δ^{m}_{p}u(x)+Δ^{m}_{q}u(x)+V(x)u^{s}(x)\leq 0

and the associated parabolic differential inequality

\partial_t u(x,t) \geq Δ^{m}_{p}u(x,t)+Δ^{m}_{q}u(x,t)+V(x,t)u^{s}(x,t)

on a forward geodesically complete noncompact Finsler measure space $$(M,F,m)$$ with finite reversibility. Under several sets of integral growth conditions on the positive potential function over certain annular domains, we prove that any nonnegative weak solution vanishes almost everywhere. The proofs of our results are essentially based on the nonlinear capacity method.

10. 超越球对称的裸奇点：通过迭代方案证明 $$κ$$ -自相似解的不稳定性

Naked Singularities beyond Spherical Symmetry: Instability of $$κ$$ -Self-Similar Solutions via an Iteration Scheme

作者: Xinliang An, Shengrong Wu

类别: gr-qc, math-ph, math.AP, math.DG

发布日期: 2026-09-04

arXiv ID: 2609.04723v1

链接: http://arxiv.org/abs/2609.04723v1

摘要: This paper provides the instability counterpart to our recent construction of nonspherically symmetric approximating $$κ$$ -self-similar naked-singularity solutions for the Einstein–scalar field system. These singular solutions contain pervasive nonspherical borderline terms, and to prove instability the delicate renormalization procedure developed in [2] does not extend to the more singular setting considered here. To overcome these difficulties, we introduce a new iteration scheme adapted to singular backgrounds whose leading-order geometry depends on the angular variables. At each step, the nonlinear coefficients are frozen using the preceding double-null geometry, and the resulting equations are solved in a triangular order. In this way, the nonspherical borderline terms are incorporated into the approximate geometry rather than treated as perturbative errors, yielding successively sharper estimates. After sufficiently many iterations, the scheme controls the singular angular structure and produces an approximate spacetime whose difference from the exact solution satisfies the required bounds. In particular, these bounds provide an existence region large enough to carry out the instability argument. We further prove that anisotropic perturbations of the outgoing data, arbitrarily small in a scale-critical norm, lead to the formation of a trapped surface. We also formulate and verify a matter-focusing condition under which a parabolic flow argument guarantees the existence of a corresponding marginally outer trapped surface (MOTS). Together, these results establish the nonlinear instability of $$κ$$ -self-similar naked singularities beyond spherical symmetry in the Einstein–scalar field system and introduce a framework for applications across Einstein systems.

11. 平均曲率流平移解的 Bernstein 问题

A Bernstein problem for translating solutions to the mean curvature flow

作者: Juan Davila, Manuel del Pino, Juncheng Wei

类别: math.DG, math.AP

发布日期: 2026-09-04

arXiv ID: 2609.04675v1

链接: http://arxiv.org/abs/2609.04675v1

摘要: We study entire graphical translating solutions of the mean curvature flow,

\operatorname{div}\!\left(\frac{\nabla G}{\sqrt{1+|\nabla G|^2}}\right) =\frac{1}{\sqrt{1+|\nabla G|^2}} \qquad\text{in }\mathbb R^N.

Every such graph is mean-convex, since its mean curvature is the vertical component of its unit normal. In dimension two, mean-convex translating solitons are convex, and an entire graphical translator is therefore the rotationally symmetric bowl soliton. In higher dimensions Wang constructed non-rotational entire convex translating graphs. We prove that a further loss of rigidity occurs at the Bernstein dimension: for every $N\ge 8$ there exists a one-parameter family of entire graphical translators that are mean-convex but not convex. The construction starts from the Bombieri–De Giorgi–Giusti (BDG) entire minimal graph in $\mathbb R^8$ and develops a singular perturbation theory for the translator equation around it. The main new feature is a transition layer near Simons’ cone: the translating term breaks the odd symmetry of the minimal graph, and after a suitable recentering the matching problem is governed by a parabolic inner equation. A detailed analysis of this layer, together with weighted Jacobi theory on the BDG graph and global barriers, yields the desired entire solutions.

12. 关于 t-SNE 能量临界点的丰度

On the Abundance of Critical Points of the t-SNE Energy

作者: Nakul Haridas, Ryan Murray

类别: cs.LG, math.AP, math.ST

发布日期: 2026-09-03

arXiv ID: 2609.04379v1

链接: http://arxiv.org/abs/2609.04379v1

摘要: This paper considers the energy landscape of the t-SNE algorithm. While this algorithm has enjoyed broad adoption, the non-convexity of the associated energy has made it difficult to rigorously understand what the algorithm captures in many settings. In particular, a number of well-known numerical examples, several of which are reproduced in this article, suggest a complicated energy landscape with many local minimizers that do not respect the topology or clustering structure of the underlying data. This work seeks to provide first steps towards a rigorous explanation of these phenomena. Specifically, for a general family of energies, which include both the original t-SNE algorithm and recently identified large data limits, and for densities in feature space which obey a continuous symmetry, we construct infinite families of distinct critical points. These critical points are based upon identifying pairs of discrete symmetries, one in the original feature space and the other in the target embedding space, which are preserved under gradient dynamics. These critical configurations exhibit many characteristics, such as topology breaking and spurious clustering, which are often observed empirically. Finally, numerical and analytical examples are given throughout as a means of illustrating the approach.

重点关注论文（完整分析）#

1. 具有螺旋 $L^1$ 涡度的三维 Navier-Stokes 方程的整体适定性#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

2. 关于具有肥尾的光滑无黏涡#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

3. 能量抵消流体模型中解析半径增长的失效#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

4. 二维磁流体库埃特流动的线性增长与非线性稳定性（垂直耗散情形）#

1. 研究对象和背景#

2. 主要定理或主要结果#

3. 研究方法、关键技术和核心工具#

4. 与之前工作的比较#

了解领域论文（摘要翻译）#

1. Hardy–Littlewood 极大函数的弱型 $(1,1)$ 界为 $O(\sqrt{n} \log n)$#

摘要翻译#

2. 数据驱动多孔介质问题热力学一致解的存在性#

摘要翻译#

3. 一类非局部非线性性的色散延拓结果#

摘要翻译#

4. 高阶无界粗糙驱动#

摘要翻译#

5. 具有体积填充效应的 Keller–Segel 系统的三种渐近情形#

摘要翻译#

6. Erdős相似性猜想与Rajchman测度#

摘要翻译#

不相关论文（基本信息）#

1. 边界条件小 Robin 扰动下电压势的渐近展开#

2. 通过加权能量耗散得到的四阶退化抛物方程的解#

3. 单位球上 $k$-Hessian 特征值的渐近性#

4. 线性抛物方程指数稳定性的加权半群方法#

5. 正曲率情形下的单调性公式及其在两相自由边界问题中的应用#

6. 整数格上分数阶 Fisher-KPP 方程的尖锐传播与局部到非局部的转变#

7. 针对高度非均匀散射问题的多尺度有限元方法的频率显式收敛性分析#

8. 从计划到映射：最优传输的非局部正则化#

9. 关于 Finsler 测度空间上 $(p,q)$-拉普拉斯不等式的 Liouville 问题#

10. 超越球对称的裸奇点：通过迭代方案证明 $κ$-自相似解的不稳定性#

11. 平均曲率流平移解的 Bernstein 问题#

12. 关于 t-SNE 能量临界点的丰度#

重点关注论文（完整分析）

1. 具有螺旋 $$L^1$$ 涡度的三维 Navier-Stokes 方程的整体适定性

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

2. 关于具有肥尾的光滑无黏涡

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

3. 能量抵消流体模型中解析半径增长的失效

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

4. 二维磁流体库埃特流动的线性增长与非线性稳定性（垂直耗散情形）

1. 研究对象和背景

2. 主要定理或主要结果

3. 研究方法、关键技术和核心工具

4. 与之前工作的比较

了解领域论文（摘要翻译）

1. Hardy–Littlewood 极大函数的弱型 $$(1,1)$$ 界为 $O(\sqrt{n} \log n)$

摘要翻译

2. 数据驱动多孔介质问题热力学一致解的存在性

摘要翻译

3. 一类非局部非线性性的色散延拓结果

摘要翻译

4. 高阶无界粗糙驱动

摘要翻译

5. 具有体积填充效应的 Keller–Segel 系统的三种渐近情形

摘要翻译

6. Erdős相似性猜想与Rajchman测度

摘要翻译

不相关论文（基本信息）

1. 边界条件小 Robin 扰动下电压势的渐近展开

2. 通过加权能量耗散得到的四阶退化抛物方程的解

3. 单位球上 $$k$$ -Hessian 特征值的渐近性

4. 线性抛物方程指数稳定性的加权半群方法

5. 正曲率情形下的单调性公式及其在两相自由边界问题中的应用

6. 整数格上分数阶 Fisher-KPP 方程的尖锐传播与局部到非局部的转变

7. 针对高度非均匀散射问题的多尺度有限元方法的频率显式收敛性分析

8. 从计划到映射：最优传输的非局部正则化

9. 关于 Finsler 测度空间上 $$(p,q)$$ -拉普拉斯不等式的 Liouville 问题

10. 超越球对称的裸奇点：通过迭代方案证明 $$κ$$ -自相似解的不稳定性

11. 平均曲率流平移解的 Bernstein 问题

12. 关于 t-SNE 能量临界点的丰度