arXiv论文分析报告

生成时间: 2025年10月09日 02:44:35

重点关注论文数量: 5

了解领域论文数量: 11

不相关论文数量: 13

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

1. Energy equality of the weak solutions to the fractional Navier-Stokes /

MHD equations

分数阶Navier-Stokes/MHD方程弱解的能量等式

作者: Yi Feng, Weihua Wang

类别: math.AP, 76W05, 76B03, 35Q35, 76D05

发布日期: 2025-10-07

ArXiv ID: 2510.06024v1

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

详细分析

中文标题: 分数阶Navier-Stokes/MHD方程弱解的能量等式

1. 研究对象和背景

本文研究的是三维不可压缩分数阶Navier-Stokes方程与磁流体动力学（MHD）方程弱解的能量等式问题。所考虑的方程组如下：

对于分数阶Navier-Stokes方程：

$$ \begin{cases} \partial_t u + (-\Delta)^\alpha u + (u \cdot \nabla) u + \nabla p = 0, & (x,t) \in \mathbb{R}^3 \times (0,T), \\\\ \mathrm{div}\, u = 0, & (x,t) \in \mathbb{R}^3 \times (0,T), \\\\ u(x,0) = u_0, & x \in \mathbb{R}^3, \end{cases} \tag{1.1} $$

对于分数阶MHD方程：

$$ \begin{cases} \partial_t u + (-\Delta)^\alpha u + (u \cdot \nabla) u - (B \cdot \nabla) B + \nabla p = 0, & (x,t) \in \mathbb{R}^3 \times (0,T), \\ \partial_t B + (-\Delta)^\alpha B + (u \cdot \nabla) B - (B \cdot \nabla) u = 0, & (x,t) \in \mathbb{R}^3 \times (0,T), \\ \mathrm{div}\, u = \mathrm{div}\, B = 0, & (x,t) \in \mathbb{R}^3 \times (0,T), \\ u(x,0) = u_0,\quad B(x,0) = B_0, & x \in \mathbb{R}^3, \end{cases} \tag{1.2} $$

其中，$u(x,t)$ 为速度场，$B(x,t)$ 为磁场，$p(x,t)$ 为标量压强，$\alpha \geq 1$ 为分数阶导数的指数，$(-\Delta)^\alpha$ 是通过Fourier乘子 $|\xi|^{2\alpha}$ 定义的分数阶拉普拉斯算子，记为 $\Lambda^\alpha$。初始数据 $u_0, B_0 \in L^2_\sigma(\mathbb{R}^3)$，即散度为零的 $L^2$ 向量场。

研究区域为整个三维空间 $\mathbb{R}^3$，无边界条件（因为空间无界），函数空间为 $L^\infty(0,T; L^2) \cap L^2(0,T; H^\alpha)$，这是经典的Leray-Hopf弱解空间。能量等式问题的核心在于：已知弱解满足能量不等式（由极限过程得到），能否在更弱的正则性条件下证明其严格满足能量等式？这与Onsager猜想密切相关，是理解湍流中能量守恒机制的关键。

2. 主要定理或主要结果

定理 1.3：设 $(u, B)$ 是分数阶MHD方程（1.2）在区间 $[0,T]$ 上的Leray-Hopf弱解，初始数据 $u_0, B_0 \in L^2_\sigma(\mathbb{R}^3)$，且 $0 < T \leq \infty$。若速度场 $u$ 和磁场 $B$ 满足：

$$ |u|^{\beta+2\theta-2}u,\quad |B|^{\beta+2\theta-2}B \in L^{\frac{2\alpha}{\alpha(\beta+\theta)-\theta}}\left(M_3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)})\right), $$

其中 $\alpha \geq 1$，$\beta, \theta \geq 0$，且 $\frac{1}{2} \leq \beta + \theta \leq 1$，则能量等式成立：

$$ \frac{1}{2} \|u(t)\|_{L^2}^2 + \frac{1}{2} \|B(t)\|_{L^2}^2 + \int_0^t \left( \|\Lambda^\alpha u(\tau)\|_{L^2}^2 + \|\Lambda^\alpha B(\tau)\|_{L^2}^2 \right) d\tau = \frac{1}{2} \|u_0\|_{L^2}^2 + \frac{1}{2} \|B_0\|_{L^2}^2, \quad \forall\, 0 \leq t < T. $$

推论 1.5（分数阶Navier-Stokes情形）：设 $u$ 是分数阶Navier-Stokes方程（1.1）在 $[0,T]$ 上的Leray-Hopf弱解，$u_0 \in L^2_\sigma(\mathbb{R}^3)$。若

$$ |u|^{\beta+2\theta-2}u \in L^{\frac{2\alpha}{\alpha(\beta+\theta)-\theta}}\left(M_3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)})\right), $$

其中 $\alpha \geq 1$，$\beta, \theta \geq 0$，$\frac{1}{2} \leq \beta + \theta \leq 1$，则能量等式成立：

$$ \frac{1}{2} \|u(t)\|_{L^2}^2 + \int_0^t \|\Lambda^\alpha u(\tau)\|_{L^2}^2 d\tau = \frac{1}{2} \|u_0\|_{L^2}^2, \quad \forall\, 0 \leq t < T. $$

定理 1.6：设 $(u, B)$ 是分数阶MHD方程（1.2）的弱解，若 $u, B$ 满足：

$$ |u|^{\frac{10}{3} - \frac{5\theta}{3} + 2}u,\quad |B|^{\frac{10}{3} - \frac{5\theta}{3} + 2}B \in L^{\frac{2\alpha}{\alpha(2 - \frac{5\theta}{2}) + 2 + \frac{5\theta}{2} - \frac{3\theta}{8}}} \left(M_3(\dot{H}^1 \to L^{-\frac{5\theta}{3} + \frac{2}{8} + \theta})\right), $$

且

$$ |\nabla u|^{\frac{1}{7} - \frac{3}{5}\theta},\quad |\nabla B|^{\frac{1}{7} - \frac{3}{5}\theta} \in L^{\frac{4\alpha}{(10 - 5\theta)(2\beta\alpha + \frac{1}{7} - \frac{3}{7}\theta - (\beta + \frac{1}{3})1)(4\alpha\beta + 4\alpha + 1)}} \left(M_3(\dot{H}^{\beta+1} \to L^1)\right), $$

其中 $\alpha \geq 1$，$\beta \geq 0$，$0 \leq \theta < 1$，则能量等式（1.3）成立。

定理 1.9：设 $(u, B)$ 是分数阶MHD方程（1.2）的弱解，若 $\nabla u, \nabla B \in L^p M_3(\dot{W}^{1+\beta+\theta, \frac{3}{6-\theta}} \to L^{\frac{1}{9/2 - 5\theta/6}})$，且 $u, B \in L^q(L^{\frac{12}{3 - 6\theta}})$，满足 $\frac{1}{p} + \frac{1}{q} = \frac{1}{2}$，其中 $2 \leq p < \infty$，$\alpha \geq 1$，$\beta \geq 0$，$-1 \leq \theta < 0$，则能量等式成立。

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

a) 核心分析学工具

  • 对称化技术（Symmetrization）：这是本文最核心的技巧。作者通过定义新变量 $W = u + B$ 和 $\tilde{W} = u - B$，将MHD方程（1.2）转化为对称形式：

    $$ \partial_t W + \widetilde{\Lambda}^\alpha W + \widetilde{\nabla} \cdot (W \otimes W) + \widetilde{\nabla} p = 0, $$

    其中 $\widetilde{\Lambda}^\alpha = \mathrm{diag}((-\Delta)^\alpha, (-\Delta)^\alpha)$，$\widetilde{\nabla} = \begin{pmatrix} \nabla \\ \nabla \end{pmatrix}$。这一操作将原本复杂的非线性项 $(u\cdot\nabla)u - (B\cdot\nabla)B$ 等价为 $W \cdot \widetilde{\nabla} W$，从而将MHD问题简化为类似Navier-Stokes的形式，便于统一处理。

  • 乘子空间（Multiplier Spaces）：作者系统使用了乘子空间 $M_3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)})$ 来控制非线性项的积分估计。这类空间允许在弱正则性下控制乘积项 $\phi u \in F$，当 $u \in E$ 时，是处理非线性项（如 $(u\cdot\nabla)u$）的关键工具。

  • 插值方法（Interpolation Method）：通过Gagliardo-Nirenberg插值不等式（引理2.5），将高阶导数项与低阶项结合，例如：

$$ \||u|^{\beta+2\theta-2}u\|_{L^{2(\beta+\theta)}} \lesssim \||u|^{\beta+2\theta-2}u\|_{M_3(\dot{H}^{\beta+\theta}_\theta \to L^{2(\beta+\theta)})} \cdot \|u\|_{L^2}^{\beta+\theta-\theta} \|\Lambda^\alpha u\|_{L^2}^{\theta}, $$

实现了对非线性项的精细估计。

  • 磨光技术（Mollification）：利用标准磨光算子 $J_\varepsilon$ 将弱解正则化，构造测试函数 $W_j = J_\varepsilon W_j$，然后通过极限 $j \to \infty$ 和 $\varepsilon \to 0$ 交换极限，从而在弱解框架下验证能量等式。

