生成时间: 2026年04月15日 05:16:01

重点关注论文数量: 3

了解领域论文数量: 21

不相关论文数量: 5

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

1. 关于二维欧拉方程定常解的柔性

On the flexibility of 2D Euler steady states

作者: Tarek M. Elgindi, Yupei Huang

类别: math.AP

发布日期: 2026-04-14

arXiv ID: 2604.12962v1

摘要翻译: 我们考虑二维区域上不可压缩欧拉方程的定常解。对于有界单连通区域上的非径向解析定常解，先前已证明流函数与涡度之间必存在一个全局的函数关系。我们证明，即使施加额外的结构假设（例如 Morse 条件或 Arnold 稳定性判据），这一结论也无法推广至光滑函数情形。事实上，我们证明具有多个临界点的典型定常解可被扰动为一个光滑定常解，其流函数与涡度之间不存在（单值）函数关系。因此，光滑定常解集合中存在某些“分支”，它们与解析定常解彼此隔离。在某些情形下，这些分支甚至可完全由（线性）稳定定常解构成。

Comment: 无

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

1. 研究对象和背景

本文研究二维不可压缩欧拉方程在有界单连通区域 $\Omega \subset \mathbb{R}^2$ 上的光滑定常解。设流函数为 $\psi : \overline{\Omega} \to \mathbb{R}$ ，满足边界条件 $\psi|_{\partial\Omega} = 0$ ，则定常欧拉方程可写为

\nabla^\perp \psi \cdot \nabla \Delta \psi = 0,

其中 $\nabla^\perp = (-\partial_2, \partial_1)$ ，速度场为 $u = \nabla^\perp \psi$ ，涡度为 $\omega = \Delta \psi$ 。该方程具有大量解，部分源于其无穷多个守恒量：动能 $E = \int |u|^2$ 和卡西米尔泛函 $J_f = \int f(\omega)$ （对任意光滑函数 $$f$$ ）。

一类重要的定常解由变分原理构造：固定某个凸函数 $$f$$ ，在约束 $J_f = \text{const}$ 下极小化 $$E$$ ，所得极值点满足半线性椭圆方程

\Delta \psi = F(\psi), \quad F = f'. \tag{3}

这类解自动满足 Arnold 稳定性判据，并在 $$L^2$$ 涡度范数下非线性稳定。

关键问题在于：是否所有定常解都必须满足某种全局函数关系 $\omega = F(\psi)$ ？此前工作 [13] 证明：若 $\psi$ 是非径向的实解析函数，则 (1) 与 (3) 等价。然而，在光滑类中，存在反例（如紧支集径向解），但这些例子通常非 Morse、不稳定，且结构特殊。

本文试图回答的核心问题是：即使对满足额外结构性假设（如 Morse 条件或 Arnold 稳定性）的光滑定常态，全局函数关系 $\omega = F(\psi)$ 是否仍必然成立？更精确地说，是否存在“柔性”现象——即在光滑范畴中，存在大量不满足 (3) 的定常解，甚至它们构成与解析解隔离的分支？

特别地，作者关注具有多个临界点的 Morse 定常态。在解析情形下，多临界点结构仍强制全局函数关系；但在光滑情形下，这是否依然成立？本文旨在填补这一空白：证明即使在 Morse 且 Arnold 稳定的光滑定常态中，全局单值函数关系也可被破坏，从而揭示二维欧拉定常解集合在光滑拓扑下的丰富结构。

2. 主要定理或主要结果

作者的主要结果集中在定理 1.4 及其推论。

定理 1.4：设 $\Omega \subset \mathbb{R}^2$ 为有界单连通区域， $\psi_0 \in C^6(\overline{\Omega})$ 为在边界上消失的 Morse 函数，且满足半线性椭圆方程 $\Delta \psi_0 = F(\psi_0)$ 。假设 Schrödinger 算子 $\mathcal{L} := \Delta - F'(\psi_0): H^2_0(\Omega) \to L^2(\Omega)$ 可逆。

第一部分：若 $\psi_0$ 在 $\Omega$ 内有超过一个临界点，则对任意 $$C^2$$ 邻域 $\mathcal{U}$ of $\psi_0$ ，存在一个光滑的欧拉定常解 $\widetilde{\psi} \in \mathcal{U}$ ，使得不存在任何函数 $\widetilde{F}$ 能使 $\Delta \widetilde{\psi} = \widetilde{F}(\widetilde{\psi})$ 在整个 $\Omega$ 上成立。
第二部分：若进一步假设 $F'(\psi_0) > 0$ 在 $\overline{\Omega}$ 上一致成立（此条件蕴含 Arnold 稳定性判据 (4) 中的正定性），则新构造的定常解 $\widetilde{\psi}$ 可被选为满足 Arnold 稳定性判据，因而也是线性稳定的。

代表性例子（Remark 1.5）：在 Neumann 卵形域上，考虑方程 $\Delta \psi_0 = 1 + \lambda \psi_0$ （ $\lambda > 0$ 很小）的唯一解 $\psi_0$ 。作者证明，对于固定的足够小的 $\lambda$ ， $\psi_0$ 满足定理 1.4 的全部条件：它是 Morse 函数，有三个临界点，且 $\mathcal{L} = \Delta - \lambda$ 可逆。应用定理即得一个 $$C^2$$ -接近 $\psi_0$ 的光滑、Morse、线性稳定定常解 $\widetilde{\psi}$ ，但它不满足任何全局半线性椭圆方程。

推论 1.7：设 $\Omega$ 为存在满足定理 1.4 条件的 $\psi_0$ 的单连通域。记 $$S_k$$ 为 $\overline{\Omega}$ 上 $$C^k$$ 定常解集合（赋予 $$C^k$$ 拓扑）。则对任意 $k \geq 3$ ，解析定常解集合 $C^\omega \cap S_k$ 在 $$S_k$$ 中不稠密。这表明光滑定常解集合包含与解析解完全隔离的“分支”。

此外，命题 2.19 指出，满足 Arnold 判据的定常解在线性意义下是长时间 $$L^2$$ （及 $L^\infty$ ）稳定的，尽管其非线性稳定性仍是开放问题（见 Question 1.8）。

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

本文的核心技术贡献在于发展了一套处理拟线性稳态方程的“拟线性化”（quasilinearization）框架，以克服直接应用隐函数定理时出现的导数损失问题。

1. 拟线性化与导数损失的克服：传统的柔性构造依赖于半线性方程 (3)，可直接使用隐函数定理。但对原始稳态方程 $\nabla^\perp \psi \cdot \nabla \Delta \psi = 0$ ，其本质是拟线性的。设 $\omega_0 = \Delta \psi_0$ 为已知稳态的涡度，寻找扰动 $\omega_1$ 使得 $\omega_0 + \omega_1$ 对应新稳态。扰动方程为

u_0 \cdot \nabla \omega_1 + u_1 \cdot \nabla \omega_0 + u_1 \cdot \nabla \omega_1 = 0, \tag{6}

其中 $u_i = \nabla^\perp \psi_i$ 。若将非线性项 $u_1 \cdot \nabla \omega_1$ 移至右侧，则线性算子 $L_0(\cdot) = u_0 \cdot \nabla (\cdot)$ 的逆 $L_0^{-1}$ 在沿流线方向增益一个导数，但右侧却损失一个导数，导致迭代不收敛。

作者的关键创新是引入辅助函数 $M := \nabla \omega_0 / \nabla \psi_0$ （由 (1) 知其沿流线 $\psi_0$ =const 为常数）。通过代数变形，(6) 被重写为

(u_0 + u_1) \cdot \nabla (\omega_1 - M \psi_1) = -u_1 \cdot \nabla (M \psi_1). \tag{7}

方程 (7) 的左侧算子 $(u_0 + u_1) \cdot \nabla$ 不再有导数损失问题，因为其作用于 $\omega_1 - M \psi_1$ ，而右侧项在适当的函数空间中是良定义的。这使得可以使用标准不动点定理（如 Banach 或 Schauder）求解。

