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

Résumé technique : Complétude des fonctions propres de l'oscillateur de Klein-Gordon via les polynômes d'Hermite et de Laguerre

Énoncé du problème
Malgré l'étude approfondie de l'oscillateur de Klein-Gordon (OKG) en mécanique quantique relativiste — couvrant des applications en physique nucléaire, dans des espaces courbes et dans des espaces non commutatifs — une propriété mathématique fondamentale de ses solutions propres est restée non établie dans la littérature : la complétude. Alors que les relations de fermeture pour l'oscillateur de Dirac (OD) analogue ont été prouvées par Szmytkowski et Gruchowski, aucune telle preuve n'existait pour l'OKG de spin 0. La complétude est une condition préalable à l'utilisation des fonctions propres comme base pour développer des états arbitraires, construire des propagateurs et des fonctions de Green, et dériver des règles de somme. Cet article comble cette lacune en prouvant la complétude des fonctions propres de l'OKG en une et trois dimensions spatiales.

Méthodologie
Les auteurs adoptent une approche constructive, réduisant la preuve de la complétude aux relations de fermeture bien connues des polynômes orthogonaux classiques. L'analyse est divisée en deux dimensions spatiales :

1. Une dimension (1D) :

   • Le problème aux valeurs propres de l'OKG est formulé via la substitution minimale $p \to p - im\omega x$ dans l'équation de Klein-Gordon.
   • L'équation résultante est montrée équivalente à l'équation standard de l'oscillateur harmonique quantique, donnant les valeurs propres d'énergie $E_n^2 = m^2 + m\omega(2n+1)$ et des fonctions propres spatiales exprimées en termes de polynômes d'Hermite $H_n(\xi)$.
   • La preuve de la complétude repose sur la relation de fermeture standard pour les fonctions d'Hermite normalisées. Les auteurs démontrent que la nature scalaire de la fonction d'onde de l'OKG permet d'établir la relation de fermeture directement par une seule somme diagonale, évitant les annulations hors diagonale requises dans la preuve basée sur les spineurs pour l'oscillateur de Dirac.

2. Trois dimensions (3D) :

   • Le problème est séparé en coordonnées sphériques, conduisant à une équation radiale impliquant la fonction hypergéométrique confluente, qui se réduit aux polynômes de Laguerre généralisés $L_n^{(\alpha)}(\rho)$.
   • Les fonctions propres complètes sont construites comme des produits de fonctions radiales et d'harmoniques sphériques $Y_\ell^m(\hat{r})$.
   • La preuve procède en deux étapes : d'abord, établir la relation de fermeture radiale en utilisant la relation de fermeture standard pour les fonctions de Laguerre généralisées ; ensuite, combiner ce résultat avec la relation de complétude des harmoniques sphériques pour dériver la relation de fermeture tridimensionnelle complète.

Contributions et résultats clés

• Établissement des relations de fermeture : L'article dérive rigoureusement les relations de fermeture $\sum \psi_n(x)\psi_n(x') = \delta(x-x')$ pour la 1D et $\sum \Psi_{n_r\ell m}(\mathbf{r})\Psi^*_{n_r\ell m}(\mathbf{r}') = \delta^{(3)}(\mathbf{r}-\mathbf{r}')$ pour la 3D.
• Simplification structurelle : Un résultat principal est la démonstration que la preuve pour l'OKG est structurellement plus simple que celle pour l'oscillateur de Dirac. Contrairement à l'OD, où la nature de spineur à deux composantes nécessite de prouver la nullité d'une somme hors diagonale (en s'appuyant sur l'antisymétrie $E_{-n} = -E_n$), la nature de champ scalaire de l'OKG signifie que les fonctions propres sont strictement diagonales. La preuve ne nécessite aucun argument d'annulation hors diagonale.
• Indépendance vis-à-vis du spectre d'énergie : Les auteurs montrent que la complétude des fonctions propres spatiales est indépendante des valeurs propres d'énergie spécifiques ($E_n$ ou $E_N$). Les fonctions d'onde spatiales sont déterminées uniquement par la partie spatiale de l'équation au carré (qui imite un oscillateur harmonique non relativiste). Par conséquent, les relations de fermeture valent pour toute masse $m$ et toute fréquence $\omega$, y compris la limite de masse nulle et les régimes ultra-relativistes.

Signification et applications
L'article affirme que ces résultats comblent une lacune critique dans le fondement mathématique du modèle OKG. L'établissement de la complétude valide plusieurs constructions standard qui ont été appliquées à l'OKG mais qui manquaient précédemment de justification rigoureuse :

• Propagateurs et fonctions de Green : Cela justifie la représentation spectrale de la fonction de Green dépendante de l'énergie dérivée via des méthodes supersymétriques.
• Mécanique statistique : Cela garantit que les fonctions de partition et les grandeurs thermodynamiques exprimées comme des sommes sur les états propres d'énergie ne manquent aucun état.
• Théorie des perturbations : Cela fournit le fondement rigoureux pour développer des états perturbés (dans des champs externes, des espaces courbes ou des algèbres déformées) sur la base non perturbée de l'OKG.

Les auteurs concluent que, bien que des extensions à deux dimensions, aux espaces-temps courbes et aux oscillateurs déformés par Dunkl restent à faire pour un travail futur, les preuves actuelles fournissent un fondement complet et élémentaire pour l'OKG dans les espaces plats 1D et 3D, reposant entièrement sur la théorie des polynômes orthogonaux classiques.