生成时间: 2026年06月26日 06:39:49

运行状态: 完成

计划处理论文数量: 24

已完成论文数量: 24

未完成论文数量: 0

重点关注论文数量: 3

了解领域论文数量: 15

不相关论文数量: 6

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

1. 随机SQG方程中双重级联的混合三阶通量律

Mixed Third-Order Flux Laws for Dual Cascade in the Stochastic SQG Equation

作者: Rongchang Liu, Kening Lu, Zexin Wang

类别: math.AP

发布日期: 2026-06-25

arXiv ID: 2606.26788v1

摘要翻译: 我们在大周期盒上研究随机强迫–耗散型表面准地转（SQG）方程的双重级联通量律。对统计稳态解，在弱异常耗散假设下，我们严格推导出双重级联的混合三阶结构函数律：其一是表面位能（SPE）正向级联的Yaglom型律，其二是哈密顿量逆向级联的反对称化混合通量律。特别地，该逆向哈密顿量律即使作为显式的三阶结构函数关系亦似属新结果。我们还证明了Onsager型障碍性结果：足够正则的稳态族无法维持相应的非零通量—— $B^s_{3,\infty}$ -正则性若高于Onsager阈值 $$1/3$$ ，则排除正向SPE通量；而充分的低频Besov正则性则排除逆向哈密顿量通量。这些结果为随机稳态框架下的SQG双重级联现象学提供了严格表述。

Comment: 无

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

1. 研究对象和背景

本文研究二维周期盒 $\mathbb{T}^2_\lambda = \mathbb{R}^2/(\lambda \mathbb{Z})^2$ 上带随机强迫与耗散的表面准地转（SQG）方程的统计稳态解所承载的双重级联通量结构。该方程为

d\theta + \big(u \cdot \nabla \theta - \nu \Delta \theta + \alpha \Lambda^{-2\gamma} \theta\big) dt = \sum_{n\in\mathbb{N}} g_n^\lambda dW_n(t), \quad u = R^\perp \theta = (-R_2 \theta, R_1 \theta), \tag{1.1}

其中 $\Lambda = (-\Delta)^{1/2}$ ， $R_j = \partial_j (-\Delta)^{-1/2}$ 是 Riesz 变换， $\{W_n\}_{n\in\mathbb{N}}$ 是独立同分布的标准布朗运动， $\{g_n^\lambda\}_n$ 是零均值光滑标量场列，满足高阶正则性条件 $\sup_{\lambda \ge 1} \sum_n \|\Lambda^{1+\sigma} g_n^\lambda\|_{L^2_\lambda}^2 < \infty$ （对任意 $\sigma > 0$ ）及低频非集中性 $\lim_{\delta \to 0} \sup_{\lambda \ge 1} \sum_n \|(\Lambda^{-1/2} g_n^\lambda)_{\le \delta}\|_{L^2_\lambda}^2 = 0$ 。研究对象 $\theta(t,x)$ 表征表面位温，其演化由非局部速度场 $$u$$ 输运，且系统具有两个二次不变量：表面位能 $E(\theta) = \|\theta\|_{L^2_\lambda}^2$ 与哈密顿量 $H(\theta) = \langle \theta, \psi \rangle = \|\Lambda^{-1/2} \theta\|_{L^2_\lambda}^2$ ，其中 $\psi = \Lambda^{-1} \theta$ 为流函数。在不可压二维湍流中，Kraichnan–Leith–Batchelor（KLB）理论预言存在双重级联：能量向小尺度正向级联，而哈密顿量（对应于二维欧拉方程中的总涡量）向大尺度逆向级联；SQG 作为活跃标量模型，虽维数为二，但因非局部结构 $u = R^\perp \theta$ 引入类涡拉伸机制，其级联现象更复杂——SPE 级联速率谱预测为 $|k| |\widehat{\theta}(k)|^2 \sim \varepsilon^{2/3} |k|^{-5/3}$ （ $1 \ll |k| \ll \ell_\nu^{-1}$ ），而哈密顿量级联谱预测为 $|k| \big(|k|^{-1} |\widehat{\theta}(k)|^2\big) \sim \eta^{2/3} |k|^{-2}$ （ $\ell_\alpha^{-1} \ll |k| \ll 1$ ）。然而，尽管数值与唯象研究（如 [29,31]）曾提出 Yaglom 型混合三阶结构函数用于 SPE 级联，对哈密顿量逆级联却从未建立任何显式三阶结构函数律——既无严格证明，亦无唯象或数值先例。本文旨在填补这一根本性空白：在统计稳态框架下，为 SQG 双重级联建立首个严格三阶通量律体系，并刻画其可实现所需的正则性阈值。核心挑战在于：（i）SQG 的非局部性导致哈密顿量级联不具标准增量对称性，传统 KHM 关系无法直接适用；（ii）逆级联涉及流函数 $\psi$ 在大尺度上的反对称差分 $\psi(x+\ell \hat{n}) - \psi(x-\ell \hat{n})$ ，而 $\theta$ 与 $$u$$ 仅在基点 $$x$$ 局部取值，破坏了 Navier-Stokes 中全量增量的对称结构；（iii）随机强迫与双尺度耗散（小尺度粘性 $-\nu \Delta \theta$ 与大尺度 Ekman 阻尼 $\alpha \Lambda^{-2\gamma} \theta$ ）要求平衡律必须分离处理两种耗散机制，且需引入弱反常耗散（W.A.D.）假设以确保级联通量不被人工耗散湮没。因此，本文试图补足的理论空白是：在数学上严格确立 SQG 双重级联的三阶通量律的存在性、形式唯一性及其正则性兼容性，从而为湍流唯象学提供首个严格 PDE 基础。

2. 主要定理或主要结果

在弱反常耗散（W.A.D.）假设 $\lim_{\nu,\alpha \to 0} \alpha \mathbb{E} \|\Lambda^{-\gamma} \theta\|_{L^2_\lambda}^2 = 0$ 与 $\lim_{\nu,\alpha \to 0} \nu \mathbb{E} \|\Lambda^{1/2} \theta\|_{L^2_\lambda}^2 = 0$ 下，设 $\{\theta_{\nu,\alpha}\}_{\nu,\alpha > 0}$ 为方程 (1.1) 的统计稳态强解族，且 $\nu \sim \alpha$ ， $\lambda = \lambda(\nu,\alpha) \to \infty$ 。则存在耗散尺度 $\ell_\nu \to 0$ 与阻尼尺度 $\ell_\alpha \to \infty$ ，使得：（i）正向 SPE 级联通量律（定理 2.6(i)）：在区间 $(\ell_\nu, \ell_I)$ 内， $\ell_I \to 0$ ，有

\lim_{\ell_I \to 0} \limsup_{\nu,\alpha \to 0} \sup_{\ell \in [\ell_\nu, \ell_I]} \left| \frac{S_E(\ell)}{\ell} + 2\varepsilon \right| = 0,

其中 $S_E(\ell) = \mathbb{E} \int_{\mathbb{S}^1} \int_{\mathbb{T}^2_\lambda} |\delta_{\ell \hat{n}} \theta|^2 (\delta_{\ell \hat{n}} u \cdot \hat{n}) \, dx \, dS(\hat{n})$ ， $\varepsilon = \frac{1}{2} \sum_n \int_{\mathbb{T}^2_\lambda} |g_n^\lambda|^2 dx$ 为平均 SPE 输入率，且 $\ell_\nu$ 可取为满足 $\lim_{\nu,\alpha \to 0} \frac{\nu \mathbb{E} \|\theta\|_{L^2_\lambda}^2}{\ell_\nu^2} = 0$ 的尺度。（ii）逆向哈密顿量级联通量律（定理 2.6(ii)）：在区间 $(\ell_I, \ell_\alpha)$ 内， $\ell_I \to \infty$ ，有

\lim_{\ell_I \to \infty} \limsup_{\nu,\alpha \to 0} \sup_{\ell \in [\ell_I, \ell_\alpha]} \left| \frac{S_H(\ell)}{\ell} - \eta \right| = 0,

其中 $S_H(\ell) = \mathbb{E} \int_{\mathbb{S}^1} \int_{\mathbb{T}^2_\lambda} \theta(x) \big[ \psi(x+\ell \hat{n}) - \psi(x-\ell \hat{n}) \big] (u(x) \cdot \hat{n}) \, dx \, dS(\hat{n})$ ， $\eta = \frac{1}{2} \sum_n \int_{\mathbb{T}^2_\lambda} |\Lambda^{-1/2} g_n^\lambda|^2 dx$ 为平均哈密顿量输入率，且 $\ell_\alpha$ 满足 $\lim_{\nu,\alpha \to 0} \ell_\alpha^2 \big( \alpha \mathbb{E} \|\Lambda^{-\gamma + 1/2} \theta\|_{L^2_\lambda}^2 \big) = 0$ 与 $\lim_{\nu,\alpha \to 0} \ell_\alpha / \lambda = 0$ 。（iii）Onsager 型阻碍定理：若解族在 $L^3(\Omega; B^s_{3,\infty})$ 中一致有界且 $$s > 1/3$$ （定理 2.7），则 $\lim_{\ell_I \to 0} \limsup_{\nu,\alpha \to 0} \sup_{\ell \in (0,\ell_I]} |S_E(\ell)/\ell| = 0$ ；若解族满足 $\sup_{\nu,\alpha} \mathbb{E} \big[ \|\theta\|_{L^3_\lambda}^2 ( \|\theta\|_{L^3_\lambda} + \|\theta\|^{\text{low}}_{\dot{B}^{-s}_{3,\infty}} ) \big] < \infty$ 对某 $s \in (0,1)$ 成立（定理 2.8），则 $\lim_{\ell_I \to \infty} \limsup_{\nu,\alpha \to 0} \sup_{\ell \in [\ell_I, \lambda)} |S_H(\ell)/\ell| = 0$ 。此处 $\|\cdot\|^{\text{low}}_{\dot{B}^{-s}_{3,\infty}}$ 定义为 $\sup_{j \le 0} 2^{-sj} \|\dot{\Delta}_j \theta\|_{L^3_\lambda}$ ，刻画低频块衰减率。

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

