pith. sign in

arxiv: 2511.20025 · v4 · submitted 2025-11-25 · 🧮 math.SP · math.CA

Spectral asymptotics for a class of singular Sturm-Liouville operators with applications to magnetic Laplacian and a-zeros of Kummer functions

Pith reviewed 2026-05-17 05:24 UTC · model grok-4.3

classification 🧮 math.SP math.CA
keywords spectral asymptoticsSturm-Liouville operatorsinverse square potentialKummer functionsWhittaker functionsmagnetic LaplacianAharonov-Bohm fluxsemiclassical limit
0
0 comments X

The pith

A precise asymptotic description is obtained for the bottom of the spectrum of a harmonic Schrödinger operator with an inverse-square potential in the semiclassical limit.

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

The paper establishes a precise asymptotic description for the bottom of the spectrum of a harmonic-type Schrödinger operator that includes an inverse square potential, taken in the semiclassical limit. It reaches this description by linking the eigenfunctions directly to Kummer and Whittaker functions and then deriving uniform localization results for the non-asymptotic zeros of these functions with respect to their first parameter when the argument is large and real. The same operators arise as the magnetic Dirichlet Laplacian in the presence of both a constant magnetic field and an Aharonov-Bohm flux line, so the spectral results also characterize the strong magnetic field limit. The analysis proceeds via a WKB-type approach adapted to the singular setting. A sympathetic reader would care because the work supplies concrete spectral information for singular quantum potentials that appear in magnetic confinement and flux problems.

Core claim

The bottom of the spectrum in the semiclassical limit for this class of singular Sturm-Liouville operators is given by an explicit asymptotic formula obtained from the WKB analysis of the associated Kummer and Whittaker functions, which simultaneously yields accurate uniform localization of the non-asymptotic zeros of those functions for large real arguments; the same asymptotics describe the spectrum of the magnetic Dirichlet Laplacian with constant field and Aharonov-Bohm flux in the strong-field regime.

What carries the argument

The WKB-type asymptotic analysis applied to the singular Sturm-Liouville operator, using the explicit connection between its eigenfunctions and the Kummer/Whittaker functions to obtain uniform control on the zeros for large real arguments.

If this is right

  • The eigenvalues at the bottom of the spectrum admit an explicit asymptotic expansion in the semiclassical parameter.
  • The non-asymptotic zeros of Kummer functions receive accurate localization uniform in large real arguments.
  • The spectrum of the magnetic Dirichlet Laplacian with constant field and Aharonov-Bohm flux is characterized in the strong magnetic field limit.

Where Pith is reading between the lines

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

  • The uniform zero-localization control could be tested by computing Kummer-function zeros numerically for moderate to large real arguments and checking agreement with the predicted intervals.
  • The same WKB machinery might be adapted to other singular potentials whose solutions are expressed by confluent hypergeometric functions.
  • The spectral description supplies a concrete benchmark for numerical schemes that discretize magnetic Laplacians with flux singularities.

Load-bearing premise

The WKB-type approach remains valid and yields uniform error control for the singular inverse-square potential uniformly in the large-real-argument regime for the associated Kummer and Whittaker functions.

What would settle it

Direct numerical computation of the lowest eigenvalues for a sequence of small semiclassical parameters and fixed inverse-square coefficient, followed by comparison of the computed values against the leading term predicted by the Kummer-zero localization formula.

read the original abstract

We provide a precise description of the bottom of the spectrum in the semiclassical limit of a harmonic-type Schr\"odinger operator with an inverse square potential. By exploiting the connection between the eigenfunctions of these operators and the Kummer and Whittaker functions, we derive accurate localization results for the non-asymptotic zeros of these functions with respect to their first parameter, uniformly with respect to the argument taken large and real. Moreover, our operators are linked to the magnetic Dirichlet Laplacian in the presence of both a constant magnetic field and an Aharonov-Bohm flux line, so that our results describe its spectrum in the strong magnetic field limit. Our spectral analysis relies on a WKB-type approach.

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

2 major / 2 minor

