生成时间: 2026年06月15日 08:42:39

运行状态: 完成

计划处理论文数量: 22

已完成论文数量: 22

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 9

不相关论文数量: 7

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

1. 非恒定核的 Euler-对齐系统周期熵解的衰减

Decay of periodic entropy solutions to Euler-alignment systems with non-constant kernel

作者: Debora Amadori, Cleopatra Christoforou, Gianmarco Cipollone

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14446v1

摘要翻译: 我们在环面上考虑一类带压强的类群集流体力学模型，其相互作用核可积且密度远离零。我们证明：若存在一个熵弱解，则其 $$L^2$$ 范数以指数速率衰减至周期上的平均值。该证明依赖于对一个适当能量泛函的研究，该泛函结合了系统的严格凸熵与一个势能项；这使得我们能够处理一类属于 $$L^1$$ 的严格正卷积核所对应的非局部源项。

Comment: 无

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

1. 研究对象和背景

本文研究一维环面 $\mathbb{T} = \mathbb{R}/2\mathbb{Z}$ 上带压强项的欧拉-对齐（Euler-alignment）系统，其原始形式为

\begin{cases} \partial_t \rho + \partial_x(\rho v) = 0, \\ \partial_t(\rho v) + \partial_x\big(\rho v^2 + p(\rho)\big) = \int_{\mathbb{T}} K(x - x') \rho(x) \rho(x') \big(v(x') - v(x)\big) \, dx', \end{cases} \tag{1.1}

其中 $\rho = \rho(x,t) > 0$ 为密度， $$v = v(x,t)$$ 为速度， $p = p(\rho)$ 为等熵压强，满足 $p \in C^1([0,+\infty); [0,+\infty))$ 且 $$p' > 0$$ ；卷积核 $K : \mathbb{T} \to \mathbb{R}$ 满足 $K \in L^1(\mathbb{T})$ 、偶性及严格正下界：

\overline{K} := \operatorname{ess\,inf}_{x \in [-1,1)} K(x) > 0. \tag{1.3}

该模型源于自组织动力学的宏观描述，如鸟群、鱼群的集体运动，由 Cucker–Smale 模型的流体力学极限导出。与经典 Euler 方程不同，右端非局部源项 $G[\rho,m](x) = \int_{\mathbb{T}} K(x-x') (\rho(x)m(x') - \rho(x')m(x)) \, dx'$ （其中 $m = \rho v$ ）刻画了个体间基于相对速度的对齐机制，具有耗散本质，但因非局部性与非线性耦合而难以直接控制。

本文聚焦于非真空情形（即密度一致远离零）下的周期熵弱解 $(\rho,m)$ 的长时间行为。关键设定是：存在全局或局部熵弱解 $(\rho,m)$ 满足一致正则性先验估计

0 < \overline{\rho}_{\inf} \leq \rho(x,t) \leq \overline{\rho}_{\sup} < +\infty, \quad \forall (x,t) \in \mathbb{T} \times [0,T^*), \tag{1.6}

其中 $T^* \in (0,+\infty]$ 。该假设排除了真空奇点，使系统保持双曲性与椭圆性混合结构，并允许定义相对熵。研究对象的核心数学问题是：在非恒定、可积、严格正核 $$K$$ 下，熵解是否以指数速率收敛至空间平均态 $(\overline{\rho}, \overline{m})$ ？现有工作存在明显空白：(i) 对常数核 $K \equiv \overline{K} > 0$ ，文献 [3] 建立了 BV 熵解的整体存在性（对线性压强 $p(\rho)=\kappa \rho$ ），但未讨论衰减；(ii) 对奇异核 $K(x)=|x|^{-\beta}$ （ $0<\beta<3/2$ ），文献 [6] 通过相对熵方法从 BGK 模型推导出系统，但仅处理光滑解或小初值情形；(iii) 对一般 $$L^1$$ 正核，解的存在性本身尚在研究中（文中称“forthcoming publication”），更无衰减结果。因此，本文试图填补的关键空白是：在不依赖小初值、不假设解的高正则性（如 $$C^1$$ 或 BV）、仅需 $L^\infty$ 密度有界远离零的前提下，证明任意熵弱解的 $$L^2$$ 指数衰减，且衰减速率显式依赖于 $\overline{K}$ 和 $\overline{\rho}$ ，而非核的精细结构（如 Hölder 指数或奇异阶）。这要求发展一套能同时驾驭非局部源项、非线性双曲通量与熵结构的新型能量方法。

2. 主要定理或主要结果

本文核心结论由定理 1.1 与等价形式定理 2.1 给出：在假设 (1.2)（ $$p' > 0$$ ）、(1.3)（ $K \in L^1$ , 偶, $\overline{K}>0$ ）及 (1.6)（密度一致有界远离零）下，若 $(\rho,m)$ 是系统 (1.4)–(1.5) 在 $\mathbb{T} \times [0,T^*)$ 上的熵弱解，则存在与 $$T^*$$ 无关的正常数 $\mu, c > 0$ ，使得

\|\rho(\cdot,t) - \overline{\rho}\|_{L^2(\mathbb{T})} + \|m(\cdot,t) - \overline{m}\|_{L^2(\mathbb{T})} \leq \mu \big( \|\rho_0 - \overline{\rho}\|_{L^2(\mathbb{T})} + \|m_0 - \overline{m}\|_{L^2(\mathbb{T})} \big) e^{-ct}, \quad \forall t \in [0,T^*). \tag{1.7}

其中 $\overline{\rho} = \frac{1}{2} \int_{\mathbb{T}} \rho_0$ , $\overline{m} = \frac{1}{2} \int_{\mathbb{T}} m_0$ 为初值的平均值。等价地，在平移变量 $\tilde{\rho} = \rho - \overline{\rho}$ , $\tilde{m} = m - \overline{m}$ 下（满足 $\int_{\mathbb{T}} \tilde{\rho} = \int_{\mathbb{T}} \tilde{m} = 0$ ），定理 2.1 断言

\| (\tilde{\rho}, \tilde{m})(\cdot,t) \|_{L^2(\mathbb{T})} \leq \mu e^{-ct} \| (\tilde{\rho}_0, \tilde{m}_0) \|_{L^2(\mathbb{T})}, \quad \forall t \in [0,T^*). \tag{2.11}

常数 $$c$$ 的显式下界由 (3.8) 给出： $c = \min\left\{ \frac{\sigma \kappa - 1/\overline{K}}{\sigma c_2 + 2 + 1/(\overline{K} \overline{\rho})},\, \frac{\beta}{\sigma c_2 + 2 + 1/(\overline{K} \overline{\rho})} \right\}$ ，其中 $\kappa, \beta$ 满足 $0 < \kappa < 2 \overline{K} \overline{\rho}$ , $0 < \beta < C/(\overline{K} \overline{\rho})$ ， $C = \inf_{r \in (\overline{\rho}_{\inf}, \overline{\rho}_{\sup})} p'(r) > 0$ ； $\sigma > 0$ 为足够大的参数， $$c_1, c_2$$ 由 (2.25) 定义，依赖于 $\overline{\rho}_{\inf}, \overline{\rho}_{\sup}$ 及 $$p'$$ 的上下界。特别地， $\mu$ 和 $$c$$ 仅依赖于密度的 $L^\infty$ 界，与动量的大小无关。该衰减蕴含速度对齐：若 $T^* = +\infty$ ，则 $\|v(\cdot,t) - \overline{v}\|_{L^2(\mathbb{T})} \to 0$ ，其中 $\overline{v} = \overline{m}/\overline{\rho}$ 。

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

证明的核心障碍在于非局部源项 $G[\rho,m]$ 的双重非线性：它既非单调（因含 $\rho(x)\rho(x')$ ），又非局部（无法用标准能量法直接积分分部）。作者摒弃传统线性化或小初值框架，构建了一个精巧的 Lyapunov 泛函 $$E(t)$$ ，其创新性体现在三重耦合结构：

严格凸相对熵 $\tilde{\eta}$ 的构造与控制：作者并未采用标准 $\rho$ -熵 $\int \rho \varepsilon(\rho)$ ，而是定义平移熵
$\tilde{\eta}(\tilde{\rho}, \tilde{m}) = (\tilde{\rho} + \overline{\rho})(\varepsilon(\tilde{\rho} + \overline{\rho}) - \varepsilon(\overline{\rho})) - \tilde{\rho} \overline{\rho} \varepsilon'(\overline{\rho}) + \frac{1}{2} \frac{\tilde{m}^2}{\tilde{\rho} + \overline{\rho}}, \quad \varepsilon'(\omega) = \frac{p(\omega)}{\omega^2},$
该熵在 $$(0,0)$$ 处归一化（ $\tilde{\eta}(0,0)=0$ , $\nabla \tilde{\eta}(0,0)=0$ ），且由 $$p'>0$$ 及 (1.6) 保证其 Hessian 矩阵正定，从而存在 $$0<c_1<c_2$$ 使得 $c_1(\tilde{\rho}^2 + \tilde{m}^2) \leq \tilde{\eta} \leq c_2(\tilde{\rho}^2 + \tilde{m}^2)$ 。此 $\tilde{\eta}$ 是唯一能与非局部项产生可控耗散的凸泛函。
势函数 $\Phi$ 的引入与估计：定义 $\Phi(x,t) = \int_0^x \tilde{\rho}(y,t)\,dy - \frac{1}{2} \int_{-1}^1 \int_0^z \tilde{\rho}(y,t)\,dy\,dz$ ，其关键性质是 $\partial_x \Phi = \tilde{\rho}$ , $\partial_t \Phi = -\tilde{m}$ ，且 $\|\Phi\|_{L^2} \leq 2 \|\tilde{\rho}\|_{L^2}$ （见 (2.23)）。 $\Phi$ 将密度扰动的 $$L^2$$ 范数转化为一个具有零均值的周期函数，为后续与 $\tilde{m}$ 的耦合提供桥梁。
能量泛函 $$E(t)$$ 的合成与 Gronwall 闭合：最终能量定义为
$E(t) = \int_{\mathbb{T}} \left( \sigma \tilde{\eta} + \Phi^2 - \frac{1}{\overline{K} \overline{\rho}} \Phi \tilde{m} \right) dx, \quad \sigma > 0.$
其精妙之处在于交叉项 $-\frac{1}{\overline{K} \overline{\rho}} \Phi \tilde{m}$ ：利用 $\partial_t \Phi = -\tilde{m}$ ，该项的时间导数产生 $+\frac{1}{\overline{K} \overline{\rho}} \tilde{m}^2$ ，恰好补偿非局部项中出现的 $-2\overline{K} \overline{\rho} \frac{\tilde{m}^2}{\tilde{\rho}+\overline{\rho}}$ 的负耗散部分。通过对 $$E(t)$$ 求导并代入熵不等式 (2.26) 及非局部泛函 $$H(t)$$ 的恒等式 (2.18)，作者得到
$\frac{d}{dt} E(t) \leq -\left( \sigma \kappa - \frac{1}{\overline{K}} \right) \int_{\mathbb{T}} \frac{\tilde{m}^2}{\tilde{\rho}+\overline{\rho}} dx - \beta \int_{\mathbb{T}} \tilde{\rho}^2 dx,$
其中 $\kappa, \beta$ 由 (2.17) 选取。再结合 $$E(t)$$ 与 $\| (\tilde{\rho}, \tilde{m}) \|_{L^2}^2$ 的等价性（由 $\sigma$ 充分大保证），应用 Gronwall 不等式即得指数衰减。

4. 与之前工作的比较

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

核的正则性与适用范围：此前工作 [3, 6, 15] 主要针对常数核 $K\equiv \overline{K}$ 或奇异核 $K(x)=|x|^{-\beta}$ （ $\beta<3/2$ ），其分析严重依赖核的特定结构（如 Fourier 乘子或 Riesz 势理论）。本文将适用范围大幅拓宽至任意 $$L^1$$ 严格正偶核，仅需 $\overline{K}>0$ ，无需 Hölder 连续性、衰减率或奇异积分性质。代价是无法获得与核精细结构相关的衰减速率（如 $\beta$ 依赖），但换来了普适性。
解的正则性假设：文献 [5, 11, 12] 要求初值足够小或解具 $$C^1$$ / BV 正则性，以启动迭代或特征线方法。本文仅假设熵弱解存在且密度 $L^\infty$ 有界远离零，这是最弱的物理合理假设，且不预设任何小量条件。代价是无法得到 $L^\infty$ 或 $$BV$$ 范数的衰减，仅限 $$L^2$$ 。
压力定律的通用性：[1, 2] 仅处理线性压强 $p(\rho)=\kappa \rho$ ；[6] 要求 $p(\rho)=\rho^3$ （对应 $\varepsilon(\rho)=\rho^2/2$ ）。本文允许任意 $$C^1$$ 严格增压强 $$p'$$ ，只要满足 (1.2)，并通过 $\varepsilon'(\omega)=p(\omega)/\omega^2$ 构造适配熵，极大提升了模型物理真实性。
方法论的原创性：相比 [13] 中对压力为零系统的对齐泛函 $$H(t)$$ ，本文首次将 $$H(t)$$ 与相对熵 $\tilde{\eta}$ 及势函数 $\Phi$ 三者耦合，形成 $$E(t)$$ 。这种三重结构是处理非局部源项的全新范式，避免了 [7, 8] 中对小 BV 数据的半群方法或 [10] 中对守恒律总变差 $$1/t$$ 衰减的局限。从提供内容中无法确认本文结果能否推广至多维情形或非周期边界，亦未显式展开与 [4, 16] 等综述性文献的比较。

2. 等熵可压欧拉方程全局适定时间可容许弱解的非唯一性：对一大类初值数据成立

Non-uniqueness of global-in-time admissible weak solutions to the isentropic compressible Euler equations for a dense set of initial data

作者: Daniel W. Boutros, Simon Markfelder

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14308v1

摘要翻译: 近年来，凸积分技术表明：对某些初值数据（亦称“野生初值数据”），数学流体力学中的若干偏微分方程模型允许存在大量可容许（弱）解。本文关注的是：对于等熵欧拉方程，此类野生初值数据所构成的集合究竟有多大？我们证明：野生初值数据在 $$L^r$$ 中构成一个稠密集，其中任意 $r \in [1,\infty)$ 。与现有文献中的结果不同，本文中所谓“野生初值数据”，是指那些能产生无穷多个全局适定时间弱解的数据，且这些弱解满足局部能量不等式意义下的可容许性条件。换言之，具有无穷多个可容许弱解（该性质不依赖于时间区间的选取）的初值数据集在 $$L^r$$ 中稠密。构造中的一项新颖之处在于：我们采用测度值（耗散型）解作为子解的试探解（ansatz）。这要求若干新思想，以确保子解所需的正则性，并获得密度的下界估计。证明中另一关键要素是：（局部）能量密度与能量通量被作为凸积分方案的一部分而被显式构造出来，从而保证所得解满足局部能量不等式。

Comment: 53 pages

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

1. 研究对象和背景

本文研究 $$n = 2$$ 或 $$3$$ 维环面 $\mathbb{T}^n$ 上的等熵可压缩欧拉方程初值问题：

\partial_t \varrho + \operatorname{div} m = 0, \tag{1.1}

\partial_t m + \operatorname{div} \left( \frac{m \otimes m}{\varrho} \right) + \nabla p(\varrho) = 0, \tag{1.2}

其中密度 $\varrho = \varrho(t,x) > 0$ ，动量 $m = m(t,x) \in \mathbb{R}^n$ ，压力由 $\gamma$ -律给出：

p(\varrho) = \kappa \varrho^\gamma, \quad \kappa > 0, \; 1 < \gamma \leq 1 + \frac{2}{n}. \tag{1.3}

该约束 $\gamma \leq 1 + 2/n$ 对能量不等式闭包与凸积分构造至关重要（见 Remark 1.2, Rem. 4.3, Lemma 5.6）；物理上对应自由度 $f \geq n$ 的气体，包含单原子气体情形 $\gamma = 1 + 2/n$ 。初始条件为

(\varrho, m)(0, \cdot) = (\varrho_0, m_0), \quad \varrho_0 \in L^\infty(\mathbb{T}^n; \mathbb{R}_+), \; m_0 \in L^\infty(\mathbb{T}^n; \mathbb{R}^n). \tag{1.4}

适定弱解定义为满足分布意义下方程 (1.1)–(1.4) 及局部能量不等式：

\partial_t \left( \frac{|m|^2}{2\varrho} + P(\varrho) \right) + \operatorname{div} \left[ \left( \frac{|m|^2}{2\varrho} + P(\varrho) + p(\varrho) \right) \frac{m}{\varrho} \right] \leq 0, \tag{1.5}

其中压力势 $P(\varrho) = \frac{\kappa}{\gamma - 1} \varrho^\gamma$ 。等价地，对所有非负测试函数 $\psi \in C_c^\infty([0,\infty) \times \mathbb{R}^2; \mathbb{R}_{\geq 0})$ ，

$$ \int_0^T \int_{\mathbb{T}^n} \left[ \left( \frac{|m|^2}{2\varrho} + P(\varrho) \right) \partial_t \psi + \left( \frac{|m|^2}{2\varrho} + P(\varrho) + p(\varrho) \right) \frac{m}{\varrho} \cdot \nabla \psi \right] dx dt \

\int_{\mathbb{T}^n} \left( \frac{|m_0|^2}{2\varrho_0} + P(\varrho_0) \right) \psi(0,\cdot) dx \geq 0. \tag{1.9} $$

经典理论表明，当初始数据足够正则（如 Lipschitz 连续或光滑），局部适定性成立（见 [8, Cor. 1.2], [13]）；但对低正则初值，弱解存在性与唯一性均失效。De Lellis–Székelyhidi 首创凸积分法，证明存在“wild initial data”——即能产生无穷多适定弱解的初值。然而，既有工作对“wild”的定义不一：Chen–Vasseur–Yu [6] 证明 $$L^2$$ -稠密性，但其解仅满足全局能量不等式 $\int_{\mathbb{T}^n} \left( \frac{|m(t)|^2}{2\varrho(t)} + P(\varrho(t)) \right) dx \leq \int_{\mathbb{T}^n} \left( \frac{|m_0|^2}{2\varrho_0} + P(\varrho_0) \right) dx$ ；Chiodaroli–Feireisl [10] 改进为局部能量不等式，但解仅局部存在（存在时间 $$T > 0$$ 依赖于初值本身）。本文旨在填补关键空白：证明存在一个初值集合，其元素在任意 $$T > 0$$ 下均能生成无穷多全局时间适定弱解，且该集合在 $$L^r$$ （任意 $r \in [1,\infty)$ ）中稠密。此结果将“wildness”从依赖于初值的时间尺度提升至真正全局、一致的时间尺度，是适定性理论中关于解结构本质脆弱性的最强稠密性陈述之一。

2. 主要定理或主要结果

定理 2.2（主结果）：对任意 $r \in [1,\infty)$ ，任意初值 $(\varrho_0, m_0) \in L^r(\mathbb{T}^n; \mathbb{R}_{\geq 0} \times \mathbb{R}^n)$ 及任意 $\varepsilon > 0$ ，存在 wild 初值 $(\varrho_{0,\varepsilon}, m_{0,\varepsilon}) \in L^\infty(\mathbb{T}^n; \mathbb{R}_+ \times \mathbb{R}^n)$ 满足

\|\varrho_{0,\varepsilon} - \varrho_0\|_{L^r(\mathbb{T}^n)} < \varepsilon, \quad \|m_{0,\varepsilon} - m_0\|_{L^r(\mathbb{T}^n)} < \varepsilon. \tag{2.2}

此处“wild 初值”按定义 2.1：对任意 $$T > 0$$ ，存在无穷多适定弱解 $(\varrho, m)$ ，满足 $\varrho \in C^1([0,T] \times \mathbb{T}^n; \mathbb{R}_+)$ ， $m \in C_{\text{weak}}([0,T]; L^2(\mathbb{T}^n; \mathbb{R}^n)) \cap L^\infty((0,T) \times \mathbb{T}^n; \mathbb{R}^n)$ ，且严格满足 (1.1)–(1.4) 与 (1.5)。该结论强于 [10, Thm. 1.3]：后者仅保证存在某个 $T = T(\varrho_0,m_0) > 0$ （可能极小），而本文要求对所有 $$T > 0$$ 成立，故 wild 集合更小、结论更强。证明核心依赖于 Proposition 3.1：若存在严格子解 $(\varrho, m, U, q, F)$ ，即 $\varrho \in C^1([0,T] \times \mathbb{T}^n; \mathbb{R}_+)$ ， $(m,U,q,F) \in C_{\text{weak}}([0,T]; L^2(\mathbb{T}^n; PH)) \cap C^1((0,T) \times \mathbb{T}^n; PH)$ ，满足 (3.10)–(3.12) 点态成立，且存在 $Q \in C^1([0,T] \times \mathbb{T}^n; \mathbb{R}_+)$ 使得 $(m,U,q,F)(t,x) \in \mathcal{U}_{\varrho(t,x), Q(t,x)} := \left( K_{\varrho(t,x), Q(t,x)} \right)^{\circ}_{\text{co}}$ 对所有 $(t,x) \in (0,T) \times \mathbb{T}^n$ 成立，则存在无穷多弱解 $(\varrho \equiv \varrho, m)$ 满足 (3.15)–(3.17)；若进一步满足 $(m,U,q,F)(0,x) \in K_{\varrho(0,x), Q(0,x)}$ a.e. $$x$$ ，则这些解自动适定（因初始能量匹配）。Proposition 3.3 则提供子解与初值的修正机制，确保该初始能量匹配条件在某 $T_0 \in (0,T)$ 处实现，从而将 $$T_0$$ 视为新初始时刻。

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

本文核心障碍在于：传统凸积分构造（如 [6,10]）固定密度 $\varrho$ 并仅振荡动量 $$m$$ ，导致子解无法同时满足局部能量不等式与初始能量精确匹配；且既有框架难以控制密度下界以避免真空。作者提出三项根本性创新：

第一，采用测度值（耗散型）弱解作为子解的初始 ansatz（见 Section 4.2）。该解由强解短时演化后经 mollification 构造，满足 $\varrho > 0$ 及耗散能量不等式 $\partial_t E + \operatorname{div} F \leq 0$ ，但未必满足欧拉方程点态成立。此 ansatz 允许在后续凸积分迭代中同时调控 $\varrho$ 、 $$m$$ 、能量密度 $$E$$ 与能量通量 $$F$$ ，突破了仅振荡 $$m$$ 的限制。

第二，将局部能量密度 $$E$$ 和能量通量 $$F$$ 显式纳入凸积分方案（Section 3.1）。通过引入辅助变量 $U \in \operatorname{Sym}_0(n)$ （迹零对称矩阵）、标量 $$q$$ （压力与动能贡献的迹部分），将原系统重写为微分包含：

\partial_t \varrho + \operatorname{div} m = 0, \quad \partial_t m + \operatorname{div}(U + q I) = 0, \quad \partial_t \left( \frac{n}{2}(q - p(\varrho)) + P(\varrho) \right) + \operatorname{div} F \leq 0,

并定义构型集 $K_{\varrho,Q} := \{ (m,U,q,F) \in PH \mid (3.4),(3.9) \text{ 成立且 } q \leq Q \}$ 。关键在于， $$E$$ 与 $$F$$ 不再由 $m,\varrho$ 被动导出，而是作为独立变量参与振荡，从而主动控制局部能量耗散率。

第三，设计新型子解修正技术（Section 5.3–5.4）。为确保 $\varrho$ 有正下界，作者在 mollification 后引入显式下界估计（Step 5.3.3），利用 $\gamma \leq 1 + 2/n$ 得到 $$L^2$$ -型能量控制；为实现初始能量匹配，Proposition 3.3 将子解 $(\varrho,m,U,q,F)$ 与初值 $(\varrho_0,m_0)$ 同时扰动：先构造满足 $\partial_t \varrho + \operatorname{div} m = 0$ 的近似解，再通过解 Poisson 方程（Appendix D）与 Helmholtz 分解（D）生成满足 (3.11)–(3.12) 的 $$U,q,F$$ ；最后利用 Jensen 不等式（Appendix C）及 $K_{\varrho,Q}$ 的凸包性质，证明修正后的子解落入 $\mathcal{U}_{\varrho,Q}$ 内部，从而触发 Proposition 3.1 的无穷多解结论。整个框架依赖于三维情形下 [23, Lemma 3.3] 的推广（Appendix A）及能量通量的八种特定构造（Appendix B），构成一套自洽的全局时间凸积分流水线。

4. 与之前工作的比较

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

（1）时间尺度维度：[6] 与 [10] 均未实现真正的全局时间稠密性。[6] 的解虽全局存在，但仅满足全局能量不等式（1.10），无法排除能量在局部区域异常聚集的可能性；[10] 的解满足局部能量不等式（1.5），却仅局部存在（存在时间 $$T$$ 依赖于初值模长与正则性，可能随 $\varepsilon \to 0$ 衰减至零）。本文定理 2.2 要求对任意 $$T > 0$$ 存在无穷多解，意味着 wild 初值的“病态性”不随时间演化而缓解，而是贯穿全部时间轴。这直接否定了“足够长时间后解趋于唯一”的朴素猜想，揭示了适定性失效的顽固性。

（2）适定性标准维度：本文 wild 初值定义（Definition 2.1）比 [10] 更严格。[10] 中 wild 意味着存在某个 $$T > 0$$ 使初值产生无穷多适定解；本文则要求该性质对所有 $$T > 0$$ 成立。因此，本文所证稠密集是 [10] 所证稠密集的子集，结论更强。Remark 2.4 明确指出：“our result is indeed stronger than [10, Thm. 1.3]”，且 Section 6 进一步对比显示，[10] 的构造在 $$T$$ 增大时需重新选择子解参数，而本文通过将 $$E,F$$ 纳入凸积分，使子解在任意 $$[0,T]$$ 上保持有效性。

（3）技术代价维度：更强的结论带来更高技术门槛。[6] 使用经典凸积分（固定 $\varrho$ ，振荡 $$m$$ ），[10] 改用 [23] 框架但仅处理局部时间。本文必须同时解决三个难题：a) 密度正则性：通过测度值解 ansatz 与 mollification 保证 $\varrho \in C^1$ 且 $\inf \varrho > 0$ （Remark 1.1）；b) 能量匹配：Proposition 3.3 的双重修正（子解与初值）是 [3] 中全新工具，此前未用于压缩流；c) 三维适配：Appendix A 与 B 完成 [23] 二维结果到三维的非平凡推广，包括构造满足 $\operatorname{curl} \mathbf{v} = \mathbf{f}$ 的向量场 $\mathbf{v}$ （A）及验证八种能量通量的凸包性质（B）。这些新增技术环节显著增加了证明复杂度，但换来了迄今最锐利的稠密性结论。从提供内容中无法确认本文结果是否可推广至 $\gamma > 1 + 2/n$ 或无界域，亦未显式讨论数值实现可能性。

3. 全变量不连续哈密顿量的完全非线性偏微分方程的强比较原理

Strong comparison principle for fully nonlinear partial differential equations with Hamiltonians discontinuous in all variables

作者: Isaac Ohavi

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14481v1

摘要翻译: 我们建立了关于粘性解的强比较原理，适用于由二阶哈密顿量驱动的完全非线性椭圆型方程，其中哈密顿量关于所有变量均可不连续。该分析仅依赖于梯度变量上的受控超线性增长以及关于未知函数的结构性单调性，既不要求椭圆性，也不要求系数的连续性。

Comment: New, purely local method for the strong comparison principle of fully nonlinear second-order PDEs, completely bypassing Ishii’s lemma and the doubling-of-variables technique. Establishes the existence and uniqueness of continuous viscosity solutions for Hamiltonians exhibiting complete discontinuity across all variables

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

1. 研究对象和背景

本文研究的是定义在有界开集 $\Omega \subset \mathbb{R}^N$ 上的完全非线性二阶椭圆型方程的粘性解理论，其核心对象为如下 Dirichlet 边值问题：

\begin{cases} H\big(x, u(x), \nabla u(x), \nabla^2 u(x)\big) = 0, & x \in \Omega, \\ u(x) = G(x), & x \in \partial\Omega. \end{cases} \tag{1}

其中哈密顿量 $H : \Omega \times \mathbb{R} \times \mathbb{R}^N \times \mathcal{S}^N(\mathbb{R}) \to \mathbb{R}$ 允许在所有变量 $$(x,u,p,S)$$ 上任意不连续——即 $$H$$ 仅为 Borel 可测函数，甚至不满足半连续性；特别地，它既不要求关于空间变量 $$x$$ 连续，也不要求关于未知函数值 $$u$$ 、梯度 $p = \nabla u$ 或 Hessian 矩阵 $S = \nabla^2 u$ 连续。这彻底突破了经典粘性解理论中对 $$H$$ 的基本正则性假设（如 Ishii [36]、Crandall–Ishii–Lions [28] 所依赖的上/下半连续性或至少 Borel 可测+半连续包络结构）。

该问题的重要性源于其在随机控制与微分对策中的根本建模需求：例如 Hamilton–Jacobi–Bellman (HJB) 方程与 Isaacs 方程天然涉及控制变量的极值运算，导致 $$H$$ 在 $$x$$ 处呈现跳跃、分段常数或更一般 Borel 不连续结构；又如含随机介质、粗糙障碍或异质材料的扩散模型，其系数 $a_{ij}(x), b_i(x), f(x)$ 常仅为可测函数。然而，传统粘性解框架在此类情形下失效：Doubling-of-variables 技术依赖于惩罚项 $\alpha|x-y|^2$ 的光滑性与极限行为，当 $$H$$ 在对角线 $$x=y$$ 上剧烈振荡时，Ishii 引理无法提取一致收敛的二阶 jet；而半连续包络 $$H^*, H_*$$ 的引入虽能恢复解的存在性，却抹去了原始哈密顿量的关键结构信息（如精确的跳跃高度、符号变化模式），且无法保证比较原理成立——事实上，Nadirashvili 的反例 [53] 已表明：即使在线性情形 $L u = \sum_{i,j} a_{ij}(x) \partial_{ij} u = 0$ 中，若 $a_{ij} \in L^\infty$ 但不可测连续，则 Dirichlet 问题存在多个弱解，比较原理彻底失效。

本文试图填补的关键空白在于：是否存在一类足够宽泛、不依赖任何连续性或椭圆性假设的结构性条件，使得完全不连续哈密顿量下的强比较原理仍成立？ 经典文献中，比较原理的成立通常需同时满足：(i) 椭圆性（即 $H(x,u,p,S) \ge H(x,u,p,M)$ 当 $S \le M$ ），(ii) 关于 $$u$$ 的单调性（即 $H(x,u,p,S) - H(x,v,p,S) \ge \lambda(u-v)$ 对 $u \ge v$ ），(iii) $$H$$ 的上/下半连续性。而本文证明：仅需保留 (ii) 与一个受控的超线性增长条件（见下文 (3)），即可建立强比较原理。尤为关键的是，椭圆性被完全移除——这意味着 $$H$$ 可以是退化甚至符号不定的（如 Monge–Ampère 型 $\det(\nabla^2 u) = f(x,u,\nabla u)$ ，其本身不具椭圆性，仅在凸解类中局部椭圆）。这一空白的填补，将粘性解理论的适用边界从“连续扰动下的稳定性分析”推进至“任意可测扰动下的确定性比较”，为处理极端不规则环境中的最优控制问题提供了首个严格分析基础。

2. 主要定理或主要结果

本文在以下两个结构性假设下，对任意有界开集 $\Omega \subset \mathbb{R}^N$ 证明了强比较原理（Theorem 2.1）：

(A1) 严格单调性：存在常数 $\lambda > 0$ ，使得对任意 $(x,u,v,p,S) \in \Omega \times \mathbb{R}^2 \times \mathbb{R}^N \times \mathcal{S}^N(\mathbb{R})$ ，若 $v \le u$ ，则

H(x, u, p, S) - H(x, v, p, S) \ge \lambda (u - v). \tag{2}

(A2) 梯度变量的可控超线性增长：存在指数 $m \ge 1$ ，使得对任意 $$M,K > 0$$ ，存在常数 $C_{M,K} > 0$ ，满足：若 $|u| \le M$ 且 $|S|_{\mathcal{S}^N} \le K$ （此处 $|\cdot|_{\mathcal{S}^N}$ 为对称矩阵的上确界范数），则

|H(x, u, p, S)| \le C_{M,K} \big(1 + |p|\big)^m. \tag{3}

主定理（强比较原理）：设 $u \in \mathrm{USC}(\overline{\Omega})$ 为 $$H = 0$$ 的粘性上解， $v \in \mathrm{LSC}(\overline{\Omega})$ 为粘性下解，且 $G \in C(\partial\Omega)$ 。若 $$H$$ 满足 (A1)–(A2)，则

\sup_{\Omega} (v - u) = \sup_{\partial\Omega} (v - u). \tag{4}

特别地，若 $$u = v$$ 在 $\partial\Omega$ 上成立，则 $u \le v$ 在 $\overline{\Omega}$ 上处处成立；结合对称性即得唯一性： $u \equiv v$ 。

推论（存在性）：在相同假设下，通过适配不连续框架的 Perron 方法（构造上解族的上包络并应用 Ishii 半连续包络技巧），存在唯一的连续粘性解 $u \in C(\overline{\Omega})$ 满足 (1)。该解满足先验估计：对任意 $x,y \in \overline{\Omega}$ ，

|u(x) - u(y)| \le C \, |x - y|^\alpha, \quad \text{其中 } \alpha = \alpha(N,m,\lambda,C_{M,K}) \in (0,1]. \tag{5}

适用范围示例：定理覆盖以下典型不连续哈密顿量：

Isaacs–HJB 方程： $H(x,u,p,S) = \lambda u + \sup_{a \in A} \inf_{b \in B} \big\{ \sum_i p_i b_i(x,a,b) - \sum_{i,j} a_{ij}(x,a,b) S_{ij} + f(x,a,b) \big\}$ ，其中 $a_{ij}, b_i, f$ 仅为 $L^\infty$ 函数， $$m=1$$ ， $C_{M,K} = \max(\lambda M + \|f\|_{L^\infty} + N^2 K \|a\|_{L^\infty}, \|b\|_{L^\infty})$ ；
拟线性方程： $H(x,u,p,S) = \lambda u + b(x,u,p) - \sum_{i,j} a_{ij}(x,u,p) S_{ij}$ ，其中 $a_{ij}, b$ 满足 $|a_{ij}|, |b| \le C_M (1 + |p|)^m$ ， $C_{M,K} = \lambda M + C_M + N^2 K C_M$ ；
Monge–Ampère 方程： $\det(\nabla^2 u) = f(x,u,\nabla u)$ ，在凸解类中重写为 $H = \lambda u + \log\det(\nabla^2 u) - \log f$ ，满足 (A2) 且 $C_{M,K} = \lambda M + C_M + N! \, K^N$ 。

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

本文方法的核心创新在于彻底摒弃 Doubling-of-variables 与 Ishii 引理，转而构建单点局部化的显式粘性测试函数，其设计目标是：在 $$v-u$$ 的极大值点 $x_0 \in \Omega$ 附近，构造一个辅助函数 $\phi_\varepsilon$ ，使得 $v - (u + \phi_\varepsilon)$ 在 $$x_0$$ 处取得严格局部极大，并能直接导出矛盾。该策略的成功依赖于三个关键技术环节：

1. Eikonal 型辅助方程的构造与求解：对任意小邻域 $O \subset \Omega$ 含 $$x_0$$ ，作者求解边值问题

|\nabla \phi(x)| = \gamma \, \mathrm{dist}(x, \partial O), \quad \phi|_{\partial O} = 0, \tag{6}

其中 $\gamma > 0$ 为待选参数。此方程属于 eikonal 型，其解 $\phi_\varepsilon$ 在 $$O$$ 内光滑（除可能在 $\partial O$ 外），且满足精确的二阶控制： $\|\nabla^2 \phi_\varepsilon\|_{L^\infty(O)} \le C \gamma$ ， $|\nabla \phi_\varepsilon(x)| \le C \gamma \, \mathrm{dist}(x,\partial O)$ 。关键在于， $\phi_\varepsilon$ 的梯度大小与位置相关，从而能在 $$x_0$$ 附近提供精细的“斜率补偿”，抵消 $$H$$ 因不连续性导致的测试函数失效。

2. 局部化机制与边界强制：为确保 $v - (u + \phi_\varepsilon)$ 的极大值点 $\bar{x}_\varepsilon$ 严格位于 $$O$$ 内部（而非趋近 $\partial O$ ），作者在 $\partial O$ 上施加精心设计的边界条件：取 $$O = B_r(x_0)$$ ，并令 $\phi_\varepsilon$ 满足 $\phi_\varepsilon(x) = \varepsilon^{-1} (r - |x - x_0|)^2$ 在 $\partial B_r(x_0)$ 上。此构造迫使 $\bar{x}_\varepsilon \to x_0$ 且 $\nabla \phi_\varepsilon(\bar{x}_\varepsilon) \to 0$ ，同时 $\nabla^2 \phi_\varepsilon(\bar{x}_\varepsilon)$ 保持有界。该机制完全绕开了传统方法中对 $$H$$ 连续性的依赖，因为 $\phi_\varepsilon$ 的构造仅利用几何距离，与 $$H$$ 的振荡无关。

3. 显式指数估计与矛盾导出：利用 $$v$$ 为下解、 $u + \phi_\varepsilon$ 为上解（因 $\phi_\varepsilon$ 光滑），在 $\bar{x}_\varepsilon$ 处应用粘性不等式，得到

H\big(\bar{x}_\varepsilon, v(\bar{x}_\varepsilon), \nabla \phi_\varepsilon(\bar{x}_\varepsilon), \nabla^2 \phi_\varepsilon(\bar{x}_\varepsilon) + \nabla^2 u(\bar{x}_\varepsilon)\big) \le 0 \le H\big(\bar{x}_\varepsilon, u(\bar{x}_\varepsilon), \nabla \phi_\varepsilon(\bar{x}_\varepsilon), \nabla^2 \phi_\varepsilon(\bar{x}_\varepsilon) + \nabla^2 v(\bar{x}_\varepsilon)\big).

由 (A1) 单调性，两式相减得 $\lambda (v - u)(\bar{x}_\varepsilon) \le 0$ ；再结合 (A2) 与 $\nabla \phi_\varepsilon \to 0$ ，利用超线性增长控制高阶项，最终推出 $(v-u)(\bar{x}_\varepsilon) \le 0$ 。令 $\varepsilon \to 0$ ，即得 $\sup_\Omega (v-u) \le 0$ ，矛盾于假设 $\sup_\Omega (v-u) > \sup_{\partial\Omega} (v-u)$ 。整个论证中， $\phi_\varepsilon$ 扮演了“动态屏障”的角色，其 eikonal 结构编码了方程的尺度不变性，而指数型边界条件则实现了对极值点的精确定位。

4. 与之前工作的比较

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

1. 假设强度的根本性放宽：经典比较原理（如 Crandall–Ishii–Lions [28]）必须要求 $$H$$ 是上/下半连续的，且通常需椭圆性 $H(x,u,p,S) \ge H(x,u,p,M)$ 当 $S \le M$ 。而本文完全取消这两条—— $$H$$ 可为任意 Borel 可测函数，且无需任何椭圆性（如 Monge–Ampère 方程被明确包含）。对比 Safonov–Krylov 的 VMO 理论 [29,40]，后者虽允许系数振荡，但仍要求平均振荡趋于零（ $\mathrm{VMO}$ ），而本文允许点态任意跳跃；对比 Caffarelli 关于单点奇性的结果 [15]，本文处理的是全局任意不连续，无任何奇异集限制。

2. 时间/空间尺度的突破：在随机控制中，HJB 方程的解常通过 vanishing viscosity 近似 $u^\varepsilon_t - \varepsilon \Delta u^\varepsilon + H(x,\nabla u^\varepsilon) = 0$ 构造，其收敛性依赖于 $$H$$ 的连续性。本文方法不涉及任何正则化参数 $\varepsilon$ ，直接在原始不连续尺度上工作，因此所得解是真正的“宏观有效解”，而非粘性近似的极限。这使时间尺度从 $\varepsilon \to 0$ 的渐近分析推进至 $\varepsilon = 0$ 的精确刻画。

3. 适用范围的扩展与代价：本文覆盖了 Nadirashvili 反例 [53] 中失效的线性情形（只要添加 $\lambda u$ 项），以及 Lions–Souganidis 网络理论 [50,51] 中需 Lipschitz 连续性假设的 junction 问题。但代价是：(i) 必须存在严格正的零阶项 $\lambda > 0$ （即“discount factor”），无法处理 $\lambda = 0$ 的稳态 Hamilton–Jacobi 方程；(ii) 解的正则性仅保证 Hölder 连续（见 (5)），而非 $W^{2,p}$ 或 $C^{1,\alpha}$ ；(iii) 稳定性未被讨论（作者明确声明“stability issues are not addressed”），因不连续哈密顿量下，序列 $H_n \to H$ 的逐点收敛无法保证解的收敛。

4. 方法论范式的转换：传统框架（Doubling-of-variables + Ishii 引理）本质上是“全局耦合”分析，而本文是“单点局部化”分析。前者需在 $$(x,y)$$ 平面上构造惩罚函数并取极限，后者仅需在单点 $$x_0$$ 构造 eikonal 测试函数。这种转换使技术障碍从“控制双重极限的振荡”降维为“设计具有可控梯度/曲率的几何屏障”。正如作者所强调，这并非对旧工具的改进，而是开辟了新路径——eikonal 方程的解天然具备各向同性与尺度不变性，恰好匹配不连续环境中缺失的微分结构。

4. 一类一维可压缩Korteweg型流体外流问题中粘性激波的长时间渐近稳定性

Time-asymptotic stability of viscous shocks for the outflow problem of one-dimensional compressible fluids of Korteweg type

作者: Sungho Han, Jeongho Kim, HyeonSeop Oh

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14247v1

摘要翻译: 我们研究描述具有内禀毛细效应的粘性流体的等熵Navier–Stokes–Korteweg方程组外流问题中粘性-色散激波的长时间渐近稳定性。假设远场状态为亚声速或跨声速，且边界处的速度大于远场速度，我们证明：只要激波振幅与初始扰动足够小，则解在 $t \to +\infty$ 时收敛于相应的粘性-色散激波。证明基于文献 \cite{KV17,KV21,KVW23} 中为粘性方程所引入的带移动的 $$a$$ -收缩方法（ $$a$$ -contraction with shifts）。主要困难在于控制粘性-色散激波的边界效应，以及毛细效应在边界附近的影响力。

Comment: 无

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

1. 研究对象和背景

本文研究一维半直线 $\mathbb{R}_+ = (0,\infty)$ 上 barotropic Navier–Stokes–Korteweg (NSK) 方程初边值问题的外流（outflow）情形，其控制方程为：

\begin{cases} \rho_t + (\rho u)_x = 0, \\ (\rho u)_t + (\rho u^2 + p(\rho))_x = \mu u_{xx} + \kappa \rho \rho_{xxx}, \end{cases} \quad t > 0,\ x > 0,

其中 $\rho = \rho(t,x) > 0$ 与 $$u = u(t,x)$$ 分别表示流体密度与速度，压力取 $\gamma$ -律 $p(\rho) = \rho^\gamma$ （ $\gamma > 1$ ）， $\mu > 0$ 为剪切粘性系数， $\kappa > 0$ 为内聚力（capillarity）系数。第三阶项 $\kappa \rho \rho_{xxx}$ 可重写为 Korteweg 应力张量的散度： $\kappa K(\rho)_x$ ，其中 $K(\rho) = \rho \rho_{xx} - \frac{1}{2}(\rho_x)^2$ 。该模型源于 Cahn–Hilliard 型变分原理，用于刻画含液-气相变的可压缩流体，其物理本质在于通过高阶色散项描述界面处的表面张力与毛细效应，从而克服经典 Navier–Stokes 模型在相变界面处的奇异性。

边界条件设定体现外流物理：在 $$x = 0$$ 处，流体以恒定负速度流出，即 $$u(t,0) = u_- < 0$$ ；同时，为保证三阶色散项系统的适定性，需补充一个独立的边界条件——由热力学中中性润湿（neutral wetting）条件导出的齐次 Neumann 密度条件 $\rho_x(t,0) = 0$ ，其等价于辅助变量 $w := \sqrt{\kappa/\rho}\, \rho_x$ 满足 Dirichlet 条件 $$w(t,0) = 0$$ 。远场条件为常数状态： $\lim_{x\to\infty} (\rho,u)(t,x) = (\rho_+, u_+)$ ，且要求 $(\rho_+, u_+) \in \Omega_-^{\rm sub} \cup \Gamma_-^{\rm trans}$ ，其中 $\Omega_-^{\rm sub} = \{(\rho,u) \mid \lambda_2(\rho,u) > 0,\ u < 0\}$ ， $\Gamma_-^{\rm trans} = \{(\rho,u) \mid \lambda_2(\rho,u) = 0\}$ ，而 $\lambda_2(\rho,u) = u + \sqrt{p'(\rho)}$ 是双曲部分的第二特征值（对应 2-波族）。该假设确保远场为亚音速或跨音速，且激波为右行（right-going）弱 2-激波。

本文核心研究对象是连接左端态 $(\rho_-, u_-)$ 与右端态 $(\rho_+, u_+)$ 的粘性-色散激波型行波解 $(\tilde{\rho}, \tilde{u})(\xi),\ \xi = x - \sigma t$ ，满足 ODE 系统：

\begin{cases} -\sigma \tilde{\rho}' + (\tilde{\rho} \tilde{u})' = 0, \\ -\sigma (\tilde{\rho} \tilde{u})' + (\tilde{\rho} \tilde{u}^2 + p(\tilde{\rho}))' = \mu \tilde{u}'' + \kappa K(\tilde{\rho})', \\ (\tilde{\rho}, \tilde{u})(\pm\infty) = (\rho_\pm, u_\pm), \end{cases}

其中激波速度 $\sigma$ 由 Rankine–Hugoniot 条件与 Lax 熵条件唯一确定：

-\sigma(\rho_+ - \rho_-) + (\rho_+ u_+ - \rho_- u_-) = 0, \\ -\sigma(\rho_+ u_+ - \rho_- u_-) + (\rho_+ u_+^2 - \rho_- u_-^2 + p(\rho_+) - p(\rho_-)) = 0, \\ \lambda_2(\rho_+, u_+) < \sigma < \lambda_2(\rho_-, u_-).

对小振幅激波，存在唯一单调递减解，满足指数衰减估计 $|\tilde{u}(\xi) - u_\pm| \le C \delta e^{-c \delta |\xi|}$ ，其中 $\delta = |u_- - u_+|$ 。问题的关键难点在于：外流边界下，经典反导数方法失效（因无密度边界值，无法定义全局反导数变量及常数位移），且色散项在边界附近引发强耦合效应—— $\rho_{xxx}$ 与 $u_{xx}$ 在 $$x=0$$ 处的相互作用破坏能量耗散结构，导致标准 $$L^2$$ 或 $$H^1$$ 能量估计无法闭合。此前，NS 方程外流问题的激波稳定性已被 Matsumura 分类并部分解决，但 NSK 方程因三阶非线性色散项与边界条件的特殊耦合，其外流激波稳定性始终悬而未决。本文旨在填补这一空白：在亚音速/跨音速远场、小激波强度及小初值扰动前提下，严格证明该粘性-色散激波作为外流问题渐近吸引子的稳定性。

2. 主要定理或主要结果

在假设 $$u_+ < 0$$ 且 $(\rho_+, u_+) \in \Omega_-^{\rm sub} \cup \Gamma_-^{\rm trans}$ 下，存在仅依赖于激波强度 $\delta = |u_- - u_+|$ 的正数 $\delta_0, \varepsilon_0$ 和足够大的 $\beta > 0$ ，使得对任意满足 $$u_+ < u_- < 0$$ 且 $|u_- - u_+| < \delta_0$ 的边界速度 $$u_-$$ ，存在唯一左端态 $\rho_- > 0$ 与激波速度 $\sigma > 0$ 满足 RH 条件与 Lax 条件；设 $(\tilde{\rho}, \tilde{u})(\xi)$ 为对应的小振幅粘性-色散 2-激波型行波（归一化 $\tilde{\rho}(0) = (\rho_- + \rho_+)/2$ ），则对任意初值 $(\rho_0, u_0)$ 满足

\| (\rho_0, u_0) - (\rho_+, u_+) \|_{L^2(\beta,\infty)} + \| (\rho_0, u_0) - (\rho_-, u_-) \|_{L^2(0,\beta)} + \| (\partial_x \rho_0, \partial_x u_0) \|_{H^1 \times L^2} < \varepsilon_0,

外流问题 (1.1)–(1.3) 存在唯一全局强解 $(\rho, u)(t,x)$ ，且存在 Lipschitz 连续位移函数 $X : [0,\infty) \to \mathbb{R}$ ，使得

\rho(t,\cdot) - \tilde{\rho}(\cdot - \sigma t - X(t) - \beta) \in C([0,\infty); H^2(\mathbb{R}_+)), \quad (\rho - \tilde{\rho})_x \in L^2(0,\infty; H^2(\mathbb{R}_+)),

u(t,\cdot) - \tilde{u}(\cdot - \sigma t - X(t) - \beta) \in C([0,\infty); H^1(\mathbb{R}_+)), \quad (u - \tilde{u})_x \in L^2(0,\infty; H^1(\mathbb{R}_+)).

进一步，解以加权 $W^{1,\infty}$ 与 $L^\infty$ 范数收敛于位移后的激波：

\lim_{t\to\infty} \| \rho(t,\cdot) - \tilde{\rho}(\cdot - \sigma t - X(t) - \beta) \|_{W^{1,\infty}(\mathbb{R}_+)} = 0, \quad \lim_{t\to\infty} \| u(t,\cdot) - \tilde{u}(\cdot - \sigma t - X(t) - \beta) \|_{L^\infty(\mathbb{R}_+)} = 0,

且位移速度趋于零： $\lim_{t\to\infty} |\dot{X}(t)| = 0$ 。关键先验估计（Proposition 3.2）表明：存在与 $T, \beta, \delta_0, \varepsilon_0$ 无关的常数 $$C_0, c_0$$ ，使得对任意 $t \in [0,T]$ ，

\| \rho - \tilde{\rho}_{X,\beta} \|_{H^2}^2 + \| u - \tilde{u}_{X,\beta} \|_{H^1}^2 + \int_0^t \big( \delta |\dot{X}|^2 + G_1 + G_3 + G_S + D_{u1} + D_{u2} + G_{w1} + D_{w1} + G_{w2} + D_{w2} \big) ds \le C_0 \big( \| \rho_0 - \tilde{\rho}_{0,\beta} \|_{H^2}^2 + \| u_0 - \tilde{u}_{0,\beta} \|_{H^1}^2 \big) + C_0 e^{-c_0 \delta \beta},

其中权重函数 $a(t,x) = 1 + \frac{\sqrt{\delta} + u_+ - \tilde{u}(t,x)}{\sqrt{\delta}}$ 满足 $1 \le a \le 3/2$ ，且 $$a_x > 0$$ ；各项定义为：

G_1 = \int_{\mathbb{R}_+} a_x \frac{\sigma - \tilde{u}}{2} \gamma \tilde{\rho}^{\gamma-2} \left[ (\rho - \tilde{\rho}) - \frac{\tilde{\rho}}{\sigma - \tilde{u}} (u - \tilde{u}) \right]^2 dx,

G_3 = \int_{\mathbb{R}_+} a_x \frac{\sigma - \tilde{u}}{2} \tilde{\rho} |w - \tilde{w}|^2 dx, \quad G_S = \int_{\mathbb{R}_+} |\tilde{u}_x| |u - \tilde{u}|^2 dx,

D_{u1} = \mu \int_{\mathbb{R}_+} a |(u - \tilde{u})_x|^2 dx, \quad D_{u2} = \mu \int_{\mathbb{R}_+} \frac{1}{\rho} |(u - \tilde{u})_{xx}|^2 dx,

G_{w1} = \frac{1}{\sqrt{\kappa}} \int_{\mathbb{R}_+} \frac{p'(\rho)}{\rho^{1/2}} |w - \tilde{w}|^2 dx, \quad D_{w1} = \sqrt{\kappa} \int_{\mathbb{R}_+} \rho^{1/2} |(w - \tilde{w})_x|^2 dx,

G_{w2} = \frac{1}{\sqrt{\kappa}} \int_{\mathbb{R}_+} \frac{p'(\rho)}{\rho^{1/2}} |(w - \tilde{w})_x|^2 dx, \quad D_{w2} = \sqrt{\kappa} \int_{\mathbb{R}_+} \rho^{1/2} |(w - \tilde{w})_{xx}|^2 dx.

此处 $w = \sqrt{\kappa / \rho} \, \rho_x$ ， $\tilde{w} = \sqrt{\kappa / \tilde{\rho}} \, \tilde{\rho}_\xi$ 。该估计明确揭示了耗散结构： $$G_1, G_3$$ 提供由 $a_x(\sigma - \tilde{u}) > 0$ 加权的局部化耗散； $D_{u1}, D_{u2}, D_{w1}, D_{w2}$ 提供标准粘性与色散耗散； $$G_S$$ 控制激波梯度引起的非线性项；指数项 $e^{-c_0 \delta \beta}$ 体现位移 $\beta$ 对远场误差的压制。

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

证明的核心障碍有二：其一，外流边界 $$u(t,0) = u_- < 0$$ 导致经典反导数方法失效——因无 $\rho(0,t)$ 的给定值，无法构造全局反导数变量 $\Phi = \int_0^x (\rho - \tilde{\rho}) dy$ 及其常数位移，致使标准能量估计中边界项无法控制；其二，三阶色散项 $\kappa \rho \rho_{xxx}$ 在边界附近与粘性项 $\mu u_{xx}$ 强耦合，导致 $$L^2$$ 能量恒等式中出现无法被耗散吸收的坏项，如 $\int_0^\infty \rho_x u_{xx} dx$ 类交叉项。作者的根本创新在于将 Kang–Vasseur 等发展的 $$a$$ -contraction with shifts 方法系统性地拓展至含三阶色散的 NSK 方程外流问题，并设计了一套精密的增广系统与加权相对熵框架。具体而言：

第一，引入辅助色散变量 $w = \sqrt{\kappa / \rho} \, \rho_x$ ，将原 NSK 方程重写为三变量增广守恒律系统：

\partial_t U + \partial_x f(U) = \partial_x \big( M(U) \partial_x \nabla \eta(U) \big), \quad U = \begin{pmatrix} \rho \\ \rho u \\ \rho w \end{pmatrix}, \quad M(U) = \begin{pmatrix} 0 & 0 & 0 \\ 0 & \mu & \sqrt{\kappa} \rho^{3/2} \\ 0 & -\sqrt{\kappa} \rho^{3/2} & 0 \end{pmatrix},

其中熵 $\eta(U) = \frac{\rho u^2}{2} + \frac{\rho^\gamma}{\gamma-1} + \frac{\rho w^2}{2}$ 。此构造的关键优势在于：边界条件 $\rho_x(t,0)=0$ 自动转化为 $$w(t,0)=0$$ （Dirichlet），且 $$M(U)$$ 的反对称结构在后续交叉估计中产生关键抵消（见 (5.8)）。

第二，构造动态位移 $$X(t)$$ 与权重函数 $$a(t,x)$$ 。位移由 ODE 定义：

\dot{X}(t) = -\frac{M}{\delta} \left[ \int_{\mathbb{R}_+} a_{X,\beta} \frac{p'(\tilde{\rho}_{X,\beta})}{\sigma - \tilde{u}_{X,\beta}} \tilde{\rho}_{X,\beta,x} (u - \tilde{u}_{X,\beta}) dx + \int_{\mathbb{R}_+} a_{X,\beta} \tilde{\rho}_{X,\beta} (u - \tilde{u}_{X,\beta}) \tilde{u}_{X,\beta,x} dx \right],

其中 $M = 2(\gamma+1)/\rho_+$ 。权重 $a(t,x) = 1 + \frac{\sqrt{\delta} + u_+ - \tilde{u}(t,x)}{\sqrt{\delta}}$ 满足 $a_x = -\tilde{u}_x / \sqrt{\delta} > 0$ ，其正导数与激波速度差 $\sigma - \tilde{u} > 0$ 共同生成 $$G_1, G_3$$ 等严格正的局部化耗散项，用以吸收非线性坏项。

第三，发展高阶交叉估计技术。为闭合 $$H^1$$ 估计，需恢复 $$w$$ 的耗散。作者通过精细的交叉项估计（Lemma 5.3）实现：利用增广系统中 $$u$$ 与 $$w$$ 方程的反对称耦合，导出形如 $\int \rho^{1/2} (u - \tilde{u})_{xx} (w - \tilde{w})_x dx$ 的交叉项，并结合 Young 不等式与 $\delta$ 小参数控制，将其吸收进 $D_{w1}, D_{w2}$ 与 $D_{u2}$ 中，避免引入额外边界条件。例如，在 $$H^1$$ 估计中，关键抵消来自：

\int_{\mathbb{R}_+} \big[ \sqrt{\kappa} \rho^{3/2} (w - \tilde{w})_x (u - \tilde{u})_{xx} - \sqrt{\kappa} \rho^{3/2} (u - \tilde{u})_x (w - \tilde{w})_{xx} \big] dx = \text{boundary term} + \text{lower-order terms},

而边界项 $$w(t,0)=0$$ 与 $$u_x(t,0)$$ 的有界性保证其可控。此框架完全规避了反导数，仅依赖 $$L^2$$ -based 的相对熵与高阶能量估计，是处理外流边界与高阶色散耦合的实质性突破。

4. 与之前工作的比较

本文与既有工作的核心推进体现在三个维度：问题设定、技术工具与适用范围。首先，在问题设定上，此前关于 NSK 方程稳定性的成果主要集中于全空间 $\mathbb{R}$ （如 [2,3,10,11]）或不可渗透壁（impermeable wall）、流入（inflow）边界（如 [4,13]）。全空间问题可直接应用反导数方法与谱分析，而流入/不可渗透壁问题中，边界条件 $$u(t,0)=0$$ 或 $$u(t,0)>0$$ 允许定义反导数 $\Phi$ 并施加常数位移，从而控制边界项。本文首次攻克外流边界 $$u(t,0)=u_-<0$$ 这一最困难情形，其本质难点在于：外流导致质量通量 $\rho u$ 在边界非零，破坏了反导数变量的自然定义，且 $\rho$ 在边界无约束，使标准能量法中的 $\rho_x u$ 类边界项发散。相较 Matsumura 对 NS 外流问题的分类（[31]），本文将稳定性结果从纯粘性框架拓展至粘性-色散耦合框架，且明确处理了色散项在边界附近的奇异性。

其次，在技术工具上，本文显著超越了经典方法。文献 [14,32,35] 对 NS 外流问题采用的“反导数+位移”方法在此失效；文献 [9,15,16] 将 $$a$$ -contraction 拓展至 NS 外流，但未涉及三阶色散项。本文的创新在于：（i）将 $$a$$ -contraction 与增广系统 $w = \sqrt{\kappa/\rho} \rho_x$ 结合，将三阶 PDE 转化为二阶守恒律系统，使相对熵方法可直接应用；（ii）设计 $$a_x > 0$$ 的权重函数，生成 $$G_1, G_3$$ 等由激波梯度驱动的局部化耗散，这是吸收色散-粘性交叉非线性项的关键；（iii）发展针对 $$w$$ 的高阶交叉估计（Lemma 5.3），利用 $$M(U)$$ 的反对称性实现 $$u$$ 与 $$w$$ 耗散的相互增强，而非简单叠加。这种交叉结构是纯粘性或纯色散模型所不具备的。

最后，在适用范围与代价上，本文结果要求激波为小振幅（ $\delta < \delta_0$ ）、远场为亚音速/跨音速（ $\lambda_2(\rho_+,u_+) \ge 0$ ），且初值扰动在加权 $H^2 \times H^1$ 范数下充分小。相较全空间结果（如 [10] 中对任意小激波的 $$L^2$$ 稳定性），本文的 $$H^2$$ 正则性要求更高，这是处理边界高阶导数所必需的代价；而指数衰减项 $e^{-c_0 \delta \beta}$ 表明，位移 $\beta$ 需随激波强度衰减，这反映了外流边界对远场误差的敏感性。文中未显式比较与 [12,27–29]（NSK 外流中边界层与稀疏波稳定性）的差异，但从方法论看，本文的 $$a$$ -contraction 框架比后者使用的能量法更具鲁棒性，尤其适用于激波这类非线性强、梯度集中的波型。从提供内容中无法确认本文结果是否可推广至超音速远场或大振幅激波，亦未讨论 $\gamma$ 的临界值影响。

5. 朗道方程平面熵波的非线性稳定性与最优衰减率

Nonlinear stability and optimal decay rate of the planar entropy wave for Landau equation

作者: Renjun Duan, Feimin Huang, Rui Li, Lingda Xu

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14158v1

摘要翻译: 本文研究具有物理真实库仑相互作用的朗道方程在一般扰动下平面熵波的非线性渐近稳定性和最优衰减率。我们考虑三维空间中无限通道区域 $\mathbb{R} \times \mathbb{T}^2$ ，该区域兼具一维与高维特征，从而带来两个主要分析困难：(i) 对于具库仑势的一维朗道方程，线性化算子缺乏谱隙，阻碍了具有显式时间衰减率的波形稳定性结果的推导；(ii) 在接触间断的研究中，由于缺失一个关键结构条件，多维情形本质上区别于一维情形。我们发展了有效的分析方法以应对这些困难。为克服因谱隙缺失所导致的耗散弱化问题，我们实施一种时间-速度插值技巧以增强耗散，同时构造耦合扩散波以补偿时间衰减的损失。为弥补高维情形中缺失的结构条件，我们引入一种新变换，在扰动系统中恢复双向结构条件。通过发展导数阶变换与精细的能量框架，我们恢复了导数所需的结构条件，建立了解的最优衰减，并证明其非零模的伸缩指数衰减。与以往依赖人工粘性或纳维–斯托克斯近似的方法不同，我们的方法直接利用方程内在的物理耗散及其与微观动力学组分的耦合，从而保证更广泛的适用性。

Comment: 无

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

1. 研究对象和背景

本文研究三维无限通道域 $\Omega = \mathbb{R} \times \mathbb{T}^2$ 上带物理真实库仑相互作用的朗道方程

\partial_t f + \xi \cdot \nabla_x f = Q(f,f), \quad f = f(t,x,\xi) \geq 0, \; x \in \mathbb{R} \times \mathbb{T}^2, \; \xi \in \mathbb{R}^3,

的平面熵波（planar entropy wave）的非线性渐近稳定性与最优时间衰减率。其中碰撞算子 $$Q$$ 为库仑型朗道碰撞项：

Q(f,g)(\xi) = \sum_{i,j=1}^3 \partial_{\xi_i} \int_{\mathbb{R}^3} \tilde{\phi}_{ij}(\xi - \xi') \left[ f(\xi') \partial_{\xi_j} g(\xi) - \partial_{\xi_j} f(\xi') g(\xi) \right] d\xi',

碰撞核 $\tilde{\phi}_{ij}(z) = \left( \delta_{ij} - \frac{z_i z_j}{|z|^2} \right) |z|^{\gamma+2}$ ，取 $\gamma = -3$ （即库仑势），属极软势（very soft potentials）。初始数据 $f_0(x,\xi)$ 连接两个不同全局麦克斯韦分布：

f_0(x,\xi) \to \frac{\rho_\pm}{(2\pi R \theta_\pm)^{3/2}} \exp\left( -\frac{|\xi - u_\pm|^2}{2R \theta_\pm} \right), \quad x_1 \to \pm\infty,

其中 $u_\pm = (u_{1\pm}, 0, 0)$ ，且熵波条件要求

\rho_- \neq \rho_+, \quad u_{1-} = u_{1+}, \quad p_- = p_+ = R \rho_- \theta_- = R \rho_+ \theta_+.

此时宏观状态满足等压、等速、不等密度、不等温度，对应欧拉方程中线性退化接触间断的熵波分支（entropy wave），其特征值 $\lambda_2 = m_1 / \rho$ 对应左、右特征向量 $$l_2$$ , $$r_2$$ 满足 $\nabla l_2 \cdot r_2 \neq 0$ ，违反经典左右结构条件 $\nabla l_2 \cdot r_2 = 0$ 与 $\nabla r_2 \cdot r_2 = 0$ ，导致低阶项无法自动抵消，是多维接触波分析的根本障碍。问题重要性在于：朗道方程作为等离子体物理核心模型，其非线性波模式稳定性是连接微观动力学与宏观流体力学的关键桥梁；而熵波作为三类基本波之一（另两类为激波、稀疏波），其多维稳定性长期悬而未决——此前所有严格结果均局限于一维情形（如 [19]），且或未给出显式衰减率，或依赖拉格朗日坐标、人工粘性或Navier–Stokes近似。本文试图填补三项关键空白：(1) 首次在 $\mathbb{R} \times \mathbb{T}^2$ 上建立库仑势朗道方程平面熵波的全局存在性与非线性稳定性；(2) 首次获得最优多项式衰减率 $(1+t)^{-1/2}$ ，该速率由沿无界方向 $$x_1$$ 传播的扩散波主导，且被证明不可改进；(3) 首次证明非零模（non-zero modes）的拉伸指数衰减 $\exp(-c t^{2/3})$ ，这是库仑势下弱谱隙导致的典型慢衰减现象，此前仅对玻尔兹曼方程有类似结果。研究对象本质是耦合的宏观-微观系统：通过微宏观分解 $f = M_{[\rho,u,\theta]} + G$ ，得到宏观守恒律

\begin{cases} \partial_t \rho + \nabla_x \cdot (\rho u) = 0, \\ \partial_t (\rho u) + \nabla_x \cdot (\rho u \otimes u) + \nabla_x p = -\int_{\mathbb{R}^3} \xi \otimes \xi \cdot \nabla_x G \, d\xi, \\ \partial_t \left[ \rho \left( e + \frac{|u|^2}{2} \right) \right] + \nabla_x \cdot \left[ \rho u \left( e + \frac{|u|^2}{2} \right) + p u \right] = -\int_{\mathbb{R}^3} \frac{1}{2}|\xi|^2 \xi \cdot \nabla_x G \, d\xi, \end{cases}

与微观方程

\partial_t G + P_1(\xi \cdot \nabla_x G) + P_1(\xi \cdot \nabla_x M) = L_M G + Q(G,G),

其中 $$L_M h = Q(M,h) + Q(h,M)$$ 是关于局部麦克斯韦 $$M$$ 的线性化碰撞算子，其零空间 $\mathcal{N}(L_M)$ 由5个碰撞不变量张成。本文目标即控制该耦合系统在熵波背景 $\bar{U} = (\bar{\rho}, \bar{m}, \bar{E})$ 下的扰动 $(\Phi, \Psi, H) = \int_{-\infty}^{x_1} (\rho - \bar{\rho}, m - \bar{m}, E - \bar{E}) dy_1$ 及其高阶导数的演化，克服库仑势导致的谱隙缺失与多维结构条件缺失双重障碍。

2. 主要定理或主要结果

在初始扰动 $\| (f_0 - M_{[\check{\rho}, \check{u}, \check{\theta}]} ) / \sqrt{\mu} \|_{L^2_\xi L^2_x}$ 足够小（记为 $\tilde{\delta} \ll 1$ ）且满足相容性条件下，本文证明了以下主要结果：

定理 2.3（主定理）：存在常数 $$C > 0$$ , $$c > 0$$ ，使得朗道方程 Cauchy 问题存在唯一全局经典解 $f(t,x,\xi) \geq 0$ ，并满足如下最优衰减估计：

(1) 整体多项式衰减：

\left\| \frac{f(t,x,\xi) - M_{[\check{\rho}, \check{u}, \check{\theta}]}(t,x_1)}{\sqrt{\mu(\xi)}} \right\|_{L^\infty_x(\Omega) L^2_\xi(\mathbb{R}^3)} \leq C \tilde{\delta} (1+t)^{-1/2},

其中 $\mu(\xi) = (2\pi)^{-3/2} e^{-|\xi|^2/2}$ 为归一化全局麦克斯韦， $M_{[\check{\rho}, \check{u}, \check{\theta}]}$ 为由自相似扩散方程 $\partial_t \rho_{cd} = \partial_{x_1} \left( \frac{3 \tilde{\kappa}(\rho_{cd})}{5} \frac{\partial_{x_1} \rho_{cd}}{\rho_{cd}} \right)$ 构造的粘性熵波剖面（见 (1.24)-(1.26)），且满足 $\sup_{t,x_1} \{ |\check{\rho}-1| + |\check{u}| + |\check{\theta} - 3/2| \} \leq 3\delta$ 。

(2) 非零模拉伸指数衰减：定义非零模 $f_\neq = f - \int_{\mathbb{T}^2} f \, dx_2 dx_3$ ，则

\left\| \frac{f_\neq(t,x,\xi)}{\sqrt{\mu(\xi)}} \right\|_{L^2_x(\Omega) L^2_\xi(\mathbb{R}^3)} \leq C \tilde{\delta} e^{-c t^{2/3}}.

(3) 高阶导数最优衰减：对任意多重指标 $|\alpha| + |\beta| \leq N$ （ $$N$$ 足够大），存在权函数 $\omega(\beta)(\xi) = \langle \xi \rangle^{l-|\beta|} e^{q \langle \xi \rangle^2}$ （ $l \geq |\beta|$ , $$0 < q < 1$$ ），使得

\| \partial_x^\alpha \partial_\xi^\beta (f - M_{[\check{\rho}, \check{u}, \check{\theta}]}) \|_{\sigma, \omega}^2 \leq C \tilde{\delta}^2 (1+t)^{-1 - |\alpha|}, \quad \text{当 } |\alpha| \geq 1,

其中 $\| \cdot \|_{\sigma, \omega}$ 为加权耗散范数（见 (1.32)-(1.33)），体现速度变量导数与碰撞耗散的耦合控制。

(4) 能量泛函的微分不等式：定义瞬态能量 $E_1, E_2, E_3, \tilde{E}_2$ 与耗散能量 $D_1, D_2, D_3, \tilde{D}_2$ （见 (2.24)-(2.36)），则成立

\frac{d}{dt} E_1 + D_1 \leq C \tilde{\delta} (1+t)^{-1} E_1 + C \bar{\delta} (1+t)^{-3/2},

\frac{d}{dt} E_2 + D_2 \leq C \tilde{\delta} \left[ (1+t)^{-1} D_1 + (1+t)^{-2} E_1 \right] + C \bar{\delta} (1+t)^{-3/2},

\frac{d}{dt} \tilde{E}_2 + \tilde{D}_2 \leq C \tilde{\delta} \left[ (1+t)^{-1} D_1 + (1+t)^{-2} E_1 \right] + C \bar{\delta} (1+t)^{-5/2},

\frac{d}{dt} E_3 + D_3 \leq C \tilde{\delta} \left[ (1+t)^{-1} D_2 + (1+t)^{-2} D_1 + (1+t)^{-3} E_1 \right] + C \bar{\delta} (1+t)^{-5/2},

其中 $\bar{\delta}$ 为波强与初值扰动的组合小参数。特别地，引入 $\tilde{E}_2, \tilde{D}_2$ 是为补偿时间-速度插值技术带来的 $(1+t)^\epsilon$ 衰减损失（见策略 (2)），其积分性质 $\int_0^t (1+\tau) \tilde{D}_2 \, d\tau \leq C \bar{\delta} (1+t)^{1/5}$ 是闭合高阶估计的关键。

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

本文的核心创新在于针对库仑势朗道方程平面熵波的两大根本障碍——谱隙缺失与多维结构条件缺失——构建了一套全新的分析框架，其技术要点具体如下：

1. 时间-速度插值技术（Time-Velocity Interpolation）与耗散增强：由于库仑势下线性化碰撞算子 $$L_M$$ 缺乏谱隙，标准耗散范数 $|g|_\sigma$ 仅满足 $|g|_\sigma \sim |\langle \xi \rangle^{-1/2} g|_2 + |\langle \xi \rangle^{-3/2} \xi \cdot \nabla_\xi g|_2$ ，不足以控制 $$L^2$$ 范数。作者采用 Strain-Guo [51,52] 引入的插值引理（文中 Lemma 5.1）：对任意 $\upsilon > 0$ , $\epsilon > 0$ ，有

|\partial^\alpha f|_2^2 \leq \upsilon (1+t)^\epsilon |\partial^\alpha f|_\sigma^2 + e^{-\frac{q}{4} \upsilon^2 (1+t)^{2\epsilon}} \left\| e^{\frac{q}{8} \langle \xi \rangle^2} \partial^\alpha f \right\|_2^2.

此技术以 $(1+t)^\epsilon$ 的衰减损失换取更强的耗散控制，但该损失必须被其他机制补偿，否则无法闭合 $(1+t)^{-1/2}$ 的最优衰减。

2. 耦合扩散波（Coupled Diffusion Waves）构造与误差抵消：标准扩散波 $\Theta_i$ （见 (2.1)）由宏观守恒律一阶展开生成，但其残差 $\bar{R}$ 衰减缓慢（ $\sim (1+t)^{-1} e^{-c x_1^2/(1+t)}$ ），与插值损失叠加将破坏能量估计。为此，作者构造一族耦合扩散波 $\Xi_i$ 满足

\partial_t \Xi + \partial_{x_1} (F'(\bar{U}) \Xi) = \partial_{x_1} (B(\bar{U}) \partial_{x_1} \Xi) - \frac{1}{2} \partial_{x_1} (\Xi^t F''(\bar{U}) \Xi) + \partial_{x_1} (\Xi^t B_1(\bar{U}) \partial_{x_1} \bar{U}) - \partial_{x_1} \bar{R} - \partial_{x_1} R_G,

其中 $$R_G$$ 为微观部分诱导的慢衰减项。关键在于，该方程通过非线性项 $\Xi^t F''(\bar{U}) \Xi$ 和 $\Xi^t B_1(\bar{U}) \partial_{x_1} \bar{U}$ 主动抵消 $\bar{R}$ 与 $$R_G$$ ，从而彻底消除慢衰减源。进一步，作者将该系统对角化（见 (3.9)-(3.10)），发现各分量以不同速度传播，并据此设计新耗散机制（见 (3.19)）：

\sum_{i=1}^5 \int_\mathbb{R} e^{a_i x_1^2/(1+t)} |w_i|^2 dx_1 \lesssim \int_\mathbb{R} e^{a_i x_1^2/(1+t)} \left( |\partial_{x_1} w_i|^2 + \text{交叉项} \right) dx_1,

实现对慢衰减项的精确控制。

3. 衍生层级变换（Derivative-Level Transformation）恢复结构条件：熵波在宏观层面违反经典结构条件，导致 $\int (1+t)^{-1/2} e^{-c x_1^2/(1+t)} (\Phi^2 + |\Psi|^2 + H^2) dx_1$ 类项无法被耗散控制。作者首先对原扰动作温度加权变换 $\check{\Phi} = \tilde{\theta} \Phi$ , $\check{\Psi} = \Psi$ , $\check{H} = H - \check{\Phi}$ ，使零阶系统满足双侧结构条件（见 (4.27)）。然而，一阶导数系统 $\partial_{x_1} (\check{\Phi}, \check{\Psi}, \check{H})$ 仍不满足，成为获得最优衰减的最大障碍。本文首创“衍生层级变换”：研究量

\left( \frac{2}{3} \tilde{\theta} \partial_{x_1}^2 \check{\Phi}, \partial_{x_1} (\tilde{\theta} \partial_{x_1} \check{\Psi}_1), \partial_{x_1}^2 \check{\Psi}_2, \partial_{x_1}^2 \check{\Psi}_3, \tilde{\theta} \partial_{x_1}^2 \check{H} \right),

在此变换下，来自非线性通量的低阶项产生精确抵消（cancellation），从而使得 $\int (1+t)^{-1} e^{-c x_1^2/(1+t)} |\partial_{x_1}^2 \check{\Phi}|^2 dx_1$ 等项可被耗散控制，最终实现 $\partial_{x_1}^2$ 及更高阶导数的最优衰减。

4. 非零模拉伸指数衰减的Poincaré–插值耦合：对非零模 $f_\neq$ ，利用 $\mathbb{T}^2$ 上的Poincaré不等式 $\|f_\neq\|_{L^2_{x_2,x_3}} \lesssim \|\nabla_{x_2,x_3} f_\neq\|_{L^2_{x_2,x_3}}$ ，结合小波强假设，将通量中的低阶项 $\int_{\mathbb{T}^2} \xi \cdot \nabla_x G_\neq$ 控制于耗散项。再将朗道方程在全局麦克斯韦 $\mu$ 处线性化，导出宏观部分非零模的耗散估计，并与 $\xi$ -导数估计、指数加权估计及前述时间-速度插值技术联立，最终得到 $\|f_\neq / \sqrt{\mu}\|_2 \lesssim \tilde{\delta} e^{-c t^{2/3}}$ 。

4. 与之前工作的比较

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

1. 与一维朗道方程工作 [19] 的比较：文献 [19] 首次证明了库仑势朗道方程一维粘性接触波的非线性稳定性，但其结果存在三重局限：(i) 仅在拉格朗日坐标系下成立，而本文在欧拉坐标系 $\mathbb{R} \times \mathbb{T}^2$ 中直接处理，更具物理自然性；(ii) [19] 未给出显式时间衰减率，仅声明“渐近稳定”，而本文首次获得最优多项式率 $(1+t)^{-1/2}$ 及拉伸指数率 $e^{-c t^{2/3}}$ ；(iii) [19] 的证明依赖于一维特有的结构条件 $\nabla l_2 \cdot r_2 = 0$ ，该条件在多维 $\mathbb{R} \times \mathbb{T}^2$ 中天然失效，本文通过衍生层级变换首次在多维框架下重建该条件，是方法论的根本突破。

2. 与多维全空间工作 [58,59] 的比较：文献 [58,59] 在 $\mathbb{R}^3_x$ 上研究朗道方程近平衡态解的衰减，其优势在于高维全空间中谱隙缺失问题被傅里叶分析部分缓解（如 $|k|^{-1}$ 奇异性可被 $$L^2$$ 积分控制）。但此类方法完全不适用于通道域 $\mathbb{R} \times \mathbb{T}^2$ ： $$x_1$$ 方向无傅里叶衰减， $$x_2,x_3$$ 方向仅有离散谱，导致线性化算子 $\mathcal{L} = -\xi \cdot \nabla_x + L_M$ 的谱在虚轴附近密集堆积，传统谱分析失效。本文放弃谱方法，转而发展基于扩散波与能量估计的实分析框架，适用范围更广，但代价是技术复杂度剧增。

3. 与Navier–Stokes近似方法 [31,32] 的比较：以往研究多维接触波常借助人工粘性或Navier–Stokes方程近似（如 [31,32]），其核心是将动能方程中的 $\int \xi \otimes \xi \cdot \nabla_x G$ 项用Navier–Stokes应力项 $\mu(\theta) \nabla_x u$ 替代。本文则坚持“直接利用方程本征物理耗散”的原则，将 $\int \xi \otimes \xi \cdot \nabla_x G$ 视为需精确控制的源项，并通过 $L_M^{-1}$ 的精细估计（见 (1.11)）将其与宏观耗散 $\mu(\theta) \Delta_x u$ 耦合，从而避免任何近似，确保结论的严格性与普适性。代价是必须处理 $L_M^{-1}$ 的奇异性，这正是耦合扩散波构造的动机。

4. 与玻尔兹曼方程工作 [45,62] 的比较：玻尔兹曼方程的非截断情形也有类似库仑势的弱耗散问题，点态Green函数法 [45] 和小Knudsen数极限 [62] 已获部分进展。但朗道方程作为玻尔兹曼方程的渐近极限，其碰撞算子为二阶微分算子，数学结构迥异： $$Q(f,f)$$ 的双线性结构与 $$L_M$$ 的退化椭圆性导致能量估计中出现 $\partial_\xi$ 与 $\partial_x$ 的强耦合，而玻尔兹曼方程的积分型碰撞项对此耦合较弱。本文发展的“时间-速度插值+耦合扩散波+衍生层级变换”三位一体框架，正是为应对这一独特挑战而设计，目前尚无玻尔兹曼方程工作达到同等技术深度。从提供内容中无法确认本文结果是否可推广至更一般的软势 $\gamma \in [-3,-2)$ ，因文中所有估计均明确依赖 $\gamma = -3$ 下的特定权重与耗散结构。

6. Navier-Stokes 方程的临界账本与尺度缺陷级联

Critical Ledgers and Scale-Defect Cascades for Navier-Stokes

作者: Runlong Yu

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13887v1

摘要翻译: 我们证明了三维不可压 Navier-Stokes 方程适定弱解在局部正则性阈值附近的有限尺度‘供给–征税’消减。沿一条容许的抛物窗口链，令 B_k = A_k + C_k + D_k 表示尺度临界储库劣质度。主偏微分方程定理指出：若 B_k 在多个连续尺度上始终滞留于衰减盆地之外，则要么截断/窗口泄漏持续累积，要么解生成正的累积未征税临界供给量。供给项来源于非线性通量、压力输运、插值放大与压力再生；征税项来源于粘性耗散、旧储库坐标所预期的衰减以及调和压力衰减。该定理被刻意设计为有限尺度版本：它既非全局正则性的证明，亦非奇异解的构造；其作用在于将持久的尺度临界劣质度转化为一种显式记账替代方案：劣质度仅能通过未征税供给或不可忽略的泄漏来维持。本文第二部分将账本坐标诠释为一个偏微分方程可实现的有限尺度缺陷包。这引出一种动态阻碍语言，其中危险机制必须同时满足盈利性、可复现性、Navier-Stokes 可实现性，并且须经由指定的压力、通量、能量与迹通道而可见或不可见。最后一部分记录了有限窗口商检验、一个干净的正锥反幻象定理，以及一个条件化的局域转移框架。这些结果均为围绕主账本定理构建的有限窗口或条件化工具，而非无条件的 Navier-Stokes 正则性定理。

Comment: 无

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

1. 研究对象和背景

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

\partial_t u - \Delta u + u \cdot \nabla u + \nabla p = 0, \quad \nabla \cdot u = 0 \tag{2.1}

在局部正则性阈值附近的尺度临界行为。核心对象是 Caffarelli–Kohn–Nirenberg（CKN）理论中定义的四类尺度不变量：能量型 $$A_k$$ 、耗散型 $$E_k$$ 、速度三次型 $$C_k$$ 和压力 $$3/2$$ 次型 $$D_k$$ ，其在尺度 $r_k = \theta^k r_0$ 的抛物邻域 $Q_k = Q_{r_k}(z_k) = B_{r_k}(x_k) \times (t_k - r_k^2, t_k)$ 上定义为

A_k = r_k^{-1} \operatorname{ess\,sup}_{t_k - r_k^2 < t < t_k} \int_{B_{r_k}(x_k)} |u(x,t)|^2 \,dx, \tag{3.1}

E_k = r_k^{-1} \iint_{Q_k} |\nabla u|^2 \,dx dt, \tag{3.2}

C_k = r_k^{-2} \iint_{Q_k} |u|^3 \,dx dt, \tag{3.3}

D_k = r_k^{-2} \iint_{Q_k} |p - (p)_{B_{r_k}(x_k)}(t)|^{3/2} \,dx dt, \tag{3.4}

其中 $(p)_{B_{r_k}(x_k)}(t)$ 是压力在空间球上的平均。关键未知量是“尺度临界坏度” $$B_k = A_k + C_k + D_k$$ （文中亦考虑加权和 $$N_k = A_k + E_k + C_k + D_k$$ ），它刻画解在尺度 $$r_k$$ 处偏离正则性的程度。问题设定为：给定一条容许的抛物窗口链 $\{Q_k\}_{k=0}^N$ ，满足嵌套性 $Q_{k+1} \subset Q_k$ 及受控漂移条件 $|x_{k+1} - x_k| \leq \eta r_k$ , $|t_{k+1} - t_k| \leq \eta r_k^2$ ，考察当 $B_k \geq \varepsilon$ 对连续多个 $$k$$ 成立时，解如何维持这种“坏性”。该问题重要性源于 CKN 理论的核心结论：若某点 $$z_0$$ 是可能的奇点，则必存在任意小尺度 $r_k \to 0$ 使得 $C_k + D_k \geq \varepsilon_0$ ，即 $$z_0$$ 位于所有衰减盆地 $G_\varepsilon = \{X_k : C_k + D_k < \varepsilon\}$ 之外；但 CKN 仅给出存在性判据，未揭示坏性持续所需的动态机制。本文试图填补的空白正是：在不假设全局正则性或构造奇异解的前提下，对“坏性为何能持续”给出一个有限尺度、可计算、机制化的定量解释——即建立一种 PDE 实现的“会计框架”，将坏度的存续归结为两类可测量的代价：未征税的临界供给（untaxed critical supply）或窗口泄漏（cutoff/window leakage）。这要求超越经典能量估计，将非线性输运、压力再生、插值放大等供给项与粘性耗散、旧库存衰减、调和压力衰减等征税项显式分离，并在离散尺度链上进行精确的收支核算。

2. 主要定理或主要结果

在容许抛物窗口链 $\{Q_k\}_{k=0}^N$ 上，设 $$B_k = A_k + C_k + D_k$$ 为尺度临界坏度， $0 < \lambda < 1$ 为衰减参数。作者证明了主 PDE 定理（Part I, Theorem 7.1）：存在显式定义的全供给项 $\mathrm{Sup}_k^{\mathrm{full}}$ 、全征税项 $\mathrm{Tax}_k^{\mathrm{full}}$ 和全泄漏项 $\mathrm{Leak}_k^{\mathrm{full}}$ ，使得对所有 $0 \leq k \leq N-1$ ，有

B_{k+1} - (1 - \lambda) B_k \leq \mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}} + \mathrm{Leak}_k^{\mathrm{full}}. \tag{7.1}

其中 $\mathrm{Sup}_k^{\mathrm{full}}$ 包含非线性通量 $\mathrm{Sup}_k^{\mathrm{flux}}$ 、压力输运 $\mathrm{Sup}_k^{\mathrm{press}}$ 、插值放大及压力再生项； $\mathrm{Tax}_k^{\mathrm{full}}$ 包含粘性耗散 $2\rho E_{\rho r_k}$ 、旧库存预期衰减及调和压力衰减； $\mathrm{Leak}_k^{\mathrm{full}}$ 主要来自截断函数导数引起的泄漏 $\mathrm{Leak}_k^{\mathrm{cut}}$ 及漂移误差。由此导出有限尺度生存替代定理（Theorem 4.5）：若 $B_k \geq \varepsilon$ 对 $0 \leq k \leq N-1$ 成立，则

\sum_{k=0}^{N-1} \left(\mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}}\right)^+ \geq \lambda \varepsilon N - B_0 - \sum_{k=0}^{N-1} \mathrm{Leak}_k^{\mathrm{full}}. \tag{4.2}

进一步，若 $B_0 \leq \frac{1}{4}\lambda \varepsilon N$ 且 $\sum_{k=0}^{N-1} \mathrm{Leak}_k^{\mathrm{full}} \leq \frac{1}{4}\lambda \varepsilon N$ ，则

\sum_{k=0}^{N-1} \left(\mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}}\right)^+ \geq \frac{1}{2}\lambda \varepsilon N; \tag{Cor. 4.6}

若还存在 $$B > 0$$ 使得 $0 \leq \left(\mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}}\right)^+ \leq B$ ，则对任意 $0 < \beta < \frac{1}{2}\lambda \varepsilon$ ，有

