生成时间: 2026年04月24日 05:27:26

重点关注论文数量: 5

了解领域论文数量: 8

不相关论文数量: 5

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

1. 一类耦合非线性热-反应-相变系统的最大值原理与局部稳定性

Maximum principle and local stability for a class of coupled nonlinear thermo–reaction–phase systems

作者: Gossrin Jean-Marc Bomisso, Ali Ouattara Kouma, Marie Esther Anassé

类别: math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21756v1

摘要翻译: 我们研究一类源于热-反应-相变模型的非线性耦合偏微分方程组。该系统由热扩散方程、具有Arrhenius型温度依赖性的化学反应以及一个相变量构成，并被表述为带有齐次Neumann边界条件的强耦合抛物型问题。我们首先建立一个最大值原理，保证在适当的时间区间内温度保持正性，并保证物理上容许区域的不变性；特别地，我们证明内变量始终位于区间[0,1]内。随后，我们在自由情形（即无外力强迫）下分析该系统的渐近行为。通过引入相对能量泛函并充分利用耦合项的结构，我们得到齐次稳态解的局部渐近稳定性。该模型属于更广泛的耦合扩散-反应-相变系统类。

Comment: 15 pages

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

1. 研究对象和背景

本研究针对热-反应-相变耦合模型中的非线性偏微分方程组，研究对象为三个关键未知量：绝对温度 $\theta$ （单位：开尔文）、活性化学分数 $$c$$ （表示材料有色形式的比例）及宏观相变量 $\phi$ （描述材料可见状态）。系统方程在有界区域 $\Omega \subset \mathbb{R}^N$ （ $N \geq 1$ ）上定义为：

\begin{cases} \rho c_p \partial_t \theta - \nabla \cdot (k(\phi)\nabla \theta) = H_{\text{ext}}(x, t) + \alpha L_c \partial_t c + \alpha L_\phi \partial_t \phi & \text{in } Q_T, \\ \partial_t c - d_c \Delta c = -\beta K_d(\theta) c + \gamma K_r(\theta) (1 - c) & \text{in } Q_T, \\ \tau_\phi \partial_t \phi - \varepsilon^2 \Delta \phi + F'(\phi) = \lambda(c - \phi) & \text{in } Q_T, \end{cases}

其中 $Q_T = \Omega \times (0, T)$ ，边界条件为齐次 Neumann 条件 $\partial_n \theta = \partial_n c = \partial_n \phi = 0$ ，初始条件满足 $\theta_0 \geq \theta_* > 0$ 、 $0 \leq c_0, \phi_0 \leq 1$ 。关键参数包括：Arrhenius 型反应速率 $K_d(\theta) = A_d \exp(-E_d/R\theta)$ 、 $K_r(\theta) = A_r \exp(-E_r/R\theta)$ ，以及双阱势 $F(\phi) = \frac{1}{4}\phi^2(1-\phi)^2$ 。该模型源于热致变色材料研究（如智能包装、电子元件热保护），其数学挑战在于：(1) Arrhenius 速率在 $\theta = 0$ 处的奇异性要求严格证明温度正性；(2) 三重强耦合结构导致先验估计的层级依赖（温度正性 $\to$ 反应项有界 $\to$ 化学分数控制 $\to$ 相变量控制）；(3) 热方程中时间导数耦合项 $\alpha L_c \partial_t c + \alpha L_\phi \partial_t \phi$ 破坏了标准能量估计框架。已有理论中，Caginalp 模型 [3] 仅耦合温度与序参数，Penrose-Fife 模型 [16] 关注热力学一致性但未处理化学反应，而 Miranville 等 [13] 的工作虽研究了热耦合相场系统，却忽略了可逆 Arrhenius 动力学。本文填补的关键空白在于：建立适用于三重耦合系统的最大值原理以保证物理可行域 $\mathcal{D} = \{(\theta, c, \phi) : \theta > 0, 0 \leq c, \phi \leq 1\}$ 的不变性，并首次分析齐次稳态的局部渐近稳定性，为热敏材料的数学理论提供严格基础。

2. 主要定理或主要结果

在假设 (H1)-(H6) 下，证明了以下核心结果：

温度正性（定理 3.1）：存在 $T_0 = \rho c_p \theta_* / C_0 > 0$ （ $$C_0 = 0$$ 时 $T_0 = +\infty$ ），使得对任意 $t \in [0, T_0)$ ，解满足 $\theta(x,t) \geq \underline{\theta}(t) > 0$ ，其中 $\underline{\theta}(t) = \theta_* - C_0 t / (\rho c_p)$ 。特别地，对任意 $$T < T_0$$ ，存在 $\theta_T > 0$ 使得 $\theta(x,t) \geq \theta_T$ 几乎处处成立。
物理可行域不变性：

化学分数 $$c$$ 的不变性（定理 3.4）： $0 \leq c(x,t) \leq 1$ 几乎处处成立，证明依赖于 $K_d, K_r \geq 0$ 及 $c_0 \in [0,1]$ 。
相变量 $\phi$ 的不变性（定理 3.7）： $0 \leq \phi(x,t) \leq 1$ 几乎处处成立，关键利用势函数边界符号性质 $F'(\phi) \cdot [\phi]_- \leq 0$ （ $\phi < 0$ ）及 $F'(\phi) \cdot [\phi-1]_+ \geq 0$ （ $\phi > 1$ ）。

Arrhenius 速率有界性（推论 3.3）：对 $$T < T_0$$ ，存在 $$M > 0$$ 使得 $0 \leq K_d(\theta), K_r(\theta) \leq M$ 几乎处处成立，确保反应项在弱解框架下良定。
局部渐近稳定性（第 4 节）：在假设 (H7)-(H10) 下（ $H_{\text{ext}} = 0$ ，齐次稳态 $(\bar{\theta}, \bar{c}, \bar{\phi})$ 满足平衡关系， $F''(\bar{\phi}) > 0$ ， $\int_\Omega (\theta_0 - \bar{\theta}) \, dx = 0$ ，且 $\alpha < \alpha_0$ ），定义扰动 $u = \theta - \bar{\theta}$ 、 $v = c - \bar{c}$ 、 $w = \phi - \bar{\phi}$ 及相对能量泛函： $E(t) = \frac{\rho c_p}{2} \|u\|_{L^2}^2 + \frac{1}{2} \|v\|_{L^2}^2 + \frac{\tau_\phi}{2} \|w\|_{L^2}^2 + \frac{\varepsilon^2}{2} \|\nabla w\|_{L^2}^2 + \int_\Omega G(w) \, dx - \alpha L_c \int_\Omega u v \, dx - \alpha L_\phi \int_\Omega u w \, dx,$ 其中 $G(z) = F(\bar{\phi} + z) - F(\bar{\phi}) - F'(\bar{\phi})z$ 。当 $\|w\|_{L^\infty} \leq \delta_0$ 且 $\alpha < \alpha_0$ 时，存在 $$C_1, C_2 > 0$$ 使得： $C_1 \left( \|u\|_{L^2}^2 + \|v\|_{L^2}^2 + \|w\|_{H^1}^2 \right) \leq E(t) \leq C_2 \left( \|u\|_{L^2}^2 + \|v\|_{L^2}^2 + \|w\|_{H^1}^2 \right),$ 且 $\alpha_0$ 由 (1.6) 给出： $\alpha_0 = \min \left\{ \frac{\sqrt{\rho c_p}}{\sqrt{2} L_c}, \frac{\sqrt{\rho c_p} (2m_F + \tau_\phi)}{\sqrt{2} L_\phi}, \frac{\rho c_p \sqrt{d_c} k_*}{2 k^* L_c}, \frac{\rho c_p \varepsilon \sqrt{k_*}}{2 k^* L_\phi} \right\}.$ 结合反应项 $R(\theta, c) = -\beta K_d(\theta) c + \gamma K_r(\theta) (1 - c)$ 的 Lipschitz 性质（ $|R(\theta, c) - R(\bar{\theta}, \bar{c})| \leq L_R (|u| + |v|)$ ），通过能量估计与 Gronwall 不等式得到扰动的指数衰减： $\|u(t)\|_{L^2}^2 + \|v(t)\|_{L^2}^2 + \|w(t)\|_{H^1}^2 \leq C e^{-\kappa t}$ ，从而证明齐次稳态的局部渐近稳定性。

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

核心障碍与创新点如下： 1. 温度正性的突破性处理：

