arxiv: 2604.10115 · v1 · submitted 2026-04-11 · 🧮 math.SP · math.CA· math.CV

Recognition: unknown

Complex analytic theory of Sturm-Liouville operators with Schatten p-class resolvents

Guglielmo Fucci, Jonathan Stanfill, Mateusz Piorkowski

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

classification 🧮 math.SP math.CAmath.CV

keywords Sturm-Liouville operatorsSchatten p-class resolventsentire functions of finite orderspectral zeta functionsLiouville-Green asymptoticscharacteristic functionsasymptotics

0 comments

The pith

Sturm-Liouville solution asymptotics depend only on the largest integer p where the resolvent fails to be Schatten p-class.

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

The paper proves that the blowup or decay rates of solutions to the Sturm-Liouville eigenvalue equation for operators with Schatten p-class resolvents follow a universal form fixed exclusively by the largest integer 𝔭 such that the resolvent is not in the Schatten 𝔭-class. This dependence is established through the theory of entire functions of finite order. The result allows construction of a characteristic function of minimal order, which produces contour integral representations for spectral zeta-functions and yields new statements on Liouville-Green asymptotics plus spectral approximation by truncated regular problems.

Core claim

The general form of the asymptotics of solutions of the Sturm-Liouville eigenvalue equation depends exclusively on the largest integer 𝔭 such that the underlying resolvents fail to be in the Schatten 𝔭-class. This universal spectral dependence immediately yields a characteristic function of minimal order and contour integral representations of spectral zeta-functions for a broader class of problems.

What carries the argument

Application of the theory of entire functions of finite order to the solutions of the Sturm-Liouville eigenvalue equation, which isolates the dependence on the largest failing Schatten class index 𝔭.

Load-bearing premise

The theory of entire functions of finite order applies directly to the solutions of the Sturm-Liouville eigenvalue equation when the resolvents belong to Schatten p-classes.

What would settle it

A concrete Sturm-Liouville problem whose resolvents are in Schatten p-classes but whose solution asymptotics depend on more than just the largest failing integer p would falsify the claimed universal dependence.

Figures

Figures reproduced from arXiv: 2604.10115 by Guglielmo Fucci, Jonathan Stanfill, Mateusz Piorkowski.

