生成时间: 2026年02月05日 04:29:44

重点关注论文数量: 4

了解领域论文数量: 2

不相关论文数量: 19

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

1. 三维外区域中具退化粘性系数及远场真空的可压Navier-Stokes方程强解的局部适定性

Local well-posedness of strong solutions to the compressible Navier-Stokes equations with degenerate viscosities and far field vacuum in 3D exterior domains

作者: Jiaxu Li, Boqiang Lü, Bing Yuan

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04597v1

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

详细分析

中文标题: 三维外区域中具退化粘性系数及远场真空的可压Navier-Stokes方程强解的局部适定性

研究对象和背景

本文研究的是三维外区域 $\Omega = \mathbb{R}^3 \setminus \overline{D}$ 中的等熵可压Navier-Stokes方程组，其中 $D \subset \mathbb{R}^3$ 是一个具有光滑边界的单连通有界区域。该系统描述了密度依赖粘性系数、且在无穷远处趋于真空（即 $\rho \to 0$）的可压缩流体运动，其数学形式为：

$$ \begin{cases} \rho_t + \mathrm{div}(\rho u) = 0, \\ (\rho u)_t + \mathrm{div}(\rho u \otimes u) + \nabla P = \mathrm{div}\, T, \end{cases} \tag{1.1} $$

其中：

  • $\rho = \rho(x,t) \geq 0$ 表示流体密度；
  • $u = (u_1,u_2,u_3)(x,t)$ 表示速度场；
  • 压力满足等熵状态方程 $P(\rho) = a \rho^\gamma$，其中常数 $a > 0$，绝热指数 $\gamma > 1$；
  • 应力张量 $T$ 定义为
    $$ T = 2\mu(\rho) D(u) + \lambda(\rho)\,\mathrm{div}\,u\, I_3, \tag{1.2} $$
    其中 $D(u) = \frac{1}{2}(\nabla u + (\nabla u)^\top)$ 是形变率张量，$I_3$ 是 $3\times 3$ 单位矩阵；
  • 粘性系数取为密度的幂函数：
    $$ \mu(\rho) = \mu \rho^\delta,\quad \lambda(\rho) = \lambda \rho^\delta,\quad \text{with } 0 < \delta < 1, \tag{1.3} $$
    且满足物理相容性条件 $\mu > 0$，$2\mu + 3\lambda \geq 0$。

该模型的关键特征在于：粘性退化（当 $\rho \to 0$ 时 $\mu(\rho), \lambda(\rho) \to 0$）与远场真空（$\rho(x,t) \to 0$ 当 $|x|\to\infty$）同时存在。此时动量方程在真空区域退化为双重退化抛物型方程，导致经典椭圆/抛物理论失效，对解的存在性、正则性和唯一性构成严峻挑战。

研究区域 $\Omega$ 是典型的非紧无界区域，其拓扑非平凡（第一Betti数非零），这使得标准的Sobolev嵌入、div-curl引理及椭圆估计均需重新校准。特别地，由于 $\partial\Omega$ 非空，必须施加合适的边界条件。本文采用Navier型滑移边界条件：

$$ u \cdot n = 0,\quad \mathrm{curl}\,u \times n = -A(x) u,\quad \text{on } \partial\Omega, \tag{1.6} $$

其中 $n$ 是指向 $\Omega$ 外侧的单位法向量，$A(x)$ 是定义在 $\partial\Omega$ 上的 $3\times 3$ 对称矩阵，刻画边界摩擦效应。该条件比经典的无滑移条件（$u=0$）更符合物理实际，但引入了额外的边界耦合项，尤其在 $\rho$ 接近真空时，$A$ 的符号不定性（未必半正定）会导致边界能量项符号不可控，成为技术难点。

此外，初始数据满足远场真空行为：

$$ (\rho, u)(x,0) = (\rho_0, u_0)(x),\quad (\rho_0, u_0) \to (0,0)\ \text{as } |x|\to\infty. \tag{1.7} $$

函数空间设定亦具特殊性：解空间采用加权Sobolev类，如

  • $\rho^{\gamma-1+\frac{2\delta}{3}} \in L^\infty([0,T]; D^1 \cap D^2)$，
  • $\nabla \rho^{\delta-\frac{1}{2}} \in L^\infty([0,T]; D^1)$，
  • $\rho^{\delta-\frac{1}{2}} \in L^\infty([0,T]; L^6(\Omega_0))$，
    其中 $\Omega_0 = \Omega \cap B_{2R_0}$ 是靠近边界的有界子区域，$D^{k,p} = \{ f \in L^1_{\mathrm{loc}} : \|\nabla^k f\|_{L^p} < \infty \}$。这种加权结构精准捕捉了 $\rho$ 在真空附近的奇异性，并保证关键量（如 $\rho^{\delta-\frac{1}{2}} \nabla \mathrm{div}\,u$）可控。

综上，本文的研究对象是一个兼具几何复杂性（外区域+滑移边界）、物理真实性（退化粘性）与分析困难性（远场真空+双重退化） 的高度非线性偏微分方程系统，其适定性问题长期悬而未决。

主要定理或主要结果

本文的核心结果是如下局部强解存在唯一性定理：

Theorem 1.1. 设参数 $(\gamma,\delta)$ 满足

$$ \gamma > 1,\quad 0 < \delta < 1. \tag{1.11} $$


若初始数据 $(\rho_0, u_0)$ 满足正则性条件：

$$ \rho_0^{1-\frac{2\delta}{3}} u_0 \in L^2,\quad u_0 \in D^1 \cap D^2,\quad \rho_0^{\gamma-1+\frac{2\delta}{3}} \in D^1 \cap D^2,\quad \nabla \rho_0^{\delta-\frac{1}{2}} \in D^1, \tag{1.12} $$


并满足相容性条件：存在 $g_0 \in L^2$ 使得

$$ L(u_0) = \rho_0^{\frac{1-\delta}{2}} g_0, \tag{1.13} $$


其中 $L(u) = \mu \Delta u + (\mu + \lambda) \nabla \mathrm{div}\,u$ 是Lamé算子，则存在 $T_0 > 0$，使得初边值问题 (1.1)–(1.7) 在 $[0,T_0] \times \Omega$ 上存在唯一强解 $(\rho,u)$，满足：

$$ \begin{cases} \rho^{\gamma-1+\frac{2\delta}{3}} \in L^\infty([0,T_0]; D^1 \cap D^2), \\ \nabla \rho^{\delta-\frac{1}{2}} \in L^\infty([0,T_0]; D^1),\quad \rho^{\delta-\frac{1}{2}} \in L^\infty([0,T_0]; L^6(\Omega_0)), \\ u \in L^\infty([0,T_0]; D^1 \cap D^2) \cap L^2([0,T_0]; D^1 \cap D^3), \\ \rho^{1-\frac{2\delta}{3}} u_t \in L^\infty([0,T_0]; L^2),\quad u_t \in L^2([0,T_0]; D^1), \\ \rho^{\delta-\frac{1}{2}} L u,\ \rho^{\delta-\frac{1}{2}} \nabla \mathrm{div}\,u \in L^2([0,T_0]; H^1). \end{cases} \tag{1.14} $$

该定理还附带一个爆破准则（Theorem 1.2），刻画了解的最大存在时间 $T^*$ 的极限行为：若 $T^* < \infty$，则必有

$$ \lim_{T \to T^*} \left( \|D(u)\|_{L^1(0,T;L^\infty)} + \|\rho^{\delta-\frac{1}{2}}\|_{L^\infty(0,T;L^6(\Omega_0))} + \|\nabla \rho^{\delta-\frac{1}{2}}\|_{L^\infty(0,T;L^6 \cap D^{1,2})} \right) = +\infty. $$

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

a) 核心分析学工具

本文建立在加权能量估计框架之上，其主干工具包括：

  • 重写方程技术：将原动量方程除以 $\rho^\delta$，得到等价系统

    $$ \rho^{1-\delta} u_t + \rho^{1-\delta} u \cdot \nabla u - L u + \frac{a\gamma}{\gamma-\delta} \nabla \rho^{\gamma-\delta} = \delta \nabla \log \rho \cdot S(u), \tag{1.9} $$


    其中 $S(u) = 2\mu D(u) + \lambda \mathrm{div}\,u\, I_3$。此举将退化粘性“吸收”进时间导数与对流项的权重中，使 $L u$ 成为主导线性项，便于应用椭圆理论。

  • 分区域截断与一致先验估计：为处理外区域，引入截断区域 $\Omega_R = \Omega \cap B_R$，在 $\Omega_R$ 上建立与 $R$ 无关的先验估计，再令 $R \to \infty$。关键在于控制 $\|u\|_{L^2(\Omega_R)}$ —— 由于真空存在，该范数无自然一致界。作者利用截断函数 $\eta$（支集在 $\Omega_0$）将 $\|u\|_{L^2(\Omega_R)}$ 局部化为 $\|u\|_{L^2(\Omega_0)}$，再借助密度下界引理（Lemma 2.4）证明 $\rho$ 在 $\Omega_0$ 上有正下界，从而 $\|u\|_{L^2(\Omega_0)}$ 可由加权能量控制。

  • 改进的 div-curl 引理（Lemma 2.2）：在外区域 $\Omega_R$ 上，标准 div-curl 不等式需修正为

    $$ \|\nabla u\|_{L^p(\Omega_R)} \le C\left( \|\mathrm{div}\,u\|_{L^p} + \|\mathrm{curl}\,u\|_{L^p} + \|u\|_{L^p(\Omega_0)} \right), $$


    此形式规避了 $\|u\|_{L^p(\Omega_R)}$ 的全局控制难题，是连接局部与全局估计的枢纽。

  • Lamé 系统高阶正则性（Lemma 2.3）：对边值问题

    $$ \begin{cases} L u = f & \text{in } \Omega_R, \\ u \cdot n = 0,\ \mathrm{curl}\,u \times n = -A u & \text{on } \partial\Omega, \\ u \cdot n = 0,\ \mathrm{curl}\,u \times n = 0 & \text{on } \partial B_R, \end{cases} $$


    建立 $\|\nabla^{k+2} u\|_{L^p} \le C(\|f\|_{W^{k,p}} + \|\nabla u\|_{L^2})$，为高阶能量估计提供基础。

