pith. sign in

arxiv: 2604.07819 · v1 · submitted 2026-04-09 · 🧮 math.CA

Endpoint Estimates for Certain Singular Integrals with Non-smooth Kernels

Xueting Han , Xuejing Huo This is my paper

Pith reviewed 2026-05-10 17:59 UTC · model grok-4.3

classification 🧮 math.CA
keywords singular integralsLorentz spacesendpoint estimatesheat kernelH-infinity functional calculusHardy operatorKolmogorov operatorvertical square function
0
0 comments X

The pith

Singular integrals associated with operators that have bounded H∞-functional calculus and heat kernel bounds map L^{p0,1} boundedly into L^{p0,∞}.

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

The paper shows that for an operator L satisfying a bounded H∞-functional calculus and heat kernel upper bounds, the vertical square function and Laplace transform type functional calculus are bounded from the Lorentz space L^{p0,1} to L^{p0,∞}, with the critical index p0 set by the heat kernel decay. These abstract bounds are then specialized to obtain endpoint estimates when L is the Hardy operator or the Kolmogorov operator. A sympathetic reader cares because Lorentz endpoint estimates are typically the sharpest possible and serve as building blocks for further inequalities involving maximal operators or solutions to PDEs.

Core claim

We establish the boundedness from Lorentz spaces L^{p0,1}(R^n) to L^{p0,∞}(R^n) for some singular integrals associated with L, including the vertical square function and the functional calculus of Laplace transform type, where p0 is determined by the upper bound of the heat kernel. As concrete applications, we obtain the endpoint estimates for the above singular integrals associated with both the Hardy operator and the Kolmogorov operator.

What carries the argument

The vertical square function and Laplace transform type functional calculus associated with L, under the assumptions of bounded H∞-functional calculus and heat kernel upper bounds.

If this is right

  • The vertical square function satisfies the stated Lorentz endpoint boundedness.
  • The Laplace transform type functional calculus satisfies the stated Lorentz endpoint boundedness.
  • Endpoint estimates hold for the singular integrals associated with the Hardy operator.
  • Endpoint estimates hold for the singular integrals associated with the Kolmogorov operator.

Where Pith is reading between the lines

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

  • The same assumptions may permit endpoint bounds for other singular integrals or maximal functions tied to L.
  • The approach could extend to operators on manifolds or domains once comparable heat kernel controls are verified.
  • Non-smoothness of the kernels does not obstruct the endpoint result when the heat kernel decay is controlled.

Load-bearing premise

The operator L possesses a bounded H∞-functional calculus and its heat kernel satisfies suitable upper bounds that determine p0.

What would settle it

An operator L that satisfies the bounded H∞-functional calculus and heat kernel upper bounds but for which the vertical square function fails to map L^{p0,1} into L^{p0,∞}.

read the original abstract

Let $L$ be a closed, densely defined operator of type $ \omega $ on $ L^2(\mathbb{R}^n)$ with $0 \leq \omega < \pi/2 $. We assume that $ L $ possesses a bounded $ H_\infty $-functional calculus and that its heat kernel satisfies suitable upper bounds. In this paper, we establish the boundedness from Lorentz spaces $ L^{p_0,1}(\mathbb{R}^n) $ to $ L^{p_0,\infty}(\mathbb{R}^n)$ for some singular integrals associated with $ L $, including the vertical square function and the functional calculus of Laplace transform type, where $p_0$ is determined by the upper bound of the heat kernel. As concrete applications, we obtain the endpoint estimates for the above singular integrals associated with both the Hardy operator and the Kolmogorov operator.

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

0 major / 2 minor

Summary. The manuscript establishes boundedness from the Lorentz space L^{p0,1}(R^n) to L^{p0,∞}(R^n) for the vertical square function and Laplace-transform-type functional calculus associated to an operator L that is of type ω < π/2, possesses a bounded H_∞-functional calculus on L^2, and has heat kernels satisfying suitable upper bounds that fix the exponent p0. The same endpoint estimates are then obtained for the corresponding operators built from the Hardy operator and the Kolmogorov operator by verifying that these concrete L satisfy the standing assumptions.

Significance. If the derivations hold, the work supplies endpoint Lorentz-space estimates for a class of singular integrals whose kernels lack the smoothness required by classical Calderón-Zygmund theory. The approach via functional calculus and heat-kernel bounds yields a uniform framework that applies directly once the abstract assumptions are checked, and the concrete applications to the Hardy and Kolmogorov operators illustrate the method on two important examples.

