生成时间: 2026年08月21日 03:39:04

运行状态: 完成

计划处理论文数量: 38

已完成论文数量: 38

未完成论文数量: 0

重点关注论文数量: 7

了解领域论文数量: 31

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

1. 关于粘弹性穆林斯-塞克斯塔系统

On a visco-elastic Mullins-Sekerka System

作者: Helmut Abels, Harald Garcke, Jonas Haselböck

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19999v1

摘要翻译: 我们引入了一种具有边界预设常接触角的新型粘弹性穆林斯-塞克斯塔系统。该系统被推导为一种 $H^{-1}$ - $$H^1$$ 型梯度流，其能量由周长以及毛细、弹性和二阶梯度贡献组成。基于 Hensel 和 Stinson (Arch. Ration. Mech. Anal. 248, 2024) 的框架，我们引入了一个测度值解的概念，该概念具有尖锐的 De Giorgi 型能量耗散不等式。此外，我们通过隐式时间离散化方案建立了解的存在性，并在能量守恒假设下证明了 $$BV$$ 解的存在性。

Comment: 无

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

1. 研究对象和背景

界面演化在多相系统中的研究是材料科学、流体力学及非线性偏微分方程分析的核心课题，其应用涵盖二元合金凝固、两相流及晶体生长等领域。近年来，此类模型在数学生物学中被用于描述肿瘤生长。在众多模型中，Cahn-Hilliard-Biot 系统（Strovik 等人提出）首次将机械应力与流体流动纳入异质饱和多孔介质中，并引入源项以模拟肿瘤生长或抑制效应。随后的分析研究进一步将该模型扩展至包含 Kelvin-Voigt 型粘弹性。然而，作为弥散界面模型的 Cahn-Hilliard-Biot 系统引发了一个关键问题：其尖锐界面极限是什么？尽管已有文献研究了 Cahn-Larché 模型（结合 Cahn-Hilliard 与线性弹性）的尖锐界面极限，但关于粘弹性扩展版本的尖锐界面极限结果尚属空白。

针对尖锐界面模型，Mullins 和 Sekerka 于 20 世纪 60 年代提出了以其命名的系统，描述了凝固过程中粗化行为的稳定性。该系统的显著特征在于其可作为周长泛函的梯度流导出，体现了质量守恒和曲率驱动的演化机制。90 年代，Luckhaus 和 Sturzenhecker 利用 BV 函数引入了弱解概念，其中界面由关联于二元特征函数的两个集合的公共边界表示。他们借助 $H^{-1}$ 型梯度流结构和变分移动方案（minimizing movement scheme），构造了满足演化方程和 Gibbs-Thomson 定律分布形式的函数。然而，其证明关键依赖于所谓的“能量守恒假设”，即需假设周长泛函关于 BV 中的弱*收敛连续。随后，Roger 利用几何测度论中关于 varifolds 的结果以及广义平均曲率的内蕴定义，去除了这一能量守恒要求。

本文旨在填补上述理论空白，引入一种新颖的粘弹性 Mullins-Sekerka 系统。该系统设定在光滑有界区域 $\Omega \subset \mathbb{R}^d$ ( $$d=2,3$$ ) 内，包含两种具有不同性质的粘弹性固体，其界面为 $\Gamma(t)$ 。当界面与边界 $\partial \Omega$ 相交时，要求二者之间的夹角为预设常数 $\alpha > 0$ 。为了完整捕捉界面的演化，只需考虑单一相域 $\Omega_+(t)$ ，其特征函数记为 $\chi(t)$ 。位移场 $u: [0, T^*] \times \Omega \to \mathbb{R}^d$ 描述材料的弹性变形，应力张量形式为 $C^\pm (E(u) - T^\pm)$ ，其中 $C^\pm$ 为弹性张量， $T^\pm$ 为本征应力。在推导粘弹性 Mullins-Sekerka 系统时，作者发现直接处理 $\partial_t u$ 的跳跃条件 $J\partial_t u K$ 存在结构性困难。若假设位移在界面处连续 $$JuK=0$$ ，沿界面轨迹求导可得相容性条件：

J\partial_t u K = -J\nabla u K \cdot \nu V

其中 $$V$$ 为法向速度， $\nu$ 为内法向量。由于对于 $u \in H^1(\Omega)$ ， $J\nabla u K$ 一般不消失，导致 $\partial_t u$ 的正则性仅为 $H^1(\Omega \setminus \Gamma(t))$ ，这对逼近方案中的紧性论证极为不利。此外，从弥散界面模型（如粘弹性 Cahn-Larché 系统）的尖锐界面极限来看，化学势方程中包含耦合项 $W_{,\varphi}(\varphi_\epsilon, E(u_\epsilon))\nabla\varphi_\epsilon$ 。通过分部积分和链式法则处理后，该项在极限下会转化为涉及 $\nabla^2 u$ 的项，而原系统中并未控制该高阶项的范数。

为解决这一问题，作者在能量泛函中引入了正则化的二阶项 $|\nabla^2 u|^2$ （即非简单材料中的超应力项）。由此导出的粘弹性 Mullins-Sekerka 系统是一个 $H^{-1}$ - $$H^1$$ 型梯度流，其能量泛函 $\mathcal{F}$ 由四部分组成：

\mathcal{F}(\chi, u) = F_{per} + F_{cap} + F_{el} + F_h = \int_{\Gamma(t)} c_0 d\mathcal{H}^{d-1} + \int_{\partial\Omega} c_0(\cos\alpha)\chi d\mathcal{H}^{d-1} + \int_{\Omega} W(\chi, E(u)) dx + \int_{\Omega} \frac{1}{2}|\nabla^2 u|^2 dx

其中 $$c_0$$ 为表面张力系数， $$W$$ 为弹性能量密度， $$F_h$$ 为超应力能量。该系统不仅保持质量守恒，还严格满足耗散结构。本文试图建立该系统的解的存在性理论，特别是针对这种包含高阶弹性项和复杂边界接触角条件的混合系统，构建合适的弱解概念。

2. 主要定理或主要结果

本文的主要贡献在于引入了一种新的正则化粘弹性 Mullins-Sekerka 系统，并建立了相应的解的存在性理论。具体结果如下：

1. 变体解（Varifold Solutions）的存在性定理 (Theorem 1.2) 设 $\Omega \subset \mathbb{R}^d$ ( $$d=2,3$$ ) 为有界光滑区域，给定终端时间 $$T^*>0$$ ，初始数据 $\chi_0 \in BV(\Omega; \{0,1\})$ 和 $u_0 \in H^1_\perp(\Omega) \cap H^2(\Omega)$ 。存在可测映射 $\chi: (0, T^*) \times \Omega \to \{0,1\}$ ，一族定向 varifolds $(\mu_t)_{t\in(0,T^*)}$ 以及位移场 $u: (0, T^*) \times \Omega \to \mathbb{R}^d$ ，满足以下性质：

正则性： $\chi \in L^\infty_{w^*}(0, T^*; BV(\Omega; \{0,1\})) \cap H^1(0, T^*; H^{-1}_{(0)}(\Omega))$ $u \in H^1(0, T^*; H^1_\perp(\Omega)) \cap L^\infty(0, T^*; H^2(\Omega))$
Varifolds 结构： $\mu_t$ 分解为体部分和边界部分 $\mu_t = c_0 \mu^\Omega_t + c_0(\cos\alpha)\mu^{\partial\Omega}_t$ 。其中 $\mu^\Omega_t$ 在 $\Omega$ 上具有概率测度分解， $\mu^{\partial\Omega}_t$ 集中在边界上。
相容性：Varifolds 与特征函数满足广义关系： $\int_{\Omega \times S^{d-1}} \eta(x) \cdot s d\mu^\Omega_t(x,s) = \int_\Omega \eta(x) \cdot d\nabla\chi(t)$ 且边界接触角条件在测度意义下成立。
广义 Gibbs-Thomson 定律：存在化学势 $w \in L^2(0, T^*; H^1(\Omega))$ ，满足弱形式： $\begin{aligned} \int_{\Omega \times S^{d-1}} (I - s \otimes s) : \nabla B d\mu_t &= \int_\Omega \chi \text{div}(wB) dx + \int_\Omega C_\nu(\chi)E(\partial_t u): \nabla^2 u B dx - \int_\Omega \frac{1}{2}|\nabla^2 u|^2 \text{div}B dx \\ &- \int_\Omega \left[ W(\chi, E(u))I - (\nabla u)^T (C_\nu(\chi)E(\partial_t u) + W_{,E}(\chi, E(u))) \right] : \nabla B dx \\ &+ \text{高阶 } \nabla^2 u \text{ 项} \end{aligned}$ 对所有 $B \in C^2(\Omega)$ 成立。
相指示器演化：存在势 $v = -(-\Delta_N)^{-1}\partial_t \chi$ ，满足质量守恒 $\int_\Omega \chi(t) dx = \int_\Omega \chi_0 dx$ 。
弹性方程：位移 $$u$$ 满足弱形式方程 (1.14)，包含 $\nabla^2 u$ 项。
尖锐能量耗散不等式：对几乎处处 $0 \le s \le T \le T^*$ ，满足 De Giorgi 型不等式： $\mathcal{F}(\mu, \chi, u)(T) + \frac{1}{2} \int_s^T \left( \|\partial_t \chi\|^2_{H^{-1}_{(0)}} + \|\partial_t u\|^2_{H^1_{\chi(t)}} + \|\nabla w\|^2_{L^2} + \|\partial_t u\|^2_{H^1_{\chi(t)}} \right) dt \le \mathcal{F}(\chi_0, u_0)$

2. 修正的能量耗散不等式 (Corollary 1.6) 证明了更精细的不等式形式，引入了测试函数 $$v$$ 和 $$B$$ 的变分项，揭示了与度量斜率（metric slope）的联系：

\delta \mathcal{F}(\mu, \chi, u)[B, v] - \frac{1}{2}\|B \cdot \nabla \chi\|^2_{H^{-1}_{(0)}} - \frac{1}{2}\|v - \nabla u B\|^2_{H^1_{\chi(t)}}

作为能量下降速率的下界。

3. BV 解的条件存在性 (Theorem 1.10) 在能量守恒假设（即最小化移动方案中周长无损失）成立，且接触角 $\alpha = \pi/2$ 的条件下，证明了存在 $$BV$$ 解：

\chi \in L^\infty_{w^*}(0, T^*; BV(\Omega; \{0,1\})), \quad u \in H^1(0, T^*; H^1_\perp(\Omega)) \cap L^\infty(0, T^*; H^2(\Omega))

满足强形式的演化方程和能量耗散不等式 (1.25)。

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

本文证明的核心障碍在于粘弹性耦合导致的正则性缺失以及高阶项 $\nabla^2 u$ 的处理。传统的 Luckhaus-Sturzenhecker 方法依赖于能量守恒假设来保证周长的连续性，而 Roger 的方法需要验证 varifolds 的第一变差具有局部有界性以应用 Allard 理论，但在本模型中，由于 $\nabla^2 u$ 项的存在以及缺乏 $\partial_t u$ 的高阶正则性（仅知 $\partial_t u \in H^1(\Omega \setminus \Gamma(t))$ ），验证第一变差的局部有界性变得极其困难甚至不可能。

创新点与技术框架：

基于 De Giorgi 的变体解概念：作者摒弃了寻找经典解或强变体解（integer varifolds）的路径，转而采用 Hensel 和 Stinson 提出的测值解（measure-valued solutions）框架。该框架不要求 varifolds 具有整数性质或广义平均曲率向量，而是通过单一的尖锐能量耗散不等式（sharp energy-dissipation inequality）来刻画演化。这种解概念本质上是度量空间中最大斜率曲线（curves of maximal slope）在 PDE 背景下的推广。
隐式时间离散化方案（Minimizing Movement Scheme）：证明的主要工具是类似于 Ambrosio-Gigli-Savaré 的极小化移动方案。通过构造时间步长为 $$h$$ 的序列 $(\chi^k, u^k)$ ，每一步通过最小化能量泛函加上一项与距离相关的动能项来获得。关键在于定义适当的度量空间距离：
$d((\chi, u), (\tilde{\chi}, \tilde{u})) = \left( \|\tilde{\chi} - \chi\|^2_{H^{-1}_{(0)}} + \|\tilde{u} - u\|^2_{H^1_\chi} \right)^{1/2}$
其中 $H^1_\chi$ 范数依赖于状态 $\chi$ 定义的弹性模量。这种离散化自然地诱导出离散的能量耗散不等式。
高阶正则化项的引入与分析：为了克服 $\partial_t u$ 的兼容性问题和弥散极限中的奇异性，作者显式地在能量中加入了 $\frac{1}{2}|\nabla^2 u|^2$ 项。这一项在变分导数中产生了 $-\text{div} \nabla^2 u$ 项，从而在弱形式中提供了必要的正则性来控制 $\nabla^2 u$ 。在证明过程中，作者利用分部积分技巧，将复杂的耦合项 $W_{,\varphi}\nabla\varphi$ 转化为不涉及 $\varphi$ 梯度的形式，使得在 $\epsilon \to 0$ 极限下能够处理。具体地，通过恒等式：
$W_{,\varphi}(\varphi_\epsilon, E(u_\epsilon))\nabla\varphi_\epsilon = \nabla W(\varphi_\epsilon, E(u_\epsilon)) - W_{,E}(\varphi_\epsilon, E(u_\epsilon))\nabla E(u_\epsilon)$
并结合动量平衡方程，成功消除了对序参数梯度的依赖。
变体与特征函数的相容性估计：为了建立解的结构，作者详细分析了 varifolds $\mu_t$ 与特征函数 $\chi(t)$ 之间的关系。通过 Corollary 1.3 证明了存在函数 $\theta$ 使得 $\int s d\mu_{t,x} = \theta \nu$ ，表明 varifolds 的平均方向与界面法向一致。这一结论依赖于对第一变分的积分估计，而非点态界限。
能量耗散不等式的优化：作者不仅证明了基本的能量不等式，还通过引入测试函数 $$B$$ 和 $$v$$ ，推导出了 Corollary 1.6 中的修正不等式。这揭示了能量下降速率与度量斜率之间的深层联系，为未来可能的弱强唯一性（weak-strong uniqueness）证明奠定了基础。尽管在一般情形下无法达到与有限维情况完全相等的斜率关系（因缺乏第一变差的局部有界性），但该不等式已足够支撑存在性证明。
边界接触角的处理：通过将边界能量项 $\int_{\partial\Omega} c_0(\cos\alpha)\chi d\mathcal{H}^{d-1}$ 纳入能量泛函，并在变分推导中自然导出边界条件 (1.6d)-(1.6e)，作者成功地将固定的接触角 $\alpha$ 融入了解的定义中，无需额外的强约束。

