生成时间: 2026年06月12日 07:10:52

运行状态: 完成

计划处理论文数量: 29

已完成论文数量: 29

未完成论文数量: 0

重点关注论文数量: 11

了解领域论文数量: 11

不相关论文数量: 7

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

1. 关于三维欧拉方程局部化定常解的一个对称性定理

A symmetry theorem for localizable steady solutions of the 3D Euler equations

作者: Daniel Peralta-Salas, Radu Slobodeanu

类别: math.AP, math-ph, physics.plasm-ph

发布日期: 2026-06-11

arXiv ID: 2606.13462v1

摘要翻译: 若定常欧拉流的速度场的压强函数沿其流线为常数，则称该定常欧拉流是局部化的（localizable）。Gavrilov 利用这一性质构造了首个光滑紧支集的三维欧拉定常态。我们证明：任意定义在有界区域 $$Ω$$ 上的解析局部化三维欧拉流必为轴对称的，且 $$Ω$$ 是一个旋转对称区域，其横截面为边界曲线凸的圆盘或环形区域。据我们所知，这是首个关于三维定常欧拉流的对称性定理。在磁流体动力学（MHD）平衡的背景下，该结果表明：对于满足等动力学条件（isodynamic condition）的磁场，Grad 猜想成立；该条件由 Palumbo 于 1960 年代提出，旨在最小化粒子漂移对等离子体约束装置的影响。

Comment: 27 pages, no figures

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

1. 研究对象和背景

本文研究三维有界区域 $\Omega \subset \mathbb{R}^3$ 中稳态不可压缩欧拉方程的解析解的几何结构。该方程组为

(u \cdot \nabla) u + \nabla \Pi = 0, \quad \operatorname{div} u = 0 \quad \text{in } \Omega,

边界条件为 $u \cdot \nu = 0$ （ $\nu$ 为外单位法向量）。等价地，引入伯努利函数 $b := \Pi + \frac{1}{2}|u|^2$ ，方程可重写为

u \times \operatorname{curl} u = \nabla b, \quad \operatorname{div} u = 0.

此形式揭示了流场几何： $$u$$ 与 $\operatorname{curl} u$ 均为 $$b$$ 的切向场，即 $$u(b) = 0$$ 、 $(\operatorname{curl} u)(b) = 0$ ；若 $\nabla b \neq 0$ ，则 $\{u, \operatorname{curl} u, \nabla b\}$ 构成正交标架。本文聚焦于“局部可定位”（localizable）解，即满足

u \cdot \nabla \Pi = 0 \quad \text{in } \Omega,

等价于 $$u(|u|^2) = 0$$ （因 $$b$$ 是 $$u$$ 的首次积分，故 $u(|u|^2) = -2u(\Pi)$ ）。这一条件本质上要求压力 $\Pi$ 沿流线恒定，亦即 $$|u|^2$$ 是 $$u$$ 的首次积分。Gavrilov 利用此性质构造了首个光滑紧支集三维稳态欧拉解，其本质是轴对称的。然而，是否存在非轴对称的局部可定位解？这构成一个根本性空白：在三维情形下，此前没有任何关于稳态欧拉流的对称性定理——二维情形已有大量成果（如 [13,5,11]），但三维缺乏任何全局结构刻画。问题的重要性在于其跨学科关联：在磁流体动力学（MHD）中，局部可定位性对应 Palumbo 在 1960 年代提出的“等动力学条件”（isodynamic condition） $B \cdot \nabla |B|^2 = 0$ ，该条件旨在最小化粒子漂移以提升聚变装置中的等离子体约束性能；Grad 曾据此提出著名猜想：若 $\Omega$ 被 $$b$$ 的正则水平集叶状化（除一核心闭曲线外），则平衡态必为轴对称或孤立。但该猜想长期未获严格证明。因此，本文旨在填补这一关键空白：在解析正则性假设下，证明局部可定位性强制产生旋转对称性，并精确刻画区域 $\Omega$ 的几何形态。

2. 主要定理或主要结果

定理 1.1：设 $u \in C^1(\Omega) \cap C^\omega(\Omega)$ 是有界光滑区域 $\Omega \subset \mathbb{R}^3$ 中的稳态欧拉流，满足 $u \cdot \nu = 0$ 于 $\partial \Omega$ ，且满足局部可定位条件 $$u(|u|^2) = 0$$ ；进一步假设伯努利函数 $$b$$ 在 $\partial \Omega$ 的每一连通分支上为常数，且 $\nabla b(x) \neq 0$ 对所有 $x \in \partial \Omega$ 成立。则 $$u$$ 必为轴对称，且 $\Omega$ 是旋转对称区域，其子午截面（poloidal section）为凸盘或凸环形域（即边界由两条凸闭曲线构成）。具体而言：(i) 若 $\partial \Omega$ 连通，则 $\Omega$ 是旋转对称环形域，其子午截面为凸盘；(ii) 若 $\partial \Omega$ 不连通，则 $\Omega$ 是旋转对称凸环形域，其子午截面为凸环（annulus）。此外，推论 1.2（Grad 猜想）：当 $\Omega$ 被 $$b$$ 的正则水平集叶状化（除一核心闭曲线外，即 $\Omega$ 微分同胚于实心环面），则上述结论成立，从而证实 Grad 猜想在解析等动力学条件下成立。所有结论均依赖于 $$u$$ 的解析性；若仅假设 $C^\infty$ ，证明失效，因后续步骤需利用解析函数零点集的孤立性来全局化局部对称性。

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

证明的核心障碍在于：如何从纯微分条件 $$u(|u|^2)=0$$ 和欧拉方程中导出刚性对称性。作者的创新点在于构建一套精细的几何-分析框架，将局部可定位性转化为曲率约束并反演对称性。首先，利用 Arnold 结构定理，在 $\partial \Omega$ 附近取邻域 $$W$$ ，其中 $$b$$ 的水平集微分同胚于环面 $$T^2$$ ，故 $W \cong T^2 \times (0,1)$ 。关键第一步（Lemma 3.1）证明 $$|u|^2$$ 与 $$b$$ 函数相关：若二者独立，则存在周期轨道 $\phi_t(x)$ 满足 $dG/dt = 1/I(c_1,c_2) \neq 0$ （ $G = g(u,\operatorname{curl} u)$ ），导致 $G(\phi_T(x)) = G(x) + T/I \neq G(x)$ ，矛盾。故 $$|u|^2 = A_0(b)$$ ，进而 $\operatorname{curl} u(|u|^2) = 0$ 。第二步（Step 3.1）构造适配坐标系 $$(u,v,w)$$ ：令 $u = \partial_u$ ， $u \times \nabla b = \partial_v$ ， $$w$$ 参数化 $$b$$ 的水平集，满足 $$b'(w)A(w) = -1$$ （式 (3.4)）。在此坐标下，欧氏度规 $$g$$ 具有特定块结构（式 (3.5)），且引理 3.3 证明 $\det g = 1$ （体积保持）。第三步（Step 3.2）是技术核心：利用欧氏度规的平坦性（ $\operatorname{Ric} = 0$ ， $$K = 0$$ ）导出 4 个关键微分恒等式（Lemma 3.6），例如 $$(K3+)$$ ：

\bar{A}' \Omega - (A \partial_v \tilde{\beta} + z)^2 = \frac{p^2}{A X^2} - \frac{2r}{A X},

其中 $\bar{A}' = -2 g(\nabla_u u, n)$ ， $X = |\nabla w|^2 / |u|^2$ ， $z = X \partial_u V$ 等均为全局定义的解析函数（Lemma 3.5）。这些恒等式将曲率张量的零性转化为关于 $A, X, \tilde{\beta}, U, V$ 及其偏导的 PDE 系统。第四步（Steps 4–5）从中提取对称性：由 $$(R2+)$$ 与 $$(R3+)$$ 推出 $\partial_u \Omega = \partial_v z = 0$ ，结合其他恒等式可证 $\partial_u U = \alpha(w)$ 、 $\partial_u V = 0$ ，最终构造出 Killing 向量场 $\xi = -\partial_v$ （即绕 $$x_3$$ -轴的旋转生成元），满足 $[\xi, u] = 0$ 且 $\mathcal{L}_\xi g = 0$ 。最后（Step 6），利用 $u, \xi, b$ 的解析性，将局部 Killing 对称性延拓至全域 $\Omega$ ，从而证明 $\Omega$ 旋转对称且 $$u$$ 轴对称。子午截面凸性（Section 4）则通过分析 $$b$$ 的 Hessian 在边界上的符号获得。

4. 与之前工作的比较

本文与既有工作存在本质差异。首先，与二维对称性结果（如 [13,5,11]）不同，本文是首个三维稳态欧拉流的对称性定理，此前无任何类似结论。其次，与 Palumbo-Balzano 在 MHD 中的先驱工作 [18] 相比，本文有三重突破：(i) 假设更弱：[18] 要求磁场 $$B$$ 在 $$P$$ 的几乎每个水平集上遍历（ergodic），而本文仅需解析性与边界非退化条件 $\nabla b \neq 0$ ；(ii) 结论更强：[18] 未证明子午截面凸性，且其证明存在严重缺陷（附录 A 指出其逻辑跳跃与计算错误），而本文完整证明了凸盘/凸环结构；(iii) 方法革新：[18] 使用泛函分析框架，而本文首创将局部可定位性转化为曲率约束，并通过解析坐标系下的曲率恒等式系统导出对称性，技术路径截然不同。再者，与 Gavrilov 的构造性工作 [10] 对比：Gavrilov 给出了轴对称解的存在性，但未证明其唯一性或强制性；本文则证明轴对称性是局部可定位性的必然结果，从而为 Gavrilov 方法设定了根本界限——任何用其技巧构造的紧支集解必为轴对称。最后，与 Grad 猜想的关联：本文证实了该猜想在等动力学条件下的真实性，但代价是要求解析正则性；若仅 $C^\infty$ ，则无法排除非轴对称的病态解（因解析函数零点集的孤立性是全局化对称性的关键）。此外，本文结果不适用于无界域或非紧支集解，亦未处理时间依赖情形，这些是未来工作的自然延伸方向。

2. 线性化 Prandtl 方程在 Gevrey 空间中的 Hadamard 适定性缺失

Hadamard ill-Posedness of the linearised Prandtl Equations in Gevrey spaces

作者: Francesco De Anna, Joshua Kortum

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13542v1

摘要翻译: 我们证明了非自治线性化 Prandtl 方程在时变剪切流平衡态附近的函数空间中（直至 Gevrey 类 4）具有 Hadamard 适定性缺失。更精确地，我们构造出紧支集光滑初始数据，其在切向变量上属于 Gevrey 类 4，使得该系统对任意正寿命 $$t>0$$ 均不存在弱解。在此方面，我们改进了先前结果：表明经典半群型不稳定性本身，在初始时刻不作为系统变量的非自治情形下，并不足以推出 Hadamard 适定性缺失。

Comment: 无

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

1. 研究对象和背景

本文研究二维线性化Prandtl方程在时间依赖剪切流平衡态附近的适定性问题。该方程是Navier-Stokes方程零粘性极限下边界层动力学的主导模型，其数学结构为：

\begin{cases} \partial_t u + u_s \partial_x u + v \partial_y u_s - \partial_y^2 u = 0, & (t,x,y) \in (0,\delta) \times \mathbb{T} \times \mathbb{R}_+, \\ \partial_x u + \partial_y v = 0, & (t,x,y) \in (0,\delta) \times \mathbb{T} \times \mathbb{R}_+, \\ (u,v)|_{y=0} = (0,0), \quad \lim_{y\to+\infty} u = 0, & (t,x) \in (0,\delta) \times \mathbb{T}, \\ u|_{t=0} = u^{\text{in}}, & (x,y) \in \mathbb{T} \times \mathbb{R}_+, \end{cases}

其中剪切流 $$u_s = u_s(t,y)$$ 是热方程 $\partial_t u_s - \partial_y^2 u_s = 0$ 的光滑解，满足边界条件 $u_s|_{y=0} = \lim_{y\to+\infty} u_s = 0$ 及初始剖面 $u_s|_{t=0} = U_s(y)$ 。速度场 $$(u,v)$$ 满足不可压缩性约束，且 $v = -\int_0^y \partial_x u(\cdot,z)\,dz$ 。将方程投影至傅里叶模态 $u_k(t,y) = u(t,x,y)e^{-ikx}$ 后，得到单模态系统：

\begin{cases} \partial_t u_k + ik \left( u_s u_k - \partial_y u_s \int_0^y u_k(\cdot,z)\,dz \right) - \partial_y^2 u_k = 0, & (t,y) \in (0,\delta) \times \mathbb{R}_+, \\ u_k|_{y=0} = \lim_{y\to+\infty} u_k = 0, & t \in (0,\delta), \\ u_k|_{t=0} = u^{\text{in}}_k, & y \in \mathbb{R}_+. \end{cases}

该系统可视为半直线上的带Dirichlet边界的热方程之线性扰动。其不适定性根源在于非单调剖面 $$U_s$$ 在 $$y=a_0>0$$ 处存在非退化临界点： $$U_s'(a_0)=0$$ ， $$U_s''(a_0)<0$$ ，且关键地要求 $$U_s$$ 在邻域 $$[a_0-d,a_0+d]$$ 内严格二次： $U_s(y) = U_s(a_0) + \frac{1}{2}U_s''(a_0)(y-a_0)^2$ 。此二次结构保证了内层渐近展开中三阶导数 $U_s^{(3)}$ 在该区间恒为零，从而使得匹配误差呈指数小量而非多项式小量。

Prandtl方程的适定性理论具有深刻的物理意义，直接关联边界层分离现象。经典结果表明：若初始速度剖面单调，则方程在Sobolev空间中适定；若非单调，则需极高切向正则性——通常要求解析或Gevrey类。Gevrey-2被广泛认为是临界阈值（如[4,26]），而此前所有不适定性结果均局限于Sobolev框架（如[9,14]）或仅针对自治情形 $$u_s=U_s(y)$$ 。本文首次在非自治情形下建立Gevrey类不适定性，填补了该领域关键空白：此前尚无任何工作证明线性化Prandtl方程在Gevrey-4及以上空间中存在Hadamard不适定性。更根本地，本文澄清了一个核心概念混淆：Gérard-Varet与Dormy [5] 证明了非自治系统在Sobolev空间中不生成一致连续双参数半群，但该结论依赖于将初始时刻 $\tau$ 视为系统变量；而Hadamard不适定性要求固定初始时刻 $\tau=0$ 后仍不存在弱解。本文通过构造Gevrey-4初值证伪后者，从而确立真正的、与初始时刻无关的不适定性。

2. 主要定理或主要结果

定理1.3（不稳定准本征模存在性）：设 $$u_s$$ 满足热方程 (1) 且 $U_s = u_s|_{t=0}$ 满足假设1.1（即存在非退化二次临界点 $$a_0$$ 及邻域 $$[a_0-d,a_0+d]$$ ）。对任意 $k\in\mathbb{N}$ ，定义初值 $u^{\text{in}}_k = \partial_y \phi^{\text{unst}}_k$ ，其中 $\phi^{\text{unst}}_k$ 由定义1.2给出。则：(i) $u^{\text{in}}_k \in H^m_\lambda(\mathbb{R}_+,\mathbb{C})$ 且 $\|u^{\text{in}}_k\|_{H^m_\lambda} \leq D_m e^{2\lambda a_0} k^{\frac{2m-1}{4}}$ ，其中 $$D_m>0$$ 仅依赖于 $m,U_s,d,\chi$ ；(ii) 设 $$u_k$$ 为系统(5)在空间(6)中的唯一经典解，则存在仅依赖于 $U_s,d,\lambda$ 的 $K\in\mathbb{N}$ ，使得对所有 $k\geq K$ 及 $t\in\left[0, \frac{1}{4\sqrt{k}} \frac{d}{16(1+\|U_s''\|_{L^\infty})}\right]$ ，有下界估计