\#\{0 \leq k \leq N-1 : \mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}} \geq \beta\} \geq \frac{\frac{1}{2}\lambda \varepsilon - \beta}{B - \beta} N. \tag{Cor. 4.6}

无穷尺度版本（Corollary 4.7）指出：若 $B_k \geq \varepsilon$ 对所有 $k \geq 0$ 成立，且 $\lim_{N\to\infty} \frac{1}{N} \sum_{k=0}^{N-1} \mathrm{Leak}_k^{\mathrm{full}} = 0$ ，则

\liminf_{N\to\infty} \frac{1}{N} \sum_{k=0}^{N-1} \left(\mathrm{Sup}_k^{\mathrm{full}} - \mathrm{Tax}_k^{\mathrm{full}}\right)^+ \geq \lambda \varepsilon. \tag{Cor. 4.7}

此外，作者建立了清洁正锥反幻影定理（Theorem 22.1）：在清洁周期窗口下，若线性化残差矩阵满秩且其最小奇异值 $\sigma_{\min} > 0$ ，则存在 $\delta > 0$ 使得对所有扰动 $\|\mathbf{h}\| < \delta$ ，有 $\|\mathcal{R}(\mathbf{h})\| \geq \frac{\sigma_{\min}}{2} \|\mathbf{h}\|$ ，从而排除局部幻影解。

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

