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 del artículo: 2511.20025
- Título: 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
- Autor: Roman Vanlaere (CEREMADE, Université Paris-Dauphine PSL, CNRS)
- Clasificación: math.CA (Análisis Clásico), math.SP (Teoría Espectral)
- Fecha de envío: 21 de noviembre de 2025
- Enlace del artículo: https://arxiv.org/abs/2511.20025
Este artículo describe con precisión la parte inferior del espectro de un operador de Schrödinger armónico con potencial de inverso cuadrado en el límite semiclásico. Mediante la explotación de la conexión entre las funciones propias de estos operadores y las funciones de Kummer y Whittaker, el autor deduce resultados de localización exacta sobre ceros no asintóticos del primer parámetro de estas funciones, que son uniformes para argumentos reales grandes. El análisis espectral se basa en métodos de tipo WKB.
Este artículo estudia el comportamiento espectral en el límite semiclásico ξ→+∞ del operador de Schrödinger con potencial singular de inverso cuadrado definido en el intervalo acotado (0,1):
Gξ=−∂x2+ξ2x2+x2ν2−1/4
donde ξ>0 es el parámetro semiclásico y ν≥0 es un parámetro fijo.
- Significado teórico: El potencial de inverso cuadrado ocupa un lugar importante en la mecánica cuántica, pero el análisis espectral en intervalos acotados presenta dificultades técnicas, ya que la singularidad en el borde hace que los métodos estándar de análisis semiclásico sean difíciles de aplicar directamente.
- Conexión con funciones especiales: Las funciones propias del operador pueden expresarse explícitamente mediante funciones de Kummer (funciones hipergeométricas confluentes), lo que establece una conexión profunda entre la teoría espectral y la teoría de ceros de funciones especiales.
- Vacío en la literatura: La literatura existente carece de un estudio sistemático de los ceros del primer parámetro a de la función de Kummer (ceros-a). El comportamiento asintótico conocido a∼−k2π2/4z no cubre todas las soluciones, y faltan estimaciones uniformes respecto al argumento.
- Dificultades del análisis semiclásico: Los métodos WKB tradicionales requieren que la función potencial tenga suficiente regularidad en los bordes del intervalo, pero el potencial de inverso cuadrado es singular en x=0.
- Resultados conocidos sobre ceros de funciones especiales:
- Los ceros-z de la función de Kummer (ceros respecto al argumento) han sido estudiados más extensamente
- Los ceros respecto al parámetro a solo tienen fórmulas asintóticas imprecisas o aproximaciones numéricas
- Falta una caracterización sistemática de ceros no asintóticos
- Diferencia entre la línea completa e intervalos acotados: Cuando se considera en la línea completa R+, las funciones propias deben ser cuadrado integrables, lo que fuerza que el parámetro a=−k sea un entero negativo, haciendo que la función de Kummer degenere en un polinomio (polinomio de Laguerre), y los valores propios se obtienen explícitamente. Sin embargo, en intervalos acotados, las condiciones de frontera cambian la naturaleza del problema.
Las contribuciones principales del artículo incluyen:
- Establecer la correspondencia exacta entre valores propios y ceros de Kummer (Teoremas 1.1 y 1.2):
- Se demuestra que λ es un valor propio de Gξ si y solo si a=−(λ−2ξ(1+ν))/(4ξ) satisface M(a,1+ν,ξ)=0
- Estimaciones bilaterales de valores propios (Teorema 1.3):
- Cota inferior: λξ,k/ξ>4k+2(1+ν) (desigualdad estricta)
- Cota inferior mejorada para k grande: λξ,k≥ck2 (existe c∈(0,π2))
- Cota superior exponencialmente exacta para valores propios de baja energía (Teorema 1.4):
- Para k≤⌊τξ/4⌋ (τ∈(0,1)), se tiene
ξλξ,k≤4k+2(1+ν)+C1e−C2ξ
lo que indica que los valores propios de baja energía se estabilizan a 4k+2(1+ν) a velocidad exponencial
- Caracterización sistemática de ceros-a de funciones de Kummer (Teorema 1.5):
- Se demuestra que los ceros forman una sucesión estrictamente decreciente: ⋯<aξ,k<aξ,k−1<⋯<aξ,0<0
- Se establece la cota exacta para ceros no asintóticos: para k≤⌊τξ/4⌋,
−k−C1e−C2ξ≤aξ,k<−k
Definición del operador: Se considera la extensión de Friedrichs en L2(0,1):
undefined