证明的核心障碍源于 SQG 的非局部结构与双重耗散机制的耦合：一方面，哈密顿量逆级联的通量 $S_H(\ell)$ 依赖于流函数 $\psi = \Lambda^{-1} \theta$ 的大尺度反对称差分，而 $\theta$ 和 $$u$$ 仅在基点取值，导致标准 Kármán–Howarth–Monin（KHM）关系无法直接构造；另一方面，随机强迫与 $\nu \Delta \theta$ 、 $\alpha \Lambda^{-2\gamma} \theta$ 的共存要求将耗散项精确分离，且 W.A.D. 假设必须通过尺度渐近分析嵌入通量表达式。作者的真正创新点在于构建两类非标准 KHM 关系并发展尺度敏感的平均技术：（1）针对正向级联，作者推导出新型 KHM 关系 $\nabla_h \cdot F(h) = -4\nu \Delta_h \Gamma(h) + 4\alpha M(h) - 4Q(h)$ （命题 3.1），其中 $F(h) = \mathbb{E} \int_{\mathbb{T}^2_\lambda} |\delta_h \theta|^2 \delta_h u \, dx$ ， $\Gamma(h) = \mathbb{E} \int_{\mathbb{T}^2_\lambda} \theta(x) \theta(x+h) \, dx$ ， $M(h) = \mathbb{E} \int_{\mathbb{T}^2_\lambda} \Lambda^{-\gamma} \theta(x) \Lambda^{-\gamma} \theta(x+h) \, dx$ ， $$Q(h)$$ 为强迫相关函数。关键在于利用 Itô 乘积法则作用于 $\theta(t,x)$ 与平移副本 $\theta(t,x+h)$ ，并借助平稳性消去时间导数项，再通过分部积分将耗散项转化为 $\Delta_h \Gamma(h)$ 与 $$M(h)$$ 。随后对 $|h| \le \ell$ 积分并应用散度定理，得到 $S_E(\ell) = -2\nu \ell \int_{|h|\le \ell} \Delta_h \Gamma(h) \, dh + 2\alpha \ell \int_{|h|\le \ell} M(h) \, dh - 2\ell \int_{|h|\le \ell} Q(h) \, dh$ （式 (3.4)），再结合 W.A.D. 假设与耗散尺度 $\ell_\nu$ 的选取，使 $\alpha$ -项与 $$Q$$ -项在 $\ell_\nu \ll \ell \ll 1$ 区间内主导 $\nu$ -项并收敛至 $-2\varepsilon$ 。（2）针对逆向级联，作者设计了全新反对称化 KHM 框架：定义 $\mathcal{F}_H(h) = \mathbb{E} \int_{\mathbb{T}^2_\lambda} \theta(x) \big[ \psi(x+h) - \psi(x-h) \big] u(x) \, dx$ ，并证明其散度满足 $\nabla_h \cdot \mathcal{F}_H(h) = -2\nu \Delta_h \widetilde{\Gamma}(h) + 2\alpha \widetilde{M}(h) - 2\widetilde{Q}(h)$ ，其中 $\widetilde{\Gamma}(h) = \mathbb{E} \int_{\mathbb{T}^2_\lambda} \theta(x) \big[ \psi(x+h) + \psi(x-h) \big] \, dx$ ， $\widetilde{M}(h)$ 、 $\widetilde{Q}(h)$ 相应调整。此构造的关键是利用 $\psi$ 的奇性与 $\theta$ 的零均值，使 $\mathcal{F}_H(h)$ 的球面平均恰好复原 $S_H(\ell)$ 。再对 $|h| \le \ell$ 积分，W.A.D. 假设保证 $\nu$ -项在 $1 \ll \ell \ll \ell_\alpha$ 区间内可忽略，而 $\alpha$ -项主导并收敛至 $\eta$ 。（3）Onsager 阻碍的证明依赖 Besov 差分刻画：对 $S_E(\ell)/\ell$ ，利用 $B^s_{3,\infty}$ 的差分特征 $\|\delta_h f\|_{L^3_\lambda} \lesssim \|f\|_{B^s_{3,\infty}} |h|^s$ ，当 $$s > 1/3$$ 时， $|S_E(\ell)| \lesssim \|\theta\|_{B^s_{3,\infty}}^3 \ell^{3s}$ ，故 $|S_E(\ell)/\ell| \lesssim \ell^{3s-1} \to 0$ ；对 $S_H(\ell)/\ell$ ，利用低频 Besov 半范数 $\|\theta\|^{\text{low}}_{\dot{B}^{-s}_{3,\infty}}$ 控制 $\|\dot{\Delta}_j \psi\|_{L^3_\lambda} \lesssim 2^{j(s-1)}$ （因 $\psi = \Lambda^{-1} \theta$ ），结合反对称差分 $|\psi(x+\ell \hat{n}) - \psi(x-\ell \hat{n})| \lesssim \ell \|\nabla \psi\|_{L^3_\lambda}$ ，最终导出 $|S_H(\ell)/\ell| \lesssim \ell^{-s} \to 0$ 当 $\ell \to \infty$ 。

4. 与之前工作的比较

本文与既有工作存在本质差异：（1）与 Kolmogorov 4/5 律及二维 Navier-Stokes 双重级联律（如 [4,5]）相比，本文首次为 SQG 建立严格三阶通量律，且哈密顿量逆级联律 $S_H(\ell) \sim \eta \ell$ 属全新发现——此前文献（包括 [2,22,24,27,31]）仅给出谱预测，未导出任何结构函数形式；（2）与 SQG 正则性研究（如 [1,9,10,12,14,17,18,32,34]）相比，本文不关注解的存在唯一性或爆破问题，而是聚焦统计稳态下的通量结构，将 Onsager 临界性从守恒律推广至通量存在性：SPE 通量要求 $B^{1/3}_{3,\infty}$ 正则性（定理 2.7），而哈密顿量通量要求低频临界性 $\dot{B}^0_{3,\infty}$ （定理 2.8），这与 SQG 能量守恒阈值 $$1/3$$ 及哈密顿量守恒阈值 $$0$$ 精确对应，但本文揭示其物理意义是通量可持续性的必要条件而非守恒条件；（3）与随机 SQG 研究（如 [7,15,25,28]）相比，本文不局限于亚临界初值或遍历性，而是利用不变测度的统计性质，在大盒极限下提取尺度渐近行为，W.A.D. 假设虽未被证明存在，但其角色类比于 Navier-Stokes 中的零律假设，为通量律提供最小必要框架；（4）与被动标量湍流（如 [3]）相比，本文处理的是主动标量（ $$u$$ 由 $\theta$ 非局部决定），故 KHM 关系必须包含 Riesz 变换耦合项，且反对称化结构 $\psi(x+\ell \hat{n}) - \psi(x-\ell \hat{n})$ 是 SQG 特有的非局部响应，区别于被动标量中纯平移增量；（5）代价与局限：W.A.D. 假设目前不可证，且所有结果依赖统计稳态解的存在性（由 Krylov-Bogoliubov 构造保证但未给出显式估计）；此外，通量律仅在尺度分离区间 $\ell_\nu \ll \ell \ll 1$ 与 $1 \ll \ell \ll \ell_\alpha$ 成立，未覆盖惯性子区全域，亦未处理有限雷诺数修正或间歇性效应。作者明确指出：‘The existence of the solutions satisfying (2.5) remains an open problem’，且比较限于 KLB 唯象框架与 Onsager 理论，未与更广的湍流模型（如分数 Laplacian 耗散）展开对比。

2. 双曲方程组的分数阶正则化问题的局部适定性

Local well-posedness for fractional regularizations of hyperbolic systems of equations

作者: Felipe Angeles

类别: math.AP

发布日期: 2026-06-25

arXiv ID: 2606.26887v1

摘要翻译: 我们为一类具有分数阶耗散及分数拉普拉斯算子非局部交换子的双曲拟线性演化系统建立了局部适定性理论。该分析受到带分数扩散的可压等熵Navier-Stokes方程以及带奇异通讯权的可压Euler对齐系统这两类模型的启发。我们的方法不依赖于先前用于恢复最高阶非局部项强制性的消去条件；相反，我们利用分数拉普拉斯算子的自伴性，结合傅里叶乘子交换子的一个初等代数恒等式。再辅以非齐次Littlewood-Paley理论，这些要素共同导出了强制结构，并且该结构仍适用于具变系数的系统。我们进一步证明：相应的解算子不满足Banach压缩映射原理。为克服这一困难，我们建立了一个阶数为 $\frac{1}{2}$ 的Hölder连续性估计，并将其与Aubin-Lions紧性定理及尾部控制论证相结合，从而获得解算子的相对紧性，使得Schauder不动点定理得以应用。所得理论给出了任意分数阶 $α\in(0,1)$ 下的局部存在性，并明确了在存在分数阶交换子情形下阻碍局部唯一性的障碍。

