生成时间: 2025年11月21日 03:45:29

重点关注论文数量: 4

了解领域论文数量: 2

不相关论文数量: 16

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

1. Full flexibility of isometric immersions of metrics with low Hölder regularity in Poznyak theorem’s dimension

关于Poznyak定理维度中具有低Hölder正则性度量的等距浸入的完全灵活性

作者: Marta Lewicka

类别: math.DG, math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16305v1

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

详细分析

中文标题: 关于Poznyak定理维度中具有低Hölder正则性度量的等距浸入的完全灵活性

研究对象和背景

本文研究的是二维黎曼流形在四维欧几里得空间中的等距浸入问题，特别是当给定的度量 $g$ 仅具有低阶Hölder正则性（即 $g \in \mathcal{C}^{r,\beta}$）时，是否存在高正则性的等距浸入 $u: \bar\omega \to \mathbb{R}^4$。该问题本质上是一个非线性偏微分方程组的存在性和灵活性（flexibility）分析。

核心问题是求解以下第一基本形式方程：

其中：

• $\omega \subset \mathbb{R}^2$ 是一个与单位圆盘 $B_1$ 微分同胚的单连通开集；
• $g: \bar\omega \to \mathbb{R}^{2\times 2}_{\rm sym, >0}$ 是一个对称、正定的矩阵值函数，表示给定的黎曼度量；
• $u: \bar\omega \to \mathbb{R}^4$ 是待求的等距浸入映射；
• $\nabla u(x) \in \mathbb{R}^{4\times 2}$ 是 $u$ 在点 $x$ 处的雅可比矩阵；
• $(\nabla u)^T \nabla u$ 是诱导度量（induced metric），要求其等于目标度量 $g$。

这个系统是非线性的，且是欠定的（四个未知函数对应三个独立方程），因此存在“自由度”，这为使用凸积分（convex integration）方法提供了可能。

论文所处的历史背景非常丰富。早在1956年，Nash 在其奠基性工作 [38] 中提出：只要目标空间维度足够高，“刚性”就会消失，而代之以“柔性”——即存在大量满足相同几何约束但形态各异的解。这一思想后来发展为著名的 Nash-Kuiper 定理：任意短浸入（short immersion）都可以被逼近为 $C^1$ 等距浸入，即使在低维空间如 $\mathbb{R}^3$ 中也成立。然而，在更高正则性下（例如 $C^{1,\alpha}$），刚性开始显现。

对于二维情形，经典结果包括：

• Janet-Cartan-Burstin 定理：任何解析的二维度量局部可解析地等距嵌入到 $\mathbb{R}^3$。
• Poznyak 定理：任意光滑度量 $g \in C^\infty$ 可以整体 $C^\infty$ 地等距浸入到 $\mathbb{R}^4$。这是本文工作的出发点，故称为“Poznyak 定理的维度”。

然而，这些结果主要关注存在性，而非灵活性。所谓灵活性，是指从任意一个“短”的初始近似解出发，通过小扰动构造出精确解的能力。这种能力依赖于所允许的解的正则性等级。

关键观察在于：当浸入映射 $u$ 属于 $C^{1,\alpha}$ 类时，其二阶导数的行为受频率振荡的影响。利用高频振荡的“褶皱”（corrugation）或“螺旋”（spiral）结构，可以在不显著改变一阶导数的前提下调整诱导度量，从而逐步逼近目标度量 $g$。这种方法统称为凸积分技术，由 Nash 首创，并经 Kuiper、Gromov、De Lellis、Szekelyhidi 等人不断发展。

本文的关键突破在于将这种灵活性推进至几乎最优的正则性水平。具体来说，作者证明了：只要度量 $g \in \mathcal{C}^{r,\beta}$，就可以构造出任意接近任何短浸入的 $C^{1,\alpha}$ 等距浸入，其中 $\alpha < \min\left\{\frac{r+\beta}{2}, 1\right\}$。特别地，当 $g \in C^2$ 时，$\alpha < 1$，这意味着可以达到 $C^{1,1-}$ 正则性，被称为“完全灵活性”（full flexibility）。

值得注意的是，这一结果发生在最小可能的目标维度 $n=4$ 中，恰好是 Poznyak 定理保证存在性的维度。相比之下，在 $\mathbb{R}^3$ 中，已知存在刚性障碍：Borisov 和后续 Conti-de Lellis-Szkelyhidi 的工作表明，当 $\alpha > 2/3$ 时，$C^{1,\alpha}$ 等距浸入表现出刚性行为；而在 $\alpha < 1/3$ 时才有灵活性。因此，从 $\mathbb{R}^3$ 到 $\mathbb{R}^4$ 的维度提升彻底打破了刚性壁垒。

此外，文中还提到了与Monge-Ampère系统的联系。这是一个相关的非线性偏微分系统，描述浅壳的曲率分布：

其中 $v: \omega \to \mathbb{R}^k$，$\mathrm{Det}$ 是某种张量行列式算子。它与等距浸入的关系体现在：当考虑形如 $u_\epsilon(x) = (x, \epsilon v(x))$ 的薄层浸入时，其诱导度量的曲率主项正比于 $\epsilon^2 \mathrm{Det}(\nabla^2 v)$。因此，两个系统的灵活性机制高度相似。

本文的研究区域 $\omega$ 是有界、单连通、闭包光滑的平面域，函数空间设定在 Hölder 空间 $\mathcal{C}^{r,\beta}$ 和 $\mathcal{C}^{1,\alpha}$ 上。由于使用凸积分方法，边界条件并非强制施加，而是通过在整个闭包 $\bar\omega$ 上一致逼近来实现。整个构造是局部化的迭代过程，依赖于对缺陷张量 $D(g,u) = g - (\nabla u)^T\nabla u$ 的逐次修正。

综上所述，本文的研究对象是在二维单连通区域上，针对低正则度量 $g \in \mathcal{C}^{r,\beta}$，研究其在 $\mathbb{R}^4$ 中的等距浸入的灵活性极限，尤其是在正则性层级上的突破。

主要定理或主要结果

本文的核心成果由以下几个定理构成，其中最重要的是以下两个：

定理 1.1（完全灵活性定理）

设 $g \in \mathcal{C}^{r,\beta}(\bar\omega, \mathbb{R}^{2\times 2}_{\rm sym,>})$ 定义在一个与单位圆盘 $B_1$ 微分同胚的开集 $\omega \subset \mathbb{R}^2$ 的闭包上，且 $r + \beta > 0$。则对任意满足：

的初始浸入 $u \in C^1(\bar\omega, \mathbb{R}^4)$，以及任意 $\epsilon > 0$，和任意满足

的正则性指数 $\alpha$，都存在一个浸入 $\tilde{u} \in \mathcal{C}^{1,\alpha}(\bar\omega, \mathbb{R}^4)$，使得：

此定理说明：只要度量 $g$ 至少是 $\mathcal{C}^{r,\beta}$，就可以从任意“短”的 $C^1$ 浸入出发，构造出任意逼近它的 $C^{1,\alpha}$ 等距浸入，且 $\alpha$ 可无限接近 $\min\{(r+\beta)/2, 1\}$。当 $g \in C^2$ 时，$(r+\beta)/2 = 1$，故可达 $C^{1,1-}$，称为“完全灵活性”。

定理 1.2（阶段构造定理，Stage Theorem）

设 $g \in \mathcal{C}^{r,\beta}(\bar\omega)$ 满足 $0 < r + \beta \leq 2$。固定 $\gamma > 0$ 和整数 $N,K \geq 4$。则存在仅依赖于 $\gamma, \omega, g, N, K$ 的常数 $\delta \in (0,1), \sigma > 1$，使得对任意 $u \in C^2(\bar\omega, \mathbb{R}^4)$ 和参数 $\delta_1 \leq \delta, \mu, \sigma_1 \geq \sigma$ 满足：

其中 $r_0, H_0$ 来自引理 2.2，则存在 $\tilde{u} \in C^2(\bar\omega, \mathbb{R}^4)$ 满足：

该定理是凸积分迭代中的“单步增强”工具，实现了缺陷的大幅衰减（衰减速率 $S = NK$）和二阶导的增长控制（增长指数 $J = 2K + N$），其比值 $J/S \to 0$ 当 $K,N \to \infty$，从而支持高阶 Hölder 正则性。

定理 1.3（Nash-Kuiper 迭代定理）

若上述 Stage 定理成立，则可通过迭代得到最终的 $C^{1,\alpha}$ 解，其中 $\alpha < \min\left\{ \frac{r+\beta}{2}, \frac{1}{1 + 2J/S} \right\}$。结合 Theorem 1.2 中 $J/S \to 0$，即可推出 $\alpha < 1$，完成主要结论。

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

本文采用的核心方法是凸积分（convex integration），这是一种构造弱解的强大非线性 PDE 技术，尤其适用于欠定系统。其基本思想是：从一个“短”浸入 $u$ 出发（即 $(\nabla u)^T \nabla u < g$），通过添加高频、小振幅的振荡扰动，逐步修正诱导度量，使其趋近于目标度量 $g$。

整个证明框架遵循经典的 Nash-Kuiper 方案：设计一个迭代过程，在每一步中减少当前的缺陷张量：

每一次迭代称为一个“阶段”（Stage），每个阶段包含多个“步骤”（Step），每个 Step 应用一次 Kuiper 型褶皱（corrugation）来消除一部分缺陷。

核心分析工具

1. Hölder 空间估计：全文建立在 $\mathcal{C}^{m,\alpha}$ 范数的基础上，尤其是对梯度 $\nabla u$ 和二阶导 $\nabla^2 u$ 的控制。关键技巧是利用频率参数 $\lambda$ 来平衡各项估计。例如，若扰动形如 $\frac{a}{\lambda} \Gamma(\lambda \langle x, \eta \rangle)$，则其一阶导大小约为 $a$，二阶导约为 $a \lambda$。