障碍：Arrhenius 速率 $K_d(\theta), K_r(\theta)$ 在 $\theta = 0$ 处发散，必须严格保证 $\theta > 0$ 才能定义反应项。经典热方程的最大值原理不适用，因热源项 $S = H_{\text{ext}} + \alpha L_c \partial_t c + \alpha L_\phi \partial_t \phi$ 依赖于其他方程的解。
创新：构造仿射下解 $\underline{\theta}(t) = \theta_* - C_0 t / (\rho c_p)$ ，通过比较原理证明 $\theta \geq \underline{\theta} > 0$ 。关键在于利用负部分 $$[w]_-$$ （ $w = \theta - \underline{\theta}$ ）作为测试函数，结合恒等式 $\partial_t w \cdot [-w]_- = -\frac{1}{2} \partial_t ([w]_-)^2$ 及分部积分： $\int_\Omega \nabla \cdot (k(\phi)\nabla w) \cdot (-[w]_-) \, dx = -\int_\Omega k(\phi) |\nabla [w]_-|^2 \, dx \leq -k_* \|\nabla [w]_-$ 导出能量不等式 $\frac{\rho c_p}{2} \frac{d}{dt} |[w]_- 2. 物理可行域不变性的分层证明：
化学分数 $$c$$ 的控制：
下界 $c \geq 0$ ：测试函数 $$-[c]_-$$ 与反应项在 $\{c < 0\}$ 上的符号分析： $(-\beta K_d c + \gamma K_r (1 - c)) \cdot (-[c]_-) = -\beta K_d ([c]_-)^2 - \gamma K_r [c]_- - \gamma K_r ([c]_-)^2 \leq 0,$ 导出 $\frac{1}{2} \frac{d}{dt} |[c]_-
上界 $c \leq 1$ ：变量替换 $$v = c - 1$$ ，测试函数 $$[v]_+$$ ，利用 $K_d, K_r \geq 0$ 证明反应项非正。
相变量 $\phi$ 的控制：
关键引理 3.6 给出势函数边界符号： $\phi < 0$ 时 $F'(\phi) \cdot [\phi]_- \leq 0$ ， $\phi > 1$ 时 $F'(\phi) \cdot [\phi-1]_+ \geq 0$ 。
下界 $\phi \geq 0$ ：测试函数 $-[\phi]_-$ ，利用 $F'(\phi) \cdot (-[\phi]_-) \geq 0$ 及 $\lambda(c - \phi)(-[\phi]_-) \leq 0$ （因 $c \geq 0$ ）。
上界 $\phi \leq 1$ ：变量替换 $\psi = \phi - 1$ ，测试函数 $[\psi]_+$ ，利用 $c \leq 1$ 得 $\lambda(c - \phi)[\psi]_+ \leq 0$ 。 3. 局部稳定性分析的创新框架：
相对能量泛函设计：引入交叉项 $-\alpha L_c \int u v \, dx$ 和 $-\alpha L_\phi \int u w \, dx$ 处理热-化学与热-相耦合，克服标准能量泛函无法控制耦合项的困难。
强制性证明（引理 4.1）：通过 Young 不等式控制交叉项： $\left| \alpha L_c \int u v \, dx \right| \leq \frac{\rho c_p}{4} \|u\|_{L^2}^2 + \frac{\alpha^2 L_c^2}{\rho c_p} \|v\|_{L^2}^2,$ 要求 $\alpha < \alpha_0$ 确保 $\frac{\alpha^2 L_c^2}{\rho c_p} < \frac{1}{2}$ 和 $\frac{\alpha^2 L_\phi^2}{\rho c_p} < \frac{2m_F + \tau_\phi}{2}$ ，使交叉项被对角项吸收。
反应项 Lipschitz 估计（引理 4.2）：利用 $$T < T_0$$ 时 $\theta \geq \theta_T > 0$ 及 $c \in [0,1]$ ，结合 $K_d, K_r \in C^1(0,\infty)$ 的局部 Lipschitz 性，导出 $|R(\theta, c) - R(\bar{\theta}, \bar{c})| \leq L_R (|u| + |v|)$ ，为能量估计提供关键输入。
指数衰减证明：对扰动系统 (4.1) 测试 $$u, v, w$$ ，结合 Poincaré 不等式、强制性条件及 Gronwall 引理，得到 $\|u(t)\|_{L^2}^2 + \|v(t)\|_{L^2}^2 + \|w(t)\|_{H^1}^2 \leq C e^{-\kappa t}$ ，其中衰减率 $\kappa > 0$ 依赖于 $\alpha < \alpha_0$ 及 $F''(\bar{\phi}) > 0$ 。

4. 与之前工作的比较

与既有工作的比较如下： 1. 与经典热-相变模型的对比：

Caginalp 模型 [3] 与 Colli-Sprekels [5]：这些工作仅耦合温度与序参数（单相变量），未考虑化学反应动力学。本文首次引入活性化学分数 $$c$$ 及可逆 Arrhenius 动力学（ $$K_d$$ 与 $$K_r$$ 共存），形成温度-化学-相变三重耦合，导致方程结构更复杂（热方程含 $\partial_t c, \partial_t \phi$ 项，化学方程含温度依赖反应项）。
Penrose-Fife 模型 [16]：该模型强调热力学一致性，但假设热流依赖于 $1/\theta$ ，导致 $\theta = 0$ 处的奇异性。本文虽保留 Arrhenius 奇异性，但通过最大值原理严格证明 $\theta \geq \theta_T > 0$ ，避免了 Penrose-Fife 模型中需处理 $1/\theta$ 奇异的困难，代价是结果仅在有限时间区间 $$[0,T_0)$$ 成立。
Kenmochi-Niezg’odka [9]：他们研究了温度依赖热传导的相变系统，但未涉及化学反应。本文通过分层证明（先温度正性 $\to$ 反应项有界 $\to$ $c, \phi$ 控制）解决了层级依赖问题，这是对 Kenmochi 工作的重要扩展。 2. 与反应扩散系统的对比：
Bebernes-Eberly [2]（燃烧理论）：他们处理了含 Arrhenius 项的抛物方程，但仅关注单方程解的爆破行为。本文在耦合系统中证明温度严格正性，且 $$T_0$$ 依赖于初始温度下界 $\theta_*$ 和热源下界 $$C_0$$ （ $T_0 = \rho c_p \theta_*/C_0$ ），而 Bebernes 的结果无此类显式时间尺度。
Pierre [17]（耦合系统质量控制）：Pierre 建立了多物种反应扩散系统的全局存在性理论，但假设反应项满足质量守恒。本文的化学方程 $\partial_t c - d_c \Delta c = -\beta K_d c + \gamma K_r (1-c)$ 不满足质量守恒（因 $$K_d, K_r$$ 依赖 $\theta$ ），需通过温度正性保证反应项有界，这是 Pierre 框架未覆盖的情形。 3. 与相场理论的对比：
Elliott-Zheng [6]（Cahn-Hilliard 方程）：他们证明了 Cahn-Hilliard 方程解的正则性，但未考虑热耦合。本文的相方程为 Allen-Cahn 型（ $\tau_\phi \partial_t \phi - \varepsilon^2 \Delta \phi + F'(\phi) = \lambda(c - \phi)$ ），且耦合了化学变量 $$c$$ ，导致 $\phi$ 的控制依赖于 $c \in [0,1]$ 的先验估计。
Evans-Soner-Souganidis [8]（平均曲率运动）：他们建立了 Allen-Cahn 方程与几何运动的联系，但仅适用于单相场。本文通过引理 3.6 分析 $F'(\phi)$ 在 $$[0,1]$$ 边界的符号，确保 $\phi$ 保持在物理区间内，这是多相场耦合系统的必要条件。 4. 与近期工作的对比：
Miranville 等 [13]：他们研究了耦合 Cahn-Hilliard/Allen-Cahn 系统与温度，证明了指数吸引子存在性，但假设热传导为 Fourier 定律且无化学反应。本文推进之处在于：(1) 引入 Arrhenius 型化学动力学，使系统更贴近热致变色材料的实际机制；(2) 证明了物理可行域不变性（ $c, \phi \in [0,1]$ ），而 Miranville 仅处理了相场变量的正则性；(3) 局部稳定性分析中明确了耦合强度阈值 $\alpha < \alpha_0$ ，而 Miranville 的结果未涉及此类参数限制。
Makki 等 [11]：他们将对数型奇异势纳入热耦合相场系统，证明了相分离性质。本文使用双阱势 $F(\phi) = \frac{1}{4}\phi^2(1-\phi)^2$ （非奇异），代价是无法处理纯相分离，但优势在于可直接应用最大值原理证明 $\phi \in [0,1]$ ，而 Makki 需额外假设初始值远离纯相。
Ntsokongo [15]：他分析了 Allen-Cahn 型方程与温度的非线性耦合，证明了适定性与吸引子存在性。本文的创新在于：(1) 增加了化学变量 $$c$$ 及可逆反应动力学，形成更复杂的三重耦合；(2) 通过相对能量泛函处理热-化学交叉项 $-\alpha L_c \int u v \, dx$ ，而 Ntsokongo 仅考虑温度与相场的耦合。 5. 推进的维度与代价：
时间尺度：本文的最大值原理仅在 $T < T_0 = \rho c_p \theta_*/C_0$ 成立，而 Miranville [13] 的全局吸引子结果适用于 $T \to \infty$ 。当 $$C_0 = 0$$ （无热损失）时， $T_0 = +\infty$ ，可获全局结果，但一般情形下需未来工作解决全局存在性。
适用范围：局部稳定性要求零均值条件 $\int_\Omega (\theta_0 - \bar{\theta}) \, dx = 0$ 及弱耦合 $\alpha < \alpha_0$ ，而 Ntsokongo [15] 的稳定性分析无需零均值条件，但其模型缺少化学反应项，耦合结构更简单。
代价：(1) 结果局限于局部时间与局部稳定性；(2) $\alpha_0$ 的表达式显示，当热-化学耦合系数 $$L_c$$ 或 $L_\phi$ 较大时，稳定性条件更严格；(3) 未处理 $F(\phi)$ 的对数型奇异势，限制了对相分离现象的描述能力。未来方向包括：放宽 $\alpha < \alpha_0$ 条件、研究全局稳定性、引入更复杂的热传导定律（如 type III 热传导）。

2. 关于有界区域上欧拉方程涡量的爆破速率

On the blowup rate of vorticity for the Euler equations in a bounded domain

作者: Benjamin Ingimarson, Igor Kukavica

类别: math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21299v1

摘要翻译: 假设三维不可压欧拉方程在有界区域 $\Omega$ 上的一个解于时刻 $T_\ast$ 发生爆破，且 $T_\ast$ 是首个此类时刻，则我们给出对任意 $k \geq 1$ 的 $\|D^k\omega\|_{L^\infty(\Omega)}$ 的逐点时间下界估计。此外，我们证明：在 $\Omega = \mathbb{R}^3$ 、 $\mathbb{T}^3$ 或有界区域这三种情形下， $\|\omega(t)\|_{L^\infty}$ 所满足的 Gronwall 型不等式具有剧烈振荡的解。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩Euler方程在光滑有界区域上的解的爆破速率问题。方程组为：

\begin{cases} u_t + u \cdot \nabla u + \nabla p = 0, \\\text{div } u = 0, \end{cases}

定义在 $\Omega \times [0,T]$ 上，其中 $\Omega \subset \mathbb{R}^3$ 为光滑有界区域，边界条件为 $u \cdot n = 0$ 在 $\partial\Omega$ 上。涡量定义为 $\omega = \text{curl } u$ 。已知对初始速度场 $u_0 \in H^r(\Omega)$ 且 $$r > 2.5$$ ， $\|u_0\|_{H^r} \leq M$ ，存在时间 $$T = T(M) > 0$$ 使得解属于正则性类

u \in C([0, T]; H^r(\Omega)) \cap C^1([0, T]; H^{r-1}(\Omega)).

Ferrari [F] 证明了若解在时间 $$T_*$$ 离开该正则性类且 $$T_*$$ 为首个此类时间，则满足

\int_0^{T_*} \|\omega(t)\|_{L^\infty(\Omega)} dt = \infty, \quad \limsup_{t \to T_*^-} \|\omega(t)\|_{L^\infty(\Omega)} = \infty.

