Optimal asymptotic analyses on Laguerre and Hermite orthogonal approximation for functions of algebraic and logarithmic regularitiesYali
Pith reviewed 2026-05-10 04:44 UTC · model grok-4.3
The pith
Optimal asymptotic estimates are derived for the decay of Laguerre and Hermite coefficients of functions with algebraic and logarithmic singularities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the Hilb-type formula and van der Corput-type lemmas, optimal asymptotic estimates are obtained for the decay of the Laguerre and Hermite coefficients of functions possessing algebraic and logarithmic regularities; these estimates directly determine the convergence rates of the corresponding spectral orthogonal projections.
What carries the argument
Hilb-type formula and van der Corput-type lemmas applied to the integrals that define the orthogonal coefficients for singular integrands.
If this is right
- The error of the Laguerre or Hermite spectral projection is bounded by an explicit rate that depends only on the type and strength of the singularity.
- The derived rates are sharp, as confirmed by the numerical verification examples in the paper.
- The same coefficient decay controls the accuracy of any truncated expansion or Galerkin scheme built on these orthogonal bases.
Where Pith is reading between the lines
- The approach supplies a template that could be reused for other classical orthogonal polynomial families once comparable asymptotic formulas are available.
- In applications that expand singular data in Laguerre or Hermite bases, the results give a direct way to choose the truncation degree needed for a target tolerance.
Load-bearing premise
The Hilb-type formula and van der Corput-type lemmas apply directly to the coefficient integrals and produce the sharpest decay rates possible for the algebraic and logarithmic singularities considered.
What would settle it
Numerical computation of the Laguerre or Hermite coefficients for a concrete test function such as x to a non-integer power times log x, followed by checking whether their magnitude for large degree follows the exact power-law decay predicted by the asymptotic formula.
Figures
read the original abstract
Based on the Hilb-type formula and van der Corput-type lemmas, we present optimal asymptotic estimates for the decay of the Laguerre and Hermite coefficients for functions with algebraic and logarithmic singularities, which in turn yield the convergence rates of the corresponding spectral orthogonal projections. Numerous examples are provided to verify the optimality of these asymptotic results.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript derives optimal asymptotic estimates for the decay rates of Laguerre and Hermite coefficients for functions possessing algebraic and logarithmic singularities. It invokes Hilb-type formulas to approximate the orthogonal polynomials and applies van der Corput-type lemmas to the resulting oscillatory integrals, thereby obtaining sharp coefficient decay and, from those, convergence rates for the associated spectral projections. Numerous examples are supplied to illustrate the optimality of the rates.
Significance. If the error analysis confirming that the Hilb approximation remainder is negligible relative to the leading term (particularly for logarithmic singularities) can be supplied, the results would furnish sharp, usable convergence rates for orthogonal polynomial approximations of functions with limited regularity at endpoints or infinity. This would be a useful addition to the literature on spectral methods for singular problems.
major comments (2)
- [Abstract and sections deriving the coefficient asymptotics] The central claim of optimality rests on substituting the Hilb-type formula into the coefficient integral and controlling the resulting oscillatory integral via a van der Corput-type lemma. For logarithmic singularities the amplitude is no longer a pure power and the phase derivatives may vanish or become unbounded near the singularity; the manuscript states that the lemmas are applied directly but supplies no separate error analysis showing that the approximation error is o of the main term for the precise singularity classes considered. This analysis is load-bearing for the asserted sharpness.
- [Abstract] The abstract asserts optimality via standard lemmas without exhibiting the explicit function definitions, the precise hypotheses under which the lemmas are invoked, or verification that no post-hoc restrictions on the singularity parameters were imposed to make the lemmas applicable. Without these, the support for the claim that the derived rates are optimal (rather than merely upper bounds) cannot be assessed.
minor comments (2)
- Clarify the precise locations of the singularities (at 0, at infinity, or both) for each class of test functions and state the admissible ranges of the algebraic and logarithmic exponents.
- Ensure that the statements of the Hilb-type formula and the van der Corput-type lemmas used are quoted with their exact hypotheses so that the reader can verify applicability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments, which help clarify the presentation of our asymptotic results. We address the major comments point by point below.
read point-by-point responses
-
Referee: [Abstract and sections deriving the coefficient asymptotics] The central claim of optimality rests on substituting the Hilb-type formula into the coefficient integral and controlling the resulting oscillatory integral via a van der Corput-type lemma. For logarithmic singularities the amplitude is no longer a pure power and the phase derivatives may vanish or become unbounded near the singularity; the manuscript states that the lemmas are applied directly but supplies no separate error analysis showing that the approximation error is o of the main term for the precise singularity classes considered. This analysis is load-bearing for the asserted sharpness.
Authors: We agree that a dedicated error analysis is required to confirm that the Hilb-type remainder is negligible compared to the leading term, especially for logarithmic singularities where the amplitude is not a pure power. In the revised manuscript we will insert a new subsection (in the section on coefficient asymptotics) that derives explicit bounds on the approximation error, showing it is o of the main oscillatory integral under the stated conditions on the singularity parameters. This will rigorously justify direct application of the van der Corput lemmas and preserve the claimed sharpness. revision: yes
-
Referee: [Abstract] The abstract asserts optimality via standard lemmas without exhibiting the explicit function definitions, the precise hypotheses under which the lemmas are invoked, or verification that no post-hoc restrictions on the singularity parameters were imposed to make the lemmas applicable. Without these, the support for the claim that the derived rates are optimal (rather than merely upper bounds) cannot be assessed.
Authors: The abstract is intentionally concise. The explicit function classes (algebraic singularities of the form x^alpha (log x)^beta near the relevant endpoints or infinity, with alpha > -1/2 and beta real), the precise statements of the Hilb-type formulas, and the hypotheses of the van der Corput lemmas (non-vanishing higher derivatives of the phase away from the singularity and controlled amplitude growth) are fully specified in Sections 2 and 3, with no additional restrictions imposed beyond those needed for the integrals to be well-defined. To improve accessibility we will revise the abstract to include a short clause referencing these sections and the range of admissible singularity parameters. revision: partial
Circularity Check
No circularity; derivation applies external classical lemmas (Hilb-type, van der Corput) to coefficient integrals
full rationale
The paper derives asymptotic decay rates for Laguerre/Hermite coefficients of functions with algebraic/logarithmic singularities by substituting the Hilb-type formula into the coefficient integral and controlling the resulting oscillatory integral via van der Corput-type lemmas. These are standard external results from approximation theory and oscillatory integral analysis, not defined, fitted, or justified inside the paper. No self-definitional steps, renamed known results, or load-bearing self-citations appear in the chain; the optimality claims rest on direct application of the cited lemmas to the target integrals, with examples provided for verification. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Hilb-type formula applies to the integrals arising from the Laguerre and Hermite coefficient expressions for the given singular functions
- domain assumption van der Corput-type lemmas provide sharp bounds on the oscillatory integrals for the algebraic and logarithmic phases considered
Reference graph
Works this paper leans on
-
[1]
M. Abramowitz, I.A. Stegun, Handbook of mathematical fu nctions with formulas, graphs, and mathematical tables, Dover Publications, Inc. , New Y ork, 1966
work page 1966
-
[2]
P . Agarwal, F. Qi, M. Chand, S. Jain, Certain integrals involving the generalized hyper- geometric function and the Laguerre polynomials, J. Comput . Appl. Math. 313 (2017) 307–317 . https: //doi.org/10.1016/j.cam.2016.09.034
-
[3]
Z. Avazzadeh, H. Hassani, P . Agarwal, S. Mehrabi, M.J. Eb adi, M.S. Dahaghin, An optimization method for studying fractional-order tube rculosis disease model via generalized Laguerre polynomials, Soft comput. 27(14) (2023) 9519–9531 . https://doi.org/10.1007/s00500-023-08086-z
-
[4]
Z. Avazzadeh, H. Hassani, M.J. Ebadi, P . Agarwal, M. Pour sadeghfard, E. Naraghirad, Optimal Approximation of Fractional Order Bra in Tumor Model Us- ing Generalized Laguerre Polynomials, Iran. J. Sci. 47(2) ( 2023) 501–513 . https://doi.org/10.1007/s40995-022-01388-1
-
[5]
Brezis, Functional analysis, Sobolev spaces and part ial di fferential equations, V ol
H. Brezis, Functional analysis, Sobolev spaces and part ial di fferential equations, V ol. 2. Springer, 2011
work page 2011
-
[6]
S. Chen, J. Shen, Log orthogonal functions in semi-infini te intervals: approx- imation results and applications, SIAM J. Numer. Anal. 61(1 ) (2023) 110–134. https://doi.org/10.1137/21M1466840
-
[7]
D. Colton, J. Wimp, Analytic solutions of the heat equati on and some formulas for Laguerre and Hermite polynomials, Complex V ar. Elliptic Equations 3(4) (1984) 397– 412 . https: //doi.org/10.1080/17476938408814079
-
[8]
D. Elliott, P . Tuan, Asymptotic estimates of Fourier coe fficients, SIAM J. Math. Anal. 5(1) (1974) 1–10. https: //doi.org/10.1137/0505001
-
[9]
D. Funaro, O. Kavian, Approximation of some di ffusion evolution equations in unbounded domains by Hermite functions, Math. Comp. 57(196 ) (1991) 597–619. https://doi.org/10.1090/S0025-5718-1991-1094949-X 29
-
[10]
A.G. Fatyanov, A.V . Terekhov, High-performance model ing acoustic and elastic waves using the Parallel Dichotomy Algorithm, J. Comput. Ph ys. 230(5) (2011) 1992–
work page 2011
-
[11]
https://doi.org/10.1016/j.jcp.2010.11.046
-
[12]
A. Gil, J. Segura, N.M. Temme, Asymptotic approximatio ns to the nodes and weights of Gauss-Hermite and Gauss-Laguerre quadratures, Stud. Ap pl. Math. 140(3) (2018) 298–332. https: //doi.org/10.1111/sapm.12201
- [13]
-
[14]
H. Hassani, Z. Avazzadeh, P . Agarwal, S. Mehrabi, M. Eba di, M.S. Dahaghin, E. Naraghirad, A study on fractional tumor-immune interactio n model related to lung can- cer via generalized Laguerre polynomials, BMC Med. Res. Met hodol. 23(1) (2023)
work page 2023
-
[15]
https://doi.org/10.1186/s12874-023-02006-3
-
[16]
J.A. Jo, Q. Fang, T. Papaioannou, J.D. Baker, A.H. Doraf shar, T. Reil, J.H. Qiao, M.C. Fishbein, J.A. Freischlag, L. Marcu, Laguerre-b ased method for anal- ysis of time-resolved fluorescence data: application to in- vivo characterization and diagnosis of atherosclerotic lesions, J. Biomed. Opt. 1 1(2) (2006) 021004. https://doi.org/10.1117/1.2186045
-
[17]
A.F. Mastryukov, B.G. Mikhailenko, Numerical solutio n of Maxwell’s equations for anisotropic media using the Laguerre transform, Russ. Geol . Geophys. 49(8) (2008) 621–627. https: //doi.org/10.1016/j.rgg.2007.12.011
-
[18]
B.G. Mikhailenko, Spectral Laguerre method for the app roximate solu- tion of time dependent problems, Appl. Math. Lett. 12(4) (19 99) 105–110. https://doi.org/10.1016/S0893-9659(99)00043-9
-
[19]
J.C. Prajapati, N.K. Ajudia, P . Agarwal, Some results d ue to Konhauser polynomials of first kind and Laguerre polynomials, Appl. Math. Comput. 2 47 (2014) 639–650. https://doi.org/10.1016/j.amc.2014.09.020
-
[20]
J.W. Schumer, J.P . Holloway, Vlasov simulations using velocity- scaled Hermite representations, J. Comput. Phys. 144(2) (1 998) 626–661. https://doi.org/10.1006/jcph.1998.5925
-
[21]
J. Shen, L.-L. Wang, Some recent advances on spectral me thods for unbounded do- mains, Commun. Comput. Phys. 5(2-4) (2009) 195–241. 30
work page 2009
-
[22]
J. Shen, T. Tang, L.-L. Wang, Spectral methods: algorit hms, analysis and applica- tions, Springer Science & Business Media, 2011
work page 2011
-
[23]
Szeg ˝o, Orthogonal polynomials, American Mathematical Society , 1939
G. Szeg ˝o, Orthogonal polynomials, American Mathematical Society , 1939
work page 1939
-
[24]
A.V . Terekhov, A fast parallel algorithm for solving bl ock-tridiagonal systems of linear equations including the domain decomposition metho d, Parallel Comput. 39(6-
-
[25]
https: //doi.org/10.1016/j.parco.2013.03.003
(2013) 245–258. https: //doi.org/10.1016/j.parco.2013.03.003
-
[26]
Wang, Convergence analysis of Laguerre approximati ons for analytic functions, Math
H. Wang, Convergence analysis of Laguerre approximati ons for analytic functions, Math. Comput. 93(350) (2024) 2861–2884. https: //doi.org/10.48550/arXiv.2304.05744
-
[27]
H. Wang, L. Zhang, Convergence analysis of Hermite appr oximations for analytic functions, Math. Comput.. https: //doi.org/10.48550/arXiv.2312.07940
-
[28]
Xiang, Numerical analysis of a fast integration meth od for highly oscillatory functions, BIT Numer
S. Xiang, Numerical analysis of a fast integration meth od for highly oscillatory functions, BIT Numer. Math. 47 (2007) 469–482. https: //doi.org/10.1007/s10543-007- 0127-y
-
[29]
S. Xiang, Asymptotics on Laguerre or Hermite polynomia l expansions and their applications in Gauss quadrature, J. Math. Anal. Appl. 393( 2) (2012) 434–444. https://doi.org/10.1016/j.jmaa.2012.03.056
-
[30]
S. Xiang, Convergence rates on spectral orthogonal pro jection approximation for functions of algebraic and logarithmatic regularities, SI AM J. Numer. Anal. 59(3) (2021) 1374–1398. https: //doi.org/10.1137/20M134407X
-
[31]
Y . Zhang, S. Xiang, D. Kong, On optimal convergence rate s of Laguerre polyno- mial expansions for piecewise functions, J. Comput. Appl. M ath. 425 (2023) 115053. https://doi.org/10.1016/j.cam.2022.115053
-
[32]
Y . Zhang, S. Xiang, D. Kong, Optimal pointwise error est imates for piecewise func- tions expanded with Laguerre polynomials, J. Comput. Appl. Math. 443 (2024) 115749. https://doi.org/10.1016/j.cam.2023.115749 31
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.