2. 缺陷分解引理（Defect Decomposition Lemma）：这是凸积分的基础。任意对称正定矩阵 $H$ 可局部表示为三个秩一张量的非负组合：

   $$ H = \sum_{i=1}^3 a_i^2 \eta_i \otimes \eta_i, \quad a_i \in \left[\frac{1}{2}, \frac{3}{2}\right]. $$

   这允许将缺陷 $D$ 分解为三个方向上的“原始缺陷”，然后分别用沿不同法向的褶皱来消除。

3. 法向量传播引理（Propagation of Normal Vectors）：由于每次褶皱会改变浸入曲面，其法丛也随之变化。必须精细控制新旧法向量之间的差异，以确保后续褶皱仍能有效作用。文中通过递归构造法向标架 $(E_1^{u_k}, E_2^{u_k})$ 并估计其变化率来实现这一点。

4. 多频级联构造（Multi-frequency cascade）：不同于传统固定频率比的构造，本文采用动态频率选择。定义：

   $$ \lambda_k = \mu_k \sigma, \quad \kappa_k = \mu_k \sigma^2, $$

   其中 $\mu_k$ 随阶段增长。这种设计使得不同方向的导数增长速率不同，从而优化 $J/S$ 比值。

5. Källén 迭代技术：借鉴 [30] 的思想，通过在多个余维中并行应用褶皱，使得每次 Stage 可同时处理多个缺陷成分，显著提高效率。本文将其改进至 $n=4$ 的最低可行维度。

6. 磨光与初始阶段（Mollification and Initial Stage）：为启动迭代，需先将一般短浸入转化为满足特定正则性和缺陷大小条件的初值。为此，作者使用磨光算子得到 $u_0$，并应用基于 Nash 螺旋的 Step 构造来快速缩小缺陷。

关键技术难点与解决策略

1. 控制二阶导爆炸：高频褶皱会导致 $\|\nabla^2 u\|$ 增长，若增长过快，则极限映射无法落在 $C^{1,\alpha}$ 中。解决方案是精心设计频率和振幅的比例，使 $\|\nabla^2 u_k\| \sim \mu_k \sigma^{2K + N}$，并通过让 $K,N$ 增大来压低 $J/S$。

2. 避免所有方向同步增长：以往构造中，所有 $\partial_{ij} u$ 同步增长，限制了灵活性。本文创新地使用交错频率序列（类似 Fibonacci），使得不同方向的导数增长错开，从而延缓整体爆炸速度。

3. 处理低正则度量 $g$：当 $g$ 仅为 $\mathcal{C}^{r,\beta}$ 时，不能直接微分多次。解决办法是引入固定参考矩阵 $H_0$，并将缺陷写成 $g - \delta H_0$，再通过对 $g$ 的磨光来控制误差项 $\|g\|_{r,\beta}/\mu^{r+\beta}$。

4. 保持浸入性质：每一步扰动必须保证 $\nabla u$ 保持满秩。这通过选择足够大的 $\sigma$ 和适当的振幅控制来实现。

综上，本文的技术核心是：通过多频、多步、多阶段的精细构造，在保持一阶导稳定的同时，高效压缩缺陷，最终实现最高可能的正则性灵活性。

与之前工作的比较

本文相较于先前研究有多项重大突破：

1. 首次在 $n=4$ 实现完全灵活性：此前，Källén [30] 在 $n \geq 8$ 才达到 $C^{1,1-}$ 正则性；而本文将此结果降至 Poznyak 定理的临界维度 $n=4$，揭示了四维空间已足以容纳全部柔性行为。

2. 打破 $\mathbb{R}^3$ 中的刚性壁垒：在 $\mathbb{R}^3$ 中，Borisov 和 Conti-de Lellis-Szkelyhidi 证明了 $C^{1,\alpha}$ 解在 $\alpha > 2/3$ 时具有刚性，而在 $\alpha < 1/3$ 时才有灵活性。本文表明，仅增加一维至 $\mathbb{R}^4$，即可将灵活性上限从 $1/3$ 提升至 $1$，彻底消除刚性现象。

3. 推广至任意低正则度量：相比仅处理 $C^2$ 或解析度量的工作，本文允许 $g \in \mathcal{C}^{r,\beta}$，覆盖更广泛的非光滑情形，并明确给出 $\alpha < (r+\beta)/2$ 的定量界限。

4. 超越 Monge-Ampère 系统的结果：作者前期工作 [27] 已在 Monge-Ampère 系统中实现 $C^{1,1-}$ 灵活性，但那是简化模型。本文成功将相同级别的灵活性应用于全非线性等距浸入系统，技术难度更高。

5. 优化凸积分效率：通过结合 [10] 的缺陷转移技巧、[30] 的 Källén 方法和 [26] 的非同步频率构造，本文实现了前所未有的 $J/S \to 0$ 效率，这是达成 $C^{1,1-}$ 的关键。

总之，本文不仅提升了正则性阈值，更重要的是明确了 $n=4$ 是二维等距浸入灵活性的临界维度，完成了从“存在性”到“强灵活性”的范式转变。

2. Dynamics of Ideal Fluid Flows

理想流体流动的动力学

作者: Tarek M. Elgindi

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

发布日期: 2025-11-20

arXiv ID: 2511.16254v1

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

详细分析

中文标题: 理想流体流动的动力学

研究对象和背景

本文研究的是不可压缩欧拉方程（incompressible Euler equation）的动力学行为，这是描述理想流体（ideal fluid）运动的基本数学模型。所谓理想流体，是指无粘性、不可压缩的连续介质，其运动遵循能量最小化原则，并满足体积守恒条件。

在物理上，空气和水等常见流体在某些尺度下可以近似为理想流体；在数学上，该方程构成了一个非线性偏微分方程系统，具有深刻的几何与动力学结构。作者 Tarek M. Elgindi 从多个角度探讨了该方程的性质：包括基于最小作用原理的推导、特殊解的存在性、整体可解性问题、奇点形成机制以及长时间渐进行为。

设 $d \geq 2$ 为空间维度，考虑定义在 $\mathbb{R}^d$ 或有界区域 $\Omega \subset \mathbb{R}^d$ 上的速度场 $u(x,t)$ 和压力场 $p(x,t)$。不可压缩欧拉方程组由以下两个方程组成：

其中第一个方程表示动量守恒（无外力），第二个方程表示质量守恒（即不可压缩性）。该系统的初始条件通常给定为 $u(x,0) = u_0(x)$，且要求 $\mathrm{div}(u_0) = 0$。

当考虑有界区域时，还需附加边界条件。例如，在光滑有界域 $\Omega$ 上，常采用无滑移边界条件或切向流动条件。文中特别提到若速度场 $u$ 在边界 $\partial\Omega$ 上是切向的，则流体轨迹将受到限制。

另一个关键的物理量是涡度（vorticity），定义为速度场的旋度：$\omega := \mathrm{curl}(u)$。在二维情形中，$\omega$ 是一个标量函数；在三维中则是一个向量场。通过取旋度，原方程可转化为涡度形式：

其中 $[u, \omega] = \nabla_u \omega - \nabla_\omega u$ 表示李括号，体现了涡度沿流线被李输运（Lie transported）的特性。这一形式突出了方程的几何本质：涡度在流体粒子运动下保持不变。

文章特别关注以下几个方面的问题：

• 最优运动问题（Optimal Motion）：是否存在一种方式，在保持不可压缩性的前提下，以最小动能将某一区域 $\Omega$ 平移到另一位置？这引出了基于变分法和测度保持映射空间 SDiff 的最小作用原理分析。

• 稳态解（Steady Solutions）：满足 $\partial_t u = 0$ 的解，对应于流场不随时间变化的状态。这类解包括层流、涡旋、环状涡等日常观察到的现象。作者指出，理解这些“特殊解”的存在性和稳定性是理解流体复杂行为的关键。

• 全局可解性与奇点形成：在二维情况下，经典解已知存在全局解（如 Yudovich 定理）；但在三维及以上，是否会发生有限时间内奇点爆发（blow-up）仍是著名的千禧年难题之一。本文回顾了相关必要条件与模型方程的研究进展。

• 渐进行为与松弛猜想（Relaxation Conjecture）：尽管没有耗散机制，数值实验表明二维理想流体会在长时间趋于某种有序状态。这种现象被称为无限时间松弛（infinite-time relaxation），并被认为与相混合（phase mixing）有关。

文中还强调了几何视角的重要性：将不可压缩流体的运动视为在保体积微分同胚群 SDiff($\mathbb{R}^d$) 上的测地线运动。这样，求解欧拉方程就等价于寻找该无穷维黎曼流形上的最短路径。由此自然引出两个基本问题：

1. 初始值问题是否有全局解？—— 对应测地线是否无限延伸；
2. 任意两个可达构型之间是否存在连接它们的欧拉解？—— 对应测地完备性（geodesic completeness）。

此外，论文涉及的空间正则性包括 $C^k(T^2)$、$L^\infty(\Omega)$、$H^s$、$W^{2,p}$ 等函数空间。特别地，在讨论弱收敛极限集 $A_\infty$ 时使用的是 $L^2$ 弱拓扑下的预紧性概念；而在稳定性分析中则依赖于高阶 Sobolev 范数（如 $H^2$）的能量方法。

对于二维情形，引入流函数 $\psi$ 满足 $u = \nabla^\perp \psi = (-\partial_2 \psi, \partial_1 \psi)$，从而自动满足不可压缩条件。此时涡度 $\omega = \Delta \psi$，稳态条件化为泊松括号为零：

