生成时间: 2026年08月17日 03:33:32

运行状态: 完成

计划处理论文数量: 25

已完成论文数量: 25

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 15

不相关论文数量: 4

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

1. 二维能量约束最优冷却问题中界限的优化

Optimizing bounds for energy-constrained optimal cooling problems in two dimensions

作者: Pedro Blöss Braga, Giovanni Fantuzzi

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

发布日期: 2026-08-14

arXiv ID: 2608.14334v1

摘要翻译: 我们研究具有冷边界和内部热源/汇的二维区域中不可压缩流体的最优控制问题。给定由无量纲佩克莱数 $ ext{Pe}$ 的平方度量的动能预算，目标是最大化与流体温度均方梯度成反比的冷却效率。利用拉格朗日对偶性，我们构建了一个适定的对偶问题，其解给出了最大冷却效率 $ ext{E}( ext{Pe})$ 的上界。随后，我们通过离散化获得收敛的半定规划层级，数值逼近该对偶问题。我们在正方形和圆环中的最优冷却问题上展示了这一计算方法，并解释了如何利用问题的对称性来降低计算复杂度。最后，我们构造了对偶问题的可行点，以获得关于最优冷却效率 $ ext{E}( ext{Pe})$ 的新解析上界。具体而言，我们证明了对于任意域和热分布，有 $ ext{E}( ext{Pe})

Comment: 26 pages, 7 figures, 1 table

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

1. 研究对象和背景

本文研究二维有界域内不可压缩流体的最优控制问题，具体场景为具有冷边界（温度固定为零）和内部热源/汇的几何区域。物理背景涉及热交换器设计等工程应用中的核心问题：如何在给定的动能预算下，通过控制流体速度场来最大化冷却效率。数学模型由稳态对流 - 扩散方程描述：

$$ \begin{cases} -\Delta T + u \cdot \nabla T = f & \text{在 } \Omega \text{ 内}, \\ T = 0 & \text{在 } \partial\Omega \text{ 上}. \end{cases} $$

其中 $u \in L^2(\Omega; \mathbb{R}^2)$ 是满足无穿透边界条件 $u \cdot \hat{n} = 0$ 且散度为零的速度场，$f \in H^{-1}(\Omega)$ 是给定的热源分布，$T$ 为温度场。\n\n问题的核心在于寻找最优速度场 $u$，使得在动能约束 $\|u\|_{L^2} \le \mathrm{Pe}$（其中 $\mathrm{Pe}$ 为无量纲佩克莱特数）下，最小化温度梯度的均方值 $J(\mathrm{Pe}) = \int_\Omega |\nabla T|^2 dx$。定义冷却效率为 $\mathcal{E}(\mathrm{Pe}) = \|f\|_{H^{-1}}^2 / J(\mathrm{Pe})$，该量衡量了相对于静止状态（$u=0$）的冷却性能提升倍数。\n\n尽管通过构造特定的局部最优流（如数值优化得到的对流卷）可以获得冷却效率的下界（已知在圆盘均匀加热下有 $\mathcal{E}(\mathrm{Pe}) \gtrsim \mathrm{Pe}$），但证明对所有可能流动的上界极其困难。现有理论中，对于能量约束下的圆盘冷却问题，已知的上界为 $\mathcal{E}(\mathrm{Pe}) \lesssim \mathrm{Pe}^2$，这与下界存在数量级上的差距。本文旨在填补这一空白：利用拉格朗日对偶性构建一个良定义的无穷维半定规划（SDP）对偶问题，通过数值离散化和解析构造可行点，推导出更紧致的解析上界，特别是针对圆盘和圆环区域的热源分布，试图将上界从 $\mathrm{Pe}^2$ 推进至 $\mathrm{Pe}^2 / \ln^2 \mathrm{Pe}$，从而缩小理论与数值结果之间的鸿沟。

2. 主要定理或主要结果

本文的主要贡献在于建立了一个基于拉格朗日对偶的框架，并从中导出了新的解析上界。\n\n1. 对偶问题的良定性：证明了原非凸最优控制问题 (OCP) 的拉格朗日对偶问题 (LDP) 存在唯一解。对偶问题定义为：

$$ L(\mathrm{Pe}) := \max_{a \in \mathbb{R}, \xi \in H^1_0(\Omega)} \left\{ \int_\Omega f\xi - \frac{1}{4}|\nabla \xi|^2 dx - a \right\} $$

受限于二次型 $Q(a, \xi)[\psi, \theta] = \int_\Omega a|\nabla \psi|^2 + |\nabla \theta|^2 - \mathrm{Pe}\, \xi \nabla^\perp \psi \cdot \nabla \theta dx \succeq 0$ 对所有测试函数成立。该对偶值 $L(\mathrm{Pe})$ 给出了原问题成本 $J(\mathrm{Pe})$ 的下界，进而给出效率 $\mathcal{E}(\mathrm{Pe})$ 的上界。\n\n2. 通用上界定理 (Theorem 2.4)：对于任意有界 Lipschitz 域 $\Omega$ 和任意热源分布 $f$，证明了如下效率上界：

$$ \mathcal{E}(\mathrm{Pe}) \le 1 + c^2 \mathrm{Pe}^2, \quad \forall \mathrm{Pe} \ge 0 $$

其中常数 $c = c(\Omega)$ 来源于 Sobolev 嵌入估计 $|\int_\Omega \xi \nabla^\perp \psi \cdot \nabla T dx| \le c(\Omega) \|\nabla \xi\|_{L^2} \|\nabla \psi\|_{L^2} \|\nabla T\|_{L^2}$。该结果推广了文献 [55] 中仅针对圆盘和大 $\mathrm{Pe}$ 情形的结论。\n\n3. 改进的对数修正上界 (Theorems 5.1 & 5.2)：当域 $\Omega$ 为圆盘或圆环，且热源分布 $f$ 在任何同心圆周上的方位角平均值严格为正时，证明了更紧致的上界：

$$ \mathcal{E}(\mathrm{Pe}) \le \frac{C}{\ln^2 \mathrm{Pe}} \mathrm{Pe}^2, \quad \forall \mathrm{Pe} > 0 $$

其中 $C$ 依赖于域和热源分布。特别地，当热源均匀 ($f=1$) 时该界限成立。这一结果显著改进了之前的 $\mathrm{Pe}^2$ 界限，使其与数值模拟观察到的 $\mathrm{Pe}$ 增长趋势更接近（尽管仍差一个 $\mathrm{Pe}$ 因子）。\n\n4. 数值收敛性 (Theorem 3.1)：证明了通过对无限维 SDP 进行伽辽金离散化得到的有限维半定规划序列，其最优值和最优解随网格分辨率增加而收敛到连续对偶问题的解。

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

本文的核心技术障碍在于原问题 (OCP) 的非凸性（源于双线性项 $u \cdot \nabla T$）以及直接处理无穷维约束的复杂性。作者的创新点在于显式构建了拉格朗日对偶问题，并将其转化为半定规划形式，从而结合了分析学的严谨性与数值优化的可计算性。\n\n1. 流函数重参数化与对偶推导：首先引入流函数 $\psi$ 将速度场表示为 $u = \mathrm{Pe} \nabla^\perp \psi$，将问题转化为关于标量场的优化。接着，通过引入拉格朗日乘子 $\xi$（对应于对流 - 扩散方程的约束）和 $a$（对应于动能约束），构建了拉格朗日泛函。关键步骤在于对温度场 $T$ 进行精确的内层极小化，利用欧拉 - 拉格朗日方程消去 $T$，并利用逆拉普拉斯算子的性质将非线性项转化为二次型约束。这一步骤将原非凸问题转化为关于 $(a, \xi)$ 的凸极大化问题，其中约束条件是二次型 $Q(a, \xi)$ 的正半定性。\n\n2. 无穷维半定规划的构造与分析：对偶问题 (LDP) 本质上是一个无穷维半定规划。证明的关键在于处理二次型 $Q(a, \xi)$ 的正定性条件。作者利用了 Jacobian 行列式的积分估计（式 2.4）来控制交叉项 $\xi \nabla^\perp \psi \cdot \nabla T$，确保了泛函的良定义性。此外，为了证明对偶问题的解存在且唯一，作者利用了目标函数的严格凹性和约束集合的弱上半连续性，结合 Poincaré 不等式和 Young 不等式建立了有界性估计。\n\n3. 平衡二次型与解析界限构造：为了获得解析上界，作者引入了“平衡”二次型 $Q'$（式 2.6），通过变量代换将参数 $a$ 归一化为平方项。在证明通用上界时，作者构造了一个具体的可行点 $(a, \xi)$，选取 $\xi$ 为 $-2\Delta^{-1}f / (1+c^2\mathrm{Pe}^2)$，并验证其满足正定性条件，从而直接计算出 $L(\mathrm{Pe})$ 的下界。在证明对数修正上界时，这种构造更为精细，依赖于域的几何对称性和热源分布的方位角平均性质，通过特定的试函数构造出能捕捉到 $\ln \mathrm{Pe}$ 效应的对偶变量。\n\n4. 数值离散化与收敛性证明：对于数值部分，作者采用了通用的共形伽辽金离散方案（如伪谱法或有限元法）。证明收敛性的难点在于对偶问题的约束是无限维的（要求对所有测试函数成立）。作者通过假设子空间序列具有恢复序列性质（Assumption 3.1），即能在离散空间中逼近任意 $H^1$ 函数，证明了离散问题的最优值收敛到连续问题的最优值。这依赖于对二次型约束的弱下半连续性分析以及目标函数的弱上半连续性。

4. 与之前工作的比较

本文与既有文献（特别是 [55], [36], [50] 等）相比，在方法论和结果精度上均有显著推进。\n\n1. 方法论的显式化与计算化：既往工作虽然隐含使用了类似对偶论证的背景方法（Background Method）或变分原理，但往往停留在启发式解释或难以计算的解析构造层面。例如，[55] 中提到的 $\mathrm{Pe}^2$ 上界是通过特定构造获得的，但未明确其对偶结构。本文首次显式地将最优冷却问题的拉格朗日对偶写成一个良定义的无穷维半定规划，并证明了其可以通过有限维 SDP 序列任意精度逼近。这种“先对偶后离散”的策略优于传统的“先离散后对偶”，因为它保证了数值解收敛于理论上的最佳对偶界，且允许同时获得解析界。\n\n2. 上界精度的改进：在适用范围上，本文的结果不仅适用于圆盘，还推广到了任意 Lipschitz 域（通用 $\mathrm{Pe}^2$ 界）。更重要的是，针对圆盘和圆环这一经典情形，本文打破了长期存在的 $\mathrm{Pe}^2$ 瓶颈，证明了在对数修正下 $\mathcal{E}(\mathrm{Pe}) \lesssim \mathrm{Pe}^2 / \ln^2 \mathrm{Pe}$。这一改进虽然在增长率上仍未达到数值模拟暗示的 $\mathrm{Pe}$ 阶，但极大地缩小了理论上下界的差距（从 $\mathrm{Pe}$ 到 $\mathrm{Pe}^2$ 缩小为 $\mathrm{Pe}$ 到 $\mathrm{Pe}^2/\ln^2\mathrm{Pe}$）。相比之下，[55] 仅给出了 $\mathrm{Pe}^2$ 界，且未包含对数修正项。\n\n3. 假设条件的差异与代价：本文的对数修正上界需要额外的几何和物理假设：域必须是圆盘或圆环，且热源分布必须在每个圆周上有正的方位角平均值。这是为了利用径向对称性构造特定的试函数。如果热源分布不满足此条件（例如高度不对称），则只能回到通用的 $\mathrm{Pe}^2$ 界。相比之下，[55] 中的某些结果可能适用于更广泛的非对称情况，但代价是界限较松。本文的方法在处理对称问题时展现了更强的威力，而在非对称问题上保持了与最先进结果相当的通用性。\n\n4. 时间尺度与动态扩展：值得注意的是，[55] 的部分结果（特别是下界）是针对时间依赖问题的，而本文主要聚焦于稳态问题。作者推测其建立的通用上界框架（Theorem 2.4）可能也适用于时间依赖情形，但这需要未来的工作进一步验证。本文的贡献在于提供了一个统一的静态分析框架，该框架能够无缝衔接数值优化工具，为未来探索动态问题提供了新的分析路径。

2. $L^p$ 二维区域中涡斑的稳定性

$L^p$ Stability of Vortex Patches in Two Dimensional Domains

作者: Zelin Dong

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.13998v1

