生成时间: 2025年10月11日 02:39:38

重点关注论文数量: 8

了解领域论文数量: 28

不相关论文数量: 14

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

1. On anomalous dissipation induced by transport noise

由输运噪声诱导的反常耗散

作者: Antonio Agresti

类别: math.AP, math-ph, math.MP, math.PR, Primary: 35Q35, Secondary: 60H15, 76M35

发布日期: 2024-05-06

arXiv ID: 2405.03525v3

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

详细分析

中文标题: 由输运噪声诱导的反常耗散

1. 研究对象和背景

本文研究的是在输运噪声（transport noise）作用下，二维纳维-斯托克斯方程（2D Navier-Stokes equations, NSEs）的涡度解的涡度反常耗散（anomalous enstrophy dissipation）以及任意维度下被动标量（passive scalar）方程的能量反常耗散（anomalous energy dissipation）。这些现象是湍流理论中的核心问题，尤其与柯拉姆-巴切勒（Kraichnan-Batchelor, KB）理论密切相关。

对于二维纳维-斯托克斯方程（涡度形式），其数学模型为：

$$ \begin{cases} \partial_t \zeta^\nu + (u^\nu \cdot \nabla) \zeta^\nu = \nu \Delta \zeta^\nu + \sqrt{2\mu} \sum_{k \in \mathbb{Z}_0^2} \theta_k^\nu (\sigma_k \cdot \nabla) \zeta^\nu \circ \dot{W}_k^t & \text{on } \mathbb{T}^2, \\ \zeta^\nu(0,\cdot) = \zeta_0 & \text{on } \mathbb{T}^2, \end{cases} $$

其中：

  • $\mathbb{T}^2 = (\mathbb{R}/\mathbb{Z})^2$ 为二维环面；
  • $\zeta^\nu$ 为涡度场，$u^\nu = K \zeta^\nu$ 为速度场，$K$ 为比奥-萨伐尔算子（Biot-Savart operator）；
  • $\nu > 0$ 为运动粘性系数；
  • $\mu > 0$ 为噪声强度；
  • $\{\dot{W}_k^t\}_{k \in \mathbb{Z}_0^2}$ 是一族复值布朗运动，$\circ$ 表示斯特拉托诺维奇（Stratonovich）乘积；
  • $\theta^\nu = (\theta_k^\nu)_{k \in \mathbb{Z}_0^2} \in \ell^2$ 为噪声系数，满足 $\|\theta^\nu\|_{\ell^2} = 1$；
  • $\{\sigma_k\}_{k \in \mathbb{Z}_0^2}$ 是一族散度为零的向量场（$\nabla \cdot \sigma_k = 0$）；
  • $\mathbb{Z}_0^2 = \mathbb{Z}^2 \setminus \{0\}$ 表示非零整数格点。

对于任意维度 $d \geq 1$ 的被动标量方程，其模型为：

$$ \begin{cases} \partial_t \varrho^\gamma = \gamma \Delta \varrho^\gamma + \sqrt{c_d \mu} \sum_{k \in \mathbb{Z}_0^d} \sum_{\alpha=1}^{d-1} \theta_{k,\alpha}^\gamma (\sigma_{k,\alpha} \cdot \nabla) \varrho^\gamma \circ \dot{W}_{k,\alpha}^t & \text{on } \mathbb{T}^d, \\ \varrho^\gamma(0,\cdot) = \varrho_0 & \text{on } \mathbb{T}^d, \end{cases} $$

其中 $\gamma > 0$ 为扩散系数，$c_d = d - 1$，其余符号含义类似。

研究区域为周期性环面 $\mathbb{T}^d$，这避免了边界效应，使问题具有良好的傅里叶分析结构。初始数据 $\zeta_0$ 和 $\varrho_0$ 属于 Sobolev 空间 $H^\delta(\mathbb{T}^d)$（$\delta > 0$），且具有零均值（mean-zero），这是保证解能量守恒和频谱分析的关键。

反常耗散现象表现为：当粘性 $\nu \to 0$ 或扩散系数 $\gamma \to 0$ 时，尽管系统在固定 $\nu > 0$ 下满足能量守恒（见公式 (1.6)），但耗散率的下极限仍严格大于零：

$$ \liminf_{\nu \searrow 0} \mathbb{E} \int_0^1 \int_{\mathbb{T}^2} \nu |\nabla \zeta^\nu|^2 \, dx dt > 0, $$

或对被动标量：

$$ \liminf_{\gamma \searrow 0} \mathbb{E} \int_0^1 \int_{\mathbb{T}^d} \gamma |\nabla \varrho^\gamma|^2 \, dx dt > 0. $$

这一现象违反了经典粘性耗散的直觉，因为当 $\nu \to 0$ 时，耗散项 $\nu \Delta$ 应趋于零，但噪声诱导的“湍流流动”却产生了非平凡的耗散。

2. 主要定理或主要结果

本文的核心结果由两个主要定理给出：

定理 1.1（输运噪声诱导的涡度反常耗散 — 2D NSEs）
设 $N \geq 1$，$\delta > 0$ 固定。则对任意 $\mu > 0$，存在一族 $\{\theta^\nu\}_{\nu \in (0,1)} \subset \mathcal{S}_0^{\ell^2}$（见公式 (1.4)），使得对任意均值为零、满足 $\|\zeta_0\|_{H^\delta(\mathbb{T}^2)} \leq N$ 的初始涡度 $\zeta_0$，其对应的唯一全局光滑解 $\zeta^\nu$ 满足：

$$ \liminf_{\nu \searrow 0} \mathbb{E} \int_0^1 \int_{\mathbb{T}^2} \nu |\nabla \zeta^\nu|^2 \, dx dt \geq \left(1 - e^{-\mu/(4\pi^2)}\right) \|\zeta_0\|_{L^2(\mathbb{T}^2)}^2. $$

定理 1.2（输运噪声诱导的能量反常耗散 — 被动标量）
设 $d \geq 1$，$N \geq 1$，$\delta > 0$ 固定。则对任意 $\mu > 0$，存在一族 $\{\theta^\gamma\}_{\gamma \in (0,1)} \subset \mathcal{S}_0^{\ell^2}$，使得对任意均值为零、满足 $\|\varrho_0\|_{H^\delta(\mathbb{T}^d)} \leq N$ 的初始标量 $\varrho_0$，其对应的唯一全局光滑解 $\varrho^\gamma$ 满足：

$$ \liminf_{\gamma \searrow 0} \mathbb{E} \int_0^1 \int_{\mathbb{T}^d} \gamma |\nabla \varrho^\gamma|^2 \, dx dt \geq \left(1 - e^{-\mu/(4\pi^2)}\right) \|\varrho_0\|_{L^2(\mathbb{T}^d)}^2. $$

其中，$\mathcal{S}_0^{\ell^2}$ 定义为：

$$ \mathcal{S}_0^{\ell^2} := \left\{ \theta = (\theta_k)_{k \in \mathbb{Z}_0^d} \in \ell^2 : \|\theta\|_{\ell^2} = 1 \text{ 且仅有限个 } \theta_k \neq 0 \right\}. $$

这两个定理的共同点是：即使噪声强度 $\mu$ 任意小，只要噪声系数 $\theta^\nu$ 或 $\theta^\gamma$ 在高频处局部化（见公式 (1.7)），就能诱导出反常耗散。这与传统认知（需要大噪声）形成鲜明对比。

此外，定理还表明，通过选择 $\mu = -\ln(1 - \eta)$，可以控制反常耗散的比例为 $\eta \in (0,1)$，即至少 $\eta$ 的初始能量被耗散。

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

a) 核心分析学工具

本文的核心分析工具包括：

  • Meyers 型估计（Meyers’ estimates）：这是本文最核心的创新工具，用于建立 SPDE 解在正则 Sobolev 空间 $H^r$（$r > 0$）中的一致有界性（uniform-in-time boundedness）。具体地，对于噪声系数 $\theta^n$ 满足 $\|\theta^n\|_{\ell^\infty} \to 0$，作者证明：

    $$ \sup_{n \geq 1} \mathbb{E} \sup_{t \in [0,1]} \|\varrho^n(t)\|_{H^{r_0}(\mathbb{T}^d)}^2 < \infty, \quad \text{对某个 } r_0 = r_0(\gamma, \mu) > 0. $$

    这一估计突破了传统 $L^p$-理论对系数光滑性的要求，仅需系数有界、可测、满足抛物性（parabolicity）。

  • 尺度极限（scaling limit）：作者改进了 [36, 42] 中的尺度极限论证，证明当噪声系数 $\theta^\gamma \to 0$ 在 $\ell^\infty$ 意义下时，解 $\varrho^\gamma$ 在 $C([0,1]; L^2(\mathbb{T}^d))$ 中依概率收敛到一个增强扩散方程：

    $$ \partial_t \varrho_0^{\text{det}} = (\gamma + \mu) \Delta \varrho_0^{\text{det}}, \quad \varrho_0^{\text{det}}(0,\cdot) = \varrho_0. $$

    关键突破在于：该收敛在零光滑度空间 $L^2$ 中成立，且是均匀在时间上的，而以往结果仅在负 Sobolev 空间 $H^{-\varepsilon}$ 中成立。

  • 能量平衡与比较原理：利用 SPDE 的能量守恒恒等式（如 (1.15)）与增强扩散方程的能量衰减（如 (1.14)）进行比较，推导出反常耗散的下界。

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

  • 噪声系数的非一致正则性：噪声项 $\theta_k^\gamma \sigma_k$ 的系数虽然对每个固定 $n$ 是光滑的（因有限项），但当 $n \to \infty$ 时，其 $\ell^\infty$ 范数趋于零，但 $H^r$ 范数趋于无穷（见 (1.19)）。这使得标准正则性理论（如 $L^p$-理论）失效。

    解决技巧：作者引入 随机 Meyers 估计，该估计仅依赖于系数的有界性与抛物性（由 Stratonovich 形式保证），无需光滑性，从而绕过正则性崩溃的障碍。

  • 从弱收敛到强收敛：以往工作仅能证明 $\varrho^\gamma \to \varrho_0^{\text{det}}$ 在 $H^{-\varepsilon}$ 中，但无法控制 $L^2$ 范数。作者通过 $H^{r_0}$ 一致有界性 + 紧性嵌入（Rellich-Kondrachov）+ 能量守恒，成功获得 $C([0,1]; L^2)$ 中的强收敛（公式 (1.8)）。

  • 非线性项的处理（对 2D NSEs）：在涡度方程中，存在非线性项 $(u^\nu \cdot \nabla)\zeta^\nu$。作者通过将非线性项视为“扰动”，利用 $H^{r_0}$ 一致估计和非线性项的双线性估计，将其控制在误差项中，最终仍能归约为被动标量的情形（见 Corollary 4.4）。

4. 与之前工作的比较

a) 突破与改进

本文的主要突破体现在以下三个方面：

  1. 噪声强度可任意小：
    以往研究（如 [55, 80]）要求噪声强度 $\mu$ 足够大才能诱导反常耗散。本文首次证明：无论 $\mu > 0$ 多小，只要噪声系数 $\theta^\nu$ 在高频处适当局部化（如 (1.7)），即可产生反常耗散。这是对“噪声必须强”的传统观念的根本性颠覆。

  2. 收敛空间的提升：
    以往尺度极限结果（如 [36, 42]）仅在负 Sobolev 空间 $H^{-\varepsilon}$ 中成立，无法控制 $L^2$ 范数。本文首次证明：在零光滑度空间 $L^2(\mathbb{T}^d)$ 中，解一致收敛到增强扩散方程的解。这一结果是证明反常耗散下界（如 $1 - e^{-\mu/(4\pi^2)}$）的关键前提。

  3. 适用范围的扩展：
    本文将反常耗散的研究从线性被动标量推广到非线性 2D NSEs（涡度形式），并首次在非线性 SPDE 中证明了反常耗散。此外，结果适用于任意维度 $d \geq 1$，而不仅限于二维。

b) 结果强度的提升

维度以往结果本文结果
被动标量反常耗散需大噪声，收敛在 $H^{-\varepsilon}$反常耗散对任意小 $\mu$ 成立，收敛在 $L^2$
2D NSEs无有效结果（因非线性与正则性障碍）首次证明反常涡度耗散，且收敛在 $H^{r_0}$
噪声依赖$\theta^\nu$ 固定或依赖 $\nu$ 但不控制强度$\theta^\nu$ 高频局部化，$\mu$ 可任意小

此外，本文还首次将**同伦化（homogenization）**思想引入 SPDE 的反常耗散研究，将噪声系数的 $\ell^\infty$ 小量解释为“微观尺度的缩放”，从而将反常耗散与有效方程（enhanced diffusion）联系起来，为物理机制提供了新的数学语言。

综上，本文不仅在数学上建立了全新的尺度极限理论，更在物理上揭示了即使最微弱的高频输运噪声，也能通过非线性与尺度分离机制，产生类湍流的反常耗散，为理解湍流的“零定律”提供了全新的随机动力学视角。

2. Sharp Non-uniqueness in Law for Stochastic Differential Equations on the Whole Space

整个空间上随机微分方程的Sharp非唯一性

作者: Huaxiang Lü, Michael Röckner

类别: math.PR, math.AP

发布日期: 2025-10-09

arXiv ID: 2510.08248v1

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

详细分析

中文标题: 整个空间上随机微分方程的Sharp非唯一性

1. 研究对象和背景

本文研究的是定义在整个空间 $\mathbb{R}^d$（其中 $d \geq 2$）上的随机微分方程（SDE），其形式为：

$$ dX_t = v(t, X_t) dt + \sqrt{2} \, dW_t, $$

其中 $W_t$ 是 $\mathbb{R}^d$ 上的标准布朗运动，$v: [0,T] \times \mathbb{R}^d \to \mathbb{R}^d$ 是一个漂移项，且要求其为无散度（divergence-free）的向量场，即 $\mathrm{div}\, v = 0$。该方程的初始条件为概率测度 $\mu_0$，即 $L_{X_0} = \mu_0$。

该研究的背景在于理解SDE在超临界（supercritical）参数区域下的弱解唯一性问题。通过缩放变换 $X_\epsilon = \epsilon^{-1} X_{\epsilon^2 t}$ 和 $v_\epsilon(t,x) = \epsilon v(\epsilon^2 t, \epsilon x)$，可将漂移项的范数缩放为：

$$ \|v_\epsilon\|_{L^r_t L^p} = \epsilon^{1 - \frac{d}{p} - \frac{2}{r}} \|v\|_{L^r_t L^p}. $$

当 $\frac{d}{p} + \frac{2}{r} > 1$ 时，系统处于超临界 regime，此时布朗运动的扩散效应不足以压制漂移项的奇异性，导致弱解的唯一性不再成立。论文特别关注漂移项 $v$ 属于空间 $L^r_t L^p \cap C_t L^{d-}$ 的情形，其中 $L^{d-}$ 表示对任意 $\epsilon > 0$，$v \in C_t L^{d - \epsilon}$。该函数空间的选择是关键，因为它紧邻已知唯一性成立的临界空间 $C_t L^{d+}$（即 $L^{d+\epsilon}$），从而使得结果“sharp”（最优）。

此外，研究区域为整个空间 $\mathbb{R}^d$，而非周期性区域（如环面 $\mathbb{T}^d$），这带来了显著的分析挑战：无法使用周期性假设来控制尾部行为，且缺乏不变测度作为参考。因此，必须处理非紧支撑的热核衰减行为，以及如何在无界域上构造具有紧支撑扰动的全局解。

2. 主要定理或主要结果

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

定理 1.1（主定理）：设 $d \geq 2$，$\gamma \in (0,1)$，$1 < s < d$，且 $p, r \in [1, \infty]$ 满足 $\frac{d}{p} + \frac{1}{r} > 1$。对任意有限个初始概率测度 $\{\mu_0^i\}_{1 \leq i \leq M} \subset \mathcal{P}(\mathbb{R}^d)$，存在一个无散度的漂移场 $v \in L^r_t L^p \cap C_t L^s$，使得对应的SDE

$$ dX_t^i = v(t, X_t^i) dt + \sqrt{2} \, dW_t, \quad L_{X_0^i} = \mu_0^i, $$

