Use o método de séries de potências para resolver as EDO’s (Procure soluções em séries centradas em x_{0}=0 ): y^{\prime \prime}-\lambda x y=0 \quad(\lambda \in \mathbb{R}) (Equação de Airy - aparece na ótica física, na solução da equação de Schroedinger, nas ondas gravitacionais em superfícies de líquidos etc)
Passo 1
O enunciado pede para resolver a equação diferencial ordinária
y'' - \lambda x y = 0,
procurando soluções em séries de potências centradas em x_{0}=0. Aqui temos as informações importantes dadas:
A equação é \;y''-\lambda x y=0\; com \lambda\in\mathbb{R}.
Queremos soluções em série de potências centradas em 0, ou seja, soluções da forma \;y(x)=\sum_{n=0}^{\infty} a_n x^n\;.
Esperamos obter duas soluções linearmente independentes (porque a EDO é de segunda ordem), fornecidas por constantes arbitrárias que aparecerão nos coeficientes iniciais da série.
A partir daqui vamos desenvolver a técnica de séries de potências passo a passo: assumir série para y, calcular y'', substituir na equação, igualar coeficientes de potências iguais de x e derivar uma recorrência para os coeficientes a_n. Depois construiremos explicitamente as duas séries independentes e comentaremos convergência e interpretação.
Passo 2
Assumimos uma solução em série de potências centrada em 0:
y(x)=\sum_{n=0}^{\infty} a_n x^n,
onde os a_n são constantes a determinar. Agora calculamos as derivadas necessárias: a primeira derivada é a série obtida derivando termo a termo e a segunda derivada igual:
y'(x)=\sum_{n=0}^{\infty} n a_n x^{n-1}=\sum_{n=0}^{\infty} (n+1)a_{n+1} x^{n},
Explicando: ao reindexar, escrevemos sempre as séries na forma \sum_{n=0}^\infty (\cdots) x^n para poder comparar coeficientes em cada potência x^n. No resultado para y'', o coeficiente em x^n é (n+2)(n+1)a_{n+2}.
Passo 3
Substituímos y e y'' na equação \;y''-\lambda x y=0:
O segundo termo é \lambda \sum_{n=0}^{\infty} a_n x^{n+1}. Reescrevemos tudo como soma em potências x^n. Para o segundo termo, trocamos o índice n\mapsto n-1 (ou seja, escrevemos o coeficiente de x^n em função de a_{n-1}):
\lambda x \sum_{n=0}^{\infty} a_n x^n = \lambda \sum_{n=1}^{\infty} a_{n-1} x^{n}.
Agora ambas séries estão na forma \sum_{n=0}^\infty (\cdots) x^n; para n=0 o segundo soma não contribui (porque começa em n=1). Igualando coeficientes de x^n para n\ge 0 obtemos a condição
Observação importante (padrão): vemos que todos os coeficientes cujos índices são congruentes a 2 módulo 3 (ou seja, a_2,a_5,a_8,\dots) são zero. Os coeficientes dividem-se em duas sequências independentes: os a_{3k} expressos a partir de a_0 e os a_{3k+1} expressos a partir de a_1. Portanto as constantes livres são a_0 e a_1, como esperado para uma EDO de segunda ordem — a_0=y(0) e a_1=y'(0).
Passo 5
Agora vamos escrever as fórmulas gerais por iteração da recorrência. Observando que a recorrência “salta” de índice n-1 para n+2, ao aplicá-la sucessivamente vemos que os a's se ligam a saltos de tamanho 3. Para k\ge 0 obtemos:
Para a sequência que parte de a_0 (índices 0,3,6,\dots):
Explicando a obtenção: cada aplicação da recorrência multiplica pelo fator \dfrac{\lambda}{(n+2)(n+1)}, e ao iterar k vezes substituímos n pelos valores adequados, o que produz o produto dos denominadores acima. Essas fórmulas podem ser comprovadas por indução simples aplicando a recorrência k vezes.
Passo 6
Agora escrevemos as duas séries independentes explícitas (escolhendo a_0=1,a_1=0 para a primeira solução e a_0=0,a_1=1 para a segunda). Assim obtemos uma base de soluções:
Observação útil para a prova: qualquer solução geral é combinação linear
y(x)=C_1 y_{1}(x) + C_2 y_{2}(x),
com C_1=a_0 e C_2=a_1.
Passo 7
Convergência e observações finais: as séries acima têm raio de convergência infinito. Intuição rápida (para usar numa prova): os denominadores dos coeficientes crescem como produto de termos lineares cuja quantidade cresce com k, essencialmente comparáveis a (3k)! até constantes, portanto os coeficientes decrescem mais rápido do que \dfrac{1}{(3k)!} e a série converge para todo x (teste da razão/Rapidez de decaimento). Assim as soluções obtidas são funções inteiras (analíticas em toda a reta), o que corresponde ao fato conhecido de que as funções de Airy são inteiras.
Comentário extra (só para contexto): as duas séries acima são, até mudanças de escala, as séries que definem as funções de Airy clássicas \mathrm{Ai} e \mathrm{Bi}. Não é necessário conhecer essas funções para a prova; o importante é que você saiba derivar as séries e escrever a solução geral como combinação linear das duas séries independentes.