Multi-parameter fractional integration on Heisenberg group

Basic Information

• Paper ID: 2510.13411
• Title: Multi-parameter fractional integration on Heisenberg group
• Authors: Chuhan Sun, Zipeng Wang (Westlake University)
• Classification: math.CA (Classical Analysis and ODEs)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13411

Abstract

This paper investigates strong fractional maximal operators and fractional integral operators on the Heisenberg group related to Zygmund dilations. Characterization theorems for the regularity of these two operators from $L^p$ to $L^q$ are established.

Research Background and Motivation

Problem Background

1. Generalization of the classical Hardy-Littlewood-Sobolev theorem: The classical fractional integral operator $T_a f(x) = \int_{\mathbb{R}^N} f(y)|x-y|^{a-N} dy$ on Euclidean space has a complete theory, with the necessary and sufficient condition for $L^p \to L^q$ boundedness being $\frac{a}{N} = \frac{1}{p} - \frac{1}{q}$.
2. Extension to the Heisenberg group: Folland and Stein in 1974 generalized this result to the Heisenberg group, considering the operator $S_\delta f(u,v,t) = \int_{\mathbb{R}^{2n+1}} f(\xi,\eta,\tau)\Omega_\delta[(u,v,t) \odot (\xi,\eta,\tau)^{-1}]d\xi d\eta d\tau$, where $\Omega_\delta(u,v,t) = (|u|^2+|v|^2+|t|)^{-(n+1-\delta)}$.
3. Need for multi-parameter structures: Existing theory primarily addresses the single-parameter case, but many applications require consideration of more complex multi-parameter structures, particularly kernel functions with singularities on different coordinate subspaces.

Research Motivation

The core motivation of this paper is to generalize the Folland-Stein theorem to the multi-parameter setting, considering kernel functions with singularities on each coordinate subspace. This generalization is of significant importance in harmonic analysis theory.

Core Contributions

1. Introduction of multi-parameter fractional integral operators: A new operator $I_{\alpha\beta}$ is defined with kernel function $V_{\alpha\beta}(u,v,t) = |u|^{\alpha-n}|v|^{\alpha-n}|t|^{\beta-1}\left[\frac{|u||v|}{|t|} + \frac{|t|}{|u||v|}\right]^{-\rho}$ where $\rho = \frac{|\alpha-n\beta|}{n+1}$.
2. Complete characterization of $L^p \to L^q$ boundedness: It is proved that $I_{\alpha\beta}: L^p(\mathbb{R}^{2n+1}) \to L^q(\mathbb{R}^{2n+1})$ is bounded if and only if $\frac{\alpha+\beta}{n+1} = \frac{1}{p} - \frac{1}{q}$.
3. Study of strong fractional maximal operators: The boundedness of the operator $M_\gamma f(u,v,t) = \sup_{R} \text{vol}\{R\}^{\gamma-1} \int_R |f[(u,v,t) \odot (\xi,\eta,\tau)^{-1}]|d\xi d\eta d\tau$ is defined and analyzed.
4. Provision of optimal exponents: It is proved that $\rho = \frac{|\alpha-n\beta|}{n+1}$ is the minimal (optimal) exponent for which the theorem holds.

Detailed Methodology

Structure of the Heisenberg Group

The Heisenberg group $\mathbb{R}^{2n+1}$ is equipped with the multiplication operation: $(u,v,t) \odot (\xi,\eta,\tau) = [u+\xi, v+\eta, t+\tau+\mu(u \cdot \eta - v \cdot \xi)]$ where $\mu \in \mathbb{R}$, and the inverse element is $(\xi,\eta,\tau)^{-1} = (-\xi,-\eta,-\tau)$.

Core Operator Definitions

Fractional Integral Operator

$I_{\alpha\beta} f(u,v,t) = \int_{\mathbb{R}^{2n+1}} f(\xi,\eta,\tau)V_{\alpha\beta}[(u,v,t) \odot (\xi,\eta,\tau)^{-1}]d\xi d\eta d\tau$

Strong Fractional Maximal Operator

$M_\gamma f(u,v,t) = \sup_{R \subset \mathbb{R}^{2n+1}} \text{vol}\{R\}^{\gamma-1} \int_R |f[(u,v,t) \odot (\xi,\eta,\tau)^{-1}]|d\xi d\eta d\tau$

Technical Innovations

1. Application of Zygmund dilations: The kernel function $V_{\alpha\beta}$ satisfies the homogeneity condition $V_{\alpha\beta}[(ru,sv,rst) \odot (r\xi,s\eta,rs\tau)^{-1}] = r^{\alpha+\beta-n-1}s^{\alpha+\beta-n-1}V_{\alpha\beta}[(u,v,t) \odot (\xi,\eta,\tau)^{-1}]$
2. Determination of optimal exponents: Through dilation transformation analysis, $\rho = \frac{|\alpha-n\beta|}{n+1}$ is identified as the minimal feasible exponent.
3. Application of multi-parameter covering lemmas: The Córdoba-Fefferman covering lemma is employed to handle the boundedness of maximal operators.

