生成时间: 2026年06月25日 06:37:37

运行状态: 完成

计划处理论文数量: 31

已完成论文数量: 31

未完成论文数量: 0

重点关注论文数量: 8

了解领域论文数量: 11

不相关论文数量: 12

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

1. 界面与非唯一性：具有独立漂移项的交叉扩散系统

Interfaces and non-uniqueness in a cross-diffusion system with independent drifts

作者: Charles Elbar, Guy Parker

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25781v1

摘要翻译: 我们研究一个一维交叉扩散系统，该系统描述两个种群的演化。它们的密度通过依赖于总密度的共同压力进行扩散，但分别由两个独立的外部势场进行输运。从仅含单个界面的分隔初始数据出发，我们指出：两种密度在界面处的相遇方式并非仅由方程本身所决定，而是依赖于所选取的解的概念。当漂移项在界面处将两相相互推向对方时，零粘性极限解（vanishing-viscosity solution）产生重叠区域，而与此同时，一个分隔型弱解（segregated weak solution）也存在。这两个解互不相同，因此柯西问题在弱解类中不适定（not well posed）。我们首先对一个显式的稳态分隔解证明该结论，随后将非唯一性推广至一般的分隔型初始数据。

Comment: 24 Pages, 1 Figure

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

1. 研究对象和背景

本文研究一维交叉扩散系统

其中 $\rho(t,x), \mu(t,x) \ge 0$ 表示两个种群在 $\mathbb{R}$ 上的密度，$f \in C^2((0,\infty))$ 是严格凸压力势（即 $f'' > 0$），$V, W \in C^3(\mathbb{R})$ 是外部漂移势，且满足 $\partial_x V, \partial_x W \in L^\infty(\mathbb{R})$ 及 $\partial_x W(0) - \partial_x V(0) > 0$。该系统描述两类个体共享同一压力 $P = f'(\rho + \mu)$（依赖于总密度 $S = \rho + \mu$），但各自受独立外力驱动：$\rho$ 的速度为 $-\partial_x f'(S) - \partial_x V$，$\mu$ 的速度为 $-\partial_x f'(S) - \partial_x W$。关键物理现象发生在初始数据完全分隔（segregated）的情形：设 $\rho_0(x) = g(A - V(x)) \mathbf{1}_{(-\infty,0]}(x)$，$\mu_0(x) = g(A - W(x)) \mathbf{1}_{[0,\infty)}(x)$，其中 $g = (f')^{-1}$，$A = f'(\sigma^*)$，且 $\sigma^* > 0$ 满足 $\rho_0(0) = \mu_0(0) = \sigma^*$，即二者在 $x=0$ 处形成单一锐利界面。此时，压力梯度 $\partial_x f'(S)$ 在界面处不连续（因 $S$ 含跳跃），而漂移差 $\partial_x W - \partial_x V$ 决定相对运动方向；当 $\partial_x W(0) > \partial_x V(0)$ 时，两相被推向彼此。问题核心在于：此类界面动力学是否由方程本身唯一决定？经典理论表明，在无漂移情形（$V \equiv W$）下，系统保持分隔性——即若 $\rho_0 \mu_0 \equiv 0$，则对所有 $t>0$ 仍有 $\rho_t \mu_t \equiv 0$（见 [4]）。此性质源于相对熵 $\Phi[\rho,\mu] = \int_\mathbb{R} h(\rho,\mu)\,dx$，其中 $h(u,v) = (u+v)\log(u+v) - u\log u - v\log v$，其耗散恒为零，从而 $\Phi \equiv 0$ 恒成立。然而，当 $V \neq W$ 时，分隔性不再自动保持；文献 [40,56] 构造了分隔弱解，而 [30,48,51,58] 构造了混合弱解（通过粘性逼近或补偿紧性），但二者是否可同时满足同一初值从未被判定。本文旨在填补这一根本空白：证明在相同初值下，分隔解与粘性极限解可并存且互异，从而揭示 Cauchy 问题在标准弱解框架下的内在不适定性。该问题的重要性在于，它挑战了交叉扩散模型作为多相流、肿瘤生长及种群动力学基础模型的确定性根基——若界面行为依赖于解的概念选择（而非仅由 PDE 决定），则物理预测需额外约定正则化机制。

2. 主要定理或主要结果

定理 1.6（显式分隔稳态解）：在假设 (A1)–(A3) 下，定义 $\bar{\rho}(t,x) = g(A - V(x)) \mathbf{1}_{(-\infty,0]}(x)$，$\bar{\mu}(t,x) = g(A - W(x)) \mathbf{1}_{[0,\infty)}(x)$，则 $(\bar{\rho}, \bar{\mu})$ 是系统 (1.1)–(1.2) 的弱解，且对任意 $t \in [0,T]$ 满足 $\operatorname{supp} \bar{\rho} \subset (-\infty,0]$，$\operatorname{supp} \bar{\mu} \subset [0,\infty)$，$\bar{\rho}(t,0) = \bar{\mu}(t,0) = \sigma^*$，即严格分隔并维持单界面。定理 1.7（粘性解的熵下界）：设 $(\rho,\mu)$ 是定义 1.3 意义下的粘性消失解，则对几乎每个 $t \in (0,T)$，有

其中 $q = \lim_{n\to\infty} q_n$，$q_n = \partial_x \rho_n - \frac{\rho_n}{S_n} \partial_x S_n$，且 $q_n \rightharpoonup q$ 弱收敛于 $L^1(0,T; H^{-m}_{\mathrm{loc}}(\mathbb{R}))$，$m > 1/2$；特别地，因 $\partial_x W(0) - \partial_x V(0) > 0$ 且 $\partial_x V - \partial_x W \in C^\infty_c(\mathbb{R})$，右端积分在 $(0,t)$ 上严格正，故 $\Phi[\rho(t), \mu(t)] > 0$，即粘性解必在正测度集上重叠。推论 1.8（非唯一性）：若存在粘性消失解，则 Cauchy 问题至少有两个不同的弱解：$(\bar{\rho}, \bar{\mu})$ 与任一粘性消失解 $(\rho,\mu)$。定理 1.9（一般初值的非唯一性）：设初值满足 (B1)–(B4)，压力为幂律型 $f_\alpha(s) = \frac{1}{\alpha-1}s^\alpha$（$\alpha \neq 1$）或 $f_1(s) = s\log s - s$，且 $\alpha > 1/3$，则对任意分隔初值（单界面），存在由 [56] 构造的分隔解与由 [58] 构造的粘性消失解，二者不同。

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

核心障碍在于：分隔解的分布导数含 Dirac 质量（如引理 3.3 所示，$\partial_x \rho - \frac{\rho}{S} \partial_x S = -S(0) \delta_0$），而粘性逼近中 $q_n$ 的极限 $q$ 在界面处亦携带负 Dirac 信息；但标准能量估计无法区分这两种结构，因两者均满足相同的弱形式。作者的真正创新点在于构造一个“解选择敏感”的相对熵 $\Phi$，其耗散不依赖于压力梯度 $\partial_x f'(S)$——后者在界面处缺乏连续性，导致传统熵（如 $G[\rho,\mu] = \int \rho \mu \, dx$）的耗散含未定义项 $\int \partial_x f'(S)(\rho \partial_x \mu + \mu \partial_x \rho)\,dx$（因 $\partial_x \rho, \partial_x \mu$ 仅为测度，与不连续函数乘积无意义）。具体而言，作者通过粘性层精确计算得

其中第二项非负，故 $\frac{d}{dt} \Phi \ge \int (\partial_x V - \partial_x W) q_\varepsilon \, dx$。关键突破是证明该不等式在 $\varepsilon \to 0$ 极限下仍成立：利用 $\Phi$ 的凹性（命题 1.5）保证其关于 $L^1$ 弱收敛上半连续，结合 $q_n \rightharpoonup q$ 在负 Sobolev 空间中的弱收敛性及 $\partial_x V - \partial_x W$ 的紧支性，得以通过极限传递不等式（命题 3.2）。进一步，引理 3.3 刻画了分隔解对应的 $q$：若 $\rho = S \mathbf{1}_{(-\infty,0)}$，$\mu = S \mathbf{1}_{(0,\infty)}$，则 $q = -S(0) \delta_0$，故 $\langle q, \partial_x V - \partial_x W \rangle = -S(0)(\partial_x V(0) - \partial_x W(0)) = S(0)(\partial_x W(0) - \partial_x V(0)) > 0$，从而 $\int_0^t \langle q, \partial_x V - \partial_x W \rangle ds > 0$，而分隔解满足 $\Phi \equiv 0$，矛盾。对一般初值（定理 1.9），作者需克服慢扩散（$\alpha \le 1$）下界面可能湮灭的困难：通过证明若界面消失则系统局部退化为解耦的单种群方程 $\partial_t \rho = \partial_{xx}(\rho^\alpha) + \partial_x(\rho \partial_x V)$，再利用 [61] 的行波子解及 [42] 的比较原理，导出 $\rho, \mu$ 必须混合，从而排除真空，确保界面持续存在。

4. 与之前工作的比较

与既有工作相比，本文在三个维度实现本质推进：（1）解概念层面：此前所有存在性结果均属“单轨”构造——[40,56] 专攻分隔解（基于 Wasserstein 梯度流的极小化运动格式），[30,48,51,58] 专攻混合解（基于粘性逼近或补偿紧性），但从未比较二者是否兼容同一初值。本文首次建立二者间的直接对立：定理 1.7 的熵不等式 (1.14) 显式分离两类解——分隔解使左端恒为零，粘性解使右端严格正，故不可兼得。（2）假设强度层面：文献 [40] 要求漂移满足全局序关系 $V \le W$ 及初值序 $\rho_0 \le \mu_0$，而本文仅需局部条件 $\partial_x W(0) > \partial_x V(0)$，且允许 $V,W$ 在远离界面处任意振荡（因 $\partial_x V - \partial_x W \in C^\infty_c$）；文献 [56] 对一般分隔初值的存在性证明依赖 $C^3$ 漂移及 $L^\infty \cap L^1 \cap \mathcal{P}_2$ 初值，本文继承此框架但叠加粘性解对比，代价是需 $\alpha > 1/3$（快慢扩散统一阈值，源于 [58] 中 $L^\infty_t BV_x$ 估计失效后的补偿紧性要求）。（3）物理内涵层面：本文揭示的非唯一性机制与 Muskat 问题 [50] 类似（重力驱动界面失稳），但数学结构迥异：Muskat 是自由边界问题，而本文是退化抛物系统；更关键的是，本文非唯一性源于漂移差的符号，而非密度差（如 Muskat 中重流体在上），故更具普适性。局限在于：结果局限于一维，高维推广受制于 $q_n$ 的紧性缺失（$H^{-m}$ 收敛在 $d \ge 2$ 时不足以控制界面项）；且未处理 $V,W$ 非紧支情形——此时 $q$ 的分布作用可能弥散，熵下界未必保持正号。作者明确指出，自扩散项（如 [24,37]）会抹平界面，故此类非唯一性仅存于纯交叉扩散系统，从提供内容中无法确认其能否推广至变迁移率模型 [2,26,28]。

2. 对流交叉扩散系统弱解的非唯一性

Non-uniqueness of weak solutions to cross-diffusion systems with advection

作者: José A. Carrillo, Ansgar Jüngel, Jakub Skrzeczkowski, Yao Yao

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25783v1

摘要翻译: 本文考虑定义在整条实轴 $\mathbb{R}$ 上的带对流项的交叉扩散系统，该系统描述两类分离种群物种的动力学行为。给定两个初始密度，其支集分别位于半直线 $x\leq 0$ 与 $x\geq 0$ 上，我们构造了该系统的两个不同弱解：其中一对密度始终保持在其初始支集内并完全保持分离；而另一对密度则在有限时间后开始侵入相反的半直线（即发生混合）。据我们所知，这是此类方程弱解非唯一性的最早例子之一，并显式展示了混合现象。该构造可生成无穷多个混合解，且适用于压力指数的整个取值范围。对于某一段压力指数范围，我们还得到了混合过程的定量估计。

Comment: 29 pages + bibliography

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

1. 研究对象和背景

本文研究一维全实轴 $\mathbb{R}$ 上如下带对流的交叉扩散系统：

其中 $u, v \geq 0$ 表示两种竞争种群的密度，总密度 $s := u + v$，压力函数取幂律形式

该系统是 Busenberg–Travis 型模型的推广，对应 Darcy 定律 $v = -\partial_x p(s)$ 下的质量守恒方程；其物理/生物背景为强种间排斥导致的空间隔离现象。特别地，当 $V_1(x) = -x$, $V_2(x) = x$ 时，(1.3) 恰为一般形式 (1.1) 的特例，即 $\partial_t u = \partial_x(u \partial_x p(s)) + \partial_x(u \partial_x V_1)$ 等。该模型亦可视为适度相互作用粒子系统的平均场极限，或带松弛项的可压 Navier–Stokes 方程在零惯性极限下的约化。

问题的核心难点在于其混合双曲–抛物结构：总密度 $s$ 满足带二次非线性的多孔介质型方程 $\partial_t s = \frac{1}{\alpha} \partial_{xx} s^\alpha$，而相对密度 $u/s$、$v/s$ 满足无耗散的双曲输运方程 $\partial_t (u/s) + \partial_x\big((u/s)(-\partial_x p(s) - 1)\big) = 0$ 等。这种结构导致经典抛物正则化失效：当初始总密度 $s_0$ 在某区域退化为零（vacuum）时，解缺乏内在正则性，甚至无法定义经典意义下的通量 $u \partial_x p(s)$。事实上，作者明确定义弱解时需借助恒等式 $u \partial_x p(s) = \frac{1}{\alpha} \frac{u}{s} \partial_x s^\alpha$（见(1.4)），并约定 $u/s = 0$ 在 $\{s = 0\}$ 上——此约定虽形式上合理（因 $\partial_x s^\alpha = 0$ a.e. on $\{s = 0\}$），却使解的唯一性分析陷入根本困境：弱解空间中缺乏足够紧性或单调性来排除多重演化路径。

已有理论表明：当 $s_0 > 0$ 严格正时，系统存在唯一经典解；但若允许真空（即 $s_0 \geq 0$ 且支撑集不重叠），则唯一性完全未知。文献中仅建立若干存在性结果：[6,5] 在无对流、有界区间、$p(s)=s$ 下证明弱解存在；[8,27,46] 将其推广至高维及 $p(s)=s^\alpha$（$\alpha>1$）；[14,48] 在一维中处理了初值隔离情形，但均未触及非唯一性。弱–强唯一性（weak–strong uniqueness）在 [24] 中成立，但这仅保证强解在弱解类中稳定，而非弱解本身唯一。更关键的是，[33] 指出：对任意光滑函数 $\Phi(t)$ 满足 $\Phi(0)=s_0$，均可构造总密度 $s$ 使其在两物种界面处满足 $s(t)=\Phi(t)$——这暗示界面动力学存在巨大自由度。然而，此前尚无工作显式构造出两个不同的弱解对 $(u,v)$。本文填补的正是这一空白：在初值严格隔离（$\operatorname{supp} u_0 \subset (-\infty,0]$, $\operatorname{supp} v_0 \subset [0,\infty)$, $v_0(x)=u_0(-x)$）且 $\alpha>0$ 全范围下，首次证明存在至少两个正则弱解——一个永久保持隔离，另一个在有限时间内发生混合（mixing），即 $u$ 的质量侵入 $x>0$ 区域或 $v$ 侵入 $x<0$ 区域。该现象直接挑战了“隔离初值必然导致隔离演化”的直觉，并揭示对流项 $\pm \partial_x u, \pm \partial_x v$ 是触发非唯一性的关键机制——无对流时，一维中隔离性由熵方法或比较原理得以保持 [5,14]。

2. 主要定理或主要结果

定理 1.4（非唯一性主定理）：设 $\alpha > 0$，初值 $u_0 \geq 0$，$u_0 \not\equiv 0$，$u_0 \in L^1(\mathbb{R}) \cap L^\infty(\mathbb{R})$ 且紧支于 $(-\infty,0]$，$v_0(x) = u_0(-x)$。则系统 (1.3) 存在两组正则弱解 $(u_A, v_A)$ 与 $(u_B, v_B)$（按定义 1.2），满足：

• $(u_A, v_A)$ 永久隔离：对几乎处处 $t \geq 0$，有 $\int_0^\infty u_A(t,x)\,dx = \int_{-\infty}^0 v_A(t,x)\,dx = 0$；

• $(u_B, v_B)$ 有限时间混合：存在正测度集合 $F \subset (0,\infty)$，使得对所有 $t \in F$，有 $\int_0^\infty u_B(t,x)\,dx > 0$；且其首次混合时间满足

