生成时间: 2026年04月13日 05:33:39

重点关注论文数量: 4

了解领域论文数量: 14

不相关论文数量: 4

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

1. 三维欧拉方程中具有紧支截面涡度的聚集涡旋螺旋

Clustered vortex helices with compactly supported cross-sectional vorticity in the 3D Euler equations

作者: Averkios Averkiou, Monica Musso, Fang Yu

类别: math.AP

发布日期: 2026-04-10

arXiv ID: 2604.09546v1

摘要翻译: 我们考虑无旋向分量的三维不可压缩欧拉方程中的螺旋流。通过改进粘合技术，我们在全空间 $\mathbb{R}^3$ 中构造了首个光滑的多涡旋解，该解展现出一族坍缩的螺旋涡丝，且其对应的截面涡度在所有时刻均在 $\mathbb{R}^2$ 中保持紧支集。我们的结果推广了此前在 $\mathbb{R}^3$ 中具有快速衰减涡核的坍缩构型，并将无限长圆柱区域中已获得的相关变分解加以拓展。

Comment: 32 pages

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

1. 研究对象和背景

本文研究的是三维不可压缩无粘流体在全空间 $\mathbb{R}^3$ 中的欧拉方程，特别关注一类具有螺旋对称性且无螺旋 swirl（即无沿螺旋方向的速度分量）的解。这类解的涡度向量场 $\vec{\omega}(x, t)$ 高度集中在若干条随时间演化的光滑曲线（称为涡丝）附近，并且其横截面涡度（cross-sectional vorticity）在二维平面上具有紧支集（compactly supported），这是与以往工作的关键区别。

具体而言，三维欧拉方程的涡度形式为：

\partial_t \vec{\omega} + (u \cdot \nabla) \vec{\omega} = (\vec{\omega} \cdot \nabla) u, \quad u = \nabla \times \vec{\psi}, \quad -\Delta \vec{\psi} = \vec{\omega}.

在螺旋对称且无 swirl 的假设下，该系统可约化为二维平面上的一个输运-椭圆耦合系统。引入慢时间变量 $\tau = |\log \varepsilon| t$ 后，问题进一步简化为寻找一对函数 $(w(x', \tau), \psi(x', \tau))$ 满足：

|\log \varepsilon| \partial_\tau w + \nabla^\perp \psi \cdot \nabla w = 0, \quad -\nabla \cdot (K \nabla \psi) = w,

其中 $x' = (x_1, x_2) \in \mathbb{R}^2$ ，系数矩阵 $$K(x')$$ 由螺旋几何决定：

K(x_1, x_2) = \frac{1}{h^2 + x_1^2 + x_2^2} \begin{pmatrix} h^2 + x_2^2 & -x_1 x_2 \\ -x_1 x_2 & h^2 + x_1^2 \end{pmatrix}.

通过寻找刚性旋转解 $w(x', \tau) = W(R_{\alpha \tau} x')$ ，问题最终归结为求解一个半线性椭圆方程：

\nabla_x \cdot (K(x) \nabla_x \Psi) + F\left( \Psi - \frac{\alpha}{2} |\log \varepsilon| |x|^2 \right) = 0, \quad x \in \mathbb{R}^2,

其中非线性项 $F(s) \sim s_+^\gamma$ ( $\gamma > 3$ ) 的选择是实现紧支涡度的关键。这与之前使用指数型非线性 $F(s) \sim e^s$ 的工作有本质不同，后者导致涡度呈快速衰减而非紧支。

本文试图填补的空白在于：尽管已有文献（如 [7,9,17,23,24]）构造了多涡旋螺旋解，但它们要么定义在无限长圆柱域内，要么其涡核（vorticity core）仅具有快速衰减性，而非紧支；要么涡丝之间保持 $$O(1)$$ 距离，相互作用较弱。本文首次在全空间 $\mathbb{R}^3$ 中构造出全局光滑、多涡旋、涡丝聚集坍缩（collapsing filaments）且横截面涡度紧支的解。这里的“聚集”意味着 $$N$$ 条螺旋涡丝的中心点 $$P_i = (a_i, b_i)$$ 在 $\varepsilon \to 0$ 时以 $O(|\log \varepsilon|^{-1})$ 的尺度趋近于同一个极限点 $$(r_0, 0)$$ ，从而进入一个强耦合相互作用的 regime，这给分析带来了巨大挑战。

2. 主要定理或主要结果

本文的主要结果是定理 1，其核心结论如下：

在给定整数 $N \geq 1$ 、常数 $$r_0 > 0$$ , $$h > 0$$ 以及满足 $\sum_{i=1}^N \kappa_i > 0$ 的实数 $\kappa_1, \dots, \kappa_N$ 的条件下，存在特定的涡心位置 $$P_i$$ 和全局光滑解 $\vec{\omega}_\varepsilon(x, \tau)$ ，使得：

