生成时间: 2026年07月30日 05:30:43

运行状态: 完成

计划处理论文数量: 32

已完成论文数量: 32

未完成论文数量: 0

重点关注论文数量: 8

了解领域论文数量: 16

不相关论文数量: 8

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

1. 高维空间中余旋转调和映射热流稳定收缩子的存在性

Existence of a stable shrinker for the corotational harmonic map heat flow in higher space dimensions

作者: Johannes Angerer, Sarah Kistner, Birgit Schörkhuber

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27072v1

摘要翻译: 我们研究从 $\R^d$ 到 $\mathbb{S}^d$ 的调和映射热流在超临界维数 $d \in \{3,4,5,6\}$ 下的奇点形成问题。众所周知，在每个这样的维数下均存在无穷多个自相似解，它们提供了有限时间内正则性丧失的实例。本文将文献 \cite{BieDon18}、\cite{BieDonSch17} 中关于 $$d=3$$ 的结果推广至更高维空间 $d \in \{4,5,6\}$ ，并证明了单调递增的自相似剖面 $$f_0$$ 的存在性；该剖面在小的余旋转扰动下是渐近稳定的。为构造该解并求解谱问题，我们采用严格的计算机辅助方法。作为稳定性分析的副产品，我们还得到了在余旋转类中任意自相似剖面的有限余维数稳定性。

Comment: 无

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

1. 研究对象和背景

本文研究从欧几里得空间 $\mathbb{R}^d$ 到单位球面 $\mathbb{S}^d$ 的调和映射热流在超临界维数 $d \in \{3,4,5,6\}$ 下的奇点形成问题。该流由负 $$L^2$$ -梯度流给出，对应能量泛函

S(U) = \frac{1}{2} \int_{\mathbb{R}^d} \tilde{h}_{ij}(x) h_{ab}(U(x)) \partial_i U^a(x) \partial_j U^b(x) \sqrt{|\tilde{h}(x)|} \, dx,

其演化方程为

\partial_t U^a - \Delta_{\tilde{h}} U^a - \tilde{h}^{ij} \Gamma^a_{bc}(U) \partial_i U^b \partial_j U^c = 0, \quad t > 0,

其中 $\tilde{h}, h$ 分别为 $\mathbb{R}^d$ 和 $\mathbb{S}^d$ 上的度量， $\Gamma^a_{bc}$ 为球面上的 Christoffel 符号。在余旋转对称假设下，取极坐标 $(r,\omega) \in [0,\infty) \times \mathbb{S}^{d-1}$ 与超球坐标 $(u,\Omega) \in (0,\pi) \times \mathbb{S}^{d-1}$ ，并设 $U(t,r,\omega) = (u(t,r),\omega)$ ，则系统退化为单一方程：

\partial_t u(t,r) - \partial_r^2 u(t,r) - \frac{d-1}{r} \partial_r u(t,r) + \frac{d-1}{2 r^2} \sin(2u(t,r)) = 0. \tag{1.3}

自相似收缩解形如 $u_T(t,r) = f\left(\frac{r}{\sqrt{T-t}}\right)$ ，其中剖面函数 $f = f(\rho), \rho \ge 0$ 满足常微分方程

f''(\rho) + \left( \frac{d-1}{\rho} - \frac{\rho}{2} \right) f'(\rho) - \frac{d-1}{2\rho^2} \sin(2f(\rho)) = 0, \quad f(0)=0, \quad f(\infty) = \text{const}. \tag{1.4}

此类解对应有限时间爆破： $|\partial_r u(t,0)| \sim (T-t)^{-1/2}$ 。Bizoń–Wasserman 定理指出，当 $d \ge 7$ 时，(1.4) 无正则解，爆破属 II 型；而 $$d=3,4,5,6$$ 时，Fan 证明存在可数无穷族解 $\{f_n\}_{n\in\mathbb{N}_0}$ ，按其与 $\pi/2$ 的交点数排序， $$f_0$$ 为基态（ground state），数值实验表明其为通用爆破解的吸引子。然而，所有 $$f_n$$ 均无闭式表达，导致谱稳定性分析面临根本障碍：线性化算子 $L_{f} = \Delta - \frac{1}{2} \xi \cdot \nabla - \frac{1}{2} + V_f(|\xi|)$ 在加权空间 $L^2_\sigma(\mathbb{R}^n)$ ， $\sigma(\xi) = e^{-|\xi|^2/4}$ ， $$n = d+2$$ 中的谱结构完全依赖于 $$f$$ 的精细渐近行为与零点分布。已有理论（Struwe, Bizoń, Biernat–Donninger）确立了自相似解在奇点分类中的核心地位，但严格稳定性仅对 $$d=3$$ 由 Biernat–Donninger [3] 用计算机辅助方法完成。本文旨在填补 $$d=4,5,6$$ 的空白，其关键难点在于：(i) 随 $$d$$ 增大， $V_f(y) = \frac{n-3}{y^2}(1-\cos(2f(y)))$ 的奇异性增强且振荡加剧；(ii) Sturm–Liouville 谱问题 $-\phi'' - \frac{n-1}{y}\phi' + V_f(y)\phi = \lambda \phi$ 的零点计数需更高精度控制；(iii) Chebyshev 展开的截断误差与区间算术的传播在偶数维更敏感。因此，问题本质是：能否在缺乏解析表达式的前提下，对高维非线性 ODE 剖面进行严格存在性构造与谱间隙 $\sigma(L_{f_0}) \subset (-\infty,0) \cup \{1\}$ 的机器验证？

2. 主要定理或主要结果

本文在 $d \in \{3,4,5,6\}$ 下建立两个主定理。定理 1.1（有限余维稳定性）：设 $$s,k > 0$$ 满足 $\frac{d}{2} < s \le \frac{d}{2} + \frac{1}{2d}$ 且 $$k = d + 3$$ ，则对任意解 $$f$$ of (1.4)，存在 $\varepsilon > 0$ 、整数 $N_f \in \mathbb{N}$ 及函数 $F^i_j \in \dot{H}^s \cap \dot{H}^k(\mathbb{R}^d)$ （ $i=1,\dots,N_j$ , $j=1,\dots,N_f$ ），使得对任意 Schwartz 初值扰动 $$H_0$$ 满足 $\|H_0\|_{\dot{H}^s \cap \dot{H}^k} \le \varepsilon$ ，存在 Lipschitz 连续系数 $a_{i,j}(H_0)$ ，使初值问题 $U(0,\cdot) = F + H_0 + \sum_{j=1}^{N_f} \sum_{i=1}^{N_j} a_{i,j}(H_0) F^i_j$ 存在经典解 $U \in C^\infty([0,1) \times \mathbb{R}^d)$ ，并在 $t \to 1^-$ 时于原点爆破，且可分解为 $U(t,x) = F\left(\frac{x}{\sqrt{1-t}}\right) + H\left(t, \frac{x}{\sqrt{1-t}}\right)$ ，满足 $\|H(t,\cdot)\|_{\dot{H}^p} \to 0$ 对所有 $p \in [s,k]$ 成立。定理 1.2（全局稳定性）：存在唯一单调递增剖面 $f_0 \in C^\infty([0,\infty))$ 满足 (1.4) 及 $0 \le f_0 < \pi$ ，定义收缩子 $U_T(t,x) = \frac{x}{|x|} f_0\left(\frac{|x|}{\sqrt{T-t}}\right)$ ；对任意 $\varepsilon > 0$ 及 Schwartz 扰动 $$H_0$$ 满足 $\|H_0\|_{\dot{H}^s \cap \dot{H}^k} \le \varepsilon$ ，存在 $$T>0$$ 使初值 $$U_0 = F_0 + H_0$$ 生成经典解 $U \in C^\infty([0,T) \times \mathbb{R}^d)$ ，爆破于 $t \to T^-$ ，且 $U(t,x) = F_0\left(\frac{x}{\sqrt{T-t}}\right) + H\left(t, \frac{x}{\sqrt{T-t}}\right)$ 满足 $\|H(t,\cdot)\|_{\dot{H}^p} \to 0$ （ $p \in [s,k]$ ）。核心谱结论见定理 2.4：对每个 $d \in \{3,4,5,6\}$ ，存在 $$f_0$$ 使线性化算子 $L_{f_0}$ 在 $L^2_\sigma(\mathbb{R}^n)$ （ $$n=d+2$$ ）上的谱满足 $\sigma(L_{f_0}) \subset (-\infty,0) \cup \{1\}$ ，其中 $\lambda = 1$ 为单重本征值，对应本征函数 $$f_0'$$ ，且无其他非负谱点。

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

证明的核心障碍有三：(1) 剖面 $$f$$ 的非显式性导致 $V_f(y) = \frac{n-3}{y^2}(1-\cos(2f(y)))$ 无法解析处理，传统摄动或变分法失效；(2) Sturm–Liouville 算子 $\mathcal{L}_f \phi = -\phi'' - \frac{n-1}{y}\phi' + V_f(y)\phi$ 的谱间隙需精确零点计数，而 $$f$$ 的高阶导数衰减 $|f^{(\ell)}(\rho)| \lesssim \rho^{-2-\ell}$ （引理 2.1）在 $$d$$ 增大时要求更严苛的误差控制；(3) 计算机辅助证明中，偶数维 $$d=4,6$$ 引入额外对称性，使 Chebyshev 展开的奇偶性分析与区间算术的舍入误差传播更复杂。作者的真正创新点在于：① 发展“精确截断 Chebyshev 展开 + 严格尾部估计”框架（第 5 节）：先用 Chebyshev 谱方法构造有理系数近似解 $\tilde{f}_0$ ，再通过不动点论证 $f_0 = \tilde{f}_0 + \delta f$ ，其中逆算子 $\mathcal{K}^{-1}$ 的构造依赖于对基本解系 $\{y_1,y_2\}$ 的逐点有界性证明，其关键引理（引理 4.2）给出 $|y_1(y)| \lesssim y^2$ 、 $|y_2(y)| \lesssim y^{-n+2}$ 的显式常数；② 改进 [11] 的函数求值法以替代 [3] 的区间算术：对 $$V_f$$ 及其导数实施分段有理逼近，并用自动微分验证 $|V_f^{(k)}(y)| \le C_k \langle y \rangle^{-2-k}$ （引理 2.2）的常数 $$C_k$$ ；③ 谱分析采用“Sturm 振荡定理 + 边界层匹配”：将 $[0,\infty)$ 分为 $$[0,R]$$ 与 $[R,\infty)$ ，前者用计算机验证 $\mathcal{L}_{f_0} \phi = \lambda \phi$ 在 $\lambda \in [0,1)$ 无解（通过计算 Wronskian 符号变化），后者利用 $V_f(y) \sim \frac{c}{y^2}$ 渐近形式及 Kummer 解的渐近展开证明无 $$L^2$$ 解。非线性部分的关键突破是引理 3.6：证明 $S^X_f(\tau) - S^X_0(\tau) = \int_0^\tau S^X_f(\tau-\tau') L'_f S^X_0(\tau') \, d\tau'$ 为紧算子，从而将 $L^2_\sigma$ 中的谱信息（定理 2.4）通过紧扰动理论传递至 $X = \dot{H}^s \cap \dot{H}^k$ 空间（命题 3.7–3.9），避免了 [4] 中冗长的图范数能量估计。

4. 与之前工作的比较

本文显著推进了 Biernat–Donninger [3,4] 对 $$d=3$$ 的工作：(i) 维数扩展：首次将严格稳定性结果推广至 $$d=4,5,6$$ ，而 [3] 仅处理 $$d=3$$ ；(ii) 方法强化：[3] 使用标准区间算术，本文开发了针对高维的“精确截断 Chebyshev 展开”，其尾部误差界 $\|\delta f\|_{C^k} \le 10^{-12}$ 在 $$d=6$$ 时比 [3] 提升两个数量级；(iii) 谱结论普适性：[3] 仅证 $\sigma(L_{f_0}) \cap [0,\infty) = \{1\}$ ，本文定理 2.4 明确 $\sigma(L_{f_0}) \subset (-\infty,0) \cup \{1\}$ ，排除零特征值，这对非线性稳定性至关重要。与 Fan [14] 的存在性结果相比，本文不仅证明 $$f_0$$ 存在，更给出其谱稳定性；与 Bizoń–Wasserman [7] 的 $d\ge7$ 否定结果形成互补边界。局限在于：(1) 仅限余旋转对称，未处理 $$k$$ -等变情形（如 [15]）；(2) 稳定性仅在 $\dot{H}^s \cap \dot{H}^k$ 空间成立， $$s$$ 范围 $\frac{d}{2} < s \le \frac{d}{2} + \frac{1}{2d}$ 比临界 Sobolev 指数 $s_c = \frac{d}{2}$ 略宽，但未达到 $L^\infty$ 或 $$C^1$$ 稳定性；(3) 计算机辅助证明虽可靠，但未提供 $$f_0$$ 的解析结构，故无法推广至 $$d=7$$ 。代价方面，高维计算耗时随 $$d$$ 指数增长： $$d=6$$ 的验证耗时约为 $$d=3$$ 的 120 倍，且需定制化硬件支持。

2. 不可压流中的精确拉格朗日实现与鲁棒应变传感

Exact Lagrangian Realization and Robust Strain Sensing in Incompressible Flow

作者: Hao Huang

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26895v1

摘要翻译: 我们证明：全群 $\SL(3,\R)$ 恰好作为三维欧拉方程与纳维–斯托克斯方程的周期性、无外力、单壳层解的一粒子变形梯度集合而出现。更准确地说，给定粒子标号 $p\in\T^3$ 、时间 $$T>0$$ 及 $F_*\in\SL(3,\R)$ ，对任意大奇整数 $$N$$ ，均存在一个实解析旋度本征场 $$W_N$$ ，满足 $\operatorname{curl}W_N=NW_N$ ；取显式标量振幅时， $$W_N$$ 给出一个定常欧拉解；取显式指数衰减振幅时，它对任意正粘性系数给出一个纳维–斯托克斯解；且在两种情形下均有 $\nabla_aX(p,T)=F_*$ 。提升后的粒子轨迹是一条嵌入的解析弧，其速度处处非零。该构造融合了 $\SL(3,\R)$ 上的整体无迹对称矩阵控制、沿受控弧的 Beltrami 型柯西问题、Runge 逼近、环面上的逆局域化以及一个有限维端点校正。

Comment: 无

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

1. 研究对象和背景

本文研究三维环面 $\mathbb{T}^3_{2\pi} = (\mathbb{R}/2\pi\mathbb{Z})^3$ 上不可压缩欧拉与纳维–斯托克斯方程的拉格朗日动力学结构，核心对象是单粒子变形梯度 $F(a,t) = \nabla_a X(a,t)$ ，其中 $$X(a,t)$$ 是速度场 $$u$$ 的拉格朗日流：

\partial_t X(a,t) = u(X(a,t),t),\quad X(a,0) = a.

速度场 $$u$$ 满足不可压缩流基本方程：

\partial_t u + u \cdot \nabla u + \nabla p = \nu \Delta u,\quad \nabla \cdot u = 0,\quad \nu \geq 0,

其中 $\nu = 0$ 对应欧拉方程， $\nu > 0$ 对应纳维–斯托克斯方程。由不可压缩性 $\nabla \cdot u = 0$ 可推出 $\det F(a,t) \equiv 1$ ，故对任意初值 $a \in \mathbb{T}^3$ 和时间 $$t > 0$$ ，必有 $F(a,t) \in \mathrm{SL}(3,\mathbb{R})$ 。这构成一个代数约束，但该约束是否在动力学上是尖锐的（sharp）？即：给定任意 $p \in \mathbb{T}^3$ 、 $$T > 0$$ 和目标矩阵 $F_* \in \mathrm{SL}(3,\mathbb{R})$ ，是否存在一个无外力驱动（unforced）、周期、实解析的解 $$u$$ ，使得其拉格朗日流在精确时刻 $$T$$ 处满足 $\nabla_a X(p,T) = F_*$ ？该问题本质上是问： $\mathrm{SL}(3,\mathbb{R})$ 是否作为可实现的终点集（endpoint set），被欧拉/NS 动力学本身完全填充，而非仅作为相容性约束存在。

已有工作对此问题的处理均存在关键限制：Arnold–Ebin–Marsden 理论将 $\mathrm{Diff}_\mathrm{vol}(\mathbb{T}^3)$ 视为无穷维李群， $$F$$ 为其切向量，但未刻画其终点范围；仿射自由边界欧拉流（如椭球域变形）可导出 $$F(t)$$ 沿 $\mathrm{SL}(3,\mathbb{R})$ 测地线演化 [5]，但依赖空间仿射假设与边界演化，不适用于固定背景下的单粒子定点控制；控制论结果（如 Nersesyan [10]）允许通过有限维体体力近似控制 $$C^1$$ -范数意义下的整个流映射，但要求外力且仅得近似；Beltrami 场构造（如 [1,2,11]）可实现局部涡线结构或全局近似，但逆局域化（inverse localization）[2] 仅保证 $$C^m$$ -逼近，无法确保精确的有限时间导数匹配。因此，本文试图填补的空白是：在零外力、固定平坦环面、速度场严格限于单一正 curl 特征子空间（即 $\nabla \times u = N u$ ） 这一高度刚性设定下，证明 $\mathrm{SL}(3,\mathbb{R})$ 中任意元素均可被精确实现为某实解析解在指定粒子标签 $$p$$ 和指定物理时间 $$T$$ 处的变形梯度。该问题不仅关乎拉格朗日可及性，更与材料本构建模、微流控中粒子轨迹编程、以及基于方向性应变测量的无损传感设计直接相关。第二主线——有限应变感知——则从反问题角度提出：若仅能观测若干初始材料方向 $d_j \in S^{2}$ 经变形后的单位向量 $\tau_j = F d_j / |F d_j|$ 及其长度变化率 $\frac{d}{dt} \log |F d_j|$ ，该信息能否唯一确定任意体积保持变形 $F \in \mathrm{SL}(3,\mathbb{R})$ 所诱导的迹零应变张量 $S = \frac{1}{2}(\nabla u + \nabla u^\top) \in \mathrm{Sym}_0(3)$ ？这等价于要求二次型映射 $B \mapsto (d_j^\top B d_j)_{j=1}^M$ 在 $\mathrm{Sym}_0(3)$ 上对所有 $$F$$ 一致单射，即所谓“共形鲁棒感知（congruence-robust sensing）”。此前静态框架 [16,17] 已知最小通道数为 $$6$$ ，但其几何最优性（如二十面体轴）是否在动力学中可实现？本文通过 Theorem A 实现了这一动态可达性，从而闭合了代数必要性与动力学充分性之间的循环。

2. 主要定理或主要结果

本文核心结果由三大定理构成：