4. 与之前工作的比较

本文工作与既有文献相比，在以下几个方面实现了显著的推进与区别：

1. 与 Luckhaus-Sturzenhecker [35] 及 Roger [44, 5] 工作的比较：

假设差异：Luckhaus 和 Sturzenhecker 的工作依赖于“能量守恒假设”（energy conservation hypothesis），即假设周长泛函在弱收敛下连续。Roger 通过引入广义平均曲率和几何测度论工具去除了这一假设，但其证明强烈依赖于 varifolds 的第一变差具有局部有界性，从而能应用 Allard 正则性理论。
本文推进：本文在粘弹性背景下，由于存在 $\nabla^2 u$ 项以及 $\partial_t u$ 正则性不足的问题，无法验证第一变差的局部有界性。因此，作者放弃了追求 Roger 类型的强解（具有广义平均曲率向量），转而采用 Hensel 和 Stinson 的测值解概念。这是一种更弱的解形式，不要求 varifolds 为整数变体（integer varifolds），也不要求存在点态解释的广义平均曲率，仅要求满足 De Giorgi 型能量耗散不等式。这是处理粘弹性耦合问题的必要妥协。

2. 与 Hensel 和 Stinson [30] 的比较：

相似性与继承：本文直接建立在 Hensel 和 Stinson 的框架之上，继承了其测值解概念、De Giorgi 能量不等式以及处理接触角的方法。两者都利用最小化移动方案构造解。
核心差异：Hensel 和 Stinson 处理的是纯 Mullins-Sekerka 系统（无弹性）。本文将其扩展至粘弹性情形，引入了位移场 $$u$$ 及其高阶导数。主要挑战在于如何处理弹性项与界面演化的耦合。特别是，纯 Mullins-Sekerka 系统中可以证明测值解的某些更强性质（如斜率等式），而在本文中，由于弹性项带来的复杂性，只能得到不等式形式的斜率关系（见 Remark 1.8）。此外，本文明确指出了在均匀弹性系数假设下可能恢复更强的结果（Remark 1.9），这与 Hensel-Stinson 的情况形成对比。

3. 与 Cahn-Larché/Cahn-Hilliard-Biot 弥散模型极限研究的比较：

填补空白：此前文献（如 Alikakos et al. [7], Chen [16], Garcke and Kwak [27]）研究了 Cahn-Hilliard 及其弹性扩展的尖锐界面极限。虽然 [27] 研究了 Cahn-Larché 系统，但未包含粘弹性项。本文明确指出了从粘弹性 Cahn-Larché 系统到尖锐界面极限的推导过程中，会出现未控制的 $\nabla^2 u$ 项，从而必须引入超应力正则化。这是对现有极限理论的重要补充，解释了为何需要特定的能量结构。
适用范围：本文建立的模型是弥散模型（含 $\epsilon$ 正则化）在 $\epsilon \to 0$ 时的候选极限对象，但本文直接针对尖锐界面模型本身进行解析，避免了弥散模型极限证明中常见的匹配渐近展开（matched asymptotic expansions）的复杂性，提供了一种直接的 PDE 分析方法。

4. 代价与局限：

解的正则性代价：为了处理粘弹性和高阶项，本文牺牲了 Varifolds 的整数性质和广义平均曲率的点态存在性。这意味着无法像纯几何流那样获得丰富的几何正则性理论（如 rectifiability 的自动获得，除非额外假设）。Corollary 1.3 仅给出了期望值的性质，而非逐点的法向量。
能量守恒假设的依赖：虽然在一般解（Varifold solutions）的证明中不需要能量守恒假设，但在证明更强的 BV 解（Theorem 1.10）时，仍需假设周长无损失（能量守恒）。这与 Luckhaus-Sturzenhecker 的原始工作类似，但在粘弹性背景下，验证这一假设更为困难。
接触角限制：对于 BV 解的存在性，目前仅证明了在 $\alpha = \pi/2$ （直角接触角）的情况下成立。这是因为在 $\alpha \neq \pi/2$ 时，边界项的处理在极限过程中可能导致额外的技术困难，文中暗示这可能是当前方法的局限。

综上所述，本文在保留梯度流结构的同时，通过引入测值解概念和高阶正则化，成功构建了粘弹性 Mullins-Sekerka 系统的存在性理论，填补了该领域在粘弹性尖锐界面模型方面的空白，尽管以牺牲部分解的正则性为代价。

2. Lipschitz 上图像锥中奇异方程 $-Δu=f(X) cdot u^{-γ}$ 的全局解分类

Classification of global solutions to the singular equation $-Δu=f(X)\cdot u^{-γ}$ in a Lipschitz epigraphical cone

作者: Yahong Guo, Congming Li, Chilin Zhang

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19949v1

摘要翻译: 我们构造并分类了定义在一般 Lipschitz 上图像锥上的奇异方程

-Δu=f(X)\cdot u^{-γ}

的所有全局解，其中 $$f(X)$$ 是一个满足 $0<λ\leq f(X)\leqΛ$ 的局部 Dini 连续函数。全局解的存在性与不存在性完全由方程的指数 $$γ$$ 和锥的“频率”决定。此外，为了对所有全局解进行分类，我们引入了几种新方法。首先，我们利用局部数据估计全局增长率，进而确立了全局解的“渐近斜率”的有界性。其次，通过建立 Kemper 边界 Harnack 原理的非线性变体，我们通过对“渐近斜率”进行“振荡衰减”论证，对所有全局解进行了分类。

Comment: 无

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

1. 研究对象和背景

本文研究定义在一般 Lipschitz 上图像锥 $Cone_\Sigma \subseteq \mathbb{R}^n$ 上的奇异椭圆方程：

\begin{cases} -\Delta u = f(X) \cdot u^{-\gamma}, & \text{在 } Cone_\Sigma \text{ 内}, \\ u > 0, & \\ u = 0, & \text{在 } \partial Cone_\Sigma \text{ 上}. \end{cases}

其中 $$f(X)$$ 是满足 $0 < \lambda \leq f(X) \leq \Lambda$ 的局部 Dini 连续函数， $\gamma > 0$ 为奇异性指数。该方程属于 Lane-Emden-Fowler 型方程，其物理背景涉及伪塑性流体（pseudoplastic fluids）及具有强非线性奇点的半线性问题。核心困难在于边界条件 $$u=0$$ 导致方程在边界附近呈现奇异性（singular），且当 $\gamma \geq 1$ 时，解在边界处的增长行为与光滑域（如 $C^{1,1}$ 域）中的经典结果显著不同。

在光滑域或半空间 $\mathbb{R}^n_+$ 中，全局解的存在性与非存在性通常由指数 $\gamma$ 决定：Montoro-Muglia-Sciunzi [14, 15] 证明了在半空间中，若 $\gamma \leq 1$ 则无全局解，若 $\gamma > 1$ 则所有全局解必为一维对称解。然而，当区域仅为 Lipschitz 锥时，几何形状（特别是锥的开口大小）对解的行为产生决定性影响。本文引入锥的“频率”（frequency） $\phi_\Sigma$ ，定义为锥上第一球面特征值 $\lambda_\Sigma$ 对应的齐次调和函数的次数，即满足 $\phi_\Sigma(\phi_\Sigma + n - 2) = \lambda_\Sigma$ 的正根。同时定义缩放指数 $\alpha = \frac{2}{1+\gamma}$ 。

已有理论（如作者之前的工作 [8]）解决了有界 Lipschitz 区域内的适定性及局部边界增长估计，但对于无界锥上的全局解分类问题尚属空白。本文旨在填补这一空白，明确建立参数 $\gamma$ 、系数 $$f(X)$$ 的波动性以及锥几何特征 $\phi_\Sigma$ 之间的相互作用机制，特别是确定全局解存在的精确阈值，并刻画解集的完整结构。这不仅推广了半空间情形下的经典结论，还处理了系数非恒定和区域非光滑的复杂情况，突破了传统依赖 ODE 分析或 Kelvin 变换方法的局限。

2. 主要定理或主要结果

本文建立了全局解存在性的充要条件及其唯一性分类，主要定理如下：

定理 1.1 (非存在性)：假设 $\alpha \geq \phi_\Sigma$ 且 $f(X) \geq \lambda > 0$ ，则方程 (1.1) 不存在全局解。此结果表明，当奇异性强度（由 $\alpha$ 表征）超过或等于锥的几何频率 $\phi_\Sigma$ 时，任何试图构造的全局解都会在无穷远处发散至无穷大。

定理 1.2 (存在性)：假设 $\alpha < \phi_\Sigma$ ，且 $$f(X)$$ 为局部 Dini 连续函数满足 $0 < \lambda < f(X) \leq \Lambda$ 。则存在一族全局解 $\{\Psi_K\}_{K \geq 0}$ ，具有以下性质：

基解估计：基解 $\Psi_0$ 满足 $\Psi_0(X) \leq C |X|^\alpha$ ，其中常数 $$C$$ 依赖于 $(\Sigma, \gamma, \lambda, \Lambda)$ 。
上下界夹逼：对于任意 $K \geq 0$ ，在锥内有不等式： $\max\{\Psi_0(X), K \cdot H_\Sigma(X)\} \leq \Psi_K(X) \leq \Psi_0(X) + K \cdot H_\Sigma(X).$ 其中 $H_\Sigma(X) = r^{\phi_\Sigma} E(\theta)$ 是锥上的正齐次调和函数。
单调性：若 $0 \leq k \leq K$ ，则 $0 \leq \Psi_K(X) - \Psi_k(X) \leq (K-k) H_\Sigma(X)$ 。

由此可得渐近斜率关系：

\lim_{r \to \infty} \frac{\Psi_K(r\theta)}{H_\Sigma(r\theta)} = K, \quad \forall \theta \in \Sigma.

参数 $$K$$ 被定义为 $K = \lim_{R \to \infty} (R^{-\phi_\Sigma} \max_{B_R} \Psi_K) \in [0, \infty)$ ，代表了全局解在无穷远处的“渐近谐波斜率”。

定理 1.3 (分类性)：在定理 1.2 的相同假设下，方程 (1.1) 的任何全局解必然属于上述构造的族 $\{\Psi_K\}_{K \geq 0}$ 。这意味着解集是一个一参数有序族，不存在其他类型的解。

此外，作为推论（Corollary 1.1），若 $$f(X)=f(x_n)$$ 仅依赖于垂直坐标，则当 $\gamma > 1$ 时，半空间 $\mathbb{R}^n_+$ 上的全局解必为一维函数；当 $0 < \gamma \leq 1$ 时无解。这恢复了并推广了 [14, 15] 的结果。

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

证明的核心障碍在于缺乏平移不变性和系数的非恒定性，使得传统的 ODE 降维法（适用于半空间常系数情形）和 Kelvin 变换失效。作者构建了一套基于紧性论证、非线性边界 Harnack 原理及振荡衰减的非对称分析方法。

可解性阈值的推导（非存在性证明）：利用反证法，将假设的全局解 $$u$$ 与截断锥 $Cone_\Sigma \cap B_R$ 上对应于下界系数 $\lambda$ 的问题解 $$v_R$$ 进行比较。通过最大原理得到 $u \geq v_R$ 。利用缩放不变性 $v_R(X) = R^\alpha v_1(X/R)$ 以及前作 [8] 中的局部下界估计（Lemma 2.2），当 $\alpha \geq \phi_\Sigma$ 时， $$v_R$$ 在原点附近的值随 $R \to \infty$ 发散，从而导出矛盾。这一步骤确立了 $\alpha < \phi_\Sigma$ 是解存在的必要条件。
模型族的构造（存在性证明）：在 $\alpha < \phi_\Sigma$ 范围内，通过单调收敛定理构造基解 $\Psi_0$ ：取截断问题 $\Psi_{0,R}$ 的极限。利用先前的局部增长估计（Lemma 2.2(a)）确保序列一致有界。对于 $$K>0$$ ，构造带有边界数据 $\Psi_0 + K H_\Sigma$ 的截断解 $\Psi_{K,R}$ 。关键技巧在于利用 $K H_\Sigma$ 作为子解（sub-solution）和 $\Psi_0 + K H_\Sigma$ 作为超解（super-solution）来建立一致的先验估计，从而保证解序列在 $R \to \infty$ 时的收敛性。此过程不依赖 $$f(X)$$ 的齐次性。
从局部信息到全局增长控制：这是证明的关键创新点之一。对于任意全局解 $$u$$ ，作者在截断锥内定义其调和替代函数 $$h_R$$ （harmonic replacement）。通过比较原理得到 $h_R \leq u \leq h_R + \Psi_0$ 。利用 Kemper 的经典边界 Harnack 原理 [11]，将 $$h_R$$ 近似为 $c_R H_\Sigma$ 。通过在固定内部点评估该近似函数，控制系数 $$c_R$$ 的一致性，从而证明任意全局解的增长阶不超过 $|X|^{\phi_\Sigma}$ ，即 $u \leq \Psi_K$ 对某个 $$K$$ 成立。这一步成功地将局部正则性转化为全局增长约束。
渐近斜率的振荡衰减（分类性证明）：一旦确立 $\Psi_k \leq u \leq \Psi_K$ ，作者引入了一个非线性版本的边界 Harnack 原理（Lemma 5.3, 5.4）。通过分析线性化方程在悬置圆柱（suspended cylinder）内的 Harnack 估计，结合边界正性论证，证明了区间 $$[k, K]$$ 可以在更小的尺度上以固定因子缩小（oscillation reduction）。通过迭代这一过程，迫使极限区间坍缩为单点，从而证明解必须精确等于某个 $\Psi_K$ 。这一机制完全替代了半空间情形下的平移不变性或一维对称性论证，适应了 Lipschitz 锥的几何不规则性。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上实现了显著推进：

