[論文レビュー] A Discrete Quadratic Carleson Theorem on $ \ell ^2 $ with a Restricted Supremum

Ben Krause, Michael T. Lacey|arXiv (Cornell University)|Dec 22, 2015

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

ひとこと要約

本稿は、算術的ミンコフスキー次元 $d < 1$ を満たすパラメータ集合 $\Lambda \subset [0,1]$ に制限された、離散的最大二次カルゼン作用素の $\ell^2(\mathbb{Z})$ 有界性を確立する。ブルーゲンのエルゴード定理にインspiredされた最大乗数法を用い、振動和の新規な複雑度解析を組み合わせることで、$\Lambda$ が特定の算術的・幾何的条件を満たす場合に作用素が有界であることを証明し、ピアースによる $[0,1]$ 全体における上限の $\ell^2$ 有界性の予想を支持する。

ABSTRACT

Consider the discrete maximal function acting on $\ell^2(\mathbb Z)$ functions \[ \mathcal{C}_Λ f( n ) := \sup_{ λ\in Λ} \left| \sum_{m eq 0} f(n-m) \frac{e^{2 πiλm^2}} {m} ight| \] where $Λ\subset [0,1]$. We give sufficient conditions on $Λ$, met by certain kinds of Cantor sets, for this to be a bounded sublinear operator. This result is a discrete analogue of E. M. Stein's integral result, that the maximal operator below is bounded on $L^2(\mathbb R)$. \[ \mathcal{C}_2 f(x):= \sup_{λ\in \mathbb R} \left| \int f(x-y) \frac{e^{2πi λy^2}}{y} \ dy ight|.\] The proof of our result relies heavily on Bourgain's work on arithmetic ergodic theorems, with novel complexity arising from the oscillatory nature of the question at hand, and difficulties arising from the the parameter $λ$ above.

研究の動機と目的

• リリアン・ピアースによる $[0,1]$ 上での離散的最大二次カルゼン作用素の $\ell^2(\mathbb{Z})$ 有界性に関する予想に対処すること。
• パラメータ集合 $\Lambda \subset [0,1]$ に対して、離散的最大作用素の制限された上限が $\ell^2(\mathbb{Z})$ 上で有界であるための十分条件を確立すること。
• 標準的な $TT^*$ 法を超えて、算術的構造と振動和を伴う離散的設定において、シュタインの積分カルゼン作用素の結果を拡張すること。
• ハーディ＝リトルウッドの円周法を用いて、振動的離散乗数 $M(\lambda, \beta) = \sum_{m \neq 0} \frac{e(\lambda m^2 - \beta m)}{m}$ の振る舞いを分析し、主要弧と微小弧に分離すること。
• パラメータ集合 $\Lambda$ の算術的ミンコフスキー次元が、異なる $\lambda$ における微小弧の相互作用を制御できることを示し、$\ell^2$ 界の確立に寄与すること。

提案手法

• 離散的最大作用素を、$\lambda \in \Lambda$ に依存する乗数 $M(\lambda, \beta)$ を持つ最大乗数作用素として扱う。
• ハリー＝リトルウッドの円周法を用いて、乗数を分母が小さい有理数に近い主要弧（近似有理数）と、乗数が小さい微小弧に分解する。
• 新規な複雑度推定（補題2.4）を用いて、$\Lambda$ 内のすべての $\lambda$ に対して微小弧を一様に制御し、算術的ミンコフスキー次元条件を活用する。
• 主要弧の寄与をスケーリングされた連続シュタイン作用素の類似物で近似し、既知の $L^2$ 界への比較を可能にする。
• 平方関数の議論を用いて主要弧と微小弧の推定を結合し、最大関数の $\ell^2$-有界性を活用する。
• ブルーゲンの多項式エルゴード定理を基礎とする枠組みを用い、振動位相を伴う最大設定に適応する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ集合 $\Lambda \subset [0,1]$ がどのような条件下で、離散的最大二次カルゼン作用素が $\ell^2(\mathbb{Z})$ 上で有界になるか。
• RQ2 $[0,1]$ 全体における上限の $\ell^2$ 有界性の予想が、$\Lambda$ が算術的ミンコフスキー次元 $d < 1$ を満たす集合に制限された場合に支持されるか。
• RQ3 $\Lambda$ が低い算術的複雑性を持つ場合に、$\lambda \in \Lambda$ 全体にわたる振動的離散乗数 $M(\lambda, \beta)$ を一様に制御する方法は何か。
• RQ4 算術的ミンコフスキー次元は、振動核を伴う最大作用素の $\ell^2$ 界を可能にする上で果たす役割は何か。
• RQ5 算術的エルゴード理論におけるブルーゲンの手法は、パラメータ依存の振動乗数を伴う最大関数を扱うためにどのように適応可能か。

主な発見

• パラメータ集合 $\Lambda$ が算術的ミンコフスキー次元 $d < 1$ を満たすとき、離散的最大作用素 $\mathcal{C}_{\Lambda}f(n) = \sup_{\lambda \in \Lambda} \left| \sum_{m \neq 0} f(n-m) \frac{e(\lambda m^2)}{m} \right|$ は $\ell^2(\mathbb{Z})$ 上で有界である。
• 有界性は一様である：$\| \mathcal{C}_{\Lambda}f \|_{\ell^2} \leq C_\Lambda \|f\|_{\ell^2}$ が成り立ち、$C_\Lambda$ は次元 $d$ と算術的ミンコフスキー次元の定義における定数 $C_\Lambda$ のみに依存する。
• この条件を満たす集合 $\Lambda$ のクラスには、特定のカントール型集合が含まれ、例えば $\Lambda = \left\{ \sum_{j \in J} 2^{-D^j} : J \subset \mathbb{N} \right\}$ は算術的ミンコフスキー次元が $1/D$ 以下である。
• 微小弧は、算術的ミンコフスキー次元から導かれる一様な小ささ推定により制御され、離散設定ではウェイルの補題が適用できないという欠落を補う。
• 主要弧の寄与は、連続シュタイン作用素のスケーリング版で近似され、その $\ell^2$-有界性は連続理論から引き継がれる。
• 離散設定ではウェイルの補題が適用できないため、$TT^*$ 法を避けて、注意深く分解された最大乗数フレームワークに依存する。