Dvidas: p.

259 Q13,

p.260 Q26,

p.265 Q12,

p.266 Q25,

p.271 Q12,

p.289 Q6.

p.259 Q13

y (ln x ) y 3 xy 0 Determinar singularidades e classificar em regular ou irregular

Nesse caso, temos as funes P(x) = 1, Q(x) = ln|x|, R(x) = 3x. No h singularidades na funo P(x). A nica
singularidade x0 = 0, pois o ln|x| tende a menos infinito quando x tende a zero. Ento, vamos analisar essa
singularidade. Como a funo P(x)=1 no apresenta pontos singulares, o mtodo de multiplicar (x x0) por
[Q(x)/P(x)] no ter utilidade aqui. Resta-nos analisar a prpria funo ln|x|. No podemos expandir ln|x| em
srie de Taylor, em torno do ponto x0 = 0, pois ela no possui derivada nesse ponto. Sendo assim, ela no
analtica em x0 = 0 e, por conseqncia disso, tambm no podemos expandir a funo y(x), que a soluo da
ED, em torno desse mesmo ponto. Portanto, o ponto x0 = 0 torna-se uma singularidade irregular.
Observao: tambm no podemos expandir as funes f ( x ) x ln( x) , g ( x) x 2 ln( x) , em srie de Taylor,
em torno de x0 = 0, porque elas no possuem derivadas de ordem superior, f(n)(x) em torno de zero. No caso de
f(x), para n = 2, 3, 4, ... e, para g(x), para n = 3, 4, 5, ...

p.260 Q21

P( x) y R( x) y Q ( x) y 0 ,

fazendo a mudana de varivel x 1 / , temos que

P( x) P (1 / ) , Q( x) Q(1 / ) , R( x) R (1 / ) , y( x) y (1 / ) y ( ) , y ( x)

mas x 1 / 1 / x ,

y ( x)

dy 1
dy
d 1
d dy d dy d
2
, y ( x)
,
2 , y


2
d x
d
dx dx d dx dx
dx x

d
dy
2
2 2
d
d

dy dy d

,
dx d dx

2 ddy

2
d2y
3 dy
4 d y
.

d
d 2
d 2

Substituindo na ED:

dy
d2y
dy
P(1 / ) 2 3
4
Q(1 / ) 2
R(1 / ) y 0
2
d
d
d

4 P(1 / )

d2y
dy
2 3 P(1 / ) 2 Q(1 / )
R(1 / ) y 0 , dividindo a ED por 4 P (1 / ) :
2
d
d

d 2 y 2 3 P (1 / ) 2 Q(1 / )

d 2
4 P (1 / )

dy
R (1 / )
4
y0

d P (1 / )

Ento, para que y possa ser expandida em srie, as seguintes funes devem ter srie de Taylor em torno de
0:

1 2 P (1 / ) Q(1 / )
R(1 / )
e
.

2
P (1 / )

4 P(1 / )

Se x infinito ponto singular regular, ento as seguintes funes devem ter srie de Taylor em torno de 0 :

2 P(1 / ) Q(1 / )
R(1 / )
R(1 / )
e 2 4
.

2
P(1 / )

P(1 / ) P(1 / )

p.260 Q26

y 2 x y y 0 (ED de Hermite). Vamos usar o resultado mostrado em Q21

Se x infinito ponto singular regular, ento as seguintes funes devem ter srie de Taylor em torno de 0 :

2 P(1 / ) Q(1 / )
R(1 / )
R(1 / )

e 2 4
2
, ou seja

2
P(1 / )

P(1 / ) P(1 / )

2 2
2

2 2 e 2 . Essas funes no possuem srie de Taylor em torno de 0 .
2

Portanto, o ponto no infinito uma singularidade irregular.

p.260 Q27

y xy 0

(ED de Airy). Vamos usar o resultado mostrado em Q21

Se x infinito ponto singular regular, ento as seguintes funes devem ter srie de Taylor em torno de 0 :

2 P (1 / ) Q(1 / )
R(1 / )
R(1 / )
e 2 4
2
, ou seja

