生成时间: 2025年11月13日 15:45:52

重点关注论文数量: 4

了解领域论文数量: 6

不相关论文数量: 40

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

1. Hydrodynamic limit for compressible Navier-Stokes-Vlasov-Poisson equations with local alignment force

具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限

作者: Yunfei Su, Lei Yao

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06792v1

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

详细分析

中文标题: 具有局部对齐力的可压缩Navier-Stokes-Vlasov-Poisson方程的流体动力学极限

研究对象和背景

本文研究的是可压缩Navier-Stokes-Vlasov-Poisson系统在三维环面 $T^3$ 上的流体动力学极限问题，特别引入了局部对齐力（local alignment force）。该系统描述了一类典型的流体-粒子耦合系统，其中大量带电的微小固体粒子悬浮于可压缩粘性流体中，并通过相互作用影响彼此的运动。这类模型广泛应用于等离子体物理、气溶胶动力学、生物群体运动等领域。

系统的数学形式由以下耦合偏微分方程组给出：

$$ \begin{cases} \partial_t f^\epsilon + \xi \cdot \nabla_x f^\epsilon - \text{div}_\xi \left( (u^\epsilon - \xi - \nabla_x \Phi^\epsilon) f^\epsilon \right) = -\frac{1}{\epsilon} \text{div}_\xi \left( (u_f^\epsilon - \xi) f^\epsilon \right), \\ \partial_t \rho^\epsilon + \text{div}_x (\rho^\epsilon u^\epsilon) = 0, \\ \partial_t (\rho^\epsilon u^\epsilon) + \text{div}_x (\rho^\epsilon u^\epsilon \otimes u^\epsilon) + \nabla p^\epsilon - \Delta u^\epsilon = - \int_{\mathbb{R}^3} (u^\epsilon - \xi) f^\epsilon d\xi, \end{cases} $$

其中 $(t,x,\xi) \in \mathbb{R}^+ \times T^3 \times \mathbb{R}^3$，$f^\epsilon(t,x,\xi)$ 是粒子在相空间 $(x,\xi)$ 的分布函数，$\rho^\epsilon(t,x)$ 和 $u^\epsilon(t,x)$ 分别是流体的密度和速度场，$p(\rho^\epsilon) = (\rho^\epsilon)^\gamma$（$\gamma > 3/2$）为压力项。$\Phi^\epsilon(t,x)$ 是由带电粒子产生的电势，满足泊松方程 $-\Delta \Phi^\epsilon = \rho_f^\epsilon - 1$，其中 $\rho_f^\epsilon = \int f^\epsilon d\xi$ 为局部粒子密度，而 $u_f^\epsilon = \frac{1}{\rho_f^\epsilon} \int \xi f^\epsilon d\xi$ 为局部粒子平均速度。

该系统的耦合机制体现在两个方面：一是Vlasov方程中的拖拽项（drag term）$(u^\epsilon - \xi - \nabla_x \Phi^\epsilon)$，表示流体速度、粒子速度与电场共同作用下的加速度；二是Navier-Stokes方程右侧的Brinkman力（源项），即 $-\int (u^\epsilon - \xi) f^\epsilon d\xi$，代表粒子对流体施加的动量交换力。

值得注意的是，系统中还包含一个关键的局部对齐力项：$-\frac{1}{\epsilon} \text{div}_\xi \left( (u_f^\epsilon - \xi) f^\epsilon \right)$。这一项来源于Cucker-Smale或Motsch-Tadmor类型的群体动力学模型，其物理意义是驱动粒子速度趋向于局部平均速度 $u_f^\epsilon$。参数 $\epsilon > 0$ 趋于零时，该对齐效应趋于无穷强，预示着粒子速度分布将趋于集中在 $u_f^\epsilon$ 附近，即呈现单速流体行为。这正是“流体动力学极限”所关注的核心现象：当微观尺度 $\epsilon \to 0$ 时，整个系统是否收敛到一个宏观的两相流体模型？

论文将泊松势 $\Phi^\epsilon$ 用卷积形式重写为 $\Phi^\epsilon = K * (\rho_f^\epsilon - 1)$，其中 $K(x) = c_1 |x|^{-1} + G_1(x)$ 是一个偶函数，$c_1 > 0$ 为归一化常数，$G_1$ 在 $T^3$ 上光滑。这种处理使得系统更便于分析，尤其是在利用相对熵方法（relative entropy method）进行估计时。

研究区域为三维环面 $T^3$，这意味着周期性边界条件自动满足，避免了复杂边界的处理。作者考虑的是弱解（weak solutions）的存在性与极限行为。根据定义1.1，弱解需满足一系列积分恒等式及能量不等式。特别是，初始数据满足如下假设：

$$ F(f_0^\epsilon, \rho_0^\epsilon, u_0^\epsilon) < \infty, \quad \int_{T^3} H(U_0^\epsilon | U_0) dx \leq C \sqrt{\epsilon}, \quad \int_{T^3} \left( F(f_0^\epsilon, \rho_0^\epsilon, u_0^\epsilon) - \frac{1}{2} |\nabla K * (\rho_{f0}^\epsilon - 1)|^2 - H(U_0^\epsilon) \right) dx \leq C \sqrt{\epsilon}, $$

这些条件保证了初始状态相对于极限系统的“接近程度”以 $\sqrt{\epsilon}$ 控制，是后续使用相对熵方法的关键前提。

主要定理或主要结果

本文的主要结果由 Theorem 1.1 给出。设 $T > 0$，$\gamma > 3/2$，$(f^\epsilon, \rho^\epsilon, u^\epsilon)$ 是初值问题 (1.2)-(1.3) 在 Definition 1.1 意义下的全局弱解，且初值满足 (1.10)-(1.12)。设 $(\rho, u, \rho_f, u_f)$ 是极限系统 (2.2) 的光滑解，对应的初值也满足相应光滑性条件。则存在正常数 $C$，使得以下相对熵不等式成立：

$$ \int_{T^3} H(U^\epsilon | U) dx + \int_{T^3} |\nabla K * (\rho_f^\epsilon - \rho_f)|^2 dx + \int_0^T \int_{T^3} \rho^\epsilon |(u_f^\epsilon - u_f) - (u - u^\epsilon)|^2 dx ds + \int_0^T \int_{T^3} |\nabla (u - u^\epsilon)|^2 dx ds \leq C \sqrt{\epsilon}. $$

由此可推出以下收敛性结论：

  • $\rho^\epsilon \to \rho$ in $L^1_{\text{loc}}(0,T; L^p(T^3))$ for $p \in [1,\gamma]$,
  • $\rho_f^\epsilon \to \rho_f$ in $L^2(0,T; H^{-1}(T^3))$,
  • $f^\epsilon \to \rho_f \otimes \delta_{\xi = u_f}$ in $\mathcal{D}'((0,T)\times T^3 \times \mathbb{R}^3)$,
  • $\rho^\epsilon u^\epsilon \to \rho u$ in $L^\infty(0,T; L^1(T^3))$,
  • $\rho_f^\epsilon u_f^\epsilon \to \rho_f u_f$ in $\mathcal{D}'((0,T)\times T^3)$.

该定理表明，当 $\epsilon \to 0$ 时，原系统的弱解收敛到一个由两相流体构成的极限系统。具体而言，粒子分布函数 $f^\epsilon$ 收敛到一个在速度方向上以 $\delta$ 函数集中于局部平均速度 $u_f$ 的分布，意味着粒子趋于完全同步；流体密度与速度收敛到相应的宏观量。

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

a) 核心分析学工具

本文最核心的工具是相对熵方法（relative entropy method），这是研究流体动力学极限和弱-强唯一性的一类强大技术。其基本思想是比较原始系统的解与目标极限系统的解之间的“距离”，通过构造合适的相对熵泛函 $H(U^\epsilon | U)$ 来量化这种差异，并证明该泛函随时间的增长被一个小量控制，从而得到收敛性。

具体地，作者定义了极限系统的守恒律形式：

$$ \partial_t U + \text{div}_x A(U) = F(U), $$

其中 $U = (\rho, m, \omega, \rho_f)^T$ 包含流体和粒子的宏观变量，$A(U)$ 是通量矩阵，$F(U)$ 是源项。对应的能量泛函为：

$$ H(U) = \frac{\omega^2}{2\rho_f} + \frac{m^2}{2\rho} + \frac{1}{\gamma-1}\rho^\gamma. $$

相对熵泛函定义为：

$$ H(\bar{U}|U) := H(\bar{U}) - H(U) - DH(U)(\bar{U} - U), $$

这是一个关于 $\bar{U} - U$ 的二阶Taylor展开余项，在 $U$ 光滑时能有效控制解的偏差。

此外，作者还依赖了以下重要工具：

  1. 能量不等式：引理3.1和3.2给出了原始系统弱解的能量估计，包括总能量有界性和耗散项的积分控制。这是应用相对熵方法的基础。
  2. Poincaré型不等式（Lemma 3.4）：用于控制 $L^2$ 范数与加权 $L^2$ 范数及梯度之间的关系，特别是在处理 $\|u\|_{L^2}$ 项时至关重要。
  3. Grönwall引理：在最终估计中用于封闭不等式，将积分形式的控制转化为逐点控制。
  4. 弱紧性论证：虽然文中未显式展开，但收敛性结论依赖于弱解框架下的紧性，确保极限过程可行。

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

本文面临的核心技术挑战在于：Vlasov方程中缺乏扩散项（如Fokker-Planck项 $\Delta_\xi f$），导致传统的相对熵方法无法直接获得粒子密度 $\rho_f^\epsilon$ 的收敛性。此前的工作（如Choi-Jung [13]）依赖于Fokker-Planck项提供的额外耗散来控制 $P(\rho_f^\epsilon|\rho_f)$ 项，但在本模型中此路不通。

作者巧妙地利用了库仑相互作用（Coulomb interaction）来克服这一困难。关键观察是：由于 $-\Delta K * (\rho_f^\epsilon - \rho_f) = \rho_f^\epsilon - \rho_f$ 在弱意义下成立，因此可以通过控制电势梯度 $\nabla K * (\rho_f^\epsilon - \rho_f)$ 来间接控制密度差 $\rho_f^\epsilon - \rho_f$。这一思想源自Han-Kwan & Michel [25] 对不可压情形的研究。

具体技巧体现在对相对熵不等式中各项 $J_i$ 的估计：

  • $J_1$ 利用初始条件 (1.11) 直接控制为 $O(\sqrt{\epsilon})$。
  • $J_2, J_3$ 通过能量不等式和假设 (1.12) 结合 Lemma 3.2 估计为 $O(\sqrt{\epsilon})$。
  • $J_4, J_6$ 利用相对熵本身进行控制，形如 $C \int H(U^\epsilon|U) dx$。
  • 最关键的 $J_5$ 项：$\int_0^t \int (\rho_f^\epsilon - \rho_f)(u_f - u)\cdot(u^\epsilon - u) dx ds$，正是这里利用了 $-\Delta K * (\rho_f^\epsilon - \rho_f) = \rho_f^\epsilon - \rho_f$ 和 Poincaré 不等式，将其与 $\int |\nabla K * (\rho_f^\epsilon - \rho_f)|^2 dx$ 联系起来，从而可被主控项吸收。
  • $J_7$ 项利用核 $K$ 的对称性进行估计，结合初始误差控制。

最终通过Grönwall引理完成闭环估计，得到 $\int H(U^\epsilon|U) dx \leq C \sqrt{\epsilon}$，实现了无扩散项下的流体动力学极限。

与之前工作的比较

a) 突破与改进

本文相较于先前工作做出了显著突破，主要体现在以下几个方面：

  1. 首次处理无耗散的可压缩NSVP系统：此前关于可压缩流体-粒子系统的流体动力学极限，大多要求Vlasov方程中包含Fokker-Planck扩散项（如[13]），以提供足够的正则性和紧性。本文成功去除了这一关键假设，仅保留局部对齐力，更具物理真实性（如某些等离子体模型），技术难度显著提高。

  2. 创新性利用电势控制密度振荡：面对无扩散导致的密度控制难题，作者没有沿用传统路径，而是创造性地借鉴了[25]的思想，利用泊松耦合带来的椭圆正则性来补偿。这一技巧使得即使在可压缩情形下，也能有效控制 $\rho_f^\epsilon - \rho_f$，是本文最核心的技术创新。

  3. 推广至可压缩情形：Han-Kwan & Michel [25] 的工作局限于不可压Navier-Stokes-Vlasov系统。本文将其思想成功拓展到可压缩情形，涉及更复杂的压力项、密度演化以及能量结构，分析更为精细。

  4. 明确指出现有方法的局限性：作者在Remark 1.2中清晰指出，对于无电荷的纯Navier-Stokes-Vlasov系统（即无Poisson耦合），目前尚无法处理三维情形的流体动力学极限，因为既无扩散又无电势来控制密度。这凸显了本文方法的必要性和特殊性。

综上所述，本文通过精巧地结合相对熵方法与泊松方程的椭圆性质，在更弱的假设下（无扩散项）解决了可压缩Navier-Stokes-Vlasov-Poisson系统的流体动力学极限问题，不仅填补了理论空白，也为处理类似无耗散耦合系统提供了新的技术范式。

2. Global well-posedness of strong solutions to a bulk-surface Navier-Stokes-Cahn-Hilliard model with non-degenerate mobilities in two dimensions

二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性

作者: Jonas Stange

类别: math.AP, math-ph

发布日期: 2025-11-10

arXiv ID: 2511.06847v1

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

详细分析

中文标题: 二维情形下具有非退化迁移率的体相-表面Navier-Stokes-Cahn-Hilliard模型强解的整体适定性