b) 关键技术技巧

  • 密度下界的新观测（Remark 1.2）：证明 $\nabla \rho^{\delta-\frac{1}{2}} \in L^\infty(D^1)$ 与 $\rho^{\delta-\frac{1}{2}} \in L^\infty(L^6(\Omega_0))$ 蕴含 $\rho$ 在 $\Omega_0$ 上有正下界。此结论不依赖于初始密度远离真空，而是由演化方程自动保持，是处理滑移边界项 $\int_{\partial\Omega} u \cdot A u \, dS$ 符号不确定性的关键——确保被积函数无奇异性。

  • 对 $\nabla \rho^{\delta-\frac{1}{2}}$ 的精细估计：定义 $w \triangleq \rho^{\delta-\frac{1}{2}} \nabla \mathrm{div}\,u$，利用质量方程将其与 $\nabla \rho^{\delta-\frac{1}{2}}$ 关联。传统方法（如 Li-Li [17]）在环形域 $\Omega_R$ 上失效，本文创新性地将 $w$ 分解为

    $$ (2\mu+\lambda) w = \rho^{\delta-\frac{1}{2}} L u + \mu \rho^{\delta-\frac{1}{2}} \mathrm{curl}\,\mathrm{curl}\,u, $$


    并分别估计两项：前者由方程直接控制；后者通过带边界的 div-curl 分解（式 (1.26)）拆解为体积项与边界项，再利用 $\rho$ 的局部下界和 Sobolev 嵌入控制。

  • 边界项的统一处理：对滑移条件中的非正定 $A$，作者不强加正定性假设，而是将边界能量项 $\int_{\partial\Omega} u \cdot A u \, dS$ 用迹定理控制为 $C\|\nabla u\|_{L^2}^2$，再吸收进耗散项，避免对 $A$ 的符号作任何限制。

与之前工作的比较

a) 突破与改进

本文相较已有工作实现三重实质性突破：

  1. 摆脱 $\delta$ 与 $\gamma$ 的耦合约束：Xin-Zhu [33] 与 Liu-Zhong [23] 要求 $\delta \to 1$ 当 $\gamma \to 1$（即 (1.8) 式），本质是为补偿 $\rho^{\gamma-\delta}$ 压力项在真空处的奇异性。本文通过加权空间选择（如 $\rho^{\gamma-1+\frac{2\delta}{3}} \in D^2$）与新密度下界机制，完全解除该限制，允许任意 $\gamma > 1$ 与 $\delta \in (0,1)$ 独立选取，覆盖 Maxwell 分子等更广物理场景。

  2. 弱化相容性条件：[23,33] 要求两个额外相容性条件（涉及 $\rho_0$ 的高阶导数与 $u_0$ 的耦合）。本文仅需一个条件 (1.13)，大幅拓宽了允许的初始数据类，例如

    $$ \rho_0(x) = \frac{1}{(1+|x|^2)^\alpha},\quad \frac{1}{2(2\gamma-1-\delta)} < \alpha < \frac{1}{2(1-\delta)}, $$


    此类衰减率在先前工作中不可行。

  3. 首次在外区域建立退化粘性理论：此前关于 $\delta \in (0,1)$ 的结果仅见于全空间（[33,17]）或二维（[21]）。本文是首个在三维外区域、Navier滑移边界、远场真空三重困难叠加下建立局部强解理论的工作，其技术（如截断区域一致估计、边界局部化、改进 div-curl 引理）为后续研究提供了可推广的范式。

2. 放松静力平衡假设的随机原始方程作为三维随机Navier-Stokes方程的高阶近似之诠释

Interpretation of stochastic primitive equations with relaxed hydrostatic assumption as a higher order approximation of 3D stochastic Navier-Stokes

作者: Arnaud Debussche, Étienne Mémin, Antoine Moneyron

类别: math.AP, math-ph, math.PR

发布日期: 2026-02-04

arXiv ID: 2602.04422v1

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

详细分析

中文标题: 放松静力平衡假设的随机原始方程作为三维随机Navier-Stokes方程的高阶近似之诠释

研究对象和背景

本文研究的核心对象是三维随机Navier-Stokes方程（stochastic 3D Navier-Stokes equations）与随机原始方程（stochastic primitive equations）之间的渐近关系，特别聚焦于在放松静力平衡（hydrostatic）假设下，后者如何构成前者的高阶近似。该问题植根于地球物理流体力学（geophysical fluid dynamics, GFD）与随机偏微分方程（SPDEs）理论的交叉前沿，旨在为海洋与大气建模提供兼具物理一致性与数学严谨性的随机化框架。

论文采用位置不确定性（Location Uncertainty, LU）框架——一种基于**随机Reynolds输运定理（SRTT）**构建的物理驱动型随机建模范式。该框架将流体运动分解为确定性大尺度欧拉速度 $u$ 与高频未解析位移噪声 $\sigma dW_t$，其动力学由Ito意义下的随机微分给出：

$$ dX_t = u(X_t,t)\,dt + \sigma(X_t,t)\,dW_t. $$

在此基础上，LU Navier-Stokes方程通过将SRTT应用于质量、动量与示踪物守恒律导出。关键特征在于：它自然引入了Itô-Stokes漂移 $u_s = \frac{1}{2}\nabla\cdot a$，其中 $a(x,t) = \mathbb{E}[\sigma dW_t(x) \otimes \sigma dW_t(x)]$ 是方差张量（variance tensor），刻画噪声的空间不均匀性对大尺度流的影响；同时包含一个随机扩散项 $-\frac{1}{2}\nabla\cdot(a\nabla q)$，体现小尺度混合效应，可视为Boussinesq涡粘性假设的矩阵值推广。

论文考虑一个薄层域（thin domain） $S_\epsilon = S_H \times (-\epsilon,\epsilon) \subset \mathbb{R}^3$，其中 $S_H \subset \mathbb{R}^2$ 是光滑有界水平区域，$\epsilon > 0$ 表征纵横比（aspect ratio），即垂直尺度 $H$ 与水平尺度 $L$ 之比：$\epsilon = H/L$。此几何设定对应真实海洋中大尺度水平运动远快于垂直运动的物理现实。

在该薄层上，作者推导并分析了尺度化LU Navier-Stokes方程（Scaled Navier-Stokes, SNS$_\epsilon$）。设速度场 $u_\epsilon = (v_\epsilon,w_\epsilon)^\top$（水平分量 $v_\epsilon \in \mathbb{R}^2$，垂直分量 $w_\epsilon \in \mathbb{R}$），压力 $p_\epsilon$，示踪物 $\theta_\epsilon$，密度 $\rho_\epsilon = \rho_0(1+\theta_\epsilon)$（线性状态方程），并引入各向异性粘性算子 $\Delta_{\mu,\nu} = \mu \Delta_H + \nu \partial_{zz}$，其中标准尺度选择为 $\mu = 1$, $\nu = \epsilon^2$，以匹配物理量纲。

核心方程组（SNS$_\epsilon$）如下（见原文第10页公式(3.17)–(3.20)）：

$$ d v_\epsilon + \left[(u_\epsilon^* \cdot \nabla_3) v_\epsilon - \frac{1}{2}\nabla_3 \cdot (a^0 \nabla_3 v_\epsilon)\right] dt + \Upsilon^{1/2} (\sigma^0 d\widetilde{W}t \cdot \nabla_3) v\epsilon \

  • \Delta_3 (v_\epsilon dt + \Upsilon^{1/2} \sigma^H d\widetilde{W}t) + \frac{1}{\rho_0} \nabla_H (p\epsilon dt + dp_\epsilon^\sigma) = 0, $$

$$ \epsilon^2 \Bigg[ d w_\epsilon + \big[(u_\epsilon^* \cdot \nabla_3) w_\epsilon - \frac{\alpha_\sigma^2 \Upsilon}{2} \nabla_3 \cdot (a^0 \nabla_3 w_\epsilon)\big] dt + \alpha_\sigma \Upsilon^{1/2} (\sigma^0 d\widetilde{W}t \cdot \nabla_3) w\epsilon \

  • \Delta_3 (w_\epsilon dt + \alpha_\sigma \Upsilon^{1/2} \sigma^z d\widetilde{W}t) + \frac{1}{\rho_0} \partial_z (p\epsilon dt + dp_\epsilon^\sigma) + \frac{\epsilon}{\rho_0} g \Bigg] = 0, $$
$$ d \theta_\epsilon + \left[(u_\epsilon^* \cdot \nabla_3) \theta_\epsilon - \frac{1}{2}\nabla_3 \cdot (a^0 \nabla_3 \theta_\epsilon)\right] dt + \Upsilon^{1/2} (\sigma^0 d\widetilde{W}_t \cdot \nabla_3) \theta_\epsilon - \Delta_3 \theta_\epsilon dt = 0, $$
$$ \nabla_H \cdot v_\epsilon + \partial_z w_\epsilon = 0. $$

此处，$\nabla_3 = (\partial_x, \partial_y, \partial_z)^\top$，$\nabla_H = (\partial_x, \partial_y)^\top$，$\Delta_3 = \partial_{xx} + \partial_{yy} + \partial_{zz}$，$\Delta_H = \partial_{xx} + \partial_{yy}$；$u_\epsilon^* = u_\epsilon - u_{\epsilon,s}$ 为去漂移速度；$\sigma^0 d\widetilde{W}_t$ 是定义在缩放域 $S = S_H \times (-1,1)$ 上的柱状Wiener过程；$\Upsilon > 0$ 是噪声强度参数；$\alpha_\sigma > 0$ 是垂直噪声系数，用于调节垂直动量方程中噪声贡献的相对大小，是区分强/弱静力平衡的关键参数。

边界条件方面，论文同时考虑两类情形：

  • 刚盖（rigid-lid）边界条件：对应弱收敛分析，要求 $w_\epsilon|_{z=\pm 1} = 0$，$v_\epsilon$ 满足无滑移或周期性，压力在上下边界满足 Neumann 条件。函数空间取为 $L^2(S)$ 或 $H^1(S)$。
  • 完全周期（fully periodic）边界条件：对应强收敛分析，整个域 $S$ 上所有变量均为周期函数，空间取为 Sobolev 空间 $H^k_{\text{per}}(S)$。

特别值得注意的是，噪声被严格要求为散度自由（divergence-free）：

$$ \nabla_3 \cdot (\sigma^0 d\widetilde{W}_t) = \nabla_H \cdot (\sigma^H d\widetilde{W}_t) + \partial_z (\sigma^z d\widetilde{W}_t) = 0, $$