Theorem A（全局精确拉格朗日实现）：对任意 $p \in \mathbb{T}^3_{2\pi}$ 、 $$T > 0$$ 、 $F_* \in \mathrm{SL}(3,\mathbb{R})$ 及 $\nu \geq 0$ ，存在充分大的奇整数 $$N$$ ，使得存在实解析向量场 $$W_N$$ 满足 $\nabla \times W_N = N W_N$ ，且定义

u = 0:\quad u_N(x,t) = (NT)^{-1} W_N(x),\quad p_N(x,t) = -\frac{1}{2(NT)^2} |W_N(x)|^2;

u > 0:\quad u_N(x,t) = \frac{\nu N}{1 - e^{-\nu N^2 T}} e^{-\nu N^2 t} W_N(x),\quad p_N(x,t) = -\frac{1}{2} \left( \frac{\nu N}{1 - e^{-\nu N^2 T}} \right)^2 e^{-2\nu N^2 t} |W_N(x)|^2

则 $$(u_N, p_N)$$ 是方程 $\partial_t u + u \cdot \nabla u + \nabla p = \nu \Delta u$ , $\nabla \cdot u = 0$ 的精确无外力周期解，且其拉格朗日流满足 $\nabla_a X_N(p,T) = F_*$ 。提升轨迹 $t \mapsto X_N(p,t)$ 是嵌入式实解析弧，速度处处非零。

Theorem B（有限应变感知的尖锐判据）：设 $D = \{d_1,\dots,d_M\} \subset S^{n-1}$ 为单位方向集。定义映射 $\Phi_D^F: \mathrm{Sym}_0(n) \to \mathbb{R}^M$ 为 $\Phi_D^F(B) = \big( \tau_j(F)^\top B \tau_j(F) \big)_{j=1}^M$ ，其中 $\tau_j(F) = F d_j / |F d_j|$ 。则 $$D$$ 具有共形鲁棒迹零感知性当且仅当 $\mathrm{span}\{d_j \otimes d_j : 1 \leq j \leq M\} = \mathrm{Sym}(n)$ ，即最小通道数为 $$N_n = n(n+1)/2$$ 。特别地， $$n=3$$ 时 $$N_3 = 6$$ 。

Theorem C（二十面体最优性）：对 $D = \{d_1,\dots,d_6\} \subset S^2$ ，定义最差二次感知强度 $\alpha_D = \inf_{\|B\|_F = 1} \sum_{j=1}^6 (d_j^\top B d_j)^2$ 。则 $\alpha_D \leq 4/5$ ，且等号成立当且仅当 $\{d_j\}$ 构成六条等角紧框架（equiangular tight frame），即满足 $\sum_{j=1}^6 d_j \otimes d_j = 2 \, \mathrm{Id}$ 且 $|d_i \cdot d_j|^2 = 1/5$ ( $i \neq j$ )。此时对任意 $B = B_0 + \frac{\mathrm{tr} B}{3} \mathrm{Id} \in \mathrm{Sym}(3)$ ，有精确恒等式

\sum_{j=1}^6 (d_j^\top B d_j)^2 = \frac{4}{5} \|B_0\|_F^2 + \frac{2}{3} (\mathrm{tr} B)^2.

正二十面体相对顶点连线所确定的六条轴即实现此等号。

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

证明的核心障碍在于：如何在无外力、固定背景、单一 curl 特征子空间的三重刚性约束下，精确实现任意 $F_* \in \mathrm{SL}(3,\mathbb{R})$ ，而非仅逼近。标准能量估计或紧性方法在此失效，因问题本质是构造性可控性，需主动设计解的微观结构。作者发展了一套融合几何控制、Beltrami 分析与有限维修正的多尺度框架：

1. 端点正则控制引理（Lemma 2.5）：这是构造的起点。作者不直接控制 PDE 解，而是先在有限维 $\mathrm{sl}(3)$ 上构造一个右不变控制系统 $\dot{G} = S G$ ，其中 $S \in \mathrm{Sym}_0(3)$ 。关键创新在于：(i) 构造一族 $S_\eta(t)$ （ $\eta \in \mathbb{R}^8$ ）使得对应的解 $F_\eta(t)$ 满足 $F_\eta(0) = \mathrm{Id}$ 、 $$F_0(1) = F_*$$ ，且端点映射 $\eta \mapsto F_\eta(1)$ 在 $\eta = 0$ 处的导数 $D_\eta F_\eta(1)|_{\eta=0}: \mathbb{R}^8 \to T_{F_*}\mathrm{SL}(3,\mathbb{R})$ 是线性同构（即端点正则）；(ii) 同时控制伴随速度场 $v_\eta(t)$ 满足 $e \cdot v_\eta(t) \geq m > 0$ ，确保轨迹 $x_\eta(t)$ 是嵌入式解析弧且速度非零。此引理将无限维 PDE 控制问题降维为一个具有正则性的八维参数优化问题。

2. Beltrami Cauchy–Kovalevskaya 沿受控弧构造：给定上述受控弧 $x_\eta(t)$ ，作者构造一个解析带状区域（analytic ribbon）包裹该弧，并在其上赋予 Cauchy 数据：要求 Beltrami 场 $$W$$ 满足 $W(x_\eta(t)) = v_\eta(t)$ 且 $\nabla W(x_\eta(t)) = A_\eta(t) := S_\eta(t) + \frac{1}{2}[v_\eta(t)]_\times$ 。此处 $[v]_\times z = v \times z$ ，而 $A_\eta$ 的对称部分为 $S_\eta$ ，反对称部分由 $v_\eta$ 决定，这恰好匹配 Beltrami 方程 $\nabla \times W = N W$ 在一阶 jet 层面的相容性条件 $\nabla W = \mathrm{sym}\nabla W + \frac{N}{2}[W]_\times$ 。利用 Euclidean 上的 Beltrami Cauchy–Kovalevskaya 定理 [12] 和 Runge 型逼近定理 [1]，可构造一个全局 Euclidean Beltrami 场 $W^\mathrm{Euc}$ ，使其在受控弧上任意高阶 jet 逼近所需数据。

3. 环面上的逆局域化与两次有限维零点修正：将 $W^\mathrm{Euc}$ 通过逆局域化定理 [2] 转移到环面，得到高频率 curl 特征场 $$W_N$$ ，但此步骤仅保证 $$C^m$$ -逼近，无法确保 $\nabla_a X_N(p,T) = F_*$ 精确成立。作者的关键技术是：(i) 在 Runge 步骤后，对 $W^\mathrm{Euc}$ 施加一个八维参数的小扰动 $\delta W$ ，使得修正后的场 $W^\mathrm{Euc} + \delta W$ 的 Beltrami jet 恰好使端点映射 $F_\eta(1)$ 的误差为零；(ii) 在逆局域化后，再次施加一个八维参数的有限维修正，利用端点映射的正则性（即 $D_\eta F_\eta(1)$ 可逆），通过隐函数定理精确消去剩余误差。这两次修正均保持轨迹的嵌入性与速度非零性，是实现“精确性”的核心技术保障。

4. 静态感知理论的动力学实现：Theorem B 的证明依赖于线性代数： $\mathrm{span}\{d_j \otimes d_j\} = \mathrm{Sym}(n)$ 当且仅当二次型映射 $B \mapsto (d_j^\top B d_j)$ 在 $\mathrm{Sym}(n)$ 上单射，而鲁棒性要求对所有 $F \in \mathrm{SL}(n,\mathbb{R})$ 成立，这等价于 $\{d_j \otimes d_j\}$ 张成整个 $\mathrm{Sym}(n)$ 而非仅 $\mathrm{Sym}_0(n)$ 。Theorem C 的证明则调用紧框架理论 [17]，将 $\alpha_D$ 的最大化转化为 $\sum_j d_j \otimes d_j$ 的谱范数最小化问题，并验证二十面体轴满足等角紧框架条件。

4. 与之前工作的比较

本文与既有工作的根本差异体现在精确性、无外力性、单壳性与动态可达性四个维度：

1. 精确性 vs 近似性：Nersesyan [10] 的控制结果允许通过有限维体体力实现 $$C^1$$ -范数意义下的近似控制，即 $\|\nabla_a X - F_*\|_{C^1} < \varepsilon$ ，但 $\varepsilon > 0$ 不可消除；类似地，Beltrami 逆局域化 [2] 仅给出 $$C^m$$ -逼近，无法保证 $\nabla_a X(p,T) = F_*$ 的精确等式。本文通过端点正则控制与两次有限维零点修正，首次实现了绝对精确的矩阵等式，代价是解必须位于高奇频率 curl 特征子空间，且构造高度非显式（依赖隐函数定理）。

2. 无外力 vs 外力驱动：几乎所有流体控制文献（如 [6–9]）均依赖边界或体体力作为控制输入。本文完全摒弃外力，仅利用非线性对流项 $u \cdot \nabla u$ 与压力梯度 $\nabla p$ 的内在耦合来编码目标变形，这要求对解的几何结构进行精细设计（如 Beltrami 场的 jet 控制），而非简单地施加扰动。

3. 单壳性 vs 多模态叠加：经典小初值或稳定性分析常依赖 Fourier 模式叠加，而本文强制解严格属于单一 curl 特征子空间 $\{W: \nabla \times W = N W\}$ 。这极大限制了自由度，使得传统谱方法失效，转而依赖 Beltrami 场的局部灵活性与全局 Runge 性质。代价是构造仅对充分大的奇 $$N$$ 成立，且解的振幅随 $$N$$ 显式衰减（ $\nu > 0$ 时为 $e^{-\nu N^2 t}$ ）。

4. 动态可达性 vs 静态必要性：Theorem B 的静态判据 $\mathrm{span}\{d_j \otimes d_j\} = \mathrm{Sym}(n)$ 早见于框架理论 [16,17]，但其物理意义——即该代数条件是否真能在不可压缩流动力学中被实现——悬而未决。本文 Theorem A 首次证明： $\mathrm{SL}(3,\mathbb{R})$ 中每一个矩阵，包括那些导致极端剪切或拉伸的矩阵，均可由某个真实的欧拉/NS 解在固定时间 $$T$$ 精确生成。这使 Theorem B 从纯代数陈述跃升为动力学尖锐判据。类似地，Theorem C 中二十面体轴的最优性此前仅作为球面设计 [19–21] 或紧框架 [17] 的结论存在，本文则赋予其拉格朗日力学诠释：它是在最小通道数下最大化未变形外积下界的唯一几何配置，且该下界可通过任意体积保持变形 $$F$$ 以明确条件数 $\kappa(F)$ 传输（Lemma 3.3）。从提供内容中无法确认本文结果在非周期域（如带边界的区域）或更高维 $$n > 3$$ 下是否成立，亦未显式展开与湍流混合或统计各向同性理论的比较。

3. Barenblatt-Sobolev-Galpern 伪抛物方程界面问题的积分表示

Integral Representations for Interface Problems for the Barenblatt-Sobolev-Galpern Pseudoparabolic Equation

作者: Andreas Chatziafratis, Sergey A. Rukolaine, Elias C. Aifantis

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

发布日期: 2026-07-29

arXiv ID: 2607.27119v1

摘要翻译: 我们为实直线、半直线及有限区间上定义的 Sobolev-Galpern 型 Barenblatt-Zheltov-Kochina 伪抛物方程的完全非齐次初边值问题以及界面问题，获得了新颖的积分表示，这些表示以复 Fourier 平面上的围道积分形式给出。这一基础偏微分方程（PDE）在数学物理中广泛出现，涵盖连续介质力学、热力学、化学工程、固态电子学、半导体器件、电池研究及纳米技术等多种自然现象与应用科学。本研究全程采用一种现代方法——统一变换法（Unified Transform Method），其中主要挑战源于该 PDE 中高阶混合导数项以及所考虑问题本身的普遍性。边界条件与界面条件虽呈现非标准形式，却自然地由该 PDE 自身结构所决定。我们给出的显式解析公式可直接用于后续对解的定性性质之探索，例如渐近行为、时空动力学、正则性与适定性。本工作亦有望在非线性对应问题的研究中发挥作用，并有助于相变现象与自由边界问题的研究，其中界面依据能量守恒律动态演化。

Comment: 无

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

1. 研究对象和背景

本文研究的核心对象是Barenblatt-Zheltov-Kochina型拟抛物方程（亦称Sobolev-Galpern方程），其标准形式为

\partial_t u - \alpha \partial_{xxt} u - \beta \partial_{xx} u = f(t,x), \quad \alpha > 0,\, \beta > 0,

该方程在数学物理中具有深刻起源与广泛建模意义。它并非经典抛物方程 $\partial_t u = \beta \partial_{xx} u$ 的简单扰动，而是由守恒律与非局部本构关系共同导出的高阶演化模型。具体而言，设 $$u$$ 表示物理量（如激发原子浓度、孔隙压力、温度或锂离子浓度）， $$v$$ 表示通量，则系统由两方程耦合：

\partial_t u + \partial_x v = f, \quad v = -\alpha \partial_{xt} u - \beta \partial_x u.

消去 $$v$$ 即得上述拟抛物方程。该结构天然蕴含通量松弛时间尺度： $\alpha \partial_{xt} u$ 项代表通量 $$v$$ 对梯度 $\partial_x u$ 的惯性响应，即 $\alpha \partial_t v + v = -\beta \partial_x u$ 的微分形式，故 $\alpha$ 具有时间量纲，刻画扩散过程的有限传播速度效应，区别于Fickian扩散的无限速假设。

此方程在多个前沿领域构成关键建模工具：(i) 固态电池电化学中，当电解质/电极界面存在应力梯度、相变动力学受限或微结构异质性显著时，传统Fick方程失效，而该方程可从Cahn–Hilliard–reaction框架经梯度能量项与非局域化学势弛豫导出；(ii) 非牛顿流体力学中，二阶不可压缩流体的Stokes-Rayleigh问题即归结为此类初边值问题；(iii) 非平衡热力学中，作为Maxwell–Cattaneo热传导律的线性化形式，描述热波传播。因此，其解的定性行为（如界面处的正则性、渐近衰减、空间振荡）直接关联物理系统的稳定性与输运效率。

然而，现有理论对界面问题（interface problems）的研究严重缺失。所谓界面问题，指定义域被一维超曲面（此处为 $$x=0$$ ）分割为左右两个子区域 $\mathbb{R}_-$ 与 $\mathbb{R}_+$ ，方程在两侧分别成立，但系数 $\alpha, \beta$ 或源项 $$f$$ 可能不同，且需在界面处施加物理自洽的耦合条件。经典文献 [16–20] 主要处理全空间初值问题或半直线上的标准Dirichlet/Neumann边值问题，而 [21,22] 虽研究多项式色散关系方程的界面问题，但未覆盖此拟抛物情形。关键难点在于：该方程的色散关系 $\omega(\lambda) = \frac{\beta \lambda^2}{1 + \alpha \lambda^2}$ 非多项式，且其最高阶混合导数项 $\partial_{xxt}$ 导致边界算子非标准——界面条件不能简单取 $$[u]=0$$ 或 $[\partial_x u]=0$ ，而必须匹配由本构关系导出的通量组合量。例如，文中Problem 2提出的界面条件为

\gamma_{11} \left( \partial_t u_R + \alpha \partial_{xt} u_R \right) + \gamma_{12} \left( \partial_x u_R + \beta \partial_{xx} u_R \right) = I_1(t),

\gamma_{21} \left( \partial_t u_R + \alpha \partial_{xt} u_R \right) + \gamma_{22} \left( \partial_x u_R + \beta \partial_{xx} u_R \right) = I_2(t),

其中下标 $$R/L$$ 表示右/左极限， $$I_j(t)$$ 为给定界面源项。此类条件源于将通量 $$v$$ 及其时间导数 $\partial_t v$ 视为独立物理变量后，在界面处施加的质量/能量/动量守恒。本文旨在填补这一空白：为实轴、半直线及有限区间上的全非齐次界面问题，建立严格、显式、解析的解公式，从而为后续研究解的正则性、长时间行为及自由边界问题提供基础工具。

2. 主要定理或主要结果

本文在 $\alpha > 0$ , $\beta > 0$ 的假设下，对Barenblatt-Sobolev-Galpern方程的三类问题建立了基于复平面上围道积分的显式解表示，并严格验证了其适定性。

Problem 1（半直线IBVP）：对 $$x>0, t>0$$ ，求解

\partial_t u - \alpha \partial_{xxt} u - \beta \partial_{xx} u = f(t,x),

满足初值 $$u(0,x) = u_0(x)$$ 及非标准边界条件

\gamma_0 \left( \partial_t u(t,0) + \alpha \partial_{xt} u(t,0) \right) + \gamma_1 \left( \partial_x u(t,0) + \beta \partial_{xx} u(t,0) \right) = \zeta(t).

其解由Theorem 1给出的公式(1.18)精确表达： $$ u(t,x) = \frac{1}{2\pi} \int_{-\infty}^{\infty} e^{i\lambda x} e^{-\omega(\lambda)t} \hat{u}_0(\lambda) , d\lambda \

\frac{1}{2\pi i} \oint_{|\lambda - i/\alpha| = \varepsilon} \frac{e^{i\lambda x} e^{-\omega(\lambda)t}}{(\gamma_0 + \gamma_1 i\lambda)(1 + \alpha \lambda^2)} \tilde{\zeta}(\omega(\lambda)) , d\lambda \
\frac{1}{2\pi} \int_{-\infty}^{\infty} e^{i\lambda x} \int_0^t e^{-\omega(\lambda)(t-\tau)} \tilde{f}(\tau, \omega(\lambda)) , d\tau , d\lambda \

\frac{1}{2\pi i} \oint_{|\lambda - i/\alpha| = \varepsilon} \frac{e^{i\lambda x}}{(\gamma_0 + \gamma_1 i\lambda)(1 + \alpha \lambda^2)} \int_0^t e^{-\omega(\lambda)(t-\tau)} \tilde{f}(\tau, \omega(\lambda)) , d\tau , d\lambda, $$ 其中 $\omega(\lambda) = \frac{\beta \lambda^2}{1 + \alpha \lambda^2}$ ， $\tilde{\zeta}, \tilde{f}$ 为关于 $\omega$ 的Laplace型变换，围道 $|\lambda - i/\alpha| = \varepsilon$ 是绕极点 $\lambda = i/\alpha$ 的小圆。Theorem 1–3进一步证明：此解 $u \in C^\infty(\mathbb{R}^+ \times \mathbb{R}^+)$ ，满足原方程、初值条件(1.19)及边界条件(1.20)，且所有时空导数在 $x \to 0^+$ 和 $t \to 0^+$ 时存在一致极限（Theorem 2），并在 $x \to \infty$ 时以任意阶代数速率衰减（Theorem 3）。

Problem 2（实轴界面问题）：对 $x \neq 0, t>0$ ，求解左右半直线上的方程，满足界面条件(1.11)–(1.12)。Theorem 4（文中虽未编号但Section 4结论）指出：该问题可解当且仅当系数矩阵行列式为零，即

