可测核的非局部散度型算子何时具有强制性与正则性？

(L)-(U1) 正则性问题得到否定回答

论文研究非局部散度型方程 PV∫_{R^n}(u(x)-u(y))K(x,y)dy=0 在 B_2 中的情形，其中核 K 可测、对称（K(x,y)=K(y,x)）且非负，解按弱解意义理解。其动机问题（归于 Fernández-Real 与 Ros-Oton）是：当 K 满足两个自然条件——每个方向上 K 在球上二阶矩的下界 (L)，以及 K 在环域上积分的上界 (U1)——时，弱解是否必须局部 Hölder 连续。

论文对该问题给出否定回答。例 2.1 取 K(x,y)=|x-y|^{-n-2s}·1{x_1 y_1 ≥ 0}，它对称，且以 Λ=|S^{n-1}|(1-4^{-s})/(2s) 满足 (U1)，事实上对每个 p∈(1,∞] 都满足更强的环域条件 (U_p)。作者以 λ=|S^{n-1}|/(2n(2-2s)) 验证了 (L)。对该核而言，有界跳跃函数 u(x)=1{x_1>0} 是弱解：乘积 |u(x)-u(y)|K(x,y) 仅在零测集 {y_1=0}∪{x_1=0} 上非零，因此定义弱形式的二重积分消失。由于 u 不连续，(L) 与 (U1) 本身无法强制局部 Hölder 连续性。

反例不满足单侧下界 (L+)

关键区别在于 (L) 与更强的单侧条件 (L+) 之间：(L+) 用正部取代完整的二阶矩，即对单位向量 e 取下确界，∫_{B_r(x)}((e·(y-x))_+)^2 K(x,y)dy ≥ λ r^{2-2s}。注 2.1 表明例 2.1 的核不满足 (L+)。取 x 满足 x_1<0 且 e=e_1，被积函数 ((e_1·(y-x))_+)^2 K(x,y) 仅在宽度为 |x_1| 的板层 x_1<y_1≤0 上非零。在该板层上 (y_1-x_1)^2≤x_1^2，故积分被一个量级为 |x_1|^{2-2s} 的项控制，当 x_1→0 时趋于 0。因此 (L+) 不成立，该反例并不与论文的正面定理矛盾。

这是论文的关键结构性要点：反例存在于 (L) 与 (L+) 之间的空隙中。因此正面结果并非对 (L) 的修补，而是关于一个严格更小的核类的陈述，读者不应把该反例当作反对强制猜想的证据，因为该猜想是在 (L+) 下陈述的。

L^p 环域界取代逐点上界

除 (L+) 之外，定理还假设 K 在环域上的 L^p 界。记 A_r(x)=B_{2r}(x)\B_r(x) 为距 x 距离 r 处宽度为 r 的环域，条件 (U_p) 要求对某个 p∈(1,∞]，归一化 L^p 范数 (|A_r(x)|^{-1}∫_{A_r(x)}K(x,y)^p dy)^{1/p} 对所有 r>0 与所有 x 不超过 Λ_p r^{-n-2s}。当 p=1 时它退化为 (U1)，其中 Λ=(2^n-1)|B_1|Λ_1，因此对 p>1，(U_p) 是真正的加强。

p>1 的作用并非装饰。在关键引理的证明中，环域界与 Hölder 不等式结合，把 K 在环域某子集上的积分转化为涉及该子集测度的 (p-1)/p 次幂的界。这正是 p>1 变得关键的步骤：它给出凹性估计，从而得到好集测度的正下界。论文还指出，定理 1.1 的条件是最优的，不能降到 p=1，因为 Fernández-Real 构造了在 p=1 时 (U1)-(L+) 下强制估计与正则性的反例。

K 既大又对齐的正测度集

技术核心是引理 2.1。假设 (L+) 与对某个 p∈(1,∞] 的 (U_p)，它给出仅依赖 n、s、p、λ、Λ_p 的常数 κ、λ'、μ∈(0,1)，使得对每个 x、每个 r>0 与每个单位向量 e，集合 N_e(x,r)（由 B_r(x)\B_{κr}(x) 中同时满足 K(x,y)≥λ'|x-y|^{-n-2s} 与 e·(y-x)≥κ|y-x| 的点 y 组成）的测度至少为 μ|B_r|。

