Home » 论文总结

2025年11月11日论文分析

共有 7 篇重点关注论文, 16 篇论文可以了解, 45 篇不相关论文

November 11, 2025 · 60 min · 12704 words · P0lyno3ial

Table of Contents

重点关注论文（完整分析）
了解领域论文（摘要翻译）
不相关论文（基本信息）

生成时间: 2025年11月11日 03:59:32

重点关注论文数量: 7

了解领域论文数量: 16

不相关论文数量: 45

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

1. Tracking Brownian fluid particles in large eddy simulations

大涡模拟中布朗流体粒子的追踪

作者: Zihao Guo, Zhongmin Qian

类别: physics.flu-dyn, math.AP, math.PR, 76M35, 76M23, 60H30, 65C05, 68Q10

发布日期: 2025-05-16

arXiv ID: 2505.10785v4

链接: http://arxiv.org/abs/2505.10785v4

详细分析

中文标题: 大涡模拟中布朗流体粒子的追踪

研究对象和背景

本文的研究对象是壁面约束下的不可压缩粘性湍流流动，其数学建模基于经典的 Navier-Stokes 方程组。这类流动广泛存在于工程与自然现象中，例如空气流过机翼、水流经过管道或边界层中的湍流发展等。由于湍流具有高度非线性、多尺度结构以及强烈的时空不规则性，直接数值模拟（DNS）需要极高的空间与时间分辨率，计算代价极其昂贵。因此，发展高效且物理上合理的近似方法成为计算流体力学的核心课题之一。

作者提出了一种结合大涡模拟（Large Eddy Simulation, LES） 与随机涡方法（Random Vortex Method） 的新框架，旨在通过引入布朗流体粒子的随机动力学来构建一种前向时间推进的显式数值方案。该方法的核心思想是将流体速度场表示为大量携带局部动量信息的布朗粒子（Brownian fluid particles）的统计平均，并利用滤波函数对小尺度涡旋进行隐式处理，从而降低计算复杂度。

在论文第1页，作者给出了所研究系统的控制方程：设 $D = \mathbb{R}^d_+ = \{x \in \mathbb{R}^d : x_d > 0\}$ ，其中 $$ d = 2 $$ 或 $$ 3 $$ ，边界 $\partial D = \{x_d = 0\}$ 表示固体壁面。考虑不可压缩粘性流体的速度场 $u(x,t) = (u_1(x,t), \dots, u_d(x,t))$ ，密度恒定为1，压力为 $$ p(x,t) $$ ，满足如下 Navier-Stokes 方程：

\frac{\partial u_i}{\partial t} + (u \cdot \nabla) u_i = \nu \Delta u_i - \frac{\partial p}{\partial x_i} + F_i, \quad i=1,\dots,d,

\nabla \cdot u = 0,

定义于区域 $D \times [0, \infty)$ 上，并满足无滑移边界条件：

u(x,t) = 0, \quad \text{当 } x \in \partial D, \; t > 0.

其中 $\nu > 0$ 是运动粘度系数， $$ F(x,t) $$ 是外力项。值得注意的是，该问题定义在半空间 $\mathbb{R}^d_+$ 上，且边界条件为 Dirichlet 型（即速度为零），这给分析和数值实现带来了挑战，尤其是靠近壁面处梯度剧烈变化导致的小尺度结构激增。

传统的 LES 方法通过对 Navier-Stokes 方程进行空间滤波，分离出大尺度运动（可解析尺度）和小尺度运动（亚格子尺度）。令 $\chi(x)$ 为一个非负、积分归一化为1的滤波核（如高斯核），则滤波后的速度场定义为：

\tilde{u}(x,t) = \int_{\mathbb{R}^d} \chi(x - y) u(y,t) \, dy.

对应的滤波后方程为：

\frac{\partial \tilde{u}}{\partial t} + \overline{(u \cdot \nabla) u} = \nu \Delta \tilde{u} - \nabla \tilde{p} + \tilde{F}, \quad \nabla \cdot \tilde{u} = 0.

然而，由于非线性项不能交换滤波与乘积运算，必须引入亚格子应力张量 $\tau$ ：

\nabla \cdot \tau = (\tilde{u} \cdot \nabla) \tilde{u} - \overline{(u \cdot \nabla) u},

从而得到闭合形式的方程：

\frac{\partial \tilde{u}}{\partial t} + (\tilde{u} \cdot \nabla) \tilde{u} = \nu \Delta \tilde{u} - \nabla \tilde{p} + \tilde{F} - \nabla \cdot \tau.

传统 LES 的主要难点在于如何合理建模 $\tau$ ，不同模型（如 Smagorinsky 模型）会引入额外假设并可能导致数值耗散过大或对网格依赖性强。

与此不同，本文采用基于布朗粒子扩散的随机积分表示法。关键出发点是将速度更新视为一个抛物型偏微分方程的解，其演化由带有漂移项 $u \cdot \nabla$ 的扩散过程驱动。具体地，定义算子 $L_{-u} = \nu \Delta - u \cdot \nabla$ ，并考虑 Itô 随机微分方程描述的布朗流体粒子轨迹：

dX_t = u(X_t, t) dt + \sqrt{2\nu} dB_t, \quad X_0 = \eta,

其中 $$ B_t $$ 是标准布朗运动。粒子的转移概率密度 $$ p_u(s,x;t,y) $$ 满足伴随的反向抛物方程。借助这一构造，速度场可通过期望形式表示，从而避免显式求解压力泊松方程带来的数值不稳定。

此外，在壁面附近，为了满足无滑移边界条件，作者采用了反射延拓技术：将速度场从 $\mathbb{R}^d_+$ 奇偶延拓至全空间 $\mathbb{R}^d$ ，使得切向速度偶延拓、法向速度奇延拓。这种处理方式允许使用全空间 Green 函数结合边界贡献项来表达压力梯度，显著简化了边界效应的处理。

特别地，压力 $$ p $$ 本身满足一个泊松方程：

\Delta p = - \sum_{i,j=1}^d \frac{\partial u_j}{\partial x_i} \frac{\partial u_i}{\partial x_j} + \nabla \cdot F,

而在壁面 $$ x_d = 0 $$ 上，其满足 Neumann 边界条件：

\left. \frac{\partial p}{\partial x_d} \right|_{x_d=0} = -\nu \sum_{k=1}^{d-1} \frac{\partial^2 u_k}{\partial x_k \partial x_d} + F_d.

利用半空间上的 Green 函数 $H_d^+(x,y) = \Gamma_d(x - y) + \Gamma_d(x - \bar{y})$ ，其中 $\bar{y}$ 是 $$ y $$ 关于 $$ x_d = 0 $$ 的镜像点， $\Gamma_d$ 是拉普拉斯方程的基本解，可得压力梯度的奇异积分表示：

\nabla p(x) = \int_{\mathbb{R}^d_+} K_d^+(x,y) \Delta p(y) dy + \int_{\mathbb{R}^{d-1}} K_d^+(x,(y',0)) F_d(y',0) dy' + \nu \sum_{k=1}^{d-1} \int_{\mathbb{R}^{d-1}} \frac{\partial K_d^+}{\partial y_k}(x,(y',0)) \frac{\partial u_k}{\partial x_d}(y',0) dy',

其中 $K_d^+(x,y) = \nabla_x H_d^+(x,y)$ 称为半空间的 Biot-Savart 核。这些公式构成了后续构造随机 LES 方法的理论基础。

主要定理或主要结果

本文的主要结果体现在以下几个定理中，它们共同构建了“随机大涡模拟”方法的数学框架。

定理4（全空间下速度的随机表示）
设 $$ u(x,t) $$ 是 $\mathbb{R}^d$ 中粘性不可压缩流体的速度场， $g = -\nabla p + F$ 。则对于任意 $\xi \in \mathbb{R}^d$ 和 $t \geq 0$ ，有：

u(\xi,t) = \int_{\mathbb{R}^d} p_u(0,\eta;t,\xi) u_0(\eta) d\eta + \int_0^t \int_{\mathbb{R}^d} \mathbb{E}\left[ g(X_\eta^s) \mid X_\eta^t = \xi \right] p_u(0,\eta;t,\xi) d\eta ds,

其中 $$ p_u(s,x;t,y) $$ 是 Brownian 流体粒子的转移密度， $X_\eta^s$ 是由 SDE $dX = u(X,t)dt + \sqrt{2\nu}dB$ 启动于 $\eta$ 的路径。

定理5（半空间带壁面条件下速度的反射表示）
对于定义在 $\mathbb{R}^d_+$ 上的粘性不可压缩流，其速度满足：

u(\xi,t) = \int_{\mathbb{R}^d_+} \left[ p_u(0,\eta;t,\xi) - p_u(0,\bar{\eta};t,\xi) \right] u_0(\eta) d\eta + \int_0^t \int_{\mathbb{R}^d_+} \mathbb{E}\left[ \mathbf{1}_{\{t-s < \zeta(X_\eta)\}} g(X_\eta^s,s) \mid X_\eta^t = \xi \right] p_u(0,\eta;t,\xi) d\eta ds,

其中 $\zeta(w) = \inf\{s > 0 : w(s) \notin \mathbb{R}^d_+\}$ 是粒子首次离开半空间的逃逸时间。此公式通过镜像项自动满足无滑移边界条件。

引理6（滤波速度的随机表示）
设 $\tilde{u}(x,t) = \int \chi(x-y)u(y,t)dy$ 为滤波速度，则有：

\tilde{u}(x,t) = \int_{\mathbb{R}^d} \mathbb{E}\left[ \chi(x - X_\eta^t) u_0(\eta) \right] d\eta + \int_0^t \int_{\mathbb{R}^d} \mathbb{E}\left[ \chi(x - X_\eta^s) g(X_\eta^s,s) \right] d\eta ds.

这是“随机LES”方法的核心公式，表明滤波速度可以直接通过布朗粒子轨迹与滤波核的耦合期望计算，无需显式求解 PDE。

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

a) 核心分析学工具

本文融合了多个数学领域的工具，主要包括：

抛物型方程的积分表示理论：利用热核 $$ h(x,t,y) $$ 及其对应的变系数算子 $\nu\Delta + u\cdot\nabla - \partial_t$ 的基本解，建立速度场的 mild 解形式。这是连接确定性 PDE 与随机过程的关键桥梁。
随机分析（Itô calculus）：通过 Itô 随机微分方程 $dX_t = u(X_t,t)dt + \sqrt{2\nu}dB_t$ 描述流体粒子的随机轨迹。粒子的转移概率密度 $$ p_u $$ 满足 Kolmogorov 前向与反向方程，其生成元分别为 $L_u = \nu\Delta + u\cdot\nabla$ 与 $L_{-u}$ 。
泛函积分（Feynman-Kac 型公式）：将 PDE 解表示为布朗运动路径上的期望。例如，定理4本质上是一个 Feynman-Kac 公式的非线性推广，将速度表示为初始速度与源项沿粒子路径传播的加权平均。
奇异积分算子与位势理论：用于处理压力梯度。通过半空间的 Green 函数和 Biot-Savart 核 $$ K_d^+ $$ ，将压力梯度表示为体积积分与边界积分之和。这类算子属于 Calderón-Zygmund 类型，其 $$ L^p $$ 有界性和正则性估计是保证解适定性的关键。
Monte Carlo 方法：作为最终的数值实现手段，用大量独立布朗粒子的模拟来逼近期望值。这种方法天然并行，适合大规模计算。

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

消除梯度项的奇异性：传统 mild 解中含有 $\nabla u$ ，需有限差分逼近，易引发数值爆炸。本文通过分部积分和不可压条件 $\nabla \cdot u = 0$ 将 $\nabla u$ 转化为 $u \cdot \nabla \ln h$ 形式，使非线性项仅以乘积形式出现，便于随机采样。
三维非局部可积核的处理：经典随机涡方法在三维中涉及非局部可积的 Biot-Savart 核 $\nabla \ln h$ ，难以数值积分。本文引入滤波函数 $\chi$ 作为空间平均算子，有效平滑了小尺度奇异性，使得 Monte Carlo 采样稳定可行。
壁面边界的处理：通过反射延拓与镜像粒子法，将半空间问题转化为全空间问题。定理5中的 $p_u(0,\eta;t,\xi) - p_u(0,\bar{\eta};t,\xi)$ 自动满足边界条件，避免了复杂的边界层网格划分。
压力闭合的显式化：传统方法需迭代求解压力泊松方程。本文将 $\nabla p$ 表示为关于 $\Delta p$ 和边界导数的奇异积分（引理1–3），并在每次时间步中通过粒子分布直接估算，实现了完全显式的前向推进。
亚格子应力的隐式建模：传统 LES 需显式建模 $\tau$ 。而本文的随机LES中，滤波操作已嵌入在期望公式（引理6）中，小尺度效应通过粒子扩散自然耗散，无需额外建模，实现了自动闭合。

与之前工作的比较

a) 突破与改进

本文相对于已有工作有多方面突破：

克服三维随机涡方法的计算障碍：经典 Chorin 的随机涡方法在二维成功，但在三维因核函数 $|\cdot|^{-3}$ 非局部可积而难以收敛。本文通过引入滤波函数 $\chi$ ，将原始奇异性平滑为局部可积形式，使得三维模拟首次在该框架下变得可行。
避免传统LES的建模依赖：传统LES必须选择亚格子模型（如 Smagorinsky），其参数敏感且可能破坏物理真实性。本文方法通过随机粒子的扩散自然实现能量级串与耗散，无需人为建模 $\tau$ ，提升了物理自洽性。
降低对网格的依赖性：传统有限差分/有限元方法严重依赖网格质量，尤其在边界层需极细网格。而本文基于 Monte Carlo 的粒子方法对网格分辨率容忍度高，即使粗网格也能捕捉主流特征，显著降低计算成本。
提高数值稳定性：传统方法中 $\nabla u$ 的差分逼近易导致数值爆炸。本文通过积分表示消除了显式的梯度计算，且 Monte Carlo 估计具有内在的统计稳定性，无 blow-up 现象。
简化边界处理：传统方法在移动边界或复杂几何中实现困难。本文通过反射延拓和逃逸时间 $\zeta$ 的引入，能自然处理固定壁面，且易于推广至动态边界。
提升理论简洁性与复杂度：相比传统 LES 需同时求解动量方程与压力方程，本文将整个系统压缩为一组 McKean-Vlasov 型随机微分方程，理论复杂度更低，更适合并行计算与不确定性量化。

综上所述，本文通过将 LES 的滤波思想与随机涡方法的路径积分框架相结合，提出了一种新型的“随机大涡模拟”方法。它不仅在数学上提供了 Navier-Stokes 方程的新表示，也在数值上展现出稳定性强、效率高、物理一致性好的优势，尤其适用于三维壁面湍流的高效模拟。

2. On Riemann wave superpositions obtained from the Euler system

关于从欧拉方程组得到的黎曼波叠加的研究

作者: Łukasz Chomienia, Alfred Michel Grundland

类别: math-ph, math.AP, math.MP, 35Q31, 35A30, 17B80, 53A05

发布日期: 2025-10-10

arXiv ID: 2510.09576v3

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

详细分析

中文标题: 关于从欧拉方程组得到的黎曼波叠加的研究

研究对象和背景

本文研究的对象是 (1+1) 维可压缩流体的 欧拉方程组，其描述了密度 $\rho$ 、压力 $$p$$ 和速度 $$u$$ 随时间和空间的变化。该系统是一个典型的拟线性双曲型偏微分方程组，在流体力学中具有基础地位。论文关注的是此类系统中由 黎曼波（Riemann waves） 构成的解及其相互作用，特别是这些波在叠加时表现出的弹性与 非弹性 行为。

所研究的欧拉系统具体形式如下：

$$ \begin{pmatrix} \rho \ p \ u \end{pmatrix}_t

\begin{pmatrix} 0 & u & 0 \ 0 & u & \kappa p \ 0 & 1/\rho & u \end{pmatrix} \begin{pmatrix} \rho \ p \ u \end{pmatrix}_x $$

其中 $(x,t) \in \mathbb{R}^2$ 是时空变量，状态变量 $v = (\rho, p, u) \in \mathbb{R}^3$ 满足 $\rho > 0$ ， $\kappa := c_p / c_V > 0$ 是绝热指数。这个系统的特征结构包含三类基本波：向右传播的声波 $$S_+$$ 、熵波 $$E$$ 和向左传播的声波 $$S_-$$ ，分别对应于三个特征值和特征向量场：

向右声波 $$S_+$$ ：特征值 $v_+ = u + \sqrt{\kappa p / \rho}$ ，特征向量场
$\gamma_+ = \left(\rho, \kappa p, \sqrt{\kappa p / \rho}\right)$ ；
熵波 $$E$$ ：特征值 $$v_0 = u$$ ，特征向量场 $\gamma_0 = (1, 0, 0)$ ；
向左声波 $$S_-$$ ：特征值 $v_- = u - \sqrt{\kappa p / \rho}$ ，特征向量场
$\gamma_- = \left(\rho, \kappa p, -\sqrt{\kappa p / \rho}\right)$ 。

这三个向量场在任意点线性无关，即 $\gamma_+ \wedge \gamma_0 \wedge \gamma_- \neq 0$ 。

论文的研究背景建立在 黎曼波解理论 的基础上。对于一般的一阶拟线性齐次双曲系统：

\sum_{i=1}^{p} A^i(u) \frac{\partial u}{\partial x_i} = 0,

若存在满足特征条件的向量场对 $(\lambda_i, \gamma_s)$ 并且函数 $$f(r)$$ 是向量场 $\gamma_\alpha(u)\partial/\partial u^\alpha$ 的积分曲线，则形如 $u^\alpha = f^\alpha(r), r = \phi(\lambda_i(r)x^i)$ 的表达式构成一个 单黎曼波解，其中 $$r$$ 称为 黎曼不变量。

当多个黎曼波叠加形成多波解时，其存在性依赖于向量场族的代数性质。经典的 Peradzyński 条件 要求：对于 $$k$$ 个向量场 $\{\gamma_1,\dots,\gamma_k\}$ ，它们的李括号满足

[\gamma_i, \gamma_j] \in \text{span}\{\gamma_i, \gamma_j\}, \quad i \neq j,

并且对应的1-形式 $\lambda_i$ 沿 $\gamma_j$ 的李导数也落在 $\text{span}\{\lambda_i, \lambda_j\}$ 中。但在 (1+1) 维情况下，后者自动满足，因此关键在于前者的 对合性（involutivity） 或通过适当重标度实现交换性。

为了处理更一般的波叠加情形，作者引入了 拟直化（quasi-rectifiability） 这一核心概念。一个向量场族 $\{X_1,\dots,X_r\}$ 在流形 $$N$$ 上被称为 拟直化的，如果存在局部坐标系使得每个 $$X_i$$ 可表示为 $g_i(x)\partial/\partial x^{(i)}$ ，即仅沿第 $$i$$ 个坐标方向伸缩。这一性质等价于存在非零光滑函数 $$h_i$$ 使得重标度后的向量场 $$h_i X_i$$ 彼此交换： $$[h_i X_i, h_j X_j] = 0$$ 。

基于此，论文定义了两类波叠加行为：设 $$M$$ 为两波交叠区域， $\Gamma_+$ 和 $\Gamma_-$ 分别表示进入和离开该区域的波的数量，定义 叠加指数 $\Gamma_M = \text{card} \Gamma_- - \text{card} \Gamma_+$ 。若 $\Gamma_M = 0$ ，则称叠加为弹性；若 $\Gamma_M > 0$ ，则称为 非弹性。弹性叠加意味着波的类型和数量守恒，而非弹性叠加则产生新波。

研究区域通常取为 $\mathbb{R}^2$ 上某个开集，初始数据假定具有紧支集且充分小，以保证局部经典解的存在性。函数空间方面，所有涉及的函数均为 $$C^1$$ 或更高正则性的光滑函数，向量场定义在状态空间 $\mathbb{R}^3$ 上，并考虑其生成的李代数结构。

主要定理或主要结果

以下为论文中列出的主要定理：

定理 2.3（[6]）
两个分别对应于向量场 $\gamma_1$ 和 $\gamma_2$ 的单黎曼波的叠加是弹性的，当且仅当向量场族 $\{\gamma_1, \gamma_2\}$ 是 拟直化的。

定理 2.4（[6]）
设 $F = \{\gamma_1, \gamma_2, \gamma_3\}$ 是 $\mathbb{R}^3$ 上满足 $\gamma_1 \wedge \gamma_2 \wedge \gamma_3 \neq 0$ 的向量场族。则 $$F$$ 是拟直化的当且仅当对任意点 $p \in \mathbb{R}^3$ 和 $i \neq j$ ，有

\lim_{r \to 0} \frac{1}{\pi r^2} \int_{S^1_r(p)} \gamma_i \times \gamma_j \cdot d\sigma = 0,

其中 $$S^1_r(p)$$ 是由 $\gamma_i, \gamma_j$ 张成的二维分布 $$D_p$$ 内以 $$p$$ 为中心、半径为 $$r$$ 的圆周。

推论 2.5（[6]）
三个线性无关的向量场 $\{\gamma_1, \gamma_2, \gamma_3\}$ 是拟直化的当且仅当对所有 $i \neq j$ ，有 $\text{curl}(\gamma_i \times \gamma_j) \in \text{span}\{\gamma_i, \gamma_j\}$ 。

定理 4.1（[6]）
包含向量场 $\{\gamma_+, \gamma_-, \gamma_0\}$ 的最小实李代数同构于 $K_\Theta \simeq I_- \oplus K_-$ 或 $H_\Theta \simeq I_+ \oplus K_+$ ，其中 $I_\pm$ 是无限维阿贝尔理想， $K_\pm$ 是三维实李代数，它是唯一的二维非阿贝尔李代数与一维阿贝尔李代数的直和。

定理 4.2（[6]）
包含所有 $\rho^{-n}\gamma_+, \rho^{-n}\gamma_0, \rho^{-n}\gamma_-$ （ $n \in \mathbb{N}_0$ ）的最小实李代数同构于 Virasoro 代数 $L \simeq I_2 \oplus (I_1 \oplus \text{Witt})$ 。

定理 4.3（[6]）
由 $\gamma_+, \gamma_-$ 及其迭代 $\rho^{-n}\gamma_+, \rho^{-n}\gamma_-$ 生成的最小实李代数 $$B$$ 同构于 $B \simeq I_3 \oplus \text{Witt}$ ，其中 $$I_3$$ 是阿贝尔代数。

定理 5.1（[6]）
对欧拉系统对应的李模 $\{|\gamma_-, \gamma_0, \gamma_+|\}$ 施加保角变换后，可得到唯一（至多同构）的实李代数，同构于 $K_\pm$ 。

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

a) 核心分析学工具：

