Cone Minimax Principles for Non-Selfadjoint Operator Pencils

Resumen Técnico: Principios de Minimax de Conos para Lápices de Operadores No Autoadjuntos

Planteamiento del Problema
El artículo aborda el análisis espectral de lápices de operadores no autoadjuntos de la forma $Lu = \lambda Gu$, donde $L$ es un operador lineal acotado (no necesariamente autoadjunto o invertible) y $G$ es un operador de peso que puede ser singular. Las teorías variacionales estándar, tales como el principio de Courant–Fischer y la minimización del cociente de Rayleigh, son generalmente inaplicables para operadores no autoadjuntos. Si bien existen métodos basados en la positividad (por ejemplo, Perrón–Frobenius, Krein–Rutman), estos requieren típicamente que el operador sea autoadjunto, que el peso sea invertible o que el resolvente sea positivo. Los autores buscan una caracterización variacional para niveles espectrales reales seleccionados en entornos donde estas suposiciones estándar fallan, específicamente cuando $G$ es singular y el operador carece de una estructura de resolvente positiva.

Metodología
La metodología central introduce un cociente de Rayleigh de dos variables extendido definido sobre pares admisibles de vectores dentro de un cono ordenado $S$ y su parte estrictamente positiva $S_o$:
$$R(u, v) = \frac{\langle Lu, v \rangle}{(Gu, v)_H}$$
donde $u$ y $v$ son variables de cono independientes. Se asume que el denominador es positivo en pares de conos mixtos.

Los autores definen dos niveles minimax principales:

1. Nivel sup–inf derecho: $\lambda = \sup_{u \in S \setminus \{0\}} \inf_{v \in S_o} R(u, v)$
2. Nivel inf–sup izquierdo: $\lambda = \inf_{v \in S \setminus \{0\}} \sup_{u \in S_o} R(u, v)$

El marco de trabajo se basa en el concepto de cuasi-autovalores de cono y cuasi-autovectores, definidos no por ecuaciones de autovalores algebraicos, sino por la realización de estos perfiles minimax. La teoría se desarrolla en tres etapas:

1. Marco Abstracto: Establecer la relación entre los niveles minimax y los cuasi-autovalores en un entorno general de espacio de Banach-Hilbert.
2. Aproximación Discreta: Aplicar el marco a aproximaciones de Galerkin de dimensión finita (específicamente elementos finitos conformes), demostrando que bajo condiciones de positividad estricta y exclusión de frontera, los niveles minimax discretos colapsan en pares derecha-izquierda de autovalores exactos.
3. Límite Continuo: Pasar al límite de dimensión infinita utilizando argumentos de compacidad y condiciones de positividad fuerte (formulaciones de cono del principio de máximo fuerte) para identificar el valor minimax continuo con el valor espectral del lápiz.

Contribuciones Clave y Resultados

• Caracterización Variacional: El artículo establece que si existe un par de autovectores derecha-izquierda estrictamente positivo, el autovalor asociado coincide con el valor común de los niveles minimax ($\hat{\lambda} = \lambda = \lambda$). Crucialmente, el método produce un "nivel de cono" real incluso cuando el operador no tiene autovalores reales (por ejemplo, en casos donde el espectro no real es "invisible" para el test del cono debido a la parte antisimétrica).
• Atrapamiento y Principios de Punto de Silla: Los autores demuestran que cada cuasi-autovalor de cono está atrapado entre los dos niveles minimax ($\lambda \leq \lambda^* \leq \lambda$). Si los vectores que lo realizan son estrictamente positivos, los niveles colapsan y el valor común admite una interpretación de punto de silla.
• Certificados Espectrales A Posteriori: Un resultado central es la provisión de cotas de un solo lado computables. Para cualquier par de vectores de prueba admisibles $u$ y $v$, las cantidades $\lambda_R(u) = \inf_{v} R(u, v)$ y $\lambda_L(v) = \sup_{u} R(u, v)$ satisfacen $\lambda_R(u) \leq \hat{\lambda} \leq \lambda_L(v)$. Esto permite la verificación directa de cotas sin resolver el problema de autovalores completo.
• Estabilidad en Dimensión Finita: El artículo demuestra que el valor minimax continuo es el límite de los valores minimax discretos obtenidos mediante aproximaciones estándar de elementos finitos. Los niveles discretos proporcionan pares de autovalores exactos para el lápiz discretizado, y su convergencia al límite continuo está garantizada bajo supuestos de elipticidad uniforme y positividad fuerte.
• Estimaciones de Perturbación: Los autores derivan cotas de perturbación de un solo lado. A diferencia de la teoría de perturbación analítica clásica que depende de las derivadas de autovalores aislados, este método acota la variación del nivel espectral utilizando cantidades de un solo lado derivadas de los cuasi-autovectores. Se muestra que estas estimaciones son agudas en ejemplos modelo.
• Manejo de Pesos Singulares: El método trata con éxito casos donde $G$ es singular (no invertible), un escenario donde los enfoques de resolvente desplazado (Krein–Rutman) suelen fallar o requieren desplazamientos auxiliares.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona una herramienta variacional y computacional para valores espectrales reales seleccionados de lápices de operadores no autoadjuntos, particularmente en entornos de cono ordenado donde la teoría autoadulta estándar es inaplicable y los métodos basados en positividad no son directamente utilizables.

Aspectos clave de la significancia del artículo incluyen:

• Independencia de la Positividad del Resolvente: El método trata el cociente $R(u, v)$ como el objeto primario, evitando la necesidad de construir un resolvente positivo o desplazar el operador para asegurar la invertibilidad.
• Computabilidad Práctica: El marco genera certificados espectrales a posteriori. La brecha entre las cotas inferior y superior (la brecha primal-dual) sirve como un criterio de parada práctico para las aproximaciones numéricas.
• Robustez: La teoría acomoda pesos singulares y sistemas no cooperativos (donde el cono estándar de componentes positivas no es invariante), extendiendo el alcance del análisis espectral variacional más allá de los casos tradicionales cooperativos o autoadjuntos.
• Unificación: Unifica las fórmulas clásicas de Collatz–Wielandt y Birkhoff–Varga para matrices con la teoría espectral de lápices de operadores elípticos, ofreciendo un enfoque consistente tanto para problemas de dimensión finita como de dimensión infinita.

El artículo concluye que el enfoque de minimax de cono ofrece una alternativa robusta para el análisis espectral, proporcionando no solo resultados de existencia, sino también cotas verificables directamente y estimaciones de aproximación para sistemas no autoadjuntos.