证明的核心障碍在于：传统 CKN 理论仅提供单尺度小量判据，而本文需在移动窗口链上建立跨尺度的收支平衡，且必须将非线性效应（如 $u\cdot\nabla u$ 和 $\nabla p$ ）精确分解为可征税与不可征税部分。作者的真正创新点是构建了一个PDE 实现的离散账簿系统，其技术框架包含三层：第一层（Part I）是微分-代数耦合估计：从局部能量不等式 (2.2) 出发，通过精心选择的截断函数 $\phi$ ，导出关键的局部能量账簿不等式

\rho A_{\rho r} + 2\rho E_{\rho r} \leq \mathrm{Leak}_r^{\mathrm{cut}} + \mathrm{Sup}_r^{\mathrm{flux}} + 2\mathrm{Sup}_r^{\mathrm{press}}, \tag{5.1}

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

摘要翻译

中文标题: 通过 $$L^p$$ -扰动方法得到对数薛定谔方程的无穷多个变号解

摘要翻译: 我们研究对数薛定谔方程

中文标题: 非线性薛定谔方程的一种新分辨率空间及其应用

摘要翻译: 分辨率空间在构造非线性偏微分方程解的过程中起着核心作用。在非线性色散型偏微分方程领域，一个主要目标是构造能有效捕获自由解已知双线性限制估计的分辨率空间。本文为薛定谔方程提出一种新结构，该结构能有效复现经典的双线性 $L^2_{t,x}$ 估计。此外，该新结构具有如下性质：其“对偶”空间可作为线性非齐次薛定谔方程中强迫项的有效函数空间候选，而这一性质迄今在文献中尚未实现。作为应用，我们展示了这些结构如何恢复具有零结构（null structure）的导数型非线性薛定谔方程（derivative NLS）的已知整体适定性结果，薛定谔映射（Schrödinger Maps）即为此类模型之一。