2. 哈密顿输运算子的右逆构造：证明的核心步骤是求解形如 $\nabla^\perp H \cdot \nabla f = g$ 的方程，其中 $H = \psi_0 + \epsilon \psi_1$ 是扰动后的流函数。作者在支撑集 $\text{supp}(g) \subset \{\nabla H \neq 0\}$ 上，基于流线（level set）的周期轨道，显式构造了一个右逆算子 $L_H^{-1}$ 。

具体而言，对每个正则值 $$H(x_0)$$ ，令 $\widetilde{\Gamma}(x_0, t)$ 为哈密顿流 $X_H = \nabla^\perp H$ 在水平集分量上的归一化周期参数化。对 $$y$$ 在该分量上，定义

L_H^{-1} g(y) = \int_0^{t_y} g(\widetilde{\Gamma}(x_0, s)) ds - \int_0^1 \left( \int_0^t g(\widetilde{\Gamma}(x_0, s)) ds \right) dt, \tag{12}

即取零均值的原函数。作者证明了该算子在 Hölder 空间 $C^{k-1,\alpha}$ 中是有界的，并且其范数在 $$H$$ 的小扰动下是稳定的（Proposition 2.9 (3)）。这一构造解决了算子核无限维所带来的非唯一性问题，并提供了定量估计，是完成不动点论证的关键。

3. 具有多临界点的 Morse 稳态构造：为应用主定理，作者需要一个具体的 $\psi_0$ 作为起点。他们选择了 Neumann 卵形域（单位圆盘在特定全纯映射下的像），并研究方程 $\Delta \psi_0 = 1 + \lambda \psi_0$ 的解。当 $\lambda \to 0$ 时， $\psi_0 \to \Delta^{-1}(1)$ 。通过复分析工具，作者获得了 $\Delta^{-1}(1)$ 的显式泰勒展开，并精确计算出其在 Neumann 卵形上有三个临界点（一个极大值点和两个鞍点），且均为非退化的，故为 Morse 函数。这为定理的应用提供了坚实基础。

4. 与之前工作的比较

本文的工作与既有文献在多个维度上形成鲜明对比，显著推进了对二维欧拉定常解结构的理解。

1. 与解析刚性结果的对比：此前，Choffrut–Šverák [13] 证明了在实解析范畴内，非径向定常解必然满足全局函数关系 $\omega = F(\psi)$ 。这是一个强有力的刚性结果，暗示了解的结构受限于守恒律。本文则明确展示了这种刚性在光滑范畴内的彻底失效。作者不仅构造了反例，还证明了这些反例在 $$C^2$$ 拓扑下构成开集（Proposition 2.1），并且可以同时满足 Morse 性和 Arnold 稳定性。这从根本上区分了解析解和光滑解的集合结构，表明光滑解空间远比解析解空间复杂和“柔性”。

2. 与已知光滑反例的对比：文献中已知的光滑反例主要是紧支集径向解（如 [15, 14]）。这些解虽然不满足全局 $\omega=F(\psi)$ ，但它们通常具有以下局限性：(a) 结构高度对称（径向）；(b) 临界点结构简单（通常只有一个中心）；(c) 被广泛认为是动力学不稳定的。本文的构造则完全不同：新解是非径向的、具有多个（至少三个）临界点、是 Morse 函数，并且可以是线性稳定的。这极大地扩展了反例的范围和性质，表明缺乏全局函数关系并非病态或不稳定的特例，而是光滑稳态中的普遍现象。

3. 与稳定性理论的关联：经典的非线性稳定性理论（如 Arnold 的理论）严重依赖于解满足 $\omega = F(\psi)$ 这一前提，以便将其视为变分问题的极值点。本文的结果对这一范式提出了挑战：存在线性稳定的光滑稳态，它们无法被纳入这个变分框架。这引出了一个深刻的问题（Question 1.3, 1.8）：这些新构造的稳态是否非线性稳定？如果答案是肯定的，将意味着存在超越经典守恒律 $$J_f$$ 的、新的稳定性机制；如果是否定的，则可能暗示非线性动力学会“恢复对称性”，迫使解回到满足全局函数关系的状态。无论哪种情况，都要求发展新的非线性稳定性理论，特别是针对 $L^\infty$ 范数的稳定性（Yudovich 问题）。

4. 与柔性/刚性研究的对比：近期关于欧拉方程柔性的工作（如 [7, 8, 9]）多集中于利用 Nash-Moser 迭代或凸积分方法构造弱解或非物理相关的解。而本文的工作聚焦于经典光滑解，并直接在稳态方程层面进行构造，其方法（拟线性化）和结论（与解析解隔离的稳定分支）都是全新的。此外，作者还在第 3 节讨论了 cellular flow 附近的刚柔并存现象：在奇-奇对称类中，解是刚性的（满足半线性方程）；但在一般类中，解是柔性的。这进一步凸显了对称性在决定解结构中的关键作用，这是之前工作未曾系统探讨的。

综上所述，本文通过精巧的构造和分析，揭示了二维欧拉光滑定常解集合的深层结构，打破了从解析情形外推的直觉，并为未来的稳定性理论和解的分类研究开辟了新的方向。

2. 周期环面上三维Fourier-Galerkin Navier-Stokes系统的轨道级转移矩阵：显式轨道三元组关联界与确定性行和估计

Orbit-Level Transfer Matrix for the 3D Fourier-Galerkin Navier-Stokes System on the Periodic Torus: Explicit Orbit-Triad Incidence Bounds and Deterministic Row-Sum Estimates

作者: Oleg Kiriukhin

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

发布日期: 2026-04-14

arXiv ID: 2604.12188v1

摘要翻译: 本文研究三维不可压缩Navier-Stokes方程在周期环面上经全八面体对称群 $$O_h$$ 约化后的立方Fourier-Galerkin截断系统。非线性相互作用由一个依赖于状态的轨道级转移矩阵 $$M_N(u)$$ 编码，主要离散问题在于估计平移立方体壳层切片中的轨道三元组关联数。通过面归一化分解，我将局部计数问题化归为经典的二平方表示函数，并利用本文发展的壳层计数方法得到阶为 $N^{4+\varepsilon}$ 的关联界。我还导出了精确的轨道级涡度矩恒等式、代数分解 $$M_N(u)=A_N(u)+V_N(u)$$ ，以及在指定指数范围内原始矩阵 $$M_N(u)$$ 的确定性Sobolev行和界。这些结果给出了截断系统中非线性能量传递的轨道级描述。

Comment: 无

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

1. 研究对象和背景

本文研究三维不可压缩纳维-斯托克斯方程在周期环面 $\mathbb{T}^3 = [0,2\pi]^3$ 上的傅里叶-伽辽金截断系统，并引入全八面体对称群 $$O_h$$ （即带符号的坐标置换群）作用下的轨道约化。该对称群自然作用于波数格点 $\mathbb{Z}^3 \setminus \{0\}$ ，保持无穷范数 $|k|_\infty$ 与欧氏范数 $$|k|$$ 不变，从而诱导出对截断格点集

\Lambda_N := \{k \in \mathbb{Z}^3 \setminus \{0\} : |k|_\infty \leq N\}

的轨道分解。记轨道集合为 $\mathcal{O}_N := \Lambda_N / O_h$ ，每个轨道 $\alpha \in \mathcal{O}_N$ 的大小满足 $1 \leq |\alpha| \leq 48$ 。

截断后的傅里叶伽辽金系统为

\partial_t \hat{u}_k = -\nu |k|^2 \hat{u}_k - i \sum_{\substack{p \in \Lambda_N \\ q = k - p \in \Lambda_N}} P(k) \big[ q (\hat{u}_p \cdot \hat{u}_q) \big], \quad k \in \Lambda_N,

