生成时间: 2026年03月18日 04:39:10

重点关注论文数量: 6

了解领域论文数量: 9

不相关论文数量: 8

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

1. 关于重力Boussinesq方程组Gevrey类稳态解及其在唯一性问题中的应用

On Stationary Gevrey Solutions to the Gravitational Boussinesq System and Applications to Uniqueness

作者: Nestor Acevedo, Manuel Fernando Cortez, Oscar Jarrín

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16658v1

摘要翻译: 本文考虑带有一般重力加速度项的重力Boussinesq方程组的稳态形式。在该项及作用于该耦合方程组各方程的外力满足适当假设条件下，我们首先在自然能量空间 $\dot{H}^1(\mathbb{R}^3)$ 中建立了弱解的存在性。而这些解的唯一性是一个具有挑战性的公开问题。在此框架下，我们的第一个主要贡献是证明任意 $\dot{H}^1$ 弱解均具有Gevrey类中的解析光滑化效应。第二个主要贡献是表明：若这些解满足适当的低频控制条件，则Gevrey类正则性也可用于研究唯一性问题。作为附产品，我们还对经典Navier–Stokes方程组的 $\dot{H}^1$ 弱解获得了新的正则性结果以及一个新的Liouville型定理。

Comment: 无

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

1. 研究对象和背景

本文研究定义在整个空间 $\mathbb{R}^3$ 上的重力Boussinesq系统平稳（时间无关）版本，该系统耦合了不可压缩流体的动量方程和温度输运方程，并包含重力加速度项。具体形式为：

\begin{cases} -\Delta \vec{u} + \text{div}(\vec{u} \otimes \vec{u}) + \nabla P = \theta \vec{g} + \vec{f}, \\ \text{div}(\vec{u}) = 0, \\ -\Delta \theta + \text{div}(\theta \vec{u}) = g, \end{cases}

其中 $\vec{u}: \mathbb{R}^3 \to \mathbb{R}^3$ 是速度场， $P: \mathbb{R}^3 \to \mathbb{R}$ 是压力， $\theta: \mathbb{R}^3 \to \mathbb{R}$ 是温度， $\vec{g}$ 是重力加速度向量， $\vec{f}$ 和 $$g$$ 是外力项，并假设 $\text{div}(\vec{f}) = 0$ 。该模型描述了粘性不可压缩流体中热效应与重力耦合的动力学，例如大气和海洋流动。数学上，先前的研究主要集中在水域有界域 $\Omega \subset \mathbb{R}^3$ 且边界光滑的情况下，利用椭圆正则性理论和边界条件证明了解的存在性和正则性。然而，将结果推广到整个空间 $\mathbb{R}^3$ 面临根本困难，如有界域中使用的嵌入性质和紧Sobolev嵌入不再可用，需要发展新方法。本文在无界空间中，聚焦于自然能量空间 $\dot{H}^1(\mathbb{R}^3)$ 中弱解的存在性，并深入探究其Gevrey类解析正则性和唯一性问题，后者在 $\dot{H}^1$ 中是一个长期未解决的开放挑战。

2. 主要定理或主要结果

本文主要结果可概括如下。首先，在假设 $\vec{g} \in L^{3/2}(\mathbb{R}^3) \cap \dot{H}^{1/2}(\mathbb{R}^3)$ ， $\vec{f} \in \dot{H}^{-1}(\mathbb{R}^3)$ （满足 $\text{div}(\vec{f}) = 0$ ）， $g \in \dot{H}^{-1}(\mathbb{R}^3)$ 下，证明存在有限能量弱解 $(\vec{u}, \theta, P) \in \dot{H}^1(\mathbb{R}^3) \times \dot{H}^1(\mathbb{R}^3) \times (\dot{H}^{1/2}(\mathbb{R}^3) + \dot{H}^1(\mathbb{R}^3))$ ，满足能量估计：

\|\vec{u}\|_{\dot{H}^1}^2 \leq C \left( \|g\|_{\dot{H}^{-1}}^2 \|\vec{g}\|_{L^{3/2}}^2 + \|\vec{f}\|_{\dot{H}^{-1}}^2 \right), \quad \|\theta\|_{\dot{H}^1}^2 \leq C \|g\|_{\dot{H}^{-1}}^2,

以及压力项估计 $\|P_{\vec{u}}\|_{\dot{H}^{1/2}} \leq C \|\vec{u}\|_{\dot{H}^1}^2$ ， $\|P_{\theta}\|_{\dot{H}^1} \leq C \|\theta\|_{\dot{H}^1} \|\vec{g}\|_{\dot{H}^{1/2}}$ 。其次，证明任何 $\dot{H}^1$ 弱解在Gevrey类中具有解析平滑效应。对于非齐次情况（ $\vec{f} \neq 0$ , $g \neq 0$ ），如果数据满足 $\vec{f} \in G^{-1/r}(\mathbb{R}^3)$ ， $g \in G^{-1/r}(\mathbb{R}^3)$ ， $\vec{g} \in G^{1/2}/r(\mathbb{R}^3)$ （其中Gevrey类 $$G^s_r$$ 定义为 $e^{r\sqrt{-\Delta}} \phi \in \dot{H}^s$ ），则存在半径 $0 < \rho < 2r/3$ （仅依赖于 $\|\vec{f}\|_{G^{-1/r}}$ 、 $\|g\|_{G^{-1/r}}$ 、 $\|\vec{g}\|_{G^{1/2}/r}$ 和 $$r$$ ）使得解满足 $\vec{u} \in G^{1/\rho}(\mathbb{R}^3)$ ， $\theta \in G^{1/\rho}(\mathbb{R}^3)$ ，且 $P \in G^{\rho/2}(\mathbb{R}^3) + G^{1/\rho}(\mathbb{R}^3)$ 。对于齐次情况（ $\vec{f}=g=0$ ），在假设 $\vec{g} \in G^{1/2}/r(\mathbb{R}^3)$ 下，存在 $0 < \varrho < 2r/3$ （依赖于 $\|\vec{g}\|_{G^{1/2}/r}$ 、 $\|\vec{u}\|_{\dot{H}^1}$ 、 $\|\theta\|_{\dot{H}^1}$ 和 $$r$$ ）使得类似结论成立。此外，若数据额外属于 $W^{-1,\infty}(\mathbb{R}^3) \cap W^{k,\infty}(\mathbb{R}^3)$ ，则解在Sobolev空间 $\dot{W}^{s,p}(\mathbb{R}^3)$ （ $0 \leq s \leq k+2$ ， $6 \leq p < \infty$ ）和Hölder空间 $C^{s,\sigma}(\mathbb{R}^3)$ （ $0 \leq s \leq k+1$ ， $\sigma = 1 - 3/p > 0$ ）中获得正则性增益。最后，对于齐次系统，引入低频控制条件：若弱解 $(\vec{u}, \theta) \in \dot{H}^1(\mathbb{R}^3)$ 满足对dyadic annuli $C_k = \{\xi \in \mathbb{R}^3 : 2^{-(k+1)} \leq |\xi| \leq 2^{-k}\}$ 有 $\|\hat{\vec{u}}\|_{L^\infty(C_k)} + \|\hat{\theta}\|_{L^\infty(C_k)} \leq C 2^k$ （对某常数 $$C > 0$$ 一致于 $$k$$ ），则必有 $\vec{u} = 0$ ， $\theta = 0$ ，这为 $\dot{H}^1$ 空间中的唯一性提供了新准则。

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

研究方法的核心思想是将平稳Boussinesq系统嵌入到时间依赖框架中。考虑演化系统：

\begin{cases} \partial_t \vec{v} - \Delta \vec{v} + \mathcal{P}\text{div}(\vec{v} \otimes \vec{v}) = \mathcal{P}(\theta \vec{g}) + \mathcal{P}(\vec{f}), \\ \text{div}(\vec{v}) = 0, \\ \partial_t \theta - \Delta \theta + \text{div}(\theta \vec{v}) = g, \end{cases}

