生成时间: 2026年06月11日 07:19:51

运行状态: 完成

计划处理论文数量: 25

已完成论文数量: 25

未完成论文数量: 0

重点关注论文数量: 8

了解领域论文数量: 11

不相关论文数量: 6

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

1. Schur 可见性与单分量 Navier-Stokes 退化中的反幻影约化

Schur Visibility and Anti-Phantom Reduction in One-Component Navier-Stokes Degeneration

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12267v1

摘要翻译: 我们在尺度不变界及竖直分量小性的假设下，研究三维不可压 Navier–Stokes 方程的适定弱解的有限尺度单分量退化问题。定性紧性给出在调和压力商空间中向严格的二维半边界收敛，但不提供定量收敛速率。本文证明：在与旧可观测量闭包相关联的显式抽象迹障碍骨架中，标准旧可观测量体系不足以强制导出对数型或幂型的选定迹速率。该否定性结果是一个包络/骨架定理，而非 Navier–Stokes 反例。在通过抛物迹下降排除初等高频逃逸、并通过有限维 Lojasiewicz 控制排除固定窗口解析障碍之后，剩余障碍为全阶有限模平坦分支。我们识别出控制该分支所需的 Navier–Stokes 特异性机制：严格 Schur 迹投影性可能失效，但由此产生的缺陷可通过松弛的竖直压力通道被观测到。在活跃的有限窗口模型中，严格 Schur 幻影是松弛可见的。最终定理是一个条件二分：要么松弛反幻影闭包成立并导出条件对数型严格阴影选择，要么存在一个 NS 可实现的、已清洗的、松弛不可见的、非对齐的左奇异级联。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压Navier-Stokes方程

\partial_t u - \Delta u + (u \cdot \nabla)u + \nabla p = 0, \quad \nabla \cdot u = 0 \tag{1.1}

在单位抛物柱 $Q_1 = B_1(0) \times (-1, 0)$ 上的适定弱解 $$(u,p)$$ 的单分量退化问题：在尺度不变能量约束 $\Phi(1) \leq M$ 与垂直分量小性 $C_3(1) = \|u_3\|_{L^3(Q_1)} = \delta \ll 1$ 同时成立下，解是否以定量速率逼近严格2.5维边界。该边界定义为满足

V = (V_h, 0), \quad \nabla_h \cdot V_h = 0, \quad \partial_3 Q = 0, \quad \partial_t V_h - \Delta V_h + \nabla_h \cdot (V_h \otimes V_h) + \nabla_h Q = 0 \tag{2.3}

的对 $$(V,Q)$$ ，其空间形式为水平二维不可压流场，垂直速度恒为零，且压力 $$Q$$ 沿 $$x_3$$ 方向无变化。这一退化模型是经典Prodi–Serrin正则性理论的变体，但核心差异在于：它不预设初始或Morrey型正则性，而仅依赖局部尺度不变量与单方向小性；其目标亦非全局正则性，而是刻画从三维解到2.5维子流形的收敛速率。已有工作（如Caffarelli–Kohn–Nirenberg [8]、Seregin–Shilkin [32]、Chae–Chang [21]）建立了当 $u_3 \equiv 0$ 时解自动为二维从而全局光滑，或当 $\|u_3\|_{L^{3,\infty}}$ 充分小时解在时空点处正则；但这些结果均未给出 $\delta \to 0$ 时逼近 $$V$$ 的显式模 $X^{\text{har}}_\theta(u,p;M)$ 的衰减速率。本文将该速率问题重构为可观测性问题：即由标准紧性准备程序所生成的“旧可观测量”（old observables）——包括尺度不变能量-压力量 $$A,E,C,D,C_3$$ 、调和压力商距离 $X^{\text{har}}_\rho$ 、协方差应力 $\tau^\ell$ 、未解析方差 $\kappa^\ell$ 、准备残差 $G^\ell$ 、好时间迹泛函及有限窗口兼容商等十二类对象（见O1–O12族）——能否强制产生对数或幂律型速率。关键障碍源于严格2.5维阴影的非线性相容性条件 $C(V) = \nabla_h \partial_3 \Delta_h^{-1} \partial_a \partial_b (V_a V_b) = 0$ （公式2.4），其线性化映射 $DC_V[W] = \nabla_h \partial_3 \Delta_h^{-1} \partial_a \partial_b(V_a W_b + W_a V_b)$ 的余核 $\text{Obs}_V = \text{coker } DC_V$ 构成形式阻碍空间。然而， $W \in \ker DC_V$ 并不必然对应于 $C^{-1}(0)$ 中的实际切向曲线，由此引发有限阶与平坦分支（flat branch）阻碍现象。因此，本文试图填补的空白是：在不引入额外物理假设（如轴对称、螺旋对称）的前提下，识别并刻画导致定量速率缺失的纯粹分析结构性障碍，并定位Navier-Stokes方程特有的、可突破该障碍的观测通道。

2. 主要定理或主要结果

本文证明了四个核心定理。定理1.1（旧可观测量无速率定理）：对任意递减序列 $a_n \downarrow 0$ ，与旧可观测量闭包关联的抽象迹阻碍骨架中存在一支，其选定时迹距离 $m_n = \frac{1}{2a_n^2}$ ，而所有固定有限窗口残差、协方差缺陷、方差量、压力规范可观测量、好时间可观测量及准备残差均被控制或消失；因此，仅凭旧可观测量包，若无一致有限窗口逆算子、定量紧性模、迹下降交集或垂直对偶性/松弛反幻影输入，则无法得出普适的对数或幂律选定时迹速率。定理1.2（阻碍分离定理）：在抛物迹下降（parabolic trace-drop）与尖锐可允许时间交集条件下，纯高频逃逸被排除；在任意固定解析有限窗口内，有限维Lojasiewicz控制排除了该窗口内任意慢收敛；剩余抽象阻碍为全阶有限模平坦分支，其潜在有限阶段精确化常数可能非可求和。定理1.3（Schur到松弛可见性定理）：在清洁的活跃周期有限窗口模型中，令 $\Phi_\Lambda = \ker A^*_\Lambda$ 为严格迹不可见Schur余核，且

J^{\text{rel}}_\Lambda s = \sum_{\sigma \in \Lambda} \mu_\sigma s_\sigma w_\sigma, \quad \mu_\sigma = \frac{|\sigma_h|^2 + \sigma_3^2}{|\sigma_h|^2},

若 $\Lambda$ 活跃（即对每个输出模 $\sigma$ 均有 $|\sigma_h| \neq 0$ 且 $|\sigma_3| \neq 0$ ），则 $J^{\text{rel}}_\Lambda s = 0 \implies s = 0$ ；故严格不可见Schur缺陷未必是真正的Navier-Stokes幻影，在活跃有限窗口中可通过垂直压力松弛可见。定理1.4（最终条件二分定理）：经准备、好时间选择、有限窗口约化、严格-Schur阻碍移除、调和压力清洗、局部强制性、齐次尾测试及NS可实现性滤波后，仅余以下二者之一：(i) 存活的NS导出残差满足松弛反幻影闭包，从而产生受控迹成本精确化及条件对数严格阴影选择；或 (ii) 存在NS可实现、已清洗、松弛不可见、未对齐的左奇异级联（left-singular cascade）。该级联是本文路径所隔离的最终阻碍。

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

证明的核心障碍是：标准紧性论证仅能给出定性收敛 $X^{\text{har}}_\theta(u,p;M) \leq \omega_{M,\theta}(C_3(1))$ ，但无法识别 $\omega$ 的具体衰减结构；而旧可观测量包 $O_{\text{total}}$ 的内在代数-几何结构不足以强制产生对数或幂律速率。作者的真正创新点在于构建并剖析一个分层阻碍框架：首先，将旧可观测量形式化为一个“缺陷阴影包络”（defect-shadow envelope），并在此抽象骨架上构造一个任意慢收敛分支（Theorem 1.1），其本质是利用调和压力商拓扑下余核空间的非紧性，通过精细选取傅里叶模态 $\sigma = (\sigma_h, \sigma_3)$ 使得 $\mu_\sigma$ 可任意小，从而在迹成本 $\text{Cost}_{\text{tr}}(g) = \inf_{s \in \mathcal{H}} \|g - As\|_Y$ 中制造任意大的下界缺口。其次，采用阻碍分离策略：利用抛物迹下降（parabolic trace-drop）技术，即通过 $$L^2_t H^1_x$$ 能量耗散项 $\int |\nabla u|^2$ 对高频部分的自然压制，结合可允许时间集 $G^\ell$ 的交集性质，严格排除高频逃逸；再运用有限维Lojasiewicz不等式 $\|\nabla f(\tau)\|_{\mathbb{R}^d} \geq C |f(\tau) - f(\tau_0)|^{1-\theta}$ 控制固定窗口内的解析行为，将剩余阻碍精确定位为“全阶有限模平坦分支”——即对任意 $k \in \mathbb{N}$ ，存在 $$k$$ 阶近似解 $u^{(k)}$ 满足 $C(u^{(k)}) = O(\delta^{k+1})$ ，但其精确化常数 $$c_k$$ 不满足 $\sum c_k < \infty$ 。第三，针对此平坦分支，作者引入Schur迹投影性（Schur trace-projectability）作为关键阻碍概念：定义迹映射 $A: \mathcal{H} \to \mathcal{Y}$ 及其伴随 $$A^*$$ ，其严格不可见性 $\ker A^* \neq \{0\}$ 对应Schur缺陷；但作者发现，Navier-Stokes方程特有的垂直压力通道 $\partial_3 p$ 提供了新的观测维度，通过构造松弛可见算子 $J^{\text{rel}}_\Lambda$ （其系数 $\mu_\sigma$ 显式包含 $|\sigma_h|^{-2}$ 项），证明在活跃窗口 $\Lambda$ 下 $\ker J^{\text{rel}}_\Lambda = \{0\}$ ，从而将Schur缺陷转化为可检测的垂直压力异常。最后，为确保该机制在真实解中可实现，作者发展了一套NS可实现性滤波器（NS-realizability filter），通过附录C中的移动窗口强迫振幅与NS提升异常测试（C.5）、周期性强迫到垂直强制性（C.6）及调和规范清洗后的局部强制性（C.7），验证了该松弛可见性在物理上可被Navier-Stokes动力学激活。

4. 与之前工作的比较

本文与既有工作的根本区别在于问题范式与技术路径。与CKN理论 [8] 及其后续发展（如[14,26,31]）相比，后者聚焦于奇点集的Hausdorff维数估计与局部正则性准则，其结论（如 $\dim_{\mathcal{H}} \mathcal{S} \leq 1$ ）不提供逼近速率；而本文明确将速率问题独立提出，并证明旧可观测量包在此问题上存在固有不足。与单分量正则性工作（如Chae–Chang [21], Seregin–Shilkin [32], Zhang–Chen [39]）相比，这些工作通常要求 $$u_3$$ 在更强范数（如 $L^{3,\infty}$ 或 $BMO^{-1}$ ）下小，或依赖特定对称性，从而直接获得正则性；本文则仅用 $$L^3$$ 小性，并揭示即使在此弱假设下，速率缺失的根源是分析结构性的而非技术性的。与定量正则性工作（如[38]）不同，后者通过改进能量估计获得显式 $\varepsilon$ -正则性阈值，但其速率依赖于初始数据，而本文旨在建立仅由局部尺度不变量与 $$C_3$$ 控制的普适速率。在方法上，本文的“阻碍分离”策略超越了传统紧性论证：抛物迹下降（Section 6.1）比标准能量耗散估计更精细，它量化了高频模态在时间平均下的衰减率；有限维Lojasiewicz控制（Section 6.3）将无限维PDE问题降维至有限维解析几何，避免了对整体解的先验控制。最关键的是，Schur可见性机制（Sections 9–10）是全新的：以往工作（如[16,20]）将奇点视为不可观测的‘黑箱’，而本文证明Navier-Stokes方程自身通过垂直压力 $\partial_3 p$ 提供了一个天然的‘探针’，使原本严格不可见的Schur缺陷变得松弛可见。代价在于，该机制的有效性依赖于‘活跃有限窗口’假设（即所有模态 $\sigma_h, \sigma_3$ 均非零），这排除了纯二维或纯一维退化情形；且最终结论是条件二分（Theorem 1.4），其正则性结论需以松弛反幻影闭包为前提，而非无条件成立。从提供内容中无法确认本文结果与最近关于Navier-Stokes解的长时间行为（如[42]）或随机扰动（如[43]）工作的直接比较，作者亦未显式展开此类讨论。

2. 面向 $$L^r$$ 的广义凸积分框架及其在地球物理模型中的应用

A Generalized Framework for $$L^r$$ Convex Integration and its Application to Geophysical Models

作者: Daniel W. Boutros, Simon Markfelder, Edriss S. Titi

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12192v1

摘要翻译: 本文发展了一种凸积分的通用框架，旨在通过借鉴 [C. De Lellis 和 L. Székelyhidi, Arch. Ration. Mech. Anal., 195 (2010)] 与 [S. Markfelder, Nonlinearity, 37 (2024)] 的思想，构造初值问题的弱解。该框架可适用于一大类偏微分方程，以构造定义于有界区域 $$Ω$$ 上、属于 $L^\infty ((0,T) \times Ω)$ 的弱解，且这些解关于 $$L^r (Ω)$$ 的弱拓扑在时间上弱连续，其中 $r \in (1,\infty)$ 。这使得我们能够构造满足能量不等式的解。

Comment: 90 pages, 1 figure, 1 table

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

1. 研究对象和背景

本文研究的核心对象是一类具有非线性约束的线性一阶偏微分方程组所构成的微分包含（differential inclusion）问题，其一般形式为

L u = 0, \quad u(t,x) \in K_\theta(t,x) \quad \text{a.e. in } (0,T) \times \Omega,

其中 $$ L $$ 是一个满足特定代数条件的线性微分算子（见定义 2.1.3）， $u : (0,T) \times \Omega \to \mathbb{R}^N$ 是未知向量值函数， $\{K_\theta\}_{\theta \in \Theta}$ 是一族依赖于参数 $\theta$ 的紧致、非凸的“本构集”（constitutive sets），通常由物理守恒律或状态方程诱导出非线性约束。例如，在不可压 Euler 方程中，该微分包含对应于速度-压力变量 $$ (v,p) $$ 满足

\operatorname{div} v = 0, \quad \partial_t v + \operatorname{div}(v \otimes v) + \nabla p = 0,

并通过 Tartar 框架重写为 $u = (v, v \otimes v - \frac{1}{2}|v|^2 \mathbb{I}, p)$ 满足线性齐次方程与非凸约束 $\det(\operatorname{sym} u_{1\dots n} - \frac{1}{2}\operatorname{tr}(\cdot)\mathbb{I}) = 0$ ；在地转近似方程中，则对应于位势涡度 $$ q $$ 与流函数 $\psi$ 满足 $\partial_t q + \nabla^\perp \psi \cdot \nabla q = 0$ ，经重整化后亦可嵌入该框架。研究动机源于对“野数据”（wild data）——即存在无穷多满足能量不等式的弱解的初值——的存在性证明，以及对地球物理中关键但结构复杂的无粘模型（如静力 Euler 方程、原始方程、准地转方程）建立适定性反例的迫切需求。已有理论中，De Lellis–Székelyhidi [49] 构造了在 $L^\infty$ 中弱时间连续、满足能量不等式的不可压 Euler 解，但其构造严重依赖于特定波锥 $\Lambda$ 与凸包 $K^{co}$ 的精确刻画，且无法推广至静力型系统；Markfelder [116] 提出 $L^\infty$ 凸积分框架，但其解仅在柱形时空域 $[0,T) \times \Omega$ 上有界，初值时刻出现能量跃升，导致无法满足标准能量不等式；Feireisl [66] 的 $$ L^r $$ 框架虽具弱时间连续性，但仅适用于仿 Euler 结构的极窄类方程，对静力约束 $\partial_z w = 0$ 、垂直积分算子或非局部算子（如准地转中的 $\Lambda = (-\Delta)^{1/2}$ ）完全失效。因此，本文试图填补的关键空白在于：建立一个统一的、可验证的 $$ L^r $$ 凸积分框架，使其既能保证解在 $C_{\text{weak}}([0,T); L^r(\Omega))$ 拓扑下弱连续（从而严格实现初值适配与能量不等式），又能覆盖含静力约束、垂直平均、非局部算子及变系数的地学模型，其核心障碍在于对一般本构集 $K_\theta$ 的 $\Lambda$ -凸包 $K_\theta^{\Lambda-co}$ 与经典凸包 $K_\theta^{co}$ 相等性的系统性验证——这一条件在静力 Euler 等系统中此前未被证实。

