Eigenvalue stability of Hermitian and normal matrices

Resumo Técnico: Estabilidade de Autovalores de Matrizes Hermitianas e Normais

1. Problema e Motivação

O artigo aborda a teoria de perturbação de operadores hermitianos e normais, focando especificamente na regularidade e continuidade da aplicação que mapeia uma família de matrizes para a família de seus autovalores (o "mapa característico").

• Contexto Histórico: A teoria analítica clássica (Rellich, Kato) garante que, para curvas analíticas ou suaves de matrizes, existem sistemas de autovalores e autovetores analíticos/suaves. No entanto, para famílias menos regulares (como funções Lipschitz ou em espaços de Sobolev), a existência de autovetores contínuos falha frequentemente, e a regularidade dos autovalores torna-se um problema delicado.
• A Questão Central: O mapa que ordena os autovalores de matrizes hermitianas (ou os trata como um conjunto não ordenado para matrizes normais) é contínuo quando atuado por superposição em espaços de Sobolev $W^{1,q}$ e em espaços Lipschitz ($C^{0,1}$)?
• Limitações Conhecidas: Sabe-se que o mapa é Lipschitz contínuo em relação à norma do operador (Teorema de Perturbação de Weyl), mas a continuidade em topologias mais fortes (como a topologia Lipschitz $C^{0,1}$ no domínio e no contradomínio) falha. O objetivo é determinar a regularidade exata e a continuidade deste mapa em espaços de Sobolev.

2. Metodologia

Os autores utilizam uma combinação de análise funcional, teoria de perturbação de matrizes e geometria de espaços métricos de funções multivaloradas.

• Decomposição Unitária Uniforme (Lema de Divisão): Um ingrediente chave é um lema de divisão (splitting lemma) para matrizes triangulares complexas, que permite uma bloqueio-diagonalização unitária local uniforme. Sempre que os autovalores não coincidem todos, é possível diagonalizar localmente a matriz em blocos menores de forma suave (Nash), preservando a estrutura hermitiana ou normal. Isso permite uma prova por indução no tamanho da matriz $d$.
• Funções Sobolev Multivaloradas (Almgren): Para matrizes normais, os autovalores são números complexos sem uma ordem canônica global. Os autores tratam os autovalores como funções com valores no espaço de $d$-tuplas não ordenadas $\mathbb{A}^d(\mathbb{C})$. Utilizam a teoria de Almgren e De Lellis-Spadaro para definir espaços de Sobolev $W^{1,q}(U, \mathbb{A}^d(\mathbb{C}))$ via mergulhos bi-Lipschitz em $\mathbb{R}^N$.
• Técnicas de Análise:
  • Uso do Teorema de Perturbação de Weyl e do Teorema de Löwner para obter limites Lipschitz.
  • Aplicação do Teorema de Convergência de Vitali e critérios de integrabilidade uniforme (de la Vallée Poussin) para lidar com a convergência das derivadas.
  • Argumentos de "corte" (sectioning) para estender resultados unidimensionais para o caso multiparamétrico ($m > 1$).
  • Análise de conjuntos nulos e pontos de acumulação onde os autovalores colidem.

3. Principais Contribuições e Resultados

A. Caso Hermitiano (Autovalores Reais Ordenados)
Seja $E: W^{1,q}(U, \text{Herm}(d)) \to W^{1,q}(U, \mathbb{R}^d)$ o mapa que associa a uma família de matrizes hermitianas seus autovalores ordenados crescentemente.

1. Continuidade em Sobolev ($1 \le q < \infty$): O mapa $E$ é contínuo em $W^{1,q}$. Se $A_n \to A$ em $W^{1,q}$, então $E(A_n) \to E(A)$ em $W^{1,q}$.
   • Nota: A continuidade não é uniforme em $W^{1,q}$.
