生成时间: 2026年01月15日 03:57:15

重点关注论文数量: 3

了解领域论文数量: 7

不相关论文数量: 8

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

1. 湍流数学定理

Mathematical Theorems on Turbulence

作者: Theodore D. Drivas

类别: physics.flu-dyn, math-ph, math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09619v1

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

详细分析

中文标题: 湍流数学定理

1. 研究对象和背景

本论文《Mathematical Theorems on Turbulence》（湍流数学定理）由 Theodore D. Drivas 撰写，主要关注流体力学中湍流现象的数学结构，特别是理想流体（欧拉方程）与实际流体（纳维-斯托克斯方程）之间的联系。论文的研究对象主要涉及以下数学方程系统及其产生的物理现象：

1. 理想不可压缩欧拉方程 (Incompressible Euler Equations) 这是描述无粘性流体运动的基本方程。在空间区域 $M \subset \mathbb{R}^d$ 上，速度场 $u(x,t)$ 和压力 $p(x,t)$ 满足：

$$ \partial_t u + u \cdot \nabla u = -\nabla p $$
$$ \nabla \cdot u = 0 $$
$$ u \cdot n |_{\partial M} = 0 $$

该方程组描述了流体运动的几何性质（测地线流），并拥有丰富的守恒律（如能量守恒、环量守恒）。然而，在三维情形下，欧拉方程的柯西问题是否在长时间内存在光滑解仍是未解决的难题。

2. 纳维-斯托克斯方程 (Navier-Stokes Equations) 这是描述粘性流体运动的方程，引入了运动粘度 $\nu > 0$：

$$ \partial_t u_\nu + u_\nu \cdot \nabla u_\nu = -\nabla p_\nu + \nu \Delta u_\nu + f $$
$$ \nabla \cdot u_\nu = 0 $$

论文关注高雷诺数（$Re \to \infty$）或低粘度（$\nu \to 0$）下的极限行为。

3. 湍流现象与标度律 (Scaling Laws) 论文重点分析了湍流中的统计特性，特别是速度增量的结构函数 (Structure Functions)。对于尺度 $\ell$，第 $p$ 阶绝对结构函数定义为：

$$ S_{u_\nu}^{(p)}(\ell) := \left( \frac{1}{T |M| S_{d-1}} \int_0^T \int_M \int_{S_{d-1}} |u_\nu(x+\ell z, t) - u_\nu(x, t)|^p \, d\sigma(z) \, dx \, dt \right)^{1/p} $$

在惯性区间（$\ell_\nu \ll \ell \ll L$），观察到的标度律为：

$$ S_{u_\nu}^{(p)}(\ell) \sim \left( \frac{\ell}{L} \right)^{\zeta_p} $$

论文旨在通过数学定理约束这些指数 $\zeta_p$ 的可能取值，并探讨反常耗散 (Anomalous Dissipation) 现象，即能量耗散率 $\varepsilon_\nu = \nu |\nabla u_\nu|^2$ 在 $\nu \to 0$ 时并不趋于零，而是趋于一个正的常数：

$$ \liminf_{\nu \to 0} \int_0^T \int_M \varepsilon_\nu(u_\nu) \, dx \, dt > 0 $$

区域与函数空间 研究主要在有界域 $M$ 上进行，强调边界在触发奇异行为中的作用。对于欧拉方程的解，文章讨论了 Hölder 空间 $C^{1,\alpha}$ 和 Sobolev 空间 $H^s$ 中的适定性。对于极限流，由于无法满足经典导数意义下的方程，研究进入了弱解空间或特定的 Besov 空间（如 $L^p_t B^{\sigma_p}_{p, \infty}$），其中 $\sigma_p$ 衡量了空间正则性。

2. 主要定理或主要结果

该论文是一篇综述性笔记，其主要结果是对现有定理的整理与解读，但也包含了关于奇异性和极限行为的重要结论。

定理 1.1 (经典存在性与有限时间爆破)

  • 存在性 (Lichtenstein-Gunther): 若初值 $u_0 \in C^{1,\alpha}(M)$，则存在时间 $T>0$，使得欧拉方程在 $C^{1,\alpha}$ 空间中存在唯一解。
  • 爆破 (Elgindi et al.): 存在 $\alpha \in (0,1)$ 和初值 $u_0 \in C^{1,\alpha} \cap L^2(\mathbb{R}^3)$，使得解 $u(T)$ 在有限时间 $T>0$ 不再属于 $C^1(\mathbb{R}^3)$。

定理 2.2 (弱欧拉解的涌现) 假设纳维-斯托克斯解族 $\{u_\nu\}$ 满足 $p$ 阶结构函数的统一界：

$$ S_{u_\nu}^{(p)}(\ell) \lesssim \ell^{\zeta_p} $$

其中 $\zeta_p > 0$。则 $\{u_\nu\}$ 在 $L^p$ 中预紧，且其子序列强收敛到一个分布意义下的欧拉方程弱解 $u_\infty$。这意味着，在湍流极限下，欧拉方程在分布意义下成立。

定理 5.1 (朗道反对与勒让德变换约束) 针对 Kolmogorov 1941 理论预测的标度指数 $\zeta_p = p/3$，Landau 指出由于能量耗散场 $\varepsilon$ 的间歇性（Intermittency），该公式需要修正。利用变分原理（朗道反对），推导出 $\zeta_p$ 必须满足以下约束：

$$ \frac{\zeta_p}{p} \leq \min_{q \geq 0} \frac{\zeta_q + 2}{q + 2} $$

以及通过勒让德变换得到的另一约束：

$$ \frac{\zeta_p}{p} \leq \frac{\zeta_{p-2} + 2}{p} $$

这些定理为湍流标度律提供了严格的数学边界。

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

本论文的分析方法主要集中在调和分析、泛函分析以及动力系统中的紧性论证上。以下是核心工具的详细描述：

a) 核心分析学工具

  1. Besov 空间与结构函数 (Besov Spaces and Structure Functions): 论文利用结构函数与 Besov 范数之间的等价性（Lemma 2.1）将物理观测转化为数学量。

    • 技术细节：文章指出，若 $u \in L^p_t B^{\sigma_p}_{p, \infty}$（其中 $\sigma_p = \zeta_p/p$），则满足相应的结构函数界。这种转化使得利用调和分析工具估计解的正则性成为可能。
    • 应用：通过控制结构函数，可以直接应用 Besov 空间的嵌入定理和紧性定理。

  2. 紧性原理 (Compacity Principles): 这是处理粘性消失极限（$\nu \to 0$）的核心。

    • Aubin-Lions-Simon 引理： 用于证明 Navier-Stokes 解序列的强预紧性。该引理结合了 $L^p$ 空间的时间紧性（通过 $L^p_t B^{\sigma_p}_{p,\infty}$ 控制）和空间紧性，从而提取强收敛子列。
    • Fréchet-Kolmogorov 紧性定理： 用于判定一族函数在 $L^p$ 空间中的紧性，依赖于空间平移连续性的统一模估计。

  3. 弱解理论 (Weak Solution Theory): 由于湍流解极其粗糙（非光滑），传统的微分方程意义不再适用。论文采用了分布导数（distributional derivative）定义弱解。欧拉方程的弱形式为：

    $$ \int_0^T \int_M (u \cdot \partial_t \varphi + u \otimes u : \nabla \varphi) \, dx \, dt = 0 $$

    其中 $\varphi$ 是光滑、无散的向量场。这种形式允许处理导数不存在的极限函数。

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

  1. 克服非线性项的困难 ($u \cdot \nabla u$):

    • 难题： 欧拉方程的非线性项 $u \cdot \nabla u$ 在 $L^2$ 空间中甚至不是良定义的，因为只需要 1 个导数，而 $L^2$ 函数不一定可导。
    • 技巧： 论文通过假设正则性提升来克服这一难题。如果假设解在 $L^p$ 空间中具有 $\sigma_p$ 阶正则性（通过结构函数界），使得 $\sigma_p > 1 - d/p$，则可以通过 Besov 空间的代数性质（Algebra property）或嵌入定理证明非线性项是良定义的。特别是，Lemma 2.3 说明了空间正则性如何暗示时间正则性，从而在空间-时空框架下平衡了非线性项的要求。

  2. 处理奇异性和反常耗散 (Singularities and Anomalous Dissipation):

    • 难题： 湍流涉及能量从大尺度向小尺度的级联，并最终在耗散尺度被粘性耗散。在无粘极限下，理论上能量应该守恒，但湍流中观察到反常耗散（能量耗散率为正）。
    • 技巧： 论文采用反证法和约束论证。例如，为了证明能量不守恒（或环量不守恒），文章分析了弱解的守恒律。通过乘子法（Multiplier Method），文章指出要使能量守恒成立，解必须满足一定的 Hölder 连续性（如 $C^{0,1/3}$，这是 Onsager 的经典结果）。如果解正则性低于此阈值（即在 Besov 空间 $B^{\zeta_2/2}_{2, \infty}$ 中 $\zeta_2 < 1$），则能量守恒方程在分布意义下不再成立，从而解释了反常耗散的数学可能性。

  3. Landau 反对与变分约束 (Landau’s Objection via Variational Principles):

    • 技巧： 为了不依赖于具体的唯象模型（如 $\beta$-模型），文章使用了朗道（Landau）提出的基于自由能或耗散势的反对论证。这种方法不直接求解湍流场，而是利用物理系统的变分结构导出标度指数 $\zeta_p$ 的凸性约束。
    • 具体而言，通过考虑能量耗散 $\varepsilon$ 的统计分布，利用拉格朗日乘子法和勒让德变换（Legendre transform），推导出 $\zeta_p$ 必须满足的一组不等式。这是一种纯粹的几何/变分技巧，用于约束理论的可能形式。