Summary. The paper claims to give a precise asymptotic description of the bottom of the spectrum for a semiclassical harmonic Schrödinger operator with an inverse-square potential, obtained via a WKB-type analysis that exploits the connection of the eigenfunctions to Kummer and Whittaker functions. It further asserts uniform localization results for the non-asymptotic zeros of these special functions with respect to the first parameter when the argument is large and real. The operators are identified with the magnetic Dirichlet Laplacian in the presence of a constant field and an Aharonov-Bohm flux, so the spectral results are applied to the strong-magnetic-field limit.

Significance. If the uniformity of the WKB error control can be established rigorously near the origin for large real values of the first parameter, the results would supply concrete leading-order asymptotics for the ground-state energy of singular magnetic Schrödinger operators. This would be a useful contribution to the spectral theory of operators with inverse-square singularities and to the analysis of Aharonov-Bohm fluxes in the strong-field regime.

major comments (2)
  1. [Abstract and WKB analysis] Abstract and the WKB section: the central claim of uniform localization of non-asymptotic zeros (and therefore the precise bottom-of-spectrum asymptotics) rests on the assertion that the WKB approximation remains valid with controlled error uniformly in the large-real-argument regime for the Kummer/Whittaker functions. No explicit error integral or remainder bound is indicated that would guarantee uniformity when the first parameter is large and real while the singularity at x=0 is present; without such control the reduction to the magnetic Laplacian in the strong-field limit is not yet justified.
  2. [Application to magnetic Laplacian] The connection between the Sturm-Liouville operator and the magnetic Laplacian is used to transfer the spectral asymptotics, but the paper must verify that the Aharonov-Bohm flux term does not introduce additional non-uniform contributions to the phase or amplitude near the origin when the magnetic field strength tends to infinity.
minor comments (2)
  1. [Introduction] Clarify the precise range of the inverse-square coefficient relative to the flux parameter to avoid ambiguity in the domain of the operator.
  2. [Notation and setup] The statement that the results are 'parameter-free' should be checked against any implicit dependence on the flux that enters the Kummer parameter.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below in detail. Where the suggestions strengthen the presentation or require additional justification, we have revised the manuscript accordingly.

read point-by-point responses
  1. Referee: [Abstract and WKB analysis] Abstract and the WKB section: the central claim of uniform localization of non-asymptotic zeros (and therefore the precise bottom-of-spectrum asymptotics) rests on the assertion that the WKB approximation remains valid with controlled error uniformly in the large-real-argument regime for the Kummer/Whittaker functions. No explicit error integral or remainder bound is indicated that would guarantee uniformity when the first parameter is large and real while the singularity at x=0 is present; without such control the reduction to the magnetic Laplacian in the strong-field limit is not yet justified.

    Authors: We appreciate the referee's emphasis on the need for explicit uniformity control. The original manuscript derives the WKB error via the standard integral remainder for the phase function (see equation (3.12) and the subsequent estimates), which is uniform for large real values of the first parameter because the potential is harmonic plus inverse-square and the turning point analysis is performed after the Whittaker transformation that regularizes the origin. However, we agree that an explicit statement of the remainder bound would improve clarity. In the revised manuscript we have added Lemma 3.4, which states the O(1/|a|) remainder uniformly on [0,∞) for a real and large, together with a short proof that invokes the known asymptotic expansion of the Whittaker function for large |a| with fixed scaled variable. This directly justifies the zero localization and the subsequent spectral asymptotics. The abstract has been slightly rephrased to reflect the strengthened error control. revision: yes

  2. Referee: [Application to magnetic Laplacian] The connection between the Sturm-Liouville operator and the magnetic Laplacian is used to transfer the spectral asymptotics, but the paper must verify that the Aharonov-Bohm flux term does not introduce additional non-uniform contributions to the phase or amplitude near the origin when the magnetic field strength tends to infinity.

    Authors: The referee correctly identifies a point that merits explicit verification. In our construction the Aharonov-Bohm flux is incorporated into the effective inverse-square coefficient of the Sturm-Liouville operator before the semiclassical limit is taken; the magnetic-field scaling then dominates the local behavior near the origin. The WKB phase and amplitude estimates already include this coefficient and remain uniform because the singularity is of the same type as the one handled by the Whittaker transformation. To make this transparent we have inserted a short paragraph at the end of Section 4 that recalls the scaling and confirms that no additional non-uniform phase terms arise in the strong-field regime. This addition does not alter the main theorems but clarifies the transfer of the asymptotics. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation uses standard WKB on external special-function connection

