pith. sign in

arxiv: 2606.02952 · v1 · pith:5VETLYZPnew · submitted 2026-06-01 · 🧮 math.CA

Maximal inequalities for derivatives of spherical means

Mateusz Kwa\'snicki This is my paper

Pith reviewed 2026-06-28 11:23 UTC · model grok-4.3

classification 🧮 math.CA
keywords maximal inequalitiesspherical meansStein inequalityL^p boundednessharmonic analysisradial derivativesdimension-free estimates
0
0 comments X

The pith

The maximal operator sup_r |r^k (d/dr)^k of the spherical mean integral| is bounded on L^p for k ≥ 0, d ≥ 2k+3, and d/(d-k-1) < p < (d-1)/k, with bound independent of d.

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

The paper gives an alternative formulation of Stein's maximal inequality by expressing generalized spherical averages through derivatives of the standard spherical means. Under the stated conditions on k, d, and p, it shows that the supremum over r > 0 of the absolute value of r^k times the k-th radial derivative applied to the integral of f over the unit sphere is a bounded operator on L^p. The operator norm remains independent of the ambient dimension d. This matters to a sympathetic reader because it recasts a classical result in harmonic analysis in a form that may be more convenient for differentiation-based arguments or dimension-free estimates.

Core claim

If k ≥ 0, d ≥ 2k + 3, and d/(d − k − 1) < p < (d − 1)/k, then the maximal operator f ↦ sup_{r>0} |r^k (d/dr)^k ∫_S f(· + r y) σ(dy)| is bounded on L^p with a constant independent of d.

What carries the argument

The maximal operator sup_{r>0} |r^k (d/dr)^k ∫_S f(· + r y) σ(dy)|, which reformulates the generalized spherical averages as derivatives of ordinary spherical means.

If this is right

  • Boundedness holds with a constant independent of dimension d.
  • The result applies for every fixed k ≥ 0 provided d is at least 2k + 3.
  • The derivative formulation supplies an equivalent statement of the classical inequality for generalized spherical averages.

Where Pith is reading between the lines

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

  • The derivative form may simplify arguments that interchange differentiation and integration when studying pointwise behavior of spherical averages.
  • Boundary cases at the endpoints of the p-interval could be examined separately to see whether weak-type or restricted weak-type bounds hold.
  • The dimension-free character suggests the inequality may remain useful when passing to infinite-dimensional settings or when averaging over spheres in spaces with varying curvature.

Load-bearing premise

The paper assumes the range of p on which the derivative version inherits boundedness is exactly the same open interval that works for the classical Stein inequality on generalized spherical averages.

What would settle it

An explicit function f in L^p(R^d) for parameters k, d, p inside the stated range such that the L^p norm of the maximal function either becomes infinite or grows without bound as d increases.

read the original abstract

We give an alternative formulation of Stein's maximal inequality for generalised spherical averages in terms of derivatives of standard spherical means: if \[ k \ge 0, \qquad d \ge 2 k + 3 , \qquad \frac{d}{d - k - 1} < p < \frac{d - 1}{k} , \] and $\sigma$ is the normalised surface measure on the unit sphere $\mathbb S$, then the maximal operator \[f \mapsto \sup_{r > 0} \, \biggl\lvert r^k (\tfrac{d}{dr})^k \int_{\mathbb S} f(\cdot + r y) \sigma(dy) \biggr\rvert\] is bounded on $L^p$, with a constant that is independent of the dimension $d$.

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 / 1 minor

Summary. The manuscript claims to give an alternative formulation of Stein's maximal inequality for generalised spherical averages, expressed via derivatives of standard spherical means. For integers k ≥ 0 and dimensions d ≥ 2k + 3, it asserts that the maximal operator f ↦ sup_{r>0} |r^k (d/dr)^k ∫_S f(· + r y) σ(dy)| is bounded on L^p(R^d) whenever d/(d - k - 1) < p < (d - 1)/k, with the operator norm independent of d.

Significance. If established, the result recasts a classical theorem of Stein in a derivative form that may simplify certain arguments or suggest extensions within harmonic analysis. The d-independent bound and the explicit p-interval (recovering the known range for k=0) are notable features. The formulation avoids introducing auxiliary generalized measures, which could be useful for further work on maximal inequalities.