其中 $\{f,g\} = \nabla f \times \nabla g = \partial_1 f \partial_2 g - \partial_2 f \partial_1 g$ 是二维辛括号。进一步，若存在函数 $F$ 使得 $\Delta \psi = F(\psi)$，则称其为半线性稳态解。这类解构成了分析中的核心对象。

总之，本论文的研究对象是一个兼具几何、动力系统与非线性 PDE 特征的深刻系统，其背景横跨数学物理、流体力学与现代分析理论，目标在于揭示理想流体复杂行为背后的统一结构。

主要定理或主要结果

以下是论文中陈述的主要定理及其条件与结论：

Theorem 2.2（最优传输问题的结构性质）
当 $d=2$ 且 $\Omega$ 为光滑区域时，问题 1.1 的最优解必须满足欧拉方程，并且初始涡度 $\omega_0$ 是支撑在 $\partial\Omega$ 上的一个测度。特别地，这样的解是一个涡片（vortex sheet）。当 $\Omega = B_1(0)$（单位圆盘）时，存在显式的平移涡片解。

此定理揭示了在特定最优控制框架下，最优流体运动呈现出集中于边界的奇异结构，而非均匀平移。

Theorem 3.1（二维解析稳态解的分类定理）
设 $\Omega \subset \mathbb{R}^2$ 为解析的单连通区域，$\psi \in C^\omega(\bar\Omega)$ 是方程 $\{\psi, \Delta \psi\} = 0$ 的解析解，且在边界 $\partial\Omega$ 上为常数。则要么 $\psi$ 是径向对称的，要么存在光滑函数 $F$，使得在 $\psi$ 值域内部有：

这一结果可视作二维版本的 Arnold 结构定理，说明所有解析稳态解本质上都是某类半线性椭圆方程的解。

Theorem 3.3（稳态解邻域的局部结构）
设 $\psi_* \in C^\omega(T^2)$ 是一个解析的 Morse 函数，且对应的 Schrödinger 算子 $L_* := \Delta - F'_*(\psi_*)$ 的核平凡（即 $\ker(L_*) = \{0\}$）。则对任意 $k \geq 3$，存在 $\epsilon > 0$，使得在 $C^k(T^2)$ 中的球 $B_\epsilon(\psi_*)$ 内，所有满足 $\{\psi, \Delta \psi\} = 0$ 的函数构成的集合 $S_k$ 可表示为某个线性空间上的图，具体为 $C^k \cap \ker(E_*)$ 上的图形，其中 $E_* = \{\psi_*, L_* \cdot\}$ 是完全线性化算子。

该定理表明，在非退化条件下，稳态解集合在局部具有光滑无穷维流形结构。

Theorem 4.3（剪切流附近的渐近稳定性）
固定背景剪切流 $u_*(x,y) = (y, 0)$ 在 $T \times \mathbb{R}$ 上。则对任何初始足够接近 $u_*$ 的欧拉解（在适当拓扑下），其速度场 $u(t)$ 满足：

这一定理验证了“无粘阻尼”（inviscid damping）现象：即使没有粘性，扰动也会因相混合而衰减，系统趋于一个新的剪切流。

Conjecture 4.5（Shnirelman–Šverák 松弛猜想）
记 $A_\infty$ 为所有 $L^\infty(\Omega)$ 解在 $t\to\infty$ 时弱-$*$ 极限的集合。则：

• $A_\infty$ 中的元素 $f$ 满足轨道 $\{S_t(f)\}_{t\in\mathbb{R}}$ 在 $L^2$ 中是预紧的；
• 对一般的 $f \in L^\infty$，其轨道在 $L^2$ 中不是预紧的。

此猜想断言：长期来看，二维理想流体趋向于那些动态行为“规则”的状态（如稳态、周期解等），尽管大多数初值本身不具备此性质。

Theorem 4.7（Lyapunov 稳定性判据）
设 $\Omega \subset \mathbb{R}^2$ 为光滑有界区域，$\psi_* \in C^2(\bar\Omega)$ 是稳态解，满足 $\Delta \psi_* = F_*(\psi_*)$ 且 $F_* \in C^1$。若 $F_*' > 0$，则 $\psi_*$ 在 $H^2$ 拓扑下是 Lyapunov 稳定的。

该结果基于能量-Casimir 方法，说明当涡度关于流函数单调递增时，系统具有稳定性。

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

a) 核心分析学工具

本文综合运用了多种现代分析与几何方法来处理不可压缩欧拉方程的动力学问题。首先，在推导欧拉方程作为最小作用原理的结果时，采用了变分法（calculus of variations）结合约束优化的技术。特别是通过对速度场施加不可压缩性约束（$\mathrm{div}(u)=0$），引入 Lagrange 乘子（即压力项 $p$），并将整个系统视为在无穷维流形 SDiff 上的测地线问题。这种方法依赖于Leray 投影算子 $P$，它将一般向量场投影到无散部分，从而保证演化始终保持在约束子空间内。

在研究稳态解的局部结构时，作者使用了隐函数定理（implicit function theorem）在无穷维 Banach 空间中的推广。具体而言，考虑线性化算子 $E_* = \{\psi_*, (\Delta - F'_*(\psi_*)) \cdot\}$ 的可逆性，若其核为零，则可在邻域内将解集参数化为光滑流形。这一技术广泛应用于非线性泛函分析中，尤其是在处理椭圆型 PDE 解的模空间结构时。

对于渐进行为的分析，尤其是 inviscid damping 现象，核心工具是相混合（phase mixing）机制。这本质上是一种振荡积分估计，利用哈密顿系统中几乎处处轨道为周期或拟周期的事实，导致输运方程 $\partial_t f + u \cdot \nabla f = 0$ 的解在 $L^2$ 中弱收敛到守恒量空间。为了获得定量衰减率，需构造守恒向量场 $a, b$，使得 $a \cdot \nabla$ 与输运算子交换，进而建立如下类型的估计：

这类似于 Strichartz 型估计，但更侧重于低频振荡而非色散。

此外，在证明 Lyapunov 稳定性时，作者依赖于能量-Casimir 方法，即构造一个包含总能量与 Casimir 不变量（如 $\int F(\omega)\,dx$）的复合泛函，并证明其在稳态附近是凸的。这需要使用Sobolev 空间嵌入、最大值原理以及对 Schrödinger 型算子 $\Delta - F'(\psi)$ 的谱分析。

最后，在处理涡度输运方程 $\partial_t \omega + u \cdot \nabla \omega = 0$ 时，利用了粒子轨迹法（method of characteristics），即通过 Lagrangian 流图 $\Phi_u(x,t)$ 将涡度沿流线输运。这使得许多问题转化为对流映射的几何分析，例如判断其是否产生剪切或扭曲。

b) 处理非线性与奇异性技巧

不可压缩欧拉方程的核心挑战在于其二次非线性项 $u \cdot \nabla u$ 和非局部关系 $u = \mathrm{curl}^{-1}(\omega)$。为克服这些困难，作者采用了若干关键技术。

首先，在最优传输问题中，面对涡度集中在边界上的情况（即测度值初始数据），标准 Sobolev 理论失效。为此，作者采用分布意义下的变分导数，通过测试函数空间中满足 $\int_0^1 \Phi_u^* v \cdot \nabla h_0 \,dt = 0$ 的约束条件，识别出允许的变分方向。这种处理方式避免了直接处理奇异解带来的正则性障碍。

其次，在分析线性化欧拉方程围绕剪切流 $(y,0)$ 时，虽然速度分量 $u_1$ 以 $O(1/t)$ 衰减，但高阶导数可能增长（称为“回旋共振”效应）。为控制非线性项的影响，作者必须在极高正则性空间（如 Gevrey 类或无限正则空间）中工作，以吸收导数增长。这是当前 inviscid damping 理论的标准做法，但在低正则性（如 Sobolev 空间）下仍属开放问题。

再次，针对稳态解分类问题，作者借助了移动平面法（moving planes method）这一经典技术。该方法最初由 Aleksandrov 引入，用于证明对称性；后经 Serrin 发展用于 overdetermined 问题。其思想是通过反射比较，逐步推进对称轴，最终得出全局对称性。文中指出，若定理 3.1 不成立，则存在某个子区域 $\Omega'$ 上 $\Delta \psi = F(\psi)$ 且 $\nabla \psi = 0$ 在 $\partial \Omega'$ 成立，再结合 $F'$ 下有界性，可用最大值原理推出矛盾。

最后，在研究集合 $S_k$ 的整体结构时，面对可能出现的“奇异点”（即 $\ker(L_*) \neq 0$ 的情形），作者承认这是目前的主要障碍。此类退化情形可能导致分支、折叠或锥形奇点，需要用分歧理论（bifurcation theory）或奇点理论来处理，但目前尚无系统工具适用于此无穷维设置。

与之前工作的比较

a) 突破与改进

本文并未提出单一的新定理，而是对一系列已有结果进行了整合、梳理与深化，并指出了若干重要未解决问题。相较于先前工作，其主要贡献体现在以下几个方面：

首先是问题视角的拓展。传统上，欧拉方程的研究多集中于 Cauchy 问题的适定性或稳态解的构造。而本文明确提出将“最优传输”问题（Problem 1.1）作为一个独立研究方向，并指出其虽看似简单却未被系统研究。这一视角将流体动力学与最优传输理论联系起来，暗示可能存在一类新的变分原理，其极小元不仅满足欧拉方程，还带有额外结构（如涡片性质）。这比经典的 Arnold 最小作用原理更为精细。

其次是对二维稳态解结构的统一刻画。以往关于稳态解的工作往往局限于特定对称类（如径向、平移不变），而 Theorem 3.1 表明，在解析类别下，几乎所有非退化解都属于 $\Delta \psi = F(\psi)$ 形式。这极大地缩小了搜索范围，并将问题转化为研究所有半线性椭圆方程解的整体结构。相比早期仅针对个别 $F$ 的研究（如 Kirchhoff 涡旋），这是一个更强的分类结果。