其中 $\mathcal{P}$ 是Leray投影。利用Fujita-Kato理论，在初始数据 $\vec{v}_0, \theta_0 \in \dot{H}^1$ 下构造唯一局部 mild 解 $\vec{v}, \theta \in C(\mathbb{R}^+; \dot{H}^1)$ 。通过从给定的Gevrey数据 $\vec{f}, g, \vec{g}$ 精心设计时间依赖源项（例如，使用指数衰减构造），证明该解对任意 $$t > 0$$ 瞬时呈现Gevrey正则性。平稳解 $(\vec{u}, \theta)$ 作为演化系统的平稳解，满足相同方程且可视为初始数据，由演化系统解的唯一性，两者相等，从而将演化系统的Gevrey正则性传递给平稳解。

关键技术和工具包括：使用Schaefer不动点定理（Theorem 3.1）证明命题1.1的存在性，通过定义近似系统（含截断函数 $\phi_R$ ）并验证算子的连续紧性，其中处理 $\theta \vec{g}$ 项需要 $\vec{g} \in L^{3/2} \cap \dot{H}^{1/2}$ 假设；应用热核估计（Lemma 2.1）控制半群积分；利用Kato-Ponce不等式（Lemma 2.2）处理分数阶导数的乘积，这是证明Gevrey正则性的核心；以及使用Morrey空间与Hölder正则性的联系（Lemma 2.3）推导推论1.1中的附加正则性。对于唯一性定理1.3，结合Gevrey正则性（由定理1.2保证解属于某 $G^{1/\varrho}$ ）与低频控制条件：后者在傅里叶空间的dyadic annuli上控制解的振幅，允许证明解实际上属于临界Besov空间 $\dot{B}^{-1}_{\infty,\infty}$ （这是Navier-Stokes方程的最大尺度不变空间）。由于 $\dot{H}^1 \cap \dot{B}^{-1}_{\infty,\infty}$ 包含足够光滑函数，可严格证明能量恒等式中交叉项为零（即 $\int \text{div}(\vec{u} \otimes \vec{u}) \cdot \vec{u} \, dx = 0$ 和 $\int \text{div}(\theta \vec{u}) \theta \, dx = 0$ ），从而推出 $\nabla \vec{u} = 0$ 和 $\nabla \theta = 0$ ，进而 $\vec{u} = \theta = 0$ 。核心分析工具还涉及Gevrey类的符号刻画、Sobolev和Besov空间理论、Littlewood-Paley分解。

4. 与之前工作的比较

先前关于Boussinesq系统的工作（如[1]）主要考虑有界域 $\Omega \subset \mathbb{R}^3$ 且边界光滑，假设Dirichlet数据和重力项 $\vec{g} \in L^{3/2}(\Omega)$ 等，利用椭圆方程正则性、迭代方法和紧嵌入证明弱解存在及 $W^{2,p}$ 正则性增益。这些结果依赖于有界域的几何特性，如Sobolev嵌入的紧性，无法直接推广到无界空间 $\mathbb{R}^3$ 。本文在 $\mathbb{R}^3$ 中采用不同策略：通过将平稳系统与演化系统关联，利用抛物型正则性理论（如热核估计）和Fourier分析，避免了边界处理，但需要额外假设如 $\vec{g} \in \dot{H}^{1/2}$ 以确保近似系统的紧性。

在Gevrey正则性方面，文献中大量研究时间依赖流体模型（如Navier-Stokes、Boussinesq等），显示初始数据在Sobolev空间时解瞬时解析（利用热核正则性），或Gevrey数据正则性传播。然而，平稳（椭圆）系统的Gevrey正则性探索较少，因为抛物技巧不直接适用。本文首次系统研究平稳Boussinesq系统的Gevrey正则性，揭示数据Gevrey半径 $$r$$ 与解半径 $\rho$ 的关系：非齐次情况 $\rho < 2r/3$ 且仅依赖数据，齐次情况 $\rho$ 还依赖解范数。这不同于抛物情形通常的半径保持或增大。

对于唯一性（Liouville型问题），在 $\dot{H}^1$ 空间是著名开放问题，先前结果多基于其他函数空间的衰减假设（如 $\vec{u}$ 在 $$L^p$$ 或Morrey空间中的衰减）。本文提出新低频控制条件（在傅里叶域 $L^\infty$ 控制），结合Gevrey正则性，将解提升到 $\dot{B}^{-1}_{\infty,\infty}$ 从而强制唯一性。类似频率控制在近期工作[30]中用于Navier-Stokes方程，但本文将其扩展到耦合Boussinesq系统，并允许控制增长（ $$2^k$$ 而非衰减）。作为副产品，本文也获得经典Navier-Stokes方程在 $\dot{H}^1$ 空间的新正则性和唯一性结果，扩展了该领域的认知。

2. 二维不可压缩各向异性变密度Navier-Stokes方程的全局适定性

Global well-posedness of 2-D incompressible anisitropic Navier-Stokes equations with variable density

作者: Hammadi Abidi, Guilong Gui, Ping Zhang

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16409v1

摘要翻译: 本文研究二维非均匀不可压缩各向异性Navier-Stokes系统的全局适定性问题，分析两个具体模型：在初值密度远离零与无穷的假设下，具有部分耗散的系统（记作(AINS)）与仅具水平耗散的系统（记作(HINS)）。对于定义在全平面 $\mathbb{R}^2$ 上的(AINS)系统，我们利用时间加权能量估计与对偶论证，证明了有限能量初值下全局解的存在唯一性。对于定义在环域 $\mathbb{T} \times \mathbb{R}$ 上的(HINS)系统，在初速度与密度扰动均足够小的条件下，我们建立了全局适定性。通过利用各向异性耗散结构，采用Poincaré型不等式获得速度场振荡部分的指数衰减估计，并对密度梯度的增长进行精细平衡，我们克服了主要分析困难。

Comment: 无

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

1. 研究对象和背景

该论文研究二维不可压缩各向异性Navier-Stokes方程在变密度情形下的全局适定性问题。具体考察两个模型：一是在全空间 $\mathbb{R}^2$ 上具有部分耗散的系统（标为(AINS)），其动量方程中耗散项仅作用于速度的水平分量 $\partial_2^2 u_1$ 和 $\partial_1^2 u_2$ ；二是在柱形区域 $\mathbb{T} \times \mathbb{R}$ 上仅具水平耗散的系统（标为(HINS)），其耗散项仅为 $\partial_1^2 u$ 。两个系统均包含连续性方程 $\partial_t \rho + u \cdot \nabla \rho = 0$ 和不可压缩条件 $\nabla \cdot u = 0$ 。核心假设是初始密度 $\rho_0$ 几乎处处被正数 $$M_1, M_2$$ 界定，即 $0 < M_1 \le \rho_0(x) \le M_2$ 。此类系统在地球流体动力学中常见，用于描述水平与垂直方向湍流扩散差异。研究难点在于缺乏全粘性耗散时，如何控制速度梯度的时间加权范数，以及变密度如何影响速度正则性的传播与密度变异的增长。

2. 主要定理或主要结果

