Weak Harnack inequality and Cartan property for nonlocal $W^{s,1}$-minimizers

1. 研究背景与问题 (Problem)

核心问题：
本文旨在研究定义在完备、连通且配备加倍测度（doubling measure）的度量测度空间 $(X, d, \mu)$ 上的非局部 $W^{s,1}$-极小化元（nonlocal $W^{s,1}$-minimizers）的正则性理论。具体而言，关注的是指数 $p=1$ 的分数阶变分问题。

背景与挑战：

• 已有成果： 对于 $1 < p < \infty$ 的情况，Di Castro, Kuusi 和 Palatucci (2016) 已经建立了分数阶 $p$-Laplacian 方程的弱 Harnack 不等式，并证明了弱解的局部 Hölder 连续性。
• $p=1$ 的特殊性： 当 $p=1$ 时，对应的泛函涉及 $L^1$ 范数，其变分导数具有奇异性。在局部情形下，$BV$（有界变差）极小化元通常不具备 Hölder 连续性，甚至可能不连续。在分数阶情形下，由于非局部相互作用的特性，解的正则性更加复杂。
• 研究缺口： 在 $p=1$ 的分数阶情形下，缺乏系统的弱 Harnack 不等式以及相关的细部性质（如 Cartan 性质）的研究。此外，现有的结果大多局限于欧几里得空间，缺乏在一般度量测度空间中的推广。

目标：
建立 $p=1$ 情形下的弱 Harnack 不等式，证明解的半连续性，并推导关于超极小化元（superminimizers）的 Cartan 型性质（描述集合在极小化元意义下的“薄”性）。

---

2. 方法论 (Methodology)

本文采用了几何测度论、非局部变分法以及度量测度空间分析相结合的方法。

主要工具与框架：

1. 度量测度空间设置： 假设空间 $(X, d, \mu)$ 是完备、连通的，且测度 $\mu$ 满足加倍条件（Doubling condition）。定义了加倍维数 $Q$。
2. 非局部泛函： 定义能量泛函 $F_s(u)$，涉及非局部梯度项：
   $$\int_{\Omega}\int_{\Omega} \frac{|u(x)-u(y)|}{\mu(B_{x,y})d(x,y)^s} d\mu(x)d\mu(y) + 2\int_{\Omega}\int_{\Omega^c} \dots$$
   其中 $B_{x,y} = B(x, d(x,y)) \cup B(y, d(y,x))$。
3. 极小化元定义： 定义了 $s$-次极小化元（subminimizer）和超极小化元（superminimizer），即对于非负（或非正）的扰动 $\eta \in W^{s,1}_0(\Omega)$，能量泛函不增加。
4. 障碍问题（Obstacle Problem）： 利用障碍问题的解作为构造工具。证明了障碍问题的解也是 $s$-超极小化元。
5. Caccioppoli-De Giorgi 型不等式： 通过选取特定的测试函数（如 $\eta = -\phi(u-k)_+$），推导了非局部情形下的 Caccioppoli 不等式，这是证明 Harnack 不等式的关键步骤。
6. 分数阶 Poincaré 不等式： 利用文献 [KLLZ25] 中证明的尖锐分数阶 Poincaré 不等式，特别是在 $s \to 1^-$ 时常数的一致有界性。
7. 容量与薄性（Capacity and Thinness）： 引入 $(s, 1)$-容量 $C_{s,1}$ 和 $s$-薄性（s-thin）的概念，用于描述集合在极小化元意义下的“小”程度。

---

3. 主要贡献与结果 (Key Contributions & Results)

3.1 弱 Harnack 不等式 (Weak Harnack Inequality)

定理 1.1： 在完备、连通的加倍度量测度空间中，对于 $s$-次极小化元 $u$，存在常数 $C$ 使得对于任意球 $B(x_0, R) \subset \Omega$ 和子球 $B(x_0, r)$，有：
$$\text{ess sup}_{y \in B(x_0, r)} (u(y) - k_0) \leq C \left(\frac{R}{R-r}\right)^Q \fint_{B(x_0, R)} (u - k_0)_+ d\mu$$
关键特征：