对每个初始测度 $\mu_0^i$ 都至少存在两个不同的弱解 $X^{i,1}$ 和 $X^{i,2}$。此外，对每个 $i$ 和 $j=1,2$，有：

  • $\mathbb{E}\left[\int_0^T |v(s, X_s^{i,j})|^{1+\epsilon} ds\right] < \infty$，对某个 $\epsilon > 0$；
  • 对 $t > 0$，解的概率密度 $\rho^{i,j}(t)$ 满足 $\rho^{i,j}(t) \geq (1 - \gamma) e^{t\Delta} \mu_0^i$。

推论 1.2：在相同条件下，存在一个具有正Lebesgue测度的可测集 $A \subset \mathbb{R}^d$，使得对任意 $x \in A$，以初始点 $x$ 为起点的SDE（即 $\mu_0 = \delta_x$）至少存在两个不同的弱解。

该结果的深刻之处在于，它首次在整个空间 $\mathbb{R}^d$ 上，对任意初始概率测度（而非仅集中在原点）证明了弱解的非唯一性，且其对漂移空间 $L^r_t L^p \cap C_t L^{d-}$ 的刻画是最优的（sharp），因为当 $v \in C_t L^{d+}$ 时，强解的唯一性已被经典结果（如 \cite{KR05}）所保证。

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

a) 核心分析学工具：

  • 凸积分方法（Convex Integration）：这是本文最核心的工具，源自流体动力学中De Lellis与Székelyhidi Jr.的工作，用于构造高度不规则的弱解。本文将其首次成功推广到整个空间 $\mathbb{R}^d$ 上的Fokker-Planck方程（FP方程）的正解构造。

  • Fokker-Planck方程的弱解框架：通过将SDE的弱解唯一性问题转化为FP方程

$$ \partial_t \rho_i - \Delta \rho_i + \mathrm{div}(v \rho_i) = 0, \quad \mathrm{div}\, v = 0, \quad \rho_i(0) = \mu_0^i, $$

的非唯一性问题，从而将概率论问题转化为偏微分方程的分析问题。解的弱形式定义为：对任意 $\phi \in C_c^2(\mathbb{R}^d)$，有

$$ \int_{\mathbb{R}^d} \phi(x) \rho_i(t,x) dx - \int_{\mathbb{R}^d} \phi(x) \mu_0^i(dx) = \int_0^t \int_{\mathbb{R}^d} \rho_i(s,x) (\Delta \phi + v \cdot \nabla \phi)(s,x) dx ds. $$

  • 热核估计（Heat Kernel Estimates）：论文引入并发展了精细的热核估计，特别是用于控制全局扰动项 $\theta^{(glo)}$ 的衰减行为，确保其相对于参考解 $e^{t\Delta} \mu_0^i$ 的指数衰减性（见公式(1.5)）。

  • 超位置换原理（Superposition Principle）：由Trevisan \cite{Tre16} 提出，该原理建立了FP方程的弱解与SDE弱解之间的对应关系，从而将定理1.4（FP方程非唯一性）直接推出定理1.1（SDE非唯一性）。

b) 关键技术与难题突破：

  • 应力项的分解：在 $\mathbb{R}^d$ 上，逆散度算子不能保持紧支撑性。为解决此问题，作者将应力项 $M_q$ 分解为两部分：主部（由紧支撑函数的散度构成）和全局残差项（具有小的 $C^0_{t,x}$ 范数）。前者用标准凸积分处理，后者通过构造一个全局扰动 $\theta^{(glo)}$ 来控制。

  • 全局扰动与正性保持：在周期情形中，参考解是均匀测度；但在 $\mathbb{R}^d$ 上，参考解是热扩散后的 $\mu_0^i$，其具有指数衰减特性。为保持解的正性，作者构造的扰动必须精确匹配该衰减率。为此，他们设计了一个具有紧时空支撑的强迫项 $F$，使得其热传播满足：

$$ \left| \int_0^t e^{(t-s)\Delta} F(s) ds \right| \ll e^{t\Delta} \mu_0^i, $$

这一估计（公式(1.5)）是本文的关键创新，其证明依赖于对热核的精细衰减分析和逆散度算子的迭代构造。

  • 基于 $L^m$ 的间歇时空喷流（$L^m$-based intermittent spatial-time jets）：作者推广了以往 $L^2$-基的构造（如 \cite{LRZ25}），引入参数 $m \in [1,\infty]$，使构建块在空间和时间上具有更强的可调性，从而适应超临界条件 $\frac{d}{p} + \frac{1}{r} > 1$ 的要求。这种构造允许在不同尺度上精确控制振荡频率和能量分布。

4. 与之前工作的比较

本文在多个方面实现了对先前工作的实质性突破：

  • 初始条件的推广：此前所有非唯一性构造（如 \cite{GG25, RZZ25}）均要求初始测度为Dirac测度 $\delta_0$（集中在原点）。本文首次证明：对任意有限个初始概率测度（即使其支撑分散或非紧），均可构造出非唯一弱解。推论1.2进一步表明，存在一个正测度的初始位置集合 $A$，使得从其中任意点出发的路径都非唯一，极大拓展了非唯一性的适用范围。

  • 函数空间的最优性：文献中已知当 $v \in C_t L^{d+}$ 时强解唯一（\cite{KR05}），而当 $v \in L^\infty_t L^p$ 且 $p < d$ 时，弱解唯一性未知。本文构造的 $v \in L^r_t L^p \cap C_t L^{d-}$ 正处于唯一性失效的临界边界，因此其结果是sharp（最优）的，填补了该领域的空白。

  • 研究区域的拓展：凸积分方法此前仅成功应用于周期域（如 $\mathbb{T}^d$）上的流体方程或传输方程。本文是首个将该方法成功应用于整个空间 $\mathbb{R}^d$ 上的FP方程并构造正解的工作，克服了无界域下尾部控制、无不变测度等根本性障碍。

  • 技术方法的创新：作者提出的“热传播控制全局扰动”机制（公式(1.5)）和“应力项的双分量分解”均为全新技术，其思想可望推广至其他非周期SDE或非线性扩散系统，具有深远影响。

综上，本文不仅在结论上实现了“从原点到整个空间”、“从Dirac测度到任意概率测度”的飞跃，更在方法论上开创了凸积分在非周期SDE中的应用先河，是该领域近年来最重要的突破之一。

3. A log-free estimate for the diagonal paraproduct high $\times$ high $\to$ low in the 3D Navier-Stokes equation

作者: Pylyp Cherevan

类别: math.AP, 35Q30, 76D05, 42B20

发布日期: 2025-10-09

arXiv ID: 2510.07848v1

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

详细分析

主要定理或主要结果

论文的核心结果是定理 1.1（也称为“对角抛物乘积的无对数估计”），其正式表述如下：

定理 1.1（对角抛物乘积的无对数估计）：设 $ u, v : \mathbb{R} \times \mathbb{R}^3 \to \mathbb{R}^3 $ 是无散度向量场（即 $ \nabla \cdot u = \nabla \cdot v = 0 $），并设 $ u_\lambda = P_\lambda u $、$ v_\lambda = P_\lambda v $ 为频率投影算子作用后的分量，其中 $ \lambda = 2^k $ 为 dyadic 频率。对任意固定的 $ \delta \in \left( \frac{1}{6}, \frac{5}{8} \right] $，以及所有 $ \lambda \gg 1 $，有如下估计成立：

$$ \left\| P_{< \lambda^{1-\delta}} \nabla \cdot (u_\lambda \otimes v_\lambda) \right\|_{\dot{H}^{-1}(\mathbb{R}^3)} \leq C_\delta \lambda^{-1-\delta} \|u_\lambda\|_{L^\infty_t \dot{H}^{1/2}_x \cap L^2_t \dot{H}^1_x} \|v_\lambda\|_{L^\infty_t \dot{H}^{1/2}_x \cap L^2_t \dot{H}^1_x}, $$

其中常数 $ C_\delta > 0 $ 仅依赖于 $ \delta $，且当 $ \delta \searrow \frac{1}{6} $ 时，$ C_\delta $ 的增长至多为 $ C \delta^{-2} $。

该估计是“无对数”的（log-free），意味着在标准的 Koch–Tataru 能量方案中因投影 $ P_{< \lambda^{1-\delta}} $ 引入的对数发散项（如 $ \log \lambda $）被完全消除。右侧范数与 Koch–Tataru 方案中使用的临界能量范数一致，且在缩放变换 $ u(t,x) \mapsto \lambda u(\lambda^2 t, \lambda x) $ 下保持不变，从而保证了尺度一致性。

此外，论文最终在第7节将上述单频估计全局化，得到在 $ L^2_t \dot{H}^{-1}_x $ 范数下的整体估计（见定理 7.1），为整个临界能量方案的闭合提供了关键一步。

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

a) 核心分析学工具：

论文的证明建立在多个现代调和分析与偏微分方程工具之上：

  • 七重分部积分（Sevenfold Integration by Parts）：在时间变量 $ t $ 上进行五次，在空间角变量 $ \rho \in \mathbb{R}^2 $（垂直于 $ \xi + \eta $ 的方向）上进行两次，利用相位函数 $ \omega(\xi, \eta) = |\xi| + |\eta| - |\xi + \eta| $ 的非退化Hessian（见公式 (2.2)）获得衰减因子 $ \lambda^{-2+\delta} $。

  • 各向异性 Strichartz 估计：在尺度为 $ \lambda^{-1/2} \times \lambda^{-3/2+\delta} $ 的短圆柱体上，通过 $ TT^* $ 方法建立端点 $ L^4 $ 估计，避免了对数损失，这是控制局部能量的关键。

  • 秩-3曲面上的双线性 $ \ell^2 $ 解耦（Bilinear $ \ell^2 $ Decoupling）：利用 Bourgain–Demeter 理论的非 $ \varepsilon $ 版本，处理频率在角帽 $ \theta \subset \mathbb{S}^2 $ 上的波包分解，补偿因分解产生的“瓦片成本”（tile cost），并获得“秩增益”（rank gain）。

  • 热核与薛定谔核的比较（Heat vs. Schrödinger kernel）：在短时间窗 $ |t| \lesssim \lambda^{-3/2+\delta} $ 上，将振荡相位 $ e^{it\omega} $ 转换为热相位 $ e^{-t\Phi} $（其中 $ \Phi(\xi,\eta) \sim |\xi + \eta|^2 $）进行分部积分，借助附录 A 中对 $ e^{-t\lambda^2} - e^{it\lambda^2} $ 的 $ L^2 $ 估计，避免了对指数增长的依赖。

  • 零形式抑制（Null-form suppression）：在窄对角区域 $ |\xi + \eta| \ll \lambda^{1-\delta} $，利用向量场的无散度条件 $ \nabla \cdot u = 0 $ 导致的符号 $ \xi \cdot \eta^\perp $ 的结构消失，从而实现对非线性项的精细控制。

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

  • 对角区域的几何控制：传统方法在处理 $ u_\lambda \otimes v_\lambda $ 投影到低频时，因 $ \xi \approx -\eta $ 导致相位 $ \omega(\xi,\eta) \approx 0 $，从而产生对数发散。本文通过分析 $ \omega(\xi,\eta) $ 在 $ \xi + \eta = w $ 固定下的角方向导数（见公式 (2.2)），证明其 Hessian 非退化，从而允许进行多次分部积分。

  • 时间与空间变量的分离处理：时间分部积分使用热核框架（避免振荡相位积累导数），而空间角分部积分使用几何相位 $ \omega $，两者通过“双标尺”（two rulers）策略兼容：时间窗长度为 $ \lambda^{-3/2+\delta} $，而热核有效宽度为 $ \lambda^{-3/4+\delta/2} $，两者通过 Hermite 导数控制实现一致。

  • 解耦与瓦片成本的平衡：在角帽分解中，波包数量随 $ \lambda^{2\rho'} $ 增长（$ \rho' = 2/3 $），但通过秩-3曲面的 $ \ell^2 $ 解耦定理，获得 $ \lambda^{-2/3} $ 的衰减，恰好抵消瓦片成本，实现“零净损失”。

4. 与之前工作的比较

a) 突破与改进：

本文的突破在于首次在 三维Navier-Stokes方程的临界能量框架 中，为 对角型高×高→低抛物乘积 建立了 完全无对数损失 的估计，从而解决了 Koch–Tataru 方案（[1]）长期存在的一个关键障碍。

  • 先前工作的限制：在 Koch–Tataru 与后续研究（如 [Koch–Tataru, 2001]；[Gallagher–Iftimie–Planchon, 2003]）中，对角项 $ P_{< \lambda^{1-\delta}} \nabla \cdot (u_\lambda \otimes v_\lambda) $ 的估计通常包含对数因子 $ \log \lambda $，导致能量估计无法闭合，必须引入 $ \varepsilon $-损失（如 $ \lambda^{-1-\delta+\varepsilon} $）或限制 $ \delta $ 的范围。

  • 本文的改进：

    1. 消除对数因子：在 $ \delta \in \left( \frac{1}{6}, \frac{5}{8} \right] $ 范围内，获得精确的 $ \lambda^{-1-\delta} $ 衰减，而非 $ \lambda^{-1-\delta} (\log \lambda)^C $，这是首次在该问题中实现“无对数”估计。
    2. 放宽对 $ \delta $ 的依赖：之前的估计通常要求 $ \delta > \frac{1}{2} $ 或更强条件，而本文将下界降至 $ \frac{1}{6} $，显著扩展了临界能量方案的适用范围。
    3. 无需 $ \varepsilon $-损失：在 $ \delta \leq \frac{5}{8} $ 时，即使不引入任意小的 $ \varepsilon > 0 $，也能获得最优估计（见附录 G 的讨论），而此前类似结果（如 [Bejenaru–Tataru, 2011]）通常依赖 $ \varepsilon $-损失以控制解耦误差。

  • 理论意义：该结果为三维Navier-Stokes方程的全局适定性研究提供了关键的非线性项控制工具，表明在对角共振区，临界能量方案可以实现尺度一致、无对数缺陷的闭合，为最终解决Millennium问题提供了新的分析路径。

综上，本文不仅在技术上实现了多项创新（如七重IBP、秩-3解耦、零形式抑制），更在理论上首次打通了对角项在临界能量框架中的“无对数通道”，是该领域的一项重要进展。

4. Nonlinear Stability of the Rayleigh-Taylor Problem in Quantum Navier-Stokes Equations

量子纳维-斯托克斯方程中瑞利-泰勒问题的非线性稳定性**

作者: Fei Jiang, Yajie Zhang, Zhipeng Zhang, Youyi Zhao

类别: math.AP, 35Q35, 76D03, 76E99

发布日期: 2025-10-09

arXiv ID: 2510.07695v1

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

详细分析

中文标题: 量子纳维-斯托克斯方程中瑞利-泰勒问题的非线性稳定性**

1. 研究对象和背景

本文研究的是在量子效应作用下，量子纳维-斯托克斯方程（Quantum Navier–Stokes, QNS）中瑞利-泰勒（Rayleigh–Taylor, RT）不稳定性是否能被抑制的非线性动力学问题。RT不稳定性是一种经典流体力学现象：当密度较大的流体位于密度较小的流体之上，并在重力场作用下，微小扰动会指数增长，导致重流体下沉、轻流体上浮，从而释放势能。这一现象在天体物理、惯性约束聚变和等离子体物理中广泛存在。

论文考虑的QNS方程组为如下非线性偏微分方程系统（见第2页公式(1.2)）：

$$ \begin{cases} \rho_t + \mathbf{v} \cdot \nabla \rho = 0, \\ \rho \mathbf{v}_t + \rho (\mathbf{v} \cdot \nabla) \mathbf{v} - \mu \Delta \mathbf{v} + \nabla P = 2\varepsilon^2 \rho \nabla \left( \rho^{-1/2} \Delta \sqrt{\rho} \right) - g \rho \mathbf{e}_3, \\ \nabla \cdot \mathbf{v} = 0, \end{cases} $$

其中，$\rho(x,t) > 0$ 为粒子密度，$\mathbf{v}(x,t) \in \mathbb{R}^3$ 为速度场，$P(x,t)$ 为压强，$\mu > 0$ 为粘性系数，$g > 0$ 为重力加速度，$\varepsilon > 0$ 为缩放后的普朗克常数，$\mathbf{e}_3 = (0,0,1)^\top$ 为重力方向单位向量。关键的量子效应项 $2\varepsilon^2 \rho \nabla \left( \rho^{-1/2} \Delta \sqrt{\rho} \right)$ 可等价改写为：