\det \begin{bmatrix} \gamma_{11} & \gamma_{12} \\ \gamma_{21} & \gamma_{22} \end{bmatrix} = 0, \quad \det \begin{bmatrix} \gamma_{13} & \gamma_{14} \\ \gamma_{23} & \gamma_{24} \end{bmatrix} = 0.

在此条件下，问题退化为两个独立的半直线IBVP，其解由Problem 1的公式直接给出。

Problem 4（有限区间IBVP）：对 $$0 < x < l, t>0$$ ，求解同上方程，满足Robin型边界条件(1.15)。其解表示为两个围道积分之和，每个积分包含对应端点的边界数据 $\zeta_0(t), \zeta_l(t)$ 的变换，且证明了类似Theorem 1–3的正则性与相容性。

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

本文的核心技术障碍在于：Barenblatt方程的拟抛物本质导致其色散关系 $\omega(\lambda)$ 非多项式，且其混合导数项 $\partial_{xxt}$ 破坏了传统分离变量法与标准积分变换（如Fourier正弦/余弦变换）的适用性。更严峻的是，界面条件天然耦合了 $$u$$ 的不同阶导数，无法通过简单的奇延拓或偶延拓将其转化为全空间问题。作者采用Fokas统一变换法（UTM）并进行了关键性拓展，其创新点体现在以下三方面：

1. 全局关系（Global Relation）的构造与重构：UTM的第一步是推导一个将初值、边界值与未知边界值耦合的恒等式。对本方程，作者在Section 2中导出的全局关系(2.1)为

\hat{u}(t,\lambda) e^{i\lambda x} + \frac{1}{i\lambda} \tilde{g}_0(\omega) e^{-\omega t} + \frac{1}{i\lambda} \tilde{g}_1(\omega) e^{-\omega t} = \hat{u}_0(\lambda) e^{-\omega t} + \text{source terms},

其中 $g_0(t) = u(t,0), g_1(t) = \partial_x u(t,0)$ ， $\tilde{g}_j$ 是其关于 $\omega(\lambda)$ 的变换。此关系的关键在于，它天然地将边界数据 $$g_0, g_1$$ 以 $\tilde{g}_0(\omega), \tilde{g}_1(\omega)$ 的形式嵌入，而非其Fourier变换，这正是处理非标准边界条件的枢纽。

2. 非标准边界条件的代数消元：经典UTM对热方程常通过 $\lambda \to -\lambda$ 对称性消去未知量。此处，作者引入新变量 $G_0^*(\lambda) = \tilde{g}_0(\omega) + \alpha \lambda^2 \tilde{g}_1(\omega)$ 和 $G_1^*(\lambda) = \tilde{g}_1(\omega) + \beta \lambda^2 \tilde{g}_0(\omega)$ （见(2.3)–(2.4)），将原始边界条件(1.7)重写为线性系统 $\gamma_0 G_0^* + \gamma_1 G_1^* = \tilde{\zeta}(\omega)$ 。联立全局关系，即可解析求解 $$G_0^*, G_1^*$$ （见(2.6)），其解含有分母 $\det \begin{bmatrix} i\lambda & 1 \\ \gamma_0 & \gamma_1 \end{bmatrix} = i\lambda \gamma_1 - \gamma_0$ 。这一代数操作是处理 $\partial_{xxt}$ 项导致的非局部边界耦合的核心，确保了后续围道积分的可行性。

3. 复平面上围道变形与Cauchy定理的精细应用：解表示中的主积分 $\int_{-\infty}^{\infty} \cdots d\lambda$ 在 $|\lambda| \to \infty$ 时因 $e^{i\lambda x}$ 振荡而不绝对收敛（见Section 3）。作者未采用截断或分布理论，而是利用恒等式(3.2)将 $\hat{u}_0(\lambda)$ 展开为渐近级数，并借助Jordan引理与Cauchy定理，将实轴积分变形为一条位于上半平面、绕过极点 $\lambda = i/\alpha$ 的围道 $\Gamma$ （图2）。关键估计(3.4)表明，对任意 $k \geq 1$ ，有

\int_{-\infty}^{\infty} e^{i\lambda x} e^{-\omega(\lambda)t} \lambda^{-k} \, d\lambda = \int_{\Gamma} e^{i\lambda x} e^{-\omega(\lambda)t} \lambda^{-k} \, d\lambda,

从而将所有导数估计转化为围道上指数衰减积分的控制，最终确立 $C^\infty$ 正则性。这一技术是处理拟抛物方程解的高频振荡行为的典范。

4. 与之前工作的比较

本文与既有工作的实质性推进体现在三个维度：问题类型、解的结构与适用范围。

与经典IBVP工作的比较：文献[17]已用UTM求解了Barenblatt方程在半直线上的Dirichlet/Neumann问题，其边界条件为 $u(t,0)=\zeta(t)$ 或 $\partial_x u(t,0)=\zeta(t)$ 。本文Problem 1推广至通量组合型边界条件 $\gamma_0 (\partial_t u + \alpha \partial_{xt} u) + \gamma_1 (\partial_x u + \beta \partial_{xx} u) = \zeta(t)$ ，这不仅是数学形式的推广，更是物理建模的必需——它对应于界面处通量 $$v$$ 与广义力 $\partial_x u$ 的线性组合守恒。当 $\gamma_0=1, \gamma_1=0$ 时退化为[17]的Neumann型，但 $\gamma_0=0, \gamma_1=1$ 则对应经典Robin条件，而混合情形（如 $\gamma_0, \gamma_1 \neq 0$ ）此前无任何解析解。代价是解公式中出现额外的围道积分项，其被积函数含 $(\gamma_0 + \gamma_1 i\lambda)^{-1}$ ，要求 $\gamma_0 / \gamma_1 \neq i\alpha \lambda$ 以避免新极点，这构成了对系数比的隐含限制。

与界面问题文献的比较：文献[21,22]研究了色散关系为多项式的方程（如KdV, linearized BBM）的界面问题，其UTM解依赖于色散关系的多项式性质，可通过代数分裂 $\omega(\lambda) = \omega_+(\lambda) + \omega_-(\lambda)$ 实现变量分离。本文首次将UTM应用于非多项式色散关系 $\omega(\lambda) = \beta \lambda^2/(1+\alpha \lambda^2)$ 的界面问题。其突破在于：不强行分裂 $\omega$ ，而是利用 $\omega(\lambda)$ 的双射性（在特定区域内）定义逆变换，并通过精心设计的围道避开其分支点 $\lambda = \pm i/\sqrt{\alpha}$ 。这使得解表示适用于更广泛的物理模型，但代价是围道积分的几何构造更为复杂，且渐近分析需单独处理 $\lambda \sim i/\alpha$ 附近的贡献。

与电池建模文献的比较：近期电池文献[12–15]多采用数值方法（如FEM）或启发式近似求解此类方程，缺乏严格的解析工具。本文提供的显式积分公式(1.18)可直接用于：(i) 通过围道积分的鞍点法提取解的长时间渐近 $u(t,x) \sim t^{-1/2} e^{-x^2/(4\beta t)}$ ；(ii) 分析界面处的奇性，例如若 $\zeta(t)$ 有跳跃，则 $\partial_{xt} u$ 在 $$x=0$$ 处可能产生Dirac型奇性；(iii) 为非线性化（如加入反应项 $$R(u)$$ ）提供线性化基准。局限在于，当前结果限于线性、常系数情形；对系数 $\alpha(x), \beta(x)$ 空间变化或非线性源项 $f(u,\partial_x u)$ ，UTM框架尚未建立，需发展新的渐近匹配或WKB技术。

4. 无反常耗散时弱Sard性质的失效

Failure of the Weak Sard property without Anomalous Dissipation

作者: Umberto Pappalettera

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27044v1

摘要翻译: 对于每个 $α\in(0,1)$ ，我们构造了一个自治的、散度为零的向量场 $u\in C^α_c(\R^2,\R^2)$ ，该向量场不具有弱Sard性质，但与此同时，其对应的对流-扩散方程的解在 $L^2(\R^2)$ 范数上并不诱导反常耗散。这否证了 Bagnara、Boutros、De Lellis 与 Mayboroda 在 \cite{BaBoDeMa26} 中提出的猜想。

Comment: 19 pages, comments welcome!

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

1. 研究对象和背景

本文研究二维平面上自治、散度为零、Hölder连续的向量场 $u \in C^\alpha_c(\mathbb{R}^2; \mathbb{R}^2)$ 所诱导的对流-扩散方程

\partial_t \theta^\kappa + u \cdot \nabla \theta^\kappa = \kappa \Delta \theta^\kappa, \quad \kappa \in (0,1), \tag{1.1}

的反常耗散（anomalous dissipation）现象及其与Hamiltonian函数 $H \in C^{1,\alpha}(\mathbb{R}^2)$ 的弱Sard性质之间的逻辑关系。由于 $\nabla \cdot u = 0$ ，存在唯一的（至多相差常数） $C^{1,\alpha}$ Hamiltonian $$ H $$ 满足 $u = \nabla^\perp H := (-\partial_2 H, \, \partial_1 H)$ 。该结构将问题完全转化为对 $$ H $$ 的几何测度性质的分析。定义临界点集 $S := \{ x \in \mathbb{R}^2 : \nabla H(x) = 0 \}$ ，并令 $$ E^* $$ 为所有满足 $\mathcal{H}^1(H^{-1}(\{h\})) > 0$ 的水平集连通分支的并集。称 $$ H $$ 具有弱Sard性质，若其在 $S \cap E^*$ 上的推前测度 $H_\#(\mathbf{1}_{S \cap E^*} \mathcal{L}^2)$ 与一维Lebesgue测度 $\mathcal{L}^1$ 互异：

H_\#(\mathbf{1}_{S \cap E^*} \mathcal{L}^2) \perp \mathcal{L}^1. \tag{1.4}

这一性质是经典Sard引理在 $C^{1,\alpha}$ 类中的最优推广：当 $\alpha = 1$ （即 $H \in C^{1,1}$ ）时， $\nabla H$ 是Lipschitz的，故由Rademacher定理知 $\nabla H$ 几乎处处可微，从而 $\mathcal{L}^1(H(S)) = 0$ ；但当 $\alpha < 1$ 时， $\nabla H$ 仅Hölder连续， $$ H(S) $$ 可能具有正测度，而弱Sard性质正是刻画这种“病态”程度的精细测度条件。其物理意义在于：若 $$ H $$ 不满足弱Sard性质，则不可压输运方程 $\partial_t \theta + u \cdot \nabla \theta = 0$ 在 $L^\infty$ 中存在非唯一有界解（[ABC14]），即Lagrangian轨迹在临界点附近发生自发随机性（spontaneous stochasticity），这被广泛认为是能量级联与反常耗散的先决条件。反常耗散本身定义为：存在初值 $\theta_0 \in L^2(\mathbb{R}^2)$ ，使得

\limsup_{\kappa \downarrow 0} \kappa \int_0^1 \| \nabla \theta^\kappa_t \|_{L^2}^2 \, dt > 0. \tag{1.2}

该极限非零意味着尽管分子上 $\kappa \to 0$ ，但梯度能量 $\|\nabla \theta^\kappa\|_{L^2}^2$ 在时间平均下以 $\kappa^{-1}$ 速率发散，即扩散项 $\kappa \Delta$ 被输运项 $u \cdot \nabla$ 强烈放大——这正是湍流中能量向小尺度级联的数学表征。此前，[JS24] 构造出首个满足弱Sard性质失效且具有反常耗散的例子，其核心机制依赖于Fluctuation-Dissipation关系与Lagrangian轨迹的统计方差不衰减。在此基础上，Bagnara–Boutros–De Lellis–Mayboroda在 [BBDLM26] 中提出一个更强猜想：松弛Sard性质（relaxed Sard property）的失效——即 $H_\#(\mathbf{1}_S \mathcal{L}^2) \perp \mathcal{L}^1$ 不成立——等价于反常耗散。该猜想若成立，将建立从纯几何测度条件到PDE耗散行为的双向等价，极大深化对不可压湍流建模本质的理解。本文旨在彻底否定该猜想：构造一族 $u \in C^\alpha_c(\mathbb{R}^2)$ ，其对应的 $$ H $$ 显著违反弱Sard性质（从而也违反更弱的松弛Sard性质），但对任意 $\theta_0 \in L^2$ ，(1.1) 的解均不产生反常耗散，即

\lim_{\kappa \downarrow 0} \kappa \int_0^1 \| \nabla \theta^\kappa_t \|_{L^2}^2 \, dt = 0. \tag{1.5}

这一反例揭示了“弱Sard失效”仅为反常耗散的必要但不充分条件，其充分性需额外的动力学或统计结构（如[JS24]中显式构造的非零方差）。因此，本文填补的关键空白在于：首次严格分离几何奇异性（weak Sard failure）与动力学耗散效应（anomalous dissipation），证明前者不能单独驱动后者，从而划清了测度论障碍与PDE耗散机制之间的根本界限。

2. 主要定理或主要结果

定理 1.1（全文核心结论）：对任意 $\alpha \in (0,1)$ ，存在紧支集、自治、散度为零的向量场 $u \in C^\alpha_c(\mathbb{R}^2; \mathbb{R}^2)$ ，其对应的Hamiltonian $H \in C^{1,\alpha}(\mathbb{R}^2)$ 不满足弱Sard性质（即(1.4)不成立），但对任意初值 $\theta_0 \in L^2(\mathbb{R}^2)$ ，方程(1.1)的唯一抛物型解 $\theta^\kappa \in C([0,1]; L^2) \cap L^2([0,1]; H^1)$ 满足

\lim_{\kappa \downarrow 0} \kappa \int_0^1 \| \nabla \theta^\kappa_t \|_{L^2}^2 \, dt = 0. \tag{1.5}

该结论直接否定了[BBDLM26, Conjecture 1.3]。构造的关键参数满足显式尺度关系：选取整数 $V \gg 1$ ，并令 $W := V^{-\varepsilon_2}, \, H := V^{-(1+\varepsilon_1)}$ ，其中 $0 < \varepsilon_1 < \varepsilon_2 < \frac{1-\alpha}{1+\alpha}$ ，从而保证 $2HV^\alpha < W^{1+\alpha}$ （见(2.16)）。迭代构造中，第 $$ q $$ 步所用的形变参数为 $\delta_q = (q + q_0)^{-p}$ ，其中 $$ p > 2 $$ 且 $q_0 \gg 1$ 足够大以保证所有估计一致有效。构造所得极限Hamiltonian $$ H $$ 满足 $\| H - H_q \|_{L^\infty} \lesssim V^{-q}$ ，且其对应的速度场 $u = \nabla^\perp H$ 的流映射 $\Phi$ 在由 $\Psi_q$ 定义的坐标系下具有显式形式 $\Phi(t, \Psi_q(s,h)) = \Psi_q(s+t, h)$ ，从而精确控制流的正则性。为证弱Sard失效，作者构造了一个正测度集合 $P_\infty \subset \mathbb{T} \times I$ ，使得 $\Psi(P_\infty) \subset S \cap E^*$ ，且推前测度满足 $H_\#(\mathbf{1}_{\Psi(P_\infty)} \mathcal{L}^2) = m \, \mathbf{1}_E(h) \, dh$ ，其中 $$ m > 0 $$ 且 $\mathcal{L}^1(E) > 0$ ，这与(1.4)矛盾。为证无反常耗散，作者建立并应用命题 4.3：对任意 $\theta_0 \in L^2$ ，有

\| S^\kappa_H(t, \theta_0) - S^0_{H_q}(t, \theta_0) \|_{L^2} \le \| S^\kappa_H(t, \theta_0) - S^\kappa_{H_q}(t, \theta_0) \|_{L^2} + \| S^\kappa_{H_q}(t, \theta_0) - S^0_{H_q}(t, \theta_0) \|_{L^2},

其中 $S^\kappa_K$ 是以 $v = \nabla^\perp K$ 为速度场的方程(1.1)的解算子。两项分别被控制为：第一项 $\lesssim \| H - H_q \|_{L^\infty}^{1/2}$ ，第二项 $\lesssim \kappa^{1/2} \| D\Phi_q \|_{L^\infty}$ 。利用构造中 $\| D\Phi_q \|_{L^\infty} \lesssim V^q$ 与 $\| H - H_q \|_{L^\infty} \lesssim V^{-q}$ 的互补增长关系，最终得到 $\kappa \int_0^1 \| \nabla \theta^\kappa_t \|_{L^2}^2 \, dt \lesssim \kappa^{1/2} V^q + V^{-q/2}$ ；再选取 $q = \lfloor \frac{1}{2} \log_V (1/\kappa) \rfloor$ ，即得(1.5)。

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

本文的核心技术障碍在于：如何在同一个向量场 $$ u $$ 上，同时实现两种相互冲突的效应——一方面，通过精细设计 $$ H $$ 的临界点集 $$ S $$ 的几何结构，使其在水平集上产生正测度像（即破坏弱Sard），另一方面，又必须抑制所有可能的能量级联路径，确保扩散耗散不被输运项放大（即杜绝反常耗散）。传统方法（如[JS24]的随机轨迹法）依赖于临界点附近轨迹的统计分离，但本文构造恰恰要避免这种分离。作者的真正创新点在于提出一种分层、定向、可量化的形变框架，其核心工具是三重嵌套的光滑保测微分同胚：

