生成时间: 2026年08月26日 03:39:50

运行状态: 完成

计划处理论文数量: 36

已完成论文数量: 36

未完成论文数量: 0

重点关注论文数量: 6

了解领域论文数量: 6

不相关论文数量: 24

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

1. Couette流附近无导数条件的无粘性阻尼

Inviscid damping without derivatives near Couette flow

作者: Dengjun Guo, Xiaoyutao Luo

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24840v1

摘要翻译: 我们研究了非有界几何下二维Euler方程在Couette流附近的长时间动力学。我们识别出一种Yudovich正则性下的非线性无粘性阻尼机制，该机制有别于经典的相位混合：由涡量的空间疏散所驱动的流速衰减。这一机制导致了动力学的一种几何符号分类。在无限通道中，小的非负有界涡量扰动在无导数假设下经历全局阻尼。在整个平面上，小的非负扰动在一个密度为一的时间集上表现出增强的色散与阻尼；而非正扰动则保持受限而不发生阻尼，即使在Gevrey类中任意小也是如此。此外，即使存在任意的剪切调制，阻尼也可以与涡量导数的无穷时间增长共存。该分类通过新的Lyapunov泛函与Hamiltonian守恒之间的相互作用获得。

Comment: 53 pages

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

1. 研究对象和背景

本文研究二维欧拉方程在无界几何（无限通道和全平面）中，靠近库埃特流 (Couette flow) 的长时动力学行为。二维欧拉方程是理想流体运动的基本模型，其涡量形式为：

\partial_t \omega + y \partial_x \omega + u \cdot \nabla \omega = 0, \quad \omega|_{t=0} = \omega_{in}

其中 $\omega$ 是扰动涡量， $$u$$ 是对应的扰动速度场，背景剪切流为 $$(y, 0)$$ 。速度场通过 Biot-Savart 定律由涡量恢复： $u = \nabla^\perp \psi$ ，且满足 $\Delta \psi = \omega$ 。在 Yudovich 正则性类（即初始数据 $\omega_{in} \in L^1 \cap L^\infty$ ）中，该方程存在唯一的全局弱解，且涡量的所有 $$L^p$$ 范数守恒。

无粘阻尼问题探讨的是：在没有粘性耗散的情况下，剪切流附近的流速扰动是否会随时间衰减。传统的理论框架基于“相混合”（phase mixing）机制，即背景剪切将涡量输运到更细的空间尺度上，由于速度场比涡量多一个导数的平滑度，这种向高频的转移导致了速度的衰减。然而，现有的非线性相混合理论主要局限于周期几何，且要求初始数据的正则性高于 Gevrey-2 阈值。低于该阈值时，系统会出现不稳定性或非平凡稳态，无法实现全局阻尼。

本文的核心动机在于探索是否存在一种不同于相混合的无粘阻尼机制，能够在低正则性（Yudovich 级别）下成立。作者指出，在无界域中，涡量可以在空间上自由扩散（spatial evacuation），而不必像在有界或周期域那样被迫形成精细结构。这种空间疏散机制可能绕过相混合对导数正则性的依赖。因此，本文旨在建立一种基于涡量空间疏散的非线性无粘阻尼理论，并分析其在不同几何和符号条件下的表现。

2. 主要定理或主要结果

本文的主要结果包括以下几个方面：

无限通道中的全局无粘阻尼：定理 1.1 证明，在无限通道 $\Omega = \mathbb{R} \times [-1, 1]$ 中，若初始扰动涡量 $\omega_{in}$ 是非负的且满足 $\|\omega_{in}\|_{L^\infty} \leq \epsilon_0$ （小性条件仅施加于 $L^\infty$ 范数， $$L^1$$ 范数可任意大），则对应的 Yudovich 解满足：
$\sup_{x_0 \in \mathbb{R}} \int_{|x-x_0| \leq 1} \omega(t, z) dz \to 0 \quad \text{as } t \to \infty.$
进而，对于所有 $1 < p \leq \infty$ ，有 $\|u(t)\|_{L^p(\Omega)} \to 0$ 。这一结果表明，在非负条件下，即使没有导数假设，也能实现全局速度衰减。
非阻尼现象与 Hamiltonian 守恒：定理 1.2 指出，若初始数据满足 $H[\omega_{in}] > \int_\Omega (\omega_{in})^+ dz$ ，其中 $H[\omega] = \int_\Omega |u|^2 dz + \int_\Omega y^2 \omega dz$ 是守恒的 Hamiltonian，则速度场不会衰减，即存在常数 $$c_p > 0$$ 使得 $\inf_{t \geq 0} \|u(t)\|_{L^p(\Omega)} \geq c_p$ 。这一准则给出了 Yudovich 类中首个开放集的非阻尼例子。
全平面中的符号二分法：
- 正扰动：定理 1.3 证明，对于小的非负扰动，涡量表现出增强的色散效应，其二阶矩满足： $\int_{\mathbb{R}^2} y^2 \omega(t, z) dz \geq C_{in} \log \langle t \rangle, \quad \int_{\mathbb{R}^2} x^2 \omega(t, z) dz \geq C_{in} t^2 \log \langle t \rangle.$ 此外，存在一个密度为一的时间集合 $$T$$ ，使得当 $t \in T, t \to \infty$ 时， $\|u(t)\|_{L^p(\mathbb{R}^2)} \to 0$ 对所有 $2 < p \leq \infty$ 成立。
- 负扰动：定理 1.5 证明，对于非正扰动，涡量被限制在有限区域内（confinement），且速度场不衰减。具体地，垂直二阶矩有界，且存在中心轨迹 $$z_t$$ 使得涡量质量集中在 $$z_t$$ 附近，同时 $\liminf_{t \to \infty} \|u(t)\|_{L^p(|z| \leq ct)} > 0$ 。
范数增长与调制不变性：定理 1.4 表明，即使在任意小的 Gevrey 扰动下，涡量的 Hölder 范数仍会无限增长，例如 $\|\omega(t)\|_{C^s_x} \gtrsim (\log \langle t \rangle)^{s/2}$ 。这种增长无法通过剪切调制消除，说明高正则性渐近稳定性在全平面中一般不成立。

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

本文的证明依赖于几个关键的技术创新和分析工具：

移动 Lyapunov 泛函：为了检测涡量是否从固定区域疏散，作者构造了依赖于时间的移动泛函。在无限通道中，定义 $M(t) = \int y H(x) \omega(t, x, y) dx dy$ 和 $D(t) = \int y^2 H'(x) \omega(t, x, y) dx dy$ ，其中 $$H$$ 是有界的递增函数。通过沿流线微分，得到单调性估计：
$\frac{d}{dt} M(t) \geq \frac{1}{2} D(t).$
这一估计的关键在于利用涡量的非负性，使得 Biot-Savart 相互作用项具有有利的符号。为了处理可能漂移的涡量包，作者进一步引入沿线性轨迹 $$X(t) = X_0 + ct$$ 的移动泛函 $$M_X(t)$$ 和 $$D_X(t)$$ ，从而实现对任意水平位置的均匀疏散控制。
连续移动泛函族：在全平面中，由于涡量可以垂直扩散，简单的线性轨迹不再适用。作者引入了一个连续的移动泛函族，参数化于 $a \in \mathbb{R}$ ，定义为 $M_a(t) = \int_{\mathbb{R}^2} y H(x - X_a(t)) \omega(t, z) dz$ ，其中 $$X_a(t)$$ 是满足 $\int_{\mathbb{R}^2} H(x - X_a(t)) \omega(t, z) dz = a$ 的 $$H$$ -分位数。这一族泛函允许作者在水平方向上均匀检测涡量的集中，并结合 Hamiltonian 守恒提供的对数控制，推导出密度为一的阻尼结果。
Hamiltonian 守恒与非阻尼机制：非阻尼结果的证明利用了系统的 Hamiltonian 结构。在无限通道中，Hamiltonian $H[\omega]$ 关联了动能和加权涡量矩。若初始数据满足特定不等式，则动能部分主导，导致速度范数的下界。在全平面中，Hamiltonian 平衡了对数相互作用能和垂直二阶矩。对于非正扰动，若速度衰减，则涡量必须从固定半径球内均匀消失，这会导致对数相互作用能发散，从而违反守恒律。这一矛盾证明了非阻尼性。
Biot-Savart 核估计：作者详细推导了无限通道和全平面中 Biot-Savart 核的性质，特别是其在远距离处的指数衰减和对数行为。这些估计是连接涡量分布与速度场行为的基础，尤其是在证明疏散和阻尼过程中起到了关键作用。

4. 与之前工作的比较

本文与已有工作的比较主要体现在以下几个方面：

正则性要求的突破：传统的非线性无粘阻尼理论（如 Bedrossian 和 Masmoudi 的工作）主要适用于周期几何，且要求初始数据具有高于 Gevrey-2 的正则性。本文首次在 Yudovich 正则性（ $L^1 \cap L^\infty$ ）下建立了无粘阻尼理论，完全不需要导数假设。这一进展揭示了相混合并非无粘阻尼的唯一机制，空间疏散可以提供另一种低正则性下的稳定路径。
几何范围的扩展：既有工作主要集中在周期域或有界域，而本文研究了无界几何（无限通道和全平面）。在这些几何中，涡量可以自由扩散，这使得空间疏散成为可能。相比之下，在周期域中，涡量无法在空间上逃逸，因此必须依赖相混合，这也解释了为何周期域需要更高的正则性。
符号依赖性：本文首次明确区分了正、负扰动在不同几何中的不同行为。在无限通道中，非负扰动实现全局阻尼，而某些变号或负扰动则不衰减。在全平面中，正扰动表现出增强色散和密度一阻尼，而负扰动则被限制且不衰减。这种符号二分法是此前文献中未充分探讨的现象，揭示了涡量符号在决定长期动力学中的重要作用。
与粘性理论的对比：近年来，Navier-Stokes 方程在 Couette 流附近的粘性稳定性在非紧支几何中也取得了进展。本文的无粘结果与这些粘性结果相交：本文考虑的初始数据满足某些粘性稳定性结果的初始条件，这表明粘性阈值指数不能推广到 0。换言之，即使在没有粘性的情况下，某些扰动也会表现出类似粘性阻尼的行为，但这仅限于特定的符号和几何条件。
范数增长与稳定性：定理 1.4 表明，即使在非常光滑的初始数据下，涡量的 Hölder 范数仍会无限增长。这与周期性设置下的不稳定性结果（如 [14]）相呼应，但本文进一步指出，这种增长可以与速度阻尼共存。这意味着，尽管涡量本身变得非常粗糙，但其诱导的速度场仍然可以衰减。这一发现挑战了传统上将高正则性视为稳定必要条件的观点。

2. 通过逐点 Leibniz 交换子公式证明临界 SQG 的全局正则性

Global regularity of critical SQG via a pointwise Leibniz commutator formula

作者: Michele Caselli

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24375v1

摘要翻译: 我们给出了二维临界耗散型 SQG 方程全局正则性的一个简短证明。该论证基于作者与 Luca Gennaioli 最近获得的关于半拉普拉斯的 Leibniz 交换子的逐点表示，它简化并统一了以往极值原理证明中所使用的非线性估计。

Comment: 9 pages

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

1. 研究对象和背景

本文研究二维周期性域 $\mathbb{T}^2 = [-\pi, \pi]^2$ 上的临界耗散表面准地转 (Surface Quasi-Geostrophic, SQG) 方程. 该方程由 Constantin, Majda 和 Tabak [CMT94] 引入, 其形式为:

\begin{cases} \partial_t \theta + u \cdot \nabla \theta + \Lambda \theta = 0, \\ u = R^\perp \theta = (-R_2 \theta, R_1 \theta), \\ \theta(\cdot, 0) = \theta_0, \end{cases}

其中 $\Lambda = (-\Delta)^{1/2}$ 是分数阶拉普拉斯算子, $$R_1, R_2$$ 是 Riesz 变换. 在傅里叶模式下, 约定 $R_j = \partial_j \Lambda^{-1}$ (对于非零模式) 且 $$R_j = 0$$ (对于零模式), 因此有 $R_j \Lambda = \partial_j$ . 这里的未知量是温度场或标量场 $\theta$ , 速度场 $$u$$ 通过 Riesz 变换与 $\theta$ 相关联.

SQG 方程是流体力学和大气科学中描述准地转运动的简化模型, 也是非线性偏微分方程理论中的重要对象. 特别是当耗散项为 $\Lambda \theta$ 时, 该方程被称为“临界”方程, 因为其缩放对称性与非线性项平衡. 尽管其物理意义明确, 但数学上证明任意光滑初值 $\theta_0 \in C^\infty(\mathbb{T}^2)$ 的全局存在性和正则性是一个长期挑战.

此前, Kiselev, Nazarov 和 Volberg [KNV07] 通过保持模连续性 (preserved modulus of continuity) 的优雅论证证明了全局正则性; Caffarelli 和 Vasseur [CV10] 则通过 De Giorgi 型迭代方法给出了另一证明, 随后 Kiselev 和 Nazarov [KN09] 使用更初等的方法重新证明了这一结果. 此外, 还有多种基于非线性最大原理的方法被开发出来, 例如 Constantin 和 Vicol [CV12] 的非线性最大原理框架, 以及 Constantin, Tarfulea 和 Vicol [CTV15] 采用的有限差分策略. 这些方法通常涉及对奇异核进行复杂的分解和估计, 以控制非线性项中的“坏项”. 本文旨在提供一种新的、更简洁的证明路径, 利用作者与 Gennaioli [CG26] 最近获得的关于半拉普拉斯算子的 Leibniz 交换子的逐点表示, 从而简化和统一了之前最大原理证明中所需的非线性估计.

2. 主要定理或主要结果

本文的主要结果是重新证明了临界 SQG 方程的全局正则性定理. 具体而言:

定理 1.1: 对于任意 $\theta_0 \in C^\infty(\mathbb{T}^2)$ , 方程 (1.1) 存在唯一解 $\theta \in C^\infty(\mathbb{T}^2 \times [0, \infty))$ , 并且满足如下一致界:

\sup_{t \geq 0} \|\nabla \theta(t)\|_{L^\infty} \leq C(\|\theta_0\|_{L^\infty}, \|\nabla \theta_0\|_{L^\infty}).

证明的核心步骤包括两个主要部分: 有限差分最大原理和从 Hölder 控制到梯度界的推导.

