On the discrete spectrum of non-selfadjoint operators with applications to Schrödinger operators with complex potentials

Este trabajo establece un nuevo límite superior para el número de valores propios discretos de operadores no autoadjuntos en términos de una traza parcial del operador de Birman-Schwinger, generalizando así la desigualdad de Cwikel-Lieb-Rozenblum y derivando nuevas desigualdades de tipo Lieb-Thirring para operadores de Schrödinger con potenciales complejos.

Lo esencial

Imagina que estás en un gran concierto (el universo de las matemáticas y la física) donde la música es gobernada por reglas muy estrictas. En el mundo "normal" (lo que los matemáticos llaman autoadjunto), las reglas son como las de un reloj suizo: todo es predecible, simétrico y ordenado. Si tocas una nota, sabes exactamente dónde caerá y cuántas veces se repetirá.

Pero, ¿qué pasa si introducimos un poco de "caos" o "magia" en el sistema? Imagina que el director de orquesta empieza a tocar notas que no existen en la partitura original, o que el sonido se distorsiona de formas extrañas. Esto es lo que sucede con los operadores no autoadjuntos (como los que estudian Sabine Bögli y Sukrid Petpraditha en este artículo). Aquí, las "notas" (llamadas valores propios o eigenvalores) pueden volverse locas: pueden ser números complejos, acumularse en lugares raros y hacer que el sistema sea mucho más difícil de predecir.

El Problema: ¿Cuántas notas "locas" podemos tener?

Los científicos siempre han querido saber: "Si metemos un poco de caos (un potencial complejo) en un sistema, ¿cuántas notas extrañas (valores propios) pueden aparecer antes de que el sistema se rompa?"

En el mundo ordenado (autoadjunto), ya teníamos una regla muy famosa llamada la Desigualdad CLR (Cwikel-Lieb-Rozenblum). Era como un "contador de invitados" que decía: "No importa cuán fuerte sea la música, el número de invitados en la sala de baile nunca superará X".

Pero en el mundo del caos (no autoadjunto), esta regla se rompió. Se descubrió que podías tener infinitas notas "locas" acumulándose en los bordes de la sala, y el viejo contador no servía. Nadie había encontrado una nueva regla para contar estas notas en el lado "complejo" del sistema.

La Solución: Un Nuevo Contador Mágico

Los autores de este artículo han construido un nuevo contador que funciona incluso en el caos.

1. La Metáfora del Espejo (Principio de Birman-Schwinger):
   Imagina que tienes un espejo mágico. En lugar de mirar directamente a la sala de conciertos llena de caos, miras la reflexión en el espejo. Los autores dicen: "Si quieres saber cuántas notas locas hay en la sala, no las cuentes directamente. Cuenta cuántas veces el espejo refleja un 'no' (-1) en su superficie".

   Este "espejo" es una herramienta matemática llamada operador de Birman-Schwinger. En el mundo ordenado, ya sabíamos usar este espejo. Pero en el mundo del caos, el espejo se distorsiona. Los autores tuvieron que inventar una nueva forma de mirar el reflejo, usando lo que llaman espacios de productos tensoriales antisimétricos.

   Analogía simple: Imagina que tienes un grupo de bailarines. En el mundo normal, si quieres contar cuántos pares pueden formarse, simplemente los emparejas. En el mundo del caos, los bailarines se cruzan y se mezclan de formas extrañas. Los autores crearon una "cámara de fotos especial" (el producto tensorial) que congela el movimiento y les permite contar los pares de una manera que el ojo humano no podría ver, incluso cuando todo está desordenado.

2. El Nuevo Contador (La Desigualdad Generalizada):
   Gracias a este nuevo método, han logrado crear una fórmula que dice:

   "El número de notas locas en una zona específica del concierto (un semiplano alejado de la música normal) está limitado por la 'fuerza' del caos que introdujiste."

   Es como decir: "No importa cuán loca sea la música, si el volumen del caos (el potencial complejo) es bajo, el número de notas extrañas no puede ser infinito en esa zona específica".

¿Por qué es importante esto?