这保证了质量守恒的严格成立，并深刻影响了投影算子的构造。

主要定理或主要结果

本文的核心结论可概括为以下两个主定理，分别对应弱解与强解框架下的收敛性：

Theorem 4.1 (Weak convergence under rigid-lid conditions)
Assume the noise $\sigma^0 d\widetilde{W}_t$ is bidimensional and divergence-free, the initial data satisfy $u_{\epsilon,0} \in L^2(S)$, $\theta_{\epsilon,0} \in L^2(S)$, and the parameters satisfy $\Upsilon > 0$ fixed, $\alpha_\sigma = \alpha_\sigma(\epsilon)$ with $\alpha_\sigma = o(\epsilon^{-1})$ but $\alpha_\sigma \neq o(\epsilon^{-1/2})$. Then, as $\epsilon \to 0$, any sequence of weak solutions $(u_\epsilon, \theta_\epsilon)$ to (SNS$_\epsilon$) converges in probability, up to a subsequence, to a weak solution $(\bar{v}, \bar{w}, \bar{\theta})$ of the stochastic primitive equations with relaxed hydrostatic balance (rPE), in the topology of $L^2(0,T; L^2(S))$.

Theorem 5.1 (Strong convergence under fully periodic conditions)
Under the same assumptions on noise and initial data, but now requiring $u_{\epsilon,0} \in H^1_{\text{per}}(S)$, $\theta_{\epsilon,0} \in H^1_{\text{per}}(S)$, and assuming $\alpha_\sigma = o(\epsilon^{-1/2})$, the strong solutions $(u_\epsilon, \theta_\epsilon)$ to (SNS$_\epsilon$) converge in probability to the strong solution of the stochastic primitive equations with strong hydrostatic balance (sPE), in the topology of $C([0,T]; H^1_{\text{per}}(S)) \cap L^2(0,T; H^2_{\text{per}}(S))$.

此外，论文还确立了一个关键的正则性与适定性结果（Proposition 3.2 in [19], cited and extended）：

The relaxed stochastic primitive equations (rPE), obtained by retaining the martingale term $\alpha_\sigma \Upsilon^{1/2} \sigma^z d\widetilde{W}_t$ in the vertical momentum equation, are well-posed in appropriate function spaces when the variance tensor $a^0$ is regularized via a low-pass filter, provided the horizontal noise is independent of the vertical coordinate.

这些结果共同表明：当垂直噪声强度 $\alpha_\sigma$ 处于特定渐近区间 $o(\epsilon^{-1}) \setminus o(\epsilon^{-1/2})$ 时，放松静力平衡的随机原始方程（rPE）比经典强静力平衡版本（sPE）能更精确地逼近三维随机Navier-Stokes方程（SNS$_\epsilon$），且这种逼近是“高阶”的，即误差阶数优于 $O(\epsilon)$。

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

a) 核心分析学工具

论文的证明建立在一套精密的随机分析与偏微分方程渐近理论工具之上。

首先，为处理随机项与压力项的耦合，作者构造了一个缩放梯度算子 $\nabla_\epsilon$ 和一个修正的Leray投影算子 $\mathbb{P}_\epsilon$。标准Leray投影 $\mathbb{P}$ 将 $L^2$ 向量场正交投影到散度自由子空间，从而消去压力梯度项。然而，在缩放后的方程中，压力梯度项变为 $\nabla_\epsilon p_\epsilon = (\nabla_H p_\epsilon, \epsilon^{-2} \partial_z p_\epsilon)^\top$，其垂直分量被剧烈放大。为此，作者定义：

$$ \nabla_\epsilon f = \begin{pmatrix} \nabla_H f \\ \frac{1}{\epsilon^2} \partial_z f \end{pmatrix}, $$

并相应地定义 $\mathbb{P}_\epsilon$ 为在缩放内积 $\langle u, v \rangle_\epsilon = \int_S (u_H \cdot v_H + \epsilon^2 u_z v_z) \, dx$ 下的正交投影。这一构造使得 $\mathbb{P}_\epsilon (\nabla_\epsilon p_\epsilon) = 0$，从而成功“吸收”了缩放后的压力项。此技巧是全文技术基石，其必要性源于Itô引理产生的协变分（covariation）项：若直接使用标准 $\mathbb{P}$，协变分将产生无法控制的 $\epsilon^{-2}$ 项。

其次，证明依赖于能量估计（energy estimates），但并非经典的几乎必然（a.s.）估计，而是二阶矩估计（second-order moment estimates）。由于SPDE解的路径正则性通常较差，作者无法获得所需的几乎必然有界性来复刻 deterministic setting 中 [34] 的论证。取而代之，他们对解的 $L^2$ 范数平方取期望，利用Itô公式、Gronwall不等式及噪声的散度自由性，得到：

$$ \mathbb{E} \left[ \|u_\epsilon(t)\|_{L^2}^2 \right] + \mathbb{E} \left[ \int_0^t \|\nabla_H v_\epsilon(s)\|_{L^2}^2 + \epsilon^2 \|\partial_z v_\epsilon(s)\|_{L^2}^2 + \epsilon^2 \|\nabla_H w_\epsilon(s)\|_{L^2}^2 \, ds \right] \leq C, $$

其中常数 $C$ 独立于 $\epsilon$。此类估计为后续的紧性论证提供了基础。

第三，紧性原理（compactness principle） 是连接不同尺度解的桥梁。在刚盖条件下，作者利用上述一致的 $L^2$ 和 $L^2_t H^1_x$ 估计，结合Aubin-Lions引理（针对时间变量）和Rellich-Kondrachov紧嵌入定理（针对空间变量），在概率空间上构造出收敛子列。在完全周期条件下，更强的 $H^1$ 初始数据允许进行 $H^1$-能量估计，从而获得 $C_t H^1_x \cap L^2_t H^2_x$ 的一致有界性，再辅以Skorokhod嵌入定理，实现强拓扑下的收敛。

最后，随机积分理论是贯穿始终的底层工具。所有方程均在Itô意义下理解，因此必须严格处理Itô项、Itô-Stratonovich校正项以及协变分。例如，在应用Itô公式于 $\|u_\epsilon\|_{L^2}^2$ 时，协变分 $\langle u_\epsilon, u_\epsilon \rangle_t$ 会生成与 $\alpha_\sigma^2 \Upsilon$ 相关的耗散项，该结构恰好与方程中人为引入的 $\alpha_\sigma^2$-加权扩散项相匹配，体现了模型的内在一致性。

b) 技术性难题的解决技巧

论文面临的核心技术挑战有三：

  1. “尺度失配”导致的压力爆炸问题：如前所述，$\epsilon \to 0$ 时，垂直压力梯度 $\epsilon^{-2}\partial_z p_\epsilon$ 发散。标准方法失效。作者的应对是前述的缩放投影算子 $\mathbb{P}_\epsilon$。它本质上是对经典Leray理论的一次“几何适配”，将函数空间的范数与物理尺度同步缩放，使得投影后的方程在 $\epsilon \to 0$ 极限下保持良态。

  2. 非线性项的奇异性控制：非线性对流项 $(u_\epsilon^* \cdot \nabla_3) u_\epsilon$ 在薄层中表现出强烈的各向异性。水平梯度 $\nabla_H$ 作用于 $w_\epsilon$ 时，其尺度为 $O(1)$，但 $\partial_z$ 作用于 $v_\epsilon$ 时，其尺度为 $O(\epsilon^{-1})$。作者通过精细的插值不等式（如 $L^4 \hookrightarrow H^{1/2}$）和各向异性Sobolev嵌入（例如 $\|f\|_{L^2_z L^\infty_{x,y}} \lesssim \|f\|_{H^1_z L^2_{x,y}}^{1/2} \|f\|_{L^2_z H^1_{x,y}}^{1/2}$）来分离并控制不同方向的导数贡献。

  3. 随机项与极限过程的交换问题：在取 $\epsilon \to 0$ 极限时，需要将随机积分 $\int_0^t \sigma^0 d\widetilde{W}_s$ 的极限与解的极限交换顺序。这并非平凡，因为Wiener过程本身不连续。作者采用弱收敛方法：先在Skorokhod空间上证明解序列的紧性，再利用Prokhorov定理和Skorokhod嵌入定理，将问题转化为在同一个概率空间上讨论几乎必然收敛，从而合法地交换极限与积分。

与之前工作的比较

a) 突破与改进

本文的突破性贡献在于首次在严格的数学框架下，确立了“放松静力平衡”的随机原始方程（rPE）作为三维随机Navier-Stokes方程（SNS）的“高阶近似”这一物理直觉的正确性，并精确刻画了其适用的参数范围。

此前的工作可分为两大类：

  • Deterministic setting ([34]等)：经典结果证明，在薄层极限 $\epsilon \to 0$ 下，3D Navier-Stokes方程的解收敛于强静力平衡原始方程（sPE）的解。其证明严重依赖于几乎必然的能量估计和确定性的紧性论证。然而，这一框架无法解释为何在深对流等强非静力过程中，sPE会失效。本文通过引入随机性，将“非静力效应”显式建模为垂直动量方程中的martingale扰动项 $\alpha_\sigma \Upsilon^{1/2} \sigma^z d\widetilde{W}_t$，从而将物理现象（深对流）与数学结构（随机项）直接挂钩。

  • Stochastic setting ([2], [8], [17], [19]等)：已有工作建立了各类随机原始方程（sPE, rPE）的适定性，但它们多将rPE视为一个独立的、经验性的模型，缺乏其与更基本的3D方程之间的定量渐近联系。例如，[19] 证明了rPE的适定性，但并未回答“它在何种意义上比sPE更好？”这一问题。本文则通过引入可调参数 $\alpha_\sigma$，揭示了一个清晰的三明治结构：

    • 若 $\alpha_\sigma = o(\epsilon^{-1/2})$，则 rPE 退化为 sPE，收敛至经典极限。
    • 若 $\alpha_\sigma \sim \epsilon^{-\gamma}$ 且 $\frac{1}{2} < \gamma < 1$，则 rPE 成为一个真正更高阶的近似，其误差为 $O(\epsilon^{2\gamma})$，优于 sPE 的 $O(\epsilon)$。
    • 若 $\alpha_\sigma = O(\epsilon^{-1})$，则模型捕捉到完整的非静力动力学，但可能失去原始方程的计算优势。

