[論文レビュー] On the Boundedness of the Carleson Operator near $L^1$

Victor Lie|arXiv (Cornell University)|Dec 20, 2011

Advanced Harmonic Analysis Research参考文献 7被引用数 3

ひとこと要約

本稿は、タイル離散化を用いたカルレソン作用素の新規なカルデロン＝ジグムント型分解を導入し、補外に依存せずに直接的に $L^1$ および弱型 $(1,1)$ 界を確立する。主な貢献は、$L\log L$ 空間における強い $L^1$ 界をもたらす分解であり、ほとんど everywhere でのフーリエ級数収束のための最大の再配列不変空間の理解を進める。

ABSTRACT

Based on the tile discretization elaborated by the author in "The Polynomial Carleson Operator", we develop a Calderon-Zygmund type decomposition of the Carleson operator. As a consequence, through a unitary method that makes no use of extrapolation techniques, we recover the previously known results regarding the largest rearrangement invariant space of functions with almost everywhere convergent Fourier series.

研究の動機と目的

• 補外技術に依存せずに $L^1$ 近傍でのカルレソン作用素を分析するための新しい手法を開発すること。
• タイル離散化を用いたカルレソン作用素のカルデロン＝ジグムント型分解を確立すること。
• 直接的でユニタリな手法により、既知のほとんど everywhere でのフーリエ級数収束のための最大の再配列不変空間の結果を回復すること。
• $L^1$ 近傍の他の関連問題および随伴作用素に対しても拡張可能な枠組みを提供すること。
• 分解が $L\log L$ で強い $L^1$ 界をもたらすかどうかを調査すること、これはこのような推定の最適空間である。

提案手法

• 文献 [14] の枠組みに基づき、タイル族 $\mathbb{P} = \bigcup_n \mathbb{P}_n$ の細分化を施したタイル分解を構築する。
• 各 $n$ に対して、 dyadic レベル $\alpha$ でインデックス付けされた二次的分解 $\mathbb{P}_n = \bigcup_\alpha \mathbb{P}_n^\alpha$ を導入し、dyadic Hardy-Littlewood maximal function $Mf$ と関連付ける。
• 各 $T^{\mathbb{P}_n^\alpha}$ に対して、$\operatorname{supp} T^{\mathbb{P}_n^\alpha} \subseteq 100\{Mf > 2^{-\alpha}\}$ の条件により、一様な $L^1$ 界を確立する。
• 木構造の寄与を合算するためのバイトリ型被覆議論を用い、弱型 $(1,1)$ 界を保証する。
• 正規直交性および $L^2$ に基づく手法を用いて $T^{\mathbb{P}_n}$ の $L^p$ ノルムを制御し、$n$ に関して多項式的減衰を得る。
• 補外を回避するユニタリ手法を用い、直接的に $L^p$ および $L\log L$ 空間における界を証明する。

実験結果

リサーチクエスチョン

• RQ1 補外に依存せずにカルレソン作用素のカルデロン＝ジグムント型分解を構築することは可能か？
• RQ2 $\|Tf\|_{1,\infty} \lesssim \|f\|_Y$ が成り立つような $L^1$ の部分空間 $Y$ としての最大の再配列不変バナッハ空間 $Y$ は何か？
• RQ3 提案された分解が $L\log L$ で強い $L^1$ 界をもたらすか？これはこのような推定の最適空間である。
• RQ4 この手法は $L^1$ 近傍での随伴作用素 $T^{*}$ の制御にも拡張可能か？
• RQ5 $\|T^{\mathbb{P}^\alpha}f\|_1 \lesssim \|f\|_1$ が $\alpha$ に関して一様に成り立つならば、$\|Tf\|_{L^1} \lesssim \|f\|_{L\log L}$ が得られ、これは最も強い $L^1$ 界である。

主な発見

• 分解 $T = \sum_n T^{\mathbb{P}_n}$ は $\|T^{\mathbb{P}_n}f\|_1 \lesssim \|f\|_{L\log L}$ を満たし、$L\log L$ 界を直接回復する。
• 各 $n$ に対して $\|T^{\mathbb{P}_n}f\|_{1,\infty} \lesssim \|f\|_1$ が成り立ち、補外を用いずに弱型 $(1,1)$ 界が確立される。
• $1 < p < \infty$ に対して $\|T^{\mathbb{P}_n}f\|_p \lesssim_p 2^{-\delta n / p^*} \|f\|_p$（$\delta > 0$）が成り立ち、$n$ に関して多項式的減衰が示される。
• この手法によりカルレソン＝アンツの定理 $\|Tf\|_p \lesssim_p \|f\|_p$（$1 < p < \infty$）が回復される。
• $1 < p \leq \infty$ に対して $\|Tf\|_{1,\infty} \lesssim_p \|f\|_1 \log\left(\frac{e\|f\|_p}{\|f\|_1}\right)$ が成り立ち、弱型推定が精緻化される。
• 開かれている問題 $\|T^{\mathbb{P}^\alpha}f\|_1 \leq C\|f\|_1$ が $\alpha$ に関して一様に成り立つならば、$\|Tf\|_{L^1} \lesssim \|f\|_{L\log L}$ が得られ、これは最も強い $L^1$ 界である。