生成时间: 2026年01月01日 04:08:53

重点关注论文数量: 3

了解领域论文数量: 10

不相关论文数量: 12

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

1. 多维非等熵可压缩Navier-Stokes方程任意大数据的全局球对称经典解

Global spherically symmetric classical solutions for arbitrary large initial data of the multi-dimensional non-isentropic compressible Navier-Stokes equations

作者: Yongteng Gu, Xiangdi Huang

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24799v1

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

详细分析

好的，作为一名专业的学术翻译专家，我将为您该标题的翻译，并解释其中关键术语的考量。

在学术翻译中，精确传达原文的科学含义是首要任务。这个标题涉及了偏微分方程理论的前沿研究，因此每个词的选择都至关重要。

中文标题: 多维非等熵可压缩Navier-Stokes方程任意大数据的全局球对称经典解

术语选择说明:

  • Multi-dimensional (多维): 准确地描述了方程的自变量空间维度。
  • Non-isentropic (非等熵): 这是流体力学中的标准术语，指流动过程中熵是变化的，与“等熵(isentropic)”流动相对。
  • Compressible (可压缩): 指流体密度可以发生变化，是Navier-Stokes方程的一个重要分类。
  • Arbitrary large initial data (任意大数据): 在数学理论中，“任意大的数据”通常意味着初始数据不需要是“小扰动”或“小数据”，这在证明全局解的存在性时是一个很强的条件，表明该理论的鲁棒性。翻译为“任意大数据”直接且准确地传达了这一核心信息。
  • Global (全局): 指解存在于无限时间域上，与“局部”解相对。
  • Spherically symmetric (球对称): 描述了解的几何对称性，这是简化高维方程分析的重要假设。
  • Classical solutions (经典解): 指光滑且满足方程所有条件的解，区别于弱解或其他广义解。

这个翻译力求在忠实原文的基础上，使用数学和物理领域规范、严谨的中文术语，使其完全符合学术论文标题的要求。

1. 研究对象和背景

该论文主要研究一类描述非等熵可压缩粘性浅水运动的偏微分方程组——非等熵可压缩Navier-Stokes方程。这项研究的背景源于一个长期存在的公开问题，即对于多维粘性Saint-Venant系统（即等熵可压缩Navier-Stokes方程的一个特例），在任意大的初始数据下，其全局经典解的存在性。

历史上，浅水方程由Saint-Venant于1871年提出。自此以后，证明该方程组在多维情况下、不受小数据假设限制的全局经典解的存在性，一直是数学流体力学领域一个悬而未决的难题。直到最近，才有突破性进展。该论文正是在此背景下，将研究从等熵情况推广到了更一般的非等熵情况。

该论文研究的方程组是在一个有界区域 $\Omega \subset \mathbb{R}^N$ ($N=2,3$) 中考虑的非等熵可压缩Navier-Stokes方程（对于粘性浅水模型），其形式如下：

$$ \begin{cases} \partial_t \rho + \nabla \cdot (\rho u) = 0, \\ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla P = 2 \nabla \cdot (\rho D(u)), \\ \partial_t s + u \cdot \nabla s = 0. \end{cases} $$

这里 $\rho(x,t)$ 是流体密度，$u(x,t)$ 是速度场，$s(x,t)$ 是熵。压力 $P(\rho, s)$ 是密度和熵的函数，其中状态方程涉及绝热指数 $\gamma > 1$。$D(u) = \frac{1}{2}(\nabla u + (\nabla u)^T)$ 是应变率张量。值得注意的是，这里的粘性系数被设定为 $\mu = 2\rho$ 和 $\lambda = 0$，这满足BD熵（Bresch-Desjardins entropy）关系，是研究中的一个关键结构。

论文主要关注球对称解，即假设解仅依赖于径向坐标 $r = |x|$ 和时间 $t$。在这种对称性假设下，研究区域 $\Omega$ 取为球体 $B_R$。同时，论文考虑了初始-边值问题，初始条件为 $(\rho, \rho u, s)|_{t=0} = (\rho_0, m_0, s_0)$，边界条件为 $\rho u|_{\partial \Omega} = 0$（即无穿透边界条件）。

该研究的核心是证明在上述设定下，对于满足一定正则性（属于索博列夫空间 $H^3(\Omega)$）但幅度任意大的初始数据，存在唯一的全局经典解。经典解要求解本身及其各阶导数具有足够的光滑性（具体定义见论文中的Def 1.1），这比弱解的存在性证明要困难得多。

2. 主要定理或主要结果

论文的核心成果体现在以下两个定理中，分别针对二维和三维情形。

定理 1.1 (二维情况的全局经典解) 假设 $N=2$, $\gamma > 1$，且球对称初始数据 $(\rho_0, u_0, s_0)$ 满足：

$$ 0 < \rho_0 \le \bar{\rho}, \quad 0 < s_0 \le \bar{s}, \quad \frac{\partial_r s_0}{\rho_0} \in L^\infty(\Omega), $$

$$ (\rho_0, u_0, s_0) \in H^3(\Omega), \quad u_0|_{\partial \Omega} = 0. $$

则对于初始-边值问题 (1.1), (1.3), (1.4)，存在唯一的全局球对称经典解 $(\rho, u, s)$，且该解满足：

$$ (C(T))^{-1} \le \rho(x,t) \le C(T), \quad 0 < s(x,t) \le \bar{s}. $$

其中常数 $C(T) > 0$ 依赖于初始数据和 $T$。

定理 1.2 (三维情况的全局经典解) 假设 $N=3$, $1 < \gamma < 3$，且球对称初始数据 $(\rho_0, u_0, s_0)$ 满足：

$$ 0 < \rho_0 \le \bar{\rho}, \quad 0 < s_0 \le \bar{s}, \quad \frac{\partial_r s_0}{\rho_0 r^2} \in L^\infty, $$

$$ (\rho_0, u_0, s_0) \in H^3(\Omega), \quad u_0|_{\partial \Omega} = 0. $$

则对于初始-边值问题 (1.1), (1.3), (1.4)，存在唯一的全局球对称经典解 $(\rho, u, s)$，且该解满足：

$$ (C(T))^{-1} \le \rho(x,t) \le C(T), \quad 0 < s(x,t) \le \bar{s}. $$

其中常数 $C(T) > 0$ 依赖于初始数据和 $T$。

推论 1.1 (密度的一致估计与长时间行为) 当熵 $s$ 为常数时（即等熵情况），上述定理可以得到更强的结果：

  • 对于 $N=2, \gamma > 1$ 或 $N=3, 1 < \gamma < 2$，存在唯一的全局经典解，且密度的上下界估计 $C^{-1} \le \rho(x,t) \le C$ 中的常数 $C$ 不依赖于时间 $T$。
  • 解具有良好的长时间行为：当 $t \to \infty$ 时，密度趋于空间平均值，且速度场和密度的梯度在 $L^2$ 范数下趋于零。

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

该论文的证明结合了多种精巧的分析工具和技巧，特别是针对非等熵情况的创新性修改。证明过程主要分为建立低阶估计和高阶估计两个阶段。

