CH 05 Aula

CAPITULO 5
SOLUÇÕES DAS EDOS POR SÉRIES.

FUNÇÕES ESPECIAIS
Advanced Engineering Mathematics by Erwin Kristi

Copyright  2007 John Wiley & Sons, Inc. All rights reserved.
MÉTODO DAS SÉRIES DE POTÊNCIAS
Page 168b
Muitas EDO’s lineares de coeficientes variáveis não podem ser resolvidas em
termos de funções elementares. Uma técnica padrão para resolver tais equações é
tentar encontrar uma solução na forma de uma série infinita. Frequentemente, a
solução pode ser encontrada na forma de uma série de potências.
REVISÃO DE SEQUÊNCIAS E SÉRIES

Sequência: é uma lista de números organizados em uma ordem determinada.
Pode ser finita ou infinita. Ex.: 7, 20, 30, 44, 51 (finita) ou 1, 2, 3...
Os elementos de uma sequência podem ser representados por letras.
Ex.: a1, a2....., an, an+1, ......
Seu domínio é o conjunto dos Inteiros Positivos: (1, a1), (2, a2)..............
Progressão aritmética: sequência em que an+1=an+r=a1+nr (r= razão)

Progressão geométrica: sequência em que an+1=r an
Série: é a soma de uma sequência de números ou funções. Pode ser finita ou infi-
nita. Ex. de série infinita: a1+ a2+.....+an+ an+1 +......
Soma parcial do n termos de uma série infinita:
sn= a1+ a2+.....+an
Sequência de somas parciais: s1, s2....., sn, sn+1,......
Séries Geométricas 
Page 168b
São séries da forma: a+a r+a r2+a r3+.......+a rn-1+............... =  anr n−1
n=1
A série geométrica converge para a/(1-r) se r <1 e diverge se r 1
 a
 anr n−1 =
n=1 1− r
Observação:
Desde que preservemos a ordem de seus termos, podemos reindexar qualquer
série.
  
1 1 1

n =0 2
n
=  n −5 =  n + 4
n =5 2 n = −4 2

Série Geométrica
Termos da série

Teorema binomial
Regra de L’Hopital

Séries de Potências
Definição de Séries de Potências centrada em x0.
Uma série de potências centrada em x0 é uma série infinita na forma:

 m
m +1
a ( x − x ) m
Exemplo:  ( −1) m
0
2
x
m=0 m =1 m
Convergência
Para um valor específico de x, uma séries de potências é uma série de
constantes. Se a série é igual a uma constante real finita para o x dado,
então dizemos que a série converge em x. Caso contrário, dizemos que
ela diverge em x.
Intervalo de convergência
Toda série de potências tem um intervalo de convergência . O intervalo de
convergência é o conjunto de todos os números para os quais a séries
converge.

Raio de convergência, R.
Todo intervalo de convergência tem um raio de convergência R. Para a
série de potências abaixo: 
 m
a
m=0
( x − x 0 ) m
temos somente três possibilidades:
(i) A série converge apenas no seu centro x0. Neste caso R=0.
(ii) A série converge para todo x que satisfaça x − x 0  R , em que

R>0. A série diverge para x − x 0  R .
(iii) A série converge para todo x. Neste caso R=∞

Convergência em um ponto extremo.
Se a série converge para x − x 0  R em que R>0, ela pode ou não
convergir nos pontos extremos do intervalo a-R e a+R.
Convergência absoluta.
Em seu intervalo de convergência, uma série de potências converge
absolutamente. Em outras palavras, para x no intervalo de convergência,

 m
a série m converge.
a ( x − x 0 )
m=0
A convergência de uma série de potências pode frequentemente ser

determinada pelo “teste da razão” e “teste da raiz”.
Teste da Razão: Seja  um uma série com termos positivos e suponha

que u
lim m+1 = L
m→  u
m
Então , (a) a série converge se L<1,

(b) a série diverge se L>1 ou infinito.

Teste da Razão: Seja
 um uma série com termos um 0 para n N, e
suponha que
lim m um = L
m→ 
Então, (a) a série converge se L<1,

(b) a série diverge se L>1 ou infinito.
(c) o teste é inconcludente se L=1

Convergência em um ponto extremo.
Se a série converge para x − x 0  R em que R>0, ela pode ou não
convergir nos pontos extremos do intervalo a-R e a+R.
Convergência absoluta.
Em seu intervalo de convergência, uma série de potências converge
absolutamente. Em outras palavras, para x no intervalo de convergência,
a série  converge.
 am ( x − x 0 )
m=0
m
Determinação do intervalo de convergência. A convergência de uma série

de potências pode frequentemente ser determinada pelo teste da razão.
am+1
lim (x − x 0 ) = L
m→ am
A série converge se L<1. O raio de convergência da série é dado por:
am+1 1 am
lim (x − x 0 )  1  (x − x 0 )   R = lim
m→  am a
lim m+1 m→ am+1
m→  a
m

Uma série de potências representa uma função f(x) cujo domínio é o
intervalo de convergência da série.

f (x ) =  m
a
m= 0
( x − x 0 )m
Se a série de potências tiver raio de convergência R>0, então a função f(x)

será contínua, diferenciável e integrável no intervalo (x0-R, x0+R).

Assim: f ' (x ) =  mam (x − x 0 )m−1 e
m=1

am
 f(x)dx = C +  m= 0 m + 1
(x − x 0 )m+1

Série Nula: é a série  m
a
m= 0
( x − x 0 )m
= 0  am = 0 (R  0)

Analiticidade em um ponto. Uma função f é analítica no ponto x0 quando
ela pode ser representada por uma série de potências em (x-x0) com um
raio de convergência positivo.
Operações com séries
  
f (x ) =  am x
m= 0
m
e g(x ) =  bmx  f(x) + g(x) =
m= 0
m
 m m
( a
m= 0
+b ) x m
f (x ).g(x ) = a0b0 + (c 0b1 + c1b0 )x + (c 0b2 + c1b1 + c 2b0 )x 2 + ......

CONCEITOS BÁSICOS DAS SÉRIES DE POTÊNCIAS

A n-ésima soma parcial da série  m
a
m=0
( x − x 0 ) m
é:
s n ( x ) = a 0 + a1 ( x − x 0 ) + ...... + a n ( x − x 0 )n
Se tomarmos apenas o n primeiros termos de (1), a expressão que sobra é:
R n ( x ) = a n+1 ( x − x 0 )n+1 + a n+ 2 ( x − x 0 )n+ 2 + ......

A série é convergente para algum x=x1, se: lim s n ( x 1 ) = s( x 1 )
n→ 

s( x1 ) =  a m ( x1 − x 0 )m
m=0
s( x 1 ) = s n ( x 1 ) + R n ( x 1 )
No caso de convergência da série em x1, para  qualquer positivo, existe
um N (que depende de ) tal que:
R n ( x 1 ) = s( x 1 ) − s n ( x 1 )   n  N
Geometricamente, isso significa que todo sn(x1), com n>N, situa-se entre
Page 175 (1)
s(x1)- < sn(x1) < s(x1)-.
INTERVALO DE CONVERGÊNCIA
O raio de convergência de uma série pode ser obtido por :
a) R = 1/ lim m am ou
m→
am+1
b) R = 1/ lim
m→ a
m
Se o lim das expressões acima tendem a infinito,

a série converge apenas em x = x 0

INTERVALO DE CONVERGÊNCIA
Três casos são possíveis:

Caso 1: A série sempre converge em x=x0
am+1
R = 1/ lim
m→ a
m