几何适用范围的扩展：既有工作（如 Montoro-Muglia-Sciunzi [14, 15]）主要集中在半空间 $\mathbb{R}^n_+$ 或光滑凸域。在这些情形下，锥的“频率”固定为 $\phi=1$ ，因此存在性仅取决于 $\gamma > 1$ 。本文首次将研究推广至一般的 Lipschitz 上图像锥，揭示了锥的几何特征 $\phi_\Sigma$ 直接参与决定解的存在性。阈值条件从单一的 $\gamma > 1$ 变为 $\alpha < \phi_\Sigma$ （即 $\frac{2}{1+\gamma} < \phi_\Sigma$ ）。这意味着即使 $\gamma > 1$ ，如果锥过于狭窄导致 $\phi_\Sigma$ 较小，也可能不存在全局解；反之，若锥足够宽（ $\phi_\Sigma$ 较大），即使 $\gamma$ 略小于 1 也可能存在解。这修正了仅凭指数判断存在性的直觉。
系数处理的深化：前人工作通常假设 $f(X) \equiv 1$ 或具有特定的对称性，从而允许使用 ODE 分析或 Kelvin 变换。本文处理的是非恒定的局部 Dini 连续函数 $$f(X)$$ ，且仅要求满足上下界条件。这种非齐次性破坏了径向对称性，使得传统的降维方法完全失效。作者通过引入紧性论证和非线性边界 Harnack 原理，成功处理了变系数带来的技术困难，证明了分类结果的稳定性。
方法论的革新：针对非对称几何和非恒定系数，本文摒弃了依赖特殊对称性的工具（如移动平面法、Kelvin 变换），转而建立了一套基于调和替代（harmonic replacement）和振荡衰减（oscillation reduction）的分析框架。特别是非线性边界 Harnack 原理的建立，使得作者能够在没有平移不变性的情况下，通过局部信息的迭代压缩来控制解的渐近行为。这种方法论不仅适用于当前问题，也为处理其他非光滑域上的奇异椭圆方程提供了新的范式。
代价与局限：本文的进展是以放弃显式公式为代价的。由于 $$f(X)$$ 非齐次且域非光滑，解 $\Psi_K$ 无法写成显式的初等函数形式，而是通过极限过程定义。此外，分类结果依赖于 $$f(X)$$ 的 Dini 连续性，若正则性进一步降低，目前的边界 Harnack 估计可能不再适用。尽管如此，本文给出的存在性阈值和结构描述是完备且最优的，填补了 Lipschitz 几何下奇异方程全局理论的最后一块拼图。

3. 一维可压缩范德瓦耳斯流体共存相变容许解的稳定性

Stability of admissible solutions for coexisting phase transitions for one-dimensional compressible van der Waals fluids

作者: Yazhou Chen, Qiaolin He, Dongjuan Niu, Yi Peng, Xiaoding Shi

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.20060v1

摘要翻译: 本文研究了一维空间中，在范德瓦耳斯状态方程下，可压缩等熵Navier-Stokes系统周期边值问题某些稳态解的动力学稳定性。这些稳态解对应于描述两相共存相变的容许解，其比容的积分平均值属于麦克斯韦区域。我们首先构造了一个半离散交错网格差分格式，以证明该周期问题的解存在局部解，且无需施加标准的稳定性假设 $$p_v<0$$ 。随后，借助严格的分段先验估计，我们证明了范德瓦耳斯流体的周期边值问题拥有对所有时间存在的整体解，并且该解当时间趋于无穷大时一致收敛于容许的稳态。这一结果牢固地确立了在一般小初值扰动下容许相变解的非线性稳定性。

Comment: 29 pages, 3 figures

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

1. 研究对象和背景

本文研究的核心对象是一维空间下具有范德瓦尔斯（van der Waals）状态方程的可压缩等温纳维-斯托克斯（Navier-Stokes）系统。该系统的控制方程在拉格朗日坐标下表示为：

\begin{cases} v_t - u_x = 0, \\ u_t + p(v)_x = \left(\frac{\epsilon u_x}{v}\right)_x, \end{cases}

其中 $$v(x,t)$$ 和 $$u(x,t)$$ 分别为比容和速度， $\epsilon > 0$ 为粘性系数。压力函数 $$p(v)$$ 由范德瓦尔斯状态方程给出：

\left(p + \frac{a}{v^2}\right)(v - b) = RT,

即 $p(v) = -\frac{a}{v^2} + \frac{RT}{v-b}$ 。当温度 $$T$$ 满足 $\frac{a}{4bR} < T < T_c = \frac{8a}{27Rb}$ 时，压力函数 $$p(v)$$ 不再是单调递减的，而是呈现出非单调特征：存在两个临界点 $\alpha > \beta > b$ ，使得 $p'(\alpha)=p'(\beta)=0$ ，且在区间 $(\alpha, \beta)$ 内 $$p'(v)>0$$ （机械不稳定区），在 $(b, \alpha)$ 和 $(\beta, \infty)$ 内 $$p'(v)<0$$ （稳定区）。这种非单调性导致系统从纯抛物型/双曲型转变为混合型，从而允许液相与气相共存以及相界面的形成。

问题设定为周期边界值问题： $$(v, u)(x-L, t) = (v, u)(x+L, t)$$ ，且初始比容的平均值 $\bar{v} = \frac{1}{2L}\int_{-L}^{L} v_0(x)dx$ 位于麦克斯韦区域 $\Omega_{Maxwell} = (\alpha_0, \beta_0)$ 内，其中 $\alpha_0, \beta_0$ 由麦克斯韦等面积法则确定： $\int_{\alpha_0}^{\beta_0} (p(v)-p(\alpha_0))dv = 0$ 且 $p(\alpha_0)=p(\beta_0)$ 。在此条件下，系统存在描述两相共存的稳态解，其结构为分段常数形式：在两个相界面 $x=\pm l$ 处发生跳跃，界面两侧分别对应于饱和液态比容 $\alpha_0$ 和气态比容 $\beta_0$ 。

已有理论背景中，对于理想气体或近理想气体（满足 $$p_v < 0$$ ），稳态解通常为常数，间断波随时间衰减。然而，对于范德瓦尔斯流体，由于热力学不稳定性驱动相分离，稳态解包含大振幅的固定间断（即相界面），且这些间断的振幅不随时间衰减。Hoff [9, 10] 等人曾研究了非等温气体的间断解存在性，但通常要求初值扰动较小或流体处于“近理想”状态以控制间断增长。He-Liu-Shi [4] 及 He-Shi [5,6] 通过数值模拟探讨了相变现象，而 Chen 等人之前的工作 [2] 仅建立了近似稳态解的存在性及其收敛到物理容许解的过程，尚未解决动态演化下的全局存在性与非线性稳定性问题。

本文试图填补的空白在于：在无需假设标准稳定性条件 $$p_v < 0$$ 的全局范围内，严格证明一类特定的“容许稳态解”（即具有两个清晰界面的两相共存解）在一维周期边界条件下的非线性动力学稳定性。具体而言，需要处理初值中包含有限个跳跃间断、且相界面处的跳跃量并非小量的困难，建立能够控制间断增长并保证解全局存在的先验估计框架。

2. 主要定理或主要结果

本文证明了以下主要定理（Theorem 1.1）：

假设条件：

平均比容 $\bar{v} \in (\alpha_0, \beta_0)$ ，即位于麦克斯韦区域。
初值 $$(v_0, u_0)$$ 具有有限个跳跃间断点，且满足 $v_0 \in [b+2\delta, \hat{v}-\delta]$ a.e.
初值在三个子区间 $$I_1, I_2, I_3$$ （对应稳态解的三个部分）上的积分偏差为零： $\int_{I_i} (v_0 - \tilde{v}) dx = 0, i=1,2,3$ 。
初值扰动能量范数 $C_0 = \|(v_0-\tilde{v}, u_0-\tilde{u})\|_{L^2}^2 + (Var(u_0))^2 + \|v_{0x}\|_{L^2_\Sigma}^2$ 足够小，即 $C_0 \leq \delta_0$ 。
流体在 $\alpha_0$ 和 $\beta_0$ 邻域内满足“近理想”性质，即 $$p'(v) < 0$$ 。

结论：

全局弱解存在性：周期边值问题 (1.1) 存在定义对所有 $t \geq 0$ 的弱解 $$(v, u)$$ 。
解的正则性与范围：解满足 $v \in [b+\delta, \hat{v}]$ 。当 $t \geq \tau$ 时，解在空间上趋于稳态结构： $v(x,t) \in D_\alpha$ 当 $x \in I_1 \cup I_3$ ， $v(x,t) \in D_\beta$ 当 $x \in I_2$ 。
先验估计：解满足加权能量不等式： $A(t) + B(t) + F(t) \leq C C_0,$ 其中 $$A(t), B(t), F(t)$$ 是包含 $$L^2$$ 范数、变差及高阶导数的时间加权泛函（见公式 1.27-1.29）。
渐近稳定性：解一致收敛于稳态解： $\lim_{t \to \infty} \|(v - \tilde{v}, u - \tilde{u})(\cdot, t)\|_{L^\infty(T)} = 0.$ 特别地，相界面位置 $x=\pm l$ 处的跳跃量保持恒定（不衰减也不爆炸），符合物理相变特征。
正则性结果：解具有 Hölder 连续性，例如 $\langle v \rangle_{1/2, 1/2-\theta/4} \leq C C_0^{1/2}$ ，且 $$u_x$$ 在 $$t>0$$ 时具有 $L^\infty$ 正则性，衰减率为 $O(t^{-1/2-\theta/4})$ 。

此外，文章还证明了局部存在性定理（Theorem 2.1），即在构造半离散交错网格差分格式后，即使初值包含间断，也能在短时间 $$t_0$$ 内获得满足上述正则性的局部弱解，且间断跳跃量的演化遵循公式 (2.9)：

[\ln v(\pm l, t)] = [\ln v(\pm l, 0)] \exp\left(\epsilon^{-1} \int_0^{t_0} \alpha_\pm(s) ds\right).

当跳跃两端点恰好为 $\alpha_0, \beta_0$ 时，指数项为零，跳跃量保持不变。

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

本文证明的核心障碍在于范德瓦尔斯流体的压力函数 $$p(v)$$ 在麦克斯韦区域内非单调（ $$p_v > 0$$ ），这破坏了标准的抛物正则化机制，且稳态解中的相界面跳跃量是大振幅的（非小扰动），导致传统的线性化分析和基于小扰动的能量方法失效。此外，初值可能包含多个跳跃间断，需防止间断在演化过程中合并或产生新的奇异性。

作者的创新点与技术路径如下：

1. 半离散交错网格差分格式的构造与局部存在性证明 针对初值含间断的问题，作者没有直接寻求经典解，而是沿用了 Hoff [9, 10] 的方法，构造了一个半离散的交错网格差分格式（semi-discrete staggered grid difference scheme）。该格式将比容 $$v$$ 定义在网格节点上，速度 $$u$$ 定义在网格中心，从而自然地捕捉间断。关键在于，作者在该离散系统中推导了带时间权重的先验能量估计。通过引入权重函数 $\sigma(t) = \min\{1, t\}$ ，作者克服了 $t \to 0+$ 时的初始奇异性，证明了局部解的存在性（Theorem 2.1）。这一过程详细分析了间断跳跃量 $[\ln v]$ 的时间演化规律（公式 1.14 和 2.9），证明了只要跳跃两端点落在稳定区或满足麦克斯韦条件，跳跃量不会指数爆炸。

2. 分段先验估计与加权范数框架 为了推广到全局存在性，作者建立了一套精细的分段先验估计体系。由于解在相界面附近行为特殊，作者定义了分段 $$L^2$$ 范数 $\|\cdot\|_{L^2_\Sigma}$ ，将计算域分为 $$I_1, I_2, I_3$$ 三个区域分别处理。核心工具是三个加权泛函 $$A(t), B(t), F(t)$$ 的定义（公式 1.27-1.29）：

$$A(t)$$ 控制 $$L^2$$ 距离和分段导数；
$$B(t)$$ 引入时间权重 $\sigma^{1/2}$ 来控制速度梯度 $$u_x$$ 和加速度 $$u_t$$ 的衰减；
$$F(t)$$ 引入更高阶权重 $\sigma^{3/2}$ 来控制高阶导数。这些泛函的设计巧妙避开了对大振幅跳跃量本身的直接控制（因为它是固定的），转而控制其周围的平滑扰动。通过复杂的微分不等式推导，作者证明了若初始能量 $$C_0$$ 足够小，则 $$A+B+F$$ 在全局时间内有界，从而避免了爆破。

3. 利用周期性边界条件消除大扰动影响 一个关键的分析技巧是利用周期边界条件。对于非周期问题（如柯西问题），大振幅间断可能导致整体能量发散。但在周期问题中，作者通过积分约束（公式 1.8）和特定的初值条件（公式 1.31，即各子区间质量守恒偏差为零），确保了相界面的位置虽然不确定，但其两侧的相体积比例是固定的。这使得分析可以聚焦于相对于稳态解的小扰动部分，而将大振幅的稳态结构视为背景场。作者明确指出，与 Hoff [10] 不同，本文不需要假设初值跳跃量的 $$L^1$$ 范数很小，也不需要流体在整个域内都满足 $$p_v < 0$$ ，仅需在 $\alpha_0, \beta_0$ 邻域内满足即可。