2. 主要定理或主要结果

在满足四个结构性假设（见定理 2.16）的前提下，作者证明了如下广义凸积分定理：设 $\Omega \subset \mathbb{R}^n$ 为有界 Lipschitz 域或环面 $\mathbb{T}^n$ ， $r \in (1,\infty)$ ，若线性系统 $$ Lu = 0 $$ 与族 $\{K_\theta\}_{\theta \in \Theta}$ 满足（i） $K_\theta$ 局部 Lipschitz 连续依赖于 $\theta$ ；（ii）存在满足相容性条件的微分算子 $L_\zeta$ ；（iii）对所有 $\theta$ ， $K_\theta^{\Lambda-co} = K_\theta^{co}$ ；（iv）存在距离函数 $$ d $$ 控制子解偏离 $K_\theta$ 的程度，则对任意初值 $u_0 \in L^\infty(\Omega; \mathbb{R}^N)$ 满足 $u_0(x) \in K_{\theta_0(x)}$ a.e.，存在无穷多弱解 $u \in L^\infty((0,T) \times \Omega)$ 满足 $u \in C_{\text{weak}}([0,T); L^r(\Omega))$ 且 $u(t,\cdot) \in K_{\theta(t,\cdot)}$ 对所有 $t \in [0,T)$ 成立。具体应用结果包括：（1）不可压 Euler 方程（1.1）–（1.2）：对任意 $v_0 \in L^\infty(\mathbb{T}^3; \mathbb{R}^3)$ 满足 $\operatorname{div} v_0 = 0$ ，存在无穷多弱解 $$ (v,p) $$ 满足 $v \in C_{\text{weak}}([0,T); L^2(\mathbb{T}^3))$ （定理 1.3）；（2）静力 Euler 方程（1.17）–（1.19）：首次构造出满足自然能量 $\int_\Omega \left( \frac{1}{2}|\mathbf{v}_h|^2 + \frac{1}{2}w^2 \right) dx$ 的可接受弱解，其中 $\mathbf{v}_h = (u,v)$ 为水平速度， $$ w $$ 为垂直速度，且证明了 $U_{p,q,c}^{\Lambda-co} \supset W_{p,q,c}$ （引理 6.5），其中 $W_{p,q,c}$ 是显式构造的包含球面 $\{ |\mathbf{v}_h|^2 + w^2 = c \}$ 的非平凡子集；（3）不可压原始方程与准地转方程：对初值 $q_0 \in L^\infty$ ，存在无穷多满足 $\partial_t q + \mathbf{v} \cdot \nabla q = 0$ 与能量不等式 $\partial_t \frac{1}{2}|q|^2 + \operatorname{div}(\frac{1}{2}|q|^2 \mathbf{v}) \leq 0$ 的弱解（定理 1.34），其误差阶为 $\|u_{n+1} - u_n\|_{L^r} \lesssim \delta_n^{1/r}$ ，其中迭代参数 $\delta_n = 2^{-n}$ 。

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

本文的核心技术障碍在于：传统凸积分要求对每个本构集 $K_\theta$ 精确计算其 $\Lambda$ -凸包 $K_\theta^{\Lambda-co}$ ，而该集合在静力 Euler 或原始方程中因含垂直导数约束 $\partial_z w = 0$ 而高度非平凡，无法显式写出。作者的真正创新点在于放弃全局凸包刻画，转而构造一个足够大的、可显式参数化的 $\Lambda$ -凸子集 $W_{p,q,c} \subset U_{p,q,c}^{\Lambda-co}$ ，并证明其稠密性足以支撑迭代构造。具体而言，在静力 Euler 系统中（第 6.3 节），作者定义 $U_{p,q,c} = \{ (\mathbf{v}_h, w, \mathbf{S}, q) \in \mathbb{R}^2 \times \mathbb{R} \times \mathbb{R}^{2\times 2}_{\text{sym}} \times \mathbb{R} : \operatorname{tr} \mathbf{S} = |\mathbf{v}_h|^2, \, \mathbf{S} \geq 0, \, q = p - \frac{1}{2}|\mathbf{v}_h|^2 - \frac{1}{2}w^2 \}$ ，并构造 $W_{p,q,c}$ 为所有形如 $(\mathbf{v}_h, w, \mathbf{S}, q)$ 的元组，其中 $\mathbf{v}_h$ 在二维球面上取值， $$ w $$ 固定， $\mathbf{S}$ 为对应球面的二阶矩张量，从而 $W_{p,q,c}$ 包含一个三维球面 $\{ |\mathbf{v}_h|^2 + w^2 = c \}$ 。此构造绕过了对完整凸包的依赖，仅需验证 $W_{p,q,c}$ 关于波锥 $\Lambda$ 的闭包性质（引理 6.5）。另一关键工具是改进的扰动引理（命题 2.23）：在标准凸积分中，扰动项 $\Theta$ 需满足 $\int \Theta \otimes \Theta \, dx = 0$ 以保持线性约束，而本文引入加权 $$ L^r $$ 范数下的振荡积分估计，证明对任意 $\zeta^* \in \Lambda$ 和 $\mu^* \in \mathbb{R}^M$ ，存在紧支集振荡函数 $\Theta_k$ 满足 $\|\Theta_k\|_{L^r} \sim k^{-\alpha}$ 、 $\|L_\zeta \Theta_k\|_{L^r} \lesssim k^{-\beta}$ ，且 $\int \Theta_k \otimes \Theta_k \, dx \to \mu^*$ ，其中 $\alpha, \beta$ 由 $$ r $$ 和波锥维数决定。该估计使迭代中每步的能量增量可控，最终保证总能量不等式成立。此外，为处理柱形时空域上的初值适配，作者设计了新型子解构造（附录 E）：对任意 $u_0 \in L^\infty$ ，构造 $\bar{u} \in C_{\text{weak}}([0,T); L^r)$ 满足 $\bar{u}(0,\cdot) = u_0$ 且 $\bar{u}(t,\cdot) \in \operatorname{int} K_\theta^{co}$ ，其关键在于利用 $$ L^r $$ 弱拓扑的序列紧性与 Mazur 定理生成凸组合逼近。

4. 与之前工作的比较

与 De Lellis–Székelyhidi [49] 相比，本文将弱时间连续性从 $$ L^2 $$ 推广至任意 $r \in (1,\infty)$ ，且框架不再依赖于对称群作用或特定波锥的显式计算，而是通过抽象的 $\Lambda$ -凸包条件统一处理；代价是需额外验证结构性假设（iii），而 [49] 中该条件自动成立。与 Markfelder [116] 相比，本文解空间 $C_{\text{weak}}([0,T); L^r)$ 比 $L^\infty$ 更强，消除了初值时刻的能量跃升，使能量不等式在分布意义下严格成立，但构造复杂度显著增加——需引入加权振荡估计与子解的弱连续延拓。与 Feireisl [66] 相比，本文适用范围极大扩展：[66] 仅处理形如 $\partial_t m + \operatorname{div} S = 0$ 、 $S = v \otimes v - \frac{1}{2}|v|^2 \mathbb{I}$ 的 Euler 类系统，而本文框架能容纳静力约束 $\partial_z w = 0$ （需重新定义波锥 $\Lambda$ 为 $\{ (\xi_h, 0) \in \mathbb{R}^3 : \xi_h \neq 0 \}$ ）、垂直平均算子（如原始方程中 $\overline{u} = \frac{1}{H} \int_0^H u \, dz$ ）及非局部算子（准地转中 $\Lambda$ 含 Fourier 乘子 $|\xi|$ ）。然而，本文未解决 Hölder 正则性提升问题（如 Isett [89] 的 $C^{1/3-}$ 解），亦未处理 Navier-Stokes 等含耗散项的方程；从提供内容中无法确认是否对 Besov 空间或分数阶 Sobolev 空间有推广。在应用层面，对静力 Euler 方程，本文是首个构造满足自然能量的可接受解的工作，此前 [112, 141] 的凸积分仅针对 Boussinesq 近似，其能量泛函不含 $$ w^2 $$ 项；对准地转方程，本文首次克服了非局部算子导致的波锥退化问题，而以往工作 [148] 仅处理二维欧拉情形。局限在于：所有结果均要求初值有界（ $L^\infty$ ），未覆盖 $$ L^2 $$ 或 $$ H^s $$ 初值；对有界区域上的边界条件，仅处理了周期或无通量情形，未涉及更一般的 Robin 或 Dirichlet 边界；且所有构造均未给出解的唯一性判据或稳定性分析。

3. 带粗糙漂移项的定常Navier-Stokes方程在加权函数框架下的一些结果

Some results for a stationary Navier-Stokes equation with a rough drift in a weighted functional framework

作者: Diego Chamorro, Anca-Nicoleta Marcoci, Liviu-Gabriel Marcoci

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11856v1

摘要翻译: 本文研究一类定常Navier-Stokes方程的若干类解，其中漂移项由一个奇异积分算子给出，该算子不属于经典的Calderón-Zygmund型奇异积分算子族。给定一个小的外力项，我们将在加权Morrey-Sobolev空间 $M^{p,q}_w(\mathbb{R}^n)$ 框架下构造该方程组的解。采用基于Morrey空间的Sobolev空间提供了比通常基于Lebesgue空间的Sobolev空间更一般的框架；而Muckenhoupt权 $w \in A_p$ 的引入则使我们能够从多个角度给出解的存在性与唯一性结果。

Comment: 无

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

1. 研究对象和背景

本文研究如下定义在全空间 $\mathbb{R}^n$ （ $n \geq 3$ ）上的定常Navier-Stokes方程：

\Delta \vec{u} - (T(\vec{u}) \cdot \nabla) \vec{u} - \nabla \pi + \vec{f} = 0, \quad \operatorname{div}(\vec{u}) = 0, \tag{1.1}

其中 $\vec{u}: \mathbb{R}^n \to \mathbb{R}^n$ 是速度场， $\pi: \mathbb{R}^n \to \mathbb{R}$ 是压力， $\vec{f}: \mathbb{R}^n \to \mathbb{R}^n$ 是给定外力。关键创新在于漂移项 $(T(\vec{u}) \cdot \nabla) \vec{u}$ 中的 $$T$$ 并非经典Calderón-Zygmund型奇异积分算子，而是由核 $\Omega_k \in L^\rho(\mathbb{S}^{n-1})$ （ $1 < \rho < n$ ）、满足 $\int_{\mathbb{S}^{n-1}} \Omega_k \, d\sigma = 0$ 的粗糙奇异积分算子：

T(\phi)(x) = \mathrm{p.v.} \int_{\mathbb{R}^n} \frac{\Omega_k(y/|y|)}{|y|^n} \phi(x-y) \, dy. \tag{1.2}

该类算子不满足标准Hörmander条件，其 $$L^p$$ 有界性仅对 $p > \frac{\rho n}{\rho n + \rho - n}$ 成立（见Lemma 2.4），且无法通过标准Calderón-Zygmund理论处理。因此， $(T(\vec{u}) \cdot \nabla) \vec{u}$ 构成“粗糙漂移”，显著破坏方程的结构对称性与能量守恒性，使得经典变分方法、De Giorgi迭代或Schauder估计失效。

问题的重要性体现在三方面：第一，物理上，此类漂移可建模含强各向异性湍流扰动或非局部粘性效应的流体；第二，数学上，它挑战了Navier-Stokes正则性理论的边界——现有文献（如[2],[7],[9],[10],[20],[22]）对加权定常NS的研究均局限于有界域、周期域或外区域，而本文首次在 $\mathbb{R}^n$ 上处理该问题；第三，分析上，粗糙算子与加权Morrey空间的耦合引发全新技术障碍：Muckenhoupt权重 $\omega \in A_p$ 虽保证Riesz变换与Hardy-Littlewood极大函数在加权Morrey空间 $M_{p,q}(\omega)$ 上有界（见Section 2），但 $$T$$ 在 $M_{p,q}(\omega)$ 上的有界性远未建立，尤其当 $\omega$ 缺乏尺度控制时（如无Ahlfors正则性）。已有工作[23]仅给出 $$T$$ 在加权Lebesgue空间上的估计，而本文需在更精细的加权Morrey框架下重建全套不等式链（Sobolev嵌入、Hölder乘积、算子有界性），以支撑不动点论证。本文试图填补的空白正是：在 $\mathbb{R}^n$ 上，为含非Calderón-Zygmund粗糙漂移的定常NS方程，建立基于加权Morrey-Sobolev空间 $\dot{W}^{s}_{p,q}(\omega)$ 的存在性与唯一性理论，其中 $\omega$ 可取一般 $A_{p/2}$ 权或附加 $$d$$ -下Ahlfors条件的特殊权。

2. 主要定理或主要结果

Theorem 1（混合范数存在性）：设 $n \geq 3$ , $$2 < p < n$$ , $\omega \in A_{p/2}$ 。若外力 $\vec{f} \in \dot{W}^{-1}_{p/2,n/2} \cap \dot{W}^{-1}_{p/2,n/2}(\omega)$ 满足 $\|\vec{f}\|_{\dot{W}^{-1}_{p/2,n/2}} + \|\vec{f}\|_{\dot{W}^{-1}_{p/2,n/2}(\omega)} \leq \varepsilon$ （ $\varepsilon > 0$ 充分小），则方程(1.1)存在解 $(\vec{u}, \pi)$ 满足 $\vec{u} \in \dot{W}^{1}_{p/2,n/2} \cap \dot{W}^{1}_{p/2,n/2}(\omega)$ , $\pi \in M_{p/2,n/2} \cap M_{p/2,n/2}(\omega)$ 。特别地，当 $$p=n$$ 且 $\omega \equiv 1$ 时，退化为经典Lebesgue框架下的存在性（Corollary 3.1）。

Theorem 2（全加权存在性）：设 $n \geq 3$ , $2 < p \leq d$ , $\omega \in A_{p/2}$ 且满足 $$d$$ -下Ahlfors条件 $\omega(B(x,r)) \geq C r^d$ （1.5）。若 $\vec{f} \in \dot{W}^{-1}_{p/2,d/2}(\omega)$ 且 $\|\vec{f}\|_{\dot{W}^{-1}_{p/2,d/2}(\omega)} \leq \varepsilon$ （ $\varepsilon > 0$ 充分小），则存在解 $(\vec{u}, \pi)$ 满足 $\vec{u} \in \dot{W}^{1}_{p/2,d/2}(\omega)$ , $\pi \in M_{p/2,d/2}(\omega)$ 。此处空间指标 $$(p/2, d/2)$$ 由权重 $\omega$ 的几何维数 $$d$$ 决定，而非固定空间维数 $$n$$ 。

Theorem 3（唯一性）：设 $$2 < p < n$$ , $\omega \in A_{p/2}$ , $\vec{u}, \vec{v} \in \dot{W}^{1}_{p/2,n/2} \cap \dot{W}^{1}_{p/2,n/2}(\omega)$ 均为(1.1)对应同一外力 $\vec{f} \in \dot{W}^{-1}_{p/2,n/2} \cap \dot{W}^{-1}_{p/2,n/2}(\omega)$ 的解。若 $\|\vec{u}\|_{\dot{W}^{1}_{p/2,n/2}} + \|\vec{v}\|_{\dot{W}^{1}_{p/2,n/2}} \leq \varepsilon$ （ $\varepsilon > 0$ 充分小），则 $\vec{u} \equiv \vec{v}$ 。该唯一性仅依赖于无权范数的小性，允许加权范数 $\|\cdot\|_{\dot{W}^{1}_{p/2,n/2}(\omega)}$ 任意大。

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

核心障碍在于：(i) 粗糙算子 $$T$$ 在加权Morrey空间上缺乏先验有界性；(ii) 加权Morrey空间中Sobolev嵌入、Hölder不等式与算子估计之间存在尺度失配；(iii) 经典Leray投影在加权空间中的有界性需额外验证。作者的真正创新点是系统构建了三类新型函数不等式，并将其无缝嵌入不动点框架。