第三是在渐近行为方面推进了松弛猜想的理解。尽管 Conjecture 4.5 由 Shnirelman 和 Šverák 提出已久，但此前仅有极少数情形得到证实（如靠近剪切流的小邻域）。本文明确总结了现有成果（如 [5, 69, 79]），并指出即使在高正则性下也仅局部成立，而在低正则性下可能出现非平凡周期行为（见 [75, 39]）。这种清醒的认识有助于引导未来研究避开陷阱。

第四是强调了非局部性（non-locality）在理想流体中的核心地位。不同于一般物理系统可局部操控，由于不可压缩性，任何局部运动都会引发全局响应。这一观点贯穿全文，解释了为何简单的直觉（如刚体平移）在流体中不可行。这也区别于多数文献只关注局部适定性的做法，提升了对整体动力学的理解层次。

最后，在技术层面，作者明确指出当前理论的局限：例如 Theorem 3.3 要求 $\ker(L_*) = 0$，而一旦退化，局部结构未知；又如 inviscid damping 仅在极高正则性下成立，无法覆盖 Yudovich 类（$L^\infty$ 涡度）的情形。这些问题的明确提出，实际上是对前人工作的批判性继承，推动了领域的发展方向。

综上所述，本文的价值不在于证明新定理，而在于构建了一个统一框架，将分散的主题（最优运动、稳态、渐近、奇点）纳入同一逻辑体系，并清晰地标出了通往更深层理解的道路。

3. The Immersed Boundary Problem in 2-D: the Navier-Stokes Case

二维中的浸入边界问题：Navier-Stokes情形

作者: Jiajun Tong, Dongyi Wei

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16189v1

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

详细分析

中文标题: 二维中的浸入边界问题：Navier-Stokes情形

研究对象和背景

本文研究的是二维平面上的浸入边界问题（Immersed Boundary Problem），其核心是一个由1维弹性闭合弦（即一条平面Jordan曲线）在二维不可压缩粘性流体中运动所引发的流-固耦合系统。该系统的动力学由二维不可压缩Navier-Stokes方程控制，其中流体受到一个沿时间变化的、集中在弦上的奇异外力驱动。

具体来说，设 $X = X(s,t)$ 表示弦上以Lagrangian坐标 $s \in \mathbb{T} := \mathbb{R}/(2\pi\mathbb{Z})$ 标记的质点在时刻 $t \geq 0$ 的位置，$u = u(x,t)$ 和 $p = p(x,t)$ 分别表示流体的速度场与压力场。整个系统满足如下方程组：

这里的 $\text{Re} > 0$ 是雷诺数（Reynolds number），描述了惯性力与粘性力之比；$\delta$ 是 $\mathbb{R}^2$ 上的Dirac $\delta$ 函数，表示作用力仅在曲线 $X(\mathbb{T},t)$ 上集中；$f_X$ 是由弦施加给流体的弹性力密度，在文中采用线性胡克弹性模型（Hookean elasticity），即张力正比于曲率，形式为 $F_X(s,t) = X_{ss}(s,t)$。

这个模型最初由Charles S. Peskin在1970年代提出，用于模拟心脏瓣膜在血液中的运动，并发展出著名的浸入边界方法（Immersed Boundary Method），广泛应用于生物流体力学、医学成像和软物质物理等领域。然而，长期以来，这一数学模型的严格分析远落后于数值模拟的发展。

特别值得注意的是，当 $\text{Re} \to 0$（即粘性主导极限），系统退化为所谓的Stokes情形（也称2D Peskin问题）：

其余方程保持不变。在这种情况下，由于缺乏时间导数项和对流项，可以利用Stokeslet（二维Stokes基本解）将速度场 $u$ 显式表达为关于 $X$ 的积分算子，从而将整个系统约化为仅关于 $X(s,t)$ 的非局部演化方程。这使得Stokes情形在过去十年中得到了较多严格的数学分析成果，例如[31][38]等证明了在初始数据属于 $H^{5/2}$ 或Hölder空间且满足“良好拉伸条件”（well-stretched condition）时存在唯一局部解。

所谓良好拉伸条件，是指存在常数 $\lambda > 0$，使得对所有 $s_1, s_2 \in \mathbb{T}$，

其中 $|\cdot|_\mathbb{T}$ 表示环面 $\mathbb{T}$ 上的距离（取模 $2\pi$ 后的最短距离）。这一条件保证了参数化不会出现自交或过度压缩，是避免奇异性的重要前提。

然而，对于一般的Navier-Stokes情形（$\text{Re} > 0$），由于存在非线性对流项 $\partial_t u + u \cdot \nabla u$ 以及全局奇异源项 $f_X$，传统的Stokeslet方法不再适用，也无法直接将系统转化为仅关于 $X$ 的封闭方程。因此，此前尚无对该全Navier-Stokes浸入边界系统的严格适定性结果。

本文正是填补了这一空白：作者首次建立了二维Navier-Stokes浸入边界问题的局部适定性理论，并进一步研究了解的正则性、唯一性、能量守恒律、零雷诺数极限行为以及小初值下的整体存在性。

从函数空间角度看，本文的关键创新之一在于允许初始速度场 $u_0 \in L^p(\mathbb{R}^2)$，其中 $p \in (2,\infty)$。这比通常要求 $u_0 \in H^1$ 或 $L^2$ 更弱，属于临界或超临界初值框架。同时，初始弦形变 $X_0$ 只需属于 $C^1(\mathbb{T})$ 并满足良好拉伸条件，无需高阶光滑性。

此外，整个问题定义在整个平面 $\mathbb{R}^2$ 上，没有边界条件限制，但要求速度和压力在无穷远处趋于零。这种全空间设置带来了额外的技术挑战，尤其是在处理奇异积分和衰减估计时。

综上所述，本工作研究的是一个具有奇异源项、非线性对流、全空间无界域、低正则初值的复杂偏微分方程耦合系统，目标是建立其**温和解（mild solution）**的存在性、唯一性和精细正则性估计。

主要定理或主要结果

本文的主要结果可归纳为以下几个核心定理和命题：

定理 2.1（局部适定性与最优正则性）
假设初始弦配置 $X_0 \in C^1(\mathbb{T})$ 满足良好拉伸条件（即 $|X_0|_* > 0$），且初始速度场 $u_0 \in L^p(\mathbb{R}^2)$，其中 $p \in (2,\infty)$。令 $\nu = \text{Re}^{-1} > 0$。则存在 $T > 0$，依赖于 $\|X'_0\|_{L^\infty}$、$|X_0|_*$、$\|u_0\|_{L^p}$ 和 $\nu$，使得浸入边界系统存在唯一的温和解 $(u,X)$ 在区间 $[0,T]$ 上成立。并且该解满足以下最优正则性：

• $X \in L^\infty_t C^1_s \cap W^{1,\infty}_t C^0_s$，
• $u \in L^\infty_t L^p_x \cap L^1_t C^1_x$，
• 奇异力诱导的速度部分 $u_X := \mathcal{P}(-\Delta)^{-1}f_X$ 属于 $L^\infty_t C^\alpha_x$ 对任意 $\alpha < 1$，
• 非线性对流项可控，且有精细的Hölder估计。

此外，若初始数据更光滑，则解也相应提升正则性。

定理 2.2（唯一性与延拓准则）
上述温和解在同类函数类中是唯一的。并且，若解的最大存在时间 $T^* < \infty$，则必有

即解的爆破只能发生在弦发生无限拉伸或失去良好拉伸结构之时。

定理 2.3（零雷诺数极限）
令 $u^{(\nu)}, X^{(\nu)}$ 为对应于 $\nu = \text{Re}^{-1}$ 的Navier-Stokes解，$u^{(0)}, X^{(0)}$ 为Stokes情形的解。则当 $\nu \to 0^+$ 时，在某个固定短时间 $T > 0$ 内，有

即收敛速度为 $O(\nu)$，这是最优误差估计。

定理 2.4（能量守恒律）
若额外假设 $u_0 \in L^2(\mathbb{R}^2)$，则系统满足能量等式：

这表明系统的总能量（动能+弹性势能）随时间单调递减，耗散来自粘性和内部摩擦。

定理 2.5（小初值整体解）
若初始数据 $(u_0, X_0)$ 足够接近某个平衡态（例如圆形平衡），即 $\|\Pi X_0\|$ 和 $\|u_0\|$ 充分小，其中 $\Pi$ 是投影到非零频率的空间，则对应的解是全局存在的，且趋于平衡态。

这些结果共同构成了对二维Navier-Stokes浸入边界问题的第一个完整适定性理论框架。

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

a) 核心分析工具

本文采用了多种现代偏微分方程与调和分析技术，主要包括：

1. 温和解构造法（Mild Solution Framework）：作者将Navier-Stokes方程写成积分形式，通过Duhamel原理表达解为：

   $$ u(t) = e^{\nu t \Delta} u_0 - \int_0^t e^{\nu (t-\tau) \Delta} \mathbb{P} \nabla \cdot (u \otimes u) d\tau + \int_0^t e^{\nu (t-\tau) \Delta} \mathbb{P} f_X(\tau) d\tau, $$

   其中 $\mathbb{P}$ 是Leray投影。这种方法绕开了强解所需的高正则性要求，适用于低正则初值。

2. 不动点定理（Fixed-point Argument）：在第4节中，作者构建了一个映射 $\mathcal{T}: (u,X) \mapsto (\tilde{u}, \tilde{X})$，其中 $\tilde{X}$ 由 $\tilde{u}$ 推动，$\tilde{u}$ 由原初值和当前 $X$ 产生的奇异力驱动。通过精细估计证明该映射在适当函数空间中是压缩的，从而应用Banach不动点定理得到局部解的存在唯一性。