Caso 2: Se existe valores de x para os quais a série converge, este valores
formam um intervalo chamado intervalo de convergência. Se este intervalo é
finito, seu ponto médio é em x0 e sua forma é:
x − x0  R onde R é o raio de convergênc ia
O raio de convergência pode ser obtido por :

a) R = 1/ lim m am ou
m→
am+1
b) R = 1/ lim
m→ a
m
Se o lim das expressões acima tendem a infinito,

a série converge apenas em x = x 0
am+1
R = 1/ lim
m→ a
m

Caso 3. Se o intervalo de convergência é infinito, R →  a série converge
para todo x.

s( x ) =  a m ( x − x 0 )m
m=0
am+1
R = 1/ lim
m→ a
m

Page 175 (2)
am+1
R = 1/ lim
m→ a
m
Obs. : A derivada e a soma de uma série de potências têm o mesmo intervalo

de convergência da série original.

Séries de Taylor
Se uma função é definida em torno de x0≠0, dentro de algum raio R, tal que
x0–R<x< x0 +R, e todas as sua derivadas são definidas, então, a série de
Taylor de f(x) é:
f " (x 0 ) f (m) ( x 0 )
f ( x ) = f ( x 0 ) + f ' ( x 0 )( x − x 0 ) + ( x − x 0 ) + ..... +
2
( x − x 0 )m + .......
2! m!

f (m) ( x 0 )
= ( x − x 0 )m
m =0 m!

Séries de MacLaurin
Page 171
Se uma função é definida em torno de x0=0, dentro de algum raio R>0, tal que
–R<x<R, e todas as sua derivadas são definidas, então, a série de MacLaurin de
f(x):

f " (0) 2 f (m) (0) m f (m) (0) m
f ( x ) = f (0) + f ' (0)x + x + ..... + x + ....... =  x
2! m! m =0 m!
f (m) (0)
am =
m!

Séries de MacLaurin
Page 171
EXEMPLOS DE SÉRIES DE MacLAURIN

1
=  x m = 1 + x + x 2 + ........ ( x  1, série geométrica)
1 − x m=0

xm x2 x3
e =
x
= 1+ x + + + .........
m = 0 m! 2! 3!

( −1)m x 2m x2 x4
cos x =  = 1− + − ..........
m=0 ( 2m)! 2! 4!

( −1)m x 2m+1 x3 x5
sen x =  =x− + − ..........
m = 0 ( 2m + 1)! 3! 5!

MÉTODO DAS SÉRIES DE POTÊNCIAS
Page 168b
É o método padrão de resolução de EDO’s lineares de coeficientes variáveis. Ele
fornece soluções na forma de séries de potências.
MÉTODO DE SÉRIE DE POTÊNCIAS SOBRE UM PONTO

ORIDINÁRIO

Série infinita dada por:  m
a
m=0
( x − x 0 ) m
(1)
onde x é uma variável,

a0, a1, a2,.......são constantes reais chamadas de coeficientes da série e
x0 é uma constante chamada de centro da série
A idéia do método consiste em escrever a solução da EDO na forma de uma

série de potências com coeficientes desconhecidos. Estes coeficientes são
então determinados.

DEFINIÇÃO
FUNÇÃO ANALITICA REAL: Uma função é chamada analítica real no ponto x=x0,
se ela puder ser representada por uma série de potências de x-x0 com raio de
convergência R>0.
Pontos Ordinários e Singulares de y" +p(x)y' + q(x)y = 0

Dizemos que um ponto x0 é um ponto ordinário se os coeficientes p, q são
analíticos em x0. Se x0 não é um ponto ordinário, ele é chamado de ponto
singular
TEOREMA: EXISTÊNCIA DE SOLUÇÕES POR SÉRIE DE POTÊNCIAS
Se p, q e r em y" +p(x)y' +q(x)y = r( x ) são analíticas em x=x0 (ponto ordinário),

então cada solução da EDO é analítica em x=x0 e pode ser representada por uma
série de potências de x-x0 , com raio de convergência R>0 (R é a distância do
ponto x0 ao ponto x). A mesma afirmativa é verdade para:
~ ~(x)y'+~ ~
h (x)y"+p q(x)y = ~
r (x) onde h (x 0 )  0

Teorema: Existência de Soluções em Série de Potências
Se x=x0 for um ponto ordinário da equação diferencial y" +p(x)y' +q(x)y = 0 ,

podemos sempre encontrar duas soluções linearmente independentes na
forma de séries de potências centrada em x0

 m
a
m=0
( x − x 0 ) m
A série converge para uma solução em x − x0  R , em que R é o raio

de convergência

Uma primeira solução por série de Taylor para funções analíticas em
torno de x0
Para x0=0 temos a série de Maclaurin

Uma primeira solução por série de potências

EXEMPLO
Page 172 (1a)

Resolva, usando o método das Séries de Potências, a EDO abaixo.
y"+p(x)y'+q(x)y = 0
Passos a seguir :
1) Representar p(x) e q(x) por meio de série de potências de x (ou de x - x 0 , caso
desejemos soluções em potências de x - x 0 ) quandonecessário.
2) Supor

y=  m
a
m =0
x m
=a 0 + a1x + a 2 x 2
+ a 3 x 3
+ ..........
Então :

y' =  mamx m−1 =a1 + 2a 2 x + 3a3 x 2 + 4a 4 x 3 + ...
m=1

y" =  m(m - 1)a
m= 2
m x m−2 =2a 2 + 3a3 x + 4.3a 4 x 2 + ...
3) Substituir as expressões acima na EDO e agrupar as potências de mesma ordem

de x e igualar a zero a soma dos coeficientes de cada potência observada de x, co-
meçando com os termos constantes. Isso fornece equações a partir das quais
podemos determinar sucessivamente os coeficientes
Copyright  2007 desconhecidos.
John Wiley & Sons, Inc. All rights reserved.
EXEMPLO
Page 172 (2)

Page 174a

EXEMPLO
Page 174b

Page 174c

EQUAÇÃO DE LEGENDRE
(1 − x 2 ) y − 2x y + n(n + 1) y = 0 onde n  , n  0
Surge nos casos de simetria esférica.

Qualquer solução da EDO acima é chamada de função de Legendre.
SOLUÇÃO DA EQUAÇÃO DE LEGENDRE

Dividindo a EDO anterior por (1-x2), para obter a forma padrão, resulta:
2x n(n + 1)
y − 
y+ y=0
(1 − x )
2
(1 − x )
2
A equação acima é analítica em x=0 e portanto sua solução pode ser representada
pela uma série de potências

y( x ) =  a m x m
m =0

As derivadas primeira e segunda são:
 
y  =  ma m x m−1
e y  =  m(m - 1)a m x m−2
m=1 m=2
Substituindo estas expressões na equação de Legendre, resulta:

  
(1 − x )  m(m - 1)am x
2 m− 2
− 2x  mam x m−1
+ n(n + 1)  am x m = 0
m= 2 m=1 m =0
Fazendo k = n(n + 1) e rearranjando os termos, resulta :

  
(1 − x )  m(m - 1)am x
2 m− 2
− 2x  mam x m-1
+ k  am x m = 0 
m= 2 m=1 m =0
   
 m(m - 1)a
m= 2
m x m− 2
−x 2
 m(m - 1)a
m= 2
m x m− 2
− 2x  mam x
m=1
m-1
+ k  am x m = 0 
m =0
   
 m(m - 1)a
