Gradient regularity and potential estimates for fractional drift--diffusion equations in the critical and subcritical ranges

技術的要約：分数型ドリフト・拡散方程式における勾配の正則性とポテンシャル推定

問題設定
本論文は、以下の分数型ドリフト・拡散方程式の有界粘性解に関する正則性とポテンシャル推定を調査している：
$$(-\Delta)^s u + b(x) \cdot \nabla u = f(x) \quad \text{in } \Omega,$$
ここで、$s \in [1/2, 1)$ であり、$\Omega \subset \mathbb{R}^n$ は開集合、 $b, f$ は局所的なヘルダー連続関数である。本研究は、以下の2つのレジームに焦点を当てている：

1. 臨界ケース ($s = 1/2$): ドリフト項 $b \cdot \nabla u$ と拡散項 $(-\ \Delta)^s u$ が同次である。
2. 劣臨界ケース ($s > 1/2$): スケーリング $b_R(x) = R^{2s-1}b(x_0 + Rx)$ により、ドリフトは微小スケールにおいて低次の項となる。

主な目的は、スケール不変な内部 $C^{1,\alpha}$ 推定を確立し、測度データを持つ解に対する鋭いポテンシャル境界を導出し、グリーン核の挙動を分析し、特にドリフトが領域の境界と相互作用する場合の境界正則性の性質を決定することである。

手法
著者らは、粘性解理論、スケーリング引数、補間、および確率論的手法の組み合わせを用いている：

• 内部正則性:

  • 臨界ケース ($s=1/2$): 証明は、定常解に適用されるSilvestreの放物型微分可能性定理に基づいている。$b$ および $f$ の空間的な $C^\alpha$ 正則性は、有界解の空間的な $C^{1,\alpha}$ 正則性を意味する。
  • 劣臨界ケース ($s>1/2$): 著者らは、ドリフトのない作用素（Ros-OtonおよびSerra）に対する標準的な分数型Schauder評価と、補間引数を利用している。一次のドリフト項は、低次の摂動として吸収される。
  • 粘性フレームワーク: 非滑らかな係数や解を扱うために、著者らは「貼り付けテスト（pasted-test）」形式を用いている。彼らは、正則化された局所近似（滑らかな係数と解）を構成し、それらが粘性解に収束するようにすることで、ア・プリオリ推定の転送を可能にしている。

• 測度データとグリーン・ポテンシャル:

  • 著者らは、確率論的に調和なグリーン・セクションが、内部推定を適用するために必要な粘性特性を満たすことを確立している。
  • 内部勾配推定を用いてグリーン核 $G_b^D(x, y)$ を微分し、点ごとの境界を得ている。
  • これらの境界を用いてグリーン作用素を有限の符号ラドン測度へと拡張し、結果として得られるポテンシャルが特定のRiesz型の推定を満たすことを証明している。

• 安定性と極限:

  • *弱-収束から強収束への安定性: 論文では、グリーン作用素が測度の弱-*収束から $W^{1,1}_{loc}$ における強収束へと連続的に移ることを証明している。これにより、「グリーン・ポテンシャルSOLA（近似の極限として得られた解）」の一意性が保証される。
  • 極限 $s \uparrow 1$: 著者らは、正規化された核とポテンシャルが $s$ が1に近づく際の収束を分析し、古典的な二階の極限（2次元における対数核を含む）を回収している。

• 境界正則性:

  • ドリフトが境界からコンパクトに離れて支持されている領域（$\text{supp}(b) \subset \subset \Omega$）の場合、著者らは問題を修正されたソース項 $g = f - b \cdot \nabla u$ を持つドリフトなしの方程式へと帰着させている。そして、既知のドリフトなしの境界評価を適用することで $u/d^s \in C^{s-\epsilon}(\Omega)$ を示している。
  • 本論文は、ドリフトが境界に達する場合の障害についても明示的に議論しており、標準的なプロファイル $u \sim d^s$ が、ドリフトが臨界的（$s=1/2$）である場合や、境界付近でドリフトが十分に小さくない場合に失敗する可能性があることを指摘している。

主要な結果

1. 内部勾配Schauder評価 (定理 2.1):
   $s \in [1/2, 1)$ に対して、有界粘性解で $b, f \in C^\gamma$ であるとき、局所的に $C^{1,\alpha}$ である。この評価はスケール不変であり、無次元のドリフトサイズ $B_R$ に単調に依存する。

   • $s=1/2$ のとき、評価はSilvestreの定理から直接導かれる。
   • $s>1/2$ のとき、それはドリフトなしのSchauder評価と補間から従う。

2. 測度データに対する鋭いポテンシャル推定 (定理 2.3 & 2.5):
   コンパクトに支持された測度 $\mu$ を持つ全空間の方程式に対して、解 $u$ とその勾配は以下を満たす：
   $$|u(x)| \leq C I_{2s}^{|\mu|}(x), \quad |\nabla u(x)| \leq C I_{2s-1}^{|\mu|}(x).$$
   これらの次数（$2s$ および $2s-1$）は鋭いことが示されている。有界領域上のディリクレ問題については、グリーン作用素は測度を $L^1 \cap W^{1,1}_{loc}$ へと写し、これらのポテンシャル境界を保持する。

3. SOLAの安定性 (定理 2.5):
   グリーン・ポテンシャル解は、近似列に依存しない。もし測度の列 $\mu_j$ が $\mu$ に弱-*収束するならば、対応する解は $W^{1,1}_{loc}$ において強収束する。

4. $s \uparrow 1$ における一貫性 (定理 2.7):
   正規化された核は、古典的なニュートン・ポテンシャル（または2次元における対数ポテンシャル）に収束する。勾配推定は一次のRiesz変換に収束する。

5. 内部ドリフトを伴う境界正則性 (定理 2.8):
   ドリフトが領域の内部に支持されている場合、解は $u \in C^s(\mathbb{R}^n)$ を満たし、$u/d^s \in C^{s-\epsilon}(\Omega)$ となる。論文は、ドリフトが境界に達する場合、標準的な $d^s$ プロファイルが妨げられること、特に臨界ケース ($s=1/2$) において顕著であることを述べている。

意義と主張
本論文は、ヘルダー連続なドリフトを持つ臨界範囲 $s=1/2$ において、分数型ドリフト・拡散方程式に対する最初のスケール不変な内部 $C^{1,\alpha}$ 推定を確立したと主張しており、これは従来の、劣臨界またはドリフトなしのケースに限定されていた結果を拡張するものである。

確率論的な調和性を粘性フレームワークに結びつけることで、著者らは非対称な作用素（ドリフトを伴うもの）へのグリーン関数の理論を成功裏に拡張した。これにより、明示的な一次のドリフトを持つ方程式に対して、これまで不可能であった鋭い勾配ポテンシャル推定の導出が可能となった。 「グリーン・ポテンシャルSOLA」を、近似に依存しない一意の解クラスとして特定したことは、測度データを扱うための堅牢な枠組みを提供している。

また、本研究は、ドリフトが境界と相互作用する場合の境界正則性の限界を明確にし、劣臨界レジーム（ドリフトが低次となる）と臨界レジーム（ドリフトと拡散が競合する）を区別している。著者らは、境界における障害を特定してはいるものの、臨界ケースにおいてドリフトが境界に達する場合の完全な理論は、さらなる重み付きSchauder引数を必要とする未解決の方向性であると控えめに述べている。