研究对象和背景

本文研究的是一个在二维有界区域中定义的体相-表面耦合的Navier–Stokes–Cahn–Hilliard（NSCH）系统，该系统描述了具有不同密度的粘性流体混合物在体相（bulk）与边界表面（surface）之间的动力学行为。模型在热力学上保持一致，并通过扩散界面方法（diffuse interface method）刻画两相流体的分离过程。

系统的物理背景来源于多相流体在复杂几何边界上的演化问题，尤其是在生物膜、微流控系统或材料科学中出现的体相与表面相互作用现象。传统上，这类问题常采用Sharp Interface模型处理，但其数学处理困难且难以追踪移动接触线。因此，近年来广泛采用Cahn–Hilliard型的相场模型来替代，其中界面被表示为一个具有小但有限厚度的过渡层，由相场变量 $\phi$ 和 $\psi$ 分别描述体相和表面上的物质分布。

该模型由以下偏微分方程组构成：

$$ \partial_t (\rho(\phi)v) + \mathrm{div}(v \otimes (\rho(\phi)v + J)) = \mathrm{div}\, T, \quad \mathrm{div}\, v = 0 \quad \text{in } Q, $$

$$ \partial_t (\sigma(\psi)w) + \mathrm{div}_\Gamma (w \otimes (\sigma(\psi)w + K)) = \mathrm{div}_\Gamma\, T_\Gamma + Z, \quad \mathrm{div}_\Gamma w = 0 \quad \text{on } \Sigma, $$

$$ w = v|_\Gamma, \quad v \cdot n = 0 \quad \text{on } \Sigma, $$

$$ \partial_t \phi + \mathrm{div}(\phi v) = \mathrm{div}(m_\Omega(\phi)\nabla \mu) \quad \text{in } Q, $$

$$ \mu = -\Delta \phi + F'(\phi) \quad \text{in } Q, $$

$$ \partial_t \psi + \mathrm{div}_\Gamma(\psi w) = \mathrm{div}_\Gamma(m_\Gamma(\psi)\nabla_\Gamma \theta) - \beta m_\Omega(\phi)\partial_n \mu \quad \text{on } \Sigma, $$

$$ \theta = -\Delta_\Gamma \psi + G'(\psi) + \alpha \partial_n \phi \quad \text{on } \Sigma, $$

$$ K \partial_n \phi = \alpha \psi - \phi, \quad L m_\Omega(\phi) \partial_n \mu = \beta \theta - \mu \quad \text{on } \Sigma, $$

$$ \phi|_{t=0} = \phi_0, \quad v|_{t=0} = v_0 \quad \text{in } \Omega, $$

$$ \psi|_{t=0} = \psi_0, \quad w|_{t=0} = w_0 \quad \text{on } \Gamma. $$

其中：

  • $ \Omega \subset \mathbb{R}^2 $ 是一个具有 $ C^3 $ 边界的有界区域；
  • $ Q = \Omega \times (0,\infty) $，$ \Sigma = \Gamma \times (0,\infty) $，$\Gamma = \partial \Omega$；
  • $ v: Q \to \mathbb{R}^2 $ 是体相速度场，$ w: \Sigma \to \mathbb{R}^2 $ 是表面速度场；
  • $ \phi: Q \to \mathbb{R} $ 是体相相场变量，表示两种流体的空间分布；
  • $ \psi: \Sigma \to \mathbb{R} $ 是表面相场变量；
  • $ \mu, \theta $ 分别是体相和表面的化学势；
  • $ \rho(\phi), \sigma(\psi) $ 是依赖于相场的密度函数，形式为仿射插值；
  • $ m_\Omega(\phi), m_\Gamma(\psi) $ 是Onsager迁移率函数，本文重点考虑非退化情形，即存在常数 $ m_*, m^* > 0 $ 使得 $ m_* \leq m_\Omega(s), m_\Gamma(s) \leq m^* $ 对所有 $ s \in [-1,1] $ 成立；
  • $ F, G $ 是双阱势函数（如Flory–Huggins对数势），驱动相分离；
  • $ \nabla_\Gamma, \mathrm{div}_\Gamma, \Delta_\Gamma $ 分别表示表面梯度、散度和Laplace–Beltrami算子；
  • 边界条件中的参数 $ K, L \in [0,\infty] $ 控制体相与表面之间质量与化学势的耦合强度，属于动态边界条件范畴。

特别值得注意的是，该模型引入了表面Navier–Stokes方程，这源于将生物膜视为具有横向动量输运能力的活性层的思想（fluid-mosaic模型）。同时，通过非局部耦合项（如 $ \partial_n \phi $ 和 $ \partial_n \mu $）实现体相与表面的双向交互，从而突破了经典Neumann边界条件的局限性。

此外，文中还定义了一个总能量泛函：

$$ E_{\mathrm{tot}}(v,w,\phi,\psi) = \int_\Omega \frac{\rho(\phi)}{2}|v|^2 dx + \int_\Gamma \frac{\sigma(\psi)}{2}|w|^2 d\Gamma + \int_\Omega \left( \frac{1}{2}|\nabla \phi|^2 + F(\phi) \right) dx $$

$$

  • \int_\Gamma \left( \frac{1}{2}|\nabla_\Gamma \psi|^2 + G(\psi) \right) d\Gamma + \int_\Gamma \chi(K) \frac{1}{2}(\alpha \psi - \phi)^2 d\Gamma,
    $$ 并验证其满足**能量耗散律**： $$
    \frac{d}{dt} E_{\mathrm{tot}} + \int_\Omega 2\nu_\Omega(\phi)|Dv|^2 dx + \int_\Gamma 2\nu_\Gamma(\psi)|D_\Gamma w|^2 d\Gamma + \int_\Gamma \gamma(\phi,\psi)|w|^2 d\Gamma
    $$ $$
  • \int_\Omega m_\Omega(\phi)|\nabla \mu|^2 dx + \int_\Gamma m_\Gamma(\psi)|\nabla_\Gamma \theta|^2 d\Gamma + \int_\Gamma \chi(L)(\beta \theta - \mu)^2 d\Gamma = 0, $$ 体现了系统的热力学一致性。

在函数空间方面，论文采用了体相-表面乘积空间结构，例如：

  • $ H^s := H^s(\Omega) \times H^s(\Gamma) $，
  • 引入带耦合条件的子空间 $ H^1_{L,\beta} $ 和 $ V^1_{L,\beta} $，用于处理动态边界条件下的正则性估计；
  • 使用 $ L^2_{\mathrm{div}} $ 空间描述不可压缩速度场；
  • 建立了关键的体相-表面Korn不等式和Poincaré不等式，以控制速度场和相场的能量。

这些特殊的空间结构和不等式工具对于处理高阶耦合系统的正则性至关重要。

主要定理或主要结果

论文的核心成果是以下关于整体强解的存在唯一性及连续依赖性的定理：

定理 3.1（整体强解的存在唯一性）
设假设 (A1)–(A7) 成立，且初始数据满足：

  • $ (v_0, w_0) \in H^1_{0,\mathrm{div}} $，
  • $ (\phi_0, \psi_0) \in H^2 $，且 $ |\phi_0(x)| < 1 $, $ |\psi_0(y)| < 1 $ 几乎处处成立，
  • $ (\mu_0, \theta_0) \in H^2 $，其中 $ \mu_0 = -\Delta \phi_0 + F'(\phi_0) $, $ \theta_0 = -\Delta_\Gamma \psi_0 + G'(\psi_0) + \alpha \partial_n \phi_0 $。

则存在唯一的全局强解 $ (v,w,\phi,\psi) $ 满足：

  • $ (v,w) \in L^\infty(0,T;H^1_{0,\mathrm{div}}) \cap L^2(0,T;H^2) $，
  • $ (\phi,\psi) \in L^\infty(0,T;H^2) \cap L^2(0,T;H^3) $，
  • $ (\mu,\theta) \in L^\infty(0,T;H^1) \cap L^2(0,T;H^2) $，
  • 且对任意 $ T>0 $，解在 $ [0,T] $ 上满足原方程组几乎处处成立。

进一步，若 $ L \in (0,\infty] $，则该强解是唯一的，并对初始数据连续依赖。

特别地，当 $ L = 0 $ 时，由于边界条件 $ \partial_n \mu = \cdots $ 不再可逆，作者无法处理；而 $ K = L = 0 $ 的情形可在附加条件下讨论。

该定理首次在非退化迁移率和二维情形下建立了此类耦合系统的整体强解适定性，显著推进了已有弱解理论。

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

a) 核心分析工具

  1. 半Galerkin逼近法（semi-Galerkin method）：
    作者采用基于体相-表面Stokes算子特征函数的速度场逼近方案。不同于标准Galerkin方法，此处仅对速度场进行离散，而相场方程保持连续，从而更好地保留非线性结构和能量结构。

  2. 不动点论证（fixed-point argument）：
    在构造近似解时，通过定义映射 $ \Phi: (\tilde{v},\tilde{w}) \mapsto (v,w) $，利用Schauder不动点定理证明其存在不动点，即近似解的存在性。此过程依赖于紧嵌入和先验估计。

  3. 高阶能量估计技术：
    为了获得强解所需的高阶正则性，作者设计了一套复合能量泛函，包括：

    • 速度场的 $ H^1 $ 能量；
    • 相场的 $ H^2 $ 能量；
    • 化学势的 $ H^1 $ 能量。 通过对这些能量逐次估计，并结合Gronwall引理，建立一致先验界。

  4. 体相-表面椭圆算子理论：
    定义了解算子 $ S_{L,\beta}[\phi,\psi] $，用于求解带变系数的耦合椭圆系统：

    $$ -\mathrm{div}(m_\Omega(\phi)\nabla u) = f, \quad -\mathrm{div}_\Gamma(m_\Gamma(\psi)\nabla_\Gamma v) + \beta m_\Omega(\phi)\partial_n u = g, $$

    $$ L m_\Omega(\phi) \partial_n u = \beta v - u \quad \text{on } \Gamma. $$

    该算子的正则性提升性质（见附录A）是处理非退化迁移率的关键。

  5. 变系数Stokes系统正则性理论（附录B）：
    针对粘性系数 $ \nu_\Omega(\phi) $ 和 $ \nu_\Gamma(\psi) $ 依赖于相场的情形，建立了新的体相-表面Stokes系统的 $ H^2 $ 正则性估计，推广了常系数情形的结果。

  6. 插值与嵌入不等式：
    充分利用二维情形下的关键不等式：

    • Ladyzhenskaya不等式：$ \|u\|_{L^4} \leq C \|u\|_{L^2}^{1/2} \|\nabla u\|_{L^2}^{1/2} $；
    • 迹不等式：$ \|u\|_{L^2(\Gamma)} \leq C \|u\|_{L^2(\Omega)}^{1/2} \|u\|_{H^1(\Omega)}^{1/2} $；
    • 体相-表面联合插值不等式（Lemma 2.3）：$ \|(\zeta,\xi)\|_{L^4} \leq C \|(\zeta,\xi)\|_{L^2}^{1/2} \|(\zeta,\xi)\|_{H^1}^{1/2} $。

b) 技术性难题的克服

  1. 非退化迁移率带来的非线性耦合：
    当 $ m_\Omega(\phi) $ 非常数时，Cahn–Hilliard方程变为拟线性，标准弱解方法失效。作者通过引入加权内积空间 $ (\cdot,\cdot)_{L,\beta,[\phi,\psi]} $ 和对应的范数 $ \|\cdot\|_{L,\beta,[\phi,\psi]} $，结合解算子 $ S_{L,\beta}[\phi,\psi] $ 的等价性（见(2.10)-(2.11)），将非线性效应吸收进内积结构中。

  2. 高阶导数估计中的交叉项控制：
    在估计 $ \|\Delta \phi\|_{L^2} $ 时，出现形如 $ \nabla \phi \cdot \nabla \Delta \phi $ 的项。作者利用解算子的估计（如(2.14)）将其控制为：

    $$ \|\phi\|_{H^2} \leq C \left( \|\nabla \phi\|_{L^2} \|\phi\|_{H^2}^{1/2} \|\mu\|_{H^1}^{1/2} + \|f\|_{L^2} \right), $$

    再通过Young不等式吸收高阶项。

  3. 速度场与相场的双向耦合：
    速度影响相场（通过对流项 $ v \cdot \nabla \phi $），相场又影响速度（通过密度 $ \rho(\phi) $ 和应力项 $ \mu \nabla \phi $）。作者通过迭代估计，在每个时间步上交替固定一方，最终通过连续性论证闭合估计。

  4. 动态边界条件的处理：
    边界条件 $ K \partial_n \phi = \alpha \psi - \phi $ 和 $ L m_\Omega(\phi) \partial_n \mu = \beta \theta - \mu $ 导致法向导数不可忽略。作者借助体相-表面Poincaré不等式（Lemma 2.1）和Korn型不等式（Lemma 2.4），将边界项统一纳入能量框架。

  5. 奇性势的处理：
    尽管文中允许使用对数势（奇性在 $ \pm 1 $），但由于强解要求 $ |\phi| < 1 $，作者通过初始数据约束和最大值原理（隐含在估计中）保证相场始终保持在 $ (-1,1) $ 内，避免奇性爆发。

与之前工作的比较

