[论文解读] 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

一句话总结

本文在Heisenberg群 $\Sigma^n$ 上建立了稀疏界，针对间隙型与完整型球面极大函数，通过适配M. Lacey的欧几里得方法，推导出新的无权与加权 $L^p$ 估计。关键结果是：当 $n \geq 2$ 时，间隙型球面极大函数在所有 $1 < p < \infty$ 下均有 $L^p$ 有界性，通过 $L^p$-改进估计与稀疏控制，将Calderón定理推广至非欧几里得设定。

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

研究动机与目标

• 将Calderón在欧几里得空间中关于间隙型球面极大函数的定理，从欧几里得空间推广至Heisenberg群 $\mathbb{H}^n$（$n \geq 2$）。
• 通过适配M. Lacey的欧几里得工作中的技术，建立Heisenberg群 $\mathbb{H}^n$ 上间隙型与完整型球面极大函数的稀疏控制。
• 通过稀疏界推导出Heisenberg群上球面平均的新无权与加权 $L^p$ 估计。
• 作为关键技术步骤，证明局部球面平均变体的 $L^p$-改进估计。

提出的方法

• 通过使用 dyadic cubes 与具有正测度重叠的稀疏族，将 Lacey 的稀疏控制框架适配至 Heisenberg 群设定。
• 通过谱理论与 Heisenberg 群 $\mathbb{H}^n$ 上的群傅里叶分析，建立局部（单尺度）球面平均变体的 $L^p$-$L^q$ 估计。
• 利用一个以 $z \in \mathbb{C}$ 为参数的解析算子族，推导出跨尺度的统一估计。
• 通过控制核差与平移范数，证明局部极大函数的连续性性质。
• 应用稀疏控制推导出加权 $L^p$ 有界性，包括 $A_p$ 与逆Hölder类中的精确权重。
• 利用 Heisenberg 群的齐次维数 $Q = 2n+2$ 及其非各向同性缩放结构，控制 dyadic cubes 中的测度增长。

实验结果

研究问题

• RQ1 当 $n \geq 2$ 时，Heisenberg 群 $\mathbb{H}^n$ 上的间隙型球面极大函数是否对所有 $1 < p < \infty$ 满足 $L^p$ 有界性？
• RQ2 能否通过欧几里得调和分析的技术，在 Heisenberg 群上建立球面极大函数的稀疏界？
• RQ3 局部球面平均变体在 $\mathbb{H}^n$ 上的最优 $L^p$-改进估计为何？
• RQ4 哪些加权 $A_p$ 与逆Hölder条件能保证 Heisenberg 群 $\mathbb{H}^n$ 上间隙型极大函数的有界性？
• RQ5 与一维平均相比，$\mathbb{H}^n$ 上球面平均在余维二子流形上支撑时，如何影响极大函数的正则性与有界性？

主要发现

• 当 $n \geq 2$ 时，Heisenberg 群 $\mathbb{H}^n$ 上的间隙型球面极大函数在所有 $1 < p < \infty$ 下均有 $L^p(\mathbb{H}^n)$ 有界性，将 Calderón 的欧几里得结果推广至 Heisenberg 群。
• 在 $\mathbb{H}^n$ 上，间隙型与完整型球面极大函数均建立了稀疏控制，从而导出新的无权与加权 $L^p$ 估计。
• 本文证明了 $\mathbb{H}^n$ 上局部球面平均变体的 $L^p$-$L^q$ 估计，其指数范围依赖于齐次维数 $Q = 2n+2$。
• 对于满足 $1 < p_0 < p < (\phi(1/p_0))'$ 的权重，获得了加权 $L^p$ 有界性，其中权重属于 $A_{p/p_0} \cap \text{RH}_{(\phi(1/p_0)')^\prime}$，且 $\phi$ 依 $p_0$ 与 $n$ 分段定义。
• 球面平均的 $L^p$-改进估计在意义下是精确的，与 $\mathbb{H}^n$ 上已知的端点行为一致，并用于控制稀疏控制论证中的振荡。
• 该方法成功处理了 $\mathbb{H}^n$ 中支撑于余维二子流形上的球面平均的更高奇异性，其奇异性强于 Cowling 研究的一维平均。