生成时间: 2026年04月16日 05:22:23

重点关注论文数量: 6

了解领域论文数量: 21

不相关论文数量: 8

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

1. 二维欧拉方程在 $$L^2$$ 中对 Baire 通初始数据适定

The 2D Euler equations are well-posed for generic initial data in $$L^2$$

作者: Lucio Galeati

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.14100v1

摘要: In this note we show the existence of a residual set (in the sense of Baire) of divergence free initial data $u_0\in L^2(D)$ , $D=\mathbb{R}^2$ or $\mathbb{T}^2$ , for which global existence and uniqueness of weak solutions to the incompressible 2D Euler equations holds. The associated solutions $$u$$ satisfy the energy balance and are recovered in the vanishing viscosity limit from solutions to 2D Navier-Stokes, which as a consequence cannot display anomalous dissipation of energy. Additionally, there exists a unique regular Lagrangian flow associated to such $$u$$ , and the associated transport equation is well-posed. Finally, when $D=\mathbb{T}^2$ , the solution $$u$$ is recovered as the limit of Galerkin approximations. The proof relies on global existence of smooth solutions and weak-strong uniqueness arguments.

Comment: 无

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

1. 研究对象和背景

本文研究的是不可压缩二维欧拉方程（incompressible 2D Euler equations）的柯西问题：

\begin{cases} \partial_t u + (u \cdot \nabla) u + \nabla p = 0, \\ \nabla \cdot u = 0, \\ u|_{t=0} = u_0, \end{cases} \tag{1}

其中速度场 $u(t,x): [0,\infty) \times D \to \mathbb{R}^2$ 定义在区域 $D = \mathbb{R}^2$ 或 $\mathbb{T}^2$ 上，压力 $$p$$ 是一个标量函数，用于保证散度自由条件。初始数据 $$u_0$$ 属于空间

L^2_\sigma(D) := \left\{ u \in L^2(D; \mathbb{R}^2) : \nabla \cdot u = 0 \text{ in the sense of distributions} \right\},

在环面情形下还附加零均值条件 $\int_{\mathbb{T}^2} u(x)\,dx = 0$ 。

该问题的重要性在于：二维欧拉方程是流体力学中最基本的非线性偏微分方程之一，其解描述了理想不可压缩流体的运动。在经典理论中，若初始数据足够光滑（如 $u_0 \in H^s$ ， $$s > 2$$ ），则存在全局唯一光滑解（Wolibner, 1933；Yudovich, 1963）。特别地，当涡度 $\omega_0 = \nabla^\perp \cdot u_0 \in L^\infty$ 时，Yudovich 理论保证了适定性。然而，一旦初始数据仅属于 $L^2_\sigma$ （即能量有限但无额外正则性），问题变得极为困难。

事实上，在低正则性下，存在多种弱解概念。一方面，通过粘性消失极限、Galerkin 逼近或涡方法，可以构造满足能量守恒的弱解（如 Delort–Majda, 1987；Lopes Filho 等, 2006；Crippa–Spirito, 2015；Colombo–Crippa–Spirito, 2020）。这些解通常具有 Lagrangian 结构，并保持物理量如能量或拟涡能（enstrophy）。但唯一性仍是公开问题，即使对 $u_0 \in L^2_\sigma \cap \dot{W}^{1,p}$ （ $p < \infty$ ）的情形亦无定论。

另一方面，凸积分（convex integration）技术自 De Lellis–Székelyhidi (2009) 起被广泛用于构造非唯一弱解。例如，Szekelyhidi–Wiedemann (2012) 和后来的工作表明：存在稠密子集 $\mathcal{D} \subset L^2_\sigma$ ，使得对任意 $u_0 \in \mathcal{D}$ ，方程 (1) 存在无穷多个“可容许”（admissible）弱解（即满足能量不增）；若放弃可容许性，则对任意 $u_0 \in L^2_\sigma$ 都存在无穷多弱解（Wiedemann, 2011）。这暗示在 $$L^2$$ 框架下，欧拉方程可能本质上不适定。

然而，本文试图填补的关键空白是：尽管存在大量反例，是否仍存在一个“大”的初始数据集合，使得方程 (1) 确实适定？这里的“大”并非测度意义（如 Lebesgue 几乎处处），而是拓扑意义上的 Baire 通集（residual set），即一列开稠密子集的交集。这种观点源于常微分方程理论中 Orlicz (1932) 和 Lions (1998) 的工作：对 Baire 通的低正则向量场，ODE 流和输运方程仍适定。但此类思想此前未被系统应用于非线性流体 PDE。

因此，本文的核心动机是：利用二维欧拉方程特有的结构（如涡度为被动标量、全局光滑解存在、弱强唯一性成立），结合泛函分析中的 Baire 范畴方法，证明存在一个 Baire 通集 $G \subset L^2_\sigma$ ，使得对任意 $u_0 \in G$ ，方程 (1) 存在唯一全局弱解，且该解具有良好物理性质（能量守恒、可由粘性消失或 Galerkin 逼近恢复、诱导唯一正则 Lagrangian 流等）。

2. 主要定理或主要结果

作者证明了以下主要结果：

定理 1.1（主适定性结果）：设 $D = \mathbb{R}^2$ 或 $\mathbb{T}^2$ ，则存在一个 Baire 通集 $G \subset L^2_\sigma(D)$ ，使得对任意 $u_0 \in G$ ：

a) 存在全局弱解 $u \in C([0,\infty); L^2_\sigma(D))$ 满足能量守恒：

\|u_t\|_{L^2} = \|u_0\|_{L^2}, \quad \forall t \geq 0.

b) 在区间 $[0,\tau]$ （任意 $\tau \in (0,\infty)$ ）上，该解在可容许测度值解（admissible measure-valued solutions）类中唯一。

此外，该解可通过粘性消失极限恢复：对任意序列 $u_0^n \to u_0$ 于 $L^2_\sigma$ ，及任意 $\nu_n \to 0^+$ ，令 $$u^n$$ 为 Navier–Stokes 方程

\begin{cases} \partial_t u^n + (u^n \cdot \nabla) u^n + \nabla p^n = \nu_n \Delta u^n, \\ \nabla \cdot u^n = 0, \\ u^n|_{t=0} = u_0^n, \end{cases} \tag{3}

的唯一解，则有强收敛：

\lim_{n \to \infty} \sup_{t \in [0,\tau]} \|u_t^n - u_t\|_{L^2} = 0, \quad \lim_{n \to \infty} \int_0^\tau \nu_n \|\nabla u_t^n\|_{L^2}^2 \, dt = 0, \quad \forall \tau \in (0,\infty). \tag{4}

后者表明无异常耗散（no anomalous dissipation）。

定理 1.2（被动标量与 Lagrangian 流）：同一集合 $$G$$ 可选取使得对任意 $u_0 \in G$ ，其对应解 $$u$$ 还满足：

i) 存在唯一正则 Lagrangian 流（Regular Lagrangian Flow） $$X$$ 关联于 $$u$$ ；

ii) 对任意 $\rho_0 \in L^2$ ，被动标量方程

\partial_t \rho + u \cdot \nabla \rho = 0, \quad \rho|_{t=0} = \rho_0, \tag{5}

在弱解类 $\rho \in L^\infty([0,\tau]; L^2)$ 且满足能量不等式 $\|\rho_t\|_{L^2} \leq \|\rho_0\|_{L^2}$ （a.e. $$t$$ ）中存在唯一解；该解属于 $C([0,\infty); L^2)$ ，是重正规化解（renormalized），且由流表示： $\rho_t(x) = \rho_0(X_t^{-1}(x))$ ；

iii) 该解亦可通过扩散消失极限恢复：对任意 $\kappa_n \to 0^+$ ，令 $\rho^n$ 为

\partial_t \rho^n + (u \cdot \nabla) \rho^n = \kappa_n \Delta \rho^n, \quad \rho^n|_{t=0} = \rho_0, \tag{6}

的唯一抛物解，则

\lim_{n \to \infty} \sup_{t \in [0,\tau]} \|\rho_t^n - \rho_t\|_{L^2} = 0, \quad \lim_{n \to \infty} \int_0^\tau \kappa_n \|\nabla \rho_t^n\|_{L^2}^2 \, dt = 0. \tag{7}

推论 1.4（Galerkin 逼近，仅环面情形）：当 $D = \mathbb{T}^2$ 时，对任意 $u_0 \in G$ 及任意满足 $u_0^n = \Pi_n u_0^n \to u_0$ 于 $$L^2$$ 的序列（其中 $\Pi_n$ 为截断到傅里叶模 $|k| \leq n$ 的投影），Galerkin 逼近解 $$u^n$$ （满足 $\partial_t u^n + \Pi_n[(u^n \cdot \nabla) u^n] = 0$ ）满足

\lim_{n \to \infty} \sup_{t \in [0,\tau]} \|u_t^n - u_t\|_{L^2} = 0, \quad \forall \tau \in (0,\infty). \tag{10}

所有结果均依赖于两个关键假设：(i) 光滑初值生成的全局经典解在 $L^2_\sigma$ 中稠密；(ii) 存在关于可容许测度值解的弱强唯一性（weak-strong uniqueness）估计（引用自 Bardos–DiPerna–Lions–Serre, 1991）。

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

本文证明的核心障碍在于：在 $$L^2$$ 初值下，欧拉方程缺乏先验唯一性机制，且已知存在大量非唯一弱解。作者的真正创新点是将Baire 范畴方法与弱强唯一性框架相结合，从而绕过直接证明唯一性的困难，转而证明“通有唯一性”。具体技术路线如下：

第一，稠密光滑解的存在性。作者利用经典结果：对任意 $u_0 \in L^2_\sigma \cap H^s$ （ $$s > 2$$ ），方程 (1) 存在全局唯一光滑解 $u \in C([0,\infty); H^s)$ 。由于 $H^s_\sigma$ 在 $L^2_\sigma$ 中稠密，故光滑解对应的初值集合 $\mathcal{S} \subset L^2_\sigma$ 是稠密的。这是构造 Baire 通集的基础。

第二，弱强唯一性作为稳定性工具。关键引理来自 Bardos 等 (1991)：若 $$u$$ 是一个经典解（如光滑解），而 $\tilde{u}$ 是一个可容许测度值解（其重心为 $\bar{\tilde{u}} \in L^2$ ），且两者初值相同，则在有限时间区间 $[0,\tau]$ 上必有 $\bar{\tilde{u}} = u$ 。更精确地，存在依赖于 $$u$$ 的常数 $C(u,\tau)$ ，使得对任意可容许测度值解 $\nu$ ，其重心 $\bar{\nu}$ 与 $$u$$ 的偏差受控于初值偏差。这一性质提供了定量连续依赖性，是后续构造开集的关键。

第三，Baire 范畴构造。作者定义集合

G := \bigcap_{k=1}^\infty \bigcup_{u_0 \in \mathcal{S}} B_{\delta_k(u_0)}(u_0),

其中 $$B_r(u_0)$$ 是 $L^2_\sigma$ 中以 $$u_0$$ 为中心、半径 $$r$$ 的开球，而 $\delta_k(u_0) > 0$ 由弱强唯一性估计确定，使得对任意 $\tilde{u}_0 \in B_{\delta_k(u_0)}(u_0)$ ，其任意可容许测度值解在 $$[0,k]$$ 上唯一且接近 $$u$$ 。由于每个 $\bigcup_{u_0 \in \mathcal{S}} B_{\delta_k(u_0)}(u_0)$ 是开稠密集（因 $\mathcal{S}$ 稠密），故 $$G$$ 是 Baire 通集。

第四，逼近性质的传递。一旦唯一弱解 $$u$$ 被构造，其良好性质（如能量守恒、Lagrangian 结构）继承自光滑解并通过弱强唯一性保持。例如，粘性消失极限的强收敛性（公式 (4)）通过以下方式证明：Navier–Stokes 解 $$u^n$$ 在 $L^2([0,\tau]; L^2)$ 中预紧（由能量估计），任何弱极限必为欧拉方程的可容许测度值解；由唯一性，所有子列收敛于同一 $$u$$ ，故强收敛成立。类似论证适用于 Galerkin 逼近和被动标量方程。

第五，广义 Young 测度的使用。为处理测度值解，作者系统引入广义 Young 测度 $\nu = (\nu_y, \lambda, \nu_y^\infty) \in \mathcal{Y}^2$ （定义见第 2 节），其重心 $\bar{\nu}_y = \int z\, d\nu_y(z)$ 给出弱解。关键工具是紧性定理（Corollary 2.4/2.6）：若序列 $\{u^n\}$ 在 $$L^2$$ 中有界，则其生成的 Young 测度序列预紧。这保证了逼近解的极限存在，再结合弱强唯一性得唯一性。