a) 突破与改进

  1. 从弱解到强解的跨越：
    此前的工作（如[30]）仅建立了弱解的存在性，且要求迁移率为常数。本文首次在非退化迁移率下证明了整体强解的存在性，极大提升了正则性水平。强解意味着所有导数项均平方可积，可用于进一步研究解的光滑性和稳定性。

  2. 放宽迁移率假设：
    多数现有文献（如[9,15,19]）假设迁移率为常数或退化（如 $ m(\phi) = 1 - \phi^2 $），后者导致数学分析更为复杂。本文处理的是非退化但依赖于相场的迁移率，更贴近物理实际（如浓度依赖的扩散系数），技术上需发展新的椭圆正则性理论（见附录A）。

  3. 完整性：存在性 + 唯一性 + 连续依赖：
    已有研究大多止步于存在性。本文不仅证明存在性，还建立了唯一性和对初值的连续依赖性，从而完成了整体适定性（well-posedness）的全部要素，这是强解理论的重要标志。

  4. 推广动态边界条件的适用范围：
    文献中多数动态边界条件模型忽略表面流体动力学（即 $ w = 0 $）。本文将表面Navier–Stokes方程纳入系统，实现了真正的体相-表面全耦合，拓展了模型的物理适用性。

  5. 二维情形的精细分析：
    作者明确指出三维情形目前不可行，原因在于：

    • 丢失分离性质（separation property）：无法保证 $ |\phi| < 1 $；
    • 非线性项增长过快，无法闭合高阶估计；
    • 强解可能仅局部存在。 因此，本文充分利用二维 Sobolev 嵌入 $ H^1 \hookrightarrow L^p $（任意 $ p < \infty $）的优势，使得非线性项可控。

  6. 方法论创新：

    • 将解算子方法应用于非线性Cahn–Hilliard系统；
    • 发展了变系数体相-表面Stokes系统的正则性理论（Appendix B），为后续研究提供了通用工具；
    • 结合半Galerkin + 不动点 + 高阶估计的组合策略，成为处理此类强耦合系统的新范式。

综上所述，本文在模型复杂性、解的正则性、假设宽松度和数学工具创新等方面均实现了显著突破，为多相流体在活动边界上的建模与分析奠定了坚实的理论基础。

3. Stability of Solitary Capillary-Gravity Water Waves in Three Dimensions

三维孤立毛细-重力水波的稳定性研究

作者: Changfeng Gui, Shanfa Lai, Yong Liu, Juncheng Wei, Wen Yang

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06629v1

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

详细分析

中文标题: 三维孤立毛细-重力水波的稳定性研究

研究对象和背景

本文研究的是有限深度三维毛细-重力水波系统中的完全局域化孤立波（fully localized solitary waves）的轨道稳定性。这类波在物理上表现为在水平方向上向无穷远处衰减至零、且以恒定速度传播的水面扰动，其形成机制由表面张力与重力共同作用决定。

所考虑的流体是不可压缩、无旋、密度为1的理想流体，占据一个随时间变化的三维区域：

$$ \Omega(t) = \left\{ (x_1, x_2, x_3) \in \mathbb{R}^3 : -1 < x_3 < \eta(t, x_1, x_2) \right\}, $$

其中 $\eta(t, x_1, x_2)$ 是未知的自由表面高度函数，表示空气与水之间的界面。底部为刚性平坦床面 $x_3 = -1$，而上方为空气（建模为真空），系统的物理演化由不可压缩欧拉方程控制：

$$ \frac{\partial u}{\partial t} + (u \cdot \nabla)u + \nabla P = g e_3, $$

其中 $u(t, \cdot): \Omega(t) \to \mathbb{R}^3$ 是速度场，$P(t, \cdot): \Omega(t) \to \mathbb{R}$ 是压力场，$g > 0$ 为重力加速度常数，$e_3 = (0,0,1)$。

边界条件如下：

  • 在底部 $x_3 = -1$ 上满足不可渗透条件：

    $$ u \cdot n = 0, $$

    其中 $n$ 是区域外法向单位向量；

  • 在自由表面 $x_3 = \eta(t,x_1,x_2)$ 上，运动学边界条件要求表面随流体移动：

    $$ \partial_t \eta = \sqrt{1 + (\partial_{x_1} \eta)^2 + (\partial_{x_2} \eta)^2} \, u \cdot n; $$

  • 动力学边界条件由Young–Laplace定律给出，即压力跳跃等于表面张力引起的曲率力：

    $$ P = \sigma \, \mathrm{div}_\perp \left( \frac{\nabla_\perp \eta}{\sqrt{1 + |\nabla_\perp \eta|^2}} \right), $$

    其中 $\nabla_\perp = (\partial_{x_1}, \partial_{x_2})$，$\sigma > 0$ 是表面张力系数。

由于流动假设为无旋，可引入速度势 $\Phi$ 满足 $u = \nabla \Phi$，并将问题转化为关于 $\Phi$ 和 $\eta$ 的边值问题。通过使用Dirichlet-to-Neumann算子（DNO）$G(\eta)$，可以将三维问题降维为二维哈密顿系统。定义表面速度势 $\xi(x_1,x_2,t) := \Phi(x_1,x_2,\eta(x_1,x_2,t),t)$，则系统变为：

$$ \begin{cases} \partial_t \eta = G(\eta)\xi, \\ \partial_t \xi = -\dfrac{1}{2(1+|\nabla_\perp \eta|^2)} \left[ (G(\eta)\xi + \nabla_\perp \eta \cdot \nabla_\perp \xi)^2 - |\nabla_\perp \xi|^2 |\nabla_\perp \eta|^2 - |\nabla_\perp \xi|^2 \right] \\ \quad\quad\quad - g\eta + \sigma \, \mathrm{div}_\perp \left( \dfrac{\nabla_\perp \eta}{\sqrt{1 + |\nabla_\perp \eta|^2}} \right). \end{cases} $$

该系统具有哈密顿结构，其总能量泛函为：

$$ H(\eta, \xi) = \int_{\mathbb{R}^2} \left( \frac{1}{2} \xi G(\eta)\xi + \frac{1}{2} g \eta^2 + \sigma \left( \sqrt{1 + |\nabla_\perp \eta|^2} - 1 \right) \right) dx_1 dx_2, $$

分别对应动能、重力势能和毛细能。此外，由于系统在水平方向平移不变，存在守恒动量泛函，特别是沿传播方向 $x_1$ 的动量：

$$ P(\eta, \xi) = \int_{\mathbb{R}^2} \eta \, \partial_{x_1} \xi \, dx_1 dx_2. $$

本文关注的是行波解（traveling waves），即形如 $(\eta(x_1 - ct, x_2), \xi(x_1 - ct, x_2))$ 的解，其中 $c > 0$ 为波速。代入后得到稳态方程组：

$$ \begin{cases} -c \partial_{x_1} \eta = G(\eta)\xi, \\ -c \partial_{x_1} \xi = \dfrac{1}{2(1+|\nabla \eta|^2)} \left[ (G(\eta)\xi + \nabla \eta \cdot \nabla \xi)^2 - |\nabla \xi|^2 |\nabla \eta|^2 - |\nabla \xi|^2 \right] \\ \quad\quad\quad - g\eta + \sigma \, \mathrm{div} \left( \dfrac{\nabla \eta}{\sqrt{1 + |\nabla \eta|^2}} \right), \end{cases} $$

其中 $\nabla = (\partial_{x_1}, \partial_{x_2})$。

这些行波若满足当 $r = \sqrt{x_1^2 + x_2^2} \to \infty$ 时 $\eta \to 0$，称为完全局域化的孤立波。它们不是周期或拟周期波，而是空间上整体衰减的扰动。

值得注意的是，这类波并非通过变分方法构造的能量最小化子，而是由Gui等人在文献[26]中通过非变分Lyapunov–Schmidt约化方法构造的小振幅解，其波速为 $c = 1/\sqrt{1+\varepsilon^2}$，其中 $\varepsilon > 0$ 足够小。因此，传统的基于能量极小原理的稳定性分析无法适用。

另一个关键困难在于：水波系统的适定性空间（well-posedness space）通常比能量空间更小——例如，局部适定性常需更高正则性（如 $H^s$ with $s > 3/2$），而能量泛函自然定义在较弱的空间如 $H^1 \times H_*^{1/2}$ 上。这种空间不匹配给稳定性分析带来严重技术挑战。

本文正是在此背景下，研究这类特殊构造的三维孤立波的轨道稳定性，即初始扰动下解是否会始终保持在某个平移后的波形附近。

主要定理或主要结果

论文证明了以下主定理：

Theorem 1.1. 对于每个波速为 $c = 1 / \sqrt{1 + \varepsilon^2}$ 且 $\varepsilon \in (0, \varepsilon_0)$ 的三维孤立毛细-重力水波 $\bar{u}(c) = (\bar{\eta}(c), \bar{\xi}(c))$，它在如下意义下是条件轨道稳定的：

对任意 $R > 0$ 和 $\rho > 0$，存在 $\rho_0 > 0$，使得只要初值 $u(0) = (\eta(0), \xi(0))$ 满足

$$ \| \eta(0) - \bar{\eta}(c) \|_{H^1(\mathbb{R}^2)} + \| \xi(0) - \bar{\xi}(c) \|_{H_*^{1/2}(\mathbb{R}^2)} < \rho_0, $$

并且存在一个连续解 $u = (\eta, \xi): [0,T) \to F_R$ 属于某函数类并保持能量 $H$ 和动量 $P$ 守恒，则对所有 $t \in [0,T)$，有

$$ \inf_{(x_0,y_0) \in \mathbb{R}^2} \left\{ \| \eta(t, \cdot - (x_0,y_0)) - \bar{\eta}(c) \|_{H^1} + \| \xi(t, \cdot - (x_0,y_0)) - \bar{\xi}(c) \|_{H_*^{1/2}} \right\} < \rho. $$

这里的 $H_*^{1/2}(\mathbb{R}^2)$ 是与DNO相关的适配能量空间，通常定义为 $G(0)^{-1/2} L^2$ 或等价地带有范数 $\| \xi \|_{H_*^{1/2}}^2 = \langle \xi, G(0)\xi \rangle$ 的空间。

这个定理表明：只要初始数据足够接近孤立波轮廓，并且演化过程中能量和动量守恒成立（这在经典解中自动满足），那么解在任意时刻都可以通过一个平移来逼近原波形，误差一致小。注意这是“条件”稳定性，意味着依赖于全局解的存在性和守恒律的有效性。

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

a) 核心分析学工具

本文采用的核心框架是Grillakis–Shatah–Strauss（GSS）理论的推广版本，结合Mielke处理空间不匹配的思想。GSS理论原本用于哈密顿系统中驻波的轨道稳定性分析，其基本思想是构造一个李雅普诺夫泛函（Lyapunov functional），通常取为能量与动量的组合：

$$ \mathcal{L}(u) = H(u) + c P(u), $$

然后分析其在孤立波附近的凸性。若二阶变分 $D^2 \mathcal{L}(\bar{u})$ 在某个余维有限子空间上正定，则可通过能量估计控制扰动增长。

然而，标准GSS要求解是能量约束下的极小值点，而本文所研究的孤立波来自非变分构造，不能保证是最小化子。为此，作者发展了一套适用于此类情形的直接稳定性分析方法。

具体而言，作者引入增广势能泛函（augmented potential）：

$$ V_{\text{aug}}^c(\eta) = \min_{\xi} H_c(\eta, \xi), $$

其中 $H_c = H + c P$。这一约化将无限维临界点问题转化为有限维最小化问题，便于分析线性化算子的谱性质。

接下来的关键步骤是对 $V_{\text{aug}}^c$ 进行二阶变分计算，得出其Hessian形式：

$$ D^2 V_{\text{aug}}^c(\eta)[v,v] = D^2 V(\eta)[v,v] + \frac{1}{2} \langle D^2 G(\eta)[v,v]\xi, \xi \rangle - \langle L_u v, G(\eta)^{-1} L_u v \rangle, $$

其中 $L_u v = c \partial_{x_1} v + DG(\eta)[v]\xi$ 是线性化输运算子。

为了进行谱分析，作者进一步利用Dirichlet-to-Neumann算子的变分公式，推导出该二阶变分的点式表达式，最终写成：

$$ D^2 V_{\text{aug}}^c(\eta)[v,v] = \int_{\mathbb{R}^2} \left( -v \, \mathrm{div}(\alpha \nabla v) + \beta v^2 - v M_\eta v \right) dx_1 dx_2, $$

其中 $\alpha$ 是一个正定矩阵（源于表面张力项的几何结构），$\beta$ 是标量系数，$M_\eta$ 是一个自伴正算子，来源于非局部项 $G(\eta)^{-1}$。

这一分解揭示了线性化算子的结构：前两项构成一个椭圆型主部，最后一项是非局部摄动。通过对该算子的谱分析，特别是验证其在平移模之外具有正定性，即可建立稳定性。

此外，作者大量使用了分布意义下的变分恒等式、Green恒等式以及Reynolds输运定理来严格处理DNO的高阶梯度展开，确保所有推导在弱解框架下有效。

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

  1. 处理非变分结构：由于孤立波非由能量最小化而来，传统变分稳定性准则失效。作者通过精确计算增广泛函的二阶变分，绕过“是否为极小值”的问题，转而直接验证其凸性条件，从而实现对特定解的稳定性分析。

  2. 克服空间不匹配问题：实际解的演化可能仅在较高正则性空间中适定，但能量泛函定义在较弱空间。作者采纳Mielke的方法，在稳定性论证中只假设解属于某个包含能量空间的函数类 $F_R$ 并保持守恒量不变，从而避开局部适定性的限制，实现“条件稳定性”。

  3. 精确展开DNO的高阶变分：DNO本身是一个非局部、非线性算子，其一阶和二阶Fréchet导数的显式表达极为复杂。作者借助双线性形式和形状微分（shape derivative）技巧，利用Reynolds输运定理计算导数，得到：

    $$ \langle \psi, DG(\eta)[v]\phi \rangle = \langle v, a_0(\eta,\phi,\psi) \rangle, $$

    并进一步推出二阶项的表达式，使后续谱分析成为可能。

  4. 非局部项的重组与正定性控制：表达式中的项 $\langle L_u v, G(\eta)^{-1} L_u v \rangle$ 是非局部的负贡献，可能破坏凸性。作者将其与DNO的二阶项合并，重新组织为一个整体自伴算子 $M_\eta$，并通过细致估计证明其影响可控，最终保留足够的正定性。

  5. 渐近行为与谱信息利用：由于孤立波是小振幅解（$\varepsilon \ll 1$），其轮廓接近于某种线性模型的基模。作者利用这一点，在谱分析中将线性化算子视为对某个已知正定算子的小扰动，从而继承其谱性质。