涡心位置：涡心 $$P_i$$ 具有如下渐近展开：
$P_i = (r_0 + \tilde{r}^*, 0) + \frac{1}{|\log \varepsilon|} \hat{P}_i, \quad \hat{P}_i = \bar{P}_i + q_i,$
其中 $|\tilde{r}^*|, |q_i| \lesssim \frac{\log |\log \varepsilon|}{|\log \varepsilon|}$ 。主导项 $\bar{P}_i$ 是一个由平衡条件 (1.9) 确定的非退化解，该条件源于涡丝间的相互作用力与自诱导运动之间的平衡。
解的性质：所构造的解 $\vec{\omega}_\varepsilon(x, \tau)$ 是方程 (1.1) 的全局光滑解，其横截面涡度在所有时刻都具有紧支集。更精确地，对于任意 $(x_3, \tau) \in \mathbb{R} \times \mathbb{R}$ ，有
$\text{supp } \vec{\omega}_\varepsilon(\cdot, x_3, \tau) \subset \bigcup_{i=1}^N B_{\varepsilon |\log \varepsilon|^2}\left( R_{\frac{x_3}{h} - \alpha \tau} P_i \right),$
其中 $R_\theta$ 是二维旋转矩阵。这表明涡度被严格限制在 $$N$$ 个互不重叠的螺旋管内，每个管的半径为 $\varepsilon |\log \varepsilon|^2$ 。
集中性：当 $\varepsilon \to 0$ 时，解在测度意义下收敛到 $$N$$ 条坍缩螺旋涡丝的叠加：
$\vec{\omega}_\varepsilon(x, |\log \varepsilon|^{-1} \tau) \rightharpoonup \sum_{i=1}^N \kappa_i \delta_{G_i(\tau)} T_{G_i(\tau)},$
其中 $G_i(\tau)$ 是由 (1.3) 给出的螺旋曲线， $T_{G_i(\tau)}$ 是其单位切向量， $\delta_{G_i(\tau)}$ 是支撑在其上的 Dirac 测度。
参数确定：常数 $\alpha > 0$ 由公式 (1.10) 唯一确定：
$\alpha = \frac{-\nu'(1)}{2(h^2 + r_0^2)} \frac{\sum_{i=1}^N \kappa_i^2}{\sum_{i=1}^N \kappa_i},$
其中 $\nu'(1) < 0$ 来源于紧支基态解 $\Gamma$ 在边界处的法向导数。

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

本文证明的核心技术障碍在于处理由紧支非线性项 $F(s) = s_+^\gamma$ 引入的强耦合效应。与使用 Liouville 算子 $\Delta + e^u$ 的先前工作不同，本文涉及的线性化算子 $\Delta + \gamma \Gamma^{\gamma-1}_+$ 在 $\mathbb{R}^2$ 上有一个非平凡的径向核元素 $Z_0 = O(\log(2+|y|))$ ，并且其与非齐次项的内积 $\int_{\mathbb{R}^2} \gamma \Gamma^{\gamma-1}_+ Z_0 \, dy \neq 0$ 。这一性质导致标准的 Inner-Outer 胶合方法失效，因为内层和外层问题之间存在无法忽略的强耦合。

为克服此困难，作者在胶合框架上进行了两项关键创新：

第一，引入尺度参数的精细扰动。在构造近似解时，每个涡核的尺度参数 $\mu_j$ 被分解为主导项 $\mu_j^0$ 和一个小的修正项 $\mu_j^*$ （见 (4.1)）。这个修正项 $\mu_j^*$ 并非随意选取，而是被精心设计用来抵消由上述非零内积引起的强耦合项。通过在投影线性问题（Proposition 8.1）中调整这些 $\mu_j^*$ ，作者成功地实现了内层问题的可解性。

第二，重构外层问题的求解策略。为了确保第一步引入的尺度扰动 $\mu_j^*$ 在整体方案中是自洽且足够小的（即满足 (4.2) 中的 $O(\varepsilon^{1+\tilde{\sigma}})$ 估计），作者必须对外层问题的求解过程进行适配。这涉及到对外层误差项的更精细估计，并确保外层解的增长性不会破坏内层问题的设定。这种双向调整机制是本文方法论上的真正创新点。

整个证明框架遵循以下步骤：首先，在第2节基于紧支基态解 $\Gamma$ （满足 $\Delta \Gamma + \Gamma_+^\gamma = 0$ 且 $\text{supp } \Gamma = B_1(0)$ ）构造单个涡核的局部近似流函数 $\Psi_{\mu,P}$ ，并通过引入多项式修正项和三次谐波修正项来系统性地消除高阶误差（见 Proposition 2.2）。接着，在第3节将这些局部构造通过截断函数叠加起来，并加上一个全局修正项 $H_{2\varepsilon}$ 以处理截断带来的误差，从而得到全局多涡旋近似解 $\Psi_0$ 。第4节详细分析了尺度参数 $\mu_j$ 的选择，特别是修正项 $\mu_j^*$ 的作用。第5节固定了非线性项 $$F$$ 并给出了完整的误差估计。最后，第6至9节完成了 Inner-Outer 胶合方案：第7节建立了内外层线性理论，第8节利用尺度扰动解决了投影后的内层问题，第9节则通过调整涡心位置 $\hat{P}_i$ （即确定 $$q_i$$ ）来满足最终的正交条件，从而获得精确解。

4. 与之前工作的比较

本文与已有工作在多个维度上存在显著差异和推进：

1. 涡度支集的性质：这是最根本的区别。此前关于多涡旋螺旋解的工作，如 [23] 及其相关研究，普遍采用指数型非线性项（如 $F(s) \sim e^s$ ），这导致其横截面涡度呈快速代数或指数衰减，但不是紧支的。本文通过采用幂律型非线性项 $F(s) \sim s_+^\gamma$ ( $\gamma>3$ )，首次在全空间实现了紧支的横截面涡度（见 (1.12)）。这不仅是技术上的改进，也更符合某些物理模型中涡核具有明确边界的直观图像。

2. 几何设定与相互作用强度：文献 [17] 虽然也研究了多涡旋螺旋，但其涡丝具有不同的半径，彼此间保持 $$O(1)$$ 的距离。在这种设定下，涡丝间的相互作用力远小于其自诱导运动，问题本质上可以分解为多个独立的单涡丝问题。相比之下，本文的涡丝是聚集坍缩的，它们的中心间距仅为 $O(|\log \varepsilon|^{-1})$ ，这使得相互作用力与自诱导力处于同一阶，构成了一个真正的强耦合多体问题，分析难度大大增加。

3. 定义域与方法适用性：工作 [7] 在无限长圆柱域内通过变分法构造了聚集的螺旋解。然而，他们的方法严重依赖于有界平面区域上椭圆算子 Green 函数的 $$C^1$$ 展开。由于全空间 $\mathbb{R}^2$ 中的算子 $\nabla \cdot (K\nabla \cdot)$ 在无穷远处失去一致椭圆性，该展开不再成立，因此 [7] 的变分框架无法直接推广到本文的全空间设定。本文采用的胶合方法则天然适用于非紧致区域。

4. 时间尺度与全局性：本文构造的解是全局光滑的，其涡度集中性对所有时间 $\tau \in \mathbb{R}$ 成立。而一些早期工作（如 [17] 中提到的）可能只在有限时间区间内保证集中性。此外，本文通过引入慢时间变量 $\tau = |\log \varepsilon| t$ ，将涡丝演化的时间尺度精确地捕捉为 $O(|\log \varepsilon|^{-1})$ ，这与涡丝猜想（vortex filament conjecture）的预测完全一致。

5. 技术代价与局限：本文方法的代价是引入了复杂的尺度参数扰动机制来处理紧支非线性带来的强耦合。同时，结果依赖于平衡条件 (1.9) 存在非退化解 $\bar{P}$ 的假设。虽然文中引用 [1,2] 表明此类构型存在，但这仍然是一个结构性的限制条件。此外，涡心位置的修正项 $$q_i$$ 和 $\tilde{r}^*$ 的大小为 $O(\frac{\log |\log \varepsilon|}{|\log \varepsilon|})$ ，这反映了在强耦合 regime 下对初始构型进行微调的必要性。

2. 一维可压缩Navier-Stokes系统的热导率消失极限

Vanishing conductivity limit for the 1D compressible Navier-Stokes system

作者: Pierre Gonin–Joubert

类别: math.AP

发布日期: 2026-04-10

arXiv ID: 2604.09099v1

摘要翻译: 本文研究一维理想气体的可压缩Navier-Stokes方程组在热导率存在但极弱、而粘性系数为正常数情形下的解。主要创新在于建立了当热导率系数趋于零时不发生爆破的一致估计。假设热导率系数为常数，所采用的框架为“à la Hoff”型解：更精确地，初始速度被假定为正则的，而初始密度与温度仅属于 $L^\infty$ 且远离零。本文给出了无热导情形下稳定性结果的一个新证明，并在此“à la Hoff”框架中建立了热导率趋于零时解收敛于无热传导Navier-Stokes系统的极限结果。

Comment: 无

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

1. 研究对象和背景

本文研究一维周期区域上理想气体的非等熵可压缩Navier-Stokes方程组（记为 $(\mathrm{NS}_\kappa)$ ），其控制方程如下：

\begin{cases} \partial_t \rho + \partial_x(\rho u) = 0, \\ \partial_t(\rho u) + \partial_x(\rho u^2) = \partial_x(\mu \partial_x u - R\rho\theta), \\ \partial_t\left(\frac{\rho u^2}{2} + c_v \rho \theta\right) + \partial_x\left(\frac{\rho u^3}{2} + c_v \rho \theta u\right) = \partial_x\left(\mu (\partial_x u) u - R\rho\theta u\right) + \partial_x(\kappa \partial_x \theta), \end{cases}

其中 $\rho > 0$ 、 $$u$$ 、 $\theta > 0$ 分别表示密度、速度与温度； $\mu > 0$ 为常粘性系数， $\kappa \geq 0$ 为热导率， $$R > 0$$ 、 $$c_v > 0$$ 为气体常数，且定义绝热指数 $\gamma = R/c_v + 1 > 1$ 。该系统描述了宏观尺度下流体的运动，包含质量守恒、动量守恒与总能量守恒。

特别地，当 $\kappa > 0$ 时，温度方程可写为

\partial_t(\rho c_v \theta) + \partial_x(\rho u c_v \theta) = (\mu \partial_x u - R\rho\theta)\partial_x u + \partial_x(\kappa \partial_x \theta).

而当 $\kappa = 0$ 时，系统退化为部分抛物型，缺乏对温度的椭圆正则性，使得分析显著困难。例如，Xin 与 Yan [XiYa12] 已证明若初始密度具有紧支集，则经典解会在有限时间内爆破。

已有工作对 $\kappa > 0$ 的情形已有较完整理解，尤其在一维情形下，Kazikhov–Shelukhin [KaSh76] 建立了全局经典解的存在性，并引入物理熵

s = c_v \ln \theta - R \ln \rho,

满足输运耗散方程

\partial_t(\rho s) + \partial_x(\rho s u) = \frac{\mu (\partial_x u)^2}{\theta} + \frac{\kappa (\partial_x \theta)^2}{\theta^2} + \partial_x(\kappa \partial_x \ln \theta).

然而，当 $\kappa \to 0$ 时，传统估计（如温度梯度项 $\int_0^T \int \kappa |\partial_x \theta|^2$ ）会退化，导致无法获得关于 $\kappa$ 一致的先验界，从而阻碍极限过程的严格证明。

本文关注的是“à la Hoff”解框架——介于强解（ $$H^1$$ 正则）与弱解（ $$L^2$$ 正则）之间的中间正则性类。在此框架下，初始数据满足：速度 $u_0 \in H^1$ ，而密度 $\rho_0$ 与温度 $\theta_0$ 仅属于 $L^\infty$ 且远离真空与绝对零度，即存在常数 $0 < \underline{\rho}_0 \leq \rho_0(x) \leq \overline{\rho}_0$ 、 $0 < \underline{\theta}_0 \leq \theta_0(x) \leq \overline{\theta}_0$ 几乎处处成立，并且

\int_{\mathbb{T}} \rho_0 u_0^2 + \int_{\mathbb{T}} (\partial_x u_0)^2 \leq C_0.

关键未知量包括 Cauchy 应力 $\sigma = \mu \partial_x u - R\rho\theta$ ，其满足部分抛物方程

\partial_t \sigma + u \partial_x \sigma - \mu \partial_x\left(\frac{\partial_x \sigma}{\rho}\right) = -\gamma \sigma \partial_x u - (\gamma - 1) \partial_x(\kappa \partial_x \theta),

该结构在 Hoff 的工作中被广泛用于获取额外正则性。

本文试图填补的关键空白是：在 $\kappa \to 0$ 极限下，能否建立一组不依赖于 $\kappa$ 的一致先验估计，从而严格证明 $(\mathrm{NS}_\kappa)$ 解收敛到 $(\mathrm{NS}_0)$ 的解？ 尽管 $\kappa = 0$ 情形的全局强解存在性已由 Li [Li20] 建立，但此前尚无文献在“à la Hoff”框架下处理 $\kappa \to 0$ 的极限问题，尤其缺乏对温度上界及应力高阶导数的一致控制。

2. 主要定理或主要结果

作者在“à la Hoff”解框架下建立了以下四个主要结果：

定理1（固定正热导率下的适定性）：设 $\kappa \geq \underline{\kappa} > 0$ ，初始数据 $(\rho_0, u_0, \theta_0)$ 满足条件 (16)–(18)，则对任意 $\kappa \in [\underline{\kappa}, \overline{\kappa}]$ ，系统 $(\mathrm{NS}_\kappa)$ 存在唯一全局“à la Hoff”解。且对任意 $$T > 0$$ ，定义1中的常数 $\underline{\rho}, \overline{\rho}, \underline{\theta}, \overline{\theta}, C_1, C_2$ 仅依赖于 $C_0, c_v, \gamma, \underline{\kappa}, \overline{\kappa}, \mu, \underline{\rho}_0, \overline{\rho}_0, T, \underline{\theta}_0, \overline{\theta}_0$ 。

定理2（热导率趋于零时的一致估计）：设 $\kappa > 0$ ，初始数据满足 (16)–(18)，则对任意 $\kappa \in [0, \overline{\kappa}]$ ， $(\mathrm{NS}_\kappa)$ 存在唯一全局“à la Hoff”解，且对任意 $$T > 0$$ ，定义1中的常数 不再依赖于 $\kappa$ 的下界，即仅依赖于 $C_0, c_v, \gamma, \overline{\kappa}, \mu, \underline{\rho}_0, \overline{\rho}_0, T, \underline{\theta}_0, \overline{\theta}_0$ 。这意味着所有关键估计（包括密度上下界、温度上下界、Cauchy 应力 $\sigma$ 及其导数、速度时间导数等）在 $\kappa \to 0$ 时保持有界。

具体而言，解满足：

密度一致远离真空与无穷： $\underline{\rho} \leq \rho(t,x) \leq \overline{\rho}$ ；
温度一致有界： $\underline{\theta} \leq \theta(t,x) \leq \overline{\theta}$ ；
能量类估计： $\sup_{0\leq t\leq T} \int \sigma^2 + \sup_{0\leq t\leq T} \int (\partial_x u)^2 + \kappa \int_0^T \int (\partial_x \theta)^2 + \int_0^T \int (\partial_x \sigma)^2 + \int_0^T \int (\partial_t u)^2 + \int_0^T \|\sigma\|_{L^\infty}^2 + \int_0^T \|\partial_x u\|_{L^\infty}^2 + \sup_{[0,T]\times\mathbb{T}} u^2 \leq C_1;$
加权二阶 Hoff 能量估计： $\sup_{0\leq t\leq T} w(t) \int (\partial_x \sigma)^2 + \sup_{0\leq t\leq T} w(t) \kappa \int (\partial_x \theta)^2 + \int_0^T w(t) \int (\partial_t \sigma)^2 + \int_0^T w(t) \int [\partial_x(\kappa \partial_x \theta)]^2 \leq C_2,$ 其中 $w(t) = \min(1, t)$ 。

定理3（无热导情形的稳定性）：设初始数据序列 $(\rho_0^n, u_0^n, \theta_0^n)$ 满足统一的 (16)–(18) 条件，且 $\rho_0^n, \theta_0^n \to \rho_0, \theta_0$ 在 $$L^2$$ 中， $u_0^n \rightharpoonup u_0$ 在 $$H^1$$ 中，则对应的 $(\mathrm{NS}_0)$ 解 $(\rho^n, u^n, \theta^n)$ 满足：

\rho^n, \theta^n \to \rho, \theta \quad \text{在 } L^2(0,T;L^2(\mathbb{T})) \text{ 中}, \quad u^n \rightharpoonup u \quad \text{在 } L^2(0,T;H^1(\mathbb{T})) \text{ 中},

且极限 $(\rho, u, \theta)$ 是 $(\mathrm{NS}_0)$ 的“à la Hoff”解。

定理4（零热导极限）：在定理2的假设下，对任意 $$T > 0$$ ， $(\mathrm{NS}_\kappa)$ 的解 $(\rho^\kappa, u^\kappa, \theta^\kappa)$ 满足：

\rho^\kappa, \theta^\kappa \to \rho, \theta \quad \text{在 } L^2(0,T;L^2(\mathbb{T})) \text{ 中}, \quad u^\kappa \rightharpoonup u \quad \text{在 } L^2(0,T;H^1(\mathbb{T})) \text{ 中},

且极限 $(\rho, u, \theta)$ 是 $(\mathrm{NS}_0)$ 的“à la Hoff”解。该结论的关键在于定理2提供的一致估计，使得紧性论证可行。

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

本文的核心技术障碍在于：当 $\kappa \to 0$ 时，传统依赖于热传导项 $\kappa \partial_x^2 \theta$ 的椭圆正则性消失，导致温度上界、应力高阶导数等关键量可能发散。作者通过精细的能量结构分析与算子技巧，构建了一套不依赖 $\kappa$ 的一致估计体系。

第一，利用物质导数算子 $D_t = \partial_t + u \partial_x$ 及其右逆 $D_t^{-1}$ 控制 Cauchy 应力 $\sigma$ 。 作者首先从动量方程出发，应用空间反导数 $\partial_x^{-1}$ （定义为 $\partial_x^{-1} f(x) = \int_0^1 dy \int_y^x f(z) dz$ ）得到

D_t (\partial_x^{-1}(\rho u)) = \sigma + \int p + \int \rho u^2.

再作用 $D_t^{-1}$ 并利用其非负性与最大值原理（见公式 (20)），结合质量与能量守恒，得到

|D_t^{-1} \sigma(t,x)| \leq H_2(E, M, T),

该界完全独立于 $\kappa$ 。此估计是后续所有一致界的基石。

第二，通过 $D_t^{-1} \sigma$ 控制密度上界。 利用连续性方程与 $\sigma$ 的定义，推导出

D_t \ln \rho = -\frac{\sigma + p}{\mu},

进而

\ln \rho = R_t \ln \rho - \frac{1}{\mu} D_t^{-1} \sigma - \frac{1}{\mu} D_t^{-1} p \leq \ln \overline{\rho}_0 + \frac{H_2}{\mu},

因 $D_t^{-1} p \geq 0$ 。由此得到密度上界 $\overline{\rho} = \overline{\rho}_0 \exp(H_2/\mu)$ ，与 $\kappa$ 无关。

第三，创新性地处理温度下界与上界。 对温度下界，作者采用凸递减测试函数 $\beta(\theta) = \theta^{-k}$ 乘以温度方程，利用 Hölder 不等式与密度上界，导出

\frac{d}{dt} \left\| \frac{1}{\theta} \right\|_{L^\infty} \leq \frac{R^2 \overline{\rho}}{4\mu c_v},

从而得到一致温度下界 $\underline{\theta} = \left( \frac{1}{\underline{\theta}_0} + \frac{T R^2 \overline{\rho}}{4\mu c_v} \right)^{-1}$ 。对于温度上界（这是非等熵 Navier-Stokes 方程的主要难点），作者借鉴 Hoff [Ho92, Ho96] 的思想，结合熵估计

\int_0^T \int \frac{\mu (\partial_x u)^2}{\theta} + \frac{\kappa (\partial_x \theta)^2}{\theta^2} \leq H_1,

并利用已获得的密度与温度下界，最终控制温度上界。

第四，构造加权二阶 Hoff 能量估计（公式 (15)）。 通过对 $\sigma$ 和 $\kappa \partial_x \theta$ 的时间导数进行加权积分（权重 $w(t) = \min(1,t)$ ），作者克服了初始时刻奇异性，获得了对 $\partial_t \sigma$ 和 $\partial_x(\kappa \partial_x \theta)$ 的一致控制。这一估计对紧性论证至关重要，确保了解序列在适当空间中的强收敛性。

第五，在极限过程 $\kappa \to 0$ 中，利用一致估计提取弱收敛子列，并通过新证明的稳定性定理（定理3）识别极限。 定理3的证明基于压力-熵变量变换 $(\rho, u, \theta) \mapsto (p, u, s)$ 以及 Wu [Wu16] 提出的方程

\partial_t(p^{1/\gamma}) + \partial_x(p^{1/\gamma} u) = \frac{\gamma - 1}{\gamma} \mu (\partial_x u)^2 p^{1/\gamma - 1},

该形式便于处理无热导情形的弱解收敛性。

4. 与之前工作的比较

本文与已有工作的比较可从多个维度展开：

1. 关于热导率趋于零的极限问题： 此前文献中，尽管 $\kappa > 0$ 与 $\kappa = 0$ 各自的适定性已有研究（如 Li [Li19, Li20]），但从未在统一框架下建立 $\kappa \to 0$ 时的一致估计。传统方法（如 Kazikhov–Shelukhin 或 Hoff）在估计温度上界或应力导数时，往往隐含依赖 $\kappa > 0$ 提供的正则性，导致常数随 $\kappa \to 0$ 发散。本文首次在“à la Hoff”框架下证明所有关键常数可选为与 $\kappa$ 无关（定理2），从而严格确立极限过程（定理4）。这是对非等熵 Navier-Stokes 理论的重要补充。

2. 关于解的正则性框架： “à la Hoff”解由 Hoff 在 1990 年代提出，适用于初始密度和温度仅为 $L^\infty$ 且远离真空的情形，比经典强解（要求 $$H^1$$ ）更弱，但比 Lions 的弱解（允许真空）更强。本文将该框架成功拓展至含热传导且 $\kappa \to 0$ 的情形。相比之下，Huang–Li [HuLi18] 虽处理三维大振荡数据，但要求小能量；而 Danchin 的 Besov 空间结果 [Da99, Da01] 未涉及 $\kappa \to 0$ 极限。本文在一维周期域上实现了更精细的控制。

3. 关于 Cauchy 应力 $\sigma$ 的使用： 作者延续并深化了 Hoff 与 Li 的思路，将 $\sigma$ 作为核心分析对象。特别地，通过 $D_t^{-1} \sigma$ 的一致界（命题3）控制密度上界，这一技巧比直接估计 $\partial_x u$ 更稳健，且天然兼容 $\kappa \to 0$ 极限。相比之下，早期工作（如 [KaSh76]）主要依赖熵估计，难以处理无热导情形。

4. 关于温度估计的技术： 温度下界的证明（命题5）采用 $\beta(\theta) = \theta^{-k}$ 测试函数并取 $k \to \infty$ 极限，这是一种精巧的 De Giorgi–Nash–Moser 类技巧，避免了对 $\partial_x \theta$ 的直接依赖。而温度上界的控制则结合了 Hoff 的原始思想与本文获得的一致密度界，克服了非线性耦合带来的困难。此前，Li [Li19] 虽获得强解的温度上界，但未证明其在 $\kappa \to 0$ 下的一致性。

5. 关于稳定性与极限识别： 定理3提供了 $(\mathrm{NS}_0)$ 解的新稳定性证明，基于压力幂次变换（公式 (11)），这比传统的紧性-弱收敛论证更直接。结合定理2的一致估计，定理4的证明变得可行。相比之下，BrBuGJLa24 虽已建立 $\kappa = 0$ 的适定性，但未处理 $\kappa > 0$ 到 $\kappa = 0$ 的极限。

局限与代价： 本文结果局限于一维周期域，且要求初始密度和温度一致远离真空与零温。这些假设在多维情形下难以满足，且真空附近的行为仍是开放问题。此外，“à la Hoff”框架本身不适用于初始速度仅为 $$L^2$$ 的情形。然而，在所设定的框架内，本文实现了对 $\kappa \to 0$ 极限的完整刻画，推进了非等熵 Navier-Stokes 系统的渐近分析理论。

3. 任意球对称大初值下多维可压缩Navier-Stokes-Poisson方程在实心球上的整体经典解存在性

Global existence of classical solutions for the multi-dimensional compressible Navier-Stokes-Poisson equations on solid balls for arbitrary spherically symmetric large initial data

作者: Jie Fan, Xiangdi Huang, Muxi Lei

类别: math.AP

发布日期: 2026-04-10

arXiv ID: 2604.08946v1

摘要翻译: 三维可压缩Navier-Stokes-Poisson方程对一般大初值是否存在整体经典解，长期以来是一个具有挑战性的公开问题。本文在实心球上球对称的假设下对此问题给出了肯定回答。具体而言，我们考虑具有密度依赖粘性系数的多维可压缩方程的初边值问题，其中粘性系数满足BD型熵等式，即取 $\mu=\rho^\alpha$ 、 $\lambda=(\alpha-1)\rho^\alpha$ ，当 $$N=2$$ 时 $\alpha\in (\frac{1}{2},1]$ ，当 $$N=3$$ 时 $\alpha\in (\frac{5}{6},1]$ 。在此条件下，我们建立了实心球上任意大的球对称初值对应的可压缩Navier-Stokes-Poisson方程的整体经典解存在性，适用于气态星体与等离子体两种情形。我们的关键观察在于成功处理了球心处的奇异性。通过控制密度与引力势在中心奇点处的增长阶，利用BD熵结构与球对称性的优势，并充分挖掘有效速度与速度之间的耦合机制，我们获得了关键量的 $L^\infty$ 估计，进而导出了密度的上下界估计。这可视为首个关于可压缩Navier-Stokes-Poisson方程在真正多维区域（具有高维特征）中对任意大的初值存在整体经典解的结果。

Comment: 61 pages

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

1. 研究对象和背景

本文研究的是多维可压缩Navier-Stokes-Poisson（NSP）方程组在有界区域 $\Omega = B_R \subset \mathbb{R}^N$ （ $$N=2,3$$ ）上的初边值问题，特别关注球对称情形下对任意远离真空的大初值是否存在整体经典解。该系统描述了自引力气体星体（ $\kappa > 0$ ）或等离子体（ $\kappa < 0$ ）的演化，其控制方程为：

\begin{cases} \rho_t + \operatorname{div}(\rho u) = 0, \\ \rho(u_t + u \cdot \nabla u) + \nabla P(\rho) = -\rho \nabla \Phi + \operatorname{div}(\mu(\rho) D u) + \nabla(\lambda(\rho) \operatorname{div} u), \\ \Delta \Phi = \kappa (\rho - \bar{\rho}), \end{cases}

其中 $P(\rho) = \rho^\gamma$ ， $D u = \frac{1}{2}(\nabla u + (\nabla u)^T)$ ， $\bar{\rho}$ 是背景密度（常数），而粘性系数满足 BD型关系：

\mu(\rho) = \rho^\alpha, \quad \lambda(\rho) = (\alpha - 1) \rho^\alpha.

这一关系源于Bresch–Desjardins熵结构，使得系统具有额外的先验估计（即BD熵），这对处理大初值和可能的真空至关重要。

在球对称假设下，未知量仅依赖于径向变量 $$r = |x|$$ 和时间 $$t$$ ，速度场形如 $u(x,t) = u(r,t) \frac{x}{r}$ ，方程退化为一维形式（但保留高维几何信息）：

\begin{cases} \rho_t + (\rho u)_r + \frac{N-1}{r} \rho u = 0, \\ \rho(u_t + u u_r) + (\rho^\gamma)_r = \left( \alpha \rho^\alpha \left(u_r + \frac{N-1}{r} u \right) \right)_r - \frac{N-1}{r} u (\rho^\alpha)_r - \rho \Phi_r, \\ \Phi_{rr} + \frac{N-1}{r} \Phi_r = \kappa (\rho - \bar{\rho}). \end{cases}

边界条件为 $\rho u(0,t) = \rho u(R,t) = 0$ ， $\Phi_r(0,t) = \Phi_r(R,t) = 0$ ，并要求 $\int_\Omega \Phi \, dx = 0$ 以保证唯一性。

该问题的核心困难在于原点处的奇异性：项 $\frac{1}{r}$ 或 $\frac{1}{r^2}$ （ $$N=3$$ 时）在 $r \to 0$ 时发散，且与密度 $\rho$ 和势 $\Phi$ 耦合。即使初值光滑远离真空，解在演化中是否保持正则性、密度是否有正上下界，仍是长期开放问题。此前工作多限于小扰动（如对Lane-Emden平衡态）、弱解、或允许真空的情形。对于远离真空的大初值整体经典解，尤其在包含原点的有界域上，尚无结果。本文旨在填补这一空白，证明在BD粘性结构和球对称假设下，对任意远离真空的大初值，存在唯一的整体经典解，且密度保持严格正上下界。

2. 主要定理或主要结果

作者在远离真空（即初值满足 $0 < \rho_* \leq \rho_0 \leq \rho^*$ ）和足够正则（ $(\rho_0, u_0) \in H^3(\Omega)$ ， $u_0|_{\partial \Omega} = 0$ ）的假设下，证明了以下四个主要定理：

定理2.1（ $$N=2$$ ， $\alpha < 1$ ）：若 $\frac{1}{2} < \alpha < 1$ 且 $\gamma > 2 - \alpha$ ，则存在唯一整体球对称经典解 $(\rho, u, \Phi)$ ，满足对任意 $$T > 0$$ ，存在常数 $$C(T) > 0$$ 使得

(C(T))^{-1} \leq \rho(x,t) \leq C(T), \quad \forall (x,t) \in \Omega \times [0,T].

定理2.2（ $$N=3$$ ， $\alpha < 1$ ）：若 $\frac{5}{6} < \alpha < 1$ 且 $\frac{4}{3} < \gamma < 4\alpha - 1 - \alpha^2$ ，则存在唯一整体球对称经典解，且密度满足同上的一致上下界。

定理2.3（ $$N=2$$ ， $\alpha = 1$ ）：若 $\gamma > 1$ ，则存在唯一整体球对称经典解，密度有一致上下界。

定理2.4（ $$N=3$$ ， $\alpha = 1$ ）：若 $\frac{4}{3} < \gamma < 3$ ，则存在唯一整体球对称经典解，密度有一致上下界。

所有解均满足定义2.1中的正则性要求，包括 $\rho \in C([0,T]; H^3)$ ， $u \in C([0,T]; H^3 \cap H_0^1)$ ， $\nabla \Phi \in C([0,T]; H^4)$ 等。关键结论是密度的一致上下界（2.5）、（2.9）、（2.15）、（2.19），这是通过建立关于有效速度 $w = u + r (\rho^\alpha)_x$ 和速度 $$u$$ 的高阶可积性，并结合Sobolev嵌入不等式得到的。特别地，在三维情形，作者引入了参数 $k \in \mathcal{A}_{\text{set}}$ （一个稠密子集）来精细调节可积性指数，最终导出形如 $R_T^\beta \leq C(T) R_T^\sigma + C(T)$ 的不等式（其中 $R_T = \sup_{0\leq t\leq T} \|\rho(t)\|_{L^\infty} + 1$ ），并通过选择 $\beta > \sigma$ 关闭估计，从而获得密度的上界；下界则通过分析比容 $v = 1/\rho$ 并利用 $\|r^2 \rho_x\|_{L^\infty}$ 的有界性得到。

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

本文的核心技术障碍是如何控制原点附近的奇异性，尤其是在三维情形下 $\frac{1}{r^2}$ 项带来的更强发散。作者的创新点在于系统性地结合BD熵结构、球对称几何、以及有效速度与真实速度的耦合，构建了一套完整的先验估计框架。

第一，BD熵与加权密度估计：利用BD熵关系 $\lambda = \rho \mu' - \mu$ ，作者获得了关于有效速度 $w = u + \nabla \varphi(\rho)$ （此处 $\varphi'(\rho) = \mu(\rho)/\rho$ ）的 $$L^2$$ 控制。更重要的是，BD熵提供了原点附近的加权密度估计：在二维，有 $\|\rho^{\frac{\alpha-1}{2}} r^\xi\|_{L^\infty(0,R)}$ 有界；在三维，则为 $\|\rho^{\frac{\alpha-1}{2}} r^{\frac{1}{2}+\xi}\|_{L^\infty(0,R)}$ 。这些估计将奇异积分（如 $\int_0^1 \frac{x^2}{r^2} dx$ ）转化为关于 $$u$$ 和 $$w$$ 的 $$L^2$$ 范数，从而克服了原点奇异性。

第二，有效速度与真实速度的耦合分析：作者并未单独估计 $$u$$ 或 $$w$$ ，而是同时追踪两者。通过动量方程和有效速度的定义，建立了两者之间的微分关系。这种耦合使得在估计高阶项时，可以灵活切换使用 $$u$$ 或 $$w$$ ，从而优化可积性。例如，在推导高阶可积性时， $$w$$ 的方程结构更利于利用耗散项，而 $$u$$ 则直接关联到密度输运。

第三，高阶可积性与参数选择：为了获得密度的 $L^\infty$ 估计，需要 $$u$$ 和 $$w$$ 具备足够高的可积性。作者引入了集合 $\mathcal{A}_{\text{set}} = \{1 + \frac{s}{2k+1} \mid s \in \mathbb{N}^+, k \in \mathbb{N}\}$ ，这是一个在 $(1, \infty)$ 中稠密的集合。通过精心选择 $k \in \mathcal{A}_{\text{set}}$ ，使得指数满足特定代数不等式（如二维的 $1 - \frac{k}{\sqrt{2k-1}} - \frac{2k+1}{k^2-2k+1} < \alpha < 1 - \frac{1}{2k}$ ，三维的 $\frac{4k+3}{4k+6} < \alpha < 1 - \frac{1}{2k}$ 和 $\frac{4}{3} < \gamma < 3\alpha -1 + \frac{\alpha}{2k}$ ），从而保证了 $$u$$ 和 $$w$$ 在 $L^{2k}$ 中的有界性。这种参数化方法是处理非线性耦合和奇异项的关键技巧。

第四，密度上下界的封闭论证：在获得速度场的高阶可积性后，作者通过一维Sobolev嵌入（因球对称退化为径向一维问题）导出关于 $R_T = \|\rho\|_{L^\infty} + 1$ 的多项式增长不等式 $R_T^\beta \leq C(T) R_T^\sigma + C(T)$ 。通过确保 $\beta > \sigma$ ，该不等式可被Gronwall型引理封闭，从而得到密度的全局上界。下界则通过对偶地分析比容 $v = 1/\rho$ ，并利用已建立的 $\|r^2 \rho_x\|_{L^\infty}$ 有界性（这本身依赖于速度场的 $L^\infty$ 估计），最终得到 $$v$$ 的上界，即 $\rho$ 的下界。

4. 与之前工作的比较

本文与已有工作的比较可从多个维度展开：

1. 初值大小与解的类型：此前关于NSP方程整体解的工作多限于小初值扰动。例如，Zhang-Fang [15] 和 Luo-Xin-Zeng [9,10] 分别在真空自由边界和固定边界下，证明了对Lane-Emden平衡态的小扰动解的整体存在性与稳定性。而本文处理的是任意大的初值，且要求解为经典解（而非弱解），这是一个质的飞跃。Li-Xin [8] 和 Vasseur-Yu [13] 虽然也处理大初值，但得到的是允许真空的弱解，且未考虑Poisson耦合项。Huang-Meng-Zhang [7] 考虑了BD粘性和球对称，但仅针对无界域（如全空间）或不含原点的环形域，避开了最棘手的中心奇异性。本文首次在包含原点的有界实心球上处理大初值经典解问题。

2. 粘性结构与假设：本文采用BD型粘性（ $\mu = \rho^\alpha, \lambda = (\alpha-1)\rho^\alpha$ ），这比常粘性（ $\mu, \lambda$ 为常数）更符合物理实际（如Shakhov模型），且提供了关键的BD熵。相比之下，常粘性情形下，缺乏类似的高阶先验估计，处理大初值更为困难。作者明确利用了BD熵提供的结构优势，这是区别于其他工作的核心。

3. 维数与奇异性处理：本文清晰区分了二维和三维情形。在二维，奇异性较弱（ $$1/r$$ ），通过标准加权估计即可处理；在三维，奇异性更强（ $$1/r^2$$ ），导致能量估计中出现 $\int_0^1 \frac{x}{r} dx$ 项，需用 $\|\rho\|_{L^{6/5}}$ 控制，进而要求 $\gamma > 4/3$ （对 $\kappa=1$ ）。这一限制在先前工作中未被如此精细地揭示。作者通过引入不同的径向权重（二维 $r^\xi$ vs 三维 $r^{1/2+\xi}$ ）和更复杂的可积性方案来应对，展示了对高维几何效应的深刻理解。

4. 适用范围与代价：本文的成果适用于气体星体（ $\kappa>0$ ）和等离子体（ $\kappa<0$ ）两种物理场景。值得注意的是，在三维等离子体情形（ $\kappa=-1$ ），Poisson项在能量估计中起到耗散作用，因此对 $\gamma$ 的下限要求更低（甚至可能 $\gamma>1$ ），但作者为统一处理，仍采用了 $\gamma>4/3$ 的条件。主要代价是限制了粘性指数 $\alpha$ 的范围（二维 $\alpha>1/2$ ，三维 $\alpha>5/6$ ），这是由高阶可积性论证中代数不等式的可解性决定的。当 $\alpha \to 1/2^+$ （二维）或 $\alpha \to 5/6^+$ （三维）时，允许的 $\gamma$ 范围会收缩。此外，结果依赖于球对称假设，无法直接推广到一般多维情形，这是当前技术的局限。

综上，本文通过巧妙结合BD熵、球对称几何和精细的可积性分析，首次在包含原点的有界域上解决了NSP方程对任意远离真空大初值的整体经典解存在性问题，显著推进了该领域的研究前沿。

4. MHD 方程光滑解的瞬时爆破与非唯一性

Instantaneous blowup and non-uniqueness of smooth solutions of MHD

作者: Mimi Dai

类别: math.AP

发布日期: 2026-04-09

arXiv ID: 2604.08684v1

摘要翻译: 我们构造了一族不可压缩磁流体力学（MHD）系统的解 $$(u,B)$$ ，其 $L^\infty$ 范数以临界速率瞬时爆破。这些解在爆破时刻之外始终保持光滑。该构造的主要工具是一种逆向能量级串机制以及沿时间序列的凸积分方案，其灵感来源于我们近期关于 Navier-Stokes 方程的工作 [CDP25]。MHD 系统构造的难点在于磁场与速度场的耦合，以及在实施凸积分时必须在每一步迭代中保持主解的相同形式假设。现有的 MHD 凸积分方案虽能处理耦合项，但无法递归地生成相同形式的主解。为实现目标，我们引入了一个耦合几何引理，可同时分解一个对称张量与一个反对称张量。我们强调，该耦合几何引理是全新的，并具有独立意义。

Comment: 49 pages

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

1. 研究对象和背景

本文研究三维及以上空间维数 $d \geq 2$ 中不可压缩磁流体动力学（MHD）系统

\begin{cases} \partial_t u - \Delta u + \mathrm{div}(u \otimes u - B \otimes B) + \nabla p = 0, \\ \partial_t B - \Delta B + \mathrm{div}(u \otimes B - B \otimes u) = 0, \\ \mathrm{div}\, u = 0, \end{cases} \quad (x,t) \in \mathbb{T}^d \times [0,T],

其中 $$u(x,t)$$ 为速度场， $$B(x,t)$$ 为磁场， $$p(x,t)$$ 为压力。该系统具有自然的能量结构，并在物理上描述导电流体中电磁场与流体运动的耦合。

从数学角度看，MHD 系统是 Navier–Stokes 方程的自然推广，但因引入磁场及其与速度场的双向耦合而显著复杂化。尽管弱解全局存在性已被建立（例如通过 Galerkin 方法或 Leray–Hopf 构造），但在 $$d=3$$ 及更高维情形下，光滑初值是否能延拓为全局经典解仍是公开问题。关键障碍在于缺乏对解的先验控制，尤其是当解可能在有限时间内发生爆破时。

经典理论中，Ladyzhenskaya–Prodi–Serrin 型判据指出：若速度场满足 $u \in L^p_t L^q_x$ 且 $\frac{2}{p} + \frac{d}{q} = 1$ 、 $$q > d$$ ，则解光滑且唯一。特别地，临界空间 $L^2_t L^\infty_x$ 是该尺度不变族的端点。类似地，Beale–Kato–Majda 型判据表明：若涡量 $\nabla \times u$ 或电流密度 $\nabla \times B$ 的 $L^1_t L^\infty_x$ 范数发散，则解在有限时间爆破。这些判据暗示了爆破速率的“临界性”——即解在爆破时刻附近的行为应与尺度不变性一致。

近年来，凸积分方法（convex integration）被成功用于构造 Navier–Stokes 方程的非唯一弱解及具有特定奇性行为的解。Dai 与合作者在 [CDP25] 中首次构造了 Navier–Stokes 方程的瞬时爆破解：对任意光滑初值 $$(u_0, B_0)$$ 和任意指定时间 $T^* \in [0,T)$ ，存在一个弱解在 $$[0,T^*]$$ 上光滑，在 $$(T^*, T]$$ 上也光滑，但在 $t \to T^{*+}$ 时其 $L^\infty$ 范数以临界速率 $\sim (t - T^*)^{-1/2}$ 发散。这种构造依赖于逆能量级串机制（inverse energy cascade）：能量从高频向低频传递，而非耗散到小尺度。

然而，将此机制推广至 MHD 系统面临根本性困难。MHD 的耦合项 $\mathrm{div}(B \otimes B)$ 出现在动量方程中，而 $\mathrm{div}(u \otimes B - B \otimes u)$ 出现在磁场方程中。现有凸积分方案（如 [BBV20, FLS21, LZZ22]）通常将耦合项视为低频误差并予以消除，从而破坏了解在低频部分的结构一致性。但为了实现递归的逆级串构造，必须在每一步迭代中保持主部解（principal solution）的相同 ansatz，即低频轮廓不能随意改变。这就要求耦合项不仅不能被忽略，反而要被精确利用来生成所需的低频速度与磁场分量。

因此，本文试图填补的关键空白是：能否在保持主部解 ansatz 不变的前提下，通过凸积分方法构造 MHD 系统的瞬时爆破解？ 这要求发展一种能同时处理对称张量（来自 $u \otimes u - B \otimes B$ ）和反对称张量（来自 $u \otimes B - B \otimes u$ ）的新几何分解工具，以协调两个方程之间的耦合。

2. 主要定理或主要结果

作者证明了以下两个主要定理：

定理 1.2（瞬时爆破解的存在性）：对任意空间维数 $d \geq 2$ 及任意光滑无散度初值 $u_0, B_0 \in C^\infty(\mathbb{T}^d)$ ，存在 $$T > 0$$ ，使得对任意 $T^* \in [0, T)$ ，存在 MHD 系统 (1.1) 的弱解 $$(u(t), B(t))$$ 满足：

在 $$[0, T^*]$$ 上， $$(u, B)$$ 是经典解，且 $$(u(0), B(0)) = (u_0, B_0)$$ ；
在 $$(T^*, T]$$ 上， $$(u, B)$$ 仍是经典解，且存在常数 $$c > 0$$ 及时间序列 $t_n \to T^{*+}$ ，使得 $\|u(t_n)\|_{L^\infty} \geq \frac{c}{\sqrt{t_n - T^*}}, \quad \|\nabla \times u(t_n)\|_{L^\infty} \geq \frac{c}{t_n - T^*},$ $\|B(t_n)\|_{L^\infty} \geq \frac{c}{\sqrt{t_n - T^*}}, \quad \|\nabla \times B(t_n)\|_{L^\infty} \geq \frac{c}{t_n - T^*}.$ 此外，对所有 $t \in (T^*, T]$ ，有上界估计 $\|u(t)\|_{L^\infty} + \|B(t)\|_{L^\infty} \leq \frac{C}{\sqrt{t - T^*}}, \quad \|\nabla u(t)\|_{L^\infty} + \|\nabla B(t)\|_{L^\infty} \leq \frac{C}{t - T^*}.$
解在时间上关于 $BMO^{-1} \times BMO^{-1}$ 弱-*连续；且当 $d \geq 3$ 时， $u, B \in L^\infty_t \dot{W}^{-1,\infty}_x$ ；
对任意 $p < \infty$ ，有 $u, B \in L^2([0,T]; L^p)$ ；而在 $p = \infty$ 时，满足对数弱化的 Ladyzhenskaya–Prodi–Serrin 型条件 $\int_0^T \frac{\|u(t)\|_{L^\infty}^2}{1 + (\log\log(e + \|u(t)\|_{L^\infty}))^c} \, dt < \infty,$ 以及 Beale–Kato–Majda 型条件 $\int_0^T \frac{\|\nabla u(t)\|_{L^\infty}}{1 + (\log\log(e + \|\nabla u(t)\|_{L^\infty}))^c} \, dt < \infty,$ 其中 $$c > 0$$ 为某常数。

定理 1.3（非唯一性）：设 $$(U, H)$$ 是 MHD 系统在 $\mathbb{R}^d \times [0,T]$ 上的任意经典解（ $T \in (0,1]$ ）。对任意 $T^* \in [0,T)$ ，可构造一族单参数弱解 $\{(u^{(\sigma)}, B^{(\sigma)})\}_{\sigma \in [0,1]}$ ，使得：

$(u^{(0)}, B^{(0)}) = (U, H)$ ；
对任意 $\sigma \in (0,1]$ ，有 $(u^{(\sigma)}, B^{(\sigma)})|_{[0,T^*]} \equiv (U, H)|_{[0,T^*]}$ ，但在 $$(T^*, T]$$ 上不恒等于 $$(U, H)$$ ；
对每个 $t \in [0,T]$ ， $u^{(\sigma)}(t), B^{(\sigma)}(t) \in C^\infty(\mathbb{R}^d)$ ；
$u^{(\sigma)}, B^{(\sigma)} \in L^{2,\infty}_t L^\infty_x \cap L^2_t L^p_{x,\mathrm{loc}}$ （对所有 $p < \infty$ ）；且当 $d \geq 3$ 时，属于 $L^\infty_t \dot{W}^{-1,\infty}_x$ 。

这些结果表明：MHD 系统在临界空间 $L^2_t L^\infty_x$ 中不仅存在瞬时爆破解，而且在 $BMO^{-1} \times BMO^{-1}$ 中失去唯一性，即使初值光滑。

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

本文的核心技术障碍在于：如何在凸积分迭代过程中同时处理 MHD 系统中速度与磁场的耦合，并保持主部解在低频部分的 ansatz 不变。传统凸积分方法将耦合项视为误差，但此处必须将其作为主部的一部分加以利用。

为此，作者引入了一个全新的耦合几何引理（Coupled Geometric Lemma, Lemma 3.4），这是全文真正的创新点。该引理断言：存在有限集 $\Lambda_B \subset \mathbb{S}^2 \cap \mathbb{Q}^3$ （与速度场使用的 $\Lambda_u$ 不相交），以及光滑函数 $\Gamma_\eta: B_{\varepsilon_*}(0) \subset \mathrm{Sym}^3 \times \mathfrak{so}(3) \to (0,\infty)$ 和标量函数 $$p(R,G)$$ ，使得对任意 $$(R, G)$$ 在原点附近的小邻域内，有

R - p(R, G) \, \mathrm{Id} = \sum_{\eta \in \Lambda_B} \Gamma_\eta^2(R, G) \, (\eta_1 \otimes \eta_1 - \eta_2 \otimes \eta_2),

G = \sum_{\eta \in \Lambda_B} \Gamma_\eta^2(R, G) \, (\eta_1 \otimes \eta_2 - \eta_2 \otimes \eta_1).

这里 $R \in \mathrm{Sym}^3$ 对应于应力张量 $u \otimes u - B \otimes B$ 的对称部分，而 $G \in \mathfrak{so}(3)$ 对应于 $u \otimes B - B \otimes u$ 的反对称部分（经适当投影后）。该引理的关键在于使用同一组振幅函数 $\Gamma_\eta$ 同时分解对称与反对称张量，从而保证在构造高频扰动时，速度与磁场的修正项共享相同的相位和振幅结构。

基于此引理，作者设计了一套沿时间序列的凸积分方案。具体而言：

频率尺度与时间网格：选取递增的频率序列 $N_{j,k}$ （ $k \in \mathbb{N}$ 为层级， $$j$$ 为方向指标），满足 $N_{1,k} \ll N_{2,k} \ll \cdots \ll N_{J_d,k} \ll N_{1,k+1}$ （ $$d=2$$ ）或全等（ $d \geq 3$ ）。相应地，选取递减的时间序列 $$t_k$$ ，使得 $N_{j,k}^{-2} \ll t_k \ll N_{J_d,k}^{-2}$ 。这确保了在区间 $[t_{k+1}, t_k]$ 内，能量可从第 $$k+1$$ 层高频传递至第 $$k$$ 层低频。
主部解构造：主部解 $(u^{(k)}, B^{(k)})$ 在第 $$k$$ 层由低频光滑函数构成，其 ansatz 在所有迭代步中保持不变。误差项（Reynolds 应力与磁应力）被编码为一对张量 $(\mathcal{R}^{(k)}, \mathcal{G}^{(k)})$ ，分别对应于动量与磁场方程中的未平衡项。
扰动构造：利用耦合几何引理，将 $(\mathcal{R}^{(k)}, \mathcal{G}^{(k)})$ 分解为一系列平面波形式的高频振荡项。这些扰动形如
$w_{j,k}^{(u)}(x) \approx N_{j,k}^{-2} a_{j,k}^{(u)}(x) \eta_{j,1} \sin(N_{j,k} \eta_j \cdot x), \quad \eta_j \in \Lambda_u,$
$w_{j,k}^{(B)}(x) \approx N_{j,k}^{-2} a_{j,k}^{(B)}(x) \eta_{j,2} \sin(N_{j,k} \eta_j \cdot x), \quad \eta_j \in \Lambda_B,$
其中振幅 $a_{j,k}^{(u)}, a_{j,k}^{(B)}$ 由 $\Gamma_\eta(\mathcal{R}^{(k)}, \mathcal{G}^{(k)})$ 决定。由于耦合引理保证了对称与反对称部分使用相同的 $\Gamma_\eta$ ，因此速度与磁场的扰动在代数结构上协调一致。
误差传播控制：通过精心选择频率增长速率 $A \gg 1$ 和时间尺度 $$t_k$$ ，使得高阶相互作用（如扰动自作用、主部与扰动交叉项）产生的新误差比前一层误差更小，从而实现迭代收敛。

整个框架本质上是一种受控的逆能量级串：每一步都将高频误差“泵送”回低频，形成更大的低频场，最终导致在 $$T^*$$ 时刻附近 $L^\infty$ 范数以 $(t - T^*)^{-1/2}$ 发散。

4. 与之前工作的比较

本文与已有工作的比较可从多个维度展开：

1. 与 Navier–Stokes 瞬时爆破工作 [CDP25] 的比较：本文直接推广了 Dai 等人在 [CDP25] 中为 Navier–Stokes 方程发展的瞬时爆破构造。两者共享逆能量级串机制和时间序列凸积分框架。但关键区别在于：Navier–Stokes 仅涉及单一速度场及其对称张量 $u \otimes u$ ，而 MHD 引入了磁场 $$B$$ 及其与 $$u$$ 的耦合，导致必须同时处理对称张量 $u \otimes u - B \otimes B$ 和反对称张量 $u \otimes B - B \otimes u$ 。[CDP25] 中的标准几何引理（仅分解对称张量）无法满足此需求，故本文必须发展新的耦合几何引理。此外，MHD 的磁场方程无压力项，其结构差异也要求重新设计投影算子和误差传播估计。

2. 与 MHD 非唯一性工作 [BBV20, FLS21, LZZ22] 的比较：这些工作利用凸积分方法证明了 MHD 系统弱解的非唯一性，但其目标不同：它们通常在固定初值下构造多个弱解，或在超临界空间中展示病态性。更重要的是，它们的构造策略是将耦合项 $\mathrm{div}(B \otimes B)$ 和 $\mathrm{div}(u \otimes B - B \otimes u)$ 视为低频误差，并通过凸积分将其吸收进高阶修正中。这种做法破坏了低频场的结构，无法维持主部解的 ansatz。因此，这些方法不能用于构造具有指定爆破行为的解，尤其无法实现递归的逆级串。本文则反其道而行之：将耦合项视为主部生成机制的一部分，从而保留低频轮廓的一致性。

3. 关于爆破速率与函数空间的推进：以往关于 MHD 爆破的工作多为数值模拟或形式渐近分析，缺乏严格构造。本文首次在数学上严格构造出以临界速率爆破的解，即 $\|u(t)\|_{L^\infty} \sim (t - T^*)^{-1/2}$ ，这恰好对应于尺度不变空间 $L^2_t L^\infty_x$ 的端点行为。此外，解满足对数弱化的 Ladyzhenskaya–Prodi–Serrin 和 Beale–Kato–Majda 条件，表明这些经典判据在端点处确实 sharp——稍弱的条件仍允许爆破发生。

4. 关于非唯一性的空间与初值范围：此前 MHD 在 $BMO^{-1} \times BMO^{-1}$ 中的适定性结果（如 [MYZ07, Guo26]）依赖于压缩映射原理，仅适用于小初值或特殊大初值，且解是唯一的。本文则展示了：即使初值光滑（从而属于 $BMO^{-1}$ ），在该空间中解也非唯一。这揭示了 $BMO^{-1}$ 作为临界空间的内在不稳定性。

5. 物理意义与局限：作者指出，所构造的爆破对应于磁场和电流密度的瞬时剧烈集中，与磁重联（magnetic reconnection）现象中的小尺度结构形成定性一致。但需强调：本文未证明拓扑重联事件（如磁通量穿越或场线连通性改变），仅提供了数学上的奇性模型。因此，其物理相关性仍有待进一步分析。

综上，本文不仅推进了 MHD 方程的适定性理论，也为凸积分方法在耦合系统中的应用开辟了新路径。

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

1. 二维Swift-Hohenberg型方程中一般方向的慢速移动斑图界面

Slow-moving pattern interfaces in general directions for a two-dimensional Swift-Hohenberg-type equation

作者: Bastian Hilder, Jonas Jansen

类别: math.AP, nlin.PS

发布日期: 2026-04-10

arXiv ID: 2604.09530v1

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

摘要翻译

中文标题: 二维Swift-Hohenberg型方程中一般方向的慢速移动斑图界面

摘要翻译: 我们严格证明了在一大类非线性项下，二维Swift-Hohenberg型模型在Turing不稳定性附近存在具有任意方向的慢速移动斑图界面的分岔现象。这些界面描述了条纹状与六边形斑图对空间均匀态的侵入过程，并为广泛实际应用中观测到的斑图形成机制提供了一种可能的模型。为此，我们发展了一个严格的框架，结合空间动力学方法与非标准中心流形理论，以确立此类解的存在性。我们的方法利用了Turing不稳定性附近具有 $\mathrm{O}(2)$ 对称性的斑图形成系统所共有的几何与代数结构，并克服了若干基本技术困难，包括虚轴附近谱间隙的非均匀性、由六边形结构引起的二次共振，以及约化方程相空间的高维性。

2. 一种浸入弹性细丝的非局部曲线演化：整体存在性与对阻力气动力理论的收敛性

A nonlocal curve evolution for an immersed elastic filament: global existence and convergence to resistive force theory

作者: Laurel Ohm

类别: math.AP

中文标题: 一般 Hörmander 类符号的双线性拟微分算子的加权与非加权正则性

摘要翻译: 本文研究符号属于 Hörmander 类 $BS_{\varrho,\delta}^m(\mathbb{R}^n)$ 的双线性拟微分算子在先前未被探讨的区域 $0 \leq \varrho < \delta < 1$ 中的有界性。我们在可能最优的阶条件

m \leq m_\varrho(p,q) - \frac{n\max\{\delta-\varrho,0\}}{\max\{r,2\}}

下，建立了从 $H^p(\mathbb{R}^n) \times H^q(\mathbb{R}^n)$ 到 $L^r(\mathbb{R}^n)$ 的有界性（当 $p=q=r=\infty$ 时， $$L^r$$ 替换为 $\mathrm{BMO}$ ），其中 $m_\varrho(p,q)$ 是情形 $0\leq\delta\leq\varrho<1$ 下的临界阶。进一步地，我们通过锐利极大函数发展了精细的逐点估计，并证明当 $m \leq -n(1-\varrho)(\frac{1}{\min\{r_1,2\}}+ \frac{1}{\min\{r_2,2\}})$ 且 $1<r_{1},r_{2}<\infty$ 时，双线性算子满足

M^\sharp T_a(f_1,f_2)(x) \lesssim \mathcal{M}_{\vec{r}}(f_1,f_2)(x).

这一结果将参数范围从限制性条件 $0 \leq \delta\leq \varrho < 1$ 推广至更一般的设定 $0 \leq \varrho \leq 1$ 、 $0 \leq \delta< 1$ ，并允许 $\delta> \varrho$ ，同时将 Park 与 Tomita 的先前结果推广至不同的指数对情形。由此，我们在多线性 $A_{\vec{p},(\vec{r},\infty)}$ 权下获得了双线性拟微分算子的加权范数不等式。

11. 可采样性传输、非线性正则化与多孔介质流

Sampleability transport, nonlinear regularization, and the porous medium flow

作者: Hy P. G. Lam

类别: math.AP, math.OC, math.PR

发布日期: 2026-04-10

arXiv ID: 2604.08911v1

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

摘要翻译

中文标题: 可采样性传输、非线性正则化与多孔介质流

摘要翻译: 我们研究了具有紧支集的概率测度在密度比有界测度类上的Wasserstein投影，并将该投影置于一个更广泛的框架中，该框架联系了生成建模、最优传输与非线性扩散。本文证明了可采样性投影的存在性与唯一性、极小元处Brenier映射的唯一性、二次Wasserstein生成损失的路径无关性，以及热半群的扩散阈值图像。

中文标题: 奇异各向异性椭圆问题弱解的存在性与唯一性

摘要翻译: 本文考虑一类带有 $$p$$ -次线性扰动的拟线性奇异各向异性椭圆问题。我们证明了弱解的唯一性，并给出了弱解存在的充要条件，其思路与Lazer和McKenna的经典论文一致。

不相关论文（基本信息）

1. 通过定量估计得到的余维一等距浸入的渐近刚性

Asymptotic rigidity of codimension-1 isometric immersions via quantitative estimates

作者: Mert Baştuğ

类别: math.AP, math.DG

发布日期: 2026-04-10

arXiv ID: 2604.09387v1

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

摘要: We offer an alternative approach to the asymptotic rigidity of codimension-1 isometric immersions via quantitative rigidity estimates. We show that an immersion between compact manifolds $$M$$ and $$N$$ of dimensions $$d$$ and $$d + 1$$ , respectively, with small stretching plus bending energy is close to an isometric immersion. In this way, we recover the results of Alpern, Kupferman, and Maor. In contrast to their intrinsic approach, we reduce the problem to the equidimensional Euclidean setting and apply the Friesecke-James-Müller rigidity estimate to obtain quantitative results. This yields an elementary proof based on Euclidean techniques. The rigidity estimates are of independent interest.

2. 紧致旋量流形上一类共形不变的Dirac型方程：几何的影响

A Conformally Invariant Dirac-type Equation on Compact Spin Manifolds: the Effect of the Geometry

作者: Ali Maalaoui, Vittorio Martino

类别: math.DG, hep-th, math.AP

发布日期: 2026-04-09

arXiv ID: 2604.08738v1

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

摘要: Given a closed Riemannian Spin manifold $$(M,g)$$ of dimension greater or equal than four, we consider a generalized conformally invariant equation involving the Dirac operator with a non-linearity of convolution type. We show that the Aubib-type inequality corresponding to the problem is always strict, unless $$(M,g)$$ is conformal to the round sphere. In particular, this result provides an existence result for a ground state to the conformal Dirac-Einstein problem in dimension four. We point out that aside from some perturbative or special cases, this presents the first general existence result for the conformal Dirac-Einstein equations in dimension four.

3. 证明一维Thomas模型中局域化模式、周期解及周期解分支的存在性

Proving the existence of localized patterns, periodic solutions, and branches of periodic solutions in the 1D Thomas model

作者: Dominic Blanco

类别: math.AP, math.NA

发布日期: 2026-04-09

arXiv ID: 2604.08715v1

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

摘要: In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically, we develop the necessary analysis to compute explicit upper bounds required in a Newton–Kantorovich approach. Given an approximate solution $\bar{\mathbf{u}}$ , this approach relies on establishing that a well-chosen fixed point map is contracting on a neighborhood $\bar{\mathbf{u}}$ . For this matter, we construct an approximate inverse of the linearization around $\bar{\mathbf{u}}$ , and establish sufficient conditions under which the contraction is achieved. This provides a framework for which computer-assisted analysis can be applied to verify the existence and local uniqueness of solutions in a vicinity of $\bar{\mathbf{u}}$ , and control the linearization around $\bar{\mathbf{u}}$ . Furthermore, as the Thomas model has a non-polynomial nonlinearity, we will need to use different techniques to handle it during our analysis. The code to perform the rigorous proofs is available on Github.

4. 通过有限维反馈对乘性噪声随机热方程的稳定性

Stability for the stochastic heat equation with multiplicative noise via finite-dimensional feedback

作者: Víctor Hernández-Santamaría, Kévin Le Balc’h, Liliana Peralta

类别: math.OC, math.AP

发布日期: 2026-04-09

arXiv ID: 2604.08683v1

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

摘要: In this paper, we study the long-time behavior of a stochastic heat equation with multiplicative noise and localized control. We begin by analyzing the uncontrolled dynamics and derive explicit decay rates for both mean-square and almost sure exponential stability. These estimates show that the two notions of stability may hold under different conditions on the parameters, reflecting the interplay between the drift and the multiplicative noise. We then introduce a finite-dimensional feedback control acting on a measurable subset of positive measure, built from finitely many Fourier modes of the solution. In particular, we show that the number of controlled modes determines the decay rate and allows for arbitrarily fast stabilization in the mean-square sense. As a consequence, almost sure exponential stability is recovered via a probabilistic argument, so that both notions of stability are achieved within the same framework and with the same decay rate. As an application, we provide a new proof of controllability for the stochastic heat equation based on an iterative construction of adapted controls in feedback form, avoiding the use of the adjoint equation.

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

1. 三维欧拉方程中具有紧支截面涡度的聚集涡旋螺旋#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 一维可压缩Navier-Stokes系统的热导率消失极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 任意球对称大初值下多维可压缩Navier-Stokes-Poisson方程在实心球上的整体经典解存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. MHD 方程光滑解的瞬时爆破与非唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 二维Swift-Hohenberg型方程中一般方向的慢速移动斑图界面#

摘要翻译#

2. 一种浸入弹性细丝的非局部曲线演化：整体存在性与对阻力气动力理论的收敛性#

摘要翻译#

3. 连续Calogero-Moser模型的哈密顿表述#

摘要翻译#

4. 非线性Maxwell-Cattaneo-Vernotte方程的热传导与热行波解#

摘要翻译#

5. 二维强迫旋转流体中大振幅拟周期行波附近的长时间动力学#

摘要翻译#

6. 次极端Kerr-Newman外部区域上的无质量Maxwell场#

摘要翻译#

7. 时间分数阶多孔介质方程的自相似解#

摘要翻译#

8. 一类多阶时间分数阶扩散方程的反向问题#

摘要翻译#

9. 一类退化Hessian商型方程的Neumann问题#

摘要翻译#

10. 一般 Hörmander 类符号的双线性拟微分算子的加权与非加权正则性#

摘要翻译#

11. 可采样性传输、非线性正则化与多孔介质流#

摘要翻译#

12. 基于不动点方法的非局部非线性守恒律的存在性与唯一性#

摘要翻译#

13. Heisenberg群上相对论量子流体系统的推导与局部适定性#

摘要翻译#

14. 奇异各向异性椭圆问题弱解的存在性与唯一性#

摘要翻译#

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

1. 通过定量估计得到的余维一等距浸入的渐近刚性#

2. 紧致旋量流形上一类共形不变的Dirac型方程：几何的影响#

3. 证明一维Thomas模型中局域化模式、周期解及周期解分支的存在性#

4. 通过有限维反馈对乘性噪声随机热方程的稳定性#

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

1. 三维欧拉方程中具有紧支截面涡度的聚集涡旋螺旋

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 一维可压缩Navier-Stokes系统的热导率消失极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 任意球对称大初值下多维可压缩Navier-Stokes-Poisson方程在实心球上的整体经典解存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. MHD 方程光滑解的瞬时爆破与非唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 二维Swift-Hohenberg型方程中一般方向的慢速移动斑图界面

摘要翻译

2. 一种浸入弹性细丝的非局部曲线演化：整体存在性与对阻力气动力理论的收敛性

摘要翻译

3. 连续Calogero-Moser模型的哈密顿表述

摘要翻译

4. 非线性Maxwell-Cattaneo-Vernotte方程的热传导与热行波解

摘要翻译

5. 二维强迫旋转流体中大振幅拟周期行波附近的长时间动力学

摘要翻译

6. 次极端Kerr-Newman外部区域上的无质量Maxwell场

摘要翻译

7. 时间分数阶多孔介质方程的自相似解

摘要翻译

8. 一类多阶时间分数阶扩散方程的反向问题

摘要翻译

9. 一类退化Hessian商型方程的Neumann问题

摘要翻译

10. 一般 Hörmander 类符号的双线性拟微分算子的加权与非加权正则性

摘要翻译

11. 可采样性传输、非线性正则化与多孔介质流

摘要翻译

12. 基于不动点方法的非局部非线性守恒律的存在性与唯一性

摘要翻译

13. Heisenberg群上相对论量子流体系统的推导与局部适定性

摘要翻译

14. 奇异各向异性椭圆问题弱解的存在性与唯一性

摘要翻译

不相关论文（基本信息）

1. 通过定量估计得到的余维一等距浸入的渐近刚性

2. 紧致旋量流形上一类共形不变的Dirac型方程：几何的影响

3. 证明一维Thomas模型中局域化模式、周期解及周期解分支的存在性

4. 通过有限维反馈对乘性噪声随机热方程的稳定性