不相关论文（基本信息）

1. 流形上具有非负Ricci曲率的拟线性Liouville方程

Quasilinear Liouville equation on manifolds with nonnegative Ricci curvature

作者: Giovanni Catino, Dario Daniele Monticelli, Alberto Roncoroni

类别: math.AP, math.DG

发布日期: 2026-06-12

arXiv ID: 2606.14513v1

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

摘要: We prove rigidity and classification results for the quasilinear Liouville equation associated with the $$n$$ -Laplacian on complete noncompact Riemannian manifolds with nonnegative Ricci curvature. Our first result shows that, under a sharp logarithmic lower bound, the ambient manifold must be isometric to the Euclidean space and the solution must be one of the standard bubbles. We also prove a finite-mass rigidity theorem under the corresponding sharp asymptotic lower bound. We show that any logarithmic lower bound forces positive asymptotic volume ratio and one-endedness of the manifold. Finally, we construct solutions on nonflat manifolds with nonnegative Ricci curvature showing the sharpness of our hypotheses.

2. 热耦合接地浅冰盖中的扩散绝热流：建模与分析

Diffuse Adiabatic Flows in Thermally Coupled Grounded Shallow Ice Sheets: Modelling and Analysis

作者: Paolo Piersanti

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14258v1

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

摘要: In this article we propose a novel thermodynamical model which couples the evolution of the thickness of a grounded shallow ice sheet with the evolution of its internal temperature. Both the grounded shallow ice sheet surface elevation and the ice internal temperature are subjected to physical constraints. The equations governing the evolution of the grounded shallow ice sheet thickness are degenerate, and the ice internal temperature evolves in a moving domain. First, we formally model the phenomenon under consideration by adopting strategies akin to those employed in the construction of diffuse-interface models. Second, we establish the existence of solutions for one such formal model by means of the penalty method, and we observe that the low regularity of the problem under consideration prevents us from obtaining a standard concept of solution.