b) 关键技术技巧

  • 非线性项的分解与控制：面对分数阶方程中非线性项 $(u\cdot\nabla)u$ 和 $(B\cdot\nabla)B$ 的奇异性，作者未直接使用Sobolev嵌入，而是引入乘子空间 $M_3(\dot{H}^s \to L^r)$，将非线性项视为“乘子作用于速度场”，从而避免对梯度的强正则性依赖。

  • 双参数自由度（$\beta, \theta$）的引入：通过引入两个参数 $\beta$ 和 $\theta$，作者构建了一个灵活的函数空间族，能够统一覆盖先前文献中多种条件（如 $L^q(L^p)$、$L^4(L^4)$、BMO 等），并实现对 $p$ 和 $q$ 指数范围的显著扩展。

  • 对称化后统一处理：将MHD与Navier-Stokes问题统一为关于 $W$ 的单一方程，使得所有定理的证明可以共享相同的框架，极大简化了论证过程。

4. 与之前工作的比较

a) 突破与改进

本文在多个方面显著改进了现有结果：

  • 放宽指数范围：与Zeng [26]（经典MHD能量等式）相比，本文定理1.3中允许 $\frac{2(\beta+\theta)}{1-\theta} \in [1, \infty)$，而Zeng要求 $q \geq 4$。这意味着本文允许更弱的时间积分指数，从而覆盖了更多低正则性解。

  • 推广乘子空间条件：Chen & Zhang [3] 在经典Navier-Stokes中使用了 $L^q(L^p)$ 条件，而本文将条件推广为乘子空间 $M_3(\dot{H}^s \to L^r)$，该空间比Lebesgue空间更精细，能容纳更多奇异函数（如临界Onsager空间 $L^3 B^{3}_{3,\infty}$）。

  • 首次建立分数阶MHD能量等式：此前文献（如He & Xin [8]、Zeng [26]）仅处理 $\alpha=1$ 的情形，本文首次在 $\alpha \geq 1$ 的分数阶情形下建立能量等式，填补了该领域的空白。

  • 统一框架：通过对称化，将Navier-Stokes与MHD问题统一处理，使得所有结果（定理1.3、1.6、1.9）及其推论（1.5、1.7、1.10）具有结构一致性，而此前工作多为独立证明。

  • 拓展时间指数范围：定理1.9中时间指数 $q \in [2, \infty)$，而Chen & Zhang [3] 仅允许 $q \in [3, 4)$，本文将范围扩展至整个 $[2,\infty)$，显著增强了结果的普适性。

综上，本文不仅将经典结果推广到分数阶情形，更通过乘子空间与对称化两大核心技术，实现了对解正则性假设的系统性弱化，为分数阶流体方程的能量守恒理论奠定了新的分析框架。

of non-Newtonian fluids

一类非牛顿流体能量等式可能缺口的估计

作者: Francesca Crispo, Angelica Pia Di Feola, Carlo Romano Grisanti

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

发布日期: 2025-10-07

ArXiv ID: 2510.05990v1

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

详细分析

中文标题: 一类非牛顿流体能量等式可能缺口的估计

1. 研究对象和背景

本文研究的是三维空间周期域 $\Omega := (0,L)^3$（$L \in (0,\infty)$）上幂律流体（power-law fluids）的初值问题，其控制方程为如下非线性偏微分方程组：

$$ \begin{cases} \partial_t v - \nabla \cdot \left( (\mu + |Dv|^2)^{\frac{p-2}{2}} Dv \right) + v \cdot \nabla v + \nabla \pi = 0, \\ \nabla \cdot v = 0, \end{cases} \quad \text{在 } (0,T) \times \Omega \text{ 上}, $$

其中 $v$ 为速度场，$\pi$ 为压力场，$\mu \geq 0$ 为常数粘度参数，$Dv = \frac{1}{2}(\nabla v + (\nabla v)^T)$ 为应变率张量，$p \in \left(\frac{9}{5}, 2\right)$ 为幂律指数，刻画流体的剪切变稀（shear-thinning）特性。该系统描述了非牛顿流体在剪切依赖粘度下的动力学行为，当 $p=2$ 时退化为经典的Navier-Stokes方程。

边界条件为空间周期性：对 $j=1,2,3$，有

$$ v|_{\Gamma_j} = v|_{\Gamma_{j+3}}, \quad \nabla v|_{\Gamma_j} = \nabla v|_{\Gamma_{j+3}}, \quad \pi|_{\Gamma_j} = \pi|_{\Gamma_{j+3}}, $$

其中 $\Gamma_j = \partial\Omega \cap \{x_j = 0\}$，$\Gamma_{j+3} = \partial\Omega \cap \{x_j = L\}$。

函数空间方面，作者在周期性零均值的光滑无散场空间 $V = \{\phi \in C^\infty_{\text{per}}(\Omega) : \nabla \cdot \phi = 0, \int_\Omega \phi \, dx = 0\}$ 上定义了如下闭包空间：

  • $J^2(\Omega)$：$V$ 在 $L^2(\Omega)$ 中的闭包；
  • $J^{1,p}(\Omega)$：$V$ 在 $W^{1,p}(\Omega)$ 中的闭包。

初始数据要求 $v_0 \in J^2(\Omega)$，这是比传统强解要求更低的正则性条件。

2. 主要定理或主要结果

定理1：设 $p \in \left(\frac{9}{5}, 2\right)$，$\mu > 0$，初始速度 $v_0 \in J^2(\Omega)$。令 $\{v_N\}_{N \in \mathbb{N}}$ 为由Galerkin方法构造的逼近序列，其在适当拓扑下收敛于方程(1)-(2)的一个弱解 $v$。则集合

$$ \mathcal{T} := \left\{ \tau \in (0,T) : \|\nabla v_N(\tau)\|_{L^p} \to \|\nabla v(\tau)\|_{L^p}, \; \|\nabla v_N(\tau)\|_{L^2} \to \|\nabla v(\tau)\|_{L^2} \right\} $$

在 $(0,T)$ 中具有全测度。且对任意 $s,t \in \mathcal{T}$ 且 $s < t$，该弱解满足如下“修正能量等式”：

$$ \|v(t)\|_{L^2}^2 + 2 \int_s^t \left\| (\mu + |Dv|^2)^{\frac{p-2}{4}} Dv \right\|_{L^2}^2 \, d\tau + M(s,t) = \|v(s)\|_{L^2}^2, $$

其中额外耗散项 $M(s,t)$ 定义为：

$$ M(s,t) := \lim_{\alpha \to \pi^-} \limsup_{N \to \infty} 2 \int_{J_N(\alpha)} \int_\Omega (\mu + |Dv_N|^2)^{\frac{p-2}{2}} |Dv_N|^2 \, dx \, d\tau, $$

等价地，

$$ M(s,t) = - \lim_{\alpha \to \pi^-} \limsup_{N \to \infty} \sum_h \left( \|v_N(t_h(N,\alpha))\|_{L^2}^2 - \|v_N(s_h(N,\alpha))\|_{L^2}^2 \right), $$

其中对每个 $\alpha \in [0,\pi)$，集合 $J_N(\alpha) \subset (s,t)$ 是至多可数个互不相交区间 $(s_h(N,\alpha), t_h(N,\alpha))$ 的并，且满足：

  • $\|\nabla v_N(\tau)\|_{L^2}^{2\gamma} > \tan \alpha$ 对所有 $\tau \in J_N(\alpha)$ 成立，其中 $\gamma = \zeta - 1$，$\zeta = \frac{3(p-1)}{3p-5}$；
  • $\lim_{\alpha \to \pi^-} |J_N(\alpha)| = 0$，且收敛对 $N$ 一致；
  • $M(s,t)$ 仅依赖于能量量（即 $L^2$ 和 $L^p$ 范数），不依赖于高阶导数或非能量项。

该定理表明，在幂律流体模型中，尽管无法保证强收敛于 $L^p(0,T;J^{1,p}(\Omega))$，但通过引入一个仅由能量量构成的“缺口项” $M(s,t)$，仍可恢复一种“修正形式”的能量等式，其结构与Navier-Stokes方程的情形完全一致。

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