Main Theorems

Theorem 1 (Fractional Integral Operators)

Let $I_{\alpha\beta}$ be defined as above, with $\alpha,\beta \in \mathbb{R}$. Then $\|I_{\alpha\beta} f\|_{L^q(\mathbb{R}^{2n+1})} \leq B_{p,q}\|f\|_{L^p(\mathbb{R}^{2n+1})}, \quad 1 < p < q < \infty$ if and only if $\frac{\alpha+\beta}{n+1} = \frac{1}{p} - \frac{1}{q}$

Theorem 2 (Strong Fractional Maximal Operators)

Let $M_\gamma$ be defined as above, with $0 \leq \gamma < 1$. Then $\|M_\gamma f\|_{L^q(\mathbb{R}^{2n+1})} \leq B_{p,q}\|f\|_{L^p(\mathbb{R}^{2n+1})}, \quad 1 < p \leq q < \infty$ if and only if $\gamma = \frac{1}{p} - \frac{1}{q}$

Proof Strategy

Proof of Theorem 1

1. Necessity: Through dilation transformations and homogeneity analysis, the necessity of $\frac{\alpha+\beta}{n+1} = \frac{1}{p} - \frac{1}{q}$ is established.
2. Sufficiency:
   • The kernel function is estimated by dividing into cases $\alpha \geq n\beta$ and $\alpha \leq n\beta$
   • Variable substitution $\tau \to \tau + \mu(u \cdot \eta - v \cdot \xi)$ is applied
   • The classical Hardy-Littlewood-Sobolev theorem and Minkowski integral inequality are invoked

Proof of Theorem 2

1. Homogeneity conditions: The necessary homogeneity conditions are determined through dilation transformations.
2. Weak-type estimates: The Córdoba-Fefferman covering lemma is used to establish weak-type $(p,q)$ estimates.
3. Interpolation: The Marcinkiewicz interpolation theorem is applied to obtain strong-type results.

Technical Details

Application of Covering Lemmas

The paper provides a detailed proof of the application of the Córdoba-Fefferman covering lemma on the Heisenberg group:

For a collection of rectangles $\{R_j\}_{j=1}^{\infty}$, there exists a subsequence $\{\hat{R}_k\}_{k=1}^{\infty}$ such that:

1. $\text{vol}\{\bigcup_j R_j\} \lesssim \text{vol}\{\bigcup_k \hat{R}_k\}$
2. $\|\sum_k \chi_{\hat{R}_k}\|_{L^p(\mathbb{R}^{2n+1})}^p \lesssim \text{vol}\{\bigcup_k \hat{R}_k\}$

Key Estimates

For the case $\alpha \geq n\beta$: $V_{\alpha\beta}(u,v,t) \leq |u|^{n[\frac{\alpha+\beta}{n+1}]-n}|v|^{n[\frac{\alpha+\beta}{n+1}]-n}|t|^{\frac{\alpha+\beta}{n+1}-1}$

Related Work

1. Hardy-Littlewood (1928), Sobolev (1938): Established the classical theory of fractional integration on Euclidean spaces
2. Folland-Stein (1974): Extended the theory to the Heisenberg group
3. Phong-Stein, Ricci-Stein, Müller-Ricci-Stein: Studied multi-parameter singular integral operators on the Heisenberg group
4. Christ (1992): Proved $L^p$ boundedness of strong maximal operators on nilpotent Lie groups
5. Córdoba-Fefferman (1975): Established multi-parameter covering lemmas

Conclusions and Discussion

Main Conclusions

1. Successfully generalized the Folland-Stein theorem to the multi-parameter setting
2. Identified $\rho = \frac{|\alpha-n\beta|}{n+1}$ as the optimal exponent
3. Established a complete theory for strong fractional maximal operators

Theoretical Significance

The results in this paper fill a gap in the theory of multi-parameter fractional integration on the Heisenberg group and provide a foundation for further research on harmonic analysis on more general nilpotent Lie groups.

Future Directions

1. Generalization to more general nilpotent Lie groups
2. Study of corresponding commutator estimates
3. Establishment of weighted inequalities

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete characterization of multi-parameter fractional integral operators
2. Technical innovation: Cleverly combines Zygmund dilations with the structure of the Heisenberg group
3. Rigorous proofs: Employs multiple profound harmonic analysis techniques
4. Optimal results: Determines the best exponents, with sharp results

Technical Highlights

1. Refined analysis and estimation of kernel functions
2. Application of multi-parameter covering lemmas on non-commutative groups
3. Critical role of dilation transformations in determining necessary conditions

Impact

This paper makes important contributions to harmonic analysis theory on the Heisenberg group, particularly in multi-parameter structures, providing an important theoretical foundation for subsequent research.

References

The paper cites 15 important references, spanning from classical Hardy-Littlewood-Sobolev theory to modern developments in multi-parameter harmonic analysis, reflecting the systematic and comprehensive nature of the research.