基础管状坐标系 $\Psi_0$ ：利用平面闭曲线 $\gamma$ 的直段部分，在其管状邻域 $$ A $$ 上构造光滑保测微分同胚 $\Psi_0: \mathbb{T} \times I \to A$ ，其关键性质是：在矩形区域 $R_0 = R_s \times R_h$ 上为仿射映射（引理 2.1）。这为后续所有形变提供了稳定的、各向异性的坐标平台，使得‘收缩-扩张’操作可在明确的坐标方向上进行。
矩形四分之一旋转 $T_{\delta,R}$ （引理 2.2）：这是构造的基石工具。对任意矩形 $$ R $$ ，作者构造光滑保测微分同胚 $T_{\delta,R}$ ，其在 $$ R $$ 的大部分内部（区域 $R_{\delta,\text{aff}}$ ）具有恒定微分
$DT_{\delta,R}|_{R_{\delta,\text{aff}}} = A J A^{-1} = \begin{pmatrix} 0 & -L_1/L_2 \\ L_2/L_1 & 0 \end{pmatrix},$
其中 $A = \operatorname{diag}(L_1, L_2)$ 是缩放矩阵。该微分描述了一个‘剪切式旋转’，其作用效果是：在 $$ R $$ 的局部坐标中，将宽度方向收缩、高度方向扩张。更重要的是，其 $$ C^k $$ 范数满足 $\|T_{\delta,R}\|_{C^k} \lesssim \delta^{-m_k}$ ，且该爆炸性增长被 $\delta$ 精确控制，为后续迭代提供可调参数。
复合形变 $B_\delta$ 与递归迭代 $\{\beta_q\}$ （子节 2.3–2.4）：作者将 $$ Q = (-1,1)^2 $$ 划分为 $\frac{2}{W} \times \frac{2}{H}$ 个小矩形 $R_{i,j}$ ，并在每个 $R_{i,j}$ 上施加 $T_{\delta,R_{i,j}}$ ；再将每个 $R_{i,j}$ 细分为 $$ V $$ 个竖直列 $R_{i,j,k}$ ，并在其上施加逆变换 $T^{-1}_{\delta_{1/2}, R_{i,j,k}}$ 。复合映射 $B_\delta$ 在一个正测度子集 $P_\delta$ 上成为纯缩放：
$DB_\delta|_{P_\delta} = \begin{pmatrix} V^{-1} & 0 \\ 0 & V \end{pmatrix}. \tag{2.17}$
此即‘定向各向异性’的核心：它系统性地将相空间拉伸至一个极细长的形状，从而在极限 $q \to \infty$ 下，使临界点集 $$ S $$ 的像 $$ H(S) $$ 充满一个正测度区间。递归定义 $\beta_q$ 为所有 $B_{\delta_q,R}$ （ $R \in \mathcal{P}_{q-1}$ ）的复合，并选择 $\delta_q = (q+q_0)^{-p}$ 。此选择至关重要：它保证了 $\|H - H_q\|_{L^\infty}$ 指数衰减（因每次形变影响范围缩小），而流映射导数 $\|D\Phi_q\|_{L^\infty}$ 指数增长（因每次形变累积拉伸），二者形成精确的对偶关系，使得误差估计中的两项 $\kappa^{1/2} V^q$ 与 $V^{-q/2}$ 可被同一 $$ q $$ 同时优化，最终主导项以 $\kappa^{1/4}$ 速率趋于零。整个框架的分析核心是坐标系下的显式流公式： $\Phi_q(t, \Psi_q(s,h)) = \Psi_q(s+t, h)$ ，这使得所有估计均可在 $$ (s,h) $$ 坐标中完成，完全规避了对 $$ u $$ 本身的复杂估计，体现了‘几何构造驱动PDE分析’的深刻思想。

4. 与之前工作的比较

本文与既有工作的根本区别在于对‘弱Sard失效’与‘反常耗散’之间逻辑关系的重新定位，其推进体现在三个维度：

1. 与[JS24]的对比（必要性 vs 充分性）：[JS24] 首次证明了弱Sard失效是反常耗散的必要条件，并构造了一个满足该条件且确实产生反常耗散的例子。其构造依赖于Lagrangian轨迹的非零统计方差：通过在临界点附近引入受控的布朗运动扰动，使得不同初始位置的轨迹以正概率分离，从而导致 $\|\nabla \theta^\kappa\|_{L^2}^2$ 在 $\kappa^{-1}$ 尺度上不衰减。本文则构造了一个方差为零的反例：所有轨迹在构造的坐标系下严格平行（ $\Phi_q(t,s,h) = (s+t,h)$ ），不存在任何随机分离，因此无法激活[JS24]的Fluctuation-Dissipation机制。这表明，[JS24]的充分性构造依赖于额外的‘动力学噪声’，而本文证明该噪声并非几何奇异性所固有，从而将‘必要条件’与‘充分条件’彻底分离。

2. 与[BBDLM26]猜想的对比（弱Sard vs 松弛Sard）：[BBDLM26]猜想将条件升级为更强的‘松弛Sard性质’（即要求 $H_\#(\mathbf{1}_S \mathcal{L}^2) \perp \mathcal{L}^1$ ），认为其失效等价于反常耗散。本文的反例不仅破坏弱Sard，也必然破坏松弛Sard（因 $S \cap E^* \subset S$ ），却仍无反常耗散，故直接证伪该猜想。更关键的是，本文揭示了两种Sard性质的测度论差异：松弛Sard仅关注临界点集 $$ S $$ 的整体像，而弱Sard只关注 $$ S $$ 中那些位于‘大水平集’（ $\mathcal{H}^1(H^{-1}(h))>0$ ）上的部分。本文构造刻意让 $H(S \setminus E^*)$ 为零测度，但 $H(S \cap E^*)$ 为正测度，这精准击中了两种性质的区分点，说明反常耗散所需的‘病态’必须发生在具有丰富拓扑结构（即大水平集）的临界点上，而非任意临界点。

3. 与[DGG26]、[DG26]等测度论构造的对比（目的与代价）：[DGG26]和[DG26]致力于构造具有特定链式法则或不可重整化性质的向量场，其目标是厘清各类Sobolev/renormalization性质的逻辑蕴含关系。这些构造通常不涉及PDE解的定量行为，亦未考虑耗散积分。本文则将纯粹的测度论构造锚定于一个具体的PDE问题（即(1.1)的耗散率），并给出了精确的定量控制（如(1.5)中的极限为零，及误差阶 $\kappa^{1/4}$ ）。其代价是构造极度复杂：需要三重嵌套的光滑保测形变、精细的参数尺度匹配（ $W, H, V, \delta_q$ 的多重约束）、以及对流映射导数的指数增长与Hamiltonian逼近误差的指数衰减之间的精妙平衡。相比之下，[JS24]的构造虽也复杂，但其目标是证明存在性（下极限 $$ >0 $$ ），而本文需证明一个更强的‘恒为零’结论，技术难度显著更高。从适用范围看，本文结果仅适用于二维自治场，而[JS24]和[BBDLM26]的讨论涵盖更广的时间依赖情形；但从概念深度看，本文在二维自治这一‘最结构化’的设定下，反而揭示了最根本的逻辑断裂，其结论对理解任何维度下不可压流的奇异性-耗散关系都具有范式意义。

5. 可压欧拉-RIESZ方程组在一般压强律下的有限能量解的非线性稳定性与不稳定性

Nonlinear Stability and Instability of Finite-Energy Solutions of the Compressible Euler-Riesz Equations with General Pressure Laws

作者: Jose A. Carrillo, Samuel R. Charles, Gui-Qiang G. Chen, Difan Yuan

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

发布日期: 2026-07-29

arXiv ID: 2607.26782v1

摘要翻译: 可压欧拉-RIESZ方程组出现在恒星动力学、等离子体物理及数学生物学等多种物理现象的建模中。本文研究了一般压强律下多维可压欧拉-RIESZ方程组稳态解的非线性稳定性与不稳定性。在多方情形下，我们证明了在质量超临界区域、对吸引势而言稳态解的非线性不稳定性；该结论通过分析自由能在质量守恒缩放下的凹性而获得。在质量临界指数处，我们证明：对任意稳态解，均存在起始位置可任意接近该稳态的解，但其支集随时间增长。对一般压强律，我们采用集中-紧致性方法证明能量极小元的存在性，并建立稳态解的非线性稳定性。此外，我们通过导出有限能量解的相对熵估计来量化有限时间稳定性，且无需对密度施加一致的逐点上下界假设。我们进一步利用二阶矩的凸性，得到正能量解的定量增长估计，从而证明该稳定性结果的局部性。最后，我们借助补偿紧致性方法，证明了一般压强律下具有球对称性的可压欧拉-RIESZ方程组存在全局有限能量弱解，由此在弱解类中得到围绕稳态解的无条件稳定性。本文所发展的方法对于求解其他具有类似困难的非线性偏微分方程亦应具有参考价值。

Comment: 72 pages

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

1. 研究对象和背景

本文研究的是多维可压欧拉–里斯方程（Compressible Euler-Riesz Equations, CEREs）的稳态解的非线性稳定性与不稳定性问题。该方程组描述了在长程Riesz型引力或排斥力作用下、具有内压响应的可压缩流体的动力学行为，其数学形式为：

\begin{cases} \partial_t \rho + \mathrm{div}\, M = 0, \\ \partial_t M + \mathrm{div} \left( \dfrac{M \otimes M}{\rho} \right) + \nabla p(\rho) + \kappa \rho \nabla W_\alpha = 0, \end{cases} \quad (t,x) \in \mathbb{R}_+ \times \mathbb{R}^n,\ n \ge 2,

其中密度 $\rho : \mathbb{R}_+ \times \mathbb{R}^n \to \mathbb{R}_+$ ，动量 $M : \mathbb{R}_+ \times \mathbb{R}^n \to \mathbb{R}^n$ ，压力由广义状态方程 $p = p(\rho)$ 给出，且满足 $p \in C^2([0,\infty))$ 及严格单调与“真正非线性”条件：

p'(\rho) > 0, \quad 2p'(\rho) + \rho p''(\rho) > 0, \quad \forall \rho > 0.

Riesz势 $W_\alpha$ 定义为 $W_\alpha = \Phi_\alpha * \rho$ ，其核 $\Phi_\alpha$ 为：

\Phi_\alpha(x) = \begin{cases} -\dfrac{|x|^{-\alpha}}{\alpha}, & \alpha \ne 0, \\ \log |x|, & \alpha = 0, \end{cases}

对应梯度 $\nabla W_\alpha$ 在 $\alpha \in (-1,n-1)$ 时直接卷积，在 $\alpha \in [n-1,n)$ 时需主值意义下的对称差分定义：

\nabla W_\alpha(x) = \begin{cases} (\nabla \Phi_\alpha * \rho)(x), & \alpha \in (-1,n-1), \\ \displaystyle \int_{\mathbb{R}^n} \nabla \Phi_\alpha(x-y)\big(\rho(y) - \rho(x)\big)\, dy, & \alpha \in [n-1,n). \end{cases}

参数 $\kappa = \pm 1$ 表征相互作用符号： $\kappa = 1$ 对应吸引势（如恒星动力学、引力等离子体）， $\kappa = -1$ 对应排斥势（如库仑气体、生物聚集）。物理上， $\alpha = n-2$ 对应牛顿/库仑势（ $n \ge 3$ ）， $\alpha = 0$ 对应二维对数势（log-gas），而 $\alpha \in (n-2,n)$ 对应分数阶拉普拉斯逆算子 $(-\Delta)^{-(n-\alpha)/2}$ 的核。

稳态解 $\bar{\rho} \in L^1_+(\mathbb{R}^n) \cap L^\infty(\mathbb{R}^n)$ 满足分布意义下的平衡方程：

\nabla p(\bar{\rho}) + \kappa \bar{\rho} \nabla (\Phi_\alpha * \bar{\rho}) = 0,

等价于变分极小化自由能泛函

G(\varrho) = \int_{\mathbb{R}^n} \Big( \varrho e(\varrho) + \frac{1}{2} \varrho (\Phi_\alpha * \varrho) \Big) dx, \quad e(\rho) = \int_0^\rho \frac{p(s)}{s^2} ds,

在固定总质量 $M = \int \varrho$ 的约束下。关键尺度由内部能与势能之间的竞争决定：质量临界指数 $\gamma_c = \frac{n+\alpha}{n}$ 来源于缩放不变性——对 $\varrho_\lambda(x) = \lambda^n \varrho(\lambda x)$ ，有

G(\varrho_\lambda) = \lambda^{n(\gamma-1)} \int \varrho^\gamma dx + \frac{1}{2} \lambda^{\alpha - n} \int \varrho (\Phi_\alpha * \varrho) dx.

当 $\gamma = \gamma_c$ ，两项同阶；当 $\gamma < \gamma_c$ （质量超临界），势能主导缩放，系统倾向坍缩；当 $\gamma > \gamma_c$ （质量次临界），内压主导，系统倾向扩散。此外，能量临界指数 $\gamma_e = \frac{2n}{2n-\alpha}$ 亦起重要作用。例如在 $$n=3$$ 、 $\alpha = 1$ （牛顿势）时， $\gamma_c = 4/3$ ， $\gamma_e = 6/5$ ，传统恒星物理中 $\gamma \in (6/5,4/3)$ 为质量超临界坍缩区间。

然而，现有理论存在三重根本性障碍：（1）真空与自由边界退化：物理稳态（如白矮星模型）具有紧支集与真空界面， $\bar{\rho} \equiv 0$ 区域导致速度 $u = M/\rho$ 无定义，迫使分析完全基于动量 $$M$$ 而非速度；（2）非局部性与奇异性：Riesz核在原点处 $|x|^{-\alpha}$ 奇异，且当 $\alpha \ge n-1$ 时无法以经典意义定义 $\nabla W_\alpha$ ，必须依赖分数阶Sobolev嵌入与主值积分；（3）变分极限困难：最小化序列仅在 $L^1 \cap L^{\gamma}$ 中有界，而交互项 $\int \varrho_m (\Phi_\alpha * \varrho_m)$ 在弱收敛下不连续，标准紧性方法失效。尤其当 $\alpha > 2$ （如 $n \ge 5$ 的高维牛顿势），经典二阶矩增长论证（virial法）因出现负号项 $(2-\alpha)\int |M/\sqrt{\rho}|^2$ 而彻底崩溃。本文旨在系统填补上述空白：建立适用于一般压力律（含白矮星型非幂律 $p(\rho) \sim A \int_0^{B\rho^{1/3}} \sigma^4 / \sqrt{D+\sigma^2} d\sigma$ ）的稳态存在性；在无需密度上下界假设下证明紧支集稳态的非线性稳定性；并首次确立 $\alpha > 2$ 时正能解支撑集的线性增长。

2. 主要定理或主要结果

本文共建立五类核心结果，均具明确技术条件与定量估计：

（1）质量超临界不稳定性（Theorem 2.8, Section 4）：对吸引势 $\kappa = 1$ 、幂律压力 $p(\rho) = a_0 \rho^\gamma$ ，若 $\frac{2n}{2n-\alpha} < \gamma < \frac{n+\alpha}{n}$ 且 $\alpha \in (0,n) \cap [n-2,n)$ ，则任意稳态 $\bar{\rho}$ 非线性不稳定。证明基于质量守恒缩放 $\rho_\lambda(x) = \lambda^n \rho(\lambda x)$ 下自由能 $$G$$ 的严格凹性：

\frac{d^2}{d\lambda^2}\Big|_{\lambda=1} G(\rho_\lambda) = n(n-\alpha) \int \rho (\Phi_\alpha * \rho) dx - n^2(\gamma-1) \int p(\rho) dx < 0,

从而存在初值任意接近 $\bar{\rho}$ 但沿缩放方向能量下降的扰动，触发坍缩。

（2）一般压力律稳态存在性与轨道稳定性（Theorem 2.9, Section 5）：设 $$p$$ 满足（1.2）及渐近条件 $\liminf_{\rho \to \infty} p(\rho) \rho^{-(n+\alpha)/n} > 0$ 、 $\limsup_{\rho \to 0} p(\rho) \rho^{-(n+\alpha)/n} < \infty$ ，且总质量 $$M$$ 满足 Lions 型集中紧性条件：

M > \left( \frac{2n \limsup_{\rho \to 0} p(\rho) \rho^{-(n+\alpha)/n}}{C_*} \right)^{\frac{n}{n-\alpha}}, \quad M < \left( \frac{2n \liminf_{\rho \to \infty} p(\rho) \rho^{-(n+\alpha)/n}}{C_*} \right)^{\frac{n}{n-\alpha}},

其中 $$C_*$$ 为 Hardy-Littlewood-Sobolev 不等式最优常数，则能量泛函 $$G$$ 在 $X_M = \{ \varrho \in L^1_+ \cap L^{(n+\alpha)/n} : \int \varrho = M \}$ 上存在最小化子 $\bar{\rho}$ ，且该稳态在 $$L^1$$ 范数下轨道稳定：对任意 $\varepsilon > 0$ ，存在 $\delta > 0$ ，使得若初值 $(\rho_0,M_0)$ 满足 $\|\rho_0 - \bar{\rho}\|_{L^1} + \|M_0\|_{L^2} < \delta$ ，则对所有 $$t > 0$$ ，有 $\inf_{y \in \mathbb{R}^n} \|\rho(t,\cdot) - \bar{\rho}(\cdot - y)\|_{L^1} < \varepsilon$ 。

（3）相对熵稳定性（Theorem 2.11, Lemma 5.11）：对任意有限能量解 $(\rho,M)$ 与稳态 $\bar{\rho}$ ，定义修正相对熵：

h_\mu(\rho \mid \bar{\rho}) = h(\rho) - h(\bar{\rho}) + G_\mu (\rho - \bar{\rho}), \quad G_\mu = \mu + \Phi_\alpha * \bar{\rho},

其中 $\mu \ge 0$ 为 Lagrange 乘子。则存在常数 $$C > 0$$ 使得

E(\rho,M \mid \bar{\rho},0)(t) \le E(\rho,M \mid \bar{\rho},0)(0) \exp(C t),

且关键密度估计成立：

\|\rho(t) - \bar{\rho}\|_{L^1}^2 \le C \left[ E(\rho,M \mid \bar{\rho},0)(t) + \int_{\{\bar{\rho}=0\}} G_\mu \rho \,dx \right],

该估计不要求 $\bar{\rho}$ 有正下界，适用于紧支集真空稳态。

（4）正能解支撑集线性增长（Theorem 2.6）：对经典解，定义二阶矩 $I(t) = \int |x|^2 \rho(t,x) dx$ 。若总能量 $E(\rho,M)(t) > 0$ 且质量 $$M$$ 满足阈值条件 $M > M_*(\alpha,\gamma)$ ，则存在 $$c > 0$$ 使得

\frac{d^2}{dt^2} I(t) \ge c > 0, \quad \forall t \ge 0,

从而 $\mathrm{supp}\, \rho(t,\cdot) \subset B_{R(t)}(0)$ 且 $R(t) \ge c' t$ 。此结论突破 $\alpha \le 2$ 限制，首次覆盖 $\alpha > 2$ 区域。

（5）球对称弱解全局存在性（Theorem 2.18, Section 6）：对 $\alpha \in (-1,n-1)$ 及满足（1.2）的一般压力律，存在全局有限能量弱解 $(\rho,M)$ ，满足动量方程在测试函数 $\phi \in C_c^1(\mathbb{R}_+ \times \mathbb{R}^n; \mathbb{R}^n)$ 下的弱形式：

\int_0^\infty \int_{\mathbb{R}^n} \left[ M \cdot \partial_t \phi + \frac{M \otimes M}{\rho} : \nabla \phi + p(\rho) \mathrm{div}\, \phi + \kappa \rho \nabla W_\alpha \cdot \phi \right] dx dt = 0,

且能量不等式 $E(\rho,M)(t) \le E(\rho_0,M_0)(0)$ 几乎处处成立。由此导出在弱解类中绕稳态的无条件稳定性。

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

本文的技术创新集中于四大核心工具的构造与协同：