a) 核心分析学工具

  • Galerkin逼近法：基于Stokes算子的特征函数系构造有限维逼近解 $v_N$，并建立一致先验估计。
  • 能量估计与紧性分析：通过方程推导 $L^\infty(0,T;L^2)$ 和 $L^p(0,T;W^{1,p})$ 的先验界（引理4），并利用Sobolev嵌入、Korn不等式和Friedrichs引理控制非线性项。
  • 反Hölder不等式与插值技巧：用于从控制 $I_p(v_N)$（即梯度加权能量）推导二阶导数的 $L^{2\beta}$ 估计（引理4中(14)式），这是获得高阶紧性的关键。
  • 强收敛的局部化分析：通过引入参数 $\alpha$ 和集合 $J_N(\alpha)$，将梯度发散的区域“隔离”出来，从而在剩余区域利用弱收敛与范数收敛的等价性，最终证明几乎处处（a.e.）的 $L^2$ 和 $L^p$ 梯度范数收敛。

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

  • 非线性粘性项的奇异性处理：由于粘性系数 $(\mu + |Dv|^2)^{\frac{p-2}{2}}$ 在 $p<2$ 时随 $|Dv| \to 0$ 增大而趋于无穷（剪切变稀），导致非线性项不可微，作者通过引入加权能量项 $I_p(u) = \int (\mu + |Du|^2)^{\frac{p-2}{2}} |\nabla Du|^2 dx$ 来控制梯度的高阶正则性（引理3）。
  • 克服 $L^p$ 弱收敛不足：标准弱收敛只能推出能量不等式。作者创新性地构造“缺口集合” $J_N(\alpha)$，其测度随 $\alpha \to \pi^-$ 趋于零，从而将“能量损失”集中到可控制的小测度集上，最终通过极限操作将缺口 $M(s,t)$ 表达为能量差的极限，避免引入非物理的高阶项。
  • 利用周期性与零均值条件：在证明Korn不等式、Friedrichs引理和Poincaré型估计时，充分利用周期边界和零均值条件，使得函数空间中无常数项干扰，从而获得最优常数估计。

4. 与之前工作的比较

a) 突破与改进

本文的核心突破在于：首次在三维幂律流体模型中，将满足能量等式的参数范围扩展至 $p \in \left(\frac{9}{5}, 2\right)$，且该范围与Navier-Stokes方程的经典结果（$p=2$ 时需 $v_0 \in L^2$）在结构上完全对应。

  • 先前工作：对于Navier-Stokes方程（$p=2$），能量等式成立的临界条件是初始速度 $v_0 \in L^2$ 且解属于 $L^3(0,T;L^3)$（Prodi-Serrin条件）；对于幂律流体，已知当 $p \geq \frac{11}{5}$ 时存在强解满足能量等式，而当 $p > \frac{8}{5}$ 时仅能保证弱解的存在与能量不等式（见文献[18]）。
  • 本文改进：
    1. 放宽了 $p$ 的下界：从已知的 $p \geq \frac{11}{5} = 2.2$ 下降到 $p > \frac{9}{5} = 1.8$，显著扩大了能量等式成立的参数范围；
    2. 仅依赖能量量：与以往通过控制 $L^r$ 范数（如 $L^3$ 或 $L^4$）来确保能量等式不同，本文的缺口项 $M(s,t)$ 仅由 $L^2$ 和 $L^p$ 能量范数的极限行为定义，更符合物理直觉；
    3. 方法普适性：本文所用的“缺口集分离”技术（即利用 $\alpha$-参数隔离梯度发散区域）首次在非牛顿流体中成功应用，且其结构与作者团队在Navier-Stokes方程中的工作 [8,9,10] 保持完全一致，表明该方法具有跨模型的统一性。

因此，本文不仅推广了能量等式在非牛顿流体中的适用范围，更揭示了能量缺口的本质——它并非源于物理耗散机制的缺失，而是弱解正则性不足导致的数学“误差项”，且这一误差可被完全用能量量刻画，从而为理解湍流与弱解的非唯一性提供了新的数学框架。

3. On the existence of fibered three-dimensional perfect fluid equilibria

without continuous Euclidean symmetry

存在无连续欧几里得对称性的三维理想流体纤维化平衡态

作者: Theodore D. Drivas, Tarek M. Elgindi, Daniel Ginsberg

类别: math.AP, physics.flu-dyn, physics.plasm-ph, 35Q31, 76B03, 76W05

发布日期: 2025-10-03

ArXiv ID: 2510.02955v2

链接: http://arxiv.org/abs/2510.02955v2

详细分析

中文标题: 存在无连续欧几里得对称性的三维理想流体纤维化平衡态

1. 研究对象和背景

本文研究的是三维理想不可压缩欧拉方程（ideal incompressible Euler equations）的稳态解（steady states）。该方程组在无外力作用下描述无粘性、不可压缩流体的运动，其数学形式为：

$$ \begin{aligned} \mathbf{u} \cdot \nabla \mathbf{u} + \nabla p &= 0, \quad \text{(动量方程)} \\ \nabla \cdot \mathbf{u} &= 0, \quad \text{(连续性方程)} \end{aligned} $$

其中 $\mathbf{u}: M \to \mathbb{R}^3$ 是流体速度场，$p: M \to \mathbb{R}$ 是压强，$M \subset \mathbb{R}^3$ 是一个有界柱状区域（具体为 $M \subset \mathbb{R}^2 \times \mathbb{T}$，即圆柱体与一维环面的乘积）。该系统可等价地重写为：

$$ \mathbf{u} \times \nabla \times \mathbf{u} = \nabla H, \quad H := \frac{1}{2}|\mathbf{u}|^2 + p, $$

其中 $H$ 被称为伯努利压强（Bernoulli pressure），它是沿流线守恒的标量函数（即 $\mathbf{u} \cdot \nabla H = 0$）。这一形式揭示了稳态欧拉方程与磁流体静力学（magnetohydrostatics）的深刻联系。

本文关注的区域 $M$ 是一个扰动的柱状域 $D_\varepsilon = \{ r = 1 + \varepsilon g(\theta, z) \}$，其中 $r = \sqrt{x_1^2 + x_2^2}$，$(\theta, z) \in \mathbb{S}^1 \times \mathbb{T}$，函数 $g$ 满足：(1) 关于平面 $\Pi = \{x_2 = 0\}$ 的反射对称性（偶函数）；(2) 具有离散的 $m$-重旋转对称性 $g(\theta + 2\pi/m, z) = g(\theta, z)$。边界条件要求速度场 $\mathbf{u}$ 在边界 $\partial D_\varepsilon$ 上切向（即 $\mathbf{u} \cdot \mathbf{n} = 0$），这是经典无滑移边界条件的弱形式，适用于封闭腔体中的理想流体。

所构造的解属于 $C^\infty$ 光滑函数空间，但仅在对称面 $\Pi$ 外部自然光滑；通过精细分析，作者进一步证明解在 $\Pi$ 上也是 $C^\infty$ 的（即全局光滑），这是关键的技术成就。

2. 主要定理或主要结果

定理 1：存在一个柱状区域 $M \subset \mathbb{R}^2 \times \mathbb{T}$ 和一个 $C^\infty$ 光滑的稳态欧拉方程解 $\mathbf{u}: M \to \mathbb{R}^3$，满足：(i) $\mathbf{u}$ 在边界 $\partial M$ 上切向；(ii) 伯努利压强 $H$ 的梯度 $\nabla H$ 在除去一条中心轴外处处非零；(iii) 解关于中心轴具有 $m$-重离散旋转对称性（$m \in \mathbb{Z}_{>0}$）；(iv) 解不具有任何连续欧几里得对称性（即无轴对称、平移对称或旋转对称）；(v) 解被非退化的伯努利压强 $H$ 的柱面水平集（invariant cylindrical level sets）所纤维化（foliated）；(vi) 解是无限维族（infinite-dimensional family）中的一员，其形状由外边界函数 $g$ 自由选取（在离散对称约束下）。

该定理首次构造出无连续对称性、纤维化于柱面、伯努利压强非退化且具有无限维自由度的三维稳态欧拉解，从而在理论层面否定了 Grad 猜想的原始形式。

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