首先，为克服 $$T$$ 的加权有界性缺失，作者发展了Lemma 2.4：它给出了 $$T$$ 在无权、混合、全加权Morrey-Sobolev空间上的统一估计。关键突破在于混合估计 $\|T(\vec{\phi})\|_{M_{p,n}} \leq C \|\vec{\phi}\|^{1/2}_{\dot{W}^{1}_{p/2,n/2}} \|\vec{\phi}\|^{1/2}_{\dot{W}^{1}_{p/2,n/2}(\omega)}$ ，其证明依赖于插值技巧与粗糙算子的特定核结构（ $\Omega_k \in L^\rho$ ），而非标准Calderón-Zygmund分解。该估计成为Theorem 1证明中控制双线性项 $\|T(\vec{u}) \otimes \vec{u}\|_{M_{p/2,n/2}(\omega)}$ 的枢纽。

其次，为闭合不动点论证，作者建立了三类Sobolev嵌入：Lemma 2.1（无权）给出 $\|\vec{\phi}\|_{M_{p^*,q^*}} \leq C \|\vec{\phi}\|_{\dot{W}^{\alpha}_{p,q}}$ ，其中 $p^* = np/(n-\alpha q), q^* = nq/(n-\alpha q)$ ；Lemma 2.2（混合）首创 $\|\vec{\phi}\|_{M_{p^*,q^*}(\omega)} \leq C \|\vec{\phi}\|^{1-\alpha q/n}_{\dot{W}^{\alpha}_{p,q}(\omega)} \|\vec{\phi}\|^{\alpha q/n}_{\dot{W}^{\alpha}_{p,q}}$ ，其证明需利用Muckenhoupt权的反向Hölder不等式与球平均的尺度不变性；Lemma 2.3（全加权）则要求 $$d$$ -下Ahlfors条件，导出 $\|\vec{\phi}\|_{M_{p^*,q^*}(\omega)} \leq C \|\vec{\phi}\|_{\dot{W}^{\alpha}_{p,q}(\omega)}$ ，其中 $p^* = dp/(d-\alpha q), q^* = dq/(d-\alpha q)$ ，此条件本质是赋予权 $\omega$ 一个“局部维数” $$d$$ ，使加权测度 $\omega(B(x,r))$ 行为类比 $$r^d$$ ，从而恢复尺度齐次性。

最后，作者将上述不等式整合进Leray投影框架：在Theorem 1中，解空间取为 $E = \dot{W}^{1}_{p/2,n/2} \cap \dot{W}^{1}_{p/2,n/2}(\omega)$ ，其范数 $\|\cdot\|_E = \|\cdot\|_{\dot{W}^{1}_{p/2,n/2}} + \|\cdot\|_{\dot{W}^{1}_{p/2,n/2}(\omega)}$ 。利用Lemma 2.4的混合估计与Lemma 2.2，成功控制双线性项 $\|(-\Delta)^{-1}P(\operatorname{div}(T(\vec{u}) \otimes \vec{u}))\|_E \leq C \|\vec{u}\|_E^2$ （见(3.6)）；在Theorem 2中，借助 $$d$$ -下Ahlfors条件与Lemma 2.3、2.4(3)，直接获得全加权空间 $\dot{W}^{1}_{p/2,d/2}(\omega)$ 上的压缩映射。整个框架的稳健性源于对加权Morrey空间几何结构的深度挖掘，而非简单移植Lebesgue空间技术。

4. 与之前工作的比较

与既有工作相比，本文在四个维度实现实质性推进：

问题设定与适用范围：此前所有关于加权定常NS的研究（[2],[7],[9],[10],[20],[22]）均限定于有界域、周期域或外区域，其证明严重依赖Green函数的衰减性或紧嵌入定理。本文首次将问题置于全空间 $\mathbb{R}^n$ ，并引入粗糙漂移 $$T$$ ，这迫使作者放弃Green函数方法，转而构建基于奇异积分算子的全新加权函数框架。这一推广具有根本性意义，因 $\mathbb{R}^n$ 是物理模型（如自由湍流）的自然背景，且粗糙漂移无法通过坐标变换或截断消除。
函数空间与权重假设：以往工作（如[8],[18]）多采用加权Lebesgue空间 $L^p(\omega)$ 或加权Sobolev空间 $W^{k,p}(\omega)$ ，其权重 $\omega$ 通常需满足更强条件（如 $$A_p$$ 且 $\omega^{1-p'} \in A_{p'}$ ）。本文采用加权Morrey-Sobolev空间 $\dot{W}^{s}_{p,q}(\omega)$ ，其优势在于：(i) Morrey空间天然适配奇异积分算子的局部奇异性（见[5],[6]）；(ii) 参数 $$p,q$$ 提供额外自由度，使存在性结论可覆盖更广的外力正则性（如 $\dot{W}^{-1}_{p/2,n/2}$ 比 $L^{n/2}$ 更弱）；(iii) Theorem 1的“混合范数”设计（同时控制无权与加权范数）规避了对权重施加全局正则性假设，仅需 $\omega \in A_{p/2}$ ，而Theorem 2的 $$d$$ -下Ahlfors条件（1.5）比文献[12],[13]中使用的更弱形式更具几何直观性。
技术代价与局限：本文进展的代价是强小性假设与参数限制。所有结果均要求外力 $\vec{f}$ 在相应空间中范数充分小（ $\varepsilon$ -smallness），且 $$p$$ 必须满足 $$2 < p < n$$ （Theorem 1）或 $2 < p \leq d$ （Theorem 2），这是由Lemma 2.4中 $$T$$ 的有界性阈值 $p > \rho n/(\rho n + \rho - n)$ 及Sobolev嵌入要求 $\alpha q < n$ 共同决定的。相比之下，经典Lebesgue框架下NS的存在性可对 $$p > n/2$$ 成立（如[4]）。此外，Theorem 3的唯一性仅依赖无权范数，虽具灵活性，但也暗示加权范数本身不足以保证唯一性，这与[20]中在加权Lebesgue空间下获得的唯一性形成对比，表明粗糙漂移显著削弱了加权信息的判别能力。
与粗糙算子文献的衔接：关于粗糙算子 $$T$$ 的研究（[14],[15],[19]）主要集中于其在 $$L^p$$ 空间上的有界性，而[23]首次将其推广至加权 $$L^p$$ 空间。本文的突破在于将 $$T$$ 的分析提升至加权Morrey-Sobolev层级，并开发了配套的Sobolev嵌入（Lemma 2.3）与混合不等式（Lemma 2.2），这些工具在[23]中完全缺失。从提供内容中无法确认本文结果是否可推广至时间依赖的非定常NS方程，因文中未显式展开比较。

4. 无粘微极流体约化模型的局部与整体强解

Local and global strong solutions to a reduced model for inviscid micropolar fluids

作者: F. Fanelli, P. G. Fernández Dalgo, M. E. Martínez Martini

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11812v1

摘要翻译: 本文研究了一类二维微极流体约化模型的适定性问题。该约化模型将流体速度场所满足的 Euler 型方程与微旋转场（在此设定下为标量场）所满足的输运-扩散方程耦合在一起。

Comment: Submitted

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

1. 研究对象和背景

本文研究如下二维无粘微极流体简化模型的初值问题：

\begin{cases} \partial_t u + (u \cdot \nabla) u + \nabla \Pi = -\alpha \nabla^\perp m, \\ \partial_t m + u \cdot \nabla m - \kappa \Delta m = \alpha \omega, \\ \mathrm{div}\, u = 0, \end{cases} \quad (t,x) \in \mathbb{R}_+ \times \Omega,\; \Omega = \mathbb{R}^2 \text{ 或 } \mathbb{T}^2,

其中 $u = (u_1,u_2) \in \mathbb{R}^2$ 为速度场， $\omega := \partial_1 u_2 - \partial_2 u_1$ 为其标量涡度， $m \in \mathbb{R}$ 为微旋转标量场（由三维向量场 $$M = (0,0,m)$$ 约化而来）， $\Pi$ 为压力， $\alpha > 0$ 、 $\kappa > 0$ 为固定常数，且 $\nabla^\perp m := (-\partial_2 m, \partial_1 m)$ 。该系统源自 Eringen 微极流体理论在二维平流假设下的约化：设 $$U = (u_h, 0)$$ 、 $$M = (0,0,m)$$ 且 $\mathrm{div}_h u_h = 0$ ，代入原始三维微极方程并忽略所有粘性项（即令 $\mu + \mu_r = 0$ ）及微旋转阻尼项（即不保留 $4\mu_r m$ 项），仅保留微旋转扩散项 $-\kappa \Delta m$ 。因此，该模型本质是 Euler 方程与带扩散项的输运方程的强耦合系统：速度演化受微旋转梯度 $\nabla^\perp m$ 驱动，而微旋转演化则受涡度 $\omega$ 激发并受 $\kappa \Delta m$ 正则化。其物理意义在于刻画无宏观粘性但具内部微结构（如刚性微粒悬浮）的流体，适用于生物流体、微流控等场景；数学上，它介于不可压 Euler 方程（完全双曲、无正则化）与 Navier-Stokes 型系统（强抛物正则化）之间，具有“半抛物”结构—— $$u$$ 方程无耗散， $$m$$ 方程具二阶扩散，但二者通过非线性对流项 $u \cdot \nabla m$ 和源项 $\nabla^\perp m$ 、 $\omega$ 深度耦合。关键未知量为 $$(u,m)$$ 的正则性传播机制：由于 $$u$$ 无扩散，其正则性仅依赖于输运结构，要求 $u \in L^1_T(W^{1,\infty})$ 以保证 Lipschitz 连续性；而 $$m$$ 的正则性由抛物方程 $\partial_t m - \kappa \Delta m = -u \cdot \nabla m + \alpha \omega$ 决定，其右端含 $\omega = \mathrm{curl}\, u$ （比 $$u$$ 低一阶），但抛物正则化可预期增益两阶光滑性，故 $\nabla m$ 的正则性应与 $$u$$ 相当。已有理论中，带粘性版本（即 $\mu+\mu_r>0$ ）的二维约化系统已知全局强解存在（如 [14,16,39]），其证明依赖于粘性耗散提供的能量控制与正则化；而无粘情形下，Yudovich 型解（ $\omega_0 \in L^1 \cap L^\infty$ ）的全局存在唯一性已在 [20] 中建立，但仅给出 $u \in B^1_{\infty,\infty}$ 、 $$m$$ 缺乏二阶导数控制。本文试图填补的关键空白是：在 Besov 框架下，建立更高正则性（ $$s > 1$$ ）的强解理论，并确定其局部存在性与全局存在性的临界正则性阈值。特别地，作者指出系统缺乏尺度不变性，故不能沿用 Navier-Stokes 的临界空间 $\dot{B}^{d/p}_{p,1}$ 类比；相反，基于输运-抛物耦合结构，自然临界指标为 $$s = 1 + 2/p$$ （对应 $W^{1,\infty}$ 嵌入），此即本文核心问题：在此临界指标下能否实现全局正则性保持？

2. 主要定理或主要结果

定理 1.1（有限 $$p$$ 情形）：设 $p \in (1,+\infty)$ ， $s \geq 1 + 2/p$ ，初始数据 $$(u_0,m_0)$$ 满足 $\mathrm{div}\, u_0 = 0$ ， $u_0 \in B^s_{p,1}(\mathbb{R}^2)$ ， $m_0 \in B^{s-1}_{p,1}(\mathbb{R}^2)$ 。则存在 $$T > 0$$ ，使得系统 (2) 存在唯一强解 $$(u,m)$$ 满足

u \in C([0,T]; B^s_{p,1}), \quad m \in C([0,T]; B^{s-1}_{p,1}) \cap L^1([0,T]; B^{s+1}_{p,1}).

若 $$s > 1 + 2/p$$ ，则解全局存在（即 $T = +\infty$ ），前提是满足以下任一附加条件：(G.1) $1 < p \leq 2$ ；(G.2) $2 < p < +\infty$ 且 $(u_0,m_0) \in L^2(\mathbb{R}^2) \times L^2(\mathbb{R}^2)$ ；(G.3) $2 < p < +\infty$ 且存在 $p_0 \in (1,2)$ 使得涡度初值 $\omega_0 = \mathrm{curl}\, u_0$ 与 $$m_0$$ 均属于 $L^{p_0}(\mathbb{R}^2)$ 。在 (G.1) 或 (G.2) 下，进一步有 $u,m \in C(\mathbb{R}_+; L^2)$ 且 $m \in L^2_{\mathrm{loc}}(\mathbb{R}_+; H^1)$ ；在 (G.3) 下，有 $\omega,m \in C(\mathbb{R}_+; L^{p_0})$ 。解的唯一性在以下情形成立：(U.1) $s \geq 2(1 + 1/p)$ ；(U.2) $1 + 2/p \leq s < 2 + 2/p$ 且满足 (G.1)-(G.3) 之一。定理 1.2（ $p = +\infty$ 情形）：设 $s \geq 1$ ，初始数据满足 $\mathrm{div}\, u_0 = 0$ ， $u_0 \in B^s_{\infty,1}(\mathbb{R}^2)$ ， $m_0 \in B^{s-1}_{\infty,1}(\mathbb{R}^2)$ ，且存在 $p_0 \in (1,2)$ 使得 $\omega_0, m_0 \in L^{p_0}(\mathbb{R}^2)$ 。则存在 $$T > 0$$ ，存在唯一解 $$(u,m)$$ 满足

u \in C([0,T]; B^s_{\infty,1}), \; \omega \in C([0,T]; L^{p_0}), \; m \in C([0,T]; B^{s-1}_{\infty,1}) \cap C([0,T]; L^{p_0}) \cap L^1([0,T]; B^{s+1}_{\infty,1}).

若 $$s > 1$$ ，则解全局存在。值得注意的是，临界情形 $$s = 1 + 2/p$$ （对 $p < +\infty$ ）或 $$s = 1$$ （对 $p = +\infty$ ）下，全局存在性未被证明，且作者明确指出此为开放问题（见第 5 页 Remark 1.4 及第 6.2 节）。

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

