生成时间: 2025年12月17日 03:49:33

重点关注论文数量: 2

了解领域论文数量: 3

不相关论文数量: 14

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

1. Existence and regularity for perturbed Stokes system with critical drift in 2D

二维情形下具有临界漂移的扰动Stokes系统的存在性与正则性

作者: Misha Chernobai, Tai-Peng Tsai

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14627v1

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

详细分析

中文标题: 二维情形下具有临界漂移的扰动Stokes系统的存在性与正则性

研究对象和背景

本文研究的是在二维有界Lipschitz域中，带有临界漂移项的扰动Stokes系统的解的存在性与正则性。所考虑的方程组为：

其中未知函数 $ (u,\pi) : \Omega \to \mathbb{R}^2 \times \mathbb{R} $ 分别表示速度场和压力场，$ \Omega \subset \mathbb{R}^2 $ 是一个有界Lipschitz域，漂移向量场 $ b : \Omega \to \mathbb{R}^2 $ 满足 $ \mathrm{div}\, b = 0 $，且属于弱 $ L^2 $ 空间 $ L^{2,\infty}(\Omega)^2 $，即所谓的临界空间；外力项 $ G \in L^q(\Omega)^{2\times2} $，$ 1 < q < \infty $。

这类系统是经典Stokes方程的推广，其中引入了对流项 $ b \cdot \nabla u $，这在流体力学中常用于描述背景流动对粘性流体的影响。当 $ b $ 属于超临界空间（如 $ L^p $，$ p > n $）时，该非线性项可视为小扰动，可用标准摄动方法处理。然而，当 $ b $ 处于临界空间（此处 $ L^{2,\infty}(\mathbb{R}^2) $ 在尺度上等价于 $ L^2(\mathbb{R}^2) $），传统的能量估计不再适用，必须采用更精细的分析工具。

值得注意的是，本文将作者此前在高维 $ n \geq 3 $ 情形下的结果 [7] 推广至 二维情形，而二维情况带来了若干新的技术挑战：

1. 积分可积性下降：在三维中，若 $ b \in L^3 $，$ u \in W^{1,2} $，则乘积 $ b \otimes u \in L^{3/2} \supset L^2 $，但在二维中，$ b \in L^{2,\infty} $ 仅能保证 $ b \otimes u \in L^{2-} $，导致许多自然的能量测试函数（如 $ \zeta = u \eta^4 $）无法使交叉项 $ \int b \otimes u : \nabla(u \eta^4) $ 绝对收敛。

2. 压力估计困难：由于 $ \nabla \pi \approx \Delta u + \mathrm{div}(b \otimes u) - \mathrm{div}\, G $，其正则性依赖于 $ b \otimes u $ 的可积性。在二维中，即使 $ u \in W^{1,2} $，$ b \otimes u $ 也仅属于 $ L^{2-} $，因此压力 $ \pi $ 只能在 $ L^q $ 中控制，其中 $ q < 2 $。为此，作者使用 $ q = 4/3 $ 进行局部压力分解。

3. 边界几何要求更严格：为了在边界附近进行一致的压力估计，需要使用Wolf的局部压力投影，而该投影在Lorentz空间中的常数依赖于边界的光滑性。为保持常数一致，必须假设区域的Lipschitz常数足够小，这是二维特有的限制。

此外，文中还考虑了一个相关的标量方程：

其中同样 $ \mathrm{div}\, b = 0 $，$ b \in L^{2,\infty}(\Omega) $。该问题的技术难点类似，但由于无压力项，边界条件的要求更低，允许任意大的Lipschitz常数。

函数空间方面，论文广泛使用了Lorentz空间 $ L^{p,q} $ 和Sobolev空间。定义如下：

• $ C_c^\infty(\Omega) $：紧支撑无穷可微函数；
• $ C_{c,\sigma}^\infty(\Omega) $：零散度的向量值紧支撑光滑函数；
• $ W_0^{1,q}(\Omega) $：Sobolev空间中迹为零的函数；
• $ W_{0,\sigma}^{1,q}(\Omega) $：$ W_0^{1,q}(\Omega)^2 $ 中满足 $ \mathrm{div}\, u = 0 $ 的子空间；
• $ L_0^q(\Omega) $：均值为零的 $ L^q $ 函数空间。

弱解的定义基于分布意义下的变分形式。称 $ (u,\pi) $ 是(1.1)的弱解对，若 $ u \in W_{0,\sigma}^{1,q}(\Omega) $，$ \pi \in L_0^q(\Omega) $，且对所有 $ \zeta \in C_c^\infty(\Omega)^2 $，满足：

特别地，若 $ q=2 $，称为弱解；若仅要求对所有 $ \zeta \in C_{c,\sigma}^\infty(\Omega) $ 成立，则称 $ u $ 为q-弱解。

此外，文中还引入了对偶系统：

其作用在于通过对偶论证建立唯一性，尤其在 $ q < 2 $ 时。

综上所述，本文的研究对象是一个在二维有界Lipschitz域中、带有零散度临界漂移 $ b \in L^{2,\infty} $ 的扰动Stokes系统，目标是证明在 $ L^q $ 力源下，存在具有更高可积性的弱解，并建立相应的先验估计与唯一性。

主要定理或主要结果

定理 1.1（扰动Stokes系统在临界漂移下的存在性与正则性）

设 $ \Omega \subset \mathbb{R}^2 $ 为一有界Lipschitz域，其Lipschitz常数 $ L < L_0 $，其中 $ 0 < L_0 < 1 $ 是一个充分小的常数。假设 $ b \in L^{2,\infty}(\Omega)^2 $ 且 $ \mathrm{div}\, b = 0 $。则存在 $ p_0 = p_0(\|b\|_{L^{2,\infty}}) > 2 $，使得对任意 $ p_0' < q < p_0 $（其中 $ p_0' $ 为 $ p_0 $ 的共轭指数）及任意 $ G \in L^q(\Omega)^{2\times2} $，存在弱解对 $ (u,\pi) \in W_{0,\sigma}^{1,q}(\Omega) \times L_0^q(\Omega) $ 满足原方程，且满足估计：