推论 1.5（无穷多解）：在相同假设下，存在无穷多个互异的正则弱解 $(u,v)$，均在有限时间内混合；同时，在永久隔离解中，满足 $\int_0^\infty u(t,x)\,dx = \int_{-\infty}^0 v(t,x)\,dx = 0$ a.e. $t \geq 0$ 的解是唯一的。

定理 1.6（定量混合估计）：设 $\alpha \in (1,2)$，$(u,v)$ 为定理 1.4 中的混合解且满足对称性 $u(t,x) = v(t,-x)$ a.e.，记 $s = u+v$。则存在仅依赖于 $\alpha$、$\|s_0\|_{L^1}$、$\|s_0\|_{L^\infty}$ 及 $\int_\mathbb{R} s_0 |x|^2\,dx$ 的正常数 $C_1,C_2,C_3,C_4$，使得对几乎处处 $t$，下列至少一式成立：

注：当 $t$ 充分大时，左端均为正且以 $t^{(\alpha+1)/(3\alpha)}$ 阶增长；由此可得 $\sup\{R_1(t), R_2(t)\} \gtrsim t^{(\alpha+1)/(3\alpha)}$，构成对混合程度的定量下界。常数 $C_i$ 均显式可算（见证明细节）。该估计仅适用于 $\alpha \in (1,2)$，且要求混合解具有对称性。

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

本文的核心技术障碍在于：如何在缺乏经典正则性（如 $\partial_x s$ 不可积）的前提下，从弱解定义中提取足够信息以区分两种演化行为。作者的真正创新点并非引入新工具，而是对经典熵结构进行精巧的‘降维’重构与边界效应量化。

第一，构造非混合解 $(u_A,v_A)$ 的关键是 Neumann 边界条件的刚性控制。作者将问题分解为半直线 $(-\infty,0]$ 和 $[0,\infty)$ 上两个独立的单物种问题：$u_A$ 满足 $\partial_t u = \frac{1}{\alpha} \partial_{xx} u^\alpha - \partial_x u$，在 $x=0$ 处施加通量为零的 Neumann 条件 $u \partial_x p(u) - u = 0$；同理定义 $v_A(x) = u_A(-x)$。该构造确保 $\partial_t \int_{-\infty}^0 u_A\,dx = 0$，故质量永不出界。但需验证其正则性满足定义 1.2：作者在附录 A 中通过加权能量估计证明 $u_A \in L^\infty(0,T; L^1 \cap L^\infty)$、$u_A|x| \in L^\infty(0,T; L^1)$ 及 $\partial_x u_A^{\alpha/2}, \partial_x u_A^\alpha \in L^2$；关键一步是证明 $\partial_x s^{\alpha/2} = \partial_x u_A^{\alpha/2} \mathbf{1}_{(-\infty,0]} + \partial_x v_A^{\alpha/2} \mathbf{1}_{[0,\infty)}$ 属于 $L^2$，这依赖于 $u_A^{\alpha/2}(t,0) = v_A^{\alpha/2}(t,0)$（由对称性保证），从而消除了边界项。

第二，构造混合解 $(u_B,v_B)$ 的核心是 vanishing-viscosity 极限与熵不等式的矛盾论证。作者考虑粘性正则化 (1.13)：$\partial_t u_\varepsilon = \cdots + \varepsilon \partial_{xx} u_\varepsilon$，并利用 [48, Theorem 1.3] 确保存在子列收敛到正则弱解 $(u_B,v_B)$。为证明其必混合，作者研究广义熵泛函 $\mathcal{E}(t) = \int_\mathbb{R} (u \log u + v \log v - s \log s)\,dx$。若 $(u_B,v_B)$ 在 $[0,t]$ 上保持隔离，则可推导出关键不等式 (1.14)：

由于 $\mathcal{E}(t) \geq 0$（由 Jensen 不等式），必须有 $s(\tau,0) = 0$ a.e. $\tau \in [0,t]$。但作者进一步利用动量平衡：在隔离假设下，$\int_{-\infty}^0 u(t,x) x\,dx$ 满足

右端第二项线性增长，而第一项非正，故左端最终变正——但 $u$ 支撑于 $(-\infty,0]$ 意味着 $\int_{-\infty}^0 u x\,dx \leq 0$，矛盾。因此隔离不能持续至任意时间。

第三，克服正则性不足的关键技巧是‘弱熵估计’。由于 $\partial_x s$ 不可控，作者无法直接计算 $\mathcal{E}(t)$ 的导数。转而利用 $\partial_x s^{\alpha/2} \in L^2$ 的事实，通过截断与逼近（见 Remark 2.4）在正则化序列 $s_\varepsilon$ 上建立一致估计，再利用 $s_\varepsilon \to s$ 强 $L^2$ 及 $\partial_x s_\varepsilon^{\alpha/2} \rightharpoonup \partial_x s^{\alpha/2}$ 弱 $L^2$ 的紧性传递不等式。此过程需精细控制 $\mathbb{R}$ 上无穷远行为，故采用加权范数而非周期化。

4. 与之前工作的比较

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

1. 非唯一性证明的范式突破：此前所有存在性工作（如 [5,6,8,27,46,48]）均基于单调性、熵或变分结构，隐含假设解的唯一性或至少‘典型性’；而本文首次主动构造反例，将非唯一性从开放问题转变为可证命题。尤其对比 [48]：其存在性证明依赖 vanishing-viscosity 极限，但未质疑该极限的唯一性；本文则揭示该极限本身即承载非唯一性——同一初值下，不同粘性逼近序列（如不同边界处理）可收敛至不同解。

2. 对流项的关键作用：无对流系统（$V_i \equiv 0$）在一维中已知隔离性守恒 [5,14]，其证明依赖相对密度的双曲输运结构及最大值原理。本文明确指出，对流项 $\pm \partial_x u, \pm \partial_x v$ 打破了这种刚性：它引入了定向漂移，使界面处的‘零通量’平衡被打破，从而为混合提供驱动力。这解释了为何此前非唯一性构造集中于双曲系统（如 Euler 方程 [34]），而本文将其拓展至交叉扩散这类强耦合抛物–双曲混合系统。

3. 适用范围与代价：本文结果覆盖 $\alpha \in (0,\infty)$ 全范围，远超 [47]（仅 $\alpha > 1/3$）或 [40]（仅 $\alpha > 1$）。但代价是放弃经典正则性：解仅为 $L^\infty_t L^1_x$ 级别，无法获得 Hölder 连续性或界面光滑性。相比之下，[27] 在 $s_0 > 0$ 下得到经典解，但本文初值允许真空且支撑不交，恰是经典理论失效的临界情形。

4. 定量分析的局限与推进：定理 1.6 将混合速率定量化为 $t^{(\alpha+1)/(3\alpha)}$，这是对 [33] 中定性界面自由度的首次定量刻画。但该估计受限于 $\alpha \in (1,2)$：当 $\alpha \geq 2$ 时，$v^{2-\alpha}$ 不再可积（因 $v$ 可能退化），而 $\alpha \leq 1$ 时，$s^\alpha$ 的凸性消失，动量估计失效。作者坦承此限制‘不易克服’，暗示未来工作需发展新的加权熵方法。此外，本文未解决选择原则问题（如是否 vanishing-viscosity 极限天然选择混合解？），而 [24] 的弱–强唯一性在此失效，因不存在强解。

3. Navier-Stokes 阻碍演算的结构性审查

A Structural Audit of Navier-Stokes Obstruction Calculus

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25341v1

摘要翻译: 我们对三维不可压 Navier–Stokes 方程局部正则性问题的一个有限尺度纲领进行了审查。该纲领发展了临界账目（critical ledgers）、粗粒化缺陷分解（coarse-grained defect decompositions）、压力-通量功恒等式（pressure–flux work identities）、商清洗（quotient cleanings）以及坏尺度计数机制（bad-scale counting mechanisms）。这些结果构成了一套阻碍演算（obstruction calculus）：它们定位了 Caffarelli–Kohn–Nirenberg 坏性（CKN badness）如何在尺度间被传输、隐藏或再生，但其本身并不提供排除持续阻碍（surviving obstruction）所需的强制性估计（coercive estimate）。我们证明了一个分解引理（resolution lemma），将完整的 CKN 坏性分离为粗尺度坏性（coarse badness）与子滤波器残差（subfilter residual），并表明不存在无条件的单尺度支配（unconditional single-scale domination）——即不存在一个带符号的联合功探测器（signed combined-work detector）可实现该支配。因此，本次审查明确了下一必要目标：一个带滤波的拉伸-扩散估计（filtered stretching–diffusion estimate），该估计须涵盖亚网格强迫（subgrid forcing）、泄漏（leakage）、压力尾部（pressure tails）以及方向非相干缺陷（direction-incoherence defects），从而能将现有分解理论转化为真正的正则性机制或阻碍排除机制。

Comment: 无

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

1. 研究对象和背景

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

的局部正则性问题，聚焦于 Caffarelli–Kohn–Nirenberg（CKN）理论框架下的尺度临界奇异性机制。设 $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$，其中 $z_0 = (x_0, t_0)$，定义尺度不变量：

并令 $\Psi(z_0, r) = C(z_0, r) + D(z_0, r)$。CKN 定理断言：存在绝对常数 $\varepsilon_{\mathrm{CKN}} > 0$，使得若 $\Psi(z_0, r) < \varepsilon_{\mathrm{CKN}}$，则解在更小柱体中 Hölder 连续；反之，若存在 $r_k \to 0$ 满足 $\Psi(z_0, r_k) \ge \varepsilon_{\mathrm{CKN}}$，则称 $z_0$ 具有非-CKN 分支（Definition 2.2）。本文不直接构造奇异解，亦不尝试改进 $\varepsilon_{\mathrm{CKN}}$ 阈值，而是系统审计一个已建立的有限尺度程序——该程序旨在追踪 CKN 奇异性如何在尺度间传递、隐藏或再生。其核心对象是‘阻碍’（obstruction）：即那些虽不违反方程但持续维持尺度临界坏性的结构缺陷。关键未知量并非 $u$ 或 $\omega = \nabla \times u$ 本身，而是其粗粒化（coarse-grained）版本 $U_\ell = \rho_\ell * u$ 及其伴随雷诺应力 $R_\ell = \rho_\ell * (u \otimes u) - U_\ell \otimes U_\ell$，满足 $R_\ell \ge 0$（式 (4.2)）。由 $U_\ell$ 导出的滤波涡量 $\omega_\ell = \nabla \times U_\ell$ 所满足的滤波涡度方程为

其中右侧包含子网格强迫、泄漏与压力尾项。问题设定为：给定一列嵌套柱体 $Q_k = Q_{r_k}(z_k)$，$r_k = \theta^k r_0$，$0 < \theta < 1$，能否从有限链上的‘账簿’（ledger）与‘缺陷包’（defect package）中导出对任意小尺度 $r_k$ 的一致控制？已有理论背景包括：Scheffer 的部分正则性、CKN 的 $\varepsilon$-正则性、Leray-Hopf 解的存在性、以及近年发展的粗粒化能量流恒等式（如 Proposition 4.1）、有限窗口商空间紧性（Theorem 5.1）与一维分量闭包定理（[30]）。然而，所有这些成果均未解决根本障碍：它们能精确定位坏性在尺度间的‘流转路径’（transport, hiding, reproduction），却无法证明该路径终将耗尽——即缺乏一个尺度一致的强制估计（scale-uniform coercive estimate）或紧性-刚性定理（compactness-rigidity theorem），用以排除最小阻碍在极限尺度下的存在性。本文试图填补的空白正是这一结构性缺口：识别现有理论为何止步于‘阻碍演算’（obstruction calculus），而非‘正则性机制’（regularity mechanism），并精确刻画下一步必需的 PDE 估计类型。

2. 主要定理或主要结果

本文证明了三项严格结论：（1）分解引理（Resolution Lemma, Theorem 7.2）：对任意尺度 $r_k$，全尺度 CKN 坏性 $B_k = A_k + C_k + D_k$ 可唯一分解为粗尺度坏性 $B_k^{\mathrm{coarse}}$ 与子滤波残差 $\mathcal{R}_k$，即 $B_k = B_k^{\mathrm{coarse}} + \|\mathcal{R}_k\|_{\mathcal{X}_k}$，其中 $\mathcal{X}_k$ 为依赖于 $r_k$ 的 Hilbert 空间，且 $\mathcal{R}_k$ 在粗粒化算子 $S_{\ell_k}$ 下消失（$S_{\ell_k} \mathcal{R}_k = 0$）；（2）单尺度支配否定定理（Theorem 7.4）：不存在无条件的单尺度控制，即对任意固定 $\Lambda > 0$，不存在常数 $C_\Lambda > 0$ 使得对所有适合弱解 $(u,p)$ 及所有 $k$，均有 $\Psi(z_k, r_k) \le C_\Lambda \cdot \mathcal{M}_\Lambda(d_k)$，其中 $\mathcal{M}_\Lambda(d_k)$ 为任意符号化联合功探测器（signed combined-work detector），如 $\mathcal{M}_\Lambda(d) = \|O_\Lambda d\|_{Y_\Lambda} + C_R \operatorname{Rep}_\Lambda(d) + C_T \operatorname{Tax}_\Lambda(d)$；（3）条件闭包定理（Conditional Closure Theorem, Section 12）：若同时成立以下五项新估计，则存在 $\varepsilon_0 > 0$ 与 $\theta_0 \in (0,1)$，使得对任意 $z_0$，若其非-CKN 分支存在，则必有 $\Psi(z_0, r) < \varepsilon_0$ 对某个 $r = \theta_0^m r_0$ 成立——即奇异性被排除。这五项假设为：(i) 非循环缺陷提取定理（non-tautological defect extraction），即 $\|\mathcal{R}_k\|_{\mathcal{X}_k} \lesssim \ell_k^{-1} \|\nabla U_{\ell_k}\|_{L^2(Q_k)}^2$；(ii) 有用子滤波估计（useful subfilter estimate）：$\int_{Q_k} |\nabla \omega_{\ell_k}|^2 \,dx dt \gtrsim \ell_k^{-2} \int_{Q_k} |\omega_{\ell_k}|^2 \,dx dt$；(iii) 热泄漏吸收（caloric leakage absorption）：$\|\partial_t U_{\ell_k} - \Delta U_{\ell_k}\|_{L^{3/2}(Q_k)} \lesssim \|\nabla U_{\ell_k}\|_{L^2(Q_k)}$；(iv) 几何假设下的反向散射控制（backscatter control under geometric hypotheses）：若 $\|\nabla u\|_{L^2(Q_k)} \ge c_0 \ell_k^{-1/2}$，则 $\|R_{\ell_k}: \nabla U_{\ell_k}\|_{L^1(Q_k)} \le \frac{1}{2} \|\nabla U_{\ell_k}\|_{L^2(Q_k)}^2$；(v) 压力尾紧性（pressure-tail compactness）：序列 $\{P_{\mathrm{har}}^{(k)}\}$ 在 $L^{3/2}(Q_k)$ 中预紧。文中明确指出，上述五项均为待证猜想，其成立与否直接决定程序能否突破当前瓶颈。

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

本文的核心障碍在于：现有所有‘账簿’与‘缺陷包’均为有限尺度、有限窗口的代数或几何结构，而正则性要求的是尺度一致（scale-uniform）的分析控制。作者的真正创新点在于提出并形式化了‘阻碍演算’（obstruction calculus）这一元概念，并通过四层技术框架揭示其内在局限性。第一层是‘账簿-李雅普诺夫函数区分法’：Theorem 3.1 的临界账簿不等式 $B_{k+1} - (1-\alpha) B_k \le \mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}} + \mathrm{Leak}_k^{\mathrm{full}}$ 是严格的 PDE 定理，但它仅保证坏性的‘累积成本’非负（式 (3.13)），而非衰减；关键障碍在于 $\mathrm{Leak}_k^{\mathrm{full}}$ 项（式 (3.11)）的可和性无法由现有估计保证，且 $\mathrm{Tax}_k^{\mathrm{full}}$ 中的耗散 $2E_{k+1}$ 与 $B_k$ 无直接比较关系——这表明账簿不是李雅普诺夫泛函（Section 8.2）。第二层是‘商空间紧性陷阱’：Theorem 5.1 的有限窗口反幻影间隙定理依赖于核自由性假设 (5.3)，其常数 $\mu_\Lambda$ 随窗口 $\Lambda$ 增大而坍缩（‘finite-dimensional compactness merely turns qualitative kernel-freeness into a quantitative gap’），无法提供尺度一致下界——这是将代数商空间转化为 PDE 紧性的根本障碍（Section 8.3）。第三层是‘探测器-机制几何转换’：作者彻底放弃传统‘探测器几何’（detector geometry），即试图用单一符号化功泛函 $\mathcal{M}_\Lambda$ 控制 $\Psi$，转而构建‘机制几何’（mechanism geometry），其核心是滤波拉伸-扩散平衡（filtered stretching-diffusion balance）。具体而言，Theorem 10.4 的首个硬引理建立了滤波涡量恒等式