minor comments (2)
  1. The precise form of the heat-kernel upper bound that determines p0 is stated only qualitatively in the abstract and introduction; an explicit display of the bound (e.g., |p_t(x,y)| ≤ C t^{-n/2} (1 + |x-y|/√t)^{-N} or the analogous form used in the paper) would make the dependence of p0 on the kernel clearer.
  2. In the applications section, the verification that the Hardy and Kolmogorov operators satisfy the H_∞-calculus and heat-kernel hypotheses is sketched rather than carried out in full detail; adding one or two key estimates (with references to the literature where the remaining steps appear) would strengthen the applications.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. The referee's summary accurately captures the main results on Lorentz-space endpoint bounds for the vertical square function and Laplace-type functional calculus under the stated assumptions on L, as well as the applications to the Hardy and Kolmogorov operators. We appreciate the recommendation for minor revision and will prepare a revised version accordingly. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives the L^{p0,1} to L^{p0,∞} boundedness for the vertical square function and Laplace-transform-type functional calculus directly from the external assumptions that L is of type ω < π/2, possesses a bounded H_∞-functional calculus, and has heat kernels satisfying the upper bounds that fix p0. These assumptions are stated upfront and are not derived within the paper; they are verified independently for the concrete applications to the Hardy and Kolmogorov operators. No equations reduce the target endpoint estimates to fitted parameters, self-referential definitions, or prior self-citations that bear the load of the central claims. The non-smooth kernel handling proceeds via the functional calculus and heat-kernel estimates rather than circular constructions. The derivation is therefore self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on three domain assumptions about the operator L and its heat kernel; no free parameters or new entities are introduced in the abstract.

axioms (3)
  • domain assumption L is a closed, densely defined operator of type ω on L²(R^n) with 0 ≤ ω < π/2
    Stated as the basic setting for the class of operators under consideration.
  • domain assumption L possesses a bounded H_∞-functional calculus
    Required to define the functional calculus of Laplace-transform type.
  • domain assumption The heat kernel of L satisfies suitable upper bounds that determine p0
    This bound fixes the critical exponent p0 and is used to obtain the Lorentz-space estimates.

pith-pipeline@v0.9.0 · 5443 in / 1571 out tokens · 64953 ms · 2026-05-10T17:59:35.500543+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