这一参数化视角是本文最根本的创新。它不仅放宽了对物理模型的假设（从强制的静力平衡到可调控的准静力平衡），更强化了所得结果的适用性：它不再是一个“要么全有，要么全无”的二元结论，而是一个连续的、可调谐的精度谱系。在实际应用中，这意味着模型师可以根据具体问题（如模拟温带气旋 vs. 热带深对流）选择最优的 $\alpha_\sigma$，从而在计算成本与物理保真度之间取得最佳平衡。

此外，本文在数学技术层面也做出了重要推进。它发展了一套适用于各向异性随机偏微分方程的系统性分析工具，特别是缩放Leray投影和基于二阶矩的随机紧性论证，为今后研究其他具有尺度分离特性的复杂SPDE系统（如随机MHD、随机Boussinesq方程）提供了可复用的范式。

3. 关于纳维-斯托克斯方程轴对称解的柯西问题

On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

作者: Wiesław J. Grygierzec, Wojciech M. Zajączkowski

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04377v1

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

详细分析

中文标题: 关于纳维-斯托克斯方程轴对称解的柯西问题

研究对象和背景

本文研究的是三维欧几里得空间 $\mathbb{R}^3$ 上 轴对称（axially symmetric）情形下的 不可压缩纳维-斯托克斯方程（Navier-Stokes equations）的 柯西问题（Cauchy problem），即初值问题。该方程组描述了粘性、不可压缩牛顿流体在无外力边界约束下的运动演化，其标准形式为：

$$ \begin{cases} v_t + v \cdot \nabla v - \nu \Delta v + \nabla p = f & \text{in } \mathbb{R}^3 \times (0,T), \\ \operatorname{div} v = 0 & \text{in } \mathbb{R}^3 \times (0,T), \\ v|_{t=0} = v(0) & \text{in } \mathbb{R}^3, \end{cases} $$

其中 $v = (v_1,v_2,v_3)$ 是速度场，$p$ 是压力，$f$ 是外力项，$\nu > 0$ 为常数粘性系数。本文的关键在于：要求解 $v$ 具有轴对称性，即在以 $z$-轴为对称轴的柱坐标系 $(r,\varphi,z)$ 下，所有物理量仅依赖于 $r$ 和 $z$，且不显含角变量 $\varphi$。

为此，引入柱坐标变换：

$$ x = r \cos \varphi,\quad y = r \sin \varphi,\quad z = z, $$

并定义单位向量：

$$ \bar{e}_r = (\cos \varphi, \sin \varphi, 0),\quad \bar{e}_\varphi = (-\sin \varphi, \cos \varphi, 0),\quad \bar{e}_z = (0,0,1). $$

轴对称速度场可唯一分解为：

$$ v = v_r(r,z,t)\, \bar{e}_r + v_\varphi(r,z,t)\, \bar{e}_\varphi + v_z(r,z,t)\, \bar{e}_z. $$

相应地，涡量 $\omega = \operatorname{rot} v$ 亦具有轴对称结构：

$$ \omega = \omega_r(r,z,t)\, \bar{e}_r + \omega_\varphi(r,z,t)\, \bar{e}_\varphi + \omega_z(r,z,t)\, \bar{e}_z, $$

其分量满足如下经典关系：

$$ \omega_r = -\partial_z v_\varphi,\quad \omega_\varphi = \partial_z v_r - \partial_r v_z,\quad \omega_z = \frac{1}{r}\partial_r (r v_\varphi) = \partial_r v_\varphi + \frac{v_\varphi}{r}. $$

特别地，文中引入关键量——旋量（swirl）：

$$ u = r v_\varphi, $$

它满足一个独立的抛物型方程：

$$ u_t + v \cdot \nabla u - \nu \Delta u + \frac{2\nu}{r} u_r = r f_\varphi, $$

且初始条件为 $u|_{t=0} = r v_\varphi(0)$。该方程不含一阶奇异性项（如 $v_\varphi^2/r$），是全文正则性分析的基石之一。

进一步，为刻画轴向与径向耦合，作者引入修正流函数（modified stream function）：

$$ \psi_1 = \frac{\psi}{r}, $$

其中 $\psi$ 是满足 $\operatorname{div} v = 0$ 的经典流函数，由下式定义：

$$ v_r = -\partial_z \psi,\quad v_z = \partial_r \psi,\quad v_\varphi = \frac{1}{r}\partial_r(r \psi). $$

利用 $\psi_1$，速度分量可重写为：

$$ v_r = -r \partial_z \psi_1,\quad v_z = -\psi_1 - r \partial_r \psi_1,\quad v_\varphi = \partial_r \psi_1 + \frac{2}{r}\psi_1. $$

该表达式消除了 $r=0$ 处的显式奇异性，使后续在原点邻域进行 $H^2$、$H^3$ 椭圆估计成为可能。

研究区域为全空间 $\Omega = \mathbb{R}^3$，无边界条件；但因轴对称性，实际计算域退化为半平面 $\overline{\mathbb{R}}^3 = \{(r,z): r > 0, z \in \mathbb{R}\}$，并配备加权测度 $r\,dr\,dz$。函数空间采用能量型范数：

$$ \| \omega \|_{V(\Omega^t)} = \| \omega \|_{L^\infty(0,t; L^2(\mathbb{R}^3))} + \| \nabla \omega \|_{L^2(\mathbb{R}^3 \times (0,t))}, $$

以及带权重的 Sobolev 空间 $W^{k,p}_q$（如 $W^{3,3/2}_3$），其时间-空间混合范数体现了解的时空正则性层次。

值得注意的是，本文未施加任何小初值假设或衰减条件（如 $v(0) \in L^1$ 或快速衰减），也不要求 $v_\varphi$ 在轴上非零（即不依赖经典的“Serrin-type”条件 $|v_\varphi|_{s,\infty}/|v_\varphi|_{\infty} \ge c$），这是区别于早期工作的根本特征。

主要定理或主要结果

本文的核心结论由以下定理给出：

Theorem 1.1（全局先验估计定理）
设 $v$ 是问题 (1.1) 的任意正则解，且满足 Liu–Wang 展开式（见后文）成立。若初值及外力数据满足 Notation 2.2 中所列各项有限（包括 $v(0) \in W^{3-2/3}_3(\mathbb{R}^3)$、$f \in W^{1,1/2}_3(\mathbb{R}^3 \times (0,T))$ 等），则对任意有限 $T < \infty$，存在仅依赖于这些数据的增函数 $\phi$，使得如下全局先验估计成立：

$$ X(T) \le \phi(\text{data}), $$

其中

$$ X(t) = \left\| \frac{\omega_r}{r} \right\|_{V(\mathbb{R}^3 \times (0,t))} + \left\| \frac{\omega_\varphi}{r} \right\|_{V(\mathbb{R}^3 \times (0,t))}. $$

进一步，结合局部解存在性与正则性提升技术，该先验估计直接推出：

Corollary（全局正则解存在性）
在上述数据条件下，柯西问题 (1.1) 存在唯一的全局强解：

$$ v \in W^{3,3/2}_3(\mathbb{R}^3 \times (0,\infty)),\quad \nabla p \in W^{1,1/2}_3(\mathbb{R}^3 \times (0,\infty)). $$

该解满足经典意义下的方程，并保持所有导数的一致有界性。

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

a) 核心分析学工具

本文构建了一个分区域、多尺度、逐层提升的估计框架，融合了以下几类经典工具：

  • 能量估计与最大值原理：对旋量 $u = r v_\varphi$ 应用最大值原理，获得 $L^\infty$ 控制；对 $u_z$、$u_r$ 建立能量型 $V$-范数估计，确保其在时间演化中不爆破。

  • 加权椭圆正则理论：针对修正流函数 $\psi_1$，建立关键的 $H^2$ 与 $H^3$ 估计：

    $$ \| \psi_1 \|_{H^2(\overline{\mathbb{R}}^3)} \le c \| \Gamma \|_{L^2(\overline{\mathbb{R}}^3)},\quad \| \psi_1 \|_{H^3(\overline{\mathbb{R}}^3)} \le c \| \partial_z \Gamma \|_{L^2(\overline{\mathbb{R}}^3)}, $$

    其中 $\Gamma = \omega_\varphi / r$。此类估计依赖于算子 $-\Delta - \frac{2}{r}\partial_r$ 的强制性，需借助加权 Hardy 不等式与径向对称性。

  • 分区统一法（Partition of Unity）：定义截断函数 $\zeta(r), \vartheta(r)$，满足

    $$ \zeta(r) = 1\ (r \le r_0),\quad \zeta(r) = 0\ (r \ge 2r_0),\quad \vartheta(r) = 1 - \zeta(r), $$

    将解分解为近轴部分 $\tilde{u} = u \zeta$ 与远轴部分 $\hat{u} = u \vartheta$，分别估计。此举彻底规避了 $r=0$ 处的奇异性传播难题。

  • Liu–Wang 渐近展开：这是全文最关键的结构性工具。作者反复强调：“Liu–Wang expansions are absolutely necessary”。该展开给出在 $r \to 0$ 附近 $v_\varphi$ 与 $\psi_1$ 的精细渐近行为：

    $$ v_\varphi(r,z,t) = \frac{a(z,t)}{r} + b(z,t) + O(r),\quad \psi_1(r,z,t) = c(z,t) + d(z,t) r + O(r^2), $$

    其中系数 $a,b,c,d$ 满足可控的演化方程。此结构保证了 $\psi_1$ 在原点处光滑，是 $H^3$ 估计合法性的前提。

  • 插值与 Young 不等式迭代：在估计非线性耦合项（如 $\int \frac{v_\varphi}{r} \Phi \Gamma$）时，通过选取合适 $L^s$ 指标 $s > 6$，结合 Gagliardo–Nirenberg 插值与 Young 不等式，将高阶范数控制降为低阶范数的多项式增长，最终闭合 Gronwall 类不等式。