其中 $S_{\ell} = \frac{1}{2}(\nabla U_{\ell} + \nabla U_{\ell}^T)$，右侧首项为滤波拉伸项，其正部必须被扩散项 $2\int |\nabla \omega_{\ell}|^2 \phi \,dx$ 主导；而误差项包含子网格强迫 $\nabla \times (R_{\ell}: \nabla U_{\ell})$、压力尾 $\nabla \times \nabla P_{\mathrm{har}}$ 及方向非相干缺陷（direction-incoherence defects），这些正是 Section 9 所列新估计的目标。第四层是‘沉默机制分类学’（silent-mechanism dichotomy, Section 7.6）：作者证明，阻碍可分解为‘显式’（explicit）与‘沉默’（silent）两类；前者贡献于探测器 $\mathcal{M}_\Lambda$，后者则规避所有现有观测 $O_\Lambda$、再生残差 $\operatorname{Rep}_\Lambda$ 及税收 $\operatorname{Tax}_\Lambda$，仅在极限尺度显现——这解释了为何‘账簿’能定位阻碍却无法排除它。因此，全部技术工具服务于一个统一框架：将阻碍演算的失败归因于缺失‘滤波拉伸-扩散估计’，该估计必须同时处理子网格强迫、泄漏、压力尾与方向非相干性四项耦合效应。

4. 与之前工作的比较

本文与既有工作的差异体现在五个维度。第一，与 CKN 原始工作 [4,5,7] 相比：CKN 提供充分小性准则，本文则审计当该准则失效时的结构后果；CKN 使用经典能量与压力估计，本文引入粗粒化缺陷包 $D_{k,\ell}$（式 (4.9)）与雷诺协方差 $R_\ell \ge 0$（式 (4.2)），将压力分解为主动部分 $P^{\mathrm{act}}$ 与调和尾部 $P^{\mathrm{har}}$（式 (4.8)），后者在商清理中被显式计费，这是对 CKN 压力处理的根本拓展。第二，与一维分量正则性工作 [8–11] 相比：后者假设 $u_3$ 小或退化以导出正则性，本文明确论证此非本质机制（Section 1.3），因涡旋拉伸项 $(\omega \cdot \nabla)u$ 才是三维爆破的核心，故转向滤波涡量 $\omega_\ell$ 而非原始 $u_3$。第三，与粗粒化湍流理论 [12–15] 相比：后者关注统计平均，本文将 $S_\ell$ 严格置于适合弱解框架，要求缺陷包 $D_{k,\ell}$ 必须由真实 Navier-Stokes 解生成（NS-realizability filter），且强调其非正规形性质（Section 4.3），避免将 $R_\ell$ 视为任意扰动。第四，与近期有限链计数工作 [30] 相比：[30] 在 $u_3=0$ 极限类上证明 CKN 坏尺度计数，本文指出其无法闭合纯压力-通量探测器（Theorem-status map），并证明一般情形下无单尺度支配（Theorem 7.4），代价是放弃全局探测器，转而要求滤波拉伸-扩散的局部平衡。第五，与 Elgindi [19]、Chen-Hou [20,21] 的 Euler 奇异构造相比：这些工作展示特定几何下的拉伸主导爆破，本文则反向提问：Navier-Stokes 的粘性 $-\Delta u$ 如何在每一尺度上抑制此类拉伸？因此，新估计目标（Section 9）直指粘性耗散、子网格强迫与压力尾的定量竞争关系，而非仅复制 Euler 机制。文中未显式展开与 Aubin-Lions-Simon 紧性 [17] 的比较，但从 Theorem 5.1 注释可知，作者刻意区分有限维商紧性与 PDE 尺度一致紧性，表明现有框架尚未接入此类经典工具。综上，本文推进在于将问题从‘能否改进小性阈值’升维至‘阻碍的拓扑结构与尺度动力学’，其代价是暂时搁置构造性证明，转而进行严格的结构性诊断。

4. 三维正锥Oldroyd-B流：几何延拓准则与剩余功准则

Three-Dimensional Positive-Cone Oldroyd-B Flows:Geometric Continuation and Residual-Work Criteria

作者: Sai Peng

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

发布日期: 2026-06-24

arXiv ID: 2606.25438v1

摘要翻译: 我们在环面上证明了无应力扩散Oldroyd-B系统的三维正锥延拓准则。将正构象张量写作 A = exp(B)，我们表明：对任意强 H^s 解（s > 5/2），其有限时间破裂仅可能通过 A 的对数谱包络的丧失，或由 curl u 的 B^0_{infty,1} 范数的时间积分所给出的端点涡度钟的发散而发生。该证明结合了紧致正锥包络、端点Biot-Savart估计以及高阶对数构象估计，且未使用应力扩散项。我们还导出了一个具精确剩余功代价的正锥Reynolds可容许性准则。为支付无正压剩余功所需的最小 L^2 构象剩余，由熵对偶杠杆 G = I - A^{-1} 所确定，且该代价在平衡态 A = I 附近定量退化。这两个准则共同刻画了强解与松弛描述两种情形下相同的正锥障碍：在破裂发生前，必须控制紧致对数锥上的端点流钟；而在过渡至松弛描述后，正剩余功必须由精确的熵对偶构象缺陷来支付。

Comment: 无

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

1. 研究对象和背景

本文研究三维周期环面 $ \mathbb{T}^3 $ 上无应力扩散（stress-diffusion-free）的不可压缩Oldroyd-B系统，其方程组为：

其中 $ u : [0,T) \times \mathbb{T}^3 \to \mathbb{R}^3 $ 为速度场，$ A : [0,T) \times \mathbb{T}^3 \to S^3_{++} $ 为正定对称构象张量（conformation tensor），$ S^3_{++} \subset \mathbb{R}^{3\times 3} $ 表示实对称正定矩阵锥；参数 $ \nu > 0 $ 为粘性系数，$ \alpha > 0 $ 为弹性应力耦合强度，$ \lambda > 0 $ 为松弛时间。该模型描述高韦森伯格（high-Weissenberg）下聚合物流体的本构响应，在缺乏应力扩散项 $ \kappa \Delta A $（即 $ \kappa = 0 $）时，构象方程 $ (1.2) $ 在空间变量上退化为一阶双曲型输运-拉伸-松弛系统，丧失任何抛物正则化效应。因此，解的正则性完全依赖于速度场的耗散、构象张量在正锥内的几何约束以及输运与拉伸之间的精细平衡。

关键未知量为 $ (u,A) $ 的强解在有限时间内是否发生爆破（blow-up），即是否存在最大存在时间 $ T^* < \infty $ 使得 $ \|u(t)\|_{H^s} + \|A(t)-I\|_{H^s} \to \infty $ 当 $ t \uparrow T^* $。由于 $ A $ 必须始终位于开锥 $ S^3_{++} $ 内，其谱退化（如最小特征值趋零或最大特征值爆炸）是自然的奇点机制；而另一方面，经典BKM型准则指出，Navier-Stokes类系统的爆破必伴随涡量 $ \omega = \mathrm{curl}\, u $ 的某种临界积分发散。然而，Oldroyd-B系统中涡量与构象张量通过非线性耦合项 $ \nabla u A + A(\nabla u)^\top $ 相互作用，使得单一涡量判据不再封闭——必须同时刻画 $ A $ 的谱行为与 $ u $ 的Lipschitz正则性之间的耦合动力学。

已有理论背景可分为三支：(i) 带应力扩散（$ \kappa > 0 $）的情形，如[7,9,12]，利用 $ \kappa \Delta A $ 提供的额外 $ H^2 $ 正则性，可建立全局弱解或大初值强解；(ii) 小初值或结构增强情形，如[22]（小数据无阻尼）、[23]（解析初值）、[16]（混合偏耗散）、[6]（无粘阻尼极限），均回避了强非线性双曲-椭圆耦合的本质困难；(iii) 对数构象变量方法，起源于二维情形[19]，将 $ A = e^B $，以 $ B = \mathrm{Log}\, A \in S^3 $ 为基本变量，从而将正锥约束转化为 $ L^\infty $ 型谱控制：$ \|B\|_{L^\infty} \leq K \iff e^{-K} I \leq A \leq e^K I $。该变换使熵泛函 $ \Phi_3(A) = \mathrm{tr}\, A - \log\det A - 3 $ 的导数显式化为 $ D\Phi_3(A) = I - A^{-1} $，并揭示出能量-熵恒等式中的关键代数结构（见Proposition 2.3）。但三维情形下，$ u $ 不再由标量涡量决定，Biot-Savart律失效于 $ L^\infty $，迫使作者寻求更精细的端点空间刻画。

本文试图填补的核心空白在于：在完全缺失应力扩散的前提下，为三维Oldroyd-B系统建立一个几何上清晰、分析上紧致、且与物理机制直接对应的有限时间爆破必要条件。该条件需同时满足：(a) 区分构象张量的谱退化（$ \|\mathrm{Log}\, A\|_{L^\infty} \to \infty $）与速度场的端点振荡（vorticity clock发散）；(b) 在不引入任何人工正则化或小参数假设下，仅依赖系统固有结构（正锥、对数变量、端点Besov空间）；(c) 与后续松弛解（relaxed solution）框架兼容，为弱解适定性提供统一障碍刻画。特别地，现有文献[14,5,11]的爆破准则多基于 $ \|\nabla u\|_{L^\infty} $ 或 $ \|A\|_{L^\infty} $，但二者均非不变量——$ \|A\|_{L^\infty} $ 无法控制下界，$ \|\nabla u\|_{L^\infty} $ 在端点尺度下不可积；而本文提出的 $ \|\mathrm{Log}\, A\|_{L^\infty} $ 与 $ \int_0^{T^*} \|\omega(t)\|_{B^0_{\infty,1}} dt $ 则分别精确捕获谱包络的紧致性与Lagrangian流的双Lipschitz性，构成真正几何化的障碍。

2. 主要定理或主要结果

本文证明两个核心定理，均针对 $ s > 5/2 $ 的强解 $ (u,A) $，定义在最大存在区间 $ [0,T^*) $ 上，满足 $ u \in C([0,T^*); H^s_\sigma(\mathbb{T}^3)) \cap L^2_{\mathrm{loc}}([0,T^*); H^{s+1}) $，$ A-I \in C([0,T^*); H^s) $，且 $ A(t,x) \in S^3_{++} $。

定理1.1（几何延拓准则）：若 $ T^* < \infty $，则必有

等价地，若在有限区间 $ [0,T) $ 上满足

则强解可延拓至 $ t > T $。此处 $ \omega = \mathrm{curl}\, u $，$ B^0_{\infty,1} $ 范数定义为 $ \|f\|_{B^0_{\infty,1}} = \sum_{j \geq -1} \|\Delta_j f\|_{L^\infty} $，对应标准Littlewood-Paley分解。

推论1.2（纯涡量端点障碍）：在定理1.1假设下，有限时间爆破必然导致

该推论成立的关键在于引理3.1给出的端点Biot-Savart估计：$ \|\nabla u\|_{L^\infty} \lesssim \|\omega\|_{B^0_{\infty,1}} $，从而 $ \int_0^{T^*} \|\nabla u\|_{L^\infty} dt < \infty $ 蕴含Lagrangian流的双Lipschitz性，进而由命题2.5保证 $ \|\mathrm{Log}\, A\|_{L^\infty} $ 一致有界。故谱项在准则中非独立障碍。

定理1.4（精确残余功判据）：对光滑正锥Reynolds态 $ (u,p,B) $，令 $ A = e^B $，定义构象残差 $ S[u,B] = \partial_t A + u \cdot \nabla A - \nabla u A - A(\nabla u)^\top + \lambda^{-1}(A-I) $ 与无压动量残差 $ N[u,B] = \partial_t u + \mathrm{div}(u \otimes u) - \nu \Delta u - \alpha \, \mathrm{div}(A-I) $。设 $ R_N = \mathcal{A} N[u,B] $ 为由反散度算子 $ \mathcal{A} $ 构造的典范对称无迹反散度（Proposition 7.3），并记

若该Reynolds态满足能量-熵相容性，则对几乎处处 $ t $，有

进一步，当 $ G(t) \not\equiv 0 $ 时，所有满足符号功约束 $ P(t) + \frac{\alpha}{2} \int_{\mathbb{T}^3} G(t) : S(t) \, dx \leq 0 $ 的候选构象残差 $ S(t,\cdot) \in L^2(\mathbb{T}^3; S^3) $ 中，$ L^2 $-范数最小者为

且当 $ P(t) > 0 $ 时，唯一极小元为

若 $ G(t) \equiv 0 $（即 $ A(t) = I $ a.e.），则相容性强制 $ P(t) \leq 0 $。该估计在代数层面维数无关，三维特异性仅体现于对称无迹反散度 $ \mathcal{A} $ 的构造。

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

证明的核心障碍在于：在缺失应力扩散项的极端双曲设定下，如何将构象张量 $ A $ 的正锥约束、速度场 $ u $ 的端点正则性、以及二者通过 $ \nabla u A + A(\nabla u)^\top $ 产生的强非线性耦合，统一纳入一个闭合的能量估计框架。传统方法（如直接估计 $ \|A\|_{H^s} $）因无法控制 $ A $ 的下界谱而失效；而基于 $ \|\nabla u\|_{L^\infty} $ 的准则又因该范数在端点尺度下不可积而无法积分。作者的真正创新点在于构建了一个三重嵌套的端点分析框架，其支柱为：

1. 紧致正锥包络（Compact Positive-Cone Envelopes）：不直接控制 $ A $，而是通过变量替换 $ A = e^B $，将问题转为对 $ B = \mathrm{Log}\, A $ 的估计。关键观察是 $ \|B\|_{L^\infty} \leq K $ 等价于 $ e^{-K} I \leq A \leq e^K I $，即 $ A $ 被严格夹在紧致锥内。这使得所有矩阵函数（如 $ e^B $、$ \mathrm{Log}\, e^B $）在 $ |B| \leq K $ 上成为光滑紧致范围映射，从而触发附录A中的“紧致范围复合引理”（compact-range composition lemma）：对 $ s > 5/2 $，有等价性 $ \|e^B - I\|_{H^s} \sim_{K,s} \|B\|_{H^s} $（引理4.1）。此等价性是连接构象高阶正则性与对数变量的桥梁，避免了对 $ A $ 本身进行危险的倒数或逆运算。

2. 端点Biot-Savart估计（Endpoint Biot-Savart Estimate）：三维中 $ \|\nabla u\|_{L^\infty} $ 无法由 $ \|\omega\|_{L^\infty} $ 控制，但作者证明 $ \|\nabla u\|_{B^0_{\infty,1}} \lesssim \|\omega\|_{B^0_{\infty,1}} $（引理3.1）。该估计的根基在于：在 $ \mathbb{T}^3 $ 上，$ \mathrm{curl}\, u = \omega $ 的零频消失，且 $ \widehat{\nabla u}(k) = i k \otimes (k \times \widehat{\omega}(k)) / |k|^2 $ 是零阶Fourier乘子。利用附录A中零阶周期乘子在 $ B^0_{\infty,1} $ 上的有界性（Lemma A.1），结合端点嵌入 $ \|g\|_{L^\infty} \leq \|g\|_{B^0_{\infty,1}} $，得到 $ \|\nabla u\|_{L^\infty} \lesssim \|\omega\|_{B^0_{\infty,1}} $。此估计是整个准则的“计时器”——$ \int_0^T \|\omega\|_{B^0_{\infty,1}} dt < \infty $ 直接推出Lagrangian流的双Lipschitz性，从而保证 $ A $ 的谱包络不破裂（命题2.5）。

3. 高阶对数构象估计（High-Order Logarithmic Conformation Estimates）：对 $ B $-方程 $ \partial_t B + u \cdot \nabla B = L(B,u) $ 进行 $ H^s $ 能量估计。难点在于源项 $ L(B,u) = d\mathrm{Log}_{e^B}(\nabla u e^B + e^B(\nabla u)^\top - \lambda^{-1}(e^B - I)) $ 的处理。作者发展了Frechet对数导数的Loewner表示（公式4.2）：

并在 $ e^{-K} I \leq A \leq e^K I $ 下获得Sobolev范数估计（公式4.3）。更重要的是，利用 $ d\mathrm{Log}_I = \mathrm{id} $ 及紧致范围复合，将拉伸项线性化为 $ \nabla u + (\nabla u)^\top + Q(B)\nabla u $，其中 $ Q(0)=0 $；松弛项则精确化为 $ -\lambda^{-1}(I - e^{-B}) $，其 coercivity $ (I - e^{-B}) : B \gtrsim_K |B|^2 $（引理4.1末尾）提供了关键的耗散下界。最终得到对数高阶估计（公式4.8）：