本文的核心并非传统意义上的泛函分析或估计技巧（如能量法、Strichartz 不等式），而是基于 微分几何 与 李群/李代数理论 的结构化方法。主要工具包括：

向量场的李括号与分布对合性：判断多个向量场是否能同时被“拉直”或重标度为交换形式的关键是计算其李括号 $[\gamma_i, \gamma_j]$ 是否落在原向量场张成的空间内。这是 Frobenius 定理的推广应用。
拟直化判据（Theorem 1.4 与 Theorem 1.5）：通过构造适当的 重标度函数 $$h_i$$ ，使得 $[h_i\gamma_i, h_j\gamma_j] = 0$ 。这等价于寻找使对偶1-形式 $h_i\eta_i|_D$ 在分布 $$D$$ 上成为恰当微分的因子，即满足 $d(h_i\eta_i)|_D = 0$ 。这是一个积分因子问题，本质上是求解偏微分方程。
通量积分判据（Theorem 2.4）：将拟直化性质转化为向量叉积 $\gamma_i \times \gamma_j$ 在局部球面上的平均通量趋于零。这结合了向量分析与微分流形上的积分理论，提供了一种几何上直观的验证方式。
李代数结构分析：通过递归计算李括号生成更大的代数结构，识别出其作为 半直积（semi-direct sum）的形式，如 $I_- \rtimes K_-$ 。这种分解揭示了系统动力学的层次结构：有限维部分 $K_\pm$ 编码定性行为，而无限维部分 $I_\pm$ 记录密度变化带来的定量效应。

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

非弹性叠加的参数化：面对非拟直化的向量场（如 $\{\gamma_+, \gamma_0\}$ ），无法直接构造交换基。作者采用 坐标变换与基重组 的技巧：引入新基 $w_1 = \gamma_+ + \gamma_-, w_2 = \gamma_+ - \gamma_-$ ，并结合 $\gamma_0$ ，使其整体变为拟直化族，从而可在新坐标下构造流形 $$v(M)$$ 的参数化（见公式 (5.2)）。
无限维代数的识别：通过观察李括号的模式（如 $[\gamma_+, \gamma_-] = \frac{1-\kappa}{2}\gamma_+ + \frac{\kappa-1}{2}\gamma_-$ ），发现高阶项可通过 $\rho^{-n}$ 缩放生成，进而识别出其与 Witt 代数 和 Virasoro 代数 的联系。这是一种代数归纳与模式匹配的技术。
保角变换的应用：利用保角变换将原始李模映射到标准形式 $K_\pm$ ，简化了代数结构的分析。这表明尽管物理变量复杂，但其内在对称性可通过几何变换显露。

与之前工作的比较

a) 突破与改进：

本文相对于早期工作（如 Riemann 对两声波叠加的经典分析）的主要突破在于：

统一框架的建立：将波叠加的分类（弹性 vs 非弹性）统一到 拟直化 这一几何-代数概念之下。以往的工作多针对特定情况（如 $$S_+ + S_-$$ ）进行手工计算，而本文提供了普适的判定准则（Theorem 2.3），适用于任意波组合。
非弹性叠加的系统分析：以往研究大多止步于“非弹性叠加不能用经典黎曼方法处理”，而本文通过构造无限维李代数 $K_\Theta$ 和 $H_\Theta$ ，首次为非弹性过程提供了 代数结构模型。这使得即使没有交换对称性，仍可通过代数分解理解其动力学。
与数学物理深层结构的联系：发现欧拉系统的波相互作用代数嵌入 Virasoro 代数，这是共形场论和弦理论中的核心对象。这一联系揭示了经典流体力学与现代数学物理之间的深刻关联，远超 Bluman 或 Olver 等人基于有限维对称群的传统对称分析。
放宽假设条件：传统多波解要求向量场完全对合（即李括号封闭于自身），而本文通过重标度允许更广的结构（只要满足拟直化）。这相当于将解的存在性条件从严格的对合性放宽到“可交换重标度”的弱条件。
结果强度提升：不仅给出了解的存在性判据，还通过叠加指数 $\Gamma_M$ 给出了 拓扑量化指标，能够预测交互后新生波的数量。此外，通过参数化 $$v(M)$$ （如公式 (5.2)），实现了对非弹性区域的显式构造，这是此前工作未能达到的。

综上所述，本文将流体力学中的波叠加问题提升到了李代数与微分几何的层面，建立了弹性与非弹性行为的精确分类，并揭示了其背后深刻的代数结构，是对经典黎曼波理论的重要拓展与深化。

3. Smoothness of Leray solutions for the Navier-Stokes equations

Navier-Stokes方程Leray解的正则性

作者: Darko Mitrovic

类别: math.AP, 35Q30, 76D03, 76D05

发布日期: 2024-11-04

arXiv ID: 2411.02568v9

链接: http://arxiv.org/abs/2411.02568v9

详细分析

中文标题: Navier-Stokes方程Leray解的正则性

研究对象和背景

本文研究的是三维不可压缩Navier-Stokes方程（Navier-Stokes equations, NSE）的整体光滑性问题，即在给定光滑紧支初始数据的情况下，是否存在全局光滑且有界的Leray-Hopf弱解。该问题是千禧年七大数学难题之一，核心在于判断三维NSE是否存在有限时间内爆破（blow-up）的可能。

论文所考虑的方程组是经典的不可压缩Navier-Stokes方程：

\begin{cases} \partial_t \mathbf{w} - \Delta \mathbf{w} + (\mathbf{w} \cdot \nabla)\mathbf{w} + \nabla p = 0, \\ \mathrm{div}\,\mathbf{w} = 0, \\ \mathbf{w}|_{t=0} = \mathbf{w}_0 \in \mathcal{D}(\mathbb{R}^3), \end{cases}

其中 $\mathbf{w} = (w_1, w_2, w_3)$ 是速度场， $$p$$ 是压力函数， $\mathcal{D}(\mathbb{R}^3)$ 表示 $\mathbb{R}^3$ 上的光滑紧支向量值函数空间。这类初始数据具有良好的局部性和正则性，通常用于构造经典解或研究强解的存在性。

通过利用 $\mathrm{div}\,\mathbf{w} = 0$ 的条件，非线性项 $(\mathbf{w} \cdot \nabla)\mathbf{w}$ 可以等价地写成守恒形式：

(\mathbf{w} \cdot \nabla)\mathbf{w} = \mathrm{div}(\mathbf{w} \otimes \mathbf{w}),

其中 $\mathbf{w} \otimes \mathbf{w}$ 是张量积。进一步，对动量方程取散度可得压力 $$p$$ 满足椭圆型方程：

-\Delta p = \sum_{i,j=1}^3 \partial_i \partial_j (w_i w_j),

其解可通过Riesz变换表示为：

p = \sum_{i,j=1}^3 R_i R_j (w_i w_j),

其中 $$R_i$$ 是傅里叶乘子，其符号为 $\xi_i / |\xi|$ 。由此可将原系统转化为仅关于速度场的演化方程：

\partial_t \mathbf{w} + \mathbb{P} \mathrm{div}(\mathbf{w} \otimes \mathbf{w}) = \Delta \mathbf{w},

这里 $\mathbb{P} = I - \nabla \Delta^{-1} \mathrm{div}$ 是Leray投影算子，作用是将向量场投影到无散（divergence-free）子空间上。这一形式常被称为“投影形式”的Navier-Stokes方程，在弱解理论中起关键作用。

本文关注的解属于Leray-Hopf类，即满足能量不等式的弱解：

\sup_{t \in [0,T]} \|\mathbf{w}(t)\|_{L^2}^2 + 2 \int_0^T \|\nabla \mathbf{w}(s)\|_{L^2}^2 ds \leq \|\mathbf{w}_0\|_{L^2}^2,

并具有有限动能。然而，Leray的经典结果只保证此类解在三维情形下的全局存在性与部分正则性（如Caffarelli-Kohn-Nirenberg定理所述），但无法排除奇点出现的可能性，也未解决唯一性问题。

本工作的一个重要出发点是Giga在文献[6]中提出的热半群估计：

\left\| \nabla e^{t\Delta} \mathbb{P} f \right\|_{L^\infty} \leq C_G t^{-1/2} \|f\|_{L^\infty}, \quad t > 0,

这对后续分析中的高频控制至关重要。值得注意的是，作者指出这一估计在修改后的Navier-Stokes模型（如平均化系统）中未必成立，因此强调了其方法依赖于原始系统的精细结构。

空间域为全空间 $\mathbb{R}^3$ ，无边界条件需要处理；函数空间方面，主要涉及 $$L^p$$ , $$H^k$$ , $L^\infty_t H^k_x$ 等标准Sobolev空间，并特别强调了解在 $L^\infty((0,\infty) \times \mathbb{R}^3)$ 中的一致有界性——这是推出光滑性的关键。

作者提出一种全新的频率分解框架，将速度场 $\mathbf{w}$ 分解为低频部分 $\mathbf{v}$ 和高频部分 $\mathbf{u}$ ：

\mathbf{w} = \mathbf{u} + \mathbf{v},

借助互补的傅里叶乘子 $$A_R$$ 和 $$A^R := I - A_R$$ 实现分离。具体地，设 $\phi \in C_c^\infty([0,\infty))$ 满足 $\phi \equiv 1$ 在 $$[0,1]$$ 上， $\phi \equiv 0$ 在 $[2,\infty)$ 上，则定义：

\widehat{A_R f}(\xi) = \phi(|\xi|/R) \hat{f}(\xi), \quad A^R = I - A_R.

此分解使得低频部分受控于平滑效应，而高频部分可通过局部Picard迭代结合高频阻尼机制进行估计。

整个系统的耦合方式如下：

\begin{cases} \partial_t \mathbf{u} - \Delta \mathbf{u} = -\mathbb{P} \mathrm{div} A^R ((\mathbf{u}+\mathbf{v}) \otimes (\mathbf{u}+\mathbf{v})), & \mathbf{u}(0) = \mathbf{w}_0, \\ \partial_t \mathbf{v} - \Delta \mathbf{v} = -\mathbb{P} \mathrm{div} A_R ((\mathbf{u}+\mathbf{v}) \otimes (\mathbf{u}+\mathbf{v})), & \mathbf{v}(0) = 0. \end{cases}

注意两个方程共享相同的非线性驱动力 $(\mathbf{w} \otimes \mathbf{w})$ ，但分别被高通和低通滤波器作用，从而形成一个非对称耦合系统。这种构造保留了原方程的线性抛物结构，同时将不同尺度的非线性相互作用解耦。

目标是证明：在此框架下， $\mathbf{v}$ 具有全局光滑性， $\mathbf{u}$ 在 $L^\infty$ 中保持一致有界，从而总速度场 $\mathbf{w} = \mathbf{u} + \mathbf{v}$ 也是全局有界的，进而由经典正则性理论推出其无限次可微。

主要定理或主要结果

论文的核心结论由以下两个定理体现：

定理 1（Leray解的光滑性）

设 $\mathbf{w}_0 \in \mathcal{D}(\mathbb{R}^3)$ 且 $\mathrm{div}\,\mathbf{w}_0 = 0$ 。则存在一个定义在 $[0,\infty) \times \mathbb{R}^3$ 上的Leray解 $\mathbf{w}$ ，满足

\mathbf{w} \in L^\infty((0,\infty) \times \mathbb{R}^3).

因此，根据经典的有界Leray解正则性理论（例如参见[5]），该解在 $(0,\infty) \times \mathbb{R}^3$ 上是光滑的（smooth），并且在Leray类中是唯一的。

关键词解释：所谓“Leray解”是指满足能量不等式、初值意义下的弱解。若还能证明其在时空 $L^\infty$ 中有界，则可通过De Giorgi-Nash-Moser型迭代或其他高阶正则性工具推出无穷次可微性。

定理 2（耦合高低频系统的存在性）

令 $$T > 0$$ , $R \geq 1$ ， $\phi \in C_c^\infty([0,\infty))$ 如前所述，定义傅里叶乘子 $$A_R$$ , $$A^R = I - A_R$$ 以及Leray投影 $\mathbb{P}$ 。设 $\mathbf{w}_0 \in H^k(\mathbb{R}^3)$ , $k \geq 2$ ，为无散初值。

假设存在非增函数 $F: [1,\infty) \times \mathbb{R} \to \mathbb{R}$ ，使得对任意无散背景场 $V \in C([0,T]; H^k(\mathbb{R}^3))$ 且 $V|_{t=0}=0$ ，存在常数 $$R_V > 0$$ 满足

F(R_V, \|V\|_{L^\infty}) \leq c < \infty, \quad \text{即 } R_V = F^{-1}(c, \|V\|_{L^\infty}) < \infty. \tag{6}

则存在

\mathbf{u}, \mathbf{v} \in X := L^\infty(0,T; L^2(\mathbb{R}^3)) \cap L^2(0,T; H^1(\mathbb{R}^3))

满足分布意义上的耦合系统：

\begin{cases} \partial_t \mathbf{u} - \Delta \mathbf{u} = -\mathbb{P} \mathrm{div} A^R \left( (\mathbf{u}+V) \otimes (\mathbf{u}+V) \right), & \mathbf{u}(0) = \mathbf{w}_0, \\ \partial_t \mathbf{v} - \Delta \mathbf{v} = -\mathbb{P} \mathrm{div} A_R \left( (\mathbf{u}+\mathbf{v}) \otimes (\mathbf{u}+\mathbf{v}) \right), & \mathbf{v}(0) = 0. \end{cases}

此外，映射 $T: V \mapsto \mathbf{v}$ 在适当Banach空间中是良定义、连续且紧的，并存在不动点 $\mathbf{v} = T(\mathbf{v})$ 。对应的 $(\mathbf{u}, \mathbf{v})$ 构成(5)型的Leray型解，且 $\mathbf{v}$ 对所有 $$t > 0$$ 都是光滑的。

该定理不仅确立了解的存在性，还提供了通过固定点方法来控制系统参数（尤其是频率截断 $$R$$ ）的技术路径，避免了逻辑循环。

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

a) 核心分析学工具

不动点定理（Fixed Point Theorem）
论文采用Schauder型不动点定理构建整体解。具体而言，在函数空间
$X = \left\{ V \in C([0,T]; H^k(\mathbb{R}^3)) : \mathrm{div}V=0, V(0)=0 \right\}$
上定义非线性算子 $T: V \mapsto \mathbf{v}$ ，其中 $\mathbf{v}$ 是对应于背景场 $$V$$ 的低频解。通过能量估计与正则性提升，证明 $$T$$ 是从 $$X$$ 到自身的紧连续映射，从而存在不动点 $V = \mathbf{v}$ 。这正是实现自洽耦合的关键。
特别地，作者设计了一个先验规则：选择频率阈值 $$R = R(V)$$ 依赖于 $\|V\|_{L^\infty}$ ，确保小性条件（如(6)）自动满足。由于 $$R$$ 不依赖未知解本身，而是预先由输入 $$V$$ 决定，故避免了“先知道解才能确定参数”的逻辑循环问题。
能量估计与抛物正则性
对高频部分 $\mathbf{u}$ 使用标准 $$L^2$$ -能量测试：
$\frac{1}{2} \frac{d}{dt} \|\mathbf{u}\|_{L^2}^2 + \|\nabla \mathbf{u}\|_{L^2}^2 = \langle (\mathbf{u}+V)\otimes(\mathbf{u}+V), \nabla \mathbf{u} \rangle + \langle f_R, \mathbf{u} \rangle,$
其中 $f_R = \mathbb{P}\mathrm{div}A_R(\cdots)$ 为低频强迫项。利用Hölder不等式、Sobolev嵌入（ $H^k \hookrightarrow L^\infty$ , $$k > 3/2$$ ）及Young不等式，得到Grönwall可控制的增长率，最终得出
$\|\mathbf{u}\|_{L^\infty_t L^2_x} + \|\mathbf{u}\|_{L^2_t H^1_x} \leq C(T, \|\mathbf{w}_0\|_{L^2}, \|V\|_{L^\infty_t H^k_x}).$
对低频部分 $\mathbf{v}$ ，由于 $$A_R$$ 是平滑算子（symbol光滑紧支），迫使源项 $g_R = \mathbb{P}\mathrm{div}A_R(\cdots)$ 属于任意高阶Sobolev空间 $$H^m$$ ，结合热半群正则性（analytic smoothing），立即获得 $\mathbf{v} \in C^\infty((0,T] \times \mathbb{R}^3)$ 。
热半群估计（Giga估计）
关键工具是Giga的经典估计：
$\left\| \nabla e^{t\Delta} \mathbb{P} f \right\|_{L^\infty} \lesssim t^{-1/2} \|f\|_{L^\infty}.$
这一估计允许在短时间窗口内控制解的 $L^\infty$ 范数增长，尤其适用于Picard迭代中非线性项的估计。它体现了抛物方程的瞬时正则化能力。
局部Picard迭代与双尺度分析
作者发展了一种时间局域化的Picard迭代方案。将区间 $$[0,t]$$ 分为两段：
- $[0, t - \varepsilon^2]$ ：此处利用高频阻尼因子 $e^{-c\tau R^2}$ 控制非线性贡献；
- $[t - \varepsilon^2, t]$ ：使用Giga估计控制最近时刻的影响。
在每个小区间上构造压缩映射，参数 $\varepsilon > 0$ 与 $R \gg 1$ 被精心选取以保证收缩性。这种方法本质上是一种多尺度分析，兼顾长时间衰减与短时间奇异性控制。
傅里叶乘子与频率分割技术
利用傅里叶乘子 $$A_R$$ , $$A^R$$ 将解按频率分层。低频部分接受完整非线性驱动但经过低通滤波，因而行为更“温和”；高频部分虽不受低频直接激励，但由于非线性交叉项仍会激发振荡模式。这种显式频率解耦为分别处理不同尺度的动力学提供了结构性优势。

b) 技术性难题的应对策略

非线性项的控制：非线性项 $\mathrm{div}(\mathbf{w} \otimes \mathbf{w})$ 是二阶导数项，在 $L^\infty$ 估计中极易导致爆破。作者通过将该项拆分为高低频组合（如 $\mathbf{u} \otimes \mathbf{v}$ , $\mathbf{v} \otimes \mathbf{v}$ 等），并对每类交叉项分类估计，有效隔离风险。特别是， $\mathbf{v} \otimes \mathbf{v}$ 被 $$A_R$$ 滤除高频成分，变得高度正则；而 $\mathbf{u} \otimes \mathbf{u}$ 虽然高频丰富，但通过阻尼和局部迭代加以压制。
高频振荡的稳定性：传统方法难以控制极高频模态的能量级联。本文引入高频阻尼机制——当 $R \to \infty$ 时， $$A^R$$ 提取的模式受热算子 $e^{t\Delta}$ 的强抑制（特征衰减率 $e^{-|\xi|^2 t} \leq e^{-R^2 t}$ ）。结合时间分割，确保即使在非线性反馈下，高频部分也不会积累过多能量。
参数依赖的规避：以往频率截断法常面临“如何选 $$R$$ ？”的问题。本文创新之处在于将 $$R$$ 设为背景场范数的函数 $R = F^{-1}(c, \|V\|_{L^\infty})$ ，并通过不动点使其自洽。这样既保证了小性条件可用，又不预设解的性质。

与之前工作的比较

a) 声称的突破与改进

本文宣称的主要突破在于：首次通过构造性分析方法，严格证明了三维不可压缩Navier-Stokes方程在光滑紧支初值下存在全局光滑解。这直接回应了千禧年难题中关于“光滑性与唯一性”的核心关切。

相比已有工作，其改进体现在以下几个层面：

结果强度更强：大多数现有理论（如Leray, Hopf）仅给出弱解的存在性与部分正则性。本文不仅证明存在性，而且得出全局 $L^\infty$ 有界性，从而推出无限次可微性与唯一性。这是一个质的飞跃。
方法论上的创新：不同于传统的能量方法、变分法或反证法（如假设爆破再导出矛盾），本文采用正向构造法，即主动构造一个满足所有要求的解。这种“建设性证明”更具解析透明度，也为数值模拟提供潜在框架。
无需额外假设：许多近期进展（如[3,5,8,14]）依赖于“条件正则性”准则（如Prodi-Serrin条件、BKM准则），即当解落在某个临界空间时才光滑。本文则完全摆脱这些限制，仅需初始数据光滑紧支即可。
区别于凸积分反例：近年来Euler与Navier-Stokes方程的非唯一性弱解已被凸积分方法构造出来（如[1,2,7]）。但这些解极不规则（不在 $L^\infty$ 中）。本文恰恰说明：在物理合理的正则类（如有界Leray解）中，解是唯一的。因此，它实际上划定了“好解”与“病理解”的界限。
对模型普适性的警觉：作者明确指出，其所依赖的Giga估计在某些修正模型（如空间平均NSE）中不成立，暗示当前方法抓住了原始NSE的深层结构特征，而非通用技巧。这增强了结论的可靠性。

综上，若该证明经得起检验，将是自Leray以来关于三维Navier-Stokes方程最深刻的进展之一，标志着全球光滑性猜想可能已被攻克。

4. Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions

二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性

作者: Jonas Stange

类别: math.AP, math-ph, math.MP, Primary: 76T06, Secondary: 35Q35, 76D03, 76D05, 76D07

发布日期: 2025-11-10

arXiv ID: 2511.06847v1

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

详细分析

中文标题: 二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性

研究对象和背景

本文研究的是一个在二维有界光滑区域上定义的、热力学一致的体相-表面Navier–Stokes–Cahn–Hilliard（NSCH）系统，该系统用于描述具有不同密度的粘性流体混合物在体相与边界之间的耦合动力学行为。其核心特征在于：不仅体相中的流体运动由Navier–Stokes方程控制，而且边界本身被视为一个活跃的二维流体层，其上也存在独立的动量守恒与相场演化过程。

系统的数学结构非常复杂，包含多个非线性偏微分方程之间的强耦合。设 $\Omega \subset \mathbb{R}^2$ 是一个具有 $$C^3$$ 边界的有界区域， $\Gamma = \partial\Omega$ 表示其边界。记 $Q = \Omega \times (0,\infty)$ 和 $\Sigma = \Gamma \times (0,\infty)$ 分别为时空体域和边界面。未知函数包括：

$v: Q \to \mathbb{R}^2$ ：体相速度场；
$w: \Sigma \to \mathbb{R}^2$ ：表面速度场；
$\phi: Q \to \mathbb{R}$ ：体相相场变量，表示两种流体的空间分布；
$\psi: \Sigma \to \mathbb{R}$ ：表面相场变量；
$\mu: Q \to \mathbb{R}$ ：体相化学势；
$\theta: \Sigma \to \mathbb{R}$ ：表面化学势。

整个系统如下所示：

\partial_t (\rho(\phi)v) + \mathrm{div}(v \otimes (\rho(\phi)v + J)) = \mathrm{div}\, T, \quad \mathrm{div}\, v = 0 \quad \text{in } Q,

