[論文レビュー] A new framework for generalized Besov-type and Triebel-Lizorkin-type spaces

Yiyu Liang, Dachun Yang+3 more|arXiv (Cornell University)|May 14, 2012

Advanced Harmonic Analysis Research参考文献 88被引用数 10

ひとこと要約

本稿では、ハーディー＝リトルウッドやベクトル値最大関数不等式に依存しない、ペトレ最大関数を用いた一般化されたベソフ型およびトライベル＝リゾルキン型関数空間の新しい枠組みを提案する。この枠組みにより、原子的および分子的特徴づけが可能となり、フーリエ乗数作用素および擬微分作用素の有界性が確立され、モリーリー、オルリーツ、可変Lebesgue空間などの多様な関数空間が一元的な理論的枠組みで統合される。

ABSTRACT

In this paper, the authors propose a new framework under which a theory of generalized Besov-type and Triebel-Lizorkin-type function spaces is developed. Many function spaces appearing in harmonic analysis fall under the scope of this new framework. Among others, the boundedness of the Hardy-Littlewood maximal operator or the related vector-valued maximal function on any of these function spaces is not required to construct these generalized scales of smoothness spaces. Instead of this, a key idea used in this framework is an application of the Peetre maximal function. This idea originates from recent findings in the abstract coorbit space theory obtained by Holger Rauhut and Tino Ullrich. Under this new setting, the authors establish the boundedness of pseudo-differential operators based on atomic and molecular characterizations and also the boundedness of the Fourier multipliers. The characterizations of these function spaces by means of differences and oscillations are also established. As further applications of this new framework, the authors reexamine and polish some existing results for many different scales of function spaces.

研究の動機と目的

• 古典的LebesgueおよびSobolevスケールを超えた一般化されたベソフ型およびトライベル＝リゾルキン型関数空間の統一的理論的枠組みを構築すること。
• これらの関数空間の構成において、ハーディー＝リトルウッド最大作用素の有界性またはベクトル値最大関数不等式の仮定を排除すること。
• 原子的および分子的分解、擬微分作用素およびフーリエ乗数作用素の有界性、差分および振動を用いた特徴づけを、新しい枠組み内で確立すること。
• モリーリー、オルリーツ、ヘルツ、可変Lebesgue空間などの既存の多様な関数空間の結果を、共通の理論的枠組みの下で再解釈・精緻化すること。

提案手法

• コオペット空間理論にインspiredされ、ハーディー＝リトルウッド最大作用素の有効性に依存しない関数空間の定義と特徴づけに、ペトレ最大関数を中心的な道具として用いる。
• 公理(A1)～(A5)を満たす重み $ w $、パラメータ $ \tau $、関数空間 $ \tilde{\mathcal{L}} $ を用いて、一般化された関数空間 $ A^{w,\tau}_{{\tilde{\mathcal{L}}},q,a}({{{\mathbb{R}}}^{n}}) $ を定義する。
• ペトレ最大関数とdyadic分解に適合した原子および分子の構成を通じて、原子的および分子的分解を確立する。
• ペトレ最大関数を用いて、$ \|f\|_{{\mathcal{L}}_{q,\phi,d}({{{\mathbb{R}}}^{n}})} := \sup_{(x,t)} \frac{1}{\phi(x,t)} \|f - P^{d}_{Q(x,t)}f\|_{L^\infty(Q(x,t))} $ によりノルムを定義し、カムパナト型空間と関連付ける。
• ペトレ最大関数と局所的振動および差分作用素との関係を用いて、差分および振動による特徴づけを導出する。
• 原子的分解と新しいノルム構造を用いて、フーリエ乗数作用素および擬微分作用素の有界性を証明し、一般化スケール全域にわたる一様な推定を得る。

実験結果

リサーチクエスチョン

• RQ1 ハーディー＝リトルウッド最大作用素の有効性に依存しない、一般化されたベソフ型およびトライベル＝リゾルキン型空間の統一的枠組みを構築することは可能か？
• RQ2 ペトレ最大関数を用いたこの新しい枠組みにおいて、原子的および分子的分解はどのように確立されるか？
• RQ3 この新しい関数空間枠組みと、モリーリー、オルリーツ、可変Lebesgue空間などの古典的空間との関係は何か？
• RQ4 この一般化された設定において、フーリエ乗数作用素および擬微分作用素の有界性は確立可能か？
• RQ5 差分および振動は、どのように新しい関数空間を特徴づけ、この文脈におけるパラメータ $ a $ の役割は何か？

主な発見

• 本稿の枠組みは、基礎となる空間上でハーディー＝リトルウッド最大作用素が有界である必要がないという制約を回避しつつ、一般化されたベソフ型およびトライベル＝リゾルキン型空間を効果的に構成した。
• 重み $ w $、パラメータ $ \tau $、関数空間 $ \tilde{\mathcal{L}} $ を用いて定義された一般化された空間 $ A^{w,\tau}_{{\tilde{\mathcal{L}}},q,a}({{{\mathbb{R}}}^{n}}) $ に対して、原子的および分子的分解が確立され、分解定数は関数に依存しない。
• 原子的分解とペトレ最大関数技法を用いて、これらの一般化された空間上でのフーリエ乗数作用素の有界性が証明された。
• H"ormanderクラス $ S^0_{1,0} $ に属する記号を持つ擬微分作用素が、新しい枠組みの下で一般化された関数空間上でも有界であることが示された。
• 差分および振動による特徴づけが確立され、公理(A1)～(A5)の下では、振動ノルムがペトレ最大関数ノルムと同値であることが示された。
• 本枠組みは、既存の空間を統合的かつ再解釈的に扱うことができ、カムパナト型空間 $ \mathcal{L}_{q,\phi,d}({{{\mathbb{R}}}^{n}}) $、$ \mathcal{L}^{D}_{q,\phi}({{{\mathbb{R}}}^{n}}) $、一般化されたカムパナト型空間は、$ \tau = 0 $、$ q = \infty $、$ a > N_0 + \log_2(M_2/M_1) $ の下で、本理論の範囲に含まれることが示された。