4. 与之前工作的比较

该论文通过对经典理论的数学重构，澄清了许多长期存在的概念模糊之处，并在以下几个方面体现了其相对于既有文献的改进或深化：

a) 澄清与改进 Kolmogorov 理论 (K41)

  • 既有工作： Kolmogorov 1941 (K41) 理论基于局部各向同性和自相似假设，预测了著名的 $E(k) \sim k^{-5/3}$ 谱律以及结构函数指数 $\zeta_p = p/3$。然而，K41 在数学上是非严格的，因为它假设了场的性质（如无限可微的平滑性）与最终的标度结果（粗糙性）之间的矛盾。
  • 本文贡献： 论文将 K41 的结果置于现代分析的框架下。它证明了 K41 的预测实际上对应于 $L^p$ 空间中 $\zeta_p = p/3$ 的正则性，即 $B^{1/3}_{3, \infty}$ 空间。
  • 改进点： 论文引入了 4/3 法则 (4/3 Law) 和 4/5 法则 (4/5 Law) 的严格数学版本。特别是，文章指出 Onsager (1949) 的工作实际上早于 Kolmogorov 但被长期忽视。Onsager 证明了如果解属于 $C^{0,\alpha}$ 且 $\alpha > 1/3$，则能量守恒；如果 $\alpha \le 1/3$，则可能存在能量耗散。本文详细阐述了这一数学事实如何成为 K41 的“反对者”或修正者，因为它揭示了 K41 预测的临界正则性恰好位于守恒与非守恒的边界上。

b) 纳维-斯托克斯极限的严谨化

  • 既有工作： 在处理 $\nu \to 0$ 极限时，传统流体力学往往直接假设极限解是欧拉方程的经典解，或者仅停留在形式推导。
  • 本文贡献： 本文强调了 紧性论证 (Compactness) 的核心作用。利用 Lemma 2.1 将物理上测量的结构函数界转化为数学上的 Besov 估计，再结合 Theorem 2.2，严谨地证明了只要 Navier-Stokes 解的结构函数满足统一的正则性假设，其极限必然是欧拉方程的弱解。
  • 比较： 这一视角比单纯依赖“强解收敛”更符合物理现实，因为它允许解在极限过程中丢失光滑性（发生奇异性），只要保留足够的紧性以通过分布意义下的欧拉方程测试。这为湍流中“奇异但物理相关”的解提供了合法的数学地位。

c) Landau 反对的数学形式化

  • 既有工作： Landau 和 Lifshitz 在其经典著作中指出了 Kolmogorov 理论的缺陷，即耗散率 $\varepsilon$ 不是常数而是随空间和时间剧烈波动的（间歇性）。这种反对通常是定性的。
  • 本文贡献： 论文将 Landau 的反对形式化为严格的数学不等式。通过分析能量级联过程中的随机性，利用随机乘数和变分原理（类似于推导哈密顿-雅可比方程的方法），得出了 $\zeta_p$ 必须满足的不等式组。
  • 改进点： 这种形式化使得理论预测不再依赖于特定的湍流“模型”（如随机级联模型），而是由守恒律的结构本身决定。它证明了任何合理的湍流理论必须位于这些不等式定义的可行域内，从而为后续的模型构建提供了严格的筛选标准。

d) 模型问题的统一处理 (Burgers 与 标量湍流)

  • 既有工作： Burgers 方程和被动标量输运常被作为湍流的简化模型单独研究。
  • 本文贡献： 论文在第 6 节将它们统一在相同的分析框架下。例如，在 Burgers 方程中，激波的形成对应于 $C^{0,1/3}$ 正则性的破坏，这直接对应于 Onsager 的临界阈值。对于被动标量，Kraichnan 模型允许精确计算结构函数指数，展示了如何从随机强迫模型中得到具体的 $\zeta_p$ 偏离 $p/3$ 的情况。
  • 比较： 通过与这些可解模型的对比，论文展示了通用的数学机制——即解的正则性直接决定了能量或方差的耗散性质。这使得从简单的非线性 PDE 中获得的洞察力能够直接推广到复杂的三维欧拉和纳维-斯托克斯系统。

综上所述，Drivas 的这篇论文通过对经典文献的现代数学重述，搭建了一座连接 20 世纪物理直觉与 21 世纪分析严谨性之间的桥梁。它没有提供新的单一“定理”解决湍流问题，而是提供了一套约束性定理，限定了任何湍流理论必须遵循的数学边界。

2. Rothe 方法下 Navier-Stokes 型变分不等式的局部时间强可解性

Local-in-time strong solvability of Navier–Stokes type variational inequalities by Rothe’s method

作者: Takahito Kashiwabara

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09190v1

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

详细分析

中文标题: Rothe 方法下 Navier-Stokes 型变分不等式的局部时间强可解性

研究对象和背景

本文主要研究定义在 Hilbert 空间 $V$ 上的一类抛物型变分不等式（Parabolic Variational Inequalities, PVI）。这类不等式包含两类非线性项：一类是 Navier-Stokes 型非线性项，由双线性算子 $B: V \times V \to V'$ 表示；另一类是单调型非线性项，由凸、真、下半连续泛函 $\varphi : V \to (-\infty, +\infty]$ 的次微分 $\partial \varphi$ 描述。

文章考虑的数学模型具体形式如下：给定外部力 $f : [0,T] \to H$ 和初值 $u_0 \in V$，寻找函数 $u: [0,T] \to V$，使得 $u(0)=u_0$，且对几乎所有的 $t \in (0,T)$，成立：

$$ (\partial_t u(t), v - u(t)) + a(u(t), v - u(t)) + \langle B(u(t), u(t)), v - u(t) \rangle + \varphi(v) - \varphi(u(t)) \ge (f(t), v - u(t)), \quad \forall v \in V. $$

