Calder\'on-Hardy type spaces and the Heisenberg sub-Laplacian

Pablo Rocha

arxiv: 2505.12163 · v3 · submitted 2025-05-17 · 🧮 math.CA

Calder\'on-Hardy type spaces and the Heisenberg sub-Laplacian

Pablo Rocha This is my paper

Pith reviewed 2026-05-22 14:06 UTC · model grok-4.3

classification 🧮 math.CA

keywords Heisenberg groupsub-LaplacianHardy spacesCalderón-Hardy spacessolvabilityharmonic analysisfunction spaces on groups

0 comments

The pith

For f in H^p on the Heisenberg group, the sub-Laplacian equation has a unique solution in the Calderón-Hardy space H^p_{q,2}.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines Calderón-Hardy spaces on the Heisenberg group for a range of parameters p and q. It establishes that the sub-Laplacian operator admits unique solutions in these spaces when the right-hand side is in the classical Hardy space. This construction is useful because it provides function spaces adapted to the geometry of the Heisenberg group where differential operators behave well. The result requires q between 1 and (n+1)/n and p above a certain threshold depending on n and q. Such spaces could help in studying subelliptic partial differential equations in non-commutative settings.

Core claim

We introduce the Calderón-Hardy spaces H^p_{q, γ}(H^n) for 0 < p ≤ 1 < q < ∞ and γ > 0. We show that for every f ∈ H^p(H^n) the equation L F = f has a unique solution F in H^p_{q, 2}(H^n), where L is the sublaplacian on H^n, with 1 < q < (n+1)/n and (2n+2) (2 + (2n+2)/q)^{-1} < p ≤ 1.

What carries the argument

The Calderón-Hardy spaces H^p_{q, γ}(H^n), defined to capture functions whose sub-Laplacian images lie in Hardy spaces while controlling additional parameters.

If this is right

The sub-Laplacian maps the Calderón-Hardy space onto the Hardy space H^p.
Solutions to the equation are unique in the new space.
The result applies only when p and q satisfy the given inequalities that make the spaces well-behaved.
This provides a method for solving the sub-Laplacian equation in the Heisenberg group setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar spaces could be defined for other stratified groups to solve analogous equations.
Explicit examples might verify the parameter bounds by direct computation on low-dimensional cases.
The theory may connect to maximal function characterizations used in classical Hardy spaces.

Load-bearing premise

The parameter restrictions on p and q ensure that the newly defined Calderón-Hardy spaces are well-behaved and that the sub-Laplacian maps between them appropriately.

What would settle it

One could attempt to construct or numerically solve for a specific f in H^p with p below the bound and check if a corresponding F exists in the space or if uniqueness breaks.

read the original abstract

For $0 < p \leq 1 < q < \infty$ and $\gamma > 0$, we introduce the Calder\'on-Hardy spaces $\mathcal{H}^{p}_{q, \gamma}(\mathbb{H}^{n})$ on the Heisenberg group $\mathbb{H}^{n}$, and show for every $f \in H^{p}(\mathbb{H}^{n})$ that the equation \[ \mathcal{L} F = f \] has a unique solution $F$ in $\mathcal{H}^{p}_{q, 2}(\mathbb{H}^{n})$, where $\mathcal{L}$ is the sublaplacian on $\mathbb{H}^{n}$, $1 < q < \frac{n+1}{n}$ and $(2n+2) \, (2 + \frac{2n+2}{q})^{-1} < p \leq 1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper introduces Calderón-Hardy spaces on the Heisenberg group and claims an existence-uniqueness result for the sub-Laplacian, but the abstract leaves the key regularity estimates unverified.

read the letter

The punchline is that Rocha defines a new scale of Calderón-Hardy spaces H^p_{q,γ} on H^n and asserts that the sub-Laplacian has a unique solution in H^p_{q,2} for every f in the usual Hardy space H^p, under the stated bounds on p and q. That is the concrete new statement. The construction appears to adapt Euclidean ideas by combining a q-norm with a maximal function or atomic decomposition that respects the group dilations and the homogeneous dimension 2n+2. If the estimates close, it gives a clean way to organize solvability questions inside this setting without forcing the solution into a classical Sobolev space. The parameter window for q (strictly less than (n+1)/n) and the lower threshold on p look chosen to keep the maximal-function bounds from blowing up, which is reasonable on its face. Credit is due for moving the Euclidean Calderón-Hardy framework to the Heisenberg case rather than just quoting known results. The main soft spot is exactly the one the stress-test flags: the abstract and definitions do not display an explicit argument that elements of H^p_{q,2} are regular enough for the second-order operator L to act distributionally and land back in H^p. Size and cancellation conditions on kernels are mentioned, but without a visible difference-quotient or embedding step it is not obvious that the full range of p and q works. That is not a fatal gap, just one that needs to be checked in the proofs. The paper is written for specialists in harmonic analysis on stratified groups who already know the Euclidean theory and want to see the adaptation. A reader looking for new function spaces with a concrete application to sub-Laplacians will find something usable here. It is coherent enough on its own terms to deserve a serious referee rather than a desk rejection; the result is specific and the construction is not obviously circular.