minor comments (1)
  1. The abstract states the theorem clearly, but the manuscript should include an explicit statement of the main theorem (with equation number) in the introduction or §1 for easy reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for their accurate summary of the main result. We are pleased that the potential significance of the derivative formulation is recognized. No major comments appear in the report, and we address the overall recommendation below.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a boundedness result for the maximal operator involving k-th derivatives of spherical means as an alternative formulation of Stein's inequality, with explicit parameter ranges d ≥ 2k+3 and d/(d-k-1) < p < (d-1)/k. No load-bearing step reduces by construction to a self-definition, a fitted input renamed as prediction, or a self-citation chain whose cited result is itself unverified within the paper. The derivation chain is self-contained against the external benchmark of Stein's classical inequality for spherical averages, with the stated p-interval matching known critical exponents for the k=0 case and the derivative adjustment presented as formally compatible rather than tautological.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the classical Stein maximal inequality for generalized spherical averages and on standard properties of surface measure and differentiation under the integral; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Stein's maximal inequality holds for generalized spherical averages
    The paper states its result as an alternative formulation of this inequality.
  • standard math Differentiation under the integral sign is valid for the spherical means
    Implicit in writing (d/dr)^k of the integral against surface measure.

pith-pipeline@v0.9.1-grok · 5655 in / 1349 out tokens · 27967 ms · 2026-06-28T11:23:37.405202+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