\partial_t (\sigma(\psi)w) + \mathrm{div}_\Gamma(w \otimes (\sigma(\psi)w + K)) = \mathrm{div}_\Gamma T_\Gamma + Z, \quad \mathrm{div}_\Gamma w = 0 \quad \text{on } \Sigma,

w = v|_\Gamma, \quad v \cdot n = 0 \quad \text{on } \Sigma,

\partial_t \phi + \mathrm{div}(\phi v) = \mathrm{div}(m_\Omega(\phi)\nabla \mu) \quad \text{in } Q,

\mu = -\Delta \phi + F'(\phi) \quad \text{in } Q,

\partial_t \psi + \mathrm{div}_\Gamma(\psi w) = \mathrm{div}_\Gamma(m_\Gamma(\psi)\nabla_\Gamma \theta) - \beta m_\Omega(\phi)\partial_n \mu \quad \text{on } \Sigma,

\theta = -\Delta_\Gamma \psi + G'(\psi) + \alpha \partial_n \phi \quad \text{on } \Sigma,

K \partial_n \phi = \alpha \psi - \phi, \quad L m_\Omega(\phi) \partial_n \mu = \beta \theta - \mu \quad \text{on } \Sigma,

初始条件为：

\phi|_{t=0} = \phi_0, \quad v|_{t=0} = v_0 \quad \text{in } \Omega,

\psi|_{t=0} = \psi_0, \quad w|_{t=0} = w_0 \quad \text{on } \Gamma.

其中：

$\rho(\phi), \sigma(\psi)$ 是依赖于相场的密度函数，通常取仿射形式；
$$J, K$$ 是由于界面运动引起的质量通量；
$T, T_\Gamma$ 是应力张量，包含粘性项与相场梯度贡献；
$$Z$$ 是表面力密度，体现体相与表面之间的机械相互作用；
$m_\Omega(\phi), m_\Gamma(\psi)$ 是Onsager迁移率函数，假设满足非退化条件：存在常数 $$m_*, m^* > 0$$ 使得对所有 $s \in [-1,1]$ ， $m_* \leq m_\Omega(s), m_\Gamma(s) \leq m^*.$ 这意味着迁移率既不趋于零也不趋于无穷，从而保证了扩散过程的有效性。
$$F, G$$ 是双阱势函数，例如物理中常用的Flory–Huggins对数势： $W_{\log}(s) = \frac{\Theta}{2}[(1+s)\ln(1+s)+(1-s)\ln(1-s)] - \frac{\Theta_c}{2}s^2,$ 具有奇异性（当 $s \to \pm1$ 时导数趋于无穷），但本文主要考虑正则性较好的情况。

特别值得注意的是边界条件 $$(1.1h)$$ 中的参数 $K, L \in [0,\infty]$ 决定了不同的耦合机制：

当 $$K = 0$$ 时， $\phi = \alpha \psi$ ，即体相与表面相场直接相等；
当 $K = \infty$ 时， $\partial_n \phi = 0$ ，即Neumann型边界；
类似地， $$L$$ 控制化学势在边界上的跳跃行为。

这些属于所谓的动态边界条件，允许物质和能量在体相与表面之间交换，比传统Cahn–Hilliard模型中固定的Neumann边界更符合真实物理场景（如润湿、接触线移动等）。

此外，系统满足以下两个基本守恒律：

总能量耗散律：
$\frac{d}{dt} E_{\text{tot}}(v,w,\phi,\psi) + \int_\Omega 2\nu_\Omega(\phi)|Dv|^2 dx + \int_\Gamma 2\nu_\Gamma(\psi)|D_\Gamma w|^2 d\Gamma + \cdots \leq 0,$
其中能量泛函 $E_{\text{tot}}$ 包含动能、表面能及边界耦合能项。
质量守恒律：若 $L = \infty$ ，则体相与表面质量分别守恒；若 $L < \infty$ ，则允许两者间发生质量转移。

函数空间方面，作者引入了一系列体相-表面乘积空间，如 $L^p := L^p(\Omega) \times L^p(\Gamma)$ ， $H^s := H^s(\Omega) \times H^s(\Gamma)$ ，并定义了带耦合参数的子空间 $H^1_{L,\beta}$ 及其均值为零的闭子空间 $V^1_{L,\beta}$ ，以便处理边界耦合带来的技术困难。

尤其关键的是，在分析中使用了带有可变系数的体相-表面Stokes算子以及对流Cahn–Hilliard系统的高阶正则性理论，这构成了证明强解存在的基石。

主要定理或主要结果

论文的核心成果是关于全局强解的存在性、唯一性和连续依赖性。具体而言，主定理如下：

Theorem 3.1（强解的整体适定性）
设 $\Omega \subset \mathbb{R}^2$ 为 $$C^3$$ 有界区域，初始数据 $(v_0, w_0, \phi_0, \psi_0)$ 满足适当正则性条件（如 $(v_0, w_0) \in H^1_{0,\text{div}}$ , $(\phi_0, \psi_0) \in H^2$ 且满足兼容性条件），迁移率函数 $m_\Omega, m_\Gamma$ 非退化，粘性系数 $\nu_\Omega, \nu_\Gamma$ 光滑，势函数 $$F, G$$ 足够光滑（如 $$C^3$$ ）。则存在唯一的全局强解 $(v, w, \phi, \psi)$ 到上述NSCH系统，满足：
$(v, w) \in C([0,\infty); H^1_{0,\text{div}}) \cap L^2_{\text{loc}}([0,\infty); H^2)$ ,
$(\phi, \psi) \in C([0,\infty); H^2) \cap L^2_{\text{loc}}([0,\infty); H^3)$ ,
$(\mu, \theta) \in L^2_{\text{loc}}([0,\infty); H^1)$ ,
并且该解满足能量耗散不等式与质量守恒律。此外，当 $L \in (0,\infty]$ 时，解在 $L^\infty(0,T;L^2)$ 意义下关于初始数据连续依赖。

此定理的关键突破在于：

在二维情形下建立了全局强解的存在唯一性；
允许非退化的迁移率函数（即 $m(\cdot) \geq m_* > 0$ ），这是物理上更合理的情形；
解具有足够高的正则性（如 $\phi \in L^\infty(H^2) \cap L^2(H^3)$ ），足以支撑非线性项的估计；
唯一性和连续依赖性的证明适用于 $$L > 0$$ 的情形。

注意：当 $$L = 0$$ 时，边界条件导致无法显式表达 $\partial_n \mu$ ，因此当前框架难以处理，需额外假设。

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

a) 核心分析工具

半Galerkin逼近法（Semi-Galerkin method）
作者采用基于体相-表面Stokes算子特征函数的逼近方案来构造速度场近似解。这种方法结合了经典Galerkin方法与投影技巧，能够自然保持不可压缩性与边界匹配条件 $w = v|_\Gamma$ 。通过固定点论证，先求解近似的相场方程，再代入动量方程得到速度迭代，最终建立局部解。
高阶能量估计与正则性提升
为了获得强解而非弱解，必须进行高于能量层级的估计。文中进行了如下几类关键估计：
- 对 $(\phi, \psi)$ 的 $$H^1$$ 估计结合化学势方程，推导出 $\|\nabla \mu\|_{L^2}$ 控制；
- 利用Cahn–Hilliard子系统的结构，结合对流项估计，建立 $\|\Delta \phi\|_{L^2}$ , $\|\Delta_\Gamma \psi\|_{L^2}$ 的有界性；
- 引入体相-表面椭圆解算子 $S_{L,\beta}[\phi,\psi]$ 将化学势系统转化为抽象椭圆问题，并利用其正则性估计（见附录A）得到 $\|\phi\|_{H^2}, \|\psi\|_{H^2}$ 一致界；
- 对速度场进行高阶Stokes估计（见附录B），特别是处理粘性系数 $\nu(\phi)$ 为变量的情况，使用加权内积与Korn型不等式建立 $\|v\|_{H^2}, \|w\|_{H^2}$ 控制。
新发展的正则性理论
- 附录A：对流体相-表面Cahn–Hilliard系统的正则性理论
  作者推广了其先前工作 [39]，建立了当迁移率为非退化且依赖相场时，解算子 $S_{L,\beta}[\phi,\psi]$ 的 $W^{2,p}$ 和 $$H^3$$ 正则性估计。例如：
  $\|S_{L,\beta}[\phi,\psi](f,g)\|_{H^2} \leq C\left( \|\nabla\phi\|_{L^4}\|\phi\|_{H^2}^{1/2} \|S_{L,\beta}[\phi,\psi](f,g)\|_{H^2}^{1/2} + \|(f,g)\|_{L^2} \right),$
  结合Young不等式可得闭合估计。
- 附录B：带变系数的体相-表面Stokes系统正则性
  推广了[30]中的常系数框架，证明对于形如
  $-\mathrm{div}(2\nu(\phi)Dv) + \nabla p = f, \quad \mathrm{div}\,v=0,$
  的系统，在二维下仍可得 $\|v\|_{H^2} \leq C(\|f\|_{L^2} + \cdots)$ ，前提是 $\nu(\cdot)$ Lipschitz连续且远离零。
紧性原理与极限过程
通过对近似解序列建立一致先验估计（在 $L^\infty(H^1)$ , $$L^2(H^2)$$ 等空间中有界），利用Aubin–Lions引理提取强收敛子列，进而验证极限满足原方程。此处需要精细处理非线性项（如 $v \cdot \nabla v$ , $m(\phi)\nabla \mu$ ）的收敛性。
唯一性证明中的能量差估计
设 $(v_i, w_i, \phi_i, \psi_i)$ 为两组解，令差值为 $\delta v = v_1 - v_2$ 等。构造差值的能量泛函并估计其增长率，利用Gronwall引理推出唯一性。关键是将非线性项拆解为低阶与高阶部分，借助插值不等式（如Lemma 2.3）控制交叉项。

b) 技术难点与解决技巧

非退化迁移率下的化学势控制
由于 $m(\phi) \geq m_* > 0$ ，可通过椭圆正则性从 $\mathrm{div}(m\nabla \mu)$ 控制 $\mu$ 的高阶范数。但迁移率依赖 $\phi$ 导致方程非均匀，作者通过引入加权内积 $(\cdot,\cdot)_{L,\beta,[\phi,\psi]}$ 来统一处理。
边界耦合项的处理
如 $-\beta m_\Omega(\phi)\partial_n \mu$ 出现在表面Cahn–Hilliard方程中，需利用迹不等式（Lemma 2.2）与边界条件将其转化为内部项。同时， $\partial_n \phi$ 与 $\psi$ 的关系通过参数 $$K$$ 调控，形成耦合椭圆系统。
对流项的高阶估计
对 $v \cdot \nabla \phi$ 类项，使用Ladyzhenskaya不等式的体相-表面版本（Lemma 2.3）：
$\|(\zeta,\xi)\|_{L^4} \leq C \|\zeta\|_{L^2}^{1/2} \|\zeta\|_{H^1}^{1/2},$
实现从低阶到高阶的过渡。
变量粘性系数的挑战
动量方程中 $\nu(\phi)$ 为变量，破坏了标准Stokes算子的自伴性。作者通过构造修正的双线性形式并结合Korn不等式（Lemma 2.4）恢复强制性。

与之前工作的比较

a) 突破与改进

从弱解到强解的跃迁
此前关于此类模型的工作（如[30]）多集中于弱解的存在性，使用较粗糙的估计即可完成。而本文首次在二维下证明了强解的全局存在唯一性，极大提升了结果强度。
放宽迁移率假设
多数已有文献（如[2,4]）仅处理常数迁移率情形。本文允许非退化但非常数的迁移率函数 $m(\phi)$ ，更贴近实际材料中的扩散行为（如浓度依赖的扩散系数）。
纳入动态边界条件与质量交换机制
相较于经典Cahn–Hilliard模型采用齐次Neumann边界，本文采用由 $L \in [0,\infty]$ 参数调控的动态边界条件，允许体相与表面间的质量交换（当 $L < \infty$ ）。这一机制在生物膜建模、润湿动力学中至关重要。
完整的适定性结果
不仅证明存在性，还给出唯一性与初值连续依赖性，构成完整的整体适定性理论。这在涉及非线性耦合的复杂系统中极为罕见。
发展新的正则性工具
本文在附录中建立的带非退化迁移率的体相-表面Cahn–Hilliard正则性理论和变系数Stokes系统估计，可独立应用于其他耦合界面问题，具有广泛方法论价值。
克服三维困难的阶段性成果
文中指出，在三维情况下，由于缺乏分离性质（separation property）和更高非线性强度，尚无法得到全局强解。因此，本文的二维结果为未来研究提供了坚实基础。

综上所述，该论文在模型物理真实性、数学严谨性与技术深度上均有显著推进，标志着体相-表面耦合多相流理论的重要进展。

5. Global Strong Solutions to the Three-Dimensional Axisymmetric Compressible Navier-Stokes Equations with Large Initial Data and Vacuum

具有大初值和真空的三维轴对称可压缩Navier-Stokes方程的整体强解

作者: Qinghao Lei

类别: math.AP

发布日期: 2025-09-14

arXiv ID: 2509.11260v2

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

详细分析

中文标题: 具有大初值和真空的三维轴对称可压缩Navier-Stokes方程的整体强解

研究对象和背景

本文研究的是三维轴对称可压缩Navier-Stokes方程在柱形区域（排除对称轴）中带有滑移边界条件的整体强解与弱解的存在性问题。所考虑的流体是可压缩、等温或多方气体状态下的粘性流体，其运动由以下经典的可压缩Navier-Stokes系统描述：

\begin{cases} \rho_t + \mathrm{div}(\rho u) = 0, \\ (\rho u)_t + \mathrm{div}(\rho u \otimes u) - \mu \Delta u - \nabla((\mu + \lambda(\rho))\mathrm{div}\,u) + \nabla P = 0, \end{cases} \tag{1.1}

其中 $t \geq 0$ 表示时间， $x \in \Omega \subset \mathbb{R}^3$ 是空间坐标；未知函数 $\rho = \rho(x,t) \geq 0$ 和 $u(x,t) \in \mathbb{R}^3$ 分别表示流体的密度和速度场。压力 $$ P $$ 服从多方气体定律：

P = a\rho^\gamma, \quad a > 0,\ \gamma > 1. \tag{1.2}

粘性系数方面，剪切粘性系数 $\mu$ 被假设为正常数，而体积粘性系数 $\lambda(\rho)$ 是密度的幂函数：

\mu = \text{const} > 0, \quad \lambda(\rho) = b\rho^\beta, \quad b>0,\ \beta>0. \tag{1.3}

不失一般性，文中设 $$ a = b = 1 $$ 。

初始条件为：

\rho(x,0) = \rho_0(x), \quad (\rho u)(x,0) = m_0(x), \quad x \in \Omega. \tag{1.4}

边界条件采用滑移型边界条件（slip boundary conditions）：

u \cdot n = 0, \quad \mathrm{curl}\,u \times n = -K u \quad \text{on } \partial\Omega, \tag{1.5}

其中 $$ n = (n_1,n_2,n_3) $$ 是 $\partial\Omega$ 上的单位外法向量， $$ K = K(x) $$ 是定义在边界上的 $3\times3$ 对称矩阵，刻画了边界的摩擦效应。

研究区域 $\Omega$ 取为：

\Omega = A \times \mathbb{T}, \quad A = \left\{(x_1,x_2)\in\mathbb{R}^2 : 1 < r < 2 \right\},\ \mathbb{T} = \mathbb{R}/\mathbb{Z}, \tag{1.6}

即一个二维环形区域与一维环面的乘积，排除了 $$ r=0 $$ 的对称轴。该设定保证了解具有轴对称性（axisymmetry），且在 $$ x_3 $$ -方向周期为1。

所谓轴对称解，是指在柱坐标系下：

x_1 = r\cos\theta,\quad x_2 = r\sin\theta,\quad x_3 = z,

对应的正交基为：

e_r = \frac{(x_1,x_2,0)}{r},\quad e_\theta = \frac{(-x_2,x_1,0)}{r},\quad e_z = (0,0,1),

此时密度和速度可表示为：

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

且所有分量均与角度 $\theta$ 无关。

这一设定将三维问题有效降维为二维形式，但由于区域不含原点（即 $r \geq 1$ ），避免了轴上可能出现的奇异性，同时保留了三维几何结构的关键特征。

特别地，作者允许初始密度出现真空状态（即 $\rho_0$ 可以在某些点为零），并且不要求初始数据“小”——即允许大初值存在。这使得问题更具物理现实意义，但也极大增加了数学分析难度。

值得注意的是，在多维情形下，经典Navier-Stokes方程的适定性理论长期以来面临挑战。当粘性系数为常数时，Matsumura-Nishida 建立了接近平衡态的小初值整体经典解；Hoff 研究了含间断性的初值；Lions 和 Feireisl 则建立了有限能量弱解的整体存在性，但要求 $\gamma$ 较大。直到 Huang-Li-Xin 在2012年才首次证明三维Cauchy问题存在唯一整体经典解，前提是总能量小但允许振荡大和真空存在。

对于二维情况，Vaigant-Kazhikhov 在矩形域中证明：若体积粘性满足 $\lambda(\rho) = \rho^\beta$ 且 $\beta > 3$ ，则存在唯一的整体强解（初值远离真空）。随后 Jiu-Wang-Xin 推广至允许真空的情形，Huang-Li 将条件放宽至 $\beta > \frac{4}{3}$ ，这是目前已知最优的结果之一。

然而这些结果大多集中于全空间或周期域。本文的工作是在三维轴对称柱状区域中，结合滑移边界条件，建立允许大初值、真空、非恒定粘性下的整体强解与弱解存在性，并给出指数衰减估计。这是一个从二维到三维几何结构的重要推广，同时保持了类似二维的分析可行性。

此外，由于区域为多连通（排除轴后形成环形截面），传统的 $\mathrm{div}$ - $\mathrm{curl}$ 型估计不再成立。为此，作者引入加权版本的Korn不等式和边界项控制技术，克服这一障碍。

综上所述，本文的研究对象是一个物理上合理、数学上极具挑战性的模型：三维轴对称可压缩流体动力学系统，具有非线性体积粘性、滑移边界、真空初态以及任意大小的初始数据。目标是建立此类条件下解的整体存在性与渐近行为。

主要定理或主要结果

定理 1.1（整体强解的存在性与指数衰减）

假设参数满足：

\beta > \frac{4}{3},\quad \gamma > 1,

且 $$ K $$ 是光滑、对称、半正定的 $3\times3$ 轴对称矩阵函数，并满足 $$ K + 2D(n) $$ 在某个测度正的子集 $\Sigma \subset \partial\Omega$ 上正定。

初始数据 $(\rho_0, m_0)$ 满足：存在 $$ q > 3 $$ ，使得

0 \leq \rho_0 \in W^{1,q}(\Omega),\quad u_0 \in \widetilde{H}^1(\Omega),\quad m_0 = \rho_0 u_0,

且 $\rho_0, u_0$ 为轴对称并关于 $$ x_3 $$ 周期为1。

则初边值问题 (1.1)–(1.5) 在 $\Omega \times (0,\infty)$ 内存在唯一的轴对称类强解 $(\rho,u)$ ，满足对任意 $$ T > 0 $$ ，

\begin{aligned} &\rho \in C([0,T];W^{1,q}),\ \rho_t \in L^\infty(0,T;L^2), \\ &u \in L^\infty(0,T;H^1) \cap L^{(q+1)/q}(0,T;W^{2,q}), \\ &t^{1/2} u \in L^2(0,T;W^{2,q}) \cap L^\infty(0,T;H^2), \\ &t^{1/2} u_t \in L^2(0,T;H^1), \\ &\sqrt{\rho} u_t \in C([0,T];L^2),\ \sqrt{\rho} u_t \in L^2(\Omega \times (0,T)). \end{aligned} \tag{1.11}

进一步，该全局解满足：

一致有界性：存在仅依赖于 $\gamma,\beta,\mu,\|\rho_0\|_{L^\infty}, \|u_0\|_{H^1}, K$ 的常数 $$ C > 0 $$ ，使得
$\sup_{0 \leq t \leq T} \|\rho(\cdot,t)\|_{L^\infty} \leq C. \tag{1.12}$
指数衰减性：对任意 $p \in [1,\infty)$ ，存在正常数 $C, \alpha_0 > 0$ （仅依赖于 $p,\gamma,\beta,\mu,\|\rho_0\|_{L^\infty}, \|u_0\|_{H^1}, K$ ），使得对所有 $t \geq 1$ ，
$\|\rho(\cdot,t) - \bar{\rho}\|_{L^p} + \|\nabla u(\cdot,t)\|_{L^p} \leq C e^{-\alpha_0 t}. \tag{1.13}$

这里 $\bar{\rho}$ 为平均密度。

定理 1.2（整体弱解的存在性）

在定理1.1的条件下，将 $\rho_0 \in W^{1,q}$ 改为 $\rho_0 \in L^\infty$ ，则至少存在一个轴对称类弱解 $(\rho,u)$ ，满足对任意 $$ T > 0 $$ 和 $1 \leq p < \infty$ ，

\begin{aligned} &\rho \in L^\infty(\Omega \times (0,\infty)) \cap C([0,\infty);L^p), \\ &u \in L^2(0,\infty;H^1) \cap L^\infty(0,\infty;H^1), \\ &t^{1/2} u_t \in L^2(0,T;L^2),\ t^{1/2} \nabla u \in L^\infty(0,T;L^p), \end{aligned} \tag{1.14}

且仍满足估计 (1.12) 和 (1.13)。

定理 1.3（真空初值下的梯度爆炸）

在定理1.1的基础上，若存在某点 $x_0 \in \Omega$ 使得 $\rho_0(x_0) = 0$ ，则对任意 $$ r > 2 $$ ，存在常数 $$ C > 0 $$ （仅依赖于 $r,\gamma,\beta,\mu,\|u_0\|_{H^1}, \|\rho_0\|_{L^1 \cap L^\infty}, K$ ），使得对所有 $t \geq 1$ ，

\|\nabla \rho(\cdot,t)\|_{L^r} \geq C e^{\alpha_0 r - \frac{2}{r}t}. \tag{1.15}

这说明当初始出现真空时，密度梯度会随时间呈指数增长趋势，反映了解在真空界面附近的高度奇异行为。

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

a) 核心分析学工具

