You are on page 1of 7

Resumo - Parte 2

(ltima atualizao: 13/06/2014)


Resumo dos conceitos vistos em MA311. O documento deve ser utilizado apenas como apoio
ao estudo e no tem carter de referncia.

1. Sistemas de Edos Lineares de 1 ordem


Consideraremos aqui sistemas 2 2.

1.1. Sistemas Homogneos com Coeficientes Constantes


(

Denote =
= .

11 12
21 22

matriz real 2 2 e considere o seguinte sistema linear homogneo:

1) Encontrar os autovalores de , isto , as razes do polinmio caracterstico de , dado por


12
() = ( 2 ) = 11
21
22
(

onde 2 =

1 0
0 1

denota a matriz identidade 2 2.

2) As solues fundamentais dependem da natureza dos autovalores de encontrados em (1),


digamos 1 e 2 :
(2.i) Se 1 = 2 , reais portanto, ento
determine (qualquer) um autovetor associado cada
( ) = 0
1
2 1
autovalor, ie, 1 e 2 tais que
. As solues fundamentais so
( 2 )2 = 0
dadas por:

1 ()

= 1 1
2 () = 2 2

(2.ii) Se 1 = + e 2 = so complexos ( aparece sempre o par conjugado),


ento basta determinar um autovetor (com entradas complexas) associado um dos
1

2
autovalores, ie, tal que ( 1 ) = 0.(Separe
em dois
) (
) vetores correspondentes

s partes real e imaginria, ie, faa =


+
= 1 + 2 . As solues

fundamentais so dadas por:

= (1 cos() 2 sin())
2 () = (1 sin() 2 cos())

1 ()

(2.iii) Se 1 = 2 = , real portanto, ento determine um autovetor associado , ie, 1 tal


que ( 2 )1 = 0. Determine outro autovetor associado
2 , l.i. 1 , resolvendo
() = 1
1
1
.
(2 )2 = 1 . As solues fundamentais so dadas por:
2 () = 1 1 + 2 2
Obs: A soluo geral do sistema dada por: () = 1 1 () + 2 2 () e a matriz fundamental
do sistema dada por () = (1 () 2 ()) (ie, as colunas desta matriz so as solues
fundamentais e () = ()).

1.2. Sistemas No-Homogneos com Coeficientes Constantes


(

Denote agora () =
= + ().

1 ()
2 ()

um vetor e considere o seguinte sistema linear homogneo:

Mtodo da Variao de Parmetros


1) Resolva o sistema homogneo associado = , chame
() = )1 1 () + 2 2 () a
(
11 () 21 ()
soluo geral, e tome a matriz fundamental () =
associada, onde
12 () 22 ()
(
)
(
)
11 ()
21 ()
1 () =
e 2 () =
.
12 ()
22 ()
2) Suponha
soluo do sistema no-homogneo da forma () = ()(), onde
( que exista
)
1 ()
() =
um vetor a ser encontrado.
2 ()

3) (
Derive () e substitua
no)sistema
) (
( para)chegar () () = (), ie
11 () 21 ()
1 ()
1 ()
=
.
12 () 22 ()
2 ()
2 ()

4) Encontre 1 () e 2 () resolvendo () () = () pela Regra de Cramer (ou por substituio


direta), ie:
(
)
(
)
1 () 21 ()
11 () 1 ()

12 () 2 ()
2 () 22 ()

e 2 () =
1 () =
(1 , 2 )()
(1 , 2 )()
(

onde (1 , 2 )() =

11 () 21 ()
12 () 22 ()

o Wronskiano das solues 1 () e 2 ().

3
5) Integre com relao para encontrar 1 () e 2 ().
6) Substitua () em () = ()() para encontrar a soluo do sistema no-homogneo.
7) Portanto, a soluo geral do sistema no homogneo () = () + ().

2. Sequncias e Sries
2.1. Limites de Sequncias
Seja { }
=1 uma sequncia real.
Fatos:
lim | | = 0 = 0.
Toda sequncia limitada, montona convergente.

1 < < 1
= 1
=1

< 1 ou > 1

1+

Ordem de crescimento: Constante log !

2.2. Testes de Convergncia


Considere a srie
Fatos:

=1

=1

= lim

=1

converge lim = 0.

(Srie geomtrica) Para = 0,

=1

(-Srie) (Srie geomtrica)