摘要翻译: 本文研究了二维不可压缩欧拉方程中涡斑的轨道稳定性，将 Abe 和 Choi \cite{abe2022stability} 为 Lamb 偶极子开创的惩罚能量变分框架推广至更一般情形。Abe、Choi 和 Jeong \cite{Abe2025StabilityOL}（去除了 $L^1$ 约束）以及 Dong 和 Luo \cite{Dong2026StabilityOV}（处理缺乏缩放或平移不变性的区域）的最新工作，留下了在二维区域上建立统一的 $L^p$ 稳定性理论的挑战，而无需对任意先验 $L^1$ 或 $L^p$ 界作假设。我们在三个典型的二维区域上建立了统一的 $L^p$ 稳定性理论：这些区域包括半平面、任意宽度的带状区域，以及满足弱有限体积条件的区域。对于每个区域，我们证明了对于合适的 $p$，惩罚能量泛函存在最小值点，且每个此类最小值点均满足椭圆方程 $ω^{p-1} = λ(ψ- W x_2)_+$。此外，我们表明该最小值点集在欧拉动力学下是轨道稳定的。由于空间缩放和水平平移不变性的缺失，我们需要新的策略：在带状区域上，我们改进集中紧性论证以证明严格次可加性；在弱有限体积区域上，我们通过利用区域的固有衰减速率 $q$ 来强制紧性，从而绕过对次可加性的需求。本工作综合了 \cite{abe2022stability}、\cite{Abe2025StabilityOL}、\cite{abe2025existence} 和 \cite{Dong2026StabilityOV} 的方法，构建了一个全面的框架，显著扩展了可证稳定涡结构的范围。

Comment: 无

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

1. 研究对象和背景

本文的研究对象为二维不可压缩欧拉方程（2D incompressible Euler equations）在固定区域 $\Omega \subseteq \mathbb{R}^2_+$ 上的涡旋片（vortex patches）的轨道稳定性问题。该方程在涡度形式下描述如下：

$$ \partial_t \omega + u \cdot \nabla \omega = 0, \quad \omega(x, 0) = \omega_0(x), $$

其中 $\omega$ 为涡度，速度场 $u$ 满足滑移边界条件 $u \cdot N = 0$（$N$ 为外法向），并通过 Biot-Savart 定律由涡度恢复：

$$ u(x, t) = \nabla^\perp \psi(x, t) = \nabla^\perp \int_\Omega G(x, y) \omega(y, t) dy, $$

这里 $G(x, y)$ 是区域 $\Omega$ 上 Dirichlet 问题的 Green 函数，$\psi$ 为流函数。

涡旋片是指初始涡度为特征函数的解，即 $\omega_0 = \chi_{A}$，其中 $A \subset \Omega$ 是一个有界区域。这类解在物理上对应于具有清晰边界的涡团，其长期演化行为是流体力学中的经典难题。尽管在一般区域或光滑初值下，涡度梯度可能呈现双指数增长（如 Nadirashvili, Alexander, Šverák [17] 在圆盘中的构造；Zlatoš [22] 在环面上的结果；Xu [21] 在对称域中的工作），但在特定几何构型下，某些特殊结构（如 Lamb 偶极子、Sadovskii 涡旋等）被证明是稳定的。

已有的理论背景主要基于变分方法。Abe 和 Choi [1] 在半平面 $\mathbb{R}^2_+$ 上通过最小化惩罚能量泛函证明了 Lamb 偶极子的稳定性，但要求涡度满足 $L^1$ 约束。随后，Abe, Choi 和 Jeong [2] 去除了 $L^1$ 约束，但仍局限于 $L^2$ 空间。Dong 和 Luo [9] 进一步将研究推广至缺乏缩放或平移不变性的区域（如条带和弱有限体积区域），解决了定义域的限制问题，但未实现统一的 $L^p$ 稳定性理论，且仍依赖先验的 $L^1$ 上界。

本文试图填补的关键空白在于：在三个典型二维区域（半平面、任意宽度的条带、满足弱有限体积条件的区域）上，建立一套无需任何先验 $L^1$ 或 $L^p$ 约束的统一 $L^p$ 稳定性理论。具体而言，作者希望证明对于合适的 $p$，惩罚能量泛函存在极小元，且这些极小元满足椭圆方程 $\omega^{p-1} = \lambda(\psi - W x_2)_+$，并在欧拉动力学下具有轨道稳定性。这一工作的核心挑战在于处理不同几何区域下缺失的齐次性、缩放不变性和平移不变性，从而突破以往研究的参数限制和空间假设。

2. 主要定理或主要结果

本文建立了在三个典型二维区域上的统一 $L^p$ 稳定性理论，主要结果如下：

定理 1.4（极小元的存在性与紧性）：设 $\Omega$ 为以下三种区域之一：

  1. 半平面 $\mathbb{R}^2_+$，当 $p > 4/3$ 且 $\mu, \lambda > 0$ 时；
  2. 条带 $S = \mathbb{R} \times (0, L)$，当 $p > 2$ 且 $\mu, \lambda > 0$，或 $p = 2$ 且 $\mu > 0, \lambda > 2\pi^4/L^2$ 时；
  3. 弱有限体积区域 $D$，当 $q \in [0, 2]$ 且 $p > 4/3$，或 $q \in (2, 4)$ 且 $4/3 < p \le q/(q-1)$ 时。

对于任何满足 $\omega_n \in K_{\mu_n}$，$\mu_n \to \mu$，且 $-E_{p,\lambda}[\omega_n] \to I_{\mu,\lambda}$ 的极小化序列，存在子列（仍记为 $\{\omega_n\}$）使得 $\omega \in K_\mu$，$\omega_n \to \omega$ 强收敛于 $L^p(\Omega)$ 和 $L^1(\Omega)$（加权意义下 $x_2\omega_n \to x_2\omega$）。特别地，极小元集合 $S_{\mu,\lambda} \neq \emptyset$。

定理 1.5（轨道稳定性）：在定理 1.4 的假设下，极小元集合 $S_{\mu,\lambda}$ 在欧拉动力学下是轨道稳定的。即对任意 $\epsilon > 0$，存在 $\delta > 0$，使得对所有 $\xi_0 \in C_c^\infty(\Omega)$，$x_2\xi_0 \in L^1(\Omega)$，$\xi_0 \ge 0$ 且满足

$$ \inf_{\omega \in S_{\mu,\lambda}(p)} \left\{ \|\xi_0 - \omega\|_p + \|x_2(\xi_0 - \omega)\|_1 \right\} \le \delta, $$

其对应的解 $\xi(t)$ 在寿命区间 $[0, T_{\text{lifespan}})$ 内满足

$$ \inf_{\omega \in S_{\mu,\lambda}(p)} \left\{ \|\xi(t) - \omega\|_p + \|x_2(\xi(t) - \omega)\|_1 \right\} \le \epsilon. $$

此外，对于区域 $D$，若附加 $L^1$ 约束（见附录 A），则可获得对所有 $q \ge 0$ 和 $p > 1$ 的稳定性结果（定理 1.7）。

所有极小元均满足椭圆方程：

$$ \omega^{p-1} = \lambda(\psi - W x_2)_+, $$

其中 $(\cdot)_+$ 表示正部，$W$ 为常数，$\psi$ 为流函数。

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

证明的核心障碍在于移除先验 $L^1$ 或 $L^p$ 约束后，极小化序列在 $L^p$ 空间中可能失去紧性，以及由于区域几何特性导致的齐次性、缩放不变性和平移不变性丧失。作者的创新点体现在针对不同区域采用差异化的分析策略：

1. 控制动能与 $L^p$ 上界（针对 $p > 4/3$）：在无 $L^1$ 约束下，作者利用 Hölder 不等式和能量估计（命题 2.1）导出极小化序列的 $L^p$ 一致有界性。关键不等式为：

$$ E[\omega] \le C \|x_2\omega\|_1^{\frac{4p-4}{3p-2}} \|\omega\|_p^{\frac{2p}{3p-2}}. $$

结合惩罚项 $-\frac{1}{p\lambda}\|\omega\|_p^p$，当 $I_{\mu,\lambda} < 0$ 且 $p > 4/3$ 时，可推得

$$ \|\omega\|_p^p \le C \lambda^{\frac{3p-2}{3p-4}} \|x_2\omega\|_1^{\frac{4p-4}{3p-4}} - 2p\lambda E_{p,\lambda}[\omega], $$

从而保证极小化序列在 $L^p$ 中有界。临界阈值 $p = 4/3$ 源于此估计的最优性，难以进一步突破。

2. 严格次加性（Strict Subadditivity）的证明：这是应用 Lions 紧性原理排除二岔（dichotomy）情形的关键。在半平面情形，利用缩放不变性将 $I_{\mu,\lambda}$ 转化为 $I_{1,\lambda}$ 的倍数；在条带情形，由于缺乏缩放不变性，作者改进了集中紧性论证：首先选取合适的 $(\mu, \lambda)$ 范围使 $I_{\mu,\lambda} < 0$ 且 $\lambda$ 的下界独立于 $\mu$；其次研究极小元的紧支集性质；再利用 Steiner 对称化聚焦于一类候选函数，分析动能在弱收敛下的连续性；最终结合紧支集性质证明严格次加性。

3. 弱有限体积区域的紧性构造：对于区域 $D$，由于既无缩放也无水平平移不变性，传统集中紧性方法失效。作者转而利用区域本身的衰减率 $q$（定义见式 (1.6)）来强制紧性。当 $q \in [0, 2]$ 时，对任意 $p > 4/3$，极小化序列自动紧；当 $q \in (2, 4)$ 时，仅当 $p \in (4/3, q/(q-1)]$ 时可保证紧性与稳定性。这一策略避免了次加性要求，是本文对 Dong-Luo [9] 方法的重大推进。

4. 能量泛函的负性与连续性：通过构造测试函数 $\omega_0 = c_0 \chi_K$（$K \subset \Omega$ 有界），证明存在 $\lambda_{K,\mu}$ 使得当 $\lambda > \lambda_{K,\mu}$ 时 $I_{\mu,\lambda} < 0$（命题 2.2）。同时，利用 $L^p$ 有界性证明映射 $\mu \mapsto I_{\mu,\lambda}$ 连续（命题 2.5），这对排除二岔情形至关重要。

整体框架融合了 Abe-Choi [1]、Abe-Choi-Jeong [2]、Abe-Choi-Jeong-Sim-Woo [3] 和 Dong-Luo [9] 的方法，形成了适用于多种几何结构的统一分析体系。

4. 与之前工作的比较

本文与既有文献相比，在多个维度实现了显著推进：

1. 从 $L^2$ 到 $L^p$ 的推广：Abe 和 Choi [1] 及 Abe, Choi, Jeong [2] 的工作集中于 $L^2$ 稳定性，且前者要求 $L^1$ 约束。本文将其推广至 $L^p$ 空间，证明了对 $p > 4/3$（半平面）、$p \ge 2$（条带）等更广泛参数的稳定性。这扩展了稳定涡旋结构的适用范围，揭示了更高阶范数下的动力学行为。

2. 去除 $L^1$ 约束：Abe, Choi, Jeong [2] 虽然去除了 $L^1$ 约束，但仍受限于 $L^2$ 设定；Dong 和 Luo [9] 虽处理了非不变性区域，却仍需先验 $L^1$ 上界。本文彻底移除了这两类约束，实现了真正的“无先验界” $L^p$ 稳定性理论，这是对变分方法的重要完善。

3. 几何适用范围的扩大：既往工作多局限于半平面或需特定对称性。本文将理论拓展至条带（任意宽度）和弱有限体积区域（包括有界域、周期域、光滑/非光滑边界域等），并明确给出了不同区域下参数 $p$ 与几何衰减率 $q$ 的精确关系（如 $p \le q/(q-1)$）。这显著提升了理论的普适性。

4. 技术代价与局限：推广 $L^p$ 带来了新的技术代价。首先，临界指数 $p = 4/3$ 成为硬性门槛，无法像 $L^2$ 那样自由处理；其次，在非不变性区域（如条带和 $D$），必须引入复杂的辅助论证（如 Steiner 对称化、衰减率分析），且稳定性范围依赖于 $q$，导致 $p \ge 4$ 时在 $q > 2$ 情形下结论失效。此外，附录 A 中为获得全 $q$ 和全 $p>1$ 稳定性而重新引入 $L^1$ 约束，表明完全无约束的全局稳定性在当前框架下仍难以实现。

5. 与 Sadovskii 涡旋等特例的比较：Abe, Choi, Jeong, Sim, Woo [3] 研究了动能极大化问题，其稳定性性质与本文略有不同（后者基于惩罚能量最小化）。本文不仅涵盖了此类结构，还明确了其与 $L^p$ 变分框架的内在联系，提供了更统一的视角。

总体而言，本文通过精细的参数分析和几何适配，成功构建了一个覆盖多种典型二维区域的 $L^p$ 稳定性理论框架，尽管在某些极端参数下仍存在局限，但已大幅推进了该领域的认知边界。

3. 正温度下简化Hartree-Fock理论的半经典极限

A semiclassical limit of reduced Hartree-Fock theory at positive temperature

作者: Dominic Shillingford

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

发布日期: 2026-08-14

arXiv ID: 2608.14436v1

摘要翻译: 我们证明了正温度下的简化Hartree-Fock大势在半经典极限下收敛于Thomas-Fermi大势。具体而言，针对一类一般的费米子熵函数，我们提出了该极限泛函的密度-势能对偶表示。相应的对偶问题不存在对偶间隙并存在极大值点。所得大势在温度趋于零时收敛于已知的零温度大势；对于Fermi-Dirac熵，其与标准的正温度Thomas-Fermi自由能泛函一致。该证明还建立了一个半经典迹公式，该公式在满足共同约束条件的局部预紧势能族上一致成立。

