非退化稳定算子的锐边界H?lder正则性与Hopf型边界引理：C1,Dini区域和s→1?稳健极限

《Journal of Functional Analysis》：Boundary regularity and Hopf lemma for nondegenerate stable operators

　　

研究人员证明了：在有界开集满足外C^1,Dini性质时，涉及稳定积分微分算子（stable integro-differential operators）的方程之解具有锐边界H?lder正则性（boundary H?lder regularity）。该结果即使对于分数阶Laplacian（fractional Laplacian）而言也是新的。研究人员还证明了一个Hopf型边界引理（Hopf-type boundary lemma）。本工作的一个附加特点是，该正则性估计在s→1^?时保持稳健（robust），并可由之恢复二阶方程（second order equations）的经典结果。

作者Florian Grube研究非退化2s-stable积分微分算子（nondegenerate 2s-stable integro-differential operators）的边界正则性与Hopf型边界引理。研究背景上，二阶椭圆Dirichlet问题?Δu=f在Ω内、u=0在?Ω上，其解可全局Lipschitz连续，但该结论依赖边界?Ω的正则性；若边界仅Lipschitz连续，解至多具有某H?lder指数连续性，而外C^1,Dini性质（exterior C^1,Dini-property）在二阶情形下是最优条件。对非局部稳定算子，已有工作多在C^1,α域或更强假设下得到边界正则性；对于C^1,Dini域、锐H?lder正则性、Hopf型引理以及在s→1^?时保持稳健并恢复二阶经典结果，仍有待解决。论文研究算子A_μ^su=f于Ω、u=0于Ω^c，其中μ为单位球S^d?1上的有限测度并满足非退化条件λ≤inf_w∈S^d?1∫_S^d?1|w·θ|^2sμ(dθ)，相应Lévy测度（Lévy measure）为ν_s；并研究弱解（weak solution）与分布解（distributional solution）的边界行为。研究人员证明：在Ω有界开集且满足一致外C^1,Dini性质时，若固定s₀∈(0,1)、0<λ≤Λ<∞，并假设(pUB)或s₀>1/2，则对任意s∈[s₀,1)、满足条件的μ、f∈L^∞(Ω)及弱解u，有u∈C^s(R^d)且‖u‖_C^s(R^d)≤C‖f‖_L^∞(Ω)，估计对s→1^?稳健；该结果即使对分数阶Laplacian也是新的。若s≤1/2且ν_s关于Lebesgue测度奇异即(pUB)不成立，则需外2s₀-C^1,Dini性质，仍得到u∈C^s(R^d)及同类界。Hopf型边界引理表明：在内C^1,Dini性质加(pUB)或s>1/2，或在内2s-C^1,Dini性质下，非零分布超解u满足A_μ^su≥0、u≥0，则在非切向锥（non-tangential cone）内有u(x)≥C|x?z|^s。其意义在于将二阶最优边界理论推广到非退化稳定算子，并保持s→1^?极限稳健。

技术方法概括（不超过250字）：研究人员以紧性提取与Liouville型定理建立对s→1^?稳健的内部正则性估计；在一维构造(·)₊^sζ(·)型次调和函数并分析分数阶Laplacian符号；结合正则化距离函数（regularized distance function）d与模连续性ω构造高维上、下障碍函数（barrier functions）；通过弱解或分布解的最大原理（maximum principle）比较障碍，得到距离衰减与Hopf下界；最后将内部估计与边界衰减结合证明全局C^s正则性。无样本队列来源。

研究结果按原文小标题概述如下。2. 预备知识：定义一致C^1,Dini域、一致2s-C^1,Dini域、内/外C^1,Dini性质及内/外2s-C^1,Dini性质，给出H?lder空间、弱解和分布解及双线性形式E_νs，为后续障碍与正则性证明建立框架。3. 稳健内部正则性：通过引理3.1提取s_k→s、μ_k弱收敛的子列，使A_μk^s_k分布收敛到A_μ^s或常系数二阶椭圆算子?A·D²；以反证、爆破和Liouville型定理证明引理3.2与定理3.3，得到含尾部项（tail term）的局部C^s估计，常数仅依赖s₀、λ、Λ、d，故对s→1^?稳健。4. 一维次调和函数：构造满足(Z0)—(Z4)的ζ，命题4.1证明一维分数阶Laplacian满足(?Δ)_R^s[(·)₊^sζ](t)≤?s⁶Ct^1?sζ′(t)，从而提供替代t₊^s+ε的次调和函数。5. 高维障碍函数：改进模连续性ω（引理5.1），使用正则化距离d；引理5.3给出(pUB)不成立时的关键积分估计；命题5.6估计A_μ^s(d^s)，命题5.7估计A_μ^s[d^sζ(d)]；命题5.10与5.11构造上障碍b₊满足A_μ^sb₊≥1且与dist(·,D^c)^s可比，命题5.12与5.13构造下障碍b_?满足A_μ^sb_?≤?1且与dist(·,D^c)^s可比，分别覆盖(pUB)与2s-C^1,Dini情形。6. 边界估计：6.1 边界正则性中，命题6.1在外C^1,Dini加(pUB)或s₀>1/2时，用上障碍与最大原理得|u(x)|≤C(‖f‖_L^∞+sup_y∈B1Tail_νs(u;y)+‖u‖_L^∞(B2))|x?z|^s；命题6.3对2s₀-C^1,Dini得同类估计；引理6.4给出全局L^∞界，推论6.5推出|u|≤C‖f‖_L^∞(Ω)d_Ω^s；再结合定理3.3证明定理1.1与定理1.2的全局C^s界。6.2 Hopf边界引理中，命题6.6与6.7利用下障碍和最大原理得到局部Hopf下界u(x)≥|x?z|^s/C·inf{u(y)|y∈B_1/2∩Ω, dist(y,?Ω)≥ε₀}，推论6.8与6.9推广为全局形式，并据此证明命题1.7。

讨论部分指出，经典证明通常构造d_Ω^s?cd_Ω^s+ε型障碍；在C^1,α域中有|(?Δ)^sd_Ω^s|?d_Ω^α?s且(?Δ)^sd_Ω^s+ε??d_Ω^ε?s，但C^1,Dini域仅有|(?Δ)^sd_Ω^s|?d_Ω^?sω(d_Ω)，ω(t)可能远慢于t^ε，故d_Ω^s+ε无法保证符号；本文以d^sζ(d)替代d^s+ε解决该主要障碍。相关文献表明二阶最优条件为C^1,Dini，非局部情形已有Lipschitz域、外球条件、C^1,α、非平移核、对数Laplacian、分数p-Laplacian及混合算子等结果；非局部Hopf引理早期针对s-调和函数，后续扩展到非齐次、分数p-Laplacian、ψ(?Δ)及混合算子。本文进一步在C^1,Dini与2s-C^1,Dini框架下统一处理非退化2s-stable算子，并保持s→1^?稳健。文中还指出定理1.1对Lipschitz域不成立，内角处解衰减慢于dist(x,?Ω)^s；已有预印本显示在满足(pUB)及μ一致有界的稳定算子中C^1,Dini假设是必要的，而定理1.2中2s-C^1,Dini性质是否必要仍为未来问题。研究结论可译为：研究人员证明了在有界开集满足外C^1,Dini性质时，涉及稳定积分微分算子的方程之解具有锐边界H?lder正则性，该结果即使对分数阶Laplacian也是新的；研究人员还证明了Hopf型边界引理；该工作的附加特点是正则性估计在s→1^?时稳健，并可恢复二阶方程的经典结果。