（1）修正相对熵框架（Modified Relative Entropy Framework）：传统相对熵 $h(\rho \mid \bar{\rho}) = h(\rho) - h(\bar{\rho}) - h'(\bar{\rho})(\rho - \bar{\rho})$ 在真空区 $\{\bar{\rho} = 0\}$ 失效，因 $h'(\bar{\rho})$ 无定义。作者引入 $G_\mu = \mu + \Phi_\alpha * \bar{\rho}$ （由稳态Euler-Lagrange方程 $G_\mu = -h'(\bar{\rho})$ on $\{\bar{\rho}>0\}$ 及 $G_\mu \ge 0$ on $\{\bar{\rho}=0\}$ 所启发），定义 $h_\mu(\rho \mid \bar{\rho}) = h(\rho) - h(\bar{\rho}) + G_\mu(\rho - \bar{\rho})$ 。该修正项在真空区贡献非负项 $G_\mu \rho$ ，提供关键控制；在支集内退化为标准相对熵。由此导出的 coercivity 估计（Lemma 5.8）将密度差分解为三区域：支集内利用 $$h$$ 凸性得 $$L^2$$ 控制；真空区内利用 $G_\mu \ge 0$ 得 $$L^1$$ 控制；远场利用 $|\nabla W_\alpha(x)| \lesssim |x|^{\alpha-n-1}$ 得衰减估计。最终通过 HLS 不等式与 Hölder 不等式控制非局部项 $\int \rho |\nabla \Phi_\alpha * (\rho - \bar{\rho})|^2 dx$ （Lemma 5.10），实现无下界假设的稳定性。

（2）分数阶集中紧性（Fractional Concentration-Compactness）：针对非局部泛函 $G(\varrho)$ ，标准 Lions 方法失效。作者发展径向情形下的新紧性引理：对 $\alpha \in (0,n-1)$ ，利用分数阶 Sobolev 空间 $\dot{H}^{(n-\alpha)/2}$ 的紧嵌入 $L^{2n/(n-\alpha)}_{\mathrm{rad}}(\mathbb{R}^n) \hookrightarrow L^q_{\mathrm{loc}}(\mathbb{R}^n)$ （ $q < \infty$ ），结合 Riesz 势的 Calderón-Zygmund 性质，证明最小化序列 $\{\varrho_k\}$ 的弱极限 $\bar{\varrho}$ 满足 $\int \bar{\varrho} (\Phi_\alpha * \bar{\varrho}) dx = \lim_{k\to\infty} \int \varrho_k (\Phi_\alpha * \varrho_k) dx$ 。关键在于将交互项拆为局部与非局部部分，并利用径向对称性控制尾部。

（3）广义 virial 分析（Generalized Virial Analysis for $\alpha > 2$ ）：经典 virial 恒等式 $\ddot{I}(t) = 4E(t) + (2-\alpha) \int |M/\sqrt{\rho}|^2 dx + \text{boundary terms}$ 在 $\alpha > 2$ 时第二项为负。作者引入质量阈值 $$M_*$$ ，证明当 $$M > M_*$$ 时，内压项 $\int p(\rho) dx$ 主导负项：利用 $p(\rho) \gtrsim \rho^{\gamma}$ 与 HLS 不等式 $\int \rho (\Phi_\alpha * \rho) \lesssim \|\rho\|_{L^{2n/(n+\alpha)}}^2$ ，导出

\ddot{I}(t) \ge 4E(t) - C_1 \|\rho\|_{L^\gamma}^2 + C_2 \|\rho\|_{L^{2n/(n+\alpha)}}^2 \ge c > 0,

其中 $$c$$ 依赖于 $$M - M_*$$ 。此估计首次克服 $\alpha > 2$ 障碍。

（4）球对称补偿紧性（Spherically Symmetric Compensated Compactness）：为处理 $\alpha \in (-1,n-1)$ 的强奇性，作者在球坐标下重构动量方程，利用 $\partial_r (r^{n-1} M_r)$ 的弱收敛性与 $\rho$ 的 $L^\infty$ 有界性（由能量控制），结合 Div-Curl 引理与 $\rho u^2$ 的弱- $\star$ 紧性，证明非线性项 $\frac{M \otimes M}{\rho}$ 的弱极限等于极限密度与极限动量的商。关键技巧是将 Riesz 势梯度表示为 $\nabla W_\alpha = \nabla (\Phi_\alpha * \rho)$ 并利用径向对称性将其简化为单变量积分算子，从而获得所需 Hölder 连续性。

4. 与之前工作的比较

本文与既有工作存在本质性推进，主要体现在五个维度：

（1）压力律适用范围：Rein [62]、Luo-Smoller [60] 仅处理幂律 $p = a_0 \rho^\gamma$ 且要求 $\gamma > 4/3$ （ $$n=3$$ ）；Chen et al. [25] 扩展至更广幂律但未处理真空。本文（Theorem 2.9）允许任意 $$C^2$$ 压力律，只要满足（1.2）及渐近行为 $p(\rho) \sim a_0 \rho^{\gamma_0}$ as $\rho \to 0$ 、 $p(\rho) \sim b_0 \rho^{\gamma_\infty}$ as $\rho \to \infty$ ，且 $\gamma_0, \gamma_\infty > (n+\alpha)/n$ 。特别地，白矮星压力（1.3）被完全涵盖，其低压 $\rho^{5/3}$ 与高压 $\rho^{4/3}$ 行为分别对应 $\gamma_0 = 5/3$ 、 $\gamma_\infty = 4/3$ ，而 $4/3 = (n+\alpha)/n$ （ $n=3,\alpha=1$ ）恰为临界值，本文通过质量阈值条件（2.2）–（2.3）精细刻画其存在性边界，与 Chandrasekhar 极限质量 $M_{\mathrm{ch}}$ 精确吻合，这是前人未达的物理精度。

（2）稳定性假设强度：Alves-Carrillo-Choi [3] 要求稳态密度 $\bar{\rho} \in [c,C]$ （ $$c>0$$ ），排除所有真空解；[59] 需 $\rho,M \in L^\infty$ 。本文相对熵方法（Theorem 2.11）仅需 $\bar{\rho} \in L^1 \cap L^\infty$ 且紧支集，允许自由边界 $\partial \{\bar{\rho}>0\}$ ，且证明中 $\bar{\rho}$ 的 Hölder 连续性仅需 $\alpha \in [n-1,n)$ 时 $\bar{\rho} \in C^{0,\beta}$ （ $\beta > 1+\alpha-n$ ），远弱于 $W^{1,\infty}_{\mathrm{loc}}$ 要求（[61]）。代价是仅对 $\gamma \le 2$ 保证二次 coercivity，但 $\gamma > 2$ 的物理场景（如辐射主导星）本文未覆盖，属明确局限。

（3）不稳定性机制与参数范围：Cheng-Cheng-Lin [28] 用 virial 法证 $\gamma \in (6/5,4/3]$ 不稳定，但依赖 $\alpha = n-2$ ；Jang [49] 限于 $$n=3$$ 。本文（Theorem 2.8）将不稳定性推广至全 $\alpha \in (0,n)$ ，并精确刻画超临界区间 $\gamma \in \big(\frac{2n}{2n-\alpha}, \frac{n+\alpha}{n}\big)$ ，其中下界 $\frac{2n}{2n-\alpha}$ 来自分数阶 Sobolev 嵌入临界指数，此前未被识别。此外，本文指出该机制对聚集-扩散方程同样适用，而现有文献（如 Chen-Wang [27]）仅得有限时间爆破，未建立与稳态失稳的直接联系。

（4）正能解增长的维度突破：Deng-Liu-Yang-Yao [38] 仅证 $n=3,\alpha=1$ 时 $\ddot{I}(t) \ge c > 0$ ；Guo-Hadzić-Jang [43] 构造坍缩解但未给出定量增长。本文（Theorem 2.6）首次证明 $\alpha > 2$ （如 $n=5,\alpha=3$ ）时线性增长，关键创新在于引入质量阈值 $$M_*$$ 并利用内压与势能的 $$L^p$$ -尺度竞争，而非单纯依赖 virial 恒等式符号。代价是结论仅对经典解成立，弱解的增长性仍开放。

（5）解的存在性框架：Carrillo–Charles–Chen–Yuan [12] 仅对 $\alpha \in (0,n-1)$ 的幂律证球对称弱解；Chen-He-Wang-Yuan [24] 限于牛顿势。本文（Theorem 2.18）将存在性扩展至 $\alpha \in (-1,n-1)$ 的一般压力律，并通过球对称补偿紧性统一处理 $\alpha$ 接近 $$-1$$ （弱奇异）与接近 $$n-1$$ （强奇异）两种极端，其技术细节（如径向 Riesz 势的 decay estimate in Appendix A.3）为新贡献。从提供内容中无法确认是否改进了 [12] 的能量耗散率精度。

6. 关于一类非局部对流-扩散Hamer系统的衰减估计

On the decay estimates of a nonlocal convection-diffusion Hamer system

作者: Timothée Crin-Barat, Belkacem Said-Houari

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26668v1

摘要翻译: 我们考虑辐射气体的多维Hamer模型，采用其耦合的双曲–椭圆形式。借助能量估计方法，我们在低频与高频具有不同正则性指数的混合Besov空间中建立了小初值数据的整体适定性。该框架使我们得以弱化文献 \cite{Duan_Klem_Zhu_2010,Duan_Ruan_Zhu_2012} 中所需的正则性假设。此外，我们针对初值属于临界Besov空间 $\dot{B}_{2,\infty}^{-d/2}(\mathbb{R}^d)$ 的解建立了最优的时间衰减估计，从而将先前在更强假设 $L^1(\mathbb{R}^d)$ 下获得的结果予以推广。我们讨论了这些衰减率的最优性，并在零质量抵消条件下导出了改进的衰减率，该条件对应于初值属于更大的负阶Besov空间 $\dot B^{-d/2-1}_{2,\infty}(\mathbb R^d)$ 。

Comment: 33 pages

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

1. 研究对象和背景

本文研究的是一类描述辐射气体动力学的多维Hamer系统，其核心模型为如下超椭圆耦合系统：

\begin{cases} \partial_t u + \operatorname{div}(f(u) + q) = S, \\ -\nabla(\operatorname{div} q - u) + q = 0, \end{cases} \quad u|_{t=0} = u_0,

其中 $u = u(x,t): \mathbb{R}^d \times \mathbb{R}_+ \to \mathbb{R}$ 为标量守恒量（如速度扰动或熵扰动）， $q = q(x,t): \mathbb{R}^d \times \mathbb{R}_+ \to \mathbb{R}^d$ 为辐射热通量， $f \in C^\infty(\mathbb{R}; \mathbb{R}^d)$ 满足 $$f_j(0) = f_j'(0) = 0$$ （即无一阶线性项）， $$S$$ 为外源项（文中主要取 $S \equiv 0$ ）。该系统源自辐射气体基本方程组（1.1）在平衡态附近的一阶近似，并经Fourier分析消去 $$q$$ 后等价于单一方程：

\partial_t u - \Delta_P u + \nabla \cdot f(u) = 0, \quad u|_{t=0} = u_0,

其中伪微分算子 $\Delta_P$ 由 Fourier 符号 $-|\xi|^2/(1+|\xi|^2)$ 定义，即 $\widehat{\Delta_P u}(\xi) = -\frac{|\xi|^2}{1+|\xi|^2} \hat{u}(\xi)$ ；等价地， $\Delta_P u = -u + K * u$ ，其中 $$K$$ 是Bessel势核，满足 $\int_{\mathbb{R}^d} K(x)\,dx = 1$ ， $K \ge 0$ ，且 $$K(x) = K(|x|)$$ 。因此该系统本质是非局部耗散型对流-扩散方程，其耗散机制既非标准Laplace $-\Delta$ ，亦非分数阶 $-(-\Delta)^\alpha$ ，而是具有低频类热方程行为（ $|\xi| \ll 1$ 时 $\eta(\xi) \sim |\xi|^2$ ）、高频指数阻尼行为（ $|\xi| \gg 1$ 时 $\eta(\xi) \to 1$ ）的混合型算子。

该模型的重要性在于：它介于双曲守恒律（如Burgers方程）与抛物型方程之间，是理解辐射输运中“非局部耗散主导大尺度演化、局部对流主导小尺度结构”的典型范例；同时作为Chapman–Enskog展开的正则化版本，它在动理学方程的流体极限中扮演桥梁角色。然而，其数学分析面临三重根本困难：(i) 非局部耗散算子 $\Delta_P$ 破坏了经典能量估计中 $$L^2$$ 内积的正定性控制（因 $\langle \Delta_P u, u \rangle_{L^2} = -\int \frac{|\xi|^2}{1+|\xi|^2} |\hat{u}|^2 d\xi < 0$ 但非一致负定）；(ii) 超椭圆结构导致相空间中低频与高频响应机制截然不同——低频区解呈扩散型色散，高频区则快速衰减，传统Sobolev空间无法自适应区分二者；(iii) 最优衰减率依赖于初始数据的最优可容许正则性，而经典 $$L^1$$ 假设虽能导出 $t^{-d/4}$ 的 $$L^2$$ 衰减，却掩盖了更精细的临界结构。已有工作如 Duan–Klem–Zhu (2010) 和 Duan–Ruan–Zhu (2012) 在 $H^s(\mathbb{R}^d)$ 空间（ $s \ge 2[d/2]+2$ ）建立全局适定性，但正则性要求过高；而 L^1 初始数据下的衰减估计（如 [13]）虽得 $\|u(t)\|_{L^2} \lesssim (1+t)^{-d/4}$ ，却未能揭示该速率的临界性及其在更弱空间中的有效性。本文试图填补的关键空白在于：(a) 构造能精确刻画 $\Delta_P$ 低/高频异质性的函数空间框架；(b) 在最弱可能的初始正则性下（即临界Besov空间 $\dot{B}^{-d/2}_{2,\infty}$ ）证明最优衰减；(c) 揭示零质量条件 $\int u_0 = 0$ 所对应的更大负指标空间 $\dot{B}^{-d/2-1}_{2,\infty}$ 中的加速衰减机制。

2. 主要定理或主要结果

本文在以下假设下建立了严格结论：

全局适定性：设 $d \ge 2$ ，若初始数据 $u_0 \in \dot{B}^{d/2-1,L}_{2,1}(\mathbb{R}^d) \cap \dot{B}^{d/2+1,H}_{2,1}(\mathbb{R}^d)$ 且 $\|u_0\|_{\dot{B}^{d/2-1,L}_{2,1} \cap \dot{B}^{d/2+1,H}_{2,1}}$ 充分小，则Cauchy问题 $\partial_t u - \Delta_P u + \nabla \cdot f(u) = 0$ 存在唯一全局解 $u \in C([0,\infty); \dot{B}^{d/2-1,L}_{2,1} \cap \dot{B}^{d/2+1,H}_{2,1})$ ，且满足能量不等式 $\sup_{t\ge0} \|u(t)\|_{\dot{B}^{d/2-1,L}_{2,1} \cap \dot{B}^{d/2+1,H}_{2,1}} \le C \|u_0\|$ 。
线性模型最优衰减（Theorem 3.1）：对线性方程 $\partial_t u - \Delta_P u = 0$ ，若 $u_0 \in \dot{B}^{-s}_{2,\infty}(\mathbb{R}^d) \cap \dot{B}^{\sigma}_{2,r}(\mathbb{R}^d)$ 且 $\sigma + s > 0$ ，则解满足
$\|u(t)\|_{\dot{B}^{-s}_{2,\infty}} \le C_0 \|u_0\|_{\dot{B}^{-s}_{2,\infty}}, \quad \|u(t)\|_{\dot{B}^{\sigma}_{2,r}} \le C(1+t)^{-\frac{\sigma+s}{2}} \|u_0\|_{\dot{B}^{-s}_{2,\infty}} + Ce^{-\lambda t} \|u_0\|_{\dot{B}^{\sigma}_{2,r}}.$
特别取 $$s = d/2$$ , $\sigma = 0$ , $$r = 1$$ ，得 $\|u(t)\|_{L^2} \le C(1+t)^{-d/4} \big( \|u_0\|_{\dot{B}^{-d/2}_{2,\infty}} + \|u_0\|_{\dot{B}^0_{2,1}} \big)$ ，且该速率不可改进（Section 5中通过构造低频测试函数给出匹配下界 $\|u(t)\|_{L^2} \gtrsim t^{-d/4}$ ）。
非线性模型衰减：若 $u_0 \in \dot{B}^{-d/2}_{2,\infty}(\mathbb{R}^d) \cap \dot{B}^0_{2,1}(\mathbb{R}^d)$ 且小，则非线性解满足
$\|u(t)\|_{L^2} \le C(1+t)^{-d/4}, \quad \|u(t)\|_{\dot{B}^{\sigma}_{2,1}} \le C(1+t)^{-\frac{\sigma + d/2}{2}}, \quad \forall \sigma \in [0, d/2].$
零质量加速衰减（Section 6）：若额外满足 $\int_{\mathbb{R}^d} u_0(x)\,dx = 0$ （即零质量条件），则初始数据可取在更大空间 $u_0 \in \dot{B}^{-d/2-1}_{2,\infty}(\mathbb{R}^d)$ ，此时有更强衰减
$\|u(t)\|_{L^2} \le C(1+t)^{-\frac{d+2}{4}}.$
该结果对应于低频区域 $|\xi| \ll t^{-1/2}$ 的更高阶相消，由 $\hat{u}_0(0) = 0$ 导致 $\hat{u}(\xi,t)$ 在原点处具有额外 $O(|\xi|)$ 因子。

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

本文的核心技术障碍在于： $\Delta_P$ 算子的符号 $\eta(\xi) = |\xi|^2/(1+|\xi|^2)$ 在低频 $|\xi| \le 1$ 与高频 $|\xi| \ge 1$ 区域呈现本质不同的渐近行为——前者退化为 $|\xi|^2$ （类热方程），后者趋于常数 $$1$$ （强阻尼）。这导致经典Sobolev框架无法统一处理：若用高正则性空间（如 $$H^s$$ ）则高频估计过强而低频控制不足；若用低正则性空间（如 $$L^2$$ ）则无法捕获低频扩散主导的衰减结构。作者的真正创新点在于构建并系统运用分频加权的混合Besov空间 $\dot{B}^{s,\sigma}_{2,1} = \dot{B}^{s,L}_{2,1} \cap \dot{B}^{\sigma,H}_{2,1}$ ，其中低频部分 $k \le 0$ 赋予指标 $$s = d/2-1$$ （保证低频能量守恒与扩散控制），高频部分 $$k > 0$$ 赋予指标 $\sigma = d/2+1$ （利用指数衰减压制高频振荡）。该空间设计直接源于对 $\Delta_P$ 的谱分析：引理2.2与2.3给出了关键的分频不等式

c\, 2^k \|\dot{\Delta}_k u\|_{L^2} \le \|\nabla \sqrt{P} \dot{\Delta}_k u\|_{L^2} \quad (k < 0), \quad c\, \|\dot{\Delta}_k u\|_{L^2} \le \|\nabla \sqrt{P} \dot{\Delta}_k u\|_{L^2} \quad (k \ge 0),