Comment: 28 pages

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

1. 研究对象和背景

本文的研究对象是量子多体系统中费米子在有限温度下的统计力学行为，具体聚焦于约化哈特里-福克（reduced Hartree-Fock, rHF）理论与托马斯-费米（Thomas-Fermi, TF）模型之间的渐近关系。在零温极限下，李布和西蒙（Lieb and Simon）等人已严格建立了全哈特里-福克能量与托马斯-费米能量在大原子极限（heavy-atom limit）或平均场极限（mean-field scaling）下的等价性，即当电子数 $n \to \infty$ 时，$e_{\text{HF}}^n \equiv e_{\text{rHF}}^n \equiv e_{\text{TF}}^n \pmod{o(n^{5/3})}$。

然而，对于正温度情形，物理文献中广泛使用的托马斯-费米自由能泛函缺乏严格的数学基础，特别是针对一般形式的费米子熵函数（fermionic entropy functions）。本文试图填补这一空白：在巨正则系综（grand canonical ensemble）框架下，考虑逆温度 $\beta > 0$ 和化学势 $\zeta \in \mathbb{R}$，研究约化哈特里-福克巨势（grand potential）$\Omega_{\text{rHF}}$ 在半经典极限（semiclassical limit）下的收敛性。半经典极限通常对应于普朗克常数 $\hbar \to 0$ 或粒子数 $n \to \infty$ 的缩放。

具体的模型设定如下： 系统由哈密顿量 $H_\kappa = -\kappa^2 \Delta + v(\hat{x})$ 描述，其中 $\kappa$ 为半经典参数（对应 $\hbar$），$v(x)$ 为外势。系统的状态由密度算子 $\gamma \in \text{DO}(H)$ 描述，满足 $0 \le \gamma \le 1$ 且 $\text{Tr}\,\gamma < \infty$。约化哈特里-福克巨势定义为：

$$ \Omega_{\text{rHF}, \kappa}(\gamma; \zeta, \beta) = \text{Tr}(H_\kappa - \zeta)\gamma - \beta^{-1} \text{Tr}\, s(\gamma) + \frac{\kappa^3}{2} \langle \rho_\gamma, \rho_\gamma \rangle_w, $$

其中 $s: [0,1] \to \mathbb{R}$ 是连续的凹函数，表示费米子的熵密度（如费米-狄拉克熵 $s(r) = -r\log r - (1-r)\log(1-r)$），$\rho_\gamma(x)$ 是对应的空间密度，$w$ 是两体相互作用势。相应的变分问题为求极小值：

$$ \Omega_{\text{rHF}, \kappa}(\zeta, \beta) = \inf_{\gamma \in \text{DO}_{H_\kappa}(H)} \Omega_{\text{rHF}, \kappa}(\gamma; \zeta, \beta). $$

与之对应的托马斯-费米巨势泛函 $\Omega_{\text{TF}}(\rho; \zeta, \beta)$ 通过密度-电势对偶形式定义：

$$ \Omega_{\text{TF}}(\rho; \zeta, \beta) = \frac{1}{2}\langle \rho, \rho \rangle_w + \sup_{\mu \in L^\infty(\mathbb{R}^3)} \left[ \frac{\beta^{-1}}{(2\pi)^3} \iint s^*(\beta(|p|^2 + v(x) + \mu(x) - \z)) dxdp - \langle \mu, \rho \rangle \right], $$

其中 $s^*$ 是 $s$ 的共轭函数。本文的核心问题是证明当 $\kappa \to 0$ 时，缩放后的 $\kappa^3 \Omega_{\text{rHF}, \kappa}$ 收敛到 $\Omega_{\text{TF}}$，并建立两者在势函数层面的强收敛关系。这不仅是推广了零温结果，更关键的是处理了有限温度下熵项带来的非紧性挑战，以及一般熵函数导致的“质量临界”（mass critical）或“能量临界”（energy critical）现象，这些现象在标准费米-狄拉克分布中不存在，但在广义熵下可能导致粒子数或能量无法被有效控制的困难。

2. 主要定理或主要结果

本文证明了以下主要定理，涵盖了半经典极限的收敛性、对偶表示的存在性以及零温极限的一致性：

定理 1 (半经典极限)：固定 $\beta > 0$ 和 $\zeta \in \mathbb{R}$。设外势 $v \in L^{5/2}_{\text{loc}}(\mathbb{R}^3)$ 为限制性势（confining，即 $|x|\to\infty$ 时 $v(x)\to\infty$），相互作用势 $w \in \mathcal{S}(\mathbb{R}^3)$ 为偶函数、排斥且正定（positive type）。设熵函数 $s: [0,1] \to \mathbb{R}$ 连续凹，满足 $s^* \in C^2(\mathbb{R})$，且满足相容性条件：

$$ \iint s^*(\beta(|p|^2 + v(x) - \z)) dxdp > -\infty. $$

则托马斯-费米巨势 $\Omega_{\text{TF}}(\zeta, \beta)$ 有限，且存在以下两种等价的表述： (a) 平均场表述：令 $\beta_n = n^{-2/3}\beta$, $\zeta_n = n^{2/3}\zeta$, $v_n = n^{2/3}v$, $w_n = n^{-1/3}w$。约化哈特里-福克巨势满足：

$$ n^{-5/3} \Omega_{\text{rHF}}(\zeta_n, \beta_n) \to \Omega_{\text{TF}}(\zeta, \beta) \quad (n \to \infty). $$

(b) 半经典表述：令 $H_\kappa = -\kappa^2 \Delta + v(\hat{x})$。缩放后的约化哈特里-福克巨势满足：

$$ \kappa^3 \Omega_{\text{rHF}, \kappa}(\zeta, \beta) \to \Omega_{\text{TF}}(\zeta, \beta) \quad (\kappa \to 0). $$

此外，若 $\mu_{\text{rHF}, \kappa}$ 和 $\mu_{\text{TF}}$ 分别为约化哈特里-福克问题和托马斯-费米问题的平均场势（Lagrange乘子），则存在强收敛：

$$ \mu_{\text{rHF}, \kappa} \xrightarrow{\kappa \to 0} \mu_{\text{TF}} \quad \text{in } H^\sigma(\mathbb{R}^3), \forall \sigma \ge 0. $$

定理 2 (零温一致性)：在相同假设下，当温度趋于零（$\beta \to \infty$）时，正温度托马斯-费米巨势收敛到零温情形：

$$ \Omega_{\text{TF}}(\zeta, \beta) \xrightarrow{\beta \to \infty} \omega_{\text{TF}}(\zeta), $$

其中 $\omega_{\text{TF}}$ 是 Nguyen 定义的零温托马斯-费米基态能量泛函。

定理 3 (费米-狄拉克熵的特殊性)：当 $s$ 取标准的费米-狄拉克熵 $s(r) = -r\log r - (1-r)\log(1-r)$ 时，上述泛函 $\Omega_{\text{TF}}(\zeta, \beta)$ 与 Lewin, Madsen 和 Triay 定义的基于隐式方程的自由能泛函完全一致。此时，$\Omega_{\text{TF}}$ 可显式写为：

$$ \Omega_{\text{TF}}(\zeta, \beta) = \inf_{\rho \ge 0} \int f^*(\rho(x)) + [v(x)-\z]\rho(x) dx + \frac{1}{2}\langle \rho, \rho \rangle_w, $$

其中 $f^*$ 由费米-狄拉克分布的热力学关系给出。

技术细节：

  • 误差阶：收敛是无误差的极限过程，但在证明过程中利用了 Riesz 均值（Riesz means）的半经典展开，其误差项隐含在迹公式的均匀性中。
  • 尺度关系：平均场缩放中，动能、势能、相互作用能和熵项均按 $n^{5/3}$ 缩放；半经典缩放中，总能量按 $\kappa^{-3}$ 缩放。
  • 函数空间：势函数 $v$ 属于 $L^{5/2}_{\text{loc}}$，密度 $\rho$ 属于 $L^1$，势函数 $\mu$ 属于 $L^\infty$ 或索伯列夫空间 $H^\sigma$。

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

本文证明的核心障碍在于有限温度下熵项 $\text{Tr}\, s(\gamma)$ 的引入破坏了传统的紧性论证，特别是在广义熵函数下，可能出现“质量临界”或“能量临界”系统，导致无法直接控制粒子数或能量的有界性。作者的创新点在于构建了一个不依赖于传统紧性假设的分析框架，结合了密度-电势对偶性和半经典迹公式的均匀估计。

1. 密度-电势对偶表示与无间隙性 作者首先定义了托马斯-费米巨势的对偶形式。利用 Fenchel 不等式 $\lambda \gamma - s(\gamma) \ge s^*(\lambda)$，将关于密度算子 $\gamma$ 的无穷维变分问题转化为关于辅助势函数 $\mu$ 的极大化问题。具体地，定义了双线性泛函：

$$ \Omega_{\text{LL}, \kappa}(\rho, \mu) = \text{Tr}\, s^*(H_\kappa + \mu(\hat{x})) + \frac{\kappa^3}{2}\langle \rho, \rho \rangle_w - \langle \mu, \rho \rangle. $$

证明了该泛函满足无对偶间隙（no duality gap）性质，即原问题的极小值等于对偶问题的极大值：

$$ \Omega_{\text{rHF}, \kappa} = \sup_{\mu} \inf_{\rho} \Omega_{\text{LL}, \kappa}(\rho, \mu) = \sup_{\mu} \Omega_{\text{LL}, \kappa}(\mu). $$

这一转化至关重要，因为它将复杂的算子约束问题简化为关于标量势函数的优化问题，使得分析重心转移到势函数 $\mu$ 的性质上。

2. 半经典迹公式的均匀性估计 证明的关键步骤在于建立以下收敛：

$$ \kappa^3 \text{Tr}\, s^*(H_\kappa + \mu(\hat{x})) \to \frac{1}{(2\pi)^3} \iint s^*(|p|^2 + v(x) + \mu(x)) dxdp \quad (\kappa \to 0). $$

为了处理 $\mu$ 随 $\kappa$ 变化的情况（即 $\mu_{\text{rHF}, \kappa}$），作者没有直接使用逐点收敛，而是利用了 Riesz 均值的半经典收敛理论。通过分解：

$$ \text{Tr}\, s^*(H_\kappa + \mu) = \int s''_*(t) \text{Tr}(H_\kappa + \mu - t)_- dt, $$

将问题归结为特征值计数函数的收敛。为了证明这种收敛在 $\mu$ 变化时依然成立，作者证明了势函数族 $\{v + \mu_{\text{rHF}, \kappa}\}$ 在局部 $L^{5/2}$ 范数下是相对紧致的（relatively compact）。

3. 紧性论证与 Rellich-Kondrashov 定理 这是处理有限温度特殊性的核心。作者利用引理证明了 $\mu_{\text{rHF}, \kappa}$ 在 $H^1(\mathbb{R}^3)$ 中的有界性（甚至更高阶索伯列夫空间），即使在没有明确的质量控制的情况下。具体地，通过能量估计：

$$ \|\mu_{\text{rHF}, \kappa}\|_{H^1}^2 \lesssim -\frac{1}{(2\pi)^3} \iint s^*(|p|^2 + v(x)) dxdp. $$

这一不等式表明，尽管熵函数可能很奇异，但 $s^*$ 的积分性质保证了势函数的正则性。随后，利用 Rellich-Kondrashov 紧嵌入定理，得出 $\mu_{\text{rHF}, \kappa}$ 在任意紧集 $K$ 上的 $L^{5/2}(K)$ 相对紧致性。这使得可以应用半经典极限的统一迹公式。

4. 凸性与唯一性 最后，作者利用 $\mu \mapsto \Omega_{\text{TF}}(\mu)$ 的强凹性（strong concavity），结合傅里叶变换技巧，证明了 $\hat{\mu}_{\text{rHF}, \kappa}$ 与 $\hat{\mu}_{\text{TF}}$ 在加权 $L^2$ 范数下的收敛：

$$ \int |\hat{\mu}_{\text{rHF}, \kappa}(k) - \hat{\mu}_{\text{TF}}(k)|^2 \hat{w}(k)^{-1} dk \to 0. $$

由于 $\hat{w}^{-1}$ 在低频处的行为可控，这进一步导出了 $H^\sigma$ 空间的强收敛。这一部分巧妙地避开了直接处理密度算子 $\gamma$ 的非紧性，转而通过势函数的稳定性来锁定极限行为。

4. 与之前工作的比较

本文与既有 PDE 与分析理论文献相比，在以下几个方面取得了显著推进：