b) 技术性难题的解决技巧

  • 处理 $1/r$ 奇异性：传统方法常要求 $v_\varphi(0,z,t) = 0$（即“无旋轴”条件），但本文通过 Liu–Wang 展开证明：即使 $v_\varphi$ 在轴上非零，只要其满足特定可积性（如 $v_\varphi \in L^\infty_t L^s_x$, $s>6$），即可通过 $\psi_1$ 的光滑性吸收奇异性。

  • 克服 Serrin 条件限制：此前工作（如 [Z1,Z2],[OZ]）需假设 $\|v_\varphi\|_{L^s}/\|v_\varphi\|_{L^\infty} \ge c$ 以控制角动量输运。本文通过引入量 $L(s) = \|v'_\varphi\|_{L^\infty_t L^s}/\|v'_\varphi\|_{L^\infty_{t,x}}$，将分析分为 $L(s) \ge c_0(s)$ 与 $L(s) \le c_0(s)$ 两种互补情形，在每种情形下均能获得一致先验界，从而完全摆脱该几何型假设。

  • 非线性项的精细配平：关键耦合项 $\frac{v_\varphi}{r} \Phi$ 在近轴区被转化为 $\partial_z \psi_1 \cdot \Phi$，再经分部积分与 $\psi_1$ 的 $H^3$ 估计控制；在远轴区则直接使用 $L^\infty$ 界。整个过程依赖对 $r$ 幂次的精确追踪（如 $r^\delta$、$r^\varepsilon$ 因子），体现极高的技术精度。

与之前工作的比较

a) 突破与改进

本文最显著的突破在于首次在全空间 $\mathbb{R}^3$ 上，对一般大小的轴对称初值，建立了无需任何 Serrin 型非退化条件的全局正则性理论。

  • 对比 Zaja̧czkowski 系列工作（[Z1,Z2]）：后者要求 $\psi_1|_{r=0} = 0$（即流函数在轴上消失）及 $|v_\varphi|_{s,\infty}/|v_\varphi|_{\infty} \ge c$，本质是强制角速度在空间上“充分震荡”。本文不仅取消这两条，还证明：即使 $v_\varphi$ 在轴附近恒为常数（如 $v_\varphi = \alpha$），只要初值足够正则，解仍全局光滑。

  • 对比 Ożański–Zaja̧czkowski（[OZ]）：虽取消 $\psi_1|_{r=0}=0$，但仍保留 $|v_\varphi|_{s,\infty}/|v_\varphi|_{\infty} \ge c$。本文通过 $L(s)$ 分区论证，表明该比值可任意小而不影响全局适定性。

  • 对比 Grygierzec–Zaja̧czkowski（[GZ1–GZ3]）：此前工作限于有界圆柱域，利用有限半径 $R$ 提供额外紧性；而本文拓展至无界全空间，必须发展全新的加权分析与远场衰减控制技术（如 $V(\Omega^t)$ 范数中 $L^2$ 时间积分的收敛性保障）。

  • 正则性强度提升：本文最终得到 $v \in W^{3,3/2}_3$，即三阶空间导数与 $3/2$ 阶时间导数属于 $L^3$，远超经典 $L^\infty_t H^1_x \cap L^2_t H^2_x$ 框架，为研究更高阶结构（如湍流尺度律）提供坚实基础。

综上，本文标志着轴对称 NS 方程全局正则性理论从“受限几何假设”迈向“纯分析驱动”的关键一步。

4. 环面上无电阻或无粘性磁流体力学（MHD）系统的整体正则性

Global Regularity for Non-resistive or Non-viscous MHD System on the Torus

作者: Quansen Jiu, Yaowei Xie, Zhihong Yan

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04293v1

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

详细分析

中文标题: 环面上无电阻或无粘性磁流体力学（MHD）系统的整体正则性

研究对象和背景

本文研究的是不可压磁流体力学（MHD）系统在 $n$ 维环面 $\mathbb{T}^n = [-\pi,\pi]^n$（$n \geq 2$）上的全局适定性问题，特别聚焦于两类部分耗散缺失的临界情形：

  • 非电阻情形（non-resistive case）：磁扩散系数 $\nu = 0$，但流体粘性 $\mu > 0$；
  • 非粘性情形（non-viscous case）：流体粘性 $\mu = 0$，但磁扩散系数 $\nu > 0$。

该系统描述了导电流体（如等离子体、液态金属）与磁场之间的耦合动力学，其数学模型由Navier–Stokes 方程与感应方程（induction equation）通过洛伦兹力耦合而成。在欧拉坐标系下，原始 MHD 系统写为：

$$ \begin{cases} \partial_t u - \mu \Delta u + u \cdot \nabla u + \nabla p = B \cdot \nabla B, \\ \partial_t B - \nu \Delta B + u \cdot \nabla B = B \cdot \nabla u, \\ \nabla \cdot u = 0,\quad \nabla \cdot B = 0, \\ u(x,0) = u_0(x),\quad B(x,0) = B_0(x), \end{cases} $$

其中 $x \in \mathbb{T}^n$, $t > 0$；$u(x,t) \in \mathbb{R}^n$ 是速度场，$B(x,t) \in \mathbb{R}^n$ 是磁场，$p(x,t)$ 是总压强（标量），$\mu \geq 0$、$\nu \geq 0$ 分别为运动粘性系数与磁扩散系数。

论文考虑小扰动框架：设背景磁场为常向量 ${\bf e}_n = (0,\dots,0,1) \in \mathbb{R}^n$，令 $b = B - {\bf e}_n$ 表示磁场扰动，则系统转化为关于 $(u,b)$ 的扰动方程组：

$$ \begin{cases} \partial_t u - \mu \Delta u + u \cdot \nabla u - \partial_n b + \nabla p = b \cdot \nabla b, \\ \partial_t b - \nu \Delta b + u \cdot \nabla b - \partial_n u = b \cdot \nabla u, \\ \nabla \cdot u = 0,\quad \nabla \cdot b = 0, \\ u(x,0) = u_0(x),\quad b(x,0) = b_0(x). \end{cases} $$

该系统定义在周期性区域 $\mathbb{T}^n$ 上，即所有函数均满足 $2\pi$-周期性边界条件。由于无边界效应，分析可完全基于傅里叶级数展开，且所有函数默认具有零平均值（即 $\hat{f}(0) = 0$），从而齐次与非齐次 Sobolev 范数等价。

关键物理/数学背景在于：当 $\mu = \nu = 0$（理想 MHD），系统缺乏任何耗散机制，已知存在有限时间奇异性（如 Elgindi、Chen–Hou 对三维 Euler 的爆破构造）；而当仅保留一种耗散（$\mu>0,\nu=0$ 或 $\mu=0,\nu>0$），系统处于“临界耗散边界”，其全局适定性长期悬而未决。尤其在三维及以上，非线性耦合极强，标准能量方法失效——因为缺失的耗散项无法控制对应变量的高阶范数（如非电阻情形中 $b$ 缺乏 $\dot{H}^1$ 控制；非粘性情形中 $u$ 缺乏 $\dot{H}^1$ 控制）。

为克服该困难，作者采用对称性假设以激发隐式耗散结构。具体而言，引入两类初始对称性：

  • Symmetry 1（用于非电阻情形）：

    $$ u_{0,h}(x),\, b_{0,n}(x) \text{ 关于 } x_n \text{ 是偶周期函数},\quad u_{0,n}(x),\, b_{0,h}(x) \text{ 关于 } x_n \text{ 是奇周期函数}. $$

  • Symmetry 2（用于非粘性情形）：

    $$ u_0(x) \text{ 关于所有 } x_1,\dots,x_n \text{ 是奇周期函数},\quad b_0(x) \text{ 关于所有 } x_1,\dots,x_n \text{ 是偶周期函数}. $$

这些对称性在演化过程中保持，并导致傅里叶模式中特定频率分量恒为零，例如在非电阻情形下有 $\hat{b}_h(k_h,0,t) \equiv 0$，在非粘性情形下有 $\hat{u}_h(k_h,0,t) \equiv 0$。这一谱约束是后续构造加权能量泛函的关键前提。

此外，所有结果均建立在Sobolev 空间 $H^s(\mathbb{T}^n)$ 上，其中 $s > n/2 + 3$（非电阻）或 $s > n/2 + 5$（非粘性），确保解的连续性与非线性项的适定性。空间维数 $n \geq 2$ 允许统一处理二维与高维情形，但技术难度随 $n$ 增加而显著提升——尤其在三维时，需精细控制 Riesz 变换在负 Sobolev 空间中的交换子。

主要定理或主要结果

论文确立了以下两个核心全局适定性定理：

定理 1.1（非电阻情形）

设 $n \geq 2$，$s > \frac{n}{2} + 3$，初始数据 $(u_0,b_0)$ 满足 Symmetry 1 且零平均：

$$ \int_{\mathbb{T}^n} u_0\,dx = \int_{\mathbb{T}^n} b_0\,dx = 0. $$

则存在 $\varepsilon_0 > 0$，使得当

$$ \|u_0\|_{H^s} + \|b_0\|_{H^s} \leq \varepsilon \leq \varepsilon_0, $$

非电阻 MHD 系统（$\mu = 1,\nu = 0$）存在唯一全局解 $(u,b) \in C([0,\infty); H^s(\mathbb{T}^n))$，并满足如下一致估计：对任意 $\delta \in \left(0,\frac{s - n/2 - 3}{2}\right)$，

  • 低阶一致有界性：

    $$ \|u(t)\|_{H^{s-2\delta-1}} + \|b(t)\|_{H^{s-2\delta-1}} \leq C\varepsilon; $$

  • 高阶增长控制：

    $$ \|u(t)\|_{H^s} + \|b(t)\|_{H^s} \leq C\varepsilon (1+t)^{2\delta}; $$

  • 衰减估计（对任意 $l \in [-1,s]$, $k \in [-1,s-1]$）：

    $$ \|u(t)\|_{\dot{H}^l} \leq C\varepsilon (1+t)^{-\frac{1}{2}\left(\frac{s+l}{s+1}\right) + 2\delta},\quad \|\partial_n u(t)\|_{\dot{H}^k} + \|\partial_n b(t)\|_{\dot{H}^k} \leq C\varepsilon (1+t)^{-\frac{1}{2}\left(\frac{s+k}{s+\frac{1}{2}}\right) + 2\delta}; $$

  • 渐近消失性：

    $$ \|u(t)\|_{\dot{H}^l} \to 0\ (t \to \infty),\quad \forall l \in \left[-1, s - \delta\left(1+\frac{1}{s}\right)\right),\quad \|\partial_n u(t)\|_{\dot{H}^l} + \|\partial_n b(t)\|_{\dot{H}^l} \to 0\ (t \to \infty),\quad \forall l \in [-1,s-1-\delta]. $$

定理 1.2（非粘性情形）

设 $n \geq 2$，$s > \frac{n}{2} + 5$，初始数据 $(u_0,b_0)$ 满足 Symmetry 2 且 $b_0$ 零平均：