a) 核心分析学工具

  1. 拉格朗日坐标 (Lagrangian Coordinates): 为了处理可压缩流体方程中复杂的对流项，论文首先将系统从欧拉坐标 $(x, t)$ 变换到拉格朗日坐标 $(y, t)$。坐标变换定义为 $y(r,t) = \int_0^r \rho(s,t)s^{N-1}ds$。这个变换的核心优势在于：

    • 将质量守恒方程简化为 $\partial_\tau \rho + \rho^2 \partial_y(r^{N-1}u) = 0$。
    • 将熵方程简化为 $\partial_\tau s = 0$。这意味着在拉格朗日坐标下，沿粒子轨迹熵是常数，这极大地简化了对熵的估计。
    • 引入了有效速度 (effective velocity) $w = u + 2r^{N-1}\partial_y\rho$，将动量方程改写为一个更简洁的形式 $\partial_\tau w + r^{N-1}\partial_y P = 0$。这个有效速度是连接速度和密度梯度的关键，也是建立BD熵估计的核心。

  2. 能量估计 (Energy Estimates): 这是研究流体力学方程最基础也是最重要的工具。论文首先建立基本能量估计（Proposition 3.1），通过对动量方程（在拉格朗日坐标下）乘以 $ru$ 或 $w$ 并积分，得到总能量（动能+内能）的演化方程。然而，在非等熵情况下，这个过程会产生额外的项，导致标准的能量等式不再成立。

  3. 索博列夫空间与嵌入定理 (Sobolev Spaces and Embedding Theorems): 在高阶估计中，需要控制解的导数。论文大量使用了索博列夫空间 $H^k$ 和 $W^{k,p}$ 的范数。特别是，为了控制密度在原点附近的行为（处理奇异性），论文使用了加权的索博列夫不等式和一维嵌入定理，见引理 2.2 和 2.3。例如，在二维情况下，有：

    $$ \sup \|\rho^{1/2} r^\xi\|_{L^\infty} \le C(\xi)(1 + \|\nabla \rho^{1/2}\|_{L^2}) $$

    这个不等式将密度在原点的加权 $L^\infty$ 估计与密度梯度的 $L^2$ 范数联系起来，是后续估计的关键。

  4. 格朗沃尔不等式 (Gronwall’s Inequality): 从能量估计中通常会得到一个关于能量 $E(t)$ 的微分不等式，形如 $E'(t) \le C E(t)$。通过应用格朗沃尔不等式，可以将这个微分不等式转化为能量的积分估计 $E(t) \le E(0)e^{Ct}$，从而获得能量在有限时间内的上界。这是证明解在有限时间内不爆破（blow-up）的标准方法。

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

  1. 建立非等熵情况的BD熵不等式: 这是本文最重要的技巧之一。在等熵情况下，有效速度 $w$ 的引入使得动量方程与能量估计结合时，压力项能够产生一个完美的耗散项 $\rho^\gamma(\partial_y \rho)^2$，形成一个等式。但在非等熵情况下，熵 $s$ 的变化引入了一个源项 (source term) $-2r^2\rho^\gamma e^s(\partial_y s)(\partial_y \rho)$。

    • 技巧: 作者没有放弃，而是通过巧妙地结合基本能量估计和有效速度的方程，将这个源项处理掉。他们首先注意到，在拉格朗日坐标下 $\partial_\tau s = 0$，所以只要初始熵的导数 $\partial_r s_0$ 有界，那么 $\partial_y s$ 在演化过程中也保持有界。
    • 然后，他们对源项使用杨氏不等式 (Young’s inequality)，将其一部分吸收进耗散项中，另一部分则需要估计 $\|\rho r\|_{L^2}$ 的范数。最终，他们成功推导出了一个BD熵不等式（一个微分不等式），形式上类似于等熵情况的等式，尽管多了一个可控的源项。这个不等式是整个证明的基石，它保证了能量和密度的梯度在 $L^2$ 意义下是可控制的。

  2. 密度上下界控制的精细估计: 证明全局解的最大挑战在于防止密度在有限时间内趋于零（真空形成）或趋于无穷（真空以外的点形成爆破）。

    • 上界控制: 仅靠BD熵不等式得到的 $\|\nabla \rho^{1/2}\|_{L^2}$ 估计不足以直接得到密度上界。论文通过建立 $\|\nabla \rho^{1/4}\|_{L^4}$ 的估计（Proposition 3.2），再结合一系列复杂的插值和能量估计，最终控制了密度的上界。这涉及到对不同指数的高阶能量（如 $L^4$ 能量）进行估计。
    • 下界控制 (防止真空): 这是论文的另一个核心贡献，也是其能够将结果推广到更广参数范围的关键。
      • 传统方法局限: 之前的工作（如Huang-Meng-Zhang）在二维情况下需要 $\gamma \ge 3/2$，其原因是他们需要估计有效速度 $w$ 的 $L^\infty$ 范数。这依赖于一个关键不等式 $\|\sqrt{\rho} u\|_{L^\infty} \lesssim \|\sqrt{\rho} \nabla u\|_{L^2} + \|\nabla \rho^{1/4}\|_{L^4}\|\rho^{1/4} u\|_{L^4}$，而这个不等式又依赖于对密度 $\rho$ 的某些幂次的控制，从而对 $\gamma$ 产生了限制。
      • 本文的创新方法: 本文作者发现了一种更巧妙的方法。他们不再孤立地估计 $w$ 或 $u$ 的 $L^\infty$ 范数，而是通过耦合两个看似不相关的 $L^{2n}$ 估计（当 $n \to \infty$ 时）来同时控制 $\|w\|_{L^\infty}$ 和 $\|u\_{L^\infty}$。具体来说，他们对 $\|w\|_{L^{2n}}^{2n}$ 和 $\|u\|_{L^{2n}}^{2n}$ 分别求导，发现它们的估计可以相互控制，并最终都依赖于 $\|w\|_{L^{2n}}^{2n}$ 和 $\|u\|_{L^{2n}}^{2n}$ 本身（加上一个常数）。这形成了一个闭环，使得他们可以通过格朗沃尔不等式得到 $n \to \infty$ 时的 $L^\infty$ 界。这种方法的美妙之处在于它不直接依赖于 $\gamma$ 的具体值，只要相关的积分有定义即可。这成功地将二维的 $\gamma$ 条件从 $\gamma \ge 3/2$ 放宽到 $\gamma > 1$，并首次在三维中证明了全局解的存在性（要求 $1 < \gamma < 3$）。

4. 与之前工作的比较

该论文的贡献主要体现在对已有结果的显著推广和深化，具体比较如下：

a) 放宽假设条件与维度推广

  1. 从等熵到非等熵的推广: 该论文最重要的推广是将研究对象从等熵可压缩Navier-Stokes方程（浅水方程）推广到了非等熵可压缩Navier-Stokes方程。之前的工作，如Huang-Meng-Zhang (2025) 和 Chen-Zhang-Zhu (2025)，主要解决了等熵情况下的全局解存在性问题。本文作者通过建立非等熵情况下的BD熵不等式，证明了在熵可变的情况下，系统依然具有良好的全局适定性，这是一个全新的结果。

  2. 二维绝热指数 $\gamma$ 范围的扩大:

    • 之前的工作: Huang-Meng-Zhang 在证明二维浅水方程的全局经典解时，要求绝热指数满足 $\gamma \ge 3/2$。
    • 本文的改进: 本文将二维情况的条件放宽到 $\gamma > 1$。这个改进是实质性的，因为 $1$ 是物理上非常重要的临界指数。这一进步完全归功于作者提出的新的 $L^\infty$ 估计方法，该方法摆脱了对 $\gamma$ 的下界依赖。

  3. 首次证明三维情况的全局解:

    • 之前的工作: 对于三维粘性浅水方程的全局经典解问题，之前的工作并未给出证明。
    • 本文的贡献: 本文首次证明了在三维情况下，当 $1 < \gamma < 3$ 时，系统存在全局球对称经典解。这填补了该领域在三维研究上的空白。

b) 结果的强度与深入

  1. 解的类别: 该论文证明的是经典解 (classical solutions) 的存在唯一性，要求解具有较高的正则性（属于 $H^3$ 空间，且具有时空连续性）。这比仅仅证明弱解 (weak solutions) 的存在性要强得多，后者只要求解在分布意义下满足方程。

  2. 初始数据的大小: 论文标题和定理都强调了 “arbitrary large initial data” (任意大数据)。这意味着初始数据的幅度可以任意大，而无需满足小扰动假设。这对于非线性偏微分方程理论来说是一个非常强的结果，表明了该数学模型在大振幅下的稳定性。

  3. 等熵情况下的更强结论: 在等熵情形下（推论1.1），本文不仅重现了之前工作的结果，还得到了一个更强的结论：密度的上下界是时间一致的 (uniform in time)，即常数 $C$ 不依赖于 $T$，并且解会收敛到平衡态。这揭示了系统在长时间下的渐近行为。

  4. 方法的普适性: 作者指出，他们用于控制 $L^\infty$ 范数的新方法不依赖于球对称假设。这为未来研究一般区域（非对称）下非等熵或等熵Navier-Stokes方程的全局解问题提供了新的思路和可能性，具有重要的理论启发价值。

2. 奥萨格-临界正则性下的反常耗散

Anomalous Dissipation at Onsager-Critical Regularity

作者: Alexey Cheskidov, Qirui Peng

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24568v1

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

详细分析

中文标题: 奥萨格-临界正则性下的反常耗散

研究对象和背景

本篇论文主要研究三维不可压缩欧拉方程（Euler equations）和纳维-斯托克斯方程（Navier-Stokes equations, NSE）中能量耗散的性质，特别是在“奥萨格-临界”（Onsager-critical）正则性条件下的反常耗散（Anomalous dissipation）现象。

物理背景与奥萨格猜想 流体湍流中的一个核心问题是解释能量是如何在从大尺度涡旋向小尺度涡旋级联（cascade）的过程中最终耗散掉的。Kolmogorov 的经典湍流理论指出，当雷诺数趋于无穷大（即粘性系数趋于零）时，能量耗散率会趋于一个非零常数。然而，对于无粘性的欧拉方程，这似乎是不可能的，因为欧拉方程通常被视为能量守恒的。

