Large-order perturbation theory of linear eigenvalue problems

Resumo Técnico: Teoria de perturbação de ordem elevada para problemas de autovalores lineares

Enunciado do Problema
O artigo aborda uma classe de problemas de autovalores lineares da forma $L_\epsilon g = \lambda g$, onde $L_\epsilon$ é um operador diferencial que depende de um pequeno parâmetro $\epsilon > 0$. Em muitos desses sistemas, a expansão em série de perturbação para o autovalor $\lambda$ em potências de $\epsilon$ é divergente. Embora a teoria de perturbação padrão forneça os coeficientes da série, ela falha em capturar efeitos não perturbativos (como partes imaginárias exponencialmente pequenas que indicam instabilidade ou tunelamento) que governam o comportamento de ordem elevada dos coefeminete da série. O objetivo principal é determinar a natureza assintótica precisa da divergência dos coeficientes do autovalor $\lambda_n$ (ou $\omega_n$) quando $n \to \infty$.

Metodologia
O autor propõe um framework sistemático de três estágios para determinar o comportamento de ordem elevada da expansão do autovalor sem depender das técnicas de continuação analítica complexa tradicionalmente utilizadas (por exemplo, por Bender e Wu). O método procede da seguinte forma:

1. Região Interna (Perturbação Regular): O problema é resolvido usando uma expansão de perturbação regular padrão em $\epsilon$. Os coeficientes da autofunção são tipicamente polinômios, e os coeficientes do autovalor são determinados pela imposição de condições de regularidade (por exemplo, na origem). Embora essas relações permitam a iteração numérica para encontrar termos de ordem líder, extrair o comportamento assintótico para grandes $n$ a partir das relações de recorrência resultantes é difícil.
2. Região Externa (Perturbação Singular): Mostra-se que a expansão regular é não uniforme para $x$ grande. Ao reescalar a variável independente (por exemplo, $X = \epsilon x$), uma nova expansão "externa" é derivada. Esta expansão externa exibe duas fontes distintas de divergência em seus coeficientes:
   • Uma divergência fatorial/potencial padrão impulsionada por singularidades na solução de ordem líder fora da origem.
   • Uma divergência fatorial/constante impulsionada pelo comportamento de ordem elevada desconhecido dos próprios coeficientes do autovalor.
     Métodos de assintótica exponencial padrão (WKB/Liouville-Green) são usados para caracterizar o primeiro tipo de divergência.
3. Camada Limite nos Termos Tardios (A Contribuição Inovadora): O artigo identifica uma não uniformidade crucial: a aproximação assintótica de ordem grande $n$ da expansão externa é, por si só, singular perto da origem (onde a solução interna original era regular). Isso necessita de uma terceira região — uma "camada limite" nos termos tardios perto de $x=0$ (ou da origem reescalada). Ao reescalar a variável externa para grandes $n$ (por exemplo, $X = \xi/n$), um novo problema interno é gerado. Nesta região, os dois componentes divergentes da expansão externa tornam-se acoplados. O ajuste da solução desta camada limite com a expansão externa permite a determinação do comportamento de ordem elevada do autovalor.

Principais Contribuições e Resultados
O artigo aplica este framework a quatro exemplos distintos, demonstrando sua versatilidade:

• Exemplo 1: Buracos Negros Simplificados: Um modelo para modos quasinormais de buracos negros de Reissner-Nordström-de Sitter. O método recupera com sucesso a divergência fatorial da frequência $\omega_n$, identificando um fator constante específico envolvendo $\pi$ e $\sqrt{2}$. A análise destaca um fenômeno de Stokes de ordem superior onde a contribuição constante dos termos tardios muda através do eixo real positivo.
• Exemplo 2: Oscilador Anarmônico: O clássico problema da mecânica quântica. O método reproduz o comportamento de ordem líder conhecido dos coeficientes de energia $\lambda_n$ derivados por Bender e Wu, confirmando a validade desta nova abordagem frente a um resultado seminal. A análise envolve o ajuste próximo a singularidades em $X = \pm i$.
• Exemplo 3: Ondas de Rossby Aprisionadas no Equador: Um modelo simplificado de ondas de Rossby em fluxo de cisalhamento. A análise recupera a divergência da taxa de crescimento $\lambda_n$. Ilustra um caso onde uma singularidade na solução externa é "desligada" por uma linha de Stokes de ordem superior, um recurso previamente observado na literatura, mas aqui derivado sistematicamente.
• Exemplo 4: Duas Singularidades: Um modelo projetado para mostrar a divergência impulsionada por duas singularidades distintas na solução externa. A forma assintótica resultante para $\omega_n$ é uma superposição de dois termos fatoriais com fases complexas, levando a oscilações sinusoidais nos coeficientes. Isso explica as "ondulações" observadas em dados numéricos que são difíceis de interpretar com outros métodos.

Significância e Alegações
O artigo afirma fornecer uma "abordagem direta" para determinar o comportamento assintótico preciso dos coeficientes do autovalor para grandes $n$. Diferente do método de Bender-Wu, que requer uma delicada continuação analítica e aproximações de assintótica casada para identificar componentes exponencialmente pequenas, esta técnica opera diretamente sobre a estrutura da série divergente.

O autor enfatiza que a inovação central é a identificação da camada limite nos termos tardios. Este passo vincula a divergência impulsionada pela singularidade da expansão externa com a divergência impulsionada pelo autovalor, permitindo que a forma assintótica do autovalor seja resolvida. O artigo posiciona este framework como um template geral que pode ser adaptado por leitores interessados para resolver problemas de autovalores lineares semelhantes onde a série de perturbação é divergente. Os resultados são validados pela comparação das fórmulas assintóticas derivadas com iterações numéricas das relações de recorrência, mostrando excelente concordância (frequentemente aprimorada por extrapolação de Richardson).