arxiv: 2605.01092 · v1 · submitted 2026-05-01 · 🧮 math.FA

Recognition: unknown

Fractional type operators on Hardy spaces associated with ball quasi-Banach function spaces

Pablo Rocha

Pith reviewed 2026-05-09 17:48 UTC · model grok-4.3

classification 🧮 math.FA

keywords fractional operatorsHardy spacesball quasi-Banach function spacesboundednessorthogonal matricesatomic decompositionOrlicz spacesLorentz spaces

0 comments

The pith

Fractional type operators T_{α,m} extend boundedly from Hardy spaces H_X to related spaces Y or X itself.

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

The paper proves that operators T_{α,m} generated by m-orthogonal matrices extend to bounded maps from the Hardy space H_X to a related ball quasi-Banach space Y when 0 < α < n, and to X itself when α = 0. This holds for m satisfying m > 1 - α/n, under the assumption that X is invariant under orthogonal transformations. The results cover weighted Lebesgue spaces, variable Lebesgue spaces, Lorentz spaces, and Orlicz spaces as special cases, with proofs relying on weighted Hardy space theory, the Rubio de Francia algorithm, and finite atomic decompositions of H_X.

Core claim

For 0 ≤ α < n and m a natural number larger than 1 - α/n, the operators T_{α,m} generated by m-orthogonal matrices extend to bounded operators from H_X to Y when α is positive and from H_X to X when α is zero, where X and Y are related ball quasi-Banach function spaces and H_X is the associated Hardy space.

What carries the argument

The fractional type operators T_{α,m} generated by m-orthogonal matrices, together with the Hardy space H_X built on the ball quasi-Banach space X.

If this is right

The operators are bounded on Hardy spaces over weighted Lebesgue spaces.
Boundedness holds for variable Lebesgue spaces as a new application.
New boundedness results apply to Lorentz spaces and Orlicz spaces.
The finite atomic decomposition of H_X is sufficient for the boundedness proofs.
The Rubio de Francia iteration algorithm controls the operator norms in these settings.

Where Pith is reading between the lines

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

Similar extension arguments might apply to other singular or fractional operators beyond those generated by orthogonal matrices.
If the O(n)-invariance can be weakened, the boundedness could reach non-rotationally symmetric function spaces.
These mappings could yield new endpoint estimates or weak-type inequalities in Orlicz and Lorentz settings.

Load-bearing premise

The ball quasi-Banach space X must be invariant under orthogonal transformations.

What would settle it

An explicit counterexample of an O(n)-invariant ball quasi-Banach space X for which some T_{α,m} fails to map H_X boundedly into Y or X would disprove the extension claim.

read the original abstract

For $0 \leq \alpha < n$ and $m \in \mathbb{N} \cap \left(1 - \frac{\alpha}{n}, +\infty \right)$, we consider certain fractional type operators $T_{\alpha, m}$ generated by $m$-orthogonal matrices and prove that, for $0 < \alpha < n$, $T_{\alpha, m}$ can be extended to a bounded operator $H_X \to Y$ and, for $\alpha = 0$, $T_{0, m}$ can be extended to a bounded operator $H_X \to X$, where $X$ and $Y$ are certain ball quasi-Banach spaces related to each other and $H_X$ is the Hardy space associated with $X$. In particular, our results apply to weighted Lebesgue spaces, variable Lebesgue spaces, Lorentz spaces and Orlicz spaces, the last two are new. Our proofs rely on the ssumption that $X$ is $\mathcal{O}(n)$-invariant, the theory of weighted Hardy spaces, the Rubio de Francia iteration algorithm and the finite atomic decomposition of $H_X$.

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

Extends fractional operator bounds to Hardy spaces on ball quasi-Banach spaces with new Lorentz and Orlicz cases, but the variable Lebesgue application runs into trouble with the O(n)-invariance requirement.

read the letter

