Séries de potências, Séries de Taylor
Considere a equação diferencial , cuja solução buscaremos na forma de uma série de potências
- Ache os primeiros 7 termos da solução com condição inicial , .
- Determinea solução geral da equação diferencial.
- Determine todas as condições iniciais , , tais que a solução correspondente é uma função par (isto é, , para todo ).
Passo 1
a)
A nossa missão aqui é resolver a equação diferencial dada , sabendo que:
Então precisaremos calcular e :
E
Passo 2
Agora que temos os termos necessários, vamos reescrever a equação diferencial com eles:
Desenvolvendo:
Passo 3
Agora temos que deixar todos os dentro dos somatórios, mudando o seu índice. Começando com
Esse era o único que precisava se mudado.
Passo 4
A nossa EDO vai ficar
Precisamos deixar todos os inícios no mesmo lugar agora, vamos começar todas com .
Vamos ter
Juntando os somatórios temos
Isso nos diz que
Além disso tiramos a relação de recorrência
Vamos ter
Isso com
Passo 5
Vamos achar agora os primeiros temos da função com as condições iniciais que ele deu,
Agora temos as relações
Com
Com as duas primeiras temos
Vamos agora usar a relação de recorrência
Achamos os primeiros termos que ele pediu.
Passo 6
b)
Vamos agora achar a relação de recorrência agora sem as condições iniciais.
Temos
Agora para a relação de recorrência,
Assim conseguimos perceber que os termos ímpares menos o vão ser todos , assim temos
Passo 7
Vamos agora achar a relação dos termos pares, vamos escrever o que achamso aqui
Vamos achar o padrão no denominador e no numerador e depois juntar as coisas.
Começando com o denominador, podemos perceber que temos sempre o produto de pares em sequência, assim podemos colocar o em evidência, e escrever os termos assim
Isso mostra um padrão no denominador, sempre vai ser elevado a , multiplicado por fatorial.
Assim vai ficar
Isso ta certinho e vale para qualquer valor de .
Passo 8
Agora vamos olhar o numerador, repara que em cada um tem o produto de números ímpares em sequência certo? Para aparecer um fatorial ali vamos precisar completar os buracos do fatorial.
Vamos ver cada numerador como fazemos isso e depois tentar encontrar o padrão
Opa, o primeiro padrão que percebemos é que o sinal vai trocando, começando positivo, assim garantimos que temos
Coloquei para conseguir uma fórmula para ir mudando já que é sempre par.
Outra coisa que podemos perceber é que o fatorial tem uma relação direta com o valor de , é sempre .
Por enquanto temos
Por último vemos uma divisão pelo produto de caras pares, que podemos fazer que nem a outra parada, de colocar os em evidência.
Aparece fatoriais de novo ali embaixo, de novo com um padrão, onde vai ser a metade de .
Assim vamos ter o numerador sendo
Repara que isso so vale para , assim vamos definir o numerador com essa fórmula só a partir do .
Passo 9
Agora vamos juntar as duas coisas, vamos ter
Com
Com vamos ter
Isso ta muito feio mesmo, nada muito claro nas contas uma coisa horrível, vamos trocar esse por para deixar mais claro
Com
Assim a solução da EDO vai ser
Passo 10
c)
Vamos começar achando e , com a resposta da letra b, para ver o que temos
Para vamos achar primeiro a derivada de
Agora
Beleza, agora vamos tentar entender o que ele pediu, que a função seja par. Vamos fazer e ver o que temos
Temos
Queremos que isso seja igual a assim
Para esses dois polinômios serem iguais precisamos que seja porque é a única coisa diferente, além disso pode ser qualquer valor.
Assim , que é , pode ser qualquer real, e , que é , precisa ser
Resposta
a)
b)
c)