综上，本文的技术核心在于：将GSS框架与Mielke方法相结合，通过对增广能量泛函的精细变分分析，建立适用于非变分构造孤立波的稳定性判据。

与之前工作的比较

a) 突破与改进

本文相对于先前工作做出了若干重要推进：

  1. 首次证明三维完全局域化孤立波的轨道稳定性：以往对孤立波稳定性的研究多集中于一维情形（如KdV方程、Benjamin-Ono方程）或二维浅水模型。对于真实的三维水波系统，尤其是具备强表面张力条件下的完全局域化解，尚无稳定性结果。本文填补了这一空白。

  2. 处理非变分解的稳定性问题：大多数经典稳定性理论（如Benjamin [2], GSS [17,18]）都要求孤立波是某个能量泛函的极小值点。而本文所研究的波是由非变分Lyapunov–Schmidt约化构造的（见[26]），本质上不是能量最小化子。因此，不能套用已有理论。本文发展了一个新的分析路径，使得即使波不是极小值，也能判断其稳定性，拓展了GSS框架的适用范围。

  3. 适应空间不匹配的“条件稳定性”设定：由于三维水波系统的全局适定性仍未解决，作者采取Mielke式的“条件稳定性”策略：只要解存在并保持能量和动量守恒，就成立稳定性结论。这种方法避开了对解的长期存在性的强假设，更具实用性。

  4. 无需小振幅假设以外的额外非共振条件：一些早期工作（如Groves-Mielke [20]）在构造三维行波时需要复杂的共振分析或多参数分支。而本文所用的孤立波虽为小振幅，但其构造方式允许清晰追踪其谱结构，从而避免引入额外的技术性假设。

  5. 比变分方法更灵活的构造兼容性：虽然Groves-Sun [22] 和 Buffoni 等人使用变分法构造了三维孤立波，但那些方法通常要求较强的紧性条件或特定对称性。相比之下，非变分Lyapunov–Schmidt方法更适用于弱耦合或多尺度结构。本文的结果表明，即便不用变分法，仍可获得稳定的物理解，增强了数学模型的鲁棒性。

  6. 深入揭示哈密顿结构中的动量角色：本文强调动量泛函 $P$ 在稳定性中的关键作用。通过对 $H + cP$ 的联合分析，捕捉到波的平移对称性所对应的零模，并在其正交补空间上建立正定性，体现了对哈密顿对称性与守恒律深层联系的深刻理解。

总之，本文不仅在结果上实现了从二维到三维、从周期波到完全局域波的跨越，更在方法论上实现了从“极小化解稳定性”到“一般临界点稳定性”的推广，为复杂流体系统中非变分构造解的动态分析提供了新范式。

4. Asymptotic stability of planar viscous shock wave to three-dimensional relaxed compressible Navier-Stokes equations

三维松弛可压缩Navier-Stokes方程中平面黏性激波的渐近稳定性

作者: Renyong Guan, Yuxi Hu

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.07799v1

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

详细分析

中文标题: 三维松弛可压缩Navier-Stokes方程中平面黏性激波的渐近稳定性

研究对象和背景

本文研究的是三维（3-D）松弛可压缩Navier-Stokes方程组（relaxed compressible Navier-Stokes equations），其核心目标是证明在适当条件下，该系统中存在的一类平面黏性激波解具有非线性时间渐近稳定性。此外，论文还分析了当松弛参数 $\tau \to 0$ 时，系统解向经典Navier-Stokes方程解的全局收敛性。

这类方程源于对流体动力学模型的修正，特别是针对传统牛顿流体本构关系无法准确描述复杂流体现象（如粘弹性流体或高频率振动下的简单流体）的问题。作者引入了一种修改后的Maxwell型本构关系，将应力张量 $\Pi$ 分解为两个部分：$\Pi_1$（剪切应力）和 $\Pi_2$（体积应力），并分别进行松弛处理。这种模型最早由Yong [43] 提出，并被Chakraborty与Sarder [2] 的实验所支持，表明其能更精确地刻画纳米尺度机械装置在简单流体中的线性粘弹性行为。

系统的数学形式如下，在区域 $(t,x) \in \mathbb{R}_+ \times \Omega$ 上，其中 $\Omega = \mathbb{R} \times \mathbb{T}^2$，$\mathbb{T}^2 = (\mathbb{R}/\mathbb{Z})^2$ 是二维环面，即空间变量 $x = (x_1, x_2, x_3)$ 满足周期性边界条件于 $x_2,x_3$ 方向，而 $x_1 \in \mathbb{R}$ 无界：

$$ \begin{cases} \rho_t + \mathrm{div}_x(\rho u) = 0, \\ (\rho u)_t + \mathrm{div}_x(\rho u \otimes u) + \nabla_x p(\rho) = \mathrm{div}_x \Pi_1 + \nabla_x \Pi_2, \\ \tau \left( \partial_t \Pi_1 + u \cdot \nabla_x \Pi_1 \right) + \Pi_1 = \mu \left( \nabla_x u + (\nabla_x u)^T - \frac{2}{3} \mathrm{div}_x u I_3 \right), \\ \tau \left( \partial_t \Pi_2 + u \cdot \nabla_x \Pi_2 \right) + \Pi_2 = \lambda \, \mathrm{div}_x u, \end{cases} $$

其中：

  • $\rho > 0$：密度；
  • $u = (u_1, u_2, u_3)^T$：速度场；
  • $p(\rho) = A\rho^\gamma$，$\gamma > 1$，为等熵状态方程（文中取 $A=1$）；
  • $\Pi_1$：迹为零的对称张量，表示剪切应力；
  • $\Pi_2$：标量压力修正项，对应体积应力；
  • $\mu > 0$：剪切粘性系数；
  • $\lambda \geq 0$：体积粘性系数；
  • $\tau > 0$：松弛参数，表示应力响应速度梯度的时间滞后。

初始数据满足远场趋于常数状态：

$$ (\rho, u, \Pi_1, \Pi_2)(0,x) \to (\rho_\pm, u_\pm, O_{3\times3}, 0), \quad \text{当 } x_1 \to \pm\infty, $$

且 $u_\pm = (u_{1\pm}, 0, 0)$，即流动沿 $x_1$ 方向主导。

值得注意的是，当 $\tau = 0$ 时，上述系统退化为经典的三维等熵可压缩Navier-Stokes方程，其中应力由牛顿本构律给出：

$$ \Pi = \mu \left( \nabla_x u + (\nabla_x u)^T - \frac{2}{3} \mathrm{div}_x u I_3 \right) + \lambda \, \mathrm{div}_x u I_3. $$

然而，当 $\tau > 0$ 时，系统引入了记忆效应，属于一类双曲-抛物耦合系统，具有更强的色散性和能量耗散结构的变化。

本文的研究重点在于是否存在一个稳定的行波解——即所谓“平面黏性激波”——并且当初始扰动足够小时，整体解会随着时间演化逐渐逼近这一激波轮廓（允许一个随时间变化的位移 $X(t)$）。这本质上是一个关于非线性稳定性的问题。

为了便于分析，作者引入比容变量 $v = \rho^{-1}$，将质量守恒方程改写为：

$$ \rho(v_t + u \cdot \nabla_x v) = \mathrm{div}_x u, $$

从而得到等价系统（1.10）：

$$ \begin{cases} \rho(v_t + u \cdot \nabla_x v) = \mathrm{div}_x u, \\ \rho(u_t + u \cdot \nabla_x u) + \nabla_x p(\rho) = \mathrm{div}_x \Pi_1 + \nabla_x \Pi_2, \\ \tau \left( \partial_t \Pi_1 + u \cdot \nabla_x \Pi_1 \right) + \Pi_1 = \mu \left( \nabla_x u + (\nabla_x u)^T - \frac{2}{3} \mathrm{div}_x u I_3 \right), \\ \tau \left( \partial_t \Pi_2 + u \cdot \nabla_x \Pi_2 \right) + \Pi_2 = \lambda \, \mathrm{div}_x u. \end{cases} $$

研究的空间域 $\Omega = \mathbb{R} \times \mathbb{T}^2$ 具有重要的物理意义：它模拟了无限长管道中的流动，横向周期性避免了侧壁边界的复杂影响，同时保留了多维效应。因此，虽然激波沿 $x_1$ 方向传播，但扰动可在全三维空间发展，使得问题本质上是多维稳定性问题。

函数空间方面，主要使用Sobolev空间 $H^k(\Omega)$，并关注解在 $C([0,\infty); H^3(\Omega))$ 中的整体存在性和稳定性。特别地，由于采用了相对熵方法与$a$-收缩技巧，权重函数和位移函数的设计成为关键工具。

综上所述，本文研究的是带有松弛机制的三维可压缩Navier-Stokes方程中，小强度平面黏性激波的非线性渐近稳定性问题，结合了物理建模的合理性与数学分析的深刻性，拓展了经典粘性激波理论至包含时间滞后效应的情形。

主要定理或主要结果

定理 1.1（平面黏性激波的渐近稳定性）

假设常数状态 $(v_\pm, u_{1\pm}) \in \mathbb{R}_+ \times \mathbb{R}$ 满足Rankine-Hugoniot条件（1.8）与Lax熵条件（1.9），且松弛参数 $\tau$ 满足：