Gagliardo-Nirenberg-Sobolev 不等式（降维处理）
由于问题具有轴对称性且区域排除对称轴（ $r \geq 1$ ），作者利用柱坐标变换，将三维积分转化为二维带权积分。例如，对于轴对称函数 $$ f(r,z) $$ ，有：
$\int_\Omega |f|^p dx = 2\pi \int_D r |f|^p dr dz,$
其中 $D = \{(r,z): 1<r<2,\ 0<z<1\}$ 。通过在二维区域 $$ D $$ 上应用标准 Gagliardo-Nirenberg 不等式并结合权重 $r \sim 1$ ，推导出适用于三维轴对称情形的嵌入不等式（见 Lemma 2.4）：
$\|f\|_{L^p} \leq C p^{1/2} \|f\|_{L^2}^{2/p} \|\nabla f\|_{L^2}^{1 - 2/p},\quad p \in [2,\infty).$
这一类不等式本质上反映了“二维性质”，是后续高阶估计的基础。
加权 div-curl 型估计与Korn型不等式（处理多连通性）
当区域不含轴时，拓扑上为多连通，导致经典估计
$\|\nabla v\|_{L^2} \leq C(\|\mathrm{div}\,v\|_{L^2} + \|\mathrm{curl}\,v\|_{L^2})$
失效。为此，作者借助文献 [1,4] 中的思想，建立如下加权估计（Lemma 2.7）：
$\|v\|_{H^1}^2 \leq C \left( \|\mathcal{D}(v)\|_{L^2}^2 + \int_{\partial\Omega} v \cdot B \cdot v \, ds \right),$
其中 $\mathcal{D}(v) = \frac{1}{2}(\nabla v + (\nabla v)^T)$ 为应变张量， $$ B $$ 为边界矩阵。再结合引理2.8中的恒等式：
$2\int_\Omega |\mathcal{D}(v)|^2 dx = 2\int_\Omega (\mathrm{div}\,v)^2 dx + \int_\Omega |\mathrm{curl}\,v|^2 dx - 2\int_{\partial\Omega} v \cdot D(n) \cdot v\,ds,$
得到关键的加权估计（Lemma 2.9）：
$\int_\Omega |v|^\nu |\nabla v|^2 dx \leq C \int_\Omega |v|^\nu \left( (\mathrm{div}\,v)^2 + |\mathrm{curl}\,v|^2 \right) dx + C \int_{\partial\Omega} v \cdot K \cdot v |v|^\nu ds,$
用于控制速度梯度。
Beale-Kato-Majda型不等式（控制 $L^\infty$ 范数）
为了估计 $\|\nabla u\|_{L^\infty}$ ，使用如下BKM型不等式（Lemma 2.10）：
$\|\nabla u\|_{L^\infty} \leq C(\|\mathrm{div}\,u\|_{L^\infty} + \|\mathrm{curl}\,u\|_{L^\infty}) \log(e + \|\nabla^2 u\|_{L^q}) + C\|\nabla u\|_{L^2} + C,$
对 $$ q > 3 $$ 成立。这是获得高阶正则性的关键一步。
Green函数与共形映射（点态估计）
关键突破在于对有效粘性通量 $G \triangleq (2\mu + \lambda(\rho))\mathrm{div}\,u - (P - \bar{P})$ 的点态估计。作者将其椭圆方程
$\Delta G = \mathrm{div}(\rho u \cdot \nabla u) + \mathrm{div}\left( \frac{\lambda'(\rho)}{\rho} \nabla P \right)$
在轴对称下化为二维形式，然后通过共形映射将区域映射到单位圆盘，利用二维Green函数进行点态估计（Lemmas 3.7–3.8），从而得到 $\|G\|_{L^\infty}$ 的一致上界。
Zlotnik不等式（控制密度上界）
最终通过构造微分不等式并应用Zlotnik引理（Lemma 2.12）来控制密度最大值。设 $y(t) = \|\rho\|_{L^\infty}$ ，若能证得
$y'(t) \leq h'(t) + g(y),$
其中 $g(\infty) = -\infty$ ，且 $h(t_2)-h(t_1) \leq N_0 + N_1(t_2 - t_1)$ ，则可得 $y(t) \leq \max\{y_0, \zeta\} + N_0$ ，即密度一致有界。

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

取消奇异性：滑移边界的作用
在轴对称坐标下， $e_\theta$ 方向的速度分量可能带来 $$ 1/r $$ 类似奇性。但作者指出，在滑移边界条件下（特别是 $u \cdot n = 0$ ），可通过恒等式
$u = -(u \times n) \times n \triangleq u^\perp \times n,\quad (u \cdot \nabla)u \cdot n = - (u \cdot \nabla)n \cdot u$
来精确处理边界项，从而抵消潜在的奇异性。
利用轴对称性降维
将三维问题通过柱坐标分解为 $$ (r,z) $$ 平面上的问题，使许多估计类似于二维情形。例如，有效粘性通量 $$ G $$ 的方程可写成二维散度形式，便于使用二维调和分析工具。
拉回Green函数法（pull-back Green’s function）
作者并未直接求解复杂区域上的Green函数，而是通过共形映射将区域 $$ D $$ 映射到单位圆盘，再利用已知的单位圆Green函数做“拉回”，从而获得原区域上解的点态表达式，进而估计 $\|G\|_{L^\infty}$ 。这是获得 $L^\infty$ 控制的核心创新。
材料导数与高阶能量估计
引入材料导数 $\dot{u} = u_t + u \cdot \nabla u$ ，并定义辅助能量泛函 $$ A_1(t), A_2(t) $$ ，通过对 $\frac{d}{dt}A_2 + A_1$ 进行精细估计，逐步提升正则性，最终延拓局部解为整体解。

与之前工作的比较

本文相较于已有工作有多项重要改进：

维度推广：从二维到三维轴对称
此前关于 $\beta > \frac{4}{3}$ 的结果主要集中在二维情形（如 Huang-Li [17], Fan-Li [7,8]）。本文首次在三维几何框架下实现类似结果，虽借助轴对称性降维，但仍属于三维PDE范畴，更具一般性。
无需小初值假设
相比 Matsumura-Nishida 或 Huang-Li-Xin 需要“小能量”条件，本文完全允许任意大的初始数据，仅需适当的正则性（如 $\rho_0 \in W^{1,q}$ ）。这是对全局适定性理论的重大推进。
允许真空且边界条件更一般
多数早期工作要求初值远离真空。本文明确允许 $\rho_0$ 在某些点为零，并完整分析了真空引发的梯度爆炸现象（Theorem 1.3）。同时采用滑移边界条件而非Dirichlet条件，更贴近实际流动。
改进体积粘性条件
Wang-Li-Guo [43] 在类似设置下要求 $\beta > 2$ 且初值远离真空。本文将条件显著放松至 $\beta > \frac{4}{3}$ ，达到目前二维理论中的最优水平，体现了更强的技术能力。
建立指数衰减而非仅耗散
许多弱解结果仅给出能量耗散。本文不仅证明强解存在唯一，还获得了解趋于常数态的指数收敛速率，信息更丰富。
处理多连通区域的新方法
区域排除轴后为多连通，传统方法失效。作者通过引入边界矩阵 $$ K $$ 的正定性假设，结合加权Korn不等式，成功克服拓扑障碍，为今后研究复杂拓扑区域提供了新路径。

综上，本文在模型广度、初值条件、解的强度、渐近行为等多个维度上均实现了显著突破，是近年来可压缩Navier-Stokes方程研究中的重要进展。

6. Finite time blow-up for a multi-dimensional model of the Kiselev-Sarsam equation

Kiselev-Sarvasam方程的一个多维模型的有限时间爆破

作者: Wanwan Zhang

类别: math.AP

发布日期: 2025-11-06

arXiv ID: 2511.04660v2

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

详细分析

中文标题: Kiselev-Sarvasam方程的一个多维模型的有限时间爆破

研究对象和背景

本文研究的是一个多维非局部活性标量方程，其形式如下：

\begin{cases} \partial_t \rho + g\mathcal{R}_a \rho \cdot \nabla \rho = 0, & (x,t) \in \mathbb{R}^n \times \mathbb{R}_+, \\ \rho(x,0) = \rho_0(x), & x \in \mathbb{R}^n, \end{cases}

其中 $n \geq 2$ ， $$ a,g > 0 $$ 是常数， $\mathcal{R}_a = (\mathcal{R}_a^{(1)}, \dots, \mathcal{R}_a^{(n)})$ 是一个向量值奇异积分算子，定义为：

\mathcal{R}_a f(x) = \frac{\Gamma\left(\frac{n+1}{2}\right)}{\pi^{\frac{n+1}{2}}} \text{P.V.} \int_{\mathbb{R}^n} \left( \frac{x-y}{|x-y|^{n+1}} - \frac{x-y}{(|x-y|^2 + a^2)^{\frac{n+1}{2}}} \right) f(y) \, dy.

这个方程被称为多维Kiselev-Sarsam模型。它是经典的一维Kiselev-Sarsam方程在高维空间中的自然推广。

原始的一维情形（即当 $$ n=1 $$ 时）对应于以下方程：

\partial_t \rho + g H_a \rho \cdot \partial_x \rho = 0,

其中 $$ H_a $$ 是一维的修正希尔伯特变换，定义为：

H_a f(x) = \frac{1}{\pi} \text{P.V.} \int_{\mathbb{R}} \left( \frac{1}{x-y} - \frac{x-y}{(x-y)^2 + a^2} \right) f(y)\,dy = \frac{1}{\pi} \text{P.V.} \int_{\mathbb{R}} \frac{a^2 f(y)}{(x-y)((x-y)^2 + a^2)}\,dy.

该一维模型最早由Kiselev与Sarsam在文献[13]中提出，作为二维不可压缩多孔介质方程（Incompressible Porous Media, IPM）的一个简化类比模型。IPM方程描述了在达西定律和重力作用下，由不可压缩流体速度场 $$ u $$ 输运的密度 $\rho$ 的演化过程：

\begin{cases} \partial_t \rho + u \cdot \nabla \rho = 0, \\ u = -\nabla P - (0, g\rho), \quad \nabla \cdot u = 0, \\ \rho(x,0) = \rho_0(x). \end{cases}

由于IPM方程本身的复杂性（耦合非线性系统、非局部压力关系），直接研究其有限时间奇异性形成（finite time singularity formation）非常困难。因此，构造低维或简化的模型来捕捉其关键动力学行为成为一个重要策略。Kiselev-Sarsam方程正是这样一种有效的一维模型，它保留了原系统中非局部速度生成机制的核心特征。

进一步地，该模型也与著名的Córdoba-Córdoba-Fontelos (CCF) 方程密切相关：

\partial_t \theta - H\theta \cdot \partial_x \theta = 0,

其中 $$ H $$ 是标准的希尔伯特变换。CCF方程是研究非局部输运方程中梯度爆破现象的经典范例。已有研究表明，对于某些光滑偶函数初值，解会在有限时间内发生梯度爆破。这种爆破通常依赖于对非局部项与梯度乘积的精细估计，尤其是利用如下的加权不等式：

-\int_0^\infty \frac{Hf(x)f'(x)}{x^{1+\delta}} dx \geq C_\delta \int_0^\infty \frac{(f(x))^2}{x^{2+\delta}} dx,

这类不等式揭示了非局部算子与导数之间的深层相互作用，是证明爆破的关键工具。

本文的目标是将这一思想拓展到更高维度。作者构造了一个多维版本的 $\mathcal{R}_a$ 算子，它是经典Riesz变换与“正则化”版本之间的差。具体来说， $\mathcal{R}_a$ 的核可以看作是Riesz核 $\frac{\Gamma((n+1)/2)}{\pi^{(n+1)/2}} \frac{x}{|x|^{n+1}}$ 减去一个多维的共轭Poisson核。从傅里叶角度看， $\mathcal{R}_a$ 是一个Fourier乘子算子，其符号为：

\widehat{\mathcal{R}_a f}(\xi) = -\frac{i\xi}{|\xi|}(1 - e^{-2\pi a |\xi|}) \hat{f}(\xi).

这表明 $\mathcal{R}_a$ 在频域上插值于零算子（当 $a \to 0$ ）与标准Riesz变换（当 $a \to \infty$ ）。因此，该模型不仅推广了几何结构，还引入了一个新的参数 $$ a $$ 来调节非局部性的强度。

研究区域为全空间 $\mathbb{R}^n$ ，无边界条件限制。函数空间方面，初始数据取在非齐次Sobolev空间 $H^s(\mathbb{R}^n)$ 中，要求 $s > \frac{n}{2} + 1$ ，以保证解的足够正则性（从而嵌入到 $L^\infty$ 并使非线性项有意义）。此外，文中也用到了 $BMO(\mathbb{R}^n)$ 空间，因为 $\mathcal{R}_a$ 将 $L^\infty$ 映射到 $$ BMO $$ ，这是Calderón-Zygmund理论的重要结论。

综上所述，本文的研究对象是一个具有物理动机（IPM模型的高维类比）、数学结构丰富（非局部、奇异积分、多维对称性）的活性标量方程，旨在探究其解的局部适定性与有限时间爆破行为。

主要定理或主要结果

本文建立了两个核心结果：一个是关于解的局部存在唯一性，另一个是关于特定初值下解的有限时间梯度爆破。

定理 1.1（局部适定性）

设 $n \geq 2$ ， $$ a,g > 0 $$ 。若初始数据 $\rho_0 \in H^s(\mathbb{R}^n)$ ，其中 $s > \frac{n}{2} + 1$ ，则存在时间 $T = T(\|\rho_0\|_{H^s}) > 0$ ，使得方程 (1.1) 存在唯一的解

\rho \in C([0,T); H^s(\mathbb{R}^n)) \cap \text{Lip}((0,T); H^{s-1}(\mathbb{R}^n)).

此定理说明，在高正则初值条件下，方程在短时间内容许一个经典意义下的强解，且该解在时间上是Lipschitz连续的（取值于低一阶Sobolev空间）。

定理 1.2（有限时间梯度爆破）

设 $n \geq 2$ ， $$ a,g > 0 $$ 。假设初始数据 $\rho_0 \in C_c^\infty(\mathbb{R}^n)$ 是径向对称、非减函数，并且满足 $\rho_0(0) < 0$ 。则对应的解 $\rho$ 在有限时间内发生梯度爆破，即存在有限时间 $T_* < \infty$ ，使得

\limsup_{t \to T_*^-} \|\nabla \rho(t)\|_{L^\infty} = \infty.

这是本文的主要突破：即使在高维空间中，只要初值具备适当的对称性和单调性（特别是中心为负的径向非减函数），解的梯度仍会在有限时间内趋于无穷，表现出强烈的非线性聚焦效应。

此外，文中还给出了一个Beale-Kato-Majda型准则（Proposition 4.2），用于刻画爆破的发生机制：

解在时间 $$ T_* $$ 处爆破（即无法延拓到 $$ C([0,T_*]; H^s) $$ ）当且仅当
$\int_0^{T_*} \|\nabla \rho(\tau)\|_{L^\infty} d\tau = \infty.$

这说明梯度的 $L^1_t L^\infty_x$ 范数发散是爆破的充要条件，体现了非线性对流项对正则性破坏的本质作用。

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

a) 核心分析学工具

能量估计与Gronwall不等式：这是证明局部适定性的基本框架。通过控制解在 $$ L^2 $$ 和 $\dot{H}^s$ 范数下的增长，结合Gronwall引理，得到解的先验估计。例如，在证明Lemma 3.2和Lemma 3.4时，分别对 $\| \rho \|_{L^2}^2$ 和 $\| \Lambda^s \rho \|_{L^2}^2$ 求导并进行估计，最终导出
$\frac{d}{dt} \| \rho \|_{H^s} \leq C \| \rho \|_{H^s}^2,$
进而得出存在时间 $T \sim 1/\| \rho_0 \|_{H^s}$ 。
Kato-Ponce交换子估计：这是处理非线性项 $\mathcal{R}_a \rho \cdot \nabla \rho$ 高阶导数的关键工具。文中引用了经典的Kato-Ponce不等式：
$\| \Lambda^s(fg) - f \Lambda^s g \|_{L^p} \leq C \left( \| \Lambda^s f \|_{L^{p_1}} \| g \|_{L^{p_2}} + \| \nabla f \|_{L^{p_3}} \| \Lambda^{s-1} g \|_{L^{p_4}} \right),$
其中 $\frac{1}{p} = \frac{1}{p_1} + \frac{1}{p_2} = \frac{1}{p_3} + \frac{1}{p_4}$ 。该估计允许将高阶导数作用在乘积项上，并分离出可由Sobolev范数控制的部分。
Calderón-Zygmund算子理论：作者利用 $\mathcal{R}_a$ 的奇异积分性质，得出其在 $$ L^p $$ ( $1<p<\infty$ ) 上有界，并且将 $L^\infty$ 映射到 $$ BMO $$ 。特别地，使用了如下估计：
$\| \mathcal{R}_a f \|_{BMO} \leq C_{n,a} \| f \|_{L^\infty}, \quad \| \mathcal{R}_a f \|_{H^s} \leq \| f \|_{H^s}.$
这些估计确保了非局部项不会破坏解的正则性结构。
对数不等式（Logarithmic Sobolev Inequality）：为了建立BKM型准则，作者引用了如下极限Sobolev不等式（Lemma 4.1）：
$\| f \|_{L^\infty} \leq C (1 + \| f \|_{BMO})(1 + \log^+ \| f \|_{W^{s,p}}), \quad s > \frac{n}{p}.$
结合 $\mathcal{R}_a: L^\infty \to BMO$ ，可得
$\| \nabla \mathcal{R}_a \rho \|_{L^\infty} \leq C (1 + \| \nabla \rho \|_{L^\infty}) \log(e + \| \rho \|_{H^s}),$
这种对数增长控制是推导爆破判据的关键。
正则化逼近方法：为构造解的存在性，采用标准的磨光子（mollifier）逼近方案：
$\partial_t \rho_\epsilon + g J_\epsilon (\mathcal{R}_a J_\epsilon \rho_\epsilon \cdot \nabla J_\epsilon \rho_\epsilon) = 0,$
先在光滑类别中求解，再通过先验估计取极限。

b) 技术性难题的处理技巧

非线性项的交换子处理：方程中出现的项 $\Lambda^s(\mathcal{R}_a \rho \cdot \nabla \rho)$ 无法直接估计，必须写成
$\Lambda^s(\mathcal{R}_a \rho \cdot \nabla \rho) = [\Lambda^s, \mathcal{R}_a \rho] \cdot \nabla \rho + \mathcal{R}_a \rho \cdot \Lambda^s \nabla \rho,$
然后利用Kato-Ponce估计控制交换子项。这是高阶能量估计的标准但精细的技术。
径向对称性的保持：为了应用爆破论证，必须证明若初值是径向非减的，则解在演化过程中始终保持这一性质（Lemma 4.3）。这依赖于方程在旋转群下的不变性以及比较原理的思想。
爆破证明中的非线性项下界估计：最关键的一步是在第4.2节中建立非线性项的正下界。类似于CCF方程中的方法，作者试图证明类似
$-\int \frac{(\mathcal{R}_a \rho \cdot \nabla \rho)(x) \cdot \nabla \rho(x)}{|x|^{n+\delta}} dx \geq C \int \frac{(\rho(x))^2}{|x|^{n+1+\delta}} dx$
的不等式。虽然文中未完全写出此类不等式，但从其思路可知，通过对径向函数的精细分析和核函数的对称性，能够提取出足够的正性来驱动梯度增长。
利用单调性构造爆破机制：由于初值 $\rho_0$ 是径向非减且 $\rho_0(0)<0$ ，故在原点附近密度较低，向外递增。非局部速度 $\mathcal{R}_a \rho$ 的结构会导致物质向中心汇聚，加剧梯度增长，最终引发爆破。这种基于单调性与对称性的物理直觉被严格数学化。

与之前工作的比较

a) 突破与改进

本文的主要贡献在于首次将Kiselev-Sarsam方程从一维推广到多维，并成功证明了高维情形下的有限时间梯度爆破，填补了该领域的空白。

相比先前工作，本文的改进体现在以下几个方面：

维度的实质性推广：此前关于Kiselev-Sarsam方程的结果（如[13], [18]）均局限于一维情形。本文将其推广至任意 $n \geq 2$ 维，且所构造的 $\mathcal{R}_a$ 算子在傅里叶侧和核函数结构上都符合自然的高维推广。这是几何结构上的重要拓展。
初值条件的优化：相比于CCF方程中常要求初值为偶函数、紧支撑、非负等，本文针对Kiselev-Sarsam模型设计了更适合其物理背景的初值：径向、非减、中心为负。这一设定更贴近多孔介质中“重核轻壳”的密度分布，具有更强的物理解释性。
模型参数 $$ a $$ 的保留：许多高维非局部模型（如多维CCF）直接使用标准Riesz变换（相当于 $a \to \infty$ ）。而本文保留了正参数 $$ a > 0 $$ ，使得模型更具一般性，并能连续过渡到零算子或Riesz变换，增强了理论的鲁棒性。
方法论的继承与发展：本文借鉴了CCF方程中利用加权积分不等式证明爆破的经典策略（如[4], [12], [20]），但在多维框架下需重新验证相关估计的有效性。特别是如何处理向量值非局部算子 $\mathcal{R}_a \rho \cdot \nabla \rho$ 与梯度方向的关系，是技术上的新挑战。
局部适定性理论的完善：尽管多维活性标量方程的局部理论已有较多成果（如[3], [6]），但针对此特定形式的 $\mathcal{R}_a$ 算子，本文系统建立了 $$ H^s $$ 框架下的局部解理论，包括唯一性、先验估计和正则性保持，为后续全局行为研究奠定了基础。

总之，本文不仅实现了从1D到nD的形式推广，更重要的是在保持物理合理性的前提下，发展了一套适用于此类带参数非局部模型的分析工具，并成功揭示了其内在的不稳定机制——即使在高维空间中，简单的对称性假设仍足以触发有限时间奇异性。这一结果加深了我们对非局部输运方程动力学的理解。

7. Co-rotating nearly parallel helical vortices with small cross-section in 3D incompressible Euler equations

三维不可压缩欧拉方程中具有小截面的共旋近似平行螺旋涡流

作者: Daomin Cao, Jie Wan

类别: math.AP

发布日期: 2025-11-08

arXiv ID: 2511.05956v1

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

详细分析

中文标题: 三维不可压缩欧拉方程中具有小截面的共旋近似平行螺旋涡流

研究对象和背景

本文研究的是三维不可压缩理想流体在无限长圆柱区域中的 涡度场构造问题，其动力学由经典的 欧拉方程 描述：

\begin{cases} \partial_t v + (v \cdot \nabla) v = -\nabla P, & \text{在 } D \times (0,T), \\ \nabla \cdot v = 0, & \text{在 } D \times (0,T), \\ v \cdot n = 0, & \text{在 } \partial D \times (0,T), \end{cases}

其中 $D = B_{R_*}(0) \times \mathbb{R} \subset \mathbb{R}^3$ 是一个以原点为中心、半径为 $$ R_* > 0 $$ 的无限长直圆柱， $$ v = (v_1, v_2, v_3) $$ 是速度场， $$ P $$ 是压力函数， $$ n $$ 是边界 $\partial D$ 上的外法向量。