a) 核心分析学工具

  • Lortz 迭代法：本文继承并推广了 Lortz（1970）的构造性迭代方法，该方法通过构造 Clebsch 表示 $\mathbf{u} = \nabla \tau \times \nabla H$ 将欧拉方程转化为对 $\tau$ 和 $H$ 的输运方程求解。
  • 椭圆型估计与 div-curl 系统：在每一步迭代中，通过求解如下边值问题更新速度场：
    $$ \begin{aligned} \nabla \cdot \mathbf{u}_{N+1} &= 0, \\ \nabla \times \mathbf{u}_{N+1} &= \omega_N, \\ \mathbf{u}_{N+1} \cdot \mathbf{n} &= 0 \quad \text{on } \partial D_\varepsilon, \end{aligned} $$
    并施加正交投影条件 $P_H \mathbf{u}_{N+1} = 0$（投影到调和场空间 $H$ 上），以保证解的唯一性。该系统通过标准椭圆理论（如 Agmon–Douglis–Nirenberg 估计）控制解的正则性。
  • Poincaré 型不等式：作者引入一个关键的带对称性的 Poincaré 不等式（Lemma 5），用于控制函数在流线方向上的振荡。该不等式形式为：
    $$ \|f\|_{C^{k,\alpha}(U)} \leq \frac{C}{m} \|\nabla_X f\|_{C^{k,\alpha}(U)}, $$
    其中 $X$ 是沿纤维化流线的向量场，$f$ 是 $m$-重对称且沿每条流线平均为零的函数。该不等式揭示了离散对称阶数 $m$ 越大，函数越“平滑”，从而为迭代收敛提供关键的收缩因子 $1/m$。
  • 正则性提升（Bootstrap）：利用 $\mathbf{u} \cdot \nabla \omega = \omega \cdot \nabla \mathbf{u}$（稳态涡度方程），通过逐层正则性提升（从 $C^0$ 到 $C^{k,\alpha}$）证明解在对称面 $\Pi$ 上也是光滑的，突破了传统方法中对称面处正则性断裂的障碍。

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

  • 克服 Bernoulli 压强为常数的困境：Lortz 的原始构造依赖于基态为调和场（即 $H \equiv \text{const}$），其小参数为扰动幅值 $\varepsilon$。本文的突破在于基态为强旋转流（$\mathbf{u}_* = \Omega(r) \mathbf{e}_\theta$，$\Omega(r)$ 单调非零），其伯努利压强 $H_*$ 非退化且可大（对应等离子体中大 $\beta$ 状态），因此无法使用小扰动 $\varepsilon$ 作为迭代参数。作者创新性地将离散对称阶数 $m$ 作为小参数，利用 $1/m$ 控制迭代误差。
  • 处理多值势函数 $\tau$ 的间断性：由于解无连续对称性，势函数 $\tau$ 在对称面 $\Pi$ 上产生跳跃（$\tau|_{\Pi^+} - \tau|_{\Pi^-} = T$），导致涡度 $\omega = \nabla \tau \times \nabla H$ 在 $\Pi$ 上可能不连续。作者利用 $\mathbf{u}$ 在 $\Pi$ 上的奇性（oddness）和 $\mathbf{u} \cdot \nabla T = 0$，证明了 $\nabla \tau \times \nabla T$ 的跳跃项为零，从而确保 $\omega$ 连续，这是构造光滑解的核心。
  • 构造无限维解族：通过允许边界函数 $g(\theta, z)$ 在 $m$-对称类中任意选取（在 $C^{k+1,\alpha}$ 中），作者证明解依赖于无限维参数空间，从而显著强于此前孤立解的构造（如 Woolley 或 Salat–Kaiser）。

4. 与之前工作的比较

a) 突破与改进

本文在多个维度上显著推进了前人工作：

工作构造解的特征本文改进
Grad（1967）提出猜想：无连续对称性则无纤维化解直接证伪：构造出无连续对称性但纤维化的光滑解
Lortz（1970）构造了无连续对称性、所有流线闭合的解，但伯努利压强 $H$ 为常数（基态为调和场），且压力面非柱面突破：基态为非退化旋转流，$H$ 非常数且压力面为精确柱面，支持大 $H$（大 $\beta$）
Woolley（1977）、Salat–Kaiser（1995）构造了无对称性的柱面纤维化解，但为孤立解（无参数族），且未证明光滑性或灵活性突破：解属于无限维函数空间中的族，由边界形状 $g$ 参数化，且证明了全局 $C^\infty$ 正则性
Arnold（1966）证明：若 $\nabla H \neq 0$，则稳态解被环面或柱面纤维化（拓扑结论）补充：首次证明该拓扑结构可实现于无连续对称性的物理解中，填补了理论与构造之间的鸿沟

综上，本文首次实现了：

  • 无连续欧几里得对称性；
  • 非退化伯努利压强（非恒定）；
  • 精确柱面纤维化；
  • 无限维解族；
  • 全局 $C^\infty$ 光滑性。

这五项性质的统一，彻底重塑了对 Grad 猜想的理解：Grad 的猜想应修正为“仅当流线在几乎所有不变环面上是遍历的（ergodic）时，才不存在无对称性的纤维化解”，而本文构造的解正是所有流线闭合、无遍历性的典型反例，且在等离子体物理中对应于准对称性（quasisymmetry） 的稳定构型（如 stellarator），具有重要应用价值。

4. Global stability for the compressible isentropic magnetohydrodynamic

equations in 3D bounded domains with Navier-slip boundary conditions

三维有界区域内具有Navier滑移边界条件的可压缩等熵磁流体方程的整体稳定性

作者: Yang Liu, Guochun Wu, Xin Zhong

类别: math.AP

发布日期: 2025-05-26

ArXiv ID: 2505.19749v2

链接: http://arxiv.org/abs/2505.19749v2

详细分析

中文标题: 三维有界区域内具有Navier滑移边界条件的可压缩等熵磁流体方程的整体稳定性

1. 研究对象和背景

本文研究的是三维（3D）有界区域 $\Omega \subset \mathbb{R}^3$ 上的可压缩等熵磁流体动力学（MHD）方程组，其数学形式为：

$$ \begin{cases} \rho_t + \operatorname{div}(\rho \mathbf{u}) = 0, \\ (\rho \mathbf{u})_t + \operatorname{div}(\rho \mathbf{u} \otimes \mathbf{u}) + \nabla P - \mu \Delta \mathbf{u} - (\mu + \lambda) \nabla \operatorname{div} \mathbf{u} = (\nabla \times \mathbf{H}) \times \mathbf{H}, \\ \mathbf{H}_t - \nabla \times (\mathbf{u} \times \mathbf{H}) = - \nabla \times (\nu \nabla \times \mathbf{H}), \\ \operatorname{div} \mathbf{H} = 0, \end{cases} $$

其中 $\rho$ 为密度，$\mathbf{u} = (u_1, u_2, u_3)$ 为速度场，$\mathbf{H} = (H_1, H_2, H_3)$ 为磁场，压力 $P = a \rho^\gamma$（$a > 0, \gamma > 1$），$\mu > 0$ 和 $\lambda$ 分别为剪切粘性和体积粘性系数，满足物理条件 $\mu > 0$ 和 $2\mu + 3\lambda \geq 0$，$\nu > 0$ 为电阻系数。为简化分析，文中设 $a = \nu = 1$。

系统在有界区域 $\Omega$ 上配备Navier滑移边界条件：

$$ \mathbf{u} \cdot \mathbf{n} = 0, \quad \operatorname{curl} \mathbf{u} \times \mathbf{n} = 0, \quad \mathbf{H} \cdot \mathbf{n} = 0, \quad \operatorname{curl} \mathbf{H} \times \mathbf{n} = 0, \quad \text{在 } \partial\Omega \text{ 上}, $$

其中 $\mathbf{n}$ 为边界 $\partial\Omega$ 的单位外法向量。该边界条件允许流体在边界上滑动，但不允许穿透，且磁场和速度的涡度在边界上与法向垂直，这在物理上更符合实际导电流体（如等离子体）与固体边界相互作用的情形。

初始条件为：

$$ \rho(x,0) = \rho_0(x), \quad \rho \mathbf{u}(x,0) = \rho_0 \mathbf{u}_0(x), \quad \mathbf{H}(x,0) = \mathbf{H}_0(x), \quad x \in \Omega, $$

且要求初始密度非负，速度与磁场具有有限能量。研究区域 $\Omega$ 是单连通光滑有界域，与以往文献常考虑的周期环面 $\mathbb{T}^3$ 或无界空间 $\mathbb{R}^3$ 形成鲜明对比，这是本文的重要物理和数学背景。

函数空间方面，强解定义在 $W^{1,q} \times H^2 \times H^2$ 空间中（$q \in (3,6]$），并要求密度在时间上一致有界（$\sup_{t \geq 0} \|\rho(\cdot,t)\|_{L^\infty} \leq \hat{\rho}$），这是区别于小扰动假设的关键设定。

2. 主要定理或主要结果

定理 1.1：设初始数据 $(\rho_0 \geq 0, \mathbf{u}_0, \mathbf{H}_0)$ 满足有限初始能量 $K = \|\rho_0 - \bar{\rho}_0\|_{L^2} + \|\sqrt{\rho_0} \mathbf{u}_0\|_{L^2} + \|\nabla \mathbf{u}_0\|_{H^1} + \|\nabla \mathbf{H}_0\|_{H^1} < \infty$，且存在常数 $\hat{\rho} > 0$ 使得密度在时间上一致有界：$\sup_{t \geq 0} \|\rho(\cdot,t)\|_{L^\infty} \leq \hat{\rho}$。令 $(\rho, \mathbf{u}, \mathbf{H})$ 为问题 (1.1)–(1.3) 的全局强解，则存在仅依赖于 $\hat{\rho}$ 和 $K$ 的正常数 $C_1, \eta_1 > 0$，使得对任意 $t \geq 0$，有：

$$ \left\| \left( \rho - \bar{\rho}_0, \sqrt{\rho} \mathbf{u}, \mathbf{H}, \nabla \mathbf{u}, \nabla \mathbf{H}, \sqrt{\rho} \mathbf{u}_t, \mathbf{H}_t \right)(\cdot, t) \right\|_{L^2} \leq C_1 e^{-\eta_1 t}. $$

若进一步假设初始密度远离真空，即 $\inf_{x \in \Omega} \rho_0(x) \geq \rho_* > 0$，则存在仅依赖于 $\rho_*, \hat{\rho}, K$ 的正常数 $C_2, \eta_2 > 0$，使得：

$$ \left\| \left( \rho - \bar{\rho}_0, \mathbf{H} \right)(\cdot, t) \right\|_{L^\infty} \leq C_2 e^{-\eta_2 t}. $$

