[論文レビュー] A variation norm Carleson theorem

Richard Oberlin, Andreas Seeger+3 more|arXiv (Cornell University)|Oct 8, 2009

Advanced Harmonic Analysis Research参考文献 18被引用数 4

ひとこと要約

本稿は、フーリエ解析における部分和作用素の $r$-変動に関する $L^p$ 界を確立し、$p > \max\{r', 2\}$ のとき、フーリエ部分和の $r$-変動が $L^p$-ノルムで制御されることを証明する。主な結果は、変動ノルムが標準的な最大関数推定よりも鋭い点での収束速度を定量化することで、Carleson-Hunt 定理を強化する。

ABSTRACT

We strengthen the Carleson-Hunt theorem by proving $L^p$ estimates for the $r$-variation of the partial sum operators for Fourier series and integrals, for $p>\max\{r',2\}$. Four appendices are concerned with transference, a variation norm Menshov-Paley-Zygmund theorem, and applications to nonlinear Fourier transforms and ergodic theory.

研究の動機と目的

• フーリエ部分和の最大関数による制御を、$r$-変動ノルムに置き換えることにより、Carleson-Hunt 定理を強化すること。
• トーラス $\mathbb{T}$ 上での部分和作用素 $S_n f$ の $r$-変動に関する $L^p$ の鋭い推定を、$p > \max\{r', 2\}$ の範囲で確立すること。
• 移行法を用いて、$\mathbb{R}$ 上のフーリエ積分作用素へ拡張し、$L^p$ から $L^p(V^r)$ への有界性を証明すること。
• 変動ノルム推定を用いて、特にウィーナー＝ウィンター型定理を含むエルゴディック理論への応用を示すこと。

提案手法

• 数列の $r$-変動ノルム $\|a\|_{V^r} = \sup_K \sup_{n_0 < \cdots < n_K} \left( \sum_{\ell=1}^K |a_{n_\ell} - a_{n_{\ell-1}}|^r \right)^{1/r}$ を定義する。
• 部分フーリエ和 $S_n f(x)$ の列に変動ノルムを適用し、$\{S_n f(x)\}_{n \in \mathbb{N}_0}$ の $V^r$-ノルムとして $\mathcal{V}^r S[f](x)$ を定義する。
• $p > \max\{r', 2\}$ のとき、作用素 $f \mapsto \mathcal{V}^r S[f]$ の $L^p$ 有界性を証明し、作用素ノルムが $p$ と $r$ に依存することを示す。
• 移行法を用いて、円周 $\mathbb{T}$ 上の結果を実数直線 $\mathbb{R}$ に拡張し、積分作用素 $\mathcal{S}[f](\xi,x) = \int_{-\infty}^\xi \widehat{f}(\eta) e^{2\pi i \eta x} d\eta$ が $L^p$ から $L^p(V^r)$ への有界性を示す。
• 主な推定をウィーナー＝ウィンター型エルゴディック定理に適用し、変動ノルムの制御が、振動積分の極限の存在を示すことを示す。
• 滑らかさ関数 $\phi$ のフーリエ展開と $\eta$ での平均化を用い、変動ノルム推定を主定理に還元する。この還元は、振動積分の $L^p$ 界に基づく。

実験結果

リサーチクエスチョン

• RQ1 Carleson-Hunt 定理により保証されるフーリエ級数のほとんど everywhere での点별収束が、$r > 2$ のとき $r$-変動ノルムによって定量的に記述可能か？
• RQ2 $r$-変動の部分フーリエ和作用素が $L^p$ で有界となるための $p$ の鋭い範囲は何か？
• RQ3 移行法を用いて、円周から実数直線への変動ノルム推定を拡張できるか？ そのときの $L^p$ 界は何か？
• RQ4 $r$-変動推定を用いて、エルゴディック理論におけるウィーナー＝ウィンター型定理の収束をどのように証明できるか？
• RQ5 $p = r'$ の端点において、$r$-変動作用素のローレンツ空間推定 $L^{r',\infty}$ は鋭いか？

主な発見

• $p > \max\{r', 2\}$ のとき、フーリエ部分和作用素の $r$-変動は $\| \mathcal{V}^r S[f] \|_{L^p(\mathbb{T})} \leq C_{p,r} \|f\|_{L^p(\mathbb{T})}$ を満たし、Carleson-Hunt 定理の定量的精錬を確立する。
• 端点 $p = r'$ において、$r$-変動作用素は $L^{r',1}(\mathbb{T})$ を $L^{r',\infty}(\mathbb{T})$ に有界に写像し、このローレンツ空間推定は鋭い。
• $\mathbb{R}$ 上の部分フーリエ積分作用素 $\mathcal{S}$ の $L^p(V^r)$ 有界性は $r' < p < \infty$ に対して成り立ち、トーラス上と同一の鋭い範囲を有する。
• 主な推定は、エルゴディック理論における収束結果を示す：$p > \max\{r', 2\}$ のとき、振動積分の変動ノルム制御が、ウィーナー＝ウィンター型作用素の a.e. での極限の存在を示す。
• 証明は、滑らかさ関数のフーリエ展開による変動ノルムの分解に依拠し、各周波数成分に主 $L^p$ 推定を適用する。滑らかさ関数のフーリエ変換の $L^1$-ノルムが、和の収束性を保証する。