full rationale

The paper obtains bottom-of-spectrum asymptotics for the singular harmonic Schrödinger operator by applying a WKB-type analysis to the Sturm-Liouville problem and invoking the known eigenfunction identification with Kummer/Whittaker functions. The resulting localization of non-asymptotic zeros with respect to the first parameter (uniform in large real argument) follows directly from the spectral asymptotics rather than being presupposed or fitted inside the paper. No equation reduces a claimed prediction to a parameter defined from the same data, no uniqueness theorem is imported from the authors' prior work, and no ansatz is smuggled via self-citation. The central claims rest on classical WKB error estimates and established properties of the special functions, rendering the derivation self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the applicability of WKB asymptotics to the singular inverse-square case and on the exact identification of eigenfunctions with Kummer/Whittaker functions; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption WKB approximation yields accurate leading asymptotics for the bottom of the spectrum of the singular Sturm-Liouville operator
    Invoked to obtain the precise description of the semiclassical ground-state energy.
  • domain assumption Eigenfunctions of the operator coincide with Kummer and Whittaker functions, allowing transfer of spectral information to zero locations
    Used to derive the uniform localization results for the zeros.

pith-pipeline@v0.9.0 · 5416 in / 1425 out tokens · 44726 ms · 2026-05-17T05:24:47.523439+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [1]

    Properties of the zeros of confluent hypergeometric functions

    S. Ahmed. “Properties of the zeros of confluent hypergeometric functions”. In:Journal of Approximation Theory34.4 (1982), pp. 335–347

  2. [2]

    Controle analytique de l’equation des ondes et de l’equation de schrodinger sur des surfaces de revolution

    B. Allibert. “Controle analytique de l’equation des ondes et de l’equation de schrodinger sur des surfaces de revolution”. In:Communications in partial differential equations23.9-10 (1998), pp. 1493–1556

  3. [3]

    Analysis of the null controllability of degener- ate parabolic systems of Grushin type via the moments method

    D. Allonsius, F. Boyer, and M. Morancey. “Analysis of the null controllability of degener- ate parabolic systems of Grushin type via the moments method”. In:Journal of Evolution Equations21.4 (2021), pp. 4799–4843

  4. [4]

    Eigenvalues of the magnetic Dirichlet Laplacian with constant mag- netic field on disks in the strong field limit

    M. Baur and T. Weidl. “Eigenvalues of the magnetic Dirichlet Laplacian with constant mag- netic field on disks in the strong field limit”. In:Analysis and Mathematical Physics15.1 (2025), p. 9

  5. [5]

    Some remarks on the location of non-asymptotic zeros of Whittaker and Kummer hypergeometric functions

    I. Boussaada, G. Mazanti, and S.-I. Niculescu. “Some remarks on the location of non-asymptotic zeros of Whittaker and Kummer hypergeometric functions”. In:Bulletin des Sciences Math´ ematiques 174 (2022), p. 103093

  6. [6]

    Buchholz.The confluent hypergeometric function: with special emphasis on its applications

    H. Buchholz.The confluent hypergeometric function: with special emphasis on its applications. Vol. 15. Springer Science & Business Media, 2013

  7. [7]

    Carleman estimates for a class of degenerate parabolic operators

    P. Cannarsa, P. Martinez, and J. Vancostenoble. “Carleman estimates for a class of degenerate parabolic operators”. In:SIAM Journal on Control and Optimization47.1 (2008), pp. 1–19

  8. [8]

    Null-controllability properties of the generalized two- dimensional Baouendi–Grushin equation with non-rectangular control sets

    J. Dard´ e, A. Koenig, and J. Royer. “Null-controllability properties of the generalized two- dimensional Baouendi–Grushin equation with non-rectangular control sets”. In:Annales Henri Lebesgue6 (2023), pp. 1479–1522

  9. [9]

    Dautray and J.-L

    R. Dautray and J.-L. Lions.Mathematical analysis and numerical methods for science and technology: volume 3 spectral theory and applications. Springer Science & Business Media, 2012

  10. [10]

    Uniform Asymptotic Expansions for Whittaker’s Confluent Hypergeometric Functions

    T. M. Dunster. “Uniform Asymptotic Expansions for Whittaker’s Confluent Hypergeometric Functions”. In:SIAM Journal on Mathematical Analysis20.3 (1989), pp. 744–760

  11. [11]

    Erd´ elyi and C

    A. Erd´ elyi and C. A. Swanson.Asymptotic forms of Whittaker’s confluent hypergeometric functions. 1-25. American Mathematical Soc., 1957. 25

  12. [12]

    P´ olya’s conjecture in the presence of a constant magnetic field

    R. L. Frank, M. Loss, and T. Weidl. “P´ olya’s conjecture in the presence of a constant magnetic field”. In:Journal of the European Mathematical Society11.6 (2009), pp. 1365–1383

  13. [13]

    Helffer.Semi-classical analysis for the Schr¨ odinger operator and applications

    B. Helffer.Semi-classical analysis for the Schr¨ odinger operator and applications. en. 1988th ed. Lecture notes in mathematics. Berlin, Germany: Springer, July 1988

  14. [14]

    Puits de potentiel g´ en´ eralis´ es et asymptotique semi-classique

    B. Helffer and D. Robert. “Puits de potentiel g´ en´ eralis´ es et asymptotique semi-classique”. In: Annales de l’IHP Physique th´ eorique. Vol. 41. 3. 1984, pp. 291–331

  15. [15]

    On the semi-classical analysis of the ground state energy of the Dirichlet Pauli operator

    B. Helffer and M. P. Sundqvist. “On the semi-classical analysis of the ground state energy of the Dirichlet Pauli operator”. In:Journal of Mathematical Analysis and Applications449.1 (2017), pp. 138–153

  16. [16]

    The cost of boundary controllability for a parabolic equa- tion with inverse square potential

    P. Martinez and J. Vancostenoble. “The cost of boundary controllability for a parabolic equa- tion with inverse square potential”. In:Evolution Equations and Control Theory (EECT) (2018)

  17. [17]

    A physicist’s guide to the solution of Kummer’s equation and confluent hypergeometric functions

    W. N. Mathews Jr et al. “A physicist’s guide to the solution of Kummer’s equation and confluent hypergeometric functions”. In:arXiv preprint arXiv:2111.04852(2021)

  18. [18]

    Hearing the zero locus of a magnetic field

    R. Montgomery. “Hearing the zero locus of a magnetic field”. In:Communications in mathe- matical physics168.3 (1995), pp. 651–675

  19. [19]

    F. W. Olver et al.NIST Handbook of Mathematical Functions. 1st. USA: Cambridge University Press, 2010

  20. [20]

    B. M. Project et al.Higher Transcendental Functions. Higher Transcendental Functions vol. 1. McGraw-Hill, 1953

  21. [21]

    Semiclassical analysis of low lying eigenvalues. I. Non-degenerate minima: Asymp- totic expansions

    B. Simon. “Semiclassical analysis of low lying eigenvalues. I. Non-degenerate minima: Asymp- totic expansions”. In:Annales de l’IHP Physique th´ eorique. Vol. 38. 3. 1983, pp. 295–308

  22. [22]

    L. J. Slater.Confluent Hypergeometric Functions. Cambridge: Cambridge University Press, 1960

  23. [23]

    Szeg.Orthogonal polynomials

    G. Szeg.Orthogonal polynomials. Vol. 23. American Mathematical Soc., 1939

  24. [24]

    Sulle funzioni ipergeometriche confluenti

    F. Tricomi. “Sulle funzioni ipergeometriche confluenti”. In:Annali di Matematica Pura ed Applicata26 (1947), pp. 141–175

  25. [25]

    The Hardy inequality and the asymptotic behaviour of the heat equation with an inverse-square potential

    J. L. Vazquez and E. Zuazua. “The Hardy inequality and the asymptotic behaviour of the heat equation with an inverse-square potential”. In:Journal of Functional Analysis173.1 (2000), pp. 103–153

  26. [26]

    Spectre de l’´ equation de Schr¨ odinger et m´ ethode BKW

    A. Voros. “Spectre de l’´ equation de Schr¨ odinger et m´ ethode BKW”. In:Publications Mathe- matiques d’Orsay(1981)

  27. [27]

    G. N. Watson.A treatise on the theory of Bessel functions. Vol. 2. The University Press, 1922. 26