Generic simplicity for self-adjoint operators under bounded potential perturbations

Resumo Técnico: Simplicidade Genérica para Operadores Autoadjuntos sob Perturbações de Potencial Limitado

Enunciado do Problema
O artigo aborda a questão clássica de se o espectro de um operador autoadjunto torna-se simples (ou seja, todos os seus autovalores têm multiplicidade um) após uma perturbação de ordem zero genérica. Embora essa propriedade seja bem estabelecida para operadores elípticos em variedades compactas (notadamente através do trabalho de Albert e Uhlenbeck), os autores buscam isolar o mecanismo perturbativo por trás da simplicidade genérica sem depender da regularidade elíptica específica ou das propriedades de continuidade única inerentes a esses modelos clássicos. O problema central é determinar se, dado um operador autoadjunto sem limite inferior $L$ com resolvente compacta e um espaço de perturbações reais limitadas $Q$, o conjunto de potenciais $q \in Q$ para os quais todos os autovalores de $L + M_q$ são simples é residual (denso $G_\delta$) em $Q$.

Metodologia e Estrutura Abstrata
Os autores desenvolvem uma estrutura de perturbação espectral abstrata que separa o argumento de simplicidade genérica das questões de regularidade específicas do operador.

1. Configuração Abstrata: O operador base $L$ é assumido como autoadjunto, sem limite inferior, possuindo um resolvente compacto em um espaço de Hilbert $H = L^2(X)$. As perturbações $M_q$ são operadores de multiplicação por funções extraídas de um espaço de Fréchet real admissível $Q$, continuamente imerso em $L^\infty(X, \mathbb{R})$.
2. O Critério de Divisão (Hipótese H): O núcleo da metodologia é uma condição de divisão de dimensão finita. Para um autovalor múltiplo $\lambda$ de $L_q$ com subespaço próprio $E_{q,\lambda}$, os autores exigem a existência de uma perturbação $\sigma \in Q$ tal que o operador projetado $G_\sigma := (P_{E_{q,\lambda}} M_\sigma)|_{E_{q,\lambda}}$ não seja um múltiplo escalar da identidade.
3. Teoria de Perturbação: A prova utiliza a teoria de perturbação analítica de Kato. Ao considerar a família $T(t) = L_q + tM_\sigma$, os autores mostram que os autovalores próximos a um autovalor múltiplo $\lambda$ se dividem de acordo com os autovalores de $G_\sigma$. Se $G_\sigma$ não for um escalar, a multiplicidade do autovalor pode ser reduzida.
4. Argumento de Categoria de Baire: O conjunto de potenciais que produzem autovalores simples é expresso como uma interseção enumerável de conjuntos abertos e densos ($A_n$).
   • Abertura: Segue da continuidade Lipschitz dos autovalores em relação à norma $L^\infty$ do potencial (Lema 2.7).
   • Densidade: Provada mostrando que, para qualquer operador com um autovalor múltiplo, é possível encontrar uma perturbação arbitrariamente pequena que reduza estritamente a multiplicidade desse autovalor (Lemmas 2.10 e 2.11). Isso depende da existência de um $\sigma$ que satisfaça o critério de divisão.
5. Suficiência de Suporte: Um resultado técnico fundamental (Proposição 2.3 e Corolário 2.4) demonstra que, se o espaço de perturbações $Q$ contém $C^\infty_c(X^\circ, \mathbb{R})$, o critério de divisão é automaticamente satisfeito. Crucialmente, esta prova não requer argumentos de continuidade única; ela depende apenas da independência linear de produtos de autofunções em $L^1$.

Contribuições Principais e Resultados