1. 从全熵函数推广至一般费米子熵 既往工作主要集中在标准的费米-狄拉克熵（Fermi-Dirac entropy），例如 Narnhofer 和 Thirring 在重原子极限下的工作，以及 Lewin, Madsen 和 Triay 在耦合平均场与半经典极限中的研究。这些工作依赖于费米-狄拉克分布特有的指数衰减性质（$s^*(h) \sim -e^{-h}$），从而保证了在任何温度下都能获得良好的紧性和能量控制。 本文突破了这一限制，考虑了一类一般的凹熵函数 $s$。作者明确指出，对于某些广义熵（如 Tsallis 熵或其他非广延熵），系统可能处于“质量临界”或“能量临界”状态，即 $\text{Tr}\, s^*(\beta(H-\zeta-\epsilon))$ 仅在 $\epsilon=0$ 时有界。在这种临界情况下，传统的粒子数或能量控制失效。本文的证明框架不依赖于非临界性假设，而是通过势函数的 $H^1$ 正则性和对偶性直接处理了这一难题，这在之前的文献中从未被解决。

2. 正温度巨势的严格对偶 formulation 虽然物理学界长期研究正温度下的托马斯-费米理论，但在数学上，针对一般熵函数的巨势泛函缺乏严格的定义和分析。Nguyen 在零温下建立了约化哈特里-福克与托马斯-费米的联系，但未处理有限温度的一般熵情形。Lewin 等人虽然在费米-狄拉克熵下研究了自由能，但其推导依赖于特定的热力学恒等式。 本文首次提出了基于密度-电势对偶表示（density-potential dual representation）的通用托马斯-费米巨势泛函（公式 15），并严格证明了该泛函在无对偶间隙条件下存在最大值。这一表述不仅统一了零温极限（定理 2）和费米-狄拉克特例（定理 3），还为未来研究非广延统计力学提供了坚实的数学基础。

3. 半经典迹公式的均匀性 在半经典极限的证明中，以往的工作往往假设势函数固定或仅依赖单一参数。本文建立了一个关键的引理（Proposition 4），证明了半经典迹公式在局部预紧（locally precompact）的势函数族上是均匀的。这意味着即使势函数本身随参数 $\kappa$ 变化（如 $v + \mu_{\text{rHF}, \kappa}$），只要它们满足一定的正则性和紧性条件，迹公式的收敛依然成立。这一工具极大地扩展了半经典分析的适用范围，使得处理变分问题中的自洽势成为可能。

4. 代价与局限 本文的代价是放弃了直接构造最小化器（minimizer）的存在性。在临界情况下，作者指出无法保证存在使巨势达到极小的密度算子 $\gamma$，只能证明沿极小化序列（minimizing sequence）的平均场势 $\mu$ 收敛到唯一的极限势 $\mu_{\text{TF}}$。这与零温情形下通常能证明存在最小化器的结果有所不同，反映了有限温度下广义熵带来的本质困难。此外，目前的结论依赖于 $s^* \in C^2$ 和特定的相容性条件，对于极度奇异的熵函数可能不适用。尽管如此，本文的结果在数学物理领域填补了正温度、广义熵、半经典极限三者交汇处的理论空白。

4. 一类可压缩Navier-Stokes-Korteweg方程的全局存在性分析

Global existence analysis for a class of compressible Navier-Stokes-Korteweg equations

作者: Ansgar Jüngel, Flora Philipp

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14044v1

摘要翻译: 本文在三维环面上，针对一大类Navier-Stokes-Korteweg方程（包含弥散界面和量子Navier-Stokes系统作为特例），建立了大初值下全局弱解的存在性。该模型由具有退化密度依赖粘性的可压缩Navier-Stokes方程与一个一般非线性三阶Korteweg项组成。存在性证明结合了能量不等式和Bresch-Desjardins (BD)熵不等式所给出的先验估计，以及精心设计的逼近方案。分析的一个关键要素是借助系统的分部积分法获得的一个与Korteweg项相关的新耗散不等式。为构造解，引入了人工阻力项和一个量子Korteweg正则化项，随后通过建立重整化形式在极限过程中将其去除。

Comment: 无

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

1. 研究对象和背景

本文研究的是描述具有毛细效应和量子效应的粘性可压缩流体的 Navier-Stokes-Korteweg (NSK) 系统。该系统在相变界面模型（diffuse-interface models）和量子流体模型中具有重要应用背景，其数学核心在于处理非线性对流、密度依赖的退化粘滞性以及高阶毛细项（Korteweg 项）之间的耦合，特别是在允许真空区域出现且粘滞系数随密度趋于零的复杂情形下。

研究对象由质量守恒方程和动量守恒方程组成：

$$ \partial_t \rho + \operatorname{div}(\rho v) = 0 $$

$$ \partial_t(\rho v) + \operatorname{div}(\rho v \otimes v) + \nabla p(\rho) = \nu \operatorname{div}(\rho D(v)) + \operatorname{div} K(\rho) $$

其中 $\Omega = \mathbb{T}^3$ 为三维环面，$D(v) = \frac{1}{2}(\nabla v + \nabla v^T)$ 为速度梯度对称部分，压力 $p(\rho) = \rho^\gamma$ ($\gamma > 1$)。关键的非线性第三阶 Korteweg 应力张量 $K(\rho)$ 定义为：