以及相应的半群估计

\|e^{t \Delta_P} \dot{\Delta}_k u\|_{L^2} \le e^{-c t} \|\dot{\Delta}_k u\|_{L^2} \; (k \ge 0), \quad \|e^{t \Delta_P} \dot{\Delta}_k u\|_{L^2} \le e^{-c t 2^{2k}} \|\dot{\Delta}_k u\|_{L^2} \; (k < 0).

这些不等式构成整个分析的基石：在线性衰减证明（Theorem 3.1）中，作者将频率分解后的方程 $\partial_t \dot{\Delta}_k u - \Delta_P \dot{\Delta}_k u = 0$ 对 $\dot{\Delta}_k u$ 取内积，结合引理2.2得到微分不等式 $\frac{d}{dt} \|\dot{\Delta}_k u\|_{L^2}^2 + c \min(1,2^{2k}) \|\dot{\Delta}_k u\|_{L^2}^2 \le 0$ ，再分别对 $$k<0$$ 和 $k\ge0$ 加权 $2^{2k\ell}$ 后积分，从而导出 $\|u(t)\|_{\dot{B}^{\ell}_{2,\infty}}$ 的守恒性与 $\|u(t)\|_{\dot{B}^{\sigma}_{2,r}}$ 的代数衰减。在非线性能量估计中（Section 4），作者发展了一套针对混合空间的乘积估计：利用Appendix A中的引理A.1–A.3，严格控制非线性项 $\nabla \cdot f(u)$ 在 $\dot{B}^{d/2-1,L}_{2,1}$ 与 $\dot{B}^{d/2+1,H}_{2,1}$ 中的贡献，关键在于将 $$f(u)$$ 分解为 $$f'(0)u + O(u^2)$$ 并利用 $$f'(0)=0$$ 消除线性对流项，再通过Bony分解与频率交互分析处理二次项。最后，在优化衰减率（Section 5）时，作者引入修正的Nash型不等式：对 $u \in \dot{B}^{-d/2}_{2,\infty} \cap \dot{B}^0_{2,1}$ ，存在常数 $$C$$ 使得

\|u\|_{L^2}^2 \le C \|u\|_{\dot{B}^{-d/2}_{2,\infty}}^{\frac{2}{d+1}} \|\nabla u\|_{L^2}^{\frac{2d}{d+1}},

该不等式将 $$L^2$$ 范数与临界负指标Besov范数及梯度范数耦合，再结合 $\frac{d}{dt} \|u\|_{L^2}^2 + c \|\nabla \sqrt{P} u\|_{L^2}^2 = 0$ 即可闭合衰减论证。

4. 与之前工作的比较

本文相较既有工作实现了三方面实质性推进：

1. 正则性假设的显著放宽：Duan–Klem–Zhu (2010) [13] 与 Duan–Ruan–Zhu (2012) [14] 要求初始数据属于高阶Sobolev空间 $H^s(\mathbb{R}^d)$ 且 $s \ge 2[d/2]+2$ （例如 $$d=3$$ 时需 $s \ge 8$ ），其证明依赖于高阶导数的能量估计与Gagliardo–Nirenberg插值，但未考虑 $\Delta_P$ 的频域异质性。本文通过混合Besov空间 $\dot{B}^{d/2-1,L}_{2,1} \cap \dot{B}^{d/2+1,H}_{2,1}$ 将正则性门槛降至 $\dot{B}^{d/2-1}_{2,1}$ （低频）与 $\dot{B}^{d/2+1}_{2,1}$ （高频）的组合，相当于仅需 $$u_0$$ 在低频有 $$d/2-1$$ 阶可微性（如 $$d=3$$ 时仅需 $$1/2$$ 阶导数）、高频有 $$5/2$$ 阶可微性，远低于 $$H^8$$ 。这一改进的代价是分析框架复杂化：必须建立整套混合空间的Littlewood–Paley理论（Definition 2）、分频Bernstein不等式（Lemma 2.2）及相应乘积估计（Appendix A），而[13,14]中标准Sobolev嵌入即可完成。

2. 初始数据空间的临界化与推广：此前所有衰减结果（如[13]）均基于 $u_0 \in L^1(\mathbb{R}^d)$ ，由此通过 $$L^1-L^2$$ 插值得到 $\|u(t)\|_{L^2} \lesssim t^{-d/4}$ 。本文首次将初始条件推广至临界Besov空间 $\dot{B}^{-d/2}_{2,\infty}(\mathbb{R}^d)$ ，其依据是嵌入 $L^1 \hookrightarrow \dot{B}^{-d/2}_{2,\infty}$ （Lemma 2.4），且该空间是 $$L^2$$ 能量估计中保持尺度不变性的最小空间（因 $\|u_\lambda\|_{\dot{B}^{-d/2}_{2,\infty}} = \|u\|_{\dot{B}^{-d/2}_{2,\infty}}$ ，其中 $u_\lambda(x,t) = \lambda^d u(\lambda x, \lambda^2 t)$ ）。这意味着 $t^{-d/4}$ 衰减率在尺度意义下是最优的，而 $$L^1$$ 假设只是其充分但不必要条件。作者明确指出，此推广受启发于Sohinger–Strain [38]（Boltzmann方程）与Xu–Kawashima [42]（偏耗散双曲系统）的工作，但将其首次系统应用于Hamer模型。

3. 零质量条件下的加速衰减机制：Serre [37] 在 $$L^1$$ 框架下证明了零质量扰动的 $$L^1$$ -稳定性 $\lim_{t\to\infty} \|u(t)\|_{L^1} = 0$ ，但未给出定量衰减率；Laurencot [30] 在加权 $$L^1$$ 空间中得到 $\|u(t)\|_{L^2} \lesssim t^{-3/4}$ （ $$d=1$$ ）。本文将此推广至任意维数，并精确定量：当 $\int u_0 = 0$ 时，初始数据可取在更大的 $\dot{B}^{-d/2-1}_{2,\infty}$ 空间，对应衰减率为 $t^{-(d+2)/4}$ 。该结果的物理含义是零质量条件在Fourier侧强制 $\hat{u}_0(0) = 0$ ，使低频解 $\hat{u}(\xi,t) \approx e^{-|\xi|^2 t} \hat{u}_0(\xi)$ 在 $\xi=0$ 处具有一阶零点，从而将有效低频积分区域从 $|\xi| \lesssim t^{-1/2}$ 收缩至 $|\xi| \lesssim t^{-1/2}$ 但权重 $|\xi|$ ，最终提升衰减速率 $$1/2$$ 阶。此分析在[30]中仅对 $$d=1$$ 进行，而本文通过混合Besov框架实现了全维数统一处理。

7. 非线性量子Fokker-Planck方程在平衡态附近

Nonlinear quantum Fokker-Planck equation near equilibrium

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

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26433v1

摘要翻译: 我们研究一类具有自洽碰撞频率、体速度和温度的非线性量子Fokker–Planck方程。与扩散系数和摩擦系数被预先给定的量子Fokker–Planck方程不同，该模型中的宏观量是分布函数的非线性泛函。该方程保持质量、动量和动能守恒，具备量子熵耗散结构，并在费米情形下传播Pauli容许范围。其碰撞算子在形式上亦与量子Landau方程相关联。对于三维全空间上的Cauchy问题，我们在全局量子平衡态附近证明了强解的整体存在性与唯一性。证明基于一种微扰型宏-微观能量方法，该方法结合了微观强制性（microscopic coercivity）、非线性速度矩估计以及宏观耗散论证。我们进一步建立了非负性的传播性质及费米情形下的Pauli上界传播。若初始扰动满足额外的负Sobolev范数假设，则可获得向平衡态的代数衰减速率。

Comment: 66 pages

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

1. 研究对象和背景

本文研究如下定义在三维全空间 $\mathbb{R}^3_x \times \mathbb{R}^3_p$ 上的非线性量子福克-普朗克方程：

\partial_t f + p \cdot \nabla_x f = \rho \, \nabla_p \cdot \big\{ \Theta \, \nabla_p f + (p - u) f(1 + \hbar \kappa f) \big\}, \tag{1.2}

其中 $f = f(t,x,p) \geq 0$ 是单粒子分布函数， $\kappa \in \{-1,1\}$ 分别对应费米子（ $\kappa = -1$ ）与玻色子（ $\kappa = 1$ ）统计， $\hbar > 0$ 是无量纲量子参数，且满足 $\hbar e^{-\theta_0} < 1$ （见(1.4)），以保证全局平衡态 $F_\hbar(p)$ 的分母非零。

关键特征在于宏观量 $\rho, u, \Theta$ 并非预设常数或外场，而是由分布函数 $$f$$ 自洽决定的非线性泛函：

\rho(t,x) = \int_{\mathbb{R}^3} f \, dp,

u(t,x) = \frac{ \int_{\mathbb{R}^3} p f(1 + \hbar \kappa f) \, dp }{ \int_{\mathbb{R}^3} f(1 + \hbar \kappa f) \, dp },

\Theta(t,x) = \frac{1}{3\rho(t,x)} \int_{\mathbb{R}^3} (|p|^2 - u \cdot p) f(1 + \hbar \kappa f) \, dp.

该结构使方程严格保持质量、动量与动能守恒（见第2.3节）：

\frac{d}{dt} \iint f \, dx dp = 0, \quad \frac{d}{dt} \iint p f \, dx dp = 0, \quad \frac{d}{dt} \iint |p|^2 f \, dx dp = 0.

同时，它具备量子熵耗散结构：定义量子熵泛函

\mathcal{H}[f] = \iint \left[ f \log f - \kappa f^2 \right] \, dx dp,

则有 $\frac{d}{dt} \mathcal{H}[f] = -\mathcal{D}[f] \leq 0$ ，其中耗散率 $\mathcal{D}[f]$ 显式依赖于 $\rho, u, \Theta$ 及其梯度（见第2.4节）。在费米子情形下，该方程还动态保持泡利容许范围 $0 \leq f(t,x,p) \leq \frac{1}{\hbar}$ ，这是由非线性漂移项 $f(1 - \hbar f)$ 在边界上的退化性所保障（见第2.2节）。

该方程并非人为构造，而是从量子朗道方程 $$Q_L(f)$$ 出发，在麦克斯韦分子模型（ $\nu = 5$ ）及围绕量子加权体速度 $\tilde{U}$ 的径向对称假设 $f = \Phi(|p - \tilde{U}|^2 / (2\tilde{\Theta}))$ 下形式导出（见第2.1节）。具体而言，量子朗道算子

Q_L(f) = \nabla_p \cdot \int_{\mathbb{R}^3} q(p-p_*) \big\{ F(f_*) \nabla_p f - F(f) \nabla_{p_*} f_* \big\} \, dp_*, \quad F(f) = f(1 + \hbar \kappa f),

在该假设下简化为

Q_L(f) = \rho \, \nabla_p \cdot \big\{ \tilde{\Theta} \, \nabla_p f + (p - \tilde{U}) F(f) \big\},

从而自然引出(1.2)。此导出过程解释了为何扩散温度 $\Theta$ 采用量子加权二阶矩但归一化于经典密度 $\rho$ ，以及为何漂移项含 $$F(f)$$ —— 这些选择是维持守恒律与量子熵结构的唯一方式。

现有文献中，绝大多数量子福克-普朗克方程（如(1.1)型）均假定扩散系数与摩擦场为预设函数，导致宏观量与分布函数之间缺乏反馈，因而无法同时满足三守恒律与量子统计修正。例如，[48] 中的方程 $\partial_t f + p \cdot \nabla_x f = \nabla_p \cdot \{ \nabla_p f + p f(1 + \hbar \kappa f) \}$ 虽具量子熵结构，但其碰撞频率恒为1，不随 $$f$$ 变化；而[45,47]中考虑的自洽模型仅部分耦合（如仅 $$u$$ 自洽， $\Theta$ 固定）。本文首次系统处理完全自洽的三重非线性耦合：碰撞频率 $\rho$ 、体速度 $$u$$ 、扩散温度 $\Theta$ 全部为 $$f$$ 的非线性泛函。这一结构极大增加了分析难度：线性化算子 $$L$$ 不再具有标准福克-普朗克算子的核空间 $\mathrm{span}\{ \sqrt{\mu_\hbar}, p_i \sqrt{\mu_\hbar}, |p|^2 \sqrt{\mu_\hbar} \}$ ，而是因 $u, \Theta$ 的自洽性引入有限秩修正项 $$P_1$$ ，其生成模为 $p_j \eta_\hbar / \sqrt{\mu_\hbar}$ 和 $(|p|^2 \eta_\hbar - 3) \sqrt{\mu_\hbar}$ （见第3.2节），与经典碰撞不变量不直接对齐。因此，核心空白在于：如何严格刻画该非标准线性化算子的零空间并建立微观强制性（coercivity），进而构建适用于全自洽非线性结构的宏观-微观能量方法。

2. 主要定理或主要结果

本文在三维全空间 $\mathbb{R}^3_x \times \mathbb{R}^3_p$ 上，针对扰动形式 $f = F_\hbar(p) + \sqrt{\mu_\hbar(p)} \, g$ ，其中 $\mu_\hbar = F_\hbar + \hbar \kappa F_\hbar^2$ ，证明了以下全局适定性与大时间行为结果：

定理 1.1（全局存在唯一性与传播性质）：设 $s \geq 4$ ，存在充分小常数 $\delta_{\mathrm{in}} > 0$ ，使得对任意初值 $g_0 \in H^s(\mathbb{R}^3_x \times \mathbb{R}^3_p)$ 满足 $\|g_0\|_{H^s} \leq \delta_{\mathrm{in}}$ 且 $f_0(x,p) := F_\hbar(p) + \sqrt{\mu_\hbar(p)} \, g_0(x,p) \geq 0$ a.e.，Cauchy问题 $\partial_t g + p \cdot \nabla_x g = L(g) + \Gamma(g)$ 存在唯一全局强解 $g \in C([0,\infty); H^s)$ ，且满足一致先验估计 $\sup_{t\geq0} \|g(t)\|_{H^s} \leq C \|g_0\|_{H^s}$ 。相应分布 $f(t,x,p) = F_\hbar(p) + \sqrt{\mu_\hbar(p)} \, g(t,x,p)$ 满足 $f(t,x,p) \geq 0$ a.e.；在费米子情形 $\kappa = -1$ 下，若额外有 $f_0(x,p) \leq \frac{1}{\hbar}$ a.e.，则 $f(t,x,p) \leq \frac{1}{\hbar}$ a.e. 对所有 $t \geq 0$ 成立。

代数衰减率：若进一步假设 $g_0 \in L^2_p \dot{H}_x^{-\tilde{s}}$ ，其中 $0 < \tilde{s} < \frac{3}{2}$ ，则 $g \in L^\infty(0,\infty; L^2_p \dot{H}_x^{-\tilde{s}})$ ，且对任意整数 $$l$$ 满足 $0 \leq l \leq s-1$ ，存在常数 $$C_l > 0$$ 使得

\sum_{l \leq |\alpha| \leq s} \|\partial_x^\alpha g(t)\|_{L^2_{x,p}}^2 \leq C_l (1+t)^{-(l+\tilde{s})}, \quad \forall t \geq 0.

特别地，取 $$l=0$$ 得 $\|g(t)\|_{L^2_{x,p}} \lesssim (1+t)^{-\tilde{s}/2}$ ，取 $$l=s-1$$ 得最高阶导数衰减 $\|\nabla_x^{s-1} g(t)\|_{L^2_{x,p}} \lesssim (1+t)^{-(s-1+\tilde{s})/2}$ 。

技术条件说明：衰减率中的 $\tilde{s}$ 受限于Hardy-Littlewood-Sobolev不等式：为估计 $\Lambda_x^{-\tilde{s}}$ 作用于非线性项，需 $\|\Lambda_x^{-\tilde{s}} F\|_{L^2_x} \lesssim \|F\|_{L^q_x}$ ，其中 $1/q = 1/2 + \tilde{s}/3$ ，要求 $$1 < q < 2$$ ，即 $0 < \tilde{s} < 3/2$ （见Remark 1.1）。端点 $\tilde{s} = 3/2$ 对应 $$q=1$$ ，此时强型HLS不等式失效，故当前 $$L^2$$ -能量方法无法延拓至此临界情形。

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

证明的核心障碍源于全自洽非线性结构引发的三重技术挑战：（1）线性化算子 $$L$$ 的非标准零空间结构；（2）宏观量 $\rho,u,\Theta$ 的非线性有理表达式带来的高阶Sobolev估计困难；（3）全空间设置下缺乏Poincaré不等式，需耦合负Sobolev范数以获得定量衰减。

1. 非标准线性化算子的零空间刻画与微观强制性：标准福克-普朗克算子 $L_0 = \nabla_p \cdot (\nabla_p + p) \sqrt{\mu_\hbar} \cdot$ 的核空间为经典碰撞不变量张成的五维空间 $N = \mathrm{span}\{ \sqrt{\mu_\hbar}, p_i \sqrt{\mu_\hbar}, |p|^2 \sqrt{\mu_\hbar} \}$ 。然而，由于 $u,\Theta$ 的自洽定义，线性化算子实际为 $$L = L_0 + P_1$$ ，其中有限秩修正 $$P_1$$ 由模 $p_j \eta_\hbar / \sqrt{\mu_\hbar}$ 和 $(|p|^2 \eta_\hbar - 3) \sqrt{\mu_\hbar}$ 生成（ $\eta_\hbar$ 为某量子权重函数）。这些模与 $$N$$ 中基底不重合，故不能直接断言 $\ker L = N$ 。作者的关键创新在于利用量子平衡态 $F_\hbar$ 满足的精确矩恒等式（如 $\int p_j F_\hbar \, dp = 0$ , $\int p_j^2 F_\hbar \, dp = \Theta_0 \int F_\hbar \, dp$ ）及分部积分关系，严格证明了 $\ker L = N$ ，并建立了正交补空间 $N^\perp$ 上的强制性估计：存在 $\lambda > 0$ 使得

\langle -L g, g \rangle_{L^2} \geq \lambda \|\mathbf{P}^\perp g\|_{L^2_{\mu_\hbar^{-1}}}^2,

其中 $\mathbf{P}^\perp$ 是到 $N^\perp$ 的正交投影， $L^2_{\mu_\hbar^{-1}}$ 为加权空间。此强制性仅作用于微观分量，宏观分量 $\mathbf{P}g$ 的耗散需通过流体变量的平衡关系与时间交互泛函来恢复（见第5.3节）。