然而，Lars Onsager 在 1949 年提出了一个惊人的猜想：即便是欧拉方程的解，如果其正则性足够低（即足够粗糙），也可能在没有粘性的情况下表现出能量耗散，这种现象被称为无粘反常耗散。Onsager 猜想指出，$1/3$-Hölder 连续性是能量守恒的临界阈值：正则性高于 $C^{1/3}$ 的欧拉解必然守恒能量，而正则性更低的解在原则上是可以耗散能量的。

数学模型 论文主要关注以下两个系统：

  1. 三维不可压缩纳维-斯托克斯方程 (NSE)：在周期性区域 $\mathbb{T}^3$ 上，时间区间 $[0,T]$ 内。

    $$ \partial_t u_\nu + u_\nu \cdot \nabla u_\nu + \nabla p_\nu = f_\nu + \nu \Delta u_\nu, $$

    $$ \nabla \cdot u_\nu = 0, $$

    $$ u_\nu(0) = u_{in}. $$

    其中 $u_\nu$ 是速度场，$p_\nu$ 是压力，$\nu > 0$ 是粘性系数，$f_\nu$ 是外力。我们关注当 $\nu \to 0$ 时的极限行为。

  2. 三维不可压缩欧拉方程：上述 NSE 在 $\nu \to 0$ 时的极限形式（假设解收敛）。

    $$ \partial_t u + u \cdot \nabla u + \nabla p = f, $$

    $$ \nabla \cdot u = 0, $$

    $$ u(0) = u_{in}. $$

研究的核心问题 论文旨在通过“粘性消失极限”（vanishing viscosity limit）来构造欧拉方程的解，使得这些解不仅表现出反常耗散，而且其正则性刚好处于 Onsager 预测的能量守恒与耗散的边界上（即“临界”正则性）。具体来说，研究试图回答：能否找到一列纳维-斯托克斯方程的光滑解 $u_\nu$，使得当 $\nu \to 0$ 时，它们收敛于欧拉方程的一个解 $u$，且该极限解 $u$ 具有 $L^3([0,T]; B^{1/3}_{3,\infty})$ 的正则性（或者类似的临界空间），同时表现出非零的能量耗散？

函数空间与设定 文章大量使用 Besov 空间来刻画解的正则性。

  • $B^s_{p,r}$ 空间。
  • 特别是临界空间 $B^{1/3}_{3,\infty}$ 及其子空间 $B^{1/3}_{3,c0}$（限制高频部分能量趋于0）。
  • 文章还引入了加权 Besov 空间 $B^{s, a_n}_{p, \infty}$，其中 $\{a_n\}$ 是一列 $\ell^1$ 序列，用于精细地控制解在不同频率尺度上的行为，从而在临界正则性下“塞入”反常耗散。

文章关注的区域是周期性的三维环面 $\mathbb{T}^3$（以及 $\mathbb{T}^2$），边界条件为周期性。

主要定理或主要结果

论文提出了三个主要定理，分别对应于能量守恒准则、2.5维构造以及全三维构造。

定理 3.1 (2.5维欧拉方程的能量守恒准则) 考虑 2.5 维形式的欧拉方程解 $u = (v(x_1, x_2), \rho(x_1, x_2))$，其中 $v$ 是二维速度场，$\rho$ 是标量场（对应于第三维速度）。 如果 $v$ 和 $\rho$ 满足以下条件：

  1. $\lim_{q \to \infty} \int_0^T \lambda_q \| \Delta_q v(t) \|_{L^3}^3 dt = 0$
  2. $\lim_{q \to \infty} \int_0^T \lambda_q \| \Delta_q v(t) \|_{L^3} \| \Delta_q \rho(t) \|_{L^3}^2 dt = 0$

那么该 2.5 维欧拉解是能量守恒的。这推广了针对 3D 欧拉方程的 Constantin-E-Titi-Cheskidov 准则，适应了 2.5 维结构中非线性项的分解。

定理 3.2 (2.5维临界构造与全粘性反常耗散) 给定任意属于 $T$ 类（满足一定衰减条件的 $\ell^1$ 正序列）的序列 $\{a_n\}_{n \in \mathbb{N}}$，存在一列光滑的 NSE 解 $\{u_{\nu_n}\}$，满足：

  1. 初始条件相同：$u_{\nu_n}(0) = u_{in} \in L^2$。
  2. 极限为欧拉方程的一个 2.5 维弱解 $u \in L^3([0,1]; B^{1/3, a_n}_{3, \infty})$。
  3. 该极限解 $u$ 满足临界正则性条件（定理中的 (3.3) 和 (3.4)），刚好位于守恒与耗散的边界。
  4. 反常耗散：该序列展现出全粘性反常耗散，即耗散的能量等于初始动能：
    $$ \lim_{n \to \infty} 2\nu_n \int_0^1 \| \nabla u_{\nu_n}(t) \|_{L^2}^2 dt = \| u_{in} \|_{L^2}^2. $$

定理 3.3 (全三维构造与外力驱动) 存在一列光滑的 NSE 解 $\{u_n, f_{\nu_n}\}$，满足：

  1. 收敛于全三维欧拉方程的弱解 $u$ 和外力 $f$。
  2. 正则性极低：$u$ 属于 $L^3([0,T]; B^{1/3}_{3, c_n})$，其中 $\{c_n\}$ 是任意 $\ell^1$ 序列。这意味着 $u$ 可以比标准的 $B^{1/3}_{3,\infty}$ 还要粗糙。
  3. 满足临界能量估计：$\limsup_{q \to \infty} \int_0^T \tilde{\lambda}_q \| \Delta_q u(t) \|_{L^3}^3 dt \lesssim 1$。
  4. 零外力功：外力做的功为零（$W(t)=0$），但依然有全粘性反常耗散：
    $$ \lim_{n \to \infty} 2\nu_n \int_0^T \| \nabla u_n(t) \|_{L^2}^2 dt = \| u_{in} \|_{L^2}^2. $$

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

这篇论文属于偏微分方程中的构造性分析，特别是针对流体力学方程的凸积分（Convex Integration）和“混合机制”方法。其核心在于如何构造一列粘性解，使其在粘性消失时既保持在临界正则性，又耗散掉所有能量。

1. 分析学工具：Littlewood-Paley 理论与 Besov 空间 文章的基石是调和分析工具，特别是 Littlewood-Paley 分解。

  • 频率分解：使用算子 $\Delta_q$ 将解分解为不同频率的块。通过频率 $\lambda_q = 5^q$（非标准二进分解）来分离大尺度和小尺度运动。
  • Bernstein 不等式：用于联系函数的 $L^p$ 范数在不同频段的行为，是控制非线性项的重要工具。
  • Besov 空间：$B^s_{p,r}$ 空间提供了比 Hölder 或 Sobolev 空间更精细的正则性度量。特别是对于 Onsager 临界正则性 $1/3$，$B^{1/3}_{3,\infty}$ 是自然的框架。
  • 能量通量 (Energy Flux)：定理 3.1 的证明核心在于估计能量通量 $\Pi_q$。通过估计 $\Pi_q$ 并证明其在 $q \to \infty$ 时积分趋于零，从而推导能量守恒。

2. 核心构造策略：2.5 维 “搅拌” 机制 (The 2.5D Mixing Scheme) 为了实现反常耗散，文章继承并改进了 Bruè-De Lellis 的“完美搅拌” (Perfect Mixing) 范式。

  • 分解结构：将 3D 速度场 $u_\nu$ 写成 2.5 维形式 $u_\nu = (v_\nu, \theta_\nu)$。其中 $v_\nu$ 是二维向量场（解决 2D NSE），$\theta_\nu$ 是标量场（解决被动标量方程）。这种解耦使得计算可控，因为 2D NSE 在光滑解下不会产生奇异性，而 $\theta_\nu$ 的演化决定了 3D 的能量耗散行为。
  • 时间尺度的指数化：论文的关键创新之一是引入了指数时间尺度，而非之前工作中的多项式时间尺度。在时间区间 $[t_n, t_{n+1}]$ 上，构造一系列光滑的“搅拌器” (mixers)。通过 $\lambda \to \infty$（高频极限）和时间趋于有限值 $T$ 的相互作用，实现尺度的级联。
  • 迭代与拼接：在一系列逐渐缩小的时间区间上进行迭代构造。在每个区间内，构造一个流场 $v$，它在大部分时间内保持规则，但在特定时刻迅速变化，推动标量 $\theta$ 进行剧烈的混合。这种混合将 $\theta$ 的梯度推向无穷大，从而在粘性消失极限下产生非零的耗散积分 $\int \nu \| \nabla u_\nu \|^2$。