这里使用的是标准的对偶对记号：$H$ 是中间 Hilbert 空间，$V \subset H \subset V'$ 构成 Gelfand 三元组，$(\cdot, \cdot)$ 表示 $H$ 中的内积，$\langle \cdot, \cdot \rangle$ 表示 $V'$ 与 $V$ 之间的对偶配对。时间导数 $\partial_t u(t)$ 是在 $H$ 意义下的弱导数。

该模型旨在涵盖广泛的流体动力学问题，特别是非牛顿流体（如 Bingham 流体）或带有非标准边界条件的 Navier-Stokes 方程。背景中提到的典型应用包括：

  1. 三维不可压缩 Navier-Stokes 方程：取 $H = \{ v \in L^2(\Omega)^3 \mid \text{div } v = 0 \}$，$V = \{ v \in H^1_0(\Omega)^3 \mid \text{div } v = 0 \}$，$a(u, v) = (\nabla u, \nabla v)$，$B(u, v) = (u \cdot \nabla) v$。此时 $\varphi$ 可能为 0（对应标准方程）或指示函数（对应障碍问题）。
  2. 带摩擦边界条件的泄漏问题（Leak boundary condition of friction type, LBCF）：这是本文动机之一。传统的 Navier-Stokes 方程分析常依赖于对流项的抵消性质 $\langle B(u, v), v \rangle = 0$，这通常需要满足 impermeability 条件 $u \cdot \nu = 0$（在边界上无穿透）。然而，对于泄漏问题（允许流体穿过边界），这一性质不再成立。本文试图在不假设这一抵消性质的情况下研究解的性质。
  3. Bingham 流体（Bingham fluid）：一种非牛顿流体，其应力由粘性部分和塑性部分组成。文中第 3.4 节给出了带有完美滑移边界条件的 Bingham 问题作为例子。

研究区域 $\Omega \subset \mathbb{R}^d$ 通常是边界光滑的有界区域。函数空间的选择取决于具体的边界条件，但核心结构 $V \subset H \subset V'$ 保持不变。文章的一个关键假设是 $V$ 紧嵌入 $H$，这对于紧凑性论证至关重要。

主要定理或主要结果

本文证明了两个主要定理，分别对应于解的不同正则性层级。以下列出核心假设（H1-H5）及定理内容：

核心假设 (H1)-(H5) 摘要：

  • (H1) (松弛的抵消性质/能量估计)：$|\langle B(u,v),v \rangle| \le C \|u\|_V \|v\|_V \|v\|_H^\beta \|v\|_V^{1-\beta}$，其中 $\beta \in (0,1]$。这允许对流项具有某种形式的可控增长。
  • (H2) (弱连续性)：$B(u, \cdot)$ 和 $B(\cdot, u)$ 在弱收敛下保持连续性。
  • (H3), (H4) (正则性提升)：如果变量之一属于更正则的空间 $W$（通常 $W \subset V$ 是 $H^2$ 类型的空间），则 $B$ 的值属于 $H$ 或范数受到控制。
  • (H5) (椭圆正则性)：对应的定态 Stokes 问题（即 $A + \partial \varphi$）具有正则性提升结构。即如果 $f \in H$ 且 $f \in (A + \partial \varphi)(u)$，则 $u \in W$（具有 $H^2$ 正则性）。

定理 2.1 (局部强可解性) 假设： 满足 (H1)-(H5)。设 $f \in L^2(0,T; H)$，初值 $u_0 \in D(\varphi) \subset V$。 结论： 存在 $T_* \in (0, T]$ 和唯一的解 $u$，满足：

$$ u \in H^1(0, T_*; H) \cap L^\infty(0, T_*; V) \cap L^2(0, T_*; W). $$

这表示解在时间上是绝对连续的（在 $H$ 中），在空间上具有 $V$ 的一致有界性和 $W$ 的平方可积性（即对应于 $H^2$ 空间）。

定理 2.2 (更高正则性/连续时间导数) 假设： 满足 (H1)-(H5)。设 $f \in W^{1,1}(0,T; H)$，初值 $u_0 \in W \cap D(\partial \varphi)$ 且 $(A + \partial \varphi)(u_0) \cap H \neq \emptyset$。 结论： 存在 $T_* \in (0, T]$ 和唯一的解 $u$，满足：

$$ u \in W^{1,\infty}(0, T_*; H) \cap H^1(0, T_*; V) \cap L^\infty(0, T_*; W). $$

这比定理 2.1 更强，意味着解的时间导数在 $L^\infty$ 中，即解在时间上是 Lipschitz 连续的（在 $H$ 中）。此外，(1.3) 对所有 $t \in [0, T_*)$ 成立，且 $\partial_t u(t)$ 被右导数代替。

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

本文采用了 Rothe 方法（Rothe’s method），即时间离散化方法，结合了不动点理论、单调算子理论和紧性方法。这种方法在处理变分不等式和非线性演化方程时具有独特的优势，尤其是当伽辽金方法（Galerkin method）难以获得高正则性时。