4. 紧性论证与极限过程 在获得一致的先验估计后，作者利用紧性方法（Compactness arguments）提取子序列，证明差分格式解收敛到连续问题的弱解。通过验证弱解满足定义 1.2 中的积分形式，并结合 Hölder 正则性估计（公式 1.37-1.40），最终确立了全局解的唯一性和渐近行为。

4. 与之前工作的比较

本文与既有文献相比，在以下几个方面取得了显著推进：

1. 放宽了对状态方程单调性的假设 经典的一维可压缩 Navier-Stokes 方程理论（如 Kanel [19], Hoff [7,8]）主要建立在理想气体或近理想气体模型之上，即要求 $$p_v < 0$$ 处处成立，以保证方程的严格抛物/双曲性质。而本文处理的范德瓦尔斯流体在麦克斯韦区域内 $$p_v > 0$$ ，系统呈现椭圆 - 双曲混合特性。Hoff [10] 在处理非等温气体时，虽然允许间断存在，但仍要求流体在间断附近满足“近理想”条件且跳跃量必须足够小。本文则明确处理了 $$p_v$$ 变号的情况，且允许相界面处的跳跃量为宏观量（非小扰动），这是数学分析上的重大突破。

2. 解决了大振幅相界面解的非线性稳定性问题 前人工作如 Hsieh-Wang [14] 主要通过数值模拟展示相变现象，He-Liu-Shi [4] 使用了松弛方法进行数值验证。Chen 等人之前的论文 [2] 仅讨论了近似稳态解的构造及其向物理容许解的收敛，未涉及动态演化下的稳定性。本文首次严格证明了这类具有两个清晰界面的大振幅相变稳态解在一般小初值扰动下的非线性渐近稳定性。特别是，证明了相界面本身是稳定的（跳跃量不变），而周围的扰动会随时间衰减至零。

3. 优化了初值条件的限制 与 Hoff [9, 10] 关于 Cauchy 问题的结果相比，本文对初值的限制更为宽松。Hoff [10] 要求初值的 $$L^1$$ 扰动范数和跳跃量都必须很小。本文指出，在周期边界条件下，由于总质量和动量守恒的强约束，以及麦克斯韦构造的几何特性，我们不需要假设初值跳跃量的大小。只要初值在 $$L^2$$ 意义下接近稳态解（即 $$C_0$$ 小），且满足特定的积分平衡条件（1.31），就能保证全局解的存在。这一改进极大地扩展了理论的适用范围，使其更符合物理实际中可能出现的较大初始偏差情形。

4. 时间尺度与适用范围的拓展 既往研究多关注短时间存在性或特定类型的波（如激波、稀疏波）的稳定性。本文不仅证明了全局存在性，还给出了精确的衰减速率（如 $u_x \sim t^{-1/2}$ ）和 Hölder 正则性估计。此外，文章还暗示了其方法可以推广到具有 $$2N$$ 个界面的多相共存构型（Remark 1.6），尽管本文主要聚焦于 $$N=1$$ 的双界面情况。这表明该方法在处理更复杂的相变拓扑结构时具有潜在的通用性。

代价与局限 本文的代价在于对初值施加了严格的积分约束条件（1.31），即要求初值在每个相区域内相对于稳态解的质量偏差为零。这在物理上意味着初值不能随意改变各相的相对体积比例，必须保持麦克斯韦构造所确定的体积分数。如果初值破坏这一条件，解可能会演化到不同的稳态构型（如界面移动或数量变化），而非收敛到当前的 $V_{single-peak}$ 。此外，分析依赖于周期边界条件，对于无界域（Cauchy 问题）或非周期边界条件，该结论的直接推广尚需进一步研究。

4. 障碍问题的平均曲率界

Mean curvature bounds for the obstacle problem

作者: Giacomo Colombo, Federico Franceschini

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19991v1

摘要翻译: 我们证明了经典障碍问题（可能具有光滑右端项）的解的最优 $$(n-1)$$ -半凸性估计。由此推得，在所有维数下，自由边界的平均曲率均存在一致的上界。现有例子表明，在三维及更高维中，完整的曲率界不成立。值得注意的是，即使在 $$n=2$$ 的情形下，对于常数右端项而言，这些结果也是新颖的。

Comment: 无

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

1. 研究对象和背景

经典障碍问题（Obstacle Problem）是偏微分方程理论中最具代表性的自由边界问题之一。其数学模型由以下变分不等式或等价方程组描述：寻找函数 $u \in C^{1,1}(B_1)$ 满足

\Delta u = f \chi_{\{u > 0\}} \quad \text{在 } B_1 \subset \mathbb{R}^n \text{ 中},

且 $u \ge 0$ ，其中 $$f$$ 是给定的正光滑函数（通常假设 $f \in C^{1,\alpha}$ ）。该问题等价于最小化凸泛函

v \mapsto \int_{B_1} \left( \frac{1}{2}|\nabla v|^2 + f(x) \max\{v, 0\} \right) dx,

在给定非负边界数据的所有函数中寻找极小值解。

自 Caffarelli 在 [Caf77] 奠定现代理论基础以来，关于自由边界 $\Gamma := \partial\{u > 0\}$ 的正则性研究取得了巨大进展。已知结果将自由边界分解为正则部分（局部为光滑超曲面）和奇异部分（接触集 $\{u=0\}$ 密度为零）。然而，尽管局部结构已相当清晰，对于自由边界作为一个整体几何对象的性质，尤其是其全局曲率行为，了解仍然有限。一个核心问题是：当解定义在远大于单位球的区域 $$B_R$$ ( $R \gg 1$ ) 上时，限制其为某个自由边界的条件有多强？

具体到曲率估计，已知全二阶基本形式（full second fundamental form）的上下界在 $n \ge 3$ 时不可能成立。Schaeffer 在 [Sch77b] 给出的反例表明，即使在二维情形，接触集 $\{u=0\}$ 也可能具有外尖点（outer cusps），这意味着无法对自由边界曲率给出下界。而在更高维，Figalli 和 Serra 在 [FS19] 中构造了更极端的例子：存在解 $$u^*$$ 使得 $\{u^* > 0\}$ 的边界在 $x \to 0$ 时，某一法向曲率以快于 $|x|^{-\epsilon}$ 的速度爆炸至 $+\infty$ ，而另一法向曲率以快于 $-|x|^{-\epsilon-1}$ 的速度爆炸至 $-\infty$ 。尽管全曲率无界，但这两个主曲率的和（即平均曲率）却表现出有界的迹象。Spruck 曾推测在更高维可能可以控制平均曲率的上界，但这一直是一个悬而未决的问题。

本文旨在填补这一空白，证明对于任意维度 $$n$$ 和任意光滑右端项 $$f$$ ，障碍问题解的自由边界平均曲率在某种意义下存在普遍的上界。这一结果不仅推广了 Schaeffer 在二维的早期工作，而且解决了高维情形下的关键几何约束问题。此外，作者还建立了最优的 $$(n-1)$$ -半凸性估计，这是推导平均曲率界的核心工具。

2. 主要定理或主要结果

本文的核心成果包含两个主要定理，分别关于半凸性估计和平均曲率界。

定理 1.2 (平均曲率上界)：设 $$u$$ 是方程 (1.1) 的解，其中右端项 $f \in C^{1,\alpha}(B_1)$ 且 $$f > 0$$ 。则在半球 $B_{1/2}$ 内，自由边界 $\partial\{u > 0\}$ 的平均曲率 $$H$$ 被一个常数 $$C$$ 从上方一致控制：

H \le C.

这里的常数 $$C$$ 仅依赖于维度 $$n$$ 、 $$f$$ 的下界 $\inf_{B_1} f$ 、Holder 指数 $\alpha$ 以及范数 $\|f\|_{C^{1,\alpha}(B_1)}$ 。对于正则点 $z \in \partial\{u > 0\}$ ，平均曲率定义为 $H = -\mathrm{div}\left(\frac{\nabla u}{|\nabla u|}\right)$ 。若 $\{u>t\}$ 是凸集，则约定平均曲率为正。对于一般情况，该界限按粘滞意义理解：对于任意 $z \in \partial\{u > 0\} \cap B_{1/2}$ ，若存在 $$C^2$$ 开集 $$E$$ 使得 $z \in \partial E$ 且在邻域内 $\{u > 0\} \cap B_\rho(z) \subset E$ ，令 $\nu_E$ 为 $$E$$ 的外单位法向量，则必须满足

H_{\partial E}(z) := \mathrm{div}\, \nu_E \le C_0.

特别地，当 $$n=2$$ 时，该定理给出了自由边界全曲率的一个先验上界（在粘滞意义下），即使对于常右端项 $f \equiv 1$ 也是全新的结果。这是高维情形下首个关于自由边界的先验曲率估计。

定理 1.7 (最优 $$(n-1)$$ -半凸性估计)：作为定理 1.2 的基础，作者证明了如下半凸性估计。设 $$u$$ 在 $$B_1$$ 中求解 (1.1)，且 $0 \in \partial\{u > 0\}$ 。则存在常数 $C = C(n, \min_{B_1} f, \alpha, \|f\|_{C^{1,\alpha}(B_1)}) > 0$ ，使得对于所有 $x \in B_{1/2}$ 和单位向量 $e \in S^{n-1}$ ，有

\Delta_{e^\perp} u(x) \ge -C \, \mathrm{dist}(x, \partial\{u > 0\}).

这里 $\Delta_{e^\perp} u = \Delta u - D^2_{ee} u$ 表示在垂直于 $$e$$ 的子空间上的拉普拉斯算子。该估计表明 Hessian 矩阵的迹在切平面方向上的负部以线性速率衰减。作者指出，在线性速率方面此估计是最优的（regular point 处即达到线性），且不能期望在所有维度 $n \ge 3$ 中对 Hessian 的整个负部给出线性（或任何幂次）控制，这与 Caffarelli 早期的对数型估计及 Rivière 在二维的改进结果形成对比。

推论与几何解释：定理 1.2 意味着，无论边界数据如何，在 $B_{1/2}$ 区域内不存在半径小于 $$1/C_0$$ 的球，使得正定集 $\{u>0\}$ 在该球内具有“向外凸起”的特定大小。若解定义在大球 $$B_R$$ ( $R \gg 1$ ) 上，则 $\partial\{u > 0\} \cap B_{1/2}$ 的平均曲率上界缩放为 $$C_0/R$$ 。

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

证明的核心障碍在于处理从奇异锥（singular cone）过渡到正则锥（regular cone）时的尺度退化问题，以及如何利用频率函数（frequency function）的单调性来量化这种过渡。

1. 半凸性的继承机制 (Convexity Inheritance Mechanism)：作者利用了近期发展的“凸性继承”原理。核心思想是：如果解 $$u$$ 在 $L^\infty$ 范数下逼近另一个严格凸的解 $$U$$ ，那么 $$u$$ 也必须在相应方向上保持凸性。具体而言，Lemma 2.4 和 Lemma 2.5 建立了如下关系：若 $D^2_{ee} U \ge -\epsilon$ 且 $$U$$ 在远离接触集的地方具有更强的凸性（ $D^2_{ee} U \ge A_\circ \epsilon$ ），同时 $$u$$ 与 $$U$$ 足够接近且右端项 $$f$$ 变化平缓，则 $D^2_{ee} u \ge 0$ 。这一机制的证明依赖于弱 Harnack 不等式和针对 Laplace 算子的 $L^1 \to L^{1,\infty}$ 椭圆估计。特别是 Lemma 2.7 提供了一个关键的比较原理：若在接触集边界上 $h \ge 0$ ，且在内部满足特定的微分不等式 $\Delta h \le \mathrm{div} F$ ，并在远处有足够大的正值，则 $$h$$ 在全局非负。这允许作者将半凸性估计转化为对辅助函数 $h = D^2_{ee} u / \epsilon$ 的非负性证明。

2. Almgren 频率函数的单调性与三次逼近：为了建立精确的半凸性估计，作者需要量化解 $$u$$ 与凸解（或齐次锥） $$v$$ 的逼近速度。对于奇异点，典型的渐近展开涉及齐次锥 $p(x) = \frac{1}{2} x \cdot Ax$ 。作者引入 Almgren 频率函数 $\phi(r, w) = D(r,w)/H(r,w)$ 来分析差值 $$w = u - p$$ 的性质。关键观察是：只要 $\phi(r, u-p) \ge 2$ ，频率函数在 $$(r, 1)$$ 上是有效单调的；而当 $\phi(r, u-p) \ge 3$ 时，经典的三次逼近公式成立，即 $|u - p| \le C r^3$ 。然而，困难出现在 $\phi$ 处于 $[3-\delta_\circ, 3]$ 的过渡区间时。此时， $\epsilon$ -正则性估计失效，导致逼近常数退化。作者通过改进 Monneau 单调性公式（Theorem 3.10），在过渡区间 $[\theta r, r]$ 上建立了高精度的衰减估计：

\sup_{B_{\theta r}} |u - p| \le C_\circ \theta^3 \sup_{B_r} |u - p|.

这一估计不依赖于 $\theta$ 的具体量化（ $\theta$ 本身可能很小），而是通过有限的常数 $C_\circ$ 削弱了从尺度 $$r$$ 到 $\theta r$ 的三次衰减速率。这是证明线性半凸性估计的关键步骤。

3. 等周不等式与谱隙：证明过程中综合运用了多个前沿工具：