Comment: 无

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

1. 研究对象和背景

本文研究如下拟线性双曲-抛物耦合型演化系统初值问题的局部适定性：

A_0(U)\partial_t U + A_j(U)\partial_j U + D(U)U + B(U)\Lambda^{2\alpha}U + H(U)[\Lambda^{2\alpha}, G(U)]LU = 0, \quad U|_{t=0} = U_0,

其中 $\Lambda^{2\alpha} = (-\Delta)^{\alpha}$ 是分数阶拉普拉斯算子，其傅里叶乘子为 $|\xi|^{2\alpha}$ ，即 $\mathcal{F}(\Lambda^{2\alpha} f)(\xi) = |\xi|^{2\alpha} \hat{f}(\xi)$ ；非局部交换子定义为 $[\Lambda^{2\alpha}, f]g := \Lambda^{2\alpha}(fg) - f\Lambda^{2\alpha}g$ ；系数矩阵 $$A_0, A_j, D, B, H, G$$ 均为 $N\times N$ 实矩阵， $$L$$ 为常数矩阵，取两种典型结构：(i) $$L = I_N$$ ，对应分数耗散与交换子均作用于扩散变量 $$v$$ 的情形，如模型 $v_t + \Lambda^{2\alpha} v + [\Lambda^{2\alpha}, G]v = 0$ ；(ii) $L = L_N = \begin{pmatrix} O_{k\times k} & O_{k\times m} \\ L_0 & O_{m\times m} \end{pmatrix}$ ，对应交换子仅通过双曲变量 $$u$$ 作用于扩散变量 $$v$$ 的情形，精确捕捉压缩欧拉对齐系统（Euler alignment system）的结构。变量 $U = (u,v)^\top \in \mathbb{R}^k \times \mathbb{R}^m$ 具有块结构， $$u$$ 为双曲部分， $$v$$ 为受分数耗散支配的抛物部分。

该模型由两类重要物理系统驱动：其一为带分数粘性项的等熵可压 Navier-Stokes 方程

\partial_t \rho + \nabla \cdot (\rho v) = 0, \quad \partial_t(\rho v) + \nabla \cdot (\rho v \otimes v) = -\nabla p - \mu_0 \Lambda^{2\alpha} v,

其中 $p = \rho^\gamma$ ， $\mu_0 > 0$ ；其二为带奇异通讯核的可压欧拉对齐系统

\partial_t \rho + \nabla \cdot (\rho v) = 0, \quad \partial_t(\rho v) + \nabla \cdot (\rho v \otimes v) + \nabla p(\rho) = -\beta \rho v - \rho \int_{\mathbb{R}^d} \phi(x-y)(v(x)-v(y)) \rho(y)\,dy,

其中通讯权重 $\phi(x) = c_\alpha |x|^{-d-2\alpha}$ ，经变量变换 $\sigma = \sigma(\rho)$ 后可重写为

\partial_t \sigma + v \cdot \nabla \sigma + \left(\frac{\gamma-1}{2}\sigma + \sqrt{\gamma}\right)\nabla \cdot v = 0,

\partial_t v + v \cdot \nabla v + \left(\frac{\gamma-1}{2}\sigma + \sqrt{\gamma}\right)\nabla \sigma = -\beta v - \Lambda^{2\alpha} v - [\Lambda^{2\alpha}, v](\rho(\sigma)-1),

其关键非局部项 $[\Lambda^{2\alpha}, v](\rho(\sigma)-1)$ 产生高阶交换子贡献。此前工作（如 Chen–Tan–Tong [3]）依赖精细的“抵消结构”：对 $\Lambda^s$ 作用后的能量估计中，交换子项 $J = -\langle \Lambda^s [\Lambda^{2\alpha}, v](\rho(\sigma)-1), \Lambda^s v \rangle_{L^2}$ 经分部积分后分解为 $-\int_{\mathbb{R}^d} (\rho(\sigma)-1) |\Lambda^{s+\alpha} v|^2 dx + R$ ，其中余项 $$R$$ 可被耗散控制，而主项与耗散项 $-\int |\Lambda^{s+\alpha} v|^2 dx$ 结合生成 $-\int \rho(\sigma) |\Lambda^{s+\alpha} v|^2 dx$ ，利用 $\rho(\sigma) \geq \rho_{\min} > 0$ 获得强制性估计 $\geq \frac{\rho_{\min}}{2} \|\Lambda^{s+\alpha} v\|_{L^2}^2$ 。此抵消机制高度依赖方程系数的具体符号与大小（例如若 $$J$$ 替换为 $$2J$$ ，则需 $\rho_{\min} > 1/2$ ），且无法推广至变系数系统或任意 $\alpha \in (0,1)$ 。Wang–Zhang [11,12] 对 Navier-Stokes 系统在 $\alpha > 1/2$ 下建立局部适定性，但其方法在 $\alpha \leq 1/2$ 时失效；而 [3] 的局部存在性要求初始数据 $$H^s$$ 正则性满足 $s > d/2 + \max\{1, 2\alpha\}$ ，且唯一性证明隐含使用收缩映射原理，但作者指出该原理在此类含分数交换子的系统中根本失效。因此，本文旨在填补三大空白：(1) 建立适用于任意 $\alpha \in (0,1)$ 的局部存在性理论，且初始正则性要求降至 $$s > d/2 + 1$$ （当 $$L = I_N$$ 时）；(2) 发展不依赖抵消条件、适用于变系数系统的强制性分析框架；(3) 构造在收缩原理失效情形下仍能保证解存在的新不动点论证。

2. 主要定理或主要结果

本文在以下核心假设下建立了严格结论：设 $d \geq 1$ ， $\alpha \in (0,1)$ ， $$s > d/2 + 1$$ 为整数，初始数据 $U_0 \in H^s(\mathbb{R}^d; \mathbb{R}^N)$ 满足 $$A_0(U_0)$$ 正定，且系数矩阵 $$A_0, A_j, D, B, H, G$$ 属于 $C^\infty$ 类并满足块结构条件（即 $U = (u,v)^\top$ ， $$L$$ 取 $$I_N$$ 或 $$L_N$$ 形式）。则：

定理 11.1（局部存在性）：存在 $T = T(\|U_0\|_{H^s}) > 0$ ，使得 Cauchy 问题 (1.1) 在 $$[0,T]$$ 上存在解 $U \in C([0,T]; H^s) \cap L^2([0,T]; H^{s+\alpha})$ ，且满足 $\partial_t U \in C([0,T]; H^{s-1})$ 。特别地，当 $$L = I_N$$ 时，正则性门槛为 $$s > d/2 + 1$$ ，与 $\alpha$ 无关；当 $$L = L_N$$ 时，门槛为 $s > d/2 + \max\{1, 2\alpha\}$ ，与 [3] 一致。

定理 12.1（局部唯一性）：若初始数据满足 $\|U_0\|_{H^s} < \varepsilon$ （ $\varepsilon > 0$ 充分小），则解在 $$C([0,T]; H^s)$$ 中唯一。该小初值条件是必要的，因一般情形下解映射仅具 $$1/2$$ -Hölder 连续性，不足以导出 Lipschitz 连续性。

定理 7.1（高阶强制性估计）：对任意 $$s > d/2 + 1$$ ，存在常数 $$C > 0$$ 仅依赖于 $s, \alpha, d$ 及 $\|U\|_{L^\infty}$ ，使得

\frac{d}{dt} \|U\|_{H^s}^2 + c \|U\|_{H^{s+\alpha}}^2 \leq C \left(1 + \|U\|_{H^s}^2\right) \|U\|_{H^s}^2,

其中 $$c > 0$$ 由 $$B(U)$$ 的正定性及 $$H(U)$$ 的有界性保证，且该估计不依赖任何抵消条件。

定理 4.1–4.3（关键交换子估计）：设 $f \in \dot{H}^\alpha \cap bH^s \cap \dot{H}^{s+\alpha}$ ， $g \in H^m$ ， $1 \leq m \leq s$ ，则

\|[D^\gamma, f]g\|_{H^\alpha} \leq C \left( \|f\|_{\dot{H}^\alpha} + \|f\|_{\dot{H}^{s+\alpha}} \right) \|g\|_{H^m}, \quad |\gamma| = m.

该估计是高阶能量估计的核心输入，其证明依赖非齐次 Littlewood-Paley 分解与恒等式 (2.3)。

定理 9.1（解映射的 Hölder 连续性）：解映射 $\Phi: U_0 \mapsto U$ 满足

\sup_{t \in [0,T]} \|\Phi(U_0^1)(t) - \Phi(U_0^2)(t)\|_{H^{s-1}} \leq C \|U_0^1 - U_0^2\|_{H^{s-1}}^{1/2},

