[論文レビュー] On the pointwise convergence of the sequence of partial Fourier Sums along lacunary subsequences

Victor Lie|arXiv (Cornell University)|Apr 30, 2012

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

ひとこと要約

本稿は、$ L^\log\log L \log\log\log L $ 上でのlacunary フーリエ部分和の maximal 演算子に対する弱型推定を確立し、このような関数に対してほとんど everywhere での点ewise 収束を証明する。関数と lacunary 周波数構造に適応した新規な $(f,\lambda)$-lacunary テイル分解を用いて、時間周波数解析の技法を連続的フーリエ設定へ拡張し、$ L\log\log L $ における Konyagin の予想された鋭い境界から $ \log\log\log $ 要因以内の結果を達成する。

ABSTRACT

In his 2006 ICM invited address, Konyagin mentioned the following conjecture: if $S_n f$ stands for the $n$-th partial Fourier sum of $f$ and ${n_j}_j\subset \N$ is a lacunary sequence, then $S_{n_j} f$ is a.e. pointwise convergent for any $f\in L\log\log L$. In this paper we will show that $| \sup_{j} |S_{n_j}(f)| |_{1,\infty}\leq C |f|_{1} \log\log (10+\frac{|f|_{\infty}}{|f|_1})\:.$ As a direct consequence we obtain that $S_{n_j}f ightarrow f $ a.e. for $f\in L\log\log L\log\log\log L$. The (discrete) Walsh model version of this last fact was proved by Do and Lacey but their methods do not (re)cover the (continuous) Fourier setting. The key ingredient for our proof is a tile decomposition of the operator $\sup_{j} |S_{n_j}(f)|$ which depends on both the function $f$ and on the lacunary structure of the frequencies. This tile decomposition, called $(f,ł)-$lacunary, is directly adapted to the context of our problem, and, combined with a canonical mass decomposition of the tiles, provides the natural environment to which the methods developed by the author in "On the Boundedness of the Carleson Operator near $L^1$" apply.

研究の動機と目的

• Konyagin の予想、すなわち $ L\log\log L $ に属する関数に対する lacunary フーリエ和の a.e. 点wise 収束を解決すること。
• 投影法が失敗する連続的フーリエ設定において、ウォルシュから連続的フーリエへの時間周波数解析技法を拡張すること。
• 例外集合の構造を捉えるために、関数および lacunarity に適応したテイル分解を構築すること。
• $ L\log L\log\log\log L $ における Antonov の結果と、lacunary 収束の予想される鋭い空間 $ L\log\log L $ の間のギャップを埋めること。
• $ \sup_j |S_{n_j}(f)| $ の弱型推定を確立し、$ L\log\log L $ よりわずかに大きな空間で a.e. 収束を示すこと。

提案手法

• 関数 $ f $ と lacunary 周波数列に適応した、最大演算子 $ \sup_j |S_{n_j}(f)| $ の新規な $(f,\lambda)$-lacunary テイル分解を導入する。
• テイルの標準的質量分解を適用して、演算子のサイズと周波数局在化を制御する。
• 特に $ L^1 $ 近傍における Carleson 演算子に関する著者の先行研究の技法を適応し、制限された弱型推定を扱うものである。
• lacunary 指数和のためのフーリエ版の Kintchine 不等式を用いて、$ L^p $ および指数的尾部推定を得る。
• 関数の $ \|f\|_\infty / \|f\|_1 $ の比に依存する対数因子を含む、最大演算子の弱型 $ (1,\infty) $ 推定を確立する。
• テイル分解と時間周波数解析を組み合わせ、拡張理論に依存せずに主な弱型不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 関数が $ L\log\log L\log\log\log L $ に属する場合、lacunary フーリエ部分和の maximal 演算子が弱型 $ (1,\infty) $ 範囲で制御可能か。
• RQ2 関数と lacunary 周波数構造に適応した時間周波数分解は、投影法の制限を避けることができるか。
• RQ3 ウォルシュ＝フーリエ設定で用いられる手法は、連続的フーリエ設定に鋭さを失わず拡張可能か。
• RQ4 a.e. 点wise 収束のための鋭い Orlicz 空間は何か。
• RQ5 連続的状況では投影性が欠如するため、根本的に異なるテイル分解が必要か。

主な発見

• $ f \in L^\infty $ のとき、$ \sup_j |S_{n_j}(f)| $ の弱型 $ (1,\infty) $ 範囲は、$ C \|f\|_1 \log\log(10 + \|f\|_\infty / \|f\|_1) $ で有界である。
• これは、すべての $ f \in L\log\log L\log\log\log L $ に対して $ S_{n_j}(f) $ が $ f $ に a.e. 収束することを示唆する。
• この結果は、Konyagin の予想を $ \log\log\log $ 要因以内で確認し、予想の鋭さがこの対数的損失を除いては達成可能であることを示している。
• 拡張理論を避けるために、新規な $(f,\lambda)$-lacunary テイル分解を用いて直接的に制限された弱型推定を確立した。
• この方法は、Do と Lacey のウォルシュ＝フーリエ技法の連続的フーリエ版を提供し、連続状況における投影性の欠如を克服する。
• 主な推定は、lacunary 指数和のためのフーリエ版の Kintchine 不等式であり、必要な $ L^p $ および指数的尾部バウンドをもたらす。