A note on the convergence of the eigenvalues in a subdomain to the continuous spectrum

Resumo Técnico: Convergência de Autovalores em um Subdomínio para o Espectro Contínuo

Enunciado do Problema
Este artigo aborda uma lacuna na análise espectral do operador pré-condicionado $L^{-1}A$, definido como $\Delta^{-1}[\nabla \cdot (K\nabla u)]$, em um domínio Lipschitz limitado e aberto, $\Omega$, em duas dimensões. Aqui, $K(x,y)$ é uma função matricial contína e simétrica, e o operador atua em um contexto de espaço de Sobolev ($H^1_0(\Omega)$).

Trabalhos anteriores, especificamente o artigo SIGEST [4] e seu predecessor [2], caracterizaram o espectro deste operador. Um resultado fundamental em [4] (Lema 3.2) afirmou que, se $K$ for um tensor diagonal constante em um subdomínio aberto $S \subset \Omega$, o intervalo fechado definido pelos elementos diagonais de $K$ dentro de $S$ pertence ao espectro do operador pré-condicionado. Embora a afirmação deste lema esteja correta, o artigo identifica que a prova original continha uma falha crítica. O argumento anterior tentava construir autofunções globais tomando soluções locais de uma equação de onda em um subdomínio $\Sigma_l \subset S$ e estendendo-as por zero para todo o domínio $\Omega$. Os autores demonstram que essa extensão por zero falha em satisfazer a formulação fraca do problema de autovalor generalizado global, pois as integrais de contorno resultantes sobre $\partial \Sigma_l$ não se anulam para funções de teste arbitrárias. Consequentemente, autofunções locais não podem ser diretamente "elevadas" para autofunções globais.

Metodologia
Para retificar a prova e estabelecer a inclusão espectral de forma rigorosa, os autores constroem uma sequência de Weyl singular de autofunções aproximadas. Esta abordagem evita a necessidade de autofunções globais exatas, que não existem para pontos no espectro contínuo de um operador autoadjunto em um espaço de Hilbert separável.

A metodologia procede da seguinte forma:

1. Equação de Onda Local: Para um $\lambda$ fixo no intervalo aberto $(k_1, k_2)$ (onde $k_1, k_2$ são os valores diagonais constantes de $K$ em $S$), o problema de autovalor generalizado reduz-se localmente a uma equação de onda $u_{yy} = c^2 u_{xx}$ com $c^2 = (\lambda - k_1)/(k_2 - \lambda)$.
2. Construção da Sequência: Em vez de um subdomínio fixo, os autores definem uma sequência de subdomínios retangulares $\Sigma_n$ centrados em um ponto arbitrário $(x_0, y_0) \in S$, onde as dimensões de $\Sigma_n$ encolhem para zero conforme $n \to \infty$.
3. Autofunções Aproximadas: A sequência de funções $u_n(x,y)$ é construída como produtos de modos senoidais oscilatórios modulados por uma função de corte suave $f_n$. Estas funções são suportadas estritamente dentro de $\Sigma_n$ e anulam-se fora dele. A construção garante que as funções satisfaçam a equação de onda local aproximadamente, mantendo propriedades oscilatórias específicas.
4. Verificação das Propriedades da Sequência de Weyl: Os autores provam duas propriedades críticas para a sequência $\{u_n\}$:
   • Norma Não-Nula: A seminorma $H^1_0$ de $u_n$ permanece limitada longe de zero quando $n \to \infty$. Isto é alcançado através de um escalonamento cuidadoso e do uso do lema de Riemann-Lebesgue para avaliar o comportamento assintótico das integrais.
   • Convergência do Resíduo: O resíduo do problema de autovalor generalizado, $\|(A - \lambda L)u_n\|_{H^{-1}(\Omega)}$, converge para zero. Isto é demonstrado dividindo o integral do resíduo em componentes seno e cosseno ($I_n^{sin}$ e $I_n^{cos}$) e mostrando que ambos se anulam no limite através de integração por partes e análise assintótica.

Principais Resultados
O artigo fornece uma prova rigorosa do Lema 3.2 de [4], estabelecendo que o intervalo fechado $[\sup \kappa_1, \inf \kappa_2]$ (assumindo $\kappa_1 < \kappa_2$) está contido no espectro do operador pré-condicionado $L^{-1}A$.

A análise confirma que, para qualquer $\lambda$ no intervalo aberto $(k_1, k_2)$, o operador não possui uma inversa limitada. A prova baseia-se no fato de que, se $\lambda$ não estivesse no espectro, a inversa $(A - \lambda L)^{-1}$ seria limitada, levando a uma contradição onde a norma da sequência $u_n$ teria que ser zero, violando a primeira propriedade da sequência de Weyl.

Significância e Alegações
O artigo afirma refinar a fundamentação teórica da análise espectral apresentada em [4] e [2]. Sua principal contribuição é a correção do mecanismo de prova referente a como as propriedades espectrais locais se relacionam com o espectro global.

Os autores destacam um insight teórico específico: a transição da perspectiva local para a global.

• Em um subdomínio fixo e encolhendo $\Sigma_l$, o problema de autovalor generalizado admite um conjunto infinitamente enumerável de autofunções para um $\-lambda$ fixo (devido à natureza indefinida do operador).
• À medida que o subdomínio encolhe para um ponto, estes autovalores locais não convergem para autovalores discretos do operador global. Em vez disso, eles transformam-se em pontos do espectro contínuo.

Esta distinção é crucial porque o operador pré-condicionado é autoadjunto em um espaço de Hilbert separável e, portanto, pode ter no máximo um conjunto enumerável de autovalores. Como o espectro em questão é um intervalo, ele não pode consistir apenas de autovalores. O artigo esclarece que o intervalo é parte do espectro contínuo, resultante da não-compactação do operador e do comportamento oscilatório específico das autofunções aproximadas.

Os autores concluem que, embora o intervalo espectral seja confirmado como parte do espectro, permanece uma questão aberta se este intervalo contém quaisquer autovalores reais do operador global, embora a construção sugira que o espectro seja puramente contínuo nesta região. O trabalho ressalta a necessidade de utilizar sequências de Weyl em vez de soluções locais estendidas por zero ao analisar o espectro de operadores não-compactos que surgem no tratamento numérico de EDPs elípticas.