pith. sign in

arxiv: 2605.24194 · v1 · pith:6QJS5SZDnew · submitted 2026-05-22 · 🧮 math.CA

On potentials of distributions in Orlicz-Hardy type spaces on the Heisenberg group

Pablo Rocha This is my paper

Pith reviewed 2026-06-30 14:26 UTC · model grok-4.3

classification 🧮 math.CA
keywords Orlicz-Hardy spacesHeisenberg groupsub-Laplaciandistributionspotential representationOrlicz functionsHardy spacesCalderón spaces
0
0 comments X

The pith

Every distribution in the Orlicz-Hardy space on the Heisenberg group equals the sub-Laplacian of a unique function from the Orlicz-Calderón Hardy space.

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

The paper introduces Orlicz-Hardy type spaces and Orlicz-Calderón Hardy type spaces on the Heisenberg group. It establishes that distributions belonging to the Orlicz-Hardy space admit a unique representation as the image of the sub-Laplacian applied to an element of the Orlicz-Calderón Hardy space. This representation directly supplies solvability and uniqueness for the equation given by the sub-Laplacian acting on a function to recover the distribution. The argument proceeds under growth and convexity conditions on the Orlicz function that defines both families of spaces.

Core claim

Under suitable assumptions on the Orlicz function Φ, every distribution f in the Orlicz-Hardy space H^Φ(H^n) admits a unique representation f = L F, where L denotes the Heisenberg sub-Laplacian and F lies in an appropriate Orlicz-Calderón Hardy space; the representation therefore yields both uniqueness and solvability for the equation L F = f.

What carries the argument

The Heisenberg sub-Laplacian L, which serves as the potential operator mapping the Orlicz-Calderón Hardy space onto the Orlicz-Hardy space and thereby realizes the unique representation of distributions.

If this is right

  • The equation L F = f possesses a solution F in the Orlicz-Calderón Hardy space for every f in H^Φ(H^n).
  • The solution F is unique within the Orlicz-Calderón Hardy space.
  • Distributions in these Orlicz-Hardy spaces can be recovered from potential-theoretic constructions built on the sub-Laplacian.

Where Pith is reading between the lines

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

  • The same representation technique may apply to other left-invariant hypoelliptic operators on stratified Lie groups.
  • The result supplies a linear potential theory that could be used to study nonlinear equations driven by the sub-Laplacian inside these Orlicz-scale spaces.

Load-bearing premise

The Orlicz function Φ must satisfy the growth, convexity, and other conditions needed to make the two families of spaces well-defined and to guarantee that the representation and uniqueness hold.

What would settle it

Exhibit a concrete distribution f belonging to H^Φ(H^n) for which either no function F in the Orlicz-Calderón space satisfies L F = f, or two distinct such functions exist.

read the original abstract

In this work, we introduce Orlicz-Hardy type spaces and Orlicz-Calder\'on Hardy type spaces on the Heisenberg group $\mathbb{H}^{n}$ and study the relationship between them by means of the Heisenberg sub-Laplacian $\mathcal{L}$. More precisely, we show, under suitable assumptions, that every distribution in the Orlicz-Hardy space $H^{\Phi}(\mathbb{H}^{n})$ can be represented uniquely as the sub-Laplacian of a function in an appropriate Orlicz-Calder\'on Hardy space. In this way, for any $f \in H^{\Phi}(\mathbb{H}^{n})$, we obtain a uniqueness and solvability result for the equation $\mathcal{L}F=f$.

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.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces Orlicz-Hardy type spaces H^Φ(H^n) and Orlicz-Calderón Hardy type spaces on the Heisenberg group H^n. It establishes, under suitable assumptions on the Orlicz function Φ, that every distribution in H^Φ(H^n) admits a unique representation as the sub-Laplacian L of a function belonging to an appropriate Orlicz-Calderón Hardy space, thereby yielding existence and uniqueness for the equation L F = f.

Significance. If the representation theorem holds under verifiable conditions on Φ that are compatible with the sub-Laplacian kernel estimates and atomic decompositions on H^n, the result would extend potential-theoretic methods from Euclidean Orlicz-Hardy spaces to the stratified-group setting. This could support further work on subelliptic equations with Orlicz integrability. No machine-checked proofs, reproducible code, or parameter-free derivations are indicated in the provided material.

major comments (1)
  1. [Abstract] Abstract (and any introductory statement of assumptions): the claim that the representation and uniqueness hold 'under suitable assumptions' on Φ is load-bearing, yet the abstract provides no explicit list of conditions (e.g., Δ₂-condition, ∇₂-condition, relation to homogeneous dimension Q=2n+2, or growth restrictions ensuring the sub-Laplacian kernel satisfies the necessary size and smoothness estimates). Without these, it is impossible to confirm that the bijection between the spaces is valid on H^n, where maximal-function and atomic characterizations are more delicate than in R^n.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the suggestion to improve the clarity of the abstract. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (and any introductory statement of assumptions): the claim that the representation and uniqueness hold 'under suitable assumptions' on Φ is load-bearing, yet the abstract provides no explicit list of conditions (e.g., Δ₂-condition, ∇₂-condition, relation to homogeneous dimension Q=2n+2, or growth restrictions ensuring the sub-Laplacian kernel satisfies the necessary size and smoothness estimates). Without these, it is impossible to confirm that the bijection between the spaces is valid on H^n, where maximal-function and atomic characterizations are more delicate than in R^n.

    Authors: We agree that the abstract should explicitly list the assumptions on Φ to allow immediate verification. The body of the manuscript already states the precise conditions (Δ₂ and ∇₂ conditions on Φ together with growth restrictions compatible with Q=2n+2 and the sub-Laplacian kernel estimates on H^n). In the revised version we will update the abstract to include these conditions explicitly, thereby making the statement of the representation theorem self-contained. revision: yes