a) 核心分析学工具

  1. 时间离散化（Rothe Method）与半隐式格式： 文章构建了如下的时间离散格式（第 5 节）：

    $$ \left( \frac{u^n - u^{n-1}}{\Delta t}, v - u^n \right) + a(u^n, v - u^n) + \langle B(u^{n-1}, u^n), v - u^n \rangle + \varphi(v) - \varphi(u^n) \ge (f^n, v - u^n). $$

    这是一个半隐式格式：线性主部 $A$ 和单调项 $\partial \varphi$ 是全隐式的（在 $n$ 时刻），而非线性对流项 $B$ 是显式的（使用 $n-1$ 时刻的值）。这种格式的选择是技术关键（见下文难点分析）。

  2. 不动点理论与伪单调算子（Pseudo-monotone Operators）： 在第 4 节（定态问题）和第 5 节（离散解的存在性）中，作者需要求解形如 $\lambda u + Au + B(w, u) + \partial \varphi(u) \ni f$ 的变分不等式。这里没有直接使用单调算子理论（因为 $B$ 通常是非单调的），而是利用了 $B$ 的 伪单调性（Hypothesis H2）。文章引用了 Brezis-Serre 等人的结果，证明算子 $L(u) = \lambda u + Au + B(w, u)$ 是伪单调且强制的（coercive），从而保证解的存在性。

  3. 不动点定理（Banach Fixed Point Theorem）： 虽然没有显式地在主定理证明中写成 $F(x)=x$ 的形式，但在构造定态 Oseen 问题解（Lemma 4.1）以及在离散格式的归纳构造中，隐含了局部存在性的论证：通过限制时间步长 $\Delta t$ 或解的大小，保证映射是压缩的或满足 Schauder 不动点定理的条件。

  4. Gronwall 不等式及其离散版本： 这是能量估计的核心。在第 5 节的 Proposition 5.1 和 Lemma 5.1 中，作者导出了一类差分不等式。由于 $B$ 项缺乏抵消性质且是非单调的，直接估计会产生高阶项。作者通过巧妙的变量代换（定义 $c_n, d_n$）将非线性项转化为可处理的形式，并利用离散 Gronwall 引理（Lemma 5.1）获得了 $\{u^n\}$ 在 $L^\infty(V)$ 和 $L^2(W)$ 中的一致有界性。

  5. 紧性与插值（Aubin-Lions 引理）： 为了从离散序列 $\{u^n\}$ 通过 $\Delta t \to 0$ 恢复连续解，必须使用紧性嵌入定理。文章定义了插值函数 $u_{\Delta t}, \hat{u}_{\Delta t}$ 等，并利用 Aubin-Lions 紧性引理（第 6 节），证明了 $w_{\Delta t} \to w$ 在 $C([0,T]; H) \cap L^2(0,T; V)$ 中强收敛。这是通过弱收敛传递极限的关键步骤。

  6. Moreau 正则化（Moreau Regularization）： 在证明离散不等式在极限过程中保持凸泛函 $\varphi$ 的性质时（Lemma 6.2），文章利用了 $\varphi$ 的 Moreau-Yosida 近似 $\varphi_\lambda$。这一工具保证了对积分形式的 Jensen 不等式 $(6.2)$ 成立，从而能够处理 $\varphi(v)$ 在积分意义下的弱下半连续性。

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

  1. 放宽抵消性质与半隐式格式的引入：

    • 难题：传统的流体动力学分析极度依赖 $\langle B(u, v), v \rangle = 0$（或 $\ge 0$）进行能量估计。对于泄漏边界条件（LBCF）或一般的 $B$，这一项可能是负的或不可控的，导致能量增长无法抑制。
    • 技巧：作者引入了假设 (H1)，它允许 $B$ 项以范数的某种组合形式增长（涉及 $\|v\|_H^\beta$）。这使得可以通过 Young 不等式吸收误差项。
    • 格式选择：为什么使用半隐式格式？Remark 5.1 指出，如果使用全隐式格式（即 $B(u^n, u^n)$），离散不等式将变为 $x_n - x_{n-1} \le M(x_n^{\theta+1} + \dots)$，这种类型的非线性差分方程很难直接应用 Gronwall 不等式求解。而半隐式格式 $B(u^{n-1}, u^n)$ 使得不等式变为 $x_n - x_{n-1} \le M(x_{n-1}^{\theta} x_n + \dots)$，这允许作者在 Lemma 5.1 中利用凹凸性技巧进行估计。

  2. 处理变分不等式中的单调项 $\varphi$：

    • 难题：$\varphi$ 是一个多值算子的势函数，不能像光滑函数那样直接微分。
    • 技巧：在离散格式求解（第 4 节）时，利用了定态变分不等式解的存在唯一性定理。在连续极限（第 6 节）时，利用 $\varphi$ 的凸性导出 Jensen 不等式，确保了积分形式的变分不等式成立，进而通过 Lebesgue 微分定理恢复点态形式。

  3. 局部时间存在性（Local-in-time）的来源：

    • 难题：由于 $B$ 的非单调性和缺乏抵消性质，能量估计无法给出全局（Global）的先验界。
    • 技巧：在 Lemma 5.1 和 Corollary 5.1 中，离散 Gronwall 引理的应用条件（5.6）要求 $n\Delta t$ 足够小，或者初始数据 $u_0$ 满足特定条件（导致 $\beta$ 足够大）。这自然导出了局部存在时间 $T_*$。如果满足特殊条件（如 2D 或小数据），则 $T_*$ 可以扩展到全局（Remark 5.2, 6.1）。

  4. 正则性提升（Regularity Lifting）：

    • 难题：从 $V$ 空间的解跳跃到 $W$（$H^2$）空间的解。
    • 技巧：这主要依赖于 (H5)。该假设本质上是一个“黑色箱”：如果定态问题有解，则解必正则。在 Lemma 4.2 中，通过逼近 $w \in V$ 为 $w_j \in W$，利用 (H3), (H4) 控制 $B(w_j, u)$ 项，从而利用 (H5) 证明 $u_j$ 在 $W$ 中有界，最后取极限得到 $u \in W$。这一结构使得 $H^2$ 正则性在整个时间演化中得以保持（在 $L^2$ 或 $L^\infty$ 意义下）。

与之前工作的比较

本文在 Navier-Stokes 型变分不不等式的理论研究中，针对特定的边界条件和正则性要求，做出了显著的改进。

a) 放宽假设条件

  1. 放弃抵消性质 $\langle B(u, v), v \rangle = 0$：

    • 旧工作：文献 [4] (Brezis), [16], [18], [21] 等在处理此类不等式时，大多假设了 $\langle B(u, v), v \rangle = 0$ 或类似的单调性条件。这一性质对于能量估计至关重要，但它依赖于特定的边界条件，例如齐次 Dirichlet 边界或 impermeability 条件 ($u \cdot \nu = 0$)。
    • 本文改进：本文明确指出不假设此性质（见 Introduction 第 1 段末尾及 Remark 1.1）。这意味着本文的方法适用于更广泛的边界条件，特别是 LBCF（泄漏边界条件） 和 Signorini 类型的边界条件。这解决了现有理论在处理“泄漏”流体时的空白。

  2. 维度的推广：

    • 旧工作：文献 [4] 虽然处理了 Navier-Stokes 型不等式，但仅限于二维情形（2D）。这是因为 2D 有 $L^4$ 嵌入，使得非线性项可控；而在 3D 中，若无抵消性质，通常无法获得强解。
    • 本文改进：本文的方法涵盖了三维情形（$d=3$）。虽然存在时间是局部的，但这在非单调或特殊边界条件下是一个非平凡的结果。

b) 结果的强度（正则性与存在性）

  1. 更高的空间正则性（$H^2$ 正则性）：

    • 旧工作：许多处理摩擦边界或泄漏边界的工作（如 [14]）只能证明解在 $W^{1,\infty}(0,T; L^2(\Omega))$ 或 $L^2(0,T; H^1(\Omega))$ 中的存在性，即无法获得二阶导数（$H^2$）的信息。文献 [13] 虽然能获得 $H^2$，但依赖于 Stokes 算子的线性结构（特征函数展开），这不适用于非线性边界条件（如 LBCF）。
    • 本文改进：本文证明了 $u \in L^\infty(0,T; W)$ 或 $L^\infty(0,T; W)$，其中 $W$ 对应于 $H^2$ 空间。这是通过引入假设 (H5) 并结合 Rothe 方法实现的。这意味着解不仅存在，而且具有经典解所需的足够高的空间光滑性（在空间上是 $H^2$，在时间上是 $H^1$ 或 $W^{1,\infty}$）。

  2. 方法的创新性（半隐式 Rothe 方法）：

    • 旧工作：在流体不等式中，Rothe 方法常被使用，但通常是全隐式格式配合截断技巧（Truncation technique, 如 [11] 中的 Bingham 问题）。全隐式虽然稳定，但处理起来繁琐且可能丢失部分物理性质。
    • 本文改进：本文提出了半隐式格式（Convection velocity taken from previous time step）。正如 Remark 5.1 所强调的，这种格式使得非线性项在离散能量估计中呈现 $x_{n-1}^\theta x_n$ 的形式，这是应用离散 Gronwall 引理的关键，而全隐式则做不到这一点。此外，这是首次在 Rothe 方法中对这类问题采用这种局部时间论证，具有独立的理论价值。

总结来说，Kashiwabara 的这篇论文通过引入更灵活的假设（H1-H5）和精巧的时间离散格式（半隐式 Rothe 方法），成功地统一并推广了带有非单调对流项的抛物型变分不等式的理论框架，特别是解决了在缺乏流体守恒性质（抵消性质）的情况下，三维流体在泄漏或摩擦边界条件下的局部强解存在性与高正则性问题。

3. 原始方程的单指数 $H^1$-上界估计

Single exponential $H^1$-upper bounds for the primitive equations

作者: Takahito Kashiwabara

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09183v1

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

详细分析

中文标题: 原始方程的单指数 $H^1$-上界估计

1. 研究对象和背景

本文研究的数学对象是三维原始方程（3D Primitive Equations, PEs），这是一类描述大尺度大气和海洋地理流体动力学的基本方程组。原始方程组在物理上是从不可压缩的Navier-Stokes方程出发，通过考虑地球旋转效应（Coriolis force）、压力梯度以及重力，并在垂直方向上利用静力平衡近似（hydrostatic approximation）推导出来的。这种近似对于大尺度流动是合理的，因为它忽略了垂直方向上的对流项。