3. 两个耦合限价订单簿中关联性的涌现与埃普斯效应

Correlation emergence and the Epps effect in two coupled limit order books

作者: Chris Angstmann, Tim Gebbie

类别: q-fin.TR, math.AP, q-fin.ST

发布日期: 2026-06-12

arXiv ID: 2606.14182v1

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

摘要: We give a unified analytic account of correlation emergence and the Epps effect in two coupled limit order books. The model starts from a discrete random-walk description of order flow with creation, cancellation and diffusion. A pair-trader coupling between the books is introduced at the level of order creation. We clarify how the discrete model reduces to coupled reaction–diffusion equations with a moving reaction boundary defining the transaction price. Using a regularised local-response representation of the coupling, we derive approximate closed-form expressions for realised correlations as a function of aggregation time. Here the Epps effect is shown to arise from three distinct mechanisms: asynchronous event clocks (subordination), finite coupling response times, and their combination.

4. 自由边界Brakke流的一些基础性结果

Some Foundational Results for Free Boundary Brakke Flows

作者: Yueheng Bao

类别: math.DG, math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14021v1

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

摘要: In this paper, we establish some geometric and analytic foundations for free boundary Brakke flows. Specifically, we (i) introduce unit-regular and cyclic free boundary flows and show that they are preserved under reflections and weak limits, (ii) prove that the support of free boundary Brakke flows satisfies an avoidance principle, and (iii) introduce free boundary inner and outer flows and prove the existence of matching free boundary Brakke flows. These results serve as general tools to analyze free boundary flows through singularities, and in particular will be applied in forthcoming work with Haslhofer, where we address the mean-convex neighborhood conjecture and uniqueness conjecture for free boundary flows through (half) cylindrical singularities.