3. 抛物型估计（Parabolic Estimates）：大量使用热半群 $e^{\nu t \Delta}$ 的经典估计，如：

   $$ \|e^{\nu t \Delta} f\|_{L^q} \lesssim t^{-\frac{1}{\nu}(\frac{1}{p}-\frac{1}{q})} \|f\|_{L^p}, \quad \|\nabla e^{\nu t \Delta} f\|_{L^\infty} \lesssim t^{-\frac{1}{2} - \frac{1}{p}} \|f\|_{L^p}, $$

   这些在附录A中有系统总结，是控制非线性项和奇异卷积的基础。

4. Morrey空间与奇异积分估计：由于 $f_X$ 是支撑在一维曲线上的测度级分布，其诱导的速度场 $u_X$ 不属于标准Sobolev空间。作者引入Morrey范数：

   $$ \|f\|_{M^{1,\mu}} := \sup_{x,r>0} r^{\mu - 2} \|f\|_{L^1(B(x,r))}, $$

   并结合Stokeslet的奇性分析，证明 $u_X$ 具有Hölder连续性，这是实现速度匹配的关键。

b) 关键技术突破

1. 流动分解技巧：作者将总速度 $u$ 分解为三部分：

   $$ u = v + w + z, $$

   其中 $v$ 是由初值决定的自由演化部分，$w$ 是由 $f_X$ 直接诱导的Stokes流 $u_X$，而 $z$ 是修正项，满足带强迫的热方程。这种分解使得能够分别处理不同来源的速度贡献。

2. 弦速度的精细展开：在 $X$ 的演化方程中，关键量是 $U_X(s,t) := u_X(X(s,t),t)$。作者沿用Stokes情形的思想，将其分解为：

   $$ U_X(s,t) = -\frac{1}{4} \Lambda X(s,t) + g_X(s,t), $$

   其中 $\Lambda = (-\Delta_\mathbb{T})^{1/2}$ 是分数阶Laplacian，$g_X$ 是更光滑的余项。本文的重大贡献在于即使在Navier-Stokes背景下，仍能继承这一结构，并通过细致计算控制 $g_X$ 的正则性（见引理3.10–3.11）。

3. 非线性项的改进估计：对于 $g_X$ 中涉及的非线性积分项，如

   $$ \int_\mathbb{T} \partial_{s'} G(X(s)-X(s')) (X'(s') - X'(s)) ds', $$

   作者通过Taylor展开、对称性抵消和Hölder不等式，获得比经典估计更优的控制，详见附录C。

4. 零雷诺数极限的渐近分析：为了研究 $\nu \to 0$ 时的收敛性，作者比较两个系统的解差 $h_\nu = u^{(\nu)} - u^{(0)}$，并建立关于 $\nu$ 的一致先验估计。利用热半群的快速衰减性质，证明误差主项为 $O(\nu)$，达到最优阶。

5. 能量方法与投影技巧：在证明整体解时，作者利用傅里叶投影 $\Pi$ 将弦形变分解为平均运动与扰动部分，发现只有扰动部分参与能量耗散。结合Gronwall不等式，得出小扰动不会增长，从而延拓解到全局。

与之前工作的比较

a) 突破与改进

本文相对于已有文献做出了多项根本性推进：

1. 首次处理全Navier-Stokes系统：此前所有严格分析均局限于Stokes情形（$\text{Re}=0$）。本文是首个对 $\text{Re}>0$ 的完整Navier-Stokes浸入边界问题建立局部适定性的工作，打破了长期存在的理论瓶颈。

2. 放宽初值正则性要求：以往Stokes情形的结果多要求 $X_0 \in H^{5/2}$ 或Hölder空间 $C^{1,\gamma}$。本文只需 $X_0 \in C^1$ 加上良好拉伸条件，显著降低了正则性门槛。同时允许 $u_0 \in L^p$（$p>2$），而非必须 $L^2$，拓展了解的空间范围。

3. 建立最优正则性与误差估计：不仅证明存在性，还给出了关于 $X$ 和 $u$ 的尖锐Hölder和Sobolev估计。特别是在零雷诺数极限下，获得 $O(\nu)$ 的最优收敛速率，优于此前任何相关模型的估计。

4. 揭示能量结构：首次在Navier-Stokes浸入边界系统中证明了完整的能量守恒律，明确了能量耗散机制，为稳定性分析奠定基础。

5. 统一视角连接Stokes与Navier-Stokes：通过流动分解和余项控制，展示了即使在有惯性的情况下，Stokes情形的核心结构（如分数阶扩散主导）依然保留，提供了跨尺度分析的新范式。

综上，本文不仅是技术上的全面升级，更是概念框架上的重大拓展，为后续研究三维情形、弯曲能量模型、活性材料等更复杂版本奠定了坚实的理论基础。

4. An $L^2$-quantitative global approximation for the Stokes initial-boundary value problem

Stokes初边值问题的$L^2$-定量全局逼近

作者: Mitsuo Higaki

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16079v1

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

详细分析

中文标题: Stokes初边值问题的$L^2$-定量全局逼近

研究对象和背景

本文研究的是三维有界区域上的非定常Stokes系统的初始-边界值问题（initial-boundary value problem, IBVP），其核心目标是建立该系统在物理上更相关情形下的首个具有显式估计的定量Runge逼近定理。与以往仅关注内部解或抽象存在性结果的工作不同，本文将经典Runge型逼近理论从定性推广到定量，并将其应用于带有边界的时空演化系统。

考虑一个三维空间中的有界光滑区域 $D \subset \mathbb{R}^3$，边界为 $\partial D$。定义如下函数空间：

这是所有散度自由、紧支在 $D$ 内的光滑向量场在 $L^2(D)^3$ 中的闭包，构成了不可压缩流体速度场的基本能量空间。

文章研究的方程组是经典的非定常Stokes系统，配备无滑移边界条件（no-slip condition）和给定初始速度：

这个系统描述了粘性不可压缩牛顿流体在低雷诺数下的运动，其中 $v(x,t)$ 是速度场，$q(x,t)$ 是压力项。它可视为Navier-Stokes方程的线性化模型，在流体力学中具有基础地位。

为了分析该系统的解结构，引入Helmholtz投影 $P: L^2(D)^3 \to L^2_\sigma(D)$，它是将向量场正交分解为散度自由部分与梯度部分的投影算子，满足 $P\nabla p = 0$ 对所有 $p \in H^1(D)$ 成立。进而定义Stokes算子：

已知 $A$ 是 $L^2_\sigma(D)$ 上的一个非负自伴算子，且 $-A$ 生成一个 $C_0$-解析半群 $\{e^{-tA}\}_{t \geq 0}$，称为Stokes半群。此外，$A^{-1}$ 是完全连续的，谱 $\sigma(A)$ 是离散的，由正实数 $\lambda_1 \leq \lambda_2 \leq \cdots \to \infty$ 构成，每个特征值具有有限重数。

因此，对于初值 $v_0 \in D(A)$，Stokes系统的解可以表示为 $v(t) = e^{-tA}v_0$。

本文的核心问题是：能否用整个空间 $\mathbb{R}^3$ 上的光滑Stokes解来逼近上述定义在有界域 $D$ 上的局部解？这种逼近被称为Runge逼近或全局逼近。传统上，这类问题起源于复分析中的Runge定理和Mergelyan定理，后被推广至椭圆型偏微分方程（如Lax-Malgrange-Browder理论）、抛物型方程（Jones, Enciso–García-Ferrero–Peralta-Salas）乃至分数阶热方程等。

然而，先前关于Stokes系统的定性结果（如H.-Sueur [18]）存在两大局限：

1. 使用了非构造性的Hahn-Banach定理，导致无法获得逼近误差的显式估计；
2. 仅适用于“内部近似”，即不包含时间初值和空间边界的纯粹局部解，缺乏对实际物理场景中初边值问题的覆盖。

本文正是要突破这两个限制。特别地，作者强调，虽然[18]中的逼近解在空间上呈指数增长，但通过新的构造方法，可以在保持定量估计的同时，使逼近解的空间增长仅为多项式级别（见Theorem 1.2），这是物理上更为合理的性质。

值得注意的是，尽管文中采用了无滑移边界条件作为主要设定，但在评注Remark 1.3(iii)中指出，所发展的定量方法并不依赖于这一具体边界条件，只要对应的Stokes算子 $A$ 能生成解析半群并具备适当的谱性质（如离散谱、正性等），即可适用于其他边界条件，例如Navier滑移条件或周期边界条件。这体现了方法的普适潜力。

此外，论文明确指出当前结果局限于 $L^2$ 框架，因为证明中依赖的Rüland-Salo框架高度依赖于Hilbert空间结构（如正交分解、谱理论、伴随算子等）。将其推广至 $L^p$ 情形（$p \neq 2$）将是未来的重要挑战。

综上所述，本文的研究对象是一个物理意义明确、数学结构丰富的线性演化系统——Stokes初边值问题；其背景融合了偏微分方程的逼近理论、算子半群理论、谱分析以及逆问题中的现代定量技术，旨在为流体动力学提供一种全新的、可量化的全局构造工具。

主要定理或主要结果

本文建立了两个核心定理，均为针对Stokes初边值问题的 $L^2$-定量全局逼近结果。它们共同的前提是：设 $D \subset \mathbb{R}^3$ 是一个有界光滑区域，且其补集 $\mathbb{R}^3 \setminus D$ 是连通的。记 $v_0 \in D(A)$，并令 $v(t) = e^{-tA}v_0$ 为Stokes系统 $(S)$ 的解。

定理 1.1（单一分量全局逼近）

存在正常数 $C, \nu > 0$，使得对任意 $\varepsilon > 0$，存在 $\mathbb{R}^3 \times (0,\infty)$ 上的一个光滑Stokes解 $(u,p)$，满足：

