Generic simplicity for self-adjoint operators under bounded potential perturbations

Resumen Técnico: Simplicidad Genérica para Operadores Autoadjuntos bajo Perturbaciones de Potencial Acotado

Planteamiento del Problema
El artículo aborda la clásica cuestión de si el espectro de un operador autoadjunto se vuelve simple (es decir, si todos sus autovalores tienen multiplicidad uno) tras una perturbación de orden cero genérica. Si bien esta propiedad está bien establecida para operadores elípticos en variedades compactas (notablemente a través del trabajo de Albert y Uhlenbeck), los autores buscan aislar el mecanismo perturbativo detrás de la simplicidad genérica sin depender de la regularidad elíptica específica o de las propiedades de prolongación única inherentes a esos modelos clásicos. El problema central es determinar si, dado un operador autoadjunto semibotado $L$ con resolvente compacto y un espacio de perturbaciones acotadas reales $Q$, el conjunto de potenciales $q \in Q$ para los cuales todos los autovalores de $L + M_q$ son simples es residual (denso $G_\delta$) en $Q$.

Metodología y Marco Abstracto
Los autores desarrollan un marco de perturbación espectral abstracto que separa el argumento de la simplicidad genérica de las cuestiones de regularidad específicas del operador.

1. Entorno Abstracto: Se asume que el operador base $L$ es autoadjunto, semibotado desde abajo y posee un resolvente compacto en un espacio de Hilbert $H = L^2(X)$. Las perturbaciones $M_q$ son operadores de multiplicación por funciones $q$ extraídas de un espacio de Fréchet real admisible $Q$, el cual se inserta continuamente en $L^\infty(X, \mathbb{R})$.
2. El Criterio de Escisión (Hipótesis H): El núcleo de la metodología es una condición de escisión de dimensión finita. Para un autovalor múltiple $\lambda$ de $L_q$ con espacio propio $E_{q,\lambda}$, los autores requieren la existencia de una perturbación $\sigma \in Q$ tal que el operador proyectado $G_\sigma := (P_{E_{q,\lambda}} M_\sigma)|_{E_{q,\lambda}}$ no sea un múltiplo escalar de la identidad.
3. Teoría de la Perturbación: La demostración utiliza la teoría de la perturbación analítica de Kato. Al considerar la familia $T(t) = L_q + tM_\sigma$, los autores muestran que los autovalores cerca de un autovalor múltiple $\lambda$ se escinden de acuerdo con los autovalores de $G_\sigma$. Si $G_\sigma$ no es un escalar, la multiplicidad del autovalor puede reducirse.
4. Argumento de Categoría de Baire: El conjunto de potenciales que producen autovalores simples se expresa como una intersección numerable de conjuntos abiertos y densos ($A_n$).
   • Apertura: Sigue de la continuidad Lipschitz de los autovalores con respecto a la norma $L^\infty$ del potencial (Lema 2.7).
   • Densidad: Se demuestra mostrando que, para cualquier operador con un autovalor múltiple, se puede encontrar una perturbación arbitrariamente pequeña que reduzca estrictamente la multiplicidad de dicho autovalor (Lemmas 2.10 y 2.11). Esto depende de la existencia de un $\sigma$ que satisfaga el criterio de escisión.
5. Suficiencia de Soporte: Un resultado técnico clave (Proposición 2.3 y Corolario 2.4) demuestra que si el espacio de perturbaciones $Q$ contiene $C^\infty_c(X^\circ, \mathbb{R})$, el criterio de escisión se satisface automáticamente. Crucialmente, esta demostración no requiere argumentos de prolongación única; se basa únicamente en la independencia lineal de productos de autofunciones en $L^1$.

Contribuciones Clave y Resultados