2. Caso Lipschitz ($q = \infty$): O mapa $E: C^{0,1} \to C^{0,1}$ não é contínuo na topologia Lipschitz natural. No entanto, é contínuo se o contradomínio for equipado com a topologia induzida por $W^{1,q}$ (para qualquer $q < \infty$) ou com a topologia de Hölder $C^{0,\alpha}$ para $0 < \alpha < 1$.
3. Convergência Ponto a Ponto: Se $A_n \to A$ em $C^{0,1}$, então as derivadas dos autovalores convergem quase em toda parte: $\partial_j E(A_n)(x) \to \partial_j E(A)(x)$.

B. Caso Normal (Autovalores Complexos Não Ordenados)
Para matrizes normais, os autovalores são tratados como funções multivaloradas em $\mathbb{A}^d(\mathbb{C})$.

1. Continuidade Generalizada: O mapa característico $E_u: W^{1,q}(U, \text{Norm}(d)) \to W^{1,q}(U, \mathbb{A}^d(\mathbb{C}))$ é contínuo para todo $1 \le q < \infty$.
2. Parâmetros: Resultados análogos ao caso hermitiano são estabelecidos para o caso uniparamétrico e multiparamétrico, incluindo a convergência quase em toda parte das derivadas no caso Lipschitz.

C. Otimização e Contraexemplos
Os autores demonstram que seus resultados são essencialmente ótimos através de exemplos que mostram:

• A falta de continuidade no mapa $C^{0,1} \to C^{0,1}$.
• A falta de continuidade uniforme em $C^{0,1} \to C^{0,1}_q$ (topologia de Sobolev restrita a Lipschitz).
• A falta de continuidade uniforme em $C^{0,1} \to C^{0,\alpha}$ para qualquer $\alpha \in (0,1)$.
• A impossibilidade de representar autovalores de famílias multiparamétricas de matrizes normais por funções contínuas (exemplo clássico de matriz com autovalores que giram em torno da origem).

D. Aplicações
Os resultados são aplicados para estabelecer a estabilidade de:

1. Valores Singulares: O mapa de valores singulares é contínuo em $W^{1,q}$ e $C^{0,1}$ (com topologias adequadas).
2. Números de Condição: O número de condição $\kappa(A)$ varia continuamente em famílias de matrizes em $W^{1,q}$, desde que a matriz seja não-singular.
3. Área de Superfície: A área da superfície dos gráficos dos autovalores converge sob perturbações Lipschitz.
4. Operadores Compactos Autoadjuntos: Estende-se a estabilidade para famílias de operadores compactos autoadjuntos em espaços de Hilbert, provando que os autovalores ordenados pertencem a $C^{0,1}$ e suas derivadas convergem quase em toda parte.

4. Significado e Impacto

• Superação de Limitações Polinomiais: Os resultados para matrizes são mais fortes do que os conhecidos para polinômios (solução de equações polinomiais). Enquanto para polinômios a regularidade Sobolev ótima depende do grau $d$ ($W^{1,q}$ com $q < d/(d-1)$), para matrizes a regularidade $W^{1,q}$ vale para todo $1 \le q < \infty$, independentemente da dimensão $d$.
• Independência Dimensional: A estabilidade é global e não depende do tamanho da matriz, o que é crucial para aplicações em análise funcional (operadores compactos).
• Fundamentação Teórica: O trabalho fornece a base rigorosa para o uso de autovalores em problemas de otimização, mecânica quântica e análise numérica onde os dados de entrada possuem apenas regularidade Sobolev ou Lipschitz, garantindo que quantidades derivadas (como energia, entropia de von Neumann, etc.) mantenham a regularidade esperada.
• Novas Ferramentas: A introdução sistemática de funções Sobolev multivaloradas (no sentido de Almgren) para o estudo de autovalores de matrizes normais abre novas perspectivas para o estudo de variedades singulares e geometria de conjuntos de autovalores.

Em suma, o artigo estabelece que, embora a escolha contínua de autovetores seja impossível em geral, a estabilidade dos autovalores (como um conjunto ordenado ou não ordenado) é robusta e preserva a regularidade Sobolev $W^{1,q}$ para todo $q < \infty$, sendo apenas a topologia Lipschitz pura ($C^{0,1}$) que falha em manter a continuidade do mapa característico.