生成时间: 2025年12月11日 03:54:22

重点关注论文数量: 3

了解领域论文数量: 4

不相关论文数量: 11

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

1. Calder{ó}n splitting and weak solutions for Navier-Stokes equations with initial data in weighted L p spaces

Calderón分裂与具加权L^p空间初值的Navier-Stokes方程的弱解

作者: Pierre Gilles Lemarié-Rieusset

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09770v1

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

详细分析

中文标题: Calderón分裂与具加权L^p空间初值的Navier-Stokes方程的弱解

研究对象和背景

本文研究的是三维不可压缩 Navier–Stokes 方程 的全局 弱解 存在性问题，其形式如下：

$$ \partial_t u = \Delta u - \mathbb{P} \mathrm{div}(u \otimes u) $$

$$ \mathrm{div}\, u = 0 $$

$$ \lim_{t \to 0} u(t,\cdot) = u_0 $$

其中 $ u = u(t,x) : (0,\infty) \times \mathbb{R}^3 \to \mathbb{R}^3 $ 是速度场，$ \mathbb{P} $ 是 Leray 投影算子（即在无散函数空间上的正交投影），它将向量场分解为无散部分和梯度部分。通过该投影，非线性项 $ u \cdot \nabla u $ 被重写为 $ \mathbb{P} \mathrm{div}(u \otimes u) $，从而消除了压力项 $ \nabla p $。

这类方程描述了粘性不可压缩流体的运动，在数学物理中具有核心地位。然而，关于其全局弱解的存在性、唯一性和正则性，尤其是当初始数据属于较粗糙的空间时，仍是著名的千禧年难题之一。

本论文关注的核心问题是：当初始速度 $ u_0 $ 属于某个 加权 $ L^p $ 空间 时，是否仍能构造出满足适当能量控制的全局弱解？具体地，作者考虑的初始数据空间是：

$$ L^p_\gamma = L^p(\mathbb{R}^3, \Phi_\gamma(x)\, dx), \quad \text{其中 } \Phi_\gamma(x) = \frac{1}{(1 + |x|^2)^{\gamma/2}}, \quad 2 < p < \infty, \; 0 < \gamma < 2. $$

这个空间的特点在于引入了一个 衰减权重 $ \Phi_\gamma(x) $，它在无穷远处趋于零。因此，$ L^p_\gamma $ 中的函数允许在无穷远有缓慢增长或不快速衰减的行为——这比经典的 $ L^p(\mathbb{R}^3) $ 或 $ L^2(\mathbb{R}^3) $ 更弱，但又不至于像缓增分布那样过于宽泛。

特别值得注意的是，这类加权空间并不具备平移不变性，且传统的 Fourier 分析工具难以直接应用。此外，由于权重的存在，标准的 Sobolev 嵌入、乘积估计等都需要重新建立。

论文指出，已有多种类型的弱解被研究过，对应不同的初始数据类别：

  • 当 $ u_0 \in L^p $，$ 3 \leq p \leq \infty $，可得 Kato 的 温和解；
  • 当 $ u_0 \in \mathrm{BMO}^{-1} $，可得 Koch–Tataru 解；
  • 当 $ u_0 \in L^2 $，可得 Leray 的经典弱解；
  • 当 $ u_0 \in L^p $，$ p \geq 2 $，Calderón 构造了解在 $ L^\infty((0,T), L^2 + L^\infty) $ 中；
  • 当 $ u_0 \in L^2(\frac{dx}{1+|x|^2}) $，Fernández-Dalgo 与 Lemarié-Rieusset 构造了解在 $ L^\infty((0,T), L^2(\frac{dx}{1+|x|^2})) $。

而本文的目标正是填补一个中间情形：既不是纯 $ L^2 $ 加权情形，也不是单纯的 $ L^r $ 情形，而是介于两者之间的 加权 $ L^p $ 初值，其中 $ 2 < p < \infty $，$ 0 < \gamma < 2 $。

为此，作者采用了一种经典的策略：Calderón 分裂法（Calderón’s splitting method）。其思想是将初始数据 $ u_0 \in L^p_\gamma $ 分解为两个部分：

$$ u_0 = v_0 + w_0, \quad \text{其中 } v_0 \in L^2(\Phi_2\, dx), \; w_0 \in L^r \text{ 对某个 } r > 3. $$

这种分解的关键在于利用函数空间的插值结构，使得每一部分都落在已知可以构造弱解的初值类中。然后分别对两部分构造近似解，并通过紧性论证取极限。

另一个重要技术前提是：需要保证解的时间连续性以及初值条件的实现是有意义的。为此，论文强调必须证明解 $ u(t,\cdot) $ 在时间上连续取值于某个分布空间，例如 $ H^{-4}_{\Phi_8} $ 或更一般的加权 Sobolev 空间。这一点对于确保极限 $ \lim_{t \to 0} u(t,\cdot) = u_0 $ 成立至关重要。

此外，论文还特别提到某些解不满足局部能量条件：

$$ \sup_{x_0 \in \mathbb{R}^3} \iint_{(0,T)\times B(x_0,1)} |u(s,y)|^2\, dsdy < +\infty, $$

比如 Fernández-Dalgo 与作者之前的工作所处理的情形，以及 Fursikov 和 Višik 的统计均匀解。这些解虽然整体能量有限（在加权意义下），但在局部球上可能无界，因此不能用传统局部方法处理。

综上所述，本文的研究区域是全空间 $ \mathbb{R}^3 $，边界条件为无穷远处自然衰减（由权重控制），函数空间为加权 Lebesgue 和 Sobolev 空间，目标是构造满足适当正则性和初值适配性的全局弱解。这一设定既推广了经典 Leray 解的框架，也深化了对非局部、非均匀初值下 Navier–Stokes 动力学的理解。

主要定理或主要结果

论文的主要成果是以下定理：

定理 1. 设 $ 2 < p < +\infty $，$ 0 < \gamma < 2 $。设 $ u_0 \in L^p(\mathbb{R}^3, \Phi_\gamma(x)\, dx) $ 且 $ \mathrm{div}\, u_0 = 0 $。则 Navier–Stokes 方程

$$ \partial_t u = \Delta u - \mathbb{P} \mathrm{div}(u \otimes u) $$

$$ \mathrm{div}\, u = 0 $$

$$ \lim_{t \to 0} u(t,\cdot) = u_0 $$

在 $ (0,+\infty) \times \mathbb{R}^3 $ 上存在一个解 $ u $，使得对任意 $ 0 < T < +\infty $，有

$$ u \in L^\infty((0,T), L^2(\Phi_2\, dx)) + L^\infty((0,T), L^r) $$

对某个 $ r \in (3, +\infty) $。

此定理表明：即使初始速度不属于任何标准 $ L^p $ 或加权 $ L^2 $ 空间，只要它在某种加权 $ L^p $ 意义下可积（$ p>2 $, $ \gamma<2 $），就可以构造出全局定义的弱解，且该解在每个有限时间区间内可分解为两个具有良好能量性质的部分。

作为推论，文中还建立了两个关键辅助结果：

命题 1（Leray 投影作用于加权 $ L^1 $ 张量）.
设 $ F \in L^1(\mathbb{R}^3, \Phi_4\, dx) $，则存在唯一的分解：

$$ \mathrm{div}(F) = b_1 + b_2, $$

其中：

  • $ b_1 \in H^\sigma(\Phi_\gamma\, dx) $，$ \mathrm{div}\, b_1 = 0 $，
  • $ b_2 \in H^\sigma(\Phi_\gamma\, dx) $，$ \nabla \wedge b_2 = 0 $，
  • $ \lim_{\tau \to +\infty} e^{\tau \Delta} b_2 = 0 $ 在 $ \mathcal{S}'(\mathbb{R}^3) $ 中成立，

只要 $ \gamma > -7/2 $，$ \sigma < 5 $。此时称 $ b_1 = \mathbb{P} \mathrm{div}(F) $。

定理 2（加权空间中的 Stokes 方程解的正则性）.
设 $ F \in L^1((0,T), L^1(\Phi_4\, dx)) $，并设 $ u $ 是 Stokes 方程