论文证明了两类系统在适当初值条件下的全局适定性。定理1.1：对于(AINS)系统，若初始密度 $\rho_0$ 满足 (1.8) 且初速度 $u_0 \in L^2(\mathbb{R}^2)$ 无散，则存在唯一全局解 $(\rho, u, \nabla \Pi)$ 满足 $\rho \in C_w([0, \infty[; L^\infty)$ ， $u \in C([0, \infty[; L^2) \cap L^2(\mathbb{R}^+; \dot{H}^1)$ ，且密度保持有界 (1.9)。此外，解满足能量型估计 (1.10)，其中各时间加权范数被 $\|u_0\|_{L^2}^2$ 控制。定理1.2：对于(HINS)系统，若 $\Omega = \mathbb{T} \times \mathbb{R}$ ，初始密度 $\rho_0$ 满足 (1.8) 且 $\nabla \rho_0 \in L^\infty \cap \dot{H}^1$ ，初速度 $u_0 \in H^2(\Omega)$ 无散，则存在小常数 $$c>0$$ ，使得当初速度及其 $$H^2$$ 范数、密度梯度及其 $L^\infty$ 范数满足小性条件 (1.13) 时，存在唯一全局解 $(\rho, u, \nabla \Pi)$ 满足 $\rho \in C([0, \infty[; L^\infty \cap \dot{W}^{1, \infty} \cap \dot{H}^2)$ ， $u \in C([0, \infty[; H^2) \cap L^2(\mathbb{R}^+; \dot{H}^1)$ ，且保持密度有界。更重要的是，解满足关于水平速度分量 $\partial_1 u$ 的振荡部分、涡量 $\omega$ 及其导数的指数衰减估计 (1.14)–(1.17)，这些估计揭示了速度振荡部分随时间快速衰减，而密度梯度仅以指数形式增长。

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

证明的核心在于针对两个系统的不同耗散结构设计专门的能量估计。对于(AINS)系统，关键障碍是控制时间加权梯度范数 $\int_0^t \|\tau^{1/2} \nabla u\|_{L^\infty}^2 d\tau$ 。论文采用时间加权能量估计，通过涡量方程（由(2.7)给出）作为桥梁，该方程虽源于Euler型系统但具有全耗散结构。通过将动量方程作用物质导数 $D_t = \partial_t + u \cdot \nabla$ ，结合密度有界性，推导出关于 $$D_t u$$ 、 $\Delta u$ 、 $\nabla \Pi$ 和 $\omega$ 的加权能量不等式。利用 Biot-Savart 律将速度与涡量关联，通过 Gronwall 不等式最终得到估计 (2.14)。唯一性部分则借助对偶论证（参考[11]）完成。对于(HINS)系统，主要挑战在于控制 $\int_0^t \|\nabla u(\tau)\|_{L^\infty} d\tau$ ，该积分可能呈现代数增长导致 $\|\nabla \rho\|_{L^\infty}$ 指数增长。论文利用各向异性耗散结构和Poincaré型不等式：将速度分解为水平平均 $\bar{u}$ 和振荡部分 $u_{\neq}$ ，利用 $\|u_{\neq}\|_{L^2(\Omega)} \lesssim \|\partial_1 u\|_{L^2(\Omega)}$ ，在能量框架中证明 $\|u_{\neq}\|_{L^2(\Omega)}$ 随时间指数衰减。这种衰减补偿了密度梯度的潜在增长，通过精细的能量平衡与插值不等式（如 (3.84)）控制所有高阶项，最终在小初值条件下实现全局控制。

4. 与之前工作的比较

该工作将现有研究在多个方向上推进。首先，对于全粘性变密度系统(INS)，Lions [15] 构造了全局有限能量弱解，但唯一性未明；Desjardins [9] 及后续工作 [2] 在小扰动或附加正则性下改善了正则性并证明唯一性，但通常依赖密度接近常数的假设。本文的(AINS)结果不要求密度接近常数，仅需正下界和上界，且能量空间为 $$L^2$$ ，比 [1, 8] 使用的临界Besov空间更弱。其次，对于各向同性同密度情况，Yudovich [19] 方法要求初速度 $u_0 \in H^s$ ( $$s>2$$ ) 以保证涡量有界；Dong等 [10] 处理同密度的(HNS)系统，证明 $$H^2$$ 全局适定并得指数衰减，但指出 $\|\nabla u\|_{L^\infty}$ 积分可能代数增长。本文的(HINS)结果正是解决了变密度情形下由密度传播引起的新困难，通过Poincaré不等式得到的指数衰减正是克服密度梯度指数增长的关键。再者，对于各向异性同密度系统，[10]已解决。本文通过将密度变异纳入系统，揭示了耗散结构如何缓冲密度的非线性效应，其小初值条件 (1.13) 耦合了速度、密度及其导数的多种范数，比同密度情况更精细。最后，与** inhomogeneous Euler 系统 (IE)** 相比，本文的耗散项提供了所需的全耗散机制，从而避免了IE中全局适定性悬而未决的困难。

3. 有限通道中Boussinesq方程关于二维单调剪切流的定量稳定性

Quantitative stability of the 2D Monotone shear flow for Boussinesq equation in a finite channel

作者: Qionglei Chen, Zhen Li

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16268v1

摘要翻译: 无论是自然层流还是实验室层流，均非完全定常，反而常常表现出高度非定常特性，这可由贝纳德对流的实验研究佐证。本文考察了常背景温度 $a\in\mathbb{R}$ 情形下，时变单调剪切流 $$(U(t,y),0)$$ 附近Boussinesq方程的转捩阈值。分析在有限通道 $\mathbb{T}\times[0,1]$ 中采用无滑移边界条件进行。通过精细的预解算估计与时空估计，我们证明了：当初始扰动满足 $\|u^{\mathrm{in}}\|_{H^2}\leq c\nu^{\frac12}$ 且 $\|\langle D_x\rangle\theta^{\mathrm{in}}\|_{L^2} \leq c\nu^{\frac56}$ 时，Boussinesq系统在单调剪切流附近存在全局稳定解。此外，我们还获得了涡量的增强耗散估计与速度场的无粘衰减估计。

Comment: 无

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

1. 研究对象和背景

本文研究二维不可压缩Boussinesq方程在有限通道 $\mathbb{T}\times[0,1]$ （具有非滑移边界条件）中，围绕时间依赖的单调剪切流 $$(U(t,y),0)$$ 和常数背景温度 $a\in\mathbb{R}$ 的过渡阈值问题。物理上，真实的层流并非完美稳态，例如实验室观察到的Bénard对流就高度非稳态，因此研究时变剪切流具有重要物理意义。数学上，模型保留了三维Euler和Navier-Stokes方程的关键特征。目标剪切流由热方程（1.2）驱动，其初始数据 $U_{\text{in}}$ 需满足 $$H^4(0,1)$$ 正则性、严格正/负凹性（ $\partial_y^2 U_{\text{in}}\ge0$ 或 $\le0$ ）及边值零二阶导数条件。通过扰动 $(u,\theta)=(v-v_U,\vartheta-a)$ ，问题转化为非线性系统（1.4）或（1.5）的稳定性分析。

2. 主要定理或主要结果

主要结果（定理1.1）给出了全局稳定的过渡阈值：存在常数 $\nu_0, \epsilon_0, c>0$ ，当 $0<\nu\le\nu_0$ 且初始扰动满足

\|u^{\text{in}}\|_{H^2}\le c\nu^{\frac12},\quad \|\langle D_x\rangle\theta^{\text{in}}\|_{L^2}\le c\nu^{\frac56}

时，扰动物理量满足全局稳定性估计：

\sum_{k\in\mathbb{Z}} E_k \le C\nu^{\frac12},\quad \sum_{k\in\mathbb{Z}} G_k \le C\nu^{\frac56},

其中 $$E_k$$ 和 $$G_k$$ 是包含时间加权因子 $e^{\epsilon_0\nu^{1/3}t}$ 的涡度和温度的混合范数（见定理陈述）。Remark 1.1指出这是首个针对Boussinesq方程单调剪切流的过渡阈值结果，且阈值指数 $(\frac12,\frac56)$ 与以下两种已知最优结果精确匹配：有限通道中Navier-Stokes方程的单调剪切流稳定结果[23]，以及无限通道中Boussinesq方程的Couette流稳定结果[24]。Remark 1.2说明通过用 $\| |D_x|^{1/3}\theta\|$ 而非 $\|\theta\|$ 控制非线性项 $\partial_x\theta$ ，相比文献[26]获得了额外因子 $\nu^{1/12}$ 的优势。

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

核心方法是结合锐谱估计与时空估计，并采用冻结时间技术处理时间依赖线性算子。关键步骤包括：
（i）将线性化系统（2.1）分解为齐次与非齐次部分，通过Orr-Sommerfeld算子（2.2）的谱分析，利用[6,23]的Navier-slip边界层修正量 $w_{\text{Na}}, w_1, w_2$ 得到关键估计（2.9）–（2.15），这些估计涉及频率 $$k$$ 、粘度 $\nu$ 和边界层权函数 $\rho_k(y)$ 的精细平衡。
（ii）推导Lemma 2.1和2.2的时空估计，例如Lemma 2.1中的加权能量不等式包含项 $|k|^2\|e^{\epsilon\nu^{1/3}t}u\|_{L^2L^2}^2$ 、 $\nu^{\frac12}|k|\|e^{\frac12\epsilon\nu^{1/3}t}\omega\|_{L^\infty L^2}^2$ 等，右端含初始数据和源项 $$f_1,f_2,f_3,f_4$$ 的加权 $$L^2$$ 或 $$H^1$$ 范数，依赖边界层估计（2.12）–（2.15）。Lemma 2.2处理温度方程，给出类似但不同的时空控制。
（iii）Proposition 2.3由引理直接导出，提供系统（2.1）的时空估计（2.33）–（2.34）。
（iv）非线性稳定性通过 vorticity 方程的散度形式（1.5）实现，将非线性项 $u\cdot\nabla\omega$ 写成 $\nabla\cdot(\omega u)$ ，以便高频-低频相互作用分析（高频速度 $$u$$ 与低频涡度 $\omega$ 等），结合时空估计逐频率控制。时间依赖流 $$U(t,y)$$ 带来的额外源项 $$G_j$$ 通过 $$U$$ 的时间正则性（热方程平滑效应）和几何级数求和（(2.40)）控制。

4. 与之前工作的比较

针对单调剪切流或Couette流，二维Boussinesq方程的稳定性阈值研究在渐近稳定性框架下已有系列工作。在无限通道 $\mathbb{R}\times\mathbb{R}$ 中，Wang-Wang [31] 得到阈值 $(\nu^{\frac34},\nu^{\frac56})$ ，后Chen-Wang-Yang [12] 改进至 $(\nu^{\frac13+},\nu^{\frac23+})$ 。在有限通道 $\mathbb{T}\times[-1,1]$ 中，Masmoudi-Zhai-Zhao [26] 针对非滑移边界条件给出阈值上界 $(\nu^{\frac12},\nu^{\frac{1}{12}})$ ；而在无限通道 $\mathbb{R}\times[-1,1]$ 中，Liang-Wu-Zhai [24] 将温度阈值从 $\nu^{\frac16}$ 提升至 $\nu^{\frac12}$ 。本文在有限通道 $\mathbb{T}\times[0,1]$ 中针对时间依赖的单调剪切流，首次建立了过渡阈值结果 $(\nu^{\frac12},\nu^{\frac56})$ ，其速度阈值 $\nu^{1/2}$ 与[23]中Navier-Stokes方程单调剪切流结果一致，温度阈值 $\nu^{5/6}$ 与无限通道Boussinesq方程Couette流结果[24]匹配，体现了阈值的最优性。主要新挑战来自线性算子的时间依赖性以及单调流（非Couette流）导致Orr-Sommerfeld方程中的非局部项 $\Delta^{-1}\partial_x^2$ ，破坏了标准谱结构，需更精细的时空估计和边界层分析。

4. 粘性强迫主动标量方程中的长时间动力学与异常能量耗散

Long time dynamics and anomalous dissipation of energy in viscous forced active scalar equations

作者: Susan Friedlander, Anthony Suen

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16173v1

摘要翻译: 我们研究了一簇在分数阶拉普拉斯算子框架下的抽象对流-扩散方程。该体系包含两个独立的扩散参数：其一通过作用于未知标量的阻尼算子引入，其二是作为分数阶拉普拉斯算子的系数。我们在特定的参数 regimes 与极限情形下建立了存在性与收敛性结果。特别地，我们证明了对于长时间平均解，不存在异常能量耗散现象。此外，我们探讨了长时间动力学行为，并证明了唯一全局吸引子的存在性。这些结果进而应用于地球物理流体动力学中两类特定的主动标量方程，即表面准地转方程与磁地转方程。

Comment: 无

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

1. 研究对象和背景

论文研究一个抽象家族强迫主动标量方程，定义在区域 $\Omega = (0,\infty) \times \mathbb{T}^d$ 上，其中 $$d=2$$ 或 $$3$$ 。方程形式为

\partial_t \theta + u\cdot\nabla\theta + \lambda D\theta + \kappa \Lambda^\gamma \theta = S,

其中 $\theta$ 是标量未知函数， $$S$$ 是时间无关的强迫项， $\lambda \geq 0$ 是阻尼参数， $\kappa > 0$ 是扩散系数， $\gamma \in (0,2]$ 是分数阶幂， $\Lambda = \sqrt{-\Delta}$ ，阻尼算子 $D = \Lambda + 1$ 。速度场 $$u$$ 由 $\theta$ 通过线性算子 $u_j = \partial_i T_{ij}[\theta]$ 定义， $T_{ij}$ 满足假设A1-A4：A1保证 $$u$$ 无散度；A2保证 $$u$$ 属于 $L^\infty_x \mathrm{BMO}^{-1}$ ；A3给出算子有界性 $\|\Lambda^s u[f]\|_{L^p} \leq C \|\Lambda^s f\|_{L^p}$ ；A4保证 $$u$$ 零均值。该抽象系统涵盖两个重要地球物理流体动力学模型：表面地转方程（SQG，对应 $\lambda=0$ ， $\kappa>0$ ， $\gamma=1$ ，速度由垂直Riesz变换给出）和磁地转方程（MG，对应 $\lambda=0$ ， $\kappa \geq 0$ ， $\gamma=2$ ）。研究动机是分析在分数阶拉普拉斯扩散 $\kappa \Lambda^\gamma$ 和阻尼 $\lambda D$ 共同作用下，长时间动力学行为和解的收敛性，特别是 $\lambda$ 或 $\kappa$ 趋于零的极限，并将结果应用到具体模型。主动标量方程因其非线性非局部性，许多基础问题悬而未决。对于带阻尼项 $\lambda D$ 的方程，此前尚无全局吸引子研究，本文旨在填补这一空白；同时，异常能量耗散现象高度依赖强迫和初始数据，本文重点考察 $\lambda>0$ 情形下无异常耗散的性质。

2. 主要定理或主要结果

论文证明三个核心定理：定理2.1（当 $\lambda>0$ 时 $\kappa\to 0$ 无异常耗散）：设 $\theta_0, S \in L^\infty$ ， $\lambda>0$ ， $\gamma\in(0,2]$ 固定。在假设A1-A4下，对每个 $\kappa \geq 0$ ，方程存在唯一解 $\theta^{(\kappa)}$ 满足

\lim_{\kappa\to 0} \limsup_{t\to\infty} \frac{1}{t} \int_0^t \|\nabla\theta^{(\kappa)}(\cdot,s)\|_{L^2}^2 \, ds = 0.

这表明长时间平均能量耗散率消失，即无异常耗散。定理2.2（当 $\kappa>0$ 时 $\lambda\to 0$ 的 $$H^s$$ 收敛）：设 $\kappa>0$ ， $\gamma\in(0,2]$ 给定， $\theta_0, S \in C^\infty$ 满足(1.3)。在假设A1-A2、A3’（更强正则性，与MG一致）和A4下，若 $\theta^{(\lambda)}$ 和 $\theta^{(0)}$ 分别是 $\lambda>0$ 和 $\lambda=0$ 的光滑解，则对所有 $s \geq 0$ 和 $t \geq 0$ ，

\lim_{\lambda\to 0} \|\theta^{(\lambda)}(\cdot,t) - \theta^{(0)}(\cdot,t)\|_{H^s} = 0.

定理2.3（全局吸引子存在性）：设 $S \in L^\infty \cap H^1$ 。对 $\lambda \geq 0$ ， $\kappa>0$ ， $\gamma\in(0,2]$ ，在假设A1-A2、A3’和A4下，解算子 $\pi^\lambda(t): H^1 \to H^1$ 存在唯一全局吸引子 $\mathcal{A}^G_\lambda$ 。进一步，若 $\lambda$ 和 $\gamma$ 满足 $\lambda \geq 0$ 且 $\gamma\in[1,2]$ ，或 $\lambda>0$ 且 $\gamma\in(0,2]$ ，则 $\mathcal{A}^G_\lambda$ 具有性质：完全不变性（ $\pi^\lambda(t)\mathcal{A}^G_\lambda = \mathcal{A}^G_\lambda$ 对所有 $t \geq 0$ ）；在 $$H^1$$ 有界不变集类中最大；具有有限分形维数（当 $\lambda>0$ 时）。Remark 2.4指出定理2.2和2.3中用A3’替代A3，定理2.1通过构造平稳统计解证明。

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

研究方法结合泛函分析、概率测度理论和动力系统理论。关键技术包括：

平稳统计解构造：对定理2.1，定义 $\kappa>0$ 时的平稳统计测度 $\mu^{(\kappa)}$ （Definition 4.2）和 $\kappa=0$ 时的 $\mu$ （Definition 4.4），要求测度满足能量平衡式和矩条件。核心是证明映射 $\theta \mapsto \langle N^{(\kappa)}(\theta), \Psi'(\theta) \rangle$ （分解为 $$F_1,F_2,F_3$$ ）在 $$L^p$$ 有界集（ $1\leq p<2$ ）上局部有界且弱连续（Proposition 4.3）。这依赖于Proposition 4.1给出的 $$L^p$$ 估计和一致可积性，以及交换子估计（公式3.6）和算子 $$u$$ 的有界性（1.5）。由Theorem 4.5，支持集有界的平稳统计测度序列 $\mu^{(\kappa)}$ 弱收敛到 $\mu$ ，结合能量平衡导出无异常耗散。
$$H^s$$ 解存在与收敛：定理2.2的证明在Section 5。存在性（Theorem 5.2）依赖对分数阶拉普拉斯的精细估计和假设A3’（可能要求 $T_{ij}$ 在更高空间有界，如MG情形）。收敛性（Subsection 5.2）需估计 $\theta^{(\lambda)}-\theta^{(0)}$ 的演化，利用线性化算子的正则性和 $\lambda\to 0$ 时的稳定性。
全局吸引子理论：对定理2.3，在Section 6分析解算子 $\pi^\lambda(t)$ 在 $$H^1$$ 的渐近紧性。证明 $\mathcal{A}^G_\lambda$ 存在、紧、不变，并证明有限分形维数（当 $\lambda>0$ 时用Chelbanoff-Colin定理或迭代差分方法）。吸引子性质在 $\lambda\to 0$ 时的行为在Section 7对MG具体模型研究，证明上半连续收敛。核心工具：分数阶拉普拉斯算子 $\Lambda^\gamma$ 及其谱性质；阻尼算子 $$D$$ ；算子 $T_{ij}$ 的假设A1-A4确保速度场 $$u$$ 的光滑性；Sobolev空间 $$H^s$$ 及其嵌入（3.1-3.4）；乘积和交换子估计（3.5-3.6）；能量方法；概率测度弱收敛紧性；全局吸引子存在性标准（如一致渐近紧性）。

4. 与之前工作的比较

论文与先前文献有紧密联系并取得进展：

与主动标量方程一般研究相比：本文考虑同时含 $\kappa$ 和 $\lambda$ 的抽象系统，而许多先前工作只关注单一参数。例如，对临界SQG（ $\lambda=0$ ， $\gamma=1$ ），全球适定性由[KNV07, CV10]解决，长时间动力学在[CIN25, CMZ24, CMZO25, JZs24, Zla25]等深入。对MG（ $\lambda=0$ ， $\gamma=2$ ），[FS15, FS18, FS19]证明经典解存在、 $\kappa\to 0$ 收敛，[FS21]证明 $$L^2$$ 全局吸引子存在及 $\lambda\to 0$ 收敛。本文将这些结果推广到允许 $\lambda>0$ 的通用框架，并系统研究吸引子性质。
关于阻尼项 $\lambda D$ ：此前无主动标量方程带 $\lambda D$ 的全局吸引子结果；[SGST26]对Cahn-Hilliard/Allen-Cahn方程证明指数吸引子存在，但本文针对主动标量建立全局吸引子（定理2.3），填补空白。
异常耗散：[CTV14]对带强迫的临界SQG证明 $\lambda>0$ 时无异常耗散（即定理2.1的特例）。本文将该结论扩展到一般主动标量族，包括MG。相反，[AV25]在无强迫情形构造速度场 $u \in C^0_t C^\alpha_x \cap C^\alpha_t C^0_x$ （ $\alpha<1/3$ ）使被动标量方程出现异常耗散，说明强迫和初始数据的关键作用，本文确认 $\lambda>0$ 时无异常耗散。
收敛性：对 $\lambda\to 0$ ，[FS21]对MG证明全局吸引子收敛，本文给出更一般的 $$H^s$$ 解收敛（定理2.2）和吸引子收敛（Section 7）。对 $\kappa\to 0$ ，Navier-Stokes中异常耗散消失等价于解收敛[Kat84, Wan01]，但本文通过平稳统计解方法处理非局部算子，不直接依赖解收敛，而是通过测度收敛和能量平衡。
技术贡献：本文引入平稳统计解方法处理分数阶扩散，Proposition 4.3中证明 $$F_3$$ 的弱连续性需精细处理非局部算子 $u[\theta]$ 的交换子，这在 $$L^p$$ （ $$p<2$$ ）有界集上非显然。吸引子分形维数估计在 $\gamma=2$ 时可改进到 $$H^2$$ （Remark 6.13），与MG的高正则性一致。

5. 稳定状态下广义三维Muskat问题的存在性、渐近行为及收敛性

Existence, asymptotic behaviour and convergence of a generalised 3D Muskat problem in stable regime

作者: Qasim Khan, Anthony Suen, Bao Quoc Tang

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16172v1

摘要翻译: 本文研究了由两种不同密度的不可压缩流体在稳定状态下构成的流体界面问题所衍生的广义三维α-Muskat模型。我们证明了当α∈[0,1)时模型具有局部时间适定性，并在α∈[0,1/2)且初始数据受显式常数控制的条件下，进一步证明了强解的全局时间存在性。我们获得了关于解及其梯度L^∞范数的极大值原理，并进一步推导出这些L^∞范数对应的衰减率。最后，还证明了当α趋近于0^+时强解的若干收敛性结果。

Comment: 无

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

1. 研究对象和背景

本论文研究一个广义的三维α-Muskat模型，该模型源于两种不同密度不可压缩流体在稳定区域（denser fluid below）的界面问题。系统由守恒律（1.1）、带参数α∈[0,1)的达西定律（1.2）以及不可压缩条件（1.3）构成。界面f(x₁,x₂,t)将空间分为两个区域Ω₁和Ω₂，密度ρ(·)取两个正常数ρ₁和ρ₂构成的阶梯函数形式（1.4）。通过两次旋度运算并利用不可压缩性，可将速度场u用密度ρ通过Dirichlet-to-Neumann算子表示为（1.5）式。代入后得到界面演化方程（1.6），即广义α-Muskat问题，其奇异积分核中含有参数α。当α=0时，系统退化为经典的不可压缩多孔介质方程（Darcy律），研究可追溯至Muskat [Mus34]关于 porous medium 中油水置换的原始工作。

2. 主要定理或主要结果

论文的核心结果分为四部分：

局部适定性：对任意α∈[0,1)，若初始界面f₀属于具有k≥4阶导数的Sobolev空间Hᵏ(ℝ²)，则存在唯一局部解f∈C¹([0,T]; Hᵏ(ℝ²))。
全局存在性：对α∈[0, 1/2)，若初始数据满足显式常数条件f₀的某种Besov或Sobolev型范数（定义为（3.1）的k₀(α)）小于一个特定常数，则存在全局唯一经典解f∈C([0,∞); Hᵏ(ℝ²))。该结果依赖于附录A中构造的常数k₀(α)满足级数条件（3.2）。
最大原理与衰减率：证明了界面函数f及其梯度的L^∞范数满足最大原理，并获得了这些范数随时间的衰减率。
收敛性：当参数α→0⁺时，在满足（2.10）一致估计的强解族中，解收敛于α=0时的经典三维Muskat问题的解。

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

核心算子与模型构建：通过两次旋度将速度u表示为u[ρ] = Λ⁻²⁺α∇ρ，其中Λ = √(-Δ)。该伪微分算子符号为|k|^{2α-2}乘以密度傅里叶变换的线性组合，具有偶函数性质（见第3页），这是与奇异拟地转方程[CCC⁺12]的关键区别。
能量估计方法：局部适定性证明采用标准能量法。对界面方程（1.6）乘以f并积分得到L²能量演化方程（第5页），拆分为三部分I₁、I₂、I₃。利用基本定理、分部积分及Sobolev嵌入，将I₁、I₂、I₃分别控制在f的H²范数及C²,δ范数组合中，得到(2.1)式：d/dt∥f∥{L²} ≤ C(∥f∥{C²,δ}³+1)。类似地，对∂₁ᵏf（1≤k≤4）进行估计，得到高阶能量不等式(2.5)(2.6)，合并后得(2.7)：d/dt∥f∥{H⁴} ≤ C(∥f∥{C²,δ}⁴+1)，结合Grönwall不等式得到局部存在性(2.8)。唯一性通过差函数f̃的L²估计完成，得到I₆+I₈ ≤ C(M)∥f̃∥_{L²}²，而I₇通过复杂分部积分及对称性控制。
全局存在性技术：关键在证明最大原理（Lemma 3.1），即f的“一阶”范数∥f∥{k₁} (定义(3.1))保持有界。利用(1.6)的等价形式∂ₜf = Λ^{1+α}(f) - N_α(f)进行分析。通过泰勒展开核函数R_α(z) = ∑{n≥1} (-1)^{n-1} a_n |z|^{2n}（a_n显式表达），并将N_α(f)表示为多重卷积形式。在条件f₀的∥·∥{k₁}范数小于k₀(α)（由级数(3.2)保证）下，证明(3.4)式：∥N_α(f)∥{k₁} < ∥Λ^{1+α}f∥{k₁}，从而d/dt∥f∥{k₁}² ≤ 0，得到∥f(t)∥{k₁} ≤ ∥f₀∥{k₁}。结合局部适定性中的Hᵏ估计，便得全局解。
收敛性证明：利用α不同时的解f_α满足一致估计（2.10）及紧性方法，证明当α→0⁺时，解序列收敛至经典Muskat方程的解。

4. 与之前工作的比较

与经典三维Muskat问题对比：经典问题（α=0）由Córdoba-Gancedo [CG07, CG09] 证明局部适定性，Constantin等[CCG⁺16]在初始数据满足显式常数条件下获得全局存在性。本文将Darcy律中的Laplacian替换为α阶分数阶Laplacian，是首次系统研究三维情形下的广义模型。
与二维广义模型对比：Friedlander等[FGSV12]在二维研究了类似α修改的模型，获得局部适定性。本文将该参数推广至三维，面临更高阶导数和更复杂的积分核，能量估计中需控制更多项（如I₁中出现的(1+f²)^{-(2+α)/2}因子）。
与三维全局适定性最新进展对比：Gancedo-Lazar [GL22] 近期在临界空间Ḣ²∩Ẇ^{1,∞}中证明了α=0时全局适定性（对任意斜率）。本文的全局结果（Theorem 3.1）条件更强：要求α<1/2且初始数据满足特定显式常数条件（依赖α），但提供了L^∞范数衰减等新信息。两者方法不同：[GL22] 使用模连续性技术，本文则直接能量估计与级数控制。
与不稳定区域结果的对比：在不稳定区域（ρ₁>ρ₂），二维[ SCH04 ]存在奇性形成，三维[CG07]亦有爆破。本文始终在稳定区域（ρ₂>ρ₁）讨论，得到的最大原理和衰减率依赖于该稳定性假设。

6. 广义电子磁流体动力学方程解的存在性、唯一性与正则化效应

Existence, Uniqueness, and Smoothing for Generalized EMHD

作者: Chao Wu

类别: math.AP

发布日期: 2026-03-16

arXiv ID: 2603.15986v1

摘要翻译: 本文研究广义电子磁流体动力学（EMHD）方程的柯西问题。在临界索伯尔空间中，我们证明了局部解的存在唯一性，并在初始数据充分小的条件下建立了全局解的存在唯一性。此外，我们证明了相应解具有瞬时正则化效应。最后，我们推导出全局解的时间衰减率估计。

Comment: 无

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

1. 研究对象和背景

本文研究广义电子磁流体动力学(EMHD)系统的Cauchy问题，其模型方程为 $B_t + \mu\Lambda^\kappa B + \nabla\times((\nabla\times\Lambda^{-s}B)\times B) = 0$ ，并满足散度约束 $\nabla\cdot B=0$ 。该系统源自Hall磁流体动力学，通过假设离子流静止得到，用于描述等离子体中的快磁重联现象。参数 $\kappa$ 表示耗散阶数， $$s$$ 与Hall项的非线性结构相关。通过缩放不变性分析，确定临界Sobolev空间为 $\dot{H}^{\sigma_c}$ ，其中 $\sigma_c = 3.5 - s - \kappa$ 。已有研究表明，当 $\kappa \leq 1$ 时系统ill-posed，而 $\kappa > 1$ 在次临界空间有局部适定性。本文致力于参数区域 $1 < \kappa < 2$ （超临界与临界regime），旨在建立临界空间中的适定性理论，填补该区域的研究空白。

2. 主要定理或主要结果

核心结果包括局部存在唯一性、小初值全局解、瞬时Gevrey光滑性及时间衰减率。定理3.1断言：若 $s > -\frac{1}{2}$ 且 $2-2s < \kappa < 2.5-s$ ，则对任意初值 $B_0 \in \dot{H}^{\sigma_c}$ ，存在 $$T>0$$ 和唯一解 $$B$$ ，满足 $B \in C([0,T);\dot{H}^{\sigma_c}) \cap L^2(0,T;\dot{H}^{\sigma_c+\kappa/2})$ 。进一步，对任意 $0<\delta<\alpha\leq 1$ （ $\delta$ 充分小），存在递增函数 $\lambda(t)$ （ $\lambda(0)=0$ ）使得 $\|B(t)\|_{G_{\lambda(t)}^{\alpha},\sigma_c+\delta} \leq C \|B_0\|_{\dot{H}^{\sigma_c}} t^{-\frac{\kappa\delta}{\alpha}}$ 对所有 $$0<t<T$$ 成立。若 $\|B_0\|_{\dot{H}^{\sigma_c}}$ 充分小，则全局解存在（ $T=\infty$ ）。由此推导的推论3.1.1给出时间衰减率：对任意整数 $$k>0$$ ，有 $\|D^k B(t)\|_{\dot{H}^{\sigma_c+\delta}} \leq C_k \|B_0\|_{\dot{H}^{\sigma_c}} t^{-k+\frac{\kappa\delta}{\alpha}}$ ，其中 $\lambda(t) = \epsilon t^{\alpha/\kappa}$ ， $\epsilon>0$ 充分小。

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

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

摘要翻译

中文标题: 局部有限图上波动不等式系统的无解性结果

摘要翻译: 设 $$V$$ 为一个局部有限、连通且赋权的图。本文研究以下系统非平凡、非负解的不存在性结果：

\begin{cases} u_{t t}-\Delta u \geq h_1|u|^p & \text { 在 } V \times(0, \infty) \text{ 上}, \\ v_{t t}-\Delta v \geq h_2|v|^q& \text { 在 } V \times(0, \infty) \text{ 上}, \\ u=u_0;\;v=v_0 & \text { 在 } V \times\{0\} \text{ 上}, \\ u_t=u_1;\;v_t=v_1 & \text { 在 } V \times\{0\} \text{ 上}, \end{cases}

其中 $$p,q>1$$ ， $$h_1, h_2$$ 为正势函数。在球的体积增长条件满足一定要求下，我们证明该系统不存在非平凡的非负解。特别地，我们的结果将文献 [\textit{D.~D.~Monticelli, F.~Punzo, and J.~Somaglia. Nonexistence results for the semilinear wave equation on graphs. arXiv.2506.08697, 2025.}] 中单个不等式情形下的结论自然地推广到了方程组情形。

9. 有界Lipschitz柱体上抛物型L^p Neumann问题可解性的外推

Extrapolation of solvability of the parabolic $$L^p$$ Neumann problem on bounded Lipschitz cylinders

作者: Martin Dindoš, YingYi Liu

类别: math.AP, math.CA

发布日期: 2026-03-16

arXiv ID: 2603.15898v1

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

摘要翻译

中文标题: 有界Lipschitz柱体上抛物型L^p Neumann问题可解性的外推

摘要翻译: 第一作者与Li、Pipher近期的一项成果证明了在形如 $\Omega=\{(x',x_n):\,x_n>\varphi(x')\}\times\mathbb R$ 的无界图区域（其中 $\varphi:\mathbb R^{n-1}\to\mathbb R$ 为Lipschitz函数）上，抛物型 $$L^p$$ Neumann问题可解性的外推性。该结果表明：若方程 $Lu=-\partial_t u+\mbox{div}(A\nabla u)=0$ 在 $\Omega$ 中的 $$L^p$$ 抛物型Neumann问题，以及其伴随方程 $L^*u=\partial_t u+\mbox{div}(A\nabla u)=0$ 在 $\Omega$ 中的 $L^{p'}$ 抛物型Dirichlet问题均可解，则方程 $$Lu=0$$ 在 $\Omega$ 中的 $$L^q$$ 抛物型Neumann问题对所有 $$1<q<p$$ 均可解。

然而，上述论文未解答如下问题：对于形如 $\mathcal O\times\mathbb R$ 的区域（其中 $\mathcal O$ 为有界Lipschitz域（关于空间变量）），上述结论是否仍然成立？因为无界情形的论证方法无法直接推广到此情形。事实上，有界Lipschitz柱体情形需要显著不同的处理方法，本文提出并发展了这样的方法，在 $\mathcal O$ 为有界Lipschitz域时证明了类似结论。

不相关论文（基本信息）

1. 同轴电磁阶跃折射率光纤的模式基矢

Modal bases of coaxial electromagnetic step index fibers

作者: Martin Halla

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16716v1

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

摘要: We consider the eigenvalue problem to find the modes of an electromagnetic coaxial step index fiber. More specific, we consider a closed (meaning PEC boundary conditions) cylindrical waveguide with circular cross section $$Γ$$ , wave propagation modeled by the time-harmonic Maxwell’s equations with frequency $$ω$$ , the permeability $$μ$$ and the permittivity $$ε$$ being scalar, uniformly positive, piece-wise constant and depending only on the radial variable of the cross section. We prove that if the deviation from the homogeneous case is small, i.e., $δ_{ε,μ}:=\|ε-ε_0\|_{L^\infty}+\|μ-μ_0\|_{L^\infty}\ll1$ , then the tangential electric (magnetic) fields of the modes form a Riesz basis in $\mathbf{H}_{0}(\operatorname{curl}_Γ;Γ)$ ( $\mathbf{H}(\operatorname{curl}_Γ;Γ)$ ). For a constant permeability (permittivity) the Riesz basis property for the tangential electric (magnetic) fields holds also in the natural trace space $\mathbf{H}_{0}^{-1/2}(\operatorname{curl}_Γ;Γ)$ ( $\mathbf{H}^{-1/2}(\operatorname{curl}_Γ;Γ)$ ). These results hold also for complex frequencies $$ω$$ . In addition, if $ω\in\mathbb{R}$ , then for small enough $δ_{ε,μ}$ all wavenumbers are located on the axes and there exist no backward modes. Key tools in the analysis are a particular reformulation of the eigenvalue problem, the perturbation theory for selfadjoint operators under a local subordinate condition and uniform properties of Bessel functions.

2. 临界-凹基尔霍夫方程正解的多重性与渐近行为

Multiplicity and asymptotics of positive solutions for critical-concave Kirchhoff equation

作者: Zhi-Yun Tang, Gui-Dong Li, Yong-Yong Li

类别: math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16634v1

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

摘要: This paper focuses on the critical Kirchhoff equation with concave perturbation \begin{align*} \begin{cases} \displaystyle -\Big(a+b\int_Ω|\nabla u|^2dx\Big)Δu=|u|^4u+λ|u|^{q-2}u\ \ &\mbox{in}\ Ω, \displaystyle u=0\ \ &\mbox{on}\ \partialΩ, \end{cases} \end{align*} where $$Ω$$ is a smooth bounded domain in $\mathbb{R}^3$ , $$a,b,λ>0$$ and $$1<q<2$$ . By the constrained minimization methods, the mountain pass theorem and the concentration-compactness principle, we verify the multiplicity of positive solutions for $$λ>0$$ small enough. Moreover, we analyse the asymptotic behaviour of positive solutions as $b\rightarrow0$ and $λ\rightarrow0$ , respectively. This work is a counterpart of [A. Ambrosetti et al., J.~Funct.~Anal. 1994] for the Kirchhoff equation. It is noteworthy that we don’t require that $$b>0$$ is small enough here, which is imposed in the existing literatures to make refined estimates for the mountain pass level.

3. 梯度里奇 soliton 上的 p-双调和映射的刘维尔定理

Liouville theorem on p-biharmonic map from gradient Ricci soliton

作者: Xiangzhi Cao

类别: math.DG, math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16541v1

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

摘要: In this paper, we are devoted to obtain some results on p-biharmonic map from gradient Ricci soliton, especially on two dimensional cigar soliton.

4. 凸平面区域第一狄利克雷本征模式的峰值热通量猜想

The peak heat flux conjecture for the first Dirichlet eigenmode of convex planar domains

作者: Zijian Wang, Jeremy G. Hoskins, Manas Rachh, Alex H. Barnett

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

发布日期: 2026-03-17

arXiv ID: 2603.16452v1

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

摘要: In this paper, we study the scale-invariant quantity

\mathcal{G}(Ω)=\frac{\|\partial_n u_1\|_{L^\infty(\partialΩ)}}{λ_1},

where $$u_1$$ is the first $$L^2$$ -normalized Dirichlet Laplace eigenfunction of a Euclidean domain $$Ω$$ and $$λ_1$$ is its eigenvalue. This is related to the peak boundary heat flux in the long time limit. For convex domains we prove that $\|\partial_n u_1\|_{L^\infty(\partialΩ)}$ is upper-bounded by a (domain-independent) constant multiple of $$λ_1$$ . Using layer potentials, we derive shape-derivative formulae for efficient gradient computations. When combined with high-order Nyström discretization, a fast boundary integral equation solver, and eigenvalue rootfinding, this allows us to numerically optimize $\mathcal{G}$ over a class of rounded polygonal discretized domains. Based on extensive numerical experiments, we then conjecture that, over the set of convex domains, $\mathcal{G}$ is maximized by the semidisk, with the peak flux at the center of the diameter. To lend analytical support to this conjecture, we prove that the semidisk is a critical point of $\mathcal{G}$ under infinitesimal perturbations of its circular arc.

5. 波数显式解析正则性：带有阻抗边界条件的非均匀 Maxwell 方程组

Wavenumber-explicit analytic regularity of the heterogeneous Maxwell equations with impedance boundary conditions

作者: Jens Markus Melenk, David Wörgötter

类别: math.AP, math.NA

发布日期: 2026-03-17

arXiv ID: 2603.16334v1

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

摘要: We consider the time-harmonic Maxwell equations at a nonzero wavenumber $k\in\mathbb{C}$ on a bounded and simply connected Lipschitz domain $$Ω$$ with an analytic boundary $$Γ$$ , on which we impose impedance boundary conditions. We suppose that the (possibly complex-valued) permeability and permittivity tensor fields $\boldsymbolμ^{-1}$ and $\boldsymbol{\varepsilon}$ are piecewise analytic in $$Ω$$ and discontinuous only across certain mutually disjoint analytic surfaces inside of $$Ω$$ . We show that under these circumstances, any weak solution of Maxwell’s equations is piecewise analytic in $$Ω$$ and that the growth of its derivatives can be controlled explicitly in the wavenumber $$k$$ .

6. 弱化假设下路径依赖哈密顿-雅可比方程的极小极大解及其在微分博弈中的应用

Minimax solutions of path-dependent Hamilton–Jacobi equations under weakened assumptions with application to differential games

作者: Mikhail Gomoyunov

类别: math.OC, math.AP

发布日期: 2026-03-17

arXiv ID: 2603.16168v1

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

摘要: We study minimax (generalized) solutions of a Cauchy problem for a (first-order) path-dependent Hamilton–Jacobi equation with co-invariant derivatives under a right-end boundary condition. Under assumptions on the Hamiltonian that are more general than those previously considered in the literature and allow, in particular, a measurable dependence on the first (time) variable, we establish existence, uniqueness, stability, and consistency results for minimax solutions. As an application, we consider a zero-sum differential game for a time-delay system and prove that this game has a value under assumptions more general than the known ones but rather natural being consistent with the Carathéodory conditions.

7. 关于欧氏凸域上拉普拉斯算子诺伊曼特征值分布的注记

A note on the distribution of Neumann eigenvalues of the Laplacian on a Euclidean convex domain

作者: Kei Funano

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

发布日期: 2026-03-17

arXiv ID: 2603.16135v1

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

摘要: We establish two universal inequalities for Neumann eigenvalues of the Laplacian on a Euclidean convex domain.

8. 弗拉索夫-麦克斯韦-朗道平衡的半自主形式化

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

作者: Vasily Ilin

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

发布日期: 2026-03-16

arXiv ID: 2603.15929v1

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

摘要: We present a complete Lean 4 formalization of the equilibrium characterization in the Vlasov-Maxwell-Landau (VML) system, which describes the motion of charged plasma. The project demonstrates the full AI-assisted mathematical research loop: an AI reasoning model (Gemini DeepThink) generated the proof from a conjecture, an agentic coding tool (Claude Code) translated it into Lean from natural-language prompts, a specialized prover (Aristotle) closed 111 lemmas, and the Lean kernel verified the result. A single mathematician supervised the process over 10 days at a cost of $200, writing zero lines of code. The entire development process is public: all 229 human prompts, and 213 git commits are archived in the repository. We report detailed lessons on AI failure modes – hypothesis creep, definition-alignment bugs, agent avoidance behaviors – and on what worked: the abstract/concrete proof split, adversarial self-review, and the critical role of human review of key definitions and theorem statements. Notably, the formalization was completed before the final draft of the corresponding math paper was finished.

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

1. 关于重力Boussinesq方程组Gevrey类稳态解及其在唯一性问题中的应用#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 二维不可压缩各向异性变密度Navier-Stokes方程的全局适定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 有限通道中Boussinesq方程关于二维单调剪切流的定量稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 粘性强迫主动标量方程中的长时间动力学与异常能量耗散#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 稳定状态下广义三维Muskat问题的存在性、渐近行为及收敛性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 广义电子磁流体动力学方程解的存在性、唯一性与正则化效应#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 朗缪尔-布洛杰特薄膜模型中解的稳定化#

摘要翻译#

2. 大初始分布下双物种屏蔽Vlasov-Poisson系统的非线性Landau阻尼#

摘要翻译#

3. 有界区域上具有固定质量的NLS问题的正解精确个数及变号解存在性#

摘要翻译#

4. 时间分数阶薛定谔方程的极大正则性及其在非线性方程中的应用#

摘要翻译#

5. 密集聚焦Ablowitz-Ladik孤子气体及其渐近行为#

摘要翻译#

6. 粗糙傅里叶积分算子的稀疏型估计#

摘要翻译#

7. 带阻尼项的Zakharov-Kuznetsov方程中$L^2$和$H^1$范数的稳定性研究#

摘要翻译#

8. 局部有限图上波动不等式系统的无解性结果#

摘要翻译#

9. 有界Lipschitz柱体上抛物型L^p Neumann问题可解性的外推#

摘要翻译#

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

1. 同轴电磁阶跃折射率光纤的模式基矢#

2. 临界-凹基尔霍夫方程正解的多重性与渐近行为#

3. 梯度里奇 soliton 上的 p-双调和映射的刘维尔定理#

4. 凸平面区域第一狄利克雷本征模式的峰值热通量猜想#

5. 波数显式解析正则性：带有阻抗边界条件的非均匀 Maxwell 方程组#

6. 弱化假设下路径依赖哈密顿-雅可比方程的极小极大解及其在微分博弈中的应用#

7. 关于欧氏凸域上拉普拉斯算子诺伊曼特征值分布的注记#

8. 弗拉索夫-麦克斯韦-朗道平衡的半自主形式化#

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

1. 关于重力Boussinesq方程组Gevrey类稳态解及其在唯一性问题中的应用

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 二维不可压缩各向异性变密度Navier-Stokes方程的全局适定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 有限通道中Boussinesq方程关于二维单调剪切流的定量稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 粘性强迫主动标量方程中的长时间动力学与异常能量耗散

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 稳定状态下广义三维Muskat问题的存在性、渐近行为及收敛性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 广义电子磁流体动力学方程解的存在性、唯一性与正则化效应

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 朗缪尔-布洛杰特薄膜模型中解的稳定化

摘要翻译

2. 大初始分布下双物种屏蔽Vlasov-Poisson系统的非线性Landau阻尼

摘要翻译

3. 有界区域上具有固定质量的NLS问题的正解精确个数及变号解存在性

摘要翻译

4. 时间分数阶薛定谔方程的极大正则性及其在非线性方程中的应用

摘要翻译

5. 密集聚焦Ablowitz-Ladik孤子气体及其渐近行为

摘要翻译

6. 粗糙傅里叶积分算子的稀疏型估计

摘要翻译

7. 带阻尼项的Zakharov-Kuznetsov方程中 $$L^2$$ 和 $$H^1$$ 范数的稳定性研究

摘要翻译

8. 局部有限图上波动不等式系统的无解性结果

摘要翻译

9. 有界Lipschitz柱体上抛物型L^p Neumann问题可解性的外推

摘要翻译

不相关论文（基本信息）

1. 同轴电磁阶跃折射率光纤的模式基矢

2. 临界-凹基尔霍夫方程正解的多重性与渐近行为

3. 梯度里奇 soliton 上的 p-双调和映射的刘维尔定理

4. 凸平面区域第一狄利克雷本征模式的峰值热通量猜想

5. 波数显式解析正则性：带有阻抗边界条件的非均匀 Maxwell 方程组

6. 弱化假设下路径依赖哈密顿-雅可比方程的极小极大解及其在微分博弈中的应用

7. 关于欧氏凸域上拉普拉斯算子诺伊曼特征值分布的注记

8. 弗拉索夫-麦克斯韦-朗道平衡的半自主形式化