进一步，对于 $ p_0' < q < p_0 $，上述解对是在 $ W_{0,\sigma}^{1,q} \times L_0^q $ 中唯一的弱解，无需额外假设该估计。

定理 1.2（标量方程的相应结果）

设 $ \Omega \subset \mathbb{R}^2 $ 为有界Lipschitz域，$ b \in L^{2,\infty}(\Omega) $，$ \mathrm{div}\, b = 0 $。则存在 $ p_0 = p_0(\|b\|_{L^{2,\infty}}) > 2 $，使得对任意 $ p_0' < q < p_0 $ 及 $ G \in L^q(\Omega) $，存在唯一弱解 $ u \in W_{0}^{1,q}(\Omega) $ 满足：

与Theorem 1.1不同，此结果不要求小Lipschitz常数，边界可任意不规则。

定理 3.1（$ L^{2,\infty} $ 漂移下的弱解存在性）

设 $ \Omega \subset \mathbb{R}^2 $ 为有界Lipschitz域，$ b \in L^{2,\infty}(\Omega)^2 $，$ \mathrm{div}\, b = 0 $，$ f \in W^{-1,2}(\Omega)^2 $。则存在弱解 $ u \in W_{0,\sigma}^{1,2}(\Omega) $ 及压力 $ \pi \in L_0^2(\Omega) $，使得 $ (u,\pi) $ 满足方程，且

注意：此处不保证唯一性。

定理 3.3（$ L^2 $ 漂移下的唯一性）

设 $ b \in L^2(\Omega)^2 $ 且存在零散度延拓 $ \tilde{b} \in L^2(\mathbb{R}^2)^2 $。则对任意 $ f \in W^{-1,2}(\Omega)^2 $，存在唯一弱解 $ u \in W_{0,\sigma}^{1,2}(\Omega) $，并伴有压力估计，常数仍独立于 $ b $。此时对边界Lipschitz常数无小性要求。

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

a) 核心分析工具

1. Gehring引理：这是全文技术框架的核心。Gehring引理表明，若某函数在其局部球上的积分满足“反向Hölder不等式”，则其可积性可以提升。具体而言，若对几乎所有球 $ B_R(x_0) $，有

   $$ \left( \frac{1}{|B_R|} \int_{B_{R/2}} |\nabla u|^p dx \right)^{1/p} \leq C \left( \frac{1}{|B_R|} \int_{B_R} |\nabla u|^2 dx \right)^{1/2}, $$

   则存在 $ p_0 > 2 $，使得 $ \nabla u \in L^p_{\mathrm{loc}} $ 对所有 $ p < p_0 $ 成立。作者通过建立内点与边界的局部估计来触发此引理。

2. Wolf的局部压力分解：为处理压力项，作者采用Wolf提出的局部投影方法。给定区域 $ V \subset \mathbb{R}^n $，定义映射 $ W_{p,V}(\mathrm{div}\, F) = \nabla \pi $，其中 $ \pi $ 是Stokes系统 $ -\Delta v + \nabla \pi = \mathrm{div}\, F $ 的压力部分。关键估计为：

   $$ \|\pi - (\pi)_V\|_{L^p(V)} \leq c \|F\|_{L^p(V)}, $$

   要求 $ V $ 为Lipschitz域且常数依赖于边界正则性。在本文中，$ p = 4/3 $，且需边界Lipschitz常数充分小以保持常数一致。

3. Hardy-BMO对偶性：用于处理 $ \int (b \cdot \nabla)u \cdot v $ 类型的积分。当 $ b \in L^2 $，$ u,v \in W^{1,2} $，且 $ \mathrm{div}\, b = 0 $，则 $ (b \cdot \nabla)u \in \mathcal{H}^1 $（Hardy空间），而 $ v \in \mathrm{BMO} $，故由对偶性知该积分有意义。这一技巧在Theorem 3.3中用于构造强制双线性型。

4. 近似域序列：由于一般Lipschitz域上难以直接对 $ b $ 进行磨光，作者采用Verchota与Kwon的方法，构造一列光滑子域 $ \Omega_n \Subset \Omega $，$ \overline{\Omega}_n \nearrow \Omega $，且每个 $ \partial\Omega_n $ 为Lipschitz图，Lipschitz常数统一有界。在此类子域上可对 $ b $ 标准磨光，再令 $ n \to \infty $ 取弱极限。

5. 尺度变换与局部化：通过缩放将任意小球变为单位球，在单位尺度下进行统一估计。例如令 $ u_\rho(x) = \rho u(\rho x + x_0) $，则新函数满足相似方程但系数重标，便于应用一致估计。

b) 关键技术难点与应对策略

1. 非积分项 $ \int b \otimes u : \nabla(u \eta^4) $ 不可积：
   由于 $ b \in L^{2,\infty} $，$ u \in W^{1,2} $，乘积 $ b \otimes u \in L^{2-} $，而 $ \nabla(u \eta^4) \in L^2 $，其内积可能不可积。解决方法是先对 $ b $ 进行磨光得 $ b_n \in C^\infty $，在近似问题中使用测试函数 $ u_n \eta^4 $，得到一致估计后再取极限。

2. 压力在 $ L^q $（$ q<2 $）中的估计：
   因 $ b \otimes u \notin L^2 $，无法用 $ p=2 $ 的压力估计。作者改用 $ p=4/3 $，结合Sobolev嵌入 $ W^{1,4/3} \hookrightarrow L^{4,\infty} $ 与Hölder不等式（在Lorentz空间中）：

   $$ \|fg\|_{L^{r,s}} \leq C \|f\|_{L^{p_1,q_1}} \|g\|_{L^{p_2,q_2}}, $$

   其中 $ \frac{1}{r} = \frac{1}{p_1} + \frac{1}{p_2} $，$ \frac{1}{s} \leq \frac{1}{q_1} + \frac{1}{q_2} $。这允许控制低可积性下的乘积项。