并且以下两个估计成立：

1. 逼近误差估计：

   $$ \|v(t) - u(t)\|_{L^2(D)} \leq \varepsilon e^t \|A v_0\|_{L^2(D)}, \quad \forall t \geq 0. $$

2. 全局解的增长估计：

   $$ |u(x,t)| \leq \exp\left( \exp(C \varepsilon^{-\nu}) \right) \|A v_0\|_{L^2(D)} \cdot \max\left\{ \langle x \rangle \exp(C \varepsilon^{-\nu}), \exp(C \varepsilon^{-1/2}|x|) \right\} \cdot e^t, $$

   其中 $(x,t) \in \mathbb{R}^4_+$，$\langle x \rangle = (1 + |x|^2)^{1/2}$。

此定理给出了在整个时间区间 $[0,\infty)$ 上的逼近，但代价是逼近解 $u$ 在时间和空间上均呈指数增长。

定理 1.2（双分量分解逼近）

存在正常数 $C, \nu > 0$，使得对任意 $\varepsilon > 0$ 和任意有限时间 $T > 0$，存在一个光滑Stokes解 $(u_S, p_S)$ 和一个紧支初始数据 $u_0 \in C^\infty(\mathbb{R}^3)$，使得若定义 $u_H(t) := e^{t\Delta}u_0$（即热半群作用下的解），则有：

1. 逼近误差估计（在有限时间区间内）：

   $$ \|v(t) - u_S(t) - u_H(t)\|_{L^2(D)} \leq \varepsilon \|A v_0\|_{L^2(D)}, \quad \forall t \in [0,T]. $$

2. 各分量的增长估计：

   $$ |u_S(x,t)| \leq \exp\left( \exp(C \varepsilon^{-\nu}) \right) \|A v_0\|_{L^2(D)} \cdot \langle x \rangle \exp(C \varepsilon^{-\nu}) \cdot e^t, \quad (x,t) \in \mathbb{R}^4_+, $$
   $$ |u_0(x)| \leq \exp\left( C \varepsilon^{-\nu} \exp(C \varepsilon^{-\nu}) \right) \|v_0\|_{L^2(D)}, \quad x \in \mathbb{R}^3. $$

此定理的关键在于将全局逼近解分解为两部分：$u_S$（Stokes部分）和 $u_H$（热部分）。其中热部分 $u_H$ 由于初始数据紧支，在长时间下会衰减，而Stokes部分仍可能增长。这种分解允许我们在有限时间内获得一致的 $L^2$ 逼近误差，同时控制空间增长为多项式级别。

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

本文的证明策略建立在现代定量逼近理论的基础之上，特别是借鉴了Rüland-Salo [28] 提出的框架，并结合半群理论与预解问题的定量逼近，形成了一套适用于非定常Stokes系统的全新方法。整个证明分为两个主要部分：首先处理稳态的Stokes预解问题（Section 2），然后利用Dunford积分将结果提升至时间演化情形（Section 3）。

a) 核心分析学工具

1. 解析半群与Dunford积分表示
   解决非定常问题的关键是将解 $v(t) = e^{-tA}v_0$ 表示为Stokes算子 $A$ 的函数。由于 $-A$ 生成一个解析半群，其解可通过Dunford积分（也称Cauchy积分公式）表示：

   $$ e^{-tA} = \frac{1}{2\pi i} \int_\Gamma e^{-t\lambda} (\lambda I - A)^{-1} d\lambda, $$

   其中 $\Gamma$ 是包围谱 $\sigma(A)$ 的一条适当路径。这一表示将时间演化问题转化为对一系列预解算子 $(\lambda - A)^{-1}$ 的研究。因此，只要能在预解水平上实现定量逼近，就可以通过积分传递到时间域。

2. 谱理论与紧算子的奇异值分解
   Stokes算子 $A$ 的谱是离散的、正的且趋于无穷，其逆 $A^{-1}$ 是紧自伴算子。这一性质保证了相关算子具有良好的谱分解。在构造逼近时，作者利用了算子 $A: K^\perp \to X$ 的奇异值分解（SVD）：存在标准正交基 $\{f_j\}, \{v_j\}$ 和正数 $\{\alpha_j\}$，使得 $Af_j = \alpha_j v_j$, $A^*v_j = \alpha_j f_j$。这种分解是实现定量估计的核心，因为它允许将逼近误差与小奇异值对应的模态联系起来。

3. 对数稳定性估计（logarithmic stability）
   这是实现定量控制的关键不等式。引理2.3断言：若一个Stokes预解解 $v$ 在整体区域上有界（$\|v\|_{H^1(D)} \leq E$），而在某个子区域 $D' \subset D$ 上很小（$\|v\|_{L^2(D')} \leq \eta$），则在整个 $D$ 上也有定量的小界：

   $$ \|v\|_{L^2(D)} \leq C E \left( \log \frac{E}{\eta} \right)^{-\mu}, $$

   其中 $C, \mu > 0$ 为常数。该估计源于非定常Stokes系统的三圆柱不等式（3-cylinder inequality）或唯一延拓性原理（unique continuation principle），反映了线性系统的刚性（rigidity）。它用于控制逼近过程中残差的能量传播。

4. 卷积核与基本解的估计
   在全空间 $\mathbb{R}^3$ 上，Stokes预解问题 $\lambda u - \Delta u + \nabla p = f$ 的解可通过卷积基本解 $E_\lambda(x) = \frac{e^{-\sqrt{\lambda}|x|}}{4\pi|x|}$ 得到。引理2.2提供了此类卷积解在局部区域上的统一估计：

   $$ |\lambda|\|w\|_{L^2(B)} + |\lambda|^{1/2}\|\nabla w\|_{L^2(B)} + \|\nabla^2 w\|_{L^2(B)} \lesssim \|f\|_{L^2(D)}, $$

   其中 $w = E_\lambda * f$。这些估计确保了构造的全局解在局部行为可控。

5. 迹定理与插值不等式
   在边界项估计中（如证明Proposition 2.5时的 $I_1, I_2$ 等），使用了经典的迹定理：

   $$ \|w\|_{L^2(\partial D)} \lesssim \|w\|_{H^1(D)}, $$

   以及Sobolev插值不等式：

   $$ \|w\|_{H^1(B'\setminus D)} \lesssim \|w\|_{L^2(B'\setminus D)}^{1/2} \|w\|_{H^2(B'\setminus D)}^{1/2}. $$

   这些工具用于处理由分部积分产生的边界积分项，从而完成能量估计。

b) 技术性技巧

1. 预解问题的分解技巧（Proposition 2.7）
   作者最关键的创新之一是将全局逼近解 $u$ 分解为两个部分：

   • $u_1$：满足Stokes预解方程，具有多项式空间增长；
   • $u_2$：满足热方程预解问题，具有指数空间增长。

   这种分解使得能够分别控制两种不同类型的增长行为。最终在Theorem 1.2中，通过分离出热部分 $u_H$，实现了对Stokes部分 $u_S$ 的多项式增长控制。

2. 截断奇异值序列的构造法
   在Proposition 2.5中，为了构造逼近解 $v_1 = \vec{E}_\lambda * P_{\mathbb{R}^3}(e_Y F)$，作者并未直接求解，而是基于奇异值分解 $\{v_j, f_j, \alpha_j\}$，选择一个阈值 $\alpha > 0$，令

   $$ F = \sum_{\alpha_j > \alpha} \frac{\beta_j}{\alpha_j} f_j, $$

   即只保留大奇异值对应的模态。这样构造的 $AF$ 就能逼近原解 $v$，而残差 $E = v - AF$ 则对应小奇异值部分，其能量可通过对数稳定性进行放大估计。

3. 避免Hahn-Banach的构造性路径
   相比于[18]中使用非构造性的泛函分析工具（Hahn-Banach定理），本文完全采用显式构造+能量估计的方法，从而绕过了非定量性的障碍。所有的逼近解都是通过卷积和谱分解显式构造出来的，误差估计也直接依赖于参数 $\varepsilon$ 和 $\lambda$。

4. 外部辅助区域 $Y$ 的引入
   为了构造全局解，作者在远离 $D$ 的区域 $Y \subset \mathbb{R}^3 \setminus B_R$ 引入源项 $f$，并通过卷积将其影响“传递”到 $D$ 内。这种“远程控制”思想是Runge逼近的经典思路，但在定量框架下，需精确估计这种影响的衰减与放大关系。

与之前工作的比较

本文相对于已有工作，尤其是在H.-Sueur [18] 的基础上，做出了根本性的突破和实质性改进，主要体现在以下几个方面：

a) 从定性到定量的根本转变

最显著的进步是从定性存在性到定量可计算性的跃迁。[18]的结果虽然是开创性的，但其证明严重依赖于Hahn-Banach定理这一非构造性工具，导致无法回答诸如“逼近误差多大？”、“需要多大的全局解？”等问题。而本文通过引入Rüland-Salo的定量框架，首次给出了显式的 $L^2$ 误差估计（如 $\varepsilon \|A v_0\|$）和全局解的点态增长上界（涉及 $\exp(\exp(C \varepsilon^{-\nu}))$ 类型的双重指数依赖）。这种定量控制对于数值模拟、控制理论和逆问题中的稳定性分析至关重要。

b) 从内部近似到初边值问题的物理拓展

[18]的研究局限于“内部解”的逼近，即不涉及时间初值和空间边界的纯局部解。而本文直接处理有界区域上的初边值问题，其解由Stokes半群 $e^{-tA}v_0$ 明确给出。这一推广使得结果更具物理现实意义，适用于流体受限于固体壁面的实际场景。作者成功地将抽象的逼近理论嫁接到具体的演化系统上，填补了理论与应用之间的鸿沟。

c) 改进全局解的空间增长行为