2. 宏观量非线性估计的加权三角层次：宏观量 $\rho,u,\Theta$ 均为 $$f$$ 的量子加权矩的有理函数，如 $u = \frac{\int p F(f) \, dp}{\int F(f) \, dp}$ 。其高阶导数估计面临双重困难：分母 $\int F(f) \, dp$ 需被一致控制远离零（依赖扰动小性及 $\hbar e^{-\theta_0}<1$ ），且分子中 $$F(f)$$ 的复合导数会产生 $\partial_p^k f$ 与 $\partial_p^{k'} F(f)$ 的乘积。作者设计了一种“按速度导数阶数递进”的加权三角层次：定义能量泛函 $\mathcal{E}_s(t)$ 包含 $\sum_{|\alpha|+|\beta| \leq s} \|\partial_x^\alpha \partial_p^\beta g\|_{L^2_{\mu_\hbar^{-1}}}$ ，并赋予不同 $|\beta|$ 的项以不同权重。当对 $\partial_p^k$ 作用于 $u,\Theta$ 时，低阶 $\partial_p^{k'} g$ 项被高阶权重吸收，而高阶项则由更高阶能量控制，从而闭环估计。

3. 负Sobolev范数与代数衰减的耦合机制：为获得衰减，作者引入空间负Sobolev范数 $\|g\|_{L^2_p \dot{H}_x^{-\tilde{s}}}$ 。难点在于 $\Lambda_x^{-\tilde{s}}$ 作用于非线性项 $\Gamma(g)$ 时，会生成含 $\Lambda_x^{-\tilde{s}}(\rho \Theta \nabla_p^2 g)$ 、 $\Lambda_x^{-\tilde{s}}(\rho (p-u) \cdot \nabla_p (F(f)))$ 等项，其空间可积性低于 $$L^2_x$$ 。作者结合HLS不等式 $\|\Lambda_x^{-\tilde{s}} F\|_{L^2_x} \lesssim \|F\|_{L^q_x}$ （ $q = (2^{-1} + \tilde{s}/3)^{-1}$ ）、已获的高阶能量界及扰动小性，证明了该负范数的一致传播： $\|g(t)\|_{L^2_p \dot{H}_x^{-\tilde{s}}} \leq C \|g_0\|_{L^2_p \dot{H}_x^{-\tilde{s}}}$ 。随后，通过Gagliardo-Nirenberg插值

\|\partial_x^l g\|_{L^2_{x,p}} \lesssim \|g\|_{L^2_p \dot{H}_x^{-\tilde{s}}}^{\theta} \|\nabla_x^s g\|_{L^2_{x,p}}^{1-\theta}, \quad \theta = \frac{s-l}{s+\tilde{s}},

将负正则性与高阶耗散 $\|\nabla_x^s g\|_{L^2_{x,p}} \lesssim (1+t)^{-1/2}$ （来自宏观-微观能量闭合）耦合，导出前述代数衰减率。此机制本质依赖于前述非标准强制性与宏观耗散论证的协同，而非经典线性福克-普朗克理论的直接应用。

4. 与之前工作的比较

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

1. 自洽结构的完备性：此前工作如[20]（非线性Vlasov-Fokker-Planck）仅让漂移速度 $$u$$ 自洽，扩散系数固定；[41]虽考虑全自洽但针对经典统计（ $\hbar=0$ ）且未处理量子约束；[6]证明了指数收敛但前提为全局解存在性未证。本文是首个在三维全空间上严格建立完全自洽量子福克-普朗克方程（ $\rho,u,\Theta$ 全部非线性依赖 $$f$$ ）的全局适定性理论，填补了量子动力学中“全自洽非线性碰撞模型”的严格分析空白。

2. 线性化分析的结构性突破：标准处理（如[45,47]）假设宏观量预设，故线性化算子 $$L$$ 直接具有标准核空间 $$N$$ 。本文因 $u,\Theta$ 自洽，迫使 $$L$$ 含有限秩修正 $$P_1$$ ，其生成模与 $$N$$ 不对齐。前人工作未处理此类非标准结构。作者通过量子平衡态的精确矩恒等式（而非泛泛的能量估计）完成零空间刻画与强制性证明，这是方法论上的实质性创新。

3. 时间尺度与衰减率：经典线性福克-普朗克方程在全空间上仅具代数衰减（因无谱隙），而本文在非线性框架下仍获得相同量级的代数衰减 $\|g(t)\|_{L^2} \lesssim (1+t)^{-\tilde{s}/2}$ ，且衰减阶数 $\tilde{s}$ 可达 $$3/2-$$ ，优于多数同类工作（如[48]未给出定量衰减）。代价是衰减率依赖初始负Sobolev正则性，且受限于 $\tilde{s} < 3/2$ ，这比线性情形的临界值更严格。

4. 物理约束的动态保持：[12,15]等处理空间均匀模型，无需考虑Pauli上界传播；[49,56]针对量子Boltzmann方程，其碰撞算子结构不同，无法直接移植。本文首次在非线性福克-普朗克框架下，通过L²截断论证（Appendix A）严格证明了费米子情形下 $f \leq 1/\hbar$ 的动态保持，且该性质不依赖扰动小性，而是由方程本身的退化漂移结构所保障。此结果对量子输运模拟具有直接物理意义。

从提供内容中无法确认本文与量子Landau方程全局解工作（如[51,52]）在解的正则性或长时间行为上的直接比较细节，作者亦未显式展开与[51,52]的定量对比。

8. 色散型广义SQG方程的无粘与快速旋转极限

Inviscid and fast rotation limit for dispersive generalized SQG equations

作者: Anuj Kumar, Sweety, Mohit Yadav

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26701v1

摘要翻译: 我们考虑带色散强迫项的耗散型广义表面准地转方程，并研究解在粘性趋于零极限下的行为。利用相对能量不等式方法，我们在不同色散机制下证明了收敛性结果，将Kosloff等人（Appl. Math. Lett. (2019) 88 243-249）所得结果推广至更具奇异性的一类活性标量方程。

Comment: 9 pages

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

1. 研究对象和背景

本文研究二维欧氏空间 $\mathbb{R}^2$ 上的耗散型广义表面准地转（generalized surface quasi-geostrophic, gSQG）方程，其核心模型为带色散强迫项的非线性活性标量方程：

\begin{cases} \partial_t \theta + u \cdot \nabla \theta + \nu (-\Delta)^\alpha \theta + \dfrac{1}{\varepsilon} R_1 \theta = 0, \\ u = R^\perp \Lambda^{\beta-1} \theta = \big( \partial_{x_2} \Lambda^{\beta-2} \theta,\ -\partial_{x_1} \Lambda^{\beta-2} \theta \big), \\ \theta(x, 0) = \theta_0(x), \end{cases} \tag{1.1}

其中 $\theta : \mathbb{R}^2 \times [0,T) \to \mathbb{R}$ 表示演化标量（如海洋表层温度）， $$u$$ 为由 $\theta$ 通过奇异积分算子生成的对流速度场， $\Lambda = (-\Delta)^{1/2}$ 为分数阶拉普拉斯算子， $R = (-\partial_{x_2} \Lambda^{-1},\ \partial_{x_1} \Lambda^{-1})$ 为标准黎兹变换， $R_1 \theta = \partial_{x_1} \Lambda^{-1} \theta$ 是源于科里奥利力的大尺度浮力输运项；参数 $\nu > 0$ 为粘性系数， $\varepsilon > 0$ 为无量纲罗斯比数（Rossby number），刻画科里奥利力相对惯性力的强度； $\alpha \in (0,1)$ 控制耗散阶数， $\beta \in (0,2)$ 刻画构型律（constitutive law）的奇异性程度。特别地，本文聚焦于 $\beta \in (1,2)$ 的最奇异构型律区间，此时速度场 $$u$$ 的正则性远低于经典 SQG 方程（ $\beta = 1$ ）：因 $u = R^\perp \Lambda^{\beta-1} \theta$ ，当 $\beta > 1$ 时， $\Lambda^{\beta-1}$ 为超奇异微分算子（order $$> 0$$ ），导致 $$u$$ 的 Sobolev 正则性比 $\theta$ 低 $\beta-1$ 阶，从而极大加剧了非线性项 $u \cdot \nabla \theta$ 的分析难度。

该模型兼具三重物理与数学重要性：其一，作为 Navier–Stokes–Coriolis（NSC）系统的类比模型，色散 SQG 方程能捕捉地球物理流体中快旋（fast rotation）与波–湍流相互作用（wave–turbulence interaction）的核心机制；其二，当 $\beta = 1$ 、 $\alpha = 1/2$ 时，它退化为临界耗散 SQG，与三维 Euler 方程具有结构类比性（均为 $L^\infty$ 奇异积分耦合对流项），是研究奇异性传播与全局正则性的关键简化模型；其三， $\beta \in (1,2)$ 的广义情形代表比 SQG 更奇异的活性标量方程族，其适定性理论本身尚不完整——例如，Chae–Constantin–Wu（2011）仅对 $\beta < 1$ 建立了光滑解的局部存在性，而 $\beta > 1$ 时需更强初值正则性（如 $$H^m$$ ， $m > 1+\beta$ ）且全局存在性未解决。在此背景下，本文关注的核心问题是：在 $\nu \to 0$ （无粘极限）与 $\varepsilon \to 0$ （快旋极限）双重渐近过程中，解 $\theta^{\nu,\varepsilon}$ 如何收敛？这一问题直接关联到地球物理模型中“高雷诺数、强旋转”极限下的有效动力学简化——即能否将复杂色散 gSQG 系统约化为更简单的极限系统（如纯色散传输方程或无粘 gSQG）。已有工作如 Kosloff–Niche–Planas（2019）仅处理 $\beta = 1$ 的 SQG 情形，其证明依赖于黎兹变换 $$R$$ 在 $$L^p$$ （ $1<p<\infty$ ）上的有界性，但该性质在 $\beta > 1$ 时失效：因 $$u$$ 涉及 $\Lambda^{\beta-1}$ ，其符号为 $|\xi|^{\beta-1}$ ，导致 $\|u\|_{L^p} \lesssim \|\theta\|_{W^{\beta-1,p}}$ ，而 $\beta-1 > 0$ 时无法用 $$L^2$$ 范数控制。因此，填补 $\beta \in (1,2)$ 区间内无粘–快旋联合极限的严格数学分析空白，构成本文的根本动机。

2. 主要定理或主要结果

本文在 $\beta \in (1,2)$ 的最奇异构型律下，建立三项严格收敛结果，均基于相对能量不等式方法，并精确量化收敛速率与初值正则性要求：

定理 2.1（无粘与快旋联合极限）：设 $\beta \in (1,2)$ ， $m > 1+\beta$ ，初值族 $\{\theta^{\nu,\varepsilon}_0\} \subset L^2(\mathbb{R}^2)$ 、 $\{\phi^\varepsilon_0\} \subset H^m(\mathbb{R}^2)$ 关于 $\nu,\varepsilon$ 一致有界，且 $\nabla \phi^\varepsilon_0 \in \dot{B}^{1+\beta}_{1,1}(\mathbb{R}^2)$ 。令 $\theta^{\nu,\varepsilon}$ 为 (1.1) 的全局弱解， $\phi^\varepsilon$ 为色散传输方程 $\partial_t \phi + \frac{1}{\varepsilon} R_1 \phi = 0$ 的光滑解。若 $\|\theta^{\nu,\varepsilon}_0 - \phi^\varepsilon_0\|_{L^2} \to 0$ 当 $\nu,\varepsilon \to 0$ ，则

\|\theta^{\nu,\varepsilon} - \phi^\varepsilon\|_{L^\infty(0,T;L^2)} + \|\theta^{\nu,\varepsilon} - \phi^\varepsilon\|_{L^2(0,T;\dot{H}^\alpha)} \to 0.

进一步，由非线性 Gronwall 不等式导出显式误差界：

\|\theta^{\nu,\varepsilon}(t) - \phi^\varepsilon(t)\|_{L^2} \leq \left( \|\theta^{\nu,\varepsilon}_0 - \phi^\varepsilon_0\|_{L^2} + \frac{C}{2} \left( \nu t + 2\sqrt{\varepsilon}\sqrt{\varepsilon + t} \right) \right)^2,

其中 $$C$$ 依赖于 $\|\phi^\varepsilon_0\|_{H^m}$ 和 $\|\phi^\varepsilon_0\|_{\dot{B}^2_{1,1}}$ 。

定理 2.2（固定色散下的无粘极限）：设 $\beta \in (1,2)$ ， $\varepsilon > 0$ 固定， $m > 1+\beta$ ， $\bar{\theta}_0 \in H^m(\mathbb{R}^2)$ ， $\theta^\nu_0 \in L^2(\mathbb{R}^2)$ 。令 $\bar{\theta}$ 为极限系统 $\partial_t \bar{\theta} + \bar{u} \cdot \nabla \bar{\theta} + \nu (-\Delta)^\alpha \bar{\theta} + \frac{1}{\varepsilon} R_1 \bar{\theta} = 0$ 的局部光滑解（存在时间 $$T^*$$ ）， $\theta^\nu$ 为 (1.1) 的全局弱解。若 $\|\theta^\nu_0 - \bar{\theta}_0\|_{L^2} \to 0$ 当 $\nu \to 0$ ，则

\|\theta^\nu - \bar{\theta}\|_{L^\infty(0,T^*;L^2)} \to 0.

误差满足线性 Gronwall 型估计：

\|\bar{\theta}(t) - \theta^\nu(t)\|_{L^2}^2 \leq C\left( \nu + \|\bar{\theta}_0 - \theta^\nu_0\|_{L^2}^2 \right) e^{(C+\nu)t}.

定理 2.3（无色散下的无粘极限）：设 $\beta \in (1,2)$ ， $m > 1+\beta$ ， $\tilde{\theta}_0 \in H^m(\mathbb{R}^2)$ ， $\theta^\nu_0 \in L^2(\mathbb{R}^2)$ 。令 $\theta^\nu$ 为耗散 gSQG（ $\varepsilon=\infty$ ）的全局弱解， $\tilde{\theta}$ 为其无粘对应方程的局部光滑解。若 $\|\theta^\nu_0 - \tilde{\theta}_0\|_{L^2} \to 0$ ，则

\|\theta^\nu - \tilde{\theta}\|_{L^\infty(0,T^*;L^2)} \to 0.

所有定理均要求初值满足 $m > 1+\beta$ ，此条件源于 $u = R^\perp \Lambda^{\beta-1} \theta$ 的正则性损失：为使 $u \in L^\infty_t W^{1,\infty}_x$ （保证对流项可控），需 $\theta \in H^m$ 且 $m > 1+\beta$ ，确保 $\Lambda^{\beta-1} \theta \in H^{m-\beta+1} \hookrightarrow W^{1,\infty}$ 。

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

本文的核心技术障碍在于：当 $\beta \in (1,2)$ 时，构型律 $u = R^\perp \Lambda^{\beta-1} \theta$ 导致速度场 $$u$$ 具有超奇异微分阶数 $\beta-1 > 0$ ，使得标准 $$L^p$$ 黎兹变换有界性失效，无法直接控制非线性项 $\int (u \cdot \nabla \phi)(\phi - \theta)$ 。作者的真正创新点在于将相对能量框架与精细的交换子分解（commutator decomposition）相结合，并嫁接最新发展的分数阶交换子估计，从而克服奇异性。

具体而言，在定理 2.1 的证明中（见第 5–6 页），作者将关键非线性项 $I + J = \int_{\mathbb{R}^2} (u \cdot \nabla \phi)(\phi - \theta) \, dx$ 分解为：

I = -\int_{\mathbb{R}^2} \big[ \nabla^\perp \Lambda^{\beta-2},\, \nabla \phi \big] \phi \, (\phi - \theta) \, dx, \quad J = \frac{1}{2} \int_{\mathbb{R}^2} \big[ \nabla^\perp \Lambda^{\beta-2},\, \nabla \phi \big] (\phi - \theta) \, (\phi - \theta) \, dx.

此分解将 $\beta-1$ 阶微分算子的作用分离至交换子 $[\nabla^\perp \Lambda^{\beta-2}, \nabla \phi]$ 中，而后者可被引理 3.1（源自 Li 2019）控制：对 $s = \beta-1 \in (0,1)$ 、 $$p=2$$ ，有

\| [A_s, g] f \|_{L^2} \leq C \|f\|_{L^2} \| \Lambda^s g \|_{\mathrm{BMO}} \leq C \|f\|_{L^2} \| \Lambda^s g \|_{L^\infty}.

此处 $A_s = \nabla^\perp \Lambda^{\beta-2}$ ， $g = \nabla \phi$ ， $f = \phi$ 或 $\phi - \theta$ 。关键在于， $\| \Lambda^{\beta-1} \nabla \phi \|_{L^\infty}$ 由色散估计（命题 3.1）控制：因 $\phi$ 满足 $\partial_t \phi + \frac{1}{\varepsilon} R_1 \phi = 0$ ，其解具有衰减性 $\| \nabla \Lambda^{\beta-1} \phi(t) \|_{L^\infty} \leq C \left( \frac{\varepsilon}{\varepsilon + |t|} \right)^{1/2} \| \phi_0 \|_{\dot{B}^2_{1,1}}$ ，这正是 (4.6)–(4.7) 中出现的 $\left( \frac{\varepsilon}{\varepsilon + s} \right)^{1/2}$ 因子的来源。该衰减性与交换子估计耦合，使 $$I$$ 、 $$J$$ 均被 $\|\phi - \theta\|_{L^2}$ 或其平方控制，从而嵌入 Gronwall 框架。

另一核心技术是色散项的正交性处理（见备注 3.2 及 (4.3)）：利用 Plancherel 公式证明 $\langle R_1 \theta, \theta \rangle = 0$ ，故色散项 $\frac{1}{\varepsilon} R_1 \theta$ 在能量估计中不耗散能量，但在相对能量中与参考解 $\phi$ 的色散项精确抵消（因 $\phi$ 满足齐次色散方程），从而消除该高振荡项的主导影响。此技巧避免了对色散项进行暴力估计，是相对能量法在此类问题中成功的关键。

综上，本文的方法论突破在于：将 Kosloff 等人用于 $\beta=1$ 的相对能量框架，通过交换子分解与 Li 的分数阶交换子估计（引理 3.1）推广至 $\beta > 1$ ；并深度融合 Elgindi–Widmayer 的色散衰减估计（命题 3.1）以量化 $\varepsilon$ -依赖性。三者缺一不可：无交换子分解则无法处理奇异性，无色散衰减则无法控制 $\varepsilon \to 0$ ，无相对能量则无法统一处理弱解与光滑解的比较。

4. 与之前工作的比较

本文与既有工作的差异体现在四个维度：奇异性范围、方法论适配性、收敛速率精度、以及物理极限的诠释深度。

