pith. sign in

arxiv: 2605.21791 · v1 · pith:R5I2QLTBnew · submitted 2026-05-20 · 🪐 quant-ph · math-ph· math.MP

Completeness of the Klein-Gordon oscillator eigenfunctions via Hermite and Laguerre polynomials

Kevin Hern\'andez This is my paper

Pith reviewed 2026-05-22 08:23 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP
keywords Klein-Gordon oscillatoreigenfunction completenessclosure relationsHermite polynomialsLaguerre polynomialsspherical harmonicsrelativistic quantum mechanics
0
0 comments X

The pith

The eigenfunctions of the Klein-Gordon oscillator form a complete set in one and three spatial dimensions.

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

This paper proves that the eigenfunctions of the Klein-Gordon oscillator satisfy the closure relations needed for completeness in one and three spatial dimensions. The one-dimensional case relies on the standard completeness properties of Hermite polynomials, while the three-dimensional case combines those of generalized Laguerre polynomials with the completeness of spherical harmonics. A sympathetic reader would care because completeness guarantees that any reasonable wave function can be expanded in the eigenfunctions, allowing them to serve as a basis for solving the relativistic oscillator problem. The proof is simpler than the corresponding one for the Dirac oscillator because the scalar field requires no off-diagonal cancellation.

Core claim

Completeness of the Klein-Gordon oscillator eigenfunctions is proved in one and three spatial dimensions. The proofs establish the closure relations satisfied by the eigenfunctions and are based on standard properties of the Hermite and the generalized Laguerre polynomials, supplemented in three dimensions by the completeness of the spherical harmonics. The scalar nature of the Klein-Gordon field renders the argument strictly simpler than the analogous proof for the Dirac oscillator: no off-diagonal cancellation is required.

What carries the argument

The closure relations satisfied by the eigenfunctions, obtained by transferring the known completeness and orthogonality of Hermite polynomials in one dimension and of generalized Laguerre polynomials together with spherical harmonics in three dimensions.

If this is right

  • Any suitable initial wave function for the Klein-Gordon oscillator can be expanded as a sum over its eigenfunctions in one or three dimensions.
  • The eigenfunctions satisfy the required orthogonality and normalization inherited from the underlying polynomials.
  • The scalar character of the field eliminates the need for auxiliary cancellations that appear in spinor cases.
  • The same technique applies uniformly to both one-dimensional and three-dimensional versions of the oscillator.

Where Pith is reading between the lines

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

  • The result may allow direct use of these eigenfunctions as a basis in calculations of relativistic bound states or scattering with oscillator potentials.
  • Similar polynomial-based proofs could be attempted for Klein-Gordon oscillators in other dimensions or with modified potentials.
  • The absence of off-diagonal terms suggests the method might extend more readily to time-dependent or interacting versions of the problem.

Load-bearing premise

That the standard completeness and orthogonality relations of the Hermite and generalized Laguerre polynomials transfer without modification or additional cancellation to the eigenfunctions of the Klein-Gordon oscillator.

What would settle it

An explicit square-integrable function whose expansion in the Klein-Gordon oscillator eigenfunctions fails to reproduce the function, or a direct computation showing that the integral over the product of two eigenfunctions does not equal the Dirac delta function.

read the original abstract

Completeness of the Klein--Gordon oscillator eigenfunctions is proved in one and three spatial dimensions. The proofs establish the closure relations satisfied by the eigenfunctions and are based on standard properties of the Hermite and the generalized Laguerre polynomials, supplemented in three dimensions by the completeness of the spherical harmonics. The scalar nature of the Klein--Gordon field renders the argument strictly simpler than the analogous proof for the Dirac oscillator: no off-diagonal cancellation is required.

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 manuscript proves the completeness of the Klein-Gordon oscillator eigenfunctions in one and three spatial dimensions. In one dimension the eigenfunctions are mapped to Hermite polynomials; in three dimensions they are expressed as products of generalized Laguerre polynomials and spherical harmonics. The proofs derive the closure relations directly from the known completeness and orthogonality properties of these functions, noting that the scalar character of the Klein-Gordon field eliminates the off-diagonal cancellation steps required for the Dirac oscillator.

