生成时间: 2026年07月31日 05:55:13

运行状态: 完成

计划处理论文数量: 28

已完成论文数量: 28

未完成论文数量: 0

重点关注论文数量: 9

了解领域论文数量: 10

不相关论文数量: 9

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

1. 振荡水柱动力学的浅水模型

Shallow water models for the dynamics of oscillating water columns

作者: Edoardo Bocchi

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28515v1

摘要翻译: 我们研究振荡水柱（oscillating water column）的动力学，这是一种波浪能转换器，其中水波与一个固定的、部分浸没的结构及一个空气腔相互作用。在浅水情形下，流体运动由一维非线性浅水方程或 Boussinesq-Abbott 方程所支配，而空气腔内的气压变化则作为弹簧力作用于流体。该结构与空气腔的存在在流体方程中引入了约束条件。假设在无结构阻尼时总流体-弹性能量守恒，我们将带约束的方程重构为开敞水域与空气腔之间的传输问题，并证明其局部适定性（local well-posedness）。我们还考虑另一种建模方法：将空气腔内上部流体视为可在下部流体上方自由作垂向运动的刚性层（即水柱）。对此构型，我们将动力学重构为波-弹簧-质量系统，其中水柱的运动由空气腔外部的浅水波所驱动。我们建立了该系统的局部适定性，并证明水柱运动的有效浮力周期由附加质量（added mass）与弹簧力刚度（stiffness）之间的竞争所决定。

Comment: 无

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

1. 研究对象和背景

本文研究一类典型波浪能转换装置——岸上振荡水柱（Oscillating Water Column, OWC）的数学建模与适定性理论。其物理构型为：一维水平域 $(-\infty, \ell)$ 上，存在一个固定的部分浸没结构（垂直侧壁位于 $x = \pm r$ ， $0 < r < \ell$ ），其右侧封闭形成空气腔 $E_+ = (r, \ell)$ ；左侧为开阔水域 $E_- = (-\infty, -r)$ ；结构正下方区域 $$I = (-r, r)$$ 为流体受限通道。流体为均质、无粘、不可压、无旋，在浅水假设下由统一的无量纲化系统描述：

\begin{cases} \partial_t \zeta + \partial_x q = 0 \\ \left(1 - \dfrac{\mu}{3} \partial_x^2 \right) \partial_t q + \varepsilon \partial_x \left( \dfrac{q^2}{h} \right) + h \partial_x \zeta = -\dfrac{h}{\varepsilon} \partial_x P, \end{cases} \quad \text{其中 } h = 1 + \varepsilon \zeta,\; \mu \geq 0,\; \varepsilon \in (0,1].

该系统在 $\mu = 0$ 时退化为非线性浅水（Saint-Venant）方程，属双曲型；在 $\mu > 0$ 时对应 Boussinesq-Abbott 方程，属色散扰动双曲系统。关键未知量为自由表面位移 $\zeta(t,x)$ 与水平通量 $$q(t,x)$$ 。OWC 的核心物理机制在于：入射波驱动腔内水体运动，引起腔内空气体积变化，从而产生偏离大气压的压力 $P_{\mathrm{ch}}(t)$ ，该压力通过流体表面作用于水体，构成等效弹簧力 $-h \varepsilon^{-1} \partial_x P$ （仅在 $$E_+$$ 非零）。因此，系统天然分裂为三区：开阔水域 $$E_-$$ （ $$P=0$$ ）、腔内水域 $$E_+$$ （ $P = P_{\mathrm{ch}}$ ）、结构下方受限区 $$I$$ （满足接触约束 $\zeta = \zeta_w(x)$ ，此处取平底 $\zeta_w \equiv 0$ ，故 $$h = h_w$$ 为常数）。在 $$I$$ 内，因结构固定且底部平坦，通量 $$q = q_i(t)$$ 仅为时间函数，动量方程退化为常微分方程 $\dot{q}_i = - h_w \varepsilon^{-1} \partial_x P$ ，而连续性方程自动满足。由此，原问题转化为带约束的分段系统：外部区域满足齐次源项方程（4.8），内部区域满足约束驱动的ODE，二者通过接触点 $x = \pm r$ 耦合。经典波-结构相互作用理论中，此类接触问题长期面临奇异性挑战——在接触点附近流速可能发散，尤其当接触角非零时需小角度假设（如海岸线问题[11,33–35]）；而现有浅水OWC模型多限于 $\mu = 0$ 且忽略色散效应[8,9]，或仅处理恒定气压[8]，缺乏对 $\mu > 0$ 下能量守恒结构、色散修正及刚性水柱等效模型的严格分析框架。本文旨在填补三大空白：（1）在 $\mu > 0$ 下建立总能量（流体浅水能量+腔内空气弹性势能）守恒的严格基础，并导出相应耦合条件；（2）将 $\mu > 0$ 的色散效应纳入OWC传输问题，克服色散项破坏经典双曲能量估计的障碍；（3）提出水柱-弹簧-质量系统新模型，将腔内上层流体视为刚性竖向运动层，其动力学由界面处新接触约束与积分微分方程刻画，从而揭示‘附加质量’与‘弹簧刚度’竞争决定有效浮力周期的物理机制。

2. 主要定理或主要结果

本文共建立三类严格数学结果。（一）针对约束浅水模型，定义总能量 $\mathcal{E}(t) = E_{\mathrm{gra}}(\zeta) + E_{\mathrm{kin}}(\zeta,q) + \dfrac{1}{2} \varepsilon P_0 |E_+| \zeta^2$ （Definition 4.1），其中 $E_{\mathrm{gra}}, E_{\mathrm{kin}}$ 由(2.9)给出， $\zeta$ 为腔内平均水面（4.7）， $P_0 = \gamma P_{\mathrm{atm}}/(\rho g h_{\mathrm{ch}})$ 。在无结构阻尼（即 $\kappa = 0$ ）假设下，证明总能量守恒至 $O(\varepsilon \mu)$ 阶： $\dfrac{d}{dt} \mathcal{E}(t) = \varepsilon \mu \int_{E} R(\zeta,q)\,dx$ （Proposition 4.4）。由此导出接触点 $x = \pm r$ 处的耦合条件，即浅水Bernoulli原理形式：

q^2 / (2h) + \zeta + P/\varepsilon = \text{const.} \quad \text{at } x = \pm r,

并结合通量连续性 $$q(-r) = q(r) = q_i(t)$$ ，将原约束系统严格重构为传输问题（Propositions 4.6 & 4.7）。进而证明该传输问题局部适定：当 $\mu = 0$ 时，利用[9]中Kreiss对称化子方法获得隐式迹正则性，闭合先验估计（Theorem 4.10）；当 $\mu > 0$ 时，将问题约化为无穷维常微分方程，应用Cauchy-Lipschitz理论得解存在唯一性（Theorem 4.10）。（二）针对水柱-弹簧-质量模型，将腔内流体视为两相：下层服从浅水方程，上层为刚性水柱，其竖向位移 $\eta(t)$ 满足二阶积分微分方程

M_{\mathrm{eff}} \ddot{\eta} + K_{\mathrm{sp}} \eta = F_{\mathrm{hydro}}(t),

其中有效质量 $M_{\mathrm{eff}} = \rho |E_+| (1 + \alpha_{\mathrm{add}})$ 含附加质量系数 $\alpha_{\mathrm{add}}$ ，弹簧刚度 $K_{\mathrm{sp}} = \rho g |E_+| / h_{\mathrm{ch}}$ ，驱动力 $F_{\mathrm{hydro}}$ 由外部波场通过界面压力耦合生成（Proposition 5.5）。证明该系统局部适定：对 $\mu = 0$ ，Theorem 5.8 给出 $$H^s$$ 解存在时间 $T \sim (\|\zeta_0\|_{H^s} + \|q_0\|_{H^s} + |\eta_0| + |\dot{\eta}_0|)^{-1}$ ；对 $\mu > 0$ ，Theorem 5.9 在 $H^{s+2} \times H^s \times \mathbb{R}^2$ 空间中建立适定性。关键结论为：水柱运动的有效浮力周期 $T_{\mathrm{eff}} = 2\pi / \omega_{\mathrm{eff}}$ 由 $\omega_{\mathrm{eff}}^2 = K_{\mathrm{sp}} / M_{\mathrm{eff}}$ 决定，呈现三种竞争情形——刚度主导（ $\omega_{\mathrm{eff}} \sim \sqrt{K_{\mathrm{sp}}/\rho|E_+|}$ ）、附加质量主导（ $\omega_{\mathrm{eff}} \sim \sqrt{K_{\mathrm{sp}}/(\rho|E_+|\alpha_{\mathrm{add}})}$ ）、及共振临界态（ $\alpha_{\mathrm{add}} \sim 1$ ）。

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

本文核心障碍有三：（1）色散项 $-\frac{\mu}{3} \partial_x^2 \partial_t q$ 破坏经典双曲能量估计的正定性，导致标准Kreiss对称化子失效；（2）接触点 $x = \pm r$ 处能量通量 $$f$$ 不连续，且腔内非零压力 $P_{\mathrm{ch}}$ 破坏全局能量守恒，需重构总能量并证明其守恒性；（3）水柱-弹簧-质量模型中，刚性水柱运动引入强非局部耦合，其积分微分方程与外部浅水方程形成高维非线性耦合系统。作者的创新点在于：第一，构造包含空气弹性势能的总能量泛函 $\mathcal{E}(t)$ ，并利用腔内平均水面 $\zeta$ 的定义（4.7）与气压线性响应律（3.9），严格推导出 $\frac{d}{dt}\mathcal{E}(t)$ 中所有边界项在 $x = \pm r$ 处精确抵消，仅余 $O(\varepsilon \mu)$ 体积分余项（Proposition 4.4 的关键计算），从而确立耦合条件的物理基础。第二，对 $\mu > 0$ 传输问题，放弃双曲框架，转而采用‘约化-ODE’策略：将色散浅水方程在 $E_\pm$ 上视作关于 $$q$$ 的二阶ODE（因 $\partial_t q$ 可解出），再结合内部区域 $$q_i(t)$$ 的ODE及耦合条件，整体构成Banach空间中的无穷维常微分方程组，直接调用Cauchy-Lipschitz定理，规避了色散项带来的正则性灾难。第三，在水柱模型中，作者引入界面接触约束 $\zeta|_{x \in E_+} = \eta(t) + \text{lower-layer correction}$ ，并将腔内压力 $P_{\mathrm{ch}}$ 表达为 $\eta$ 的函数，从而将流体-结构耦合完全吸收进水柱运动方程。关键引理为Proposition 5.5：通过垂直积分与动量守恒，导出含附加质量 $\alpha_{\mathrm{add}} = \frac{\mu}{3} \frac{|E_+|}{h_w^2} \|\partial_x^2 q\|_{L^2(E_+)}^2$ 的有效质量公式，该量显式依赖色散参数 $\mu$ 与腔几何尺寸；同时，色散效应还引入新耦合项 $\int_0^t e^{-\kappa(t-s)} \partial_s \eta(s)\,ds$ ，改变驱动力 $F_{\mathrm{hydro}}$ 的记忆核结构。整个分析框架依赖于精细的能量恒等式操控、分段函数迹算子的恰当使用（如 $q(\pm r)$ 的定义），以及对非线性项 $\partial_x(q^2/h)$ 的Sobolev嵌入控制（ $H^s \hookrightarrow L^\infty$ ， $$s > 1/2$$ ）。

4. 与之前工作的比较

本文相较既有工作有三方面实质性推进。（一）与经典浅水波-结构相互作用相比：文献[22,10,3]仅处理 $\mu = 0$ 或固定物体，而本文首次将色散效应（ $\mu > 0$ ）系统纳入OWC模型，并证明其传输问题适定性（Theorem 4.10），突破了双曲框架限制；文献[9]虽建立 $\mu = 0$ 下OWC传输问题，但其能量泛函未显式包含空气弹性势能，且未论证总能量守恒，本文Definition 4.1与Proposition 4.4为其提供了严格变分基础。（二）与气压建模相比：文献[8]假设恒定气压，文献[36]用绝热律但未耦合浅水方程，本文（3.9）给出带阻尼的线性气压响应，并证明 $\kappa = 0$ 时退化为绝热近似（3.4），且在总能量中精确体现 $P_{\mathrm{ch}}$ 的贡献，使耦合条件具有物理可解释性。（三）与水柱等效模型相比：工程文献[14,15]多用线性势流理论，缺乏非线性与色散刻画；本文Proposition 5.5首次从浅水方程严格导出含色散修正的附加质量公式 $\alpha_{\mathrm{add}} \propto \mu$ ，并揭示 $\omega_{\mathrm{eff}}^2 = K_{\mathrm{sp}}/M_{\mathrm{eff}}$ 的竞争机制（Theorem 5.8/5.9），而此前模型[12,40]仅给出经验公式 $T \propto \sqrt{h_{\mathrm{ch}}/g}$ 。代价在于：适定性仅限局部时间（ $$T$$ 依赖初值大小），且 $\mu > 0$ 情形未获得一致 $\mu \to 0$ 极限；此外，模型假设腔内气压空间均匀（4.5），忽略了三维流动与涡脱落效应，此为浅水近似的固有局限。作者未显式展开与全Euler方程[27]或Navier-Stokes模型[20,21]的比较，亦未讨论湍流耗散或结构弹性振动，这些属于未来工作范畴。

2. 一阶随机守恒律障碍问题的适定性与大偏差

Well-posedness and large deviations for the obstacle problem of first-order stochastic conservation laws

作者: Ruoyang Liu, Rangrang Zhang

类别: math.PR, math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28238v1

摘要翻译: 本文研究由乘性噪声驱动的一阶标量守恒律的障碍问题。通过将障碍-代换策略适配到动力学公式中，我们允许反射测度为一般的Radon测度，并消除了通常的障碍-噪声相容性条件。我们建立了连续障碍下动力学解的存在性，并在更强的空间正则性假设下进一步导出了 $$L^1$$ -收缩性与唯一性。此外，我们在空间 $L^1(0,T;L^1(\mathbb{T}^N))$ 中证明了Freidlin–Wentzell型大偏差原理。与现有基于障碍的控制一致罚函数的大偏差论证不同，我们直接处理反射骨架方程，并在整个过程中保留可能奇异的Radon反射测度；而粘性逼近则提供了紧性所需的空间 $$H^1$$ -正则性，随后再取无粘极限。我们的结果为Matoussi、Sabbagh与Zhang（2021）所发展的抛物型反射随机偏微分方程的大偏差理论提供了双曲对应版本。

Comment: 61 pages

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

1. 研究对象和背景

本文研究定义在 $$N$$ 维环面 $\mathbb{T}^N$ 上、带下障碍 $\psi = \psi(x,t)$ 的一阶标量随机守恒律的障碍问题：

\begin{cases} du + \operatorname{div} A(u)\,dt = \Phi(u)\,dW(t) + d\nu, & \text{in } Q_T = \mathbb{T}^N \times (0,T], \\ u \ge 0,\quad u \ge \psi, & \text{a.e. in } Q_T, \\ u \text{ is a Radon measure}, & \\ u(Q_T) < \infty\ \text{a.s.}, & \\ u \text{ enforces the constraint } u \ge \psi, & \\ u(\{u > \psi\}) = 0, & \\ u \text{ satisfies the minimal Skorokhod condition } \int_{Q_T} (u - \psi)\,d\nu = 0, & \\ u \text{ is predictable}, & \\ u(T^N \times \{0\}) = 0\ \text{a.s. (by Lemma 2.5)}, & \\ u \text{ may be singular w.r.t. Lebesgue measure}, & \\ u \text{ need not admit an } L^2(\Omega \times Q_T) \text{ density}, & \\ u \text{ is not assumed to satisfy obstacle-noise compatibility}, & \\ u \text{ is part of unknown pair } (u,\nu), & \\ u \text{ appears as a distributional source term in kinetic equation (1.3)}, & \\ u \text{ contributes via } \delta_{\xi=\psi}\nu \text{ rather than } \delta_{\xi=u}\nu. \end{cases}

其中 $A \in C^2(\mathbb{R};\mathbb{R}^N)$ 是通量函数， $a(\xi) := A'(\xi)$ 满足多项式增长条件 $|a(\xi)-a(\zeta)| \le C(1+|\xi|^{p-1}+|\zeta|^{p-1})|\xi-\zeta|$ ； $W(t) = \sum_{k\ge1} \beta_k(t) e_k$ 是作用于可分 Hilbert 空间 $$U$$ 上的柱形 Wiener 过程； $\Phi(u) e_k = g_k(\cdot,u)$ ，且系数满足 $\sum_k |g_k(x,\xi)|^2 \le D_0(1+|\xi|^2)$ 及 Lipschitz 条件 $\sum_k |g_k(x,\xi)-g_k(y,\zeta)|^2 \le D_0(|x-y|^2+|\xi-\zeta|^2)$ ；初始值 $u_0 \in L^\infty(\mathbb{T}^N)$ 满足 $u_0 \ge \psi(\cdot,0)$ a.e.。该模型描述受乘性噪声扰动、且被硬性下界 $\psi$ 所约束的激波传播过程，广泛出现在交通流建模（障碍代表最低通行密度）、金融衍生品定价（障碍对应敲出边界）及非平衡统计物理（障碍对应能量势垒）中。

传统障碍问题理论依赖于反射测度 $\nu$ 具有足够正则性（如 $$L^2$$ 密度），这要求障碍 $\psi$ 与噪声 $\Phi$ 满足兼容性条件：

\partial_t\left(\psi - \int_0^t \Phi(\psi(s))\,dW(s)\right) \in L^2(\Omega \times Q_T),

该条件等价于 $\Phi(c) = 0$ 当 $\psi \equiv c$ 为常数障碍时——即噪声必须在障碍水平处消失。此限制严重削弱了模型适用性，例如无法刻画含白噪声的临界相变过程（此时 $\psi$ 为常数而 $\Phi$ 非退化）。Debussche–Vovelle（2005）建立无障碍情形下的动力学解理论，Biswas–Tahraoui–Vallet（2019）首次将熵解框架拓展至双边障碍，但其证明依赖上述兼容性条件，并通过粘性-惩罚联合逼近构造解；Liu–Tang（2022）对随机多孔介质方程亦施加同类假设。Matoussi–Sabbagh–Zhang（2021）为抛物型反射 SPDE 建立大偏差原理（LDP），其核心是利用梯度估计与单调算子理论控制反射项，但该方法完全失效于一阶双曲系统——因缺乏耗散机制，解不具 $$H^1$$ 正则性，经典 Sobolev 紧嵌入与时间紧性均不可用。本文旨在填补三大空白：（1）在完全取消障碍-噪声兼容性条件下，建立适用于任意连续障碍 $\psi \in C([0,T]\times\mathbb{T}^N)$ 的动力学解存在性；（2）在更强正则性 $\psi \in C^{0,2}([0,T]\times\mathbb{T}^N)$ 下，证明 $$L^1$$ -收缩性与唯一性；（3）为该超定双曲系统建立 Freidlin–Wentzell 型大偏差原理，其速率函数定义在 $L^1(0,T;L^1(\mathbb{T}^N))$ 空间上，且允许反射测度 $\nu$ 保持为一般 Radon 测度。

2. 主要定理或主要结果

定理 1.1（适定性）：设假设 (H1) 成立，若障碍 $\psi \in C([0,T]\times\mathbb{T}^N)$ 且初值 $u_0 \in L^\infty(\mathbb{T}^N)$ 满足 $u_0 \ge \psi(\cdot,0)$ a.e.（即假设 (H2)），则障碍问题 (1.1) 存在动力学解 $(u,\nu)$ ，满足定义 2.2；进一步，若 $\psi \in C^{0,2}([0,T]\times\mathbb{T}^N)$ （即假设 (H2)’），则对任意两组相容初值 $$u_0^1,u_0^2$$ ，对应解 $(u_1,\nu_1),(u_2,\nu_2)$ 满足

\mathbb{E}\|u_1(t) - u_2(t)\|_{L^1(\mathbb{T}^N)} \le \|u_0^1 - u_0^2\|_{L^1(\mathbb{T}^N)},\quad \text{a.e. } t \in [0,T].

