生成时间: 2026年03月05日 04:27:08

重点关注论文数量: 3

了解领域论文数量: 12

不相关论文数量: 7

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

1. 局部化的局部凸拓扑

Localized locally convex topologies

作者: Thierry De Pauw

类别: math.FA, math.AP

发布日期: 2026-03-04

arXiv ID: 2603.03958v1

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

详细分析

中文标题: 局部化的局部凸拓扑

1. 研究对象和背景

本文研究的核心对象是偏微分方程 $\mathrm{div}\, v = F$ ，其中 $$v$$ 是向量场， $$F$$ 是分布。该方程在数学物理中常见，但由于其病态性质，经典解理论往往不适用。本文旨在为这类方程建立一套通用的泛函分析框架，核心是引入并研究一种称为 局部化拓扑 的新型局部凸拓扑结构。

具体而言，设 $$X$$ 是一个实向量空间， $\mathcal{T}$ 是 $$X$$ 上的一个局部凸拓扑，由过滤的赋半范数族 $\{ \| \cdot \|_i \}_{i \in I}$ 生成。还假设 $$X$$ 可表为一个非递减的 $\mathcal{T}$ -闭向量子空间序列 $\{ X_k \}_{k \in \mathbb{N}}$ 的并集： $X = \bigcup_{k \in \mathbb{N}} X_k$ 。令 $\mathcal{C} = \{ C_k : k \in \mathbb{N} \}$ ，其中 $C_k = X_k \cap \{ x \in X : \| x \| \leq k \}$ 。 $\mathcal{C}$ 是一个 局部凸族，即每个 $$C_k$$ 是凸集且包含原点，且满足对任意 $C \in \mathcal{C}$ 、 $x \in X$ 、 $t \in \mathbb{R}$ ，存在 $D \in \mathcal{C}$ 使得 $x + t \cdot C \subseteq D$ 。

论文定义 $\mathcal{T}$ 在 $\mathcal{C}$ 上的 局部化拓扑 $\mathcal{T}_{\mathcal{C}}$ 如下：线性泛函 $f: X \to \mathbb{R}$ 是 $\mathcal{T}_{\mathcal{C}}$ -连续的，当且仅当它满足如下局部化连续性条件：

(\forall \varepsilon > 0)(\exists i \in I)(\exists \theta > 0)(\forall x \in X_{[\varepsilon^{-1}]}) \quad |f(x)| \leq \theta \|x\|_i + \varepsilon \|x\|.

这里 $X_{[\varepsilon^{-1}]}$ 表示满足 $\|x\| \leq \lfloor \varepsilon^{-1} \rfloor$ 的子空间，即 $X_{\lfloor \varepsilon^{-1} \rfloor}$ 。其中 $\| \cdot \|$ 是生成 $\mathcal{T}$ 的某个基准半范数（在主要应用中为 $$L^1$$ 范数）。

在具体案例（第10节）中，取 $X = \mathcal{D}(\mathbb{R}^m)$ （光滑紧支测试函数空间）， $\| \varphi \| = \|\varphi\|_{L^1}$ ， $\| \varphi \| = \|\nabla \varphi\|_{L^1}$ ， $X_k = \{ \varphi \in \mathcal{D}(\mathbb{R}^m) : \operatorname{spt} \varphi \subseteq B(0, k) \}$ 。此时 $\mathcal{T}_{\mathcal{C}}$ -连续线性泛函 $F: \mathcal{D}(\mathbb{R}^m) \to \mathbb{R}$ 正好是那些满足以下条件的分布 $$F$$ ：存在连续向量场 $v \in C(\mathbb{R}^m; \mathbb{R}^m)$ 使得 $\mathrm{div}\, v = F$ 。该条件可表述为：

(\forall \varepsilon > 0)(\exists \theta > 0)(\forall \varphi \in \mathcal{D}(\mathbb{R}^m)) \quad \operatorname{spt} \varphi \subseteq B(0, \lfloor \varepsilon^{-1} \rfloor) \implies |\langle \varphi, F \rangle| \leq \theta \|\varphi\|_{L^1} + \varepsilon \|\nabla \varphi\|_{L^1}.

本文将证明，若适当选取函数空间（如 $BV_c(\mathbb{R}^m)$ ，有界变差且紧支的函数空间）和拓扑，则 $\mathcal{T}_{\mathcal{C}}$ 的对偶空间恰好刻画了所有形如 $\mathrm{div}\, v$ 的分布，其中 $$v$$ 具有所需正则性（如连续或 $$L^p$$ 可积）。这为处理 $\mathrm{div}\, v = F$ 这类病态方程提供了统一的泛函分析平台，可适应不同区域（如 $\mathbb{R}^m$ 、开集 $\Omega$ ）、不同边值条件（如 $v \to 0$ 在无穷远）和不同 $$v$$ 的正则性。

2. 主要定理

本文证明的主要定理包括：

定理 1.4（存在唯一性）：设 $X[\mathcal{T}]$ 是局部凸空间， $\mathcal{C}$ 是 $$X$$ 上的局部化族，则存在唯一的 $\mathcal{T}$ 在 $\mathcal{C}$ 上的局部化拓扑 $\mathcal{T}_{\mathcal{C}}$ 。该拓扑由条件： $f: X \to \mathbb{R}$ 线性， $\mathcal{T}_{\mathcal{C}}$ -连续当且仅当 $(\forall \varepsilon>0)(\exists i\in I)(\exists \theta>0)(\forall x \in X_{[\varepsilon^{-1}]})$ 有 $|f(x)| \leq \theta \|x\|_i + \varepsilon \|x\|$ 刻画。
定理 3.1（序列收敛）：设 $\mathcal{C}$ 是非递减 countable 局部化族（ $C_k \subseteq C_{k+1}$ ），则 $x_n \xrightarrow{\mathcal{T}_{\mathcal{C}}} x$ 当且仅当 $(\forall k \in \mathbb{N})(\forall$ 子序列 $x_{n_j}$ ) 存在 $x_{j_l} \in C_k$ 的子列使得 $x_{j_l} \xrightarrow{\mathcal{T}} x$ 。
定理 4.2（拓扑简化）：若 $\mathcal{C}$ 是非递增 $\mathcal{T}$ -紧凸集序列且 $X = \bigcup C_k$ ，则 $\mathcal{T}_{\mathcal{C}}$ 有显式基： $E \subseteq X$ 是 $\mathcal{T}_{\mathcal{C}}$ -开当且仅当 $(\forall k \in \mathbb{N})(\exists U \in \mathcal{T})$ 使得 $E \cap C_k = U \cap C_k$ 。
定理 7.4（半自反性）： $X[\mathcal{T}_{\mathcal{C}}]$ 是半自反（semireflexive）当且仅当 $\mathcal{C}$ 中每个成员是 $\mathcal{T}$ -紧的。此时，评价映射 $X \to X''$ 是同胚，其中 $$X''$$ 赋予有界弱*拓扑 $\sigma_{\mathrm{bdd}}(X'', X')$ ，且 $\mathcal{T}_{\mathcal{C}}$ 等同于 $\sigma_{\mathrm{bdd}}(X'', X')$ 在 $$X$$ 上的限制。
定理 8.1（抽象存在定理）：设 $X[\mathcal{T}]$ 是局部凸空间， $\mathcal{C}$ 是非递减 $\mathcal{T}$ -紧凸集序列， $X = \bigcup C_k$ ， $\mathcal{T}_{\mathcal{C}}$ 是局部化拓扑。考虑线性算子 $A: Y \to X$ （通常为微分算子如 $\nabla$ ），其伴随 $A^*: X' \to Y'$ （如 $\mathrm{div}$ ）。若 $$A$$ 满足一定紧性条件（如 $A(C_k) \subseteq Y$ 且 $$A$$ 在 $$C_k$$ 上 $\mathcal{T}$ -连续），则 $$A^*$$ 是满射。在具体例子中，取 $X = BV_c(\mathbb{R}^m)$ ， $Y = C(\mathbb{R}^m; \mathbb{R}^m)$ ， $A = \nabla$ ， $A^* = \mathrm{div}$ ，则 $\mathrm{div}: C(\mathbb{R}^m; \mathbb{R}^m) \to (BV_c[\mathcal{T}_{\mathcal{C}}])'$ 是双射，其值域恰好是满足局部化条件的分布 $$F$$ 。

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

本文的研究建立在局部凸空间的经典泛函分析基础上，核心是 局部化拓扑 $\mathcal{T}_{\mathcal{C}}$ 的构造与分析。关键技术和工具如下：

a) 核心分析学工具