该定理首次在三维一般有界域中建立了大解（large solutions）的指数稳定性，且无需假设初始总动量为零、无需限制粘性系数满足 $2\mu > \lambda$，也无需对磁场的 $L^6$ 范数做全局有界性假设。

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

a) 核心分析学工具

  • 能量估计与Lyapunov泛函构造：核心方法是构造一个时间衰减的Lyapunov型能量泛函，通过结合基本能量不等式与Bogovskii算子控制密度偏差，得到形如 $\frac{d}{dt} \mathcal{M}(t) + \mathcal{D}(t) \leq 0$ 的能量-耗散不等式，其中 $\mathcal{M}(t)$ 等价于 $\|(\rho - \bar{\rho}_0, \sqrt{\rho} \mathbf{u}, \mathbf{H})\|_{L^2}^2$，$\mathcal{D}(t)$ 控制梯度项，从而通过Gronwall不等式推出指数衰减。

  • Bogovskii算子：用于处理密度偏差 $\rho - \bar{\rho}_0$ 与压力 $P - \bar{P}$ 之间的耦合项，通过构造 $\mathbf{B}[\rho - \bar{\rho}_0]$ 作为散度的逆算子，将压力项转化为速度场的控制项，是处理有界域中密度非均质性的关键工具。

  • Poincaré不等式与div-curl系统估计：利用边界条件 $\mathbf{u} \cdot \mathbf{n} = 0$ 和 $\operatorname{curl} \mathbf{u} \times \mathbf{n} = 0$，结合引理2.3（广义Poincaré不等式）和引理2.4中的div-curl估计：

    $$ \|\nabla \mathbf{u}\|_{L^q} \leq C(\|\operatorname{div} \mathbf{u}\|_{L^q} + \|\operatorname{curl} \mathbf{u}\|_{L^q}), $$

    将速度的梯度范数转化为其散度与旋度的控制，从而在无Dirichlet边界条件下仍能获得强收敛性。

  • 有效粘性通量（Effective Viscous Flux）与涡度分析：定义 $F = (2\mu + \lambda)\operatorname{div} \mathbf{u} - (P - \bar{P}) - \frac{1}{2}|\mathbf{H}|^2$ 和 $\omega = \nabla \times \mathbf{u}$，利用其良好的正则性性质（引理2.4）和能量估计，建立高阶控制，如：

    $$ \|\nabla F\|_{L^p} \leq C(\|\sqrt{\rho} \mathbf{u}_t\|_{L^2} + \|\mathbf{H} \cdot \nabla \mathbf{H}\|_{L^2}), $$

    从而绕过直接估计 $\nabla^2 \mathbf{u}$ 的困难。

  • 迹定理与边界积分控制：在处理 $\int_{\partial\Omega} F (\mathbf{u} \cdot \nabla \mathbf{n} \cdot \mathbf{u}) dS$ 等边界项时，利用滑移条件 $\mathbf{u} \cdot \mathbf{n} = 0$ 导出恒等式：

    $$ \mathbf{u} \cdot \nabla \mathbf{u} \cdot \mathbf{n} = - \mathbf{u} \cdot \nabla \mathbf{n} \cdot \mathbf{u}, \quad \text{在 } \partial\Omega, $$

    将高阶边界项转化为内点项，结合 $F$ 的先验估计和嵌入不等式，实现可控。

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

  • 处理真空与密度下界缺失：在无真空假设下，通过修改文献[17,25]的方法，证明密度在时间上保持一致正下界（即使初始有真空，但若初始密度有正下界，则下界保持），从而为 $L^\infty$ 收敛提供关键支撑。

  • 克服粘性系数约束：以往文献（如[28]）要求 $2\mu > \lambda$ 以保证有效粘性通量的正定性，本文通过精细分析 $F$ 的结构（包含 $-\frac{1}{2}|\mathbf{H}|^2$ 项），证明即使 $2\mu + \lambda \geq 0$ 的物理允许范围，仍可通过能量分解和磁场项的控制实现稳定。

  • 消除 $L^6$ 磁场有界性假设：此前在环面情形下需假设 $\|\mathbf{H}\|_{L^6}$ 一致有界，本文利用 $\|\nabla \mathbf{H}\|_{L^2}$ 的指数衰减和Sobolev嵌入 $\|\mathbf{H}\|_{L^6} \leq C\|\nabla \mathbf{H}\|_{L^2}$，直接由梯度衰减推出磁场 $L^6$ 范数的衰减，从而完全避免该额外假设。

  • 处理材料导数 $\mathbf{u}_t$ 的高阶估计：通过引入 $\sqrt{\rho} \mathbf{u}_t$ 并利用 $\mathbf{u}_t$ 的表达式与 $F$、$\omega$ 的耦合，结合引理2.5（材料导数的 $L^6$ 控制），建立 $\|\sqrt{\rho} \mathbf{u}_t\|_{L^2}$ 的指数衰减，填补了之前文献中对时间导数估计的空白。

4. 与之前工作的比较

a) 突破与改进

本文在多个维度上显著改进了先前工作，特别是与文献[28]（J. Differential Equations 288, 2021）的环面情形相比：

改进维度以往工作（如[28]）本文突破
几何区域仅限周期环面 $\mathbb{T}^3$首次建立在三维一般光滑有界域上的全局稳定性
粘性系数要求 $2\mu > \lambda$完全移除该限制，仅保留物理条件 $2\mu + 3\lambda \geq 0$
磁场正则性要求 $\|\mathbf{H}\|_{L^6}$ 时间一致有界无需任何磁场 $L^p$ 范数的全局有界性假设，仅需初始能量有限
初始动量要求初始总动量为零完全移除该限制，允许任意初始动量
密度下界仅要求密度有上界首次证明在密度有上界时，$L^2$ 指数衰减成立；进一步在密度有正下界时，推出 $L^\infty$ 指数衰减
解的类型仅处理小扰动或光滑小能量解首次建立大解（large solutions）的全局稳定性，不依赖初始能量小

此外，本文还首次在有界域中实现了对密度和磁场的 $L^\infty$ 指数衰减估计（定理1.1第二部分），而此前工作仅在 $L^2$ 或 $H^1$ 范数下获得衰减，这为理解磁流体系统的长期演化提供了更强的物理洞察。

综上，本文不仅推广了区域，更系统性地放宽了所有关键先验假设，为可压缩MHD方程在真实物理边界条件下的长期行为研究奠定了全新基础。

5. Global stability for compressible isentropic Navier-Stokes equations in

3D bounded domains with Navier-slip boundary conditions

作者: Yang Liu, Guochun Wu, Xin Zhong

类别: math.AP

发布日期: 2025-04-23

ArXiv ID: 2504.17136v3

链接: http://arxiv.org/abs/2504.17136v3

详细分析

** $F = (2\mu + \lambda)\operatorname{div} u - (P - \bar{P})$ 和涡量 $\omega = \nabla \times u$，并结合Bogovskii算子、Poincaré不等式、Gagliardo–Nirenberg不等式、div-curl系统估计和Lyapunov型能量函数等工具，构建了严密的先验估计体系。

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

  • 真空不消失性：通过构造密度的下界估计，证明若初始时刻存在真空（即使仅在一点），则对所有时间 $t \geq 0$，真空区域永不消失（即 $\inf_{x \in \Omega} \rho(x,t) = 0$）。这一结论依赖于对密度方程的精细分析和对 $G(\rho)$ 函数的凸性利用（见公式 (3.5)）。

  • 边界项控制：在Navier-slip边界条件 $u \cdot n = 0, \, \operatorname{curl} u \times n = 0$ 下，传统无滑移条件下的边界积分处理失效。作者创新性地利用恒等式 $u \cdot \nabla u \cdot n = -u \cdot \nabla n \cdot u$（见公式 (1.13)），将边界上的粘性项转化为可控制的切向项，并结合向量恒等式 $(u \cdot \nabla n) \times u^\perp \cdot n = 0$，成功消除了边界积分对能量估计的干扰。

  • 高阶能量闭合：为获得 $\|\nabla u\|_{L^2}$ 和 $\|\sqrt{\rho} \dot{u}\|_{L^2}$ 的指数衰减，作者构造了多个耦合的Lyapunov泛函，如 $M_1(t)$（见公式 (3.8)），将密度扰动、速度、有效粘性通量和涡量的估计耦合起来，通过微分不等式实现整体能量的指数衰减。

4. 与之前工作的比较

a) 突破与改进：