特别地，当 $$u_0^1 = u_0^2$$ a.e. 时，有 $$u_1 = u_2$$ in $L^1(\Omega \times Q_T)$ 且 $\nu_1 = \nu_2$ 作为 $\mathbb{T}^N \times [0,T)$ 上的 Radon 测度 a.s.

定理 1.2（大偏差原理）：设假设 (H1) 与 (H2)’ 成立，对 $\varepsilon > 0$ ，令 $(u^\varepsilon,\nu^\varepsilon)$ 为小噪声系统

\begin{cases} du^\varepsilon + \operatorname{div} A(u^\varepsilon)\,dt = \sqrt{\varepsilon}\, \Phi(u^\varepsilon)\,dW(t) + d\nu^\varepsilon, & \text{in } Q_T, \\ u^\varepsilon \ge 0,\quad u^\varepsilon \ge \psi, & \text{a.e.}, \\ u^\varepsilon(T^N \times \{0\}) = 0, & \\ u^\varepsilon \text{ is predictable}, & \\ u^\varepsilon \text{ satisfies minimal Skorokhod condition}, & \end{cases}

的动力学解。则族 $\{u^\varepsilon\}_{\varepsilon>0}$ 在空间 $L^1(0,T;L^1(\mathbb{T}^N))$ 上满足 Freidlin–Wentzell 大偏差原理，其优良速率函数 $I : L^1(0,T;L^1(\mathbb{T}^N)) \to [0,\infty]$ 由 (5.1) 式给出：

I(v) = \inf\left\{ \frac{1}{2} \int_0^T \|h(t)\|_{U}^2\,dt : h \in L^2(0,T;U),\ v = \mathcal{G}^0(h) \right\},

其中 $\mathcal{G}^0 : L^2(0,T;U) \to L^1(0,T;L^1(\mathbb{T}^N))$ 是确定性骨架映射，即对给定控制 $h \in L^2(0,T;U)$ ， $\mathcal{G}^0(h)$ 是反射骨架方程

\begin{cases} \partial_t u^h + \operatorname{div} A(u^h) = \Phi(u^h)h(t) + d\nu^h, & \text{in } Q_T, \\ u^h \ge 0,\quad u^h \ge \psi, & \text{a.e.}, \\ u^h(T^N \times \{0\}) = 0, & \\ u^h \text{ satisfies minimal Skorokhod condition}, & \end{cases}

的唯一动力学解。该 LDP 成立的关键在于：对任意 $$M > 0$$ ，集合 $\{h \in L^2(0,T;U) : \int_0^T \|h(t)\|_U^2\,dt \le M\}$ 在 $$L^2(0,T;U)$$ 中的弱拓扑下紧，且骨架映射 $\mathcal{G}^0$ 在该弱拓扑到 $L^1(0,T;L^1(\mathbb{T}^N))$ 强拓扑下连续（即弱–强连续性）。

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

本文核心创新在于摒弃传统反射 SPDE 中“提升反射测度正则性以维持 Skorokhod 条件”的范式，转而将障碍接触直接编码于动力学方程中，从而允许 $\nu$ 保持为一般 Radon 测度。具体而言，作者发展了一种基于动力学表述的障碍替换策略（barrier-substitution strategy），其技术要点如下：

动力学方程重构：引入动力学函数 $f(x,t,\xi) = \mathbf{1}_{\{u(x,t)>\xi\}}$ ，并形式上将反射贡献 $\delta_{\xi=u}\nu$ 替换为 $\delta_{\xi=\psi}\nu + \partial_\xi \lambda$ ，其中 $\lambda$ 是非负“障碍缺陷测度”。该替换并非人为假设，而是源于惩罚近似：对惩罚解 $$u_n$$ 定义 $\nu_n(dx,dt) = n(u_n - \psi)_- dx dt$ ，则恒有恒等式
$\delta_{\xi=u_n}\nu_n = \delta_{\xi=\psi}\nu_n + \partial_\xi \lambda_n,\quad d\lambda_n(x,t,\xi) = \mathbf{1}_{\{u_n < \xi < \psi\}} d\nu_n(x,t) d\xi.$
由于 $\lambda_n \ge 0$ ，该结构在弱极限下稳定（见 Remark 4.4），极限缺陷测度 $\lambda$ 可吸收进总动力学测度 $$q$$ 中，最终得到良定义的动力学方程 (1.3)：
$(\partial_t + a(\xi)\cdot\nabla_x)f = \delta_{\xi=u}\Phi(u)\dot{W} + \partial_\xi q - \frac{1}{2}\partial_\xi\big(G^2(x,\xi)\delta_{\xi=u}\big) + \delta_{\xi=\psi}\nu,$
其中 $G^2(x,\xi) = \sum_{k\ge1} |g_k(x,\xi)|^2$ 。此形式彻底规避了 $u-\psi$ 与奇异测度 $\nu$ 的配对问题，无需任何障碍-噪声兼容性条件。
存在性证明中的双重逼近框架：采用两层逼近：先固定惩罚参数 $$n$$ ，对粘性惩罚方程 $du_{\alpha,n} + \operatorname{div} A(u_{\alpha,n})dt - \alpha \Delta u_{\alpha,n} dt = \Phi(u_{\alpha,n})dW + b_n(u_{\alpha,n}-\psi)dt$ 取 $\alpha \to 0$ 得到惩罚解 $$u_n$$ ；再对 $n \to \infty$ 构造单调序列 $\{u_n\}$ 。关键估计包括：(i) 利用 $$L^p$$ -界（ $p \ge 2$ ）控制通量项 $\operatorname{div} A(u)$ 的空间积分；(ii) 基于 $\nu_n$ 的质量一致有界性 $\mathbb{E}\nu_n(Q_T) \le C$ 控制反射测度；(iii) 通过动力学测度 $$q_n$$ 的一致尾部估计 $\lim_{R\to\infty} \mathbb{E}[q_n(\mathbb{T}^N \times [0,T] \times B_R^c)] = 0$ 保证紧性。最终在 $L^1(\Omega \times Q_T)$ 中取极限，验证极限对满足障碍约束与动力学方程。
大偏差证明中的直接骨架分析法：突破现有文献依赖惩罚逼近的范式，直接处理反射骨架方程。技术难点在于：反射测度 $\nu^h$ 依赖于控制 $$h$$ 且可能奇异，传统 $$L^2$$ -紧性失效。作者引入粘性骨架方程 $\partial_t u_{\alpha}^h + \operatorname{div} A(u_{\alpha}^h) - \alpha \Delta u_{\alpha}^h = \Phi(u_{\alpha}^h)h + \nu_{\alpha}^h$ ，利用 $\alpha$ 提供 $$H^1$$ -正则性以启用 Rellich-Kondrachov 紧嵌入 $H^1(\mathbb{T}^N) \hookrightarrow L^2(\mathbb{T}^N)$ ；再结合一致时间平移估计 $\sup_{|\tau|\le \delta} \mathbb{E}\|u_{\alpha}^h(\cdot+\tau) - u_{\alpha}^h(\cdot)\|_{L^1(Q_T)} \to 0$ （ $\delta \to 0$ ），获得 $\{u_{\alpha}^h\}$ 在 $L^1(0,T;L^1(\mathbb{T}^N))$ 中的强紧性（Proposition 6.7）。最后通过加倍变量法在 $\alpha \to 0$ 时均匀消除粘性，证明骨架映射 $\mathcal{G}^0$ 的弱–强连续性。

4. 与之前工作的比较

本文与既有工作存在三重根本性差异：

与 Biswas–Tahraoui–Vallet (2019) 的比较：BTZ 工作虽同样处理障碍随机守恒律，但强制要求障碍-噪声兼容性 $\partial_t(\psi - \int_0^t \Phi(\psi) dW) \in L^2$ ，这导致其无法处理常数障碍 $\psi \equiv c$ 除非 $\Phi(c)=0$ 。本文通过动力学障碍替换完全解除该限制，使 $\psi \equiv c$ 成为自然特例，且 $\Phi$ 可为任意满足 (H1) 的非退化系数。代价是：BTZ 的解自动具有 $$L^2$$ 反射密度，而本文的 $\nu$ 仅为 Radon 测度，需在动力学框架中重新定义方程结构。
与 Matoussi–Sabbagh–Zhang (2021) 的比较：MSZ 为抛物型反射 SPDE 建立 LDP，其核心工具是梯度估计 $\mathbb{E}\int_0^T \|\nabla u^\varepsilon\|_{L^2}^2 dt \le C$ 和单调算子理论，从而获得 $$H^1$$ -紧性。本文针对一阶双曲系统， $\nabla u$ 无界，故改用粘性骨架方程提供 $$H^1$$ -正则性，并在极限中剥离粘性；同时，MSZ 的骨架映射连续性依赖于 Lewy–Stampacchia 不等式控制反射项，而本文通过加倍变量法直接控制 $\nu^h$ 的负 Sobolev 范数 $\|\nu^h\|_{H^{-m}}$ （ $$m>0$$ ）实现弱–强连续性。适用范围上，MSZ 限于抛物型，本文覆盖所有满足 (H1) 的双曲通量 $$A$$ 。
与 Dong–Wu–Zhang–Zhang (2020) 的比较：DWZZ 对无障碍随机守恒律建立 LDP，其骨架映射连续性依赖于解的时间正则性 $u^h \in C([0,T];L^1)$ ，而反射障碍破坏此性质（解在接触点可能发生跳跃）。本文通过弱初始迹条件 (2.5) 排除 $$t=0$$ 处原子，并利用 Proposition 2.3 中的动力学函数左右极限 $$f_+,f_-$$ 构建跳跃可控的骨架解，从而将 LDP 推广至障碍情形。局限性在于：本文 LDP 仅在 $$L^1(0,T;L^1)$$ 空间成立，而 DWZZ 在更优空间 $$C([0,T];L^1)$$ 上成立；此外，本文未处理障碍为时间无关或具有更低正则性（如 Hölder 连续）的情形，这些情形在 BTZ 或 MSZ 框架中亦未解决。

3. 可压Euler-Riesz方程的旋转Riesz星解的非线性稳定性与不稳定性

Nonlinear stability and instability of rotating Riesz star solutions of the compressible Euler-Riesz equations

作者: Samuel R. Charles

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

发布日期: 2026-07-30

arXiv ID: 2607.27925v1

摘要翻译: 可压Euler–Riesz方程出现在诸多物理现象的建模中，包括恒星动力学、等离子体物理和数学生物学。我们研究吸引型可压Euler–Riesz方程的旋转稳态解，称之为旋转Riesz星，并在质量次临界（mass-subcritical）与质量超临界（mass-supercritical）两类参数区域内分别建立其存在性及非线性稳定性或不稳定性结果。在质量次临界区域，我们在角动量剖面满足适当次齐次性假设下证明了旋转Riesz星的存在性；随后通过适配于轴对称情形的集中紧致性论证（concentration compactness argument）确立其非线性稳定性。旋转引入了新的紧致性困难，最显著者为极小化序列可能沿半径趋于无穷的环形区域保持紧致（tight）。在质量超临界区域，我们在多方气体（polytropic）设定下、在角动量剖面满足适当超齐次性假设时证明了旋转Riesz星的存在性，从而将理论推广至小角速度区域之外；该证明需对保质量缩放（mass-preserving scalings）作精细分析，其难度高于非旋转情形。最后，通过分析自由能（free-energy）沿这些缩放的凹性，我们确立了所得质量超临界旋转Riesz星的不稳定性。我们的结果表明：旋转效应可起稳定作用亦可起失稳作用，具体取决于Riesz相互作用的奇异性。

Comment: 53 pages

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

1. 研究对象和背景

本文研究三维吸引型压缩欧拉-里斯方程（Compressible Euler–Riesz Equations, CEREs）的轴对称稳态解，即所谓‘旋转里斯星’（rotating Riesz stars）。该方程组描述具有非局部自引力相互作用的可压缩流体动力学，其物理背景涵盖恒星动力学、等离子体物理与数学生物学。系统由密度 $\rho \geq 0$ 、动量 $M \in \mathbb{R}^3$ 、压力 $p = p(\rho)$ 和里斯势 $W_\alpha = \Phi_\alpha * \rho$ 构成，其中 $\Phi_\alpha(x) = -|x|^{-\alpha}/\alpha$ , $\alpha \in (0,3)$ ，满足

\begin{cases} \partial_t \rho + \nabla \cdot M = 0, \\ \partial_t M + \nabla \cdot \left( \dfrac{M \otimes M}{\rho} \right) + \nabla p + \rho \nabla W_\alpha = 0. \end{cases} \tag{1.1}

特别地，当 $\alpha = 1$ 时退化为经典牛顿引力下的压缩欧拉-泊松方程（CEPEs），而 $\alpha \in [2,3)$ 时因梯度 $\nabla \Phi_\alpha$ 在原点不可积，需以主值意义定义

\nabla W_\alpha(x) = \int_{\mathbb{R}^3} \nabla \Phi_\alpha(x-y) \big( \rho(y) - \rho(x) \big) \, dy,

要求 $\rho \in C^{0,\beta}(\mathbb{R}^3)$ 且 $\beta > \alpha - 2$ 以补偿奇异性。能量泛函为

E(\rho,M)(t) = \int_{\mathbb{R}^3} \left( \rho e(\rho) + \frac{1}{2} \left| \frac{M}{\sqrt{\rho}} \right|^2 + \frac{1}{2} \rho (\Phi_\alpha * \rho) \right) dx,

其中内能密度 $e(\rho) = \int_0^\rho \frac{p(\tau)}{\tau^2} d\tau$ 。本文聚焦于轴对称稳态解：设柱坐标 $r = \sqrt{x_1^2 + x_2^2}, z = x_3$ ，要求 $\rho = \rho(r,z), M = M_r e_r + M_\theta e_\theta + M_3 e_3$ ，并令角动量平方 $L(m_\rho(r)) = J(m_\rho(r))^2$ ，其中累积质量 $m_\rho(r) = 2\pi \int_0^r \int_{-\infty}^{\infty} \rho(\eta,z) \eta \, dz \, d\eta$ 。旋转里斯星解 $(\bar{\rho}, \bar{M})$ 满足 $\bar{u} = \frac{\bar{M}}{\bar{\rho}} = \frac{J(m_{\bar{\rho}}(r))}{r} e_\theta$ ，代入 (1.1) 得稳态方程

\begin{cases} \partial_r p(\bar{\rho}) = \bar{\rho} \dfrac{L(m_{\bar{\rho}}(r))}{r^3} - \bar{\rho} \partial_r (\Phi_\alpha * \bar{\rho}), \\ \partial_z p(\bar{\rho}) = - \bar{\rho} \partial_z (\Phi_\alpha * \bar{\rho}), \end{cases}

等价于变分条件：存在 $\mu > 0$ 使得在支撑集 $\Gamma = \{x: \bar{\rho}(x) > 0\}$ 上

(\bar{\rho} e(\bar{\rho}))'(\bar{\rho}) + \int_r^\infty \frac{L(m_{\bar{\rho}}(s))}{s^3} ds + (\Phi_\alpha * \bar{\rho})(x) = -\mu,

且在 $\mathbb{R}^3 \setminus \Gamma$ 上 $\geq -\mu$ 。自由能泛函为

G(\varrho) = \int_{\mathbb{R}^3} \varrho(x) \left( e(\varrho(x)) + \frac{1}{2} \frac{L(m_\varrho(r(x)))}{r(x)^2} + \frac{1}{2} (\Phi_\alpha * \varrho)(x) \right) dx,

定义在轴对称质量约束类 $X_M = \{ \varrho \in L^1_+(\mathbb{R}^3) \cap L^{\frac{3+\alpha}{3}}_{\text{axi}}(\mathbb{R}^3): \int \varrho = M, \int \varrho \frac{L(m_\varrho(r))}{r^2} < \infty \}$ 上。关键参数是质量临界指数 $\gamma_c = \frac{3+\alpha}{3}$ ：当 $\gamma > \gamma_c$ （即 $p(\rho) \sim \rho^\gamma$ ）时为质量次临界（mass-subcritical），内部能主导；当 $\frac{6}{6-\alpha} < \gamma < \gamma_c$ 时为质量超临界（mass-supercritical），势能主导。已有工作如 Rein [60]、Carrillo–Charles–Chen–Yuan [13] 建立了非旋转星解的存在性与稳定性，Luo–Smoller [54] 对 CEPEs 的旋转星证得非线性稳定性，但均未处理非局部里斯势与一般角动量剖面的耦合效应。本文旨在填补三大空白：(i) 在 $\alpha \in (0,3)$ 下建立旋转里斯星解的存在性，尤其突破小角速度限制；(ii) 在质量次临界下证明其非线性稳定性，克服轴对称下平移紧性失效问题；(iii) 在质量超临界下首次证明其非线性不稳定性，并揭示旋转既可稳定亦可 destabilise，取决于 $\alpha$ 的奇异性。

2. 主要定理或主要结果

本文在两类质量标度下分别建立存在性与稳定性/不稳定性结论。首先，在质量次临界 regime（即 $\gamma > \frac{3+\alpha}{3}$ ），假设压力 $p \in C^1([0,\infty))$ 满足 $p'(\rho) > 0$ ，且角动量平方 $L \in C^1([0,M])$ 满足 subhomogeneity 条件 $L(am) \geq a^{\frac{5-\alpha}{3}} L(m), \forall a \in (0,1), m \in [0,M]$ ，同时总质量 $$M$$ 满足

M < \left( \frac{6 \liminf_{\rho \to \infty} p(\rho) \rho^{-\frac{3-\alpha}{3}}}{C^*} \right)^{\frac{3}{3-\alpha}}, \quad M > \left( \frac{6 \limsup_{\rho \to 0} p(\rho) \rho^{-\frac{3-\alpha}{3}}}{C^*} \right)^{\frac{3}{3-\alpha}},

其中 $$C^*$$ 为 Hardy–Littlewood–Sobolev 不等式最优常数。则存在 $\bar{\rho} \in X_M$ 使 $G(\bar{\rho}) = \inf_{\varrho \in X_M} G(\varrho) =: g_M < 0$ ，且 $\bar{\rho}$ 是旋转里斯星解（Theorem 3.1）。进一步，若初始数据 $(\rho_0,M_0)$ 满足 (I1)–(I3) 及 (A1)–(A3)，则对应弱解 $(\rho,M)$ 满足相对能量估计

E(\rho,M \mid \bar{\rho},\bar{M})(t) = G(\rho(t)) - G(\bar{\rho}) + \frac{1}{2} \int_{\mathbb{R}^3} \left( \left| \frac{M_r}{\sqrt{\rho}} \right|^2 + \left| \frac{M_3}{\sqrt{\rho}} \right|^2 \right) dx \geq 0,

且存在 $\delta > 0$ 使得 $E(\rho_0,M_0 \mid \bar{\rho},\bar{M})(0) < \delta$ 蕴含 $\sup_{t \geq 0} E(\rho,M \mid \bar{\rho},\bar{M})(t) < \varepsilon$ （Theorem 4.1），即非线性稳定性。其次，在质量超临界 regime（即 $\frac{6}{6-\alpha} < \gamma < \frac{3+\alpha}{3}$ ），假设 $p(\rho) = a_0 \rho^\gamma$ 且 $$L$$ 满足 superhomogeneity 条件 $L(am) \leq a^{\frac{5-\alpha}{3}} L(m)$ ，则存在 $\bar{\rho} \in X_M$ 实现 $g_M = \inf_{\varrho \in X_M} G(\varrho)$ （Theorem 5.1）。更重要的是，对任意 $\varepsilon > 0$ ，存在初值 $(\rho_0,M_0)$ 满足 $\|\rho_0 - \bar{\rho}\|_{L^1} + \|M_0 - \bar{M}\|_{L^2} < \varepsilon$ ，但其对应解满足 $\limsup_{t \to \infty} |\operatorname{supp} \rho(t)| = \infty$ （Theorem 6.1），即非线性不稳定性。该不稳定性由自由能沿质量守恒缩放 $\varrho_\lambda(x) = \lambda^3 \varrho(\lambda x)$ 的凹性驱动：定义 $\mathcal{E}(\lambda) = G(\varrho_\lambda)$ ，则存在 $\lambda_0 > 1$ 使 $\mathcal{E}''(\lambda_0) < 0$ ，且 $\mathcal{E}'(1) = 0$ ，从而 $\mathcal{E}(\lambda) < \mathcal{E}(1)$ 对 $\lambda > 1$ 成立，导致支撑集扩张。

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