定义 涡度场 $w = \nabla \times v$ ，则它满足涡度形式的欧拉方程：

\begin{cases} \partial_t w + (v \cdot \nabla) w = (w \cdot \nabla) v, \\ \nabla \times v = w. \end{cases}

本文关注的核心问题是：是否存在一族解 $w_\varepsilon$ ，使得当参数 $\varepsilon \to 0$ 时，涡度集中在一个或多个细长的 螺旋形管状结构（helical vortex tubes） 周围，这些结构的横截面半径为 $\varepsilon$ ，且整体趋近于某些特定的 共旋近似平行螺旋涡丝（co-rotating nearly parallel helical filaments），从而从数学上严格验证 Klein-Majda-Damodaran 在 1995 年提出的渐近模型。

这类问题属于 涡丝猜想（vortex filament conjecture）的研究范畴。该猜想断言：若初始涡度集中在一条光滑曲线 $\gamma(t)$ 的 $\varepsilon$ -邻域内，并保持高度集中，则曲线 $\gamma(t)$ 应满足所谓的 涡丝方程（vortex filament equation）：

\partial_t \gamma = \frac{\kappa}{4\pi} |\ln\varepsilon| (\partial_s \gamma \times \partial_{ss} \gamma),

其中 $\kappa$ 是总环量， $$ s $$ 是弧长参数。此方程描述了单个细长涡管的自诱导运动。然而，对于一般曲线 $\gamma(t)$ ，这一猜想至今未被完全证明。

当考虑多条相互作用的近似平行涡丝时，Klein, Majda 和 Damodaran [1995] 提出了简化模型来描述它们之间的相互作用。设 $$ N $$ 条细长涡管中心线在复平面中表示为 $\widetilde{X}_{j,\varepsilon}(s,t) \in \mathbb{C}$ ，环量为 $\kappa_j$ ，横截面半径为 $\varepsilon$ ，并几乎平行于 $$ x_3 $$ -轴。假设各涡丝间距离为 $O(|\ln\varepsilon|^{-1/2})$ ，波长为 $$ O(1) $$ 。引入慢时间尺度 $\tau = |\ln\varepsilon| t$ 和缩放变量：

X_j(s, \tau) = \sqrt{|\ln\varepsilon|} \, \widetilde{X}_{j,\varepsilon}(s, t),

他们形式推导出如下系统作为极限动态：

\partial_\tau X_j = \frac{i \alpha_j}{4\pi} \partial_{ss} X_j + 2i \sum_{k \neq j} \kappa_k \frac{X_j - X_k}{|X_j - X_k|^2}, \quad j=1,\dots,N,

其中 $$ i $$ 是虚数单位， $\alpha_j$ 是与涡核结构相关的常数（通常取为 1）。这个系统被称为“近似平行涡丝模型”，刻画了局部曲率引起的自诱导项与其它涡丝产生的远场诱导速度之间的平衡。

本文的目标是：从严格的数学角度，构造三维不可压缩欧拉方程的精确解族 $w_\varepsilon$ ，其支持集为若干细螺旋管，半径 $\sim \varepsilon$ ，并在 $\varepsilon \to 0$ 时集中于上述模型的共旋螺旋解轨迹附近。

为了处理螺旋对称性，作者采用标准技巧：假设流体满足 正交条件 $v \cdot (x_2, -x_1, h)^T = 0$ ，即速度场垂直于螺旋方向场。在此条件下，可将三维问题约化为二维问题。具体地，令 $\omega$ 为涡度的第三分量， $\phi$ 为对应的流函数，则系统等价于以下二维系统：

\begin{cases} \partial_t \omega + \nabla \omega \cdot \nabla^\perp \phi = 0, & \Omega \times (0,T), \\ \omega = L_{KH} \phi, & \Omega \times (0,T), \\ \phi = 0, & \partial\Omega, \end{cases}

其中 $\Omega \subset \mathbb{R}^2$ 是包含原点的有界光滑区域（如 $B_{R_*}(0)$ ）， $\nabla^\perp = (-\partial_2, \partial_1)^T$ 表示顺时针旋转 $\pi/2$ ，而算子 $L_{KH} = -\mathrm{div}(K_H(x)\nabla)$ 是一个二阶椭圆算子，系数矩阵为：

K_H(x_1,x_2) = \frac{1}{h^2 + x_1^2 + x_2^2} \begin{pmatrix} h^2 + x_2^2 & -x_1 x_2 \\ -x_1 x_2 & h^2 + x_1^2 \end{pmatrix}.

进一步，若寻找 旋转行进波型解，即形如：

\omega(x,t) = w(R_{-\alpha |\ln\varepsilon| t} x), \quad \phi(x,t) = u(R_{-\alpha |\ln\varepsilon| t} x),

其中 $R_{\theta}$ 是二维旋转矩阵，则归结为求解如下 半线性椭圆方程：

L_{KH} u = f_\varepsilon\left(u - \frac{\alpha}{2}|x|^2 |\ln\varepsilon|\right), \quad u = 0 \text{ on } \partial\Omega.

为使涡度支持集紧致（对应物理上有限横截面的涡管），作者选取非线性项为幂型函数：

f_\varepsilon(t) = \frac{1}{\varepsilon^2}(t)_+^p, \quad p > 1.

最终，通过变量替换，问题转化为研究如下 发散型半线性椭圆方程 的 聚集解（clustered solutions）：

\begin{cases} -\varepsilon^2 \mathrm{div}(K(x)\nabla u) = (u - q(x)|\ln\varepsilon|)^p_+, & x \in \Omega, \\ u = 0, & x \in \partial\Omega, \end{cases} \tag{1.20}

其中 $$ K(x) $$ 是一致正定矩阵（满足椭圆性条件）， $$ q(x) > 0 $$ 光滑。目标是构造一类解 $u_\varepsilon$ ，其“活跃区域” $\{u > q|\ln\varepsilon|\}$ 由 $$ N $$ 个彼此靠近的小泡组成，所有峰值点都趋向于同一点（原点），且相邻小泡间距约为 $|\ln\varepsilon|^{-1/2}$ 。这种解称为以原点为 聚集点（cluster point）、 $|\ln\varepsilon|^{-1/2}$ 为 聚集距离（cluster distance）的 聚集解。

特别值得注意的是，文中区域 $\Omega \subset \mathbb{R}^2$ 是有界的，边值为齐次 Dirichlet 边界条件，所用函数空间自然为 $H_0^1(\Omega)$ 及其相关 Sobolev 空间。此外，关键假设之一是：

\nabla\left(q^2 \sqrt{\det K}\right)(0) = 0,

这保证了原点是某个能量泛函的临界点，从而允许解的小泡在原点附近对称分布。

主要定理或主要结果

定理 1.9 （聚集解的存在性）

设 $\Omega \subset \mathbb{R}^2$ 是包含原点的光滑有界区域， $\varepsilon \in (0,1)$ ， $$ p > 1 $$ 。考虑方程：

\begin{cases} -\varepsilon^2 \mathrm{div}(K(x)\nabla v) = (v - q(x)|\ln\varepsilon|)^p_+, & x \in \Omega, \\ v = 0, & x \in \partial\Omega. \end{cases}

假设系数满足：

(K1) 存在 $\Lambda_1, \Lambda_2 > 0$ ，使得对所有 $x \in \Omega, \zeta \in \mathbb{R}^2$ ， $\Lambda_1 |\zeta|^2 \leq (K(x)\zeta | \zeta) \leq \Lambda_2 |\zeta|^2;$
(Q1) $q \in C^\infty(\Omega)$ ，且 $$ q(x) > 0 $$ 对所有 $x \in \Omega$ ；
(KQ) $\nabla(q^2 \sqrt{\det K})(0) = 0$ 。

定义辅助函数 $H_N: \Omega^{(N)} \to \mathbb{R}$ 如下：

H_N(\tilde{z}_1, \dots, \tilde{z}_N) = \frac{1}{2} \sum_{j=1}^N \tilde{z}_j \cdot \nabla^2 \left(q^2 \sqrt{\det K}\right)(0) \cdot \tilde{z}_j^T + \frac{1}{2} \sum_{i \neq j} q^2 \sqrt{\det K}(0) \ln |K(0)^{-1}(\tilde{z}_i - \tilde{z}_j)|.

若 $(\tilde{z}_1^*, \dots, \tilde{z}_N^*)$ 是 $$ H_N $$ 的一个 严格局部极大值或极小值点，则存在 $\varepsilon_0 > 0$ ，使得对任意 $\varepsilon \in (0, \varepsilon_0]$ ，方程 (1.20) 存在一个解 $v_\varepsilon$ ，满足：

存在点列 $(\tilde{z}_{1,\varepsilon}, \dots, \tilde{z}_{N,\varepsilon})$ ，使得 $\tilde{z}_{j,\varepsilon} = \tilde{z}_j^* + o(1)$ ，且
$\{v_\varepsilon > q|\ln\varepsilon|\} \subseteq \bigcup_{j=1}^N B_{\rho_0 |\ln\varepsilon|^{-1/2}}\left( \frac{\tilde{z}_{j,\varepsilon}}{\sqrt{|\ln\varepsilon|}} \right);$
记 $A_{\varepsilon,j} = \{v_\varepsilon > q|\ln\varepsilon|\} \cap B_{\rho_0 |\ln\varepsilon|^{-1/2}}\left( \frac{\tilde{z}_{j,\varepsilon}}{\sqrt{|\ln\varepsilon|}} \right)$ ，则存在与 $\varepsilon$ 无关的常数 $$ R_1, R_2 > 0 $$ ，使得
$B_{R_1 \varepsilon}\left( \frac{\tilde{z}_{j,\varepsilon}}{\sqrt{|\ln\varepsilon|}} \right) \subseteq A_{\varepsilon,j} \subseteq B_{R_2 \varepsilon}\left( \frac{\tilde{z}_{j,\varepsilon}}{\sqrt{|\ln\varepsilon|}} \right);$
每个“小泡”的总效应满足：
$\frac{1}{\varepsilon^2} \int_{A_{\varepsilon,j}} (v_\varepsilon - q|\ln\varepsilon|)^p_+ dx = 2\pi q \sqrt{\det K}(0) + O\left( \frac{1}{\sqrt{|\ln\varepsilon|}} \right).$

注：该定理表明，聚集解的微观结构由泛函 $$ H_N $$ 控制，其极值点决定了小泡的位置构型。

利用该抽象定理，结合不同配置下的显式计算，作者得到一系列关于欧拉方程的具体存在性结果：

定理 1.1 （N 个等环量共旋螺旋）

给定整数 $N \geq 2$ ，半径 $r_* \in (0,R_*)$ ，环量 $\kappa > 0$ ，定义 $$ N $$ 条螺旋线：

\widetilde{X}_{j,\varepsilon}(s,t) = \frac{r_*}{\sqrt{|\ln\varepsilon|}} e^{-i \alpha |\ln\varepsilon| t} e^{is} e^{i 2\pi(j-1)/N}, \quad j=1,\dots,N,

其中 $\alpha = \frac{\kappa}{4\pi} \left( \frac{1}{h^2} - \frac{N-1}{r_*^2} \right)$ 。则存在 $\varepsilon_0 > 0$ ，使得对任意 $\varepsilon \in (0,\varepsilon_0]$ ，存在欧拉方程的解 $w_\varepsilon \in C^1(D \times \mathbb{R}_+)$ ，满足：

w_\varepsilon(\cdot, t) - \kappa \sum_{j=1}^N \delta_{\widetilde{X}_{j,\varepsilon}(\cdot,t)} \rightharpoonup 0 \quad \text{在分布意义下},

且每个分量的支持集直径为 $\sim \varepsilon$ 。

类似地，作者还证明了包含中心涡的 “ $$ N+1 $$ ” 构型（定理 1.3）、不对称双涡（定理 1.5）、“2×2 不对称” 构型（定理 1.6）以及“2×2+1”混合构型（定理 1.7）的存在性。

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

a) 核心分析学工具

本文的主要技术框架基于 有限维约化方法（finite-dimensional reduction method），也称 Lyapunov-Schmidt 方法。其基本思想是将无限维变分问题分解为两个部分：一个主导的近似解（ansatz）和一个待修正的小误差项。通过将原方程投影到线性化算子的核空间及其正交补空间，可将问题转化为一个有限维的临界点问题。

具体步骤如下：

格林函数展开：首先，作者对椭圆算子 $-\mathrm{div}(K(x)\nabla)$ 的格林函数 $$ G_K(x,y) $$ 进行精细的 $$ C^1 $$ -展开。这是构建近似解的基础。由于 $$ K(x) $$ 非常数，必须考虑其在原点附近的泰勒展开，尤其是二阶导数项对能量的影响。
构造近似解：基于期望的小泡构型，定义主项 $V_{\varepsilon,z_j,\hat{q}_j}$ 为局部解的叠加，再加入调和修正项 $H_{\varepsilon,z_j,\hat{q}_j}$ 以满足边界条件。整个近似解写作：
$U_\varepsilon = \sum_{j=1}^N (V_{\varepsilon,z_j,\hat{q}_j} + H_{\varepsilon,z_j,\hat{q}_j}) + \omega_{\varepsilon,Z},$
其中 $Z = (z_1,\dots,z_N)$ 是缩放后的小泡位置参数， $\omega_{\varepsilon,Z}$ 是误差项。
线性理论：分析线性化算子
$Q_\varepsilon \phi := -\varepsilon^2 \mathrm{div}(K\nabla \phi) - p(U_\varepsilon - q|\ln\varepsilon|)^{p-1}_+ \chi_{\{U_\varepsilon > q|\ln\varepsilon|\}} \phi$
的谱性质。利用 非退化性（non-degeneracy）假设及加权 Sobolev 空间中的 强制估计（coercive estimates），证明 $Q_\varepsilon$ 在适当空间中有左逆，从而可用隐函数定理求解误差项。
非线性理论：在近似解附近使用不动点论证，证明存在唯一的误差项 $\omega_{\varepsilon,Z}$ 使得真实解 $u_\varepsilon = U_\varepsilon + \omega_{\varepsilon,Z}$ 满足原方程。同时证明 $\omega_{\varepsilon,Z}$ 关于参数 $$ Z $$ 是 $$ C^1 $$ 可微的。
能量泛函分析：将原问题的能量泛函 $\mathcal{K}_\varepsilon(Z)$ 展开为：
$\mathcal{K}_\varepsilon(Z) = A |\ln\varepsilon| + B \ln|\ln\varepsilon| + C + o(1),$
并逐项计算系数。其中主导项由 $$ H_N $$ 决定。最终通过寻找 $\mathcal{K}_\varepsilon$ 的临界点，得到真正的解。

b) 关键技术与难点处理

聚集构型的构造：传统集中紧性方法通常用于构造围绕多个分离点的解，而本文处理的是所有小泡趋于同一点的情况。为此，作者引入 缩放变量 $z_j \sim \tilde{z}_j / \sqrt{|\ln\varepsilon|}$ ，使小泡在放大视角下分离。
非线性项的奇异性：右端项 $(u - q|\ln\varepsilon|)^p_+$ 在阈值处不可微，导致线性化算子不光滑。作者通过限制在集合 $\{u > q|\ln\varepsilon|\}$ 上工作，并使用特征函数进行截断，结合加权范数控制扰动。
边界效应与调和修正：由于近似解不满足零边界条件，必须添加调和项 $H_{\varepsilon,z_j,\hat{q}_j}$ 进行校正。这部分依赖于格林函数的精确渐近展开。
能量主导项的识别：最关键的一步是识别出能量泛函的 $$ O(1) $$ 项正是 $H_N(\tilde{z}_1,\dots,\tilde{z}_N)$ 。这要求对格林函数、局部解耦合项、交叉项等进行极其精细的估计，涉及大量渐近分析。

与之前工作的比较

a) 突破与改进

本文相对于先前工作（特别是 Guerra–Musso [arXiv:2502.01470] 和 Klein–Majda–Damodaran [1995]）做出了显著推进：

推广环量自由度：Guerra–Musso 的工作中，每个涡丝的环量被固定为 $8\pi$ ，这是由其所选指数型非线性项决定的。而本文使用幂型非线性 $f_\varepsilon(t) = \varepsilon^{-2}(t)_+^p$ ，允许 任意正环量 $\kappa > 0$ ，更符合物理实际。
实现拓扑集中：此前的工作中，涡度场在整个空间非零，仅在分布意义下集中于曲线。而本文构造的解具有 紧支集，每个小泡对应一个直径 $\sim \varepsilon$ 的紧集，实现了真正意义上的 拓扑集中，完全匹配“细涡管”的物理图像。
涵盖更多非对称构型：以往研究主要集中于对称配置（如正多边形顶点）。本文首次严格构造了多种 非对称共旋螺旋，包括：
- “2 不对称”：两涡环量与旋转半径均不同；
- “2×2 不对称”：两组对称但互不相同的双涡系统；
- “2×2+1”：前两者加中心涡。这些都需要新的相容性条件（如 (1.9)、(1.11)、(1.13)），并通过选择适当的 $$ q $$ 和 $$ K $$ 实现。
统一框架与可推广性：作者建立了一个 通用框架（定理 1.9），将几何构型的存在性归结为辅助泛函 $$ H_N $$ 的极值问题。只要找到 $$ H_N $$ 的严格极值点，即可构造对应解。这为未来研究更复杂的涡丝网络提供了工具。
放宽对系数的要求：虽然假设了 $\nabla(q^2 \sqrt{\det K})(0)=0$ ，但作者指出若此条件不成立，仍可在非零点 $x_0 \ne 0$ 构造聚集解。这比 Gluing 方法（如 [24]）更具灵活性。

综上所述，本文不仅 严格验证了 Klein-Majda-Damodaran 模型的预测，而且 大幅扩展了其适用范围，实现了从形式推导到严格数学存在的跨越，是近年来涡丝结构研究中的重要进展。

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

1. Convergence of approximate solutions constructed by the finite volume method for the moisture transport model in porous media

一类多孔介质中湿气输运模型的有限体积法构造近似解的收敛性

作者: Akiko Morimura, Toyohiko Aiki

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

发布日期: 2025-05-14

arXiv ID: 2505.09763v5

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

摘要翻译

中文标题: 一类多孔介质中湿气输运模型的有限体积法构造近似解的收敛性

摘要翻译: 本文考虑一维区间上一个非线性抛物型方程的初边值问题，该问题源于多孔介质中湿气输运的数学模型。我们利用对偶方程方法证明了该问题弱解的唯一性，并进一步证明了通过有限体积法构造的近似解的收敛性。

2. A note on the fourth-order Schrodinger equation with spatially growing inhomogeneous source term

关于一类具有空间增长型非齐次源项的四阶薛定谔方程的注记

作者: Alaa Mohammed Alqaied, Tarek Saanouni

类别: math.AP, 35Q55

发布日期: 2025-11-10

arXiv ID: 2511.06985v1

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

摘要翻译

中文标题: 关于一类具有空间增长型非齐次源项的四阶薛定谔方程的注记

摘要翻译: 本文研究了一类带有无界非齐次项的非线性双调和薛定谔方程。主要目标是在能量空间中建立解的局部适定性理论，并对小初值数据建立整体适定性理论。此外，我们还在正则性较低的索伯列夫空间中发展了局部理论。由于非齐次项的无界性破坏了空间平移不变性，这给分析带来了挑战。为了处理这一非齐次项，我们采用了某些Strauss型估计，而这需要对解施加球面对称性假设。

3. On the Propagation of Regularity of Solutions to the KdV Equation on the positive Half-line

关于KdV方程在正半直线上解的正则性传播的研究

作者: Márcio Cavalcante, Aílton C. Nascimento

类别: math.AP, 35Q53

发布日期: 2025-11-10

arXiv ID: 2511.06951v1

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

摘要翻译

中文标题: 关于KdV方程在正半直线上解的正则性传播的研究

摘要翻译: 我们研究了定义在正半直线上Korteweg-de Vries方程初边值问题解的特殊正则性性质。特别地，当初始数据 $u_0 \in H^{\frac{3}{4}^{+}}(\mathbb{R}^+)$ 且边界数据 $f\in H^{\frac{3}{2}^+}(\mathbb{R}^+)$ 时，若 $$u_0$$ 在任意 $(b,\infty)$ 的子集上具有额外的正则性（其中 $$b>0$$ ），我们证明了解的正则性在时间演化过程中以无限速度向左传播，直至某一时刻 $$T^*$$ 。由于边界函数 $$f$$ 的影响，该停止时刻 $$T^*$$ 的存在是不可避免的。此外，作为我们证明的一个推论，我们还证明了半直线上的Korteweg-de Vries方程解的迹导数在正则性方面有所提升。

4. Two-way Coupling of Fluid–Structure Interaction for Elastic Magneto-Swimmers:A Finite Element ALE Approach

弹性磁驱动微泳体流固双向耦合模拟：一种有限元任意拉格朗日—欧拉方法

作者: Christophe Prud’Homme, Vincent Chabannes, Laëtitia Giraldi, Agathe Chouippe, Céline Van Landeghem

类别: math.AP

发布日期: 2025-11-04

arXiv ID: 2511.02402v2

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

摘要翻译

中文标题: 弹性磁驱动微泳体流固双向耦合模拟：一种有限元任意拉格朗日—欧拉方法

摘要翻译: 由外部磁场驱动的人工微泳体在靶向生物医学应用（如药物递送和微型机器人辅助治疗）中展现出广阔前景。然而，由于磁驱动、弹性变形与流体相互作用在受限生物环境中的复杂非线性耦合效应，其动力学行为仍难以精确控制。因此，数值建模对于深入理解、预测并优化此类微泳体的实际性能具有重要意义。本文提出了一种基于任意拉格朗日—欧拉（Arbitrary Lagrangian–Eulerian, ALE）框架的综合性有限元方法，用于模拟在受限流体域中运动的可变形弹性微泳体。该方法采用全阶模型，能够完整求解流体动力学方程，同时在一致网格上同步追踪微泳体的形变及其整体位移。基于开源有限元库Feel++开展的数值实验表明，模拟结果与文献中的实验数据高度吻合。二维与三维条件下的验证算例证实了所提框架在精度、鲁棒性及计算效率方面的优越表现，为面向生物医学应用的磁驱动微泳体数字孪生系统的构建奠定了重要基础。

5. Hydrodynamic limit for compressible Navier-Stokes-Vlasov-Poisson equations with local alignment force

具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限

作者: Yunfei Su, Lei Yao

类别: math.AP, 35Q30, 35Q70, 35Q83

发布日期: 2025-11-10

arXiv ID: 2511.06792v1

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

摘要翻译

中文标题: 具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限