有限差分最大原理: 考虑归一化有限差分 $v(x, h, t) := \frac{\theta(x+h, t) - \theta(x, t)}{|h|^\alpha}$ , 其中 $\alpha > 0$ 是一个待定的小指数. 目标是证明 $\sup_{x,h,t} |v|$ 的一致界, 这等价于 $[\theta]_{C^\alpha}$ 的传播. 通过对 $$v^2$$ 计算方程, 得到包含“坏项” $\tau_h u$ 的表达式. 利用 Lemma 2.1 中的两个关键估计:
$\Gamma[f](x) \geq \frac{|f(x) - P_{2R}f(x)|^2}{4R},$
$|R(f - P_z f)(x)| \lesssim \sqrt{z \Gamma[f](x)},$
其中 $\Gamma[f] := f \cdot \Lambda f - \frac{1}{2} \Lambda |f|^2$ 是 Leibniz 交换子, $P_z = e^{-z\Lambda}$ 是 Poisson 半群. 这些估计允许将“坏项”吸收进具有正号的耗散项 $\Gamma[\tau_h \theta]$ 中. 选择足够小的 $\alpha$ (依赖于 $\|\theta_0\|_{L^\infty}$ ), 可以建立 $$v^2$$ 的闭合最大原理, 从而传播初始数据的 $C^\alpha$ 范数.
从 Hölder 控制到梯度界: 对 SQG 方程求导并与 $\nabla \theta$ 做内积, 得到:
$\frac{1}{2}(\partial_t + u \cdot \nabla + \Lambda)|\nabla \theta|^2 = -\partial_i u_j \partial_i \theta \partial_j \theta - \Gamma[\nabla \theta] \leq |\nabla u||\nabla \theta|^2 - \Gamma[\nabla \theta].$
再次利用扩展公式得到的估计:
$\Gamma[\nabla \theta](x) \gtrsim_\alpha \frac{|\nabla \theta(x)|^{\frac{2+1}{1-\alpha}}}{[\theta]_{C^\alpha}^{\frac{1}{1-\alpha}}},$
$|\nabla u(x)| \lesssim_\alpha \sqrt{z \Gamma[\nabla \theta](x)} + [\theta]_{C^\alpha} z^{\alpha-1},$
优化参数 $$z$$ 后, 可以证明当 $|\nabla \theta|$ 足够大时, 非线性耗散项占主导地位. 通过适当的选择凸函数 $\Phi(r) = (r-A)_+^3$ 并应用 Cordoba-Cordoba 不等式, 可以得到 $|\nabla \theta|^2$ 的一致 Lipschitz 界.

最终, 结合时间延拓准则, 得出解在全时间区间上的全局正则性.

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

本文的创新点在于使用了一个新的分析工具: 半拉普拉斯算子的 Leibniz 交换子的逐点表示. 这一表示由作者与 Luca Gennaioli 在 [CG26] 中首次获得, 基于 Caffarelli-Silvestre 扩展问题 [CS07].

Leibniz 交换子的扩展表示: 定义 Leibniz 交换子 $\Gamma[f] := f \cdot \Lambda f - \frac{1}{2} \Lambda |f|^2$ . 传统上, $\Gamma[f]$ 可以通过奇异积分核的表示来计算, 但在处理非线性估计时, 这种表示往往需要复杂的核分解. 本文使用的核心公式是:
$\Gamma[f](x) = \int_0^\infty P_z(|e\nabla F(\cdot, z)|^2)(x) dz,$
其中 $$F(x, z) = P_z f(x)$$ 是 $$f$$ 的 Caffarelli-Silvestre 扩展, $e\nabla = (\nabla_x, \partial_z)$ 是扩展空间中的梯度. 这个公式提供了 $\Gamma[f]$ 的一个非负表示, 使得后续的估计更加直接和统一.
关键引理 (Lemma 2.1): 从上述扩展表示出发, 作者推导出了两个关键的逐点估计:
- 耗散项的强制性: 对于任意 $$R, z > 0$$ , $\Gamma[f](x) \geq \frac{|f(x) - P_{2R}f(x)|^2}{4R}.$ 这个估计表明, $\Gamma[f]$ 控制了 $$f$$ 与其平滑版本之间的差异, 提供了非线性耗散的强制性.
- Riesz 变换的高频控制: $|R(f - P_z f)(x)| \lesssim \sqrt{z \Gamma[f](x)}.$ 这个估计控制了 Riesz 变换作用在高频部分的大小, 将其与 $\Gamma[f]$ 联系起来.
这两个估计的证明利用了半群性质 $e\nabla F(2s) = P_s e\nabla F(s)$ 和 Jensen 不等式. 具体来说, 对于第一个估计, 作者通过 Cauchy-Schwarz 不等式和半群性质, 将 $\Gamma[f]$ 下界化为 $\int_R^0 |\partial_z F(2z)|^2 dz$ , 进而得到所需的不等式. 对于第二个估计, 作者利用 $R_j \Lambda = \partial_j$ 的关系, 将 $$R_j(f - F(z))$$ 表示为 $\int_z^0 \partial_j F(s) ds$ , 然后应用类似的半群和 Jensen 估计.
统一非线性估计 (Corollary 2.2): 利用 Lemma 2.1, 作者得到了针对有限差分和梯度的统一估计. 对于有限差分 $\tau_h \theta$ , 有:
$\Gamma[\tau_h \theta](x) \gtrsim \frac{|\tau_h \theta(x)|^3}{\|\theta\|_{L^\infty} |h|},$
$|\tau_h u(x)| \lesssim \sqrt{z \Gamma[\tau_h \theta](x)} + \frac{\|\theta\|_{L^\infty} |h|}{z}.$
这些估计取代了先前工作中对奇异核的 ad hoc 分解, 使得证明更加简洁. 类似地, 对于梯度 $\nabla \theta$ , 也有相应的估计:
$\Gamma[\nabla \theta](x) \gtrsim_\alpha \frac{|\nabla \theta(x)|^{\frac{2+1}{1-\alpha}}}{[\theta]_{C^\alpha}^{\frac{1}{1-\alpha}}},$
$|\nabla u(x)| \lesssim_\alpha \sqrt{z \Gamma[\nabla \theta](x)} + [\theta]_{C^\alpha} z^{\alpha-1}.$
最大原理的应用: 在有限差分部分, 作者通过优化参数 $$z$$ 来吸收“坏项”, 并利用 Cordoba-Cordoba 不等式 [CC03, CC04] 来处理非线性项. 在梯度部分, 作者构造了一个凸函数 $\Phi(w) = (w-A)_+^3$ , 并利用 Cordoba-Cordoba 不等式证明其在最大点处的行为, 从而得到一致界.
技术障碍与创新: 主要技术障碍是如何在不依赖复杂核分解的情况下, 同时控制耗散项和非线性漂移项. 作者的真正创新点在于发现 Leibniz 交换子的扩展表示可以同时提供这两方面的控制. 这一观察不仅简化了证明, 而且揭示了不同估计之间的内在联系, 为未来研究其他临界或超临界方程提供了新的思路.

4. 与之前工作的比较

本文与既有文献的比较主要体现在以下几个方面:

与 Kiselev-Nazarov-Volberg [KNV07] 的比较: [KNV07] 使用了保持模连续性的方法, 这是一种非常优雅但相对独立的技巧. 该方法不直接依赖于最大原理, 而是通过构造一个特定的模函数来追踪解的正则性. 相比之下, 本文的方法更接近于非线性最大原理框架, 并且依赖于具体的逐点估计. 本文的优势在于其估计的统一性和简洁性, 而 [KNV07] 的优势在于其概念的直观性.
与 Caffarelli-Vasseur [CV10] 的比较: [CV10] 使用了 De Giorgi 型迭代方法, 这是一种强大的工具, 但通常涉及较复杂的技术细节. 本文的方法则直接基于最大原理和逐点估计, 避免了迭代的复杂性. 然而, De Giorgi 方法在处理某些类型的扩散方程时可能更具灵活性, 而本文的方法特别适用于具有特定结构的临界 SQG 方程.
与 Constantin-Vicol [CV12] 和 Constantin-Tarfulea-Vicol [CTV15] 的比较: [CV12] 和 [CTV15] 都采用了非线性最大原理的方法, 但它们依赖于对奇异核的分解和估计. 例如, [CTV15] 中的有限差分策略需要对核在不同尺度上进行拆分, 以分离出可控的部分. 本文的创新之处在于, 通过使用 Leibniz 交换子的扩展表示, 完全避免了这些复杂的核计算. 这使得证明更加透明和易于理解. 此外, 本文的估计 (Corollary 2.2) 在形式上与 [CV12] 和 [CTV15] 中的相应估计等价, 但推导过程更为简洁.
与 Coti Zelati-Vicol [CZV16] 的比较: [CZV16] 研究了超临界 SQG 方程的全局正则性, 其方法与 [CTV15] 类似, 但涉及更多的技术细节. 本文仅关注临界情况, 因此不需要处理超临界情形下的额外困难. 然而, 本文的工具 (即 Leibniz 交换子的扩展表示) 有可能推广到超临界情形, 这是一个潜在的未来研究方向.
假设与适用范围: 本文假设初值 $\theta_0 \in C^\infty(\mathbb{T}^2)$ , 这与大多数先前工作一致. 本文的结果适用于二维周期性域, 并且依赖于周期性条件来确保紧性和最大原理的有效性. 如果扩展到无界域或其他几何结构, 可能需要额外的技术调整.
代价与局限: 本文的主要代价是对初值的光滑性要求较高 ( $C^\infty$ ). 虽然这对于理论证明是合理的, 但在实际应用中, 可能需要进一步研究较低正则性初值的情况. 此外, 本文的方法高度依赖于 Leibniz 交换子的特殊结构, 因此可能不适用于其他类型的非线性方程. 然而, 对于具有类似结构的临界方程, 这种方法可能具有广泛的适用性.

总结来说, 本文通过引入一个新的分析工具 (Leibniz 交换子的扩展表示), 提供了一种更简洁、更统一的证明方法, 相比先前工作, 它在技术细节上有所简化, 同时在概念上提供了新的见解.

3. 若干活动标量方程的熵分析

Entropy Analysis of some Active Scalar Equations

作者: Elie Abdo

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24312v1

摘要翻译: 我们研究在 $\mathbb{R}^2$ 上具有分数阶耗散的一类广泛的活动标量方程，并证明其熵以 $\log t$ 的精确阶数发散至 $-\infty$ 。该证明基于适当的正则化方案、一致的熵估计以及通过 Vitali 收敛定理进行的极限论证。我们的分析引入了新的分数对数 Sobolev 不等式、加权交换子估计和分数矩界。这些结果为研究非局部非线性偏微分方程的空间衰减和长时间动力学提供了一个通用框架。

Comment: 无

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

1. 研究对象和背景

本文研究二维空间 $\mathbb{R}^2$ 上具有分数阶耗散的一类广义活性标量方程 (active scalar equations) 的长期动力学行为. 这类方程在流体力学、地球物理以及多孔介质中的电对流等模型中广泛存在, 其核心特征是输运速度场由标量变量非局部地决定, 从而形成输运、非局部相互作用与耗散之间的复杂耦合.

具体而言, 论文考虑如下形式的方程:

\partial_t \theta + u \cdot \nabla \theta + \kappa \Lambda^\alpha \theta = 0,

其中 $\theta(x,t)$ 为标量变量, $u: \mathbb{R}^2 \to \mathbb{R}^2$ 为无散速度场 ( $\nabla \cdot u = 0$ ), $\kappa > 0$ 为耗散系数, $\Lambda^\alpha = (-\Delta)^{\alpha/2}$ 为分数阶拉普拉斯算子, 且耗散指数 $\alpha \in (0,2)$ . 初始数据为 $\theta(x,0) = \theta_0$ , 并在无穷远处衰减. 文中考虑了两类本构关系来定义速度场 $$u$$ :

线性速度律: $u = T(\theta)$ , 其中 $$T$$ 是满足 $$L^p$$ -有界性和 Lipschitz 连续性的线性算子. 典型的例子是分数阶表面准地转 (SQG) 方程, 其中 $u = R^\perp \theta$ , $$R$$ 为 Riesz 变换.
双线性速度律: $u = \tilde{T}(\theta, \theta)$ , 其中 $\tilde{T}$ 是满足双线性 $$L^p$$ 估计和 Lipschitz 稳定性估计的双线性算子. 典型例子是多孔介质中的电对流模型, 此时 $u = -P(\theta R \theta)$ 且 $\alpha=1$ .

尽管对于许多此类模型, 已有文献证明了弱解在全空间上随时间趋于零 ( $\theta(t) \to 0$ as $t \to \infty$ ), 但这种点态或范数收敛并未揭示标量质量如何在空间中扩散和去局部化. 为了定量描述这种大时间尺度上的空间扩散行为, 本文引入相对熵 (relative entropy) 作为关键观测指标:

E(t) = \int_{\mathbb{R}^2} \theta \log \theta \, dx.

在无粘 (inviscid) 情形下, 由于输运结构的守恒性, 熵在时间演化中保持不变. 然而, 分数阶耗散的引入彻底改变了这一行为: 熵不再守恒, 而是发散至 $-\infty$ . 本文旨在精确刻画这一发散的速率, 并证明其以 $\log t$ 的尖锐速率趋向负无穷. 这一结果不仅提供了关于标量渐近动力学的定量描述, 还揭示了点态收敛所无法捕捉的空间信息.

2. 主要定理或主要结果

本文的主要结论集中在两个定理中, 分别针对正则化系统及其极限弱解.

定理 1.1 (正则化系统的熵估计): 设耗散指数 $\alpha \in (0,2)$ . 权重指数 $\eta$ 需满足以下范围:

若 $\alpha \in (0,1)$ , 则 $\eta \in (\frac{\alpha}{2} - \frac{1}{2}, \frac{\alpha}{2}) \cap (0,1)$ ;
若 $\alpha \in [1,2)$ , 则 $\eta \in (\frac{\alpha}{4} - \frac{1}{2}, \frac{\alpha}{4}) \cap (0,1)$ . 假设初始数据 $\theta_0$ 为正且满足: $\theta_0 \in L^1 \cap L^\infty, \quad (1+|x|^2)^{\frac{1}{2}+\eta}\theta_0 \in L^2(\mathbb{R}^2), \quad \left| \int_{\mathbb{R}^2} \theta_0 \log \theta_0 \, dx \right| < \infty.$ 考虑带有摩尔化正则项 $\epsilon \Delta \theta_\epsilon$ 的正则化方程组, 则其全局光滑解 $\theta_\epsilon$ 保持非负, 且在 $\epsilon$ 一致有界于函数空间: $L^\infty(0,\infty; L^p(\mathbb{R}^2)) \cap L^2(0,\infty; \dot{H}^{\alpha/2}(\mathbb{R}^2)), \quad \forall p \ge 1.$ 此外, 加权二阶矩满足多项式增长界: $\| (1+|x|^2)^{\frac{1}{2}+\eta} \theta_\epsilon(t) \|_{L^2}^2 \le \Gamma (1+t)^m,$ 其中 $\Gamma$ 依赖于初始数据, $$m$$ 为独立于 $\epsilon$ 的正整数. 最重要的是, 正则化熵 $E_\epsilon(t) = \int_{\mathbb{R}^2} \theta_\epsilon \log \theta_\epsilon \, dx$ 满足如下对数型上下界: $-c_1 \log(c_2 + c_3 t) \le E_\epsilon(t) \le -c_4 \log(c_5 + c_6 t),$ 其中常数 $$c_i > 0$$ 仅依赖于初始数据.