5. 捕食–猎物系统在移动环境中的传播速度：一个简短证明

Spreading speeds for prey–predator systems in a shifting environment: a short proof

作者: Zhucheng Jin

类别: math.AP

发布日期: 2026-06-12

arXiv ID: 2606.14059v1

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

摘要: This note studies the spreading speed of the predator component in a class of prey–predator reaction–diffusion systems with spatiotemporal heterogeneity depending on a moving variable. The main difficulty is that the full system lacks a direct comparison principle. We establish a pointwise estimate showing that the prey density is close to its carrying capacity wherever the predator density is sufficiently small. This allows us to compare solutions of the system with those of scalar Fisher–KPP equations in shifting environments. Consequently, we obtain an explicit spreading speed of the predator. In particular, for nonmonotone shifting environments, locking and nonlocal pulling phenomena may occur.

6. Monge–Ampère 方程的反问题：线性化与非线性重构

Inverse Problems for the Monge–Ampère Equation: Linearization and Nonlinear Recovery

作者: Gunther Uhlmann, Philipp Zimmermann

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13939v1

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

摘要: We study inverse boundary value problems for the nonlinear Monge–Ampère equation

\det D^2u=a(x,u,\nabla u)

in a bounded domain. We introduce a nonlinear Cauchy data set and investigate the recovery of the nonlinearity from boundary measurements. Linearizing around a strictly convex background solution, we establish local well-posedness, smooth dependence on boundary data, and a higher-order linearization framework. We show that the first variation of the nonlinear Cauchy data is governed by a linear elliptic operator whose principal coefficient is the cofactor matrix of the background Hessian. An Alessandrini-type identity then yields a reduction principle from the nonlinear inverse problem to an anisotropic Calderón-type inverse problem. As a consequence, under suitable uniqueness assumptions for the associated linear problem, the nonlinear Cauchy data determine the first-order derivatives of the nonlinearity along the background jet. Higher-order linearization identities provide recovery of higher derivatives and, under suitable density assumptions, determine the full Taylor expansion of the nonlinearity along the background solution. We also discuss applications to semilinear equations and nonlinearities arising in optimal transport.

