Enunciado

Para cada uma das equações diferenciais nos problemas de 11 a 14, encontre os quatro primeiros termos não nulos em cada uma de duas soluções em série em torno da origem. Mostre que elas formam um conjunto fundamental de soluções. Qual o valor que você espera que tenha o raio de convergência de cada solução?

e x y ' ' + x y = 0

Passo 1

Assumimos que a solução está na forma:

y = ∑ n = 0 + ∞ a n x n

y ' = ∑ n = 1 + ∞ n a n x n - 1

y ' ' = ∑ n = 2 + ∞ n ( n - 1 ) a n x n - 2

Aplicando na EDO, teremos:

e x ∑ n = 2 + ∞ n ( n - 1 ) a n x n - 2 + x ∑ n = 0 + ∞ a n x n = 0

Relembrando que a série de Taylor de e x   quando x 0 = 0 é dada por:

1 + x + x 2 2 ! + x 3 3 ! + x 4 4 ! + …

Substituindo os valores de e x , teremos:

1 + x + x 2 2 ! + x 3 3 ! + x 4 4 ! + … 2 a 2 + 6 a 3 x + 12 a 4 x 2 + 20 a 5 x 3 + 30 a 6 x 4 + … + x a 0 + a 1 x + a 2 x 2 + a 3 x 3 + a 4 x 4 + … = 0

Expandindo e unindo os termos em comum , teremos:

2 a 2 + 2 a 2 + 6 a 3 x + 6 a 3 + a 2 + 12 a 4 x 2 + 1 3 a 2 + 3 a 3 + 12 a 4 + 20 a 5 x 3 + 1 12 a 2 + a 3 + 6 a 4 + 20 a 5 + 30 a 6 x 4 + a 0 x + a 2 x 2 + a 2 x 3 + a 3 x 4 + a 4 x 5 + … = 0

2 a 2 = 0

2 a 2 + 6 a 3 x = 0

6 a 3 + a 2 + 12 a 4 x 2 = 0

1 3 a 2 + 3 a 3 + 12 a 4 + 20 a 5 x 3 = 0

1 12 a 2 + a 3 + 6 a 4 + 20 a 5 + 30 a 6 x 4 = 0

Unino os termos em comum antes e depois da igualdade, formulamos:

2 a 2 = 0

2 a 2 + 6 a 3 + a 0 = 0

6 a 3 + a 2 + 12 a 4 + a 1 = 0

1 3 a 2 + 3 a 3 + 12 a 4 + 20 a 5 + a 2 = 0

1 12 a 2 + a 3 + 6 a 4 + + 20 a 5 + 30 a 6 + a 3 = 0

Passo 2

Para encontrar y 1 ( x ) , resolvemos as equações acima e assumimos que a 0 = 1 ,   a 1 = 0 resolvendo as equações:

2 a 2 = 0 ,   a 2 = 0

0 + 6 a 3 + 1 = 0 ,   a 3 = - 1 6

6 - 1 6 + 0 + 12 a 4 + 0 = 0 ; a 4 = 1 12

0 + 3 - 1 6 + 12 1 12 + 20 a 5 + 0 = 0 ; a 5 = - 1 40

Já que 4 termos diferentes de zero podemos dizer que :

y 1 x = 1 - 1 6 x 3 + 1 12 x 4 - 1 40 x 5 + …

Para encontrar y 2 ( x ) resolvendo as equações e assumindo que a 0 = 0 , a 1 = 1 resolvendo as equações:

2 a 2 = 0 ,   a 2 = 0

0 + 6 a 3 + 0 = 0 ; a 3 = 0

0 + 0 + 12 a 4 + 1 = 0 ; a 4 = - 1 12

0 + 0 + 12 - 1 12 + 20 a 5 + 0 = 0 ; a 5 = 1 20

0 + 0 + 6 - 1 12 + 20 1 20 + 30 a 6 + 0 = 0 ; a 6 = - 1 60

Então, podemos dizer que:

y 2 x = x - 1 12 x 4 + 1 20 x 5 - 1 60 x 6 + …

Passo 3

Com isso, podemos avaliar o Wronskiano:

Tendo y 1 e y 2 , queremos um valor em que o Wronskiano seja diferente de zero, para isso o caso mais simples é que a diagonal principal seja unitária e a diagonal secundária seja nula, para isso:

y 1 x = 1 - 1 6 x 3 + 1 12 x 4 - 1 40 x 5 + … y 1 0 = 1

y 1 ' x = - 1 2 x 2 + 1 3 x 3 - 1 8 x 4 + … y 1 ' 0 = 0

y 2 x = x - 1 12 x 4 + 1 20 x 5 - 1 60 x 6 + … y 2 0 = 0

y 2 ' 0 = 1 - 1 3 x 3 + 1 4 x 4 - 1 10 x 5 + … y 2 ' 0 = 1

Com isso, podemos montar o Wronskiano:

W y 1 , y 2 0 = y 1 ( 0 ) y 2 ( 0 ) y 1 ' ( 0 ) y 2 ' ( 0 ) = 1 0 0 1 = 1 ≠ 0

Já que o Wronskiano não é nulo, temos um conjunto fundamental de soluções. Uma vez que P ( x ) = e x não é igual a zero para todos os valores de raio de convergência das soluções x é p   =   ∞ .

Resposta

Uma vez que P ( x ) = e x não é igual a zero para todos os valores de raio de convergência das soluções x é p   =   ∞ .

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Use (13) para encontrar a equação indicial e os expoentes de x 2 y ' ' + 5 3 x + x 2 y ' - 1 3 y = 0
Resolva a equação de Cauchy-Euler x 2 y ' ' + 3 x y ' - 8 y = 0 Pelo método de Frobenius
Nos problemas 23-34, mostre que as raízes indiciais diferem por um inteiro. Use o método de Frobenius para obter duas soluções seriais linearmente independentes em torno da singularidade regular x 0 =
Se x = 0 é uma singularidade regular, use (12) em (2) para mostrar que (13) é a equação indicial obtida pelo método de Frobenius.
Nos problemas 35 e 36, note que x 0 = 0 é uma singularidade irregular de cada equação. Em cada caso verifique se o método de Frobenius forneceu uma solução x 3 y ' ' + y = 0