其中 $$C$$ 依赖于 $\|U_0^1\|_{H^s}, \|U_0^2\|_{H^s}$ 及 $$T$$ 。此 $$1/2$$ 阶 Hölder 连续性是应用 Schauder 不动点定理的关键。

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

本文的核心技术障碍有三：(1) 高阶能量估计中，非局部交换子项 $\langle \Lambda^s [\Lambda^{2\alpha}, G(U)]LU, \Lambda^s U \rangle$ 无法通过传统抵消获得强制性；(2) 解映射在 $$H^s$$ 拓扑下不满足 Lipschitz 或收缩性质，导致 Banach 不动点定理失效；(3) 在全空间 $\mathbb{R}^d$ 上，紧性论证需克服无穷域带来的非紧性。作者的创新点在于构建一个三层递进的分析框架：

第一层：基于代数恒等式的交换子估计体系。传统方法（如 Kato-Ponce-Li 不等式）对 $\alpha < 1$ 给出 $\| [\Lambda^{2\alpha}, f] g \|_{L^2} \lesssim \| \Lambda^{2\alpha} f \|_{L^\infty} \| g \|_{L^2}$ ，但此估计在 $$H^s$$ 框架中损失正则性（需 $f \in W^{2\alpha,\infty}$ ）。本文引入关键恒等式 (2.3)：对傅里叶乘子 $$T_1, T_2$$ ，有 $$T_1[T_2,f]g = T_2[T_1,f]g + [T_2,f]T_1 g - [T_1,f]T_2 g$$ 。将 $T_1 = \Delta_j$ （非齐次 Littlewood-Paley 块）， $T_2 = D^\gamma$ ，则 $\Delta_j [D^\gamma, f] g$ 被分解为三项： $D^\gamma [\Delta_j, f] g$ 、 $[D^\gamma, f] \Delta_j g$ 和 $-[\Delta_j, f] D^\gamma g$ 。前两项用标准交换子估计控制，第三项通过 Leibniz 规则展开为 $\sum_{0<\beta\leq\gamma} C_{\beta,\gamma} \left( \Delta_j(D^\beta f D^{\gamma-\beta} g) - D^\beta f D^{\gamma-\beta} \Delta_j g \right)$ ，其每项再用分数阶 Leibniz 不等式 (3.4) 与 Sobolev 嵌入 $H^1 \hookrightarrow L^4$ 控制，最终导出定理 4.1 的尖锐估计 $\|[D^\gamma, f]g\|_{H^\alpha} \lesssim (\|f\|_{\dot{H}^\alpha} + \|f\|_{\dot{H}^{s+\alpha}}) \|g\|_{H^m}$ 。该估计直接用于控制 $\Lambda^s [\Lambda^{2\alpha}, G(U)]LU$ 中的最高阶项，无需抵消，且天然兼容变系数。

第二层：自伴性驱动的强制性构造。利用 $\Lambda^{2\alpha}$ 在 $$L^2$$ 中的自伴性，对原方程做 $$L^2$$ 内积得 $\frac{d}{dt} \|U\|_{L^2}^2 + 2\langle B(U)\Lambda^{2\alpha}U, U \rangle + 2\langle H(U)[\Lambda^{2\alpha}, G(U)]LU, U \rangle = \text{低阶项}$ 。由自伴性， $\langle [\Lambda^{2\alpha}, G(U)]LU, U \rangle = \langle \Lambda^{2\alpha}(G(U)LU), U \rangle - \langle G(U)\Lambda^{2\alpha}(LU), U \rangle = \langle G(U)LU, \Lambda^{2\alpha}U \rangle - \langle G(U)\Lambda^{2\alpha}(LU), U \rangle$ ，此形式允许将交换子项与耗散项 $\langle B(U)\Lambda^{2\alpha}U, U \rangle$ 在 $$H^s$$ 框架下协同处理，结合定理 4.1 的估计，最终在 $$H^s$$ 能量不等式中提取出 $c \|U\|_{H^{s+\alpha}}^2$ 主导项。

第三层：Schauder 不动点的新实现路径。由于解映射 $\Phi$ 在 $$H^s$$ 中非收缩，作者转而证明其在 $H^{s-1}$ 中具 $$1/2$$ -Hölder 连续性（定理 9.1）。证明中，差 $$U^1 - U^2$$ 满足含非线性源项的线性化方程，其右端含 $[\Lambda^{2\alpha}, G(U^1)]LU^1 - [\Lambda^{2\alpha}, G(U^2)]LU^2$ ，该差被分解为 $[\Lambda^{2\alpha}, G(U^1)-G(U^2)]LU^1 + [\Lambda^{2\alpha}, G(U^2)]L(U^1-U^2)$ ，前者用定理 4.1 控制为 $\lesssim \|U^1-U^2\|_{H^{s-1}}^{1/2} \|U^1\|_{H^s}$ ，后者用 $$L^2$$ 估计。随后应用 Aubin-Lions 引理：由能量估计知 $\{U_n\}$ 在 $L^2([0,T]; H^{s+\alpha})$ 有界，在 $L^\infty([0,T]; H^s)$ 有界，故 $\{U_n\}$ 在 $$L^2([0,T]; H^s)$$ 相对紧；再通过“尾部控制”论证（lemma 8）：对任意 $\varepsilon > 0$ ，存在 $$R > 0$$ 使 $\int_{|x|>R} |U_n(x,t)|^2 dx < \varepsilon$ 对所有 $$n,t$$ 成立，此由 $$L^2$$ 能量估计与 $$H^s$$ 有界性联合保证（ $\|U\|_{L^2(|x|>R)} \leq R^{-s} \|U\|_{\dot{H}^s} \leq R^{-s} C$ ）。二者结合给出 $\{U_n\}$ 在 $C([0,T]; H^{s-1})$ 中相对紧，从而 Schauder 定理适用。

4. 与之前工作的比较

本文与既有工作在多个维度上形成鲜明对比：

正则性门槛与 $\alpha$ 依赖性：Chen–Tan–Tong [3] 对欧拉对齐系统要求 $s > d/2 + \max\{1, 2\alpha\}$ ，即当 $\alpha > 1/2$ 时门槛升至 $s > d/2 + 2\alpha$ ，而本文在 $$L = I_N$$ 情形下将门槛统一降至 $$s > d/2 + 1$$ ，完全摆脱 $\alpha$ 依赖。这一改进源于定理 4.1 的交换子估计：传统估计（如 (1.9)）需 $\|\Lambda^{s+2\alpha-1}(\rho-1)\|_{L^2}$ ，要求 $s+2\alpha-1 \leq s$ 即 $\alpha \leq 1/2$ ，而本文估计 $\|[D^\gamma, f]g\|_{H^\alpha} \lesssim \|f\|_{\dot{H}^{s+\alpha}} \|g\|_{H^m}$ 允许 $s+\alpha$ 阶导数被 $$H^s$$ 范数吸收，故 $\alpha$ 可任意小。代价是估计常数随 $\alpha \to 0^+$ 爆炸，但存在性时间 $$T$$ 仍保持正。

强制性机制的普适性：[3] 和 [11] 的强制性严格依赖方程特定结构——前者要求 $\rho(\sigma) > 0$ 且系数匹配以产生 $-\int \rho|\Lambda^{s+\alpha}v|^2$ ，后者要求 $\alpha > 1/2$ 以保证 $\Lambda^{2\alpha}$ 的强耗散主导交换子。本文定理 7.1 的强制性仅需 $$B(U)$$ 正定及 $$H(U)$$ 有界，对任意 $\alpha \in (0,1)$ 及变系数 $$A_j(U)$$ 均成立，且不预设任何符号条件。例如，若 [3] 中的对齐项符号反转，其抵消失效，而本文框架仍适用。

存在性证明范式：[3] 隐含使用收缩映射，但未验证其可行性；[1] 提出“斐波那契收缩”，要求非线性项比主导项低一阶，而本文的交换子 $[\Lambda^{2\alpha}, G]LU$ 与 $\Lambda^{2\alpha}U$ 同阶，故 [1] 方法失效。本文首创将 $$1/2$$ -Hölder 连续性、Aubin-Lions 紧性与尾部控制结合，构成全空间上 Schauder 定理的新应用模板。该模板的代价是放弃唯一性（除非小初值），而 [3] 在相同正则性下声称唯一性，但其证明未处理交换子差的尖锐估计，本文明确指出该步骤需要额外小性假设（定理 12.1）。

物理模型覆盖范围：Wang–Zhang [11,12] 仅处理 $\alpha > 1/2$ 的 Navier-Stokes，且全局理论依赖初值接近平衡态；本文同时覆盖 $\alpha \in (0,1)$ 的 Navier-Stokes 与欧拉对齐系统，并在 section 13.2 中显式给出二者化为 (1.1) 形式的矩阵系数，证明框架的统一性。从提供内容中无法确认本文结果能否推广至不可压情形或非等熵模型。

3. 弱对流 Hou–Li 模型的精确爆破分析

Exact Blowup Analysis for the Weak-Advection Hou–Li Model

作者: Thomas Y. Hou, Xiang Qin, Xiuyuan Wang

类别: math.AP

发布日期: 2026-06-25

arXiv ID: 2606.26658v1