$$ \tau \leq \min\left\{ \inf_{z \in [v_-, v_+]} \frac{4\mu + \lambda}{2|\sigma_*^2 + p'(z)|},\; 1 \right\}, $$

其中 $\sigma_* = \sqrt{\frac{p(v_+) - p(v_-)}{v_- - v_+}} > 0$ 为激波速度。

令 $(v_s, u_s, \Pi_{s1}, \Pi_{s2})(x_1 - \sigma t)$ 为对应的平面2-黏性激波解（见引理2.1）。则存在正常数 $\delta_0, \varepsilon_0 > 0$，使得对于任意初值 $(v_0, u_0, \Pi_{10}, \Pi_{20})$ 满足：

$$ \sum_{\pm} \| (v_0 - v_\pm, u_0 - u_\pm) \|_{L^2(\mathbb{R}_\pm \times \mathbb{T}^2)} + \| \nabla_x (v_0, u_0) \|_{H^2(\Omega)} + \sqrt{\tau} \| (\Pi_{10}, \Pi_{20}) \|_{H^3(\Omega)} < \varepsilon_0, $$

且激波强度 $\delta := |p(v_-) - p(v_+)| \sim |v_- - v_+| \sim |u_{1-} - u_{1+}| \leq \delta_0$，则初值问题（1.10）–（1.11）存在唯一整体解 $(v,u,\Pi_1,\Pi_2)$，且存在绝对连续的位移函数 $X(t)$，使得以下估计成立：

$$ \sup_{t \geq 0} | (v - v_s^\sharp, u - u_s^\sharp, \sqrt{\tau}(\Pi_1 - \Pi_{s1}^\sharp), \sqrt{\tau}(\Pi_2 - \Pi_{s2}^\sharp)) |_{H^3(\Omega)}^2

  • \int_0^\infty \left( | (\nabla_x (v - v_s^\sharp), \nabla_x (u - u_s^\sharp)) |{H^2(\Omega)}^2 + | (\Pi_1 - \Pi{s1}^\sharp, \Pi_2 - \Pi_{s2}^\sharp) |{H^3(\Omega)}^2 \right) dt \leq C \left( | (v_0 - v_s(\cdot), u_0 - u_s(\cdot)) |{H^3(\Omega)}^2 + \tau | (\Pi_{10} - \Pi_{s1}(\cdot), \Pi_{20} - \Pi_{s2}(\cdot)) |_{H^3(\Omega)}^2 \right), $$

其中 $f^\sharp(t,x) := f(x_1 - \sigma t - X(t))$ 表示带位移的参考态，$C$ 为与 $\tau$ 无关的通用常数。

进一步，有渐近稳定性：

$$ \lim_{t \to \infty} \sup_{x \in \Omega} |(v,u)(t,x) - (v_s,u_s)(x_1 - \sigma t - X(t))| = 0, $$

$$ \lim_{t \to \infty} \sup_{x \in \Omega} \sqrt{\tau} |(\Pi_1,\Pi_2)(t,x) - (\Pi_{s1},\Pi_{s2})(x_1 - \sigma t - X(t))| = 0, $$

且位移导数趋于零：

$$ \lim_{t \to \infty} |\dot{X}(t)| = 0. $$

定理 1.2（松弛极限）

设 $(v_\tau, u_\tau, \Pi_{1\tau}, \Pi_{2\tau})$ 为定理1.1所得的整体解。则当 $\tau \to 0$ 时，存在极限函数 $(v_0, u_0) \in L^\infty((0,\infty); H^3(\Omega))$ 和 $(\Pi_{10}, \Pi_{20}) \in L^2((0,\infty); H^3(\Omega))$，使得：

  • $(v_\tau, u_\tau) \overset{*}{\rightharpoonup} (v_0, u_0)$ 在 $L^\infty((0,\infty); H^3(\Omega))$ 弱*意义下；
  • $(\Pi_{1\tau}, \Pi_{2\tau}) \rightharpoonup (\Pi_{10}, \Pi_{20})$ 在 $L^2((0,\infty); H^3(\Omega))$ 弱意义下。

且 $(v_0, u_0)$ 是经典三维等熵Navier-Stokes方程的解，对应的应力为：

$$ \Pi_{10} = \mu \left( \nabla_x u_0 + (\nabla_x u_0)^T - \frac{2}{3} \mathrm{div}_x u_0 I_3 \right), \quad \Pi_{20} = \lambda \, \mathrm{div}_x u_0. $$

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

本文采用了一系列现代偏微分方程分析技术，以克服松弛系统中因非局部性、弱耗散及多维性带来的挑战。其核心技术框架建立在相对熵方法与a-收缩（a-contraction）配合位移函数的基础上，并辅以精细的能量估计策略。

首先，作者利用相对熵函数作为主要Lyapunov泛函。定义相对于激波轮廓 $(v_s^\sharp, u_s^\sharp)$ 的相对熵为：

$$ \eta(U|U_s^\sharp) = \frac{1}{2}\rho|u - u_s^\sharp|^2 + \left( p(v) - p(v_s^\sharp) - p'(v_s^\sharp)(v - v_s^\sharp) \right), $$

这是经典热力学中凸熵函数的扰动形式。通过构造加权版本 $a(t,x_1)\eta(U|U_s^\sharp)$，其中 $a(t,x_1)$ 是依赖于位移 $X(t)$ 的单调权重函数（见(2.12)），可以控制激波附近的非对称扰动。

其次，引入位移函数 $X(t)$ 来吸收低频模式（零模），这是处理非零质量扰动的关键。位移由一个ODE确定：

$$ \dot{X}(t) = -\frac{M}{\delta} \int_{\mathbb{T}^2} \int_{\mathbb{R}} a^{-X} \left[ \cdots \right] d\xi_1 d\xi', $$

其设计确保了能量泛函的耗散性质。这种“$a$-收缩 with shifts”方法最初由Bresch–Desjardins提出，并被Kang–Vasseur等人成功用于复合波稳定性问题。

一个核心难点是：在松弛系统中，$\Pi_1,\Pi_2$ 的耗散不足以直接控制 $(v - v_s)$ 的低阶项。为此，作者人工添加一阶耗散项 $\| \partial_{x_1}(p(v) - p(v_s)) \|$，并通过多维Poincaré不等式获得控制。关键是证明该附加项最终可被原始能量估计所吸收，从而不破坏闭合性。

接着，通过标准能量方法逐阶估计：先做加权相对熵估计，再推导高阶导数（$H^3$）能量不等式，最后结合Gronwall引理与先验估计闭合整体解的存在性。

值得注意的是，所有估计均独立于松弛参数 $\tau$，这是实现后续收敛性的前提。通过紧性论证（弱紧性+强收敛），得以证明当 $\tau \to 0$ 时，解收敛到经典Navier-Stokes方程的解。

综上，本文的核心工具包括：

  • 相对熵方法：提供自然的能量结构；
  • a-收缩 with shift：处理激波位移与低频扰动；
  • 人工耗散增强：弥补松弛系统耗散不足；
  • 多维Poincaré不等式：恢复对法向扰动的控制；
  • 先验估计闭合：结合局部存在性得整体解；
  • 紧性方法：处理松弛极限。

与之前工作的比较

相较于以往工作，本文在多个层面实现了突破：

首先，在模型推广上，首次将松弛可压缩Navier-Stokes方程应用于三维平面激波的稳定性分析。此前Hu-Wang [10,11] 仅研究了一维情形下的线性稳定性或稀疏波；Freistühler [3] 虽然考虑了非线性稳定性，但仍限于一维。本文将其推广至三维周期横截面情形，显著提升了物理真实性。

其次，在数学方法上，摒弃了传统的反导数法（anti-derivative method），因其难以处理多维扰动与复合波。转而采用基于相对熵与a-收缩的新框架，这一方法由Bresch–Desjardins开创，并经Kang–Vasseur等人发展，特别适合处理含位移的稳定性问题。相比而言，传统方法通常要求初始扰动满足零总质量条件，而本文通过位移函数自动补偿，放宽了此限制。

第三，在技术处理上，创造性地引入人工耗散项来弥补松弛系统中法向速度梯度耗散的不足。这一点尤为关键：由于 $\tau > 0$ 导致应力演化具有双曲特征，原有的抛物耗散减弱，无法直接控制 $v - v_s$。通过巧妙设计并验证该项可被主能量控制，解决了闭合估计的根本障碍。

第四，在结果强度上，不仅证明了稳定性，还得到了统一于 $\tau$ 的先验估计，从而严格建立了松弛极限 $\tau \to 0$ 下解的全局收敛性。这是对经典Navier-Stokes理论的有力补充，说明即使在简单流体中存在微小时间滞后，其宏观行为仍趋近于牛顿流体模型。

最后，在适用范围上，允许初始扰动在 $H^3$ 空间中具有一定大小（只要激波强度和扰动足够小），且无需小振幅假设外的所有高阶正则性。相比早期结果对初值光滑性的苛刻要求，本文更具实用价值。

综上，本文不仅将稳定性理论从一维扩展到三维，还将模型从经典牛顿流体推广到含记忆效应的松弛流体，同时在分析工具上实现了从传统能量法到现代熵方法的跃迁，代表了当前激波稳定性研究的前沿方向。

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

1. A quasilinear wave with a supersonic shock in a weak solution interrupting the classical development

一类弱解中断经典发展的含超音速激波的拟线性波动方程

作者: Leonardo Abbrescia, Pieter Blue, Jan Sbierski, Jared Speck

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07594v1

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

摘要翻译

中文标题: 一类弱解中断经典发展的含超音速激波的拟线性波动方程

摘要翻译:
我们研究一个来源于特定光滑（$C^{\infty}$）初值数据的 $1+1$ 维模型拟线性波动方程的经典解与形成激波的弱解的柯西问题，该初值选择使得我们能够通过初等方法求解该方程。该模型的简洁性使我们能够简明地展示与激波相关的若干具有几何和分析意义的现象，这些现象可视为更一般拟线性双曲型偏微分方程解中可能出现现象的原型。

我们的柯西问题存在一个在有限时间内爆破的经典解。该经典解定义在一个称为极大整体双曲发展（MGHD）的最大可能的整体双曲区域内，其性质与方程及解本身的内蕴洛伦兹几何密切相关。MGHD 的边界包含一个初始奇点、一条沿着其上解的二阶导数发散（而解本身及其一阶导数保持有界）的奇异边界，以及一个柯西视界。我们的主要结果为激波形成的拟线性波动方程解提供了首个被证明具有唯一性的 MGHD 实例；这种唯一性源于其边界所具有的有利全局结构，我们在文中对此进行了精确描述。

此外，我们还证明，对于相同的 $C^{\infty}$ 初值数据，该柯希问题存在另一类解：即唯一的全局弱熵解，该解包含一条分离两个光滑区域的激波曲线。特别值得注意的是，我们证明了经典解与弱解在激波出现之前一致，但在第一个奇点之后、且两个解均有定义的未来区域中彼此不同。

2. Global Well-posedness and Scattering for Stochastic generalized KdV Equations with additive noise

带加性噪声的随机广义KdV方程的整体适定性与散射性质

作者: Engin Başakoğlu, Faruk Temur, Oğuz Yılmaz

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07386v1

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

摘要翻译

中文标题: 带加性噪声的随机广义KdV方程的整体适定性与散射性质

摘要翻译: 本文研究由加性噪声驱动的散焦型随机广义Korteweg-de Vries方程（sgKdV），重点关注质量临界和超临界非线性情形。对于整数 $k \geq 4$，我们在几乎必然的意义下建立了直至按比例缩放临界正则性的局部适定性。此外，我们证明了质量临界方程在 $L^{2}_{x}(\mathbb{R})$ 空间中对小初值的整体适定性与散射性质；以及质量超临界方程在 $H^{1}_{x}(\mathbb{R})$ 空间中的整体适定性与散射性质。特别地，我们证明了与更一般色散关系相关联的振荡积分估计，这些估计本身具有独立的研究价值；并且我们利用此类估计的一个特例作为关键工具，用于控制sgKdV方程中随机卷积尾部所需的估计，这是得出散射结果的关键步骤。

3. On the proximal dynamics between integrable and non-integrable members of a generalized Korteweg-de Vries family of equations

关于广义Korteweg-de Vries方程族中可积与不可积成员之间的近邻动力学研究

作者: Nikos I. Karachalios, Dionyssios Mantzavinos, Jeffrey Oregero

类别: math.AP, nlin.PS, nlin.SI

发布日期: 2025-11-10

arXiv ID: 2511.07609v1

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

摘要翻译

中文标题: 关于广义Korteweg-de Vries方程族中可积与不可积成员之间的近邻动力学研究

摘要翻译: 本文在适当的Sobolev空间中估算了可积的Korteweg-de Vries（KdV）方程解与一大类不可积的广义KdV（gKdV）方程解之间的距离。该类gKdV方程的特例包括具有幂非线性的标准gKdV方程，以及KdV方程的弱非线性扰动。所建立的距离估计适用于任意大小的初值数据和非线性参数。推导这些估计的关键步骤是证明gKdV方程族局部解的一个模长估计，该估计关于初值数据的范数呈线性关系。结果表明，即使初始振幅接近于1，gKdV方程与KdV方程的动力学行为在长时间内仍保持相近；而对于较大的初始振幅，估计则给出了两个方程动力学偏离的明确速率。通过单孤子和双孤子初值条件下的数值模拟验证了这些理论结果，数值结果与理论预测高度一致。尤为重要的是，在具有幂非线性且初始孤子振幅较大的情况下，若通过一个尺度变换后的KdV方程引入适当的旋转效应，可显著减小可积与不可积动力学之间的偏差。因此，源自尺度变换后KdV方程的可积动力学行为可能在gKdV方程族中持续存在极为长久的时间尺度。

4. Oil displacement by slug injection: a rigorous justification for the Jouguet principle heuristic

通过段塞注入实现原油驱替：对儒盖特原理启发式方法的严格论证

作者: Sergey Matveenko, Nikita Rastegaev

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08533v1

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

摘要翻译

中文标题: 通过段塞注入实现原油驱替：对儒盖特原理启发式方法的严格论证

摘要翻译: 本文讨论了一种用于两相提高采收率（EOR）驱替过程的一维模型，主要针对聚合物驱。我们改进了Pires、Bedrikovetsky和Shapiro（2006年）提出的、并由Apolinário、de Paula和Pires（2020年）及Apolinário与Pires（2021年）后续推广的半解析解构造方法，该方法用于求解含溶解化学剂的水段塞驱油过程。该方法采用拉格朗日坐标变换，将原方程组解耦，从而可独立求解色谱型单相问题；随后将所得解代入一个标量双曲型守恒律，并利用特征线法进行求解。然而，在化学剂激波前沿附近，特征线常常出现间隙。有学者向作者提出，可采用儒盖特（Jouguet）原则来闭合这一间隙，但此前对该方法缺乏严格的理论依据，因而该做法仍停留在启发式层面。本文分析了此类间隙产生的条件及其特性，并基于守恒律系统的Kružkov型唯一性定理，为儒盖特启发式方法提供了严谨的理论支持，阐明了其适用性。此外，本文还在拉格朗日坐标框架内发展了一种新的分裂技术，简化了相关分析以及特征线的构造过程。

关键词: 提高原油采收率，聚合物驱，段塞注入，守恒律，双曲型偏微分方程组

5. A Revisiting of the Pressure Elimination for a Fluid-Structure PDE Interaction and its Implications

流体-结构偏微分方程耦合系统中压力消除方法的再探讨及其意义

作者: George Avalos, Yuhao Mu

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06615v1

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

摘要翻译

中文标题: 流体-结构偏微分方程耦合系统中压力消除方法的再探讨及其意义

摘要翻译: 本文首次建立了一种新的压力消除与重构技术，适用于一般有界Lipschitz区域内的流体-结构相互作用模型，且无需额外的几何条件（如角点凸性）。我们所考虑的具体流体-结构相互作用（FSI）是一个著名的耦合Stokes流与线弹性模型，构成一个耦合的抛物-双曲型偏微分方程系统。这两种不同类型的偏微分方程动力学通过边界界面进行耦合，各自在不同的几何区域上演化，相关边界均为Lipschitz连续。为简化起见，我们考虑该FSI系统的线性版本，并以Stokes流为基础。我们提出的新压力消除方法允许显式地构造出一个$C_0$-半群生成元$\mathcal{A} : D(\mathcal{A}) \subset \mathbf{H} \to \mathbf{H}$，其中$\mathbf{H}$是与流体-结构初始数据相关的能量空间。这一构造首次在如此一般的几何条件下，为连续偏微分方程系统的适定性提供了严格的解析证明。我们还阐述了该结果对其他领域的若干自然推论，例如在数值逼近方面，它为多边形区域上的有限元方法（FEM）收敛性估计提供了理论基础。

6. On the well-posedness of a nonlocal kinetic model for dilute polymers with anomalous diffusion

关于一类具有反常扩散的稀疏聚合物非局部动力学模型的适定性研究

作者: Marvin Fritz, Endre Süli, Barbara Wohlmuth

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06570v1

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

摘要翻译

中文标题: 关于一类具有反常扩散的稀疏聚合物非局部动力学模型的适定性研究

摘要翻译: 本文研究了一类关于不可压缩稀疏聚合物流体的非局部（在时间上）动力学模型。该系统将宏观的动量守恒方程与介观尺度下描述聚合物构型概率密度函数演化的次扩散Fokker-Planck方程相耦合。模型中引入了非局部特性，以刻画次扩散及具有记忆效应的现象。我们的主要结果是证明了该非局部系统在大初值条件下全局弱解的存在性。证明的核心在于建立一个涉及适当相对熵的能量估计，这使得我们能够处理耦合两个方程的关键性的广义非共旋拖曳项。作为一个附带结果，我们证明了概率密度函数的非负性。分析中的关键步骤是通过多种技术的结合，建立Galerkin逼近序列的强收敛性，其中特别依赖于针对非局部偏微分方程的一个新颖的紧性结果。最后，我们证明了具有足够正则性的弱解的唯一性。

不相关论文（基本信息）

1. Lecture notes on flow equation approach to singular stochastic PDEs

奇异随机偏微分方程的流方程方法讲义

作者: Paweł Duch

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

发布日期: 2025-11-10

arXiv ID: 2511.07120v1

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

摘要: The flow equation approach is a robust framework applicable to a broad class of singular SPDEs, including those with fractional Laplacians, throughout the entire subcritical regime. Inspired by Wilson’s renormalization group, this method studies the coarse-grained process, which captures the behaviour of solutions across spatial scales. The corresponding flow equation describes how the nonlinear terms in the effective dynamics evolve with the coarse-graining scale, playing a role analogous to the Polchinski equation in quantum field theory. The renormalization problem is then solved inductively by imposing appropriate boundary conditions on the flow equation.

2. On the Propagation of Regularity of Solutions to the KdV Equation on the positive Half-line

论KdV方程解在正半直线上的正则性传播

作者: Márcio Cavalcante, Aílton C. Nascimento

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06951v1

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

摘要: We study special regularity properties of solutions to the initial-boundary value problem associated with the Korteweg-de Vries equations posed on the positive half-line. In particular, for initial data $u_0 \in H^{\frac{3}{4}^{+}}(\mathbb{R}^+)$ and boundary data $f\in H^{\frac32^+}(\R^+)$, where the restriction of $u_0$ to some subset of $(b,\infty)$ has an extra regularity for any $b>0$, we prove that the regularity of solutions $u$ moves with infinite speed to its left as time evolves until a certain time $T^*$. The existence of a stopping time $T^{*}$ appears because of the effect of the boundary function $f$. Also, as a consequence of our proof, we prove a gain in the regularity of the trace derivatives of the solutions for the Korteweg-de Vries on the half-line.

3. On the asymptotic properties of solutions to one-phase free boundary problems

关于单相自由边界问题解的渐近性质的研究

作者: Max Engelstein, Daniel Restrepo, Zihui Zhao

类别: math.AP, math.DG

发布日期: 2025-11-11

arXiv ID: 2511.08393v1

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

摘要: In this article we study the structure of solutions to the one-phase Bernoulli problem that are modeled either infinitesimally or at infinity by one-homogeneous solutions with an isolated singularity. In particular, we prove a uniqueness of blowups result under a natural symmetry condition on the one-homogeneous solution (à la Allard–Almgren) and we prove a rigidity result at infinity (à la Simon–Solomon) under additional constraints on the linearized operator around the one-homogeneous solution (which are satisfied by the only known examples of minimizing one-homogeneous solutions). We believe these are the first uniqueness of blow-up/blow-down results at singular points for non-minimizing solutions to the one-phase problem.

4. Hamilton-Jacobi-Bellman equations on graphs

图上的Hamilton-Jacobi-Bellman方程

作者: Nicolò Forcillo, Jun Kitagawa, Russell W. Schwab

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07653v1

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

摘要: Here, we study Hamilton-Jacobi-Bellman equations on graphs. These are meant to be the analog of any of the following types of equations in the continuum setting of partial differential and nonlocal integro-differential equations: Hamilton-Jacobi (typically first order and local), Hamilton-Jacobi-Bellmann-Isaacs (first, second, or fractional order), and elliptic integro-differential equations (nonlocal equations). We give conditions for the existence and uniqueness of solutions of these equations, and work through a long list of examples in which these assumptions are satisfied. This work is meant to accomplish three goals: complement and unite earlier assumptions and arguments focused more on the Hamilton-Jacobi type structure; import ideas from nonlocal elliptic integro-differential equations; and argue that nearly all of the operators in this family enjoy a common structure of being a monotone function of the differences of the unknown, plus ``lower order’’ terms. This last goal is tied to the fact that most of the examples in this family can be proven to have a Bellman-Isaacs representation as a min-max of linear operators with a graph Laplacian structure.

5. Modified Scattering for Nonlocal Nonlinear Schrödinger Equations

非局部非线性薛定谔方程的修正散射

作者: Tim Van Hoose

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06637v1

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

摘要: We prove a modified scattering and sharp $L^\infty$ decay result for both the Hartree and Schrödinger-Bopp-Podolsky equations in dimensions $2$ and $3$ using the testing by wavepackets approach due to Ifrim and Tataru. We show that modified scattering and sharp pointwise decay occur for these equations at a regularity much lower than previous results due to Hayashi-Naumkin and Kato-Pusateri, and as a corollary also show that the results on power-type scattering-critical NLS due to Hayashi-Naumkin can be proven under minimal regularity assumptions.

6. A note on the fourth-order Schrodinger equation with spatially growing inhomogeneous source term

关于带有空间增长型非齐次源项的四阶薛定谔方程的一点注记

作者: Alaa Mohammed Alqaied, Tarek Saanouni

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06985v1

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

摘要: This paper studies a non-linear biharmonic Schödinger equation with an unbounded inhomogeneous term. The main goal is to develop a local theory but also a global theory for small data, in the energy space. Moreover, we develop a local theory in Sobolev spaces with lower regularity. The challenge is to deal with the inhomogeneous unbounded term, which broke down the space translation invariance. In order to handle the inhomogenous term, we use some Strauss type estimates, which require a spherically symmetric assumption.

7. Global dynamics of chemotaxis-consumption systems with oppositely acting nonlocal terms

具有反向作用非局部项的趋化-消耗系统的全局动力学

作者: Rafael Diaz Fuentes, Fatma Gamze Duzgun, Silvia Frassu, Giuseppe Viglialoro

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06974v1

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

摘要: This paper studies a chemotaxis system where cells move in response to a chemical signal within a confined habitat. The model includes external source terms that combine local and nonlocal growth with dampening effects. The main focus is on conditions under which solutions exist for all time and remain uniformly bounded, preventing cell aggregation. Two types of source terms are considered. In the first case, the structure of the source term ensures that the total cell mass remains controlled over time. In the second case, this mass control is not guaranteed, which can lead to different dynamic behaviors. The results extend previous studies that examined similar systems but with more specific source terms and slightly different chemical dynamics. This work highlights how variations in the reaction terms influence the long-term behavior of the system.

8. Critical threshold for a two-species chemotaxis system with the energy critical exponent

具有能量临界指数的双物种趋化系统的临界阈值研究

作者: Shen Bian

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06343v1

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

摘要: We consider a two-species chemotaxis model in $\R^d(d \ge 3)$ featuring nonlinear porous medium-type diffusion and nonlocal attractive power-law interaction. Here, the nonlinear diffusion is chosen to be $1/m_1+1/m_2=(d+2)/d$ in such a way that the associated free energy is conformal invariant, and there are radially symmetric, non-increasing and non-compactly supported stationary solutions $(U_s(x),V_s(x))$. We analyze the conditions on initial data $(u_0,v_0)$ under which attractive forces dominate over diffusion, and further classify the global existence and finite time blow-up of dynamical solutions by virtue of these stationary solutions. Specifically, the solution $(u,v)(x,t)$ exists globally in time if the initial data satisfy $\|u_0\|_{L^{m_1}(\R^d)}<\|U_s\|_{L^{m_1}(\R^d)}$ and $\|v_0\|_{L^{m_2}(\R^d)}<\|V_s\|_{L^{m_2}(\R^d)}$. In contrast, there are blowing-up solutions when $\|u_0\|_{L^{m_1}(\R^d)}>\|U_s\|_{L^{m_1}(\R^d)}$ and $\|v_0\|_{L^{m_2}(\R^d)}>\|V_s\|_{L^{m_2}(\R^d)}$.

9. Classification of unstable travelling wave solutions to KdV type equations

KdV型方程不稳定行波解的分类

作者: Kaito Kokubu

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08211v1

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

摘要: We study travelling wave solutions to Korteweg–de Vries type equations which have double power nonlinearities with integer indices, such as the Gardner equation, and fractional dispersion. Whether these equations have ground state solutions depends on signatures of nonlinearities and parity combinations of the two indices. The aim of this study is to give the classification of phenomena of travelling wave solutions from the perspective of the signatures and parities of the indices. In this paper, we focus on unstable travelling wave solutions.

10. Elementary commutator method for the Dirac equation with long-range perturbations

狄拉克方程在长程扰动下的初等交换子方法

作者: Shinichi Arita, Kenichi Ito

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

发布日期: 2025-11-11

arXiv ID: 2511.08209v1

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

摘要: We present direct and elementary commutator techniques for the Dirac equation with long-range electric and mass perturbations. The main results are absence of generalized eigenfunctions and locally uniform resolvent estimates, both in terms of the optimal Besov-type spaces. With an additional massless assumption, we also obtain an algebraic radiation condition of projection type. For their proofs, following the scheme of Ito-Skibsted, we adopt, along with various weight functions, the generator of radial translations as conjugate operator, and avoid any of advanced functional analysis, pseudodifferential calculus, or even reduction to the Schrödinger equation. The results of the paper would serve as a foundation for the stationary scattering theory of the Dirac operator.

11. Critical curve for weakly coupled system of semilinear Euler-Poisson-Darboux-Tricomi equations

弱耦合半线性欧拉-泊松-达布-特里科米方程组的临界曲线

作者: Yuequn Li, Fei Guo

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08084v1

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

摘要: This paper investigates a weakly coupled system of semilinear Euler-Poisson-Darboux-Tricomi equations (EPDTS) with power-type nonlinear terms. More precisely, in the case where the damping terms dominate over the mass terms, the critical curve in the $p-q$ plane that delineates the threshold between global existence and blow-up for the EPDTS is given by \begin{equation*} Γ_m(n,p,q,β_1,β_2)=0, \end{equation*} where $Γ_m$ is defined by (\ref{gammam}). Through the construction of new test functions, the blow-up problem is addressed when $Γ_m(n,p,q,β_1,β_2)\geq0$. Based on the $(L^1\cap L^2)-L^2$ estimates of the solution to the corresponding linear equation established in our previous work \cite{LiGuo2025}, we derive the global existence of solutions with small initial data when $Γ_m(n,p,q,β_1,β_2)<0$, provided that the damping terms prevail over the mass terms.

12. Segregated solutions for nonlinear Schrödinger systems with sublinear coupling terms

具有次线性耦合项的非线性薛定谔系统中的分离解

作者: Qing Guo, Chengxiang Zhang

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06671v1

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

摘要: We establish the existence of infinitely many nonnegative, segregated solutions for the sublinearly coupled Schrödinger system

$$ \begin{cases} -Δu + K_1(x)u = μu^{p-1} + βu^{σ_1}v^{σ_2+1} \\ -Δv + K_2(x)v = νv^{p-1} + βu^{σ_1+1}v^{σ_2} \end{cases} \quad x \in \mathbb{R}^N $$

where $N \geq 2$, $p \in (2,2^*)$, $2^* = 2N/(N-2)$ ($2^* = \infty$ if $N=2$), $K_j$ are radial potentials, $μ, ν> 0$, $β\in \mathbb{R}$, and critically $σ_j \in (0,1)$. The sublinear coupling exponents $σ_j$ introduce fundamental challenges due to nonsmooth nonlinearities and singularities in standard reduction methods. To overcome this, we develop an enhanced Lyapunov-Schmidt reduction framework. By recasting the problem within a specially constructed metric space of local minimizers for an outer boundary value problem, we derive sharp a priori estimates enabling contraction mapping arguments. This approach circumvents the limitations of classical methods for sublinear couplings. We further uncover a novel “dead core” phenomenon: solutions $(u_\ell, v_\ell)$ exhibit non-strict positivity with topological segregation. Specially, for $N=2$ and large integers $\ell$, there exist radii $0 < R_1 < R_2$ such that $\text{supp } u_\ell \subset B_{R_2}(0)$, $\text{supp } v_\ell \subset \mathbb{R}^N \setminus B_{R_1}(0)$, and $u_\ell + v_\ell \to 0$ uniformly in $B_{R_2}(0) \setminus B_{R_1}(0)$ as $\ell \to \infty$. Our methodology provides a versatile framework for handling nonsmooth nonlinearities in reduction techniques.

13. Properties of Solutions to the Full Fractional Heat Operator Equation

全分数阶热算子方程解的性质

作者: Lu Haipeng, Yu Mei

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07153v1

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

摘要: In this paper, we consider the following indefinite fully fractional heat equation involving the master operator . Under certain assumptions of the indefinite nonlinearity and its weight, we prove that there is no positive bounded solution, which is based on the monotonicity of the solution along the first direction that is proved by employing the method of moving planes. Besides, if the weight satisfy other conditions, we come to different conclusions according to the behavior of the nonlinearity at infinity. To overcome the difficulties caused by the operator, we lead in some mathematics tools that, as we believe, will be useful in studying problems involving other fractional operators or nonlinearities.

14. The relative index theorem and a characterization of Fredholm operators

相对指标定理与Fredholm算子的一个刻画

作者: Magnus Fries

类别: math.KT, math.AP, math.FA, math.OA, math.SP

发布日期: 2025-11-09

arXiv ID: 2511.06375v1

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

摘要: We extend the relative index theorem on non-compact manifolds to encompass a wide variety of hypoelliptic differential operators of arbitrary order, demonstrating that the change in index when changing a differential operator locally can be calculated locally. We also show that the notion of invertibility at infinity (and coercive at infinity) is not only sufficient condition for an operator to be Fredholm but also necessary, resulting in a general geometric characterization of Fredholmness. This characterization connects to a model for unbounded $KK$-theory which assumes the operator to be Fredholm instead of having (locally) compact resolvent, and thus provides a convenient tool for index theory on non-compact spaces.

15. Liouville results for supersolutions of fractional $p$-Laplacian equations with gradient nonlinearities

关于具梯度非线性项的分数阶 $p$-Laplacian 方程超解的Liouville型结果

作者: Mousomi Bhakta, Anup Biswas, Aniket Sen

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06334v1

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

摘要: We prove that any nonnegative viscosity solution of the inequality

$$ (-Δ_p)^s u(x) \geq u^{t} |\nabla u|^{m}\quad \text{ in }\; \mathbb{R}^N,\; N\geq 2, $$

must be constant. This result holds for parameters $p\in (1, \infty), s\in (0, 1)$, $t, m\geq 0$, satisfying

$$ t (N-sp) + m(N-(sp-p+1)) < N(p-1), $$

with the additional condition that either $m\leq p-1$ if $p-1<sp$, or $m<sp$ if $p-1\geq sp$.

16. Diffusion-Reaction Epidemic Model with a Free Boundary

具有自由边界的扩散-反应传染病模型

作者: Aesol Jeon, Ki-Ahm Lee

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07291v1

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

摘要: This study investigates an SEIS PDE model with a free boundary, which captures the dynamics of epidemic transmission, including diseases like COVID-19. This parabolic PDE system is analyzed in a rotationally symmetric domain, and the existence and uniqueness of the local solution are established through the straightening lemma. Furthermore, the existence and uniqueness of the global solution are established under specific conditions on the diffusion coefficients. Then the model introduces the basic reproductive number, $R_0$, which provides sufficient conditions for determining whether the disease will vanish or spread. Notably, when $R_0<1$, the disease-free equilibrium(DFE) is shown to be globally stable, and when $R_0>1$, the DFE is unstable. Lastly, we investigate the convergence speed of solutions by applying nonlinear elliptic eigenvalue techniques to the associated parabolic PDE system.

17. A ballistic upper bound on the accumulation of bosonic on-site energies

关于玻色子局域能量累积的一个弹道型上界

作者: Tomotaka Kuwahara, Marius Lemm, Carla Rubiliani

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

发布日期: 2025-11-10

arXiv ID: 2511.07558v1

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

摘要: In this note, we study transport properties of the dynamics generated by translation-invariant and possibly long-ranged Hamiltonians of Bose-Hubbard type. For translation-invariant initial states with controlled boson density, we improve the known bound on the local repulsive energy at time $t$ from $\langle n^2_x\rangle_t\lesssim t^{2d}$ to $\langle n^2_x\rangle_t\lesssim t^d$. This shows that bosonic on-site energies accumulate at most ballistically. Extending the result to higher moments would have powerful implications for bosonic Lieb-Robinson bounds. While previous approaches focused on controlling particle transport, our proof develops novel ASTLOs (adiabatic space-time localization observables) that are able to track the growth of local boson-boson correlations.

薄膜及相关演化方程强解趋于自相似性的改进平衡速率

作者: Mario Bukal

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06553v1

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

摘要: This paper investigates the asymptotic behavior of strong solutions to a family of nonlinear fourth-order evolution equations on the real line, with particular focus on the thin-film equation $\partial_tu = -(uu_{xxx})_x$. The method builds on the framework introduced by Carrillo and Toscani (Nonlinearity 27 (2014), 3159) for second-order nonlinear diffusion equations - by introducing a time-dependent rescaling that preserves the second moment, we establish sharp convergence rates toward the steady state in terms of the relative Rényi entropy. Compared to rates derived from the dissipation of the classical relative entropy, this approach yields improved estimates at early and intermediate times, and consequently a sharper convergence in the $L^1$-norm. The method is developed at a formal level for the family of fourth-order equations, including the well-known Derrida-Lebowitz-Speer-Spohn (DLSS) equation, but can be rigorously justified for strong solutions of the thin-film equation.

19. Well-posedness of the focusing stochastic nonlinear Schrödinger equation: $L^2$-critical and supercritical cases

聚焦随机非线性薛定谔方程的适定性：$L^2$-临界与超临界情形

作者: Annie Millet, Svetlana Roudenko

类别: math.AP, math.PR

发布日期: 2025-11-10

arXiv ID: 2511.07072v1

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

摘要: We study the focusing $L^2$-critical and supercritical stochastic nonlinear Schrödinger equation subject to additive or multiplicative noise. We investigate global or long time behavior of solutions in $H^1$, which would correspond to global well-posedness in the deterministic case, with either deterministic or random initial data, and establish quantitative information about the well-posedness time, its probability and bounds on the solution in both cases. We then give criteria for finite time blow-up with positive probability for an $H^1$-valued initial data with positive energy in both cases.

20. A unified clasification of Liouville properties and nontrivial solution for fractional elliptic equations with general Hénon-type superquadratic and gradient growth

关于具有一般Hénon型超二次项和梯度增长的分数阶椭圆方程的Liouville性质与非平凡解的统一分类

作者: Hoang-Hung Vo

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08286v1

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

摘要: We investigate Liouville-type results, existence, uniqueness and symmetry to the solution of nonlinear nonlocal elliptic equations of the form

$$ Lu = |x|^γ\,H(u)\,G(\nabla u), \qquad x\in\R^n, $$

where $L$ is a symmetric, translation-invariant, uniformly elliptic integro–differential operator of order $2s\in(0,2)$, and $H,G$ satisfy general structural and growth conditions. A unified analytical framework is developed to identify the precise critical balance $γ+p=2s$, which separates the supercritical, critical, and subcritical situations. In the supercritical case $γ+p>2s$, the diffusion dominates the nonlinear term and every globally defined solution with subcritical growth must be constant; in the critical case $γ+p=2s$, all bounded positive solutions are constant, showing that the nonlocal diffusion prevents the formation of nontrivial equilibria; in the subcritical case $γ+p<2s$, we are able construct a unique, positive, radially symmetric, and monotone entire solution with explicit algebraic decay

$$ u(x)\sim (1+|x|^2)^{-β}, \qquad β=\frac{2s+γ-p}{1-p}>0. $$

The proofs rely on new nonlocal analytical techniques, including quantitative cutoff estimates for general integro–differential kernels, a fractional Bernstein-type transform providing pointwise gradient control, and moving plane and sliding methods formulated in integral form to establish symmetry and uniqueness. The current investigation provides an equivalent and unifying contribution to Liouville properties and related existence results, comparable to the recent deep studies of Chen–Dai–Qin~\cite{Chen2023} and Biswas–Quaas–Topp~\cite{Biswas2025} on this direction.

21. Scattering of the defocusing Calogero–Moser derivative nonlinear Schrödinger equation

离焦Calogero–Moser导数非线性薛定谔方程的散射

作者: Xi Chen

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06432v1

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

摘要: In this paper, we study the defocusing Calogero–Moser derivative nonlinear Schrödinger equation. Using the Gérard-type explicit formula, we prove the scattering result of solutions to this equation with initial data in $H_{+}^{1,α}(\mathbb{R}) := \{u\in H_{+}^1(\mathbb{R}) : |x|^αu\in L^2(\mathbb{R})\}$ for $α>1/4$. We also characterize the scattering using the distorted Fourier transform associated with the Lax operator. This is one of the first works that apply the Gérard-type explicit formula to study the long-time behavior of an integrable equation for a broad class of initial data, beyond the previously studied rational cases.

22. Vortex Solutions for A Mixed Boundary-Value Problem in the Abelian-Higgs Model with A Neutral Scalar Field

阿贝尔-希格斯模型中带中性标量场的混合边值问题的涡旋解

作者: Guange Su, Xiaosen Han

类别: math.AP, math-ph

发布日期: 2025-11-10

arXiv ID: 2511.06931v1

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

摘要: Vortices represent a class of topological solitons arising in gauge theories coupled with complex scalar fields, holding significant importance across various domains of modern physics. In this paper we establish the existence of vortex solutions for a mixed boundary-value problem derived from the Abelian-Higgs model incorporating a neutral scalar field, a system recently investigated by Eto, Peterson et al. [7]. By synergistically combining the shooting method with the Schauder fixed-point theorem, we derive sharp analytical criteria that delineate the Abelian vortex phase from the non-Abelian one. We also rigorously establish the monotonicity, uniform boundedness, and precise asymptotic behavior of the vortex profile functions. Our results provide rigorous confirmation of numerical observations regarding the phase boundary between these distinct vortex types.

23. The emergence of nonlinear Jeans-type instabilities for quasilinear wave equations. II: Generalizations

拟线性波动方程的非线性 Jeans 型不稳定性的出现。II：推广

作者: Chao Liu, Yiqing Shi

类别: math.AP

发布日期: 2025-11-09

arXiv ID: 2511.06289v1

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

摘要: This work extends the previous work by the first author [arXiv:2409.02516] and [Math. Ann. 393 (2025), 317-363], analyzing the long-term behavior of solutions to a broader class of quasilinear wave equations with parameter $1<\mathsf{a}\leq30$ and $\frac{1}{3}\leq\mathsf{b}\leq\frac{2}{3}$: \begin{equation*} \partial^2_t \varrho- \biggl( \frac{ \mathsf{m}^2 (\partial_{t}\varrho )^2}{(1+\varrho )^2} + 4(\mathsf{k}-\mathsf{m}^2)(1+\varrho )\biggr) Δ\varrho = F(t,\varrho,\partial_μ \varrho) \end{equation*} where $F$ is given by \begin{equation*} F(t,\varrho,\partial_μ \varrho):= \mathsf{b} \varrho (1+ \varrho ) -(\mathsf{a}-1) \partial_{t}\varrho

  • \frac{4}{3} \frac{(\partial_{t}\varrho )^2}{1+\varrho } + \biggl(\mathsf{m}^2 \frac{ (\partial_{t}\varrho )^2}{(1+\varrho )^2} + 4(\mathsf{k}-\mathsf{m}^2) (1+\varrho ) \biggr) q^i \partial_{i}\varrho - \mathtt{K}^{ij} \partial_{i}\varrho\partial_{j}\varrho . \end{equation*} The results demonstrate that for this extensive family of quasilinear wave equations satisfying $1<\mathsf{a}\leq30$ and $\frac{1}{3}\leq\mathsf{b}\leq\frac{2}{3}$, self-increasing blowup solutions also exist, and self-increasing singularities emerge at certain future endpoints of null geodesics provided the inhomogeneous perturbations of data are sufficiently small.

24. Asymptotics and periodic dynamics in a negative chemotaxis system with cell lethality

具有细胞致死效应的负趋化系统中的渐近性与周期动力学

作者: Federico Herrero-Hervás, Mihaela Negreanu

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06889v1

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

摘要: This work studies the following system of parabolic partial differential equations \begin{equation*} \begin{cases} \displaystyle \frac{\partial u}{\partial t} = DΔu + χ\nabla \cdot(u \nabla v) + ru(1-u) - u v, \quad & x \in Ω, t > 0, \ \displaystyle \frac{\partial v}{\partial t} = Δv + a u -v+ f(x,t), \quad & x \in Ω, t > 0, \end{cases} \end{equation*} modeling the negative chemotaxis interactions between a biological species and a lethal chemical substance that is supplied according to the known function $f(x,t)$. \\ It is shown that if $f$ converges to a spatially homogeneous function $\tilde{f}$ in a certain sense, then the solution $(u,v)$ satisfies $ ||u-\tilde{u}||_{L^2(Ω)} + ||v-\tilde{v}||_{L^2(Ω)} \to 0 \quad \text{as } t \to \infty, $ where $(\tilde{u},\tilde{v})$ is the solution to the associated ODE system \begin{equation*} \begin{cases} \displaystyle \frac{d \tilde{u}}{dt} = r \tilde{u} (1 - \tilde{u}) - \tilde{u}\tilde{v}, \quad & t>0,\ \displaystyle \frac{d \tilde{v}}{dt} = a\tilde{u} - \tilde{v} + \tilde{f},\quad & t>0. \end{cases} \end{equation*} Some final remarks are given for the case in which $\tilde{f}$ is a time periodic function, and under which hypotheses do $(\tilde{u},\tilde{v})$ inherit this periodicity.

25. Regularity for the normalized p-Laplacian equation with an arbitrary degeneracy law

具有任意退化律的归一化p-Laplace方程的正则性

作者: Claudemir Alcantara, Makson Santos

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07356v1

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

摘要: We examine the interior regularity of solutions to a degenerate normalized $p$-Laplace equation, where the degeneracy is governed by a modulus of continuity whose inverse satisfies a Dini continuity condition. We prove that under very general assumptions on the degeneracy law, solutions belong to the $C^1$ class. We argue by approximating the solutions by a sequence of hyperplanes, which allows us to prove the desired regularity.

26. Positive solutions to semipositone problems on Heisenberg group

Heisenberg群上半正定问题的正解

作者: Vikram Naik, Rohit Kumar

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08104v1

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

摘要: This article focuses on establishing a positive weak solution to a class of semipositone problems over the Heisenberg group $\mathbb{H}^N$. In particular, we are interested in the positive weak solution to the following problem: \begin{equation}\label{p1} -Δ_{\mathbb{H}}u= g(ξ)f_a(u) \text{ in } \mathbb{H}^N \tag{$P_a$}, \end{equation} where $a>0$ is a real parameter and $g$ is a positive function. The function $f_a: \mathbb{R} \rightarrow \mathbb{R}$ is continuous and of semipositone type which means it becomes negative on some parts of the domain. Due to this sign-changing nonlinearity, we can not directly apply the maximum principle to obtain the positivity of the solution to \eqref{p1}. For that purpose, we need some regularity results for our solutions. In this direction, we first prove the existence of weak solutions to \eqref{p1} via the mountain pass technique. Further, we establish some regularity properties of our solutions and using that we prove the $L^\infty$-norm convergence of the sequence of solutions $\{u_a\}$ to a positive function $u$ as $a \rightarrow 0$, which yields $u_a \geq 0$ for $a$ sufficiently small. Finally, we use the Riesz-representation formula to obtain the positivity of solutions under some extra hypothesis on $f_0$ and $g$. To the best of our knowledge, there is no article dealing with semipositone problems in Heisenberg group set up.

27. Derivation of resonance-based schemes via normal forms

基于范式推导共振型格式

作者: Yvain Bruned

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

发布日期: 2025-11-11

arXiv ID: 2511.07838v1

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

摘要: In this work, we propose a systematic derivation of resonance-based schemes via normal forms. The main idea is to use an arborification map on decorated trees together with a Butcher-Connes-Kreimer type coproduct and lower-dominant parts decompositions of the Fourier operator coming from the nonlinear interactions. This new family of low regularity schemes has explicit formulae for its coefficients and its local error. Under a mild assumption, one could expect these schemes to have a similar local error as the low regularity schemes proposed in arXiv:2005.01649.

28. Fast Direct Solvers

快速直接求解器

作者: Per-Gunnar Martinsson, Michael O’Neil

类别: math.NA, math.AP, physics.comp-ph

发布日期: 2025-11-11

arXiv ID: 2511.07773v1

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

摘要: This survey describes a class of methods known as “fast direct solvers”. These algorithms address the problem of solving a system of linear equations $\boldsymbol{Ax}=\boldsymbol{b}$ arising from the discretization of either an elliptic PDE or of an associated integral equation. The matrix $\boldsymbol{A}$ will be sparse when the PDE is discretized directly, and dense when an integral equation formulation is used. In either case, industry practice for large scale problems has for decades been to use iterative solvers such as multigrid, GMRES, or conjugate gradients. A direct solver, in contrast, builds an approximation to the inverse of $\boldsymbol{A}$, or alternatively, an easily invertible factorization (e.g. LU or Cholesky). A major development in numerical analysis in the last couple of decades has been the emergence of algorithms for constructing such factorizations or performing such inversions in linear or close to linear time. Such methods must necessarily exploit that the matrix $\boldsymbol{A}^{-1}$ is “data-sparse”, typically in the sense that it can be tessellated into blocks that have low numerical rank. This survey provides a unifying context to both sparse and dense fast direct solvers, introduces key concepts with a minimum of notational overhead, and provides guidance to help a user determine the best method to use for a given application.

29. Doubling Argument of the Hessian Estimate for the Special Lagrangian Equation on General Phases with Constraints

关于具有一般相位和约束的特殊拉格朗日方程Hessian估计的加倍论证

作者: Cheuk Yan Fung

类别: math.AP, math.DG

发布日期: 2025-11-11

arXiv ID: 2511.07757v1

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

摘要: In this paper, we establish a doubling argument to obtain Hessian estimates for the special Lagrangian equation under general phase constraints. In particular, our approach does not rely on the Michael-Simon mean value inequality. As an intermediate step, we also establish Alexandrov-type theorems, which may be of independent interest.

30. A general comparison principle for the pluripotential complex Monge-Ampère flow

关于复Monge-Ampère流的多势能的一般比较原理

作者: Bowoo Kang

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

发布日期: 2025-11-09

arXiv ID: 2511.06412v1

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

摘要: We prove a comparison principle for the pluripotential complex Monge-Ampère flows for the right-hand side of the form $dt \wedge dμ$ where $dμ$ is dominated by a Monge-Ampère measure of a bounded plurisubharmonic function. As a consequence, we obtain the uniqueness of the weak solution to the pluripotential Cauchy-Dirichlet problem. We also study the long-term behavior of the solution under some assumption.

31. Non-Radial Solution Structures for Quasilinear Hamilton–Jacobi–Bellman Equations in Bounded Settings

有界区域中拟线性Hamilton–Jacobi–Bellman方程的非径向解结构

作者: Dragos-Patru Covei

类别: math.AP, math.OC

发布日期: 2025-11-09

arXiv ID: 2511.06277v1

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

摘要: We study quasilinear Hamilton–Jacobi–Bellman equations on bounded smooth convex domains. We show that the quasilinear Hamilton–Jacobi–Bellman equations arise naturally from stochastic optimal control problems with exit-time costs. The PDE is obtained via dynamic programming applied to controlled Itô diffusions, providing both a probabilistic interpretation and a rigorous derivation. Our result establishes existence and uniqueness of positive classical solutions under sub-quadratic growth conditions on the source term. The constructive proofs, based on monotone iteration and barrier techniques, also provide a framework for algorithmic implementation with applications in production planning and image restoration. We provide complete detailed proofs with rigorous estimates and establish the connection to stochastic control theory through the dynamic programming principle.

32. Numerical simulations of the Gatenby-Gawlinski model with heterogeneous acid diffusion in one space dimension

一维空间中具有非均匀酸扩散的Gatenby-Gawlinski模型的数值模拟

作者: Chiara Simeoni, Elisa Scanu, Donato Pera, Corrado Mascia

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07187v1

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

摘要: In this work, we introduce a variant of the Gatenby-Gawlinski model for acid-mediated tumor invasion in the one-dimensional experimental setting, accounting for heterogeneous diffusion of the lactic acid across the surrounding healthy tissues. Numerical simulations are performed by employing finite volume schemes on staggered cartesian grids, together with explicit time discretization. The effectiveness of such approach is proven by reproducing biologically relevant results like the formation of propagating invasion fronts and the emergence of an interstitial gap between normal and cancerous cells, which is driven by the pH lowering strategy and depends significantly on the non-homogenous diffusion rates. By means of a comparison analysis, we infer that a homogenization phenomenon arises in the long run for appropriate values of the physical parameters, thus paving the way for complex applications to interface diffusion problems of invasive processes.

33. Magnetic Pseudo-differential Operators with Hörmander Symbols Dominated by Tempered Weights

具有受缓增权控制的Hörmander符号的磁伪微分算子

作者: Mikkel Hviid Thorn

类别: math-ph, math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07184v1

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

摘要: We extend the matrix representation of magnetic pseudo-differential operators in a tight Gabor frame from [arXiv:1804.05220, arXiv:2212.12229] to asymmetrical quantizations and smooth symbols dominated by a tempered weight (and not just decay/growth properties in the momentum variables). This leads to new results regarding the symbol calculus of such operators and their Schatten-class properties.

34. Profile of a Touch-Down solution to a nonlocal MEMS model with critical parameters

具有临界参数的非局部MEMS模型触地解的轮廓分析

作者: Maissâ Boughrara

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06910v1

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

摘要: This work investigates a mathematical model arising in the study of MEMS devices, described by the following parabolic equation on $[0,T)\timesΩ$:

$$ \partial_t v = Δv + \fracλ{(1-v)^2\left( 1 + γ\int_Ω \frac{1}{1-v}\, dx \right)^{2}} , \qquad 0 \leq v \leq 1, $$

where $Ω\subset \mathbb{R}^N$ is a bounded domain and $λ, γ> 0$. We construct a solution with a prescribed profile, which quenches in finite time $T$ at exactly one interior point $a \in Ω$. Moreover, we are able to provide an asymptotic description of the quenching profile. We reformulate the problem as a blow-up problem to utilize the techniques employed in Merle, Zaag in 1997, Duong, Zaag in 2019 and Duong, Ghoul, Kavallaris, Zaag 2022. The proof proceeds through two principal steps: a reduction to a finite-dimensional dynamical system and a classical topological argument employing index theory. The main challenge lies in managing the nonlocal integral term, which generates an additional gradient term when the problem is transformed into the blow-up framework.

35. A PDE perspective on the flat chain conjecture

关于平坦链猜想的偏微分方程视角

作者: Andrea Marchese

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06822v1

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

摘要: This survey summarizes recent progress on the flat chain conjecture, which asserts the equivalence between metric currents and flat chains with finite mass in the Euclidean space. In particular, we focus on recent work showing that the conjecture is equivalent to a Lipschitz regularity estimate for a certain PDE.

36. Global existence for the relativistic Vlasov-Poisson system in a two-dimensional bounded domain

二维有界区域中相对论性Vlasov-Poisson系统的整体存在性

作者: Yanmin Mu, Dehua Wang

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.06595v1

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

摘要: In this paper, we prove the global existence of solutions to the relativistic Vlasov-Poisson system for general initial data in convex bounded domains of two space dimensions, assuming the specular reflection boundary conditions for the distribution density. The boundary conditions for the electric potential are considered in two cases: Neumann boundary conditions and homogeneous Dirichlet boundary conditions. The core ideas involve constructing suitable velocity lemmas and applying geometric techniques. In the two-dimensional case, it is crucial to select the arc length as the parameter of the curve and to further combine this with the Frenet-Serret formulas, enabling us to effectively describe the distribution density equation near the boundary and thus establishing a vital connection in the geometric representation.

37. Identification of Source Terms in the Ginzburg-Landau Equation from Final Data

基于终值数据识别Ginzburg-Landau方程中的源项

作者: Roberto Morales, Javier-Ramírez-Ganga

类别: math.AP, math.OC

发布日期: 2025-11-10

arXiv ID: 2511.07345v1

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

摘要: In this article, we study an inverse problem consisting in the identification of a space-time dependent source term in the Ginzburg-Landau equation from final-time observations. We adopt a weak-solution framework and analyze Tikhonov’s functional, deriving an explicit gradient formula via an adjoint system and proving its Lipschitz continuity. We then establish existence and uniqueness results for quasi-solutions, and validate the theory with numerical experiments based on iterative methods.

38. Asymptotic analysis of transmission problems with parameter-dependent Robin conditions

具有参数依赖Robin条件的传输问题的渐近分析

作者: Takeshi Fukao

类别: math.AP

发布日期: 2025-11-10

arXiv ID: 2511.07704v1

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

摘要: We study a transmission problem of {N}eumann–{R}obin type involving a parameter $α$ and perform an asymptotic analysis with respect to $α$. The limits $α\to 0$ and $α\to +\infty$ correspond respectively to complete decoupling and full unification of the problem, and we obtain rates of convergence for both regimes. Biologically, the model describes two cells connected by a gap junction with permeability $α$: the case $α\to 0$ corresponds to a situation where the gap junction is closed, leaving only tight junctions between the cells so that no substance exchange occurs, while $α\to +\infty$ corresponds to a situation that can be interpreted as the cells forming a single structure. We also clarify the relationship between the asymptotic analysis with respect to the parameter $α$ and the asymptotics of the system in connection with the convergence of convex functionals known as {M}osco convergence. Finally, we consider time-dependent permeability and analyze the case where $α$ blows up in finite time. Under suitable regularity assumptions, we show that the solution can be extended beyond the blow-up time, remaining in the single structure regime.

39. Total variation flow of curves in Riemannian manifolds

黎曼流形中曲线的全变分流

作者: Lorenzo Giacomelli, Michał Łasica, Salvador Moll

类别: math.AP, math.DG

发布日期: 2025-11-11

arXiv ID: 2511.08459v1

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

摘要: We consider the functional of total variation of maps from an interval into a Riemannian submanifold of $\mathbb R^N$. We define a notion of strong solution to the system of equations corresponding to the $L^2$-gradient flow of this functional. We prove global existence of strong solutions for initial data of bounded variation. We show that the solutions satisfy a variational equality, and deduce uniqueness in the case of non-positive sectional curvature. We prove convergence of strong solutions to a constant map in finite time.

40. Global branching for semilinear fractional Laplace with sublinear nonlinearity

次线性非线性下半线性分数阶拉普拉斯方程的整体分支

作者: Jefferson Abrantes, Rohit Kumar, Abhishek Sarkar

类别: math.AP

发布日期: 2025-11-11

arXiv ID: 2511.08037v1

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

摘要: This article investigates the existence, nonexistence, and multiplicity of positive solutions to the sublinear fractional elliptic problem $(P_λ^s)$. We begin by establishing several a priori estimates that provide regularity results and describe the qualitative behavior of solutions. A critical threshold level for the parameter $λ$ is identified, which plays a crucial role in determining the existence or nonexistence of solutions. The sub and supersolution method is employed to obtain a weak solution. Furthermore, we establish a relation between the local minimizers of $\mathcal{D}^{s,2}(\mathbb{R}^N)$ versus $C(\mathbb{R}^N; 1+|x|^{N-2s})$. Combining these results with the Classical Linking Theorem, we demonstrate the existence of at least two distinct positive weak solutions to $(P_λ^s)$. This work extends the results of Yang, Abrantes, Ubilla, and Zhou (J. Differential Equations, 416:159-189, 2025) to the nonlocal setting, i.e., when $s \in (0,1)$. Several technical challenges arise in this framework, such as the lack of a standard comparison principle in $\mathbb{R}^N$ in the fractional setting.