证明的核心障碍源于旋转引入的三重非平凡结构：轴对称约束破坏平移不变性、旋转动能项 $\int \rho \frac{L(m_\rho(r))}{r^2}$ 破坏径向递减重排的极小性保持性、以及质量守恒缩放 $\varrho_\lambda$ 在 $\alpha \in (0,2)$ 下缺乏显式临界参数。针对质量次临界存在性，作者发展了一套适配轴对称的集中紧性框架（refined concentration compactness）。标准 Lions 框架中，极小化序列可能分裂或逃逸至无穷远；此处需排除“环状紧性”（tightness along rings $\{x: r(x) = R_n\}$ ）且 $R_n \to \infty$ 的情形。关键引理（Lemma 3.8）证明：若 $R_n \to \infty$ ，则势能项 $\frac{1}{2} \int \varrho_n (\Phi_\alpha * \varrho_n) \to 0$ ，导致 $g_M \geq 0$ ，与假设 $$g_M < 0$$ 矛盾，故质量必在原点附近紧致。此论证依赖 HLS 不等式与 $$L$$ 的 subhomogeneity 控制旋转动能衰减。对于稳定性，作者构造相对能量 $E(\rho,M \mid \bar{\rho},\bar{M})$ 并证明其非负性及守恒性（在粒子路径假设下），再通过反证法：若不稳定，则存在序列 $E(\rho_n,M_n \mid \bar{\rho},\bar{M})(0) \to 0$ 但 $\sup_t E(\rho_n,M_n \mid \bar{\rho},\bar{M})(t) \geq \varepsilon_0$ ，导出与紧性矛盾。质量超临界存在性的核心工具是临界缩放分析。不同于非旋转情形，此处 $\varrho_\lambda$ 的临界 $\lambda_c$ 隐式定义为 $\frac{d}{d\lambda} G(\varrho_\lambda)\big|_{\lambda = \lambda_c} = 0$ ，无闭式解。作者引入判别量 $\kappa(\varrho) = \int \varrho \frac{L(m_\varrho(r))}{r^2} / \int \varrho^{\frac{3+\alpha}{3}}$ ，其显式表达式允许绕过 $\lambda_c$ 的隐式性（Lemma 6.3）。进一步，当 $\alpha \in (0,2)$ ， $\kappa(\varrho)$ 将缩放分为两支，作者证明 superhomogeneity 条件确保仅一支主导，从而将变分问题限制于有效子集。不稳定性证明则精细分析 $\mathcal{E}(\lambda) = G(\varrho_\lambda)$ 的二阶导数：利用 $\gamma < \frac{3+\alpha}{3}$ 导致势能缩放权重 $\lambda^{\alpha-3}$ 强于动能权重 $\lambda^{\frac{5-\alpha}{3}-1}$ ，结合 $$L$$ 的 superhomogeneity，得到 $\mathcal{E}''(1) < 0$ ，再通过凸性论证推出支撑集增长。

4. 与之前工作的比较

本文相较既有工作有三方面实质性推进。第一，存在性范围显著扩展：Auchmuty–Beals [2] 与 Strauss–Wu [64] 仅处理 CEPEs（即 $\alpha = 1$ ）且要求角速度足够小或 $$L$$ 为幂律 $$L(m) = m^k$$ ；本文首次在 $\alpha \in (0,3)$ 全范围建立旋转里斯星存在性，并允许一般 $$L$$ 满足 sub/superhomogeneity，尤其 Theorem 5.1 突破小角速度限制，此前甚至 CEPEs 中亦无此结果。第二，稳定性机制更本质：Rein [60] 与 Luo–Smoller [54] 对非旋转及 CEPEs 旋转星的稳定性依赖径向递减排列与球对称紧性；本文因轴对称与非局部势，必须发展新集中紧性（Lemma 3.8），其关键在于证明环状逃逸导致势能消失，此技术在 CEPEs 中无需——因泊松势局部化使逃逸仍贡献势能。第三，不稳定性判据更精细：Deng–Liu–Yang–Yao [26] 与 Cheng–Cheng–Lin [20] 对 CEPEs 使用 $\gamma = 4/3$ 的临界缩放，而本文揭示 $\alpha$ 的奇异性决定稳定/不稳定分界：当 $\alpha \in (0,2)$ ，旋转动能缩放为 $\lambda^{\frac{5-\alpha}{3}-1}$ ，势能为 $\lambda^{\alpha-3}$ ，二者竞争导致 $\gamma_c = \frac{3+\alpha}{3}$ 成为分界；当 $\alpha \in [2,3)$ ， $\nabla W_\alpha$ 定义需差分形式，但 $\alpha = 2$ （Manev 势）恰使旋转动能缩放与势能缩放匹配，成为变分自然尺度。代价在于：本文稳定性结论依赖强假设 (A1)–(A3)（粒子路径存在性），而 CEPEs 中可通过 Schauder 理论验证；不稳定性证明中 $\kappa(\varrho)$ 的引入虽绕过隐式缩放，但使临界质量计算丧失显式性，且 superhomogeneity 假设比 CEPEs 中常用 $L(m) \sim m^{5/3}$ 更严格。从提供内容中无法确认本文结果是否适用于 $\alpha \geq 3$ （hypersingular regime），作者明确限定 $\alpha \in (0,3)$ 。

4. 曲面上的原始方程

The primitive equations on curved surfaces

作者: M. Hieber, Y. Shao, G. Simonett, M. Wilke

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.27724v1

摘要翻译: 本文研究 $\mathbb{R}^3$ 中光滑闭超曲面的一个邻域（管状邻域）内的原始方程。借助极大 $$L_q$$ -正则性框架与静力 Helmholtz 投影，我们建立了强解的存在性、唯一性与正则性结果。在此局部适定性结果基础上，我们导出适当的先验估计，并在不对初值施加任何小性假设的前提下证明了强解的整体存在性。此外，我们证明了解关于时间和空间是联合 $C^\infty$ 光滑的。

Comment: 52 pages

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

1. 研究对象和背景

本文研究定义在三维欧氏空间 $\mathbb{R}^3$ 中光滑闭超曲面 $\Sigma$ 的一个管状邻域 $N = \Sigma \times [-h, 0]$ 上的原始方程（primitive equations）系统。该模型旨在刻画大尺度地球物理流体（如大气与海洋）在球面几何背景下的动力学行为，其核心在于将地球曲率作为本质物理参数而非微扰项纳入控制方程。研究对象是水平速度场 $v \in C(N; T\Sigma)$ （取值于 $\Sigma$ 的切丛）、垂直速度分量 $w \in C(N)$ 及表面压力 $\pi_s \in C(\Sigma)$ ，满足如下非线性耦合系统：

\begin{cases} \partial_t v + \nabla_v v + w \partial_r v - (\Delta_N + \mathrm{Ric}) v + \mathrm{grad}_\Sigma \pi_s = 0 & \text{in } N, \\ \mathrm{div}_\Sigma v = 0 & \text{in } N, \\ w(\cdot, r) - \int_{-h}^r \mathrm{div}_\Sigma v(\cdot, \xi) \, d\xi = 0 & \text{in } N, \\ \partial_r v = 0,\; w = 0 & \text{on } \Sigma_u = \Sigma \times \{0\}, \\ v = 0 & \text{on } \Sigma_b = \Sigma \times \{-h\}, \\ v(0) = v_0 & \text{in } N. \end{cases} \tag{1.1}

其中 $g_N = g \oplus g_{\mathbb{R}}$ 为乘积度量， $\Delta_N = \Delta_\Sigma + \partial_r^2$ 是 $$(N, g_N)$$ 上的联络拉普拉斯算子， $\mathrm{Ric}$ 是其里奇曲率张量，且满足 $\mathrm{Ric}(\cdot, r) = \mathrm{Ric}_\Sigma(\cdot) = \kappa g$ （ $\kappa$ 为 $\Sigma$ 的高斯曲率）。关键约束 $\mathrm{div}_\Sigma v = 0$ 并非独立假设，而是由垂直速度定义式与上边界条件 $w(\cdot, 0) = 0$ 自洽导出。该系统由三维不可压 Navier–Stokes 方程在薄管邻域 $S = \{ p + r \nu_\Sigma(p) : p \in \Sigma,\; -h < r < 0 \}$ 中经坐标变换、小厚度参数 $$h$$ 渐近展开及静力近似（hydrostatic approximation）严格推导而来（见附录 B），其物理基础在于大尺度地转流中垂向加速度可忽略，从而压力梯度与重力近似平衡。与经典欧氏原始方程相比，曲率效应通过 $\mathrm{Ric}$ 项显式进入动量方程，破坏了平移不变性，并导致 $\nabla_v v$ 和 $\Delta_N$ 具有非平凡的几何耦合结构；同时，边界条件 $\partial_r v = 0$ 在 $\Sigma_u$ 上对应刚盖（rigid lid）假设，而 $$v = 0$$ 在 $\Sigma_b$ 上对应无滑移底界，二者共同构成非齐次 Robin 型混合边界。该问题的重要性在于：一方面，它是数值天气预报与气候模型的实际几何基础（地球非平面性不可忽略）；另一方面，在分析层面，它融合了各向异性耗散、强非线性输运与黎曼几何算子三重挑战，远超欧氏情形的谱结构与对称性。已有理论中，Lions–Temam–Wang 建立了 $$L^2$$ 初值的全局弱解存在性，但唯一性仍开放；Cao–Titi 在欧氏矩形区域上以 $$H^1_2$$ 初值得到全局强解，依赖于 $L^\infty_t H^1_2 \cap L^2_t H^2_2$ 先验估计；Kukavica–Ziane 等推广至混合边界；Korn 最近在 $S^2 \times [-h,0]$ 上用离散外微分方法得到 $$H^1_2$$ 初值的强解，但未达光滑性且局限于球面。本文试图填补的关键空白是：在任意光滑闭超曲面 $\Sigma \subset \mathbb{R}^3$ 上建立无需初值小性假设的全局光滑解存在唯一性，并系统发展适用于弯曲几何的静力 Helmholtz 投影与静力 Stokes 算子理论，从而将欧氏框架下成熟的 $$L_q$$ -正则性方法推广至曲面情形。

2. 主要定理或主要结果

定理 1.1（全局光滑解存在性）：设 $p, q \in (1, \infty)$ 满足 $\frac{1}{p} + \frac{1}{q} \leq 1$ ，则对任意初值 $v_0 \in B^{2/q}_{q,p,\sigma}(N; T\Sigma)$ 且 $v_0|_{\Sigma_b} = 0$ ，原始方程 (1.1) 存在唯一全局强解

v \in C^\infty\big((0, \infty) \times N;\, T\Sigma\big), \quad \mathrm{grad}_\Sigma \pi_s \in C^\infty\big((0, \infty) \times \Sigma;\, T\Sigma\big).

此处 $B^{2/q}_{q,p,\sigma}(N; T\Sigma) := \mathcal{P}_h\big(B^{2/q}_{q,p}(N; T\Sigma)\big)$ 为静力螺线场空间，由静力 Helmholtz 投影 $\mathcal{P}_h$ 定义（见 (2.2) 式）。推论 1.2 给出特例：当 $$p = q = 2$$ 时， $B^{1}_{2,2,\sigma} = H^1_{2,\sigma}$ ，故对任意 $v_0 \in H^1_{2,\sigma}(N; T\Sigma)$ 且 $v_0|_{\Sigma_b} = 0$ ，解亦全局光滑。关键技术细节包括：(i) 解空间正则性为 $C^\infty$ 联合时空，即对任意 $k, \ell \geq 0$ ， $\partial_t^\ell \nabla_N^k v \in C\big((0,\infty) \times N\big)$ ；(ii) 初值容许低正则性，因 $$q$$ 可任意大， $B^{2/q}_{q,p,\sigma}$ 连续嵌入 $$L^r$$ 对任意 $r < \infty$ ；(iii) 全局性证明不依赖任何小初值假设，核心在于定理 5.4 所述先验估计：存在常数 $$C > 0$$ 使得对任意 $$T > 0$$ ，解满足

\|v\|_{L^p((0,T); W^{2,q}(N))} + \|\partial_t v\|_{L^p((0,T); L^q(N))} \leq C \Big( \|v_0\|_{B^{2/q}_{q,p,\sigma}} + \|v\|_{L^\infty((0,T); L^q(N))}^2 \Big),

结合 $L^\infty_t L^q_x$ 控制（由能量型估计与 Gronwall 不等式获得）实现闭环。此外，命题 4.5 与定理 3.3 共同保证：静力 Stokes 算子 $A = -\mathcal{P}_h(\Delta_N + \mathrm{Ric})$ 在 $L^q_\sigma(N; T\Sigma)$ 上具有有界 $H^\infty$ -演算， $H^\infty$ -角小于 $\pi/2$ ，这是应用最大 $$L_q$$ -正则性理论的前提。

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

本文的核心障碍在于：曲率破坏平移不变性，导致标准傅里叶分析与谱分解失效；静力投影 $\mathcal{P}_h$ 是非局部算子，与 $\Delta_N$ 不交换，使 Stokes 算子 $A = -\mathcal{P}_h(\Delta_N + \mathrm{Ric})$ 失去椭圆性标准结构；混合边界条件 $\partial_r v|_{\Sigma_u} = 0$ 与 $v|_{\Sigma_b} = 0$ 在曲面上无法分离变量，阻碍直接构造 Green 函数。作者的真正创新点是构建一套适配弯曲几何的静力算子理论，并通过精巧的算子分解绕过非交换性难题。具体而言：(1) 静力 Helmholtz 投影 $\mathcal{P}_h$ 的几何化定义（公式 (2.2)）： $\mathcal{P}_h v = P_H v + \tilde{v}$ ，其中 $$P_H$$ 是 $\Sigma$ 上的经典 Helmholtz 投影（解决切向散度自由约束）， $\tilde{v} = v - \bar{v}$ 提取垂向零均值部分，此构造确保 $\mathcal{P}_h$ 保持 $\mathrm{div}_\Sigma$ -自由性且消去压力梯度（命题 2.2(e)）；(2) 静力 Stokes 算子 $$A$$ 的 $H^\infty$ -演算证明（定理 3.3）：引入辅助算子 $\mathcal{A} = -(\Delta_N - \mathrm{Ric} - B_H)$ （公式 (3.2)），其中 $B_H v = \frac{1}{h}(P_H - I)(\partial_r v|_{\Sigma_b})$ 是为补偿边界不匹配而设计的低阶修正项，关键引理 3.2 证明 $\mathcal{P}_h \mathcal{A} = \mathcal{A} \mathcal{P}_h$ ，从而将 $$A$$ 表示为 $\mathcal{P}_h \mathcal{A}$ ；进而将 $\mathcal{A}$ 分解为 $\mathcal{A}_0 + \mathcal{A}_1 + Q$ ，其中 $\mathcal{A}_0 = -\Delta_\Sigma$ （ $\Sigma$ 上联络拉普拉斯）与 $\mathcal{A}_1 = -\partial_r^2$ （一维 Neumann-Dirichlet 拉普拉斯）分别被证具有 R-有界 $H^\infty$ -演算（引用 [40] 与原创的边值问题 (3.3) 分析），再通过扰动理论得出 $\mathcal{A}$ 的 $H^\infty$ -性质，最终由投影不变性传递至 $$A$$ ；(3) 全局先验估计的技术枢纽（定理 5.3）：利用 $$A$$ 的 $H^\infty$ -演算导出最大 $$L_q$$ -正则性，结合静力投影的正交性 $\|v\|_{L^q} = \|\mathcal{P}_h v\|_{L^q} + \|(I - \mathcal{P}_h)v\|_{L^q}$ ，将非线性项 $\nabla_v v$ 控制为 $\|v\|_{L^\infty_t L^q_x} \|\nabla v\|_{L^p_t L^q_x}$ ，再通过插值不等式 $\|v\|_{L^\infty_t L^q_x} \leq C \|v\|_{L^p_t W^{2,q}_x}^{\theta} \|v\|_{L^\infty_t L^q_x}^{1-\theta}$ （ $\theta = 1/p$ ）实现 $L^p_t W^{2,q}_x$ 范数的自控；(4) 光滑化机制（命题 4.5）：基于 $$A$$ 的解析半群生成性，证明解在 $$t > 0$$ 后立即属于 $\bigcap_{k,\ell \geq 0} W^{\ell,p}_t W^{k,q}_x$ ，再结合 Sobolev 嵌入与 Schauder 理论提升至 $C^\infty$ 。

4. 与之前工作的比较

本文相较既有工作实现了多维度实质性推进：(1) 几何适用性：此前所有全局强解结果（Cao–Titi, Kukavica–Ziane, Korn）均局限于欧氏区域或球面 $$S^2$$ ，而本文结论对任意光滑闭超曲面 $\Sigma \subset \mathbb{R}^3$ 成立，包括椭球面、环面等非对称形状，代价是需假设 $\Sigma$ 为 $$C^3$$ 光滑（推导要求）；(2) 初值正则性：Cao–Titi 要求 $v_0 \in H^1_2$ ，Korn 同样；本文定理 1.1 允许 $v_0 \in B^{2/q}_{q,p,\sigma}$ ，当 $q \to \infty$ 时趋近 $L^\infty$ ，显著低于 $$H^1_2$$ ；(3) 解的正则性：Lions–Temam–Wang 的弱解仅属 $L^\infty_t L^2_x \cap L^2_t H^1_2$ ，Cao–Titi 的强解属 $L^\infty_t H^1_2 \cap L^2_t H^2_2$ ，而本文解为 $C^\infty$ 联合时空，这是首次在弯曲几何上达到此精度；(4) 方法论：Cao–Titi 依赖能量估计与 $$L^2$$ 理论，Korn 使用离散外微分与紧性方法，均难以推广至一般曲面；本文采用最大 $$L_q$$ -正则性框架，其核心是静力 Stokes 算子 $$A$$ 的 $H^\infty$ -演算（定理 3.3），该性质在欧氏情形已知，但在弯曲几何下首次建立，且明确处理了里奇曲率项与混合边界的耦合；(5) 技术代价：为获得 $H^\infty$ -演算，本文需 $\Sigma$ 为闭超曲面（无边界）且 $$N$$ 为直积流形，尚未处理地形起伏（uneven bottom）情形（Drutsa [9] 所考虑）；此外，先验估计依赖 $\|v\|_{L^\infty_t L^q_x}$ 控制，而 $$q$$ 需满足 $1/p + 1/q \leq 1$ ，限制了参数范围；(6) 与表面 Navier–Stokes 的联系：文中 Remark 1.3 指出，当 $h \to 0$ 时系统退化为曲面 NS 方程，但本文未证明解的收敛性，亦未讨论长时间行为继承性，此为未来方向。综上，本文将原始方程理论从‘特定几何’推进至‘一般弯曲几何’，从‘强解’提升至‘光滑解’，从‘高正则初值’放宽至‘临界空间初值’，其方法论为后续研究（如带地形、随机扰动或旋转效应的曲面原始方程）提供了可扩展的分析范式。

5. 关于卷积加权矩阵与具有可控正则性损失的局部可解性

On convolved weight matrices and local solvability with controlled loss of regularity

作者: Gerhard Schindl

类别: math.FA, math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28112v1

摘要翻译: 我们引入抽象给定的各向异性加权矩阵之间的卷积，并研究这一新构造的性质。进一步，我们将所得知识应用于一个特殊但有趣的情形：此时（各向同性）矩阵在 Braun-Meise-Taylor 意义下与权函数相关联，并阐明关联加权矩阵的卷积如何修改底层权函数。最后，我们在研究某类双曲型偏微分方程的局部可解性概念时，给出了该卷积的一个具体应用。事实上，该卷积使得以自然方式处理混合情形成为可能；即，正则性的可控损失由两个一般不同的权序列来刻画。