在数学模型中，作者考虑一个三维长方体区域 $\Omega = G \times (-h, 0)$，其中 $G = (0, 1)^2$ 是水平方向的周期性单位正方形，$-h$ 和 $0$ 分别代表底部和顶部的深度（$h > 0$）。坐标系记为 $(x, y, z)^\top$，其中 $(x, y)$ 为水平坐标，$z$ 为垂直坐标（向上为正，$z=0$ 对应表面）。

系统的未知量包括：

  • 速度场：$u = (v, w)^\top$，其中 $v(x, y, z) \in \mathbb{R}^2$ 是水平速度分量，$w(x, y, z) \in \mathbb{R}$ 是垂直速度分量。
  • 压力：$p$（或记为 $\pi$），在原始方程中，通常假设压力的垂直变化主要由静水压力决定，因此在某些重构中压力仅依赖于水平变量，但在推导过程中仍视为全空间变量。

该系统的数学方程组（方程 (1.1)）如下：

$$ \begin{cases} \partial_t v + u \cdot \nabla v - \Delta v + \nabla_H \pi = 0 & \text{in } \Omega \times (0, T), \\ \partial_z \pi = 0 & \text{in } \Omega \times (0, T), \\ \text{div } u = 0 & \text{in } \Omega \times (0, T), \end{cases} $$

其中 $\nabla_H = (\partial_x, \partial_y, 0)^\top$ 是水平梯度算子，$\nabla = (\partial_x, \partial_y, \partial_z)^\top$ 是全梯度算子，$\Delta = \text{div} \nabla$ 是拉普拉斯算子，$\text{div } u = \text{div}_H v + \partial_z w$，$\text{div}_H v = \partial_x v_1 + \partial_y v_2$。

由 $\partial_z \pi = 0$ 可知压力 $\pi$ 仅是 $(x, y)$ 的函数，即 $\pi = \pi(x, y)$。此外，该方程组通常与以下关系式联立（方程 (1.5)）：

$$ w(x, y, z) = -\int_{-h}^z \text{div}_H v(x, y, \zeta) \, d\zeta, $$

这是由不可压缩条件 $\text{div } u = 0$ 结合边界垂直速度为零推导出的。同时，水平平均后的垂直速度 $\bar{v} := \frac{1}{h} \int_{-h}^0 v(x, y, z) \, dz$ 必须满足 $\text{div}_H \bar{v} = 0$。

边值条件与函数空间： 文章考虑了两类边界条件，分别对应不同的物理场景和数学处理难度：

  1. Neumann 边界条件 (Case 1.3)：在上边界 $\Gamma_u = G \times \{0\}$ 和下边界 $\Gamma_b = G \times \{-h\}$ 上，满足 $\partial_z v = 0, w = 0$。水平侧边界 $\Gamma_l = \partial G \times [-h, 0]$ 满足周期性条件。这种条件允许流体穿过水平边界（垂直无通量），但不允许滑移。这种情况下，由于均值 $\bar{v}$ 可能不为零，标准的 Poincaré 不等式对 $v$ 不适用，这给获得一致时间估计带来了困难。
  2. Dirichlet 边界条件 (Case 1.4)：在上边界和下边界上，满足 $v = 0, w = 0$。侧边界仍为周期性。这种混合型边界条件（水平无滑移，垂直无穿透）在数学上可以通过反射原理转化为纯 Dirichlet 问题处理。

初始条件： 给定初始数据 $v(x, 0) = a(x)$。

文章主要关注强解（strong solution）的 $H^1$-先验估计，即解 $v$ 在 $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$ 空间中的正则性。

2. 主要定理或主要结果

论文的核心贡献是建立了三维原始方程解的 单指数 $H^1$-上界估计，改进了此前文献中普遍存在的双指数上界。

定理 1 (Theorem 1)： 假设初始数据 $a \in H^1(\Omega)$ 且 $a_z := \partial_z a \in L^3(\Omega)$，同时满足兼容性条件：$\text{div}_H \bar{a} = 0$，水平周期性，以及在 Dirichlet 边界条件情形下满足 $a=0$（在 $\Gamma_b$ 上）。则对应于边界条件 (1.3) 或 (1.4) 的方程 (1.1)-(1.2) 的解 $v$ 满足以下估计：

$$ \|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \le B(a) e^{C \|a\|_{L^2(\Omega)}^2} \quad \forall t \in [0, T], $$

其中 $B(a)$ 是 $\|a\|_{H^1(\Omega)}$ 和 $\|a_z\|_{L^3(\Omega)}$ 的多项式函数，$C$ 是仅依赖于 $\Omega$ 的正常数。

注记 (Remark 1)：

  1. 由于该 $H^1$-界与时间 $T$ 无关，因此该估计可以推广到全局时间 $t \to \infty$。
  2. 对于 Neumann 边界情形，这是首个在缺乏 Poincaré 不等式条件下获得的全局一致 $H^1$-上界。
  3. 对于 Dirichlet 边界情形，虽然本文主要关注单指数上界，但指出利用 Poincaré 不等式可能导出随时间指数衰减的界（尽管本文未直接证明）。

此外，作为证明的中间步骤，文章还给出了以下重要结果（Proposition 1）： 对于 Neumann 边界情形，若初始数据满足 $a \in H^1(\Omega) \cap L^8(\Omega)$, $a_z \in L^4(\Omega)$，则存在依赖于时间的 $H^1$-估计：

$$ \|v(t)\|_{H^1(\Omega)} \le B(a,t) e^{C(\sqrt{t}+1)\|a\|_{L^2(\Omega)}^2}. $$

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

本文的证明主要依赖于精细的能量估计方法，特别是对非线性项 $w v_z$ 的处理。作者巧妙地结合了不同 $L^p$ 范数的估计来控制非线性项中各部分的抵消，从而避免了对数 Sobolev 不等式和 Gronwall 不等式的“双指数”放缩。

a) 核心分析学工具

  1. 能量不等式 (Energy Method)：这是 PDE 估计的基石。通过对动量方程 $v$ 和 $v_z$ 分别乘以 $v$、$|v|^{q-2}v$、$-\Delta v$、$-\partial_z (|v_z|^{r-2}v_z)$ 等测试函数并积分，建立微分不等式。
  2. 插值不等式与嵌入定理：广泛使用了 Sobolev 嵌入定理（如 $H^1 \hookrightarrow L^6$, $L^4$ 等）以及 Gagliardo-Nirenberg 型不等式来处理乘积项。例如，估计 $\|w v_z\|_{L^2}$ 时，利用了关系式 $w = -\text{div}_H \int_{-h}^z v \, d\zeta$，将 $w$ 的范数转化为 $v$ 的水平导数 $\nabla_H v$ 的范数。
  3. 加权 Gronwall 不等式：用于从微分不等式中提取解的一致时间估计。
  4. Calderón-Zygmund 不等式：用于估计压力项 $\nabla_H \pi$。由于压力是通过求解 Poisson 方程得到的椭圆算子的逆，该不等式将压力的 $L^q$ 范数与源项（速度的二次项）的 $L^q$ 范数联系起来。

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

论文的核心难点在于控制“最困难的非线性项”——$w v_z$。在能量估计中，这一项通常表现为 $\int w v_z \cdot \Delta v$ 或其变体。如果不加选择地放缩，很容易导致双指数增长（Cao-Titi 的经典工作即面临此问题）。本文的突破在于根据不同的边界条件和目标范数，拆解并平衡了这一项的各个部分。