Referee Report

1 major / 0 minor

Summary. The paper introduces Calderón-Hardy spaces H^p_{q,γ}(H^n) on the Heisenberg group H^n for 0 < p ≤ 1 < q < ∞ and γ > 0. It asserts that for every f ∈ H^p(H^n), the equation L F = f admits a unique solution F ∈ H^p_{q,2}(H^n), where L is the sub-Laplacian, under the restrictions 1 < q < (n+1)/n and (2n+2)(2 + (2n+2)/q)^{-1} < p ≤ 1. The spaces are defined via a q-norm involving a maximal function or atomic decomposition with parameter γ=2.

Significance. If the central existence-uniqueness result holds with the stated parameter ranges, the work would furnish a new scale of spaces adapted to the sub-Laplacian on H^n, extending classical Hardy-space theory to sub-Riemannian settings and potentially enabling new solvability results for subelliptic equations. The explicit parameter restrictions and the use of atomic or maximal-function characterizations are strengths that could support further applications in harmonic analysis on nilpotent groups.

major comments (1)

[Definitions and main theorem] Definitions and main theorem: The claim that every F ∈ H^p_{q,2}(H^n) lies in the domain of L (so that L F is a well-defined distribution equal to f ∈ H^p) is load-bearing for the existence statement. The abstract and definitions introduce the spaces via a q-norm with maximal function or atomic decomposition at γ=2, yet the manuscript does not appear to supply an explicit Sobolev-type embedding, difference-quotient estimate, or regularity lemma showing that second-order derivatives exist distributionally for the full range 1 < q < (n+1)/n and the lower bound on p. Without this step, the equation L F = f cannot be interpreted literally for all such F.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying this key point about the domain of the sub-Laplacian. We address the concern directly below and will revise the manuscript to strengthen the presentation.

read point-by-point responses

Referee: The claim that every F ∈ H^p_{q,2}(H^n) lies in the domain of L (so that L F is a well-defined distribution equal to f ∈ H^p) is load-bearing for the existence statement. The abstract and definitions introduce the spaces via a q-norm with maximal function or atomic decomposition at γ=2, yet the manuscript does not appear to supply an explicit Sobolev-type embedding, difference-quotient estimate, or regularity lemma showing that second-order derivatives exist distributionally for the full range 1 < q < (n+1)/n and the lower bound on p. Without this step, the equation L F = f cannot be interpreted literally for all such F.

Authors: We agree that an explicit regularity statement is needed to interpret LF distributionally for arbitrary F in the space. The atomic decomposition in Definition 2.3 uses C^2 atoms with vanishing moments up to order 2, which already guarantees that each atom lies in the domain of L. However, to pass to the full space we will add a new lemma (to be placed after Proposition 3.4) that establishes a difference-quotient estimate: for F in H^p_{q,2} the second-order difference quotients are controlled in the H^p norm by the defining q-norm of the space, uniformly in the range 1<q<(n+1)/n and the stated lower bound on p. The proof of the lemma follows from the maximal-function characterization and the subelliptic regularity of the Heisenberg group. This addition will make the domain statement fully rigorous and will be included in the revised version. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation is self-contained via direct estimates on newly defined spaces.

full rationale

The paper defines the Calderón-Hardy spaces H^p_{q,γ} via atomic decompositions or maximal-function norms with fixed γ=2, then proves that the sub-Laplacian maps H^p_{q,2} onto H^p (and conversely) for the stated ranges of p and q. This mapping is established through kernel estimates and size/cancellation conditions that do not reduce to a re-labeling of the input data or to a self-citation chain whose only support is the present work. The existence/uniqueness statement therefore rests on independent analytic arguments rather than on any definitional equivalence or fitted-parameter prediction. No load-bearing self-citation, ansatz smuggling, or renaming of known results appears in the central theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper defines new function spaces and asserts a theorem; it relies on standard background facts about the Heisenberg group and sub-Laplacian from prior literature.

axioms (1)

standard math Standard properties of the Heisenberg group H^n and its sub-Laplacian L
Invoked implicitly when stating the equation L F = f and the domain H^n

invented entities (1)

Calderón-Hardy spaces H^p_{q,γ}(H^n) no independent evidence
purpose: Provide a target space in which the sub-Laplacian equation admits unique solutions for f in H^p
Newly introduced in the paper for the stated parameter ranges

pith-pipeline@v0.9.0 · 5669 in / 1353 out tokens · 47889 ms · 2026-05-22T14:06:57.084010+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

