Local regularity for nonlocal equations with variable exponents

技術要約：可変指数を持つ非局所方程式の局所正則性

問題設定
本論文は、可変指数を持つ非局所変分汎関数、およびそれに対応する弱解のオイラー・ラグランジュ方程式の解に対する局所正則性の性質を調査している。検討対象となる主要な汎関数は以下の通りである：
$$\mathcal{F}(u) = \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} \frac{|u(x) - u(y)|^{p(x,y)}}{p(x,y)|x - y|^{n+sp(x,y)}} \, dy \, dx$$
ここで、$n \in \mathbb{N}$、$s \in (0, 1)$であり、$p: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$は、$1 < \inf p \le \sup p < +\infty$を満たす連続かつ対称な関数である。関連するオイラー・ラグランジュ方程式は、分数型 $p(\cdot, \cdot)$-ラプラシアンである：
$$(-\Delta)^s_{p(\cdot,\cdot)} u = 0 \quad \text{in } \Omega.$$
著者らは、可変指数 $p(x,y)$ が導入する特有の課題に対処しながら、弱解の局所有界性と局所ヘルダー連続性を確立することを目指している。可変指数 $p(x,y)$ は、局所的な問題（指数が $x$ のみに依存する場合）とは異なり、非局所的な性質から $p$ を $\mathbb{R}^n \times \mathbb{R}^n$ 上で定義する必要があり、領域内部と外部の点間の依存関係を導入する。

手法
著者らは、可変指数を持つ非局所汎関数に適応させたデ・ジョルジ（De Giorgi）反復法を用いている。この手法は、以下の主要な構成要素に基づいている：

1. カチョリオリ型（Caccioppoli-type）評価： 著者らは、弱劣解および弱超解に対する改良されたカチョリオリ型評価を導出している。この評価は、定数指数の場合（具体的には Cozzi によるもの）の結果を可変指数の場合に一般化したものである。重大な技術的困難は、可変指数によって反復過程において $p^+$ と $p^-$ の両方の項が含まれることで生じる、上限の制御を困難にする不一致である。
2. 分数ソボレフ埋め込み： 反復を扱うために、論文では分数ソボレフ埋め込みを利用している。可変指数のソボレフ埋め込みも存在するが、著者らは定数指数を用いた埋め込み（定理 2.4）と、特定の補題（補題 4.3）を組み合わせる手法を選択している。この補題は、$\sigma < s$ かつ $q < p^-$ に対して $W^{s,p(\cdot,\cdot)}(\Omega) \hookrightarrow W^{\sigma,q}(\Omega)$ という連続な埋め込みを確立するものである。このアプローチにより、直接的な可変指数埋め込みに必要とされる強い仮定を回避している。
3. 成長補題と等周不等式： ヘルダー連続性を証明するために、著者らは成長補題を確立している。これには、改良されたカチョリオリ型評価と、分数型デ・ジョルジ等周型不等式が必要となる。成長補題の証明には、領域外の $p$ の挙動に敏感な「非局所的な裾（nonlocal tail）」項の注意深い解析が含まれる。
4. 反復スキーム： 局所有界性とヘルダー連続性の両方の証明において、解があるレベルを超える集合の測度がゼロに減少することを示すために、再帰的な列（デ・ジョルジ反復）を利用し、有界性と連続性を導き出す。

主要な仮定
正則性を保証するために、指数 $p$ に関する2つの特定の条件を導入している：

• (P1) 領域内部におけるログ・ヘルダー型の条件： 任意の球 $B \subset \Omega$ に対して、 $B \times B$ 上の $p$ の振動が $R^{p^-(B \times B) - p^+(B \times B)} \le L$ を満たさなければならない。これは、局所的な可変指数問題で要求される標準的なログ・ヘルダー連続性に類似している。
• (P2) 領域外部における条件： 任意の球 $B \subset \Omega$ に対して、指数は $p^+(B \times B^c) \le p^+(B \times B)$ および $p^-(B \times B^c) \le p^-(B \times B)$ を満たさなければならない。この仮定は、領域内部の点と外部の点の間の相互作用が発生する非局所的な裾の項を制御するために極めて重要である。

主な結果

1. 局所有界性 (定理 1.4)：
   著者らは、無限遠での挙動に関する裾の条件 (1.8) を満たす場合、弱解が $\Omega$ 内で局所有界であることを証明している。注目すべき点は、この結果は $p$ が連続かつ有界であることのみを仮定しており、ログ・ヘルダー型の条件 (P1) や (P2) を必要としない点である。これは、定数指数の場合の先行研究を拡張し、劣臨界ケースにおいてもログ・ヘルダー仮定を必要とした Ho と Kim による最近の研究を改善するものである。

2. 局所ヘルダー連続性 (定理 1.5)：
   著者らは、有界な弱解が $\Omega$ 内で局所ヘルダー連続であることを証明している。この結果には、追加の仮定 (P1) および (P2) が必要である。

   • (P1) の意義： これは、連続性のモジュラスを解析する際にデ・ジョルジ反復中に発生する指数の不一致（$p^+$ 対 $p^-$）を解決する。
   • (P2) の意義： これは、非局所的な裾の項における可変指数が反復プロセスを妨げないことを保証する。これは、可変指数の局所的な問題や、定数指数の非局所的な問題には現れない、可変指数の非局所的な問題に特有の困難さである。

意義と主張
本論文は、可変指数を持つ非局所的変分問題の基礎的な正則性理論を確立したと主張している。著者らは以下の点を強調している：

• 条件 (P1) は、2n 変数関数としての標準的なログ・ヘルダー連続性よりも弱い条件であるが、正則性には十分である。
• 条件 (P2) の必要性は、非局所的な設定に特有の新しい知見であり、領域内部と外部の指数の相互作用に対処している。
• 結果は、可変指数の可変指数ソボレフ埋め込みを必要とせず、より低い微分可能性と可積分性を持つ空間への洗練された埋め込み（補題 4.3）を用いることで得られている。
• 本研究は、弱劣解の上限に関する定量的評価（定理 4.1）を提供し、ヘルダー正則性の核となるメカニズムとして成長補題（補題 5.2）を確立している。

著者らは、Jihoon Ok によって異なるアプローチで同様の結果が研究されていることを認めているが、彼らの研究は、非局所的な可変指数のケースに必要とされる具体的な構造的仮定 (P1) および (P2) を明示的に扱い、独自の導出を提供していることを強調している。