生成时间: 2026年09月25日 08:14:44

运行状态: 完成

计划处理论文数量: 63

已完成论文数量: 63

未完成论文数量: 0

重点关注论文数量: 5

了解领域论文数量: 23

不相关论文数量: 35

重点关注论文(完整分析)

1. 关于磁噪声作用下随机磁流体力学系统弱鞅解的存在性

On the existence of a weak martingale solution for a stochastic magnetohydrodynamics system with noise acting in the magnetic field

作者: Jiří Púček

类别: math.AP, math.PR

发布日期: 2026-09-24

arXiv ID: 2609.29747v1

摘要翻译: 我们证明了随机磁流体力学(MHD)系统的解的存在性,其中随机性通过随机初始数据以及仅出现在感应方程中的随机积分引入,而流体方程保持确定性。我们关注绝热指数 $γ$ 满足 $γ> \frac{3}{2}$ 的情形。存在性的证明采用罚函数法进行。我们定义了鞅解的概念,并建立了其存在的充分条件。随后,证明借助随机紧致性方法展开。利用能量不等式,我们推导了以期望表示的先验估计。由于问题的随机本质,我们证明了罚化解的依分布收敛,并验证极限对象是一个鞅解。

Comment: 无

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

1. 研究对象和背景

磁流体力学 (MHD) 方程组是描述导电流体在磁场中运动的核心数学模型,广泛应用于等离子体物理、天体物理及核聚变工程等领域。传统研究主要集中于确定性 MHD 系统,但在实际物理场景中(如恒星核心动力学),外部扰动和测量不确定性使得引入随机项成为必要。本文研究的是一个三维可压缩 Navier-Stokes 方程与 Maxwell 方程耦合的随机偏微分方程系统。具体而言,流体占据子域 $Q_F$,而磁场定义在更大的周期域 $T^3$ 上。系统的未知量为流体密度 $\varrho(t, x)$、速度 $u(t, x)$ 和磁场 $B(t, x)$。

流体部分由连续性方程和动量方程组成:

$$ d\varrho + \text{div}_x(\varrho u) dt = 0, \quad d(\varrho u) + \text{div}_x(\varrho u \otimes u) dt + \nabla_x p dt = \text{div}_x S dt + \varrho \nabla_x G dt + f dt, $$

其中压力 $p = \varrho^\gamma$ ($\gamma > 3/2$),粘性应力张量 $S$ 为牛顿流体形式,$f = \text{curl}_x B \times B$ 为 Lorentz 力。

磁场演化由随机电感方程决定:

$$ dB + \text{curl}_x(B \times u) dt + \text{curl}_x(\eta \text{curl}_x B) dt = \alpha B dW^1 + \text{curl}_x j dW^2, $$

其中 $W^1, W^2$ 为独立的维纳过程,$\alpha$ 为常数,$j$ 为定义在恒星核心区域 $Q_{int}$ 内的随机电流。该方程还受无散度约束 $\text{div}_x B = 0$。

此前,H. Wang 等人在 [4] 和 [5] 中研究了类似的随机 MHD 问题,但存在两个关键缺陷:一是边界条件处理不当导致问题不适定;二是未考虑非线性扩散系数下保持磁场无散度约束所需的正确弱解形式(即忽略了欧姆定律中的“压力”项)。此外,现有结果通常假设流体和磁场定义在同一区域,且缺乏针对非均匀域(流体仅占部分空间)的随机惩罚方法理论。本文旨在填补这一空白,通过引入 Brinkman 型惩罚项将流体限制在 $Q_F$ 内,并利用随机紧性方法证明弱鞅解的存在性。

2. 主要定理或主要结果

本文的主要结果是定理 3.3,证明了在绝热指数 $\gamma > 3/2$ 的条件下,满足特定初始数据条件的随机 MHD 系统存在弱鞅解。

定理 3.3 (惩罚解的收敛性): 设 $\gamma > 3/2$,周期域 $T^3$ 分解为 $Q_{int}, Q_F, Q_{ext}$,其中 $Q$ 和 $Q_F$ 为 $C^{2+\xi}$ 类区域。假设随机初始数据 $(\varrho_0, m_0, B_0)$ 满足:

  1. $\varrho_0 \in L^1(Q_F), \varrho_0 \ge 0$;
  2. $E[\int_{Q_F} (\frac{1}{2}\frac{|m_0|^2}{\varrho_0} + \frac{1}{\gamma-1}\varrho_0^\gamma) dx]^r < \infty$;
  3. $B_0 \in L^2(T^3; \mathbb{R}^3), E[\int_{T^3} |B_0|^2 dx]^r < \infty$ for some $r \ge 4$;
  4. $\int_{T^3} B_0 \cdot \nabla_x \psi dx = 0$ for all $\psi \in C^1(T^3)$.

令 $\beta_n = n \mathbf{1}_{T^3 \setminus Q_F}$ 为惩罚函数,$\eta_n$ 为电阻率 $\eta$ 的光滑近似。若存在一系列定义在 $T^3$ 上的弱鞅解 $U_n = ((\Omega_n, \mathcal{A}_n, (\mathcal{A}_{n,t})_{t \ge 0}, P_n), \varrho_n, u_n, B_n, W^1_n, W^2_n)$,其初始数据分布收敛于目标初始数据,则存在一个联合概率基 $(\Omega, \mathcal{A}, (\mathcal{A}_t)_{t \ge 0}, P)$ 及其上的随机变量序列 $(\tilde{\varrho}_n, \tilde{u}_n, \tilde{B}_n, \tilde{W}^1_n, \tilde{W}^2_n)$,使得:

  1. 分布等价性: $(\tilde{\varrho}_n, \tilde{u}_n, \tilde{B}_n, \tilde{W}^1_n, \tilde{W}^2_n) \sim (\varrho_n, u_n, B_n, W^1_n, W^2_n)$;
  2. 弱收敛性:
    • $\tilde{\varrho}_n \rightharpoonup \varrho$ in $L^\infty(0, T; L^\gamma(T^3))$;
    • $\tilde{u}_n \rightharpoonup u$ in $L^2(0, T; W^{1,2}(T^3; \mathbb{R}^3))$;
    • $\tilde{B}_n \rightharpoonup B$ in $L^2(0, T; W^{1,2}(T^3; \mathbb{R}^3))$;
    • $\tilde{W}^1_n \to W^1, \tilde{W}^2_n \to W^2$ in $C([0, T])$ a.s.
  3. 极限对象性质: 极限元组 $U = ((\Omega, \mathcal{A}, (\mathcal{A}_t)_{t \ge 0}, P), \varrho, u, B, W^1, W^2)$ 是定义 3.1 意义下的弱鞅解。

弱鞅解的定义 (定义 3.1): 弱鞅解不仅要求满足重整化连续性方程、动量方程和随机电感方程的弱形式,还必须满足能量不等式:

$$ \left[\int_{Q_F} E(\varrho, \varrho u) dx + \int_{T^3} \frac{1}{2}|B|^2 dx\right]_{t=0}^{t=\tau} - \int_0^\tau \int_{T^3} \varrho u \cdot \nabla_x G dx dt + \int_0^\tau \int_{Q_F} S : \nabla_x u dx dt + \int_0^\tau \int_{T^3} \eta |\text{curl}_x B|^2 dx dt \le \frac{\alpha^2}{2} \int_0^\tau \int_{T^3} |B|^2 dx dt + \frac{1}{2} \int_0^\tau \int_{T^3} |\text{curl}_x j|^2 dx dt + \int_0^\tau \left(\int_{T^3} \alpha |B|^2 dx\right) dW^1 + \int_0^\tau \left(\int_{T^3} \text{curl}_x j \cdot B dx\right) dW^2. $$

此能量不等式对于补偿唯一性的缺失至关重要。

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

本文的证明框架结合了惩罚方法、Itô 公式应用以及随机紧性方法。

  1. 惩罚方法与域扩展: 由于流体仅在子域 $Q_F$ 中存在,而磁场定义在整个 $T^3$ 上,直接处理混合边界条件较为困难。作者采用 Brinkman 型惩罚项 $\beta_n = n \mathbf{1}_{T^3 \setminus Q_F}$ 添加到动量方程中。当 $n \to \infty$ 时,该项迫使流体速度和密度在 $Q_F$ 外趋于零,从而将原问题转化为定义在整个周期域 $T^3$ 上的问题。这使得可以利用已有的周期性随机 MHD 解的存在性结果(引用自 Wang [4])作为起点。

  2. 能量估计与 Itô 公式: 利用 Itô 公式对电感方程中的 $|B|^2$ 和动量方程中的动能进行能量平衡分析。特别是,对于随机项 $\alpha B dW^1$,Itô 公式产生了额外的漂移项 $\frac{\alpha^2}{2}|B|^2 dt$。这些能量估计提供了先验界,确保了解在有意义的函数空间中的有界性,例如 $\varrho \in L^\infty(L^\gamma)$ 和 $u, B \in L^2(W^{1,2})$。

  3. 随机紧性方法: 这是处理随机 PDE 存在性问题的核心工具。由于随机性,我们不能期望路径一致的强收敛,而是需要证明解序列在分布意义下的收敛性。作者首先建立了一致有界的先验估计,然后利用 Prokhorov 定理证明解序列的概率测度列是相对紧的。接着,通过 Skorokhod 表示定理,在一个新的概率空间上构造出几乎处处收敛的子序列。这一步骤允许我们将弱收敛提升为某种意义上的强收敛(对于某些非线性项的处理至关重要),并最终验证极限对象满足所有必要的弱形式方程和能量不等式。

  4. 无散度约束的保持: 作者特别设计了随机驱动项的形式 $\alpha B dW^1 + \text{curl}_x j dW^2$,以确保其自动保持磁场的无散度性质 $\text{div}_x B = 0$。这是因为 $\text{div}_x(\alpha B dW^1) = \alpha \text{div}_x B dW^1$,若初始无散,则始终无散;而 $\text{curl}_x j$ 天然无散。这一设计避免了 Wang [4] 中因忽略欧姆定律压力项而导致的不适定性。

4. 与之前工作的比较

本文与既有文献的主要区别体现在以下几个方面:

  1. 与 Wang [4] 的比较: Wang 的工作首次建立了类似随机 MHD 系统的弱鞅解存在性,但其存在两个显著缺陷:

    • 边界条件问题: Wang 考虑了磁场 $B$ 的齐次 Dirichlet 边界条件,这在物理上和数学上都是不适定的(过定问题)。本文通过将所有方程定义在周期域 $T^3$ 上并引入惩罚项,巧妙地回避了这一难题,同时保持了物理合理性。
    • 弱解形式的正确性: Wang 在处理一般非线性扩散系数时,未使用基于无散度测试函数的正确弱解形式,忽略了欧姆定律中出现的“压力”项。本文严格遵循正确的弱解定义,确保了无散度约束在随机演化下的保持,从而得到了更严谨的结果。
  2. 域结构的推广: 大多数现有结果假设流体和磁场定义在同一区域。本文创新性地处理了流体占据子域 $Q_F$ 而磁场充满全域 $T^3$ 的情形。这种设置更符合天体物理中恒星(流体核心)嵌入真空或不同介质(磁场延伸区域)的实际场景。通过惩罚方法,作者成功地将这种非均匀域问题转化为均匀域问题,拓展了随机 MHD 理论的适用范围。

  3. 随机项的作用位置: 本文的随机项仅作用于电感方程(磁场演化),而流体方程保持确定性。这与一些研究中随机项同时作用于流体和磁场的情况不同。这种设定反映了恒星核心内部过程的不确定性主要影响磁场生成机制的物理图像。此外,随机项 $\text{curl}_x j dW^2$ 仅支持在恒星核心区域 $Q_{int}$,进一步细化了模型的物理背景。

  4. 技术贡献: 本文将惩罚方法应用于随机 PDE 系统,并结合随机紧性方法处理由此产生的分布收敛问题。这为处理具有复杂几何结构和局部随机扰动的可压缩流体问题提供了一种通用的分析框架。虽然代价是需要处理更复杂的概率空间重构和弱收敛验证,但这种方法克服了直接处理混合边界条件和局部随机项的技术障碍。


2. 毛细重力波携带涡的存在性与稳定性

Existence and stability of capillary-gravity wave-borne vortices

作者: Gregory Slease, Samuel Walsh, Runzhang Zhong

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29791v1

摘要翻译: 在本文中,我们考虑了有限深度二维水体中传播的波所携带的体涡的存在性与稳定性。这些波受重力作用,并位于常压空气区域之下,其中气-水界面为自由边界,且在该边界上纳入了毛细效应。我们考虑两类涡:点涡,其中形式上涡量为 Dirac $δ$;以及空心涡,其中涡核是流体域外的一个常压区域,且围绕该区域的环流量非零。

Comment: 39 pages; 3 figures

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

1. 研究对象和背景

本文研究二维有限深度不可压缩无粘性流体中, 由重力和表面张力驱动的、在流体内部携带点涡或空心涡的行进孤立波 (solitary waves) 的存在性与非线性轨道稳定性. 物理模型设定如下: 流体占据时变区域 $D_t \subset \mathbb{R}^2$, 下方为刚性水平床面 $B = \{x_2 = -d\}$ ($d > 0$), 上方为常压空气. 气液界面 $S_t$ 为自由边界, 且满足 Young-Laplace 定律, 即压力与界面曲率成正比, 比例系数为表面张力系数 $\sigma_s$. 流体内部存在一个悬浮的涡核 $V_t$, 分为两类: 点涡 (point vortex), 其涡量形式上为 Dirac $\delta$ 测度; 以及空心涡 (hollow vortex), 其核心为常压区域, 边界 $\partial V_t$ 上具有非零环量 $\epsilon$. 流体速度场 $v$ 满足 Euler 方程:

$$ (\partial_t v + \nabla \cdot (v \otimes v) + \nabla p + g e_2 = 0, \quad \nabla \cdot v = 0 \quad \text{in } D_t, $$

其中 $g$ 为重力加速度. 流动在流体主体内是无旋的 ($\nabla^\perp \cdot v = 0$), 但绕涡核的环量为常数 $\epsilon$. 边界条件包括运动学条件 (自由边界随流体运动) 和动力学条件 (Bernoulli 方程结合 Young-Laplace 定律). 对于点涡, 还需补充 Helmholtz-Kirchhoff 方程描述涡中心的运动.

在数学物理领域, 稳态水波的存在性是一个经典问题, 但涉及旋转 (rotational) 水波的研究直到近二十年才取得显著进展. 此前的工作主要关注非局域涡量或慢速波 (wave speed is perturbative, 即波速相对于特征速度很小). 特别是, 关于毛细-重力波承载涡 (capillary-gravity wave-borne vortices) 的研究大多局限于波速 $O(\beta)$ (小振幅参数) 的情形, 且稳定性分析几乎空白. 已有文献如 Varholm [23] 构造了慢速的毛细-重力波承载点涡, Chen et al. [2] 构造了快速的重力波承载点涡, 但缺乏对强表面张力下快速波的系统研究. 此外, 空心涡的构造通常依赖于复变函数方法 (如 Crowdy [7]) 或在无重力情形下, 而在有重力和表面张力的有限深度情形下, 尤其是当波速为 $O(1)$ 时, 相关理论尚属空白. 本文旨在填补这一空白: 首次构造波速为 $O(1)$ 的毛细-重力波承载点涡和空心涡, 并证明小振幅点涡的条件轨道稳定性.

2. 主要定理或主要结果

本文的主要结果包含三个定理:

定理 1.2 (波承载点涡的存在性): 固定 $k \ge 2$ 和 $\alpha \in (0, 1)$. 对于任意超临界 Bond 数 $B_s^0 > 1/3$ 和亚临界 Froude 数 $F_0 \in (0, 1)$, 存在一个三参数族 $\mathcal{M}_{loc}$ 的孤立毛细-重力水波, 携带一个淹没的点涡, 满足稳态方程 (1.3). 该族具有以下性质: (a) $\mathcal{M}_{loc}$ 具有实解析参数化 $(u_{\beta,F,B_s}, z_{\beta,F,B_s}, \gamma_{\beta,F,B_s}, S_{\beta,F,B_s})$, 其中 $|\beta| < \beta_0$, $|F - F_0| + |B_s - B_s^0| < \delta$. 这里 $\beta$ 是涡中心距床面的高度 (主导项). (b) 自由表面 $S_{\beta,F,B_s}$ 是函数 $\eta_{\beta,F,B_s} \in C^{k+\alpha}(\mathbb{R}) \cap H^k(\mathbb{R})$ 的图像, 且具有渐近行为:

$$ \eta_{\beta,F,B_s} = O(\beta^2) \quad \text{in } C^{k+\alpha}(\mathbb{R}) \cap H^k(\mathbb{R}), $$

$$ z_{\beta,F,B_s} = \left(0, -1 + \beta + O(\beta^3)\right), $$

$$ \gamma_{\beta,F,B_s} = 4\pi\beta + \frac{4}{3}\pi^3\beta^3 + O(\beta^5). $$

(c) $\mathcal{M}_{loc}$ 包含平凡解邻域内所有关于 $x_2$ 轴对称的解.

定理 1.3 (波承载空心涡的存在性): 固定 $k \ge 2$, $\alpha \in (0, 1)$, $\lambda > 1$. 假设要么 $B_s > 1/3$ 且 $F^2 < 1$, 要么 $B_s = 0$ 且 $F^2 > 1$. 对于任意 $B_v > 0$, 存在一条曲线 $\mathcal{K}_{loc}$ 的孤立波承载空心涡, 满足: (a) $\mathcal{K}_{loc}$ 具有实解析参数化 $(u_\rho, \gamma_\rho, q_\rho, S_\rho, V_\rho)$, 其中 $0 < \lambda\rho \ll 1$. 在此族中 $B_s, B_v, F$ 固定. (b) 自由表面 $S_\rho$ 是 $C^{k+\alpha}$ 函数的图像, 涡核边界 $\partial V_\rho$ 具有极坐标参数化:

$$ \partial V_\rho = \{-e_2 + \rho (R_\rho(\theta) \cos \theta, \lambda + R_\rho(\theta) \sin \theta) : \theta \in [0, 2\pi)\}, $$

其中 $R_\rho \in C^{k+\alpha}_{per}([0, 2\pi])$. 渐近行为为:

$$ R_\rho = 1 + O(\rho^2) \quad \text{in } C^{k+\alpha}_{per}([0, 2\pi]), $$

$$ \eta_\rho = O(\rho^2) \quad \text{in } C^{k+\alpha}(\mathbb{R}), $$

$$ \gamma_\rho = O(\rho^2), \quad q_\rho = O(\rho^{-1}). $$

定理 1.4 (稳定性): 设 $(\eta_{\beta,F,B_s}, \phi_{\beta,F,B_s}, z_{\beta,F,B_s}) \in \mathcal{M}_{loc}$ 是由定理 1.2 构造的携带点涡的孤立波. 则该波是条件轨道稳定的. 具体而言, 对于任意 $R, r > 0$, 存在 $r_0 > 0$ 使得若 $u = (\eta, \phi, z)$ 是系统 (1.7) 在 $[0, t_0)$ 上的解, 满足先验界:

$$ \sup_{t \in [0, t_0)} \left( \|\eta(t)\|_{H^{3+}} + \|\phi(t)\|_{\dot{H}^{5/2} \cap X_2} + |z_2(t)| \right) < R, $$

且初始数据满足:

$$ \|\eta(0) - \eta_{\beta,F,B_s}\|_{H^1} + \|\phi(0) - \phi_{\beta,F,B_s}\|_{X_2} + |z(0) - z_{\beta,F,B_s}| < r_0, $$

则对所有 $t \in [0, t_0)$:

$$ \sup_{t \in [0, t_0)} \inf_{s \in \mathbb{R}} \left( \|\eta(t, \cdot - s) - \eta_{\beta,F,B_s}\|_{H^1} + \|\phi(t, \cdot - s) - \phi_{\beta,F,B_s}\|_{\dot{H}^{1/2} \cap X_2} + |z(t) + s e_1 - z_{\beta,F,B_s}| \right) < r. $$

这里 $X_2$ 是由范数 $\|\cdot\|_{X_2} := \||\partial_{x_1}| \tanh |\partial_{x_1}| \cdot \|_{L^2(\mathbb{R})}$ 定义的 Schwartz 函数的闭包空间.

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

本文的证明框架主要依赖于隐函数定理 (Implicit Function Theorem) 和 Hamiltonian 系统的稳定性分析.

1. 点涡存在性的构造 (Section 2): 核心障碍在于处理表面张力引入的 Wentzell 型边界条件以及波速为 $O(1)$ 时的线性化算子可逆性. 作者采用共形映射 (Conformal Mapping) 将物理域 $D$ 拉回到固定的规范域 $\Omega^+$ (上半带). 通过 Schwarz 反射原理处理床面边界条件, 并利用对称性简化问题. 在共形域中, 问题被重写为关于共形映射 $f$ 和非线性势流的积分方程组. 关键步骤是证明在平凡层流 (laminar flow) 处的线性化算子是三角矩阵. 对角线的一个条目对应于无旋水波的线性化算子, 在超临界 Bond 数和亚临界 Froude 数条件下是可逆的 (已知结果); 另一个对角线条目来自 Helmholtz-Kirchhoff 模型的线性化, 这是一个有限维算子, 易于验证其可逆性. 利用 Banach 不动点定理或 Lyapunov-Schmidt 分解, 结合隐函数定理, 证明了非平凡解的存在性. 特别地, 作者详细分析了表面张力项对边界条件的影响, 确保在 $B_s > 1/3$ 时线性化算子的谱隙性质得以保持.

2. 空心涡存在性的构造 (Section 3): 空心涡的构造比点涡更为复杂, 因为涡核边界 $\partial V_\rho$ 上的曲率项在 Bernoulli 条件中表现为 $O(1/\rho)$ 的奇异项. 作者采用“涡去奇化” (Vortex Desingularization) 策略, 但不是直接对点涡去奇化, 而是从平凡无旋波出发, 设想一个半径为 $\rho$ 的空心涡从床面注入流体. 关键的技术挑战在于平衡 $O(1/\rho)$ 的曲率项与动能密度项 $|u|^2/2$. 为此, 作者选择环量 $\gamma = O(\rho^2)$, 从而使得曲率项与动能项在同一阶平衡. 这种标度关系 ($\gamma \sim \rho^2$) 是推导渐近展开的关键. 作者建立了详细的渐近分析, 证明当 $\rho \to 0$ 时, 线性化问题在平凡解处是可逆的. 这涉及到对 $C^{k+\alpha}$ 空间中奇异积分算子的精细估计, 特别是处理核函数中的对数奇性和代数奇性. 最终,通过隐函数定理得到非平凡空心涡族.

3. 稳定性分析 (Section 4): 稳定性证明基于 Grillakis-Shatah-Strauss (GSS) 方法的推广版本, 该方法专门用于处理具有状态依赖 Poisson 映射的非正则 Hamiltonian 系统. 首先, 作者将波承载点涡问题重写为 Zakharov-Craig-Sulem 形式的 Hamiltonian 系统:

$$ \frac{du}{dt} = J(u) D E(u), $$

其中 $u = (\eta, \phi, z)$, $J(u)$ 是状态依赖的 Poisson 映射, $E(u)$ 是能量泛函. 由于问题是拟线性的, 能量空间、光滑空间和适定性空间不一致, 因此不能直接应用标准 GSS 方法. 作者采用了 Varholm, Wahlén, and Walsh [24] 发展的松弛 GSS 方法, 该方法在一组嵌套的空间尺度 $W \hookrightarrow V \hookrightarrow X$ 上建立稳定性, 其中稳定性条件是 $W$ 空间中的先验界. 关键创新在于识别出增广 Hamiltonian (Augmented Hamiltonian) 的 Hessian 算子在涡靠近床面时具有 Morse 指标 1. 具体地, 作者证明唯一的负特征值为 $O(c^2)$, 在本文的 $O(1)$ 波速情形下即为 $O(1)$, 而非扰动量. 同时, 证明不稳定性矩 (moment of instability) 在该范围内严格凸, 从而保证了束缚态 (bound state) 的轨道稳定性. 这里还引入了特殊的函数空间 $X_2$, 以正确处理有限深度下的 Dirichlet-Neumann 算子 $G(\eta)$ 的符号特性.

4. 与之前工作的比较

与既有文献相比, 本文在以下几个方面做出了重要推进:

1. 波速范围与重力/表面张力强度: 此前的工作, 如 Varholm [23], 主要构造了慢速 (slow-moving) 的毛细-重力波承载涡, 其中波速 $c = O(\beta)$ (小振幅参数), 这意味着重力影响相对较弱或被标度掉. Chen, Varholm, Walsh, and Wheeler [2] 虽然构造了快速 ($O(1)$) 的重力波承载点涡, 但未考虑表面张力. 本文首次结合了强表面张力 ($B_s > 1/3$) 和 $O(1)$ 波速, 填补了这一空白. 这使得结果适用于更广泛的物理场景, 例如浅水或中等深度水域中的短波长波, 其中表面张力效应显著.

2. 空心涡的构造方法: 关于空心涡的早期工作, 如 Crowdy [7], 主要使用复变函数方法在无重力情形下构造解. 而 [2] 中通过去奇化点涡构造重力波承载空心涡. 本文的创新在于处理了有表面张力的情形, 特别是当涡核边界也有表面张力 ($B_v > 0$) 时. 作者指出, 此时曲率项的奇异性要求环量 $\gamma$ 必须足够小 ($O(\rho^2)$), 这与无表面张力情形的标度不同. 这种细致的标度分析和渐近展开是本文技术上的核心贡献之一.

3. 稳定性理论的扩展: 关于波承载涡的稳定性, 仅有少量文献涉及. Varholm, Wahlén, and Walsh [24] 证明了深水 (infinite-depth) 毛细-重力波承载涡的条件轨道稳定性, 但仅限于慢速波 ($c = O(\beta)$). Le [14] 研究了同相涡对的线性不稳定性. 本文将稳定性结果扩展到有限深度 (finite-depth) 和快速波 ($c = O(1)$) 情形. 主要困难在于有限深度下 Dirichlet-Neumann 算子的低阶衰减性质不同, 导致需要引入新的函数空间 $X_2$ 来定义能量和动量. 此外, 作者证明了在快速波情形下, Hessian 算子的负特征值不再是扰动量, 这要求重新审视 GSS 方法中的凸性条件, 并成功证明了严格凸性.

4. 局限性与代价: 尽管取得了上述进展, 本文的结果仍有一些限制. 首先, 存在性定理仅保证局部解族 ($\mathcal{M}_{loc}$) 的存在, 未进行全局延拓 (global continuation). 作者指出, 由于表面张力的存在, 无法排除全局解曲线形成闭合环的可能性, 因此不进行全局分析. 其次, 稳定性结果是条件性的, 依赖于解在较高正则性空间 $W$ 中的先验界. 由于波承载点涡问题的长时间适定性尚未完全解决 (特别是 Rayleigh-Taylor 条件可能被违反), 这一条件性是必要的. 最后, 空心涡的构造依赖于 $B_v > 0$ 或特定的 $B_s, F$ 范围, 对于 $B_v = 0$ 且有表面张力的情形, 虽然理论上可行, 但文中未给出完整证明, 仅提及可通过类似方法适应.


3. $\mathbb R^3$ 上受 Wiener 噪声与跳跃噪声驱动的随机驯服 Navier–Stokes 方程. II. 全局 $L^p$ 适定性

Stochastic Tamed Navier–Stokes Equations with Wiener and Jump Noise on $\mathbb R^3$. II. Global $L^p$ Well-Posedness

作者: Bikram Podder, Surendra Kumar

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29411v1

摘要翻译: 我们建立了在 $\mathbb R^3$ 上同时受乘性柱状 Wiener 噪声和补偿 Poisson 噪声驱动的随机驯服 Navier–Stokes 方程的内在延拓准则和有能全局可解性。在局部系数假设下,极大局部 $L^p$ 解($p>3$)满足一个独立于辅助截断函数的爆破替代和一个时间指数为 $2p/(p-3)$ 的 Serrin 准则。驯服项的额外强制性和相容的 $L^2$ 及梯度噪声界给出了散度自由初值 $u_0\in L^p(Ω;L^p)\cap L^2(Ω;L^2)$ 的全局适定性理论。无需小性或初始 $H^1$ 正则性。解具有 càdlàg $L^p\cap L^2$ 路径,并在正时刻获得 $H^1$ 正则性,且带有时间加权的 $H^1$ 和 $H^2$ 估计。证明结合了有能持续性与端点完备化,后者保留了终端 Poisson 跳跃并允许在原唯一类中重启。

Comment: 75 pages, This is the Second part of our previous arXiv manuscript I. Maximal $L^p$ well-posedness

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

1. 研究对象和背景

本文研究在三维无界空间 $\mathbb{R}^3$ 上, 同时受到乘性柱状 Wiener 噪声和补偿 Poisson 随机测度驱动的随机驯服 Navier-Stokes (Tamed Navier-Stokes) 方程. 该方程的确定性部分包含一个额外的耗散项, 即“驯服”项, 其形式为 $g_N(|u|^2)u$, 其中 $g_N$ 是一个非负函数且满足特定的增长与单调性条件. 这一项的存在旨在克服经典三维 Navier-Stokes 方程中非线性对流项导致的能量增长问题, 从而使得全局解的存在性成为可能. 具体而言, 所研究的方程系统如下: $$ \begin{cases} du(t) = \left[ \nu \Delta u(t) - P((u(t) \cdot \nabla)u(t)) - P(g_N(|u(t)|^2)u(t)) \right] dt \

  • P\sigma(t, u(t-)) dW_t + \int_Z PG(t, u(t-), z) \tilde{N}(dt, dz), \ \nabla \cdot u(t) = 0, \ u(0) = u_0, \end{cases} $$ 其中 $P$ 是 Helmholtz-Leray 投影算子, $W_t$ 是定义在可分 Hilbert 空间 $U$ 上的柱状 Wiener 过程, $\tilde{N}$ 是补偿 Poisson 随机测度, $Z$ 是带有 $\sigma$-有限测度 $\mu$ 的状态空间.

在确定性流体动力学中, 驯服 Navier-Stokes 方程的全局存在性与正则性理论已由 Röckner 等人建立. 然而, 当引入随机扰动时, 特别是同时包含连续型 (Wiener) 和不连续型 (Poisson 跳跃) 噪声时, 分析难度显著增加. 已有的随机驯服 Navier-Stokes 方程的研究大多集中在 Hilbert 空间框架下, 例如从 $H^1$ 初始数据出发证明全局强解的存在性 [2, 3]. 这些工作通常依赖于能量空间的紧嵌入性质或特定的结构假设, 且往往要求初始数据具有比 $L^p$ ($p>3$) 更高的正则性, 或者仅处理单一类型的噪声.

另一方面, 对于一般 Navier-Stokes 方程, $L^p$ 局部适定性理论已经相当成熟, 特别是在 $p > 3$ 的范围内, Kukavica 等人的工作建立了全空间上的局部强解理论 [25]. 然而, 将局部的 $L^p$ 解延拓为全局解, 尤其是在存在跳跃噪声的情况下, 面临着独特的分析障碍. 首先, 在 $\mathbb{R}^3$ 上, $L^p$ 范数并不蕴含有限的 $L^2$ 能量或 $H^1$ 正则性; 其次, 跳跃噪声导致解的路径是不连续的 (càdlàg), 这使得基于连续时间积分的传统延拓标准失效, 因为解可能在跳跃时刻瞬间超出局部化水平.

本文旨在填补这一空白: 在保持原始 $L^p$ 唯一性类的前提下, 建立不依赖于构造过程中使用的辅助截断函数的内在延拓准则, 并证明在附加的有限能量假设下, 对于 $L^p \cap L^2$ 类的初始数据, 方程具有全局适定性. 特别地, 本文不需要初始数据的 $H^1$ 正则性或小性条件, 这对于理解粗糙初始数据下的长期行为具有重要意义.

2. 主要定理或主要结果

本文的主要结果包括两个核心方面: 内在延拓准则的建立以及有限能量初值下全局适定性的证明.

  1. 内在延拓准则与 Serrin 型判据: 设 $u$ 是方程 (1.1) 的最大局部 $L^p$ 解, $p > 3$. 定义内在量:

    $$ Q_u(t) := \sup_{0 \le s \le t} \|u(s)\|_p^p + \int_0^t \|u(s)\|_{3p}^p ds, \quad t < \tau_{max}. $$

    定理 3.6 证明了爆发现象的替代条件:

    $$ \mathbb{P}\left( \tau_{max} < \infty, \lim_{t \uparrow \tau_{max}} Q_u(t) < \infty \right) = 0. $$

    这意味着如果最大生存时间有限, 则上述内在量必然发散. 定理 3.7 进一步给出了一个仅涉及原始空间范数的 Serrin 型判据. 令 $r_p := \frac{2p}{p-3}$, 满足 $\frac{2}{r_p} + \frac{3}{p} = 1$. 则:

    $$ \mathbb{P}\left( \tau_{max} < \infty, \int_0^{\tau_{max}} \|u(s)\|_p^{r_p} ds < \infty \right) = 0. $$

    特别地, 在 $\{\tau_{max} < \infty\}$ 上, 几乎必然有 $\limsup_{t \uparrow \tau_{max}} \|u(t)\|_p = \infty$. 这些准则独立于初始数据的 $L^2$ 或 $H^1$ 假设, 且不依赖于构造解时的辅助局部化序列.

  2. 全局适定性与正则性: 在局部系数假设之外, 假设驯服项满足更强的强制性条件:

    $$ 0 \le g_N(r) \le C_\nu r, \quad g'_N(r) \ge 0, \quad c_{N,\nu} := \sup_{r \ge 0} \left( \frac{r}{\nu} - 2g_N(r) \right) < \infty, $$

    并且噪声系数满足兼容的 $L^2$ 和梯度界限 (见公式 (2.11) 和 (H1)). 定理 6.3 证明, 若初始数据 $u_0 \in L^p(\Omega, \mathcal{F}_0; L^p_\sigma(\mathbb{R}^3)) \cap L^2(\Omega, \mathcal{F}_0; L^2_\sigma(\mathbb{R}^3))$ 且 $p > 3$, 则:

    $$ \mathbb{P}(\tau_{max} = \infty) = 1. $$

    即解全局存在. 此外, 对于任意有限 $T > 0$, 几乎必然有:

    $$ u \in D([0, T]; L^p_\sigma \cap L^2_\sigma) \cap L^2(0, T; H^1_\sigma), \quad Q_u(T) < \infty. $$

    这里 $D$ 表示 càdlàg 路径空间.

  3. 正时间的 Sobolev 正则性与加权估计: 通过时间加权估计量化了从有限能量到 Sobolev 正则性的过渡. 命题 4.4 和 定理 6.3 给出:

    $$ \mathbb{E} \left[ \sup_{0 < t \le T} t \|u(t)\|_{H^1}^2 + \nu \int_0^T t \|u(t)\|_{H^2}^2 dt \right] \le C_T (1 + \mathbb{E}\|u_0\|_2^2). $$

    这表明对于任意 $0 < \delta < T$, 几乎必然有:

    $$ u \in D([\delta, T]; L^p_\sigma \cap H^1_\sigma) \cap L^2(\delta, T; H^2_\sigma). $$

    时间权重 $t$ 允许处理初始时刻可能的梯度奇异性, 并为正停止时间处的重启提供可接受的 $H^1$ 数据.

  4. 对初始数据的连续依赖性: 定理 6.5 证明了全局解在原生 $L^p$ 拓扑下对初始数据的连续依赖性. 具体而言, 若初始数据在全局存在类 $L^p(\Omega; L^p_\sigma) \cap L^2(\Omega; L^2_\sigma)$ 中依概率收敛于 $L^p_\sigma$, 则相应的解在每个有限时间区间上依概率一致收敛于 $L^p_\sigma$, 并在 $L^p(0, T; L^{3p}_\sigma)$ 中收敛. 此结论不要求初始数据在 $L^2_\sigma$ 中收敛.

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

本文的证明结合了 $L^p$ 空间的内在分析技术与 Hilbert 空间的能量估计方法, 核心创新在于如何处理跳跃噪声下的端点完成 (endpoint completion) 以及如何在不损失唯一性类的前提下连接局部与全局理论.

  1. 内在延拓准则与端点完成技术: 主要技术障碍在于跳跃噪声导致解的不连续性. 传统的延拓论证通常假设解在终止时刻是连续的, 但在此处, 解可能在终止时刻发生跳跃, 且跳跃后的值可能超出局部化水平, 尽管噪声系数是在受控的跳跃前状态评估的. 作者的创新点在于构建了一个“端点完成”机制. 具体步骤包括:

    • 局部能量耗散的恢复: 从 $Q_u$ 的界出发, 恢复局部能量的耗散率.
    • 尾部控制: 在局部化的有限端点处, 控制确定性和随机尾部的贡献.
    • 终端状态的闭合: 建立一个闭合的停止方程形式, 保留终端的 Poisson 跳跃贡献. 关键在于, 跳跃系数的预测左极限 $u(t-)$ 被用于评估, 从而确保在重启时, 跳跃只被计算一次.
    • 重启与粘贴: 利用 Paper I 中的重启和粘贴结果, 从终端值开始, 使用后续的随机区间进行重启. 由于 Poisson 随机测度在正的预测停止时刻没有标记 (mark), 这保证了重启的合法性.
  2. Serrin 判据的推导: Serrin 判据的指数 $r_p = \frac{2p}{p-3}$ 是通过插值不等式获得的. 具体来说, 利用 $L^p$ 和 $L^{3p}$ 之间的插值:

    $$ \|u\|_p^{r_p} \lesssim \|u\|_p^a \|u\|_{3p}^{b}, $$

    并结合 Young 不等式和吸收技巧, 将高阶范数吸收到耗散项中. 对于 $p > 6$ 的情况, Sobolev 嵌入不足以直接控制空间范数, 因此需要结合 $H^1$ 和 $H^2$ 的正则性估计来提供所需的时间可积性.

  3. 有限能量持久性与时间加权正则化: 为了从 $L^p \cap L^2$ 初值推出全局存在性, 作者引入了时间加权估计. 核心工具是对称空间正则化算子 $S_m$, 它保持了 $L^2$ 消去性和强制性的 $H^1$ 平衡.

    • 压力控制: 在 $L^p$ 能量论证中, 向量场 $J_p(u) = |u|^{p-2}u$ 通常不是无散度的, 因此必须保留漂移压力项的两个贡献. 引理 5.1 和命题 5.3 提供了这些项的控制, 并利用与 $\Gamma(t) = \int_0^t (1 + \|u(s)\|_{H^1}^{2p} + \|u(s)\|_\infty) ds$ 相关的积分因子进行加权.
    • 弱下半连续性: 通过近似序列的收敛性和弱下半连续性, 将正则化解的能量估计传递到最大解上.
  4. 跳跃估计的处理: 跳跃项的估计利用了二次矩和 $p$ 次矩的假设. 特别地, 通过 Poisson 积分及其补偿器的关系, 控制非负的跳跃余项, 避免了对额外四阶矩假设的需求. 这得益于补偿恒等式的应用, 即对于非负可预测过程 $K$, 补偿积分的期望上界由 $K$ 的积分决定.

4. 与之前工作的比较

本文与既有文献的主要区别和推进体现在以下几个方面:

  1. 与 Hilbert 空间理论的比较: 现有的随机驯服 Navier-Stokes 方程全局理论 (如 Röckner & Zhang [2, 3], Bechtel et al. [14]) 通常在 $H^1$ 能量空间中建立, 要求初始数据属于 $H^1$ 或具有更高的正则性. 相比之下, 本文在 $L^p$ ($p > 3$) 空间中建立全局理论, 允许初始数据仅为 $L^p \cap L^2$. 这是一个显著的放宽, 因为 $L^p$ 空间包含了比 $H^1$ 更粗糙的函数, 特别是在 $p > 6$ 时, $L^p$ 甚至不包含 $H^1$. 本文的关键贡献在于展示了如何在 $L^p$ 拓扑下维持唯一性, 并通过有限能量假设桥接到全局存在性, 而无需初始的 $H^1$ 正则性.

  2. 与局部 $L^p$ 理论的比较: Kukavica 等人的工作 [25] 建立了随机 Navier-Stokes 方程在 $L^p$ 空间中的局部适定性, 但通常限于 Wiener 噪声或较小的数据范围. 本文处理的是同时包含 Wiener 和 Poisson 跳跃噪声的情况, 这是更一般的 Lévy 驱动情形. 更重要的是, 本文不仅停留在局部解, 而是建立了内在的延拓准则, 并将局部解延拓为全局解. 这种从局部到全局的延拓在跳跃噪声存在时是极其困难的, 因为不连续性破坏了标准的连续性延拓论证.

  3. 与跳跃噪声相关工作的比较: Dong & Zhang [6] 研究了周期性边界条件下带 Lévy 噪声的驯服方程, 但在 $H^1$ 空间中. Mohan [12] 研究了全空间 $L^p$ 设置下的局部温和解, 但仅限于 Brinkman-Forchheimer 方程 (具有不同的阻尼结构). 本文首次在全空间 $\mathbb{R}^3$ 上, 针对驯服 Navier-Stokes 方程, 建立了同时包含乘性 Wiener 和补偿 Poisson 噪声的全局 $L^p$ 适定性理论. 特别地, 本文的方法保留了终端跳跃, 这在之前的工作中很少被明确处理, 通常会被忽略或通过平滑化处理, 而这可能导致唯一性类的改变.

  4. 技术上的优势与局限: 本文的优势在于其结果的内在性 (intrinsic): 延拓准则不依赖于构造过程中的辅助参数, 且全局解保持在原始的 $L^p$ 唯一性类中. 代价是需要施加额外的强制性条件 (1.2) 和噪声梯度的相容界限 (H1). 与 Agresti & Veraar [13, 15] 的变分框架相比, 本文的方法更具体地针对 Navier-Stokes 结构, 利用了流体动力学的特定对称性和守恒律, 而非依赖抽象的 Lipschitz 和强制性假设. 此外, 本文不需要紧凑嵌入, 因此适用于无界域, 这与某些依赖于 Rellich-Kondrachov 紧嵌入的工作不同.


4. 向量值 Morrey 空间的紧嵌入

Compact Embeddings of Vector-Valued Morrey Spaces

作者: Rishad Shahmurov, Veli Shahmurov

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29152v1

摘要翻译: 我们发展了具有时间 Morrey 控制的 Banach 值演化类的紧致性与紧致性缺陷结果。对于 [ \begin{aligned} \mathbb W_M^{p,λ}(0,T;E_0,E_1) ={u\in\mathcal M^{p,λ}(0,T;E_0):&

Comment: 无

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

1. 研究对象和背景

在偏微分方程理论中, 紧性是将从先验估计转化为存在性定理的核心机制. 经典的 Aubin–Lions 引理及其推广 (如 Simon 的改进) 结合空间上的紧嵌入与时间上的正则性, 从而在 Bochner 空间 $L^p(0,T;E)$ 中获得强紧性. 这些理论通常被表述为 $L^p$ 拓扑下的结果, 其中时间变量仅受全局积分控制.

本文旨在研究当时间变量受到 Morrey 范数控制时, 紧性理论会发生何种变化. 这种 Morrey 型的时间控制在每个时间区间上保留了尺度信息, 而不仅仅是全局积分. 作者定义了一个 Banach 值演化类:

$$ \mathbb W_M^{p,\lambda}(0,T;E_0,E_1) = \{u \in \mathcal M^{p,\lambda}(0,T;E_0): u' \in \mathcal M^{p,\lambda}(0,T;E_1)\}, $$

其中 $E_0 \hookrightarrow E_1$ 连续嵌入, $1 < p < \infty$, 且 $0 < \lambda < 1$. 这里的 Morrey 范数定义为:

$$ \|f\|_{\mathcal M^{p,\lambda}(I;X)} := \sup_{J \subset I} |J|^{-\lambda/p} \left( \int_J \|f(t)\|_X^p dt \right)^{1/p}, $$

其中上确界取遍所有非空区间 $J \subset I$. 这个范数捕捉了函数在局部时间尺度上的行为, 特别是其奇异性或集中现象.

关键参数是精确迹指数 (exact trace exponent):

$$ \theta = 1 - \frac{1-\lambda}{p}. $$

根据迹定理, $\mathbb W_M^{p,\lambda}$ 中的函数在 $t=0$ 处的迹属于插值空间 $X_\theta = (E_1, E_0)_{\theta, \infty}$. 这个空间不仅是正则性的度量, 更是决定紧性行为的完全障碍. 本文试图填补的空白在于: 现有的紧性文献主要关注 Bochner、分数时间、加权或演化空间拓扑, 而缺乏对“同一时间 Morrey 拓扑”下紧性的系统研究. 此外, 对于无界空间域, 质量可能通过平移逃逸, 导致局部紧性不等于全局紧性. 本文还探讨了 Hilbert 值情形下的共紧性 (cocompactness) 以及非线性剖分解 (profile decomposition) 在 Morrey 拓扑下的精细化, 特别是在三维 Navier-Stokes 方程中的应用.

2. 主要定理或主要结果

本文的主要结果可以概括为以下几个方面:

  1. Morrey 强化版 Aubin–Lions 定理: 若 $E_0 \hookrightarrow\!\hookrightarrow E \hookrightarrow E_1$ (即 $E_0$ 到 $E$ 是紧嵌入), 则自然嵌入

    $$ \mathbb W_M^{p,\lambda}(0,T;E_0,E_1) \hookrightarrow\!\hookrightarrow \mathcal M^{p,\lambda}(0,T;E) $$

    是紧的. 这意味着强收敛发生在相同的尺度敏感 Morrey 范数中, 而不仅仅是 $L^p(0,T;E)$.

  2. 逐时刻紧性的精确判据: 对于 $C([0,T];E)$ 中的紧性, 充要条件是精确迹空间 $X_\theta = (E_1, E_0)_{\theta, \infty}$ 紧嵌入到 $E$ 中:

    $$ \mathbb W_M^{p,\lambda}(0,T;E_0,E_1) \hookrightarrow\!\hookrightarrow C([0,T];E) \iff X_\theta \hookrightarrow\!\hookrightarrow E. $$

    这表明 $X_\theta$ 是 $C_t E$ 紧性的完全障碍.

  3. 低阶 Hölder 嵌入与 Hilbert 三重阈值: 在迹水平以下, 有混合尺度嵌入:

    $$ \mathbb W_M^{p,\lambda} \hookrightarrow C^{0,\theta-\eta}\left([0,T]; (E_1, E_0)_{\eta,\infty}\right), \quad 0 \le \eta < \theta. $$

    在 Hilbert 三重 $V \hookrightarrow\!\hookrightarrow H \hookrightarrow V^*$ 中, 这给出了 $C([0,T];H)$ 紧性的尖锐抽象阈值 $\theta > 1/2$.

  4. 无界域上的紧致性准则与剖分解: 在 $\mathbb R^d$ 上, 证明了空间紧致性定理 (spatial tightness theorem). 对于 Hilbert 值演化类, 建立了模空间平移的共紧性, 并给出了平移剖分解. 余项在每个严格亚临界的 time-Morrey–Sobolev 目标 $\mathcal M_t^{2,\mu} L_x^q$ ($\mu < \lambda, 2 < q < 2^*$) 中消失. 一个均匀 little-Morrey 条件可以消除时间指数中的损失 ($\mu \to \lambda$).

  5. 临界端点与 Navier-Stokes 应用: 在双重临界端点, 热方程和全空间 Stokes 动力学迫使平衡抛物线剖分, 余项在 $\mathcal M_t^{2,\lambda} L_x^{2^*}$ 中消失. 在三维 Navier-Stokes 中, 经典非线性剖分解具有尺度敏感的 Morrey 细化: 余项在 $\mathcal M_t^{p,1-p/4} L_x^6$ 中对所有 $2 \le p < 4$ 是小量, 且正交剖分在相应的 Morrey 强迫空间中相互作用消失.

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

证明的核心技术障碍在于如何将经典的 $L^p$ 紧性提升到 Morrey 拓扑, 同时处理时间尺度信息的保持. 作者的真正创新点在于利用 Morrey 范数的局部性质与 Ehrling 引理的巧妙结合.

  1. 升级引理 (Upgrading Lemma): 作者首先隔离了一个简单的升级引理 (Lemma 4.1): 如果一个序列在 $L^p(I;X)$ 中是 Cauchy 的, 且在 $C^{0,\alpha}([0,T];X)$ 中一致有界, 那么它在 $C([0,T];X)$ 中也是 Cauchy 的. 这一引理的关键在于利用 Hölder 连续性将单点的大偏差传播到一个具有正测度的时间区间上, 从而与 $L^p$ Cauchy 性质矛盾. 这是从弱拓扑收敛升级到强拓扑收敛的桥梁.

  2. Morrey 范数的提升机制: 在证明 Theorem 4.2 时, 作者首先利用经典的 Aubin–Lions–Simon 定理得到 $L^p(I;E)$ 中的紧性. 由于 $E \hookrightarrow E_1$, 该子序列在 $L^p(I;E_1)$ 中也是 Cauchy 的. 另一方面, Morrey 导数估计提供了 $C^{0,\theta}([0,T];E_1)$ 的一致界. 应用升级引理, 得到 $C([0,T];E_1)$ 中的强收敛. 进而, 利用关系式 $\|f\|_{\mathcal M^{p,\lambda}} \le T^{(1-\lambda)/p} \|f\|_{C}$, 得到 Morrey 范数中的收敛. 最后, 通过 Ehrling 引理将 $E_1$ 中的收敛转移回 $E$ 中的 Morrey 范数收敛. 这一过程没有使用任何反反射性假设, 唯一需要的紧性输入是经典的 Aubin–Lions 定理.

  3. 迹扩展与必要性证明: 对于 $C([0,T];E)$ 紧性的必要性, 作者依赖于 [11] 中证明的精确迹定理. 该定理不仅识别了迹空间 $X_\theta$, 还提供了有界的迹扩展算子 $R: X_\theta \to \mathbb W_M^{p,\lambda}$. 扩展是通过显式的二进构造获得的: 对于 $x \in X_\theta$, 选择近最小化的 $K$-泛函分解, 并在二进时间区间上线性插值其强分量部分. 这使得扩展及其导数逐点被 $C t^{-(1-\lambda)/p} \|x\|_{X_\theta}$ 控制, 而该标量幂属于 $\mathcal M^{p,\lambda}(0,T)$. 这一有界扩展的存在使得紧性判据既是充分的也是必要的.

  4. 时间平均与剖分解: 在无界域上, 作者使用了直接的时间平均论证 (direct time-averaging argument) 来建立共紧性. 这一步将 Hilbert 演化空间中的平移弱零性转化为 $L^2_t L^q_x$ 中的强收敛, 随后进行 Morrey 升级. 在临界情形, 作者结合了 Gérard 的 Sobolev 剖分定理与抛物线动力学的结构, 证明了方程本身消除了任意 Morrey 演化中独立的空间/时间缺陷, 将其坍缩为平衡的抛物线尺度.

4. 与之前工作的比较

本文与既有 PDE/分析理论文献的比较主要体现在以下几个方面:

  1. 与经典 Aubin–Lions 理论的比较: 经典 Aubin–Lions 引理 (Aubin [2], Simon [12]) 以及 Rossi–Savaré [7] 的紧致性与积分等连续性框架, 均自然地表述在 $L^p(0,T;E)$ 拓扑中. 这些理论提供的是 Bochner 空间中的强收敛. 本文的结果则是“同一时间 Morrey”结论, 即收敛发生在保留尺度信息的 Morrey 范数中. 这是一个本质上的推进, 因为它揭示了 Morrey 控制如何在紧性过程中存活下来. 作者明确指出, 现有文献主要关注 Bochner、分数时间、加权或演化空间拓扑, 而缺乏对同一时间 Morrey 拓扑的系统研究.

  2. 与紧性判据的比较: 在逐时刻紧性方面, 本文给出了精确的充要条件: $X_\theta \hookrightarrow\!\hookrightarrow E$. 这与以往仅给出充分条件的结果不同. 作者强调, 精确迹空间 $X_\theta$ 不仅是正则性空间, 更是 $C_t E$ 紧性的完全障碍. 这一判据利用了迹扩展的存在性, 这在以往的紧性理论中并未被充分利用.

  3. 与无界域剖分解理论的比较: 共紧性与剖分解的抽象语言在 Cwikel–Tintarev [8] 和 Solimini–Tintarev [9] 中已经发展成熟. 然而, 这些框架本身并不提供具体的时间 Morrey 共紧嵌入. 本文的分析步骤是时间平均估计, 它将 Hilbert 演化空间中的平移弱零性转化为强 $L^2_t L^q_x$ 收敛, 然后进行 Morrey 升级. 这是一个新的分析工具, 填补了抽象框架与具体 Morrey 拓扑之间的空白.

  4. 与 Navier-Stokes 剖分解的比较: 在三维 Navier-Stokes 中, 作者与 Gallagher 的非线性 Navier-Stokes 剖分定理 [10] 进行比较. 作者并没有重新证明经典的生命周期分解, 而是展示了其两种误差机制自动在全临界 Morrey–Kato 段 $Y_p = \mathcal M_t^{p,1-p/4} L_x^6$ ($2 \le p < 4$) 中是小量. 此外, 作者直接在 Morrey 强迫拓扑中证明了两个正交非线性剖分的乘积消失. 对于 $2 < p < 4$, 相应的 Duhamel 估计正是 Adams [1] 的强 Morrey 分数积分定理; 端点 $p=2$ 仍然是一个有效的剖分余项拓扑, 但不是从同一个强收缩估计得到的. 这表明 Morrey 拓扑为 Navier-Stokes 剖分解提供了更精细的尺度敏感描述.


5. $\mathbb{T}\times\mathbb{R}^2$ 上黏度与热扩散系数不等的分层剪切流附近的 Boussinesq 方程稳定性阈值

The stability threshold for Boussinesq equations around stratified Couette flow with unequal viscosity and thermal diffusivity on $\mathbb{T}\times\mathbb{R}^2$

作者: Pengyu Chen, Zeren Zhang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29916v1

摘要翻译: 我们建立了 $\mathbb{T}\times\mathbb{R}^2$ 上围绕剪切流 $(y,0,0)$、具有线性分层温度分布 $1+y$ 的三维 Boussinesq 方程的稳定性阈值,其中黏度 $κ$ 与热扩散系数 $μ$ 不同,且 Brunt-Väisälä 频率 $β>0$ 为任意值。假设 $μ$ 和 $κ$ 可比,并令 $ν=\min\{κ,μ\}$。对于充分小的 $a_0>0$ 和 $s\geq4$,我们证明:若初始扰动满足 $\|(u_{in},θ_{in})\|_{H^s}+\|(u_{0,in},θ_{0,in})\|_{W^{s,1}}\lesssimν^{\frac{2}{3}} |\lnν|^{-2-2a_0}$,则相应解在时间上全局存在。我们还建立了零模的 Strichartz 型估计。此外,我们的估计进一步允许第一分量 $u^1_0$ 的零模在高正则性范数中出现量级为 $ν^{-1/6}$ 的非线性放大。

Comment: 无

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

1. 研究对象和背景

本文研究三维 Boussinesq 方程在具有线性温度分层的 Couette 流附近的长期动力学行为。Boussinesq 方程组是描述浮力驱动流体运动的基本模型,其形式为:

$$ \begin{cases} \partial_t \tilde{u} + \tilde{u} \cdot \nabla \tilde{u} + \nabla \tilde{p} = \kappa \Delta \tilde{u} + (0, g \theta, 0)^T, \\ \partial_t \tilde{\theta} + \tilde{u} \cdot \nabla \tilde{\theta} = \mu \Delta \tilde{\theta}, \\ \nabla \cdot \tilde{u} = 0, \end{cases} $$

其中 $\tilde{u}$ 为速度场,$\tilde{\theta}$ 为温度扰动,$\tilde{p}$ 为压力,$\kappa$ 为粘性系数,$\mu$ 为热扩散率,$g > 0$ 为重力常数。该系统的稳态解(基态)为 Couette 流 $\tilde{u}_s = (y, 0, 0)^T$ 和线性分层温度分布 $\tilde{\theta}_s = 1 + \alpha y$,其中 $\alpha > 0$ 为 Richardson 数。

为了分析稳定性,引入扰动变量 $u = \tilde{u} - (y, 0, 0)^T$ 和 $\theta = \frac{p}{\alpha/g}(1 + \alpha y) - \tilde{\theta}$。经过变换后,扰动 $(u, \theta)$ 满足如下系统:

$$ \begin{cases} \partial_t u + y \partial_x u + (u_2, 0, 0)^T + (u \cdot \nabla)u + \nabla p_L + \nabla p_{NL} = \kappa \Delta u - \beta(0, \theta, 0)^T, \\ \partial_t \theta + y \partial_x \theta - \beta u_2 + (u \cdot \nabla)\theta = \mu \Delta \theta, \\ \Delta p_L = -2 \partial_x u_2 - \beta \partial_y \theta, \\ \Delta p_{NL} = -\partial_i u_j \partial_j u_i, \\ (u, \theta)|_{t=0} = (u_{in}, \theta_{in}), \end{cases} $$

其中 $\beta = \sqrt{\alpha g} > 0$ 称为 Brunt-Väisälä 频率,它表征了分层效应的强度。定义 $\nu := \min\{\kappa, \mu\}$ 作为最小耗散尺度。

稳定性阈值问题的核心在于确定指数 $\gamma \in \mathbb{R}$,使得当初始扰动满足 $\|(u_{in}, \theta_{in})\|_{H^N} \ll \nu^\gamma$ 时,系统保持稳定;而当扰动大于此量级时,可能发生失稳。这一问题源于 Navier-Stokes 方程中关于 Couette 流稳定性的经典研究。Bedrossian, Germain, and Masmoudi 在三维情形下建立了 $\gamma = 3/2$ 的阈值,随后 Wei 和 Zhang 将其改进至 $H^2$ 空间中的 $\gamma = 1$。在二维情形下,由于缺乏 lift-up 效应,阈值显著降低,Bedrossian, Vicol, and Wang 证明了 $\gamma = 1/2$,后续工作进一步细化至 $\gamma = 1/3$。

对于 Boussinesq 方程,二维情形下的稳定性已被广泛研究。当 Richardson 数 $\alpha > 1/4$ 时,在 $\mathbb{T} \times \mathbb{R}$ 上建立了 $\gamma = 1/2$ 的阈值,并在后续工作中改进至 $1/3$。特别地,[40] 中的结果假设 $\kappa + \mu \lesssim \sqrt{\kappa \mu}$。在三维情形下,分层效应引入了内重力和色散效应,这为稳定性提供了额外的机制。Coti Zelati, Del Zotto, and Widmayer 在 $\mathbb{T} \times \mathbb{R} \times \mathbb{T}$ 上取得了突破性进展,建立了比三维 Navier-Stokes 方程更低的稳定性阈值:当 $\beta > 1/2$ 时为 $\gamma = 11/12$,当 $\beta > \nu^{-1/2}$ 时为 $\gamma = 8/9$。这些结果表明分层效应具有显著的稳定作用。

然而,现有文献大多集中在粘性系数与热扩散率相等或近似相等的情况,或者在周期性边界条件下进行。本文旨在解决以下空白:在 $\mathbb{T} \times \mathbb{R}^2$ 域上,考虑粘性系数 $\kappa$ 和热扩散率 $\mu$ 不相等但可比(即 $\mu \approx \kappa$)的情形,并针对任意 Brunt-Väisälä 频率 $\beta > 0$,建立 Sobolev 空间中的稳定性阈值。具体而言,本文试图证明 $\gamma = 2/3+$ 的阈值,并探讨非线性放大效应对零模的影响。这一推进不仅扩展了适用范围,还揭示了不同耗散系数对稳定性阈值的微妙影响,以及色散-混合相互作用在三维非周期方向上的表现。

2. 主要定理或主要结果

本文的主要结果是 Theorem 1.1,它确立了在特定小初值条件下的全局存在性和稳定性估计。具体陈述如下:

Theorem 1.1. 假设 $\beta > 0$,$0 < \kappa, \mu \le 1$,且存在常数 $C_1 \ge 1$ 使得 $C_1^{-1} \mu \le \kappa \le C_1 \mu$。设 $\nu = \min\{\kappa, \mu\}$,$(u_{in}, \theta_{in})$ 为系统 (1.1) 的初始数据。对于任意充分小的 $a_0 > 0$ 和 $s \ge 4$,存在 $\epsilon_0 = \epsilon_0(\beta, s, a_0, C_1) > 0$,使得若初始数据满足:

$$ \|\langle \nabla_{x,z} \rangle (u_{in}, \theta_{in})\|_{H^{s+1}} + \|\langle \partial_z \rangle (u_{0,in}, \theta_{0,in})\|_{W^{s,1}} = \epsilon \le \epsilon_0 \nu^{2/3} |\ln \nu|^{-2-2a_0}, $$

则系统 (1.1) 存在唯一的全局解。

此外,通过坐标变换定义的剖面 $(U, \Theta)(t, x, y, z) = (u, \theta)(t, x + yt, y, z)$ 满足以下估计:

  1. 非零模的增强耗散与无粘阻尼:

    $$ \|e^{a_1 \nu^{1/3} t} \partial_x \nabla_{x,z} U^1_\neq\|_{L^\infty H^s} + \nu^{1/6} \|\partial_x \nabla_{x,z} U^1_\neq\|_{L^2 H^s} \lesssim |\ln \nu|^{1+a_0} \epsilon, \\ \|e^{a_1 \nu^{1/3} t} \nabla_{x,z} \nabla_L U^2_\neq\|_{L^\infty H^s} + \|\partial_x \nabla_{x,z} U^2_\neq\|_{L^2 H^s} + \nu^{1/6} \|\nabla_{x,z} \nabla_L U^2_\neq\|_{L^\infty H^s} \lesssim \epsilon, \\ \|e^{a_1 \nu^{1/3} t} \nabla^2_{x,z} U^3_\neq\|_{L^\infty H^s} + \nu^{1/6} \|\nabla^2_{x,z} U^3_\neq\|_{L^2 H^s} \lesssim |\ln \nu|^{1+a_0} \epsilon, \\ \|e^{a_1 \nu^{1/3} t} \nabla^2_{x,z} \Theta_\neq\|_{L^\infty H^s} + \nu^{1/6} \|\nabla^2_{x,z} \Theta_\neq\|_{L^2 H^s} \lesssim \epsilon. $$

    这里 $a_1$ 是足够小的常数,$\nabla_L = (\partial_x, \partial_y - t\partial_x, \partial_z)$。这些估计表明非零模具有 $e^{-c \nu^{1/3} t}$ 的指数衰减(增强耗散),并且在 $L^2$ 范数中允许 $\nu^{-1/6}$ 的增长因子,反映了非线性效应的累积。

  2. 零模的控制与 Strichartz 型估计:

    $$ \|\langle \partial_z \rangle U^1_0\|_{L^\infty H^s} + \nu^{1/6} \|U^1_0\|_{L^\infty H^{s+1}} + \|\langle \partial_z \rangle (U^2_0, U^3_0, \Theta_0)\|_{L^\infty H^{s+1}} \lesssim \epsilon, \\ \nu^{1/12 + a_2} \|\langle \partial_z \rangle (U^2_0, \Theta_0)\|_{L^2 W^{s-2, \infty}} + \nu^{a_2} \|\langle \partial_z \rangle U^3_0\|_{L^2 W^{s-1}} \lesssim \epsilon. $$

    第一个不等式表明零模的高阶正则性受到控制,尽管 $U^1_0$ 的 $H^{s+1}$ 范数允许 $\nu^{-1/6}$ 的非线性增长。第二个不等式提供了针对 $(U^2_0, U^3_0, \Theta_0)$ 的 Strichartz 型估计,利用了零模的色散结构。这里的 $a_2$ 也是足够小的常数。

Remark 1.1 指出,$U^2_\neq$ 的无粘阻尼体现在 (1.3b) 中均匀的 $\nu$-界,而非零模的增强耗散特征在于 $L^2$ 时间估计中 $\nu^{-1/6}$ 的增长。$U^1_0$ 的第一项描述了 lift-up 效应在零模中的抑制。值得注意的是,$\|U^1_0\|_{H^{s+1}}$ 由于非线性效应表现出 $\nu^{-1/6}$ 的增长。

Proposition 1.1 提供了一个补充结果,即在更强的初值小性假设下,可以恢复最优的非线性稳定性估计。假设 $\beta > 1/2$,$0 < \mu, \kappa \le 1$ 且 $C_0 \mu \le \kappa \le C_0 \mu$。若初始数据满足:

$$ \|(u_{in}, \theta_{in})\|_{H^{s+2}} + \|(u_{0,in}, \theta_{0,in})\|_{W^{s+1,1}} = \epsilon \le \epsilon_0 \nu^{3/4 + \delta}, $$

则系统存在唯一全局解,并且满足最优稳定性估计:

$$ \|(U^1_\neq, U^3_\neq)(t)\|_{L^2} + \langle t \rangle^{1/2} \|\Theta_\neq(t)\|_{L^2} + \langle t \rangle^{3/2} \|U^2_\neq(t)\|_{L^2} \lesssim e^{-a_0 \nu^{1/3} t} \epsilon. $$

这表明在更小的初值下,可以获得与线性理论一致的最优衰减率。作者指出,在 $\gamma \le 2/3 + \delta$ 的条件下能否达到最优估计 (1.5),或者是否能进一步识别尖锐的稳定性阈值,仍然是一个开放问题。

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

本文的证明框架基于 Bootstrap 论证(自举法),结合了一系列精心设计的 Fourier 乘子、好未知量(good unknowns)以及针对零模和非零模的不同分析策略。以下是核心技术和创新点的详细解析:

1. 坐标变换与线性化结构分析 为了消除 Couette 流的快速混合效应,作者采用了随流坐标变换 $X = x - yt, Y = y, Z = z$。在此坐标系下,线性算子变为 $\nabla_L = (\partial_X, \partial_Y - t\partial_X, \partial_Z)$,拉普拉斯算子变为 $\Delta_L$。这种变换将混合效应显式地嵌入到微分算子中,使得后续的能量估计能够捕捉到由剪切引起的耗散增强。

2. 零模与非零模的分离处理 这是本文技术核心的关键部分。作者将扰动分解为零模($f_0 = \int_T f dx$)和非零模($f_\neq = f - f_0$),并针对两者不同的物理机制采用不同的工具。

  • 零模的色散结构: 零模分量 $(U^2_0, U^3_0, \Theta_0)$ 表现出明显的色散特性。作者借鉴 [30] 中 $\kappa = \mu$ 情形的思想,建立了适用于 $\kappa \approx \mu$ 的 Strichartz 型估计(Lemma 3.1)。为此,引入了辅助量 $\Omega_1^0 = \partial_Y U^3_0 - \partial_Z U^2_0$,并研究了系统 $(\Theta_0, p_0^{-1/2} \Omega_1^0)$ 的演化,其中 $p_0 = -\Delta_{y,z}$。通过 Fourier 分析,作者展示了该线性系统的解算子 $S(t)$ 具有振荡性质,从而推导出了关键的 $L^2 W^{s-k, \infty}$ 估计(Proposition 3.1)。

  • 零模 $U^1_0$ 的热方程结构与 Lift-up 抑制: 第一分量 $U^1_0$ 主要受热方程支配。为了利用这一结构并抑制 lift-up 效应,作者引入了组合量 $V^1_0 = U^1_0 + \beta^{-1} \Theta_0$。该量满足方程:

    $$ \partial_t V^1_0 - \kappa \Delta V^1_0 = \beta^{-1}(\mu - \kappa)\Delta \Theta_0 - (U \cdot \nabla_L V^1)_0. $$

    这个变换消除了线性项中的耦合,使得能量估计更加清晰。然而,非线性项的处理带来了挑战,特别是涉及高阶导数的项。

3. 非线性交互作用的精细处理 在零模方程中,主要的非线性贡献来自于零模自身的高频-低频交互。例如,在 $V^1_0$ 的方程中,主导项为:

$$ \int_0^T \left\langle u_{0,hi}^2 \partial_y v_{0,lo}^1, v_0^1 \right\rangle_{H^s} dt. $$

由于 $u_0^2$ 在 Strichartz 估计中比 $u_0^3$ 多损失一个导数,这一项难以直接控制。作者的创新点在于利用方程 $u_0^2 = \partial_t \Theta_0 + (U \cdot \nabla \Theta)_0 - \nu \Delta \Theta_0$ 和时间分部积分,将上述项转化为:

$$ \int_0^T \left\langle \Theta_0^{hi} \partial_y v_{0,lo}^1, (U_0 \cdot \nabla v_0^1) \right\rangle_{H^s} dt + \cdots, $$

从而能够在 Bootstrap 框架内加以控制。类似地,对于 $u_0^3$ 的相关项,可以通过简单的分部积分解决。

4. 高阶正则性的处理与 Good Unknown 的引入 在高阶正则性(如 $H^{s+1}$)估计中,非线性项导致严重的导数损失。例如,在 $V^1_0$ 的 $H^{s+1}$ 能量估计中,主导项形如:

$$ \int_0^T \left\langle \nabla(u_{0,hi}^3 \partial_z v_{0,lo}^1), \nabla v_0^1 \right\rangle_{H^s} dt \lesssim \|u_0^3\|_{L^\infty H^{s+1}} \|\nabla v_0^1\|_{L^2 H^s}^2 \lesssim \nu^{-1} \epsilon^3. $$

对于 $\epsilon \sim \nu^{2/3+}$ 的初值,这会导致 $\nu^{-1/6}$ 的增长。为了避免直接估计 $U^1_\neq$ 的高阶正则性所带来的更大损失,作者利用了不可压缩条件,引入了非零模的好未知量:

$$ W_\neq = \left( (pq)^{1/2} U^3_\neq - \partial_{Y,Z}^L (pq)^{-1/2} G_\neq \right). $$

其中 $G_\neq = p U^2_\neq$,$F_\neq = (pq)^{1/2} \Theta_\neq$,$p = k^2 + (\eta - kt)^2 + l^2$,$q = k^2 + l^2$。$W_\neq$ 的方程(2.5)经过精心设计,使得其能量估计仅产生温和的对数损失 $|\ln \nu|^{1+a_0}$,而不是多项式损失。这是处理高维色散-混合系统中高阶非线性项的关键技巧。

5. Fourier 乘子的构造与应用 作者构造了一组复合 Fourier 乘子 $M(t, k, \eta, l) = e^{a_1 \mathbf{1}_{k \neq 0} \nu^{1/3} t} (M_1 M_2 M_3)(t, k, \eta, l)$,以同时捕捉无粘阻尼、增强耗散和非线性级联效应:

  • $M_1$:用于获得无粘阻尼和控制线性压力项,其定义满足 $\frac{\partial_t M_1}{M_1} = -\frac{k^2 + |kl|}{k^2 + (\eta - kt)^2 + l^2}$。
  • $M_2$:用于捕捉增强耗散,满足关键性质 $\nu^{1/3} \lesssim \nu(\eta - kt)^2 - \frac{\partial_t M_2}{M_2}$。
  • $M_3$:借鉴自 [30],用于控制非线性级联和线性压力,其定义涉及对数修正的时间平均,能够有效处理高频共振现象。
  • $m$:用于控制线性拉伸项,定义为分段函数,仅在共振区域 $0 \le t - \eta/k \le 4\nu^{-1/3}$ 内非零。

这些乘子的组合使得 Bootstrap 假设(2.12)能够精确地反映解的物理行为,包括指数衰减、对数增长和高阶范数的有限放大。通过严格的不等式链,作者证明了 Bootstrap 假设可以自我强化,从而得出全局存在性和稳定性结论。

4. 与之前工作的比较

本文将三维 Boussinesq 方程在层化 Couette 流附近的稳定性研究推进到了新的维度,特别是在处理不等粘性/热扩散系数和非周期方向($\mathbb{R}^2$)方面做出了重要贡献。以下从多个维度与既有工作进行比较:

1. 稳定性阈值的推进与适用范围

  • 与 Coti Zelati, Del Zotto, Widmayer [14, 15] 的比较: 这些先驱工作在 $\mathbb{T} \times \mathbb{R} \times \mathbb{T}$(全周期域)上建立了 $\gamma = 11/12$(当 $\beta > 1/2$)和 $\gamma = 8/9$(当 $\beta > \nu^{-1/2}$)的阈值。本文在 $\mathbb{T} \times \mathbb{R}^2$(半周期域)上证明了 $\gamma = 2/3+$ 的阈值。虽然数值上 $2/3 < 11/12$,看似“更弱”,但需注意背景差异:半周期域缺乏周期性带来的额外紧性和离散谱结构,使得分析更为困难。此外,本文允许 $\beta > 0$ 的任意值,而 [14, 15] 对 $\beta$ 有较大的下限要求。更重要的是,本文处理的是 $\kappa \neq \mu$ 的一般情形,这在 [14, 15] 中并未深入探讨(通常假设 $\kappa = \mu$ 或非常接近)。因此,本文的结果是在更一般的参数范围和更复杂的几何域上取得的,填补了该领域的空白。
  • 与 Li, Sun, Wang, Wei, Zhang [30] 的比较: [30] 在 Navier-Stokes-Coriolis 系统中建立了 $\mathbb{T} \times \mathbb{R}^2$ 上 $\gamma = 2/3+$ 的阈值。本文借鉴了其处理零模色散结构和 Strichartz 估计的思想,并将其应用于 Boussinesq 方程。区别在于 Boussinesq 方程包含温度场和浮力项,且 $\kappa$ 和 $\mu$ 可能不同,这导致了更复杂的耦合结构。本文成功地将 [30] 的技术推广到了这种更一般的耦合系统,并处理了由此产生的额外非线性交互。

2. 不等粘性/热扩散系数的处理

  • 与二维结果的比较: 在二维 Boussinesq 方程中,[40] 和 [27] 在 $\kappa + \mu \lesssim \sqrt{\kappa \mu}$(即 $\kappa \approx \mu$)的条件下建立了 $\gamma = 1/3$ 的阈值。本文首次在三维情形下明确处理了 $\kappa$ 和 $\mu$ 可比但不相等的情况($C_1^{-1} \mu \le \kappa \le C_1 \mu$)。当 $\kappa \neq \mu$ 时,线性化算子中出现非对称项,破坏了某些正定性结构,使得能量估计变得复杂。作者通过引入组合量 $V^1_0$ 和仔细分析线性算子的谱性质(见 Proposition 3.1 中的 $S(t)$ 表达式),克服了这一障碍。这一推进使得结果更具物理现实意义,因为实际流体中粘度和热扩散率往往不相等。

3. 非线性放大效应与高阶正则性

  • 新颖的发现: 本文的一个显著特点是明确量化了零模 $U^1_0$ 在高阶正则性范数($H^{s+1}$)中的非线性放大效应,其量级为 $\nu^{-1/6}$。这在之前的稳定性阈值文献中较少被单独强调。作者指出,这种放大是由零模内部的高频-低频非线性交互引起的,并且无法通过简单的能量方法消除。这一发现不仅丰富了我们对非线性稳定性的理解,也为未来研究更高阶稳定性或更长时间尺度的行为提供了线索。
  • Good Unknown 的应用: 在处理非零模的高阶正则性时,作者引入了特定的 good unknown $W_\neq$,这使得能量估计仅产生对数损失。这一技巧虽然在 [15] 中已有雏形,但本文将其与不等 $\kappa, \mu$ 的情况相结合,并应用于半周期域,展示了其强大的适应性。相比之下,一些早期工作可能依赖于更强的初值假设来避免此类高阶损失,而本文在较弱的初值假设($\nu^{2/3+}$)下实现了可控的对数损失,这是一个实质性的技术改进。

4. 代价与局限

  • 初值大小的代价: 为了获得 $\gamma = 2/3+$ 的阈值,本文要求初值满足 $\epsilon \le \epsilon_0 \nu^{2/3} |\ln \nu|^{-2-2a_0}$。相比 [14, 15] 在周期域上的结果,这里的对数修正因子 $|\ln \nu|^{-2-2a_0}$ 反映了处理非周期方向和不等系数带来的额外困难。如果希望获得最优的线性衰减率(如 Proposition 1.1 所示),则需要更强的初值假设 $\epsilon \le \epsilon_0 \nu^{3/4+\delta}$。这表明,在当前的技术框架下,阈值与衰减速率之间存在权衡:较小的初值允许更好的衰减估计,但较大的初值(接近阈值)只能保证全局存在性和较弱的衰减。
  • $\beta$ 的依赖性: 本文结果对 $\beta > 0$ 成立,但未详细讨论阈值 $\gamma$ 如何随 $\beta$ 变化。Remark 1.3 指出,二维线性估计显示衰减率随 $\beta$ 增大而改善,但三维情形下非线性阈值是否也随 $\beta$ 变化仍是一个开放问题。这限制了我们对强分层极限($\beta \to \infty$)行为的理解。
  • 半周期域的局限: 尽管 $\mathbb{T} \times \mathbb{R}^2$ 是许多物理应用(如大气或海洋流动)的自然模型,但半周期域的分析确实比全周期域更复杂,主要体现在缺乏 Poincaré 不等式和频谱离散性。这使得 Strichartz 估计的证明更加繁琐,并可能导致了对数损失的增加。未来工作可能会探索如何在保持 $\gamma = 2/3+$ 的同时,进一步优化对数因子或推广到完全非周期的 $\mathbb{R}^3$ 域。

了解领域论文(摘要翻译)

1. 三维 Muskat 气泡的非线性稳定性

Nonlinear Stability of 3D Muskat Bubbles

作者: Francisco Gancedo, Eduardo García-Juárez, Susanna V. Haziot, Neel Patel, Robert M. Strain

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30197v1

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

摘要翻译

中文标题: 三维 Muskat 气泡的非线性稳定性

摘要翻译: 本文研究受重力和表面张力作用的两种不混溶流体在多孔介质中的三维 Muskat 问题。我们考虑一种流体形成被另一种流体包围的有界气泡的情形。对于任意物理参数取值,我们证明了临界 Lipschitz 类中小初始扰动下平移球形气泡的全局时间非线性渐近稳定性。这扩大了此前二维气泡结果中考虑的临界空间类。证明结合了 $oldsymbol{oldsymbol{S}^2}$ 上线性化算子的谱分析与利用非线性项中关键零结构的多重线性奇异积分估计。


2. Boltzmann-Fermi-Dirac方程的流体力学极限:声学极限与Stokes-Fourier极限

Hydrodynamic limits for the Boltzmann-Fermi-Dirac equation: Acoustic and Stokes-Fourier

作者: Paulo Sampaio

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30231v1

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

摘要翻译

中文标题: Boltzmann-Fermi-Dirac方程的流体力学极限:声学极限与Stokes-Fourier极限

摘要翻译: 我们建立了二维及更高维环面上的Boltzmann-Fermi-Dirac (BFD)方程的声学极限和Stokes-Fourier流体力学极限。对于每个极限,我们考虑围绕常数背景Fermi-Dirac分布的适当缩放的BFD方程解的涨落。通过改编Bardos、Golse和Levermore为经典Boltzmann方程发展的弱解框架以处理BFD碰撞算子的三次非线性,我们证明这些涨落在时间上弱收敛到由相应流体力学方程控制的唯一极限。


3. 三维聚焦能量临界 NLS 的全局适定性与散射

Global well-posedness and scattering for the three-dimensional focusing energy-critical NLS

作者: Qingtang Su, Zehua Zhao

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30228v1

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

摘要翻译

中文标题: 三维聚焦能量临界 NLS 的全局适定性与散射

摘要翻译: 我们证明了三维聚焦能量临界 NLS 在基态能量和梯度阈值以下的全局适定性和散射,从而证实了三维情形下的阈值猜想。受我们在三维散焦三次 NLS 于 $H^s(\R^3)$, $s>\frac{1}{2}$ 中工作的启发,我们从相互作用 Morawetz 恒等式推导出频率局部化的 $L^4_{t,x}$ 估计,且不假设有限质量。我们将相互作用权重适配到投影密度上,以在聚焦情形中获得正的四次时空项,并利用非线性抵消将频率截断误差吸收进该项中。


4. 关于混合边值问题 $W^{2,p}$ 可解性

On the $W^{2,p}$ solvability for mixed boundary value problems

作者: Rohit Khandelwal, Zongyuan Li

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30090v1

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

摘要翻译

中文标题: 关于混合边值问题 $W^{2,p}$ 可解性

摘要翻译: 我们建立了二维及更高维($n\geq 2$)中带有 Dirichlet–Neumann 混合边界条件的 Poisson 方程在全局意义下的 $W^{2,p}$ 可解性,涉及两类区域。对于具有 Reifenbeg 平坦界面的 $C^{1,α}$ 区域,在 $α>1-1/p$ 的条件下,我们得到了最优范围 $1<p<4/3$。对于按面分解边界条件的 Lipschitz 多面体,我们得到了 $p$ 接近 $1$ 时的可解性。在上述两种情形下,我们还建立了针对适配的原子 Hardy 空间中的数据的端点 $W^{2,1}$ 可解性。本文还讨论了这些方法在 Lamé 系统中的应用。


5. 一维周期近场动力学波中跳跃间断的溶解与成核

Dissolution and nucleation of jump discontinuities for one-dimensional periodic peridynamic waves

作者: Giuseppe Maria Coclite, Serena Dipierro, Francesco Maddalena, Gianluca Orlando, Enrico Valdinoci

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30041v1

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

摘要翻译

中文标题: 一维周期近场动力学波中跳跃间断的溶解与成核

摘要翻译: 我们分析了一维周期线性近场动力学波模型的解,重点考察自然能量空间允许存在空间间断的情形。利用近场色散关系的高频渐近性质,我们构造了一个显式解:其初始位移仅含一个跳跃间断,但在任意正时刻均变为连续。由时间可逆性,由此可得一个初始连续的位移,其演化在任意指定时刻产生跳跃,而在其余所有时刻保持连续。此外,我们通过基于 Littlewood-Paley 分解的 Hölder 空间刻画,得到了该奇异性形成的精确 Hölder 范数爆破估计。最后,通过对适当加权的解进行叠加,我们构造出了一个在稠密时间集合上表现出跳跃间断的演化过程。


6. 穿孔域中三维非均匀热粘性流体在临界尺度下的定量临界均质化

Quantitative critical homogenization of a 3D non-homogeneous thermoviscous fluid in perforated domains

作者: Jiaojiao Pan, Luqi Wang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30034v1

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

摘要翻译

中文标题: 穿孔域中三维非均匀热粘性流体在临界尺度下的定量临界均质化

摘要翻译: 本文研究在临界 Stokes 容量尺度下,有界周期性穿孔域中的三维非均匀不可压缩流体。密度由流场输运,而粘度依赖于一个准静态温度,该温度由具有齐次 Neumann 边界条件与零空间平均值的均匀椭圆传输问题所控制。在临界情形下,均质化动量方程包含一个 Brinkman 阻力项。在已有的定性临界 Brinkman 极限之外,我们证明了耦合的密度–速度–温度系统的定量稳定性估计。对于每个固定的穿孔几何结构,全局有限能量弱解存在。给定一个正则有效解,每一个微观弱解的平方相对误差均由初始失配加上一个 $O(\eps^{2})$ 余项所界定。对于准备良好的数据,该估计给出密度与未修正速度在 $L^\infty(0,T;L^2)$ 中、温度在 $L^2(0,T;H^1)$ 中以及修正速度在 $L^2(0,T;H^1)$ 中的 $O(\eps)$ 阶收敛性。证明结合了无散度限制算子、对偶能量范数中 $O(\eps)$ 阶单元容量残差、$O(\eps)$ 阶 $L^{6/5}$ 校正子梯度估计以及固定域温度稳定性。临界边界层保留一阶粘性能量,这在极限中表现为 Brinkman 耗散。最后,对于满足有限级初始边界相容条件的平滑规定力,建立了有效系统的局部正则可解性。


7. 由给定前导激波重构楔形及其后激波流动

Reconstruction of a Wedge and Post-Shock Flow from a Prescribed Leading Shock

作者: Qianfeng Li, Meizhi Qian

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30002v1

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

摘要翻译

中文标题: 由给定前导激波重构楔形及其后激波流动

摘要翻译: 本文根据给定的前导激波和均匀超声速来流状态,重构一个楔形及其后激波流动。完整的 Euler Rankine–Hugoniot 关系提供激波数据,而简化内部模型则结合齐次声学特征方程、熵输运和 Bernoulli 关系。通过 hodograph 变换,可以得到物理坐标的线性双曲型方程。将激波-楔形质量界与 hodograph 非退化阈值进行比较,得到一个充分的、依赖于数据的重构判据。在所述假设下,该判据保证在整个由给定激波段确定的特征域内存在唯一的 $C^1$ 后激波流动和 $C^2$ 楔形。数值重构考察了经验网格收敛性、马赫数依赖性,以及简化模型与完整 Euler 逆重构之间的差异。


8. 双组分 Becker-Döring 系统:基本性质

The Two-Component Becker-Döring System: Basic Properties

作者: Jens Scholten

类别: math.AP, math-ph

发布日期: 2026-09-24

arXiv ID: 2609.29842v1

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

摘要翻译

中文标题: 双组分 Becker-Döring 系统:基本性质

摘要翻译: 双组分 Becker-Döring 模型是一个二维凝聚-碎裂方程,描述由两种不同类型的单体通过单体相互作用而增长和收缩的团簇动力学。我们证明了解的存在性与质量守恒,并给出了关于唯一性的部分结果。此外,我们在细致平衡假设下证明了熵方程成立,随后对平衡态与相对熵进行了详细研究。在固定 Type I 和 Type II 质量的序列下,我们能够确定所有相对熵的最小值,并在弱*拓扑下完全刻画极小化序列。


9. 能量空间以下去聚焦非线性薛定谔方程的全局适定性与散射

Global well-posedness and scattering for the defocusing nonlinear Schrödinger equation below energy space

作者: Zuyu Ma, Changxing Miao, Yilin Song, Jiqiang Zheng

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29840v1

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

摘要翻译

中文标题: 能量空间以下去聚焦非线性薛定谔方程的全局适定性与散射

摘要翻译: 本文证明了在空间维数 $d\geq3$ 下,具有临界间幂次非线性的去聚焦非线性薛定谔方程在能量空间以下的整体适定性和散射性质,从而改进了 Vişan 和 Zhang [Differ. Integr. Equations, 22(2009), 99-124] 中的正则性阈值。


10. 高维 $d\geq 3$ 质量临界 NLS 的粗糙 log-log 爆破解

Rough log-log blowup solutions to mass-critical NLS in higher dimensions $d\geq 3$

作者: Zuyu Ma, Changxing Miao, Yilin Song, Jiqiang Zheng

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29818v1

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

摘要翻译

中文标题: 高维 $d\geq 3$ 质量临界 NLS 的粗糙 log-log 爆破解

摘要翻译: 我们研究聚焦质量临界非线性 Schrödinger 方程在小的 $H^s$ 扰动下 log–log 爆破机制的稳定性。此前,Colliander 和 Raphaël [Math. Ann. (2009)] 已在二维情形下证明了任意 $0<s<1$ 时的稳定性,随后 Sun 和第四作者 [J. Math. Pures Appl. (2020)] 将其推广至维度 $d\geq3$,但要求满足限制条件 $s>1/(1+\min\{1,4/d\})$。我们移除了该限制,并在整个次临界范围 $0<s<1$ 内建立了稳定性。


11. 修正波算子在 $L^p$ 上无界,其中 $p eq 2$

Modified wave operators are unbounded on $L^p$ for $p\neq 2$

作者: Akitoshi Hoshiya, Kouichi Taira

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

发布日期: 2026-09-24

arXiv ID: 2609.29729v1

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

摘要翻译

中文标题: 修正波算子在 $L^p$ 上无界,其中 $p eq 2$

摘要翻译: 我们研究一维 Schrödinger 算子 $P=-\ackslash partial_x^2 + V$ 相关的 Isozaki–Kitada 型修正波算子的 $L^p$-有界性,其中势函数 $V$ 包含长程势,例如负的类库仑势 $V(x) = -(1+|x|^2)^{-μ/2}$,其中 $μ>0$。对于此类势函数,若 $ μ\in (1, 2)$,我们证明其中间能量部分和高能部分在任意 $p \in [1, \infty]$ 下于 $L^p (\mathbb{R})$ 上有界,但低能部分除 $p=2$ 外均无界。此外,若 $μ\in (0, 1]$,我们表明即使中间能量部分除 $p=2$ 外也无界。实际上,关于中间和高能区域的 $L^p$-有界性,我们在不施加任何符号条件的情况下,给出了缓慢衰减势函数的完整分类。


12. Nyzhnyk 模型的 Lie 对称与点变换对称

Lie and point symmetries of Nyzhnyk models

作者: Oleksandra O. Vinnichenko, Vyacheslav M. Boyko, Roman O. Popovych

类别: math-ph, math.AP, nlin.SI

发布日期: 2026-09-24

arXiv ID: 2609.29353v1

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

摘要翻译

中文标题: Nyzhnyk 模型的 Lie 对称与点变换对称

摘要翻译: 我们考虑一族模型,该族可通过对原始 Nyzhnyk 系统施加参数条件、引入势或伪势、针对标度参数执行极限过程、应用微分替换以及将部分自变量和/或因变量解释为复数或实数而得到。因此,在 Nyzhnyk 模型中,可以区分对称与非对称、色散与非色散、标准与修正,以及实数、复数、混合与特定模型。还可以区分散射偏微分方程或此类方程的系统,以及在色散或非色散情形下分别为线性或非线性 Lax 表示。对于每个指定模型,我们计算最大的 Lie 不变伪代数,并在对称情形下利用基于极大理想的代数方法版本找到点变换与接触对称伪群。证明表明,这些伪代数之间的关系以及这些伪群之间的关系是由相应模型之间的关系所诱导的。在所有对称与特定情形的伪代数中,均被挑出定义(有限维)子代数。基于已建立的无耗散模型与色散模型之间的对应关系,我们对(色散对称势)Nyzhnyk 方程的最大 Lie 不变伪代数的一维和二维子代数,以及其线性 Lax 表示的最大 Lie 不变伪代数的一维子代数进行了完全分类。


13. Poisson–Nernst–Planck–Navier–Stokes 系统中电动力学 Couette 态的稳定性

Stability of electrokinetic Couette states in the Poisson–Nernst–Planck–Navier–Stokes system

作者: J. Pan, L. Wang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29339v1

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

摘要翻译

中文标题: Poisson–Nernst–Planck–Navier–Stokes 系统中电动力学 Couette 态的稳定性

摘要翻译: 在本文中,我们研究了一个二维 Poisson–Nernst–Planck–Navier–Stokes 系统。该系统位于周期性通道内,由壁面运动和一个外加切向电场驱动,并包含两种可能具有不相等扩散率的离子组分。在电中性 Couette 态下,一种按扩散率加权的离子能量与线性化算子的三角结构相结合,对于固定的 $(A,E_0)$ 和所有正扩散率,给出指数线性稳定性。随后,在一个针对生成元图域进行适配的复插值空间上,通过结合解析半群平滑性与二次估计,获得了小数据非线性指数稳定性。当扩散率不相等时,在明确的强剪切条件下,线性化离子子系统的非零流向模满足一个有界通道增强耗散估计,其速率为 $D_{\min}^{1/3}|A|^{2/3}$。当 $D_+=D_-$ 时,傅里叶模分解将公共的 Couette 对流-扩散算子与一个收缩的对流-反应半群分离开来,因此无需对静电耦合施加任何小性条件,即可保留相同的标量混合速率。我们还为给定的壁面电位构造了一个精确的 Poisson–Boltzmann/电动渗透 Couette 族。对于足够小的壁面电位幅值,其线性化生成元是电中性生成元的一个小图域扰动,这在同一插值尺度上给出了线性和非线性指数稳定性。


14. 带显式稳定性常数和最优函数的二阶加权海森堡不确定性原理的精确稳定性

Sharp stability for the second-order weighted Heisenberg Uncertainty Principle with explicit stability constants and optimizers

作者: Xiao-Ping Chen

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29170v1

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

摘要翻译

中文标题: 带显式稳定性常数和最优函数的二阶加权海森堡不确定性原理的精确稳定性

摘要翻译: 利用球谐函数分解和高斯型 Poincaré 不等式,我们建立了以下二阶加权海森堡不确定性原理的若干精确稳定性估计:

\begin{equation*} \int_{\mathbb{R}^N} !\frac{|Δu|^2} {|x|^{2α}} \mathrm{d}x \int_{\mathbb{R}^N} |x|^{2α+2}|\nabla u|^2\mathrm{d}x \geq \frac{(N+4α+2)^2}{4} \left(\int_{\mathbb{R}^N} |\nabla u|^2 \mathrm{d}x\right)^2, \end{equation*}

以及

\begin{equation*} \int_{\mathbb{R}^{N}} \frac{|Δu|^{2}} {|x|^{2α}} \mathrm{d}x +\int_{\mathbb{R}^{N}} \left|x\right|^{2α+2} |\nabla u|^{2}\mathrm{d}x \ge\left(N+4α+2\right) \int_{\mathbb{R}^{N}} |\nabla u|^{2}\mathrm{d}x. \end{equation*}

我们还给出了精确稳定性常数的显式值及其可达性的充要条件。此外,当 $α=0$ 时,我们的结果退化为 [Calc. Var. Partial Differential Equations \textbf{64} (2025), Paper No. 129]、[J. Funct. Anal. \textbf{290} (2026), Paper No. 111321] 和 [arXiv:2510.00453] 中的结果。


15. 卷积 Calderón–Zygmund 算子的 Morrey 到 Lebesgue 等价性

A Morrey-to-Lebesgue Equivalence for Convolution Calderón–Zygmund Operators

作者: Rishad Shahmurov, Veli Shahmurov

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29158v1

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

摘要翻译

中文标题: 卷积 Calderón–Zygmund 算子的 Morrey 到 Lebesgue 等价性

摘要翻译: 我们证明,对于向量值卷积 Calderón–Zygmund 算子,在单个非平凡 Morrey 空间上有界性与相应的全局 $L^p$ 有界性等价。因此,一个 Morrey 尺度已经包含了完整的有限 $p$ 有界性信息。从 Morrey 到 $L^p$ 的蕴含关系通过一种分离副本放大论证获得,该论证从单一尺度局部估计重构了全局范数;反之,在同一向量值框架下,通过局部/远场分解证明了相反方向的蕴含关系。作为推论,向量值 Hilbert 变换在一个非平凡 Morrey 空间上的有界性等价于 UMD 性质。该结果表明,Morrey 估计并未绕过经典的 Banach 空间障碍:它们恰好检测到了这一障碍。


16. $M^{\infty,1}(\mathbb{R})$ 中非聚焦三次 NLS 的全局适定性

Global well-posedness of defocusing cubic NLS in $M^{\infty,1}(\mathbb{R})$

作者: Friedrich Klaus

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29147v1

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

摘要翻译

中文标题: $M^{\infty,1}(\mathbb{R})$ 中非聚焦三次 NLS 的全局适定性

摘要翻译: 我们证明了在一维调制空间 $M^{\infty,1}(\mathbb{R})$ 中,非聚焦三次非线性 Schrödinger 方程的全局适定性。该空间不施加任何空间衰减条件,并且包含 $C_b^2(\mathbb{R})$ 以及所有绝对收敛的平面波和。此结果适用于该空间中的任意初值,包括大的光滑拟周期轮廓及其局部化扰动。证明过程通过由关联谱问题在正半轴上平方可积解所定义的 Weyl 比的前向部分,构造出一个满足局部守恒律的非负密度。该密度的适当非线性组合与局部化积分共同控制了调制范数。最后,以协调的方式选取空间局部化尺度与 NLS 缩放,使得累积边界通量足够小,从而保证每个温和解都能全局延拓。


17. Wiener 混合空间上关于含哈密顿量的 Schrödinger 方程的正交 Strichartz 估计

Orthonormal Strichartz estimates for the Schrödinger equations with Hamiltonian on Wiener amalgam spaces

作者: Ramesh Manna, Shyam Swarup Mondal, Sarthak Tiwari

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29085v1

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

摘要翻译

中文标题: Wiener 混合空间上关于含哈密顿量的 Schrödinger 方程的正交 Strichartz 估计

摘要翻译: 本文的主要目的是研究 Wiener 混合空间 $\mathcal{W}(\mathcal{F} L^p, L^q)$ 上 Schrödinger 方程的正交 Strichartz 估计。更具体地,我们首先考察了 Cordero 和 Nicola 在 \cite{NFC} 中针对与 $\mathcal{H}^{+}=-\frac{1}{4π}Δ+|x|^2$ 相关联的 Schrödinger 方程所建立的现有 Strichartz 估计的时间可积性指数改进。随后,我们将这些改进后的 Strichartz 估计从单个初始数据推广到正交族系统,据我们所知,这是在 Wiener 混合空间设定下该方向上的首批结果。

此外,我们将 Wiener 混合空间中的经典 Strichartz 估计从单个初始数据推广到与算子 $\mathcal{H}^{-}=-\frac{1}{4π}Δ-|x|^2$ 以及形如 $\mathcal{H}_{\mathcal{A}} = -\frac{1}{4π} B \nabla \cdot \nabla$ 的哈密顿量算子相关的初始数据正交族系统,其中 $\mathcal{A} = \begin{pmatrix} 0 & B \\ 0 & 0 \end{pmatrix} \in \mathrm{Sp}(d,\mathbb{R})$,且满足 $B = B^*$ 和 $\det B \neq0$。

我们方法的一个关键要素是 Stein 针对 Wiener 混合空间的复插值理论,并结合了受 Frank 和 Sabin 工作启发的对偶论证。

作为与 $\mathcal{H}^{+}, \mathcal{H}^{-}$ 和 $H_{\mathcal{A}},$ 相关的这些正交估计的应用,我们建立了具有无穷多粒子的 Hartree 方程在非迹类初始数据下的局部适定性和小数据全局适定性。


18. 标准环面上 Schrödinger 极大估计的锐正则性阈值

A sharp regularity threshold for Schrödinger maximal estimates on standard tori

作者: Xi Cen, Xitao Gao, Junyong Zhang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29047v1

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

摘要翻译

中文标题: 标准环面上 Schrödinger 极大估计的锐正则性阈值

摘要翻译: 我们在所有维度 $d\ge2$ 中,证明了对于初始数据 $f\in H^s(\mathbb{T}^d)$,当 $s<d/(d+2)$ 时,标准环面 $\mathbb{T}^d$ 上 Schrödinger 演化的几乎处处收敛性不成立。我们构造了归一化数据,其频率量级为 $N$,使得其演化在具有均匀正测度的集合上达到量级 $N^{d/(d+2)}$。构造的关键在于这些频率位于一个仿射同余类中,从而在适当的有理时刻,它们在一系列彼此充分分离的空间点上的相位一致。该结果与已知在 $s>d/(d+2)$ 且 $d\geq2$ 时的估计相吻合。通过整数倍扩张和一致有界性原理,我们还得到了一个属于 $H^s$ 的单例数据,只要 $s<d/(d+2)$,其演化在趋于零的时间序列上是无界的。此外,我们记录了二维情形下在临界频率幂次处的对数上界以及在收缩时间区间上的下界。


19. 相对论 Vlasov-Maxwell 系统小数据解的尖锐时间衰减与散射

Sharp Time Decay and Scattering of Small Data Solutions to the Relativistic Vlasov-Maxwell System

作者: Grace Mattingly, Stephen Pankavich, Jonathan Ben-Artzi

类别: math.AP, math-ph

发布日期: 2026-09-24

arXiv ID: 2609.29013v1

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

摘要翻译

中文标题: 相对论 Vlasov-Maxwell 系统小数据解的尖锐时间衰减与散射

摘要翻译: 多组分无碰撞等离子体由相对论 Vlasov-Maxwell 系统建模。假设等离子体全局电中性,我们证明可以构造具有任意快速多项式衰减率的解,具体取决于极限空间平均值的抵消性质以及粒子的质量和电荷。在此过程中,我们对电荷密度和电流密度、电场和磁场及其导数建立了可数个无穷渐近轮廓,每一个都必然由足够光滑的解实现。我们的方法依赖于一种精细的场表示,该表示在光锥边界之外呈现自相似行为。在每种情况下,我们对每个粒子分布函数建立了 $L^ fty$ 中的线性散射结果,即我们证明它们沿输运的空间特征线以越来越快的速率收敛于 $t o fty$。若未发生电荷抵消,我们的方法可以进一步扩展,以展示带有对数修正的多齐次展开。


20. Dunkl 变换的可观测性不等式与 Logvinenko–Sereda 定理

Observability Inequalities and the Logvinenko–Sereda Theorem for the Dunkl Transform

作者: Xingyu Zhao, Longben Wei, Zhiwen Duan

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.28993v1

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

摘要翻译

中文标题: Dunkl 变换的可观测性不等式与 Logvinenko–Sereda 定理

摘要翻译: 设 $R$ 为 $oldsymbol{\mathbb{R}^d}$ 中的归一化根系,其反射群为 $G$;设 $k$ 为 $G$-不变的重数函数,$oldsymbol{\mathcal{F}_k}$ 为相应的 Dunkl 变换。记 $k_α=k(α)>0$,且 $oldsymbol{\mathrm{d}μ_k(x)=w(x)\,\mathrm{d}x}$,其中 $w(x)=oldsymbol{\prod_{α∈R_+}|⟨x,α⟩|^{2k_α}}$。

我们研究 $oldsymbol{\mathbb{R}^d}$ 上 Dunkl 热方程的可观测性、Hölder 型插值以及谱不等式。对于 Dunkl 变换支撑在 $oldsymbol{\overline{B(0,N)}}$ 中的函数,我们建立了关于普通导数的 Bernstein 不等式,并证明了具有形式为 $e^{C(1+N)}$ 的谱常数的 Logvinenko–Sereda 定理。我们将可观测集刻画为相对于 $μ_k$ 稠密的(thick)可测集,并证明了可观测性不等式、Hölder 型插值不等式和谱不等式之间的等价性。


21. 一种用于多维非线性双曲方程的无扩散多层神经网络方法

A diffusion-free multi-layer neural-network method for multidimensional nonlinear hyperbolic equations

作者: Emmanuel Lorin, Arian Novruzi

类别: math.NA, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.28971v1

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

摘要翻译

中文标题: 一种用于多维非线性双曲方程的无扩散多层神经网络方法

摘要翻译: 本文致力于 $N$ 维守恒律双曲系统(HCL)解的非扩散计算,并特别关注简单波的精确逼近。我们提出了 LeafNet 算法,该算法依赖于:i) 将 HCL 重新表述为涉及光滑解的耦合系统;ii) 一种能够精确逼近光滑函数的物理信息驱动算法。文中还给出了误差估计分析以及二维数值实验,以展示所提出的策略。


22. 含二阶导数非线性项的 KdV 型方程适定性

Well-Posedness for KdV-Type Equations with Second-Order Derivative Nonlinearities

作者: Mingjuan Chen, Ting Chen, Zhong Wang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.28975v1

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

摘要翻译

中文标题: 含二阶导数非线性项的 KdV 型方程适定性

摘要翻译: 我们研究一类具有三次二阶导数非线性项及任意复系数的复值 KdV 型方程。对于 $L^2$ 中充分小的初值,我们证明了在 $H^s(\mathbb R)$ 中的局部适定性($s\ge3/4$)。其核心要素是一组二进分解空间 $Z_k=X_k+Y_k$,旨在克服由 high$*$low$*$low 相互作用引起的对数发散,在该类相互作用中两个导数均落在最高频因子之上。对于完全可积的三阶 Kaup–Newell 流,我们建立了 $0\le s<1$ 时关于时间的全局 $H^s(\mathbb R)$ 界,以及对于所有 $s\ge3/4$ 的全局适定性,且无需对初值施加小性假设。


23. 双曲守恒律 $n \times n$ 系统黎曼解的泛型结构稳定性

Generic Structural Stability for Riemann Solutions to $n \times n$ Systems of Hyperbolic Conservation Laws

作者: Hong Kiat Tan, Andrea L. Bertozzi

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

发布日期: 2026-09-23

arXiv ID: 2609.28714v1

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

摘要翻译

中文标题: 双曲守恒律 $n \times n$ 系统黎曼解的泛型结构稳定性

摘要翻译: 本文证明了单空间维下双曲守恒律 $n \times n$ 系统的黎曼解具有泛型结构稳定性。在严格双曲性、真非线性以及 Rankine-Hugoniot 映射上的正则流形假设下,我们表明:对于几乎处处成立的左右状态对,任何由 Lax 可容许激波和稀疏波组成的 $n$-波黎曼解,在左状态、右状态及通量函数的 $C^2$ 拓扑扰动下均是结构稳定的。本文的核心新思想是顺序横截性(sequential transversality),该方法通过中间状态将 $n$ 个波串联起来,并利用推前映射将它们切向贡献传输到一个公共参考点,从而将结构稳定性条件归结为 $n \times n$ 横截矩阵的可逆性。我们将所得结果应用于 $p$-system、多分散含颗粒薄膜以及机器学习通量近似。


不相关论文(基本信息)

1. $δ=1/2$ 曲面的 $1/64$ 谱隙

A 1/64 spectral gap for surfaces with $δ=1/2$

作者: Alex Cohen, Semyon Dyatlov

类别: math.AP, math.SP

发布日期: 2026-09-24

arXiv ID: 2609.30261v1

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

摘要: We show that any convex co-compact hyperbolic surface with exponent of convergence of Poincaré series $δ\in (\frac25,\frac{14}{27})$ has an essential spectral gap of size $β=\tfrac78(\tfrac12-δ)+\tfrac{1}{32}δ-ε$ for any $ε>0$. In particular, for $δ=\frac12$ this becomes $β=\tfrac{1}{64}-ε$. We show existence of the gap by proving a new Fractal Uncertainty Principle, using a two-ends Furstenberg theorem of O’Regan-Wu-Yi [arXiv:2607.08461].


2. 一般维度上格 Anderson-Bernoulli 模型边缘附近的局域化

Localization near the edge for the lattice Anderson-Bernoulli model on general dimension

作者: Linjun Li, Shihe Liu, Lingfu Zhang

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

发布日期: 2026-09-24

arXiv ID: 2609.30209v1

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

摘要: The Anderson tight-binding model is a fundamental model of quantum transport and localization in disordered media. Completing a problem left open by Bourgain and Kenig, this paper proves Anderson localization near the bottom of the spectrum for the lattice Anderson model with Bernoulli potential, in any dimension $d\ge 2$. The proof uses the multiscale framework of Fröhlich-Spencer and Bourgain-Kenig, and the main new ingredient is a probabilistic discrete unique continuation principle (PDUC) for the discrete Schrödinger equation. This PDUC is established via a bootstrap argument and a key probabilistic lemma proved by adaptively revealing the random potential.


3. 三维 Allen–Cahn 方程的稳定解是一维的

Stable solutions of the Allen–Cahn equation in dimension three are one-dimensional

作者: Hardy Chan, Xavier Fernández-Real, Alessio Figalli, Enric Florit-Simon, Joaquim Serra

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30194v1

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

摘要: We prove that every bounded stable solution of the Allen–Cahn equation in $\mathbb R^3$ is one-dimensional. As a consequence, this shows the validity of De Giorgi’s conjecture for monotone solutions in dimension four.


4. 由有限测量重构非齐次热方程的初始条件

Reconstruction of the Initial Condition for a Non-Homogeneous Heat Equation from Finite Measurements

作者: Randy Dollente, Samuel Frerichs, Hee Seok Nam, Jianru Shen, Grace Walters, Young Hwan You

类别: math.AP, math.NA

发布日期: 2026-09-24

arXiv ID: 2609.30181v1

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

摘要: We address the inverse problem of reconstructing the initial temperature distribution in a one-dimensional non-homogeneous heat equation with Dirichlet boundary conditions from a finite number of pointwise-in-time measurements at a single spatial location. We propose an explicit approximation scheme that incorporates the source term and utilizes a refined sequence of measurement times. Unlike previous approaches that often rely on exponentially growing observation times, our chosen time sequence allows for efficient recovery within a fixed time horizon. We establish algebraic convergence rates under suitable regularity assumptions on the initial data and the forcing, and we validate the theoretical sharpness with numerical experiments for varying numbers of measurements.


5. 电磁场中Schrödinger-Poisson系统的束缚态

Bound states of Schrödinger-Poisson system in electromagnetic fields

作者: Pingkang Guan, Baihong Li, Dimitri Mugnai, Yuanhong Wei

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30110v1

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

摘要: This paper investigates the Schrödinger-Poisson system involving electromagnetic fields. Our approach is mainly based on the variational method. By developing the global compactness result, we establish the existence of higher-energy bound state and ground state solutions under suitable assumptions. In addition, under symmetry conditions, the existence and multiplicity of intertwining solutions are obtained for both finite and infinite symmetry group.


6. 带梯度项的 $m$-Laplace 方程 I: 次临界第二情形的 Liouville 定理

The $m$-Laplace equation with a gradient term I: Liouville theorem in the second subcritical case

作者: Tian Wu, Jin Yan, Hua Zhu

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.30006v1

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

摘要: Let $1<m<n$, $q>0$, and $p\in\mathbb R$. We study positive $C^1_{\mathrm{loc}}$ weak solutions of

$$ -Δ_m u=u^p|Du|^q\qquad\text{in }\mathbb R^n. $$

If $0<q<m-1$, we prove that every such solution is constant provided

$$ p+q-m+1<\frac{(m-1)(m-q)^2}{(n-m)(m-1-q)}. $$

If $q\geqslant m-1$, the same conclusion holds for every $p\in\mathbb R$. For $0<q<m$, the proof uses an auxiliary function and reduces the main differential estimate to a lower bound for a function of one variable. An explicit construction and a local maximum-principle argument then prove constancy without differentiating across $\{|Du|=0\}$. When $m=2$, our result answers the natural Liouville problem left open by Bidaut-Véron, García-Huidobro and Véron for the whole range $0<q<1$. The case $q=m$ is handled by an increasing change of the dependent variable, in the spirit of the related work of Bidaut-Véron, while the case $q>m$ follows from the theorem of Lu and Zhu.


7. 具有一般边界数据的调和映射的孤立奇点

Isolated singularities of harmonic maps with generic boundary data

作者: Xuanyu Li

类别: math.DG, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29994v1

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

摘要: We study the behavior of isolated singularities of stationary harmonic maps with generic boundary data. For round sphere targets, we prove that, for $4\leqslant n\leqslant7$, every stable stationary harmonic map from a bounded smooth $n$-dimensional domain to round $(n-1)$-sphere with generic smooth boundary data has only radial projections composed with orthogonal transformations as tangent maps at its singularities; for 7-dimensional domains and round $k$-sphere targets with $k\geqslant7$, every stable stationary harmonic map with generic smooth boundary data is smooth. These results follow from a general minimum-index principle for closed real-analytic target manifolds. Under suitable target hypotheses ensuring strong compactness and excluding lower-dimensional singularity models, we show that, in the first domain dimension in which singularities can occur, generic boundary data force the link of every singular tangent map to attain the smallest possible Morse index. This principle applies both to stable stationary harmonic maps and, under the corresponding stronger target hypotheses, to all stationary harmonic maps. If no non-constant tangent map in the relevant class has a link attaining this minimum, generic smoothness follows. As an application, we establish a rigidity at infinity theorem. For $3\leqslant n\leqslant7$, we show that any energy-minimizing map from $n$-Euclidean space to round $(n-1)$-sphere admitting the radial projection as a blow-down limit must itself be a translate of the radial projection.


8. 平坦环面上具有多重奇点的平均场方程的唯一性与非唯一性

Uniqueness and nonuniqueness for mean field equations with multiple singularities on flat tori

作者: Zhijie Chen, Shihong Zhang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29991v1

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

摘要: We study mean field equations with multiple positive singularities on flat tori. We establish a uniform uniqueness criterion in terms of the total singular mass and the scale-invariant spectral quantity $λ_1(\mathbb T)|\mathbb T|$, where $λ_1(\mathbb T)$ denotes the first positive eigenvalue of the Laplacian. Combining nodal-set analysis for Jacobi fields with a cylindrical Alexandrov–Bol type inequality and sharp small-capacity asymptotics, we obtain the optimal leading coefficient $8/π^2$ in the total-mass uniqueness bound as $λ_1(\mathbb T)|\mathbb T|\to0$. Sharpness is demonstrated by examples with two symmetric singularities on degenerating rectangular tori that admit at least three distinct solutions. For the case of two singularities with total mass $2ρ$, we further derive uniqueness and multiplicity results near $ρ=4π$ from the critical-point structure of the associated symmetrized Green function. In particular, when its only critical points are the four nondegenerate two-torsion points, the equation admits a unique solution for $ρ$ just below $4π$ and exactly three solutions for $ρ$ just above $4π$.


9. 双组分 Becker-Döring 系统的长时间行为

Long Time Behaviour of the Two-Component Becker-Döring System

作者: Jens Scholten

类别: math.AP, math-ph

发布日期: 2026-09-24

arXiv ID: 2609.29891v1

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

摘要: The classical Becker-Döring equations describe the formation of clusters by aggregation and fragmentation of monomers. If the total amount of mass is supercritical, larger and larger clusters are formed, leading to an asymptotic loss of mass in the long time limit. The two-component Becker-Döring system arises when clusters are built from two types of monomers. Here, we study the natural extension of the one-component system, where no energy or entropy is leaving or entering the system - the so called detailed balance assumption. We rigorously prove that all initial conditions admit a solution minimising the relative entropy as time approaches infinity. This shows, that the long time limit in the weak* topology is selected through the initial Type I and Type II masses. Furthermore, the proportion of lost Type I mass is determined by the limit point via the mixing ratio of Type I and Type II monomers that maximises the binding energy. The main difficulty of the two-component system is that no relative entropy is weak* continuous, which is crucial for the classical argument [2]. Instead, our proof is based on a discrete two-dimensional logarithmic Sobolev inequality, that bounds the entropy dissipation on the correct timescale. Our approach also improves current assumptions to determine the long time behaviour for the one-component system.


10. 带源项的退化体积填充趋化系统全局弱解的存在性与唯一性

Existence and uniqueness of global weak solutions to degenerate volume-filling chemotaxis systems with source terms

作者: Osuke Shibata

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29883v1

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

摘要: This paper is concerned with a no-flux initial-boundary value problem for the degenerate volume-filling chemotaxis system with source terms, \begin{align*} u_t = \nabla \cdot (D(u,v) \nabla u - h(u,v) \nabla v) + f(x, u, v), \quad v_t = Δv + g(u,v), \quad x\in Ω, \ t>0 \end{align*} in a smoothly bounded domain $Ω\subset \mathbb{R}^N$ $(N \in \mathbb{N})$. It is shown that when $D$, $h$, $f$ and $g$ satisfy suitable assumptions involving $D(1,\cdot)=h(0,\cdot)=h(1,\cdot)=f(\cdot,0,\cdot) = f(\cdot,1,\cdot) = 0$, for nonnegative initial data $u_0$ and $v_0$ with $u_0\le 1$, there exists a global weak solution $(u, v)$ with $u\le 1$. In addition, uniqueness of global weak solutions is established when $D(r,s) = D(r)$ for all $r\in[0,1]$ and $s\in[0,\infty)$, and $D$, $h$, $f$, $g$ and $v_0$ are supposed to satisfy additional conditions.


11. $\mathrm{W}^{1,1}$-正则性的精确椭圆性阈值

The Sharp Ellipticity Threshold for $\mathrm{W}^{1,1}$-Regularity

作者: Franz Gmeineder

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29826v1

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

摘要: We establish that the ellipticity of the minimal surface integrand is the sharp threshold for $\mathrm{W}^{1,1}$-regularity of solutions to the Dirichlet problem on $\mathrm{BV}$. Here, we particularly deal with the autonomous case of convex linear growth functionals.


12. 本征损伤:用于反平面剪切形变中内聚断裂变分近似的本征变形模型

Eigendamage: an Eigendeformation model for the variational approximation of cohesive fracture in antiplane shear deformations

作者: Veronika Auer-Volkmann, Lisa Beck, Bernd Schmidt

类别: math.AP, math.NA

发布日期: 2026-09-24

arXiv ID: 2609.29734v1

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

摘要: We set up and investigate an approximation scheme for a variational theory of cohesive fracture in antiplane shear deformations. We consider a family of functionals acting on scalar valued functions in general dimensions depending on a small parameter $0 < \varepsilon \ll 1$ and on two fields: the elastic part of the displacement field and an eigendeformation field that describes the inelastic response of the material beyond the elastic regime. We measure the inelastic contributions of the latter in terms of a non-local energy functional. Our main result shows that, as $\varepsilon \to 0$, the approximate functionals $Γ$-converge to a cohesive zone model.


13. 非常数曲率下极小盘片的稳定性与唯一性

Stability and uniqueness of minimal disks in non-constant curvature

作者: Sébastien Alvarez, Thibault Lefeuvre, Ben Lowe, Graham A. Smith

类别: math.DG, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29542v1

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

摘要: Nitsche proved that every smooth Jordan curve in $\mathbb{R}^3$ of total curvature at most $4π$ bounds a unique minimal disk, which is moreover strictly stable. We prove an analogue of this result for Riemannian $3$-balls with mean convex boundary, under an explicit pinching condition on the negative sectional curvature, together with a bound on the covariant derivative of the Ricci tensor. In this setting, every smooth Jordan curve in the boundary sphere of total curvature at most $4π$ bounds a unique embedded minimal disk which is strictly stable.


14. 三维的叶状 Plateau 问题、表面 Radon 变换与边界面积刚性

Foliated Plateau problems, surface Radon transforms, and boundary area rigidity in dimension three

作者: Sébastien Alvarez, Thibault Lefeuvre, Ben Lowe, Graham A. Smith

类别: math.DG, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29470v1

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

摘要: The present paper studies integral geometry problems on three-dimensional Riemannian balls, where integration is performed over minimal surfaces or, more generally, $Φ$-surfaces defined by an elliptic curvature functional $Φ$. The space of all $Φ$-surfaces spanned by round circles on the boundary is a three-dimensional manifold, which we call the space of circles. We show that, when the metric is $Φ$-simple - a notion which extends to this setting the notion of simple metrics in the geodesic case -, the Gauss lifts of the $Φ$-surfaces define a foliation of the unit tangent bundle that should be viewed as a two-dimensional analogue of the standard geodesic foliation. This is achieved by solving a foliated Plateau problem on the ball. We then analyze the associated surface Radon transform corresponding to integration along the surfaces and show that it has a finite-dimensional kernel; we also prove that it is injective for an open and dense set of metrics. In the special case of a foliation by minimal surfaces, we apply these results to solve the following boundary area rigidity problem: does the collection of areas of the minimal surfaces determine the metric up to isometry?


15. 具有非标准增长的一相拟线性方程中的分岔现象

Bifurcation phenomena in one-phase quasilinear equations with nonstandard growth

作者: Junior da Silva Bessa, Alan Pio Sousa

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29438v1

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

摘要: The bifurcation phenomenon in a singularly perturbed one-phase free boundary problem governed by the g-Laplacian is established under prescribed boundary conditions. This bifurcation is characterized by the existence of a third solution, obtained via the Mountain Pass Lemma, when the boundary data decreases below a suitable threshold. Moreover, we analyze the asymptotic behavior of the associated evolution problem, proving convergence to stable stationary solutions and showing that the Mountain Pass solution is unstable in this dynamical sense.


16. 测度的Monge-Kantorovich切丛

The Monge-Kantorovich tangent bundle to a measure

作者: Adolfo Arroyo-Rabasa, Averil Aussedat, Guy Bouchitté

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29401v1

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

摘要: We study the tangent bundle $T_μ$ to a Radon measure $μ$ in Euclidean space, introduced by Bouchitté, Champion and Jimenez (2005). Its construction, inspired by Monge-Kantorovich optimal transport theory, involves the duality between Lipschitz functions and the so-called Arens-Eells space, a Banach subspace of distributions obtained by completing the set of balanced signed measures. Precisely, a velocity field $σ$ is $μ$-tangent when the divergence of $σμ$ lies in the Arens-Eells space. The tangent bundle $T_μ$ defined $μ$-almost everywhere provides a local projection that allows to construct a $μ$-tangential gradient operator on Lipschitz functions that is weakly continuous and enjoys integration by parts. In this paper, we introduce a new quantitative estimate involving the tangential and normal components of a given velocity vector field $σ\in L^1_μ(\mathbb{R}^d)$. Specifically, we show that the tangential condition $σ\in T_μ$ holding $μ$ a.e. is equivalent to each of the following two conditions: the convergence in the Arens-Eells space of $h^{-1} \left((id+h σ)_{\#} μ- μ\right)$ as $h \to 0$, and the differentiability of Lipschitz functions along $σ$. Moreover, given a field of non-tangent directions, we construct a Lipschitz function that is not differentiable on a large set, confirming that $T_μ$ agrees with the decomposability bundle of Alberti and Marchese. We finally relate $T_μ$ to the tangent measures of Preiss and survey further properties of the tangential differential calculus.


17. $p$-拉普拉斯算子带 Robin 边界条件的 Serrin 型过定问题

Serrin-type overdetermined problem for the $p$-Laplacian with Robin boundary conditions

作者: Luca Barbato, Riccardo Molinarolo

类别: math.AP, math.DG

发布日期: 2026-09-24

arXiv ID: 2609.29393v1

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

摘要: Let $Ω$ be an open bounded connected subset of $\mathbb{R}^N$, $N \geq 2$, of class $C^{2,α}$, for $α\in (0,1)$. Let $p \geq 2$ and $β>0$. We prove the symmetry of the solution of the $p$-torsion problem with Robin boundary condition subject to the natural overdetermined condition coming from a shape derivative argument and to an extra condition on $β$ and on the minimum of the principal curvatures of $\partialΩ$. The proof is based on some new integral identities, involving the linearized operator of the $p$-Laplacian applied to the standard $P$-function. In passing we prove some other rigidity results in the spirit of Serrin’s and Alexandrov’s Theorems.


18. 凸域中逆谱格林核的凸性与罗宾中心的非退化性

Convexity of inverse spectral Green kernels and nondegeneracy of Robin centers in convex domains

作者: Xiuda Liang, Wenjie Wang

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29288v1

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

摘要: Let $Ω\subset\mathbb{R}^N$ be a bounded convex domain and let $A=-Δ_D$ be the positive Dirichlet Laplacian. For every real $s>0$ with $N>2s$, we prove that the function

$$ (x,y)\longmapsto K_{s,Ω}(x,y)^{-1/(N-2s)}, $$

where $K_{s,Ω}$ is the Green kernel of $A^{-s}$, extends continuously by zero to the diagonal and is jointly convex on $Ω\timesΩ$. We also prove that the associated regular part extends real analytically across the diagonal and that the corresponding Robin function is strictly convex and diverges at the boundary. Consequently, for every real $s>0$ satisfying $N>2s$, there is a unique Robin center. This applies in particular to the spectral fractional Dirichlet Laplacian and to all integer-order Navier polyharmonic operators. If $Ω$ is of class $C^{2,\vartheta}$, $0<\vartheta<1$, we further establish second-order rigidity. For $0<s<1$, a weighted translation–curvature identity yields $D^2R_{s,Ω}>0$ throughout $Ω$. For integer orders, we introduce a finite-part doubling principle across real spectral orders. The argument is based on a two-term expansion of truncated square energies together with the spectral identity $A^{-σ}A^{-σ}=A^{-2σ}$. It follows that, for every $p\in\mathbb N$ with $N>2p$, the unique Navier polyharmonic Robin center is nondegenerate; if $N>3p$, the Hessian is positive definite throughout the domain. The boundary regularity required by these second-order results is independent of the polyharmonic order.


19. 具有无界扩散、漂移和势项的椭圆算子热核的下界

Lower bounds for heat kernels of elliptic operators with unbounded diffusion, drift, and potential terms

作者: Sallah Eddine Boutiah

类别: math.AP, math-ph

发布日期: 2026-09-24

arXiv ID: 2609.29258v1

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

摘要: We establish a pointwise lower bound for the heat kernel of the elliptic operator $ Λ=(1+|x|^α)Δ+b|x|^{α-2}x\cdot\nabla-|x|^β$, where $d\geq3$, $α>2$, $β>α-2$, and $b\in\mathbb R$. For every $τ>0$, we prove that

$$ \begin{aligned} p(t,x,y) &\geq C_τe^{λ_0t} \left(\frac{1+|y|^α}{1+|x|^α}\right)^{\frac{b}{2α}} \frac{(|x||y|)^{-\frac{d-1}{2}-\frac{β-α}{4}}}{1+|y|^α}\\ &\quad\times\exp \left[ -\int_1^{|x|}\sqrt{\frac{s^β}{1+s^α}}\,\mathrm ds -\int_1^{|y|}\sqrt{\frac{s^β}{1+s^α}}\,\mathrm ds \right] \end{aligned} $$

for all $t\geqτ$ and $|x|,|y|\geq1$, where $λ_0<0$ is the largest eigenvalue of $Λ$ and $C_τ>0$ is independent of $t,x,y$. The proof applies the classical Davies - Simon argument in a weighted symmetric setting.


20. 平面电导率问题中多重夹杂的 Faber-Walsh 场展开

Faber-Walsh field expansions for the planar conductivity problem with multiple inclusions

作者: Doosung Choi, Mikyoung Lim

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29239v1

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

摘要: We derive an explicit Faber-Walsh representation for the planar conductivity problem with finitely many disjoint inclusions of general shape and independently chosen positive conductivities. Walsh’s lemniscatic map gives a conformal coordinate without smallness or wide-separation assumptions. The field expansion is expressed through Faber-Walsh polarization tensors, which we relate to the complex contracted generalized polarization tensors by a triangular change of basis. For analytic interfaces, we prove conformal continuation and absolute and uniform convergence of the Walsh-Grunsky series near the boundary to obtain explicit factorizations of the Neumann-Poincaré operator and the Faber-Walsh polarization tensors. These factorizations separate canonical interaction, which can remain nonzero even when all Grunsky coefficients vanish, from conformal deformation, while retaining the componentwise conductivity dependence in a coupled resolvent. For harmonic polynomial incident fields, we prove geometric convergence of outgoing truncations with exact coefficients on compact subsets of fixed exterior branch domains. Numerical comparisons with independent boundary-integral solutions illustrate the representation for heterogeneous, asymmetric, and nearly touching configurations.


21. 一类具有更一般右端项的抛物型 $k$-Hessian 方程的整体解与渐近行为

Entire Solutions and Asymptotic Behavior to a Class of Parabolic $k$-Hessian Equations with More General Right-Hand Side Terms

作者: Ning An, Jiguang Bao

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29218v1

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

摘要: This paper investigates entire classical separable variable radial solutions to a class of parabolic k-Hessian equations -u_t (sigma_k(lambda(D^2u)))^alpha = f(|x|)g(t), where the right-hand side consists of positive continuous functions. Without assuming that -u_t is positively bounded, we extend previous work for the equations whose right-hand side is 1 to more general cases, including cases where the right-hand side terms are bounded and periodic. By employing the method of Euler’s broken line, we obtain the existence and nonexistence results. Furthermore, we obtain the precise asymptotic power exponent.


22. 双曲空间中的非齐次曲率流

Non-homogeneous curvature flows in hyperbolic space

作者: Hongyi Sheng, Weimin Sheng, Jiazhuo Yang

类别: math.DG, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29199v1

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

摘要: Let H^{n+1} be hyperbolic space of sectional curvature -1, with a fixed point o. We study the non-homogeneous curvature flow X_t=-f(r) sigma_k^{alpha} {nu} of smooth, closed, strictly h-convex hypersurfaces enclosing o, where r is the geodesic distance to o and alpha>0. The radial weight f is modeled on sinh^{beta}r; we treat both regimes: beta>1+k{alpha} and beta=1+k{alpha}. Under a structural condition of f, the flow exists smoothly for all time, preserves strict h-convexity, and contracts to o. The normalized radial function converges, exponentially in normalized time: to 1 and to a positive constant R_{infty} respectively in two different cases.


23. 带有 Dirichlet-手性边界的超-Liouville 方程

Super-Liouville equation with a Dirichlet-chiral boundary

作者: Lei Liu, Mingyuan Zhu

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29196v1

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

摘要: In this paper, we investigate the compactness problem for the super-Liouville equation under Dirichlet-chiral boundary conditions. We prove that no blow-up occurs in this setting.


24. 向量值 Morrey 空间的精确迹

Exact Traces for Vector-Valued Morrey Spaces

作者: Rishad Shahmurov, Veli Shahmurov

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29148v1

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

摘要: Trace spaces determine exactly which initial values are compatible with an evolution class. We identify the exact trace generated by vector-valued Morrey control in time and show that it differs essentially from the classical $L^p$ theory. For a Banach couple $X_1\hookrightarrow X_0$, the trace of the natural Morrey evolution class is the weak real-interpolation space $(X_0,X_1)_{θ,\infty}$, where $θ=1-(1-λ)/p$. Every element of this space occurs as a trace through a bounded extension operator. The result is sharp in both interpolation parameters: in general the smoothness exponent cannot be increased and the fine index $\infty$ cannot be replaced by any finite index. Thus Morrey control changes the exact trace mechanism rather than merely strengthening an integrability estimate. At the limiting endpoint, bounded mean oscillation (BMO) control yields finite-index interpolation traces together with a logarithmic modulus of continuity. The result isolates the precise initial-data space naturally associated with local, scale-sensitive time regularity and provides a trace framework suited to evolution equations with Morrey-type maximal regularity. \keywords{Morrey spaces \and trace spaces \and real interpolation \and evolution equations \and bounded mean oscillation}


25. 带 Logistic 阻尼的病毒动力学 Chemotaxis-May-Nowak 模型中的全局有界性

Global boundedness in a Chemotaxis-May-Nowak model for virus dynamics with logistic damping

作者: Minh Le

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29134v1

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

摘要: This paper investigates the following May–Nowak type model for viral infection in a bounded domain $Ω\subset \mathbb{R}^n$, $n \ge 2$: $\begin{cases} u_t = Δu - χ\nabla \cdot (u \nabla v) + κ- u - uw - μ\dfrac{u^{1+α}}{\ln^k(u+e)}, \\[1mm] γv_t = Δv - v + uw, \\[1mm] w_t = Δw - w + v, \end{cases}$ where $χ\in \mathbb{R}$, $μ> 0$, $k \in [0,1)$, $α> 0$, and $γ\in \{0,1\}$. We establish the global existence and uniform-in-time boundedness of classical solutions for suitably regular initial data under one of the following conditions: (A) $γ= 1$, $n = 2$, $k \in [0,1)$, $α= 1$, and $μ> 0$; (B) $γ= 1$, $3 \le n \le 5$, $k = 0$, $α= 1$, and $μ$ is sufficiently large; (C) $γ= 1$, $n \ge 6$, $k = 0$, $α> \frac{n-2}{4}$, and $μ> 0$; (D) $γ= 0$, $n \ge 2$, $k = 0$, $α> \frac{n+2}{2}$, and $μ>0$. In particular, in the physically relevant dimensions $n = 2,3$, both subquadratic and quadratic damping are sufficient to prevent blow-up. Moreover, in the fully parabolic case ($γ= 1$), our results improve upon recent findings by relaxing the condition $α> \frac{n}{2}$ to weaker assumptions within the above parameter regimes.


26. 具有孤立临界点且自然梯度 $C^1$-正则性失效的整个 $p$-调和函数

Entire $p$-harmonic functions with an isolated critical point and failure of $C^1$-regularity of the natural gradient

作者: Erno Kauranen, Jarkko Siltakoski

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29122v1

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

摘要: For every $n\ge2$ and $1<p<\infty$, we show an existence of a nonconstant homogeneous entire $p$-harmonic function whose only critical point is the origin. The angular parts of these functions are axially symmetric and even across the equator. To establish the solution we use contraction argument at the pole in conjuction with a shooting argument. It follows that in every dimension $n\ge3$ and for $p<2$ sufficiently close to $2$, the natural gradient has pointwise Hölder exponent strictly below one at the origin. Such examples settle the remaining scalar case of the conjecture of Balci, Diening, and Weimar by disproving both the $C^1$ assertion and the linear $L^2$ mean oscillation estimate.


27. 退化抛物型双相问题的 Hölder 插值间隙界

The Hölder interpolative gap bound for degenerate parabolic double phase problems

作者: Jehan Oh

类别: math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29010v1

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

摘要: We study weak solutions to degenerate parabolic double phase equations with growth exponents $2\le p<q$ and a modulating coefficient that is Hölder continuous with exponent $α$. If the solution itself is Hölder continuous with exponent $γ$, we prove higher integrability of its gradient under the gap condition $q\le p+α/(1-γ)$ together with $q<p+1$. This is the first gap bound of Hölder interpolative type for parabolic double phase problems, and it is the parabolic counterpart of the corresponding bound for elliptic problems. For $α<1$ it allows exponents beyond the range $q\le p+α$ known for bounded solutions.


28. 复数三次 Ginzburg–Landau 方程在可测集上的零可控性

Null controllability on measurable sets for the complex cubic Ginzburg–Landau equation

作者: Yu Xiao, Can Zhang

类别: math.OC, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.29008v1

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

摘要: This paper investigates the null controllability of the complex cubic Ginzburg–Landau equation with controls supported on general space-time measurable sets. Starting from a positive-measure control set, we use a slicing argument to obtain time slices of uniformly positive spatial measure. This yields uniform spectral inequalities on the slices, which are the key ingredient in constructing quantitative stabilizing feedbacks. A density-point argument provides a sequence of shrinking intervals accumulating at the density point, on which the active times have a uniform positive density. We then apply a time-iteration scheme with piecewise feedback laws and increasing decay rates. Iterating the resulting stabilization estimates shows that the closed-loop solution reaches the zero state at the selected density point. This provides a constructive approach to the local null controllability on measurable control sets for nonlinear parabolic equations.


29. Ricci 熵、RCD 结构与 Kähler 空间

Ricci entropy, RCD structures and Kahler spaces

作者: Bin Guo, Jian Song, Jacob Sturm

类别: math.DG, math.AG, math.AP, math.CV

发布日期: 2026-09-24

arXiv ID: 2609.28986v1

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

摘要: This paper is the final installment in our series on the geometric theory of complex Monge-Ampere equations. We study singular Kahler metrics on compact normal Kahler spaces with klt singularities whose volume densities lie in $L^p$ for some $p>1$. We show that a lower bound for the Ricci current in the sense of pluripotential theory is equivalent to a synthetic Ricci lower bound in the sense of RCD theory. As a consequence, every Kahler class on a compact normal Kahler space with klt singularities admits an RCD structure, which makes differential geometric analysis available on singular complex spaces. As an application, we show that the fundamental group of a compact Kahler Calabi-Yau space with klt singularities is almost Abelian. We further establish compactness results for singular Kahler-Einstein spaces.


30. 复 Monge-Ampère 方程的几何 Hölder 估计

Geometric Holder estimates for complex Monge-Ampere equations

作者: Bin Guo, Jian Song, Jacob Sturm

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

发布日期: 2026-09-24

arXiv ID: 2609.28982v1

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

摘要: This paper is the continuation of our earlier work on Holder estimates for Kahler potentials on compact normal Kahler spaces. We establish a geometric counterpart for analytic Holder regularity of Kolodziej. If a singular metric $ω_φ$ has Holder continuous potentials with respect to a smooth background metric, then its distance function is Holder continuous with respect to a smooth background distance. The result holds on normal Kahler spaces and yields compactness of the metric completion as well as its identification with the underlying complex space if $ω_φ$ is a Kahler current. Under this positivity assumption, our estimates establish the Holder equivalence between the intrinsic canonical Kahler metrics and the extrinsic smooth metrics on Kahler-RCD spaces, particularly on smoothable Kahler-Einstein spaces.


31. 复Monge-Ampere方程的几何稳定性

Geometric stability for complex Monge-Ampere equations

作者: Bin Guo, Jian Song, Jacob Sturm

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

发布日期: 2026-09-24

arXiv ID: 2609.28978v1

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

摘要: Let $X$ be a compact Kahler manifold. The analytic stability theorem of Kolodziej for complex Monge-Ampere equation states that for any Kahler metrics $ω$ and $ω'$ in the same cohomology class, if their volume measures are bounded in $L^p(X)$ (for some $p>1$) and close in $L^1(X)$, then their Kahler potentials are close in $L^\infty(X)$. In this paper, we establish the geometric stability for complex Monge-Ampère equations that $L^1$-closeness of volume measures implies $L^\infty$-closeness for the induced distance functions by $ω$ and $ω'$. Consequently, we prove that any non-smooth Kahler current with volume measure bounded in $L^p$ (for some $p>1$) and Ricci current bounded below induces a unique metric space, which turns out to be a compact RCD space homeomorphic to $X$ itself.


32. 具有圆形边界的常平均曲率圆盘

Constant mean curvature disks with circular boundary

作者: Davi Maximo, Ivaldo Nunes

类别: math.DG, math.AP

发布日期: 2026-09-24

arXiv ID: 2609.28929v1

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

摘要: We prove that a compact immersed disk of constant mean curvature in $\R^3$ whose boundary is mapped diffeomorphically onto a round circle is a planar disk or a spherical cap.


33. 复双曲流形的微局部分析与谱隙

Microlocal analysis and spectral gap for complex hyperbolic manifolds

作者: Travis Cunningham

类别: math.SP, math.AP

发布日期: 2026-09-23

arXiv ID: 2609.28853v1

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

摘要: We prove the existence of an essential spectral gap for convex cocompact complex hyperbolic manifolds under the hypothesis that the limit set does not contain a complex circle. We apply an extension to complex hyperbolic manifolds due to Quan of the approach of Vasy to meromorphic continuation of the resolvent. This allows us to adapt the method of Dyatlov-Zahl to prove fine microlocal properties of resonant states. Following recent work of Athreya-Dyatlov-Miller and Dyatlov-Jezequel, we then take advantage of the different expansion rates in different directions for the geodesic flow, and apply the one dimensional fractal uncertainty principle of Bourgain-Dyatlov along the fast expanding direction. Combining these techniques provides a new resolvent bound from which the essential spectral gap follows.


34. Gårding 算子的对偶性与一种新的 GM/AM 型不等式

Duality for Garding operators and a new inequality of GM/AM type

作者: F. Reese Harvey, H. Blaine Lawson

类别: math.AP

发布日期: 2026-09-23

arXiv ID: 2609.28773v1

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

摘要: This article concerns Garding Dirichlet operators, and also the theory of Garding polynomials. Garding Dirichlet operators are those which arise from homogeneous polynomials on the space S(n) of symmetric $n \times n$ polynomials, which are hyperbolic with respect to any positive definite matrix. (In particular, any polynomial on ${\mathbb R}^n$, which is hyperbolic with respect to elements in $({\mathbb R_+})^n$, gives rise to a Garding operator on S(n), in many ways.) Here a new duality theorem is developed with many special cases and examples. The dual $g^*$ of a Garding operator $g$ is used to prove a new basic inequality for $g$. An important Lemma of Guo-Phong-Tong is improved upon as a final application.


35. 两个无界区域及界面中热方程的全局可解性

Global solvability of the heat equations in two unbounded domains and the interface

作者: Hajime Koba

类别: math.AP

发布日期: 2026-09-23

arXiv ID: 2609.28764v1

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

摘要: This paper considers the existence of a unique global-in-time strong solution to the heat equations in two unbounded domains $Ω_A$, $Ω_B$ and the interface $Γ(= \partial Ω_A \cap \partial Ω_B)$. We introduce and study some function spaces in the two unbounded domains and the interface. We apply our function spaces and maximal $L^p$-regularity for Hilbert space-valued functions to show the existence of a local-in-time strong solution to our heat equations. By using an energy equality of our heat system, we prove the existence of a unique global-in-time strong solution to the system with large initial data when the slope of the interface is gentle and our parameters are limited. The key ideas for showing the existence of our strong solutions are to transform our system into a system of equations in two half spaces $\mathbb{R}^3_+, \mathbb{R}^3_-$ and the whole space $\mathbb{R}^2$, and to make use of nice properties of the heat semigroups and kernels for $\mathbb{R}^3_+$, $\mathbb{R}^3_-$, and $\mathbb{R}^2$. In Appendix (I), we derive our heat equations in the two unbounded domains and the interface from an energetic point of view. In Appendix (II), we study representation formulas for differential operators on unbounded domains and surfaces.