3. 技术难点与解决技巧

  • 处理非线性项与能量估计 (Theorem 3.1 的证明)：

    • 难点：在 2.5 维欧拉方程中，非线性项包含 $(v \cdot \nabla) \rho \cdot \rho$ 项，这与标准 3D 欧拉的能量估计不同。
    • 技巧：通过对 Littlewood-Paley 投影算子的精细计算，将高频通量 $\Pi_q$ 分解为涉及 $(v, \rho)$ 对的项。利用卷积核的性质和 Bernstein 不等式，证明若 $v$ 和 $\rho$ 的加权范数足够小（即满足 (3.1) 和 (3.2)），则高频能量通量消失。这推广了 Constantin-E-Titi 准则。

  • 实现临界正则性下的耗散 (Theorem 3.2 的证明)：

    • 难点：通常反常耗散需要解非常粗糙（低于 $C^{1/3}$）。要在一个正则性刚好在边界上的解中看到耗散，需要极其精细的构造。
    • 技巧：使用加权 Besov 空间 $B^{1/3, a_n}_{3, \infty}$。定理 3.2 表明，对于任意满足 $\sum a_n < \infty$ 的权重序列，都能构造出相应的解。这意味着我们可以在几乎任意程度的“平均”正则性下（只要 $a_n$ 衰减得足够快），塞入全量的耗散。这是一种“令正则性在临界点跳舞”的技术，通过权重序列 $\{a_n\}$ 来控制不同尺度上能量的分配，确保总量受控但耗散非零。

  • 全三维构造与外力 (Theorem 3.3 的证明)：

    • 难点：之前的 2.5 维构造依赖于 $v$ 的相对光滑性来驱动 $\theta$。要得到全 3D 解，且外力 $f$ 稍微粗糙（但仍在 $L^1 L^2$ 中），需要更鲁棒的机制。
    • 技巧：参考了 [CL21] 的框架。外力 $f$ 被用来直接提供“驱动”，而不仅仅是背景场。文章证明了可以构造外力 $f_\nu$ 和解 $u_\nu$，使得 $f_\nu$ 做的功为零（不影响能量平衡），但外力的存在辅助了解的构造，使得解 $u$ 的正则性可以比之前更低（任意 $c_n \in \ell^1$ 的 $B^{1/3}_{3, c_n}$），同时依然实现全耗散（即 $\int \nu |\nabla u_\nu|^2 \to \int |u_{in}|^2$）。这展示了粘性耗散机制对外力的鲁棒性。

与之前工作的比较

这篇论文在已有文献（特别是 Bruè-De Lellis [7] 和 Cheskidov [13]）的基础上，做出了显著的推进，主要体现在临界正则性的刻画、时间尺度的灵活性以及全三维解的构造上。

1. 对正则性要求的改进：从“低于临界”到“临界及其以下”

  • 背景：经典的结果（如 Isett, 2018）构造了 $C^{1/3-}$ 的解，即稍微低于临界正则性。随后的 Bruè-De Lellis (2020) 和 Cheskidov (2023) 进一步发展了 2.5 维构造，能够处理某些 Besov 空间下的反常耗散，但往往关注于存在性或特定的间歇性。
  • 本文突破：
    • 定理 3.1 提供了针对 2.5 维解的临界准则。之前的准则（如 Constantin-E-Titi）主要针对 3D 全解，本文将其适配到 2.5 维混合结构中，明确了 $(v, \rho)$ 对的控制条件，补充了理论基础。
    • 定理 3.2 和 定理 3.3 是巨大的飞跃。它们不再满足于“低于临界”，而是在临界线上（$B^{1/3}_{3,\infty}$ 或其加权子空间）构造反常耗散。
    • 特别是定理 3.3，允许解属于 $B^{1/3}_{3, c_n}$，只要 $\sum c_n < \infty$。这意味着解可以比标准的 $B^{1/3}_{3,\infty}$ 包含更多的能量在高频部分，只要这些能量的总和（加权后）收敛。这比之前的任何构造都要精细，极大地放宽了正则性要求，证明了奥萨格猜想的“临界稳定性”。

2. 构造方法的改进：指数时间尺度与灵活性

  • 背景：Bruè-De Lellis [7] 使用多项式时间尺度 $t_n \sim 1 - 2^{-n}$。这种设定下，第 $n$ 阶段的粘性耗散大约为 $\sim 2^{-n}$。
  • 本文突破：
    • 论文引入了指数时间尺度。这种选择不是随意的，它为能量的“账本”管理提供了便利。在证明定理 3.2 和 3.3 时，这种尺度允许作者更精确地控制不同阶段注入的能量与耗散的能量。
    • 灵活性：通过加权序列 $\{a_n\}$（定理 3.2），作者展示了构造的灵活性。这意味着我们可以通过设计 $a_n$ 来“定制”解的正则性分布，同时保证物理上的全耗散。这在以前的固定多项式幂次的构造中是难以实现的。

3. 外力与全三维性

  • 背景：早期的反常耗散构造往往依赖于被动标量机制，这本质上是 2.5 维的。或者依赖于非常特殊的无外力假设。
  • 本文突破：
    • 定理 3.3 给出了全三维的构造，并且是受粗糙外力驱动的。
    • 与 Bruè-De Lellis (2020) 或 Armstrong-Vicol (2021) 相比，本文的定理 3.3 不仅证实了外力可以驱动反常耗散，而且将结果推向了零外力功（Zero work by the force）和全耗散（Total dissipation）的完美情况。在 [13] 中，作者构造了无外力的全耗散解，但正则性控制不如本文精细；本文在 [CL21] 的基础上，实现了更广泛的正则性类 $B^{1/3}_{3, c_n}$ 下的全耗散。

4. 理论意义 这篇论文是 Onsager 猜想研究领域的重要拼图。它不仅确认了在临界正则性下反常耗散是可能的（通过粘性消失极限），而且展示了这种现象对外力的鲁棒性以及解结构的灵活性。它将“构造性证据”从“稍微粗糙”推向了“刚好临界”，使得数学描述与物理湍流中的 Kolmogorov 理论预测（能量级联至小尺度）更加贴合。

总结来说，该论文通过改进 Bruè-De Lellis 的 2.5 维搅拌机制，引入加权 Besov 空间和指数时间尺度，成功地将反常耗散的存在性证明推进到了 Onsager 临界正则性甚至更低的正则性空间，同时解决了全三维受迫系统中的难题，是流体力学中弱解理论的一个显著进展。

3. 粘性流体中具有纳维滑移边界条件的刚体稳态自驱动运动

Steady Self-Propelled Motion of a Rigid Body in a Viscous Fluid with Navier-Slip Boundary Conditions

作者: Sarka Necasova, Arnab Roy, Ana Leonor Silvestre

类别: math.AP

发布日期: 2025-12-30

arXiv ID: 2512.24510v1

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

详细分析

中文标题: 粘性流体中具有纳维滑移边界条件的刚体稳态自驱动运动

研究对象和背景

本文研究的是三维不可压粘性流体中刚体的稳态自驱动运动（Steady Self-Propelled Motion）。具体来说，研究的是在没有外部体力（如重力）的情况下，刚体如何通过其表面的主动活动（Actuation）产生推力，从而在流体中维持匀速运动。

1. 物理模型与数学方程

论文将物理情境数学化，采用了以下步骤：

  • 参考系：为了简化运动边界问题，作者采用了随体坐标系（Body-fixed reference frame）。这使得流体占据的区域 $\Omega$ 成为一个固定的外部区域（Exterior domain），而刚体则通过引入惯性力来描述。
  • 流体方程：流体服从不可压 Navier-Stokes 方程。在稳态假设下（时间导数项为零），并在随体坐标系中引入离心力项和科里奥利力项（$\omega \times v$），系统的控制方程可以写为以下形式（参考论文中的 (2.9) 式）：
$$ \begin{cases} -\nabla \cdot T(v,p) + Re(\nabla \cdot [v \otimes (v-V)] + \omega \times v) = 0, & \text{in } \Omega, \\ \nabla \cdot v = 0, & \text{in } \Omega, \\ \lim_{|x| \to \infty} v(x) = 0. \end{cases} $$

其中 $v$ 是流体速度，$p$ 是压力，$V(x) = \xi + \omega \times x$ 是刚体的运动速度（$\xi$ 为平动速度，$\omega$ 为旋转速度）。$T(v,p) = -pI + 2D(v)$ 是流体应力张量，$D(v)$ 为变形率张量。$Re$ 为雷诺数。

2. 边值条件：纳维滑移（Navier-Slip）

本文的核心在于边界条件的设定。不同于经典的无滑移（Dirichlet）条件 $v|_{\partial \Omega} = V$，本文采用了纳维滑移边界条件。这在物理上描述了流体在粗糙表面或微流控环境中的部分滑移现象。 边界条件由两个方程描述（对应 (2.9) 中的边界条件）：

  • 法向速度条件：通常假设流体与物体无穿透，但在自驱动模型中，这被用来表示法向通量的设定：
    $$ (v-V) \cdot n = v_* \cdot n $$
  • 切向速度条件：这是纳维滑移的特征公式，包含了摩擦项：
    $$ 2[D(v)n] \times n + \alpha (v-V) \times n = \alpha v_* \times n $$
    其中 $\alpha = 1/\lambda$ 是摩擦系数，$\lambda$ 是滑移长度。$v_*$ 是预设的表面驱动速度（自驱动源）。

