6. Determine a solução do problema de valor inicial
Com
Passo 1
Bem, é uma EDO com coeficientes não constantes, então vamos aplicar séries para resolver, vemos que , que é o ponto em que se quer analisar a resposta, é um ponto ordinário. Aí a gente viu na teoria que para ponto ordinário podemos chutar a seguinte solução:
Derivando:
Mas calma, já podemos fazer uma análise das condições inicias:
Lembro que !
Logo:
Então temos que
Ok, isso vai ser importante pro futuro, mas por agora vamos substituir os somatórios na EDO:
Substituindo isso na EDO:
Passo 2
Agora vamos com calma, primeiro passe o que está no segundo somatório para dentro:
A primeira coisa a fazer sempre é deixar tudo com o mesmo expoente de , vemos que o primeiro somatório está com a cara de , o que devemos fazer é substituir por , mas substituía em tudo hein!
Sacou?! Vamos só ajeitar as contas:
Então vamos voltar para o somatório, substituindo agora esse somatório que obtivemos agora:
Eita que beleza! Mas ferrou, agora tem um cara começando em e o resto começando em ! Nesses casos, você sempre abre os somatórios que começam antes até o valor do somatório que começa com o maior valor. No caso, o somatório que começa com o maior valor é o do meio, porque ele começa em e o resto em , então vamos abrir os outros para começarem em também!
Substituindo isso:
Opa! Agora que tudo está com o mesmo expoente e começando no mesmo valor, podemos juntar!
Passo 3
Então ficou com essa cara aqui:
Pelo princípio da identidade, isso só é igual a se:
Da primeira equação temos que:
Da segunda, nós temos que
Arrumando mais um pouco:
Agora caímos na famosa relação de recorrência, né? Temos que achar uma forma geral pra ela, a gente só acha testando! Simbora e não esqueça que vimos lá no começo que e
Eita, negócio não é fácil, mas vamos com calma. Percebeu que todo com ficou referido a E Todo com ficou referido a . Simbora ver os pares:
Ok, tá parecendo difícil? Caalma, olha pro , você vai ver que ele dá , logo todos os termos que seguem dele vão dar também! Então vimos que todos os ímpares dão e todos os pares de 4 para cima também dão ! Então só sobrou ! Os outros coeficientes zeram!
A resposta fica:
Mas sabemos que