$$ \int_{\mathbb{T}^n} b_0\,dx = 0. $$

则存在 $\varepsilon_0 > 0$，使得当

$$ \|u_0\|_{H^s} + \|b_0\|_{H^s} \leq \varepsilon \leq \varepsilon_0, $$

非粘性 MHD 系统（$\mu = 0,\nu = 1$）存在唯一全局解 $(u,b) \in C([0,\infty); H^s(\mathbb{T}^n))$，并满足与定理 1.1 类似的估计，仅将 $\delta$ 的上界改为 $\delta < \frac{s - n/2 - 5}{2}$，且衰减指数相应调整。

特别地，定理 1.2 是首个在三维及以上环面上无需 Diophantine 条件（此前工作如 Chen–Zhang–Zhou、Xie–Jiu–Liu 等均依赖此数论条件排除共振）而建立的非粘性 MHD 全局稳定性结果。

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

a) 核心分析学工具

论文构建了一套多尺度时间加权能量框架，其核心是如下泛函：

$$ \mathcal{E}s(t) := |u(t),b(t)|{\dot{H}^{s-2\delta-1}}^2

  • (1+t)^{s-\delta} \sum_{\substack{k \in \mathbb{Z}^n \setminus {0} \ k_n \neq 0}} \left( |\partial_n (-\Delta)^{-1/2} u|^2(k,t) + |\partial_n (-\Delta)^{-1/2} b|^2(k,t) \right)
  • (1+t)^{s-\delta} \sum_{\substack{k \in \mathbb{Z}^n \setminus {0} \ k_n = 0}} \left( \mu |(-\Delta)^{-1/2} u|^2(k,t) + \nu |(-\Delta)^{-1/2} b|^2(k,t) \right)
  • (1+t)^{-\delta} |u(t),b(t)|_{\dot{H}^s}^2. $$

该泛函巧妙融合了：

  • 低频耗散增强（通过 $(1+t)^{s-\delta}$ 加权突出 $k_n \neq 0$ 模式）；
  • 高频控制（通过 $(1+t)^{-\delta}$ 抑制 $H^s$ 增长）；
  • 对称性诱导的谱隔离（$k_n = 0$ 与 $k_n \neq 0$ 分开处理）。

证明中反复使用傅里叶乘子理论、Plancherel 恒等式及Littlewood–Paley 分解，将微分算子转化为代数符号运算。关键在于将 $\partial_n$ 与 Riesz 变换 $(-\Delta)^{-1/2}$ 结合，构造出能捕获交叉耗散的量，如 $|\partial_n (-\Delta)^{-1/2} b|$，其时间积分提供对 $b$ 的隐式 $\dot{H}^{1/2}$ 控制。

另一支柱是局部适定性理论（见引理 2.2），通过标准压缩映射与双线性估计，在短时间区间内建立解的存在唯一性，为全局延拓提供起点。

b) 技术性难题的解决技巧

最严峻挑战来自负阶 Sobolev 空间中的 Riesz 变换交换子估计。例如，在估计非线性项

$$ \sum_{\substack{k \in \mathbb{Z}^n \setminus \{0\} \\ k_n \neq 0}} i k_n |k|^{-1/2} \widehat{(b \cdot \nabla b)}(k,t) \cdot \hat{u}(k,t) $$

时，需控制形如

$$ \left\| (-\Delta)^{-1/2} \partial_n (b \cdot \nabla b) - b \cdot \nabla ((-\Delta)^{-1/2} \partial_n b) \right\|_{\dot{H}^{-1}} $$

的交换子。标准交换子不等式（如 Kato–Ponce）仅适用于非负阶空间，而此处需 $s = -1$。

为此，作者发展了广义交换子估计（Proposition 2.1），对任意 $s > 0$, $l \geq 0$，给出

$$ \left\| (-\Delta)^{-s/2} (-\Delta_j)^{1/2}(fg) - f (-\Delta)^{-s/2} (-\Delta_j)^{1/2} g \right\|_{\dot{H}^{-l}} \lesssim \cdots $$

的精细分解。其证明基于傅里叶符号差估计：

$$ |k|^{-l} \left| |k|_j |k|^{-s} - |\alpha|_j |\alpha|^{-s} \right| \lesssim \frac{|k-\alpha|_j}{|k|^{s+l}} + \frac{|k-\alpha|_j |\alpha|}{|k|^{s+l} |\alpha|^s} + \cdots, $$

再结合Hölder 不等式与Young 卷积不等式，按 $s+l$ 与 $n$ 的大小关系分四类讨论，最终导出含参数 $\eta$ 的插值型估计（如 (2.4)–(2.7)）。该估计首次系统处理了负阶 Riesz 交换子，是本工作的技术基石。

此外，为闭合能量估计，作者还设计了频率截断技巧：将傅里叶模分为 $S_\neq = \{k : k_n \neq 0\}$ 与 $S_= = \{k : k_n = 0\}$，利用对称性使 $S_=$ 上的非线性项自动消失，从而避免低频共振灾难。

与之前工作的比较

a) 突破与改进

本文相较先前工作实现了三重实质性突破：

第一，大幅降低初始正则性要求。
对于三维非电阻 MHD，Pan–Zhou–Zhu（2018）要求初始数据属于 $H^{11}(\mathbb{T}^3)$，而本文定理 1.1 将其降至 $H^{\frac{9}{2}+}(\mathbb{T}^3)$，即正则性下降超过 6 阶导数。这一改进源于：

  • 新型时间加权能量泛函 $\mathcal{E}_s(t)$ 更精准捕获耗散分布；
  • 负阶交换子估计允许在更低阶空间控制非线性；
  • 对称性约束释放了传统方法中为压制高频振荡所需的额外导数。

第二，首次建立三维非粘性 MHD 的非线性稳定性。
此前所有三维结果均依赖 Diophantine 条件（如 [9,31,34]），该条件虽对“几乎所有”向量成立，但排除了物理自然的常向量 ${\bf e}_3$。本文通过 Symmetry 2 与谱约束 $\hat{u}_h(k_h,0,t) \equiv 0$，绕过 Diophantine 分析，直接证明了 ${\bf e}_3$ 附近的稳定性，且不依赖任何数论假设，更具物理普适性。

第三，获得精确的渐近行为刻画。
不仅证明解全局存在，更给出 $u(t), b(t), \partial_n u(t), \partial_n b(t)$ 在各 $\dot{H}^l$ 空间的显式衰减速率（如 (1.10)–(1.11)），揭示了磁场扰动通过 $\partial_n$ 方向产生“定向耗散增强”机制——这解释了为何即使无流体粘性，系统仍能抑制 Euler 方程式的爆破路径（对比 Elgindi、Chen–Hou 的三维 Euler 爆破构造）。

综上，本文通过对称性驱动的谱分析、负阶交换子理论与时间加权能量法的三重创新，系统解决了部分耗散 MHD 的长期开放问题，为多物理场耦合系统的正则性研究树立了新范式。

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

1. 弱勒贝格空间中的Caffarelli–Kohn–Nirenberg不等式

Caffarelli-Kohn-Nirenberg Inequalities in Weak Lebesgue Spaces

作者: Dinghuai Wang

类别: math.CA, math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04601v1

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

摘要翻译

中文标题: 弱勒贝格空间中的Caffarelli–Kohn–Nirenberg不等式

摘要翻译: 本文借助调和分析方法，在自然的参数条件下推导出弱型Caffarelli–Kohn–Nirenberg不等式。此类弱型版本的一个关键特征在于：即使在经典不等式失效的临界参数取值处，它们依然成立。作为重要推论，我们得到了弱型Hardy不等式，该不等式在临界维数 $d = p$ 下仍然成立。本文所发展的方法具有充分的灵活性，可统一处理齐次权、非齐次权以及各向异性权，从而为插值理论中各类端点情形提供了一种统一的分析框架。

2. 多孔介质中热力学相容两相流模型弱解的存在性、唯一性与正则性

The Existence, uniqueness, and regularity of weak solutions for a thermodynamically consistent two-phase flow model in porous media

作者: Huangxin Chen, Jisheng Kou, Haitao Leng, Shuyu Sun, Hai Zhao

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04175v1

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

摘要翻译

中文标题: 多孔介质中热力学相容两相流模型弱解的存在性、唯一性与正则性

摘要翻译: 近年来，多孔介质中热力学相容的两相流模型受到广泛关注。本文针对文献[25,35]中提出的一类最新热力学相容模型，证明了其弱解的存在性、唯一性与正则性。为此，我们首先为该模型的一个适当弱形式分别构造了全隐式时间半离散逼近格式与完全离散逼近格式；其次，借助向量场零点定理，证明了完全离散逼近格式弱解的存在性；进而，通过弱收敛方法结合能量稳定性估计，导出了全隐式时间半离散逼近格式及原模型弱形式弱解的存在性；随后，在化学势具有足够光滑性的假设下，利用Gronwall不等式证明了弱解的唯一性；最后，结合椭圆型偏微分方程（PDE）的正则性理论，建立了在齐次Neumann边界条件下的该模型弱解的正则性结果。

不相关论文（基本信息）

1. 具有边界的黎曼曲面上带非量子化奇点的平均场方程的爆破解

Blow-up solutions for mean field equations with non-quantized singularities on Riemann surfaces with boundary

作者: Mohameden Ahmedou, Zhengni Hu, Miaomiao Zhu

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04790v1

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

摘要: We study mean field equations with singular sources on a compact Riemann surface with boundary $(Σ,g)$, subject to homogeneous Neumann boundary conditions: [ -Δ_g v = ρ\left( \frac{V e^{v}}{\int_ΣV e^{v}, d v_g}

  • \frac{1}{|Σ|_g}\right)
  • \sum_{ξ\in Q} \frac{\varrho(ξ)}{2}γ(ξ) \left(δ_ξ- \dfrac{1}{|Σ|g}\right) \text{in }Σ; \qquad \partial{ν_g} v = 0 \text{ on }\partialΣ. ] Here, $V$ is a smooth positive function, $ρ$ is a non-negative parameter, $Q\subsetΣ$ is a finite set of prescribed singular points, and the singular weights satisfy $γ(ξ)\in(-1,+\infty)\setminus(\mathbb{N}\cup\{0\})$. The coefficients are given by $\varrho(ξ)=8π$ for $ξ\inΣ\setminus\partialΣ$ and $\varrho(ξ)=4π$ for $ξ\in\partialΣ$. We construct blow-up solutions in the non-quantized singular regime, including purely singular and mixed singular-regular blow-up cases, with parameters approaching resonant values. The construction is achieved via a Lyapunov-Schmidt reduction under suitable stability assumptions. Key words: Singular mean field equations, Blow-up phenomena, Lyapunov-Schmidt reduction, Riemann surfaces with boundary