局部凸拓扑与对偶性理论：全文围绕 $\mathcal{T}_{\mathcal{C}}$ 的性质展开。利用其对偶刻画： $f \in X'$ 是 $\mathcal{T}_{\mathcal{C}}$ -连续的当且仅当满足条件 $(\forall \varepsilon>0)(\exists i)(\exists \theta>0)(\forall x \in X_{[\varepsilon^{-1}]})$ 有 $|f(x)| \leq \theta \|x\|_i + \varepsilon \|x\|$ 。这一条件将连续性分解为 $\mathcal{T}$ -连续性（通过 $\| \cdot \|_i$ ）和全局估计（通过 $\| \cdot \|$ ），体现了“局部化”思想。
强拓扑与有界弱*拓扑：考虑 $X[\mathcal{T}_{\mathcal{C}}]$ 的强拓扑 $\beta(X', X)$ （即 $$X'$$ 上 $\mathcal{T}_{\mathcal{C}}$ -有界集上的一致收敛拓扑）。在 $\mathcal{C}$ 由 $\mathcal{T}$ -紧集构成时， $\mathcal{T}_{\mathcal{C}}$ -有界集恰好是 $\mathcal{C}$ 中集的子集，且若 $\mathcal{C}$ 可数，则 $\beta(X', X)$ 可度量化。定理 5.3 证明 $(X[\mathcal{T}_{\mathcal{C}}])'[\beta(X', X)]$ 是完备的（Fréchet 空间）。
Mackey-Arens 定理：这是证明半自反性定理 7.4 的核心工具。该定理刻画了使弱拓扑 $\sigma(X, X')$ 与 Mackey 拓扑 $\tau(X, X')$ 相等的最强局部凸拓扑。通过验证 $\mathcal{T}_{\mathcal{C}}$ 满足 Mackey-Arens 定理的条件（即 $\mathcal{T}_{\mathcal{C}}$ 的连续半范数由 $$X'$$ 上在 $\sigma_{\mathrm{bdd}}(X', X'')$ -紧集上的限制控制），得出 $\mathcal{T}_{\mathcal{C}} = \tau(X, X')$ 。进而，当 $\mathcal{C}$ 是 $\mathcal{T}$ -紧时， $\mathcal{T}_{\mathcal{C}}$ 等同于 $\sigma_{\mathrm{bdd}}(X'', X')$ ，从而 $X[\mathcal{T}_{\mathcal{C}}]$ 半自反。
Krein-Šmulian 定理：用于证明算子值域的闭性。定理 8.1 中，需证 $\mathrm{div}$ 的值域闭，等价于证其伴随 $\nabla$ 的值域弱闭。Krein-Šmulian 定理将弱闭性归约为验证特定凸集的弱闭性： $F \subseteq X'$ 弱闭当且仅当 $F \cap U^\circ$ 弱*闭对所有 $\sigma_{\mathrm{bdd}}(X', X'')$ -紧圆盘 $$U$$ 成立。结合 $\mathcal{C}$ 的紧性，可将问题约化到紧集上，利用 Ascoli 定理或直接紧性论证。
Ascoli 定理与紧性：在具体应用（如 $X = BV_c(\mathbb{R}^m)$ ）中，需验证某些算子集合的紧性。定理 9 给出 $\beta(X', X)$ -紧集的特征： $F \subseteq X'$ 强紧当且仅当 $$F$$ 强闭且连续性条件 $(\forall \varepsilon>0)(\exists i)(\exists \theta>0)$ 对所有 $f \in F$ 一致成立。这推广了 Banach-Alaoglu 定理（要求空间桶型）。
Hahn-Banach 定理：用于证明值域的稠密性。定理 8.1 证明中，步骤 (iii) 利用 Hahn-Banach：若 $\mathrm{div}$ 的值域不稠，则存在非零连续泛函正交于值域，但通过 $\| \cdot \|$ 是范数（常数定理）和 $\mathcal{T}_{\mathcal{C}}$ -连续性，导出矛盾。

b) 解决技术性难题的主要技巧

局部化拓扑的非标准性质： $\mathcal{T}_{\mathcal{C}}$ 通常 不是归纳极限拓扑（因为 $\mathcal{C}$ 成员不一定是子空间），导致：
- $\mathcal{T}_{\mathcal{C}}$ 不一定是桶型（barrelled）或 bornological。例如第10节显示 $X = \mathcal{D}(\mathbb{R}^m)$ 赋予 $\mathcal{T}_{\mathcal{C}}$ 后是序列空间但非 Fréchet-Urysohn、不桶型、不 bornological。这意味着 Banach-Steinhaus 定理可能失效，有界线性算子不一定连续。
- 子空间上的局部化拓扑不一定匹配：若 $Y \subseteq X$ 是子空间，则 $(Y[\mathcal{T}_Y])_{\mathcal{C}_Y}$ 与 $Y[\mathcal{T}_{\mathcal{C}}]$ 可能不等，阻碍 Hahn-Banach 直接应用。为解决此问题，引入 均匀序列 $\mathcal{T}_{\mathcal{C}}$ -稠密 概念（5.6）： $Y \subseteq X$ 若 $\mathcal{T}_{\mathcal{C}}$ -稠密且任意 $\mathcal{T}_{\mathcal{C}}$ -连续线性泛函在 $$Y$$ 上的限制决定其在 $$X$$ 上的值，则 $$Y$$ 是均匀序列 $\mathcal{T}_{\mathcal{C}}$ -稠密。对应 扩张定理 5.7：若 $$Y$$ 均匀序列 $\mathcal{T}_{\mathcal{C}}$ -稠密，则任何 $$Y$$ 上的 $\mathcal{T}_{\mathcal{C}}$ -连续线性泛函唯一扩张到 $$X$$ 上仍 $\mathcal{T}_{\mathcal{C}}$ -连续。这替代了 Hahn-Banach 在非桶型空间中的角色。
序列性分析： $\mathcal{T}_{\mathcal{C}}$ 常是序列空间（sequential），但非 Fréchet-Urysohn。定理 3.1 和 3.4 给出序列收敛的刻画。利用附录 A 的区别：序列空间要求逐点极限连续则连续；Fréchet-Urysohn 要求闭包中的点可由序列逼近。后者更强， $\mathcal{T}_{\mathcal{C}}$ 通常不满足，因为 $\mathcal{C}$ 的递增性可能导致某些点的逼近需跳越不同“层”。
函数空间的切换：在具体例子中，测试函数空间 $\mathcal{D}(\mathbb{R}^m)$ 赋予 $\mathcal{T}_{\mathcal{C}}$ 后，其 dual 不能直接给出 $\mathrm{div}\, v$ 的刻画（因 $\mathcal{C}$ 非 $\mathcal{T}$ -紧）。为此切换到 $BV_c(\mathbb{R}^m)$ （有界变差紧支函数空间），赋予半范数 $\|u\|_{L^1}$ 和总变差 $\|Du\|_{\mathcal{M}}$ 。此时 $\mathcal{C}_k = \{ u \in BV_c : \operatorname{spt} u \subseteq B(0,k), \|u\|_{L^1} \leq k, \|Du\|_{\mathcal{M}} \leq k \}$ 是 $\|\cdot\|_{L^1}$ -紧（由 Helly 选择定理及紧支条件）。这确保 $\mathcal{T}_{\mathcal{C}}$ 满足半自反性和紧性条件，使存在性定理适用。
算子伴随的满射性证明：存在性定理 8.1 的证明采用标准闭值域路线，但依赖局部化拓扑的特定性质：
- 先证 $\mathrm{div}$ 的值域在 $(BV_c[\mathcal{T}_{\mathcal{C}}])'$ 中稠密：利用 $\| \cdot \|_{L^1}$ 是范数（BV 函数的常数定理：若 $\nabla u = 0$ 则 $$u$$ 几乎处处常数，但紧支 implies $$u=0$$ ）和 Hahn-Banach。假设值域不稠，则存在非零 $u \in BV_c$ 使得 $\int u \cdot \mathrm{div}\, v = 0$ 对所有 $$v$$ ，但由 $\nabla u$ 定义可导出 $$u=0$$ ，矛盾。
- 再证值域闭：等价于证 $\nabla: BV_c[\mathcal{T}_{\mathcal{C}}] \to C(\mathbb{R}^m; \mathbb{R}^m)$ 的值域弱闭。利用 Krein-Šmulian，只需证 $\nabla(C_k) \cap V^\circ$ 弱闭，其中 $V_k = \{ v \in C(\mathbb{R}^m; \mathbb{R}^m) : \operatorname{spt} v \subseteq B(0,k), \|v\|_\infty \leq k-1 \}$ ， $V_k^\circ$ 是 $C(\mathbb{R}^m; \mathbb{R}^m)'$ 中总变差 $\leq k$ 且支集在 $$B(0,k)$$ 的测度。由半自反性定理， $BV_c[\mathcal{T}_{\mathcal{C}}]$ 半自反，故 $\nabla(C_k)$ 是 $\mathcal{T}_{\mathcal{C}}$ -紧（因 $$C_k$$ 紧且 $\nabla$ 连续），从而弱*紧，故闭。这完成证明。

4. 与之前工作的比较

本文的主要突破在于建立了一个 抽象统一框架，将此前针对 $\mathrm{div}\, v = F$ 的多项研究纳入一个通用理论，并揭示了局部化拓扑 $\mathcal{T}_{\mathcal{C}}$ 的深刻而有时“ awkward”的性质。

a) 突破与改进

理论抽象化与推广：此前工作多针对具体场景：
- [11] 处理 $v \in C(\mathbb{R}^m; \mathbb{R}^m)$ ， $F \in \mathcal{D}'(\mathbb{R}^m)$ 满足局部 $$L^1$$ - $L^\infty$ 估计（即上述条件），证明 $$F$$ 可表为 $\mathrm{div}\, v$ 。区域为 $\mathbb{R}^m$ ，无边界条件。
- [12] 处理 $v \in C(\mathbb{R}^m; \mathbb{R}^m)$ 且在无穷远处 $v \to 0$ ，对应的 $$F$$ 有不同刻画（涉及 $$v$$ 在无穷远处的衰减）。
- [7] 将 $$v$$ 的正则性降为 $$L^p$$ 可积（ $p \geq 1$ ），相应调整函数空间（如 Lipschitz-free 空间）。
- [10] 推广到微分形式 $d\omega = F$ 在流形或奇异簇上。本文的 定理 8.1 表明：只要 $\mathcal{C}$ 是 $\mathcal{T}$ -紧递增族，且 $$A$$ （如 $\nabla$ ）和 $$A^*$$ （如 $\mathrm{div}$ ）满足适当连续性， $$A^*$$ 即为满射。这通过 选择 $\mathcal{T}$ 和 $\mathcal{C}$ 来覆盖不同情况：正则性由 $\mathcal{T}$ 生成的半范数反映（如 $$L^1$$ 或 $$L^p$$ ），区域和边值条件由 $\mathcal{C}_k$ 的支集和增长控制（如 $$B(0,k)$$ 或 $\Omega \cap B(0,k)$ ）， $$v$$ 的衰减由 $\mathcal{C}_k$ 中的界 $$k$$ 模拟。因此，本文框架 统一并推广 了上述结果，允许处理更广泛的区域（具 Poincaré 不等式的开集）、边值条件（ $$v=0$$ 在边界或无穷远）和 $$v$$ 的正则性（连续、 $$L^p$$ 、Sobolev 等）。
对偶刻画精确化：本文精确刻画了 $X[\mathcal{T}_{\mathcal{C}}]$ 的对偶： $f \in X'$ 是 $\mathcal{T}_{\mathcal{C}}$ -连续当且仅当满足局部化条件 $(\forall \varepsilon>0)(\exists i)(\exists \theta>0)(\forall x \in X_{[\varepsilon^{-1}]})$ 有 $|f(x)| \leq \theta \|x\|_i + \varepsilon \|x\|$ 。这比此前文献中直接估计 $|\langle \varphi, F \rangle|$ 更系统，且揭示了 $\mathcal{T}_{\mathcal{C}}$ -连续泛函必须同时受 $\mathcal{T}$ 半范数和全局半范数控制，这正是“局部化”的实质：在固定“尺度” $$k$$ （对应 $$X_k$$ ）上，连续性由 $\mathcal{T}$ 控制，但参数 $$k$$ 依赖于 $\varepsilon$ ，体现全局与局部的权衡。
揭示拓扑的“ awkward”性质：本文明确指出，尽管 $\mathcal{T}_{\mathcal{C}}$ 在应用中是序列空间，但 通常不是 Fréchet-Urysohn、桶型或 bornological（定理 3.8, 3.10，例 10.4）。这解释了为何经典泛函工具（如 Banach-Steinhaus、Banach-Alaoglu 的直接应用）在此失效，并敦促研究者警惕。例如， $X[\mathcal{T}_{\mathcal{C}}]$ 的强对偶 $\beta(X', X)$ 虽完备，但 $X'[\beta(X', X)]$ 可能不具良好性质（因 $$X$$ 不桶型）。这促进了 均匀序列 $\mathcal{T}_{\mathcal{C}}$ -稠密 概念的发展，为 Hahn-Banach 型扩张提供替代方案。
半自反性判据：定理 7.4 给出简洁判据： $X[\mathcal{T}_{\mathcal{C}}]$ 半自反 iff $\mathcal{C}$ 中集是 $\mathcal{T}$ -紧的。这为应用提供了清晰指引：要使 $X[\mathcal{T}_{\mathcal{C}}]$ 半自反（从而便于使用对偶工具），需确保 $\mathcal{C}_k$ 在基拓扑 $\mathcal{T}$ 下紧。在 $$BV_c$$ 例子中， $\|\cdot\|_{L^1}$ -紧性成立（因 $$BV$$ 函数的 $$L^1$$ 界结合紧支给出 $\mathcal{M}$ 界，由 Helly 定理），但若直接用 $\mathcal{D}$ 则 $$C_k$$ 非 $\|\cdot\|_{L^1}$ -紧（无 $\|\nabla \varphi\|$ 界）。这解释了为何需切换到 $$BV_c$$ 。

b) 放宽的假设与强化的结果

正则性要求的灵活调整：此前结果常固定 $$v$$ 的正则性（如连续）。本文通过 $\mathcal{T}$ 的选择，可处理 $v \in L^p$ （取 $\mathcal{T}$ 为 $$L^p$$ 拓扑）、 $v \in BV$ 等。这放宽了对 $$v$$ 的正则性假设，只需 $$v$$ 在某种拓扑下使 $\mathrm{div}\, v$ 有定义且满足局部化条件。
区域与边值条件的统一：[11] 仅考虑 $\mathbb{R}^m$ ；[12] 考虑 $v \to 0$ 在无穷远。本文中， $\mathcal{C}_k$ 的构造可适应不同区域：若 $\Omega \subseteq \mathbb{R}^m$ 是开集，取 $X_k = \{ \text{支集在 } \Omega \cap B(0,k) \text{ 的函数} \}$ ，则局部化条件自动蕴含 $$v$$ 在 $\Omega$ 外为零或衰减，从而涵盖边值条件。只需 $\Omega$ 满足 mild 条件（如 Poincaré 不等式）以保证 $$C_k$$ 的紧性。
结果强度：不仅存在性，还给出双射： $\mathrm{div}: \{ v : \text{满足正则性} \} \to \{ F \in (BV_c[\mathcal{T}_{\mathcal{C}}])' \}$ 。即 $$F$$ 可表为 $\mathrm{div}\, v$ 当且仅当 $$F$$ 满足局部化条件。这比单纯存在性更强，提供了完全刻画。
非线性右逆的存在性：定理 8.1(N) 指出，虽然 $\mathrm{div}$ 无有界线性右逆，但通过 Michael 选择定理，存在连续、正齐次的非线性右逆 $T: (BV_c[\mathcal{T}_{\mathcal{C}}])' \to C(\mathbb{R}^m; \mathbb{R}^m)$ 满足 $\mathrm{div} \circ T = \mathrm{id}$ 且具有与有界线性右逆相同的估计。这意味着解 $$v$$ 可连续依赖于 $$F$$ ，尽管无显式线性公式。

总之，本文通过系统研究局部化拓扑 $\mathcal{T}_{\mathcal{C}}$ ，将 $\mathrm{div}\, v = F$ 问题提升到抽象泛函分析高度，提供了统一理论、精确对偶刻画、存在性判据，并警示了拓扑非标准性质带来的陷阱。这为处理其他病态 PDE（如 $d\omega = F$ ）提供了可复用框架。

2. 关于纳维-斯托克斯方程温和解非唯一性及定常奇解的研究

On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

作者: Alexey Cheskidov, Hedong Hou

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.03666v1

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

详细分析

中文标题: 关于纳维-斯托克斯方程温和解非唯一性及定常奇解的研究

研究对象和背景

本文研究的核心对象是经典纳维-斯托克斯方程及其分数阶推广。首先，考虑定义在 $$d$$ 维环面 $\mathbb{T}^d = \mathbb{R}^d / \mathbb{Z}^d$ 上的不可压缩流体的经典方程：

\begin{cases} \partial_t u + \text{div}(u \otimes u) - \Delta u + \nabla p = 0, \\ \text{div}\,u = 0, \\ u(0) = u_{\text{in}},\ \text{div}\,u_{\text{in}} = 0. \end{cases} \tag{NSE}

其中 $u: [0,T) \times \mathbb{T}^d \to \mathbb{R}^d$ 是速度场， $p: [0,T) \times \mathbb{T}^d \to \mathbb{R}$ 是压力， $\Delta$ 是标准拉普拉斯算子。初始数据 $u_{\text{in}}$ 是一个无散度分布。方程的一个关键难点在于非线性项 $u \otimes u$ 的定义。由于本文考虑奇解或负正则性空间中的解， $$u$$ 可能不属于 $L^2_{\text{loc}}$ ，导致通常的张量积 $u \otimes u$ 在 $L^1_{\text{loc}}$ 中无定义。为此，论文采用 Littlewood-Paley 理论中的 paraproduct（乘积分解） 来定义 $u \otimes u$ 。具体而言，设 $\chi \in C^\infty_c(\mathbb{R}^d)$ 是径向截断函数，对 dyadic 整数 $N \geq 1$ 定义投影 $P_{\leq N}$ 和 $$P_N$$ 。若存在 $$s>0$$ 使得 $\sum_{N,M} \| P_N u \otimes P_M u \|_{\dot{H}^{-s}} < \infty$ ，则定义 $u \otimes u = \sum_{N,M} P_N u \otimes P_M u$ 在 $\dot{H}^{-s}$ 中绝对收敛。通过同构 $\iota$ 可嵌入到非齐次 Sobolev 空间 $H^{-s}$ 。

对于分数阶推广，考虑 分数阶纳维-斯托克斯方程 $(NSE^\alpha)$ ，其中 $\alpha > 0$ ：

\begin{cases} \partial_t u + \text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = 0, \\ \text{div}\,u = 0, \\ u(0) = u_{\text{in}},\ \text{div}\,u_{\text{in}} = 0. \end{cases} \tag{NSE$^\alpha$}

分数阶拉普拉斯 $(-\Delta)^\alpha$ 在分布意义下定义为：

(-\Delta)^\alpha u(x) := \sum_{m \in \mathbb{Z}^d} (2\pi |m|)^{2\alpha} \hat{u}(m) e^{2\pi i m \cdot x},

级数在 $\mathcal{D}'(\mathbb{T}^d)$ 中收敛。

尺度变换是分析的核心框架。对于 $$(NSE)$$ （在 $\mathbb{R}^d$ 上）， $u_\lambda(t,x) := \lambda u(\lambda^2 t, \lambda x)$ 仍是解。对于 $(NSE^\alpha)$ ， $u_\lambda(t,x) := \lambda^{2\alpha-1} u(\lambda^{2\alpha} t, \lambda x)$ 给出不变性。由此导出临界（尺度不变）空间：齐次 Besov 空间 $\dot{B}^{-1+d/q}_{q,r}(\mathbb{R}^d)$ 对于 $2 \leq d < q < \infty$ ；更精细的链为：

\dot{H}^{d/2-1} \hookrightarrow L^d \hookrightarrow \dot{B}^{-1+d/q}_{q,r} \hookrightarrow \text{BMO}^{-1} \hookrightarrow \dot{B}^{-1}_{\infty,\infty}.

正则性指数低于临界值对应超临界空间，高于临界值对应亚临界空间。在经典理论中，Fujita-Kato/[Chemin] 在 $\dot{H}^{d/2-1}$ 中证明局部适定性；Kato/[Cannone-Planchon] 推广到 $$L^d$$ 和 $\dot{B}^{-1+d/q}_{q,r}$ ；Koch-Tataru 在端点临界空间 VMO $^{-1}$ （ $\text{BMO}^{-1}$ 中 Schwartz 函数的闭包）中证明局部适定性。然而，Bourgain-Pavlović 证明在 $\dot{B}^{-1}_{\infty,\infty}$ 中不适定。在无条件唯一性方面，Fabes-Jones-Rivière 证明在亚临界 Lebesgue 空间 $L^p(\mathbb{R}^d)$ ( $d<p<\infty$ ) 中， $$C([0,T];L^p)$$ 中的温和解唯一；Furioli-Lemarié-Rieusset-Terraneo 扩展至临界 $$L^d$$ ( $d \geq 3$ )。Buckmaster-Vicol 和 Tao 使用 凸积分（convex integration） 在超临界空间（如 $H^\beta$ 对于 $\beta>0$ ）中构造非唯一性。本文的核心贡献是：证明在任意具有负正则性指标的 Besov 空间 $B^{-\theta}_{q,r}(\mathbb{T}^d)$ （ $\theta>0$ ）中，无条件唯一性均失效，这包括所有亚临界和临界 Besov 空间，是首次在亚临界解类中展示非唯一性。同时，结果推广到 $\alpha > 1/2$ 的分数阶方程，并给出定常弱解在端点临界空间中的唯一性结果，形成对比。

主要定理

论文的主要结果可分为三部分：温和解非唯一性、分数阶推广、定常解唯一性与存在性。

温和解非唯一性（定理 1.1）:
设 $d \ge 2$ , $\theta > 0$ , $q, r \in [1, \infty]$ 。则对任意 $\epsilon > 0$ ，存在初始数据 $u_{\text{in}} \in B^{-\theta}_{q,r}(\mathbb{T}^d)$ 满足 $\|u_{\text{in}}\|_{B^{-\theta}_{q,r}} < \epsilon$ ，使得存在 $$T>0$$ 和两个温和解 $u, v \in C([0,T]; B^{-\theta}_{q,r})$ 满足 $u(0)=v(0)=u_{\text{in}}$ 但 $u(t) \neq v(t)$ 对所有 $t \in (0,T]$ 。这结合亚临界 Besov 空间的局部适定性（[Can97, Pla98], [Saw03]），得出 NSE 在这些空间中局部适定但非无条件适定。
分数阶方程的非唯一性（定理 1.2）:
设 $d \ge 2$ , $\alpha > 1/2$ 。
- (i) 对任意 $\theta>0$ , $q,r \in [1,\infty]$ , $\epsilon>0$ ，存在 $u_{\text{in}} \in B^{-\theta}_{q,r}(\mathbb{T}^d)$ , $\|u_{\text{in}}\|_{B^{-\theta}_{q,r}} < \epsilon$ ，以及两个温和解 $u, v \in C([0,T]; B^{-\theta}_{q,r})$ 到 $(NSE^\alpha)$ 满足 $u(0)=v(0)=u_{\text{in}}$ 但 $u(t)\neq v(t)$ 对所有 $t \in (0,T]$ 。
- (ii) 若 $\alpha > (d+2)/4$ ，则同样结论在 $L^p(\mathbb{T}^d)$ 中对于任意 $1 \le p < 2$ 成立。
定常奇解存在（定理 1.5）:
设 $d \ge 2$ , $\alpha > 0$ 。
- (i) 存在无穷多个定常奇解 $$u$$ 到 $(NS^\alpha)$ （即满足定常方程且 $u \otimes u$ 作为 paraproduct 良定义），使得 $u \in L^p(\mathbb{T}^d) \cap \dot{B}^{-\theta}_{q,r}(\mathbb{T}^d)$ 对于任意 $1 \le p < 2$ 和任意 $\theta>0$ , $q,r \in [1,\infty]$ 。
- (ii) 若 $0 < \alpha < (d+1)/4$ ，则同样在 $L^2(\mathbb{T}^d)$ 中成立。
定常弱解唯一性（定理 1.7）:
不存在非平凡定常解 $$u$$ 满足以下条件：
- 若 $0 < \alpha \le 1$ ，则 $u \in L^2(\mathbb{T}^d) \cap \dot{B}^{1-2\alpha}_{\infty,1}(\mathbb{T}^d)$ ；
- 若 $1 \le \alpha \le \frac{d+2}{4}$ ，则 $u \in L^2(\mathbb{T}^d) \cap \dot{B}^{-1}_{q,1}(\mathbb{T}^d)$ ，其中 $q = \frac{d}{2\alpha-2}$ ；
- 若 $\alpha > \frac{d+2}{4}$ ，则 $u \in L^2(\mathbb{T}^d)$ 。
  注意：上述 Besov 空间均位于临界线上。
关联定理（命题 1.4 & 推论 1.6）:
- 命题 1.4：若 $$u$$ 是 $(NS^\alpha)$ 的奇解，则常数函数 $U(t) \equiv u$ 是 $(NSE^\alpha)$ 的温和解，初值为 $$u$$ 。这建立了定常奇解与温和解非唯一性的直接联系。
- 推论 1.6：当 $0 < \alpha < (d+1)/4$ ，对任意 $\epsilon > 0$ ，存在 $u_{\text{in}} \in L^2(\mathbb{T}^d)$ 满足 $\|u_{\text{in}}\|_{L^2} < \epsilon$ 以及两个不同的弱解 $u, v \in L^\infty([0,\infty); L^2) \cap C_w([0,\infty); L^2)$ 满足 $u(0)=v(0)=u_{\text{in}}$ 但 $u(t) \neq v(t)$ 对于 $$t>0$$ 。

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

a) 核心分析学工具

论文的综合分析建立在以下理论基石之上：

凸积分（Convex Integration）: 这是证明非唯一性的核心构造工具，源自 De Lellis-Székelyhidi 等人在欧拉方程中的工作。其本质是通过迭代添加高频振荡的贴片（defects） 来逐步修正近似解，同时控制能量衰减。在 Navier-Stokes 背景下，需精细设计 Oseen 流作为基本解，并利用 补偿（compensation） 机制处理非线性项。迭代在双线性算子 $$B$$ 的意义下收敛，而非逐点收敛，这要求对频率支撑和幅度进行严格选择。
Littlewood-Paley 理论与调和分析: 这是定义 Besov 空间、处理乘积 $u \otimes u$ 和估计算子的基础框架。论文广泛使用：
- ** paraproduct 分解**（Bony 分解）： $u \otimes v = \sum_{N \le M/2} P_N u \otimes P_M v + \text{高阶项}$ 。这是将乘积分解为“主要部分”（ $P_N u \otimes P_M v$ 中 $N \ll M$ ）和余项的关键，使得在负正则性空间中， $u \otimes u$ 可通过逐项范数控制来定义。
- Bernstein 型不等式：控制频率局部化函数的导数范数。
- Mikhlin 乘子定理：处理热半群 $e^{t\Delta}$ 和分数阶半群 $e^{-t(-\Delta)^\alpha}$ 的傅里叶乘子。
Banach 不动点定理: 在局部适定性证明（命题 2.1）中，通过构造合适解空间（如 $$X_T$$ 或 $$Y_T$$ ，含时间加权范数），证明双线性算子 $$B(u,v)$$ 是压缩映射。解空间的设计依赖于平滑效应估计（Lemma 2.4），即热/分数阶热核将 $$L^p$$ 提升到更高正则性 $$L^q$$ 的速率 $t^{-\alpha \beta - \frac{d}{2\alpha}(\frac{1}{p}-\frac{1}{q})}$ 。
能量方法和乘法连续性: 在定常解唯一性（定理 1.7）证明中，核心是对定常方程取 $\phi = u$ 作为试验函数，结合插值不等式和乘法映射在 Besov 空间的连续性（如 $\dot{B}^{s_1}_{q_1,r_1} \cdot \dot{B}^{s_2}_{q_2,r_2} \hookrightarrow \dot{B}^{s}_{q,r}$ 当 $$s = s_1+s_2$$ , $$1/q = 1/q_1+1/q_2$$ ），导出能量估计 $\|u\|_{L^2}^2 \lesssim \|u\|_{H^{-\alpha}}^2$ 或 Besov 范数估计，再通过极小化或直接估计证明 $$u=0$$ 。
对偶性与平均零条件: 奇解定义中，试验函数 $\phi$ 取无散度的光滑函数，且要求 $$u(0)=0$$ （傅里叶零模为零）。这确保了解在分布意义下是适定的。在证明唯一性时，常利用 $\langle u \otimes u, \nabla \phi \rangle$ 的双线性形式及其与 $$L^2$$ 内积 $\langle u, (-\Delta)^\alpha \phi \rangle$ 的联系，结合 $\phi$ 可近似取为 $$u$$ 本身。
分数阶算子的延拓理论: 当 $\alpha > 1/2$ 时， $(-\Delta)^\alpha$ 的 $$L^p$$ 有界性、Sobolev 嵌入等性质与 $\alpha \le 1/2$ 有本质区别。论文在定理 1.2(ii) 中利用 $\alpha > (d+2)/4$ 时 $$L^2$$ 亚临界的条件，结合 Lions 的全局正则性结果，但通过凸积分在 $$L^p$$ ( $$p<2$$ ) 中构造非唯一性，显示在亚临界 Lebesgue 空间中局部适定性可能不蕴含无条件唯一性。

b) 解决技术性难题的主要技巧

负正则性空间中乘积 $u \otimes u$ 的良定义: 这是首要障碍。论文通过要求 $u \in \dot{B}^{-\theta}_{q,r}$ 且 $\theta > 0$ 足够大（实际 $\theta$ 任意小正数），利用 Besov 空间的乘积性质：若 $$s_1+s_2 > -d/p$$ 且 $$1/p = 1/q_1+1/q_2$$ ，则 $\dot{B}^{s_1}_{q_1,r_1} \cdot \dot{B}^{s_2}_{q_2,r_2} \hookrightarrow \dot{B}^{s}_{q,r}$ 。这里，令 $s_1=s_2=-\theta$ ，则 $s=-2\theta$ 。只要 $-2\theta > -d/q$ （即 $\theta < d/(2q)$ ），乘积可嵌入某个 Besov 空间。但论文的奇解定义允许不同的 Paraproduct 分解方向，即控制所有 $P_N u \otimes P_M u$ 的范数，这比要求整体乘积在某个空间中有定义更强。通过选择 $$s$$ 使得 $\sum_{N,M} \|P_N u \otimes P_M u\|_{\dot{H}^{-s}} < \infty$ ，可确保 $u \otimes u$ 作为级数在 $\dot{H}^{-s}$ 中绝对收敛。这利用了频率分离： $$N$$ 和 $$M$$ 可以非常大，但通过 $N \sim M$ 和 $N \ll M$ 分别估计，结合 $$u$$ 的频率衰减假设（ $$u$$ 属于负指数 Besov，高频部分衰减），可使级数收敛。
凸积分构造中的频率选择与幅度控制: 迭代构造依赖于在每个步骤添加一个“贴片” $$v_N$$ （频率 $\sim N$ ），其幅度 $\delta_N$ 满足 $\delta_N \sim N^{-\gamma}$ 对于某个 $\gamma$ 。关键是选择 $\gamma$ 使得：
- 贴片贡献的非线性项 $$B(v_N, v_N)$$ 不破坏前一步的校正；
- 总能量（如 $\|u\|_{L^2}$ 或 Besov 范数）保持有界；
- 迭代序列 $u^{(k)}$ 在合适意义下收敛到奇解。论文使用双线性估计的精细尺度分析：估计 $$B(v_N, u)$$ 和 $$B(u, v_N)$$ 时，利用 $$u$$ 已属于负指数 Besov 空间，高频分量衰减足够快，而 $$v_N$$ 是纯高频，其乘积的频率处于 $$v_N$$ 的频率尺度，从而可控制。同时， $$B(v_N, v_N)$$ 的频率更高，其范数通过 $\delta_N^2 N^{\text{某些指数}}$ 估计，选择 $\gamma$ 使其可数求和。
从定常奇解到温和解非唯一性的桥接（命题 1.4）: 这是一个简洁但深刻的概念转移。若 $$u$$ 是定常奇解，则 $U(t) \equiv u$ 直接满足温和积分方程：
$U(t) = e^{t\Delta} u - \int_0^t e^{(t-s)\Delta} P \text{div}(u \otimes u)(s) \, ds.$
右边：由于 $$u$$ 是定常解，有 $-\text{div}(u \otimes u) + \Delta u = 0$ （在分布意义下），故 $\Delta u = \text{div}(u \otimes u)$ 。利用热半群的解析性， $e^{t\Delta} u$ 和积分项均可定义为分布，且它们的和正好是 $$u$$ （通过定常方程的傅里叶表示）。这证明 $$U$$ 是温和解。因此，非平凡定常奇解的存在直接推出温和解非唯一性（因为零初值有两个不同解： $$0$$ 和 $$U$$ ）。
端点临界空间唯一性证明中的插值与乘法连续性: 定理 1.7 的证明需要处理 Besov 空间位于临界线的情况，此时标准乘积可能不封闭。例如，对于 $\alpha \le 1$ ，要求 $u \in L^2 \cap \dot{B}^{1-2\alpha}_{\infty,1}$ 。考虑定常方程离散化： $u = (-\Delta)^{-\alpha} \text{div}(u \otimes u) + \nabla p$ 。作用于 $$u$$ 的傅里叶系数，或取试验函数 $\phi = u$ ，得到：
$\int |u|^2 \, dx = \int (-\Delta)^{-\alpha} u \cdot \text{div}(u \otimes u) \, dx + \text{边界项}.$
通过分部积分和 $\text{div}\, u=0$ ，可得 $\|u\|_{L^2}^2 = \int (-\Delta)^{-\alpha} u \cdot \text{div}(u \otimes u) \, dx$ 。估计右边：
$\left| \int (-\Delta)^{-\alpha} u \cdot \text{div}(u \otimes u) \, dx \right| \lesssim \|(-\Delta)^{-\alpha} u\|_{\dot{B}^{1-2\alpha}_{\infty,1}} \cdot \|\text{div}(u \otimes u)\|_{\dot{B}^{2\alpha-1}_{1,\infty}}.$
利用分数阶导数的交换性， $\text{div}(u \otimes u)$ 的范数可控制为 $\|u \otimes u\|_{\dot{B}^{2\alpha}_{1,\infty}}$ 。再由乘积估计： $\|u \otimes u\|_{\dot{B}^{2\alpha}_{1,\infty}} \lesssim \|u\|_{\dot{B}^{1-2\alpha}_{\infty,1}} \|u\|_{\dot{B}^{1-2\alpha}_{\infty,1}}$ ，但需要小心指数和端点情况。当 $\alpha \le 1$ ， $1-2\alpha \ge -1$ ；当 $\alpha \ge 1$ ，使用 $\dot{B}^{-1}_{q,1}$ 且 $q = d/(2\alpha-2)$ 。通过精细的对偶性（ $\dot{B}^{s}_{q,r}' \approx \dot{B}^{-s}_{q',r'}$ ）和 Hölder 不等式 在 Besov 空间，可将估计化为 $\|u\|_{L^2}^2 \lesssim \|u\|_{H^{-\alpha}} \|u\|_{L^2}^2$ 或类似形式。由于 $H^{-\alpha}$ 范数包含 $$L^2$$ 范数（当 $\alpha \ge 0$ ），但需避免平凡估计。关键步骤是证明 $\|u\|_{H^{-\alpha}}$ 可被 $\|u\|_{L^2}$ 控制，这依赖于 $$u$$ 同时属于 $$L^2$$ 和临界 Besov 空间，通过 Sobolev 嵌入： $\dot{B}^{1-2\alpha}_{\infty,1} \hookrightarrow H^{-\alpha}$ 当 $1-2\alpha \le -\alpha$ 即 $\alpha \ge 1$ ，但 $\alpha \le 1$ 时 $1-2\alpha \ge -\alpha$ ，需其他 argument。论文可能利用了 BMO 型估计 或 Córdoba-Córdoba 极大函数 在临界空间的弱型估计。最终得到 $\|u\|_{L^2}^2 \lesssim \|u\|_{L^2}^2 \cdot \|u\|_{L^2}^2$ ，若 $\|u\|_{L^2}$ 小则 $$u=0$$ ，但这里 $$u$$ 任意，故需精确指数使 $\|u\|_{L^2}^2 \lesssim \|u\|_{L^2}^2$ 仅当 $\|u\|_{L^2}=0$ 。实际上，通过布置估计得到 $\|u\|_{L^2}^2 \le C \|u\|_{L^2} \|u\|_{L^2}^2$ 或 $\|u\|_{L^2}^2 \le C \|u\|_{L^2}^2 \|u\|_{L^2}^2$ ，若 $\|u\|_{L^2}$ 有限但非零，不等式可能成立，需要更精细。可能利用了 端点空间中的乘法紧性： $\dot{B}^{-1}_{q,1}$ 是序列空间 $\ell^1$ 类，乘积的估计可能给出 $\|u \otimes u\|_{\dot{B}^{2\alpha}_{1,\infty}} \le C \|u\|_{\dot{B}^{1-2\alpha}_{\infty,1}}^2$ ，然后结合分数阶 Sobolev 嵌入 $\dot{B}^{1-2\alpha}_{\infty,1} \hookrightarrow L^\infty$ 若 $1-2\alpha > 0$ ？不， $\alpha>0$ 时 $1-2\alpha$ 可负。需查原文证明。但概括地，技巧是将方程能量恒等式转化，利用 Besov 空间的对偶和乘积连续性，得到仅当 $$u=0$$ 时成立的不等式。
分数阶方程的平滑效应估计（Lemma 2.4）: 对于 $(-\Delta)^\alpha$ 半群， $e^{-t(-\Delta)^\alpha}$ 的 $L^p \to L^q$ 估计是：
$\|e^{-t(-\Delta)^\alpha} f\|_{L^q} \lesssim t^{-\frac{d}{2\alpha}(\frac{1}{p}-\frac{1}{q})} \|f\|_{L^p}.$
类似地，对于 Oseen 核（与 $\text{div}\,P e^{-t(-\Delta)^\alpha}$ 相关），有 $t^{-\frac{1}{2}\alpha - \frac{d}{2\alpha}(\frac{1}{p}-\frac{1}{q})}$ 。这些是分数阶热核的基本高斯衰减估计，通过傅里叶变换计算模的大小得到。在局部适定性中，这些估计用于控制双线性项 $B_\alpha$ 的时空范数。

与之前工作的比较

本文的结论在多个维度上推进了已知结果，具体体现在假设条件的放宽、函数空间的扩展、方程类型的推广以及定常解唯一性的新结果。

无条件唯一性失效的范围扩大至亚临界 Besov 空间:
- 先前工作：无条件唯一性仅在亚临界 Lebesgue 空间（ $$L^p$$ , $d<p<\infty$ ）和临界 Lebesgue 空间（ $$L^d$$ , $d\ge 3$ ）中成立（[FK64, Che92, Kat84, Can97, Pla98, FLRT00]）。在 Besov 框架中，唯一性主要针对超临界或临界 Besov 空间：如 $\dot{B}^{-1}_{\infty,\infty}$ 中存在非唯一性（[CS10, BP08]），或在 $\text{BMO}^{-1}$ 中非唯一性（[CDP25]）。但这些空间的正则性指标为负或零，属于临界或超临界（因为临界指数为 $$-1$$ 或 $$-1+d/q$$ ）。亚临界 Besov 空间对应 $$-1+d/q < s$$ ，特别是当 $$s$$ 为负但大于临界值（即 $$-1+d/q < s < 0$$ ），函数比临界空间光滑，传统上预期良好适定性。
- 本文突破：定理 1.1 证明对于任意负指数 $-\theta$ ( $\theta>0$ ) 和任意 $$(q,r)$$ ，包括所有亚临界 Besov 空间（ $-\theta > -1+d/q$ ），无条件唯一性均失效。这是首次在亚临界解类中展示非唯一性，完全打破了“正则性越高唯一性越好”的直觉，揭示了 NSE 解结构的根本复杂性。特别地，当 $$q$$ 有限且 $\theta$ 小使得 $-\theta$ 接近 0（即 $B^0_{q,r}$ 类），唯一性仍然不成立。
分数阶纳维-斯托克斯方程的统一处理:
- 先前工作：分数阶 NSE 的局部适定性结果零碎。对于 $\alpha \in (1/2,1]$ ，Wu 在临界 Besov 空间 $\dot{B}^{1-2\alpha+d/q}_{q,r}$ ( $2<q<\infty$ ) 中证明适定；对于 $\alpha \ge 1$ ，Bourgain-Pavlović 和 [CD14] 证明在亚临界 $\dot{B}^{-\alpha}_{\infty,r}$ ( $2<r\le\infty$ ) 中不适定。这留下了重要空白：对于 $\alpha>1/2$ 的任意 Besov 空间（尤其指数负但大于临界值），以及 Lebesgue 空间中 $$p<2$$ 的情形。
- 本文突破：定理 1.2 证明了对于所有 $\alpha>1/2$ ，在任意 Besov 空间 $B^{-\theta}_{q,r}$ （ $\theta>0$ ）中非唯一性，覆盖了亚临界和临界 Besov 空间。此外，当 $\alpha > (d+2)/4$ 时，在任意 Lebesgue 空间 $$L^p$$ 对于 $1\le p<2$ 中非唯一性（定理 1.2(ii)）。这填补了超临界和亚临界 Lebesgue 空间之间的空白。 $$p<2$$ 的情况特别有意义，因为当 $\alpha > (d+2)/4$ 时 $$L^2$$ 是亚临界的（Lions 全局正则性），但局部适定性可能仍不唯一。
定常奇解的存在性范围极大扩展:
- 先前工作：Lemarié-Rieusset [LR25] 在 $$d=2$$ 时于 $L^{2-\epsilon} \cap \dot{H}^{-\epsilon}$ （所有 $\epsilon \in (0,1)$ ）中构造奇解；Ashkarian 等扩展至 $\bigcap_{\epsilon \in (0,1)} L^{2-\epsilon} \cap \dot{H}^{-\epsilon}$ 。对于高阶 $\alpha$ ，Luo [Luo19] 在 $\alpha=1$ , $d\ge 4$ 时于 $$L^2$$ 中构造非平凡定常弱解。但这些结果局限于特定函数空间的交集，且未覆盖所有 Besov 空间。
- 本文突破：定理 1.5(i) 表明，对于任意 $\alpha>0$ 和任意 Besov 空间 $\dot{B}^{-\theta}_{q,r}$ （ $\theta>0$ ），存在属于该空间的非平凡定常奇解。这意味着从 $\dot{B}^{-\epsilon}$ 到 $\dot{B}^{-\theta}$ 对于任意小的 $\theta$ ，奇解均存在。定理 1.5(ii) 进一步将 $$L^2$$ 中的存在性推广至 $\alpha < (d+1)/4$ （之前 Luo 的 $\alpha=1$ 对应 $d\ge 4$ ，而 $$(d+1)/4 > 1$$ 当 $$d>3$$ ，故范围更广）。核心技巧是凸积分的迭代构造，通过选择频率支持和幅度，使得最终解恰好落在目标 Besov 空间中，并满足定常方程的弱形式（用 paraproduct 处理非线性项）。这比直接证明温和解非唯一性更强，因为它提供了显式的“熵解”候选。
定常弱解在端点临界空间中的唯一性:
- 先前工作：Lemarié-Rieusset [LR25] 在 $$d=2$$ 时证明在 $L^{2,1}(\mathbb{T}^2)$ （空间 $$L^2$$ 的一阶 Sobolev 型空间，嵌入 $L^2 \cap \text{BMO}^{-1}$ ）中定常弱解唯一。但一般高维和分数阶情况未解决。全局正则性结果（如 Lions 对于 $\alpha > (d+2)/4$ 在 $$L^2$$ 中）暗示唯一性，但未明确证明。
- 本文突破：定理 1.7 系统性地证明了在一系列端点临界 Besov 空间（如 $\dot{B}^{1-2\alpha}_{\infty,1}$ 当 $0<\alpha\le1$ ，或 $\dot{B}^{-1}_{q,1}$ 当 $1\le\alpha\le(d+2)/4$ 且 $q=d/(2\alpha-2)$ ）以及 $$L^2$$ （当 $\alpha>(d+2)/4$ ）中，不存在非平凡定常解。这些空间正好位于临界线上，且 Besov 指数中的 $$r=1$$ 是序列空间 $\ell^1$ 类，乘法性质更弱，唯一性在此成立表明临界正则性的边界。证明结合能量估计、乘法连续性以及 Sobolev 嵌入：例如当 $u \in L^2 \cap \dot{B}^{1-2\alpha}_{\infty,1}$ ，有 $\|u\|_{H^{-\alpha}} \lesssim \|u\|_{L^2}$ 若 $1-2\alpha \le -\alpha$ 即 $\alpha \ge 1$ ，但 $\alpha<1$ 时利用 $\dot{B}^{1-2\alpha}_{\infty,1} \hookrightarrow \text{BMO}^{1-2\alpha}$ 且 $1-2\alpha > -\alpha$ ，可能需要 Gagliardo-Nirenberg 插值或使用乘积估计 $\|u \otimes u\|_{H^{-\alpha}} \lesssim \|u\|_{\dot{B}^{1-2\alpha}_{\infty,1}}^2$ 然后控制 $H^{-\alpha}$ 范数。关键步骤是证明能量恒等式 $\|u\|_{L^2}^2 \lesssim \|u\|_{H^{-\alpha}} \|u\|_{L^2}^2$ 或 $\|u\|_{L^2}^2 \lesssim \|u\|_{H^{-\alpha}}^2$ ，结合 $\|u\|_{H^{-\alpha}} \lesssim \|u\|_{L^2}$ （来自假设的双嵌入），得 $\|u\|_{L^2}^2 \lesssim \|u\|_{L^2}^2 \|u\|_{L^2}^2$ 或 $\|u\|_{L^2}^2 \lesssim \|u\|_{L^2}^2$ ，迫使 $\|u\|_{L^2}=0$ 。具体指数需满足 $1-2\alpha \le -\alpha$ ？不，对于 $\alpha<1$ ， $1-2\alpha > -\alpha$ ，故 $\dot{B}^{1-2\alpha}_{\infty,1}$ 不能连续嵌入 $H^{-\alpha}$ ，但可能通过其他方法如 $\text{BMO}^{-1}$ 嵌入到 $H^{-1}$ ？需查原文。但论文声称这些空间在临界线上，暗示乘积后正则性不变，从而能量估计可闭合。
方法论统一：凸积分与奇解概念:
- 先前非唯一性构造多基于迭代法或显式振荡序列（如 [BV19b] 的“涡旋叠加”）。本文则系统性地使用凸积分（源自几何年表的灵活方法）在所有负指数 Besov 空间和任意 $\alpha>0$ 的分数阶方程中构造非平凡奇解。这比 [LR25] 的 $L^{2-\epsilon} \cap \dot{H}^{-\epsilon}$ 更精细，且不依赖于特定维度（ $$d=2$$ ）或 $\alpha=1$ 。论文还明确了奇解定义中 $u \otimes u$ 作为 paraproduct 的条件（公式 (1.3)），这比要求 $u \in L^2_{\text{loc}}$ 更弱，允许更奇异的解。命题 1.4 表明，一旦定常奇解存在，温和解非唯一性自动成立（因为常数延伸解），从而将问题简化为构造定常解。
技术深化：局部适定性的推广（命题 2.1）:
- 论文不仅证明非唯一性，还提供分数阶 NSE 在亚临界 Lebesgue 和 Besov 空间中的局部适定性（命题 2.1）。这建立了在这些空间中“适定但不唯一”的完整图景，说明时间局部存在且依赖初始数据连续，但解的唯一性不无条件（即依赖于解类选择，如允许奇解时唯一性破灭）。这扩展了 [Saw03] 的亚临界 Besov 适定性到分数阶情形，并允许 $r=\infty$ 的端点情况（Remark 2.2），使用弱*拓扑。

总结: 本文通过引入奇解概念和精良的凸积分构造，在负正则性 Besov 空间和分数阶 NSE 中实现了无条件唯一性失效的全面证明，同时揭示了端点临界空间中定常解的唯一性，极大深化了对纳维-斯托克斯方程解结构复杂性的理解，特别是打破了亚临界空间中的唯一性预期，并统一处理了经典与分数阶情形。主要技术贡献在于处理负空间中乘积的定义、凸积分的频率-幅度协调、以及定常方程能量估计在临界 Besov 空间中的精细平衡。

3. Nonradial linear stability of liquid Lane-Emden stars

作者: King Ming Lam

类别: math.AP

发布日期: 2026-03-03

arXiv ID: 2603.03548v1

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

详细分析

一、研究对象和背景

本文研究的核心是液体Lane-Emden星的非径向线性稳定性。这是一个经典的自引力流体星体模型，其动力学由Euler-Poisson系统描述。与通常的气体星体（采用理想气体状态方程 $p = \rho^\gamma$ ）不同，本文考虑的液体星体采用所谓的“硬化气体”（stiffened gas）状态方程：

p = \rho^\gamma - 1, \quad \gamma \in [1,2].

这个方程中的常数项 $$-1$$ 代表一个恒定的背景压力，它能有效模拟液体或相对论性星体中由于粒子速度上限（光速）而产生的压力饱和效应。这种修正使得星体的稳定性行为与经典气体模型有本质区别：在经典气体模型中，当绝热指数 $\gamma < 4/3$ 时，Lane-Emden星总是径向线性不稳定的；而在液体模型中，存在一个质量依赖的稳定窗口，即使 $\gamma < 4/3$ ，小质量的液体星也可能是径向稳定的[36]。

Euler-Poisson系统是描述自引力无粘性可压缩流体的基本模型。在欧拉坐标下，未知量包括：流体密度 $\rho \ge 0$ ，速度场 $\mathbf{u}$ ，压力 $p \ge 0$ ，以及引力势 $\phi$ 。它们满足以下方程组：

\begin{aligned} &\partial_t \rho + \nabla\cdot(\rho \mathbf{u}) = 0 \quad \text{在 } \Omega(t) \text{ 中}, \tag{1.1} \\ &\rho(\partial_t + \mathbf{u}\cdot\nabla)\mathbf{u} + \nabla p + \rho \nabla \phi = 0 \quad \text{在 } \Omega(t) \text{ 中}, \tag{1.2} \\ &\Delta \phi = 4\pi \rho \quad \text{在 } \mathbb{R}^3 \text{ 中}. \tag{1.3} \end{aligned}

其中 $\Omega(t) := \{\mathbf{x} : \rho(t,\mathbf{x}) > 0\}$ 是星体的支撑内部（即物质所在区域），在边界 $\partial\Omega(t)$ 上存在真空自由边界。系统需补充边界条件：

狄利克雷条件：边界上压力与外部真空匹配，即 $$p = 0$$ 在 $\partial\Omega(t)$ 上；
运动学条件：边界以流体法向速度运动，即 $V_n = \mathbf{u}\cdot\mathbf{n}$ ，其中 $\mathbf{n}$ 是 $\partial\Omega(t)$ 的外法向。

此外，系统要求引力势在无穷远处趋于零： $\lim_{|\mathbf{x}|\to\infty} \phi(t,\mathbf{x}) = 0$ 。

由于自由边界会随时间运动，处理此类问题通常采用拉格朗日坐标。令 $\boldsymbol{\eta}(t,\mathbf{x})$ 是流体粒子从初始位置 $\mathbf{x} \in \Omega_0$ 在时刻 $$t$$ 的流 Map，满足 $\partial_t \boldsymbol{\eta} = \mathbf{u}\circ\boldsymbol{\eta}$ 且 $\boldsymbol{\eta}(0,\mathbf{x}) = \mathbf{x}$ 。空间域被固定为初始域 $\Omega_0$ 。引入拉格朗日变量：

$v = \mathbf{u}\circ\boldsymbol{\eta}$ （拉格朗日速度），
$f = \rho\circ\boldsymbol{\eta}$ （拉格朗日密度），
$\psi = \phi\circ\boldsymbol{\eta}$ （拉格朗日势），
$A = (\nabla\boldsymbol{\eta})^{-1}$ （变形张量的逆），
$J = \det(\nabla\boldsymbol{\eta})$ （雅可比行列式），
$\mathbf{a} = J A$ （余因子矩阵）。

在此坐标系下，连续性方程变为 $$f J = f_0 J_0$$ （ $$f_0$$ 是初始密度），而动量方程（在 $\Omega_0$ 上）为：

\partial_t v + \frac{1}{f_0} \partial_k \left( \bar{\rho}^\gamma (A_k J^{1-\gamma}) \right) + A \nabla \psi = 0, \tag{1.6}

其中 $\bar{\rho} := f_0 J_0^{-1}$ 是参考密度，且在后续分析中我们通过标签规范自由度将其固定为液体Lane-Emden星的背景密度 $\bar{\rho}(\mathbf{x})$ 。同时， $\psi$ 满足泊松方程：

(A\nabla)\cdot(A\nabla)\psi = 4\pi f J J_0^{-1}. \tag{1.7}

引力势 $\psi$ 可通过卷积算子表示：

\psi(\mathbf{x}) = (K f)(\boldsymbol{\eta}(\mathbf{x})) = -\int_{|\mathbf{y}| \le R} \frac{f(\mathbf{z})J(\mathbf{z})J_0(\mathbf{z})}{|\boldsymbol{\eta}(\mathbf{x})-\boldsymbol{\eta}(\mathbf{z})|} d\mathbf{z},

其中定义了两个重要的牛顿势算子：

\begin{aligned} (Kh)(\mathbf{x}) &:= -\int_{|\mathbf{y}| \le R} \frac{h(\mathbf{y})}{|\mathbf{x}-\mathbf{y}|} d\mathbf{y}, \tag{1.8a} \\ (K_{\partial}h)(\mathbf{x}) &:= -\int_{|\mathbf{y}| = R} \frac{h(\mathbf{y})}{|\mathbf{x}-\mathbf{y}|} dS(\mathbf{y}). \tag{1.8b} \end{aligned}

Lane-Emden星是 Euler-Poisson 系统的静态球对称解，即 $\boldsymbol{\eta}(t,\mathbf{x}) \equiv \mathbf{x}$ 。此时流映射恒等， $$A=I$$ ， $$J=1$$ ， $$v=0$$ ， $f = \bar{\rho}$ 。代入动量方程 (1.6) 并利用状态方程，得到：

\nabla(\bar{\rho}^\gamma) + \bar{\rho} \nabla(K\bar{\rho}) = 0 \quad \text{在 } B_R(0) \text{ 上},

或等价地（对 $\gamma > 1$ ）：

\gamma \bar{\rho}^{\gamma-2} \Delta \bar{\rho} + 4\pi \bar{\rho} = 0, \quad \text{在 } B_R(0) \text{ 上}, \tag{1.11}

并加上自然边界条件： $\bar{\rho}'(0)=0$ （由对称性）和 $\bar{\rho}(R)=1$ （通过缩放定义 $$R$$ 为密度降至 1 的半径）。该常微分方程定义了Lane-Emden函数， $\bar{\rho}(r)$ 是径向递减函数， $$R$$ 可以是有限或无穷。我们将密度分布记为：

\bar{\rho}(\mathbf{x}) = \bar{\rho}(|\mathbf{x}|) \mathbf{1}_{B_R(0)}(\mathbf{x}). \tag{1.12b}

论文中 Lemma 1.1 给出了 $\bar{\rho}$ 导数的重要估计：

-\frac{(\bar{\rho}^\gamma)'(r)}{r} \sim 1, \quad \text{更精确地，} \quad \frac{4\pi}{3} < -\frac{(\bar{\rho}^\gamma)'(r)}{r} < \frac{\bar{\rho}(0)^2}{3}.

研究问题：给定上述液体 Lane-Emden 星作为静态平衡解，研究其在任意非径向扰动下的线性稳定性。由于系统具有平移不变性（对应动量守恒），任何常数平移（ $\boldsymbol{\theta} = t\mathbf{e}_i$ ）都是平凡增长模式，因此稳定性分析需模去这些方向。关键目标是证明：当纯径向模式（即仅径向扰动的特征值）非负时，液体 Lane-Emden 星对非径向无旋扰动是线性稳定的，即扰动能量保持有界。这与仅研究径向扰动的先前工作相比是一个实质性推进。

二、主要定理

论文的核心结果是 Theorem 2.6，它给出了线性算子 $\mathbf{L}$ 的正性与负性条件。首先，系统在拉格朗日规范下（ $f_0 J_0 = \bar{\rho}$ ）围绕静态解 $\bar{\rho}$ 线性化。定义扰动向量场 $\boldsymbol{\theta}(\mathbf{x},t) := \boldsymbol{\eta}(\mathbf{x},t)-\mathbf{x}$ ，它满足（在固定域 $$B_R(0)$$ 上）：

\partial_t^2 \boldsymbol{\theta} + \mathbf{L} \boldsymbol{\theta} = 0 \quad \text{在 } B_R(0) \text{ 上}, \tag{2.5a}

带有不可穿透边界条件 $\nabla\cdot\boldsymbol{\theta} = 0$ 在 $\partial B_R$ 上（由规范固定导致）。线性算子 $\mathbf{L}$ 定义为：

\mathbf{L} \boldsymbol{\theta} := -\nabla\left( (\gamma \bar{\rho}^{\gamma-2} + K - \bar{\rho}'(R)^{-1} K_{\partial})\nabla\cdot(\bar{\rho} \boldsymbol{\theta}) \right) \tag{2.6}

= -\nabla \left( \int_{|\mathbf{z}| \le R} \frac{\boldsymbol{\theta}(\mathbf{z})}{|\mathbf{x}-\mathbf{z}|} d\mathbf{z} \right) - \bar{\rho}'(R)^{-1} \nabla \left( \int_{|\mathbf{z}| = R} \frac{\boldsymbol{\theta}(\mathbf{z})\cdot\mathbf{e}_r}{|\mathbf{x}-\mathbf{z}|} dS(\mathbf{z}) \right),

或等价地由 Lemma 2.2 的原始表达式。定义加权能量内积：

\langle \boldsymbol{\theta}_1, \boldsymbol{\theta}_2 \rangle_{\bar{\rho}} := \int_{B_R} \bar{\rho} \boldsymbol{\theta}_1 \cdot \boldsymbol{\theta}_2 d\mathbf{x}.

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

1. 年龄结构肿瘤模型的不可压缩极限

Incompressible limit for an age-structured tumor model

作者: Maeve Wildes

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04331v1

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

摘要翻译

中文标题: 年龄结构肿瘤模型的不可压缩极限

摘要翻译:
本文考虑了一个用于描述肿瘤生长的年龄结构力学模型。该模型通过引入年龄变量，考虑了肿瘤细胞的完整生命周期。肿瘤生长的基本机制与经典肿瘤模型一致，即生长由压力限制性细胞增殖驱动，并且细胞从高压区域向外迁移。本文的主要贡献在于证明了年龄结构模型解的收敛性，其极限满足一个Hele-Shaw自由边界问题。该极限问题描述了肿瘤依据非线性达西定律所呈现的几何运动形态。

2. 非线性狄拉克方程的流体动力学表述

A Hydrodynamics Formulation for a Nonlinear Dirac Equation

作者: Joan Morrill i Gavarró, Michael Westdickenberg

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04326v1

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

摘要翻译

中文标题: 非线性狄拉克方程的流体动力学表述

摘要翻译: 本文针对一种带非线性质量项且保持原狄拉克方程齐次性的修正狄拉克方程，推导出了其流体动力学表述。该非线性狄拉克方程允许将其左右手旋量分量进行对称分裂，并利用克利福德代数工具完成形式化构建。同时，证明了对应正则化方程的全局存在性。

3. 论时间可测Hamiltonian在1维节点网络上的Hamilton-Jacobi方程

On Hamilton Jacobi equations with time measurable Hamiltonians posed on a 1-dimensional junction

作者: Ariela Briani

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04183v1

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

摘要翻译

中文标题: 论时间可测Hamiltonian在1维节点网络上的Hamilton-Jacobi方程

摘要翻译:
本文研究定义在实轴由两条边连接的单节点网络上、Hamiltonian在时间上不连续的一类发展型Hamilton-Jacobi方程。对于仅关于时间t可测的Hamiltonian函数H=H(t,x,p)，我们引入了(通量限制型)粘性解的概念。作用于节点处的通量限制器A=A(t)无需连续，只需属于L∞空间。在Hamiltonian凸性的假设下，本文证明了解的比较原理，并通过构造相应的最优控制问题建立了存在性结果。此外，文章还讨论了向非凸Hamiltonian情形及更复杂网络结构推广的可能性。

4. Harmonic functions on balls for x-dependent rectilinear stable processes

作者: Tadeusz Kulczycki, Michał Ryznar

类别: math.AP, math.PR

发布日期: 2026-03-04

arXiv ID: 2603.04164v1

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

摘要翻译

中文标题：x依赖直线型稳定过程在球上的调和函数

摘要翻译：在假设狄利克雷外问题数据关于中心呈径向的条件下，我们获得了与x依赖直线型稳定过程相关的函数在球域上的精确估计。证明的主要思路基于在球域中为x依赖直线型分数阶拉普拉斯算子构造全局障碍函数。

5. 动能福克-普朗克方程在擦边轨迹集附近的最优正则性

Sharp regularity near the grazing set for kinetic Fokker-Planck equations

作者: Kyeongbae Kim, Marvin Weidner

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04121v1

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

摘要翻译

中文标题: 动能福克-普朗克方程在擦边轨迹集附近的最优正则性

摘要翻译: 本文证明了有界区域上线性动能福克-普朗克方程解的最优正则性结果。我们的贡献主要体现在两个方面：首先，在扩散反射或给定流入边界条件下，我们建立了最优的 $C^{1/2}$ 正则性。此前在这一框架下，仅知解具有某较小常数 $$α>0$$ 的 $$C^α$$ 正则性。其次，我们通过证明超越临界正则性阈值 $\frac{1}{2}$ 的高阶展开，完整刻画了解在擦边轨迹集附近的行为。这些结果首次表明，解在入射边界附近的擦边轨迹集上仍能保持更高的光滑性。

6. 半离散能量的Wasserstein梯度流：城市演变与均匀量化

Wasserstein Gradient Flows of semi-discret energies: evolution of urban areas anduniform quantization

作者: Joao Miguel Machado

类别: math.AP, math.OC

发布日期: 2026-03-04

arXiv ID: 2603.04088v1

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

摘要翻译

中文标题: 半离散能量的Wasserstein梯度流：城市演变与均匀量化

摘要翻译:
我们研究概率测度空间中半离散能量的Wasserstein梯度流，即依赖于两个测度的泛函——其中一个为绝对连续密度，另一个为原子测度。这类能量在城市规划领域自然出现。本研究通过著名的JKO格式展开分析，我们证明了其收敛至一个由含奇异平流的抛物型偏微分方程与一个同样具有奇异动力学的常微分方程耦合而成的极限系统。首先在更一般的假设下利用经典工具完成证明，随后在扩散为线性型或多孔介质型的情形下，证明了收敛性在 $$L^2_tH^1_x$$ 意义下成立。接着我们探讨了该系统的一些定性性质，例如原子向其对应拉盖尔细胞的质心收敛。最后，本文通过大量数值模拟为提出该系统定性行为的猜想提供依据；例如在线性扩散情形下，我们观察到动态结晶现象。

7. 海森堡群及二阶卡诺群上的无加权Hardy型不等式

Unweighted Hardy Inequalities on the Heisenberg Group and in Step-Two Carnot Groups

作者: Lorenzo d’Arca, Luca Fanelli, Valentina Franceschi, Dario Prandi

类别: math.AP, math.FA

发布日期: 2026-03-04

arXiv ID: 2603.04086v1

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

摘要翻译

中文标题: 海森堡群及二阶卡诺群上的无加权Hardy型不等式

摘要翻译: 本文在具有一维竖层结构的二阶卡诺群上建立了无加权Hardy型不等式，并给出了最优Hardy常数的显式下界。所采用的方法基于一种定量逐次积分机制，该机制通过构造具有控范数的水平向量场，替代了非水平的欧拉向量场。作为应用，我们针对海森堡群中的科拉尼 gaug 与卡诺-卡拉塞奥多里距离获得了完全显式的界，并通过推广的科拉尼型齐次范数，将结果拓展至非各向同性的二阶结构。

8. 克莱因-戈登方程的刘维尔现象

Liouville phenomenon for the Klein-Gordon equation

作者: Haakan Hedenmalm

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.03868v1

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

摘要翻译

中文标题: 克莱因-戈登方程的刘维尔现象

摘要翻译: 我们研究一维空间与一维时间情形下的克莱因-戈登方程。从物理角度看，该方程描述具有正静止质量的相对论性无自旋玻色子的波函数；从数学角度看，这是波动方程之后最基础的双曲型偏微分方程。相对于原点，时空按光锥分割为四个象限，其中两个为类时，另两个为类空。不出所料，解在这两类象限中的行为存在显著差异。研究发现，类空象限表现出一种刘维尔现象：若解的增长性不足，则其必然呈现某种对称性，即两个线性边界的值构成一一对应关系。这一现象兼具经典刘维尔定理与调和函数菲赫涅耳-林德勒夫原理的特征。

9. 插值空间中拟线性抛物型问题非孤立平衡点的线性化稳定性

Linearized Stability of Non-Isolated Equilibria of Quasilinear Parabolic Problems in Interpolation Spaces

作者: Bogdan-Vasile Matioc, Christoph Walker

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.03833v1

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

摘要翻译

中文标题: 插值空间中拟线性抛物型问题非孤立平衡点的线性化稳定性

摘要翻译: 本文在插值空间框架下建立了形如 $$ u' = A(u)u + f(u) $$ 的拟线性抛物型问题中非孤立平衡点的稳定性（从而推广了以往依赖最大正则性的结论）。该方法在插值方式的选择上具有完全灵活性，且仅需对半线性部分 $$ f $$ 施加较低的正则性假设。文中还给出了具体问题的应用，包括毛细作用驱动的 Hele-Shaw 问题以及分数阶平均曲率流。

10. 基于相对熵方法的不连续加权动力系统的适定性与平均场极限

Well-posedness and mean-field limit of discontinuous weighted dynamics via the relative entropy method

作者: Immanuel Ben-Porat, José A. Carrillo, Alexandra Holzinger

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.03629v1

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

摘要翻译

中文标题: 基于相对熵方法的不连续加权动力系统的适定性与平均场极限

摘要翻译: 本文考虑具有时变权重的确定性粒子动力学及其相应的柯尔莫哥洛夫方程与平均场方程。我们证明了极限偏微分方程解的存在唯一性，并获得了对数梯度增长的估计，同时证明了满足适当熵不等式的柯尔莫哥洛夫方程弱解的存在性。随后，我们运用这些估计以及文献[17]中发展的相对熵方法，推导出相应的平均场极限方程。本文结果适用于相互作用核与影响核在较弱正则性条件下的情形。

11. 两相流中的随体积与雷诺输运定理

Co-moving volumes and the Reynolds transport theorem for two-phase flows

作者: Dieter Bothe, Matthias Köhne

类别: math.AP

发布日期: 2026-03-03

arXiv ID: 2603.03562v1

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

摘要翻译

中文标题: 两相流中的随体积与雷诺输运定理

摘要翻译: 我们研究尖锐界面模型下两相流界面处的局部运动学。在考虑相变与界面滑移的情形时，相边界处的速度场不连续，其法向与切向分量可能存在跳跃。这导致描述流体质元运动的运动学微分方程对应的初值问题通常是不适定的。受一个具体实例的启发（该实例中速度场满足质量与动量平衡以及熵不等式），我们采用微分包含理论的概念，在此框架下严谨定义了随体集合。基于这一一般性两相流模型，我们证明了雷诺输运定理在该情形下的自然推广。

12. 简单反应-平流-扩散方程的脉冲响应分析

Pulse-response analysis of a simple reaction-advection-diffusion equation

作者: Jiasong Zhu, Renato Feres, Donsub Rim, Gregory Yablonsky

类别: math.AP, math-ph

发布日期: 2026-03-03

arXiv ID: 2603.03533v1

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

摘要翻译

中文标题: 简单反应-平流-扩散方程的脉冲响应分析

摘要翻译: 本文从脉冲响应研究视角，对反应-平流-扩散（RAD）方程展开详细分析，重点关注平流速度所引起效应。所涉及的边值问题描述了一个窄管反应器系统的数学模型：在该反应器一端注入短脉冲反应气体，另一端流出反应产物与未反应气体的混合物。出口流特性（如矩和峰值特征）被解析 obtaining，并表示为佩克莱特数的函数。标准输运曲线（仅包含扩散和平流，无化学反应）可作为进一步刻画化学活性的基准。本文针对一级不可逆反应开展相关表征。主要发现之一：化学活性的定量获取可通过反应存在时的出口流曲线与标准输运曲线之比实现。

不相关论文（基本信息）

1. 球面上第一正值诺伊曼特征值的等周不等式

The isoperimetric inequality for the first positive Neumann eigenvalue on the sphere

作者: Luigi Provenzano, Alessandro Savo

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

发布日期: 2026-03-04

arXiv ID: 2603.04236v1

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

摘要: We prove that the geodesic disks are the unique maximisers of the first non-trivial Neumann eigenvalue among all simply connected domains of the sphere $\mathbb S^2$ with fixed area.

2. 亚极端克尔时空上的带标量势麦克斯韦-希格斯系统：非线性波算子与渐近完备性

The Maxwell-Higgs System with Scalar Potential on Subextremal Kerr Spacetimes: Nonlinear wave operators and asymptotic completeness

作者: Bobby Eka Gunara, Mulyanto, Fiki Taufik Akbar

类别: gr-qc, hep-th, math-ph, math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04202v1

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

摘要: We construct nonlinear wave operators and prove small-data asymptotic completeness for the Maxwell–Higgs system on the domain of outer communications of every four-dimensional subextremal Kerr black hole $(\mathcal D_{M,a},g_{M,a})$ with $$M>0$$ and $$|a|<M$$ , for gauge-invariant nonnegative scalar potentials $$P$$ satisfying Assumption~\ref{asumsiP} with mass parameter $m^{2}\ge0$ . The massless case $$m=0$$ is unconditional on the full subextremal range. For $m^{2}>0$ the same conclusions follow assuming the massive linear package $\Lin_{k}^{(m)}$ for the linear comparison system (in particular, no exponentially growing modes); this fails for an open set of masses due to superradiant instability \cite{ShlapentokhRothmanKGKerr}. We work in the radiative (charge-free) regime; stationary Coulomb (Kerr–Newman) modes are treated separately. Asymptotic states are described by gauge-covariant radiation fields on $\mathcal I^{\pm}\cup\mathcal H^{\pm}$ (and, when $$m>0$$ , an additional timelike/Dollard channel), yielding a gauge-invariant nonlinear scattering map on the residual-gauge quotient. The scattering map is a small-data bijection, is Fréchet differentiable at $$0$$ with derivative equal to linear Kerr scattering, admits a quadratic (Born) expansion with an $O(\|U\|^{3})$ remainder in the natural asymptotic topology, and is real-analytic for analytic $$P$$ . The nonlinear argument is presented as a transfer principle from a black-box linear estimate package for inhomogeneous Klein–Gordon and charge-free Maxwell fields, verified here in the massless Kerr case (and proved self-contained in Schwarzschild).

3. 基于标量辅助变量的随机Cahn-Hilliard方程半隐式格式

A scalar auxiliary variable-based semi-implicit scheme for stochastic Cahn–Hilliard equation

作者: Jianbo Cui, Jie Shen, Derui Sheng, Yahong Xiang

类别: math.NA, math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04055v1

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

摘要: In this paper, we present a novel semi-implicit numerical scheme for the stochastic Cahn–Hilliard equation driven by multiplicative noise. By reformulating the original equation into an equivalent stochastic scalar auxiliary variable (SSAV) system, our method enables an efficient and stable treatment of polynomial nonlinearities in a semi-implicit fashion. In order to accurately capture the impact of stochastic perturbations, we carefully incorporate Itô correction terms into the SSAV approximation. Leveraging the smoothing properties of the underlying semigroup and the $H^{-1}$ -dissipative structure of the nonlinear term, we establish the optimal strong convergence order of one-half for the proposed scheme in the trace-class noise case. Moreover, we show that the modified SAV energy asymptotically preserves the energy evolution law. Finally, numerical experiments are provided to validate the theoretical results and to explore the influence of noise near the sharp-interface limit.

4. 具有F-等价性的一般线性系统的快速镇定

Rapid stabilization of general linear systems with F-equivalence

作者: Amaury Hayat, Epiphane Loko

类别: math.AP

发布日期: 2026-03-04

arXiv ID: 2603.04031v1

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

摘要: We study the rapid stabilization of general linear systems, when the differential operator $\mathcal{A}$ has a Riesz basis of eigenvectors. We find simple sufficient conditions for the rapid stabilization and the construction of a relatively explicit feedback operator. We use an $$F$$ -equivalence approach \textcolor{black}{relying on Fredholm transformation} to show a stronger result: under these sufficient conditions the system is equivalent to a simple exponentially stable system, with arbitrarily large decay rate. In particular, our conditions improve the existing conditions of rapid stabilization for non-parabolic operators such as skew-adjoint systems.

5. 从最大熵排除过程到酉Dyson布朗运动与自由酉流体力学

From maximal entropy exclusion process to unitary Dyson Brownian motion and free unitary hydrodynamics

作者: Yoann Offret

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

发布日期: 2026-03-04

arXiv ID: 2603.03910v1

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

摘要: We investigate the Maximal Entropy Simple Symmetric Exclusion Process (MESSEP) on a discrete ring with L sites and N indistinguishable particles. Its eigenfunctions are Schur polynomials evaluated at the L-th roots of unity, yielding an explicit spectral decomposition. The analysis relies on this eigenstructure and on the link between Schur polynomials and irreducible characters of the symmetric group, which forms the core algebraic tool for the scaling limits. In the low-density regime, where N is fixed and L tends to infinity, the rescaled dynamics converge to the Unitary Dyson Brownian Motion (UDBM). The electrostatic repulsion then emerges as an entropic force, providing a canonical microscopic derivation of the UDBM. In the hydrodynamic regime, where N is equivalent to $$α$$ L with $$α$$ P p0, 1q, the empirical measure converges to a density solving a nonlinear, nonlocal transport equation. Its moment generating function satisfies a complex Burgers-type equation. As $$α$$ tends to 0, this equation coincides with that governing the spectral distribution of the Free Unitary Brownian Motion (FUBM), thereby bridging discrete entropic exclusion dynamics and free unitary hydrodynamics. Overall, the MESSEP provides a unified canonical discrete framework connecting unitary Dyson motion and free unitary Brownian motion through nonlinear hydrodynamic limits, with Schur and character theory as the central algebraic structure.

6. p-拉普拉斯方程的全局有界性与归一化解

Global boundedness and normalized solutions to a $$p$$ -Laplacian equation

作者: Raj Narayan Dhara, Matteo Rizzi

类别: math.AP

发布日期: 2026-03-03

arXiv ID: 2603.03481v1

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

摘要: In the paper, we prove the existence of radial solutions to \begin{equation}\notag%\label{main-eq-abstarct} %\begin{aligned} -Δ_p u+({\rm sgn}(p-s)+V(x))|u|^{p-2}u+λ|u|^{s-2}u=|u|^{q-2}u\qquad\text{in},\R^N \ %\int_{\R^N}|u|^sdx&=ρ^s %\end{aligned} \end{equation} with prescribed $L^s(\R^N)$ -norm, where $N\ge 3,\,p\in[2,N),\,s\in(1,p],\,q\in(p\frac{N+s}{N},\frac{Np}{N-p})$ and $V:\R^N\to\R$ is a suitable radial potential. We stress that $$V$$ is required to be radial but not necessarily bounded, and there are no assumptions about its sign. The case $V\equiv 0$ is also included. The proof is variational and relies on a min-max argument. A key-tool is the Pohozaev identity, which is shown to be true for any solution under quite weak assumptions about the potential $$V$$ . This identity is proved with the aid of a new global boundedness result for subsolutions to a suitable $$p$$ -Laplace equation.

7. 基于马氏导数的重新中心化

Recentering with Malliavin derivative

作者: Yvain Bruned, Aurélien Minguella

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

发布日期: 2026-03-03

arXiv ID: 2603.03261v1

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

摘要: We provide an algebraic unification of the spectral gap proofs of the convergence of the renormalised model for regularity structures. We show that the key recentering map used in the literature for adjusting the recentering of the model is given via equivalent characterisations.

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

1. 局部化的局部凸拓扑#

详细分析#

1. 研究对象和背景#

2. 主要定理#

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

a) 核心分析学工具#

b) 解决技术性难题的主要技巧#

4. 与之前工作的比较#

a) 突破与改进#

b) 放宽的假设与强化的结果#