综上，作者并未发明全新估计，而是巧妙组合现有工具：利用二维欧拉方程的特殊结构（全局光滑解 + 弱强唯一性），通过泛函分析中的 Baire 方法，将局部稳定性提升为通有适定性。

4. 与之前工作的比较

本文与既有文献的比较可从多个维度展开：

1. 与凸积分反例的对比：自 De Lellis–Székelyhidi (2009) 起，凸积分技术被用于构造欧拉方程的非唯一弱解。特别是 Szekelyhidi–Wiedemann (2012) 证明：存在稠密子集 $\mathcal{D} \subset L^2_\sigma$ ，使得对任意 $u_0 \in \mathcal{D}$ ，存在无穷多可容许弱解；Wiedemann (2011) 更证明对任意 $u_0 \in L^2_\sigma$ 存在无穷多（非可容许）弱解。这些结果似乎表明 $$L^2$$ 框架下欧拉方程本质不适定。然而，本文指出：尽管非唯一解在稠密意义下存在，但在Baire 通意义下，唯一解仍占主导。换言之，凸积分构造的初值集合虽稠密，却是贫集（meager set），而本文的集合 $$G$$ 虽可能 Lebesgue 测度为零（见 Remark 1.5），却是拓扑“大”集。这揭示了稠密性与通有性之间的深刻差异。

2. 与经典适定性理论的对比：Yudovich 理论要求 $\omega_0 \in L^\infty$ ，对应 $u_0 \in W^{1,\infty}$ ，远高于 $$L^2$$ 。本文将适定性推广至 $$L^2$$ 中的通有初值，显著放宽了正则性假设。值得注意的是，即使对 $u_0 \in L^2_\sigma \cap \dot{W}^{1,p}$ （ $p < \infty$ ），唯一性仍是公开问题（见引言），而本文在更大的 $L^2_\sigma$ 中给出了通有唯一性。代价是结论仅为拓扑通有，而非几乎处处成立。

3. 与逼近解理论的对比：Delort–Majda (1987) 等通过粘性消失或涡方法构造了能量守恒弱解，但无法证明唯一性。本文表明：对 $u_0 \in G$ ，所有标准逼近（粘性消失、Galerkin、光滑初值逼近）均收敛于同一解，从而解决了这些逼近方案的收敛唯一性问题。特别地，推论 1.4 首次在 $$L^2$$ 通有初值下证明 Galerkin 逼近的强收敛性（此前仅知于 Yudovich 类或更高正则性）。

4. 与 ODE/输运方程通有理论的类比：Orlicz (1932) 和 Lions (1998) 证明：对 Baire 通的 $b \in L^1_t L^p_x$ （ $p < \infty$ ），ODE $\dot{X} = b(t,X)$ 存在唯一正则 Lagrangian 流。Bertrand (2010) 和 Colombo–Marconi (2025) 将此提升至输运方程。本文首次将此范式应用于非线性流体 PDE，关键区别在于：欧拉方程的向量场 $$u$$ 自身是未知量，需同时处理非线性与通有性。作者通过弱强唯一性桥接了光滑解（已知适定）与粗糙解（待证适定）。

5. 与随机初值工作的区分：Albeverio–Cruzeiro (1990) 等利用概率测度（如拟涡能测度）构造随机弱解，但此类测度集中于分布空间（如 $H^{-1-}$ ），与本文的 $$L^2$$ 框架不同。更重要的是，Remark 1.6 指出：任何 Radon 概率测度在无限维 Banach 空间中必集中于某贫集，故 Baire 通性与概率“几乎必然”互不蕴含。本文结果不依赖特定测度，具有纯拓扑普适性。

6. 与近期相关工作的联系：作者提及 Lin (2024) 和 Gancedo–Kiselev–Luo (2023) 也研究了欧拉/Navier–Stokes 方程在通有初值下的能量行为，但技术路径不同。Lin 的结果为条件性且针对三维，而本文为无条件二维结果。此外，本文排除了二维中对通有初值构造异常耗散被动标量的可能性（对比 Buckmaster 等 (2023) 在三维的构造），凸显了二维的特殊性。

总之，本文并非改进具体估计，而是通过范畴论视角，揭示了在看似混沌的非唯一 landscape 中，仍存在一个拓扑“大”集，其上动力学行为良好且唯一。

2. 通过迭代均匀化实现标量异常耗散与最优正则性

Scalar anomalous dissipation and optimal regularity via iterated homogenization

作者: Jan Burczak, László Székelyhidi,, Bian Wu

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13912v1

摘要: For any $$β_0<1/3$$ we construct divergence free vector fields in $C_{x,t}^{β_0}$ and a sequence of diffusivities $κ_q \searrow 0$ such that, for an arbitrary initial datum from a low regularity class, the classical solution $$ρ_q$$ to the advection-diffusion equation exhibits anomalous dissipation along the sequence $$κ_q$$ . At the same time $$ρ_q$$ remains uniformly bounded in $C_t^{0} C_x^{α_0}$ , where $$β_0 + 2α_0<1$$ . Our result confirms a conjecture of Armstrong and Vicol \cite{ArmstrongVicol} and shows sharpness of the Obukhov-Corrsin threshold within the context of iterated homogenization. Our construction confirms time-homogeneity of the dissipation anomaly, as required in turbulence theory, and as a consequence we also obtain better time regularity for the scalar $$ρ_q$$ than the classical prediction of Yaglom.

Comment: 157 pages

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

1. 研究对象和背景

本文研究二维环面上的对流-扩散方程

\partial_t \rho_\kappa + u \cdot \nabla \rho_\kappa = \kappa \Delta \rho_\kappa \quad \text{in } \mathbb{T}^2 \times (0,1], \quad \rho_\kappa(\cdot, 0) = \rho^{\mathrm{in}} \text{ on } \mathbb{T}^2,

其中 $u: \mathbb{T}^2 \times [0,1] \to \mathbb{R}^2$ 是给定的无散度向量场， $\rho^{\mathrm{in}}$ 是零均值初始数据。在足够正则的假设下（例如 $\rho^{\mathrm{in}} \in L^2$ , $u \in L^\infty L^2$ ），该方程存在唯一经典解，并满足能量恒等式

\frac{1}{2}\|\rho_\kappa(T)\|_{L^2}^2 + \kappa \int_0^T \|\nabla \rho_\kappa\|_{L^2}^2 \, dt = \frac{1}{2}\|\rho^{\mathrm{in}}\|_{L^2}^2, \quad \forall T \in [0,1].

在湍流理论中，该方程被视为“湍流输运”的基本模型。Kolmogorov 的 K41 理论在被动标量情形下的类比是 Obukhov–Corrsin–Yaglom 理论，其核心预测之一是：当速度场 $$u$$ 具有 Hölder 正则性 $C^{\beta}$ 时，标量场 $\rho_\kappa$ 在 $\kappa \to 0$ 极限下应具有最优空间正则性 $C^{\alpha}$ ，且满足临界关系

\beta + 2\alpha = 1.

若此关系被打破（即 $\beta + 2\alpha < 1$ ），则可能出现异常耗散（anomalous dissipation）：即使 $\kappa \to 0$ ，耗散项 $\kappa \int_0^T \|\nabla \rho_\kappa\|_{L^2}^2 \, dt$ 不趋于零，而是保持一个正的下界。这被称为“标量湍流的第零定律”。

然而，物理上合理的异常耗散还应满足时间齐次性（time-homogeneity）：对任意 $$T > 0$$ ，耗散在任意时间区间 $$[0,T]$$ 上都非退化。早期构造（如 [18, 11, 20]）虽能实现异常耗散，但其速度场通常不满足时间平移不变性，无法体现小尺度的统计均匀性。

Armstrong 与 Vicol 在 [4] 中首次通过迭代均匀化（iterated homogenization）机制构造了满足时间齐次异常耗散的速度场 $u \in C^{\beta_0}_{x,t}$ （ $\beta_0 < 1/3$ ），并证明存在序列 $\kappa_q \searrow 0$ 使得

\lim_{q \to \infty} \kappa_q \int_0^T \|\nabla \rho_q\|_{L^2}^2 \, dt \ge c_0 \|\rho^{\mathrm{in}}\|_{L^2}^2,

其中 $\rho_q = \rho_{\kappa_q}$ 。但他们未能证明 $\rho_q$ 在 $\kappa_q \to 0$ 下关于 $$q$$ 一致地属于某个 Hölder 空间 $C^{\alpha_0}_x$ ，仅在 [4, Section 1.3] 中猜想：若结合定量均匀化中的“大尺度正则性”技术，应可得到一致估计 $\sup_q \|\rho_q\|_{C^0_t C^{\alpha_0}_x} < \infty$ ，其中 $\alpha_0 = (1 - \beta_0)/2$ ，恰好饱和 Obukhov–Corrsin 阈值。

本文旨在填补这一空白。作者试图回答：是否能在保持时间齐次异常耗散的同时，证明标量解 $\rho_q$ 关于 $$q$$ 一致地具有最优空间 Hölder 正则性？更进一步，能否超越 Yaglom 对时间正则性的经典预测？这不仅关乎数学上对临界阈值的验证，也关系到湍流模型中小尺度统计结构的数学刻画。

2. 主要定理或主要结果

作者证明了以下主定理（Theorem 1.1）：

设 $0 < \beta_0 < 1/3$ ， $\alpha_0 > 0$ 满足 $2\alpha_0 + \beta_0 < 1$ 。则存在无散度向量场

u \in C^{\beta_0}(\mathbb{T}^2 \times [0,1])

及一列扩散系数 $\{\kappa_q\}_{q \in \mathbb{N}}$ ， $\kappa_q \searrow 0$ ，使得对任意零均值初始数据 $\rho^{\mathrm{in}} \in H^s(\mathbb{T}^2)$ ，其中 $s > (1 + \beta_0)/2$ ，对应的经典解 $\rho_q := \rho_{\kappa_q}$ 满足：