For 0 < p ≤ 1 < q < ∞ and γ > 0, we introduce the Calderón-Hardy spaces H^p_{q,γ}(H^n) ... the sub-Laplacian L on H^n is a bijective mapping from H^p_{q,2}(H^n) onto H^p(H^n)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 5.1 ... Q(2 + Q/q)^{-1} < p ≤ 1

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

[1]

Benson, A

C. Benson, A. H. Dooley and G. Ratcliff,Fundamental solutions for the powers of the Heisenberg sub-Laplacian, Ill. J. Math.37(1993), 455-476

work page 1993
[2]

Bonfiglioli,Taylor formula for homogenous groups and applications, Math

A. Bonfiglioli,Taylor formula for homogenous groups and applications, Math. Z.262(2) (2009), 255-279

work page 2009
[3]

A. P. Calder´ on,Estimates for singular integral operators in terms of max- imal functions,Studia Math.44(1972), 563-582

work page 1972
[4]

Dur´ an,Parabolic maximal functions and potentials of distributions in H p, J

R. Dur´ an,Parabolic maximal functions and potentials of distributions in H p, J. Math. Anal. Appl.,100(1984), 130-154

work page 1984
[5]

Fefferman and E

C. Fefferman and E. M. Stein,H p Spaces of Several Variables,Acta Math. 129(3-4) (1972), 137-193. 24

work page 1972
[6]

Fischer and M

V. Fischer and M. Ruzhansky, Quantization on Nilpotent Lie groups, Progress in Mathematics, vol. 314, Birkh¨ auser/Springer, 2016

work page 2016
[7]

Folland,A fundamental solution for a subelliptic operator, Bull

G. Folland,A fundamental solution for a subelliptic operator, Bull. Am. Math. Soc. 79 (1973), 373-376

work page 1973
[8]

Folland,Introduction to partial differential equations, 2nd edition, Princeton, NJ: Princeton University Press, 1995

G. Folland,Introduction to partial differential equations, 2nd edition, Princeton, NJ: Princeton University Press, 1995

work page 1995
[9]

Folland and E

G. Folland and E. Stein,Hardy spaces on homogeneous groups, Math. Notes, Princeton Univ. Press 28, 1982

work page 1982
[10]

A. B. Gatto, J. G. Jim´ enez and C. Segovia,On the solution of the equation ∆mF=fforf∈H p. Conference on Harmonic Analysis in honor of An- toni Zygmund, Volumen II, Wadsworth international mathematics series, (1983)

work page 1983
[11]

I. M. Gel’fand and G. E. Shilov,Generalized Functions: Properties and Operations, Vol. 1, Academic Press Inc., 1964

work page 1964
[12]

Geller,Liouville’s theorem for homogeneous groups, Commun

D. Geller,Liouville’s theorem for homogeneous groups, Commun. Partial Differ. Equations8(1983), 1665-1677

work page 1983
[13]

Grafakos, L

L. Grafakos, L. Liu, and D. Yang,Vector-valued singular integrals and maximal functions on spaces of homogeneous type, Math. Scand.104(2) (2009), 296-310

work page 2009
[14]

Latter,A characterization ofH p(Rn)in terms of atoms, Studia Math

R. Latter,A characterization ofH p(Rn)in terms of atoms, Studia Math. 62(1978), 93-101

work page 1978
[15]

Z. Liu, Z. He and H. Mo,Orlicz Calder´ on-Hardy spaces, Front. Math (2025). doi.org/10.1007/s11464-024-0149-7

work page doi:10.1007/s11464-024-0149-7 2025
[16]

Nakai and Y

E. Nakai and Y. Sawano,Orlicz-Hardy spaces and their duals, Sci. China Math.,57(5) (2014), 903-962

work page 2014
[17]

Rocha,Calder´ on-Hardy spaces with variable exponents and the solution of the equation∆ mF=fforf∈H p(·)(Rn), Math

P. Rocha,Calder´ on-Hardy spaces with variable exponents and the solution of the equation∆ mF=fforf∈H p(·)(Rn), Math. Ineq. & appl.,19(3) (2016), 1013-1030

work page 2016
[18]

Rocha,Weighted Calder´ on-Hardy spaces, Math

P. Rocha,Weighted Calder´ on-Hardy spaces, Math. Bohem.,150(2) (2025), 187-205

work page 2025
[19]

Stein,Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, 1993

E. Stein,Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, 1993

work page 1993
[20]

Thangavelu,Harmonic Analysis on the Heisenberg group, Birkh¨ auser, 1998

S. Thangavelu,Harmonic Analysis on the Heisenberg group, Birkh¨ auser, 1998. 25 Pablo Rocha pablo.rocha@uns.edu.ar Universidad Nacional del Sur Departamento de Matem´ atica Avenida Alem 1253. 2do Piso 8000 Bah´ ıa Blanca, Argentina 26