其中 $P(k) = I - \frac{k \otimes k}{|k|^2}$ 是勒雷投影算子，保证不可压条件 $k \cdot \hat{u}_k = 0$ 。非线性项由三元组 $$(k,p,q)$$ 满足 $$p + q = k$$ 的“三元相互作用”驱动。

作者的核心对象是轨道级转移矩阵 $$M_N(u)$$ ，其 $(\alpha, \beta)$ 元定义为

M_{\alpha\beta}(u) := \frac{1}{|\alpha|} \sum_{k \in \alpha} \sum_{\substack{p \in \beta \\ q = k - p \in \Lambda_N}} |k|^2 \Re \left( \hat{u}_k \cdot \big[ -i P(k)(q (\hat{u}_p \cdot \hat{u}_q)) \big] \right).

该矩阵编码了从源轨道 $\beta$ 到目标轨道 $\alpha$ 的非线性能量/涡量转移。

关键离散问题是估计轨道三元组关联数

\Gamma_{\alpha\beta} := \# \{ (k,p,q) : k \in \alpha,\, p \in \beta,\, q = k - p \in \Lambda_N \},

即固定目标轨道 $\alpha$ 和源轨道 $\beta$ 时，满足动量守恒 $$p + q = k$$ 且所有波数均在 $\Lambda_N$ 内的有序三元组个数。由于 $$O_h$$ 对称性， $\Gamma_{\alpha\beta}$ 可通过单个代表元 $k \in \alpha$ 的局部计数 $m_r(k, \beta) = \#(A_r(k) \cap \beta)$ 表达，其中

A_r(k) := \{ p \in \Lambda_N : |p|^2 = r,\, k - p \in \Lambda_N \} = S_r \cap B(k),

$S_r = \{ p \in \Lambda_N : |p|^2 = r \}$ 是半径为 $\sqrt{r}$ 的壳层， $B(k) = \prod_{j=1}^3 [k_j - N, k_j + N] \cap \mathbb{Z}^3$ 是以 $$k$$ 为中心的平移立方体。

已有文献中，对三元组计数的估计多依赖于粗略体积近似或概率方法，缺乏对对称约化后轨道结构的精细控制。尤其在确定性框架下，如何将几何约束（如壳层与立方体交集）转化为可计算的算术函数（如两平方表示函数）仍是挑战。本文旨在填补这一空白：通过发展一种“面归一化壳层切片分解”，将局部计数问题还原为经典数论中的两平方表示函数 $r_2(n) = \#\{(a,b) \in \mathbb{Z}^2 : a^2 + b^2 = n\}$ ，并结合壳层计数论证，首次给出显式的轨道三元组关联界 $\sum_\beta \sqrt{\Gamma_{\alpha\beta}} \lesssim N^{4+\varepsilon}$ 。此外，作者还推导精确的轨道级涡量恒等式，并建立转移矩阵在 Sobolev 正则性下的确定性行和估计，为理解截断系统中非线性转移的代数与分析结构提供新工具。

2. 主要定理或主要结果

本文的主要结果包括以下三项：

显式轨道三元组关联界（Proposition 4.9）：对任意 $\varepsilon > 0$ ，存在常数 $C_\varepsilon > 0$ ，使得对所有目标轨道 $\alpha \in \mathcal{O}_N$ ，有
$\sum_{\beta \in \mathcal{O}_N} \sqrt{\Gamma_{\alpha\beta}} \leq C_\varepsilon N^{4 + \varepsilon}.$
该估计的关键在于将求和分解为壳层 $r \in \mathcal{R}_N$ （其中 $\mathcal{R}_N = \{ |k|^2 : k \in \Lambda_N \}$ ，满足 $|\mathcal{R}_N| \lesssim N^2$ ）和轨道 $\beta \subset S_r$ ，再利用面归一化切片 $A_{r,f,H}(k)$ 的结构。每个切片中，一个坐标被限制在长度 $$O(H)$$ 的区间内，其余两个坐标满足两平方方程，其解数由经典估计 $r_2(n) \lesssim_\varepsilon n^\varepsilon \lesssim_\varepsilon N^\varepsilon$ 控制，从而得到 $|A_{r,f,H}(k)| \lesssim_\varepsilon H N^\varepsilon$ 。结合壳层非空切片数 $\#\{ r : A_{r,f,H}(k) \neq \emptyset \} \lesssim N^2 H$ 与 dyadic 尺度 $H \leq N$ 的求和 $\sum_{H \text{ dyadic}} H^2 \lesssim N^2$ ，最终导出 $N^{4+\varepsilon}$ 阶界。
精确轨道级涡量恒等式与矩阵分解（Proposition 5.1）：定义轨道涡量
$Z_\alpha(t) := \frac{1}{2|\alpha|} \sum_{k \in \alpha} |k|^2 |\hat{u}_k(t)|^2,$
则沿伽辽金解有
$\frac{d}{dt} Z_\alpha(t) = -\nu D_\alpha(t) + \sum_{\beta \in \mathcal{O}_N} M_{\alpha\beta}(u),$
其中 $D_\alpha(t) = \frac{1}{|\alpha|} \sum_{k \in \alpha} |k|^4 |\hat{u}_k|^2$ 为耗散项。进一步，转移矩阵可代数分解为
$$$ M_N(u) = A_N(u) + V_N(u), $$$
其中 $A_N(u)^\top = -A_N(u)$ 为反对称部分（描述轨道间重分布）， $V_N(u)^\top = V_N(u)$ 为对称部分（决定二次型结构）。此分解不依赖任何近似，完全由定义导出。
确定性 Sobolev 行和估计（Theorem 6.5，虽未完整给出但可从上下文推断）：假设速度场 $u \in H^s(\mathbb{T}^3)$ 且 $\|u\|_{H^s} \leq M$ ，则对每个 $k \neq 0$ 有 $|\hat{u}_k| \leq M |k|^{-s}$ （Lemma 6.1）。在此正则性下，对原始转移矩阵 $$M_N(u)$$ 的行和有估计
$\sum_{\beta \in \mathcal{O}_N} |M_{\alpha\beta}(u)| \lesssim M^2 N^{\theta(s)},$
其中指数 $\theta(s)$ 依赖于 $$s$$ ，且该估计仅在 $$3/2 < s < 3$$ 范围内成立（见引言说明），此范围由离散到连续的比较所支持。该结果为非线性项在轨道空间中的有界性提供了确定性控制。

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

本文的核心技术障碍在于：轨道三元组计数 $\Gamma_{\alpha\beta}$ 涉及高度非线性的几何-算术混合结构——既要处理壳层 $$|p|^2 = r$$ （球面）与平移立方体 $$B(k)$$ 的交集，又要考虑 $$O_h$$ 轨道划分带来的离散对称性。传统方法难以同时兼顾几何约束与群作用下的轨道结构。

作者的真正创新在于提出面归一化壳层切片分解（face-normalized shell-slice decomposition），将复杂的三维计数问题逐步降维并转化为经典数论对象。具体步骤如下：

第一步：轨道等变性简化（Lemma 4.1）。利用 $$O_h$$ 群作用的传递性，证明对固定 $\alpha, \beta$ ， $\Gamma_{\alpha\beta} = |\alpha| \cdot m_r(k, \beta)$ ，其中 $k \in \alpha$ 任取， $$r = |p|^2$$ 对 $p \in \beta$ 。这将全局轨道计数归约为单点 $$k$$ 的局部壳层交集计数，极大简化问题。