3. 函数空间与特殊设定

  • 外部区域：$\Omega = \mathbb{R}^3 \setminus B$，即有界刚体外部的无界区域。这带来了处理无穷远处衰减和紧性的困难。
  • 加权 Sobolev 空间：为了解决无界区域上的变分问题，论文使用了加权 Sobolev 空间 $H^{m,k}_\rho(\Omega)$，其范数涉及权函数 $\rho(x) = (1+|x|^2)^{1/2}$。例如 $H^{1,0}_\rho(\Omega)$ 空间用于定义弱解，它不仅要求梯度的 $L^2$ 可积性，还要求速度场本身在 $L^2$ 加权意义下可积，以控制其在无穷远处的衰减。
  • 耦合系统：问题是一个流固耦合（FSI）问题。流体方程的解依赖于刚体速度 $V$（未知数），而刚体的运动方程（牛顿-欧拉方程）则是流体在物体表面的应力积分（力和扭矩）：
$$ \begin{aligned} Re \cdot m (\xi' + \omega \times \xi) &= - \int_{\partial \Omega} (T(v,p)n - Re \ v(v-V)\cdot n) dS, \\ Re \cdot J_0 \omega' + Re \ \omega \times J_0 \omega &= - \int_{\partial \Omega} x \times (T(v,p)n - Re \ v(v-V)\cdot n) dS. \end{aligned} $$

在自驱动（无外力）情形下，由于没有外部施加的力和扭矩，流体对物体的总合力和总力矩必须为零，这使得物体的平动和转动速度 $\xi, \omega$ 被隐式地耦合进流体方程中。

主要定理或主要结果

本文的主要结果分为两部分：一是关于稳态 Navier-Stokes 系统解的存在性；二是关于 Stokes 线性系统和 Navier-Stokes 非线性系统中，产生非零自驱动运动的充要条件。

1. 存在性定理 (Theorem 3.1) 这是关于非线性稳态 Navier-Stokes 系统的核心结果。

  • 假设条件：
    1. 边界 $\partial \Omega$ 足够光滑 ($C^{2,1}$)。
    2. 预设的表面通量 $v_* \cdot n$ 和 $v_* \times n$ 具有一定的正则性 ($H^{1/2}(\partial \Omega)$)。
    3. 小性假设：雷诺数 $Re$ 与表面通量的总法向量 $\Phi = \int_{\partial \Omega} v_* \cdot n dS$ 的乘积足够小，且 $Re$ 与边界数据的加权范数乘积也足够小。
  • 结论：系统至少存在一个弱解 $(v, V) \in H^{1,0}_\rho(\Omega) \times \mathcal{R}$。并且，该弱解满足一定的能量估计（由 (3.1) 式给出，控制了变形张量和滑移层内的速度跳跃）。

2. 线性系统与自驱动机制 (Theorems 3.2 & 3.3) 为了理解什么条件下物体能动，文章先分析了线性的 Stokes 系统 ($Re \to 0$)。

  • Theorem 3.2：线性 Stokes 系统在纳维滑移条件下是适定的，存在唯一解。
  • Theorem 3.3：针对线性问题，文章定义了一个有限维的推力空间 (Thrust Space) $\mathcal{T}(B_0)$。结论是：刚体发生非零运动的充要条件是预设的表面速度 $v_*$ 在推力空间上的投影非零 ($P(v_*) \neq 0$)。此外，还给出了通过辅助 Stokes 解构造的矩阵 $M$ 来判断平动速度 $\xi$ 和旋转速度 $\omega$ 是否非零的具体代数条件。

3. 非线性系统的自驱动 (Theorem 3.4) 这是将线性结论推广到非线性 Navier-Stokes 情形的结果。

  • 假设条件：在满足 Theorem 3.1 的小性假设基础上，进一步假设 $v_*$ 在推力空间上的投影非零 ($P(v_*) \neq 0$)。
  • 结论：存在一个依赖于 $v_*$ 的常数 $C$，当雷诺数 $Re$ 小于该常数时，系统存在弱解，并且该解对应的刚体速度 $V \neq 0$。这证实了在非线性流体中，表面滑移驱动确实可以产生有效的自驱动运动，并且文章给出了速度幅值的上下界估计。

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

该论文的分析结合了变分方法、泛函分析中的不动点技巧以及针对外部区域和滑移边界设计的特殊估计。

a) 核心分析学工具

  1. 加权 Sobolev 空间理论：

    • 由于区域是外部区域（无界），标准的 $L^p$ 或 $H^m$ 空间不足以描述流体的衰减行为。作者引入了加权空间 $H^{m,k}_\rho$。这使得可以在变分框架下处理无穷远处的边界条件。
    • Hardy 不等式：在加权空间中，作者利用 Hardy 不等式来控制函数本身与其梯度之间的关系，这是处理无界域流体能量估计的基础。

  2. Galerkin 逼近与紧性原理：

    • 为了证明非线性 Navier-Stokes 系统解的存在性，作者采用了经典的 Galerkin 方法。
    • 关键难点：需要构造一个特殊的基底，既要是流体方程的试探函数，又要满足纳维滑移边界条件。文章通过求解一系列辅助的 Stokes 问题来构建这个基底。
    • 紧性：利用 Aubin-Lions 引理（或类似的紧嵌入定理），从有界域逼近序列中提取收敛子列，从而过渡到外部区域。

  3. Brouwer 不动点定理：

    • 在证明存在性时，通常将问题转化为寻找一个算子的不动点。由于涉及到刚体速度 $\xi, \omega$ 这一有限维变量，Brouwer 不动点定理是确保该有限维分量存在的标准工具。

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

  1. Korn 型不等式的推导 (Lemma 4.1)：

    • 难题：在流固耦合中，必须将流体的变形率 $D(v)$ 与刚体的平动 $\xi$ 和转动 $\omega$ 联系起来。在无滑移条件下，刚体速度隐含在流体速度的边界迹中。但在滑移条件下，流体速度与刚体速度在边界上可能不同（存在跳跃）。
    • 技巧：文章推导了一种适用于外部域且兼容滑移界面的 Korn 型不等式。该不等式证明了 $\|D(v)\|_{L^2}$ 加上边界上的某种惩罚项，可以控制流体速度以及刚体运动参数。这是获得一致能量估计（不依赖于逼近区域大小）的关键。

  2. 正常分量的延拓 (Lemma 4.5)：

    • 难题：自驱动机制依赖于边界通量。在构造解的过程中，需要将边界上的法向速度 $v_* \cdot n$ 延拓到整个流体域 $\Omega$ 中，得到一个散度为零的向量场。由于滑移条件同时涉及法向和切向分量的耦合，这种延拓比无滑移情况复杂得多。
    • 技巧：作者构造了一个特定的延拓算子，不仅保证了散度为零，还控制了延拓场的正则性，这对于处理 Navier-Stokes 方程中的非线性项至关重要。

  3. “推力空间” (Thrust Space) 的引入：

    • 难题：在无外力情况下，物体何时能动？对于复杂的滑移边界条件，直观判断很困难。
    • 技巧：文章通过求解一系列辅助的 外部 Stokes 问题 (3.4) 来生成一个 6 维的线性空间 $\mathcal{T}(B_0)$。这些辅助解 $H^{(i)}$ 对应于单位基底的刚体运动。通过定义矩阵 $M$ (即流体对基底运动的响应力)，将物理问题转化为线性代数问题：$v_*$ 必须在 $\mathcal{T}(B_0)$ 上有投影才能产生运动。这是一种将复杂的微分方程行为投影到有限维空间进行分析的降维技巧。

  4. Picard 迭代与不动点：

    • 技巧：对于非线性 Navier-Stokes 方程，文章将寻找 $(v, V)$ 的问题表述为一个不动点问题。固定刚体速度 $V$，求解流体方程得到 $v$，再由 $v$ 计算物体受力得到新的 $V$。通过 Schauder 不动点定理证明该映射存在不动点。小雷诺数假设保证了非线性项的可控性。

与之前工作的比较

本文在流体动力学的数学理论，特别是自驱动运动的研究中，做出了显著的推进。

