REVIEW 3 major objections 5 minor 50 references
Almost everywhere convergence of Bochner-Riesz means for the Hermite type Laguerre expansions
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For Hermite-type Laguerre expansions, Bochner-Riesz means converge almost everywhere precisely when the summability exponent exceeds λ(p)/2 — half the classical L^p index.
desk verdict Plausible new sufficiency result for a.e. convergence of Laguerre Bochner-Riesz means, but the claimed sharp converse rests on a monotonicity error and needs major revision before the sharpness claim is credible. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine of the proof is the maximal Bochner-Riesz operator S_*^λ(L^α)f(x)=sup_{R>0}|S_R^λ(L^α)f(x)|, bounded on the weighted space $L^{2}$(ℝ_+^d,(1+|x|)^{−β}) when λ>max{(β−1)/4,0}. To prove that bound, the paper decomposes the means into dyadic frequency pieces and reduces the maximal operator to a square function; two auxiliary estimates carry the argument, a trace-type bound on the spectral projections P_n^α with weight (1+|x|)^{−β}, and a weighted bound for the negative powers (1+L^α)^{−β} obtained from the heat kernel of L^α. The lower bound uses functions built from the Laguerre generating function so that their spectral projections are concentrated on a fixed annulus, mimicking eigenfunctions of L^α there.
What would settle it
Compute T_k=$c2^{{-k}}$$μ_k^{{-λ+λ(p)/2}}$ with μ_k∼$2^{{2k}}$: T_k=$c2^{{-k(λ(p)-2λ+1)}}$→0, so the sets E_k grow with k rather than shrink; if a direct evaluation of sup_R |S_R^λ f| on E for the constructed f shows it is finite a.e. for some λ<λ(p)/2, the sharpness claim is false.
Extended reading notes
Core claim
The central discovery is a sharp threshold phenomenon for almost everywhere convergence of Bochner-Riesz means associated with the Hermite-Laguerre operator L^α=−Δ+|x|^2+∑($α_j^{2}$−1/4)/$x_j^{2}$ on the half-space ℝ_+^d. Theorem 1.1 asserts that for α∈[−1/2,∞)^d and 2≤p<∞, lim_{R→∞} S_R^λ(L^α)f=f a.e. for every f∈L^p whenever λ>λ(p)/2, while for p>2d/(d−1) and λ<λ(p)/2 there are functions whose maximal means are infinite on a set of positive measure. The sufficiency is proved through a weighted $L^{2}$ maximal estimate (Theorem 1.2), and the paper argues the index λ(p)/2 is sharp by constructing counterexamples from the generating function of Laguerre polynomials. The paper's framing is that the inverse-square potential is a small perturbation of the harmonic oscillator in the spectral sense, leaving the critical a.e. summability index unchanged.
Load-bearing premise
The necessity proof assumes the sets E_k = {x∈E: S_*^λ f(x) ≥ c $2^{{-k}}$ $μ_k^{{-λ+λ(p)/2}}$} form a decreasing family shrinking to {S_*^λ f = ∞}; with μ_k∼$2^{{2k}}$ and λ<λ(p)/2 this threshold actually decreases, so the sets increase and the intersection argument as written does not yield divergence.
Editorial extensions
If this is right
- For d=1 the theorem gives a.e. convergence for every λ>0 and every p≥2, with no gap between sufficiency and necessity since λ(p)=0.
- For all α∈[−1/2,∞)^d and p≥2, the summability index for a.e. convergence is λ(p)/2, exactly half the index needed for L^p convergence of the same means.
- Taking α_j=±1/2 recovers the known Hermite-operator result and shows the index is insensitive to turning on inverse-square potentials.
- The weighted maximal estimate yields a.e. convergence for weighted L^2, then by embedding for all L^p with p≥2.
- When λ<λ(p)/2 and p>2d/(d−1), there exist L^p functions for which the maximal means blow up on a set of positive measure, so no smaller index can work.
Reading between the lines
- The proof's necessity part, as printed, relies on the sets E_k being decreasing; with the stated threshold and μ_k∼2^{2k} they are increasing, so the negative-index conclusion needs an additional argument beyond what is written.
- A repaired necessity argument might replace the decreasing-family claim by a limsup of increasing sets, which could still prove divergence if the union has positive measure.
- If the same half-index mechanism holds for other Schrödinger operators with discrete spectra bounded away from zero, the trace-and-square-function route may transfer to more general confining potentials; this extrapolation is not in the paper.
- The endpoint λ=λ(p)/2 is left open: the stated results concern strict inequality and do not decide convergence at the critical index itself.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies almost everywhere convergence of Bochner-Riesz means for Hermite-type Laguerre operators L^α on R_+^d, with α∈[-1/2,∞)^d. The main result, Theorem 1.1, asserts that for 2≤p<∞ and λ≥0, the means S_R^λ(L^α)f converge to f a.e. for every f∈L^p whenever λ>λ(p)/2, and that convergence fails for λ<λ(p)/2 when 2d/(d-1)<p<∞, where λ(p)=max{d(1/2-1/p)-1/2,0}. The sufficiency is derived from a weighted L^2 maximal estimate (Theorem 1.2), which is proved through a square-function estimate (Proposition 3.1) using heat-kernel bounds, negative-power estimates, and a generalized trace lemma (Lemma 2.8). The necessity is approached by constructing functions from Laguerre generating functions, following the strategy of [21], and showing that the maximal operator is infinite on a set of positive measure.
Significance. If the result were correct, it would be a meaningful extension of the Hermite-operator results of [5] and the twisted-Laplacian results of [21] to the full Laguerre parameter range, showing that the critical summability index for a.e. convergence is λ(p)/2 and that inverse-square potential perturbations do not alter it. The paper contains useful technical contributions, particularly the detailed kernel estimates for negative powers of L^α via the heat semigroup and the derivation of the critical index without free parameters. However, the necessity proof contains a monotonicity error that invalidates the converse statement of Theorem 1.1 as written, and the sufficiency argument rests on several substantial lemmas whose proofs are omitted. The advertised sharpness claim is therefore not established.
major comments (3)
- [Section 4, Proof of Proposition 4.1] The assertion that the sets E_k are decreasing and converge to E={S_*^λ f=∞} is incorrect. With μ_k∼2^{2k}, the threshold defining E_k is c 2^{-k} μ_k^{-λ+λ(p)/2}=c 2^{k(λ(p)-2λ-1)}. For d=2 and d=3 the exponent λ(p)-2λ-1 is always negative when λ<λ(p)/2; for d≥4 it is negative for λ near λ(p)/2 but positive for small λ (e.g., d=4, p=∞, λ=0 gives exponent 1/2). When the exponent is negative, the threshold decreases with k, so E_k is increasing, not decreasing, and the union of the E_k is contained in {S_*^λ f>0}, not in {S_*^λ f=∞}. Consequently the estimate |E_k|≥C_0 obtained from (4.5) and the inclusion (4.13) does not imply the positive-measure divergence set (1.11). This invalidates the necessity half of Theorem 1.1 for the full stated range.
- [Section 3.1, Eq. (3.4)] The quantity A^ε_{β,d}(δ) is defined only for 0≤β≤1 when d=1 and for 1<β<d when d≥2, yet Proposition 3.1 and Theorem 1.2 are stated for all 0≤β<d. In particular, for d≥2 and 0≤β≤1, the case needed for the embedding L^p↪L^2((1+|x|)^{-β}) when p is close to 2, the definition gives no value. The proof mentions that the range is extended by interpolation, but no definition of A^ε_{β,d}(δ) on the missing interval is supplied, leaving a central statement incomplete.
- [Section 2, Lemma 2.8 and Proposition 2.3] Lemma 2.8 (the generalized trace lemma) is stated with its proof omitted entirely, with only the remark that the proof in [5] extends to this setting; Proposition 2.3 (the Littlewood-Paley inequality) is likewise only referenced. These results are load-bearing: Lemma 2.8 is used to prove the square-function estimates (3.13) and (3.14), and Proposition 2.3 is used to close (3.41). The adaptation to the Laguerre operator with inverse-square potentials and general α∈[-1/2,∞)^d is not a purely notational change, so the sufficiency argument currently rests on unverified assertions.
minor comments (5)
- [Abstract and Section 1] In the formula for L^α, the index j is used in (α_j^2-1/4) while the denominator is x_i^2; the index should be i.
- [Section 1.2] The notation |α|_1 for the coordinate sum Σ α_i, which may be negative, is nonstandard and easily confused with an L^1 norm; a different symbol would avoid ambiguity.
- [Section 3.4, after (3.37)] The sentence 'we thus deduce from (3.31), (3.37) and (3.37)' should refer to (3.31), (3.36), and (3.37).
- [Lemma 4.2, Eq. (4.6)] The exponent in (4.6) writes |α| without a subscript; it should be |α|_1.
- [Section 2, Eq. (2.4)] The reference '[35, 41, Chapter]' is incomplete; a precise chapter or theorem number is needed.
Circularity Check
No significant circularity; the critical summability index is derived from independent weighted maximal and square-function estimates, and the necessity counterexample is constructed, not fitted.
full rationale
The paper's derivation chain does not reduce any claimed prediction to an input. In the sufficiency direction, Theorem 1.1 follows from Theorem 1.2 by optimizing the weighted L^2 maximal estimate after the embedding L^p(R_+^d) into L^2(R_+^d,(1+|x|)^{-\beta}) for \beta>d(1-2/p); the threshold max{(\beta-1)/4,0} emerges from the square-function estimate Proposition 3.1, whose proof uses the independent kernel bound Lemma 2.4, the trace Lemma 2.6, and Lemma 2.8. The necessity direction is an explicit counterexample construction: Lemma 4.2 produces functions whose spectral projections are large on a fixed set, using the Laguerre generating function and stationary-phase estimates, and the exponent \lambda(p)/2 in (4.5) comes from normalizing \|g_k\|_{L^p}, not from fitting a parameter to the desired conclusion. No step defines the Bochner-Riesz means in terms of the a.e. convergence condition, and no critical index is imported as the target of the proof. The paper frequently cites [5] and [21], but these are external works with no author overlap, and the cited tools (finite speed of propagation, Littlewood-Paley inequalities, generalized trace estimates, square-function estimates) are general spectral multiplier results rather than the paper's own theorem. Omitted proofs, such as those of Proposition 2.3 and Lemma 2.8, are derivation gaps, not circular reductions. The question raised about the monotonicity of E_k in Proposition 4.1 is a potential correctness issue in a measure-theoretic limiting argument, not an instance of circularity, since the threshold c2^{-k}\mu_k^{-\lambda+\lambda(p)/2} is not an input carrying the desired conclusion. Accordingly, no circular step is exhibited and the appropriate score is 0.
Assumptions & free parameters
assumptions (4)
- standard math Heat kernel Gaussian upper bound K^α_t(x,y) ≤ C W_t(x-y) (Proposition 2.1)
- standard math Littlewood-Paley estimate (2.4) for L^α with A2 weight (1+|x|)^β, -d<β<d
- ad hoc to paper Generalized trace lemma Lemma 2.8: weighted L^2 bounds (2.43)-(2.44) for F(√L^α) hold with the stated N_{2,q} norms
- standard math Laguerre asymptotics (Lemma 2.7, from [47, Theorem 1.5.3])
Cite this review
Pith. "Pith review of Almost everywhere convergence of Bochner-Riesz means for the Hermite type Laguerre expansions." pith.science (2026). https://pith.science/paper/6TR6HCSV
@misc{pith2026250616958,
author = {Pith},
title = {Pith review of: Almost everywhere convergence of Bochner-Riesz means for the Hermite type Laguerre expansions},
year = {2026},
howpublished = {\url{https://pith.science/paper/6TR6HCSV}},
note = {Machine review of arXiv:2506.16958}
}
abstract
Consider the space $\mathbb{R}_+^d=(0,\infty)^d$ equipped with Euclidean distance and the Lebesgue measure. For every $\alpha=(\alpha_1,...,\alpha_d)\in[-1/2,\infty)^d$, we consider the Hermite-Laguerre operator $\mathcal{L}^\alpha=-\Delta+\arrowvert x\arrowvert^2+\sum_{i=1}^{d}(\alpha_j^2-\frac{1}{4})\frac{1}{x_i^2}$. In this paper we study almost everywhere convergence of the Bochner-Riesz means associated with $\mathcal{L}^\alpha$ which is defined as $S_R^{\lambda}(\mathcal{L}^\alpha)f(x)=\sum_{n=0}^{\infty}(1-\frac{4n+2\arrowvert\alpha\arrowvert_1+2d}{R^2})_{+}^{\lambda}\mathcal{P}_nf(x)$. Here $\mathcal{P}_nf(x)$ is the n-th Laguerre spectral projection operator and $\arrowvert\alpha\arrowvert_1$ denotes $\sum_{i=1}^{d}\alpha_i$. For $2\leq p<\infty$, we prove that \[ \lim_{R \to \infty} S_R^{\lambda}(\mathcal{L}^\alpha)f = f \quad \text{a.e.} \] for all $f\in L^p({\mathbb{R}_+^d})$ provided that $\lambda>\lambda(p)/2$ and $\lambda(p)=\max\{d(1/2-1/p)-1/2,0\}$. Conversely, we show that the convergence generally fails if $\lambda<\lambda(p)/2$ in the sense that there exists $f\in L^p({\mathbb{R}_+^d})$ for $2d/(d-1)< p$ such that the convergence fails.
Reference graph
Works this paper leans on
-
[5]
Chen, P., Duong, X. T., He D., Lee S., Yan L.: Almost everywhere convergence of Bochner–Riesz means for the Hermite operators. Adv. Math. 392, 108042 (2021)
work page 2021
-
[21]
Jeong, E., Lee, S., Ryu, J.: Almost everywhere convergence of Bochner-Riesz means for the twisted Laplacian. Trans. Amer. Math. Soc. 377, 6171–6194 (2024)
work page 2024
-
[1]
Annoni, M.: Almost everywhere convergence for modified Bochner-Riesz means at the critical index for𝑝≥2. Pac. J. Math. 286, 257–275 (2017)
work page 2017
-
[2]
C., Rodr´ ıguez-Mesa, L., Sanabria, A., Torrea, J
Betancor, J., Fari˜ na, J. C., Rodr´ ıguez-Mesa, L., Sanabria, A., Torrea, J. L.: Transference between Laguerre and Hermite settings. J. Funct. Anal. 254(3), 826–850 (2008)
work page 2008
-
[3]
Bourgain, J., Guth, L.: Bounds on oscillatory integral operators based on multilinear esti- mates. Geom. Funct. Anal. 21, 1239–1295 (2011)
work page 2011
-
[4]
L.: Sobolev spaces associated to the harmonic oscillator
Bongioanni, B., Torrea, J. L.: Sobolev spaces associated to the harmonic oscillator. Proc. Indian Acad. Sci. Math. Sci. 116, 337–360(2006)
work page 2006
-
[6]
Chen, P., Ouhabaz, E.M., Sikora, A., Yan, L.: Restriction estimates, sharp spectral multi- pliers and endpoint estimates for Bochner-Riesz means. J. Anal. Math. 129, 219–283 (2016)
work page 2016
-
[7]
Chen, P., Lee, S., Sikora, A., Yan, L.: Bounds on the maximal Bochner-Riesz means for elliptic operators. Trans. Am. Math. Soc. 373, 3793–3828 (2020)
work page 2020
Show all 50 references
-
[8]
Cowling, M., Sikora A.: A spectral multiplier theorem for a sublaplacian on SU(2). Math. Z. 238, 1–36(2001)
2001
-
[9]
Duke Math
Carbery, A.: The boundedness of the maximal Bochner-Riesz operator on L4(R2). Duke Math. J. 50, 409–416 (1983)
1983
-
[10]
L., Vega, L.: Almost everywhere summability of Fourier integrals
Carbery, A., Rubio de Francia, J. L., Vega, L.: Almost everywhere summability of Fourier integrals. J. Lond. Math. Soc. 38, 513–524 (1988)
1988
-
[11]
Carleson, L., Sj¨ olin, P.: Oscillatory integrals and a multiplier problem for the disc. Stud. Math. 44, 287–299 (1972)
1972
-
[12]
Christ, M.: On almost everywhere convergence for Bochner-Riesz means in higher dimen- sions. Proc. Am. Math. Soc. 95, 155–167 (1985)
1985
-
[13]
M., Sogge, C
Christ, F. M., Sogge, C. D.: The weak type𝐿 1 convergence of eigenfunction expansions for pseudo-differential operators. Invent. Math. 94, 421-453 (1988)
1988
-
[14]
T., Ouhabaz, E
Duong, X. T., Ouhabaz, E. M., Sikora, A.: Plancherel-type estimates and sharp spectral multipliers. J. Funct. Anal. 196, 443–485 (2002)
2002
-
[15]
B.: Real Analysis, Modern Techniques and Their Applications, 2nd end
Folland G. B.: Real Analysis, Modern Techniques and Their Applications, 2nd end. Wiley, New York (1984)
1984
-
[16]
Acta Math
Guth, L., Hickman, J., Iliopoulou M.: Sharp estimates for oscillatory integral operators via polynomial partitioning. Acta Math. 223 (2), 251–376 (2019)
2019
-
[17]
Guillarmou, C., Hassell A., Sikora A.: Restriction and spectral multiplier theorems on asymptotically conic manifolds. Anal. PDE 6, 893-950 (2013) 29
2013
-
[18]
Grafakos, L.: Classical Fourier Analysis, third edition, Graduate Texts in Mathematics. vol. 249, Springer, New York (2014)
2014
-
[19]
Herz, C.: On the mean inversion of Fourier and Hankel transform. Proc. Natl. Acad. Sci. USA 40, 996–999 (1954)
1954
-
[20]
Hofmann, S., Lu, G., Mitrea, D., Mitrea, M., Yan, L.: Hardy spaces associated to non- negative self-adjoint operators satisfying Davies-Gaffney estimates. Mem. Amer. Math. Soc. 214, no. 1007 (2011)
2011
-
[22]
To appear in J
Jeong, E., Lee, S., Ryu, J.: Endpoint eigenfunction bounds for the Hermite operator. To appear in J. Eur. Math. Soc. (JEMS). Available at: arXiv:2205.03036
-
[23]
Kenig, C., Stanton, R., Tomas, P.: Divergence of eigenfunction expansions. J. Funct. Anal. 46, 28-44 (1982)
1982
-
[24]
B.: Riesz summability of multiple Hermite series in𝐿 𝑝 spaces
Karadzhov G. B.: Riesz summability of multiple Hermite series in𝐿 𝑝 spaces. Math. Z. 219 (1995) 107–118
1995
-
[25]
Duke Math
Lee, S.: Improved bounds for Bochner-Riesz and maximal Bochner-Riesz operators. Duke Math. J. 122, 205–232 (2004)
2004
-
[26]
Lee, S.: Square function estimates for the Bochner-Riesz means. Anal. PDE 11, 1535–1586 (2018)
2018
-
[27]
Lee, S., Seeger, A.: On radial Fourier multipliers and almost everywhere convergence. J. Lond. Math. Soc. 91, 105–126 (2015)
2015
-
[28]
Lee, S., Ryu, J.: Bochner–Riesz means for the Hermite and special Hermite expansions. Adv. Math. 400, 108260 (2022)
2022
-
[29]
Li, X., Wu, S.: New estimates of maximal Bochner-Riesz operator in the plane. Math. Ann. 378 (3–4), 873–890 (2020)
2020
-
[30]
Markett, C.: Mean Ces´ aro summability of Laguerre expansions and norm estimates with shifted parameter, Anal. Math. 8, 19–37(1982)
1982
-
[31]
Available at: arXiv:2405.02531
Miao, C., Yan, L., Zhang, J.: Bochner-Riesz Means For Critical Magnetic Sch¨ odinger Op- erators inR 2. Available at: arXiv:2405.02531
-
[32]
Muscalu, C., Schlag, W.: Classical and Multilinear Harmonic Analysis. Vol. I, Cambridge Studies in Advanced Mathematics, vol. 137. Cambridge University Press, Cambridge (2013)
2013
-
[33]
Nowak, A., Stempak, K.: Riesz transforms and conjugacy for Laguerre function expansions of Hermite type. J. Funct. Anal. 244, 399–443 (2007)
2007
-
[34]
Nowak, A., Stempak, K.: Negative powers of Laguerre operators. Can. J. Math. 64, 183–216 (2012) 30
2012
-
[35]
M.: Harmonic analysis: real variable methods, orthogonality and oscillatory in- tegrals, with the assistance of Timothy S
Stein, E. M.: Harmonic analysis: real variable methods, orthogonality and oscillatory in- tegrals, with the assistance of Timothy S. Murphy, in: Monographs in Harmonic Analysis, III, in: Princeton Mathematical Series, vol. 43, Princeton University Press, Princeton, NJ (1993)
1993
-
[36]
M., Weiss G.: Introduction to Fourier Analysis on Euclidean Spaces
Stein, E. M., Weiss G.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton Univ. Press, Princeton, NJ (1971)
1971
-
[37]
D.: On the convergence of Riesz means on compact manifolds
Sogge, C. D.: On the convergence of Riesz means on compact manifolds. Ann. of Math. 126, 439–447 (1987)
1987
-
[38]
Sikora, A.: Riesz transform, Gaussian bounds and the method of wave equation. Math. Z., 247, 643-662 (2004)
2004
-
[39]
Stempak, K.: Almost everywhere summability of Laguerre series II. Stud. Math. 103 (3), 317-327 (1992)
1992
-
[40]
Indiana Univ
Tao, T.: The weak-type endpoint Bochner-Riesz conjecture and related topics. Indiana Univ. Math. J. 47, 1097–1124 (1998)
1998
-
[41]
Tao, T.: On the maximal Bochner-Riesz conjecture in the plane for p ¡ 2. Trans. Am. Math. Soc. 354 (5), 1947–1959 (2002)
2002
-
[42]
Birkh¨ auser Boston, Boston, MA, 217–243 (2004)
Tao, T.: Recent progress on the restriction conjecture, in: Fourier Analysis and Convexity. Birkh¨ auser Boston, Boston, MA, 217–243 (2004)
2004
-
[43]
Tao, T., Vargas A., Vega L.: A bilinear approach to the restriction and Kakeya conjecture. J. Am. Math. Soc. 11, 967–1000 (1998)
1998
-
[44]
Thangavelu, S.: Summability of Hermite expansions I. Trans. Am. Math. Soc. 314, 119–142 (1989)
1989
-
[45]
Thangavelu, S.: Summability of Hermite expansions II. Trans. Am. Math. Soc. 314, 143–170(1989)
1989
-
[46]
Duke Math
Thangavelu, S.: Hermite and special Hermite expansions revisited. Duke Math. J. 94, 257–278 (1998)
1998
-
[47]
Princeton Univ
Thangavelu, S.: Lecture on Hermite and Laguerre Expansions. Princeton Univ. Press, Princeton, NJ (1993) (with a preface by Robert S. Strichartz)
1993
-
[48]
Thangavelu, S.: Summability of Laguerre expansions. Anal. Math. 16, 303–315 (1990)
1990
-
[49]
Thangavelu, S.: On almost everywhere and mean convergence of Hermite and Laguerre expansions. Colloq. Math. 60/61, 21–34 (1990)
1990
-
[50]
Xu, Y.: A note on summability of Laguerre expansions. Proc. Am. Math. Soc. 128, 3571–3578 (2000) 31
2000
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.