第二步：面高度与 dyadic 尺度分解（Section 4.2）。对每个 $p \in A_r(k)$ ，定义其到立方体 $$B(k)$$ 六个面的“向内高度” $$h_f(p,k)$$ ，取最小值 $h_{\min}(p,k)$ 并指定达到最小值的第一个面 $$f(p)$$ 。若 $h_{\min} \geq 1$ ，引入 dyadic 尺度 $$H(p)$$ 使得 $H \leq h_{\min} < 2H$ ；若 $h_{\min}=0$ 则设 $$H=1$$ 。由此将 $$A_r(k)$$ 分解为互不相交的“归一化面片” $A_{r,f,H}(k)$ 。此分解的关键优势是：在每个面片中，对应面的坐标（称为“主坐标”）被限制在一个长度为 $$O(H)$$ 的整数区间内（Lemma 4.5）。

第三步：还原为两平方表示函数（Lemma 4.6）。固定面 $f=(j,\sigma)$ 和尺度 $$H$$ ，主坐标 $$u = p_j$$ 仅有 $$O(H)$$ 种可能。对每个固定的 $$u$$ ，壳层条件 $$|p|^2 = r$$ 变为剩余两个坐标的方程 $p_\ell^2 + p_m^2 = r - u^2$ ，其整数解数即为经典两平方表示函数 $$r_2(r - u^2)$$ 。利用 Hardy–Wright 中的经典估计 $r_2(n) \ll_\varepsilon n^\varepsilon \ll_\varepsilon N^\varepsilon$ （因 $r \leq 3N^2$ ），立即得到单个面片大小界 $|A_{r,f,H}(k)| \ll_\varepsilon H N^\varepsilon$ 。

第四步：壳层窗口计数（Lemma 4.7）。为控制对 $$r$$ 的求和，需估计使 $A_{r,f,H}(k) \neq \emptyset$ 的壳层半径 $$r$$ 的个数。同样利用主坐标 $$u$$ 的 $$O(H)$$ 个取值，对每个 $$u$$ ，剩余坐标的平方和 $p_\ell^2 + p_m^2$ 最多取 $$2N^2 + 1$$ 个值，故总壳层数 $\ll N^2 H$ 。

第五步：组合估计与 dyadic 求和（Proposition 4.9）。将上述结果代入 $\sum_\beta \sqrt{\Gamma_{\alpha\beta}}$ 的上界表达式，利用平方根的次可加性与轨道划分的完备性，最终归结为对 $$f$$ （6个）和 dyadic $H \leq N$ 的求和：

\sum_{H \text{ dyadic}} N^{2+\varepsilon} H^2 \ll N^{2+\varepsilon} \cdot N^2 = N^{4+\varepsilon},

因 $\sum_{H=1,2,4,\dots \leq N} H^2 \ll N^2$ 。

此外，在分析 Sobolev 行和时，作者采用离散到连续比较框架，将傅里叶系数的衰减 $|\hat{u}_k| \leq M |k|^{-s}$ 与轨道结构结合，但明确指出该方法仅在 $$3/2 < s < 3$$ 有效，暗示更高正则性可能需要更精细的双线性估计或取消对称约化假设。

4. 与之前工作的比较

本文与已有工作的主要区别体现在问题设定、技术工具、结果精度与适用范围三个维度：

1. 对称约化与轨道级描述的新颖性：传统关于纳维-斯托克斯傅里叶截断的研究（如 Frisch 等人的湍流谱理论）通常在完整格点 $\Lambda_N$ 上工作，关注总能量或总涡量的演化，或使用统计平均（如各向同性假设）来简化三元相互作用。而本文明确引入全八面体群 $$O_h$$ 的轨道约化，将动力学变量从单个波数提升到轨道层面，从而自然分离对称性导致的简并。这种“轨道级”视角在 PDE 分析中较为罕见，更常见于表示论或量子力学。作者并未假设统计均匀性或随机相位，而是进行完全确定性的计数与估计，这使得结果适用于任意初始数据（只要满足 Sobolev 正则性），而非仅适用于典型或随机情形。

2. 关联界估计的技术突破：以往对三元组计数 $T(k,N) = \#\{(p,q) \in \Lambda_N^2 : p+q=k\}$ 的研究（如 Corollary 3.2 给出的 $T(k,N) \leq C N^3$ ）仅关注单点最大值，且未考虑轨道结构。对于涉及壳层的计数（如 $\#\{p \in S_r \cap \Lambda_N : k-p \in \Lambda_N\}$ ），常见做法是用球冠面积或体积近似，误差较大且无法处理离散格点的算术特性。本文通过面归一化分解，首次将此类计数与两平方表示函数 $$r_2(n)$$ 直接联系，利用其经典的除数函数型上界 $r_2(n) \ll_\varepsilon n^\varepsilon$ ，实现了对每个壳层切片的精细控制。这比纯几何体积估计（通常给出 $$O(N^2)$$ 或更差）更为锐利，尤其是在高波数区域。

3. 结果范围与局限性的明确界定：作者明确指出 Sobolev 行和估计仅在 $$3/2 < s < 3$$ 成立（引言及 Section 6），这反映了当前方法的局限：当 $s \leq 3/2$ 时，傅里叶系数衰减不足，无法控制非线性项的求和；当 $s \geq 3$ 时，离散到连续的比较可能失效。相比之下，许多先前工作要么隐含更强的正则性假设（如解析性），要么仅在形式级数层面讨论。此外，本文的关联界为 $N^{4+\varepsilon}$ ，而若忽略轨道结构直接对格点求和， $\sum_{p,q} 1 \sim N^6$ ，故轨道约化带来了显著的维度压缩（因子约 $$N^2$$ ），这体现了对称性在降低复杂度方面的威力。

4. 与作者前期工作的关联：文中提及参考文献 [4]（“related orbit-level stretching analysis emphasizing sharp incidence, spectral decay, and a continuation criterion”），表明本文是系列工作的一部分。相较于 [4] 可能侧重于拉伸率或延拓准则，本文聚焦于代数结构（转移矩阵分解）与组合计数（显式关联界），两者互补。然而，由于未提供 [4] 的具体内容，无法详细比较假设差异或技术演进。

总体而言，本文推进了对截断纳维-斯托克斯系统中非线性相互作用的确定性、代数化、对称性感知的理解，为未来研究（如轨道级稳定性分析、对称性破缺效应或与表示论的更深联系）奠定了基础。代价是局限于立方截断与 $$O_h$$ 对称性，且 Sobolev 范围受限；但这些限制恰恰明确了方法的有效边界，避免了过度泛化。

3. $C^{1/5^{-}}$ 凸积分法构造的理想磁流体动力学解

$C^{1/5^{-}}$ Convex Integration Solutions of Ideal MHD

作者: Matteo Giardi, László Székelyhidi

类别: math.AP

发布日期: 2026-04-13

arXiv ID: 2604.12091v1

摘要翻译: 对于任意 $0\leq \gamma < 1/5$ ，我们构造了理想磁流体动力学（Ideal MHD）方程的弱解 $$(v, B, p)$$ ，这些解不属于总动能与交叉螺旋度守恒的类，并且属于 $C^\gamma(\mathbb{T}^3\times\mathbb{R})$ 。受 Arnold 关于理想流体动力学表述的启发，我们将解视为保体积微分同胚的路径；证明基于经典凸积分技巧与此李群的李代数层面上的几何构造之间的相互作用。我们的工作在近期 Enciso、Peñafiel-Tomás 与 Peralta-Salas 的研究基础上，实质性地推广了相关结果。

Comment: 166 pages, extended version

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

1. 研究对象和背景

本文研究三维周期区域 $\mathbb{T}^3 = [-\pi, \pi]^3$ 上的理想不可压缩磁流体动力学（Ideal MHD）方程组：

\begin{cases} \partial_t v + v \cdot \nabla v + \nabla p - B \cdot \nabla B = 0, \\ \partial_t B + \mathrm{curl}(B \times v) = 0, \\ \mathrm{div}\, v = \mathrm{div}\, B = 0, \end{cases} \tag{1.2}