27 extracted references · 21 canonical work pages · 2 internal anchors

  1. [1]

    New York J.\@ Math.\@ 27 (2021): 631--675

    Sayan Bagchi, Sourav Hait, Luz Roncal, Sundaram Thangavelu, On the maximal function associated to the spherical means on the Heisenberg group. New York J.\@ Math.\@ 27 (2021): 631--675. https://nyjm.albany.edu/j/2021/27-25.html https://nyjm.albany.edu/j/2021/27-25.html

    2021

  2. [2]

    Math.\@ Ann.\@ 382(1--2) (2022): 459--512

    David Beltran, Richard Oberlin, Luz Roncal, Andreas Seeger, Betsy Stovall, Variation bounds for spherical averages. Math.\@ Ann.\@ 382(1--2) (2022): 459--512. doi:10.1007/s00208-021-02218-2

    work page doi:10.1007/s00208-021-02218-2 2022

  3. [3]

    Jean Bourgain, Estimations de certaines fonctions maximales. C. R. Acad.\@ Sci.\@ Paris Sér.\@ I Math.\@ 301(10) (1985): 499--502. [https://archives.ihes.fr/document/M 85 38.pdf] https://archives.ihes.fr/document/M 85 38.pdf

    1985

  4. [4]

    Ann.\@ Math.\@ (2) 182(1) (2015): 351--389

    Jean Bourgain, Ciprian Demeter, The proof of the ^2 decoupling conjecture. Ann.\@ Math.\@ (2) 182(1) (2015): 351--389. doi:10.4007/annals.2015.182.1.9

    work page doi:10.4007/annals.2015.182.1.9 2015

  5. [5]

    In: Paolo Ciatti et al.\@ (ed.), Geometric aspects of harmonic analysis

    Jean Bourgain, Mariusz Mirek, Elias M.\@ Stein, Błażej Wróbel, On the Hardy--Littlewood Maximal Functions in High Dimensions: Continuous and Discrete Perspective. In: Paolo Ciatti et al.\@ (ed.), Geometric aspects of harmonic analysis. Proceedings of the INdAM meeting, Cortona, Italy, June 25--29, 2018. Cham: Springer. Springer INdAM Ser.\@ 45 (2021): 107...

    work page doi:10.1007/978-3-030-72058-2 2018

  6. [6]

    Ann.\@ Fac.\@ Sci.\@ Toulouse, Math.\@ (6) 27(1) (2018): 1--198 (2018)

    Luc Deleaval, Olivier Guédon, Bernard Maurey, Dimension free bounds for the Hardy--Littlewood maximal operator associated to convex sets. Ann.\@ Fac.\@ Sci.\@ Toulouse, Math.\@ (6) 27(1) (2018): 1--198 (2018). :10.5802/afst.1567

    work page doi:10.5802/afst.1567 2018

  7. [7]

    Rev.\@ Mat.\@ Iberoam.\@ 35(1) (2019): 101--123

    Luc Deleaval, Christoph Kriegler, Dimension free bounds for the vector-valued Hardy--Littlewood maximal operator. Rev.\@ Mat.\@ Iberoam.\@ 35(1) (2019): 101--123. doi:10.4171/RMI/1050

    work page doi:10.4171/rmi/1050 2019

  8. [8]

    Preprint, 2025

    Pritam Ganguly, Abhishek Ghosh, Dimension free estimates for the vector-valued Hardy--Littlewood maximal function on the Heisenberg group. Preprint, 2025. arXiv:2503.15291

    work page arXiv 2025

  9. [9]

    Jones, Andreas Seeger, James Wright, Strong variational and jump inequalities in harmonic analysis

    Roger L. Jones, Andreas Seeger, James Wright, Strong variational and jump inequalities in harmonic analysis. Trans.\@ Amer.\@ Math.\@ Soc.\@ 360(12) (2008): 6711--6742. doi:10.1090/S0002-9947-08-04538-8

    work page doi:10.1090/s0002-9947-08-04538-8 2008

  10. [10]

    On the dimension-free control of higher order truncated Riesz transforms by higher order Riesz transforms

    Maciej Kucharski, Mateusz Kwaśnicki, Błażej Wróbel, On the dimension-free control of higher order truncated Riesz transforms by higher order Riesz transforms. Preprint, 2025. arXiv:2507.17510

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  11. [11]

    Math.\@ Ann.\@ 386 (2023): 1017--1039

    Maciej Kucharski, Błażej Wróbel, A dimension-free estimate on L^2 for the maximal Riesz transform in terms of the Riesz transform. Math.\@ Ann.\@ 386 (2023): 1017--1039. doi:10.1007/s00208-022-02417-5

    work page doi:10.1007/s00208-022-02417-5 2023

  12. [12]

    Dimension-free $L^p$ estimates for higher order maximal Riesz transforms in terms of the Riesz transforms

    Maciej Kucharski, Błażej Wróbel, Jacek Zienkiewicz, Dimension-free L^p estimates for higher order maximal Riesz transforms in terms of the Riesz transforms. Anal.\@ PDE, in press. arXiv:2305.09279

    work page internal anchor Pith review Pith/arXiv arXiv

  13. [13]

    In preparation, 2025

    Maciej Kucharski, Mateusz Kwaśnicki, Shorter proof of dimension-free L^p estimates for maximal Riesz transforms. In preparation, 2025

    2025

  14. [14]

    Math.\@ Ann.\@ 389 (2024): 3513--3534

    Jinsong Liu, Petar Melentijević, Jian-Feng Zhu, L^p norm of truncated Riesz transform and an improved dimension-free L^p estimate for maximal Riesz transform. Math.\@ Ann.\@ 389 (2024): 3513--3534. doi:10.1007/s00208-023-02736-1

    work page doi:10.1007/s00208-023-02736-1 2024

  15. [15]

    Math.\@ Ann.\@ 390 (2024): 5235--5255

    Naijia Liu, Minxing Shen, Liang Song, Lixin Yan, L^p bounds for Stein’s spherical maximal operators. Math.\@ Ann.\@ 390 (2024): 5235--5255. doi:10.1007/s00208-024-02884-y

    work page doi:10.1007/s00208-024-02884-y 2024

  16. [16]

    Int.\@ Math.\@ Res.\@ Not 2010(19) (2010): 3658--3722

    Joan Mateu, Joan Orobitg, Carlos Pérez, Joan Verdera, New estimates for the maximal singular integral. Int.\@ Math.\@ Res.\@ Not 2010(19) (2010): 3658--3722. doi:10.1093/imrn/rnq017

    work page doi:10.1093/imrn/rnq017 2010

  17. [17]

    Ann.\@ Math.\@ (2) 174 (2011): 1429--1483

    Joan Mateu, Joan Orobitg, Joan Verdera, Estimates for the maximal singular integral in terms of the singular integral: the case of even kernels. Ann.\@ Math.\@ (2) 174 (2011): 1429--1483. doi:10.4007/annals.2011.174.3.2

    work page doi:10.4007/annals.2011.174.3.2 2011

  18. [18]

    Math.\@ Res.\@ Lett.\@ 13(6) (2006): 957--966

    Joan Mateu, Joan Verdera, L^p and weak L^1 estimates for the maximal Riesz transform and the maximal Beurling transform. Math.\@ Res.\@ Lett.\@ 13(6) (2006): 957--966. doi:10.4310/MRL.2006.v13.n6.a10

    work page doi:10.4310/mrl.2006.v13.n6.a10 2006

  19. [19]

    Proc.\@ Amer.\@ Math.\@ Soc.\@ 145 (2017): 4269--4282

    Changxing Miao, Jianwei Yang, Jiqiang Zheng, On local smoothing problems and Stein's maximal spherical means. Proc.\@ Amer.\@ Math.\@ Soc.\@ 145 (2017): 4269--4282. doi:10.1090/proc/13313

    work page doi:10.1090/proc/13313 2017

  20. [20]

    Ann.\@ Math.\@ (2) 136(1) (1992): 207--218

    Gerd Mockenhaupt, Andreas Seeger, Christopher D.\@ Sogge, Wave front sets, local smoothing and Bourgain's circular maximal theorem. Ann.\@ Math.\@ (2) 136(1) (1992): 207--218. doi:10.2307/2946549

    work page doi:10.2307/2946549 1992

  21. [21]

    Elias M.\@ Stein, Maximal functions. I. Spherical means. Proc.\@ Natl.\@ Acad.\@ Sci.\@ USA 73(7) (1976): 2174--2175. :10.1073/pnas.73.7.2174

    work page doi:10.1073/pnas.73.7.2174 1976

  22. [22]

    Princeton University Press, Princeton, N.\,J., 1970

    Elias M.\@ Stein, Topics in Harmonic Analysis Related to the Littlewood-Paley Theory. Princeton University Press, Princeton, N.\,J., 1970. 978-1-4008-8187-1 https://www.jstor.org/stable/j.ctt1bgzbcx

    1970

  23. [23]

    Elias M.\@ Stein, The development of square functions in the work of A. Zygmund. Bull.\@ Amer.\@ Math.\@ Soc.\@ 7 (1982): 359--376. doi:10.1090/S0273-0979-1982-15040-6

    work page doi:10.1090/s0273-0979-1982-15040-6 1982

  24. [24]

    Ark.\@ Mat.\@ 21 (1983): 259--269

    Elias M.\@ Stein, Jan-Olov Strömberg, Behavior of maximal functions in R ^n for large n . Ark.\@ Mat.\@ 21 (1983): 259--269. doi:10.1007/BF02384314

    work page doi:10.1007/bf02384314 1983

  25. [25]

    Princeton Mathematical Series 32

    Elias M.\@ Stein, Guido Weiss, Introduction to Fourier Analysis on Euclidean Spaces. Princeton Mathematical Series 32. Princeton, N.\,J.: Princeton University Press (1971). 978-0-691-08078-9 https://www.jstor.org/stable/j.ctt1bpm9w6

    1971

  26. [26]

    Dario Trevisan, A Short Proof of Stein's Universal Multiplier Theorem. In: C. Donati-Martin, A. Lejay, A. Rouault (ed.), Séminaire de Probabilités XLVI. Lecture Notes in Mathematics 2123, Springer, Cham, 2014. doi:10.1007/978-3-319-11970-0\_20

    work page doi:10.1007/978-3-319-11970-0 2014

  27. [27]

    [ https://dlmf.nist.gov/][,] https://dlmf.nist.gov/ Release 1.2.4 of 2025-03-15

    NIST Digital Library of Mathematical Functions. [ https://dlmf.nist.gov/][,] https://dlmf.nist.gov/ Release 1.2.4 of 2025-03-15. F.\,W.\,J.\@ Olver, A.\,B.\@ Olde Daalhuis, D.\,W.\@ Lozier, B.\,I.\@ Schneider, R.\,F.\@ Boisvert, C.\,W.\@ Clark, B.\,R.\@ Miller, B.\,V.\@ Saunders, H.\,S.\@ Cohl, and M.\,A.\@ McClain, eds

    2025