证明把 B_r(x) 分解为小球 B_{κr}(x) 加三个集合：K 低于阈值 λ'|x-y|^{-n-2s} 的 D_1、方向投影过小的 D_2，以及好集 N_e(x,r)。利用 (U_p)，B_{κr}(x) 对加权二阶矩的贡献被 C_{n,s}Λ_p(κr)^{2-2s} 控制；D_1 与 D_2 的贡献分别被 λ'C̃_{n,s}r^{2-2s} 与 κ^2C_{n,s}Λ_p r^{2-2s} 控制。取 κ 与 λ' 足够小可使总和至多 (3λ/4)r^{2-2s}，于是 (L+) 迫使剩余的好集至少承载 (λ/4)r^{2-2s} 的加权二阶矩。随后在覆盖 B_r(x)\B_{κr}(x) 的各环域上使用 Hölder 不等式，将其转化为测度下界 |N_e(x,r)|≥μ|B_r|。

强制估计来自大 K 点的均匀密度

引理 2.2 把好集估计提升为关于每个球的陈述。对每个球 B=B_R(z) 与每个 x∈B，B 中满足 K(x,y)≥λ'|x-y|^{-n-2s} 的 y 的测度至少为 μ_{CS}|B|，其中 μ_{CS}=μκ^n2^{-n}。证明按 x 是否位于中心 z 的 R/2 之内分情形：在近的情形，引理 2.1 直接以 r=R/2 适用；在远的情形，取 e=(z-x)/|z-x| 与 r=κR，并证明 N_e(x,κR) 落在 B 内，从而给出同类型的界。

这种均匀密度正是 Chaker 与 Silvestre 所给出的充分条件，因此强制估计 (1.3) 由他们的定理推出。具体地，论文得到对所有可测 w 有 ∫_B∫_B (w(x)-w(y))^2/|x-y|^{n+2s} dxdy ≤ C∫_B∫_B (w(x)-w(y))^2 K(x,y) dxdy，其中 C 仅依赖 n、s、p、λ、Λ_p。对 K_ρ(x,y)=ρ^{n+2s}K(x_0+ρx, x_0+ρy) 的缩放论证（它以相同常数满足 (L+) 与 (U_p)）把估计推广到任意球 B_ρ(x_0)，而覆盖论证给出整体形式 (2.7)。

内部 Hölder 正则性及其常数由核数据决定

定理 1.1 指出，若 (L+) 与对某个 p∈(1,∞] 的 (U_p) 成立，则强制估计成立，且存在 β∈(0,1) 与 C>0（二者仅依赖 λ、Λ_p、s、n、p），使得方程在 V_loc(B_2|R^n) 中的每个有界解 u 对所有 x,y∈B_1 满足 |u(x)-u(y)|≤C‖u‖_{L^∞(R^n)}|x-y|^β。因此 Hölder 指数与常数由核假设中出现的同一组结构参数控制，而不依赖 K 的任何额外正则性。

正则性证明通过验证一个已知的粗糙核非局部方程内部 Hölder 结果的假设来完成。由 (U_p) 对二进环域求和可验证所需的尾部条件，得到 ∫_{B_r^c(x)}K(x,y)dy≤Λ_p C_n r^{-2s}Σ_j(4^{-s})^j。强制估计提供对所有 w∈H^s(B_ρ(x_0)) 的双侧能量比较 A^{-1}‖w‖_{Ḣ^s(B_ρ(x_0))}^2 ≤ ∫∫(w(x)-w(y))^2K(x,y)dxdy ≤ A‖w‖_{Ḣ^s(B_ρ(x_0))}^2，其中 A 依赖 n、s、p、λ、Λ_p，而 Lipschitz 截断计算给出截断函数核能量所需的界。最后，强制估计意味着自然能量空间 V_0(B_2) 中的任何检验函数都属于 H^s(R^n)，并可由光滑紧支函数逼近，因此弱形式可扩展到该类。

p>1 阈值是论文的有效分界线

论文自身的比较发生在两个区域之间。仅凭 (L) 与 (U1)，例 2.1 的核允许有界不连续弱解，因此得不到任何正则性结论。在 (L+) 与 p>1 的 (U_p) 下，强制性与内部 Hölder 正则性成立，常数仅依赖 n、s、p、λ、Λ_p。作者进一步报告，Fernández-Real 构造了在 p=1 时 (U1)-(L+) 下强制估计与正则性的反例，这正是定理 1.1 的条件被描述为最优、且不可降到 p=1 的原因。

对决定如何使用这一结果的读者而言，实际的解读是：决定性假设既不是 K 的对称性，也不是单独的 (L) 下界，而是单侧下界 (L+) 与对某个严格大于 1 的 p 的环域 L^p 界的组合。反例表明，把任一要素削弱回 (L) 或 p=1 都可能破坏结论，而定理表明这一特定加强足以同时恢复强制估计与有界弱解的 Hölder 连续性。

本文引用的文献