Significance. If the central mapping and transfer of completeness relations hold, the result supplies a compact, standard-tool proof that the eigenfunctions form a complete basis. This is useful for mode expansions and spectral decompositions in relativistic oscillator models. The paper correctly credits the standard Hermite, Laguerre, and spherical-harmonic completeness theorems rather than re-deriving them.

major comments (2)
  1. [§2] §2 (one-dimensional case): the change of variable that converts the Klein-Gordon oscillator equation into the Hermite differential equation must be written out explicitly, together with the precise identification of the weight function and integration interval, so that the reader can verify that the standard Hermite closure relation applies without modification.
  2. [§3] §3 (three-dimensional case): after separating radial and angular parts, the manuscript should confirm that the product measure (Laguerre weight times spherical-harmonic measure) yields a joint closure relation with no residual cross terms arising from the oscillator potential; an intermediate identity showing the separation of the delta-function closure would strengthen the argument.
minor comments (2)
  1. [Introduction] A short sentence in the introduction recalling the exact statement of the Hermite completeness relation (with reference) would make the logical step from polynomial to oscillator eigenfunction fully transparent.
  2. [§3] Notation for the radial quantum number and the associated Laguerre index should be introduced once and used consistently in all equations of §3.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comments that help improve the clarity of our proofs. We address each major comment below and have revised the manuscript accordingly.

read point-by-point responses

  1. Referee: [§2] §2 (one-dimensional case): the change of variable that converts the Klein-Gordon oscillator equation into the Hermite differential equation must be written out explicitly, together with the precise identification of the weight function and integration interval, so that the reader can verify that the standard Hermite closure relation applies without modification.

    Authors: We agree that an explicit presentation of the change of variable strengthens the one-dimensional proof. In the revised manuscript we now write out the substitution that maps the Klein-Gordon oscillator equation onto the Hermite equation, identify the weight function, and state the integration interval (−∞, +∞). This confirms that the standard Hermite completeness relation applies directly and without modification. revision: yes

  2. Referee: [§3] §3 (three-dimensional case): after separating radial and angular parts, the manuscript should confirm that the product measure (Laguerre weight times spherical-harmonic measure) yields a joint closure relation with no residual cross terms arising from the oscillator potential; an intermediate identity showing the separation of the delta-function closure would strengthen the argument.

    Authors: We thank the referee for this suggestion. In the revised manuscript we have inserted an intermediate identity that explicitly separates the delta-function closure into radial and angular factors under the product measure (generalized Laguerre weight times spherical-harmonic measure). Because the Klein-Gordon oscillator equation separates in spherical coordinates, the oscillator potential introduces no residual cross terms; the joint closure therefore follows immediately from the known completeness of the Laguerre polynomials and the spherical harmonics. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation transfers independent external completeness theorems

full rationale

The paper constructs the Klein-Gordon oscillator eigenfunctions explicitly via Hermite polynomials (1D) or generalized Laguerre polynomials times spherical harmonics (3D), then invokes the independently known completeness and orthogonality relations of those standard functions to obtain the closure relations for the eigenfunctions. This mapping does not redefine any completeness property in terms of itself, fit parameters to subsets of data, or rely on load-bearing self-citations; the cited theorems for Hermite, Laguerre, and spherical harmonics are external, pre-existing results that stand apart from the present work. The scalar nature of the field is used only to note the absence of off-diagonal terms, which is a structural observation rather than a circular reduction. The overall argument remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The central claim rests on the transfer of classical completeness relations for Hermite and Laguerre polynomials to the Klein-Gordon eigenfunctions; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (3)
  • standard math Standard completeness and orthogonality properties of Hermite polynomials
    Invoked to establish the 1D closure relation.
  • standard math Standard completeness and orthogonality properties of generalized Laguerre polynomials
    Invoked to establish the radial part of the 3D closure relation.
  • standard math Completeness of the spherical harmonics on the sphere
    Supplements the angular part in three dimensions.