该式与速度高阶估计（公式4.9）相加后，$ \nu \|u\|_{H^{s+1}}^2 $ 项被吸收，Gronwall不等式闭合，完成延拓论证。

4. 与之前工作的比较

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

1. 与经典BKM型准则的比较：Beale-Kato-Majda对Navier-Stokes的判据为 $ \int_0^{T^*} \|\omega(t)\|_{L^\infty} dt = \infty $；Chae–Cordoba–Gancedo对Oldroyd-B的早期工作[14]使用 $ \|\nabla u\|_{L^\infty} $ 或 $ \|A\|_{L^\infty} $。本文的根本推进在于：(i) 将涡量空间从 $ L^\infty $ 提升至端点Besov空间 $ B^0_{\infty,1} $，这是最优的——$ B^0_{\infty,1} $ 是唯一同时满足 $ \|\nabla u\|_{L^\infty} \lesssim \|\omega\|_{B^0_{\infty,1}} $（Biot-Savart）和 $ \|\cdot\|_{B^0_{\infty,1}} $ 具有dyadic summability（用于输运交换子估计）的空间；(ii) 用 $ \|\mathrm{Log}\, A\|_{L^\infty} $ 替代 $ \|A\|_{L^\infty} $，前者是正锥的内在几何量，后者无法防止 $ A $ 的最小特征值坍缩（如 $ A = \mathrm{diag}(\varepsilon,1,1) $ 时 $ \|A\|_{L^\infty} $ 有界但 $ A \notin S^3_{++} $ 在极限下失效）。代价是技术复杂度显著增加，需全套端点分析工具。

2. 与带应力扩散模型的比较：文献[7,9,12]通过 $ \kappa \Delta A $ 获得 $ \|A\|_{H^2} $ 控制，从而轻易闭合估计。本文完全放弃此路径，证明在 $ \kappa = 0 $ 时，仅靠速度耗散 $ \nu \Delta u $、松弛项 $ \lambda^{-1}(A-I) $ 和正锥几何，仍可提取有效控制。适用范围更广（涵盖高韦森伯格极限），但要求更强的初始正则性（$ s > 5/2 $）和更精细的端点空间选择。文中明确指出，此类结果“does not close the large-data, three-dimensional, stress-diffusion-free positive-cone problem”，即本文准则是一个必要条件而非充分条件，未解决全局正则性这一终极问题。

3. 与二维正锥准则的比较：参考文献[19]在二维中建立了 $ \|\mathrm{Log}\, A\|_{L^\infty} + \int_0^{T^*} \|\omega(t)\|_{L^\infty} dt = \infty $ 准则。本文将其推广到三维，但关键差异在于：二维中 $ \omega $ 是标量，$ \|\omega\|_{L^\infty} $ 自动控制 $ \|\nabla u\|_{L^\infty} $；三维中必须升级至 $ B^0_{\infty,1} $，且证明中首次系统运用了端点交换子估计（引理4.2）和Loewner型对数导数（引理4.1），这些工具在二维中非必需。

4. 与残余功理论的比较：定理1.4的创新在于将Reynolds残差的灵活性（动量残差可通过反散度自由调整）与刚性（构象残差必须沿熵对偶方向 $ G = I - A^{-1} $ 做功）严格分离。此前弱解理论（如[8]）仅定性提及“signed work constraints”，本文则给出精确的Hilbert空间极小化公式（公式1.5），并量化了代价的退化行为：当 $ A \to I $（平衡态）时，$ \|G\|_{L^2} \to 0 $，故 $ \min \|S\|_{L^2} \sim [P]_+ / \|G\|_{L^2} \to \infty $，表明在平衡附近产生正残余功需无限大的构象缺陷。这一退化结构是原文未在其他文献中显式揭示的物理机制。从提供内容中无法确认该残差公式是否首次出现，但作者强调其“exact cost”和“quantitative degeneration”为新贡献。

5. Navier-Stokes 方程 CKN 奇异性粗粒度分解与压力-通量功耗散

Coarse-Grained Resolution and Pressure-Flux Work Depletion for Navier-Stokes CKN Badness

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25322v1

摘要翻译: 我们在 Caffarelli-Kohn-Nirenberg 局部正则性框架附近，对三维不可压 Navier-Stokes 方程证明了一个有限尺度的粗粒度分解。第一部分是一个关于尺度临界量的局部分辨率引理：对任意空间滤波长度 \ell > 0，有 \Psi(r) \leq 4 \Psi^\ell(r) + 4 \Omega^\ell(r)，其中 \Psi^\ell(r) 是相应的粗粒度速度-压力量，\Omega^\ell(r) 是显式定义的亚滤波残差。因此，一个 CKN-奇异尺度要么在已分辨尺度上可见，要么由未分辨的速度-压力振荡携带。第二部分是一个关于联合压力-通量功分布 G^\ell = \Pi^\ell + \mathrm{div}(P^\ell U^\ell) 的精确固定链耗散定理，其中 \Pi^\ell = -R^\ell : \nabla U^\ell，该量即局域化已分辨能量平衡中出现的带号功密度。对于具有公共端点迹的有限维活跃测试族，我们得到一个构造性的活跃功提取以及一个加权望远镜不等式：前向联合功与已分辨耗散由初始局域化动能、显式的局域化泄漏项及负联合功/反向散射共同支付。

Comment: 无

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

1. 研究对象和背景

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

的局部正则性理论中核心的Caffarelli-Kohn-Nirenberg（CKN）病态性问题。设 $(u,p)$ 是定义在开集 $Q \subset \mathbb{R}^3 \times \mathbb{R}$ 上的适定弱解，其局部能量不等式成立（见定义2.1）。CKN理论的关键在于尺度临界量 $\Psi(z_0,r)$ 的控制：对抛物柱体 $Q_r(z_0) = B_r(x_0) \times (t_0 - r^2, t_0)$，定义

其中 $(p)_{B_r(x_0)}(t)$ 是压力在空间球上的平均值，该减法对任意时间依赖的加性函数 $a(t)$ 不变，从而保证了压力的规范不变性。CKN定理断言：若存在 $\varepsilon_0 > 0$ 使得对某序列 $r_k \to 0$ 满足 $\Psi(z_0, r_k) \ge \varepsilon_0$，则 $z_0$ 是奇异点；反之，若对所有充分小的 $r$ 有 $\Psi(z_0,r) < \varepsilon_0$，则解在 $z_0$ 附近是Hölder连续的。因此，$\Psi(z_0,r)$ 是探测局部奇异性最自然的尺度临界指标。然而，在数值模拟、湍流建模及基于滤波的分析中，人们无法直接观测全分辨率场 $(u,p)$，而只能获得其粗粒化版本 $(U^\ell, P^\ell) = (S_\ell u, S_\ell p)$，其中 $S_\ell f = \rho_\ell *_{x} f$ 是空间卷积型滤波器，$\rho_\ell(x) = \ell^{-3} \rho(x/\ell)$，$\ell > 0$ 为滤波长度。相应地，定义粗粒化CKN量

和子滤波残差

问题本质在于：当一个尺度 $r$ 是CKN病态的（即 $\Psi(z_0,r) \ge \varepsilon_0$），该病态性是否必然在粗粒化场 $(U^\ell,P^\ell)$ 中可见？抑或它可能完全隐藏于残差 $(u-U^\ell, p-P^\ell)$ 中，从而导致基于 $(U^\ell,P^\ell)$ 的探测器失效？已有工作如Caffarelli-Kohn-Nirenberg [3,4]、Scheffer [5]、Kukavica [6]、Vasseur [7]、Gustafson-Kang-Tsai [8] 等均在全分辨率框架下建立正则性准则，未处理滤波引入的信息损失；而Duchon-Robert [10]、Constantin-Titi [11]、Cheskidov-Constantin-Friedlander-Shvydkoy [12]、Drivas-Najafi [13] 等虽引入粗粒化，但聚焦于能量输运与反常耗散，未系统建立CKN量的分解机制。本文旨在填补这一空白：构建一个严格、代数、与方程无关的分解恒等式，将全分辨率CKN病态性 $\Psi$ 完全拆解为粗粒化可观测部分 $\Psi^\ell$ 与子滤波残差 $\Omega^\ell$ 的和，从而为设计鲁棒的、基于粗粒化观测的奇异性探测器提供理论基础。

2. 主要定理或主要结果

本文证明了两个核心定理。第一，分辨率引理（Theorem 3.1）：对任意局部可积场 $(u,p)$ 满足 $u \in L^3_{\mathrm{loc}}, p \in L^{3/2}_{\mathrm{loc}}$，以及任意滤波长度 $\ell > 0$，在任意抛物柱体 $Q_r(z_0)$ 上，有

更精细的估计为

该不等式是纯代数的，不依赖于Navier-Stokes方程本身，亦无需对 $\ell/r$ 施加小性假设（Remark 3.3）。其直接推论是粗粒化可见性准则（Corollary 3.2）：若 $\Psi(z_0,r) \ge \varepsilon_0$ 且 $\Omega^\ell(z_0,r) \le \eta \varepsilon_0$（其中 $0 < \eta < 1/4$），则必有

第二，固定链功耗竭定理（Theorem 4.1）：设 $\{ Q_{r_k}(z_0) \}_{k=0}^{N-1}$ 是一个公比为 $\theta \in (0,1)$ 的几何尺度链，$r_k = \theta^k r_0$。对每个尺度 $r_k$，定义组合压力-通量功分布

设 $\{ \psi_k \}_{k=0}^{N-1}$ 是一族有限维活跃测试函数，满足共同端点迹条件（common endpoint traces），并赋予非负权重 $w_k$。则存在一个构造性的活跃功提取过程，使得加权望远镜求和不等式成立：

其中 $\phi_k$ 是对应于 $Q_{r_k}$ 的截断函数，$\mathcal{L}^\ell$ 是显式的局域化泄漏项（explicit localization leakage），其形式为

而右侧最后一项 $(-G^\ell)_+$ 表征反向散射（backscatter）。该定理表明，前向的组合功与已分辨耗散由初始局域动能、泄漏项及负功（反向散射）共同支付。

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

证明的核心障碍在于：如何将非线性、非局部、且具有规范不变性的CKN量 $\Psi$ 分解为粗粒化与残差两部分，同时保持尺度临界性与代数精确性。作者的真正创新点在于摒弃传统能量估计或紧性论证，转而采用纯粹的代数不等式与投影算子的线性性质。首先，在分辨率引理的证明中（Section 3.4），关键工具是初等不等式 $|a+b|^3 \le 4(|a|^3 + |b|^3)$ 和 $|a+b|^{3/2} \le 2^{1/2}(|a|^{3/2} + |b|^{3/2})$，结合压力投影 $P_{r,z_0}$ 的线性性（公式 (2.2) 和 (3.12)）。这确保了分解不依赖于方程结构，且常数 $4$ 和 $2^{1/2}$ 是最优的（由不等式取等条件可知）。其次，为量化残差 $\Omega^\ell$，作者引入局域空间增量模（spatial increment modulus） $m_q(f; z_0, r, \ell)$（定义 (3.15)），并证明其与滤波误差的直接联系（Lemma 3.7）。这一工具将残差控制转化为对速度与压力的局域平滑性的度量，进而导出Besov型估计（Corollary 3.9）：若 $u$ 和 $p$ 分别属于 $B^{\alpha}_{3,\infty}$ 和 $B^{\beta}_{3/2,\infty}$ 空间，则 $\Omega^\ell(z_0,r) \lesssim (\ell/r)^{3\alpha} + (\ell/r)^{3\beta/2}$。第三，在压力残差分析中（Section 3.6），作者采用标准的Calderón-Zygmund分解：将压力分裂为局域部分 $p_{\mathrm{loc}} = R_i R_j (\chi u_i u_j)$（其中 $R_i$ 为Riesz变换）与调和部分 $p_h = p - p_{\mathrm{loc}}$。对 $p_{\mathrm{loc}}$，利用奇异积分算子的 $L^{3/2}$ 有界性（公式 (3.26)）；对 $p_h$，则利用调和函数的内正则性（Lemma 3.11），得到 $\|P_r(p_h - S_\ell p_h)\|_{L^{3/2}(Q_r)} \lesssim (\ell/(R-r))^{3/2} \|p_h - (p_h)_{B_R}\|_{L^{3/2}(Q_R)}$。这一分离明确指出，残差中的“沉默通道”（silent channel）主要来自调和压力尾部，而非规范自由度。最后，在功耗竭定理的证明中（Section 4），核心框架是将Navier-Stokes方程作用于粗粒化场 $(U^\ell, P^\ell)$ 后，对局部化的已分辨能量恒等式进行加权求和。关键引理是局部组合功恒等式（Local combined work identity）：

将 $\Pi^\ell \phi + \nabla \cdot (P^\ell U^\ell) \phi$ 合并为 $G^\ell \phi$，再对链上各尺度积分并加权，即得望远镜不等式。整个框架的精妙之处在于，它不试图证明 $G^\ell$ 的符号恒正（这在物理上不成立），而是将前向功与耗散的总支出精确地归因于初始能量、泄漏与反向散射三者，从而为探测器设计提供了可验证的收支平衡表。

4. 与之前工作的比较

本文与既有工作的根本区别在于目标与方法论。CKN理论的经典工作（Caffarelli-Kohn-Nirenberg [3,4], Lin [9]）致力于在全分辨率下建立最小的正则性准则，其结论是存在性定理（existence of regular points），而非构造性分解。本文则转向“可观测性”问题：当观测被强制粗粒化时，如何保证病态性不被滤波器抹除？这与Duchon-Robert [10] 或Drivas-Najafi [13] 的能量输运研究有本质不同：后者关注 $\Pi^\ell$ 的符号与大小以论证反常耗散，而本文关注的是 $\Psi$ 的代数分解，其对象是尺度临界量而非能量通量。在粗粒化技术层面，本文的分辨率引理（Theorem 3.1）比Cheskidov et al. [12] 的滤波能量不等式更精细：后者给出 $\|u\|_{L^3}^3 \lesssim \|U^\ell\|_{L^3}^3 + \|u-U^\ell\|_{L^3}^3$，但未处理压力项，也未给出 $\Psi$ 层面的定量系数；本文则完整处理了 $|P_{r,z_0}p|^{3/2}$ 项，并导出显式常数 $4$ 和 $2^{1/2}$。在适用范围上，本文假设极弱（仅 $L^3$ 和 $L^{3/2}$ 局部可积），远宽于Vasseur [7] 要求的 $L^\infty_t L^2_x \cap L^2_t H^1_x$ 或Gustafson-Kang-Tsai [8] 的 $L^3_t L^3_x$ 条件。代价是：本文的分解本身不提供正则性，它只是一个“信息守恒”声明；真正的正则性仍需额外的粗粒化可观测性估计（Proposition 3.5 中的假设 (3.8)），而该估计的证明被明确列为开放问题，可能失败于压力-通量抵消、调和压力尾部或相干低频剖面（Remark 3.6）。相比之下，CKN定理的原始证明 [3,4] 通过De Giorgi迭代与内在尺度分析，直接从 $\Psi < \varepsilon_0$ 推出Hölder连续性，但其方法无法移植到粗粒化场景。此外，本文的固定链功耗竭定理（Theorem 4.1）与Constantin-Titi [11] 的$\Pi^\ell$估计形成对比：后者证明 $\Pi^\ell$ 在平均意义上趋于零（作为 $\ell \to 0$ 的极限），而本文则在一个固定的、有限的尺度链上，对 $G^\ell$ 给出精确的收支不等式，且权重 $w_k$ 可根据探测器需求构造，这是为实际算法设计提供的新工具。最后，在技术细节上，本文对压力残差的调和部分（Lemma 3.11）给出了比Kukavica [6] 更精细的估计，后者仅使用全局Sobolev嵌入，而本文利用调和函数的内正则性，将误差控制在 $(\ell/(R-r))^{3/2}$ 阶，凸显了局域几何（$R-r$）的重要性。综上，本文不是对CKN理论的改进，而是为其在计算与观测受限环境下的应用铺设了一条新的、严格的数学桥梁。

6. 正锥Oldroyd-B与FENE-P雷诺态的尖锐剩余功判据

Sharp Residual-Work Criteria for Positive-Cone Oldroyd-B and FENE-P Reynolds States

作者: Sai Peng

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

发布日期: 2026-06-24

arXiv ID: 2606.25309v1