This paper extends boundedness results for fractional type operators to Hardy spaces associated with ball quasi-Banach function spaces. The applications to Lorentz and Orlicz spaces are new, as the abstract states explicitly. It applies the same Rubio de Francia iteration and atomic decomposition approach that has worked for weighted and variable Lebesgue cases before, now packaged for the general ball quasi-Banach setting. That unification is the main technical step and it looks clean on the surface. The central claim that T_alpha,m maps H_X boundedly into Y (or X when alpha=0) follows from those standard tools once the O(n)-invariance of X is granted. No circular definitions or fitted quantities appear in the argument. The math rests on external, reproducible ingredients rather than self-referential constructions. The paper does that part competently. The soft spot is the O(n)-invariance assumption itself. The proofs require ||f ∘ A||_X = ||f||_X for every orthogonal matrix A. General variable Lebesgue spaces L^{p(·)} fail this when p(x) is non-radial, since rotation changes the value of the modular integral. The abstract lists variable Lebesgue spaces among the applications without adding any radiality or constancy restriction on p. That part of the “in particular” statement therefore does not follow from the stated hypotheses. Weighted Lebesgue, Lorentz, and Orlicz cases are less problematic because they often satisfy the invariance automatically. The rest of the paper is narrow but internally consistent. It is written for specialists already working on operators on generalized function spaces. A reader in that subfield will find the Lorentz and Orlicz extensions useful and the general framework convenient. The work is coherent enough on its own terms to deserve referee time, mainly to verify the atomic decomposition details and to force clarification on exactly which variable exponents are covered. I would send it to peer review with a request that the authors state the precise conditions under which the variable Lebesgue claim holds.

Referee Report

1 major / 1 minor

Summary. The paper proves boundedness of fractional type operators T_{α,m} (generated by m-orthogonal matrices) from the Hardy space H_X associated to an O(n)-invariant ball quasi-Banach function space X to a related space Y (when 0 < α < n) or to X (when α = 0). The results are stated to apply in particular to weighted Lebesgue, variable Lebesgue, Lorentz, and Orlicz spaces, with the last two claimed as new; proofs use weighted Hardy space theory, Rubio de Francia iteration, and finite atomic decomposition of H_X under the O(n)-invariance assumption on X.

Significance. If the central boundedness results hold under the stated assumptions, the work provides a unified extension of fractional operator theory to Hardy spaces over ball quasi-Banach spaces, recovering classical cases and adding new results for Lorentz and Orlicz spaces. The approach via atomic decompositions and iteration algorithms is standard and appropriate for the setting.

major comments (1)

[Abstract] Abstract: The claim that the results apply in particular to variable Lebesgue spaces L^{p(·)}(R^n) is not supported by the O(n)-invariance assumption required for the proofs. For a general (non-radial, non-constant) variable exponent p(·), the quasi-norm fails to satisfy ||f ∘ A||_X = ||f||_X for orthogonal matrices A, so the applicability statement for variable Lebesgue spaces requires either an additional restriction on p(·) or removal from the 'in particular' list.

minor comments (1)

[Abstract] Abstract: Typo 'ssumption' should read 'assumption'.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the inconsistency in the abstract regarding variable Lebesgue spaces. We agree that the O(n)-invariance assumption is essential to the proofs and that general variable exponents do not satisfy it. We will revise the manuscript to correct this.

read point-by-point responses

Referee: [Abstract] Abstract: The claim that the results apply in particular to variable Lebesgue spaces L^{p(·)}(R^n) is not supported by the O(n)-invariance assumption required for the proofs. For a general (non-radial, non-constant) variable exponent p(·), the quasi-norm fails to satisfy ||f ∘ A||_X = ||f||_X for orthogonal matrices A, so the applicability statement for variable Lebesgue spaces requires either an additional restriction on p(·) or removal from the 'in particular' list.

