Enunciado
Cálculo - Guidorizzi - Vol. 4 - Ed: 5º - Capítulo 8.4 - Ex. 12
12. Sabe-se que a equação
Admite uma solução . Satisfazendo as condições iniciais, . Sabe-se, ainda, que tal solução é desenvolvível em série de potências, em volta da origem, com raio de convergência ; isto é, para todo .
Prove:
A -
B -
C -
D - Para .
Passo 1
Bem, aqui basicamente devemos buscar qual é a lei de recorrência!
Sabemos que a solução é do tipo...
Para facilitar os nossos estudos, que tal chamarmos o termo envolvendo a derivada?
Então, a nossa solução será...
Calculando a derivada...
Bem como a segunda...
E substituindo-se na EDO...
Beleza! Como em todo problema de resolução de EDO por série temos que buscar uma única série que satisfazem essas condições:
- Primeiro vamos colocar todos os com o mesmo expoente , para isso, vamos retirar 1 de todos os da segunda série:
- Beleza! Agora devemos colocar todas as séries começando do mesmo ponto , para isto, basta remover os 2 primeiros termos das duas primeiras sérias:
Agora retiraremos de todos os ’s da última....
Colocando todo mundo sob a mesma série agora...
Essa igualdade será verdadeira se e somente se...
Dessa segunda equação podemos tirar que...
Como é...
Logo...
Jogando na equação ...
Cortando todos os ...
Passo 2
Queremos provar agora que...
Dividindo todo mundo por ...
Da primeira equação que estávamos trabalhando ali em cima ...
Então temos que provar que...
Da primeira equação ...
Lembre-se que o ...
Então podemos tirar por inspeção da equação...
Que...
Ou ainda que...
E que...
Então, no geral podemos de fato falar que...
Logo...
Passo 3
Queremos provar agora que...
Mas já sabemos do passo anterior que...
Então, vejamos, para ...
Para
Pra ...
Então, para qualquer...
Multiplicando e dividindo por ...
Do passo anterior, vimos que...
Portanto...
E, portanto...
Passo 4
Agora temos que provar que para , podemos escrever...
Bem, sabemos que...
Então...
Sabemos que...
E como...
Então...
BELEZA! ENTÃO PELA DESIGUADADE TRIANGULAR...
SACOU ?
Resposta
Ei, a resposta está no passo a passo :)