2. 黎曼曲面上一般Toda系统的爆破解

Blow-up Solutions for General Toda Systems on Riemann Surfaces

作者: Zhengni Hu, Miaomiao Zhu

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04777v1

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

摘要: In this paper, we study general Toda systems with homogeneous Neumann boundary conditions on Riemann surfaces. Assuming the surface satisfies the $k$-symmetric'' condition, we construct a family of bubbling solutions using singular perturbation methods, where the concentration rates of different components occur in distinct orders. In particular, we establish the existence of asymmetric blow-up solutions for the $SU(3)$ Toda system. Furthermore, the blow-up points are precisely located at the $k$-symmetric’’ centers of the surface. Keywords: Toda system, Neumann boundary condition, Blow-up solutions, $k$-symmetry, Finite-dimensional reduction

3. Trudinger方程变号解的唯一性

Uniqueness of sign-changing solutions to Trudinger’s equation

作者: Riku Anttila, Peter Lindqvist, Mikko Parviainen

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04748v1

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

摘要: We establish uniqueness for sign-changing solutions to Trudinger’s parabolic equation with time dependent $C^2$ Dirichlet boundary data.

4. 利用对数索博列夫不等式与对偶性论证研究一类薛定谔半群在 $L^{2}(\mathbb{R}^{n})$ 中的内蕴超压缩性

Intrinsic Ultracontractivity for a class of Schroedinger Semigroups in $\mathrm{L}^{2}\left( \mathbb{R}^{n} \right)$ using Log-Sobolev-inequalities and duality arguments

作者: Christoph Schwerdt, Ilham Ouelddris

类别: math.AP, math-ph, math.FA

发布日期: 2026-02-04

arXiv ID: 2602.04738v1

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

摘要: We present a class of potentials $q \colon \mathbb{R}^{n} \to (0,\infty)$ that implies the weighted Schrödinger semigroup $\varphi^{-1}\mathrm{e}^{-tH}\varphi$ to map a weighted Lebesgue function space $\mathrm{L}_μ^{1}(\mathbb{R}^{n})$ into a weighted Lebesgue function space $\mathrm{L}_μ^{2}(\mathbb{R}^{n})$ continously at every time $t>0$ by Logarithmic Sobolev inequalities for $H=-Δ+ q(x)$ with it’s strictly positive ground state $\varphi \colon \mathbb{R}^{n} \to (0,\infty)$. We use the self-adjointness of $\mathrm{e}^{-tH}$ in $\mathrm{L}^{2}(\mathbb{R}^{n})$ to infer an intrinsic ultracontractivity, i.e. $\forall t>0 \ \exists C_{t} > 0 \ : \ \left| \mathrm{e}^{-tH} u (x) \right| \ \leq \ C_{t} \varphi(x) \| u \|_{2}$ for every $u \in \mathrm{L}^{2}\left( \mathbb{R}^{n} \right)$ almost everywhere in $\mathbb{R}^{n}$.

5. 具有时变系数的半线性波动方程

Semilinear wave equations with time-dependent coefficients

作者: Nenad Antonić, Matko Grbac

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04727v1

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

摘要: We prove the existence of strong and weak solutions to the semilinear wave equation with coefficients depending both on time and space variables, with continuous nonlinearity satisfying the sign condition. The uniqueness is proven under slightly more restrictive assumptions. Furthermore, the results obtained in abstract setting are illustrated on practical examples.

6. 基于对数 Sobolev 不等式的某类薛定谔半群在 $L^{2}(\mathbb{R}^{n})$ 中的内蕴超压缩性

Intrinsic Ultracontractivity for a class of Schroedinger Semigroups in $L^{2}(\mathbb{R}^{n})$ by Logarithmic Sobolev inequalities

作者: Christoph Schwerdt, Alexander Mill, Dirk Hundertmark

类别: math.AP, math-ph, math.FA

发布日期: 2026-02-04

arXiv ID: 2602.04685v1

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

摘要: In the first part of this article we present a growth condition on the potential $q$ in the Schrödinger operator $H=-Δ+ q(x)$ in $\mathrm{L}^{2}\left( \mathbb{R}^{n} \right)$ that implies Rosen inequalities for the ground state $\varphi$ of $H$, i.e. $\forall \varepsilon > 0 \exists γ(\varepsilon) > 0 \ : \ - \ln\left( \varphi(x) \right) \leq \varepsilon q(x) + γ(\varepsilon)$. While these inequalities are not particularly interesting in themselves, they offer Logarithmic Sobolev inequalities which are absolutely essential to prove an intrinsic ultracontractivity of the associated Schrödinger semigroup $\mathrm{e}^{-tH}$, i.e. $\forall t>0 \exists C_{t} > 0 \ : \ \left| \mathrm{e}^{-tH} u (x) \right| \ \leq \ C_{t} \varphi(x) \| u \|_{2}$ holds for every $u \in \mathrm{L}^{2}\left( \mathbb{R}^{n} \right)$ almost everywhere in $\mathbb{R}^{n}$ which we prove in the second part of this article. For proving Rosen inequalities we focus on solving a radial Schrödinger inequality and use Agmon’s version of the comparison principle and Young’s inequality for increasing functions. We follow the classic method proving intrinsic ultracontractivity of $\mathrm{e}^{-tH}$ by using weighted Sobolev function spaces, weighted Schrödinger semigroups and Logarithmic Sobolev inequalities.

7. 多边形与本征函数的多重乘积

Polygons and multi-product of eigenfunctions

作者: Emmett L. Wyman, Yakun Xi, Yi Zhang

类别: math.AP, math.SP

发布日期: 2026-02-04

arXiv ID: 2602.04664v1

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

摘要: Let $M$ be a compact Riemannian manifold without boundary, with $L^2$-normalized Laplace-Beltrami eigenfunctions $\{e_j\}_j$, which satisfy $Δ_g e_j = -λ_j^2 e_j$. We study the following inner product of eigenfunctions

$$ \langle e_{i_1} e_{i_2} \ldots e_{i_k}, e_{i_{k+1}} \rangle = \int e_{i_1} e_{i_2}\ldots e_{i_k} \overline{e_{i_{k+1}}} \, dV. $$

We show that, after a mild averaging in the frequency variables, the main $\ell^2$-concentration of this inner product is determined by the measure of a set of configurations of $(k+1)$-gons whose side lengths are the frequencies $λ_{i_1}, λ_{i_2}, \dots, λ_{i_{k+1}}$. We prove that a rapidly vanishing proportion of this mass lies in the regime where $λ_{i_1}, λ_{i_2}, \dots, λ_{i_{k+1}}$ cannot occur as the side lengths of any $(k+1)$-gon.

8. 无界区域上弹性散射反问题的单调性方法

The monotonicity method for the inverse elastic scattering on unbounded domains

作者: Bastian Harrach, Jianli Xiang

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04453v1

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

摘要: We discuss a time-harmonic inverse scattering problem for the Navier equation with compactly supported penetrable and possibly inhomogeneous scattering objects in an unbounded homogeneous background medium, and we develop a monotonicity relation for the far field operator that maps superpositions of incident plane waves to the far field patterns of the corresponding scattered waves. Combining the monotonicity relation with the method of localized potentials, we extend the so called monotonicity method to characterize the support of inhomogeneities in the Lamé parameters and the density in terms of the far field operator.

9. 从硬球动力学推导玻尔兹曼方程（基于邓煜、Hani Z. 与马晓轩的工作）

Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma)

作者: Thierry Bodineau, Isabelle Gallagher, Laure Saint-Raymond, Sergio Simonella

类别: math.AP, math-ph, math.PR

发布日期: 2026-02-04

arXiv ID: 2602.04407v1

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

摘要: Consider a microscopic system of $N$ hard spheres that are initially independent (modulo the exclusion condition on particle positions) and identically distributed in $\mathbb{R}^3$. When the number $N$ of particles goes to infinity and the diameter $\varepsilon$ of the particles goes to zero, and under the weak density assumption $N\varepsilon^2=1$, it has been known since the work of Lanford that the empirical measure for the particles converges to the solution of the Boltzmann equation in a short time interval. In particular, the particles remain dynamically independent, in this limit and in the short time interval where the correlations induced by their collisions remain under control. In a recent work, Y. Deng, Z. Hani and X. Ma successfully obtained the same convergence result in arbitrary large time; more precisely, the convergence result holds for any time interval on which the Boltzmann equation has a regular solution. In this note, we explain a few elements of their proof.

10. 古尔斯基–马尔基奥迪 $Q$-曲率流的整体收敛性

Global Convergence of the Gursky-Malchiodi $Q$-curvature Flow

作者: Liuwei Gong, Sanghoon Lee, Juncheng Wei

类别: math.DG, math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04267v1

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

摘要: In their seminal work, Gursky and Malchiodi introduced a non-local conformal flow in dimensions $n \geq 5$ to resolve the constant $Q$-curvature problem. They proved sequential convergence of the flow for initial metrics with positive scalar curvature and $Q$-curvature, provided the energy was sufficiently small. In this paper, we prove the global convergence of the flow for arbitrary initial energy under the same positivity assumptions by establishing a non-local version of the Łojasiewicz-Simon inequality for the Paneitz-Sobolev quotient along the flow. We construct test bubbles and estimate their Paneitz-Sobolev quotients, a strategy that was carried out in the celebrated work of Brendle in the context of the Yamabe flow. We develop a more geometric and systematic proof that addresses the algebraic and computational complexity inherent in the $Q$-curvature and the Paneitz operator. Along the way, we derive a stability inequality for the Paneitz-Sobolev quotient using a higher-order Koiso-Bochner formula established in recent work of Bahuaud, Guenther, Isenberg, and Mazzeo.

11. 三维径向情形下能量临界波动方程不存在纯气泡型II类爆破解

Nonexistence of pure bubble type II blow-up solutions to energy critical wave equation in the 3D radial case

作者: Ruipeng Shen

类别: math.AP, math-ph

发布日期: 2026-02-04

arXiv ID: 2602.04205v1

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