$$ \partial_t u = \Delta u - \mathbb{P} \mathrm{div}(F), \quad \mathrm{div}\, u = 0, \quad \lim_{t \to 0} u(t,\cdot) = u_0 $$

的一个解，且 $ u \in L^1((0,T), L^1(\Phi_4\, dx)) $。则必有：

$$ \partial_t u \in L^1((0,T), H^{-4}(\Phi_8\, dx)), \quad u \in C([0,T], H^{-4}(\Phi_8\, dx)). $$

特别地，初值条件有意义，且满足：

$$ \lim_{t \to 0} u(t,\cdot) = u_0 \quad \text{在 } H^{-4}(\Phi_8\, dx) \text{ 中成立}. $$

此外，还有：

$$ \mathrm{div}(u(t,\cdot)) = e^{t\Delta} \mathrm{div}(u_0). $$

这些结果共同构成了构造弱解的基础框架。

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

a) 核心分析学工具

本文使用了一系列现代偏微分方程中的分析工具，主要包括：

  1. Calderón 分裂方法（Calderón’s splitting）：这是全文的核心策略。其本质是将初始数据 $ u_0 \in L^p_\gamma $ 写成两项之和：

    $$ u_0 = v_0 + w_0, \quad v_0 \in L^2(\Phi_2\, dx), \; w_0 \in L^r, \; r > 3. $$

    这种分解依赖于函数空间的包含关系与插值理论。具体来说，利用加权不等式和 Hölder 型估计，可以在局部和全局尺度上分离“低频”与“高频”成分，使每部分落入已知可解的初值类。

  2. 能量估计与加权 Sobolev 空间：为了控制解的增长和奇异性，作者在加权 Sobolev 空间 $ H^s(\Phi_\gamma\, dx) $ 中进行估计。例如，引理 1 给出了梯度算子在这些空间中的连续性：

    $$ \|\nabla u\|_{H^{s-1}(\Phi_\gamma\, dx)} \leq C \|u\|_{H^s(\Phi_\gamma\, dx)}, $$

    并且当 $ s \geq 0 $ 时，

    $$ \|u\|_{H^s(\Phi_\gamma\, dx)} \approx \|u\|_{L^2(\Phi_\gamma\, dx)} + \|\nabla u\|_{H^{s-1}(\Phi_\gamma\, dx)}. $$

    这些估计允许对非线性项进行逐阶控制。

  3. Oseen 核估计与热半群作用：作者频繁使用热半群 $ e^{t\Delta} $ 及其与 Leray 投影组合后的 Oseen 算子 $ e^{(t-s)\Delta} \mathbb{P} \mathrm{div} $ 的积分核估计。例如，引理 2 提供了关键的卷积型不等式：

    $$ \left\| \int \frac{1}{(\sqrt{t} + |x - y|)^4} f(y)\, dy \right\|_{L^p(\Phi_4\, dx)} \leq C t^{-1/2} \|f\|_{L^p(\Phi_4\, dx)}, $$

    此类估计来源于经典奇异积分理论，并通过插值得到不同 $ p $ 下的结果。

  4. 紧性原理与弱收敛：由于无法获得一致的强收敛性，作者依赖 Banach 空间中的弱*紧性 和 Aubin–Lions 型紧嵌入 来提取收敛子列。特别是，在证明 mollified 解 $ u_{\epsilon,\alpha} $ 收敛时，利用了估计：

    $$ \sup_{0<t<T} \|u_{\epsilon,\alpha}(t)\|_{L^2(\Phi_2\, dx) + L^r} \leq C_{T,u_0} < \infty, $$

    以及

    $$ \|u_{\epsilon,\alpha}\|_{L^2((0,T), H^1(\Phi_4\, dx))} \leq C_{T,u_0}, $$

    从而在适当的拓扑下获得弱极限 $ u $，再验证其满足原方程。

  5. 分布论与时间连续性提升：通过证明 $ u \in C([0,T], H^{-4}(\Phi_8\, dx)) $，确保初值条件可在分布意义下实现。这是通过分析 $ \partial_t u $ 的正则性来完成的，结合了 $ \Delta u $ 和 $ \mathbb{P} \mathrm{div}(F) $ 在负阶 Sobolev 空间的可积性。

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

  1. 处理非线性项 $ \mathrm{div}(u \otimes u) $：这是一个二阶非线性项，通常会导致乘积空间的复杂性。作者通过对 mollified 方程引入截断卷积：

    $$ \partial_t u_{\epsilon,\alpha} = \Delta u_{\epsilon,\alpha} - \mathbb{P} \mathrm{div}\left( (\phi_\epsilon * (\theta_\alpha u_{\epsilon,\alpha})) \otimes u_{\epsilon,\alpha} \right), $$

    其中 $ \phi_\epsilon $ 是光滑化核，$ \theta_\alpha $ 是空间截断函数（支持在 $ |x| \leq 2/\alpha $）。这种双重正则化既保证了解的光滑性，又保留了能量结构。

  2. 克服权重带来的非齐次性：由于 $ \Phi_\gamma $ 不是平移不变的，许多标准估计失效。作者通过局部化技巧（如使用单位分解 $ \sum_k \theta(x-k) = 1 $）将全局估计转化为局部一致估计，并利用权重之间的控制关系（如 $ \Phi_\gamma \lesssim \Phi_\delta $ 当 $ \gamma \geq \delta $）进行过渡。

  3. 控制无穷远处行为：为防止解在无穷远处发散，作者在整个过程中维持对加权范数的控制，尤其是在估计 $ e^{\tau\Delta} b_2 \to 0 $ 时，利用了支配收敛定理和核的衰减性质。

  4. 避免对初值做高正则性假设：不同于 Kato 或 Koch–Tataru 方法要求初值在 Besov 或 BMO 类中，本文仅需 $ u_0 \in L^p_\gamma $，这是更低的正则性假设。通过 Calderón 分裂，将问题转化为两个子问题，每个子问题可用各自的方法求解。

与之前工作的比较

a) 突破与改进

本文的主要贡献在于显著 放宽了初始数据的可积性与衰减性要求，从而将 Navier–Stokes 弱解的存在性理论扩展到一个新的函数空间范畴。

相比先前工作：

  • 相较于 Leray 的原始构造（要求 $ u_0 \in L^2 $），本文允许 $ u_0 \notin L^2 $，只要它在加权 $ L^p $ 意义下可积即可；
  • 相较于 Calderón 的结果（$ u_0 \in L^p $, $ p \geq 2 $），本文引入了 空间衰减权重 $ \Phi_\gamma $，从而容纳了在无穷远处缓慢衰减甚至略有增长的数据；
  • 相较于 Fernández-Dalgo & Lemarié-Rieusset 的结果（$ u_0 \in L^2(\frac{dx}{1+|x|^2}) $），本文不仅包含了该情形作为极限情况（当 $ p=2, \gamma=2 $），还推广到了 $ p>2 $ 的情形；
  • 相较于 Kato 或 Koch–Tataru 的温和解理论，本文不要求小初值或特殊函数空间（如 $ \mathrm{BMO}^{-1} $），也不局限于局部解，而是构造了 全局弱解。

更重要的是，本文提出的方法具有良好的 模组化结构：通过 Calderón 分裂，将困难的初值分解为两个“好”的部分，分别处理后再合并。这种方法具有很强的适应性，未来可用于其他非线性演化方程的研究。

此外，论文系统建立了 加权函数空间上的基本分析工具，包括加权 Sobolev 范数下的微分算子估计、热半群作用下的核估计、以及 Leray 投影在加权 $ L^1 $ 上的良好定义性。这些工具本身具有独立价值，为后续研究统计均匀解、非局域平衡态等问题提供了基础。

总而言之，本文在 初值正则性要求、函数空间灵活性 和 解的整体存在性 三个方面实现了实质性推进，标志着对 Navier–Stokes 方程在非均匀背景下理解的深化。

2. Well-posedness of the motion of a rigid body immersed in a compressible inviscid fluid

刚体浸没于无粘可压缩流体中运动的适定性研究

作者: Frédéric Rousset, Pei Su

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09741v1

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

详细分析

中文标题: 刚体浸没于无粘可压缩流体中运动的适定性研究