pith-pipeline@v0.9.0 · 5593 in / 1411 out tokens · 35442 ms · 2026-05-22T08:23:50.426083+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.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The proofs establish the closure relations satisfied by the eigenfunctions and are based on standard properties of the Hermite and the generalized Laguerre polynomials, supplemented in three dimensions by the completeness of the spherical harmonics. The scalar nature of the Klein–Gordon field renders the argument strictly simpler than the analogous proof for the Dirac oscillator: no off-diagonal cancellation is required.

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

14 extracted references · 14 canonical work pages

  1. [1]

    Moshinsky and A

    M. Moshinsky and A. Szczepaniak. The Dirac oscillator.J. Phys. A: Math. Gen., 22(17):L817–L819, 1989

    work page 1989

  2. [2]

    Quesne and M

    C. Quesne and M. Moshinsky. Symmetry Lie algebra of the Dirac oscillator.J. Phys. A: Math. Gen., 23(12):2263–2272, 1990

    work page 1990

  3. [3]

    Moreno and A

    M. Moreno and A. Zentella. Covariance, CPT and the Foldy–Wouthuysen transformation for the Dirac oscillator.J. Phys. A: Math. Gen., 22(17):L821–L825, 1989

    work page 1989

  4. [4]

    Ben´ ıtez, R

    J. Ben´ ıtez, R. P. Mart´ ınez y Romero, H. N. N´ u˜ nez Y´ epez, and A. L. Salas-Brito. Solution and hidden supersymmetry of a Dirac oscillator.Phys. Rev. Lett., 64(14):1643–1645, 1990

    work page 1990

  5. [5]

    Bruce and P

    S. Bruce and P. Minning. The Klein–Gordon oscillator.Nuovo Cimento A, 106(5):711–713, 1993

    work page 1993

  6. [6]

    N. A. Rao and B. A. Kagali. Energy profile of the one-dimensional Klein–Gordon oscillator. Phys. Scr., 77(1):015003, 2008

    work page 2008

  7. [7]

    The Klein–Gordon oscillator

    V. V. Dvoeglazov. Comment on “The Klein–Gordon oscillator” by S. Bruce and P. Minning. Nuovo Cimento A, 107(8):1413–1417, 1994

    work page 1994

  8. [8]

    Boumali and N

    A. Boumali and N. Messai. Klein–Gordon oscillator under a uniform magnetic field in cosmic string space–time.Can. J. Phys., 92(11):1460–1464, 2014

    work page 2014

  9. [9]

    Bakke and C

    K. Bakke and C. Furtado. On the Klein–Gordon oscillator subject to a Coulomb-type potential.Ann. Phys., 355:48–54, 2015

    work page 2015

  10. [10]

    Mirza, R

    B. Mirza, R. Narimani, and S. Zare. Relativistic oscillators in a noncommutative space: a path integral approach.Commun. Theor. Phys., 55(3):405–409, 2011

    work page 2011

  11. [11]

    G. Junker. On the supersymmetry of the Klein–Gordon oscillator.Symmetry, 13(5):835, 2021

    work page 2021

  12. [12]

    Szmytkowski and M

    R. Szmytkowski and M. Gruchowski. Completeness of the Dirac oscillator eigenfunctions.J. Phys. A: Math. Gen., 34(23):4991–4997, 2001

    work page 2001

  13. [13]

    Magnus, F

    W. Magnus, F. Oberhettinger, and R. P. Soni.Formulas and Theorems for the Special Functions of Mathematical Physics. Springer, Berlin, 3rd edition, 1966

    work page 1966

  14. [14]

    Hamil and B

    B. Hamil and B. C. L¨ utf¨ uo˘ glu. Dunkl–Klein–Gordon equation in three dimensions: the Klein–Gordon oscillator and Coulomb potential.Few-Body Syst., 63(1):1, 2022. arXiv:2112.09948. 7

    work page arXiv 2022