$$ 2\varepsilon^2 \rho \nabla \left( \rho^{-1/2} \Delta \sqrt{\rho} \right) = \varepsilon^2 \mathrm{div} \left( \Delta \rho \, I - \rho^{-1} \nabla \rho \otimes \nabla \rho \right), $$

这一项被称为“玻姆势”（Bohm potential），是量子流体中特有的非线性色散项，具有抑制小尺度扰动的稳定作用。

研究区域为有限高度的平板区域 $\Omega = \mathbb{R}^2 \times (0,h)$，边界条件采用Navier边界条件（见第3页公式(1.9)）：

$$ (v_3, \partial_3 v_1, \partial_3 v_2)|_{\partial\Omega} = 0, $$

该边界条件等价于速度的法向分量为零，且切向速度的法向导数为零，这在数学上保证了能量耗散结构的闭合，并允许对高阶导数进行控制。

密度剖面 $\bar{\rho}(x_3)$ 满足RT条件：$\bar{\rho}'(s) > 0$ 对某 $s \in (0,h)$，即密度随高度增加而增大，这本应导致经典RT不稳定性。但论文假设其满足更强的稳定化条件：

$$ \inf_{x_3 \in (0,h)} |\bar{\rho}'(x_3)| > 0, $$

该条件排除了密度梯度趋于零的区域，确保量子效应能全局有效抑制不稳定性。

函数空间方面，论文定义了具有负阶Sobolev范数的加权空间（如 $H^{-s,i}$）和时间加权能量空间（如 $P, W$），用于处理非线性项的高阶耦合与时间衰减估计。

2. 主要定理或主要结果

论文的核心结果由定理1.1给出，其内容如下：

定理 1.1（非线性稳定性）
设粘性系数 $\mu > 0$，缩放普朗克常数 $\varepsilon > 0$，参数 $\theta \in (0, (19 - \sqrt{349})/6)$，令 $s = 1 - \theta$，密度剖面 $\bar{\rho} \in C^8[0,h]$ 满足稳定化条件：