其中 $$v(x,t)$$ 为速度场， $$B(x,t)$$ 为磁场， $$p(x,t)$$ 为压力。该系统描述了无粘性、无电阻导电流体（如等离子体或液态金属）的宏观演化。在物理上，MHD 系统比 Euler 方程更丰富，因为它包含两个额外的理想守恒量：交叉螺旋度（cross-helicity）

H_\times(t) = \int_{\mathbb{T}^3} B(x,t) \cdot v(x,t) \, dx,

以及磁螺旋度（magnetic helicity）

H_B(t) = \int_{\mathbb{T}^3} A(x,t) \cdot B(x,t) \, dx,

其中 $$A$$ 是满足 $\mathrm{curl}\, A = B$ 的矢势。这些守恒律在湍流极限下是否依然成立，是理解 MHD 湍流结构的核心问题。

Onsager 在 1949 年针对 Euler 方程提出猜想：若速度场 $v \in C^\gamma$ 且 $\gamma > 1/3$ ，则动能守恒；若 $\gamma < 1/3$ ，则可能存在不守恒动能的弱解。这一猜想已在近二十年通过凸积分法（convex integration）得到证实（Isett [28] 等）。对于 MHD，Caflisch–Klapper–Steele [10] 证明：若 $v \in C^{\gamma_1}$ 、 $B \in C^{\gamma_2}$ 且 $\gamma_1 + 2\gamma_2 > 1$ ，则总能量与交叉螺旋度守恒；而磁螺旋度仅需 $(v,B) \in L^3$ 即可守恒。由此自然引出 MHD 版本的 Onsager 猜想：当 $\gamma > 1/3$ 时守恒，当 $\gamma < 1/3$ 时可能不守恒。

然而，已有构造远未达到 $$1/3$$ 阈值。早期工作如 Beekie–Buckmaster–Vicol [3] 构造了 $L^\infty_t L^2_x$ 中的能量非守恒解，但该空间对磁螺旋度而言是超临界的，不符合 Taylor 猜想（小电阻下磁螺旋度近似守恒）。Faraco–Lindberg–Székelyhidi [22,23] 构造了有界但不连续的解，磁螺旋度恒为零或常数。直到近期，Enciso–Peñafiel-Tomás–Peralta-Salas [17] 首次构造出具有非平凡磁螺旋度、且在 $C^\gamma(\mathbb{T}^3 \times \mathbb{R})$ 中的弱解，但其 Hölder 指数仅为 $\gamma \leq 1/200$ 。其关键在于采用“部分松弛”系统：保留 Faraday–Ohm 系统（即 $\partial_t B + \mathrm{curl}(B \times v) = 0$ ）严格成立，仅在动量方程中引入 Reynolds 应力 $$R$$ ，使得磁场 $$B$$ 被“束缚”于速度场 $$v$$ 的 Lie 输运之下。

本文旨在填补这一理论空白：将 Hölder 正则性从 $$1/200$$ 大幅提升至接近 $$1/5$$ ，并同时破坏总能量与交叉螺旋度守恒，同时保持非零磁螺旋度。这不仅逼近物理上猜测的 $$1/3$$ 阈值，也揭示了凸积分法在耦合双场系统中的极限能力。特别地，作者受 Arnold 将理想流体视为体积保持微分同胚群上测地线的观点启发，将解视为该李群上的路径，并在其李代数（散度自由向量场）层面进行几何构造，从而将复杂的群上复合运算转化为李代数上的加法与李导数运算，这是技术突破的关键。

2. 主要定理或主要结果

作者证明了如下主定理：

定理 1.1（主定理）：对任意 $0 \leq \gamma < 1/5$ ，存在理想 MHD 方程 (1.2) 的弱解 $$(v, B, p)$$ ，满足：

$(v, B) \in C^\gamma(\mathbb{T}^3_x \times \mathbb{R}_t)$ ；
总能量 $E(t) = \int_{\mathbb{T}^3} (|v|^2 + |B|^2) dx$ 不守恒；
交叉螺旋度 $H_\times(t) = \int_{\mathbb{T}^3} v \cdot B \, dx$ 不守恒；
磁螺旋度 $$H_B(t)$$ 非平凡（即不恒为零）。

该结论通过构造一个满足特定迭代假设的“次解”（subsolution）序列 $\{(v_q, B_q, p_q, R_q)\}_{q \geq 0}$ 实现。每个次解满足松弛 MHD 系统：

\begin{cases} \partial_t v_q + \mathrm{div}(v_q \otimes v_q - B_q \otimes B_q) + \nabla p_q = \mathrm{div} R_q, \\ \partial_t B_q + \mathrm{curl}(B_q \times v_q) = 0, \\ \mathrm{div} v_q = \mathrm{div} B_q = 0, \end{cases} \tag{1.15}

其中 $$R_q$$ 为 Reynolds 应力张量。迭代假设 (1.16) 对频率 $\lambda_q = a^{b^q}$ 和振幅 $\delta_q = \lambda_q^{-2\beta}$ （ $0 < \beta < 1/5$ ）设定精细的正则性控制，包括：

$\|v_q\|_0, \|B_q\|_0 \leq C_0(1 - \delta_q^{1/2})$ ；
时间导数估计： $\|\partial_t^j v_q\|_r, \|\partial_t^j B_q\|_r \leq C_0 \lambda_q^{r+j} \delta_q^{1/2}$ ，对 $$j=0,1,2$$ 且 $0 \leq r \leq N-j$ ；
Alfvén 输运导数估计： $\|\mathcal{A}^\pm_q v_q\|_r, \|\mathcal{A}^\pm_q B_q\|_r \leq C_0 \lambda_q^{r+1} \delta_q$ ，对 $0 \leq r \leq M-1$ ，其中 $\mathcal{A}^\pm_q = \partial_t + (v_q \pm B_q) \cdot \nabla$ ；
Reynolds 应力衰减： $\|R_q\|_r \leq \lambda_q^{r - \alpha} \delta_{q+1}$ ，对 $0 \leq r \leq M$ 。

核心结果是迭代命题 1.2：在参数满足特定约束（见 Lemma 1.3）下，若 $$(v_q, B_q, p_q, R_q)$$ 满足上述假设，则可构造 $(v_{q+1}, B_{q+1}, p_{q+1}, R_{q+1})$ 满足相同形式的假设，且误差控制为：

\|\partial_t^j (v_{q+1} - v_q)\|_r, \|\partial_t^j (B_{q+1} - B_q)\|_r \leq C_0 \lambda_{q+1}^{r+j} \delta_{q+1}^{1/2},

对 $$j=0,1,2$$ 且 $0 \leq r \leq N-j$ 。通过标准凸积分收敛论证，序列 $\{v_q\}, \{B_q\}$ 在 $C^\gamma$ 中收敛到所求弱解，其中 $\gamma = \beta - \epsilon$ 对任意小 $\epsilon > 0$ 成立，故可达 $\gamma < 1/5$ 。

关键的技术性结论包括 Galbrun 阶段和 Nash 阶段的误差估计。例如，在 Nash 阶段，新 Reynolds 应力 $R_{q+1}$ 的主导项大小被优化为：

\left( \frac{\tau_a}{\tau_c} \right) \delta_{q+1} + \left( \frac{\tau_c}{\tau_a} \right) \frac{\lambda_q \delta_q^{1/2} \delta_{q+1}^{1/2}}{\lambda_{q+1}} \leq \delta_{q+2},

其中 $\tau_c \sim (\lambda_q \delta_q^{1/2})^{-1}$ 为慢时间尺度， $\tau_a = \lambda_q^{-(b-1)\gamma_a} \tau_c$ 为快时间尺度。通过选择最优 $\tau_a / \tau_c$ ，该不等式要求 $\beta < 1/(4b + 1)$ ，令 $b \to 1^+$ 即得 $\beta < 1/5$ 。

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