1. Neumann 边界情形（Proposition 1 的证明）：时间依赖的单指数估计

  • 策略：直接估计 $L^4$ 和 $L^8$ 范数。
  • 难点：非线性项 $w v_z$ 在能量方程中产生形如 $\int w v_z \cdot \Delta v$ 的项。
  • 技巧：
    • 利用 anisotropic 估计（方程 2.14）：将 $\|w v_z\|_{L^2}$ 拆解为 $\|\nabla_H v\|_{L^2}^{1/2} \|\nabla v\|_{H^1}^{1/2} \|v_z\|_{L^4}$。
    • 这里的关键在于结合了 $v$ 的 $L^4$ 估计和 $v_z$ 的 $L^4$ 估计。通过中间步骤（Step 1 和 Step 2），建立了 $v$ 的 $L^q$ ($q=4,8$) 和 $v_z$ 的 $L^r$ ($r=2,4$) 的先验估计。
    • 这种组合使得 Gronwall 指数中只出现 $\|\nabla v\|_{L^2}^2$ 的积分，从而控制在单指数范围内。然而，此时的界仍依赖 $\sqrt{t}$，这是由于低阶项 $\|\nabla v\|_{L^2} \|v\|_{L^q}$ 的处理导致的。

2. Dirichlet 边界情形（Theorem 1 for Dirichlet 的证明）：消除时间依赖

  • 策略：改用 $L^6$ 和 $L^3$ 范数进行估计。
  • 难点：Dirichlet 边界引入了额外的压力项 $\nabla \pi_2$（对应边界源项），使得 $v$ 的方程依赖于 $v_z$，反之亦然。必须解耦这两个估计。
  • 技巧：
    • 双重耦合估计：作者展示了如何选择 $(q, r) = (4, 2)$ 和 $(6, 3)$ 这两组范数对。
      • 在估计 $\|v\|_{L^4}$ 和 $\|v\|_{L^6}$ 时，压力项 $\nabla \pi_2$ 依赖于边界上的 $v_z$。通过迹不等式（Trace inequality），将边界积分转化为 $v_z$ 的内部 $L^p$ 范数。
      • 在估计 $\|v_z\|_{L^2}$ 和 $\|v_z\|_{L^3}$ 时，压力项 $\nabla \pi_1$ 依赖于 $\nabla_H v$。
    • 精细的 Young 不等式应用：在方程 (3.2) 和 (3.9) 中，作者仔细平衡了各项的权重，确保 $v$ 和 $v_z$ 的梯度项可以被方程左边的耗散项吸收。
    • 这种策略在 Dirichlet 情形下成功消去了 $\sqrt{t}$ 因子，因为 $L^6$ 估计天然控制了 $H^1$ 范数（通过 Sobolev 嵌入），从而使得能量项无需额外的时间积分。

3. Neumann 边界情形（Theorem 1 for Neumann 的证明）：消除时间依赖与无 Poincaré 困难

  • 策略：引入偏差量 $\tilde{v} = v - \bar{v}$ 进行 $L^6$ 估计。
  • 难点：Neumann 条件下，$v$ 的 Poincaré 不等式失效，即 $\|v\|_{L^2} \le C \|\nabla v\|_{L^2}$ 不成立。这导致在处理低阶项（如 $\|\nabla v\| \|v\|_{L^q}$）时，无法将 $L^2$ 范数转化为梯度控制，从而产生 $\sqrt{t}$ 因子。此外，$\bar{v}$ 是非零常数（向量），在方程演化。
  • 技巧：
    • 引入偏差量 $\tilde{v}$：由于 $\tilde{v} = v - \bar{v}$ 具有均值零，它满足 Poincaré 不等式：$\|\tilde{v}\|_{L^q} \le C \|v_z\|_{L^q}$（由一维 Wirtinger 不等式在垂直方向积分得到）。这成功绕过了 $v$ 本身的 Poincaré 问题。
    • 针对 $\tilde{v}$ 的 $L^6$ 估计：在 Section 4.1 中，建立了 $\tilde{v}$ 的 $L^q$ ($2 < q \le 6$) 估计。由于利用了 Poincaré 型不等式，低阶项被梯度控制，消除了时间因子。
    • 处理平均值 $\bar{v}$：$\bar{v}$ 作为一个非零函数在水平平面演化（满足 $\text{div}_H \bar{v}=0$）。在 $\tilde{v}$ 的方程中出现了对流项 $\tilde{v} \cdot \nabla_H \bar{v}$。这一项可以通过 $\|\nabla_H \bar{v}\|_{L^2}$ 控制，而 $\|\nabla_H \bar{v}\|$ 又可以通过 $\|\nabla v\|$ 控制（因为 $\nabla \tilde{v}$ 和 $\nabla \bar{v}$ 的关系）。
    • 联合估计：最终，通过建立 $\tilde{v}$ 的 $L^6$ 和 $v_z$ 的 $L^3$ 估计（类似于 Dirichlet 情形），并在 $\nabla v$ 的能量估计中处理 $\tilde{v}$ 带来的新项，成功获得了与时间无关的单指数上界。

4. 与之前工作的比较

本文的结果相比于现有的关于原始方程的研究，做出了显著的改进，主要体现在 指数增长的阶数 和 边界条件的普适性 上。

a) 指数阶数的突破：从双指数到单指数

  • 先前结果（Cao & Titi, 2007; Ju, 2007）：

    • Cao 和 Titi 在 2007 年的奠基性工作中证明了全局适定性，但其建立的 $H^1$ 先验估计具有 双指数 形式，即 $K_V(t) \lesssim \exp(\|a\|_{L^2}^2 \exp(\exp(\|a\|_{L^2}^4) t))$。这种双指数增长源于在 Gronwall 不等式中，难以直接控制非线性项 $w v_z$，导致需要多次对梯度项进行积分和放缩。
    • Ju (2007) 利用一致 Gronwall 不等式消除了对显式时间 $t$ 的依赖，得到了一致时间的双指数界（$e^{e^{C\|a\|^2}}$）。
    • Kukavica & Ziane (2007) 和 Hieber & Kashiwabara (2016) 虽然在不同边界条件或 $L^p$ 空间取得了进展，但 $H^1$ 界的指数部分通常仍保持双指数性质。

  • 本文的改进：

    • 本文首次证明了 单指数 上界：$\exp(C \|a\|_{L^2(\Omega)}^2)$。
    • 物理意义：单指数界比双指数界“紧致”得多。在长时间行为分析中，单指数界对于研究吸引子的维数、收敛速率等性质更为有利。
    • 技术差异：此前工作往往依赖于对数 Sobolev 不等式或在处理 $w v_z$ 时无法避免的高阶梯度增长。本文通过精细的 $L^p$ 调和分析（$L^6$ 结合 $L^3$），实现了非线性项的“能量守恒”式控制，避免了范数的恶性循环。

b) 边界条件的普适性与 Poincaré 不等式的失效

  • 先前结果的局限：

    • Cao-Titi 和 Ju 的工作中，为了使用一致 Gronwall 不等式并获得梯度控制，通常假设了全滑移（full slip）或周期性边界条件，这保证了 Poincaré 不等式 $\|v\|_{L^2} \le C \|\nabla v\|_{L^2}$ 成立（均值为零或常数可通过减去均值处理）。
    • 对于 Neumann 边界条件（$\partial_z v = 0$），解 $v$ 的均值 $\bar{v}(t)$ 是随时间演化的非零量。因此，标准的 Poincaré 不等式不能直接应用于 $v$。这使得在 Neumann 条件下获得 一致于时间 的 $H^1$ 上界非常困难，此前未见报道。

  • 本文的改进：

    • Neumann 情形：本文专门针对这一困难进行了处理。通过引入偏差量 $\tilde{v} = v - \bar{v}$，利用垂直方向的 Wirtinger 不等式得到 $\|\tilde{v}\| \le C \|v_z\|$。这巧妙地解决了均值不为零带来的 Poincaré 缺失问题，从而证明了 Neumann 边界下的一致时间估计（Remark 1 (iii) 强调了这是新的结果）。
    • Dirichlet 情形：虽然 Dirichlet 边界下 Poincaré 不等式是自然的，但先前的 $L^p$ 估计（如 [10]）往往依赖于某些难以显式依赖于初始数据的参数 $\delta$，或者导致比单指数更大的增长。本文通过 $L^6$-$L^3$ 估计框架，给出了显式的单指数界。