摘要翻译: 我们研究一维弱对流 Hou–Li 模型的自相似奇点形成，该简化模型源于轴对称 Euler 方程。在周期设置下，我们为 $$2/3<a<1$$ 构造出精确的有限时间自相似爆破解，其剖面既非聚焦亦非发散。在带 Neumann 边界条件的全空间设置下，我们为整个范围 $0<a\leq1$ 构造出精确的有限时间自相似爆破解，其剖面形式分别为聚焦型、非发散/非聚焦型或发散型，具体取决于自相似缩放参数的符号。该构造基于原点附近的不动点公式化，随后采用常微分方程延拓论证。我们还建立了剖面的正则性、渐近行为、单调性性质，并在自然缩放不变性意义下证明了唯一性。

Comment: 54 pages, 4 figures

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

1. 研究对象和背景

本文研究一维弱对流 Hou–Li 模型，其演化系统为

(𝑢_1)_𝑡 + 2𝑎𝜓_1(𝑢_1)_𝑧 = 2(𝜓_1)_𝑧 𝑢_1, \\ (𝜔_1)_𝑡 + 2𝑎𝜓_1(𝜔_1)_𝑧 = (𝑢_1^2)_𝑧, \\ -(𝜓_1)_{𝑧𝑧} = 𝜔_1,

其中参数 $$𝑎 \in [0,1]$$ 刻画对流项相对于涡量拉伸项的相对强度；归一化条件为 $$𝜓_1(0) = 0$$ 。该模型源自三维轴对称不可压 Euler 方程沿对称轴 $$𝑧$$ 的一维约化：令 $$𝑢_1 = 𝑢_𝜃/𝑟$$ , $$𝜔_1 = 𝜔_𝜃/𝑟$$ , $$𝜓_1 = 𝜓_θ/𝑟$$ ，则原 Euler 系统在 $$𝑟=0$$ 轴上退化为此模型；当 $$𝑎 = 1$$ 时，该模型严格对应轴对称 Euler 方程在 $$𝑧$$ -轴上的限制（忽略径向变量），且可提升为无限能量的精确轴对称 Euler 解： $$𝑢_𝜃(𝑡,𝑟,𝑧) = 𝑟 𝑢_1(𝑡,𝑧)$$ , $$𝜔_θ(𝑡,𝑟,𝑧) = 𝑟 𝜔_1(𝑡,𝑧)$$ , $$𝜓_θ(𝑡,𝑟,𝑧) = 𝑟 𝜓_1(𝑡,𝑧)$$ 。因此，该模型虽为简化，却保留了 Euler 方程中核心的非局部结构、涡量拉伸机制 $$(𝑢_1^2)_𝑧$$ 与对流耦合 $$2𝑎𝜓_1(𝜔_1)_𝑧$$ ，是研究奇点形成机制的关键测试平台。

问题的核心在于有限时间自相似爆破解的存在性与精细结构刻画。所谓自相似爆破指存在爆破时间 $$𝑇 < \infty$$ 及标度指数 $$𝑐_𝑙, 𝑐_𝜔, 𝑐_𝜃$$ ，使得解形如

𝜔(𝑧,𝑡) = (𝑇−𝑡)^{𝑐_𝜔} Ω\left(\frac{𝑧}{(𝑇−𝑡)^{𝑐_𝑙}}\right), \quad 𝑢(𝑧,𝑡) = (𝑇−𝑡)^{𝑐_𝑢} 𝑈\left(\frac{𝑧}{(𝑇−𝑡)^{𝑐_𝑙}}\right), \quad 𝜃(𝑧,𝑡) = (𝑇−𝑡)^{𝑐_𝜃} Θ\left(\frac{𝑧}{(𝑇−𝑡)^{𝑐_𝑙}}\right),

其中 $$𝜃 = 𝑢_1^2$$ , $$𝑢 = 2𝜓_1$$ 。代入原方程导出轮廓函数 $$(Ω,𝑈,Θ)$$ 满足的 ODE 系统：

(𝑐_𝑙 𝑥 + 𝑎 𝑢) 𝜃_x = (𝑐_𝜃 + 2 𝑢_x) 𝜃, \\ (𝑐_𝑙 𝑥 + 𝑎 𝑢) 𝜔_x = 𝑐_𝜔 𝜔 + 𝜃_x, \\ -𝑢_{𝑥𝑥} = 2 𝜔, \quad 𝑢(0) = 0.

该系统具有标度不变性：若 $$(𝜔,𝑢,𝜃,𝑐_𝑙,𝑐_𝜔,𝑐_𝜃)$$ 是解，则对任意 $$𝜆_1\inℝ$$ , $$𝜆_2>0$$ ，

\left(𝜆_1 𝜔(𝜆_2 𝑥),\, \frac{𝜆_1}{𝜆_2^2} 𝑢(𝜆_2 𝑥),\, \frac{𝜆_1^2}{𝜆_2^2} 𝜃(𝜆_2 𝑥),\, \frac{𝜆_1}{𝜆_2} 𝑐_𝑙,\, \frac{𝜆_1}{𝜆_2} 𝑐_𝜔,\, \frac{𝜆_1}{𝜆_2} 𝑐_𝜃\right)

亦为解。故物理意义仅由比值 $$𝑐_𝑙/𝑐_𝜃$$ 和 $$𝑐_𝜔/𝑐_𝜃$$ 决定，而 $$𝑐_𝑙$$ 的符号直接刻画爆破几何： $$𝑐_λ > 0$$ 对应聚焦型（尺度收缩）， $$𝑐_𝑙 < 0$$ 对应扩张型（尺度膨胀）， $$𝑐_𝑙 = 0$$ 对应固定尺度（既不聚焦也不扩张）。这一分类深刻关联于流体力学中奇点的本征几何——例如轴对称 Euler 中沿 $$𝑧$$ -轴的奇点是否伴随径向坍缩或横向扩散。

已有理论存在显著空白。Hou–Li 在 $$𝑎 = 1$$ 时证明全局正则性，揭示了对流与拉伸的精确抵消；Hou–Wang [HW23] 首次在 $$𝑎$$ 接近 1 的邻域内（即 $$𝑎 \in (1-𝛿,1)$$ ）用计算机辅助方法证实有限时间爆破，但其分析无法覆盖 $$𝑎$$ 远离 1 的区域，且未给出精确轮廓函数。数值实验 [HW23] 强烈暗示：当 $$𝑎$$ 降低至某临界值以下时，爆破模式从“中性”转变为“聚焦”，但缺乏严格构造。更关键的是，此前所有工作均未在全参数范围 $$0<𝑎\leq1$$ 内实现精确（exact）、解析（closed-form profile not just asymptotics）、分类完整（涵盖聚焦/中性/扩张三类）的自相似爆破解构造。尤其在周期情形下，因边界条件强制整体结构，传统 ODE 全局延拓方法失效；在全空间 Neumann 情形下，需处理无穷远渐近行为与支撑集的相变（compact vs. full support），这要求对轮廓函数的正则性、单调性、零点分布进行前所未有的精细控制。本文旨在填补这一根本性空白：建立从参数 $$𝑎$$ 到爆破几何类型的严格映射，并提供所有情形下轮廓函数的存在性、唯一性、正则性及渐近行为的完整刻画。

2. 主要定理或主要结果

本文在两个不同几何设定下，对弱对流 Hou–Li 模型 (1.1) 构造了精确有限时间自相似爆破解，并给出了轮廓函数的完整分析。

定理 1.2（周期情形）：对任意 $$2/3 < 𝑎 < 1$$ ，存在常数 $\tilde{𝑐}_𝑙 = 0$ , $\tilde{𝑐}_𝜔 = -1$ , $\tilde{𝑐}_𝜃 = -2$ ，以及非平凡的 $$2𝜋$$ -周期轮廓 $(\tilde{Ω}, \tilde{𝑈}, \tilde{Θ})$ 满足轮廓系统 (1.4)。该轮廓具有如下性质：(1) $\tilde{𝑈}$ 和 $\tilde{Ω}$ 为奇函数， $\tilde{Θ}$ 为偶函数；(2) 在原点处 $\tilde{𝑈}_𝑋(0) > 0$ , $\tilde{Ω}_𝑋(0) > 0$ , $\tilde{Θ}_{𝑋𝑋}(0) > 0$ ；(3) 在正半周期 $$[0,𝜋]$$ 上， $\tilde{𝑈}(𝑋) ≥ 0$ , $\tilde{Θ}(𝑋) ≥ 0$ ；(4) 商 $\tilde{𝑈}(𝑋)/𝑋$ 与 $\tilde{Θ}(𝑋)/𝑋^2$ 在 $$[0,𝜋]$$ 上单调递减；(5) 正则性：设 $$𝛽 = (2𝑎-1)/(2𝑎)$$ , $$𝛾 = (4𝑎-2)/(2𝑎)$$ ，则

\tilde{Ω} ∈ C^{⌈𝛽⌉−1, β−⌈β⌉+1}_{\text{per}}(ℝ) ∩ C^∞(ℝ \setminus \{(2𝑘+1)𝜋: 𝑘∈ℤ\}), \\ \tilde{𝑈} ∈ C^{1+⌈𝛽⌉, β−⌈β⌉+1}_{\text{per}}(ℝ) ∩ C^∞(ℝ \setminus \{(2𝑘+1)𝜋: 𝑘∈ℤ\}), \\ \tilde{Θ} ∈ C^{⌈𝛾⌉−1, γ−⌈γ⌉+1}_{\text{per}}(ℝ) ∩ C^∞(ℝ \setminus \{(2𝑘+1)𝜋: 𝑘∈ℤ\}).