• Teorema 2.13 (Teorema Principal): Se $L$ é autoadjunto, sem limite inferior, possui resolvente compacta e o par $(L, Q)$ satisfaz a Hipótese (H), então o conjunto de potenciais $q \in Q$ para os quais todos os autovalores de $L+M_q$ são simples é residual em $Q$.
• Remoção de Dependências de Suavidade/Continuidade Única: Diferente de abordagens anteriores (ex: Uhlenbeck [48]) que dependem da suavidade das autofunções e princípios de continuidade única, este teorema abstrato aplica-se a operadores onde as autofunções podem não ser suaves ou onde a continuidade única não é garantida, desde que o espaço de perturbação seja rico o suficiente (contenha funções suaves de suporte compacto).
• Aplicações a Operadores Sub-Riemannianos e Degenerados:
  • Sub-Laplacianos: O teorema aplica-se a sub-laplacianos associados a campos de vetores de Hörmander em variedades compactas. Isso resulta em um teorema de domínio nodal de Courant residual para esses operadores (Proposição 3.1).
  • Operadores Maximamente Hipoelípticos: A estrutura cobre polinômios de campos de vetores que são maximamente hipoelípticos (satisfazendo a condição de Helffer–Nourrigat), estendendo os resultados de simplicidade genérica para estes cenários não elípticos (Proposição 3.4).
  • Somas de Quadrados com Coeficientes Contínuos: O resultado aplica-se a operadores da forma $\sum X_i^* a_{ij} X_j$ com coeficientes uniformemente elípticos contínuos, onde o teorema de Courant é válido para potenciais genéricos (Proposição 3.5).
• Aplicações a Domínios Não Suaves e Não Compactos:
  • Domínios Limitados: A teoria aplica-se a Laplacianos de Dirichlet e Neumann em domínios Lipschitz, Laplacianos de Robin em conjuntos arbitrários de medida finita, e operadores de Schrödinger magnéticos, mesmo quando a fronteira é não suave (Exemplos 3.7–3.12).
  • Espaços Não Compactos: Os autores estendem os resultados para osciladores harmônicos e anarmônicos e operadores de Schrödinger magnéticos em $\mathbb{R}^n$ onde o operador não perturbado possui um resolvente compacta (Exemplos 3.13–3.14).
• Hamiltoniano de Coulomb (Exemplo 4.4): O artigo observa que a suposição de resolvente compacta não é estritamente necessária para o mecanismo em si. Demonstra que, para operadores com espectro essencial (como o Hamiltoniano de Coulomb), a simplicidade genérica ocorre para o espectro discreto abaixo do limiar do espectro essencial, desde que as perturbações decaiam no infinito.

Significância e Alegações
O artigo afirma isolar o "mecanismo perturbativo" por trás da simplicidade genérica, desacoplando-o das propriedades geométricas ou analíticas específicas do operador (como elipticidade ou suavidade dos coeficientes).

• Generalidade: Os autores enfatizam que sua abordagem funciona para sub-laplacianos e operadores maximamente hipoelípticos onde as técnicas elípticas clássicas (como as de Uhlenbeck) não são diretamente aplicáveis devido à falta de autofunções suaves ou propriedades padrão de continuidade única.
• Robustez: O resultado mantém-se para perturbações limitadas em $L^\infty$, permitindo aplicações em domínios com fronteiras não suaves onde perturbações suaves até a fronteira podem não estar disponíveis.
• Consequências Nodais: Ao estabelecer a simplicidade genérica, o artigo permite a aplicação do teorema de domínio nodal de Courant a uma classe mais ampla de operadores, incluindo Laplacianos sub-riemannianos, onde o limite no número de domínios nodais é agudo para potenciais genéricos.

Os autores declaram explicitamente que não utilizam a suavidade das autofunções na prova do teorema abstrato e que sua argumentação de divisão de dimensão finita é realizada diretamente no espaço de Hilbert complexo $L^2(X, \mathbb{C})$, evitando a necessidade de bases de autofunções reais. Eles também esclarecem que, embora seu trabalho estenda os resultados de Albert, ele não cobre perturbações métricas (como as consideradas por Uhlenbeck), que permanecem como um tema para extensões futuras para o caso sub-riemanniano.