nica.

1
=1

|| < 1
diverge se || 1
1

converge se || < 1
. Obs: 1-Srie a srie harm diverge
se || 1

Toda srie absolutamente convergente convergente.


Testes
(Teste da divergncia) Se lim no existe ou diferente de 0, ento

=1

diverge.

4
(Teste da integral) Seja funocontnua, decrescente em [1, ) com lim () = 0 e
() converge converge
=1
() = 1 inteiro. Ento 1

=1 diverge
1 () diverge


(Teste da comparao) Sejam
=1 sries com termos positivos. Ento
=1 e
converge e , 1 converge

=1
=1

diverge e , 1
=1 diverge
=1

(Teste da comparao do limite) Sejam


=1 sries com termos positivos. Se
=1 e

lim
= constante R>0 , ento ambas sries convergem ou ambas divergem.

(Teste para sries alternadas) Se


ento a srie converge.

=1 (1)

(Teste da razo) Seja


=1 srie (os

< 1
+1
= > 1 ou no existe
lim

(Teste da raiz) Seja


=1 srie com

< 1

lim | | = > 1 ou no existe

tal que +1 , e = 0,

termos no precisam ser no-negativos). Ento:


=1 absolutamente convergente

=1 divergente
nada se conclui.

termos positivos. Ento:


=1 absolutamente convergente

=1 divergente
nada se conclui.

Obs: Dica para ter noo se a srie converge ou no, antes de utilizar algum teste: verificar o
comportamento do termo geral no limite, observando a ordem de crescimento das funes que
compem o termo geral.

2.3. Sries de Potncias


Considere a srie
Fatos:

=1

( 0 ) .

Sobre a convergncia da srie:


(i) converge apenas para = 0 ;
(ii) converge R;
(iii) > 0 (raio de convergncia) tal que a srie converge para | 0 | < , ie, para
(0 , 0 + ), e diverge fora desse intervalo. Nos extremos 0 e 0 + , a
srie pode convergir ou divergir.

5
Obs: Utilizando o teste da razo,
temos que se

> 1 ou no existe, temos o caso (i)

< 1 independente de ( ), temos o caso (ii)


0
+1

lim
( 0 ) =

dependente de ( 0 ), temos o caso (iii)

(fazer L < 1 para encontrar R)

Assim, para determinar o intervalo de convergncia de uma srie de potncia, utilize o teste
da razo para encontrar o raio de convergncia e o intervalo associado a esse raio. Em seguida,
avalie separadamente os extremos desse intervalo (ie, substitua pelo valor do extremo e
determine se essa srie converge ou no).

raio de convergncia > 0,


(Diferenciao e Integrao) Se () =
=0 ( 0 ) tiver

. Tambm
ento () (diferencivel em (0 )
, 0 + ) e () =
=1 ( 0 )

( 0 )+1 + .
() =

+
1
=0

(Srie de Taylor/Maclaurin) Seja funo analtica. A expanso de ao redor de 0 em


() (0 )
( 0 ) .
srie de Taylor (Maclaurin se 0 = 0) : () = =0
!

2.4. Solues em Sries


(

Considere () + () + () = 0.

()
()
+
+ 2
=0
()
()
2

2.4.1 Solues na Vizinhana de Pontos Ordinrios


(

Dizemos que 0 ponto ordinrio se

()
()

()
()

so analticas em 0 .

Para resolver a edo () +() +() = 0 ao redor de um ponto ordinrio 0 , suponha

uma soluo da forma =


=1 ( 0 ) , derive e substitua na edo. Em seguida encontre
a frmula de recorrncia nos termos e tente achar a frmula fechada para . Substituindo
em (, temos
da edo. O raio de convergncia de ser o menor raio de convergncia
) (a soluo
)
()
()
de () e () (lembre de considerar a distncia de 0 singularidade mais prxima).

2.4.2 Solues na Vizinhana de Pontos Singulares Regulares


Dizemos que 0 ponto singular se lim0 ()
= ou lim0 ()
= (note que
()
()
(0 ) = 0 suficiente para
0)ser singular). Um ponto singular regular se

()

0 = lim ( 0 )

<
0

( () )
.

2 ()

<

0 = lim0 ( 0 )
()

6
(Mtodo de Frobenius) Para encontrar solues em srie de Frobenius ao redor de um ponto
singular regular 0 (considere aqui 0 = 0 e solues para > 0):
1) Ache a equao indicial: ( 1) + 0 + 0 = 0 e suas razes 1 e 2 (suponha 1 2 ,
os expoentes de singularidade. Lembre que sempre garantida a existncia de uma
soluo em srie de Frobenius para o expoente maior.
2) Se 1 > 2 e 1 2 real positivo no inteiro, ento existem duas solues em srie de