2
P (1 / )

P(1 / ) P(1 / )

2
(1 / ) 1
2 e
3 . A segunda funo no possui srie de Taylor em torno de 0 . Portanto, o

1
2

ponto no infinito uma singularidade irregular.

p.265 Q12 - Determinar soluo geral da ED que seja vlida em qualquer intervalo que no inclua o ponto singular

x 2 y 4 x y 4 y 0 - singularidade: x0 = 0. Nesse caso, temos uma ED tipo Euler e vamos resolver como tal,
no intervalo x>0, usando o mtodo proposto por Euler. Vejamos:
vamos propor y( x) x r exp[r ln( x)] ,

y ( x) r x r 1 , y ( x) r ( r 1) x r 2 . Substituindo na ED:

[r (r 1) 4r 4]x r 0 , coma a equao caracterstica r (r 1) 4r 4 r 2 5r 4 0 .

As razes so r1 1, r2 4 (razes distintas). As solues so:

y( x) c1 x r1 c 2 x r2 c1 x c 2 x 4

p.266 Q25

(ver o mtodo descrito no problema 23, mesma pgina, para us-lo nesse exerccio)

x 2 y 3 x y 4 y ln x . Fazendo x = ez, z = ln(x), temos:

dy dy dz 1 dy
,

dx dz dx x dz

d 2 y d dy d 1 dy 1 dy 1 d dy 1 dy 1 d dz dy 1 dy 1 d 2 y

dx 2 dx dx dx x dz x 2 dz x dx dz x 2 dz x dz dx dz x 2 dz x 2 dz 2
1 dy 1 d 2 y
1 dy
3x
x 2 2
2
4y z ,
2
x dz
x dz x dz

Substituindo na ED:

d2y
dy
4 4 y z . A ED homognea correspondente
2
dz
dz

dy d 2 y dy

dz dz 2 3 dz 4 y z

d2y
dy
4 4 y 0 . Propondo soluo
2
dz
dz

y H ( z ) e r z , temos a eq. caracterstica: r 2 4r 4 0 , com as razes r1 r2 r 2 . A soluo da ED

homognea y H ( z ) (c1 c 2 z )e 2 z .
Propondo agora a soluo particular y p ( z ) A Bz , temos: y p ( z ) B ,
no homognea

y p ( z ) 0 . Substituindo na ED

d2y
dy
4 4 y z , temos: 0 4 B 4 ( A Bz ) z , 4 Bz 4( A B) z , com A = B =
2
dz
dz

(1/4), como soluo. Da, y p ( z ) 1 / 4 1 z . Portanto, a soluo geral y( z ) (c1 c 2 z )e 2 z (1 / 4) 1 z

Voltando para a varivel antiga, x, temos: y( x) (c1 c2 ln x) x 2 (1 / 4) 1 ln x .

p.271 Q12

p.279 Q19
ED Hypergeomtrica:

x(1 x) y [ (1 ) x] y y 0

a) mostre que x0 = 0 um ponto singular regular e que as razes da equao indicial so zero e 1 .
Vamos examinar os limites lim ( x x0 )
x x0

Q( x)
e
P( x)

lim ( x x0 )2

x x0

R( x)
, sendo P( x) x(1 x) ,
P( x)

Q( x) (1 ) x , R(x) e x0 = 0 o ponto singular. Ento:

lim x
x 0

(1 ) x
(1 ) x
lim
,
x 0
x( x 1)
( x 1)

lim x 2
x 0

lim x
0 . Como os dois
x( x 1) x0 ( x 1)

limites existem, a singularidade regular. Vamos expandir a soluo em srie em torno de x0 = 0.

Considerando as expresses, em srie de potncias, para y(x), dy/dx e d2y/dx2

a (x x )

y( x) ( x x0 )k a0 a1 ( x x0 ) a2 ( x x0 ) 2 ...

dy
a (k )( x x0 ) k 1
dx 0
d2y
a (k )(k 1)( x x0 ) k 2
2
dx
0
Substituindo na ED:

x(1 x) a (k )(k 1) x k 2 [ (1 ) x] a (k ) x k 1 a x k 0

a (k )( k 1) x k a (k ) (k )(k 1)x k 1
0

(1 ) a (k ) x k a x k 0
0

a (1 )(k ) (k )(k 1) x k a (k ) ( k 1) x k 1 0

a (k )(1 ) (k 1) x k a (k ) ( k 1) x k 1 0
Substituindo por 1 no primeiro somatrio e expandindo o segundo somatrio para x = 0, temos:

a 0 k ( k 1) x k 1 a (k 1)(1 ) (k 2) x k 1
1

a (k ) ( k 1) x k 1 0
1

onde podemos ver que, pelo princpio da equivalncia, a 0 k ( k 1) 0 , e as razes da equao indicial so

k 0 e k 1 .
b) mostre que x0 = 1 um ponto singular regular e que as razes da equao indicial so zero e .
Vamos examinar os limites lim ( x x0 )
x x0

Q( x)
e
P( x)

lim ( x x0 )2

x x0

R( x)
, sendo P( x) x(1 x) ,
P( x)

Q( x) (1 ) x , R(x) e x0 = 1 o ponto singular. Ento:

(1 ) x
(1 ) x
lim
(1 ) ,
x 1
x 1
x( x 1)
x

2
lim x 1
lim ( x 1)
0 . Como os dois limites existem, a singularidade regular.
x 1
x( x 1) x1
x
lim x 1

O resto o mesmo, mas, agora, expandindo a soluo em srie em torno de x0 = 1.

Considerando as expresses, em srie de potncias, para y(x), dy/dx e d2y/dx2

a (x x )

y( x) ( x x0 )k a0 a1 ( x x0 ) a2 ( x x0 ) 2 ...

dy
a (k )( x x0 ) k 1
dx 0
d2y
a (k )(k 1)( x x0 ) k 2
dx2 0
Substituindo na ED:

x(1 x) a (k )(k 1)( x 1) k 2 [ (1 ) x] a (k )( x 1) k 1 a ( x 1) k 0

x a (k )(k 1)( x 1) k 2 a (k ) (k )(k 1)( x 1) k 1

0

(1 ) x a (k )( x 1) k 1 a ( x 1) k 0
Substituindo os x que multiplicam o 1 e o 3 somatrios por x 1 +1:

a (k )(k 1)( x 1) k 2 a (k )(k 1)( x 1) k 1

a (k ) (k )(k 1)( x 1) k 1 (1 ) a (k )( x 1) k .

(1 ) a (k )( x 1) k 1 a ( x 1) k 0
Agrupando os somatrios como os mesmo expoentes para (x 1), temos,

a (k )(k 1)( x 1) k 2 a (1 )(k ) ( x 1) k

a (k ) (k )(k 1) (k )(k 1) (1 )(k )( x 1) k 1 0

a (k )(k 1)( x 1) k 2 a (1 )(k ) ( x 1) k

a (k )[ (1 )]( x 1) k 1 0

Substituindo por 1 no ltimo somatrio, por 2 no penltimo somatrio e expandindo o primeiro

para 0,1 , e o ltimo para 1 , temos:

a 0 k (k 1)( x 1) k 2 a1k (k 1)( x 1) k 1 a 0 k[ (1 )]( x 1) k 1

a (k )(k 1)( x 1) k 2 a 2 (1 )(k 2) ( x 1) k 2

a 1 (k 1)[ (1 )]( x 1) k 2 0

a 0 k (k 1)( x 1) k 2 a1k (k 1) a 0 k[ (1 )]( x 1) k 1

a (k )(k 1)( x 1) k 2 a 2 (1 )(k 2) ( x 1) k 2

a 1 (k 1)[ (1 )]( x 1) k 2 0

onde podemos ver que, pelo princpio da equivalncia, a 0 k ( k 1) 0 e, tambm,

a1 k ( k 1) a 0 k [ (1 )] 0 . Podemos ver que k 0 satisfaz as duas equaes, k (h um erro de

conta, depois procuro).

p.289 Q6