m= 2
m x m− 2
−  m(m - 1)am x −  2mam x +  kam x m = 0 
m= 2
m
m=1
m
m =0

   
 m(m - 1)amx m− 2
−  m(m - 1)am x −  2mamx +  ka m x m = 0
m m
m= 2 m= 2 m =1 m =0
Fazendo todas as quatro series começacrem com a mesma potência x s .

Primeira série : s = m - 2  m = s + 2
Segunda série : s = m
Terceira série : s = m
Quarta série : s = m
   
 (s + 2)(s + 1)a s+ 2 x −  s(s - 1)a s x −  2sas x +  ka s x s = 0 (0x s )
s s s
s =0 s=2 s =1 s =0
A soma dos coeficientes de cada potência de x no lado esquerdo deve ser zero.
s = 0: (2)(1)a2 x 0 + ka 0 x 0 = 0  (2)(1)a2 + ka 0 = 0
s = 1: (3)(2)a3 x1 − 2a1x1 + ka1x1 = 0  (3)(2)a3 − 2a1 + ka1 = 0
.................................................................................................
s  2: (s + 2)(s + 1)a s+ 2 x s − s(s − 1)a s x s − 2sa s x s + ka s x s = 0 
(s + 2)(s + 1)a s+ 2 − s(s − 1)a s − 2sa s + ka s = 0 
(s + 2)(s + 1)a s+ 2 + − s(s − 1) − 2s + n(n + 1)a s = 0
Resolvendo as expressões anteriores para
(2)(1)a 2 + ka0 = 0  a 2 = −
Page
k 178
a =−
n(n + 1)(1) n(n + 1)
a =−
0 a 0 0
(2)(1) (2)(1) 2!
(k − 2) (n(n + 1) − 2) (n − 1)(n + 2)
(3)(2)a3 − 2a1 + ka1 = 0  a3 = − a1 = − a1 = − a1
(3)(2) 3! 3!
.................................................................................................
s  2: as+2 = −
(n − s)(n + s + 1) a
(s + 2)(s + 1)
s
Obs. :
− s(s − 1) − 2s + n(n + 1) = (n − s)(n + s + 1)
Fórmula de recorrência ou recursão válida para s=0,1,2,.........
a s+ 2 = −
(n − s)(n + s + 1) a
(s + 2)(s + 1)
s

a s+2 = −
(n − s)(n + s + 1) a
Da expressão , resulta:
(s + 2)(s + 1)
s
s = 0  a2 = −
(n)(n + 1) a s = 1  a3 = −
(n − 1)(n + 2) a
0 1
2! 3!
s = 2  a4 = −
(n − 2)(n + 3) a s = 3  a = −
(n − 3)(n + 4) a
2 5 3
4.3 5.4
=
(n − 2)n(n + 1)(n + 3) a =
(n − 3)(n − 1)(n + 2)(n + 4) a
0 1
4! 5!

Assim: y(x) = a
m =0
m x m = a0 + a1x + a 2 x 2 + a3 x 3 + a 4 x 4 + a5 x 5 + ...........
= a0 + a1x −
(n)(n + 1) a x 2 − (n − 1)(n + 2) a x 3 +
0 1
2! 3!
+
(n − 2)(n)(n + 1)(n + 3) a x 4 + (n − 3)(n − 1)(n + 2)(n + 4) a x 5 + ........
0 1
4! 5!
 (n)(n + 1) 2 (n − 2)(n)(n + 1)(n + 3) 4 
= a0 1 − x + x + ..... +
 2! 4! 

+ a1 x −
(n − 1)(n + 2) x 3 + (n − 3)(n − 1)(n + 2)(n + 4) x 5 + ......... 

 3! 5! 
y(x) = a0 y1( x ) + a1y 2 ( x ) As séries Copyright
para y1e2007
y2 John
convergem
Wiley & Sons,para x  reserved.
Inc. All rights 1
(1 − x 2 ) y − 2x y + n(n + 1) y = 0 onde n int eiro positivo
a s+2 =−
(n − s)(n + s + 1)
a s=0, 1, 2, 3, 4..........
(s + 2)(s + 1)
s

 (n)(n + 1) 2 (n − 2)(n)(n + 1)(n + 3) 4 
y(x) = 
m =0
a m x m
= a 0

1 −
2!
x +
4!
x + .....

+

+ a1 x −
(n − 1)(n + 2) x 3 + (n − 3)(n − 1)(n + 2)(n + 4) x 5 + ......... 

 3! 5! 
y(x) = a0 y1(x ) + a1y 2 ( x )
n=0 y1=1
n=1 y2=x
n=2 y1=1-3x2
n=3 y2=x-(5/3)x3
n=4 y1=1-10x2+(35/3)x4
POLINÔMIOS DE LEGENDRE Pn(x)
Page 180a
(1 − x 2 ) y − 2x y + n(n + 1) y = 0
Suponha que a constante n seja um número inteiro não negativo
a s+2 = −
(n − s)(n + s + 1) a s=0, 1, 2, 3, 4..........
(s + 2)(s + 1)
s
0
Se s=n, então an+2 = −
(n − n)(n + n + 1) a =0
(s + 2)(s + 1)
n
Portanto, se n é par, y1 é um polinômio de grau n e y2 uma

série infinita
y2 =x−
(n − 1)(n + 2) 3 (n − 3)(n − 1)(n + 2)(n + 4) 5
x + x + .........
3! 5!
Portanto, se n é ímpar, y2 é um polinômio de grau n e y1 uma
série infinita
y1 = 1 −
(n)(n + 1) x 2 + (n − 2)(n)(n + 1)(n + 3) x 4 + .....
2! 4!
Esses polinômios multiplicados por algumas constantes são chamados de
polinômios de Legendre e representados por Pn(x).
Escolha padrão da constante: O coeficiente an da maior potência de xn

deve ser tal que:
(2n )! 1.3.5......(2n − 1)
an = n 2
=
2 (n!) n! Isto faz com que Pn(1)=1 para todo n
Se n = 0  a n = 1
a s+2 =−
(n − s)(n + s + 1)
a
De (s + 2)(s + 1)
s
Resulta:
(s + 2)(s + 1)
as = − a s + 2 onde
(n − s)(n + s + 1)
onde s  n − 2
Com s+2=n, ou seja, n=s-2, temos
(s + 2)(s + 1) n(n − 1) n(n − 1) (2n)!
as = − as+ 2  an-2 = − an = −
(n − s)(n + s + 1) (2)(2n − 1) (2)(2n − 1) 2n (n!)2
Mas
(2n)! = 2n(2n − 1)(2n − 2)! ; n! = n(n − 1)! e n! = n(n − 1)(n − 2)!
Assim :
n(n − 1) 2n(2n − 1)(2n − 2)!
an-2 = −
(2)(2n − 1) 2nn(n − 1)!n(n − 1)(n − 2)!
n(n − 1) 2n (2n − 1)(2n − 2)!
=−
(2)(2n − 1) 2nn(n − 1)!n(n − 1)(n − 2)!
(2n − 2)!
=− n
2 (n − 1)! (n − 2)!
E
(n − 2)(n − 3) (2n − 4)!
an- 4 = − an-2 = − n e assim por diante.
4(2n − 3) 2 2! (n − 2)! (n − 4)!
( 2n − 2m)!
Quando n-2m0 a n-2m = ( −1) n
m
2 m! (n − m)! (n − 2m)!
A solução da EDO de Legendre é chamada de polinômio

