[論文レビュー] Fiber-wise Calder\'on-Zygmund decomposition and application to a bi-dimensional paraproduct

Frédéric Bernicot|arXiv (Cornell University)|Nov 16, 2010

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

ひとこと要約

本稿は、標準的な二重線形 Calderón-Zygmund 理論に従わない、新しいクラスの二次元パラプロダクトに対して、関数を1つの変数ごとに分解するファイバーごとの Calderón-Zygmund 分解を導入する。弱いタイプの推移性を用いることで、ある $ r_0 $ に対して弱いタイプ $ L^{r_0, y}$ での有界性が示されれば、$ 1/r = 1/p + 1/q $ を満たすすべての指数 $ p, q \geq 1 $ に対して、強いタイプ $ L^r $ または弱いタイプ $ L^{r,\infty} $ での有界性が保証されるという拡張原理を確立する。これは、退化した混合変数構造を持つ設定に、既知の結果を拡張するものである。

ABSTRACT

We are interested in a new kind of bi-dimensional bilinear paraproducts (appearing in [6]), which do not fit into the setting of bilinear Calder\'on-Zygmund operators. In this paper we propose a fiber-wise Calder\'on-Zygmund decomposition, which is specially adapted to this kind of bi-dimensional paraproduct.

研究の動機と目的

• 古典的な二重線形 Calderón-Zygmund 理論に適合しない新しいクラスの二重パラプロダクトに対する有界性結果の欠如を解決すること。
• これらの作用素の混合変数構造に適応する、新規の分解技法—ファイバーごとの Calderón-Zygmund 分解—を構築すること。
• 有界性の拡張原理を確立し、弱いタイプの推移性を、Lebesgue 指数の範囲にわたるより強い推移性へと移すことを可能にすること。

提案手法

• ほとんどすべての $ y \in \mathbb{R} $ に対して、各スライス $ f(\cdot, y) $ に対して標準的な Calderón-Zygmund 分解を独立に適用することで、ファイバーごとの Calderón-Zygmund 分解を提案。単純なテンソル積の稠密部分空間への制限により、可測選択の保証が得られる。
• 関数が有限個の積 $ f_j^1(x) \mathbf{1}_{E_j}(y) $ の和として分解可能な、$ L^1(\mathbb{R}^2) $ の稠密部分空間 $ D \subset L^1(\mathbb{R}^2) $ を用いることで、分解成分の可測選択が保証される。
• 弱いタイプの推移性の間で二重線形 Marcinkiewicz 補間を適用し、$ T: L^1 \times L^q \to L^{s,\infty} $ に対して弱いタイプの有界性を確認する問題に帰着させる。ここで $ 1/s = 1 + 1/q $。
• 原子におけるキャンセル効果と立方体からの距離に伴う減衰を利用する点での推移性を、$ y $ 変数における Hardy-Littlewood 最大関数 $ M_y $ を用いて行う。
• 主要な推移性 $ |T(a,g)(x,y)| \lesssim \gamma \, H(x,y) \, M_y g(x,y) $ を導出。ここで $ H $ は立方体の和、$ \gamma $ は Calderón-Zygmund の閾値である。
• 弱い Lebesgue 空間における Hölder の不等式を用いて、$ T(f,g) $ の分布関数を制御し、最終的に弱いタイプの推移性 $ \alpha^{-s} \|f\|_{L^1}^s $ を得る。

実験結果

リサーチクエスチョン

• RQ1 二重パラプロダクトの有界性は、1つの弱いタイプ推移性から、Lebesgue 指数の全範囲に拡張可能か？
• RQ2 混合変数構造を持つ作用素に対して、ファイバーごとの Calderón-Zygmund 分解は、両変数に同時に作用する特異性を持つ場合にも有効か？
• RQ3 なぜ標準的な Calderón-Zygmund および Littlewood-Paley 技法は、このクラスのパラプロダクトに対して失敗するのか？ どのような代替的手法が必要か？
• RQ4 双対作用素が両変数において非局所的構造を持つ場合、それらは同じ拡張性質を有するか？
• RQ5 元の作用素 $ T $ がファイバーごとの分解を可能にする構造的性質は何か？ そして、なぜそれらの性質は双対作用素では成立しないのか？

主な発見

• 本稿では、$ p_0, q_0 > 1 $ かつ $ 1/r_0 = 1/p_0 + 1/q_0 $ を満たす $ T $ が $ L^{p_0} \times L^{q_0} $ から $ L^{r_0,\infty} $ に有界であるならば、すべての $ p \in [1, p_0] $、$ q \in [1, q_0] $ に対して $ 1/r = 1/p + 1/q \leq 2 $ かつ $ 1/r > 1/r_0 $ を満たす $ L^p \times L^q \to L^r $ への有界性が拡張されることを示した。
• $ p > 1 $、$ q = 1 $ の場合、$ L^1 \times L^q \to L^{s,\infty} $ への有界性が $ 1/s = 1 + 1/q $ を満たすように成立し、同様に $ p = 1 $、$ q > 1 $ の場合も成立する。これは、$ L^1 $ の端点でも有界性が保たれることを示している。
• 証明は、可測性を保証するため、$ L^1(\mathbb{R}) \otimes L^1(\mathbb{R}) $ に値を制限した稠密部分空間への制限によって、ファイバーごとの分解に依存している。
• 主要な推移性 $ |T(a,g)(x,y)| \lesssim \gamma \, H(x,y) \, M_y g(x,y) $ は、原子におけるキャンセルと距離に伴う減衰を用いて導出され、弱いタイプのノルムによる制御が可能になる。
• $ T(f,g) $ の分布関数は $ \left|\{(x,y): |T(f,g)(x,y)| > \alpha\}\right| \lesssim \alpha^{-s} \|f\|_{L^1}^s $ を満たす。これは弱いタイプの推移性を確認し、補間の議論を完了する。
• 双対作用素 $ T^*_1 $ および $ T^*_2 $ に対しては、この手法は失敗する。なぜなら、それらは $ T(f,g)(x,y) = T(f(\cdot,y), g(x,\cdot))(x,y) $ のような分離可能な構造を保存しないため、ファイバーごとのアプローチに不可欠な性質を満たさないからである。