Comment: 27 pages

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

1. 研究对象和背景

本文研究的核心对象是加权超可微函数类（ultradifferentiable classes）中由权矩阵（weight matrices）所定义的函数空间，及其在偏微分方程局部可解性分析中的应用。具体而言，研究对象为满足Braun–Meise–Taylor（BMT）框架的权函数 $\omega : [0, +\infty) \to [0, +\infty)$ 及其关联的各向同性权矩阵 $M_\omega := \{ W^{(\ell)} = (W^{(\ell)}_p)_{p \in \mathbb{N}} : \ell > 0 \}$ ，其中

W^{(\ell)}_p := \exp\left( \frac{1}{\ell} \varphi_\omega^*(\ell p) \right),

且 $\varphi_\omega(x) := \omega(e^x)$ 是 $\omega$ 的指数化凸共轭， $\varphi_\omega^*$ 是其Legendre–Fenchel共轭。该矩阵满足标准对数凸性（standard log-convexity），即对每个 $\ell > 0$ ，序列 $W^{(\ell)}$ 属于

LC := \left\{ M = (M_p)_{p \in \mathbb{N}} : M_0 = 1 \leq M_1,\; \log M_p \text{ 是凸的},\; \lim_{p \to +\infty} (M_p)^{1/p} = +\infty \right\}.

相应地，对任意多指标 $\alpha \in \mathbb{N}^d$ ，各向异性权序列 $M = (M_\alpha)_{\alpha \in \mathbb{N}^d}$ 的关联权函数定义为

\omega_M(t) := \sup_{\alpha \in \mathbb{N}^d} \log \frac{M_0 |t^\alpha|}{M_\alpha}, \quad t \in \mathbb{R}^d,

其中 $t^\alpha = \prod_{j=1}^d t_j^{\alpha_j}$ ，并约定 $$0^0 = 1$$ 。该定义确保 $\omega_M$ 是有限值函数当且仅当 $\lim_{|\alpha| \to +\infty} (M_\alpha)^{1/|\alpha|} = +\infty$ ，即 $$M$$ 是Definition 2.1意义下的权序列。

本文所考察的PDE模型为一类具双曲型结构的线性偏微分算子 $$P(D)$$ ，其局部可解性（local solvability）在超可微类别中被重新刻画：给定两个（一般不等价的）权序列 $$M$$ 和 $$N$$ ，要求对任意 $f \in \mathcal{E}^{\{M\}}(U)$ （Roumieu型超可微函数），存在 $u \in \mathcal{E}^{\{N\}}(V)$ （可能定义在更小邻域 $V \Subset U$ 上）使得 $$P(D)u = f$$ ；且进一步要求该解 $$u$$ 的正则性损失是“可控的”，即由 $$M$$ 到 $$N$$ 的退化程度可用权矩阵的卷积结构精确量化。该问题源于经典Gevrey类中对双曲算子 $\partial_t - a(t,x,D_x)$ 的局部可解性研究（如文献[15]），但传统方法受限于单一权序列（如 $$M = (p!^s)$$ ）的刚性结构，无法自然处理“输入正则性由 $$M$$ 控制、输出正则性由另一序列 $$N$$ 控制”的混合情形——而这恰是现代非线性PDE、拟微分演算及渐近分析中反复出现的结构性需求（例如：非线性项生成的正则性耗散、参数依赖解的尺度分离、奇异摄动中的多尺度正则性传递）。

已有理论中，BMT权函数框架通过 $\omega$ 的增长阶（如 $(\omega_1)$ 、 $(\omega_6)$ 、 $(\omega_{\mathrm{nq}})$ ）完整刻画了超可微空间的嵌入关系： $\mathcal{E}^{\{\sigma\}} \subseteq \mathcal{E}^{\{\tau\}}$ 当且仅当 $\sigma \preceq \tau$ ；而权矩阵框架则通过 $M\{\preceq\}N$ 关系刻画 $\mathcal{E}^{\{M\}} \subseteq \mathcal{E}^{\{N\}}$ 。然而，现有文献缺乏一种自然的代数运算，能将两个不同权结构“合成”为一个新权结构，以同时编码输入与输出的正则性约束。例如，在估计 $P(D)^{-1}f$ 时，若 $$f$$ 具有 $$M$$ -型衰减，而 $P(D)^{-1}$ 的拟微分符号具有 $$N$$ -型符号估计，则解 $$u$$ 的正则性理应由某种“ $$M$$ 与 $$N$$ 的组合”决定——这正是卷积 $M \star N$ 所要建模的本质。此前，卷积仅在权序列层面被零星引入（如[12, (3.15)]、[24, Sect. 4]），但其在权矩阵与权函数层面的系统性质、特别是其对关联权函数的诱导作用，尚未被阐明；更关键的是，其在PDE可解性中的具体实现机制（尤其是如何将“可控损失”转化为可验证的权矩阵条件）完全空白。因此，本文旨在填补这一根本性缺口：建立权矩阵卷积的抽象理论，揭示其在BMT权函数下的解析对应（即 $\omega_{M \star N} = \omega_M + \omega_N$ ），并首次将其作为核心工具，将局部可解性从单权序列推广至双权混合设定，从而为超可微PDE理论提供新的结构性语言。

2. 主要定理或主要结果

本文的主要结果分为三部分，严格按逻辑递进组织：

（I）权矩阵卷积的抽象构造与权函数对应：对任意两个（各向异性）权矩阵 $M = \{ M^{(\iota)} = (M^{(\iota)}_\alpha)_{\alpha \in \mathbb{N}^d} : \iota > 0 \}$ 与 $N = \{ N^{(\kappa)} = (N^{(\kappa)}_\alpha)_{\alpha \in \mathbb{N}^d} : \kappa > 0 \}$ ，定义其卷积 $M \star N$ 为新权矩阵

(M \star N)^{(\iota, \kappa)} := \{ (M^{(\iota)} \star N^{(\kappa)})_\beta \}_{\beta \in \mathbb{N}^d}, \quad \text{其中} \quad (M^{(\iota)} \star N^{(\kappa)})_\beta := \min_{0 \leq \alpha \leq \beta} M^{(\iota)}_\alpha N^{(\kappa)}_{\beta - \alpha}.

定理3.6证明：若 $$M$$ 和 $$N$$ 均为BMT型权矩阵，即 $M = M_\sigma$ , $N = M_\tau$ 对某 $\sigma, \tau \in \mathcal{W}_0$ ，则其卷积 $M_\sigma \star M_\tau$ 仍为BMT权矩阵，且其关联权函数满足

\omega_{M_\sigma \star M_\tau}(t) = \omega_{M_\sigma}(t) + \omega_{M_\tau}(t), \quad \forall t \in \mathbb{R}^d.

推论3.7与3.8进一步指出：此等式蕴含 $M_\sigma \star M_\tau$ 等价于 $M_{\sigma + \tau}$ （在R-等价意义下），且若 $\sigma, \tau$ 满足 $(\omega_6)$ ，则 $M_\sigma \star M_\tau$ 亦满足 $(\omega_6)$ ，从而仍是常数权矩阵。

（II）局部可解性的双权混合定理：设 $P(D) = \partial_t - a(t, x, D_x)$ 为一阶双曲算子，其中系数 $$a$$ 属于某加权空间。定理4.5确立：若权矩阵 $$M$$ 和 $$N$$ 满足卷积控制条件 $M \{\preceq\} (N \star N)$ ，即

\forall \iota > 0 \; \exists \kappa > 0 : \; M^{(\iota)} \preceq (N^{(\kappa)} \star N^{(\kappa)}),

则 $$P(D)$$ 在 $\mathcal{E}^{\{M\}}$ 中局部可解于 $\mathcal{E}^{\{N\}}$ ，即对任意 $f \in \mathcal{E}^{\{M\}}(U)$ ，存在 $V \Subset U$ 及 $u \in \mathcal{E}^{\{N\}}(V)$ 使得 $$P(D)u = f$$ 。该结论的误差/损失尺度由卷积的“相对增长”精确给出：由引理3.2的推论， $M^{(\iota)} \preceq (N^{(\kappa)} \star N^{(\kappa)})$ 等价于 $\omega_{M^{(\iota)}}(t) \leq 2\omega_{N^{(\kappa)}}(t) + C$ ，故正则性损失的增长率被控制在因子2以内。定理4.7–4.9则分别给出Beurling型（ $\mathcal{E}^{(M)}$ ）、混合型（Roumieu输入/Beurling输出）及非准解析情形（ $(\omega_{\mathrm{nq}})$ ）的对应版本，其假设分别为 $M(\preceq)(N \star N)$ 、 $M\{\preceq\}(N \star N)$ 与 $M\{\preceq\}(N \star N)$ 加上 $\sigma, \tau$ 的非准解析性。

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

本文证明的核心障碍在于：如何将离散的权序列卷积 $M \star N$ 的组合效应，无缝提升至连续参数化的权矩阵 $M_\omega$ 层面，并最终锚定到PDE可解性的函数空间嵌入上。作者的真正创新点并非发明新不等式，而是构建了一套“三层对应”的精密分析框架，每一层均需克服特定技术难点。

第一层：各向异性权序列卷积与权函数的等式对应（Lemma 3.2）。传统方法（如[12]）仅对对数凸序列 $$M, N$$ 通过计数函数 $\Sigma_M$ 推出 $\omega_{M \star N} = \omega_M + \omega_N$ ，但该路径严重依赖 $\Sigma_M$ 的定义，而后者在各向异性情形 $\mathbb{N}^d$ 下无自然推广。作者摒弃此路径，转而采用直接的上确界操控：利用定义 $\omega_{M \star N}(t) = \sup_{\gamma} \log \frac{(M \star N)_0 |t^\gamma|}{(M \star N)_\gamma}$ 与 $\omega_M(t) + \omega_N(t) = \sup_{\alpha} \log \frac{M_0 |t^\alpha|}{M_\alpha} + \sup_{\beta} \log \frac{N_0 |t^\beta|}{N_\beta}$ ，通过双变量重排 $\gamma = \alpha + \beta$ 与极小值定义 $(M \star N)_\gamma = \min_{\delta \leq \gamma} M_\delta N_{\gamma - \delta}$ ，严格证明双向不等式。此技巧的关键在于避免对 $\Sigma_M$ 的依赖，使等式 $\omega_{M \star N} = \omega_M + \omega_N$ 成立无需对数凸性假设，极大拓宽了适用范围。

第二层：权矩阵卷积的“参数协调”（Theorem 3.6）。此处障碍是： $M_\sigma = \{ W^{(\ell)}_p \}$ 与 $M_\tau = \{ V^{(\kappa)}_p \}$ 的卷积 $W^{(\ell)} \star V^{(\kappa)}$ 本身是一个序列，但需证明它“属于”某个 $M_{\rho}$ 类。作者的创新在于利用BMT共轭的凸性：由 $W^{(\ell)}_p = \exp(\frac{1}{\ell} \varphi_\sigma^*(\ell p))$ 与 $V^{(\kappa)}_p = \exp(\frac{1}{\kappa} \varphi_\tau^*(\kappa p))$ ，计算 $\log (W^{(\ell)} \star V^{(\kappa)})_p$ 的渐近行为，发现其由 $\inf_{0 \leq q \leq p} \left[ \frac{1}{\ell} \varphi_\sigma^*(\ell q) + \frac{1}{\kappa} \varphi_\tau^*(\kappa (p-q)) \right]$ 主导；再运用凸共轭的性质 $\varphi_{\sigma + \tau}^* = \varphi_\sigma^* \Box \varphi_\tau^*$ （infimal convolution），最终确认 $W^{(\ell)} \star V^{(\kappa)}$ 的增长阶与 $\exp(\frac{1}{\mu} \varphi_{\sigma + \tau}^*(\mu p))$ 一致，从而 $M_\sigma \star M_\tau \{\approx\} M_{\sigma + \tau}$ 。

第三层：PDE可解性的双权嵌入转化（Theorem 4.5）。此处最大障碍是将抽象的权矩阵卷积条件 $M\{\preceq\}(N \star N)$ 转译为可操作的函数空间包含 $\mathcal{E}^{\{M\}} \subseteq \mathcal{E}^{\{N\}}$ 的充分条件。作者的突破性工具是“卷积型拟微分算子范数估计”：对符号 $a(t,x,\xi)$ 满足 $|\partial_\xi^\alpha a| \leq C^{1+|\alpha|} N_\alpha \langle \xi \rangle^{m - |\alpha|}$ ，其对应的算子 $$A$$ 作用于 $\mathcal{E}^{\{N\}}$ 函数时，其像的 $$M$$ -型半范数被 $N \star N$ 控制。证明中关键引理（未显式编号，但隐含于Section 4）建立了如下估计：若 $u \in \mathcal{E}^{\{N\}}$ ，则 $\| \partial^\beta (A u) \|_{L^\infty(K)} \leq C^{1+|\beta|} (N \star N)_\beta$ ，其核心是Leibniz公式与卷积定义的精细配对。此引理将PDE的微分算子结构与权矩阵的代数结构直接耦合，是全文最实质的技术枢纽。

4. 与之前工作的比较

本文与既有工作的推进体现在三个根本维度，且均明确超越了前人限制：

（1）与经典Gevrey理论（如[15]）的比较：文献[15]仅处理Gevrey序列 $$M = (p!^s)$$ ，其局部可解性结论要求 $s \geq 1$ 且损失固定为 $$s' = s$$ （即 $$M = N$$ ）。本文将此推广至任意BMT权矩阵对 $$(M,N)$$ ，其核心进步在于将“损失”从固定常数 $$s$$ 升级为可变的权矩阵关系 $M\{\preceq\}(N \star N)$ 。例如，取 $\sigma(t) = t^{1/s}$ , $\tau(t) = t^{1/r}$ ，则 $\sigma + \tau \sim t^{1/\min\{s,r\}}$ ，故 $M_\sigma \{\preceq\} (M_\tau \star M_\tau)$ 等价于 $1/s \leq 2/r$ ，即 $r \leq 2s$ 。这表明：当输入正则性为 $$s$$ -Gevrey时，输出可低至 $$(2s)$$ -Gevrey，且该界限由卷积的因子2精确给出——这是[15]完全无法企及的定量灵活性。代价是：证明必须放弃Fourier变换的显式计算，转而依赖抽象权矩阵的共轭分析，技术复杂度显著提高。

（2）与权序列卷积研究（如[12,24]）的比较：[12]仅定义 $M \star N$ 并研究其序列性质（如对数凸性保持），但未触及权函数或权矩阵层面；[24]在整函数空间中使用卷积，但其设定是Beurling型且无PDE应用。本文首次将卷积系统化为权矩阵的二元运算，并建立 $\omega_{M \star N} = \omega_M + \omega_N$ 这一“加法定理”，从而将离散组合提升至连续分析层次。此推进的关键在于摆脱了对计数函数 $\Sigma_M$ 的依赖（如Remark 3.1所强调），使结论适用于所有权序列（无需对数凸性），适用范围远超[12]。

（3）与权矩阵理论（如[16,27]）的比较：[16]建立了权矩阵与超可微空间的完备对应，但其基本运算限于序关系 $\{\preceq\}$ 、 $(\preceq)$ 及等价 $\{\approx\}$ ，缺乏生成新权矩阵的代数工具。本文引入的卷积 $\star$ 是首个被证明能保持BMT结构（即仍生成 $M_\omega$ 形式）的非平凡二元运算。特别地，定理3.6证明 $M_\sigma \star M_\tau \{\approx\} M_{\sigma + \tau}$ ，而[16]中并无任何运算能实现权函数的加法。这一新运算直接催生了双权可解性（Theorem 4.5），而[16]的框架仅能处理单权嵌入（如 $\mathcal{E}^{\{M\}} \subseteq \mathcal{E}^{\{N\}}$ ）。局限在于：本文的卷积目前仅适用于各向同性BMT矩阵，对一般各向异性权矩阵的卷积性质（如 $M\{\preceq\}(N \star P)$ 的含义）尚未展开，且其在椭圆或抛物PDE中的适用性从提供内容中无法确认。

6. 关于无旋双旋转 Euler 流的涡量增长上界

On the upper bound for the vorticity growth of bi-rotational Euler flows without swirl

作者: Khakim Egamberganov, Deokwoo Lim

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.27560v1

摘要翻译: 对于 $d\geq 4$ ，我们考虑 $\mathbb{R}^{d}$ 中具有双旋转对称性且无旋的不可压 Euler 流。我们的第一个结果给出了 Yudovich 型解的局部适定性。第二个结果给出了直至 $d\leq 6$ 的整体适定性。特别地，该结果表明涡量最大值的增长率与无旋轴对称流的增长率一致，而后者由第二作者与 Jeong（Arch. Ration. Mech. Anal. 249(3):32, 2025）以及 Shao–Wei–Zhang（Acta Math. Sin. (Engl. Ser.), 42(3):663-679, 2026）所得到。

Comment: 22 pages, 1 figure

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

1. 研究对象和背景

本文研究 $d \geq 4$ 维欧几里得空间 $\mathbb{R}^d$ 中不可压欧拉方程

\begin{cases} \partial_t v + v \cdot \nabla v + \nabla p = 0, \\ \nabla \cdot v = 0 \end{cases} \tag{1.1}

在**双旋转对称且无旋（no swirl）**条件下的解的长期行为。设 $$d = n + m + 2$$ ，其中 $n, m \geq 1$ ，引入双极坐标：

r^2 = \sum_{i=1}^{n+1} x_i^2, \quad s^2 = \sum_{i=n+2}^{n+m+2} x_i^2,

则解 $$v$$ 具有形式

v(t,x) = u_r(t,r,s) e_r + u_s(t,r,s) e_s, \quad x \in \mathbb{R}^d, \tag{1.2}

即速度场仅含径向分量、无切向分量（swirl）。在此设定下，涡量 $\omega_{i,j} = \partial_j v_i - \partial_i v_j$ 退化为一个标量函数 $$w(r,s)$$ ，满足

\omega_{i,j}(x) = -\frac{x_i x_j}{r s} w(r,s), \quad \text{for } 1 \le i \le n+1,\; n+2 \le j \le n+m+2,

且 $$w$$ 满足输运型演化方程

\partial_t w + (u_r \partial_r + u_s \partial_s) w = \left( \frac{n u_r}{r} + \frac{m u_s}{s} \right) w. \tag{1.3}

等价地，相对涡量 $$w/(r^n s^m)$$ 沿粒子轨迹守恒：

\frac{w(t, \Phi^r_t(r,s), \Phi^s_t(r,s))}{[\Phi^r_t(r,s)]^n [\Phi^s_t(r,s)]^m} = \frac{w_0(r,s)}{r^n s^m},

其中 $\Phi_t = (\Phi^r_t, \Phi^s_t)$ 是由 $$(u_r,u_s)$$ 生成的流映射。速度与标量流函数 $\psi$ 的关系为

u_r = -\frac{m}{s} \psi - \partial_s \psi, \quad u_s = \frac{n}{r} \psi + \partial_r \psi, \tag{1.6}

而 $\psi$ 通过广义拉普拉斯反演与 $$w$$ 耦合：

\left( \partial_r^2 + \frac{n}{r} \partial_r - \frac{n}{r^2} + \partial_s^2 + \frac{m}{s} \partial_s - \frac{m}{s^2} \right) \psi = w, \quad \psi|_{\partial \Pi} = 0, \quad \Pi = \{(r,s) \in \mathbb{R}^2 : r,s \ge 0\}. \tag{1.5}

