[論文レビュー] Characterizations of Besov and Triebel-Lizorkin Spaces on Metric Measure Spaces

Амиран Гогатишвили, Pekka Koskela+1 more|arXiv (Cornell University)|Jun 13, 2011

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

ひとこと要約

本稿は、倍加測度およびPoincaré不等式を備えた測度空間上における同次Besov空間およびTriebel-Lizorkin空間の最適な点付き特徴づけを確立し、鋭い最大関数と振動を含むさまざまな滑らかさの半ノルムが同値であることを示している。主な貢献は、これらの特徴づけにおけるパラメータの範囲が最適であることを証明し、空間の非自明性が基礎となる幾何学的・解析的構造によって完全に決定されることを示している。

ABSTRACT

On a metric measure space satisfying the doubling property, we establish several optimal characterizations of Besov and Triebel-Lizorkin spaces, including a pointwise characterization. Moreover, we discuss their (non)triviality under a Poincaré inequality.

研究の動機と目的

• 測度空間に倍加測度が備わった場合の同次BesovおよびTriebel-Lizorkin空間の点付き最適特徴づけを提供すること。
• 振動、平均、および下界を含むさまざまな滑らかさの半ノルムが古典的Besovノルムと同値となるためのパラメータの鋭い範囲を特定すること。
• 弱い(1,p)-Poincaré不等式の仮定の下で、これらの関数空間の非自明性を調査すること。
• 特に $ s = n/p $ の場合に、特定のBesov空間の自明性に関する必要十分条件を確立すること。

提案手法

• 著者らは、半径 $ t $ の球上で $ t^{-s} $ と $ L^\sigma $-振動を掛け合わせた点付き滑らかさの半ノルムに基づく新しい関数空間を定義し、$ \vec{C}^{s,\sigma} $、$ \vec{A}^{s,\sigma} $、$ \vec{I}^{s,\sigma} $、および $ \vec{S}^{s,\epsilon,\sigma} $ 演算子を用いる。
• 測度の倍加性および弱い(1,p)-Poincaré不等式を用いて、振動を制御し、最大関数と関連付けることで、古典的Besov空間 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ がこれらの新しい空間 $ \vec{E}\dot{B}_{p,q}({\mathcal{X}}) $ と一致することを証明する。
• 証明は、測度の倍加性および弱い(1,p)-Poincaré不等式を用いて、振動を制御し、最大関数と関連付ける。
• 鋭い最大関数推定とダイアディック分解技術を用いて、異なる半ノルムを比較し、同値性を確立する。
• パラメータが臨界閾値を超えると、$ \dot{B}^{s}_{p,q} $ には属するが $ \vec{E}\dot{B}_{p,q} $ には属さない関数を構成することで、$ \mathbb{R}^n $ 上に明示的な反例を構築し、特徴づけにおけるパラメータ範囲が最適であることを示す。
• 非自明性の結果を得るため、Cantor型集合を用いた平方の構成により、Ahlfors 2-正則な測度空間を構築し、弱い(1,2)-Poincaré不等式が成り立つ場合でも $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ が非自明であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの条件下で古典的Besov空間 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ が $ \vec{C}^{s,\sigma} $ を用いた空間と同値になるか？
• RQ2 どのパラメータ範囲 $ \sigma $ に対して $ \vec{I}^{s,\sigma} $-に基づく特徴づけが $ \dot{B}^{s}_{p,q} $ に対して成立するか？
• RQ3 $ \vec{S}^{s,\epsilon,\sigma} $ 演算子のスケールを用いて $ \dot{B}^{s}_{p,q} $ 内の関数の滑らかさを特徴づけられるか？また、最適な $ \epsilon $ は何か？
• RQ4 弱い(1,n)-Poincaré不等式は、$ s \geq 1 $ のとき $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ の自明性を保証するために必要か？
• RQ5 弱い(1,p)-Poincaré不等式が $ p>2 $ のみを満たす空間上でも、非自明なBesov空間 $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ が存在可能か？

主な発見

• 空間 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ が $ \vec{C}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ と等長同型であるための必要十分条件は $ \sigma \in (0,p] $ であり、この範囲は最適である。
• 空間 $ \dot{B}^{s}_{p,q}({\mathcal{X}}) $ が $ \vec{I}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ と一致するための必要十分条件は $ \sigma \in (0, p_*(s)) $ であり、ここで $ p_*(s) = np/(n - ps) $（$ p < n/s $ の場合）、この範囲は最適である。
• $ \epsilon \in [0,s) $ のとき、$ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{S}^{s,\epsilon,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ が成り立つための必要十分条件は $ \sigma \in (0, p_*(s)) $ であり、この範囲は最適である。
• $ p \in (n/(n+s), \infty] $ のとき、$ \dot{B}^{s}_{p,q}({\mathcal{X}}) = \vec{A}^{s,\sigma}\dot{B}_{p,q}({\mathcal{X}}) $ が成り立つための必要十分条件は $ \sigma \in (0, p_*(s)) $ であり、この範囲は最適である。
• $ s \in (0,1) $、$ p \in (0, n/s) $、および $ \sigma > p_*(s) $ のとき、$ \dot{B}^{s}_{p,q}({\mathbb{R}}^n) $ に属するが $ L^\sigma_{\text{loc}}({\mathbb{R}}^n) $ に属さない関数が存在し、$ \vec{E} = \vec{A}^{s,\sigma}, \vec{I}^{s,\sigma}, \vec{S}^{s,\epsilon,\sigma} $ のいずれに対しても $ \vec{E}\dot{B}_{p,q}({\mathbb{R}}^n) $ の外にあるため、最適性が証明される。
• 弱い(1,p)-Poincaré不等式を満たすが $ p>2 $ であるようなAhlfors 2-正則な空間が存在し、すべての $ s \in (0,\infty) $ に対して $ \dot{B}^{s}_{2/s,2/s}({\mathcal{X}}) $ が非自明である。これは、$ s \geq 1 $ のとき $ \dot{B}^{s}_{n/s,n/s}({\mathcal{X}}) $ の自明性を保証するためには弱い(1,n)-Poincaré不等式が必要であることを示している。