Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

技術要約：安定レヴィ演算子によって駆動される半線形方程式における孤立特異点および測度データ問題

問題設定
本論文は、有界領域 $D \subset \mathbb{R}^d$ ($d \ge 1$) において、一様楕円的な厳密 $2s$-安定レヴィ演算子（$s \in (0, 1)$）によって駆動される正の解を調査している。研究は、以下の相互に関連する2つの問題に焦点を当てている：

1. 孤立特異点問題： 欠損領域 $D \setminus \{0\}$ における $-Lu = u^p$ の正の分布解の解析。ここで $L$ は、必ずしも対称ではなく、一様な非退化条件を満たすレヴィ測度 $\nu$ を通じて定義される、厳密 $2s$-安定レヴィ過程の生成作用素である。
2. 測度データ・ディリクレ問題： $D$ における外部ディリクレ問題 $-Lu = u^p + k\mu$ （ただし $u=0$ in $D^c$、$\mu$ は有界な正のボレル測度、$k > 0$ はパラメータ）の研究。

主な目的は、異方的かつ非対称な安定生成作用素を含む一般的な構造的仮定の下で、存在性、定性的性質、および特異点の除去可能性を確立することである。

手法と新規性
著者らは、自らのアプローチを分数ラプラシアン $(-\Delta)^s$ に関する既存の文献から明確に区別している。分数ラプラシアンに関する標準的な手法は、以下に強く依存している：

• カファレリ・シルヴェストリの拡張（非局所演算子の局所化）。
• グリーン関数の明示的な公式と鋭い点別推定（例：$G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$）。
• ジャンプ測度の密度の滑らかさと特定のハーディ・イネークリーティ。

本論文は、これらの特定の性質が、一般的な異方的および非対称な安定レヴィ演算者には備わっていないことを指摘している。したがって、著者らは、拡張法や点別グリーン関数推定を回避し、確率論的ポテンシャル論および作用素論的手法に基づいた手法を開発した。

主要な手法の特徴は以下の通りである：

• テイル空間 ($T_\nu(V)$): $L$ の非局所性を扱うために、著者らは $Lu$が分布として定義されることを保証する関数空間$T_\nu(V)$ を導入している。この空間は、テスト関数のサポートの外側における解の可積分性を考慮に入れている。
• リースの分解とディンキンの公式: 孤立特異点の解析は、古典的なPDEの正則性議論ではなく、ディンキンの公式と過剰関数に対するリースの分解定理に基づいている。
• デニーの定理によるコンパクト性: 点別グリーン境界が存在しないため、測度データ問題の解を構成するために、著者らはデニーの定理と確率論的議論を組み合わせ、非線形グリーン作用素のコンパクト性を確立した。
• 不動点および変分法: 小さなパラメータに対する存在性は、シャウダーの不動点定理を通じて導かれる。対称な場合における多価性と安定性は、変分法、具体的にはブレグマン・ダイバージェンスを用いたエネルギー汎関数およびマウンテンパス定理を利用して利用される。

主要な結果

1. 除去可能性と特異点の構造:

   • $D \setminus \{0\}$ における任意の正の分布解 $u$ は、テイル空間 $T_\nu(D)$ に属し、ある $k \ge 0$ に対して $-Lu = u^p + k\delta_0$ を満たす。
   • 除去可能性の閾値: $p \ge d/(d-2s)$ であれば、必然的に $k=0$ となる。すなわち、特異点は除去可能である。
   • 漸近挙動: $p < d/(d-2s)$ かつ $k > 0$ の場合、解は原点付近でグリーン関数 $G_D(x, 0)$ のように振る舞う（$k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$）。著者らは、等方的な分数ラプラシアンの場合とは異なり、特異なプロファイルは必ずしも等方的（$|x|^{2s-d}$）ではなく、スペクトル測度や接近方向によって決定されることを注記している。

2. 臨界パラメータと可解性:

   • 問題 $-Lu = u^p + k\mu$ に対して、臨界パラメータ $k_\mu \in (0, \infty)$ が存在する。
   • 劣臨界 ($k < k_\mu$): 極小な正の解 $u_k$ が存在する。
   • 超臨界 ($k > k_\mu$): 正の解は存在しない。
   • 臨界 ($k = k_\mu$): 存在する正の解は高々一つである。

3. 対称な場合（多価性と安定性）:

   • $L$ が対称であると仮定する場合、$k < k_\mu$ における極小解 $u_k$ は安定である。
   • 多価性: すべての $k < k_\mu$ に対して、第二の正の解 $v_k > u_k$ が存在する。
   • 閾値での存在性: $k = k_\mu$ において解が存在し、これは臨界パラメータにおける一意性を意味する。

意義と主張
本論文の主要な貢献は、結果そのものだけでなく、広範な構造的仮定の下でそれらを確立するために開発された手法にあると主張している。著者らは、自らの分析が、分数ラプラシアンの文献で通常必要とされる特定の解析的性質（明示的なグリーン関数、密度の滑らかさ）を演算子が欠いている場合でも、主要な除去可能性および臨界閾値の現象が存続することを示していると述べている。

キルド・レゾルベントと確率論的ポテンシャル論を利用することで、著者らは、一般的な安定レヴィ演算子によって駆動される半線形非局所方程式のための体系的な枠組みを提供している。本研究は、Lions, Brezis, Véron, Chen-Quaasらによって発展させられた、ラプラス作用素および分数ラプラシアンに関する古典的な孤立特異性の理論を、異方的および非対称な設定へと拡張し、点別推定の欠如を関数解析的および確率論的なコンパクト性議論によって克服している。

論文は、「主要な除去可能性および閾値の現象は、これらの広範な構造的仮定の下でも存続する」と結論付けており、非局所解析における拡張法や点別推定に代わる堅牢な代替案としての確率論的手法の妥当性を検証している。