Weighted mixed-norm estimates for circular averages and exceptional set estimates for the wave equation
Pith reviewed 2026-05-10 15:23 UTC · model grok-4.3
The pith
Mixed-norm estimates for circular averages over fractal measures yield new exceptional sets for wave-equation time regularity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Mixed-norm estimates hold for circular averages with respect to α-dimensional fractal measures on R²; the estimates are sharp for α ≤ 1 and improve previous results for α in (3/2, 2]. These estimates imply new exceptional-set bounds on the radial integrability of Lebesgue-space functions and on the Hölder regularity in time of solutions to the linear wave equation.
What carries the argument
Circle-tangency bounds for α ∈ (0,1] together with the δ-discretized slicing lemma for fractals when α ∈ (1,2], used to control the mixed-norm behavior of the circular averages.
If this is right
- The size of the exceptional set where an L^p function fails to be radially integrable is controlled by the dimension α of the underlying fractal measure.
- Solutions to the two-dimensional linear wave equation satisfy Hölder continuity in time outside an exceptional set whose size depends on the initial data and on α.
- The estimates improve the range of α for which such mixed-norm bounds were previously known, specifically strengthening results in (3/2,2].
Where Pith is reading between the lines
- The same slicing and tangency techniques could be tested on other averaging operators such as spherical means in higher dimensions.
- The exceptional-set results may give quantitative control on pointwise convergence of Fourier integrals or on the regularity of solutions to other dispersive equations.
- If the slicing lemma can be strengthened, the range of α where the estimates are sharp might extend below 3/2.
Load-bearing premise
The circle-tangency bounds and δ-discretized slicing lemma apply directly to the fractal measures under consideration without extra geometric restrictions that would invalidate the estimates.
What would settle it
A concrete α-dimensional fractal measure for which the stated mixed-norm bound on circular averages fails, or a wave-equation solution whose time-Hölder regularity exceptional set exceeds the size predicted by the new estimates.
Figures
read the original abstract
We prove mixed-norm estimates for circular averages with respect to $\alpha$-dimensional fractal measures on $\mathbb{R}^2$, using circle tangency bounds when $\alpha \in (0,1]$ and a $\delta$-discretized slicing lemma for fractals when $\alpha \in (1,2]$. The former estimate is sharp, while the latter improves previous results for $\alpha \in (\frac{3}{2},2]$. These estimates can be viewed as X-ray-type extensions of Wolff's and Bourgain's circular maximal functions. As applications, we obtain new exceptional set estimates for the radial integrability of functions in Lebesgue spaces, as well as for the H\"older regularity in time of solutions to the linear wave equation on $\mathbb{R}^2$. The latter results are the first of their kind.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves mixed-norm estimates for circular averages with respect to α-dimensional fractal measures on R², employing circle tangency bounds for α ∈ (0,1] and a δ-discretized slicing lemma for α ∈ (1,2]. The former is sharp; the latter improves prior work for α ∈ (3/2,2]. These are applied to obtain new exceptional-set estimates for radial integrability of functions in Lebesgue spaces and for the temporal Hölder regularity of solutions to the linear wave equation on R², with the latter claimed to be the first results of their kind.
Significance. If the estimates are valid, the work extends the circular maximal-function theory of Wolff and Bourgain to weighted mixed norms and fractal measures, providing X-ray-type results. The applications yield quantitative control on exceptional sets for radial integrability and wave-equation regularity, which are presented as novel. The improvement in the range α ∈ (3/2,2] and the use of standard but carefully adapted tools (tangency and slicing) strengthen the contribution to harmonic analysis and dispersive PDEs.
minor comments (2)
- [Introduction] §1 (Introduction): the statement that the wave-equation results are 'the first of their kind' would benefit from a short comparison paragraph indicating the precise gap relative to existing exceptional-set results for the wave equation (e.g., those obtained via maximal-function bounds without fractal weights).
- [Section 2] The notation for the mixed-norm spaces (e.g., the precise definition of the weighted L^{p,q} norms with respect to the fractal measure μ) should be introduced explicitly before the statement of the main theorems to avoid ambiguity for readers.
Simulated Author's Rebuttal
We thank the referee for the positive summary of our results, the assessment of their significance in extending circular maximal function theory, and the recommendation of minor revision. No specific major comments or suggested changes were provided in the report.
Circularity Check
No significant circularity detected
full rationale
The paper's core estimates are derived from external tools (circle tangency bounds for α ∈ (0,1] and δ-discretized slicing lemma for α ∈ (1,2]), presented as standard in fractal maximal-function theory. No equations reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. Applications to exceptional sets and wave equation regularity follow directly once the estimates are obtained, with no renaming of known results or ansatz smuggling evident in the abstract or described chain.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption α-dimensional fractal measures on R² admit circle tangency bounds when α ≤ 1 and admit δ-discretized slicing when α > 1
Reference graph
Works this paper leans on
-
[1]
J. A. Barceló, J. Bennett, A. Carbery, and K. M. Rogers. On the dimension of divergence sets of dispersive equations.Math. Ann., 349(3):599–622, 2011. ISSN 0025-5831,1432-1807. doi: 10.1007/s00208-010-0529-z. URLhttps://doi.org/10.1007/s00208-010-0529-z
-
[2]
D. Beltran, R. Oberlin, L. Roncal, A. Seeger, and B. Stovall. Variation bounds for spherical averages.Math. Ann., 382(1-2):459–512, 2022. ISSN 0025-5831,1432-1807. doi: 10.1007/ s00208-021-02218-2. URLhttps://doi.org/10.1007/s00208-021-02218-2
-
[3]
A. Benedek and R. Panzone. The spaceL P, with mixed norm.Duke Math. J., 28(3): 301 – 324, 1961. doi: 10.1215/S0012-7094-61-02828-9. URLhttps://doi.org/10.1215/ S0012-7094-61-02828-9
-
[4]
J. Bergh and J. Löfström.Interpolation spaces. An introduction, volume No. 223 of Grundlehren der Mathematischen Wissenschaften. Springer-Verlag, Berlin-New York, 1976
work page 1976
-
[5]
A. S. Besicovitch and R. Rado. A plane set of measure zero containing circumferences of every radius.J. London Math. Soc., 43:717–719, 1968. ISSN 0024-6107,1469-7750. doi: 10.1112/jlms/s1-43.1.717. URLhttps://doi.org/10.1112/jlms/s1-43.1.717
-
[6]
L. Börjeson. Mixed norm estimates for certain means.Trans. Amer. Math. Soc., 309(2): 517–541, 1988. ISSN 0002-9947,1088-6850. doi: 10.2307/2000923. URLhttps://doi.org/ 10.2307/2000923. 40 YIXUAN PANG AND CHENJIAN W ANG
-
[7]
J. Bourgain. Averages in the plane over convex curves and maximal operators.J. Analyse Math., 47:69–85, 1986. ISSN 0021-7670,1565-8538. doi: 10.1007/BF02792533. URLhttps: //doi.org/10.1007/BF02792533
-
[8]
A. Chang, G. Dosidis, and J. Kim. Nikodym sets and maximal functions associated with spheres.Rev. Mat. Iberoam., 41(3):1009–1056, 2025. ISSN 0213-2230,2235-0616. doi: 10. 4171/rmi/1519. URLhttps://doi.org/10.4171/rmi/1519
-
[9]
C.-H. Cho, S. Ham, and S. Lee. Fractal Strichartz estimate for the wave equation.Nonlinear Anal., 150:61–75, 2017. ISSN 0362-546X,1873-5215. doi: 10.1016/j.na.2016.11.006. URL https://doi.org/10.1016/j.na.2016.11.006
-
[10]
C. Demeter and H. Wang. Szemerédi-Trotter bounds for tubes and applications.Ars Inven. Anal., pages Paper No. 1, 46, 2025. ISSN 2769-8505
work page 2025
-
[11]
SharpL 2 estimates of the Schr¨ odinger maximal function in higher dimensions.Ann
X. Du and R. Zhang. SharpL 2 estimates of the Schrödinger maximal function in higher dimensions.Ann. of Math. (2), 189(3):837–861, 2019. ISSN 0003-486X,1939-8980. doi: 10.4007/annals.2019.189.3.4. URLhttps://doi.org/10.4007/annals.2019.189.3.4
-
[12]
D. Eceizabarrena and F. Ponce-Vanegas. Counterexamples for the fractal Schrödinger con- vergence problem with an intermediate space trick.Commun. Pure Appl. Anal., 21(11): 3777–3812, 2022. ISSN 1534-0392,1553-5258. doi: 10.3934/cpaa.2022122. URLhttps: //doi.org/10.3934/cpaa.2022122
-
[13]
L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2010. ISBN 978-0-8218- 4974-3. doi: 10.1090/gsm/019. URLhttps://doi.org/10.1090/gsm/019
-
[14]
R. Gorenflo and S. Vessella.Abel integral equations, volume 1461 ofLecture Notes in Mathe- matics. Springer-Verlag, Berlin, 1991. ISBN 3-540-53668-X. doi: 10.1007/BFb0084665. URL https://doi.org/10.1007/BFb0084665. Analysis and applications
-
[15]
L. Guth, H. Wang, and R. Zhang. A sharp square function estimate for the cone inR3.Ann. of Math. (2), 192(2):551–581, 2020. ISSN 0003-486X,1939-8980. doi: 10.4007/annals.2020. 192.2.6. URLhttps://doi.org/10.4007/annals.2020.192.2.6
-
[16]
S. Ham, H. Ko, and S. Lee. Circular average relative to fractal measures.Commun. Pure Appl. Anal., 21(10):3283–3307, 2022. ISSN 1534-0392,1553-5258. doi: 10.3934/cpaa.2022100. URLhttps://doi.org/10.3934/cpaa.2022100
-
[17]
S. Ham, H. Ko, and S. Lee. Dimension of divergence set of the wave equation.Nonlinear Anal., 215:Paper No. 112631, 10, 2022. ISSN 0362-546X,1873-5215. doi: 10.1016/j.na.2021.112631. URLhttps://doi.org/10.1016/j.na.2021.112631
-
[18]
J. Hickman and A. Jančar. Spherical maximal estimates via geometry.Colloq. Math., 178 (1):97–112, 2025. ISSN 0010-1354,1730-6302. doi: 10.4064/cm9548-4-2025. URLhttps: //doi.org/10.4064/cm9548-4-2025
-
[19]
T. Hytönen, J. van Neerven, M. Veraar, and L. Weis.Analysis in Banach spaces. Vol. I. Martingales and Littlewood-Paley theory, volume 63 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Cham,
-
[20]
ISBN 978-3-319-48519-5; 978-3-319-48520-1
-
[21]
A. Iosevich, B. Krause, E. Sawyer, K. Taylor, and I. Uriarte-Tuero. Maximal opera- tors: scales, curvature and the fractal dimension.Anal. Math., 45(1):63–86, 2019. ISSN 0133-3852,1588-273X. doi: 10.1007/s10476-018-0307-9. URLhttps://doi.org/10.1007/ s10476-018-0307-9
-
[22]
N. H. Katz, I. Łaba, and T. Tao. An improved bound on the Minkowski dimension of Besicovitch sets inR3.Ann. of Math. (2), 152(2):383–446, 2000. ISSN 0003-486X,1939-8980. doi: 10.2307/2661389. URLhttps://doi.org/10.2307/2661389. WEIGHTED MIXED-NORM ESTIMATES FOR CIRCULAR A VERAGES 41
-
[23]
J. R. Kinney. A Thin Set of Circles.Amer. Math. Monthly, 75(10):1077–1081, 1968. ISSN 0002-9890,1930-0972. doi: 10.2307/2315733. URLhttps://doi.org/10.2307/2315733
-
[24]
L. Kolasa and T. H. Wolff. On some variants of the Kakeya problem.Pacific J. Math., 190(1):111–154, 1999. ISSN 0030-8730,1945-5844. doi: 10.2140/pjm.1999.190.111. URL https://doi.org/10.2140/pjm.1999.190.111
-
[25]
I. Łaba and T. Tao. An improved bound for the Minkowski dimension of Besicovitch sets in medium dimension.Geom. Funct. Anal., 11(4):773–806, 2001. ISSN 1016-443X,1420-8970. doi: 10.1007/PL00001685. URLhttps://doi.org/10.1007/PL00001685
-
[26]
I. Łaba and T. Tao. An x-ray transform estimate inRn.Rev. Mat. Iberoamericana, 17(2): 375–407, 2001. ISSN 0213-2230. doi: 10.4171/RMI/298. URLhttps://doi.org/10.4171/ RMI/298
- [27]
-
[28]
S. Lee. Endpoint estimates for the circular maximal function.Proc. Amer. Math. Soc., 131 (5):1433–1442, 2003. ISSN 0002-9939,1088-6826. doi: 10.1090/S0002-9939-02-06781-3. URL https://doi.org/10.1090/S0002-9939-02-06781-3
- [29]
-
[30]
B. Liu. AnL 2-identity and pinned distance problem.Geom. Funct. Anal., 29(1):283–294,
-
[31]
doi: 10.1007/s00039-019-00482-8
ISSN 1016-443X,1420-8970. doi: 10.1007/s00039-019-00482-8. URLhttps://doi. org/10.1007/s00039-019-00482-8
-
[32]
R. Lucà and K. M. Rogers. Average decay of the Fourier transform of measures with appli- cations.J. Eur. Math. Soc. (JEMS), 21(2):465–506, 2019. ISSN 1435-9855,1435-9863. doi: 10.4171/JEMS/842. URLhttps://doi.org/10.4171/JEMS/842
-
[33]
J. M. Marstrand. Packing circles in the plane.Proc. London Math. Soc. (3), 55(1):37–58,
-
[34]
ISSN 0024-6115,1460-244X. doi: 10.1112/plms/s3-55.1.37. URLhttps://doi.org/ 10.1112/plms/s3-55.1.37
-
[35]
P. Mattila. Integral geometric properties of capacities.Trans. Amer. Math. Soc., 266(2): 539–554, 1981. ISSN 0002-9947,1088-6850. doi: 10.2307/1998439. URLhttps://doi.org/ 10.2307/1998439
-
[36]
Cambridge University Press, Cambridge, 2015
P.Mattila.Fourier analysis and Hausdorff dimension, volume150ofCambridge Studies in Ad- vanced Mathematics. Cambridge University Press, Cambridge, 2015. ISBN 978-1-107-10735-9. doi: 10.1017/CBO9781316227619. URLhttps://doi.org/10.1017/CBO9781316227619
-
[37]
T. Mitsis. On a problem related to sphere and circle packing.J. London Math. Soc. (2), 60(2):501–516, 1999. ISSN 0024-6107,1469-7750. doi: 10.1112/S0024610799007838. URL https://doi.org/10.1112/S0024610799007838
-
[38]
G. Mockenhaupt, A. Seeger, and C. D. Sogge. Wave front sets, local smoothing and Bourgain’s circular maximal theorem.Ann. of Math. (2), 136(1):207–218, 1992. ISSN 0003-486X,1939-
work page 1992
-
[39]
URLhttps://doi.org/10.2307/2946549
doi: 10.2307/2946549. URLhttps://doi.org/10.2307/2946549
-
[40]
D. M. Oberlin. Packing spheres and fractal Strichartz estimates inR d fordě3.Proc. Amer. Math. Soc., 134(11):3201–3209, 2006. ISSN 0002-9939,1088-6826. doi: 10.1090/ S0002-9939-06-08356-0. URLhttps://doi.org/10.1090/S0002-9939-06-08356-0
-
[41]
D. M. Oberlin. Restricted Radon transforms and unions of hyperplanes.Rev. Mat. Iberoam., 22(3):977–992, 2006. ISSN 0213-2230,2235-0616. doi: 10.4171/RMI/481. URLhttps://doi. org/10.4171/RMI/481
- [42]
-
[43]
D. M. Oberlin. Restricted Radon transforms and projections of planar sets.Canad. Math. Bull., 55(4):815–820, 2012. ISSN 0008-4395,1496-4287. doi: 10.4153/CMB-2011-064-6. URL https://doi.org/10.4153/CMB-2011-064-6
-
[44]
D. M. Oberlin and R. Oberlin. Spherical means and pinned distance sets.Commun. Korean Math. Soc., 30(1):23–34, 2015. ISSN 1225-1763,2234-3024. doi: 10.4134/CKMS.2015.30.1.023. URLhttps://doi.org/10.4134/CKMS.2015.30.1.023
-
[45]
D. M. Oberlin and E. M. Stein. Mapping properties of the Radon transform.Indiana Univ. Math. J., 31(5):641–650, 1982. ISSN 0022-2518,1943-5258. doi: 10.1512/iumj.1982.31.31046. URLhttps://doi.org/10.1512/iumj.1982.31.31046
-
[46]
Y. Peres and P. Shmerkin. Resonance between Cantor sets.Ergodic Theory Dynam. Systems, 29(1):201–221, 2009. ISSN 0143-3857,1469-4417. doi: 10.1017/S0143385708000369. URL https://doi.org/10.1017/S0143385708000369
-
[47]
J. Peyrière and P. Sjölin. Regularity of spherical means.Ark. Mat., 16(1):117–126, 1978. ISSN 0004-2080,1871-2487. doi: 10.1007/BF02385987. URLhttps://doi.org/10.1007/ BF02385987
-
[48]
A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem inR 3
M. Pramanik, T. Yang, and J. Zahl. A Furstenberg-type problem for circles, and a Kaufman- type restricted projection theorem inR3.arXiv preprint arXiv:2207.02259, 2024
-
[49]
W. Schlag. A generalization of Bourgain’s circular maximal theorem.J. Amer. Math. Soc., 10(1):103–122, 1997. ISSN 0894-0347,1088-6834. doi: 10.1090/S0894-0347-97-00217-8. URL https://doi.org/10.1090/S0894-0347-97-00217-8
-
[50]
W. Schlag. A geometric proof of the circular maximal theorem.Duke Math. J., 93(3):505– 533, 1998. ISSN 0012-7094,1547-7398. doi: 10.1215/S0012-7094-98-09318-8. URLhttps: //doi.org/10.1215/S0012-7094-98-09318-8
-
[51]
W. Schlag. On continuum incidence problems related to harmonic analysis.J. Funct. Anal., 201(2):480–521, 2003. ISSN 0022-1236,1096-0783. doi: 10.1016/S0022-1236(03)00081-8. URL https://doi.org/10.1016/S0022-1236(03)00081-8
-
[52]
W. Schlag and C. D. Sogge. Local smoothing estimates related to the circular maximal theorem.Math. Res. Lett., 4(1):1–15, 1997. ISSN 1073-2780. doi: 10.4310/MRL.1997.v4.n1. a1. URLhttps://doi.org/10.4310/MRL.1997.v4.n1.a1
- [53]
-
[54]
P. Sjölin. Regularity and integrability of spherical means.Monatsh. Math., 96(4):277–291,
-
[55]
ISSN 0026-9255,1436-5081. doi: 10.1007/BF01471211. URLhttps://doi.org/10. 1007/BF01471211
-
[56]
P. Sjölin. Norm inequalities for spherical means.Monatsh. Math., 100(2):153–161, 1985. ISSN 0026-9255,1436-5081. doi: 10.1007/BF01295672. URLhttps://doi.org/10.1007/ BF01295672
-
[57]
C. D. Sogge. Propagation of singularities and maximal functions in the plane.Invent. Math., 104(2):349–376, 1991. ISSN 0020-9910,1432-1297. doi: 10.1007/BF01245080. URLhttps: //doi.org/10.1007/BF01245080
-
[58]
E. M. Stein. Maximal functions. I. Spherical means.Proc. Nat. Acad. Sci. U.S.A., 73(7): 2174–2175, 1976. ISSN 0027-8424. doi: 10.1073/pnas.73.7.2174. URLhttps://doi.org/10. 1073/pnas.73.7.2174
- [59]
-
[60]
T. Tao. Lecture notes 8 for 247b. Technical report, University of California at Los Angeles,
-
[61]
WEIGHTED MIXED-NORM ESTIMATES FOR CIRCULAR A VERAGES 43
URLhttps://www.math.ucla.edu/~tao/247b.1.07w/notes8.pdf. WEIGHTED MIXED-NORM ESTIMATES FOR CIRCULAR A VERAGES 43
-
[62]
H. Wang and J. Zahl. Sticky Kakeya sets and the sticky Kakeya conjecture.J. Amer. Math. Soc., 39(2):515–585, 2026. ISSN 0894-0347,1088-6834. doi: 10.1090/jams/1067. URL https://doi.org/10.1090/jams/1067
-
[63]
T. H. Wolff. A Kakeya-type problem for circles.Amer. J. Math., 119(5):985–1026, 1997. ISSN 0002-9327,1080-6377. URLhttp://muse.jhu.edu/journals/american_journal_of_ mathematics/v119/119.5wolff.pdf
work page 1997
-
[64]
T. H. Wolff. A mixed norm estimate for the X-ray transform.Rev. Mat. Iberoamericana, 14(3):561–600, 1998. ISSN 0213-2230. doi: 10.4171/RMI/245. URLhttps://doi.org/10. 4171/RMI/245
-
[65]
T. H. Wolff. Local smoothing type estimates onL p for largep.Geom. Funct. Anal., 10 (5):1237–1288, 2000. ISSN 1016-443X,1420-8970. doi: 10.1007/PL00001652. URLhttps: //doi.org/10.1007/PL00001652
-
[66]
T. H. Wolff, I. Łaba, and C. Shubin.Lectures on harmonic analysis, volume 29;29.;. American Mathematical Society, Providence, R.I, 2003. ISBN 9780821834497;0821834495
work page 2003
-
[67]
J. Zahl. On maximal functions associated to families of curves in the plane.Duke Math. J., 175(2):199–286, 2026. ISSN 0012-7094,1547-7398. doi: 10.1215/00127094-2025-0026. URL https://doi.org/10.1215/00127094-2025-0026. Department of Mathematics, University of Pennsyl v ania, Philadelphia, PA 19104, United States Email address:pyixuan@sas.upenn.edu Depart...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.