Cone Minimax Principles for Non-Selfadjoint Operator Pencils

Resumo Técnico: Princípios de Minimax de Cone para Lápis de Operadores Não Autoadjuntos

Enunciado do Problema
O artigo aborda a análise espectral de lápis de operadores não autoadjuntos da forma $Lu = \lambda Gu$, onde $L$ é um operador linear limitado (não necessariamente autoadjunto ou invertível) e $G$ é um operador de peso que pode ser singular. Teorias variacionais padrão, como o princípio de Courant–Fischer e a minimização do quociente de Rayleigh, são geralmente indisponíveis para operadores não autoadjuntos. Embora existam métodos baseados em positividade (ex: Perron–Frobenius, Krein–Rutman), estes tipicamente exigem que o operador seja autoadjunto, que o peso seja invertível ou que o resolvente seja positivo. Os autores buscam uma caracterização variacional para níveis espectrais reais selecionados em configurações onde essas suposições padrão falham, especificamente quando $G$ é singular e o operador carece de uma estrutura de resolvente positiva.

Metodologia
A metodologia central introduz um quociente de Rayleigh de duas variáveis estendido, definido sobre pares admissíveis de vetores dentro de um cone ordenado $S$ e sua parte estritamente positiva $S_o$:
$$R(u, v) = \frac{\langle Lu, v \rangle}{(Gu, v)_H}$$
onde $u$ e $v$ são variáveis de cone independentes. Assume-se que o denominador é positivo em pares de cones mistos.

Os autores definem dois níveis principais de minimax:

1. Nível sup–inf à direita: $\lambda = \sup_{u \in S \setminus \{0\}} \inf_{v \in S_o} R(u, v)$
2. Nível inf–sup à esquerda: $\lambda = \inf_{v \in S \setminus \{0\}} \sup_{u \in S_o} R(u, v)$

O arcabouço baseia-se no conceito de quasi-autovalores de cone e quasi-autovetores, definidos não por equações algébricas de autovalores, mas pela realização desses perfis de minimax. A teoria é desenvolvida em três estágios:

1. Arcabouço Abstrato: Estabelecer a relação entre os níveis de minimax e os quasi-autovalores em um ambiente geral de espaço de Banach-Hilbert.
2. Aproximação Discreta: Aplicar o arcabouço a aproximações de Galerkin de dimensão finita (especificamente elementos finitos conformes), provando que, sob condições de positividade estrita e exclusão de fronteira, os níveis de minimax discretos colapsam para pares autovalor-autovetor positivos exatos.
3. Limite Contínuo: Passar para o limite de dimensão infinita usando argumentos de compacidade e condições de positividade forte (formulações de cone do princípio do máximo forte) para identificar o valor de minimax contínuo com o valor espectral do lápis.

Contribuições Principais e Resultados

• Caracterização Variacional: O artigo estabelece que, se existir um par autovalor-autovetor direito-esquerdo estritamente positivo, o autovalor associado coincide com o valor comum dos níveis de minimax ($\hat{\lambda} = \lambda = \lambda$). Crucialmente, o método produz um "nível de cone" real mesmo quando o operador não possui autovalores reais (ex: em casos de espectros não reais onde a parte antissimétrica é "invisível" ao teste de cone).
• Aprisionamento e Princípios de Ponto de Sela: Os autores provam que todo quasi-autovalor de cone é aprisionado entre os dois níveis de minimax ($\lambda \leq \lambda^* \leq \lambda$). Se os vetores realizadores forem estritamente positivos, os níveis colapsam, e o valor comum admite uma interpretação de ponto de sela.
• Certificados Espectrais A Posteriori: Um resultado central é a provisão de limites de um lado computáveis. Para quaisquer vetores de tentativa admissíveis $u$ e $v$, as quantidades $\lambda_R(u) = \inf_{v} R(u, v)$ e $\lambda_L(v) = \sup_{u} R(u, v)$ satisfazem $\lambda_R(u) \leq \hat{\lambda} \leq \lambda_L(v)$. Isso permite a verificação direta de limites sem resolver o problema de autovalor completo.
• Estabilidade de Dimensão Finita: O artigo prova que o valor de minimax contínuo é o limite dos valores de minimax discretos obtidos via aproximações padrão de elementos finitos. Os níveis discretos fornecem pares autovalor-autovetor exatos para o lápis discretizado, e sua convergência para o limite contínuo é garantida sob suposições de elipticidade uniforme e positividade forte.
• Estimativas de Perturbação: Os autores derivam limites de perturbação de um lado. Diferente da teoria de perturbação analítica clássica que depende de derivadas de autovalores isolados, este método limita a variação do nível espectral usando quantidades de um lado derivadas dos quasi-autovetores. Estas estimativas mostram-se aguçadas em exemplos de modelo.
• Tratamento de Pesos Singulares: O método trata com sucesso casos onde $G$ é singular (não invertível), um cenário onde abordagens de resolvente deslocada (Krein–Rutman) frequentemente falham ou requerem deslocamentos auxiliares.

Significância e Alegações
Os autores alegam que este trabalho fornece uma ferramenta variacional e computacional para valores espectrais reais selecionados de lápis de operadores não autoadjuntos, particularmente em configurações de cone ordenado onde a teoria autoadjunta padrão é inaplicável e métodos baseados em positividade não são diretamente utilizáveis.

Aspectos fundamentais da significância do artigo incluem:

• Independência da Positividade do Resolvente: O método trata o quociente $R(u, v)$ como o objeto primário, evitando a necessidade de construir um resolvente positivo ou deslocar o operador para garantir a invertibilidade.
• Computabilidade Prática: O arcabouço gera certificados espectrais a posteriori. O hiato entre os limites inferior e superior (o gap primal-dual) serve como um critério de parada prático para aproximações numéricas.
• Robustez: A teoria acomoda pesos singulares e sistemas não cooperativos (onde o cone de componentes padrão não é invariante), estendendo o escopo da análise espectral variacional além dos casos tradicionais cooperativos ou autoadjuntos.
• Unificação: Unifica as fórmulas clássicas de Collatz–Wielandt e Birkhoff–Varga para matrizes com a teoria espectral de lápis de operadores elípticos, oferecendo uma abordagem consistente tanto para problemas de dimensão finita quanto infinita.

O artigo conclui que a abordagem de minimax de cone oferece uma alternativa robusta para a análise espectral, fornecendo não apenas resultados de existência, mas também limites verificáveis diretos e estimativas de aproximação para sistemas não autoadjuntos.