本文是首次在三维一般有界区域中，对具有真空的可压缩Navier-Stokes方程的大型强解建立全局稳定性结果。此前工作存在以下关键限制：

  • 区域限制：先前关于大解稳定性的结果（如 [17,19,42,43]）均局限于全空间 $\mathbb{R}^3$ 或环面 $\mathbb{T}^3$，依赖于Fourier分析、频域分解等调和分析工具。而本文处理的是一般有界光滑区域，边界效应显著，必须采用基于偏微分方程局部理论（如Bogovskii算子、div-curl估计）的新方法。

  • 真空处理：文献 [8] 虽在Navier-slip边界下研究了小能量经典解，但要求初始密度有正下界（无真空），且仅得到代数衰减率。本文首次允许初始密度存在真空（$\inf \rho_0 = 0$），并证明真空不消失，同时获得指数衰减，这是对 [8] 的根本性突破。

  • 初始数据要求：[43] 仅要求密度一致有界（$\sup_{t \geq 0} \|\rho(t)\|_{L^\infty} \leq \hat{\rho}$），但未处理真空；本文在此基础上进一步证明了指数衰减，并给出密度在 $L^\infty$ 范数下的指数收敛（定理1.1），这比 [8] 的 $L^r$ 代数衰减（$r \in [1,\infty)$）更强。

  • 边界条件推广：Navier-slip边界（1.3）比Dirichlet无滑移边界（$u=0$）更接近物理实际（如粗糙表面、毛细边界），但数学处理更复杂。本文首次在该边界下建立了大解的全局指数稳定性，填补了该方向的空白。

综上，本文在区域维度（3D有界域）、初始数据正则性（允许真空）、衰减速率（指数 vs 代数）、边界条件适用性（Navier-slip）四个维度上，实现了对既有文献的系统性超越，是该领域的重要里程碑。

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

1. Large deviation principle for a stochastic nonlinear damped Schrodinger

equation

一类随机非线性阻尼薛定谔方程的大偏差原理

作者: Sandip Roy, Debopriya Mukherjee, Manil Thankamani Mohan

类别: math.PR, math.AP, 35Q55, 35R60, 60H15, 60F10

发布日期: 2025-10-07

ArXiv ID: 2510.06110v1

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

摘要翻译

中文标题: 一类随机非线性阻尼薛定谔方程的大偏差原理

摘要翻译: 本文研究具有多项式非线性项及零阶（不涉及导数）线性阻尼的随机非线性薛定谔方程。其中，随机强迫项由伊藤意义下的非线性噪声与斯特拉托诺维奇意义下的线性乘性噪声共同构成。我们借助Budhiraja与Dupuis提出的弱收敛框架，在适当的波兰空间中证明了该随机系统解族的拉普拉斯原理。该分析具有非平凡性，因为需在底层解空间中对相应控制随机方程的解建立一致先验估计，以验证弱收敛条件。通过Varadhan引理及其Bryc逆形式，我们进一步建立了Wentzell-Freidlin型大偏差原理。骨架方程（即确定性控制系统）的局部适定性通过Banach不动点定理建立，而全局适定性则借助Yosida逼近方法获得。我们证明，在无线性阻尼与伊藤噪声的情形下，系统满足守恒律；此时，随机控制方程的适定性同样具有非平凡性。为此，我们结合截断方法、停时论证与Yosida技术，成功建立了随机控制方程的全局适定性。

2. Existence and Nonexistence Breaking Results For a Weighted Elliptic

Problem in Half-Space

半空间上加权椭圆问题的存在性与非存在性破裂结果

作者: J. M. Do Ó, R. F. Freire, J. Giacomoni, E. S. Medeiros

类别: math.AP, 35J55, 35J50, 37K05

发布日期: 2025-10-07

ArXiv ID: 2510.05999v1

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

摘要翻译

中文标题: 半空间上加权椭圆问题的存在性与非存在性破裂结果

摘要翻译: 本文研究如下问题：在半空间 $\mathbb{R}^N_+$ 上，$-\mathrm{div}(\rho(x_N)\nabla u)=a|u|^{p-2}u$，在边界 $\mathbb{R}^{N-1}$ 上，$-\partial u/\partial x_N=b|u|^{q-2}u$，其中 $a,b \in \mathbb{R}$，$p,q\in (1,\infty)$，且 $\rho$ 为正权函数。我们建立了弱解的正则性结果，并结合变分方法与一个新的Pohozaev型恒等式，证明引入加权算子 $-\mathrm{div}(\rho(x_N)\nabla u)$ 可以逆转经典拉普拉斯算子情形下已知的可解性行为。具体而言，我们识别出某些参数区域，在这些区域中，该加权问题存在解，而对应的无权拉普拉斯问题却无解；反之亦然，从而实现了对经典存在性与非存在性结论的反转。

3. Spectral bounds for the operator pencil of an elliptic system in an

angle

角域内椭圆系统算子笔的谱界

作者: Michael Tsopanopoulos

类别: math.AP, 35B30, 35J47, 35B65, 47A10, 47A12, 47B44

发布日期: 2024-12-16

ArXiv ID: 2412.11858v3

链接: http://arxiv.org/abs/2412.11858v3

摘要翻译

中文标题: 角域内椭圆系统算子笔的谱界

摘要翻译: 本文分析了在狄利克雷、混合及诺伊曼边界条件下，平面角区域上二阶椭圆系统的模型问题。针对每种边界条件，形如 $r^\lambda v$ 的解的存在性问题被归约为特定矩阵的谱分析。聚焦于狄利克雷与混合边界条件，本文借助数值范围分析与增生算子理论，推导出 $|\Re \lambda|$ 的最优上界。所构建的理论框架具有新颖性，不仅恢复了已知的狄利克雷边界条件下的谱界结果，且对混合边界条件所得结果为全新发现，构成本文的核心贡献。这些结果可直接应用于获得具有混合边界条件的线性二阶椭圆系统的新型正则性估计。

4. Quantitative Gaffney and Korn inequalities

量化的Gaffney不等式与Korn不等式

作者: Wadim Gerner

类别: math.AP, math-ph, math.MP, 35B45, 35Q61, 35Q74, 74B05, 76W05

发布日期: 2025-10-07

ArXiv ID: 2510.05870v1

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

摘要翻译

中文标题: 量化的Gaffney不等式与Korn不等式

摘要翻译: 我们证明了Ehrling不等式的一个齐次量化版本，适用于函数空间 $H^1(\Omega)\subset\subset L^2(\partial\Omega)$ 与 $H^1(\Omega)\hookrightarrow L^2(\Omega)$，该版本反映了给定 $C^{1,1}$-域 $\Omega\subset\mathbb{R}^n$ 的几何特性。我们利用该结果推导出Gaffney不等式与Korn不等式的齐次量化版本，前者在电磁学中具有重要意义，后者在弹性理论中至关重要。与经典结果的主要区别在于，我们不等式中出现的常数均为与维数相关的常数。我们给出了这些常数的显式上界，并证明在切向齐次Korn不等式的情形下，当 $n\rightarrow \infty$ 时，我们的上界具有渐近最优性。最后，我们提出关于这些维数相关常数最优值的开放性问题。

5. Existence of global weak solutions to a parabolic $p$-Laplacian problem

with convective term

具对流项的抛物型 $p$-拉普拉斯问题的整体弱解存在性

作者: Angelica Pia Di Feola, Michael Ruzicka

类别: math.AP

发布日期: 2025-10-07

ArXiv ID: 2510.05847v1

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

摘要翻译

中文标题: 具对流项的抛物型 $p$-拉普拉斯问题的整体弱解存在性

摘要翻译: 设 $\Omega \subset \mathbb R^3$ 为具有 $C^2$ 边界的有界区域，$T>0$ 为给定的有限时间。对于任意 $p\in (1,2)$，我们证明了在区间 $(0,T)$ 上，具对流项且无散度约束的抛物型 $p$-拉普拉斯系统存在一个满足最大值原理的整体弱解。

6. The measures with $L^2$-bounded Riesz transform and the Painlevé

problem

具有 $L^2$ 有界黎兹变换的测度与Painlevé问题

作者: Damian Dąbrowski, Xavier Tolsa

类别: math.CA, math.AP, 42B20, 28A75, 49Q15

发布日期: 2024-01-12

ArXiv ID: 2402.08615v2

链接: http://arxiv.org/abs/2402.08615v2

摘要翻译

中文标题: 具有 $L^2$ 有界黎兹变换的测度与Painlevé问题

摘要翻译: 本文给出了 $\mathbb{R}^{n+1}$ 中满足多项式上界增长阶为 $n$ 的测度 $\mu$ 的几何刻画，使得其 $n$ 维黎兹变换 $R\mu (x) = \int \frac{x-y}{|x-y|^{n+1}}\,d\mu(y)$ 属于 $L^2(\mu)$。更确切地，我们证明了如下等价关系：

$$ \|R\mu\|_{L^2(\mu)}^2 + \|\mu\| \approx \int\!\!\int_0^\infty \beta_{2,\mu}(x,r)^2\,\frac{\mu(B(x,r))}{r^n}\,\frac{dr}{r}\,d\mu(x) + \|\mu\|, $$

其中 $\beta_{\mu,2}(x,r)^2 = \inf_L \frac{1}{r^n}\int_{B(x,r)} \left(\frac{\mathrm{dist}(y,L)}{r}\right)^2\,d\mu(y)$，下确界取遍所有 $\mathbb{R}^{n+1}$ 中的 $n$ 维仿射平面 $L$。作为推论，我们得到了关于Lipschitz调和函数可去集的度量-几何势刻画，并进一步推出：Lipschitz调和函数的可去集类在双Lipschitz映射下保持不变。

