[論文レビュー] On the maximal function associated to the spherical means on the Heisenberg group

Sayan Bagchi, Sourav Hait+2 more|arXiv (Cornell University)|Dec 31, 2018

Advanced Harmonic Analysis Research参考文献 24被引用数 14

ひとこと要約

本稿は、ヘイゼンベルク群 $Σ^n$ 上における空隙的および全球的球面最大関数について、M. Lacey のユークリッド空間におけるアプローチを適応させることで、新しい非重み付きおよび重み付き $L^p$ 評価を導出する。主な結果は、$n \geq 2$ のとき、空隙的球面最大関数がすべての $1 < p < \infty$ に対して $L^p$ 有界であることを示し、$L^p$-向上推移とスパース支配を用いて、非ユークリッド的設定においてカルデロンの定理を拡張する。

ABSTRACT

In this paper we deal with lacunary and full versions of the spherical maximal function on the Heisenberg group $\mathbb{H}^n$, for $n\ge 2$. By suitable adaptation of an approach developed by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions, which lead to new unweighted and weighted estimates. In particular, we deduce the $L^p$ boundedness, for $1

研究の動機と目的

• ユークリッド空間からヘイゼンベルク群 $\mathbb{H}^n$ へのカルデロンの空隙的球面最大関数定理の拡張（$n \geq 2$ に対して）。
• M. Lacey のユークリッド的アプローチを適応させた技術を用いて、$\mathbb{H}^n$ 上における空隙的および全球的球面最大関数のスパース支配を確立すること。
• スパース評価を用いて、ヘイゼンベルク群上における球面平均の新しい非重み付きおよび重み付き $L^p$ 評価を導出すること。
• 局所的球面平均の変種に対する $L^p$-向上推移推移を、主要な技術的ステップとして証明すること。

提案手法

• ドミアン・キューブと正の測度の重なりを持つスパース集合を用いて、ヘイゼンベルク群の設定に Lacey のスパース支配フレームワークを適応させる。
• スペクトル理論と $\mathbb{H}^n$ 上の群フーリエ解析を用いて、局所的（単一スケール）球面平均の変種の $L^p$-$L^q$ 評価を確立する。
• 複素数 $z \in \mathbb{C}$ をパrameterとする解析的作用素族を用いて、スケール間で一様な評価を得る。
• 核の差と平行移動ノルムによる制御を通じて、局所的最大関数の連続性を証明する。
• スパース支配を適用して、$A_p$ および逆 Hölder 系列における鋭い重みを含む重み付き $L^p$ 有界性を導出する。
• ヘイゼンベルク群の同次次元 $Q = 2n+2$ と非等方的スケーリングの構造を活用して、ドミアン・キューブ内での測度の成長を制御する。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群 $\mathbb{H}^n$（$n \geq 2$）上における空隙的球面最大関数は、すべての $1 < p < \infty$ に対して $L^p$ 有界性を満たすか？
• RQ2 ユークリッド調和解析からの技術を用いて、ヘイゼンベルク群上における球面最大関数のスパース評価を確立できるか？
• RQ3 局所的球面平均の変種に対する $\mathbb{H}^n$ 上での鋭い $L^p$-向上推移推移は何か？
• RQ4 $\mathbb{H}^n$ 上での空隙的最大関数の有界性を保証する $A_p$ および逆 Hölder 条件は何か？
• RQ5 球面平均が $\mathbb{H}^n$ 上で codimension-two の部分多様体に台を持つ場合、codimension-one 平均と比較して最大関数の正則性と有界性にどのような影響を与えるか？

主な発見

• $n \geq 2$ のとき、ヘイゼンベルク群 $\mathbb{H}^n$ 上における空隙的球面最大関数は、すべての $1 < p < \infty$ に対して $L^p(\mathbb{H}^n)$ 上で有界であり、カルデロンのユークリッド的結果を非ユークリッド的設定に拡張する。
• 空隙的および全球的球面最大関数の両方について、$\mathbb{H}^n$ 上でのスパース支配が確立され、これにより新しい非重み付きおよび重み付き $L^p$ 評価が得られる。
• 本稿では、$\mathbb{H}^n$ 上における球面平均の局所的変種の $L^p$-$L^q$ 評価を証明し、指数の範囲は同次次元 $Q = 2n+2$ に依存する。
• 重み付き $L^p$ 有界性は、$\phi$ を $p_0$ と $n$ に基づいて区分的に関数として定義し、$1 < p_0 < p < (\phi(1/p_0))'$ の範囲で、$A_{p/p_0} \cap \text{RH}_{(\phi(1/p_0)')^\prime}$ に属する重みに対して得られる。
• $L^p$-向上推移推移は、$\mathbb{H}^n$ 上での既知の端点挙動と整合的であり、スパース支配の議論における振動の制御に用いられる。
• 本手法は、$\mathbb{H}^n$ 上で codimension-two の部分多様体に台を持つ球面平均の高い特異性を効果的に扱うことができ、コーウリングが研究した codimension-one 平均よりも特異性が強いことに対応している。