证明的核心障碍源于系统固有的“非对称正则化”： $$u$$ 方程为纯输运型（无耗散），而 $$m$$ 方程为抛物型（具 $-\kappa \Delta m$ 项），但二者通过 $\nabla^\perp m$ 和 $\omega$ 强耦合，导致标准能量方法失效。具体而言，对 $$u$$ 进行 $B^s_{p,1}$ 能量估计时，非线性项 $(u \cdot \nabla) u$ 的控制需 $u \in L^1_T(W^{1,\infty})$ ，这要求 $$s > 1 + 2/p$$ （由 Besov 嵌入 $B^s_{p,1} \hookrightarrow W^{1,\infty}$ 保证）；而 $$m$$ 的 $B^{s-1}_{p,1}$ 估计则依赖于右端项 $\alpha \omega$ 和 $-u \cdot \nabla m$ 的正则性，前者属 $B^{s-2}_{p,1}$ （因 $\omega = \mathrm{curl}\, u$ ），后者需利用 paradifferential 分解处理。作者的真正创新点在于构建了一套针对此耦合结构的精细化 Besov 估计框架，其核心工具包含三方面：第一，采用 Chemin-Lerner 型时间-空间混合范数 $\widetilde{L}^q_T(B^s_{p,r})$ ，特别选取 $$r=1$$ 以规避 $\ell^r$ 求和时的对数发散问题，并利用 $\widetilde{L}^1_T(B^{s+1}_{p,1}) = L^1_T(B^{s+1}_{p,1})$ 的等价性，直接获得 $$m$$ 的抛物正则化增益（即从 $B^{s-1}_{p,1}$ 初始正则性经 $-\kappa \Delta m$ 作用后获得 $B^{s+1}_{p,1}$ 控制）；第二，对耦合项 $u \cdot \nabla m$ 实施精细的 Bony 分解：将其拆为 $T_u \nabla m + T_{\nabla m} u + R(u, \nabla m)$ ，并分别估计—— $T_u \nabla m$ 项利用 $\|T_u \nabla m\|_{B^{s-1}_{p,1}} \lesssim \|u\|_{L^\infty} \|\nabla m\|_{B^{s-1}_{p,1}}$ 及嵌入 $B^s_{p,1} \hookrightarrow L^\infty$ 控制； $T_{\nabla m} u$ 项则需 $\|\nabla m\|_{B^{-1}_{\infty,\infty}}$ ，作者通过 $m \in B^{s-1}_{p,1}$ 及 Bernstein 不等式导出 $\|\nabla m\|_{B^{-1}_{\infty,\infty}} \lesssim \|m\|_{B^{s-1}_{p,1}}$ （因 $$s-1 > 0$$ ）；余项 $R(u, \nabla m)$ 利用 Proposition 2.5 中 $$s_1 + s_2 > 0$$ 的条件（取 $$s_1 = s$$ , $$s_2 = -1$$ ，需 $$s > 1$$ ）映射至 $B^{s-1}_{p,1}$ ；第三，对 $$u$$ 方程中的 $\nabla^\perp m$ 项，作者利用 $\nabla^\perp$ 作为零阶 Fourier 乘子的性质及 $B^s_{p,1}$ 的乘子有界性，直接得到 $\|\nabla^\perp m\|_{B^s_{p,1}} \lesssim \|m\|_{B^{s+1}_{p,1}}$ ，从而将 $$m$$ 的高阶正则性转化为 $$u$$ 方程的源项控制。全局存在性的证明则依赖于先验估计的一致性：当 $$s > 1 + 2/p$$ 时， $$u$$ 的 $B^s_{p,1}$ 范数增长由 $\|\nabla^\perp m\|_{B^s_{p,1}}$ 控制，而后者又由 $$m$$ 的抛物正则化所抑制；结合 (G.1)-(G.3) 条件，作者构造了 $\|\omega\|_{L^{p_0}}$ 和 $\|m\|_{L^{p_0}}$ 的一致先验界（利用 $L^{p_0}$ 下输运方程的稳定性及 $\kappa \Delta m$ 的耗散），再通过 Gagliardo-Nirenberg 不等式 $\|u\|_{L^\infty} \lesssim \|u\|_{L^{p_0}}^\alpha \|\omega\|_{L^\infty}^{1-\alpha}$ （其中 $\alpha = p_0/(p_0+2)$ ）将 $$u$$ 的 $L^\infty$ 控制与 $\omega$ 的 $L^{p_0}$ 控制关联，最终闭合 Gronwall 不等式。

4. 与之前工作的比较

本文与既有工作存在三重实质性推进：首先，在模型设定上，区别于 [14,16,39] 等研究带粘性（ $\mu+\mu_r>0$ ）二维微极系统的文献，本文首次系统处理完全无粘（ $\mu+\mu_r=0$ ）且无微旋转阻尼（无 $4\mu_r m$ 项）的情形，仅保留微旋转扩散 $-\kappa \Delta m$ ，从而揭示纯输运-抛物耦合结构的极限正则性行为。其次，在函数空间选择上，本文超越了 [20] 的 Yudovich 框架（ $\omega_0 \in L^1 \cap L^\infty$ ，对应 $u_0 \in B^1_{\infty,\infty}$ ），将正则性提升至 $B^s_{p,1}$ （ $s \geq 1 + 2/p$ ），并首次确立临界指标 $$s = 1 + 2/p$$ 的地位——此前 [39] 在 $B^s_{p,q}$ 框架下未明确此阈值，而本文证明当 $$s > 1 + 2/p$$ 时全局存在， $$s = 1 + 2/p$$ 时开放，这与不可压 Euler 方程的临界正则性 $B^1_{\infty,1}$ （[12]）形成类比，但因耦合项存在而更复杂。第三，在技术层面，本文的 Besov 估计比 [3]（研究涡片解）更精细：[3] 使用 $$H^s$$ 空间且需 $$s > 2$$ ，而本文在 $B^s_{p,1}$ 中允许 $$s$$ 接近临界值，并通过 $$r=1$$ 的选择规避了 $\ell^r$ 求和的对数修正，这是处理抛物正则化增益的关键；同时，本文对耦合项 $u \cdot \nabla m$ 的 paradifferential 处理比 [15]（部分耗散情形）更严格，后者依赖粘性项提供额外控制。代价方面，本文结果要求初始 $m_0 \in B^{s-1}_{p,1}$ （而非 $B^s_{p,1}$ ），反映了微旋转场正则性滞后于速度场的物理本质；且全局存在性需附加 $L^{p_0}$ 或 $$L^2$$ 条件，而 [16] 在带粘性情形下无需此类假设。适用范围上，本文结论适用于 $\mathbb{R}^2$ 与 $\mathbb{T}^2$ ，但未涉及有界区域（如 [26] 所研究），且未处理 $$p=1$$ 或 $p=+\infty$ 下的边界效应；此外，作者未讨论解的衰减性（如 [14] 所示），亦未涉及弱解与强解的关系（如 [22] 对弱解的研究）。从提供内容中无法确认本文结果是否可推广至三维情形，亦无法确认其与 [7]（关于粘性参数大时间行为）的定量比较细节。

5. 具有非局部源项与超线性噪声的随机Keller-Segel系统的鞅解

Martingale Solutions to a Stochastic Keller-Segel System with nonlocal Source and Super-linear Noise

作者: Qian Li, Li Chen, Jinhuan Wang

类别: math.PR, math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11774v1

摘要翻译: 证明了具有非局部Fisher-KPP源项与超线性乘性噪声的随机Keller-Segel系统存在全局非负鞅解。该结果对任意非负初始数据成立，无需小初值假设，前提是该非局部源项占主导地位。主要困难源于系统缺乏强制结构以及噪声的超线性性质。为此，在经典Galerkin方法中额外引入一个具有有限 $$L^2$$ 范数的截断项，以建立良定的逼近问题。此外，由于非局部Fisher-KPP结构，必须证明逼近解的正性，方能获得一致估计。在紧性论证中，标准Hilbert空间框架下的通常紧性论证无法直接应用于本文所得的一致估计。因此，我们在附录中发展了一种更一般的紧性论证及紧性判据，并在全文中加以应用。这使得我们能够借助Jakubowski版本的Skorokhod定理，并结合对收敛性质的详尽讨论，导出非负鞅解的全局存在性。

Comment: 41 pages

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

1. 研究对象和背景

本文研究如下定义在光滑有界区域 $\Omega \subset \mathbb{R}^d$ （ $d \geq 3$ ）上的随机Keller–Segel系统：

\begin{cases} du = \Delta u\, dt - \nabla \cdot (u \nabla c)\, dt + u^\alpha \left(1 - \int_\Omega u^\beta \,dx\right) dt + \sigma(u)\, dW(t), \\ -\Delta c + c = u, \\ \nabla u \cdot \nu = \nabla c \cdot \nu = 0 \quad \text{on } \partial\Omega, \\ u(x,0) = u_0(x) \geq 0, \end{cases} \tag{1.1}

其中 $\nu$ 为外单位法向量， $u(x,t) \geq 0$ 表示细菌密度， $$c(x,t)$$ 表示趋化因子浓度；非局部Fisher–KPP源项 $f(u) = u^\alpha (1 - \|u\|_{L^\beta(\Omega)}^\beta)$ （ $\alpha > 1$ , $\beta > 1$ ）建模种群在全局资源约束下的非线性增殖与竞争机制； $$W(t)$$ 是取值于可分Hilbert空间 $$U$$ 的 $$Q$$ -Wiener过程，其协方差算子 $$Q$$ 满足 $\operatorname{Tr} Q < \infty$ ；噪声系数 $\sigma : L^\gamma(\Omega) \to L_2(U_0; L^2(\Omega))$ 满足超线性增长条件：

\|\sigma(u)\|_{L_2(U_0; L^2(\Omega))}^2 \leq C \|u\|_{L^\gamma(\Omega)}^\gamma, \quad \gamma \geq 2, \tag{2.3}

以及Lipschitz型局部Hölder连续性：

\|\sigma(u) - \sigma(v)\|_{L_2(U_0; L^2(\Omega))}^2 \leq C \left( \|u\|_{L^\gamma}^{\gamma-2} + \|v\|_{L^\gamma}^{\gamma-2} \right) \|u-v\|_{L^\gamma}^2. \tag{2.4}

该模型的确定性对应物（即 $\sigma \equiv 0$ ）已被广泛研究：当 $\alpha = \beta = 2$ 时，Bian–Chen [2] 证明了在 $d \geq 3$ 下若 $\alpha < \frac{2d}{d+2}$ 则全局解存在；Tello–Winkler [41] 对局部Logistic项 $f(u) = \mu u(1-u)$ 建立了临界阈值 $\mu > \frac{d-2}{d}$ 以阻止爆破。然而，随机情形下，尤其当噪声为真正超线性（即 $\gamma > 2$ ）且无局部耗散补偿时，现有理论严重受限：Huang–Qiu [25] 仅对小初值建立局部解；Misiats–Stanzhytskyi–Topaloglu [33] 指出线性乘性噪声 $\sigma(u)=u$ 在任意非平凡初值下以正概率导致有限时间爆破；Chen–Zhai–Zhang [15] 要求噪声为线性或满足 $$r$$ -次幂增长但需配合局部二次阻尼 $f(u) \leq c - \mu u^2$ 。本文所考虑的系统核心挑战在于三重耦合失衡：(i) 化学吸引项 $-\nabla \cdot (u \nabla c)$ 具有 $$L^1$$ -临界结构，易诱发聚集与爆破；(ii) 超线性噪声 $\sigma(u) dW$ 在高密度区剧烈放大波动，其Itô修正项 $\frac{1}{2} \sum_l |\sigma(u) Q^{1/2} e_l|^2$ 呈 $\|u\|_{L^\gamma}^{\gamma}$ 阶增长，破坏经典能量估计中的 coercivity；(iii) 非局部源项虽提供全局阻尼，但其符号依赖于 $\int_\Omega u^\beta dx$ ，当 $$u$$ 局部尖峰而整体质量尚小时无法即时抑制局部奇点。因此，本文旨在填补如下关键空白：在**无初值小性假设、无局部二次耗散、且噪声严格超线性（ $\gamma > 2$ ）**的前提下，建立非负全局鞅解的存在性，并阐明非局部Fisher–KPP项如何作为唯一主导阻尼机制克服上述三重障碍。

2. 主要定理或主要结果

定理 3.1（全局鞅解存在性）：设 $d \geq 3$ ， $\Omega \subset \mathbb{R}^d$ 为具光滑边界的有界区域，初始数据 $u_0 \in L^2(\Omega)$ 且 $u_0 \geq 0$ a.e.；噪声系数 $\sigma$ 满足假设1（即 (2.3)–(2.5)），指数满足 $\gamma \geq \max\{2, \alpha, \beta\}$ ；非局部源参数满足 $\alpha > 1$ , $\beta > 1$ ，且存在常数 $$C_* > 0$$ 使得 $\int_\Omega u_0^\beta dx < C_*$ （此条件由“非局部源占优”隐含，见引理3.3）；则系统 (1.1) 存在全局非负鞅解 $((\tilde{\Omega}, \tilde{\mathcal{F}}, \{\tilde{\mathcal{F}}_t\}_{t\geq0}, \tilde{\mathbb{P}}), \tilde{u}, \tilde{W})$ ，其中 $\tilde{u} \in L^2(\tilde{\Omega}; C([0,T]; H^{-1}(\Omega))) \cap L^2(\tilde{\Omega}; L^2(0,T; H^1(\Omega))) \cap L^{\gamma}(\tilde{\Omega}; L^{\gamma}(0,T; L^{\gamma}(\Omega)))$ ，且对任意 $t \in [0,T]$ ， $\tilde{u}(t) \geq 0$ a.e. on $\Omega$ $\tilde{\mathbb{P}}$ -a.s.。更精确地，该解满足：对所有 $\phi \in C^\infty_c(\Omega)$ 及 $t \in [0,T]$ ，

\langle \tilde{u}(t), \phi \rangle = \langle u_0, \phi \rangle + \int_0^t \langle \tilde{u}(s), \Delta \phi \rangle ds + \int_0^t \langle \tilde{u}(s) \nabla \tilde{c}(s), \nabla \phi \rangle ds + \int_0^t \left\langle \tilde{u}^\alpha(s) \left(1 - \|\tilde{u}(s)\|_{L^\beta}^\beta\right), \phi \right\rangle ds + \left\langle \int_0^t \sigma(\tilde{u}(s))\, d\tilde{W}(s), \phi \right\rangle,

其中 $\tilde{c}$ 由椭圆方程 $-\Delta \tilde{c} + \tilde{c} = \tilde{u}$ 在Neumann边界条件下唯一确定。推论 3.2（一致先验估计）：存在与 $$n$$ 无关的常数 $C = C(T, \|u_0\|_{L^2}, \alpha, \beta, \gamma, \Omega)$ ，使得Galerkin逼近解 $$u_n$$ 满足

\sup_{t \in [0,T]} \mathbb{E}\|u_n(t)\|_{L^2}^2 + \mathbb{E}\int_0^T \|\nabla u_n(s)\|_{L^2}^2 ds + \mathbb{E}\int_0^T \|u_n(s)\|_{L^{\alpha+1}}^{\alpha+1} ds \leq C,

且关键非局部控制成立： $\mathbb{E}\sup_{t \in [0,T]} \left| \int_\Omega u_n^\beta(t) dx \right| \leq C$ 。该估计依赖于Gagliardo–Nirenberg不等式（引理2.1）与精细的Sobolev嵌入：对 $p = \frac{2d}{d-2}$ ，选取 $$r=2$$ , $q=\alpha+1$ ，要求 $\alpha < \frac{2d}{d-2} - 1$ 以确保 $\zeta < 2$ ，从而将 $\|u_n\|_{L^{\alpha+1}}^{\alpha+1}$ 控制于 $\|\nabla u_n\|_{L^2}^2$ 与 $\|u_n\|_{L^2}^2$ 的线性组合，再由非局部项主导吸收噪声的 $\gamma$ -阶增长。

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

本文的核心技术障碍有三：(1) Galerkin逼近缺乏弱强制性（weak coercivity），因超线性噪声的Itô修正项 $\frac{1}{2} \sum_l |\sigma(u_n) Q^{1/2} e_l|^2$ 无法被标准能量泛函 $\|u_n\|_{L^2}^2$ 控制；(2) 非局部源项 $u_n^\alpha (1 - \int u_n^\beta)$ 在 $$u_n$$ 可能变号时未良定义，且其正性对获得一致估计至关重要；(3) 标准Hilbert空间紧性框架（如[10,17]）要求解列在 $L^2(0,T; H^1) \cap L^\infty(0,T; L^2)$ 中紧，但本文仅能得到 $u_n \in L^2(\Omega_T)$ 与 $\nabla u_n \in L^2(\Omega_T)$ 的弱收敛，而 $L^\gamma$ 估计仅对 $\gamma \geq 2$ 成立，不足以嵌入到连续函数空间。为克服这些障碍，作者发展了三项原创性工具：

第一，双截断Galerkin方案：在标准Galerkin投影 $\Pi_n$ 后，引入双重正则化：(i) 对 $$L^2$$ -范数作截断 $\|u_n\|_{L^2} \leq N$ ，定义停时 $\tau_n^N := \inf\{t > 0 : \|u_n(t)\|_{L^2} > N\}$ ；(ii) 强制非负性，用正部 $$u_n^+$$ 替代 $$u_n$$ ，确保反应项 $(u_n^+)^\alpha (1 - \int (u_n^+)^\beta )$ 处处有限。由此构造截断方程 $du_n^N = \Pi_n [\Delta u_n^N - \nabla \cdot (u_n^N \nabla c_n^N) + (u_n^N)^\alpha (1 - \int (u_n^N)^\beta ) ] dt + \Pi_n \sigma(u_n^N) dW$ ，其右端满足Lipschitz条件，故存在路径唯一全局解 $u_n^N \in C([0,\infty); H_n)$ ；再通过停时延拓得原Galerkin解 $$u_n = u_n^N$$ on $[0, \tau_n^N)$ 。

第二，非负性保持与非局部主导性分析：利用Itô公式对 $\|u_n^+\|_{L^2}^2$ 微分，结合Neumann边界条件及 $\sigma(0)=0$ （由(2.3)推出），得到