摘要翻译: 本文研究了在三维环面区域中带有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程弱解的流体动力学极限。由于粒子方程中缺乏耗散项，该问题的研究具有较大困难。基于相对熵方法，我们证明了可压缩Navier-Stokes-Vlasov-Poisson方程的全局弱解收敛于极限两相流体模型的光滑解。结果表明，分布函数 $f^{\epsilon}$ 在速度变量上收敛到一个Dirac分布，流体密度 $\rho^{\epsilon}$ 和速度 $u^{\epsilon}$ 分别收敛到 $\rho$ 和 $$u$$ 。

6. Modified Scattering for Nonlocal Nonlinear Schrödinger Equations

非局部非线性薛定谔方程的修正散射

作者: Tim Van Hoose

类别: math.AP, 35P25 (Primary) 35Q55 (Secondary)

发布日期: 2025-11-10

arXiv ID: 2511.06637v1

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

摘要翻译

中文标题: 非局部非线性薛定谔方程的修正散射

摘要翻译: 我们利用Ifrim和Tataru提出的波包测试方法，证明了在二维和三维情况下，Hartree方程与Schrödinger-Bopp-Podolsky方程的修正散射性质以及精确的 $L^\infty$ 衰减结果。我们表明，这些方程的修正散射行为和精确逐点衰减在远低于Hayashi-Naumkin及Kato-Pusateri先前结果所要求的正则性条件下即可成立；作为推论，我们还说明，Hayashi-Naumkin关于幂型散射临界非线性薛定谔方程的结果亦可在极小的正则性假设下得以证明。

7. Stability of Solitary Capillary-Gravity Water Waves in Three Dimensions

三维毛细-重力有限水深行波的条件轨道稳定性

作者: Changfeng Gui, Shanfa Lai, Yong Liu, Juncheng Wei, Wen Yang

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06629v1

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

摘要翻译

中文标题: 三维毛细-重力有限水深行波的条件轨道稳定性

摘要翻译: 本文建立了在强表面张力作用下，有限水深三维毛细-重力水波问题中完全局域化孤立波的条件轨道稳定性。这些波是通过文献[26]中的非变分Lyapunov-Schmidt约化方法构造的，它们并非能量极小化解，因此需要进行直接的稳定性分析。我们结合Mielke的方法，对Grillakis-Shatah-Strauss框架进行了相应调整，以处理适定性空间与能量空间之间的不匹配问题。证明依赖于对线性化动力学的谱分析，并对由能量和动量泛函所定义的哈密顿结构进行了细致处理。

8. A Revisiting of the Pressure Elimination for a Fluid-Structure PDE Interaction and its Implications

流体-结构PDE相互作用中压力消除方法的重新审视及其意义

作者: George Avalos, Yuhao Mu

类别: math.AP, 35Q35, 35Q74, 74F10, 35B65

发布日期: 2025-11-10

arXiv ID: 2511.06615v1

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

摘要翻译

中文标题: 流体-结构PDE相互作用中压力消除方法的重新审视及其意义

摘要翻译: 本文首次建立了一种新的技术，用于在一般的有界Lipschitz域中消除并恢复流体-结构相互作用模型中的压力，且无需额外的几何条件（如角度的凸性）。我们所考虑的具体流体-结构相互作用（FSI）是一个众所周知的耦合Stokes流与线性弹性模型，构成一个耦合的抛物-双曲系统。这两种不同偏微分方程动力学之间的耦合发生在边界界面上，各个组分在其各自独立的几何区域上演化，相关边界均为Lipschitz连续。为简化起见，我们考虑该FSI系统的线性版本，并采用Stokes流。我们提出的新压力消除技术可导出一个显式的 $C_{0}$ -半群生成元表示 $\mathcal{A} : D(\mathcal{A}) \subset \mathbf{H} \to \mathbf{H}$ ，其中 $\mathbf{H}$ 是与流体-结构初始数据相关的能量空间。这首次在如此一般的几何条件下，为连续偏微分方程解的存在唯一性和适定性提供了严格的解析证明。我们还展示了本研究结果在其他领域的一些自然推论，例如在数值逼近中，该方法可在多边形区域上提供有限元法（FEM）收敛性的估计。

9. On the well-posedness of a nonlocal kinetic model for dilute polymers with anomalous diffusion

关于一类具有反常扩散的稀薄聚合物非局部动力学模型的适定性研究

作者: Marvin Fritz, Endre Süli, Barbara Wohlmuth

类别: math.AP, 35Q30, 35Q84, 35R11, 60G22, 82C31, 82D60

发布日期: 2025-11-09

arXiv ID: 2511.06570v1

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

摘要翻译

中文标题: 关于一类具有反常扩散的稀薄聚合物非局部动力学模型的适定性研究

摘要翻译: 本文研究了一类关于不可压缩稀薄聚合物流体的时间非局部动力学模型。该系统将宏观的动量守恒方程与介观尺度下描述聚合物构型概率密度函数演化的次扩散Fokker-Planck方程相耦合。模型中引入了非局部特性，以刻画次扩散行为及记忆效应。我们的主要结果是证明了该非局部系统在大初值条件下全局弱解的存在性。证明的关键在于建立包含适当相对熵的能量估计，从而能够处理耦合两个方程的临界一般非共旋拖曳项。作为附带结果，我们证明了概率密度函数的非负性。分析中的关键步骤是通过多种技术的结合——包括针对非局部偏微分方程的一个新颖紧性结果——来确立Galerkin逼近序列的强收敛性。最后，我们证明了具有足够正则性的弱解的唯一性。

10. Scattering of the defocusing Calogero–Moser derivative nonlinear Schrödinger equation

散焦Calogero–Moser导数非线性薛定谔方程的散射问题

作者: Xi Chen

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06432v1

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

摘要翻译

中文标题: 散焦Calogero–Moser导数非线性薛定谔方程的散射问题

摘要翻译: 本文研究了散焦情形下的Calogero–Moser导数非线性薛定谔方程。利用Gérard型显式公式，我们证明了该方程在初值属于空间 $H_{+}^{1,\alpha}(\mathbb{R}) := \{u\in H_{+}^1(\mathbb{R}) : |x|^{\alpha}u\in L^2(\mathbb{R})\}$ （其中 $\alpha>1/4$ ）时解的散射结果。我们还通过与Lax算子相关联的畸变傅里叶变换对散射行为进行了刻画。这是首批将Gérard型显式公式应用于研究一大类初值（超出此前研究过的有理情形）下可积方程长时间行为的工作之一。

11. Linear toroidal-inertial waves on a differentially rotating sphere with application to helioseismology: Modeling, forward and inverse problems

球面上非均匀旋转下的线性环向惯性波及其在日震学中的应用：建模、正问题与反问题

作者: Tram Thi Ngoc Nguyen, Damien Fournier, Laurent Gizon, Thorsten Hohage

类别: math.AP, math-ph, math.MP, math.OC, 65M32, 65J22, 35R30

发布日期: 2025-07-28

arXiv ID: 2507.20488v3

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

摘要翻译

中文标题: 球面上非均匀旋转下的线性环向惯性波及其在日震学中的应用：建模、正问题与反问题

摘要翻译: 本文在理想化条件下建立了一个用于解释太阳惯性波观测的数学框架。在假设球面上存在纯环向线性波动的前提下，流场的流函数满足一个四阶标量方程。我们证明了在关于非均匀旋转的明确条件下，波动解的适定性。此外，我们研究了从完整或部分表面观测数据中同时重构粘滞系数与非均匀旋转参数的反问题。通过验证切锥条件，我们建立了迭代正则化方法的收敛性保证，并证明了未知参数的局部唯一可识别性。基于Nesterov-Landweber迭代的数值实验表明，在不同观测策略和噪声水平下，参数重构具有良好的鲁棒性。

12. Critical threshold for a two-species chemotaxis system with the energy critical exponent

具有能量临界指数的双物种趋化系统爆破临界阈值研究

作者: Shen Bian

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06343v1

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

摘要翻译

中文标题: 具有能量临界指数的双物种趋化系统爆破临界阈值研究

摘要翻译: 本文考虑定义在 $\R^d(d \ge 3)$ 上的一类双物种趋化模型，该模型包含非线性多孔介质型扩散项以及非局部的幂律吸引相互作用。其中，非线性扩散指数 $$m_1$$ 与 $$m_2$$ 满足关系 $$1/m_1 + 1/m_2 = (d+2)/d$$ ，使得相应的自由能量具有共形不变性；在此条件下，系统存在径向对称、非增且非紧支的稳态解 $$(U_s(x), V_s(x))$$ 。我们通过分析这些稳态解，研究了初始数据 $$(u_0, v_0)$$ 在何种条件下会导致吸引力主导于扩散效应，并据此对动力学解的整体存在性与有限时间爆破行为进行分类。具体而言，若初始数据满足 $\|u_0\|_{L^{m_1}(\R^d)} < \|U_s\|_{L^{m_1}(\R^d)}$ 且 $\|v_0\|_{L^{m_2}(\R^d)} < \|V_s\|_{L^{m_2}(\R^d)}$ ，则解 $$(u,v)(x,t)$$ 在时间上整体存在；相反地，当 $\|u_0\|_{L^{m_1}(\R^d)} > \|U_s\|_{L^{m_1}(\R^d)}$ 且 $\|v_0\|_{L^{m_2}(\R^d)} > \|V_s\|_{L^{m_2}(\R^d)}$ 时，存在在有限时间内爆破的解。

13. On the Gevrey regularity of the fifth-order Kadomtsev-Petviashvili-II equation: An improved approach

关于五阶Kadomtsev-Petviashvili-II方程Gevrey正则性的改进方法

作者: A. Boukarou, L. Seghour, M. B. Jeelani, N. A. Alqahtani, Z. Shah

类别: math.AP

发布日期: 2025-10-30

arXiv ID: 2510.26669v3

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

摘要翻译

中文标题: 关于五阶Kadomtsev-Petviashvili-II方程Gevrey正则性的改进方法

摘要翻译: 本文改进并推广了Boukarou等人\cite{boukarou1}关于五阶Kadomtsev-Petviashvili-II方程解的Gevrey正则性所得到的结果。我们在二维空间加一维时间（ $$2+1$$ 维）情形下建立了关于时间变量的Gevrey正则性，通过一种新的分析方法获得了更精确的结果。假设初始数据在空间变量中具有阶数为 $\sigma \geq 1$ 的Gevrey正则性，我们证明相应的解在时间变量中具有阶数为 $5\sigma$ 的Gevrey正则性。此外，我们还证明：将函数 $$u(x, y, t)$$ 视为关于 $$t$$ 的函数时，它不属于任何满足 $1 \leq z < 5\sigma$ 的Gevrey类 $$G^z$$ 。我们的证明引入了一种新的分析方法，建立了一个适用于如下形式色散方程的一般性原则： $\partial_t u = \pm\partial_x^\alpha u + P(u)$ ，其中 $\partial_x^\alpha$ 为最高阶空间导数， $$P(u)$$ 是总阶数至多为 $\alpha-1$ 的空间导数的多项式函数——在此类方程中，解在时间变量中不可能属于任何满足 $1 \leq z < \alpha \sigma$ 的Gevrey类 $$G^z$$ 。

14. Large torus limit of global dynamics of the two-dimensional dispersive Anderson model

大环面极限下二维色散安德森模型的全局动力学

作者: Ruoyuan Liu, Nikolay Tzvetkov

类别: math.AP, math.PR

发布日期: 2025-11-02

arXiv ID: 2511.00971v2

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

摘要翻译

中文标题: 大环面极限下二维色散安德森模型的全局动力学

摘要翻译: 我们继续研究二维色散安德森模型（DAM），即具有乘性空间白噪声的非线性薛定谔方程。对该模型，Visciglia 与第二作者（2023年）已建立了周期域上的整体适定性，而全空间上的整体适定性则由 Debussche、Visciglia 及本文作者（2024年）建立。本文证明，在适当的初值条件以及噪声的适当周期化程序下，当周期趋于无穷时，DAM 的周期解的整体动力学在局部区域函数空间中收敛于全空间上 DAM 的动力学。在附录中，我们也讨论了抛物型安德森模型的类似问题。

15. The Kawahara equation on star graphs

星图上的Kawahara方程

作者: Márcio Cavalcante, Chulkwang Kwak, José Marques

类别: math.AP, 35Q53, 35R02, 76B15

发布日期: 2025-11-08

arXiv ID: 2511.06007v1

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

摘要翻译

中文标题: 星图上的Kawahara方程

摘要翻译: 本文建立了与一般度量星图上Kawahara方程相关的柯西问题的局部适定性。首先，我们确定了一类合适的边界条件，使得线性方程具有良好的动力学行为。随后，我们采用Cavalcante和Kwak（GAFA 1993）在半直线上研究Kawahara方程时所使用的强迫算子方法，结合Bourgain（NoDEA 2020）的Fourier限制方法，推导出相应的积分公式。本工作有望推广至星图上的其他五阶非线性色散方程。

16. On the exchange of stability for the subcritical laminar flow

关于亚临界层流稳定性交换的研究

作者: Vladimir Kozlov, Oleg Motygin

类别: math.AP, 35Q35, 35B32, 76B15, 76D07

发布日期: 2025-11-08

arXiv ID: 2511.05942v1

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

摘要翻译

中文标题: 关于亚临界层流稳定性交换的研究

摘要翻译:
我们考虑在二维渠道中由下方平坦刚性底面和上方自由表面所限定的定常水波问题。忽略表面张力的影响，水流具有旋转性且涡量为常数 $$a$$ 。我们研究从亚临界层流出发的一条解析的斯托克斯波分支，其中周期被视为分岔参数。在此分支上，弗雷歇导数的第一个特征值始终为负。我们研究的主要对象是该分支在层流附近处弗雷歇导数的第二个特征值。这是一个小特征值，其正号对应于稳定性交换原理的成立，而负号则表示该原理的失效。我们分析了该特征值符号对伯努利常数 $$R$$ （或层流的深度 $$d$$ ）以及常涡量 $$a$$ 的依赖关系。我们证明，对于每个 $$a$$ ，均存在一个临界深度 $$d_0(a)$$ ，使得当 $$d < d_0(a)$$ 时第二个特征值的符号为正，而当 $$d > d_0(a)$$ 时为负。若记 $$d_s(a)$$ 为相应层流中出现驻点时的深度，则当 $$a > 0$$ 时有 $$d_0(a) < d_s(a)$$ ；而当 $$a < -1.01803$$ 时有 $$d_0(a) > d_s(a)$$ 。第二个特征值的符号在研究次谐波分岔时具有重要意义。另一个观察到的性质如下：若第二个特征值的符号为正，则在分岔点附近，分岔曲线上的周期随参数递增而增加；若符号为负，则周期递减。此外，我们通过描述 $$(a,d)$$ 平面上满足形式稳定性性质的区域，验证了该稳定性的成立范围。本文还给出了这些性质的数值图示。

不相关论文（基本信息）

1. Identification of Source Terms in the Ginzburg-Landau Equation from Final Data

基于终值数据识别Ginzburg-Landau方程中的源项

作者: Roberto Morales, Javier-Ramírez-Ganga

类别: math.AP, math.OC, 35Q56, 35R30, 49N45, 65N21

发布日期: 2025-11-10

arXiv ID: 2511.07345v1

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

摘要: In this article, we study an inverse problem consisting in the identification of a space-time dependent source term in the Ginzburg-Landau equation from final-time observations. We adopt a weak-solution framework and analyze Tikhonov’s functional, deriving an explicit gradient formula via an adjoint system and proving its Lipschitz continuity. We then establish existence and uniqueness results for quasi-solutions, and validate the theory with numerical experiments based on iterative methods.

2. Limited-Range Multilinear Off-Diagonal Extrapolation and Weighted Transference Principle

有限范围多线性非对角外推与加权转移原理

作者: Jonas Sauer

类别: math.AP, 42B25, 42B35, 43A15

发布日期: 2025-11-04

arXiv ID: 2511.02139v2

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

摘要: Multilinear $$L^p$$ extrapolation results are established in a limited-range, multilinear, and off-diagonal setting for mixed-norm Lebesgue spaces over $\sigma$ -finite measure spaces. Integrability exponents are allowed in the full range $(0,\infty]$ . We detach the exponents for the weight classes completely from the exponents for the initial and target spaces for the extrapolation except for the basic consistency condition. This enables to cover the full range $(0,\infty]$ for all integrability exponents and provides new insights into the dependency of the extrapolated bounds on the weight characteristic. Certain endpoint results are new even for $\mathbb{R}^d$ . Additionally, in the setting of compact abelian groups, a weighted transference principle is established.

3. Diffusion-Reaction Epidemic Model with a Free Boundary

具有自由边界的扩散-反应传染病模型

作者: Aesol Jeon, Ki-Ahm Lee

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07291v1

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

摘要: This study investigates an SEIS PDE model with a free boundary, which captures the dynamics of epidemic transmission, including diseases like COVID-19. This parabolic PDE system is analyzed in a rotationally symmetric domain, and the existence and uniqueness of the local solution are established through the straightening lemma. Furthermore, the existence and uniqueness of the global solution are established under specific conditions on the diffusion coefficients. Then the model introduces the basic reproductive number, $$R_0$$ , which provides sufficient conditions for determining whether the disease will vanish or spread. Notably, when $$R_0<1$$ , the disease-free equilibrium(DFE) is shown to be globally stable, and when $$R_0>1$$ , the DFE is unstable. Lastly, we investigate the convergence speed of solutions by applying nonlinear elliptic eigenvalue techniques to the associated parabolic PDE system.

4. $$L^p$$ -Sobolev inequalities on minimal submanifolds

极小子流形上的 $$L^p$$ -Sobolev 不等式

作者: Zoltán M. Balogh, Alexandru Kristály, Ágnes Mester

类别: math.AP, math.DG

发布日期: 2024-12-11

arXiv ID: 2412.08408v2

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

摘要: The paper is devoted to proving Allard-Michael-Simon-type $$L^p$$ -Sobolev inequalities $$(p>1)$$ with explicit constants in the setting of Euclidean minimal submanifolds of arbitrary codimension. Our results require separate discussions for the cases $p\geq 2$ and $$1<p<2$$ , respectively. In particular, for $p\geq 2$ , we obtain an asymptotically sharp and codimension-free Sobolev constant. Our argument is based on optimal mass transport theory on Euclidean submanifolds and also provides an alternative, unified proof of the recent isoperimetric inequalities of Brendle (J. Amer. Math. Soc., 2021) and Brendle and Eichmair (Notices Amer. Math. Soc., 2024).

5. Numerical simulations of the Gatenby-Gawlinski model with heterogeneous acid diffusion in one space dimension

一维空间中具有非均匀酸扩散的Gatenby-Gawlinski模型的数值模拟

作者: Chiara Simeoni, Elisa Scanu, Donato Pera, Corrado Mascia

类别: math.AP, 35C07, 35K57, 65M08, 92C15, 92C50

发布日期: 2025-11-10

arXiv ID: 2511.07187v1

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

摘要: In this work, we introduce a variant of the Gatenby-Gawlinski model for acid-mediated tumor invasion in the one-dimensional experimental setting, accounting for heterogeneous diffusion of the lactic acid across the surrounding healthy tissues. Numerical simulations are performed by employing finite volume schemes on staggered cartesian grids, together with explicit time discretization. The effectiveness of such approach is proven by reproducing biologically relevant results like the formation of propagating invasion fronts and the emergence of an interstitial gap between normal and cancerous cells, which is driven by the pH lowering strategy and depends significantly on the non-homogenous diffusion rates. By means of a comparison analysis, we infer that a homogenization phenomenon arises in the long run for appropriate values of the physical parameters, thus paving the way for complex applications to interface diffusion problems of invasive processes.

6. Magnetic Pseudo-differential Operators with Hörmander Symbols Dominated by Tempered Weights

具有受控于缓增权重的Hörmander符号的磁性伪微分算子

作者: Mikkel Hviid Thorn

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

发布日期: 2025-11-10

arXiv ID: 2511.07184v1

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

摘要: We extend the matrix representation of magnetic pseudo-differential operators in a tight Gabor frame from [arXiv:1804.05220, arXiv:2212.12229] to asymmetrical quantizations and smooth symbols dominated by a tempered weight (and not just decay/growth properties in the momentum variables). This leads to new results regarding the symbol calculus of such operators and their Schatten-class properties.

7. Properties of Solutions to the Full Fractional Heat Operator Equation

全分数阶热算子方程解的性质

作者: Lu Haipeng, Yu Mei

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07153v1

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

摘要: In this paper, we consider the following indefinite fully fractional heat equation involving the master operator . Under certain assumptions of the indefinite nonlinearity and its weight, we prove that there is no positive bounded solution, which is based on the monotonicity of the solution along the first direction that is proved by employing the method of moving planes. Besides, if the weight satisfy other conditions, we come to different conclusions according to the behavior of the nonlinearity at infinity. To overcome the difficulties caused by the operator, we lead in some mathematics tools that, as we believe, will be useful in studying problems involving other fractional operators or nonlinearities.

8. Lecture notes on flow equation approach to singular stochastic PDEs

关于奇异随机偏微分方程的流方程方法讲义

作者: Paweł Duch

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

发布日期: 2025-11-10

arXiv ID: 2511.07120v1

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

摘要: The flow equation approach is a robust framework applicable to a broad class of singular SPDEs, including those with fractional Laplacians, throughout the entire subcritical regime. Inspired by Wilson’s renormalization group, this method studies the coarse-grained process, which captures the behaviour of solutions across spatial scales. The corresponding flow equation describes how the nonlinear terms in the effective dynamics evolve with the coarse-graining scale, playing a role analogous to the Polchinski equation in quantum field theory. The renormalization problem is then solved inductively by imposing appropriate boundary conditions on the flow equation.

9. Two quantitative versions of the Nonlinear Carleson Conjecture

非线性Carleson猜想的两个定量版本

作者: Sergey A. Denisov

类别: math.AP, math.CA

发布日期: 2025-05-11

arXiv ID: 2505.06788v2

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

摘要: This note compares two quantitative versions of the Nonlinear Carleson Conjecture (NCC). We provide motivations for our conjectures and show that they both imply the NCC. We discuss the connection to Carleson-Hunt maximal functions and give an SU(1,1) version of Calderon’s theorem.

10. Well-posedness of the focusing stochastic nonlinear Schrödinger equation: $$L^2$$ -critical and supercritical cases

聚焦随机非线性薛定谔方程的适定性： $$L^2$$ -临界与超临界情形

作者: Annie Millet, Svetlana Roudenko

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

发布日期: 2025-11-10

arXiv ID: 2511.07072v1

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

摘要: We study the focusing $$L^2$$ -critical and supercritical stochastic nonlinear Schr"odinger equation subject to additive or multiplicative noise. We investigate global or long time behavior of solutions in $$H^1$$ , which would correspond to global well-posedness in the deterministic case, with either deterministic or random initial data, and establish quantitative information about the well-posedness time, its probability and bounds on the solution in both cases. We then give criteria for finite time blow-up with positive probability for an $$H^1$$ -valued initial data with positive energy in both cases.