定理 1.2 (弱解的熵发散): 在上述相同的假设条件下, 原始方程 (1) 存在一个几乎处处非负的弱解 $\theta$ , 其正则性与定理 1.1 相同. 该弱解的熵 $$E(t)$$ 同样满足:

-c_1 \log(c_2 + c_3 t) \le E(t) \le -c_4 \log(c_5 + c_6 t).

这表明随着 $t \to \infty$ , 熵 $$E(t)$$ 以 $O(-\log t)$ 的速率发散至 $-\infty$ . 这一结果精确量化了标量在大时间尺度下的空间扩散率.

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

证明的核心挑战在于建立熵的尖锐上下界, 尤其是下界 (即证明熵不会发散得过慢). 作者发展了一套新的分析框架, 主要包含以下几个关键技术环节:

正则化方案与一致性估计: 首先构造带有摩尔化项 $\epsilon \Delta \theta_\epsilon$ 的正则化系统. 通过经典的不动点论证保证光滑解的存在唯一性. 关键在于证明这些估计不依赖于正则化参数 $\epsilon$ , 以便后续取极限. 非负性的保持是通过 Hamilton’s trick 实现的: 假设最小值变为负值, 利用分数阶拉普拉斯的非正性 ( $\Lambda^\alpha \theta \le 0$ at minimum) 导出矛盾.
加权交换子估计 (Weighted Commutator Estimates): 这是论文的技术核心. 为了控制分数阶耗散项与空间权重 $(1+|x|^2)^{1/2+\eta}$ 之间的相互作用, 作者推导了新的交换子不等式.
- 双权重交换子: 对于 $\alpha \in (0,1)$ , 建立了形如 $\| \Lambda^\alpha (\omega_1 \omega_2 f) - \omega_1 \omega_2 \Lambda^\alpha f \|_{L^2}$ 的估计. 通过将交换子分解为三个部分 $$C_1, C_2, C_3$$ , 并利用 H"older 连续性将积分核的奇异性降低, 进而应用 Hardy-Littlewood-Sobolev (HLS) 不等式和插值技巧得到 $$L^2$$ 范数的控制. 特别地，当权重取为 $(1+|x|^2)^{1/2+\eta}$ 时，得到了具体的对数矩增长控制.
- 高阶情形的降阶处理: 对于 $\alpha \in [1,2)$ , 直接处理高维分数阶算子的交换子非常困难. 作者引入了一种新的分解方法, 将 $\Lambda^\alpha$ 视为 $\Lambda^{\alpha/2} \circ \Lambda^{\alpha/2}$ , 从而将问题转化为低阶 ( $\alpha/2 \in [0.5, 1)$ ) 的交换子估计, 复用了 $\alpha \in (0,1)$ 时的技术.
分数阶对数 Sobolev 不等式: 为了获得熵的上界 (即证明熵发散得足够快), 作者研究了泛函 $e^{-c E}$ 的演化. 这要求建立全空间上的新分数阶对数 Sobolev 不等式, 将熵产率与耗散项联系起来. 这一不等式是推导 $E(t) \le -C \log t$ 的关键.
Vitali 收敛定理的应用: 从正则化解 $\theta_\epsilon$ 过渡到弱解 $\theta$ 时, 由于非线性项和熵泛函的弱连续性较为微妙, 作者利用了 Vitali 收敛定理. 结合前面得到的一致矩估计和紧性结果, 证明了 $\theta_\epsilon \log \theta_\epsilon$ 在 $$L^1$$ 意义下的强收敛性, 从而确保熵估计在取极限后依然成立.
分数阶矩传播: 通过上述交换子估计, 作者推导了加权 $$L^2$$ 范数 $\| (1+|x|^2)^{1/2+\eta} \theta \|_{L^2}$ 的多项式增长界. 这一矩的传播机制是连接空间扩散与熵变动的桥梁.

4. 与之前工作的比较

本文的工作在以下几个方面推进了现有的 PDE 与分析理论文献:

从点态收敛到熵发散的定量刻画: 既往文献 (如 SQG 方程的研究) 主要关注解的全局存在性、唯一性以及 $$L^p$$ 范数或点态向零的收敛. 虽然已知 $\theta(t) \to 0$ , 但这些结果未能提供关于解如何“摊开” (spreading) 的定量速率. 本文首次系统地研究了相对熵 $$E(t)$$ 的长期行为, 证明了其以 $\log t$ 的速率发散. 这填补了关于非局部非线性 PDE 大时间空间扩散定量的空白.
统一的框架涵盖不同本构关系: 以往的研究往往针对特定的模型 (如具体的 SQG 或具体的电对流模型) 进行单独分析. 本文提出了一种更广泛的抽象框架, 涵盖了线性 ( $u=T(\theta)$ ) 和双线性 ( $u=\tilde{T}(\theta,\theta)$ ) 两类速度场. 只要速度场满足基本的 $$L^p$$ 有界性和 Lipschitz 性质, 结论即成立. 这使得结果可以推广到更广泛的活性标量系统.
新技术工具的开发: 与以往依赖标准能量估计或简单的矩方法不同, 本文引入了专门针对分数阶算子与空间权重交互作用的加权交换子估计. 特别是针对 $\alpha \in [1,2)$ 区间提出的降阶分解技术, 以及全空间上的分数阶对数 Sobolev 不等式, 都是本文的新贡献. 这些工具不仅适用于本文的模型, 也为其他非局部方程 (如分数阶热方程、分数阶波方程) 的矩传播和空间衰减分析提供了通用的分析手段.
假设条件的精细化: 对于权重指数 $\eta$ 的范围, 本文给出了依赖于耗散指数 $\alpha$ 的精确区间. 例如, 当 $\alpha < 1$ 时, $\eta$ 必须小于 $\alpha/2$ ; 而当 $\alpha \ge 1$ 时, 限制更为严格 ( $\eta < \alpha/4$ ). 这种精细的参数范围界定反映了分数阶耗散强度与空间权重增长之间的平衡, 比以往一些定性讨论更加具体和严格.
局限性: 需要注意的是, 本文的结果依赖于初始数据具有足够的空间衰减 (加权 $$L^2$$ 可积) 和有限的初始熵. 对于缺乏这些强衰减假设的情形, 或者在更高维空间 ( $$d > 2$$ ) 中的推广, 尚未在本文中讨论. 此外, 熵的发散速率 $\log t$ 是在特定权重下的结果, 是否代表最优的空间扩散尺度仍需进一步探讨.

4. 关于体-表面 Navier-Stokes-Cahn-Hilliard 模型：弱解的存在性与渐近极限

On a bulk-surface Navier-Stokes-Cahn-Hilliard model: Existence of weak solutions and asymptotic limits

作者: Jonas Stange

类别: math.AP, math-ph

发布日期: 2026-08-25

arXiv ID: 2608.24647v1

摘要翻译: 我们研究一个热力学一致的体-表面 Navier–Stokes–Cahn–Hilliard 系统，该系统描述具有移动接触线、可变接触角以及质量传递的两相流。对于非退化迁移率函数和奇异自由能势，我们建立了全局弱解的存在性。证明基于隐式时间离散化方案以及体-表面自由能凸部分的次微分刻画。最后，我们研究了同时的高摩擦与解耦极限，并证明相应的弱解沿子序列收敛至 Abels–Garcke–Grün 模型的弱解。证明的一个关键要素是体-表面自由能凸部分的 Mosco 收敛，这一结果可能具有独立的研究价值。

Comment: 无

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

1. 研究对象和背景

本文研究的对象是一个描述两相流中动态接触线、可变接触角以及质量传输的热力学一致的体-表面 Navier-Stokes-Cahn-Hilliard (NSCH) 耦合系统。该模型旨在克服经典扩散界面模型在边界处理上的局限性，特别是为了更准确地描述流体与固体边界之间的复杂相互作用，如移动接触线和物质交换。

研究对象是一个定义在有界区域 $\Omega \subset \mathbb{R}^d$ ( $d \in \{2, 3\}$ ) 及其边界 $\Gamma = \partial \Omega$ 上的耦合偏微分方程组。设 $Q = \Omega \times (0, \infty)$ 和 $\Sigma = \Gamma \times (0, \infty)$ 。系统包含以下主要变量：

体内变量：速度场 $$v$$ ，压力 $$p$$ ，相场（序参量） $\phi$ ，化学势 $\mu$ 。
表面变量：切向速度场 $$w$$ ，表面压力 $$q$$ ，表面相场 $\psi$ ，表面化学势 $\theta$ 。

具体的演化方程如下：

体内动量方程 (Navier-Stokes):

\begin{aligned} &\partial_t(\rho(\phi)v) + \text{div}\left(v \otimes (\rho(\phi)v + J)\right) - \text{div}(2\nu_\Omega(\phi)Dv) + \nabla p = -\text{div}(\nabla \phi \otimes \nabla \phi) && \text{in } Q, \\ &\text{div } v = 0 && \text{in } Q. \end{aligned}

其中 $\rho(\phi)$ 是依赖于相场的密度， $$J$$ 是由扩散引起的额外质量通量， $\nu_\Omega(\phi)$ 是体内粘度， $$Dv$$ 是对称梯度算子。

表面动量方程 (Surface Navier-Stokes):

\begin{aligned} &\partial_t(\sigma(\psi)w) + \text{div}_\Gamma\left(w \otimes (\sigma(\psi)w + K)\right) - \text{div}_\Gamma(2\nu_\Gamma(\psi)D_\Gamma w) + \nabla_\Gamma q \\ &= -\text{div}_\Gamma(\nabla_\Gamma \psi \otimes \nabla_\Gamma \psi) - 2\nu_\Omega(\phi)[Dv n]_\tau + \frac{1}{2}(J \cdot n)w + \frac{1}{2}(J_\Gamma \cdot n)w + \alpha \partial_n \phi \nabla_\Gamma \psi - \gamma(\phi, \psi)w && \text{on } \Sigma, \\ &\text{div}_\Gamma w = 0 && \text{on } \Sigma. \end{aligned}

这里 $\sigma(\psi)$ 是表面密度， $$K$$ 是表面质量通量， $\nu_\Gamma(\psi)$ 是表面粘度， $[Dv n]_\tau$ 表示体内应力张量在边界切向上的投影， $\gamma$ 是摩擦系数。

体内 Cahn-Hilliard 方程:

\begin{aligned} &\partial_t \phi + \text{div}(\phi v) = \text{div}(m_\Omega(\phi)\nabla \mu) && \text{in } Q, \\ &\mu = -\Delta \phi + F'(\phi) && \text{in } Q. \end{aligned}

表面 Cahn-Hilliard 方程:

\begin{aligned} &\partial_t \psi + \text{div}_\Gamma(\psi w) = \text{div}_\Gamma(m_\Gamma(\psi)\nabla_\Gamma \theta) - \beta m_\Omega(\phi)\partial_n \mu && \text{on } \Sigma, \\ &\theta = -\Delta_\Gamma \psi + \alpha \partial_n \phi + G'(\psi) && \text{on } \Sigma. \end{aligned}

边界耦合条件: 速度与相场通过以下边界条件耦合：

\begin{aligned} &v|_\Gamma = w, \quad v \cdot n = 0 && \text{on } \Sigma, \\ &K \partial_n \phi = \alpha \psi - \phi, \quad L m_\Omega(\phi)\partial_n \mu = \beta \theta - \mu && \text{on } \Sigma. \end{aligned}

参数 $K, L \in [0, \infty]$ 决定了耦合机制的具体形式。例如，当 $$K=0$$ 时，要求 $\phi = \alpha \psi$ ；当 $K=\infty$ 时，要求 $\partial_n \phi = 0$ 。类似的逻辑适用于化学势的耦合。

该模型具有总能量泛函 $E_{tot}^K(v, w, \phi, \psi) = E_{kin}(v, w, \phi, \psi) + E_{free}^K(\phi, \psi)$ ，其中自由能部分为：

E_{free}^K(\phi, \psi) = \int_\Omega \frac{1}{2}|\nabla \phi|^2 + F(\phi) \, dx + \int_\Gamma \frac{1}{2}|\nabla_\Gamma \psi|^2 + G(\psi) \, d\Gamma + \chi(K) \int_\Gamma \frac{1}{2}(\alpha \psi - \phi)^2 \, d\Gamma.

函数 $\chi(K)$ 定义为：若 $K \in \{0, \infty\}$ 则 $\chi(K)=0$ ，若 $K \in (0, \infty)$ 则 $\chi(K)=1/K$ 。

已有理论背景表明，经典的 Model H 或 Abels-Garcke-Grün (AGG) 模型通常假设固定的接触角（90度）和无滑移边界条件，这限制了其对真实物理现象（如移动接触线）的描述能力。虽然之前有关于带有动态边界条件的 NSCH 模型的研究（如 Knopf 和作者之前的工作 [36]），但那些工作主要局限于常数迁移率函数。对于非退化迁移率函数（即依赖于相场的迁移率 $m_\Omega(\phi)$ 和 $m_\Gamma(\psi)$ ），特别是在三维空间中，由于缺乏相应的连续依赖性估计，传统的半 Galerkin 方法难以直接推广。此外，对于奇异自由能势（如 Flory-Huggins 势），需要处理变分不等式和次微分结构，这在引入动态边界条件后变得更加复杂，因为此前缺乏体-表面自由能凸部分的次微分刻画。

本文试图填补的空白在于：

在非退化迁移率和奇异自由能势的条件下，建立该体-表面 NSCH 模型全局弱解的存在性。
研究高摩擦和解耦极限（ $\gamma \to \infty, K \to \infty, L \to \infty$ ），并证明其收敛到经典的 AGG 模型，从而在数学上严格连接了复杂的体-表面动态模型与经典体相模型。