摘要: In this work we consider the focusing, energy-critical wave equation in 3D radial case. According to the soliton resolution conjecture, which has been verified in the radial case, any type II blow-up solution decomposes into a superposition of several decoupled grounds states, a free wave and a small error, as time tends to the blow-up time. We prove that there does not exist any pure bubble type II blow up solutions. In other words, the free wave part is never zero in the soliton resolution of type II blow-up solutions, regardless of the bubble number.

12. 退化移动环境下Fisher-KPP方程的强制波的存在性与空间衰减性

Existence and Spatial Decay of Forced Waves for the Fisher-KPP Equation with a Degenerate Shifting Environment

作者: Zhibao Tang, Shi-Liang Wu, Yaping Wu

类别: math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04180v1

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

摘要: This paper studies forced waves for the heterogeneous Fisher-KPP equation $u_t = u_{xx} + u(a(x-ct)-u)$, where $c>0$ and $a(z)>0$ satisfies $a(-\infty)=α>0=a(+\infty)$, $a'(z)\le0$ ($z\gg1$). Using ODE asymptotic analysis, we classify all local positive solutions near $z=+\infty$. Exponential decay solutions always exist; non-exponential decay solutions exist if and only if $\mathrm{e}^{-\frac{1}{c}\int_{z_0}^z a(s)ds}\in L^1$ (or equivalently, when $a(z)$ decays slower than a critical algebraic rate). We establish a complete existence, multiplicity and spatial decay theory for forced waves. For each $c\in(0,2\sqrtα)$, there exists a unique exponentially decaying forced wave. This wave is either the unique forced wave or the minimal forced wave, depending on the integrability condition. In the super-critical case $\mathrm{e}^{-\frac{1}{c}\int_{z_0}^z a(s)ds}\in L^1$, for any $c>0$ there exist infinitely many non-exponentially decaying forced waves. The maximal wave is not in $L^1$, and for nearly all such $a(z)$ we establish the existence, multiplicity and precise decay of these waves. These results provide nearly complete answers to open problems concerning the existence, uniqueness, multiplicity and spatial decay rates of forced waves in Fisher-KPP models with degenerate moving environments.

13. 无穷维空间中的“$H=W$”问题

"$H=W$" in infinite dimensions

作者: Zhouzhe Wang, Jiayang Yu, Xu Zhang

类别: math.FA, math.AP

发布日期: 2026-02-04

arXiv ID: 2602.04136v1

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

摘要: It is well known that $H^{m,p}(Ω) = W^{m,p}(Ω)$ holds for any $m, n \in \mathbb{N}$, $p \in [1, \infty)$, and open subset $Ω$ of $\mathbb{R}^n$. Due to the essential difficulty that there exists no nontrivial translation-invariant measure in infinite dimensions, it is hard to obtain its infinite-dimensional counterparts. In this paper, using infinite-dimensional analogues of the classical techniques of truncation, boundary straightening, and partition of unity, we prove that smooth cylinder functions are dense in $W^{m,p}(O)$. Consequently, $H^{m,p}(O) = W^{m,p}(O)$ holds for any $m \in \mathbb{N}$, $p \in [1, \infty)$, and open subset $O$ of $\ell^2$ with a suitable boundary. Moreover, in the key step of compact truncation, we also prove that the Schatten $p$-norm type estimates for the higher-order derivatives of the Gross convolution are sharp for $p = 2$.

14. 关于描述肿瘤细胞化疗药物治疗的数学模型

On a Mathematical Model Describing Chemotherapeutic Drug Treatment for Tumor Cells

作者: Xiaoqin Liu, Hong-Ming Yin

类别: math.AP

发布日期: 2026-02-03

arXiv ID: 2602.04025v1

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

摘要: In this paper, we study a semilinear parabolic PDE system which describes the interaction of normal cells, tumor cells, immune cells, with a chemotherapeutic drug. The model extends the previous model with incorporating strong Allee affects in the normal-tissue and tumor dynamics. Under mild assumptions, we establish global-in-time existence and uniqueness of nonnegative weak solutions and derive L-infinity bounds for all time. We then investigate spatiotemporal dynamics of the model and therapy scheduling using an implicit Crank Nicolson Backward Euler (CNBE) scheme. Simulations in a heterogeneous two-dimensional space-dimensional tissue region with three tumor peaks indicate rapid tumor invasion without treatment and significant tumor suppression under pulsed chemotherapeutic treatment. Moreover, in a fixed total dose delivered within the treatment cycle, while keeping each injection duration fixed, concentrated pulses produce stronger early knock-down of tumor density, while more frequent but gentler pulses achieve comparable control of the tumor invasive front while better preserving normal tissue over a four-week period.

15. 标准线性固体中热粘弹性演化的拟线性Moore-Gibson-Thompson型模型的局部强解

Local strong solutions in a quasilinear Moore-Gibson-Thompson type model for thermoviscoelastic evolution in a standard linear solid

作者: Leander Claes, Michael Winkler

类别: math.AP

发布日期: 2026-02-03

arXiv ID: 2602.04005v1

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

摘要: This manuscript is concerned with the evolution system

$$ \left\{ \begin{array}{l} u_{ttt} + αu_{tt} = \big(γ(Θ) u_{xt}\big)_x + \big( \widehatγ(Θ) u_x\big)_x, Θ_t = D Θ_{xx} + Γ(Θ) u_{xt}^2, \end{array} \right. $$

which arises as a simplified model for heat generation during acoustic wave propagation in a one-dimensional viscoelastic medium of standard linear solid type. Under the assumptions that $D>0$ and $α\ge 0$, and that $γ, \widehatγ$ and $Γ$ are sufficiently smooth with $γ>0, \widehatγ>0$ and $Γ\ge 0$ on $[0,\infty)$, for suitably regular initial data a statement on local existence and uniqueness of solutions in an associated Neumann problem is derived in a suitable framework of strong solvability.

16. 非等温环境下粘性声波传播的拟线性模型的大初值整体解

Large-data global solutions to a quasilinear model for viscuos acoustic wave propagation in a non-isothermal setting

作者: Felix Meyer, Michael Winkler

类别: math.AP

发布日期: 2026-02-03

arXiv ID: 2602.04001v1

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

摘要: The manuscript considers the model for conversion of mechanical energy into heat during acoustic wave propagation in the presence of temperature-dependent elastic parameters, as given by

$$ \left\{ \begin{array}{l} u_{tt} = (γ(Θ) u_{xt})_x + a (γ(Θ) u_x)_x, \\[1mm] Θ_t = DΘ_{xx} + γ(Θ) u_{xt}^2. \end{array} \right. \qquad \qquad (\star) $$

It is firstly shown that when considered along with no-flux boundary conditions in an open bounded real interval $Ω$, under the assumption that $γ\in C^2([0,\infty))$ is such that $γ>0$ and $γ'\ge 0$ on $[0,\infty)$ as well as

$$ D\cdot (γ+D) \cdot γ'' + 2γγ'^2 \le 0 \qquad \mbox{on } [0,\infty), $$

for all suitably regular initial data this problem admits a globally defined classical solution. This complements recent findings in the literature, according to which ($\star$) may admit solutions blowing up in finite time whenever $γ$ is positive and nondecreasing on $[0,\infty)$ with $\int_0^\infty \frac{dξ}{γ(ξ)} < \infty$. Apart from that, it is found that if the additional assumption

$$ a|Ω|^2 \le \frac{π^2 γ(0)}{1+\sqrt{1+\frac{γ(0)}{D}}} $$

is satisfied, the all these solutions stabilize toward some spatially homogeneous equilibrium in the large time limit.

17. 一维热粘弹性中由温度依赖系数驱动的热点形成

Hotspot formation driven by temperature-dependent coefficients in one-dimensional thermoviscoelasticity

作者: Michael Winkler

类别: math.AP

发布日期: 2026-02-03

arXiv ID: 2602.03997v1

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

摘要: This manuscript is concerned with a two-component evolution system generalizing the classical model for one-dimensional thermoviscoelastic dynamics in Kelvin-Voigt materials in the presence of temperature-dependent viscosities and elastic stiffnesses. Under suitable assumptions on the growth of these ingredients and on the initial data, the occurrence of finite-time blow-up with respect to the $L^\infty$ norm in the temperature variable is discovered.

18. 关于非线性波动方程有限时间奇点形成之外部稳定性的一个注记

A note on exterior stability of finite time singularity formation for nonlinear wave equations

作者: Istvan Kadar, Lionor Kehrberger

类别: math.AP

发布日期: 2026-02-03

arXiv ID: 2602.03963v1

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

摘要: We study the stability of the exterior of Type I and Type II singularity formation for the wave maps equation in $\mathbb{R}^{d+1}$ with $d\geq2$ and the power nonlinear wave equation in $\mathbb{R}^{d+1}$ with $d\geq3$: Given characteristic initial data on the backwards lightcone of the singularity $\mathcal{C}=\{t+r=0\}$ converging to the singular background solution along with suitable data on an outgoing cone, we establish existence in a region $\{t+r\in(0,v_1),t-r\in(-1,0)\}$ for some suitably small $v_1$, i.e. all the way to the Cauchy horizon. Our result hinges on a particular set of assumptions on the regularity properties of these initial data and is therefore conjectural on the behaviour inside the lightcone. The proof goes via a suitable change of coordinates and an application of the scattering result of [KK25], which, in particular, also applies to scaling-critical potentials. In the case of the wave maps equation, we only provide the proof in the corotational symmetry class, but we also sketch how to lift this restriction.

19. 利用波包分解构造函数空间：一份使用指南

Using wave packet decompositions to construct function spaces: a user guide

作者: Pierre Portal

类别: math.AP, math.FA

发布日期: 2026-02-03

arXiv ID: 2602.03952v1

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

摘要: We survey the construction of a range of function spaces used in harmonic analysis of PDE, including classical results as well as recent developments. We frame these constructions in a common conceptual framework, where these function spaces arise as retracts of simple function spaces over phase space, through a projection associated with a wave packet decomposition. Finding appropriate function spaces to study a given PDE then consists in choosing a relevant wave packet decomposition. We provide a user guide to making such choices, and constructing the corresponding function spaces. This is done mostly by surveying recent constructions, but we also include a new construction, adapted to Schrödinger operators of the form $Δ- V$ for $V \geq 0$, as a sneak peek into upcoming joint work with Dorothee Frey, Andrew Morris, and Adam Sikora.