a) 放宽假设条件：从无滑移到纳维滑移

  • 先前工作：如 Galdi (2007) 和 Silvestre 等人的经典工作，主要关注 Dirichlet 边界条件（无滑移条件 $v=V$）。这种条件虽然在宏观流体力学中常用，但在微流控 (Microfluidics)、纳米流体以及疏水表面流动中并不准确。
  • 本文改进：本文首次在稳态自驱动刚体运动模型中引入了 Navier-Slip 边界条件。
    • 物理意义：这使得模型更贴近微尺度下的生物游动（如细菌在粘液中的运动）和人造微型机器人的运动。
    • 数学挑战：无滑移条件意味着流体速度在边界上是连续的，而滑移条件允许流体与边界之间存在切向速度差。这导致弱形式中出现了涉及边界切向速度的积分项，破坏了通常的能量估计结构。本文克服了这一困难，证明了即便存在滑移，只要摩擦系数和驱动速度适当，自驱动仍然可以实现。

b) 拓展理论框架：外部域与加权空间

  • 先前工作：许多自驱动研究集中于有界容器内的运动（尽管物理上受限）。在有界域中，解的存在性往往依赖于较强的兼容性条件（如总通量为零）。
  • 本文改进：本文严格处理了外部域 $\mathbb{R}^3 \setminus B$。
    • 技术进步：在外部域中，必须处理“无穷远”边界。本文不仅应用了加权 Sobolev 空间，还针对滑移边界条件证明了特定的 Korn 不等式。这不仅解决了本问题，也为处理更一般的无界域流固耦合问题提供了工具。
    • 结果比较：在无界域中，文章指出（Remark 3.1），对于滑移条件，不再像 Dirichlet 情况那样强制要求边界通量积分严格为零，这在数学上放宽了数据的限制。

c) 机制的清晰化：推力空间与代数特征

  • 先前工作：传统的自驱动研究主要关注解的“存在性”，而对于“什么数据能驱动物体”往往通过复杂的积分不等式给出充分条件。
  • 本文改进：本文深入分析了自驱动机制的本质。
    • Theorem 3.3 和 Theorem 3.4 不仅给出了存在性，还给出了必要且充分条件。
    • 通过引入推力空间 $\mathcal{T}(B_0)$，文章明确指出：并非任意表面活动都能产生净推力。只有那些在由辅助 Stokes 解张成的空间上有投影的表面速度才能驱动刚体。
    • 与 Galdi 的工作相比，本文将结果推广到了非线性 Navier-Stokes 情形，并通过矩阵 $M$ 的结构（块矩阵分解）显式地分析了平动与转动的解耦条件，这比早期的纯分析估计提供了更深刻的物理洞察。

综上所述，这篇论文在数学上完善了纳维滑移边界下的流固耦合理论，在物理上为微纳尺度的自驱动现象提供了更精确的模型，并在方法上展示了如何通过辅助问题和加权空间处理复杂的无界域非线性问题。

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

1. 希尔伯特空间中非正则漂移项随机微分方程的唯一性

Uniqueness for stochastic differential equations in Hilbert spaces with irregular drift

作者: Lukas Anzeletti, Oleg Butkovsky, Máté Gerencsér, Alexander Shaposhnikov

类别: math.PR, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.25003v1

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

摘要翻译

中文标题: 希尔伯特空间中非正则漂移项随机微分方程的唯一性

摘要翻译: 我们提出了一个通用框架，用于研究希尔伯特空间中具有非正则漂移项的随机微分方程（SDE）的强存在性与唯一性。我们考虑可分希尔伯特空间 $H$ 中的如下 SDE： \begin{equation*} dX_t= (A X_t + b(X_t))dt +(-A)^{-γ/2}dW_t,\quad X_0=x_0 \in H, \end{equation*} 其中 $A$ 是具有纯原子谱的自伴负定算子，$W$ 是柱面维纳过程，$b$ 是从 $H$ 到 $H$ 的 $\alpha$-霍尔德连续函数，$\gamma$ 为非负参数且使得随机卷积取值于 $H$。我们证明了，当 $\alpha> 2γ/(1+γ)$ 时，该方程存在唯一的强解。这一结论极大地推广了 Da Prato 和 Flandoli (2010) 的开创性工作，因为我们未对 $b$ 施加结构性假设。为得到此结果，我们并未使用无限维柯尔莫哥洛夫方程，而是开发了一种新技巧，该技巧结合了 Lê 在希尔伯特空间中的随机缝合理论、高斯分析以及 Lasry 和 Lions 在希尔伯特空间中的逼近方法。

2. 一种用于最小化液晶奇异性研究中出现的线能量和面能量的有限元方法

A finite element approach for minimizing line and surface energies arising in the study of singularities in liquid crystals

作者: Dominik Stantejsky

类别: math.NA, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24928v1

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

摘要翻译

中文标题: 一种用于最小化液晶奇异性研究中出现的线能量和面能量的有限元方法

摘要翻译: 受液晶向列相中缺陷结构研究问题的启发，我们描述并研究了一种用于求解类 Plateau 问题的数值算法。该能量包含二维曲面 $T$ 的面积及其边界 $\partial T$ 的长度，其中边界长度被一条规定曲线所折减，以确保问题的非平凡性。我们额外引入了 $T$ 的一个障碍物 $E$，并在 $E$ 上设置了面能量。我们提出了一种基于交替方向乘子法（ADMM）的算法，该算法利用有限元最小化能量的离散化版本，推广了现有的全变分（TV）最小化方法。我们研究了不同的包含物形状，展示了最小化构型的丰富结构，并针对向列相液晶中的胶体粒子给出了研究结果的物理解释。

3. 具有弱奇性敏感性和亚逻辑斯源项的二维趋化-Navier-Stokes系统的全局有界性与吸收集

Global boundedness and absorbing sets in two-dimensional chemotaxis-Navier-Stokes systems with weakly singular sensitivity and a sub-logistic source

作者: Minh Le, Alexey Cheskidov

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24892v1

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

摘要翻译

中文标题: 具有弱奇性敏感性和亚逻辑斯源项的二维趋化-Navier-Stokes系统的全局有界性与吸收集

摘要翻译: 本文研究了二维有界区域 $Ω$ 中的如下趋化-流体系统：\begin{equation*} \begin{cases} n_t + u \cdot \nabla n &= Δn - χ\nabla \cdot \left (n \frac{\nabla c}{c^k} \right ) + r n - \frac{μn^2}{\log^η(n+e)}, \ c_t + u \cdot \nabla c &= Δc - αc + βn, \ u_t + u \cdot \nabla u &= Δu - \nabla P + n \nabla φ+ f, \ \nabla \cdot u &= 0, \end{cases} \end{equation*} 其中 $r, μ, α, β, χ$ 为正参数，$k, η\in (0,1)$，$φ\in W^{2,\infty}(Ω)$，且 $f \in C^1\left(\barΩ\times [0, \infty)\right) \cap L^\infty\left(Ω\times (0, \infty)\right)$。我们证明了，在关于初值的适当条件下，并在无通量/无通量/Dirichlet 边界条件下，该系统存在全局有界的经典解。此外，该系统在 $C^0(\barΩ) \times W^{1, \infty}(Ω) \times C^0(\barΩ; \mathbb{R}^2)$ 的拓扑结构下拥有一个吸收集。

4. 傅里叶-勒贝格空间上具有复相位的傅里叶积分算子的有界性

Boundedness of Fourier Integral Operators with complex phases on Fourier Lebesgue spaces

作者: Duván Cardona, William Obeng-Denteh, Frederick Opoku

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24854v1

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

摘要翻译

中文标题: 傅里叶-勒贝格空间上具有复相位的傅里叶积分算子的有界性

摘要翻译: 本文研究了当相关的典范关系由复相位函数参数化时，傅里叶积分算子在傅里叶-勒贝格空间上的有界性估计。我们的结果构成了Rodino、Nicola和Cordero关于实典范关系所得结果的复形式类比。我们证明，在秩为 $\varkappa$ 的空间分解条件下，若算子的阶 $m$ 满足 $ m \leq -\varkappa\left|\frac{1}{p}-\frac{1}{2}\right|, 1 \leq p \leq \infty $，则相应的傅里叶积分算子在傅里叶-勒贝格空间 $\mathcal{F}L^p$ 上是有界的。关于阶 $m$ 的这一条件是最佳的。

5. $d=2$ 维薄膜方程弱解的 Hölder 连续性

Hölder continuity of weak solutions to the thin-film equation in $d=2$

作者: Federico Cornalba, Julian Fischer, Erika Maringová Kokavcová

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24809v1

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

摘要翻译

好的，请看以下翻译：

中文标题: $d=2$ 维薄膜方程弱解的 Hölder 连续性