11. Abstract boundary delay systems and application to network flow

抽象边界延迟系统及其在网络流中的应用

作者: András Bátkai, Marjeta Kramar Fijavž, Abdelaziz Rhandi

类别: math.AP, math.FA, 47D06 (Primary) 34G10, 93C25, 35R02 (Secondary)

发布日期: 2025-03-11

arXiv ID: 2503.08809v2

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

摘要: This paper investigates the well-posedness and positivity of solutions to a class of delayed transport equations on a network. The material flow is delayed at the vertices and along the edges. The problem is reformulated as an abstract boundary delay equation, and well-posedness is proved by using the Staffans-Weiss theory. We also establish spectral theory for the associated delay operators and provide conditions for the positivity of the semigroup.

12. Global dynamics of chemotaxis-consumption systems with oppositely acting nonlocal terms

具有反向作用非局部项的趋化-消耗系统的全局动力学

作者: Rafael Diaz Fuentes, Fatma Gamze Duzgun, Silvia Frassu, Giuseppe Viglialoro

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06974v1

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

摘要: This paper studies a chemotaxis system where cells move in response to a chemical signal within a confined habitat. The model includes external source terms that combine local and nonlocal growth with dampening effects. The main focus is on conditions under which solutions exist for all time and remain uniformly bounded, preventing cell aggregation. Two types of source terms are considered. In the first case, the structure of the source term ensures that the total cell mass remains controlled over time. In the second case, this mass control is not guaranteed, which can lead to different dynamic behaviors. The results extend previous studies that examined similar systems but with more specific source terms and slightly different chemical dynamics. This work highlights how variations in the reaction terms influence the long-term behavior of the system.

13. Vortex Solutions for A Mixed Boundary-Value Problem in the Abelian-Higgs Model with A Neutral Scalar Field

中性标量场下阿贝尔-希格斯模型中混合边值问题的涡旋解

作者: Guange Su, Xiaosen Han

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

发布日期: 2025-11-10

arXiv ID: 2511.06931v1

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

摘要: Vortices represent a class of topological solitons arising in gauge theories coupled with complex scalar fields, holding significant importance across various domains of modern physics. In this paper we establish the existence of vortex solutions for a mixed boundary-value problem derived from the Abelian-Higgs model incorporating a neutral scalar field, a system recently investigated by Eto, Peterson et al. [7]. By synergistically combining the shooting method with the Schauder fixed-point theorem, we derive sharp analytical criteria that delineate the Abelian vortex phase from the non-Abelian one. We also rigorously establish the monotonicity, uniform boundedness, and precise asymptotic behavior of the vortex profile functions. Our results provide rigorous confirmation of numerical observations regarding the phase boundary between these distinct vortex types.

14. Profile of a Touch-Down solution to a nonlocal MEMS model with critical parameters

具有临界参数的非局部MEMS模型触底解的轮廓分析

作者: Maissâ Boughrara

类别: math.AP, 35K55, 35K67, 35B40

发布日期: 2025-11-10

arXiv ID: 2511.06910v1

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

摘要: This work investigates a mathematical model arising in the study of MEMS devices, described by the following parabolic equation on $[0,T)\times\Omega$ :

\partial_t v = \Delta v + \frac{\lambda}{(1-v)^2\left( 1 + \gamma \int_{\Omega} \frac{1}{1-v}\, dx \right)^{2}} , \qquad 0 \leq v \leq 1,

where $\Omega \subset \mathbb{R}^N$ is a bounded domain and $\lambda, \gamma > 0$ . We construct a solution with a prescribed profile, which quenches in finite time $$T$$ at exactly one interior point $a \in \Omega$ . Moreover, we are able to provide an asymptotic description of the quenching profile. We reformulate the problem as a blow-up problem to utilize the techniques employed in Merle, Zaag in 1997, Duong, Zaag in 2019 and Duong, Ghoul, Kavallaris, Zaag 2022. The proof proceeds through two principal steps: a reduction to a finite-dimensional dynamical system and a classical topological argument employing index theory. The main challenge lies in managing the nonlocal integral term, which generates an additional gradient term when the problem is transformed into the blow-up framework.

15. Asymptotics and periodic dynamics in a negative chemotaxis system with cell lethality

具有细胞致死效应的负趋化系统中的渐近性与周期动力学研究

作者: Federico Herrero-Hervás, Mihaela Negreanu

类别: math.AP, 35B40 (Primary) 35K57, 35K55, 35B10, 35Q92, 92C17 (Secondary)

发布日期: 2025-11-10

arXiv ID: 2511.06889v1

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

摘要: This work studies the following system of parabolic partial differential equations \begin{equation*} \begin{cases} \displaystyle \frac{\partial u}{\partial t} = D\Delta u + \chi \nabla \cdot(u \nabla v) + ru(1-u) - u v, \quad & x \in \Omega, t > 0, \ \displaystyle \frac{\partial v}{\partial t} = \Delta v + a u -v+ f(x,t), \quad & x \in \Omega, t > 0, \end{cases} \end{equation*} modeling the negative chemotaxis interactions between a biological species and a lethal chemical substance that is supplied according to the known function $$f(x,t)$$ . \\ It is shown that if $$f$$ converges to a spatially homogeneous function $\tilde{f}$ in a certain sense, then the solution $$(u,v)$$ satisfies $||u-\tilde{u}||_{L^2(\Omega)} + ||v-\tilde{v}||_{L^2(\Omega)} \to 0 \quad \text{as } t \to \infty,$ where $(\tilde{u},\tilde{v})$ is the solution to the associated ODE system \begin{equation*} \begin{cases} \displaystyle \frac{d \tilde{u}}{dt} = r \tilde{u} (1 - \tilde{u}) - \tilde{u}\tilde{v}, \quad & t>0,\ \displaystyle \frac{d \tilde{v}}{dt} = a\tilde{u} - \tilde{v} + \tilde{f},\quad & t>0. \end{cases} \end{equation*} Some final remarks are given for the case in which $\tilde{f}$ is a time periodic function, and under which hypotheses do $(\tilde{u},\tilde{v})$ inherit this periodicity.

16. A PDE perspective on the flat chain conjecture

平坦链猜想的偏微分方程视角

作者: Andrea Marchese

类别: math.AP, 49q10, 49q20

发布日期: 2025-11-10

arXiv ID: 2511.06822v1

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

摘要: This survey summarizes recent progress on the flat chain conjecture, which asserts the equivalence between metric currents and flat chains with finite mass in the Euclidean space. In particular, we focus on recent work showing that the conjecture is equivalent to a Lipschitz regularity estimate for a certain PDE.

17. Index and small bundle gerbes

指标与小丛格尔布

作者: Varghese Mathai, Richard B. Melrose

类别: math.DG, math.AP

发布日期: 2023-06-22

arXiv ID: 2306.13234v3

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

摘要: By a small bundle gerbe we mean a bundle gerbe in the sense of Murray defined on a smooth, finite-dimensional, fibre bundle over a manifold. We construct such gerbes over compact oriented aspherical 3-manifolds, as well as in higher dimensions, generalizing the construction of decomposable bundle gerbes in earlier work with Singer. For these small bundle gerbes there is a direct index map given in terms of either fibrewise pseudodifferential operators, or more conveniently fibrewise semiclassical smoothing operators, twisted by the simplicial line bundle. We prove the Atiyah-Singer type theorem that this realizes the push-forward into twisted K-theory. We also give an application via the index of projective families of Spin_c Dirac operators, to show the existence of obstructions to metrics with large positive scalar curvature.

18. Segregated solutions for nonlinear Schrödinger systems with sublinear coupling terms

具有次线性耦合项的非线性薛定谔系统的分离解

作者: Qing Guo, Chengxiang Zhang

类别: math.AP, 35J47, 35B20

发布日期: 2025-11-10

arXiv ID: 2511.06671v1

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

摘要: We establish the existence of infinitely many nonnegative, segregated solutions for the sublinearly coupled Schr"odinger system

\begin{cases} -\Delta u + K_1(x)u = \mu u^{p-1} + \beta u^{\sigma_1}v^{\sigma_2+1} \\ -\Delta v + K_2(x)v = \nu v^{p-1} + \beta u^{\sigma_1+1}v^{\sigma_2} \end{cases} \quad x \in \mathbb{R}^N

where $N \geq 2$ , $p \in (2,2^*)$ , $$2^* = 2N/(N-2)$$ ( $2^* = \infty$ if $$N=2$$ ), $$K_j$$ are radial potentials, $\mu, \nu > 0$ , $\beta \in \mathbb{R}$ , and critically $\sigma_j \in (0,1)$ . The sublinear coupling exponents $\sigma_j$ introduce fundamental challenges due to nonsmooth nonlinearities and singularities in standard reduction methods. To overcome this, we develop an enhanced Lyapunov-Schmidt reduction framework. By recasting the problem within a specially constructed metric space of local minimizers for an outer boundary value problem, we derive sharp a priori estimates enabling contraction mapping arguments. This approach circumvents the limitations of classical methods for sublinear couplings. We further uncover a novel “dead core” phenomenon: solutions $(u_\ell, v_\ell)$ exhibit non-strict positivity with topological segregation. Specially, for $$N=2$$ and large integers $\ell$ , there exist radii $$0 < R_1 < R_2$$ such that $\text{supp } u_\ell \subset B_{R_2}(0)$ , $\text{supp } v_\ell \subset \mathbb{R}^N \setminus B_{R_1}(0)$ , and $u_\ell + v_\ell \to 0$ uniformly in $B_{R_2}(0) \setminus B_{R_1}(0)$ as $\ell \to \infty$ . Our methodology provides a versatile framework for handling nonsmooth nonlinearities in reduction techniques.

19. Obstructions to prescribed Q-curvature of complete conformal metrics on $\mathbb{R}^n$

关于 $\mathbb{R}^n$ 上完全共形度量的预定 $$Q$$ -曲率的障碍

作者: Mingxiang Li

类别: math.DG, math.AP, 53C18, 58J90

发布日期: 2024-01-07

arXiv ID: 2401.03457v2

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

摘要: We provide some obstructions to the prescribed Q-curvature problem for the complete conformal metrics on $\mathbb{R}^n$ with finite total Q-curvature. One of them is a Bonnet-Mayer type theorem with respect to Q-curvature. Others are related to the decay rate of the prescribed functions.

20. Global existence for the relativistic Vlasov-Poisson system in a two-dimensional bounded domain

二维有界区域中相对论性Vlasov-Poisson系统的整体存在性

作者: Yanmin Mu, Dehua Wang

类别: math.AP, 35A05, 35B65, 78A35

发布日期: 2025-11-10

arXiv ID: 2511.06595v1

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

摘要: In this paper, we prove the global existence of solutions to the relativistic Vlasov-Poisson system for general initial data in convex bounded domains of two space dimensions, assuming the specular reflection boundary conditions for the distribution density. The boundary conditions for the electric potential are considered in two cases: Neumann boundary conditions and homogeneous Dirichlet boundary conditions. The core ideas involve constructing suitable velocity lemmas and applying geometric techniques. In the two-dimensional case, it is crucial to select the arc length as the parameter of the curve and to further combine this with the Frenet-Serret formulas, enabling us to effectively describe the distribution density equation near the boundary and thus establishing a vital connection in the geometric representation.

21. Solutions of Second Order Schrödinger Wave Equations Near Static Black Holes and Strong Singularities of the Potentials

静态黑洞及势能强奇点附近二阶薛定谔波动方程的解

作者: Igor M. Oliynyk

类别: math.AP, 35A21, 35B30, 35D30, 58J45, 83C57

发布日期: 2025-05-20

arXiv ID: 2505.14934v3

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

摘要: We consider a linear Schr"odinger operator $H = -\Delta + V$ with a strongly singular potential $$V$$ not bounded from below on a non-compact incomplete Riemannian manifold $$M$$ . We assume that the negative part of potential $V_{-}$ is measurable, and it does not necessarily belong to either local Kato or Stummel classes, and we define new geometric conditions on the growth of $V_{-}$ in a special $\textit{range control neighborhood (RCN)}$ such that $$H$$ is semibounded from below on functions compactly supported in these neighborhoods. We define RCN by means of $\textit{an inner time metric}$ which estimates the minimal time for a classical particle to travel between any two points on $$M$$ , and we assume that $$M$$ is complete w.r.t. this metric, i.e. the potential $$V$$ is classically complete on $$M$$ . For the corresponding Cauchy problem of the wave equation $u_{tt} + Hu = 0$ , we define locally a Lorentzian metric such that its light cone is formed along the minimizing curves with respect to the inner time metric, where both an energy inequality and uniqueness of solutions hold. Inversely, for well-known Lorentzian metrics of static black holes - Schwarzschild, Reissner-Nordstr"om, and de Sitter metrics

we study the wave equations for the corresponding Schr"odinger operators, and we show that the event horizons of these black holes belong to the RCNs of infinity w.r.t. the inner time metrics, and that all solutions of the mixed problems stay in these neighborhoods indefinitely long.

22. Well-posedness for a class of parabolic equations with singular-degenerate coefficients

一类具有奇性-退化系数的抛物型方程的适定性

作者: Junyuan Fang, Tuoc Phan

类别: math.AP, 35B05, 35K10, 35B45, 35J15

发布日期: 2025-10-22

arXiv ID: 2510.20051v2

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

摘要: This paper studies a class of linear parabolic equations with measurable coefficients in divergence form whose volumetric heat capacity coefficients are assumed to be in some Muckenhoupt class of weights. As such, the coefficients can be degenerate, singular, or both degenerate and singular. A class of weighted parabolic cylinders with a non-homogeneous quasi-distance function, and a class of weighted parabolic Sobolev spaces intrinsically suitable for the class of equations are introduced. Under some smallness assumptions on the mean oscillations of the coefficients, regularity estimates, existence, and uniqueness of weak solutions in the weighted Sobolev spaces are proved. To achieve the results, we apply the level-set method introduced by Caffarelli and Peral. Several weighted inequalities and a weighted Aubin-Lions compactness theorem for sequences in weighted parabolic Sobolev spaces are established.

薄膜及相关演化方程强解趋向自相似性的改进平衡速率

作者: Mario Bukal

类别: math.AP, 35B40, 35K65, 35Q35, 26D10

发布日期: 2025-11-09

arXiv ID: 2511.06553v1

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

摘要: This paper investigates the asymptotic behavior of strong solutions to a family of nonlinear fourth-order evolution equations on the real line, with particular focus on the thin-film equation $\partial_tu = -(uu_{xxx})_x$ . The method builds on the framework introduced by Carrillo and Toscani (Nonlinearity 27 (2014), 3159) for second-order nonlinear diffusion equations - by introducing a time-dependent rescaling that preserves the second moment, we establish sharp convergence rates toward the steady state in terms of the relative R'enyi entropy. Compared to rates derived from the dissipation of the classical relative entropy, this approach yields improved estimates at early and intermediate times, and consequently a sharper convergence in the $$L^1$$ -norm. The method is developed at a formal level for the family of fourth-order equations, including the well-known Derrida-Lebowitz-Speer-Spohn (DLSS) equation, but can be rigorously justified for strong solutions of the thin-film equation.

24. Large time behavior of solution to a parabolic-elliptic chemotaxis system with weak singular sensitivity and logistic kinetics: Boundedness, persistence, stability

具有弱奇异敏感性和Logistic动力学的抛物-椭圆型趋化系统解的长时间行为：有界性、持续性与稳定性

作者: Halil ibrahim Kurt

类别: math.AP, math.DS

发布日期: 2024-11-24

arXiv ID: 2411.15852v2

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

摘要: This paper deals with the long-term behavior of positive solutions for the following parabolic-elliptic chemotaxis competition system with weak singular sensitivity and logistic source \begin{equation} \label{abstract-eq} \begin{cases} u_t=\Delta u-\chi \nabla\cdot (\frac{u}{v^{\lambda}} \nabla v) +ru- \mu u^2, \quad &x\in \Omega,\cr 0=\Delta v- \alpha v +\beta u,\quad &x\in \Omega, \cr \frac{\partial u}{\partial \nu}=\frac{\partial v}{\partial \nu}=0,\quad &x\in\partial\Omega, \end{cases}, \end{equation} where $\Omega \subset \mathbb{R}^N (N \ge 2)$ is a smooth bounded domain, the parameters $\chi,\, r, \, \mu, \, \alpha,\,\beta$ are positive constants and $\lambda \in (0,1).$ In this article, for all suitably smooth initial data $u_0\in C^0(\bar\Omega)$ with $u_0 \not \equiv 0,$ it has been proven that: First, there exists $\mu > \mu_1^*(p,\lambda,\chi,\beta)$ such that any globally defined positive solution is $L^p(\Omega)$ -bounded with $p \ge 2.$ Next, there exists $\mu > \mu_2^*(N,\lambda,\chi,\beta)$ such that any globally defined classical solutions is globally bounded. Third, there exists $\mu > \mu_3^*(N,\lambda,\chi,\beta)$ such that any globally defined positive solution is uniformly bounded above and below eventually by some positive constants that are independent of its initial function $$u_0.$$ Last, there exists $\mu > \mu_4^*(N,\lambda,\chi,\alpha,\beta,r,\Omega)$ such that any globally bounded classical solution to system (0.1) exponentially converges to the constant steady state $(\frac{r}{\mu},\frac{\beta}{\alpha}\frac{r}{\mu}).$

25. Improved regularity for a nonlocal dead-core problem

一类非局部带死核问题的正则性改进

作者: Disson dos Prazeres, Rafayel Teymurazyan, José Miguel Urbano

类别: math.AP, 35R09, 35J60, 35B65, 35B53

发布日期: 2025-04-13

arXiv ID: 2504.09557v2

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

摘要: We obtain improved regularity results for solutions to a nonlocal dead-core problem at branching points. Our approach, which does not rely on the maximum principle, introduces a new strategy for analyzing two-phase problems within the local framework, an area that remains largely unexplored.

26. A general comparison principle for the pluripotential complex Monge-Ampère flow

关于复多势Monge-Ampère流的广义比较原理

作者: Bowoo Kang

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

发布日期: 2025-11-09

arXiv ID: 2511.06412v1

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

摘要: We prove a comparison principle for the pluripotential complex Monge-Amp`ere flows for the right-hand side of the form $dt \wedge d\mu$ where $d\mu$ is dominated by a Monge-Amp`ere measure of a bounded plurisubharmonic function. As a consequence, we obtain the uniqueness of the weak solution to the pluripotential Cauchy-Dirichlet problem. We also study the long-term behavior of the solution under some assumption.

27. The relative index theorem and a characterization of Fredholm operators

相对指标定理与Fredholm算子的一个刻画

作者: Magnus Fries

类别: math.KT, math.AP, math.FA, math.OA, math.SP, 19K56

发布日期: 2025-11-09

arXiv ID: 2511.06375v1

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

摘要: We extend the relative index theorem on non-compact manifolds to encompass a wide variety of hypoelliptic differential operators of arbitrary order, demonstrating that the change in index when changing a differential operator locally can be calculated locally. We also show that the notion of invertibility at infinity (and coercive at infinity) is not only sufficient condition for an operator to be Fredholm but also necessary, resulting in a general geometric characterization of Fredholmness. This characterization connects to a model for unbounded $$KK$$ -theory which assumes the operator to be Fredholm instead of having (locally) compact resolvent, and thus provides a convenient tool for index theory on non-compact spaces.

28. Nonnegative cross-curvature in infinite dimensions: synthetic definition and spaces of measures

无限维中的非负交叉曲率：合成定义与测度空间

作者: Flavien Léger, Gabriele Todeschi, François-Xavier Vialard

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

发布日期: 2024-09-26

arXiv ID: 2409.18112v3

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

摘要: Nonnegative cross-curvature (NNCC) is a geometric property of a cost function defined on a product space that originates in optimal transportation and the Ma-Trudinger-Wang theory. Motivated by applications in optimization, gradient flows and mechanism design, we propose a variational formulation of nonnegative cross-curvature on c-convex domains applicable to infinite dimensions and nonsmooth settings. The resulting class of NNCC spaces is closed under Gromov-Hausdorff convergence and for this class, we extend many properties of classical nonnegative cross-curvature: stability under generalized Riemannian submersions, characterization in terms of the convexity of certain sets of c-concave functions, and in the metric case, it is a subclass of positively curved spaces in the sense of Alexandrov. One of our main results is that Wasserstein spaces of probability measures inherit the NNCC property from their base space. Additional examples of NNCC costs include the Bures-Wasserstein and Fisher-Rao squared distances, the Hellinger-Kantorovich squared distance (in some cases), the relative entropy on probability measures, and the 2-Gromov-Wasserstein squared distance on metric measure spaces.

29. Liouville results for supersolutions of fractional $$p$$ -Laplacian equations with gradient nonlinearities

关于具梯度非线性的分数阶 $$p$$ -Laplacian 方程超解的Liouville型结果

作者: Mousomi Bhakta, Anup Biswas, Aniket Sen

类别: math.AP, 5B53, 35J60, 35J92, 35J70

发布日期: 2025-11-09

arXiv ID: 2511.06334v1

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

摘要: We prove that any nonnegative viscosity solution of the inequality

(-\Delta_p)^s u(x) \geq u^{t} |\nabla u|^{m}\quad \text{ in }\; \mathbb{R}^N,\; N\geq 2,

must be constant. This result holds for parameters $p\in (1, \infty), s\in (0, 1)$ , $t, m\geq 0$ , satisfying

$$ t (N-sp) + m(N-(sp-p+1)) < N(p-1), $$

with the additional condition that either $m\leq p-1$ if $$p-1<sp$$ , or $$m<sp$$ if $p-1\geq sp$ .

30. Stability for an inverse flux and an inverse boundary coefficient problems

关于一个逆通量与逆边界系数问题的稳定性研究

作者: Mourad Choulli, Shuai Lu, Hiroshi Takase

类别: math.AP

发布日期: 2025-02-21

arXiv ID: 2502.15406v2

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

摘要: We establish both Lipschitz and logarithmic stability estimates for an inverse flux problem and subsequently apply these results to an inverse boundary coefficient problem. Furthermore, we demonstrate how the stability inequalities derived for the inverse boundary coefficient problem can be utilized in solving an inverse corrosion problem. This involves determining the unknown corrosion coefficient on an inaccessible part of the boundary based on measurements taken on the accessible part of the boundary.

31. The emergence of nonlinear Jeans-type instabilities for quasilinear wave equations. II: Generalizations

拟线性波动方程的非线性 Jeans 型不稳定性之产生。II：推广

作者: Chao Liu, Yiqing Shi

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06289v1

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

