We provide a precise description of the bottom of the spectrum in the semiclassical limit of a harmonic-type Schr{ö}dinger 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. The spectral analysis relies on a WKB-type approach.
- ID de l'article: 2511.20025
- Titre: Low-lying eigenvalues in the semiclassical limit of a Schrödinger operator with an inverse square potential, and non-asymptotic a-zeros of Kummer functions
- Auteur: Roman Vanlaere (CEREMADE, Université Paris-Dauphine PSL, CNRS)
- Classification: math.CA (Analyse classique), math.SP (Théorie spectrale)
- Date de soumission: 21 novembre 2025
- Lien de l'article: https://arxiv.org/abs/2511.20025
Cet article décrit précisément le bas du spectre d'un opérateur de Schrödinger harmonique avec potentiel en inverse carré dans la limite semi-classique. En exploitant les connexions entre les fonctions propres de ces opérateurs et les fonctions de Kummer et Whittaker, l'auteur dérive des résultats de localisation précise concernant les zéros non-asymptotiques du premier paramètre de ces fonctions, résultats qui sont uniformes pour les arguments réels de grande taille. L'analyse spectrale repose sur des méthodes de type WKB.
Cet article étudie le comportement spectral dans la limite semi-classique ξ→+∞ d'un opérateur de Schrödinger avec potentiel singulier en inverse carré défini sur l'intervalle borné (0,1) :
Gξ=−∂x2+ξ2x2+x2ν2−1/4
où ξ>0 est le paramètre semi-classique et ν≥0 est un paramètre fixe.
- Signification théorique: Le potentiel en inverse carré occupe une place importante en mécanique quantique, mais l'analyse spectrale sur un intervalle borné présente des difficultés techniques, car la singularité aux limites rend les méthodes standard d'analyse semi-classique difficiles à appliquer directement.
- Connexion avec les fonctions spéciales: Les fonctions propres de cet opérateur peuvent être exprimées explicitement à l'aide de fonctions de Kummer (fonctions hypergéométriques confluentes), établissant un lien profond entre la théorie spectrale et la théorie des zéros de fonctions spéciales.
- Lacune dans la littérature: La littérature existante manque d'une étude systématique des zéros de la fonction de Kummer par rapport au premier paramètre a (zéros-a). Le comportement asymptotique connu a∼−k2π2/4z ne couvre pas toutes les solutions et manque d'estimations uniformes par rapport à l'argument.
- Difficultés de l'analyse semi-classique: Les méthodes WKB traditionnelles exigent que la fonction potentielle possède une régularité suffisante aux limites de l'intervalle, mais le potentiel en inverse carré est singulier en x=0.
- Résultats connus sur les zéros de fonctions spéciales:
- Les zéros-z de la fonction de Kummer (zéros par rapport à l'argument) ont été davantage étudiés
- Les zéros par rapport au paramètre a ne disposent que de formules asymptotiques imprécises ou d'approximations numériques
- Manque de caractérisation systématique des zéros non-asymptotiques
- Différences entre la demi-droite et l'intervalle borné: Lorsqu'on considère la demi-droite R+, les fonctions propres doivent être de carré intégrable, ce qui force le paramètre a=−k à être un entier négatif, rendant la fonction de Kummer dégénérée en polynôme (polynôme de Laguerre), et les valeurs propres sont explicitement obtenues. Cependant, sur un intervalle borné, les conditions aux limites modifient la nature du problème.
Les contributions principales de cet article incluent:
- Établissement d'une correspondance exacte entre valeurs propres et zéros de Kummer (Théorèmes 1.1 et 1.2):
- Preuve que λ est une valeur propre de Gξ si et seulement si a=−(λ−2ξ(1+ν))/(4ξ) satisfait M(a,1+ν,ξ)=0
- Estimations bilatérales des valeurs propres (Théorème 1.3):
- Minoration: λξ,k/ξ>4k+2(1+ν) (inégalité stricte)
- Minoration améliorée pour grand k: λξ,k≥ck2 (avec c∈(0,π2))
- Majorations exponentiellement précises pour les valeurs propres de basse énergie (Théorème 1.4):
- Pour k≤⌊τξ/4⌋ (τ∈(0,1)), on a
ξλξ,k≤4k+2(1+ν)+C1e−C2ξ
ceci montrant que les valeurs propres de basse énergie se stabilisent exponentiellement vers 4k+2(1+ν)
- Caractérisation systématique des zéros-a de la fonction de Kummer (Théorème 1.5):
- Preuve que les zéros forment une suite strictement décroissante: ⋯<aξ,k<aξ,k−1<⋯<aξ,0<0
- Établissement de bornes précises pour les zéros non-asymptotiques: pour k≤⌊τξ/4⌋,
−k−C1e−C2ξ≤aξ,k<−k
Définition de l'opérateur: On considère sur L2(0,1) l'extension de Friedrichs:
undefined