摘要翻译: 薄膜方程 $\partial_t u = -\nabla \cdot (u^n \nabla Δu)$ 描述了粘性薄液膜在平坦固体表面上铺展时其高度 $u=u(x,t)\geq 0$ 的演化过程。我们证明了在物理上最具实际意义的二维空间 ($d=2$) 情形下，薄膜方程的能量耗散弱解具有 Hölder 连续性。尽管关于薄膜方程弱解的广泛存在性理论在二十多年前已经建立，但即使在 $d=2$ 维情形下，弱解的有界性问题在薄膜方程理论中仍是一个悬而未决的主要难题。由于薄膜方程的四阶结构，De Giorgi-Nash-Moser 理论在此不适用。我们的证明基于孔洞填充 (hole-filling) 技术，其挑战在于该四阶偏微分方程的退化抛物性。

6. 紧流形上 $p$-拉普拉斯算子的等容常数

Isocapacitary constants for the $p$-Laplacian on compact manifolds

作者: Lili Wang, Tao Wang

类别: math.DG, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24725v1

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

摘要翻译

中文标题: 紧流形上 $p$-拉普拉斯算子的等容常数

摘要翻译: 本文在紧流形上引入了 $p$-拉普拉斯算子的 Steklov 和 Neumann 等容常数。这些常数为 $(p,α)$-Sobolev 常数提供了双边估计；当 $α= 1$ 时，该估计退化为 $p$-拉普拉斯算子的第一个非平凡 Steklov 和 Neumann 特征值的上下界。

7. 具有一般Lévy测度的非局部方程的 $L_p$ 估计

$L_p$-estimates for nonlocal equations with general Lévy measures

作者: Hongjie Dong, Junhee Ryu

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24704v1

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

摘要翻译

好的，作为一名专业的学术翻译专家，我将为您翻译这篇关于非局部算子的数学论文摘要。翻译将严格遵循学术规范，确保术语的准确性和表达的专业性。

中文标题: 具有一般Lévy测度的非局部方程的 $L_p$ 估计

摘要翻译: 我们研究如下形式的非局部算子 \begin{equation*} L_t u(x) = \int_{\mathbb{R}^d} \left( u(x+y)-u(x)-\nabla u(x)\cdot y^{(σ)} \right) ν_t(dy), \end{equation*} 其中 $ν_t$ 是阶数为 $σ\in(0,2)$ 的一般Lévy测度。我们允许这类Lévy测度具有高度奇异性，并且对时间变量不施加任何正则性假设。我们证明了该算子的连续性，以及相应非局部抛物型方程在 $L_p$ 空间中的唯一强可解性。此外，我们还证明了，根据 $σ$ 和 $d$ 的取值范围，该算子可以在或不可以在加权混合范数空间中进行处理。

8. 一种面向含时对流-扩散问题的守恒物理结构统一时空公式化方法

A unified spatiotemporal formulation with physics-preserving structure for time-dependent convection-diffusion problems

作者: James H. Adler, Xiaozhe Hu, Seulip Lee

类别: math.AP, math.NA

发布日期: 2025-12-31

arXiv ID: 2512.24650v1

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

摘要翻译

中文标题: 一种面向含时对流-扩散问题的守恒物理结构统一时空公式化方法

摘要翻译: 我们针对含时对流-扩散问题，提出了一种保持底层物理结构的统一四维（4D）时空公式化方法。通过将时间视为额外的类空间坐标，我们将演化问题重新公式化为四维时空域上的稳态对流-扩散方程。利用外微积分，我们将此框架扩展到建立在 $H(\textbf{grad})$、$H(\textbf{curl})$ 和 $H(\text{div})$ 上的对流-扩散问题全族。所得公式化基于一个包含时空扩散张量和对流场的四维 Hodge-Laplacian 算子，并辅以微小的时间扰动以确保非退化性。该公式化方法自然地融入了基本的物理约束，包括无散度和无旋条件。我们进一步引入了指数拟合的四维时空通量算子，该算子实现了对流-扩散算子的对称化，并保证了适定的变分公式化。最后，我们证明了当扰动参数趋于零时，受时扰动的公式化收敛于原始的含时对流-扩散模型。

9. 孤子剖面：经典数值方案与基于神经网络的求解器

Soliton profiles: Classical Numerical Schemes vs. Neural Network - Based Solvers

作者: Chandler Haight, Svetlana Roudenko, Zhongming Wang

类别: nlin.PS, cs.LG, math.AP, math.NA

发布日期: 2025-12-31

arXiv ID: 2512.24634v1

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

摘要翻译

中文标题: 孤子剖面：经典数值方案与基于神经网络的求解器

摘要翻译: 本文针对一维色散偏微分方程（包括非线性薛定谔方程、非线性Klein-Gordon方程和广义KdV方程）的基态或孤立波解的剖面计算，对Petviashvili方法或带牛顿迭代的有限差分法等经典数值求解器与基于神经网络的方法进行了对比研究。我们证实，在一维设定下，针对单次实例问题，经典方法仍保持高精度和强大的计算效率。物理信息神经网络（PINNs）虽然也能复现定性解，但由于训练成本高昂且收敛速度较慢，在低维情况下，其准确性和效率通常低于经典求解器。我们还研究了算子学习方法，尽管其在训练阶段计算开销巨大，但能够在训练后针对众多参数实例进行复用和快速推理，这使其在涉及重复模拟或实时预测的应用中具有吸引力。然而，对于单次实例计算，算子学习方法的准确性通常仍低于经典方法或PINNs。

10. 全空间大阻尼随机薛定谔方程的多项式混合

Polynomial mixing for the stochastic Schrödinger equation with large damping in the whole space

作者: Hung D. Nguyen, Kihoon Seong

类别: math.PR, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24599v1

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

摘要翻译

中文标题: 全空间大阻尼随机薛定谔方程的多项式混合

摘要翻译: 我们研究了 $\mathbb{R}^d$（$d\le 3$）中随机非线性薛定谔方程的长时间混合行为。众所周知，在足够强的阻尼力作用下，系统具有唯一的遍历性，尽管趋于平衡的收敛速率尚不清楚。在本工作中，我们探讨了大阻尼情形下的混合性质，并证明了解以任意阶的多项式速率被吸引至唯一的不变概率测度。我们的方法基于耦合策略与逐路径 Strichartz 估计。

不相关论文（基本信息）

1. Dirac-Klein-Gordon 系统中孤立波的数值研究

Numerical study of solitary waves in Dirac–Klein–Gordon system

作者: Andrew Comech, Julien Ricaud, Marco Roque

类别: math-ph, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24954v1

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

摘要: We use numerics to construct solitary waves in Dirac–Klein–Gordon (in one and three spatial dimensions) and study the dependence of energy and charge on $ω$. For the construction, we use the iterative procedure, starting from solitary waves of nonlinear Dirac equation, computing the corresponding scalar field, and adjusting the coupling constant. We also consider the case of massless scalar field, when the iteration procedure could be compared with the shooting method. We use the virial identities to control the error of simulations. We also discuss possible implications from the obtained results for the spectral stability of solitary waves.

2. 泰特曲线上的格林函数

Green’s function on the Tate curve

作者: An Huang, Rebecca Rohrlich, Yaojia Sun, Eric Whyman

类别: math.NT, hep-th, math-ph, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24935v1

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

摘要: Motivated by the question of defining a $p$-adic string worldsheet action in genus one, we define a Laplacian operator on the Tate curve, and study its Green’s function. We show that the Green’s function exists. We provide an explicit formula for the Green’s function, which turns out to be a non-Archimedean counterpart of the Archimedean Green’s function on a flat torus.

3. 三维洛伦兹空间中类空与类时极小曲面的Liouville-Weierstrass对应

A Liouville-Weierstrass correspondence for Spacelike and Timelike Minimal Surfaces in $\mathbb{L}^3$

作者: Adriana A. Cintra, Iury Domingos, Irene I. Onnis

类别: math.DG, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24908v1

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

摘要: We investigate a correspondence between solutions $λ(x,y)$ of the Liouville equation

$$ Δλ= -\varepsilon e^{-4λ}, $$

and the Weierstrass representations of spacelike ($\varepsilon = 1$) and timelike ($\varepsilon = -1$) minimal surfaces with diagonalizable Weingarten map in the three-dimensional Lorentz–Minkowski space $\mathbb{L}^3$. Using complex and paracomplex analysis, we provide a unified treatment of both causal types. We study the action of pseudo-isometries of $\mathbb{L}^3$ on minimal surfaces via Möbius-type transformations, establishing a correspondence between these transformations and rotations in the special orthochronous Lorentz group. Furthermore, we show how local solutions of the Liouville equation determine the Gauss map and the associated Weierstrass data. Finally, we present explicit examples of spacelike and timelike minimal surfaces in $\mathbb{L}^3$ arising from solutions of the Liouville equation.

4. 奇异度量的Bol型不等式及其在预定$Q$-曲率问题中的应用

Bol’s type inequality for singular metrics and its application to prescribing $Q$-curvature problems

作者: Mrityunjoy Ghosh, Ali Hyder

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24828v1

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

