[論文レビュー] 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

ひとこと要約

本稿は、局所コンpakto群 $G$ 上の Hardy 空間 $H^1(G)$ における Hausdorff 演算子の有界性基準を修正・精錬する。主な結果として、自己同型による球の逆像が拡大された球に含まれる条件 $(*)$ が、自己同型のリプシッツ性により自動的に成立することが示され、明示的な最適リプシッツ定数 $k(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)}$ で抑えられる。この結果は、同次群への一般化を可能にし、有界性の鋭い条件を提供する。

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.

研究の動機と目的

• 局所コンパクト群 $G$ における Hausdorff 演算子の $H^1(G)$ 上での有界性に関する元論文 [13] の主要結果を是正・精錬すること。
• 自己同型による球の歪みを制御する条件 $(*)$ が、$G$ のすべての自己同型に対して自動的に満たされることを証明すること。
• 距離化可能な局所コンパクト群に対して、条件 $(*)$ の最良の定数 $k(u)$ を特定すること。
• $\mathcal{H}_{\Phi,A}$ の $H^1(G)$ 上での有界性を保証する核 $\Phi$ の $L^1$ 積分可能性の鋭い条件を確立すること。

提案手法

• すべての自己同型がリプシッツ定数 $\kappa_\rho \cdot \mathrm{mod}(A)$ を持つような左不変距離 $\rho_1$ を $G$ 上に導入する。ここで $\kappa_\rho$ は距離にのみ依存する定数である。
• 相性のとれた左不変距離の同値性とハール測度のダブルイング性を用いて、球の歪みに関する一様な評価を導出する。
• 任意の自己同型 $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})$、局所コンパクト除法体上の $n$ 次元空間）において結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 局所コンパクト群 $G$ のすべての自己同型に対して、$A(u)^{-1}(B(x,r)) \subseteq B(x', k(u)r)$ を満たす条件 $(*)$ は自動的に成立するか？
• RQ2 与えられた自己同型 $A(u)$ に対して、条件 $(*)$ の最良の定数 $k(u)$ は何か？
• RQ3 $\Phi$ の $L^1$ 積分可能性の鋭い条件の下で、Hausdorff 演算子 $\mathcal{H}_{\Phi,A}$ の $H^1(G)$ 上での有界性は保証されるか？
• RQ4 群 $G$ の同次次元 $s$ は、$\mathcal{H}_{\Phi,A}$ のノルム推定にどのように影響するか？
• RQ5 本結果は、ヘイゼンベルク群や上三角行列群などの非アーベル群へどの程度一般化可能か？

主な発見

• 左不変距離 $\rho$ を備えた局所コンパクト群 $G$ のすべての自己同型 $A(u)$ に対して、条件 $(*)$ が自動的に成立する。これは自己同型のリプシッツ性に起因する。
• 条件 $(*)$ の最適定数は $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$ である。ここで $\kappa_\rho$ は距離に依存する定数であり、$\mathrm{mod}(A(u))$ は自己同型のモジュラス関数である。
• $\mathcal{H}_{\Phi,A}$ は $\Phi \in L^1(\Omega, k^s d\mu)$ ならば $H^1(G)$ 上で有界であり、演算子ノルムは $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}$ の場合に鋭い。