de Legendre de grau n, Pn(x).
M
( 2n − 2m)!
Pn (x) =  ( −1) n m
x n − 2m
m=0 2 m! (n − m)! (n − 2m)!
( 2n)! n ( 2n − 2)! n− 2
= n x − x + ......
2 (n! ) 2
2 1! (n − 1)! (n − 2)!
n
onde M = n/2 ou (n - 1)/2 se n for inteiro

Fórmula de Rodrigues
1 dn (x 2 − 1)n
Pn (x) = n n = 0, 1, 2.....
2 n! dxn

Seja a EDO abaixo:
y"+ p(x)y'+ q(x)y = 0 (1)
Pontos Ordinários e Singulares
Dizemos que um ponto x0 é um ponto ordinário ou não singular

da EDO (1) se os coeficientes p e q são analíticos em x0.
Um ponto que não é ordinário é considerado como um ponto
singular da equação.
Coeficientes Polinomiais da EDO a 2 (x)y" +a1(x)y' +a0 (x)y = 0
Se a2, a1 e a0 são polinômios sem fatores comuns, um ponto x0

é:
a) um ponto ordinário ou não singular se a2(x0)≠0.
b) um ponto singular se a2(x0)=0.
Pontos Singulares Regulares e Irregulares
Dizemos que um ponto x=x0 de y"+ p(x)y'+ q(x)y = 0 é um

ponto singular regular se (x-x0)p(x) e (x-x0)2q(x) são analíticas
em x0. Se x=x0 não é um ponto regular, ele é chamado de ponto
singular irregular da EDO.

MÉTODO DE FROBENIUS
TEOREMA: MÉTODO DE FROBENIUS
Consideremos que b(x) e c(x) sejam funções quaisquer e analíticas em

x=0 (ponto singular de p(x) e q(x)). Então, a EDO
b( x ) c( x )
y" + y'+ 2 y = 0 (1)
x x
possui pelos menos uma solução que pode ser representada na forma

y( x ) = x r
 m
a
m=0
x m
= x r
( a 0 + a 1 x + a 2 x 2
+ ......) (2)
onde o expoente r é uma constante a ser determinada (real ou

complexa, sendo r escolhido de modo que a00 ).
A EDO tem também uma segunda solução (de tal modo que essas
duas soluções são linearmente independentes), que pode ser similar a
(2) (com valores diferentes de r e para os coeficientes) ou pode conter
um termo logarítmico.
EQUAÇÃO INDICIAL, INDICAÇÃO DA FORMA DAS SOLUÇÕES
Aplicação do METODO DE FROBENIUS

b( x ) c( x )
Seja a equação: y"+ y'+ 2 y = 0 . Multiplicando por x , resulta:
2
x x
x 2 y"+ xb( x )y'+ c( x )y = 0
Sendo b(x) e c(x) analíticas em x = 0, podemos expandí - las em séries de
potências.
b(x) = b0 + b1x + b2 x 2 + ......
c(x) = c 0 + c1x + c 2 x 2 + ......
Se b(x) e c(x) forem polinômios não precisamos expandí - los.
Uma solução da EDO é :

y( x ) = x r
a
m =0
m x m = x r (a0 + a1x + a 2 x 2 + ......)
Assim :

y' =  (m + r)a m x m+r −1 = x r −1[ra0 + (r + 1)a1x + (r + 2)a 2 x 2 + ......]
m =0

Page 185
y" =  (m + r)(m + r − 1)a
m =0
m x m+r −2 = x r −2 [r(r − 1)a0 + (r + 1)ra1x + ......]
Substituindo b(x), c(x), y, y' e y" na EDO abaixo, resulta :


x y"+ xb(x)y' +c(x)y = 0  x [  (m + r)(m + r − 1)am x m+r −2 ] +
2 2
m =0
 
x[b 0 + b1x + b2 x + ......][ (m + r)amx
2 m+r −1
] + [c0 + c1x + c 2 x + ......][ am x m+r ] = 0 
2
m =0 m =0
 
[  (m + r)(m + r − 1)amx m +r
] + [b0 + b1x + b2 x + ......][ (m + r)amx m+r ] +
2
m =0 m =0

[c0 + c1x + c 2 x + ......][ am x m+r ] = 0 
2
m=0
x r r(r - 1)a0 + (r + 1)ra1x + .... + [b0 + b1x + b2 x 2 + ......]xr ra0 + (r + 1)a1x + ..... +
[c0 + c1x + c 2 x 2 + ......]xr a0 + a1x + .... = 0 
Agrupandoos termos de x r , x r +1, x r + 2 etc.....
x r r(r - 1)a0 + (r + 1)ra1x + .... + [b0 + b1x + b2 x 2 + ......] x r ra0 + (r + 1)a1x + ..... +
Page 185
[c0 + c1x + c 2 x 2 + ......]x r a0 + a1x + .... = 0 
Agrupando os termos de x r , x r +1, x r + 2 etc.....
x r r(r - 1)a0 + b0ra0 + c 0a0  + x r +1(r + 1)ra1 + b0 (r + 1)a1 + c 0 + a1 + .... = 0
Igualando os coeficientes destas potências a zero, resulta :
r(r - 1)a0 + b0ra0 + c 0a0 = 0
(r + 1)ra1 + b0 (r + 1)a1 + c 0 + a1 = 0
..........................
Como a0  0, por suposição, resulta para o coeficiente da potência x r que :
r(r - 1) + b0r + c 0 = 0 (3)
A equação acima é chamada de equação indicial da EDO (1).

Uma das duas soluções tem a forma: y( x ) = x r
 m
a
m=0
x m
A outra solução terá a forma indicada pela equação indicial

Três casos são possíveis para r(r - 1) + b 0 r + c 0 = 0
Caso 1: Raízes distintas que não diferem por um número inteiro 1, 2, 3,.....
Caso 2: Uma raiz dupla
Caso 3: Raízes que diferem por um número inteiro positivo 1, 2, 3,.....
TEOREMA : Base de Soluções do Método de Frobenius

Consideremos que a EDO (1) satisfaça as suposições do Teorema do
Método de Frobenius. Chamemos de r1 e r2 (r1  r2 ) as raízes da equação
indicial. Então, temos os três seguintes casos :
Caso 1. Raízes distintas não diferindo por um número inteiro 1, 2, 3 ....
Uma base é :

y1( x ) = x (a0 + a1x + a 2 x + ......) =
r1 2
 m
a
m =0
x m+r1
(a0  0) e

y 2 ( x ) = x ( A 0 + A1x + A 2 x + ......) =  Amx m+r2
r2 2
(A 0  0)
m=0
com os coeficientes obtidos sucessivamente na EDO com r = r e r = r
1 2
1
Caso 2. Raiz dupla com r1 = r2 = r = (1 − b0 )
Uma base é :
Page 189 (2)
2

y1(x) = x (a0 + a1x + a 2 x + ......) =  amx m+r1
r1 2
e
m=0

y 2 (x) = y1(x)lnx + x (A 0 + A1x + A 2 x + ......) = y1(x)lnx +  Amx m+r1
r1 2
m =0
com (x  0)
Caso 3. Raízes diferem por um número inteiro positivo1, 2, 3 ....

Uma base é :

y1(x) = x (a0 + a1x + a 2 x + ......) =
r1 2
 m
a
m=0
x m+r1
e

y 2 (x) = ky1(x)lnx + x (A1x + A 2 x 2 + ......) = ky1(x)lnx +  Amx m+r2
r2
m=1
EXEMPLO
r(r - 1) + b0r + c 0 = 0

