[論文レビュー] Almost sharp descriptions of traces of Sobolev $W_{p}^{1}(\mathbb{R}^{n})$-spaces to arbitrary compact subsets of $\mathbb{R}^{n}$. The case $p \in (1,n]$

Alexander Tyulenev|arXiv (Cornell University)|Sep 15, 2021

Advanced Harmonic Analysis Research参考文献 21被引用数 5

ひとこと要約

この論文は、任意のコンパクト集合 $ S \subset \mathbb{R}^n $ に対して、正の $ d $-ハウスドルフ内容をもつとき、$ p \in (1,n] $ の場合に、$ W_p^1(\mathbb{R}^n)|_S $ のほとんど鋭い内挿的特徴付けを提供する。$ \varepsilon > 0 $ に対して、トレース空間から $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ への有界線形拡張作用素を構成し、$ S $ に正則性仮定を課さずにほぼ最適な拡張理論を確立する。主な貢献は、ノルムの同値性までにトレースを特徴付ける新しい関数空間 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ の導入である。

ABSTRACT

Let $S \subset \mathbb{R}^{n}$ be an arbitrary nonempty compact set such that the $d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(S) > 0$ for some $d \in (0,n]$. For each $p \in (\max\{1,n-d\},n]$, an almost sharp intrinsic description of the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ of the Sobolev space $W_{p}^{1}(\mathbb{R}^{n})$ to the set $S$ is obtained. Furthermore, for each $p \in (\max\{1,n-d\},n]$ and $\varepsilon \in (0, \min\{p-(n-d),p-1\})$, new bounded linear extension operators from the trace space $W_{p}^{1}(\mathbb{R}^{n})|_{S}$ into the space $W_{p-\varepsilon}^{1}(\mathbb{R}^{n})$ are constructed.

研究の動機と目的

• 任意のコンパクト集合 $ S \subset \mathbb{R}^n $ に対して、$ \mathcal{H}^{d}_{\infty}(S) > 0 $ を満たす場合に、$ S $ の正則性を仮定せずに、トレース空間 $ W_p^1(\mathbb{R}^n)|_S $ の内挿的でほとんど鋭い記述を提供すること。
• 任意の $ \varepsilon \in (0, \min\{p - (n-d), p-1\}) $ に対して、トレース空間から $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ への有界線形拡張作用素を構成し、ほぼ最適な正則性を達成すること。
• トレース空間がノルムの同値性までに特徴付けられる新しい関数空間 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ を導入し、その性質を研究すること。
• 鋭さの要請を弱め、カルデロン型最大関数とフロストマン型測度を用いることで、$ p \in (1,n] $ の臨界範囲におけるトレース問題を解決すること。

提案手法

• 論文は、カルデロン型最大関数と $ S $ 上のフロストマン型測度の列 $ \{\mathfrak{m}_k\} $ を用いて定義される新しい関数空間 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ を使用し、これによりトレースの挙動を捉える。
• 特別な近似列と拡張作用素 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $ を構成し、トレース空間に属する関数を $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ に写像するが、拡張作用素の有界性を保証する。
• 関数の $ S $ 近傍における振動と成長を制御するため、被覆の適切な系列、ホイットニー型の空洞、および中空立方体を含む、組合せ論的および測度論的道具に依存する。
• 完備性とノルム同値性を確立するため、容量論、最大関数の $ L_p $-有界性、ファトウ型極限議論を組み合わせた証明を用いる。
• 容量ゼロの集合を modulo として定義するため、$ (1,p) $-良い代表元と $ d $-ハウスドルフ内容を用いた双対性議論を適用する。
• 構成の妥当性は、$ W_p^1(\mathbb{R}^n)|_S $ 上のトレースノルムが、普遍定数に依存するのみの $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-ノルムと同値であることを示すことによって裏付けられる。

実験結果

リサーチクエスチョン

• RQ1 任意のコンパクト集合 $ S \subset \mathbb{R}^n $ に対して、$ \mathcal{H}^d_\infty(S) > 0 $ を満たすとき、$ p \in (1,n] $ の場合に、トレース空間 $ W_p^1(\mathbb{R}^n)|_S $ の内挿的でほとんど鋭い特徴付けは何か？
• RQ2 $ S $ に正則性がない場合でも、$ \varepsilon > 0 $ に対して、トレース空間から $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ への有界線形拡張作用素を構成できるか？
• RQ3 $ S $ 上の関数空間として、代表元の選択に依存しないノルム同値性までにトレースを特徴付けるものがあるか？
• RQ4 トレースノルムは、$ S $ の幾何的・測度論的性質（例えば $ d $-ハウスドルフ内容やフロストマン型測度）とどのように関係しているか？

主な発見

• 各 $ p \in (\max\{1,n-d\}, n] $ に対して、トレース空間 $ W_p^1(\mathbb{R}^n)|_S $ は、ノルム同値性までに関数空間 $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ でほとんど鋭く特徴付けられる。
• 任意の $ \varepsilon \in (0, \min\{p - (n-d), p - 1\}) $ に対して、$ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ から $ W_{p-\varepsilon}^1(\mathbb{R}^n) $ への有界線形拡張作用素 $ \operatorname{Ext}_{S,\{\mathfrak{m}_k\},\lambda} $ が存在する。
• $ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $ は、与えられたノルムの下での完備性によりバナッハ空間であることが示された。
• $ W_p^1(\mathbb{R}^n)|_S $ 上のトレースノルム $ \|f|W_p^1(\mathbb{R}^n)|_S\| $ は、$ \operatorname{X}^{d^*}_{p-\varepsilon,d,\{\mathfrak{m}_k\}}(S) $-ノルムと同値であり、同値定数は $ n, p, \varepsilon, d, \lambda, c $、および定数 $ \operatorname{C}_{\{\mathfrak{m}_k\},i} $ のみに依存する。
• 構成は、$ S $ の幾何に適合したカルデロン型最大関数とフロストマン型測度の列 $ \{\mathfrak{m}_k\} $ に依存しており、これにより $ S $ 上での関数の振動を制御する。