摘要: In this article, we study higher-order Bol’s inequality for radial normal solutions to a singular Liouville equation. By applying these inequalities along with compactness arguments, we derive necessary and sufficient conditions for the existence of radial normal solutions to a singular $Q$-curvature problem. Moreover, under suitable assumptions on the $Q$-curvature, we obtain uniform bounds on the total $Q$-curvature.

5. 边界处具有爆破跳跃核的马尔可夫过程的热核估计

Heat kernel estimates for Markov processes with jump kernels blowing-up at the boundary

作者: Soobin Cho, Panki Kim, Renming Song, Zoran Vondraček

类别: math.PR, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24807v1

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

摘要: In this paper, we study purely discontinuous symmetric Markov processes on closed subsets of ${\mathbb R}^d$, $d\ge 1$, with jump kernels of the form $J(x,y)=|x-y|^{-d-α}{\mathcal B}(x,y)$, $α\in (0,2)$, where the function ${\mathcal B}(x,y)$ may blow up at the boundary of the state space. This extends the framework developed recently for conservative self-similar Markov processes on the upper half-space to a broader geometric setting. Examples of Markov processes that fall into our general framework include traces of isotropic $α$-stable processes in $C^{1,\rm Dini}$ sets, processes in Lipschitz sets arising in connection with the nonlocal Neumann problem, and a large class of resurrected self-similar processes in the closed upper half-space. We establish sharp two-sided heat kernel estimates for these Markov processes. A fundamental difficulty in accomplishing this task is that, in contrast to the existing literature on heat kernels for jump processes, the tails of the associated jump measures in our setting are not uniformly bounded. Thus, standard techniques in the existing literature used to study heat kernels are not applicable. To overcome this obstacle, we employ recently developed weighted functional inequalities specifically designed for jump kernels blowing up at the boundary.

6. 二维Allen-Cahn系统的半空间极小化解

Half-space minimizing solutions of a two dimensional Allen-Cahn system

作者: Zhiyuan Geng

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24610v1

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

摘要: This paper studies minimizing solutions to a two dimensional Allen-Cahn system on the upper half plane, subject to Dirichlet boundary conditions, \begin{equation*} Δu-\nabla_u W(u)=0, \quad u: \mathbb{R}+^2\to \mathbb{R}^2,\ u=u_0 \text{ on } \partial \mathbb{R}+^2, \end{equation*} where $W: \mathbb{R}^2\to [0,\infty)$ is a multi-well potential. We give a complete classification of such half-space minimizing solutions in terms of their blow-down limits at infinity. In addition, we characterize the asymptotic behavior of solutions near the associated sharp interfaces.

7. 一般阶数下的相变阈值与手征磁场

Phase transition thresholds and chiral magnetic fields of general degree

作者: Slim Ibrahim, Tatsuya Miura, Carlos Román, Ikkei Shimizu

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24598v1

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

摘要: We study a variational problem for the Landau–Lifshitz energy with Dzyaloshinskii–Moriya interactions arising in 2D micromagnetics, focusing on the Bogomol’nyi regime. We first determine the minimal energy for arbitrary topological degree, thereby revealing two types of phase transitions consistent with physical observations. In addition, we prove the uniqueness of the energy minimizer in degrees $0$ and $-1$, and nonexistence of minimizers for all other degrees. Finally, we show that the homogeneous state remains stable even beyond the threshold at which the skyrmion loses stability, and we uncover a new stability transition driven by the Zeeman energy.

8. 受扰动调和振子的时空奇点传播

Propagation of space-time singularities for perturbed harmonic oscillators

作者: Kenichi Ito, Tomoya Tagawa

类别: math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24582v1

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

摘要: We discuss propagation of space-time singularities for the quantum harmonic oscillator with time-dependent metric and potential perturbations. Reformulating the quasi-homogeneous wave front set according to Lascar (1977) in a semiclassical manner, we obtain a characterization of its appearance in comparison with the unperturbed system. The idea of our proof is based on the argument of Nakamura (2009), which was originally devised for the analysis of spatial singularities of the Schrödinger equation, however, the application is non-trivial since the time is no more a parameter, but takes a part in the base variables.

9. 古典柱面平均曲率流的分类与平均凸邻域猜想

Classification of ancient cylindrical mean curvature flows and the Mean Convex Neighborhood Conjecture

作者: Richard H. Bamler, Yi Lai

类别: math.DG, math.AP

发布日期: 2025-12-31

arXiv ID: 2512.24524v1

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

摘要: We resolve the Mean Convex Neighborhood Conjecture for mean curvature flows in all dimensions and for all types of cylindrical singularities. Specifically, we show that if the tangent flow at a singular point is a multiplicity-one cylinder, then in a neighborhood of that point the flow is mean-convex, its time-slices arise as level sets of a continuous function, and all nearby tangent flows are cylindrical. Moreover, we establish a canonical neighborhood theorem near such points, which characterizes the flow via local models. We also obtain a more uniform version of the Mean Convex Neighborhood Conjecture, which only requires closeness to a cylinder at some initial time and yields a quantitative version of this structural description. Our proof relies on a complete classification of ancient, asymptotically cylindrical flows. We prove that any such flow is non-collapsed, convex, rotationally symmetric, and belongs to one of three canonical families: ancient ovals, the bowl soliton, or the flying wing translating solitons. Central to our method is a refined asymptotic analysis and a novel \emph{leading mode condition,} together with a new ``induction over thresholds’’ argument. In addition, our approach provides a full parameterization of the space of asymptotically cylindrical flows and gives a new proof of the existence of flying wing solitons. Our method is independent of prior work and, together with our prequel paper, this work is largely self-contained.

10. 蜂窝光子晶体中光子霍尔效应的数学理论

Mathematical Theory for Photonic Hall Effect in Honeycomb Photonic Crystals

作者: Wei Li, Junshan Lin, Jiayu Qiu, Hai Zhang

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

发布日期: 2025-12-30

arXiv ID: 2512.24477v1

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

摘要: In this work, we develop a mathematical theory for the photonic Hall effect and prove the existence of guided electromagnetic waves at the interface of two honeycomb photonic crystals. The guided wave resembles the edge states in electronic systems: it is induced by the topological Hall effect, and the wave propagates along the interface but not in the bulk media. Starting from a symmetric honeycomb photonic crystal that attains Dirac points at the high-symmetry points of the Brillouin zone, $K$ and $K'$, we introduce two classes of perturbations for the periodic medium. The perturbations lift the Dirac degeneracy, forming a spectral band valley at the points $K$ and $K'$ with well-defined topological phase that depends on the sign of the perturbation parameters. By employing the layer potential techniques and spectral analysis, we investigate the existence of guided wave along an interface when two honeycomb photonic crystals are glued together. In particular, we elucidate the relationship between the existence of the interface mode and the nature of perturbations imposed on the two periodic media separated by the interface.

11. 带位移的非Fredholm算子的可解性条件

Solvability conditions for some non-Fredholm operators with shifted arguments

作者: Vitali Vougalter, Vitaly Volpert

类别: math.AP

发布日期: 2025-12-30

arXiv ID: 2512.24476v1

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

摘要: In the first part of the article we establish the existence in the sense of sequences of solutions in $H^{2}(R)$ for some nonhomogeneous linear differential equation in which one of the terms has the argument translated by a constant. It is shown that under the reasonable technical conditions the convergence in $L^{2}(R)$ of the source terms implies the existence and the convergence in $H^{2}(R)$ of the solutions. The second part of the work deals with the solvability in the sense of sequences in $H^{2}(R)$ of the integro-differential equation in which one of the terms has the argument shifted by a constant. It is demonstrated that under the appropriate auxiliary assumptions the convergence in $L^{1}(R)$ of the integral kernels yields the existence and the convergence in $H^{2}(R)$ of the solutions. Both equations considered involve the second order differential operator with or without the Fredholm property depending on the value of the constant by which the argument gets translated.

12. 声子输运方程中热反射系数重建的稳定性

Stability of the reconstruction of the heat reflection coefficient in the phonon transport equation

作者: Peiyi Chen, Irene M. Gamba, Qin Li, Anjali Nair

类别: math.AP

发布日期: 2025-12-30

arXiv ID: 2512.24394v1

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

摘要: The reflection coefficient is an important thermal property of materials, especially at the nanoscale, and determining this property requires solving an inverse problem based on macroscopic temperature measurements. In this manuscript, we investigate the stability of this inverse problem to infer the reflection coefficient in the phonon transport equation. We show that the problem becomes ill-posed as the system transitions from the ballistic to the diffusive regime, characterized by the Knudsen number converging to zero. Such a stability estimate clarifies the discrepancy observed in previous studies on the well-posedness of this inverse problem. Furthermore, we quantify the rate at which the stability deteriorates with respect to the Knudsen number and confirm the theoretical result with numerical evidence.