EQUAÇÃO DE BESSEL
x 2 y"+ xy '+( x 2 −  2 )y = 0  é um número real  0
Surge nos casos de simetria cilíndrica
Solução
1 1
x 2 y"+ xy '+( x 2 −  2 )y = 0  y"+ y '+ 2 ( x 2 −  2 )y = 0
x x
Sendo b(x) = 1 e c(x) = ( x 2 −  2 )

Uma solução da EDO pelo método de Frobenius é : y( x ) =  m
a
m =0
x m +r
Assim :

y' ( x ) =  (m + r )a
m =0
m x m+r −1

y" ( x ) =  (m
m =0
+ r )(m + r − 1)a m x m +r − 2
Substituindo y, y' e y" na equação de Bessel, resulta :

  
x 2
 (m + r )(m + r − 1)a m x
m=0
m +r − 2
+ x  (m + r )a m x
m=0
m +r −1
+ ( x −  )  a m x m +r = 0 
2 2
m=0
   
 (m + r )(m + r − 1)a
m=0
mx
m +r
+  (m + r )a m x
m=0
m +r
+  am x
m=0
m +r + 2
− 2
a
m=0
m x m +r
=0
   
 (s + r )(s + r − 1)a
s=0
s x s +r
+  (s + r )a s x
s=0
s +r
+  a s−2 x
s=2
s +r
− 2
a
s=0
s x s +r = 0
Os coeficientes das potências de x r + s são :

s = 0 : r(r − 1)a 0 x r + (r )a 0 x r −  2 a 0 x r = 0
s = 1 : (1 + r )(r )a1 x 1+r + (1 + r )a1 x 1+r −  2 a1 x 1+r = 0
s  2 : (s + r )(s + r − 1)a s x s+r + (s + r )a s x s+r + a s− 2 x s+r −  2 a s x s+r = 0
Os coeficientes destas potências são nulos. Assim :

r(r − 1)a 0 + (r )a 0 −  2 a 0 = 0
(1 + r )(r )a1 + (1 + r )a1 −  2 a1 = 0
(s + r )(s + r − 1)a s + (s + r )a s + a s− 2 −  2 a s = 0
Como a00, a equação indicial é obtida da potência xr:
r 2 −  2 = 0  (r +  )(r −  ) = 0
Cuja solução é:r1 =  e r2 = −  0
Estas raízes são distintas, quando 0, e iguais, quando =0
Determinação dos coeficientes para r=r1= 

(1 + r )(r )a1 + (1 + r )a1 −  2 a1 = 0  (1 +  )( )a1 + (1 + )a1 −  2 a1 = 0 
( +  2 )a1 + (1 + )a1 −  2 a1 = 0  (1 + 2 )a1 = 0  a1 = 0
Para s  2
(s + r )(s + r − 1)a s + (s + r )a s + a s−2 −  2a s = 0 
(s +  )(s +  − 1)a s + (s +  )a s + a s−2 −  2a s = 0 
(s2 + 2s − s −  +  2 )a s + (s +  )a s + a s−2 −  2a s = 0 
1
(s2 + 2s )a s + a s−2 = 0  a s = − a s−2
(s + 2s )
2

1
as = − as−2
(s + 2s)
2
Para s ímpar
1
s = 3  a3 = − a1 = 0
(9 + 6)
1
s = 5  a5 = − a3 = 0
(25 + 10)
...............................................
Se s é par façamos s = 2m, onde m = 1, 2, 3, 4...
1 1
s = 2m  a 2m = − a − = − a 2m− 2
( 4m + 4m) 2 m(  + m)
2 2 m 2 2
1
m = 1  a2 = − 2 a0
2 (  + 1)
1 1 1
m = 2  a4 = − 2 a2 = 2 a0
2 2(  + 2) 2 2(  + 2) 22 (  + 1)
1 1 1 1
m = 3  a6 = − 2 a4 = − 2 a0
2 3(3 + ) 2 3(  + 3) 2 2(  + 2) 2 (  + 1)
2 2
......................................................
( −1)m a0
a 2m = 2m (m = Mathematics
Advanced Engineering 1, 2, 3, ...)by Erwin Kristi
2 m! (  + 1)(  + 2)(  + 3)........(  + m) Copyright  2007 John Wiley & Sons, Inc. All rights reserved.
FUNÇÕES DE BESSEL Jn(x) PARA INTEIRO =n
Para =n (inteiro), a2m fica:
(−1) m a 0
a 2m = 2m 
2 m!(ν + 1)(ν + 2)(ν + 3)........( ν + m)
(−1) m a 0
a 2m = 2m (m = 1, 2, 3,......)
2 m!(n + 1)(n + 2)(n + 3)........( n + m)
1
Tomando a 0 = e substituindo em a2m, resulta:
2 n n!
(−1) m (−1) m
a 2m = 2m n = 2m+ n
2 2 m!n!(n + 1)(n + 2)(n + 3)........( n + m) 2 m!(n + m)!
Com este coeficiente, uma solução particular de x y"+ xy '+( x −  ) y = 0 é:

2 2 2
 
(−1)m x 2m+n
Jn (x ) = x n
a
m=0
2m x 2m
=  2m+n
m =0 2 m! (n + m)!
(obs.: m começando de 0
engloba a0)
Função de Bessel de primeira espécie
de ordem n. Ela converge para todo x Advanced Engineering Mathematics by Erwin Kristi
EXEMPLO
Page 192 (2)

Page 191 (4)

FUNÇÕES DE BESSEL J (x) PARA QUAISQUER VALORES DE 0
Page 192 (3)

A FUNÇÃO GAMA: Γ(ν) =  e − t t ν −1dt (  0)
0
  
Γ() =  e t dt  Γ(1) =  e −tdt = - e −t
− t  −1
= 0 − (−1) = 1
0 0 0
RELAÇÃO DE RECORRÊNCIA
0
 
−t ν 
Γ(ν + 1) =  e t dt = − e t
−t ν
+ ν  e − t t ν -1dt  Γ(ν + 1) = νΓ(ν)
0 0 0
Γ(ν + 1) = νΓ(ν)
Γ(2) = Γ(1) = 1 = 1!
Γ(3) = 2Γ(2) = 2.1!= 2!
Γ(4) = 3Γ(3) = 3.2.1!= 3!
.......................................
Γ(n + 1) = nΓ(n) = n.(n − 1)!= n! A função gama generaliza o fatorial
1
Para um valor qualquer de , temos: a 0 =
1 1
a0 = n = n 2  ( + 1)
2 n! 2 (n + 1)
1
Para um valor qualquer de , temos: a 0 =
2  ( + 1)
Page
(−1) am
192 (3)
a 2m = 0

2 m!(ν + 1)(ν + 2)(ν + 3)........( ν + m)
2m
(−1) m 1
a 2m = 2m
2 m!(ν + 1)(ν + 2)(ν + 3)........( ν + m) 2  ( + 1)
Mas (ν + 1) (ν + 1) = Γ(ν + 2); (ν + 2) (ν + 2) = Γ(ν + 3)........; ( ν + m)(ν + m) = Γ(ν + m + 1)
Assim :
( −1)m
a 2m = 2m+ 
2 m! (  + m + 1)
Com esses coeficientes e r=r1=, uma solução particular da equação de
Bessel é:

(−1) m x 2 m Função de Bessel de primeira espécie e
J  ( x ) = x  2m+ 

ordem 
m =0 2 m!( + m + 1)

FUNÇÕES DE BESSEL J- (x) PARA QUAISQUER VALORES DE 0

(−1) m x 2 m
J − ( x ) = x −