此准则由Beale-Kato-Majda [BKM] 在 $\Omega = \mathbb{R}^3$ 或 $\mathbb{T}^3$ 下建立，后推广至有界区域。在先前工作 [IK] 中，作者建立了 $\int_0^t \|\omega(s)\|_{L^\infty(\Omega)} ds$ 的下界，以及在无界区域 $\Omega = \mathbb{R}^3$ 或 $\mathbb{T}^3$ 上 $\|D^k\omega\|_{L^\infty(\Omega)}$ 的逐点时间下界，其证明依赖于Gagliardo-Nirenberg插值不等式将 $\|D^{1/2}\omega\|_{L^p}$ 与 $\|D\omega\|_{L^\infty}$ 联系，而在有界区域上因边界效应失效。本文旨在填补以下空白：(1) 在有界区域上建立 $\|D^k\omega\|_{L^\infty(\Omega)}$ 的逐点时间下界；(2) 分析 $\|\omega\|_{L^\infty}$ 满足的Gronwall型不等式，揭示其解可能在爆破前剧烈振荡，从而说明该不等式本身无法导出非平凡逐点下界。这些问题对理解边界对奇点形成的影响至关重要。

2. 主要定理或主要结果

定理2.1：设 $$u$$ 是Euler方程(1.1)在光滑有界区域 $\Omega \subset \mathbb{R}^3$ 上的解，属于正则性类(1.2)且 $$r > 7/2$$ 。假设存在时间 $$T_* > 0$$ 使得解不能延拓至 $$T = T_*$$ ，且 $$T_*$$ 为首个此类时间。则存在常数 $$C > 0$$ 使得

\|D\omega(t)\|_{L^\infty} \geq \frac{1}{C(T_*-t)^{7/5} \log^{24/5} \left(\frac{1}{T_*-t}\right)}, \quad T_*-t < \frac{1}{C},

其中 $$C$$ 依赖于 $\|u_0\|_{L^2}$ 。

定理2.2：假设定理2.1的条件对 $$r > 5/2 + m$$ 成立，其中 $m \in \{3, 4, \ldots\}$ 。则对 $k = 2, \ldots, m$ ，有

\|D^k\omega(t)\|_{L^\infty} \geq \frac{1}{C(T_*-t)^{2k/5+1}}, \quad T_*-t < \frac{1}{C},

其中 $$C$$ 依赖于 $\|u_0\|_{L^2}$ 。

定理2.3：对任意 $$M > 0$$ ，存在时间 $$T_* = T_*(M)$$ 和 $$C^1$$ 函数 $x: [0, T_*) \to (0, \infty)$ 满足：(i) $$x(0) = M$$ ，(ii) $\dot{x} \leq x + x^2 \exp\left(\int_0^t x ds\right)$ ，(iii) $\limsup_{t \to T_*^-} x(t) = \infty$ ，且 (iv) 存在序列 $t_n \to T_*^-$ 使得 $x(t_n) = \frac{M}{n+1}$ 。此即 $\liminf_{t \to T_*^-} x(t) = 0$ ，表明仅从Gronwall型不等式(1.4)无法导出 $\|\omega(t)\|_{L^\infty}$ 的逐点下界。

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

定理2.1的核心障碍在于有界区域上 $\|D^{1/2}\omega\|_{L^p}$ 缺乏闭合演化估计，而[IK]中无界区域的Gagliardo-Nirenberg插值失效。作者的创新在于优化论证，精确跟踪不等式常数对 $$p$$ 的依赖。关键引理3.1给出：

\|Du\|_{L^\infty} \leq C\|u\|_{L^2}^{1-\alpha} \|D^2u\|_{L^p}^\alpha + C\|u\|_{L^2}, \quad \alpha = \frac{5}{7} - \frac{6}{p},

\|D^2u\|_{L^p} \leq Cp^2\|D\omega\|_{L^p} + Cp^{2\gamma}\|u\|_{L^2}, \quad \gamma = \frac{7p-3}{2p+3}.

这些估计通过扩展算子和椭圆正则性（利用Green函数与Calderón-Zygmund理论）获得，常数对 $$p$$ 的依赖为线性增长。证明从涡量方程 $\omega_t + u \cdot \nabla\omega = \omega \cdot \nabla u$ 出发，测试 $D\omega_i |D\omega|^{p-2}$ 得到

\frac{1}{p}\frac{d}{dt}\|D\omega\|_{L^p}^p \lesssim \|Du\|_{L^\infty}\|D\omega\|_{L^p}^p + \|\omega\|_{L^\infty}\|D^2u\|_{L^p}\|D\omega\|_{L^p}^{p-1},

结合引理3.1导出

\frac{d}{dt}\|D\omega\|_{L^p} \leq Cp^{2(1+\alpha)}(\|D\omega\|_{L^p} + p^{2(\gamma-1)})^{1+\alpha}.

通过将 $$p$$ 视为 $$t$$ 的函数，定义 $F(p,t) = p^{-24/5}e^{-6L(t)/5p}$ ，其中 $L(t) = \log(1/(T_*-t))$ ，最大化 $F(\cdot,t)$ 得 $p \sim L(t)$ ，最终获得 $(T_*-t)^{-7/5}\log^{-24/5}(1/(T_*-t))$ 下界。

定理2.2基于插值引理3.2：

\|D^{k-1}\omega\|_{L^{2(k+1)}} \lesssim \|u\|_{L^2}^{1/(k+1)}\|D^k\omega\|_{L^\infty}^{k/(k+1)} + \|u\|_{L^2}, \quad k \geq 2,

由迭代Gagliardo-Nirenberg与引理3.1导出。结合涡量方程得

\frac{d}{dt}\|D^{k-1}\omega\|_{L^p} \lesssim (1 + \|D^{k-1}\omega\|_{L^p})^{1+\alpha}, \quad \alpha = \frac{5}{2k+3} - \frac{6}{p},

再利用能量守恒与插值获得下界。

定理2.3采用参数变换：令 $\tau(t) = \int_0^t x(s) ds$ ，导出

\frac{d}{d\tau}X(\tau) \lesssim 1 + X(\tau)e^\tau.

构造振荡解 $Y(\tau)$ ：在 $[n, n+1-\xi_n)$ 上定义为 $e^{\tau/2} - e^{n/2} + \frac{1}{n+1}$ ，在 $[n+1-\xi_n, n+1)$ 上用 $$C^1$$ 函数 $\phi_n$ 延拓，满足 $\phi_n''(\tau) < 0$ 于 $$I_n$$ 、 $\phi_n''(\tau) \geq 0$ 于 $$J_n$$ ，验证 $X(\tau) = MY(\tau)$ 满足不等式，再通过 $x(t) = X(\tau(t))$ 得原方程振荡解。

4. 与之前工作的比较

与BKM准则的比较：Beale-Kato-Majda [BKM] 建立了 $\int_0^{T_*} \|\omega(t)\|_{L^\infty} dt = \infty$ 准则于 $\mathbb{R}^3$ 或 $\mathbb{T}^3$ ，Ferrari [F] 扩展至有界区域。本文推进至 $\|D^k\omega\|_{L^\infty}$ 的逐点下界，定理2.1中 $\|D\omega\|_{L^\infty}$ 的下界 $(T_*-t)^{-7/5}\log^{-24/5}(1/(T_*-t))$ 比积分准则更精细刻画爆破行为。

与[IK]的比较：[IK] 在无界区域上建立了 $\int_0^t \|\omega(s)\|_{L^\infty} ds$ 下界及 $\|D^k\omega\|_{L^\infty}$ 逐点下界，依赖Gagliardo-Nirenberg插值联系 $\|D^{1/2}\omega\|_{L^p}$ 与 $\|D\omega\|_{L^\infty}$ 。本文首次将结果扩展至有界区域，因边界效应破坏该联系，发展新优化论证并精确跟踪 $$p$$ -依赖常数。代价是正则性要求提高（ $$r > 7/2$$ 对 $$k=1$$ ，而[IK]为 $$r > 3$$ ），且下界含对数修正项。

与Gronwall不等式分析的比较：传统Gronwall型不等式（如 $\dot{x} \leq x^2$ ）暗示非振荡爆破，可导出逐点下界。本文考虑的不等式(1.4)含非局部项 $\exp(\int_0^t x)$ ，行为复杂。定理2.3证明存在解满足 $\liminf_{t \to T_*^-} x(t) = 0$ 与 $\limsup_{t \to T_*^-} x(t) = \infty$ ，表明仅由此不等式无法获得 $\|\omega\|_{L^\infty}$ 的逐点下界，与[IK]中上极限形式下界 $\limsup_{t \to T_*^-} (T_*-t)\log(1/(T_*-t))\|\omega(t)\|_{L^\infty} \geq 1/C$ 形成对比，说明该下界无法加强为逐点形式。

与现有爆破结果的比较：Chae [C]、Constantin-Fefferman-Majda [CFM] 关注爆破充分条件或几何约束；Chen-Pavlović [CP] 给出单指数BKM型下界。本文提供更精细的 $\|D^k\omega\|_{L^\infty}$ 爆破速率下界，特别对 $$k=1$$ 。与Córdoba-Martínez-Zoroa-Zheng [CMZ]、Elgindi [E]、Shkoller [S] 的构造性爆破不同，本文适用于所有可能爆破解，适用范围更广，但不提供上界。

局限与代价：结果依赖 $$H^r$$ 正则性（ $$r > 7/2$$ 对 $$k=1$$ ），而Elgindi [E] 适用于更低正则性 $C^{1,\alpha}$ 初值；定理2.1中对数修正项 $\log^{24/5}(1/(T_*-t))$ 可能非最优，但当前方法无法去除；定理2.3表明改进Gronwall分析无法获得更强逐点下界，限制该途径；未处理 $$k=0$$ （即 $\|\omega\|_{L^\infty}$ ）的逐点下界，仅知其上极限下界。

3. 带科里奥利力的纳维-斯托克斯方程整体解的时间衰减估计

Temporal decay estimates for global solutions of the Navier-Stokes equations with the Coriolis force

作者: Tomoaki Yoshizawa

类别: math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21217v1

摘要翻译: 我们研究带科里奥利力的纳维-斯托克斯方程整体解的时间衰减估计。在包括初始数据充分小在内的若干条件下，我们证明该解的衰减速率与相应线性化方程的解一致，且其衰减率高于仅由热方程流所预期的速率。该估计对所有 $$L^p$$ -范数成立，其中 $p\in[2, \infty]$ 。

Comment: 27 pages

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

1. 研究对象和背景

本文研究带有科里奥利力的Navier-Stokes方程在全空间 $\mathbb{R}^3$ 中的Cauchy问题，方程系统为