且在此类轮廓中，解在标度不变性 (1.5) 下唯一。进而，对任意 $$𝑇 > 0$$ ，函数

𝜔(𝑥,𝑡) = \frac{1}{𝑇−𝑡} \tilde{Ω}(𝑥), \quad 𝑢(𝑥,𝑡) = \frac{1}{𝑇−𝑡} \tilde{𝑈}(𝑥), \quad 𝜃(𝑥,𝑡) = \frac{1}{(𝑇−𝑡)^2} \tilde{Θ}(𝑥)

构成 $$𝕊^1 \times [0,𝑇)$$ 上的周期解，在 $$𝑡 = 𝑇$$ 处以既不聚焦也不扩张的自相似方式爆破。

定理 1.3（全空间 Neumann 情形）：对任意 $$0 < 𝑎 \leq 1$$ ，存在常数 $\tilde{𝑐}_𝑙 = 2/𝑎 − 3$ , $\tilde{𝑐}_𝜔 = 2 − 2/𝑎$ , $\tilde{𝑐}_𝜃 = −2$ ，以及非平凡的全空间对称轮廓 $(\tilde{Ω}, \tilde{𝑈}, \tilde{Θ})$ 满足轮廓系统 (1.4) 及 Neumann 条件 $\lim_{|𝑋|→∞} \tilde{𝑈}_𝑋(𝑋) = 0$ 。其性质为：(1) 同上，奇偶性成立；(2) 原点导数条件同上；(3) 当 $$2/3 < 𝑎 \leq 1$$ 时， $\tilde{𝑈}(𝑋)/𝑋$ 与 $\tilde{Θ}(𝑋)/𝑋^2$ 在 $$[0,\infty)$$ 单调递减；(4) 支撑集由 $$𝑐_𝑙$$ 符号决定：若 $$0 < 𝑎 \leq 2/3$$ ，则 $\operatorname{supp} \tilde{Ω} = \operatorname{supp} \tilde{Θ} = ℝ$ （全支撑，聚焦）；若 $$2/3 < 𝑎 \leq 1$$ ，则存在 $$𝐿 > 0$$ 使得 $\operatorname{supp} \tilde{Ω} ∪ \operatorname{supp} \tilde{Θ} ⊆ [−𝐿, 𝐿]$ （紧支撑，扩张）；(5) 正则性：当 $$0 < 𝑎 \leq 2/3$$ 时，轮廓 $$C^\infty$$ 光滑；当 $$2/3 < 𝑎 < 1$$ 时，轮廓在 $$\pm𝐿$$ 处具有 Hölder 连续性，具体为

\tilde{Ω} ∈ C^{⌈𝛽⌉−1, β−⌈β⌉+1}(ℝ) ∩ C^∞(ℝ \setminus \{±𝐿\}), \quad \tilde{𝑈} ∈ C^{1+⌈𝛽⌉, β−⌈β⌉+1}(ℝ) ∩ C^∞(ℝ \setminus \{±𝐿\}), \quad \tilde{Θ} ∈ C^{⌈𝛾⌉−1, γ−⌈γ⌉+1}(ℝ) ∩ C^∞(ℝ \setminus \{±𝐿\}).

当 $$𝑎 = 1$$ 时，延拓后有 $\tilde{Ω} ∈ C^{0,1}(ℝ)$ , $\tilde{𝑈} ∈ C^{2,1}(ℝ)$ , $\tilde{Θ} ∈ C^{1,1}(ℝ)$ 。解在标度不变性下唯一。进而，函数

𝜔(𝑥,𝑡) = (𝑇−𝑡)^{\tilde{𝑐}_𝜔} \tilde{Ω}\left(\frac{𝑥}{(𝑇−𝑡)^{\tilde{𝑐}_𝑙}}\right), \quad 𝑢(𝑥,𝑡) = (𝑇−𝑡)^{\tilde{𝑐}_𝑙−1} \tilde{𝑈}\left(\frac{𝑥}{(𝑇−𝑡)^{\tilde{𝑐}_𝑙}}\right), \quad 𝜃(𝑥,𝑡) = (𝑇−𝑡)^{-2} \tilde{Θ}\left(\frac{𝑥}{(𝑇−𝑡)^{\tilde{𝑐}_𝑙}}\right)

构成 $$ℝ \times [0,𝑇)$$ 上满足 Neumann 条件的解，在 $$𝑡 = 𝑇$$ 处爆破，且爆破类型为： $$0 < 𝑎 < 2/3$$ 时聚焦， $$𝑎 = 2/3$$ 时中性， $$2/3 < 𝑎 \leq 1$$ 时扩张。

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

本文的核心技术障碍在于：轮廓系统 (1.4) 缺乏全局单调性或凸性结构（如 [HQWW23] 中利用的 Lyapunov 泛函），且在周期与全空间两种设定下，需分别克服截然不同的分析难点——前者因周期性导致 ODE 解无法简单延拓至全局，后者需在无穷远处施加 Neumann 条件并控制支撑集的相变。作者的真正创新点在于发展了一套“局部固定点 + ODE 延拓 + 结构性估计”的复合框架，其关键工具与步骤如下。

1. 局部固定点构造（Section 2.2）：将原问题转化为以 $$𝑣 = 𝑢_𝑥$$ 为未知量的积分方程。定义算子 $$R_𝑎$$ ：

R_𝑎(𝑣)(𝑥) = 1 - \frac{1}{𝑎} 𝑥^{2−1/𝑎} G[𝑣](𝑥)^{1/2} Φ[𝑣](𝑥)^{(2−3𝑎)/(2𝑎)} \int_0^𝑥 𝑦^{1/𝑎−1} G[𝑣](𝑦)^{(4−3𝑎)/(2𝑎)} Φ[𝑣](𝑦)^{(2−𝑎)/(2𝑎)} d𝑦,

其中 $G[𝑣](𝑥) = \frac{1}{𝑥} \int_0^𝑥 𝑣(𝑦) d𝑦$ , $Φ[𝑣](𝑥) = \exp\left(\int_0^𝑥 \frac{G[𝑣](𝑦)−1}{𝑦 G[𝑣](𝑦)} d𝑦\right)$ 。此形式通过将原始 PDE 精确积分，自动编码了原点归一化条件 $$𝑢_𝑥(0)=1$$ 和非退化性。作者设计了一个精巧的闭凸集 $$𝔻_1$$ ，其元素 $$𝑣$$ 满足： $$1-𝜂𝑥^2 \leq 𝑣(𝑥) \leq 1$$ 、在 $$[0,ℓ]$$ 上非增、Lipschitz 常数为 $$𝑀$$ 。关键在于，通过显式计算和不等式估计（Lemmas 2.1–2.4），严格证明了 $$R_𝑎$$ 将 $$𝔻_1$$ 映入自身，且连续紧致。这依赖于对 $$𝐺$$ 和 $$Φ$$ 的精细上下界控制，例如 $Φ(𝑥) ≥ \sqrt{1−𝜂𝑥^2/3}$ ，其证明利用了 $$𝑔(𝑦) \geq 1-𝜂𝑦^2/3$$ 导出的积分下界 $\int_0^𝑥 \frac{1}{𝑦}(1−1/𝑔(𝑦)) d𝑦 ≥ \frac{1}{2} \log(1−𝜂𝑥^2/3)$ 。

2. ODE 延拓与结构性分析（Sections 2.3 & 3）：局部解 $$𝑣$$ 生成后，通过 ODE 系统 $$𝑢_𝑥 = 𝑣$$ , $𝑢_{𝑥𝑥} = −2𝜔$ , $𝜃_𝑥 = (𝑐_𝑙 𝑥 + 𝑎 𝑢)^{−1} (𝑐_𝜃 + 2 𝑢_𝑥) 𝜃$ 向外延拓。此处的创新在于引入商函数 $$𝑔 = 𝑢/𝑥$$ 和 $$𝑚 = 𝜃/𝑥^2$$ ，将奇点处的高阶导数行为转化为这些商的有界性与单调性。例如，证明 $$𝑔(𝑥)$$ 和 $$𝑚(𝑥)$$ 在 $$[0,ℓ]$$ 上非增，是保证延拓解保持正性与凸性的关键。在全空间情形下，作者进一步分析 $$𝑐_𝑙 = 2/𝑎-3$$ 的符号变化如何导致解在有限距离 $$𝐿$$ 处达到零（即支撑边界），这通过研究 $$𝑢_𝑥$$ 的渐近行为 $\lim_{|𝑋|→∞} 𝑢_𝑋(𝑋) = 0$ 实现，并利用 $$𝑐_𝑙$$ 的显式公式将几何相变 ( $$𝑎 = 2/3$$ ) 与参数相变精确对应。