m =0 2
2m − 
m!(m -  + 1)
J e J- são LI para valores não inteiros de  e forma uma base de

soluções para a equação de Bessel
TEOREMA: SOLUÇÃO GERAL DA EQUAÇÃO DE BESSEL
Se  não for um número inteiro, uma solução geral da equação de Bessel

para todo x0 é:
y(x)=c1J(x)+ c2J-(x)
TEOREMA: DEPENDÊNCIA LINEAR DAS FUNÇÕES DE BESSEL J(x) e J-(x)
Para números inteiros =n, as funções de Bessel J(x) e J-(x) são linearmente
dependentes, porque:
J-n(x)=(-1)n Jn(x) (n=1, 2, 3, ......)
ALGUMAS PROPRIEDADES DAS FUNÇÕES DE BESSEL
TEOREMA: DERIVADAS E FÓRMULAS DE RECORRÊNCIA
A derivada de J(x) em relação x pode ser expressa por J-1(x) J+1(x)

pelas fórmulas:
x 

J  ( x )  = x  J  −1 ( x )
x −
 
J ( x )  = − x − J ( x )
 +1
Além disso, J ν (x) e suas derivadas satisfazem as relações de recorrência :
2
J  −1 ( x ) + J  +1 ( x ) = J  (x)
x
J  −1 ( x ) − J  +1 ( x ) = 2J '  ( x )

TEOREMA: J ELEMENTAR, PARA ORDENS  MEIO INTEIRAS
Page 198
1 3 5
As funções de Jν de ordem  ,  ,  , são elementares ;
Bessel
2 2 2
elas podem ser expressa por um determinado número finito de cossenos,
senos e potências de x. Particularmente :
2
J1 2 ( x ) = sen x ;
x
2
J-1 2 ( x ) = cos x;
x
2  sen x 
J3 2 ( x ) =  - cos x  e
x  x 
2  cos x 
J−3 / 2 ( x ) = −  + sen x ;
x  x 

FUNÇÕES DE BESSEL DE SEGUNDA ESPÉCIE Y(x)
Page 200 (1)
Função de Bessel de segunda espécie para =n=0, Y (x) 0
Equação de Bessel para = n=0

x 2 y"+ xy '+( x 2 −  2 )y = 0  xy "+ y'+ xy = 0
Equação indicial: r −  = 0  (r +  )(r −  ) = 0

2 2
Solução: r = r1 = r2 = 0 ( = n = 0)
1
Caso 2. Raiz dupla com r1 = r2 = r = (1 − b0 )
2
Uma base é :
y1(x) = x r (a0 + a1x + a 2 x 2 + ......) e
y 2 (x) = y1(x) ln x + x r (A 0 + A1x + A 2 x 2 + ......) (x  0)
Uma solução é y1(x)=J0(x)

A outra solução LI é:

Page 200 (2)
y 2 (x) = y1(x) ln x + x (A0 + A1x + A 2x + ......) = J0 (x) lnx + x
r 2 r
 m 
A x
m =0
m

y 2 (x) = J0 (x) lnx +  Amx m
m=0
As derivadas primeira e segunda de y2 são:

J0 
y'2 (x) = J'0 lnx + +  mAmx m−1
x m=1

2J'0 J0
y"2 (x) = J"0 lnx + − 2 +  m(m - 1)Amx m−2
x x m= 2
Substituindo a expressões acima em xy "+ y'+ xy = 0 , resulta:

 2J'0 J0 
m− 2   J0  
x J"0 lnx + − 2 +  m(m - 1)Am x  + J'0 lnx + +  mAm x m−1 +
 x x m= 2   x m=1 
 

x J0 lnx +  Am x m  = 0
 m=1 
 2J'0 J0 
m− 2   J0  
x J"0 lnx + − 2 +  m(m - 1)Am x  + J'0 lnx + +  mAm x m−1 +
 x x m=1   x m=1 
 

x J0 lnx +  Am x m  = 0
 m=1 
0 (solução)
 
xJ" 0 +J'0 + xJ0  lnx + 2J'0 + x  m(m - 1)Amx m− 2
+  mAm x m−1 +
m= 2 m=1

+ x  Amx m = 0 
m =0
  
2J'0 +  m(m - 1)Amx m−1
+  mAmx m−1
+  Amx m+1 = 0
m=1 m=1 m= 0
( −1)m x 2m

x2 x4
Mas J0 (x ) =  2m = 1− 2 + 4 − +....... 
m =0 2 (m!) 2
2 2 ! 2 ( 2! ) 2

J 0 (x ) = 
' (2m)( −1)m x 2m−1  ( −1)m x 2m−1
=  2m-1
m=1 2 (m!)
2m 2
m=1 2 (m - 1)(m!)

( −1)m x 2m−1   
2 +  m(m - 1)A m x m−1
+  mA m x m−1
+  A m x m+1 = 0 
2 2m-1(m - 1)! (m!)
2
m=1 m=1 m=1 m=1

( −1)m x 2m−1  

m=1 2
2m- 2
+ 
(m - 1)! (m!) m=1
m 2
A m x m−1
+ 
m=1
A m x m+1
=0
Os termos da série acima para vários valores de m são:
m = 1 : ( −1)x1 + A1x 0 + A1x 2 x 0 : A1 = 0

x3 x1 : -1 + 4A 2 = 0  A 2 = 1/ 4
m = 2: 2 + 4A x 1
+ A x 3
2 1! (2!)
2 2 2
x 2 : A1 + 9A3 = 0  A 3 = 0
( −1)x 5 1
m = 3: 4 + 9A 3 x 2 + A 3 x 4 + A 2 + 16 A 4 = 0  A 4 = 3 / 8
2 (2)! (3!) x3 :
2 1! (2!)
2
x7 x 4 : A 3 + 25 A 5 = 0  A 5 = 0
m = 4: 6 + 16 A 4 x 3 + A 4 x 5
2 (3)! (4!)
- x9
m = 5: 8 + 25 A 5 x 4 + A 5 x 6
2 (4)! (5!)


( −1)m x 2m−1  

m=1 2
2m- 2
+ 
(m - 1)! (m!) m=1
m 2
A m x m−1
+ 
m=1
A m x m+1
=0
Cálculo dos coeficientes com potências pares de x: x2s (s=1,2,...)


( −1)m x 2m−1

m=1 2
2m- 2
(m - 1)! (m!)
não contém potências pares de x

 m
m
m=1
2
A x m−1
= A 1x 0
+ 4A 2 x 1
+ 9 A 3 x 2
+ 16 A 4 x 3
+ 25 A 5 x 4
+ ......

Potências pares da série acima :  (2s + 1)2 A 2s+1x 2s (m - 1 = 2s)
s =1

A
m=1
m x m+1 = A1x 2 + A 2 x 3 + A 3 x 4 + A 4 x 5 + A 5 x 6 + .....

Potências pares da série acima :  A 2s-1x 2s (m + 1 = 2s)
s =1
Igualando os coeficientes de x2s a zero, resulta:

A 2s-1
(2s + 1)2 A 2s+1 + A 2s-1 = 0  A 2s+1 = −
(2s + 1)2
A1 A3
A 3 = − 2 = 0; A 5 = − 2 = 0;......... ... Advanced Engineering Mathematics by Erwin Kristi
(3) (5) Copyright  2007 John Wiley & Sons, Inc. All rights reserved.

( −1)m x 2m−1  

m=1 2
2m- 2
+ 
(m - 1)! (m!) m=1
m 2
A m x m−1
+ 
m=1
A m x m+1
=0
Cálculo dos coeficientes com potências ímpares de x: x2s+1 (s=1,2,...)