该模型本质上是深度函数为 $$d(r,s) = r^n s^m$$ 的“湖方程”（lake equation）特例，亦可视为高维轴对称流的自然推广：当 $$n=1,m=0$$ （或反之）时退化为经典 $$d$$ 维轴对称无旋流，其涡量 $\omega_\theta(r,z)$ 满足 $\partial_t (\omega_\theta / r) + (u_r \partial_r + u_z \partial_z)(\omega_\theta / r) = 0$ ；而双旋转情形中，守恒量为 $$w/(r^n s^m)$$ ，几何结构更复杂，Biot–Savart 核具有双重奇异性（ $$r=0$$ 和 $$s=0$$ 轴），且在 $\mathbb{R}^d$ 中非各向同性。核心问题在于：在初始涡量 $$w_0$$ 仅具 Yudovich 型正则性（如 $L^{d,1} \cap L^\infty$ ）时，解是否全局存在？若否，涡量最大值 $\|w(t)\|_{L^\infty}$ 的最优增长速率为何？已知在三维轴对称无旋情形中，Childress 等人构造反平行涡环模型，导出 $\|\omega_\theta(t)\|_{L^\infty} \lesssim t^{4/3}$ （Jeong–Lim, ARMA 2025）及 $t^{1/2-}$ 下界（Egamberganov–Yao, arXiv 2026）；而在四维，Miller（2026）证得 $w_0/r^2 \in L^{2,1}$ 时全局存在；Choi–Jeong–Lim（2024）对 $$d=4,n=m=1$$ 证明指数上界 $\|w(t)\|_{L^\infty} \lesssim e^{Ct}$ 。本文旨在将此分析系统性地推进至 $d \le 6$ ，并精确刻画 $\|w(t)\|_{L^\infty}$ 的临界增长阶——这直接关联到高维欧拉方程是否存在有限时间奇点的根本问题：若 $d \ge 7$ 时增长率超多项式，则可能预示奇点形成；而 $d \le 6$ 时多项式/指数增长则支持全局正则性。因此，本文试图填补的关键空白是：在双旋转对称框架下，建立首个适用于 $$d=4,5,6$$ 的统一全局存在性理论，并将涡量增长上界精确匹配至轴对称情形的已知最优阶，从而确认该对称性并未引入额外的奇异性放大机制。

2. 主要定理或主要结果

本文证明两个主定理。定理 1.1（局部适定性）：设初始涡量 $w_0 \in (L^{d,1} \cap L^\infty)(\mathbb{R}^d)$ 满足

\left(1 + r^{n-1} s^m + r^n s^{m-1}\right) \frac{w_0}{r^n s^m} \in L^{d,1}(\mathbb{R}^d),

则存在 $$T > 0$$ 及唯一解 $w \in L^\infty(0,T; (L^{d,1} \cap L^\infty)(\mathbb{R}^d))$ 满足

\left(1 + r^{n-1} s^m + r^n s^{m-1}\right) \frac{w(t)}{r^n s^m} \in L^\infty(0,T; L^{d,1}(\mathbb{R}^d)).

定理 1.2（ $d \le 6$ 时的全局适定性与涡量增长上界）：若 $$w_0$$ 还满足 $v_0 \in L^2(\mathbb{R}^d)$ 及

(1 + r^n + s^m) \frac{w_0}{r^n s^m} \in L^\infty(\mathbb{R}^d), \quad (1 + r^{n+m} + s^{n+m}) \frac{w_0}{r^n s^m} \in L^1(\mathbb{R}^d), \tag{1.8}

则存在唯一全局解 $w \in L^\infty_{\mathrm{loc}}(0,\infty; (L^{d,1} \cap L^\infty)(\mathbb{R}^d))$ ，且对任意 $t \ge 0$ ，

\|w(t)\|_{L^\infty(\mathbb{R}^d)} \le \begin{cases} C_1 (1 + t)^{4(d-2)/(6-d)}, & d = 4,5, \\ C_2 e^{C_3 t}, & d = 6, \end{cases} \tag{1.9}

其中常数 $$C_1 = C_1(n,m,w_0) > 0$$ , $$C_2 = C_2(n,m,w_0) > 0$$ , $$C_3 = C_3(n,m,w_0) > 0$$ 。特别地，当 $$d=4$$ 时上界为 $$(1+t)^4$$ ， $$d=5$$ 时为 $(1+t)^{12}$ ， $$d=6$$ 时为指数型。该增长率与 Jeong–Lim (ARMA 2025) 及 Shao–Wei–Zhang (Acta Math. Sin. 2026) 对轴对称无旋流所得上界完全一致，表明双旋转对称性未改变临界增长尺度。

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

证明的核心障碍在于双旋转 Biot–Savart 核的双重奇异性与非各向同性：核函数 $F^r_{n,m}, F^s_{n,m}$ （Prop. 2.1）含 $$r^n s^m$$ 权重及复杂积分结构，无法直接套用轴对称情形的简化技巧。作者的真正创新点有三：

第一，发展了一种新型 Feng–Šverák 型速度最大值估计。利用核的尺度不变性，将 $\|u\|_{L^\infty}$ 控制在单位圆弧 $$r^2 + s^2 = 1$$ 上（Ineq. (4.9)）：

\|u\|_{L^\infty(\mathbb{R}^d)} \lesssim \left( \left\| \frac{r^m w}{s} \right\|_{L^1} + \left\| \frac{s^n w}{r} \right\|_{L^1} \right)^{1/2} \left\| \frac{w}{r^n s^m} \right\|_{L^\infty}^{1/2}.

该估计的关键在于将原始核分解为两个单变量函数的组合（第5页末：“express the kernel by using a single variable function twice”），从而获得足够衰减以支撑上述 $$L^1$$ – $L^\infty$ 混合控制，显著简化了 Choi–Jeong–Lim (2024) 中繁琐的核分析。

第二，引入并精细估计两类径向矩（radial moments）： $M_1(t) = \| r^m w / s \|_{L^1}$ 与 $M_2(t) = \| s^n w / r \|_{L^1}$ 。Lemma 4.6 给出其时间导数的非线性微分不等式：

\frac{d}{dt} M_1(t) \lesssim \left\| \frac{w_0}{r^n s^m} \right\|_{L^\infty}^{1/(d-2)} \|v_0\|_{L^2}^{2/(d-2)} \|u_r(t)\|_{L^\infty}^{(d-4)/(d-2)} M_1(t)^{(d-3)/(d-2)},

\frac{d}{dt} M_2(t) \lesssim \left\| \frac{w_0}{r^n s^m} \right\|_{L^\infty}^{1/(d-2)} \|v_0\|_{L^2}^{2/(d-2)} \|u_s(t)\|_{L^\infty}^{(d-4)/(d-2)} M_2(t)^{(d-3)/(d-2)}.

结合前述速度估计，导出 $$M(t) = M_1(t) + M_2(t)$$ 满足

\frac{d}{dt} M(t) \lesssim_{n,m,w_0} M(t)^{(3d-10)/(2d-4)}.

求解此不等式得：当 $$d=4$$ 时 $M(t) \lesssim (1+t)^{4/3}$ ， $$d=5$$ 时 $M(t) \lesssim (1+t)^4$ ， $$d=6$$ 时 $M(t) \lesssim e^{Ct}$ 。

第三，将 $$M(t)$$ 的增长率代回速度估计，再代入由相对涡量守恒导出的涡量最大值控制式（Ineq. (1.11)）：

\|w(t)\|_{L^\infty} \le C(n,m,w_0) \left( 1 + \int_0^t \|u(\tau)\|_{L^\infty} d\tau \right)^{n+m}.

此式将涡量增长转化为速度时间积分的幂次，最终得到定理 1.2 中的精确指数。整个框架依赖于对双旋转几何下守恒律、Biot–Savart 核衰减、径向矩动力学三者的精密耦合，而非泛泛的能量或紧性方法。

4. 与之前工作的比较

本文与既有工作存在多维度实质性推进：

假设放宽性：相较于 Choi–Jeong–Lim (2024) 对 $$d=4,n=m=1$$ 所需的 $w_0 \in L^\infty$ 且 $w_0/(r s) \in L^1 \cap L^\infty$ ，本文定理 1.2 的初始条件 (1.8) 允许 $$w_0$$ 仅在加权 $$L^1$$ 和 $L^\infty$ 空间中满足，且明确分离了不同方向的衰减要求（ $$r^n$$ 与 $$s^m$$ 权重），更具几何适应性；而 Miller (2026) 对 $$d=4$$ 要求 $w_0/r^2 \in L^{2,1}$ ，本文条件更弱（因 $L^{d,1} \subset L^{2,1}$ 当 $$d>2$$ ，且附加权重更灵活）。

时间尺度与适用范围：本文首次将全局存在性结果从 $$d=4$$ 推广至 $$d=5,6$$ ，并给出统一增长率公式 (1.9)。此前， $$d=5$$ 无任何全局结果； $$d=6$$ 仅有局部适定性。增长率 $(1+t)^{4(d-2)/(6-d)}$ 在 $$d=4$$ 时为 $$t^4$$ ，严优于 Feng–Šverák (2015) 导出的 $$t^2$$ 上界及 Majda–Bertozzi 的指数上界；在 $$d=5$$ 时 $t^{12}$ 虽高于 $$d=4$$ 的 $$t^4$$ ，但仍是首个多项式上界（此前未知）； $$d=6$$ 的指数型与轴对称情形一致，确认了临界维数 $$d=6$$ 的特殊性。

代价与局限：推进的代价是初始条件中必须包含动能有限性 $v_0 \in L^2$ 及更强的加权可积性（(1.8) 中的 $$L^1$$ 条件），这比纯 Yudovich 类条件更严格；且证明高度依赖双旋转对称性，无法推广至一般解。此外，文中未处理 $d \ge 7$ 的情形，此时微分不等式 $dM/dt \lesssim M^{(3d-10)/(2d-4)}$ 的指数 $$(3d-10)/(2d-4) > 1$$ ，导致 $$M(t)$$ 可能有限时间爆破，暗示奇点可能性，但本文未给出构造或排除。

与轴对称文献的对应性：本文明确指出其增长率与 Jeong–Lim (ARMA 2025) 和 Shao–Wei–Zhang (2026) 对轴对称流的结果完全相同，证实双旋转对称性未改变涡量拉伸的主导机制——两者均源于相对涡量 $$w/(r^n s^m)$$ 或 $\omega_\theta/r$ 的守恒及粒子远离对称轴的运动。这一对应性并非平凡，因双旋转核的复杂性远超轴对称核，本文通过新估计技巧实现了等效控制，从而在更广对称类中验证了该物理图像的普适性。

7. 从非线性量子Fokker-Planck方程到不可压Navier-Stokes-Fourier极限

Incompressible Navier-Stokes-Fourier limit from a nonlinear quantum Fokker-Planck equation

作者: Young-Pil Choi, Byung-Hoon Hwang, Ju-Hwan Hyun

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.27583v1

摘要翻译: 我们从具有Bose-Einstein或Fermi-Dirac统计的非线性量子Fokker-Planck方程导出不可压Navier-Stokes-Fourier极限。该模型具有自洽的碰撞结构，其中局域密度作为碰撞频率，而整体速度与温度则由分布函数的非线性量子加权矩确定。我们在全局量子平衡态附近、在扩散标度下工作，并保持量子参数固定。关于Knudsen数的一致估计给出了强微观弛豫，并识别出极限下的无穷小量子平衡态。利用局域守恒律，我们证明了不可压条件、Boussinesq关系，以及无散度速度分量和一种量子适配热模的强紧性；而声学模则通过色散估计在局域消失。极限粘性应力张量与热流由求解线性化量子Fokker-Planck算子的辅助方程并展开局域量子平衡流形所确定。所得不可压Navier-Stokes-Fourier系统通过其归一化常数与输运系数保留了量子统计效应。

Comment: 29 pagess

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

1. 研究对象和背景

本文研究对象是定义在 $\mathbb{R}_+ \times \mathbb{R}^3_x \times \mathbb{R}^3_p$ 上的非线性量子福克-普朗克方程：

\partial_t f + p \cdot \nabla_x f = \rho_f \nabla_p \cdot \left\{ \Theta_f \nabla_p f + (p - u_f) f (1 + \hbar \kappa f) \right\}, \tag{1.1}

其中 $\kappa = 1$ 对应玻色-爱因斯坦统计， $\kappa = -1$ 对应费米-狄拉克统计； $\hbar > 0$ 是固定的普朗克常数量纲参数，满足 $\hbar e^{-\theta_*} < 1$ （保证全局量子平衡态正则）；宏观量由量子加权矩自洽定义：

\rho_f := \int_{\mathbb{R}^3} f \, dp, \quad u_f := \frac{\int_{\mathbb{R}^3} p f (1 + \hbar \kappa f) \, dp}{\int_{\mathbb{R}^3} f (1 + \hbar \kappa f) \, dp}, \quad \Theta_f := \frac{\int_{\mathbb{R}^3} (|p|^2 - u_f \cdot p) f (1 + \hbar \kappa f) \, dp}{3 \int_{\mathbb{R}^3} f \, dp}. \tag{1.2}

该模型源自量子朗道算子在麦克斯韦分子假设与径向对称性下的福克-普朗克型约化（见[6]），其核心特征在于碰撞频率 $\rho_f$ 、本体速度 $$u_f$$ 和温度 $\Theta_f$ 均由分布函数 $$f$$ 自洽决定，而非外设常数或经典矩。此结构天然保持质量、动量与动能守恒，并诱导量子熵耗散机制： $\mathcal{H}[f] = \int \big( f \log f - \kappa \hbar f^2 \big) dx dp$ 沿解单调递减。全局量子平衡态为

F_\hbar(p) = \left( e^{\frac{|p|^2}{2} + \theta_* - \hbar \kappa} \right)^{-1}, \quad \theta_* > 0, \tag{1.4}

并记 $\mu_\hbar = F_\hbar + \hbar \kappa F_\hbar^2$ , $\eta_\hbar = 1 + 2 \hbar \kappa F_\hbar$ 。问题设定为扩散标度下的不可压流体极限：引入克努森数 $0 < \epsilon \leq 1$ ，考虑标度方程

\epsilon \partial_t f^\epsilon + p \cdot \nabla_x f^\epsilon = \rho^\epsilon \nabla_p \cdot \left\{ \Theta^\epsilon \nabla_p f^\epsilon + (p - u^\epsilon) f^\epsilon (1 + \hbar \kappa f^\epsilon) \right\}, \tag{1.3}

其中所有宏观量均按(1.2)以 $f^\epsilon$ 构造，且 $\hbar$ 固定不随 $\epsilon \to 0$ 变化——这明确区别于半经典极限（ $\hbar \to 0$ ）。初始数据取为围绕 $F_\hbar$ 的小扰动： $f^\epsilon = F_\hbar + \epsilon \sqrt{\mu_\hbar} g^\epsilon$ ，代入得扰动方程

\epsilon \partial_t g^\epsilon + p \cdot \nabla_x g^\epsilon = \frac{1}{\epsilon} L g^\epsilon + \Gamma^\epsilon(g^\epsilon), \tag{1.6}

其中 $$L$$ 是围绕 $F_\hbar$ 线性化的碰撞算子，其核空间 $N = \ker L = \operatorname{span}\left\{ \sqrt{\mu_\hbar},\, p_i \sqrt{\mu_\hbar},\, |p|^2 \sqrt{\mu_\hbar} \right\}$ 维数为5，正交投影记为 $$P$$ ； $\Gamma^\epsilon$ 是含自洽场耦合的非线性余项。研究目标是：在 $\epsilon \to 0$ 下，从该量子动力学方程严格导出不可压纳维-斯托克斯-傅里叶系统，且完全保留量子统计对输运系数的修正——即粘性系数 $\nu_\hbar$ 与热扩散率 $\kappa_\hbar$ 必须由 $F_\hbar$ 决定，而非经典麦克斯韦分布。这一空白源于：现有工作（如[16,18,24]）集中于量子玻尔兹曼方程，而量子福克-普朗克方程因自洽非线性结构与量子权重导致的矩关系畸变，其流体极限尚未建立；尤其缺乏对固定 $\hbar$ 下微观辅助方程求解、量子适配热模构造及声波消散机制的系统分析。

2. 主要定理或主要结果

在 $s \geq 4$ 、 $\kappa \in \{-1,1\}$ 、 $\hbar > 0$ 且 $\hbar e^{-\theta_*} < 1$ 的假设下，对每个 $0 < \epsilon \leq 1$ ，设初值 $g^\epsilon_0 \in H^s(\mathbb{R}^3_x \times \mathbb{R}^3_p)$ 满足 $\sup_{0<\epsilon\leq1} \|g^\epsilon_0\|_{H^s_{x,p}} \leq \delta_{\rm in}$ （ $\delta_{\rm in} > 0$ 充分小），且 $f^\epsilon_0 = F_\hbar + \epsilon \sqrt{\mu_\hbar} g^\epsilon_0 \geq 0$ （费米情形额外要求 $f^\epsilon_0 \leq \hbar^{-1}$ ）。则扰动方程(1.6)存在唯一全局解 $g^\epsilon \in C([0,\infty); H^s)$ ，并满足一致估计：

\sup_{t\geq0} \|g^\epsilon(t)\|_{H^s_{x,p}}^2 + \frac{1}{\epsilon^2} \int_0^\infty \|(I-P)g^\epsilon(t)\|_{D,s}^2 dt + \int_0^\infty \|\nabla_x(a^\epsilon,b^\epsilon,c^\epsilon)(t)\|_{H^{s-1}_x}^2 dt \leq C_\hbar \|g^\epsilon_0\|_{H^s_{x,p}}^2, \tag{2.12}

其中 $Pg^\epsilon = (a^\epsilon + p\cdot b^\epsilon + |p|^2 c^\epsilon) \sqrt{\mu_\hbar}$ ， $$D$$ -范数定义为 $\|g\|_D^2 = \iint (|\nabla_p g|^2 + |p|^2 \eta_\hbar^2 |g|^2) dx dp$ 。由此推出微观弛豫： $\|(I-P)g^\epsilon\|_{L^2(0,T; D,s)} \leq C_\hbar \epsilon$ （推论2.1）。对任意 $$T>0$$ ，存在子列使得：

弱*-收敛： $g^\epsilon \stackrel{\star}{\rightharpoonup} g$ 在 $L^\infty(0,T; H^s)$ 中，且 $$g = Pg$$ 属于量子宏观空间；
强收敛： $(I-P)g^\epsilon \to 0$ 在 $$L^2(0,T; H^s)$$ 中；
宏观矩收敛：定义 $\varrho^\epsilon = \langle g^\epsilon, \sqrt{\mu_\hbar} \rangle_{L^2_p}$ , $u^\epsilon = \langle g^\epsilon, p \sqrt{\mu_\hbar} \rangle_{L^2_p}$ , $\vartheta^\epsilon = \left\langle g^\epsilon, \left( \frac{|p|^2}{\phi} - 1 \right) \sqrt{\mu_\hbar} \right\rangle_{L^2_p}$ ，其中 $m_0 = \int \mu_\hbar dp$ , $m_2 = \frac{1}{3} \int |p|^2 \mu_\hbar dp$ , $\phi = 3m_2/m_0$ , $\beta = \psi/\phi -1$ , $\psi = \frac{1}{3m_2} \int |p|^4 \mu_\hbar dp$ ，则存在 $(\varrho,u,\vartheta) \in L^\infty(0,T; H^{s-1})$ 使得 $(\varrho^\epsilon,u^\epsilon,\vartheta^\epsilon) \stackrel{\star}{\rightharpoonup} (\varrho,u,\vartheta)$ ；
量子适配热模强收敛：令 $q^\epsilon = \frac{\vartheta^\epsilon - \beta \varrho^\epsilon}{1+\beta}$ ，则对任意 $0 < \zeta < 1$ ，有 $P u^\epsilon \to u$ 与 $q^\epsilon \to \vartheta$ 在 $C([0,T]; H^{s-1-\zeta}_{\rm loc})$ 中强收敛；
声波模消散： $(I-P)u^\epsilon \to 0$ 与 $\varrho^\epsilon + \vartheta^\epsilon \to 0$ 在 $L^2(0,T; H^{s-1-\zeta}_{\rm loc})$ 中强收敛；
极限方程：极限函数 $(u,\vartheta)$ 满足不可压纳维-斯托克斯-傅里叶系统 $\begin{cases} \partial_t u + \frac{1}{m_2} u \cdot \nabla_x u + \nabla_x p = \nu_\hbar \Delta_x u, \\ \nabla_x \cdot u = 0, \\ \partial_t \vartheta + \frac{1}{m_2} u \cdot \nabla_x \vartheta = \kappa_\hbar \Delta_x \vartheta, \end{cases} \tag{1.8}$ 其中粘性系数 $\nu_\hbar > 0$ 与热扩散率 $\kappa_\hbar > 0$ 由微观辅助方程 $L \tilde{A} = A$ 、 $L \tilde{B} = B$ （ $A,B \in N$ ）在 $N^\perp$ 中求解，并通过二次型 $\nu_\hbar = \frac{1}{m_2} \langle \tilde{A}, A \rangle_{L^2_p}$ 、 $\kappa_\hbar = \frac{1}{m_2} \langle \tilde{B}, B \rangle_{L^2_p}$ 定义；初始条件为 $u|_{t=0} = P u_0$ ， $\vartheta|_{t=0} = \vartheta_0 - \frac{\beta \varrho_0}{1+\beta}$ 。

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