33 extracted references · 33 canonical work pages

  1. [1]

    Workshop in Analysis and Geometry

    Albrecht, D., Duong, X.T., McIntosh, A.: Operator theory and Harmonic analysis. Workshop in Analysis and Geometry. 1995, Proceedings of the Centre for Mathematics and its Applications, ANU34, 77–136 (1996)

    work page 1995

  2. [2]

    Memoirs of the American Mathematical Society, 2007, 186 (871)

    Auscher, P.: On necessary and sufficient conditions forLp-estimates of Riesz transforms associated to elliptic operators onR n and related estimates. Memoirs of the American Mathematical Society, 2007, 186 (871)

    work page 2007

  3. [3]

    Auscher, P., Ben Ali, B.: Maximal inequalities and Riesz transform estimates onLp spaces for Schrödinger operators with nonnegative potentials. Ann. Inst. Fourier(Grenoble)57(6), 1975–2013 (2007)

    work page 1975

  4. [4]

    Astérisque,249(1998) 20 X

    Auscher, P., Tchamitchian, Ph.: Square root problem for divergence operators and related topics. Astérisque,249(1998) 20 X. HAN AND X. HUO

    work page 1998

  5. [5]

    Auscher,P.,Tchamitchian,Ph.: SquarerootsofellipticsecondorderdivergenceoperatorsonstronglyLipschitzdomains: Lp theory. Math. ANN.320(3), 577–623 (2001)

    work page 2001

  6. [6]

    Blunck, S., Kunstmann, P.: Calderón–Zygmund theory for non-integral operators and the H∞-functional calculus. Rev. Mat. Iberoamericana19(3), 919–942 (2003)

    work page 2003

  7. [7]

    Blunck, S., Kunstmann, P.: Weak-type(p, p)estimates for Riesz transforms. Math. Z.247(1), 137–148 (2004)

    work page 2004

  8. [8]

    Nonlinearity,36(1), 171–198 (2023)

    Bui, T.A., D’Ancona, P.: Generalized Hardy operators. Nonlinearity,36(1), 171–198 (2023)

    work page 2023

  9. [9]

    (2024) arXiv:2410.00191

    Bui, T.A., Duong, X.T., Merz, K.: Equivalence of Sobolev norms for Kolmogorov operators with scaling-critical drift. (2024) arXiv:2410.00191

    work page arXiv 2024

  10. [10]

    Christ, M.: Weak-type(1,1)bounds for rough operators. Ann. Math.128, 19–42 (1988)

    work page 1988

  11. [11]

    Christ, M., Rubio De Francia, J.L.: Weak type(1,1)bounds for rough operators II. Invent. Math.93, 225–237 (1988)

    work page 1988

  12. [12]

    154(1), 37–57 (2003)

    Coulhon,T.,Duong,X.T.,Li,X.D.: Littlewood–Paley–SteinfunctionsoncompleteRiemannainmanifolds.Studia.Math. 154(1), 37–57 (2003)

    work page 2003

  13. [13]

    Coulhon,T.andSikora,A.: GaussianheatkernelupperboundsviaPhragmén–Lindelöftheorem,Proc.Lond.Math.Soc., 96 (2008), 507-544

    work page 2008

  14. [14]

    Cowling, M., Doust, I., McIntosh, A., Yagi, A.: Banach space operators with a bounded H∞ functional calculus. J. Austral. Math. Soc. Ser. A6051–89 (1996)

    work page 1996

  15. [15]

    Davies, E.B.: Limits onLp regularity of self-adjoint elliptic operators. J. Differential Equations,135(1), 83–102 (1997)

    work page 1997

  16. [16]

    Duong, X.T., McIntosh, A.: Functional calculi of second order elliptic partial differential operators with bounded meas- urable coefficients. J. Geom. Anal.6, 181–205 (1996)

    work page 1996

  17. [17]

    Duong, X.T., McIntosh, A.: Singular integral operators with non-smooth kernels on irregular domains. Rev. Mat. Iberoamericana15(2), 233–265 (1999)

    work page 1999

  18. [18]

    Duong, X.T., Robinson, D.: Semigroup kernels, Poisson bounds and holomorphic functional calculus. J. Funct. Anal. 142, 89–128 (1996)

    work page 1996

  19. [19]

    Acta Math.124, 9–36 (1970)

    Fefferman, C.: Inequalities for strongly singular convolution operators. Acta Math.124, 9–36 (1970)

    work page 1970

  20. [20]

    Graduate Texts in Mathematics,249, Springer, New York (2014)

    Grafakos, L.: Classical Fourier analysis, Third ed. Graduate Texts in Mathematics,249, Springer, New York (2014)

    work page 2014

  21. [21]

    Graduate Texts in Mathematics,250, Springer, New York (2014)

    Grafakos, L.: Modern Fourier analysis, Third ed. Graduate Texts in Mathematics,250, Springer, New York (2014)

    work page 2014

  22. [22]

    Grafakos, L., Martell, J.M.: Extrapolation of weighted norm inequalities for multivariable operators and applications. J. Geom. Anal.14(1), 19–46 (2004)

    work page 2004

  23. [23]

    Acta Math.104, 93–139 (1960)

    Hörmander, L.: Estimates for translation invariant operators onLp spaces. Acta Math.104, 93–139 (1960)

    work page 1960

  24. [24]

    Annali di Matematica Pura ed Applicata, (4)189(3), 523–538 (2010)

    Kolyada, V., Soria, J.: Hölder type inequalities in Lorentz spaces. Annali di Matematica Pura ed Applicata, (4)189(3), 523–538 (2010)

    work page 2010

  25. [25]

    Lai,X.: EndpointEstimatesforTwoOperatorsRelatedtoSchrödingerOperatorswithInverse-squarePotential.Potential Anal63, 1869–1886 (2025)

    work page 2025

  26. [26]

    Liskevich,V.,Sobol,Z.,Vogt,H.: OntheL p-theoryofC 0-semigroupsassociatedwithsecond-orderellipticoperatorsII. J. Funct. Anal.193(1), 55–76 (2002)

    work page 2002

  27. [27]

    McIntosh,A.: OperatorswhichhaveanH ∞-calculus.MiniconferenceonOperatorTheoryandPartialDifferentialEqua- tions, 1986, Procceedings of the Centre for Mathematical Analysis, ANU, Canberra, 1986, pp. 210-213

    work page 1986

  28. [28]

    Shen,Z.:L p estimatesforSchr ¨dingeroperatorswithcertainpotentials.Annalesdel’InstitutFourier,45(2),pp.513–546 (1995)

    work page 1995

  29. [29]

    Transactions of the American Mathem- atical Society,88(2), pp

    Stein, E.M.: On the Functions of Littlewood–Paley, Lusin, and Marcinkiewicz. Transactions of the American Mathem- atical Society,88(2), pp. 430–66 (1958)

    work page 1958

  30. [30]

    Stein,E.M.: SingularIntegralsandDifferentiabilityPropertiesofFunctions.PrincetonUniversityPress,Princeton(1970)

    work page 1970

  31. [31]

    Stein,E.M.: TopicsinHarmonicAnalysisRelatedtotheLittlewood–PaleyTheory.PrincetonUniversityPress,Princeton (1970)

    work page 1970

  32. [32]

    Princeton University Press, Princeton (1971)

    Stein, E.M.: Introduction to Fourier analysis on Euclidean spaces. Princeton University Press, Princeton (1971)

    work page 1971

  33. [33]

    Yan, L.: Littlewood–Paley functions associated to second order elliptic operators. Math. Z.246, 655–666 (2004) (Xueting Han)Department of Mathematics, Hefei Institute of Technology , Hefei 238706, Anhui, China Email address:hanxueting12@163.com (Xuejing Huo)School of Mathematical and Physical Sciences, Macquarie University , Sydney 2109, NSW, Aus- tralia ...

    work page 2004