2. 关于纳维-斯托克斯方程温和解非唯一性及定常奇解的研究#

详细分析#

a) 核心分析学工具#

b) 解决技术性难题的主要技巧#

3. Nonradial linear stability of liquid Lane-Emden stars#

详细分析#

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

1. 年龄结构肿瘤模型的不可压缩极限#

摘要翻译#

2. 非线性狄拉克方程的流体动力学表述#

摘要翻译#

3. 论时间可测Hamiltonian在1维节点网络上的Hamilton-Jacobi方程#

摘要翻译#

4. Harmonic functions on balls for x-dependent rectilinear stable processes#

摘要翻译#

5. 动能福克-普朗克方程在擦边轨迹集附近的最优正则性#

摘要翻译#

6. 半离散能量的Wasserstein梯度流：城市演变与均匀量化#

摘要翻译#

7. 海森堡群及二阶卡诺群上的无加权Hardy型不等式#

摘要翻译#

8. 克莱因-戈登方程的刘维尔现象#

摘要翻译#

9. 插值空间中拟线性抛物型问题非孤立平衡点的线性化稳定性#

摘要翻译#

10. 基于相对熵方法的不连续加权动力系统的适定性与平均场极限#

摘要翻译#

11. 两相流中的随体积与雷诺输运定理#

