[论文解读] Boundedness of Hausdorff operators on Hardy spaces $H^1$ over locally compact groups

А. Р. Миротин|arXiv (Cornell University)|Aug 24, 2018

Advanced Harmonic Analysis Research参考文献 23被引用 8

一句话总结

本文修正并细化了在局部紧群 $G$ 上的 Hardy 空间 $H^1(G)$ 上 Hausdorff 算子的有界性准则。研究证明，关键条件 $(*)$——即自同构下球的原像与伸缩球之间的关系——由于自同构的利普希茨性质而自动成立，且给出了显式的最优利普希茨常数 $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$。主要结果表明，当 $\Phi \in L^1(\Omega, k^s d\mu)$ 时，$\mathcal{H}_{\Phi,A}$ 在 $H^1(G)$ 上有界，且算子范数满足 $C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$ 的上界。该结果将先前的结果推广至齐次群，并给出了有界性的精确条件。

ABSTRACT

Results of Liflyand and collaborators on the boundedness of Hausdorff operators on the Hardy space $H^1$ over finite-dimensional real space generalized to the case of locally compact groups that are spaces of homogeneous type. Special cases and examples of compact Lie groups, homogeneous groups (in particular the Heisenberg group) and finite-dimensional spaces over division rings are considered.

研究动机与目标

• 修正原始论文 [13] 中关于局部紧群 $G$ 上 Hausdorff 算子在 $H^1(G)$ 上有界性的主要结果。
• 证明条件 $(*)$——即控制自同构下球的形变——对 $G$ 的所有自同构自动成立。
• 确定在可度量化的局部紧群中，条件 $(*)$ 的最佳常数 $k(u)$。
• 为 $\mathcal{H}_{\Phi,A}$ 在 $H^1(G)$ 上的有界性建立精确的 $L^1$ 可积性条件。

提出的方法

• 在 $G$ 上引入一个左 invariant 度量 $\rho_1$，使得每个自同构的利普希茨常数为 $\kappa_\rho \cdot \mathrm{mod}(A)$，其中 $\kappa_\rho$ 仅依赖于度量。
• 利用相容的左 invariant 度量之间的等价性以及哈尔测度的加倍性质，推导出球形变的统一有界性。
• 证明对任意自同构 $A(u)$，原像 $A(u)^{-1}(B(x,r))$ 包含于伸缩球 $B(x', k(u)r)$ 中，其中 $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$。
• 应用齐次类型空间的理论及 $H^1(G)$ 的极大函数刻画，控制算子 $\mathcal{H}_{\Phi,A}$ 的算子范数。
• 在修正后的条件下，建立算子范数上界 $\|\mathcal{H}_{\Phi,A}\| \leq C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$。
• 在具体情形下验证结果：海森堡群 $\mathbf{H}_n$、严格上三角群 $T_1(n,\mathbb{R})$，以及局部紧除环上的有限维空间。

实验结果

研究问题

• RQ1 条件 $(*)$——即 $A(u)^{-1}(B(x,r)) \subseteq B(x', k(u)r)$——是否对局部紧群 $G$ 的所有自同构自动成立？
• RQ2 给定自同构 $A(u)$ 时，条件 $(*)$ 中常数 $k(u)$ 的最佳可能值是什么？
• RQ3 是否可以在 $\Phi$ 的精确 $L^1$ 可积性条件下，建立 Hausdorff 算子 $\mathcal{H}_{\Phi,A}$ 在 $H^1(G)$ 上的有界性？
• RQ4 群的齐次维数 $s$ 如何影响 $\mathcal{H}_{\Phi,A}$ 的范数估计？
• RQ5 这些结果在多大程度上可推广至非交换群，如海森堡群和上三角群？

主要发现

• 在赋予左 invariant 度量 $\rho$ 的局部紧群 $G$ 上，由于自同构的利普希茨性质，条件 $(*)$ 对所有自同构 $A(u)$ 自动成立。
• 条件 $(*)$ 中的最优常数为 $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$，其中 $\kappa_\rho$ 为依赖于度量的常数，$\mathrm{mod}(A(u))$ 为自同构的模函数。
• $\mathcal{H}_{\Phi,A}$ 在 $H^1(G)$ 上有界，当且仅当 $\Phi \in L^1(\Omega, k^s d\mu)$，且算子范数满足 $C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$ 的上界。
• 对于海森堡群 $\mathbf{H}_n$，结果在齐次维数 $Q = 2n+2$ 下成立，且 $k(u)$ 可通过自同构结构显式计算。
• 对于严格上三角群 $T_1(n,\mathbb{R})$，齐次维数为 $Q = n(n^2-1)/6$，有界性条件成立，且 $k(u) = \|A(u)^{-1}\|_\infty$。
• 在 $K^n$（$K$ 为局部紧除环）的情形下，有界性成立，且 $k(u) = \|A(u)^{-1}\|_\infty$，范数估计为 $\|\mathcal{H}\| \leq 2^n \|\Phi\|_{L^1_{k^n}}$，当 $K = \mathbb{R}$ 时该估计是精确的。