\begin{cases} \partial_t u + (u \cdot \nabla)u + \nabla p - \Delta u + \Omega e_3 \times u = 0 & \text{in } (0, \infty) \times \mathbb{R}^3, \\ \text{div } u = 0 & \text{in } (0, \infty) \times \mathbb{R}^3, \\ u(0, \cdot) = u_0 & \text{in } \mathbb{R}^3, \end{cases}

其中 $$u$$ 为速度场， $$p$$ 为压力， $$e_3 = (0,0,1)$$ ， $\Omega \in \mathbb{R} \setminus \{0\}$ 为科里奥利参数。经Helmholtz投影 $P = (\delta_{jk} + R_j R_k)_{1 \leq j,k \leq 3}$ 消去压力后，系统化为

\begin{cases} \partial_t u + P(u \cdot \nabla)u - \Delta u + \Omega PJP u = 0 & \text{in } (0, \infty) \times \mathbb{R}^3, \\ u(0, \cdot) = u_0 & \text{in } \mathbb{R}^3, \end{cases}

其中 $J = \begin{pmatrix} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}$ ， $R_j = -\partial_j(-\Delta)^{-1/2}$ 为Riesz变换。线性传播子 $T_\Omega(t) = e^{t(\Delta - \Omega PJP)}$ 的显式傅里叶表示为

T_\Omega(t)u_0 = \mathcal{F}^{-1}\left(e^{-t|\xi|^2}\left(\cos\left(\frac{\Omega \xi_3}{|\xi|}t\right)I + \sin\left(\frac{\Omega \xi_3}{|\xi|}t\right)R(\xi)\right)\hat{u}_0(\xi)\right),

其中 $R(\xi) = \frac{1}{|\xi|}\begin{pmatrix} 0 & \xi_3 & -\xi_2 \\ -\xi_3 & 0 & \xi_1 \\ \xi_2 & -\xi_1 & 0 \end{pmatrix}$ 。当 $\Omega = 0$ 时，退化为经典Navier-Stokes方程，其衰减已被Kato [Kat84]、Schonbek [Sch85,Sch86]、Kajikiya与Miyakawa [KM86]、Wiegner [Wie87]等系统研究。当 $\Omega \neq 0$ 时，线性部分具有更强色散性： $\|T_\Omega(t)u_0\|_{\dot{W}^{m,p}} \leq C(1 + |\Omega|t)^{-1 + 2/p} t^{-3/2(1 - 1/p)} \|u_0\|_{L^1}$ ， $p \in [2, \infty]$ 。然而，现有非线性研究如Ahn, Kim和Lee [AKL22]、Kim [Kim22]、Egashira和Takada [ET23]仅在 $p \in [2, p^*]$ （ $$p^* < 3$$ ）下获得衰减估计，且未涵盖高阶导数。本文旨在填补 $p \in [2, \infty]$ 范围内衰减估计的空白，并建立空间导数的衰减理论，这对地球物理流体动力学中大气与海洋环流的长期行为建模具有重要意义。

2. 主要定理或主要结果

在参数 $s, q, \theta$ 满足

\frac{1}{2} < s < \frac{9}{10}, \quad \frac{1}{3} + \frac{s}{9} \leq \frac{1}{q} < \frac{7}{12} - \frac{s}{6},

以及

\frac{3}{2}\left(\frac{1}{2} - \frac{1}{q}\right) \leq \frac{1}{\theta} \leq \frac{5}{2}\left(\frac{1}{2} - \frac{1}{q}\right), \quad \frac{1}{2q} + \frac{s}{2} - \frac{1}{2} < \frac{1}{\theta} < \frac{5}{8} - \frac{3}{2q} + \frac{s}{4}

的假设下，存在常数 $C_\star (\leq C_*)$ ，使得对任意初值 $u_0 \in L^1(\mathbb{R}^3)^3 \cap \dot{H}^s(\mathbb{R}^3)^3$ 满足 $\text{div } u_0 = 0$ 且 $|\Omega|^{-\frac{1}{2}(s-\frac{1}{2})}\|u_0\|_{\dot{H}^s} \leq C_\star$ ，方程(1.3)的全局解对任意 $m \geq 0$ 和 $p \in [2, \infty]$ 满足

\|u(t)\|_{\dot{W}^{m,p}} \leq C |\Omega|^{-1} t^{-\frac{m}{2} - \frac{3}{2}(1-\frac{1}{p})} (1 + |\Omega|t)^{-1 + \frac{2}{p}}, \quad \forall t > 0,

且

\lim_{t \to \infty} t^{\frac{m}{2} + \frac{3}{2}(1-\frac{1}{p})} (1 + |\Omega|t)^{1 - \frac{2}{p}} \|u(t)\|_{\dot{W}^{m,p}} = 0,

其中常数 $$C$$ 依赖于 $s, q, \theta, m, p, |\Omega|\|u_0\|_{L^1}, |\Omega|^{\frac{1}{4}}\|u_0\|_{L^2}$ 和 $|\Omega|^{-\frac{1}{2}(s-\frac{1}{2})}\|u_0\|_{\dot{H}^s}$ 。此外，若 $|x|u_0 \in L^1(\mathbb{R}^3)^3$ ，则存在依赖于 $|\Omega|^{\frac{3}{2}}\||x|u_0\|_{L^1}$ 的常数 $$C'$$ ，使得

\|u(t)\|_{\dot{W}^{m,p}} \leq C' |\Omega|^{-\frac{3}{2}} t^{-\frac{1}{2} - \frac{m}{2} - \frac{3}{2}(1-\frac{1}{p})} (1 + |\Omega|t)^{-1 + \frac{2}{p}}, \quad \forall t > 0.

所有出现在定理1.3中的量在尺度变换 $u_\lambda(t, x) := \lambda u(\lambda^2 t, \lambda x)$ 与 $\Omega_\lambda := \lambda^2 \Omega$ 下保持不变，符合系统尺度不变性。

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

本文核心障碍在于将 $$L^p$$ 衰减估计的指数范围从 $$[2, 3)$$ 扩展至 $[2, \infty]$ ，并处理非线性项在高阶Sobolev范数下的衰减。作者创新性地结合线性传播子的显式傅里叶表达与Littlewood-Paley分解，构建了适用于全范围 $p \in [2, \infty]$ 的估计框架。关键工具包括：1. 色散估计（Lemma 2.1）：对任意 $p \in [2, \infty]$ ，有