7. Bilinear embedding for divergence-form operators with negative

potentials

带负势的散度型算子的双线性嵌入

作者: Andrea Poggio

类别: math.AP, math.CA, math.FA, 35J10, 35J15, 47D06, 42B25

发布日期: 2025-10-07

ArXiv ID: 2510.05714v1

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

摘要翻译

中文标题: 带负势的散度型算子的双线性嵌入

摘要翻译: 设 $\Omega \subseteq \mathbb{R}^d$ 为开集，$A$ 为定义在 $\Omega$ 上的复值、一致严格增生的 $d \times d$ 矩阵函数，其系数属于 $L^\infty$；$V$ 为 $\Omega$ 上局部可积的函数，且其负部为次临界的。我们研究定义在 $\Omega$ 上、满足混合边界条件的算子 $\mathscr{L} = -\mathrm{div}(A\nabla) + V$。通过引入一个关于系数的新条件——当 $V$ 非负时该条件退化为标准的 $p$-椭圆性——我们将 Carbonaro 与 Dragi\v{c}evi'c [15] 原先针对非负势建立的双线性不等式推广至负势情形。作为推论，我们证明：初值为 $u(0)=0$ 的抛物型方程 $u'(t) + \mathscr{L} u(t) = f(t)$ 在 $L^p(\Omega)$ 上具有最大正则性，其结论与文献 [13] 的精神一致。此外，我们在这一新条件下研究由 $-\mathscr{L}$ 生成的半群的映射性质，从而将经典结果从 $\mathbb{R}^d$ 上的薛定谔算子 $-\Delta + V$ [8,47] 推广至更一般的情形。

8. Estimates for harmonic functions near pseudo-corners

伪角附近调和函数的估计

作者: Martin Costabel, Monique Dauge

类别: math.AP, 35B25, 35C20, 35J05

发布日期: 2025-07-29

ArXiv ID: 2507.22178v2

链接: http://arxiv.org/abs/2507.22178v2

摘要翻译

中文标题: 伪角附近调和函数的估计

摘要翻译: 已知在具有圆锥奇点的区域边界角附近，即使数据光滑，椭圆边值问题解的导数也可能趋于无界。当将角区域逼近为更光滑的区域时，这些逼近区域上解的高阶索伯列夫范数在极限过程中可能发生爆破。本文以拉普拉斯算子在狄利克雷边界条件下的简单情形为例，研究了两种情形下的这种爆破现象：任意维数中角的圆滑化，以及二维情形中将多边形角替换为两个或多个更小角度的角。我们利用近期关于收敛至广义幂级数展开的更一般结果所导出的内展开式，证明了关于索伯列夫范数与奇性系数的简单显式估计，其形式为逼近尺度的幂函数。

9. Convergence of approximate solutions constructed by the finite volume

method for the moisture transport model in porous media

基于有限体积法构建的多孔介质中水分输运模型近似解的收敛性

作者: Akiko Morimura, Toyohiko Aiki

类别: math.AP, 76S05, 35K55, 65M08, 35K59

发布日期: 2025-05-14

ArXiv ID: 2505.09763v3

链接: http://arxiv.org/abs/2505.09763v3

摘要翻译

中文标题: 基于有限体积法构建的多孔介质中水分输运模型近似解的收敛性

摘要翻译: 我们研究了一维区间上一类非线性抛物型方程的初边值问题，该问题源于多孔介质中水分输运的数学模型。通过引入对偶方程方法，我们证明了该问题弱解的唯一性；进一步地，我们建立了由有限体积法构造的近似解的收敛性结果。

10. Diffeomorphic approximation of piecewise affine homeomorphisms

分段仿射同胚的微分同胚逼近

作者: Daniel Campbell, Luigi D’Onofrio, Tomáš Vítek

类别: math.AP

发布日期: 2025-07-03

ArXiv ID: 2507.02854v2

链接: http://arxiv.org/abs/2507.02854v2

摘要翻译

中文标题: 分段仿射同胚的微分同胚逼近

摘要翻译: 设 $f$ 是定义在 $\Omega \subset \mathbb{R}^d$ 上、映射至 $\Delta \subset \mathbb{R}^d$ 的局部有限分段仿射同胚（其中 $d=3, 4$），且满足 $f \in W^{1,p}(\Omega, \mathbb{R}^d)$ 与 $f^{-1} \in W^{1,q}(\Delta, \mathbb{R}^d)$，其中 $1 \leq p, q < \infty$。对于任意 $\epsilon > 0$，我们构造一个微分同胚 $\tilde{f}$，使得

$$ \|f - \tilde{f}\|_{W^{1,p}(\Omega, \mathbb{R}^d)} + \|f^{-1} - \tilde{f}^{-1}\|_{W^{1,q}(\Delta, \mathbb{R}^d)} < \epsilon. $$

11. On a class of thin obstacle-type problems for the bi-Laplacian operator

关于一类双调和算子的薄障碍型问题

作者: Donatella Danielli, Giovanni Gravina

类别: math.AP, 35R35, 35J35, 35J58

发布日期: 2025-09-14

ArXiv ID: 2509.11372v2

链接: http://arxiv.org/abs/2509.11372v2

摘要翻译

中文标题: 关于一类双调和算子的薄障碍型问题

摘要翻译: 本文研究了一类具有Neumann型边值条件的四阶椭圆型问题的解的正则性及其自由边界的结构特性。所考察的奇异与退化椭圆算子自然源于拉普拉斯算子高阶分数次幂的扩张过程，而所考虑的非线性形式包含两相边界障碍问题作为特例。在建立解的局部正则性性质之后，本文推导并应用了Almgren型与Monneau型单调性公式，通过爆破分析证明了自由边界的一个分层结果。

不相关论文（基本信息）

1. Mechanistic-statistical inference of mosquito dynamics from

mark-release-recapture data

基于标记-释放-重捕数据的蚊虫动态机制-统计推断

作者: Nga Nguyen, Olivier Bonnefon, René Gato, Luis Almeida, Lionel Roques

类别: q-bio.PE, math.AP, 92D25, 60J60, 35K57, 62P10, 62F10

发布日期: 2025-10-07

ArXiv ID: 2510.06080v1

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

摘要: Biological control strategies against mosquito-borne diseases–such as the sterile insect technique (SIT), RIDL, and Wolbachia-based releases–require reliable estimates of dispersal and survival of released males. We propose a mechanistic–statistical framework for mark–release–recapture (MRR) data linking an individual-based 2D diffusion model with its reaction–diffusion limit. Inference is based on solving the macroscopic system and embedding it in a Poisson observation model for daily trap counts, with uncertainty quantified via a parametric bootstrap. We validate identifiability using simulated data and apply the model to an urban MRR campaign in El Cano (Havana, Cuba) involving four weekly releases of sterile Aedes aegypti males. The best-supported model suggests a mean life expectancy of about five days and a typical displacement of about 180 m. Unlike empirical fits of survival or dispersal, our mechanistic approach jointly estimates movement, mortality, and capture, yielding biologically interpretable parameters and a principled framework for designing and evaluating SIT-based interventions.

2. Lecture notes on Malliavin calculus in regularity structures

正则结构中的马利亚文微积分讲义

作者: Lucas Broux, Felix Otto, Markus Tempelmayr

类别: math.PR, math.AP, 60H17, 60L30, 60H07, 81T16

发布日期: 2024-01-11

ArXiv ID: 2401.05935v3

链接: http://arxiv.org/abs/2401.05935v3

摘要: Malliavin calculus provides a characterization of the centered model in regularity structures that is stable under removing the small-scale cut-off. In conjunction with a spectral gap inequality, it yields the stochastic estimates of the model. This becomes transparent on the level of a notion of model that parameterizes the solution manifold, and thus is indexed by multi-indices rather than trees, and which allows for a more geometric than combinatorial perspective. In these lecture notes, this is carried out for a PDE with heat operator, a cubic nonlinearity, and driven by additive noise, reminiscent of the stochastic quantization of the Euclidean $\phi^4$ model. More precisely, we informally motivate our notion of the model $(\Pi,\Gamma)$ as charts and transition maps, respectively, of the nonlinear solution manifold. These geometric objects are algebrized in terms of formal power series, and their algebra automorphisms. We will assimilate the directional Malliavin derivative to a tangent vector of the solution manifold. This means that it can be treated as a modelled distribution, thereby connecting stochastic model estimates to pathwise solution theory, with its analytic tools of reconstruction and integration. We unroll an inductive calculus that in an automated way applies to the full subcritical regime.

3. Eigenstructure of the linearized electrical impedance tomography problem

under radial perturbations

径向扰动下线性化电阻抗断层成像问题的特征结构

作者: Markus Hirvensalo

类别: math.AP, 35B30, 35B35, 35Q60, 35R30

发布日期: 2025-10-07

ArXiv ID: 2510.05966v1

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