Epiperimetric 不等式：借鉴 Wei [Wei99], Colombo-Silvestre-Vasseur [CSV18] 以及 Spruck-Yang [SY23a] 的工作，作者建立了一个新的 epiperimetric 不等式（针对 $n \ge 3$ 使用对数型，针对 $$n=2$$ 使用标准型），用于控制能量泛函的下降。
频率公式方法：采用 Figalli-Serra [FS19; FRS20] 的频率公式框架。
谱隙 (Spectral Gaps)：利用 Figalli-Serra [FS25] 关于谱隙的结果。
整数频率点的线性化：参考 Spruck-Yang [SY23a] 关于在整数频率点附近线性化的技术。

4. 特殊维度的处理：在二维情形 ( $$n=2$$ )，作者首先证明了常右端项下的结果（Theorem 3.1），利用复分析工具和更精细的 epiperimetric 不等式。随后在一般维度下，由于缺乏解析刚性，必须依赖对数型 epiperimetric 不等式（Theorem 4.11）来处理奇异点的结构。Appendix C 还构造了一个反例，证明了即使在二维，接触集也不一定满足外部球性质（exterior ball property），这进一步凸显了平均曲率上界而非全曲率下界的必要性。

4. 与之前工作的比较

本文工作与既有文献相比，在假设放宽、适用范围和结论强度上均有显著推进：

1. 与 Schaeffer [Sch77a] 的比较： Schaeffer 早在 1977 年就在二维情形证明了某些曲率界，但其结果依赖于对自由边界的拓扑假设，这些假设只能在未量化的重标度后验证，因此不是“普遍”的（universal）。本文彻底消除了这些拓扑限制，给出了仅依赖于 $$n, f$$ 及其范数的通用常数 $$C$$ 。此外，Schaeffer 的结果在三维及以上并未给出明确的全局曲率界，而本文直接推广到了任意维度 $$n$$ 。

