Elementary Brezis-Browder type results and Representation formulae for s-harmonic functions

1. 研究の背景と目的

この論文は、分数階ソボレフ空間（Fractional Sobolev spaces）における分数階ラプラシアン $(-\Delta)^s$ の性質、特に $s$-調和関数（$(-\Delta)^s u = 0$）の構造と、分数階ポアソン方程式 $(-\Delta)^s u = T$ の解の表現公式について研究しています。

主な目的は以下の 2 点です：

1. Liouville 定理の拡張と表現公式の導出: $s$-調和関数が多項式であることを示し、分布解がリーツ・ポテンシャル（Riesz potential）を用いて具体的に表現できる条件を明らかにすること。
2. Brezis-Browder 型結果の分数階への拡張: 整数階のソボレフ空間で知られている Brezis-Browder 型定理（双対性ペアリングと積分の一致）を、分数階ソボレフ空間および非整数階の微分演算子に対して成立させるための十分条件を確立すること。

2. 主要な問題設定と手法

2.1 空間の定義と設定

• 空間 $L^1_{2s}(\mathbb{R}^d)$: 分数階ラプラシアンを分布の意味で定義するために必要な、多項式減衰を持つ関数の空間。
  $$L^1_{2s}(\mathbb{R}^d) := \left\{ u \in L^1_{\text{loc}}(\mathbb{R}^d) : \int_{\mathbb{R}^d} \frac{|u(x)|}{(1+|x|)^{d+2s}} dx < \infty \right\}$$