摘要: This work extends the previous work by the first author [arXiv:2409.02516] and [Math. Ann. 393 (2025), 317-363], analyzing the long-term behavior of solutions to a broader class of quasilinear wave equations with parameter $1<\mathsf{a}\leq30$ and $\frac{1}{3}\leq\mathsf{b}\leq\frac{2}{3}$ : \begin{equation*} \partial^2_t \varrho- \biggl( \frac{ \mathsf{m}^2 (\partial_{t}\varrho )^2}{(1+\varrho )^2} + 4(\mathsf{k}-\mathsf{m}^2)(1+\varrho )\biggr) \Delta \varrho = F(t,\varrho,\partial_{\mu} \varrho) \end{equation*} where $$F$$ is given by \begin{equation*} F(t,\varrho,\partial_{\mu} \varrho):= \mathsf{b} \varrho (1+ \varrho ) -(\mathsf{a}-1) \partial_{t}\varrho

\frac{4}{3} \frac{(\partial_{t}\varrho )^2}{1+\varrho } + \biggl(\mathsf{m}^2 \frac{ (\partial_{t}\varrho )^2}{(1+\varrho )^2} + 4(\mathsf{k}-\mathsf{m}^2) (1+\varrho ) \biggr) q^i \partial_{i}\varrho - \mathtt{K}^{ij} \partial_{i}\varrho\partial_{j}\varrho . \end{equation*} The results demonstrate that for this extensive family of quasilinear wave equations satisfying $1<\mathsf{a}\leq30$ and $\frac{1}{3}\leq\mathsf{b}\leq\frac{2}{3}$ , self-increasing blowup solutions also exist, and self-increasing singularities emerge at certain future endpoints of null geodesics provided the inhomogeneous perturbations of data are sufficiently small.

32. Non-Radial Solution Structures for Quasilinear Hamilton–Jacobi–Bellman Equations in Bounded Settings

有界区域中拟线性Hamilton–Jacobi–Bellman方程的非径向解结构

作者: Dragos-Patru Covei

类别: math.AP, math.OC

发布日期: 2025-11-09

arXiv ID: 2511.06277v1

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

摘要: We study quasilinear Hamilton–Jacobi–Bellman equations on bounded smooth convex domains. We show that the quasilinear Hamilton–Jacobi–Bellman equations arise naturally from stochastic optimal control problems with exit-time costs. The PDE is obtained via dynamic programming applied to controlled It^{o} diffusions, providing both a probabilistic interpretation and a rigorous derivation. Our result establishes existence and uniqueness of positive classical solutions under sub-quadratic growth conditions on the source term. The constructive proofs, based on monotone iteration and barrier techniques, also provide a framework for algorithmic implementation with applications in production planning and image restoration. We provide complete detailed proofs with rigorous estimates and establish the connection to stochastic control theory through the dynamic programming principle.

33. Inverse problem for fractional Schrödinger equations with drift on closed Riemannian manifolds

具有漂移项的分数阶薛定谔方程在闭黎曼流形上的反问题

作者: Tianyu Cai, Xi Chen

类别: math.AP

发布日期: 2025-08-23

arXiv ID: 2508.16879v3

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

摘要: This paper is concerned about the inverse coefficient problems of variable-coefficient fractional Schr"{o}dinger equations with drift on connected closed Riemannian manifolds. We prove that the knowledge of the underlying equation of order $\alpha\in (\frac{1}{2},1)$ on any non-empty open subset of the underlying manifold determines the Riemannian metric, the drift and the potential, simultaneously and uniquely, up to a gauge transformation, under the same geometric assumptions on the observation set as in \cite{feizmohammadi2024calderonproblemfractionalschrodinger}. The method of proof is based on that of \cite{feizmohammadi2024calderonproblemfractionalschrodinger} for fractional Schr"{o}dinger operators, with the incorporation of the Runge approximation to recover the drift term.

34. Radial symmetry of positive solutions to quasilinear Hardy-Sobolev doubly critical systems

正解的径向对称性研究：拟线性Hardy-Sobolev双重临界系统

作者: Laura Baldelli, Francesco Esposito, Rafael Lopez-Soriano, Berardino Sciunzi

类别: math.AP, 35J61, 35B50, 35B06, 35J47,

发布日期: 2025-11-08

arXiv ID: 2511.06071v1

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

摘要: The aim of this paper is to prove radial symmetry results for positive weak solutions with finite energy to the following quasilinear doubly critical system \begin{equation} \begin{cases} -\Delta_p u,=\gamma \frac{u^{p-1}}{|x|^p} + u^{p^-1}+ \nu \alpha u^{\alpha-1} v^\beta & \text{in}\quad \mathbb{R}^n \ -\Delta_p v,=\gamma \frac{v^{p-1}}{|x|^p} + v^{p^-1}+ \nu \beta u^\alpha v^{\beta-1} & \text{in}\quad\mathbb{R}^n, \end{cases} \end{equation} where $$1<p<n$$ , $\gamma \in [0, \Lambda_{n,p})$ with $\Lambda_{n,p} = \left[(n-p)/p\right]^p$ , $\alpha, \beta > 1$ such that $\alpha

\beta = p^*=np/(n-p) $$ and $$ \nu>0$.

35. Asymptotic behavior of solutions to a space fractional diffusion equation

一个空间分数阶扩散方程解的渐近行为研究

作者: Barbara Łupińska, Piotr Rybka

类别: math.AP, 35R11 35A0

发布日期: 2025-11-08

arXiv ID: 2511.06030v1

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

摘要: We improve the time decay estimates of solutions to the one-dimensional fractional diffusion equation involving the Caputo derivative. The equation is considered on the half-line. Depending on the boundary condition, we show that solutions converge in $$L^p$$ , $$p>1$$ to a multiple of the self-similar solutions or decay to zero. The convergence rate is provided.

36. Compact embeddings of Bessel Potential Spaces

贝塞尔位势空间的紧嵌入

作者: José C. Bellido, Javier Cueto, Guillermo García-Sáez

类别: math.FA, math.AP

发布日期: 2025-06-02

arXiv ID: 2506.01677v3

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

摘要: Bessel potential spaces have gained renewed interest due to their robust structural properties and applications in fractional partial differential equations (PDEs). These spaces, derived through complex interpolation between Lebesgue and Sobolev spaces, are closely related to the Riesz fractional gradient. Recent studies have demonstrated continuous and compact embeddings of Bessel potential spaces into Lebesgue spaces. This paper extends these findings by addressing the compactness of continuous embeddings from the perspective of abstract interpolation theory. We present three distinct proofs, leveraging compactness results, translation estimates, and the relationship between Gagliardo and Bessel spaces. Our results provide a deeper understanding of the functional analytic properties of Bessel potential spaces and their applications in fractional PDEs.

37. A PDE Perspective on Generative Diffusion Models

生成扩散模型的偏微分方程视角

作者: Kang Liu, Enrique Zuazua

类别: math.OC, cs.AI, math.AP, 34D05, 35B35, 35Q68, 35Q84, 68T99

发布日期: 2025-11-08

arXiv ID: 2511.05940v1

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

摘要: Score-based diffusion models have emerged as a powerful class of generative methods, achieving state-of-the-art performance across diverse domains. Despite their empirical success, the mathematical foundations of those models remain only partially understood, particularly regarding the stability and consistency of the underlying stochastic and partial differential equations governing their dynamics. In this work, we develop a rigorous partial differential equation (PDE) framework for score-based diffusion processes. Building on the Li–Yau differential inequality for the heat flow, we prove well-posedness and derive sharp $$L^p$$ -stability estimates for the associated score-based Fokker–Planck dynamics, providing a mathematically consistent description of their temporal evolution. Through entropy stability methods, we further show that the reverse-time dynamics of diffusion models concentrate on the data manifold for compactly supported data distributions and a broad class of initialization schemes, with a concentration rate of order $\sqrt{t}$ as $t \to 0$ . These results yield a theoretical guarantee that, under exact score guidance, diffusion trajectories return to the data manifold while preserving imitation fidelity. Our findings also provide practical insights for designing diffusion models, including principled criteria for score-function construction, loss formulation, and stopping-time selection. Altogether, this framework provides a quantitative understanding of the trade-off between generative capacity and imitation fidelity, bridging rigorous analysis and model design within a unified mathematical perspective.

38. On geometry of $Q^{(2k)}_g$ -curvature

关于 $Q^{(2k)}_g$ -曲率的几何研究

作者: Mingxiang Li, Juncheng Wei, Xingwang Xu

类别: math.DG, math.AP, 53C18, 58J90

发布日期: 2025-06-25

arXiv ID: 2506.20165v3

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

摘要: The main purpose of current article is to study the geometry of $$Q$$ -curvature. For simplicity, we start with a simple model: a complete and conformal metric $g=e^{2u}|dx|^2$ on $\mathbb{R}^n$ . Assuming that the metric $$g$$ has non-negative $$nth$$ -order $$Q$$ -curvature and non-negative scalar curvature, we show that the Ricci curvature is non-negative. If we further assume that the isoperimetric ratio near the end is positive, we show that the growth rate of $$kth$$ elementary symmetric function $\sigma_k(g)$ of Ricci curvature over geodesic ball of radius $$r$$ is at most polynomial in $$r$$ with order $$n-2k$$ for all $1 \leq k \leq \frac{n-2}{2}$ . Similarly, we are able to show that the same growth control holds for $$2kth$$ -order $$Q$$ -curvature. Finally, we show that for $$k=1$$ or $$2$$ , the gap theorems for $Q^{(2k)}_g$ hold true.

39. Green functions for the heat and Laplace equations with dynamical boundary conditions in a ball

具有动力边界条件的球域中热方程与拉普拉斯方程的格林函数

作者: Xuzhou Yang

类别: math.AP, Primary 35K05, Secondary 35K08, 35K20, 35E05, 35J08

发布日期: 2025-03-12

arXiv ID: 2503.09413v3

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

摘要: The green functions for the heat and Laplace equations with dynamical boundary conditions in a ball are studied. First, the green functions of the Laplace equation with a dynamical boundary condition are given, and the properties of related heat kernels are discussed. Then using these ingredients, two complementary approximations to the heat equation with a dynamical boundary condition in a ball are constructed, including an approximation of green function and an approximation of solution. Moreover, the green function of the heat equation with a dynamical boundary condition is implicitly presented by a series of eigenfunctions.

40. Stability of variable-coefficient parabolic equations in non-cylindrical domains

非柱状区域中变系数抛物型方程的稳定性

作者: Lingyang Liu

类别: math.AP

发布日期: 2025-11-08

arXiv ID: 2511.05783v1

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

摘要: This paper addresses the stability of parabolic equations with space-time-dependent coefficients in non-cylindrical domains. We establish $L^\infty$ - and $$L^2$$ -norm estimates for solutions of the system. Based on these estimates, we investigate the stability of solutions for specific boundary curves. Unlike in cylindrical domains, the energy of solutions to such equations may not exhibit exponential decay. The techniques used in the proof rely on the weighted multiplier method and the comparison principle.

具有类Bach平坦性的梯度收缩Ricci孤立子的刚性及相关变分公式

作者: James Siene

类别: math.DG, math.AP

发布日期: 2025-11-08

arXiv ID: 2511.05774v1

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

摘要: The classical Bach tensor in four dimensions can be expressed as a linear combination of two independent, symmetric, divergence-free, quadratic in curvature tensors U and V. Several classification results for gradient-shrinking Ricci solitons have been obtained under the assumption that the Bach tensor vanishes. We define a Bach-like tensor to be any other linear combination of U and V. We prove that, except along the Bach line, the vanishing of a Bach-like tensor forces a four-dimensional complete gradient-shrinking Ricci soliton to be either Einstein or isometric to the Gaussian soliton. Finally, we show that Bach-like tensors arise as Euler-Lagrange equations of a two-parameter family of quadratic curvature functionals and compute the corresponding first and second variation formulas.

42. Plankton-Oxygen Dynamics in the Context of Climate Change: A Fractional Model with A Probability Density Function Approach

气候变化背景下的浮游植物-氧气动力学：基于概率密度函数方法的分数阶模型

作者: Mahmoud M. El-Borai, Wagdy G. El-Sayed, Mahmoud A. Habib

类别: math.AP, math.DS

发布日期: 2025-11-07

arXiv ID: 2511.05742v1

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

摘要: We analyze how climate change affects marine oxygen production by modeling plankton–oxygen dynamics with a fractional-order nonlinear system and establishing rigorous conditions for the model’s well-posedness. We formulate a three-dimensional system $d^\alpha x(t)/dt^\alpha = A x(t) + f(x(t))$ , where $$A$$ is a diagonal $3\times 3$ matrix and $$f$$ is nonlinear. We (i) rigorously state the model, (ii) derive a Lipschitz constant for $$f$$ under suitable assumptions, and (iii) prove existence, uniqueness, and continuous dependence on initial data using a fractional formula with a probability density kernel and a generalized Gr"onwall inequality. Under the stated conditions, $$f$$ satisfies a computable Lipschitz bound that yields existence and uniqueness of solutions for the fractional system, and the solutions depend continuously on initial conditions, establishing the well-posedness of the plankton–oxygen model. We introduce a fractional, PDF-kernel–based framework for plankton–oxygen dynamics and provide general proofs of well-posedness via a generalized Gr"onwall approach, capturing memory effects that classical integer-order models miss. These results justify numerical simulations and sensitivity analyses of fractional marine-ecosystem models, providing a sound basis for testing mitigation and management strategies affecting oxygen dynamics and supporting evidence-based policies for protecting marine ecosystems under global warming.

43. A frequency function approach to quantitative unique continuation for elliptic equations

一种基于频率函数的椭圆方程定量唯一延拓方法

作者: Blair Davey

类别: math.AP, 35B60, 35J10

发布日期: 2025-06-23

arXiv ID: 2506.19130v2

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

摘要: We investigate the quantitative unique continuation properties of solutions to second-order elliptic equations with lower-order terms. In particular, we establish quantitative forms of the strong unique continuation property for solutions to generalized Schr"odinger equations of the form $- \text{div}(A \nabla u) + W \cdot \nabla u + V u = 0$ , where we assume that $$A$$ is bounded, elliptic, symmetric, and Lipschitz continuous, while $$W$$ belongs to $L^\infty$ and $$V$$ belongs to $$L^p$$ for some $p \ge n$ . We also study the global unique continuation properties of solutions to these equations, establishing results that are related to Landis’ conjecture concerning the optimal rate of decay at infinity. Versions of the theorems in this article have been previously proved using Carleman estimates, but here we present novel proof techniques that rely on frequency functions.

44. Asymptotic Behaviour of fractional seminorms

分数阶半范数的渐近行为

作者: Ahmed Dughayshim

类别: math.AP, math.FA, 42B35

发布日期: 2024-08-29

arXiv ID: 2408.16894v4

链接: http://arxiv.org/abs/2408.16894v4

摘要: We obtain asymptotically sharp identification of fractional Sobolev spaces $W^{s}_{p,q}$ , extension spaces $E^{s}_{p,q}$ , and Triebel-Lizorkin spaces $\dot{F}^s_{p,q}$ . In particular we obtain for $W^{s}_{p,q}$ and $E^{s}_{p,q}$ a stability theory a la Bourgain-Brezis-Mironescu as $s \to 1$ , answering a question raised by Brazke–Schikorra–Yung. Part of the results are new even for $$p=q$$ .

45. Factorization method for the biharmonic scattering problem for an absorbing penetrable obstacle

吸收性可穿透障碍物双调和散射问题的因子分解方法

作者: Rafael Ceja Ayala, Isaac Harris, General Ozochiawaeze

类别: math.AP

发布日期: 2025-11-07

arXiv ID: 2511.05711v1

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

摘要: This work extends the factorization method to the inverse scattering problem of reconstructing the shape and location of an absorbing penetrable obstacle embedded in a thin infinite elastic (Kirchhoff–Love) plate. With the assumption that the plate thickness is small compared to the wavelength of the incident wave, the propagation of flexural perturbations is modeled by the two–dimensional biharmonic wave equation in the frequency domain. Within this setting, we provide a rigorous justification of the factorization method and demonstrate that it yields a binary criterion for distinguishing whether a sampling point lies inside or outside the scattering obstacle, using only the spectral data of the far–field operator. In addition, we numerically analyze the Born approximation for weak scatterers in this biharmonic scattering context and compute the relative error against exact far–field data for sample weak scatterers, thereby quantifying its validity as a limited but useful approximation.

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

1. Tracking Brownian fluid particles in large eddy simulations#

大涡模拟中布朗流体粒子的追踪#

详细分析#

2. On Riemann wave superpositions obtained from the Euler system#

关于从欧拉方程组得到的黎曼波叠加的研究#

详细分析#

$$ \begin{pmatrix} \rho \ p \ u \end{pmatrix}_t

3. Smoothness of Leray solutions for the Navier-Stokes equations#

Navier-Stokes方程Leray解的正则性#

详细分析#

研究对象和背景#

主要定理或主要结果#

定理 1（Leray解的光滑性）#

定理 2（耦合高低频系统的存在性）#

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

a) 核心分析学工具#

b) 技术性难题的应对策略#

与之前工作的比较#

a) 声称的突破与改进#

4. Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions#

二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性#

详细分析#

研究对象和背景#

主要定理或主要结果#

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

a) 核心分析工具#

b) 技术难点与解决技巧#

与之前工作的比较#

a) 突破与改进#

5. Global Strong Solutions to the Three-Dimensional Axisymmetric Compressible Navier-Stokes Equations with Large Initial Data and Vacuum#

具有大初值和真空的三维轴对称可压缩Navier-Stokes方程的整体强解#

详细分析#

研究对象和背景#

主要定理或主要结果#

定理 1.1（整体强解的存在性与指数衰减）#

定理 1.2（整体弱解的存在性）#

定理 1.3（真空初值下的梯度爆炸）#

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

a) 核心分析学工具#

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

与之前工作的比较#

6. Finite time blow-up for a multi-dimensional model of the Kiselev-Sarsam equation#

Kiselev-Sarvasam方程的一个多维模型的有限时间爆破#

详细分析#

研究对象和背景#

主要定理或主要结果#

定理 1.1（局部适定性）#

定理 1.2（有限时间梯度爆破）#

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

a) 核心分析学工具#

b) 技术性难题的处理技巧#

与之前工作的比较#

a) 突破与改进#

7. Co-rotating nearly parallel helical vortices with small cross-section in 3D incompressible Euler equations#

三维不可压缩欧拉方程中具有小截面的共旋近似平行螺旋涡流#

详细分析#

研究对象和背景#

主要定理或主要结果#

定理 1.9 （聚集解的存在性）#

定理 1.1 （N 个等环量共旋螺旋）#

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

与之前工作的比较#

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

1. Convergence of approximate solutions constructed by the finite volume method for the moisture transport model in porous media#

一类多孔介质中湿气输运模型的有限体积法构造近似解的收敛性#

摘要翻译#

2. A note on the fourth-order Schrodinger equation with spatially growing inhomogeneous source term#

关于一类具有空间增长型非齐次源项的四阶薛定谔方程的注记#

摘要翻译#

3. On the Propagation of Regularity of Solutions to the KdV Equation on the positive Half-line#

关于KdV方程在正半直线上解的正则性传播的研究#

摘要翻译#

4. Two-way Coupling of Fluid–Structure Interaction for Elastic Magneto-Swimmers:A Finite Element ALE Approach#

弹性磁驱动微泳体流固双向耦合模拟：一种有限元任意拉格朗日—欧拉方法#

摘要翻译#

5. Hydrodynamic limit for compressible Navier-Stokes-Vlasov-Poisson equations with local alignment force#

具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限#

摘要翻译#

6. Modified Scattering for Nonlocal Nonlinear Schrödinger Equations#

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

1. Tracking Brownian fluid particles in large eddy simulations

大涡模拟中布朗流体粒子的追踪

详细分析

2. On Riemann wave superpositions obtained from the Euler system

关于从欧拉方程组得到的黎曼波叠加的研究

详细分析

3. Smoothness of Leray solutions for the Navier-Stokes equations

Navier-Stokes方程Leray解的正则性

详细分析

研究对象和背景

主要定理或主要结果

定理 1（Leray解的光滑性）

定理 2（耦合高低频系统的存在性）

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

a) 核心分析学工具

b) 技术性难题的应对策略

与之前工作的比较

a) 声称的突破与改进

4. Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions

二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性

详细分析

研究对象和背景

主要定理或主要结果

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

a) 核心分析工具

b) 技术难点与解决技巧

与之前工作的比较

a) 突破与改进

5. Global Strong Solutions to the Three-Dimensional Axisymmetric Compressible Navier-Stokes Equations with Large Initial Data and Vacuum

具有大初值和真空的三维轴对称可压缩Navier-Stokes方程的整体强解

详细分析

研究对象和背景

主要定理或主要结果

定理 1.1（整体强解的存在性与指数衰减）

定理 1.2（整体弱解的存在性）

定理 1.3（真空初值下的梯度爆炸）

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

a) 核心分析学工具

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

与之前工作的比较

6. Finite time blow-up for a multi-dimensional model of the Kiselev-Sarsam equation

Kiselev-Sarvasam方程的一个多维模型的有限时间爆破

详细分析

研究对象和背景

主要定理或主要结果

定理 1.1（局部适定性）

定理 1.2（有限时间梯度爆破）

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

a) 核心分析学工具

b) 技术性难题的处理技巧

与之前工作的比较

a) 突破与改进

7. Co-rotating nearly parallel helical vortices with small cross-section in 3D incompressible Euler equations

三维不可压缩欧拉方程中具有小截面的共旋近似平行螺旋涡流

详细分析

研究对象和背景

主要定理或主要结果

定理 1.9 （聚集解的存在性）

定理 1.1 （N 个等环量共旋螺旋）

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

与之前工作的比较

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

1. Convergence of approximate solutions constructed by the finite volume method for the moisture transport model in porous media

一类多孔介质中湿气输运模型的有限体积法构造近似解的收敛性

摘要翻译

2. A note on the fourth-order Schrodinger equation with spatially growing inhomogeneous source term

关于一类具有空间增长型非齐次源项的四阶薛定谔方程的注记

摘要翻译

3. On the Propagation of Regularity of Solutions to the KdV Equation on the positive Half-line

关于KdV方程在正半直线上解的正则性传播的研究

摘要翻译

4. Two-way Coupling of Fluid–Structure Interaction for Elastic Magneto-Swimmers:A Finite Element ALE Approach

弹性磁驱动微泳体流固双向耦合模拟：一种有限元任意拉格朗日—欧拉方法

摘要翻译

5. Hydrodynamic limit for compressible Navier-Stokes-Vlasov-Poisson equations with local alignment force

具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限

摘要翻译

6. Modified Scattering for Nonlocal Nonlinear Schrödinger Equations

非局部非线性薛定谔方程的修正散射