2. 与 Caffarelli [Caf77] 及后续半凸性工作的比较： Caffarelli 的经典结果是 $D^2 u \ge -C |\log \delta(x)|^{-\alpha}$ 形式的对数估计。Rivière 和作者在二维将其改进为指数型 $D^2 u \ge -C \exp(-C' |\log \delta|^{1/2})$ 。本文在二维情形下进一步将半凸性估计提升到了最优的线性速率 $D^2 u \ge -C \delta(x)$ 。在高维情形，虽然全 Hessian 的负部仍无法获得线性控制（由 Figalli-Serra [FS19] 的反例可知），但本文首次证明了切向拉普拉斯算子 $\Delta_{e^\perp} u$ 的线性下界，从而导出了平均曲率的上界。这是对 Caffarelli 原始估计在“平均曲率”这一几何量上的本质突破。

3. 与 Figalli-Serra [FS19] 及 Spruck 猜测的比较： Figalli 和 Serra 在 [FS19] 中构造了高维反例，表明全二阶基本形式无界，并指出曲率分量可能以不同符号爆炸。这一工作实际上否定了全曲率有界的可能性，但也暗示了平均曲率可能有界。本文正式证实了 Spruck 的猜想：尽管主曲率各自无界，但它们的和（平均曲率）在任意维度均被上界控制。这是对该领域长期开放问题的最终解答。

4. 与 Gustafsson-Sakai [GS03; GS04] 关于外部球性质的比较： Gustafsson 和 Sakai 利用复分析工具证明了二维常右端项下接触集具有外部球性质。本文指出，这一性质源于解析刚性，并不蕴含于平均曲率上界中。事实上，作者在 Appendix C 构造了二维反例，表明即使 $f \equiv 1$ ，接触集也可能不满足外部球性质。这说明平均曲率上界是比外部球性质更弱但更普适的几何约束，适用于更广泛的右端项和高维情形。

5. 代价与局限：本文的主要代价是将全曲率下界（本就不存在）替换为平均曲率上界，这是一种“一维”的几何约束。在高维，我们失去了对单个主曲率的控制，只能控制其和。此外，证明过程高度依赖于复杂的频率分析和对数型等周不等式，技术难度远高于传统的能量估计。尽管如此，本文首次统一了二维与高维的理论框架，给出了唯一的通用上界，填补了从局部正则性到整体几何约束之间的巨大鸿沟。

5. 次临界双重非线性抛物型方程组的局部有界性与更高可积性

On the Local boundedness and higher integrability for the subcritical doubly nonlinear parabolic systems

作者: Qifan Li

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19909v1

摘要翻译: 我们考虑定义在有界时空柱体 $Ω_T=Ω imes(0,T)ackslash ext{subset} ackslash mathbb{R}^{N+1}$ 上的非齐次双重非线性抛物型方程组，其形式为 \begin{equation*}\partial_t (|u|^{q-1}u)-\operatorname{div}(|Du|^{p-2}Du)=\operatorname{div}(|F|^{p-2}F)\end{equation*}。我们在次临界范围 $p\leq\frac{N(q+1)}{N+q+1}$ 和 $0<q<\frac{N+2}{N-2}$ 内研究弱解的局部正则性性质。在附加的可积性假设 $|u|\in L_{\loc}^{\rr}(Ω_T)$ 下，我们建立了 $$|u|$$ 的定量界。此处指数 $\rr$ 满足 $\mathrmλ_{\rr}=N(p-q-1)+p\rr>0$ 。此外，在条件 $|u|\in L_{\loc}^{\rr}(Ω_T)$ 成立的前提下，我们证明了当 $p=\frac{N(q+1)}{N+q+1}$ 且 $\frac{N+p}{N-p}<q<\frac{N+2}{N-2}$ 时， $$|Du|$$ 具有局部更高可积性。

Comment: 无

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

1. 研究对象和背景

本文研究对象为定义在空间时间柱体 $\Omega_T = \Omega \times (0, T) \subset \mathbb{R}^{N+1}$ 上的非齐次双非线性抛物型方程组：

\partial_t (|u|^{q-1}u) - \operatorname{div}(|Du|^{p-2}Du) = \operatorname{div}(|F|^{p-2}F)

其中 $u: \Omega_T \to \mathbb{R}^L$ 是未知向量值函数， $$Du$$ 为其空间梯度， $$F$$ 为非齐次项。该方程组兼具演化 $$p$$ -拉普拉斯方程（当 $$q=1$$ 时）与多孔介质方程（当 $$p=2$$ 时）的特征，其核心难点在于时间导数项的非线性 $\partial_t (|u|^{q-1}u)$ 与扩散项的非线性 $\operatorname{div}(|Du|^{p-2}Du)$ 之间的耦合效应。

在正则性理论中，关于弱解的局部有界性与梯度的更高可积性是核心问题。对于经典的 $$p$$ -拉普拉斯方程，DiBenedetto 等人在超临界情形 $p > \frac{2N}{N+2}$ 下建立了局部有界性；对于多孔介质方程，Gianazza 和 Vespri 等在 $m > \frac{N+2}{N-2}$ 的超临界范围内解决了相关问题。然而，在双非线性系统中，存在一个关键的“次临界”范围，即满足 $p \leq \frac{N(q+1)}{N+q+1}$ 的情形。在此范围内，传统的 De Giorgi 迭代或 Moser 迭代方法面临失效风险，因为解的自然能量空间可能不足以直接控制解的上确界，导致解可能出现奇异性。

尽管 Ciani, Vespri 和 Vestberg [8] 等人曾对部分双非线性方程进行过研究，但在次临界全范围内建立统一的定量有界性估计以及梯度更高可积性结果仍是一个未完全解决的空白。特别是，当 $$p < q+1$$ 时（即文中指出的双重奇异情形），方程的时间演化项与空间扩散项表现出不同的缩放行为，使得标准的内蕴圆柱构造变得复杂。本文旨在填补这一空白：在次临界范围 $p \leq \frac{N(q+1)}{N+q+1}$ 且 $0 < q < \frac{N+2}{N-2}$ 下，通过引入额外的积分假设 $|u| \in L_{\loc}^r(\Omega_T)$ ，证明弱解的局部有界性，并针对特定的临界参数关系 $p = \frac{N(q+1)}{N+q+1}$ 及 $q > \frac{N+p}{N-p}$ ，证明梯度 $$|Du|$$ 的局部更高可积性。这一工作将双非线性系统的正则性理论从超临界区域推进至次临界区域，揭示了额外可积性假设在克服次临界奇异性中的关键作用。

2. 主要定理或主要结果

本文主要建立了以下两个核心定理：

定理 2.2 (局部有界性定量估计)：设 $\sigma \in [\frac{1}{2}, 1)$ ， $1 < p \leq \frac{N(q+1)}{N+q+1}$ ， $\frac{1}{N-1} < q < \frac{N+2}{N-2}$ 。若 $$u$$ 是系统 (2.1)-(2.2) 的弱解，且满足额外可积性条件 $u \in L_{\loc}^r(\Omega_T, \mathbb{R}^L)$ ，其中指数 $$r$$ 满足 $\lambda_r := N(p-(q+1)) + rp > 0$ （等价于 $r > \frac{N(q+1-p)}{p}$ ）。则对于任意内蕴柱体 $Q_{\varrho, \theta}(z_0) \Subset \Omega_T$ ，解 $$u$$ 在缩小的柱体 $Q_{\sigma\varrho, \sigma\theta}(z_0)$ 上满足如下定量上界估计：

\sup_{Q_{\sigma\varrho, \sigma\theta}(z_0)} |u| \leq \max \left\{ \left[ C \frac{1}{(1-\sigma)^{N+p}} \left(\frac{\varrho^p}{\theta}\right)^{\frac{N}{p}} \fint_{Q_{\varrho, \theta}(z_0)} |u|^r \,dxdt \right]^{\frac{p}{\lambda_r}}, \left( \frac{\theta}{\varrho^p} \right)^{\frac{1}{q+1-p}}, \left[ \left( \frac{\theta}{\varrho^p} \right)^{\frac{m-N}{p}} \fint_{Q_{\varrho, \theta}(z_0)} |\varrho F|^p \,dxdt \right]^{\frac{p}{\lambda_m(q+1)}} \right\}

其中常数 $$C$$ 仅依赖于数据 $\{p, q, L, N, C_0, C_1, r\}$ ，且 $\lambda_m(q+1) = N(p-q-1) + m(q+1)p$ 。该结果表明，只要解具有足够的 $$L^r$$ 可积性，即可在次临界范围内获得 $L^\infty$ 局部有界性。

定理 2.3 (梯度更高可积性)：设 $\frac{N+p}{N-p} < q < \frac{N+2}{N-2}$ ，且参数处于临界情况 $p = \frac{N(q+1)}{N+q+1}$ 。若 $u \in L_{\loc}^r(\Omega_T, \mathbb{R}^L)$ 且 $\lambda_r > 0$ ，则存在 $\varepsilon \in (0, 1)$ （仅依赖于数据），使得梯度 $|Du| \in L_{\loc}^{p(1+\varepsilon)}(\Omega_T)$ 。具体地，对于任意柱体 $Q_{8R}(z_0) \Subset \Omega_T$ ，成立如下 Reverse Hölder 型不等式：

\fint_{Q_R(z_0)} |Du|^{p(1+\varepsilon)} \,dxdt \leq C \left[ \fint_{Q_{8R}(z_0)} \left( 1 + \frac{|u|^r}{R^r} \right) dxdt + \left( \fint_{Q_{8R}(z_0)} |F|^{pm} \,dxdt \right)^{\frac{1}{m}} \right]^{\frac{1+q}{\lambda_r}} \left( \fint_{Q_{2R}(z_0)} |Du|^p \,dxdt \right)^{\frac{2r}{N(q-1)p\varepsilon}} + C \left( \fint_{Q_{2R}(z_0)} |F|^{pm} \,dxdt \right)^{\frac{1+\varepsilon}{m}}

注：作者明确指出，由于技术原因，目前的高阶可积性结果仅限于上述特定参数范围 (1.5)，而非完整的次临界范围 (1.4)。

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

证明的核心障碍在于双非线性项导致的能量估计困难，特别是在处理时间导数项 $\partial_t(|u|^{q-1}u)$ 时，无法直接利用标准链式法则进行分部积分，且在不同 $$q$$ 值区间 ( $0<q\leq 1$ 与 $$q>1$$ ) 需要区分讨论以确立单调性。

广义 Caccioppoli 不等式的构建：作者首先通过时间平滑化（Mollification）技巧处理弱解形式，定义了时间平均量 $$[[u]]_h$$ 。关键在于构造特殊的测试函数 $\phi = u \Phi(|u|^2) \psi^p \chi_\delta$ ，其中 $\Phi$ 是非减、有界、Lipschitz 连续函数。通过精细的代数运算，证明了形如 $L = \langle A^q - B^q, A\Phi(|A|^2) - B\Phi(|B|^2) \rangle$ 的内积项非负。这一步骤严格区分了 $0 < q \leq 1$ 和 $$q > 1$$ 两种情形，利用了映射 $s \mapsto s^{1/q}\Phi(s^{2/q})$ 的单调性，从而克服了时间导数项带来的符号不确定性，导出了包含 $$|Du|^p$$ 和 $|u|^{1+q}$ 相关项的能量不等式。
Moser 迭代与内在圆柱的适配：为了在有界性证明中处理次临界情形，作者采用了 Moser 迭代法。难点在于确定合适的伸缩比例。由于 $p \neq q+1$ ，标准的抛物型尺度不再适用。作者引入了带有两个参数 $\lambda$ 和 $\theta$ 的内在圆柱 $Q(\lambda, \theta)_\varrho(z_0)$ ，其中空间半径由 $\lambda^{\frac{p-2}{1+q}}\theta^{\frac{1-q}{1+q}}\varrho$ 决定，时间长度由 $\varrho^{1+q}$ 决定。这种构造使得圆柱能够自适应解的大小：参数 $\theta$ 通过耦合 $\fint |u|^r \approx \theta^r$ 反映解的振幅，参数 $\lambda$ 通过耦合 $\fint |Du|^p \approx \lambda^p$ 反映梯度的大小。在此基础上，作者建立了反向 Hölder 不等式，并通过迭代过程逐步提升解的可积性直至 $L^\infty$ 。
改进的停止时间论证与 Gehring 引理：在证明更高可积性时，面对次临界范围内的奇异性，作者改进了停止时间（stopping time）论证策略。由于 $$p < 2$$ 且 $$q > 1$$ （双重奇异情形），内在圆柱的几何结构更加复杂。作者通过构造特定的截断函数序列，并利用改进后的 Caccioppoli 不等式，在内在圆柱上建立了梯度 $$|Du|$$ 的反向 Hölder 不等式。随后，应用 Gehring 引理（Gehring’s Lemma）将局部的 $$L^p$$ 可积性提升为 $L^{p(1+\varepsilon)}$ 。这一过程的创新点在于精确控制了内在圆柱参数 $\lambda$ 和 $\theta$ 之间的依赖关系，确保了在次临界条件下误差项不会破坏迭代的收敛性。
技术限制与未来方向：证明框架清晰地指出，当前的高阶可积性结果仅在 $p = \frac{N(q+1)}{N+q+1}$ 且 $q > \frac{N+p}{N-p}$ 时成立。这是因为在更广泛的次临界范围内，定量有界性估计中的某些项难以被有效控制，导致无法构造出所需的内在圆柱。作者承认这是当前的技术瓶颈，留待未来研究。

4. 与之前工作的比较

本文与既有文献相比，主要在以下几个方面取得了推进与差异：

从超临界到次临界的跨越：既往工作如 DiBenedetto [9], Kinnunen & Lewis [16, 17] 主要针对 $$p$$ -拉普拉斯方程在超临界范围 $p > \frac{2N}{N+2}$ 下的正则性。对于双非线性系统，Bögelein, Duzaar, Kinnunen & Scheven [1] 及 Moring, Schätzler & Scheven [18] 的研究主要集中在 $p > \frac{N(q+1)}{N+q+1}$ 的超临界区域。本文首次将局部有界性和更高可积性的研究范围扩展到了完整的次临界区域 $p \leq \frac{N(q+1)}{N+q+1}$ 。这一扩展并非简单的推广，而是必须引入新的假设——即解本身需具备额外的 $$L^r$$ 可积性（ $r > \frac{N(q+1-p)}{p}$ ），这在物理上对应于对初值或解的整体性质施加了更强的约束，以补偿次临界带来的正则性损失。
对双重奇异情形的处理：在 $$p < 2$$ 且 $$q > 1$$ 的双重奇异情形下，方程的时间演化项比扩散项更“强”，这与传统的超临界情形（通常 $p \geq 2$ 或 $$q$$ 较小）截然不同。之前的文献 [6, 18] 虽然涉及了部分双非线性系统，但并未完全解决次临界范围内的梯度更高可积性问题。本文通过精细调整内在圆柱的参数耦合机制，成功处理了这一特殊情形，证明了在 $p = \frac{N(q+1)}{N+q+1}$ 时的梯度提升结果。相比之下，[4] 针对多孔介质方程子临界情形的研究虽然类似，但本文在处理一般化的双非线性耦合项（ $$p$$ 与 $$q$$ 独立变化）时提供了更通用的分析框架。
假设条件的放宽与代价：与 [8] 相比，本文不仅确认了局部有界性，还给出了定量的上界公式 (2.4)，明确了边界项、源项 $$F$$ 以及初始数据对解的直接影响。同时，本文在更高可积性方面，相较于 [12] 对 $$p$$ -拉普拉斯方程的结果，将其推广到了双非线性系统，但代价是适用范围被限制在特定的临界线 $p = \frac{N(q+1)}{N+q+1}$ 附近以及 $$q$$ 的下界 $\frac{N+p}{N-p}$ 之上。作者明确指出，目前尚未能证明全范围 (1.4) 内的更高可积性，这反映了次临界问题的复杂性远超超临界情形。
方法论的深化：本文在证明技术上也超越了简单引用前人结果。例如，在处理时间导数项的符号问题时，作者重新推导了适用于任意 $$q>0$$ 的向量不等式，修正了以往研究中可能隐含的 $$q$$ 值限制。此外，通过引入双参数内在圆柱，本文提供了一种更灵活的分析工具，能够适应不同 $$p, q$$ 组合下的尺度变化，为后续研究其他类型的非标准增长方程提供了参考范式。

6. 混合边界条件下混合椭圆问题的一个特征值定理

A sharp eigenvalue theorem for mixed elliptic problems under mixed boundary conditions

作者: Giovanni Molica Bisci, Lovelesh Sharma

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19641v1

摘要翻译: 本文研究一类在混合边界条件下涉及局部与非局部算子的特征值问题，即经典拉普拉斯算子与分数阶拉普拉斯算子。更确切地说，我们考虑如下问题：

Comment: 无

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

1. 研究对象和背景

本文研究一类涉及局部与非局部算子的本征值问题，具体方程为：

\begin{cases} \mathcal{L}u = \lambda f(u), & u > 0 \quad \text{in } \Omega, \\ u = 0 & \text{in } U^c, \\ \mathcal{N}_s(u) = 0 & \text{in } \mathcal{N}, \\ \frac{\partial u}{\partial \nu} = 0 & \text{on } \partial\Omega \cap \overline{\mathcal{N}}, \end{cases}

其中 $U = \Omega \cup \mathcal{N} \cup (\partial\Omega \cap \overline{\mathcal{N}})$ ， $\Omega \subseteq \mathbb{R}^n$ 是具有光滑边界的有界开集， $\lambda > 0$ 为实参数， $$f$$ 是满足 $$f(0)=0$$ 的连续函数。关键算子定义为混合局部 - 非局部算子：

\mathcal{L} = -\Delta + (-\Delta)^s, \qquad s \in (0, 1).

该问题的设定结合了经典的 Dirichlet 边界条件（在 $$U^c$$ 上）和 Neumann 边界条件（在 $\partial\Omega \cap \overline{\mathcal{N}}$ 上），并引入了分数阶 Laplacian $(-\Delta)^s$ 的非局部效应。此类混合算子在最优搜索理论、生物数学及动物觅食模型中自然出现，用于描述同时具有局部扩散和非局部跳跃效应的物理现象（如双模态幂律分布系统）。尽管近年来关于混合算子的椭圆问题已有不少研究（如 Giacomoni 等人 [16] 研究了第一特征值的存在性及其定性性质，Mukherjee 等人 [17] 探讨了凹 - 凸问题），但针对此类混合边界条件下混合算子的精确特征值刻画定理尚属空白。

本文旨在填补这一空白，建立类似于经典椭圆框架（由 Molica Bisci 和 Rădulescu [9] 发展）的特征值刻画结果。核心未知量是正弱解的存在性及其随参数 $\lambda$ 的变化行为，特别是当非线性项 $$f$$ 在原点附近具有次线性增长时，解的存在区间与第一特征值 $\lambda_1(D)$ 之间的精确关系。已有理论多集中于纯局部或纯非局部情形，或仅处理单一类型的边界条件，而本文试图在更一般的混合设置下，利用变分方法建立解存在的充要条件。

2. 主要定理或主要结果

作者证明了以下主要定理（Theorem 2.4），建立了非线性项性质与解存在性之间的等价关系：

设 $f: [0, +\infty) \to [0, +\infty)$ 为连续函数且 $$f(0)=0$$ 。假设存在 $$a > 0$$ 使得函数

h(\xi) := \frac{F(\xi)}{\xi^2}, \quad \xi > 0,

其中 $F(\xi) = \int_0^\xi f(t) dt$ ，在区间 $$(0, a]$$ 上非增。定义 $\Theta := \sup \{ \eta > 0 : h \text{ 在 } (0, \eta] \text{ 上非增} \} \in (0, +\infty]$ 。

则以下条件等价：

(h1) 函数 $$h$$ 在任何区间 $(0, \sigma]$ ( $\sigma > 0$ ) 上不是常数。

(h2) 若 $\lim_{\xi \to 0^+} h(\xi) < +\infty$ ，则对任意 $$r > 0$$ ，存在 $\varepsilon_r > 0$ ，使得对于所有

\lambda \in \left( \frac{\lambda_1(D)}{2 \lim_{\xi \to 0^+} h(\xi)}, \frac{\lambda_1(D)}{2 \lim_{\xi \to 0^+} h(\xi)} + \varepsilon_r \right),

问题 $(P_\lambda)$ 存在弱解 $u_\lambda \in X^{1,2}_D(U)$ 满足范数估计 $\eta(u_\lambda) < r$ 。

( $$h^*_2$$ ) 若 $$f$$ 是次临界的（subcritical），且 $\lim_{\xi \to 0^+} h(\xi) > 0$ ，则对任意 $$r > 0$$ ，存在开区间 $J_r \subset (0, +\infty)$ ，使得对每个 $\lambda \in J_r$ ，问题 $(P_\lambda)$ 存在弱解 $u_\lambda \in X^{1,2}_D(U)$ 满足 $\eta(u_\lambda) < r$ 。

此外，若 $\lim_{\xi \to 0^+} h(\xi) = +\infty$ ，则条件 (h2) 简化为：对任意 $$r > 0$$ ，存在 $\varepsilon_r > 0$ ，使得对所有 $\lambda \in (0, \varepsilon_r)$ ，问题 $(P_\lambda)$ 存在弱解 $u_\lambda \in X^{1,2}_D(U)$ 满足 $\eta(u_\lambda) < r$ 。

这里 $\lambda_1(D)$ 是线性问题 $(Q_\lambda)$ 的第一特征值，定义为：

\lambda_1(D) = \inf_{u \in X^{1,2}_D(U)\setminus\{0\}} \frac{\int_\Omega |\nabla u|^2 dx + \iint_Q \frac{|u(x)-u(y)|^2}{|x-y|^{n+2s}} dxdy}{\int_\Omega |u|^2 dx}.

结论表明，只要非线性项在原点附近满足特定的单调性条件（即 $F(\xi)/\xi^2$ 非增且不恒为常数），即可保证在特征值 $\lambda_1(D)$ 附近的特定区间内存在小范数的正弱解。

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

证明的核心障碍在于混合算子 $\mathcal{L} = -\Delta + (-\Delta)^s$ 同时具有局部梯度和非局部奇异积分结构，且边界条件在 $\partial\Omega$ 上分裂为 Dirichlet 和 Neumann 类型，导致标准的紧性论证和最大值原理的应用变得复杂。作者的真正创新点在于将 Ricceri 的临界点定理框架与混合算子的正则性理论相结合，构建了一个适用于混合边界条件的变分分析体系。

关键技术细节如下：

泛函框架的构建：定义了合适的 Hilbert 空间 $X^{1,2}_D(U) = \{ u \in H^1(\mathbb{R}^n) : u|_U \in H^1_0(U), u \equiv 0 \text{ a.e. in } U^c \}$ ，并引入了能量范数 $\eta(u)^2 = \|\nabla u\|_{L^2(\Omega)}^2 + [u]_s^2$ 。通过 Poincaré 型不等式（Proposition 2.1）证明了该范数与 $$H^1$$ 范数的等价性，从而确保了空间的完备性。关键在于利用了部分 Dirichlet 边界条件来控制 $$L^2$$ 范数，克服了纯 Neumann 情形下的零模问题。
能量泛函的性质分析：构造能量泛函 $J_\lambda(u) = \frac{1}{2}\eta(u)^2 - \lambda \int_\Omega F(u) dx$ 。证明的关键步骤包括：
- 弱下半连续性：利用 Sobolev 嵌入 $X^{1,2}_D(U) \hookrightarrow L^q_{loc}(\mathbb{R}^n)$ 和 Lebesgue 控制收敛定理，证明了非线性项积分映射 $u \mapsto \int_\Omega F(u) dx$ 在弱拓扑下是连续的（Lemma 2.5）。这依赖于 $$F$$ 的二次增长条件 $|F(t)| \le \theta t^2 + t_0$ 。
- 强制性（Coercivity）：通过假设 $h(\xi)$ 的非增性导出 $$f$$ 的次线性增长估计 $f(\xi) \le 2\theta |\xi| + \gamma$ ，进而证明当 $\lambda$ 小于某个阈值时，泛函 $J_\lambda$ 是强制的，即 $J_\lambda(u) \to +\infty$ 当 $\eta(u) \to +\infty$ 。
极小化路径的构造：为了证明存在非平凡解，作者选取了第一特征函数 $\phi_s$ 作为测试函数。利用条件 (h1)（ $$h$$ 不恒为常数），构造了一族缩放函数 $t\phi_s$ ，并证明了在 $t \to 0$ 时，泛函沿此路径的值趋于负无穷（或至少小于零），即 $\inf J_\lambda < 0$ 。这一步骤巧妙地避开了对 $$f$$ 在无穷远处增长性的要求，仅需原点附近的局部性质。
极限过程的精细估计：在证明解序列 $u_{\lambda_j}$ 当 $\lambda_j \to \mu_0$ 时趋于零的过程中，作者使用了反证法。假设极限解 $u_\infty \neq 0$ ，通过取极限得到 $u_\infty$ 是线性问题的解，并利用 $\lambda_1(D)$ 的定义导出矛盾。这一过程严格区分了 $\lim_{\xi \to 0^+} h(\xi)$ 有限与无限两种情况，展示了分析技巧的严密性。
最大值原理的应用：引用文献 [16] 中的最大值原理，确保得到的弱解 $u_\lambda$ 在 $$U$$ 内几乎处处为正，从而验证了原问题 $(P_\lambda)$ 的正解要求。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上实现了推进：

算子结构的推广：以往工作如 Giacomoni 等人 [16] 虽然也研究了混合局部 - 非局部算子，但主要集中在特征值的存在性和定性性质（如几何依赖性），未给出像本文这样精确的特征值存在区间刻画。Brezis 和 Oswald [11] 的经典工作针对纯 Laplace 算子，要求 $$f(u)/u$$ 递减；而本文放宽了这一条件，仅需 $F(\xi)/\xi^2$ 在原点附近非增且不恒为常数，这使得结果适用于更广泛的非线性项（例如 $$f(u) = u^p$$ 其中 $p \in (0, 1]$ ，甚至包含某些振荡行为但仍满足平均非增性质的函数）。
边界条件的复杂性：既有文献多处理全 Dirichlet 或全 Neumann 边界条件。本文明确处理了混合 Dirichlet-Neumann 边界条件，这在物理上对应于部分区域固定、部分区域绝缘的复杂场景。这种混合边界条件导致了解空间 $X^{1,2}_D(U)$ 的结构更加复杂，需要重新建立 Poincaré 不等式和紧性嵌入，这是本文区别于 [16, 17] 的关键技术难点之一。
存在区间的精确性：与 Mukherjee 等人 [17] 研究的凹 - 凸问题不同，本文的结果不依赖于 $$f$$ 在无穷远处的渐近行为（即不需要 superlinear 或 sublinear 的全局条件），而是完全由 $$f$$ 在原点附近的局部性质决定。这极大地降低了应用门槛，特别是在处理物理上常见的具有奇异性或饱和效应的非线性项时更为有效。文中明确指出，在混合算子和混合边界条件下，局部性质足以保证解的存在，这是对传统全局增长条件依赖的重大突破。
代价与局限：本文的代价在于对非线性项 $$f$$ 施加了严格的单调性约束（ $F(\xi)/\xi^2$ 非增），这排除了某些快速振荡或非单调增长的非线性项。此外，结果仅在 $\lambda$ 靠近 $\lambda_1(D)/2\lim h(\xi)$ 的小邻域内成立，未能覆盖大参数情形。然而，这种“局部决定整体”的特性正是其在混合算子理论中的重要价值所在，为后续研究更复杂的 bifurcation 现象提供了基础框架。

总体而言，本文通过将 Ricceri 的抽象临界点定理适配到混合局部 - 非局部算子的具体框架中，成功地将经典椭圆理论中的 sharp eigenvalue theorem 扩展到了更复杂的混合边界和非局部环境中，填补了该领域的一个关键理论空白。

7. 跑动-翻滚模型中的边界层与消失扩散性

Boundary layers and vanishing diffusivity in run-and-tumble models

作者: Dallas Albritton, Laurel Ohm, Timur Yastrzhembskiy

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.20249v1

摘要翻译: 受限活性物质系统的一个显著特征是运动粒子倾向于在固体边界附近聚集。在各种具有无通量边界条件的线性模型中，这种聚集是通过在小粒子扩散性 $$κ$$ 下形成尖锐的边界层来实现的。在本文中，我们首次对受限活性物质背景下的非线性边界层进行了严格研究。具体而言，我们考虑了一族在半直线 $ext{ extbackslash mathbb extbackslash R extbackslash_+}$ 上具有非线性平流和翻滚的一维跑动-翻滚模型。我们严格证明了消失扩散性极限，并给出了定量收敛速率。在极限系统中，边界质量作为一个新变量出现，该变量满足一个非线性常微分方程（ODE），并通过动态边界条件与偏微分方程（PDE）耦合。有趣的是， $$κ= 0$$ 处的边界非线性无法在不参考 $$κ extbackslash ll 1$$ 时的边界层分析的情况下获得。数值上，这些模型表现出丰富的行为，包括边界层中的相变和滞后现象。

Comment: 57 pages, 3 figures

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

1. 研究对象和背景

本文研究对象为受限活性物质系统中的跑动 - 翻滚（run-and-tumble）模型，这类模型是描述细菌群游、主动布朗粒子等活性物质的简化动力学框架。在低扩散率极限下，由于无通量边界条件的存在，运动粒子倾向于在固体壁面附近积聚，形成宽度为 $O(\kappa)$ 的尖锐边界层，其中 $\kappa$ 为粒子扩散系数。传统的线性模型（如 Goldstein-Taylor 模型或广义电报方程）已揭示了这一现象，但关于非线性效应下的边界层结构及其在扩散系数趋于零时的严格渐近行为尚缺乏系统理论。

具体而言，作者考虑定义在半直线 $\mathbb{R}_+ = \{x > 0\}$ 上的一维跑动 - 翻滚模型族，其控制方程组如下：

\begin{aligned} \partial_t c_+ + \partial_x((V + \beta_+)c_+) &= \kappa \partial_{xx}^2 c_+ + f(c_+, c_-), \\ \partial_t c_- + \partial_x((V - \beta_-)c_-) &= \kappa \partial_{xx}^2 c_- - f(c_+, c_-). \end{aligned}

其中 $$c_+(x,t)$$ 和 $$c_-(x,t)$$ 分别表示向右和向左运动的粒子浓度， $\beta_\pm > 0$ 为推进速度， $$V(x,t)$$ 为由非局部相互作用生成的宏观速度场， $$f(c_+, c_-)$$ 为非线性翻滚项（orientation-reversal rate）。边界条件为无通量型：

(V + \beta_+)c_+ - \kappa \partial_x c_+ = 0, \quad (V - \beta_-)c_- - \kappa \partial_x c_- = 0 \quad \text{at } x=0.

当 $\kappa \to 0^+$ 时，线性情形下的极限系统表现为“粘滞”边界条件，即边界质量 $$b_-(t)$$ 作为一个新变量满足常微分方程，并与外部 PDE 通过动态边界条件耦合。然而，当引入非线性翻滚率 $$r(u)$$ （依赖于相遇概率）和非局部速度场 $V[\rho]$ （ $\rho = c_+ + c_-$ ）时，边界层的结构变得极其复杂。特别是，非线性翻滚导致边界处的 ODE 具有非线性特征，且该非线性无法仅从 $\kappa=0$ 的极限方程中直接推导，必须依赖 $\kappa \ll 1$ 时的边界层分析。

本文试图填补的空白在于：首次针对此类包含非线性对流和翻滚的活性物质模型，严格证明扩散系数消失极限的存在性，给出定量收敛速率，并阐明边界层如何转化为动态边界条件中的非线性源项。这一问题的重要性在于，它连接了微观随机游走模型与宏观连续介质力学描述，揭示了活性物质在受限几何中相变与滞后效应的数学起源。

2. 主要定理或主要结果

本文的核心成果体现在定理 1.1 中，该定理建立了在有界时间区间内，扩散系统与无扩散（inviscid/infinite speed）极限系统之间的强收敛性。

主要假设：

核函数 $$K(x,y)$$ 满足光滑性 $C^\infty([0,+\infty)^2)$ 及代数衰减条件： $\exists \eta > 0$ 使得 $|\partial_x^i \partial_y^j K(x,y)| \lesssim \langle x-y \rangle^{-\eta}$ 。
翻滚率函数 $$f(c_+, c_-)$$ 具有形式 $$-c_- r(c_-) + c_+ r(c_+)$$ ，其中 $$r(u)$$ 为正光滑饱和函数，且所有阶导数有界。
分为两种情形处理：
- 情形 1：翻滚率为常数 $r \equiv r_0$ 。
- 情形 2：速度场在边界处为零，即 $V|_{x=0} = 0$ （通常由对称核 $$K(0,y)=0$$ 保证）。
初始数据 $c_\pm^{in} \in W^{2,1}(\mathbb{R}_+)$ 满足相容性条件，且初始边界质量 $b_-^{in} = 0$ 。

主要结论：设 $(c_\pm^{inv}, b_-)$ 为极限系统（对应 $\kappa=0$ ）在最大存在区间 $$[0, T^*)$$ 上的解， $(c_\pm^\kappa)$ 为原扩散系统的解。则对于任意 $T \in (0, T^*)$ 和 $\theta \in (0,1]$ ，存在常数 $C_{\theta,T}$ 使得：

\sup_{t \in [0,T]} \| c_\pm^\kappa - \mu_\pm^{inv} \|_{FM(\mathbb{R}_+)} \le C_{\theta,T} \kappa^{1-\theta},

其中 $\mu_+^{inv} = c_+^{inv} dx$ ， $\mu_-^{inv} = c_-^{inv} dx + b_-(t)\delta_0(x)$ 。这里 $\|\cdot\|_{FM}$ 为 Fortet-Mourier 范数（等价于弱收敛度量）， $\delta_0$ 为原点处的 Dirac 测度。

近似解构造与误差估计：作者通过匹配渐近展开构造了近似解 $c_\pm^{app}$ ，并证明了：

在情形 2 下： $\sup_{t \in [0,T]} \| c_\kappa - c_\pm^{app} \|_{L^1(\mathbb{R}_+)} \lesssim \kappa^{1-\theta}$ 。
在情形 1 下： $\sup_{t \in [0,T]} \| c_\kappa - c_\pm^{app} \|_{FM(\mathbb{R}_+)} \lesssim \kappa^{1-\theta}$ 。

边界层结构与动态边界条件：极限系统中，边界质量 $$b_-(t)$$ 满足非线性常微分方程。特别地，在情形 2（ $V|_{x=0}=0$ ）下，边界条件涉及一个称为“入射 ODE”（incoming ODE）的非线性边值问题：

\gamma \partial_X A - \partial_{XX}^2 A = q e^{-\nu X} r(A), \quad (\gamma - \partial_X)A|_{X=0} = 0,

其中 $X=x/\kappa$ 为拉伸变量， $q(t) = (\beta_- - V|_{x=0})b_-(t)$ 。边界上的浓度关系由该 ODE 在无穷远处的极限值 $c_\infty(q, \gamma, \nu) = \lim_{X\to\infty} A(X)$ 决定：

c_+|_{x=0} = c_\infty(\beta_- b_-, \beta_+, \beta_-), \quad \dot{b}_- = -\beta_+ c_\infty(\beta_- b_-, \beta_+, \beta_-) + \beta_- c_-|_{x=0}.

数值模拟表明，对于某些非线性参数，该入射 ODE 可能出现多重解，导致相变和滞后现象，暗示极限系统可能具有记忆效应。

守恒律验证：总质量守恒在极限系统中依然成立：

\frac{d}{dt}\left(b_- + \int_{\mathbb{R}_+} \rho dx\right) = 0.

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

本文证明的核心技术障碍在于：当扩散系数 $\kappa \to 0$ 时，边界层内的导数项 $\partial_x c_\pm^{app}$ 呈现 $O(1/\kappa)$ 的量级，这导致在能量估计中出现形如 $(V^\kappa - V^{app})\partial_x c_\pm^{app}$ 的项。由于 $\partial_x c_\pm^{app}$ 符号不定且幅值巨大，标准能量方法无法直接控制误差增长，甚至可能导致估计失效。

创新点一：累积变量变换（Cumulative Variable Transformation） 针对情形 1（常数翻滚率），作者巧妙地引入了累积变量 $m_\pm(x,t) = \int_0^x c_\pm(y,t) dy$ 。这一变换将原本对 $c_\pm$ 的高阶导数估计转化为对 $m_\pm$ 的低阶估计。在新的变量下，方程变为：

\partial_t m_+ + (V + \beta_+)\partial_x m_+ = \kappa \partial_{xx}^2 m_+ - r_0(m_+ - m_-),

边界条件变为齐次 Dirichlet 条件 $m_\pm|_{x=0} = 0$ 。关键优势在于， $\partial_x m_\pm = c_\pm$ ，而 $c_\pm$ 在 $$L^1$$ 意义下是受控的（尽管在边界层内有尖峰，但其积分有限）。更重要的是，误差项中的导数部分变为 $\partial_x m_\pm^{app}$ ，其在 $$L^1$$ 范数下有界（ $\|\partial_x m_\pm^{app}\|_{L^1} \lesssim 1$ ），从而消除了 $1/\kappa$ 的奇异性。这种从密度到分布函数的视角转换，利用了概率论中累积分布函数的稳定性，是克服边界层奇异性的一大创新。

创新点二：匹配渐近展开与残差估计 作者构建了精细的近似解 $c_\pm^{app}$ ，采用外解（outer solution）与内解（inner solution/boundary layer）匹配的方法。在边界层区域 $X = x/\kappa$ ，通过伸缩变量将 PDE 转化为 ODE 主导的形式。内解展开式为：

C_-(X,t) = \frac{1}{\kappa}C_-^{(0)} + C_-^{(1)}, \quad C_+(X,t) = C_+^{(1)},

其中主导项 $C_-^{(0)} = q(t)e^{(V|_{x=0}-\beta_-)X}$ 捕获了边界层的主要质量。通过精确计算匹配项 $C^{(1)}$ ，确保了内解与外解在过渡区的平滑衔接。随后，作者定义了残差 $e_\kappa = c_\kappa - c_\kappa^{app}$ ，并利用上述变换后的方程结构，结合 Gronwall 不等式，严格控制了残差的 $$L^1$$ 或 Fortet-Mourier 范数。

创新点三：入射 ODE 的可解性分析 为了确定边界条件的具体形式，作者深入分析了“入射 ODE”：

\gamma \partial_X A - \partial_{XX}^2 A = q e^{-\nu X} r(A), \quad (\gamma - \partial_X)A|_{X=0} = 0.

这是一个非线性的半直线上边值问题。作者证明了在参数 $$q$$ 较小时解的唯一性与光滑依赖性，并指出当 $$q$$ 增大时可能出现分岔（bifurcation）。这一分析不仅提供了极限系统边界条件的显式表达式，还揭示了非线性翻滚率如何改变边界层的物理结构——即边界质量不再仅仅是一个简单的“储存池”，而是通过非线性 ODE 与内部状态发生复杂的反馈耦合。

分析框架推进：整个证明框架并未停留在形式化的渐近展开，而是通过构造显式的近似解并量化其与真实解的距离，实现了从“启发式推导”到“严格证明”的跨越。特别是在处理非线性速度场 $V[\rho]$ 时，利用核函数的光滑性和衰减性，保证了速度场的 Lipschitz 连续性，从而使得能量估计中的非线性项可被吸收。

技术细节补充：

对于情形 2（ $V|_{x=0}=0$ ），由于速度在边界消失，部分奇异性自然减弱，但仍需精细处理 $$V$$ 与 $c_\pm$ 的耦合项。
收敛速率 $\kappa^{1-\theta}$ 并非最优的 $\kappa$ 阶，这是由于在能量估计中需要平衡高阶导数项与低阶项的权衡，以及避免在极端小 $\kappa$ 下出现数值不稳定。作者承认这是目前方法的限制，但足以确立极限的存在性。
文中明确区分了严格证明的结论（收敛性、唯一性）与数值观察到的现象（多解性、滞后），后者作为未来方向提出，未纳入主定理。

4. 与之前工作的比较

本文与既有文献相比，在多个维度上实现了显著推进，同时也明确了自身的适用范围与代价。

1. 从线性到非线性的跨越 既往研究（如文献 [2, 3, 8, 9, 10] 中提到的工作）主要集中在线性翻滚率（ $r \equiv const.$ ）和线性速度场的情形。在这些工作中，边界条件可以通过形式上的“猜测”或简单的量纲分析直接获得，例如经典的 Telegrapher 方程极限。本文突破了这一局限，首次处理了非线性翻滚率 $$r(c)$$ 和非局部速度场 $V[\rho]$ 的情形。关键区别在于：在线性情形下，边界 ODE 的系数是显式的；而在非线性情形下，边界条件中的函数 $c_\infty$ 必须通过求解一个非线性的“入射 ODE”来确定。正如作者在引言中强调：“非线性边界条件在 $\kappa=0$ 时无法在不参考 $\kappa \ll 1$ 边界层分析的情况下获得”。这意味着之前的启发式方法在此失效，必须建立严格的边界层理论。

2. 收敛速率与范数的选择 许多关于奇异摄动问题的文献仅证明了弱收敛（ $c_\kappa \rightharpoonup c_{inv}$ ）或 $$L^1$$ 收敛，但未给出明确的收敛速率。本文给出了定量的收敛速率 $O(\kappa^{1-\theta})$ ，这在活性物质模型的数学分析中是罕见的。此外，作者敏锐地意识到在边界层附近使用标准的 $$L^1$$ 范数对 $c_\pm$ 本身并不稳定（因为 Dirac 测度的逼近在 $$L^1$$ 中表现不佳），因此引入了 Fortet-Mourier 范数（或累积变量法）来统一处理测度值解的收敛问题。这与传统守恒律激波理论中使用的 $$L^1$$ 稳定性分析有所不同，更贴合概率测度收敛的物理图像。

3. 处理机制的差异：累积变量 vs 能量估计 在处理边界层奇异性时，传统方法（如 viscous shock 理论）常依赖谱稳定性分析（Evans function）或复杂的能量估计。本文在情形 1 中采用了独特的累积变量变换 $m_\pm = \int c_\pm$ 。这一技巧将 $1/\kappa$ 的奇异性转化为 $$L^1$$ 有界性，避免了直接对 $c_\pm$ 进行高阶估计。相比之下，之前的工作若处理类似问题，往往受限于能量估计的刚性，难以处理如此强烈的边界层梯度。这种方法论的创新使得本文能够处理更广泛的非线性结构。

4. 适用范围与代价 本文的严格证明目前仅限于两种特定情形：

情形 1：翻滚率为常数，允许 $V|_{x=0} \neq 0$ 。
情形 2：翻滚率非线性，但强制要求 $V|_{x=0} = 0$ 。

局限性：作者明确指出，当 $V|_{x=0} \neq 0$ 且翻滚率非线性时，现有的能量方法似乎不足以处理 $$V$$ 与 $c_\pm$ 耦合带来的额外奇异性。此外，当速度场在边界处发生“开关”（switching，即 $V|_{x=0} \pm \beta_\mp$ 改变符号）时，边界层结构可能发生突变（如质量进入体域或形成新的 pinned mass），目前的理论尚未覆盖这一动态过程。

与数值结果的对比 本文通过数值模拟揭示了入射 ODE 的多解性（分岔与滞后），这与前人的线性理论预测截然不同。前人工作（如 [35]）虽然观察到类似现象，但缺乏数学上的解释框架。本文不仅确认了这一现象，还将其归因于非线性 ODE 的结构，为未来研究活性物质中的记忆效应和相变提供了理论基础。

中文标题: 通过移动希尔涡旋实现三维纳维 - 斯托克斯方程的柔性

摘要翻译: 我们在环面上构造了三维不可压缩纳维 - 斯托克斯方程的弱解。该凸积分方案基于 Bruè、Colombo 和 Kumar~\cite{BrueColomboKumar2024} 的移动偶极子构造。对于显式指数 $\bar p=\frac65+5\times10^{-5}$ ，以及 $L^2(\mathbb T^3)$ 中的任意两个均值为零且无散度的向量场，我们构造了一个弱解，其在时刻 $$0$$ 和 $$1$$ 的迹以任意精度逼近给定的向量场，并且满足

中文标题: 流形上一类 p-Laplace 型方程的 Liouville 定理

摘要翻译: 我们在具有Ricci曲率满足 $$ abla ext{Ric} i (n-1)g$$ 条件的闭 $$n$$ 维黎曼流形 $$(M,g)$$ 上研究一类 $$p$$ -Laplace 方程

Δ_p u-λu^{p-1}+ u^{q-1}=0

。对于 $$1<p<2$$ , $$p<q<p^*$$ , 且 $0<λ<S_{p,q}^{-1}$ ，其中

S_{p,q}= rac{q-p}{2}( rac p n)^{ rac p 2}igg( rac{(p^*-1)^2(2-p)}{(p_*-1)(q-1)(p^*-q)}igg)^{ rac{2-p}{2}},

这里 $p_*= rac{(n-1)p}{n-p}$ 和 $p^*= rac{np}{n-p}$ ，我们证明了常数 $λ^{ rac{1}{q-p}}$ 是该方程唯一的正解。相比之下，对于 $$p>2$$ 且 $$p<q<p^*$$ 的情况，对于任意 $$λ>0$$ ，唯一性均不成立；除了常数解之外，该方程还存在一个正的非常数解。这一结果回答了 Véron 在 ibcite{Ver92} 中提出的问题。

20. 质量临界Gross-Pitaevskii系统非平凡归一化解的拓扑度与存在性

Topological degree and existence of nontrivial normalized solutions for mass-critical Gross-Pitaevskii systems

作者: Fengshuang Gao, Yuxia Guo, Shusen Yan, Weilin Yu

类别: math.AP

发布日期: 2026-08-20

arXiv ID: 2608.19663v1

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

摘要翻译

中文标题: 质量临界Gross-Pitaevskii系统非平凡归一化解的拓扑度与存在性

摘要翻译: 本文研究如下涉及质量临界指数的Gross-Pitaevskii系统非平凡解的存在性：

\left\{ \begin{array}{ll} -Δu_{1}+V_1(x)u_{1}=a_{1}u_{1}^3+βu_{1}u_{2}^2+μu_{1}& \hbox{ in }Ω,\\ -Δu_{2}+V_2(x)u_{2}=a_{2}u_{2}^3+βu_{2}u_{1}^2+μu_{2}&\hbox{ in }Ω,\\ u_{1},u_{2}\ge 0 &\hbox{ in }Ω,\\ u_1=u_2=0 &\hbox{ on }\partialΩ, \end{array}\right.

并满足约束条件

中文标题: 双曲区域上临界Dirichlet问题中拓扑对爆破的影响： $$3 ext{ extbackslash{}leq} N ext{ extbackslash{}leq}5$$

摘要翻译: 设 $\Omega\Subset\mathbb H^N$ ，其中 $N\in\{3,4,5\}$ ，是一个有界连通 $$C^2$$ 区域。我们证明了纯临界Dirichlet问题

中文标题: 凸曲线与曲面的加权周长与 p 阶惯性矩

摘要翻译: 我们研究 $$ abla^2$$ 中一类凸体的形状优化问题，即在标准周长约束下最小化或最大化形如 $\int_{\partial\Omega} \phi(|x|) \, \mathrm{d} H^{n-1}(x)$ 的加权周长。对于任意维度和一般权函数，我们证明了极值体的存在性。在二维情形下，我们证明：在满足对称假设的凸曲线中，对于一大类权函数（包括 $$|x|^p$$ 其中 $p \in (0,2]$ 以及 $|x|^{-\alpha}$ 其中 $\alpha\in (0,1)$ ），退化针状构型 $(-a,a)\times \{0\} \subset \mathbb{R}^2$ 是优化器。

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

1. 关于粘弹性穆林斯-塞克斯塔系统#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. Lipschitz 上图像锥中奇异方程 $-Δu=f(X) cdot u^{-γ}$ 的全局解分类#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 一维可压缩范德瓦耳斯流体共存相变容许解的稳定性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 障碍问题的平均曲率界#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 次临界双重非线性抛物型方程组的局部有界性与更高可积性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 混合边界条件下混合椭圆问题的一个特征值定理#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

7. 跑动-翻滚模型中的边界层与消失扩散性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 非紧对称空间上等变伪微分算子的完整符号#

摘要翻译#

2. 到球面的稳定调和映射的最优正则性#

摘要翻译#

3. 具有球面波参考的两点相位恢复#

摘要翻译#

4. 确定性随机最大正则性的必要条件#

摘要翻译#

5. 关于耦合流体渗透与水合反应问题的封闭解#

摘要翻译#

6. 确定一维时空下某些非线性偏微分方程初等解的嵌套导数判据#

摘要翻译#

7. 关于严格凸解的指定曲率商方程的内蕴曲率估计注记#

摘要翻译#

8. 在 $ abla^3$ 上发现的 AI 平滑随机快发电机#

摘要翻译#

9. 大初值下聚焦 $H^{1/2}$-临界非线性薛定谔方程的散射#

摘要翻译#

10. 具有 $p$-增长和非散度形式右端项的抛物型系统的 Calderón-Zygmund 估计#

摘要翻译#

11. 用于宽范围圣维南渠道调控的反步法引导强化学习#

摘要翻译#

12. 通过移动希尔涡旋实现三维纳维 - 斯托克斯方程的柔性#

摘要翻译#

13. Serrin问题中弱稳定解#

摘要翻译#

14. 二维各向异性 Navier-Stokes 方程的能量刚性及弱 - 强唯一性#

摘要翻译#

15. 关于对称输运方程组#

摘要翻译#

16. 无界初值集上随机热方程的大偏差原理的一致性#

摘要翻译#

17. 临界 Hardy 不等式的改进定量稳定性#

摘要翻译#

18. 准递减加权$L_2$空间中具有奇异时间可测伪微分算子的柯西问题的适定性#

摘要翻译#

19. 流形上一类 p-Laplace 型方程的 Liouville 定理#

摘要翻译#

20. 质量临界Gross-Pitaevskii系统非平凡归一化解的拓扑度与存在性#

摘要翻译#

21. 具有任意多个真实孔洞的均匀旋转涡片#

摘要翻译#

22. 有界凸区域中受限半拉普拉斯算子扭转函数的严格凹性#

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

1. 关于粘弹性穆林斯-塞克斯塔系统

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. Lipschitz 上图像锥中奇异方程 $-Δu=f(X) cdot u^{-γ}$ 的全局解分类

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 一维可压缩范德瓦耳斯流体共存相变容许解的稳定性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 障碍问题的平均曲率界

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 次临界双重非线性抛物型方程组的局部有界性与更高可积性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 混合边界条件下混合椭圆问题的一个特征值定理

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

7. 跑动-翻滚模型中的边界层与消失扩散性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 非紧对称空间上等变伪微分算子的完整符号

摘要翻译

2. 到球面的稳定调和映射的最优正则性

摘要翻译

3. 具有球面波参考的两点相位恢复

摘要翻译

4. 确定性随机最大正则性的必要条件

摘要翻译

5. 关于耦合流体渗透与水合反应问题的封闭解

摘要翻译

6. 确定一维时空下某些非线性偏微分方程初等解的嵌套导数判据

摘要翻译

7. 关于严格凸解的指定曲率商方程的内蕴曲率估计注记

摘要翻译

8. 在 $$ abla^3$$ 上发现的 AI 平滑随机快发电机

摘要翻译

9. 大初值下聚焦 $H^{1/2}$ -临界非线性薛定谔方程的散射

摘要翻译

10. 具有 $$p$$ -增长和非散度形式右端项的抛物型系统的 Calderón-Zygmund 估计

摘要翻译

11. 用于宽范围圣维南渠道调控的反步法引导强化学习

摘要翻译

12. 通过移动希尔涡旋实现三维纳维 - 斯托克斯方程的柔性

摘要翻译

13. Serrin问题中弱稳定解

摘要翻译

14. 二维各向异性 Navier-Stokes 方程的能量刚性及弱 - 强唯一性

摘要翻译

15. 关于对称输运方程组

摘要翻译

16. 无界初值集上随机热方程的大偏差原理的一致性

摘要翻译

17. 临界 Hardy 不等式的改进定量稳定性

摘要翻译

18. 准递减加权 $$L_2$$ 空间中具有奇异时间可测伪微分算子的柯西问题的适定性

摘要翻译

19. 流形上一类 p-Laplace 型方程的 Liouville 定理

摘要翻译

20. 质量临界Gross-Pitaevskii系统非平凡归一化解的拓扑度与存在性

摘要翻译

21. 具有任意多个真实孔洞的均匀旋转涡片

摘要翻译

22. 有界凸区域中受限半拉普拉斯算子扭转函数的严格凹性