d\|u_n^+\|_{L^2}^2 = -2\|\nabla u_n^+\|_{L^2}^2 dt + 2\int u_n^+ u_n^\alpha \left(1 - \int u_n^\beta\right) dx dt + \|\sigma(u_n^+)\|_{L_2}^2 dt + \text{martingale term}.

关键步骤是应用Gagliardo–Nirenberg不等式（引理2.1）将 $\int u_n^+ u_n^\alpha dx = \|u_n\|_{L^{\alpha+1}}^{\alpha+1}$ 控制为 $\|\nabla u_n\|_{L^2}^2 + \|u_n\|_{L^2}^2$ ，再利用非局部项 $-\|u_n\|_{L^{\alpha+1}}^{\alpha+1} \|u_n\|_{L^\beta}^\beta$ 的负贡献主导超线性噪声项 $C \|u_n\|_{L^\gamma}^\gamma$ ，前提是 $\|u_n\|_{L^\beta}^\beta$ 足够大——这通过选择初值满足 $\int u_0^\beta < C_*$ 并利用连续性保证在有限时间内成立，从而避免爆破。

第三，广义紧性框架与Jakubowski–Skorokhod实现：因解列 $\{u_n\}$ 仅在 $Z := C([0,T]; U') \cap L^2_w(0,T; H^1) \cap L^\gamma(0,T; L^\gamma) \cap C([0,T]; L^2_w)$ 中有界（ $$U'$$ 为某Banach空间的对偶），作者在附录中建立新紧性准则：对任意 $\varepsilon > 0$ ，存在紧集 $K_\varepsilon \subset Z$ 使得 $\sup_n \mathbb{P}(u_n \notin K_\varepsilon) < \varepsilon$ ，其证明依赖于Aldous条件与分数阶Sobolev嵌入 $L^2(0,T; H^1) \cap W^{1/2,2}(0,T; H^{-1}) \hookrightarrow C([0,T]; L^2)$ 。随后应用Jakubowski版Skorokhod定理（适用于非度量空间），在某概率空间上提取子列 $\tilde{u}_n \to \tilde{u}$ a.s. in $$Z$$ ，再借助Vitali收敛定理验证非线性项 $\tilde{u}_n \nabla \tilde{c}_n \to \tilde{u} \nabla \tilde{c}$ 与 $\tilde{u}_n^\alpha (1 - \int \tilde{u}_n^\beta) \to \tilde{u}^\alpha (1 - \int \tilde{u}^\beta)$ 的强收敛。

4. 与之前工作的比较

本文与既有工作的差异体现在四个维度：

假设强度：相较Chen–Zhai–Zhang [15]（要求 $\sigma(u) = u$ 或 $\sigma(u) = \|u\|_q^r u$ 且需局部二次阻尼 $f(u) \leq c - \mu u^2$ ），本文完全放弃局部耗散，仅依赖非局部Fisher–KPP项 $u^\alpha(1 - \int u^\beta)$ ，且允许 $\sigma$ 为严格超线性（ $\gamma > 2$ ）；相较Huang–Qiu [25]（要求 $\|u_0\|_{L^4}$ 小以获全局解），本文无任何初值小性假设，仅需 $\int u_0^\beta < C_*$ （此为非局部项占优的自然条件）。

时间尺度与适用范围：Misiats–Stanzhytskyi–Topaloglu [33] 证明线性噪声 $\sigma(u)=u$ 下爆破以正概率发生，本文则表明：当非局部源足够强（即 $\beta$ 足够大或初值 $L^\beta$ -质量受控）时，超线性噪声反可被驯服，实现全局存在；而Tang–Wang [40] 在 $\mathbb{R}^d$ 上处理线性噪声并获衰减性，本文在有界域上处理超线性噪声，目标转为存在性而非大时间行为。

技术代价与局限：本文解为鞅解（非强解或路径解），因超线性噪声破坏Itô公式的经典适用性，无法获得路径唯一性；解的正则性为 $u \in L^2(\Omega_T)$ ，弱于[15]中的mild解（ $u \in C([0,T]; L^2)$ ）；且非局部项参数 $\alpha, \beta$ 需满足Sobolev嵌入约束 $\alpha < \frac{2d}{d-2} - 1$ ，而[2]对确定性情形允许 $\alpha < \frac{2d}{d+2}$ ，表明随机扰动收紧了参数范围。此外，作者明确指出（摘要末句）：“不含此类非局部阻尼机制的纯超线性噪声情形仍属开放问题”，凸显本文结论的边界性。

方法论推进：相比Flandoli–Galeati–Luo [19]（仅处理环面上线性噪声的局部解）或Hausenblas–Mukherjee–Tran [24]（一维Stratonovich解释），本文首次将Galerkin截断、非负性保持、广义紧性准则三者系统整合，为超线性SPDE提供可推广的框架；附录中的紧性准则比[10,17]更灵活，允许解列在混合拓扑 $$Z$$ 中弱收敛，这对处理缺乏高阶正则性的趋化系统尤为关键——从提供内容中无法确认该准则是否已被其他文献独立提出，但作者强调其为本文专属开发。

6. 若干非牛顿流体在穿孔区域上的定性与定量均匀化：‘小孔’情形

Qualitative and quantitative homogenization of some non-Newtonian flows in perforated domains: case of `small holes'

作者: Yong Lu, Zhengmao Qian, Chenchen Zhang

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11664v1

摘要翻译: 我们考虑满足某种一般 $$r$$ -结构的三维粘性不可压缩非牛顿流体在穿孔区域上的均匀化问题。我们聚焦于‘小孔’情形，即假设所考虑的孔洞尺寸为 $\varepsilon^\alpha$ ，其中 $\alpha>3$ ，而 $\varepsilon$ 是用于度量孔洞之间相互距离的穿孔参数。我们在约束条件 $\frac{6(\alpha- 1)}{4\alpha-5}< r<3-\frac{3}{\alpha}$ 下证明极限方程在均匀化极限下保持不变，该约束在 Remark 1.3 所解释的孔洞 Sobolev 容量意义下似乎是最佳的。进一步，我们推导出了速度场与压力的定量收敛速率。据我们所知，本文首次给出了非牛顿流体在‘小孔’情形下的定性与定量均匀化结果。

Comment: 26 pages

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

1. 研究对象和背景

本文研究三维不可压粘性非牛顿流体在穿孔区域 $\Omega_\varepsilon \subset \mathbb{R}^3$ 中的均匀化问题，其控制方程为稳态非线性动量方程与连续性方程耦合系统：

\begin{cases} -\operatorname{div} S(Du_\varepsilon) + (u_\varepsilon \cdot \nabla) u_\varepsilon + \nabla p_\varepsilon = f, & \text{in } \Omega_\varepsilon, \\ \operatorname{div} u_\varepsilon = 0, & \text{in } \Omega_\varepsilon, \\ u_\varepsilon = 0, & \text{on } \partial \Omega_\varepsilon. \end{cases} \tag{1.1}

其中 $u_\varepsilon \in \mathbb{R}^3$ 为速度场， $Du_\varepsilon = \frac{1}{2}(\nabla u_\varepsilon + \nabla^T u_\varepsilon)$ 为应变率张量， $p_\varepsilon$ 为压力， $f \in L^\infty(\Omega; \mathbb{R}^3)$ 为外力密度，且独立于 $\varepsilon$ 。应力张量 $S : \mathbb{M}^{3}_{\mathrm{sym}} \to \mathbb{M}^{3}_{\mathrm{sym}}$ 满足一般 $$r$$ -结构（ $1 < r < \infty$ ）：存在 $\delta \geq 0$ 及常数 $$c_0, c_1 > 0$$ ，使得对任意对称 $3\times 3$ 矩阵 $\xi$ ，

|S(\xi)| \leq c_0 (\delta + |\xi|)^{r-2} |\xi|, \quad S(\xi) : \xi \geq c_1 (\delta + |\xi|)^{r-2} |\xi|^2, \quad (S(\xi)-S(\zeta)):(\xi-\zeta) > 0 \ (\xi \neq \zeta). \tag{1.2--1.4}

典型例子包括幂律型 $S(\xi) = \mu_0 (\delta + |\xi|)^{r-2} \xi$ 和 Carreau-Yasuda 型 $S(\xi) = \mu_0 (\delta^2 + |\xi|^2)^{(r-2)/2} \xi$ （取 $\mu_1 = 0$ ）。穿孔区域定义为 $\Omega_\varepsilon = \Omega \setminus \bigcup_{k \in K_\varepsilon} T_{\varepsilon,k}$ ，其中 $\Omega \subset \mathbb{R}^3$ 是 $C^{2,1}$ 有界区域， $T_{\varepsilon,k} = x_{\varepsilon,k} + a_\varepsilon T$ 是尺度为 $a_\varepsilon = \varepsilon^\alpha$ 的闭孔， $\alpha > 3$ ， $T \subset Q_0 = (-\frac{1}{2}, \frac{1}{2})^3$ 是含原点的 $C^{2,1}$ 单连通模型孔； $K_\varepsilon = \{ k \in \mathbb{Z}^3 : \varepsilon Q_k \subset \Omega \}$ ，故孔数阶为 $\varepsilon^{-3}$ 。该设定对应‘小孔’情形（ $\lim_{\varepsilon \to 0} \sigma_\varepsilon = \infty$ ），其中 $\sigma_\varepsilon = (\varepsilon^3 / a_\varepsilon)^{1/2} = \varepsilon^{(3-\alpha)/2} \to \infty$ 。经典均匀化理论表明：当 $\sigma_\varepsilon \to 0$ （大孔）时极限为达西律； $\sigma_\varepsilon \to \sigma^* \in (0,\infty)$ （临界孔）时为 Brinkman 方程；而 $\sigma_\varepsilon \to \infty$ （小孔）时极限方程应保持不变——即仍为原始非牛顿方程。然而，该结论此前仅对牛顿流体（Stokes/Navier-Stokes）建立：Allaire（1990）、Mikelić（1991）、Masmoudi（2007）、Feireisl–Novotný–Takahashi（2011）等在 $a_\varepsilon \sim \varepsilon$ 下得达西律；Bella–Oschmann（2018）、Höfer–Lu–Oschmann（2022）等在 $a_\varepsilon = \varepsilon^\alpha$ （ $1 < \alpha < 3/2$ ）下亦得达西律；而对小孔情形（ $\alpha > 3$ ），仅有压缩 Navier-Stokes 的结果（如 [11, 14, 25]），且均未涉及非线性本构关系。非牛顿流体的均匀化研究极度匮乏：Bourgeat–Mikelić（1997）、Höfer–Lu–Oschmann（2022）均限于 $a_\varepsilon \sim \varepsilon$ 或 $\alpha < 3/2$ ，所得极限均为达西律；无任何工作处理 $\alpha > 3$ 下非线性 $$S(Du)$$ 的紧性与极限方程保持问题。核心障碍在于：穿孔导致 $W^{1,r}(\Omega_\varepsilon)$ 范数无法控制 $$L^q$$ 均匀性（ $$q > r$$ ），而 $S(Du_\varepsilon)$ 的弱收敛需 $L^{r'}$ 紧性， $(u_\varepsilon \otimes u_\varepsilon)$ 的弱收敛需 $L^{r^*/2}$ 紧性，二者均依赖于穿孔集合 $\Omega \setminus \Omega_\varepsilon$ 的 Sobolev 容量衰减速率。本文旨在填补这一空白：首次确立小孔非牛顿流体的极限方程不变性，并给出首个定量收敛速率。

2. 主要定理或主要结果

在 $\alpha > 3$ 且 $\frac{6(\alpha-1)}{4\alpha-5} < r < 3 - \frac{3}{\alpha}$ 条件下，设 $$S$$ 满足 $$r$$ -结构（1.2）–（1.4）， $(u_\varepsilon, p_\varepsilon)$ 为（1.1）的有限能量弱解， $(\tilde{u}_\varepsilon, \tilde{p}_\varepsilon)$ 为其零延拓，则存在子列使得

\tilde{u}_\varepsilon \rightharpoonup u \text{ 弱于 } W^{1,r}_0(\Omega; \mathbb{R}^3), \quad \tilde{p}_\varepsilon \rightharpoonup p \text{ 弱于 } L^{\min\{r', r^*/2\}}(\Omega),

且极限 $$(u,p)$$ 满足原始方程（1.1）在齐次区域 $\Omega$ 上的分布意义解：

-\operatorname{div} S(Du) + (u \cdot \nabla) u + \nabla p = f, \quad \operatorname{div} u = 0 \quad \text{in } \mathcal{D}'(\Omega). \tag{1.10}

其中 $$r' = r/(r-1)$$ ， $$r^* = 3r/(3-r)$$ 。该 $$r$$ -范围被证明是容量最优的：由 $\operatorname{Cap}_r(\Omega \setminus \Omega_\varepsilon)^{1/r} \leq C \varepsilon^{(3-r)\alpha - 3}/r$ 得 $r < 3 - 3/\alpha$ ；由 $\operatorname{Cap}_{(r^*/2)'}(\Omega \setminus \Omega_\varepsilon)^{1/(r^*/2)'} \leq C \varepsilon^{((4\alpha-5)r - 6(\alpha-1))/r}$ 得 $r > 6(\alpha-1)/(4\alpha-5)$ 。进一步，在 $\|f\|_{L^\infty(\Omega)} \leq \kappa(\mu_0,r,\delta,\Omega)$ 小性假设下，对 $S(\xi) = \mu_0(\delta + |\xi|)^{r-2}\xi$ （ $\mu_1=0$ ），有定量收敛率：

若 $2 \leq r < 3 - 3/\alpha$ ，则 $u \in W^{1,2r+2}(\Omega)$ 且 $\|\tilde{u}_\varepsilon - u\|_{W^{1,r}(\Omega)} + \|\tilde{p}_\varepsilon - p\|_{L^{r'}(\Omega)} + \|\tilde{u}_\varepsilon - u\|_{W^{1,2}(\Omega)}^{2/r} \leq C \varepsilon^{((3-r)\alpha - 3)/r^2}; \tag{1.11}$
若 $9/5 \leq r < 2$ ，则 $u \in W^{1,\infty}(\Omega)$ 且 $\|\tilde{u}_\varepsilon - u\|_{W^{1,r}(\Omega)} + \|\tilde{p}_\varepsilon - p\|_{L^{r'}(\Omega)}^{1/(r-1)} \leq C \varepsilon^{((3-r)\alpha - 3)/(2r)}; \tag{1.12}$
若 $6(\alpha-1)/(4\alpha-5) < r < 9/5$ ，则 $u \in W^{1,\infty}(\Omega)$ 且 $\|\tilde{u}_\varepsilon - u\|_{W^{1,r}(\Omega)} + \|\tilde{p}_\varepsilon - p\|_{L^{r^*/2}(\Omega)}^{1/(r-1)} \leq C \varepsilon^{((4\alpha-5)r - 6(\alpha-1))/(2r)}. \tag{1.13}$

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

证明的核心障碍是：穿孔导致标准 Sobolev 嵌入失效， $W^{1,r}(\Omega_\varepsilon)$ 解无法直接提供 $$L^q$$ （ $$q>r$$ ）或更高阶导数的一致估计，而 $S(Du_\varepsilon)$ 的弱收敛需 $L^{r'}$ 紧性，非线性对流项 $u_\varepsilon \otimes u_\varepsilon$ 的弱收敛需 $L^{r^*/2}$ 紧性，二者均要求穿孔集合 $\Omega \setminus \Omega_\varepsilon$ 的 Sobolev 容量以特定速率趋于零。作者的真正创新点在于：（1）首次将穿孔区域上的 Bogovskii 型算子（Proposition 2.2）与 $$r$$ -结构应力张量的容量分析结合，精确刻画了 $\operatorname{Cap}_r(\Omega \setminus \Omega_\varepsilon)$ 与 $\operatorname{Cap}_{(r^*/2)'}(\Omega \setminus \Omega_\varepsilon)$ 的 $\varepsilon$ -衰减速率，并据此确定最优 $$r$$ -区间；（2）构造具有可控梯度的截断函数族 $\{g_\varepsilon\}$ （满足 $|\nabla g_\varepsilon| \leq C \varepsilon^{-\alpha}$ ， $\|g_\varepsilon - 1\|_{L^q} \leq C \varepsilon^{3(\alpha-1)/q}$ ），将测试函数 $\phi$ 分解为 $g_\varepsilon \phi + (1-g_\varepsilon)\phi$ ，使前者可在 $\Omega_\varepsilon$ 上使用原方程，后者贡献误差项 $G_\varepsilon$ 满足 $|\langle G_\varepsilon, \phi \rangle| \leq C \varepsilon^\sigma \|\phi\|_{W^{1,q}}$ （Proposition 3.1）；（3）采用 solenoidal Lipschitz 截断技术（而非标准 Lipschitz 截断）：对 $u_\varepsilon$ 构造散度自由的 Lipschitz 近似 $v_\varepsilon$ ，满足 $\|\nabla v_\varepsilon\|_{L^\infty} \leq C \varepsilon^{-\beta}$ 且 $\|u_\varepsilon - v_\varepsilon\|_{W^{1,r}} \to 0$ ，从而在 Minty 技巧中规避 $S(Du_\varepsilon)$ 的强收敛障碍；（4）对定量结果，将非牛顿流体的正则性提升与小参数 $\varepsilon$ 的尺度分析耦合：利用 Proposition 2.3（ $r \geq 2$ 时 $u \in W^{1,2r+2}$ ）和 Proposition 2.4（ $$r < 2$$ 时 $u \in C^{1,\gamma}$ ）获得极限解 $$u$$ 的高阶正则性，再通过穿孔容量估计（1.14）与 Bogovskii 算子误差（Proposition 2.2 中 $\|B_\varepsilon\| \leq C(1 + \varepsilon^{((3-q)\alpha-3)/q})$ ）导出显式 $\varepsilon$ -幂次收敛率（1.11）–（1.13）。整个框架的关键在于将几何（穿孔尺度 $\varepsilon^\alpha$ ）、分析（ $$r$$ -结构、Sobolev 容量）、代数（Bogovskii 算子范数增长）三者精确匹配。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现根本性推进：（1）适用范围：此前所有非牛顿均匀化结果（[8, 21, 24]）均限于 $a_\varepsilon \sim \varepsilon$ （即 $\alpha = 1$ ）或 $1 < \alpha < 3/2$ ，所得极限均为达西律；本文首次将 $\alpha$ 推进至 $\alpha > 3$ ，覆盖真正的小孔 regime，并证明极限方程不变——这是对 Allaire（1990）牛顿情形的非线性推广。（2）技术假设：经典工作（如 [1, 2, 28]）依赖周期性穿孔，而本文完全放弃周期性假设，仅要求孔形一致且分布满足（1.6）；同时， $$r$$ -结构比幂律更一般，涵盖 Carreau-Yasuda 等工业模型。（3）结果深度：此前无任何非牛顿流体的定量结果；本文首次给出 $\varepsilon$ -显式收敛率（1.11）–（1.13），其指数由穿孔容量决定，且与 $\alpha, r$ 精确关联。代价在于： $$r$$ -范围受容量约束严格限制（ $\frac{6(\alpha-1)}{4\alpha-5} < r < 3 - \frac{3}{\alpha}$ ），当 $\alpha \to 3^+$ 时区间收缩至空集，而 $\alpha \to \infty$ 时放宽至 $$3/2 < r < 3$$ ；定量结果需外力小性假设（ $\|f\|_{L^\infty} \leq \kappa$ ），此为获取 $u \in W^{1,\infty}$ 所必需（Proposition 2.4），但定性结果无需此假设。与牛顿情形比较：Allaire（1990）对 Stokes 方程在 $\alpha > 3$ 下得极限不变，其 $$r=2$$ 自动满足本文 $$r$$ -区间；但本文非线性 $$S$$ 导致 $L^{r'}$ 紧性要求更苛刻，故 $$r$$ -下界 $6(\alpha-1)/(4\alpha-5)$ 高于牛顿情形的 $$1$$ 。局限性在于：未处理时间相关情形（evolutionary case），亦未讨论 $\alpha = 3$ 的临界情形（此时 $$r$$ -区间退化），且 $$r$$ -上界 $3 - 3/\alpha$ 在 $\alpha \to 3^+$ 时趋近 $$2$$ ，无法覆盖 $r \geq 2$ 的全部剪切增稠流体。从提供内容中无法确认是否可推广至 $d \neq 3$ 维。

7. 严格二维半阴影方法用于单分量Navier-Stokes正则性

Strict 2.5D Shadows for One-Component Navier-Stokes Regularity

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11720v1

摘要翻译: 我们针对三维Navier–Stokes方程的适定弱解，提出并证明了局部单分量正则性问题的一个条件性有限尺度约化定理。该论证从尺度不变量界 $\Phi(1) \leq M$ 及临界竖向分量 $C_3(1) = \delta$ 的小性出发，将解与一类严格的二维半（2.5D）阴影类进行比较。该比较在调和压力商（harmonic-pressure quotient）中进行，后者是压力紧致性的自然局部拓扑。粗粒化所生成的Reynolds交换子被视作正协方差应力，并由未解析方差缓冲区吸收；因此该应力以可加方式贡献，而真正的竖向剩余项携带 $\delta$ 的正幂次，并可能穿过有限阶段的指数常数。该定理被刻意表述为一个约化定理。在显式列出的结构输入下——预处理的压力协方差闭合、弱水平缺陷容许性、尖锐的容许时间迹紧性、奇异性层切锥输入、严格的极限光滑性与衰减性、有限时间窗迹代价/Newton可解性，以及竖向对偶主动剩余估计——我们导出 $r_{\mathrm{reg}}(0,0) \geq c_{M,\theta} |\log C_3(1)|^{-\sigma/3}$ 。本文并未构成对对数型单分量正则性问题的无条件解决。其贡献在于一个定理驱动的约化：严格阴影选取失败被约化为一个有限模平坦迹障碍，而该障碍在竖向动量方程所强制的竖向对偶条件下被条件性地消除。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩Navier-Stokes方程在局部尺度上的单分量正则性问题，核心对象是定义在单位柱体 $Q_1 = B_1(0) \times (-1, 0) \subset \mathbb{R}^3 \times \mathbb{R}$ 上的适定弱解 $$ (u, p) $$ ，满足

\partial_t u - \Delta u + (u \cdot \nabla) u + \nabla p = 0, \quad \nabla \cdot u = 0 \quad \text{in } Q_1.

关键未知量为速度场 $$ u = (u_h, u_3) $$ 的垂直分量 $$ u_3 $$ ，其小性由尺度不变量 $C_3(1) = \frac{1}{1^2} \int_{Q_1} |u_3|^3 \, dx dt = \delta \ll 1$ 刻画；同时假设整体尺度不变能量控制 $\Phi(1) = A(1) + E(1) + C(1) + D(1) \leq M$ ，其中

A(r) = \operatorname{ess\,sup}_{-r^2 < t < 0} \frac{1}{r} \int_{B_r} |u(x,t)|^2 dx, \quad E(r) = \frac{1}{r} \int_{Q_r} |\nabla u|^2 dx dt,

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

该问题的重要性在于：它是通向Navier-Stokes千禧年难题（全局正则性）的关键中间阶梯——若能证明当某一分量（如 $$ u_3 $$ ）足够小时，解在原点附近保持光滑，则可排除某些潜在奇点机制（如仅依赖单方向的涡拉伸）。经典结果如Caffarelli–Kohn–Nirenberg（CKN）理论指出，奇异点集的抛物型1维Hausdorff测度为零，但未给出定量半径下界；而“对数单分量正则性”猜想断言存在常数 $c, \sigma > 0$ 使得 $r_{\mathrm{reg}}(0,0) \geq c |\log C_3(1)|^{-\sigma}$ ，即奇点形成必须伴随 $$ u_3 $$ 的指数级增长。然而，此前所有工作（如He–Xin、Kukavica–Vicol、Cheskidov–Shvydkoy等）均未能在不引入强附加假设（如轴对称、二维初值、或全局小初值）下建立此类对数型估计。本文试图填补的空白是：构造一个有限尺度、条件化、结构驱动的约化框架，将对数正则性问题转化为一系列可验证的分析结构性质——特别是将失败的“严格2.5维阴影选择”归约为一个有限模态平坦迹障碍（finite-mode flat trace obstruction），并证明该障碍可被三维垂直动量方程所强制的“垂直对偶性（vertical duality）”所排除。这一路径绕开了传统方法中难以控制的非线性压力耦合与高频振荡，转而聚焦于压力在空间调和商 $L^{3/2}(Q_r) / H(Q_r)$ 中的紧致性结构，其中 $H(Q_r) = \{ h \in L^{3/2}(Q_r) : \Delta h(\cdot, t) = 0 \text{ in } B_r \text{ a.e. } t \}$ 。该商空间正是“调和压力商（harmonic-pressure quotient）”，它自然承载了压力的局部紧致性，且避免了空间调和部分 $$ h $$ 的非局部不确定性。因此，研究对象并非原始PDE本身，而是其在该商空间中的投影误差——即调和压力过剩量

X^{\mathrm{har}}_\rho(u, p; M) := \inf_{(V,Q) \in L^{\mathrm{str}}_M(Q_\rho)} \inf_{h \in H(Q_\rho)} \left( \rho^{-2} \int_{Q_\rho} |u - V|^3 dx dt + \rho^{-2} \int_{Q_\rho} |p - Q - h|^{3/2} dx dt \right),

其中 $L^{\mathrm{str}}_M(Q_\rho)$ 是严格2.5维系统（1.5）的解类：

\begin{cases} \partial_t V_h - \Delta V_h + \nabla_h \cdot (V_h \otimes V_h) + \nabla_h Q = 0, \\ \nabla_h \cdot V_h = 0, \\ \partial_3 Q = 0, \\ V = (V_h, 0). \end{cases}

注意该系统并非二维NS： $$ V_h $$ 可显含 $$ x_3 $$ ，且Laplacian为全三维算子；其本质是一个比较几何（comparison geometry），其定义性约束 $\partial_3 Q = 0$ 导致压力兼容性商具有奇异性。本文的核心动机是：当 $$ u_3 $$ 很小时，真实解应“接近”某个 $\partial_3 Q = 0$ 的压力结构，但标准二维近似无法捕获 $$ u_3 $$ 对压力的反作用；而完整三维垂直动量方程

\partial_t u_3 - \Delta u_3 + u_h \cdot \nabla_h u_3 + u_3 \partial_3 u_3 + \partial_3 p = 0

恰恰提供了连接 $$ u_3 $$ 与 $\partial_3 p$ 的PDE约束——这正是“垂直对偶性”的物理与分析根源。因此，本文的空白在于：建立一套以该对偶性为终极枢纽的、层级清晰的有限尺度约化链，使对数正则性不再依赖于对整个解的全局控制，而仅需验证若干结构性输入。

2. 主要定理或主要结果

本文证明了如下条件化有限尺度约化定理：在明确列出的七类结构性输入（structural inputs）成立的前提下，对任意 $M \geq 1$ 和 $0 < \theta < 1/2$ ，存在常数 $c_{M,\theta} > 0$ 、 $\sigma > 0$ 及 $\delta_0(M, \theta) \in (0,1)$ ，使得任一满足 $\Phi(1) \leq M$ 且 $0 < C_3(1) = \delta \leq \delta_0(M, \theta)$ 的适定弱解，其正则性半径满足

r_{\mathrm{reg}}(0,0) \geq c_{M,\theta} |\log \delta|^{-\sigma/3}.

这些结构性输入具体为：(i) 严格2.5维系统（1.5）满足定量内正则化、衰减与紧致性包（Problem 1.1）；(ii) Navier-Stokes导出的粗粒化轨迹存在已备压-协方差闭包（Problem 1.2），即存在统一的压/残差包，同时满足协方差形式方程、垂直压力兼容性、模空间调和项的压力重构、散度自由校正残差的容许性，以及局域压截断/散度测试容许性；(iii) 局域水平Onsager方差恒等式在弱水平缺陷容许意义下成立（Problem 1.3），即水平缺陷非负或其有号部分在方差缓冲比较中可无害控制；(iv) 对每个失败的尖锐分支，高频频迹下降论证所选时间可取在厚良时集与尖锐近极小容许集的交集中，从而获得强选定时间迹非损失（Problem 1.4）；(v) 失败选择爆破所继承的相容性关系，或产生有限幂次可见障碍，或迫使极限爆破方向落入严格迹类的可积切锥中（Problem 1.5）；(vi) 在每个固定有限阶段，可将具有选定时间迹代价 $o(\varepsilon_n \eta_n)$ 与残差范数 $o(\eta_n)$ 的主动商校正，提升为精确的有限窗口严格校正，且振幅在固定阶段常数确定后选取（Problem 1.6）；(vii) 对每个有限阶段Navier-Stokes导出的真正幸存尖锐分支，成立垂直对偶性主动残差估计（Hypothesis 7.1），即垂直残差不激发幻影严格商方向。定理1.1的结论（1.7）是在第8节完成证明的，其证明严格遵循依赖链：调和压力比较 → 次临界严格阴影选择 → 失败选择分支分析 → 有限模态平坦幸存分支 → 迹代价精确化 → 垂直对偶性主动残差闭包 → 条件对数半径界。值得注意的是，该结果并非无条件成立；其贡献在于将原问题约化为一个明确的、可分解验证的结构性命题集合，其中最终的PDE特异性障碍仅为问题1.8：即垂直对偶性主动残差因式分解。

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

证明的核心障碍在于：如何在缺乏全局小性或对称性假设下，从 $$ u_3 $$ 的小性 $C_3(1) = \delta \ll 1$ 出发，定量控制三维非线性压力耦合对正则性的破坏效应。传统能量法或极大函数估计在此失效，因其无法分离 $$ u_3 $$ 对 $\partial_3 p$ 的隐式依赖。作者的真正创新点是构建了一个多层级、商空间驱动的约化架构，其关键技术与工具包括：

调和压力商（harmonic-pressure quotient）作为自然拓扑：作者摒弃标准 $$ L^p $$ 或 $L^{3/2}$ 范数，转而采用商空间 $L^{3/2}(Q_\rho) / H(Q_\rho)$ ，其中 $H(Q_\rho)$ 是时空局部调和函数类。此商空间消除了压力中不可控的空间调和部分 $$ h $$ ，使比较误差 $X^{\mathrm{har}}_\rho$ 成为刻画解与2.5D阴影接近程度的稳定、紧致度量。引理2.1的关键在于，利用该商空间的稳定性，将尺度不变量 $\Psi(r) = C(r) + D(r)$ 控制为 $\Psi(r) \leq C_{M,\theta} r + C_{M,\theta} r^{-2} X^{\mathrm{har}}_{\theta/4}$ ，从而将正则性问题转化为对 $X^{\mathrm{har}}$ 的精细估计。
方差缓冲的相对熵（variance-buffered relative entropy）框架：为处理粗粒化产生的雷诺交换子（Reynolds commutator），作者将其视为正协方差应力（positive covariance stress），并引入“未解析方差缓冲区（unresolved-variance buffer）”进行吸收。这体现在附录A.6的局域Onsager方差恒等式中：

\int_{Q_\ell} \left[ \mathcal{C}_\ell(u \otimes u) - \mathcal{C}_\ell u \otimes \mathcal{C}_\ell u \right] : \nabla \phi \, dx dt = \int_{Q_\ell} \Sigma_\ell : \nabla \phi \, dx dt + \text{error},

其中 $\Sigma_\ell \geq 0$ 是协方差应力张量，其正定性允许被缓冲区吸收，故其贡献为加性的；而真正的垂直残差则携带 $\delta$ 的正幂次，并可能通过有限阶段的指数常数传播。这一设计规避了传统方法中协方差项的符号不定性难题。

严格阴影选择与迹代价精确化（trace-cost exactification）：失败的阴影选择被归约为一个“有限模态平坦迹障碍”。作者在附录C与D中发展了一套微局部分析工具：首先，通过频率窗分割（frequency-split finite-window construction），将问题限制在固定有限频段；其次，利用移动基Lyapunov-Schmidt约化（moving-base Lyapunov–Schmidt reduction），在奇异层（singular stratum）上构造“移动基切校正（moving-base tangent correction）”；最后，通过“迹代价”（trace-cost）而非全局强逆（strong inverse），在固定窗口内求解非线性校正方程。关键引理D.15表明，无需假设全局一致的解析胚（analytic-germ）或非退化主部（nondegenerate-minor），即可在振幅选定后实现有限窗口的精确化，其残差范数为 $o(\eta_n)$ ，迹代价为 $o(\varepsilon_n \eta_n)$ 。
垂直对偶性（vertical duality）作为终极枢纽：这是全文最核心的PDE特异性工具。作者证明（附录F），若垂直动量方程（1.6）成立，则垂直残差 $R_3 = \partial_t u_3 - \Delta u_3 + u_h \cdot \nabla_h u_3 + u_3 \partial_3 u_3 + \partial_3 p$ 必须与严格商方向正交。具体而言，垂直对偶性估计（Hypothesis 7.1）断言：对任意幸存尖锐分支，存在常数 $$ C $$ 使得

\left| \int_{Q_\ell} R_3 \cdot \psi \, dx dt \right| \leq C \delta^{b} \| \psi \|^2_{L^2(Q_\ell)},

其中 $\psi$ 是严格商空间中的测试函数， $$ b > 0 $$ 。此估计强制 $$ R_3 $$ 不激发幻影方向，从而排除了平坦幸存分支，完成约化链的最后一环。

4. 与之前工作的比较

本文与既有工作的根本推进在于：它提供了一个结构清晰、可分解验证、且明确标定剩余障碍的约化路径，而非试图直接证明无条件正则性。与先前文献相比，其差异体现在多个维度：

与经典CKN及后续改进（如Lin, Ladyzhenskaya–Seregin, Tian–Xin）的比较：CKN理论给出奇异点集的1维测度为零，但未提供任何定量半径下界；Tian–Xin等虽得到 $r_{\mathrm{reg}} \geq c \delta^{1/3}$ ，但要求 $$ u $$ 全局小或初值高度规则。本文则将下界提升至对数形式 $|\log \delta|^{-\sigma/3}$ ，且仅需局部尺度不变量控制 $\Phi(1) \leq M$ 与 $C_3(1) = \delta$ ，显著放宽了对初值或全局行为的假设。代价是引入了七个结构性输入，但这些输入均有明确的物理与分析含义，且部分（如问题1.1、1.3）已在相关文献中有初步探讨。
与Kukavica–Vicol、Cheskidov–Shvydkoy等‘单分量’工作比较：这些工作通常依赖于对 $$ u_3 $$ 的 $L^\infty_t L^p_x$ 或 $L^p_{t,x}$ 小性，并结合特定不等式（如Biot-Savart律的精细估计）来控制涡量。本文则完全避开 $L^\infty$ 或 $$ L^p $$ 范数，转而使用尺度不变量 $$ C_3(r) $$ 和调和压力商 $X^{\mathrm{har}}$ ，其优势在于： $$ C_3(r) $$ 直接关联到三维垂直动量方程，而 $X^{\mathrm{har}}$ 天然适配压力的局部紧致性结构。因此，本文的适用范围更广，可处理 $$ u_3 $$ 在时空中振荡剧烈但 $$ L^3 $$ 范数仍小的情形，而前述工作对此类情形往往失效。
与‘2.5维’或‘部分维’模型（如Mahalov–Titi, Levermore–Oliver）的比较：这些模型将NS方程投影到低维子空间并研究其解的性质，但通常假设解本身具有该低维结构（如 $\partial_3 u = 0$ ）。本文的“严格2.5维阴影”则完全不同：它是一个比较类（shadow class），不要求真实解属于该类，而仅要求其在调和压力商中接近该类。这种“外部比较”策略避免了对解结构的先验假设，使方法更具普适性。此外，本文明确引入 $\partial_3 Q = 0$ 的奇异性约束，这在以往工作中未被系统研究。
与基于凸积分或Onsager猜想的构造性工作（如Isett, Buckmaster–Vicol）的比较：后者旨在构造 $C^{1/3-}$ 的弱解，其技术核心是高频振荡与相位调制。本文则完全处于另一范式：它假设解是适定弱解（满足局部能量不等式），目标是证明其正则性，而非构造反例。因此，本文的方差缓冲框架与凸积分的振荡构造在哲学与技术上截然不同；前者旨在抑制高频破坏，后者旨在激发高频破坏。
与近期‘迹’（trace）方法（如Gustafson–Tsai, Barker–Seregin）的比较：这些工作利用解在时间片上的迹来研究正则性，但通常关注迹的 $$ L^p $$ 性质。本文的“迹代价精确化”则将迹嵌入到一个更精细的微局部分析框架中：它结合了频率窗分割、移动基约化与切锥几何，将迹的分析提升到“有限模态平坦性”的层次。这使得本文能够处理传统迹方法难以应对的、在不同频段呈现不同行为的复杂解。

综上，本文的推进是结构性的：它不宣称解决了千禧年难题，而是提供了一个路线图，将终极障碍精确定位为“垂直对偶性主动残差因式分解”（Problem 1.8），并展示了如何系统地绕过其他所有障碍。从提供内容中无法确认该垂直对偶性是否能在无额外假设下被无条件证明，但本文已将其孤立为一个清晰、具体的PDE分析问题。

8. 压力对临界缩放及可压缩 Navier–Stokes 系统全局低正则解的影响

Pressure effects on critical scaling and global low-regularity solutions for compressible Navier–Stokes system

作者: Lin Xu, Xin Zhong

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11575v1

摘要翻译: 本文研究具有多方压强律的三维可压缩 Navier–Stokes 系统及其在高 Mach 数极限下导出的压力为零对应系统。我们聚焦于这两个模型不同的临界缩放结构：在存在压强项的情形下，压强梯度与惯性效应和粘性效应相平衡，从而为压强系统选定一个固定的临界缩放；而一旦忽略压强项，压力为零系统则允许一个更灵活的单参数不变缩放族。

Comment: 无

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

1. 研究对象和背景

本文研究三维可压缩Navier-Stokes系统及其压力消失极限下的压力消失系统，核心对象为如下两个初值问题：

（1）带压系统（NS）：

\begin{cases} \partial_t \rho + \mathrm{div}(\rho u) = 0, \\ \partial_t (\rho u) + \mathrm{div}(\rho u \otimes u) - \mu \Delta u - (\lambda + \mu) \nabla \mathrm{div}\, u + \nabla P(\rho) = 0, \end{cases} \quad P(\rho) = A \rho^\gamma,\; A>0,\; \gamma > 1,

其中 $\rho = \rho(x,t) \ge 0$ 为密度， $u = u(x,t) \in \mathbb{R}^3$ 为速度，粘性系数满足物理约束 $\mu > 0$ , $2\mu + 3\lambda \ge 0$ 。该系统描述粘性可压缩流体运动，其数学分析长期面临根本性挑战：对一般大初值数据，光滑解的全局存在性仍未解决；有限能量弱解的唯一性亦属开放问题。

（2）压力消失系统（PNS）：

\begin{cases} \partial_t \rho + \mathrm{div}(\rho u) = 0, \\ \partial_t (\rho u) + \mathrm{div}(\rho u \otimes u) - \mu \Delta u - (\lambda + \mu) \nabla \mathrm{div}\, u = 0. \end{cases}

该系统形式上由（NS）在高马赫数极限 $\varepsilon \to +\infty$ 下导出，亦独立建模于粘性粒子聚集（sticky particle dynamics）、星际尘埃运动、交通流等无内压场景。关键区别在于动量方程中缺失压力梯度项 $\nabla P(\rho)$ ，导致退化双曲-抛物耦合结构发生本质变化。

问题的重要性体现在三重维度：首先，临界尺度结构决定自然正则性框架——对（NS），压力梯度 $\nabla P$ 必须与惯性项 $\rho u \cdot \nabla u$ 和粘性项 $\mu \Delta u$ 同阶缩放，从而强制固定临界缩放；而（PNS）因缺失该平衡，获得一族单参数不变缩放 $\rho_\ell(x,t) = \ell^\tau \rho(\ell x, \ell^{2-\tau} t),\; u_\ell(x,t) = \ell^{1-\tau} u(\ell x, \ell^{2-\tau} t),\; \tau \in \mathbb{R}$ 。其次，真空允许性带来严重退化：当 $\rho=0$ 时，动量方程在真空区域退化为抛物型，标准能量估计失效，需依赖兼容性条件 $-\mu \Delta u_0 - (\mu + \lambda) \nabla \mathrm{div}\, u_0 + \nabla P(\rho_0) = \sqrt{\rho_0} g$ （ $g \in L^2$ ）及特殊加权范数如 $\|\sqrt{\rho} u\|_{L^2}$ 。第三，既有理论存在结构性割裂：Danchin 等人在非真空小扰动框架下建立 $$L^2$$ 型临界Besov空间全局适定性，但要求密度远离零且初值正则性高（如 $$H^2$$ ）；而Huang-Li-Xin等在真空大振荡框架下使用能量方法，却未显式揭示其假设的缩放不变性。本文试图填补的关键空白是：在允许真空和大密度振荡的低正则初值条件下（仅需 $\rho_0 \in H^1 \cap W^{1,q},\; u_0 \in D^1$ ），构造并验证严格对应各自系统内在临界缩放的不变小量，从而统一临界空间视角与能量方法，并揭示压力项对动力学行为（如指数衰减）的决定性作用。

2. 主要定理或主要结果

本文在两类不同临界缩放结构下分别建立了全局强解存在唯一性：

（1）对压力消失系统（PNS），在初值满足 $\rho_0 \ge 0$ , $(\rho_0 - \rho_\infty) \in L^{3/2} \cap H^1 \cap W^{1,q}$ （若 $\rho_\infty = 0$ ）或 $H^1 \cap W^{1,q}$ （若 $\rho_\infty > 0$ ）， $u_0 \in D^1$ ，且 $q \in (3,6)$ 的条件下，存在仅依赖 $\mu,\lambda$ 的常数 $\varepsilon_0 > 0$ ，使得当

\|\rho_0\|_{L^\infty}^3 \, \|\sqrt{\rho_0} u_0\|_{L^2}^2 \, \|\nabla u_0\|_{L^2}^2 \le \varepsilon_0

时，Cauchy问题（PNS）存在唯一全局强解 $(\rho,u)$ ，满足定义1.1中的正则性（1.8）。进一步，当 $\rho_\infty = 0$ 时，存在与时间无关的正常数 $C, \alpha > 0$ ，使得对所有 $t \ge 1$ ，

\|\rho_t\|_{L^2}^2 + \|\sqrt{\rho} u\|_{L^2}^2 + \|\nabla u\|_{H^1}^2 + \|\sqrt{\rho} \dot{u}\|_{L^2}^2 \le C e^{-\alpha t}.

该小量在 $\rho_\infty = 0$ 时对整个缩放族（1.6）严格不变：对任意 $\tau \in \mathbb{R}$ ，初值缩放 $\rho_0^\ell(x) = \ell^\tau \rho_0(\ell x),\; u_0^\ell(x) = \ell^{1-\tau} u_0(\ell x)$ 满足

\|\rho_0^\ell\|_{L^\infty}^3 \, \|\sqrt{\rho_0^\ell} u_0^\ell\|_{L^2}^2 \, \|\nabla u_0^\ell\|_{L^2}^2 = \|\rho_0\|_{L^\infty}^3 \, \|\sqrt{\rho_0} u_0\|_{L^2}^2 \, \|\nabla u_0\|_{L^2}^2.

（2）对带压系统（NS），在初值满足 $\rho_0 \in L^\gamma \cap H^1 \cap W^{1,q},\; u_0 \in D^1$ ， $q \in (3,6)$ 的条件下，存在仅依赖 $\mu,\lambda$ 的小常数 $\varepsilon_0' > 0$ ，使得当

\bar{\rho}^3 \left( \frac{1}{2} \|\sqrt{\rho_0} u_0\|_{L^2}^2 + \frac{1}{\gamma -1} \|P_0\|_{L^1} \right) \left( \|\nabla u_0\|_{L^2}^2 + \|P_0\|_{L^2}^2 \right) \left[ 1 + \bar{\rho}^{3+\gamma} \left( \frac{1}{2} \|\sqrt{\rho_0} u_0\|_{L^2}^2 + \frac{1}{\gamma -1} \|P_0\|_{L^1} \right)^2 \right] \le \varepsilon_0',

其中 $\bar{\rho} \triangleq \|\rho_0\|_{L^\infty},\; P_0 = \rho_0^\gamma$ ，则Cauchy问题（NS）存在唯一全局强解。该量在Lei–Xin缩放（1.5）下严格不变：

\rho_\ell(x,t) = \ell^{2/(\gamma+1)} \rho(\ell x, \ell^{2\gamma/(\gamma+1)} t),\quad u_\ell(x,t) = \ell^{(\gamma-1)/(\gamma+1)} u(\ell x, \ell^{2\gamma/(\gamma+1)} t).

值得注意的是，该缩放不兼容非真空远场（ $\rho_\infty > 0$ ），故（NS）结果要求远场为真空（1.15）。

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

证明的核心障碍在于：如何在真空与大振荡初值下，构建并闭合严格匹配各自系统内在临界缩放的低阶先验估计，同时克服退化性和非线性耦合。作者的真正创新点在于将缩放不变性从抽象原则转化为可操作的估计策略，并发展出两套互补的技术框架：

（1）压力消失系统（PNS）的缩放不变低阶估计：关键突破是识别并利用不变量 $\mathcal{I}_0 \triangleq \|\rho_0\|_{L^\infty}^3 \|\sqrt{\rho_0} u_0\|_{L^2}^2 \|\nabla u_0\|_{L^2}^2$ 。证明分三步：首先，由基本能量恒等式直接得到 $\|\sqrt{\rho} u\|_{L^\infty_t L^2_x}$ 控制；其次，在引理3.4中，通过控制积分型小量 $\bar{\rho}^3 \|\nabla u\|_{L^2}^2 \int_0^T \|\nabla u\|_{L^2}^2 dt$ （构造于（3.1）），结合Gagliardo-Nirenberg不等式，获得 $\|\nabla u\|_{L^\infty_t L^2_x}$ ；最后，在引理3.5中，将粒子轨迹方法与Riesz变换交换子估计（引理2.1）相结合：对密度满足的输运方程 $\rho_t + u \cdot \nabla \rho = -\rho \, \mathrm{div}\, u$ 应用 $L^\infty$ 估计，关键步骤是将 $\|\nabla u\|_{L^\infty}$ 控制为 $\|\nabla u\|_{L^6} + \|\rho \dot{u}\|_{L^q}$ （引理2.3（2.3）），而 $\|\rho \dot{u}\|_{L^q}$ 又通过椭圆正则性（2.5）由 $\|\nabla^2 u\|_{L^q}$ 控制，最终闭环至 $\mathcal{I}_0$ 。此过程彻底摆脱了传统兼容性条件（1.4）的依赖。

（2）带压系统（NS）的压力处理技术：主要障碍是压力项 $\nabla P$ 在动量方程中引入额外非线性与耦合。作者发展出双重压力控制机制：其一，利用有效粘性通量 $F \triangleq (2\mu + \lambda) \mathrm{div}\, u - P$ 的椭圆结构（2.6），结合引理2.4的估计链 $\|\nabla F\|_{L^p} \lesssim \|\rho \dot{u}\|_{L^p}$ ，将压力梯度纳入速度估计；其二，对压力本身建立高阶可积性：由质量守恒与状态方程导出压力输运方程 $P_t + u \cdot \nabla P + \gamma P \, \mathrm{div}\, u = 0$ ，再结合 $$F$$ 的定义，对任意 $p \ge 2$ 推出微分不等式

\frac{d}{dt} \|P\|_{L^p}^p + \frac{p\gamma -1}{2(2\mu + \lambda)} \|P\|_{L^{p+1}}^{p+1} \le C \|F\|_{L^{p+1}}^{p+1}.

该不等式（见引理4.1, 4.2）是控制 $\|P\|_{L^2}$ 及更高范数的关键，使时间加权估计 $\|\sqrt{\rho} \dot{u}\|_{L^2_t L^2_x}$ 和 $\|\nabla \dot{u}\|_{L^2_t L^2_x}$ 成为可能。此框架超越了Wen（2025）对高正则初值（ $$H^2$$ ）和兼容性条件的依赖，仅需 $H^1 \cap W^{1,q}$ 初值。

（3）高阶连续性与延拓：为保证解的全局存在，需验证 $H^1 \cap W^{1,q}$ 正则性的传播。这依赖于对 $\int_0^T \|\nabla u\|_{L^\infty} dt$ 的控制（1.20），其核心是引理2.3的对数型BKM不等式（2.2）（NS）与（2.3）（PNS）。后者特别针对压力消失情形，将 $\|\nabla u\|_{L^\infty}$ 控制为 $\ln(e + \|\nabla \rho\|_{L^q}) (\|\mathrm{curl}\, u\|_{L^\infty} + \|\mathrm{div}\, u\|_{L^\infty}) + \|\nabla u\|_{L^6} + \|\rho \dot{u}\|_{L^q}$ ，从而将问题归结为已控量。最终，标准连续性论证完成全局解构造。

4. 与之前工作的比较

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

（1）与Danchin框架（Invent. Math. 141, 2000）的差异：Danchin在非真空小扰动下建立 $$L^2$$ 临界Besov空间全局适定性，其缩放基于人为设定的参考态 $\rho = \bar{\rho} + \tilde{\rho}$ ，采用标准抛物缩放 $\rho_\xi(t,x) = \rho(\xi^2 t, \xi x),\; u_\xi(t,x) = \xi u(\xi^2 t, \xi x)$ 。本文则拒绝参考态重构，坚持原始变量下的内在缩放：对（NS）采用Lei-Xin缩放（1.5），其指数 $2/(\gamma+1),\; (\gamma-1)/(\gamma+1)$ 显式依赖绝热指数 $\gamma$ ，反映压力非线性本质；对（PNS）则利用其缩放自由度（1.6），使小量 $\mathcal{I}_0$ 对整个参数族不变。这导致函数空间选择根本不同：Danchin要求 $\tilde{\rho} \in \dot{B}^{3/p}_{p,1}$ ，而本文仅需 $\rho_0 \in H^1 \cap W^{1,q}$ ，且允许真空。

（2）与Wen（Adv. Math. 482, 2025）的推进：Wen首次为（NS）构造缩放不变初值量 $$N_0$$ 并证明全局存在性，但其结果要求初值满足 $$H^2$$ 正则性及兼容性条件（1.4）。本文定理1.2在更低正则性（ $H^1 \cap W^{1,q}$ ）下建立相同结论，且完全移除兼容性条件，代价是小量（1.17）形式更复杂，包含压力 $$L^1$$ 与 $$L^2$$ 范数的耦合项，反映了压力项对估计结构的深层影响。

（3）与真空大振荡结果（如Huang-Li-Xin, Comm. Pure Appl. Math. 2012）的对比：Huang-Li-Xin在小初值能量假设下证明（NS）全局经典解，但其能量小量 $\int \left( \frac{1}{2} \rho_0 |u_0|^2 + \frac{A}{\gamma-1} \rho_0^\gamma \right) dx$ 并非缩放不变（在（1.5）下缩放为 $\ell^{(3\gamma-3)/(\gamma+1)}$ ）。本文则首次为真空情形构造严格不变量（1.17），并给出指数衰减（1.13）——这是Huang-Li-Xin结果所不具备的，表明压力消失导致更强的耗散主导行为。

中文标题: 结构阻尼梁方程的零可控性。第2部分：分数阶拉普拉斯算子的分部积分与边界控制

摘要翻译: 设 $$Δ$$ 为区间 $$(0,π)$$ 上的诺伊曼拉普拉斯算子，且 $$T>0$$ 。对谱意义下的分数阶拉普拉斯算子 $$(-Δ)^α$$ （其中 $α\in (0,1)$ ），证明了一个分部积分公式。作为应用，我们证明了结构阻尼梁方程

u_{tt}+Δ^2 u+ρ(-Δ)^αu_t=0, x\in (0,π),t>0

在多种边界条件下的适定性结果，包括

u_x(0,t)=u_{xxx}(0,t)=0;\ u_x(π,t)=f(t),\ u_{xxx}(π,t)=0,

其中 $f\in L^2(0,T)$ ，且初值条件适当。将 $$f$$ 视为控制函数，我们证明了该系统的零可控性。类似的结果亦对高阶控制及狄利克雷拉普拉斯算子成立。

11. 具粗糙初值的三次分数阶薛定谔方程的整体适定性

Global well-posedness of cubic fractional Schrödinger equation with rough data

作者: Jiajun Wang

类别: math.AP

发布日期: 2026-06-09

arXiv ID: 2606.11376v1

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

摘要翻译

中文标题: 具粗糙初值的三次分数阶薛定谔方程的整体适定性

摘要翻译: 本文中，我们应用 I-方法证明了分数阶非线性薛定谔方程在初值 u_0 \in H^s(\mathbb{R}^d)（其中 s < \alpha/2，即低于能量阈值）下的整体适定性。此外，对径向初值，我们将通过 Balakrishnan 公式恢复的修正 Morawetz 估计与 I-方法相结合，从而获得改进的结果。类似地，我们采用“倒置” I-方法推导高阶 Sobolev 范数关于时间的多项式增长上界。主要困难源于分数阶薛定谔方程的 Strichartz 估计存在导数损失，且该问题始终处于 L^2-超临界情形，因此需要更为精细的分析。

不相关论文（基本信息）

1. 关于Hessian方程Dirichlet问题的连续性方法

On a continuity method for Dirichlet problem of Hessian equations

作者: Rirong Yuan

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.12193v1

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

摘要: In this paper, we develop a continuity method for the Dirichlet problem of Hessian equations on Riemannian manifolds. Such equations, introduced by Caffarelli, Nirenberg and Spruck, are defined in terms of the eigenvalues of the Hessian and a given pair $$(f,Γ)$$ , where $$f$$ is a symmetric function defined in a symmetric cone $Γ\subset\mathbb{R}^n$ , and $$Γ$$ specifies the set of admissible eigenvalues for the solution. Our method combines techniques from Morse theory with a characterization of the pair $$(f,Γ)$$ . More precisely, in the type 2 case, we first construct admissible functions using Morse theory, and then solve the Dirichlet problem without any additional assumptions on the boundary or the subsolution. Building on this characterization of the pair, we can approximate the type 1 equation by a family of type 2 equations.

2. 量子遍历性与半经典测度：数学结果

Quantum ergodicity and semiclassical measures: mathematical results

作者: Stéphane Nonnenmacher

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

发布日期: 2026-06-10

arXiv ID: 2606.12098v1

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

摘要: In this chapter we review some results describing the high-frequency eigenmodes of the Laplacian on compact manifolds, or Euclidean domains, for which the geodesic flow is chaotic. We focus on the macroscopic distribution of these eigenmodes, which is described by the concept of semiclassical measure. The main result on the question is the Quantum Ergodicity theorem, originally due to Schnirelman. We provide the detailed proof of this theorem, including the adjustments necessary to treat the case of manifolds with boundary. We also discuss the Quantum Unique Ergodicity conjecture, and some progress towards this conjecture for strongly chaotic (Anosov) systems. In particular, we describe the constraints on admissible semiclassical measures, in terms of their Kolmogorov-Sinai entropy, as well as more recent delocalization results.

3. 快速同质网络上的平均场模仿动力学

Mean-field imitation dynamics on fast assortative networks

作者: Benedict Russell, Andrew Nugent, Jacques Bara

类别: math.AP

发布日期: 2026-06-10

arXiv ID: 2606.11892v1

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

摘要: The emergence of cooperation in structured populations is fundamental to the success of human societies. Physical and online networks can drive behavioural change by altering who people interact with, thereby modifying social pressures. In this paper, we study imitation dynamics in a population of self-interested agents playing a continuous strategy Prisoner’s Dilemma on a dynamically evolving weighted network. In the fast-network regime, we incorporate the edge weights into the strategy evolution before deriving and analysing the large population mean-field limit. Without noise, we establish well-posedness and show the solution collapses to a single Dirac mass. For initially separated clusters, we identify a payoff threshold and sufficient conditions for the overall level of cooperation to increase. We then introduce stochastic strategy updates, and obtain a non-local Fokker-Planck equation in the mean-field limit. We rigorously prove existence and uniqueness of stationary distributions, and show linear stability under sufficient noise. Numerics illustrate that noise can transform the deterministic consensus into stable cooperative stationary behaviour. These findings show that the fast adaptive interactions and stochastic exploration can jointly support the emergence of stable cooperation at a population level.

4. 在细胞侵袭的非线性偏微分方程模型中重构初始条件与物理系数

Recovering the initial condition and physical coefficients in a nonlinear PDE model of cell invasion

作者: Beiji Chen, Kui Ren

类别: math.AP, math.NA

发布日期: 2026-06-10

arXiv ID: 2606.11554v1

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

摘要: This paper investigates an inverse problem for the simultaneous reconstruction of two spatially varying reaction coefficients, the local proliferation rate and the competition (saturation) coefficient, together with the unknown initial condition, in a nonlinear, density-dependent reaction-diffusion model motivated by cell invasion and tumor growth dynamics. Using Carleman estimates, we establish a global uniqueness result together with a Lipschitz-type stability estimate for the reaction coefficients and a weaker, logarithmic stability estimate for the initial condition. For the numerical reconstructions, we develop a two-stage algorithm employing a time-shift strategy to decouple the coefficient and the initial condition. Numerical experiments are presented to illustrate the feasibility, accuracy, and robustness of the proposed inversion method.

5. 非局部 Onsager 算子与有限状态 Schrödinger 桥的熵耗散

Nonlocal Onsager Operators and Entropy Dissipation for Finite-State Schrödinger Bridges

作者: Abdallah BenAbdallah, Mohsen Dlal

类别: math.OC, math.AP

发布日期: 2026-06-09

arXiv ID: 2606.11513v1

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

摘要: We investigate the Schrödinger bridge problem on a finite state space with a strictly positive Markov reference kernel. Starting from the semi-dual convex formulation, we introduce a continuous-time evolution for the terminal Schrödinger potential and show that its equilibria coincide with the unique solution of the bridge problem. The proposed dynamics induces an evolution for the terminal marginal. This marginal equation is governed by a state-dependent nonlocal Onsager operator, identified with the Hessian of the semi-dual functional. We derive its associated Dirichlet form, establish coercivity estimates on the appropriate quotient space, and interpret the resulting equation as a nonlocal gradient-flow formulation of relative entropy. Under natural positivity assumptions, we prove global well-posedness of the SBOF, convergence to the Schrödinger bridge, convergence of the induced couplings and path measures, and exponential relaxation of the terminal marginal. The latter follows from a uniform Poincaré inequality on compact sublevel sets together with entropy–variance comparison estimates. We also discuss the connection with finite-state generative modeling through the Doob transform and illustrate the theory on finite-grid examples involving rare states.

6. 具时间周期系数的血管化肿瘤生长自由边界模型

A free-boundary model of vascularized tumor growth with time-periodic coefficients

作者: Xinyue, Zhao

类别: math.AP

发布日期: 2026-06-09

arXiv ID: 2606.11501v1

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

摘要: We investigate a free boundary PDE model for vascularized tumor growth with two time-periodic coefficients representing nutrient supply $$φ(t)$$ and nutrient demand $$ψ(t)$$ . Under radial symmetry, the model reduces to a nonautonomous ODE for the tumor radius. We prove a vanishing-persistence dichotomy governed by the averaged coefficients $\barφ$ and $\barψ$ : if the average nutrient supply does not exceed the average nutrient demand, namely $\barφ\le \barψ$ , the tumor radius tends to zero; if the average supply exceeds the average demand, namely $\barφ>\barψ$ , the tumor persists and converges to a unique positive periodic solution. We also study the linear stability of this periodic solution when nonradial perturbations are imposed. Under a stronger condition on the nutrient supply and demand, we show that the radially symmetric periodic solution is linearly stable when the tumor aggressiveness parameter is sufficiently small. Numerical simulations are provided to illustrate the analytical results.

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

1. Schur 可见性与单分量 Navier-Stokes 退化中的反幻影约化#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 面向 $L^r$ 的广义凸积分框架及其在地球物理模型中的应用#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 带粗糙漂移项的定常Navier-Stokes方程在加权函数框架下的一些结果#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 无粘微极流体约化模型的局部与整体强解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 具有非局部源项与超线性噪声的随机Keller-Segel系统的鞅解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 若干非牛顿流体在穿孔区域上的定性与定量均匀化：‘小孔’情形#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 严格二维半阴影方法用于单分量Navier-Stokes正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 压力对临界缩放及可压缩 Navier–Stokes 系统全局低正则解的影响#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. Keller–Segel 模型临界常数稳态解的稳定性#

摘要翻译#

2. Schauder型估计与带表面张力的两相Muskat问题的对数临界适定性#

摘要翻译#

3. 关于一维周期分数阶BBM方程解的Hölder范数的几乎必然增长#

摘要翻译#

4. 时间无关周期均匀化中抛物型格林函数的尖锐收敛速率#

摘要翻译#

5. 复椭圆性、维数估计与 $BV^{\bA}$ 中的平面波刚性#

摘要翻译#

6. 与分数阶非谐振子相关的Hartree型热方程在加权调制空间上的研究#

摘要翻译#

7. 迹不等式与Hardy-Sobolev型不等式及其在半空间拟线性椭圆问题中的应用#

摘要翻译#

8. Dirichlet 特征函数在一般区域上具有非零均值#

摘要翻译#

9. 一类具Hamilton项的退化/奇异完全非线性椭圆方程的整体 $C^{1,α}$ 正则性#

摘要翻译#

10. 结构阻尼梁方程的零可控性。第2部分：分数阶拉普拉斯算子的分部积分与边界控制#

摘要翻译#

11. 具粗糙初值的三次分数阶薛定谔方程的整体适定性#

摘要翻译#

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

1. 关于Hessian方程Dirichlet问题的连续性方法#

2. 量子遍历性与半经典测度：数学结果#

3. 快速同质网络上的平均场模仿动力学#

4. 在细胞侵袭的非线性偏微分方程模型中重构初始条件与物理系数#

5. 非局部 Onsager 算子与有限状态 Schrödinger 桥的熵耗散#

6. 具时间周期系数的血管化肿瘤生长自由边界模型#

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

1. Schur 可见性与单分量 Navier-Stokes 退化中的反幻影约化

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 面向 $$L^r$$ 的广义凸积分框架及其在地球物理模型中的应用

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 带粗糙漂移项的定常Navier-Stokes方程在加权函数框架下的一些结果

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 无粘微极流体约化模型的局部与整体强解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 具有非局部源项与超线性噪声的随机Keller-Segel系统的鞅解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 若干非牛顿流体在穿孔区域上的定性与定量均匀化：‘小孔’情形

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 严格二维半阴影方法用于单分量Navier-Stokes正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 压力对临界缩放及可压缩 Navier–Stokes 系统全局低正则解的影响

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. Keller–Segel 模型临界常数稳态解的稳定性

摘要翻译

2. Schauder型估计与带表面张力的两相Muskat问题的对数临界适定性

摘要翻译

3. 关于一维周期分数阶BBM方程解的Hölder范数的几乎必然增长

摘要翻译

4. 时间无关周期均匀化中抛物型格林函数的尖锐收敛速率

摘要翻译

5. 复椭圆性、维数估计与 $BV^{\bA}$ 中的平面波刚性

摘要翻译

6. 与分数阶非谐振子相关的Hartree型热方程在加权调制空间上的研究

摘要翻译

7. 迹不等式与Hardy-Sobolev型不等式及其在半空间拟线性椭圆问题中的应用

摘要翻译

8. Dirichlet 特征函数在一般区域上具有非零均值

摘要翻译

9. 一类具Hamilton项的退化/奇异完全非线性椭圆方程的整体 $C^{1,α}$ 正则性

摘要翻译

10. 结构阻尼梁方程的零可控性。第2部分：分数阶拉普拉斯算子的分部积分与边界控制

摘要翻译

11. 具粗糙初值的三次分数阶薛定谔方程的整体适定性

摘要翻译

不相关论文（基本信息）

1. 关于Hessian方程Dirichlet问题的连续性方法

2. 量子遍历性与半经典测度：数学结果

3. 快速同质网络上的平均场模仿动力学

4. 在细胞侵袭的非线性偏微分方程模型中重构初始条件与物理系数

5. 非局部 Onsager 算子与有限状态 Schrödinger 桥的熵耗散

6. 具时间周期系数的血管化肿瘤生长自由边界模型