在[18]中，由于Hahn-Banach方法的非构造性，所得到的全局逼近解在空间上可能呈现指数增长，这在物理上是不理想的。本文通过引入解的分解技巧（Stokes部分 + 热部分），在Theorem 1.2中实现了对Stokes分量 $u_S$ 的多项式空间增长控制（$\langle x \rangle \exp(C \varepsilon^{-\nu})$）。这表明，即使在定量框架下，也能获得比以往定性结果更优的正则性性质，体现了新方法的优势。

d) 时间行为的权衡与新结构的揭示

尽管本文的逼近解在时间上表现出 $e^t$ 增长（而[18]的解在 $t \to \infty$ 时衰减），但这并非缺陷，而是构造方法的必然结果。由于使用Dunford积分和预解估计，积分路径的选择导致了解的时间增长。然而，Theorem 1.2通过分解引入了一个可衰减的热分量 $u_H(t)$，从而在有限时间内实现了稳定逼近。这种结构揭示了Stokes解中不同动力学模式的可分离性，为后续研究提供了新视角。

e) 方法论的普适性展望

本文的方法不局限于无滑移边界条件。只要边界条件使得Stokes算子 $A$ 生成解析半群并具有离散谱（如Navier滑移、周期边界等），即可适用。相比之下，[18]的方法虽具一般性，但缺乏定量能力。本文展示了如何将现代定量分析工具（如对数稳定性、奇异值截断）系统地应用于流体方程，为其他线性演化系统的Runge逼近提供了范式。

综上所述，本文不仅在结果上超越了前人工作，更重要的是提出了一套可推广、可计算、物理合理的新方法，标志着Stokes系统逼近理论从存在性迈向精确控制的重要一步。

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

1. Mosco convergence framework for singular limits of gradient flows on Hilbert spaces with applications

希尔伯特空间上梯度流奇异极限的Mosco收敛框架及其应用

作者: Yoshikazu Giga, Michał Łasica, Piotr Rybka

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16486v1

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

摘要翻译

中文标题: 希尔伯特空间上梯度流奇异极限的Mosco收敛框架及其应用

摘要翻译: 本文研究定义在不同希尔伯特空间上的一列梯度流的收敛性问题。为了使这一概念具有数学意义，我们引入了连接算子的概念。这使得我们能够将泛函的Mosco收敛概念推广至当前的框架下，并陈述关于梯度流收敛性的期望结果，随后给出其证明。我们给出了多个应用实例，包括薄区域问题、动态边界条件以及从离散到连续的极限过程。

2. Shallow-water convergence of the intermediate long wave equation in $L^2$

$L^2$ 框架下中间长波方程在浅水极限的收敛性研究

作者: Andreia Chapouto, Guopeng Li, Tadahiro Oh, Tengfei Zhao

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15905v1

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

摘要翻译

中文标题: $L^2$ 框架下中间长波方程在浅水极限的收敛性研究

摘要翻译: 我们继续研究中间长波方程（ILW）在实数轴和圆周上的收敛性问题。特别地，我们在浅水极限下建立了经尺度变换的ILW动力学向Korteweg-de Vries方程（KdV）动力学在$L^2$空间中的收敛性。结合前三位作者与D. Pilod（2024年）关于深水极限下在$L^2$中收敛性的最新工作，本文完成了在$L^2$框架下针对两种几何情形的ILW方程适定性与收敛性研究。我们的证明方法同时适用于这两种几何情形，主要基于以下两个关键要素：ILW方程的完全可积性以及法形式方法。具体而言，借助Harrop-Griffths、Killip和Vişan（2025年）近期引入的ILW方程的Lax对结构与微扰行列式，我们首先建立了尺度化ILW解在$L^2$空间中关于小水深参数的弱一致等度连续性，从而控制了解的高频部分；随后，我们通过对KdV方程实施基于无穷次法形式约化的微扰论证，处理了低频部分。

不相关论文（基本信息）

1. An Information-Theoretic Reconstruction of Curvature

基于信息论的曲率重构

作者: Amandip Sangha

类别: math.DG, math-ph, math.AP, math.FA

发布日期: 2025-11-20

arXiv ID: 2511.16601v1

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

摘要: We develop an intrinsic information-theoretic approach for recovering Riemannian curvature from the small-time behaviour of heat diffusion. Given a point and a two-plane in the tangent space, we compare the heat mass transported along that plane with its Euclidean counterpart using the relative entropy of finite measures. We show that the leading small-time distortion of this directional entropy encodes precisely the local curvature of the manifold. In particular, the planar information imbalance determines both the scalar curvature and the sectional curvature at a point, and assembling these directional values produces a bilinear tensor that coincides exactly with the classical Riemannian curvature operator. The method is entirely analytic and avoids Jacobi fields, curvature identities, or variational formulas. Curvature appears solely through the behaviour of heat flow under the exponential map, providing a new viewpoint in which curvature is realized as an infinitesimal information defect of diffusion. This perspective suggests further connections between geometric analysis and information theory and offers a principled analytic mechanism for detecting and reconstructing curvature using only heat diffusion data.

2. A critical Hardy-Rellich inequality

一个临界的Hardy-Rellich不等式

作者: Hernán Castro

类别: math.AP, math.FA

发布日期: 2025-11-20

arXiv ID: 2511.16537v1

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

摘要: In this work, we prove a critical version of a Hardy-Rellich type inequality. We show that for $N\geq 1$ there exists a constant $C_N>0$ such that

for any $u\in C^\infty_c(\mathbb R^N\setminus\left\{0\right\})$.

3. Non-isoparametric Serrin domains of $\mathbb{S}^3$ with connected toric boundary

具有连通环面边界的 $\mathbb{S}^3$ 中非等参Serrin区域

作者: Andrea Bisterzo, Shigeru Sakaguchi

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16531v1

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

摘要: We investigate the overdetermined torsion problem $\begin{cases} -Δu = 1 & \text{in}\ Ω\\ u=0 & \text{on}\ \partial Ω\\ \frac{\partial u}{\partial ν}=\text{const.} & \text{on}\ \partial Ω, \end{cases}$ where $Ω$ is a smooth Riemannian domain. Domains admitting a solution to this problem are called \textit{Serrin domains}, after the celebrated work of Serrin \cite{Se71}, where is proved that in $\mathbb{R}^n$ such domains are geodesic balls. In the present paper we establish the existence of two distinct types of Serrin domains of $\mathbb{S}^3$, respectively of small and large volume, each of whose boundary is connected and is neither isometric to a geodesic sphere nor to a Clifford torus. These domains arise as nontrivial perturbations of some classical symmetric solutions to the same problem. Our approach relies on an implicit construction based on the Crandall-Rabinowitz bifurcation theorem, which allows us to detect branches of non-radial solutions bifurcating from a family of radial ones. The resulting examples highlight new geometric configurations of the torsion problem in the three-dimensional sphere, providing another proof of the fact that the rigidity of Serrin-type results can fail in the presence of curvature.

4. Regularity for elliptic equations with monomial weights

具有单项式权的椭圆型方程的正则性

作者: Gabriele Cora, Gabriele Fioravanti, Francesco Pagliarin, Stefano Vita

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16516v1

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

摘要: We study regularity properties for solutions to elliptic equations that are degenerate or singular along orthogonal hyperplanes. The degenerate ellipticity is carried out by a weight term which is the monomial product of different powers of the distance functions to each hyperplane; that is, given the space dimension $d\geq2$, the number of orthogonally crossing hyperplanes $1\leq n\leq d$ and the generic variable point $z=(x,y)\in\mathbb R^{d-n}\times\mathbb R^n$, then the weight is given by $ω(y)=\prod_{i=1}^ny_i^{a_i}$ with $a_i>-1$, $y_i=\mathrm{dist}(z,Σ_i)$ and $Σ_i=\{y_i=0\}$. We prove $C^{0,α}$ and $C^{1,α}$ estimates up to the corners formed by the intersections of two or more hyperplanes, for solutions of the conormal problem with variable coefficients. This is done by a regularization-approximation procedure, a blow-up argument and Liouville theorems. Finally, we provide smoothness of solutions when the equation is isotropic and homogeneous, and we show an application to Caffarelli-Kohn-Nirenberg inequalities with monomial weights.

5. Horizontal and Vertical Regularity of Elastic Wave Geometry

弹性波几何的水平与垂直正则性

作者: Joonas Ilmavirta, Pieti Kirkkopelto, Antti Kykkänen

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

发布日期: 2025-11-20

arXiv ID: 2511.16466v1

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

摘要: The elastic properties of a material are encoded in a stiffness tensor field and the propagation of elastic waves is modeled by the elastic wave equation. We characterize analytic and algebraic properties a general anisotropic stiffness tensor field has to satisfy in order for Finsler-geometric methods to be applicable in studying inverse problems related to imaging with elastic waves.

6. The analysis of resonant frequencies and blow-up estimates of close-to-touching subwavelength resonators in the two-dimensional Helmholtz system

二维Helmholtz系统中近接触亚波长共振器的共振频率分析与爆破估计

作者: Hongjie Dong, Hongjie Li, Longjuan Xu

类别: math.AP, math-ph

发布日期: 2025-11-20

arXiv ID: 2511.16387v1

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

摘要: In this paper, we investigate wave scattering by a pair of closely spaced inclusions embedded in a homogeneous medium, characterized by a high contrast physical parameters. The system is modeled by the two-dimensional Helmholtz equation. We show that this configuration exhibits two sub-wavelength resonant modes, whose frequencies display distinct leading-order asymptotic behaviors. These findings differ significantly from those in the three-dimensional Helmholtz setting. Furthermore, we provide a quantitative analysis of the gradient blow-up rates for the wave field localized between the two resonators.

7. Asymptotic behavior and sharp estimates for spreading fronts in a cooperative system with free boundaries