总结： Takahito Kashiwabara 的这项工作通过引入新的 $L^p$ 估计组合（特别是 $L^6$ 和 $L^3$ 对）以及对 Neumann 边界下偏差量的精细处理，成功突破了原始方程 $H^1$ 估计中长期存在的“双指数壁垒”和“时间依赖壁垒”，统一并加强了不同边界条件下的先验估计理论。

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

1. 边界附近电导率引起的线性麦克斯韦系统的指数衰减

Exponential decay of the linear Maxwell system due to conductivity near the boundary

作者: Richard Nutt, Roland Schnaubelt

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09502v1

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

摘要翻译

好的，请看以下翻译：

中文标题: 边界附近电导率引起的线性麦克斯韦系统的指数衰减

摘要翻译: 我们研究有界区域 $Ω$ 上的各向异性线性麦克斯韦系统，该系统满足完美电导边界条件。系统通过电导率 $σ$ 进行阻尼，该电导率在边界处的邻域内严格为正。我们证明了，如果电磁场在 $Ω$ 上没有磁荷，且在 $σ$ 的支撑集之外没有电荷，那么解会指数衰减到 0。我们的方法依赖于通过亥姆霍兹分解对解进行分裂，以及对一个相关的无荷二阶系统的可观测性型估计，该估计是通过 Morawetz 乘子法证明的。我们同样建立了相应的精确可观测性和可控性结果。

2. 带吸收边界条件的非线性麦克斯韦系统的法迹不等式与解的衰减

Normal trace inequalities and decay of solutions to the nonlinear Maxwell system with absorbing boundary

作者: Richard Nutt, Roland Schnaubelt

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09490v1

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

摘要翻译

中文标题: 带吸收边界条件的非线性麦克斯韦系统的法迹不等式与解的衰减

摘要翻译: 我们研究了具有严格正定、状态依赖边界电导率的拟线性麦克斯韦系统。对于小初值数据，我们证明了该解对任意时刻均存在，并以指数速率衰减至 $0$。与相关文献类似，我们假设了一个非俘获条件（nontrapping condition）。我们的研究方法依赖于针对相应非自治线性问题的新迹估计、一种类可观测性估计（observability-type estimate）以及详细的正则性分析。在线性自治情形下，利用索伯列夫（Sobolev）负阶空间中亥姆霍兹分解（Helmholtz decomposition）的性质，我们对结果进行了改进。

3. 关于退化薛定谔方程边界稳定性的注记

Note on Boundary Stabilization of Degenerate Schrödinger Equations

作者: Abdelkader Benaissa, Abbes Benaissa

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09475v1

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

摘要翻译

好的，遵照您的要求，以下是该论文摘要的学术翻译。

中文标题: 关于退化薛定谔方程边界稳定性的注记

摘要翻译: 本文研究了一类受分数阶积分阻尼作用的退化薛定谔方程。该阻尼项具有奇异性且不可积，我们分别考虑了阻尼作用于退化边界和非退化边界这两种情形。利用预解式估计方法，本文为退化薛定谔方程建立了多项式能量衰减率。

4. 具有部分平坦及 $C^{1,γ}$ 包含体的 $p$-Laplacian 完美导电问题的梯度估计

Gradient estimates for the $p$-Laplacian perfect conductivity problem with partially flat and $C^{1,γ}$ inclusions

作者: Hongjie Dong, Longjuan Xu

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09435v1

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

摘要翻译

中文标题: 具有部分平坦及 $C^{1,γ}$ 包含体的 $p$-Laplacian 完美导电问题的梯度估计

摘要翻译: 本文研究了嵌入均匀基体中的两个紧密间隔的完美导体的完美导电问题解的梯度估计，该问题由 $p$-Laplacian 椭圆方程建模。我们首先证明了当导体具有部分“平坦”边界时，解的梯度保持有界。这与涉及严格凸包含体的情况形成对比，后者的梯度可能会发生爆破。其次，对于具有 $C^{1,γ}$ 边界（$γ\in(0,1)$）的导体，我们建立了梯度的上界和下界，并给出了最优的爆破速率。此外，我们在某些特殊情形下提供了精确的渐近展开。

5. 运动薄域中抛物型 $p$-Laplace 方程的薄膜极限

Thin-film limit of the parabolic $p$-Laplace equation in a moving thin domain

作者: Tatsu-Hiko Miura

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09386v1

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

摘要翻译

好的，请看以下翻译：

中文标题: 运动薄域中抛物型 $p$-Laplace 方程的薄膜极限

摘要翻译: 我们在总质量守恒所对应的 Neumann 型边界条件下，研究了运动薄域中 $p>2$ 的抛物型 $p$-Laplace 方程。当运动薄域的厚度趋于零并收缩至一个给定的运动闭超曲面时，我们通过证明薄域问题弱解的加权平均的弱收敛性，并将极限函数刻画为极限问题的唯一弱解，严格地推导出了一个极限问题。本文得到的极限问题是在运动超曲面上的一个非线性偏微分方程和一个代数方程组成的系统。这看起来似乎有些奇特，但我们还发现，该极限问题可以看作是在运动超曲面上一种带有法向通量的新型局部质量守恒定律。

6. 与 Gagliardo 及 Sobolev 半范数相关的一个尖锐局部加权不等式及其应用

A Sharp Localized Weighted Inequality Related to Gagliardo and Sobolev Seminorms and Its Applications

作者: Pingxu Hu, Yinqin Li, Dachun Yang, Wen Yuan

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

发布日期: 2026-01-14

arXiv ID: 2601.09094v1

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

摘要翻译

中文标题: 与 Gagliardo 及 Sobolev 半范数相关的一个尖锐局部加权不等式及其应用

摘要翻译: 在本文中，我们建立了一个与 Gagliardo 和 Sobolev 半范数相关的、几乎尖锐的局部加权不等式，该不等式分别对应于尖锐的 $A_1$-权常数或当 $p\in (1,\infty)$ 时特定的 $A_p$-权常数。作为应用，我们进一步得到了 Muckenhoupt 权的新刻画，以及在球 Banach 函数空间的框架下，关于立方体上 Gagliardo 和 Sobolev 半范数的不等式、一个 Gagliardo–Nirenberg 插值不等式和一个 Bourgain–Brezis–Mironescu 公式。所有这些结果具有广泛的普遍性，并被证明是（几乎）尖锐的。 本文的原始版本发表于 [Adv. Math. 481 (2025), Paper No. 110537]。在该修订版中，我们修正了定理 1.1 中当 $p=1$ 时出现的一个错误，该错误由 Emiel Lorist 指出。

7. 标量守恒律的唯一性失效

Failure of uniqueness for scalar conservation laws

作者: Shyam Sundar Ghoshal, Abraham Sylla, Parasuram Venkatesh

类别: math.AP

发布日期: 2026-01-13

arXiv ID: 2601.08771v1

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

摘要翻译

中文标题: 标量守恒律的唯一性失效

摘要翻译: 在本文中，我们给出了标量守恒律方面据我们所知的首批否定性结果。我们首先展示了即使通量具有正则性，有界初值也能导致 $L^{\infty}$ 爆破的显式例子。更引人注目的是，我们通过构造具有有界初值的单一柯西问题的无穷多个熵解（每一个解关于 $L^{1}$ 范数随时间连续），证明了仅凭 Kružkov 熵等式无法在此情形下确保唯一性。因此，我们论证了 $L^{\infty}$ 假设对于变量加倍论证（doubling of variables argument），进而对于标量守恒律熵解的唯一性是必不可少的。在积极的一面，我们通过改进激波追踪方法（front tracking method），发展了一套针对具有空间非均匀性的标量守恒律的新理论。基于我们激波追踪逼近的性质，我们在熵不等式之外引入了一个 Lax 型条件，从而恢复了唯一性。无界的 Kružkov 解不一定满足弱形式；我们证明了对于此类形式的某些柯西问题，即使 Kružkov 熵解存在，在自然的函数类中全局弱解也可能不存在。最后，我们构造了一个具有有界初值的全局不适定性的显式例子。