( −1)m x 2m−1 1

m=1 2
2m- 2
(m - 1)! (m!)
= − 1x 1
+ 2
2 1!2!
x 3 + .......
( −1)s+1 x 2s+1

Termos ímpares da série acima :  2s (2m − 1 = 2s + 1)
s =1 2 (s)! (s + 1)!

m A
m=1
2
m x m−1 = 1A1x 0 + 4 A 2 x1 + 9 A 3 x 2 + 16 A 4 x 3 + 25 A 5 x 4 + 36 A 6 x 5 .....

Termos ímpares da série acima :  (2s + 2)2 A 2s+ 2 x 2s+1 (m − 1 = 2s + 1)
s =1

A
m=1
m x m+1 = A1x 2 + A 2 x 3 + A 3 x 4 + A 4 x 5 + A 5 x 6 + A 6 x 7 + A 7 x 8 + .....

Termos ímpares da série acima :  A 2sx 2s+1 (m + 1 = 2s + 1)
s =1
Igualando os coeficientes de x2s+1 a zero, resulta:

(-1)s+1
+ (2s + 2 ) 2
A 2s+2 + A 2s = 0
2 s! (s + 1)!
2s Advanced Engineering Mathematics by Erwin Kristi
(-1)s+1
+ (2s + 2 ) 2
A 2s+2 + A 2s = 0
2 s! (s + 1)!
2s
1 1 1 3
s = 1: + 16A 4 + A 2 = 0  + 16A 4 + = 0  A 4 = −
8 8 4 128
−1 −1 3 11
s = 2: + 36A 6 + A 4 = 0  + 36A 6 − = 0  A6 =
192 192 128 13824
......................................................................
(-1)m-1  1 1 1
Em geral A2m = 2m 1 + 2 + 3 + ........ + m  m=1, 2, 3.....
2 (m! ) 2  
1 1 1
Fazendo h1 = 1 e hm = 1 + + + ........ + e inserindo os valores de A
2 3 m
na eq. abaixo:

(-1)m-1hm 2m 1 2 3 4 11
y 2 (x) = J0 (x) lnx +  2m 2
x = J 0 (x) lnx + x − x + x 6
+ .........
m=1 2 (m! ) 4 128 13824


(-1)m-1hm 2m 1 2 3 4 11
y 2 (x) = J0 (x) lnx +  2m 2
x = J 0 (x) lnx + x − x + x 6
+ .........
m=1 2 (m! ) 4 128 13824
Como J0 e y2 são LI, elas formam uma base da EDO xy "+ y'+ xy = 0 para
x>0.
A solução particular a(y 2 + bJ 0 ) , onde a(  0) e b são constantes , também
é uma solução da EDO.
2 1 1
Para a = e b =  - ln2, onde  = 0,57721566 490....... = lim(1 + + ... + − ln s)
 s → 2 s
Esta solução particular padrão é chamada de função de Bessel de segunda
espécie de ordem zero ou função de Neumann de ordem zero, sendo dada
por:
2  x   (-1) hm 2m 
m-1
Y0 (x) = J0 (x) ln +   +  2m x 
  2  m=1 2 (m! )
2


FUNÇÕES DE BESSEL DE SEGUNDA ESPÉCIE ORDEM  OU
FUNÇÃO DE NEUMANN DE ORDEM  Page 205a
Segunda solução padrão
Y ( x ) =
1
J ( x ) cos  − J− ( x )
sen
Yn ( x ) = lim Y ( x )
 →n
J e Y são LI para todo  (e para x>0).
TEOREMA: SOLUÇÃO GERAL DA EQUAÇÃO DE BESSEL

Uma solução geral da equação de Bessel para todos os valores de 
(e x>0) é:
y(x)=C1J(x)+C2Y(x)

Page 201 (2)

SOLUÇÃO DA EQUAÇÃO GERAL DE BESSEL
Page
Seja a equação de Bessel abaixo:
205a
x 2 y"+[(1 − 2A)x − 2Bx 2 ]y'+[C2D2 x 2C + B2 x 2 − B(1 − 2 A)x + A 2 − C2n2 ]y = 0
Sua SOLUÇÃO GERAL é dada por:
y = x A eBx [C1Jn (Dx C ) + C2 Yn (Dx C )]
Se D é um número imaginário, Jn e Yn devem ser substituídos por In e Kn com

o mesmo argumento, exceto pela omissão de i=(-1)1/2

PROBLEMAS DE STURM-LIOUVILLE
Problema de valor de contorno para EDO de segunda ordem: consiste de