2. 主要定理或主要结果

本文的主要结果包括两部分：全局弱解的存在性以及特定渐近极限下的收敛性。

1. 全局弱解的存在性

定理概述：对于满足一定正则性和有界性条件的初始数据 $(v_0, w_0, \phi_0, \psi_0)$ ，以及非退化的迁移率函数 $m_\Omega(\phi)$ 和 $m_\Gamma(\psi)$ （即存在常数 $$c_m > 0$$ 使得 $m_\Omega(\phi) \ge c_m$ 和 $m_\Gamma(\psi) \ge c_m$ ），以及奇异自由能势 $$F$$ 和 $$G$$ （如双井势且导数在端点处发散），存在一个定义在 $$[0, T]$$ 上的全局弱解 $(v, w, \phi, \psi)$ 。

具体而言，弱解满足以下性质：

可积性: 速度场和相场属于特定的 Bochner 空间，例如 $v \in L^2(0, T; H^1_{0, div})$ ， $\phi \in L^\infty(0, T; H^1(\Omega)) \cap L^2(0, T; H^2(\Omega))$ 等（具体空间取决于维度和参数）。
弱形式: 解以积分形式满足动量方程、连续性方程和 Cahn-Hilliard 方程。
能量耗散律: 解满足能量不等式： $\frac{d}{dt}E_{tot}^K(v(t), w(t), \phi(t), \psi(t)) \le -\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 - \chi(L) \int_\Gamma (\beta \theta - \mu)^2 \, d\Gamma.$
质量守恒: 根据参数 $$L$$ 的不同，满足相应的质量守恒律。若 $L < \infty$ ，则总质量 $\beta \int_\Omega \phi \, dx + \int_\Gamma \psi \, d\Gamma$ 守恒；若 $L = \infty$ ，则体内和表面质量分别守恒。

特别地，对于耦合参数 $$K$$ ：

当 $K \in (0, \infty]$ 时，直接通过隐式时间离散化方案构造弱解。
当 $$K = 0$$ 时，由于存在迹约束 $\phi = \alpha \psi$ ，直接离散化遇到困难。作者首先证明 $K \in (0, \infty]$ 时的解存在，然后通过取极限 $K \to 0$ 得到 $$K=0$$ 时的弱解。

2. 高摩擦与解耦极限 (Asymptotic Limit)

定理概述：考虑参数同时趋向于无穷大的情况：摩擦系数 $\gamma \to \infty$ ，耦合参数 $K \to \infty$ 和 $L \to \infty$ 。令 $\{(v_\epsilon, w_\epsilon, \phi_\epsilon, \psi_\epsilon)\}_{\epsilon > 0}$ 为对应于参数 $(\gamma/\epsilon, 1/\epsilon, 1/\epsilon)$ 的弱解序列。则该序列存在一个子列，在适当的拓扑下收敛到一组函数 $(v, \phi)$ ，且 $(v, \phi)$ 是 Abels-Garcke-Grün (AGG) 模型 (1.1) 的弱解。

收敛的具体形式包括：

$v_\epsilon \rightharpoonup v$ 在 $L^2(0, T; H^1_{0, div}(\Omega))$ 中。
$\phi_\epsilon \rightharpoonup \phi$ 在 $L^\infty(0, T; H^1(\Omega))$ 中。
表面变量 $w_\epsilon$ 和 $\psi_\epsilon$ 的行为在极限下消失或简化，最终只保留体内变量。
关键的技术支撑是凸自由能泛函 $\{\tilde{E}_{free}^K\}_{K>0}$ 的 Mosco 收敛性。作者证明了当 $K \to \infty$ 时， $\tilde{E}_{free}^K$ Mosco 收敛到仅包含体内项的能量泛函，且对应的次微分图也相应收敛，从而识别出极限系统中的化学势关系。

这一结果建立了带有动态边界条件的复杂体-表面模型与经典体相 AGG 模型之间的严格数学联系，表明在高摩擦和强解耦条件下，表面动力学的影响可以忽略不计，系统退化为经典的体内两相流模型。

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

本文的证明策略主要基于隐式时间离散化方案（Implicit Time-Discretization Scheme）和变分分析中的次微分理论。以下是核心技术和创新点的详细解析：

1. 隐式时间离散化方案 不同于传统的全局 Galerkin 方法或半 Galerkin 方法（后者依赖于 Schauder 不动点定理和连续依赖性估计，而在非退化迁移率的三维情况下不可用），作者采用了一阶向后欧拉格式进行时间离散化。这种方法的优势在于不需要对非线性对流项进行特殊的连续依赖性控制，而是通过单调算子理论和紧性论证来提取收敛子列。

具体步骤包括：

将时间区间 $$[0, T]$$ 划分为均匀网格 $t_n = n\tau$ 。
在每个时间步长内，求解一个代数-椭圆型方程组，近似原抛物型 PDE 系统。
利用离散能量估计获得解的一致先验界（Uniform A-priori Estimates）。这些界涉及 $$H^1$$ 范数、 $L^\infty$ 范数（针对相场）以及时间导数的分布意义下的界。
应用 Aubin-Lions-Simon 引理（或其变体）从一致有界的序列中提取强收敛子列，以便处理非线性项（如对流项 $\text{div}(\phi v)$ 和依赖相场的系数）。

2. 凸自由能部分的次微分刻画 这是本文最核心的分析工具和创新点之一。对于奇异自由能势（如 Flory-Huggins 势），标准的梯度流框架需要处理定义在扩展实值函数上的次微分。作者定义了凸自由能泛函 $\tilde{E}_{free}^K: L^2(\Omega) \times L^2(\Gamma) \to (-\infty, \infty]$ ，其定义域由相场的逐点界（如 $|\phi| \le 1$ ）决定。

关键引理（源自文献 [26] 并在本文中应用）提供了 $\tilde{E}_{free}^K$ 的次微分 $\partial \tilde{E}_{free}^K(\phi, \psi)$ 的显式表征。具体地， $(\mu, \theta) \in \partial \tilde{E}_{free}^K(\phi, \psi)$ 当且仅当存在某个辅助函数使得 Euler-Lagrange 方程成立，并且满足互补松弛条件。这种表征允许作者在离散系统中直接将化学势视为次微分元素，从而利用单调算子的理论来处理非线性项 $F'(\phi)$ 和 $G'(\psi)$ ，避免了额外的正则化技巧。

3. Mosco 收敛性与图收敛 为了处理渐近极限问题（特别是 $K \to 0$ 和 $K \to \infty$ ），作者深入研究了族 $\{\tilde{E}_{free}^K\}_{K>0}$ 的变分收敛性质。

Mosco 收敛: 证明了当 $K \to \infty$ 时， $\tilde{E}_{free}^K$ Mosco 收敛到不含表面耦合项的极限泛函。这意味着弱下半连续性和强上半连续性条件均满足。
图收敛 (Graph Convergence): 进一步证明了次微分算子 $\partial \tilde{E}_{free}^K$ 的图收敛性。即如果 $(\phi_K, \psi_K) \to (\phi, \psi)$ 强收敛且 $(\mu_K, \theta_K) \in \partial \tilde{E}_{free}^K(\phi_K, \psi_K)$ 弱收敛到 $(\mu, \theta)$ ，则 $(\mu, \theta) \in \partial \tilde{E}_{free}^{\infty}(\phi, \psi)$ 。这一结果至关重要，因为它允许作者在极限过程中识别出正确的化学势关系，从而证明极限解满足目标方程。

4. 处理 $$K=0$$ 的特殊策略 对于 $$K=0$$ 的情况，由于存在硬约束 $\phi = \alpha \psi$ ，标准的离散化无法保持这一约束同时满足所需的正则性。作者采用了“逼近-极限”策略：

首先固定 $$K > 0$$ ，利用上述隐式离散化方法构造解。
然后研究 $K \to 0$ 的极限。这需要证明当 $K \to 0$ 时，耦合项 $\chi(K)(\alpha \psi - \phi)^2$ 强制 $\phi$ 和 $\psi$ 在边界上趋于一致。通过 Mosco 收敛性（此时 $K \to 0$ 对应另一种极限泛函），作者证明了极限解满足 $$K=0$$ 时的约束条件和方程。

5. 体-表面乘积空间与投影技术 作者构建了专门的体-表面乘积 Hilbert 空间 $$H^s$$ 和 $V^1_{L, \beta}$ ，并利用了体-表面 Poincaré 不等式（Lemma 2.2）和 Korn 型不等式（Lemma 2.3）来获得必要的范数等价性和先验估计。此外，使用了 Helmholtz 投影 $P_{div}$ 和 $P_{\Gamma, div}$ 来处理无散度约束，将动量方程转化为投影后的形式，简化了压力项的处理。

这些方法的结合使得作者能够在不依赖维度限制（即适用于 $$d=2,3$$ ）和非退化迁移率的困难情况下，成功建立弱解的存在性并完成渐近分析。

4. 与之前工作的比较

本文将所提出的体-表面 Navier-Stokes-Cahn-Hilliard 模型与现有的相关文献进行了多方面的比较，主要体现在以下几个方面：

1. 与经典 Model H 和 AGG 模型的比较

边界条件的丰富性: 经典的 Model H [28, 29, 51] 和 Abels-Garcke-Grün (AGG) 模型 [5] 通常采用齐次 Neumann 边界条件 $\partial_n \phi = 0$ 和无滑移条件 $$v=0$$ 。前者隐含了固定的 90 度接触角，后者抑制了边界处的切向运动，因此无法准确描述移动接触线和可变接触角现象。相比之下，本文模型引入了动态边界条件和广义 Navier 滑移条件，允许边界拥有独立的自由能和相分离动力学，从而能够自然地描述可变接触角和体-表面间的质量传输。
表面动力学的纳入: 与仅关注体内动力学的 AGG 模型不同，本文模型包含了表面 Navier-Stokes 方程，描述了边界上的惯性、粘性和切向动量传输。这使得模型能够应用于生物膜等具有二维粘性流体特性的界面。文章最后通过高摩擦极限证明了在适当条件下，该复杂模型会退化为经典的 AGG 模型，从而在数学上确立了两者之间的联系。

2. 与先前带动态边界条件的 NSCH 模型研究的比较

Knopf & Stange [36] 的工作: 该文首次引入了热力学一致的体-表面 NSCH 模型并分析了其性质。然而，[36] 中的存在性证明主要依赖于半 Galerkin 方案和 Schauder 不动点定理，且仅限于常数迁移率函数。这是因为在半 Galerkin 方法中，需要建立关联的对流 Cahn-Hilliard 系统的连续依赖性估计，而对于非退化迁移率，这类估计目前仅在二维情况下可用（参见 [14, 49, 50]）。因此，[36] 的方法无法直接推广到三维或非退化迁移率情形。
本文的推进: 本文采用隐式时间离散化方案，绕过了对连续依赖性估计的需求。这一方法借鉴了 Abels, Garcke, Grün [3] 在处理 AGG 模型时的思路，并结合了 [26] 中关于体-表面自由能凸部分次微分的刻画。这使得本文能够首次在非退化迁移率和奇异自由能势的条件下，建立三维（及二维）全局弱解的存在性。这是一个显著的理论推进，扩大了模型适用的物理范围。

3. 与非对流及常迁移率情形的比较

非对流情形: 当速度场为零时，系统退化为非对流的体-表面 Cahn-Hilliard 方程。这一系统在文献 [13, 18, 27, 30, 31, 37-40, 50] 中得到了广泛研究。本文的结果可以视为这些静态或纯扩散情形在流动背景下的自然推广。
常迁移率情形: 对于常迁移率，[36] 已经建立了弱解的存在性。本文不仅涵盖了这一情形，还将其扩展到非退化迁移率，并且通过渐近极限分析揭示了模型在不同参数尺度下的行为，这是 [36] 未涉及的。

4. 与其他动态边界条件两相流模型的比较

文中提到了其他结合动态边界条件和广义 Navier 滑移条件的两相流模型，如 [11, 19-22, 25, 36]。这些模型通常关注不同的物理效应或数学结构。本文的创新点在于同时纳入了表面 Navier-Stokes 方程和体-表面 Cahn-Hilliard 耦合，形成了一个完整的热力学一致系统。此外，作者指出，本文使用的基于次微分刻画的隐式离散化方法具有普适性，有望应用于其他类似的带有动态边界条件的扩散界面模型。

5. 代价与局限

弱解的正则性: 与一些在二维情况下获得强解唯一性的工作（如 [49]）相比，本文主要关注全局弱解的存在性，并未提供唯一性或高阶正则性结果。这是处理高维非线性 PDE 和奇异势时的常见妥协。
计算复杂性: 隐式时间离散化方案虽然在理论上更为稳健，但在数值实现上可能需要求解大型非线性代数方程组，计算成本可能高于显式或半隐式方法。
参数限制的物理意义: 虽然数学上允许 $K, L \in [0, \infty]$ ，但在物理应用中，某些极端参数值（如 $$K=0$$ 或 $K=\infty$ ）可能对应特定的理想化物理情景，实际材料可能处于中间状态。不过，本文的渐近分析恰好覆盖了这些极端情况向经典模型过渡的过程，增强了模型的物理完备性。

综上所述，本文通过引入新的分析工具（隐式离散化+次微分理论+Mosco 收敛），克服了前人工作中因迁移率依赖性导致的维度限制，建立了更一般化的弱解理论，并通过渐近极限分析澄清了新模型与经典模型之间的关系，为该领域的后续研究提供了坚实的数学基础。

5. 三维磁流体力学 $$p$$ -拉普拉斯黏性有限元方法的稳定性、收敛性与误差分析

Stability, Convergence, and Error Analysis of Finite Element Methods for 3D Magnetohydrodynamics with $$p$$ -Laplacian Viscosity

作者: Kim Ngan Le, Akash Ashirbad Panda, Evana Islam Sarkar

类别: math.NA, math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24197v1

摘要翻译: 本文针对具有非线性 $$p$$ -拉普拉斯黏性的三维不可压缩磁流体力学（MHD）流动，发展了一种完全离散的有限元方法。该格式将空间有限元与半隐式 Euler 时间离散相结合。利用时间平移紧致性论证以及 Minty 单调性方法，证明了向弱解的收敛性。在附加正则性假设下，我们推导了速度和磁场两者的无条件误差估计，且时间步长与网格尺寸之间无耦合限制。该框架将不可压缩 MHD 系统的有限元分析推广到了非牛顿剪切增稠流体（ $$p>2$$ ），同时恢复了经典牛顿情形（ $$p=2$$ ）。最后，提供了数值模拟以验证理论收敛阶并展示所提方法的鲁棒性。