• ソボレフ空間: 斉次ソボレフ空間 $\dot{H}^{s,p}(\mathbb{R}^d)$ および非同次ソボレフ空間 $H^{s,p}(\mathbb{R}^d)$ をフーリエ変換を用いて定義し、その双対空間 $\dot{H}^{-s,p'}(\mathbb{R}^d)$ との関係を考察する。
• 分数階ラプラシアン: フーリエ変換 $\mathcal{F}$ を用いて $(-\Delta)^s u := \mathcal{F}^{-1}(|\xi|^{2s}\mathcal{F}(u))$ と定義される。

2.2 手法の概要

• 正則化と積分表示: $s$-調和関数の内部正則性を証明するために、球上のポアソン核の正則化版や、有限差分型演算子 $L_{m,s}$ を用いた積分表示（Lemma 3.1）を構築する。
• 近似列の構成: Brezis-Browder 型結果を証明する際、Hedberg による切断関数（truncation）の手法を分数階設定に適合させる。特に、$s$ が整数でない場合、$L^\infty$ 有界な近似列が直接得られないため、局所積分可能性の条件を強化することでこの問題を回避する。
• Gagliardo-Slobodeckii 半ノルム: $0 < s < 1$ の場合、フーリエ定義ではなく Gagliardo-Slobodeckii 半ノルムを用いたソボレフ空間 $\dot{W}^{s,p}$ においても同様の結果が得られることを示す。

3. 主要な結果と定理

3.1 $s$-調和関数と Liouville 定理

定理 1.1 (Liouville 定理の拡張):
$d \ge 1, 0 < s < d/2$ とする。$u \in L^1_{2s}(\mathbb{R}^d)$ が $(-\Delta)^s u = 0$ を $\mathbb{R}^d$ 上で分布解として満たすならば、$u$ は次数が $2s$ よりも厳密に小さい多項式である。

• 意義: 従来の $s \in (0,1)$ の結果を $s < d/2$ の範囲に拡張し、$s$-調和関数の構造を完全に記述した。

3.2 分数階ポアソン方程式の表現公式

定理 1.2 (表現公式):
$d \ge 1, 0 < s < d/2$ とする。$0 \le T \in \dot{H}^{-s}(\mathbb{R}^d) \cap L^1_{\text{loc}}(\mathbb{R}^d)$ に対して、以下の (i) と (ii) は同値である：
(i) $u \in L^1_{2s}(\mathbb{R}^d)$ が $(-\Delta)^s u = T$ を満たし、かつある定数 $l \in \mathbb{R}$ に対して、$R \to \infty$ のとき $\frac{1}{R^d} \int_{R<|x-y|<2R} |u(y)-l| dy$ が有界である。
(ii) $u$ はリーツ・ポテンシャルを用いて $u(x) = A_{2s} \int_{\mathbb{R}^d} \frac{T(y)}{|x-y|^{d-2s}} dy + l$ と表せる。

• 意義: 多項式解の不定性を排除し、分布解がリーツ・ポテンシャル（積分表示）で一意に定まる条件を明確にした。

3.3 Brezis-Browder 型結果の分数階拡張

定理 1.3 (Brezis-Browder 型等式):
$d \ge 1, s > 0, 1 < p < d/s$ とする。$T \in \dot{H}^{-s,p'}(\mathbb{R}^d) \cap L^{\bar{q}}_{\text{loc}}(\mathbb{R}^d)$ および $u \in \dot{H}^{s,p}(\mathbb{R}^d)$ が $Tu \ge -|f|$ ($f \in L^1$) を満たすとき、$Tu \in L^1(\mathbb{R}^d)$ かつ以下の等式が成り立つ：
$$\langle T, u \rangle_{\dot{H}^{-s,p'}, \dot{H}^{s,p}} = \int_{\mathbb{R}^d} T(x)u(x) dx$$
ここで、$\bar{q}$ は $s$ が整数か、$p$ の値に応じて定義される臨界指数である（式 1.7 参照）。

• 意義: 整数階のソボレフ空間における Brezis-Browder 定理（双対性ペアリングが積分で計算できること）を分数階に拡張し、そのために必要な $T$ の局所積分可能性の条件を特定した。

定理 4.2 (低階の場合の改善):
$0 < s < 1$ の場合、Gagliardo-Slobodeckii 半ノルムを用いた空間 $\dot{W}^{s,p}$ において、追加の局所積分可能性条件なしに同様の結果が成立することを示した。これは $p=2$ の場合に特に強力な結果となる。

4. 技術的貢献と新規性

1. 定量的評価の確立: $s$-調和関数に対する球内での導関数の $L^\infty$ 評価（Lemma 3.1）を導き出し、これを用いて Liouville 定理を厳密に証明した。
2. 近似列の巧妙な構成: 分数階演算子の非局所性により、従来の切断関数法が直接適用できないという課題に対し、$T$ の局所積分可能性を高めることで、適切な近似列を構成し Brezis-Browder 型等式を導出した。
3. 空間の包括的な扱い: フーリエ定義によるソボレフ空間と、Gagliardo-Slobodeckii 定義によるソボレフ空間の両方の枠組みで結果を導き、$s$ が整数か非整数か、$p$ の範囲によって必要な条件がどう変わるかを詳細に分類した。

5. 意義と応用

• 理論的意義: 分数階ラプラシアンの解の構造（多項式性、積分表示）に関する理解を深め、非局所演算子に対する Liouville 定理の完全な定式化を提供した。
• 応用可能性:
  • Thomas-Fermi 型積分方程式: 分数階ポテンシャルの正則性や解の挙動を解析する際の基礎として利用可能。
  • 非線形問題: Brezis-Browder 型結果は、非線形項を含む偏微分方程式の解の存在証明や正則性解析において、双対性ペアリングを積分形式に書き換える際に不可欠なツールである。本論文の結果は、分数階非線形方程式の解析への応用を可能にする。
  • 確率過程: 分数階ラプラシアンは安定過程（stable processes）の生成子であるため、確率論的な問題との関連も深い。

結論

本論文は、分数階ソボレフ空間における $s$-調和関数の構造解析と、双対性ペアリングの積分表現に関する Brezis-Browder 型定理の確立を通じて、非局所偏微分方程式の理論的基盤を強化する重要な貢献を果たしています。特に、整数階の場合とは異なる分数階特有の技術的課題（非局所性による減衰の遅さなど）を克服し、厳密な条件のもとで古典的な結果を拡張した点が特筆されます。