**Figure 1.** Figure 1: Left: Plot of the functions fj (x) = ln(λj (x)−λj )−ln(λ1(x)−λ1) 2(λj−λ1) in the case of the truncated Laguerre problem with γ = 1, see Section 5.2, with j = 2 (blue), j = 4 (green), j = 8 (black), j = 16 (dark red) and j = 32 (purple). Here λj (x) are numerically computed Dirichlet eigenvalues for the problem restricted to (0, x) and λj = j − 1. As the problem has Hibert–Schmidt resolvents, and ζ(1; (0, x… view at source ↗

read the original abstract

We use the theory of entire functions of finite order to prove a universal spectral dependence of the blowup/decay rate of solutions of the Sturm-Liouville eigenvalue equation for problems with Schatten $p$-class resolvents. The general form of the asymptotics turns out to depend exclusively on the largest integer $\mathfrak{p}$ such that the underlying resolvents fail to be in the Schatten $\mathfrak{p}$-class. We then use the above result to construct a characteristic function of minimal order for Sturm-Liouville problems with Schatten $p$-class resolvents. This immediately yields contour integral representations of spectral $\zeta$-functions that were previously only known for quasi-regular problems (except for a few examples). We also demonstrate how our methods lead to new results in connection to important classic topics of Liouville-Green (or WKB) asymptotics and the approximation of the spectrum of singular problems via underlying truncated regular problems. All our applications are accompanied by illustrative examples, including the Airy differential equation, harmonic oscillator (and general power potentials), and the Laguerre differential equation.

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.

Desk Editor's Note private letter to a colleague

The paper links solution asymptotics for Sturm-Liouville problems directly to the critical Schatten index p, yielding minimal-order characteristic functions and zeta representations that extend beyond quasi-regular cases.

read the letter

The main takeaway is that the blowup or decay rates of solutions to the Sturm-Liouville eigenvalue equation depend only on the largest integer p such that the resolvent fails to be in the Schatten p-class. This lets the authors build a characteristic function of minimal order and obtain contour-integral formulas for the spectral zeta function, plus some WKB and truncation approximations. The examples with the Airy equation, harmonic oscillator, and Laguerre equation make the claims concrete and checkable. This is new relative to earlier work that handled only quasi-regular problems or isolated cases. The approach is straightforward once the entire-function order is fixed by p, and the applications to approximation of singular spectra by regular truncations look practical. The central step is the claim that the Schatten condition alone controls the order of the entire function y(x, λ) in the spectral parameter. The stress-test note is right to flag that this needs explicit growth estimates; if the full proofs supply bounds that do not require extra assumptions on the potential, the argument is solid. Otherwise the universal dependence on p alone could need qualification. No circularity appears in the setup, and the examples are independent enough to test the claims. This paper is for readers already working in spectral theory of singular differential operators who care about zeta functions or WKB extensions. A specialist in complex analysis and Sturm-Liouville theory will see the value quickly. It has enough specific results and worked examples that it deserves a serious referee rather than a desk reject. I would send it for peer review, with the main request being a clear derivation of the order from the Schatten decay.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a complex-analytic framework based on entire functions of finite order for Sturm-Liouville operators whose resolvents lie in Schatten p-classes. It proves that the blow-up/decay asymptotics of solutions to the eigenvalue equation depend exclusively on the largest integer 𝔭 such that the resolvent fails to belong to the Schatten 𝔭-class. The result is used to construct a characteristic function of minimal order, yielding contour-integral representations of spectral ζ-functions (previously known only for quasi-regular cases), together with new statements on Liouville-Green asymptotics and approximation of spectra of singular problems by truncated regular ones. The claims are illustrated by explicit examples including the Airy equation, the harmonic oscillator (and power potentials), and the Laguerre equation.

Significance. If the central growth estimates are supplied, the work supplies a unified, parameter-free description of spectral asymptotics for a broad family of singular Sturm-Liouville operators and extends contour-integral techniques for ζ-functions beyond the quasi-regular setting. The concrete examples and the link between Schatten indices and entire-function order constitute genuine strengths that could influence both abstract operator theory and concrete spectral computations.

major comments (2)

[Proof of the main asymptotic result (likely §3 or §4)] The central claim that the order of the entire function y(x,λ) is determined solely by 𝔭 rests on the assertion that the Schatten condition on the resolvent supplies the necessary growth bound. Standard SL theory only guarantees that y(x,λ) is entire of order 1/2 for L¹ potentials on finite intervals; an explicit estimate relating the singular-value decay of the resolvent (or Green’s function) to the precise exponential type or order of y(x,λ) must be given before the universality statement can be accepted. Without this step the dependence on 𝔭 alone remains an assumption rather than a theorem.
[Construction of the characteristic function and ζ-function representations] The construction of the “characteristic function of minimal order” is asserted to follow immediately from the asymptotic result. It is not shown whether this construction remains valid when the potential q is merely such that the resolvent is Schatten-class but not smoother; any hidden regularity assumption would undermine the claim that the order depends exclusively on 𝔭.

minor comments (2)

[Examples section] In the Laguerre and Airy examples, state explicitly how the Schatten index 𝔭 is computed from the known singular-value asymptotics of the resolvent.
[Notation and abstract] Notation for the largest integer 𝔭 should be introduced once and used consistently; currently the abstract and later sections appear to switch between p and 𝔭 without comment.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive evaluation of its significance. We address the two major comments below, providing clarifications on the proofs and indicating the revisions that will be incorporated to make the arguments fully explicit.

read point-by-point responses

Referee: [Proof of the main asymptotic result (likely §3 or §4)] The central claim that the order of the entire function y(x,λ) is determined solely by 𝔭 rests on the assertion that the Schatten condition on the resolvent supplies the necessary growth bound. Standard SL theory only guarantees that y(x,λ) is entire of order 1/2 for L¹ potentials on finite intervals; an explicit estimate relating the singular-value decay of the resolvent (or Green’s function) to the precise exponential type or order of y(x,λ) must be given before the universality statement can be accepted. Without this step the dependence on 𝔭 alone remains an assumption rather than a theorem.

Authors: We agree that an explicit link between the Schatten-class decay of the resolvent and the growth order of y(x,λ) must be supplied to render the argument self-contained. In the revised version we will insert a dedicated lemma (new Lemma 3.2) that derives the precise order bound from the p-norm of the resolvent via the integral kernel of the Green’s function. The argument proceeds by applying the singular-value estimates to control the L¹-norm of the kernel on compact subintervals and then invoking the standard growth estimates for solutions of second-order ODEs; this yields that the order of y(x,λ) equals 1/(2𝔭) and depends only on the critical index 𝔭. The new lemma will be placed immediately before the main asymptotic theorem, thereby converting the asserted dependence into a fully proved statement. revision: yes
Referee: [Construction of the characteristic function and ζ-function representations] The construction of the “characteristic function of minimal order” is asserted to follow immediately from the asymptotic result. It is not shown whether this construction remains valid when the potential q is merely such that the resolvent is Schatten-class but not smoother; any hidden regularity assumption would undermine the claim that the order depends exclusively on 𝔭.

Authors: The construction of the minimal-order characteristic function uses only the growth asymptotics established in the preceding section together with the general Hadamard factorization theorem for entire functions; no additional smoothness of q beyond the Schatten-class condition on the resolvent is invoked. In the revised manuscript we will add a short paragraph after the definition of the characteristic function that explicitly verifies that the Weierstrass product converges with the order fixed by 𝔭 alone, and that the subsequent contour-integral representation of the spectral ζ-function therefore holds under precisely the stated hypotheses. This clarification removes any ambiguity about hidden regularity assumptions. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies standard entire-function theory to Schatten resolvent conditions

full rationale

The paper invokes the classical theory of entire functions of finite order to bound the growth of Sturm-Liouville solutions y(x, λ) once the resolvent is known to lie outside the Schatten 𝔭-class but inside higher classes. This growth bound is treated as an input supplied by the Schatten assumption rather than derived from the target asymptotics or zeta representations. No equations are shown to reduce the claimed universal dependence on 𝔭 to a self-definition, a fitted parameter renamed as a prediction, or a load-bearing self-citation whose own justification is internal to the present work. The subsequent construction of a minimal-order characteristic function and contour-integral zeta representations follows directly from the growth result without circular re-use of the final statement. The derivation chain therefore remains self-contained against external benchmarks of entire-function theory and operator Schatten classes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on the abstract alone, the work rests on the applicability of standard entire-function theory to the eigenvalue solutions; no explicit free parameters, new entities, or ad-hoc axioms are stated.

axioms (1)

domain assumption Theory of entire functions of finite order applies to solutions of the Sturm-Liouville eigenvalue equation for Schatten p-class resolvents
Invoked to prove the universal asymptotics and minimal-order characteristic function

pith-pipeline@v0.9.0 · 5500 in / 1227 out tokens · 76642 ms · 2026-05-10T16:16:00.036161+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

48 extracted references · 2 canonical work pages

[1]

P. B. Bailey, W. N. Everitt, J. Weidmann and A. Zettl,Regular approximations of singular Sturm–Liouville problems, Results Math.23, 3–22 (1993)

1993
[2]

Clark, F

S. Clark, F. Gesztesy, and R. Nichols,Principal solutions revisited, inStochastic and Infinite Dimensional Analysis, C. C. Bernido, M. V. Carpio-Bernido, M. Grothaus, T. Kuna, M. J. Oliveira, and J. L. da Silva (eds.), Trends in Mathematics, Birkh¨ auser, Springer, pp. 85–117, 2016

2016
[3]

E. A. Coddington and N. Levinson,Theory of Ordinary Differential Equations, Krieger Publ., Malabar, FL, 1985

1985
[4]

J. B. Conway,Functions of One Complex Variable, 1st ed., Graduate Texts in Mathematics, vol. 11, Springer-Verlag, New York, 1973

1973
[5]

Crandall,On the quantum zeta function, J

R. Crandall,On the quantum zeta function, J. Phys. A: Math. Gen.29, 6795–6816 (1996)

1996
[6]

Dunford and J

N. Dunford and J. T. Schwartz,Linear Operators. Part II: Spectral Theory, Wiley, Interscience, New York, 1988

1988
[7]

Elizalde,Ten Physical Applications of Spectral Zeta Functions, 2nd ed., Lecture Notes in Physics, Vol

E. Elizalde,Ten Physical Applications of Spectral Zeta Functions, 2nd ed., Lecture Notes in Physics, Vol. 855, Springer, New York, 2012

2012
[8]

Elizalde, S.D

E. Elizalde, S.D. Odintsov, S.D. Romeo, A. Bytsenko, and A. Zerbini,Zeta Regularization Techniques with Applica- tions, World Scientific, Singapore, 1994

1994
[9]

W. N. Everitt, M. Marletta, and A. Zettl,Inequalities and eigenvalues of Sturm–Liouville problems near a singular boundary, J. of Inequal. & Appl.,6(4), 405–413 (2001)

2001
[10]

Fischbacher and J

C. Fischbacher and J. Stanfill,Nonnegative extensions of Sturm–Liouville operators with an application to problems with symmetric coefficient functions, J. Diff. Eq.427, 560–600 (2025)

2025
[11]

Fucci, F

G. Fucci, F. Gesztesy, K. Kirsten, and J. Stanfill,Spectralζ-Functions andζ-Regularized Functional Determinants for Regular Sturm–Liouville Operators, Res. Math. Sci.,8, No. 61, 46 pp (2021)

2021
[12]

Fucci, M

G. Fucci, M. Piorkowski, and J. Stanfill,The spectralζ-function for quasi-regular Sturm–Liouville operators, Lett. Math. Phys.115, 8, 48 pp (2025)

2025
[13]

Fucci, M

G. Fucci, M. Piorkowski, and J. Stanfill,ζ-functions via contour integrals and universal sum rules, 39 pp., submitted arXiv:2508.15699

work page arXiv
[14]

Fucci and J

G. Fucci and J. Stanfill,The exotic structure of the spectralζ-function for the Schr¨ odinger operator with P¨ oschl– Teller potential, Ann. H. Poincar´ e, 44 pp. (2025) DOI:10.1007/s00023-025-01587-7

work page doi:10.1007/s00023-025-01587-7 2025
[15]

Gesztesy, L

F. Gesztesy, L. L. Littlejohn, and R. Nichols,On self-adjoint boundary conditions for singular Sturm–Liouville operators bounded from below, J. Diff. Eq.269, 6448–6491 (2020)

2020
[16]

Gesztesy, R

F. Gesztesy, R. Nichols, and M. Zinchenko,Sturm–Liouville Operators, Their Spectral Theory, and Some Applica- tions, Colloquium Publications, AMS,67, 2024

2024
[17]

Gesztesy and L

F. Gesztesy and L. Pittner,Electrons in logarithmic potentials I. Solution of the Schr¨ odinger equation, J. Phys. A: Math. Gen.11, 679–686, (1978)

1978
[18]

Gesztesy and M

F. Gesztesy and M. Zinchenko,On spectral theory for Schr¨ odinger operators with strongly singular potentials, Math. Nachr.279, No. 9–10, 1041–1082 (2006)

2006
[19]

I. C. Gohberg and M. G. Krein,Introduction to the Theory of Linear Nonselfadjoint Operators, Translations of Mathematical Monographs 18. Providence, RI: American Mathematical Society, 1969

1969
[20]

Hartman,Ordinary Differential Equations

P. Hartman,Ordinary Differential Equations. SIAM, Philadelphia, 2002

2002
[21]

Hartman and A

P. Hartman and A. Wintner,On the assignment of asymptotic values for the solutions of linear differential equations of second order, Amer. J. Math.77, 475–483 (1955)

1955
[22]

J¨ orgens and F

K. J¨ orgens and F. Rellich,Eigenwerttheorie Gew¨ ohnlicher Differentialgleichungen, Springer-Verlag, Berlin, 1976

1976
[23]

Kirsten,Spectral Functions in Mathematics and Physics, Chapman and Hall/CRC, Boca Raton, 2002

K. Kirsten,Spectral Functions in Mathematics and Physics, Chapman and Hall/CRC, Boca Raton, 2002

2002
[24]

Kirsten and A.J

K. Kirsten and A.J. McKane,Functional determinants by contour integration methods, Ann. Physics308, 502–527 (2003)

2003
[25]

Kirsten and A.J

K. Kirsten and A.J. McKane,Functional determinants for general Sturm–Liouville problems, J. Phys. A37, 4649– 4670 (2004)

2004
[26]

Kong and A

Q. Kong and A. Zettl,Dependence of eigenvalues of Sturm–Liouville problems on the boundary, J. Diff. Eq.126, 389–407 (1996)

1996
[27]

Kostenko, A

A. Kostenko, A. Sakhnovich, and G. Teschl,Weyl–Titchmarsh theory for Schr¨ odinger operators with strongly singular potentials, Int. Math. Res. Not.2011(rnr065), 49 pp. (2011)

2011
[28]

Leighton and M

W. Leighton and M. Morse,Singular quadratic functionals, Trans. Amer. Math. Soc.40, 252–286 (1936) 35

1936
[29]

B. Ya. Levin,Lectures on Entire Functions, in collaboration with Yu. Lyubarskii, M. Sodin, and V. Tkachenko, Transl. Math. Monogr., vol. 150, Amer. Math. Soc., Providence, RI, 1996

1996
[30]

Luki´ c and X

M. Luki´ c and X. Wang,Modified Jost solutions of Schr¨ odinger operators with locallyH −1 potentials, Nonlinearity 38, 025011 (2025)

2025
[31]

M. A. Naimark,Linear Differential Operators. Part II: Linear Differential Operators in Hilbert Space, Transl. by E. R. Dawson, Engl. translation edited by W. N. Everitt, Ungar Publishing, New York, 1968

1968
[32]

Nevanlinna and V

R. Nevanlinna and V. Paatero,Introduction to Complex Analysis: Second Edition, AMS Chelsea Publishing, Amer- ican Mathematical Society, Providence, RI, 2007

2007
[33]

Niessen and A

H.-D. Niessen and A. Zettl,Singular Sturm–Liouville problems: the Friedrichs extension and comparison of eigen- values, Proc. London Math. Soc. (3)64, 545–578 (1992)

1992
[34]

F. W. J. Olver,Asymptotics and special functions, AK Peters/CRC Press, 1997

1997
[35]

W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saun- ders, H. S. Cohl, and M. A. McClain (eds.),NIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.1.12 of 2023-12-15

2023
[36]

D. B. Pearson,Quantum Scattering and Spectral Theory, Academic Press, London, 1988

1988
[37]

Piorkowski and J

M. Piorkowski and J. Stanfill,Finer limit point/limit circle classification for Sturm–Liouville operators, J. Diff. Eq. 471, 114372 (2026)

2026
[38]

Rellich,Die zul¨ assigen Randbedingungen bei den singul¨ aren Eigenwertproblemen der mathematischen Physik

F. Rellich,Die zul¨ assigen Randbedingungen bei den singul¨ aren Eigenwertproblemen der mathematischen Physik. (Gew¨ ohnliche Differentialgleichungen zweiter Ordnung.), Math. Z.49, 702–723 (1943/44)

1943
[39]

Rellich,Halbbeschr¨ ankte gew¨ ohnliche Differentialoperatoren zweiter Ordnung

F. Rellich,Halbbeschr¨ ankte gew¨ ohnliche Differentialoperatoren zweiter Ordnung. Math. Ann.122, 343–368 (1951)

1951
[40]

ˇSˇtov´ ıˇ cek and G.´Swiderski,On positive Jacobi matrices with compact inverses, J

P. ˇSˇtov´ ıˇ cek and G.´Swiderski,On positive Jacobi matrices with compact inverses, J. Approx. Theory313, 106217 (2026)

2026
[41]

Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Operators, 2nd ed., Graduate Studies in Math., Vol

G. Teschl,Mathematical Methods in Quantum Mechanics: With Applications to Schr¨ odinger Operators, 2nd ed., Graduate Studies in Math., Vol. 157, Amer. Math. Soc., RI, 2014

2014
[42]

E. C. Titchmarsh,Eigenfunction Expansions Associated with Second-Order Differential Equations, Part I, 2nd ed., Oxford University Press, Oxford, UK, 1962

1962
[43]

Voros,Airy function - exact WKB results for potentials of odd degree, J

A. Voros,Airy function - exact WKB results for potentials of odd degree, J. Phys. A: Math. Gen.32, 1301, (1999)

1999
[44]

Voros,Exact sum rules for spectral zeta functions of homogeneous 1D quantum oscillators, revisited, J

A. Voros,Exact sum rules for spectral zeta functions of homogeneous 1D quantum oscillators, revisited, J. Phys. A: Math. Theor.56, 064001, (2023)

2023
[45]

Weidmann,Linear Operators in Hilbert Spaces, Graduate Texts in Mathematics, Vol

J. Weidmann,Linear Operators in Hilbert Spaces, Graduate Texts in Mathematics, Vol. 68, Springer, New York, 1980

1980
[46]

Weidmann,Lineare Operatoren in Hilbertr¨ aumen

J. Weidmann,Lineare Operatoren in Hilbertr¨ aumen. Teil II: Anwendungen, Teubner, Stuttgart, 2003

2003
[47]

Winkler and H

H. Winkler and H. Woracek,A growth condition for Hamiltonian systems related with Kre˘ ın strings, Acta Sci. Math. 80, 31–94 (2014)

2014
[48]

Zettl,Sturm–Liouville Theory, Mathematical Surveys and Monographs, Vol

A. Zettl,Sturm–Liouville Theory, Mathematical Surveys and Monographs, Vol. 121, Amer. Math. Soc., Providence, RI, 2005 Department of Mathematics, East Carolina University, 331 Austin Building, East Fifth St., Greenville, NC 27858-4353, USA Email address:fuccig@ecu.edu URL:http://myweb.ecu.edu/fuccig/ Department of Mathematics, KTH Royal Institute of Techn...

2005