+
). Obs: o raio de convergncia da(soluo
Frobenius (ie, da forma () =
=0
)
geral de Frobenius (1 1 + 2 2 ) o menor raio entre as sries de ( 0 ) ()
e
()
( 0 )2

()
()

2.1) Para determinar tais solues, suponha uma soluo da forma () =


Derive
e substitua na edo. Note que as derivadas nesse caso so

() = ( + ) +1

=0
.
() = ( + )( + 1) +2
=0

=0

+ .

2.2) Ache a frmula de recorrncia geral em .


2.3) Para cada expoente 1 e 2 , encontre a frmula de recorrncia em especfica e se
possvel ache a forma fechada de .

2.4) Teremos duas solues 1 () = 1


=0 e 2 () =
=0
2) Se 1 = 2 = , no existe uma segunda soluo em srie de Frobenius, mas uma da

forma 2 () = 1 ()|| +
=0 .
2) Se 1 2 = inteiro positivo, no garantimos uma segunda soluo em srie de

Frobenius, mas existe uma da forma 2 () = 1 ()|| + 2


=0 . Obs: Pode
ser que haja duas solues em srie de Frobenius, nesse caso. Verifica-se, supondo que

+2
e substituindo na edo. Ao avaliar , se for
existe uma soluo 2 =
=0
arbitrrio ou existir, ento sero solues: 1 , soma finita at o termo 1 e 2 a srie
com o termo comeando em +2 .

2.5. Sries de Fourier


Teorema da convergncia de Fourier: Seja : [, ] R diferencivel por partes, peridica
com perodo 2 e definida fora de [, ]. Ento admite
representao em(srie de
Fourier:
)

(
)
(
))
(
() cos
, 0
=

(
)

+ sin
, com
() = +
cos
1

2 =1

=
() sin
, 1

(+ ) + ( )
e para todo [, ] converge para
.
2
par

mpar

() = 2

() (lembrar da simetria)

() = 0 (lembrar da anti-simetria)

7
(srie de Fourier em cossenos) Seja nas hipteses do teorema da convergncia de Fourier. Se
(
(
))
)
(

2
par, ento () =
+
() cos
cos
, onde =
, 0.
2 =1

(srie de Fourier em senos) Seja nas hipteses do teorema da convergncia de Fourier. Se


(
)
)
(

2
() sin
, onde =
, 1.
mpar, ento () =
sin

=1
(extenso
par) Dada : [0, ] R, para encontrar uma extenso par peridica defina
()
0
() =
() 0
(extenso mpar) Dada : [0, ] R, para encontrar uma extenso mpar peridica defina

0<<

()
() = 0
= 0, =

() < < 0
Lembre que podemos escrever uma extenso peridica

par

em srie de Fourier em cossenos


em srie de Fourier em senos

mpar

3. Equaes Diferenciais Parciais


Mtodo da Separao de Variveis
1) Suponha uma soluo da forma (, ) = () (), derive parcialmente e substitua na
edp. Encontre duas edos lineares com coeficientes constantes homogneas em () e
(), com um parmetro constante a ser determinado.
2) Utilize as condies de contorno em (, ) para encontrar condies de contorno em
() e ().
3) Avalie os casos = 0, = 2 < 0, com > 0 (aqui, lembre de supor sinh() e
cosh() ao invs de e como solues fundamentais) e = 2 > 0, com > 0,
ie, para cada caso, resolva as edos encontradas no item (1) e ache os valores de
possveis, e as autofunes () e (), logo (, ) = () ().
4) Suponha (, ) =
=01 (, ) soluo. Compare com a condio inicial e ache
os s. No caso em que (, 0) srie de Fourier em cossenos ou em senos, sabemos
encontrar os s (vide srie de Fourier em cossenos ou em senos na seo anterior).

5) Substitua os valores de para encontrar a soluo (, ) =

=01 (, )

desejada.

You might also like