7. 临界区域之外的奇异Trudinger-Moser泛函极大化子

Maximizers for the Singular Trudinger-Moser functional beyond the critical regime

作者: José Francisco de Oliveira, Manassés de Souza, Everaldo Medeiros

类别: math.AP

发布日期: 2026-06-11

arXiv ID: 2606.13937v1

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

摘要: Our aim is to investigate the existence of local maximizers for the singular Trudinger-Moser functional

F_α(u) := \int_Ω \frac{e^{αu^2}-1}{|x|^{a}} \mathrm{d}x,\;\;\; u \in W_0^{1,2}(Ω),

restricted to the manifold $Σ=:\left\{u\in W_0^{1,2}(Ω):\|\nabla u\|_2=1\right\},$ where $a\in [0, 2)$ , $α\ge 0$ and $$Ω$$ denotes a smooth bounded domain $\mathbb{R}^2$ containing the origin. Adimurthi and Sandeep (Nonlinear. Differ. Equ. Appl. \textbf{13}, 2007) showed the following singular Trudinger-Moser type estimate \begin{equation}\nonumber \sup_{u \in W_0^{1,2}(Ω), , |\nabla u|_{L^2} \le 1} F_α(u)<\infty;;;\mbox{iff};;α\leq α_a:=2π(2-a). \end{equation} In particular, the functional $$F_α$$ is bounded on $$ Σ$$ whenever $α\le α_a$ . In addition, Csató and Roy (Calc. Var. Partial Differ. Equ., \textbf{54}, 2015) were able to ensure the existence of maximizers for $$F_α$$ on $$Σ$$ when $α\le α_a$ . In the supercritical regime $$α> α_a$$ , the functional $$F_α$$ becomes unbounded on $$Σ$$ . Nevertheless, we prove that $$F_α$$ still possesses local maximizers on $$Σ$$ beyond the critical threshold, at least for $$α> α_a$$ sufficiently close to $$α_a$$ . Our approach relies on a variational analysis near the set of maximizers associated with the critical parameter $$α_a$$ , together with a suitable local compactness argument. Our result improves and complements related findings due to Struwe (Ann. Inst. Henri Poincaré, Anal. Non Linéaire, \textbf{5}, 1988).

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