\|G_{\pm}(\tau)P_k f\|_{L^p} \leq C 2^{3k(1-\frac{2}{p})}(1 + |\tau|)^{-1+\frac{2}{p}} \|P_k f\|_{L^{p'}},

该估计捕捉了科里奥利力诱导的色散效应；2. 线性衰减估计（Proposition 2.2）：对 $s \geq 0$ ， $p \in [2, \infty]$ ， $q \in [1, p']$ ，有

\|T_\Omega(t)P f\|_{\dot{W}^{s,p}} \leq C t^{-\frac{s}{2} - \frac{3}{2}(\frac{1}{q} - \frac{1}{p})}(1 + |\Omega|t)^{-1+\frac{2}{p}} \|f\|_{L^q},

通过Bernstein不等式与频率分解实现；3. 加权初值衰减（Proposition 2.5）：当 $|x|u_0 \in L^1(\mathbb{R}^3)^3$ 时，

\|T_\Omega(t)u_0\|_{\dot{W}^{s,p}} \leq C t^{-\frac{1}{2} - \frac{s}{2} - \frac{3}{2}(1-\frac{1}{p})}(1 + |\Omega|t)^{-1+\frac{2}{p}} \||x|u_0\|_{L^1},

源于对传播子核的精细分析；4. 分数阶Leibniz规则（Proposition 2.6）：对 $s \geq 0$ ， $1 < r < \infty$ ， $\frac{1}{r} = \frac{1}{p_j} + \frac{1}{q_j}$ ，有

\|fg\|_{\dot{W}^{s,r}} \leq C(\|f\|_{\dot{W}^{s,p_1}}\|g\|_{L^{q_1}} + \|f\|_{L^{q_2}}\|g\|_{\dot{W}^{s,p_2}}),

用于控制非线性项 $P\text{div}(u \otimes u)$ 。证明框架基于Duhamel公式：

u(t) = T_\Omega(t)u_0 - \int_0^t T_\Omega(t-\tau)P \text{div}(u(\tau) \otimes u(\tau)) d\tau,

对非线性项积分区间 $$[0, t/2]$$ 和 $$[t/2, t]$$ 分别处理：前者利用线性传播子正则化与 $$L^1$$ 初值；后者采用归纳法（Lemma 3.1），设 $\alpha = m/N$ ，并证明

\left\|\int_{t/2}^t T_\Omega(t-\tau)P \text{div}(u(\tau) \otimes u(\tau)) d\tau\right\|_{L^\theta([\varepsilon,\infty); \dot{W}^{s+k\alpha,q})}

对 $k \in \{0,1,\ldots,N\}$ 有界，且当 $\varepsilon \to 0$ 时阶为 $o(\varepsilon^{-m/2})$ ，依赖Young不等式与Leibniz规则。渐近行为（Proposition 2.4）通过分析 $T_\Omega(t)u_0$ 的积分核 $K_{\Omega,t}(x)$ ，利用 $\hat{u}_0(0) = 0$ 和控制收敛定理，证明

(T_\Omega(t)u_0)(x) = \int_{\mathbb{R}^3} (K_{\Omega,t}(x-y) - K_{\Omega,t}(x))u_0(y) dy,

结合Besov嵌入最终得到极限为零。

4. 与之前工作的比较

本文与既有工作比较如下：1. 指数范围扩展：[AKL22]、[Kim22]、[ET23] 仅在 $p \in [2, p^*]$ （ $$p^* < 3$$ ）下建立衰减，例如[ET23]在条件 $\frac{1}{2} - \frac{1}{2}(\frac{1}{q} - \frac{s}{3}) \leq \frac{1}{p} \leq \frac{1}{2}$ 下证明 $\|u(t)\|_{L^p} \leq Ct^{-3/2(1-1/p)}(1 + |\Omega|t)^{-1+2/p}$ 。本文将范围扩展至 $[2, \infty]$ ，突破了 $$p > 3$$ 时非线性项估计的技术瓶颈；2. 高阶导数估计：先前工作仅关注 $$L^p$$ 范数，本文首次给出任意整数阶Sobolev范数 $\|u(t)\|_{\dot{W}^{m,p}}$ 的衰减，对理解湍流能量谱等高阶动力学至关重要；3. 渐近行为精确性：本文不仅给出上界，还证明极限为零： $\lim_{t \to \infty} t^{m/2 + 3/2(1-1/p)}(1 + |\Omega|t)^{1-2/p} \|u(t)\|_{\dot{W}^{m,p}} = 0$ ，而[ET23]仅对 $$m=0$$ 得到类似极限，未涉及高阶导数；4. 初值条件推广：当 $|x|u_0 \in L^1(\mathbb{R}^3)^3$ 时，本文获得改进衰减率 $t^{-1/2}$ 加速，与Wiegner [Wie87]在 $\Omega=0$ 时结果类比，但在科里奥利力存在下实现更快衰减；5. 与二维β平面方程的推广：作者近期工作[Yos26]对二维情形建立了 $\|\omega(t)\|_{\dot{W}^{s,p}} \leq Ct^{-s/2 - 1 + 1/p} \min\{1, |\beta|^{-1+2/p} t^{-3/2(1-2/p)}\}$ ，本文成功将其方法推广至三维Navier-Stokes-Coriolis方程，但面临更强非线性与更复杂色散结构。代价与局限：1. 初值要求 $u_0 \in L^1 \cap \dot{H}^s$ 且 $$1/2 < s < 9/10$$ ，强于[ET23]；2. 方法无法处理 $$p < 2$$ ，因 $T_\Omega(t)$ 在 $$p < 2$$ 时可能无界，与 $\Omega=0$ 时 $$p < n$$ 的限制一致；3. 未处理尺度临界空间 $\dot{H}^{1/2}$ ，需依赖[IKNP24]等专门工作；4. 物理应用受限于 $|\Omega|t \gg 1$ 时色散效应才显著，短期动力学行为仍近似热方程。总体而言，本文通过扩展指数范围与提供高阶导数衰减，显著推进了该领域理论，为地球物理流体长期行为提供更精确数学描述。

4. 带旋度的轴对称Navier–Stokes方程：无条件全局存在性纲领的最终主稿

Axisymmetric Navier–Stokes with Swirl:\ Final Master Manuscript for the Unconditional Global Existence Program

作者: Rishad Shahmurov

类别: math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21213v1

摘要翻译: 本文稿将带旋度的轴对称大初值问题的完整研究纲领汇编为一份自洽、独立的主文件。文中确立了提升后的五维表述、提取分（extraction score）、相干性与非相干性分支结构、针对碎裂型、垂直压扁型、仅位移型及离轴薄环型通道的几何消去方法，以及残余轴心主导区域的局部包窗口（packet-window）架构。最终的分析任务被归约为在有限包窗口上建立一个局域化的邻近弥散估计。我们完整记录了用于该最终验证的全部定理栈（theorem stack）及所需的精确局域算子恒等式，其形式已适配直接投稿期刊与终审核查。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩Navier-Stokes方程的轴对称带旋涡解的全局正则性问题：

\partial_t u - \Delta u + \text{div}(u \otimes u) + \nabla p = 0,

\text{div } u = 0,

u u|_{t=0} = u_0,

其中 $$u_0$$ 为光滑有限能量初始数据。在柱坐标下，轴对称速度场表示为：

u u(r, z, t) = u_r(r, z, t) e_r + u_\theta(r, z, t) e_\theta + u_z(r, z, t) e_z,

散度自由约束为：

\frac{1}{r}\partial_r(r u_r) + \partial_z u_z = 0.

作者引入提升变量：

\Gamma := r u_\theta,

G := \frac{\omega_\theta}{r},

其中 $\omega_\theta = \partial_z u_r - \partial_r u_z$ 为旋涡的角向分量。提升测度为 $d\mu_5 = r^3 dr dz$ ，这是 $$SO(4)$$ -径向提升的自然测度。

提取分数定义为：

Q_\lambda(z_0, t) := \lambda^{-4} \int_{B^{\text{axis}}_\lambda(z_0)} |G(r, z, t)|^2 d\mu_5,

Q^*(t) := \sup_{\lambda > 0, z_0 \in \mathbb{R}} Q_\lambda(z_0, t).

该问题的重要性在于：尽管轴对称无旋涡情形的全局存在性已被证明，但带旋涡情形仍是Clay研究所千禧年难题的特例之一。旋涡项 $u_\theta$ 通过 $\Gamma$ 满足对流-扩散方程 $\partial_t \Gamma + u \cdot \nabla \Gamma = \nu \Delta \Gamma - \frac{\Gamma^2}{r^2}$ ，其中 $\frac{\Gamma^2}{r^2}$ 项可能导致能量集中并引发爆破。本文试图填补的空白是：通过系统性地排除所有可能的爆破机制，建立轴对称带旋涡情形的无条件全局存在性。作者提出五维提升框架，将三维轴对称问题转化为 $$SO(4)$$ -径向对称的五维问题，定义提取分数量化局部能量集中程度，并通过几何分支结构分析将终端通道分为六类，从而将全局存在性问题简化为局部近轴扩散估计。

2. 主要定理或主要结果

终端通道分类定理（Proposition 4.1）：设 $\{t_n\} \uparrow T^*$ 为爆破相关终端序列，子序列后终端通道必落入以下互斥类别之一：(i)碎片化（单球集中失败），(ii)垂直板坍塌，(iii)仅位移集中失败，(iv)薄环远相干包，(v)可提取近轴包，(vi)轴近残差非集中。其中(i)-(iv)被几何论证排除，(v)通过局部刚性排除，(vi)为唯一剩余分析情形。
量化离轴环捕获引理（Lemma 4.2）：设 $$S_n$$ 为尺度 $\lambda_n$ 的轴对称相干包，中心 $$(r_n, z_n)$$ 满足 $r_n \geq 10\lambda_n$ ，令 $M_n := \int_{S_n} |G|^2 d\mu_5$ ，则对任意位于 $$(r_n, z_n)$$ 的 $$SO(4)$$ -轨道上的5D中心 $$X_0$$ ，有：
$\int_{B^{5D}_{\lambda_n}(X_0) \cap S_n} |G|^2 d\mu_5 \leq C \left(\frac{\lambda_n}{r_n}\right)^3 M_n,$
$\lambda_n^{-4} \int_{B^{5D}_{\lambda_n}(X_0) \cap S_n} |G|^2 d\mu_5 \leq C \left(\frac{\lambda_n}{r_n}\right)^3 \lambda_n^{-4} M_n.$
阈值无关饥饿刚性定理（Theorem 5.1）：固定 $\kappa > 0$ ，存在仅依赖 $\kappa$ 的常数 $c_{\text{starv}}(\kappa) > 0$ ， $C_{\text{starv}}(\kappa) < \infty$ ，使得若在终端区间 $I \subset [0, T^*)$ 上存在尺度 $\lambda(t)$ 、中心 $$z(t)$$ 的可提取近轴包满足 $Q_{\lambda(t)}(z(t), t) \geq \kappa$ ，则局部非线性项满足：
$\left|N^{\text{loc}}_{\text{lift}}[G](t)\right| \leq (1 - c_{\text{starv}}(\kappa)) D_{\text{crit}}(t) + C_{\text{starv}}(\kappa) R_{\text{low}}(t), \quad t \in I.$
局部抛物积求和引理（Lemma 9.1）：在 $\delta_n := \sup_{2^{-k} \in S_n, z_0 \in \mathbb{R}} 2^{4k} \int_{B^{\text{axis}}_{2^{-k}}(z_0)} |G_{\text{prox}}(t_n)|^2 d\mu_5 \to 0$ 的假设下，有：
$|N_{\text{lift}}[G_{\text{prox}}](t_n)| \leq \Psi(\delta_n) D_{\text{crit}}(t_n) + C R_{\text{low}}(t_n), \quad \Psi(\delta_n) \to 0.$
最终结论：轴对称带旋涡Navier-Stokes方程的全局存在性问题被简化为有限包窗口上的局部近轴扩散估计，即验证
$\lim_{n \to \infty} \delta_n = 0 \implies \Psi(\delta_n) \to 0,$
从而排除爆破可能性。

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

核心障碍：

三维Navier-Stokes方程全局正则性是千禧年难题，轴对称带旋涡情形中 $\Gamma$ 方程的 $\Gamma^2/r^2$ 项可能导致能量集中；
离轴爆破点的几何复杂性，传统轴对称方法难以处理 $r \gg \lambda$ 的薄环区域；
无限轴方向带来的技术困难，需处理 $z \to \pm\infty$ 时的行为。

真正创新点：

五维 $$SO(4)$$ -径向提升框架：将三维轴对称问题嵌入 $\mathbb{R}^5$ ，利用 $$SO(4)$$ -径向对称性，使提升测度 $d\mu_5 = r^3 dr dz$ 与 $\mathbb{R}^5$ 的球对称测度相容。关键恒等式为：对任意 $$SO(4)$$ -径向函数 $$F(X) = f(r, z)$$ ，
$\|F\|_{L^2(\mathbb{R}^5)}^2 = 2\pi^2 \|f\|_{L^2(d\mu_5)}^2,$
这使得 $\mathbb{R}^5$ 上的Littlewood-Paley理论可直接应用于提升变量。
提取分数与几何分支结构：通过定义 $Q_\lambda(z_0, t)$ ，将终端通道系统分类。关键创新在于量化离轴效应——当 $r_n \geq 10\lambda_n$ 时， $\lambda_n^{-4}\int |G|^2 d\mu_5$ 以 $(\lambda_n/r_n)^3$ 衰减，从而排除薄环区域爆破。对于 $r_n \leq C_0\lambda_n$ 的相干包，通过重新中心化引理（Lemma 4.6）证明：
$Q_R(z_n, t_n) \geq \kappa_{\text{rec}} \lambda_n^{-4} M_n, \quad \kappa_{\text{rec}} = \eta(C_0+1)^{-4} > 0,$
将离轴包转化为轴可见提取通道。
包窗口局部化技术：针对轴近残差非集中分支（vi），证明终端近轴包 $P_{n,k}$ 可被有限个轴中心球覆盖：
$P_{n,k} \subset \bigcup_{i \in J_{n,k}} B^{\text{axis}}_{2^{-k}}(z_i), \quad |J_{n,k}| \leq N_0,$
其中 $$N_0$$ 与 $$n,k$$ 无关。这消除了无限轴障碍，将问题限制在 $$O(1)$$ 个提取球构成的有限窗口内。
局部抛物积估计框架：在提升几何中建立壳到壳分析。关键引理包括：

局部提升速度块估计（Lemma 7.2）：对目标球 $$B_j$$ ， $\|\mathbf{1}_{B_j} U_k\|_{L^\infty(\mathbb{R}^5)} \leq C_1 \sqrt{\delta_n} 2^{-k/2};$
局部抛物积控制（Lemma 8.3）： $\|\mathbf{1}_{B_i} \Delta^{(5)}_k (U_j \widetilde{G}_j)\|_{L^2} \leq C \sum_m (1+|i-m|)^{-M} \|\mathbf{1}_{B_m} U_j\|_{L^\infty} \|\mathbf{1}_{B_m} \widetilde{G}_j\|_{L^2};$
有限重叠求和（Lemma 8.5）： $\sum_{i \in J_{n,k}} \|\mathbf{1}_{B_i} \Delta^{(5)}_k G_{\text{prox}}\|_{L^2}^2 \leq 3 \|\Delta^{(5)}_k G_{\text{prox}}\|_{L^2}^2.$

证明框架：

几何排除阶段：利用量化离轴环捕获（Lemma 4.2）排除薄环区域（iv），用位移叉排除（iii），用条带变薄竞争者排除（ii），用单球集中失败排除（i）；
提取通道处理：对（v）类包，通过阈值无关饥饿刚性定理将局部非线性项控制为 $(1-c_{\text{starv}})D_{\text{crit}} + CR_{\text{low}}$ ，产生能量饥饿效应；
残差非集中处理：对（vi）类，通过包窗口局部化和局部抛物积求和，证明当 $\delta_n \to 0$ 时 $\Psi(\delta_n) \to 0$ ，从而非线性项被耗散控制。

4. 与之前工作的比较

与轴对称无旋涡情形比较：Leray、Ladyzhenskaya证明了 $u_\theta = 0$ 时的全局存在性，但带旋涡情形中 $\Gamma$ 方程的 $\Gamma^2/r^2$ 项引入新困难。先前工作如Hou-Li（2005）证明了 $\Gamma \in L^\infty$ 时的正则性，但未解决一般情形。本文通过提取分数 $$Q^*(t)$$ 直接控制 $G = \omega_\theta/r$ ，绕过了对 $\Gamma$ 的直接估计，避免了 $\Gamma^2/r^2$ 项的奇异性。
与Chen-Strain-Tsai-Yau比较：Chen等（2009）证明了 $\|\Gamma\|_{L^\infty} \leq C r^\alpha$ （ $\alpha > 0$ ）时的正则性，但该条件排除了 $\Gamma \sim r^{\alpha}$ 的临界情形。本文不依赖 $\Gamma$ 的逐点估计，而是通过五维提升将问题转化为 $$G$$ 的 $$H^1$$ 控制，适用范围更广——只要 $$Q^*(t)$$ 有界即隐含 $G \in L^2_{\text{loc}}(d\mu_5)$ ，无需额外衰减假设。
与Koch-Nadirashvili比较：Koch-Nadirashvili（2008）证明了轴对称解在 $\|u\|_{L^\infty} \leq C/|x|$ 时的正则性，但该条件在爆破点附近可能失效。本文的阈值无关饥饿刚性定理（Theorem 5.1）表明：即使 $\|u\|_{L^\infty} \to \infty$ ，只要提取分数 $Q_\lambda(z_0,t) \geq \kappa > 0$ ，局部非线性项仍满足 $|N^{\text{loc}}| \leq (1-c_{\text{starv}})D_{\text{crit}} + CR_{\text{low}}$ 。这放宽了对解增长的假设，将时间尺度从有限时间推进到全局 $[0,\infty)$ 。
与Nadirashvili-Zhang比较：Nadirashvili-Zhang（2018）证明了 $\|\Gamma\|_{L^\infty} \leq Cr^{1/2}$ 时的正则性，但该条件仍强于能量空间。本文通过 $$SO(4)$$ -径向提升将 $$G$$ 视为 $\mathbb{R}^5$ 上的函数，利用 $\mathbb{R}^5$ 的Sobolev嵌入 $H^1 \hookrightarrow L^{10/3}$ ，获得比三维空间更强的正则性。关键尺度关系为：在 $\mathbb{R}^5$ 中， $\|\nabla G\|_{L^2}^2$ 控制 $\|G\|_{L^{10/3}}^2$ ，而三维中 $\|\nabla \omega_\theta\|_{L^2}^2$ 仅控制 $\|\omega_\theta\|_{L^3}^2$ ，这使本文能处理更弱的假设。
与Caffarelli-Kohn-Nirenberg比较：CKN理论证明奇异集1维测度为零，但不能排除爆破。本文针对轴对称带旋涡情形，通过几何分支结构分析完全排除爆破可能性。关键区别是：CKN依赖于反证法假设爆破存在，而本文通过提取分数 $$Q^*(t)$$ 建立正向控制，证明 $\limsup_{t \to T^*} Q^*(t) = \infty$ 会导致矛盾。
与能量方法比较：传统能量不等式仅给出 $\sup_t \|u(t)\|_{L^2}^2 + \int_0^T \|\nabla u\|_{L^2}^2 dt \leq \|u_0\|_{L^2}^2$ ，无法控制高阶范数。本文的阈值无关饥饿刚性定理引入了局部强制性：当 $Q_\lambda \geq \kappa$ 时， $|N^{\text{loc}}| \leq (1-c_{\text{starv}})D_{\text{crit}}$ ，其中 $c_{\text{starv}}(\kappa) > 0$ 。这比标准能量方法多出 $\sim c_{\text{starv}} D_{\text{crit}}$ 的余量，足以吸收非线性效应。
代价与局限：

本文方法高度依赖轴对称性，无法推广到一般三维情形；
五维提升框架增加了技术复杂性，需处理 $$SO(4)$$ -径向对称性；
最终局部扩散估计（Theorem 10.1）仍需验证，尽管作者声称已简化为有限窗口上的直接计算；
对初始数据仅要求光滑有限能量，但未给出爆破时间的定量估计，与小数据理论（如Koch-Tataru）相比缺乏定量信息。

5. 温度耦合的Cahn-Hilliard-Stokes-热方程模型用于热驱动相分离

A Temperature-Coupled Cahn-Hilliard-Stokes-Heat Model for Thermally Driven Phase Separation

作者: Maria Deliyianni, Boris Muha, Andrej Novak

类别: math.AP, math.NA

发布日期: 2026-04-23

arXiv ID: 2604.21200v1

摘要翻译: 我们研究一类粘性不可压缩混合物中热驱动相分离的弥散界面模型。该系统将描述序参量的对流型Cahn-Hilliard方程、描述速度-压力场的Stokes子系统以及描述温度的热方程耦合在一起。温度通过Landau型系数进入体自由能，而相场则通过浓度依赖的密度与黏度反馈作用于流动，从而导出一个现象学的温度耦合Cahn-Hilliard-Stokes-热系统。我们基于温度依赖的Landau自由能推导化学势，并对正则化子问题建立先验估计。在分析方面，我们证明了正则化耦合系统的弱解存在局部时间适定性。在数值方面，我们提出一种全离散有限元格式：对Cahn-Hilliard方程采用凸分裂时间离散，对黏性与热扩散项采用隐式处理，并辅以隐式Stokes求解。在不可渗透速度边界条件下，Cahn-Hilliard子步保持质量守恒；在纯扩散等温情形下，该凸分裂离散对Cahn-Hilliard自由能是无条件能量稳定的。二维数值实验展示了热驱动的自旋odal分解、冷壁附近由壁面诱导的相分离，以及在施加热梯度下的窄通道内相分离。模拟结果揭示了若干关键无量纲参数（如质量Péclet数、热Péclet数、Cahn数、密度比、黏度比及重力参数 $$G$$ ）对图案形成、界面运动和流场结构的定性影响，并证实所提出的框架是研究受限几何中热驱动相分离的鲁棒工具。

Comment: 42 pages, 34 figures

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

1. 研究对象和背景

本文研究粘性不可压缩混合物中由温度触发的相变过程，其数学模型耦合了描述序参量 $$c$$ 演化的对流Cahn-Hilliard方程、刻画速度-压力场的Stokes子系统以及描述温度分布的热方程。序参量 $c \in [-0.5, 0.5]$ 表示归一化组成， $$c = -0.5$$ 对应纯气体相（密度 $\rho_2$ ）， $$c = 0.5$$ 对应纯液体相（密度 $\rho_1$ ），且 $\rho_1 < \rho_2$ 。自由能密度采用温度依赖的Landau型表达式： $f(c, \Theta) = 2c^4 - (1-\beta(\Theta))c^2$ ，其中 $\beta(\Theta) = \Theta/\Theta_S$ 为温度与饱和温度的比值。当 $\Theta < \Theta_S$ 时，势函数为双阱结构，促进相分离；当 $\Theta > \Theta_S$ 时，系统趋向均匀相。化学势定义为 $\mu = \frac{\partial f(c, \Theta)}{\partial c} - \epsilon^2\Delta c = 8c^3 - 2(1-\beta(\Theta))c - \epsilon^2\Delta c$ 。Stokes方程中密度与粘度为序参量的仿射函数： $\rho(c) = (0.5 - c)\rho_2 + (0.5 + c)\rho_1$ ， $\eta(c) = (0.5 - c)\eta_2 + (0.5 + c)\eta_1$ ，并受重力项 $G\rho(c)\hat{g}$ 驱动。热方程为 $\frac{\partial \Theta}{\partial t} + (u \cdot \nabla)\Theta = \kappa \Delta \Theta$ 。该系统的关键特征在于温度通过 $\beta(\Theta)$ 直接进入自由能，而相场通过浓度依赖的密度与粘度反馈至流动，形成现象学的温度耦合模型。研究动机源于电池外壳中湿气在冷却壁面凝结导致腐蚀与绝缘退化的实际问题，现有文献多聚焦理想热力学设置或通用沸腾/凝结配置，缺乏针对真实边界条件与变密度Stokes流耦合的数学框架。本文旨在填补这一空白，构建一个可分析的相场模型以研究受限几何中温度梯度驱动的类似凝结行为。

2. 主要定理或主要结果

在正则化假设下，作者证明了耦合系统的局部存在弱解。在二维和三维空间中，给定初始数据 $(c_0, \Theta_0) \in H^2(\Omega) \times L^2(\Omega)$ ，存在时间 $$T > 0$$ ，使得正则化系统存在弱解 $(c, u, p, \Theta)$ 满足：1. 序参量 $c \in L^\infty(0,T;H^2(\Omega)) \cap H^1(0,T;H^{-2}(\Omega))$ ，且 $\|c\|_{L^\infty(0,T;H^2(\Omega))} + \|c\|_{H^1(0,T;H^{-2}(\Omega))} \leq C$ ，其中 $$C$$ 依赖于初始数据和正则化参数；2. 速度场 $u \in L^2(0,T;H^1(\Omega)^d)$ ，压力 $p \in L^2(0,T;L^2_0(\Omega))$ ，满足Stokes变分形式，且 $\|u\|_{L^2(0,T;H^1(\Omega)^d)} + \|p\|_{L^2(0,T;L^2_0(\Omega))} \leq C(\|\rho(c)\|_{L^\infty}, \|\eta(c)\|_{L^\infty})$ ；3. 温度场 $\Theta \in L^\infty(0,T;L^2(\Omega)) \cap L^2(0,T;H^1(\Omega))$ ，满足最大值原理 $\Theta \geq 0$ ，且 $\|\Theta\|_{L^\infty(0,T;L^2(\Omega))} + \|\Theta\|_{L^2(0,T;H^1(\Omega))} \leq C(\|\Theta_0\|_{L^2}, \|u\|_{L^2(0,T;H^1)})$ 。数值方面，作者提出一阶半隐式有限元方案：1. Cahn-Hilliard步骤采用Eyre型凸分裂：将自由能 $f(c, \Theta) = f_+(c) + f_-(c)$ 分裂为凸部分 $f_+(c) = 2c^4 + \alpha c^2$ 与凹部分 $f_-(c) = -(1-\beta(\Theta) + \alpha)c^2$ ，其中 $\alpha > 0$ 为分裂参数；在纯扩散等温情况下，该离散化对Cahn-Hilliard自由能无条件能量稳定：

F_h(c^{n+1}) + \frac{M\Delta t}{2}\|\nabla \mu^{n+1}\|^2 \leq F_h(c^n),

其中 $F_h(c) = \int_\Omega \left( f(c) + \frac{\epsilon^2}{2}|\nabla c|^2 \right) dx$ ；2. Stokes子系统采用Taylor-Hood $$P_2$$ - $$P_1$$ 元离散，热方程采用后向Euler离散；3. 在不可渗透速度边界条件下，Cahn-Hilliard子步骤严格守恒质量： $\int_\Omega c^{n+1} dx = \int_\Omega c^n dx$ 。数值实验验证了关键无量纲参数的影响：质量Péclet数 $$Pe$$ 控制对流与扩散平衡，热Péclet数 $Pe_\Theta$ 决定热对流与热扩散比，Cahn数 $Ch = \epsilon/L$ 确定界面厚度与特征长度比，密度比 $\lambda_\rho = \rho_1/\rho_2$ 与粘度比 $\lambda_\eta = \eta_1/\eta_2$ 影响相分离动力学，重力参数 $G = \rho_2 g L^2/(\eta_2 U)$ 量化重力与粘性力比。模拟显示冷却壁诱导相分离，狭窄通道中热梯度显著改变相结构。

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

分析中的核心障碍与创新点如下：1. 温度依赖自由能导致化学势显式依赖温度场，使相场方程非自治，经典能量论证无法闭合。作者引入正则化项 $\delta \Delta^2 c$ （ $\delta > 0$ ）并利用温度最大值原理 $\Theta \geq 0$ 确保势函数结构，关键估计为：

\frac{d}{dt} \int_\Omega \left( f(c, \Theta) + \frac{\epsilon^2}{2}|\nabla c|^2 \right) dx + M\|\nabla \mu\|^2 = -\int_\Omega f_\Theta(c, \Theta) u \cdot \nabla \Theta dx,

其中 $f_\Theta(c, \Theta) = -\frac{c^2}{\Theta_S}$ 。通过Gronwall不等式控制右侧：

\left| \int_\Omega f_\Theta(c, \Theta) u \cdot \nabla \Theta dx \right| \leq C(\|u\|_{L^4}, \|\nabla \Theta\|_{L^2}) \leq \frac{M}{2}\|\nabla \mu\|^2 + C(\|u\|_{H^1}^2, \|\Theta\|_{H^1}^2)

；2. 多项式自由能导致 $$c$$ 缺乏全局 $L^\infty$ 界，作者在 $H^2(\Omega) \hookrightarrow L^2(\Omega) \hookrightarrow H^{-2}(\Omega)$ 框架内工作，结合互补乘子测试恢复控制。关键引理为：对固定 $u \in L^2(0,T;H^1(\Omega)^d)$ 和 $\Theta \in L^\infty(\Omega \times (0,T))$ ，映射 $(u, \Theta) \mapsto c$ 是从 $L^2(0,T;H^1) \times L^\infty$ 到 $L^\infty(0,T;H^2) \cap H^1(0,T;H^{-2})$ 的连续映射，满足 $\|c\|_{L^\infty(0,T;H^2)} + \|c\|_{H^1(0,T;H^{-2})} \leq C(1 + \|u\|_{L^2(0,T;H^1)}^2 + \|\Theta\|_{L^\infty}^2)$ ；3. 混合边界条件阻止化学势零均值约束，作者引入修正化学势 $\mu_0 = \mu - \frac{1}{|\Omega|} \int_\Omega \mu dx$ ，并证明 $\|\mu_0\|_{L^2(0,T;H^1)} \leq C(\|c\|_{L^\infty(0,T;H^2)} + \|u\|_{L^2(0,T;H^1)})$ ；对热方程，处理混合边界 $\kappa \partial_n \Theta + h(\Theta - \Theta_{\text{env}}) = 0$ 于 $\Gamma_N$ ，利用最大值原理确保 $\Theta \geq 0$ ；4. 采用三角耦合分析框架：热算子 $H: u \mapsto \Theta$ 利用最大值原理得 $\Theta \in L^\infty(0,T;L^2) \cap L^2(0,T;H^1)$ ；Cahn-Hilliard算子 $C: (u, \Theta) \mapsto c$ 通过Galerkin逼近与紧性论证处理温度依赖项 $f'(c, \Theta)$ ；Stokes算子 $S: c \mapsto u$ 利用Korn不等式与LBB条件处理变系数 $\eta(c)$ 。最终构造复合映射 $$T(u) := S(C(u, H(u)))$$ ，应用Schauder不动点定理证明解存在。数值上，凸分裂参数选择 $\alpha \geq \frac{1}{2}\sup_{\Theta} |1-\beta(\Theta)|$ 以确保 $$f_+$$ 凸性，实现能量稳定性。

4. 与之前工作的比较

与等温Cahn-Hilliard-Navier-Stokes分析（如Abels[1]）相比：本文引入温度依赖性，使化学势显式依赖温度场，导致相场方程非自治且能量论证无法闭合；Abels处理等温情形，能量泛函不含温度项，而本文必须处理额外耦合项 $-\int_\Omega f_\Theta(c, \Theta) u \cdot \nabla \Theta dx$ ；本文使用Stokes流（忽略惯性项），适用于低雷诺数 $Re \ll 1$ 的蠕动流，数学结构更简单，代价是无法捕捉高雷诺数湍流效应；2. 与Fabrizio等人的热力学一致模型[16]相比：Fabrizio从热力学第二定律推导演化，确保熵产生与能量守恒；本文采用现象学方法，将温度通过 $\beta(\Theta)$ 引入自由能，不显式包含潜热（隐含于 $\Theta_S$ ），优势为数学处理更简单并可证局部存在性与能量稳定数值方案，代价为牺牲严格热力学一致性，但仍保留关键物理机制（ $\Theta < \Theta_S$ 时相分离）；3. 与Jamet等人的van der Waals型模型[22]相比：Jamet使用梯度理论建模界面热力学，引入偏离平衡化学势驱动蒸发/凝结；本文采用标准Cahn-Hilliard框架，通过温度依赖势直接控制相行为；Jamet更注重界面热力学细节，本文更关注与变密度Stokes流耦合与数值实现；本文采用凸分裂确保能量稳定，Jamet使用自适应网格细化处理薄液层与陡热梯度；本文适用范围更广（各类受限几何），但无法精确捕捉界面微观热力学过程；4. 与Wang等人的沸腾热传递模型[35]相比：Wang在能量方程中引入潜热源项并校正速度散度以处理体积膨胀；本文假设相变无显著体积变化（气体密度远小于液体），无需源项；Wang全面处理沸腾，本文专注凝结（电池外壳冷却壁），需不同边界条件；本文数值方案在纯扩散等温情况下无条件能量稳定，Wang方案可能需时间步长限制；5. 与Gavish等人的多相模型[19]相比：Gavish扩展Cahn-Hilliard-Navier-Stokes至三相（含固相）研究多孔介质盐沉淀；本文聚焦两相（气-液），引入温度依赖势模拟凝结；Gavish模型更复杂，本文在温度耦合与数值稳定性方面显著推进；框架可扩展至固相，但当前分析限于两相；6. 与Dong和Yu的格子Boltzmann方法[12]相比：Dong和Yu在LBM框架实现相场方法，适用于复杂边界与并行化；本文采用有限元方法，更适合不规则几何与提供严格误差分析；LBM计算效率高，但缺乏数学严谨性；本文证明局部存在性并设计能量稳定方案，LBM通常无严格分析；7. 时间尺度与适用范围：本文证明的局部存在性结果适用于短时间尺度（ $$T > 0$$ 依赖初始数据），全局存在性仍为开放问题（可能受非线性增长影响）；相比之下，等温Cahn-Hilliard-Stokes系统已有全局存在性证明（如[1]），但温度耦合引入额外非线性，使长期行为分析更复杂；本文数值方案在电池相关几何（狭窄通道、冷却壁）表现良好，但对极高Péclet数（ $Pe \gg 1$ ）可能需更精细对流处理。

摘要翻译: 本文研究如下非线性波动方程

中文标题: 三维重力-毛细水波的拟共振正规形与二次寿命

摘要翻译: 我们研究具有周期边界条件的无粘、无旋流体的三维重力-毛细水波方程的小振幅解的长时间动力学行为。我们证明：对几乎所有的表面张力参数取值，初值大小为 $\varepsilon$ 的解在时间尺度 $\varepsilon^{-2}$ 上存在且保持小性。一个主要困难源于方程的拟线性本质所导致的导数损失，以及高维空间中严重的二次与三次小分母相互作用。将经典正规形方法应用于三维水波系统时，通常无法阻止因近共振累积所引发的导数损失。为克服这一障碍，我们发展了一种新的分析策略：该策略结合了精细的频率分解与仅作用于特定相互作用尺度上的拟共振正规形变换。我们的微局部分析揭示，潜在危险的相互作用项具有块对角结构；该结构既源于拟共振频率集的几何性质，也源于水波系统的哈密顿结构。因此，这些算子保持 Sobolev 范数，不引发能量增长。这一结构性洞察，连同拟共振正规形变换，使我们得以阻止导数损失机制，同时避免有害小分母的累积。

不相关论文（基本信息）

1. 二维情形下由带分数阶贝塞尔相互作用的吉布斯态导出吉布斯测度

Derivation of Gibbs measure from Gibbs state with the fractional Bessel interaction in Two Dimensions

作者: Phan Thành Nam, Rongchan Zhu, Xiangchan Zhu

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

发布日期: 2026-04-23

arXiv ID: 2604.21583v1

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

摘要: We derive the classical Gibbs measure on $\mathbb{T}^2$ associated with the fractional Bessel interaction potential $\widehat{v}_β(k)=\langle k\rangle^{-β}$ from a renormalized grand-canonical quantum Bose gas with the same interaction. Our result covers the whole range $\frac32<β\leq2$ , where $\widehat{v}_β(k)$ is not summable and the quantum model cannot be written in the usual density-square form, as the associated self-energy diverges. We therefore need to renormalize the zero mode by a centered number-fluctuation term and then develop a detailed analysis for the high-frequency remainders. All this allows us to implement a low-frequency localization and obtain the convergence of the quantum relative free energy to the classical fractional-Bessel free energy, as well as the convergence of the reduced density matrices to the limiting Gibbs measure.

2. 相对分数阶周长的Boxing不等式与具有BBM因子的John区域上的分数阶Poincaré型不等式

Boxing inequalities for relative fractional perimeter and fractional Poincaré-type inequalities on John domains with the BBM factor

作者: Manzi Huang, Panu Lahti, Jiang Li, Zhuang Wang

类别: math.FA, math.AP, math.CV

发布日期: 2026-04-23

arXiv ID: 2604.21506v1

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

摘要: For $$0<δ,τ<1$$ and $1\le s\le \frac{n}{n-δ}$ , we prove that for a given $$s$$ -John domain $Ω\subset \mathbb{R}^n$ , the following Boxing inequality holds for every Lebesgue measurable set $U\subsetΩ$ with $|U|/|Ω|\leγ<1$ :

\mathcal{H}^{s(n-δ)}_{\infty}(U\setminus\mathcal{N}_U)\le C(1-δ)\int_Ω\int_{|x-y|<τ\operatorname{dist}(y,\partialΩ)}\frac{|χ_U(x)-χ_U(y)|}{|x-y|^{n+δ}}\,dx\,dy,

where $\mathcal{H}^{s(n-δ)}_{\infty}(U)$ denotes the $$s(n-δ)$$ -dimensional Hausdorff content of $$U$$ , $\mathcal{N}_U$ is a set of Lebesgue measure zero and the constant $$C$$ depends only on $$n,τ,s,γ$$ , the John constant and the diameter of $$Ω$$ . Moreover, we establish the functional formulation of the above Boxing inequality and discuss the equivalence between these two formulations. Based on the Boxing inequality, we prove the fractional Poincaré–Wirtinger trace inequality on $$s$$ -John domains, of which the fractional Sobolev–Poincaré inequality and fractional Hardy-type inequality are special cases. Notably, we prove all of the aforementioned inequalities with the Bourgain–Brezis–Mironescu (BBM) factor $$1-δ$$ . Furthermore, with the aid of the Bourgain–Brezis–Mironescu formula, we recover the Poincaré–Wirtinger trace inequality. Finally, by showing that, under the separation property, any domain supporting the Boxing inequality is necessarily a John domain, we conclude that the John domain condition is essentially sharp for the above inequalities. All the above inequalities with the BBM factor are new even for Lipschitz domains.

3. 关于带序贯Caputo导数的分数阶微分方程的初边值问题

On a Boundary-Initial Value Problem for Fractional Differential Equation with Sequential Caputo derivatives

作者: Fayziev Yusuf, Jumaeva Shakhnoza

类别: math.NA, math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21319v1

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

摘要: In this paper, we investigate a fractional differential equation involving sequential Caputo derivatives, motivated by recent research on fractional models with multiple memory effects. Using techniques inspired by earlier works on sequential fractional operators, we derive the exact analytic solution of the problem in terms of the bivariate Mittag-Leffler function. Additionally, several useful properties of the bivariate Mittag-Leffler function are formulated to support the solution construction. Furthermore, we develop a numerical scheme using a sequential reformulation and the L1-finite element method.

4. 高斯Kolmogorov–Arnold网络的尺度变换

Scaling of Gaussian Kolmogorov–Arnold Networks

作者: Amir Noorizadegan, Sifan Wang

类别: cs.CE, cs.AI, math.AP

发布日期: 2026-04-23

arXiv ID: 2604.21174v1

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

摘要: The Gaussian scale parameter $$ε$$ is central to the behavior of Gaussian Kolmogorov–Arnold Networks (KANs), yet its role in deep edge-based architectures has not been studied systematically. In this paper, we investigate how $$ε$$ affects Gaussian KANs through first-layer feature geometry, conditioning, and approximation behavior. Our central observation is that scale selection is governed primarily by the first layer, since it is the only layer constructed directly on the input domain and any loss of distinguishability introduced there cannot be recovered by later layers. From this viewpoint, we analyze the first-layer feature matrix and identify a practical operating interval,

ε\in \left[\frac{1}{G-1},\frac{2}{G-1}\right],

where $$G$$ denotes the number of Gaussian centers. For the standard shared-center Gaussian KAN used in current practice, we interpret this interval not as a universal optimality result, but as a stable and effective design rule, and validate it through brute-force sweeps over $$ε$$ across function-approximation problems with different collocation densities, grid resolutions, network architectures, and input dimensions, as well as a physics-informed Helmholtz problem. We further show that this range is useful for fixed-scale selection, variable-scale constructions, constrained training of $$ε$$ , and efficient scale search using early training MSE. Finally, using a matched Chebyshev reference, we show that a properly scaled Gaussian KAN can already be competitive in accuracy relative to another standard KAN basis. In this way, the paper positions scale selection as a practical design principle for Gaussian KANs rather than as an ad hoc hyperparameter choice.

5. 加权图上含梯度项的拟线性椭圆不等式的刘维尔型结果

Liouville Type Results for Quasilinear Elliptic Inequalities Involving Gradient Terms on Weighted Graphs

作者: Anh Tuan Duong, Yao Liu, Nguyên Công Minh, Dao Trong Quyet, Yuhua Sun

类别: math.AP

发布日期: 2026-04-22

arXiv ID: 2604.21145v1

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

摘要: In this paper, we study the following quasi-linear elliptic inequality $Δ_m u +u^p |\nabla u|^q \leqslant 0$ on weighted graphs, where $(m,p,q)\in (1,\infty)\times\mathbb{R}\times\mathbb{R}$ . According to the ranges of parameters $$(m, p, q)$$ , we establish the non-existence of nontrivial positive solutions under the corresponding sharp volume growth conditions. Our results can be viewed as a discrete generalization of their counterparts on Riemannian manifolds established by [Sun, Yuhua; Xiao, Jie; Xu, Fanheng, Math. Ann. 384 (2022), no. 3-4, 1309–1341.]. However, this generalization is far from trivial, many results exhibit significant differences from the manifold setting, highlighting the distinct behaviors and challenges that arise in the discrete weighted graph framework.

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

1. 一类耦合非线性热-反应-相变系统的最大值原理与局部稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 关于有界区域上欧拉方程涡量的爆破速率#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 带科里奥利力的纳维-斯托克斯方程整体解的时间衰减估计#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 带旋度的轴对称Navier–Stokes方程：无条件全局存在性纲领的最终主稿#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 温度耦合的Cahn-Hilliard-Stokes-热方程模型用于热驱动相分离#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 变系数极地粒雪中气体扩散的正问题#

摘要翻译#

2. 具非散度型右端项的抛物型 $p$-拉普拉斯系统之 Calderón-Zygmund 估计#

摘要翻译#

3. 带外力的玻尔兹曼方程三维时间周期问题#

摘要翻译#

4. Heisenberg群上带Hardy位势与记忆项的非齐次抛物型方程#

摘要翻译#

5. 带非线性δ-势的正弦-戈登方程分析#

摘要翻译#

6. 临界长程随机电导模型的定量均匀化#

摘要翻译#

7. Ahlfors 正则边界上调和测度的维数下降#

摘要翻译#

8. 三维重力-毛细水波的拟共振正规形与二次寿命#

摘要翻译#

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

1. 二维情形下由带分数阶贝塞尔相互作用的吉布斯态导出吉布斯测度#

2. 相对分数阶周长的Boxing不等式与具有BBM因子的John区域上的分数阶Poincaré型不等式#

3. 关于带序贯Caputo导数的分数阶微分方程的初边值问题#

4. 高斯Kolmogorov–Arnold网络的尺度变换#

5. 加权图上含梯度项的拟线性椭圆不等式的刘维尔型结果#

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

1. 一类耦合非线性热-反应-相变系统的最大值原理与局部稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 关于有界区域上欧拉方程涡量的爆破速率

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 带科里奥利力的纳维-斯托克斯方程整体解的时间衰减估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 带旋度的轴对称Navier–Stokes方程：无条件全局存在性纲领的最终主稿

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 温度耦合的Cahn-Hilliard-Stokes-热方程模型用于热驱动相分离

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 变系数极地粒雪中气体扩散的正问题

摘要翻译

2. 具非散度型右端项的抛物型 $$p$$ -拉普拉斯系统之 Calderón-Zygmund 估计

摘要翻译

3. 带外力的玻尔兹曼方程三维时间周期问题

摘要翻译

4. Heisenberg群上带Hardy位势与记忆项的非齐次抛物型方程

摘要翻译

5. 带非线性δ-势的正弦-戈登方程分析

摘要翻译

6. 临界长程随机电导模型的定量均匀化

摘要翻译

7. Ahlfors 正则边界上调和测度的维数下降

摘要翻译

8. 三维重力-毛细水波的拟共振正规形与二次寿命

摘要翻译

不相关论文（基本信息）

1. 二维情形下由带分数阶贝塞尔相互作用的吉布斯态导出吉布斯测度

2. 相对分数阶周长的Boxing不等式与具有BBM因子的John区域上的分数阶Poincaré型不等式

3. 关于带序贯Caputo导数的分数阶微分方程的初边值问题

4. 高斯Kolmogorov–Arnold网络的尺度变换

5. 加权图上含梯度项的拟线性椭圆不等式的刘维尔型结果