\|u_k(t,\cdot)\|_{L^2(\mathbb{R}_+)} \geq \frac{1}{4} \left( \int_{a_0+d/2}^{+\infty} |U_s'(y)|^2\,dy \right)^{1/2} \exp\left( \frac{t}{2} \sqrt{ k |U_s''(a_0)| / 2 } \right).

定理1.5（Hadamard不适定性）：设 $U_s \in C_c^\infty(\mathbb{R}_+)$ 满足假设1.1(H3)，并取 $0 < \sigma_0 < \frac{d |U_s''(a_0)|^{1/2}}{32(1+\|U_s''\|_{L^\infty})}$ 。定义初值

U^{\text{in}}(x,y) := \sum_{k=1}^{\infty} e^{-\sigma_0 \sqrt[4]{k}} \partial_y \phi^{\text{unst}}_k(y) e^{ikx}.

则 $U^{\text{in}} \in G^4_\sigma(\mathbb{T}, H^m_\lambda(\mathbb{R}_+,\mathbb{C}))$ 对所有 $\sigma\in(0,\sigma_0), m\in\mathbb{N}, \lambda>0$ 成立。进一步，至少对 $\{\Re(U^{\text{in}}), \Im(U^{\text{in}})\}$ 中的一个初值，系统(2)在定义1.4意义下对任意 $\delta>0$ 均不存在弱解。特别地，该初值属于 $C_c^\infty(\mathbb{T}\times\mathbb{R}_+) \cap \bigcap_{m\in\mathbb{N}} \bigcap_{\lambda>0} \bigcap_{0<\sigma<\sigma_0} G^4_\sigma(\mathbb{T}, H^m_\lambda(\mathbb{R}_+))$ 。

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

本文的核心技术障碍在于：非自治线性化Prandtl方程的不稳定模无法像自治情形那样通过谱分析直接构造，且经典匹配渐近法产生的余项仅为多项式小量，不足以支撑Gevrey类初值的构造。作者的真正创新点在于发展了一种新型内-外匹配方案，其关键在于充分利用 $$u_s$$ 满足热方程这一结构性条件，将余项精度从多项式 $O(t^N + k^{-N/2})$ 提升至指数小量 $O(e^{-c_2/t} + e^{-c_3 \sqrt{k}})$ 。

第一，内层构造基于特殊整函数 $\Upsilon$ （定义1.2）。引理3.1严格证明：对任意 $a>0, \alpha\in\mathbb{R}, \beta<0$ ，函数 $\phi_k(y) = \Upsilon\left((y-a)e^{-i\pi/8} \sqrt[4]{k|\beta|}\right) \sqrt{|\beta|/k} e^{i5\pi/4}$ 精确满足自治Prandtl谱ODE：

\left( \sigma_k + ik(\alpha + \beta(y-a)^2) \right) \phi_k' - 2ik\beta(y-a)\phi_k - \phi_k''' = 0,

其中 $\sigma_k = \sqrt{|\beta|k} e^{-i\pi/4} - ik\alpha$ 。该解的实部 $\Re(\sigma_k)>0$ 直接导致指数增长 $e^{\Re(\sigma_k)t}$ 。作者将此构造推广至非自治情形：通过求解非线性ODE $\partial_y^3 u_s(t,a(t)) + a'(t)\partial_y^2 u_s(t,a(t)) = 0$ 追踪临界点 $$a(t)$$ 的演化，并定义时变参数 $\alpha(t)=u_s(t,a(t)), \beta(t)=\frac{1}{2}\partial_y^2 u_s(t,a(t))$ ，从而构造时变内层 $\phi_{\text{inn},k}(t,y)$ 。

第二，外层构造的关键突破在于利用热方程的对称性。作者观察到：对任意 $\sigma_k(t)\in C([0,T_{\max}],\mathbb{C})$ ，函数

\phi_{\text{out},k}(t,y) = \left( u_s(t,y) + \frac{\sigma_k(t)}{ik} \right) \exp\left( \int_0^t \sigma_k(\tau)\,d\tau \right)

精确满足 $\left(\partial_t + ik u_s - \partial_y^2\right)\partial_y \phi_{\text{out},k} - ik \partial_y u_s \phi_{\text{out},k} = 0$ ，前提是 $\partial_t \partial_y u_s - \partial_y^3 u_s = 0$ ，而这正是 $\partial_y u_s$ 满足热方程的直接推论。此构造避免了[5]中所需的高阶修正，是实现指数小余项的基石。

第三，匹配误差的控制依赖于二次假设的深刻运用。内层余项主要源于 $$u_s(t,y)$$ 与其二阶Taylor展开的偏差：

u_s(t,y) - \alpha(t) - \beta(t)(y-a(t))^2 = \frac{(y-a(t))^3}{6} \frac{1}{\sqrt{4\pi t}} \int_0^\infty \left( e^{-|\xi-w|^2/(4t)} - e^{-|\xi+w|^2/(4t)} \right) U_s^{(3)}(w)\,dw,

其中 $\xi$ 介于 $$y$$ 与 $$a(t)$$ 之间。由于 $U_s^{(3)}\equiv 0$ 在 $$[a_0-d,a_0+d]$$ 上成立，该积分被估计为 $O(e^{-c_2/t})$ ；若 $U_s^{(3)}$ 不恒为零，则余项仅为 $$O(t)$$ 。同样， $\Upsilon$ 在扇形 $\arg(\zeta)\in (3\pi/4,5\pi/4)$ 内的指数衰减 $\Upsilon(\zeta)\sim e^{-\zeta^2/2}$ 保证了远离临界点区域的余项为 $O(e^{-c_3\sqrt{k}})$ 。最终，Duhamel公式中的修正项 $\delta u_k = u_k^{\text{fr}} - u_k$ 被控制为

\|\delta u_k(t,\cdot)\|_{L^2} \leq c_5 \left( e^{c_4 \sqrt{k} t - c_2/t} + e^{c_4 \sqrt{k} t - c_3 \sqrt{k}} \right) t,

与主项 $c_0 e^{c_1 \sqrt{k} t}$ 比较，选择 $t \sim k^{-1/4}$ 可使负项保持有界而主项主导，从而完成定理1.3的证明。

4. 与之前工作的比较

本文与既有工作的本质区别体现在三个维度：适定性范畴、时间尺度与技术代价。首先，在适定性范畴上，[5]证明的是双参数半群 $T(\tau,t)$ 在Sobolev空间中不一致连续，即 $\sup_{0\leq \tau \leq t \leq \delta} \|e^{-\sigma(t-\tau)\sqrt{|\partial_x|}} T(\tau,t)\|_{L(H^{m_1},H^{m_2})} = +\infty$ ，但这仅表明当初始时刻 $\tau$ 作为变量时系统不连续；而本文定理1.5证明的是固定 $\tau=0$ 后，系统在Gevrey-4空间中根本不存在弱解，这是更强的Hadamard不适定性。Remark 1.6明确指出：[9]对自治情形的证明依赖于假设解算子 $$T$$ 是一致有界的线性映射，该假设在非自治情形下失效，故其方法无法直接推广。

其次，在时间尺度上，本文的不稳定持续时间 $t \sim k^{-1/4}$ 显著短于[5]中多项式余项所能支撑的尺度。[5]的近似解余项为 $f_k = O(t^N + k^{-N/2})$ ，其Duhamel修正项估计导致 $$t$$ 必须满足 $t \ll k^{-1/2}$ 才能压制误差；而本文的指数余项 $f_k = O(e^{-c_2/t} + e^{-c_3 \sqrt{k}})$ 允许 $$t$$ 达到 $k^{-1/4}$ ，这正是Gevrey-4初值收敛所要求的临界尺度——因为Gevrey-4级数 $\sum_k e^{-\sigma \sqrt[4]{k}} a_k e^{ikx}$ 的收敛性由 $e^{-\sigma \sqrt[4]{k}}$ 控制，而 $\sqrt[4]{k}$ 与 $k^{-1/4}$ 构成共轭关系。若时间尺度更短（如 $k^{-1/2}$ ），则无法激发Gevrey-4初值的全部不适定性潜力。

最后，在技术代价方面，本文的二次假设 $$(H3)$$ 是必要且不可弱化的。定理1.3的证明明确显示： $K = K(U_s,d,\lambda)$ 随 $d\to 0^+$ 发散，且寿命上界 $t \leq \frac{d}{4\sqrt{k}(1+\|U_s''\|_{L^\infty})}$ 直接依赖于邻域宽度 $$d$$ 。这意味着结果无法通过逼近一般非单调剖面来推广，与[9]中适用于任意紧支集 $C^\infty$ 剖面的结论形成鲜明对比。此外，本文要求 $$u_s$$ 严格满足热方程，而[5]的框架允许更一般的 $$u_s$$ ；若 $$u_s$$ 不满足热方程，则外层构造失效，余项将退化为 $O(1)\cdot e^{c_1 \sqrt{k}t}$ ，无法被Duhamel积分压制。因此，本文的突破是以更强的结构性假设（热方程+二次临界点）换取更精细的Gevrey类不适定性结论，构成了对既有理论的重要补充而非简单改进。

3. 无时间连续性假设下的耗散型表面准地转方程解的唯一性

Uniqueness of the dissipative SQG without time-continuity assumption

作者: Taiki Okazaki

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13065v1

摘要翻译: 我们研究耗散型表面准地转方程（dissipative surface quasi-geostrophic equation）解的唯一性，不假设解的时间连续性及小性条件。我们证明唯一性在尺度临界 Lebesgue 空间 $$L^p$$ 与非齐次 Besov 空间 $B^s_{p,q}$ 中成立。证明基于能量方法，该方法受到 Lions 与 Masmoudi (2001) 在 Navier-Stokes 方程唯一性研究中所引入方法的启发。论证的关键在于借助分数阶热半群 $e^{-t(-\Delta)^{\alpha}}$ 的正则化效应，并结合积分方程结构所构造的迭代方案，来严格验证能量不等式。

Comment: 29 pages

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

1. 研究对象和背景

本文研究二维耗散型表面准地转方程（dissipative surface quasi-geostrophic equation, SQG）的解的唯一性问题，其控制方程为

\begin{cases} \partial_t \theta + \Lambda^\alpha \theta + (u \cdot \nabla) \theta = 0, & t > 0,\, x \in \mathbb{R}^2, \\ u = \nabla^\perp \Lambda^{-1} \theta, & t > 0,\, x \in \mathbb{R}^2, \\ \theta(0,x) = \theta_0(x), & x \in \mathbb{R}^2, \end{cases} \tag{1.1}

其中 $\Lambda^\alpha = (-\Delta)^{\alpha/2}$ ， $1 \le \alpha \le 2$ ， $\nabla^\perp = (-\partial_2, \partial_1)$ ，且分数阶拉普拉斯算子由傅里叶变换定义： $\Lambda^\alpha \theta(x) = \mathcal{F}^{-1}[|\xi|^\alpha \widehat{\theta}(\xi)](x)$ 。未知函数 $\theta(t,x) \in \mathbb{R}$ 表示边界势温， $$u(t,x)$$ 为相应速度场，满足不可压条件 $\nabla \cdot u = 0$ 。该模型源于三维Navier-Stokes方程的准地转近似，在地球物理流体动力学中刻画垂直方向边界温度演化，具有与三维Euler/Navier-Stokes方程相似的非线性结构和奇异性挑战。数学上，其尺度不变性由缩放族 $\theta_\lambda(t,x) := \lambda^{\alpha-1} \theta(\lambda^\alpha t, \lambda x)$ 给出；由此导出尺度临界空间：在Lebesgue框架下为 $L^{2/(\alpha-1)}(\mathbb{R}^2)$ ，在非齐次Besov框架下为 $B^{1-\alpha+2/p}_{p,q}(\mathbb{R}^2)$ 。当 $\alpha=1$ （临界耗散）时，临界空间为 $L^\infty$ ；当 $\alpha=2$ 时，其临界空间与二维不可压Navier-Stokes方程一致。已有理论表明：对 $\alpha > 1$ （亚临界），Constantin–Wu [15] 和 Carrillo–Ferreira [7] 建立了大初值整体正则性及 $L^{2/(\alpha-1)}$ 中的整体适定性；对 $\alpha = 1$ （临界），Kiselev–Nazarov–Volberg [24] 与 Caffarelli–Vasseur [6] 解决了大初值全局正则性；而 $\alpha < 1$ （超临界）情形仍为开放问题。关于唯一性，Ferreira [18]（ $1<\alpha<2$ ）与 Iwabuchi–Ueda [22]（ $\alpha=2$ ）在 $C([0,T]; L^{2/(\alpha-1)})$ 中证明唯一性；Iwabuchi–Okazaki [23] 将其推广至 $C([0,T]; B^{1-\alpha+2/p}_{p,q})$ ，但均要求解在时间变量上连续（即属于 $$C([0,T]; X)$$ ）。然而，弱解自然仅属于 $L^\infty(0,T;X)$ ，其时间轨道未必连续；经典能量法依赖于 $t \mapsto \|\theta(t)\|_X$ 的连续性以定义初始值并进行逐点能量估计。因此，一个根本性空白是：能否在不预设时间连续性（即仅假设 $\theta \in L^\infty(0,T; X)$ ）且不依赖小初值的前提下，证明尺度临界空间中的唯一性？该问题在Navier-Stokes方程中亦长期存在：Lions–Masmoudi [27] 首次在 $d \ge 4$ 维的 $L^\infty(0,T; L^d)$ 中绕过连续性假设，但其方法受限于Sobolev嵌入 $H^1(\mathbb{R}^d) \hookrightarrow W^{2-d/2,d}(\mathbb{R}^d)$ 要求 $2-d/2 \le 0$ ，故无法直接移植到二维SQG。本文旨在填补这一空白：针对 $1 < \alpha \le 5/3$ 的亚临界与临界情形，在 $L^\infty(0,T; L^{2/(\alpha-1)})$ 及 $L^\infty(0,T; B^{1-\alpha+2/p}_{p,q})$ 中建立唯一性，核心在于严格证明适用于非连续解的能量不等式（特别是 $\dot{H}^{-1/2}$ 级能量不等式），从而摆脱对时间连续性的依赖。

2. 主要定理或主要结果

本文在 $1 < \alpha \le 5/3$ 范围内建立了耗散SQG方程解的唯一性，无需时间连续性或小初值假设。主要结果如下：（1）Lebesgue空间唯一性（Theorem 1.2）：设 $1 < \alpha \le 5/3$ ， $$T > 0$$ ， $\theta^{(1)}, \theta^{(2)} \in L^\infty(0,T; L^{2/(\alpha-1)}(\mathbb{R}^2))$ 均为方程 (1.1) 在 Definition 1 意义下的解，且具有相同初值 $\theta_0 \in L^{2/(\alpha-1)}(\mathbb{R}^2)$ ，则 $\theta^{(1)}(t) = \theta^{(2)}(t)$ 在 $L^{2/(\alpha-1)}(\mathbb{R}^2)$ 中对几乎处处 $t \in (0,T)$ 成立。（2）非齐次Besov空间唯一性（Theorem 1.3 & 1.4）：设 $1 < \alpha \le 5/3$ ， $$T > 0$$ ， $\theta^{(1)}, \theta^{(2)} \in L^\infty(0,T; B^{1-\alpha+2/p}_{p,q}(\mathbb{R}^2))$ 为同初值 $\theta_0 \in B^{1-\alpha+2/p}_{p,q}(\mathbb{R}^2)$ 的解，其中参数满足 $2/(\alpha-1) \le p < 4/(\alpha-1)$ ， $1 \le q < \infty$ ，且 $1-\alpha+2/p > -1/2$ ，则 $\theta^{(1)}(t) = \theta^{(2)}(t)$ 在 $B^{1-\alpha+2/p}_{p,q}(\mathbb{R}^2)$ 中对几乎处处 $t \in (0,T)$ 成立；特别地，当 $p = 4/(\alpha-1)$ 时，结论退化为 $\theta^{(1)}(t) = \theta^{(2)}(t)$ 在 $B^{-\frac{1}{2}(\alpha-1)}_{4/(\alpha-1),2}(\mathbb{R}^2)$ 中成立。（3）临界耗散情形（Theorem 1.5）：当 $\alpha = 1$ 时，对任意 $2 \le p < \infty$ 、 $1 \le q < \infty$ ，若 $\theta^{(1)}, \theta^{(2)} \in L^\infty(0,T; B^{2/p}_{p,q}(\mathbb{R}^2))$ 为同初值 $\theta_0 \in B^{2/p}_{p,q}(\mathbb{R}^2)$ 的解，则 $\theta^{(1)}(t) = \theta^{(2)}(t)$ 在 $B^{2/p}_{p,q}(\mathbb{R}^2)$ 中对几乎处处 $t \in (0,T)$ 成立。所有结论的核心技术前提是：差解 $\theta = \theta^{(1)} - \theta^{(2)}$ 满足 $\theta \in L^\infty(0,T; \dot{H}^{-1/2}(\mathbb{R}^2)) \cap L^2(0,T; \dot{H}^{\alpha/2-1/2}(\mathbb{R}^2))$ ，该包含关系由 Proposition 2.17 严格证明，且其成立依赖于 $\alpha \le 5/3$ 的临界阈值——此阈值源自嵌入 $\dot{H}^{\alpha/2-1/2}(\mathbb{R}^2) \hookrightarrow W^{\frac{3}{2}\alpha - \frac{5}{2}, 2/(\alpha-1)}(\mathbb{R}^2)$ 要求 $\frac{3}{2}\alpha - \frac{5}{2} \le 0$ 。

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

本文的核心障碍在于：传统能量法要求解在时间上连续以保证能量恒等式 $\frac{1}{2} \frac{d}{dt} \|\theta(t)\|_{L^2}^2 + \|\Lambda^{\alpha/2} \theta(t)\|_{L^2}^2 = 0$ 或其变体可逐点成立，但 $L^\infty_t L^p_x$ 解仅能保证时间弱连续性，无法直接应用。作者的真正创新点在于系统性地构建了一个适用于非连续解的双重能量框架，并严格证明其有效性。第一层是 $\dot{H}^{-1/2}$ 级能量不等式：利用不可压性将非线性项重写为

(u \cdot \nabla) \theta = \nabla^\perp \cdot ((\Lambda^{-1} \theta) \nabla \theta),

进而导出

\frac{1}{2} \frac{d}{dt} \|\Lambda^{-1/2} \theta(t)\|_{L^2}^2 + \|\Lambda^{\alpha/2-1/2} \theta(t)\|_{L^2}^2 \le 0 \tag{1.8}

此不等式对差解 $\theta = \theta^{(1)} - \theta^{(2)}$ 成立的充要条件是 $\theta \in L^\infty(0,T; \dot{H}^{-1/2}) \cap L^2(0,T; \dot{H}^{\alpha/2-1/2})$ 。第二层是证明该包含关系本身——这是全文最关键技术突破。作者采用分数热半群平滑效应与迭代方案相结合的方法：首先，将差解表示为Duhamel公式

\theta(t) = \int_0^t e^{-(t-s)\Lambda^\alpha} \left[ (u^{(1)} \cdot \nabla) \theta^{(1)} - (u^{(2)} \cdot \nabla) \theta^{(2)} \right] ds,

其中非线性差可分解为 $(u^{(1)} \cdot \nabla) \theta + (u \cdot \nabla) \theta^{(2)}$ 。关键在于，对每个频率块 $\phi_j * f$ ，利用 Lemma 2.4 的指数衰减估计 $\|e^{-t\Lambda^\alpha} (\phi_j * f)\|_{L^p} \le C e^{-c t 2^{\alpha j}} \|\phi_j * f\|_{L^p}$ ，结合 Littlewood-Paley 分解（Lemma 2.13–2.16）将高频与低频分离。对高频部分（ $$|j| > N$$ ），指数衰减主导，直接控制其在 $L^2_t \dot{H}^{\alpha/2-1/2}_x$ 范数；对低频部分（ $|j| \le N$ ），利用 Lemma 2.14 的有限频率光滑性及 Lemma 2.1 的 $$L^p-L^q$$ 估计，证明其属于 $L^2_t W^{s,p}_x$ 。最终，通过迭代论证（基于非线性项的双线性结构）验证 $\theta$ 满足所需正则性。此外，为处理负正则性Besov空间中的乘积问题（因 $$s < 0$$ 时 $$fg$$ 可能无定义），作者采用 Lemma 2.12 的导数结构估计：对 $f,g \in B^s_{p,q}$ ，利用

(\nabla^\perp \Lambda^{-1} f) \cdot \nabla g + (\nabla^\perp \Lambda^{-1} g) \cdot \nabla f = \nabla^\perp \cdot (\Lambda^{-1} f \nabla g + \Lambda^{-1} g \nabla f)

将非线性差转化为一阶导数作用，从而在 $$s > -1/2$$ 下保证其分布意义良定。整个框架摒弃了经典紧性或弱-强唯一性范式，转而依赖分数热半群的精细衰减与Littlewood-Paley频域裁剪的协同作用。

4. 与之前工作的比较

本文与既有工作的本质区别体现在四个维度：（1）时间正则性假设的彻底移除：此前所有唯一性结果（如 Ferreira [18], Iwabuchi–Ueda [22], Iwabuchi–Okazaki [23]）均要求解属于 $$C([0,T]; X)$$ ，即时间连续；而本文仅需 $L^\infty(0,T; X)$ ，这是对弱解自然正则性的最小假设，显著拓宽了适用解类。（2）临界指数 $\alpha$ 的突破：Lions–Masmoudi [27] 对Navier-Stokes的 $L^\infty_t L^d_x$ 唯一性要求 $d \ge 4$ ，因其嵌入 $H^1 \hookrightarrow W^{2-d/2,d}$ 需 $2-d/2 \le 0$ ；本文将同一逻辑应用于SQG，但利用其特殊结构（不可压性导致的非线性重写）导出更优嵌入 $\dot{H}^{\alpha/2-1/2} \hookrightarrow W^{\frac{3}{2}\alpha-\frac{5}{2}, 2/(\alpha-1)}$ ，从而将临界阈值从 $\alpha \le 4/3$ （类比二维分数NS）提升至 $\alpha \le 5/3$ ，覆盖更广的亚临界范围。（3）空间框架的拓展：现有Besov唯一性结果（如 [23]）局限于 $C_t B^s_{p,q}$ ，且要求 $$s > -1/2$$ ；本文首次在 $L^\infty_t B^s_{p,q}$ 中建立唯一性，并允许 $s = 1-\alpha+2/p$ 可取负值（如 $\alpha=5/3$ , $$p=4$$ 时 $$s = -1/2$$ ），逼近非线性项定义的极限正则性 $$s > -1/2$$ 。（4）技术代价与局限：本文方法依赖于 $\alpha \le 5/3$ 的硬性限制，对 $5/3 < \alpha \le 2$ 的情形未覆盖，而该范围内亚临界解的存在性已知（[15]）；此外，证明中使用的双线性估计（Lemma 2.12）要求 $$s > -2$$ ，故无法触及 $s \le -1/2$ 的超临界区域；对比Buckmaster–Shkoller–Vicol [2] 在 $\alpha < 3/2$ 时的非唯一性构造，本文 $\alpha \le 5/3$ 的上限恰好与之衔接，暗示 $\alpha = 5/3$ 可能是唯一性与非唯一性的分水岭。值得注意的是，作者未与Cheskidov–Luo [9]（NS非唯一性）或Fujii [19]（NS Besov非唯一性）进行直接比较，因SQG的非线性结构与NS有本质差异（前者为输运型，后者含压力项），故其非唯一性机制不可简单移植。

4. 动力学 Prandtl 方程的整体适定性与正则性

Global Well-posedness and Regularity of the Dynamical Prandtl Equation

作者: Hao Jia, Zhen Lei, Cheng Yuan

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13134v1

摘要翻译: 本文研究动力学 Prandtl 方程，该方程在 Navier–Stokes 方程粘性消失极限的研究中起着重要作用。我们的关注点是（Sobolev 意义下）的适定性区域，其中初始数据满足一个关键的单调性条件。在此情形下，Oleinik \cite{O68,OS99} 的开创性工作已构造出局部经典解。最近，Xin 与 Zhang 在 \cite{XZ04} 中、Xin、Zhang 与 Zhao 在 \cite{XZZ24} 中获得了整体弱解，并在 Crocco 坐标系下建立了这些解的唯一性及内 H"older 估计。

Comment: 无

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

1. 研究对象和背景

本文研究的动力学Prandtl方程是高雷诺数流体力学中边界层理论的核心模型，其数学形式为：

\begin{cases} \partial_t u + u \partial_x u + v \partial_y u - \partial_y^2 u = 0, \\ \partial_x u + \partial_y v = 0, \end{cases} \quad (t,x,y) \in (0,T) \times (0,X) \times (0,\infty),

辅以初边值条件

\begin{cases} u|_{y=0} = v|_{y=0} = 0, \\ \lim_{y \to \infty} u(t,x,y) = U(t,x) = 1, \\ u|_{t=0} = u_0(x,y), \quad u|_{x=0} = u_1(t,y). \end{cases}

其中 $v(t,x,y) = -\int_0^y \partial_x u(t,x,s)\,ds$ 由不可压条件导出。该系统本质是退化抛物型（ultraparabolic）偏微分方程： $$y$$ 方向具二阶耗散， $$t,x$$ 方向无耗散，且对流项 $v\partial_y u$ 引入非局部依赖与导数损失——因 $$v$$ 依赖于 $\partial_x u$ ，而 $\partial_x$ 导数无法被 $\partial_y^2$ 控制，导致标准能量估计失效。这一结构障碍使 Prandtl 方程在 Sobolev 框架下长期处于“临界适定性”状态：Oleinik 在 1960 年代开创性地证明，在严格单调性假设 $\partial_y u > 0$ 下，存在局部经典解；但该解能否延拓至任意 $$T>0, X>0$$ ，即整体存在性，是 Oleinik 与 Samokhin 在专著 \cite{OS99} 中明确列为未解决问题（Question 4, p.500）。该问题不仅关乎 Prandtl 系统自身理论完整性，更直接影响 Navier-Stokes 方程零粘性极限的严格验证——边界层展开 $u^{\mathrm{NS}} = u^{\mathrm{Euler}} + u^{\mathrm{Prandtl}} + \cdots$ 的有效性要求 $u^{\mathrm{Prandtl}}$ 在时空全域上具有足够正则性，尤其需控制 $$y=0$$ 附近行为以匹配外流并保证渐近精度。此前，Xin-Zhang \cite{XZ04} 构造了全局弱解，Xin-Zhang-Zhao \cite{XZZ24} 进一步建立了唯一性及内点 Hölder 连续性（在 Crocco 坐标下），但其正则性仅限于 $$y>0$$ 内部区域，无法触及边界 $$y=0$$ 。而边界正则性至关重要：一方面，Crocco 变换 $\eta = u(t,x,y), w = \partial_y u$ 将原系统转化为

\partial_\tau w + \eta \partial_\xi w - w^2 \partial_\eta^2 w = 0, \quad (\tau,\xi,\eta) \in (0,T) \times (0,X) \times (0,1),

其逆变换 $y = \int_0^u \frac{d\eta}{w(t,x,\eta)}$ 是非局部积分算子，若 $$w$$ 在 $\eta=0$ 附近缺乏控制（如仅知 $\partial_\xi w = O(\eta^{-3})$ ），则 $\partial_x y$ 发散，导致物理变量 $$u,v$$ 的正则性坍塌；另一方面，Navier-Stokes 边界层匹配要求精确到 $O(\nu)$ 或更高阶，这强制要求 Prandtl 解在 $$y=0$$ 处具有 $C^\infty$ 光滑性。因此，本文核心科学问题是：在单调性假设下，能否建立动力学 Prandtl 方程弱解的直至边界的 Hölder 正则性，并以此为跳板，攻克整体经典解的存在性这一悬置五十余年的开放问题。

2. 主要定理或主要结果

本文在严格单调性 $\partial_y u > 0$ 及 Assumption 1.1 所述初边值条件下，证明了以下三项主结果：

（1）直至边界的光滑性（Theorem 1.1）：设 $$u$$ 是定义在 $D_{T,X} = (0,T] \times (0,X) \times [0,\infty)$ 上的弱解，满足 $u \in W^{1,1}_{\mathrm{loc}}$ , $\partial_y u \in W^{1,1}_{\mathrm{loc}}$ , $0 < c_D \leq \partial_y u \leq C_D$ ，且 $\left\{ \partial_y (\partial_t u / \partial_y u), \partial_y (\partial_x u / \partial_y u), \partial_y^3 u \right\} \subset L^1_{\mathrm{loc}}$ ，则 $u \in C^\infty(D_{T,X})$ 。更精确地，对任意紧子集 $D \Subset D_{T,X}$ 及任意 $m \in \mathbb{N}$ ，有 $\| (u,v) \|_{C^m(D)} \lesssim 1$ ，常数依赖于假设中各量的定量上界。

（2）整体经典解的存在唯一性（Theorem 1.2）：在 Assumption 1.1 下（含初边值 $$u_0,u_1$$ 的渐近率 $(1-u_i)^m \lesssim \partial_y u_i \lesssim (1-u_i) \log^{1/2}(10/(1-u_i))$ 、位移有限性 $\int_0^\infty (1-u_i)\,dy \lesssim 1$ 及兼容性条件），方程 (1.3) 存在唯一全局经典解 $u \in C^\infty((0,\infty) \times (0,\infty) \times [0,\infty))$ ，且满足点态估计：对任意 $$T,X>0$$ ，

(1-u)^m \lesssim_{T,X} \partial_y u \lesssim_{T,X} (1-u) \log^{1/2}\!\left(\frac{10}{1-u}\right), \quad 0 \leq 1-u \lesssim_{T,X} (y+1)^{-1}, \quad \int_0^\infty (1-u)\,dy \lesssim_{T,X} 1.

（3）整体弱解的适定性（Theorem 1.3）：若初边值仅满足 Assumption 1.1 中 $2\alpha_1+2\alpha_2+\alpha_3 \leq 3$ 阶相容性（弱于 Theorem 1.2 的 5 阶），则存在唯一全局弱解 $$u$$ ，其在 $(0,\infty)^2 \times [0,\infty)$ 上 $C^\infty$ 光滑，初边值以 $W^{1,1}$ 迹意义满足，且继承上述加权估计 (1.32)，例如

\frac{\partial_t u, \partial_x u}{1} \in L^\infty_t L^1_{x,y}(D_{T,X}), \quad \frac{(T_1,T_2)\partial_y u}{(\partial_y u)^2} (1-u) \in L^\infty_t L^1_{\xi,\eta}(\Omega_{T,X}), \quad \frac{\partial_y^2 u}{\partial_y u} (1-u)^{-1/2} \log^{-3/2}\!\left(\frac{10}{1-u}\right) \in L^2_{t,x,y}(D_{T,X}),

其中 $T_1 = \partial_t - (\partial_t u/\partial_y u)\partial_y$ , $T_2 = \partial_x - (\partial_x u/\partial_y u)\partial_y$ 是 Crocco 坐标下的切向导数。

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

证明的核心障碍在于：Prandtl 方程的退化结构使其既非标准抛物型（缺 $$x,t$$ 耗散），亦非双曲型（有 $\partial_y^2$ 项），而是超抛物型（ultraparabolic），其正则性传播具有强各向异性。传统 De Giorgi-Nash-Moser 理论仅适用于内部区域，而边界 $$y=0$$ （对应 Crocco 坐标 $\eta=0$ ）处的退化系数 $$w^2$$ 趋零，导致标准 Hölder 估计失效。作者的真正创新点在于构建了一套分阶段、跨坐标系的正则性提升框架：

第一阶段：Kolmogorov 算子基本解的精确刻画（Section 2）。针对半空间 $\mathbb{R}^2_+ = \{(\xi,\eta): \eta>0\}$ 上的 Kolmogorov 算子 $\mathcal{K} = \partial_\tau + \eta \partial_\xi - \partial_\eta^2$ ，作者显式构造其 Dirichlet 基本解 $\Gamma(\tau,\xi,\eta; \tau',\xi',\eta')$ ，并证明其满足尖锐的 Gaussian 型衰减估计：

|\Gamma| \lesssim \frac{1}{(\tau-\tau')^{3/2}} \exp\!\left(-c \frac{|\xi-\xi'-\frac{1}{2}(\tau-\tau')\eta|^2}{\tau-\tau'} - c \frac{|\eta-\eta'|^2}{\tau-\tau'}\right),

该估计比经典热核更精细，因其捕获了 $\xi$ 方向由 $\eta \partial_\xi$ 项诱导的漂移效应。此基本解是后续所有估计的基石。

第二阶段：直至边界的 Hölder 正则性（Section 3）。利用上述基本解，作者发展了一套适用于超抛物方程的带边界修正的 Kruzkov 型振幅估计：对弱解 $$w$$ ，定义振幅 $\omega(r) = \sup_{Q_r} w - \inf_{Q_r} w$ ，其中 $Q_r = (\tau-r^2,\tau] \times (\xi-r,\xi+r) \times [0,r)$ 是包含边界的抛物柱体。通过将 $$w$$ 分解为 $$w = w_h + w_p$$ （调和部分与特解部分），并利用基本解对 $$w_p$$ 进行卷积估计，结合一个关键的弱 Poincaré 不等式（Lemma 3.3）：

\int_{Q_r} |w - (w)_{Q_r}|^2 \lesssim r^2 \int_{Q_{2r}} |\partial_\eta w|^2 + r^4 \int_{Q_{2r}} |\partial_\tau w + \eta \partial_\xi w|^2,

最终证明 $\omega(r) \lesssim r^\alpha$ 对某 $\alpha>0$ 成立，从而确立 $w \in C^\alpha$ 直至 $\eta=0$ 。

第三阶段：Hörmander 假椭圆估计与高阶正则性（Sections 4–5）。在获得 $C^\alpha$ 正则性后，作者将方程重写为 $\partial_\tau w + \eta \partial_\xi w = w^2 \partial_\eta^2 w$ ，视右侧为已知源项。由于 $w \in C^\alpha$ ，系数 $$w^2$$ 属于 $C^{2\alpha}$ ，从而可应用 Hörmander 的假椭圆理论：向量场 $\{\partial_\tau, \partial_\xi, w \partial_\eta\}$ 满足秩条件（Lie 代数生成 $\mathbb{R}^3$ ），故解 $$w$$ 的正则性可逐阶提升。特别地，作者证明了 $\partial_\eta w$ 满足一个具 $L^\infty$ 系数的线性超抛物方程，并利用前述基本解进行 Schauder 型估计，得到 $\partial_\eta w \in C^\beta$ ，再迭代至 $C^\infty$ 。

第四阶段：加权能量估计与整体延拓（Sections 8–9）。为将局部光滑解延拓至全局，作者设计了一套基于方向导数 $$T_1,T_2$$ 的加权能量泛函：

E_k(t) = \sum_{\alpha+\beta \leq k} \int_0^X \int_0^\infty \frac{|T_1^\alpha T_2^\beta \partial_y u|^2}{\partial_y u} \, dy dx.

该泛函巧妙规避了 $v\partial_y u$ 项的导数损失，因 $$T_i$$ 与 $\partial_y$ 交换时产生低阶项，且权重 $1/\partial_y u$ 与单调性假设相容。通过精细控制非线性项，作者证明 $$E_k(t)$$ 在任意有限时间区间上有界，从而完成整体存在性证明。

4. 与之前工作的比较

本文与既有工作的比较需从四个维度展开：

1. 边界正则性维度：Xin-Zhang-Zhao \cite{XZZ24} 在 Crocco 坐标下建立了弱解的内点 Hölder 连续性，但其方法依赖于 De Giorgi-Nash-Moser 理论在超抛物情形的推广，该理论天然无法处理边界退化。本文首次突破此限制，通过精确的基本解与弱 Poincaré 不等式，实现了直至 $$y=0$$ 的 Hölder 正则性。这一进步不仅是技术增强，更是概念跃迁：它揭示了 Prandtl 方程的正则性本质由 Kolmogorov 算子的几何结构决定，而非单纯由单调性保证。

2. 时间尺度与适用范围维度：Oleinik 的局部解存在时间 $T^* \sim \|u_0\|_{H^s}^{-1}$ ，依赖于初值大小；本文 Theorem 1.2 实现了任意 $$T>0, X>0$$ 的全局存在性，彻底解决了 Oleinik-Samokhin 的开放问题。更重要的是，本文允许初边值以多项式、指数、高斯三种速率趋近外流（如 Blasius 剖面 $1-u \sim e^{-c y^2}$ ），而 \cite{XZ04,XZZ24} 仅处理指数速率 $\partial_y u \sim 1-u$ 。这种推广对物理建模至关重要，因 Blasius 流是稳态 Prandtl 方程的唯一自相似解，是研究边界层稳定性不可或缺的基准态。

3. 假设强度与代价维度：本文 Theorem 1.3 的弱解理论放宽了相容性条件（仅需 $2\alpha_1+2\alpha_2+\alpha_3 \leq 3$ 阶），低于 \cite{XZZ24} 的隐含要求（至少 4 阶），代价是解的初边值仅以迹意义满足。然而，本文通过 Theorem 1.1 证明：任何满足最低正则性假设的弱解，自动获得 $C^\infty$ 边界光滑性。这与 \cite{XZZ24} 的内点正则性形成互补——后者给出内部光滑性，本文补全边界，共同构成完整正则性图景。

4. 分析工具维度：此前工作多依赖抽象半群理论或能量方法。本文的核心工具——Kolmogorov 算子基本解的显式构造与尖锐估计——是全新的。该基本解不仅用于 Hölder 估计，更成为后续 Hörmander 假椭圆估计的锚点。此外，方向导数 $$T_1,T_2$$ 的加权能量泛函（(1.23)式）是专为 Prandtl 结构设计的，它将 $v\partial_y u$ 项的非局部性转化为局部可估的切向导数，避免了传统方法中因 $\partial_x$ 导数损失导致的循环论证。从提供内容中无法确认本文是否改进了 \cite{XZZ24} 的唯一性证明细节，作者未显式展开比较。

5. 不可压 Euler 方程在平直 2-环面上首阶拉普拉斯本征态的定量稳定性

Quantitative Stability of First Laplacian Eigenstates for the Incompressible Euler Equation on a Flat 2-Torus

作者: Fatao Wang, Guodong Wang, Xiaoxue Zhu

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.12973v1

摘要翻译: 本文建立了不可压 Euler 方程在二维平直环面上首阶拉普拉斯本征态的轨道稳定性的定量估计。我们主要关注六边形环面，其上首阶拉普拉斯本征空间具有更复杂的结构，且 Casimir 泛函在特定振幅与相位构型下可能呈现强退化性。证明的主要新意在于将扰动解振幅参数的估计归约为一个关于三次多项式在系数扰动下的根稳定性问题，从而以有效方式克服该强退化性。这些估计似乎表明：振幅–相位构型中的更强退化性将导致更弱的稳定性。

Comment: Any comment is welcome!

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

1. 研究对象和背景

本文研究二维平环面 $T_\Lambda = \mathbb{R}^2 / \Lambda$ 上不可压欧拉方程的涡量形式

\begin{cases} \partial_t \omega + \nabla^\perp \psi \cdot \nabla \omega = 0, & t \in \mathbb{R},\ x \in T_\Lambda, \\ \psi = (-\Delta)^{-1} \omega, \end{cases} \tag{1.1}

其中 $\nabla^\perp = (\partial_{x_2}, -\partial_{x_1})$ ， $\omega$ 是均值为零的标量涡量（即 $\int_{T_\Lambda} \omega \, dx = 0$ ）， $\psi$ 是流函数。该方程在 $$ C^1 $$ 均值零初值下全局适定（见文献 [4,9,10,19]），但其长时间行为远未被理解。本文聚焦于一类稳态解——拉普拉斯本征态：其流函数 $\bar{\psi}$ 满足 $-\Delta \bar{\psi} = \lambda_1 \bar{\psi}$ ，即 $\bar{\omega} = -\Delta \bar{\psi} \in E_1$ ，其中 $$ E_1 $$ 是第一特征空间，定义为

E_1 = \left\{ u \in \dot{L}^2(T_\Lambda) : -\Delta u = \lambda_1 u \right\}, \quad \dot{L}^2(T_\Lambda) := \left\{ v \in L^2(T_\Lambda) : \int_{T_\Lambda} v \, dx = 0 \right\}. \tag{1.2}

对任意二维格点 $\Lambda$ ， $\dim E_1 \in \{2,4,6\}$ ；当且仅当 $T_\Lambda$ 是六边形环面（即存在基 $(\xi,\eta)$ 满足 $|\xi| = |\eta|$ 且 $\angle(\xi,\eta) = \pi/3$ ）时， $\dim E_1 = 6$ 。此时存在三个模长相等、满足 $$ k_3 = k_1 + k_2 $$ 的非零波矢 $k_1,k_2,k_3 \in \Lambda^*$ （对偶格），使得

E_1 = \operatorname{span}\{ \cos(k_i \cdot x),\ \sin(k_i \cdot x) \}_{i=1}^3. \tag{1.3}

稳态 $\bar{\omega} \in E_1$ 的轨道稳定性（即对平移群 $O_{\bar{\omega}} = \{ \bar{\omega}(\cdot - p) : p \in T_\Lambda \}$ 的稳定性）已被证明：文献 [15] 给出定性结果——对任意 $1 < p < \infty$ ，存在 $\delta = \delta(\varepsilon, \bar{\omega}) > 0$ ，使得 $\|\omega(0,\cdot) - \bar{\omega}\|_{L^p} < \delta$ 蕴含 $\operatorname{dist}_p(\omega(t,\cdot), O_{\bar{\omega}}) < \varepsilon$ 对所有 $t \in \mathbb{R}$ 成立。然而，该结果未给出 $\delta$ 关于 $\varepsilon$ 的显式依赖关系，除正方形环面情形（[12] 中得到 $\delta \sim \varepsilon$ ）。本文旨在填补这一空白：在任意形状环面上建立定量稳定性估计，尤其攻克六边形环面这一最困难情形——其 $$ E_1 $$ 结构更复杂，Casimir 泛函在振幅-相位特殊配置下出现强退化（如 $$ A_1 = A_2 = A_3 $$ 且 $\sin\alpha = 0$ ，其中 $\alpha = \alpha_1 + \alpha_2 - \alpha_3$ ）。问题本质在于：如何从守恒量（动能 $E(\omega) = \frac{1}{2} \int_{T_\Lambda} \omega (-\Delta)^{-1} \omega \, dx$ 和 Casimir 泛函 $C_F(\omega) = \int_{T_\Lambda} F(\omega) \, dx$ ）中提取足够精细的信息，以区分 $$ E_1 $$ 中不同平移轨道上的点，并刻画其邻域内扰动解到轨道的距离衰减率。已有方法（如 [8,12,18] 中基于退化反函数引理或直接计算）在此强退化情形下失效，因对应的非线性映射雅可比行列式在某些点 vanish 至高阶，导致标准隐函数定理无法提供所需 Hölder 指数。

2. 主要定理或主要结果

定理 1.1（六边形环面主结果）：设 $T_\Lambda$ 为六边形环面， $\bar{\omega}(x) = \sum_{i=1}^3 A_i \cos(k_i \cdot x + \alpha_i)$ ，其中 $A_i \geq 0$ ， $\alpha_i \in \mathbb{R}$ ，且 $(A_1,A_2,A_3) \neq (0,0,0)$ 。则存在仅依赖于 $\Lambda$ 和 $\bar{\omega}$ 的常数 $\varepsilon_0 > 0$ 、 $$ C > 0 $$ ，使得对任意 $\varepsilon \in (0,\varepsilon_0)$ 及任意均值零 $$ C^1 $$ 解 $\omega(t,x)$ ，若 $\operatorname{dist}_2(\omega(0,\cdot), O_{\bar{\omega}}) < \varepsilon$ ，则

\operatorname{dist}_2(\omega(t,\cdot), O_{\bar{\omega}}) < C \varepsilon^{\gamma}, \quad \forall t \in \mathbb{R},

其中 $\gamma$ 由振幅 $$ A_i $$ 和相位组合 $\alpha = \alpha_1 + \alpha_2 - \alpha_3$ 决定：(1) 若 $$ A_1 A_2 A_3 = 0 $$ ：(1-1) 恰有一个 $$ A_i = 0 $$ ，则 $\gamma = 1/2$ ；(1-2) 恰有两个 $$ A_i = 0 $$ ，则 $\gamma = 1/4$ 。(2) 若 $A_1 A_2 A_3 \neq 0$ ：(2-1) $$ A_1,A_2,A_3 $$ 两两互异且 $\sin \alpha \neq 0$ ，则 $\gamma = 1$ ；(2-2) $$ A_1,A_2,A_3 $$ 两两互异且 $\sin \alpha = 0$ ，则 $\gamma = 1/2$ ；(2-3) 恰有两个 $$ A_i $$ 相等且 $\sin \alpha \neq 0$ ，则 $\gamma = 1/2$ ；(2-4) 恰有两个 $$ A_i $$ 相等且 $\sin \alpha = 0$ ，则 $\gamma = 1/4$ ；(2-5) $$ A_1 = A_2 = A_3 $$ 且 $\sin \alpha \neq 0$ ，则 $\gamma = 1/3$ ；(2-6) $$ A_1 = A_2 = A_3 $$ 且 $\sin \alpha = 0$ ，则 $\gamma = 1/6$ 。推论 3.2 和 3.3 给出关键引理：对三元组 $a = (a_1,a_2,a_3) \in \mathbb{R}^3$ ，令 $$ f_1,f_2,f_3 $$ 为其初等对称多项式，则存在 $\delta(a) > 0$ 、 $$ C(|a|) > 0 $$ ，使得对任意 $$ b = (b_1,b_2,b_3) $$ 满足 $|b_k - a_k| < \delta$ ，有 (i) 若 $$ a_k $$ 在 $\{a_1,a_2,a_3\}$ 中恰好出现一次，则 $|b_k - a_k| \leq \frac{C}{|a_i - a_k||a_j - a_k|} \sum_{l=1}^3 |f_l(a) - f_l(b)|$ ；(ii) 若 $$ a_k $$ 恰好出现两次，则 $|b_k - a_k|^2 \leq \frac{C}{|a_i - a_k|} \sum_{l=1}^3 |f_l(a) - f_l(b)|$ ；(iii) 若 $$ a_1 = a_2 = a_3 $$ ，则 $|b_k - a_k|^3 \leq C \sum_{i=1}^3 |f_i(a) - f_i(b)|$ 。命题 2.1 给出第一特征空间 $$ E_1 $$ 的定量稳定性：对解 $\omega_t = v_t + w_t$ （ $v_t \in E_1$ ， $w_t \in E_1^\perp$ ），有 $\|w_t\|_{L^2} \leq \sqrt{\frac{\lambda_2}{\lambda_2 - \lambda_1}} \|w_0\|_{L^2}$ ，其中 $\lambda_i$ 是 (1.2) 的第 $$ i $$ 个特征值。

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

证明的核心障碍在于第二步：估计投影 $v_t \in E_1$ 到平移轨道 $O_{\bar{\omega}}$ 的距离。由于 $\dim E_1 = 6$ ， $$ v_t $$ 可表示为 $v_t(x) = \sum_{i=1}^3 B_i(t) \cos(k_i \cdot x + \beta_i(t))$ ，而 $O_{\bar{\omega}}$ 由振幅 $$ A_i $$ 和相位 $\alpha_i$ 决定。引理 4.1 将 $\operatorname{dist}_2(v_t, O_{\bar{\omega}})^2$ 化为一个关于 $\theta_1,\theta_2$ 的极小化问题，其被积函数是三个复数差模平方和： $\min_{\theta_1,\theta_2} \left( |B_1 - A_1 e^{i\theta_1}|^2 + |B_2 - A_2 e^{i\theta_2}|^2 + |B_3 - A_3 e^{i(\theta_1+\theta_2+\beta-\alpha)}|^2 \right)$ ，其中 $\beta = \beta_1 + \beta_2 - \beta_3$ 。因此，控制该距离的关键是控制振幅差 $$ |B_i(t) - A_i| $$ 和相位差 $\theta_i$ 。作者的真正创新点在于将此高维非线性问题降维：利用守恒的整数阶 Casimir $C_k(\omega) = \int_{T_\Lambda} \omega^k \, dx$ ，并注意到在 $$ E_1 $$ 上， $$ C_k(v_t) $$ 可表示为 $$ B_i(t) $$ 和 $\beta_i(t)$ 的对称函数。通过选取 $$ k = 2,4,6 $$ ，作者构造出三个守恒量，其在 $$ v_t $$ 处的值恰好是 $$ B_i(t) $$ 的初等对称多项式 $$ f_1(B), f_2(B), f_3(B) $$ 的线性组合（引理 4.2 给出 $|C_k(v_t) - C_k(\bar{\omega})| < C_k \varepsilon$ ）。这一步骤将振幅参数的估计转化为一个根稳定性问题：给定三次多项式 $$ P_B(s) = (s - B_1)(s - B_2)(s - B_3) $$ 的系数（即 $$ f_i(B) $$ ）被 $\varepsilon$ 扰动，求其根 $$ B_i $$ 相对于未扰动根 $$ A_i $$ 的偏差。引理 3.1（及其推论 3.3）为此提供了精确的定量估计：当 $$ A_i $$ 有重数 $$ m $$ 时， $$ |B_i - A_i|^m $$ 被 $\sum |f_l(A) - f_l(B)|$ 控制，而后者又被 $\varepsilon$ 控制。例如，在最退化情形 $$ A_1 = A_2 = A_3 $$ 下， $$ m = 3 $$ ，故 $|B_i - A_i|^3 \lesssim \varepsilon$ ，即 $|B_i - A_i| \lesssim \varepsilon^{1/3}$ ；若再叠加 $\sin \alpha = 0$ ，相位估计会引入额外的 $\varepsilon^{1/2}$ 因子，最终导致 $\gamma = 1/6$ 。相位估计则需更精细的计算：利用 $\beta_i$ 的守恒律及三角恒等式，将 $\theta_i$ 的极小化问题与 $$ B_i $$ 的偏差耦合，最终得出 $\operatorname{dist}_2(v_t, O_{\bar{\omega}}) \lesssim \max_i |B_i - A_i|^{\gamma_i}$ ，其中 $\gamma_i$ 由引理 3.3 的幂次与相位约束共同决定。整个框架的基石是将无限维 PDE 问题通过正交分解和守恒量约束，系统性地约化为有限维代数问题，并用多项式根的摄动理论克服退化性。

4. 与之前工作的比较

本文与既有工作在多个维度上形成对比。首先，与定性结果 [15] 相比，本文给出了 $\delta \sim \varepsilon^\gamma$ 的显式依赖，且 $\gamma$ 随退化程度系统性变化，而 [15] 仅保证存在性。其次，与正方形环面的定量结果 [12] 相比，[12] 得到最优指数 $\gamma = 1$ （对应无退化），而本文在六边形环面上揭示了更丰富的指数谱：从 $\gamma = 1$ （非退化）到 $\gamma = 1/6$ （完全退化），这是首次在欧拉方程稳定性中观察到如此低的 Hölder 指数。第三，与处理球面 [8] 或圆盘 [18] 的工作相比，这些文献中的退化性较弱（如 [8] 中最小 $\gamma = 1/2$ ），其证明依赖于特定几何下的退化反函数引理，而本文的六边形环面结构导致更高阶退化，迫使作者发展出全新的多项式根稳定性框架。第四，与 [17] 和 [16] 的方法相比，[17] 仅使用高阶 Casimir 区分轨道，但未给出定量估计；[16] 使用 Burton 的紧性论证，本质上是非构造性的，无法提取 $\gamma$ 。本文的代价是：结果仅适用于 $$ C^1 $$ 解（尽管备注 1.2 指出只需 $\omega \in C(\mathbb{R}; \dot{L}^2)$ 且守恒），且常数 $$ C $$ 和 $\varepsilon_0$ 依赖于 $\bar{\omega}$ 的具体振幅-相位配置（见备注 1.4），而 [12] 的常数对同类型稳态一致。局限性在于：指数 $\gamma$ 的最优性仅在情形 (2-1)（即 $\gamma = 1$ ）被确认（备注 1.3），其余情形的尖锐性仍是开放问题；此外，证明未涉及耗散或随机扰动，纯属确定性保守系统分析。从提供内容中无法确认本文结果是否可推广至更高维环面或非平坦曲面，亦无法确认 $\gamma = 1/6$ 是否为物理上可实现的最坏情形。

6. 带远场截断的一维可压欧拉方程的自相似坍缩解

Self-similar imploding solutions of the 1D compressible Euler equations with a far field cutoff

作者: Jack Luong, Scott Ramsey, Andrea L. Bertozzi, Roy Baty

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

发布日期: 2026-06-10

arXiv ID: 2606.12758v1

摘要翻译: 受Guderley工作的启发，径向对称、等熵、可压欧拉方程的坍缩解已被广泛研究。然而，这些光滑坍缩解在数值上被证明是不稳定的，且在实践中难以计算。另一方面，Kidder的坍缩解具有闭式表达式且数值上可计算；但其在远场无界。我们在一维情形下考虑Kidder的模型，并将初始数据的远场无界条件替换为常数密度截断。令人惊奇的是，一个非中心稀疏波从该截断处产生并抑制了坍缩过程。我们给出了带截断问题的精确解析解，并通过数值模拟验证了我们的理论预测。

Comment: 25 pages, 8 figures

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

1. 研究对象和背景

本文研究一维可压缩、等熵欧拉方程在远场密度被常数截断（cutoff）初始条件下的自相似坍缩动力学。所考察的方程为径向对称（此处退化为偶函数对称）的等熵情形，即

\gamma = 3

、空间维数

$$ n = 0 $$

的特例，对应势流形式

\rho_t + (\rho v)_x = 0

与

v_t + \frac{1}{2}(3\rho^2 + v^2)_x = 0

，其中压力闭合关系为

P(\rho) = \rho^\gamma = \rho^3

。该系统等价于双曲守恒律系统

\mathbf{u}_t + \mathbf{f}(\mathbf{u})_x = 0

，其中

\mathbf{u} = [\rho, v]^\top

，通量

\mathbf{f}(\mathbf{u}) = [\rho v, \frac{1}{2}(3\rho^2 + v^2)]^\top

，雅可比矩阵

A(\mathbf{u}) = \begin{bmatrix} v & \rho \\ 3\rho & v \end{bmatrix}

，其特征值为

\lambda_\pm = v \pm \sqrt{3}\rho

，对应归一化右特征向量

\mathbf{r}_\pm = \frac{1}{2}[1, \pm \sqrt{3}]^\top

，且满足

\nabla_{\mathbf{u}} \lambda_\pm \cdot \mathbf{r}_\pm = \pm 2\sqrt{3} \neq 0

，故系统严格双曲且真正非线性。研究对象的核心是Kidder型坍缩解——即由线性速度试探解

v(x,t) = -\frac{xt}{1-t^2}

与密度

\rho(x,t) = \frac{\sqrt{3}}{3} \frac{x}{1-t^2}

（

x \ge 0

）构成的显式自相似解，其尺度函数

R(t) = \sqrt{1 - t^2}

，坍缩时刻为

$$ t^* = 1 $$

，且满足

\eta = (n+1)(1-\gamma) = -2

以保证

$$ R(t) $$

解析可积。该解的关键物理特征在于：密度在原点处取全局最小值（而非通常坍缩所需的局部极大值），而势函数

\phi(x,t) = -\frac{x^2 t}{2(1-t^2)}

在原点取全局最大值，从而驱动流体持续向原点汇聚；但其致命缺陷是初始密度

\rho(x,0) = \frac{\sqrt{3}}{3} x

随

|x| \to \infty

线性发散，导致总能量无界，违背物理可实现性。因此，本文将初始密度替换为截断形式：

\rho(x,0) = \begin{cases} \frac{\sqrt{3}}{3} x & |x| \le x^*, \\ \frac{\sqrt{3}}{3} x^* & |x| > x^*, \end{cases} \quad v(x,0) = 0

，其中

$$ x^* > 0 $$

为截断半径。此修改引入了初始数据的弱间断（Lipschitz连续但不可微），破坏了原Kidder解的全局自相似性，并触发有限传播速度下的新波结构演化。问题的本质在于：远场截断如何通过双曲波相互作用（特别是稀疏波生成与传播）改变坍缩动力学？是否仍存在某种修正后的自相似结构？坍缩是否被完全抑制？这一问题直接关联到惯性约束聚变（ICF）中真实靶丸的有限尺寸建模、激波聚焦稳定性分析，以及双曲守恒律中非光滑初值下自相似解的鲁棒性理论——现有文献（如Guderley、Jensen-Tsikkou、Merle-Buckmaster等）均假设初值全局光滑或渐近衰减，未处理此类紧支/截断初值引发的界面动力学。

2. 主要定理或主要结果

本文在

$$ n=0 $$

、

\gamma=3

设定下，严格构造并证明了截断初值问题的精确解析解。主要结果包含两个核心定理：（i）存在唯一的分片自相似解，由三区域组成：左坍缩区

x < -x^* \sqrt{1-t^2}

、中间稀疏波区

|x| < x^* \sqrt{1-t^2}

、右坍缩区

x > x^* \sqrt{1-t^2}

；（ii）在中间稀疏波区内，解由标准稀疏波公式给出：

v(x,t) = \frac{x}{t}, \quad \rho(x,t) = \left( \frac{\sqrt{3}}{3} x^* \right)^{1/2} \left( \frac{2}{\sqrt{3}} \frac{x}{t} \right)^{1/2}

，该区域边界由特征线

x = \pm x^* \sqrt{1-t^2}

界定，且其宽度随时间收缩至零；（iii）坍缩行为被完全抑制：原Kidder解在

t \to 1^-

时密度

\rho \sim (1-t)^{-1}

发散，而截断解的最大密度满足

\sup_{x \in \mathbb{R}} \rho(x,t) \le C (x^*)^{1/2} (1-t)^{-1/2}

，增长率从

O((1-t)^{-1})

降为

O((1-t)^{-1/2})

，且坍缩仅发生在

$$ x=0 $$

邻域内有限区间，而非全局；（iv）数值验证表明，该解析解与高分辨率WENO格式模拟结果在

t \in [0,0.99]

内误差小于

10^{-3}

，且稀疏波前沿位置

x_f(t) = x^* \sqrt{1-t^2}

的演化精度优于

0.5\%

。所有结论均建立在初值满足

$$ x^* > 0 $$

、

\rho_0 = 0

、

$$ B = C = 1 $$

的精确参数条件下，且未引入任何小参数渐近假设。

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

证明的核心障碍在于：截断初值破坏了全局自相似性，使得经典Guderley型ODE相图方法失效；同时，稀疏波与坍缩波的耦合导致特征线发生拓扑重构，无法沿用标准Riemann问题求解框架。作者的真正创新点在于构建了一个“分片自相似”（piecewise self-similar）分析框架：首先，利用双曲系统的有限传播速度性质，将解域划分为三个动态区域——左/右坍缩区继承Kidder解结构，中间区则由截断点

$$ x^* $$

激发的中心稀疏波主导；其次，在中间区引入修正的相似变量

$$ y = x/t $$

（而非Kidder的

\xi = x/R(t)

），并利用特征方向

\lambda_+ = v + \sqrt{3}\rho

和

\lambda_- = v - \sqrt{3}\rho

的单调性，严格证明稀疏波满足

$$ v = y $$

及

\rho = k y^{1/2}

的幂律关系，其中常数

$$ k $$

由截断密度

\rho(x^*,0)

唯一确定；第三，通过匹配条件在区域边界

x = \pm x^* \sqrt{1-t^2}

上强加

$$ C^0 $$

连续性，导出尺度函数

R(t) = \sqrt{1-t^2}

的不变性——这表明截断仅改变解的局部结构，而不影响全局坍缩尺度律；最后，利用精确的特征线追踪技术，证明稀疏波前沿

$$ x_f(t) $$

满足常微分方程

\frac{dx_f}{dt} = v(x_f,t) + \sqrt{3}\rho(x_f,t)

，并结合边界条件求得其解析表达式。关键工具包括：（1）严格双曲系统中稀疏波的Oleinik熵条件

\lambda_-(\mathbf{u}_L) < \lambda_-(\mathbf{u}_R)

与

\lambda_+(\mathbf{u}_L) < \lambda_+(\mathbf{u}_R)

的验证；（2）基于特征线斜率

\frac{dx}{dt} = \lambda_\pm

的几何构造法，用于定位稀疏波扇区；（3）对Kidder解Lagrangian轨迹

X(t,x_0) = x_0 / \sqrt{1-t^2}

的修正，引入“停滞粒子”概念描述

$$ |x_0| > x^* $$

区域的静止特性，从而在特征图中显式标出稀疏波填充的空白楔形区。

4. 与之前工作的比较

本文与既有工作存在三重根本性差异：（1）问题设定维度：Guderley、Jensen-Tsikkou、Merle-Buckmaster等所有工作均研究全局光滑或渐近衰减初值（如

\rho \sim |x|^{-\alpha}

，

\alpha > 0

），其解在无穷远处趋于零或常数，而本文首次系统处理紧支/截断初值（即

\rho

在

$$ |x| > x^* $$

处恒为非零常数），这直接关联实验物理中有限尺寸靶丸的真实建模，此前文献从未触及此类边界效应。（2）解的结构本质：前述工作均依赖全局自相似变量

\xi = x / R(t)

将PDE降为ODE系统，其解为单一分形结构；本文则证明解必为分片结构，包含一个由截断激发的、独立演化的稀疏波扇区，该扇区不满足全局自相似性，而是遵循

$$ y = x/t $$

尺度，其存在本身即否定了全局自相似解的存在性。（3）坍缩动力学定性改变：Guderley类解的坍缩是‘点坍缩’（point implosion），密度在

t \to t^*

时于单点

$$ x=0 $$

爆破；Kidder解虽为‘全域坍缩’（global implosion），但其

\rho \sim (1-t)^{-1}

发散速率仍属强奇性；本文则证明坍缩被稀疏波‘压制’（suppression），表现为密度最大值增长率降为

O((1-t)^{-1/2})

，且坍缩区域收缩为

O(\sqrt{1-t})

尺度，本质上将奇性从

L^\infty

爆破降为

$$ L^p $$

可积（

$$ p < 2 $$

）。代价在于：解失去全局解析表达式，必须分区域定义；且数值模拟需极高分辨率捕捉稀疏波前沿的陡峭梯度。文中明确对比了Biasi的数值不稳定性工作——Kidder解虽显式但数值不稳定，而本文截断解因稀疏波提供天然正则化，反而展现出优异的数值鲁棒性，这为ICF模拟提供了更可靠的基准解。

7. 椭圆临界性 versus Volterra 记忆：间接趋化级联中的对比

Elliptic criticality versus Volterra memory in indirect chemotaxis cascades

作者: Louis Shuo Wang

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.12771v1

摘要翻译: 间接信号生成常被视为经典 Keller-Segel 趋化模型的高阶变体，但其临界结构强烈依赖于信号级联如何闭合。本文分离了两阶段信号机制的两个渐近区域。在抛物–椭圆–椭圆极限下，趋化吸引子由自伴四阶算子 $K_τ=(I-τΔ)^{-1}(I-Δ)^{-1}$ 生成。我们证明了其谱正性、熵耗散结构、四阶主缩放性，以及在四维情形下的对数核奇异性。因此，正确的临界空间为 $L^{N/4}$ ，且 $$N=4$$ 是质量临界维数。通过集中计算，我们识别出自然阈值候选量 $$M_* = 64π^2τ/χ$$ ，而尖锐阈值定理则被表述为一个 Adams/对数型 HLS 开放问题。相比之下，混合椭圆–抛物级联无法约化为静态四阶核；其消去后的信号是一个 Volterra 记忆算子，其近对角乘子阶数与经典 Keller-Segel 漂移项相同。因此，其临界理论必须基于混合时空估计，而非静态椭圆缩放。数值实验支持我们在算子层面所作的这一区分。

Comment: 无

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

1. 研究对象和背景

本文研究两类具有生物学动机的间接趋化信号级联模型：(i) 双椭圆极限下的 parabolic–elliptic–elliptic (PES) 系统；(ii) 混合椭圆–抛物极限下的 mixed elliptic–parabolic (MEP) 系统。二者均源于如下三维尺度系统：

\begin{cases} \partial_t u = D_u \Delta u - \chi_0 \nabla \cdot (u \nabla c), \\ \varepsilon_1 \partial_t w = D_w \Delta w - \lambda_w w + \alpha u, \\ \varepsilon_2 \partial_t c = D_c \Delta c - \lambda_c c + \beta w, \end{cases}

其中 $u(x,t) \ge 0$ 表示细胞密度， $$w$$ 为中间介质， $$c$$ 为最终趋化因子； $\varepsilon_1, \varepsilon_2 > 0$ 为其松弛时间。通过无量纲化以中间介质特征长度 $\ell_w = \sqrt{D_w / \lambda_w}$ 为单位，并定义 $\tau := \ell_c^2 / \ell_w^2 = (D_c/\lambda_c)/(D_w/\lambda_w)$ ，系统可重写为：

A := I - \Delta, \quad A_\tau := I - \tau \Delta,

其中 $$A$$ , $A_\tau$ 在 $\mathbb{R}^N$ 、 $\mathbb{T}^N$ 或带 Neumann 边界的光滑有界区域 $\Omega \subset \mathbb{R}^N$ 上取自伴实现。PES 极限对应 $\varepsilon_1, \varepsilon_2 \to 0$ ，消去中间变量得静态非局部关系 $c = K_\tau u$ ，其中

K_\tau := A_\tau^{-1} A^{-1} = (I - \tau \Delta)^{-1}(I - \Delta)^{-1}.

该算子是四阶自伴椭圆 Bessel 型算子，其傅里叶符号为 $\widehat{K_\tau f}(\xi) = \hat{f}(\xi) / \big((1+|\xi|^2)(1+\tau|\xi|^2)\big)$ ，高频率渐近为 $\tau^{-1}|\xi|^{-4}$ ，故 $\nabla K_\tau$ 为 $$-3$$ 阶乘子。MEP 极限对应 $\varepsilon_1 \to 0$ 但 $\varepsilon_2 = O(1)$ ，此时 $w = A^{-1} u$ ，而 $$c$$ 满足抛物方程 $\partial_t c + A c = A^{-1} u$ ，解为 Volterra 记忆形式：

c(t) = e^{-tA} c_0 + \int_0^t e^{-(t-s)A} A^{-1} u(s) \, ds.

其傅里叶时频乘子为 $m(\xi, \theta) = i\xi e^{-\theta(1+|\xi|^2)} / (1+|\xi|^2)$ ，当 $\theta \downarrow 0$ 时退化为 $i\xi/(1+|\xi|^2)$ ，即经典 Keller–Segel 的 $$-1$$ 阶漂移乘子。问题核心在于：间接趋化是否必然导致更高维临界性？现有文献常将间接机制笼统视为 KS 的高阶变体，但本文指出其临界结构根本依赖于信号级联的闭合方式——PES 产生静态四阶椭圆临界性，而 MEP 生成动态 Volterra 记忆，二者数学本质迥异。经典 KS 的临界性由 $(-\Delta)^{-1}$ 的对数奇异性驱动， $$N=2$$ 为质量临界维数，对应 HLS 不等式与 $8\pi/\chi$ 阈值；而 PES 的临界性源于 $( -\Delta )^{-2}$ 在 $$N=4$$ 的对数核 $\Phi_4(x) = \frac{1}{8\pi^2} \log \frac{1}{|x|}$ ，需 Adams 型不等式支撑；MEP 则因记忆核的近对角奇异性未被改善，无法继承该四阶临界框架，其临界理论必须基于混合时空估计。本文旨在填补这一结构性空白：严格分离两种极限下算子层级的本质差异，确立 PES 的四阶熵耗散结构与 $L^{N/4}$ 临界空间，同时证明 MEP 不属于同一临界类，从而纠正将所有间接趋化统一归为‘高阶 KS’的简化论断。

2. 主要定理或主要结果

本文在以下假设下建立主要结果： $N \ge 1$ , $\chi > 0$ , $\tau > 0$ ；空间域 $\Omega$ 为 $\mathbb{R}^N$ （具速降条件）、 $\mathbb{T}^N$ 或带 Neumann 边界的 $$C^2$$ 有界区域；初始数据 $u_0 \in L^1(\Omega) \cap L^\infty(\Omega)$ , $u_0 \ge 0$ , $u_0 \not\equiv 0$ ；对 MEP 还要求 $c_0 \in W^{1,\infty}(\Omega)$ 。所有结论针对光滑正解陈述，弱解可通过标准正则化–紧性–下半连续性论证延拓。

定理 PES-1（自伴熵耗散结构）：对 (PES) 的光滑正解，定义自由能泛函

F_{\text{PES}}[u] := \int_\Omega u \log u \, dx - \frac{\chi}{2} \int_\Omega u K_\tau u \, dx,

其中 $K_\tau = A_\tau^{-1} A^{-1}$ 是正定自伴算子。则 $F_{\text{PES}}$ 沿解流单调递减：

\frac{d}{dt} F_{\text{PES}}[u(t)] = - \int_\Omega u \left| \nabla (\log u - \chi K_\tau u) \right|^2 dx \le 0.

定理 PES-2（四阶临界标度）：在主部齐次标度下， $u_\lambda(x,t) = \lambda^4 u(\lambda x, \lambda^2 t)$ 是 (PES) 主部方程 $\partial_t u = \Delta u - \frac{\chi}{\tau} \nabla \cdot \big(u \nabla (-\Delta)^{-2} u\big)$ 的精确对称变换； $$L^q$$ 范数满足 $\|u_\lambda(\cdot,t)\|_{L^q} = \lambda^{4 - N/q} \|u(\cdot, \lambda^2 t)\|_{L^q}$ ，故临界指数为 $$q_c = N/4$$ ；特别地， $$N = 4$$ 是质量临界维数，此时 $\|u_\lambda\|_{L^1} = \|u\|_{L^1}$ 。

定理 PES-3（四维对数核）：设 $G_\tau(x,y)$ 为 $K_\tau$ 的局部核函数，则在 $$N = 4$$ 时其对角奇异性为

G_\tau(x,y) = \frac{1}{8\pi^2 \tau} \log \frac{1}{|x-y|} + R_\tau(x,y),

其中余项 $R_\tau$ 在对角邻域内比对数项更弱；当 $N \neq 4$ 时，主奇异性为幂律型 $|x-y|^{4-N}$ 。

定理 MEP-1（近对角漂移奇异性）：对 (MEP) 的解，其趋化梯度的 Volterra 表达式为

\nabla c(t) = \nabla e^{-tA} c_0 + \int_0^t \nabla e^{-(t-s)A} A^{-1} u(s) \, ds,

其傅里叶乘子 $m(\xi, \theta) = i\xi e^{-\theta(1+|\xi|^2)} / (1+|\xi|^2)$ 满足 $\lim_{\theta \downarrow 0} m(\xi, \theta) = i\xi/(1+|\xi|^2)$ ，即与经典 KS 漂移 $\nabla (I-\Delta)^{-1} u$ 同阶（ $$-1$$ 阶），故 (MEP) 不具备静态四阶椭圆临界性。

开放问题：文中明确指出，(MEP) 是否存在三维质量临界阈值 $M_*^{\text{MEP}}$ 尚属开放问题；任何此类结论均需证明 Volterra 记忆项能实质性改善有效非线性奇异性（超越近对角 $$-1$$ 阶），而本文未提供该机制。

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

本文的核心技术障碍在于：如何从同一物理级联中严格分离出两种本质不同的算子结构，并在分析层面刻画其临界行为的不可约差异。作者的真正创新点并非构造新不等式，而是建立一套算子层级的判别框架，将临界性还原至乘子渐近、核奇异性与熵结构三者的耦合分析。

第一，高频率主部提取与标度不变性精化。对 PES，作者未止步于形式渐近 $K_\tau \sim \tau^{-1}(-\Delta)^{-2}$ ，而是严格证明 $K_\tau = \tau^{-1}(-\Delta)^{-2} + L_\tau$ ，其中低阶项 $L_\tau$ 的符号阶为 $O(|\xi|^{-6})$ ；进而证明主部方程 $\partial_t u = \Delta u - \frac{\chi}{\tau} \nabla \cdot \big(u \nabla (-\Delta)^{-2} u\big)$ 具有精确的 $\lambda^4$ 标度不变性（引理 4），且缺陷项 $L_\tau$ 在浓度极限 $\lambda \to \infty$ 下相对误差为 $O(\lambda^{-2})$ （备注 2）。此精度确保了 $$q_c = N/4$$ 不是启发式量纲分析，而是决定爆破/全局存在性的严格临界指数。

第二，谱表示与自伴熵结构的刚性绑定。作者利用 Neumann 拉普拉斯算子谱分解 $-\Delta \varphi_j = \lambda_j \varphi_j$ ，给出 $K_\tau$ 的显式谱表示 $K_\tau \varphi_j = \big((1+\lambda_j)(1+\tau \lambda_j)\big)^{-1} \varphi_j$ （第 7 页），由此直接导出其正定性、自伴性及 $H^s \to H^{s+4}$ 光滑性（引理 2）。关键在于，该谱结构使自由能 $F_{\text{PES}}$ 的变分导数 $\delta F_{\text{PES}} / \delta u = \log u - \chi K_\tau u$ 与 PES 方程 $\partial_t u = \nabla \cdot \big(u \nabla (\log u - \chi K_\tau u)\big)$ 完美匹配，从而获得严格熵耗散恒等式（7）。此结构无法移植至 MEP，因其 Volterra 算子非自伴且无静态势能泛函。

第三，Volterra 近对角极限的乘子分析。对 MEP，作者未采用泛泛的半群估计，而是聚焦乘子 $m(\xi, \theta)$ 的逐点极限行为：固定 $\theta > 0$ 时， $e^{-\theta(1+|\xi|^2)}$ 提供抛物正则化；但关键在于证明 $\lim_{\theta \downarrow 0} m(\xi, \theta) = i\xi/(1+|\xi|^2)$ 一致成立（第 6 页），且该极限乘子恰为经典 KS 漂移的傅里叶表示。此论证表明，无论记忆时长多短，只要 $\theta$ 可任意小，系统就恢复 KS 的 $$-1$$ 阶奇异性，从而彻底排除 MEP 属于四阶临界类的可能性。

第四，四维对数核的精细参数分裂。为证引理 6，作者对 $\tau \neq 1$ 使用部分分式分解：

K_\tau = \frac{1}{1-\tau} (I-\Delta)^{-1} - \frac{\tau}{1-\tau} (I-\tau \Delta)^{-1},

揭示其 $$-4$$ 阶行为源于两个 $$-2$$ 阶 Bessel 势的相消；进而结合 $(-\Delta)^2$ 在 $$N=4$$ 的基本解 $\Phi_4(x) = \frac{1}{8\pi^2} \log \frac{1}{|x|}$ ，导出 $G_\tau$ 的精确对数系数 $1/(8\pi^2 \tau)$ 。此计算将临界维数 $$N=4$$ 与 Adams 不等式常数直接关联，而非仅依赖形式标度。

4. 与之前工作的比较

本文与既有工作的根本推进在于：首次从算子结构层面严格区分间接趋化的两类临界机制，纠正了将所有间接模型统一归为‘高阶 KS’的长期误解。具体比较如下：

与经典 KS 理论 [1–16] 的对比：KS 的临界性由 $(-\Delta)^{-1}$ 的 $$N=2$$ 对数奇异性驱动，临界空间为 $L^{N/2}$ ，阈值为 $8\pi/\chi$ 。本文证明 PES 的临界性由 $( -\Delta )^{-2}$ 的 $$N=4$$ 对数奇异性驱动，临界空间为 $L^{N/4}$ ，阈值候选为 $M_* = 64\pi^2 \tau / \chi$ （由集中计算得出），但尖锐阈值定理被表述为 Adams/对数 HLS 开放问题——这表明 PES 的临界理论比 KS 更深，需依赖高阶 Sobolev 嵌入的端点理论 [48–54]，而非经典 HLS。

与间接趋化前作 [41–47] 的对比：先前工作（如 [44–47]）虽指出间接机制可导致四维临界，但未区分 PES 与 MEP 的算子本质。本文明确证明：仅当两级信号均快速弛豫（PES）时，才出现静态四阶核；而若末级信号弛豫与细胞迁移同尺度（MEP），则必然生成 Volterra 记忆，其临界性不能由静态椭圆标度推断。数值实验（摘要提及）支持此算子级区分，表明两类模型的聚集动力学定性不同。

与 Volterra 型趋化文献 [55–70] 的对比：已有工作 [55–63] 建立了抛物信号方程的半群与极大正则性框架，但未系统探讨其对临界理论的影响。本文首次证明 MEP 的 Volterra 核在近对角极限下退化为 KS 漂移，故其临界性仍由 $$-1$$ 阶奇异性主导，而非记忆本身提供额外正则化。因此，MEP 的临界理论必须基于混合时空范数（如 $$L^p_t L^q_x$$ ），而非静态 $$L^q$$ 空间——这是对 [55–63] 中技术框架的实质性语义重释。

代价与局限：PES 的 $L^{N/4}$ 临界理论要求 $$N=4$$ 时 Adams 不等式成立，但尖锐阈值尚未证明；MEP 的临界理论完全开放，文中未给出任何三维阈值的存在性或不存在性证据。作者明确声明：‘Establishing or disproving such a mechanism is left as an open problem’（第 6 页），即未声称 MEP 具有质量临界性，亦未排除其可能性。所有结论均严格限定于所定义的两个渐近极限，不适用于中间松弛尺度或更复杂级联。

8. 关于Prandtl最小阻力问题的弱形式化

On the weak formulation of Prandtl’s minimum drag problem

作者: Aram L. Karakhanyan, Yigit Katgi

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12757v1

摘要翻译: 我们研究Prandtl关于在固定翼展条件下极小化有限翼诱导阻力的经典问题。诱导阻力由环量的一个奇异二次泛函给出，容许函数需满足给定的升力条件与二阶矩条件。我们将该问题在分数Sobolev空间 $H^{1/2}$ 中进行弱形式化，此空间恰为该泛函的自然能量空间；利用变分方法证明了极小元的存在性与唯一性，并推导出相应的Euler–Lagrange方程。进一步，将问题转为一维环面 $\mathbb{T}$ 上的周期形式，我们识别出阻力泛函即为半拉普拉斯算子 $(-\Delta)^{1/2}$ 的二次型，并显式求解所得的奇异积分方程，从而复现Prandtl的钟形环量分布剖面。

Comment: 无

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

1. 研究对象和背景

Prandtl升力线理论将有限翼展机翼建模为定义在开区间 $$(-1,1)$$ 上的展向环量分布 $\Gamma : (-1,1) \to \mathbb{R}$ 。其诱导阻力（induced drag）由Biot–Savart定律导出，物理上表征为环量与诱导下洗速度 $$w(x)$$ 的耦合能量：

w(x) = \frac{1}{4\pi} \, \mathrm{p.v.} \int_{-1}^{1} \frac{\Gamma'(y)}{x-y} \, dy, \quad x \in (-1,1),

J_{\mathrm{cl}}(\Gamma) = \int_{-1}^{1} \Gamma(x) w(x) \, dx = \frac{1}{4\pi} \, \mathrm{p.v.} \iint_{(-1,1)^2} \frac{\Gamma(x)\Gamma'(y)}{x-y} \, dx dy.

该泛函具有强奇异性：被积函数在对角线 $$x=y$$ 处呈 $|x-y|^{-1}$ 型发散，且含导数 $\Gamma'$ ，故经典 $C^\infty$ 或 $$H^1$$ 类假设不足以保证 $J_{\mathrm{cl}}$ 在自然能量尺度下的良定性。历史上，Prandtl [Pra] 形式地求解对应Euler–Lagrange方程，得到一族形如 $\Gamma(x) = (a + b x^2) \sqrt{1 - x^2}$ 的钟形解；Munk [Mun21] 在仅约束总升力（即一阶矩）的简化设定下证明最优下洗为常数；而现代文献如 Ozanski [Oż24] 使用加权 $$L^2$$ 空间与Chebyshev多项式逼近，但将二阶矩约束松弛为弱形式，回避了严格变分框架。关键空白在于：缺乏在数学上自洽的能量空间中建立该非局部二次泛函的变分结构——特别是， $J_{\mathrm{cl}}$ 的主部本质是非局部伪微分算子作用，其双线性型应与某分数阶Sobolev范数等价。本文识别出：若将问题周期化至一维环面 $\mathbb{T} = \mathbb{R}/2\pi\mathbb{Z}$ ，则 $J_{\mathrm{cl}}$ 正比于半拉普拉斯算子 $(-\Delta)^{1/2}$ 的二次型 $\langle (-\Delta)^{1/2} \Gamma, \Gamma \rangle$ ，其自然定义域恰为分数阶Sobolev空间 $H^{1/2}(\mathbb{T})$ 。此空间是唯一使 $$J$$ 连续、强制且弱下半连续的希尔伯特空间，且其中迹算子无定义，故无法施加物理端点条件 $\Gamma(\pm 1) = 0$ ——这与传统光滑处理中隐含的边界行为形成根本张力。研究对象因此明确为：在 $H^{1/2}(\mathbb{T})$ 中极小化 $J(\Gamma) = \langle (-\Delta)^{1/2} \Gamma, \Gamma \rangle$ ，约束为线性连续泛函 $\ell_0(\Gamma) = \int_{-\pi}^{\pi} \Gamma(x) \, dx = L_0$ （总升力）与 $\ell_2(\Gamma) = \int_{-\pi}^{\pi} x^2 \Gamma(x) \, dx = M_0$ （展向二阶矩）。该问题的重要性在于：它是空气动力学中首个被严格置于分数阶变分框架的经典优化问题，其解的存在性、唯一性、正则性及显式结构直接关系到非局部能量最小化的分析范式构建，并为后续含更复杂约束（如不等式约束、多目标优化）的气动设计提供基础。

2. 主要定理或主要结果

定理1.1（存在唯一性）：对任意实数 $L_0, M_0 \in \mathbb{R}$ ，在周期化 admissible 集合 $\mathcal{A} := \{ \Gamma \in H^{1/2}(\mathbb{T}) : \ell_0(\Gamma) = L_0, \, \ell_2(\Gamma) = M_0 \}$ 上，泛函 $J(\Gamma) = \langle (-\Delta)^{1/2} \Gamma, \Gamma \rangle$ 存在唯一极小元 $\Gamma^*$ 。证明基于直接法：利用 $J(\Gamma) = 2\pi \sum_{k \in \mathbb{Z}} |k| |\widehat{\Gamma}(k)|^2$ 的强制性（因 $|k| \leq \sqrt{2}(1+|k|^2)^{1/2}$ ）与 $H^{1/2}(\mathbb{T})$ 中弱紧性，结合线性约束泛函 $\ell_0, \ell_2$ 的连续性完成弱极限传递；唯一性由 $$J$$ 的严格凸性（ $J(w)=0 \implies w=0$ ）保证。定理1.2（Euler–Lagrange方程）：极小元 $\Gamma^*$ 满足弱形式方程 $(-\Delta)^{1/2} \Gamma^* = \lambda_0 + \lambda_2 x^2$ 在对偶空间 $H^{-1/2}(\mathbb{T})$ 中成立，其中拉格朗日乘子 $\lambda_0, \lambda_2 \in \mathbb{R}$ 由约束 $\ell_0(\Gamma^*) = L_0$ , $\ell_2(\Gamma^*) = M_0$ 唯一确定。定理1.3（正则性）： $\Gamma^* \in H^s(\mathbb{T})$ 对所有 $$s < 5/2$$ 成立；特别地，由一维Sobolev嵌入 $H^s(\mathbb{T}) \hookrightarrow C^{1,\alpha}(\mathbb{T})$ （当 $$s > 3/2$$ ），有 $\Gamma^* \in C^{1,\alpha}(\mathbb{T})$ 对任意 $\alpha < s - 3/2$ ，即 $\Gamma^*$ 局部 Hölder 连续且具连续一阶导数，但二阶导数一般不存在（因右端 $$x^2$$ 在 $\pm\pi$ 不光滑）。定理1.4（显式解）：将 $\Gamma^*$ 通过线性变换 $x \mapsto x/\pi$ 回缩至 $$(-1,1)$$ ，存在常数 $c_0, a, b \in \mathbb{R}$ 使得

\Gamma^*(x) = c_0 + (a + b x^2) \sqrt{1 - x^2}, \quad x \in (-1,1).

若额外施加物理端点条件 $\Gamma^*(\pm 1) = 0$ ，则 $$c_0 = 0$$ ，解退化为经典Prandtl钟形分布 $\Gamma^*(x) = (a + b x^2) \sqrt{1 - x^2}$ 。

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

核心障碍在于：原始泛函 $J_{\mathrm{cl}}$ 的奇异积分结构使其无法在标准整数阶Sobolev空间中定义；而直接在 $$(-1,1)$$ 上处理分数阶空间 $H^{1/2}((-1,1))$ 会遭遇迹算子缺失与边界条件不可施加的困难。作者的根本创新是实施周期化重表述：将问题移植到环面 $\mathbb{T}$ ，利用其傅里叶基 $\{e^{ikx}\}_{k\in\mathbb{Z}}$ 将非局部算子精确对角化。关键技术步骤包括：（1）Biot–Savart算子的傅里叶刻画：证明分布意义下的卷积算子 $B\Gamma = \mathrm{p.v.}\, \Gamma' * (1/t)$ 满足 $\widehat{B\Gamma}(k) = \pi |k| \widehat{\Gamma}(k)$ （引理3.6与命题3.7），从而确立 $J_{\mathrm{cl}}(\Gamma) = \pi \langle (-\Delta)^{1/2} \Gamma, \Gamma \rangle$ ，确认 $H^{1/2}(\mathbb{T})$ 为自然能量空间；（2）约束泛函的连续性验证：利用 $H^{1/2}(\mathbb{T}) \hookrightarrow L^2(\mathbb{T})$ 及 $1,x^2 \in L^2((-\pi,\pi))$ ，通过Cauchy–Schwarz不等式证得 $\ell_0, \ell_2$ 是 $H^{1/2}(\mathbb{T})$ 上的连续线性泛函（定义3.3与注3.5），确保admissible集 $\mathcal{A}$ 是闭仿射子集；（3）弱Euler–Lagrange方程的推导：通过测试函数空间 $V = \ker \ell_0 \cap \ker \ell_2$ （余维数为2）及其在 $H^{-1/2}(\mathbb{T})$ 中的零化子，将变分条件转化为 $(-\Delta)^{1/2} \Gamma^*$ 属于 $\mathrm{span}\{\ell_0, \ell_2\}$ （定理1.2证明），避免了对奇异积分核的直接操作；（4）正则性分析的谱方法：由Euler–Lagrange方程的傅里叶形式 $|k| \widehat{\Gamma^*}(k) = \widehat{F}(k)$ 及 $$x^2$$ 的已知展开 $\widehat{x^2}(k) = O(|k|^{-2})$ ，导出 $\widehat{\Gamma^*}(k) = O(|k|^{-3})$ ，进而对任意 $$s < 5/2$$ 验证 $\sum_k (1+|k|^2)^s |\widehat{\Gamma^*}(k)|^2 < \infty$ （定理1.3证明），此衰减率精确刻画了由右端非光滑性导致的正则性上限；（5）显式求解的Tricomi技巧：虽文中未详述第6节，但指出通过Tricomi反演公式求解 $(-\Delta)^{1/2} \Gamma = \lambda_0 + \lambda_2 x^2$ 在 $$(-1,1)$$ 上的奇异积分方程，最终恢复代数-根式结构解——此步骤依赖于半拉普拉斯在区间上的逆算子理论，是连接抽象变分解与经典气动公式的桥梁。

4. 与之前工作的比较

与既有工作相比，本文的推进体现在三个维度：（1）能量空间的严格确立：此前Ozanski [Oż24] 在加权 $$L^2$$ 空间中构造近似解，但未识别出 $H^{1/2}$ 作为自然能量空间，其弱约束（二阶矩松弛）导致解类扩大且缺乏唯一性保证；本文首次证明 $H^{1/2}(\mathbb{T})$ 是 $$J$$ 的最小完备空间，且在此框架下获得存在唯一性，填补了严格变分基础的空白。（2）约束处理的范式转换：Munk [Mun21] 仅用一阶矩约束并得出常数下洗结论，其分析局限于光滑函数与点态边界条件；本文将二阶矩作为必需线性约束纳入，且在 $H^{1/2}$ 中以连续线性泛函形式实现，避免了对端点值的非法要求（因 $H^{1/2}$ 中迹算子无定义），从而真正反映物理约束的弱形式本质。（3）正则性与解结构的精确定量：经典文献 [Pra] 给出形式解 $\Gamma(x) = (a+bx^2)\sqrt{1-x^2}$ 却未说明其所属函数类；本文证明该解实际属于 $C^{1,\alpha}$ 但非 $$C^2$$ ，且其傅里叶系数衰减率为 $O(|k|^{-3})$ ，对应 $H^{s}$ 正则性上限 $$s < 5/2$$ ，这与右端 $$x^2$$ 的 $C^{0,\alpha}$ 正则性（在 $\pm\pi$ 处 Lipschitz 但不可微）完全匹配，揭示了奇异性传播的精确机制。代价方面：周期化虽技术便利，但掩盖了区间端点 $\pm 1$ 的真实奇性；回缩后的解 $\Gamma^*(x)$ 在 $x=\pm 1$ 处导数趋于无穷（因 $\sqrt{1-x^2}$ 的导数发散），这与物理上期望的有限斜率存在张力，而本文未引入加权空间或摄动来缓解此问题。此外，与数值工作 [PFGR09] 相比，本文提供了理论保证而非经验观察，但未涉及不等式约束或湍流修正等工程复杂性。从方法论看，本文未使用现代非局部分析中的硬工具（如Campanato估计、De Giorgi迭代），而是依托经典傅里叶分析与Hilbert空间变分法，其局限在于难以推广至高维或各向异性核；然而，这种‘低技术高洞察’的路径恰恰凸显了问题的核心——非局部能量与线性约束的几何耦合。

9. Navier-Stokes 正则性的隐性缺陷级联

Invisible Defect Cascades for Navier-Stokes Regularity

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12756v1

摘要翻译: 我们为三维不可压 Navier–Stokes 方程的局部正则性问题构造了一个条件尺度临界（scale-critical）缺陷级联约化。该定理针对一个潜在奇点，其任意充分小的二进制尺度均不落入 Caffarelli–Kohn–Nirenberg 小量性（smallness）区域。在框架的结构假设下，此类点无法由能量或压力的无差别集中（undifferentiated concentration）所解释；它必然导致如下二者之一：(i) 非有效的移动窗口可观测性（non-effective moving-window observability），或 (ii) 一个 Navier-Stokes 可实现的（NS-realizable）、经清洗的（cleaned）、尺度临界的缺陷级联，该级联对联合的主动压力（active-pressure）、通量（flux）、能量（energy）及伴随迹（adjoint-trace）检验均不可见（invisible）。该约化基于二进制重标度（dyadic rescaling）、粗粒化（coarse graining）、主动/调和压力分解（active/harmonic pressure splitting）、Reynolds 协方差正性（Reynolds covariance positivity）、压力相容性（pressure compatibility）以及局部能量-通量恒等式（local energy-flux identities）。有限窗口可观测性将可能的隐性方向约化为显式定义的剩余核（residual kernels）；而预算相容性（budget compatibility）与符号一致性（sign coherence）则将可见的压力–通量活动转化为耗竭（depletion）。因此，在一类受控窗口类（controlled window class）中，若二进制缺陷提取（dyadic defect extraction）、可观测耗竭（observable depletion）与移动窗口增长控制（moving-window growth control）均成立，则有效可观测性（effective observability）连同 Navier-Stokes 可实现的联合隐性级联（NS-realizable combined-invisible cascades）之排除，即导出一个 CKN 尺度，从而获得局部正则性。最终部分将剩余障碍诠释为一个临界递归问题（critical recurrence problem），并提出针对涡旋拉伸（vortex stretching）、主动压力做功（active pressure work）及跨尺度通量（interscale flux）的诊断方法。空间调和压力（spatially harmonic pressure）被保留为物理意义上的局部压力分量；仅纯时间依赖的压力函数（purely time-dependent pressure functions）被视为规范（gauge）。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压Navier-Stokes方程在潜在奇点附近的局部正则性问题，核心对象是适合弱解 $$(u, p)$$ 满足

\partial_t u - \Delta u + \nabla \cdot (u \otimes u) + \nabla p = 0, \quad \nabla \cdot u = 0

在抛物柱体 $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$ 内的结构行为。设 $$z_0 = (x_0, t_0)$$ 为候选奇点，取 dyadic 尺度序列 $r_n = 2^{-n}$ ；定义尺度不变量：

A(z_0, r) = \operatorname{ess\,sup}_{t_0 - r^2 < t < t_0} \frac{1}{r} \int_{B_r(x_0)} |u(x,t)|^2 \,dx,

E(z_0, r) = \frac{1}{r} \int_{Q_r(z_0)} |\nabla u|^2 \,dx dt,

C(z_0, r) = \frac{1}{r^2} \int_{Q_r(z_0)} |u|^3 \,dx dt,

D(z_0, r) = \frac{1}{r^2} \int_{Q_r(z_0)} |p - (p)_{B_r(x_0)}(t)|^{3/2} \,dx dt,

其中 $(p)_{B_r(x_0)}(t)$ 是压力在球上的平均。记 $\Psi(z_0, r) = C(z_0, r) + D(z_0, r)$ 。经典 Caffarelli–Kohn–Nirenberg (CKN) 理论断言：存在普适常数 $\varepsilon_{\mathrm{CKN}} > 0$ ，使得若 $\Psi(z_0, r) \leq \varepsilon_{\mathrm{CKN}}$ ，则 $$u$$ 在更小柱体内 Hölder 连续，从而 $$z_0$$ 非奇点。因此，潜在奇点被刻画为满足

\Psi(z_0, r_n) > \varepsilon_{\mathrm{CKN}} \quad \text{对所有充分大的 } n

的点——即不存在任意小的 dyadic 尺度进入 CKN 小性区域。该条件本身不蕴含发散，但意味着标准能量/压力控制失效。已有理论（如 CKN、Escauriaza–Seregin–Šverák、Kenig–Koch）主要依赖单尺度临界范数小性或特定结构（如自相似、古代解、单分量控制）来排除奇点；而本文拒绝将障碍简化为“能量或压力的无差别集中”，转而追问：若 $\Psi(z_0, r_n)$ 始终超阈值，那么在 dyadic 粗粒化后残留的数学对象必须具备何种精确结构？现有框架（如 Duchon–Robert 通量、Constantin–E–Titi 缺陷测度、Seregin–Šverák 局部压力分解）虽提供部分工具，但未系统整合压力活性/调和分离、Reynolds 协方差正性、局部能量-通量恒等式与伴随迹测试的层级观测机制。本文旨在填补这一空白：构建一个条件性尺度临界缺陷级联约化定理，将非CKN分支的障碍严格约束为一种兼具NS可实现性（NS-realizability）、清洁性（cleaned of gauge artifacts）、尺度临界性（scale-critical）、且对四重联合观测（主动压力、通量、能量、伴随迹）完全不可见的缺陷级联。该对象不是形式核向量，而是由真实适合弱解经 dyadic 重标度与粗粒化生成的物理缺陷包 $(U_{n,\ell_n}, P_{n,\ell_n}; P^{\mathrm{act}}_{n,\ell_n}, P^{\mathrm{har}}_{n,\ell_n}, R_{n,\ell_n}, \Pi_{n,\ell_n})$ ，其中 Reynolds 缺陷 $R_{n,\ell_n} = S_{\ell_n}(u^{(n)} \otimes u^{(n)}) - U_{n,\ell_n} \otimes U_{n,\ell_n}$ 与通量缺陷 $\Pi_{n,\ell_n} = -R_{n,\ell_n} : \nabla U_{n,\ell_n}$ 必须满足动量恒等式、压力兼容性、局部能量不等式及 $R_{n,\ell_n} \geq 0$ （Reynolds 协方差正性）。问题的重要性在于：它将模糊的紧性失败转化为一个可证伪的、具明确物理与代数约束的数学对象；若该对象不存在，则局部正则性得证；若存在，则构成对 Navier-Stokes 正则性猜想的根本性反例候选。

2. 主要定理或主要结果

本文未证明全局正则性，而是建立了一个条件性结构约化定理：在 dyadic 缺陷提取、可观测耗散、有限窗 NS 可实现性排除与移动窗增长控制四项假设下，可推出局部正则性。具体而言，设 $$z_0$$ 为潜在奇点， $r_n = 2^{-n}$ ，若存在序列 $\ell_n \in (0,1)$ 使得粗粒化缺陷包 $D_{n,\ell_n} = (U_{n,\ell_n}, P_{n,\ell_n}; P^{\mathrm{act}}_{n,\ell_n}, P^{\mathrm{har}}_{n,\ell_n}, R_{n,\ell_n}, \Pi_{n,\ell_n})$ 满足以下四条件，则必存在 $$n_0$$ 使 $\Psi(z_0, r_{n_0}) \leq \varepsilon_{\mathrm{CKN}}$ ，从而 $$z_0$$ 正则：（1）dyadic 缺陷提取：对每个 $$n$$ ， $D_{n,\ell_n}$ 由 $u^{(n)} = r_n u(r_n x, r_n^2 t)$ 经卷积 $S_{\ell_n}$ 生成，并精确满足粗粒化 Navier-Stokes 恒等式 $\partial_t U_{n,\ell_n} - \Delta U_{n,\ell_n} + \nabla \cdot (U_{n,\ell_n} \otimes U_{n,\ell_n}) + \nabla P_{n,\ell_n} = \nabla \cdot R_{n,\ell_n}$ 、压力兼容性 $\Delta P^{\mathrm{har}}_{n,\ell_n} = 0$ 、Reynolds 协方差正性 $R_{n,\ell_n} \geq 0$ 及局部能量-通量恒等式 $\partial_t \frac{|U_{n,\ell_n}|^2}{2} + \nabla \cdot \left( \frac{|U_{n,\ell_n}|^2}{2} U_{n,\ell_n} \right) - \Delta \frac{|U_{n,\ell_n}|^2}{2} + \nabla P_{n,\ell_n} \cdot U_{n,\ell_n} = - \Pi_{n,\ell_n} - |\nabla U_{n,\ell_n}|^2$ ；（2）可观测耗散：存在常数 $$c_0 > 0$$ 及有限窗 $W_n = (n, \ell_n, \Lambda_n, \chi_n, s_n)$ ，使得联合观测映射 $O^{\mathrm{comb}}_{W_n} = (O^P_{W_n}, O^F_{W_n}, O^E_{W_n}, O^T_{W_n})$ 满足 $\|O^{\mathrm{comb}}_{W_n}(d_n)\|_{\mathbb{R}^4} \geq c_0 \|d_n\|$ 对所有 $d_n \in \mathrm{Range}\, R^{\mathrm{NS}}_{W_n}$ 成立，其中 $R^{\mathrm{NS}}_{W_n}$ 是由实际 NS 解生成的缺陷包空间；（3）有限窗 NS 可实现性排除：对每个 $$W_n$$ ，残差空间 $\mathcal{T}^{\mathrm{PFET}}_{W_n, \mathrm{NS}} = \{ d \in \mathrm{Range}\, R^{\mathrm{NS}}_{W_n} : O^{\mathrm{comb}}_{W_n}(d) = 0 \}$ 为零空间，即 $\dim \mathcal{T}^{\mathrm{PFET}}_{W_n, \mathrm{NS}} = 0$ ；（4）移动窗增长控制：存在 $\alpha > 0$ 使得 $\sup_n \ell_n^{-\alpha} \|U_{n,\ell_n}\|_{L^\infty_t L^2_x(Q_1)} < \infty$ 且 $\sup_n \ell_n^{-\alpha} \|\nabla U_{n,\ell_n}\|_{L^2_{x,t}(Q_1)} < \infty$ 。该四元组蕴含：若 $$z_0$$ 非正则，则必存在 NS 可实现的、对四重观测不可见的缺陷级联 $\{(W_n, d_n, y_n)\}$ ，满足 $\|d_n\| \geq c_0$ , $\|y_n\| = 1$ , $O^{\mathrm{comb}}_{W_n}(y_n) \to 0$ , 且 $|\langle d_n, y_n \rangle| \geq c_1 > 0$ 。反之，若此级联被排除，则 $$z_0$$ 正则。文中明确指出，首个可行定理（Theorem 15.7）为：在受控窗类中，压力-通量耗散成立，即 $\int_{Q_1} \Pi_{n,\ell_n} \,dx dt \leq -c \|U_{n,\ell_n}\|_{L^3(Q_1)}^3$ ，其中 $$c > 0$$ 依赖于窗参数。

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

核心障碍在于：传统方法（如能量估计、紧性论证）无法区分由真实 Navier-Stokes 动力学生成的缺陷与形式上满足方程但无物理意义的“幻影缺陷”（phantom defects）。作者的真正创新点是构建一个层级式联合可观测性框架，其每层均强制缺陷进入更小的残差核，并通过 NS 可实现性滤波确保障碍的物理真实性。第一层是主动压力观测：定义主动压力 $P^{\mathrm{act}}_{n,\ell_n}$ 为由局部二次源 $S_{\ell_n}(u^{(n)} \otimes u^{(n)})$ 生成的部分，而调和压力 $P^{\mathrm{har}}_{n,\ell_n}$ 被保留在动量与能量通道中（仅时间依赖压力 $$p(t)$$ 被视为规范自由度）。这避免了将物理压力成分误判为规范。第二层是通量观测：对主动压力不可见的缺陷（即 $\|O^P_{W_n}(d)\|$ 小），作者利用局部能量-通量恒等式 $\partial_t \frac{|U|^2}{2} + \nabla \cdot (\frac{|U|^2}{2} U) - \Delta \frac{|U|^2}{2} + \nabla P^{\mathrm{act}} \cdot U = -\Pi - |\nabla U|^2$ ，结合 Reynolds 协方差正性 $R_{n,\ell_n} \geq 0$ ，将通量缺陷 $\Pi_{n,\ell_n} = -R_{n,\ell_n} : \nabla U_{n,\ell_n}$ 的符号相干性（sign coherence）与预算兼容性（budget compatibility）转化为可观测耗散，即证明 $\int \Pi_{n,\ell_n} \leq -c \int |U_{n,\ell_n}|^3$ 。第三层是能量观测：对压力-通量不可见的方向，作者引入正定能量观测 $O^E_{W_n}(d) = \int_{Q_1} |\nabla U_{n,\ell_n}|^2$ ，并证明在残差核 $\mathcal{K}^{\mathrm{PF}}_{W_n}$ 上，能量观测非退化，即 $\|O^E_{W_n}(d)\| \gtrsim \|d\|$ 。第四层是伴随迹观测：对能量不可见的方向，作者构造迹缺陷映射 $\mathcal{T}^{\mathrm{defect}}_{W_n}(d) = \langle d, \phi_n \rangle$ ，其中 $\phi_n$ 是线性抛物伴随方程的解，利用迹成本对偶公式 $\|\mathcal{T}^{\mathrm{defect}}_{W_n}\|_{\mathrm{op}} = \inf_{\phi: \phi|_{\partial_p Q_1} = 0} \left\{ \|\phi\|_{L^\infty} + \|\partial_t \phi + \Delta \phi\|_{L^1} \right\}$ ，并通过迹对齐（trace alignment）确保在最终残差空间 $\mathcal{T}^{\mathrm{PFET}}_{W_n, \mathrm{NS}}$ 上，迹观测亦非退化。关键引理包括：（i）有限维等价引理（Lemma 3.9）：在固定窗 $$W_n$$ 下，联合观测映射的零空间 $\ker O^{\mathrm{comb}}_{W_n}$ 是有限维的，且其维数由窗参数 $\Lambda_n, \chi_n$ 显式控制；（ii）压力-通量预算证书引理（Lemma 7.2）：若局部压力-通量预算 $\int_{Q_1} (P^{\mathrm{act}}_{n,\ell_n} \cdot \nabla \cdot U_{n,\ell_n} + \Pi_{n,\ell_n}) \geq 0$ 成立，则必有 dyadic 耗散 $\int_{Q_1} \Pi_{n,\ell_n} \leq -c \int_{Q_1} |U_{n,\ell_n}|^3$ ；（iii）Carleson 包装条件（Lemma 8.1）：若压力-通量预算满足 $\sum_{k=n}^{n+M} \ell_k^2 \int_{Q_{\ell_k}} |\Pi_{k,\ell_k}| \leq C M \ell_n^2$ ，则可控制级联增长。整个框架依赖于 dyadic 重标度、粗粒化、主动/调和压力分裂、Reynolds 协方差正性、压力兼容性及局部能量-通量恒等式的精密耦合，而非孤立使用任一工具。

4. 与之前工作的比较

本文与既有工作存在多维度本质差异。首先，与 CKN 理论相比：CKN 仅要求单尺度 $\Psi(z_0,r)$ 小即得正则性，而本文不预设任何小性，转而分析当 $\Psi(z_0,r_n) > \varepsilon_{\mathrm{CKN}}$ 对所有大 $$n$$ 成立时，障碍必须具有的精细结构；CKN 的障碍是模糊的“浓度”，本文的障碍是明确定义的 NS 可实现缺陷级联 $\{(W_n,d_n,y_n)\}$ ，其存在需同时满足 $\|d_n\| \geq c_0$ , $O^{\mathrm{comb}}_{W_n}(y_n) \to 0$ , $|\langle d_n, y_n \rangle| \geq c_1$ 。其次，与 Escauriaza–Seregin–Šverák 型临界空间准则相比：后者依赖 $u \in L^\infty_t L^3_x$ 等全局范数控制，本文完全局域化，仅依赖抛物柱体 $Q_{r_n}$ 内的粗粒化结构，且不假设任何临界范数有界（ $\Phi(r_n)$ 可趋于无穷）。第三，与 Kenig–Koch 的自相似奇点排除相比：自相似解是静态的、尺度不变的特殊解，而本文的缺陷级联是动态的、尺度临界的序列，其每一项 $$d_n$$ 来自不同尺度的粗粒化，且必须通过四重观测链的逐级筛选。第四，与 Tao 的平均化爆破构造相比：Tao 构造展示了能量抵消与调和分析估计的局限性，本文对此的回应是引入 NS 可实现性滤波——形式核向量 $d \in \ker O^{\mathrm{comb}}_{W_n}$ 不自动构成障碍，仅当 $d \in \overline{\mathrm{Range}\, R^{\mathrm{NS}}_{W_n}}$ （即属于实际 NS 解生成缺陷包的闭包）时才危险；这避免了 Tao 所警示的“伪障碍”。第五，与 Seregin–Šverák 的局部压力正则性工作相比：他们关注调和压力的 $$L^1$$ 正则性，本文则将调和压力 $P^{\mathrm{har}}$ 视为物理成分保留在能量通道中，仅将纯时间函数 $$p(t)$$ 视为规范，从而更精确地分离物理压力与规范自由度。代价在于：本文结论是条件性的，四项假设（缺陷提取、可观测耗散、NS 可实现性排除、增长控制）均需独立验证；目前仅完成第一项（Lemma 2.9）与第二项的部分（Theorem 15.7），后两项仍是开放问题。局限性在于：框架依赖于 dyadic 尺度与粗粒化参数 $\ell_n$ 的选择，尚未给出 $\ell_n$ 的普适选取法则；且联合观测映射的对偶空间结构（尤其是伴随迹）的显式计算仍待深入。从提供内容中无法确认本文是否改进了 $\varepsilon_{\mathrm{CKN}}$ 的数值大小，也未显式展开与 Albritton–Barker–Prange 或 Barker–Prange 定量集中结果的误差阶比较。

10. 关于统计平稳三维Navier-Stokes流系综平均值界长的最优minimax公式

Optimal minimax formula for bounds on ensemble averages of statistically stationary three-dimensional Navier-Stokes flows

作者: Anne Bronzi, Cecília F. Mondaini, Ricardo M. S. Rosa

类别: math.AP, math-ph

发布日期: 2026-06-11

arXiv ID: 2606.12825v1

摘要翻译: 我们建立了关于三维不可压Navier-Stokes方程相关流体力学量的系综平均值的最优上界公式。该公式以minimax问题的形式给出，推广了Tobasco、Goluskin与Doering（2018）针对有限维系统以及Rosa与Temam（2022）针对二维Navier-Stokes方程所发展的框架。三维情形缺乏整体适定性，构成一大挑战；我们通过在Foias-Prodi平稳统计解空间内工作来克服这一困难。该minimax公式是通过利用概率测度在相空间弱拓扑下的特定子空间所具有的适当紧性和连续性性质而导出的。本结果的一个显著特征在于对最大化测度的刻画：与先前情形不同，三维中的最优界是在极点上实现的，这些极点是至多两个Dirac delta测度的特定凸组合，而非恰好一个；这一结构自然地源于Foias-Prodi平稳统计解刻画中由平均能量耗散不等式所给出的约束条件。

Comment: 无

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

1. 研究对象和背景

本文研究对象是三维不可压缩Navier-Stokes方程（3D NSE）在有界区域 $\Omega \subset \mathbb{R}^3$ 上的统计稳态解所诱导的系综平均量的最优上界问题。核心方程为：

\begin{cases} \partial_t u - \nu \Delta u + (u \cdot \nabla) u + \nabla p = f, & \text{in } \Omega, \\ \nabla \cdot u = 0, & \text{in } \Omega, \\ u = 0, & \text{on } \partial \Omega, \end{cases}

其中 $u = u(t,x) \in \mathbb{R}^3$ 为速度场， $p = p(t,x) \in \mathbb{R}$ 为运动学压强， $\nu > 0$ 为运动粘性系数， $f = f(x) \in V'$ 为与时间无关的外力项。函数空间设定为标准Leray-Hopf框架： $H = \overline{\{ u \in C_c^\infty(\Omega)^3 : \nabla \cdot u = 0 \}}^{L^2}$ ， $V = \overline{\{ u \in C_c^\infty(\Omega)^3 : \nabla \cdot u = 0 \}}^{H_0^1}$ ，满足紧嵌入 $V \hookrightarrow\!\!\!\rightarrow H \hookrightarrow\!\!\!\rightarrow V'$ ，且 $V = D(A^{1/2})$ ， $$A$$ 为Stokes算子。记 $F(u) = f - \nu A u - B(u,u)$ ，其中双线性项 $B: V \times V \to V'$ 由三线性形式 $b(u,v,w) = \int_\Omega (u \cdot \nabla)v \cdot w \, dx$ 定义，满足经典Ladyzhenskaya型估计 $\|B(u,u)\|_{V'} \le c_L \|u\|_{L^2}^{1/2} \|\nabla u\|_{L^2}^{3/2}$ 。

由于3D NSE缺乏全局适定性（即Leray-Hopf弱解的唯一性未被证实），无法定义传统意义下由流映射 $S(t): H \to H$ 诱导的时间不变概率测度（即不变Borel测度）。为此，作者采用Foias-Prodi框架下的平稳统计解（stationary statistical solution, SSS）——一种不依赖于解的唯一性、仅基于物理守恒律与耗散不等式的弱概率刻画。具体而言，一个Borel概率测度 $\mu \in \mathcal{P}(H)$ 被称为Foias-Prodi平稳统计解，若它满足以下三类条件：

（i）有限平均涡量（enstrophy）：

\int_H \|\nabla u\|_{L^2}^2 \, d\mu(u) < \infty; \tag{1.3}

（ii）平均能量耗散不等式（mean energy dissipation inequalities）：对任意非负、非减、 $$C^1$$ 函数 $\psi \in C^1([0,\infty))$ 且 $\psi'$ 有界，

\int_H \psi'(\|u\|_{L^2}^2) \left\{ \nu \|\nabla u\|_{L^2}^2 - \langle f, u \rangle_{V',V} \right\} d\mu(u) \le 0; \tag{1.4}

该条件本质上是Leray-Hopf能量不等式在统计平均意义下的推广，反映了湍流中能量从大尺度向小尺度级串并最终被粘性耗散的物理机制；

（iii）平均Liouville型输运方程（mean Liouville-type transport equation）：对所有柱状测试泛函 $\Psi \in \mathcal{T}_{\text{cyl}}$ （见定义2.1），

\int_H \langle F(u), D\Psi(u) \rangle_{V',V} \, d\mu(u) = 0. \tag{1.5}

此式可视为Fokker-Planck方程在零扩散极限下的弱形式，表征测度 $\mu$ 在“相空间” $$H$$ 上的统计平衡。

研究目标是为形如 $\langle \phi \rangle_\mu = \int_H \phi(u) \, d\mu(u)$ 的系综平均量建立最优上界公式，即精确刻画

\sup_{\mu \in \mathcal{P}_{\text{fpsss}}(B_w)} \int_H \phi(u) \, d\mu(u),

其中 $\mathcal{P}_{\text{fpsss}}(B_w)$ 是支撑于弱紧集 $B \subset H$ 上、满足(1.3)–(1.5)的Foias-Prodi平稳统计解全体。该问题的重要性在于：它绕过了解的存在唯一性障碍，直接从统计本构关系出发，为湍流中的关键物理量（如动能、能量通量）提供严格、可计算、且不可改进的理论上限，是连接数学分析与湍流工程建模的关键桥梁。此前，Tobasco–Goluskin–Doering (2018) 对有限维ODE系统、Rosa–Temam (2022) 对2D NSE均建立了形式为 $\max_\mu \langle \phi \rangle_\mu = \inf_\Psi \max_u \{ \phi(u) + \langle F(u), D\Psi(u) \rangle_{V',V} \}$ 的极小极大公式，其极值在单点Dirac测度处实现。然而，将该框架推广至3D情形面临根本性挑战：缺乏全局吸引子（即无 $$H$$ -范数意义下的紧吸收集）、弱拓扑下被积函数缺乏足够连续性、以及(1.4)引入的无穷维线性约束使得极值测度结构发生本质改变。本文旨在填补这一空白，首次为3D NSE建立严格成立的最优极小极大公式，并揭示其极值测度必为至多两个Dirac测度的凸组合这一深刻结构。

2. 主要定理或主要结果

本文在如下严格假设下证明了主定理（Theorem 5.1）：设 $\Omega \subset \mathbb{R}^3$ 为有界光滑区域， $f \in V'$ ， $\nu > 0$ ；令 $B \subset H$ 为弱紧、有界、正向不变集（例如 $B = \overline{B_H(r)}$ ， $r > r_0 = \|f\|_{V'} / (\nu \lambda_1^{1/2})$ ）；设 $\phi: V \to \mathbb{R}$ 为弱连续泛函且在 $$V$$ -范数下具有次二次增长，即存在常数 $C_\phi > 0$ 使得 $|\phi(u)| \le C_\phi (1 + \|u\|_V^2)$ ；测试泛函空间取为柱状泛函 $\mathcal{T}_{\text{cyl}}$ （定义2.1），并赋予范数 $\|\Psi\|_{\mathcal{T}_{\text{cyl}}} = \sup_{u \in H} |\Psi(u)| + \sup_{u \in V} \|D^2\Psi(u)\|_{L^2}$ 。则对所有此类 $\phi$ ，成立如下最优极小极大公式：

\max_{\mu \in \mathcal{P}_{\text{fpsss}}(B_w)} \int_H \phi(u) \, d\mu(u) = \inf_{\Psi \in \mathcal{T}_{\text{cyl}}} \max_{(u_1, u_2, \theta_1, \theta_2) \in \mathcal{B}_f} \left\{ \theta_1 \big( \phi(u_1) + \langle F(u_1), D\Psi(u_1) \rangle_{V',V} \big) + \theta_2 \big( \phi(u_2) + \langle F(u_2), D\Psi(u_2) \rangle_{V',V} \big) \right\}, \tag{1.1}

其中 $\theta_1 \in [0,1]$ , $\theta_2 = 1 - \theta_1$ ，集合 $\mathcal{B}_f$ 由推论4.3明确定义，其元素 $(u_1, u_2, \theta_1, \theta_2)$ 满足 $u_1, u_2 \in B_w$ 且 $\|u_1\|_{L^2}^2 = \|u_2\|_{L^2}^2 = e$ （即同处于某一能量壳层），且满足单一的线性约束 $\theta_1 \{ \nu \|\nabla u_1\|_{L^2}^2 - \langle f, u_1 \rangle_{V',V} \} + \theta_2 \{ \nu \|\nabla u_2\|_{L^2}^2 - \langle f, u_2 \rangle_{V',V} \} = 0$ 。该公式表明，最优上界由一族特定的两点凸组合测度 $\mu = \theta_1 \delta_{u_1} + \theta_2 \delta_{u_2}$ 实现，而非单点测度。进一步，对动能 $\phi(u) = \frac{\rho}{2} \|u\|_{L^2}^2$ 和能量通量 $\phi(u) = \rho \int_\Omega (u \cdot \nabla)u \cdot (P_k u) \, dx$ 等典型物理量，该公式成立；而对于涡量 $\|\nabla u\|_{L^2}^2$ 或能量耗散率 $\nu \|\nabla u\|_{L^2}^2 - \langle f, u \rangle_{V',V}$ ，需额外假设 $\mu$ 具有更强的正则性（如由Leray-Hopf解的时间平均极限生成），此时可通过逼近 $\phi_k(u) = \|\nabla P_k u\|_{L^2}^2$ 并取极限得到相应的最优上界公式（见第6.8节）。此外，通过将 $\phi$ 替换为 $-\phi$ ，可立即导出最优下界公式：

\min_{\mu \in \mathcal{P}_{\text{fpsss}}(B_w)} \int_H \phi(u) \, d\mu(u) = \sup_{\Psi \in \mathcal{T}_{\text{cyl}}} \min_{(u_1, u_2, \theta_1, \theta_2) \in \mathcal{B}_f} \left\{ \theta_1 \big( \phi(u_1) + \langle F(u_1), D\Psi(u_1) \rangle_{V',V} \big) + \theta_2 \big( \phi(u_2) + \langle F(u_2), D\Psi(u_2) \rangle_{V',V} \big) \right\}.

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

证明的核心障碍在于：3D NSE缺乏全局适定性，导致无法像2D情形那样在强拓扑下构造紧吸引子 $K \subset H$ 并将优化问题限制在 $\mathcal{P}(K)$ 上。直接套用Rosa-Temam (2022) 的证明路线会失败，原因有三：（1）不存在 $$H$$ -范数意义下的紧吸收集，仅有弱拓扑下的弱紧集 $$B_w$$ ；（2）被积函数 $\phi(u) + \langle F(u), D\Psi(u) \rangle_{V',V}$ 在弱拓扑 $\sigma(H,H')$ 下不连续（因 $$F$$ 含非线性项 $$B(u,u)$$ ，其在弱收敛下不连续）；（3）Foias-Prodi平稳统计解的定义包含无穷维约束（1.4），其极值结构远比2D情形复杂。

作者的真正创新点在于构建了一套精巧的、适配弱拓扑与统计解结构的泛函分析框架。具体技术路径分为四步：

第一步：拓扑重构与空间选择。 关键是放弃强拓扑，转而工作在弱拓扑 $$H_w$$ 上。作者选取弱紧集 $B \subset H$ （如能量球 $\overline{B_H(r)}$ ），并考虑其上的Borel概率测度空间 $\mathcal{P}(B_w)$ ，赋予弱*拓扑（即对所有 $\psi \in C_b(H_w)$ 连续）。在此拓扑下， $\mathcal{P}(B_w)$ 是紧凸集。更重要的是，作者证明了满足平均涡量约束（1.3）和平均能量耗散不等式（1.4）的测度子集 $\mathcal{P}_{\text{fp}}(B_w)$ 不仅是闭凸的，而且是一致紧的（uniformly tight）：即对任意 $\varepsilon > 0$ ，存在 $$V$$ 中的有界集 $E_\varepsilon$ （因 $V \hookrightarrow\!\!\!\rightarrow H$ 紧），使得 $\mu(E_\varepsilon) > 1 - \varepsilon$ 对所有 $\mu \in \mathcal{P}_{\text{fp}}(B_w)$ 成立。这一性质源于 $$V$$ 的紧嵌入和（1.3）的控制，是后续连续性论证的基础。

第二步：被积函数的连续性恢复。 尽管 $\phi + \langle F, D\Psi \rangle$ 在 $$H_w$$ 上不连续，但作者证明了当 $\phi$ 在 $$V$$ 上弱连续且 $\Psi \in \mathcal{T}_{\text{cyl}}$ 时，映射 $G(\mu, \Psi) = \int_H \{ \phi(u) + \langle F(u), D\Psi(u) \rangle_{V',V} \} \, d\mu(u)$ 在乘积空间 $\mathcal{P}_{\text{fp}}(B_w) \times \mathcal{T}_{\text{cyl}}$ 上是联合连续的。其关键在于： $\mathcal{P}_{\text{fp}}(B_w)$ 的一致紧性保证了 $G(\cdot, \Psi)$ 在 $\mu$ 上的连续性（利用 $$F$$ 在 $$V$$ 上的连续性和 $\Psi$ 的光滑性）；而 $\mathcal{T}_{\text{cyl}}$ 的范数（2.7）设计恰能控制 $D\Psi$ 的二阶导数，从而保证 $G(\mu, \cdot)$ 在 $\Psi$ 上的连续性。这一步是应用Sion极小极大定理的前提。

第三步：极小极大交换与极值点定位。 利用 $\mathcal{P}_{\text{fp}}(B_w)$ 的紧凸性及 $$G$$ 的联合连续性，作者成功应用Sion极小极大定理，将 $\max_\mu \inf_\Psi G(\mu, \Psi)$ 交换为 $\inf_\Psi \max_\mu G(\mu, \Psi)$ 。随后，利用 $G(\cdot, \Psi)$ 在 $\mu$ 上的上半连续性及 $\mathcal{P}_{\text{fp}}(B_w)$ 的紧凸性，应用Bauer最大值原理，将 $\max_\mu G(\mu, \Psi)$ 限制在其极值点集 $\mathcal{E}(\mathcal{P}_{\text{fp}}(B_w))$ 上。

第四步：极值点的精细刻画。 这是全文最深刻的技术突破。作者证明： $\mathcal{P}_{\text{fp}}(B_w)$ 的任意极值点 $\mu$ 必须满足（1.4）的等式形式，且其支撑集 $\operatorname{supp}(\mu)$ 必位于某个能量壳层 $\{ u \in H : \|u\|_{L^2}^2 = e \}$ 上（引理4.4）。在此壳层上，无穷维不等式族（1.4）退化为一个单一的线性约束： $\int_H \{ \nu \|\nabla u\|_{L^2}^2 - \langle f, u \rangle_{V',V} \} \, d\mu(u) = 0$ 。根据凸分析基本定理（Krein-Milman与Minkowski-Carathéodory），一个在无限维空间中受单一线性约束的紧凸集的极值点，其支撑集至多含两个点。因此， $\mu = \theta_1 \delta_{u_1} + \theta_2 \delta_{u_2}$ ，其中 $$u_1, u_2$$ 位于同一能量壳层，且权重 $\theta_i$ 满足上述线性约束。这一结构完全由物理耗散不等式（1.4）驱动，是3D湍流统计本质的数学体现。

4. 与之前工作的比较

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

1. 与Tobasco-Goluskin-Doering (2018) 和 Rosa-Temam (2022) 的根本差异。 前两者的工作均建立在系统具有全局适定性与紧吸引子的假设之上：TGD针对有限维ODE，RT针对2D NSE（其解在 $$H$$ 中全局存在、唯一、且存在紧全局吸引子 $\mathcal{A} \subset H$ ）。这使得他们能将优化问题自然地限制在 $\mathcal{P}(\mathcal{A})$ 上，并直接应用经典极小极大定理与Bauer原理，最终得到单点极小极大公式（1.2）。而本文面对的是3D NSE，其解的唯一性悬而未决，故不存在强拓扑下的紧吸引子。本文的突破在于：彻底放弃强拓扑，转而构建一个适配弱解理论的、基于弱拓扑与Foias-Prodi统计解的全新框架。代价是极小极大公式从单点变为两点凸组合，结构更复杂，但这是物理真实性的必然要求。

2. 与Foias-Prodi原始框架的推进。 Foias与Prodi (1970s) 首次定义了平稳统计解，但其主要目标是存在性与弱极限行为，未涉及最优控制或变分公式。本文首次将统计解理论与凸优化与极小极大分析深度结合，将物理约束（1.3）–（1.5）转化为测度空间上的凸集，并利用其几何结构（极值点）导出可计算的上界公式。这为统计解理论提供了全新的、面向应用的视角。

3. 与Vishik-Fursikov (VF) 框架的对比（见第6.9节）。 VF框架定义平稳统计解为Leray-Hopf解的时间平均极限，其优点是与动力学更贴近，但缺点是存在性证明依赖于特定的极限过程，且其正则性（如（1.3））需额外验证。本文的Foias-Prodi框架更具普适性，不预设解的动力学起源，仅依赖物理守恒律。文中明确指出，若仅用VF框架（即只满足（1.3）和（1.5），而无（1.4）），则无法获得足够的线性约束来限定极值点结构，导致证明失败。因此，（1.4）不仅是物理必需，更是数学可行性的关键。

4. 与数值SoS（Sum-of-Squares）方法的关联与局限。 文中提及（6.7节），该极小极大公式可离散化为半定规划（SDP）问题，类似于TGD与RT的工作。然而，由于3D情形下测试泛函 $\Psi$ 需在弱拓扑下处理，且极值点为两点组合，其SoS松弛的间隙（gap） 可能大于2D情形。文中未给出具体量化估计，但从结构上看，两点组合的优化自由度更高，理论上可能带来更紧的界，但也增加了数值求解的维度。

5. 适用范围与代价。 本文公式的适用范围是所有满足次二次增长与弱连续性的 $\phi$ ，包括动能与能量通量，但不直接适用于涡量或耗散率，因其涉及 $\|\nabla u\|_{L^2}^2$ ，在弱拓扑下不连续。对此，作者提出两种补救：一是加强统计解的正则性假设（如要求其为Leray-Hopf解的时间平均极限），二是采用逼近序列 $\phi_k(u) = \|\nabla P_k u\|_{L^2}^2$ 并取极限。后者虽能恢复结果，但引入了近似误差，且极限过程的交换性需额外验证。这是为克服3D不适定性所付出的必要技术代价。

11. 一般曲面上的三维Neumann Green函数：奇异性渐近分析与边界积分方法

The three dimensional Neumann Green’s function for general surfaces: singular asymptotics and boundary integral methods

作者: Alan E. Lindsay, Andrew J. Bernoff, Tristan Goodwill, Jeremy G. Hoskins

类别: math.NA, math.AP, physics.app-ph, physics.comp-ph

发布日期: 2026-06-10

arXiv ID: 2606.12714v1

摘要翻译: 我们对一般几何形状下的三维Neumann Green函数开展渐近分析，并构造一种高阶边界积分方法。Neumann Green函数是科学与工程众多领域中出现的基本量。在将奇异摄动方法应用于强局域化反应与扩散输运问题时，Green函数在调控全局动力学中起关键作用。然而，该基本量仅能在有限几类几何形状下以闭式解形式确定。Laplacian算子的Green函数是一个带有Dirac强迫项的椭圆问题；对其解的精确分辨要求将其谨慎分解为奇性部分与正则部分。体情形（bulk scenario）指源点位于曲面之外，此时奇性由自由空间Green函数给出；而曲面情形（surface case）指源点置于边界曲面上某弯曲点处，我们通过渐近分析确定其三阶奇性结构。在显式获知这些奇性的前提下，我们发展出一种高阶边界积分方法以求解剩余的正则部分。为分辨奇性边界数据，我们的积分方法在源点附近采用基于Duffy patches的定制离散化方案。我们通过若干可构造闭式解的测试案例验证该方法，包括球面、长球面以及构造的区域。我们进一步展示该方法在解决窄捕获理论（narrow capture theory）中若干开放问题上的适用性。

Comment: 无

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

1. 研究对象和背景

本文研究三维空间中具有光滑闭合边界 $\partial\Omega \subset \mathbb{R}^3$ 的有界区域 $\Omega$ 上拉普拉斯算子的诺伊曼格林函数（Neumann Green’s function），核心对象是源点位于边界曲面上的表面情形（surface case），即 $x_0 \in \partial\Omega$ 。该函数在电动力学、声学、光学、扩散过程及窄逃/窄捕获理论中扮演基础角色，其数学定义由两个典型边值问题给出： exterior Neumann 函数 $$G_e(x; x_0)$$ 满足

\Delta G_e = 0 \quad \text{in } \mathbb{R}^3 \setminus \Omega, \quad \partial_n G_e = -\delta_{\partial\Omega}(x - x_0) \quad \text{on } \partial\Omega,

其中 $\delta_{\partial\Omega}$ 是定义在二维曲面测度上的狄拉克分布，且满足远场条件

G_e(x; x_0) \sim \frac{1}{4\pi |x|} \quad \text{as } |x| \to \infty;

interior Neumann 函数 $$G_i(x; x_0)$$ 满足

\Delta G_i = \frac{1}{|\Omega|} \quad \text{in } \Omega, \quad \partial_n G_i = -\delta_{\partial\Omega}(x - x_0) \quad \text{on } \partial\Omega,

并附加归一化约束

\int_\Omega G_i(x; x_0)\, dV(x) = 0.

这里 $\partial_n \equiv \hat{n} \cdot \nabla$ 是沿外法向 $\hat{n}$ 的导数。由于右端含狄拉克项，解在 $x \to x_0$ 处必奇异，因此必须进行严格分解：

G_{i,e}(x; x_0) = G_{i,e}^{\text{sing}}(x; x_0) + R_{i,e}(x; x_0),

其中 $G_{i,e}^{\text{sing}}$ 是已知奇异主部， $R_{i,e}$ 是有界（甚至 Hölder 连续）的正则部分，需通过求解齐次方程确定。当 $$x_0$$ 位于体内部（bulk case）时， $G^{\text{sing}} = (4\pi|x - x_0|)^{-1}$ ；但当 $x_0 \in \partial\Omega$ 时，曲率显著改变奇性结构——此时 $G^{\text{sing}}$ 不再是自由空间格林函数的简单反射，而依赖于局部几何：设 $\kappa_1(x_0), \kappa_2(x_0)$ 为 $$x_0$$ 处主曲率，则平均曲率 $H(x_0) = (\kappa_1 + \kappa_2)/2$ ，曲率差 $Q(x_0) = (\kappa_1 - \kappa_2)/2$ 。已有工作（如 [43]）指出存在三重奇性：单极项 $1/(2\pi|x - x_0|)$ （强度为自由空间项的两倍）、对数项 $-H(x_0)/(4\pi) \log(|x - x_0| + \eta)$ （ $\eta = (x - x_0) \cdot \hat{n}$ 为法向距离）、以及弱奇性项 $Q(x_0)/(8\pi) \left[ (|x - x_0| - \eta)/(|x - x_0| + \eta) \right] \cos(2\phi)$ （ $\phi$ 为切平面内方位角）。该结构对窄逃问题中布朗粒子首次通过小窗口的逃逸率渐近分析至关重要，亦影响超导涡旋动力学与化学信号传导建模。然而，现有解析解仅限球面、长/扁球面等少数对称几何，且常以慢收敛的连带勒让德函数或拉梅函数展开，数值实现困难。对一般曲面，缺乏既能精确捕捉上述三重奇性、又能高阶收敛地求解正则部分 $R_{i,e}$ 的可靠算法。本文旨在填补这一空白：建立一个严格适配曲率诱导奇性的边界积分框架，使 $G_{i,e}$ 的数值计算摆脱几何对称性限制，并为匹配渐近法在非径向对称细胞信号建模中的应用提供关键支撑。

2. 主要定理或主要结果

本文在假设 $\partial\Omega$ 是 $$C^4$$ 光滑闭合曲面、且源点 $x_0 \in \partial\Omega$ 处主曲率 $\kappa_1, \kappa_2$ 有限的前提下，严格证明了以下结果：（1）定理 2.1（奇异结构）：对 exterior 和 interior 表面诺伊曼格林函数，存在如下三阶渐近展开

G_{i,e}^{\text{sing}}(x; x_0) = \frac{1}{2\pi|x - x_0|} \mp \frac{H(x_0)}{4\pi} \log\left(|x - x_0| + \eta\right) \pm \frac{Q(x_0)}{8\pi} \left[ \frac{|x - x_0| - \eta}{|x - x_0| + \eta} \right] \cos(2\phi) + O(r \log r),

其中上符号对应 exterior，下符号对应 interior， $\eta = (x - x_0) \cdot \hat{n}$ ， $r = \sqrt{p_1^2 + p_2^2}$ 为切向距离， $\phi$ 为切平面内方位角，误差项 $O(r \log r)$ 在 $x \to x_0$ 时一致成立。（2）定理 3.2（边界积分公式）：正则部分 $R_{i,e}$ 可表示为单层位势 $S[\sigma_{x_0}](x)$ 加上显式构造的修正项，其中密度 $\sigma_{x_0} \in L^2(\partial\Omega)$ 满足第二类 Fredholm 边界积分方程：对 exterior 问题，

-\frac{1}{2}\sigma_{x_0}(x) + S'[\sigma_{x_0}](x) = -\partial_n Q^+_{\eta_0,\eta_1,\eta_2}(x; x_0), \quad x \in \partial\Omega;

对 interior 问题，在施加约束 $\int_{\partial\Omega} \sigma_{x_0} \, dA = 0$ 后，

\frac{1}{2}\sigma_{x_0}(x) + S'[\sigma_{x_0}](x) + \frac{1}{|\Omega|} \int_{\partial\Omega} \sigma_{x_0}(x') \, dA(x') = -\partial_n Q^-_{\eta_0,\eta_1,\eta_2}(x; x_0) - \frac{1}{|\Omega|} \partial_n p(x),

其中 $$p(x) = (u^2 + v^2)/4$$ ， $Q^\pm_{\eta_0,\eta_1,\eta_2}$ 是通过 Lemma 3.4 构造的、将原始奇性延拓至有限线段上的调和函数，其法向导数 $\partial_n Q^\pm$ 在 $L^2(\partial\Omega)$ 中有界。（3）定理 4.1（数值精度）：所提方法在球面、长球面等验证案例上达到 $$p$$ 阶收敛，即若网格尺寸为 $$h$$ ，则 $\|G_{i,e}^{\text{num}} - G_{i,e}^{\text{exact}}\|_{L^\infty} = O(h^p)$ ，其中 $p \geq 3$ ；特别地，对奇异数据 $\partial_n Q^\pm$ 的离散采用 Duffy 变换补丁，在源点邻域实现 $$O(h^3)$$ 精度，避免了灾难性相消误差。（4）推论 4.3（窄捕获应用）：对单位球面上 $$N$$ 个半径为 $\varepsilon$ 的圆形捕获窗口，当 $\varepsilon \ll 1$ 时，总捕获率 $\mathcal{K}_N$ 的首阶渐近为

\mathcal{K}_N \sim \frac{4\pi D}{|\Omega|} \sum_{j=1}^N \varepsilon_j + \frac{D}{|\Omega|} \sum_{i \neq j} \varepsilon_i \varepsilon_j \, G_e(x_i; x_j) + o\left(\sum_{i \neq j} \varepsilon_i \varepsilon_j\right),

其中 $$D$$ 为扩散系数， $$G_e(x_i; x_j)$$ 由本文方法精确计算，从而可优化窗口空间排布以最大化 $\mathcal{K}_N$ 。

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

本文的核心技术障碍在于：传统边界积分方法无法处理 $\partial_n G_{i,e}$ 在 $$x_0$$ 处的强奇异性——其包含 $\log r$ 和方向依赖的 $r^{-1}$ 型项，导致标准分段多项式离散产生 $$O(1)$$ 误差并破坏高阶收敛。作者的真正创新点在于构建了一个“奇性预减”（singularity pre-subtraction）框架，其关键工具链包含三个相互嵌套的层次：第一层是局部坐标系下的渐近匹配，即在源点 $$x_0$$ 的切平面坐标 $(p_1, p_2, \eta)$ 下，通过尺度分离 $\varepsilon$ 展开（ $(p_1,p_2,\eta) = (\varepsilon\mu, \varepsilon\nu, \varepsilon\zeta)$ ）逐阶求解上半平面模型问题（2.6）–（2.12），严格导出三重奇性结构（2.16），并证明 $$g_2$$ 项不贡献正则部分（即 $$R$$ 在 $$x_0$$ 处 $$C^1$$ 连续），这为后续数值设计提供了精确的奇性模板。第二层是奇性函数的调和延拓，这是最核心的构造性突破：作者并未直接离散 $\log(|x-x_0|+\eta)$ 或 $\frac{|x-x_0|-\eta}{|x-x_0|+\eta}\cos(2\phi)$ ，而是利用 Lemma 3.1 的微分恒等式，将这些函数表示为沿有限线段的积分（见 Corollary 3.2–3.3），进而通过三次插值（Lemma 3.4）构造出 $\phi_{\eta_0,\eta_1,\eta_2}$ 和 $\psi_{\eta_0,\eta_1,\eta_2}$ ，它们在 $\mathbb{R}^3$ 上除有限线段外调和，且无穷远处衰减率为 $O(\rho^{-1})$ 和 $O(\rho^{-3})$ ，从而保证其法向导数 $\partial_n Q^\pm$ 属于 $L^2(\partial\Omega)$ 。这一构造将原本不可积的奇异边界数据转化为良定的 $$L^2$$ 函数，是整个方法高阶收敛的根基。第三层是针对性的数值实现：对 $\partial_n Q^\pm$ 的离散采用 Duffy 变换补丁——在源点邻域将三角形网格映射为单位正方形，将 $r \log r$ 奇性转化为可积形式；对单层算子 $$S'$$ 的核 $\hat{n}(x) \cdot \nabla_x G_F(x-x')$ 在 $x \approx x'$ 区域使用高斯求积与解析积分混合策略；对 interior 问题的体积约束（1.2b），通过分部积分将体积分转化为边界积分（第10页公式），并利用 $$p(x)$$ 的多项式结构将其显式表达为边界通量，彻底规避了体网格生成与积分。这三层工具构成一个闭环：渐近分析提供奇性蓝图，调和延拓提供数学可行性，Duffy 离散提供数值稳定性。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开：（1）奇性刻画的精度：经典文献如 [15, 50] 仅识别出单极项 $1/(2\pi|x-x_0|)$ 和对数项 $-H/(4\pi)\log r$ ，而本文（与 [43] 一致）首次在统一框架下严格导出并数值验证了第三项 $Q\cos(2\phi)/(8\pi) \cdot (\rho-\eta)/(\rho+\eta)$ ，该非轴对称项对各向异性曲面（如椭球）的捕获率预测至关重要，此前方法因忽略此项导致 $$O(1)$$ 系统误差。（2）适用几何范围：[42, 14] 仅适用于球面，其解为无穷级数；[55] 推广至球面坐标系下的旋转椭球，但仍受限于分离变量；本文方法无对称性要求，可处理任意 $$C^4$$ 曲面，且验证案例包含人工构造的非凸曲面，表明其鲁棒性。（3）数值收敛性：传统边界元法（如 [34]）对奇异数据采用标准高斯积分，收敛阶退化为 $O(h^{1/2})$ ；本文通过 Duffy 补丁与奇性预减，将收敛阶提升至 $$O(h^3)$$ ，且在球面验证中实测收敛阶达 3.2，显著优于 [26] 中基于正则化的方法（其收敛阶为 $O(h^{1.5})$ ）。（4）代价与局限：本文的代价在于预计算成本较高——对每个源点 $$x_0$$ 需重新构造 $Q^\pm_{\eta_0,\eta_1,\eta_2}$ 并求解对应的边界积分方程，无法像 [17] 中椭球解那样复用；此外，方法依赖 $\partial\Omega$ 的 $$C^4$$ 光滑性，对存在棱角或尖点的几何（如立方体）未作讨论，作者未显式展开比较；对于多源点问题，当前框架需逐个求解，尚未发展出快速多极子加速，而 [54] 对球面情形已实现 $O(N \log N)$ 复杂度。综上，本文并非对已有方法的渐进改进，而是通过‘奇性-调和-离散’三位一体的新范式，将表面诺伊曼格林函数的数值计算从特殊几何推向一般曲面，其核心价值在于为匹配渐近分析提供了首个严格、高阶、通用的全局格林函数引擎。

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

1. 分支-选择粒子系统与逆首次通过问题

Branching-selection particle systems and inverse first passage problems

作者: Jacob Mercer

类别: math.PR, math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13487v1

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

摘要翻译

中文标题: 分支-选择粒子系统与逆首次通过问题

摘要翻译: 广义逆首次通过问题要求：给定 $[0,\infty]$ 上的概率测度 $$p$$ ，是否存在边界 $b:[0,\infty]\to \mathbb{R}$ ，使得停时

τ:=\inf\left\{t:Λ\int_0^t ω(W_s-b(s))ds \geq U\right\}

具有分布 $$p$$ ，其中 $U\sim Exp(1)$ ， $Λ\in(0,\infty)$ ，且 $$ω$$ 是单调递减函数。我们构造了一类分支-选择粒子系统，其流体力学极限由自由边界问题所支配，并将该极限与广义逆首次通过问题相联系。在 $$N$$ -粒子系统中，粒子作为独立的布朗运动演化，以给定速率分支，并以与其相对于位置 $$b^N(t)$$ 的位置成比例的速率被移除，其中 $$b^N(t)$$ 是经验分布的函数。我们证明了 $$b^N$$ 的极限即为逆首次通过问题的解。

2. 具有 Kerr 型非线性的反散射问题的重构

Reconstruction for an inverse scattering problem with a Kerr type nonlinearity

作者: Khaoula El Maddah, Matti Lassas, Tony Liimatainen, Valter Pohjola, Teemu Tyni

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13337v1

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

摘要翻译

中文标题: 具有 Kerr 型非线性的反散射问题的重构

摘要翻译: 我们研究 Kerr-非线性 Helmholtz 方程

中文标题: 耦合Cattaneo热传导的悬索桥模型的适定性与稳定性分析：粘弹性记忆的作用

摘要翻译: 本文聚焦于一类耦合Cattaneo热传导律的悬索桥模型，特别关注两种不同情形：具有粘弹性记忆的系统与不具有粘弹性记忆的系统。以算子半群理论为核心数学工具，对模型的动力学行为进行系统分析。对于无记忆悬索桥系统（ $$δ= 0$$ ），我们首先建立其适定性（即解的存在性与唯一性）。进一步的稳定性分析表明，该系统呈现多项式衰减行为，其衰减速率依赖于桥面结构参数之间的关系：当 $\frac{ρ_1}κ = \frac{ρ_2}{b}$ 时，衰减速率为 $t^{-1/2}$ ；而当 $\frac{ρ_1}κ \neq \frac{ρ_2}{b}$ 时，衰减速率减慢至 $t^{-1/4}$ 。此外，在特定系数配置下（即 $χ_0 \neq 0$ ，或 $$χ_0 = 0$$ 且 $$χ_1 = 0$$ ，其中 $$χ_0, χ_1$$ 为依赖于参数的系数），证明了指数稳定性不可实现。对于引入粘弹性记忆的对应系统（ $$δ= 1$$ ），同样验证了解的适定性，并且更重要的是，该系统被证明具有指数衰减性。这表明，相较于无记忆情形，粘弹性记忆显著增强了系统的稳定性并加速了能量耗散。本研究在Cattaneo热传导框架下系统探讨粘弹性记忆对悬索桥系统稳定性的调控作用，从而丰富并拓展了现有带粘弹性记忆的悬索桥模型研究。

不相关论文（基本信息）

1. Nash定理通过Günther技巧

Nash’s theorem via Günther’s trick

作者: Anton Petrunin

类别: math.DG, math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13564v1

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

摘要: We present a proof of Nash’s smooth embedding theorem with an emphasis on accessibility and rigor.

2. 直角三角形上的混合扭转与正多边形的Pólya–Szegő单调性问题

Mixed Torsion on Right Triangles and the Pólya–Szegő Monotonicity Problem for Regular Polygons

作者: Changfeng Gui, Yeyao Hu, Qinfeng Li, Chenyang Zhang

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13448v1

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

摘要: Motivated by the polygonal Pólya–Szegő conjecture for torsional rigidity, we study two monotonicity problems for torsional rigidity. The first concerns a mixed torsion problem on fixed-area right triangles, with a Dirichlet condition on one leg and Neumann conditions on the other leg and on the hypotenuse. We prove that the mixed torsional rigidity strictly increases as the ratio of the Neumann leg to the Dirichlet leg increases. The proof uses a Hadamard shape derivative, a Pohozaev-type identity, and a monotonicity result for the mixed torsion function. We also prove a similar result for the mixed ground state of Laplacian. The second concerns regular polygons. If $$P_N$$ denotes the regular $$N$$ -gon of area $$π$$ , we prove, by a purely analytic Schwarz–Christoffel/Bergman analytic-content argument, that

T^D(P_{N+1})>T^D(P_N),\qquad N\ge3,

where $$T^D$$ is the Dirichlet torsional rigidity. We also obtain the asymptotic expansion

T^D(P_N)=\fracπ{8}-\frac{πζ(3)}{N^3} +\frac{π^5}{45N^4}+O(N^{-5}).

3. 小余量情形下 Alexandrov 定理对 $$C^1$$ 区域的尖锐稳定性

Sharp stability of Alexandrov’s theorem for $$C^1$$ domains in the small-excess regime

作者: Alessio Figalli, Yi Ru-Ya Zhang

类别: math.DG, math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13335v1

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

摘要: We prove a sharp quantitative stability result for Alexandrov’s theorem in arbitrary dimension for bounded $$C^1$$ open sets in a small-excess regime. More precisely, if $E\subset \mathbb R^n$ is a bounded $$C^1$$ open set with the same volume as the unit ball $$B$$ , small excess, and scalar distributional mean curvature $\mathcal H_{\partial E}\in L^2(\partial E)$ , then, up to a translation,

\operatorname{Exc}(E)+|EΔB|^2+|μ-(n-1)|^2 \le C(n)\|\mathcal H_{\partial E}-μ\|_{L^2(\partial E)}^2 \qquad \forall\,μ\in \mathbb R.

In other words, both the excess and the symmetric difference from the ball are controlled by the optimal $$L^2$$ -oscillation of the mean curvature. This yields a sharp stability estimate in a genuinely non-parametric regime. The proof combines a $$BV$$ version of Fuglede’s spectral-gap argument, a star-shaped rearrangement for sets of finite perimeter, quantitative estimates for the part of the boundary contained in the tentacles, and a polyhedral approximation argument for the non-graphical region. We note that the $$C^1$$ regularity assumption enters only as a qualitative technical ingredient of the proof, but all constants in the final estimate depend only on the dimension.

4. 混合边界条件下椭圆问题中的凹性与热点

Concavity and hot spots in elliptic problems under mixed boundary conditions

作者: Dorin Bucur, Ilaria Fragalà

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13029v1

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

摘要: We consider the torsion function and the first Laplacian eigenfunction in a convex curvilinear sector in the plane, under homogeneous Neumann conditions on the two straight lateral sides and a homogeneous Dirichlet condition on the remaining part of the boundary. We prove that they are, respectively, strictly $(\frac 1 2)$ -concave and strictly log-concave, provided the interior angles at the vertices are at most $\frac π2$ . Under the same assumption, we further establish a billiard-type concavity, obtained through reflections across the Neumann sides. As a consequence, we deduce that there exists a unique hot spot, located at the Neumann–Neumann vertex, and that some monotonicity properties hold along suitable segments. Finally, we prove that the associated variational energies, namely the mixed torsional rigidity and the first mixed Laplacian eigenvalue, satisfy Brunn–Minkowski type inequalities in the class of convex curvilinear sectors with a fixed opening angle.

5. Sierpiński 集上非线性加权拉普拉斯方程的多重性结果

Multiplicity Results for the Nonlinear Weighted Laplacian Equation on the Sierpiński Gasket

作者: Michał Bełdziński, Krzysztof Jelito

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12678v1

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

摘要: In this paper we consider the Dirichlet boundary value problem driven by the weighted Laplacian equation and considered on the Sierpiński gasket. Under suitable growth conditions imposed on the nonlinear term, we provide existence and multiplicity results employing the direct method, mountain pass theorem and some related multiplicity result.

6. 二维中梯度驱动的一维与二维奇异结构的形成：铁磁向列相液晶的案例研究。第二部分：能量集中集的精细结构

The formation of gradient-driven singular structures of codimension one and two in two-dimensions: The case study of ferronematics. Part~{II}: Refined structure of the energy-concentration set

作者: Giacomo Canevari, Federico Luigi Dipasquale, Bianca Stroffolini

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12644v1

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

摘要: In this paper, we continue our study, started in~\cite{CDS1}, of a two-dimensional variational model for ferronematics – composite materials formed by dispersing magnetic nanoparticles into a liquid crystal matrix. The model features two coupled order parameters: a Landau-de Gennes~ $\Q$ -tensor for the liquid crystal component and a magnetisation vector field~ $\M$ , both of them governed by a Ginzburg-Landau-type energy. The energy includes a singular coupling term favouring alignment between~ $\Q$ and~ $\M$ . We analyse the asymptotic behaviour of (not necessarily minimizing) critical points as a small parameter~ $\eps$ tends to zero. While in~\cite{CDS1} we showed that the (rescaled) energy density for the~ $\Q$ -component concentrates, to leading order, on a finite number of singular points, in this paper we prove the energy density for the~ $\M$ -component concentrates along a one-dimensional rectifiable set. Moreover, we prove that the curvature of the singular set for the $\M$ -component (technically, the first variation of the associated varifold) is concentrated on a finite number of points, i.e.~~the singular set for the~~ $\Q$ -component. Crucial to our arguments will be the energy estimates and compactness results proved in~\cite{CDS1}.

7. 自适应网络中高阶慢流形约化与连续统极限的相容性

Compatibility of Higher-Order Slow-Manifold Reduction and Continuum Limits in Adaptive Networks

作者: Christian Kuehn, Fergal Murphy, Jan-Eric Sulzbach

类别: math.AP, math.DS, nlin.AO

发布日期: 2026-06-10

arXiv ID: 2606.12607v1

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

摘要: Adaptive networks couple the evolution of node states to the evolution of the interactions between them. In fast-adapting phase oscillator networks, a slow-manifold reduction of a pairwise microscopic model can generate effective higher-order terms in the phase dynamics. We ask whether this higher-order structure survives the dense-graph continuum limit, and whether it matters if one first reduces and then passes to the continuum, or first passes to the continuum and then reduces. We prove well-posedness and discrete-to-continuum convergence for the unreduced and first-order reduced models, and we construct the continuum slow manifold directly in a Banach-space setting. Along admissible equal-cell step approximations, the two routes give the same first-order continuum vector field, including the same pairwise correction and triplet operator, up to controlled $O(\varepsilon^2)$ remainders. A continuum mixed-derivative criterion then shows that, for suitable coupling functions, the resulting triplet operator is genuinely nonpairwise in the smooth bounded-kernel class. Thus the higher-order term is not a finite-network artefact, but persists in the macroscopic continuum description considered here.

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

1. 关于三维欧拉方程局部化定常解的一个对称性定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 线性化 Prandtl 方程在 Gevrey 空间中的 Hadamard 适定性缺失#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 无时间连续性假设下的耗散型表面准地转方程解的唯一性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 动力学 Prandtl 方程的整体适定性与正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 不可压 Euler 方程在平直 2-环面上首阶拉普拉斯本征态的定量稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 带远场截断的一维可压欧拉方程的自相似坍缩解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 椭圆临界性 versus Volterra 记忆：间接趋化级联中的对比#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 关于Prandtl最小阻力问题的弱形式化#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

9. Navier-Stokes 正则性的隐性缺陷级联#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

10. 关于统计平稳三维Navier-Stokes流系综平均值界长的最优minimax公式#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

11. 一般曲面上的三维Neumann Green函数：奇异性渐近分析与边界积分方法#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 分支-选择粒子系统与逆首次通过问题#

摘要翻译#

2. 具有 Kerr 型非线性的反散射问题的重构#

摘要翻译#

3. 黎曼曲面之间的拟调和映射流#

摘要翻译#

4. 具有退化热导率的非等温Maxwell–Stefan系统的分析#

摘要翻译#

5. 多维非局部扩散方程的传播动力学：一个一般的Freidlin-Gärtner公式#

摘要翻译#

6. 非正曲率流形上的标准正交谱簇估计#

摘要翻译#

7. Benjamin–Ono 多孤子解在 $L^2(\mathbb R)$ 中的渐近稳定性#

摘要翻译#

8. 高维周期区域上的低正则性薛定谔映射流#

摘要翻译#

9. 矩形傅里叶和的 Oskolkov–Zhizhiashvili 判据#

摘要翻译#

10. 势估计与紧流形上具有 $L^1$ 数据的 Hodge 系统#

摘要翻译#

11. 耦合Cattaneo热传导的悬索桥模型的适定性与稳定性分析：粘弹性记忆的作用#

摘要翻译#

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

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

1. 关于三维欧拉方程局部化定常解的一个对称性定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 线性化 Prandtl 方程在 Gevrey 空间中的 Hadamard 适定性缺失

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 无时间连续性假设下的耗散型表面准地转方程解的唯一性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 动力学 Prandtl 方程的整体适定性与正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 不可压 Euler 方程在平直 2-环面上首阶拉普拉斯本征态的定量稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 带远场截断的一维可压欧拉方程的自相似坍缩解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 椭圆临界性 versus Volterra 记忆：间接趋化级联中的对比

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 关于Prandtl最小阻力问题的弱形式化

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

9. Navier-Stokes 正则性的隐性缺陷级联

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

10. 关于统计平稳三维Navier-Stokes流系综平均值界长的最优minimax公式

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

11. 一般曲面上的三维Neumann Green函数：奇异性渐近分析与边界积分方法

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 分支-选择粒子系统与逆首次通过问题

摘要翻译

2. 具有 Kerr 型非线性的反散射问题的重构

摘要翻译

3. 黎曼曲面之间的拟调和映射流

摘要翻译

4. 具有退化热导率的非等温Maxwell–Stefan系统的分析

摘要翻译

5. 多维非局部扩散方程的传播动力学：一个一般的Freidlin-Gärtner公式

摘要翻译

6. 非正曲率流形上的标准正交谱簇估计

摘要翻译

7. Benjamin–Ono 多孤子解在 $L^2(\mathbb R)$ 中的渐近稳定性

摘要翻译

8. 高维周期区域上的低正则性薛定谔映射流

摘要翻译

9. 矩形傅里叶和的 Oskolkov–Zhizhiashvili 判据

摘要翻译

10. 势估计与紧流形上具有 $$L^1$$ 数据的 Hodge 系统

摘要翻译

11. 耦合Cattaneo热传导的悬索桥模型的适定性与稳定性分析：粘弹性记忆的作用

摘要翻译

不相关论文（基本信息）