[論文レビュー] Hitchhiker's guide to the fractional Sobolev spaces

Eleonora Di Nezza, Giampiero Palatucci+1 more|arXiv (Cornell University)|Apr 21, 2011

Advanced Harmonic Analysis Research参考文献 54被引用数 22

ひとこと要約

この論文は、補間やBesov空間の技法を避けて、Gagliardo半ノルムを用いた、分数階Sobolev空間 $W^{s,p}$ に向けた自己完結的で初等的な導入を提供する。埋め込み定理、トレース理論、コンパクト性に関する結果を確立し、非リプシッツ領域における特定のコンパクト埋め込みが成立しないことを示す反例も提示する。

ABSTRACT

This paper deals with the fractional Sobolev spaces W^[s,p]. We analyze the relations among some of their possible definitions and their role in the trace theory. We prove continuous and compact embeddings, investigating the problem of the extension domains and other regularity results. Most of the results we present here are probably well known to the experts, but we believe that our proofs are original and we do not make use of any interpolation techniques nor pass through the theory of Besov spaces. We also present some counterexamples in non-Lipschitz domains.

研究の動機と目的

• 分厚さの少ない背景を持つ学生や研究者向けに、分数階Sobolev空間 $W^{s,p}$ に厳密かつアクセス可能な導入を提供すること。
• 補間やBesov空間理論に依存せずに、埋め込み、コンパクト性、トレース理論といった重要な解析的性質を確立すること。
• 明示的な反例を用いて、コンパクト埋め込みのための領域の正則性（例えばリプシッツ条件）の必要性を示すこと。
• Gagliardo半ノルムの役割と、分数階ラプラシアンおよび非局所エネルギーとの関係を明確にすること。

提案手法

• Gagliardo半ノルム $[u]_{W^{s,p}}^p = \iint_{\bbR^n \times \bbR^n} \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}}\,dx\,dy$ を用いて $W^{s,p}（\bbR^n）$ を定義する。
• 直接的な推定と領域の幾何的分解を用いて、Lebesgue空間への連続的およびコンパクトな埋め込みを証明する。
• 拡張問題を分析する：適切な仮定の下で、$W^{s,p}(\Omega)$ に属する関数を $W^{s,p}(\bbR^n)$ に拡張する。
• 分数階ラプラシアンの定義における定数 $C(n,s)$ の漸近的挙動を、$s \to 0$ または $s \to 1$ のときの分析により、その振る舞いを検討する。
• 非リプシッツ領域における明示的な反例を構成し、コンパクト埋め込みおよび $W^{s,p}$ 内での有界性の失敗を示す。
• 領域をdyadicな中空領域に分解し、スケーリングの議論を用いて非局所エネルギー積分を推定する。

実験結果

リサーチクエスチョン

• RQ1 Gagliardo半ノルムを用いて定義された分数階Sobolev空間 $W^{s,p}$ の基本的性質は何か？ そして、古典的Sobolev空間とはどのように関係しているか？
• RQ2 $W^{s,p}(\Omega)$ に属する関数が $\bbR^n$ 上の $W^{s,p}$ に拡張可能となる条件は何か？ また、領域の幾何学的性質はどのような役割を果たすか？
• RQ3 なぜリプシッツ条件が $W^{s,p}(\Omega)$ から $L^q(\Omega)$ へのコンパクト埋め込みに必要なのか？ また、非リプシッツ領域では何が失敗するのか？
• RQ4 Gagliardo半ノルムの非局所的性質は、不規則な領域における正則性および可積分性にどのように影響を与えるか？
• RQ5 分数階ラプラシアンにおける定数 $C(n,s)$ の漸近的挙動は何か？ そして、その定数が作用素の定義にどのように影響を与えるか？

主な発見

• Gagliardo半ノルムは、補間やBesov空間を避けるために自然かつ初等的な $W^{s,p}$ の定義を提供する。
• 適切な領域の正則性のもとで、Lebesgue空間への連続的およびコンパクトな埋め込みが成立し、幾何的分解を用いた鋭い推定が得られる。
• 関数 $u$ が $W^{s,p}(\Omega)$ に属する場合、弱い条件下で $\bbR^n$ 上への拡張が可能であるが、そのノルムは領域の幾何学的性質に依存する。
• 非リプシッツ領域では、半径 $a_n = C^{-n}$ の互いに交わらない球上で定義された列 $\{f_n\}$ は $H^s(\Omega)$ 内で有界であるが、$L^2(\Omega)$ 内で収束する部分列を持たないため、コンパクト性が失敗することが示される。
• 非リプシッツ領域では、有界関数に対しても非局所エネルギー積分 $\iint_{\Omega \times \Omega} \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}}\,dx\,dy$ が発散する可能性があり、関数 $u$ を構成することで $W^{s,p}$ 半ノルムが無限大になる例も示される。
• $s \to 1^-$ のときの $C(n,s)$ の漸近的挙動が分析され、分数階ラプラシアンが古典的ラプラシアンに点単位で収束する際のその役割が明らかにされる。