研究对象和背景

本文研究的是一个刚体完全浸没在有界区域 $\Omega \subset \mathbb{R}^3$ 中的无粘、可压缩流体中的运动问题。该系统由两部分耦合而成：一部分是描述流体运动的非等熵可压缩欧拉方程（compressible Euler equations），另一部分是描述刚体运动的常微分方程组（ODEs），其动力学遵循线性和角动量守恒定律。

整个系统的物理图像如下：设刚体占据随时间变化的空间区域 $S(t) \subset \Omega$，其质心位置为 $h(t)$；流体则占据外部区域 $F(t) = \Omega \setminus S(t)$。边界 $\partial F(t)$ 包括容器壁 $\partial\Omega$ 和刚体表面 $\partial S(t)$。由于刚体与流体之间存在相互作用，流体对刚体施加压力力和力矩，而刚体的运动又反过来影响流体的速度场和压力分布，从而形成强耦合系统。

文中采用的压力-速度-熵 $(p, u, s)$ 作为基本变量来表述流体动力学，这与传统的密度-速度-熵形式等价，但在数学分析上更为便利。对应的控制方程组在原始移动域 $F(t)$ 上为：

$$ \begin{aligned} &\partial_t p + (u \cdot \nabla)p + \rho c^2 \mathrm{div}\, u = 0 && \text{in } F(t), \\ &\partial_t u + (u \cdot \nabla)u + \rho^{-1} \nabla p = 0 && \text{in } F(t), \\ &\partial_t s + (u \cdot \nabla)s = 0 && \text{in } F(t), \end{aligned} $$

其中 $\rho = \rho(p,s)$ 是通过状态方程确定的密度函数，$c = c(p,s)$ 为声速，满足 $c^2 = \partial_\rho p(\rho,s)$。假设存在开集 $U \subset \mathbb{R}^2$，使得 $(p,s) \mapsto \rho(p,s), c(p,s)$ 在 $U$ 上光滑且 $\rho > 0$, $c > 0$，以保证双曲性成立。

刚体的动力学由以下两个 ODE 给出：

$$ m h''(t) = \int_{\partial S(t)} p n \, d\Gamma, \quad (J \omega)'(t) = \int_{\partial S(t)} (y - h(t)) \times p n \, d\Gamma, $$

其中 $m$ 为质量，$J$ 为惯性张量，$\omega(t)$ 为角速度，$l(t) = h'(t)$ 为平移速度。刚体表面任意点处的速度为：

$$ u_S(t,y) = l(t) + \omega(t) \times (y - h(t)), \quad y \in S(t). $$

边界条件体现为不可穿透条件，在 $\partial\Omega$ 和 $\partial S(t)$ 上分别有：

$$ u \cdot n = 0 \quad \text{on } \partial\Omega, \quad u \cdot n = u_S \cdot n \quad \text{on } \partial S(t), $$

即流体速度在法向方向上与固体一致，但切向可以不同——这是特征型边界（characteristic boundary） 的典型表现。

初始条件设定为：

$$ (p,u,s)(0,y) = (p_0,u_0,s_0)(y), \quad y \in F(0), \quad h(0)=0,\ h'(0)=l_0,\ \omega(0)=\omega_0. $$

由于流体域 $F(t)$ 随时间变化，直接处理这一移动边界问题非常困难。为此，作者引入了一个关键技巧：构造一个人工速度场 $V$，它在刚体附近等于刚体速度，在容器边界附近为零，并通过其流映射 $\phi(t,x)$ 实现坐标变换，将问题转化为固定空间域 $F(0)$ 上的问题。

具体地，定义截断函数 $\chi \in C^\infty(\mathbb{R}^3)$ 满足：

$$ \chi(y) = \begin{cases} 1, & y \in S(0) + B(0,R_0), \\ 0, & y \in \mathbb{R}^3 \setminus (S(0) + B(0,2R_0)), \end{cases} $$

并令 $V(l(t),\omega(t),h(t),y) := \chi(y - h(0)) u_S(t,y)$，然后求解：

$$ \partial_t \phi(t,x) = V(l(t),\omega(t),h(t),\phi(t,x)), \quad \phi(0,x) = x. $$

该变换 $\phi(t,\cdot): F(0) \to F(t)$ 将移动域变为固定域，同时保持边界结构不变。

在新坐标下，未知函数被重新定义为拉回量：

$$ p(t,x) = p(t,\phi(t,x)), \quad u(t,x) = J(t,x) u(t,\phi(t,x)), \quad \text{etc.}, $$

其中 $J = (\nabla \phi)^{-1}$。由此得到的新系统是一个定义在固定域 $F(0)$ 上的拟线性双曲型初边值问题（IBVP），并与刚体 ODE 强耦合。

值得注意的是，变换后的边界仍为特征型边界，因为法向速度连续但切向不连续，导致标准能量估计中无法控制法向导数。此外，由于刚体运动依赖于边界上的压力积分，而压力迹的正则性较差，造成迭代过程中出现“导数损失”问题。

为了克服这些困难，作者引入了非特征逼近系统（non-characteristic approximation）：通过对流项添加小扰动，使边界变为非特征型，从而获得足够正则的压力迹估计。接着使用不动点方法交替更新流体与刚体状态，建立逼近解的存在性，再通过一致先验估计和强紧性论证取极限恢复原系统解。

所用函数空间为时空混合空间：

$$ X^m([0,T];O) := \bigcap_{k=0}^m C^k([0,T]; H^{m-k}(O)), $$

配备范数：

$$ \|f\|_{X^m(O_T)} = \sum_{i=0}^m \sup_{t \in [0,T]} \|\partial_t^i f(t)\|_{H^{m-i}(O)}. $$

此空间适合刻画具有时间衰减正则性的解。

综上所述，本工作研究的是在一个三维有界区域内，刚体与可压缩无粘流体之间的强耦合动力系统，其数学挑战在于：移动边界、特征型边界条件、压力迹正则性不足以及耦合带来的导数损失。这些问题使得经典方法难以适用，必须发展新的分析工具。

主要定理或主要结果

本文的核心成果是以下局部古典解存在唯一性定理：

定理 1.1（局部适定性） 设整数 $m \geq 3$，假设：

  • 初始数据 $(p_0, u_0, s_0, l_0, \omega_0) \in (H^m(F(0)))^3 \times (\mathbb{R}^3)^2$；
  • 初始数据满足至阶 $m-1$ 的兼容性条件（见定义 2.3）；
  • 对所有 $x \in F(0)$，有 $(p_0(x), s_0(x)) \in U$，其中 $U$ 是保证双曲性的开集。

则存在 $T > 0$，使得耦合系统 (1.1)–(1.5) 存在唯一的古典解 $(p,u,s,l,\omega)$，在坐标变换后满足：

$$ (p,u,s,l,\omega) \in (X^m([0,T];F(0)))^3 \times (C^m[0,T])^2, $$

并且对所有 $(t,x) \in [0,T] \times F(0)$，有 $(p(t,x), s(t,x)) \in U$。

该定理表明：在足够光滑且满足兼容性条件的初始数据下，系统存在唯一的局部经典解，其正则性由 Sobolev 空间 $H^m$ 控制，并在时空混合空间 $X^m$ 中具有良好行为。

特别指出，解只能在短时间存在，原因有两个：一是防止刚体与边界发生碰撞（否则域拓扑改变），二是可压缩欧拉方程本身可能发生激波破裂（shock formation），即使刚体静止也无法避免。

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