$$ \inf_{x_3 \in (0,h)} |\bar{\rho}'(x_3)| > 0, \quad \text{且} \quad \bar{\rho}''|_{\partial\Omega} = \bar{\rho}''''|_{\partial\Omega} = 0. $$

若缩放普朗克常数 $\varepsilon$ 超过由线性理论确定的临界阈值：

$$ \varepsilon_c := \sup_{w \in H_\sigma^*} \frac{ \sqrt{ \int_\Omega g \bar{\rho}' w^2 \, dx } }{ \sqrt{ \int_\Omega \varepsilon^2 |\bar{\rho} \nabla w|^2 \, dx } }, $$

则存在足够小的常数 $\delta \in (0,1)$，使得对任意满足相容性条件和小初值条件：

$$ \|(\nabla \varrho_0, \mathbf{v}_0)\|_{H^{5}} + \|(\nabla \varrho_0, \mathbf{v}_0)\|_{H^{-s,2}} \leq \delta, $$

的初始扰动 $(\varrho_0, \mathbf{v}_0) \in H_{\bar{\rho},6}^{-s,3} \times H_{\diamond,\sigma,5}^{-s,2}$，量子RT问题（1.7）–（1.9）存在唯一的全局经典解 $(\varrho, \mathbf{v}, \nabla \beta) \in \mathcal{P} \times \mathcal{W} \times C^0(\mathbb{R}_+, H^5)$，并满足如下代数时间衰减的稳定性估计：

$$ E_{\mathrm{total}}(t) + \int_0^t D_{\mathrm{total}}(\tau) \, d\tau \lesssim \|(\nabla \varrho_0, \mathbf{v}_0)\|_{H^{-s,2}}^2 + \|(\nabla \varrho_0, \mathbf{v}_0)\|_{H^5}^2, \quad \forall t > 0, $$

其中总能量与耗散泛函定义为：

$$ E_{\mathrm{total}}(t) := E(t) + E(t) + \langle t \rangle^a E(t) + \langle t \rangle^{3a/2} E(t), \quad D_{\mathrm{total}}(t) := D(t) + D(t) + \langle t \rangle^a D(t) + \langle t \rangle^{3a/2} D(t), $$

且 $a = \theta + 2/3$，$\langle t \rangle := 1 + t$。

该定理首次在非线性框架下严格证明：当量子效应足够强（$\varepsilon > \varepsilon_c$）时，RT不稳定性被完全抑制，扰动解以代数速率衰减至平衡态，而非指数增长。

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

a) 核心分析学工具

论文的核心工具是多层能量估计方法（multi-layer energy method），结合了以下关键技术：

  • 时间加权能量估计：引入 $\langle t \rangle^a$ 和 $\langle t \rangle^{3a/2}$ 权重，构造分层能量泛函（如 $E(t), E(t), E(t), E(t)$），用于捕获不同阶数的衰减行为。
  • 负阶Sobolev空间估计：使用空间 $H^{-s,i}$（$s \in (0,1)$）控制低频部分，结合插值不等式（引理A.8）和Young不等式，将低阶能量项与高阶耗散项关联。
  • 各向异性范数：区分水平方向（$\nabla_h$）与垂直方向（$\partial_3$）的导数，利用水平傅里叶变换定义算子 $\Lambda_h^s$，从而在频域中精细控制非线性项的耦合结构。
  • 能量-耗散结构闭合：通过建立四个关键能量不等式（见第8–9页）：
    1. 高阶能量不等式（1.38）：控制 $\|(\varrho, \mathbf{v})\|_{H^6 \times H^5}$；
    2. 时间加权高阶衰减不等式（1.40）：$\langle t \rangle^{3a/2} E(t)$；
    3. 时间加权低阶衰减不等式（1.41）：$\langle t \rangle^a E(t)$；
    4. 负阶能量不等式（1.43）：$\|(\varrho, \mathbf{v})\|_{H^{-s,3} \times H^{-s,2}}$。

这四者相互嵌套，形成闭环，最终实现全局能量估计。

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

  • 量子势项的非线性分解：将量子项 $Q = Q_L + Q_N$ 分解为线性部分 $Q_L$（主导稳定化）与非线性部分 $Q_N$（需控制），并利用密度剖面 $\bar{\rho}$ 的正则性和下界，将非线性项转化为可吸收的高阶误差项（见公式(1.10)-(1.11)）。

  • 边界条件的高阶利用：通过Navier边界条件（1.9）和 $\bar{\rho}$ 的高阶零导数条件（1.25），推导出 $\partial_3^{2i} \varrho|_{\partial\Omega} = 0$ 等高阶边界正则性（引理2.1），从而在Gagliardo-Nirenberg插值和椭圆估计中避免边界项干扰。

  • 时间衰减与非线性耦合的协调：通过设定参数条件 $a = \theta + 2/3$ 与 $s = 1 - \theta$，满足关键不等式：

    $$ (a-1)(1+s) < \frac{2as}{3} - 1, $$

    这保证了时间积分 $\int_0^t \langle \tau \rangle^{(a-1)(1+s) - 2as/3} d\tau$ 收敛（见(1.45)），从而使得时间加权估计中的非线性项可被高阶耗散项控制。

  • 非线性项的精细估计：对非线性项 $N(t)$（见(1.39)）采用“能量-耗散”乘积形式的估计，结合Cauchy-Schwarz与Young不等式，将其上界控制为 $B^{3/2}(T)$，从而在闭合能量估计时实现自洽。

4. 与之前工作的比较

a) 突破与改进

本文在多个方面显著推进了先前工作：

  • 首次实现非线性框架下的量子抑制证明：Chang–Duan [7] 仅在 $\mathbb{R}^3$ 上研究了线性化QNS方程，并指出存在某些密度剖面使 $\varepsilon_c = \infty$（即量子效应无法抑制RT不稳定性），但未能证明有限 $\varepsilon_c$ 下的非线性稳定性。本文首次在有界平板区域中证明：只要 $\varepsilon > \varepsilon_c < \infty$，则非线性扰动解全局存在且代数衰减，填补了从线性到非线性的关键空白。

  • 突破了MHD方法的局限性：先前关于磁场抑制RT不稳定的证明（如 [26,43]）依赖于Lagrangian坐标下的位移函数 $\eta$ 的耗散估计，但该方法无法应用于QNS方程，因为量子项不产生类似“磁张力”的结构。本文创新性地构建了Eulerian坐标下的多层能量框架，完全避开对 $\eta$ 的依赖。

  • 放宽了初始数据正则性要求：相比传统RT问题需 $H^6$ 初值，本文仅需 $(\nabla \varrho_0, \mathbf{v}_0) \in H^5 \cap H^{-s,2}$，并利用负阶空间 $H^{-s,i}$（$s \in (0,1)$）降低对高频部分的依赖，从而更贴近物理实际。

  • 获得更强的衰减性质：先前工作（如线性理论）仅证明指数衰减或无衰减；本文首次在非线性QNS中证明代数衰减（algebraic decay-in-time），其速率由 $a = \theta + 2/3$ 控制，且与量子参数 $\varepsilon$ 和密度剖面 $\bar{\rho}$ 直接关联，具有明确的物理可调性。

  • 首次建立 $\varepsilon_c$ 的显式上界：通过平板高度 $h$ 与密度梯度 $\bar{\rho}'$ 的关系（见Remark 1.1），得到：

    $$ \varepsilon_c \lesssim h \cdot \frac{\sqrt{g \|\bar{\rho}'\|_{L^\infty}}}{\||\bar{\rho}'|^{-2} \bar{\rho}\|_{L^\infty}}, $$

    揭示了更陡的密度梯度反而增强量子抑制效果这一反直觉现象，为实验设计提供了理论依据。

综上，本文不仅在数学上首次严格建立了量子效应抑制RT不稳定的非线性机制，还构建了一套适用于量子流体中非线性色散项的通用能量分析框架，为后续研究量子等离子体、超流体中的稳定性问题提供了新范式。

5. Consistency of some well-posed five-field theories of dissipative relativistic fluid dynamics

某些良定五场耗散相对论流体动力学理论的一致性研究

作者: Heinrich Freistuhler

类别: math.AP

发布日期: 2025-10-08

arXiv ID: 2510.07526v1

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

详细分析

中文标题: 某些良定五场耗散相对论流体动力学理论的一致性研究

1. 研究对象和背景

本文研究的是相对论性耗散流体动力学中的一类五场（five-field）理论，其核心是通过欧拉梯度变换（Eulerian gradient shifts）对经典的朗道-利夫希茨（Landau-Lifshitz） 描述进行推广，从而构造出具有因果性和双曲性的新模型。这类模型旨在解决传统相对论粘性流体方程（如爱卡特或朗道-利夫希茨模型）中存在的非因果性和不稳定性问题。

论文中考虑的控制方程为如下守恒律形式：

$$ \frac{\partial}{\partial x^\beta} \left( T^{\alpha\beta} + \epsilon \Delta T^{\alpha\beta} \right) = 0, $$
$$ \frac{\partial}{\partial x^\beta} \left( N^\beta + \epsilon \Delta N^\beta \right) = 0, $$

其中 $ T^{\alpha\beta} $ 是能量-动量张量，$ N^\beta $ 是粒子流密度，$ \epsilon > 0 $ 是表征粘性和热传导效应强度的小参数，$ \Delta T^{\alpha\beta} $ 和 $ \Delta N^\beta $ 是由梯度项构成的耗散修正项。这些修正项具有如下一般形式：

$$ \Delta T^{\alpha\beta} = B^{\alpha\beta}_{\gamma\delta} \frac{\partial \psi}{\partial x^\delta}, \quad \Delta N^\beta = N^{\beta}_{\gamma} \frac{\partial \psi}{\partial x^\delta}, $$

其中 $ \psi $ 是戈杜诺夫变量（Godunov variables），包括温度、化学势等热力学量的组合。在五场模型中，$ \psi $ 包含五个独立变量：能量密度、动量密度、粒子数密度及其梯度结构。

论文特别关注的是欧拉梯度重表达（Eulerian gradient reexpression）这一类变换，其形式为：

$$ (\Delta \tilde{\psi})^a = S^a_{\beta c} \frac{\partial \psi^c}{\partial x^\beta}, \quad \text{其中} \quad S^a_{\beta c} = C^a_{\tilde{\alpha}} T^{\tilde{\alpha}\beta}_c, $$

且 $ T^{\tilde{\alpha}\beta}_c = \frac{\partial T^{\tilde{\alpha}\beta}}{\partial \psi^c} $ 是原始能量-动量张量对戈杜诺夫变量的导数。该变换的核心在于，它不改变物理系统的主部（leading-order）结构，仅通过高阶修正实现对耗散项的重构。

研究区域为四维时空 $ \mathbb{R}^{1,3} $，无边界条件限制，属于无界空间中的初值问题。函数空间方面，隐含假设所有变量均为光滑函数（$ C^\infty $），且梯度项为小扰动（$ \epsilon \ll 1 $），因此分析建立在微扰理论和渐近展开框架下。

2. 主要定理或主要结果

本文的核心贡献体现在三个定理中，它们共同揭示了新构造的五场模型与朗道-利夫希茨理论之间深刻的“一致性”关系。

定理1（欧拉梯度变换为二阶等价变换）：
设变换 $ (\Delta \tilde{\psi})^a = S^a_{\beta c} \frac{\partial \psi^c}{\partial x^\beta} $ 满足欧拉梯度重表达条件（即 $ S^a_{\beta c} = C^a_{\tilde{\alpha}} \frac{\partial T^{\tilde{\alpha}\beta}}{\partial \psi^c} $，其中 $ C^a_{\tilde{\alpha}} $ 由公式 (2.12)-(2.14) 给出），则由此变换生成的耗散张量 $ \Delta^{\text{new}} T^{\alpha\beta} $ 所对应的方程：

$$ \frac{\partial}{\partial x^\beta} \left( T^{\alpha\beta} + \epsilon \Delta^{\text{new}} T^{\alpha\beta} \right) = 0 $$

与原始朗道-利夫希茨方程在 $ \epsilon $ 的二阶精度下一致，即二者相差为 $ O(\epsilon^3) $。

定理2（熵产过剩为三阶小量）：
对任意属于 $ \mathcal{E}_5(\mathcal{L}) $ 的模型（即朗道-利夫希茨模型在欧拉梯度变换下的轨道），其熵产生率 $ Q $ 与朗道-利夫希茨模型本身的熵产生率之差满足：

$$ Q_{\text{new}} - Q_{\mathcal{L}} = O(\epsilon^3), $$

其中熵产生率的表达式为：

$$ Q = \frac{\eta}{2\theta} \| \mathcal{S} u \|^2 + \frac{\zeta}{\theta} (\nabla \cdot u)^2 + \frac{\kappa}{h^2} |\nabla \psi|^2 + \tilde{Q}, $$

而 $ \tilde{Q} = \mu \theta^{-2} \Theta^2 + \lambda \Psi^2 + \frac{\nu}{\theta(\rho+p)} |q|^2 $，其中 $ \Theta, \Psi, q $ 均为 $ O(\epsilon) $ 量，系数 $ \mu, \nu, \lambda $ 亦为 $ O(1) $。

定理3（尊重非均匀热力学平衡）：
$ \mathcal{E}_5(\mathcal{L}) $ 中的每一个模型均能精确描述任意非均匀（heterogeneous）局部热力学平衡态。即当梯度满足：

$$ \frac{\partial \psi^\gamma}{\partial x^\delta} = - \frac{\partial \psi^\delta}{\partial x^\gamma}, \quad \text{且} \quad \frac{\partial \psi^\gamma}{\partial x^\gamma} = 0, $$

时，所有模型的耗散项 $ \Delta T^{\alpha\beta} $ 均自动为零，表明系统处于平衡态，无额外熵产。

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

a) 核心分析学工具

  • 渐近展开与扰动分析：论文完全基于 $ \epsilon \ll 1 $ 的小参数展开，将总张量 $ T^{\alpha\beta} + \epsilon \Delta T^{\alpha\beta} $ 展开至 $ O(\epsilon^3) $，并逐阶比较不同模型的结构差异。
  • 代数结构分析：通过定义变换算子 $ S^a_{\beta c} $ 的具体形式（公式 2.9），并结合张量对称性与协变性，构建了一个代数封闭的变换群 $ \mathcal{E}_5 $，从而将不同模型分类为等价类。
  • 熵产生率的显式计算：利用热力学恒等式（如热力学势与戈杜诺夫变量的联系）推导出熵产项的显式表达式（公式 2.19），并分析其对梯度的依赖性。

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

  • 消除一阶误差的关键技巧：传统变换（如速度或热力学位移）仅能保证 $ O(\epsilon) $ 等价，而本文通过引入欧拉梯度重表达（Eulerian gradient reexpression），即让变换系数 $ S^a_{\beta c} $ 与能量-动量张量的导数 $ \partial T^{\tilde{\alpha}\beta}/\partial \psi^c $ 直接耦合，使得高阶项 $ R^{\alpha\beta} = O(\epsilon) $ 在展开中被“吸收”（见公式 2.5 与引理1），从而将等价精度提升至二阶。
  • 熵产三阶小量的证明：作者通过将熵产的“过剩项” $ \tilde{Q} $ 显式表达为 $ \Theta^2, \Psi^2, |q|^2 $ 的二次型，并指出这些量本身为 $ O(\epsilon) $，故其平方为 $ O(\epsilon^2) $，乘以 $ O(1) $ 系数后仍为 $ O(\epsilon^2) $，但因朗道-利夫希茨模型本身已包含 $ O(\epsilon^2) $ 熵产，故其差值为 $ O(\epsilon^3) $ —— 此处关键在于对“过剩”定义的精确界定。
  • 平衡态的不变性证明：利用热力学平衡态的特征——梯度反对称且散度为零（公式 2.20）——直接代入变换后的耗散项，证明其恒为零，无需额外假设，体现了模型的物理一致性。

4. 与之前工作的比较

本文在多个方面显著改进了此前的理论框架，尤其与 Freistühler 2020 年的工作 [5] 及 Eckart、Landau 模型形成鲜明对比。

  • 突破性改进1：等价精度从一阶提升至二阶
    早期工作（如 [7]）仅证明了不同模型在 $ O(\epsilon) $ 意义下等价，而本文通过引入新的变换类 $ \mathcal{E}_5 $，首次证明了欧拉梯度变换是二阶等价变换（定理1），这意味着新模型与朗道-利夫希茨理论在物理预测上具有更高阶的一致性，特别是在高精度数值模拟或弱耗散极限下具有更强的保真度。

  • 突破性改进2：熵产过剩的三阶小量性质
    文献 [5] 虽提及类似思想，但未严格证明熵产差为 $ O(\epsilon^3) $。本文通过显式构造 $ \tilde{Q} $ 并分析其量级，首次在数学上严格确立了这一关键物理性质，为“模型不引入额外不可逆性”提供了坚实的理论支撑。

  • 突破性改进3：对非均匀平衡态的精确刻画
    过往模型（如 Eckart）在非均匀平衡态下仍可能产生虚假熵产（即“伪耗散”），而本文通过定理3证明：所有 $ \mathcal{E}_5(\mathcal{L}) $ 中的模型在热力学平衡态下完全无耗散，这是对热力学第二定律的严格遵守，也是对先前模型（如 Eckart）的重大修正。

  • 与 Eckart 模型的明确区分：
    本文指出，Eckart 模型虽与朗道-利夫希茨模型在 $ O(\epsilon) $ 下等价，但在 $ O(\epsilon^2) $ 阶即出现偏差，故不满足二阶一致性，从而在数学上澄清了长期存在的“Eckart 是否可接受”的争议。

综上，本文不仅构建了一个新的、良定的五场模型族 $ \mathcal{E}_5(\mathcal{L}) $，更重要的是，它建立了一个严格的“一致性标准”：一个物理上合理的相对论耗散模型，必须在二阶精度上与朗道-利夫希茨理论一致，且熵产过剩为三阶小量，同时尊重热力学平衡。这为未来构建数值算法和有效理论模型提供了清晰的筛选准则。

6. Statistical Estimates for 2D stochastic Navier-Stokes Equations

二维随机纳维-斯托克斯方程的统计估计

作者: Anuj Kumar, Ali Pakzad

类别: physics.flu-dyn, math.AP, 35Q30, 76F55, 35R60, 35Q35

发布日期: 2025-01-30

arXiv ID: 2501.18213v2

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

详细分析

中文标题: 二维随机纳维-斯托克斯方程的统计估计

1. 研究对象和背景

本文研究的是二维（2D）周期域 $[0, \ell]^2$ 上的随机纳维-斯托克斯方程（Stochastic Navier-Stokes Equations, SNS），用于建模均匀、各向同性的二维湍流。该方程描述了不可压缩流体在随机外力驱动下的动力学行为，其数学形式为：

$$ d\mathbf{u} + (\mathbf{u} \cdot \nabla \mathbf{u} - \nu \Delta \mathbf{u} + \nabla p) \, dt = \mathbf{f} \, dt + \sum_k \mathbf{g}_k \, dW_k(t; \xi), $$
$$ \nabla \cdot \mathbf{u} = 0, $$

其中 $\mathbf{u}$ 为速度场，$p$ 为压强，$\nu > 0$ 为运动粘性系数，$\mathbf{f}$ 为确定性外力，$\mathbf{g}_k$ 为散度自由的随机力系数，$\{W_k(t; \xi)\}$ 是定义在公共概率空间 $(\Omega, \mathcal{F}, (\mathcal{F}_t), \mathbb{P})$ 上的一维独立布朗运动。该方程在周期边界条件下研究，即空间域为二维环面 $\mathbb{T}^2 = \mathbb{R}^2 / \mathbb{Z}^2$，这避免了边界效应，便于分析湍流的统计特性。

系统中随机项 $\sum_k \mathbf{g}_k \, dW_k$ 代表时间白噪声、空间有色噪声的外力扰动，用于模拟湍流中固有的随机性与多尺度涨落。研究的核心物理现象是二维湍流的“双级联”机制（dual cascade）：能量从大尺度向更小尺度逆向输运（inverse cascade），而涡度（enstrophy）则从大尺度向小尺度正向输运（forward cascade），并在小尺度上通过粘性耗散。在无粘极限（$\nu \to 0$）下，能量与涡度均为守恒量，但随机驱动使得系统在统计稳态下表现出非平凡的耗散行为，这正是本文研究的焦点。

2. 主要定理或主要结果

本文的主要结果由定理 1.1 给出，其内容如下：

定理 1.1（主要结果）：设 $\mathbf{u}$ 是随机纳维-斯托克斯方程 (1.1) 的鞅解（martingale solution），且确定性力 $\mathbf{f}$ 与随机力系数 $\{\mathbf{g}_k\}$ 满足：

$$ \sup_{t \geq 0} \|\mathbf{f}\|_{H^2} < \infty, \quad \sup_{t \geq 0} \|\nabla \mathbf{f}\|_{L^\infty} < \infty, \quad \sup_{t \geq 0} \sum_k \|\mathbf{g}_k\|_{H^1}^2 < \infty. $$

定义能量耗散率与涡度耗散率的期望值分别为：

$$ \varepsilon := \limsup_{T \to \infty} \mathbb{E} \left[ \frac{1}{\ell^2 T} \int_0^T \nu \|\nabla \mathbf{u}(t,\cdot,\xi)\|_{L^2}^2 \, dt \right], $$
$$ \chi := \limsup_{T \to \infty} \mathbb{E} \left[ \frac{1}{\ell^2 T} \int_0^T \nu \|\nabla \omega(t,\cdot,\xi)\|_{L^2}^2 \, dt \right], $$

其中 $\omega = \nabla \times \mathbf{u}$ 为标量涡度。令 $U$ 为大尺度速度，$L$ 为强迫尺度，$\mathrm{Re} = UL/\nu$ 为雷诺数，$\tilde{G}^2 = \frac{1}{\ell^2} \sum_k \|\tilde{\mathbf{g}}_k\|_{L^2}^2$ 为随机力提供的涡度输入率（$\tilde{\mathbf{g}}_k = \nabla \times \mathbf{g}_k$）。则存在常数使得：

$$ \chi \leq (\tau + 1 + \mathrm{Re}^{-1}) \frac{U^3}{L^3} + \tilde{G}^2, $$
$$ \varepsilon \leq \frac{1}{\mathrm{Re}^{1/2}} \left( (\tau + 1 + \mathrm{Re}^{-1}) \frac{U^3}{L^3} + \tilde{G}^2 \right)^{1/2} L^{-3/2} U^{3/2}, $$

其中 $\tau$ 为特征时间尺度，定义为 $\tau = \frac{\Omega_f L}{U}$，$\Omega_f = \left( \frac{\|\partial_t \mathbf{f}\|_{L^2}}{\|\mathbf{f}\|_{L^2}} \right)$。

推论：当雷诺数 $\mathrm{Re} \to \infty$（即粘性 $\nu \to 0$）时，有

$$ \varepsilon \to 0, \quad \chi \lesssim \mathcal{O}(1). $$

该结果在数学上严格验证了二维湍流中“双级联”的统计特征：在无粘极限下，能量耗散趋于零（能量在大尺度累积，不被耗散），而涡度耗散保持有界（涡度在小尺度持续生成并耗散），与Kraichnan-Leith-Batchelor的经典物理猜想一致。

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

a) 核心分析学工具：

  • 鞅解框架：论文采用随机PDE中的鞅解（martingale solution）概念，这是一种弱解，允许在概率意义上处理噪声驱动的非线性系统，适用于强非线性与不可预测的湍流动力学。
  • 能量估计与Itô公式：对速度场 $\mathbf{u}$ 和涡度 $\omega$ 分别应用Itô乘积公式，得到能量与涡度的随机演化方程，并结合时间平均与期望运算，导出耗散率的上界。
  • Poincaré不等式：用于将 $L^2$ 范数与梯度范数联系，例如 $\lambda_1 \|\phi\|_{L^2}^2 \leq \|\nabla \phi\|_{L^2}^2$，从而控制低频模式。
  • Young不等式与Hölder不等式：用于处理非线性项 $(\mathbf{u} \cdot \nabla \mathbf{u}, \mathbf{f})$ 和交叉项 $(\mathbf{g}_k, \mathbf{u})$ 的估计，例如将乘积项分解为可控的幂次项。
  • Jensen不等式：在处理期望与平方根的交换时（如对 $\mathbb{E}[\|\mathbf{u}\|_{L^2}]$ 估计 $\mathbb{E}[\|\mathbf{u}\|^2]$），利用凸函数的性质建立关键不等式。
  • Gronwall不等式：用于证明速度场在时间上的一致有界性 $\sup_{t \geq 0} \mathbb{E}[\|\mathbf{u}(t)\|_{L^2}^2] < \infty$，这是后续分析的基础。
  • Fatou引理与Itô积分的零期望性质：用于交换极限与期望顺序，证明时间平均耗散率的有限性。

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

  • 随机项的处理：随机项 $\sum_k \mathbf{g}_k \, dW_k$ 引入了非确定性与非线性耦合。论文通过证明 $\mathbb{E}\left[ \int_0^T (\mathbf{g}_k, \mathbf{u}) \, dW_k \right] = 0$（Itô积分的鞅性质），成功消除了随机项对期望值的直接影响，从而将问题转化为确定性估计。
  • 非线性项 $(\mathbf{u} \cdot \nabla \mathbf{u}, \mathbf{f})$ 的控制：通过将 $\mathbf{u} \cdot \nabla \mathbf{u}$ 与 $\mathbf{f}$ 的内积分解为时间导数项与时间平均项，并利用 $\mathbf{f} \in H^2$ 的正则性，结合Hölder不等式与Poincaré不等式，实现了对非线性项的精确控制。
  • 双级联的统计分离：作者通过分别估计能量与涡度的耗散率，揭示了二者在无粘极限下的不同行为。涡度耗散率 $\chi$ 受随机输入 $\tilde{G}^2$ 主导，保持有界；而能量耗散率 $\varepsilon$ 因粘性消失而趋于零，这与三维湍流中 $\varepsilon \sim \mathcal{O}(1)$ 的行为形成鲜明对比，凸显了二维系统的特殊性。

4. 与之前工作的比较

a) 突破与改进：

本文首次在随机驱动的二维湍流框架下，严格证明了能量耗散率 $\varepsilon \to 0$ 与涡度耗散率 $\chi \lesssim \mathcal{O}(1)$ 在无粘极限下的统计行为，填补了理论空白。此前相关工作主要集中在以下方面：

  • 确定性驱动：Foias, Jolly, Manley & Rosa [25] 与 Alexakis & Doering [1] 在确定性外力下建立了 $\chi$ 的上界，但未考虑随机扰动，无法刻画真实湍流中的涨落效应。
  • 三维随机湍流：Doering & Constantin [15]、Doering & Foias [16] 在三维情形中证明了 $\varepsilon \lesssim U^3 / L$，但三维湍流不存在双级联，其能量耗散在无粘极限下保持非零，与二维情形本质不同。
  • 随机边界驱动：近期工作如 [20,21] 研究了边界噪声驱动的剪切流，但未涉及体积随机力（body force）与涡度级联。

本文的突破在于：

  1. 放宽了驱动机制的假设：首次将确定性外力推广为空间有色、时间白噪声的随机力，且允许 $\mathbf{g}_k \in H^1$，而非仅限于光滑或有限模态；
  2. 首次在二维随机情形下严格建立双级联的统计耗散界限，并明确给出 $\varepsilon \to 0$ 与 $\chi \lesssim \mathcal{O}(1)$ 的定量关系；
  3. 统一处理了能量与涡度两个守恒量的统计行为，揭示了随机扰动如何在保持双级联结构的同时，影响耗散率的渐近行为。

因此，本文不仅在数学上推进了随机PDE的理论分析，也为实验与数值模拟中观察到的“二维湍流能量保留、涡度耗散”现象提供了严格的理论支撑，是连接物理直觉与数学严谨性的关键一步。

7. Global strong solutions to the compressible Navier–Stokes–Coriolis system for large data

大数据下可压缩Navier-Stokes-Coriolis系统的全局强解

作者: Mikihiro Fujii, Keiichi Watanabe

类别: math.AP

发布日期: 2024-11-05

arXiv ID: 2411.02701v2

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

详细分析

**B˙ 1 2 (R3))3 2,∞ 2,1

中文标题: 大数据下可压缩Navier-Stokes-Coriolis系统的全局强解

1. 研究对象和背景

本文研究的是三维全空间 $\mathbb{R}^3$ 上带有科里奥利力（Coriolis force）的可压缩Navier-Stokes方程组，其数学形式如下：

$$ \begin{cases} \partial_t \rho + \operatorname{div}(\rho u) = 0, & t > 0, \, x \in \mathbb{R}^3, \\ \rho \left( \partial_t u + (u \cdot \nabla)u + \Omega(e_3 \times u) \right) + \frac{1}{\varepsilon^2} \nabla P(\rho) = \mu \Delta u + (\mu + \mu') \nabla \operatorname{div} u, & t > 0, \, x \in \mathbb{R}^3, \\ \rho(0,x) = \rho_0(x), \quad u(0,x) = u_0(x), & x \in \mathbb{R}^3, \end{cases} \tag{1.1} $$

其中 $\rho(t,x)$ 和 $u(t,x)$ 分别表示流体的密度和速度场，$\Omega \in \mathbb{R}$ 是旋转速度，$\varepsilon > 0$ 是马赫数（Mach number），$e_3 = (0,0,1)^\top$ 是垂直单位向量，代表旋转轴方向。压力函数 $P(\rho)$ 满足 $c := P'(\rho_\infty) > 0$，其中 $\rho_\infty > 0$ 为平衡态密度。系统围绕常数平衡态 $(\rho_\infty, 0)$ 进行研究，通过变量替换 $a = (\rho - \rho_\infty)/\varepsilon$，将系统标准化为 $\rho_\infty = 1$，并引入无量纲化形式：

$$ \begin{cases} \partial_t a + \frac{1}{\varepsilon} \operatorname{div} u = -\operatorname{div}(a u), & t > 0, \, x \in \mathbb{R}^3, \\ \partial_t u - L u + \Omega (e_3 \times u) + \frac{1}{\varepsilon} \nabla a = -N_\varepsilon[a,u], & t > 0, \, x \in \mathbb{R}^3, \\ a(0,x) = a_0(x), \quad u(0,x) = u_0(x), & x \in \mathbb{R}^3, \end{cases} \tag{2.1} $$

其中 $L u = \mu \Delta u + (\mu + \mu') \nabla \operatorname{div} u$，且 $2\mu + \mu' = 1$，非线性项 $N_\varepsilon[a,u]$ 包含对流项与压力扰动项。该系统建模地球物理流体（如大气或海洋环流），其中科里奥利力源于地球自转，而马赫数小代表低速可压缩流动（近似不可压）。研究区域为整个三维空间 $\mathbb{R}^3$，无边界条件，属于无界域问题。

该工作的核心物理背景是：当旋转速度 $\Omega$ 很大、马赫数 $\varepsilon$ 很小时，科里奥利力与声波的耦合会产生显著的色散效应，这为克服低频部分的能量估计困难提供了可能性。传统方法因科里奥利力与密度扰动的交叉项 $\Omega(e_3 \times u)$ 导致低频部分能量估计无法闭合，使得全局强解的存在性长期未解。

2. 主要定理或主要结果

本文的主要结果是定理 2.1，其内容如下：

定理 2.1。设初始扰动满足 $a_0 \in \dot{B}^{-3/2}_{2,\infty}(\mathbb{R}^3) \cap \dot{B}^{3/2}_{2,1}(\mathbb{R}^3)$，$u_0 \in (\dot{B}^{-3/2}_{2,\infty}(\mathbb{R}^3) \cap \dot{B}^{1/2}_{2,1}(\mathbb{R}^3))^3$。则存在正常数 $\Omega_0 = \Omega_0(\mu, P, a_0, u_0)$ 和 $c_0 = c_0(\mu, P, a_0, u_0)$，使得若旋转速度 $\Omega$ 与马赫数 $\varepsilon$ 满足：

$$ \Omega_0 \leq |\Omega| \leq \frac{c_0}{\varepsilon}, \tag{2.2} $$

则系统 (2.1) 存在唯一全局强解 $(a, u)$，满足：

$$ a \in \widetilde{C}([0,\infty); \dot{B}^{-3/2}_{2,\infty}(\mathbb{R}^3) \cap \dot{B}^{3/2}_{2,1}(\mathbb{R}^3)), \tag{2.3} $$

$$ u \in \widetilde{C}([0,\infty); (\dot{B}^{-3/2}_{2,\infty}(\mathbb{R}^3) \cap \dot{B}^{1/2}_{2,1}(\mathbb{R}^3))^3) \cap L^1_{\text{loc}}([0,\infty); \dot{B}^{5/2}_{2,1}(\mathbb{R}^3))^3, $$

且对所有 $(t,x) \in [0,\infty) \times \mathbb{R}^3$，有 $a(t,x) > -1/\varepsilon$（即密度 $\rho = 1 + \varepsilon a > 0$）。

该定理的突破性在于：在任意大的初始扰动下，只要旋转足够快（$|\Omega| \gg 1$）且马赫数足够小（$1/\varepsilon \gg |\Omega|$），即可构造出全局强解。这在经典Matsumura-Nishida框架下是前所未有的，因为此前即使在小初值假设下，科里奥利力导致的低频结构也使得全局解的存在性无法证明。

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

a) 核心分析学工具：

  • 临界Besov空间框架：作者在齐次Besov空间 $\dot{B}^s_{p,\sigma}$ 中建立解的正则性，特别是利用 $\dot{B}^{-3/2}_{2,\infty} \cap \dot{B}^{3/2}_{2,1}$ 作为初始空间，该空间在系统尺度变换下不变，符合“临界”要求。
  • Chemin-Lerner空间：为处理时间-空间耦合估计，作者引入混合范数空间 $\widetilde{L}^r(I; \dot{B}^s_{p,\sigma})$，尤其在低频部分处理无穷阶插值指数时不可或缺。
  • Strichartz估计：通过分析科里奥利力与声波耦合产生的色散效应，作者在高频部分（$|\xi| \sim |\Omega|\varepsilon$）建立了关键的色散估计（引理3.5）：
    $$ \|\Delta_j (a,u)\|_{L^r(0,t;L^q)} \leq C |\Omega|^{-\frac{1}{r}} 2^{-\frac{3}{2}(1 - \frac{2}{q})j} \left( \|\Delta_j (a_0,u_0)\|_{L^2} + \|\Delta_j (f,g)\|_{L^1(0,t;L^2)} \right), $$
    该估计允许通过增大 $|\Omega|$ 来“收缩”高频部分的范数，从而控制非线性项。
  • 最大 $L^r$-正则性估计：在低频部分，作者发现线性化解的行为类似于四阶耗散半群 $\{e^{-t\Delta^2}\}_{t>0}$，而非传统热核 $\{e^{t\Delta}\}$，由此导出：
    $$ \|e^{-t\Delta^2} f\|_{\widetilde{L}^1(0,\infty; \dot{B}^{5/2}_{2,\sigma})} \leq C \|f\|_{\dot{B}^{-3/2}_{2,\sigma}}, $$
    该估计揭示了低频部分的“四阶耗散”本质，但导致负阶正则性空间的出现。

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

  • 低频部分的动量形式重构：传统方法因交叉项 $\langle \Omega e_3 \times u, \varepsilon i \xi \hat{a} \rangle$ 难以控制，导致能量估计失效。作者创新性地在低频部分采用动量变量 $m = \rho u = (1 + \varepsilon a) u$，使得非线性项具有散度结构（如 $\operatorname{div}(a u)$），从而提升正则性，绕过负阶导数的估计障碍。
  • 分离频率区域的精细分析：将解分为低频（$|\xi| \lesssim |\Omega|\varepsilon$）、中频（$|\Omega|\varepsilon \lesssim |\xi| \lesssim 1/\varepsilon$）和高频（$|\xi| \gtrsim 1/\varepsilon$）三部分，分别处理：
    • 低频：依赖四阶耗散半群的 $L^1$-正则性与动量形式；
    • 中频：利用 $|\Omega| \gg 1$ 控制Strichartz范数；
    • 高频：利用 $1/\varepsilon \gg 1$ 与色散估计收缩解。
  • 参数依赖的统一闭合：通过精心选择条件 $|\Omega| \sim 1/\varepsilon$（即 $1 \ll |\Omega| \ll 1/\varepsilon$），使得三个频率区域的估计能同时闭合，无需分别限制参数。

4. 与之前工作的比较

a) 突破与改进：

本文首次在大初值和全局时间框架下，解决了三维可压缩Navier-Stokes-Coriolis系统的全局强解存在性问题，显著超越了此前所有工作：

  • 相比经典Matsumura-Nishida框架：早期结果（如Danchin [9]）仅适用于非旋转系统（$\Omega=0$），且要求初始扰动足够小。本文首次在 $\Omega \neq 0$ 下，允许任意大的初始数据，仅需旋转快、马赫数小，这是质的飞跃。
  • 相比作者前期工作 [19]：[19] 虽首次在临界Besov空间中建立局部解与有限时间存在性，但无法扩展到 $T=\infty$，因低频能量估计无法闭合。本文通过引入动量形式与四阶耗散结构，克服了这一根本障碍。
  • 相比不可压情形 [21,24]：在不可压情形（$\varepsilon \to 0$）中，已知当 $|\Omega|$ 大时存在全局解，但依赖 $\operatorname{div} u = 0$ 的结构。本文首次将此结果推广至可压缩情形，并明确给出旋转速度与马赫数的联合控制条件（$|\Omega| \sim 1/\varepsilon$），为“从可压缩到不可压缩”的极限提供了理论基础（见Remark 2.2(2)）。
  • 正则性与唯一性：本文不仅证明全局存在性，还建立了唯一强解，且解具有精确的正则性结构（$\dot{B}^{5/2}_{2,1}$ 时间积分），优于弱解框架（如 [5,14–17]）。

综上，本文的突破在于：首次在大初值、可压缩、旋转、三维全空间框架下，通过色散效应与动量重构，实现了全局强解的构造，填补了该领域长期存在的理论空白。

8. Time-periodic solutions to the Navier–Stokes equations on the whole space including the two-dimensional case

整个空间上包含二维情形的Navier-Stokes方程的时周期解

作者: Mikihiro Fujii

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

发布日期: 2023-12-18

arXiv ID: 2312.10878v3

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

详细分析

中文标题: 整个空间上包含二维情形的Navier-Stokes方程的时周期解

1. 研究对象和背景

本文研究的是在全空间 $\mathbb{R}^n$（$n \geq 2$）上，带有时间周期外力的不可压缩Navier-Stokes方程的时周期解的存在性与非存在性问题。方程组形式如下：

$$ \begin{cases} \partial_t u - \Delta u + (u \cdot \nabla) u + \nabla p = f, & t \in \mathbb{R},\ x \in \mathbb{R}^n, \\ \mathrm{div}\, u = 0, & t \in \mathbb{R},\ x \in \mathbb{R}^n, \end{cases} $$

其中 $u(t,x): \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ 是未知速度场，$p(t,x): \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}$ 是压力，外力 $f(t,x): \mathbb{R} \times \mathbb{R}^n \to \mathbb{R}^n$ 是给定的 $T$-周期函数，即 $f(t+T) = f(t)$ 对所有 $t \in \mathbb{R}$ 成立。

该方程具有标度不变性：若 $(u, p, f)$ 是解，则对任意 $\lambda > 0$，缩放后的函数

$$ u_\lambda(t,x) := \lambda u(\lambda^2 t, \lambda x), \quad p_\lambda(t,x) := \lambda^2 p(\lambda^2 t, \lambda x), \quad f_\lambda(t,x) := \lambda^3 f(\lambda^2 t, \lambda x) $$

也是解。因此，研究在标度临界函数空间中的解具有自然的数学意义。

本文的核心特殊性在于：研究区域为整个空间 $\mathbb{R}^n$，无边界条件，且外力为全局时间周期函数。更重要的是，作者首次系统地在Besov型标度临界空间（特别是Chemin–Lerner空间）中研究该问题，区分了高维情形（$n \geq 3$）与二维情形（$n=2$）的截然不同行为。

在高维情形中，已知存在性结果多基于Lebesgue、Morrey或$L^{n,\infty}$空间，但二维情形长期悬而未决——由于二维热核衰减过慢（$O(t^{-1})$），导致关键双线性估计难以在传统空间中建立，使得标准不动点方法失效。

2. 主要定理或主要结果

本文的主要结果分为两部分：高维存在性与稳定性，以及二维非存在性。

定理 1.1（高维存在性，$n \geq 3$）：设 $n \geq 3$ 为整数，$1 \leq p < n$，$1 \leq \sigma \leq \infty$。则存在常数 $\delta_0 = \delta_0(n,p,\sigma) > 0$ 和 $\varepsilon_0 = \varepsilon_0(n,p,\sigma) > 0$，使得对任意 $T > 0$，若外力 $f \in \widetilde{C}(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-3}(\mathbb{R}^n))$ 满足

$$ \|f\|_{L^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-3}(\mathbb{R}^n))} \leq \delta_0, $$

则方程 (1.1) 存在唯一的 $T$-周期弱解 $u_{\mathrm{per}} \in U_{p,\sigma}(\mathbb{R}^n)$，其中

$$ U_{p,\sigma}(\mathbb{R}^n) := \left\{ u \in \widetilde{C}(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1}(\mathbb{R}^n)) : \|u\|_{L^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1}(\mathbb{R}^n))} \leq \varepsilon_0 \right\}. $$

此外，存在常数 $C = C(n,p)$ 使得

$$ \|u_{\mathrm{per}}\|_{L^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1}(\mathbb{R}^n))} \leq C \|f\|_{L^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-3}(\mathbb{R}^n))}. $$

定理 1.3（高维稳定性，$n \geq 3$）：在定理1.1的假设下，设初始扰动 $w_0 \in \dot{B}_{q,\sigma}^{n/q-1}(\mathbb{R}^n)$，其中 $1 \leq q < 2n$，且满足 $\|u_{\mathrm{per}}\| \leq \delta_0$，$\|w_0\| \leq \delta_0$，则扰动方程 (1.8) 存在唯一的弱解 $w \in \widetilde{C}([0,\infty); \dot{B}_{q,\sigma}^{n/q-1}(\mathbb{R}^n)) \cap L^r(0,\infty; \dot{B}_{q,\sigma}^{n/q-1+2/r}(\mathbb{R}^n))$，且满足渐近稳定性：

$$ \lim_{t \to \infty} \|w(t)\|_{\dot{B}_{q,\sigma}^{n/q-1}(\mathbb{R}^n)} = 0. $$

定理 1.5（二维非存在性，$n=2$）：设 $n=2$，$1 \leq p \leq 2$。则存在常数 $\varepsilon_0 = \varepsilon_0(p) > 0$，使得对任意 $0 < \delta \leq \varepsilon_0$ 和 $0 < T \leq 2\delta^{-1/2}$，存在 $T$-周期外力 $f_\delta \in \widetilde{C}(\mathbb{R}; \dot{B}_{p,1}^{2/p-3}(\mathbb{R}^2))$，满足

$$ \|f_\delta\|_{L^\infty(\mathbb{R}; \dot{B}_{p,1}^{2/p-3}(\mathbb{R}^2))} \leq \delta, $$

但方程 (1.1) 在类

$$ V(\mathbb{R}^2) := \left\{ u \in BC(\mathbb{R}; \dot{B}_{2,1}^0(\mathbb{R}^2)) : \exists t_0 \in \mathbb{R},\ \|u(t_0)\|_{\dot{B}_{2,1}^0(\mathbb{R}^2)} \leq \varepsilon_0 \right\} $$

中不存在任何 $T$-周期解。

该定理首次否定性地解决了二维情形下时周期解的存在性问题，表明即使外力任意小，也可能不存在时周期解。

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

a) 核心分析工具：

  • Chemin–Lerner空间（$\widetilde{L}^r(I; \dot{B}_{p,\sigma}^s(\mathbb{R}^n))$）：这是本文最核心的函数空间工具。作者放弃传统的 $L^r(I; \dot{B}_{p,\sigma}^s)$ 空间，转而使用先对频域取 $\ell^\sigma$ 范数、再对时间取 $L^r$ 范数的“交换顺序”空间。这种结构使得能够利用热核的最大正则性估计（Lemma 2.1）：

    $$ \left\| \int_{-\infty}^t e^{(t-\tau)\Delta} P \mathrm{div}(u(\tau) \otimes v(\tau)) \, d\tau \right\|_{\widetilde{L}^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1})} \leq C \|u\|_{\widetilde{L}^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1})} \|v\|_{\widetilde{L}^\infty(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1})}, $$

    这在传统空间中因热核衰减太慢（尤其在二维）而无法成立。

  • 双线性估计（Lemma 2.3）：基于Bony分解和Chemin–Lerner空间，作者建立了关键的非线性项估计，适用于所有 $1 \leq \sigma \leq \infty$，这是传统空间无法实现的突破。

  • 不动点定理（Banach压缩映射原理）：在高维情形中，作者构造映射

    $$ \mathcal{T}(u)(t) := \int_{-\infty}^t e^{(t-\tau)\Delta} P f(\tau) \, d\tau - \int_{-\infty}^t e^{(t-\tau)\Delta} P \mathrm{div}(u(\tau) \otimes u(\tau)) \, d\tau, $$

    并证明其在 $\widetilde{C}(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1})$ 的小球中是压缩映射，从而得到唯一周期解。

  • 矛盾构造法（反证法）：在二维情形中，作者不试图构造解，而是构造反例：对任意小的 $\delta$，构造一个外力 $f_\delta$，并利用不适定性方法（Proposition 4.1）构造一个非周期解 $u(t)$，其在时间 $t_0$ 与 $t_0 + kT$ 处的范数相差至少 $2\varepsilon_0$，从而与假设的周期解矛盾。

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

  • 二维热核衰减慢的困境：在二维中，热核 $e^{t\Delta}$ 的 $L^1 \to L^\infty$ 估计为 $O(t^{-1})$，导致双线性项积分发散。作者通过使用Chemin–Lerner空间，将时间积分与频域 $\ell^\sigma$ 范数交换顺序，从而避开直接估计时间积分，转而利用热核在频域上的指数衰减（见Lemma 2.1的证明）。

  • 非线性项的控制：作者使用Bony分解（见Appendix A）将 $u \otimes v$ 分解为平滑项 $T_u v$、平滑项 $T_v u$ 和余项 $R(u,v)$，分别估计。在高维中，所有项均可控制；在二维中，作者通过反例说明即使外力极小，非线性项仍可能“破坏”周期性。

  • 唯一性保障：作者在二维中利用Proposition 4.5证明了在 $\dot{B}_{2,1}^0$ 空间中Navier-Stokes解的无条件唯一性，这是反证法成立的关键前提：若假设存在周期解，则其必须与构造的非周期解重合，产生矛盾。

4. 与之前工作的比较

a) 突破与改进：

  • 维度突破：此前研究（如Kozono–Nakao [12]、Yamazaki [19–20]、Geissert–Hieber–Nguyen [10]）仅在 $n \geq 3$ 成立，且多依赖 $L^{n,\infty}$ 或Morrey空间。本文首次在标度临界Besov空间 $\dot{B}_{p,\sigma}^{n/p-1}$ 中统一处理 $n \geq 3$，并允许 $\sigma < \infty$，从而获得更强的稳定性结论（定理1.3）。

  • 二维问题的解决：这是本文最根本的突破。长期以来，二维时周期解的存在性被广泛认为是“困难但可能成立”的开放问题（如文献[9]所述）。本文首次证明其在一般情形下不成立，通过构造反例彻底否定存在性，这是对领域认知的根本性修正。

  • 函数空间的改进：先前结果多在 $L^\infty_t L^{n,\infty}_x$ 或 $L^\infty_t L^n_x$ 中研究，但这些空间不包含Chemin–Lerner空间的精细结构。本文的 $\widetilde{C}(\mathbb{R}; \dot{B}_{p,\sigma}^{n/p-1})$ 是更精细的标度临界空间，且允许 $\sigma=1$，这在稳定性分析中至关重要（见Remark 1.2）。

  • 反例构造的创新性：不同于以往通过构造特殊对称外力（如Tsuda [17]的反对称外力）来获得解，本文构造的是各向异性外力（如 $f_\delta \sim \cos(Mx_1)$，$M \gg 1$），并证明即使如此小的外力，也会导致解“逃逸”周期性。这表明二维Navier-Stokes方程的时周期解存在性对初始/外力结构极其敏感，甚至在“小”条件下也失效。

综上，本文不仅在高维情形推广并优化了已有结果，更在二维情形实现了从“开放问题”到“否定性结论”的历史性突破，是该领域近三十年来最重要的进展之一。

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

1. Inverse photoacoustic tomography problem in media with fractional attenuation

具分数阶衰减介质中的逆光声断层成像问题

作者: Sebastian Acosta, Benjamin Palacios

类别: math.AP, 35R30, 35L05, 35R11

发布日期: 2025-10-03

arXiv ID: 2510.03408v2

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

摘要翻译

中文标题: 具分数阶衰减介质中的逆光声断层成像问题

摘要翻译: 本文研究了在分数阶衰减条件下波动方程的初始源重构这一逆问题，其动机源于光声断层成像（PAT）。衰减效应通过阶数为 $\alpha\in(0,1)$ 的Caputo分数阶导数建模。我们通过将两类Carleman估计适配至分数阶框架，结合几何叶状结构条件，建立了唯一性结果；通过利用波动解的分数阶时间导数所满足的连续性不等式，证明了稳定性；并基于Neumann级数推导了一种重构算法。尽管我们的结果可直接应用于PAT，但我们预期所采用的分析方法与工具对于研究具有记忆效应的偏微分方程，以及衰减波模型中的逆问题，具有更广泛的适用性与理论价值。

2. The Space-Time Connectivity Theorem for Normal Currents

正则链的空间-时间连通性定理

作者: Paolo Bonicatto, Filip Rindler, Harry Turnbull

类别: math.AP, math.FA, 49Q15, 53C65

发布日期: 2025-10-09

arXiv ID: 2510.08360v1

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

摘要翻译

中文标题: 正则链的空间-时间连通性定理

摘要翻译: 本文建立了正则链的空间-时间连通性定理。类比于Federer与Fleming的经典结果，以及由第二作者近期对整数链所建立的定理，本结果表明：对于一列一致有界且无边界的正则链，其弱*收敛性可通过一个空间-时间正则链加以刻画，该链将序列中的每一元素与其极限连接起来。与经典情形不同，此连接链具有时间坐标，从而提供了一种随时间逐步演化的方式，将序列中的元素连续变形为极限。

3. Muckenhoupt-weighted $L_q(L_p)$ boundedness for time-space fractional nonlocal operators

Muckenhoupt权下时间-空间分数阶非局部算子的 $L_q(L_p)$ 有界性

作者: Yong Zhen Yang, Yong Zhou

类别: math.AP, 26A33, 35R11

发布日期: 2025-07-02

arXiv ID: 2507.01890v3

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

摘要翻译

中文标题: Muckenhoupt权下时间-空间分数阶非局部算子的 $L_q(L_p)$ 有界性

摘要翻译: 我们建立了如下形式分数阶演化方程解的加权混合范数 $L_q(L_p)$ 估计：

$$ \partial_t^\alpha w(t,x) = \phi(\Delta) w(t,x) + h(t,x), \quad w(0,\cdot) = w_0, \quad t > 0, \; x \in \mathbb{R}^d, $$


其中 $\partial_t^\alpha$ 表示 $\alpha \in (0,1)$ 阶的 Caputo 导数，$\phi(\Delta)$ 是与 Bernstein 函数 $\phi$ 相关联的非局部算子。对于所有 $p, q \in (1, \infty)$ 及 $\gamma \in \mathbb{R}$，我们证明了如下估计：
\begin{align*} &\left| \partial_t^\alpha w \right|{L_q(0,T,\mu_2dt; H^{\phi,\gamma}p(\mu_1))} + \left| \phi(\Delta) w \right|{L_q(0,T,\mu_2dt; H^{\phi,\gamma}p(\mu_1))} \ &\qquad\leq C \left( \left| h \right|{L_q(0,T,\mu_2dt; H^{\phi,\gamma}p(\mu_1))} + \left| w_0 \right|{N{\alpha,p,\phi}} \right), \end{align*}
其中 $\mu_1 \in A_p(\mathbb{R}^d)$ 与 $\mu_2 \in A_q(\mathbb{R})$ 为 Muckenhoupt 权，$N_{\alpha,p,\phi}$ 是刻画容许初值的 Banach 空间。特别地，当 $\mu_2 \equiv 1$ 且 $\alpha q > 1$ 时，$N_{\alpha,p,\phi}$ 与加权 Besov 空间 $B^{\phi,\gamma+2-\frac{2}{\alpha q}}_{p,q}(\mu_1)$ 重合。
本分析基于调和分析工具，包括 Fefferman–Stein 不等式、加权混合范数空间中的 Hardy–Littlewood 极大算子估计，以及用于控制解算子的尖锐函数方法。这些结果推广并统一了 K. H. Kim 等人的先前工作，为时间-空间非局部演化方程的加权 $L_q(L_p)$ 理论提供了一个通用的分析框架。

4. On the Cahn-Hilliard equation with nonlinear diffusion: the non-convex case

非凸情形下具有非线性扩散的Cahn-Hilliard方程

作者: Monica Conti, Stefania Gatti, Andrea Giorgini, Giulio Schimperna

类别: math.AP

发布日期: 2025-10-09

arXiv ID: 2510.08287v1

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

摘要翻译

中文标题: 非凸情形下具有非线性扩散的Cahn-Hilliard方程

摘要翻译: 本文研究了具有非线性扩散与非退化迁移率的Cahn-Hilliard方程，该方程用于模拟复杂体系（如晶体与聚合物）中的相分离现象。以往文献中关于此模型的结果均依赖于能量梯度部分的强凸性假设，而这一假设排除了诸多实际相关的情形。在本工作中，我们摒弃了凸性条件，在对扩散函数与迁移率函数仅作一般性假设的前提下，建立了解的若干新定性性质。在二维空间中，我们证明了弱解的唯一性、正时间下的正则化效应，以及当时间趋于无穷时解向平衡态的收敛性。在三维空间中，我们证明了对任意初值强解的局部适定性，以及当初始数据接近能量极小值时全局解的存在性，从而导出了一个Lyapunov稳定性原理。我们分析的核心工具是为非线性扩散情形量身定制的Lojasiewicz-Simon不等式，该不等式使我们能够刻画系统的长期动力学行为。

5. Hölder regularity of the solutions of Fredholm integral equations on upper Ahlfors regular sets

上Ahlfors正则集上Fredholm积分方程解的Hölder正则性

作者: M. Lanza de Cristoforis, M. Norman

类别: math.AP, math.FA, 45B05, 31B10

发布日期: 2025-10-09

arXiv ID: 2510.08264v1

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

摘要翻译

中文标题: 上Ahlfors正则集上Fredholm积分方程解的Hölder正则性

摘要翻译: 我们将第二类Fredholm积分方程解的（广义）Hölder连续性结果推广至满足上Ahlfors增长条件的度量测度空间情形。此处需指出，上Ahlfors增长条件亦包含非倍测度的情形。

6. A $Γ$-convergence result for 2D type-I superconductors

二维第一类超导体的Γ-收敛结果

作者: Alessandro Cosenza, Michael Goldman, Alessandro Zilio

类别: math.AP, 35Q56, 49J10, 49J45, 82D55

发布日期: 2025-04-28

arXiv ID: 2504.19587v2

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

摘要翻译

中文标题: 二维第一类超导体的Γ-收敛结果

摘要翻译: 我们研究了一类二维非标准的Modica-Mortola型泛函。该泛函源于第一类超导体的Ginzburg-Landau理论，对应于样品长度无限长且穿透深度与相干长度数量级相当的情形。我们证明该泛函在Γ-收敛意义下收敛于周长泛函。这一结果为将Conti、Goldman、Otto与Serfaty（2018）的研究推广至Ginzburg-Landau参数κ非零的情形奠定了第一步基础。

7. Stability of Traveling Fronts of the FitzHugh-Nagumo Equations on Cylindrical Surfaces

圆柱面上FitzHugh-Nagumo方程行波解的稳定性

作者: Afroditi Talidou

类别: math.AP

发布日期: 2025-10-09

arXiv ID: 2510.08028v1

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

摘要翻译

中文标题: 圆柱面上FitzHugh-Nagumo方程行波解的稳定性

摘要翻译: FitzHugh-Nagumo方程在单空间维情形下已被证实存在非线性稳定的行波解。本文研究了在圆柱面上传播的行波解的稳定性。结果表明，在半径恒定的标准圆柱面上，此类行波解具有非线性稳定性。进一步地，分析被推广至半径缓慢变化的扭曲圆柱面，并建立了类似行波解的存在性与持久性。数值模拟结果与理论分析高度一致，有力支持了本文的结论。

8. Gradient regularity for widely degenerate parabolic equations

广义退化抛物方程的梯度正则性

作者: Michael Strunk

类别: math.AP

发布日期: 2025-10-09

arXiv ID: 2510.07999v1

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

摘要翻译

中文标题: 广义退化抛物方程的梯度正则性

摘要翻译: 本文研究如下形式抛物方程的弱解 $u\colon\Omega_T\to\mathbb{R}$ 的正则性： \begin{equation*} \partial_t u - \mathrm{div} \nabla \mathcal{F}(x,t,Du) = f\qquad\mbox{在 }\Omega_T\mbox{ 中}, \end{equation*} 其中 $\mathcal{F}$ 仅在梯度 $Du$ 落于有界凸集 $E\subset \mathbb{R}^n$ 之外时具有椭圆性，且满足 $0\in \mathrm{Int}\,E$。此处，$\Omega_T :=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$ 表示定义在有界域 $\Omega\subset\mathbb{R}^n$ 上、时间区间为 $(0,T)$（$T>0$ 有限）的空间-时间柱体。扩散项中的函数 $\mathcal{F} : \Omega_T\times\mathbb{R}^n \to\mathbb{R}_{\geq 0}$ 满足以下性质：当 $\xi$ 位于 $E$ 外部时，映射 $\xi\mapsto \mathcal{F}(x,t,\xi)$ 具有正则性；而当 $\xi$ 位于 $E$ 内部时，$\mathcal{F}$ 恒为零。此外，给定函数 $f$ 假设属于 $L^{n+2+\sigma}(\Omega_T)$，其中 $\sigma > 0$ 为某常数。本文的主要结果表明：对任意满足在 $E$ 上恒为零的连续函数 $\mathcal{K}\in C^0(\mathbb{R}^n)$，均有 \begin{equation*} \mathcal{K}(Du)\in C^0(\Omega_T). \end{equation*} 本文旨在将椭圆情形下的 $C^1$ 正则性结论推广至抛物情形。

9. Normalized NLS ground states on a double plane hybrid

双平面量子杂化系统上归一化的非线性薛定谔方程基态

作者: Filippo Boni, Raffaele Carlone, Ilenia Di Giorgio

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

发布日期: 2024-07-29

arXiv ID: 2407.19810v2

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

摘要翻译

中文标题: 双平面量子杂化系统上归一化的非线性薛定谔方程基态

摘要翻译: 我们研究了在由两个在一点相连的平面构成的量子杂化系统上，归一化非线性薛定谔方程基态的存在性及其性质。非线性项为幂律型且处于 $L^2$-次临界范围，而两平面间的匹配条件在每个平面上分别产生两个不同强度的点相互作用，并引入两平面之间的耦合条件。我们证明了对于任意给定的质量，基态均存在，且根据匹配条件的不同，可能出现两种定性情形：要么基态仅集中于其中一个平面，要么基态同时分布在两个平面上，且为正、径向对称、单调递减，并在每个平面的原点处呈现对数奇性。此外，我们探讨了质量在两平面间的分布方式，并分析当匹配条件的参数及非线性项的幂次变化时，两平面上对数奇性强度的相对关系。

10. An explicitly solvable NLS model with discontinuous standing waves

一种具有不连续驻波的显式可解非线性薛定谔模型

作者: Riccardo Adami, Filippo Boni, Takaaki Nakamura, Alice Ruighi

类别: math.AP

发布日期: 2025-02-05

arXiv ID: 2502.03374v2

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

摘要翻译

中文标题: 一种具有不连续驻波的显式可解非线性薛定谔模型

摘要翻译: 我们研究了在直线上带有点相互作用的非线性薛定谔（NLS）方程，该点相互作用由一个吸引性δ势与偶极相互作用的叠加构成，分别考虑了$L^2$次临界与$L^2$临界非线性情形。对于次临界非线性，我们证明了在任意质量下基态均存在且唯一；当质量超过某一明确阈值时，还存在一个正的激发态。对于临界非线性情形，我们证明基态仅在特定的质量区间内存在，而在另一区间内则存在激发态。我们给出了Gagliardo-Nirenberg不等式中最优常数的精确表达式，并在偶极相互作用情形下，描述了当相互作用强度变化时驻波分支的结构。由于所有驻波均可显式计算，本模型构成了一种非线性与点相互作用之间非标准耦合的显式可解系统。

11. A cross-diffusion system with independent drifts and fast diffusion

具有独立漂移与快扩散的交叉扩散系统

作者: Charles Elbar, Filippo Santambrogio

类别: math.AP, 35K55, 35K65, 35D30, 35Q92, 92D25

发布日期: 2025-10-09

arXiv ID: 2510.07937v1

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

摘要翻译

中文标题: 具有独立漂移与快扩散的交叉扩散系统

摘要翻译: 我们研究了环面上两个相互作用种群的一维交叉扩散系统，其扩散律为指数 $0< \alpha\le 1$ 的快扩散形式，并伴有不同的外势场。在任意非负的 $L^{1}$ 初始数据、熵有界且满足混合条件的前提下，我们证明了全局弱解的存在性。该结果将 M'esz'aros 与 Parker 近期关于线性扩散（$\alpha=1$）的结论推广至快扩散情形。

12. A new critical exponent for semi-linear damped wave equations with the initial data from Sobolev spaces of negative order

一类初始数据属于负阶Sobolev空间的半线性阻尼波动方程的新临界指数

作者: Dinh Van Duong, Tuan Anh Dao

类别: math.AP, 35A01, 35B33, 35B44, 35L15, 35L71

发布日期: 2025-08-11

arXiv ID: 2508.07802v2

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

摘要翻译

中文标题: 一类初始数据属于负阶Sobolev空间的半线性阻尼波动方程的新临界指数

摘要翻译: 本文研究具有幂次非线性项且初始数据属于负阶Sobolev空间 $\dot{H}_m^{-\gamma}$ 的半线性阻尼波动方程的临界指数。具体而言，我们对 $m \in (1, 2]$ 与 $\gamma \in \big[0, \frac{n(m-1)}{m}\big)$，证明了如下新临界指数：

$$ p_{\rm c}(m,\gamma,n) := 1 + \frac{2m}{n+m\gamma} $$


当 $p \geq p_{\rm c}(m,\gamma,n)$ 时，小初值在Sobolev空间中存在整体（在时间上）解；而当 $1 < p < p_{\rm c}(m,\gamma,n)$ 时，即使初值任意小，弱解仍会在有限时间内发生爆破。本文的创新之处在于，临界指数 $p = p_{\rm c}(m,\gamma,n)$ 恰好属于整体存在性的范围。此外，我们进一步给出了当解发生爆破时其生命跨度的估计。

13. Global Existence of Solutions of Nonlocal Geirer-Meinhardt Model and Effect of Nonlocal Operator in Pattern Formation

非局部Geirer-Meinhardt模型解的整体存在性及非局部算子在模式形成中的作用

作者: Md Shah Alam

类别: math.AP

发布日期: 2025-09-19

arXiv ID: 2509.15598v2

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

摘要翻译

中文标题: 非局部Geirer-Meinhardt模型解的整体存在性及非局部算子在模式形成中的作用

摘要翻译: 本文研究了一类非局部Geirer-Meinhardt系统的解的整体存在性。该系统为定义在$\mathbb{R}^n$（$n \ge 1$）上有界区域上的双组分反应-扩散模型，其扩散项由非局部卷积算子描述。我们借助半群理论推导了关键先验估计，从而保证了全局解的存在性。进一步，我们构造了一个$L^b$型泛函（$2 \le b < \infty$），其上界与非局部卷积核的具体形式无关。基于该结果，我们获得了与文献\cite{laurenccot2023nonlocal}中类似的扩散极限形式。此外，我们通过数值模拟展示了该模型中模式的形成过程，并将所得结果与经典局部Geirer-Meinhardt模型所产生的模式进行了对比分析。

14. Global Existence and Boundedness of Gray-Scott Model with Local and Nonlocal Diffusion

具有局部与非局部扩散的Gray-Scott模型的全局存在性与有界性

作者: Md Shah Alam

类别: math.AP

发布日期: 2025-09-19

arXiv ID: 2509.15535v2

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

摘要翻译

中文标题: 具有局部与非局部扩散的Gray-Scott模型的全局存在性与有界性

摘要翻译: 本文研究了定义在 $\Omega \subset \mathbb{R}^n$（$n \ge 1$）上的Gray-Scott模型在局部与非局部扩散算子混合情形下分量非负解的全局存在性。我们结合半群理论与对偶性论证，建立了该模型解的全局存在性及其有界性。

15. Global Analysis of the Gray-Scott Model with Fractional-Classical Diffusion

分数阶-经典混合扩散下Gray-Scott模型的全局分析

作者: Md Shah Alam

类别: math.AP

发布日期: 2025-09-28

arXiv ID: 2509.24019v2

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

摘要翻译

中文标题: 分数阶-经典混合扩散下Gray-Scott模型的全局分析

摘要翻译: 我们研究了定义在$\Omega\subset\mathbb{R}^n$（$n\ge 1$）上的Gray-Scott反应-扩散系统，其扩散项由局部算子与非局部算子混合构成。通过半群方法与对偶估计，我们证明了逐分量非负解的全局存在性，并建立了关于时间的一致有界性估计。数值模拟展示了模式的形成过程，并凸显了纯局部扩散模型与混合扩散模型之间的定性差异。

16. Non-uniqueness in Mean Curvature Flow: Non-canonical solutions via the parabolic Allen–Cahn

平均曲率流中的非唯一性：通过抛物型Allen–Cahn方程构造非标准解

作者: J. M. Daniels-Holgate

类别: math.AP, math.DG, 53E10, 35K93, 35K58

发布日期: 2025-10-08

arXiv ID: 2510.06979v2

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

摘要翻译

中文标题: 平均曲率流中的非唯一性：通过抛物型Allen–Cahn方程构造非标准解

摘要翻译: 当平均曲率流（MCF）呈现非唯一性演化时，称其发生“增厚”（fattening）。Ilmanen的工作表明，任何弱平均曲率流均被限制在增厚区域内部；而Hershkovits与White的研究则识别出位于增厚区域边界上的“最外层流”（outermost flows），即一类规范的弱流。自然的问题是：当流发生增厚时，是否存在严格位于增厚区域内部的弱平均曲率流？除少数特例（如从锥体出发的流）外，这一问题此前完全未被探索。本文证明了此类内部流确实存在，并通过抛物型ε-Allen–Cahn方程解的极限，给出了构造非最外层流的一般方法。这一结果首次提供了闭合、非平凡、非规范的积分Brakke运动的实例。作为该构造的一部分，我们研究了从低正则性初值出发的ε-Allen–Cahn流，并证明了积分Brakke运动可由分形集初始数据生成，这其中包括Hershkovits关于Reifenberg集上平均曲率流存在性工作的核心结论。

17. First order equation on random measures as superposition of weak solutions to the McKean-Vlasov equation

随机测度上的一阶方程作为McKean-Vlasov方程弱解的叠加

作者: Alessandro Pinzi

类别: math.AP, math.FA, math.PR, 60G57, 35R15, 35Q84, 60H15

发布日期: 2025-10-08

arXiv ID: 2510.07542v1

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

摘要翻译

中文标题: 随机测度上的一阶方程作为McKean-Vlasov方程弱解的叠加

摘要翻译: 本文旨在为一族与非局部漂移项 $b:[0,T]\times\mathbb{R}^d \times \mathcal{P}(\mathbb{R}^d) \to \mathbb{R}^d$ 及非局部扩散项 $a:[0,T]\times \mathbb{R}^d \times \mathcal{P}(\mathbb{R}^d) \to \operatorname{Sym}_+(\mathbb{R}^{d\times d})$ 相关联的随机概率测度曲线 $(M_t)_{t\in[0,T]}\subset \mathcal{P}(\mathcal{P}(\mathbb{R}^d))$ 建立一个演化方程。随后，我们证明该方程的任意解均可提升为非线性Kolmogorov-Fokker-Planck方程解的叠加，同时也可提升为McKean-Vlasov方程弱解的叠加。最后，我们利用这一叠加结果，在假设线性化Kolmogorov-Fokker-Planck方程具有唯一性的前提下，证明了随机测度方程的存在性与唯一性可传递至相应的非线性Kolmogorov-Fokker-Planck方程及McKean-Vlasov方程。

18. L^p-quasicontractiveness and Kernel estimates for semigroups generated by systems of elliptic operators

由椭圆算子系统生成的半群的 $L^p$-拟压缩性与核估计

作者: L. Angiuli, E. M. Mangino, L. Lorenzi

类别: math.AP, Systems of elliptic operators, unbounded coefficients, generation results, consistent strongly continuous analytic semigroups, kernel estimates

发布日期: 2025-10-08

arXiv ID: 2510.07216v1

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

摘要翻译

中文标题: 由椭圆算子系统生成的半群的 $L^p$-拟压缩性与核估计

摘要翻译: 本文研究一类强耦合椭圆算子系统，其系数可能无界，且定义在区域 $\Omega \subseteq \mathbb{R}^d$ 上。我们证明，对于属于包含 $2$ 为内点的某个区间的 $p$ 值，该类算子可关联一个在 $L^p$ 空间上的拟压缩半群。进一步，在更精细的假设条件下，并考虑最高至一阶导数耦合的椭圆算子系统，我们建立了一组新的核估计，其估计形式依赖于一个反映扩散系数与势项在无穷远处增长行为的距离函数。

19. The essential self-adjointness of the wave operator on radiative spacetimes

辐射时空上波算子的本质自伴性

作者: Qiuye Jia, Mikhail Molodyk, Ethan Sussman

类别: math.SP, gr-qc, math-ph, math.AP, math.MP, Primary 35L05, 35P05. Secondary 58J47, 58J50

发布日期: 2024-12-05

arXiv ID: 2412.03828v2

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

摘要翻译

中文标题: 辐射时空上波算子的本质自伴性

摘要翻译: 我们证明了达朗贝尔算子 $\square_g$ 的本质自伴性，所涵盖的时空类较以往研究更为广泛，包括由引力辐射微扰闵可夫斯基时空所生成的时空。我们强调Taira在密切相关情形下所证明的一个关键事实：所有满足 $\square_g u = \lambda u + f$（其中 $\lambda \in \mathbb{C} \setminus \mathbb{R}$ 且 $f$ 为施瓦茨函数）的缓增分布 $u$ 均为施瓦茨函数。我们的证明完全基于微观局部方法，并借助第三作者近期发展的“de,sc-”工具体系，得以相对简洁地完成。

20. Derivation of the fourth-order DLSS equation with nonlinear mobility via chemical reactions

通过化学反应推导具有非线性迁移率的四阶DLSS方程

作者: Alexander Mielke, André Schlichting, Artur Stephan

类别: math.AP, cs.NA, math-ph, math.MP, math.NA, 35A15, 35K55, 35A35, 47J35, 65M08

发布日期: 2025-10-08

arXiv ID: 2510.07149v1

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

摘要翻译

中文标题: 通过化学反应推导具有非线性迁移率的四阶DLSS方程

摘要翻译: 我们基于化学反应网络的解释，推导出四阶DLSS方程。考虑在离散化圆周上的一类过程：当两个粒子占据同一格点时，它们同时跃迁至相邻的两个邻近格点；其逆过程则为相邻格点上的两个粒子同时跃迁回它们之间的中间格点。根据反应速率的不同，在网格尺寸趋于零的极限下，我们可得到经典的DLSS方程，或其具有幂律型非线性迁移率的变体。通过EDP收敛性分析，我们确定极限梯度结构由广义扩散输运（具有非线性迁移率）下的熵驱动。有趣的是，具有幂律型迁移率的DLSS方程在定性特征上与快扩散方程和多孔介质方程相似：我们分别发现了具有代数尾部的行波解，以及具有紧支集多项式形式的行波解。

21. Global Existence of Solutions for A Class of Nonlocal Reaction-Diffusion Systems and Their Diffusive Limit

一类非局部反应扩散系统的整体解存在性及其扩散极限

作者: Md Shah Alam, Jeff Morgan

类别: math.AP

发布日期: 2025-09-23

arXiv ID: 2509.18645v2

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

摘要翻译

中文标题: 一类非局部反应扩散系统的整体解存在性及其扩散极限

摘要翻译: 本文研究了定义在 $\mathbb{R}^n$ 中具有光滑边界有界域 $\Omega$ 上的 $m$ 分量半线性非局部反应扩散系统的整体解存在性问题。初始数据假设为逐分量非负且有界，系统对应的反应向量场被假定为拟正定并满足广义质量控制条件。我们由此获得了逐分量非负解的整体存在性与唯一性。在进一步假设反应向量场满足线性中间和条件的前提下，我们构造了一个 $L^p$ 能量型泛函，证明了系统在 $L^p(\Omega)$ 空间中（对所有 $2 \le p < \infty$）的解关于非局部扩散算子具有一致有界性。这一结果使我们能够推广 Laurencot 与 Walker 近期关于非局部扩散的扩散极限结论 \cite{laurenccot2023nonlocal}。此外，我们分析了一类 $m$ 分量反应扩散系统，其中部分分量具有非局部扩散，其余分量则进行局部扩散，且后者满足齐次Neumann边界条件。在多种假设下，我们通过对偶性论证建立了此类系统逐分量非负解的整体存在性与唯一性。最后，我们通过数值模拟验证了所提出的扩散极限结果，并数值求解了包含非局部与局部扩散混合的反应扩散系统，直观展示了其解与所有分量均进行非局部扩散之系统的显著差异。

22. A phase field model of Cahn-Hilliard type for tumour growth with mechanical effects and damage

考虑力学效应与组织损伤的Cahn-Hilliard型相场肿瘤生长模型

作者: Giulia Cavalleri

类别: math.AP, 35A01, 35K35, 35K57, 35K92, 35Q74, 35Q92, 74A45

发布日期: 2024-09-23

arXiv ID: 2409.14817v2

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

摘要翻译

中文标题: 考虑力学效应与组织损伤的Cahn-Hilliard型相场肿瘤生长模型

摘要翻译: 我们提出了一种新的扩散界面模型，用于描述在营养物存在条件下肿瘤的生长过程，该模型同时考虑了力学效应及可逆性组织损伤。该高度非线性的偏微分方程组主要由一个Cahn-Hilliard型方程构成，用于描述健康组织与肿瘤组织之间的相分离过程，并耦合一个描述营养物输运的抛物型反应-扩散方程，以及一个包含惯性与粘性效应的双曲型力平衡方程。本工作的主要创新在于引入了细胞损伤变量，其演化由一个抛物型微分包含方程控制。本文通过在时间离散化与正则化后的系统中取极限，证明了弱解的整体时间存在性。

23. Stability of non-conservative cross diffusion model and approximation by stochastic particle systems

非守恒型交叉扩散模型的稳定性及其由随机粒子系统逼近

作者: Vincent Bansaye, Alexandre Bertolino, Ayman Moussa

类别: math.AP

发布日期: 2025-10-08

arXiv ID: 2510.07138v1

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

摘要翻译

中文标题: 非守恒型交叉扩散模型的稳定性及其由随机粒子系统逼近

摘要翻译: 本文研究非守恒型确定性交叉扩散模型的稳定性，并证明当种群局部密度足够大时，此类模型可被随机种群模型逼近。在该模型中，两类物种的个体以依赖于两类物种局部密度的速率进行迁移、繁殖与死亡。我们给出了定量估计，并在每个位点的种群数量及位点总数趋于无穷时，建立了收敛性结果。证明依赖于在小条件假设下通过对偶方法推广稳定性估计，以及为结构化种群模型发展大偏差估计——后者本身具有独立的理论价值。此外，证明中还涉及在 $ H^{-1} $ 空间中的鞅估计，从而在守恒情形下也改进了现有的逼近结果。

24. Relaxation of Non-Convex Integral Functionals in the Multidimensional Scalar Case

多维标量情形下非凸积分泛函的松弛问题

作者: Tommaso Bertin, Paulin Huguet

类别: math.AP, math.FA, 49-XX

发布日期: 2025-10-08

arXiv ID: 2510.07085v1

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

摘要翻译

中文标题: 多维标量情形下非凸积分泛函的松弛问题

摘要翻译: 我们研究定义在标量Sobolev空间上的积分泛函，其形式为

$$ E[f]:u\mapsto \int_\Omega f(x,u(x),\nabla u(x)) \, dx, $$


重点探讨非凸情形所引发的困难，特别是其对Lavrentiev现象的抑制作用。我们确定了在多种拓扑结构下、并固定Lipschitz连续Dirichlet边界条件时，泛函$E[f]$的下半连续包络的表达形式。

25. Non-uniqueness of normalized NLS ground states on polygons with homogeneous Neumann boundary conditions

具齐次诺伊曼边界条件的多边形区域上归一化非线性薛定谔方程基态的非唯一性

作者: Simone Dovetta, Enrico Serra, Lorenzo Tentarelli

类别: math.AP

发布日期: 2025-03-19

arXiv ID: 2503.15142v3

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

摘要翻译

中文标题: 具齐次诺伊曼边界条件的多边形区域上归一化非线性薛定谔方程基态的非唯一性

摘要翻译: 我们研究了在具有齐次诺伊曼边界条件的多边形区域上、具有纯幂次非线性的非线性薛定谔方程的归一化基态的非唯一性问题。归一化基态定义为在给定质量约束下，相应能量泛函的全局极小值点。具体而言，当非线性幂次略低于 $L^2$-临界指数时，我们证明：对于至少存在一个质量值，其对应的归一化基态并非唯一。

26. The global attractor of the inelastic linear Boltzmann equation in a gravity field for Maxwell molecules

重力场中麦克斯韦分子非弹性线性玻尔兹曼方程的整体吸引子

作者: Théophile Dolmaire, Nicola Miele, Alessia Nota

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

发布日期: 2025-04-02

arXiv ID: 2504.02155v2

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

摘要翻译

中文标题: 重力场中麦克斯韦分子非弹性线性玻尔兹曼方程的整体吸引子

摘要翻译: 本文研究了在均匀且固定的重力场作用下，麦克斯韦分子模型的线性非弹性玻尔兹曼方程。首先，我们在有限非负Radon测度空间中建立了该方程的良好适定性结果。此外，我们严格证明了在由外力场诱导的非平衡条件下存在稳态解。进一步地，我们表明，在具有有限一阶矩的有限非负Radon测度类中，该稳态解是唯一的，且此类中的所有解均在测度的弱拓扑意义下收敛于该稳态解。

27. On Morawetz estimates for the elastic wave equation

关于弹性波方程的Morawetz估计

作者: Seongyeon Kim, Ihyeok Seo

类别: math.AP

发布日期: 2025-10-08

arXiv ID: 2510.06958v1

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

摘要翻译

中文标题: 关于弹性波方程的Morawetz估计

摘要翻译: 我们建立了弹性波方程解在形如 $|x|^{-\alpha}$ 或 $|(x,t)|^{-\alpha}$ 的奇异权下的Morawetz型估计。特别地，我们证明：时空权 $|(x,t)|^{-\alpha}$ 允许更强的奇性，且对初值的正则性要求弱于纯空间权 $|x|^{-\alpha}$。

28. Local well-posedness for a class of semilinear Moore-Gibson-Thompson equations with subcritical nonlinearities

一类具有次临界非线性的半线性Moore-Gibson-Thompson方程的局部适定性

作者: Flank D. M. Bezerra, Luís M. Salge

类别: math.DS, math.AP, math.FA, 35G10, 35K46, 47A75, 47D03

发布日期: 2025-10-08

arXiv ID: 2510.06944v1

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

摘要翻译

中文标题: 一类具有次临界非线性的半线性Moore-Gibson-Thompson方程的局部适定性

摘要翻译: 本文研究了一类受Dell’Oro、Liverani与Pata（2023）提出的Moore-Gibson-Thompson模型启发的高阶半线性演化方程，其涉及具有齐次边界条件的$2m$阶强椭圆算子。对应的无界线性算子为扇形算子，且零属于其预解集，从而允许构造分数次幂空间并分析其谱性质。在次临界非线性条件下，我们证明了相应半线性Cauchy问题的局部适定性。我们的框架阐明了外推空间与分数次域在处理算子非增性及无界虚幂所导致的困难时所起的关键作用。

不相关论文（基本信息）

1. Analysis of the transmission eigenvalue problem for biharmonic scattering considering penetrable scatterers

考虑可穿透散射体的双调和散射传输特征值问题分析

作者: Rafael Ceja Ayala, Isaac Harris, Andreas Kleefeld

类别: math.AP

发布日期: 2025-10-09

arXiv ID: 2510.08444v1

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

摘要: In this paper, we provide an analytical study of the transmission eigenvalue problem in the context of biharmonic scattering with a penetrable obstacle. We will assume that the underlying physical model is given by an infinite elastic two–dimensional Kirchhoff–Love plate in $\mathbb{R}^2$, where the plate’s thickness is small relative to the wavelength of the incident wave. In previous studies, transmission eigenvalues have been studied for acoustic scattering, whereas in this case, we consider biharmonic scattering. We prove the existence and discreteness of the transmission eigenvalues as well as study the dependence on the refractive index. We are able to prove the monotonicity of the first transmission eigenvalue with respect to the refractive index. Lastly, we provide numerical experiments to validate the theoretical work.

2. On a class of (non)local superposition operators of arbitrary order

关于一类任意阶的（非）局部叠加算子

作者: Serena Dipierro, Sven Jarohs, Enrico Valdinoci

类别: math.AP, 35A15, 35R09, 35J40

发布日期: 2025-10-09

arXiv ID: 2510.08345v1

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

摘要: In this paper we introduce a very general setting dealing with the superposition of operators of any positive order and provide a systematic study of them. We also provide examples and counterexamples, as well as characterizing properties of the measures and the functional spaces under consideration. Moreover, we present some applications regarding the existence theory for a class of nonlinear problems involving superposition operators of arbitrary (possibly fractional) order.

3. A survey on the optimal partition problem

关于最优划分问题的综述

作者: Roberto Ognibene, Bozhidar Velichkov

类别: math.AP

发布日期: 2025-10-09

arXiv ID: 2510.08241v1

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

摘要: This survey synthesizes the current state of the art on the regularity theory for solutions to the optimal partition problem. Namely, we consider non-negative, vector-valued Sobolev functions whose components have mutually disjoint support, and which are either local minimizers of the Dirichlet energy or, more generally, critical points satisfying a system of variational inequalities. This is particularly meaningful as the problem has emerged on several occasions and in diverse contexts: our aim is then to provide a coherent point of view and an up-to-date account of the progress concerning regularity of the solutions and their free boundaries, both in the interior and up to a fixed boundary.

4. Determining a magnetic Schrödinger equation by a single far-field measurement

通过单次远场测量确定磁性薛定谔方程

作者: Chaohua Duan, Zhen Xue

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

发布日期: 2025-10-09

arXiv ID: 2510.08198v1

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

摘要: This paper investigates the inverse scattering problem for the magnetic Schr"odinger equation. We first establish the well-posedness of the direct problem through a variational approach under physically meaningful assumptions on the magnetic and electric potentials. Our main results demonstrate that a single far-field measurement uniquely determines the support of the potential functions when the scatterer has polyhedral structures. A significant theoretical byproduct of our analysis reveals that transmission eigenfunctions must vanish at corners in two dimensions and edge corners in three dimensions, provided the angle is not $\pi$. This geometric property of eigenfunctions extends previous results for the non-magnetic case and provides new insights into the interaction between quantum effects and singular geometries. The proof combines complex geometric optics solutions with careful asymptotic analysis near singular points. From an inverse problems perspective, our work shows that minimal measurement data suffices for shape reconstruction in important practical cases, advancing the theoretical understanding of inverse scattering with magnetic potentials. The results have potential applications in quantum imaging, material characterization, and nondestructive testing where magnetic fields play a crucial role.

5. Cohomology for Linearized Boundary-Value Problems on General Riemannian Structures

一般黎曼结构上线性化边值问题的上同调

作者: Roee Leder

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

发布日期: 2025-04-25

arXiv ID: 2504.18494v2

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

摘要: We develop a framework for casting the solvability and uniqueness conditions of linearized geometric boundary-value problems in cohomological terms. The theory is designed to be applicable without assumptions on the underlying geometric structure and provides tools to study the emergent cohomology explicitly. To achieve this generality, we extend Hodge theory to sequences of Douglas–Nirenberg systems that interact via Green’s formulae, overdetermined ellipticity, and a condition we call the order-reduction property, replacing the classical requirement that the sequence form a cochain complex. This property typically arises from linearized symmetries and constraints, as demonstrated in several examples, including exterior covariant derivatives, linearized prescribed Riemann curvature, and linearized Einstein equations with sources.

6. Growth and nodal current of complexified horocycle eigenfunctions

复化测地线本征函数的增长性与节点电流

作者: Mikhail Dubashinskiy

类别: math.SP, math-ph, math.AP, math.CV, math.MP, 58J51, 11F37, 37D40, 58J40, 32A60

发布日期: 2022-05-17

arXiv ID: 2205.08244v3

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

摘要: We study horocycle eigenfunctions at Lobachevsky plane. They are functions $u\colon \mathbb H=\mathbb C^+=\{z\in\mathbb C\colon \Im z>0\}\to\mathbb C$ such that $\left(-y^2\left(\frac{\partial^2}{\partial x^2}+\frac{\partial^2}{\partial y^2}\right)+ 2i\tau y\frac{\partial}{\partial x}\right)u(x+iy)=s^2 u(x+iy)$, $x+iy\in\mathbb C^+$, with $\tau,s\in\mathbb R$, $\tau$ large and $s/\tau$ small. In other words, we study eigenfunctions of magnetic quantum Hamiltonian on hyperbolic plane. By Bohr semiclassical correspondence principle, the asymptotic behavior of such functions is related to horocycle flow on $T\mathbb H$. Let $u^{\mathbb C}$ be analytic continuation of function $u$ to Grauert tube; the latter is an open neighbourhood of $\mathbb H$ in the complexified Lobachevsky plane $\mathbb H^{\mathbb C}$. If a sequence of horocycle functions possesses microlocal quantum ergodicity at the admissible energy level (with $\hbar=1/\tau$) then we may find asymptotic distribution of divisor of $u^{\mathbb C}$. This is done by establishing the asymptotic estimates on $|u^{\mathbb C}|$ in $\mathbb H^{\mathbb C}$. Under imaginary-time horocycle flow, microlocalization of $u$ in $T^*\mathbb H$ is taken to localization of $u^{\mathbb C}$ on $\mathbb H^{\mathbb C}$. The growth of functions $u^{\mathbb C}$ as $\tau\to\infty$ turns to be governed by the growth of complexified gauge factor occurring in $\tau$-automorphic kernels for functions on $\mathbb H$.

7. Stable factorization of the Calderón problem via the Born approximation

通过Born近似求解Calderón问题的稳定因子分解

作者: Thierry Daudé, Fabricio Macià, Cristóbal J. Meroño, François Nicoleau

类别: math.AP, math.SP

发布日期: 2024-02-09

arXiv ID: 2402.06321v2

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

摘要: In this article we prove the existence of the Born approximation in the context of the radial Calder'on problem for Schr"odinger operators. The Born approximation naturally appears as the linear component of a factorization of the Calder'on problem; we show that the non-linear part, obtaining the potential from the Born approximation, enjoys several interesting properties. First, this map is local, in the sense that knowledge of the Born approximation in a neighborhood of the boundary is equivalent to knowledge of the potential in the same neighborhood, and, second, it is H"older stable. This proves that the ill-posedness of the Calder'on problem arises from the linear step, which consists in computing the Born approximation from the DtN map by solving a Hausdorff moment problem. Moreover, we present an effective algorithm to compute the potential from the Born approximation. Finally, we use the Born approximation to obtain a partial characterization of the set of DtN maps for radial potentials. The proofs of these results do not make use of Complex Geometric Optics solutions or its analogues; they are based on results on inverse spectral theory for Schr"odinger operators on the half-line, in particular on the concept of $A$-amplitude introduced by Barry Simon.

8. Reconstruction of degeneracy region and power for parabolic equations and systems

抛物型方程及系统的简并区域与幂次的重构

作者: Piermarco Cannarsa, Veronica Danesi, Anna Doubova

类别: math.AP

发布日期: 2025-09-17

arXiv ID: 2509.13962v2

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

摘要: We address the inverse problem of recovering a degeneracy point within the diffusion coefficient of a one-dimensional complex parabolic equation by observing the normal derivative at one point of the boundary. The strongly degenerate case is analyzed. In particular, we derive sufficient conditions on the initial data that guarantee the stability and uniqueness of the solution obtained from a one-point measurement. Moreover, we present more general uniqueness theorems, which also cover the identification of the initial data, the coefficient of the zero order term and the degeneracy power, using measurements taken over time. Our method is based on a careful analysis of the spectral problem and relies on an explicit form of the solution in terms of Bessel functions. Our investigation also covers the case of real 1-D degenerate parabolic systems of equations coupled with a specific structure. Theoretical results are also supported by numerical simulations.

9. Fractional p-Laplacian Kirchhoff-type problem involving a singular term via Nehari manifold

基于Nehari流形的含奇异项的分数阶p-Laplacian Kirchhoff型问题

作者: Djamel Abid

类别: math.AP, 35J35, 35P30, 35J60

发布日期: 2025-10-09

arXiv ID: 2510.07911v1

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

摘要: This paper is dedicated to studying the existence of nontrivial positive solutions for a Kirchhoff-type problem with sign change nonlinearities and a singular term, Using the Nehari manifold and EkelandS variational principle we prove that for the appropriate choice of {\lambda} our problem has at least two positive solutions for both subcritical and critical cases.

10. The $\eps-\eps^β$ property for clusters with double density

双密度簇的 $\eps-\eps^β$ 性质

作者: A. Pratelli, V. Scattaglia

类别: math.AP, math.FA

发布日期: 2025-10-09

arXiv ID: 2510.07907v1

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

摘要: This article is devoted to extend the “$\eps-\eps^\beta$ property” to the case of clusters in an Euclidean space with a double density.

11. Lipschitz stability and reconstruction in inverse problems for semi-discrete parabolic operators

半离散抛物算子反问题中的Lipschitz稳定性与重构

作者: Rodrigo Lecaros, Juan López-Ríos, Ariel A. Pérez

类别: math.AP

发布日期: 2025-04-01

arXiv ID: 2504.01143v3

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

摘要: This work addresses an inverse problem for a semi-discrete parabolic equation, consisting of identifying the right-hand side of the equation from solution measurements at an intermediate time and within a spatial subdomain. We apply this result to establish a stability estimate for a coefficient inverse problem involving the recovery of a spatially dependent potential function. Furthermore, we present a reconstruction algorithm for recovering this coefficient and provide a proof of its convergence. Our approach relies on a novel semi-discrete Carleman estimate in which the parameter is constrained by the mesh size. Due to the discrete terms arising in the Carleman inequality, this method naturally introduces an error term associated with the solution’s initial condition.

12. Asymptotically flat black holes with a singular Cauchy horizon and a spacelike singularity

具有奇异柯西视界与类空奇点的渐近平直黑洞

作者: Maxime Van de Moortel

类别: gr-qc, math-ph, math.AP, math.DG, math.MP

发布日期: 2025-10-08

arXiv ID: 2510.07431v1

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

摘要: In our recent work [Van de Moortel, The coexistence of null and spacelike singularities inside spherically symmetric black holes], we analyzed the transition between null and spacelike singularities in spherically symmetric dynamical black holes and demonstrated that the spacelike portion is described by a Kasner metric with positive varying exponents that degenerate to $(1,0,0)$ near the null-spacelike transition. In the present paper, we provide examples of global spacetimes satisfying the assumptions of this previous result and apply its analysis to obtain a large class of asymptotically flat (spherically symmetric) black hole spacetimes that exhibit coexisting null and spacelike singularities. Our main results include: _The construction of one-ended asymptotically flat black hole spacetimes solving the Einstein-Maxwell-charged-scalar-field equations. The proof relies on a new spacelike-characteristic gluing method between any uncharged spherically symmetric solution and the event horizon of a charged dynamical black hole. _The construction of a large class of two-ended asymptotically flat black hole spacetimes solving the Einstein-Maxwell-(uncharged)-scalar-field equations. In both cases, we show that the terminal boundary in the black hole interior only has two distinct components: a weakly singular (null) Cauchy horizon $\mathcal{CH}_{i^+}$ where curvature blows up and a strong singularity $\mathcal{S}=\{r=0\}$. Our construction provides the first examples of black holes with coexisting null and spacelike singularities. These examples hold particular significance in the one-ended case as a model of gravitational collapse, where this phenomenon is conjecturally generic for the Einstein-scalar-field model, even beyond spherical symmetry.

13. Hidden monotonicity and canonical transformations for mean field games and master equations

均值场博弈与主方程中的隐单调性与正则变换

作者: Mohit Bansil, Alpár R. Mészáros

类别: math.AP, math.OC

发布日期: 2024-03-08

arXiv ID: 2403.05426v2

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

摘要: In this paper we unveil novel monotonicity conditions applicable for Mean Field Games through the exploration of finite dimensional $canonical\ transformations$. Our findings contribute to establishing new global well-posedness results for the associated master equations, also in the case of potentially degenerate idiosyncratic noise. Additionally, we show that recent advancements in global well-posedness results, specifically those related to displacement semi-monotone and anti-monotone data, can be easily obtained as a consequence of our main results.

14. Smooth approximations for constant-mean-curvature hypersurfaces with isolated singularities

具有孤立奇点的常平均曲率超曲面的光滑逼近

作者: Costante Bellettini, Konstantinos Leskas

类别: math.DG, math.AP, 53A10, 49Q20, 35J93

发布日期: 2024-10-07

arXiv ID: 2410.05566v2

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

摘要: We consider a CMC hypersurface with an isolated singular point at which the tangent cone is regular, and such that, in a neighbourhood of said point, the hypersurface is the boundary of a Caccioppoli set that minimises the standard prescribed-mean-curvature functional. We prove that in a ball centred at the singularity there exists a sequence of smooth CMC hypersurfaces, with the same prescribed mean curvature, that converge to the given one. Moreover, these hypersurfaces arise as boundaries of minimisers. In ambient dimension $8$ the condition on the cone is redundant. (When the mean curvature vanishes identically, the result is the well-known Hardt–Simon approximation theorem.)