1. 非恒定核的 Euler-对齐系统周期熵解的衰减#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 等熵可压欧拉方程全局适定时间可容许弱解的非唯一性：对一大类初值数据成立#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 全变量不连续哈密顿量的完全非线性偏微分方程的强比较原理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 一类一维可压缩Korteweg型流体外流问题中粘性激波的长时间渐近稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 朗道方程平面熵波的非线性稳定性与最优衰减率#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. Navier-Stokes 方程的临界账本与尺度缺陷级联#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. g-Laplacian 在 Reifenberg 平坦区域上的边界 Hölder 正则性#

摘要翻译#

2. 一个四阶非线性薛定谔方程（NLS）的反问题#

摘要翻译#

3. 单位球中 $α$-调和函数的 Riesz–Fejér 型不等式#

摘要翻译#

4. 通过 $L^p$-扰动方法得到对数薛定谔方程的无穷多个变号解#

摘要翻译#

5. 关于分数阶非线性薛定谔方程在 $\R^2$ 和 $\R^3$ 上解的高阶 Sobolev 范数增长的界#

摘要翻译#

6. 非光滑几何中测地线X射线变换的正则性#

摘要翻译#

7. 复正弦-戈登方程的对称性破缺#

摘要翻译#

8. 二维外区域中二次拟线性波动方程小初值光滑解的精确生命期#

摘要翻译#

9. 非线性薛定谔方程的一种新分辨率空间及其应用#

摘要翻译#

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

1. 流形上具有非负Ricci曲率的拟线性Liouville方程#

2. 热耦合接地浅冰盖中的扩散绝热流：建模与分析#

3. 两个耦合限价订单簿中关联性的涌现与埃普斯效应#

4. 自由边界Brakke流的一些基础性结果#

5. 捕食–猎物系统在移动环境中的传播速度：一个简短证明#

6. Monge–Ampère 方程的反问题：线性化与非线性重构#

7. 临界区域之外的奇异Trudinger-Moser泛函极大化子#

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

1. 非恒定核的 Euler-对齐系统周期熵解的衰减

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 等熵可压欧拉方程全局适定时间可容许弱解的非唯一性：对一大类初值数据成立

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 全变量不连续哈密顿量的完全非线性偏微分方程的强比较原理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 一类一维可压缩Korteweg型流体外流问题中粘性激波的长时间渐近稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 朗道方程平面熵波的非线性稳定性与最优衰减率

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. Navier-Stokes 方程的临界账本与尺度缺陷级联

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. g-Laplacian 在 Reifenberg 平坦区域上的边界 Hölder 正则性

摘要翻译

2. 一个四阶非线性薛定谔方程（NLS）的反问题

摘要翻译

3. 单位球中 $$α$$ -调和函数的 Riesz–Fejér 型不等式

摘要翻译

4. 通过 $$L^p$$ -扰动方法得到对数薛定谔方程的无穷多个变号解

摘要翻译

5. 关于分数阶非线性薛定谔方程在 $\R^2$ 和 $\R^3$ 上解的高阶 Sobolev 范数增长的界

摘要翻译

6. 非光滑几何中测地线X射线变换的正则性

摘要翻译

7. 复正弦-戈登方程的对称性破缺

摘要翻译

8. 二维外区域中二次拟线性波动方程小初值光滑解的精确生命期

摘要翻译

9. 非线性薛定谔方程的一种新分辨率空间及其应用

摘要翻译

不相关论文（基本信息）

1. 流形上具有非负Ricci曲率的拟线性Liouville方程

2. 热耦合接地浅冰盖中的扩散绝热流：建模与分析

3. 两个耦合限价订单簿中关联性的涌现与埃普斯效应

4. 自由边界Brakke流的一些基础性结果

5. 捕食–猎物系统在移动环境中的传播速度：一个简短证明

6. Monge–Ampère 方程的反问题：线性化与非线性重构

7. 临界区域之外的奇异Trudinger-Moser泛函极大化子