摘要翻译: 我们证明了在弹性变量被正锥或有限伸展性区域所约束的粘弹性模型中，熵可容许雷诺态的尖锐剩余功判据。该论证针对一类熵对偶闭包公式展开，其中熵杠杆与弹性应力满足相容性关系。对于无应力扩散项的Oldroyd-B系统，以正锥变量 A=e^B 表达，我们推导出一个精确的缺陷功恒等式，并从动量剩余项中消去压力项与平均模态。由此得到的压力自由可容许性条件是一个带符号的功不等式，将构型剩余项与熵对偶杠杆 I-A^{-1} 耦合起来。该判据给出最优逐点代价、唯一对齐的极小化剩余项、一个窗口化的三通道替代方案，以及针对结构化族的闭合排除检验。我们亦证明了相应的熵对偶闭包定理，并将FENE-P情形作为有限伸展性的推论予以恢复。一个具体的有限厚度剪切层构造表明：正的压力自由功可超越可用的杠杆–剩余项–对齐预算，从而给出一个规范不变的剩余层级阻碍。

Comment: 无

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

1. 研究对象和背景

本文研究应力无扩散Oldroyd-B系统及其有限伸展推广FENE-P模型中雷诺态（Reynolds states）的能量–熵相容性问题。核心对象是定义在二维环面 $\mathbb{T}^2$ 上的正定构象张量 $A(t,x) \in \mathbb{S}^{2}_{++}$，其通过对数参数化自动满足正锥约束：

其中 $\mathbb{S}^2$ 表示实对称二阶张量空间。该参数化将物理约束 $A > 0$ 转化为无约束变量 $B$ 的光滑流形结构，避免了直接处理边界退化（如 $\det A \to 0$）带来的奇异性。系统动力学由如下正锥Oldroyd-B雷诺态方程组刻画：

其中 $u$ 为不可压速度场（$\operatorname{div} u = 0$），$p$ 为压力，$R \in \mathbb{S}^2$ 和 $S \in \mathbb{S}^2$ 分别为动量与构象残差（Reynolds defects），代表未解析尺度对宏观平衡的贡献；$\nu > 0$ 为溶剂粘度，$\alpha > 0$ 为弹性模量，$\lambda > 0$ 为松弛时间。关键物理量是弹性熵密度 $\Phi(A) = \operatorname{tr} A - \log \det A - 2$，其关于 $A$ 的导数给出熵对偶杠杆（entropy-dual lever）：

此杠杆在能量–熵恒等式中自然出现，且在平衡态 $A = I$ 处 vanish，其大小 $|G|$ 在谱窗 $m I \leq A \leq M I$ 上与 $|A - I|$ 等价（引理3.4）。系统自由能定义为

并满足缺陷功恒等式（命题3.5）：

其中 $D(u) = \frac{1}{2}(\nabla u + \nabla u^T)$ 为对称梯度。传统弱解框架（如Lions–Masmoudi [13]）仅记录全局非正耗散律 $\int (-R:D(u) + \frac{\alpha}{2} G:S) \leq 0$，但该不等式无法区分残差方向——例如，大正动能缺陷功 $-R:D(u)$ 可被大负构象功 $\frac{\alpha}{2} G:S$ 补偿，导致方向信息湮灭。本文旨在填补这一空白：在移除压力（即商去各向同性张量 $pI$）和空间均值后，提取出一个局部、符号化、尖锐的残差级相容性条件，该条件直接耦合构象残差 $S[u,B]$ 与杠杆 $G$，从而揭示正锥约束对残差方向施加的本质限制。此问题的重要性在于：它独立于具体构造方案（如凸积分、近似序列），为任何简化模型、结构试探解或局部修正提供坐标无关、可计算的必要检验；尤其在无应力扩散情形下，缺乏紧性机制，此类代数判据成为判断物理合理性的首要门槛。

2. 主要定理或主要结果

本文建立了一套完整、尖锐的残差功判据体系，其核心定理如下。

定理1.1（残差功阻碍定理）：设 $(u,p,B)$ 是时间区间 $I$ 上的残差匹配剖面（residual-matching profile），定义 $A = e^B$，$G = I - A^{-1}$，并令 $P(t) = \int_{\mathbb{T}^2} -R_N(t) : D(u(t)) \, dx$ 为其压力自由功（Definition 4.2），其中 $R_N$ 是零均值动量残差 $N_0$ 的对称反散度代表元。对几乎处处 $t$，定义对齐效率 $\eta_{\mathrm{al}}(t)$ 为

若对应残差匹配态能量–熵相容，则必有逐点不等式

进而，对任意可测子集 $E \subset I$，定义窗口化残差功数据 $(W_E, L_E, S_E, \eta_E)$：

则有窗口化判据

最优性与唯一性：对固定 $t$，若 $P(t) > 0$ 且 $G(t) \not\equiv 0$，则平衡该正功所需的最小 $L^2$ 构象残差范数为

且唯一达到此最小值的残差为

定理1.3（结构族闭合检验）：设 $(u_\varepsilon, B_\varepsilon)$ 是时间窗 $E$ 上的光滑残差匹配态族，其残差功数据为 $(W_E^\varepsilon, L_E^\varepsilon, S_E^\varepsilon, \eta_E^\varepsilon)$。若存在常数 $W^* > 0$, $L^*, S^*, \eta^*$ 满足

则该族中无一成员在 $E$ 上能量–熵相容。反之，若精确残差匹配成立且 $P^\varepsilon \leq 0$ 当 $G^\varepsilon \equiv 0$，并可分解 $S[u_\varepsilon, B_\varepsilon] = S_{\mathrm{pay}}^\varepsilon + Z^\varepsilon$，其中

且 $\int_{\mathbb{T}^2} G^\varepsilon : Z^\varepsilon \, dx \leq 0$ 几乎处处成立，则压力自由能量–熵功判据在 $E$ 上满足。

FENE-P推论：在有限伸展域 $C > 0$, $\operatorname{tr} C < b$ 上，Peterlin应力与杠杆 $G_b(C) = D\Phi_b(C)$ 满足相同的熵对偶相容性，故上述所有判据以 $G_b$ 替换 $G$ 后，在紧致有限伸展包络上依然成立。

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

证明的核心障碍在于：如何从全局能量–熵恒等式中剥离出压力自由、均值消除、符号明确的残差级约束，同时保持尖锐性（即最优常数与唯一极小元）。作者的真正创新点并非引入新泛函，而是构建了一个精密的“残差诊断框架”，其包含四个相互独立、缺一不可的技术模块。

1. 缺陷功恒等式（Defect-work identity）的精准重构：标准能量测试会混入压力项与传输项。作者的关键操作是：对动量方程(1)用 $u$ 测试，对构象方程(2)用 $\frac{\alpha}{2} G = \frac{\alpha}{2}(I - A^{-1})$ 测试，并利用 $G$ 的特殊代数性质：$G$ 与 $A$ 可交换，且 $G:(\nabla u \, A + A (\nabla u)^T) = 2(A-I):\nabla u$（引理3.4及命题3.5证明）。这使得主应力功 $-\alpha \int (A-I):\nabla u$ 在动能与弹性平衡中完全抵消，从而将缺陷项 $-R:D(u) + \frac{\alpha}{2} G:S$ 从耗散项中干净分离出来，构成恒等式的右端。此恒等式是后续所有分析的基石。

2. 压力自由商空间（Pressure-free quotient space）的规范构造：动量残差 $R$ 的物理意义仅体现在其散度 $\operatorname{div} R$ 上，而 $R$ 本身具有巨大规范自由度：可叠加任意散度为零的对称张量 $Q$ 或各向同性张量 $pI$。作者严格定义了商空间 $\{R\}/\{Q + pI: \operatorname{div} Q = 0\}$（Definition 4.1–4.2），并证明压力自由功 $P(t) = \int -R_N : D(u) \, dx$ 在此商空间上良定义且不变（Lemma 4.5）。这一步彻底移除了压力与均值模态，使 $P(t)$ 成为一个真正的、与坐标系无关的标量观测量，这是获得尖锐判据的前提。

3. Hilbert空间中的符号极小化（Signed Hilbert-space minimization）：给定 $G(t)$，不等式 $[P(t)]^+ \leq \frac{\alpha}{2} \langle G, S \rangle_{L^2}$ 要求 $S$ 在 $G$ 方向的投影足够负。作者将此转化为 $L^2$ 空间中的经典极小化问题：在约束 $\langle G, S \rangle_{L^2} \geq \frac{2[P(t)]^+}{\alpha}$ 下最小化 $\|S\|_{L^2}$。由Cauchy-Schwarz不等式，最小值必在 $S$ 与 $G$ 完全反向对齐时达到，即 $S_{\min} = -c G$，代入约束即得显式公式。此步骤不仅给出最优常数 $\frac{2}{\alpha}$，更揭示了“唯一高效支付方式”这一物理图像。

4. 窗口化三通道不等式（Windowed three-channel inequality）的集成机制：将逐点不等式在时间窗 $E$ 上积分，需处理对齐效率 $\eta_{\mathrm{al}}(t)$ 的时变性。作者取本质上确界 $\eta_E = \operatorname{ess\,sup}_{t\in E} \eta_{\mathrm{al}}(t)$，将积分不等式写成 $W_E \leq \frac{\alpha}{2} \eta_E L_E S_E$。此形式明确揭示了正功 $W_E$ 的三种支付渠道：大杠杆 $L_E$、大残差 $S_E$ 或高负对齐效率 $\eta_E$，且三者缺一不可（Proposition 4.10）。这种结构化表达直接服务于对结构族（如幂律族、剪切层）的定量检验。

4. 与之前工作的比较

本文与既有工作的根本区别在于问题视角与技术目标：前人工作聚焦于解的存在性、正则性或构造性，而本文致力于建立残差级的必要代数判据，二者处于不同逻辑层级。

与Lions–Masmoudi弱解理论 [13] 的比较：Lions–Masmoudi框架建立了全局能量–熵不等式 $\int (-R:D(u) + \frac{\alpha}{2} G:S) \leq 0$，这是本文缺陷功恒等式右端非正性的来源。但该不等式是积分型、非符号化的，无法检测残差方向。本文通过压力自由商空间与符号极小化，将此全局不等式降维、局部化、符号化，得到 $[P(t)]^+ \leq \frac{\alpha}{2} \eta_{\mathrm{al}} \|G\|_{L^2} \|S\|_{L^2}$，这是一个逐点、可计算、尖锐的必要条件。因此，本文不是弱解理论的替代，而是对其的精细化补充，为弱解候选者提供前置筛选。

与应力扩散正则化模型 [1,6,8] 的比较：Barrett–Boyaval [1]、Constantin–Kliegl [6]、Elgindi–Rousset [8] 等通过添加应力扩散项 $\varepsilon \Delta A$ 获得强紧性与正则性，从而证明解的存在唯一性。本文则刻意研究无扩散（$\varepsilon = 0$） 的原始模型，此时紧性失效，传统方法失灵。本文的判据不依赖任何正则化，仅基于物理能量–熵结构，因此其适用范围更广，但也意味着它不保证可实现性（Theorem 1.1 是必要非充分条件），这与正则化模型的充分性结论形成鲜明对比。

与小数据理论 [15] 的比较：Tu–Wang–Wen [15] 在 $\|u_0\|_{H^s} + \|B_0\|_{H^s}$ 小的框架下证明了局部适定性。本文则面向大数据、结构化剖面（如剪切层），其判据 $W_E > \frac{\alpha}{2} \eta_E L_E S_E$ 可直接证伪某些看似合理的试探解（如Section 5的有限厚度剪切层），这超出了小数据扰动理论的能力范围。

与数值稳定化方法 [9,10] 的比较：Fattal–Kupferman [9,10] 的对数构象法旨在数值计算中避免 $A$ 接近奇异，其动机是算法稳定性。本文虽采用相同参数化 $A = e^B$，但目的截然不同：是为了在解析层面严格维持正锥约束，确保所有推导（如 $G = I - A^{-1}$ 的光滑性）在物理域内有效，而非数值技巧。因此，本文结果具有严格的数学物理意义，而非计算启发。

与FENE-P文献 [3,5] 的比较：经典FENE-P分析常单独处理其特定应力本构。本文通过熵对偶框架（Section 6），将FENE-P视为正锥模型在有限伸展域 $\operatorname{tr} C < b$ 上的特例，证明其杠杆 $G_b = D\Phi_b$ 与Oldroyd-B杠杆 $G$ 遵循同一残差功律。这统一了两类模型的相容性判据，揭示了其深层结构共性，而非简单推广。

代价与局限：本文判据的代价是仅适用于光滑剖面，且仅为必要条件。作者明确区分了“残差级相容性”与“实现性问题”（Section 7）：满足判据的残差未必能由真实解、凸积分或逼近序列生成，后者需额外的局域化、对数坐标下的交换子控制及能量–熵不等式的紧性，这些是本文未涉及的更艰深问题。

7. 粘弹性流的几何爆破判据：Oldroyd-B 与 FENE-P 模型

Geometric Blow-Up Criteria for Viscoelastic Flows: Oldroyd-B and FENE-P Models

作者: Sai Peng

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

发布日期: 2026-06-24

arXiv ID: 2606.25258v1

摘要翻译: 本文证明了二维无应力扩散 Oldroyd–B 与 FENE-P 流的几何延拓判据。在两个模型中，构象张量均被输运并拉伸，但无空间扩散；而弹性应力通过一阶导数进入粘性速度方程。正锥几何由对数变量 B=Log C 编码。对 Oldroyd–B 模型，这导致两种可能的延拓障碍：端点速度梯度 Besov 模的丧失与对数构象的集中；对 FENE-P 模型，其状态空间更小，D_b={C in S_{++}^2: tr C<b}，同一论证揭示了第三种障碍——有限可伸展性障碍，由边界变量 phi_b(C)=-log(b-tr C) 刻画。主定理给出一个闭合的延拓判据，该判据涉及速度梯度 Besov 模、对数构象范数，以及在 FENE-P 情形下有限可伸展性边界范数。证明围绕一个对数型良未知量展开，该未知量消除了顶层矩阵指数交换子；另设一个独立的迹差方程，以分离 FENE 边界。在有界迹窗口上，FENE-P 判据在 Hookean 极限 b->infinity 下退化为 Oldroyd–B 判据；然而在固定 b 下，有限可伸展性边界是一个独立的高频障碍。

Comment: 无

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

1. 研究对象和背景

本文研究二维无应力扩散（stress-diffusion-free）粘弹性流体系统的正则性延续问题，核心对象是两类经典微分本构模型：Oldroyd–B系统与FENE-P系统。二者均描述不可压速度场 $u: [0,T) \times \mathbb{T}^2 \to \mathbb{R}^2$ 与对称正定构象张量（conformation tensor）的耦合演化，但构象张量的动力学不含空间扩散项，仅由输运与拉伸主导，从而构成强非抛物-非线性耦合系统。其数学表述如下。

Oldroyd–B系统（无应力扩散）为：

其中 $A: [0,T) \times \mathbb{T}^2 \to S_{++}^2$ 是构象张量，取值于二维对称正定矩阵锥 $S_{++}^2$；$\nu, \alpha, \lambda > 0$ 为物理参数；$I$ 为单位矩阵。关键特征在于：(i) $A$ 方程无 Laplacian 项，故缺乏内在正则化；(ii) 弹性应力 $\alpha(A-I)$ 通过 $\mathrm{div}$ 进入动量方程，其一阶导数 $\nabla A$ 直接反馈至 $u$ 的抛物方程，与粘性耗散 $\nu \Delta u$ 处于同一导数阶；(iii) vorticity 方程含强迫项 $\mathrm{curl}\, \mathrm{div}\, A$，而 $A$ 本身仅被输运与拉伸，无法被抛物机制平滑。

FENE-P系统（无应力扩散）为：

其中 $C: [0,T) \times \mathbb{T}^2 \to S_{++}^2$，且受有限可伸展性约束：状态空间为紧子集 $D_b = \{ C \in S_{++}^2 : \mathrm{tr}\, C < b \}$，$b > 2$；非线性弹簧因子 $f_b(C) = (b-2)/(b - \mathrm{tr}\, C)$，应力张量 $T_b(C) = f_b(C) C - I$。当 $b \to \infty$ 时，$f_b(C) \to 1$，$T_b(C) \to C - I$，形式上退化为 Oldroyd–B 系统；但对固定有限 $b$，$f_b(C)$ 及其导数在 $\mathrm{tr}\, C \to b^-$ 时爆炸，引入新的边界奇性机制。