a) 核心分析学工具

  1. 坐标变换与固定域重构

    关键第一步是将移动边界问题转化为固定域上的 IBVP。作者设计了一个基于截断刚体速度场的人工流映射 $\phi(t,x)$，使得：

    • 在刚体内部 $\phi(t,x)$ 追踪真实运动；
    • 在边界 $\partial\Omega$ 附近 $\phi$ 为恒等映射；
    • 整体构成一个微分同胚。

    此变换保留了几何结构，同时允许将 PDE 写成关于新变量的标准形式。

  2. 非特征逼近法（Non-characteristic Approximation）

    原始系统的边界是特征型的，意味着边界矩阵具有零特征值，导致无法通过传统能量法控制法向导数。为此，作者引入一个小参数 $\varepsilon > 0$，修改通量项，使得边界变为非特征型。例如，在近似系统中加入形如 $\varepsilon \nabla p$ 的正则化项，提升边界正则性。

    这一技术源自 Schochet [24] 和 Ohkubo [19] 对纯流体情形的研究，本文将其推广至流固耦合系统。

  3. 不动点原理（Fixed-point Argument）

    在逼近系统中，作者采用交错迭代格式：固定刚体轨迹 $(l,\omega)$，求解流体方程；再利用所得压力 $p$ 更新刚体加速度；重复直至收敛。

    由于逼近系统具有更好的边界正则性（非特征），压力迹 $p|_{\partial S(t)}$ 属于 $H^{m-1/2}$，足以支撑 ODE 更新过程。不动点映射定义在合适函数空间中，借助压缩映像原理证明存在唯一不动点。

  4. 高阶能量估计与共法向 Sobolev 空间

    为进行先验估计，作者使用共法向向量场 $\{Z_\beta\}$ 构造共法向 Sobolev 范数：

    $$ \|f\|_{L^p H^m_{\mathrm{co}}} = \sum_{|\beta| \leq m} \|Z^\beta f\|_{L^p(0,T;L^2)}, $$

    其中 $Z_k$ 是切于边界的光滑向量场（包括时间导数）。这种空间能有效分离切向与法向导数，便于处理边界效应。

    结合总能量守恒，先估计切向和时间导数，再通过系统方程本身（尤其是熵和涡度输运）恢复法向导数。

  5. 强紧性论证（Strong Compactness）

    在获得关于 $\varepsilon$ 的一致估计后，作者利用弱紧性+强收敛策略取极限。具体包括：

    • 使用 Aubin-Lions 引理从时间导数有界推出强收敛；
    • 利用 Rellich-Kondrachov 紧嵌入得到 $p_\varepsilon \to p$ 在 $L^2$ 中强收敛；
    • 验证极限满足原始方程。

    此方法绕开了线性化算子的复杂谱分析，是一种稳健的非线性极限处理方式。

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

  1. 导数损失问题的规避

    若直接迭代：“给定刚体运动 → 解流体 → 得压力 → 更新刚体”，由于压力迹仅比流体解低半阶正则性，会导致每次迭代损失半个导数。最终无法闭合估计。

    解决方式：通过非特征逼近，使压力迹正则性提升至与内部解相当水平，从而消除导数损失。

  2. 兼容性条件的处理

    为保证高阶能量估计成立，初始数据需满足一系列由方程递推决定的兼容性条件。例如，初始速度在边界上必须满足 $u_0 \cdot n = l_0 \cdot n$（在 $\partial S(0)$）等。

    作者通过正则化初始数据 $U_0^n \in H^{m+2}$ 并保持兼容性至更高阶，确保逼近解足够光滑，从而支持高阶估计。

  3. 刚体旋转的几何处理

    刚体姿态由旋转矩阵 $Q(t) \in SO(3)$ 描述，其演化涉及李代数结构。作者巧妙地将角速度 $\omega$ 提升为协变变量 $\tilde{\omega} = Q^\top \omega$，并在变换后系统中统一处理。

  4. 边界项的精确控制

    在能量估计中，边界积分如 $\int_{\partial S(t)} p n \, d\Gamma$ 必须精细估计。作者利用共法向框架下迹定理和插值不等式，结合 Gagliardo-Nirenberg 不等式，控制此类非线性耦合项。

与之前工作的比较

a) 突破与改进

  1. 首次建立可压缩无粘流体中刚体运动的局部适定性

    在此之前，仅有 Feireisl 和 Mácha [6] 关于此类系统弱解存在性的结果，使用凸积分方法构造，无法提供唯一性或正则性信息。而本文首次证明了局部经典解的存在唯一性，填补了理论空白。

  2. 无需粘性正则化

    多数流固耦合结果集中在粘性流体（Navier-Stokes） 情形，如 [23, 2, 9] 等。粘性项提供了天然的紧性和正则化效应，可用半群或弱解方法处理。而本文面对的是无粘、双曲型系统，缺乏耗散机制，技术难度显著更高。

  3. 适用于非等熵、一般状态方程

    许多已有工作限于等熵或理想气体假设。本文允许一般状态方程 $p = p(\rho,s)$，只要 $\rho(p,s), c(p,s)$ 光滑且正即可，适用范围更广。

  4. 可推广至多个刚体

    如 Remark 1.3 所述，方法可自然推广至多个刚体情形，只需在构造人工速度场时叠加各刚体的截断速度。这体现了方法的鲁棒性。

  5. 降低对初始数据的要求

相较于某些要求解析数据或极高正则性的早期工作，本文仅需 $H^m$ 初值（$m \geq 3$）并满足兼容性条件，属于“低正则性”框架下的突破。

  1. 避免使用流体 Lagrangian 坐标

    若用流体粒子轨迹做坐标变换，则刚体边界不再固定（除非其切向速度为零）。本文提出的人工速度场方法更具灵活性，特别适合处理非球形刚体。

综上，本文在模型物理真实性（可压缩、无粘）、数学严谨性（古典解、唯一性）、方法普适性（多体、一般方程）等方面均实现了重要推进，为后续研究长期行为、稳定性、奇点形成等问题奠定了坚实基础。

3. Relaxation limit and asymptotic stability for the Euler-Navier-Stokes equations

欧拉-纳维-斯托克斯方程的松弛极限与渐近稳定性

作者: Mingwen Fei, Ling-Yun Shou, Houzhi Tang

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09650v1

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

详细分析

中文标题: 欧拉-纳维-斯托克斯方程的松弛极限与渐近稳定性

研究对象和背景

本文研究的是欧拉-纳维-斯托克斯方程系统（Euler-Navier-Stokes, 简称 E-NS 系统），这是一个描述两相流体耦合动力学的宏观模型，源于粒子与流体相互作用的微观描述——Vlasov-Fokker-Planck-Navier-Stokes (VFP-NS) 系统。该系统广泛应用于喷雾反应流、大气污染建模、化学工程及废水处理等领域。

具体地，E-NS 系统在 $\mathbb{R}^d$（其中 $d \geq 2$）上由以下偏微分方程组给出：