不相关论文（基本信息）

1. 论Serrin型平面区域的分类

On the classification of Serrin planar domains

作者: Alberto Cerezo, Isabel Fernandez, Pablo Mira

类别: math.AP, math.DG

发布日期: 2026-01-14

arXiv ID: 2601.09649v1

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

摘要: We show that all smooth ring domains $Ω\subset \mathbb{R}^2$ that admit a solution to Serrin’s classical problem $Δu+2=0$ with locally constant overdetermined boundary conditions along $\partial Ω$ can be described as algebro-geometric potentials of the mKdV hierarchy. The same result holds for periodic unbounded domains with two boundary components. In particular, any such domain is determined by suitable holomorphic data in some algebraic curve. As a consequence, the space of all Serrin ring domains, or periodic Serrin bands, can be ordered into a sequence of finite-dimensional complexity levels. By studying the first non-trivial level, given by elliptic functions, we construct: $(i)$ a global $1$-parameter family of periodic solutions to Serrin’s problem that interpolates between a flat band and a chain of disks along an axis, following an unduloid pattern, and $(ii)$ for any $n>1$, a two-dimensional moduli space ${\bf T}_n$ of non-radial Serrin ring domains with a dihedral symmetry group of order $2n$. This moduli space ${\bf T}_n$ is geometrically a triangle, and has radial bands on one side of ${\bf T}_n$, and a necklace of $n$ pairwise tangent disks distributed along the unit circle at its opposite vertex in ${\bf T}_n$.

2. 论涉及扭转刚度、主特征值和周长的若干泛函

On some functionals involving torsional rigidity, principal eigenvalue and perimeter

作者: Vincenzo Amato, Carlo Nitsch, Cristina Trombetti, Federico Villone

类别: math.SP, math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09592v1

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

摘要: In this paper we study some relationships between the first Dirichlet eigenvalue $Λ(Ω)$ and the torsional rigidity $T(Ω)$ of a domain $Ω$. We consider the problem of optimizing the product $Λ(Ω)T(Ω)$ among sets with prescribed perimeter, both in the class of open sets with finite perimeter and within the class of convex domains. We also present local results for the quantity $Λ(Ω)T(Ω)^q$, with $q>0$, under either a volume or a perimeter constraint.

3. 具有负Robin边界条件的Laplacian抗扭刚度的锐利估计

Sharp estimates for the Laplacian torsional rigidity with negative Robin boundary conditions

作者: Nunzia Gavitone, David Krejcirik, Gloria Paoli

类别: math.OC, math.AP, math.PR, math.SP

发布日期: 2026-01-14

arXiv ID: 2601.09559v1

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

摘要: Motivated by pioneering works of Bandle and Wagner, given a bounded Lipschitz domain $Ω\subset \mathbb R^d$ with $d\ge3$, we consider the Robin-Laplacian torsional rigidity $τ_α(Ω)$ with negative boundary parameter $α$ and we show that sharp inequalities for $τ_α(Ω)$ hold if $|α|$ is small enough. In particular, we prove that, if $|α|$ is smaller than the first non-trivial Steklov-Laplacian eigenvalue, then the ball maximises $τ_α(Ω)$ among all convex domains under perimeter or volume constraints.This solves an open problem raised by Bandle and Wagner. We also prove the result in the planar case among simply connected sets and under perimeter constraint.

4. 关于涉及 $p$-Grushin 算子的临界问题的一个注记：无穷多解的存在性

A note on critical problems involving the $p$-Grushin Operator: existence of infinitely many solutions

作者: Paolo Malanchini, Giovanni Molica Bisci, Simone Secchi

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09488v1

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

摘要: We consider a critical problem in a bounded domain involving the $p$-Grushin operator $Δ_α^p$. After a truncation argument, we obtain infinitely many solutions to our problem via Krasnoselskii’s genus, extending a previous result of García Azorero and Peral Alonso to the $p$-Grushin operator. A central part of our analysis is the verification of the Palais-Smale condition of the associated functional under a certain level.

5. 高维平均曲率流中古椭圆的分类

Classification of ancient ovals in higher dimensional mean curvature flow

作者: Beomjun Choi, Wenkui Du, Ziyi Zhao

类别: math.DG, math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09441v1

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

摘要: We study compact non-selfsimilar ancient noncollapsed solutions to the mean curvature flow in $\mathbb{R}^{n+1}$, called ancient ovals. Our main result is the classification of $k$-ovals: any $k$-oval (characterized by having cylindrical blow down $\mathbb{R}^k\times S^{n-k}$ and the quadratic bending asymptotics) belongs, up to space-time rigid motions and parabolic dilations, to the family of ancient ovals constructed by Haslhofer and the second author. Assuming the nonexistence of exotic ovals (recently proved by Bamler-Lai), this yields a classification of all ancient ovals and identifies the moduli space, modulo symmetries, with an open $(k-1)$-simplex modulo the symmetry of simplex. Although these conclusions are contained in the recent breakthrough of Bamler-Lai classifying all ancient asymptotically cylindrical flows and resolving the mean convex neighborhood conjecture, we give an alternative argument for the independently obtained classification of $k$-ovals in arbitrary dimensions based on a different spectral parametrization.

6. 轴对称向列型薄膜极小化子的存在性与唯一性

Existence and uniqueness of minimizers for axisymmetric nematic films

作者: Giulia Bevilacqua, Chiara Lonati, Luca Lussardi, Alfredo Marzocchi

类别: math.AP, math-ph

发布日期: 2026-01-14

arXiv ID: 2601.09348v1

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

摘要: Nematic surfaces are thin liquid films endowed with in-plane orientational order. We study a variational model in which the nematic director is constrained to lie in the tangent space of an axisymmetric surface, and the associated surface energy accounts for both surface tension and elastic nematic contributions. Here we adopt the surface gradient as the differential operator on the surface, we restrict our analysis to revolution surfaces spanning two coaxial rings, and we assume that the nematic director is aligned along parallels. In this setting, the energy functional reduces to a one-dimensional variational problem. We rigorously prove the existence and uniqueness of minimizers and we provide their complete geometric characterization. Finally, we run some numerical simulations.

7. 超线性 Fokker-Planck 方程的适定性结果

Well-posedness results for superlinear Fokker-Planck equations

作者: Stefano Buccheri, Fernando Farroni, Gabriella Zecca

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09341v1

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

摘要: In this manuscript we deal with a class of nonlinear Fokker-Planck equations with the following structure

$$ \partial_t u - ÷\big(M\nabla u+ E h(u)\big)=0, $$

with $M$ a bounded elliptic matrix, $E$ a vector field in a suitable Lebesgue space, and $h(u)$ featuring a superlinear growth for $u$ large. We provide existence results of $C([0,T),L^1)$ distributional solutions to initial-boundary value problems related to the equation above together with some qualitative properties of solutions.

8. 一种新的多层肿瘤生长渐近模型

A new asymptotic model of multilayer tumor growth

作者: Rafael Granero-Belinchón, Martina Magliocca

类别: math.AP

发布日期: 2026-01-14

arXiv ID: 2601.09315v1

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

摘要: In this paper we study the growth of a tumor colony of multilayer type and focus on how the tumor grows from a near flat (when compared to the length of the tumor as, for instance, in the case of a bone tumor in a femur) initial colony. In particular we derive and study a new weakly nonlinear asymptotic model of multilayer tumor growth. The model takes the form of a nonlinear and nonlocal high order system of PDEs. Finally, motivated by the possibility of a finite time collision of the interfaces, we study the well-posedness of this system.