• 无尾项（Tail-free）： 与 $p>1$ 的情形不同，该不等式不包含通常出现在分数阶 Harnack 不等式中的“尾项”（Tail term）。这是因为 $p=1$ 时，非局部相互作用的衰减性质不同。
• 常数稳定性： 如果空间支持 1-Poincaré 不等式，常数 $C$ 可以取为 $(C'/s)^{Q/s}$，当 $s \to 1^-$ 时是一致有界的。

3.2 半连续性 (Semicontinuity)

推论 1.2： 利用弱 Harnack 不等式，证明了 $s$-超极小化元的下近似极限 $u^\wedge$ 是下半连续的，$s$-次极小化元的上近似极限 $u^\vee$ 是上半连续的。

• 这意味着虽然解可能不连续（不像 $p>1$ 时的 Hölder 连续），但它们具有某种“准”连续性，可以通过选取合适的代表元来消除奇点。

3.3 弱 Cartan 性质 (Weak Cartan Property)

定理 1.3： 如果集合 $A$ 在点 $x \in A \setminus \bar{A}$ 处是 $s$-薄的，则存在有限个 $s$-超极小化元 $1_{E_j}$（$j=0, \dots, k-1$），使得：

• 在 $A \cap B(x, R)$ 上，$\max_j 1_{E_j}^\wedge \equiv 1$。
• 在点 $x$ 处，$\max_j 1_{E_j}^\vee(x) = 0$。
• 集合 $\{y : \max_j 1_{E_j}^\vee(y) > 0\}$ 在 $x$ 处是 $s$-薄的。
  意义： 这表明 $s$-薄集可以被有限个超极小化元“覆盖”，且这些超极小化元在集合内部取值为 1，但在边界点 $x$ 处取值为 0。这是局部 $BV$ 极小化元理论的分数阶类比。

3.4 强 Cartan 性质 (Strong Cartan Property)

定理 1.4： 如果点 $x$ 具有正容量（$C_{s,1}(\{x\}) > 0$）且 $A$ 在 $x$ 处是 $s$-薄的，则存在一个 $s$-超极小化元 $u$，使得：
$$\lim_{A \ni y \to x} u^\wedge(y) = \infty > u^\vee(x)$$
意义： 这展示了在正容量点处，超极小化元可以表现出剧烈的“爆破”行为（从内部趋向无穷大，但在该点本身有限），这是非局部极小化元特有的现象。

---

4. 技术细节与证明策略

1. Caccioppoli 不等式的推导：
   作者通过构造特定的测试函数 $\eta = -\phi(u-k)_+$，利用 Fatou 引理处理非局部项的极限，将能量泛函的变分不等式转化为关于 $(u-k)_+$ 的梯度估计。关键在于处理非局部项中的“尾”部分，利用加倍测度性质将其控制在局部积分范围内。

2. 迭代论证（De Giorgi 迭代）：
   利用 Caccioppoli 不等式和分数阶 Sobolev/Poincaré 不等式（定理 2.2 和 2.3），建立了一个迭代序列 $u(k_n, r_n)$。通过控制 $L^1$ 范数的衰减，证明了当 $k$ 足够大时，$(u-k)_+$ 在更小的球上几乎处处为零，从而得到弱 Harnack 不等式。

3. 障碍问题与超极小化元：
   利用障碍问题的解（最小化能量且满足 $u \ge \psi$）作为构造超极小化元的工具。证明了障碍问题的解自动满足超极小化元的定义。

4. 容量与薄性的联系：
   通过构造一系列嵌套的球和集合，利用容量的次可加性和极小化元的性质，证明了如果集合是 $s$-薄的，则可以用有限个超极小化元来“探测”其边界行为。

---

5. 意义与影响 (Significance)

1. 理论填补： 本文首次系统地建立了 $p=1$ 分数阶变分问题在一般度量测度空间中的正则性理论。之前的结果主要集中在 $p>1$ 或欧几里得空间。
2. 非局部现象的揭示： 证明了 $p=1$ 时弱 Harnack 不等式不含尾项，这与 $p>1$ 情形有本质区别，揭示了 $L^1$ 框架下非局部相互作用的独特性质。
3. 与局部理论的类比： 结果表明，非局部 $W^{s,1}$-极小化元的理论结构与局部 $BV$极小化元（如$W^{1,1}$ 情形）高度相似，包括半连续性和 Cartan 性质。这为理解非局部算子与局部算子之间的联系提供了新的视角。
4. 适用范围广泛： 结果适用于一般的完备、连通、加倍度量测度空间，不仅限于欧几里得空间，为分形几何、图论及其他非欧几里得背景下的变分问题提供了理论基础。
5. 新发现： 即使在经典的欧几里得设置下，这些关于 $p=1$ 分数阶极小化元的具体结果（特别是无尾项的 Harnack 不等式和强 Cartan 性质）也被认为是新的。

总结：
这篇论文通过严谨的分析，将非局部变分法的理论从 $p>1$ 推广到了临界情形 $p=1$，建立了弱 Harnack 不等式并揭示了相关的 Cartan 性质。这不仅完善了分数阶变分法的理论体系，也加深了对非局部极小化元正则性行为的理解，特别是在处理不连续解和奇异集方面。