3. 边界附近的几何扭曲：
   在边界邻域，作者使用坐标变换将 $ \Omega \cap B_{2R_0}(x_0) $ 映为半球 $ B^+ $，但此变换会引入误差项。为控制这些误差，必须要求原始边界的Lipschitz常数 $ L_0 $ 足够小，使得变换后的区域仍接近平直（如介于 $ B_{5/8}^+ $ 与 $ B_1^+ $ 之间），从而能应用固定的局部压力投影。

4. 唯一性的对偶论证：
   对 $ q < 2 $ 的唯一性，作者考虑对偶系统 $ -\Delta v - \nabla \cdot (b \otimes v) + \nabla \pi = \mathrm{div}\, F $，并利用其解在 $ W^{1,q'} $ 中的存在性（$ q' > 2 $），通过配对 $ \langle u, F \rangle = \langle G, \nabla v \rangle $ 建立唯一性。

与之前工作的比较

a) 突破与改进

1. 维度推广：本文首次将作者在[7]中针对 $ n \geq 3 $ 的结果完整推广至二维情形。尽管二维在某些方面看似更简单，但由于Sobolev嵌入 $ W^{1,2} \not\hookrightarrow L^\infty $ 失效，且 $ L^{2,\infty} $ 的行为更奇异，实际技术难度更大。

2. 放宽漂移的正则性假设：以往工作多要求 $ b \in L^p $，$ p > n $（超临界），或 $ b \in L^n $（临界但强范数）。本文允许 $ b \in L^{2,\infty} $（弱$ L^2 $），这是最大可能的临界空间，包含更多奇异性例子（如 $ b(x) \sim x/|x|^2 $）。

3. 改进解的正则性结论：相比Kwon [20] 和 [5] 的结果，本文证明了当 $ q $ 接近2时，存在**$ q $-弱解且梯度在 $ L^q $ 中**，而非仅在某个 $ p < q $ 中。这实现了“$ p = q $”的改进，极大增强了结果的实用性。

4. 统一存在性与唯一性框架：通过先证 $ q > 2 $ 存在性，再用对偶法得 $ q < 2 $ 唯一性，最终覆盖 $ q=2 $，形成闭环。而先前工作往往只覆盖单侧区间。

5. 边界条件的灵活性：对标量方程，本文允许任意Lipschitz边界，无需小常数条件，显著拓展了适用范围。这得益于无压力项，避免了对Wolf投影的强几何依赖。

6. 新唯一性机制：对 $ b \in L^2 $ 的情形，作者提出基于Hardy-BMO对偶的新方法，绕过传统需解有界性的限制，适用于更广的漂移类。

综上，本文不仅完成了从高维到二维的关键跨越，还在解的正则性、唯一性、边界适应性和函数空间假设上实现了多重突破，为临界漂移PDE理论提供了重要进展。

2. Asymptotic analysis of the Navier-Stokes equations in a thin domain with power law slip boundary conditions

具有幂律滑移边界条件的薄区域中Navier-Stokes方程的渐近分析

作者: María Anguiano, Francisco J. Suárez-Grau

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14303v1

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

详细分析

中文标题: 具有幂律滑移边界条件的薄区域中Navier-Stokes方程的渐近分析

研究对象和背景

本文研究的是在三维薄区域（thin domain）中，带有幂律滑移边界条件（power law slip boundary conditions）的稳态Navier-Stokes方程的渐近行为。这类问题源于流体力学中的润滑理论（lubrication theory），其中流体被限制在两个非常接近的表面之间，其垂直方向的尺度远小于水平方向的尺度。这种几何结构自然引入了一个小参数 $ \varepsilon \ll 1 $，表示区域的厚度。

具体地，考虑如下三维薄区域：

其中 $ \omega \subset \mathbb{R}^2 $ 是一个光滑、有界、连通的开集，$ h \in C^1(\overline{\omega}) $ 是正的光滑函数，代表无量纲化的间隙高度。当 $ \varepsilon \to 0 $ 时，该区域趋于二维平面 $ \omega $，因此目标是通过渐近分析推导出有效的二维极限系统，并研究边界条件如何影响极限行为。

在该区域内，速度场 $ u_\varepsilon $ 和压力场 $ p_\varepsilon $ 满足经典的稳态Navier-Stokes方程：