Comment: 41 pages, 19 figures

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

1. 研究对象和背景

磁流体力学 (MHD) 描述了导电流体与电磁场之间的宏观相互作用，在核聚变、天体物理、地球物理及冶金过程等领域具有核心应用价值。经典的 MHD 模型通常假设流体为牛顿流体，其粘性应力由标准的拉普拉斯算子描述。然而，许多实际介质（如聚合物熔体、具有异常扩散特性的等离子体以及强剪切条件下的天体或地质流动）表现出非牛顿特性，其粘度随剪切率非线性变化。为了更真实地模拟这些复杂现象，本文考虑了带有 $$p$$ -Laplacian 粘度的不可压缩 MHD 系统。

具体而言，研究问题设定在有界 Lipschitz 多面体区域 $D \subset \mathbb{R}^3$ 上，时间域为 $$(0, T)$$ 。控制方程组如下：

\begin{aligned} &u_t - \frac{\nu}{\rho}\text{div}(|\nabla u|^{p-2}\nabla u) + \text{div}(u \otimes u) + \nabla \frac{P^*}{\rho} + \frac{1}{\mu\rho}B \times (\nabla \times B) = g, \\ &B_t + \frac{1}{\mu\sigma}\nabla \times (\nabla \times B) - \nabla \times (u \times B) = f, \\ &\text{div}(u) = 0, \quad \text{div}(B) = 0. \end{aligned}

其中， $$u$$ 为速度场， $$B$$ 为磁感应强度， $$P^*$$ 为压力， $\rho, \nu, \mu, \sigma$ 分别为密度、运动粘度、磁导率和电导率， $$g$$ 和 $$f$$ 为外力源项。边界条件为 $$u=0$$ , $n \times \text{curl } B = 0$ , $n \cdot B = 0$ 。

该问题的核心数学难点在于动量方程中的非线性粘性项 $\text{div}(|\nabla u|^{p-2}\nabla u)$ 。当 $$p > 2$$ 时，对应于增稠（shear-thickening）流体；当 $$p = 2$$ 时退化为经典牛顿流体。与线性椭圆理论不同，这种强非线性使得直接应用经典存在性定理变得困难，且严重阻碍了数值解的收敛性证明和误差估计推导。此外，三维设置进一步加剧了数学上的复杂性，因为关键的 Sobolev 嵌入和插值不等式在三维中变得更弱或更精细，需要仔细处理非线性对流项和电磁耦合项。

尽管二维 MHD 的全局正则性已知，但三维情况下的全局正则性仍是未解难题。在数值分析方面，虽然针对牛顿流体 ( $$p=2$$ ) 的有限元方法已有大量研究（如 Prohl, Ding 等人的工作），但对于带有 $$p$$ -Laplacian 粘性的三维不可压缩 MHD 系统，严格的有限元收敛性和误差分析尚属空白。特别是，如何处理非线性粘性项导致的离散时间导数控制缺失，以及如何在不施加时间步长与网格尺寸耦合限制的情况下获得无条件误差估计，是该领域亟待解决的关键问题。本文旨在填补这一空白，建立适用于非牛顿增稠流体 ( $$p > 2$$ ) 的完整有限元分析框架。

2. 主要定理或主要结果

本文主要证明了以下结论：

完全离散格式的存在唯一性：对于任意给定的时间步长 $\Delta t > 0$ 和网格尺寸 $$h > 0$$ ，半隐式 Euler-有限元格式在每个时间层 $m=1, \dots, N$ 上存在唯一的离散解 $(u_h^m, B_h^m) \in X_{0,h} \times Y_h$ 。特别地，无需对 $\Delta t$ 和 $$h$$ 施加任何耦合限制条件。
离散解的稳定性：证明了离散解满足与 $$h$$ 和 $\Delta t$ 无关的统一稳定性估计。具体包括：
$\max_{0 \le m \le N} \left( \|u_h^m\|^2_{L^2} + \|B_h^m\|^2_{L^2} \right) \le C,$
$\Delta t \sum_{m=1}^N \left( \frac{\nu}{\rho} \|\nabla u_h^m\|^p_{L^p} + \frac{1}{\mu^2 \rho \sigma} \|\nabla \times B_h^m\|^2_{L^2} \right) \le C,$
以及离散时间差分的有界性：
$\sum_{m=1}^N \left( \|u_h^m - u_h^{m-1}\|^2_{L^2} + \frac{1}{\mu \rho} \|B_h^m - B_h^{m-1}\|^2_{L^2} \right) \le C.$
其中常数 $$C$$ 仅依赖于初始数据、源项范数、物理参数和时间 $$T$$ 。
向弱解的收敛性：在适当的正则性假设下，证明了完全离散解 $$(u_h, B_h)$$ 在适当拓扑意义下收敛到连续 $$p$$ -MHD 系统的弱解 $$(u, B)$$ 。收敛性证明结合了时间平移紧性论证和 Minty 单调性方法，以识别非线性极限。
无条件误差估计：在额外的正则性假设下，推导了速度和磁场关于时间和空间变量的无条件误差估计。即误差界不依赖于 $\Delta t$ 和 $$h$$ 之间的特定比例关系。误差估计中右侧出现 $$L^p$$ 范数，需要通过精细的操作来应用离散 Gronwall 引理。作者指出，所需的解的正则性假设比现有文献中常见的假设更弱。
数值验证：通过 FEniCS 软件进行的数值实验验证了理论收敛阶，并展示了所提方法在处理非线性 $$p$$ -MHD 系统时的鲁棒性。

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

本文的证明框架主要围绕克服 $$p$$ -Laplacian 非线性带来的分析障碍展开，核心技术点如下：

半隐式时间离散与固定点存在性：采用半隐式 Euler 格式处理时间项，其中对流项和电磁耦合项使用前一时间层的值（ $u_h^{m-1}, B_h^{m-1}$ ），而粘性项和扩散项在当前层隐式处理。由于动量方程中存在强非线性项 $$a_0(u_h^m)$$ ，直接求解困难。作者利用有限维空间上的不动点定理（基于 Lemma A.6）来证明每个时间层离散解的存在性。唯一性则通过比较两个解并利用 $$p$$ -Laplace 算子的强单调性以及对流项的反对称性（Temam 形式 $$a_1(u, v, v)=0$$ ）来证明，从而消去非线性项的影响。
时间平移技术 (Time-Translation Technique)：这是本文最核心的创新之一。在 $p \neq 2$ 的情况下，标准的能量估计无法直接提供离散时间导数 $$d_t u_h^m$$ 在双对偶空间中的有界性，这使得传统的 Aubin-Lions 紧性引理难以直接应用。为了解决这个问题，作者引入了时间平移技巧，即用离散速度的时间移位差（temporal shifts）的界来替代缺失的时间导数估计。这种方法提供了均匀的稳定性估计，使得能够应用紧性工具（如 Aubin-Lions 引理的变体）来获得强收敛性。
Minty 单调性方法 (Minty’s Monotonicity Method)：在从离散序列提取弱极限后，关键步骤是识别非线性粘性项 $\text{div}(|\nabla u_h|^{p-2}\nabla u_h)$ 的极限是否为 $\text{div}(|\nabla u|^{p-2}\nabla u)$ 。作者运用 Minty 单调性方法，利用 $$p$$ -Laplace 算子的严格单调性，严谨地证明了数值解确实收敛到连续问题的弱解。这一步骤是将离散分析连接到连续 PDE 理论的关键桥梁。
混合有限元空间与 Hodge 映射：空间离散采用混合有限元方法。速度场使用连续有限元，压力使用满足 Babuska-Brezzi 条件的多项式空间。磁场使用 Nédélec 边元以捕捉 curl 一致性。为了处理散度自由约束，作者引入了离散散度自由空间 $Y_{0,h}$ ，并利用 Hodge 映射 $L: H_0(\text{curl}; D) \to K$ 的性质。Hodge 映射的近似性质 $\|b_h - L(b_h)\|_{L^2} \le c h^{1/2+s} \|\nabla \times b_h\|_{L^2}$ 在误差分析中用于控制离散散度自由场与真正散度自由场之间的差异。
精细的离散 Gronwall 引理应用：在误差分析部分，由于非线性项导致误差方程中出现 $$L^p$$ 范数项，标准的离散 Gronwall 引理不能直接应用。作者发展了精细的代数操作和不等式技巧，将 $$L^p$$ 范数项控制在可由离散 Gronwall 引理处理的形式中，从而推导出无条件的误差估计。

4. 与之前工作的比较

本文将有限元分析扩展到了非牛顿增稠流体 ( $$p > 2$$ ) 的三维不可压缩 MHD 系统，相较于现有工作有以下主要推进和区别：

从牛顿流体到非牛顿流体的扩展：现有的 MHD 有限元分析（如 Prohl [33], Ding et al. [17], Meir [30] 等）主要针对经典牛顿流体 ( $$p=2$$ )。这些工作中，粘性项是线性的，允许直接使用标准的能量估计和紧性论证。本文首次针对 $$p$$ -Laplacian 粘性 ( $p \ge 2$ ) 建立了完整的收敛性和误差分析框架。这不仅涵盖了 $$p=2$$ 的经典情况，还推广到了 $$p>2$$ 的增稠流体，填补了非牛顿 MHD 数值分析的空白。
无条件误差估计 vs. 耦合限制：在许多早期的非线性抛物型问题或 MHD 有限元分析中，为了控制非线性项，往往需要对时间步长 $\Delta t$ 和网格尺寸 $$h$$ 施加耦合限制（例如 $\Delta t \le C h^\alpha$ ）。本文的一个重要贡献是推导出了无条件误差估计，即误差界不依赖于 $\Delta t$ 和 $$h$$ 之间的特定关系。这与 Breit et al. [6] 在 $$p$$ -Laplacian 抛物型方程中移除离散化限制的思路一致，但将其成功应用于更为复杂的耦合 MHD 系统。
时间平移技术的引入：与标准 Newtonian MHD 分析不同，本文面临的核心障碍是无法直接控制离散时间导数。作者采用的时间平移技术区别于传统的方法论。在 $$p$$ -Navier-Stokes 方程的分析中（如 Berselli et al. [4], Eckstein and Ruzicka [19]），虽然也涉及非线性粘性，但 MHD 系统中速度与磁场的耦合增加了额外的复杂性。本文通过将时间平移技术与 Minty 单调性方法结合，提供了一种处理这种耦合非线性的新范式。
正则性假设的放宽：作者指出，本文的误差分析所需的解的正则性假设比现有文献中常见的假设更弱。在许多 MHD 有限元误差分析中，通常需要解具有较高阶的空间和时间正则性（例如 $$H^2$$ 或 $W^{2,p}$ 级别）才能获得最优误差阶。本文通过精细的不等式处理和 $$L^p$$ 范数的操纵，可能在较低的正则性假设下获得了有效的误差界，这提高了理论的适用范围。
三维设置的挑战：大多数现有的 MHD 有限元收敛性结果集中在二维或简化的一维/球对称情况下，或者是在三维中仅证明局部存在性或弱收敛性。本文明确针对三维 Lipschitz 域，处理了三维中 Sobolev 嵌入较弱的问题，并给出了全局有限时间内的收敛性结果。这与 Sermange and Temam [36] 等关于三维 MHD 局部存在性的理论工作相呼应，但在数值逼近层面提供了更具体的保证。
与 $$p$$ -Laplacian 纯抛物型工作的区别：虽然 Barrett and Liu [3], Diening et al. [15] 等人已经建立了 $$p$$ -Laplacian 抛物型方程的有限元理论，但这些工作不涉及 MHD 的电磁耦合。MHD 系统中的 Lorentz 力项 $B \times (\nabla \times B)$ 和对流项 $u \times B$ 引入了额外的非线性耦合，使得简单的标量 $$p$$ -Laplacian 技术不足以解决问题。本文的创新在于将这些技术与向量场特有的 Hodge 分解和 Nédélec 元素相结合，解决了耦合系统的特殊困难。

综上所述，本文不仅在物理模型上从牛顿流体扩展到非牛顿增稠流体，而且在数学技术上通过时间平移和无条件误差估计，克服了非线性粘性带来的分析瓶颈，为三维非牛顿 MHD 的数值模拟提供了坚实的理论基础。

6. 带单调反应的正则化主观面流：粘性适定性与收敛性

Regularized Subjective-Surface Flow with Monotone Reaction: Viscosity Well-Posedness and Convergence

作者: Markjoe O. Uba

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24072v1

摘要翻译: 我们研究正则化主观面模型的 vanishing-regularization（正则化消失）极限，该模型最初为接触和分裂的细胞核引入，并已在固定正正则化参数下被分析。在光滑有界区域 $Ω\subset\mathbb R^d$ 上，该模型为

\begin{aligned} \partial_tu^{\eps,ν} ={}&νΔu^{\eps,ν} +A_\eps(\nabla u^{\eps,ν}) \operatorname{div}\!\left( G(x)\frac{\nabla u^{\eps,ν}} {A_\eps(\nabla u^{\eps,ν})} \right) -μR_η(x,u^{\eps,ν}),\\ &A_\eps(p)=\sqrt{\eps^2+|p|^2}, \qquad R_η(x,r)=Λ(x)H_η(r-q), \end{aligned}

满足齐次 Dirichlet 边界条件和给定的初始剖面。我们将极限加权水平集平均曲率方程表述为粘性初边值问题，并证明了整体存在性、唯一性、 $$[0,1]$$ 保持性以及关于初始数据的非扩张依赖性。我们确定了正则化主算子在零梯度处的直接上极限和下极限值，并识别出恢复几何方向值所需的额外论证。对于任意 $$T>0$$ ，当 $\eps,ν\to0$ 时，正则化解在 $[0,T]\times\overlineΩ$ 上一致收敛到唯一的粘性解，且与它们的相对衰减速率无关。这确定了用于三维及三维加时间显微镜分割的正则化模型的几何极限。

Comment: 无

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

1. 研究对象和背景

本文研究一种用于显微图像分割的正则化主观表面模型（regularized subjective-surface model）在正则化参数趋于零时的极限行为。该模型旨在处理细胞核等生物结构在发育过程中发生的接触、分离和形状变化，特别是当相邻结构的界面较弱或不完整时，需要保持分割结果在空间和时间上的连贯性。模型的核心是一个加权水平集平均曲率流方程，结合了图像信息（通过边缘系数 $$G(x)$$ ）和预定义的数据（如邻近对象的信息，通过相互作用权重 $\Lambda(x)$ ）。具体而言，研究对象是在光滑有界区域 $\Omega \subset \mathbb{R}^d$ 上定义的如下初边值问题：