$$ \left\{ \begin{aligned} &\partial_t \rho_\varepsilon + \mathrm{div}(\rho_\varepsilon w_\varepsilon) = 0, \\ &\partial_t (\rho_\varepsilon w_\varepsilon) + \mathrm{div}(\rho_\varepsilon w_\varepsilon \otimes w_\varepsilon) + \nabla \rho_\varepsilon = -\frac{1}{\varepsilon} \rho_\varepsilon (w_\varepsilon - \varepsilon u_\varepsilon), \\ &\partial_t u_\varepsilon + u_\varepsilon \cdot \nabla u_\varepsilon + \nabla P_\varepsilon = \mu \Delta u_\varepsilon + \frac{1}{\varepsilon} \rho_\varepsilon (w_\varepsilon - \varepsilon u_\varepsilon), \\ &\mathrm{div}\, u_\varepsilon = 0, \end{aligned} \right. \tag{1.1} $$

其中：

  • $\rho_\varepsilon = \rho_\varepsilon(t,x)$ 是压缩性欧拉部分的密度；
  • $w_\varepsilon = w_\varepsilon(t,x)$ 是其对应的速度场；
  • $u_\varepsilon = u_\varepsilon(t,x)$ 是不可压纳维-斯托克斯流体的速度；
  • $P_\varepsilon$ 是压力项；
  • $\varepsilon > 0$ 是一个小的松弛时间参数，表示粒子速度趋向于周围流体速度的时间尺度；
  • $\mu > 0$ 是粘性系数。

初始条件满足当 $|x| \to \infty$ 时 $(\rho_\varepsilon, w_\varepsilon, u_\varepsilon)(t,x) \to (\bar{\rho}, 0, 0)$，且不失一般性设背景密度 $\bar{\rho} = 1$。

这个系统可以从 VFP-NS 系统通过局部麦克斯韦分布假设推导而来：即设粒子分布函数 $f_\varepsilon(t,x,\xi)$ 具有如下形式：

$$ f_\varepsilon(t,x,\xi) = \frac{\rho_\varepsilon(t,x)}{(2\pi)^{d/2}} \exp\left( -\frac{|\xi - \varepsilon u_\varepsilon(t,x)|^2}{2} \right), $$

然后通过对动量矩进行积分可得上述 E-NS 系统。

当 $\varepsilon \to 0$ 时，系统表现出奇异极限行为，即从双曲型主导的动力学向抛物型扩散过程过渡。形式上，若假设解 $(\rho_\varepsilon, \varepsilon^{-1} w_\varepsilon, u_\varepsilon)$ 收敛到某极限 $(\rho_*, W_*, u_*)$，则可以推出极限满足所谓的 Kramers-Smoluchowski-Navier-Stokes 系统（KS-NS 系统）：

$$ \left\{ \begin{aligned} &\partial_t \rho_* + \mathrm{div}(\rho_* u_*) = \Delta \rho_*, \\ &\partial_t u_* + u_* \cdot \nabla u_* + \nabla P_* = \mu \Delta u_*, \\ &\mathrm{div}\, u_* = 0, \end{aligned} \right. \tag{1.9} $$

这是一类带有非线性扩散的对流-扩散方程，结合了经典的不可压 Navier-Stokes 方程与 Kramers-Smoluchowski 型密度演化。特别地，极限中还出现了新的达西型律（Darcy-type law）：

$$ \rho_* W_* = -\nabla \rho_* + \rho_* u_*, $$

它揭示了粒子平均速度与流体速度之间的平衡关系。

然而，在此之前，尚无严格数学结果证明从 E-NS 到 KS-NS 的收敛性，也未建立统一框架分析其全局存在性和长时间行为。本文的核心目标正是填补这一空白。

研究区域为全空间 $\mathbb{R}^d$（$d \geq 2$），边界条件为无穷远处趋于常数状态（即衰减至平衡态）。函数空间的选择尤为关键：作者采用混合临界 Besov 空间进行分析，这是本工作的技术亮点之一。

具体而言，初始数据被设定在齐次 Besov 空间中，具有不同的正则性要求：

$$ \rho_{\varepsilon,0} - 1 \in \dot{B}^{d/2-1}_{2,1} \cap \dot{B}^{d/2+1}_{2,1}, \quad w_{\varepsilon,0} \in \dot{B}^{d/2}_{2,1} \cap \dot{B}^{d/2+1}_{2,1}, \quad P w_{\varepsilon,0} \in \dot{B}^{d/2-1}_{2,1}, \quad u_{\varepsilon,0} \in \dot{B}^{d/2-1}_{2,1}, $$

其中 $P$ 表示不可压投影算子 $P = I - \nabla(-\Delta)^{-1}\mathrm{div}$，而 $P^\top = I - P$ 为可压部分。

这种空间选择体现了“临界性”思想：$\dot{B}^{d/2-1}_{2,1}$ 对应于不可压 Navier-Stokes 的 Fujita-Kato 临界空间，而 $\dot{B}^{d/2+1}_{2,1}$ 嵌入到 Lipschitz 函数空间，控制输运项不发生爆破。因此，该空间结构既能捕捉双曲-抛物耦合的本质，又允许对小扰动进行精细估计。

此外，由于 $\varepsilon \to 0$ 引入了频率依赖的奇异性，作者引入了一个尖锐的频率阈值 $\mathcal{O}(\varepsilon^{-1})$，将频域分为低频区 $|\xi| \lesssim \varepsilon^{-1}$ 和高频区 $|\xi| \gtrsim \varepsilon^{-1}$。这种分频策略是处理松弛极限的关键工具，使得能量估计可以在不同尺度下分别设计。

综上所述，本文的研究对象是一个高度非线性的双曲-抛物耦合系统，其核心挑战在于：

  1. 相对速度的弱耗散机制（仅通过 $\frac{1}{\varepsilon}\rho_\varepsilon(w_\varepsilon - \varepsilon u_\varepsilon)$ 实现）；
  2. 双相之间强非线性交叉耦合；
  3. 小参数 $\varepsilon \to 0$ 导致的奇异性；
  4. 需要在临界空间中建立关于 $\varepsilon$ 一致的先验估计。

这些问题共同构成了本文理论分析的主要障碍，也是推动新方法发展的动因。

主要定理或主要结果

Proposition 1.1（KS-NS 系统的全局适定性与衰减速率）

令 $d \geq 2$。存在正常数 $\alpha_0 > 0$，使得当初始误差满足：

$$ E_0 := \|\rho_* - 1\|_{\dot{B}^{d/2-1}_{2,1} \cap \dot{B}^{d/2}_{2,1}} + \|u_*\|_{\dot{B}^{d/2-1}_{2,1}} \leq \alpha_0, $$

则 Cauchy 问题 (1.9)-(1.10) 存在唯一全局解 $(\rho_*, u_*)$，满足：

$$ \rho_* - 1 \in C(\mathbb{R}_+; \dot{B}^{d/2-1}_{2,1} \cap \dot{B}^{d/2}_{2,1}), \quad u_* \in C(\mathbb{R}_+; \dot{B}^{d/2-1}_{2,1}), $$

并且对于所有 $t > 0$，有：

$$ \|\rho_* - 1\|_{L^\infty(\dot{B}^{d/2-1} \cap \dot{B}^{d/2})} + \|\rho_* - 1\|_{L^1(\dot{B}^{d/2+2} \cap \dot{B}^{d/2+1})} + \|u_*\|_{L^\infty(\dot{B}^{d/2-1})} + \|u_*\|_{L^1(\dot{B}^{d/2+1})} \leq C E_0, $$

其中 $C > 0$ 与时间无关。

进一步，若初值满足 $\rho_* - 1, u_* \in \dot{B}^{\sigma_1}_{2,\infty}$，其中 $-d \leq \sigma_1 < d/2 - 1$，则解具有最优衰减速率：

$$ \|\Lambda^\sigma(\rho_* - 1, u_*)(t)\|_{L^2} \leq C (1+t)^{-\frac{1}{2}(\sigma - \sigma_1)}, \quad \forall \sigma > \sigma_1, \ t \geq 1. $$

Theorem 1.1（E-NS 系统的全局存在性与松弛极限）

设 $(\rho_*, u_*)$ 是 KS-NS 系统的全局解，对应初值 $(\rho_{*,0}, u_{*,0})$。则存在通用常数 $\varepsilon_* > 0$ 和 $\delta_0 > 0$，使得当 $0 < \varepsilon \leq \varepsilon_*$ 且初始误差 $\delta E_0 \leq \delta_0$ 时，E-NS 系统 (1.1)-(1.2) 存在唯一全局强解 $(\rho_\varepsilon, w_\varepsilon, u_\varepsilon)$，满足对所有 $t \geq 0$：

$$ E_\varepsilon(t) + D_\varepsilon(t) \leq C(E_0 + \delta E_0), $$

以及误差估计：

$$ \begin{aligned} &\|\rho_\varepsilon - \rho_*\|_{L^\infty(\dot{B}^{d/2-1})} + \|\rho_\varepsilon - \rho_*\|_{L^1(\dot{B}^{d/2+1})} + \|\partial_t(\rho_\varepsilon - \rho_*)\|_{L^1(\dot{B}^{d/2-1})} \\ &+ \|u_\varepsilon - u_*\|_{L^\infty(\dot{B}^{d/2-1})} + \|u_\varepsilon - u_*\|_{L^1(\dot{B}^{d/2+1})} + \|\partial_t(u_\varepsilon - u_*)\|_{L^1(\dot{B}^{d/2+1})} \\ &+ \|\varepsilon^{-1} w_\varepsilon - W_*\|_{L^1(\dot{B}^{d/2} + \dot{B}^{d/2+1})} \leq C \varepsilon (E_0 + \delta E_0), \end{aligned} $$

其中 $W_*$ 由达西律定义，$C > 0$ 不依赖于 $t$ 和 $\varepsilon$。

Theorem 1.2（大时间渐近稳定性与增强衰减）

在前述条件下，若额外假设初值满足：

$$ \rho_{\varepsilon,0} = \rho_{*,0}, \quad u_{\varepsilon,0} = u_{*,0}, \quad \|(\rho_{*,0} - 1, w_{\varepsilon,0}, u_{\varepsilon,0})\|_{\dot{B}^{\sigma_1}_{2,\infty}} \leq \beta_1, $$

其中 $-d \leq \sigma_1 < d/2 - 1$，则对所有 $t \geq 1$，有：

$$ \|(\rho_\varepsilon - 1, w_\varepsilon, u_\varepsilon)(t)\|_{\dot{B}^{\sigma}_{2,1}} \leq C (1+t)^{-\frac{1}{2}(\sigma - \sigma_1)}, \quad \sigma_1 < \sigma \leq d/2. $$

更进一步，误差项具有增强衰减性质：

$$ \|\rho_\varepsilon - \rho_*\|_{\dot{B}^{\sigma}_{2,1}} \leq C \varepsilon (1+t)^{-\frac{1}{2}(\sigma - \sigma_1)}, \quad \sigma_1 < \sigma \leq d/2 - 1, $$
$$ \|u_\varepsilon - u_*\|_{\dot{B}^{\sigma}_{2,1}} \leq C \varepsilon (1+t)^{-\frac{1}{2}(\sigma - \sigma_1)}, \quad \sigma_1 < \sigma \leq d/2, $$
$$ \|w_\varepsilon - \varepsilon u_\varepsilon\|_{\dot{B}^{\sigma}_{2,1}} \leq C \varepsilon (1+t)^{-\frac{1}{2}(\sigma - \sigma_1 + 1)}, \quad \sigma_1 < \sigma \leq d/2 - 1. $$

特别地，若 $\sigma_1 < \sigma \leq d/2 - 2$，则密度差可提升至：

$$ \|\rho_\varepsilon - \rho_*\|_{\dot{B}^{\sigma}_{2,1}} \leq C \varepsilon (1+t)^{-\frac{1}{2}(\sigma - \sigma_1 + 1)}. $$

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

本文采用了基于Littlewood-Paley 分解和能量估计的精细分析方法，结合谱分析与分频技巧，构建了一套适用于含小参数双曲-抛物耦合系统的统一框架。

a) 核心分析工具

  1. Littlewood-Paley 理论与 Besov 空间

    作者使用齐次 Besov 空间 $\dot{B}^s_{p,q}$ 进行估计，特别是 $\dot{B}^{d/2-1}_{2,1}$（Navier-Stokes 临界空间）和 $\dot{B}^{d/2+1}_{2,1}$（控制 Lipschitz 正则性）。这些空间在尺度变换下具有良好不变性，适合处理临界问题。

  2. 能量泛函构造

    定义复合能量泛函 $E_\varepsilon(t)$ 和耗散泛函 $D_\varepsilon(t)$，包含低频与高频分离项：

    $$ E_\varepsilon(t) := \|\rho_\varepsilon - 1\|_{L^\infty(\dot{B}^{d/2-1} \cap \dot{B}^{d/2})} + \|u_\varepsilon\|_{L^\infty(\dot{B}^{d/2-1})} + \|P w_\varepsilon\|_{L^\infty(\dot{B}^{d/2-1})} + \cdots $$

    特别引入两个阻尼模态：

    $$ Z_\varepsilon = P^\top w_\varepsilon + \frac{\nabla \rho_\varepsilon}{\rho_\varepsilon}, \quad R_\varepsilon = P w_\varepsilon - \varepsilon u_\varepsilon, $$

    它们分别捕获可压与不可压部分的松弛结构，并出现在耗散泛函中：

    $$ D_\varepsilon(t) \supset \frac{1}{\varepsilon^2} \|Z_\varepsilon\|_{L^1(\dot{B}^{d/2})} + \frac{1}{\varepsilon^2} \|R_\varepsilon\|_{L^1(\dot{B}^{d/2-1} \cap \dot{B}^{d/2})}. $$

  3. 谱分析与频率分区

    通过对线性化系统的傅里叶分析，得到特征值渐近展开。发现存在一个自然频率阈值 $|\xi| \sim \varepsilon^{-1}$：

    • 当 $|\xi| \ll \varepsilon^{-1}$（低频）：系统表现如抛物型，趋近 KS-NS；
    • 当 $|\xi| \gg \varepsilon^{-1}$（高频）：振荡强烈，但能量快速衰减。

    因此，作者设计双区能量估计：在低频区利用阻尼模态揭示极限结构；在高频区使用hypocoercivity 方法获得一致性控制。

  4. 误差估计法（Error Estimate Method）

    不直接比较原系统与极限系统，而是通过构造误差方程并估计 $\|\rho_\varepsilon - \rho_*\|$、$\|u_\varepsilon - u_*\|$ 等，实现对 $\varepsilon$ 的显式收敛速率 $O(\varepsilon)$。

b) 技术性突破与难点克服

  1. 弱耗散机制的处理

    与经典带阻尼欧拉方程不同，E-NS 中没有直接速度阻尼项，只有相对速度耦合项 $\frac{1}{\varepsilon}(w_\varepsilon - \varepsilon u_\varepsilon)$。为此，作者巧妙引入 $Z_\varepsilon$ 和 $R_\varepsilon$，将原始变量转化为具有显式耗散的组合变量。

  2. 非线性交叉项的控制

    输运项如 $w_\varepsilon \cdot \nabla w_\varepsilon$、$u_\varepsilon \cdot \nabla u_\varepsilon$ 和耦合项 $a_\varepsilon (w_\varepsilon - \varepsilon u_\varepsilon)$ 需用 Besov 乘积不等式精细估计，例如：

    $$ \|\mathrm{div}(f g)\|_{\dot{B}^s_{p,1}} \lesssim \|f\|_{\dot{B}^{s+1}_{p,1}} \|g\|_{L^\infty} + \|f\|_{L^\infty} \|g\|_{\dot{B}^{s+1}_{p,1}}. $$

  3. $\varepsilon$-一致性估计

    所有估计必须独立于 $\varepsilon$，尤其是在高频区。作者通过 rescaling 技巧和谱 gap 分析，确保即使 $\varepsilon \to 0$，高阶正则性仍一致保持。

  4. 初值无需兼容条件

    传统松弛极限常要求初值满足某种“准备条件”（well-prepared），但本文允许非准备初值（ill-prepared），只需 $w_{\varepsilon,0} = O(1)$，大大拓宽了适用范围。