本文的核心障碍在于：MHD 系统耦合了速度场 $$v$$ 和磁场 $$B$$ ，且 Faraday–Ohm 系统 $\partial_t B + \mathrm{curl}(B \times v) = 0$ 具有严格的微分几何结构（Lie 输运），无法像 Euler 方程那样直接对 Reynolds 应力进行任意扰动。若强行 mollify（磨光） $$(v_q, B_q)$$ ，会破坏该结构，导致后续构造失效。作者通过三项关键技术克服此障碍：

1. 局部时空图表构造与 Alfvén 波相容性：由于 Alfvén 波的传播方向由 $k \cdot B = 0$ 决定，有效振荡只能发生在垂直于 $$B$$ 的二维平面内。为处理非均匀背景场 $(\bar{v}, \bar{B})$ ，作者在局部时空区域构造坐标变换（图表） $\Psi_I$ ，使得在此坐标下，Alfvén 输运算子 $\mathcal{A}^\pm = \partial_t + (\bar{v} \pm \bar{B}) \cdot \nabla$ 可交换（即 $[\mathcal{A}^+, \mathcal{A}^-] = 0$ ），这源于 MHD 方程本身的结构（见 (1.4)）。该图表将局部问题约化为常系数情形，使得平面波 ansatz $w \sim \delta^{1/2} h(\lambda (x - t\bar{v}) \cdot k) \zeta$ （其中 $k \cdot \bar{B} = 0$ ）可行。此构造见第 7 节，是实现几何相容扰动的基础。

2. Lagrangian 位移场（LDF）与 Lie-Taylor 展开：受 Arnold 流体力学几何观点启发，作者不直接构造微分同胚 $$X$$ ，而是构造其生成元——Lagrangian 位移场 $\xi$ （散度自由向量场），使得 $X = \exp_\mathrm{Id} \xi$ 。速度扰动 $$w$$ 与 $\xi$ 的关系由 Lie 导数给出：

w = (\partial_t + \mathcal{L}_{\bar{v}}) \xi + \sum_{k=1}^{k_0} \frac{(-1)^k}{(k+1)!} \mathcal{L}_\xi^k (\partial_t + \mathcal{L}_{\bar{v}}) \xi + r_{k_0}^w, \tag{1.6}

称为 Lie-Taylor 展开。此处 $\mathcal{L}$ 为 Lie 导数。该展开将非线性的群上复合转化为李代数上的多项式，使得高阶项可显式估计。关键引理 5.1（Lagrangian 扰动引理）控制余项 $r_{k_0}^w$ ，其大小为 $T^{k_0+1} \delta^{1/2}$ ，其中增益因子 $T \ll 1$ （例如 Nash 阶段 $T_p = \lambda_q \tau_a \delta_{q+1}^{1/2}$ ）。通过选取足够大的展开阶数 $$k_0$$ ，可使余项任意小，从而保证输运性质的传递。

3. 双阶段凸积分框架：Galbrun 阶段与 Nash 阶段：

Galbrun 阶段（第 2 节）：首先将 Reynolds 应力 $$R_q$$ 分解为空时分离的简单张量和 $\sum_I A_I$ 。然后求解一个类 Galbrun 方程（源自声学）以构造第一阶 LDF $\xi^g$ ： $\mathcal{A}^+_\ell \mathcal{A}^-_\ell \xi^g_j + \xi^g_j \cdot \nabla(\nabla p_\ell - \mathrm{div} R_\ell) + \nabla \pi^g_j = \mathrm{div} \left[ \sum_{I: I_t=j} (1 - g_I^2) A_I \right], \tag{1.18}$ 其中 $$g_I$$ 为快时间振荡函数。此步骤将 $$R_q$$ 重写为 $\sum_I g_I^2 A_I$ ，为 Nash 阶段的二次抵消做准备。
Nash 阶段（第 3 节）：基于更新后的图表和分解，构造第二阶 LDF $\xi^p$ ，其对应的扰动 $$(w^p, b^p)$$ 满足 $w^p \otimes w^p - b^p \otimes b^p \approx \sum_I g_I^2 A_I$ ，从而抵消主要 Reynolds 应力。此阶段的标准凸积分技巧（如 Mikado 波）因几何限制不可用，故依赖平面波与快时间振荡 $g(t/\tau_a)$ 。

整个框架通过精细的 mollification 策略维持结构：先对 $$(v_q, B_q)$$ 进行 mollify 得到 $(v_\ell, B_\ell)$ ，再通过局部求解精确 MHD 系统进行“再校正”，得到 $(v_{\ell,j}, B_{\ell,j})$ ，使其恢复 Alfvén 算子的可交换性。此“有效粘合”过程（见第 2.1 节）产生的误差被严格控制，并通过区分“好导数”（纯空间导数）与“坏导数”（输运导数）的书计技巧处理高阶导数估计。

4. 与之前工作的比较

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

1. 正则性阈值的显著提升：此前最接近的工作是 Enciso–Peñafiel-Tomás–Peralta-Salas [17]，其构造的 Hölder 指数为 $\gamma \leq 1/200$ 。本文将其大幅提升至 $\gamma < 1/5$ ，这是数量级的进步。这一提升源于对凸积分框架的根本性改进：[17] 直接在微分同胚群上构造扰动，导致复合运算难以控制；而本文转至李代数层面，利用 Lie-Taylor 展开将非线性转化为可控的多项式结构，从而获得更优的振幅-频率平衡。

2. 松弛系统的策略差异：早期工作如 [22,23] 采用更宽松的松弛系统，允许 Faraday–Ohm 系统出现 subscale electromotive force $$M$$ （满足 $M \cdot B = 0$ 以保护磁螺旋度），但其构造的解要么磁螺旋度为零，要么不连续。[17] 则采用“部分松弛”：严格保持 $\partial_t B + \mathrm{curl}(B \times v) = 0$ ，仅在动量方程引入 $$R$$ 。本文沿用此策略，但通过 LDF 和图表构造，更高效地利用了该约束下的自由度，避免了 [17] 中因直接处理群上运算而导致的正则性损失。

3. 技术工具的演进：

凸积分 building blocks：Euler 方程中常用的 Mikado 涡旋因 MHD 的各向异性（ $k \cdot B = 0$ 限制）无法使用。[17] 和本文均退回到平面波，但本文通过引入快时间振荡 $g(t/\tau_a)$ 和双阶段框架（Galbrun + Nash），有效模拟了高维振荡的效果。
mollification 处理：标准 mollification 破坏 MHD 结构是长期难题。[17] 未明确处理此问题，可能隐含更强的正则性假设。本文创新性地引入“局部再校正”步骤，通过求解局部精确 MHD 系统来修复 mollify 引入的误差，这是保证迭代闭合的关键。
误差分析：本文对误差源进行了前所未有的精细分解（见 (1.19)），明确区分 Galbrun 阶段的线性误差、Nash 阶段的线性与二次误差、以及图表更新误差。这种分解使得优化成为可能，最终导出 $$1/5$$ 阈值。

4. 物理意义的深化：本文构造的解同时破坏能量和交叉螺旋度守恒，且具有非平凡磁螺旋度，更符合 MHD 湍流的物理图像（如 Iroshnikov–Kraichnan 或 Goldreich–Sridhar 谱所暗示的多不变量级联）。相比之下，[3,22,23] 的解要么磁螺旋度为零，要么属于超临界空间，物理相关性较弱。

5. 代价与局限：提升正则性至 $$1/5$$ 的代价是技术复杂度剧增：需要同时追踪两类导数（纯空间 vs. Alfvén 输运）、管理双时间尺度（ $\tau_c$ 与 $\tau_a$ ）、以及执行双阶段迭代。此外， $$1/5$$ 虽优于 $$1/200$$ ，但仍远低于物理猜测的 $$1/3$$ 阈值。作者指出，进一步提升可能需要全新的几何洞察或超越当前凸积分范式的工具。文中未尝试处理边界问题或非周期域，这也是未来方向。

中文标题: 一类含HLS下临界项与非局部扰动的分数阶Choquard方程的归一化解