• Cerrando la brecha: Antes, teníamos reglas para el mundo ordenado y sabíamos que el mundo del caos era peligroso. Ahora tenemos un mapa para navegar el caos.
• Nuevas reglas de seguridad (Desigualdades de Lieb-Thirring): Han derivado nuevas reglas que no solo cuentan las notas, sino que también miden "cuán locas" son. Esto es vital para entender la estabilidad de la materia en condiciones extremas (como en estrellas de neutrones o sistemas cuánticos complejos).
• Precisión: Han demostrado que sus reglas son las mejores posibles en ciertos casos (son "óptimas"), lo que significa que no se pueden mejorar más sin cambiar las reglas del juego.

En resumen

Imagina que el universo es una gran orquesta.

• Antes: Sabíamos contar cuántos músicos había si la música era perfecta.
• El problema: Cuando la música se vuelve extraña y compleja (con "potenciales complejos"), el contador antiguo fallaba y podíamos tener infinitos músicos fantasma.
• La solución de este artículo: Han creado un nuevo tipo de gafas mágicas (usando productos tensoriales y el principio de Birman-Schwinger) que les permiten contar cuántos músicos fantasma hay, incluso en medio del caos, asegurando que el número nunca exceda un límite calculable basado en cuán fuerte es el "ruido" introducido.

Es un avance fundamental que nos permite entender y predecir el comportamiento de sistemas cuánticos que antes parecían demasiado caóticos para ser estudiados con precisión.

Resumen técnico

1. Planteamiento del Problema

El artículo aborda el problema de estimar el número y la distribución de los valores propios discretos de operadores no autoadjuntos, específicamente perturbaciones de operadores autoadjuntos no negativos. El foco principal se centra en los operadores de Schrödinger con potenciales complejos ($H = -\Delta + V$, donde $V$ es compleja).

Contexto y Desafíos:

• Caso Autoadjunto: En el caso clásico (potenciales reales), existen desigualdades fundamentales como la de Cwikel-Lieb-Rozenblum (CLR) y Lieb-Thirring (LT) que acotan el número de valores propios negativos o sus sumas de potencias en términos de normas $L^p$ del potencial. Estas desigualdades se basan en el principio de Birman-Schwinger y principios variacionales.
• Caso No Autoadjunto: Cuando el potencial es complejo, los valores propios pueden ser no reales y acumularse en cualquier punto del espectro esencial $[0, \infty)$.
  • Se ha demostrado que la desigualdad CLR clásica no se cumple para todos los valores propios en el caso no autoadjunto (el número total de valores propios no está controlado por la norma $L^{d/2}$ del potencial).
  • Las técnicas de prueba anteriores para el caso no autoadjunto (como las de Frank et al.) funcionaban bien para exponentes $\gamma \ge 1$ en las desigualdades de Lieb-Thirring, pero fallaban para $0 \le \gamma < 1$ debido a la falta de convexidad en las funciones involucradas.
• Objetivo: Establecer cotas superiores para el número de valores propios en semiplanos complejos separados del eje real positivo y generalizar las desigualdades CLR y LT a potenciales complejos, cubriendo el régimen de $\gamma < 1$.

2. Metodología

Los autores desarrollan un enfoque abstracto basado en el principio de Birman-Schwinger adaptado al contexto no autoadjunto, utilizando herramientas de espacios de productos tensoriales antisimétricos.

Pasos Clave de la Metodología:

1. Estimación Abstracta de Conteo (Teorema 2):

   • Consideran un operador autoadjunto no negativo $H_0$ y una perturbación relativamente compacta en forma.
   • Definen el operador de Birman-Schwinger $S = (H_0 + \varepsilon)^{-1/2} V (H_0 + \varepsilon)^{-1/2}$.
   • Demuestran que el número $N$ de valores propios en un semiplano $\{ \lambda : \text{Re} \lambda + \alpha \text{Im} \lambda < -\varepsilon \}$ está acotado por la suma de los primeros $N$ valores propios del operador autoadjunto $-\text{Re} S - \alpha \text{Im} S$.
   • Innovación Técnica: A diferencia del caso autoadjunto donde se usa el principio variacional, aquí utilizan productos tensoriales antisimétricos ($\wedge^N \mathcal{H}$). Esto permite trabajar con la parte geométrica de los valores propios y luego manejar las cadenas de Jordan mediante una perturbación específica (Lema 7) que descompone las cadenas de Jordan en valores propios semisimples, permitiendo aplicar estimaciones de trazas parciales.

