[論文レビュー] Characterization of traces of smooth functions on Ahlfors regular sets

Lizaveta Ihnatsyeva, Antti V. Vähäkangas|arXiv (Cornell University)|Sep 10, 2011

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

ひとこと要約

本稿は、P. ShvartsmanによるBesov空間およびTriebel–Lizorkin空間のAhlfors $n$-正則集合上でのトレースの特徴付けを、$n-1 < d < n$ における$d$-正則集合へ拡張し、局所多項式近似を用いる。主な貢献は、トレース空間の内因的特徴付けを多項式近似ノルムを用いて行ったことであり、$d < n$ に内在する透過性条件のもとでノルムの同値性を確立し、有界な拡張作用素の存在を示した。結果として、自己相似的フラクタルに類似した集合上におけるSobolev、Bessel潜在およびTriebel–Lizorkin空間のトレース定理が一般化された。

ABSTRACT

We extend the results of P. Shvartsman on characterizing the traces of Besov and Triebel-Lizorkin spaces on Ahlfors $n$-regular sets to the case of $d$-regular sets, $n-1

研究の動機と目的

• Shvartsmanの$n$-正則集合上でのトレース特徴付けを、$n-1 < d < n$ における$d$-正則集合へ拡張すること。
• ジェットに基づく定義の代わりに、局所多項式近似を用いたトレース空間の内因的特徴付けを提供すること。
• $k > \alpha + (n-d)/p$ のもとで、パrameter $u$ および $k$ に依存しない$d$-集合上でのBesov空間におけるノルム同値性を確立すること。
• 透過性とRemez型不等式に依存して、トレース空間に対する有界線形拡張作用素を構成すること。
• 不規則な集合上におけるSobolev、BesovおよびTriebel–Lizorkin空間のトレース定理の証明を統一的かつ簡略化すること。

提案手法

• 局所多項式近似の次数$k$ を用いて、$d$-集合上でのBesov空間を定義し、誤差項$\mathcal{E}_k(f, Q)$ の$L^p(S)$-ノルムを含むノルムを導入する。
• 文献[7]のRemez型不等式を用いて、dyadic立方体における多項式近似誤差の$L^1$-ノルムを制御する。
• ${\mathbb{R}^n}$ 上のTriebel–Lizorkin空間およびBesov空間から、$d$-集合上での対応するトレース空間へのトレース作用素の有界性を確立する。
• $d$-集合が$d < n$ であるという透過性に依存して、Shvartsmanの手法を一般化し、線形拡張作用素を構成する。
• 古典的結果[29]を用いて、${\mathbb{R}^n}$ 上の拡張空間における同値性を介して、$L^u(S)$-および$L^1(S)$-に基づく半ノルムの比較により、Besov空間におけるノルム同値性を証明する。
• dyadic分解および立方体に基づく被覆議論を用いて、スケールをまたがる近似誤差の$L^p(S)$-ノルムを推定する。

実験結果

リサーチクエスチョン

• RQ1 $n$-正則集合上でのBesovおよびTriebel–Lizorkin空間のトレース特徴付けを、$n-1 < d < n$ における$d$-正則集合へ拡張することは可能か？
• RQ2 局所多項式近似アプローチは、$d < n$ における$d$-集合上でのトレース空間の定義および特徴付けに十分か？
• RQ3 パrameter $u$ が$1 \leq u \leq p$ のとき、$d$-集合上でのBesov空間のノルムは、$u$ に依存しないか？
• RQ4 多項式近似と透過性に依存して、$d$-集合上でのトレース空間に対する有界線形拡張作用素を構成できるか？
• RQ5 $d < n$ における$d$-集合の透過性は、拡張作用素の有界性およびトレース定理においてどのような役割を果たすか？

主な発見

• ${\mathbb{R}^n}$ 上のTriebel–Lizorkin空間およびBesov空間から、$n-1 < d < n$ における$d$-集合へのトレース作用素は有界かつ全射であり、有界な線形右逆元をもつ。
• $d$-集合上でのBesov空間の定義は、$k > \alpha$ である限り、$k$ の選択に依存せず、$1 \leq u \leq p$ のとき$u$ に依存しない。同値ノルムが得られる。
• ノルム同値性は、${\mathbb{R}^n}$ への拡張を行い、古典的ノルム同値性を適用することで、$N_p(f) \leq c N_1(f)$ を示すことにより確立された。
• $k > \alpha + (n-d)/p$ の条件下で、拡張作用素は$B^\alpha_{pq}(S)$ から$B^\alpha_{pq}(\mathbb{R}^n)$、および$F^\alpha_{pq}(S)$ から$F^\alpha_{pq}(\mathbb{R}^n)$ へ有界である。
• $d < n$ における$d$-集合の透過性は、Remez型推定を介して誤差項を制御する上で、拡張作用素の有界性の証明において不可欠である。
• 本結果は、古典的トレース定理（Sobolev、Bessel潜在、Triebel–Lizorkin空間）を不規則で非整数次元の集合へ一般化した。