具有自由边界的合作系统中传播前沿的渐近行为与精确估计

作者: Qian Qin, JinJing Jiao, Zhiguo Wang, Hua Nie

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16300v1

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

摘要: This paper investigates the dynamics of a reaction-diffusion system with two free boundaries, modeling the invasion of two cooperative species, where the free boundaries represent expanding fronts. We first analyze the long-term behavior of the system, showing that it follows a spreading-vanishing dichotomy: the two species either spread across the entire region or eventually die out. In the case of spreading, we determine the asymptotic spreading speed of the fronts by using a semi-wave system and provide sharp estimates for the moving fronts. Additionally, we show that the solution to the system converges to the corresponding semi-wave solution as time tends to infinity. These results contribute to a deeper understanding of the long-term dynamics of cooperative species in reaction-diffusion systems with free boundaries.

8. Age-structured model of dengue transmission dynamics with time-varying parameters, and its application to Brazil

具有时变参数的登革热传播动力学年龄结构模型及其在巴西的应用

作者: Ihtisham Ul Haq, Serge Richard

类别: q-bio.PE, math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16179v1

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

摘要: An age structured mathematical model with time dependent parameters is developed to investigate the dynamics of dengue transmission. Its properties are thoroughly analyzed in the first part of this work, as for example its disease free steady state, the corresponding effective reproduction numbers, its basic reproduction number (obtained via the Euler and Lotka equation and the next generation matrix approach). We also provide formulas for the time-varying effective reproduction number, and draw relations with the instantaneous growth rate. In the second part, we apply this model to Brazil and use weekly time series data from this country. Various medical parameters are firstly evaluated from these data, and an extensive numerical simulations for the period 2021 to 2024 is then carried out. Estimation of the transmission rates are derived both from epidemiological data and from environmental data such as temperature and humidity. The time-varying effective reproduction numbers are then estimated on these data, following the theoretical investigations performed in the first part. The sensitive parameters that significantly affect the model dynamics are presented graphically. Model predictions for following year by using different transmission rates are finally presented. Our findings show the importance of population age distribution, vector population dynamics, and climate, contributing to a deeper understanding of dengue transmission dynamics in Brazil.

9. Spreading Properties of a City-Road Reaction-Diffusion Model on One-Dimensional Lattice

一维格点上城市-道路反应扩散模型的传播性质

作者: Grégory Faye, Jean-Michel Roquejoffre, Min Zhao

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16157v1

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

摘要: We propose and study a new model to describe biological invasions constrained on infinite homogeneous one dimensional metric graphs. Our model consists of an infinite PDE-ODE system where, at each vertex of the one-dimensional lattice $\mathbb{Z}$, we have a logistic equation, and connections between vertices are given by diffusion equations on the edges supplemented with Robin like boundary conditions at the vertices. We establish the main properties of the system and study the long time behavior of the solutions, especially by characterizing an asymptotic spreading speed for the system. In the fast diffusion regime, we derive a novel asymptotic model which exhibits similar propagation properties as the classical discrete Fisher-KPP on the one-dimensional lattice $\mathbb{Z}$.

10. Liouville theorems for fully nonlinear elliptic equations on half spaces

半空间上完全非线性椭圆方程的刘维尔定理

作者: Yuanyuan Lian

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16152v1

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

摘要: In this note, we prove two Liouville theorems for fully nonlinear uniformly elliptic equations on half spaces. The main tools are the boundary pointwise regularity, the Hopf type estimate and the Carleson type estimate. Our new proof is rather short.

11. On some uniqueness results

关于某些唯一性结果的研究

作者: Patrizia Pucci, Jianjun Zhang, Xuexiu Zhong

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16129v1

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

摘要: This paper aims to extend the results of Serrin and Tang in [{\it Indiana Univ. Math. J., 49 (2000), 897–923}] to the low-dimensional case. Specifically, the paper deals with the radial solutions of the following overdetermined problem

where $B_R$ is the open ball of $\mathbb{R}^N$ centered at 0 and with radius $R>0$. We prove uniqueness when $1\leq N\leq m$ {and $m>1$} under certain suitable assumptions on~$f$. Additionally, this work is motivated by the sharp Gagliardo-Nirenberg/Nash inequality. While the framework presented in this article is standard and closely resembles that of Serrin and Tang, the detail of our proofs differ significantly. It is important to note that Serrin and Tang explicitly stated (see Subsection~6.2 of their work) that {\it``the proofs in the present paper rely extensively on the assumption $N>m$ and cannot be extended easily to values $N\leq m$."}

12. A novel way of computing the shape derivative for a class of non-smooth PDEs and its impact on deriving necessary conditions for locally optimal shapes

一类非光滑偏微分方程形状导数计算的新方法及其对推导局部最优形状必要条件的影响

作者: Livia Betz

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

发布日期: 2025-11-20

arXiv ID: 2511.16127v1

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

摘要: We derive necessary conditions for locally optimal shapes of a design problem governed by a non-smooth PDE. The main particularity of the state system is the lack of differentiability of the nonlinearity. We work in the framework of the functional variational approach (FVA), which has the capacity to transfer geometric optimization problems into optimal control problems, the set of admissible shapes being parametrized by a large class of continuous mappings. In the FVA setting, we introduce a sensitivity analysis technique that is novel even for smooth PDEs. We emphasize that we do not resort to extensions on the hold-all domain or any kind of approximation of the original PDE. The computation of the directional derivative of the state w.r.t. functional variations results in a new way of computing the shape derivative. The presented approach allows us to handle in the objective pointwise observation and derivatives of the state on an observation set as well as distributed observation terms. In addition, we introduce the concept of locally optimal shapes and we put into evidence its connection to locally minimizers of the corresponding control problem. With directional differentiability results for the control-to-state map at our disposal, we can then state necessary conditions for locally optimal shapes in general non-smooth settings.

13. Liouville–Type Results for Infinity Elliptic Equations Involving Gradient and Hardy–Hénon Nonlinearities

涉及梯度与Hardy–Hénon非线性的无穷拉普拉斯方程的Liouville型结果

作者: Tan-Dat Khuu, Trung-Hieu Huynh, Hoang-Hung Vo

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16116v1

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

摘要: In this paper we study Liouville-type properties for a class of degenerate elliptic equations driven by the fractional infinity Laplacian with nonlinear lower-order terms,

where $β\in[0,2]$, $Δ_\infty^β$ denotes the fractional infinity Laplace operator, and the nonlinearities $H$ and $f$ represent Hamiltonian and Hardy–Hénon type effects, respectively. We extend the Liouville theory for the classical and normalized infinity Laplacian by establishing a new weighted comparison principle together with sharp local Lipschitz estimates for viscosity solutions. Our Liouville theorems are derived from precise growth conditions for bounded nonnegative solutions when $f$ exhibits power-type behavior, i.e.\ $f\sim u^γ$. We also treat the exponential case $f\sim e^u$, for which the equation becomes strongly supercritical: under suitable assumptions on the growth of $u$ at spatial infinity, only partial Liouville-type conclusions can be obtained. The analysis relies on radial reduction, barrier constructions, and refined comparison arguments. Altogether, the results provide a unified framework linking regularity, comparison principles, and Liouville-type phenomena for degenerate elliptic equations involving fractional infinity Laplacians and nonlinear lower-order effects.

14. Gradient estimates for $(p,V)$-harmonic functions on Riemannian manifolds

关于黎曼流形上 $(p,V)$-调和函数的梯度估计

作者: Yuxin Dong, Hezi Lin, Weihao Zheng

类别: math.DG, math.AP

发布日期: 2025-11-20

arXiv ID: 2511.16058v1

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

摘要: In this paper, we study $(p,V)$-harmonic functions on complete Riemannian manifolds using the Moser iteration method. A volume comparison theorem and a Sobolev embedding theorem are established under the Bakry-$\acute{E}$mery curvature condition. Moreover, we obtain an explicit global gradient estimate for positive entire $(p,V)$-harmonic functions.

15. Data-Driven Parameter Identification for Tumor Growth Models

肿瘤生长模型的数据驱动参数识别

作者: Liu Liu, Yifei Wang, Qinyu Xu, Xiaoqian Xu

类别: math.AP

发布日期: 2025-11-20

arXiv ID: 2511.15940v1

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

摘要: Modeling tumor growth accurately is essential for understanding cancer progression and informing treatment strategies. To estimate the parameters in the tumor growth model described by a nonlinear PDE, we adopt Physics-Informed Neural Networks (PINNs), which show advantages especially when the observation data is scarce and contains noise. With the help of real-life lab data, we have demonstrated the potential of applying deep learning tools to address data-driven modeling for tumor growth in biology.

16. Nonlinear scalar field equations with a critical Hardy potential

具有临界Hardy势的非线性标量场方程

作者: Bartosz Bieganowski, Daniel Strzelecki

类别: math.AP

发布日期: 2025-11-19

arXiv ID: 2511.15668v1

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

摘要: We study the existence of solutions for the nonlinear scalar field equation

where the potential $-\frac{(N-2)^2}{4|x|^2}$ is the critical Hardy potential and $N \geq 3$. The nonlinearity $g$ is continuous and satisfies general subcritical growth assumptions of the Berestycki-Lions type. The problem is approached using variational methods within a non-standard functional setting. The natural energy functional associated with the equation is defined on the space $X^1(\mathbb{R}^N)$, which is the completion of $H^1(\mathbb{R}^N)$ with respect to the norm induced by the quadratic part of the functional. We establish the existence of a nontrivial solution $u_0 \in X^1(\mathbb{R}^N)$ that satisfies the Pohožaev constraint $\mathcal{M}$ and minimizes the energy functional on $\mathcal{M}$. Furthermore, assuming $g$ is odd, we prove the existence of at least one non-radial solution.