3. 正则性与唯一性证明（Sections 2.4 & 3.3）：对轮廓的 Hölder 正则性 $C^{k,α}$ 的刻画，源于对延拓 ODE 解的高阶导数的逐次估计。例如，由 $−𝑢_{𝑥𝑥} = 2𝜔$ 及 $$𝜔$$ 的 Hölder 指数 $$β$$ ，直接得到 $𝑢 ∈ C^{2,β}$ ；再代入轮廓方程，迭代获得 $$𝜃$$ 的正则性 $$γ$$ 。唯一性证明则基于一个深刻的观察：在给定归一化 $$𝑢_𝑥(0)=1$$ 和 $$𝜔_𝑥(0)=1$$ 下，固定点算子 $$R_𝑎$$ 的压缩性（或其线性化算子的谱性质）保证了解的唯一性，这超越了经典 ODE 解的局部唯一性，确立了在整个函数空间 $$𝔻_1$$ 中的全局唯一性。

4. 与之前工作的比较

本文与既有工作的比较可从四个维度展开：参数范围、几何设定、解的精确性、以及技术深度。

参数范围的突破：此前 Rigorous 工作仅覆盖 $$𝑎$$ 接近 1 的狭窄区间。Hou–Wang [HW23] 的计算机辅助证明要求 $$𝑎 \in (1-𝛿,1)$$ ，其 $$𝛿$$ 由数值误差界决定，无法给出解析表达式；而本文将存在性推广至全范围 $$0 < 𝑎 \leq 1$$ ，并首次精确确定临界值 $$𝑎_c = 2/3$$ ，该值由轮廓方程中系数 $$𝑐_𝑙 = 2/𝑎 - 3$$ 的零点给出，标志着爆破几何从聚焦到扩张的根本转变。这一临界值在 [HW23] 的数值图中已被观测到，但本文首次为其提供了严格的解析解释和证明。

几何设定的完备性：以往构造多集中于全空间或特定边界条件。例如，gCLM 类模型的自相似解通常在 $$ℝ$$ 上构造，而周期情形因缺乏衰减性，常被回避。本文首次在 $$𝕊^1$$ 上成功构造了非平凡周期自相似爆破解（Theorem 1.2），其轮廓具有 $$2𝜋$$ -周期性且在奇点 $$𝑋 = (2𝑘+1)𝜋$$ 处呈现特定的 Hölder 奇异性（ $C^{⌈β⌉−1,β−⌈β⌉+1}$ ），这与全空间解在 $$\pm𝐿$$ 处的奇异性形成鲜明对比，展示了不同几何对奇点结构的深刻影响。

解的精确性与结构性：既有工作如 [Elg21, CH22] 构造的是“近似自相似”或“渐近自相似”解，其轮廓仅在某个范数下逼近，或需额外的小参数假设；而本文构造的是精确（exact）自相似解，即轮廓函数严格满足 ODE 系统 (1.4)，且给出了其全部解析性质：明确的支撑集（全支撑/紧支撑）、精确的单调性（ $$𝑢/𝑥$$ 和 $$𝜃/𝑥^2$$ 单调递减）、尖锐的正则性刻画（Hölder 指数 $$β, γ$$ 与 $$𝑎$$ 的显式关系）、以及在标度不变性下的唯一性。这种程度的精细刻画在同类流体简化模型中尚属首次。

中文标题: 全平面一般抛物型安德森模型的整体适定性

摘要翻译: 对任意 $0<κ<\sqrt 5-2$ ，我们证明了全空间 $\mathbb R^2$ 上具有非线性项 $F\in C_b^2(\mathbb R)$ 的二维广义抛物型安德森模型在增强噪声 $$(η,Ψ)$$ 驱动下的整体存在性。此处噪声 $$η$$ 具有多项式加权空间 Besov–Hölder 正则性 $$-1-κ$$ ，而 $$Ψ$$ 是相应的重正化二阶对象。若 $$F''$$ 是全局 Lipschitz 连续的，则解是唯一的。

证明结合了与权重相容的环形高低频分解与参控输运表示法。最终余项同时在加权 $L^\infty$ 范数及更高阶加权抛物型 Hölder 范数中进行估计，且所用多项式权重严格不同。该权重间隙吸收了由增强噪声与输运系数所引起的多项式损失。若干关键改进使得极大值原理与 Schauder 估计能够对更大的 $$κ$$ 范围给出整体先验界。唯一性在时变指数加权拓扑中得到证明。

7. 具间断系数的椭圆方程解的几乎Lipschitz正则性

Almost Lipschitz regularity for solutions of elliptic equations with discontinuous coefficients

作者: Raffaella Giova, Antonio Giuseppe Grimaldi, Stefania Russo

类别: math.AP

发布日期: 2026-06-25

arXiv ID: 2606.26642v1

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

摘要翻译

中文标题: 具间断系数的椭圆方程解的几乎Lipschitz正则性

摘要翻译: 我们关注形如

中文标题: 分数阶 Hardy-Hénon 型抛物方程的尖锐生命期估计与 Fujita 现象

摘要翻译: 我们研究带 Hardy–Hénon 型权 $|x|^{-γ}$ 的分数阶半线性抛物 Cauchy 问题的温和解的生命期：

u_t + (-Δ)^s u = |x|^{-γ}\,|u|^p, \qquad (t,x)\in(0,\infty)\times\mathbb{R}^N, \qquad u(0,x)=\varepsilon\,u_0(x),

其中 $$0<s<1$$ , $0\leγ<\min(2s,N)$ , $$p>1$$ ，且 $u_0\in L^1\cap L^\infty$ 满足 $\int_{\mathbb{R}^N}u_0(x)\,dx>0$ 。定义

p_F \;:=\; 1+\frac{2s-γ}{N},

我们证明：对所有充分小的 $\varepsilon>0$ ，生命期 $T_\varepsilon$ 满足

中文标题: 具分数阶阻尼与记忆项的梁方程全局吸引子的正则性

摘要翻译: 本文研究定义在区域 $Ω\subset \mathbb{R}^{n}$ 上的半线性梁方程的长时间行为，其中阻尼项为分数阶形式 $(-Δ)^αu_{t}$ （ $α\in [0,2]$ 为耗散指数），并含有记忆项。针对光滑边界与 $$C^2$$ 边界两种情形，分别确定了非线性项的两个临界增长指数，以保证相应半群的存在性。我们通过证明该半群具有有界吸收集与渐近紧性，建立了其全局吸引子的存在性。进一步地，我们发现了一种新方法，对所有 $$α$$ 均可获得高于预期的吸引子高阶正则性；该正则性结果揭示了一个有趣现象：即使阻尼极弱（即 $$α$$ 很小），其产生的正则性仍可无限逼近强阻尼情形（ $$α=2$$ ）下的正则性。作为推论，我们的正则性结果深化并推广了当记忆项缺失时已有相关结果。

不相关论文（基本信息）

1. 一类Saint-Venant型不等式的局部稳定性

Local stability for a class of Saint-Venant type inequalities

作者: Luca Barbato, Francesco Salerno

类别: math.AP, math.FA

发布日期: 2026-06-25

arXiv ID: 2606.27031v1

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

摘要: We establish a local stability result for a class of Saint-Venant type inequalities. Given the solution $$u$$ of the Dirichlet torsion problem in a domain $$Ω$$ , we consider shape functionals $\mathcal{J}(Ω)$ involving the integral of $$j(u)$$ , where $$j$$ is convex and satisfies suitable structural assumptions. By Talenti’s comparison principle, balls maximize $\mathcal{J}$ among sets of prescribed measure. We prove that this extremal property is stable in the class of nearly spherical sets: the deficit from the optimal value controls the square of the $H^{1/2}$ -norm of the boundary perturbation. The argument relies on shape derivative techniques, including the computation of the second variation and the introduction of an adjoint state. As applications, the result covers several relevant examples, including the torsional rigidity, $$L^p$$ -norms of the torsion function for $p\ge 2$ , and Moser-Trudinger functional in dimension two.

2. 黎曼流形上和 Hessian 商方程的 Pogorelov 型内 $$C^2$$ 估计

Pogorelov type interior $$C^2$$ estimate for sum Hessian quotient equations on Riemannian manifolds

作者: Guanghan Li Chenyang Liu

类别: math.AP, math.DG

发布日期: 2026-06-25

arXiv ID: 2606.27003v1

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

摘要: In this paper, we mainly study the interior $C^{2}$ estimates for a class of sum Hessian quotient equations on Riemannian manifolds. For $0\leq l<k< n$ , we establish interior $C^{2}$ estimates at the center of a geodesic ball. Let $$Ω$$ be a bounded domain (with smooth boundary) on Riemannian manifold. For $0\leq l<k\leq n$ , we establish Pogorelov type estimates on $$Ω$$ with the vanishing Dirichlet boundary condition.

3. 面向量子物理的神经网络求解积分-微分与分数阶偏微分方程

Quantum Physics-Informed Neural Networks for Solving Integro and Fractional PDEs

作者: Deepak Gupta, Ratikanta Behera

类别: math.AP, quant-ph

发布日期: 2026-06-25

arXiv ID: 2606.26865v1

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