摘要翻译: 本文研究质量约束下的分数阶Choquard方程

中文标题: 关于 Sobolev–Escobar 桥不等式的一则注记

摘要翻译: 本文研究桥族函数

Φ(T):=\inf_{u\in\mathcal A_T}\|\nabla u\|_{L^2(\mathbb R^n_+)}, \qquad T>0,\quad n\ge3,

的局部稳定性，其中

\mathcal A_T := \Bigl\{ u\in \dot H^1(\mathbb R^n_+): \|u\|_{L^{\frac{2n}{n-2}}(\mathbb{R}_{+}^n)}=1,\ \|u\|_{L^{\frac{2(n-1)}{n-2}}(\partial\mathbb{R}_{+}^n)}=T \Bigr\},

而 $\dot H^1(\mathbb R^n_+)$ 是 $C_c^\infty(\overline{\mathbb R^n_+})$ 在范数 $\|\nabla \varphi\|_{L^2(\mathbb R^n_+)}$ 下的完备化空间。记 $\mathcal M_T$ 为 $$Φ(T)$$ 的极小元集合。我们证明：对任意 $T\neq T_E$ ，存在常数 $$α_T>0$$ ，使得对所有 $u\in\mathcal A_T$ ，有

中文标题: 具有子流形奇性的双重临界椭圆问题

摘要翻译: 设 $N \ge 4$ ， $\Omega$ 为 $\mathbb{R}^N$ 中的有界区域，且 $\Sigma \subset \Omega$ 为维数 $$k$$ 的光滑闭子流形，其中 $2 \le k \le N-2$ 。我们研究如下 Euler–Lagrange 方程的正解 $u \in H_0^1(\Omega)$ 的存在性：

-\Delta u + h u = \lambda\, \rho_\Sigma^{-s_1}\, u^{2^{*}_{s_1}-1} + \rho_\Sigma^{-s_2}\, u^{2^{*}_{s_2}-1} \quad \text{在 } \Omega \text{ 中},

其中 $h : \Omega \to \mathbb{R}$ 为连续位势， $\lambda > 0$ 为实参数，且 $0 \le s_2 < s_1 < 2$ 。对 $$i=1,2$$ ，指数

2^{*}_{s_i} = \frac{2(N - s_i)}{N - 2}

中文标题: 关于带奇异漂移项的热方程

摘要翻译: 我们证明了对于Morrey型漂移项的热方程解，其最大模估计可由自由项的 $L_{q,p}$ 范数控制，其中 $$q,p$$ 满足 $$d/p+2/q<2$$ ，且 $L_{q,p}$ 范数定义中的积分次序任意。我们还给出了该结果在漂移项 $$b$$ 满足Ladyzhenskaya–Prodi–Serrin条件情形下的应用。该方法可轻易推广至阶数 $\geq 1$ 的拉普拉斯算子所对应的方程。

不相关论文（基本信息）

1. 由单个远场模式稳定确定广义阻抗障碍物

Stably Determining a generalised Impedance Obstacle from a Single Far-Field Pattern

作者: Huaian Diao, Hongyu Liu, Longyue Tao

类别: math.AP

发布日期: 2026-04-14

arXiv ID: 2604.12835v1

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

摘要: Inverse scattering focuses on recovering unknown scatterers from wave measurements. A fundamental challenge is determining whether an inverse obstacle problem can be resolved from a single far-field measurement, a task particularly demanding for non-convex polytope obstacles under generalized impedance boundary conditions and closely linked to the long-standing Schiffer problem. In this paper, we develop a novel \emph{Artificial Test Domain} (ATD) framework for single-measurement inverse scattering of impenetrable polytope obstacles. Based on microlocal analysis near exterior-visible flat boundary patches, this approach transcends traditional methods reliant on observable corners. The ATD framework establishes two primary conceptual advancements: a unified \emph{generalized impedance hyperplane (GIH) exclusion mechanism}, which clarifies the structural role of uniqueness mechanisms, and a unified \emph{qualitative–quantitative principle} for the generalized impedance setting. Quantitatively, the method yields a \emph{far-field–geometry relation} where geometric discrepancy is controlled by far-field error, scaled by a leading ATD coefficient. Qualitatively, the non-vanishing of this coefficient reduces to the exclusion of exterior generalized impedance hyperplanes. Once uniqueness is established, this relation produces sharp stability estimates. Within this framework, the classical stability estimates for the sound-soft and sound-hard cases are recovered as special instances of a much more general stability theory. At the same time, we obtain several new sharp stability results that are of significant importance. These results unify currently available single-measurement uniqueness regimes for polytope geometry and provide new insights into the Schiffer problem across multiple generalized impedance settings.

2. Navier滑移边界条件下Stokes-Poisson-Boltzmann方程的Nitsche方法

Nitsche method for the Stokes-Poisson-Boltzmann equation with Navier slip boundary condition

作者: Ayush Agrawal, Aparna Bansal, D. N. Pandey

类别: math.NA, math.AP

发布日期: 2026-04-14

arXiv ID: 2604.12396v1

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

摘要: We study the Stokes–Poisson–Boltzmann equations with Dirichlet and Navier boundary conditions. The system consists of the incompressible Stokes equations coupled with a nonlinear Poisson–Boltzmann equation through electrostatic forcing and convective transport effects. To handle the Navier boundary conditions in a unified framework, we employ Nitsche’s method for their weak imposition within a conforming finite element setting. We derive a consistent and stable discrete formulation and establish the well-posedness of the resulting problem. By carefully choosing the penalty parameters, the bilinear form is shown to be coercive and continuous. A priori error estimates are proved in the natural energy norms, yielding optimal-order convergence under suitable regularity assumptions. Furthermore, we develop residual-based a posteriori error estimators that incorporate element residuals, inter-element jump residuals, and boundary residuals arising from the Nitsche formulation. The estimators are shown to be reliable and locally efficient. Numerical experiments confirm the theoretical results and demonstrate the robustness and accuracy of the proposed method for the Stokes–Poisson–Boltzmann system.

3. 各向同性标准线性固体粘弹性介质动态弹性成像的唯一性

Uniqueness of dynamic elastography for isotropic standard linear solid viscoelastic media

作者: Yu Jiang, Ching-Lung Lin, Gen Nakamura

类别: math.AP

发布日期: 2026-04-14

arXiv ID: 2604.12299v1

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

摘要: Dynamic elastography is a widely used, safe, convenient, and cost-effective method to aid in medical diagnosis. It visualizes the wave field propagating through living tissues and quantitatively determines the wave propagation speed from the acquired data, thereby enabling the extraction of the viscoelastic properties of in vivo tissues. Notably, this identification process relies on the mathematical modeling of the viscoelastic characteristics of living tissues. When living tissues are simply modeled as isotropic elastic media, J. McLaughlin and J. Yoon established the uniqueness of the identification in \cite{MY} by reasoning that they called the ``shrink and spread argument". Given the realistic viscoelastic nature of biological tissues, generalizing their results by adopting viscoelastic models is of great significance. In this paper, using their reasoning, we prove the uniqueness of identification for two typical viscoelastic media: the isotropic extended Maxwell model and the isotropic extended standard linear solid model. More precisely, we demonstrate that the shear wave speed within a region of interest $$Ω$$ can be uniquely determined from a single measurement of the wave field in $$Ω$$ .

4. 狭窄沟壑中的野火：一种几何约化方法

Wildfire in a Narrow Gully: A Geometric Reduction Approach

作者: Lorenzo De Gaspari, Serena Dipierro, Enrico Valdinoci

类别: math.AP

发布日期: 2026-04-14

arXiv ID: 2604.12192v1

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