与之前工作的比较

a) 突破与改进

  1. 首次严格证明 E-NS → KS-NS 的松弛极限

    虽然已有工作研究 VFP-NS → E-NS 或 VFP-NS → KS-NS（如 Goudon-Jabin-Vasseur [30]），但从未有人证明 E-NS → KS-NS 的奇异极限。本文填补了这一关键环节（见图1），完成了从微观到宏观的完整链条。

  2. 放宽初值条件：无需 Darcy 兼容性

    多数松弛极限要求初值满足极限方程的静态关系（如 $\rho_{\varepsilon,0} w_{\varepsilon,0}/\varepsilon + \nabla \rho_{\varepsilon,0} - \rho_{\varepsilon,0} u_{\varepsilon,0} \to 0$），但本文完全不要求此条件（Remark 1.4），仅需 $w_{\varepsilon,0} = O(1)$，更具物理合理性。

  3. 更强的正则性与一致性控制

    以往工作多在 Sobolev 空间中研究高正则解，而本文在临界 Besov 空间中建立全局存在性与 $\varepsilon$-一致估计，技术难度更高，结果更优。

  4. 获得增强衰减速率

    不仅恢复 KS-NS 的标准衰减，还证明误差 $\rho_\varepsilon - \rho_*$ 的衰减比单个系统更快（多出因子 $(1+t)^{-1/2}$），体现“扩散强化”效应。

  5. 提出新方法：阻尼模态 + 分频能量法

    区别于 Hilbert 展开或相对熵法，本文发展了一种基于物理模态重构的能量方法，有望推广至其他多尺度耦合系统。

  6. 维度推广至 $d \geq 2$

    许多类似结果仅适用于 $d=3$，而本文在任意 $d \geq 2$ 成立，更具普适性。