摘要: Quantum neural networks have emerged as powerful models for approximating nonlinear functions. Yet their use in solving integro-differential equations (IDEs) and fractional integro-partial differential equations (FIPDEs), which involve inherently nonlocal operators, remains unexplored. This work introduces a quantum physics-informed neural network (QPINN) framework that combines a quantum neural network with the governing equations of general nonlinear IDEs and FIPDEs. The proposed quantum network uses an affine feature map and variational quantum circuits to produce trial solutions with explicit trigonometric structure. We prove a quantitative $L^{2}(μ)$ universal approximation theorem for this architecture, achieving a convergence rate of $\mathcal{O}(n^{-1/2})$ . This extends classical Fourier approximation theory to quantum circuits for physics-informed learning. We propose two QPINN variants: the numerical-quadrature QPINN (N-QPINN), which handles nonlocal integrals and fractional operators via high-order numerical quadrature while computing local derivatives through automatic differentiation of quantum trial solutions; and the auxiliary-function QPINN (A-QPINN), which eliminates numerical quadrature by introducing auxiliary variables that reformulate each integro-differential equation as an equivalent coupled system of partial differential equations, enabling a multi-output quantum neural network to simultaneously represent the solution and its associated variables. A series of numerical experiments demonstrates that the proposed QPINN framework accurately captures the behavior of nonlinear IDEs and FIPDEs and outperforms classical physics-informed neural networks.

4. 位移单调性下的一阶平均场博弈的数值分析

Numerical analysis of first-order mean field games under displacement monotonicity

作者: Alpár R. Mészáros, Yohance A. P. Osborne

类别: math.NA, math.AP, math.OC

发布日期: 2026-06-25

arXiv ID: 2606.26853v1

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

摘要: We introduce a particle method for the numerical approximation of time-dependent first-order Mean Field Games (MFGs) systems with non-separable, displacement monotone Hamiltonians and terminal costs, for arbitrary time-horizons and (possibly) singular initial player distributions in $\mathcal{P}_2(\mathbb{R}^d)$ . The numerical scheme is based on an implicit Euler discretization in time and sampling in space of the characteristic Hamiltonian/Pontryagin system associated with the continuous MFGs system. We prove convergence of the approximations of the player distribution in the $L^{\infty}(\mathcal{W}_2)$ -metric and the approximations for the gradient of the value function along optimal trajectories in the $L^{\infty}{(L^2)}$ -norm as the number of spatial samples tends to infinity jointly with the temporal time-step vanishing. The error bound that we establish for this convergence further implies rates of convergence of the scheme for a range of spatial sampling techniques. Provided that the Lagrangian and terminal costs are additionally locally Lipschitz continuous, we also establish an asymptotic error bound in the $L^{\infty}(L^1)$ -norm for the approximations of the value function along optimal trajectories. This is the first work in the literature on rigorous numerical approximation and analysis of first-order MFG systems that handles non-separable Hamiltonians and potentially singular initial agent distributions for arbitrary long time horizons. We illustrate the performance of the scheme in numerical experiments for a range of initial agent distributions, time horizons and space dimensions.

5. 通过图上的局部熵流与凝聚流演化边权重

Evolving edge weights via local entropy flow and cohesion flow on graphs

作者: Juan Zhao, Jicheng Ma, Yunyan Yang, Liang Zhao

类别: math.CA, math.AP

发布日期: 2026-06-25

arXiv ID: 2606.26750v1

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

摘要: In this paper, we first propose two different quantities on graphs, namely local entropy and cohesion, then design two corresponding flows for edge weights: the local entropy flow and the cohesion flow. We establish the global existence and uniqueness of solutions for both flows and investigate their asymptotic behaviors, including the case that the limit goes to positive infinity. Moreover, they can be applied to fundamental network analysis tasks, including community detection and node classification. Empirical evaluations demonstrate that our method achieves performance competitive with Ollivier Ricci flow and Lin-Lu-Yau Ricci flow on benchmark network analysis tasks. In experimental scenarios, we first apply the cohesion flow to evolve the edge weights of the graph, and then apply the local entropy flow to further update the resulting weighted graph. Both flows are computationally efficient, leading to a significant reduction in overall computational cost and improved scalability.

6. 紧流形上闭的非奇异 $$1$$ -形式所关联的微分复形的整体性质

Global properties of the differential complex associated to closed, nonsingular $$1$$ -forms on compact manifolds

作者: Gabriel Araújo, Paulo Leandro Dattori da Silva, Bruno de Lessa Victor, Vinícius Novelli

类别: math.AP

发布日期: 2026-06-24

arXiv ID: 2606.26310v1

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

摘要: Given a closed, real, non-singular 1-form on a compact manifold $$Ω$$ , global properties of the associated differential complex are studied. We completely characterize global solvability in the first and last levels of the complex. Furthermore, in the particular case where the $$1$$ -form is rational, we prove global solvability for every degree and give a complete description of the cohomology spaces. Finally, a complete characterization for global hypoellipticity is obtained, building on the work of A. Meziani (Comm. PDE., 2002). In all cases, it is shown that the conditions depend exclusively on the arithmetic nature of the form’s periods.

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

1. 随机SQG方程中双重级联的混合三阶通量律#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 双曲方程组的分数阶正则化问题的局部适定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 弱对流 Hou–Li 模型的精确爆破分析#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. Gelfand-Shilov 空间与非紧流形上具有超微分加权符号的算子#

摘要翻译#

2. 单稳态源项广义Korteweg-de Vries-Burgers方程中周期波的不稳定性#

摘要翻译#

3. 关于具宾汉流体的对流 Brinkman–Forchheimer 扩展 Darcy 方程组的拟变分–半变分不等式#

摘要翻译#

4. Painlevé \uppercase\expandafter{\romannumeral34\relax} 与无碰撞激波：散焦 NLS 方程在过渡区域中具有阶梯型初值数据的情形#

摘要翻译#

5. 定量一致预解估计#

摘要翻译#

6. 全平面一般抛物型安德森模型的整体适定性#

摘要翻译#

7. 具间断系数的椭圆方程解的几乎Lipschitz正则性#

摘要翻译#

8. 通过非线性交换子研究分数阶 $p$-拉普拉斯算子的自改进性质#

摘要翻译#

9. 从含时薛定谔方程的散射映射确定势函数#

摘要翻译#

10. 振荡积分与谱簇的尖锐端点多重线性估计#

摘要翻译#

11. 分数阶 Hardy-Hénon 型抛物方程的尖锐生命期估计与 Fujita 现象#

摘要翻译#

12. 近欧氏度量的 Calderón 问题#

摘要翻译#

13. 临界椭圆系统在穿孔球上的正奇异解的定性分析#

摘要翻译#

14. 一类关于被压制核的 $Tb$ 型定理#

摘要翻译#

15. 具分数阶阻尼与记忆项的梁方程全局吸引子的正则性#

摘要翻译#

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

1. 一类Saint-Venant型不等式的局部稳定性#

2. 黎曼流形上和 Hessian 商方程的 Pogorelov 型内 $C^2$ 估计#

3. 面向量子物理的神经网络求解积分-微分与分数阶偏微分方程#

4. 位移单调性下的一阶平均场博弈的数值分析#

5. 通过图上的局部熵流与凝聚流演化边权重#

6. 紧流形上闭的非奇异 $1$-形式所关联的微分复形的整体性质#

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

1. 随机SQG方程中双重级联的混合三阶通量律

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 双曲方程组的分数阶正则化问题的局部适定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 弱对流 Hou–Li 模型的精确爆破分析

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. Gelfand-Shilov 空间与非紧流形上具有超微分加权符号的算子

摘要翻译

2. 单稳态源项广义Korteweg-de Vries-Burgers方程中周期波的不稳定性

摘要翻译

3. 关于具宾汉流体的对流 Brinkman–Forchheimer 扩展 Darcy 方程组的拟变分–半变分不等式

摘要翻译

4. Painlevé \uppercase\expandafter{\romannumeral34\relax} 与无碰撞激波：散焦 NLS 方程在过渡区域中具有阶梯型初值数据的情形

摘要翻译

5. 定量一致预解估计

摘要翻译

6. 全平面一般抛物型安德森模型的整体适定性

摘要翻译

7. 具间断系数的椭圆方程解的几乎Lipschitz正则性

摘要翻译

8. 通过非线性交换子研究分数阶 $$p$$ -拉普拉斯算子的自改进性质

摘要翻译

9. 从含时薛定谔方程的散射映射确定势函数

摘要翻译

10. 振荡积分与谱簇的尖锐端点多重线性估计

摘要翻译

11. 分数阶 Hardy-Hénon 型抛物方程的尖锐生命期估计与 Fujita 现象

摘要翻译

12. 近欧氏度量的 Calderón 问题

摘要翻译

13. 临界椭圆系统在穿孔球上的正奇异解的定性分析

摘要翻译

14. 一类关于被压制核的 $$Tb$$ 型定理

摘要翻译

15. 具分数阶阻尼与记忆项的梁方程全局吸引子的正则性

摘要翻译

不相关论文（基本信息）

1. 一类Saint-Venant型不等式的局部稳定性

2. 黎曼流形上和 Hessian 商方程的 Pogorelov 型内 $$C^2$$ 估计

3. 面向量子物理的神经网络求解积分-微分与分数阶偏微分方程

4. 位移单调性下的一阶平均场博弈的数值分析

5. 通过图上的局部熵流与凝聚流演化边权重

6. 紧流形上闭的非奇异 $$1$$ -形式所关联的微分复形的整体性质