Regularity for the fractional logarithmic $p$-Laplacian

技術要約：分数対数型 $p$-ラプラシアンの正則性

問題の設定と動機
本研究は、以下の非局所方程式の弱解に関する局所正則性理論を調査する：
$$(-\Delta_p)^{s+\log} u = f \quad \text{in } \Omega,$$
ここで $\Omega \subset \mathbb{R}^d$ は有界開集合であり、$f \in L^q_{loc}(\Omega)$ ($q > 1$) である。演算子 $(-\Delta_p)^{s+\log}$ は、分数 $p$-ラプラシアン $(-\Delta_p)^t$ の次数 $t$ に関する一次微分を $t=s \in (0,1)$ において評価したものとして定義される：
$$(-\Delta_p)^{s+\log} u(x) := \frac{d}{dt}(-\Delta_p)^t u(x) \Big|_{t=s}.$$
この演算子は、次数の変化に伴う分数型演算子の漸近的挙動の研究から自然に生じるものである。端点ケースである $s=0$（対数ラプラシアン）は、広範に研究されてきた（例：Chen-Weth, Dyda-Jarohs-Sk）。しかし、内部ケースである $s \in (0,1)$、特に非線形な $p \neq 2$ の設定は、Chen-Chen-Hauerによって開始された新しい方向性を示している。

この演算子の核 $K_{s+\log}(r)$ は、標準的な分数 $p$-ラプラシアンとは異なる2つの決定的な特徴を持つ：

1. 増大した特異性： 対角付近（$r \to 0$）において、核は $r^{-d-sp} \log(1/r)$ のように振る舞い、標準的な $r^{-d-sp}$ よりも特異である。
2. 符号の変化： 大きなスケールにおいて、核は符号を変える。具体的には、$r \geq e^{B_{d,s,p}/p}$ に対して $K_{s+\log}(r) \leq 0$ となる。この符号変化の性質は、非局所的な相互作用の解析を複雑にする。なぜなら、分数型理論で使用される標準的な「テイル（tail）」項では、遠方場（far-field）の寄与を制御するには不十分だからである。

手法
著者らは、この特定の非局所的な設定に対して古典的な De Giorgi-Nash-Moser 理論を適応させている。戦略としては、対数的な重みと符号変化する核を扱うために、いくつかの非自明な修正が含まれる：

1. 核とテイルの分解：
   符号の変化により、単一の非局所的テイル項では不十分である。そこで、核を分数部分と、2つの符号確定された対数部分に分解する：$K_{s+\log} \sim r^{-d-sp} + K^+_{s+\log} - K^-_{s+\log}$。その結果、著者らは遠方場の効果を捉えるために2つの異なるテイル項を導入した：

   • $Tail_+(u; x_0, R)$: 対数的な重みが正となる相互作用を捉える（中間スケール）。
   • $Tail_-(u; x_0, R)$: 対数的な重みが負となる相互作用を捉える（遠方場）。
     解析の結果、特定の双対性が明らかになった。すなわち、劣解（subsolution）の場合、解の正の部分は負の核部分と結合し、その逆も同様である。これにより、推定においてテイルのペアリング、具体的には $Tail_+(u^-) + Tail_-(u^+)$ が必要となる。

2. エネルギー推定と反復：
   証明は、Caccioppoli 不等式と対数エネルギー推定を確立することに基づいている。主要な技術的障壁は、核の対数的成長であり、これが局所エネルギー推定において $(1 - \log r)$ という因子を導入する。これを管理するために、著者らは分数対数型ポアンカレ不等式（Proposition 2.5）を利用する。これは、一致する減衰因子を提供し、De Giorgi 反復がスケール不変な形で進行することを可能にする。

3. ソース項の扱い：
   $f \in L^q_{loc}$ で $q > d/sp$（スケーリング・サブクリティカル）の場合、積分指数を慎重に扱う必要がある。著者らは、反復補題の収束に必要な厳密な不等式を確保するためにパラメータ$\sigma$ を導入し、臨界ケースで起こり得る破綻を防いでいる。

主な貢献と結果

1. テイルを伴うハーディック不等式（Theorem 1.2）：
   本論文は、非負の弱解に対するハーディック不等式を確立している。標準的な分数 $p$-ラプラシアンでは、全域的な非負性がテイル項を排除できるが、ここでの符号変化する核は、解が全域で $u \geq 0$ であってもテイル項が残ることを保証している。不等式は以下の形式をとる：
   $$\text{ess sup}_{B_{r/2}} u \leq C \left( \text{ess inf}_{B_r} u + \text{Tail Terms} + \text{Source Terms} \right).$$
   決定的なことに、テイル項には $Tail_+(u^-) + Tail_-(u^+)$ という特定のペアリングが含まれており、これは核の符号変化の構造を反映している。著者らは、解が関心の領域の外側でサポートされている反例を構成することにより、これらのテイル項が一般には除去できないことを証明している。

2. 局所的ヘルダー連続性（Theorem 1.4）：
   著者らは、弱解が局所的にヘルダー連続であることを証明している。ヘルダー指数 $\alpha$ は、次元 $d$、次数 $s$、指数 $p$、およびソース項 $f$ の可積分数 $q$ に依存する。この評価には、半径 $r$ によって減衰し、対数因子とテイル項によってスケールされた連続性のモジュラスが含まれる。

3. テイルフリー・ハーディック不等式への反例：
   セクション7において、著者らは（$p=2$ の場合において）解が球 $B_R$ の外側でサポートされている場合、ハーディック不等式におけるテイル項が不可避であることを示す具体的な例を構成している。これは、全域的な非負性の下で標準的な分数ラプラシアンに対して知られている「テイルフリー（tail-free）」なハーディック不等式が、分数対数型演算子においては、その核の符号変化のために成立しないことを裏付けている。

意義と主張
本論文は、これらの結果が線形ケース $p=2$ においても新しいものであると主張している。本研究は、対角付近では標準的な分数ラプラシアンよりも特異であり、無限遠では符号が変化する、ある種の漸近的意味での「ゼロ次」の演算子のクラスへと正則性理論を拡張するものである。

著者らは、対数因子の存在と符号の変化が、正則性推定の構造を根本的に変え、デュアル・テイル項と境界における特定の対数的減衰因子の導入を必要とすることを強調している。これらの結果は、この種の非局所方程式に対する体系的な局所正則性理論を提供し、弱解に関するハーディック不等式とヘルダー連続性の存在に関する問いに肯定的に答えるものである。なお、本研究は境界正則性や全域的な連続性の確立については言及しておらず、それらには現在の範囲外の別個のバリア（障壁）を用いた議論が必要であるとしている。