摘要翻译#

12. 简单反应-平流-扩散方程的脉冲响应分析#

摘要翻译#

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

1. 球面上第一正值诺伊曼特征值的等周不等式#

2. 亚极端克尔时空上的带标量势麦克斯韦-希格斯系统：非线性波算子与渐近完备性#

3. 基于标量辅助变量的随机Cahn-Hilliard方程半隐式格式#

4. 具有F-等价性的一般线性系统的快速镇定#

5. 从最大熵排除过程到酉Dyson布朗运动与自由酉流体力学#

6. p-拉普拉斯方程的全局有界性与归一化解#

7. 基于马氏导数的重新中心化#

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

1. 局部化的局部凸拓扑

详细分析

1. 研究对象和背景

2. 主要定理

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

a) 核心分析学工具

b) 解决技术性难题的主要技巧

4. 与之前工作的比较

a) 突破与改进

b) 放宽的假设与强化的结果

2. 关于纳维-斯托克斯方程温和解非唯一性及定常奇解的研究

详细分析

a) 核心分析学工具

b) 解决技术性难题的主要技巧

3. Nonradial linear stability of liquid Lane-Emden stars

详细分析

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

1. 年龄结构肿瘤模型的不可压缩极限

摘要翻译

2. 非线性狄拉克方程的流体动力学表述