• Teorema 2.13 (Teorema Principal): Si $L$ es autoadjunto, semibotado, tiene resolvente compacto y el par $(L, Q)$ satisface la Hipótesis (H), entonces el conjunto de potenciales $q \in Q$ para los cuales todos los autovalores de $L+M_q$ son simples es residual en $Q$.
• Eliminación de Dependencias de Suavidad/Prolongación Única: A diferencia de enfoques previos (por ejemplo, Uhlenbeck [48]) que dependen de la suavidad de las autofunciones y de principios de prolongación única, este teorema abstracto se aplica a operadores donde las autofunciones pueden no ser suaves o donde la prolongación única no está garantizada, siempre que el espacio de perturbación sea lo suficientemente rico (contenga funciones suaves de soporte compacto).
• Aplicaciones a Operadores Sub-riemannianos y Degenerados:
  • Sub-laplacianos: El teorema se aplica a sub-laplacianos asociados a campos de vectores de Hörmander en variedades compactas. Esto produce un teorema de dominios nodales de Courant de forma residual para estos operadores (Proposición 3.1).
  • Operadores Máximamente Hiperelípticos: El marco cubre polinomios de campos de vectores que son máximamente hiperelípticos (que satisfacen la condición de Helffer–Nourrigat), extendiendo los resultados de simplicidad genérica a estos entornos no elípticos (Proposición 3.4).
  • Sumas de Cuadrados con Coeficientes Continuos: El resultado se aplica a operadores de la forma $\sum X_i^* a_{ij} X_j$ con coeficientes uniformemente elípticos continuos, donde el teorema de Courant se cumple para potenciales genéricos (Proposición 3.5).
• Aplicaciones a Dominios No Suaves y No Compactos:
  • Dominios Acotados: La teoría se aplica a Laplacianos de Dirichlet y Neumann en dominios Lipschitz, Laplacianos de Robin en conjuntos arbitrarios de medida finita, y operadores de Schrödinger magnéticos, incluso cuando el contorno es no suave (Ejemplos 3.7–3.12).
  • Espacios No Compactos: Los autores extienden los resultados a osciladores armónicos y anharmónicos, y a operadores de Schrödinger magnéticos en $\mathbb{R}^n$ donde el operador no perturbado tiene un resolvente compacto (Ejemplos 3.13–3.14).
• Hamiltoniano de Coulomb (Ejemplo 4.4): El artículo señala que la suposición de resolvente compacto no es estrictamente necesaria para el mecanismo en sí. Demuestra que para operadores con espectro esencial (como el Hamiltoniano de Coulomb), la simplicidad genérica se cumple para el espectro discreto por debajo del umbral del espectro esencial, siempre que las perturbaciones decaigan en el infinito.

Significado y Reivindicaciones
El artículo pretende aislar el "mecanismo perturbativo" detrás de la simplicidad genérica, desacoplándolo de las propiedades geométricas o analíticas específicas del operador (como la elipticidad o la suavidad de los coeficientes).

• Generalidad: Los autores enfatizan que su enfoque funciona para sub-laplacianos y operadores máximamente hiperelípticos donde las técnicas elípticas clásicas (como las de Uhlenbeck) no son directamente aplicables debido a la falta de autofunciones suaves o propiedades estándar de prolongación única.
• Robustez: El resultado se mantiene para perturbaciones acotadas en $L^\infty$, lo que permite aplicaciones a dominios con contornos no suaves donde las perturbaciones suaves hasta el contorno pueden no estar disponibles.
• Consecuencias Nodales: Al establecer la simplicidad genérica, el artículo permite la aplicación del teorema de dominios nodales de Courant a una clase más amplia de operadores, incluyendo Laplacianos sub-riemannianos, donde el límite sobre el número de dominios nodales es agudo para potenciales genéricos.

Los autores declaran explícitamente que no utilizan la suavidad de las autofunciones en la demostración del teorema abstracto y que su argumento de escisión de dimensión finita se lleva a cabo directamente en el espacio de Hilbert complejo $L^2(X, \mathbb{C})$, evitando la necesidad de bases de autofunciones reales. También aclaran que, si bien su trabajo extiende los resultados de Albert, no cubre las perturbaciones métricas (como las consideradas por Uhlenbeck), las cuales siguen siendo un tema para futuras extensiones al caso sub-riemanniano.