Regularity estimates for fractional orthotropic $p$-Laplacians of mixed order

技術要約：混合次数の分数型直交 $p$-ラプラシアンにおける正則性推定

問題設定
本論文は、領域 $Q = (-1, 1)^n$ における非局所方程式 $Lu = f$ の弱解の正則性を調査するものである。ここで、$L$ は以下の形式を持つ非線形整数微分作用素である：
$$Lu(x) = \text{PV} \int_{\mathbb{R}^n} |u(y) - u(x)|^{p-2}(u(y) - u(x)) \mu(x, dy)$$
$p > 1$ とする。この作用素は、異方的かつ特異な測度の族 $(\mu(x, dy))_{x \in \mathbb{R}^n}$ によって特徴付けられる。主要な参照測度は $\mu_{\text{axes}}$ であり、これは、各座標軸に沿って異なる可能性のある微分次数 $s_1, \dots, s_n \in (0, 1)$ を持つ、1次元分数 $p$-ラプラシアンの和に対応している。標準的な分数 $p$-ラプラシアンとは異なり、$\mu_{\text{axes}}$（およびその局所極限である直交 $p$-ラプラシアン）に関連する作用素は、回転不変性を欠いている。

著者らは、$\mu_{\text{axes}}$ に局所的に比較可能な許容される測度のクラスに対して、ロバストな正則性推定（具体的には、ソボレフ型の不等式、弱ハーナック不等式、および局所ヘルダー連続性）を確立することを目的としている。これらの推定における定数は、個々の $s_1, \dots, s_n$ に依存せず、$s_0$ の下限と次元 $n$ にのみ依存しなければならないという「ロバスト性」が重要である。このロバスト性は、微分次数が 1 に近づく極限を取ることによって、局所作用素（直交 $p$-ラプラシアンなど）の正則性結果を回収するために不可欠である。

手法
著者らは、異方的な幾何学構造に適応させた非局所解析手法を組み合わせて用いている：

1. 異方的幾何学: 標準的なユークリッド球や立方体の代わりに、解析には $M_r(x) = \prod_{k=1}^n (x_k - r^{s_{\max}/s_k}, x_k + r^{s_{\max}/s_k})$ で定義される長方形の族を用いる（ここで $s_{\max} = \max\{s_1, \dots, s_n\}$）。これらの集合は、倍増（doubling）性質を持つメトリック測度空間を形成し、この幾何学に適応した極大関数定理やジョン–ニレムベルグ（John–Nirenberg）の不等式の使用を可能にする。
2. 関数空間: 研究は、測度 $\mu$ によって規定される特定の可積分性と分数的な正則性を組み込んだ、非局所的なソボレフ空間の非局所的類似物である $V^{p,\mu}(\Omega|\mathbb{R}^n)$ および $H^{p,\mu}_{\Omega}(\mathbb{R}^n)$ 内で行われる。
3. 測度に関する仮定: 許容される測度のクラス $\mathcal{K}(p, s_0, \Lambda)$ は、以下の3つの条件によって定義される：
   • 測度族の可積分性と対称性。
   • 異方的長方形 $E^k_r(x)$ に対する特定のテイル挙動。
   • 関連するエネルギー汎関数と、$\mu_{\text{axes}}$ によって定義される参照汎関数との局所的な比較可能性。
4. 技術的ツール:
   • ソボレフ型不等式: 証明には、ハーディ–リトルウッド極大関数と、異方的な長方形に適応したシャープ極大関数定理を用いる。鍵となる技術的補題（補題 2.4）は、異方的な設定で必要となる離散勾配推定を扱う。
   • モーザーの反復法（Moser Iteration）: 弱ハーナック不等式は、モーザーの反復法を用いて導出される。これには、非線形項に関する離散勾配推定（補題 3.4）を確立する必要がある。これは、非局所的かつ非線形な、不等式 $|\nabla v|^{p-2}\nabla v \cdot \nabla(-v^{-t}\tau^p) \geq c_1 |\nabla(v^{\frac{-t+p-1}{p}}\tau)|^p - c_2|\nabla \tau|^p v^{-t+p-1}$ の非局所的・非線形的な類似物として機能する。
   • スケーリング引数: 著者らは、一般的な推定を正規化された設定に還元するための、特定の異方的スケーリング（微分同相写像 $\Psi$）を利用して、ヘルダー連続性の証明を容易にしている。

主要な貢献および結果

1. ロバストなソボレフ型不等式 (Theorem 2.7): 著者らは、参照測度 $\mu_{\text{axes}}$ に対するソボレフ埋め込みを証明する。ここで、定数は $n, p, s_0$ およびソボレフ指数 $p^*$ には依存するが、$s_k$ 個別の値には依存しない。これは、局所的な比較可能性を通じて、一般的な許容される測度のクラスへと拡張される (Corollary 2.8)。
2. 弱ハーナック不等式 (Theorem 1.4): 非負の弱超解に対する $Lu = f$ について、弱ハーナック不等式を確立する。この結果は、解の下限を、より小さな領域における解の $L^{p_0}$ ノルムおよび領域外のテイル（tail）によって抑えるものである。定数は微分次数の数に対してロバストである。
3. 局所ヘルダー推定 (Theorem 1.5): 弱ハーナック不等式と振動の減衰を組み合わせることで、有界な弱解が局所的にヘルダー連続（$C^\alpha$）であることを証明する。ヘルダー指数 $\alpha$ と定数 $C$ は $n, p, s_0, q, \Lambda$ に依存するが、$s_1, \dots, s_n$ の具体的な値には依存しない。
4. 局所的な結果の回収: 定数のロバスト性により、微分次数 $s_k \nearrow 1$ となる極限を取ることで、局所的な直交 $p$-ラプラシアン（式 1.3 で定義）の正則性推定を回収できることが、本研究の重要な側面である。

意義および主張
本論文の主な強みは、導出された推定値のロバスト性にあると主張されている。定数が微分次数の個別の値ではなく、微分次数の下限（$s_0$）にのみ依存するようにすることで、著者らは非局所的な分数作用素とそれらの局所的な対応物との間の溝を埋めている。このアプローチにより、非局所的な作用素の理論から、直交 $p$-ラプラシアン（解析学における既知の作用素）の正則性結果を、別途の固有の証明を必要とせずに直接導き出すことが可能となる。

著者らは、ハーナック不等式はこの種の特異な方程式に対しては成立しないものの、弱ハーナック不等式は振動の減衰およびそれに続くヘルダー連続性を証明するのに十分であると述べている。本研究は、Chaker, Kim およびその他の研究者による先行研究（特に [14, 15, 25]、線形ケース $p=2$ および等方的設定）を、完全な非線形（$p>1$）かつ異方的な設定へと拡張するものである。また、著者らは解の全域的な有界性が仮定されていることに触れ、異方的な非局所方程式における全域的または局所的な有界性の証明は依然として未解決の問題であると述べている。

これらの結果は、デ・ジオーニ–ナッシュ–モーザー（De Giorgi–Nash–Moser）理論の広範な文脈の中に位置づけられ、異方的かつ特異なカーネルを持つ作用素（異方的なジャンプを伴うレヴィ過程によって駆動されるシステムなどをモデル化するもの）へと、これらの基礎的な概念を拡張するものである。