证明的核心障碍有三：(i) 自洽非线性结构导致的余项 $\Gamma^\epsilon$ 含 $\rho^\epsilon, u^\epsilon, \Theta^\epsilon$ 的复杂依赖，其 $\epsilon$ -尺度行为需精细控制；(ii) 量子权重 $\mu_\hbar$ 破坏经典麦克斯韦正交性，使宏观矩 $\varrho^\epsilon, u^\epsilon, \vartheta^\epsilon$ 不再对应标准动量矩，必须构造量子适配热模 $q^\epsilon = (\vartheta^\epsilon - \beta \varrho^\epsilon)/(1+\beta)$ 才能获得紧性；(iii) 声波模 $(\varrho^\epsilon + \vartheta^\epsilon, (I-P)u^\epsilon)$ 满足传播速率为 $O(\epsilon^{-1})$ 的快波系统，在全空间无法用嵌入定理紧化，需发展局部色散估计。

作者的真正创新点在于：首先，将[6]的全局扰动理论适配至扩散标度，建立一致能量泛函 $E^\epsilon_s(g^\epsilon)$ ，其耗散项 $D^\epsilon_s(g) = \epsilon^{-2} \|(I-P)g\|_{D,s}^2 + \|\nabla_x(a,b,c)\|_{H^{s-1}_x}^2$ 同时控制微观快弛豫与宏观慢耗散（命题2.1），从而导出 $\|(I-P)g^\epsilon\|_{L^2(0,T;D,s)} = O(\epsilon)$ 的关键估计。其次，识别出量子宏观空间 $$N$$ 的正交基为 $\{\sqrt{\mu_\hbar}, p_i \sqrt{\mu_\hbar}, (|p|^2/\phi -1) \sqrt{\mu_\hbar}\}$ ，由此定义 $\beta$ 参数并构造 $q^\epsilon$ ，使其时间导数 $\partial_t q^\epsilon$ 具有一致 $H^{s-1}_x$ 界，结合 $Pu^\epsilon$ 的类似估计，应用Aubin-Lions引理获得强紧性。第三，针对声波模，作者在附录A中建立局部色散估计：将快波算子对角化为 $\partial_t + i \epsilon^{-1} |D_x|$ 形式，利用半波传播子的局部 $L^1 \to L^\infty$ 估计与频率分解（低频截断+高频振荡积分），证明 $\|e^{i \epsilon^{-1} t |D_x|} \phi\|_{L^2_{\rm loc}} \leq C \epsilon^{1/2} t^{-1/2} \|\phi\|_{H^1}$ ，从而强制声波模在局部Sobolev空间中强趋于零。最后，输运系数的识别依赖于两个关键技术：(1) 求解微观辅助方程 $L \tilde{A} = A$ 、 $L \tilde{B} = B$ （ $A = p \otimes p - \frac{|p|^2}{3} I$ , $B = p(|p|^2/\phi -1)$ ），利用 $$L$$ 的谱隙性质（引理2.1）保证解的存在唯一性；(2) 对局部量子平衡流形进行二阶展开 $f^\epsilon_{\rm eq} = F_\hbar + \epsilon \sqrt{\mu_\hbar} (a + p\cdot b + |p|^2 c) + \epsilon^2 \mathcal{Q}(a,b,c)$ ，将非线性对流项精确分离为 $\mathcal{Q}$ 与 $\tilde{A}, \tilde{B}$ 的配对，从而严格分离出量子粘性与热通量。

4. 与之前工作的比较

本文与既有工作存在多维度本质差异。与经典福克-普朗克模型（如[7,8,10]）相比：经典工作假设扩散与摩擦系数为常数或仅依赖经典矩，其平衡态为麦克斯韦分布，导致极限方程的 $\nu, \kappa$ 为常数；而本文的自洽结构与量子因子 $f(1+\hbar\kappa f)$ 使平衡态 $F_\hbar$ 与矩关系 $\phi, \beta$ 均依赖 $\hbar$ ，故 $\nu_\hbar, \kappa_\hbar$ 是 $\hbar$ 的非平凡函数（见备注1.1），这是真正的量子效应保留。与量子玻尔兹曼方程工作（如[16,18,24]）相比：[16]处理的是玻尔兹曼-费米-狄拉克方程，其碰撞项为双线性积分形式，而本文的福克-普朗克型扩散项导致不同的线性化算子 $$L$$ 结构与谱隙性质（[6]中已证 $$L$$ 在 $$D$$ -范数下具有正谱隙 $\lambda_\hbar$ ）；更重要的是，[16]的输运系数由玻尔兹曼线性化算子的伪逆给出，而本文必须求解福克-普朗克型辅助方程 $L\tilde{A}=A$ ，其解的正则性与估计依赖于 $\mu_\hbar$ 的指数衰减性。与量子朗道方程工作（如[24]）相比：朗道方程的碰撞项为二阶微分算子，其线性化具有更复杂的奇异性，而福克-普朗克算子 $$L$$ 是更光滑的散度型算子，但自洽非线性使 $\Gamma^\epsilon$ 的估计难度更高——本文通过将 $\Gamma^\epsilon$ 分解为二次部分 $\Gamma_2$ 与高阶余项 $\epsilon \Gamma^\epsilon_{\geq3}$ （公式2.7），并利用[6]的估计引理2.1，实现了对 $\epsilon$ 的一致控制。代价方面：本文要求初值正则性 $s\geq4$ （高于[16]的 $$s>5/2$$ ），且仅处理小扰动解（未覆盖大初值或弱解框架如DiPerna-Lions）；局限在于：结果局限于全空间 $\mathbb{R}^3$ ，边界效应未考虑；声波消散仅在局部Sobolev空间成立，全局强收敛尚未建立；此外，作者未显式展开比较 $\nu_\hbar, \kappa_\hbar$ 与经典值 $1/(2M_{\rm cl}), 1/(3M_{\rm cl})$ 的渐近差（备注1.1仅给出形式极限），也未讨论 $\hbar \to 0$ 与 $\epsilon \to 0$ 的联合极限顺序问题。

8. 弱分层等温流中静水-不可压近似的严格验证

Rigorous justification of the hydrostatic-incompressible approximation for weakly stratified isothermal flow

作者: Quyuan Lin, Xin Liu

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27477v1

摘要翻译: 我们考虑等温可压 Navier-Stokes 系统在 Mach 数趋于零且竖直方向与水平方向的长宽比趋于零时的极限。此外，我们还考虑分层效应较弱的尺度。由于该问题具有各向异性特征，其动力学呈现三波分离现象，即慢波、快速水平声波以及更快的竖直声波。不幸的是，这三种波彼此并不正交，且相应的投影依赖于小参数，这显著增加了非线性分析的复杂性。在不对初始波大小施加任何限制的前提下，我们通过精细分析能量与声波的演化，建立了对任意固定小参数，可压 Navier-Stokes 系统解的一致存在性与唯一性。此外，我们证明：当小参数趋于零时，解收敛于描述大气与海洋流动的不可压原始方程 $\partial_t u + u \cdot \nabla u + \nabla p + f \times u = \nu \Delta u$ , $\mathrm{div}_h u = 0$ 的解。

Comment: 30 pages

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

1. 研究对象和背景

本文研究弱分层、等温、可压缩 Navier-Stokes 方程在小 Mach 数 $\mathrm{Ma} = \varepsilon$ 、小竖直-水平尺度比 $\sigma = H/L = \varepsilon$ 与小 Froude 数 $\mathrm{Fr} = \varepsilon$ 三重极限下的奇异渐近行为。具体地，考虑定义在周期域 $\Omega = \mathbb{T}^2 \times 2\mathbb{T}$ 上的无量纲化系统（即文中方程 (1.1)）：

\begin{cases} \partial_t \rho + \mathrm{div}_h (\rho v) + \partial_z(\rho w) = 0, \\ \partial_t(\rho v) + \mathrm{div}_h (\rho v \otimes v) + \partial_z(\rho w v) + \dfrac{1}{\varepsilon^2} \nabla_h \rho = \Delta v, \\ \partial_t(\rho w) + \mathrm{div}_h (\rho w v) + \partial_z(\rho w w) + \dfrac{1}{\varepsilon^4} \partial_z \rho = -\dfrac{1}{\varepsilon^3} \rho \partial_z g(z) + \Delta w, \end{cases} \tag{1.1}

其中 $\rho = \rho(x,y,z,t) > 0$ 为密度， $v = (v_1,v_2) \in \mathbb{R}^2$ 与 $w = w(x,y,z,t) \in \mathbb{R}$ 分别为水平与竖直速度分量， $$g = g(z)$$ 为重力势（满足 $\partial_z g = O(\varepsilon)$ ），压力取等温形式 $p(\rho) = \rho$ 。边界条件由对称性假设 (SYM) 给出： $v, \rho, g(z)$ 关于 $$z$$ 偶， $$w$$ 关于 $$z$$ 奇，从而自动满足 $w|_{z=k} = 0$ , $\partial_z v|_{z=k} = 0$ ( $k \in \mathbb{Z}$ )。

该模型刻画大尺度地球物理流体（如海洋、五大湖）中竖直尺度远小于水平尺度（ $H \ll L$ ）、声速远大于流速（ $\mathrm{Ma} \ll 1$ ）、浮力效应微弱（ $\mathrm{Fr} \sim \mathrm{Ma}$ ）的典型物理场景。其核心数学挑战在于：当 $\varepsilon \to 0$ 时，方程组呈现强各向异性——竖直方向导数被 $\varepsilon^{-4}$ 放大，水平方向仅被 $\varepsilon^{-2}$ 放大，导致线性算子谱分裂为三个分离的时间尺度：慢波（mean flow，频率 $\omega = 0$ ）、快水平声波（horizontal acoustic wave，频率 $\omega \sim \varepsilon^{-1}$ ）与极快竖直声波（vertical acoustic wave，频率 $\omega \sim \varepsilon^{-2}$ ）。这一三波分离现象源于算子 $\mathcal{L}_\varepsilon := \left( \frac{1}{\varepsilon} \mathrm{div}_h, \frac{1}{\varepsilon} \nabla_h, \frac{1}{\varepsilon^3} \partial_z \right)^\top$ 的非正交本征结构（见线性化系统 (3.8) 及其模态分析 (3.9)–(3.12)）。特别地，竖直声波模态 $\hat{\eta}_{k,\pm}, \hat{\phi}_{v,k,\pm}, \hat{\phi}_{w,k,\pm}$ 的投影算子依赖于 $\varepsilon$ （如 (3.12) 所示含 $O(\varepsilon)$ 项），导致标准 Schochet 方法失效；同时，能量估计在 $$w$$ 上退化（因 $\varepsilon^2 \partial_t w$ 项主导），无法直接控制竖直输运项 $w \partial_z$ 。已有工作如 [47,48] 在无重力或强分层下处理了类似问题，但未解决弱分层下重力源项 $-\varepsilon^{-3} \rho \partial_z g$ 引发的不稳定性（见第6节），亦未克服三波非正交性带来的非线性耦合障碍。本文旨在填补这一空白：在无初值准备（即不假设初值接近不可压态）条件下，建立 $\varepsilon$ -一致存在性，并严格证明解收敛至静力不可压原始方程（primitive equations, PEs）：

\begin{cases} \mathrm{div}_h v_p + \partial_z w_p = 0, \\ \partial_t v_p + v_p \cdot \nabla_h v_p + w_p \partial_z v_p + \nabla_h \Pi_p = \Delta v_p, \\ \partial_z \Pi_p = 0, \end{cases} \tag{1.2}

其中 $(v_p,w_p,\Pi_p)$ 为极限速度与静压。PEs 是海洋学与大气动力学的标准模型，其全局适定性已由 Cao–Titi [7] 等人确立，但作为可压缩 NS 的奇异极限，其严格导出长期受限于初值准备性与各向异性处理能力。

2. 主要定理或主要结果

本文核心结论由两个定理给出：

定理 3.1（ $\varepsilon$ -一致稳定性）：设初值 $$(q_0,v_0,w_0)$$ 满足对称性 (SYM)，重力势 $g \in C^\infty(2\mathbb{T})$ 且 $\|\partial_z g, \partial_{zz} g, \partial_{zzz} g\|_{L^\infty} = O(\varepsilon)$ ，并设 $q_0 := g(z) + \varepsilon^{-1} \log \rho_0$ 。若初始能量

E_0 := \|q_0, v_0, \varepsilon w_0\|_{H^3}^2 + \left\| \frac{\varepsilon \partial_t q_0}{\varepsilon}, \varepsilon \nabla^2 q_0, \frac{\partial_z q_0}{\varepsilon} \right\|_{H^2}^2 < M < \infty,

其中 $\varepsilon \partial_t q_0$ 由 (3.5) 显式定义（含 $\mathrm{div}_h v_0 + \partial_z w_0$ 项），则存在 $\varepsilon_0 > 0$ 及常数 $$C,T > 0$$ （仅依赖 $$E_0$$ ，与 $\varepsilon$ 无关），使得对所有 $\varepsilon \in (0,\varepsilon_0)$ ，系统 (1.1) 在 $$[0,T]$$ 上存在唯一强解 $(\rho,v,w)$ ，且满足一致先验估计：

$$ \sup_{0 \le t \le T} \left{ |q(t), v(t), \varepsilon w(t)|{H^3}^2 + \left| \varepsilon \partial_t q(t), \varepsilon \nabla^2 q(t), \frac{\partial_z q(t)}{\varepsilon}, w(t), \partial_z w(t) \right|{H^2}^2 \right}

\int_0^T \left( |\nabla v(t), \varepsilon \nabla w(t), w(t), \partial_z w(t)|{H^3}^2 + \left| \Delta q(t), \frac{\nabla \partial_z q(t)}{\varepsilon}, \varepsilon \nabla \partial_t q(t), \varepsilon^2 \partial_t w(t), \varepsilon \partial_t v(t) \right|{H^2}^2 \right) dt < C E_0. $$

定理 3.2（一般初值下的渐近极限）：在定理 3.1 假设下，存在 $(v_\sigma,w_\sigma) \in C([0,T]; H^2) \cap L^2(0,T; H^3)$ ，使得当 $\varepsilon \to 0$ 时（沿某子列），

\rho = e^{\varepsilon(q - g(z))} \to 1 \quad \text{in } L^\infty(0,T; H^3),

v, w \rightharpoonup v_\sigma, w_\sigma \quad \text{weakly in } L^2(0,T; H^3), \quad v, w \overset{*}{\rightharpoonup} v_\sigma, w_\sigma \quad \text{weak*-ly in } L^\infty(0,T; H^2),

且 $(v_\sigma,w_\sigma)$ 是极限系统 (1.2) 的解。此处收敛拓扑由三波分解（Proposition 5.3）与紧性论证（Section 5.1）保证，关键在于将解分解为慢波、快水平声波与极快竖直声波三部分，并证明后两者在 $\varepsilon \to 0$ 时弱收敛至零。

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

证明的核心障碍有三：（1）三波非正交性导致投影算子 $\mathbb{P}_\varepsilon^{\mathrm{slow}}, \mathbb{P}_\varepsilon^{\mathrm{fast}}, \mathbb{P}_\varepsilon^{\mathrm{very\,fast}}$ 本身是 $\varepsilon$ -依赖的伪微分算子，其 $$L^2$$ -范数虽有界，但作用于高阶导数时产生 $O(\varepsilon^{-1})$ 损失（见 Definition 3.1 中 $\Phi_3^\varepsilon = (\varepsilon^2 \Delta_h + \partial_{zz})^{-1}$ 的 $\varepsilon$ -奇异性）；（2）能量估计对 $$w$$ 退化，因 $\varepsilon^2 \partial_t w$ 项使标准 $$L^2$$ -能量无法控制 $\|w\|_{H^2}$ ；（3）重力项 $-\varepsilon^{-3} \rho \partial_z g$ 在 $\varepsilon \to 0$ 时爆炸，若 $\partial_z g$ 不衰减则引发不稳定性（见 Section 6.2）。

作者的真正创新点在于构建一个协同的加权能量-声波估计框架：

第一，引入对数密度变量 $q = g(z) + \varepsilon^{-1} \log \rho$ （式 (3.1)），将原系统重写为对称形式 (3.2)，其奇异算子 $\frac{1}{\varepsilon}(\mathrm{div}_h v + \partial_z w), \frac{1}{\varepsilon} \nabla_h q, \frac{1}{\varepsilon} \partial_z q$ 具备对称结构（Remark 3.1），为波分解提供基础。

第二，针对 $$w$$ 的正则性损失，不依赖传统不可压约束，而是利用连续性方程 (1.1a) 的积分表示（式 (3.3)）：

w(x,y,z,t) = -\frac{1}{\rho(x,y,z,t)} \int_0^z \left[ \partial_t \rho + \mathrm{div}_h(\rho v) \right] dz' = -\frac{1}{\rho} \int_0^z \rho \left( \varepsilon \partial_t q + \varepsilon v \cdot \nabla_h q + \mathrm{div}_h v \right) dz',

此式表明 $$w$$ 的 $$H^2$$ 正则性依赖于 $\varepsilon \partial_t q, \varepsilon \nabla_h q, \nabla_h v$ 的 $$H^2$$ 范数（Remark 3.2）。为闭合这些量，作者设计加权能量泛函：对 (3.2a) 乘以积分因子 $e^{\alpha z}$ （ $\alpha$ 依赖 $\varepsilon$ ），结合重力势的 $O(\varepsilon)$ 假设，得到 $\|\varepsilon \partial_t q, \varepsilon \nabla^2 q, \varepsilon^{-1} \partial_z q\|_{H^2}$ 的一致控制（Remark 3.7）。

第三，为处理三波非正交耦合，作者发展了一套“声波演化追踪”技术（Section 3.4 & 4.2）：定义声波变量 $\mathcal{A} := (\varepsilon \partial_t q, \varepsilon \nabla_h q, \varepsilon^3 \partial_t w)^\top$ ，证明其满足修正的波动方程 $\partial_{tt} \mathcal{A} + \mathcal{L}_\varepsilon^2 \mathcal{A} = \mathcal{F}(\mathcal{A}, v, w)$ ，其中非线性项 $\mathcal{F}$ 可被 $\varepsilon$ -一致控制。通过对此方程做 $$H^2$$ 能量估计，并与主能量估计 (4.1)–(4.2) 耦合，成功获得 $\|\mathcal{A}\|_{H^2}$ 的一致界，从而闭环 $$w$$ 的正则性。

整个证明框架摒弃了 Schochet 理论所需的正交投影与初值准备，转而依赖对称化、加权估计与声波动力学的精细分析，构成对各向异性奇异极限理论的重要推进。

4. 与之前工作的比较

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

1. 初值假设的彻底放宽：经典工作如 [32,33]（小 Mach 数极限）及 [45,47]（可压缩 PE 极限）均要求“初值准备”（well-prepared data），即初值需满足 $\mathrm{div}_h v_0 + \partial_z w_0 = O(\varepsilon)$ 等相容性条件以抑制声波。而本文定理 3.1 完全取消此限制，允许任意大小的慢波、快波、极快波初值（Remark 3.5 明确指出 $\partial_z q_0 = O(\varepsilon)$ 是波模态自然要求，非人为限制）。这一突破依赖于对三波非正交性的主动处理，而非回避。