综上，本文不仅解决了长期悬而未决的数学问题，还提供了全新的分析视角和工具，对多相流、奇异极限与临界正则性理论均有深远影响。

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

1. Weak-Strong Uniqueness and Relaxation Limit for a Navier-Stokes-Korteweg Model

弱解与强解的唯一性及Navier-Stokes-Korteweg模型的松弛极限

作者: Nilasis Chaudhuri, Christian Rohde, Florian Wendt

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09719v1

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

摘要翻译

中文标题: 弱解与强解的唯一性及Navier-Stokes-Korteweg模型的松弛极限

摘要翻译: 本文考虑在等温框架下可压缩Navier-Stokes-Korteweg方程的一类抛物型松弛模型。该系统依赖于松弛参数 $ \alpha, \beta > 0 $，并在松弛极限 $ \alpha \to \infty $ 和 $ \beta \to 0 $ 下形式上逼近可压缩Navier-Stokes-Korteweg方程的解。针对三维空间中该松弛模型初边值问题，我们引入了有限能量弱解的函数类，并证明了弱-强唯一性原理成立。该原理表明，只要强解存在，从相同初始数据出发的弱解与强解便完全一致。此外，我们还给出了松弛极限 $ \alpha \to \infty $、$ \beta \to 0 $ 的严格收敛结果，从而从数学角度验证了该松弛模型作为可压缩Navier-Stokes-Korteweg方程近似模型的合理性。我们的结果适用于一般的非单调压力-密度关系。

2. Regularity and pointwise convergence for dispersive equations on Riemannian symmetric spaces of compact type

紧致型黎曼对称空间上色散方程的正则性与逐点收敛性

作者: Utsav Dewan, Sanjoy Pusti

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09689v1

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

摘要翻译

中文标题: 紧致型黎曼对称空间上色散方程的正则性与逐点收敛性

摘要翻译: 本文中，我们首先证明了对于紧致型黎曼对称空间 $\mathbb{X}=U/K$（其中 $U$ 为紧致半单李群，$K$ 为其闭子群）上的一般色散方程，当空间的秩为 $1$ 或 $2$ 时，若初始数据具有 Sobolev 正则性指标 $α>1/2$，则足以保证解在 $\mathbb{X}$ 上几乎处处逐点收敛。接着，我们针对若干秩为 $1$ 的特殊情形，考虑 $K$-双不变初始数据，并结合几何与拓扑因素进行分析，进一步将正则性阈值的充分条件改进至 $α>1/3$；而对于薛定谔方程，当 $α<1/4$ 时该逐点收敛现象不成立。此外，借助一个新颖的转移原理，我们还将上述结果推广至其他色散方程，包括 Boussinesq 方程和梁方程（又称四阶波动方程）；这一转移原理即使在圆周 $\mathbb{T} \cong SO(2)$ 的情形下也属首次出现，本身可能具有独立的研究价值。本文的论证涉及紧致半单李群表示理论所导出的调和分析工具，以及数论方法。

3. On a large deviation principle for 1d cubic NLS with optimal decaying data

关于具最优衰减数据的一维三次NLS的大偏差原理

作者: Chenjie Fan, Feng Ye

类别: math.AP, math.PR

发布日期: 2025-12-10

arXiv ID: 2512.09599v1

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

摘要翻译

中文标题: 关于具最优衰减数据的一维三次NLS的大偏差原理

摘要翻译: 本文重新考察了文献\cite{garrido2023large}的工作，并针对三次非线性薛定谔方程（NLS）更一般的随机初值数据证明了大偏差原理。我们所考虑的随机数据的傅里叶系数具有最优的多项式衰减性。

4. On the elasto-plastic filtration equation

关于弹塑性渗流方程的研究

作者: Arturo de Pablo, Fernando Quiros, Julio D. Rossi

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09298v1

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

摘要翻译

中文标题: 关于弹塑性渗流方程的研究

摘要翻译: 我们研究定义在有界区域上、具狄利克雷边界条件的完全非线性热方程 $b(\partial_tu)\partial_tu=Δu$。其中，当 $s<0$ 时 $b(s)=b^-$，当 $s>0$ 时 $b(s)=b^+$，且 $b^-$ 与 $b^+$ 为两个不相等的正常数。该方程描述了弹性流体在弹塑性多孔介质中的流动。我们关注粘性解的存在性与唯一性，并研究当 $t\to\infty$ 以及当 $b^-\to 0^+$ 或 $b^+\to +\infty$ 时解的渐近行为。此外，我们还将该问题的解刻画为一类极小化动态博弈的极限。

不相关论文（基本信息）

1. Symmetry for the wave equation on torus: sharp unique continuation and observability conditions for spacetime regions

环面上波动方程的对称性：时空区域的sharp唯一延拓性与可观察性条件

作者: Jingrui Niu, Ming Wang, Shengquan Xiang

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09873v1

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

摘要: In this work, we discover a new symmetry structure for the 1D wave equations associated with spacetime observable regions: observable symmetry condition. This structure yields a new conservation law for forced wave equations and provides a necessary condition for unique continuation, observability, and controllability. Building on this symmetry, we establish a necessary and sufficient condition for unique continuation by introducing a weak GCC. Moreover, this symmetry serves as an essential complement to the classical GCC, allowing us to derive a necessary and sufficient characterization of observability and controllability through spacetime geometric regions.

2. On Landis’ conjecture in the plane for real-valued potentials with decay

关于平面上具衰减实值势函数的Landis猜想

作者: Blair Davey

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09839v1

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

摘要: We investigate the quantitative unique continuation properties of real-valued solutions to planar Schrödinger equations with potential functions that exhibit pointwise decay at infinity. That is, for equations of the form $-Δu + V u = 0$ in $\mathbb{R}^2$, where $|V(z)| \lesssim \langle z \rangle^{-N}$ for some $N > 0$, we prove that real-valued solutions satisfy exponential decay estimates with a rate that depends explicitly on $N$. Examples show that the estimates established here are essentially sharp. The case of $N = 0$ corresponds to the Landis conjecture, which was proved for real-valued solutions in the plane in [LMNN20], while the case of $N < 0$ was previously investigated by the author in [Dav24]. Here, the proof techniques rely on the ideas presented in [LMNN20] combined with conformal transformations and an iteration scheme.

3. A mixed local-nonlocal Hénon problem in $\mathbb{R}^N$

$\mathbb{R}^N$ 中的一类混合局部-非局部 Hénon 问题

作者: Pablo Ochoa, Ariel Salort

类别: math.AP

发布日期: 2025-12-10

arXiv ID: 2512.09794v1

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

摘要: In this article, we study a Hénon-type equation in $\mathbb{R}^N$ driven by a nonlinear operator given by the combination of a local and a nonlocal term. This equation was originally proposed to model spherically symmetric stellar clusters. Here, we prove that, under a suitable relation among the parameters, there exists a threshold separating the existence and non-existence of solutions. Moreover, we establish regularity properties of the solutions.

4. The tangent space to the Wasserstein space: parallel transport and other applications

Wasserstein空间的切空间：平行移动及其他应用

作者: Charles Bertucci

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

发布日期: 2025-12-10

arXiv ID: 2512.09763v1

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

摘要: We propose a new notion of the formal tangent space to the Wasserstein space $\mathcal{P}(X)$ at a given measure. Modulo an integrability condition, we say that this tangent space is made of functions over $X$ which are valued in the probability measures over the tangent bundle to $X$. This generalization of previous concepts of tangent spaces allows us to define appropriate notions of parallel transport, $\mathcal{C}^{1,α}$ regularity over $\mathcal{P}(X)$ and translation of a curve over $\mathcal{P}(X)$.

5. Fractional weighted Sobolev spaces associated to the Riesz fractional gradient

与Riesz分数阶梯度相关的分数阶加权Sobolev空间

作者: Guillermo García-Sáez

类别: math.AP, math.FA

发布日期: 2025-12-10

arXiv ID: 2512.09575v1

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