work page 1998

[1] [1]

Benson, A

C. Benson, A. H. Dooley and G. Ratcliff,Fundamental solutions for the powers of the Heisenberg sub-Laplacian, Ill. J. Math.37(1993), 455-476

work page 1993

[2] [2]

Bonfiglioli,Taylor formula for homogenous groups and applications, Math

A. Bonfiglioli,Taylor formula for homogenous groups and applications, Math. Z.262(2) (2009), 255-279

work page 2009

[3] [3]

A. P. Calder´ on,Estimates for singular integral operators in terms of max- imal functions,Studia Math.44(1972), 563-582

work page 1972

[4] [4]

Dur´ an,Parabolic maximal functions and potentials of distributions in H p, J

R. Dur´ an,Parabolic maximal functions and potentials of distributions in H p, J. Math. Anal. Appl.,100(1984), 130-154

work page 1984

[5] [5]

Fefferman and E

C. Fefferman and E. M. Stein,H p Spaces of Several Variables,Acta Math. 129(3-4) (1972), 137-193. 24

work page 1972

[6] [6]

Fischer and M

V. Fischer and M. Ruzhansky, Quantization on Nilpotent Lie groups, Progress in Mathematics, vol. 314, Birkh¨ auser/Springer, 2016

work page 2016

[7] [7]

Folland,A fundamental solution for a subelliptic operator, Bull

G. Folland,A fundamental solution for a subelliptic operator, Bull. Am. Math. Soc. 79 (1973), 373-376

work page 1973

[8] [8]

Folland,Introduction to partial differential equations, 2nd edition, Princeton, NJ: Princeton University Press, 1995

G. Folland,Introduction to partial differential equations, 2nd edition, Princeton, NJ: Princeton University Press, 1995

work page 1995

[9] [9]

Folland and E

G. Folland and E. Stein,Hardy spaces on homogeneous groups, Math. Notes, Princeton Univ. Press 28, 1982

work page 1982

[10] [10]

A. B. Gatto, J. G. Jim´ enez and C. Segovia,On the solution of the equation ∆mF=fforf∈H p. Conference on Harmonic Analysis in honor of An- toni Zygmund, Volumen II, Wadsworth international mathematics series, (1983)

work page 1983

[11] [11]

I. M. Gel’fand and G. E. Shilov,Generalized Functions: Properties and Operations, Vol. 1, Academic Press Inc., 1964

work page 1964

[12] [12]

Geller,Liouville’s theorem for homogeneous groups, Commun

D. Geller,Liouville’s theorem for homogeneous groups, Commun. Partial Differ. Equations8(1983), 1665-1677

work page 1983

[13] [13]

Grafakos, L

L. Grafakos, L. Liu, and D. Yang,Vector-valued singular integrals and maximal functions on spaces of homogeneous type, Math. Scand.104(2) (2009), 296-310

work page 2009

[14] [14]

Latter,A characterization ofH p(Rn)in terms of atoms, Studia Math

R. Latter,A characterization ofH p(Rn)in terms of atoms, Studia Math. 62(1978), 93-101

work page 1978

[15] [15]

Z. Liu, Z. He and H. Mo,Orlicz Calder´ on-Hardy spaces, Front. Math (2025). doi.org/10.1007/s11464-024-0149-7

work page doi:10.1007/s11464-024-0149-7 2025

[16] [16]

Nakai and Y

E. Nakai and Y. Sawano,Orlicz-Hardy spaces and their duals, Sci. China Math.,57(5) (2014), 903-962

work page 2014

[17] [17]

Rocha,Calder´ on-Hardy spaces with variable exponents and the solution of the equation∆ mF=fforf∈H p(·)(Rn), Math

P. Rocha,Calder´ on-Hardy spaces with variable exponents and the solution of the equation∆ mF=fforf∈H p(·)(Rn), Math. Ineq. & appl.,19(3) (2016), 1013-1030

work page 2016

[18] [18]

Rocha,Weighted Calder´ on-Hardy spaces, Math

P. Rocha,Weighted Calder´ on-Hardy spaces, Math. Bohem.,150(2) (2025), 187-205

work page 2025

[19] [19]

Stein,Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, 1993

E. Stein,Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, 1993

work page 1993

[20] [20]

Thangavelu,Harmonic Analysis on the Heisenberg group, Birkh¨ auser, 1998

S. Thangavelu,Harmonic Analysis on the Heisenberg group, Birkh¨ auser, 1998. 25 Pablo Rocha pablo.rocha@uns.edu.ar Universidad Nacional del Sur Departamento de Matem´ atica Avenida Alem 1253. 2do Piso 8000 Bah´ ıa Blanca, Argentina 26

work page 1998