2. 时间尺度与适用范围的拓展：此前处理三尺度系统（如 [8,61,63]）的工作均假设方程形如 $A_0(\varepsilon U)\partial_t U + \varepsilon^{-1} L U + \delta^{-1} M U + N(U) = 0$ ，且要求 $\delta = \delta(\varepsilon)$ 满足特定标度关系。本文系统 (1.1) 因各向异性粘性与重力项，无法归入此框架（引言明确说明）。本文将时间尺度从 $O(\varepsilon^{-1})$ （双尺度）推进至 $O(\varepsilon^{-2})$ （三尺度），且首次在弱分层下实现此尺度的严格分析。

3. 重力处理的实质性改进：文献 [15] 在强/弱分层下处理了小 Mach 极限，但未涉及静力近似；[48] 处理了无重力的可压缩 PE 极限。本文首次系统处理弱分层下重力 $-\varepsilon^{-3} \rho \partial_z g$ 的影响，通过假设 $\partial_z g = O(\varepsilon)$ 并构造加权能量估计（Section 3.3），规避了 Section 6.2 揭示的普遍不稳定性。此代价是限制了重力势的竖直变化率，但符合海洋与五大湖的实际参数（Table 1 中 $\mathrm{Ma}^2/\mathrm{Fr}^2 \sim 10^{-3}$ ）。

4. 技术代价与局限：本文采用各向同性涡粘性 $\Delta v, \Delta w$ 替代原始各向异性粘性（Remark 3.4），因后者在竖直动量方程中退化（ $\mathrm{div}_h(\varepsilon^2 \nabla_h w)$ 项），导致声波方程无法闭合。此简化虽便于分析，但偏离了更真实的地球物理模型。此外，定理 3.2 的收敛仅为弱/弱*形式，未达到强收敛（如 $$L^2$$ -强收敛），这源于声波振荡的固有非紧性；且结果局限于有限时间 $$[0,T]$$ ，全局时间极限仍未解决。作者明确指出，等熵流情形（ $p = \rho^\gamma, \gamma > 1$ ）仍属开放问题（引言末段），因等熵压力破坏了对称化 (3.2) 的可行性。

9. 临界空间中的随机Keller–Segel系统

The stochastic Keller–Segel system in critical spaces

作者: Jae-Hwan Choi, Ankit Kumar, Andrea Pitrone, Shyam Popat, Max Sauerbrey

类别: math.PR, math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27472v1

摘要翻译: 我们在 $$d$$ 维环面 $\mathbb{T}^d$ 上研究随机抛物-抛物型Keller–Segel方程，其中 $d \geq 3$ ，函数空间取为尺度不变的临界Besov空间。利用随机极大正则性估计，我们证明了该方程的局部适定性，即存在唯一解，其定义于某个极大存在时间之前。我们进一步证明：若初始数据在这些临界空间中足够小，则存在时间可被控制为任意大的概率可任意大。\n本工作为Antonio Agresti与Mark Veraar组织的Oberwolfach研讨会‘临界空间中的随机偏微分方程’所撰写的报告。

Comment: 29 pages. Contribution to the Oberwolfach Report for the Seminar ‘Stochastic Partial Differential Equations in Critical Spaces’ organized by Antonio Agresti and Mark Veraar

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

1. 研究对象和背景

本文研究定义在 $$d$$ 维环面 $\mathbb{T}^d$ （ $d \geq 3$ ）上的随机抛物-抛物Keller–Segel系统：

\begin{cases} du = \big(\Delta u - \mathrm{div}(u \nabla v)\big) dt + \sum_{n\geq 1} g_1^n(u, v, \nabla v)\, dW_n^1, \\ dv = (\Delta v + u - v) dt + \sum_{n\geq 1} g_2^n(v)\, dW_n^2, \end{cases} \tag{1.1}

其中 $$(u(t,x), v(t,x))$$ 分别表示细胞密度与趋化信号浓度， $$(W_n^1)_n$$ , $$(W_n^2)_n$$ 是两族独立的标准布朗运动，非线性噪声项 $g_1^n: \mathbb{R}^{2+d} \to \ell^2$ , $g_2^n: \mathbb{R} \to \ell^2$ 满足Lipschitz连续性及有界二阶导数条件（见Assumption 3.3）。该模型是经典确定性Keller–Segel系统的随机扰动版本，后者源于Patlak [Pat53] 和Keller–Segel [KS70] 的化学趋向性建模，其确定性原型为

\begin{cases} \partial_t u = r_u \Delta u - \chi \, \mathrm{div}(u \nabla v), \\ \partial_t v = r_v \Delta v + \beta u - \alpha v, \end{cases} \tag{1.3}

其中 $$r_u, r_v > 0$$ 为扩散系数， $\chi > 0$ 为趋化敏感度， $\alpha, \beta \geq 0$ 为衰减与产生率。本文取归一化参数 $r_u = r_v = \chi = \beta = \alpha = 1$ ，即聚焦于方程(1.1)中线性主部为 $\Delta u$ , $\Delta v - v$ 的尺度不变情形。

Keller–Segel系统的数学核心挑战在于交叉扩散项 $\mathrm{div}(u \nabla v)$ 引发的非线性耦合与潜在爆破行为。在确定性框架下，其适定性严重依赖于空间维数与初始数据大小：当 $$d=2$$ 时，全局存在性由初始质量 $\|u_0\|_{L^1}$ 的小性保证（利用Moser–Trudinger不等式），而大质量可导致有限时间爆破（Herrero–Vel'azquez [HV97]）；当 $d \geq 3$ 时， $$L^p$$ - $$L^q$$ 估计表明需在尺度临界空间（如 $B^{d/q-2}_{q,p}$ ）中控制初值才能获得局部解（Kozono–Sugiyama [KS09]）。然而，随机扰动彻底改变了问题结构：噪声不仅破坏能量泛函单调性（如 $\int (u \log u - uv + \frac{1}{2}|\nabla v|^2 + \frac{1}{2}v^2) dx$ ），更引入路径依赖性、非马尔可夫效应及随机积分的技术障碍。现有随机文献极度稀疏：一维情形由Hausenblas–Mukherjee–Tran [HMT22a,b] 处理；二维环面上Dean–Kawasaki型噪声下的重整化解由Ji–Sun–Wu构造；Martini–Mayorcas [MM25] 在paracontrolled框架下处理了更奇异的线性化噪声；Flandoli–Galeati–Luo [FGL21] 发现输运噪声可延迟爆破。但所有前述工作均未进入 $d \geq 3$ 的尺度临界空间——这正是本文要填补的根本空白：在 $d \geq 3$ 下，首次建立随机Keller–Segel系统在Besov型临界空间 $B^{d/q-2}_{q,p}(\mathbb{T}^d) \times B^{d/q_v}_{q_v,p}(\mathbb{T}^d)$ 中的局部适定性理论，并揭示小初值下生命期以高概率任意长的定量关系。该临界性由热算子缩放律精确刻画：对 $u_\lambda(t,x) := \lambda^{h_1} u(\lambda t, \lambda^{1/2}x)$ , $v_\lambda(t,x) := \lambda^{h_2} v(\lambda t, \lambda^{1/2}x)$ ，要求 $$h_2 = 0$$ , $$h_1 = 1$$ ，从而导出初值空间的同质范数不变性 $\|u_{0,\lambda}\|_{B^{d/q-2}_{q,p}} \simeq \|u_0\|_{B^{d/q-2}_{q,p}}$ , $\|v_{0,\lambda}\|_{B^{d/q_v}_{q_v,p}} \simeq \|v_0\|_{B^{d/q_v}_{q_v,p}}$ （见(3.1)–(3.2)）。此临界性直接关联到非线性项 $\mathrm{div}(u\nabla v)$ 的嵌入临界性——任何更弱的空间将导致乘积估计失效，更强的空间则无法捕获真实奇异性。因此，本文并非简单推广确定性结果，而是构建一套适配随机临界正则性的全新分析框架。

2. 主要定理或主要结果

本文在 $d \geq 3$ 的 $$d$$ 维环面 $\mathbb{T}^d$ 上，针对随机Keller–Segel系统(1.1)，在由参数 $(s, s_v, q, q_v, p, \kappa)$ 刻画的尺度临界Besov空间中建立了两个核心定理：

定理3.4（局部适定性）：设参数满足(3.3)与(3.6)–(3.10)，即 $p \in (2,\infty), \kappa \in [0, p/2-1)$ 或 $p=2, \kappa=0$ ； $s \in (-2,-1], s_v \in (-1,1]$ ；并满足临界约束 $s_v + 2 - 2(1+\kappa)/p = d/q_v$ 与 $$s + 2 - d/q = s_v - d/q_v$$ 。若噪声系数 $$g_1, g_2$$ 满足Assumption 3.3（ $$g_1$$ Lipschitz， $$g_2'$$ 有界且二阶导有界），则对任意 $\mathcal{F}_0$ -可测初值 $(u_0,v_0): \Omega \to B^{d/q-2}_{q,p}(\mathbb{T}^d) \times B^{d/q_v}_{q_v,p}(\mathbb{T}^d)$ ，存在唯一的 $L^p_\kappa$ -极大解 $((u,v), \sigma)$ ，满足 $\sigma > 0$ 几乎必然，且解轨道正则性为

u \in L^p\big((0,\sigma), w_\kappa; H^{s+2,q}(\mathbb{T}^d)\big) \cap C\big([0,\sigma); B^{s+2-2(1+\kappa)/p}_{q,p}(\mathbb{T}^d)\big),

v \in L^p\big((0,\sigma), w_\kappa; H^{s_v+2,q_v}(\mathbb{T}^d)\big) \cap C\big([0,\sigma); B^{s_v+2-2(1+\kappa)/p}_{q_v,p}(\mathbb{T}^d)\big),

其中 $w_\kappa(t) = |t|^\kappa$ 为时间权函数。进一步，若 $p \neq 2$ ，则对任意 $\theta \in [0,1/2)$ 及递增停时序列 $\sigma_n \uparrow \sigma$ ，有插值正则性

u \in H^{\theta,p}\big((0,\sigma_n), w_\kappa; H^{2(1-\theta)+s,q}(\mathbb{T}^d)\big), \quad v \in H^{\theta,p}\big((0,\sigma_n), w_\kappa; H^{2(1-\theta)+s_v,q_v}(\mathbb{T}^d)\big).

定理3.5（小初值的生命期估计）：在定理3.4假设基础上，若额外要求 $$g_1(0,0,0)=0$$ , $$g_2(0)=0$$ （即噪声在零点消失），则对任意 $T < \infty$ ，存在常数 $$C_T > 0$$ ，使得当初值满足

\mathbb{E}\big[ \|(u_0,v_0)\|^p_{B^{d/q-2}_{q,p} \times B^{d/q_v}_{q_v,p}} \big] \leq C_T \varepsilon, \quad \forall \varepsilon \in (0,1),

时，解的生命期 $\sigma$ 满足概率下界

\mathbb{P}(\sigma \geq T) \geq 1 - \varepsilon.

更精确地，存在停时 $\tau \in (0,\sigma]$ 满足 $\mathbb{P}(\tau \geq T) \geq 1 - \varepsilon$ ，且当 $$p > 2$$ 时，有路径加权估计

\mathbb{E}\Big[ \mathbf{1}_{\{\tau \geq T\}} \big\|(u,v)\big\|^p_{H^{\theta,p}((0,T), w_\kappa; H^{2(1-\theta)+s,q} \times H^{2(1-\theta)+s_v,q_v})} \Big] \lesssim_\theta \mathbb{E}\big[ \|(u_0,v_0)\|^p_{B^{d/q-2}_{q,p} \times B^{d/q_v}_{q_v,p}} \big],

对所有 $\theta \in [0,1/2)$ 成立；当 $$p = 2$$ 时，对应估计退化为

\mathbb{E}\Big[ \mathbf{1}_{\{\tau \geq T\}} \Big( \|(u,v)\|^2_{C([0,T]; H^{1+s,2} \times H^{1+s_v,2})} + \|(u,v)\|^2_{L^2((0,T), w_0; H^{2+s,2} \times H^{2+s_v,2})} \Big) \Big] \lesssim \mathbb{E}\big[ \|(u_0,v_0)\|^2_{H^{d/2-2,2} \times H^{d/2,2}} \big].

特别地，在 $$d=3$$ 的唯一临界情形下，参数被唯一确定为 $(p,\kappa,s,q,s_v,q_v) = (2,0,-3/2,2,1/2,2)$ ，对应临界迹空间 $H^{-1/2,2}(\mathbb{T}^3) \times H^{3/2,2}(\mathbb{T}^3)$ 。

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

本文证明的核心障碍在于：(i) 随机交叉扩散项 $\mathrm{div}(u\nabla v)$ 在临界Besov空间中缺乏标准乘积估计（因 $$u$$ 与 $\nabla v$ 的正则性均处于Sobolev嵌入临界边界）；(ii) 线性算子 $-A = \begin{pmatrix} \Delta & 0 \\ \mathrm{Id} & \Delta - \mathrm{Id} \end{pmatrix}$ 的非对角耦合结构破坏了标准热方程的独立性，使得经典随机极大正则性（stochastic maximal regularity, SMR）理论无法直接应用；(iii) 时间权重 $w_\kappa(t) = |t|^\kappa$ 与非自治项 $$-v$$ 的共存导致半群生成元非自伴，阻碍谱方法。作者的真正创新点在于将Agresti–Veraar [AV22a,b] 发展的时间加权随机极大正则性理论深度适配至交叉扩散系统，并构建了三项关键技术：

1. 三角化SMR传递论证（Theorem 4.2）：为证 $-A \in \mathrm{SMR}^\bullet_{p,\kappa}$ ，作者并未尝试直接估计耦合系统，而是利用其上三角结构（见(4.5)–(4.6)）进行分步求解。首先，对 $$u$$ -方程 $du - \Delta u\,dt = f_u\,dt + g_u\,dW$ 应用已知的 $-\Delta$ 的SMR性质（[AV24a, Lemma 5.2]），获得 $$u$$ 的 $L^p_\kappa$ -正则性；关键一步是利用临界嵌入条件(3.10) $H^{s+2,q}(\mathbb{T}^d) \hookrightarrow H^{s_v,q_v}(\mathbb{T}^d)$ ，将 $$u$$ 的高正则性“降维”注入 $$v$$ -方程的源项，即 $u \in L^p_\kappa(H^{s_v,q_v})$ ；继而通过指数变换 $\tilde{v}(t) = e^t v(t)$ 将非自治 $$v$$ -方程 $dv + ((\mathrm{Id}-\Delta)v - u)\,dt = f_v\,dt + g_v\,dW$ 化为自治形式 $d\tilde{v} - \Delta \tilde{v}\,dt = e^t(f_v + u)\,dt + e^t g_v\,dW$ ，再对其应用 $-\Delta$ 的SMR，最后通过Itô乘积法则还原 $$v$$ 。此论证严格依赖于参数约束(3.8)与(3.10)所保障的嵌入紧致性。

2. 临界Besov空间中的交叉扩散估计（Lemma 4.3）：为控制 $\|\mathrm{div}(u\nabla v)\|_{H^{s,q}}$ ，作者采用分数阶Leibniz法则与临界Sobolev嵌入的精细组合。由 $s \leq -1$ 与 $q \geq 2$ ，推得 $H^{1+s,q}(\mathbb{T}^d; \mathbb{R}^d)$ 的Sobolev指标 $s+1-d/q \in (-d, -d/q]$ ，从而触发临界嵌入 $H^{\gamma,q} \cdot H^{\gamma_v,q_v} \to H^{s,q}$ ，其中 $\gamma = s + 2 - (1+\kappa)/p$ , $\gamma_v = s_v + 2 - (1+\kappa)/p$ （见(4.10)–(4.11)）。该估计的成立严格依赖于(3.7)–(3.9)对 $$s,s_v,q,q_v$$ 的约束，确保乘积空间恰为 $H^{s,q}$ 的对偶配对。

3. 噪声项的 $\gamma$ -radonifying范数控制（Section 4.3）：针对非线性噪声 $$G(u,v)$$ ，作者利用 $\gamma$ -Fubini同构 $\gamma(\ell^2 \times \ell^2, X) \simeq X(\ell^2 \times \ell^2)$ 将随机积分估计转化为向量值Sobolev空间估计。关键引理4.4–4.6证明：在 $$g_1,g_2$$ 的Lipschitz与有界导数假设下，有

\|g_1(u,v,\nabla v)\|_{L^2((0,t); H^{1+s,q}(\ell^2))} \lesssim \|u\|_{L^p_\kappa(H^{s+2,q})} + \|v\|_{L^p_\kappa(H^{s_v+2,q_v})},

\|g_2(v)\|_{L^2((0,t); H^{1+s_v,q_v}(\ell^2))} \lesssim \|v\|_{L^p_\kappa(H^{s_v+2,q_v})},

此估计的可行性再次仰赖于 $$v$$ 所处空间 $H^{s_v+2,q_v}$ 的正则性高于 $$u$$ 的 $H^{s+2,q}$ （因 $$s_v > s$$ ），从而允许 $$g_2$$ 仅需 $$C_b^2$$ 正则性。

4. 与之前工作的比较

本文与既有工作的根本区别体现在三个维度：

1. 适定性框架的维度跃迁与临界性突破：此前所有随机Keller–Segel结果均局限于 $$d=1$$ 或 $$d=2$$ （[HMT22a,b], [MST22], [MT23], [MM25], [FGL21]），且未进入尺度临界空间。例如，[MM25] 在 $$d=2$$ 的paracontrolled框架中处理Dean–Kawasaki噪声，其正则性要求 $v \in C^{1/2-}(\mathbb{T}^2)$ ，远强于临界空间 $B^{0}_{2,2} = L^2$ ；[FGL21] 仅证明输运噪声延迟爆破，未给出适定性。本文首次将 $d \geq 3$ 的临界适定性从确定性领域（[KS09]）推进至随机领域，其临界空间 $B^{d/q-2}_{q,p} \times B^{d/q_v}_{q_v,p}$ 的选取完全由缩放律(3.1)–(3.2)与SMR迹理论(3.5)共同决定，而非人为设定。代价是：必须接受 $d \geq 3$ 的维数限制（见Remark 3.1(iii)），且在 $$d=3$$ 时参数被唯一锁定为 $(p,\kappa,s,q,s_v,q_v)=(2,0,-3/2,2,1/2,2)$ ，丧失自由度。

2. 噪声结构与正则性假设的实质性放宽：既有工作多采用线性或高度正则噪声（如[AV24b]对Navier–Stokes的运输噪声要求 $$C^2$$ 系数），或仅处理特定噪声类型（如[FT23]的微观推导仅给出Dean–Kawasaki型）。本文允许非线性、状态依赖、各向异性的噪声 $g_1^n(u,v,\nabla v), g_2^n(v)$ ，且对 $$g_1$$ 仅需Lipschitz连续（(3.17)），对 $$g_2$$ 仅需 $$C_b^2$$ （Assumption 3.3），这是目前最弱的噪声正则性要求。其可行性源于作者对 $$v$$ -方程更高正则性的利用（ $$s_v > s$$ ），使 $$g_2$$ 的估计可承受更低正则性。

3. 生命期估计的定量强度与适用范围：定理3.5给出的概率型生命期下界 $\mathbb{P}(\sigma \geq T) \geq 1-\varepsilon$ ，其初值小性条件为 $\mathbb{E}[\|(u_0,v_0)\|^p_{B^{d/q-2}_{q,p} \times B^{d/q_v}_{q_v,p}}] \leq C_T \varepsilon$ ，这比确定性工作中常见的 $$L^1$$ 质量小性（[NSY97]）或 $L^{d/2}$ 范数小性（[KS09]）更具一般性，且明确量化了概率与初值矩之间的线性关系。然而，该估计的代价是：它仅适用于小初值，且未解决大初值下的爆破概率或全局解存在性——这仍是开放问题。此外，文中未与确定性爆破结果（如[HV97]）进行概率意义上的比较（如‘随机扰动是否几乎必然防止爆破’），亦未讨论噪声强度 $\|g_i\|$ 对 $$C_T$$ 的显式依赖，这些均为未来工作方向。

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