\begin{aligned} \partial_t u^{\varepsilon, \nu} ={}& \nu \Delta u^{\varepsilon, \nu} + A_\varepsilon(\nabla u^{\varepsilon, \nu}) \operatorname{div}\!\left( G(x)\frac{\nabla u^{\varepsilon, \nu}} {A_\varepsilon(\nabla u^{\varepsilon, \nu})} \right) - \mu R_\eta(x, u^{\varepsilon, \nu}),\\ &A_\varepsilon(p)=\sqrt{\varepsilon^2+|p|^2}, \qquad R_\eta(x,r)=\Lambda(x)H_\eta(r-q), \end{aligned}

其中 $u^{\varepsilon, \nu}$ 是未知的分割函数， $\varepsilon > 0$ 和 $\nu > 0$ 分别是梯度正则化和扩散正则化参数， $$G(x)$$ 是由图像数据构造的边缘系数， $\Lambda(x)$ 是预定义的相互作用权重， $R_\eta(x, r)$ 是单调反应项， $H_\eta$ 是平滑的阶跃函数近似。

该模型的关键在于其几何极限方程。当 $\varepsilon, \nu \to 0$ 时，形式上的极限方程为加权水平集平均曲率流方程：

\partial_t u = G(x)|\nabla u| \operatorname{div}\!\left( \frac{\nabla u}{|\nabla u|} \right) + \nabla G(x) \cdot \nabla u - \mu R_\eta(x, u).

然而，该方程在梯度为零的点（即 $\nabla u = 0$ ）处是不确定的，因为曲率算子在平坦点没有经典定义。因此，必须使用粘性解（viscosity solution）理论来给出严格的数学定义。在粘性解框架中，零梯度点的取值由水平集平均曲率流的上下半连续延拓决定，这涉及方向极限的计算。

尽管对于固定的正参数 $\varepsilon, \nu > 0$ ，该模型的经典适定性已在先前工作 [9] 中得到解决（包括全局经典解的存在唯一性、Schauder 估计等），但关于正则化参数同时趋于零时的极限行为，特别是如何从正则化算子直接过渡到具有正确几何意义的极限算子，仍存在空白。主要困难在于，正则化主算子在零梯度处的直接上下极限值与几何方向极限值并不总是一致。这意味着标准的间断算子稳定性理论不能直接确定预期的极限方程。本文旨在填补这一空白，建立极限几何方程的全局粘性适定性，并证明正则化解以任意路径独立的方式一致收敛于该极限解。

2. 主要定理或主要结果

本文的主要结果包括以下几个方面：

几何方程的全局粘性适定性与稳定性 (Theorem 3.5): 在假设 3.1 下（包括 $\Omega$ 的光滑性和严格平均凸性， $$G$$ 的正性和边界常数性， $$u_0$$ 的边界相容性等），极限加权水平集平均曲率流方程
$\partial_t u - K(x, \nabla u, D^2u) + \mu R_\eta(x, u) = 0$
存在唯一的全局连续粘性解 $$u$$ 。该解满足区间保持性质，即对所有 $(t, x) \in [0, \infty) \times \Omega$ ，有 $0 \le u(t, x) \le 1$ 。此外，解对初始数据具有非扩张依赖性，即若 $$u$$ 和 $$v$$ 分别对应初始数据 $$u_0$$ 和 $$v_0$$ ，则
$\|u(t, \cdot) - v(t, \cdot)\|_{L^\infty(\Omega)} \le \|u_0 - v_0\|_{L^\infty(\Omega)}, \quad \forall t \ge 0.$
正则化算子在零梯度处的直接极限值 (Proposition 3.6): 作者明确计算了正则化主算子 $L_{\varepsilon, \nu}(x, p, X)$ 在 $(\varepsilon, \nu, p) \to (0, 0, 0)$ 时的上下极限值。设 $$X$$ 为对称矩阵，其特征值为 $\lambda_i(X)$ ，则
$J_*(x, 0, X) := \liminf_{(\varepsilon,\nu,y,p,Y)\to(0,0,x,0,X)} L_{\varepsilon,\nu}(y, p, Y) = -G(x) \operatorname{tr} X + G(x) \min\{0, \lambda_{\min}(X)\},$
$J^*(x, 0, X) := \limsup_{(\varepsilon,\nu,y,p,Y)\to(0,0,x,0,X)} L_{\varepsilon,\nu}(y, p, Y) = -G(x) \operatorname{tr} X + G(x) \max\{0, \lambda_{\max}(X)\}.$
这些值与几何粘性解所需的上下半连续延拓 $L_{\text{geo},*}$ 和 $L^*_{\text{geo}}$ 不同，后者分别为
$L_{\text{geo},*}(x, 0, X) = -G(x) (\operatorname{tr} X - \lambda_{\min}(X)), \quad L^*_{\text{geo}}(x, 0, X) = -G(x) (\operatorname{tr} X - \lambda_{\max}(X)).$
这表明直接取极限无法得到正确的几何算子，需要额外的论证。
粘性公式的等价性 (Proposition 3.7): 作者证明了在零梯度点处，基于几何上下半连续延拓的标准粘性公式与一种新的“消失导数”粘性公式（Definition 3.4）是等价的。这种等价性允许在处理收敛性证明时，将几何项和反应项分开处理，从而简化分析。
路径无关的一致收敛性 (Theorem 3.8): 对于任意趋近于 $$(0, 0)$$ 的正参数序列 $(\varepsilon_n, \nu_n)$ ，对应的正则化解 $u_{\varepsilon_n, \nu_n}$ 在全局时间区间 $$[0, T]$$ 上一致收敛于极限粘性解 $$u$$ ，即
$\lim_{n \to \infty} \|u_{\varepsilon_n, \nu_n} - u\|_{C([0,T]\times\Omega)} = 0.$
这一结论不依赖于 $\varepsilon_n$ 和 $\nu_n$ 趋于零的相对速率，即无论哪个参数衰减得更快，收敛性都成立。

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

本文的证明框架建立在现代非线性偏微分方程的粘性解理论和正则化方法之上，核心创新点在于处理零梯度点处的算子选择机制以及实现路径无关的收敛性证明。

粘性解框架与比较原理: 作者首先将极限方程表述为粘性初边值问题。关键工具是适用于一般退化椭圆算子的比较原理（Comparison Principle）。由于极限算子在零梯度点处是不连续的，标准的光滑算子比较原理不适用。作者利用了文献 [4] 中的定理 3.6.4，该定理要求算子满足特定的连续性、退化椭圆性和适当性（properness）条件。为了应用该定理，作者详细验证了加权曲率算子 $$K(x, p, X)$$ 的结构性质（Lemma 4.2），包括其在 $p \neq 0$ 时的连续性、退化椭圆性，以及在 $$p=0$$ 时的上下半连续延拓。特别地，作者证明了算子满足矩阵连续性估计（matrix-continuity estimate），这是处理间断算子比较原理的关键技术条件。通过引入单调反应项 $R_\eta$ ，作者还验证了算子的适当性，从而建立了包含反应项的比较原理（Theorem 5.3）。
Perron 构造法: 为了证明极限方程解的存在性，作者采用了 Perron 构造法。结合比较原理，作者构造了上解和下解族，并通过取上确界和下确界来生成候选解。随后，利用比较原理的唯一性部分，证明上解和下解重合，从而得到唯一的粘性解。这种方法避免了直接求解非线性 PDE 的困难，转而依赖解空间的序结构和比较原理。
零梯度点的算子选择机制: 本文的一个核心贡献是识别出正则化算子的直接极限值与几何极限值之间的差异。作者通过显式计算（Proposition 3.6）展示了这一点，并指出标准的间断算子稳定性理论不足以恢复正确的几何算子。为了解决这个问题，作者引入了一个等价的“消失导数”粘性公式（Definition 3.4），并在 Proposition 3.7 中证明了其与标准几何粘性公式的等价性。这一等价性允许作者在收敛性证明中，当测试函数的梯度消失时，能够正确地处理二阶导数项的贡献，从而绕过直接极限值的错误选择。
路径无关的收敛性证明: 证明正则化解收敛于粘性解通常需要紧性方法和子列提取。然而，由于正则化参数有两个（ $\varepsilon$ 和 $\nu$ ），且它们的相对速率可能影响极限行为，传统的逐参数收敛方法可能失效。作者的创新之处在于证明了收敛性是路径无关的。这得益于前述的等价粘性公式和分离处理几何项与反应项的策略。作者利用固定参数下的结构比较引理（Lemma 5.5）和严格比较引理（Lemma 5.6），构建了一个统一的框架，使得无论 $\varepsilon_n$ 和 $\nu_n$ 如何衰减，都可以将正则化解视为某个广义粘性问题的近似解，并最终证明其一致收敛于唯一的粘性解。这一过程避免了对参数衰减速率的任何假设，是该论文的重要技术突破。

4. 与之前工作的比较

本文与既有工作的主要区别和推进体现在以下几个方面：

从固定参数到消失正则化极限: 前作 [9] 主要关注固定正参数 $\varepsilon, \nu > 0$ 下的经典适定性，包括全局经典解的存在唯一性、有限时间 Schauder 估计以及区间保持性质。虽然这些结果为理解模型提供了基础，但它们并未回答当正则化效应消失时，模型趋向于什么几何流动的问题。本文首次系统地研究了 $\varepsilon, \nu \to 0$ 的极限行为，建立了极限几何方程的粘性适定性，并证明了正则化解向该极限解的收敛性。这填补了从正则化数值模型到理想几何模型的数学桥梁空白。
零梯度点算子选择的澄清: 在水平集平均曲率流的文献中，通常假设可以直接通过取极限或已知的几何延拓来确定零梯度点的值。然而，本文明确指出，对于这种带有特定正则化形式 $A_\varepsilon(p) = \sqrt{\varepsilon^2 + |p|^2}$ 的模型，正则化算子在零梯度处的直接上下极限值（ $$J_*$$ 和 $$J^*$$ ）与标准的几何上下半连续延拓（ $L_{\text{geo},*}$ 和 $L^*_{\text{geo}}$ ）是不同的。这一发现纠正了可能存在的误解，即认为简单的极限过程会自动产生正确的几何算子。作者通过引入等价的粘性公式和详细的稳定性论证，明确了如何从正则化模型正确过渡到几何模型，这是一个重要的理论澄清。
路径无关的收敛性: 许多涉及多个正则化参数的收敛性研究往往要求参数按特定比例衰减，或者仅考虑其中一个参数趋于零而另一个固定的情况。本文的一个重要结果是证明了收敛性不依赖于 $\varepsilon$ 和 $\nu$ 趋于零的相对速率。这意味着无论先去除梯度正则化还是扩散正则化，或者两者同时去除，最终得到的几何极限都是相同的。这一强收敛性结果增强了模型作为几何流动近似器的鲁棒性，使其在实际应用中更具可靠性。
包含单调反应项的加权曲率流: 现有的加权水平集平均曲率流文献大多聚焦于纯几何项或简单的线性反应项。本文将分析扩展到包含由预处理数据驱动的单调反应项 $R_\eta(x, u)$ 的情况。这种反应项在微观结构分割中至关重要，因为它编码了邻近对象的信息。作者成功地将这种非线性、非局部（通过 $\Lambda(x)$ ）的反应项纳入粘性解框架，并证明了其对解的适定性和收敛性的影响。特别是，作者利用了反应项的单调性（ $\partial_r R_\eta \ge 0$ ）来建立比较原理，这在处理复杂耦合系统时是一个关键技术优势。
边界条件的处理: 本文考虑了齐次 Dirichlet 边界条件，并假设初始数据在边界附近消失。这一设定符合实际分割问题中物体通常位于图像内部的情形。作者详细讨论了边界相容性条件，并利用严格平均凸性假设来保证粘性解在边界上的连续性和一致性。这与某些仅考虑周期边界或无边界情形的理论工作形成了对比，更贴近实际应用背景。

arXiv ID: 2608.24805v1

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

摘要: We consider the minimization problem

\min\left\{\int_{B_1}|Du|^2:\ u\in W^{1,2}(B_1;\mathbb R^n),\quad u=x\ \text{on }\partial B_1,\quad |u|\ge a\right\}, \quad 0<a<1.

Figalli, Guerra, Kim, and Shahgholian proved that the canonical radial vortex is the unique global minimizer for $n\ge7$ , and asked whether the same holds in dimensions $3\le n \le6$ . We answer this question affirmatively, thereby completing the global minimality and rigidity of the constraint map vortex in every dimension $n\ge3$ .

4. 二维库仑气体在扩散温度尺度下的均匀对数 Sobolev 不等式

Uniform logarithmic Sobolev inequalities for the 2D Coulomb gas at the diffusive temperature scale

作者: Matthew Rosenzweig

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

发布日期: 2026-08-25

arXiv ID: 2608.24863v1

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

摘要: For $N\ge2$ and $$β>0$$ , consider the canonical 2D Coulomb gas ensemble \begin{equation} \mathrm{d}\mathbb{P}{N,β}(Z) =\mathsf{Z}{N,β}^{-1}e^{-β|Z|^2/2} \prod_{i<j}|z_i-z_j|^{β/N},\mathrm{d}Z \qquad\text{on }\mathbb{C}^N. \end{equation} The factor $N^{-1}$ in the pair exponent places the ensemble at the diffusive, or high-temperature, scale. We prove that, for every fixed inverse temperature $$β>0$$ , this Gibbs measure satisfies a logarithmic Sobolev inequality (LSI) on the closed Dirichlet-form domain generated by collision-free compactly supported smooth functions, with a positive constant independent of $$N$$ . The LSI constant may be chosen uniformly when $$β$$ ranges over a compact subset of $(0,\infty)$ . A second main result establishes Poincaré and logarithmic Sobolev inequalities for planar Gaussian measures weighted by finite products of positive powers of distances to points, with constants depending only on the total variance of the underlying Gaussian measure and the total exponent, not on the number or locations of the points. To prove the full labeled Poincaré inequality, we decompose variance into permutation-invariant and label-dependent parts, controlled respectively by a weighted $\bar\partial$ estimate and by relative-coordinate conditioning with random transpositions; separately, one-site logarithmic Sobolev inequalities, a conditional entropy inequality, and a repulsive partition estimate give a defective logarithmic Sobolev inequality. Rothaus tightening combines the resulting full labeled Poincaré inequality with the defective logarithmic Sobolev inequality. No uniformity as $β\to0$ or $β\to\infty$ is asserted.

