Soluções de EDO – ponto singular
Seja
Escrevendo
(série de Frobenius), mostre que
Tomando no item (pode usá-lo sem o ter resolvido) obtenha que
é uma solução da equação . Faça todos os detalhes para chegar nessa fórmula, incluindo a relação de recorrência.
Sem usar testes de convergência, responda (use o Teorema de Frobenius): qual é o domínio da função no item ?
Não esqueça de justificar, com a matéria vista / cf. livro-texto.
Passo 1
Okay, vamos começar com
Se escrevermos a série de Frobenius
teremos, ao substituir:
Passo 2
Mas, para a primeira e segunda derivadas:
Assim, fica:
Passo 3
Vamos combinar os dois primeiros somatórios com o último:
E, agora, reescrevemos o segundo somatório como
para podermos juntar todo mundo:
E assim fica deduzida a fórmula acima.
Passo 4
Agora, vamos tomar no item , como proposto.
Desta forma, queremos resolver , de modo que podemos igualar a zero o termo entre chaves no somatório, para obter a relação de recorrência:
Passo 5
Vamos usar o : a relação de recorrência vai de dois em dois. Logo,
Acho que já dá pra perceber um padrão, né? Primeiro, o sinal vai alternando entre e . Segundo, vai aparecendo o produto dos termos pares entre e o , sendo que os intermediários ainda aparecem ao quadrado...
Beleza, então vamos usar o seguinte: tem índice , que é .
Passo 6
Agora repare que é
Esse é justamente do terceiro termo par ().
E para o que sobrou, temos:
Olha aí o aparecendo de novo...
Passo 7
Ok, agora vamos encontrar o termo geral; substitua aquele por :
Beleza. Mas
Logo:
Passo 8
Então, aquela expressão
Agora só tem os coeficientes pares (vamos trocar por ) e com :
Mas como pode ser qualquer valor, vamos deixá-lo de fora ao encontrar uma solução fundamental. Escrevemos, então:
Passo 9
Vamos usar, agora, o teorema de Frobenius para encontrar o raio de convergência. Ele diz o seguinte: se a equação é da forma
e é um ponto singular regular, então as séries que representam as funções analíticas
têm raios de convergência e . O raio de convergência da solução é o menor entre eles:
Passo 10
No nosso caso, , já que a equação é
Assim, teremos:
Ambas as funções tem séries truncadas e são analíticas para todos os reais. Isto é, o raio de convergência delas é infinito e o da nossa solução também o será: .
Resposta
.