Authors: We agree with the referee. The O(n)-invariance of X is a standing hypothesis used throughout the paper, in particular to obtain the finite atomic decomposition of H_X and to apply the Rubio de Francia iteration. Variable Lebesgue spaces L^{p(·)}(R^n) satisfy ||f ∘ A||_X = ||f||_X for all orthogonal A only in special cases (constant p or suitably radial p(·)). For a general non-constant, non-radial p(·) the invariance fails, so the claim in the abstract is not justified. We will remove 'variable Lebesgue spaces' from the 'in particular' list in the abstract (and in the introduction) and will add a brief remark clarifying that the results apply to those ball quasi-Banach spaces that are O(n)-invariant. This revision will be made in the next version. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation uses external tools under stated invariance assumption

full rationale

The paper proves boundedness of the fractional operators T_{α,m} from H_X to Y (or X) by invoking the O(n)-invariance assumption on the ball quasi-Banach space X together with standard external machinery: weighted Hardy space theory, the Rubio de Francia iteration algorithm, and finite atomic decomposition. No equation or claim reduces a 'prediction' to a fitted parameter, renames a known result, or relies on a load-bearing self-citation whose content is itself unverified. The applicability statements for weighted, variable, Lorentz, and Orlicz spaces are explicitly conditioned on the invariance hypothesis; any mismatch between that hypothesis and a particular space (e.g., non-radial variable-exponent Lebesgue) is a question of applicability, not a circular reduction inside the derivation chain. The argument is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the domain assumption that X is O(n)-invariant together with standard background results from weighted Hardy space theory and atomic decomposition; no free parameters or invented entities are mentioned in the abstract.

axioms (1)

domain assumption X is O(n)-invariant
Explicitly listed in the abstract as a required assumption for the proofs to hold.

pith-pipeline@v0.9.0 · 5496 in / 1174 out tokens · 33919 ms · 2026-05-09T17:48:18.863667+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

34 extracted references · 1 canonical work pages

[1]

Abu-Shammala and A

W. Abu-Shammala and A. Torchinsky, The Hardy-Lorentz spacesHp,q(Rn),Studia Math., 182 (2007), 283-294. 22

2007
[2]

Andersen and R

K. Andersen and R. John, Weighted inequalities for vector-valued maximal func- tions and singular integrals,Studia Math., 69 (1980), 19-31

1980
[3]

Benedek and R

A. Benedek and R. Panzone, The spaceL p, with mixed norm,Duke Math. J., 28 (3) (1961), 301-324

1961
[4]

Bennett and R

C. Bennett and R. Sharpley,Interpolation of Operators, Pure and Applied Mathe- matics, vol. 129. Boston: Academic Press, Inc., 1988

1988
[5]

Y . Chen, H. Jia and D. Yang, Boundedness of fractional integrals on Hardy spaces associated with ball quasi-Banach function spaces,Tokyo J. Math., 47, No. 1 (2024), 19-59

2024
[6]

Cruz-Uribe and A

D. Cruz-Uribe and A. Fiorenza,Variable Lebesgue Spaces, Birkh ¨auser, 2013

2013
[7]

Cruz-Uribe, A

D. Cruz-Uribe, A. Fiorenza and C.J. Neugebauer, The maximal function on vari- ableL p spaces,Ann. Acad. Sci. Fenn. Math., 28 (2003), 223-238

2003
[8]

Cruz-Uribe and D

D. Cruz-Uribe and D. Wang, Variable Hardy Spaces,Indiana university mathemat- ics journal, V ol. 63 (2), 447-493, (2014)

2014
[9]

G. P. Curbera, J. Garc ´ıa-Cuerva, J. M. Martell and C. P ´erez, Extrapolation with weights, rearrangement-invariant function spaces, modular inequalities and appli- cations to singular integrals,Adv. Math., 203 (2006), 256-318

2006
[10]

Folland and E

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

1982
[11]

Garc ´ıa-Cuerva, WeightedHp spaces,Diss