5. 关于拉伸管上实阶 $$s>0$$ 受限 Dirichlet Laplacian 的渐近行为

On the asymptotic behaviour of the restricted Dirichlet Laplacian of real order $$s>0$$ on stretching tubes

作者: Roberta Musina, Giulio Romani

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24589v1

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

摘要: We study spectral and variational properties of the (possibly) fractional Dirichlet Laplacian $\left(-Δ_{n+k}\right)^s\!$ , $$s>0$$ , on bounded subsets of $\mathbb R^n\times\mathbb R^k$ whose extent in one or more directions becomes much larger than in the remaining ones. We first investigate the asymptotic behaviour of the first eigenvalue on stretching (or thinning) tubes, covering in particular the case of integers $s\geq 2$ , for which $\left(-Δ_{n+k}\right)^s\!$ reduces to a polyharmonic operator. Then we compute the $$G$$ -limit of the rescaled operators, and the $$Γ$$ -limit of the corresponding rescaled quadratic forms.

6. 2-Hessian 方程凸解的内部 $C^{2,α}$ 正则性

Interior $C^{2,α}$ Regularity for Convex Solutions of the 2-Hessian Equation

作者: Xingchen Zhou, Ruixuan Zhu

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24604v1

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

摘要: We consider convex admissible viscosity solutions of $$σ_2(D^2u)=f>0$$ in an open subset of $\mathbb R^n$ , where $n\ge2$ , $$0<α<1$$ , and $f\in C_{\mathrm{loc}}^{0,α}$ . We prove that every such solution belongs to $C_{\mathrm{loc}}^{2,α}$ . For solutions in $$B_2$$ , we also prove a uniform $C^{2,α}(B_{1/4})$ estimate under an $L^\infty$ bound for $$u$$ , a positive lower bound for $$f$$ , and a $C^{0,α}$ bound for $$f$$ .

7. Lipschitz右端项的 $$σ_2/σ_1$$ 方程半凸解的内部Hessian估计

Interior Hessian Estimates for Semi-convex Solutions of the $$σ_2/σ_1$$ Equation with Lipschitz Right-Hand Sides

作者: Ke Ji, Lichun Liang

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24530v1

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

摘要: Let $n\ge2$ and let $$u$$ be a smooth 2-convex and semi-convex solution of

\frac{σ_2(D^2u)}{σ_1(D^2u)}=f(x).

We prove an interior Hessian estimate depending on the Lipschitz norm of $$f$$ . The proof combines the integral approach of Chen–Jian–Zhou with the algebraic reduction of the quotient equation to a $$σ_2$$ structure. The main new point is a shifted algebraic inequality that yields a shifted trace Jacobi inequality in divergence form for $\log(Δu+a)$ . We work with the linearized operator $$G=(Δu-f)I-D^2u$$ of the equivalent equation $$σ_2(D^2u)=f Δu$$ . The almost divergence-free identity $\partial_iG_{ij}=-f_j$ enables us to control the $$Δf$$ term by integration by parts solely in terms of the Lipschitz norm of $$f$$ . A Legendre–Lewy transformation converts the resulting degenerate divergence-form equation into a uniformly elliptic one. The estimate then follows from a mean-value inequality together with a weighted energy argument. As an application, in dimension two we obtain interior $$C^2$$ regularity for convex viscosity solutions with positive Lipschitz right-hand side. Moreover, our counterexamples show that the Lipschitz regularity required of the right-hand side is optimal.

8. 由 Dirichlet Laplacian 多项式生成的球约束流中的谱选择

Spectral Selection in Sphere-Constrained Flows Generated by Polynomials of the Dirichlet Laplacian

作者: Javed Hussain

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24444v1

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

摘要: Let $Ω\subset\mathbb{R}^d$ be a bounded smooth domain and let $$-Δ_D$$ be the positive Dirichlet Laplacian on $$L^2(Ω)$$ . For a real polynomial $$p$$ with positive leading coefficient, we study the constrained linear equation

u_t=-Π_u\,p(-Δ_D)u, \qquad \lVert u(0)\rVert_{L^2}=1.

Its solution is the normalized semigroup orbit

u(t)=\frac{e^{-t p(-Δ_D)}u_0} {\lVert e^{-t p(-Δ_D)}u_0\rVert_{L^2}}.

The active spectral support is preserved, and the trajectory converges to the normalized projection of $$u_0$$ onto the active eigenspaces for which $$p(λ_j)$$ is minimal. The next active polynomial spectral value gives the exponential rate. For every $θ\geq 0$ and $$τ>0$$ , the same rate holds in the domain of $$(-Δ_D)^θ$$ for $t\geqτ$ , even when the initial datum has no fractional regularity. We also show that a finite set of Dirichlet levels can be prescribed as the global minimizing set of a polynomial, and that an isolated selected set is stable under sufficiently small polynomial perturbations. For $$p(s)=s^m$$ , the lowest active Dirichlet level is selected. For $$p(s)=(s-ρ)^2$$ , selection is by distance from $$ρ$$ , and cross-level degeneracy occurs only at Dirichlet midpoints.

9. 非局部非线性方程的容量、Wiener 判据与精细连续性

Capacities, Wiener criteria and fine continuity for nonlocal nonlinear equations

作者: Anders Björn, Jana Björn, Minhyun Kim

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24418v1

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

摘要: In this paper we study nonlocal nonlinear equations of $$s$$ -fractional $$p$$ -Laplacian type in open subsets of $\mathbf{R}^n$ . We investigate how the boundary regularity of solutions depends on the parameters $$s$$ and $$p$$ , including the local case $$s=1$$ . Specifically, we show exactly when regularity for $$(s_1, p_1)$$ implies regularity for $$(s_2, p_2)$$ . The proof relies on the equivalence between Wiener criteria formulated with condenser and Sobolev capacities. To establish this equivalence, we derive precise comparison estimates between the two capacities. The Wiener integral defines thinness and the fine topology. We show that every superharmonic function associated with a nonlocal nonlinear operator is finely continuous. Moreover, we prove that polar sets in this fractional setting coincide with sets of zero capacity.

10. 带反对称势的临界 n-Laplace 系统的一个不连续解

A Discontinuous Solution of the Critical n-Laplace System with Antisymmetric Potential

作者: Dominik Schlagenhauf

类别: math.AP, math.DG

发布日期: 2026-08-25

arXiv ID: 2608.24393v1

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

摘要: Let $$n>2$$ . We construct a map $U\in W^{1,n}(B^n,\mathbb{R}^{n+2})$ that is discontinuous at the origin and smooth on the punctured ball $B^n \setminus \{0\}$ , together with an antisymmetric potential $Ω\in L^n(B^n,so(n+2)\otimes\mathbb{R}^n)$ such that $-\mathrm{Div}(|\nabla U|^{n-2}\nabla U)=Ω\cdot |\nabla U|^{n-2}\nabla U$ in $$D'(B^n)$$ . This gives a negative answer to a regularity question posed by Rivière. Our potential admits the Lorentz-space regularity $Ω\in \bigcap_{q>2}L^{(n,q)} \setminus L^{(n,2)}$ . In addition for given $1<p<\infty$ we can enforce $\nabla U \in L^{(n,p)}$ but $\nabla U \notin L^{(n,1)}$ . The construction does not give a counterexample to regularity for weakly $$n$$ -harmonic maps or for higher-dimensional $$H$$ -systems. The example was generated by ChatGPT 5.6 Sol on August 5, 2026. The work itself was written by the author and thoroughly reviewed to ensure its correctness.

11. 临界分数阶 Hardy 不等式

Critical fractional Hardy inequalities

作者: Krzysztof Bogdan, Bartłomiej Dyda, Antoni Szczukiewicz

类别: math.AP, math.CA

发布日期: 2026-08-25

arXiv ID: 2608.24389v1

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

摘要: We give a roadmap for the study of critical fractional Hardy inequalities for Dirichlet and Sobolev–Bregman forms. We focus on homogeneous forms on the real line, in particular the form of the fractional Laplacian and the Servadei–Valdinoci form. We prove criticality results in both the Dirichlet and Sobolev–Bregman settings.

12. 非退化拟线性抛物线系统的分层局部零可控性

Hierarchical local null controllability for a non-degenerate quasi-linear parabolic system

作者: Cristian Loli, George J. Bautista, Juan Limaco, Rafael Lobosco, Dany Nina-Huaman, Luis P. Yapu

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24379v1

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

摘要: In this manuscript, we are concerned with the hierarchical control of a non-degenerate quasi-linear parabolic system, posed on a bounded interval. We use the Stackelberg-Nash strategy with a single control called leader and two controls called followers. First, we study the controllability for the linear system, where we will demonstrate a Carleman inequality associated with the adjoint problem. Then, using the results obtained for the linear case and applying Liusternik’s Inverse Function Theorem, we obtain local null controllability for the quasi-linear problem.

13. 保守二组分偏微分方程系统中 $$O(2)$$ -Hopf 分岔处的波选择

Wave Selection at an $$O(2)$$ -Hopf Bifurcation in Conservative Two-Component PDE Systems

作者: Saadet S. Özer, Taylan Şengül, Burhan Tiryakioglu

类别: math.DS, math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24376v1

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

摘要: At an $$O(2)$$ -equivariant Hopf bifurcation a spatially periodic system selects between traveling waves and standing waves, and which branch appears and whether it is stable is decided by two cubic normal form coefficients. Obtaining these coefficients for a given PDE has required a derivation carried out afresh for each model. We remove that step for two-component systems with conservative polynomial differential nonlinearities on a one-dimensional periodic domain, deriving closed form formulas for both coefficients. They are expressed directly in terms of the array of nonlinear PDE coefficients and the spectral data of the linearization, its critical eigenvectors, adjoint eigenvectors, and non-critical resolvents. We give verifiable conditions under which the underlying center manifold reduction is valid: a structural condition on the principal part of the linearization that yields the required resolvent estimate, and a condition on the Fourier symbol that we show is equivalent to the required spectral gap. In contrast to the model specific computations available previously, the resulting formulas apply to any system in the class without further derivation. A companion implementation evaluates the two normal form coefficients from the coefficient array and verifies the assumptions for a given system. We specialize the formulas to two applications: a strain-gradient regularization of the nonlinear $$p$$ -system, whose quadratic case contains a previously studied model as a special case, and a first order conservative bilinear family, not previously analyzed, in which every bifurcation scenario allowed by the general classification is realized.

14. 亚波长介电散射的非线性模态缩减

Nonlinear Modal Reduction for Subwavelength Dielectric Scattering

作者: Habib Ammari, Ioan Gorea, Bowen Li

类别: math.AP, math.NA

发布日期: 2026-08-25

arXiv ID: 2608.24290v1

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

摘要: We study three-dimensional wave scattering by high-index dielectric resonators with Kerr-type nonlinearity under plane-wave incidence, together with the associated nonlinear dielectric scattering resonances, through a nonlinear Lippmann-Schwinger equation. Using a Lyapunov-Schmidt reduction near a simple eigenmode of the Newtonian potential, we obtain a local decomposition of the scattered wave into a resonant contribution and a controlled remainder and derive an explicit nonlinear equation for the resonant modal coefficient for sufficiently small contrast parameter and locally small resonant amplitude and incident field. A second reduction covers the regime of incident fields of order one and weak nonlinearity. Our results extend for the first time the linear modal decomposition to nonlinear wave-scattering problems. We complement them by developing a numerical framework based on Nyström discretization, real Newton iteration, and pseudo-arclength continuation. For single resonators of several geometries, our computations confirm the predicted high-contrast resonance scaling and the nonlinear modal approximation, and exhibit the multivalued incident-wave response. For a mirror-symmetric resonator dimer, we track symmetric, antisymmetric, and symmetry-broken resonance branches over a broad range of separations. Our computations show that the symmetry-breaking threshold increases as the gap between the resonators decreases, in agreement with the leading-order bifurcation theory.

15. 带时空非局部算子的分数阶抛物方程的加权混合范数估计

Weighted mixed-norm estimates for fractional parabolic equations with space-time nonlocal operators

作者: Hongjie Dong, Junhee Ryu

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24285v1

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

摘要: We establish weighted mixed-norm estimates for fractional parabolic equations \begin{equation*} \partial_t^αu=Lu-λu+f \text{ in } (0,T)\times\mathbb{R}^d, \end{equation*} with nonlocal operators in both time and space. Here, $\partial_t^α$ is the Caputo derivative of order $α\in(0,1)$ , and $$L$$ is a spatially nonlocal operator of order $σ\in(0,2)$ whose kernel is merely measurable in time. We also obtain the corresponding estimates in the odd mixed-norm spaces, where the inner integration is taken in time and the outer one in space. The estimates are robust in the limit $α\to1$ and $σ\to2$ . We also establish unique solvability when either $T<\infty$ or $$λ>0$$ . The proof is based on a direction-by-direction extension argument.

16. 希尔伯特空间中弹性的内在结构

Intrinsic Structure of Elasticity in Hilbert Space

作者: Cristian G. Gebhardt, Johannes Lankeit, Marc C. Steinbach

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

发布日期: 2026-08-25

arXiv ID: 2608.24264v1

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

摘要: Mathematical elasticity has a long history and a huge body of literature. Surprisingly, at its heart elasticity exhibits a rich and transparent structure that, to our knowledge, is rarely presented in an explicit and unified form. Using standard tools from functional analysis, this article reveals four orthogonal decompositions of Hilbert spaces that characterize the static equilibrium of an elastic body at small deformations, universally for arbitrary spatial dimension, arbitrary boundary conditions, and classical as well as data-driven formulations. Regarding data-driven continuum mechanics, it highlights the intrinsic structure that remains unchanged when constitutive laws are replaced by material data sets.

17. Lipschitz 域上 Dirichlet 问题的端点非正则性——一个初等证明

End-point non-regularity of the Dirichlet problem on Lipschitz domains – An elementary proof

作者: Martin Costabel, Monique Dauge

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24198v1

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

摘要: We construct a plane Lipschitz domain for which the range of the Laplace operator from $H^{3/2}\cap H^1_0$ to $H^{-1/2}$ is not closed. We show that rapid oscillations of the boundary create a boundary layer that leads to unbounded $H^{3/2}$ norm of the solution of the Dirichlet problem. Our proof is elementary in the sense that it is directly based on homogeneity arguments and does not use deep results of harmonic analysis such as estimates of area integrals or harmonic measures of Dahlberg or Jerison and Kenig.