$$ K(\rho) = \left( \operatorname{div}(\rho k(\rho)\nabla \rho) - \frac{1}{2}\big(\rho k'(\rho) + k(\rho)\big)|\nabla \rho|^2 \right) I - k(\rho)\nabla \rho \otimes \nabla \rho $$

其中毛细函数取幂律形式 $k(\rho) = \kappa \rho^\alpha$，参数 $\alpha \in [-1, 0]$。当 $\alpha=0$ 时对应 van der Waals 扩散界面模型；当 $\alpha=-1$ 时对应量子 Navier-Stokes 系统，此时 Korteweg 项退化为 Bohm 势 $\kappa \rho \nabla(\Delta \sqrt{\rho}/\sqrt{\rho})$。

该问题的理论难点在于：传统的能量估计不足以控制真空区域的奇异性，而 Bresch-Desjardins (BD) 熵不等式虽然能提供额外的正则性，但在一般 $\alpha$ 值下难以直接导出足以处理 Korteweg 项梯度的强估计。特别是当 $\kappa > 0$ 时，无法像无毛细项 ($\kappa=0$) 情形那样利用 Mellet-Vasseur 估计获得速度的紧性。此前文献仅在 $\alpha=0$ [4] 或 $\alpha=-1$ [26] 的特殊情况下建立了全局弱解存在性，且往往需要引入冷压项或拖曳项来正则化真空区。本文旨在填补这一空白，建立适用于整个区间 $\alpha \in [-1, 0]$ 的统一存在性理论，且不依赖人为添加的冷压项，仅通过构造性的近似方案处理真空问题。

2. 主要定理或主要结果

本文证明了在三维环面上，对于大初值数据，只要毛细指数满足特定范围，Navier-Stokes-Korteweg 系统存在全局弱解。主要定理陈述如下：

定理 1 (全局弱解存在性)：设 $\alpha \in [-1, 0]$，绝热指数 $\gamma > 1$，粘度系数 $\nu > 0$，毛细常数 $\kappa > 0$，时间 $T > 0$。若初值 $(\sqrt{\rho_0}, \sqrt{\rho_0}v_0)$ 满足正则性条件：

$$ \sqrt{\rho_0} \in L^{2\gamma}(\Omega), \quad \sqrt{\rho_0}, (\rho_0)^{\alpha/2+1} \in H^1(\Omega), \quad \sqrt{\rho_0}v_0 \in L^2(\Omega) $$

则存在定义在 $[0, T]$ 上的弱解 $(\sqrt{\rho}, \sqrt{\rho}v)$，其正则性空间满足：

$$ \sqrt{\rho}v \in L^\infty(0, T; L^2(\Omega)), \quad \rho \in L^\infty(0, T; L^\gamma(\Omega)) $$

$$ \nabla \sqrt{\rho} \in L^\infty(0, T; L^2(\Omega)), \quad \nabla \rho^{\alpha/2+1} \in L^\infty(0, T; L^2(\Omega)) $$

$$ \nabla \rho^{\gamma/2} \in L^2(\Omega_T), \quad \mathcal{T}_\nu \in L^2(\Omega_T) $$

其中 $\mathcal{T}_\nu = \sqrt{\nu}\rho \nabla v - 2\sqrt{\nu}\sqrt{\rho}v \otimes \nabla \sqrt{\rho}$。特别地，对于 $\alpha \in [-1, 0)$，还满足更强的梯度估计：

$$ \nabla \rho^{\alpha/4+1/2} \in L^4(\Omega_T), \quad \Delta \rho^{\alpha/2+1} \in L^2(\Omega_T) $$

关键不等式 (Theorem 2)：证明的核心在于建立了关于 Korteweg 项的新耗散不等式。对于任意正光滑函数 $\rho$，当空间维数 $d=3$ 且指数满足 $-30/19 < \alpha < 0$ 时，存在常数 $C_0 > 0$ 使得：

$$ -\int_{\mathbb{T}^3} \nabla \rho \cdot \nabla \left( \frac{\rho^{\alpha/2} \Delta \rho^{\alpha/2+1}}{\alpha/2 + 1} \right) dx \ge C_0 \int_{\mathbb{T}^3} \left( |\nabla \rho^{\alpha/4+1/2}|^4 + |\Delta \rho^{\alpha/2+1}|^2 \right) dx $$

该不等式将 BD 熵产生的负项与密度的高阶梯度范数联系起来，是克服真空奇异性和获得紧性的关键。对于 $\alpha=0$，该不等式退化为标准的 $L^2$ 估计。

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

证明的主要技术障碍在于：在允许真空的情况下，如何从 BD 熵不等式中提取出对 Korteweg 项 $\operatorname{div} K(\rho)$ 的足够强的控制，以抵消非线性对流项并保证序列的紧性。作者的创新点主要体现在以下三个层面：

  1. 系统性分部积分法与新的耗散不等式：这是本文最核心的技术突破。传统方法在多维空间中难以处理形如 $\nabla \rho \cdot \nabla (\rho^\beta \Delta \rho^{\beta+1})$ 的高阶项。作者采用了 [19] 中提出的“系统性分部积分法”（systematic integration-by-parts method）。通过引入辅助变量 $\lambda = \rho^{\beta+1}$，将复杂的积分转化为关于标量场 $\xi_G = |\nabla \lambda|/\lambda$, $\xi_L = \Delta \lambda / \lambda$ 等的多项式形式。通过构造两个形式上为零的“哑积分”（dummy integrals）$J_1$ 和 $J_2$，并利用 Cauchy-Schwarz 不等式和矩阵正定性分析，成功证明了不等式 (5)。这种方法不仅推广了一维情形 [12] 的结果，而且精确界定了多维空间中 $\alpha$ 的可接受范围（$-2d(d+2)/(2d^2+1) < \alpha < 0$），在三维下即为 $-30/19 < \alpha < 0$。这直接解决了 Korteweg 项导致的正则性不足问题。

  2. 精心设计的正则化近似方案：为了处理真空区域，作者没有采用添加冷压项的传统手段，而是引入了人工拖曳项（artificial drag terms）和量子 Korteweg 正则化。具体而言，考虑正则化系统：

    $$ \partial_t(\rho v) + \dots = \dots - \sigma v - \sigma \rho |v|^2 v + \sigma \operatorname{div} K_Q(\rho) $$

    其中 $K_Q(\rho)$ 是对应于 $\alpha=-1$ 的量子 Korteweg 项。拖曳项保证了速度在真空区的有界性，而量子 Korteweg 项则与密度依赖粘度 $\mu(\rho)=\rho$ 保持结构相容性，从而保留了关键的粘度正则性估计。此外，还引入了更高阶的正则化参数 $(\delta, \eta, \varepsilon, \mu)$ 以确保密度严格为正，便于推导 BD 熵恒等式。

  3. 重整化弱解框架与极限过程：在去除正则化参数 $\sigma \to 0$ 的过程中，由于缺乏足够的速度正则性，不能直接在弱解框架下取极限。作者借鉴 [4] 的方法，构建了“重整化弱解”（renormalized weak solutions）的概念。通过引入速度重整化和密度截断（density truncation），证明了近似解序列收敛到的极限满足重整化形式的连续性方程和动量方程。这种框架有效地处理了非线性的乘积项（如 $\rho v \otimes v$）在弱收敛下的极限问题，并确保了最终解的物理合理性。证明过程分为多步极限：先令 $(\varepsilon, \mu) \to 0$，再令 $(\delta, \eta) \to 0$，最后利用重整化性质处理 $\sigma \to 0$。

4. 与之前工作的比较

本文与既有文献相比，在假设放宽、适用范围扩展及方法论上均有显著推进：

  1. 统一性与参数范围的推广：先前工作通常针对特定的毛细指数 $\alpha$ 分别处理。例如，[4] 证明了 $\alpha=0$（扩散界面模型）的全局解存在性，[26] 证明了 $\alpha=-1$（量子流体模型）的存在性。本文首次建立了涵盖整个区间 $\alpha \in [-1, 0]$ 的统一理论。虽然在三维空间中，通过新不等式得到的 $\alpha$ 下界限制在 $-30/19$ 而非 $-1$（一维情形可扩展至 $-2$），但这已覆盖了物理上最重要的量子模型和界面模型，并提供了介于两者之间的广义模型的理论基础。

  2. 对真空处理的改进：在处理真空问题上，早期工作如 [15], [14] 依赖于假设毛细常数与粘度系数的相对大小（如 $\kappa < \nu$），或者必须引入额外的冷压项 $\nabla \rho^{-\beta}$ [13] 或拖曳项来强制速度正则化。本文虽然也引入了拖曳项作为中间步骤，但关键在于通过量子 Korteweg 正则化的结构相容性，使得最终极限解不需要保留这些人为项即可定义良好。这与 [22] 中针对量子 NS 系统的无冷压项结果类似，但本文将其推广到了更广泛的 $\alpha$ 范围，并解决了更一般的 Korteweg 项带来的正则性难题。

  3. 技术方法的革新：与 [7], [12] 等工作相比，本文最大的区别在于对 Korteweg 项的处理机制。以往的一维结果 [12] 依赖 Sobolev 和 Gagliardo-Nirenberg 不等式，而在多维情形下，这些工具不足以控制高阶导数。本文引入的“系统性分部积分法”是一种全新的分析框架，它不依赖具体的插值不等式，而是通过对积分结构的精细代数操作直接导出耗散不等式。这使得证明不再受限于特定的空间维度或低阶估计技巧，为后续处理更复杂的流体模型提供了强有力的工具。

  4. 代价与局限：本文的代价在于对毛细指数 $\alpha$ 的下界限制（$\alpha > -30/19$ in 3D），这意味着对于某些极端量子情形（若 $\alpha$ 进一步减小）可能不适用。此外，虽然去除了冷压项，但证明过程中必须引入一系列复杂的正则化参数（$\sigma, \delta, \eta, \varepsilon, \mu$）并在多重极限步骤中严格控制误差，这使得证明结构较为繁复，且对初值的正则性要求（特别是 $\sqrt{\rho_0}$ 和 $(\rho_0)^{\alpha/2+1}$ 的正则性）比标准可压缩 NS 方程更为严格。

5. 算子的分数幂：通过$δ$-正则化对数表示的刻画

Fractional Powers of Operators: Characterization via $δ$-Regularized Logarithmic Representation

作者: Yoritaka Iwata

类别: math.FA, math.AP

发布日期: 2026-08-14

arXiv ID: 2608.13903v1

摘要翻译: 对于算子的分数幂，V. Balakrishnan的经典表述本质上要求生成元具有正定性或特定的扇形条件（即解析半群的生成）。为了克服这些限制，本文基于巴拿赫空间中抽象演化方程的$C^0$-半群理论框架，提出了一种通过无穷小生成元$D$的$δ$-正则化对数表示来构造算子$D^k$分数幂的新方法。所提出的方法通过对有界算子采用代数$δ$-正则化，绕过了传统的几何约束。具体而言，通过将复分析对数表示应用于从半群预解式导出的有界算子族，我们严格证明：在可逆性的最小代数假设下，更一般的$C^0$-半群生成元的分数幂是唯一且严格良定义的，且独立于正则化参数$δ$的选择。本研究建立的理论框架具有广泛的应用潜力，包括非解析半群的正则性估计以及无穷小生成元显式依赖于时间变量的非自治系统。

Comment: 无

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

1. 研究对象和背景

在泛函分析与偏微分方程理论中，研究抽象演化方程解的正则性及其长期行为时，定义算子的分数幂是一个核心问题。设 $X$ 为巴拿赫空间，考虑一阶齐次抽象演化方程（Cauchy问题）：

$$ \frac{du}{d\lambda} = Du, \quad u(a) = u_a \in X, $$

其中 $D: D(D) \subset X \to X$ 是生成强连续半群（$C_0$-semigroup）$ \{U(\lambda)\}_{\lambda \ge 0} $ 的无穷小生成元。该方程描述了时间参数 $ \lambda $ 下的线性动力学系统。当 $D$ 生成解析半群时，其谱位于复平面的右半平面或扇形区域内，此时利用经典的 Balakrishnan 公式可以定义分数幂 $(-A)^\alpha$（对于 $0 < \alpha < 1$）：

$$ (-A)^\alpha u = \frac{1}{\Gamma(-\alpha)} \int_0^\infty t^{-\alpha-1} (U(t) - I)u \, dt. $$

然而，该经典表述严重依赖于生成元 $-A$ 的非负性或扇形性条件（sectorial condition），即要求谱 $ \sigma(-A) $ 包含于以原点为顶点的扇形区域，且满足

$$ \sup_{\text{Re}(\lambda)>0} |\text{Re}(\lambda)| \cdot \|(\lambda I - A)^{-1}\| < \infty. $$

这一几何约束将理论严格限制在解析半群框架内，导致对于更广泛的非解析 $C_0$-半群（例如双曲型演化方程、时滞微分方程或某些非自治系统中的生成元），无法直接应用传统的分数幂定义。此外，Balakrishnan 公式涉及反常积分，在处理无界算子的定义域、数值逼近以及算子乘积（如 Baker-Campbell-Hausdorff 公式）时存在显著困难。 尽管 Okazawa 等人曾尝试通过对数算子方法处理扇形算子，但其本质仍未脱离谱的几何限制。本文旨在突破这一瓶颈，研究对象为一般 $C_0$-半群的生成元 $D$（不要求生成解析半群）。核心问题是：如何在仅假设 $D$ 可逆（$0 \in \rho(D)$）的最小代数条件下，绕过谱的几何约束，严格构造并证明分数幂 $D^k$ 的唯一良定性？本文试图填补的空白在于建立一种不依赖扇形性假设、适用于非解析半群生成元的分数幂理论框架，从而为非自治系统和非解析系统的正则性估计提供新的分析工具。

2. 主要定理或主要结果

本文在 Banach 空间 $X$ 上，针对生成 $C_0$-半群 $ \{U(\lambda)\}_{\lambda \ge 0} $ 的无穷小生成元 $D$（假设 $0 \in \rho(D)$），建立了基于 $ \delta $-正则化的分数幂定义，并证明了以下主要结论：

定理 4.1 ($ \delta $-正则化算子的唯一性与良定性)： 对于任意实数 $k \in \mathbb{R}$，分数幂 $D^k$ 可通过 $ \delta $-正则化对数表示唯一定义为：

$$ D^k = \exp\left[ k \left\{ \log\left[ I - \delta(D + \delta I)^{-1} \right] + \log[D + \delta I] \right\} \right], $$

其中 $ \delta > 0 $ 为正则化参数，使得 $(D + \delta I)$ 具有有界逆且其对数在主值分支内有定义。

关键性质包括：

  1. 独立性：所得算子 $D^k$ 完全独立于正则化参数 $ \delta $ 的选择。证明表明，表达式内部的对数项满足代数恒等式：
    $$ \log\left[ I - \delta(D + \delta I)^{-1} \right] + \log[D + \delta I] = \log[D]. $$
    因此，最终结果简化为 $D^k = \exp(k \log D)$，仅由 $D$ 的本征性质决定。
  2. 良定性：通过 Dunford-Riesz 泛函演算，证明了对于有界算子表示 $ \tilde{D} $，$ \log[D+\delta I] $ 和 $ I - \delta(D+\delta I)^{-1} $ 的谱均位于主值分支定义域内，确保了指数映射后 $D^k$ 作为 $B(X)$ 中的有界算子是良好定义的。
  3. 不可逆情形的推广：若 $0 \in \sigma(D)$，可通过平移算子 $D_\mu = D - \mu I$（选取 $ \mu \in \rho(D) $ 使得 $0 \in \rho(D_\mu) $）构造分数幂，并利用广义二项式展开恢复原算子的分数幂：
    $$ D^k = D_\mu^k \sum_{j=0}^\infty \binom{k}{j} \mu^j D_\mu^{-j}, $$
    该级数在算子范数下收敛。

这些结果表明，即使在缺乏扇形性条件的情况下，只要生成元是可逆的（或通过平移后可逆），分数幂即可被严格定义且不依赖于辅助参数。

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

本文证明的核心障碍在于传统方法依赖谱的几何位置（扇形性）来定义对数和分数幂，而一般 $C_0$-半群的生成元 $D$ 是无界的，且其谱可能覆盖整个复平面或位于非扇形区域，导致直接定义 $ \log D $ 或进行围道积分失效。

创新点与关键技术：

  1. 从无限维到有限维的代数映射策略：作者并未直接处理无界算子 $D$，而是利用引理 3.1 引入了一族由半群预解式构造的有界算子 $ I_\eta(\lambda) = (I - \eta^{-1}U(\lambda))^{-1} $。通过这一映射，将原本无界的生成元 $D$ 重构为有界算子 $ \tilde{D} $ 的形式：

    $$ \tilde{D} = \lambda^{-1} \left( \log[\eta(I_\eta - I)] - \log[I_\eta] \right). $$

    这一步骤是关键的分析框架转换，它将复杂的无界算子理论问题转化为有界算子的泛函演算问题，避开了定义域 $D(D)$ 的复杂性。

  2. 代数 $ \delta $-正则化技术：这是本文最核心的技术创新。为了定义 $D^k$，作者没有采用传统的围道积分或极限过程，而是引入了参数 $ \delta > 0 $，利用代数恒等式：

    $$ D = (D + \delta I) \left[ I - \delta(D + \delta I)^{-1} \right]. $$

    通过将 $D$ 分解为平移算子 $(D + \delta I)$ 和有界修正项的乘积，作者成功地将谱移位至复平面中对数函数解析的区域（避开负实轴分支割线）。具体而言，选择足够大的 $ \delta $，使得 $ \sigma(D + \delta I) $ 严格位于 $ \mathbb{C} \setminus (-\infty, 0] $ 内，从而保证 $ \log[D + \delta I] $ 是有界算子。同时，第二项 $A_\delta = I - \delta(D + \delta I)^{-1}$ 的谱 $ \sigma(A_\delta) = \{ z/(z+\delta) : z \in \sigma(D) \} $ 也被确保远离原点和对数分支割线。

  3. 对数函数的代数消去与独立性证明：证明的关键步骤在于验证正则化参数的消除。利用交换算子的对数性质 $ \log(AB) = \log A + \log B $（在谱条件满足时成立），作者展示了：

    $$ \log[A_\delta] + \log[D + \delta I] = \log\left[ (I - \delta(D + \delta I)^{-1})(D + \delta I) \right] = \log[D]. $$

    这一代数操作消除了 $ \delta $ 的痕迹，证明了定义的内在一致性。这避免了传统方法中需要取极限 $ \delta \to 0 $ 带来的收敛性分析难题，直接将问题转化为纯粹的代数结构验证。

  4. 谱映射定理的应用：在证明过程中，反复利用谱映射定理（Spectral Mapping Theorem）来确保变换后的算子谱仍位于解析域内。例如，对于有界算子 $ \tilde{D} $，$ \sigma(\exp(k \log \tilde{D})) $ 的性质保证了 $D^k$ 的有界性。这种基于谱分析的严格论证替代了传统的能量估计或紧性论证，使得理论适用于更广泛的非解析情形。

4. 与之前工作的比较

本文工作与既有 PDE/分析理论文献相比，在假设条件、适用范围及数学框架上实现了显著的推进与差异：

  1. 假设条件的根本性放宽：

    • Balakrishnan [1] 与 Yosida [16]：经典理论严格要求生成元 $-A$ 是非负的或满足扇形性条件（Sectorial Condition），即谱必须位于特定的扇形区域内。这使得理论仅适用于抛物型方程生成的解析半群。
    • Okazawa [13, 14]：虽然引入了对数算子方法，但仍依赖于算子的扇形性或吸收入性（accretivity）假设，未能完全摆脱几何谱约束。
    • 本文贡献：仅需最小代数假设——生成元 $D$ 可逆（$0 \in \rho(D)$），甚至通过平移可处理不可逆情形。完全不再要求谱位于扇形区域，从而首次将分数幂的严格定义扩展到了非解析 $C_0$-半群（如双曲型方程、时滞方程等）的生成元。

  2. 数学框架与表达形式的革新：

    • 传统方法：依赖反常积分（如 $ \int_0^\infty t^{-\alpha-1}(U(t)-I)dt $）或复平面上的围道积分（Dunford 积分）。这些形式在处理数值计算、算子乘积（如 BCH 公式）以及非自治系统时，面临积分收敛性差、定义域难以控制等障碍。
    • 本文方法：采用纯代数的 $ \delta $-正则化结合有界算子的对数表示。将问题转化为有界算子的函数演算，避免了反常积分的奇异性处理。这种形式不仅理论上更简洁，而且在数值实现和算子代数运算中具有更高的稳定性。

  3. 适用范围与潜在代价：

    • 推进：本文框架适用于更广泛的抽象演化方程，特别是那些生成元谱分布复杂、不满足扇形条件的系统。这对于研究非自治系统（时变生成元）和非抛物型方程的正则性具有重要意义。
    • 代价与局限：
      • 该方法目前主要建立在 Banach 空间的有界算子框架下，对于无界算子的直接处理需先转化为有界表示（如引理 3.1 所示），这在某些特定几何背景下可能需要额外的技术细节。
      • 虽然证明了 $D^k$ 的良定性，但关于此类分数幂在非线性演化方程解的具体正则性提升（如 Sobolev 空间嵌入）的具体估计，文中仅指出具有潜力，尚未给出详细的定量不等式（如 $ \|D^k u(t)\| \le C t^{-\gamma}\|u_0\| $ 的具体常数依赖），这部分留待未来工作（如 Tanabe 框架下的应用）。

综上所述，本文通过代数正则化手段，成功解耦了分数幂定义与谱几何位置的绑定关系，是对经典算子分数幂理论的一次重要结构性拓展。

6. 具有局部平均Brinkman力的可压缩动力学–流体系统的有限能弱解与弛豫

Finite-energy weak solutions and relaxation for a compressible kinetic–fluid system with locally averaged Brinkman force

作者: Young-Pil Choi, Roman Shvydkoy

类别: math.AP

发布日期: 2026-08-13

arXiv ID: 2608.13777v1

摘要翻译: 我们研究一个动力学–流体系统，其中Vlasov方程或Vlasov–Fokker–Planck方程通过局部平均Brinkman力与具有密度相关粘性的可压缩Navier–Stokes方程耦合。该平均选取为守恒形式，使得耦合系统保持总动量并满足自然的能量耗散平衡，同时避免对可能粗糙的流体速度进行逐点评估。第一个主要结果是针对足够正则解的条件指数弛豫估计。该估计在正负密度矩界以及密度的幂次上的Muckenhoupt $\\calA_2$ 条件下得证，这些条件取代了统一的逐点上界和下界。证明结合了调制能量、非相干性分析与用于密度涨落的补偿泛函。关键要素是关联椭圆修正子的加权Calderón–Zygmund估计，这使得我们在$\\calA_2$ 条件下能够控制粘性贡献。第二个主要结果涉及允许的低维情形下的全局有限能Bresch–Desjardins熵弱解。利用与密度相关粘性相关联的额外熵结构，我们验证了条件弛豫定理所需的密度假设，并获得弱解的指数弛豫。在无扩散情形下，粒子分布趋向于单动能状态；而在有扩散情形下，弛豫趋向于Maxwellian平衡态。

Comment: 75 pages

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

1. 研究对象和背景

本文研究一类描述喷雾、气溶胶及多相流中弥散相与连续相相互作用的介观动力学模型。该模型由Vlasov方程（或Vlasov-Fokker-Planck方程）与具有密度相关粘性的可压缩Navier-Stokes方程耦合而成，其核心耦合机制是通过局部平均的Brinkman力实现的动量交换。具体而言，在平坦环面$\mathbb{T}^d$上，粒子分布函数$f(t, x, v) \geq 0$满足：

$$ \partial_t f + v \cdot \nabla_x f = \rho_\varepsilon \nabla_v \cdot (\sigma \nabla_v f + (v - u_\varepsilon)f), $$

其中$u_\varepsilon = (\rho u)_\varepsilon / \rho_\varepsilon$为经过光滑核$\theta_\varepsilon$卷积后的局部平均流体速度，$\rho_\varepsilon = \theta_\varepsilon * \rho$。流体部分满足质量守恒与动量守恒方程：

$$ \partial_t \rho + \nabla \cdot (\rho u) = 0, $$

$$ \partial_t (\rho u) + \nabla \cdot (\rho u \otimes u) + \nabla p(\rho) = \nabla \cdot S(\rho, u) + \rho F_\varepsilon. $$

其中压力项为$p(\rho) = \rho^\gamma$ ($\gamma > 1$)，粘性应力张量为$S(\rho, u) = 2\nu(\rho)D(u) + \lambda(\rho)(\nabla \cdot u)I$，且粘性系数满足Bresch-Desjardins关系：$\nu(\rho) = \rho^\alpha$, $\lambda(\rho) = 2(\alpha - 1)\rho^\alpha$ ($\alpha > 0$)。拖曳力项定义为$F_\varepsilon = \int_{\mathbb{R}^d} (v - u_\varepsilon)f dv$。

该问题的核心难点在于：首先，传统点态耦合$v-u$在存在真空区域（$\rho=0$）时会导致流体速度定义失效或奇异性，而本文采用的局部平均形式$u_\varepsilon$不仅保留了总动量守恒和自然的能量耗散平衡，还通过$\rho_\varepsilon \geq \min \theta_\varepsilon > 0$保证了耦合项在弱解框架下的良好定义性；其次，对于可压缩流体，尤其是具有退化粘性（当$\rho \to 0$时）的情形，标准的能量估计仅能控制$\sqrt{\rho}u$，无法直接获得速度的强收敛性或密度的点态上下界，这使得传统的紧性方法和长时行为分析面临巨大障碍；最后，如何在缺乏均匀正下界假设的情况下，证明系统向单动能状态（扩散缺失情形）或Maxwellian平衡态（扩散存在情形）的指数松弛，是理论上的关键空白。

本文旨在填补这一空白：一方面建立正则解在较弱的密度矩条件和Muckenhoupt $A_2$条件下的条件指数松弛估计；另一方面，利用Bresch-Desjardins熵结构，在低维允许范围内构造全局有限能量BD熵弱解，并验证这些弱解自动满足松弛定理所需的密度假设，从而获得无条件指数松弛结果。

2. 主要定理或主要结果

本文的主要结果分为两个部分：

1. 正则解的条件指数松弛定理 (Theorem 1.1) 假设$(f, \rho, u)$是系统(1.1)在$[0, \infty)$上的足够正则解，初始自由能有限。设参数满足$1 - 1/d \leq \alpha \leq \gamma - 1$。选取$r \in (1, 2)$使得$r > 2d/(d+2)$（当$d \geq 2$），定义$r^* = dr/(d-r)$。若存在指数$p, s > 0$满足：

$$ \frac{2}{p} + \frac{2}{r^*} \leq 1, \quad s \geq \frac{\alpha r}{2-r}, $$

且在$d \geq 2, \gamma < d$时额外满足$2p' \leq \frac{d\gamma}{d-\gamma}$。若密度满足一致矩界和加权$A_2$条件：

$$ \sup_{t \geq 0} \int_{\mathbb{T}^d} (\rho(t)^p + \rho(t)^{-s}) dx \leq M, \quad \sup_{t \geq 0} [\rho(t)^\alpha]_{A_2} \leq M, $$

则存在常数$C, \lambda > 0$使得：

  • 无扩散情形 ($\sigma=0$)：粒子速度与平均流体速度趋于同步，密度趋于均匀，即
    $$ \iint |v - \bar{v}|^2 f + \int \rho|u - \bar{m}|^2 + \|\rho - 1\|_{L^1}^2 + |\bar{v} - \bar{m}|^2 \leq C e^{-\lambda t}. $$
    此时粒子分布渐近趋向于单动能状态（mono-kinetic state）。
  • 有扩散情形 ($\sigma>0$)：粒子分布趋向于以平均动量为中心的Maxwellian平衡态
    $$ \iint |f - \mu_{1, \bar{v}, \sigma}| + \int \rho|u - \bar{m}|^2 + \|\rho - 1\|_{L^1}^2 + |\bar{v} - \bar{m}|^2 \leq C e^{-\lambda t}. $$

2. 低维情形下的全局BD熵弱解及其松弛 (Theorem 1.2) 在以下低维 regimes 下：

$$ (d=1, 0 < \alpha \leq 1/2, \gamma = \alpha+1) \quad \text{或} \quad (d=2, \alpha=1/2, \gamma=3/2). $$

若初值满足$\sqrt{\rho_0}\nabla\phi(\rho_0) \in L^2$等Bresch-Desjardins相容条件，则存在全局有限能量BD熵弱解。更重要的是，这类弱解自动满足上述松弛定理所需的密度矩界和$A_2$条件，因此无需额外假设即可导出指数松弛结论。特别地，对于$\sigma>0$且初值具有更高阶矩的情况，解瞬间正则化至$H^m_q$空间。

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

本文的证明策略包含两个紧密关联但技术路径不同的部分：

第一部分：基于补偿泛函与加权Calderón-Zygmund估计的松弛分析 主要障碍在于物理耗散项（拖曳耗散和粘性耗散）不足以直接控制密度波动$\rho - 1$的$L^2$范数，尤其是在没有点态上下界的情况下。作者采用经典的补偿泛函方法，引入椭圆修正器$\Phi$满足$-\Delta \Phi = \rho - 1$。然而，关键在于如何估计粘性项$\nabla \cdot S(\rho, u)$对$\Phi$的贡献。由于粘性系数$\nu(\rho)=\rho^\alpha$退化，且流体速度仅属于$\sqrt{\rho}u \in L^\infty(L^2)$，标准估计失效。作者的创新点在于引入了Muckenhoupt $A_2$权重的概念。通过假设$[\rho^\alpha]_{A_2} < \infty$，作者能够应用加权Calderón-Zygmund估计来控制椭圆修正器的梯度，从而在能量不等式中恢复关于密度波动的强制性项。具体而言，证明了算子$\nabla (-\Delta)^{-1}$在$A_2$权重下是有界的，使得$\int \rho^\alpha |\nabla u|^2$能够被$\int |\nabla \Phi|^2$控制。

此外，针对有扩散情形($\sigma > 0$)，由于动能部分的相对熵（free energy）与物理耗散中的Fisher信息之间存在维度不匹配（只有速度方向的扩散，无空间扩散），作者采用了Villani的$(A^*A+B)$双曲强制性（hypocoercivity）框架。通过将速度变量平移至平均动量，将动力学方程转化为变系数Fokker-Planck方程，并利用漂移项与扩散项的相互作用恢复空间正则性。这里的关键工具是构造一个修正的能量泛函（modulated energy），结合补偿泛函处理密度项，最终导出全系统的指数衰减。

第二部分：基于Bresch-Desjardins熵结构的弱解存在性与条件验证 为了将条件松弛定理推广到无条件，必须证明所构造的弱解满足$A_2$条件和矩界。作者利用了密度相关粘性带来的特殊结构：Bresch-Desjardins熵。 定义有效速度$w = u + \nabla \phi(\rho)$，其中$\phi' = 2\nu'/\rho$。由此导出的BD熵不等式提供了对$\sqrt{\rho}w$的控制，进而转化为对$\nabla \rho^{\alpha/2}$的$H^1$估计。在低维情形（$d=1, 2$特定参数下），这种$H^1$嵌入性质足以推出密度的矩界和$A_2$条件。例如，在$d=1$时，$\nabla \rho^{\alpha/2} \in L^2$结合质量约束直接给出点态上下界；在$d=2$临界情形，虽然不能得到点态下界，但足以保证$\rho^\alpha \in A_2$。作者通过构造正则化近似序列，利用紧性论证（特别是基于有效速度的紧性准则）和极限过程，严格证明了弱解的存在性，并验证了这些解自动落入条件松弛定理的适用范围。

4. 与之前工作的比较

本文与既有文献相比，在以下几个方面取得了显著推进：

1. 耦合机制的解析友好性与建模合理性 早期关于Vlasov-Navier-Stokes的工作（如[4, 12, 28]）多集中在不可压缩情形，或假设点态耦合$v-u$。在可压缩情形下，点态耦合在真空附近会导致严重的数学困难。本文采用的局部平均Brinkman力（locally averaged Brinkman force）并非仅仅是技术正则化手段，而是基于粒子近似和介观尺度的自然物理图像。与[43]中处理的不可压缩情形不同，本文首次将这种平均耦合推广到可压缩、具有密度相关粘性的复杂系统中，并证明了其在保持物理守恒律的同时，解决了弱解框架下的定义难题。

2. 密度假设的放宽与$A_2$条件的引入 以往关于可压缩流体大时间行为的文献（如[16, 18]或[14]）通常依赖密度的点态上下界$0 < c \leq \rho \leq C$来闭合能量估计。这在构造全局弱解时极难满足。本文突破了这一限制，首次引入了Muckenhoupt $A_2$条件作为替代假设。这一条件允许密度在某些区域接近零或无穷大，只要其加权积分性质良好。这是处理可压缩流体中真空问题的关键突破，使得松弛分析不再依赖于过强的先验假设，而是建立在更自然的积分条件下。

3. 低维情形下的无条件松弛 尽管[14]证明了可压缩系统在$a priori$框架下的指数对齐，但未能将其与全局弱解的存在性联系起来。本文通过利用Bresch-Desjardins熵结构，在特定的低维参数范围（$d=1, 2$特定$\alpha, \gamma$）内，成功构造了满足所有松弛假设的弱解。这意味着在这些维度下，从任意有限能量初值出发的解，无需额外假设即可自动实现指数松弛。这与[21]中二维不可压缩情形的代数衰减结果形成对比，展示了可压缩系统与平均耦合机制在特定参数下可能带来的更强收敛性。

4. 扩散缺失与扩散情形的统一处理 现有文献往往将无扩散（对齐）和有扩散（Maxwellian）分开讨论。本文在一个统一的框架下处理了这两种情况，特别是在无扩散情形下，详细分析了粒子密度在移动参考系下的渐近波形（traveling wave profile），指出其不一定空间均匀化，而是随整体动量漂移。这一精细的动力学描述补充了之前仅关注速度对齐的研究。同时，对于有扩散情形，文章展示了如何通过双曲强制性分析克服空间非均匀性带来的困难，扩展了[46]中经典理论在非均匀介质中的应用。

局限与代价 本文的代价是主要结果受限于低维情形（$d \leq 2$）以确证BD熵条件的有效性，以及需要较高的初值矩条件来保证$\sigma > 0$时的正则化。对于高维情形，$A_2$条件是否仍能被BD熵自动满足尚待进一步研究。

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

1. 局部对称空间上椭圆不变微分算子的谱

Spectra of elliptic invariant differential operators on locally symmetric spaces

作者: Lasse L. Wolf

类别: math.SP, math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14298v1

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

摘要翻译

中文标题: 局部对称空间上椭圆不变微分算子的谱

摘要翻译: 对于局部对称空间 $Γ\backslash G /K$，我们研究了 $G/K$ 的不变微分算子在 $L^2(Γ\backslash G/K)$ 上的谱。这为 arXiv:2402.02530 中的近期定理提供了一个纯分析证明：若 $Γ$ 的极限锥 $\mathcal{L}_Γ$ 包含于 Weyl 室内部，则准正则表示 $L^2(Γ\backslash G)$ 是缓变的，除非 $G$ 的实秩为一或与 $\mathfrak{sl}_3(\mathbb K)$、$\mathbb K=\mathbb{R},\mathbb{C},\mathbb H$ 或 $\mathfrak{e}_6^{-26}$ 局部同构。

2. 半线性热方程的振荡爆破与梯度估计

Oscillatory blow-up and gradient estimates for semilinear heat equations

作者: Pavol Quittner, Philippe Souplet

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14257v1

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

摘要翻译

中文标题: 半线性热方程的振荡爆破与梯度估计

摘要翻译: 对于具有爆破非线性的反应扩散方程，我们考虑任意正爆破解的上确界范数是否最终关于时间单调不减的问题。尽管已知某些充分条件，特别是针对径向解，但这一关于爆破理论的自然且基本的问题似乎尚未在完全一般性下得到解决。我们构造了令人惊讶的（非径向）反例，即具有振荡 $L^ ext{ extasciicircum} extbackslash infty$ 范数的爆破解，适用于任何 Sobolev 超临界幂次非线性项，表明该性质可能不成立。此外，这提供了任何超临界幂次的 II 型爆破例子，从而显著增加了已知可能发生 II 型爆破的幂次范围。而且，由于迄今为止所有已知的 II 型爆破速率最多为多项式增长，而我们反例中的爆破可以是任意奇异的。作为一个相关问题，我们澄清了先前工作中获得并使用的梯度估计。特别是，我们表明这些估计仅在 $L^ ext{ extasciicircum} extbackslash infty$ 范数相对于过去达到最大值的时刻成立。

3. 具有非有效且非散射产生阻尼项的半线性波动方程的Strauss指数与Glassey指数

Strauss and Glassey exponents for semilinear wave equations with a non-effective and not scattering producing damping

作者: Wanderley Nunes do Nascimento, Alessandro Palmieri

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14311v1

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

摘要翻译

中文标题: 具有非有效且非散射产生阻尼项的半线性波动方程的Strauss指数与Glassey指数

摘要翻译: 本文研究了具有时变阻尼系数项的半线性阻尼波动方程的柯西问题，该阻尼系数属于涉及迭代对数因子的临界衰减速率的非有效阻尼项类。对于非线性项，我们同时考虑 $|u|^p$ 和 $|u_t|^p$。假设初始数据非负且具有紧支集，我们在幂次为 $|u|^p$ 的非线性项的亚Strauss范围 $1 < p \\leq p_{\\mathrm{Str}}(n)$ 内建立了弱解的爆破。亚临界情形的证明依赖于利用与阻尼项系数相关的时变乘子所得到的解的空间平均的迭代框架。另一方面，在极限情形 $p=p_{\\mathrm{Str}}(n)$，我们研究具有分离变量的齐次方程的解，并考察对应时变常微分方程的基本解组的性质，以推导适用于解的某个加权空间平均的迭代框架。最后，对于导数型非线性项 $|u_t|^p$，我们通过利用与相应局部时间解相关的适当时变函数的比较论证，证明了亚Glassey范围 $1 < p \\leq \\frac{n+1}{n-1}$ 内弱解的爆破。

4. 区域分数 $p$-拉普拉斯算子狄利克雷问题的最优稳定性

Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

作者: Guy Foghem

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14163v1

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

摘要翻译

中文标题: 区域分数 $p$-拉普拉斯算子狄利克雷问题的最优稳定性

摘要翻译: 我们建立了区域（分数）$p$-拉普拉斯算子 $(-Δ)^s_{p,Ω}$ 的狄利克雷边值问题的最优稳定性，其中 $0<s ext{ extless}1$, $ rac{1}{s} ext{ extless}p ext{ extless} ext{∞}$ 且 $Ω ext{ extsubset} ext{ℝ}^d$ 为有界 Lipschitz 区域。更确切地说，若 $u_s ext{ extin} W^{s,p}(Ω)$ 满足 $(-Δ)^s_{p,Ω} u_s = f_s$ 在 $Ω$ 内以及 $u_s = g_s$ 在 $ ext{ extpartial} Ω$ 上，则关于数据 $f_s$ 和 $g_s$ 的适当条件下，我们证明了当 $s o 1^-$ 时，$ ext{ extbar}u_s - u_1 ext{ extbar}_{W^{s,p}(Ω)} o 0$。我们还获得了与 $(-Δ)^s_{p,Ω}$ 相关的归一化狄利克雷特征对 $(λ_s, ext{ extphi}_s)$ 的类似最优稳定性结果。

5. 一维退化拟线性波动方程解的正则性丧失

Loss of regularity for solutions to 1D degenerate quasilinear wave equations

作者: Yanbo Hu, Yuusuke Sugiyama

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14233v1

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

摘要翻译

中文标题: 一维退化拟线性波动方程解的正则性丧失

摘要翻译: 本文研究了一维退化波动方程解的正则性丧失问题。我们首先考虑线性方程 $u_{tt}=igl(c(t,x)^2u_xigr)_x$，其中 $c(t,x) hicksim x^p$，随后考虑拟线性方程 $u_{tt}=(u^{2a}u_x)_x$。假设初始数据在退化点 $x=0$ 附近满足 $u_0(x) hicksim x^α$ 和 $u_1(x) hicksim x^β$。在线性问题中，$p$ 描述了退化的强度，而 $α$ 和 $β$ 描述了初始数据的正则性；在拟线性问题中，$α$ 也通过 $u_0(x)^a hicksim x^{aα}$ 决定了初始退化程度。我们的主要关注点是正则性丧失的实际发生，即对于 $t>0$，$u(t, ext{ extcdot})$ 在 $x=0$ 附近的正则性低于 $u_0$ 的现象。此前，此类正则性丧失主要针对仅依赖于时间的系数的特殊线性方程得以确立。在我们先前关于该拟线性方程的工作中，当 $β hicksim α$ 时，我们证明了局部适定性且无正则性丧失。在本文中，我们表明这一条件也是必要的。更确切地说，若 $β<α$，则在充分小的正时间下，于 $x=0$ 附近有 $C_1tx^β hicksim u(t,x) hicksim C_2x^β$。因此，解的阶数从 $u_0$ 的阶数变为 $u_1$ 的阶数，对于具有时空依赖系数的线性方程以及退化拟线性方程，均发生了实际的正则性丧失。

6. 正则化正弦–戈登方程行波谱稳定性与慢–快结构

Spectral stability and slow–fast structure of traveling waves in a regularized sine–Gordon equation

作者: Vassilios M Rothos

类别: nlin.PS, math.AP, math.DS

发布日期: 2026-08-14

arXiv ID: 2608.14108v1

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

摘要翻译

中文标题: 正则化正弦–戈登方程行波谱稳定性与慢–快结构

摘要翻译: 我们研究耗散正弦–戈登方程中行进扭结（kink）和反扭结（antikink）解的动力学及谱稳定性，该方程包含两种不同的四阶正则化机制：混合时空（惯性）项与纯空间（椭圆）项。模型包含阻尼、偏置强迫及高阶耗散效应，其动机源于对长约瑟夫森结中磁通子动力学的精细描述。利用集体坐标约化，我们导出了速度选择的梅尔尼科夫（Melnikov）型条件，给出了渐近传播速度的显式预测，并通过完整偏微分方程的直接数值模拟验证了这些预测。谱稳定性分析采用适用于由正则化诱导的奇异慢–快结构的Evans函数技术。通过在一致分裂域上构建线性化问题，我们证明没有额外的点谱从原点分岔。在本质谱边缘附近，采用平方根变换解析分支奇异性，并在提升的谱变量中建立解析性。$λ=0$附近及本质谱边缘附近的数值Evans函数计算证实了解析结果，表明扭结和反扭结解均不存在不稳定本征值。

7. 具有非零边界条件的$F=1$自旋子非线性薛定谔方程的绝热微扰理论

Adiabatic perturbation theory for the $F=1$ spinor nonlinear Schrödinger equation with nonvanishing boundary conditions

作者: Vassilios M Rothos

类别: nlin.SI, math-ph, math.AP, nlin.PS

发布日期: 2026-08-14

arXiv ID: 2608.14124v1

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

摘要翻译

中文标题: 具有非零边界条件的$F=1$自旋子非线性薛定谔方程的绝热微扰理论

摘要翻译: 我们在相关的黎曼–希尔伯特问题框架内，为具有非零边界条件的可积$F=1$自旋子非线性薛定谔方程发展了一套系统的绝热微扰理论。在此设定下，局域化非线性激发由离散的谱数据刻画，该数据包含一个复特征值及其关联的极化矢量。对于一大类保持背景的小扰动，我们直接在黎曼–希尔伯特问题层面导出了散射数据受扰动诱导的演化。在单孤子扇区中，这产生了一个封闭的有限维动力系统，用于描述有效孤子参数的慢演化，包括谱变量、孤子中心和相位、残差振幅以及内部极化态。后者遵循一个带有约束的动力学方程，该方程没有标量类比。对于局域化扰动，调制方程以单孤子本征函数表示的显式积分形式给出，从而提供了对动力学的完全可计算描述。在非零边界条件趋于零的极限下，所得系统简化为E. V. Doktorov等人于Phys. Rev. A 77 (2008), no. 4, 043617所获得的微扰理论。

8. 分数阶Choquard方程基态的存在性与集中性

Existence and concentration of ground states to fractional Choquard equations

作者: Jianfu Yang, Jinge Yang

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14088v1

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

摘要翻译

中文标题: 分数阶Choquard方程基态的存在性与集中性

摘要翻译: 本文研究非线性分数阶Choquard方程 egin{equation} \label{eq:0.1a} (-Δ)^su+Vu=(|x|^{-γ}*|u|^2)u \quad {\rm in} \quad \mathbb{R}^N, \end{equation} 其中 $0<γ<4$，$0<s<1$，$N\geq 4$，且 $V\in C^1(\mathbb{R}^N)$ 为正势。令 $s_0=\frac γ{4}$。在关于 $V$ 的适当假设下，我们证明了当 $s\in(s_0,1)$ 时该方程存在非负基态解，而当 $0<s\le s_0$ 时不存在基态解。此外，我们表明当 $s\downarrow s_0$ 时，任意基态解 $u_s$ 发生爆破并在 $V$ 的最小值点处集中。最后，对于子列而言，当 $s\uparrow 1$ 时，基态解 $u_s$ 收敛于经典Choquard方程的一个基态解。

9. 周期性驱动下的耗散亮脉冲与暗脉冲

Dissipative bright and dark pulses under periodic forcing

作者: Lukas Bengel, Björn de Rijk

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14077v1

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

摘要翻译

中文标题: 周期性驱动下的耗散亮脉冲与暗脉冲

摘要翻译: 我们分析了具有周期性驱动的阻尼非线性薛定谔（NLS）方程中亮脉冲和暗脉冲的存在性与稳定性。该卢吉亚托-莱弗韦尔（Lugiato-Lefever）方程是非线性光学中描述由双频激光泵浦驱动的耗散克尔腔内图案形成的典型模型。我们从亮 NLS 孤子和黑 NLS 孤子出发，严格构造了 Lugiato-Lefever 方程的亮、暗单脉冲解。利用最近为空间周期系统中拼接和周期延拓脉冲解而开发的工具箱，我们获得了对应于实验观测到的宽带频率梳的周期性多脉冲解。虽然亮脉冲的存在性和稳定性可由标准的 Lyapunov-Schmidt 约化和 Krein 指标论证得出，但暗脉冲的构造要精细得多，因为黑 NLS 孤子的非零渐近态导致线性化算子产生中性本质谱。通过仔细追踪沿分岔路径的相关小空间 Floquet 指数，并应用指数分歧（exponential dichotomies），我们确立了暗脉冲解的存在性。这些解由两个连接长平台的畴壁组成，该平台具有临界绝对谱。据我们所知，这构成了从黑 NLS 孤子出发的 Lugiato-Lefever 方程的第一个严格分岔结果。

10. 平面波从衍射光栅发生时谐弹性散射的极限吸收原理

Limiting absorption principle for time-harmonic elastic scattering of plane waves from diffraction gratings

作者: Jianli Xiang, Guanghui Hu

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14007v1

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

摘要翻译

中文标题: 平面波从衍射光栅发生时谐弹性散射的极限吸收原理

摘要翻译: 我们建立了周期性刚性衍射光栅对平面波进行时谐弹性散射的极限吸收原理。通过在频率上扰动一个小的正虚部，我们对传播波数下（即在经典瑞利展开条件下唯一性失效时）的病态问题进行了正则化，并利用泛函分析中的奇异摄动结果刻画了极限解。该极限解满足原始散射问题以及一个额外的约束条件，该条件确保了唯一性。考虑了入射压力波和剪切波两种情况，在这两种情况下均得到了相同的约束条件。这些结果为共振频率下物理上可接受的解提供了严格的选取机制。我们的框架自然地推广到诺伊曼（腔体）边界条件以及其他透射条件，特别是在周期结构中存在导波的情况下。

11. 一维非线性薛定谔方程适定性方法的综述及其在组合非线性项中的应用

Review of well-posedness methods for the 1D nonlinear Schrödinger equation with an application to combined nonlinearities

作者: Alex D. Rodriguez, Gia Azcoitia, Hannah Wubben, Svetlana Roudenko

类别: math.AP

发布日期: 2026-08-14

arXiv ID: 2608.13849v1

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

摘要翻译

中文标题: 一维非线性薛定谔方程适定性方法的综述及其在组合非线性项中的应用

摘要翻译: 我们考虑具有形式为 $|u|^αu$ 的非线性项的一维非线性薛定谔方程，其中幂次 $α>0$ 任意，并回顾两种获取解的方法：即局部适定性，其初始数据分别属于 $L^2$ 或 $H^1$，或属于 $H^1$ 的加权子空间。第一种方法基于 Strichartz 估计，因此对于幂次 $α eq 1$ 的非线性项，$H^1$ 适定性通常成立。第二种方法是直接应用与导数交换的加权估计以及关于初始数据的某个下确界条件，因此可以处理整个范围 $0 < α< ty$ 的非线性项；此外，它还能处理不同非线性项的和。最后，我们将第二种方法应用于具有有限多个组合非线性项的 NLS 方程，这在物理应用（例如激光光学）中很重要，因为由于缺乏缩放不变性，使用第一种方法获得局部适定性更具挑战性，甚至可能无法实现。

12. 各向同性 Landau 方程的刚性/柔性临界阈值

A sharp rigidity/flexibility threshold for the isotropic Landau equation

作者: Nicholas Gismondi, William Golding, Matthew Novack

类别: math.AP

发布日期: 2026-08-13

arXiv ID: 2608.13758v1

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

摘要翻译

中文标题: 各向同性 Landau 方程的刚性/柔性临界阈值

摘要翻译: 我们建立了 Krieger–Strain 方程（Landau–Coulomb 方程的一个各向同性模型）的平稳解的刚性/柔性临界阈值。对于每个 $1< p < rac65$，我们利用 Nash 迭代构造了属于 $L^1( extbf{R}^3) ackslash L^p( extbf{R}^3)$ 的非平凡、非负解，这些解具有任意强的指数局域化。反之，任何属于 $L^{ rac65}( extbf{R}^3)$ 的平稳弱解都是平凡的，从而将 $L^{ rac65}( extbf{R}^3)$ 识别为一个新的尖锐可积性阈值。据我们所知，这是首次将 Nash 迭代用于碰撞动力学理论中的非线性方程。该构造基于 Krieger–Strain 算子内部的高–高–低抵消机制，并表明此类机制可能在动力学理论中更广泛地出现。该构造必须适应该方法所不常见的动力学特征，包括一个强非局部碰撞算子；一个本质上定义在全空间而非周期盒上的方程；以及一个正标量未知量。在如此低的正则性水平下，通常形式的碰撞算子并非先验良定义的，因此问题的核心部分在于明确说明所构造的对象以何种意义求解该方程。我们隔离出“磨光子汇聚”（mollifier confluence）这一概念，这是一种解释低于分布相乘朴素阈值的非线性的简单且规范的方式。我们以此定义为基础，系统处理了弱解的各种概念，并给出了若干显式形式计算和澄清性示例，这些内容可能具有独立兴趣。

13. 空间形式中的正则化距离及其应用

Regularized distance in space forms and its application

作者: Xiaodong Cao, Ling Xiao

类别: math.AP

发布日期: 2026-08-13

arXiv ID: 2608.13704v1

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

摘要翻译

中文标题: 空间形式中的正则化距离及其应用

摘要翻译: 我们为空间形式 $ abla^n(K)$ 中的星形区域构造了正则化距离函数，并导出了其 Hessian 的显式公式，该公式以边界的曲率表示。作为应用，我们利用这些正则化距离函数构造屏障，并在边界分量满足适当条件的情况下，证明了 $ abla^n$ 和 $ abla^n$ 中环域上退化 $σ_k$ 方程存在一个容许的 $C^{1,1}$ 解。

14. 固定角度逆散射与非恒定波速

Fixed angle inverse scattering with non-constant velocity

作者: Lauri Oksanen, Rakesh, Mikko Salo

类别: math.AP

发布日期: 2026-08-13

arXiv ID: 2608.13670v1

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

摘要翻译

中文标题: 固定角度逆散射与非恒定波速

摘要翻译: 本文研究变声速下波动方程的形式确定逆问题。我们证明，通过测量有限多个平面波及其互补解的边界数据，可以唯一地恢复二阶双曲算子最高阶项的未知系数，该算子具有与时间无关的系数。这一结果改进了文献 [10]、[11] 中的刚性结果，后者比较了由黎曼度量生成的波动算子与由欧几里得度量生成的波动算子。我们将两个具有相同低阶项且系数与时间无关的二阶双曲算子进行比较。然而，我们要求其中一个算子所关联的几何满足伪凸性条件、无焦散条件以及张成条件。特别地，其中一个算子可以是声速接近常数的波动算子，而另一个算子可以是任意的。为证明上述结果，我们引入了由入射平面波产生的广义平面波解的互补解的概念。该互补解在界面处光滑地延拓了广义平面波。未知系数出现在界面的输运方程中。我们表明，可以通过一系列针对波动算子的 Carleman 估计，从该输运方程和边界数据中提取出内部的未知系数。

15. 二维饱和离散非线性薛定谔方程的基态与周期到局域化收敛

Ground States and Periodic–to–Localized Convergence in Two–Dimensional Saturable Discrete Nonlinear Schrödinger Equations

作者: Vassilios M Rothos

类别: math.AP, math.DS, math.FA, nlin.PS

发布日期: 2026-08-14

arXiv ID: 2608.14174v1

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

摘要翻译

中文标题: 二维饱和离散非线性薛定谔方程的基态与周期到局域化收敛

摘要翻译: 我们研究定义在格点 $ abla imes abla imes$ 上的具有饱和非线性的二维离散非线性薛定谔方程。基于 Nehari 流形的变分方法，我们在有限格点上建立了非平凡周期基态的存在性，并在 $ abla imes abla imes$ 中建立了指数局域化基态的存在性。一个主要结果是严格地从周期态过渡到局域化态：我们表明，在格点平移意义下，当格点周期趋于无穷大时，周期基态在 $ abla imes abla imes$ 中强收敛于一个局域化基态。该分析结合了变分方法、离散拉普拉斯算子的谱性质以及适应于二维离散情形的集中紧性技术。我们进一步导出了所得解的定性性质，包括正性和指数局域化，并在 Grillakis–Shatah–Strauss 框架内建立了条件轨道稳定性结果。数值计算阐明了理论结果并证实了预测的收敛和局域化行为。

不相关论文（基本信息）

1. 具有有限次随机测量的解析反问题

Analytic inverse problems with finitely many random measurements

作者: Giovanni S. Alberti, Damiano Poletti, Simone Sanna, Matteo Santacesaria

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

发布日期: 2026-08-14

arXiv ID: 2608.14324v1

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

摘要: While infinite-dimensional inverse problems are traditionally analyzed assuming continuous data, practical applications rely on finitely many discrete measurements. Recent deterministic approaches establish that unknowns belonging to a $d$-dimensional model class can be stably recovered from finitely many measurements. However, for severely ill-posed problems, such as the Calderón problem and inverse scattering, the known constructions may require a number of measurements that is exponential in $d$. We show that random sampling reduces this count dramatically if one asks only for exact identifiability. By exploiting the analytic geometry of the forward maps, we prove that, whenever the infinite-data problem is injective on the model class, $2d+1$ random scalar measurements determine the unknown uniquely, almost surely. Applications are given to the Calderón problem, with both infinite- and finite-dimensional boundary sampling, and to inverse medium scattering from randomly sampled far-field values.

2. 几乎等斜拉格朗日子流形

Almost isoclinic Lagrangian submanifolds

作者: Tang-Kai Lee, Mu-Tao Wang

类别: math.DG, math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14444v1

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

摘要: We introduce the almost isoclinic region in the oriented Lagrangian Grassmannian ${\rm Lag}^+(n)$ of $\mathbb{C}^n$, an intrinsic higher-dimensional analog of a natural convex region in ${\rm Lag}^+(2) \simeq \mathbb S^1\times \mathbb S^2$. A Lagrangian submanifold is called almost isoclinic if its Gauss map takes values in this region, extending the graphical condition that the characteristic angles of the tangent plane remain uniformly close. We construct a canonical positive function $Λ$ on this region and prove that $\log Λ$ is concave with respect to the invariant Grassmannian metric. This property yields subharmonicity and monotonicity formulas for minimal Lagrangians and Lagrangian mean curvature flow. As applications, we prove rigidity and Bernstein-type results, including that an almost isoclinic asymptotically conical minimal Lagrangian with one end and a positive lower bound for $Λ$ must be a Lagrangian $n$-plane.

3. Ricci 流热核的Fisher度量

The Fisher Metric of the Ricci Flow Heat Kernel

作者: Bennett Chow, Robert Koirala

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

发布日期: 2026-08-14

arXiv ID: 2608.14478v1

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

摘要: We introduce and study a Fisher information metric $g^F_τ$ associated to the conjugate heat kernel of a Ricci flow $(M^n,g_t)$. This tensor measures, at a fixed scale, how the pointed heat-kernel measure changes when the base point is moved. We prove that $g^F_τ$ is monotone in scale and satisfies $g^F_τ\le g_t$. We relate its trace to the pointed Nash entropy and prove a matrix square identity for the Fisher defect $g_t-g^F_τ.$ This identity gives a rigidity theorem for the equality case; on closed connected flows one has the strict inequalities $0<g^F_τ<g_t$ at every positive scale, while in the complete case equality forces a Euclidean splitting. We also develop several consequences of this point of view. These include a sharp reverse Poincaré inequality for the heat semigroup, a contraction formula for $\varphi$-divergences along conjugate heat flow, and a canonical construction of heat-kernel splitting maps from large eigenvalues of the Fisher endomorphism. As applications, we relate pointed Nash entropy close to $0$ to small Fisher deficit at comparable scales, and we obtain a codimension-one Fisher-metric criterion for applying Bamler’s $\varepsilon$-regularity theorem.

4. 具有二次分支集的非退化$ℤ_2$调和函数的构造与刚性

Constructions and Rigidity of Nondegenerate $\mathbb{Z}_2$ Harmonic Functions with Quadric Branching Sets

作者: Yuanbo Zhou

类别: math.DG, math.AP

发布日期: 2026-08-14

arXiv ID: 2608.14040v1

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

摘要: We study nondegenerate $\mathbb Z_2$ harmonic functions on Euclidean spaces with branching loci given by ellipsoids and planar conics. We first prove that the parameter map associated with Yan’s ellipsoidal family is injective. Together with Yan’s surjectivity result, this identifies the ellipsoidal models, up to Euclidean motions and overall sign, with nondegenerate harmonic quadratic polynomials of index $n-1$ and positive critical value. In $\mathbb R^3$, we use modified ellipsoidal coordinates to construct a nondegenerate $\mathbb Z_2$ harmonic function in a neighborhood of any planar hyperbola. We then show that no global critical $\mathbb Z_2$ harmonic function with a planar hyperbola as branch locus can have finite Almgren frequency at infinity. Using modified paraboloidal coordinates, we construct a global nondegenerate $\mathbb Z_2$ harmonic function with any prescribed planar parabola as branch locus and obtain a precise asymptotic expansion and scale-down limit. Finally, we identify the parabolic model as the infinitesimal two-valued graph potential of a family of special Lagrangian three-folds constructed by Joyce.