摘要: We consider a bushfire model in a gully. The biological scenario under consideration involves flammable fuel (trees, leaves, etc.) concentrated within the gully, surrounded by rocky hillslopes containing little or no burnable material. The mathematical formulation of the problem is a nonlocal evolution equation of parabolic type. The nonlocality arises from an ignition mechanism that becomes active when the temperature reaches the ignition threshold and is modeled via a kernel interaction with limitrophe areas. The rocky hillsides of the gully impose insulating boundary conditions of Neumann type, while the entrance and exit of the gully are modeled by (not necessarily homogeneous) Dirichlet boundary data, corresponding to prescribed environmental temperatures on the gully’s terminals. Given the geometry of the domain, in the asymptotic regime of a narrow gully the model undergoes a dimensional reduction and can be analyzed through a geometric equation posed along the (not necessarily straight) axis of the gully. The reduced equation is supplemented with inner and outer Dirichlet boundary conditions (with no Neumann condition remaining in the limit). The analysis relies on the use of Fermi coordinates to capture the potentially curvilinear geometry of the gully, as well as on parabolic estimates tailored to the specific equation in order to properly account for the ignition interactions. These estimates are delicate, as the domain degenerates and the boundary conditions vary in the limit. To overcome these difficulties, we develop a bespoke reflection technique that provides uniform bounds and enables the passage to the limit.

5. 关于用于数据可视化的 t-SNE 的连续极限

On the continuum limit of t-SNE for data visualization

作者: Jeff Calder, Zhonggan Huang, Ryan Murray, Adam Pickarski

类别: stat.ML, cs.LG, math.AP, math.ST

发布日期: 2026-04-13

arXiv ID: 2604.12041v1

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

摘要: This work is concerned with the continuum limit of a graph-based data visualization technique called the t-Distributed Stochastic Neighbor Embedding (t-SNE), which is widely used for visualizing data in a variety of applications, but is still poorly understood from a theoretical standpoint. The t-SNE algorithm produces visualizations by minimizing the Kullback-Leibler divergence between similarity matrices representing the high dimensional data and its low dimensional representation. We prove that as the number of data points $n \to \infty$ , after a natural rescaling and in applicable parameter regimes, the Kullback-Leibler divergence is consistent as the number of data points $n \to \infty$ and the similarity graph remains sparse with a continuum variational problem that involves a non-convex gradient regularization term and a penalty on the magnitude of the probability density function in the visualization space. These two terms represent the continuum limits of the attraction and repulsion forces in the t-SNE algorithm. Due to the lack of convexity in the continuum variational problem, the question of well-posedeness is only partially resolved. We show that when both dimensions are $$1$$ , the problem admits a unique smooth minimizer, along with an infinite number of discontinuous minimizers (interpreted in a relaxed sense). This aligns well with the empirically observed ability of t-SNE to separate data in seemingly arbitrary ways in the visualization. The energy is also very closely related to the famously ill-posed Perona-Malik equation, which is used for denoising and simplifying images. We present numerical results validating the continuum limit, provide some preliminary results about the delicate nature of the limiting energetic problem in higher dimensions, and highlight several problems for future work.

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

1. 关于二维欧拉方程定常解的柔性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 周期环面上三维Fourier-Galerkin Navier-Stokes系统的轨道级转移矩阵：显式轨道三元组关联界与确定性行和估计#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. $C^{1/5^{-}}$ 凸积分法构造的理想磁流体动力学解#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 含分数阶压力的各向异性多孔介质方程的有限元逼近#

摘要翻译#

2. 分数拉普拉斯算子的唯一性与非唯一性对#

摘要翻译#

3. 一般非局部算子在振荡系数下的周期与随机同伦化#

摘要翻译#

4. 具有非线性边界反应性的扩散粒子系平均场极限的自由边界问题#

摘要翻译#

5. 关于薛定谔方程解沿某些高度切向曲线的逐点收敛性#

摘要翻译#

6. 电穿孔非局部模型的长时间行为#

摘要翻译#

7. 多相Muskat问题的全局时间估计#

摘要翻译#

8. 一类含HLS下临界项与非局部扰动的分数阶Choquard方程的归一化解#

摘要翻译#

9. 关于Weiss型近单调性公式#

摘要翻译#

10. 一维高阶非局部相变模型的均匀化#

摘要翻译#

11. 关于 Sobolev–Escobar 桥不等式的一则注记#

摘要翻译#

12. 度量图上的双重非线性扩散方程#

摘要翻译#

13. 抛物弱孔隙性与抛物Muckenhoupt距离函数#

摘要翻译#

14. 线性KdV-薛定谔方程的双线性可控性#

摘要翻译#

15. 杆方程的范数爆增与低正则性不适定性#

摘要翻译#

16. 具有子流形奇性的双重临界椭圆问题#

摘要翻译#

17. 非线性极大次椭圆偏微分方程弱解的比较定理#

摘要翻译#

18. 具有 Hölder 位势的抛物方程的定量唯一性#

摘要翻译#

19. Schwarzschild-AdS黑洞时空上的弱湍流动力学#

摘要翻译#

20. 关于最优Poincaré-Sobolev常数的Sharp Makai型不等式#

摘要翻译#

21. 关于带奇异漂移项的热方程#

摘要翻译#

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

1. 由单个远场模式稳定确定广义阻抗障碍物#

2. Navier滑移边界条件下Stokes-Poisson-Boltzmann方程的Nitsche方法#

3. 各向同性标准线性固体粘弹性介质动态弹性成像的唯一性#

4. 狭窄沟壑中的野火：一种几何约化方法#

5. 关于用于数据可视化的 t-SNE 的连续极限#

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

1. 关于二维欧拉方程定常解的柔性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 周期环面上三维Fourier-Galerkin Navier-Stokes系统的轨道级转移矩阵：显式轨道三元组关联界与确定性行和估计

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. $C^{1/5^{-}}$ 凸积分法构造的理想磁流体动力学解

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 含分数阶压力的各向异性多孔介质方程的有限元逼近

摘要翻译

2. 分数拉普拉斯算子的唯一性与非唯一性对

摘要翻译

3. 一般非局部算子在振荡系数下的周期与随机同伦化

摘要翻译

4. 具有非线性边界反应性的扩散粒子系平均场极限的自由边界问题

摘要翻译

5. 关于薛定谔方程解沿某些高度切向曲线的逐点收敛性

摘要翻译

6. 电穿孔非局部模型的长时间行为

摘要翻译

7. 多相Muskat问题的全局时间估计

摘要翻译

8. 一类含HLS下临界项与非局部扰动的分数阶Choquard方程的归一化解

摘要翻译

9. 关于Weiss型近单调性公式

摘要翻译

10. 一维高阶非局部相变模型的均匀化

摘要翻译

11. 关于 Sobolev–Escobar 桥不等式的一则注记

摘要翻译

12. 度量图上的双重非线性扩散方程

摘要翻译

13. 抛物弱孔隙性与抛物Muckenhoupt距离函数

摘要翻译

14. 线性KdV-薛定谔方程的双线性可控性

摘要翻译

15. 杆方程的范数爆增与低正则性不适定性

摘要翻译

16. 具有子流形奇性的双重临界椭圆问题

摘要翻译

17. 非线性极大次椭圆偏微分方程弱解的比较定理

摘要翻译

18. 具有 Hölder 位势的抛物方程的定量唯一性

摘要翻译

19. Schwarzschild-AdS黑洞时空上的弱湍流动力学

摘要翻译

20. 关于最优Poincaré-Sobolev常数的Sharp Makai型不等式

摘要翻译

21. 关于带奇异漂移项的热方程

摘要翻译

不相关论文（基本信息）

1. 由单个远场模式稳定确定广义阻抗障碍物

2. Navier滑移边界条件下Stokes-Poisson-Boltzmann方程的Nitsche方法

3. 各向同性标准线性固体粘弹性介质动态弹性成像的唯一性

4. 狭窄沟壑中的野火：一种几何约化方法

5. 关于用于数据可视化的 t-SNE 的连续极限