摘要翻译

3. 论时间可测Hamiltonian在1维节点网络上的Hamilton-Jacobi方程

摘要翻译

4. Harmonic functions on balls for x-dependent rectilinear stable processes

摘要翻译

5. 动能福克-普朗克方程在擦边轨迹集附近的最优正则性

摘要翻译

6. 半离散能量的Wasserstein梯度流：城市演变与均匀量化

摘要翻译

7. 海森堡群及二阶卡诺群上的无加权Hardy型不等式

摘要翻译

8. 克莱因-戈登方程的刘维尔现象

摘要翻译

9. 插值空间中拟线性抛物型问题非孤立平衡点的线性化稳定性

摘要翻译

10. 基于相对熵方法的不连续加权动力系统的适定性与平均场极限

摘要翻译

11. 两相流中的随体积与雷诺输运定理

摘要翻译

12. 简单反应-平流-扩散方程的脉冲响应分析

摘要翻译

不相关论文（基本信息）

1. 球面上第一正值诺伊曼特征值的等周不等式

2. 亚极端克尔时空上的带标量势麦克斯韦-希格斯系统：非线性波算子与渐近完备性

3. 基于标量辅助变量的随机Cahn-Hilliard方程半隐式格式

4. 具有F-等价性的一般线性系统的快速镇定

5. 从最大熵排除过程到酉Dyson布朗运动与自由酉流体力学

6. p-拉普拉斯方程的全局有界性与归一化解

7. 基于马氏导数的重新中心化