18. 临界三物种竞争-扩散：行波刚性及最快物种选择

Critical Three-Species Competition-Diffusion: Traveling-Wave Rigidity and the Fastest-Species Selection

作者: Haozhe Shu, Dongyuan Xiao

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.24253v1

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

摘要: We study the rigidity of traveling waves and long-time species selection in a one-dimensional critical three-species competition-diffusion system. We establish several rigidity results for traveling waves connecting distinct equilibria on the critical simplex. In the case where one species has a strictly larger Fisher-KPP spreading speed than the other two, an entropy method, combined with Gagliardo-Nirenberg and Nash inequalities yieldsuniform extinction of the slower species and convergence to the fastest-species equilibrium throughout every cone with speed below its KPP speed.

19. 关于非全局 Lipschitz 系数随机半线性偏微分方程的最优控制问题

On the Optimal Control Problem of Stochastic Semilinear Partial Differential Equations with Non-Globally Lipschitz Coefficients

作者: Oleksiy Kapustyan, Olha Martynyuk, Oleksandr Misiats, Oleksandr Stanzhytskyi

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.23985v1

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

摘要: In this paper, we study optimal control problems for stochastic semilinear partial differential equations, which lack the maximum principle, and whose coefficients do not have bounded Frechet derivatives. We propose an approximation scheme for the corresponding optimization problem, and prove convergence of the approximating solutions on both finite and infinite time intervals.

20. 具有非局部促进与竞争的种群模型中核依赖的图形成成

Kernel-Dependent Pattern Formation in a Population Model with Nonlocal Facilitation and Competition

作者: Olivia Clifton, Stephanie Dodson, Daniel B. Cooney

类别: math.DS, math.AP, nlin.PS, q-bio.PE

发布日期: 2026-08-25

arXiv ID: 2608.23964v1

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

摘要: Spatial patterns, such as those in dryland vegetation models, have historically been studied in systems of reaction-diffusion systems with pattern onset via a Turing bifurcation from a spatially uniform state. More recently, spatial patterns have been considered in models that incorporate spatially extended interactions via nonlocal interaction kernels. It remains largely underexplored if and how the choice of nonlocal interaction kernel contributes to differences in pattern formation and persistence, particularly in models that contain competition and facilitation. Here, we investigate spatial patterns in a reaction-diffusion model for a single species that includes nonlocal competition and facilitation processes; Gaussian, exponential, algebraic, hat, and smooth hat kernels are considered as specific examples. Via a center manifold analysis, and using the relative spatial scale of competition to facilitation and the death rate as bifurcation parameters, we identify that the choice of kernel has impacts on the pattern forming bifurcation. Bifurcations using the Gaussian, exponential, and algebraic kernels largely follow expectations of Turing patterns, but patterns in the hat and smooth hat kernels can form even when the scale of competition is less than that of facilitation. The dynamics of patterns far from onset are investigated via numerical continuation methods. The model produces the so-called “Turing-before-Tipping” phenomenon demonstrating that the arrangement into spatial patterns is an effective resilience mechanism against harsh conditions. Again, there is a kernel-dependent dichotomy in pattern behavior. Early warning signs for population extinction are observed with the Gaussian, exponential, and algebraic kernels, but not under the hat or smooth hat cases.

21. 具有有限个输出函数的 Borell–Brascamp–Lieb 不等式

Borell–Brascamp–Lieb inequality with finitely many output functions

作者: Takashi Satomi

类别: math.CA, math.AP, math.FA, math.MG, math.PR

发布日期: 2026-08-25

arXiv ID: 2608.23963v1

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

摘要: The classical Borell–Brascamp–Lieb inequality for multiple functions is an integral inequality relating finitely many input functions to a single output function. In this paper, we give an extension that allows a distinct output function for each input function. More precisely, we establish the following inequality. For a weight $λ= ( λ_1 , \dots , λ_m )$ , we set $z_λ( x ) := \sum_{ i = 1 }^m λ_i x_i$ and denote by $$ M_p^λ$$ the weighted power mean of power $$ p $$ . In addition, the power transform $$ Q_d $$ is defined as the continuous extension of $p \mapsto p / ( 1 - d p )$ . We consider integrable functions $f_1 , \dots , f_m , g_1 , \dots , g_m \colon \mathbb{ R }^d \to \mathbb{ R }_{ \geq 0 }$ satisfying $0 < \| f_i \|_1 < \infty$ for every $i = 1 , 2 , \dots , m$ . Then one has

\operatorname*{ess\,inf}_{ x = ( x_1 , \dots , x_m ) } M_p^λ\left( \frac{ g_1 ( z_λ( x ) ) }{ f_1 ( x_1 ) }, \dots , \frac{ g_m ( z_λ( x ) ) }{ f_m ( x_m ) } \right) \leq M_{ Q_d ( p ) }^λ\left( \frac{ \| g_1 \|_1 }{ \| f_1 \|_1 }, \dots , \frac{ \| g_m \|_1 }{ \| f_m \|_1 } \right)

for any $- \infty \leq p \leq 1 / d$ , where the essential infimum is taken over the set of points satisfying $$ f_i ( x_i ) > 0 $$ for every $i = 1 , 2 , \dots , m$ . When all output functions $g_1 , \dots , g_m$ are equal, this recovers the classical Borell–Brascamp–Lieb inequality for multiple functions. When $$ p = 0 $$ and the hypothesis is imposed pointwise, it coincides with a special case of the multi-output Prékopa–Leindler inequality of Cordero-Erausquin–Maurey.

22. 凸 Hamilton-Jacobi 方程障碍问题的定量均匀化

Quantitative homogenization for obstacle problems of convex Hamilton-Jacobi equations

作者: Takuya Sato, Jingcheng Ye

类别: math.AP

发布日期: 2026-08-25

arXiv ID: 2608.23951v1

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

摘要: We study the homogenization for obstacle problems of convex Hamilton-Jacobi equations in periodic media with obstacle functions depending on both macroscopic and microscopic spatial variables. Based on the methods of analyzing variational representation formulas, we establish the optimal convergence rate $O( \varepsilon )$ for the homogenization limit under the assumption that the obstacle function is Lipschitz continuous. Moreover, we show that this convergence rate may deteriorate due to the presence of the obstacle when the obstacle function is not Lipschitz continuous, by constructing an example.

23. Liouville 定理与 Evans-Krylov 估计

Liouville theorems and Evans-Krylov estimates

作者: Yifan Chen, Hans-Joachim Hein, Ryan Mc Gowan

类别: math.DG, math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23772v1

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

摘要: A classical idea in analysis going back at least to work of Simon (1997) is that Liouville theorems for solutions to elliptic or parabolic PDEs are equivalent to Schauder type regularity estimates. The goal of this course is to describe some recent developments of this idea concerning the regularity of the complex Monge-Ampère equation with respect to singular reference metrics. We will start with a quick look at the classical $$C^2$$ and $$C^3$$ estimates of Calabi-Aubin-Yau and then present a new proof of the Evans-Krylov $C^{2,α}$ estimate on a Euclidean ball. Based on this we will consider the case of singular backgrounds such as cylinders and cones, discussing some recent work by Hein, Tosatti, Lee and Klemmensen. Our discussion is far from complete and knowledge of Kähler geometry including the Aubin-Yau theorems is assumed. The course includes five exercises with solutions and a problem list.

24. 紧度量图上线性归一化解的最能量唯一性与非唯一性

Uniqueness and non-uniqueness of least energy normalized solutions for nonlinear Schrödinger equations on compact metric graphs

作者: Simone Dovetta, Lun Guo

类别: math.AP

发布日期: 2026-08-24

arXiv ID: 2608.23710v1

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

摘要: We investigate uniqueness and non-uniqueness of least energy normalized and least energy nodal normalized solutions for nonlinear Schrödinger equations on compact metric graphs. We first prove existence of least energy nodal normalized solutions in the $$L^2$$ -subcritical regime and, at the critical exponent, below a graph-dependent threshold. We then establish a conditional non-uniqueness result for slightly $$L^2$$ -subcritical powers and identify broad classes of graphs for which the required condition either holds or fails. In particular, we prove uniqueness of least energy nodal normalized solutions on the interval for every mass and every $p\in(2,6)$ . Finally, using ODE and phase-plane techniques, we show that least energy normalized solutions on the interval are unique for $$p$$ sufficiently close to $$2$$ . Overall, the results reveal a strong dependence of the uniqueness picture on the nonlinearity power, the topology, and the metric of the graph, and a structural difference between the constant sign and the sign-changing settings.

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

1. Couette流附近无导数条件的无粘性阻尼#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

2. 通过逐点 Leibniz 交换子公式证明临界 SQG 的全局正则性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

3. 若干活动标量方程的熵分析#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

4. 关于体-表面 Navier-Stokes-Cahn-Hilliard 模型：弱解的存在性与渐近极限#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

5. 三维磁流体力学 $p$-拉普拉斯黏性有限元方法的稳定性、收敛性与误差分析#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

6. 带单调反应的正则化主观面流：粘性适定性与收敛性#

1. 研究对象和背景#

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

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

4. 与之前工作的比较#

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

1. 具有短脉冲一般数据的三维稳态超音速流的激波形成#

摘要翻译#

2. 具有非线性预期和智能控制边界的新型交通流模型：存在性、长时间行为和大弛豫时间极限#

摘要翻译#

3. 五十年变系数波动方程研究：变分视角与新前沿#

摘要翻译#

4. 能量临界复 Ginzburg–Landau 方程的全局正则性与一般系数奇异极限#

摘要翻译#

5. 二维 Dunkl Newton 核与 Green 核的 BMO 分类#

摘要翻译#

6. 聚集-扩散模型中的平滑效应与唯一性#

摘要翻译#

不相关论文（基本信息）#

1. 全支集的分布零因子#

2. 由两相 Stefan 问题引起的传输问题#

3. 约束映射涡旋的全局极小性与刚性#

4. 二维库仑气体在扩散温度尺度下的均匀对数 Sobolev 不等式#

5. 关于拉伸管上实阶 $s>0$ 受限 Dirichlet Laplacian 的渐近行为#

6. 2-Hessian 方程凸解的内部 $C^{2,α}$ 正则性#

7. Lipschitz右端项的$σ_2/σ_1$方程半凸解的内部Hessian估计#

8. 由 Dirichlet Laplacian 多项式生成的球约束流中的谱选择#

9. 非局部非线性方程的容量、Wiener 判据与精细连续性#

10. 带反对称势的临界 n-Laplace 系统的一个不连续解#

11. 临界分数阶 Hardy 不等式#

12. 非退化拟线性抛物线系统的分层局部零可控性#

13. 保守二组分偏微分方程系统中 $O(2)$-Hopf 分岔处的波选择#

14. 亚波长介电散射的非线性模态缩减#

15. 带时空非局部算子的分数阶抛物方程的加权混合范数估计#

16. 希尔伯特空间中弹性的内在结构#

17. Lipschitz 域上 Dirichlet 问题的端点非正则性——一个初等证明#

18. 临界三物种竞争-扩散：行波刚性及最快物种选择#

19. 关于非全局 Lipschitz 系数随机半线性偏微分方程的最优控制问题#

20. 具有非局部促进与竞争的种群模型中核依赖的图形成成#

21. 具有有限个输出函数的 Borell–Brascamp–Lieb 不等式#

22. 凸 Hamilton-Jacobi 方程障碍问题的定量均匀化#

23. Liouville 定理与 Evans-Krylov 估计#

24. 紧度量图上线性归一化解的最能量唯一性与非唯一性#

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

1. Couette流附近无导数条件的无粘性阻尼

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

2. 通过逐点 Leibniz 交换子公式证明临界 SQG 的全局正则性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

3. 若干活动标量方程的熵分析

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

4. 关于体-表面 Navier-Stokes-Cahn-Hilliard 模型：弱解的存在性与渐近极限

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

5. 三维磁流体力学 $$p$$ -拉普拉斯黏性有限元方法的稳定性、收敛性与误差分析

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

6. 带单调反应的正则化主观面流：粘性适定性与收敛性

1. 研究对象和背景

2. 主要定理或主要结果

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

4. 与之前工作的比较

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

1. 具有短脉冲一般数据的三维稳态超音速流的激波形成

摘要翻译

2. 具有非线性预期和智能控制边界的新型交通流模型：存在性、长时间行为和大弛豫时间极限

摘要翻译

3. 五十年变系数波动方程研究：变分视角与新前沿

摘要翻译

4. 能量临界复 Ginzburg–Landau 方程的全局正则性与一般系数奇异极限

摘要翻译

5. 二维 Dunkl Newton 核与 Green 核的 BMO 分类

摘要翻译

6. 聚集-扩散模型中的平滑效应与唯一性

摘要翻译

不相关论文（基本信息）

1. 全支集的分布零因子

2. 由两相 Stefan 问题引起的传输问题

3. 约束映射涡旋的全局极小性与刚性

4. 二维库仑气体在扩散温度尺度下的均匀对数 Sobolev 不等式

5. 关于拉伸管上实阶 $$s>0$$ 受限 Dirichlet Laplacian 的渐近行为

6. 2-Hessian 方程凸解的内部 $C^{2,α}$ 正则性

7. Lipschitz右端项的 $$σ_2/σ_1$$ 方程半凸解的内部Hessian估计

8. 由 Dirichlet Laplacian 多项式生成的球约束流中的谱选择

9. 非局部非线性方程的容量、Wiener 判据与精细连续性

10. 带反对称势的临界 n-Laplace 系统的一个不连续解

11. 临界分数阶 Hardy 不等式

12. 非退化拟线性抛物线系统的分层局部零可控性

13. 保守二组分偏微分方程系统中 $$O(2)$$ -Hopf 分岔处的波选择

14. 亚波长介电散射的非线性模态缩减

15. 带时空非局部算子的分数阶抛物方程的加权混合范数估计

16. 希尔伯特空间中弹性的内在结构

17. Lipschitz 域上 Dirichlet 问题的端点非正则性——一个初等证明

18. 临界三物种竞争-扩散：行波刚性及最快物种选择

19. 关于非全局 Lipschitz 系数随机半线性偏微分方程的最优控制问题

20. 具有非局部促进与竞争的种群模型中核依赖的图形成成

21. 具有有限个输出函数的 Borell–Brascamp–Lieb 不等式

22. 凸 Hamilton-Jacobi 方程障碍问题的定量均匀化

23. Liouville 定理与 Evans-Krylov 估计

24. 紧度量图上线性归一化解的最能量唯一性与非唯一性