Circularity Check

0 steps flagged

No circularity: theorem derived from new space definitions under stated assumptions

full rationale

The paper introduces Orlicz-Hardy and Orlicz-Calderón Hardy spaces on the Heisenberg group and proves a representation result for the sub-Laplacian under suitable assumptions on Φ. The abstract presents this as a derived theorem without any reduction of the uniqueness/solvability claim to a fitted parameter, self-citation chain, or definitional tautology. No load-bearing steps are exhibited that collapse to inputs by construction. This is the expected non-finding for a space-definition-plus-representation paper whose central claim remains independent of the listed circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on prior theory of Orlicz functions, Hardy spaces, and the sub-Laplacian on the Heisenberg group; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • domain assumption Standard growth and convexity conditions on the Orlicz function Φ together with known properties of the Heisenberg sub-Laplacian
    Invoked to guarantee the representation and uniqueness hold.

pith-pipeline@v0.9.1-grok · 5640 in / 1253 out tokens · 27812 ms · 2026-06-30T14:26:07.287567+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

28 extracted references · 1 canonical work pages

  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

    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

    2009

  3. [3]

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

    1972

  4. [4]

    A. P. Calder ´on and A. Zygmund,Local properties of solutions of elliptic partial differential equations, Studia Math.,XX(1961), 285-339

    1961

  5. [5]

    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

    1984

  6. [6]

    Fang and J

    J. Fang and J. Zhao,Variable Hardy spaces on the Heisenberg group, Anal. Theory Appl., V ol. 32, No. 3 (2016), 242-271

    2016

  7. [7]

    Fefferman and E

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

    1972

  8. [8]

    Fischer and M

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

    2016

  9. [9]

    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

    1973

  10. [10]

    Folland and E

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

    1982

  11. [11]

    Gallardo,Orlicz spaces for which the Hardy-Littlewood maximal operator is bounded, Publ

    D. Gallardo,Orlicz spaces for which the Hardy-Littlewood maximal operator is bounded, Publ. Mat., 32 (1988), 261-266

    1988

  12. [12]

    A. B. Gatto, J. G. Jim ´enez and C. Segovia,On the solution of the equation∆ mF= f for f∈H p. Conference on Harmonic Analysis in honor of Antoni Zygmund, V olumen II, Wadsworth international mathematics series, (1983)

    1983

  13. [13]

    Grafakos,Classical Fourier Analysis, 3rd edition, Graduate Texts in Mathemat- ics, 249, Springer New York, 2014

    L. Grafakos,Classical Fourier Analysis, 3rd edition, Graduate Texts in Mathemat- ics, 249, Springer New York, 2014

    2014

  14. [14]

    Harjulehto and P

    P. Harjulehto and P. H¨ast¨o,Orlicz spaces and generalized Orlicz spaces, Springer, Berlin, 2019

    2019

  15. [15]

    Hyt ¨onen and A

    T. Hyt ¨onen and A. Kairema,Systems of dyadic cubes in a doubling metric space, Colloq. Math., 126 (2012), 1-33. 27

    2012

  16. [16]

    L. D. Ky,New Hardy spaces of Musielak-Orlicz type and boundedness of sublinear operators, Integral Equations Oper. Theory 78, (1) (2014), 115-150

    2014

  17. [17]

    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

  18. [18]

    Nakai and Y

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

    2014

  19. [19]

    Nekvinda and D

    A. Nekvinda and D. Pe ˇsa,On the properties of quasi-Banach function spaces, J. Geom. Anal., 34 (8) (2014), Paper No. 231, 30 p

    2014

  20. [20]

    O’Neil, Fractional integration on Orlicz spaces.I.,Trans

    R. O’Neil, Fractional integration on Orlicz spaces.I.,Trans. Am. Math. Soc.115 (1965), 300-328

    1965

  21. [21]

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

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

    2016

  22. [22]

    Rocha,Convolution operators and variable Hardy spaces on the Heisenberg group, Acta Math

    P. Rocha,Convolution operators and variable Hardy spaces on the Heisenberg group, Acta Math. Hung. 174 (2) (2024), 429-452

    2024

  23. [23]

    Rocha,Weighted Calder ´on-Hardy spaces, Math

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

    2025

  24. [24]

    Rocha,Calder ´on-Hardy type spaces and the Heisenberg sub-Laplacian, Opus- cula Math.46no

    P. Rocha,Calder ´on-Hardy type spaces and the Heisenberg sub-Laplacian, Opus- cula Math.46no. 1 (2026), 73-99

    2026

  25. [25]

    Rocha,Variable Calder ´on-Hardy spaces on the Heisenberg group, Rev

    P. Rocha,Variable Calder ´on-Hardy spaces on the Heisenberg group, Rev. Un. Mat. Arg.69no. 1 (2026), 303-318

    2026

  26. [26]

    Sawano, K.-P

    Y . Sawano, K.-P. Ho, D. Yang and S. Yang, Hardy spaces for ball quasi-Banach function spaces,Diss. Math.,525 (2017), 102 p

    2017

  27. [27]

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

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

    1993

  28. [28]

    Zhang, D

    Y . Zhang, D. Yang, W. Yuan, and S. Wang,Real-variable characterizations of Orlicz-slice Hardy spaces, Anal. and Appl., vol 17, No. 4 (2019), 597-664. Pablo Rocha, Instituto de Matem ´atica (INMABB), Departamento de Matem ´atica, Universidad Nacional del Sur (UNS)-CONICET, Bah´ıa Blanca, Argentina. e-mail:pablo.rocha@uns.edu.ar 28

    2019