[論文レビュー] User's guide to the fractional Laplacian and the method of semigroups

Pablo Raúl Stinga|arXiv (Cornell University)|Aug 15, 2018

Nonlinear Partial Differential Equations被引用数 5

ひとこと要約

本稿では、半群法を用いて分数ラプラシアンの包括的なユーザーガイドを提示する。熱核表現を活用し、点関数公式と正則性推定を導出する。分数ラプラシアン方程式に対して鋭い Hölder および Schauder 推定を確立し、分数ラプラシアンの古典的ラプラシアンおよび恒等作用素への収束を証明し、半群技術を用いて明示的な定数を導出する。

ABSTRACT

The extit{method of semigroups} is a unifying, widely applicable, general technique to formulate and analyze fundamental aspects of fractional powers of operators $L$ and their regularity properties in related functional spaces. The approach was introduced by the author and José L.~Torrea in 2009 (arXiv:0910.2569v1). The aim of this chapter is to show how the method works in the particular case of the fractional Laplacian $L^s=(-Δ)^s$, $0

研究の動機と目的

• 0 < s < 1 における分数ラプラシアン $(-\Delta)^s$ の半群法を用いた体系的導入を提供すること。
• フーリエ解析に依存せずに、熱核表現を用いて $(-\Delta)^s u(x)$ の点関数公式を確立すること。
• データに最小限の仮定を置いた状態で、鋭い正則性推定（Hölder および Schauder）を導出すること。
• 極限挙動 $\lim_{s \to 1^-} (-\Delta)^s u = -\Delta u$ および $\lim_{s \to 0^+} (-\Delta)^s u = u$ を明示的定数を伴って証明すること。
• 半群法と Caffarelli–Silvestre の拡張問題を結びつけ、内部ハーナック不等式および微分推定を導出すること。

提案手法

• 0 < s < 1 に対して、熱半群から導かれる式 $(-\Delta)^s u(x) = \frac{1}{\Gamma(-s)} \int_0^\infty \left( e^{t\Delta}u(x) - u(x) \right) \frac{dt}{t^{1+s}}$ を用いる。
• 古典的熱核 $p_t(x) = (4\pi t)^{-n/2} e^{-|x|^2/(4t)}$ を用いて、分数ラプラシアンの点関数表現を構築する。
• 熱半群による Hölder 空間および Zygmund 空間の特徴付けを用い、Schauder 推定の証明を可能にする。
• Caffarelli–Silvestre の拡張技術を適用し、$(-\Delta)^s u = f$ の解を上半空間における調和拡張のディリクレ・トゥ・ノイマン写像として得る。
• 逆分数ラプラシアンを $u(x) = (-\Delta)^{-s}f(x) = C_s \int_0^\infty \int_{\mathbb{R}^n} p_t(x-y) f(y) \, dy \, \frac{dt}{t^{1-s}}$ として定義する。
• 熱半群およびその微分の挙動を分析することで、微分推定およびハーナック不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 フーリエ変換に依存せずに、分数ラプラシアンをどのように定義し、点関数的に計算できるか。
• RQ2 関数 $f$ に最小限の仮定を置いた場合に、$(-\Delta)^s u = f$ の解に対する鋭い正則性推定（Hölder および Schauder）は何か。
• RQ3 $s \to 1^-$ および $s \to 0^+$ の極限において、分数ラプラシアンのべき $(-\Delta)^s u$ が古典的ラプラシアンおよび恒等作用素にどのように収束するか。
• RQ4 半群法を用いて Caffarelli–Silvestre の拡張問題を明示的に解くことができるか。また、その結果得られる正則性推定は何か。
• RQ5 半群法を用いて、分数調和関数の内部ハーナック不等式および微分推定をどのように導出できるか。

主な発見

• 点関数公式 $(-\Delta)^s u(x)$ は熱核を用いて導出され、フーリエ解析に依存しない分数ラプラシアンのアプローチを提供する。
• 収束結果における明示的定数が得られる：$\lim_{s \to 1^-} (-\Delta)^s u(x) = -\Delta u(x)$ および $\lim_{s \to 0^+} (-\Delta)^s u(x) = u(x)$ は、$u$ に最小限の正則性を仮定した場合に成立する。
• Hölder 空間および Zygmund 空間の半群による特徴付けを用いて、$(-\Delta)^{\pm s}: C^{\alpha} \to C^{\alpha \mp 2s}$ の Schauder 推定が簡潔かつ洗練された形で証明される。
• 関数 $f \in C^{0,\alpha}(\mathbb{R}^n)$ のとき、方程式 $(-\Delta)^s u = f$ の解 $u$ に対して $\|u\|_{C^{k,\alpha+2s-k}} \leq C(\|u\|_{L^\infty} + \|f\|_{C^{0,\alpha}})$ が成り立ち、定数 $C$ は $n$, $s$, $\alpha$ のみに依存する。
• $f \in L^\infty(\mathbb{R}^n)$ のとき、解 $u$ に対して $2s < 1$ ならば $\|u\|_{C^{0,2s}} \leq C(\|u\|_{L^\infty} + \|f\|_{L^\infty})$、$2s > 1$ ならば $\|u\|_{C^{1,2s-1}} \leq C(\|u\|_{L^\infty} + \|f\|_{L^\infty})$ が成り立ち、定数 $C$ は $n$ および $s$ のみに依存する。
• 本手法により、拡張問題および半群解析を用いて、分数調和関数の内部ハーナック不等式および微分推定を導出可能である。