时间齐次异常耗散：对任意 $T \in (0,1]$ ，
$\lim_{q \to \infty} \kappa_q \int_0^T \|\nabla \rho_q\|_{L^2}^2 \, dt \ge c_0 \|\rho^{\mathrm{in}}\|_{L^2}^2,$
其中常数 $$c_0 > 0$$ 仅依赖于 $$u$$ 、 $$T$$ 及比值 $\|\rho^{\mathrm{in}}\|_{L^2} / \|\nabla^s \rho^{\mathrm{in}}\|_{L^2}$ 。
一致最优空间正则性：若进一步假设 $\rho^{\mathrm{in}} \in H^{1+\alpha'}(\mathbb{T}^2)$ ，其中 $\alpha' > \alpha_0$ ，则
$\sup_{q \in \mathbb{N}} \sup_{t \in [0,1]} \|\rho_q(t)\|_{C^{\alpha_0}(\mathbb{T}^2)} \le c_1 \|\rho^{\mathrm{in}}\|_{H^{1+\alpha'}},$
其中常数 $$c_1 > 0$$ 仅依赖于 $$u$$ 。

特别地，由于 $\beta_0 + 2\alpha_0 < 1$ 可任意接近等号，该结果确认了 Obukhov–Corrsin 阈值 $\beta + 2\alpha = 1$ 的尖锐性。此外，作者指出，由于构造中耗散异常在时间上是齐次的，标量场 $\rho_q$ 的时间正则性实际上优于 Yaglom 经典预测（后者基于 $L^r_t C^\alpha_x$ 框架，要求 $$1/p + 2/r = 1$$ ）。本文构造隐含了更强的时间连续性（ $$C^0_t$$ 而非 $$L^r_t$$ ），这是对已有理论的重要推进。

技术上，扩散系数按如下方式选取：固定参数 $b \in (1, 11/10)$ ，定义频率尺度 $\lambda_q = \lfloor \lambda_0^{b^q} \rfloor$ ，并令

\kappa_q = \lambda_q^{-\theta}, \quad \theta = \frac{2b}{b+1}(1 + \beta_0),

从而确保在每个尺度 $$q$$ 上，对流变形与扩散效应达到平衡。正则性指数 $\alpha_0$ 与 $\beta_0$ 的关系由参数约束

2\alpha_0 + \beta_0 + \frac{1 + \beta_0}{b + 1}(b - 1)\alpha_0 \le 1

所控制，当 $b \to 1^+$ 时逼近临界线 $2\alpha_0 + \beta_0 = 1$ 。

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

作者的核心创新在于发展了一套适用于高阶校正项的迭代定量均匀化框架，以克服传统“大尺度正则性”方法在此高对比度环境下的失效。主要技术障碍有两个：其一，在小尺度 $\sim \lambda_q^{-1}$ 上，尺度分离 $\lambda_q / \lambda_{q+1}$ 极弱，而椭圆性退化严重（ $\kappa_q \to 0$ ），需计算极高阶校正项；其二，在大尺度上，背景流 $$u_q$$ 保持 $$O(1)$$ ，而扩散系数 $\kappa_q$ 趋于零，导致标准能量估计或 Schauder 估计无法给出有用的 Hölder 控制。

为解决这些问题，作者引入了以下关键技术：

1. 流映射的高阶展开以恢复时空周期性：速度扰动项形式上为

w_{q+1}(x,t) = a_q(x,t) \eta(\mu_{q+1} t) W(\lambda_{q+1} \Phi_q(x,t)),

其中 $\Phi_q$ 是由 $$u_q$$ 生成的局部流映射。但因时间截断， $w_{q+1}$ 并非严格周期。作者通过对流导数 $D_{q,t} = \partial_t + u_q \cdot \nabla$ 进行泰勒展开，构造全局定义的近似流映射

\Phi_q(x,t) = x + \sum_{m=1}^{m^*} \frac{1}{m!}(t_{q,\iota} - t)^m D_{q,t}^{m-1} u_q,

并证明

w_{q+1}(x,t) = a_q(x,t) \sum_{m=0}^{m^*} \eta^{(m)}(\mu_{q+1} t) w(\lambda_{q+1} \Phi_q(x,t)) + O(\lambda_{q+1}^{-m^* \gamma_0}),

从而将问题转化为带有任意小误差的、更干净的均匀化问题，这对高阶展开至关重要。

2. 时空混合均匀化问题的高阶展开算法：在每个迭代步，需处理形如

D_{q,t} \rho_{q+1} - \mathrm{div} \left( \begin{bmatrix} \kappa_{q+1} & \psi \\ -\psi & \kappa_{q+1} \end{bmatrix} \nabla \rho_{q+1} \right) = 0

的方程，其中系数同时依赖快空间变量 $\lambda_{q+1} \Phi_q$ 和快时间变量 $\mu_{q+1} t$ 。作者设计了一种算法，能同时系统地计算空间校正项、时间校正项和边界（初值）校正项至任意高阶 $$Q$$ ，解决了多尺度无明确阶序下的渐近展开难题。

3. 校正链、重整化微分算子与多项式-导数空间：直接递归高阶展开会导致校正问题数量呈指数爆炸（ $$Q^q$$ 个）。作者通过将校正链分为两部分来规避：前 $$Q$$ 个用展开法，其余 $$Q^2 - Q$$ 个用能量法。关键在于，由流映射变形 $\nabla \Phi_q$ 引入的系数具有多项式代数结构。为此，作者引入重整化微分算子和专门的多项式-导数空间，以高效传播代数结构和估计，使得从第 $$q+1$$ 步到第 $$q$$ 步的归纳可行。

4. 惯性区与耗散区的分离及初值的尺度分解：不同于 [4,10] 将初值视为整体，作者采用 Littlewood-Paley 型分解，将 $\rho^{\mathrm{in}} \in H^{1+\alpha'}$ 分解到与 $\{\lambda_q\}$ 适配的能量壳层上。对每个壳层分量，分别在惯性区（扩散被显著增强，体现大涡效应）和耗散区（低于 Kolmogorov 尺度）进行均匀化，这是处理任意低正则初值的关键。

4. 与之前工作的比较

本文与已有工作的比较可从多个维度展开：

1. 与 Armstrong–Vicol [4] 的比较：[4] 首次通过迭代均匀化实现了时间齐次的异常耗散（即 (1.1.2) 式），这是对早期构造（如 [18,11,20]）的重大改进，后者通常只保证 $\limsup_{\kappa \to 0}$ 下的耗散，且缺乏时间平移不变性。然而，[4] 未能证明标量解 $\rho_q$ 的一致 Hölder 正则性，仅在文中猜想可通过“大尺度正则性”技术达到 $C^0_t C^{(1-\beta)/2}_x$ 。本文完全证实了该猜想，并给出了显式的、一致的 Hölder 范数界 (1.1.3)。更重要的是，作者并未采用 [4] 所建议的技术路线，而是开创了一套全新的高阶迭代均匀化框架，因为标准的大尺度正则性工具在本文的高对比度设定下（ $\kappa_q \to 0$ 而 $$u_q = O(1)$$ ）根本无法应用。

2. 与 Colombo–Crippa–Sorella [11] 及 Elgindi–Liss [20] 的比较：[11] 在 Yaglom 框架 $L^p_t C^\beta_x \times L^r_t C^\alpha_x$ 下证明了阈值 $1/p + 2/r = 1, \beta + 2\alpha = 1$ 的尖锐性，即当 $\beta + 2\alpha < 1$ 时可构造异常耗散。[20] 将此结果扩展到端点情形 $r=2, p=\infty$ （即 $u \in L^\infty_t C^\beta_x$ ）。这些工作虽然达到了最优的正则性阈值，但其构造的异常耗散并非时间齐次——耗散可能集中在特定时间段，不满足湍流理论对小尺度统计均匀性的要求。相比之下，本文在同时满足时间齐次异常耗散和一致最优空间正则性方面取得了突破，这是 [11,20] 所不具备的。

3. 与作者前期工作 [10] 的比较：[10] 将 [4] 的迭代均匀化与凸积分方法结合，构造了同时是三维 Euler 方程弱解的速度场，并补充了 Richardson 色散律的下界。但 [10] 同样未解决标量场的一致正则性问题。本文可视为对 [4,10] 技术的深度完善，为其提供了缺失的最后一块拼图。

4. 关于时间正则性的推进：Yaglom 的经典预测基于 $L^r_t C^\alpha_x$ 空间，其临界条件为 $$1/p + 2/r = 1$$ 。本文的结果 (1.1.3) 表明，标量解实际上属于更强的空间 $C^0_t C^{\alpha_0}_x$ ，这意味着其时间正则性优于 Yaglom 的 $$L^r_t$$ 预测。这是一个意外的收获，源于构造中内在的时间齐次性。

5. 方法论上的根本差异：以往关于异常耗散的工作多依赖凸积分（用于构造粗糙速度场）或显式剪切流。本文则坚定地采用迭代均匀化作为核心机制，这更贴近物理上“涡粘性”（eddy diffusivity）的图像。作者发展的高阶校正、流映射展开、校正链管理等工具，构成了一套强大的新分析框架，不仅解决了当前问题，也为未来研究（如空间齐次性 (P.1) 和 Euler h-原理 (P.2)）铺平了道路。

3. 双曲型Navier-Stokes方程解的梯度灾变

Gradient Catastrophe for Solutions to the Hyperbolic Navier-Stokes Equations

作者: Qingsong Zhao

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13837v1

摘要: This paper studies local existence and the singularity formation of the solutions of the one-dimensional hyperbolic Navier-Stokes equations, in particular proving the gradient blow-up of the derivatives of the solutions. The underlying model introduces a relaxation mechanism that leads to hyperbolization, achieved both through a nonlinear Cattaneo law for heat conduction and through Maxwell-type constitutive relations for the stress tensor. Our main approach is to prove that the hyperbolic Navier-Stokes equations are indeed hyperbolic, and to prove that they possess two genuinely nonlinear eigenvalues, thereby establishing the blow-up of the gradient of the solution. In addition, we provide a derivation of the equation of state for the hyperbolic Navier-Stokes equations in the appendix.

Comment: 无

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

1. 研究对象和背景

本文研究一维双曲型Navier-Stokes方程（Hyperbolic Navier-Stokes equations, HNS）的局部适定性与奇异性形成机制。经典Navier-Stokes方程基于Fourier热传导定律 $q = -\kappa \theta_x / v$ 与Newton粘性律 $S = \mu u_x / v$ ，其控制方程为抛物型，导致扰动以无限速度传播，这在物理上是不合理的。为克服这一缺陷，Cattaneo提出引入热流松弛时间 $\tau_1 > 0$ ，将Fourier定律替换为

\tau_1 q_t + q + \frac{\kappa \theta_x}{v} = 0,

同时对粘性应力张量引入Maxwell型松弛关系

\tau_2 S_t + S = \frac{\mu u_x}{v},

其中 $\tau_2 > 0$ 为应力松弛时间。由此得到的五元组系统（1.1）为： \begin{align} v_t - u_x &= 0, \ u_t + p_x &= S_x, \ \left(e + \frac{1}{2}u^2\right)_t + (up)_x + q_x &= (uS)_x, \ \tau_1 q_t + q + \frac{\kappa \theta_x}{v} &= 0, \ \tau_2 S_t + S - \frac{\mu u_x}{v} &= 0. \end{align} 此处 $$ v>0 $$ 为比容， $u \in \mathbb{R}$ 为速度， $\theta>0$ 为温度， $q \in \mathbb{R}$ 为热流， $S \in \mathbb{R}$ 为应力张量。热导率 $\kappa>0$ 、粘性系数 $\mu>0$ 、松弛参数 $\tau_1, \tau_2 >0$ 均为常数。

状态方程通过Gibbs关系 $\theta ds = de + p dv$ 导出，并假设压力与内能具有如下修正形式： \begin{align} p(v, \theta, q, S) &= \tilde{p}(v, \theta) - \frac{\tau_1}{2\kappa \theta} q^2 - \frac{\tau_2}{2\mu} S^2, \ e(v, \theta, q, S) &= \tilde{e}(v, \theta) + \frac{\tau_1 v}{\kappa \theta} q^2 + \frac{\tau_2 v}{2\mu} S^2, \end{align} 其中 $\tilde{p}, \tilde{e}$ 为经典无松弛情形（ $\tau_1=\tau_2=0$ ）下的表达式。进一步假设热力学稳定性条件成立：

p_v < 0, \quad e_\theta > 0.

特别地，对理想多方气体，取 \begin{align} p &= \frac{R\theta}{v} - \frac{\tau_1}{2\kappa \theta} q^2 - \frac{\tau_2}{2\mu} S^2, \ e &= C_v \theta + \frac{\tau_1 v}{\kappa \theta} q^2 + \frac{\tau_2 v}{2\mu} S^2, \end{align} 对应绝热指数 $\gamma = 1 + R/C_v \in (1, 5/3]$ 。

经典可压缩Navier-Stokes方程（即 $\tau_1=\tau_2=0$ ）在适当条件下存在整体大解（如Kazhikhov, Jiang等人的工作），而当引入松弛机制后，系统变为严格双曲型，其解的行为可能发生根本变化。已有文献中，Hu–Racke–Wang等人利用Sideris型方法证明了大初值下解的整体不存在性，但该方法无法揭示奇异性形成的微观机制。本文旨在填补这一空白：是否能在非真空、远场一致的初值下，证明HNS方程解的一阶导数在有限时间内爆破（即“梯度灾变”）？ 这要求系统具备真正的非线性特征（genuine nonlinearity），从而允许Riemann不变量沿特征线满足Riccati型ODE并发生爆破。

2. 主要定理或主要结果

本文主要证明两个定理：

定理1.1（局部存在性）：设压力 $$ p $$ 与内能 $$ e $$ 满足(1.3)–(1.6)，对任意整数 $s \geq 2$ ，存在常数 $\delta > 0$ ，使得当初值扰动 $(v_0 - 1, u_0, \theta_0 - 1, q_0, S_0) \in W^{s,2}(\mathbb{R})$ 且范数小于 $\delta$ 时，Cauchy问题(1.1)–(1.9)在某个时间区间 $$ [0,T] $$ 上存在唯一局部解，满足

(v - 1, u, \theta - 1, q, S) \in C^0([0,T]; H^2(\mathbb{R})) \cap C^1([0,T]; H^{s-1}(\mathbb{R})).

定理1.2（梯度灾变）：设状态方程由(1.10)–(1.11)给出，且绝热指数 $\gamma \in (1, 5/3]$ 。则存在满足远场条件(1.8)–(1.9)的光滑紧支初值 $(v_0, u_0, \theta_0, q_0, S_0)$ ，使得对应的 $$ C^1 $$ -解在有限时间内存在，且解本身保持有界，但其一阶空间导数在有限时刻爆破，即

\limsup_{t \to T^-} \| \partial_x (v, u, \theta, q, S)(t, \cdot) \|_{L^\infty(\mathbb{R})} = +\infty,

而 $\|(v, u, \theta, q, S)(t, \cdot)\|_{L^\infty}$ 在 $$ [0,T) $$ 上有界。

关键在于证明系统(1.1)在平衡态 $\bar{u} = (1,0,1,0,0)^\top$ 附近是严格双曲的，且至少有一个特征值是真正非线性的。作者将系统写成拟线性形式

$$ u_t + A(u) u_x = g(u), $$

并证明矩阵 $$ A(u) $$ 在 $\bar{u}$ 处有五个互异实特征值。进一步，对其中一个特征值 $\lambda_*(u)$ ，其对应的Riemann不变量

\nabla_u \lambda_*(u) \cdot r_*(u)

在平衡态附近恒为负（对所有 $\tau_1, \tau_2, \mu, \kappa > 0$ 及 $\gamma \in (1,5/3]$ 成立），其中 $$ r_*(u) $$ 为右特征向量。这保证了该特征场是真正非线性的，从而可通过选取适当初值使沿该特征线的Riemann不变量满足 Riccati 方程 $\frac{d}{dt} w = c w^2 + \cdots$ 而爆破。

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

本文的核心技术障碍在于：尽管系统(1.1)形式上是双曲的，但其特征结构高度依赖于多个物理参数（ $\tau_1, \tau_2, \mu, \kappa, \gamma$ ），需证明在所有正参数组合下，至少存在一个真正非线性的特征场。作者的创新点在于构造并分析一个显式的Riemann不变量表达式，并通过巧妙的变量替换将其简化为仅依赖两个无量纲参数的函数。

第一，双曲性与特征结构分析。作者首先将(1.1)化为守恒律形式 $$ u_t + A(u) u_x = g(u) $$ ，其中 $u = (v,u,\theta,q,S)^\top$ 。利用状态方程(1.3)–(1.4)及Gibbs关系，计算出 $$ A(u) $$ 的具体表达式。在平衡态 $\bar{u}=(1,0,1,0,0)$ 处， $A(\bar{u})$ 的特征多项式可显式求解，得到五个互异实根，从而确认严格双曲性。

第二，Riemann不变量的显式构造。对每个特征值 $\lambda_i(u)$ ，其真正非线性条件为 $\nabla_u \lambda_i \cdot r_i \not\equiv 0$ 。作者聚焦于一个特定特征值 $\lambda_*$ ，计算其梯度与右特征向量 $$ r_* $$ 的内积。由于直接表达式极其复杂，作者引入无量纲变量

w = \frac{\kappa}{\tau_1 C_v R}, \quad z = \frac{\mu}{\tau_2 R},

将Riemann不变量表示为二元函数 $\mathcal{R}(w,z;\gamma)$ 。关键观察是：该函数可写成三种等价形式： \begin{align} \text{(a)}\quad & M(w,z;\gamma)L(w,z;\gamma) - w N(w,z;\gamma), \ \text{(b)}\quad & \frac{1}{2}\left(Q(w,z;\gamma) - M(w,z;\gamma)g(w,z;\gamma)\right), \ \text{(c)}\quad & -\frac{2(\gamma-1)w^2 P(w,z;\gamma)}{M(w,z;\gamma)g(w,z;\gamma) + Q(w,z;\gamma)}, \end{align} 其中 $$ M, N $$ 为关于 $$ w $$ 的二次、一次多项式， $$ P, Q $$ 为三次多项式， $$ g>0 $$ 。

第三，符号分析与分段论证。为证明 $\mathcal{R}(w,z;\gamma) < 0$ 对所有 $w>0, z>0, \gamma\in(1,5/3]$ 成立，作者固定 $z, \gamma$ ，将 $w \in (0,\infty)$ 分为四个区间，依据各区间的代数性质选择最合适的表达式：

在 $$ (0, w_N(z)] $$ 和 $I_+(z) = \{w > w_M(z): Q(w,z)>0\}$ 上使用(c)，分子含 $-(\gamma-1)w^2 P$ ，分母为正，而 $$ P<0 $$ ；
在 $$ (w_N(z), w_M(z)] $$ 上使用(a)，此时 $$ M<0, L>0, N>0 $$ ，故整体为负；
在 $I_-(z) = \{w > w_M(z): Q(w,z)\leq 0\}$ 上使用(b)，利用 $Q \leq 0$ 且 $$ M g > 0 $$ 得出负值。

该论证依赖于对多项式零点 $$ w_M, w_N, w_P, w_Q $$ 的精细比较（见Lemma 4.5及图1），确保分段覆盖无遗漏且符号一致。这种多表达式切换策略是处理高维参数依赖非线性问题的有效手段。

4. 与之前工作的比较

本文与已有工作在多个维度上存在显著差异：

1. 爆破机制的本质区别。此前关于HNS方程的爆破结果（如Hu–Racke–Wang [12]）属于Sideris型：通过构造具有有限传播速度的泛函，结合能量不等式证明解不能全局延拓，但无法说明奇异性如何形成。本文则首次建立了梯度灾变机制，即解本身有界但导数爆破，这揭示了双曲效应主导下的非线性聚焦过程，与可压缩Euler方程中的经典结果（如Lax, John）精神一致。

2. 初值条件的放宽。Freistühler [8]曾研究类似五方程模型的爆破，但其假设远场状态 $v_\pm$ 与 $\theta_\pm$ 相关（即非独立）。本文则允许任意常数远场（经归一化为 $$ (1,0,1,0,0) $$ ），且不要求 $v_\pm, \theta_\pm$ 满足特定关系，适用范围更广。作者明确指出：“在我们的证明中， $v_\pm$ 和 $\theta_\pm$ 取何值无关紧要”（Remark 1.1）。

3. 参数普适性。以往对真正非线性条件的验证往往局限于特定参数比（如 $\tau_1 \ll 1$ 或 $\mu = \kappa$ ）。本文则证明：对所有正参数 $\tau_1, \tau_2, \mu, \kappa > 0$ 及物理合理的 $\gamma \in (1,5/3]$ ，系统均存在真正非线性特征场。这一结论通过引入无量纲变量 $$ w,z $$ 并完成全参数空间的符号分析得以实现，是技术上的重大推进。

4. 与经典Navier-Stokes的对比。当 $\tau_1 = \tau_2 = 0$ 时，系统退化为经典可压缩Navier-Stokes方程，此时已知存在整体大解（Kazhikhov [19,20], Jiang [16,17]）。本文结果表明：即使引入任意小的松弛时间（ $\tau_1, \tau_2 > 0$ ），系统行为也会发生质变——从整体正则变为有限时间梯度爆破。这凸显了双曲化修正对解结构的根本影响，也说明抛物正则化效应（如热传导、粘性耗散）在双曲框架下不足以阻止梯度增长。

5. 方法论贡献。不同于依赖先验估计或泛函不等式的传统PDE方法，本文采用显式特征分析+代数符号判定的策略。通过将复杂的偏微分不等式问题转化为多元多项式在参数空间上的符号问题，并设计分段表达式以适应不同区域的代数特性，为处理高维参数依赖的双曲系统提供了新范式。

代价方面，本文仅处理一维情形，且要求初值远场一致（排除激波相互作用等复杂情形）。此外，爆破结果依赖于理想气体假设（1.10）–（1.11），对一般状态方程的推广尚待研究。但从提供内容中无法确认作者是否讨论了这些局限。

4. 修正Vlasov-Poisson-Boltzmann系统的扩散极限及其经典解的最优收敛率

Diffusion Limit with Optimal Convergence Rate of Classical Solutions to the modified Vlasov-Poisson-Boltzmann System

作者: Yanchao Li, Mingying Zhong

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13641v1

摘要: In the present paper, we study the diffusion limit of the classical solution to the modified Vlasov-Poisson-Boltzmann (mVPB) System with initial data near a global Maxwellian. Based on the spectral analysis, weprove the convergence and establish the convergence rate of the global strong solution to the mVPB system towards the solution to an incompressible Navier-Stokes-Poisson-Fourier system with the precise estimation on the initial layer.

Comment: 无

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

1. 研究对象和背景

本文研究的是修正Vlasov-Poisson-Boltzmann（mVPB）系统在小Knudsen数 $\epsilon \to 0$ 下的扩散极限问题。该系统描述了带电粒子在自洽电场作用下的稀薄气体动力学行为，其无量纲形式为：

\partial_t F_\epsilon + \frac{1}{\epsilon} v \cdot \nabla_x F_\epsilon + \frac{1}{\epsilon} \nabla_x \Phi_\epsilon \cdot \nabla_v F_\epsilon = \frac{1}{\epsilon^2} Q(F_\epsilon, F_\epsilon),

\Delta_x \Phi_\epsilon = \int_{\mathbb{R}^3} F_\epsilon \, dv - e^{-\Phi_\epsilon},

其中 $F_\epsilon(t,x,v)$ 是粒子分布函数， $\Phi_\epsilon(t,x)$ 是电势， $$Q$$ 是标准Boltzmann碰撞算子，适用于硬球模型（ $\gamma=1$ ）或带角截断的硬势模型（ $0 \leq \gamma < 1$ ）。当 $\epsilon \ll 1$ 时，系统处于流体动力学尺度，期望其解逼近某种宏观流体方程。

作者考虑初值接近全局Maxwellian $M(v) = (2\pi)^{-3/2} e^{-|v|^2/2}$ 的情形，并引入扰动变量：

F_\epsilon = M + \epsilon \sqrt{M} f_\epsilon, \quad \Phi_\epsilon = \epsilon \phi_\epsilon,

从而将原系统转化为关于 $(f_\epsilon, \phi_\epsilon)$ 的扰动方程：

\partial_t f_\epsilon + \frac{1}{\epsilon} v \cdot \nabla_x f_\epsilon + \frac{1}{\epsilon} v \sqrt{M} \cdot \nabla_x (I - \Delta_x)^{-1} \int_{\mathbb{R}^3} f_\epsilon \sqrt{M} \, dv - \frac{1}{\epsilon^2} L f_\epsilon = G_1(f_\epsilon) + \frac{1}{\epsilon} G_2(f_\epsilon) + \frac{1}{\epsilon^2} v \sqrt{M} \cdot \nabla_x (I - \Delta_x)^{-1} G_3(f_\epsilon),

(I - \Delta_x) \phi_\epsilon = -\int_{\mathbb{R}^3} f_\epsilon \sqrt{M} \, dv + \frac{1}{\epsilon} G_3(f_\epsilon),

其中 $$L$$ 是线性化碰撞算子，满足 $(Lf,f) \leq -\mu \|P_1 f\|^2$ ， $$P_0$$ 为投影到零空间 $N_0 = \mathrm{span}\{\chi_j\}_{j=0}^4$ 上的算子，基函数为：

\chi_0 = \sqrt{M}, \quad \chi_j = v_j \sqrt{M} \ (j=1,2,3), \quad \chi_4 = \frac{|v|^2 - 3}{\sqrt{6}} \sqrt{M}.

已有工作表明，对于标准VPB系统，在接近Maxwellian的假设下，可导出不可压缩Navier-Stokes-Poisson-Fourier（NSPF）系统作为其流体极限。然而，修正版本（mVPB）的扩散极限、收敛率及初始层结构尚未被严格建立。特别地，由于电势项引入了非局部算子 $(I - \Delta_x)^{-1}$ ，线性化算子 $B_\epsilon(\xi) = L - i\epsilon (v\cdot\xi) - i\epsilon \frac{v\cdot\xi}{1+|\xi|^2} P_d$ 不具有标准Boltzmann算子的尺度不变性 $B_\epsilon(\xi) = B_1(\epsilon \xi)$ ，这使得传统谱分析方法失效。因此，本文旨在填补这一空白：在硬球与硬势模型下，证明mVPB系统经典解向NSPF系统的收敛性，并给出最优收敛率，同时精确刻画初始层的结构。

2. 主要定理或主要结果

作者在两个主要定理中给出了严格结论：

定理1.1（适定性与衰减估计）：设 $N \geq 4$ ，存在小常数 $\delta_0 > 0$ ，若初值满足 $\|f_0\|_{H^N_{w_1}} + \|f_0\|_{L^{2,1}} \leq \delta_0$ ，其中权重 $$w_1$$ 对硬球模型为 $w_1(v) = (1+|v|^2)^{1/2}$ ，对硬势模型为 $w_1(t,v) = (1+|v|^2)^{1/2} e^{a|v|/(1+t)^b}$ （ $$a>0$$ , $0<b\leq 1/4$ ），则mVPB系统存在唯一整体解 $(f_\epsilon, \phi_\epsilon)$ ，且满足时间衰减：

\|f_\epsilon\|_{H^N_{w_1}} + \|\nabla_x \phi_\epsilon\|_{H^N_x} \leq C \delta_0 (1+t)^{-3/4}.

同时，对应的NSPF系统也存在唯一整体解 $(n,m,q,\phi)$ ，其宏观部分 $u = n\chi_0 + m\cdot v \chi_0 + q \chi_4$ 满足相同衰减率。

定理1.2（最优收敛率）：在更强的正则性假设 $\|f_0\|_{H^5_{w_1}} + \|f_0\|_{L^{2,1}} \leq \delta_0$ 下，有如下收敛估计：

一般初值情形： $\|f_\epsilon(t) - u(t)\|_{L^\infty} + \|\nabla_x \phi_\epsilon - \nabla_x \phi\|_{L^\infty_x} \leq C \delta_0 \left( \epsilon |\ln \epsilon|^2 (1+t)^{-3/4} + \left(1 + \frac{t}{\epsilon}\right)^{-1} \right).$ 此处第二项 $\left(1 + t/\epsilon\right)^{-1}$ 描述了初始层效应，其影响在 $t \sim \epsilon$ 尺度内显著。
兼容初值情形：若初值满足兼容条件 $f_0 = n_0 \chi_0 + m_0 \cdot v \chi_0 + q_0 \chi_4, \quad \nabla_x \cdot m_0 = 0, \quad n_0 + (I - \Delta_x)^{-1} n_0 + \sqrt{2/3} q_0 = 0,$ 则初始层消失，收敛率为： $\|f_\epsilon(t) - u(t)\|_{L^\infty} + \|\nabla_x \phi_\epsilon - \nabla_x \phi\|_{L^\infty_x} \leq C \delta_0 \epsilon |\ln \epsilon| (1+t)^{-3/4}.$

此外，注记1.3给出了初始层的显式结构：振荡部分 $u_{\mathrm{osc},\epsilon}(t)$ 和微观部分 $e^{t B_\epsilon / \epsilon^2} P_1 f_0$ 是构成初始层的核心成分。注记1.4解释了对数因子的来源： $|\ln \epsilon|^2$ 项源于非线性项与初始层的时间卷积，而兼容初值下仅剩 $|\ln \epsilon|$ 项。

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

本文的核心创新在于克服了mVPB系统线性算子缺乏尺度不变性所带来的谱分析困难，并建立了新的流体逼近框架。具体技术路线如下：

1. 非局部隐函数定理与谱展开：由于算子 $B_\epsilon(\xi) = L - i\epsilon(v\cdot\xi) - i\epsilon \frac{v\cdot\xi}{1+|\xi|^2} P_d$ 中的非局部项 $\frac{1}{1+|\xi|^2}$ 破坏了 $B_\epsilon(\xi) = B_1(\epsilon\xi)$ 的结构，作者无法直接套用Ellis-Pinsky或Bardos-Ukai的经典方法。为此，他们在第2节发展了一套新的非局部隐函数定理（引理2.4），通过将特征值问题分解为宏观（ $$P_0$$ ）和微观（ $$P_1$$ ）部分，并利用线性算子 $$L$$ 在 $$P_1$$ 空间上的可逆性，成功证明了当 $\epsilon|\xi| \leq r_0$ 时， $B_\epsilon(\xi)$ 存在五个离散特征值 $\lambda_j(|\xi|, \epsilon)$ ，其渐近展开为：

\lambda_j(|\xi|, \epsilon) = -i\epsilon|\xi| u_j(|\xi|) - \epsilon^2 d_j(|\xi|) + O(\epsilon^3 |\xi|^3),

其中 $$u_j$$ 和 $$d_j$$ 由一个5维矩阵 $A(\eta)$ 的特征值得到（公式2.14, 2.22）。这一展开是后续所有流体逼近的基础。

2. 半群的流体逼近与关键 $L^\infty$ 估计：基于上述谱展开，作者在第3节将半群 $e^{t B_\epsilon / \epsilon^2}$ 分解为主导的流体模式和快速衰减的剩余项。关键一步是引理3.5中的 $L^\infty$ 估计：

\left\| \mathcal{F}^{-1} \left( e^{-i|\xi| u_j(|\xi|) t / \epsilon} \alpha(\omega) (1+|\xi|)^{-3} \right) \right\|_{L^\infty_x} \leq C \left( \frac{t}{\epsilon} \right)^{-1}, \quad j=\pm1,

该估计处理了高频振荡 $e^{-i|\xi| u_j t / \epsilon}$ 带来的困难，其证明依赖于对相位函数的精细分析和振荡积分技巧。由此，他们建立了半群到一阶和二阶流体极限的最优收敛率（引理3.8）。

3. 非线性能量估计与初始层精确刻画：在第4节，作者将非线性mVPB解表示为Duhamel公式，并将其与NSPF解的积分表达式相减。收敛率的证明依赖于对以下几类项的精细估计：

线性部分的差：利用第3节的半群逼近结果。
非线性项的卷积：如 $\int_0^t e^{(t-s)B_\epsilon/\epsilon^2} G_2(f_\epsilon)(s) ds$ ，其估计产生了 $\epsilon |\ln \epsilon|$ 因子（见公式4.22）。
初始层相关卷积：如 $\int_0^t Y(t-s) \cdot (\text{初始层项})(s) ds$ ，其中核 $$Y$$ 包含对数奇性 $\ln(2 + 1/(t-s))$ ，导致了 $\epsilon |\ln \epsilon|^2$ 因子（见公式4.25, 4.33）。

整个证明框架巧妙地将谱分析、半群理论、振荡积分估计和非线性能量方法结合起来，最终实现了对收敛率和初始层的精确控制。

4. 与之前工作的比较

本文与已有文献的比较可从以下几个维度展开：

1. 与标准Boltzmann方程及VPB系统的工作比较：

Bardos-Golse-Levermore [1,13]：开创了Boltzmann方程到Navier-Stokes方程的弱收敛理论，但未给出经典解的收敛率。
Ellis-Pinsky [8]：首次用谱分析得到线性Boltzmann方程到Euler方程的收敛率，但未处理初始层。
Bardos-Ukai [3]：首次对线性Boltzmann方程给出了包含初始层估计的Navier-Stokes极限，其核心是利用了算子的尺度不变性 $B_\epsilon(\xi) = B_1(\epsilon\xi)$ 。
Li-Yang-Zhong [18]：将[3]的方法推广到标准VPB系统，得到了NSPF极限及收敛率。本文的关键推进在于处理了“修正”版本（mVPB），其线性算子因电势项 $(I-\Delta_x)^{-1}$ 而失去尺度不变性，故[18]的方法完全失效。作者通过发展新的谱分析工具（非局部隐函数定理）解决了这一根本障碍。

2. 关于收敛率的优化：

以往许多工作（如[9,14,17,25,28,30]）仅证明了收敛性 $f_\epsilon \to u$ ，但未给出明确的收敛速率，或速率非最优。
本文首次为mVPB系统给出了最优收敛率。特别地，对数因子 $|\ln \epsilon|$ 和 $|\ln \epsilon|^2$ 的出现并非技术缺陷，而是由非线性项与初始层的时间卷积所固有决定的（见注记1.4）。这比一些仅得到 $O(\epsilon^{1/2})$ 或更差速率的工作更为精细。

3. 关于初始层的刻画：

许多极限理论忽略了初始层，或仅笼统说明其存在。
本文不仅量化了初始层的影响（通过项 $\left(1 + t/\epsilon\right)^{-1}$ ），还给出了其显式结构（注记1.3中的 $u_{\mathrm{osc},\epsilon}$ 和 $e^{tB_\epsilon/\epsilon^2}P_1f_0$ ），并指出了消除初始层的精确兼容条件（公式1.22）。这为理解流体极限的瞬态行为提供了深刻洞见。

4. 适用范围与代价：

优势：本文结果同时覆盖硬球和硬势模型，并给出了整体经典解的收敛率。
代价/局限：为了处理非局部算子和获得最优率，作者需要更强的初值正则性（ $H^5_{w_1}$ ）和小ness假设。此外，对数因子的存在意味着收敛率在 $\epsilon \to 0$ 时略逊于纯代数速率，但这已被证明是不可避免的。总体而言，本文在模型复杂性和结论精度之间取得了重要平衡。

5. Ladyzhenskaya-Prodi-Serrin 条件与三维 Navier-Stokes 流动中极端行为的搜寻

The Ladyzhenskaya-Prodi-Serrin Conditions and the Search for Extreme Behavior in 3D Navier-Stokes Flows

作者: Elkin Ramírez, Bartosz Protas

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

发布日期: 2026-04-14

arXiv ID: 2604.13338v1

摘要: In this investigation, we conduct a systematic computational search for potential singularities in 3D Navier-Stokes flows on a periodic domain $$Ω$$ based on the Ladyzhenskaya-Prodi-Serrin conditions. They assert that for a solution $\mathbf{u}(t)$ of the Navier-Stokes system to be regular on an interval $$[0,T]$$ , the integral $\int_{0}^T \|\mathbf{u}(t)\|_{L^q}^p\,dt$ , where $2/p+3/q=1,\;q>3$ , and the expression $\sup_{t \in [0,T]} \|\mathbf{u}(t)\|_{L^3}$ must be bounded. Flows which might become singular and violate these conditions are sought by solving a family of variational PDE optimization problems where we identify initial conditions $\mathbf{u}_{0}$ with the corresponding flows $\mathbf{u}(t)$ locally maximizing the integral $\int_{0}^T \|\mathbf{u}(t)\|_{L^q}^p\,dt$ for a range of different values of $$q$$ and $$p$$ or the norm $\|\mathbf{u}(T)\|_{L^3}$ for different time windows $$T$$ and increasing sizes $\| \mathbf{u}_0 \|_{L^q}$ of the initial data. We consider two formulations where these expressions are maximized over appropriate Lebesgue spaces $$L^q(Ω)$$ or the largest Hilbert-Sobolev spaces $$H^s(Ω)$$ embedded in them. The lack of Hilbert-space structure in the first case necessitates development of a novel computational approach to solve the problem. While no evidence of unbounded growth of the quantities of interest, and hence also for singularity formation, was detected, we were able to quantify how “close” the flows realizing such worst-case scenarios come to forming a singularity. A comparison of these results with estimates on the rate of growth of the norms $||\mathbf{u}(t)||_{L^q}$ and of the enstrophy $\mathcal{E}(t)$ indicates that the extreme flows do enter a regime where these quantities are amplified at a rate consistent with singularity formation in finite time, but this growth is not sustained long enough for singularities to form.

Comment: 43 pages, 14 figures

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

1. 研究对象和背景

本文研究的对象是定义在三维环面 $\Omega = \mathbb{T}^3 := \mathbb{R}^3 / \mathbb{Z}^3$ 上、满足周期边界条件的不可压缩 Navier-Stokes 方程：

\partial_t \mathbf{u} + (\mathbf{u} \cdot \nabla_x) \mathbf{u} + \nabla_x p - \nu \Delta \mathbf{u} = 0, \quad \nabla_x \cdot \mathbf{u} = 0, \quad \mathbf{u}(0) = \mathbf{u}_0,

其中 $\nu > 0$ 是运动粘性系数， $\mathbf{u}(t,x)$ 是速度场， $$p(t,x)$$ 是压力。该系统在数学上著名的“千禧年难题”之一即为：对任意光滑初始数据 $\mathbf{u}_0$ ，是否存在全局经典解？目前仅知 Leray-Hopf 弱解存在但未必唯一，而经典解的全局存在性仍未解决。

为逼近这一核心问题，研究者常借助“条件正则性结果”（conditional regularity results）——即给出弱解成为经典解的充分必要条件。其中两类最重要的判据是：(i) 涡量平方积分（enstrophy）条件：若 $\sup_{t \in [0,T]} \mathcal{E}(t) < \infty$ ，其中 $\mathcal{E}(t) = \frac{1}{2} \|\nabla_x \mathbf{u}(t)\|_{L^2}^2$ ，则解在 $$[0,T]$$ 上光滑；(ii) Ladyzhenskaya-Prodi-Serrin (LPS) 条件：若

\int_0^T \|\mathbf{u}(t)\|_{L^q}^p \, dt < \infty, \quad \text{其中 } \frac{2}{p} + \frac{3}{q} = 1, \, q > 3,

或等价地 $\sup_{t \in [0,T]} \|\mathbf{u}(t)\|_{L^3} < \infty$ ，则解光滑。若在有限时间 $$T^*$$ 形成奇点，则必有

\lim_{t \to T^{*-}} \int_0^t \|\mathbf{u}(\tau)\|_{L^q}^p \, d\tau = \infty.

已有理论提供了关于这些量增长速率的先验估计。例如，对 $$q > 3$$ ，有微分不等式

\frac{d}{dt} \|\mathbf{u}(t)\|_{L^q} \leq C(q) \|\mathbf{u}(t)\|_{L^q}^{p+1} = C(q) \|\mathbf{u}(t)\|_{L^q}^{\frac{3(q-1)}{q-3}},

其积分形式给出局部存在时间 $T^* \sim \|\mathbf{u}_0\|_{L^q}^{-p}$ 。另一方面，由能量耗散可得较弱的增长控制：

\frac{d}{dt} \|\mathbf{u}(t)\|_{L^q} \leq \begin{cases} C \|\mathbf{u}(t)\|_{L^q}^{\frac{7q - 6}{3(q - 2)}}, & 2 \leq q \leq 6, \\ C \|\mathbf{u}(t)\|_{L^q}^{\frac{2q - 3}{q - 3}}, & q > 6, \end{cases}

该增长率不足以导致奇点形成。因此，真正可能导致奇点的情形必须介于这两个指数之间：增长率足够快以使 LPS 积分发散，但又不能太快以至于违反先验估计。

以往数值研究多依赖物理直觉选取特殊初值（如轴对称涡环），缺乏系统性。作者团队此前提出一种基于变分优化的新范式：将寻找潜在奇异解的问题转化为最大化正则性指标的优化问题。例如，在 [32,33] 中，他们通过最大化终时涡量 $\mathcal{E}(T)$ 或 LPS 积分 $\int_0^T \|\mathbf{u}\|_{L^4}^8 dt$ 来构造“最坏情形”流动。然而，[33] 仅考虑单一参数 $$(q,p)=(4,8)$$ ，且受限于 Hilbert 空间框架，无法直接在 Lebesgue 空间 $$L^q$$ 中优化。

本文旨在填补以下空白：(1) 系统考察 LPS 条件中一整族参数 $$(q,p)$$ ，覆盖 $q \in (3,\infty)$ 的广泛范围；(2) 同时在 Sobolev 空间 $$H^s$$ （满足 $H^s \hookrightarrow L^q$ ）和原始 Lebesgue 空间 $$L^q$$ 中进行优化，后者因缺乏内积结构需发展新算法；(3) 利用已知的增长率界限，定量评估所构造的极端流动距离奇点形成的“接近程度”。

2. 主要定理或主要结果

作者通过数值求解一系列 PDE 约束优化问题，得到以下主要结果：

优化问题设定：对给定 $$q > 3$$ 和 $$T > 0$$ ，定义目标泛函
$\Phi_T^q(\mathbf{u}_0) := \frac{1}{T} \int_0^T \|\mathbf{u}(t)\|_{L^q}^p \, dt, \quad p = \frac{2q}{q - 3},$
以及
$\Psi_T(\mathbf{u}_0) := \|\mathbf{u}(T)\|_{L^3}^3.$
在两类约束流形上最大化这些泛函：(a) Sobolev 空间 $H^s(\Omega)$ ，其中 $s = \frac{3}{2} - \frac{3}{q}$ 是满足嵌入 $H^s \hookrightarrow L^q$ 的最小指数；(b) Lebesgue 空间 $L^q(\Omega)$ 本身。
无奇点证据：在所有测试的参数组合（包括 $q = 4, 5, 6, 8, 10, \infty$ 及不同 $$T$$ 和初值大小 $\|\mathbf{u}_0\|_{L^q}$ ）下，均未观测到 $\Phi_T^q$ 或 $\Psi_T$ 的无界增长。这表明在所考察的范围内，Navier-Stokes 流动未表现出有限时间奇点形成的迹象。
极端流动的瞬态放大行为：尽管未达奇点，但所构造的极端流动展现出显著的瞬态非线性放大。具体而言，对于较大的 $$q$$ ， $\|\mathbf{u}(t)\|_{L^q}$ 和涡量 $\mathcal{E}(t)$ 的增长率在短时间内达到与奇点形成一致的水平。例如，当 $$q$$ 增大时， $\|\mathbf{u}(t)\|_{L^q}$ 的峰值增长速率更接近理论上限 $\|\mathbf{u}\|_{L^q}^{\frac{3(q-1)}{q-3}}$ 。
接近奇点的定量评估：通过比较极端流动的实际增长率与理论界限，作者得出结论：这些流动确实进入了“危险区域”，即其放大速率满足奇点形成的必要条件（指数位于 $\left[\frac{2q-3}{q-3}, \frac{3(q-1)}{q-3}\right]$ 区间内），但这种高速率未能持续足够长时间以使 LPS 积分发散。换言之，系统表现出“准奇点”行为，但最终因粘性耗散而恢复正则性。
Lebesgue 空间优化的可行性：针对 $$L^q$$ 空间缺乏 Hilbert 结构的问题，作者发展了一种基于 Riemannian 优化和度量梯度（metric gradient）的新计算方法，并成功应用于上述优化问题，验证了该框架的有效性。

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

本文的核心技术挑战在于如何高效求解 PDE 约束下的非光滑优化问题，尤其是在非 Hilbert 空间中。作者的主要创新点如下：

1. 变分优化框架与伴随方法：优化问题本质上是最大化泛函 $J(\mathbf{u}_0) = \Phi_T^q(\mathbf{u}_0)$ 或 $\Psi_T(\mathbf{u}_0)$ ，约束为 Navier-Stokes 方程。作者采用梯度上升法，其关键步骤是计算目标泛函关于初值 $\mathbf{u}_0$ 的 Fréchet 导数。这通过求解伴随方程（adjoint equation）实现。对于 $\Phi_T^q$ ，伴随方程为一个向后演化的线性 PDE，其源项包含 $\|\mathbf{u}(t)\|_{L^q}^{p-q} |\mathbf{u}(t)|^{q-2} \mathbf{u}(t)$ 。该导数提供了在函数空间中更新 $\mathbf{u}_0$ 的搜索方向。

2. Lebesgue 空间中的度量梯度：在 Sobolev 空间 $$H^s$$ 中，梯度可直接通过 Riesz 表示定理由内积定义。但在 $$L^q$$ 空间（ $q \neq 2$ ）中，由于缺乏内积，标准梯度概念失效。作者引入了度量梯度（metric gradient）的概念：给定一个对偶配对 $\langle \cdot, \cdot \rangle$ ，度量梯度 $\nabla^g J$ 是满足 $dJ(\delta \mathbf{u}_0) = \langle \nabla^g J, \delta \mathbf{u}_0 \rangle$ 的向量场。具体地，他们利用 $$L^q$$ 与 $L^{q'}$ （ $$1/q + 1/q' = 1$$ ）的对偶性，将 Fréchet 导数（属于 $L^{q'}$ ）通过一个精心设计的 Riemann 度量映射回 $$L^q$$ 空间，从而得到可用于迭代更新的搜索方向。这是一种处理 Banach 空间优化问题的先进工具。

3. 数值实现与谱方法：所有计算均在三维环面上使用 Fourier 谱方法进行，确保了空间离散的高精度。Navier-Stokes 方程和伴随方程均采用三阶 Adams-Bashforth/ Crank-Nicolson 时间步进格式。优化循环使用共轭梯度法或 L-BFGS 方法加速收敛。为处理大尺度问题，作者实现了高效的并行计算策略。

4. 增长率分析框架：为了评估极端流动的“危险程度”，作者建立了一个基于微分不等式的诊断框架。他们将观测到的 $\|\mathbf{u}(t)\|_{L^q}$ 时间序列拟合为幂律形式 $C/(T^* - t)^\alpha$ ，并计算其有效增长率指数 $\beta = (1+\alpha)/\alpha$ 。通过将 $\beta$ 与理论上下界（来自 (19) 和 (22)）进行比较，可以定量判断该流动是否处于可能导致奇点的参数窗口内。这一分析是连接数值实验与理论预测的关键桥梁。

4. 与之前工作的比较

1. 与早期优化研究的比较：本文是作者团队前期工作 [32,33] 的系统性扩展。[32] 专注于 enstrophy 条件，发现最大瞬态涡量增长率为 $\mathcal{E}_{\max} \sim \mathcal{E}_0^{3/2}$ 。[33] 首次尝试 LPS 框架，但仅限于单一参数 $$(q,p)=(4,8)$$ ，且仅在 Sobolev 空间 $H^{3/4}$ 中优化。本文不仅将 $$q$$ 的范围大幅拓宽至 $q \in \{4,5,6,8,10,\infty\}$ ，还首次在原始的 Lebesgue 空间 $$L^q$$ 中进行优化，从而能更直接地逼近 LPS 条件的本质。此外，[33] 中使用的 Sobolev 空间并非最优嵌入空间，而本文严格采用临界指数 $$s = 3/2 - 3/q$$ ，使得结果更具可比性。

2. 与传统数值模拟的比较：传统方法（如 [27–30]）依赖于物理启发的初值（如反平行涡管、涡环碰撞），虽然在某些 Euler 流动中观察到疑似奇点，但其普适性和系统性存疑。本文的优化方法是无偏的（unbiased）：它不预设任何流动结构，而是让 PDE 动力学自身决定何种初值能最大程度地挑战正则性。这使得本文结果更具一般性，能揭示 Navier-Stokes 方程内在的最坏情形动力学。

3. 关于假设与适用范围：本文工作完全在周期域 $\mathbb{T}^3$ 上进行，这与千禧年问题的设定一致。相比许多在有界域或全空间 $\mathbb{R}^3$ 上的研究，周期边界条件避免了边界效应的干扰，更能反映方程的内在非线性特性。然而，这也意味着结果不能直接外推到有壁面流动的情形。

4. 关于时间尺度与代价：本文的优化方法计算成本极高，因为每次目标泛函评估都需要前向求解 Navier-Stokes 方程，而每次梯度计算又需要额外求解一个伴随方程。这限制了所能模拟的最大雷诺数和最长物理时间。相比之下，传统直接数值模拟（DNS）虽然也能达到高分辨率，但无法系统性地搜寻最坏初值。本文的“代价”是计算资源，但换来的是对解空间极端行为的深刻洞察。

5. 与理论界限的互动：本文结果为理论估计的“锐度”（sharpness）提供了重要反馈。例如，观测到的 $\|\mathbf{u}(t)\|_{L^q}$ 增长率非常接近上界 (19)，支持了 [47] 中关于该估计是锐度的猜想。同时，结果也证实了理论预测：即使增长率很高，只要不满足持续性条件，奇点仍不会形成。这为未来理论工作（如改进先验估计或构造反例）提供了明确的数值基准。

总之，本文通过先进的计算变分方法，对 Navier-Stokes 方程的潜在奇点问题进行了迄今为止最系统、最深入的数值探索，虽未发现奇点，但极大地增进了我们对极端流动动力学的理解。

6. 粘弹性与可压缩Navier-Stokes系统中振荡现象的有效动力学方程推导

Derivation of effective kinetic equations describing oscillations in viscoelasticity and in compressible Navier-Stokes

作者: Athanasios E. Tzavaras

类别: math.AP

发布日期: 2026-04-14

arXiv ID: 2604.13330v1

摘要: These lecture notes are devoted to solutions of hyperbolic-parabolic systems with persistent oscillations. We consider two examples both from mechanics: (i) The system of viscoelasticity of Kelvin-Voigt type with strain energies involving double well potentials, as employed in phase transitions. (ii) The compressible Navier-Stokes equations for a barotropic gas. For each system we construct solutions with persistent oscillations. In a later part we consider the nonlinear homogenization problem. For the systems of viscoelasticity in one-space dimension in Lagrangian coordinates, and for the compressible Navier-Stokes system for barotropic fluids we show how ideas from the kinetic formulation of conservation laws can be used to derive effective equations. The effective equation consists by a kinetic equation coupled with the macroscopic flow.

Comment: arXiv admin note: text overlap with arXiv:2404.18457

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

1. 研究对象和背景

本文研究两类典型的双曲-抛物耦合系统中的持续振荡现象及其非线性同质化问题：其一是具有Kelvin-Voigt型粘弹性的非线性系统，其应变能函数包含双阱势（double well potential），用于描述固相转变；其二是具非单调压强律的等熵可压缩Navier-Stokes方程。这两类系统在数学上均表现为部分耗散结构——某些变量受抛物正则化作用而光滑，另一些变量则可能因非凸性而产生并维持振荡。

具体而言，对于一维Lagrange坐标下的粘弹性系统，其控制方程为

\begin{cases} u_t = v_x, \\ v_t = \sigma(u)_x + v_{xx}, \end{cases} \quad (t,x) \in (0,T) \times \mathbb{T},

其中 $$u$$ 表示应变（或比容）， $$v$$ 为速度，应力函数 $\sigma(u)$ 非单调（如双阱势导出的非凸应力），导致系统在无粘极限下可能出现激波或振荡。类似地，可压缩Navier-Stokes系统在Euler坐标下写作

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

当压强函数 $p(\rho)$ 非单调（如Van der Waals状态方程在亚临界区域的情形），密度 $\rho$ 可能出现跨特征线的跳跃式振荡，而速度场 $$u$$ 因粘性项保持光滑。

此类振荡解的存在性已有构造性结果（如第4、5节所述），但关键问题在于：当初始数据含高频振荡时，如何刻画宏观尺度下振荡的传播规律？这本质上是非线性同质化问题。传统工具如Young测度虽能描述弱极限的统计结构，但难以处理动力学演化，因其缺乏对时间导数的有效控制。作者指出，P.-L. Lions曾猜想Navier-Stokes系统中可能存在持续振荡，并建议通过同质化理论理解其有效行为；Serre与Hillairet等人已尝试用Young测度处理Navier-Stokes的同质化，但未能建立封闭的动力学方程。

本文试图填补的空白是：将标量守恒律中的动力学公式（kinetic formulation） 推广至上述双曲-抛物系统，以构建一个既能编码振荡微观结构、又能与宏观流场耦合的有效动力学方程。该方程应能描述振荡的传播、相互作用及与平均场的反馈机制，从而超越静态的弱收敛描述。

2. 主要定理或主要结果

作者在两类系统中分别建立了有效动力学方程，核心结果如下：

1. 一维粘弹性系统（第7节）：考虑近似解序列 $(u_\varepsilon, v_\varepsilon)$ 满足

u_{\varepsilon,t} = v_{\varepsilon,x}, \quad v_{\varepsilon,t} = \sigma(u_\varepsilon)_x + v_{\varepsilon,xx},

其中 $\sigma \in C^1(\mathbb{R})$ 非单调，且 $\{u_\varepsilon\}$ 在 $L^\infty_{t,x}$ 中一致有界。定义动力学函数（kinetic function）

\chi_\varepsilon(t,x,\xi) = \mathbf{1}_{\{u_\varepsilon(t,x) < \xi\}},

则存在子列使得 $\chi_\varepsilon \rightharpoonup^* F$ in $L^\infty((0,T)\times\mathbb{T}\times\mathbb{R})$ 。记 $u = \int \xi \, dF_{t,x}(\xi)$ ， $S = \sigma(u) + v_x$ 。定理7.3证明：极限对象 $$(F, v)$$ 满足耦合系统

\begin{cases} \partial_t F + \partial_\xi \big( (v_x + \sigma(u) - \sigma(\xi)) F \big) + \sigma'(\xi) F = 0, \\ \partial_t v = \partial_{xx} v + \partial_x \big( \int \sigma(\xi) \, dF_{t,x}(\xi) \big), \end{cases}

其中第一式为关于 $$F$$ 的输运型动力学方程，其系数依赖于宏观量 $$v_x$$ 和 $$u$$ （即 $$F$$ 的零阶矩）。该方程在形式上类似于多相流中的Boltzmann-type模型，且当初始数据跨越 $\sigma$ 的不稳定区间时，能自然分离出不同相态。

2. 可压缩Navier-Stokes系统（第8节）：针对密度振荡情形，设 $(\rho_\varepsilon, u_\varepsilon)$ 为近似解，定义密度对应的动力学函数 $\chi_\varepsilon(t,y,\xi) = \mathbf{1}_{\{\rho_\varepsilon(t,y) < \xi\}}$ 。在合理假设下（如 $\rho_\varepsilon \in L^\infty \cap H^1$ ， $u_\varepsilon$ 光滑），作者提出两种推导路径：

方法一（8.2节）：通过对Navier-Stokes方程乘以测试函数并引入辅助变量，形式推导出近似动力学方程（公式8.12）：
$\partial_t \chi_\varepsilon + u_\varepsilon \cdot \nabla_y \chi_\varepsilon + \frac{1}{\varepsilon} \partial_\xi \big( G_\varepsilon \chi_\varepsilon \big) = \text{耗散项} + \text{高阶误差},$
其中 $G_\varepsilon$ 涉及压强梯度与粘性力。
方法二（8.3节）：基于Hillairet的工作，利用密度振荡的Young测度 $\nu_{t,y}$ 及其分布函数 $F_{t,y}(\xi) = \nu_{t,y}((0,\xi))$ ，结合动量方程的弱形式，得到同质化系统（公式8.19）：
$\begin{cases} \partial_t F + \mathrm{div}_y (u F) + \partial_\xi \big( Q(F, u) F \big) = \mathcal{D}[F,u], \\ \partial_t (\bar{\rho} u) + \mathrm{div}_y (\overline{\rho u \otimes u}) + \nabla \overline{p(\rho)} = \mu \Delta u + (\lambda + \mu) \nabla \mathrm{div} u, \end{cases}$
其中 $\bar{\rho} = \int \xi \, dF(\xi)$ ， $\overline{p(\rho)} = \int p(\xi) \, dF(\xi)$ ， $$Q$$ 为由压强非单调性诱导的源项， $\mathcal{D}$ 代表粘性耗散对振荡结构的影响。

两项结果均表明：有效方程由一个关于分布函数 $$F$$ 的动力学方程与一个修正后的宏观流体力学方程耦合而成，且 $$F$$ 的演化依赖于宏观场的梯度信息。

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

本文的核心创新在于将标量守恒律中的动力学公式系统性地拓展至含耗散的双曲-抛物系统，并克服了以下技术障碍：

1. 动力学函数与Young测度的等价性重构：对于有界振荡序列 $\{u_\varepsilon\} \subset L^\infty$ ，其Young测度 $\nu_{t,x}$ 与动力学函数弱极限 $F_{t,x}(\xi) = \int_{-\infty}^\xi d\nu_{t,x}(s)$ 一一对应。作者强调， $$F$$ 不仅是统计描述工具，更是满足偏微分方程的未知量。关键在于证明 $$F$$ 满足一个闭合的输运方程，而非仅作为弱极限存在。这要求精确处理非线性项 $\sigma(u_\varepsilon)$ 的弱极限，通过引入辅助测试函数 $\phi(\xi) \in C_c^1(\mathbb{R})$ 并计算

\partial_t \int \phi(\xi) F \, d\xi + \partial_x \int \phi(\xi) (v_x + \sigma(u) - \sigma(\xi)) F \, d\xi = \int \phi'(\xi) \sigma'(\xi) F \, d\xi,

再利用 $\phi$ 的任意性导出动力学方程（1.8）₁。

2. 耗散项的兼容性处理：在纯双曲系统中，动力学方程通常为无源输运方程；但此处粘性项 $v_{xx}$ 或 $\Delta u$ 引入抛物正则化。作者通过以下方式整合耗散：

在粘弹性情形，速度 $$v$$ 满足抛物方程，其解 $v \in L^2(H^1)$ 提供足够正则性，使得 $$v_x$$ 可作为动力学方程的系数；
在Navier-Stokes情形，密度振荡不受直接耗散（因质量方程无扩散），但动量方程的粘性项通过耦合影响 $$u$$ ，进而间接调控 $$F$$ 的演化。作者在8.2节通过引入人工小参数 $\varepsilon$ 分离快慢尺度，将耗散效应显式写入动力学方程右侧。

3. 非凸非线性项的弱连续性突破：传统Young测度理论难以处理 $\sigma(u_\varepsilon) \rightharpoonup \overline{\sigma(u)}$ 的表示，尤其当 $\sigma$ 非单调时。作者借鉴Tartar的补偿紧性思想，但改用动力学函数框架：注意到

\sigma(u_\varepsilon) = \int \sigma(\xi) \delta_{u_\varepsilon}(d\xi) \quad \Rightarrow \quad \overline{\sigma(u)} = \int \sigma(\xi) \, dF_{t,x}(\xi),

从而将非线性弱极限转化为 $$F$$ 的矩，实现闭合。这一转化依赖于动力学函数对分布函数的完整编码能力，是区别于传统方法的关键。

4. 同质化极限的严格推导框架：作者未直接取 $\varepsilon \to 0$ 极限，而是先建立近似解序列的紧性（利用能量估计与Aubin-Lions引理），再通过动力学函数的弱收敛提取极限对象，最后验证其满足有效方程。此路径避免了对振荡结构做先验假设（如周期性或特定形式），更具普适性。

4. 与之前工作的比较

本文在多个维度上推进了既有工作：

1. 与标量守恒律动力学公式的比较：Perthame、Tadmor等人发展的动力学公式主要用于无粘守恒律 $$u_t + f(u)_x = 0$$ 或其粘性逼近 $u_t + f(u)_x = \varepsilon u_{xx}$ 。其有效方程为

\partial_t \chi + f'(\xi) \partial_x \chi = \partial_{\xi\xi} m,

其中 $$m$$ 为耗散测度。本文将此框架推广至耦合系统，其中振荡变量（ $$u$$ 或 $\rho$ ）与光滑变量（ $$v$$ 或 $$u$$ ）相互作用。关键差异在于：动力学方程的输运速度不再仅依赖 $\xi$ ，而是耦合了宏观场的梯度（如 $v_x + \sigma(u) - \sigma(\xi)$ ），这反映了双曲-抛物耦合的本质。此外，本文无需引入额外的耗散测度 $$m$$ ，因粘性已通过宏观方程显式体现。

2. 与Hillairet及Serre的Navier-Stokes同质化工作比较：Hillairet [19] 使用Young测度描述密度振荡，并假设振荡具有特定多相结构（如两相混合），从而导出有效压强关系。Serre [37] 则关注激波相互作用下的平均行为。本文的推进在于：

不预设振荡结构：动力学函数 $$F$$ 可描述任意振荡模式（多相、连续谱等），无需先验假设；
提供动力学演化方程：Hillairet的方法给出静态关系 $\overline{p(\rho)} = \mathcal{P}(\bar{\rho})$ ，而本文导出 $$F$$ 的PDE，能追踪振荡随时间的演化；
适用于更广的初始数据：既有工作多限于周期振荡或特定初值，本文框架适用于一般弱收敛序列。

3. 与Friesecke-Dolzmann及Engelstein等人的粘弹性存在性理论比较：[18,24] 建立了Kelvin-Voigt系统的全局弱解/强解存在性，但仅处理强收敛初值。本文明确考察弱收敛初值情形（即 $F_0^n \rightharpoonup F_0$ ），并揭示此时解序列的振荡行为需用Young测度或动力学函数描述。特别地，作者通过Lemma 2.2展示：即使能量泛函半凸，弱极限仍可能伴随集中测度 $\mu$ ，这解释了振荡产生的机制。

4. 与Tartar补偿紧性理论的关联与超越：Tartar定理指出，对单个守恒律，若两个非线性量 $\overline{f(u)g(u)} = \bar{f} \bar{g}$ ，则振荡被抵消。本文第6.4节用动力学函数给出新证明，凸显 $$F$$ 对振荡支撑集的刻画能力。更重要的是，在耦合系统中，Tartar条件不再适用（因存在多个守恒律与耗散项），而动力学公式提供了替代分析工具。

中文标题: Carnot 群上的临界 Ambrosetti-Prodi 型问题

摘要翻译: 本文研究一类涉及 Carnot 群上次 Laplace 算子的临界 Ambrosetti-Prodi 型问题。具体而言，我们考虑如下方程：

中文标题: 平面 Keller-Segel 系统爆破点附近的精细时间渐近性

摘要翻译: 对于在平面区域 $$Ω$$ 上带有 Neumann 边界条件的 Keller-Segel 系统

\left\{ \begin{aligned} u_t &= \Delta u - \nabla \cdot ( u \nabla v ), \\ v_t &= \Delta v - v + u \end{aligned} \right. \tag{$\star$}

其经典解在有限时刻 $$T$$ 发生爆破的存在性早已被确立。事实上，已知对任意爆破点 $$x$$ ，尽管 $$u$$ 的全局质量始终守恒，但对所有 $$R > 0$$ ，量 $\int_{B_R(x)\capΩ} u(\cdot,t )\ln(u(\cdot, t))$ 在 $t\nearrow T$ 时无界。本文通过断言存在常数 $$δ_0=δ_0(Ω)>0$$ ，使得任何在时刻 $T\in (0,\infty)$ 发生爆破的 ( $\star$ ) 的 Neumann 问题解均满足

\limsup_{t\nearrow T} \frac{1}{\ln\frac{T}{T-t}}\int_{B_R(x)\capΩ} u(\cdot, t)\ln(u(\cdot, t)) \ge δ_0 \tag{$\star\star$}

对每个爆破点 $$x$$ 及所有 $$R > 0$$ 成立，从而为此类局部化的 $L\log L$ 表达式的行为提供了若干定量信息。这验证了在开创性工作 [16] 中构造的径向坍缩解所展现的爆破机制具有某种普适性，且该结论不仅限于对称情形；此外，结合 ( $\star\star$ ) 对应的关于 $$u$$ 的类似局部化 $$L^p$$ 范数（ $p\in (1,\infty]$ ）的渐近行为的推论，本文还推广了一个已知的关于爆破点非退化性的结果，后者此前仅针对 $p=\infty$ 的情形进行了研究。

不相关论文（基本信息）

1. 具有给定奇异集的平均曲率流

Mean curvature flows with prescribed singular sets

作者: Raphael Tsiamis

类别: math.DG, math.AP

发布日期: 2026-04-15

arXiv ID: 2604.14139v1

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

摘要: For every closed set $K \subset \mathbb{R}^n$ and every $m \geq 2$ , we construct a mean-convex ancient solution to mean curvature flow of hypersurfaces in $\mathbb{R}^{m+n}$ , with respect to a smooth Riemannian metric arbitrarily $C^\infty$ -close to the Euclidean metric, whose first-time singular set is exactly $K \times \{0\}$ .

2. 三维情形下 $$C^0$$ 收敛性的量化

Quantification of $$C^0$$ Convergence in Dimension Three

作者: Liam Mazurowski, Xuan Yao

类别: math.DG, math.AP

发布日期: 2026-04-15

arXiv ID: 2604.14087v1

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

摘要: We address Gromov’s Quantification of $$C^0$$ Convergence Conjecture in dimension three. Let $$B$$ be the unit ball in $\mathbb R^3$ . Let $$g$$ and $$g_0$$ be smooth metrics on $$B$$ . We prove there are constants $$C$$ and $$ε_0$$ depending only on $$g_0$$ so that

\inf_{x\in B} R_g(x) \leq R_{g_0}(0) + C \|g-g_0\|_{C^0}^{1/2}

provided $\|g-g_0\|_{C^0}\leq ε_0$ . We also construct examples to show that the exponent $$1/2$$ is sharp. This explicitly quantifies the fact that scalar curvature lower bounds are preserved under $$C^0$$ convergence of metrics. When $$g_0$$ is merely $$C^2$$ we prove a related estimate with a slightly weaker rate, and when $$g_0$$ has rotational symmetry we prove a related estimate with a stronger linear rate. To prove these results, we use harmonic functions to define a local quantity that detects the scalar curvature. Then we use classical elliptic PDE estimates to show that this quantity is stable under $$C^0$$ perturbations of the metric. As a further application of this method, we give a partial answer to a question of Gromov on the preservation of scalar curvature lower bounds for metrics that are converging in measure.

3. 双复形的逼近性质

Approximation properties of double complexes

作者: Daniel Førland Holmen, Jan Martin Nordbotten, Jon Eivind Vatne

类别: math.NA, math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13982v1

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

摘要: We consider the simplicial de Rham complex and the Čech-de Rham complex, two bigraded Hilbert complexes whose Hodge-Laplace problems govern spatially coupled problems in mixed dimension and homogeneous dimension, respectively. The former complex can be realized as a subcomplex of the latter. In this paper, we quantify how close these complexes are to each other by constructing bounded cochain complexes between them, and thus we quantify how close a mixed-dimensional formulation of a problem is to an equidimensionally coupled formulation of the same problem. From this construction, we derive a priori- and a posteriori error estimates between the associated Hodge-Laplace problems on the two complexes. These estimates represent the error which is introduced by treating a spatially coupled problem as mixed-dimensional, rather than an equidimensional problem with thin overlaps.

4. 各向异性 Ohta-Kawasaki 能量下层状结构的局部与全局极小性

Local and global minimality of the lamella for the anisotropic Ohta-Kawasaki energy

作者: Alberto Fiorini

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13736v1

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

摘要: In this paper we consider the volume-constrained minimization of a variant of the Ohta-Kawasaki functional with an anisotropic surface energy replacing the standard perimeter. Following and suitably adapting the second variation approach devised in arXiv:1211.0164, we prove local minimality results for the horizontal lamellar configuration, in analogy with the isotropic case, under the assumption that the anisotropy is uniformly elliptic. If instead the Wulff shape of the anisotropy has upper and lower horizontal facets, we prove that the lamella exhibits a rigid behavior and is an isolated local minimizer for all parameter values. We conclude by showing some global minimality results, mostly focusing on the planar case.

5. 一类Hessian商型曲率方程的 $(\mathbf{p}, k)$ -凸超曲面的存在性

The existence of $(\mathbf{p}, k)$ -convex hypersurfaces for a class of Hessian quotient type curvature equations

作者: Jiabao Gong, Qiang Tu

类别: math.AP

发布日期: 2026-04-15

arXiv ID: 2604.13578v1

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

摘要: This article investigates the existence of closed, star-shaped hypersurfaces for a class of Hessian quotient type curvature equations, in which the operator $\frac{σ_k}{σ_l}(Λ)$ arising in these equations can be viewed as a generalization of the classical Hessian quotient operator. By combining a priori estimates with the continuity method, we establish the existence and uniqueness of $(\mathbf{p}, k)$ -convex hypersurfaces for both nonhomogeneous and homogeneous equations of this type. Furthermore, by exploiting the recently discovered ``inverse convexity’’ property of the operator $\frac{σ_k}{σ_l}(Λ)$ , we prove a constant rank theorem and thereby obtain the existence and uniqueness of strictly convex solutions to these curvature equations.

6. 关于复Monge–Ampère算子的一些变分问题

Some variational problems for the complex Monge–Amp{è}re operator

作者: Jianchun Chu, Yaxiong Liu, Nicholas McCleerey, Weijun Zhang

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

发布日期: 2026-04-15

arXiv ID: 2604.13421v1

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

摘要: We consider the Dirichlet problem for the complex Monge–Ampère equation on strongly pseudoconvex Kähler manifolds when the right-hand side is decreasing in the solution. Using flow-based arguments, we establish existence of smooth solutions in a number of natural circumstances, following work of Chou-Wang.

7. 凸区域 Neumann 特征值的定量 Kröger 不等式

Quantitative Kröger inequalities for Neumann eigenvalues of convex domains

作者: Dorin Bucur, Andrea Gentile, Antoine Henrot

类别: math.AP, math.SP

发布日期: 2026-04-14

arXiv ID: 2604.13246v1

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

摘要: Refining the sharp upper bounds $μ_{k,d}^*$ obtained by Kröger (1999) for the $$k$$ -th Neumann eigenvalue of a convex domain $Ω\subset \mathbb{R}^d$ , we prove the following inequalities: for any $k\in \mathbb{N}$ there exists a constant $$C(k,d) >0$$ such that

D_Ω^2 μ_k(Ω) \leq μ_{k,d}^* - C(k,d) a_2(Ω)^2/D_Ω^2

where $$D_Ω$$ is the diameter of $$Ω$$ and $$a_2(Ω)$$ is the second largest semiaxis of the John ellipsoid of $$Ω$$ . In the planar case, for $$k=1$$ we also give an explicit value of the constant $$C(1,2)$$ .

8. 具有最大体积增长的仿射卡拉比-丘3维流形的新例子

New examples of affine Calabi-Yau 3-folds with maximal volume growth

作者: Shih-Kai Chiu, Ronan J. Conlon, Frédéric Rochon

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

发布日期: 2026-04-14

arXiv ID: 2604.13198v1

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

摘要: We construct examples of complete Calabi-Yau metrics on smoothings of 3-dimensional Calabi-Yau cones that are not products of lower-dimensional Calabi-Yau cones and that have orbifold singularities away from the vertex.

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

1. 二维欧拉方程在 $L^2$ 中对 Baire 通初始数据适定#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

2. 通过迭代均匀化实现标量异常耗散与最优正则性#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

3. 双曲型Navier-Stokes方程解的梯度灾变#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

4. 修正Vlasov-Poisson-Boltzmann系统的扩散极限及其经典解的最优收敛率#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

5. Ladyzhenskaya-Prodi-Serrin 条件与三维 Navier-Stokes 流动中极端行为的搜寻#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

6. 粘弹性与可压缩Navier-Stokes系统中振荡现象的有效动力学方程推导#

1. 研究对象和背景#

2. 主要定理或主要结果#

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

4. 与之前工作的比较#

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

1. 带粒子发射的凝聚方程#

摘要翻译#

2. 关于不规则场与BV函数复合的散度#

摘要翻译#

3. 高维情形下的Makai不等式：定性与定量方面#

摘要翻译#

4. Hartree–Ohta-Kawasaki 形状优化问题在小质量情形下的存在性与正则性#

摘要翻译#

5. 具有极软位势的玻尔兹曼方程的混沌传播#

摘要翻译#

6. 含角点区域上 $BV$ 空间迹不等式的最优常数#

摘要翻译#

7. 关于各向异性临界 $p$-Laplace 方程：分类、分解与稳定性结果#

摘要翻译#

8. 紧致Hadamard曲面上的约束曲率流#

摘要翻译#

9. 关于下极限情形下的 Sobolev 不等式的一则注记#

摘要翻译#

10. 三维修正Vlasov-Poisson-Boltzmann系统的Green函数及其点态时空行为#

摘要翻译#

11. 双曲空间中热方程对称与非对称解的尖锐渐近行为#

摘要翻译#

12. Bochner空间中随机反应扩散方程的临界正则性与耗散性#

摘要翻译#

13. 能量临界薛定谔系统中三波相互作用的孤子#

摘要翻译#

14. Carnot 群上的临界 Ambrosetti-Prodi 型问题#

摘要翻译#

15. 具有非等温Maxwell边界条件的Boltzmann方程#

摘要翻译#

16. 带饱和项的阻尼非线性Ginzburg-Landau方程。第一部分：一般区域上解的存在性#

摘要翻译#

17. 流形值Orlicz-Sobolev空间中能量泛函的均匀化与积分表示#

摘要翻译#

18. Heisenberg群中混合局部与非局部退化椭圆方程解的更高阶弱可微性#

摘要翻译#

19. 具有双边 Ricci 曲率界空间中单相自由边界问题奇异集的维数界#

摘要翻译#

20. 非一致椭圆方程在非散度型下的Harnack不等式#

摘要翻译#

21. 平面 Keller-Segel 系统爆破点附近的精细时间渐近性#

摘要翻译#

不相关论文（基本信息）#

1. 具有给定奇异集的平均曲率流#

2. 三维情形下 $C^0$ 收敛性的量化#

3. 双复形的逼近性质#

4. 各向异性 Ohta-Kawasaki 能量下层状结构的局部与全局极小性#

5. 一类Hessian商型曲率方程的$(\mathbf{p}, k)$-凸超曲面的存在性#

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

1. 二维欧拉方程在 $$L^2$$ 中对 Baire 通初始数据适定

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 通过迭代均匀化实现标量异常耗散与最优正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 双曲型Navier-Stokes方程解的梯度灾变

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 修正Vlasov-Poisson-Boltzmann系统的扩散极限及其经典解的最优收敛率

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. Ladyzhenskaya-Prodi-Serrin 条件与三维 Navier-Stokes 流动中极端行为的搜寻

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 粘弹性与可压缩Navier-Stokes系统中振荡现象的有效动力学方程推导

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 带粒子发射的凝聚方程

摘要翻译

2. 关于不规则场与BV函数复合的散度

摘要翻译

3. 高维情形下的Makai不等式：定性与定量方面

摘要翻译

4. Hartree–Ohta-Kawasaki 形状优化问题在小质量情形下的存在性与正则性

摘要翻译

5. 具有极软位势的玻尔兹曼方程的混沌传播

摘要翻译

6. 含角点区域上 $$BV$$ 空间迹不等式的最优常数

摘要翻译

7. 关于各向异性临界 $$p$$ -Laplace 方程：分类、分解与稳定性结果

摘要翻译

8. 紧致Hadamard曲面上的约束曲率流

摘要翻译

9. 关于下极限情形下的 Sobolev 不等式的一则注记

摘要翻译

10. 三维修正Vlasov-Poisson-Boltzmann系统的Green函数及其点态时空行为

摘要翻译

11. 双曲空间中热方程对称与非对称解的尖锐渐近行为

摘要翻译

12. Bochner空间中随机反应扩散方程的临界正则性与耗散性

摘要翻译

13. 能量临界薛定谔系统中三波相互作用的孤子

摘要翻译

14. Carnot 群上的临界 Ambrosetti-Prodi 型问题

摘要翻译

15. 具有非等温Maxwell边界条件的Boltzmann方程

摘要翻译

16. 带饱和项的阻尼非线性Ginzburg-Landau方程。第一部分：一般区域上解的存在性

摘要翻译

17. 流形值Orlicz-Sobolev空间中能量泛函的均匀化与积分表示

摘要翻译

18. Heisenberg群中混合局部与非局部退化椭圆方程解的更高阶弱可微性

摘要翻译

19. 具有双边 Ricci 曲率界空间中单相自由边界问题奇异集的维数界

摘要翻译

20. 非一致椭圆方程在非散度型下的Harnack不等式

摘要翻译

21. 平面 Keller-Segel 系统爆破点附近的精细时间渐近性

摘要翻译

不相关论文（基本信息）

1. 具有给定奇异集的平均曲率流

2. 三维情形下 $$C^0$$ 收敛性的量化

3. 双复形的逼近性质

4. 各向异性 Ohta-Kawasaki 能量下层状结构的局部与全局极小性

5. 一类Hessian商型曲率方程的 $(\mathbf{p}, k)$ -凸超曲面的存在性