[論文レビュー] Function spaces and extension results for nonlocal Dirichlet problems

Moritz Kaßmann, Bartłomiej Dyda|arXiv (Cornell University)|Dec 6, 2016

Advanced Mathematical Modeling in Engineering被引用数 4

ひとこと要約

本稿では、積分微分作用素を含む非局所的ディリクレ問題における境界データを特徴付けるために、非局所的トレース空間と呼ばれる新しい関数空間を導入する。非局所的ディリクレ問題における関数の拡張およびトレース定理を確立し、解空間 $ V^s(\bar{\Omega}|\mathbb{R}^d) $ への有界な拡張作用素の存在を示し、その作用素ノルムが分数階数 $ s $ に対して鋭い依存関係を示す。また、$ s \to 1^- $ の極限において古典的ソボレフ空間の拡張結果が回復されることを示す。

ABSTRACT

We study function spaces and extension results in relation with Dirichlet problems involving integrodifferential operators. For such problems, data are prescribed on the complement of a given domain in the Euclidean space. We introduce a function space that serves as a trace space for nonlocal Dirichlet problems and study related extension results.

研究の動機と目的

• 領域 $ \Omega \subset \mathbb{R}^d $ の補集合にデータが指定される非局所的ディリクレ問題における、体系的な関数空間理論の欠如に取り組む。
• 非局所問題におけるトレース空間として機能する新しい関数空間を定義し、$ \Omega^c $ 上の境界データ $ g $ の正則性を捉える。
• 関数 $ g \in \text{トレース空間} $ を解空間 $ V^s(\Omega|\mathbb{R}^d) $ に属する解 $ u \in V^s(\Omega|\mathbb{R}^d) $ に写像する拡張作用素を構成し、非局所方程式 $ (-\Delta)^s u = 0 $ が $ \Omega $ 内で満たされることを保証する。
• 拡張作用素が有界であり、作用素ノルムが $ \frac{1}{s(1-s)} $ で制御されることを証明し、$ s \to 0 $ や $ s \to 1 $ の極限における特異性が鋭いものであることを明らかにする。
• $ s \to 1^- $ の極限において古典的ソボレフ空間のトレースおよび拡張結果が回復されることを示し、古典理論の非局所的類似物を提供する。

提案手法

• 解空間 $ V^s(\Omega|\mathbb{R}^d) $ を、$ \mathbb{R}^d $ 上で局所 $ L^2 $ かつ $ \mathbb{R}^d \times \mathbb{R}^d $ 上の差分を $ |x-y|^{-d-2s} $ で重み付けしたガリャルド型半ノルムが有限である関数の集合として定義する。
• トレース空間を $ V^s(\Omega|\mathbb{R}^d) $ を $ \Omega^c $ に制限した空間とし、誘導された半ノルムを備える。拡張作用素は、ダイアディックキューブを用いたパーティション・オブ・ユニティおよび反射を用いて定義する。
• 領域 $ \Omega $ 及びその補集合のホイットニー型分割を用いて、局所的正則性を保ちつつ非局所半ノルムを制御する局所化された拡張作用素を構成する。
• 主な推定式 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $ を確立し、作用素ノルムが $ 1/s $ に依存することを示す。
• 立方体とその反射のサイズを比較することで、重み付き $ L^p $-空間における有界性を証明し、$ x \in Q $, $ \tilde{x} \in \widetilde{Q} $ に対して $ |x|+1 \asymp |\tilde{x}|+1 $ が成り立ち、定数は $ \Omega $ のみに依存することを用いる。
• トレースノルムの推定式 $ \|\operatorname{ext}(f)\|_{V^s(\Omega|\mathbb{R}^d)} \lesssim \frac{1}{s(1-s)} \|f\|_{\text{トレース空間}} $ を導出し、$ s \to 1^- $ の極限において拡張作用素が一様に有界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 積分微分作用素を含む非局所的ディリクレ問題において、$ \Omega^c $ 上で適切なトレース空間として機能する関数空間は何か？
• RQ2 非局所的ディリクレ問題の境界データを含む領域 $ \Omega^c $ 上のトレース空間から、解空間 $ V^s(\Omega|\mathbb{R}^d) $ への有界線形拡張作用素をどのように構成できるか？
• RQ3 分数階数 $ s \in (0,1) $ に対して、拡張作用素ノルムの鋭い依存関係は何か？また、$ s \to 1^- $ のときの挙動は？
• RQ4 古典的ソボレフ空間の拡張結果は、非局所的拡張理論の極限として回復可能か？
• RQ5 重み付き $ L^p $-空間（重み $ (1+|x|)^\beta $）において、拡張作用素は有界か？その条件として $ \beta $ や領域にどのような制約があるか？

主な発見

• 本稿では、非局所的ディリクル問題のための新しいトレース空間を導入し、これは $ V^s(\Omega|\mathbb{R}^d) $ を $ \Omega^c $ に制限することで定義され、境界データ $ g $ の正則性を特徴付ける。
• 拡張作用素 $ \operatorname{ext} $ は、$ f \in \text{トレース空間} $ を $ u \in V^s(\Omega|\mathbb{R}^d) $ に写像し、$ u = g $ が $ \Omega^c $ 上で成り立つようにする。作用素ノルムは $ \frac{1}{s(1-s)} $ で有界である。
• 明示的な推定式 $ |\operatorname{ext}(f)|_{\Omega^{\text{int}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} \lesssim \frac{1}{s} |f|_{\Omega^{\text{ext}}_\delta, \Omega^{\text{ext}}_\varepsilon}^{s,p} $ が確立され、$ s \to 0 $ の極限で作用素ノルムが発散するが、$ s \in (0,1) $ では有限のまま保たれることを示す。
• 重み付き $ L^p $-空間（重み $ (1+|x|)^\beta $）において、拡張作用素は有界であり、その有界性定数は領域 $ \Omega $ のみに依存し、関数 $ f $ には依存しない（$ p < \infty $ の場合）。
• $ s \to 1^- $ の極限において、古典的ソボレフ空間の拡張結果が回復されることを示し、非局所理論が古典的トレースおよび拡張定理を一般化・拡張していることを示す。
• $ L^\infty $-有界性の結果を証明した：$ \|\operatorname{ext}(f)\|_{L^\infty(\Omega)} \lesssim \|f\|_{L^\infty(\Omega^c)} $ であり、拡張の点ごとの制御が確認された。