1. 关于Sirakov的等频唯一性猜想

On Sirakov’s equal-frequency uniqueness conjecture

作者: Hong-Ge Chen, Yong Liu, Juncheng Wei, Wen Yang

类别: math.AP, math-ph

发布日期: 2026-07-30

arXiv ID: 2607.28279v1

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

摘要翻译

中文标题: 关于Sirakov的等频唯一性猜想

摘要翻译: 设 $N\in\{2,3\}$ ， $0<μ_1\leqμ_2$ ，且 $$0<β<μ_1$$ 。我们证明：在 $\mathbb{R}^N$ 上的等频双分量三次薛定谔系统

-Δu+u=μ_1u^3+βuv^2, \qquad -Δv+v=μ_2v^3+βu^2v \quad\text{in }\mathbb{R}^N

在 $H^1(\mathbb{R}^N)\times H^1(\mathbb{R}^N)$ 中模去同时平移恰有唯一正解。更精确地，每个正解均为由 $$-Δw+w=w^3$$ 在 $\mathbb{R}^N$ 中的唯一正径向解所构造的同步态的同时平移。这完全解决了Sirakov在弱耦合范围内提出的等频唯一性猜想。证明中的主要困难在于排除那些归一化分量之比非常数的径向解。归一化后，两个分量满足具有共同势函数的标量方程。我们为该系统构造了一个带权Pohozaev泛函并附加一个修正项，并证明该修正泛函及其关联的带权泛函均严格正。将这些符号性质与一个径向通量恒等式以及一个与分量比相关的辅助商相结合，迫使同步性成立。

2. 具有非单调速度的跟随领导者方案

The Follow-the-Leader scheme with non-monotone velocity

作者: Marco Di Francesco

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28195v1

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

摘要翻译

中文标题: 具有非单调速度的跟随领导者方案

摘要翻译: 本文研究了一维标量守恒律的熵解通过所谓跟随领导者（Follow-the-Leader）粒子方案进行逼近的问题，其中速度映射为\emph{非单调}。该结果基于离散最大值原理、逼近密度的 $$BV$$ 估计，以及极限在Kru\v zkov意义下被刻画为熵解。

3. 负能量下质量临界半波方程的有限时间爆破

Finite-time blow-up for the mass-critical half-wave equation with negative energy

作者: Jeongheon Park

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28194v1

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

摘要翻译

中文标题: 负能量下质量临界半波方程的有限时间爆破

摘要翻译: 我们研究一维聚焦质量临界半波方程

i\partial_tu=|D|u-|u|^2u.

对于具有负能量且质量略大于基态质量的偶初值，我们证明了有限时间爆破，并得到上界估计

中文标题: 一维四分之一拉普拉斯算子的临界定量Landis估计

摘要翻译: 我们为实值有界势 $$V(x)$$ 下的一维分数阶薛定谔方程 $(-Δ)^{1/4}u+V(x)u=0$ 在 $\mathbb R$ 上建立了定量Landis估计。若 $\|V\|_{L^\infty}\le 1$ ， $\|u\|_{L^\infty}\le C_0$ ，且 $\|u\|_{L^2(-1,1)}\ge 1$ ，则对所有充分大的 $$R$$ ，有

\inf_{|x_0|=R}\|u\|_{L^\infty(x_0-1,x_0+1)} \ge \exp(-CR\log R)

在Caffarelli–Silvestre延拓及变量替换 $$y=z^2/2$$ 后，该方程化为具有弱Robin边界条件的Grushin型方程，其退化线上。相应角向算子经半密度共轭后具有算术谱 $κ_n=2n+\tfrac12$ 。核心谱估计为

\sup_{ξ\in\mathbb R} \bigl\|C\bigl((τ+iξ)^2-L_0\bigr)^{-1}C^*\bigr\| \le Cτ^{-1/2}

其中参数 $$τ$$ 与角向谱格点保持距离。该估计导出关于可测Robin反馈的线性权Carleman估计，吸收阈值为 $τ\ge C(1+\|V\|_\infty^2)$ 。定量向内传播、固定尺度Grushin球传播以及内柱体插值估计共同将体内部非消失性传递至边界。Landis重标度将局部势依赖项 $C\|q\|_\infty^2$ 转化为全局速率 $CR\log R$ 。

10. 关于数学物理中出现的若干拟线性四阶抛物型方程的注记

Remarks on some quasi-linear fourth order parabolic equations arising in mathematical physics

作者: Francesco Fanelli, Rafael Granero-Belinchón, Martina Magliocca, Matthieu Pageard

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27451v1

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

摘要翻译

中文标题: 关于数学物理中出现的若干拟线性四阶抛物型方程的注记

摘要翻译: 本文证明了在Wiener空间类中，一大类四阶拟线性抛物型方程的强解的存在性与唯一性。该结果改进了文献中已有的相关工作：此前的研究仅针对本文所建立的一般框架下的某些特例，且其唯一性结论仅在比存在性所在空间更小的空间中成立。本文还讨论了解的解析性增益，以及对高阶方程和高阶正则性传播的推广。

不相关论文（基本信息）

1. 球面无穷远处加权Einstein约束的调和性、径向性与壳稳定性

Harmonic, radial, and shell stability of the weighted Einstein constraints on the sphere at infinity

作者: Bruno Le Floch, Philippe G. LeFloch

类别: math.AP, gr-qc

发布日期: 2026-07-30

arXiv ID: 2607.28599v1

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

摘要: We consider fourth-order and second-order partial differential operators localized on domains of the sphere in arbitrary dimension. These operators arise as weighted compositions of the linearized Einstein constraint operators and their adjoints, and played a key role in our resolution of the optimal localization problem in general relativity, also referred to as the gravitational shielding problem. To control the asymptotic behavior of solutions to Einstein’s constraints in our companion paper (preprint arXiv:2312.17706), we introduced the notions of harmonic, radial, and shell stability. Harmonic stability controls the borderline harmonic modes, radial stability governs the radial evolution of spherical averages, and shell stability controls the coupled radial-angular evolution of solutions. In the present paper, we establish that these stability properties follow from weighted Poincaré, Korn, and Hardy inequalities. Furthermore, in arbitrary dimension, we investigate the behavior of the associated geometric constants, and conclude that the stability conditions hold for a broad class of localization functions; the theory applies to arbitrarily small localization domains, corresponding to gluing cones with arbitrarily small aperture. At the opposite extreme, our conditions also hold on the entire sphere, corresponding to the absence of localization. This completes, for gluing cones of arbitrarily small aperture in every dimension, the program initiated by A. Carlotto and R. Schoen on gravitational shielding and the construction of solutions enjoying super-harmonic decay estimates. In our proofs, we introduce Hamiltonian and momentum functionals, which we call shell functionals, and show that they enjoy monotonicity and semi-coercivity properties; their structure also suggests possible analogies with functionals arising in other curvature-related geometric problems.

2. 关于具有无界反应项的分数阶 p-Laplacian 的边界正则性

On boundary regularity for the fractional p-Laplacian with unbounded reactions

作者: Antonio Iannizzotto, Sunra Mosconi

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.28436v1

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

摘要: We consider an elliptic equation driven by the $$s$$ -fractional $$p$$ -Laplacian, set in a smooth bounded domain $Ω\subset\mathbb{R}^N$ with homogeneous nonlocal Dirichlet conditions and a reaction $$f$$ lying in $$L^q(Ω)$$ for some $q\ge 1$ . We prove that the unique solution $$u$$ is $$α$$ -Hölder continuous up to the boundary, for any $$α$$ below $$p'(s-N/pq)$$ if $N/ps<q\le N/s$ , and $$α=s$$ if $$q>N/s$$ . Also, we prove that if $$q>N/s$$ then $u/{\rm d}_Ω^s$ admits a Hölder continuous extension to the closure of $$Ω$$ , where ${\rm d}_Ω$ denotes the distance from the boundary. Our results are almost optimal and extend previous regularity theorems known in the linear case.

3. 反射扩散、无通量连续性方程与有界区域中的受限拉格朗日流

Reflected diffusion, no-flux continuity equations and confined Lagrangian flows in bounded domains

作者: Rama Cont

类别: math.CA, cs.LG, math.AP, math.PR

发布日期: 2026-07-30

arXiv ID: 2607.28344v1

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

摘要: Motivated by marginal distribution flows of reflected diffusions in bounded domains, we investigate when a density/flux pair solving a no-flux continuity equation admits a regular Lagrangian flow that remains in the closed domain and generates the prescribed density flow. We give sufficient conditions in terms of interior bounded-variation regularity, bounded-variation control on a boundary collar, a one-sided bound on an absolutely continuous divergence, and vanishing normal trace of the velocity. The proof uses the fact that tangency removes the singular boundary contribution to the divergence of the zero extension, thereby making the extended velocity admissible for the Ambrosio-DiPerna-Lions theory. We show that these boundary assumptions cannot be jointly relaxed so as to admit a boundary current mechanism. We construct an explicit smooth density/flux pair carrying a boundary current. Its density evolution is unique in a weighted class and its characteristics are unique, confined and transport the marginals, yet it admits no regular Lagrangian flow because the compressibility bound fails arbitrarily close to the initial time. We also establish two uniqueness results for no-flux Fokker-Planck equations: a duality result for bounded measurable drifts and a weighted energy result for entrance-type drifts singular at the boundary. Our results provide a rigorous mathematical justification for using the ODE-based sampling of reflected diffusion models under minimal regularity assumptions on the coefficients, and also indicate when such ODE-based samplers may fail.

4. 从牛顿算法中学习特征：一种加速非线性参数化偏微分方程求解器的方法

Learning features from Newton’s algorithm: a way to accelerate nonlinear parametrized PDE solvers

作者: Rémy Vallot, Florian de Vuyst, Thibault Dairay, Mathilde Mougeot

类别: cs.LG, math.AP, math.NA

发布日期: 2026-07-30

arXiv ID: 2607.28036v1

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

摘要: It is well known that Newton’s method converges faster when the initial guess is closer to a root of a system of nonlinear equations. In this paper, a two-stage Newton initial guess strategy is proposed by learning features from a parameter-space sampling and a database of precomputed solutions. The method uses discrete Newton trajectories to construct two complementary reduced spaces: a solution feature space, built from converged states, and a corrective search direction feature space, built from intermediate Newton increments. For an unseen parameter, a regression model is used to predict a surrogate solution approximation. Then, in a second step, a residual-minimizing correction is computed using a dedicated GMRES-based approach. The resulting state is then used as an initial guess for the high-fidelity Newton method, which completes convergence. The corrective step is computationally inexpensive since it only requires residual evaluations and the solution of a small least-squares problem. The methodology is weakly intrusive once the high-fidelity residual fields and a script-based programming interface are available. This strategy reduces the number of Newton iterations and decreases the overall CPU time. Numerical experiments on representative PDE problems show quantifiable speedups compared with standalone surrogate initialization. Significant speedups are observed. This generic approach can be applied to a broad class of large-scale nonlinear problems.

5. 神经网络对分数阶抛物型偏微分方程解的逼近

Neural Network Approximation of Solutions to Fractional Parabolic Partial Differential Equations

作者: Jae-Hwan Choi, Hyojae Lim, Jinsol Seo, Young-Jin Sim, Changhoon Song

类别: math.AP, cs.LG

发布日期: 2026-07-30

arXiv ID: 2607.27781v1

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

摘要: We establish a dimension-efficient neural network approximation theory for solutions to fractional parabolic equations with lower-order drift and potential terms. By introducing anisotropic spectral Barron spaces, which measure temporal and spatial regularity separately in frequency space, we first develop a dimension-independent maximal regularity theory for these equations, using dimension-independent multiplication estimates and the method of continuity to incorporate the lower-order terms. A key technical novelty is the application of the Vandermonde matrix to the global-in-time extension of the finite-time fractional heat semigroup with sufficient regularity at the initial time, thereby enabling analysis of the forward-in-time evolution via the global space-time Fourier structure of anisotropic Barron norms. We also show that a corresponding uniform-in-time estimate of the spectral Barron regularity generally fails. Finally, we derive $n^{-1/2}$ two-layer approximation bounds in mixed Sobolev norms for non-constant periodic activations and, under additional anisotropic Barron regularity, for non-periodic activations satisfying a polynomial-decay condition.

6. 双曲流形的体积稳定性及其在广义相对论中的应用

Volume Stability for Hyperbolic Manifolds and Applications to General Relativity

作者: Puskar Mondal, Shing-Tung Yau

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

发布日期: 2026-07-30

arXiv ID: 2607.27666v1

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

摘要: We prove a sharp volume-stability theorem for closed hyperbolic three-manifolds. Let $$(M,h)$$ be closed hyperbolic with $\operatorname{Ric}_h=-2h$ , and let $$g_i$$ be smooth metrics on $$M$$ satisfying $R(g_i)\geq -6, \operatorname{Vol}_{g_i}(M)\longrightarrow \operatorname{Vol}_h(M)$ . After passing to a subsequence, there exist $Z_i\subset M$ , smooth domains $K_i\subset M$ , and diffeomorphisms $ψ_i:K_i\longrightarrow M\setminus Z_i$ such that $\operatorname{Vol}_{g_i}(Z_i)\longrightarrow0, \operatorname{Vol}_h(M\setminus K_i)\longrightarrow0,$ and $\|ψ_i^*g_i-h\|_{C^0(K_i,h)}\longrightarrow0.$ Thus near-equality in the sharp hyperbolic volume bound forces tensorial $$C^0$$ -convergence to the hyperbolic metric outside regions of vanishing volume. As an application, we establish stability of the Fischer–Moncrief reduced Hamiltonian at the Lorentz-cone ground state: after CMC normalization, near-minimizing compact vacuum data in the hyperbolic topological class converge, modulo sets of vanishing volume, to the hyperbolic Lorentz-cone geometry in tensorial $$C^0$$ . This provides a rigorous volume-dominance formulation of the Fischer–Moncrief asymptotic picture.

7. 关于具有混合欧氏-高斯密度的闵可夫斯基问题

On The Minkowski Problem With Respect To A Mixed Euclidean-Gaussian Density

作者: Stephanie Mui, Lei Qin, Sinan Wang

类别: math.AP

发布日期: 2026-07-30

arXiv ID: 2607.27618v1

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

摘要: In this paper, we pose a new class of Minkowski problems corresponding to the mixed Euclidean-Gaussian volume. Using the flow method, we prove the existence of smooth normalized solutions for the corresponding Monge-Ampère-type equation in the symmetric case. Then, by approximation, we obtain the existence of origin-symmetric solutions to the mixed Euclidean-Gaussian Minkowski problem.

8. Morse 指标为一的极小超曲面

Minimal hypersurfaces of Morse index one

作者: Otis Chodosh, Matilde Gianocca

类别: math.DG, math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27444v1

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

摘要: We prove that a complete, connected, embedded, minimal hypersurface in $\mathbb{R}^{n+1}$ with finite total curvature and Morse index one is the higher-dimensional catenoid.

9. 具有非局部齐次临界非线性的半线性椭圆系统

Semilinear Elliptic Systems with Nonlocal Homogeneous Critical Nonlinearities

作者: Colin Fried, Mathew Gluck

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27423v1

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

摘要: This paper concerns a variational system of nonlinear elliptic equations that generalizes the classical Brezis-Nirenberg problem. In addition to considering vector-valued unknown functions in place of scalar-valued unknown functions, the problem under consideration generalizes the Brezis-Nirenberg problem in two directions. First, the nonlinearity is the sum of two homogeneous functions of suitable homogeneity degrees. Second, the Sobolev-critical term in the nonlinearity is nonlocal. We establish conditions under which a nontrivial solution to the system under consideration is guaranteed to exist and conditions under which the system under consideration admits only the trivial solution.

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

1. 振荡水柱动力学的浅水模型#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 一阶随机守恒律障碍问题的适定性与大偏差#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 可压Euler-Riesz方程的旋转Riesz星解的非线性稳定性与不稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 曲面上的原始方程#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 关于卷积加权矩阵与具有可控正则性损失的局部可解性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 关于无旋双旋转 Euler 流的涡量增长上界#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 从非线性量子Fokker-Planck方程到不可压Navier-Stokes-Fourier极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 弱分层等温流中静水-不可压近似的严格验证#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

9. 临界空间中的随机Keller–Segel系统#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 关于Sirakov的等频唯一性猜想#

摘要翻译#

2. 具有非单调速度的跟随领导者方案#

摘要翻译#

3. 负能量下质量临界半波方程的有限时间爆破#

摘要翻译#

4. Osgood 遇见 Ambrosio–DiPerna–Lions#

摘要翻译#

5. 质量临界半波方程爆破速率的 log-log 上界#

摘要翻译#

6. 一类时间分数阶偏微分方程的参数构造法#

摘要翻译#

7. 由稳定Lévy算子驱动的半线性方程的孤立奇点与测度数据问题#

摘要翻译#

8. $L^\infty$ 估计与六维以下双退化趋化系统中的渐近行为#

摘要翻译#

9. 一维四分之一拉普拉斯算子的临界定量Landis估计#

摘要翻译#

10. 关于数学物理中出现的若干拟线性四阶抛物型方程的注记#

摘要翻译#

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

1. 球面无穷远处加权Einstein约束的调和性、径向性与壳稳定性#

2. 关于具有无界反应项的分数阶 p-Laplacian 的边界正则性#

3. 反射扩散、无通量连续性方程与有界区域中的受限拉格朗日流#

4. 从牛顿算法中学习特征：一种加速非线性参数化偏微分方程求解器的方法#

5. 神经网络对分数阶抛物型偏微分方程解的逼近#

6. 双曲流形的体积稳定性及其在广义相对论中的应用#

7. 关于具有混合欧氏-高斯密度的闵可夫斯基问题#

8. Morse 指标为一的极小超曲面#

9. 具有非局部齐次临界非线性的半线性椭圆系统#

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

1. 振荡水柱动力学的浅水模型

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 一阶随机守恒律障碍问题的适定性与大偏差

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 可压Euler-Riesz方程的旋转Riesz星解的非线性稳定性与不稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 曲面上的原始方程

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 关于卷积加权矩阵与具有可控正则性损失的局部可解性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 关于无旋双旋转 Euler 流的涡量增长上界

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 从非线性量子Fokker-Planck方程到不可压Navier-Stokes-Fourier极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 弱分层等温流中静水-不可压近似的严格验证

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

9. 临界空间中的随机Keller–Segel系统

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 关于Sirakov的等频唯一性猜想

摘要翻译

2. 具有非单调速度的跟随领导者方案

摘要翻译

3. 负能量下质量临界半波方程的有限时间爆破

摘要翻译

4. Osgood 遇见 Ambrosio–DiPerna–Lions

摘要翻译

5. 质量临界半波方程爆破速率的 log-log 上界

摘要翻译

6. 一类时间分数阶偏微分方程的参数构造法

摘要翻译

7. 由稳定Lévy算子驱动的半线性方程的孤立奇点与测度数据问题

摘要翻译

8. $L^\infty$ 估计与六维以下双退化趋化系统中的渐近行为

摘要翻译

9. 一维四分之一拉普拉斯算子的临界定量Landis估计

摘要翻译

10. 关于数学物理中出现的若干拟线性四阶抛物型方程的注记

摘要翻译

不相关论文（基本信息）

1. 球面无穷远处加权Einstein约束的调和性、径向性与壳稳定性

2. 关于具有无界反应项的分数阶 p-Laplacian 的边界正则性

3. 反射扩散、无通量连续性方程与有界区域中的受限拉格朗日流

4. 从牛顿算法中学习特征：一种加速非线性参数化偏微分方程求解器的方法

5. 神经网络对分数阶抛物型偏微分方程解的逼近

6. 双曲流形的体积稳定性及其在广义相对论中的应用

7. 关于具有混合欧氏-高斯密度的闵可夫斯基问题

8. Morse 指标为一的极小超曲面

9. 具有非局部齐次临界非线性的半线性椭圆系统