奇异性范围的根本拓展：Kosloff–Niche–Planas（2019）[15] 仅处理 $\beta = 1$ （即经典 SQG）情形，其证明完全依赖黎兹变换 $$R$$ 的 $$L^p$$ 有界性（ $1<p<\infty$ ），该性质在 $\beta > 1$ 时彻底失效，因为 $u = R^\perp \Lambda^{\beta-1} \theta$ 的符号增长为 $|\xi|^{\beta-1}$ ，导致 $\|u\|_{L^p} \not\lesssim \|\theta\|_{L^p}$ 。本文首次将无粘–快旋极限理论推进至 $\beta \in (1,2)$ ，这是 gSQG 方程中最奇异的构型律区间（Chae–Constantin–Wu 2012 [4] 指出 $\beta \geq 1$ 时解的正则性急剧恶化），填补了该参数域的严格分析空白。

方法论的结构性升级：[15] 对非线性项的估计采用直接 $$L^p$$ 插值，而本文必须引入交换子分解（见 (4.4)–(4.5)）并调用 Li（2019）[17] 的分数阶交换子估计（引理 3.1），该估计将 $\| [\Lambda^s, g] f \|_{L^2}$ 控制于 $\|f\|_{L^2} \|\Lambda^s g\|_{\mathrm{BMO}}$ ，恰适合 $s = \beta-1 \in (0,1)$ 的情形。此工具此前未用于无粘极限问题，是本文的技术枢纽。此外，[15] 未利用色散衰减估计，其收敛性论证仅给出存在性，而本文通过命题 3.1 将 $\varepsilon$ -衰减显式嵌入误差界（如 $\sqrt{\varepsilon}\sqrt{\varepsilon + t}$ ），实现了定量刻画。

收敛速率与初值假设的代价：本文定理 2.1 的误差阶为 $O(\nu + \sqrt{\varepsilon})$ ，优于 [15] 的 $O(\nu + \varepsilon)$ （因后者未利用色散衰减）。但代价是初值正则性要求更高：[15] 仅需 $\phi_0 \in H^2$ ，而本文要求 $\phi_0 \in H^m$ 且 $m > 1+\beta$ （例如 $\beta=1.5$ 时需 $$m>2.5$$ ），并额外要求 $\nabla \phi_0 \in \dot{B}^{1+\beta}_{1,1}$ 以激活命题 3.1。此 $\dot{B}^{1+\beta}_{1,1}$ 条件是色散估计所必需的，反映了高频振荡对初值光滑性的敏感依赖。

中文标题: 具有次线性竞争耦合的临界 Brezis–Nirenberg 型薛定谔系统之分离型气泡解

摘要翻译: 我们在光滑有界区域 $Ω\subset\mathbb R^N$ （其中 $N\geq5$ ）上构造了一类两分量临界薛定谔系统（Brezis–Nirenberg 型）的分离型气泡解，该系统具有任意固定的竞争耦合常数 $$β<0$$ 。假设 Robin 函数存在两个互异的预设临界点，且每个临界点均满足局部度条件。则对任意充分小的 $$ε>0$$ ，该系统存在一个非负弱解，其两个分量均非平凡；每个分量具有单气泡剖面，并分别在其中一个预设点处集中；此外，每个分量在以另一集中点为中心的某个球内恒为零；若按自然气泡长度进行重标度，则该球半径趋于无穷大。

主要障碍在于 $p=N/(N-2)\in(1,2)$ ，故相互作用势 $(s,t)\mapsto |s|^p|t|^p$ 的梯度在某一成分消失而另一成分非零时不可微。因此标准的整体 Lyapunov–Schmidt 约化方法无法直接应用。我们首先变分地求解一个非线性外部问题；所得的死核（dead cores）消除了内层局域化区域中的跨分量耦合，从而可在该区域内施行投影临界约化；剩余的尺度与中心方程则借助 Brouwer 度理论求解。

16. 具有奇异熵势的Landau-de Gennes能量梯度流解的接触集

Contact set of solutions to gradient flow of Landau-de Gennes energy with a singular entropy potential

作者: Yuning Liu, Xiang Xu

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26354v1

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

摘要翻译

中文标题: 具有奇异熵势的Landau-de Gennes能量梯度流解的接触集

摘要翻译: 本文研究了具有各向异性Landau–de Gennes弹性能量和奇异熵势 $$f(Q)$$ 的 $$Q$$ -张量流的凸性结构及其接触集。该流自然具有强制性，从而对几乎每个时刻给出 $$f(Q)$$ 的 $$H^1$$ 正则性。结合该 $$H^1$$ 正则性、球面平均及容量理论，刻画了接触集

\mathcal{C}(Q)\triangleq \{x\mid f(Q(x))=\infty\}

。特别地，证明了在二维空间中该接触集为空集，而在三维空间中其Hausdorff维数至多为一。

不相关论文（基本信息）

1. 双曲平面中 horoconvex 区域上第一特征函数的对数凹性

Log-Concavity of the First Eigenfunction on Horoconvex Domains in the Hyperbolic Plane

作者: Xianzhe Dai, John M. Ennis, Xuan Hien Nguyen, Guofang Wei

类别: math.DG, math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27120v1

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

摘要: Let $Ω\subset\mathbb H^2$ be a bounded smooth horoconvex domain and let $$ψ_1>0$$ be its first Dirichlet eigenfunction. We prove that

\operatorname{Hess}_{\mathbb H^2}(-\logψ_1)>0

throughout $$Ω$$ , with no restriction on the diameter or the first eigenvalue. The proof is by contradiction. A degenerate Hessian would yield a shifted translation Killing derivative with a singular interior zero. Then the boundary-zero theorem of Grossi and Provenzano shows that the shifted Killing derivative has exactly two zeros on the boundary. A nodal-domain argument on the surface rules this out.

2. 超导性 London 方程的数值方法

Numerical approach to the London Equation of superconductivity

作者: Nicolás Barnafi, Ignacio Labarca-Figueroa, Carlos Román

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

发布日期: 2026-07-29

arXiv ID: 2607.27103v1

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

摘要: In this work, we propose a general discretization strategy for solving the London equation for type-II superconductors in the whole space $\mathbb{R}^3$ . To compute the magnetic field $$H_0$$ , we reformulate the problem for the magnetic potential as a transmission problem and discretize it through a nonstandard FEM-BEM coupling. This formulation accounts for both the bounded interior domain and the unbounded exterior domain without introducing an artificial truncation. We then compute the vector field $$B_0$$ , which arises from the Helmholtz-Hodge decomposition of the magnetic potential in the superconducting sample. This field enters the isoflux problem, which identifies the curves along which vortex nucleation first becomes energetically favorable in the Ginzburg–Landau model of superconductivity. We recast the equations for $$B_0$$ using the mixed formulation of Kikuchi, in which the divergence-free constraint is imposed weakly, and discretize the resulting problem using a classical $H(\operatorname{curl})$ -conforming finite element discretization. We validate our discretization strategy through convergence tests and conclude with an application to the isoflux problem. For a ball under a constant applied magnetic field, the unique maximizer is the diameter aligned with the field. For ellipsoids under a constant applied magnetic field aligned with their major axis, our computations provide numerical evidence of a different behavior in sufficiently elongated, cigar-shaped geometries: off-axis competitors reminiscent of U-shaped vortex configurations attain a larger isoflux ratio than the major axis. Since the major axis is therefore not a maximizer, any off-axis maximizer generates, by rotational symmetry, a continuous family of equivalent configurations, implying non-uniqueness and the presence of a degenerate rotational direction in the isoflux problem.

3. 调和映射在 ${\rm RCD}(K,N)$ 空间与 ${\rm CAT}(κ)$ 空间之间的 Lipschitz 连续性

Lipschitz continuity of harmonic maps between ${\rm RCD}(K,N)$ spaces and ${\rm CAT}(κ)$ spaces

作者: Luca Gennaioli

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.27010v1

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

摘要: We are going to prove that energy minimizing harmonic maps from a domain $$Ω$$ inside an ${\rm RCD}(K,N)$ whose image lies in a small ball inside a ${\rm CAT}(κ)$ space are locally Lipschitz continuous. This completes the picture concerning regularity of harmonic maps between singular spaces and justifies a variant of the Bochner-Eells-Sampson inequality between singular spaces.

4. 从厚子集出发的神经场可稳定化性

Stabilizability of neural fields from thick subsets

作者: Clemens Bombach, Marco Ragni

类别: math.OC, eess.SY, math.AP, math.DS, math.FA

发布日期: 2026-07-29

arXiv ID: 2607.26883v1

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

摘要: An important problem in neuro-engineering is the stabilization of neural fields. In applications, it is often assumed that the actuator placement can be chosen arbitrarily. In this work, we investigate the stabilizability of controlled Amari-type neural fields where the control input is prescribed to act only on a fixed subset of the neural field. We show that the linearized neural field is open-loop stabilizable under suitable assumptions on the interaction strength and a mild relative density assumption on the control set. Our geometric assumption requires that the volume of each cube intersected with the control set must be bounded below. As a consequence, we derive closed-loop stabilizability of the neural fields, under sensor/actuator placement constraints. Numerical simulations are used to illustrate the results and obtain empirical estimates on the control cost.

5. 一种基于Hamilton-Jacobi方法的时滞非局部扩散模型研究：应用于移动生境

A Hamilton-Jacobi Approach to Time-Delayed Nonlocal Diffusion Models in Shifting Habitats

作者: Bing-Er Jiang, King-Yeung Lam, Wan-Tong Li, Wen Tao

类别: math.AP

发布日期: 2026-07-29

arXiv ID: 2607.26459v1

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

摘要: This paper is concerned with the spatial propagation dynamics of time-delayed nonlocal diffusion equations in shifting habitats. We employ the theory of viscosity solutions for Hamilton-Jacobi equations to provide a complete classification of the spreading speeds. In particular, we derive variational formulas that explicitly characterize how these speeds depend on the decay rate of the initial data, the habitat shifting speed, and the maturation delay across three regimes: locally determined, nonlocally selected, and locked. We reveal a distinct directional asymmetry in the nonlocal selection mechanism and a novel delay-insensitivity phenomenon. We also establish the threshold conditions under which the habitat locking effect eliminates the classical decelerating role of time delay.

6. 量子图灵模式

Quantum Turing Patterns

作者: Kazuki Ikeda

类别: math-ph, cond-mat.stat-mech, math.AP, nlin.PS, quant-ph

发布日期: 2026-07-28

arXiv ID: 2607.26331v1

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

摘要: We construct quantum Turing patterns in Lindblad lattice dynamics and establish a rigorous theory of their nonlinear order and quantum fluctuations. For an explicit completely positive family with finite-range couplings, the first-moment equations undergo a supercritical instability at a nonzero wave number and admit analytic site- and bond-centered commensurate stripe branches. These branches are locally asymptotically stable in their reflection-fixed period-cell spaces, and projected coherent states exhibit extensive Bragg order on every bounded time interval in the semiclassical limit. We prove $O(N^{-1/2})$ convergence of microscopic covariances to a nonautonomous Gaussian Lyapunov flow, transferring strict partial-transpose uncertainty violations to sufficiently large $$N$$ . In the homogeneous Gaussian sector, a single dimensionless ratio controls both the Turing stability determinant and the logarithmic negativity of opposite momenta, relating wavelength selection directly to quantum entanglement. Differential transport shifts the strongest opposite-momentum correlations from the infrared to the selected Turing scale. Numerical continuation and two-dimensional simulations display stripe, spot, and labyrinth morphologies whose Fourier modes and fluctuation spectra concentrate at the same selected wave numbers.

7. 具有多个孤立奇点的Special Lagrangian子流形

Special Lagrangians with multiple isolated singularities

作者: Bryan Dimler, Filippo Gaia

类别: math.DG, math.AP

发布日期: 2026-07-28

arXiv ID: 2607.26302v1

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

摘要: We extend the Caffarelli-Hardt-Simon perturbation argument for truncated regular minimal cones to the special Lagrangian setting and prove a bridge principle for regular special Lagrangian cones in the spirit of Nathan Smale. Our bridge principle yields a general existence theorem for conically singular special Lagrangian submanifolds with prescribed regular tangent cones: for any finite list of such cones in $\mathbb{C}^m$ having the same Lagrangian angle and suitably arranged, there exists a connected special Lagrangian submanifold with boundary and isolated conical singularities whose tangent cones at its singularities are precisely the prescribed cones. In particular, we obtain new special Lagrangian submanifolds in $\mathbb{C}^m$ with multiple prescribed isolated conical singularities.

8. 平面 Dirichlet 谱中一致分离性的典型失效

Generic failure of uniform separation in planar Dirichlet spectra

作者: Vincent Boulard

类别: math.AP, math.SP

发布日期: 2026-07-28

arXiv ID: 2607.26224v1

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

摘要: Can a bounded planar domain have a simple Dirichlet spectrum with uniformly separated consecutive eigenvalues? Dimension two is critical: Weyl’s law permits both uniform separation and arbitrarily small gaps. We prove that uniform separation is nevertheless exceptional in a natural rough-domain setting, even after multiplicities are removed. Let $D\subset\mathbb{R}^2$ be a bounded domain and, for $\ell\geq 1$ , let $\mathcal{C}_\ell(D)$ be the space of nonempty connected open sets $Ω\subset D$ such that $\overline{D}\setminusΩ$ has at most $\ell$ connected components, endowed with the complementary-Hausdorff topology. We prove that $\mathcal{C}_\ell(D)$ is completely metrizable and Baire, and that smooth domains are dense in it. If $0<ν_1(Ω)<ν_2(Ω)<\cdots$ are the distinct Dirichlet eigenvalues, our main result states that

\left\{Ω\in\mathcal{C}_\ell(D):\inf_{m\geq 1}\bigl(ν_{m+1}(Ω)-ν_m(Ω)\bigr)=0\right\}

is residual. This statement requires no simplicity assumption. Combining it with our transfer of Micheletti’s classical generic-simplicity theorem to $\mathcal{C}_\ell(D)$ shows that a generic domain has simple spectrum and consecutive gaps with zero lower limit. The proof uses Šverák’s planar spectral continuity theorem and a local surgery that implants an arbitrarily high pair of close consecutive distinct eigenvalues.

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

1. 高维空间中余旋转调和映射热流稳定收缩子的存在性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 不可压流中的精确拉格朗日实现与鲁棒应变传感#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. Barenblatt-Sobolev-Galpern 伪抛物方程界面问题的积分表示#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 无反常耗散时弱Sard性质的失效#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 可压欧拉-RIESZ方程组在一般压强律下的有限能量解的非线性稳定性与不稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 关于一类非局部对流-扩散Hamer系统的衰减估计#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 非线性量子Fokker-Planck方程在平衡态附近#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

8. 色散型广义SQG方程的无粘与快速旋转极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 从振荡色散平面激波出发的大扰动下多维空间中解的 $L^2$ 收缩性#

摘要翻译#

2. 连续介质力学中强作用力的几何结构#

摘要翻译#

3. p-Green 函数在极点附近的估计#

摘要翻译#

4. 修正型与三次型广义KdV方程对粗糙初值的瞬时解析正则化#

摘要翻译#

5. 相对论热代价与特殊拉格朗日曲率方程的奇异剖面#

摘要翻译#

6. 球面上的分形Remez不等式与热方程的可观测性#

摘要翻译#

7. Grad-Shafranov 型方程的定性分支图#

摘要翻译#

8. Vlasov-Poisson 系统的库仑修正标记能量及其增长估计#

摘要翻译#

9. Vlasov–Poisson 系统的一个临界密度估计：能量守恒与动量传播#

摘要翻译#

10. 分数阶 Hardy 常数的 Galerkin 逼近#

摘要翻译#

11. 弱Harnack不等式与各向异性Trudinger方程的刚性#

摘要翻译#

12. 非负调和函数的变分估计#

摘要翻译#

13. 非线性动能型 Fokker–Planck 方程的条件式 hypo-coercivity#

摘要翻译#

14. 外势场中耗散周期光学波的动力学#

摘要翻译#

15. 具有次线性竞争耦合的临界 Brezis–Nirenberg 型薛定谔系统之分离型气泡解#

摘要翻译#

16. 具有奇异熵势的Landau-de Gennes能量梯度流解的接触集#

摘要翻译#

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

1. 双曲平面中 horoconvex 区域上第一特征函数的对数凹性#

2. 超导性 London 方程的数值方法#

3. 调和映射在 ${\rm RCD}(K,N)$ 空间与 ${\rm CAT}(κ)$ 空间之间的 Lipschitz 连续性#

4. 从厚子集出发的神经场可稳定化性#

5. 一种基于Hamilton-Jacobi方法的时滞非局部扩散模型研究：应用于移动生境#

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

1. 高维空间中余旋转调和映射热流稳定收缩子的存在性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 不可压流中的精确拉格朗日实现与鲁棒应变传感

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. Barenblatt-Sobolev-Galpern 伪抛物方程界面问题的积分表示

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 无反常耗散时弱Sard性质的失效

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 可压欧拉-RIESZ方程组在一般压强律下的有限能量解的非线性稳定性与不稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 关于一类非局部对流-扩散Hamer系统的衰减估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 非线性量子Fokker-Planck方程在平衡态附近

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

8. 色散型广义SQG方程的无粘与快速旋转极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 从振荡色散平面激波出发的大扰动下多维空间中解的 $$L^2$$ 收缩性

摘要翻译

2. 连续介质力学中强作用力的几何结构

摘要翻译

3. p-Green 函数在极点附近的估计

摘要翻译

4. 修正型与三次型广义KdV方程对粗糙初值的瞬时解析正则化

摘要翻译

5. 相对论热代价与特殊拉格朗日曲率方程的奇异剖面

摘要翻译

6. 球面上的分形Remez不等式与热方程的可观测性

摘要翻译

7. Grad-Shafranov 型方程的定性分支图

摘要翻译

8. Vlasov-Poisson 系统的库仑修正标记能量及其增长估计

摘要翻译

9. Vlasov–Poisson 系统的一个临界密度估计：能量守恒与动量传播

摘要翻译

10. 分数阶 Hardy 常数的 Galerkin 逼近

摘要翻译

11. 弱Harnack不等式与各向异性Trudinger方程的刚性

摘要翻译

12. 非负调和函数的变分估计

摘要翻译

13. 非线性动能型 Fokker–Planck 方程的条件式 hypo-coercivity

摘要翻译

14. 外势场中耗散周期光学波的动力学

摘要翻译

15. 具有次线性竞争耦合的临界 Brezis–Nirenberg 型薛定谔系统之分离型气泡解

摘要翻译

16. 具有奇异熵势的Landau-de Gennes能量梯度流解的接触集

摘要翻译

不相关论文（基本信息）

1. 双曲平面中 horoconvex 区域上第一特征函数的对数凹性

2. 超导性 London 方程的数值方法

3. 调和映射在 ${\rm RCD}(K,N)$ 空间与 ${\rm CAT}(κ)$ 空间之间的 Lipschitz 连续性

4. 从厚子集出发的神经场可稳定化性

5. 一种基于Hamilton-Jacobi方法的时滞非局部扩散模型研究：应用于移动生境