摘要: We analyze the Fr'echet derivative $F$, that maps a perturbation in conductivity to the linearized change in boundary measurements governed by the conductivity equation. The domain is taken to be the unit ball $B \subset \mathbb{R}^d$ with $d \geq 2$, and we choose perturbations $\eta$ from the Hilbert space $L^2(B)$. Under the condition that the perturbations are rotationally symmetric, we show that the eigenfunctions of the linear approximation $F \eta$ correspond to the spherical harmonics. Furthermore, we establish an explicit formula for the associated eigenvalues and show that for perturbations from any bounded subset, the decay of these eigenvalues is uniform with respect to the degree of the spherical harmonics. The established structure of $F \eta$ enables us to show that the Fr'echet derivative $F$ can be approximated by finite-rank operators when restricted to rotationally symmetric perturbations. Both the extension to $L^2(B)$ perturbations and the approximability by finite-rank operators are favorable properties for further analysis of $F$ in numerical algorithms.

4. An alternative definition for c-convex functions and another synthetic

statement of MTW condition

c-凸函数的另一种定义与MTW条件的另一合成表述

作者: Seonghyeon Jeong

类别: math.OC, math.AP, 35J96, 49Q22

发布日期: 2025-05-17

ArXiv ID: 2505.12063v2

链接: http://arxiv.org/abs/2505.12063v2

摘要: The main theorem of this paper states that the c-convexity and the alternative c-convexity are equivalent if and only if the cost function c satisfies MTW condition. The alternative c-convex function is an analogy of the definition of the convex function that is using the inequality phi(t x1 + (1 - t) x0) <= t phi(x1) + (1 - t) phi(x0). We study properties of the alternative c-convex functions and MTW condition, then prove the main theorem.

5. Characterizations and properties of solutions to parabolic problems of

linear growth

线性增长抛物型问题解的特征与性质

作者: Theo Elenius

类别: math.AP, 35K20, 35K67, 35K92

发布日期: 2025-05-22

ArXiv ID: 2505.16747v2

链接: http://arxiv.org/abs/2505.16747v2

摘要: We consider notions of weak solutions to a general class of parabolic problems of linear growth, formulated independently of time regularity. Equivalence with variational solutions is established using a stability result for weak solutions. A key tool in our arguments is approximation of parabolic BV functions using time mollification and Sobolev approximations. We also prove a comparison principle and a local boundedness result for solutions. When the time derivative of the solution is in $L^2$ our definitions are equivalent with the definition based on the Anzellotti pairing.

6. A general nonuniqueness result for Yamabe-type problems for conformally

variational Riemannian invariants

关于共形变分黎曼不变量的Yamabe型问题的广义非唯一性结果

作者: João Henrique Andrade, Jeffrey S. Case, Paolo Piccione, Juncheng Wei

类别: math.DG, math.AP

发布日期: 2023-10-24

ArXiv ID: 2310.15798v2

链接: http://arxiv.org/abs/2310.15798v2

摘要: Given a conformally variational scalar Riemannian invariant $I$, we identify a sufficient condition for a compact Riemannian manifold to admit finite regular coverings with many nonhomothetic conformal rescalings with $I$ constant. We also identify a sufficient condition for the universal cover to admit infinitely many geometrically distinct periodic conformal rescalings with $I$ constant. Using these conditions, we improve known nonuniqueness results for the $Q$-curvatures of orders two, four, and six, and establish nonuniqueness results for higher-order $Q$-curvatures and renormalized volume coefficients.

7. Stochastic exit-time control on the half-line over a finite horizon

半直线上有限时间域的随机退出时间控制

作者: Dariusz Zawisza

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

发布日期: 2025-03-25

ArXiv ID: 2503.19648v2

链接: http://arxiv.org/abs/2503.19648v2

摘要: We consider a finite-time stochastic drift control problem with the assumption that the control is bounded and the system is controlled until the state process leaves the half-line. Assuming general conditions, it is proved that the resulting parabolic Hamilton-Jacobi-Bellman equation has a classical solution. In fact, we consider an even more general family of semilinear equations, which might be helpful in solving other control or game problems. Not only is the existence result proved, but also a recursive procedure for finding a solution resulting from a fixed-point argument is provided. An application to the dividend optimization problem is presented.

8. A matrix formulation of the plane elastostatic inclusion problem via

geometric function theory

基于几何函数理论的平面弹性静力学包含问题的矩阵表述

作者: Daehee Cho, Doosung Choi, Mikyoung Lim

类别: math.AP

发布日期: 2024-03-23

ArXiv ID: 2403.15713v2

链接: http://arxiv.org/abs/2403.15713v2

摘要: We investigate the two-dimensional elastostatic inclusion problem in an unbounded medium. Building on the recent developments for rigid inclusions \cite{Mattei:2021:EAS} and conductivity inclusions \cite{Jung:2021:SEL}, we extend these methodologies to the more general case of elastic inclusions with arbitrary Lam'{e} constants. Our approach integrates layer potential techniques, geometric function theory, and the complex-variable formulation in plane elasticity. As a main result, we derive a matrix formulation of the elastostatic inclusion problem using basis functions defined via the exterior conformal mapping of the inclusion. This leads to a series solution framework that incorporates the geometry of the inclusion.

9. Inverse scattering for $N$-body time-decaying harmonic oscillators

多体时间衰减谐振子的反散射问题

作者: Atsuhide Ishida

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

发布日期: 2025-10-06

ArXiv ID: 2510.04702v2

链接: http://arxiv.org/abs/2510.04702v2

摘要: In the previous study (Ishida, 2025), the author proved the uniqueness of short-range potential functions using the Enss-Weder time-dependent method (Enss and Weder, 1995) for a two-body quantum system described by time-decaying harmonic oscillators. In this study, we extend the result of Ishida (2025) to the $N$-body case. We use the approaches developed in Enss and Weder (1995), Weder (1996), and Valencia and Weder (2012) to prove that the high-velocity limit of the scattering operator uniquely determines all the pairwise interaction potentials among the $N$ particles, focusing respectively on each fixed pair of particles.

10. A contractible Schiffer counterexample on the half-sphere

半球上的一个可缩的施菲爾反例

作者: Gonzalo Cao-Labora, Antonio J. Fernández

类别: math.AP, math.DG

发布日期: 2025-10-07

ArXiv ID: 2510.05732v1

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

摘要: We show the existence of a family of nontrivial smooth contractible domains on the sphere that admit Neumann eigenfunctions of the Laplacian which are constant on the boundary. These domains are contained on the half-sphere, in stark contrast with the rigidity literature for Serrin-type problems. The proof relies on a local bifurcation argument around the family of geodesic disks centered at the north pole. We combine the use of anisotropic H"older spaces for the functional setting with computer-assisted techniques to check the bifurcation conditions.

11. Ancient Gauss Curvature Flows of Bounded Width

有界宽度的古高斯曲率流

作者: Beomjun Choi, Kyeongsu Choi, Dongjun Noh

类别: math.DG, math.AP, 53E99, 35J96

发布日期: 2025-10-07

ArXiv ID: 2510.05614v1

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

摘要: In this paper, we construct a pancake-like ancient compact solution with flat sides to the Gauss curvature flow, contained in a slab. Also, we construct sausage-like ancient compact solutions to the $\alpha$-Gauss curvature flow with $\alpha >\frac{1}{2}$, asymptotic to a round cylinder.

12. $L^2$ restriction bounds for analytic continuations of quantum ergodic

Laplace eigenfunctions

量子遍历拉普拉斯特征函数的解析延拓的 $L^2$ 限制界

作者: John A. Toth, Xiao Xiao

类别: math.AP, math.DG, math.SP

发布日期: 2025-10-07

ArXiv ID: 2510.05570v1

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

摘要: We prove a quantum ergodic restriction (QER) theorem for real hypersurfaces $\Sigma \subset X,$ where $X$ is the Grauert tube associated with a real-analytic, compact Riemannian manifold. As an application, we obtain $h$ independent upper and lower bounds for the $L^2$ - restrictions of the FBI transform of Laplace eigenfunctions restricted to $\Sigma$ satisfying certain generic geometric conditions.

13. Phase transitions in two-component Bose-Einstein condensates with Rabi

frequency (I): The De Giorgi conjecture for the local problem in $\mathbb{R}^{3}$

两组分玻色-爱因斯坦凝聚体中的拉比频率诱导相变（I）：$\mathbb{R}^{3}$ 中局部问题的德吉奥尔吉猜想

作者: Leyun Wu, Chilin Zhang

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

发布日期: 2025-09-23

ArXiv ID: 2509.19124v2

链接: http://arxiv.org/abs/2509.19124v2

摘要: In this series of papers, we investigate coupled systems arising in the study of two-component Bose–Einstein condensates, and we establish classification results for solutions of De Giorgi conjecture type. In the first paper of the series, we focus on the local problem of the form $\Delta u = u(u^2+v^2-1) + v(\alpha uv - \omega)$, $\Delta v = v(u^2+v^2-1) + u(\alpha uv - \omega)$, and prove that positive global solutions in $\mathbb{R}^3$ satisfying $\partial u/\partial x_3 > 0 > \partial v/\partial x_3$ must be one-dimensional.