问题本质在于：在缺乏应力扩散与小初值假设的双重限制下，系统正则性的崩溃是否必然通过某种几何通道发生？传统高阶 Sobolev 准则（如 $\|u\|_{H^s} + \|A\|_{H^s}$ 有界）虽保证局部存在性，却未揭示奇性形成的内在几何结构。已有工作（如 Chemin–Masmoudi、Lei–Masmoudi–Zhou）多依赖应力扩散或小数据；而 Lions–Masmoudi 的弱解框架不提供强解延续机制；Fat-tal–Kupferman 的对数构象数值方案启发了分析视角，但未建立严格的几何延续判据。本文试图填补的关键空白是：在纯输运-拉伸构象动力学下，将正则性崩溃归因于正定锥 $S_{++}^2$ 的几何边界行为——即谱退化（eigenvalue collapse）与高频率集中（high-frequency concentration）的分离刻画，并为 FENE-P 额外识别出有限可伸展性边界 $\mathrm{tr}\, C = b$ 所诱导的独立奇性通道。该问题重要性在于：它连接了偏微分方程正则性理论（临界 Besov 空间、对数坐标下的椭圆性）、连续介质力学本构建模（正定性保持、有限伸展性物理约束）与奇异点形成机制（blow-up criteria 的几何本质），为理解高 Weissenberg 数流体失稳提供了严格数学基础。

2. 主要定理或主要结果

本文主定理给出二维无应力扩散 Oldroyd–B 与 FENE-P 系统的闭合几何延续准则，其结论精确到函数空间、时间积分指数与关键变量定义。设 $s \geq 3$，$(u,A)$ 或 $(u,C)$ 为强正定锥解或强 FENE-P 解（见 Definition 2.1–2.2）。则以下结论成立：

Oldroyd–B 延续定理（Theorem 6.1）：若在时间区间 $[0,T)$ 上，构象张量 $A(t,x)$ 保持在正定锥 $S_{++}^2$ 的紧谱窗内（即 $\|\log A(t,\cdot)\|_{L^\infty_x} \leq K$ 对某 $K<\infty$ 一致成立），且

则该强解可在 $T$ 之后延续。等价地，若解在 $[0,T^*)$ 上爆破，则必有

FENE-P 延续定理（Theorem 8.1）：若在 $[0,T)$ 上，$C(t,x)$ 保持在紧 FENE 窗 $K \Subset D_b$ 内（即 $C > 0$ 且 $\mathrm{tr}\, C < b$，且上下谱距及迹距有正下界），且

则该强解可在 $T$ 之后延续。爆破时必有上述三项之和发散。特别地，$\phi_b(C)$ 的 $L^4_t H^{1+\varepsilon}_x$ 范数是独立于 $\log C$ 的高频率障碍，其存在性由 Proposition 7.6 的 $L^2_t$ 估计无法覆盖所证实；且当 $b \to \infty$ 时，在固定迹界窗口上，$\|\phi_b(C)\|_{L^4_t H^{1+\varepsilon}_x} \to 0$，FENE-P 准则退化为 Oldroyd–B 准则。

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

证明的核心障碍源于构象张量方程的非抛物性与矩阵指数非线性之间的深刻冲突：一方面，$A = e^B$ 或 $C = e^B$ 的高阶导数展开产生难以控制的矩阵交换子；另一方面，$\partial^\gamma e^B$ 不等于 $e^B \partial^\gamma B$，而是包含 $\partial^\gamma B$ 与低阶导数的非交换乘积，导致标准能量估计中出现无法吸收的最高阶项。作者的真正创新点在于构建两个精密的分析工具以系统性消除这些障碍：

1. 对数“好未知量”（Logarithmic Good Unknown）：定义 $G_\gamma = (d\exp_B)^{-1}(\partial^\gamma e^B)$，其中 $d\exp_B(C) = \int_0^1 e^{(1-\theta)B} C e^{\theta B} \, d\theta$ 为矩阵指数在 $B$ 处的微分。此构造具有几何本质：它将 $\partial^\gamma A$ 拉回 $B$ 处的对数切空间，从而精确剥离出 $\partial^\gamma B$ 的主部。引理 5.3 证明了其交换子结构：

其中 $|\gamma| = m$。关键在于，$C_\gamma(B)$ 的 $L^2$ 范数仅依赖于 $\|B\|_{H^{1+\varepsilon}}$（而非 $H^m$），这使得在 $L^4_t$ 时间范数下可被吸收。由此，$G_\gamma$ 的演化方程消除了最危险的顶阶矩阵交换子，使 $B$ 的 $H^m$ 能量估计得以闭合。

2. 迹隙方程（Trace-Gap Equation）：针对 FENE-P 的有限可伸展性边界 $\mathrm{tr}\, C = b$，作者引入标量障碍变量 $\phi_b(C) = -\log(b - \mathrm{tr}\, C)$，并推导其满足的独立输运型方程：

该方程右端含 $1/(b - \mathrm{tr}\, C)$ 因子，其 $H^{1+\varepsilon}$ 范数控制直接依赖于 $\phi_b$ 自身的 $H^{1+\varepsilon}$ 范数（通过 Moser 估计与链式法则），从而将 $\phi_b$ 的正则性演化与 $C$ 的谱行为解耦。此方程是分离 FENE-P 第三类奇性通道的技术枢纽。

3. 闭合的能量-对数耦合框架：整个证明采用三步闭环结构：(i) 利用 $\|\nabla u\|_{B^0_{\infty,1}}$ 控制 Lagrangian 流映射的 Lipschitz 模，进而估计 $\mathrm{curl}\, \mathrm{div}\, e^B$；(ii) 利用 $G_\gamma$ 重写 $B$ 方程，将 $\partial^\gamma B$ 的耗散项与 $u$ 的耗散项配对；(iii) 将 $u$ 与 $B$（及 $\phi_b$）的能量不等式相加，并选取小参数 $\theta$ 使 $\theta \|\nabla u\|_{H^{m+1}}^2$ 被 $\nu \|\nabla u\|_{H^{m+1}}^2$ 吸收，最终得到闭合系数 $1 + \|\nabla u\|_{B^0_{\infty,1}}^2 + \|B\|_{H^{1+\varepsilon}}^4 + \|\phi_b\|_{H^{1+\varepsilon}}^4$。此框架避免了对熵 $E(t)$ 或松弛项的过度依赖（Proposition 7.1 显示熵无法控制 $\|B\|_{H^{1+\varepsilon}}$），凸显了几何变量的不可替代性。

4. 与之前工作的比较

本文与既有工作存在本质差异，主要体现在四个维度：

1. 与经典高阶 Sobolev 准则的比较：Chemin–Masmoudi 与 Lei–Masmoudi–Zhou 的延续准则基于 $\|u\|_{H^s} + \|A\|_{H^s}$ 的有界性（$s > 2$），属泛函分析层面的通用判据，未揭示奇性形成的几何起源。本文准则则将 $\|A\|_{H^s}$ 替换为 $\|\log A\|_{L^4_t H^{1+\varepsilon}_x}$，实现了谱控制（$L^\infty$ bound on $\log A$）与微分控制（$H^{1+\varepsilon}$ norm）的分离。如 Proposition 7.1 所示，存在一族熵有界但 $\|\log A\|_{H^{1+\varepsilon}}$ 爆炸的解，证明该分离是物理本质而非技术冗余。

2. 与应力扩散模型的比较：Constantin–Kliegl、Elgindi–Rousset 等工作通过添加 $\kappa \Delta A$ 项恢复构象方程的抛物性，使 $\|A\|_{H^s}$ 估计可闭合。本文则坚持无扩散设定，迫使分析转向对数坐标下的非抛物几何结构，代价是引入 $L^4_t$ 时间范数（而非 $L^2_t$）以控制剩余交换子，这是对非抛物性本质的忠实反映。

3. 与小初值理论的比较：Tu–Wang–Wen 的全局正则性结果依赖初值 $\|u_0\|_{H^s} + \|A_0 - I\|_{H^s}$ 充分小。本文完全放弃小性假设，仅要求解在紧谱窗内存在，适用范围更广，但代价是准则为条件性（conditional）而非先验性（a priori）。

4. Oldroyd–B 与 FENE-P 的内部比较：本文首次明确指出，FENE-P 的有限可伸展性边界 $\mathrm{tr}\, C = b$ 生成独立于正定锥边界的第三类奇性通道。如 Section 9 所证，在 $b \to \infty$ 的胡克极限下，$\phi_b(C) \to 0$，FENE-P 准则退化为 Oldroyd–B 准则；但对任意固定 $b$，$\|\phi_b(C)\|_{L^4_t H^{1+\varepsilon}_x}$ 的发散无法被 $\|\log C\|_{L^4_t H^{1+\varepsilon}_x}$ 或 $\|\nabla u\|_{B^0_{\infty,1}}$ 控制，其高频率特性由 $\partial^\alpha \phi_b$ 中 $1/(b-\mathrm{tr}\, C)^{|\alpha|+1}$ 的奇性放大所决定。文中明确指出，此障碍‘cannot be read from the Oldroyd–B logarithmic variable alone’，表明 FENE-P 的几何复杂性超越了单纯谱约束，需额外标量变量刻画。

8. 半空间中具有无界初值的扩散型Hamilton-Jacobi方程的局部存在性与爆破行为

Local existence and blow-up behavior for the diffusive Hamilton-Jacobi equation in a half-space with unbounded initial data

作者: Loth Damagui Chabi

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25624v1

摘要翻译: 我们研究扩散型Hamilton-Jacobi方程 $u_t-\Delta u=|\nabla u|^p$ ($p>1$) 在具Dirichlet边界条件的半空间中、允许在空间无穷远处增长的解的局部存在性与爆破行为。在关于初值的最优多项式增长假设下（该假设由临界指数 $p/(p-1)$ 刻画），我们首先证明了极大经典解的局部存在性与唯一性，并建立了一个爆破替代定理（blow-up alternative）。该结果辅以一个非存在性结论，表明 $p/(p-1)$ 是无穷远处容许增长的尖锐阈值。其次，对具有次临界增长的初值，我们证明：当 $1<p\le2$ 时解全局存在；当 $p>2$ 时，有限时间爆破仅能通过梯度爆破发生；并导出了梯度的尖锐上下界估计，包括精确的II型边界爆破速率以及其在奇异时刻附近的二分性行为。最后，在 $p>2$ 情形下，对任意II型爆破解，我们证明其经重缩放后收敛于一个显式的单维剖面，并给出渐近奇异性形成的精细刻画。

Comment: 无

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

1. 研究对象和背景