2. Aplicación a Operadores de Schrödinger:

   • Aplican el teorema abstracto al operador $-\Delta + V$ en $L^2(\mathbb{R}^d)$.
   • Utilizan estimaciones de la clase de Schatten débil debidas a Cwikel para acotar la traza parcial del operador de Birman-Schwinger en términos de la norma $L^p$ de la parte real del potencial (rotada).

3. Extensión a Desigualdades de Lieb-Thirring:

   • Utilizan la cota de conteo obtenida para integrar y derivar desigualdades de suma de potencias (Riesz means) para valores propios en semiplanos y fuera de sectores.

3. Contribuciones y Resultados Principales

A. Generalización de la Desigualdad Cwikel-Lieb-Rozenblum (CLR)

El Teorema 9 establece una cota para el número de valores propios en un semiplano complejo:
$$N(\text{Re} \lambda + \alpha \text{Im} \lambda < -\varepsilon; -\Delta + V) \le C_{d,p} \varepsilon^{-\gamma} \int_{\mathbb{R}^d} (\text{Re} V(x) + \alpha \text{Im} V(x))_-^p \, dx$$
donde $p = d/2 + \gamma$.

• Significado: Esto cierra una brecha en la teoría al proporcionar una versión no autoadjunta de la desigualdad CLR que es válida en regiones del plano complejo que no intersectan el espectro esencial.
• Optimalidad: Se demuestra que la constante es aguda (sharp) en el caso unidimensional ($d=1, p=1$).

B. Nuevas Desigualdades de Lieb-Thirring (LT)

El Teorema 14 y el Teorema 17 generalizan las desigualdades LT para potenciales complejos:

1. En semiplanos: Se acota la suma de potencias de los valores propios en un semiplano $\text{Re} \lambda + \alpha \text{Im} \lambda < 0$ para un rango más amplio de $\gamma$ (incluyendo $0 \le \gamma < 1$), superando las limitaciones de trabajos anteriores que requerían $\gamma \ge 1$.
2. Sobre todo el espectro discreto: Se derivan desigualdades que involucran la distancia al espectro esencial, $\text{dist}(\lambda, [0, \infty))$. El Teorema 17 muestra que:
   $$\sum_{\lambda \in \sigma_d} \frac{\text{dist}(\lambda, [0, \infty))^p}{|\lambda|^{d/2}} f\left(-\log\frac{\text{dist}(\lambda, [0, \infty))}{|\lambda|}\right) \le C \int |V|^p$$
   Esto proporciona información cuantitativa sobre la tasa de acumulación de los valores propios hacia el espectro esencial.

C. Método de Prueba para $\gamma < 1$

El artículo resuelve el problema abierto de cómo probar desigualdades tipo Lieb-Thirring para $0 \le \gamma < 1$ en el caso no autoadjunto. La estrategia tradicional basada en la convexidad de $x \mapsto x^\gamma$ falla aquí. La solución de los autores es evitar la convexidad directa sobre los valores propios y, en su lugar, trabajar con la traza parcial del operador de Birman-Schwinger en espacios tensoriales antisimétricos, donde las desigualdades de Fan y Hardy-Littlewood-Pólya pueden aplicarse de manera efectiva.

4. Significado e Impacto

1. Unificación Teórica: El trabajo conecta la teoría de perturbaciones de forma compacta con el principio de Birman-Schwinger en un marco no autoadjunto, algo que no había sido establecido anteriormente de esta manera general.
2. Superación de Limitaciones: Permite el estudio de operadores de Schrödinger con potenciales complejos en regímenes de parámetros ($\gamma < 1$) que antes eran inaccesibles con las técnicas existentes.
3. Control de la Acumulación Espectral: Proporciona herramientas cuantitativas para entender cómo se comportan los valores propios complejos cerca del espectro esencial, un fenómeno crítico en sistemas no conservativos y en física matemática (e.g., óptica, mecánica cuántica con disipación).
4. Optimalidad: Al discutir la agudeza de las constantes y proporcionar contraejemplos para ciertas condiciones, el artículo delimita claramente los límites de validez de estas estimaciones en el caso complejo.

En resumen, este artículo representa un avance fundamental en el análisis espectral de operadores no autoadjuntos, extendiendo las herramientas clásicas de la física matemática (CLR y LT) a un contexto más general y físicamente relevante (potenciales complejos), mediante una innovación técnica en el uso de espacios tensoriales antisimétricos.