其中 $ \nu > 0 $ 是粘性系数，$ f = (f', 0)^t $ 是外力项，仅作用于水平方向且与 $ x_3 $ 无关，这是润滑模型中的常见假设。

边界条件具有特殊结构：

• 在顶部边界 $ \Gamma_\varepsilon^1 = \{x_3 = \varepsilon h(x')\} $ 和侧边界 $ \Gamma_\varepsilon^\ell $ 上施加无滑移条件（no-slip）：
  $$ u_\varepsilon = 0 \quad \text{on } \Gamma_\varepsilon^1 \cup \Gamma_\varepsilon^\ell. $$
• 在底部边界 $ \Gamma_0 = \{x_3 = 0\} $ 上施加幂律滑移边界条件，这是一种非线性的广义Navier型滑移条件，形式为：
  $$ -\nu \partial_{x_3} u'_\varepsilon = -\varepsilon^\gamma |K u'_\varepsilon|^{s-2} K^2 u'_\varepsilon, \quad u_{\varepsilon,3} = 0 \quad \text{on } \Gamma_0, $$
  其中：
  • $ u'_\varepsilon = (u_{\varepsilon,1}, u_{\varepsilon,2}) $ 是切向速度；
  • $ K \in \mathbb{R}^{2\times2} $ 是一个各向异性张量（anisotropic tensor），假设为对称、一致正定且有界的；
  • $ s \in (1,2) $ 是流动指数，对应剪切变稀（shear-thinning）行为；
  • $ \gamma \in \mathbb{R} $ 是一个实参数，控制滑移强度随 $ \varepsilon \to 0 $ 的缩放速率；
  • 因子 $ \varepsilon^\gamma $ 表示滑移效应依赖于厚度的小尺度特性。

这个边界条件由 Djoko 等人提出，是对经典 Navier 滑移条件 $ -\nu \partial_{x_3} u' = -\lambda u' $ 的推广。事实上，当 $ s=2 $ 且 $ K = \lambda^{1/2} I $ 时，它退化为标准的线性Navier条件。

值得注意的是，该问题结合了多个数学挑战：

1. 奇异性：由于 $ \varepsilon \to 0 $，区域变得极薄，导致微分算子出现强各向异性（如 $ \partial_{x_3} $ 项放大）；
2. 非线性边界条件：幂律项 $ |u'|^{s-2}u' $ 引入了非线性耦合，使得能量估计和紧性论证更加复杂；
3. 各向异性张量 $ K $：不同于标量摩擦系数，矩阵 $ K $ 导致不同方向上的滑移响应不同，增强了物理真实性但增加了分析难度；
4. 弱解的存在性空间：作者定义的速度函数空间为
   $$ V(\Omega_\varepsilon) = \left\{ \varphi \in H^1(\Omega_\varepsilon)^3 : \varphi = 0 \text{ on } \partial\Omega_\varepsilon \setminus \Gamma_0, \; \varphi_3 = 0 \text{ on } \Gamma_0 \right\}, $$
   压力空间为均值为零的 $ L^2 $ 函数空间 $ L^2_0(\Omega_\varepsilon) $。这反映了边界条件的混合性质——部分边界固定，部分允许切向滑动。

通过引入伸缩变换（dilation）

将 $ \Omega_\varepsilon $ 映射到固定的参考域

从而将问题转化为在固定区域上研究依赖于 $ \varepsilon $ 的偏微分方程组。变换后的未知量记为 $ \tilde{u}_\varepsilon(z) = u_\varepsilon(z', \varepsilon z_3) $，$ \tilde{p}_\varepsilon(z) = p_\varepsilon(z', \varepsilon z_3) $。在此新坐标下，原方程变为：

其中变形梯度算子 $ \nabla_\varepsilon $、散度 $ \mathrm{div}_\varepsilon $ 和拉普拉斯 $ \Delta_\varepsilon $ 包含 $ \varepsilon^{-1} $ 阶导数（例如 $ \partial_{z_3} $ 前有因子 $ \varepsilon^{-1} $），体现出强烈的各向异性。

最终的目标是研究当 $ \varepsilon \to 0 $ 时，序列 $ (\tilde{u}_\varepsilon, \tilde{p}_\varepsilon) $ 的收敛性及其极限所满足的有效方程。特别关注滑移参数 $ \gamma $ 对极限边界条件的影响。

主要定理或主要结果

论文的核心成果体现在 Theorem 4.7（在PDF第8页提及，正式陈述应在后文未展示部分，但从第9–10页的推导可明确结论），其内容如下：

定理（极限行为的三分支现象）
设 $ 1 < s < 2 $，定义临界指数

令 $ (\tilde{u}_\varepsilon, \tilde{p}_\varepsilon) $ 为问题 (2.19)–(2.20) 的弱解序列。则存在子列（仍记为同名）使得

且极限 $ (u', p) $ 满足以下二维简化 Stokes 系统：

此外，根据 $ \gamma $ 与 $ \gamma_s^* $ 的关系，极限速度 $ u' $ 在底面 $ \Gamma_0 = \{z_3 = 0\} $ 上满足不同的边界条件：

• 若 $ \gamma = \gamma_s^* $，则为幂律滑移条件：

  $$ -\nu \partial_{z_3} u' = -|K u'|^{s-2} K^2 u' \quad \text{on } \Gamma_0; $$

• 若 $ \gamma > \gamma_s^* $，则为完全滑移条件（perfect slip）：

  $$ -\nu \partial_{z_3} u' = 0 \quad \text{on } \Gamma_0; $$

• 若 $ \gamma < \gamma_s^* $，则为无滑移条件（no-slip）：

  $$ u' = 0 \quad \text{on } \Gamma_0. $$

这一结果揭示了一个清晰的相变结构：随着 $ \gamma $ 变化，极限边界条件在三种典型情形之间切换，分别对应滑移效应“适中”、“太弱”或“太强”。

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

a) 核心分析学工具

论文采用了典型的多尺度渐近分析框架，结合形式展开法（formal asymptotic expansion）与严格的紧性论证来建立极限系统的有效性。

1. 多重尺度展开法（Multiscale Expansion Method）
   这是一种先验构造近似解的方法。作者假设解具有如下渐近展开：

   $$ \tilde{u}_\varepsilon(z) = \varepsilon^2 v_0(z) + \varepsilon^3 v_1(z) + \cdots, \quad \tilde{p}_\varepsilon(z) = p_0(z) + \varepsilon p_1(z) + \cdots $$

   将其代入变换后的Navier-Stokes方程和边界条件，逐阶比较 $ \varepsilon $ 的幂次，得到一系列递推方程。例如，在主导阶 $ \varepsilon^0 $ 下，横向动量方程给出：

   $$ -\nu \partial_{z_3}^2 v_0 = f' - \nabla_{z'} p_0, \quad \partial_{z_3} p_0 = 0, $$

   表明压力 $ p_0 $ 不依赖于 $ z_3 $，即 $ p_0 = p_0(z') $。再结合不可压条件和边界信息，最终确定主阶项 $ v_0 = (v'_0, 0) $ 满足二维Stokes型系统。

2. 能量估计与先验界（A Priori Estimates）
   为了使上述形式推导严格化，必须建立关于 $ \tilde{u}_\varepsilon $ 和 $ \tilde{p}_\varepsilon $ 的统一先验估计。利用测试函数法，在弱形式中选取自身作为测试函数，结合Gagliardo-Nirenberg不等式和Poincaré型不等式，可以证明：

   $$ \|\nabla_\varepsilon \tilde{u}_\varepsilon\|_{L^2(\Omega)} \leq C, \quad \| \tilde{u}_\varepsilon \|_{L^s(\Gamma_0)} \leq C \varepsilon^{(1-\gamma)/s}, $$

   这些估计依赖于 $ \gamma $，并决定了不同尺度下的收敛行为。

3. 紧性原理与弱收敛工具
   关键使用了以下分析工具：

   • Banach-Alaoglu定理：在反射Banach空间中，有界序列存在弱*收敛子列；
   • Rellich-Kondrachov紧嵌入定理：在光滑区域中，$ H^1 \hookrightarrow L^2 $ 是紧的；
   • ** Aubin-Lions引理**：用于处理时间无关但含参数的序列，确保某些范数下的相对紧性；
   • 各向异性紧性引理：针对 $ \varepsilon $-依赖梯度 $ \nabla_\varepsilon $，构造适当的紧嵌入以获得极限函数的空间正则性。

4. 弱收敛与迹定理的应用
   由于边界积分项 $ \int_{\Gamma_0} |K \tilde{u}'_\varepsilon|^{s-2} K \tilde{u}'_\varepsilon \cdot K \varphi'\, d\sigma $ 的存在，需使用Sobolev迹定理将体积估计传递到边界。特别地，$ H^1(\Omega) \hookrightarrow L^2(\partial\Omega) $ 提供了必要的连续性，而对非线性项的处理则需要更强的弱下半连续性论证。

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

1. 非线性边界项的处理
   幂律项 $ |u'|^{s-2}u' $ 属于单调算子范畴。作者利用以下事实：映射 $ w \mapsto |Kw|^{s-2}K^2w $ 是从 $ L^s(\Gamma_0) $ 到 $ L^{s'}(\Gamma_0) $ 的单调、连续、有界算子（因 $ 1<s<2 $，故 $ s'>2 $）。结合弱收敛与单调算子的Minty-Browder技巧，可证非线性项的极限等于极限函数的非线性作用。

2. 各向异性缩放的平衡
   最关键技术在于识别正确的渐近阶数 $ \beta $ 使得 $ \tilde{u}_\varepsilon = \varepsilon^\beta v_0 + \cdots $。通过能量恒等式分析动能与耗散项的平衡，发现当 $ \beta = 2 $ 时，体积积分与边界积分在 $ \varepsilon \to 0 $ 下达到平衡，前提是边界项前的系数 $ \varepsilon^{\gamma - 1} $ 保持常数阶，即 $ \gamma - 1 = 2(s-1) \Rightarrow \gamma = 3 - 2s = \gamma_s^* $，正是临界值。

3. 边界层与有效条件的匹配
   当 $ \gamma \neq \gamma_s^* $，边界项要么趋于零（超临界），要么趋于无穷（次临界）。此时通过矛盾法或极大模估计说明：若 $ \gamma > \gamma_s^* $，则滑移趋于自由，得完美滑移；若 $ \gamma < \gamma_s^* $，则阻力过大，迫使速度趋零，形成无滑移。

4. 压力项的紧性处理
   压力 $ \tilde{p}_\varepsilon $ 本身无直接估计，但通过除以 $ \varepsilon $ 后取弱极限，并利用不可压条件及分部积分技巧，结合De Rham定理恢复其作为分布梯度的身份。

与之前工作的比较

a) 突破与改进

本文的主要创新点在于将非线性幂律滑移边界条件与薄区域极限分析相结合，首次系统揭示了滑移强度缩放参数 $ \gamma $ 所引发的三重相变机制，推广了已有线性Navier滑移的研究。

1. 从线性到非线性的推广
   以往关于薄区域中Navier-Stokes方程的工作（如 Bayada & Chambat, Mikelić）主要集中在经典Navier滑移条件 $ -\nu \partial_n u' = -\lambda u' $。本文将其推广至非线性情形 $ -\nu \partial_n u' = -|Ku'|^{s-2}K^2u' $，显著提升了模型的物理适用性，尤其适用于聚合物溶液、血液等非牛顿流体在微通道中的流动。

2. 各向异性张量的引入
   相较于标量摩擦系数 $ \lambda $，使用矩阵 $ K $ 能刻画方向依赖的滑移行为，更真实反映具有微结构表面（如肋条、柱阵列）的情形。这是对Bonnivard & Suárez-Grau等人关于粗糙边界有效滑移工作的深化。

3. 临界值的精确刻画
   文献中已知对于Navier滑移 $ \lambda_\varepsilon = \lambda \varepsilon^\gamma $，临界值为 $ \gamma = -1 $。本文不仅重现此结果（当 $ s=2 $ 时 $ \gamma_s^* = -1 $），而且发现一般情形下 $ \gamma_s^* = 3 - 2s $，揭示了流动指数 $ s $ 对临界行为的根本影响。

4. 放宽存在性条件
   尽管 Djoko 等人在 $ 1<s<2 $ 下证明了解的存在性，但本文将其置于几何奇异极限背景下，展示了即使在 $ \varepsilon \to 0 $ 的极端条件下，解族仍具良好紧性，从而强化了全局适定性的理解。

5. 工程应用价值
   所得二维简化系统极大降低了计算成本，可用于快速模拟微流控器件中的低雷诺数流动，具有实际意义。

综上所述，本文不仅在理论上建立了新的渐近框架，也丰富了对边界效应在奇异极限中角色的理解，标志着在非线性边界条件下的奇异性分析领域的重要进展。

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

1. On Viscosity Solutions of Hamilton-Jacobi Equations in the Wasserstein space and the Vanishing Viscosity Limit

关于Wasserstein空间中Hamilton-Jacobi方程的粘性解及粘性消失极限的研究

作者: Giacomo Ceccherini Silberstein, Daniela Tonon

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

发布日期: 2025-12-16

arXiv ID: 2512.14568v1

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

摘要翻译

中文标题: 关于Wasserstein空间中Hamilton-Jacobi方程的粘性解及粘性消失极限的研究

摘要翻译: 本文的目的有两个方面。首先，我们建立了一个统一的框架，用于处理由个体性算子驱动的一阶Hamilton-Jacobi方程和半线性Hamilton-Jacobi方程的粘性解。其次，我们在超越经典控制论设定的情形下，建立了半线性Hamilton-Jacobi方程解的粘性消失极限，证明了当个体性噪声趋于零时，这些解收敛到相应的一阶方程解，并且我们的方法给出了最优的收敛速率。
我们还给出了一些具有独立意义的结果，包括通过适当的Hopf-Lax表示法获得的一阶方程的存在性定理，以及对个体性算子在测地凸函数上作用的一个有用刻画。

2. Modeling of a non-Newtonian thin film passing a thin porous medium

非牛顿薄液膜流经薄多孔介质的建模研究

作者: María Anguiano, Francisco J. Suárez-Grau

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14275v1

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

摘要翻译

中文标题: 非牛顿薄液膜流经薄多孔介质的建模研究

摘要翻译: 本理论研究探讨了薄液膜与相邻薄多孔介质之间耦合系统的渐近行为。假设多孔介质微观结构的特征尺度由一个小参数 $0 < \ep \ll 1$ 刻画，薄多孔介质的厚度由参数 $0 < h_\ep \ll 1$ 描述，而薄液膜的厚度则由另一个小参数 $0 < \eta_\ep \ll 1$ 描述，其中 $h_\ep$ 和 $\eta_\ep$ 均随着 $\ep \to 0$ 而趋于零。本文考虑一种由不可压缩Stokes方程描述的非牛顿流体，其粘性服从指数为 $r \in (1, +\infty)$ 的幂律关系。我们证明了存在一个依赖于 $r$ 的临界尺度关系，该关系由 $\ep$、$\eta_\ep$ 和 $h_\ep$ 共同决定。更准确地说，在由 $h_\ep \approx \eta_\ep^{\frac{2r-1}{r-1}} \ep^{-\frac{r}{r-1}}$ 所定义的这一临界情形下，当 $\ep \to 0$ 时，有效流动由一个一维达西定律与一个一维雷诺定律的耦合系统来描述。

3. On compressible fluid flows of Forchheimer-type in rotating heterogeneous porous media

关于旋转非均匀多孔介质中Forchheimer型可压缩流体流动的研究

作者: Emine Celik, Luan Hoang, Thinh Kieu

类别: math.AP

发布日期: 2025-12-15

arXiv ID: 2512.13959v1

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

摘要翻译

中文标题: 关于旋转非均匀多孔介质中Forchheimer型可压缩流体流动的研究

摘要翻译: 本文研究了在旋转非均匀多孔介质中可压缩流体的流动动力学。该流体流动属于Forchheimer型，并受到混合质量通量与体积通量边界条件的约束。控制方程被约化为一个关于拟压力的非线性偏微分方程。此类抛物型方程在空间变量、未知函数及其梯度上可能具有退化性和/或奇异性。我们建立了对任意正数 $\alpha$ 成立的解的 $L^\alpha$-估计，其估计依赖于初始数据、边界数据以及旋转角速度。为此，需要建立适用于该方程非线性结构的新椭圆型与抛物型Sobolev不等式，以及带有多重权函数的迹定理。进一步地，我们在不对权函数及初始边界数据的 $L^\infty$-范数施加任何限制的条件下，获得了相应的 $L^\infty$-估计。

不相关论文（基本信息）

1. Proper solutions of the $1/H$-flow and the Green kernel of the $p$-Laplacian

$1/H$-流的适定解与$p$-Laplace算子的Green核

作者: Luca Benatti, Luciano Mari, Marco Rigoli, Alberto G. Setti, Kai Xu

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14591v1

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

摘要: We show existence and optimal growth estimate for the weak inverse mean curvature flow issuing from a point, on manifolds with certain curvature and isoperimetric conditions. Some of the results are obtained by proving new decay estimates for the Green kernel of the $p$-Laplacian which fix a gap in the literature. Additionally, we address the convergence of $p$-capacitary potentials to the inverse mean curvature flow with outer obstacle.

2. Computation and analysis of global solution curves for super-critical equations

超临界方程全局解曲线的计算与分析

作者: Philip Korman, Dieter S. Schmidt

类别: math.AP, math.NA

发布日期: 2025-12-16

arXiv ID: 2512.14577v1

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

摘要: We study analytical and computational aspects for Dirichlet problem on the unit ball $B$: $|x|<1$ in $R^n$, modeled on the equation

with a positive parameter $λ$, and $1<p<\frac{n+2}{n-2}<q$, where $\frac{n+2}{n-2}$ is the critical power. It turns out that a special role is played by the Lin-Ni equation [18], where $q=2p-1$ and $p>\frac{n}{n+2}$. This was already observed by I. Flores [6], who proved the existence of infinitely many ground state solutions. We study properties of infinitely many solution curves of this problem that are separated by these ground state solutions. We also study singular solutions (where $u(0)=\infty$), and again the Lin-Ni equation plays a special role. \medskip Super-critical equations are very challenging computationally: solutions exist only for very large $λ$, and curves of positive solutions make turns at very large values of $u(0)=||u||_{L^{\infty}}$. We overcome these difficulties by developing new results on singular solutions, and by using some delicate capabilities of {\em Mathematica} software.

3. Causal character of imaginary Killing spinors and spinorial slicings

虚 Killing 旋量的因果性质与旋量切片

作者: Sven Hirsch, Yiyue Zhang

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

发布日期: 2025-12-16

arXiv ID: 2512.14569v1

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

摘要: We characterize spin initial data sets that saturate the BPS bound in the asymptotically AdS setting. This includes both gravitational waves and rotating black holes in higher dimensions, and we establish a sharp dimension threshold in each case. A key ingredient in our argument is a theorem providing a general criterion for when an imaginary Killing spinor of mixed causal type can be replaced by one that is strictly timelike or null. Moreover, in analogy with the minimal surface method, we demonstrate that spinors can be used to construct a codimension-$2$ slicing.

4. Parabolic free boundary phase transition and mean curvature flow

抛物型自由边界相变与平均曲率流

作者: Jingeon An, Kiichi Tashiro

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14437v1

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

摘要: It is known that there is a strong relation between the parabolic Allen–Cahn equation and the mean curvature flow, in the sense that the parabolic Allen–Cahn equation can be considered as a ``diffused" mean curvature flow. In this work, we derive a forced mean curvature flow

satisfied by level surfaces of any solution to the nonlinear parabolic equation

Moreover, we introduce the notion of the inner gradient flow, and unify parabolic free boundary problems in the gradient flow framework. Finally, we consider the parabolic free boundary Allen–Cahn equation

and confirm that under reasonable assumptions, the $C^α$ norm of the forcing term $\partial_ν\log|\nabla u|$ converges to zero at an algebraic rate as $ε\rightarrow 0$, uniformly in time. This implies that the parabolic free boundary Allen–Cahn equation converges to the mean curvature flow, uniformly (in $ε$ and in time) in the $C^{2,α}$ sense.

5. Qualitative properties of blowing-up solutions of nonlinear elliptic equations with critical Sobolev exponent

具有临界Sobolev指数的非线性椭圆方程爆破解的定性性质

作者: Minbo Yang, Shunneng Zhao

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14401v1

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

摘要: In this paper, we are concerned with the critical elliptic equation \begin{equation}\label{kx} \left\lbrace\begin{aligned} &-Δu=u^{p}+εκ(x)u^{q}\quad\hspace{2mm} \mbox{in}~~Ω, \&u>0\quad \quad\quad\quad\quad\quad\quad\quad\hspace{1mm}\hspace{0.5mm}\mbox{in}~~Ω \&u=0\quad \quad\quad\quad\quad\quad\quad\quad\hspace{1mm}\hspace{0.5mm}\mbox{on}~\partialΩ, \end{aligned} \right. \end{equation} where $Ω$ is a smooth bounded domain in $\mathbb{R}^N$ for $N\geq3$, $p=(N+2)/(N-2)$, $1<q<p$, $ε>0$ is a small parameter. If $κ(x)=1$, by applying the various identities of derivatives of Green’s function and the rescaled functions, with blow-up analysis, we first provide a number of estimates on the first $(N+2)$-eigenvalues and their corresponding eigenfunctions, and prove the qualitative behavior of the eigenpairs $(λ_{i,ε}, v_{i,ε})$ to the eigenvalue problem of the elliptic equation \eqref{kx} for $i=1,\cdots,N+2$. As a consequence, we have that the Morse index of a single-bubble solution is $N+1$ if the Hessian matrix of the Robin function is nondegenerate at a blow-up point. Moreover, if $κ(x)\in C^2(\overlineΩ)$, we show that, for $ε>0$ small, the asymptotic behavior of the solutions and nondegeneracy of the solutions for the problem \eqref{kx} under a nondegeneracy condition on the blow-up point of a “mixture” of both the matrix $κ(x)$ and Robin function.

6. Eigenvalue asymptotics for strong $δ$-interactions supported on curves with corners

支撑在带角曲线上的强 $δ$-相互作用的特征值渐近性

作者: Badreddine Benhellal, Noah Körner, Konstantin Pankrashkin

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

发布日期: 2025-12-16

arXiv ID: 2512.14393v1

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

摘要: Let $Γ\subset\mathbb{R}^2$ be a piecewise smooth closed curve with corners. We discuss the asymptotic behavior of the individual eigenvalues of the two-dimensional Schrödinger operator $-Δ-αδ_Γ$ for $α\to\infty$, where $δ_Γ$ is the Dirac $δ$-distribution supported by $Γ$. It is shown that the asymptotics of several first eigenvalues is determined by the corner opening only, while the main term in the asymptotic expansion for the other eigenvalues is the same as for smooth curves. Under an additional assumption on the corners of $Γ$ (which is satisfied, in particular, if $Γ$ has no acute corners), a more detailed eigenvalue asymptotics is established in terms of a one-dimensional effective operator on the boundary.

7. Homogenization of the random Neumann sieve problem under minimal assumptions on the size of the perforations

在对孔洞尺寸作最小假设下随机诺伊曼筛问题的均匀化

作者: Mert Baştuğ

类别: math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14384v1

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

摘要: We study the limit behavior of the solutions to the Neumann sieve problem for the Poisson equation when the sieve-holes are randomly distributed according to a stationary marked point process. We determine the optimal stochastic integrability for the random radii of the perforations for which stochastic homogenization takes place despite the presence of clustering holes.

8. Estimates for the distances between solutions to Kolmogorov equations with diffusion matrices of low regularity

关于扩散矩阵正则性较低的Kolmogorov方程解之间距离的估计

作者: Vladimir I. Bogachev, Stanislav V. Shaposhnikov

类别: math.AP, math.PR

发布日期: 2025-12-16

arXiv ID: 2512.14362v1

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

摘要: We obtain estimates for the weighted $L^1$-norm of the difference of two probability solutions to Kolmogorov equations in terms of the difference of the diffusion matrices and the drifts. Unlike the previously known results, our estimate does not involve Sobolev derivatives of solutions and coefficients. The diffusion matrices are supposed to be non-singular, bounded and satisfy the Dini mean oscillation condition.

9. A parabolic flow for the large volume heterotic $G_2$ system

一种用于大体积杂化 $G_2$ 系统的抛物流

作者: Mario Garcia-Fernandez, Andres J. Moreno, Alec Payne, Jeffrey Streets

类别: math.DG, math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14317v1

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

摘要: We introduce a geometric flow of conformally coclosed $G_2$-structures, whose fixed points are large volume solutions of the heterotic $G_2$ system, with vanishing scalar torsion class $τ_0 = 0$. After conformal rescaling, it becomes a flow of coclosed $G_2$-structures, related to Grigorian’s modified $G_2$ coflow, which is coupled to a flow for a dilaton function. Our main results establish fundamental short-time existence and Shi-type smoothing properties of this flow, as well as a classification of its fixed points. By a classical rigidity result in the string theory literature, the fixed points on a compact manifold correspond to torsion-free $G_2$-structures, that is, to metrics with holonomy contained in $G_2$. Thus, we establish in the affirmative a folklore question in the special holonomy community, about the existence of a well-posed flow for coclosed $G_2$-structures with fixed points given by torsion-free $G_2$-structures. The flow also satisfies a monotonicity formula for the $G_2$-dilaton functional (volume scale in string theory), which allows us to strengthen the rigidity result with an alternative proof. The monotonicity of the $G_2$-dilaton functional, combined with the Shi-type estimates, leads to a general result on the convergence of nonsingular solutions. A dimension reduction analysis reveals an interesting link with natural flows for $SU(3)$-structures, previously introduced in the literature.

10. Five lectures on regularity structures and SPDEs

正则性结构与随机偏微分方程的五个讲座

作者: I. Bailleul

类别: math.PR, math.AP

发布日期: 2025-12-16

arXiv ID: 2512.14264v1

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

摘要: This set of five lectures provides an introduction to regularity structures and their use for the study of singular stochastic partial differential equations. Two appendices provide some additional informations that enter in the main text either as some technical results or as some results that deepen the context within which we set these lectures.

11. Existence, scaling, and spectral gap for traveling fronts in the 2D renormalized Allen–Cahn equation

二维重正化Allen–Cahn方程中行波 fronts 的存在性、标度行为及谱隙

作者: Gideon Chiusole, Christian Kuehn

类别: math.AP, math-ph

发布日期: 2025-12-16

arXiv ID: 2512.14245v1

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

摘要: We study the deterministic skeleton of the renormalized stochastic Allen–Cahn equation in spatial dimension $2$. For all sufficiently small regularization parameters $δ>0$, we construct monotone traveling wave front solutions connecting the renormalized equilibria, derive a small-$δ$ asymptotic description of their profile and speed, and identify the leading-order contributions. Linearizing about the wave and working in a naturally chosen weighted space, we show that there exists a spectral gap between the symmetry induced eigenvalue $0$ and the rest of the spectrum. The spectral gap grows linearly in the renormalization constant as $δ\downarrow 0$.

12. Physically consistent model learning for reaction-diffusion systems

反应-扩散系统物理一致性模型学习

作者: Erion Morina, Martin Holler

类别: cs.LG, math.AP, math.OC

发布日期: 2025-12-16

arXiv ID: 2512.14240v1

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

摘要: This paper addresses the problem of learning reaction-diffusion (RD) systems from data while ensuring physical consistency and well-posedness of the learned models. Building on a regularization-based framework for structured model learning, we focus on learning parameterized reaction terms and investigate how to incorporate key physical properties, such as mass conservation and quasipositivity, directly into the learning process. Our main contributions are twofold: First, we propose techniques to systematically modify a given class of parameterized reaction terms such that the resulting terms inherently satisfy mass conservation and quasipositivity, ensuring that the learned RD systems preserve non-negativity and adhere to physical principles. These modifications also guarantee well-posedness of the resulting PDEs under additional regularity and growth conditions. Second, we extend existing theoretical results on regularization-based model learning to RD systems using these physically consistent reaction terms. Specifically, we prove that solutions to the learning problem converge to a unique, regularization-minimizing solution of a limit system even when conservation laws and quasipositivity are enforced. In addition, we provide approximation results for quasipositive functions, essential for constructing physically consistent parameterizations. These results advance the development of interpretable and reliable data-driven models for RD systems that align with fundamental physical laws.

13. Ancient Solutions to the Biharmonic Heat Equation

双调和热方程的古老解

作者: Alexander McWeeney

类别: math.DG, math.AP

发布日期: 2025-12-15

arXiv ID: 2512.13952v1

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

摘要: We show that the space of polynomially bounded ancient solutions to the biharmonic heat equation on a complete manifold with polynomial volume growth is bounded by the dimensions of spaces of polynomially bounded biharmonic functions. This generalizes the work of Colding and Minicozzi in [6] for ancient caloric functions.

14. Exponential Absolute Minimizing extension and biased infinity Laplacian

指数绝对极小延拓与有偏无穷拉普拉斯算子

作者: Yang Chu

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

发布日期: 2025-12-15

arXiv ID: 2512.13664v1

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

摘要: We study the variational structure of the biased infinity Laplacian by introducing a notion of the $β$\textit{-Exponential Absolute Minimizing Extension} ($β$–AM) on arbitrary length space, which absolutely minimizing the exponential slope

We also define the corresponding Exponential McShane-Whitney-type extension, and $β$-biased convexity, which equivalently characterize $β$-AM and may be of independent interest. These generalize the classical Absolute Minimizing Lipschitz Extension as a special case when $β= 0$. In Euclidean space with Euclidean norm, this corresponds to the Aronsson equation with Hamiltonian

equivalently viscosity solutions of $Δ_{\infty}^β u = 0$. We show that $β$-AM arises as the continuum value of a biased tug-of-war game. Analogous to the unbiased case, we derive various properties of this extension. As an application, we further show that the linear blow-up property holds for biased infinity harmonic functions.