uma EDO e em condições de contorno dadas em dois pontos extremos
x=a e x=b de um intervalo a≤x≤b.
EQUAÇÃO DE STURM-LIOUVILLE [p( x )y' ]' +[q( x ) + r( x )]y = 0 (1)

[p( x )y' ' ] + [p' ( x )y' ] + [q( x ) + r ( x )]y = 0
onde  é um parâmetro, p, q, r (r>0) e p’ são continuas no intervalo a≤x≤b.
CONDIÇOES DE CONTORNO DE k 1 y( a ) + k 2 y ' ( a ) = 0 (2a)

STURM-LIOUVILLE:
k1, k2, ℓ1 e ℓ2 são constantes dadas sem
serem ambas iguais a zero aos pares.
 1y(b) +  2 y' (b) = 0 (2b)
PROBLEMA DE STURM-LIOUVILLE: problema de valor de contorno

envolvendo a EDO (1) e as condições de contorno (2a) e (2b).

EXEMPLO
Page 206

AUTOFUNÇÕES E AUTOVALORES
y=0 é uma solução trivial do problema de Sturm-Liouville para qualquer 
Autofunções y(x): soluções de [p( x )y' ]' +[q( x ) + r( x )]y = 0 que
satisfazem as condições k1y(a) + k 2 y' (a) = 0 e  1y(b) +  2 y' (b) = 0
e não são identicamente nulas.
Autovalor: valor do parâmetro  para o qual existe uma autofunção do

problema de Sturm-Liouville
TEOREMA: VALORES REAIS DOS AUTOLVALORES

Se na equação de Sturm-Liouville, p q, r e p’ são valores reais e contínuos
no intervalo a≤x≤b e r(x)>0 ao longo de todo esse intervalo (ou r(x)<0 ao
longo de todo esse intervalo), então todos os autovalores do problema
de Sturm-Liouville são reais.

EXEMPLO
Page 208

ORTOGONALIDADE
DEFINIÇÃO
Page 210 (1)
As funções y1 ( x), y 2 (x),..... definidas em algum intervalo a  x  b são, neste
intervalo, chamadas de ortogonais em relação à função peso r(x)  0, se para
todo m e todo n diferente de m,
b
a
r(x)ym ( x) yn ( x)dx = 0 (m  n)
A norma y m de y m é definida como
b
ym = a
r(x)y2m ( x)dx
As funções y1 , y 2 .......... são chamadas de ortonormais em a  x  b se elas
forem ortogonais neste intervalo e tiverem norma igual 1.
Se r(x) = 1 diremos mais abreviadamente que as funções são ortogonais, ao invés
de ortogonais, em relação a r(x) = 1, ocorrendo algo similar com a ortonormalidade.
Então,
b b

a
y m ( x) yn ( x)dx = 0 (m  n), ym = a
y 2m ( x)dx
EXEMPLO
Page 210 (2)

Page 210 (3)
ORTOGONALIDADE DAS AUTOFUNÇÕES
TEOREMA: ORTOGONALIDADE DAS AUTOFUNÇÕES

Na equação de Sturm - Liouville [p(x)y' ]'+[q(x) + λr(x)]y = 0, suponha que as
funções p, q, r e p' tenham valores reais e sejam contínuas, e que r(x)  0 no
intervalo a  x  b. Chamemos de ym (x) e yn (x) as autofunções do problema
de Sturm - Liouville :
[p(x)y' ]'+[q(x) + λr(x)]y = 0 (1)
k 1y(a) + k 2 y' (a) = 0 (2a)
 1y(b) +  2 y' (b) = 0 (2b)
correspondentes a diferentes autovalores de λm e λn , respectivamente.
Então, nesse intervalo, ym e yn são ortogonais em relação à função peso
r, ou seja :
b
 r(x)y
a
m ( x )y n ( x )dx = 0 (m  n)

Se p(a) = 0, então (2a) pode ser eliminada do problema.Se p(b) = 0,
Page 211
então (2b) também pode ser eliminada.[ Requer - se então que y e y'
tenham contornos num ponto desses, e o problema é chamado de singular,
pois se opõe ao problema regular em que se utiliza (2)].
Se p(a) = p(b), então (2) pode ser substituída pelas condições de
contorno periódicas problema de Sturm - Liouville periódico) :
y(a) = y(b)
y' (a) = y' (b)

Pages 211-212a

Pages 211-212b

EXEMPLO
(1 − x 2 ) y − 2x y + n(n + 1) y = 0 onde n  , n  0
Pages 211-212c

x y"+ xy '+( x −  )y = 0
2 2 2
 é um número real  0
Page 214 (1)
TEOREMA: ORTOGONALIDADE DAS FUNÇÕES DE BESSEL
Para cada n inteiro e não negativo, a sequência das funções de Bessel de

primeira espécie Jn (kn,1x), Jn (kn,2x)......, com kn,m = n,m / R, forma no intervalo
0  x  R, um conjuntoortogonal à função peso r(x) = x, ou seja :
R
0
xJn (kn,m x)Jn (kn,jx)dx = 0 (j  m,n fixos)

Page 214 (2)

EXPANSÕES EM AUTOFUNÇÕES ORTOGONAIS
Page 215 (1)

NOTAÇÃO PADRÃO PARA ORTOGONALIDADE E ORTONORMALIDADE
As funções y0, y1, y2, .......ortonormais ao peso r(x)>0 em a≤x≤b, podem

ser escritas como:
b 0 (se m  n)
(ym , y n ) =  r(x)y m ( x )y n ( x )dx = mn = 
a
1 (se m = n)
onde δmn é definido como o delta de Kronecker.
A norma pode ser escrita como :

b
y = (ym , y n ) = a
r(x)y m2 ( x )dx

SÉRIES ORTOGONAIS
Page 215 (2)
Consideremos que y , y , y ..... seja um conjunto ortogonal ao peso
0 1 2
r(x) num intervalo a  x  b. Chamemos de f(x) uma função que pode ser
expressa por meio de uma série convergente :

f(x) = a
m =0
m y m ( x ) = a0 y 0 ( x ) + a1y1( x ) + a 2 y 2 ( x ) + ....... (1)
Dizemos então que ela é uma expansão ortogonal ou uma série de Fourier
generalizada.
Se os ym forem autofunções do problema de Sturm-Liouville, dizemos que

é uma expansão em autofunções.
Os coeficientes da série são chamados de constantes de Fourier de f(x)
com respeito a y0, y1, y2....
Por causa da ortogonalidade, determinamos os coeficientes da série mul-

tiplicando ambos os lados de (1) por r(x)yn(x) (com n fixo) e integrarmos
de a a b, ou seja: Advanced Engineering Mathematics by Erwin Kristi
Pages  218-219a


rfy dx = r  a y y dx = a (y

    m, yn )
b b
(f, y n ) =  n  n m m m
a a
m =0  m =0
Devido à ortogonaliade, todas as integrais no lado direito

são nulas, excetuando - se quando m = n. Logo, a série
se reduz ao único termo :
(f, y n ) = an (y n , y n ) 
(f, y n ) 1 b
an = =
(yn , yn ) yn 2  r(x)f(x)y
a
m ( x )dx (m = 0, 1, 2...)

Pages 218-219b

Pages 218-219c

Pages 218-219d


CH 05 Aula

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

CH 05 Aula

Transféré par

Droits d'auteur :

Formats disponibles

CAPITULO 5

SOLUÇÕES DAS EDOS POR SÉRIES.

Advanced Engineering Mathematics by Erwin Kristi

REVISÃO DE SEQUÊNCIAS E SÉRIES

Progressão aritmética: sequência em que an+1=an+r=a1+nr (r= razão)

A série geométrica converge para a/(1-r) se r <1 e diverge se r 1

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

temos somente três possibilidades:

(ii) A série converge para todo x que satisfaça x − x 0  R , em que

(iii) A série converge para todo x. Neste caso R=∞

Advanced Engineering Mathematics by Erwin Kristi

A convergência de uma série de potências pode frequentemente ser

Teste da Razão: Seja  um uma série com termos positivos e suponha

Então , (a) a série converge se L<1,

Advanced Engineering Mathematics by Erwin Kristi

Então, (a) a série converge se L<1,

Advanced Engineering Mathematics by Erwin Kristi

Determinação do intervalo de convergência. A convergência de uma série

Advanced Engineering Mathematics by Erwin Kristi

Se a série de potências tiver raio de convergência R>0, então a função f(x)

Advanced Engineering Mathematics by Erwin Kristi

Operações com séries

f (x ).g(x ) = a0b0 + (c 0b1 + c1b0 )x + (c 0b2 + c1b1 + c 2b0 )x 2 + ......

Advanced Engineering Mathematics by Erwin Kristi

R n ( x ) = a n+1 ( x − x 0 )n+1 + a n+ 2 ( x − x 0 )n+ 2 + ......

Se o lim das expressões acima tendem a infinito,

Advanced Engineering Mathematics by Erwin Kristi

Três casos são possíveis:

Advanced Engineering Mathematics by Erwin Kristi

O raio de convergência pode ser obtido por :

Se o lim das expressões acima tendem a infinito,

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Obs. : A derivada e a soma de uma série de potências têm o mesmo intervalo

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

MÉTODO DE SÉRIE DE POTÊNCIAS SOBRE UM PONTO

onde x é uma variável,

A idéia do método consiste em escrever a solução da EDO na forma de uma

Advanced Engineering Mathematics by Erwin Kristi

Pontos Ordinários e Singulares de y" +p(x)y' + q(x)y = 0

TEOREMA: EXISTÊNCIA DE SOLUÇÕES POR SÉRIE DE POTÊNCIAS

Se p, q e r em y" +p(x)y' +q(x)y = r( x ) são analíticas em x=x0 (ponto ordinário),

Advanced Engineering Mathematics by Erwin Kristi

Se x=x0 for um ponto ordinário da equação diferencial y" +p(x)y' +q(x)y = 0 ,

A série converge para uma solução em x − x0  R , em que R é o raio

Advanced Engineering Mathematics by Erwin Kristi

Para x0=0 temos a série de Maclaurin

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Page 172 (1a)

3) Substituir as expressões acima na EDO e agrupar as potências de mesma ordem

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Advanced Engineering Mathematics by Erwin Kristi

Surge nos casos de simetria esférica.

SOLUÇÃO DA EQUAÇÃO DE LEGENDRE