摘要: In this work, we introduce a new family of functions spaces, the weighted fractional Sobolev spaces $X^{s,p}_{0,w}(Ω)$, where $w$ is a weight in the Muckenhoupt class $A_p$. This space is a natural extension of the fractional Sobolev spaces $H^{s,p}_0$, obtained by means of the Riesz fractional gradient $D^s$, to the setting of the weighted Lebesgue spaces $L^p_w$. As it happened in the unweighted space, the spaces $X^{s,p}_{0,w}(Ω)$ coincide with the weighted version of the Bessel potential space. We obtaien several structural properties for these spaces, as well as continuous and compact embeddings. We conclude with the study of a family of degenerate fractional elliptic partial differential equations.

6. Normalized solutions of $L^2$ supercritical NLS equations in exterior domains with inhomogeneous nonlinearities

外部区域中具有非齐次非线性项的 $L^2$ 超临界非线性薛定谔方程的归一化解

作者: Xiaojun Chang, Cong-Mei Li

类别: math.AP, math-ph

发布日期: 2025-12-10

arXiv ID: 2512.09437v1

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

摘要: This paper establishes the existence of normalized mountain pass solutions to the $L^2$-supercritical nonlinear Schrödinger equation with inhomogeneous nonlinearity $|x|^{-α}|u|^{p-2}u$ in exterior domains. In contrast, for the autonomous case ($α=0$), Appolloni & Molle (2025) and Zhang & Zhang (2022) showed that potential mountain pass solutions share the same energy levels as in $\mathbb{R}^N$, causing non-existence due to energy leakage to infinity. This work demonstrates that the physically motivated decaying term $|x|^{-α}$ breaks the scaling symmetry inherent in the autonomous case. Such breaking energetically separates the exterior domain problem from the whole space one and thereby prevents energy leakage. Using a novel min-max argument that combines monotonicity trick, Morse index estimates, and blow-up analysis, we prove the existence of a positive mountain pass solution for sufficiently small mass, revealing a new phenomenon of non-autonomous nonlinearities in non-compact domains.

7. Fractional calculus approach to models of adsorption: Barrier-diffusion control

吸附模型的分数阶微积分方法：屏障-扩散控制

作者: Ivan Bazhlekov, Emilia Bazhlekova

类别: math.AP, math-ph

发布日期: 2025-12-10

arXiv ID: 2512.09426v1

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

摘要: The mathematical model of surfactant adsorption under mixed barrier-diffusion control is analyzed using techniques from fractional calculus. The kinetic models of Henry, Langmuir, Frumkin, Volmer and van der Waals are considered. First, treating the Ward-Tordai integral equation as a fractional order one, the partial differential model is transformed into a single fractional ordinary differential equation for the adsorption. A transformation of the obtained equation is proposed that reduces the number of parameters to two dimensionless groups (at Frumkin and van der Waals models a third parameter appears). In the simplest case of Henry adsorption isotherm the fractional differential model depends on a single dimensionless group and an exact solution exists, represented in terms of Mittag-Leffler functions. Based on this solution, second order asymptotes (at small values of the adsorption) are derived for the other models. The asymptotes of the adsorption result in a higher order asymptotes for the surface pressure (surface tension). For small surface coverage, all considered models converge to the Henry model’s predictions, making it a universal first-order approximation for the surface tension. Next, the fractional differential model is written as an integral equation %of fractional order that can be considered as a generalization of the well-known Ward-Tordai equation to the case of barrier-diffusion control. For computer simulation of the obtained integral equation a predictor-corrector numerical method is developed and numerical results are presented and discussed.

8. Geometric properties of optimizers for the maximum gradient of the torsion function

扭转函数最大梯度优化子的几何性质

作者: Krzysztof Burdzy, Ilias Ftouhi, Xuefeng Liu, Phanuel Mariano

类别: math.AP, math.OC

发布日期: 2025-12-10

arXiv ID: 2512.09400v1

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

摘要: Consider $J(Ω):= \|\nabla u_Ω\|_\infty/\sqrt{|Ω|} $ and $J_P(Ω):= \|\nabla u_Ω\|_\infty/P(Ω) $, where $Ω$ is a planar convex domain, $u_Ω$ is the torsion function, $P(Ω)$ is the perimeter of $Ω$ and $|Ω|$ its area. We prove that there exist planar convex domains that maximize the functionals $J$ and $J_P$, and any maximizer has a $C^1$ boundary that contains a line segment on which $|\nabla u_Ω|$ attains its maximum.

9. Geometric invariants and the Monge-Ampere equation in Kähler geometry

几何不变量与凯勒几何中的蒙日-安培方程

作者: Bin Guo, Duong H. Phong

类别: math.DG, math.AP

发布日期: 2025-12-09

arXiv ID: 2512.09068v1

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

摘要: This is a contribution to the special issue of Surveys in Differential Geometry celebrating the 75th birthday of Shing-Tung Yau. The bulk of the paper is devoted to a survey of some new geometric inequalities and estimates for the Monge-Ampere equation, obtained by the authors in the last few years in joint work with F. Tong, J. Song, and J. Sturm. These all depend in an essential way on Yau’s solution of the Calabi conjecture, which is itself nearing its own 50th birthday. The opportunity is also taken to survey briefly many current directions in complex geometry, which he more recently pioneered.

10. On a cross-diffusion hybrid model: Cancer Invasion Tissue with Normal Cell Involved

关于一种交叉扩散混合模型：涉及正常细胞的癌症侵袭组织研究

作者: Guanjun Pan, Hong-Ming Yin

类别: math.AP

发布日期: 2025-12-09

arXiv ID: 2512.08929v1

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

摘要: In this paper, we study a well-posedness problem on a new mathematical model for cancer invasion within the plasminogen activation system, which explicitly incorporates cooperation with host normal cells. Key biological mechanisms–including chemotaxis, haptotaxis, recruitment, logistic growth, and natural degradation of normal cells–along with other primary components (cancer cells, vitronectin, uPA, uPAI-1 and plasmin) are modeled via a continuum framework of cancer cell invasion of the extracellular matrix. The resulting model constitutes a strongly coupled, cross-diffusion hybrid system of differential equations. The primary mathematical challenges arise from the strongly coupled cross-diffusion terms, the parabolic operators of divergence form, and the interaction between the cross-diffusion fluxes and the ODE components. We address these by deriving several a priori estimates for dimensions d less or equal to 3. Subsequently, we employ a decoupling strategy to split the system into proper sub-problems, establishing the existence (and uniqueness) for each subsystem. Finally, we demonstrate the global existence and uniqueness of the solution for dimensions d less or equal to 2 and the global existence of a solution for dimension d = 3.

11. The Maxwell equations on full sub-extremal and extremal Kerr spacetimes

完全次极值及极值克尔时空上的麦克斯韦方程

作者: Gabriele Benomio, Rita Teixeira da Costa

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

发布日期: 2025-12-09

arXiv ID: 2512.08917v1

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

摘要: We study the Cauchy problem for the Maxwell equations in the exterior region of Kerr black hole spacetimes. The equations are formulated for components of the Maxwell field relative to the algebraically special frame of Kerr, with the unknowns treated as tensorial quantities associated with a non-integrable horizontal distribution. The extremal Maxwell components decouple into Teukolsky equations, whereas the middle Maxwell components form a coupled system of transport and elliptic equations. Assuming control over the extremal components, we prove uniform boundedness (without loss of derivatives) and decay estimates for the middle components in the full |a|<=M range of spacetime parameters. Our analysis relies on (i) deriving a decoupled system of transport and elliptic equations for two modified middle Maxwell components and (ii) decomposing general solutions into a dynamical and stationary part, the latter determined by two real (electric and magnetic) charges which are entirely read off from the initial data at the event horizon. In the sub-extremal |a|<M case, works of Shlapentokh-Rothman and the second author provide the necessary control over the extremal components, yielding unconditional boundedness and decay results for all the unknowns in the equations. In the extremal |a|=M case, we formulate a conjectural boundedness and decay statement for the extremal components, motivated by work of Casals, Gralla and Zimmerman on fixed azimuthal mode solutions compactly supported away from the event horizon. Our boundedness and decay results for all the unknowns in the equations remain, therefore, conditional. We show that the complicated dynamics of the extremal components at the event horizon is inherited by the middle components; in particular, we uncover novel conservation laws for the middle components of axisymmetric solutions.