本文研究半空间 $ H = \mathbb{R}^n_+ = \{ x = (x', x_n) \in \mathbb{R}^{n-1} \times \mathbb{R}_+ \} $ 上带齐次Dirichlet边界条件的扩散型Hamilton-Jacobi方程

的经典解的局部适定性与有限时间爆破行为。该方程是抛物型PDE中最具代表性的一阶非线性项主导模型，其非线性源项 $ |\nabla u|^p $ 不满足标准的Lipschitz连续性（当 $ p > 1 $），且不具有变分结构，因此无法通过能量泛函直接控制高阶导数；同时，它既非单调（因右端含梯度模），也不满足最大值原理的直接形式（因非线性依赖于 $ \nabla u $ 而非 $ u $）。在随机最优控制中，(1.1) 对应于以 $ |\alpha_s|^{p/(p-1)} $ 为代价函数的HJB方程，其粘性解给出最优价值函数；在表面生长理论中，它对应确定性KPZ方程，刻画球状沉积界面演化。尽管粘性解全局存在（对连续有界初值），但经典解可能在有限时间内丧失正则性——典型现象是梯度爆破（Gradient Blow-Up, GBU）：$ \|\nabla u(\cdot, t)\|_{L^\infty(H)} \to \infty $ 而 $ \|u(\cdot, t)\|_{L^\infty(H)} $ 保持有界。已有理论主要集中于两类情形：(i) 有界光滑区域 $ \Omega \Subset \mathbb{R}^n $，此时GBU必发生在边界 $ \partial \Omega $，且速率恒为type II，即 $ \|\nabla u(\cdot, t)\|_{L^\infty} \gtrsim (T - t)^{-1/(p-2)} $（见[13,27]）；(ii) 全空间 $ \mathbb{R}^n $ 或半直线 $ (0,\infty) $ 上的有界初值，此时GBU亦为边界型（对半直线）或整体型（对全空间），但缺乏对初值在无穷远处无界增长的系统分析。关键未解决问题在于：当 $ u_0(x) $ 在 $ x_n \to \infty $ 时允许多项式增长时，何种增长阶数仍能保证局部经典解存在？是否存在临界指数？若存在，该临界指数下的解是否必然爆破？爆破是L^∞爆破还是GBU？其速率、位置与渐近轮廓如何刻画？本文聚焦于最简无界域 $ H $，旨在填补这一空白：一方面建立带最优无穷远增长假设的局部适定性理论，明确临界指数 $ \beta + 1 = p/(p-1) $ 的尖锐性；另一方面，在亚临界初值下，严格区分并刻画type I L^∞爆破（由自相似解驱动）与type II 边界GBU（由奇异稳态剖面主导）两种本质不同的奇点形成机制，并给出其精确速率与渐近收敛性。

2. 主要定理或主要结果

本文核心结果分为三大部分：

I. 局部适定性与临界增长阈值（Theorems 2.1–2.3） 定义权重函数 $ w(x) = (1 + x_n)^{\beta + 1} $，其中 $ \beta = 1/(p-1) $，并设 $ c_p = (1 - \beta)^{-1} d_p $，$ d_p = \beta^\beta $。对 $ 1 < p \leq 2 $，初值类为 $ X = C^0_U(\overline{H}) \cap L^\infty_w(H) $，其中 $ C^0_U $ 要求在边界附近趋于零，$ L^\infty_w $ 控制无穷远增长；对 $ p > 2 $，初值类为 $ X_1 = \{ v \in X : \limsup_{x_n \to 0} \sup_{x' \in \mathbb{R}^{n-1}} x_n^{\beta - 1} v(x', x_n) < c_p \} $，额外约束边界奇性强度。

• Theorem 2.1（$ p > 2 $）：对任意 $ u_0 \in X_1 $，存在唯一极大古典解 $ u \in Y_T = C^0_U(Q_T) \cap L^\infty_w(Q_T) \cap C^{2,1}(Q_T) $，定义于 $ [0, T_{\max}) $，且满足爆破替代条件：若 $ T_{\max} < \infty $，则 $ \|u(\cdot, t)\|_{L^\infty_w(H)} + \|\nabla u(\cdot, t)\|_{L^\infty(\Gamma_1)} \to \infty $（$ \Gamma_1 = \{0 < x_n < 1\} $）。
• Theorem 2.2（$ 1 < p \leq 2 $）：对 $ u_0 \in X $ 非负，存在唯一极大解，且若 $ T_{\max} < \infty $，则仅 $ \|u(\cdot, t)\|_{L^\infty_w(H)} \to \infty $。
• Theorem 2.3（非存在性）：若 $ u_0 \in C(\overline{H}) $ 满足 $ x_n^{-\beta-1} u_0(x) \to \infty $（$ x_n \to \infty $，关于 $ x' $ 一致），则对任意 $ T > 0 $，问题 (2.1) 在 $ C^{2,1}(Q_T) \cap C(\overline{Q_T}) $ 中无非负古典解。此表明 $ \beta + 1 = p/(p-1) $ 是无穷远增长的尖锐临界指数。

II. 爆破行为刻画（Theorems 2.4–2.6） 设 $ u_0 \in X_1 $ 满足亚临界增长 $ 0 \leq u_0(x) \leq M(1 + x_n)^\gamma $，$ \gamma \in (0, \beta + 1) $。

• Theorem 2.4(i)：解满足先验估计 $ u(x,t) \leq C_1(t+1)^q (1 + x_n)^\gamma $，其中 $ q = (p + \gamma)/(p - \gamma(p-1)) > 0 $；特别地，当 $ 1 < p \leq 2 $ 时 $ T_{\max} = \infty $（全局存在）。
• Theorem 2.4(ii)（$ p > 2 $ 且 $ T_{\max} < \infty $）：存在常数 $ C_2 > 0 $ 使得 $ \sup_{\Gamma_1} |\nabla u(x,t)| \geq C_2(T - t)^{-1/(p-2)} $（$ t \in (T/2, T) $）；且对任意 $ \varepsilon > 0 $，存在 $ C_\varepsilon > 0 $ 满足 $ |\nabla u(x,t)| \leq (1 + \varepsilon) d_p x_n^{-\beta} + C_\varepsilon $（$ (x,t) \in \Gamma_1 \times [T/2, T) $）。此即type II 边界GBU的精确上下界。
• Theorem 2.5（气泡收敛）：若 $ u $ 为type II解，则存在序列 $ (x_j, t_j) \to (0, T) $（$ x_{j,n} \to 0 $），令 $ \lambda_j = |\nabla u(x_j, t_j)|^{1-p} $，有
  $$ \lambda_j^\beta \nabla u(x_j + \lambda_j x, t_j + \lambda_j^2 t) \to d_p (x_n + \beta)^{-\beta} e_n $$
  在 $ \overline{H} $ 上局部一致成立（$ e_n = (0,\dots,0,1) $）。
• Theorem 2.6（二分律）：对任意 $ \varepsilon > 0 $，存在 $ C = C(n,p,\varepsilon) $，使得对所有 $ (x,t) \in H \times [T/2,T) $，必有
  $$ |\nabla u(x,t)| \leq C x_n^\beta (T - t)^{-\beta} \quad \text{或} \quad |\nabla u(x,t)| \leq (1 + \varepsilon) d_p x_n^{-\beta} + C. $$
  此表明梯度行为在任意时空点上非type I即受奇异稳态 $ d_p x_n^{-\beta} $ 控制。

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

本文证明的核心障碍在于：初值无界导致标准不动点框架（如在 $ BC^1 $ 空间中）失效；而GBU的非紧性与type II速率的非自相似性要求超越经典能量估计的精细分析。作者的真正创新点体现在以下三个相互支撑的技术层面：

1. 加权空间中的比较原理与唯一性（Proposition 3.1）：为处理 $ u_0 \in L^\infty_w $，作者构造了一个带空间截断与时间指数增长的惩罚函数 $ h_\varepsilon(x',x_n,t) = M\theta(\varepsilon(1+x_n))(1+x_n)^{1+\beta}e^{\mu t^{1/p}} + \varepsilon \log(1+|x'|^2) $，其中 $ \theta $ 是截断函数，$ \mu $ 依赖于 $ M $ 和 $ p $。关键在于，通过精细计算 $ Lh_\varepsilon $ 并利用Bernstein型估计 $ |\nabla u| \leq C t^{-1/p}(1+x_n)^\beta $（来自附录A.2），作者证明了当 $ \tau $ 足够小时，$ LZ_\varepsilon < 0 $（$ Z_\varepsilon = u - v - h_\varepsilon $），从而排除 $ u > v $ 的可能性。此方法绕开了对初值梯度的全局有界性假设，将比较原理推广至加权 $ L^\infty_w $ 类，是全文适定性理论的基石。

2. 基于自相似解的非存在性论证（Section 3.2）：为证明临界指数的尖锐性，作者并非使用反证法假设解存在后导出矛盾，而是主动构造一个‘过强’的自相似下解。具体而言，引用[5, Theorem 4]的后向自相似解 $ v(x,t) = (\tau - t)^\gamma \phi(x_n/\sqrt{\tau - t}) $（$ \gamma = (p-2)/(2(p-1)) $），其初值 $ v_0(x) \lesssim (1+x_n)^{\beta+1} $。通过平移初值 $ u_0(x + R_0 e_n) $ 并利用比较原理，迫使 $ v \leq \tilde{u} $，但 $ v(x,t) \to \infty $ 当 $ t \to \tau $，与 $ \tilde{u} \in C(\overline{Q_\tau}) $ 矛盾。此技巧将无穷远增长的不可控性转化为平移后的局部超调，是确立 $ \beta+1 $ 为阈值的关键。

3. 奇异稳态驱动的GBU渐近分析（Theorems 2.4–2.6）：对type II GBU的刻画，作者发展了一套三阶段递进估计框架：(i) 利用形如 $ M(t+1)^q(1+x_n)^\gamma $ 的超解获得解的先验增长控制；(ii) 将 $ u_t $ 视为已知源项，结合抛物正则性与极值原理得到 $ u_t $ 在有限条带 $ \Gamma_R \times [t_0,t_1] $ 上的一致有界性；(iii) 基于此，应用Bernstein型估计 $ |\nabla u| \leq C \sup |u_t|^{1/p} (1+x_n)^\beta $ 得到粗糙梯度界，再通过尺度变换与椭圆Liouville型定理（[8]）将其精化为 $ |\nabla u| \leq (1+\varepsilon)d_p x_n^{-\beta} + C_\varepsilon $。Theorem 2.5的证明则依赖于抛物Liouville定理（[5, Theorem 3]：$ H \times \mathbb{R} $ 上的整体解必为仅依赖 $ x_n $ 的稳态）与Doubling引理（[26]），将爆破序列的尺度变换极限归约为该一维稳态剖面。这种将局部爆破行为锚定于全局不变量（稳态解）的方法，是刻画type II奇点的范式创新。

4. 与之前工作的比较

本文与既有文献的推进可从四个维度深入比较：

1. 初值增长容许度：经典理论（如[32, Section 35]）要求 $ u_0 \in BC^1(\overline{H}) $，即 $ u_0 $ 及其梯度全局有界。本文将初值类大幅扩展至 $ u_0(x) \lesssim x_n^{1+\beta} $（$ x_n \to \infty $）与 $ u_0(x) \lesssim x_n^{1-\beta} $（$ x_n \to 0 $），且证明 $ \beta + 1 = p/(p-1) $ 是不可逾越的尖锐阈值（Theorem 2.3）。此前仅[12]在 $ \mathbb{R} $ 上得到相同临界指数，但未证明其尖锐性；[23]在半直线上仅处理线性增长（$ \gamma = 1 $），而本文覆盖整个亚临界范围 $ \gamma < \beta + 1 $。

2. 爆破类型与机制：在有界域中，GBU恒为type II且仅发生于边界（[13,27]）。本文揭示半空间中存在根本不同的爆破图景：一方面，存在type I L^∞爆破解（来自[5]的自相似解），其梯度与解本身同步爆破；另一方面，亚临界初值下，爆破必为type II GBU，且其速率 $ (T-t)^{-1/(p-2)} $ 与有界域一致，但渐近剖面由奇异稳态 $ d_p x_n^{-\beta} $ 主导，而非自相似剖面。这表明边界效应与无穷远几何的耦合产生了新的奇点类型。

3. 渐近分析精度：以往工作（如[8]在有界域）仅给出GBU的上界 $ |\nabla u| \leq C \text{dist}(x,\partial\Omega)^{-\beta} $。本文不仅给出同等上界（Theorem 2.4(ii)），更首次建立了sharp下界 $ \sup_{\Gamma_1} |\nabla u| \geq C_2(T-t)^{-1/(p-2)} $，并证明了气泡收敛到显式一维剖面（Theorem 2.5），其形式 $ d_p (x_n + \beta)^{-\beta} e_n $ 精确反映了边界层与奇异稳态的相互作用。这比[24]对Fujita方程的类似结果更精细，因其直接关联到物理上重要的稳态解。

4. 技术代价与局限：本文结论依赖于初值非负性（Remark 2.1(ii)），对变号初值未作讨论；且Theorem 2.5的收敛性仅在局部（$ \overline{H} $）成立，未涉及整体收敛或爆破后延拓；此外，对 $ p = 2 $ 的临界情形未单独分析（文中归入 $ p \leq 2 $ 的全局存在范畴，但 $ p = 2 $ 时方程退化为 $ u_t - \Delta u = |\nabla u|^2 $，其对数变换 $ v = e^u $ 满足热方程，可能存在特殊结构）。这些是未来工作的自然延伸方向。

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

1. 二维有界区域上磁Zakharov系统的适定性

Well-posedness of magnetic Zakharov system on 2D bounded domain

作者: Oleksiy Shcherbina

类别: math.AP, math.DS

发布日期: 2026-06-24

arXiv ID: 2606.25961v1

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

摘要翻译

中文标题: 二维有界区域上磁Zakharov系统的适定性

摘要翻译: 本文研究等离子体物理中出现在二维区域上的磁Zakharov系统（Magnetic Zakharov system）的初边值问题。证明了该问题在某类Sobolev空间中的整体适定性。

2. 由扭转刚度驱动的最优划分与分离问题

Optimal partition and segregation problems driven by torsional rigidity

作者: Gabriele Fioravanti, Nicola Soave, Giorgio Tortone

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25912v1

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

摘要翻译

中文标题: 由扭转刚度驱动的最优划分与分离问题

摘要翻译: 谱最优划分与分离问题与调和映射、特征函数以及线性椭圆方程节点集的精细结构密切相关。本文表明，若以扭转刚度替代谱能量，则将导致一个本质不同的理论。由此产生的最优构型在局部上并非由调和方程所支配，而是由扭转型能量及不稳定的自由边界问题所支配，从而在最优划分理论与次线性自由边界现象分析之间建立起一座自然桥梁。 我们证明了最优扭转划分与分离扭转构型的存在性，以及相应非线性特征函数的最优 Lipschitz 正则性。我们建立了强唯一延拓原理，刻画了容许的消失阶及其对应的爆破型貌（blow-up profiles），导出了节点集及其奇异子集的 sharp Hausdorff 维数估计，并证明了自由边界正则部分的 $C^{1,\alpha}$-正则性。证明结合了变分论证、适配于本征次线性扭转情形的 Almgren 型与 Weiss 型单调性公式、爆破分析以及几何测度论工具。

3. 重访多相变分问题：一种Muckenhoupt权方法

Revisiting multi-phase variational problems: A Muckenhoupt weight approach

作者: Thanh-Nhan Nguyen, Minh-Phuong Tran

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25958v1

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

摘要翻译

中文标题: 重访多相变分问题：一种Muckenhoupt权方法

摘要翻译: 本文研究多相能量泛函局部极小元的正则性理论。作为本工作的关键特征，我们并未采用经典框架中对调制系数及增长指数间相互作用所施加的Hölder连续性假设，而是假设这些系数属于一类适当的Muckenhoupt权。多相增长结构与Muckenhoupt权的退化或奇异性质并存，导致显著的分析困难，从而阻碍了经典理论的直接应用。我们的方法需要对局部化能量估计进行精细化，并设计一种适配的迭代方案，该方案充分利用Muckenhoupt权的反向Hölder性质。作为主要结果，我们建立了局部极小元的高阶可积性、局部有界性以及Hölder连续性。尤为突出的是，我们证明了非负局部极小元的Harnack不等式；据我们所知，这是首项在含Muckenhoupt调制系数的多相设定下成立的此类结果。本文旨在深化对非一致椭圆变分问题中极小元定性行为的理解，并提供一个新框架，以补充现有文献——该文献通常仅限于调制系数具有经典Hölder连续性的设定。

4. 具时变结构Lipschitz系数的波动方程的整体Strichartz估计

Global Strichartz estimates for wave equations with time-dependent structured Lipschitz coefficients

作者: Dorothee Frey, Yonas Mesfun

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25805v1

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

摘要翻译

中文标题: 具时变结构Lipschitz系数的波动方程的整体Strichartz估计

摘要翻译: 我们建立了具时变Lipschitz系数的波动方程的整体（关于时间）Strichartz估计，该估计不损失导数阶；此处的Lipschitz系数满足一个额外的结构性假设。我们的方法基于通过Phillips函数演算构造参数解（parametrix）。此外，我们还得到了具Lipschitz系数的此类波动方程在 $H^1$ 中的适定性。

5. 无旋向量场与二阶导数的加权 $L^2$-Caffarelli-Kohn-Nirenberg 不等式：最佳常数与稳定性估计

The weighted $L^2$-Caffarelli-Kohn-Nirenberg inequalities for the curl-free vector fields and second order derivatives: The sharp constants and stability estimates

作者: Anh Tuan Duong, Van Hoang Nguyen

类别: math.AP, math.FA

发布日期: 2026-06-24

arXiv ID: 2606.25692v1

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

摘要翻译

中文标题: 无旋向量场与二阶导数的加权 $L^2$-Caffarelli-Kohn-Nirenberg 不等式：最佳常数与稳定性估计

摘要翻译: 本文研究无旋向量场与二阶导数的加权 $L^2$-Caffarelli-Kohn-Nirenberg 不等式。首先，我们证明一族最佳的加权二阶 $L^2$-Caffarelli-Kohn-Nirenberg 不等式，该结果补充了 [{\it C. Cazacu, J. Flynn and N. Lam, Calc. Var. Partial Differential Equations 62 (2023), no. 4, Paper No. 118, 26 pp.}] 与 [{\it A. T. Duong and V. H. Nguyen, On the sharp second order Caffarelli-Kohn-Nirenberg inequality. Ann. Fenn. Math., 50(1):275–286, 2025}] 中的结果。其次，我们建立了 Cazacu、Flynn 与 Lam 所证得的关于无旋向量场的最佳加权 $L^2$-Caffarelli-Kohn-Nirenberg 不等式的稳定性版本。最后，我们证明了本文所建立的最佳加权二阶 $L^2$-Caffarelli-Kohn-Nirenberg 不等式的稳定性估计。我们的方法基于球谐分解、一维积分不等式及其改进。

6. 双曲空间上带临界与次临界非线性的椭圆方程的径向外解的存在性与非存在性

Existence and non-existence of nonradial solutions to an elliptic equation on hyperbolic space with critical and subcritical nonlinearities

作者: Atanu Manna, Bhakti Bhusan Manna

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25683v1

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

摘要翻译

中文标题: 双曲空间上带临界与次临界非线性的椭圆方程的径向外解的存在性与非存在性

摘要翻译: 本文考虑如下问题： \begin{align*} -Δ_{\mathbb{B}^N} u , - , λu = |u|^{p-1}u, \quad u \in H^{1}(\mathbb{B}^N), \end{align*} 其中 $N \geq 3$, $λ> \frac{N(N-2)}{4}$, 且 $1 < p \leq 2^*-1$。此处 $\mathbb{B}^N$ 表示双曲空间的庞加莱球模型，而 $H^{1}(\mathbb{B}^N)$ 表示定义在 $\mathbb{B}^N$ 上的 Sobolev 空间。本文证明：当 $λ< \frac{(N-1)^2}{4}$ 且 $p = 2^*-1$ 时，该方程存在多个径向外变号解；此外，当 $λ> \frac{(N-1)^2}{4}$ 时，对一大类对称解，我们证明了一个部分非存在性结果。

7. 全空间上 Maxwell–Stefan 系统弱解的整体存在性

Global existence of weak solutions for the Maxwell–Stefan system in the whole space

作者: Stefanos Georgiadis

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25536v1

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

摘要翻译

中文标题: 全空间上 Maxwell–Stefan 系统弱解的整体存在性

摘要翻译: 我们在全空间 $\mathbb R^3$ 上证明了等温 Maxwell–Stefan 系统弱解的整体（in-time）存在性。主要困难在于：与有界区域情形不同，浓度 $c_i$ 通常具有无限质量，且标准混合熵不为有限值。因此，我们采用关于某个严格正的常数平衡态的相对熵。证明思路是：首先在带无通量边界条件的球域 $B_R$ 上求解该问题，借助有界区域熵理论，并导出与 $R$ 无关的一致估计；这些估计给出相对熵、梯度 $\nabla\sqrt{c_i}$ 及通量 $J_i$ 的一致控制；最后通过局部紧性及对角线法取极限 $R\to\infty$。所得弱解在分布意义下满足 Maxwell–Stefan 系统，并满足全局相对熵不等式。

8. 具有锥形度量的 Moser-Trudinger 泛函在 $\mathbb{R}^N$ 单位球中的紧性

The compactness of Moser-Trudinger functionals with conical metric in the unit ball of $\mathbb{R}^N$

作者: Qi Xia

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25370v1

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

摘要翻译

中文标题: 具有锥形度量的 Moser-Trudinger 泛函在 $\mathbb{R}^N$ 单位球中的紧性

摘要翻译: 设 $\mathbb{B}$ 为 $\mathbb{R}^N$ 中的单位球，$W_0^{1,N} \left( \mathbb{B} \right)$ 是标准 Sobolev 空间。Zhang 证明了如下 Moser-Trudinger 不等式的极值函数：\begin{align*} \int_{ \mathbb{B}} h_ε(x) e^{ α_N \left( 1 + ε\right) |u_ε|^{ \frac{N}{N-1} } } dx, \quad u_ε \in W_0^{1,N} ( \mathbb{B} ) \cap \mathcal{S}, \end{align*} 其中 $α_N = ω_N^{ \frac{1}{N-1} }$，$ω_N $ 是 $\mathbb{R}^N$ 中单位球面的面积（见 \citep{26}）。本文研究序列 $\{ u_ε \}_ε $ 的紧性，并证明其存在一个子列在 $C^1 \left(\overline{ \mathbb{B}} \right)$ 中收敛。

9. 多速度系统中的泄漏检测、碰撞关系与自伴抵消

Leakage detection, collision relation, and self-adjoint cancellation in multi-velocity systems

作者: Yuchao Yi

类别: math.AP

发布日期: 2026-06-23

arXiv ID: 2606.25218v1

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

摘要翻译

中文标题: 多速度系统中的泄漏检测、碰撞关系与自伴抵消

摘要翻译: 令 $W^T$ 将 Dirichlet 数据 $f$ 映射为时刻 $T$ 的状态 $u^f(T, \cdot)$，我们研究 $K$-正规算子 $C^T_K:= (W^T)^*KW^T$，其中 $(W^T)^*$ 是标准的 $L^2(dx)$ 伴随算子。我们证明：在非掠射方向之外，该算子是一个 Fourier 积分算子，其 canonical relation 涉及速度对之间的碰撞数据。然而，若该算子是 $M$-自伴的，则 $C^T_M$ 的 canonical relation 将丢失碰撞数据，并退化为每个单独度量对应的散射关系。因此，当系统满足特定耦合条件时，我们展示了去偏振泄漏检测，并引入了一个新的碰撞刚性问题。结合这两部分，我们证明了从 $C^T_K$ 出发对多速度波动模型及变系数各向同性弹性系统进行速度恢复的反问题。

10. 具有竞争非线性的强不定薛定谔方程的基态

Ground states for strongly indefinite Schrödinger equations with competing nonlinearities

作者: Bartosz Bieganowski

类别: math.AP

发布日期: 2026-06-23

arXiv ID: 2606.25090v1

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

摘要翻译

中文标题: 具有竞争非线性的强不定薛定谔方程的基态

摘要翻译: 我们综述了针对具有变号非线性的强不定薛定谔方程的最新变分方法。主要研究对象是形如

的能量泛函，其中分裂 $X=X^+\oplus X^-$ 由线性薛定谔算子的谱隙所诱导，而非线性部分

允许变号。我们讨论了为此类泛函发展出的广义链接定理，以及位错空间中临界轨道的抽象重数理论。在最后一部分，我们证明了竞争纯幂次情形

的一个新基态结果。更精确地，对充分小的 $λ>0$，相应的强不定泛函存在一个非平凡临界点，其能量为所有非平凡临界点中的最小值。

11. 从局部边界数据确定分数阶Calderón问题的边界

Boundary determination from local boundary data for a fractional Calderón problem

作者: Heiko Gimperlein, Magnus Goffeng

类别: math.AP

发布日期: 2026-06-23

arXiv ID: 2606.25044v1

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

摘要翻译

中文标题: 从局部边界数据确定分数阶Calderón问题的边界

摘要翻译: 我们引入了一个新的Calderón型问题，其涉及Schrödinger算子的分数幂，并配备局部边界条件。相应的Dirichlet-to-Neumann算子将Dirichlet数据映射为边界上的Neumann数据。我们证明：对一个generic分数指数，该算子唯一确定势函数在边界处的Taylor级数；特别地，解析势函数被唯一确定。这是首个关于分数阶Calderón问题的结果，其中源项与测量均位于边界上。我们的证明基于伪微分边值问题的最新进展，用以计算Dirichlet-to-Neumann算子的完整symbol。

不相关论文（基本信息）

1. 渐近双曲流形在固定共形类中的边界刚性

Boundary Rigidity in a fixed conformal class for Asymptotically Hyperbolic Manifolds

作者: Tristan Humbert, Sebastián Muñoz-Thon

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

发布日期: 2026-06-24

arXiv ID: 2606.25940v1

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

摘要: Given two conformal asymptotically hyperbolic metrics which are either both simple or both negatively curved, we show that if their (marked) renormalized boundary distances coincide for some choices of conformal representatives in their conformal infinities, then the two metrics are equal.

2. 关于分段确定性采样器的熵收敛：加速与障碍

On the entropic convergence for piecewise deterministic samplers: speedup and obstruction

作者: Pierre Monmarché, Lihan Wang

类别: math.PR, math.AP, stat.CO

发布日期: 2026-06-24

arXiv ID: 2606.26086v1

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

摘要: For piecewise deterministic samplers such as Randomized Hamiltonian Monte Carlo (RHMC), Bouncy Particle Sampler (BPS) or Zig-Zag Process (ZZP), long-time exponential convergence rates have been established in previous works using Harris or $L^2$ hypocoercivity approaches. In particular, in the $L^2$ framework, a so-called \emph{diffusive-to-ballistic} speedup was known for log-concave targets, according to which the convergence rates of these samplers, with suitable parameters, are quadratically improved with respect to the standard overdamped Langevin diffusion process. A recent work by Jianfeng Lu showed that this speedup also holds for the kinetic Langevin diffusion process when the convergence is stated in terms of relative entropy, raising the question whether this also holds for piecewise deterministic samplers. The present work provides a positive and a negative answer to this: first, we show that the speedup holds in entropy for RHMC; second, we show that for BPS or ZZS, even for a standard Gaussian target, a similar result cannot hold, and even that exponential convergence (at any rate) in entropy fails.

3. 基于声子玻尔兹曼输运方程的蒙特卡洛物理信息神经网络用于反演多尺度热传导问题

Monte Carlo physics-informed neural networks for inverse multiscale heat conduction problems via the phonon Boltzmann transport equation

作者: Qingyi Lin, Chuang Zhang, Xuhui Meng, Zhaoli Guo

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

发布日期: 2026-06-24

arXiv ID: 2606.25793v1

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

摘要: Inferring thermal fields and thermophysical properties from limited measurements is a fundamental challenge in micro- and nanoscale heat conduction, where the classical Fourier law breaks down and the phonon Boltzmann transport equation (BTE) is needed to capture non-diffusive transport effects. In this work, we extend Monte Carlo physics-informed neural networks (MC-PINNs), originally developed for forward phonon BTE problems [J. Comput. Phys. 542, 114364, 2025], to inverse multiscale heat conduction problems. Two representative classes of inverse problems are considered: (i) reconstructing the full thermal field from sparse interior temperature measurements when boundary conditions are unknown, and (ii) simultaneously inferring the unknown relaxation time together with the thermal field. Problem-specific MC-PINN architectures and training strategies are designed for each class. The mesh-free Monte Carlo sampling strategy enables a unified treatment across diffusive, transitional, and ballistic transport regimes without requiring a priori knowledge of the relaxation time. The proposed method is evaluated on quasi-one-dimensional, quasi-two-dimensional, and three-dimensional benchmark problems covering a wide range of Knudsen numbers, as well as on a realistic 3D fin field-effect transistor (FinFET) structure. Results demonstrate that MC-PINNs consistently outperform purely data-driven deep neural networks, particularly in the sparse-data regime, and can accurately infer spatially uniform relaxation times. For spatially varying relaxation times, the inferred distributions capture the dominant thermal response, and numerical simulations using the recovered parameters reproduce the macroscopic fields with good accuracy. These findings establish MC-PINNs as an effective and physically consistent framework for inverse thermal analysis at micro- and nanoscales.

4. 第一复 $σ_{2}$-Hessian 特征值的 Brunn–Minkowski 不等式

Brunn–Minkowski Inequality for the First Complex $σ_{2}$-Hessian Eigenvalue

作者: Chuanqiang Chen, Jiahuan Li, Xi-Nan Ma

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25678v1

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

摘要: There are relatively few results on the convexity of solutions to complex equations. In this paper, We prove a strict real log-concavity theorem for the first eigenfunction of the complex $σ_{2}$-Hessian operator on smooth, bounded, real uniformly strictly convex domains in $\mathbb{C}^{n}$. As an application, we obtain a Brunn–Minkowski inequality for the first complex $σ_{2}$-Hessian eigenvalue. The proof combines a Bian–Guan constant-rank argument, a new inverse-convexity lemma for the compressed real Hessian, and Salani’s viscosity admissible-test-function method.

5. 带乘性随机力的Allen-Cahn型多值p-Laplace方程的Neumann问题

The Neumann problem for a multivalued p-Laplace equation of Allen-Cahn type with a multiplicative stochastic force

作者: C. Bauzet, F. Lebon, K. Schmitz, C. Sultan, A. Zimmermann

类别: math.AP, math.NA

发布日期: 2026-06-24

arXiv ID: 2606.25615v1

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

摘要: In this paper, we consider a parabolic problem with constraint written as a differential inclusion, driven by a multiplicative colored noise and involving a p-Laplace operator (for $p \geq 2$), nonlinear random source terms and subject to Neumann boundary conditions on a bounded Lipschitz domain of $R^d$ with $d \geq 1$. This contribution aims at proving existence and uniqueness of a solution for such a multivalued problem. On one hand, the existence result is proved by the analysis of a semi-implicit time discretization scheme constructed on a smoother version of our problem, itself obtained by a regularization “à la Moreau-Yosida” of the subdifferential term. The key point of our approach consists in finding a clever relation between the time step denoted $τ$ and the Moreau-Yosida regularization parameter denoted $ε$ in view to pass simultaneously to the limit with respect to $τ$ and $ε$. On the other hand, the uniqueness of the solution is proved by standard arguments.

6. 面向分析感知的几何简化方法用于起始电压预测

Towards analysis-aware geometry defeaturing for inception voltage predictions

作者: Ondine Chanon

类别: math.NA, math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25482v1

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

摘要: Defeaturing is routinely employed in numerical simulations of medium- and high-voltage equipment, not only to reduce computational costs but also to make meshing possible. But the errors that this practice introduces in the predicted breakdown/inception voltages are currently neglected. This work presents a goal-oriented \textit{a posteriori} error estimation framework that aims at assessing such defeaturing errors in inception voltage computations. The methodology combines a first-order approximation of the inception voltage error with dual-weighted residual estimators, providing an error bound that quantifies the impact of defeaturing on the simulation results. The approach builds upon the streamer integral model for inception voltage prediction and uses the recently proposed certified goal-oriented analysis-aware defeaturing estimator of~[1] for elliptic PDEs. The first-order approximation of the inception voltage is a linear functional J of the background electric field whose definition involves a line integral along the critical field line, and is therefore only of low regularity. To meet the abstract regularity assumption of the goal-oriented theory, we introduce a Gaussian mollification of J. The methodology is illustrated on a pin-plate benchmark with a small protrusion of varying size and shape, using a single shared adaptive mesh and an adaptive coupling of the mollification width to the local mesh size in order to ensure that the defeaturing error dominates over the discretization and the regularization errors.

7. Lp 中心截面Minkowski问题

The Lp centro-sectional Minkowski problem

作者: Karoly J. Boroczky, Jiaqian Liu, Renqing You

类别: math.AP, math.MG

发布日期: 2026-06-24

arXiv ID: 2606.25405v1

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

摘要: As part of Lutwak’s broadening of the Brunn-Minkowski theory, and extending the notion of affine quermassintegrals and dual curvature measure discussed by Milman, Yehudayoff and Huang, Lutwak, Yang and Zhang, centro-sectional measures with real parameter q have been recently introduced by Cai, Leng, Wu, Xi. In this paper, we introduce the Lp cross sectional Minkowski problem analogously to the Lp dual Minkowski problem formulated by Lutwak, Yang and Zhang. We solve the Lp dual Minkowski problem for p>1 and q>0, discuss the regularity and uniqueness of the solution, and prove Lp Brunn-Minkowski-type inequalities when $p$ is relatively large.

8. 障碍物附近空间周期性燃烧反应-扩散方程的传播现象

Propagation phenomena of spatially periodic combustion reaction-diffusion equations around an obstacle

作者: Yang Long, Jia-Fang Zhang, Wei-Jie Sheng

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25339v1

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

摘要: This paper is concerned with propagation phenomena of spatially periodic combustion reaction-diffusion equations in exterior domains. It is known that there is a pulsating front connecting 0 and 1 with positive speed in $\mathbb{R}^N$ for any direction $e\in\mathbb{S}^{N-1}$. We first prove that there exists an entire solution originating from a pulsating front in the exterior domain. Then, we prove that the entire solution propagates completely. Additionally, by constructing appropriate super- and sub-solutions, we establish that the entire solution is a transition front connecting 0 and 1, and that it is trapped between two translates of the pulsating front as $t\rightarrow +\infty$. Finally, under a suitable assumption, we show that the entire solution converges to the same pulsating front as $t\rightarrow +\infty$, as well as the uniqueness of such entire solutions.

9. 尺寸结构种群中的 Vital-Rate 反馈与阈值捕捞

Vital-Rate Feedback and Threshold Harvesting in Size-Structured Populations

作者: Louis Shuo Wang

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.25288v1

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

摘要: Size-selective harvesting is often justified by the intuition that larger individuals have higher value and should therefore be harvested above a critical size. We study a controlled size-structured transport model in which a scalar environmental variable, generated by the population itself, modifies the vital rates $g(E,l)$ and $μ(E,l)$. The first result is a corrected stationary closure theory: crowding-suppressed growth increases residence density at the inflow, so the closure derivative is not determined by pointwise profile monotonicity. Instead, $Φ'(E)=\mathsf A(E)-\mathsf C(E)$, an integrated balance between residence-time amplification and cumulative survival loss. The second result is an exact stationary adjoint reduction. The nonlocal switching correction has rank one, $S=S_{\rm red}-\frac{A}{1-B}ψ$, and its zero-discount feedback gain satisfies the identity $B(0)=Φ'(E^*)$. Thus the same scalar governs stationary closure sensitivity and threshold fragility. We also establish finite-horizon well-posedness and compactified optimal-control existence in a spatial-$BV$ policy class. Numerical certification in a density-dependent von Bertalanffy model shows when minimum-size harvesting persists and when vital-rate feedback creates multiple-switch harvest windows.

10. Zoll 磁结构与直纹曲面

Zoll magnetic structures and ruled surfaces

作者: Jan Bohr, Gabriel P. Paternain

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

发布日期: 2026-06-23

arXiv ID: 2606.25173v1

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

摘要: A Zoll magnetic system on an oriented closed surface $M$ is a Riemannian metric $g$ together with a function $λ\colon M\to \mathbb{R}$, such that every unit speed solution of the ODE $\ddot γ(t)=λ(γ(t))γ(t)^\perp$ is periodic and the minimal period depends continuously on $γ$. The trivial example is given by $g$ with constant curvature $K$ and $λ\equiv {\rm const.}$ such that $λ^2+K>0$. This article exhibits non-trivial Zoll magnetic systems for every genus-for genus $\ge 2$ these are the first such examples. The approach is twistor theoretic: To a general magnetic system $(g,λ)$ one associates its transport twistor space $Z(g,λ)$, which is the unit disk bundle $DM$, equipped with a degenerate complex structure that encodes the magnetic flow. For the trivial Zoll magnetic systems explicit holomorphic blow-down maps $β\colon Z(g,λ)\to W$ into certain ruled surfaces $W\to M$ are constructed, mapping $\partial Z(g,λ)$ onto a Lagrangian $P\subset W$. For small Lagrangian perturbations $P'\approx P$ the procedure can be reversed and this results in a large class of (non-trivial) nearby Zoll magnetic systems.

11. 二维加一维通量受限Keller–Segel系统的李对称性分析

Lie symmetry analysis of a 2+1-dimensional flux limited Keller Segel system

作者: Ahmed Abbas Jaber AlFuraiji, Ghorbanali Haghighatdoost, Mustafa Bazghandi

类别: math.AP

发布日期: 2026-06-23

arXiv ID: 2606.25113v1

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

摘要: We investigate a two dimensional flux limited Keller Segel FLKS system using classical Lie symmetry analysis. The complete Lie point symmetry algebra is determined and shown to consist of temporal and spatial translations together with planar rotations. An optimal system of one-dimensional subalgebras is constructed, yielding stationary, translationally invariant, radially symmetric, travelling-wave, and rotatingwave reductions. The corresponding reduced equations are derived systematically. The results demonstrate that the flux limiting mechanism eliminates the scaling symmetries of the classical Keller Segel model and significantly restricts the class of admissible invariant solutions. Exact spatially homogeneous equilibrium solutions are determined, and integral representations for stationary radial and travelling-wave profiles are derived.

12. 带 Lévy 跳过程的金融泡沫模型

The Financial Bubble Model with Lévy Jump Processes

作者: Avetik Arakelyan, Rafayel Barkhudaryan, Vigen Khalatyan, Michael Poghosyan

类别: math.AP

发布日期: 2026-06-23

arXiv ID: 2606.25104v1

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

摘要: We present a mathematical extension of the Berestycki–Monneau–Scheinkman (BMS) model for speculative financial bubbles, by incorporating jump-diffusion dynamics. While the original BMS framework assumes that investor disagreement evolves along strictly continuous paths, our model captures sudden, discontinuous shifts in market sentiment through an independent Lévy jump process. Under this generalized heterogeneous beliefs framework, we show via optimal stopping theory and the Itô–Lévy formula that the speculative bubble premium satisfies a non-local partial integro-differential equation (PIDE) with a moving obstacle. The first main contribution of this paper is the development of a complete viscosity solution theory for this specific non-local obstacle problem. We establish a comparison principle using a doubling-of-variables argument adapted for non-local jump integrals, and we rigorously prove the existence and uniqueness of the bubble price via Perron’s method by constructing explicit, continuous sub- and supersolution barriers. Furthermore, we design a strictly monotone Implicit-Explicit (IMEX) finite difference scheme to compute the bubble premium. By extending the Barles-Souganidis framework, we prove that our discrete matrix operator preserves the M-matrix property and that the numerical scheme converges locally uniformly to the unique viscosity solution under a spatial-dependent Courant–Friedrichs–Lewy (CFL) condition. Finally, we implement this scheme via a PSOR-Picard algorithm, and simulate the bubble across four finite- and infinite-activity Lévy models.