J. Garc ´ıa-Cuerva, WeightedHp spaces,Diss. Math., 162 (1979), 1-63

1979
[12]

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
[13]

Harjulehto and P

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

2019
[14]

A. K. Lerner, S. Ombrosi, and C. P ´erez, SharpA 1 bounds for Calder´on-Zygmund operators and the relationship with a problem of Muckenhoupt and Wheeden,Int. Math. Res. Not., IMRN 6, (2008)

2008
[15]

Muckenhoupt, Weighted norm inequalities for the Hardy maximal function, Trans

B. Muckenhoupt, Weighted norm inequalities for the Hardy maximal function, Trans. of the Amer. Math. Soc., V ol 165 (1972), 207-226

1972
[16]

Nakai and Y

E. Nakai and Y . Sawano, Hardy spaces with variable exponents and generalized Campanato spaces,J. Funct. Anal., 262 (2012), 3665-3748. 23

2012
[17]

Nakai and Y

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

2014
[18]

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
[19]

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
[20]

Rocha, Boundedness of generalized Riesz potentials on the variable Hardy spaces,J

P. Rocha, Boundedness of generalized Riesz potentials on the variable Hardy spaces,J. Aust. Math. Soc.104 (2018), 255-273

2018
[21]

Rocha, Weighted estimates for generalized Riesz potentials,Rocky Mt

P. Rocha, Weighted estimates for generalized Riesz potentials,Rocky Mt. J. Math. 53, No. 2, 549-559 (2023)

2023
[22]

Rocha, Estimates for convolution operators on Hardy spaces associated with ball quasi-Banach function spaces (2025), available at https://arxiv.org/pdf/2511.21642

P. Rocha, Estimates for convolution operators on Hardy spaces associated with ball quasi-Banach function spaces (2025), available at https://arxiv.org/pdf/2511.21642

work page arXiv 2025
[23]

Rocha and M

P. Rocha and M. Urciuolo, On theH p −L q boundedness of some fractional integral operators,Czech. Math. Journal, 62 (137), 625-635, (2012)

2012
[24]

Rocha and M

P. Rocha and M. Urciuolo, Fractional type integral operators on variable Hardy spaces,Acta Math. Hungar., 143 (2) (2014), 502-514

2014
[25]

Rocha and M

P. Rocha and M. Urciuolo, Fractional type integral operators of variable order,Rev. de la Un. Mat. Arg., 58 (2), 281-296, (2017)

2017
[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]

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]

J. O. Str ¨omberg and R. L. Wheeden, Fractional integrals on weightedH p andL p spaces,Trans. Amer. Math. Soc., 287 (1985), 293-321

1985
[29]

J. O. Str ¨omberg and A. Torchinsky,Weighted Hardy spaces, Lecture Notes in Mathematics, vol 131, Springer-Verlag, Berl´ın, 1989

1989
[30]

M. H. Taibleson and G. Weiss, The molecular characterization of certain Hardy spaces,Asterisque, 77 (1980), 67-149

1980
[31]

Tan and J

J. Tan and J. Zhao, Fractional Integrals on Variable Hardy-Morrey Spaces,Acta Math. Hungar., 148 (1), 174-190, (2016). 24

2016
[32]

X. Yan, D. Yang and W. Yuan, Intrinsic square function characterizations of Hardy spaces associated with ball quasi-Banach function spaces, Front. Math. China 15 (4) (2020), 769-806

2020
[33]

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

2019
[34]

Zhang, D

Y . Zhang, D. Yang, W. Yuan, and S. Wang, Weak Hardy-type spaces associated with ball quasi-Banach function spaces I: Decompositions with applications to boundedness of Calder´on-Zygmund operators,Sci. China, Math.64, No. 9 (2021), 2007-2064. Pablo Rocha, Instituto de Matem ´atica (INMABB), Departamento de Matem ´atica, Universidad Nacional del Sur (UNS)-...

2021