ACED IST Press

Analise Complexa e Equacoes Diferenciais Resumo
Joao Teixeira, Maria Joao Borges

1
o
Semestre de 2011/2012
Indice
1 Analise Complexa 7
1.1 N umeros Complexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1 Estrutura Algebrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.2 Representacao Polar e F ormula de Euler . . . . . . . . . . . . . . . . . . 8
1.1.3 Razes

Indice n de um N umero Complexo . . . . . . . . . . . . . . . . . 9
1.2 Sucessoes e Series de N umeros Complexos . . . . . . . . . . . . . . . . . . . . . 11
1.2.1 Sucessoes em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.2 Series Numericas (Reais ou Complexas) . . . . . . . . . . . . . . . . . . 12
1.2.3 Serie Geometrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.4 Resultados Gerais de Convergencia de Series Complexas . . . . . . . . . 14
1.2.5 Serie Harmonica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.6 Series de Mengoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.7 Convergencia Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.8 Series Reais de Termos Nao Negativos . . . . . . . . . . . . . . . . . . . 15
1.2.9 Series de Dirichlet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.10 Series Alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.2.11 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.3 Funcoes Complexas de Variavel Complexa . . . . . . . . . . . . . . . . . . . . . 22
1.3.1 Denicao e Nota cao: . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2 Funcoes Elementares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.3.3 Limites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.3.4 Continuidade: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.3.5 Derivada Complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1.3.6 Equa coes de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . 30
1.3.7 Teorema de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . 31
1.3.8 Funcao Analtica ou Holomorfa . . . . . . . . . . . . . . . . . . . . . . . 34
1.3.9 Condicoes de Cauchy-Riemann em Coordenadas Polares . . . . . . . . . 35
1.3.10 Nocoes Basicas da Topologia em C . . . . . . . . . . . . . . . . . . . . 36
1.3.11 Funcoes harmonicas em R
2
. . . . . . . . . . . . . . . . . . . . . . . . . 37
1.4 Integracao em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.4.1 Curvas em C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
1.4.2 Integral complexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
1.4.3 Teorema de Cauchy e suas consequencias . . . . . . . . . . . . . . . . . 39
1.5 Series de Potencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
1.5.1 Convergencia Pontual e Convergencia Uniforme de Sucessoes de Funcoes 41
1.5.2 Convergencia Pontual e Convergencia Uniforme de uma Serie de fun coes 43
3
1.6 Series de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.6.1 Teorema de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.6.2 Zeros de uma Funcao Analtica . . . . . . . . . . . . . . . . . . . . . . . 46
1.7 Series de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
1.7.1 Denicao de Serie de Laurent . . . . . . . . . . . . . . . . . . . . . . . . 46
1.7.2 Teorema de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.8 Singularidades, Resduos e Teorema dos Resduos . . . . . . . . . . . . . . . . . 47
1.8.1 Singularidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.8.2 Classicacao das Singularidades Isoladas . . . . . . . . . . . . . . . . . . 47
1.8.3 Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
1.8.4 Teorema dos Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
1.9 Aplica coes do Teorema dos Resduos ao Calculo de Integrais Reais . . . . . . . . 51
1.9.1 Integrais Impr oprios de 1
a
especie de Funcoes Racionais . . . . . . . . . . 51
a
especie envolvendo fun coes Trigonometricas . . 53
1.9.3 Integrais Trigonometricos . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2 Equac oes Diferenciais Ordinarias 59
2.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.1.1 Nota cao e Denicoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.1.2 Ordem e Solucoes de uma Equa cao Diferencial Ordinaria . . . . . . . . . 60
2.1.3 Equa coes Diferenciais Ordinarias de Primeira Ordem . . . . . . . . . . . 61
2.2 Equa coes Escalares de Primeira Ordem . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.1 Determinacao da Solucao Geral . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.2 Equa coes Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.2.3 Equa coes Separaveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.2.4 Equa coes Exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
2.2.5 Equa coes Redutveis a Exactas . . . . . . . . . . . . . . . . . . . . . . . 67
2.3 Existencia, Unicidade e Prolongamento de Solucoes . . . . . . . . . . . . . . . . 71
2.3.1 Teorema de Peano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
2.3.2 Exemplo de nao unicidade de solucao . . . . . . . . . . . . . . . . . . . 72
2.3.3 Condicao de Lipshitz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.3.4 Teorema de Picard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.3.5 Prolongamento de Solucao . . . . . . . . . . . . . . . . . . . . . . . . . 79
2.3.6 Comparacao de Solucoes . . . . . . . . . . . . . . . . . . . . . . . . . . 79
2.4 Equa coes Vectoriais de 1
a
Ordem (ou Sistemas) . . . . . . . . . . . . . . . . . . 80

2.4.1 Equa coes Vectoriais Lineares . . . . . . . . . . . . . . . . . . . . . . . . 82
2.4.2 Equa coes Vectoriais Lineares de Coecientes Constantes: . . . . . . . . . 83
2.4.3 Equa coes vectoriais Lineares Caso Nao Homogeneo . . . . . . . . . . 92
2.5 Equa coes Lineares de Coecientes Constantes de ordem n > 1: . . . . . . . . . . 92
2.5.1 Calculo da Solucao Geral da Equa cao Homogenea . . . . . . . . . . . . . 93
2.5.2 Calculo de uma Solucao Particular da Equa cao . . . . . . . . . . . . . . 96
2.6 Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
2.6.1 Denicao e Propriedades . . . . . . . . . . . . . . . . . . . . . . . . . . 101
2.6.2 Aplica coes da Transformada de Laplace às equacoes diferenciais . . . . . 104
2.6.3 Distribuicao delta de Dirac . . . . . . . . . . . . . . . . . . . . . . . . . 107
2.6.4 Inversao da Transformada de Laplace . . . . . . . . . . . . . . . . . . . 108
3 Introdu cao às Equacoes Diferenciais Parciais 111
3.1 Metodo de Separacao de Variaveis . . . . . . . . . . . . . . . . . . . . . . . . . 112
3.2 Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
3.2.1 Serie de Fourier de Senos . . . . . . . . . . . . . . . . . . . . . . . . . . 119
3.2.2 Serie de Fourier de Cosenos . . . . . . . . . . . . . . . . . . . . . . . . . 120
3.3 Problema de Dirichlet Homogeneo para a Equa cao do Calor Unidimensional . . . 121
3.3.1 Exemplo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3.3.2 Exemplo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
3.4 Problema de Dirichlet nao Homogeneo para a Equa cao do Calor Unidimensional . 123
3.5 Problema de Neumann Homogeneo para a Equa cao do Calor Unidimensional . . 124
3.6 A Equa cao das Ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
3.6.1 Problema da Corda Vibrante . . . . . . . . . . . . . . . . . . . . . . . . 126
5
6
Captulo 1
Analise Complexa
1.1 Numeros Complexos
1.1.1 Estrutura Algebrica
C =
_
z = x + iy tal que x, y R
_
em que i verica i
2
= 1
x e denominado parte real do complexo z, x = Re z, e y e denominado parte imaginaria do
complexo z, y = Im z.
Igualdade de complexos:
Se z = x + iy, w = a + ib C
z = w x = a e y = b
Conjugado de um complexo:
Se z = x + iy, dene-se o seu conjugado por
z = x iy (Re z = Re z e Im z = Im z)
Soma/Produto de complexos:
z +w = (x +a) + i(y +b) , zw = (xa yb) + i(xb +ya)
Simetrico/Diferemca de complexos:
w = a ib e z w = (x a) + i(y b)
Inverso/Quociente de complexos:
Se z = x + iy, w = a + ib C e w = 0
w
1
=
1
w
=
a ib
a
2
+b
2
e
z
w
=
(x + iy)(a ib)
a
2
+b
2
7
CAP
ITULO 1. AN
ALISE COMPLEXA
E facil de mostrar que para z = x + iy C, se tem

Re z =
z +z
2
; Imz =
z z
2i
e se alem disso w = a + ib C
z +w = z +w ; zw = z w ; w
1
= (w)
1
(w = 0)
1.1.2 Representacao Polar e F ormula de Euler
Se z = x + iy C, denomina-se por m odulo de z, o n umero real
|z| =
_
x
2
+y
2
.
Por outro lado se z = 0, denomina-se por argumento de z qualquer n umero real que verique
as igualdades
x = |z| cos e y = |z| sen .
Isto implica que
tg =
y
x
.
Desta forma, o complexo z pode ser escrito na forma polar por:
z = |z|
_
cos (arg z) + i sen (arg z)
_
.
Euler deniu a exponencial de um n umero imaginario por
e
i
= cos + i sen para qualquer R.
Trata-se da famosa formula de Euler. Esta denicao justica-se pelo facto de cos +isen ter as
propriedades que se esperam de uma fun cao exponencial. Usando apenas trigonometria, pode-se
provar facilmente que para quaisquer , R e k Z:
e
i(+)
= e
i
e
i
e
i
e
i
= 1
e
i
=
1
e
i
e
ik
=
_
e
i
_
k
.
Recorrendo entao à formula de Euler, a forma polar de um n umero complexo e, simplesmente:
z = |z| e
i arg z
. (1.1)
Tomando z = 1 em (1.1) obtem-se
e
i
= 1,
formula tambem devida a Euler e que relaciona os tres n umeros nao racionais mais conhecidos da
Matematica.
O valor do argumento de um complexo nao e unico:
8
1.1. N
UMEROS COMPLEXOS
se verica a igualdade (1.1) entao + 2k, com k Z, tambem verica (1.1).
e o Argumento Principal se verica (1.1) e pertence ao intervalo ] , ].
e o Argumento Mnimo Positivo se verica (1.1) e pertence ao intervalo [0, 2[.
Para certo R, pertence ao Ramo do Argumento se verica (1.1) e pertence ao
intervalo [, + 2[.
Dados z, w C, verica-se que:
|z +w| |z| +|w| (desigualdade triangular)
Esta propriedade e analoga a propriedade identica da norma em R
2
.
A partir da representacao polar e da formula de Euler e facil de obter algumas propriedades
adicionais que melhor especicam a estrutura geometrica do conjunto dos n umeros complexos, e
que nao se podem obter no espa co vectorial R
2
. Assim, se z = re
i
e w = e
i
entao:
z = |z|e
i
, zw = r e
i(+)
,
z
w
=
r
e
i()
pelo que
z z = |z|
2
, |zw| = |z||w| ,
z
w
=
|z|
|w|
arg (z) = arg (z) , arg (zw) = arg (z) + arg (w) , arg (
z
w
) = arg (z) arg (w)
1.1.3 Razes

Indice n de um Numero Complexo
A partir da expressao do produto de n umeros complexos na forma polar, obtem-se a formula de
De Moivre:
z
n
= |z|
n
e
in
, n N.
Daqui se deduz que qualquer complexo z = |z|e
i
nao nulo admite n razes ndice n distintas
dadas por:
n
z =
n
_
|z|e
i
+2k
n
, k = 0, 1, ..., n 1.
Para o caso n = 2 (razes quadradas), a expressao anterior e equivalente a:
z =
_
|z| e
i
n
.
Para n 3, as razes ndice n de um n umero complexo formam um polgono regular de n lados.
E de notar que as propriedades das razes reais

1
nao sao validas, no sentido de igualdade de
conjuntos, no caso das razes complexas.
1
Se x R
+
, n, m e p N entao
nm
x
mp
=
n
x
p
e
n
x
p
=
p
.
9
CAP
ITULO 1. AN
ALISE COMPLEXA
Exemplo:
1. Determinar todos os valores de
4
1 e
i. Por um lado
4
1 =
4
e
i
= e
i+2k
4
, k = 0, 1, 2, 3 ,
pelo que as razes quartas de 1 estao representadas no conjunto
R
1
= {e
i
4
, e
3i
4
, e
5i
4
, e
7i
4
} .
Por outro lado
i =
_
e
i/2
= e
i
2
+2k
2
, k = 0, 1 ,
e assim as razes quadradas de i estao representadas no conjunto
R
2
= {e
i
4
, e
5i
4
} .
E obvio que R
2
R
1
pelo que
4
1 =
i. No entanto, a igualdade verica-se para 2 das

razes: a representada geomeetricamente pelo argumento mnimo positivo e a sua simetrica.
4
_
(1 +i)
2
e
_
4
1 +i
_
2
. Por um lado
4
_
(1 +i)
2
=
4
2i =
4
2e
i
2
+2k
4
, k = 0, 1, 2, 3 ,
pelo que os valore possveis de
4
_
(1 +i)
2
estao representados no conjunto
R
1
= {
4
2e
i
8
,
4
2e
5i
8
,
4
2e
9i
8
,
4
2e
13i
8
} .
Por outro lado
_
4
1 +i
_
2
=
_
4
_
2e
i/4
_
2
=
_
8
2e
i
4
+2k
4
_
2
=
4
2e
i
4
+2k
2
, k = 0, 1, 2, 3
e assim os valore possveis de
_
4
1 +i
_
2
R
2
= {
4
2e
i
8
,
4
2e
9i
8
,
4
2e
17i
8
,
4
2e
25i
8
} = {
4
2e
i
8
,
4
2e
17i
8
}
Mais uma vez se conclui que R
2
R
1
, pelo que
4
_
(1 +i)
2
=
_
4
1 +i
_
2
.
3
_
(
3 i)
2
e
_
3
_
3 i
_
2
. Por um lado
3
_
(
3 i)
2
=
3
_
_
2e
i/6
_
2
=
3
_
4e
i/3
=
3
4e
i
3
+2k
3
, k = 0, 1, 2 ,
pelo que os valores possveis de
3
_
(
3 i)
2
R
1
= {
3
4e
i
9
,
3
4e
5i
9
,
3
4e
11i
9
}
10
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
Por outro lado
_
3
_
3 i
_
2
=
_
3
_
2e
i/6
_
2
=
_
3
2e
i
6
+2k
3
_
2
=
3
4e
i
3
+4k
3
, k = 0, 1, 2
e assim os valore possveis de
_
3
_
3 i
_
2
R
2
= {
3
4e
i
9
,
3
4e
11i
9
,
3
4e
23i
9
}
Verica-se neste caso que R
1
= R
2
. Pelo que neste caso se verica que
3
_
(
3 i)
2
=
_
3
_
3 i
_
2
.
De facto podemos enunciar a seguinte propriedade:
Se z C, n, p sao n umeros naturais primos entre si, sentao
n
z
p
=
_
n
z
_
p
onde a igualdade deve ser interpretada como igualdade entre conjuntos.
1.2 Sucessoes e Series de Numeros Complexos
1.2.1 Sucess oes em C
Uma sucessao de n umeros complexos, (z
n
)
nN
e uma aplicacao
N n z
n
= x
n
+ iy
n
C,
ou seja, uma aplicacao (ou fun cao) que a cada n umero natural, n, faz corresponder um e um
so n umero complexo z
n
= x
n
+ iy
n
.

E costume representar uma sucessao por (z
n
) ou ainda,
mais abreviadamente, pelo seu termo geral, z
n
. As sucess oes x
n
= Re z
n
(a parte real de z
n
) e
y
n
= Imz
n
(a parte imaginaria de z
n
) sao sucess oes reais.
A sucessao z
n
diz-se limitada se existe um n umero real positivo M tal que |z
n
| M para
todo n N.
Se z
n
= x
n
+ iy
n
entao
z
n
e limitada em C sse x
n
e y
n
sao limitadas em R.
Limite de uma sucessao: a sucessao z
n
diz-se convergente para L C,
L = lim
n
z
n
= limz
n
z
n
L
se e so se para qualquer > 0, existe N N tal que
se n N entao |z
n
L| < .
Esta denicao signica que dado qualquer erro > 0, existe uma ordem N N a partir da qual
todos os termos da sucessao (os termos z
N+1
, z
N+2
, . . .) sao aproximacoes do limite, L, com erro
inferior a .
Listamos em seguida algumas propriedades dos limites de sucess oes complexas.
11
CAP
ITULO 1. AN
ALISE COMPLEXA
Se z
n
e uma sucessao convergente entao z
n
e limitada.
Demonstra-se que, se z
n
= x
n
+ iy
n
e L = A+ iB entao
L = lim
n
z
n
A = lim
n
x
n
e B = lim
n
y
n
Se z
n
e w
n
sao sucess oes complexas convergentes, entao
z
n
e convergente e lim z
n
= limz
n
;
A sucessao real |z
n
| e convergente e lim|z
n
| = |limz
n
|.
z
n
+w
n
e convergente e lim(z
n
+w
n
) = limz
n
+ limw
n
;
z
n
w
n
n
w
n
) = limz
n
limw
n
;
z
n
w
n
n
w
n
) = limz
n
limw
n
;
se adicionalmente limw
n
= 0, z
n
/w
n
n
/w
n
) = limz
n
/ limw
n
.
Se z
n
0 e w
n
e limitada entao
z
n
w
n
0.
Diz-se que z
n
e uma sucessao de Cauchy se e so se para qualquer > 0, existe N N tal que
se n, m N entao |z
n
z
m
| < .
Esta denicao e equivalente a:
lim
n,m
_
z
n
z
m
_
= 0
.
Prova-se que uma sucessao complexa e convergente se e so se e uma sucessao de Cauchy.
1.2.2 Series Numericas (Reais ou Complexas)
Dada uma sucessao de n umeros complexos, z
n
, dene-se formalmente serie de n umeros complexos
ou serie numerica como a soma:
n=1
z
n
= z
1
+z
2
+. . . +z
n
+. . . (1.2)
Os n umeros z
1
, z
2
, ..., denominam-se termos da serie (1.2); a sucessao z
n
C diz-se o
termo geral (ou termo de ordem n) da serie (1.2). Note-se que (1.2) designa uma soma de uma
innidade de termos. Atraves da denicao de limite de sucess oes, introduzida na sec cao anterior,
e possvel dar um signicado concreto a este tipo de somas.
12
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
Dene-se, associada à serie
n=1
z
n
, a sucessao das somas parciais (S
N
)
NN
, por
S
1
= z
1
S
2
= z
1
+z
2
S
3
= z
1
+z
2
+z
3
.
.
.
S
N
= z
1
+z
2
+... +z
N
=
N
n=1
z
n
.
.
.
Note-se que, no termo geral escrito na forma S
N
=
N
n=1
z
n
, n e variavel muda.
Denicao: (Natureza da serie)
Se a sucessao das somas parciais S
N
e convergente em C, isto e, se existe S C tal que
lim
N
S
N
= S
a serie
n=1
z
n
diz-se convergente e
S =
n=1
z
n
S e denominado por a soma da serie.
Se a sucessao das somas parciais S
N
nao converge em C (S
N
nao tem limite ou tem limite
innito) a serie
n=1
z
n
diz-se divergente.
Proposi cao
A natureza de uma serie nao depende de um segmento inicial de termos, no sentido de que:
p, q N
0
, as series
n=p
z
n
e
n=q
z
n
tem a mesma natureza.
1.2.3 Serie Geometrica
Para cada z C, a serie
n=0
z
n
denomina-se serie geometrica de razao z. Para z = 1, a serie
diverge. Para z = 1, a correspondente sucessao das somas parciais e dada por:
S
N
=
N
n=0
z
n
=
1 z
N+1
1 z
.
Como z
N+1
0 para |z| < 1 e z
N+1
nao converge em C quando |z| 1 (com z = 1), conclui-se
que:
13
CAP
ITULO 1. AN
ALISE COMPLEXA
Se |z| < 1 a serie geometrica de razao z e convergente e
n=0
z
n
=
1
1 z
_

n=p
z
n
=
z
p
1 z
_
Se |z| 1 a serie geometrica de razao z e divergente.
1.2.4 Resultados Gerais de Convergencia de Series Complexas
Condicao necessaria à convergencia de uma serie
Se a serie
n=0
z
n
e convergente entao lim
n
z
n
= 0.
Como consequencia directa desta propriedade (tomando o contra-recproco), tem-se:
Se lim
n
z
n
= 0 entao a serie
n=0
z
n
e divergente.
Chama-se a atencao para o facto de que z
n
0 nao implica que a serie de termo geral z
n
seja convergente.
A serie complexa
n
z
n
e convergente sse as series reais
n
Re z
n
e
n
Imz
n
sao ambas
convergentes e
n
z
n
=
n
Re z
n
+ i
n
Imz
n
.
Linearidade. Se as series
n
z
n
e
n
w
n
sao convergentes para as somas S e T, respecti-
vamente, entao
a serie
n
(z
n
+w
n
) e convergente e a sua soma e S +T.
para qualquer C, a serie
n
(z
n
) e convergente e a sua soma e S.
Criterio de Cauchy.
A serie
n
z
n
e convergente
sse
a sucessao das somas parciais associada e uma sucessao de Cauchy
sse
para qualquer > 0, existe N N tal que:
para todos os n, m > N, |z
n+1
+z
n+2
+ +z
m
| < .
14
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
1.2.5 Serie Harmonica
A serie harmonica e dada por:
n=1
1
n
Note-se que a sucessao das somas parciais desta serie verica:
S
2N
S
N
=
1
N + 1
+ +
1
2N
>
1
2N
+ +
1
2N
= N
1
2N
=
1
2
,
para qualquer N N. Em consequencia, (S
N
) nao satisfaz o criterio de Cauchy (basta tomar
<
1
2
). Por isso, a serie harmonica e divergente.
1.2.6 Series de Mengoli
Uma serie de Mengoli (ou serie telescopica) e uma serie da forma
n=1
_
z
n
z
n+1
_
em que z
n
C, para todo o n N. A sua sucessao das somas parcias reduz-se a
S
N
= z
1
z
N+1
,
pelo que a serie converge sse existe lim
n
z
n
. Nesse caso:
n=1
_
z
n
z
n+1
_
= z
1
lim
n
z
n
1.2.7 Convergencia Absoluta
A serie
z
n
diz-se absolutamente convergente se a serie real
|z
n
| convergir. Costuma-se
designar
|z
n
| como a serie dos m odulos (de
z
n
).
A serie
z
n
diz-se simplesmente convergente se for convergente e a serie dos seus m odulos
for divergente i.e., se a serie
z
n
convergir e a serie
|z
n
| divergir. A partir do criterio de
Cauchy, deduz-se a:
Proposi cao: (criterio da convergencia absoluta)
Toda a serie absolutamente convergente e convergente.
1.2.8 Series Reais de Termos Nao Negativos
Considere-se u
n
uma sucessao de termos reais nao negativos. Sendo assim, a sucessao das somas
parciais associada à serie de termos geral u
n
, (S
N
) e monotona (crescente) e minorada (S
1
S
N
para qualquer N N). Conclui-se entao que neste caso
u
n
e convergente sse (S
N
) e majorada.
15
CAP
ITULO 1. AN
ALISE COMPLEXA
Criterios de Convergencia
Criterio geral de compara cao
Se u
n
e v
n
sao sucess oes reais tais que para todo n N se verica 0 u
n
v
n
, entao:
a) Se
v
n
e convergente tambem
u
n
e convergente.
b) Se
u
n
e divergente tambem
n
v
n
e divergente.
Demonstracao:
a) Se S
N
= u
1
+u
2
+ +u
N
e T
N
= v
1
+v
2
+ +v
N
entao como
v
n
e convergente,
T
N
e convergente, logo limitada. Como, para todo o N N, 0 S
N
T
N
, S
N
tambem e limitada; como tambem e monotona, logo e convergente.
b) Caso contrario (isto e, se
v
n
fosse convergente), entao pela alnea a)
u
n
seria
convergente, o que contradiz a hip otese. Logo,
v
n
tem que ser divergente.
Nota: a conclusao do criterio geral de comparacao permanece valida se 0 u
n
v
n
se
verica apenas a partir de certa ordem pois, como vimos, a natureza das series nao depende
de um segmento inicial de termos.
Corolario do Criterio Geral de Compara cao
Se u
n
e v
n
sao sucess oes reais e a < b sao n umeros reais positivos tais que
0 av
n
u
n
bv
n
para todo o n N,
entao
u
n
e
v
n
Nota: este resultado e consequencia simples do criterio geral de compara cao (porque?).
2
o
Criterio de Compara cao

Sejam u
n
e v
n
sucess oes reais de termos nao negativos tais que lim
u
n
v
n
= l. Entao, se
l ]0, +[ conclui-se que as series
u
n
e
v
n
Demonstracao: Considere-se < l, ou seja, tal que l > 0. Pela deni cao de limite,
existe uma ordem a partir da qual todos os termos da sucessao u
n
/v
n
vericam
l <
u
n
v
n
< l +,
pelo que (como v
n
0):
0 (l )v
n
< u
n
< (l +)v
n
.
Usando agora o corolario do criterio geral de comparacao, obtem-se o resultado.
Criterio de DAlembert
Seja u
n
uma sucessao real de termos positivos tal que existe
l = lim
n
u
n+1
u
n
Entao:
16
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
a) Se l < 1 a serie
n
u
n
e convergente.
b) Se l > 1 a serie
n
u
n
e divergente.
Nota: No caso l = 1, o criterio de DAlembert e inconclusivo.
Demonstracao: A ideia generica desta prova e estabelecer uma compara cao da serie
u
n
com uma serie geometrica de razao, r, apropriada. Para tal:
a) Dado > 0 tao pequeno que l + < 1 (como l < 1, basta tomar < 1l), a deni cao
de limite da sucessao u
n+1
/u
n
garante-nos que a partir de certa ordem:
u
n+1
u
n
< l + < 1.
Seja r = l +. Entao:
u
n+1
u
n
< l + = r =
r
n+1
r
n
Multiplicando ambos os membros da desigualdade anterior por
un
r
n+1
obtem-se:
u
n+1
r
n+1
<
u
n
r
n
.
Assim, u
n
/r
n
e decrescente, logo majorada por um certo M > 0:
u
n
r
n
M u
n
Mr
n
Alem disso, u
n
> 0 para qualquer n N. Do criterio geral de compara cao, como
Mr
n
e convergente (r < 1), entao
u
n
tambem e uma serie convergente.
b) Dado > 0 tao pequeno que l > 1 (como l > 1, basta tomar < l 1), a deni cao
de limite da sucessao u
n+1
/u
n
garante-nos que a partir de certa ordem:
u
n+1
u
n
> l > 1
Seja r = l +. Procedendo com em a) (exerccio), resulta que, para algum M > 0:
0 < Mr
n
< u
n
Do criterio geral de comparacao, como
Mr
n
e divergente (r > 1), entao
u
n
e
tambem divergente.
Criterio da Raiz
Seja u
n
sucessao real de termos nao negativos, tal que existe
l = lim
n
n
u
n
Entao
se l < 1 a serie
n
u
n
e convergente.
17
CAP
ITULO 1. AN
ALISE COMPLEXA
se l > 1 a serie
n
u
n
e divergente.
Notas:
No caso l = 1, o criterio da raiz e inconclusivo.
Se quiser justicar este resultado, use a ideia da prova do criterio de DAlembert. Os
detalhes sao um pouco mais simples, neste caso.
Criterio da Raiz de Cauchy
Seja u
n
uma sucessao real de termos nao negativos e dena-se
limsup
n
u
n
= l (nito ou innito).
Entao
a) se l < 1 a serie
n
u
n
e convergente;
b) se l > 1 a serie
n
u
n
e divergente;
Notas:
Dene-se limsup
n
u
n
como o menor dos sublimites de u
n
. Um sublimite de u
n
e um
limite de uma subsucessao de u
n
.
Este resultado generaliza o criterio da raiz às situa coes onde o lim
n
_
|u
n
| nao existe.
No caso l = 1, o criterio da raiz e inconclusivo.
Criterio do Integral
Seja f : [1, [ R uma fun cao contnua, positiva e decrescente. Se, para qualquer n N,
se tem f(n) = u
n
, entao
n=1
u
n
e convergente sse existe (em R) o lim
N
_
N
1
f(x) dx.
Demonstracao: Seja S
N
a sucessao das somas parciais de
n=1
u
n
. Atendendo a que f e
decrescente, para qualquer n N se n x n + 1 entao u
n+1
= f(n + 1) f(x)
f(n) = u
n
, o que implica que
u
n+1

_
n+1
n
f(x) dx u
n
. (Porque?)
Somando as desigualdades anteriores para n = 1, 2, . . . N 1, obtem-se:
S
N
u
1
=
N
n=2
u
n

_
N
1
f(x) dx
N1
n=1
u
n
= S
N1
, (1.3)
Note que, como f e uma fun cao positiva, a sucessao T
N
=
_
N
1
f(x) dx e crescente. Das de-
sigualdades (1.3) conclui-se que T
N
e convergente sse S
N
e convergente, o que e equivalente
à conclusao que queramos obter.
18
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
1.2.9 Series de Dirichlet
Uma serie de Dirichlet e uma serie da forma
n=1
1
n
, R
Se 1, entao 0 n
n, pelo que
0 <
1
n
<
1
n
,
para todo o n N. Pelo criterio geral de comparacao, como a serie harmonica,
1
n
, diverge, a
serie
1
n
tambem diverge.
No caso > 1, seja f(x) =
1
x
= x
. Como
lim
N
_
N
1
x
dx = lim
N
x
1
1
N
1
=
1
1
lim
N
_
1
N
1
1
_
=
1
1
,
pelo criterio do integral, a serie converge.
Podemos entao concluir que:
A serie de Dirichlet converge sse > 1.
A serie de Dirichet diverge sse 1.
1.2.10 Series Alternadas
Uma serie de termos reais diz-se alternada se os seus termos forem alternadamente positivos e
negativos. Se assumirmos que o primeiro termo de uma serie alternada e negativo (respectivamente
positivo), entao a serie pode ser escrita na forma
n=1
(1)
n
a
n
(1.4)
_
resp.
n=1
(1)
n+1
a
n
=
n=1
(1)
n
a
n
_
, em que a
n
> 0. Basta entao estudar (1.4).
Criterio de Leibnitz: Se (u
n
) e uma sucessao de termos reais positivos, decrescente e tal
que lim
n
u
n
= 0, entao a serie alternada
n=1
(1)
n
u
n
e convergente.
O erro que se comete ao aproximar a serie (1.4) pela sua sucessao das somas parcias a
1
+
a
2
+ + (1)
N
a
N
e menor que a
N+1
.
A serie harmonica alternada,
n=1
(1)
n
n
,
e um exemplo de uma serie que converge mais nao converge absolutamente. Trata-se do exemplo
mais simples de uma serie simplesmente convergente.
19
CAP
ITULO 1. AN
ALISE COMPLEXA
1.2.11 Series de Potencias
Para z
0
C e a
n
uma sucessao de termos complexos dene-se a serie de potencias de z z
0
(ou
serie de potencias centrada em z
0
) por:
n=0
a
n
(z z
0
)
n
= a
0
+a
1
(z z
0
) +a
2
(z z
0
)
2
+ +a
n
(z z
0
)
n
+ (1.5)
Os termos da sucessao a
n
denominam-se coecientes da serie e z
0
e o seu centro. Para cada
z C a serie podera ou nao convergir, pelo que sera adequado denir o conjunto:
_
z C :
n=0
a
n
(z z
0
)
n
converge
_
,
Este conjunto e denominado regiao de convergencia de (1.5).
Pela mudan ca de variavel w = z z
0
, podemos reduzir o estudo da natureza de (1.5) ao caso
em que z
0
= 0, que e:
n=0
a
n
z
n
= a
0
+a
1
z +a
2
z
2
+ +a
n
z
n
+
Qual e a forma do domnio de convergencia de uma serie de potencias? O seguinte resultado
permite obter uma resposta para esta questao.
Teorema de Abel
Considere-se a serie de potencias centrada em z
0
e de coecientes c
n
. Entao:
a) Se existe C \ {0} tal que
n=0
c
n
( z
0
)
n
converge, a serie
n=0
c
n
(z z
0
)
n
converge
absolutamente em todos os valores de z para os quais |z z
0
| < ||.
b) se existe

C \ {0} tal que
n=0
c
n
(
z
0
)
n
diverge, a serie
n=0
c
n
(z z
0
)
n
diverge em
todos os valores de z para os quais |z z
0
| > |
|.
Demonstracao: como vimos, basta provar o resultado para caso z
0
= 0, isto e, para as series
do tipo
a
n
z
n
.
a) Supondo que existe um ponto z = onde a serie
a
n
z
n
converge, entao lim
n
a
n
n
= 0.
A existencia deste limite implica, em particular, que a
n
n
e uma sucessao limitada, ou seja:
existe M > 0 tal que |a
n
n
| M para qualquer n N.
Em consequencia, para |z| < ||, e denindo r =
|z|
||
< 1:
|a
n
z
n
| = |a
n
||z|
n
= |a
n
|||
n
|z|
n
||
n
= |a
n
n
|
_
|z|
||
_
n
Mr
n
para qualquer n N.
Pelo criterio geral de comparacao, a serie
|a
n
z
n
| converge, logo
a
n
z
n
converge abso-
lutamente para |z| < ||.
20
1.2. SUCESS
OES E S
ERIES DE N
UMEROS COMPLEXOS
b) Supondo que existe z =

onde a serie
a
n
z
n
diverge, entao a serie tera que divergir para
|z| > |
|. Pois, caso contrario se existisse z, com | z| > |
|, onde a serie convergisse

como |
| < | z|, pela alnea (a) a serie
a
n
z
n
convergiria absolutamente em z =

, o que
contradiz a hip otese.
O raio de convergencia, R, de uma serie de potencias
n=0
a
n
(z z
0
)
n
dene-se por:
R = sup
_
[0, +[ :
n=0
a
n
(z z
0
)
n
converge em |z z
0
| <
_
R esta bem denido, pois o conjunto acima nunca e vazio e R 0. De notar que esse conjunto
pode ser nao limitado; nesse caso, R = .
Utilizando o teorema de Abel, conclui-se facilmente o seguinte (porque?):
Teorema: (regiao de convergencia de uma serie de potencias) Considere-se a serie de potencias
n=0
a
n
(z z
0
)
n
e seja R o seu raio de convergencia. Entao:
a) A serie converge absolutamente no disco {z : |z z
0
| < R}.
b) A serie diverge na regiao {z : |z z
0
| > R}.
O disco de convergencia da serie de potencias e denido como sendo o interior da sua regiao de
convergencia, ou seja, a regiao dada por |z z
0
| < R.
Como vimos, por mudan ca de variavel e suciente saber calcular o raio de convergencia no
caso z
0
= 0. Apoiando-nos nos criterios de convergencia das series de termos nao negativos e no
teorema de Abel, podemos obter formulas para o calculo do raio de convergencia de (1.5). Por
exemplo:
|a
n+1
z
n+1
|
|a
n
z
n
|
= |z|
a
n+1
a
n
=
|z|
an
a
n+1
Supondo que existe R

def
= lim
a
n
a
n+1
, entao:
L = lim
n
|a
n+1
z
n+1
|
|a
n
z
n
|
=
|z|
lim
an
a
n+1
=
|z|
R
.
Para se ter L < 1 caso em que, pelo criterio de DAlembert a serie de potencias e absolutamente
convergente entao e necessario que |z| < R. Tomando L > 1 conclui-se que para |z| > R a
serie nao converge absolutamente.
Alem disso, a serie diverge sempre para |z| > R. Caso contrario, isto e, se convergisse para
certo z, com | z| > R, entao pelo teorema de Abel convergiria absolutamente em qualquer z tal
que R < |z| < | z|, o que contradiz a conclusao do paragrafo anterior!
Conclui-se que o raio de convergencia da serie
a
n
z
n
e R. Por mudan ca de variavel w =
z z
0
, obtem-se:
21
CAP
ITULO 1. AN
ALISE COMPLEXA
O raio de convergencia da serie
n=0
a
n
(z z
0
)
n
e dado por
R = lim
n
a
n
a
n+1
,
caso este limite exista.
A partir dos criterios da raz pode-se tambem provar que o raio de convergencia da serie
n=0
a
n
(z z
0
)
n
e dado por:
1
R
= lim
n
n
_
|a
n
|, caso este limite exista.
1
R
= limsup
n
n
_
|a
n
| (Teorema de Cauchy-Hadamard).
Note-se que, em teoria, a formula do Teorema de Cauchy-Hadamard e de aplicabilidade geral.
Pode, contudo, nao ser facil de utilizar na pratica; basta pensar em exemplos onde os sublimites
de
n
_
|a
n
| sao difceis de determinar.
1.3 Funcoes Complexas de Variavel Complexa
1.3.1 Denicao e Nota cao:
f : D C C diz-se uma fun cao complexa de variavel complexa se a todo z D zer
corresponder um e um so w = f(z) C. Nesse caso
D z = x +yi w = f(z) = u(x, y) + iv(x, y) C
Seja D R
2
o conjunto em R
2
que corresponde geometricamente a D C, isto e:
(x, y) D x + iy D
As fun coes u : D R
2
R e v : D R
2
R sao denominadas respectivamente, a parte real
e a parte imaginaria de f. O conjunto D e denominado o domnio de f. Quando nada se diz
acerca de D, subentende-se que:
D =
_
z C : f(z) est a bem denido (em C)
_
e corresponde, em R
2
, a:
D =
_
(x, y) R
2
: u(x, y) e v(x, y) est ao bem denidos (em R)
_
(D e a interseccao dos domnios de u e v).
22
1.3. FUNC

OES COMPLEXAS DE VARI
AVEL COMPLEXA
1.3.2 Fun coes Elementares
Fun coes Polinomiais e Racionais
Uma fun cao polinomial e denida atraves de um polin omio complexo:
P(z) = a
0
+a
1
z + +a
n
z
n
,
onde n e o grau do polin omio e a
0
, a
1
, . . . a
n
C os seus coecientes. O domnio das fun coes
polinomiais e C. Tal como no caso real, se z
0
for uma raiz de P(z) entao existe Q(z) (de grau
n 1) tal que a factoriza cao P(z) = (z z
0
)Q(z) e valida.
Uma fun cao racional e dada por
f(z) =
P(z)
Q(z)
,
onde P(z) e Q(z) sao polin omios. O domnio de f(z) e
D =
_
z C : Q(z) = 0
_
Admitindo que P(z) e Q(z) nao tem razes comuns, entao se z
0
e uma raiz de Q(z) resulta que
|f(z)| =
P(z)
Q(z)
quando |z z
0
| 0. Este e o exemplo mais simples de uma singularidade
isolada de uma fun cao complexa, conforme veremos mais tarde.
Exponencial Complexa
Para z C, dene-se exponencial complexa por
e
z
= e
Re z
_
cos (Imz) + isen (Imz)
_
isto e, se z = x + iy
e
z
= e
x
e
iy
= e
x
_
cos y + isen y
_
A exponencial complexa e uma extensao da exponencial real ao plano complexo. O domnio da
exponencial complexa e C, e
Re e
z
= e
x
cos y , Ime
z
= e
x
sen y , |e
z
| = e
x
, arg e
z
= y
Propriedades Elementares da Exponencial Complexa
Para todos z, w C,
e
z+w
= e
z
e
w
Para todo z C
e
z+2ki
= e
z
, k Z
o que signica que a exponencial complexa e periodica de perodo 2i.
23
CAP
ITULO 1. AN
ALISE COMPLEXA
Para qualquer w C \ {0}, a equacao e
z
= w pode sempre ser resolvida e tem uma
innidade de solucoes, que sao dadas por:
e
z
= w z = log |w| + i(arg w + 2k) , k Z
(porque?)
Fun coes Trigonometricas
A partir da formula de Euler tem-se, para qualquer y R:
e
iy
= cos y + isen y
e
iy
= cos y isen y
Somando e subtraindo as identidades anteriores obtem-se, respectivamente, cos y =
1
2
_
e
iy
+e
iy
_
e sen y =
1
2i
_
e
iy
e
iy
_
.
Podemos entao generalizar as fun coes trigonometricas reais a fun coes complexas de variavel
complexa, denindo-as, para todo o z C, por:
cos z =
e
iz
+e
iz
2
, sen z =
e
iz
e
iz
2i
, tg z =
sen z
cos z
, cotg z =
cos z
sen z
E obvio que as fun coes sen z e cos z tem domnio C, enquanto que o domnio da fun cao tg z e
C \ {z : cos z = 0} e o domnio da fun cao cotg z e C \ {z : sen z = 0}.
As propriedades das fun coes trigonometricas complexas sao analogas às das fun coes trigo-
nometricas reais, e podem ser facilmente justicadas a partir das suas deni coes. Em particular,
para quaisquer z, w C e k Z:
sen
2
z + cos
2
z = 1
sen (z + 2k) = sen z e cos (z + 2k) = cos z
tg (z +k) = tg z
cotg (z +k) = cotg z.
sen (z w) = sen z cos w sen wcos z
cos (z w) = cos z cos w sen z sen w
sen (z) = sen z
cos (z) = cos z .
O contadomnio das fun coes sen z e cos z e C. Isto signica que quando as fun coes reais seno
e coseno sao estendidas ao plano complexo, tanto as equacoes cos z = w como sen z = w passam
a ter solucao para qualquer w C. Por periodicidade, essas equacoes tem uma innidade de
solucoes pois se z e solucao de cos z = w ou sen z = w, entao z + 2k tambem o e, para
qualquer k Z. Chama-se a atencao que este facto implica, entre outras coisas, que as fun coes
sen z e cos z nao sao limitadas em C.
24
1.3. FUNC

AVEL COMPLEXA
Fun coes Hiperbolicas
Para z C denem-se:
ch z =
e
z
+e
z
2
, sh z =
e
z
e
z
2
, tgh z =
sh z
ch z
, cotgh z =
ch z
sh z
.
E obvio que as fun coes sh z e ch z tem domnio C, enquanto que o domnio da fun cao tgh z e
C \ {z : ch z = 0} e o domnio da fun cao cotgh z e C \ {z : sh z = 0}.
Todas as igualdades vericadas pelas fun coes hiperbolicas reais sao tambem vericadas pelas
fun coes hiperbolicas complexas. Em particular, para quaisquer z, w C e k Z
ch
2
z sh
2
z = 1
sh (z + 2ki) = sh z
ch (z + 2ki) = ch z
sh (z w) = sh z ch w sh wch z
ch (z w) = ch z ch w sh z sh w
sh (z) = sh z e ch (z) = ch z .
Logaritmo Complexo
Dene-se logaritmo complexo por
w = Log z e
w
= z w = log |z| + i(arg z + 2k) k Z
Observa-se que o logaritmo complexo esta bem denido em C \ {0}.
Atendendo a que os argumentos de z formam um conjunto innito, da forma {+2k, k Z},
em que Re um argumento particular de z, entao tambem Log z tera uma innidade de valores.
Como tal, Log designa aquilo que em analise complexa se chama uma fun cao multivalente.
De forma a denir fun coes logaritmo complexo, log : C \ {0} C (que tomam um unico
valor, log z C) ha que restringir o valor do argumento a um intervalo de comprimento 2,
intervalo esse onde o argumento de z e unico. Sendo assim, para qualquer z C e qualquer
R, dene-se o ramo do logaritmo (resp. o valor do logaritmo) por:
log z = log |z| + i arg z , arg z [, + 2[
(Resp., arg z ], + 2] para o valor de log ). O caso particular em que se considera o
argumento principal, isto e
log z = log |z| + i arg z , arg z ] , ]
denomina-se valor principal do logaritmo.
As propriedades algebricas de um ramo do logaritmo sao vericadas a menos de m ultiplos de
2i:
log (zw) = log z + log w + 2pi para certo p Z.
25
CAP
ITULO 1. AN
ALISE COMPLEXA
log (z/w) = log z log w + 2pi para certo p Z.
log (z
m
) = mlog z + 2pi para certo p Z.
Observe-se que, no entanto, a propriedade
Log (z
m
) = mLog z
e vericada para a fun cao multivalente Log z.
Exemplo:
1. Determinar o valor principal de log (2
32i) +log (1i) e de log

_
(2
32i)(1i)
_
.
Por um lado
log
_
(2
3 2i)(1 i)
_
= log
_
(4e
i/6
)(
2e
5i/4
)
_
= log
_
(4
2e
13 i/12
)
_
= log
_
(4
2e
11 i/12
)
_
=
5
2
log (2)
11 i
12
Por outro lado
log (2
3 2i) + log (1 i) = log (4e

i/6
) + log (
2e
3i/4
)
= log 4
i
6
+ log (
2)
3i
4
=
5
2
log (2)
11 i
12
Verica-se, neste exemplo, que para o valor principal do logaritmo,
log (2
3 2i) + log (1 i) = log

_
(2
3 2i)(1 i)
_
2. Determinar o valor principal de log
_
(
3 3i)
5
_
e de 5log (
3 3i). Por um lado

log
_
(
3 3i)
5
_
= log
_
(
12e
4i/3
))
5
_
= log
_
(
12)
5
e
20i/3
)
_
= log
_
(
12)
5
e
2i/3
)
_
=
5
2
log (12) +
2i
3
Por outro lado
5log (
3 3i) = 5log (
12)
5
e
2i/3
) =
5
2
log (12)
10i
3
Verica-se, neste exemplo, que para o valor principal do logaritmo
log
_
(
3 3i)
5
_
= 5log (
3 3i) + 4i
Observa-se no entanto que para a fun cao multivalente logaritmo
2
se verica
Log
_
(
3 3i)
5
_
= 5Log (
3 3i)
sendo a igualdade interpretada como igualdade entre conjuntos.
2
Onde Log z e um conjunto.
26
1.3. FUNC

AVEL COMPLEXA
Potencia de Expoente Complexo
Para z C \ {0} e w C xo, dene-se ramo- da potencia de expoente w por:
z
w
= e
wlog z
, arg z [, + 2[
O caso especial em que se considera o valor principal do logaritmo, isto e
z
w
= e
wlog z
, arg z ] , ]
denomina-se valor principal da potencia de expoente w.
Como exemplo, calculemos o valor principal de i
w
, onde w e um n umero complexo de m odulo
1 ou seja, w = e
i
, para certo ] , [. Temos:
w
i
= e
i log w
= e
i log (e
i
)
= e
i(log 1+i)
= e
i
2
= e
.
Se quisessemos determinar o valor multivalente de w
i
, entao teramos que considerar todos os
possveis valores do argumento de w, que sao + 2k, com k Z. Neste caso, o resultado e:
_
e
2k
: k Z
_
=
_
e
+2j
: j Z
_
1.3.3 Limites
Sendo f : D C e z
0
D, dene-se
L = lim
zz
f(z) > 0 > 0 |z z
0
| < |f(z) L| <
Demonstra-se que, se f(x + iy) = u(x, y) + iv(x, y), z
0
= x
0
+ iy
0
e L = A+ iB entao
L = lim
zz
0
f(z)
_
_
lim
(x,y)(x
0
,y
0
)
u(x, y) = A
lim
(x,y)(x
0
,y
0
)
v(x, y) = B
Sendo assim, se existirem lim
zz
0
f(z) e lim
zz
0
g(z), tem-se que
lim
zz
0
(f g)(z) = lim
zz
0
f(z) lim
zz
0
g(z);
lim
zz
0
(fg)(z) = lim
zz
0
f(z) lim
zz
0
g(z);
lim
zz
0
(f/g)(z) = lim
zz
0
f(z)/ lim
zz
0
g(z),
sendo esta ultima propriedade valida desde que lim
zz
0
g(z) = 0.
Exemplo:
1. lim
zi
e
z
= 1.
2. lim
z1
z
2
(i + 1)z +i
z
2
+ (i 1)z i
= lim
z1
z i
z +i
= i
27
CAP
ITULO 1. AN
ALISE COMPLEXA
E de observar que enquanto o calculo algebrico de limites em C e semelhante ao de R, a no cao

de limite em C e identica à de R
2 3
.
Exemplo:
Observa-se que lim
z0
Re (z)
z
representa uma indeterminacao do tipo 0/0. Escrevendo z = |z|e
i
obtem-se
Re (z)
z
=
|z|cos ()
|z|e
i
= e
i
cos ()
Fazendo |z| 0 verica-se Re (z)/z converge para um valor que depende de (ou seja do
argumento de z) e como tal o seu valor dependera da forma como z esta a convergir para 0.
Assim, por exemplo, se z esta a convergir para 0 ao longo do semi eixo real positivo ( = 0)
tem-se
lim
z0 , zR
+
Re (z)
z
= 1 ,
enquanto que se z esta a convergir para 0 ao longo do semi eixo imaginario positivo ( = /2)
tem-se
lim
z0 , ziR
+
Re (z)
z
= 0 .
Conclui-se que lim
z0
Re (z)
z
nao existe.
1.3.4 Continuidade:
Sendo f : D C e z
0
D, diz-se que f e contnua em z
0
se
lim
zz
0
f(z) = f(z
0
)
Se f e contnua em todos z
0
D diz-se que f e contnua em D. Demonstra-se que, se f = u+iv,
z
0
= x
0
+ iy
0
entao f e contnua em z
0
se e so se u(x, y) e v(x, y) sao contnuas em (x
0
, y
0
).
Sendo assim, se f e g sao contnuas em z
0
entao f + g, f g, fg e no caso de g(z
0
) = 0,
f(z)
g(z)
sao contnuas em z
0
. Se g e contnua em z
0
e f e contnua em g(z
0
) entao f g e contnua
em z
0
.
Estudo da Continuidade das Fun coes Elementares
1. A fun cao f(z) = z = x + iy e contnua em C, dado que Re f(z) = x e Imf(z) = y sao
contnuas em R
2
.
2. Para cada n N, a fun cao f(z) = z
n
e contnua em C, dado que e o produto de fun coes
contnuas em C.
3. A fun cao polinomial e contnua em C dado que e a soma de fun coes contnuas.
4. A fun cao racional P(z)/Q(z) e contnua em C \ {z : Q(z) = 0}.
3
As vizinhan cas de um ponto em C e R
2
sao discos centrados nesse ponto; ou seja sao geometricamente iguais.
28
1.3. FUNC

AVEL COMPLEXA
5. A fun cao exponencial f(z) = e
z
e contnua em C, dado que Re f(z) = e
x
cos (y) e Imf(z) =
e
x
sen (y) sao contnuas em R
2
.
6. As fun coes sen z, cos z ch z e sh z sao contnuas em C (compostas e somas de fun coes
contnuas em C).
7. Considere-se a fun cao valor principal do log z, ie,
log z = log |z| +iarg z , arg z ] , ]
Por um lado, Re (log z) = log |z| e uma fun cao contnua em R
2
\ {(0, 0)} (consequencia da
continuidade da fun cao logaritmo real em R
+
. Por outro lado, Im(log z) =arg z e contnua
para todos os z tais que arg z ], [ (continuidade da fun cao arctg num dos seus ramos).
Falta entao estudar a continuidade do valor principal do log z em qualquer ponto z tal que
arg z = . Para isso, considere-se z
0
= 0 tal que arg z
0
= . Entao
lim
zz
0
arg z =
_
se Im, z > 0
se Im, z < 0
Conclui-se que nao existe lim
zz
0
arg z para qualquer z
0
= 0 com arg z
0
= (pelo que a
fun cao arg z nao e contnua nestes pontos). Consequentemente o domnio de continuidade
do valor principal de log z e
C\ {z = 0 ou arg z = }
ou escrito de outra forma
C \ {z = xe
i
, x R
+
0
}
O conjunto
{z = xe
i
, x R
+
0
}
e denominado corte do valor principal do logaritmo complexo.
8. De modo analogo se mostra que, para cada R, o domnio de continuidade do ramo
do logaritmo
log z = log |z| +iarg z , arg z ], + 2]
e
C \ {z = xe
i
, x R
+
0
}
O conjunto
{z = xe
i
, x R
+
0
}
e denominado corte do ramo do logaritmo complexo.
1.3.5 Derivada Complexa
Diz-se que uma fun cao f : D C C tem derivada complexa (ou que e diferenciavel no sentido
de C) em z
0
D se existe
lim
zz
0
f(z) f(z
0
)
z z
0
= lim
z0
f(z + z) f(z)
z
Se o limite existir, dene-se
f
(z
0
) = lim
zz
0
f(z) f(z
0
)
z z
0
29
CAP
ITULO 1. AN
ALISE COMPLEXA
Nota: nao e suciente que u e v sejam diferenciaveis em (x
0
, y
0
) para que f = u+iv tenha
derivada em z
0
= x
0
+ iy
0
.
Exemplo: Seja f(z) = ( z)
2
= x
2
y
2
2xyi, com z = x + iy. Tanto a parte real de f,
u(x, y) = x
2
y
2
como a parte imaginaria, v(x, y) = 2xy tem derivada contnua em R
2
.
No entanto, para qualquer z
0
C:
f(z
0
+w) f(z
0
)
w
=
z
0
+w z
0
w
=
z
2
0
+ 2z
0
w +w
2
z
2
0
w
=
w
w
(w + 2z
0
) .
Fixemos z
0
= 0.

E facil vericar que o limite:
lim
w0
w
w
(w + 2z
0
)
nao existe (basta fazer z tender para 0 nas direccoes do eixo real e imaginario).
1.3.6 Equacoes de Cauchy-Riemann
Considere-se a fun cao complexa f(z) = u(x, y) + iv(x, y) e um ponto z
0
= x
0
+ iy
0
pertencente
ao domnio de f.
Condicao necessaria à existencia de derivada
Se f admite derivada em z = x +iy entao sao vericadas as equacoes de Cauchy-Riemann
em (x, y), isto e
se f
(z) existe
_
_
u
x
(x, y) =
v
y
(x, y)
u
y
(x, y) =
v
x
(x, y)
(1.6)
No caso de existir derivada em z, tem-se que
f
(z) =
u
x
(x, y) + i
v
x
(x, y) =
v
y
(x, y) i
u
y
(x, y)
Demonstracao: Se existe a derivada complexa de f = u + iv em z = x + iy, entao os
30
1.3. FUNC

AVEL COMPLEXA
limites
lim
t0
f(x + iy +t) f(x + iy)
t
= lim
t0
_
u(x +t, y) u(z, y)
t
+ i
v(x +t, y) v(x, y)
t
_
=
u
x
+ i
v
x
lim
t0
f(x + iy + it) f(x + iy)
it
= lim
t0
_
u(x, y +t) u(z, y)
it
+ i
v(x, y +t) v(x, y)
it
_
=
v
y
i
u
y
(1.7)
(que correspondem a fazer, na denicao de derivada complexa, w 0 nas direc coes do eixo
real, w = t, e imaginario, w = it) sao iguais. Igualando os dois limites em (1.7), obtem-se
f
(z) =
u
x
+ i
v
x
=
v
y
i
u
y
,
de onde resultam obviamente as equacoes de Cauchy-Riemann, (1.6).
E de salientar que as condi coes de Cauchy-Riemann nao sao sucientes para a existencia de
derivada num ponto, isto e:
(Contra-Recproco) Se as condi coes de Cauchy-Riemann nao se vericam em (x, y) entao
f
(x + iy) nao existe.

Mas se as condi coes de Cauchy-Riemann se vericam em (x
0
, y
0
) entao nada se pode
concluir sobre a existencia de f
(x
0
+ iy
0
).
Exemplo 1: de uma fun cao que verica as equacoes de Cauchy-Riemann em (0, 0) e
tal que existe f
(0):
f(z) = z
2
Exemplo 2: de uma fun cao que verica as equacoes de Cauchy-Riemann em (0, 0) e
tal que nao existe f
(0):
f(x + iy) =
_
|xy|
1.3.7 Teorema de Cauchy-Riemann
Vamos agora obter uma condi cao necessaria e suciente para a existencia de derivada. Se
convencionarmos representar i C pelo o ponto (0, 1) R
2
e 1 C pelo ponto (1, 0) R
2
,
podemos identicar cada ponto de C com um e um so ponto de R
2
por:
C
1
+ i
2
=
1
(1, 0) +
2
(0, 1) = (
1
,
2
) R
2
31
CAP
ITULO 1. AN
ALISE COMPLEXA
Como tal, qualquer fun cao complexa, f : A C C, com f(x + iy) = u(x, y) + iv(x, y), pode
ser interpretada como o campo vectorial (u, v) : A R
2
R
2
.
Recordamos que a fun cao f e diferenciavel no sentido de R
2
em a A (com A aberto) se e
so se existe uma transforma cao linear Df(a) tal que
f(z +h) f(z) Df(a)h
h
0 quando h 0 (1.8)
Se f e diferenciavel no sentido de R
2
em a entao:
a) f e contnua em a.
b) Existem as derivadas parciais u
x
=
u
x
, u
y
=
u
y
, v
x
=
v
x
e v
y
=
v
y
em a.
c) Df(a) e representada pela matriz jacobiana de f em a:
_
u
x
(a) u
y
(a)
v
x
(a) v
y
(a)
_
(na base can onica de R
2
).
Se existem e sao contnuas as derivadas parciais de u e v em a, entao f = (u, v) tem derivada
no sentido de R
2
em a.
Lema (rela cao entre derivada complexa e derivada no sentido de R
2
):
Seja f : A C, onde A C e aberto e a A. Entao a derivada de f em em a existe no
sentido complexo se e so se ela existe no sentido de R
2
e e representada por um produto
complexo; mais concretamente, sao equivalentes as seguintes proposi coes:
(i) Existe C tal que
lim
h0
f(a +h) f(a)
h
= (1.9)
(isto e, f
(a) existe em C e e igual a ).

(ii) Existe C tal que f tem derivada no sentido de R
2
em a dada por Df(a)h = h,
para qualquer h. (Onde h designa o produto complexo de por h).
Demonstracao: De facto, (1.9) e valida se e so se
f(z +h) f(z) h
h
0 quando h 0,
o que, atendendo a (1.8), e equivalente a (ii).
Teorema de Cauchy-Riemann
Seja f : A C, onde A C e aberto e a = a
1
+ ia
2
A. Sao equivalentes as seguintes
proposi coes:
(a) f tem derivada (complexa) em a, f
(a).
(b) f e diferenciavel em a no sentido de R
2
e Df(a)h = f
(a)h, para qualquer h R

2
.
32
1.3. FUNC

AVEL COMPLEXA
(c) f e diferenciavel em a (no sentido de R
2
) e f verica as equacoes de Cauchy-Riemann,
u
x
=
v
y
e
u
y
=
v
x
, em (a
1
, a
2
) e
Se f tem derivada complexa em a, entao
f
(a) =
u
x
(a
1
, a
2
) + i
v
x
(a
1
, a
2
) =
v
y
(a
1
, a
2
) i
u
y
(a
1
, a
2
)
Demonstracao:
Prova de que (a) (b):
f tem derivada complexa em a, f
(a), se e so se:
f(z +h) f(z)
h
f
(a) quando h 0
Pelo Lema isto e equivalente a dizer que f tem derivada no sentido de R
2
em a dada
por Df(a)h = f
(a)h, para qualquer h.

Prova de que (b) (c):
Seja h = h
1
+ ih
2
C, que identicamos com (h
1
, h
2
) R
2
. Vamos provar que a
equacao
Df(a)h = f
(a)h para qualquer h R

2
e equivalente às equacoes de Cauchy-Riemann em (a
1
, a
2
).
Seja =
1
+ i
2
tal que, para qualquer h = h
1
+ ih
2
,
Df(a)h = h
(onde h representa um produto complexo). A equacao anterior e equivalente a
_
u
x
u
y
v
x
v
y
_ _
h
1
h
2
_
= (
1
+ i
2
) (h
1
+ ih
2
) =
_

1
h
1
2
h
2
2
h
1
+
1
h
2
_

_
_
_
u
x
h
1
+u
y
h
2
=
1
h
1
2
h
2
v
x
h
1
+v
y
h
2
=
2
h
1
+
1
h
2
para qualquer h (com as derivadas parciais calculadas no ponto a). As identidades
anterior sao ambas verdadeiras para qualquer h se e so se:
_
_
u
x
=
1
u
y
=
2
v
x
=
2
v
y
=
1
(1.10)
Isto prova que existe C tal que Df(a)h = h para todo o h C se e so se
u
x
= v
y
e u
y
= v
x
no ponto a. Assim sendo, e usando de novo o Lema, (b) e
equivalente a (c). Se f
(a) existir, entao:

f
(a) = =
1
+ i
2
= u
x
(a) + iv
x
(a) = v
y
(a) iu
y
(a).
33
CAP
ITULO 1. AN
ALISE COMPLEXA
Nota: A partir de agora, se f tem derivada complexa num ponto z C, diremos simple-
mente que f tem (ou admite) derivada em z. Esta derivada pode-se denotar por f
(z) ou
por
df
dz
.
Condicao suciente à existencia de derivada
Se as derivadas parciais de u e v sao contnuas em (x
0
, y
0
) e as condi coes de Cauchy
Riemann sao vericadas em (x
0
, y
0
) entao f admite derivada em z
0
.
No caso de existir derivada em z
0
, tem-se que
f
(z
0
) =
u
x
(x
0
, y
0
) +i
v
x
(x
0
.y
0
) =
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
)
Teorema:
Se f admite derivada em z
0
ent ao f e contnua em z
0
.
1.3.8 Fun cao Analtica ou Holomorfa
Um disco centrado em z
0
C e de raio > 0 e o subconjunto de C dado por:
D(z
0
, )
def
=
_
z C : |z z
0
| <
_
.
4
Uma fun cao diz-se analtica ou holomorfa em z
0
se
Existe um disco centrado em z
0
tal que f admite derivada em todos os pontos desse disco,
ou seja, existe > 0 tal que f admite derivada em todos os pontos de D(z
0
, ).
Dene-se domnio de analiticidade ou domnio de holomora ao maior conjunto onde f e
analtica. Uma fun cao cujo domnio de analiticidade e C diz-se inteira.
Nota: O domnio de analiticidade de uma fun cao e sempre um conjunto aberto. Um
conjunto D C e aberto se para qualquer z D existe pelo menos um disco centrado em
z que esta contido em D.
Condicao suciente de analiticidade
Se em todos os pontos de um conjunto aberto D C as derivadas parciais de u e v sao
contnuas e vericam as equacoes de Cauchy-Riemann, ent ao f e analtica (ou holomorfa)
em D.
O Teorema de Cauchy-Riemann permite demonstrar que, para as fun coes analticas sao validas
as regras de deriva cao ja conhecidas do calculo de fun coes reais de variavel real. Mais concreta-
mente:
Soma, produto e quociente
Se f e g sao analticas num conjunto D C, entao:
f g e analtica em D e (f g)
= f
;
4
O disco D(z0, ) e tambem um bola, B(z0), centrada em z0 e de raio .
34
1.3. FUNC

AVEL COMPLEXA
f g e analtica em D e (fg)
= f
g +fg
;
f/g e analtica em D \ {z : g(z) = 0} e (f/g)
=
f
g fg
g
2
.
Fun cao composta
Se g e analtica num conjunto D C e f e holomorfa no contradomnio de g, g(D), entao
f g e analtica em D e (f g)
= f
(g) g
.
Fun cao Inversa
Se f e analtica em D, e admite inversa em D, f
1
, entao
f
1
e analtica em f(D) e (f
1
)
(b) =
1
f
(a)
, onde b = f(a).
1.3.9 Condi coes de Cauchy-Riemann em Coordenadas Polares
Como ja vimos, qualquer z C pode ser escrito ou na forma z = x+iy ou na forma polar z = re
i
,
sendo x = rcos e y = rsen . Assim, tambem uma fun cao complexa pode ser caracterizada por
f(z) = f(x +iy) = u(x, y) +iv(x, y) ou f(z) = f(re
i
) = U(r, ) +iV (r, )
Assim, utilizando a regra da deriva cao da fun cao composta, as formulas acima escritas e as
condi coes de Cauchy-Riemann ja deduzidas, obtem-se por um lado
U
r
=
u
x
x
r
+
u
y
y
r
=
u
x
cos +
u
y
sen
e por outro lado
V
=
v
x
x
+
v
y
y
= r
v
x
sen +r
v
y
cos = r
u
y
sen +r
u
x
cos
Conclui-se que, se r = 0
U
r
=
1
r
V
De igual modo
U
=
u
x
x
+
u
y
y
= r
u
x
sen +r
u
y
cos
e
V
r
=
v
x
x
r
+
v
y
y
r
=
v
x
cos +
v
y
sen =
u
y
cos +
u
x
sen
concluindo-se que, se r = 0
U
= r
V
r
Condicao suciente à existencia de derivada
Se as derivadas parciais de u(r, ) e v(r, ) sao contnuas em (r
0
,
0
) (r
0
= 0) e vericam-se
as condi coes de Cauchy Riemann em coordenadas polares
_
_
_
u
r
=
1
r
v
= r
v
r
no ponto /r
0
,
0
), entao f admite derivada em z
0
= r
0
e
i
0
.
35
CAP
ITULO 1. AN
ALISE COMPLEXA
1.3.10 Nocoes Basicas da Topologia em C
O conjunto dos complexos C e topologicamente identico a R
2
, isto e, as no coes topol ogicas em C
sao inteiramente equivalentes às ja introduzidas no estudo de R
2
. Assim, dado D C, e z C
diz-se que z e um:
ponto interior de D se existe > 0 tal que D(z, ) D (note que D(z, ) = B
(z));
ponto exterior se for um ponto interior do complementar de D, C \ D.
ponto fronteiro se nao for nem interior nem exterior, ou seja, se para qualquer > 0, o disco
D(z, ) intersecta tanto D como o complementar de D. O conjunto de todos os pontos
fronteiros de D designa-se por fronteira de D e representa-se por D;
ponto aderente se for interior ou fronteiro. O conjunto de todos os pontos aderentes de D
denomina-se por aderencia de D e representa-se por

D. Note que

D = D D.
Diz-se que D e
aberto se todos os pontos de D sao pontos interiores, isto e:
z D > 0 : D(z, ) D.
fechado se o conjunto C\ D for aberto ou, equivalentemente, se todos os pontos aderentes
a D estao em D, isto e

D = D.
conexo se nao existirem subconjuntos de D, A e B que veriquem
A B = D;

A B = e A

B = .
5
Um conjunto aberto e conexo se e so se nao pode ser escrito como a uniao de dois conjuntos
abertos e disjuntos.
simplesmente conexo se for conexo e qualquer curva de fechada for homot opica a um ponto,
isto e, qualquer curva fechada em D pode ser deformada continuamente num ponto sem
sair do conjunto.
6
multiplamente conexo se for conexo e nao for simplesmente conexo.
5
Dois conjuntos tais que cada um deles e disjunto da aderencia do outro, dizem-se separados. Entao D e conexo
se e so se n ao pode ser escrito como a uniao de dois conjuntos separados.
6
Intuitivamente, um conjunto D e simplesmente conexo se for um conjunto conexo sem buracos; D nao tem
buracos descreve-se rigorosamente pela proposicao: para qualquer z : [0, 1] D contnua, com z(0) = z(1) existe
z0 D e uma funcao contnua H : [0, 1] [0, 1] D tal que H(0, t) = z(t) t [0, 1] e H(1, t) = z0, t [0, 1].
A funcao H diz-se uma homotopia (de z(t) em z0) e deforma continuamente, sem sair de D, a curva parametrizada
por z(t) no ponto z0.
36
1.4. INTEGRAC

AO EM C
1.3.11 Fun coes harmonicas em R
2
Seja U R
2
aberto, e u : U R. A fun cao u diz-se harmonica em U sse u C
2
(U) e para todo
(x, y) U
u
def
=

2
u
x
2
+

2
u
y
2
= 0
designa o operador laplaciano (por vezes tambem representado por
2
).
Rela cao entre funcoes harmonicas (em R
2
) e funcoes analticas (em C)
Se f : U C C e analtica em U e f = u + iv entao u e v sao fun coes harmonicas em
U R
2
. Nestas condi coes, u e v denominam-se harmonicas conjugadas.
Reciprocamente, seja u : U R
2
R uma fun cao harmonica e U C um conjunto aberto
e simplesmente conexo. Entao e sempre possvel determinar (a menos de uma constante) a
sua harmonica conjugada v : U R atraves das equacoes de Cauchy-Riemann.
1.4 Integracao em C
1.4.1 Curvas em C
Sendo z(t) uma fun cao complexa contnua de domnio [a, b] R, dene-se caminho ou curva
orientada em C como sendo a curva:
= {z(t) = x(t) +iy(t) : t [a, b]}
que se convenciona percorrida no sentido especicado por z(t). Os pontos z(a) e z(b) denominam-
se respectivamente o ponto inicial e o ponto nal do caminho. A aplicacao z(t) diz-se uma
parametriza cao de .
7
A caminho (e a respectiva curva) diz-se
regular se z(t) e continuamente diferenciavel, isto e se x
(t) e y
(t) existem e sao contnuas

em ]a, b[) caso em que
z
(t) = x
(t) +iy
(t)
seccionalmente regular se z(t) e regular para t ]a, b[\{t
1
, ..., t
k
};
simples se z(t) e injectiva em ]a, b] e em [a, b[, isto e, se t
1
= t
2
entao z(t
1
) = z(t
2
) ou
(t
1
= a e t
2
= b).
8
.
fechada se z(a) = z(b);
7
Um caminho e pois uma curva à qual se acrescenta uma orientacao. Neste sentido, quando nos referirmos a
uma curva percorrida de uma certa forma, estamos a caracterizar um caminho.
8
Ou seja, um caminho simples apenas se pode autointersectar nos extremos.
37
CAP
ITULO 1. AN
ALISE COMPLEXA
curva de Jordan se for simples e fechada.
Teorema da Curva de Jordan:
Qualquer curva de Jordan, , divide C em duas regioes disjuntas de fronteira , uma das quais
e limitada e que denotaremos por interior de , int ().
1.4.2 Integral complexo
Se C e um caminho seccionalmente regular, parametrizado por z : [a, b] C, e f uma
fun cao complexa contnua em , dene-se
_
f(z) dz =
_
b
a
f(z(t))z
(t) dt (1.11)
Note-se que o integral do 2
o
membro da igualdade (1.11) pode ser interpretado como o integral
da fun cao vectorial, F : [a, b] C dada por F(t) = f(z(t))z
(t) para t [a, b], e que e obtido à

custa do integral de Riemann das fun coes reais de variavel real por:
_
b
a
F(t) dt
def
=
_
b
a
Re F(t) dt + i
_
b
a
ImF(t) dt
Invariancia por reparametriza cao Seja um caminho simples, e f contnua em . Se z(s),
com s [a, b], e w(t), com t [, ] sao duas parametriza coes distintas de , entao
_
b
a
f(z(t))z
(t) dt =
_

f(w(t))w
(t) dt
Demonstracao: Consideremos primeiro o caso de uma curva aberta. Dado que a curva e
aberta e simples, z(s) e w(t) sao injectivas em, respectivamente, [a, b] e [, ]. Entao : [, ]
[a, b], que pode ser denida por
w(t) = z((t)) t [, ] w = z = z
1
w
e injectiva em [, ]. Em consequencia:
_

f
_
w(t)
_
w
(t) dt =
_

f
_
z((t))
_
z
_
(t)
_
(t) dt =
_
b
a
f
_
z(s)
_
z
(s) dt
A ultima igualdade decorre da substitui cao de variavel s = (t).
O caso de uma curva fechada prova-se agora facilmente, escrevendo-a como a uniao de duas
curvas abertas. .
Vemos assim no o integral esta bem denido no caso de o caminho ser simples, pois o seu
valor e independente da parametriza cao utilizada. A partir da denicao, mostram-se facilmente
as seguintes propriedades:
Propriedades do integral
(Linearidade) Se f e g sao fun coes contnuas em , e , constantes complexas, entao
_
_
f(z) + g(z)
_
dz =
_
f(z) dz +
_
g(z) dz
38
1.4. INTEGRAC

AO EM C
(Aditividade) Se e a concatenacao de duas curvas regulares, =
1
+
2
, entao
_
f(z) dz =
_
1
f(z) dz +
_
2
f(z) dz
Note que se o extremo nal de
1
coincide com o extremo inicial de
2
, a concatena cao dos
caminhos
1
com
2
,
1
+, consiste na uniao das curvas, percorrendo primeiro
1
e depois
2
.
(Simetria) Se denotarmos por o caminho percorrida em sentido inverso ao de ,
entao
_
f(z) dz =
_
f(z) dz
(Majora cao do Integral) Se f e contnua no caminho regular , e z(t), com t [a, b] e
uma parametriza cao de , entao
f(z) dz
|f(z)| |dz|
def
=
_
b
a
|f(z(t))||z
(t)|dt ML()
onde M 0 e um majorante de |f(z)| em . Note que o comprimento da curva e dado
por:
L() =
_
|dz| =
_
b
a
|z
(t)|dt
1.4.3 Teorema de Cauchy e suas consequencias
Teorema Fundamental do Calculo
Sendo D C aberto, se g : D C e analtica em D com derivada, g
, tambem analtica em
D, e se e a curva simples e seccionalmente regular contida em D que une z
1
a z
2
, entao
_
(z) dz = g(z
2
) g(z
1
).
Neste caso, fazendo F = g e f = g
, atendendo a que F
= f diz-se que F e uma primitiva de

f. Resulta entao que:
_
1
f(z) dz = F(z
2
) F(z
1
).
Nesta forma, o teorema aplica-se a qualquer fun cao primitiv avel sendo, em particular, valido
para fun coes polinomiais. Se f for uma fun cao primitivavel e uma curva de Jordan seccional-
mente regular, resulta tambem que
_
f(z) dz = 0.
A generalizacao deste resultado a qualquer fun cao analtica e feita pelo seguinte teorema.
Teorema de Cauchy
Se e uma curva de Jordan seccionalmente regular e f e analtica num aberto simplesmente
conexo contendo , entao
_
f(z) dz = 0.
Consequencias do Teorema de Cauchy
39
CAP
ITULO 1. AN
ALISE COMPLEXA
(Independencia do caminho de integra cao)
Se f e analtica num aberto simplesmente conexo, D C, z
1
, z
2
D e
1
,
2
duas curvas
seccionalmente regulares em D unindo z
1
a z
2
. Entao
_
1
f(z) dz =
_
2
f(z) dz
Como conseqencia, no caso de f ser analtica podemos denir
_
z
2
z
1
f(z) dz =
_
f(z) dz
em que e qualquer curva regular unindo z
1
a z
2
denidas em D.
(Teorema Fundamental do Calculo para conjuntos simplesmente conexos)
Se f e analtica num aberto simplesmente conexo, D C, e z
0
D entao a fun cao
F(z) =
_
z
z
0
f(z) dz
esta bem denida e e uma primitiva de f. Adicionalmente, se z
1
, z
2
D, entao
_
z
2
z
1
f(z) dz = F(z
2
) F(z
1
)
em que F
= f e qualquer primitiva de f em D.
(Teorema de Cauchy Generalizado)
Seja D C um conjunto aberto e simplesmente conexo, uma curva de Jordan em D,
1
,
...
n
curvas de Jordan contidas no interior de e vericando para i = j
int (
j
) int (
i
) = ;
todas as curvas tem orienta cao igual à orienta cao de .
Sendo ainda, f uma fun cao analtica em int () \
_
int (
1
) ... int (
n
)
_
, entao
_
f(z) dz =
n
i=1
_
i
f(z) dz
(F ormula Integral de Cauchy)
Se e uma curva de Jordan e f e analtica num aberto simplesmente conexo contendo ,
entao para qualquer z
0
int ()
f(z
0
) =
1
2i
_
f(z)
z z
0
dz
onde e percorrida uma vez no sentido directo.
Consequencias da Formula Integral de Cauchy
40
1.5. S
ERIES DE POT
ENCIAS
(Derivada de uma fun cao analtica)
Seja f uma fun cao analtica num aberto simplesmente conexo D. Entao a sua derivada f
e uma fun cao analtica em D.

(F ormula Integral de Cauchy Generalizada)
Nas mesmas condi coes da F ormula integral de Cauchy, tem-se que para qualquer n N
0
f
(n)
(z
0
) =
n!
2i
_
f(z)
(z z
0
)
n+1
dz
(Teorema de Morera)
Se D C e aberto e f : D C e contnua e
_
f(z) dz = 0
para qualquer curva de Jordan denida em D, entao f e analtica em D.
(Teorema de Liouville)
Se f e uma fun cao inteira e limitada entao f e constante.
(Desigualdade de Cauchy)
Se f e uma fun cao anal
tica num conjunto aberto e simplesmente conexo D C, z

0
D e
escolha-se r > 0 tal que {z : |z z
0
| = r} D. Entao
|f
(n)
(z
0
)|
M n!
r
n
n N
0
sendo M R
+
o maximo de |f(z)| em B
r
(z
0
).
1.5 Series de Potencias
1.5.1 Convergencia Pontual e Convergencia Uniforme de Sucess oes de Fun coes
Considere-se {f
n
(z) , n N}, com z D C, uma sucessao de fun coes complexas.
Convergencia Pontual
Diz-se que a sucessao {f
n
(z)}
n
converge no ponto z
0
se para a sucessao numerica {f
n
(z
0
)}
n
for convergente. Se {f
n
(z)}
n
convergir em todos os pontos de um conjunto D dizemos
que {f
n
(z)}
n
e pontualmente convergente em D. Neste caso podemos denir, para cada
z D:
f(z) = lim
n
f
n
(z) > 0 N = N(, z) tal que n > N se tem |f(z)f
n
(z)| <
41
CAP
ITULO 1. AN
ALISE COMPLEXA
Convergencia Uniforme
Diz-se que a sucessao f
n
converge uniformemente em D,
f f
n
uniformemente em D
> 0 N = N() tal que n > N se tem |f(z) f
n
(z)| < , z D
Note-se que, na no cao de convergencia uniforme, N e independente de z D.
f
n
converge uniformente para f em D e equivalente a armar que
> 0 N = N() tal que n > N se tem sup
zD
|f(z) f
n
(z)| <
lim
n
sup
zD
f(z) f
n
(z)
= 0
Criterio de Cauchy para Convergencia Uniforme
A sucessao de fun coes f
n
converge uniformemente em D se e so se
> 0 N = N() tal que n > m > N se tem |f
n
(z) f
m
(z)| < , z D
f
n
converge uniformente para f em D e equivalente a armar que
> 0 N = N() tal que m, n > N se tem sup
zD
|f
n
(z) f
m
(z)| <
lim
m,n
sup
zD
f
n
(z) f
m
(z)
= 0
Propriedades do Limite de uma sucessao de funcoes uniformemente convergente
Suponhamos que lim
n
f
n
= f uniformemente em D C. Entao
se D e aberto e para todo n N, f
n
e contnua em D, tem-se que f e contnua em D e
_
f(z) dz = lim
n
_
f
n
(z) dz
qualquer que seja a curva regular contida em D.
se para todo n N, f
n
e analtica em D, com D simplesmente conexo, entao tem-se que
f e analtica em D e
f
(z) = lim
n
f
n
(z) , z D
42
1.5. S
ERIES DE POT
ENCIAS
1.5.2 Convergencia Pontual e Convergencia Uniforme de uma Serie de funcoes
Considere-se {f
n
(z)}, z D C e n N, uma sucessao de fun coes complexas e a sua respectiva
soma
n
f
n
(z)
(Convergencia Pontual da Serie)
Diz-se que a serie
n
f
n
(z) converge no ponto z
0
se a serie numerica
n
f
n
(z
0
), isto e, se
a sucessao (numerica) das somas parciais S
N
(z
0
) = f
1
(z
0
) + +f
N
(z
0
) for convergente.
Se
n
f
n
(z) convergir em todos os pontos z D entao dizemos que a serie e pontualmente
convergente em D. Neste caso podemos denir a fun cao soma (da serie) por:
f(z) =
n
f
n
(z) para qualquer z D
(Convergencia Uniforme da Serie)
Diz-se que a serie
n
f
n
(z) converge uniformemente em D, se a sucessao das somas parciais,
S
N
(z) for uniformemente convergente em D, isto e, se
> 0 P = P() : N > P se tem z D |f(z) S
N
(z)| <
lim
n
sup
zD
f(z) S
N
(z)
= 0
Criterio de Weierstrass
Seja f
n
(z) uma sucessao de fun coes denidas para z D que verica
|f
n
(z)| M
n
para quaisquer z D e n N
e onde a serie real de termos nao negativos
n
M
n
e convergente. Entao a serie
n
f
n
(z) e
uniformemente convergente em D.
Propriedades da Soma de uma serie de fun coes uniformemente convergente
Considere-se f(z) =
n
f
n
(z) uniformemente em D C aberto. Entao
se para todo n N, f
n
e contnua em D, tem-se que f e contnua em D e
_
f(z) dz =
n
_
f
n
(z) dz
qualquer que seja a curva regular contida em D.
se para todo n N, f
n
e analtica em D e D e simplesmente conexo, tem-se que f e
analtica em D e
f
(z) =
n
f
n
(z) , z D
43
CAP
ITULO 1. AN
ALISE COMPLEXA
No caso particular das series de potencias, o Teorema de Abel e o Criterio de Weierstrass
implicam o seguinte resultado.
Teorema: (Convergencia uniforme de uma serie de potencias)
Seja
n=0
a
n
(z z
0
)
n
uma serie de potencias de raio de convergencia R. Entao a serie e
uniformemente convergente em todos os crculos
D(z
0
, r) =
_
z : |z z
0
| r
_
em que r < R. Dado que, para todo n N a fun cao f
n
(z) = a
n
(z z
0
)
n
e inteira, pode-se
entao concluir que a serie f(z) =
n=0
a
n
(z z
0
)
n
e analtica em {z : |z z
0
| < R}, e para todo
z no interior do crculo de convergencia
f
(z) =
n=1
na
n
(z z
0
)
n1
_
f(w) dw =
n=0
a
n
_
(w z
0
)
n
dw =
n=0
a
n
n + 1
_
(z z
0
)
n+1
(a z
0
)
n+1
_
para qualquer curva regular em D(z
0
, R) onde a e z sao os pontos inicial e nal de , respec-
tivamente. Em consequencia, as primitivas de f(z) sao dadas por
C +
n=0
a
n
n + 1
(z z
0
)
n+1
,
onde C C e uma constante arbitraria.
1.6 Series de Taylor
1.6.1 Teorema de Taylor
Vimos anteriormente que uma fun cao representavel por uma serie de potencias num disco centrado
em z
0
e analtica (ou holomorfa) em z
0
. Reciprocamente, e valido o:
Teorema de Taylor:
Seja f uma fun cao analtica num conjunto aberto D C. Se z
0
D, entao f admite o
desenvolvimento em serie de potencias de z z
0
dado por
f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
quando |z z
0
| < R
R e o supremo dos n umeros reais positivos, , para o quais o disco D(z
0
, ) esta contido no
domnio de analiticidade de f, isto e, R e a distancia de z
0
à fronteira de D.
Nota: conclui-se dos teoremas anteriores que armar que uma fun cao f e analtica (ou
holomorfa) num ponto z
0
C e equivalente a armar que f(z) admite uma representa cao em
serie de potencias de z z
0
valida numa vizinhan ca de z
0
.
44
1.6. S
ERIES DE TAYLOR
A serie f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
denomina.se serie de Taylor de f em torno de z
0
. Se
z
0
= 0 a serie f(z) =
n=0
f
(n)
(z)
n!
z
n
denomina-se serie de Maclaurin de f.
Por a serie (como serie de potencias) ser uniformemente convergente em D(z
0
, r) para todos
0 < r < R, pode ser integrada e derivada termo a termo, isto e, se z D(z
0
, R)
f
(z) =
n=1
f
(n)
(z
0
)
(n 1)!
(z z
0
)
n1
f(w) dw =
n=0
f
(n)
(z
0
)
(n + 1)!
_
(z z
0
)
n+1
(a z
0
)
n+1
_
onde e uma curva seccionalmente regular contida em D(z
0
, R) e z,b sao o extremo inicial e
nal (resp.) de . Em consequencia, as primitivas da serie de Taylor de f(z) em torno de z
0
sao
C +
n=0
f
(n)
(z
0
)
(n + 1)!
(z z
0
)
n+1
,
onde C C e uma constante arbitraria.
Demonstracao (do Teorema de Taylor):
Pretende-se mostrar que, dado z
0
no domnio de analiticidade de f, existe R > 0, tal que para
todo z em B
R
(z
0
) se tem
f(z) =
n=0
f
(n)
(z
0
)
n!
(z z
0
)
n
Sendo D o domnio de analiticidade de f, considere-se R o maior real positivo para o qual se tem
D(z
0
, R) D. Para qual quer z D(z
0
, R), dena-se R
0
= |z z
0
| e escolha-se R
1
]R
0
, R[.
Sendo = {w : |wz
0
| = R
1
} percorrida em sentido directo, por aplicacao da formula Integral
de Cauchy, tem-se que
f(z) =
1
2i
_
f(w)
w z
dw
Por outro lado, e recorrendo à soma da serie geometrica, temos quer
1
w z
=
1
w z
0
(z z
0
)
=
1
w z
0
1
1
zz
0
wz
0
=
n=0
(z z
0
)
n
(w z
0
)
n+1
dado que, pela escolha que zemos de R
1
:
z z
0
w z
0
=
R
0
R
1
< 1.
Assim:
f(z) =
1
2i
_
f(w)
n=0
(z z
0
)
n
(w z
0
)
n+1
dw
45
CAP
ITULO 1. AN
ALISE COMPLEXA
Atendendo a que a serie geometrica e uniformemente convergente em D(z
0
, R
1
) (pois R
1
< R),
podemos integrar a serie termo a termo e obter:
f(z) =
n=0
_
1
2i
_
f(w)
(w z
0
)
n+1
dw
_
(z z
0
)
n
Usando a formula integral de Cauchy generalizada, obtem-se o resultado.
1.6.2 Zeros de uma Fun cao Analtica
Seja f uma fun cao analtica em D C aberto. Diz-se que z
0
D e um zero de ordem p sse
f(z
0
) = f
(z
0
) = = f
(p1)
(z
0
) = 0 e f
(p)
(z
0
) = 0
Como consequencia do Teorema de Taylor, podemos armar que:
z
0
e um zero de ordem p N
f(z) = a
p
(z z
0
)
p
+a
p+1
(z z
0
)
p+1
+
= (z z
0
)
p
_
a
p
+a
p+1
(z z
0
)
p+1
+
_
para |z z
0
| < ,
e onde a
p
=
1
p!
f
(p)
(z
0
) = 0. Sendo assim, z
0
e um zero de ordem p de f se e so se f admite uma
factoriza cao da forma
f(z) = (z z
0
)
p
g(z)
num disco |z z
0
| < , onde g e uma fun cao analtica em z
0
e g(z
0
) = 0.
1.7 Series de Laurent
1.7.1 Denicao de Serie de Laurent
Sendo z
0
C, a serie
n=
a
n
(z z
0
)
n
= +
a
2
(z z
0
)
2
+
a
1
z z
0
+a
0
+a
1
(z z
0
) +a
2
(z z
0
)
2
+
=
n=1
a
n
(z z
0
)
n
+
n=0
a
n
(z z
0
)
n
(1.12)
diz-se uma serie de Laurent em torno do ponto z
0
.
Nesse caso, diz-se que
n=1
a
n
(z z
0
)
n
=
a
1
z z
0
+
a
2
(z z
0
)
2
+ +
a
n
(z z
0
)
n
+
e a parte principal do desenvolvimento (1.12).
46
1.8. SINGULARIDADES, RES
IDUOS E TEOREMA DOS RES
IDUOS
1.7.2 Teorema de Laurent
Teorema de Laurent:
Se f e analtica na regiao anular A(z
0
, r, R) = {z C : r < |z z
0
| < R}, entao f pode ser
desenvolvida em serie de Laurent em torno de z
0
f(z) =
n=
a
n
(z z
0
)
n
onde para todo n Z
a
n
=
1
2i
_
f(z)
(z z
0
)
n+1
dz
e qualquer curva de Jordan seccionalmente regular contida em A(z
0
, r, R), percorrida uma vez
no sentido positivo, e tal que z
0
int .
No teorema de Laurent, podemos tomar os raios interior, r (resp. exterior, R) da regiao anular
A(z
0
, r, R) como sendo onmo de todos os R
+
0
(resp., o supremo de todos os R
+
{})
para os quais f e analtica em A(z
0
, , ). Em particular, podemos ter r = 0 e R = .
1.8 Singularidades, Resduos e Teorema dos Resduos
1.8.1 Singularidades
Seja f uma fun cao complexa, com domnio de analiticidade A C. Diz-se que f tem uma
singularidade em z
0
C, se z
0
A (f nao e analtica em z
0
) e existe > 0 tal que D(z
0
, )A =
(existem pontos numa vizinhan ca de z
0
onde f e analtica).
A singularidade z
0
diz-se isolada se existe > 0 para o qual f e analtica em
A(z
0
, 0, ) = D(z
0
, ) \ {z
0
} = {z C : 0 < |z z
0
| < }.
Isto signica que f e uma singularidade isolada se e so se f e analtica em todos os pontos de
uma vizinhan ca de z
0
com excepcao de z
0
. A partir daqui, trataremos apenas deste tipo de
singularidades.
1.8.2 Classicacao das Singularidades Isoladas
Se z
0
e uma singularidade isolada de f, o Teorema de Laurent garante que f admite desenvolvi-
mento em serie de Laurent centrada em z
0
f(z) = +
a
2
(z z
0
)
2
+
a
1
z z
0
+a
o
+a
1
(z z
0
) +a
2
(z z
0
)
2
+ (1.13)
valido sempre que 0 < |z z
0
| < .
z
0
diz-se removvel se a serie (1.13) tem parte principal nula, ou seja, se:
a
n
= 0 , n N.
47
CAP
ITULO 1. AN
ALISE COMPLEXA
Neste caso, a serie de Laurent de f, (1.13), reduz-se à serie de potencias de z z
0
:
f(z) = a
o
+a
1
(z z
0
) +a
2
(z z
0
)
2
+ para 0 < |z z
0
| < .
A fun cao
F(z) = a
o
+a
1
(z z
0
) +a
2
(z z
0
)
2
+ =
_
f(z) se z = z
0
a
0
se z = z
0
diz-se a extensao analtica de f a z
0
, e entao lim
zz
0
f(z) existe (e igual a a
0
). De facto:
z
0
e singularidade removvel de f sse lim
zz
0
f(z) existe (em C).
Demonstracao:
Pelo que vimos acima, se z
0
e uma singularidade removvel entao o lim
zz
0
f(z) existe.
Reciprocamente, se existe o lim
zz
0
f(z) entao f(z) e limitada numa vizinhan ca de z
0
, D;
ou seja, existe M > 0 tal que |f(z)| M para z D. Seja > 0 sucientemente pequeno
para que a regiao anular 0 < |z z
0
| r esteja contida em D e no domnio de analiticidade
de f. Tomando n 1 e 0 < r, e utilizando o teorema de Laurent, os coecientes da
serie (1.13) valida em 0 < |z z
0
| < r sao dados por:
a
n
=
1
2i
_
|zz
0
|<
f(z)
(z z
0
)
n+1
dz =
1
2i
_
|zz
0
|<
f(z)(z z
0
)
n1
dz.
Desta forma:
|a
n
|
1
2
_
|zz
0
|<
|f(z)||z z
0
|
n1
|dz|
M
n1
2
_
|zz
0
|<
|dz|
=
M
n1
2
2
= M
n
0 quando 0
Assim a
n
= 0 para n 1, pelo que z
0
e uma singularidade removvel de f(z).
z
0
e um polo de ordem p N, se a serie de Laurent (1.13) e da forma
f(z) =
a
p
(z z
0
)
p
+ +
a
1
z z
0
+a
o
+a
1
(z z
0
) +a
2
(z z
0
)
2
+
em que a
p
= 0. Neste caso, a
n
= 0 para todo n > p, pelo que a parte principal da
serie de Laurent tem apenas um n umero nito de termos nao nulos. Se p = 1 o p olo diz-se
simples.
Pela forma da serie de Laurent, e facil de concluir que se z
0
e um p olo de ordem p, entao
F(z)
def
= (z z
0
)
p
f(z) = a
p
+a
p+1
(z z
0
) + +a
p+n
(z z
0
)
n
+
para 0 < |z z
0
| < . Assim sendo, F(z) e uma fun cao analtica em z
0
e F(z
0
) = a
p
= 0,
donde se conclui que lim
zz
0
(z z
0
)
p
f(z) = F(z
0
) = 0.
Reciprocamente, se o limite anterior existe e e nao nulo ent ao F(z) = (z z
0
)
p
f(z) tem
uma singularidade removvel em z
0
, pelo que o seu desenvolvimento em serie de Laurent em
torno de z
0
e da forma:
(z z
0
)
p
f(z) = F(z) = b
0
+b
1
(z z
0
) +b
2
(z z
0
)
2
+ .
48
1.8. SINGULARIDADES, RES
IDUOS E TEOREMA DOS RES
IDUOS
Note que b
0
= lim
zz
0
(z z
0
)
p
f(z) = 0. Assim,
f(z) =
b
0
(z z
0
)
p
+
b
1
(z z
0
)
p1
+ +b
p
+b
p+1
(z z
0
) +b
p+2
(z z
0
)
2
+
onde b
0
= 0, donde segue que z
0
e um p olo de ordem p de f(z).
Conclui-se entao que:
z
0
e p olo de ordem p de f sse lim
zz
0
(z z
0
)
p
f(z) existe (em C) e nao e zero.
z
0
diz-se uma singularidade essencial de f, se a parte principal do seu desenvolvimento
em serie de Laurent em torno de z
0
, valido em A(z
0
, 0, ), tem uma innidade de termos
nao nulos.
1.8.3 Resduos
Se z
0
e uma singularidade isolada de f, dene-se Resduo de f em z
0
, Res(f, z
0
), como sendo o
coeciente a
1
do desenvolvimento em serie de Laurent (com centro em z
0
) valida em A(z
0
, 0, r).
se z
0
e uma singularidade removvel, entao e obvio que
Res(f, z
0
) = 0
se z
0
e um p olo de ordem p, entao:
Res(f, z
0
) =
1
(p 1)!
lim
zz
0
d
p1
dz
p1
_
(z z
0
)
p
f(z)
_
Demonstracao: Por hip otese
f(z) =
a
p
(z z
0
)
p
+ +
a
2
(z z
0
)
2
+
a
1
z z
0
+a
0
+a
1
(z z
0
) +
sendo a serie de Laurent uniformemente convergente numa regiao 0 < |z z
0
| < r. Assim:
(zz
0
)
p
f(z) = a
p
+ +a
2
(zz
0
)
p2
+a
1
(zz
0
)
p1
+a
0
(zz
0
)
p
+a
1
(zz
0
)
p+1
+ .
Derivando p 1 vezes (note que
d
p1
dz
p1
(z z
0
)
k
= 0 para k < p 1) resulta que:
d
p1
dz
p1
_
(z z
0
)
p
f(z)
_
= a
1
(p 1)! +a
0
_
p(p 1) 3 2
_
(z z
0
)
+a
1
_
(p + 1)p 4 3
_
(z z
0
)
2
+ .
Tomando o limite quando z z
0
obtem-se:
lim
zz
0
d
p1
dz
p1
_
(z z
0
)
p
f(z)
_
= (p 1)! a
1
49
CAP
ITULO 1. AN
ALISE COMPLEXA
Se f(z) =
(z)
(z)
, com (z) e (z) analticas em z
0
, (z
0
) = 0, (z
0
) = 0 e
(z
0
) = 0
entao z
0
e um p olo simples de f e
Res(f, z
0
) =
(z
0
)
(z
0
)
Demonstracao: Como (z) e (z) sao analticas em z
0
, existem as series de Taylor daquelas
fun coes validas numa vizinhan ca de z
0
. Assim sendo, e atendendo a que (z
0
) = 0
(z)
(z)
=
(z
0
) +a
1
(z z
0
) +
(z
0
)(z z
0
) +b
2
(z z
0
)
2
+
=
1
z z
0
(z
0
) +a
1
(z z
0
) +
(z
0
) +b
2
(z z
0
) +
,
pelo que
lim
zz
0
(z z
0
)
(z)
(z)
=
(z
0
)
(z
0
)
= 0.
De forma identica se pode provar a seguinte versao da regra de Cauchy, que pode ser util na
classica cao das singularidades nao essenciais e calculo dos respectivos resduos.
Teorema (Regra de Cauchy): Se f(z) =
(z)
(z)
, com (z) e (z) analticas em z
0
e tais
que (z
0
) = (z
0
) = 0 e
(z
0
) = 0 entao:
lim
zz
0
(z)
(z)
=

(z
0
)
(z
0
)
.
Se z
0
e uma singularidade essencial, o calculo do resduo pode-se fazer recorrendo ao desen-
volvimento em serie de Laurent numa regiao denida por 0 < |z z
0
| < .
1.8.4 Teorema dos Resduos
Por aplicacao directa do teorema de Cauchy generalizado e do teorema de Larent obtem-se o
resultado seguinte, que se revelou muito importante do ponto de vista das aplicacoes.
Teorema dos Resduos
Seja D C aberto e simplesmente conexo, e considere-se
f uma fun cao analtica num aberto D \ {z
1
, ..., z
k
};
uma curva de Jordan em D percorrida em sentido directo e tal que z
1
,...,z
k
int .
Entao
_
f(z) dz = 2i
k
j=1
Res(f, z
j
)
50
1.9. APLICAC

OES DO TEOREMA DOS RES
IDUOS AO C
ALCULO DE INTEGRAIS REAIS

1.9 Aplicacoes do Teorema dos Resduos ao Calculo de Integrais
Reais
a
especie de Fun coes Racionais
Pretende-se calcular o integral impr oprio
I =
_

P(x)
Q(x)
dx = lim
R
_
R
R
P(x)
Q(x)
dx
em que
(C1) P e Q sao polin omios reais;
(C2) Q(x) = 0 para todo x R;
(C3) Grau(Q)Grau(P) 2.
Observe-se que a condi cao (C2) faz com que a fun cao P(x)/Q(x) seja limitada em R e a condi cao
(C3) faz com que o integral impr oprio seja convergente.
Considera-se a fun cao complexa auxiliar F(z) = P(z)/Q(z), e para R sucientemente grande
a curva
R
como sendo a fronteira do semi-crculo centrado na origem e de raio R denido no
semiplano {z : Imz 0}. Por aplicacao do Teorema dos resduos
_
R
P(z)
Q(z)
dz = 2i
k
j=0
Res (
P
Q
, z
j
)
def
=
sendo z
j
, j = 0, ..., k os zeros de Q com parte imaginaria positiva. Por outro lado
R
= I
R
S
R
= {z = x : x ] R, R[} {z = Re
i
: [0, ]}
Entao
=
_
I
R
P(z)
Q(z)
dz +
_
S
R
P(z)
Q(z)
dz =
_
R
R
P(x)
Q(x)
dx +
_
S
R
P(z)
Q(z)
dz
Fazendo R ,
= I + lim
R
_
S
R
P(z)
Q(z)
dz
Dado que existe M R
+
tal que para |z| = R sucientemente grande
P(z)
Q(z)

M
|z|
kl
,
onde k e l sao os graus de Q(z) e P(z), respectivamente. Assim sendo, para R sucientemente
grande
_
S
R
P(z)
Q(z)
dz

_
S
R
M
|z|
mn
|dz| =
MR
R
kl
=
M
R
kl1
,
Por aplicacao da condi cao (C3) podemos concluir que k l 1 2 1 = 1, pelo que
lim
R
_
S
R
P(z)
Q(z)
dz = 0
51
CAP
ITULO 1. AN
ALISE COMPLEXA
Conclui-se que
_

P(x)
Q(x)
dx = = 2i
k
j=0
Res (
P
Q
, z
j
)
sendo z
j
, j = 0, ..., k os zeros de Q(z) com parte imaginaria positiva.
Exemplo:
Determinar o valor de
I =
_

dx
(x
2
+ 4)(x
2
+ 9)
Considere-se a fun cao complexa de variavel complexa
F(z) =
1
(z
2
+ 4)(z
2
+ 9)
e para R sucientemente grande a curva
R
como sendo a fronteira da regiao
D
R
= {z = re
i
C : 0 < r < R, 0 < < }
à qual se atribui a orienta cao positiva (ou sentido directo).
As singularidades de F(z) sao 2i e 3i. Dado que 2i, 3i D
R
e 2i, 3i D
R
, por
aplicacao do teorema dos resduos
_
R
F(z) dz = 2i
_
Res (F, 2i) + Res (F, 3i)
_
Visto que
F(z) =
1
(z + 2i)(z 2i)(z 3i)(z + 3i)
(1.14)
ve-se que todas as singularidades de (1.14) sao zeros de ordem 1 do denominador e nao anulam
o numerador, pelo que sao p olos simples de F(z). Como tal:
Res (F, 2i) = lim
z2i
(z 2i)F(z) = lim
z2i
1
(z + 2i)(z
2
+ 9)
=
1
20i
e
Res (F, 3i) = lim
z3i
(z 3i)F(z) = lim
z2i
1
(z + 2i)(z
2
+ 9)
=
1
30i
Entao _
F(z) dz =

30
.
Por outro lado, atendendo ao facto de que a curva
R
e composta pelo segmento
I
R
= {z C : z = x , x [R, R[}
e pela semicircunferencia
S
R
= {z C : z = Re
i
, [0, [}
podemos escrever
30
=
_
I
R
F(z) dz +
_
S
R
F(z) dz
52
1.9. APLICAC

IDUOS AO C

Em I
R
, z = x com x [R, R], pelo que
30
=
_
R
R
F(x) dx +
_
S
R
F(z) dz
e, fazendo R tender para +
30
=
_

F(x) dx + lim
R
_
S
R
F(z) dz
Por outro lado
_
S
R
F(z) dz

_
S
R
|F(z)| |dz|
_
S
R
|dz|
(|z|
2
4)
2
(|z|
2
9)
2
=
R
(R
2
4)
2
(R
2
9)
2
Temos entao que
lim
R
_
S
R
F(z) dz
lim
R
R
(R
2
4)
2
(R
2
9)
2
= 0
o que implica
lim
R
_
S
R
F(z) dz = 0
e como tal
_

F(x) dx =

30
a
especie envolvendo funcoes Trigonometricas
Pretende-se calcular integrais impr oprios do tipo
_

f(z)cos (ax) dx ,
_

f(z)sen (ax) dx
em que a R
+
e
(C1) f e analtica em C excepto num conjunto nito de singularidades.
(C2) f nao tem singularidades no eixo real;
Para ambos os casos, considera-se a fun cao complexa auxiliar
F(z) = f(z) e
iaz
e para R sucientemente grande a curva
R
como sendo a fronteira do semi-crculo centrado na
origem e de raio R denido no semiplano {z : Imz 0}. Por aplicacao do Teorema dos resduos
_
R
f(z)e
iaz
dz = 2i
k
j=0
Res (F, z
j
)
sendo z
j
, j = 0, ..., k os zeros de Q com parte imaginaria positiva. Por outro lado
R
= I
R
S
R
= {z = x : x ] R, R[} {z = Re
i
: [0, ]}
53
CAP
ITULO 1. AN
ALISE COMPLEXA
Entao
=
_
I
R
f(z)e
iaz
dz +
_
S
R
f(z) dz =
_
R
R
f(z)e
iaz
dx +
_
S
R
f(z)e
iaz
dz
Fazendo R +,
=
_

f(z)e
iax
dx + lim
R
_
S
R
f(z)e
iaz
dz
Lema de Jordan Seja a > 0 e f uma fun cao analtica em C excepto num conjunto nito de
singularidades.
a) Para qualquer R > 0:
_
S
R
|e
iaz
||dz| <

a
b) Seja f(z) analtica em |z| > r, para algum r > 0 e tal que:
max
|z|=R
|f(z)| 0, quando R +
entao:
lim
R
_
S
R
f(z)e
iaz
dz = 0
Dem de a) b): Como M(R)
def
= max
|z|=R
|f(z)| 0 quando R +,
_
S
R
f(z)e
iaz
dz
M(R)
_
S
R
|e
iaz
||dz|
M(R)
a
0 quando R +
Exemplo importante: Se f(x) =

P(x)
Q(x)
, onde P(x) e Q(x) sao polin omios reais (isto e, os
seus coecientes sao reais), tem-se que se
Grau Q(z) > Grau P(z) Grau Q(z) Grau P(z) 1
entao
P(z)
Q(z)

C
R
para |z| = R, pelo que:
P(z)
Q(z)
0, em |z| = R quando R +
Pelo lema de Jordan:
lim
R
_
S
R
P(z)
Q(z)
dz = 0
Com f satisfazendo (C1) e a > 0, o lema de Jordan determina que:

lim
R
_
S
R
f(z)e
iaz
dz = 0
54
1.9. APLICAC

IDUOS AO C

Conclui-se que
_

f(x)e
iax
dx =
Dado que ax R, resulta da formula de Euler que
_

f(x)e
iax
dx =
_

f(x)cos (ax) dx + i
_

f(x)sen (ax) dx
pelo que
_

f(x)cos (ax) dx = Re e
_

f(x)sen (ax) dx = Im
Exemplo:
Vamos determinar o integral
_

cos x
4x
2
+ 1
dx
utilizando o Teorema dos Resduos. Para tal considere-se a fun cao complexa
F(z) =
e
iz
4z
2
+ 1
e, para R R
+
sucientemente grande, a curva
R
como sendo a fronteira do semi-crculo
{z : |z| R e Imz 0}
com orienta cao positiva (percorrida em sentido directo). Visto F ser analtica em C \ {
i
2
,
i
2
},
aplicando o Teorema dos Resduos obtem-se
_
C
R
F(z) dz = 2i Res (F(z),
i
2
)
Dado que
F(z) =
e
iz
4
_
z
i
2
_ _
z +
i
2
_, (1.15)
como i/2 e zero de ordem 1 do denominador de (1.15) e nao anula o numerador de (1.15),
conclui-se que i/2 e p olo simples de F. Consequentemente:
Res (F,
i
2
) = lim
zi/2
_
z
i
2
_
F(z) =
e
1/2
4i
Sendo assim
_
C
R
F(z) dz =
e
1/2
2
Por outro lado
R
= I
R
S
R
= {z = x [R, R]} {z : |z| = R, Imz > 0}
pelo que
e
1/2
2
=
_
R
F(z) dz =
_
I
R
F(z) dz +
_
S
R
F(z) dz
55
CAP
ITULO 1. AN
ALISE COMPLEXA
e atendendo à denicao de I
R
e
1/2
2
=
_
R
R
F(x) dx +
_
S
R
F(z) dz
Fazendo R
e
1/2
2
=
_

F(x) dx + lim
R
_
S
R
F(z) dz
Atendendo a que Grau(4z
2
+ 1)-Grau(1)=2, tem-se que para |z| = R
lim
|z|=R
1
4z
2
+ 1
= 0
Por aplicacao do lema de Jordan, podemos concluir que
lim
R
_
S
R
F(z) dz = 0
e como tal
_

F(x) dx =
e
1/2
2
=

2
e
Finalmente, visto x R
_

e
i
x
4x
2
+ 1
dx =
_

cos x
4x
2
+ 1
dx +i
_

sen x
4x
2
+ 1
dx =

2
e
concluindo-se que
_

cos x
4x
2
+ 1
dx =

2
e
1.9.3 Integrais Trigonometricos
Pretende-se calcular o integral
I =
_
2
0
F(cos , sen ) d
onde F(u, v) e uma fun cao real dependendo das duas variaveis reais u e v. Como consequencia
da formula de Euler
cos =
e
i
+e
i
2
e sen =
e
i
e
i
2i
Temos entao que, fazendo z = e
i
(o que implica que |z| = 1 e
dz
d
= iz), o integral pode ser
escrito na forma
I =
_
|z|=1
F(
z+z
1
2
,
zz
1
2i
)
iz
dz =
_
|z|=1
f(z) dz
onde f(z) =
1
iz
F
_
z +z
1
2
,
z z
1
2i
_
. Por aplicacao do teorema dos resduos:
I = 2i
k
j=0
Res (f, z
j
)
56
1.9. APLICAC

IDUOS AO C

sendo z
j
, j = 0, ..., k, as singularidades de F interiores ao crculo unitario.
Exemplo:
Vamos calcular o integral
I
def
=
_
2
0
d
2 + sen
2
Considerando a parametriza cao z = e

i
, com [0, 2] (da circunferencia |z| = 1, percorrida
uma vez no sentido directo), o integral pretendido pode ser escrito como:
I =
_
|z|=1
1
2 +
_
zz
1
2i
_
dz
iz
= 4i
_
|z|=1
z
z
4
10z
2
+ 1
dz
A fun cao
f(z) =
z
z
4
10z
2
+ 1
e analtica em C \
_
_
5 + 2
6,
_
5 + 2
6,
_
5 2
6,
_
5 2
6
_
, sendo claro que:
_
5 + 2
> 1 e
_
5 2
< 1.
Assim sendo, utilizando o teorema dos resduos:
I = 4i 2i
_
Res
_
f,
_
5 2
6
_
+ Res
_
f,
_
5 2
6
_
_
.
Sendo z
0
uma qualquer singularidade de f entao z
0
e p olo simples, pelo que:
Res (f, z
0
) =
z
d
dz
(z
4
10z
2
+ 1)
z=z
0
=
z
4z
3
20z
z=z
0
=
1
4z
2
20
z=z
0
.
Assim:
Res
_
f,
_
5 2
6
_
=
1
4z
2
20
z=
52
6
=
1
8
6
e
Res
_
f,
_
5 2
6
_
=
1
4z
2
20
z=
52
6
=
1
8
6
.
Resulta entao que:
_
2
0
d
2 + sen
2
= 8
_
2
8
6
_
=
2
6
=
_
2
3
57
CAP
ITULO 1. AN
ALISE COMPLEXA
58
Captulo 2
Equacoes Diferenciais Ordinarias
2.1 Introducao
2.1.1 Nota cao e Denicoes
Designa-se por equacao diferencial uma rela cao de igualdade entre termos envolvendo uma fun cao
y(x), as suas derivadas e a variavel independente x. A equacao podera tambem depender de
parametros nao directamente relacionados com a variavel independente x.

E talvez mais simples
pensar numa equacao diferencial como uma equacao cuja incognita pertence a um espa co de
fun coes
R
n
D x = (x
1
, x
2
, . . . x
n
) y(x) =
_
y
1
(x), . . . , y
m
(x)
_
R
m
(pode-se ter C em vez de R). Desta forma, x
1
, . . . x
n
sao as variaveis independentes (e a dimensao
do domnio de y, n N, o seu n umero) e y
1
, . . . , y
m
as variaveis dependentes (e a dimensao do
contradomnio de y, m N, o seu n umero). Note que os (eventuais) parametros nao sao contados
como variaveis independentes ou dependentes da equacao.
As equacoes diferenciais dizem-se ordinarias se o domnio da fun cao y(x) esta contido em R,
caso em que as derivadas que nela surgem sao totais (em ordem a x R). Dizem-se parciais se
tem mais do que uma variavel independente (o domnio de y(x) esta contido em R
n
) e envolvem
derivadas parciais de y (em ordem a x
1
, x
2
, . . .).
As equacoes diferenciais classicam-se como escalares ou vectoriais consoante tenham uma
ou mais do que uma variavel dependente (ou seja, o contradomnio de y(x) esta contido em R
no caso escalar e R
m
no caso vectorial). Neste ultimo caso e costume considerar que a variavel
independente e o vector y(x) =
_
y
1
(x), . . . y
m
(x)
_
R
m
.
Por exemplo, a equacao
dy
dx
+ 2ayx = 0
e ordinaria, x e a variavel independente e y = y(x) a variavel dependente, enquanto a e um
parametro. Ja a 2
a
Lei de Newton para o movimento de uma partcula em R
3
F(t, r) = mr, (2.1)
e uma equacao ordinaria vectorial, pois r = r(t) = (x(t), y(t), z(t)). Aqui utilizou-se a notacao
de Newton
r =
dr
dt
r =
d
2
r
dt
2
59
CAP
ITULO 2. EQUAC

OES DIFERENCIAIS ORDIN
ARIAS
para representar as 1
a
e 2
a
derivadas em ordem a t. A massa da partcula, m, e apenas um
parametro.
Como exemplos de equacoes diferencias parciais escalares, podemos indicar a equacao de
Laplace num domnio bidimensional,
2
u
x
2
+

2
u
x
2
= 0,
(ja introduzida na Analise Complexa), onde u : D R
2
R; a equacao do calor unidimensional,
u
t
= k
2
u
x
2
onde u : R [0, L] R; a equacao das ondas unidimensional
u
t
= c
2
2
u
x
2
onde u : R [0, L] R. Tambem poderemos ter versoes tridimensionais destas equa coes como,
por exemplo, a equacao do calor no espa co:
u
t
= k
_
2
u
x
2
+

2
u
y
2
+

2
u
z
2
_
def
= k
2
u
onde u = u(t, x, y, z), com t R e (x, y, z) D R
3
e
2
e o operador laplaciano.
Alguns problemas de equacoes diferencias parciais sao de estudo muito difcil. Um dos mais
conhecidos exemplos consiste nas equacoes de Navier-Stokes
u
t
(u )u =
2
u +f(t, x)
div u = 0
onde u = u(t, x, y, z) D R
3
, com t R, (x, y, z) D R
3
. As suas solucoes descrevem o
campo de velocidade, u, de um udo incompressvel de viscosidade que ocupa o domnio D e
esta sujeito a uma for ca exterior f. Trata-se, pois, de uma equacao diferencial parcial vectorial,
que e bem conhecida pelas suas aplicacoes à hidrodinamica e aerodinamica. Para uma descri cao
de um problema em aberto relacionado com estas equacoes ver
http://www.claymath.org/millennium/Navier-Stokes_Equations
Dedicaremos o que resta deste captulo ao estudo das equacoes diferenciais ordinarias.
2.1.2 Ordem e Solu coes de uma Equacao Diferencial Ordinaria
Uma equacao diferencial (ordinaria ou parcial) diz-se de ordem n se a maior ordem das derivadas
das suas variaveis dependentes y
1
, y
m
e n. Representamos o espa co vectorial das fun coes
contnuas y : I R
m
(com I um intervalo aberto) por C(I, R
m
), que abreviaremos para C(I). O
espa co vectorial das fun coes contnuas e com derivadas contnuas ate à ordem n sera representado
por C
n
(I, R
m
) ou, abreviadamente, C
n
(I). Assim:
C
n
(I) =
_
y C(I) : y
, y
, y
(n)
C(I)
_
60
2.1. INTRODUC

AO
Uma fun cao f e de classe C
n
em I se e so se f C
n
(I).
Diz-se que uma fun cao y C
n
(I), onde I e um intervalo aberto, e uma solucao da equacao
diferencial (em I) se satisfaz a equacao para qualquer t I, ou seja, se substituindo y
1
(t) y
n
(t)
na equacao diferencial se obtem uma identidade, qualquer que seja t I.
Consideraremos equacoes diferenciais ordinarias de 1
a
ordem (escalares ou vectoriais) que
podem ser explicitadas na forma:
dy
dt
= f(t, y),
onde f : I D, e onde D e um subconjunto aberto de R
m
. Uma solucao da equacao (1) e uma
fun cao y C
1
(I, R
m
) tal que y(t) D e y
(t) = f(t, y(t)) para qualquer t I.

Como veremos posteriormente, o estudo de alguns tipos de equacoes ordinarias de ordem n
(escalares ou vectoriais) pode ser reduzido ao das equacoes vectoriais de 1
a
ordem. Por exemplo,
na 2
a
Lei de Newton (2.1), introduzindo como variavel dependente a quantidade de movimento,
p = m r, obtem-se a equacao vectorial de 1
a
ordem:
_
_
r =
1
m
p
p = F(t, r)
2.1.3 Equacoes Diferenciais Ordinarias de Primeira Ordem
Como exemplo, escrevemos a mais simples equacao diferencial de 1
a
ordem, no caso escalar:
y
= g(t).
A solucao geral desta equacao, que se obtem por primitivacao, e
y(t) =
_
g(t)dt +C,
estando bem denida em qualquer intervalo onde g e contnua. Note-se que existe uma innidade
de solucoes para a equacao diferencial; o mesmo se passa com qualquer equacao diferencial
ordinaria de 1
a
ordem, y
= f(t, y), desde que f seja uma fun cao contnua num conjunto aberto.
Acrescentando à equacao de 1
a
ordem uma condi cao inicial, obtem-se um problema de valor
inicial (ou problema de Cauchy):
_
_
_
y
= f(t, y)
y(t
0
) = y
0
(2.2)
Em certas condi coes (veremos isso mais tarde) um problema de valor inicial tem solucao unica.
O intervalo maximo de solucao, I
max
, do problema de valor inicial e o maior intervalo onde
o problema (2.7) tem solucao. Mais exactamente, I
max
e o intervalo maximal de existencia de
solucao
1
.
1
O intervalo Imax diz-se maximal no sentido em que existe uma solucao de (2.7) em Imax e qualquer outro
intervalo onde uma solucao de (2.7) esta denida esta contido em Imax
61
CAP
ITULO 2. EQUAC

ARIAS
2.2 Equacoes Escalares de Primeira Ordem
2.2.1 Determina cao da Solu cao Geral
Muitos metodos de determina cao da solucao geral de equa coes diferenciais escalares de 1
a
ordem
baseiam-se na reducao da equacao a uma igualdade do tipo
d
dt
_
G
_
t, y(t)
_
_
= g(t), (2.3)
onde G = G(t, y), g = g(t) e a derivada no 1
o
membro da equacao e uma derivada total em
ordem a t. Por primitivacao, a solucao geral de (2.3), escrita na forma implcita, e:
G(t, y(t)) =
_
g(t)dt +C
2.2.2 Equacoes Lineares
Uma equacao escalar de primeira ordem diz-se linear, se pode ser escrita na forma
y +a(t)y = b(t) (2.4)
A equacao diz-se homogenea se b(t) 0. Nesse caso, ela e equivalente a
y
y
= a(t)
d
dt
_
log |y|
_
= a(t)
Primitivando, obtem-se:
log |y| =
_
a(t)dt +C |y| = e
C
exp
_
_
a(t)dt
_
y(t) = Dexp
_
_
a(t)dt
_
onde D = e
C
> 0. Fazendo K = D e notando que y(t) 0 tambem e solucao, obtemos a
solucao geral da equacao linear homegenea
y(t) = K exp
_
_
a(t)dt
_
, t I
onde I e qualquer intervalo aberto onde a(t) e contnua e K R.
Resolvamos agora a equacao nao homogenea. Multiplicando a equacao (2.4) por uma fun cao
(t) tal que = a(t), por exemplo, tomando
(t) = exp
__
a(t)dt
_
obtem-se a equacao equivalente
2
:
(t) y +(t)a(t)y = (t)b(t) y + y = (t)b(t)
d
dt
_
y
_
= (t)b(t)
2
As equa coes sao equivalentes pois (t) = e
a(t)dt
= 0, para qualquer t
62
2.2. EQUAC

OES ESCALARES DE PRIMEIRA ORDEM
Assim, a solucao geral de (2.4) e dada pela expressao:
y(t) =
1
(t)
_
_
(t)b(t)dt +C
_
Teorema: (Existencia de solucao de um PVI com equacao linear)
Seja I R, a e b fun coes contnuas em I e t
0
I. Entao, para qualquer y
0
R, o PVI
_
_
_
y +a(t)y = b(t)
y(t
0
) = y
0
admite solucao unica
y(t) =
1
(t)
_
_
t
t
0
(s)b(s)ds +(t
0
)y
0
_
denida para todo t I.
Exemplo
(1) Determinar a solucao do seguinte problema de valor inicial, indicando o intervalo maximo
de existencia de solucao:
_
w +w = e
2t
w(0) = 3
A equacao w +w = e
2t
e linear, com a(t) 1 e b(t) = e
2t
obviamente contnuas em R.
Um factor integrante (em I = R) para a equacao e:
(t) = e
1dt
= e
t
Sendo assim
w +w = e
2t
d
dt
_
e
t
w
_
= e
t
w(t) = e
t
(e
t
+C) , C R
Dado que w(0) = 3 conclui-se que C = 4 e a solucao do PVI e
w(t) = e
t
(e
t
+ 4)
O intervalo maximo de solucao corresponde ao maior intervalo onde y(t) esta bem denida
e e continuamente diferenciavel. Neste caso, I
max
= R. Note que solucao esta denida (e
e continuamente diferenciavel) em I = R, pois a(t) e b(t) sao contnuas em R.
2.2.3 Equacoes Separaveis
Uma equacao escalar de primeira ordem, diz-se separavel se pode ser escrita na forma
f(y)
dy
dt
= g(t) (2.5)
Se F(y) =
_
f(y)dy entao:
d
dt
F(y) = F
(y)
dy
dt
= f(y)
dy
dt
= g(t).
63
CAP
ITULO 2. EQUAC

ARIAS
Em consequencia, a solucao geral da equacao (2.5) e dada implicitamente por
_
f(y)dy =
_
g(t)dt +C
Note que a equacao anterior e da forma
(t, y) = C onde (t, y) = F(y)
_
g(t)dt
Considere-se uma condi cao inicial generica, y(t
0
) = y
0
. Se C for escolhido por forma a que (t
0
, y
0
)
verique a equacao implcita, isto e, C = (t
0
, y
0
), entao o graco da solucao do PVI e uma
curva de nvel da fun cao (t, y). Para ser possvel denir uma fun cao S(t) tal que y = S(t) seja
a unica solucao da equacao implcita numa vizinhan ca de t
0
, isto e, para que, para (t, y) numa
vizinhan ca de (t
0
, y
0
),
(t, y) = C y = S(t)
entao e obviamente necessario que a equacao (t, y) = C tenha uma e uma so solucao pois, caso
contrario, nao se pode denir a fun cao S(t). Neste caso, S(t) diz-se uma solucao explcita (local)
de (t, y) = C. Para poder concluir da existencia de solucao explcita local da equacao, e util o
seguinte teorema:
Teorema da funcao implcita (em R
2
): Seja G : D R uma fun cao de classe C
1
num
conjunto aberto D R
2
tal que (t
0
, y
0
) D, G(t
0
, y
0
) = 0 e
G
y
(t
0
, y
0
) = 0.
Entao a equacao
G(t, y) = 0
dene uma unica fun cao y(t) numa vizinhan ca de t
0
tal que:
G(t, y(t)) = 0
para t nessa vizinhan ca.
No caso presente, temos G(t, y) = (t, y) C, pelo que:
y
_
C
_
(t
0
, y
0
) = F
(y
0
) = f(y
0
).
Consequentemente, basta vericar que f(y
0
) = 0 para garantir a existencia de solucao explcita
do PVI numa vizinhan ca de t
0
.
Teorema: (Existencia de solucao (local) do PVI para a equacao separavel)
Sejam f e g fun coes reais de variavel real contnuas em vizinhan cas de y
0
e t
0
respectivamente.
Se f(y
0
) = 0, entao o PVI
_
_
f(y)
dy
dt
= g(t)
y(t
0
) = y
0
64
2.2. EQUAC

admite solucao unica denida numa vizinhan ca de t
0
. A solucao e denida implicitamente pela
equacao
_
y
y
0
f(u)du =
_
t
t
0
g(s)ds
ou, equivalentemente,
_
f(y)dy
_
g(t)dt = C,
com C determinado pela condi cao inicial y(t
0
) = y
0
.
Exemplo
(1) Determinar a solucao do PVI
_
dy
dx
= y(x 3)
y(0) = 5
Note-se em primeiro lugar que a equacao
dy
dx
= y(x 3) admite a solucao de equilbrio
(ou constante) y(x) 0, mas dado que esta solucao nao verica a condi cao inicial nao e
solucao do PVI. Para determinar solucoes nao constantes,
dy
dx
= y(x 3)
1
y
dy
dx
= x 3
d
dx
_
1
y
dy = x 3 log|y| =
x
2
2
3x +C
pelo que a solucao geral da equacao e dada por
y(x) = Ke
x
2
2
3x
Atendendo a que y(0) = 5 tem-se que K = 5 e como tal a solucao do PVI e
y(x) = 5e
x
2
2
3x
E obvio que o domnio de diferenciabilidade da fun cao y e R, pelo que o intervalo maximo de
existencia de solucao e I
max
= R. (Observe-se tambem que a fun cao f(y) =
1
y
e contnua
em R \ {0} e verica f(y) = 0 para todo y = 0. )
2.2.4 Equacoes Exactas
Uma equacao escalar de primeira ordem diz-se exacta se pode ser escrita na forma
M(t, y) +N(t, y)
dy
dt
= 0
em que (M, N) e um campo gradiente em algum subconjunto aberto de R
2
. Se M e N sao de
classe C
1
num aberto simplesmente conexo A R
2
e vericam
M
y
=
N
t
, (t, y) A
65
CAP
ITULO 2. EQUAC

ARIAS
entao (M, N) e um campo gradiente em A. Neste caso, tem-se que para (t, y) A, existe uma
fun cao : A R, denida por
t
= M ,

y
= N
e para a qual
M(t, y) +N(t, y)
dy
dt
= 0
d
dt
_
(t, y)
_
= 0
obtendo-se que a solucao da equacao diferencial exacta e denida (implicitamente) por
(t, y) = C , C R
Com uma condi cao inicial y(t
0
) = y
0
, e tomando C = (t
0
, y
0
), o teorema da fun cao implcita
garante a existencia de solucao local desde que:
y
( C)(t
0
, y
0
) =

y
(t
0
, y
0
) = N(t
0
, y
0
) = 0.
Teorema:(Existencia de solucao (local) do PVI para a equacao exacta). Se
M(t, y) +N(t, y)
dy
dt
= 0
e uma equacao diferencial exacta num conjunto aberto e simplesmente conexo A R
2
, (t
0
, y
0
)
A e N(t
0
, y
0
) = 0, entao existe um intervalo aberto contendo t
0
onde a equacao tem uma e
uma so solucao satisfazendo a condi cao inicial y(t
0
) = y
0
. A solucao verica a equacao implcita
(t, y) = K onde e tal que = (M, N).
Exemplo
(1) Determinar a solucao geral da equacao
e
4x
+ 2xy
2
+ (cos y + 2x
2
y)
dy
dx
= 0
Sendo
M(x, y) = e
4x
+ 2xy
2
e N(x, y) = cos y + 2x
2
y
e facil de vericar que
(i) M e N sao continuamente diferenciaveis em U = R
2
;
(ii)
M
y
= 4xy =
N
x
para todo (x, y) R
2
.
Conclui-se que (M, N) e um campo gardiente em R
2
, isto e, existe : R
2
R tal que
= (M, N).
Calculo de
x
= M (x, y) =
_
(e
4x
+ 2xy
2
) dx +C(y) (x, y) =
e
4x
4
+x
2
y
2
+C(y)
66
2.2. EQUAC

e, por outro lado
y
= N 2x
2
y +C
(y) = cos y + 2x
2
y C(y) = sen y +D
pelo que
(x, y) =
e
4x
4
+x
2
y
2
+ sen y +D , D R
Resolucao da equacao
Nestas circunstancias
e
4x
+ 2xy
2
+ (cos y + 2x
2
y)
dy
dx
= 0
d
dx
_
e
4x
4
+x
2
y
2
+ sen y +D
_
= 0
pelo que a solucao geral da equacao e denida implicitamente por
e
4x
4
+x
2
y
2
+ sen y = K , K R
2.2.5 Equacoes Redutveis a Exactas
Qualquer equacao escalar de primeira ordem e redutvel a exacta, ou seja, pode ser transformada
numa equacao exacta, multiplicando-a por uma fun cao (t, y) apropriada. A fun cao denomina-
se por um factor integrante da equacao, e pode ser calculado resolvendo a equacao diferencial
parcial
(M)
y
=
(N)
t
No geral e impossvel de obter uma solucao (explcita) para esta equacao. Pode ser resolvida nos
casos em que o factor integrante, depende apenas de uma variavel.
- A equacao diferencial
M(t, y) +N(t, y)
dy
dt
= 0
e redutvel a exacta, com factor integrante so dependendo de t, = (t), se a fun cao
M
y

N
t
N
depender apenas de t. Se esta condi cao se vericar, o factor integrante e uma das solucoes
da equacao diferencial
=
M
y

N
t
N

- A equacao diferencial
M(t, y) +N(t, y)
dy
dt
= 0
e redutvel a exacta, com factor integrante so dependendo de y, = (y), se a fun cao
N
t

M
y
M
67
CAP
ITULO 2. EQUAC

ARIAS
depender apenas de y. Se esta condi cao se vericar, o factor integrante e uma das solucoes
da equacao diferencial
=
N
t

M
y
M

Em qualquer dos casos, a solucao da equacao inicial ser a dada por
(t, y) = C
em que satisfaz
t
= M ,

y
= N
Exemplos:
1. Considere a equacao diferencial
3x
2
y + 2xy +y
3
+ (x
2
+y
2
)
dy
dx
= 0
Sendo
M(x, y) = 3x
2
y + 2xy +y
3
, N(x.y) = x
2
+y
2
e facil de concluir que M e N tem derivada contnua em R
2
(sao fun coes polinomiais) e
M
y
= 3x
2
+ 2x + 3y
2
,
N
x
= 2x
pelo que a equacao nao e exacta. Admitindo que e redutvel a exacta, existe um factor
integrante tal que a equacao
(3x
2
y + 2xy +y
3
) + (x
2
+y
2
)
dy
dx
= 0
e exacta. Pelo que
(3x
2
y + 2xy +y
3
)
y
+ (3x
2
+ 2x + 3y
2
) = (x
2
+y
2
)
x
+ 2x
Supondo que = (x) (o que implica /y = 0) tem-se que
(3x
2
+ 2x + 3y
2
) = (x
2
+y
2
)
(x) + 2x

(x)
(x)
=
3x
2
+ 2x + 3y
2
2x
x
2
+y
2
= 3
Pod-se entao vericar que a equacao
(x)/(x) = 3 e possvel de resolver (o segundo

membro nao depende de y), e como tal o factor integrante e (x) = e
3x
.
Considere-se entao a equacao
e
3x
(3x
2
y + 2xy +y
3
) +e
3x
(x
2
+y
2
)
dy
dx
= 0
que por construcao e exacta: observe-se que as fun coes e
3x
(3x
2
y +2xy +y
3
) e e
3x
(x
2
+y
2
)
sao diferenciaveis em R
2
, e
y
_
e
3x
(3x
2
y + 2xy +y
3
)
_
=

x
_
e
3x
(x
2
+y
2
)
_
68
2.2. EQUAC

Sendo assim (M, N) e um campo gardiente em R
2
, isto e, existe : R
2
R tal que
= (M, N).
Calculo de
x
= M (x, y) =
_
_
e
3x
(3x
2
y + 2xy +y
3
)
_
dx +C(y)
(x, y) = x
2
ye
3x
+
y
3
3
e
3x
+c(y)
e, por outro lado
y
= N (x
2
+y
2
)e
3x
+C
(y) = e
3x
(x
2
+y
2
) C(y) = const.
pelo que
(x, y) = x
2
ye
3x
+
y
3
3
e
3x
+ const. , const. R
Nestas circunstancias
3x
2
y + 2xy +y
3
+ (x
2
+y
2
)
dy
dx
= 0 e
3x
(3x
2
y + 2xy +y
3
) +e
3x
(x
2
+y
2
)
dy
dx
= 0
d
dx
_
x
2
ye
3x
+
y
3
3
e
3x
+ const.
_
= 0
x
2
ye
3x
+
y
3
3
e
3x
= k , k R
2. Considere a equacao diferencial
y + (2xy e
2y
)
dy
dx
= 0
Sendo
M(x, y) = y , N(x.y) = 2xy e
2y
e facil de concluir que M e N tem derivada contnua em R
2
e
M
y
= 1 ,
N
x
= 2y
pelo que a equacao nao e exacta. Admitindo que e redutvel a exacta, existe um factor
integrante tal que a equacao
y + (2xy e
2y
)
dy
dx
= 0
69
CAP
ITULO 2. EQUAC

ARIAS
e exacta. Pelo que
y
y
+ = (2xy e
2y
)
x
+ 2y
Supondo que = (x) (o que implica /y = 0) tem-se que
= (2xy e
2y
)
(x) + 2y

(x)
(x)
=
1 2y
2xy e
2y
E facil de vericar que a fun cao

1 2y
2xy e
2y
nao depende apenas da variavel x, pelo que
nao existe factor de integra cao dependendo apenas de x.
Supondo agora que = (y) (o que implica /x = 0) tem-se que
y
+ = 2y

(y)
(y)
=
2y 1
y
Pode-se entao vericar que a equacao
(y)/(y) = (2y 1)/y e possvel de resolver (o

segundo membro depende apenas de y), e como tal o factor integrante e (y) =
e
2y
y
.
Considere-se entao a equacao
e
2y
+
_
2xe
2y
1
y
_
dy
dx
= 0
que por construcao e exacta: observe-se que as fun coes e
2y
e 2xe
2y
1
y
sao diferenciaveis
em R
2
\ {(x, 0) : x R}, e
y
_
e
2y
_
=

x
_
2xe
2y
1
y
_
Sendo assim (M, N) e um campo gradiente em {(x, y) R
2
: y > 0} (ou em {(x, y)
R
2
: y < 0}), isto e, existe : {(x, y) R
2
: y > 0} R (ou : {(x, y) R
2
: y <
0} R) tal que = (M, N).
Calculo de
x
= M (x, y) =
_
_
e
2y
_
dx +C(y) (x, y) = xe
2y
+c(y)
e, por outro lado
y
= N 2xe
2y
+C
(y) = 2xe
2y
1
y
C(y) = log|y| + const.
pelo que
(x, y) = xe
2y
log|y| + const. , const. R
70
2.3. EXIST
ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

OES
Nestas circunstancias, para y = 0
y + (2xy e
2y
)
dy
dx
= 0 e
2y
+ (2xe
2y
1
y
)
dy
dx
= 0
d
dx
_
xe
2y
log |y| + const.
_
= 0
xe
2y
log |y| = k , k R
2.3 Existencia, Unicidade e Prolongamento de Solu coes
Consideramos o problema de valor inicial (PVI)
_
_
dy
dt
= f(t, y)
y(t
0
) = y
0
(2.6)
onde a fun cao f : D R tem domnio aberto D R
2
.

E costume designar f(t, y) por campo de
direccoes da equacao diferencial em (2.7); isto deriva do facto de a recta tangente ao graco
das solu c oes da equa cao diferencial ter, em cada ponto (t, y) desse graco, declive igual a
f(t, y). Note que se y(t) e solucao da equacao diferencial entao f(t, y(t)) =
dy
dt
(t).
Nesta seccao estudamos as condi coes que a fun cao f(t, y) deve vericar para que a solucao
do PVI:
exista;
seja unica;
esteja denida num intervalo maximal I =]a, b[.
Estas quest oes matematicas sao muito importantes do ponto de vista das aplicacoes. Os
metodos numericos que na pratica sao aplicados no calculo aproximado de solucoes de uma
equacao diferencial ordinaria exigem, como hip otese, que a solucao do PVI exista, seja unica e
que dependa continuamente das condi coes iniciais isto e, que seja um problema bem posto.

E
sabido que quando um PVI falha uma daquelas propriedades as solucoes dos esquemas numericos
correspondentes podem exibir comportamentos que as tornam in uteis, na optica das aplicacoes.
2.3.1 Teorema de Peano
Se exigirmos apenas continuidade de f(t, y), podemos provar o:
Teorema de Peano (Existencia de solucao local)
Considere-se D R
2
, e f : D R, contnua em (t, y) D. Se (t
0
, y
0
) D, o problema de
valor inicial
_
y = f(t, y)
y(t
0
) = y
0
71
CAP
ITULO 2. EQUAC

ARIAS
admite pelo menos uma solucao, y(t), num intervalo ]t
0
, t
0
+[ para certo > 0.
Pode-se entao colocar a questao de saber se a continuidade de f(t, y) e suciente para provar
unicidade de solucao. A subseccao seguinte mostra que a resposta a esta questao e negativa.
2.3.2 Exemplo de nao unicidade de solucao
Considere-se o problema de valor inicial:
_
_
_
dy
dt
= |y|
1/2
y(0) = 0 ,
Vamos construir um conjunto innito de solucoes para este PVI.
Comecamos por notar que a solucao constante y(t) 0 e solucao do PVI.
Por outro lado, admitindo que y(t) > 0, a equacao pode ser escrita na forma
y
1/2
dy
dt
= 1
d
dt
_
_
y
1/2
dy
_
= 1 2y
1/2
= t +c
Desta forma, para t +c > 0 t > c, a fun cao
y(t) =
1
4
(t +c)
2
e continuamente diferenciavel e satisfaz a equacao diferencial para t > c.
Podemos agora utilizar o metodo de cortar e colar a partir das solucoes y(t) 0 e
y(t) =
1
4
(t + c)
2
, para t > c, para criar novas solucoes do PVI. Sera necessario, obviamente,
que que no ponto de colagem a nova solucao seja uma fun cao contnua, diferenciavel e que
verique a equacao diferencial.
Para t
1
> 0, dena-se
y
t
1
(t) =
_
_
0 se t t
1
1
4
_
t t
1
_
2
se t > t
1
Verica-se que y
t
1
e diferenciavel e verica a equacao diferencial em R\{t
1
}, pois foi construda
à custa das solucoes y(t) 0 e y(t) =
1
4
(t + c)
2
, com c = t
1
. Note que esta escolha de c faz
precisamente com que
lim
tt
1
y
t
0
(t) = lim
tt
+
1
y
t
1
(t) 0 =
_
t
1
2
k
_
2
,
ou seja, que y
t
1
seja contnua em t
1
e y
t
1
(t
1
) = 0. Tambem as derivadas laterais de y
t
1
em t
1
existem e sao nulas, pelo que y
t
1
satisfaz a equacao diferencial em t
1
.
O facto de existirem uma innidade de solucoes mostra que a continuidade da fun cao f(t, y) =
y no seu domnio nao e suciente para garantir unicidade de solucao para o PVI.
De facto, temos que
|f(t, x) f(t, y)| =
_
|x|
_
|y|
x y
|x y|,
72
2.3. EXIST

OES
Figura 2.1: As solu c oes y
t1
com t
1
= 1/5, t
1
= 1/2 e t
1
= 6/5.
onde o termo
_
|x|
_
|y|
x y
,
nao e limitado para x, y num vizinhan ca qualquer da origem. Isto implica, em particular, que
xando y = 0 as taxas medias de crescimento da fun cao f nao sao limitadas. Ora, foi precisamente
nos pontos onde a solucao da equacao e nula que se observou a bifurcacao de solucoes!
2.3.3 Condi cao de Lipshitz
O exemplo anterior sugere que se introduza a seguinte condi cao adicional sobre f, que e devida
a Lipshitz. Considere-se f : D R, onde D R
2
. Diz-se que
f e Lipschitziana relativamente a y em D sse
|f(t, y) f(t, w)| K|y w| . (t, y), (t, w) D
A constante K R
+
e denominada a constante de Lipschitz. Observe-se que se a fun cao
f e Lipschitziana relativamente a y em D, vericara
f(t, y) f(t, w)
y w
K . (t, y), (t, w) D

o que signica que a taxa de crescimento de f relativamente à segunda coordenada, e
limitada em D. Em particular isto signica que:
Se f/y existe (em D), entao f/y e uma fun cao limitada em D;
Se f/y nao existe em todos os pontos de D (porque nao existe lim
h0
f(t,y+h)f(t,y)
h
,
para algum (t, y) D), ainda assim a razao incremental
f(t,y)f(t,y+h)
h
sera sempre
limitada, para todo h numa vizinhan ca de 0.
73
CAP
ITULO 2. EQUAC

ARIAS
f e localmente lipschitziana relativamente a y em D sse for lipschitziana relativamente
a y em todo o subconjunto compacto de D.
Criterio
Se f e contnua num aberto D R
2
e
f
y
existe e e contnua em D R
2
entao f e
localmente lipschitziana relativamente a y em D.
2.3.4 Teorema de Picard
Nesta subseccao veremos que o campo de direccoes, f para alem de ser contnuo se respeitar
a condi cao de Lipshitz local relativamente a y, entao o correspondente (PVI) tem solucao local
unica.
Teorema de Picard
Considere-se D R
2
e f : D R, D contnua em (t, y) D e localmente lipschitziana
relativamente a y em D. Se (t
0
, y
0
) D, o problema de valor inicial
_
y = f(t, y)
y(t
0
) = y
0
admite uma unica solucao, y(t), para t pertencente a ]t
0
, t
0
+[ para certo > 0.
A demonstracao deste teorema e feita de forma construtiva, sendo construda à custa de uma
sucessao de aproximacoes da solucao. Apresentaremos em seguida essa construcao e depois os
varios passos da demonstracao do teorema.
Equivalencia entre o Problema de Valor Inicial e um Problema Integral
E facil vericar que o problema de valor inicial

_
_
dy
dt
= f(t, y)
y(t
0
) = y
0
(2.7)
e equivalente à equacao integral
y(t) = y
0
+
_
t
t
0
f
_
s, y(s)
_
ds (2.8)
para y C
1
(I), sendo I qualquer intervalo aberto contendo t
0
.
De facto, se y C
1
(I) satisfaz o PVI (2.7) entao, integrando ambos os membros da equacao
diferencial entre t
0
e t e usando o teorema fundamental do calculo:
_
t
t
0
y
(s) ds =
_
t
t
0
f
_
s, y(s)
_
ds y(t) y(t
0
) =
_
t
t
0
f
_
s, y(s)
_
ds
Usando agora a condi cao inicial do PVI (2.7), obtem-se a equacao integral (2.8).
74
2.3. EXIST

OES
Reciprocamente, admitindo que y C(I) e solucao da equacao integral (2.8) entao, aplicando
o teorema fundamental do calculo ao integral do membro direito da equacao conclui-se que y(t)
e diferenciavel e que:
dy
dt
= f(t, y(t)) t I.
Assim sendo, y(t) e solucao da equacao diferencial. Por outro lado, substituindo t por t
0
na
equacao integral (2.8), obtem-se y(t
0
) = y
0
.
A equacao integral e, do ponto de vista da Analise Matematica, muito util pois a estima cao
de integrais e mais facil que a das derivadas.
Iteradas de Picard
Derivamos agora a partir da equacao integral uma sucessao de aproxima coes as iteradas de
Picard. Trata-se de uma sucessao de fun coes contnuas y
n
: I R denida recursivamente por:
y
0
(t) = y
0
y
1
(t) = y
0
+
_
t
t
0
f
_
s, y
0
(s)
_
ds
y
2
(t) = y
0
+
_
t
t
0
f
_
t, y
1
(s)
_
ds
.
.
.
y
n+1
(t) = y
0
+
_
t
t
0
f
_
s, y
n
(s)
_
ds
.
.
.
Note que se provarmos que y
n
(t) converge uniformente, num certo intervalo I = [t
0
, t
0
+]
para uma fun cao contnua y(t) entao tomando o limite quando n em ambos os membros
da formula que dene as iteradas de Picard obtem-se que y(t) satisfaz a equacao integral em I,
pelo que e solucao do PVI no intervalo aberto ]t
0
, t
0
+[.
Convergencia Uniforme das Iteradas de Picard
Vamos entao demonstrar que a sucessao das iteradas de Picard, y
n
(t), converge uniformemente
num intervalo [t
0
, t
0
+ ], para certo > 0 a determinar (o seu valor ira depender de t
0
, y
0
e f).
75
CAP
ITULO 2. EQUAC

ARIAS
Comecamos por estimar a diferenca entre duas iteradas de Picard consecutivas
3
:
|y
n+1
(t) y
n
(t)| =
y
0
+
_
t
t
0
f
_
s, y
n
(s)
_
ds y
0
_
t
t
0
f
_
s, y
n1
(s)
_
ds
_
t
t
0
f
_
s, y
n
(s)
_
f
_
s, y
n1
(s)
_
|ds|
Vamos estimar a fun cao integranda atraves da condi cao de Lipshitz. Considere-se um rectangulo
R = {(t, y) R
2
: t
0
a t t
0
+a e y
0
b y y
0
+b} contido no domnio, D, de f.
R
y
t
t
0
y
0
t
0
a t
0
+a
y
0
b
y
0
+b
(t
0
, y
0
)
Figura 2.2: O rectangulo R.
Seja K a constante de Lipshitz de f (relativamente a y) no conjunto compacto R, ou seja, K
verica:
|f(t, y) f(t, x)| K|y x| (t, y), (t, x) R (2.9)
Para que o graco das iteradas de Picard permaneca no interior de R (por forma a que a estimativa
de Lipshitz (2.9) seja valida quando aplicada a pontos (t, y
n
(t)), e necessario que:
1
o
) t ]t
0
a, t
0
+a[, pelo que devemos ter < a.
2
o
) Seja
M = max {|f(t, y)| : (t, y) R}
Para que
_
t, y
n
(t)
_
esteja no interior de R para t [t
0
, t
0
+ ], e necessario que
|y
n
(t) y
0
| < b. Como
|y
n
(t) y
0
|
_
t
t
0
f
_
s, y
n
(s)
_
|ds| M
_
t
t
0
|ds| = M|t t
0
| M,
isso implica que devemos ter M < b. Para tal, e preciso exigir < b/M.
3
Se f : I R e contnua no intervalo I e a, b I (sem que se tenha, necessariamente, b a) entao obtem-se,
como caso particular da propriedade de majoracao do integral complexo (Subseccao 1.4.2):
b
a
f(t)dt
b
a
|f(t)| |dt|.
Note que
b
a
|f(t)| |dt| e igual a
b
a
|f(t)| dt se b a e a
a
b
|f(t)|dt se b < a. Em particular,
b
a
|dt| = |b a|.
76
2.3. EXIST

OES
Assim, para qualquer t [t
0
, t
0
+]
def
= I
:
|y
n+1
(t) y
n
(t)|
_
t
t
0
f
_
s, y
n
(s)
_
f
_
s, y
n1
(s)
_
|ds|
_
t
t
0
K|y
n
(s) y
n1
(s)| |ds|
K max
sI
y
n
(s) y
n1
(s)
_
t
t
0
|ds|
K max
sI
y
n
(s) y
n1
(s)
Isto implica que:

max
tI
y
n+1
(t) y
n
(t)
K max
tI
y
n
(t) y
n1
(t)
(K)
2
max
tI
y
n1
(t) y
n2
(t)
.
.
.
(K)
n
max
tI
y
1
(t) y
0
Como y
1
(t) y
0
=
_
t
t
0
f(s, y
0
) ds, resulta entao da desigualdade anterior que:
max
tI
y
n+1
(t) y
n
(t)
(K)
n
max
tI
_
t
t
0
f(s, y
0
) ds
(K)
n
max
tI
_
t
t
0
|f(s, y
0
)| |ds|
(K)
n
max
tI
_
t
t
0
M|ds|
= (K)
n
M < (K)
n
b
Denindo r = K, entao
max
tI
y
n+1
(t) y
n
(t)
< br
n
. (2.10)
Utilizando somas telescopicas, e para n > m:
y
n
(t) y
m
(t) =
_
y
n
(t) y
n1
(t)
_
+
_
y
n1
(t) y
n2
(t)
_
+. . .
. . . +
_
y
m+2
(t) y
m+1
(t)
_
+
_
y
m+1
(t) y
m
_
=
n1
k=m
y
k+1
(t) y
k
(t)
Assim, usando a estimativa (2.10):
y
n
(t) y
m
(t)

n1
k=m
y
k+1
(t) y
k
(t)
n1
k=m
br
k
k=m
br
k
77
CAP
ITULO 2. EQUAC

ARIAS
A terceira restri cao que introduzimos ao valor de e r = K < 1, ou seja < 1/K. Assim,
como |r| < 1,
k=m
br
k
e uma serie geometrica convergente e a sua soma e
br
m
1r
. Desta forma,
para qualquer t I
y
n
(t) y
m
(t)

br
m
1 r
0 quando m, n ,
o que implica que y
n
(t) verica o criterio de Cauchy para convergencia uniforme em I
. Assim,
y
n
(t) converge uniformente em I
para uma fun cao contnua y : I
R, desde que tomemos:

< min
_
a,
b
M
,
1
K
_
(2.11)
Unicidade de Solucao
Supondo que y(t) e z(t) sao duas solucoes do PVI, entao vericam
y(t) = y
0
+
_
t
t
0
f
_
t, y(t)
_
dt
z(t) = y
0
+
_
t
t
0
f
_
t, z(t)
_
dt
em I
= [t
0
, t
0
+], onde satisfaz (2.11). Assim:
|y(t) z(t)|
_
t
t
0
f
_
s, y(s)
_
f
_
s, z(s)
_
|ds|
_
t
t
0
K|y(s) z(s)| |ds|
K max
sI
y(s) z(s)
_
t
t
0
|ds|
K max
sI
y(s) z(s)
Como < 1/K, ou seja, K < 1,

|y(t) z(t)| max
sI
y(s) z(s)
,
sendo a igualdade apenas vericada quando max
sI
y(s) z(s)
= 0. Como e impossvel que se

verique a desigualdade estrita para todo o t I
(pois o maximo de |y(t) z(t)| e atingido num

ponto t
1
I
) concluimos que max

sI
y(s) z(s)
= 0, ou seja:
y(t) = z(t) t [t
0
, t
0
+]
78
2.3. EXIST

OES
2.3.5 Prolongamento de Solu cao
Prolongamento de Solucao:
A solucao, unica, do problema de valor inicial assegurada pelo Teorema de Picard, pode ser
prolongada a um intervalo maximo de denicao ]a, b[, tendo-se que
b = + ou se b < pelo menos uma das seguintes situa coes ocorre:
quando t b
, (t, y(t)) converge para um ponto da fronteira de D;

a solucao, y(t) explode em b, ie, lim
tb
|y(t)| =
a = ou se a > pelo menos uma das seguintes situa coes ocorre:
quando t a
+
, (t, y(t)) converge para um ponto da fronteira de D;
a solucao, y(t) explode em a, ie, lim
ta
+
|y(t)| =
Em qualquer um dos casos, vericar que a solucao nao pode ser prolongada ate t =
(ou t = ) porque a fronteira do conjunto D e atingida pode ser facil de constatar pois a
fun cao f(t, y) e dada e, consequentemente, conhecemos os subconjuntos de R
2
onde o graco
da solucao nao pode entrar. Para mostrar que a solucao explode (ou que nao explode) ou, mais
genericamente, que o seu graco esta connado a uma certa regiao de R
2
, e muito util o seguinte
criterio.
2.3.6 Comparacao de Solu coes
Compara cao de Solucoes:
Considere-se D R
2
, f, g : D R vericando as condi coes do Teorema de Picard e
(t
0
, D.. Sejam ainda, y(t) a solucao do PVI
dy
dt
= f(t, y) , y(t
0
) =
e u(t) a solucao do PVI
du
dt
= g(t, u) , u(t
0
) =
Se
f(t, y) g(t, y) , (t, y) D
entao
y(t) u(t) , t
Consequencias:
79
CAP
ITULO 2. EQUAC

ARIAS
Mostrar que a solu cao explode
Seja u(t) a solucao do PVI
du
dt
= g(t, u) , u(t
0
) =
denida em I
u
max
=]t
0
, T[, tendo-se que lim
tT
u(t) = +. Se y(t) e solucao do PVI

dy
dt
= f(t, y) , y(t
0
) =
e f(t, y) g(t, y) para todo (t, y) (observe-se que pelo teorema anterior esta condi cao
implica que y(t) u(t) para todo t ), entao y(t) explode no intervalo ]t
0
, T], isto e,
existe ]t
0
, T] tal que lim
t
y.(t) = + e consequentemente supI

y
max
=
Mostrar que a solu cao nao explode
Seja u(t) a solucao do PVI
du
dt
= g(t, u) , u(t
0
) =
denida em I
u
max
=]a, +[ para certo a < t
0
. Se y(t) e solucao do PVI
dy
dt
= f(t, y) , y(t
0
) =
e f(t, y) g(t, y) para todo (t, y) (observe-se que pelo teorema anterior esta condi cao
implica que y(t) u(t) para todo t ), entao y(t) nao explode para + em ]t
0
, +[.
Analogamente, seja v(t) a soluc ao do PVI
dv
dt
= h(t, v) , v(t
0
) =
denida em I
v
max
=]a
1
, +[ para certo a
1
< t
9
. Se y(t) e solucao do PVI
dy
dt
= f(t, y) , y(t
0
) =
e f(t, y) h(t, y) para todo (t, y) (observe-se que pelo teorema anterior esta condi cao
implica que y(t) v(t) para todo t ), entao y(t) nao explode para em ]t
0
, +[.
Conclui-se que y(t) nao tem blow-up no intervalo ]t
0
, +[.
2.4 Equacoes Vectoriais de 1
a
Ordem (ou Sistemas)
Sendo I R, e para i = 1, ..., n, f
i
: I R
n
R, denomina-se uma equacao diferencial vectorial
de primeira ordem a uma equacao que permite determinar as fun coes y
1
(t), ..., y
n
(t) : I R, que
vericam
_
_
y
1
(t) = f
1
(t, y
1
(t), ..., y
n
(t))
.
.
.
y
n
(t) = f
n
(t, y
1
(t), ..., y
n
(t))
80
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

A equacao pode ser escrita utilizando notacao vectorial
Y
(t) = F(t, Y(t))

sendo
Y(t) =
_
_
y
1
(t)
.
.
.
y
n
(t)
_
_
, F(t, Y(t)) =
_
_
f
1
(t, y
1
(t), ..., y
n
(t))
.
.
.
f
n
(t, y
1
(t), ..., y
n
(t))
_
_
Tal como no caso escalar (n = 1), sendo t
0
I, denomina-se problema de valor inicial a
_
Y
(t) = F(t, Y(t)) , t I

Y(t
0
) = Y
0
onde se supoe que Y
0
= (y
1
(t
0
), ..., y
n
(t
0
)).
Fun cao Vectorial, F(t, Y), localmente Lipschitziana relativamente a Y
Uma fun cao vectorial, F(t, Y) : D R
n+1
R, contnua em D, denomina-se localmente
Lipschitziana relativamente a Y se cada uma das fun coes escalares f
i
(t, y
1
, ..., y
n
), i = 1, ..., n,
for localmente lipschitziana relativamente a y
1
,..., y
n
em D, isto e
|f
i
(t, y
1
, . . . , y
n
) f
1
(t, x
1
, . . . , x
n
)| K||(y
1
, . . . , y
n
) (x
1
, . . . , x
n
)|| onde
||(y
1
, . . . , y
n
) (x
1
, . . . , x
n
)||
def
=
_
(y
1
u
1
)
2
+. . . + (y
n
u
n
)
2
para todos (t, y
1
, . . . , y
n
), (t, u
1
, . . . , u
n
) em subconjuntos compactos de D. Isto e equivalente a
dizer que existe L R
+
tal que:
||F(t, Y) F(t, X)|| L||YX||
para quaisquer (t, Y), (t, X) D.
Teorema de Picard
(Existencia e unicidade de solucao para um PVI vectorial)
Considere-se D = I R
n
R
n+1
e F : D R, contnua em (t, Y) D e localmente
Lipschitziana relativamente a Y em D. Se (t
0
, Y
0
) D, o problema de valor inicial
_

Y = F(t, Y)
Y(t
0
) = Y
0
admite solucao unica num intervalo ]t
0
, t
0
+[ para certo > 0.
81
CAP
ITULO 2. EQUAC

ARIAS
2.4.1 Equacoes Vectoriais Lineares
A equacao vectorial denomina-se Linear se a fun cao F(t, Y) for linear em Y, isto e, se for da
forma
_
_
y
1
(t) = a
11
(t)y
1
(t) +... +a
1n
(t)y
n
(t)) +b
1
(t)
.
.
.
.
.
.
.
.
.
y
n
(t) = a
n1
(t)y
1
(t) +... +a
nn
(t)y
n
(t)) +b
n
(t)
ou, na forma matricial
Y
(t) = A(t)Y(t) +B(t)

sendo
Y(t) =
_
_
y
1
(t)
.
.
.
y
n
(t)
_
_ , A(t)
_
_
a
11
(t) . . . a
1n
(t)
.
.
.
.
.
.
a
n1
(t) . . . a
nn
(t)
_
_ , B(t) =
_
_
b
1
(t)
.
.
.
b
n
(t)
_
_
Caso Homogeneo (B(t) 0)
Vamos estudar a equacao
Y
(t) = A(t)Y(t) (2.12)

com Y R
n
, A(t) =
_
a
ij
(t)
_
n
i,j=1
, a
ij
(t) : I R R, e B(t) : I R fun coes contnuas
Matriz Solucao Fundamental
Uma matriz S(t) denomina-se uma matriz solucao fundamental, se e so se
(i) det S(t)) = 0 para todo t I, o que signica que as colunas de S(t) sao linearmente
independentes para t I;
(ii) as colunas de S(t) sao solucoes da equacao Y
(t) = A(t)Y(t).
Observe-se que uma matriz solucao fundamental nao e unica por exemplo, se S(t) e uma
matriz solucao fundamental qualquer matriz obtida por troca de colunas de S(t) e tambem uma
matriz solucao fundamental.
Teorema: (Existencia e unicidade de solucao de uma equacao vectorial linear homogenea)
Considere-se I R e A(t) =
_
a
ij
(t)
_
n
i,j=1
, a
ij
(t) : I R contnuas. Entao a solucao geral
da equacao
Y
(t) = A(t)Y(t)
e dada por
Y(t) = S(t)C , C = (c
1
, ..., c
n
) R
n
em que S(t) e uma matriz solucao fundamental da equacao.
82
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

2.4.2 Equacoes Vectoriais Lineares de Coecientes Constantes:
A equacao vectorial linear denomina-se de coecientes constantes se a matriz A(t) tiver entradas
constantes, isto e, se for da forma
_
_
y
1
(t) = a
11
y
1
(t) +... +a
1n
y
n
(t) +b
1
(t)
.
.
.
.
.
.
.
.
.
y
n
(t) = a
n1
y
1
(t) +... +a
nn
y
n
(t) +b
n
(t)
ou na forma matricial
Y
(t) = AY(t) +B(t)

sendo
Y(t) =
_
_
y
1
(t)
.
.
.
y
n
(t)
_
_ , A(t) =
_
_
a
11
. . . a
1n
.
.
.
.
.
.
a
n1
. . . a
nn
_
_ , B(t) =
_
_
b
1
(t)
.
.
.
b
n
(t)
_
_
Caso Homogeneo (B(t) 0)
Vamos resolver a equacao
Y
(t) = AY(t) (2.13)

com Y R
n
, A =
_
a
ij
(t)
_
n
i,j=1
, a
ij
R.
Exponencial de uma Matriz
Sendo A uma matriz n n, dene-se
e
A
=
n=0
A
n
n!
= I +A+
A
2
2
+
A
3
3!
+...
Note que se considera A
0
def
= I, onde I representa a matriz identidade no espa co das matrizes
reais n n. Dado t R, a matriz e
At
= e
tA
satisfaz as seguintes propriedades:
e
0
e a matriz identidade em R
n
;
para qualquer matriz A e t R, a matriz e
At
e invertvel e
_
e
At
_
1
= e
At
Se A, B sao quaisquer matrizes vericando AB = BA entao
e
(A+B)t
= e
At
e
Bt
d
dt
_
e
At
_
= Ae
At
83
CAP
ITULO 2. EQUAC

ARIAS
As propriedades da matriz e
At
, permitem demonstrar que
a matriz e
At
e uma matriz solucao fundamental da equacao.
Teorema (Existencia e unicidade de solucao de uma equacao vectorial linear homogenea de coe-
cientes constantes)
Se A = [a
i,j
] e uma matriz n n, com a
i,j
R, o problema de valor inicial
_

Y = AY
Y(t
0
) = Y
0
tem solucao unica, denida por
Y(t) = e
A(tt
0
)
Y
0
, t R
Calculo da Matriz e
At
A e uma matriz diagonal:
Se A =
_
1
0 ... 0
0
2
... 0
.
.
0 0 ...
n
_
_
e
At
=
_
_
e
1
t
0 ... 0
0 e
2
t
... 0
.
.
0 0 ... e
nt
_
_
A e uma matriz diagonalizavel:
Uma matriz A, nn, diz-se diagonalizavel se admite n vectores linearmente independentes.
Demonstra-se que,
se A e diagonalizavel entao A = SS
1
em que
=
_
1
0 ... 0
0
2
... 0
.
.
0 0 ...
n
_
_
e S =
_
_
| ... |
v
1
... v
n
| ... |
_
_
sendo
1
, ...,
n
os valores pr oprios de A e v
1
, ..., v
n
os correspondentes vectores pr oprios.
Nao e dcil de demonstrar que para matrizes A e B semelhantes, se tem
A = SBS
1
e
At
= Se
Bt
S
1
Podemos entao concluir que, se A e diagonalizavel, isto e
A = S
_
1
0 ... 0
0
2
... 0
.
.
0 0 ...
n
_
_
S
1
e
At
= Se
t
S
1
= S
_
_
e
1
t
0 ... 0
0 e
2
t
... 0
.
.
0 0 ... e
nt
_
_
S
1
84
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

Observacoes:
Como consequencia dos teoremas anteriores, dado que a matriz e
At
e uma matriz
solucao fundamental da equacao

Y = AY, a sua solucao e da forma Y(t) = e
At
C,
com C R
n
. Atendendo a que e
At
= Se
t
S
1
, entao
Y(t) = Se
t
S
1
C Se
t
C
1
pelo que a matriz S(t) = Se
t
e tambem uma matriz solucao fundamental associada
à equacao. No entanto, a nao ser que a matriz S seja a matriz identidade, S(t) nao e
a matriz e
At
, visto que S(0) nao e a matriz identidade.
Dada qualquer matriz A, a matriz e
At
e a unica matriz solucao fundamental associada
à equacao

Y = AY, S(t), que verica S(0) = I.
Conhecida qualquer matriz solucao fundamental, S(t), associada à equacao

Y = AY,
tem-se que
e
At
= S(t)S
1
(0)
Exemplo 1
Determinar a solucao do seguinte PVI:
_
x
= x +y
y
= 3x y
,
_
x(0)
y(0)
_
=
_
0
1
_
Podemos escrever a equacao na forma matricial
Y
= AY
_
x(t)
y(t)
_
=
_
1 1
3 1
_ _
x(t)
y(t)
_
e ja sabemos que a solucao do PVI e dada por
Y(t) = e
At
Y(0)
_
x(t)
y(t)
_
= e
At
_
0
1
_
Calculo de e
At
Os valores pr oprios da matriz A sao 2 (pelo que podemos concluir desde ja que a matriz
A e diagonalizavel).
O vector pr orpio associado ao valor pr oprio
1
= 2 e uma solucao nao nula da equacao
(A 2I)v = 0
_
1 1
3 3
_ _
a
b
_
= 0 a = b
pelo que podemos escolher, por exemplo v
1
= (1, 1).
O vector pr oprio associado ao valor pr oprio
2
= 2 e uma solucao nao nula da equacao
(A+ 2I)v = 0
_
3 1
3 1
_ _
a
b
_
= 0 b = 3a
85
CAP
ITULO 2. EQUAC

ARIAS
pelo que podemos escolher, por exemplo v
2
= (1, 3). Assim teremos
A = SS
1
=
_
1 1
1 3
_ _
2 0
0 2
_
S
1
pelo que
e
At
= Se
t
S
1
=
1
4
_
1 1
1 3
_ _
e
2t
0
0 e
2t
_ _
3 1
1 1
_
=
1
4
_
3e
2t
+e
2t
e
2t
e
2t
3e
2t
3e
2t
e
2t
+ 3e
2t
_
Calculada a matriz e
At
, a solucao do PVI e
Y(t) = e
At
Y(0)
_
x(t)
y(t)
_
=
1
4
_
3e
2t
+e
2t
e
2t
e
2t
3e
2t
3e
2t
e
2t
+ 3e
2t
_ _
0
1
_
=
1
4
_
e
2t
e
2t
e
2t
+ 3e
2t
_
Tal como foi observado, a matriz
Se
t
=
_
1 1
1 3
_ _
e
2t
0
0 e
2t
_
=
_
e
2t
e
2t
e
2t
3e
2t
_
e tambem uma matriz solucao fundamental, pelo que poderamos escrever a solucao geral
da equacao
_
x(t)
y(t)
_
=
_
e
2t
e
2t
e
2t
3e
2t
_ _
c
1
c
2
_
e à posteriori calcular as constantes c
1
, c
2
de modo a que seja vericada a condi cao inicial (o
que na pratica corresponde a determinar a matriz S
1
e multiplica-la pela condi cao inicial).
A e uma matriz nao diagonalizavel:
A matriz A (nn) diz-se nao diagonalizavel, se A nao admite n vectores pr oprios linearmente
independentes. Neste caso, A nao e semelhante a uma matriz diagonal, isto e, nao existem
uma matriz diagonal e uma matriz nao singular S tais que A = SS
1
.
Para determinar a matriz e
At
, vamos precisar de algumas denicoes e resultados parciais.
Matriz Diagonal por Blocos
Uma matriz n n, e diagonal por blocos, se for da forma
A =
_
_
A
1
0 0
0 A
2
0
.
.
0 0 A
k
_
_
(2.14)
em que A
1
,...,A
k
sao matrizes quadradas de dimensoes m
1
m
1
,..., m
k
m
k
, res-
pectivamente, tendo-se m
1
+... +m
k
= n.
Exemplo:
86
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

A matriz
A =
_
_
1 0 0 0 0 0
0 1 2 0 0 0
0 2 3 0 0 0
0 0 0 1 3 0
0 0 0 3 2 1
0 0 0 1 1 1
_
_
e uma matriz diagonal por blocos A
1
, A
2
, A
3
, em que
A
1
=
_
1
, A
2
=
_
1 2
2 3
_
, A
3
=
_
_
1 3 0
3 2 1
1 1 1
_
_
Exponencial de uma matriz diaginal por blocos
Se A e diagonal por blocos, como em (2.14), entao
e
At
=
_
_
e
A
1
t
0 0
0 e
A
2
t
0
.
.
0 0 e
A
k
t
_
_
Bloco de Jordan
Uma matriz k k di-se um bloco de Jordan se for da forma
J
k
=
_
_
1 0 0
0 1 0
. .
. .
0 1
0 0
_
_
Exemplo:
J
2
1
=
_
1 1
0 1
_
; J
3
2
=
_
_
2 1 0
0 2 1
0 0 2
_
_
; J
4
0
=
_
_
0 1 0 0
0 0 1 0
0 0 0 1
0 0 0 0
_
_
87
CAP
ITULO 2. EQUAC

ARIAS
Exponencial de um Bloco de Jordan
Se J
e um bloco de Jordan de dimensao k k, entao

e
J
t
=
_
_
e
t
te
t t
2
2!
e
t
. . . .
t
k1
(k1)!
e
t
0 e
t
te
t t
2
2!
e
t
. . .
t
k2
(k2)!
e
t
. . . . . .
. . . . .
0 e
t
te
t t
2
2!
e
t
0 e
t
te
t
0 0 0 e
t
_
_
isto e, os elementos a
ij
, i, j = 1, ..., k da matriz e
J
t
sao da forma:
a
ij
=
_
_
e
t
se i = j (diagonal principal)
te
t
se i + 1 = j (diagonal acima da principal)
t
2
2!
e
t
se i = j + 2 (2
a
diagonal acima da principal)

.
.
.
t
k1
(k1)!
e
t
se i +k 1 = j ((k 1) esima diagonal acima da principal)
0 se i < j (abaixo da diagonal principal)
Exemplo:
Para os blocos de Jordan do exemplo anterior tem-se que
exp
_
J
2
1
t
_
= e
t
_
1 t
0 1
_
; exp
_
J
3
2
t
_
= e
2t
_
_
1 t
t
2
2
0 1 t
0 0 1
_
_
; exp
_
J
4
0
t
_
=
_
_
1 t
t
2
2
t
3
3!
0 1 t
t
2
2
0 0 1 t
0 0 0 1
_
_
Exponencial de uma matriz nao diagonalizavel
Seja A uma matriz, n n, nao diagonalizavel. Demonstra-se que,
se A e nao diagonalizavel entao A = SJS
1
em que J e uma matriz diagonal por blocos de Jordan, isto e
J =
_
_
_
_
_
_
J
m
1
1
0 0
0 J
m
2
2
0
.
.
0 0 J
m
k
k
_
_
_
_
_
_
88
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

em que
1
, . . . ,
k
sao valores pr oprios de A com multiplicidades algebricas m
1
, . . . , m
k
, respecti-
vamente, (multiplicidade enquanto razes do polin omio caracterstico) e multiplicidade geometrica
1 (cada valor pr oprio
1
, . . .
k
tem um unico vector pr oprio associado v
1
, . . . , v
k
, respectivamente)
4
.
A matriz S e tambem formada por k blocos de colunas
S =
_
_
| . . . |
S
1
. . . S
k
| . . . |
_
_
em que, para i = 1, ..., k
S
i
=
_
_
| | . . |
v
i
v
G
1
i
. . v
G
m
i
1
i
| | . . |
_
_
sendo v
i
o vector pr oprio associado ao valor pr oprio
i
, e v
G
j
i
, j = 1, ..., m
i
1, vectores pr oprios
generalizados, i.e., vericando as equacoes
(A
i
I)v
G
1
i
= v
i
(A
i
I)v
G
2
i
= v
G
1
i
(A
i
I)v
G
3
i
= v
G
2
i
. . .
ate se calcularem m
i
1 vectores pr oprios generalizados.
Exemplo:
Determinar e
At
sendo
A =
_
_
2 0 1
0 3 1
0 1 1
_
_
Dado que a matriz nao e nem diagonal, nem um bloco de Jordan (ou am) nem diagonal por
blocos, teremos que determinar e
At
pelo processo usual de calculo de valores e vectores pr oprios.
Os valores pr oprios de A sao as solucoes de
det(A I) = 0 ( + 2)
3
= 0
Tem-se entao que 2 e o valor pr oprio de A com multiplicidade algebrica 3. Note-se que so depois
de calcular a sua multiplicidade geometrica (n umero de vectores pr oprios linearmente independen-
tes associado a 2) poderemos concluir se A e diagonalizavel (se a mult. geom. for = 3) ou nao
diagonalizavel (se a mult. geom. for = 2 ou = 1). Os vectores pr oprios associados a 2 sao as
solucoes nao nulas de
(A + 2I)v = 0
_
_
0 0 1
0 1 1
0 1 1
_
_
_
_
a
b
c
_
_
=
_
_
0
0
0
_
_

_
b = c = 0
a R
4
A lista de valores pr oprios, 1, . . .
k
, pode conter repeticoes. Nesse caso se, por exemplo, 2 = 1 (e j = 1,
para j 3) entao 1 tem dois vectores pr oprios associados linearmente independentes, v1 e v2 (multiplicidade
geometrica igual a 2) e m1 + m2 e a multiplicidade algebrica de 1.
89
CAP
ITULO 2. EQUAC

ARIAS
Entao
v = (a, b, c) = (a, 0, 0) = a(1, 0, 0)
Conclui-se que a multiplicidade geometrica do valor pr oprio e 1, ou seja admite apenas um vector
pr oprio independente, que por exemplo pode ser v = (1, 0, 0). Sendo assim a matriz A e nao
diagonalizavel, pelo que e semelhante a uma matriz formada por um unico bloco de Jordan, ou
seja:
A = SJS
1
em que
J =
_
_
2 1 0
0 2 1
0 0 2
_
_
e S =
_
_
1 | |
0 v
1
v
2
0 | |
_
_
sendo v
1
e v
2
vectores pr oprios generalizados de v. O primeiro vector pr oprio generalizado e
solucao nao nula de
(A + 2I)v
1
= v
_
_
0 0 1
0 1 1
0 1 1
_
_
_
_
a
b
c
_
_
=
_
_
1
0
0
_
_

_
_
_
c = 1
b = 1
a R
Entao
v
1
= (a, b, c) = (a, 1, 1) = a(1, 0, 0) + (0. 1, 1)
Podemos entao escolher, por exemplo, v
1
= (0. 1, 1). O segundo vector pr oprio generalizado e
solucao nao nula de
(A + 2I)v
2
= v
1

_
_
0 0 1
0 1 1
0 1 1
_
_
_
_
a
b
c
_
_
=
_
_
0
1
1
_
_

_
_
_
c = 0
b = 1
a R
Entao
v
1
= (a, b, c) = (a, 1, 0) = a(1, 0, 0) + (0.1, 0)
Podemos entao escolher, por exemplo, v
2
= (0.1, 0). Em consequencia
S =
_
_
1 0 0
0 1 1
0 1 0
_
_
Por ser um bloco de Jordan tem-se que
e
Jt
= e
2t
_
_
1 t
t
2
2
0 1 t
0 0 1
_
_
e nalmente
e
At
= Se
Jt
S
1
= e
2t
_
_
1
t
2
2
t +
t
2
2
0 t + 1 t
0 t t + 1
_
_
90
2.4. EQUAC

OES VECTORIAIS DE 1
A
ORDEM (OU SISTEMAS)

Caso Nao Homogeneo
Vamos agora resolver a equacao
Y
(t) = AY(t) +b(t) (2.15)

com Y R
n
, A =
_
a
ij
_
n
i,j=1
, a
ij
R e b : I R R
n
.
Formula da Variacao das Constantes:
(Existencia e unicidade de solucao de uma equacao vectorial linear de coecientes constantes)
A solucao geral da equacao (2.15) e dada por
Y(t) = e
At
C +e
At
_
t
e
As
b(s) ds , C R
n
Se adicionalmente e dada a condi cao inicial Y(t
0
) = Y
0
, a solucao do PVI e dada por
Y(t) = e
A(tt
0
)
Y
0
+e
At
_
t
t
0
e
As
b(s) ds
para todo t I.
Exemplo:
Determinar a solucao do PVI
Y
= AY +b(t) , Y(0) = (1. 1.0)

em que
A =
_
_
2 0 1
0 3 1
0 1 1
_
_
, b(t) =
_
_
1
0
2e
2t
_
_
Tal como calculamos no exemplo anterior
e
At
= e
2t
_
_
1
t
2
2
t +
t
2
2
0 t + 1 t
0 t t + 1
_
_
91
CAP
ITULO 2. EQUAC

ARIAS
e aplicando a formula da varia cao das constantes a solucao do PVI e dada por
Y(t) = e
At
_
_
1
1
0
_
_
+e
At
_
t
0
e
As
_
_
1
0
2e
2t
_
_
ds
= e
2t
_
_
1
t
2
2
t +
t
2
2
0 t + 1 t
0 t t + 1
_
_
_
_
_
1
1
0
_
_
+
_
t
0
e
2s
_
_
1
s
2
2
s +
s
2
2
0 s + 1 s
0 s s + 1
_
_
_
_
1
0
2e
2t
_
_
ds
_
= e
2t
_
_
1
t
2
2
t +
t
2
2
0 t + 1 t
0 t t + 1
_
_
_
_
_
1
1
0
_
_
+
_
_
e
2t
1
2
t
2
+
t
3
3
t
2
t
2
+ 2t
_
_
_
= e
2t
_
_
e
2t
+11
2
+
t
2
2
+
t
3
3
t
4
t
2
+t + 1
2t
_
_
2.4.3 Equacoes vectoriais Lineares Caso Nao Homogeneo
Considere-se a equacao
Y
= A(t)Y +b(t) ,
com Y R
n
, A =
_
a
ij(t)
_
n
i,j=1
, a
ij
: I R R contnuas e b : I R R
n
contnua. No
caso de ser conhecida uma matriz solucao fundamental (isto e uma matriz S(t) cujas colunas sao
linearmente independentes e solucoes da equacao homogenea associada), entao e tambem valida
a F ormula da varia cao das constantes, ou seja a solucao geral da equacao e dada por
Y(t) = S(t)C +b(t)
_
t
S
1
(s)b(s) ds , C R
n
Se adicionalmente e dada a condi cao inicial Y(t
0
) = Y
0
, a solucao do PVI e dada por
Y(t) = S(t)S
1
(t
0
) +S(t)
_
t
t
0
S
1
(s)b(s)ds
2.5 Equacoes Lineares de Coecientes Constantes de ordem n > 1:
Uma equacao de ordem n N diz-se linear de coecientes constantes, se puder ser escrita na
forma
y
(n)
+a
n1
y
(n1)
+... +a
1
y
+a
0
y = h(t) (2.16)
em que a
0
, a
1
,..., a
n
sao constantes reais, e b : I R R uma fun cao contnua em I. Usando
a notacao Dy = y
(e consequentemente D
2
y = y
, ..., D
n
= y
(n)
), a equacao pode ser escrita
na forma
_
D
n
+a
n1
D
n1
+... +a
1
D +a
0
_
y = h(t)
e denindo P(D) = D
n
+ a
n1
D
n1
+ ... + a
1
D + a
0
, a equacao pode ser escrita na forma
abreviada
P(D)y = h(t)
92
2.5. EQUAC

OES LINEARES DE COEFICIENTES CONSTANTES DE ORDEM N > 1:
E preciso notar que P(D) e um operador, isto e, uma fun cao cujo domnio e um conjunto de
fun coes de classe C
n
, sendo n o grau de P. O termo P(D) designa um polin omio diferencial
e em consequencia da linearidade da derivada, demonstra-se que pode ser factorizado da mesma
forma que um polin omio numerico. Por exemplo, se y e uma fun cao de classe C
2
:
(D
2
4)y = (D 2)(D + 2)y = (D + 2)(D 2)y
Por ser uma equacao linear, a solucao geral de (2.16) e da forma
y(t) = y
G
(t) +y
P
(t)
em que, y
G
(t) e a solucao geral da equacao homogenea associada, i.e., y
G
(t) e solucao da equacao
P(D)y = 0, e y
P
(t) e uma solucao particular de P(D)y = b(t).
2.5.1 Calculo da Solu cao Geral da Equacao Homogenea
A equacao escalar de ordem n, P(D)y = 0, pode ser escrita na forma de uma equacao vectorial
de ordem 1 em R
n
da forma que em seguida se descreve. Considera-se
X = (x
0
, x
1
, ..., x
n1
)
def
= (y, y
, ..., y
(n1)
)
E assim
X
= (x
0
, x
1
, ..., x
n1
) = (y
, y
, ..., y
(n)
) = (x
2
, x
3
, . . . , x
n1
, a
0
x
0
a
1
x
1
... a
n1
x
n1
)
onde se utilizou o facto de pela equacao diferencial
y
(n)
= a
0
y a
1
y
... a
n1
y
(n1)
Entao
_
_
x
0
x
1
.
.
.
x
n2
x
n1
_
=
_
_
0 1 0 . . . 0
0 0 1 . . . 0
. . . . . . .
. . . . . . .
. . . . . . .
0 0 0 . . . 1
a
0
a
1
a
2
. . . a
n1
_
_
_
_
x
0
x
1
.
.
.
x
n2
x
n1
_
_
A matriz
A =
_
_
0 1 0 . . . 0
0 0 1 . . . 0
. . . . . . .
. . . . . . .
. . . . . . .
0 0 0 . . . 1
a
0
a
1
a
2
. . . a
n1
_
_
e denominada matriz companheira da equacao
y
(n)
+a
n1
y
(n1)
+... +a
1
y
+a
0
y = 0
93
CAP
ITULO 2. EQUAC

ARIAS
Pela teoria das equacoes vectoriais lineares, o espa co de solucoes da equacao X
= AX, tem
dimensao n, pelo que existem n fun c oes vectoriais linearmente independentes X
1
, ..., X
n
(que
sao as colunas de uma matriz solucao fundamental) e como tal a solucao geral de X
= AX e da
forma
X(t) = c
1
X
1
+... +c
n
X
n
, c
1
, ...c
n
R
ou seja
_
_
y
y
.
.
.
y
(n1)
_
_
= c
1
_
_
x
1
0
x
1
1
.
.
.
x
1
n1
_
_
+... +c
n
_
_
x
n
0
x
n
1
.
.
.
x
n
n1
_
_
Dado que para escrever a solucao da equacao P(D)y) = 0 apenas precisamos de conhecer y,
entao a solucao geral da equacao homogenea P(d)y = 0 e uma combina cao linear das primeiras
componentes das fun coes vectoriais X
1
, ..., X
n
.
Podemos entao concluir que o espa co das solucoes da equacao
P(D)y = 0 (2.17)
tem dimensao n, e como tal, a sua solucao geral e da forma
y(t) =
1
y
1
+... +
n
y
n
em que
1
, ... ,
n
sao constantes reais, e y
1
,..., y
n
sao n solucoes linearmente independentes da
equacao.
Calculo das solu coes y
1
,...,y
n
Dada a equacao
y
(n)
+a
n1
y
(n1)
+... +a
1
y
+a
0
y = 0
_
D
n
+a
n1
D
n1
+... +a
1
D +a
0
_
y = 0
dene-se o seu polin omio caracterstico por
P(R) = R
n
+a
n1
R
n1
+... +a
1
R +a
0
Trata-se do polin omio real com os mesmos coecientes do polin omio diferencial associado à
equacao diferencial. Tem-se entao que, se
1
, ...,
k
sao razes distintas do polin omio caracterstico
(reais ou pares de complexos conjugados) de multiplicidades m
1
,...,m
k
, respectivamente, entao
por factoriza cao
P(R) = (R
1
)
m
1
...(R
k
)
m
k
A equacao (2.17) pode ser escrita na forma
(D
1
)
m
1
... (D
k
)
m
k
y = 0
pelo que (desde que os
j
sejam distintos uns dos outros)
(D
1
)
m
1
y = 0 ou ou (D
k
)
m
k
y = 0
Cada uma destas equacoes admitira m
j
(j = 1, ..., k) solucoes linearmente independentes, obtidas
do seguinte modo:
94
2.5. EQUAC

se
j
e uma raz real de multiplicidade m
j
de P(R), a equacao
(D
j
)
m
j
y = 0
admite m
j
solucoes linearmente independentes
e
j
t
, te
j
t
, , ..., t
m
j
1
e
j
t
Note que no caso de
j
ser complexo, as fun coes listadas acima tambem sao solucoes da
equacao. Neste caso, contudo, elas sao fun coes que tomam valores complexos quando t
e real. Ora, nao e pratico usar uma base complexa do espa co de solucoes da equacao
diferencial quando o objectivo e determinar solucoes reais de um problema de valor inicial
com dados reais.
se
j
= a
j
+ ib
j
e uma raz complexa de multiplicidade m
j
de P(R), atendendo a que
j
= a
j
ib
j
tambem e raiz de multiplicidade m
j
de P(R), entao a equacao
(D a
j
ib
j
)
m
j
(D a
j
+ib
j
)
m
j
y = 0
admite 2m
j
solucoes linearmente independentes
e
a
j
t
cos (b
j
t) , te
a
j
t
cos (b
j
t) , ... , t
m
j
1
e
a
j
t
cos (b
j
t)
e
a
j
t
sen (b
j
t) , te
a
j
t
sen (b
j
t) , ... , t
m
j
1
e
a
j
t
sen (b
j
t)
Estas solucoes sao a partir de combina coes lineares das solucoes complexas da forma t
k
e
t
,
onde k = 0, 1, ...m, com m a multiplicidade das raizes, = a ib, de P(R):
t
k
e
at
sen (bt) =
1
2i
t
k
e
at
_
e
ibt
e
ibt
_
=
1
2i
t
k
e
(a+ib)t
+
1
2i
t
k
e
(aib)t
t
k
e
at
cos (bt) =
1
2
t
k
e
at
_
e
ibt
+e
ibt
_
=
1
2
t
k
e
(a+ib)t
+
1
2
t
k
e
(aib)t
Utilizando estas solucoes obtem-se uma base do espa co de solucoes da equacao homogenea
formada apenas por fun coes que tomam valores reais quando t R.
Exemplo 1:
Determinar a solucao geral da equacao
y
+ 4y
+ 4y
= 0 (2.18)
Fazendo y
= Dy, a equacao pode ser escrita na forma

(D
3
+ 4D
2
+ 4D)y = 0 D(D + 2)
2
y = 0 Dy = 0 ou (D + 2)
2
y = 0
Uma solucao da equacao Dy = 0 e e
0t
. Por outro lado a equacao (D + 2)
2
y = 0 tem como
solucoes, por exemplo, e
2t
e te
2t
. Como tal a solucao geral de (2.18) e
y(t) = c
1
+c
2
e
2t
+c
3
te
2t
, c
1
, c
2
c
3
R
Exemplo 2:
95
CAP
ITULO 2. EQUAC

ARIAS
y
+ 2y
+ 2y = 0 (2.19)
Fazendo y
= DY , a equacao pode ser escrita na forma

(D
2
+ 2D + 2)y = 0 (D (1 +i))(D (1 i)))y = 0
As solucoes complexas da equacao sao e
(1+i)t
e e
(1i)t
, pelo que Re e
(1+i)t
e Ime
(1+i)t
serao
solucoes reais de (2.19). Assim, a solucao geral de (2.19) e
y(t) = c
1
e
t
cos t +c
2
e
t
sen t , c
1
, c
2
R
Exemplo 3:
y
+ 8y
+ 12y = 0 , y(0) = 3 , y
(0) = 14 (2.20)
Comecemos por determinar a solucao geral da equacao. Fazendo y
= Dy, a equacao pode ser

escrita na forma
(D
2
+ 8D + 12)y = 0 (D + 2)(D + 6)y = 0 (D + 6)y = 0 ou (D + 2)y = 0
Uma solucao da equacao (D+6)y = 0 e e
6t
. Por outro lado a equacao (D+2)y = 0 tem como
solucao e
2t
. Como tal a solucao geral da equacao e dada por
y(t) = c
1
e
6t
+c
2
e
2t
, c
1
, c
2
R
Para que as condi coes iniciais se veriquem
_
y(0) = 3
y
(0) = 14

_
c
1
+c
2
= 3
6c
1
2c
2
= 14

_
c
1
= 2
c
2
= 1
Finalmente a solucao de (2.20) e
y(t) = 2e
6t
+e
2t
2.5.2 Calculo de uma Solu cao Particular da Equacao
Para calcular uma solucao particular, y
P
(t), da equacao
P(D)y = h(t) (2.21)
vamos introduzir dois metodos.
96
2.5. EQUAC

Formula da Variacao das Constantes
Este metodo e aplicavel em todos os casos em que h(t) e uma fun cao contnua. A equacao pode
ser escrita na forma de uma equacao vectorial de ordem 1
d
dt
_
_
y
y
.
.
.
y
(n1)
_
_
= A
_
_
y
y
.
.
.
y
(n1)
_
_
+
_
_
0
0
0
.
.
.
h(t)
_
_
(2.22)
em que
A =
_
_
0 1 0 ... 0
0 0 1 .... 0
...
0 0 0 ... 1
a
0
a
1
a
2
... a
n1
_
_
e a ja referida matriz companheira da equacao (2.21). Sendo y
1
,...,y
n
solucoes linearmente
independentes da equacao homogenea associada (determinadas na Sec cao 2.4.1), dene-se a
matriz Wronskiana como sendo
W(t) =
_
_
y
1
... y
n
y
1
... y
n
. ... .
. ... .
y
(n1)
1
... y
(n1)
n
_
_
Como as colunas da matriz W(t) sao solucoes da equacao homogenea associada a (2.22), a matriz
W(t) e uma matriz solucao fundamental da equacao vectorial (2.22) pelo que, por aplicacao da
formula da varia cao das constantes para equacoes vectoriais, tem-se que uma solucao particular
de (2.22) sera dada por
_
_
y
y
.
.
.
y
(n1)
_
_
= W(t)
_
t
W
1
(s)
_
_
0
0
0
.
.
.
h(s)
_
_
ds ,
tendo-se entao que:
y
P
(t) =
_
y
1
(t) ... y
n
(t)
_
t
W
1
(s)
_
_
0
.
.
0
h(s)
_
_
ds
97
CAP
ITULO 2. EQUAC

ARIAS
Exemplo:
y
+ 2y
+ 2y = 2e
t
(2.23)
A solucao geral da equacao e da forma
y(t) = y
G
(t) +y
P
(t)
em que y
G
e a solucao geral da equacao homogenea associada, e y
P
e uma solucao particular de
(2.23).
Calculo de y
G
Como foi referido, y
G
e a solucao de
y
+ 2y
+ 2y = 0
e como tal a sua solucao geral e (determinada no Exemplo 2)
y
G
(t) = c
1
e
t
cos t +c
2
e
t
sen t , c
1
, c
2
R
Calculo de y
P
Para determinar y
P
vamos utilizar a formula da varia cao das constantes. Come camos por
observar que e
t
cos t e e
t
sen t sao solucoes da equacao homogenea, e como tal uma matriz
Wronskiana e dada por:
W(t) =
_
e
t
cos t e
t
sen t
(e
t
cos t)
(e
t
sen t)
_
=
_
e
t
cos t e
t
sen t
e
t
(cos t + sen t) (e
t
(sen t + cos t)
_
Assim
y
P
(t) =
_
e
t
cos t e
t
sen t
_
W
1
(t)
_
0
2e
t
_
= 2e
t
Finalmente a solucao geral de (2.23) e
y(t) = c
1
e
t
cos t +c
2
e
t
sen t + 2e
t
, c
1
, c
2
R
Metodo dos Coecientes Indeterminados
Aplicavel apenas nos casos em que h(t) e uma fun cao da forma
t
p
e
t
ou t
p
e
at
cos (bt) ou t
p
e
at
sen (bt) , p 0 (2.24)
ou suas combina coes lineares.
Dada uma fun cao f(t), dene-se polin omio aniquilador de f ao polin omio diferencial P
A
(D)
que verica
P
A
(D)f = 0
Se f(t) e uma combina cao linear de fun coes do tipo das em (2.24), entao existe um polin omio
aniquilador, e, pela seccao 2.4.1, concluimos que
98
2.5. EQUAC

se b(t) = t
p
e
t
, entao o seu polin omio aniquilador e
P
A
(D) = (D )
p+1
se b(t) = t
p
e
at
cos (bt) ou b(t) = t
p
e
at
sen (bt), entao o seu polin omio aniquilador e da forma
P
(
D) = (D (a +ib))
p+1
(D (a ib))
p+1
= ((D a)
2
+b
2
)
p+1
y
O metodo dos coecientes indeterminados para resolver a equa cao P(D)y = b(t) consiste em:
1. Determinar o polin omio aniquilador, P
A
(D), de b(t). Seja k o seu grau.
2. Aplicar P
A
(D) a ambos os membros da equacao inicial, donde resulta:
P(D)y = h(t) P
A
(D)P(D)y = P
A
(D)h(t) P
A
(D)P(D)y = 0
Note que a aplicacao de P
A
(D) nao produz uma equacao equivalente à inicial. Embora
qualquer solucao de P(D)y = h(t) seja solucao de P
A
(D)P(D)y = 0, nem todas as
solucoes da segunda equacao resolvem a primeira.
Assim obtivemos uma equacao diferencial linear homogenea de coecientes constantes de
ordem n +k.
3. A solucao geral da equacao P
A
(D)P(D)y = 0 e dada por
y(t) =
1
y
1
+... +
n
y
n
+
1
w
1
+... +
p
w
p
em que y
1
, ..., y
n
sao as solucoes linearmente independentes da equacao P(D)y = 0
determinadas previamente, ou seja:
y
G
(t) =
1
y
1
+... +
n
y
n
Tem-se entao que existem
1
, ...,
k
R tais que
y
P
=
1
w
1
+... +
p
w
p
e uma solucao particular de P(D)y = b.
4. Determinam-se os coecientes
1
, ...,
p
de modo a que w =
1
w
1
+ ... +
p
w
p
verique
P(D)w = b.
Exemplo:
y
+ 3y
+ 2y = e
x
, y(0) = 0 , y
(0) = 1 (2.25)
A solucao da equacao diferencial e da forma
y(x) = y
G
(x) +y
P
(x)
em que y
G
e a solucao geral da equacao homogenea associada, e y
P
e uma solucao particular da
equacao completa.
99
CAP
ITULO 2. EQUAC

ARIAS
Calculo de y
g
A equcao homogenea associada e
y
+ 3y
+ 2y = 0
Fazendo y
= Dy, obtem-se
(D
2
+3D+2)y = 0 (D+1)(D+2)y = 0 (D+1)y = 0 ou (D+2)y = 0
Uma solucao da equacao (D+1)y = 0 e e
x
. Por outro lado a equacao (D+2)y = 0 tem
como solucao e
2x
. Como tal
y
G
(x) = c
1
e
x
+c
2
e
2x
, c
1
, c
2
R
Calculo de y
P
Dado que h(x) = e
x
, podemos utilizar o metododos coecientes indeterminados para
determinar a solucao particular y
P
. O polin omio aniquilador de h(x) e
P
A
(D) = D + 1
Assim, e utilizando a factoriza cao do polin omio caracterstico feito anteriormente:
(D + 1)(D + 2)y = e
x
(D + 1)(D + 1)(D + 2)y = (D + 1)e
x
Ou seja
(D + 1)
2
(D + 2)y = 0
Resolvendo a equacao homogenea obtem-se que
y(x) = c
1
e
x
+c
2
xe
x
+c
3
e
2x
Dado que c
1
e
x
+ c
3
e
2x
representa a solucao geral da equacao homogenea associada
a (2.25), conclui-se que a forma da solucao particular e w(x) = xe
x
. Seguidamente
teremos que determinar o valor da constante de modo a que w seja solucao da equacao
y
+ 3y
+ 2y = e
x
. Tem-se entao que
(xe
x
)
+ 3(xe
x
)
+ 2(xe
x
) = e
x
= 1
Conclui-se que
y
P
(x) = xe
x
Calculo da solucao geral de (2.25)
Como ja foi referido
y(x) = y
G
(x) +y
P
(x) = c
1
e
x
+c
2
e
2x
+xe
x
, c
1
, c
2
R
Calculo da solucao de (2.25)
Para que as condi coes iniciais se veriquem
_
y(0) = 0
y
(0) = 0

_
c
1
+c
2
= 0
c
1
2c
2
+ 1 = 1

_
c
1
= 0
c
2
= 0
Finalmente a solucao de (2.20) e
y(x) = xe
x
100
2.6. TRANSFORMADA DE LAPLACE
2.6 Transformada de Laplace
2.6.1 Denicao e Propriedades
Denicao da Transformada de Laplace
Seja f : [0, [R. Dene-se a Transformada de Laplace de f, como sendo a fun cao de variavel
complexa
L{f}(s) = F(s) =
_

0
e
st
f(t) dt (2.26)
Por vezes usa-se a notacao L{f(t)}(s) para representar L{f}(s), em situa coes em que se designa
a fun cao f pela formula que a dene.
Domnio da Transformada de Laplace
Se a fun cao f for seccionalmente contnua em qualquer [0, T], com T R
+
e vericar
|f(t)| Me
t
, t 0 (2.27)
para certas constantes M > 0 e R, entao a transformada de Laplace de f esta bem denida
no semi-plano complexo Re s > .
Demonstracao: Para qualquer t > 0 e s C tal que Re s > Re s < 0:
e
st
f(t)
e
(Re s)t
e
i(Ims)st
|f(t)| e
(Re s)t
Me
t
= Me
(Re s)t
Entao, para Re s > :
_

0
e
st
f(t) dt
_

0
Me
(Re s)t
dt = M lim
R
e
(Re s)t
Re s
R
0
=
M
Re s
Nota: Se f : [0, [ C, entao podemos denir a transformada de Laplace de f pela equacao

(2.26), e a mesma estara bem denida para Re s > , onde R
+
e obtido a partir da condi cao
de convergencia (2.27).
Exemplo:
Sendo f(t) = e
at
, a R, (ou a C) tem-se que
L{e
at
}(s) =
_

0
e
st
e
at
dt = lim
R
e
(as)t
a s
R
t=0
=
1
s a
, Re s > a
Como caso particular
L{1}(s) = L{e
0t
}(s) =
1
s
, Re s > 0
Fun cao de Heaviside
101
CAP
ITULO 2. EQUAC

ARIAS
Sendo c R, dene-se a fun cao de Heaviside (centrada em c) por
H
c
(t) =
_
0 se t < c
1 se t c
Se c = 0, escreve-se simplesmente H(t)
def
= H
0
(t). Para qualquer c R, H
c
(t) = H(t c).
Exemplo: (Transformada de Laplace da fun cao de Heaviside)
Se c 0
L{H
c
(t)}(s) =
_

0
H(t c)e
ts
dt =
_

c
e
ts
dt = lim
N
e
ts
s
N
0
=
e
cs
s
, Re s > 0
Propriedades Elementares da Transformada de Laplace:
Assumindo que as fun coes f e g admitem transformadas de Laplace bem denidas numa regiao
Re s > a (para algum a R):
(1) Linearidade
L{f +g}(s) = L{f}(s) +L{g}(s)
e para R
L{f}(s) = L{f}(s)
Em consequencia, para quaisquer , R
L{f +g} (s) = L{f}(s) +L{g}(s)
(2) Transla cao da Transformada de Laplace Para a R,
L{e
at
f(t)}(s) = L{f(t)}(s +a)
(3) Derivada da Transformada de Laplace Para n N
d
n
ds
n
_
L{f(t)}(s)
_
= (1)
n
L{t
n
f(t)}(s)
(4) Transformada de Laplace da Transla cao Para c R
+
,
L{H(t c)f(t c)}(s) = e
cs
L{f(t)}(s)
(5) Transformada de Laplace da Derivada
Se f admite derivada seccionalmente contnua em [0, [ e Re s > 0 entao:
L{f
(t)}(s) = f(0) +sL{f(t)}(s)

Entao, aplicando n N vezes a propriedade anterior, se f admite derivadas seccionalmente
contnuas ate à ordem n em [0, [:
L{f
(n)
(t)}(s) = f
(n1)
(0) sf
(n2)
(0)... s
n2
f
(0) s
n1
f(0) +s
n
L{f(t)}(s)
102
Demonstracao:
(1) A propriedade e verdadeira devido à linearidade dos integrais impr oprios.
(2) L{e
at
f(t)}(s) =
_

0
e
st
e
at
f(t) dt =
_

0
e
(s+a)t
f(t) dt = L{f(t)}(s +a)
(3) Vamos provar o resultado por inducao. No caso n = 1:
d
ds
L{f(t)}(s) =
d
ds
_

0
e
st
f(t) dt =
_

0
d
ds
_
e
st
f(t)
_
dt =
_

0
e
st
(t)f(t) dt
= L{tf(t)}(s)
Admitindo que a propriedade e valida para n 1, entao (e usando o caso n = 1):
d
n
ds
n
L{f(t)}(s) =
d
ds
_
d
n1
ds
n1
L{f(t)}(s)
_
=
d
ds
_
(1)
n1
L{t
n1
f(t)}(s)
_
= (1)
n1
d
ds
L{t
n1
f(t)}(s) = (1)
n1
(1)L
_
t(t
n1
f(t))
_
(s)
= (1)
n
L{t
n
f(t))}(s)
(4) Como H(t c) = 0 para t [0, c]:
L{H(t c)f(t c)}(s) =
_

0
e
st
H(t c)f(t c) dt =
_

c
e
st
f(t c) dt
Fazendo = t c no ultimo integral, obtem-se:
L{H(t c)f(t c)}(s) =
_

0
e
s(+c)
f() d = e
cs
_

0
e
s
f() d = e
cs
L{f(t)}(s)
(5) Integrando por partes (e atendendo a que, por hip otese, Re s > 0):
L{f
(t)}(s) =
_

0
e
st
f
(t) dt = e
st
f(t)
0
+s
_

0
e
st
f(t) dt = f(0) +sL{f(t)}(s)
Exemplos
a) Para b R, e usando a linearidade da transformada de Laplace:
L{cos (bt)}(s) = L{
e
ibt
+e
ibt
2
}(s) =
1
2
_
1
s ib
+
1
s +ib
_
=
s
s
2
+b
2
, Re s > 0
L{sen (bt)}(s) = L{
e
ibt
e
ibt
2i
}(s) =
1
2i
_
1
s ib

1
s +ib
_
=
b
s
2
+b
2
, Re s > 0
103
CAP
ITULO 2. EQUAC

ARIAS
b) Para a e b R, e usando a propriedade da transla cao da tranformada de Laplace:
L{e
at
cos (bt)}(s) = L{cos (bt)}(s +a) =
s +a
(s +a)
2
+b
2
, Re s > a
L{e
at
sen (bt)}(s) = L{sen (bt)}(s +a) =
b
(s +a)
2
+b
2
, Re s > a
c) Se n N e a R, e usando a propriedade da derivada da transformada de Laplace:
L{t
n
e
at
}(s) = (1)
n
d
n
ds
n
_
L{e
at
}(s)
_
=
n!
(s a)
n+1
, Re s > a
Particularizando o resultado anterior para a = 0, obtem-se:
L{t
n
}(s) =
n!
s
n+1
, Re s > 0
d) Por aplicacao da propriedade da transformada de Laplace da transla cao, determinar f(t) tal
que L{f(t)}(s) =
e
2s
s
2
.
L{f(t)}(s) = e
2s
1
s
2
= e
2s
L{t}(s) = L
_
H(t 2)(t 2)
_
(s)
2.6.2 Aplicacoes da Transformada de Laplace às equacoes diferenciais
Vamos introduzir um metodo que permite resolver um problema de valor inicial para uma equacao
linear de ordem n, de coecientes constantes. Para tal, vamos usar a Transformada de Laplace
para obter a solucao de problemas de valor inicial do tipo:
_
_
_
y
n
+a
n1
y
(n1)
+... +a
1
y
+a
0
y = b(t)
y(0) = b
0
, y
(0) = b
1
, ..., y
(n1)
(0) = b
n1
(2.28)
1. Aplicar a Transformada de Laplace a ambos os membros da equacao diferencial do problema
(2.28):
L{y
n
+a
n1
y
(n1)
+... +a
1
y
+a
0
y}(s) = L{b(t)}(s)
2. Aplicando as propriedades da Transformada de Laplace, e com
Y (s) = L{y(t)}(s)
obtem-se
Y (s) =
1
P(s)
_
B(s) +Q(s)
_
onde P(s) e o polin omio caracterstico associado a (2.28), B(s) a transformada de Laplace
de b(t) e Q(s) um polin omio de grau menor ou igual que n1. Quando as condi coes iniciais
sao nulas, Q(s) = 0.
104
3. Finalmente, determinar a fun cao y(t) tal que
L{y(t)}(s) = Y (s).
Em consequencia:
y(t) = L
1
{Y (s)}(t)
Diz-se que y(t) e a transformada de Laplace inversa de Y (s). Utilizando este metodo,
obtem-se a solucao, y(t), do PVI (2.28).
Exemplo:
Determinar a solucao (para t 0) do problema de valor inicial:
y +y = b(t) , y(0) = y(0) = 0.
onde b(t) e denida pela expressao
b(t) =
_
t
2
se 0 t < 1
0 se t 1
=
_
1 H(t 1)
_
t
2
= t
2
H(t 1) t
2
Aplicando a Transformada de Laplace a ambos os membros da equacao diferencial, obtem-se
L{ y +y} (s) = L{b(t)} (s).
Pela propriedade da transformada de Laplace da transla cao:
L{b(t)} (s) = L
_
t
2
_
(s) L
_
H(t 1)t
2
_
(s) =
2
s
3
L
_
H(t 1)
_
(t 1) + 1)
_
2
_
(s)
=
2
s
3
e
s
L
_
(t + 1)
2
_
(s) =
2
s
3
e
s
L
_
t
2
+ 2t + 1
_
(s)
=
2
s
3
e
s
_
2
s
3
+
2
s
2
+
1
s
_
Por outro, usando a linearidade:
L{ y +y} (s) = L{ y} (s) +L{y} (s) =
2
s
3
e
s
_
2
s
3
+
2
s
2
+
1
s
_
Pela propriedade da transformada de Laplace da derivada,
y(0) sy(0) +s
2
L{y} (s) +L{y} (s) =
2
s
3
e
s
_
2
s
3
+
2
s
2
+
1
s
_
Usando a notacao Y (s) = L{y(t)} (s), e atendendo a que y(0) = y(0) = 0, tem-se entao:
(s
2
+ 1)Y (s) =
2
s
3
e
s
_
2
s
3
+
2
s
2
+
1
s
__
,
ou seja:
Y (s) =
1
s
2
+ 1
_
2
s
3
e
s
_
2
s
3
+
2
s
2
+
1
s
_
_
105
CAP
ITULO 2. EQUAC

ARIAS
Sejam F
1
(s) e F
2
(s) tais que:
Y (s) =
2
s
3
(s
2
+ 1)
. .
+ e
s
_
1
s
2
+ 1
_
2
s
3
+
2
s
2
+
1
s
_
_
. .
F
1
(s) F
2
(s)
Em F
1
(s), fazendo separacao em fraccoes simples e aplicando as propriedades da Transformada
de Laplace:
F
1
(s) =
2
s
+
0
s
2
+
2
s
3
+
2s + 0
s
2
+ 1
=
2
s
+
d
2
ds
2
1
s
+ 2
s
s
2
+ 1
= 2L{1}(s) +L{t
2
}(s) + 2L{cos t}(s)
= L{2 +t
2
+ 2cos t}(s)
Tratando F
2
(s) de forma similar:
F
2
(s) = e
s
_
1
s
+
2
s
2
+
2
s
3
+
s 2
s
2
+ 1
_
= e
s
_
1
s
2
d
ds
1
s
+ +
d
2
ds
2
1
s
+
s
s
2
+ 1
2
s 2
s
2
+ 1
_
= e
s
_
L{1} (s) + 2L{t} (s) +L
_
t
2
_
(s) +L{cos t} (s) 2L{sen t} (s)
_
= e
s
L
_
1 + 2t +t
2
+ cos t 2sen t
_
(s)
= L
_
H(t 1)
_
1 + 2(t 1) + (t 1)
2
+ cos (t 1) 2sen (t 1)
__
(s)
Conclui-se que
Y (s) = L
_
2 +t
2
+ 2cos t +H(t 1)
_
1 + 2(t 1) + (t 1)
2
+ cos (t 1) 2sen (t 1)
__
(s)
e assim a solucao do PVI e
y(t) = 2 +t
2
+ 2cos t +H(t 1)
_
1 + 2(t 1) + (t 1)
2
+ cos (t 1) 2sen (t 1)
_
=
_
_
_
2 +t
2
+ 2cos t se 0 t < 1
1 +t
2
+ 2cos t + 2(t 1) + (t 1)
2
+ cos (t 1) 2sen (t 1) se t 1
106
2.6.3 Distribuicao delta de Dirac
A delta de Dirac e a distribui cao que verica
(t) = 0 t R\ {0}
_

(x) dx = 1
Se f e contnua em t = 0 entao:
_

(t)f(t) dt = f(0)
Mais genericamente, podemos denir a distribui cao delta de Dirac centrada em um dado c R
por:
c
(t) = (t c)
A distribui cao
c
(t) verica, entao:
a)
c
(t) = 0.
b)
_

c
(t) dt = 1
c) Se f e contnua em c entao
_

c
(t)f(t) dt = f(c)
Desta forma:
L{
c
(t)} =
_

c
(t)e
st
dt = e
cs
.
Exemplo:
Determinar a solucao (para t 0) do problema de valor inicial:
y + 2 y +y = 2(t 2) , y(0) = y(0) = 0.
Aplicando a Transformada de Laplace a ambos os membros da equacao diferencial, obtem-se
L{ y +y} (s) = L{2(t)} (s) = 2e
2s
Usando a linearidade, a propriedade da transformada de Laplace da derivada e a notacao Y (s) =
L{y(t)} (s)
y(0) sy(0) +s
2
Y (s) + 2 (y(0) +sY (s)) +Y (s) = 2e
2s
,
o que e equivalente a
(s
2
+ 2s + 1)Y (s) = 2e
2s
,
ou seja
Y (s) = e
2s
2
(s + 1)
2
= e
2s
L
_
2te
t
_
(s) = L
_
2H(t 2)(t 2)e
(t2)
_
(s)
Consequentemente, a solucao do problema de valor inicial e:
y(t) = 2H(t 2)(t 2)e
(t2)
.
107
CAP
ITULO 2. EQUAC

ARIAS
2.6.4 Inversao da Transformada de Laplace
Teorema de Inversao da Transformada de Laplace
Seja F(s) uma fun cao analtica em C excepto num conjunto nito de singularidades (isoladas),
{s
1
, s
2
, . . . , s
n
} C. Seja R tal que F(s) e analtica no semi-plano Re s (isto e,
e maior que qualquer um dos valores Re s
1
, Re s
2
, . . . , Re s
n
). Suponhamos tambem que F(s)
verica, para certos M, R
+
:
|F(s)|
M
|s|
(2.29)
Entao
f(t) =
n
j=1
Res
_
e
st
F(s), s
j
_
satisfaz L{f(t)} (s) = F(s) para Re s > . Verica-se tambem que:
f(t) =
1
2i
_
+i
i
e
st
F(s) ds
Demonstracao: Seja R > || tal que todas as singularidades de F(s) estao no interior da
circunferencia |s| = R (isto e, |s
j
| < R, para j = 1, 2, . . . , n).
z1
z2
z3
zn1
zn
s
IR IR
Re s
Ims
+
n
+i
R
2
2
i
R
2
2
Figura 2.3: Demonstracao do teorema de inversao da transformada de Laplace.
Sejam
+
R
= {s C : |s| = R e Re s }
R
= {s C : |s| = R e Re s }
(em que a circunferencia e sempre percorrida no sentido directo) e I
R
o segmento que une os
extremos de ambas as curvas, com incio em i
R
2
2
e m em +i
R
2
2
. Considere-se
108
as curvas de Jordan:
+
R
=
+
R
+I
R
,
R
=
R
+ (I
R
)
Note que ambas as curvas sao percorridas no sentido directo.
Aplicando o teorema dos resduos à fun cao e
st
F(s), que e analtica em C \ {s
1
, s
2
, . . . , s
n
}
(considera-se t R como parametro):
_
R
e
st
F(s) ds = 2i
n
j=1
Res
_
e
st
F(s), s
j
_
= 2if(t) (2.30)
A transformada de Laplace de f (nos pontos s C onde o limite que dene o integral imp oprio
converge) sera entao dada por:
2i L{f(t)} (s) = lim
N
_
N
0
e
st
_
_
R
e
zt
F(z) dz
_
dt.
Pelo teorema de Fubini:
N
_
R
__
N
0
e
(zs)t
dt
_
F(z) dz = lim
N
_
R
e
(zs)N
1
z s
F(z) dz.
Para Re s > e notando que, para z
R
, Re z :
lim
N
e
(zs)N
lim
N
e
(Re s)N
= 0,
pelo que, para esses valores de s, o limite que dene L{f(t)} (s) existe e:
2i L{f(t)} (s) =
_
R
F(z)
z s
dz.
Por outro lado, aplicando a formula integral de Cauchy à curva
+
R
e à fun cao F (que e analtica
nessa curva e no seu interior):
2i L{f(t)} (s) =
_
R
F(z)
z s
dz
_
+
R
F(z)
z s
dz + 2i F(s)
. .
= 2i F(s)
_
|z|=R
F(z)
z s
dz.
= 0
Como:
_
|z|=R
F(z)
z s
dz
_
|z|=R
|F(z)|
|z s|
|dz|
M/R
R |s|
_
|z|=R
|dz| =
2RM
R
(R |s|)
0
quando R , conclumos que,
R
2i F(s)
_
|z|=R
F(z)
z s
dz = 2i F(s),
ou seja,
L{f(t)} (s) = F(s).
109
CAP
ITULO 2. EQUAC

ARIAS
Usando a equacao (2.30) e estimando o integral ao longo de
R
da mesma forma que anteri-
ormente, obtem-se
2if(t) = lim
R
_
_
I
R
e
st
F(s) ds +
_
R
e
st
F(s) ds
_
=
_
+i
i
e
st
F(s) ds.
Este teorema de inversao pode ser util quando F(s) e uma fun cao racional, isto e, F(s) =
P(s)
Q(s)
,
onde P(s) e Q(s) sao polin omios. Neste caso, e como vimos na subseccao 1.9.2, basta que o
grau de Q(s) seja maior que o de P(s) para a condi cao (2.29) seja satisfeita.
Exemplo:
Determinar a transformada de Laplace inversa de F(s) =
s + 1
s
2
+s 6
.
Como s
2
+ s 6 = (s + 3)(s 2), e
st
F(s) = e
st s+1
(s+3)(s2)
tem por singularidades s = 2 e
s = 3, sendo ambas polos simples. Note que o grau de s
2
+s 6 e maior que o de s 1. Pelo
teorema de inversao da transformada de Laplace:
L
1
{F(s)} = L
1
_
s + 1
(s + 3)(s 2)
_
= Res
_
e
st
F(s), 2
_
+ Res
_
e
st
F(s), 3
_
Os resduos dos polos simples sao:
Res
_
G(s), 2
_
= lim
s2
s + 1
s + 3
e
st
=
3
5
e
2t
Res
_
G(s), 3
_
= lim
s3
s + 1
s 2
e
st
=
2
5
e
3t
.
Assim sendo,
L
1
{F(s)} =
3
5
e
2t
+
2
5
e
3t
.
110
Captulo 3
Introducao às Equacoes Diferenciais Parciais
O objectivo de resolver uma equacao diferencial parcial e determinar uma fun cao u(x
1
, ..., x
n
) que
verica uma rela cao de igualdade envolvendo as suas derivadas (que serao derivadas parciais).
Centraremos o nosso estudo nas equacoes diferenciais parciais lineares de segunda ordem em
domnios (espaciais) rectangulares, em que as equacoes s ao ans aos tres tipos seguintes:
Equacao do Calor
u
t
= K
_
2
u
x
2
1
+... +

2
u
x
2
n
_
em que t > 0, x
1
[0, L
1
],..., x
n
[0, L
n
], e K > 0 e a condutividade termica do material.
Este tipo de equacoes esta associado a processos envolvendo condu cao termica e difusao
1
.
Equacao de Laplace
2
u
x
2
1
+... +

2
u
x
2
n
= 0
em que x
1
[0, L
1
],..., x
n
[0, L
n
]. Este tipo de equacoes esta associado a processos
estacionarios de condu cao termica e difusao, à electrostatica e ao movimento dos udos.
Equacao das Ondas
u
2
t
2
= c
2
_
2
u
x
2
1
+... +

2
u
x
2
n
_
em que t > 0, x
1
[0, L
1
],..., x
n
[0, L
n
], e c uma constante. Este tipo de equacoes esta
associado a processos envolvendo propaga cao de ondas.
Para resolver estas equacoes, necessitaremos de estabelecer
Condicoes de Fronteira
Que predenem o comportamento da fun cao u na fronteira de R = [0, L
1
] ... [0, L
1
], e
que poderao ser de varios tipos:
Condicoes de Dirichlet
se denem o valor de u na fronteira de R;
1
No caso de de tratar da equa cao de difusao,
u
t
= D
2
u
x
2
1
+ ... +

2
u
x
2
n
, D > 0 e o coeciente de difusao da

susbtancia.
111
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

OES DIFERENCIAIS PARCIAIS
Condicoes de Neumann
se denem o valor de
u
x
na fronteira de R (ou seja, denem o uxo de u na fronteira
de R);
Poderao ainda ser mistas se existirem condi coes dos dois tipos.
As condi coes de fronteira dizem-se homogeneas se forem nulas.
Condicoes Iniciais
que denem o estado inicial, isto e, para a equacao do calor
u(0, x
1
, ..., x
n
) = f(x
1
, ..., x
n
) , (x
1
, ..., x
n
) R
e para a equacao das ondas
_
u(0, x
1
, ..., x
n
) = f(x
1
, ..., x
n
)
u
t
(0, x
1
, ..., x
n
) = g(x
1
, ..., x
n
)
, (x
1
, ..., x
n
) R
3.1 Metodo de Separacao de Variaveis
Para descrever o metodo de separacao de variaveis, vamos aplica-lo ao problema de Dirichlet
homogeneo para a equacao do calor. A equacao do calor unidimensional modela a propaga cao de
calor (ou a difusao de uma substancia) atraves de um corpo unidimensional (por exemplo uma
barra) de comprimento L. A fun cao u(t, x) mede a temperatura da barra no ponto x no instante
t e verica a equacao do calor
u
t
= K
2
u
x
2
, t > 0 , x ]0, L[
sendo K > 0 a condutividade termica (ou o coeciente de difusao). Assumiremos condi coes de
fronteira de Dirichlet homogeneas, isto e
u(t, 0) = u(t, L) = 0 , t > 0
e a condi cao inicial
u(0, x) = f(x) , x ]0, L[
em que f e uma fun cao seccionalmente contnua e com derivada seccionalmente contnua denida
no intervalo [0, L].
Resolveremos entao o problema de valores na fronteira e inicial
_
_
u
t
= K
2
u
x
2
t > 0 , x ]0, L[
u(t, 0) = u(t, L) = 0 t > 0
u(0, x) = f(x) x ]0, L[
(3.1)
Comecamos por notar que se f(x) 0 entao a solucao de (3.1) e u(t, x) 0. Se f nao e
identicamente nula entao u tambem nao o sera.
112
3.1. M
ETODO DE SEPARAC

AO DE VARI
AVEIS
Vamos utilizar o metodo de separacao de variaveis para determinar solucoes do problema (3.1)
da forma
u(t, x) = T(t)X(x)
Pela observacao acima feita, nem T(t) nem X(x) poderao ser identicamente nulas. Substituindo
na equacao diferencial obtem-se
t
_
T(t)X(x)
_
= K

2
x
2
_
T(t)X(x)
_
T
(t)X(x) = KT(t)X
(x)
T
(t)
KT(t)
=
X
(x)
X(x)
Observe-se que, separadas as variaveis, pretende-se que para todos t > 0 e x ]0, L[ uma fun cao
de t (
T
(t)
KT(t)
) iguale uma fun cao de x (
X
(x)
X(x)
). Para que tal se verique e necessario que ambos
igualem uma constante, isto e, para R
T
(t)
KT(t)
= e
X
(x)
X(x)
=
Por outro lado, atendendo às condi coes de fronteira
u(t, 0) = 0 implica T(t)X(0) = 0 e como tal ou T(t) e a fun cao identicamente nula ou
X(0) = 0. Dado que a primeira hip otese nao pode ocorrer (implicaria u 0) tem-se que
X(0) = 0.
u(t, L) = 0 implica T(t)X(L) = 0 e como tal ou T(t) e a fun cao identicamente nula ou
X(L) = 0. Dado que a primeira hip otese nao pode ocorrer, tem-se que X(L) = 0.
E conveniente notar que, se nao exigssemos condi coes de fronteira nulas, o metodo de se-
paracao de variaveis falharia neste ponto. A razao e muito simples a lei do anulamento do
produto nao seria aplicavel.
Temos entao dois problemas para resolver - correspondentes a duas equacoes diferenciais
ordinarias
(P1)
_
X
X = 0
X(0) = X(L) = 0
, (P2) T
= KT
Comecamos por resolver o problema (P1). Trata-se duma equacao diferencial linear homogenea,
cuja solucao tem que vericar condi coes de fronteira nulas. Nesta situa cao, a fun cao nula e sempre
solucao de (P1). Existem no entanto alguns valores de para os quais essa nao e a unica solucao
de (P1).
Denicao: diz-se um valor pr oprio de (P1). associado à fun cao pr opria (x), sse (x) for
uma solucao nao nula de (P1).
Para continuar a nossa resolucao, teremos que encontrar os valores pr opios de (P1) a m de
determinar as suas solucoes nao nulas. Assim
X
X = 0 (D
2
)X = 0
Teremos entao tres casos possveis:
= 0 A equacao e D
2
X = 0 o que implica X(x) = Ax +B, A, B R;
> 0 ( =
2
) A equacao e (D)(D+)X = 0 o que implica X(x) = Ae
x
+Be
x
;
113
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

< 0 ( =
2
) A equacao e (D + i)(D i)X = 0 o que implica X(x) =
Asen (x) +Bcos (x);
Os casos = 0 e > 0, combinados com as condi coes de fronteira, produzem apenas a solucao
nula. Conclui-se que qualquer 0 nao e valor pr oprio de (P1). Para o caso < 0, tem-se que
X(0) = 0 B = 0
X(L) = 0 Asen (x) = 0
pelo que,
A = 0 X(x) 0
ou
sen (L) = 0 =
n
L
X(x) = sen
nx
L
, com n Z
Temos assim que =
2
=
n
2
2
L
2
e X(x) = sen
nx
L
, para n Z, sao os valores pr oprios
e as correspondentes fun coes pr oprias associadas. Note que para os ndices n inteiros negativos
repetem-se os valores pr oprios e as fun coes pr oprias (a menos de combina cao linear). Conclui-se
que qualquer que nao seja da forma
n
2
2
L
2
(para algum n N) nao e valor pr oprio de (P1), e
para cada n N, =
n
2
2
L
2
e valor pr oprio de (P1) associado à fun cao pr opria X
n
(x) = sen
nx
L
.
Para resolver o problema (P2), utilizaremos apenas os valores pr oprios de (P1), dado que
para outros valores de a unica solucao de (P1) e a nula. Assim, para cada n N
T
=
n
2
2
L
2
KT T
n
(t) = e
n
2
2
K
L
2
t
Resolvidos (P1) e (P2), podemos concluir que as solucao da equacao do calor unidimensional, da
forma u(t, x) = T(t)X(x), que vericam condi coes de fronteira de Dirichlet nulas sao as fun coes
da forma
u
n
(t, x) = T
n
(t)X
n
(x) = e
n
2
2
K
L
2
t
sen
nx
L
, , n N (3.2)
Princpio da Sobreposi cao
Qualquer combina cao linear de solucoes de equacoes diferenciais lineares homogeneas (in-
cluindo um n umero innito, se houver convergencia), vericando condi coes de fronteira ho-
mogeneas, e tambem solucao da equacao e verica as mesmas condi coes de fronteira.
Observa-se que, relativamente a sobreposi coes com um n umero innito de termos, sera ne-
cessario vericar adicionalmente que a serie obtida e uniformemente convergente em subconjuntos
compactos do domnio onde a equacao diferencial e satisfeita.
Entao, atendendo a (3.17)
u(t, x) =
n=1
c
n
u
n
(t, x) =
n=1
c
n
e
n
2
2
K
L
2
t
sen
nx
L
, , c
n
R
e solucao da equacao do calor unidimensional que verica condi coes de fronteira de Dirichlet nulas.
Para determinar as constantes c
n
teremos que utilizar a condi cao de fronteira u(0, x) = f(x).
Resulta entao que:
n=1
c
n
sen
nx
L
= f(x) (3.3)
114
3.2. S
ERIES DE FOURIER
3.2 Series de Fourier
Para qualquer L R
+
, considere-se uma fun cao f : [L, L] R. Pode-se associar a f a sua
Serie de Fourier, ou serie trigonometrica
SF
f
(x) =
a
0
2
+
n=1
_
a
n
cos (
nx
L
) +b
n
sen (
nx
L
)
_
em que
a
0
=
1
L
_
L
L
f(x) dx , a
n
=
1
L
_
L
L
f(x)cos (
nx
L
)dx
e
b
n
=
1
L
_
L
L
f(x)sen (
nx
L
)dx
Teorema: (convergencia pontual da serie de Fourier)
Se f : [L, L] R e uma fun cao seccionalmente contnua e de derivada seccionalmente
contnua em ] L, L[, entao para cada x [L, L], a serie de Fourier associada e uma serie
convergente, tendo-se que
SF
f
(x) =
_
_
f(x) sendo x um ponto de continuidade de f
f(x
+
) +f(x
)
2
sendo x um ponto de descontinuidade de f
f(L) +f(L)
2
sendo x = L ou x = L
(3.4)
Note-se que a serie de Fourier SF
f
esta bem denida em R, e periodica de perodo 2L e esta
relacionada, no sentido descrito em (3.4)) com a extensao periodica,

f, de f a R, isto e:
SF
f
(x) =
_
f(x
+
) +

f(x
)
2
sendo x um ponto de descontinuidade de

f
Exemplo:
Determinar a serie de Fourier da fun cao f : [1, 1] R denida por
f(x) =
_
se x [1, 0[
se x [0, 1]
A serie de Fourier associada a f sera
SF
f
(x) =
a
0
2
+
n=1
_
a
n
cos (nx) +b
n
sen (nx)
_
Atendendo a que a fun cao f e uma fun cao mpar, ter-se-a
a
0
=
_
1
1
f(x)dx = 0 e a
n
=
_
1
1
f(x)cos (nx)dx = 0 n N
115
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

Por outro lado
b
n
=
_
1
1
f(x)sen (nx)dx = 2
_
1
0
sen (nx)dx =
2
n
_
1 (1)
n
_
Concluimos que
SF
f
(x) =
n=1
2
n
_
1 (1)
n
_
sen (nx)
Atendendo a que, para n par, 1 (1)
n
= 0, os termos de ordem par da serie anterior sao nulos:
SF
f
(x) =
k=1
4
2k 1
sen
_
(2k 1)x
_
Dado que tanto f como f
sao fun coes seccionalmente contnuas em [1, 1] o teorema anterior

permite-nos concluir que SF
f
(x) esta bem denida para x [1, 1]. Pela periodicidade das
fun coes sen (nx), e facil de compreender que SF
f
esta bem denida para todo x R e que e
periodica de perodo 2. De seguida mostra-se alguna gracos das aproxima coes da serie de Fourier
da fun cao f, isto e, o graco de alguns termos da sucessao das somas parciais
S
N
f(x) =
N
k=1
4
2k 1
sen
_
(2k 1)x
_
(para alguns valores de N N).
Graco da fun cao (S
1
f)(x) = 4sen (x)
-0.9 -0.57 -0.24 0.09 0.42 0.75
5
4
3
2
1
0
1
2
3
4
5
Figura 3.1: Aproximacao N = 1
116
3.2. S
ERIES DE FOURIER
Graco da fun cao (S
2
f)(x) = 4sen (x) +
4
3
sen (3x)
-0.9 -0.57 -0.24 0.09 0.42 0.75
4
3
2
1
0
1
2
3
4
Graco da fun cao (S
3
f)(x) = 4sen (x) +
4
3
sen (3x) +
4
5
sen (5x)
-0.9 -0.57 -0.24 0.09 0.42 0.75
4
3
2
1
0
1
2
3
4
117
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

Graco da fun cao (S
5
f)(x) = 4sen (x) +
4
3
sen (3x) +
4
5
sen (5x) +
4
7
sen (7x) +
4
9
sen (9x)
-0.9 -0.68 -0.46 -0.24 -0.02 0.2 0.42 0.64 0.86
4
3
2
1
0
1
2
3
4
Graco da fun cao (S
12
f)(x) =
12
n=1
4
2n1
sen ((2n 1)x)
-0.9 -0.68 -0.46 -0.24 -0.02 0.2 0.42 0.64 0.86
4
3
2
1
0
1
2
3
4
Em [1, 1] a soma da serie de Fourier da fun cao f sera dada por:
SF
f
(x) =
_
_
_
se x ] 1, 0[
se x ]0, 1[
0 se x = 1 ou x = 0
(3.5)
118
3.2. S
ERIES DE FOURIER
Por ser uma fun cao periodica de perodo 2, em R a soma da serie de Fourier da fun cao f sera
dada pela extensao periodica de perodo 2 da fun cao denida em (3.5).
3.2.1 Serie de Fourier de Senos
Sendo L > 0 e f : [0, L] R uma fun cao seccionalmente contnua e de derivada seccionalmente
contnua em ]0, L[, pode-se associar a f a serie de senos
S
sen
f(x) =
n=1
b
n
sen (
nx
L
)
em que
b
n
=
2
L
_
L
0
f(x)sen (
nx
L
)dx
Esta serie e obtida, efectuando a extensao mpar de f ao intervalo [L, L], e calculando a sua
serie de Fourier. Observe-se que se uma dada fun cao g e mpar, os coecientes da serie de Fourier
vericam:
a
n
=
1
L
_
L
L
g(x)cos (
nx
L
)dx = 0 , n 0
b
n
=
1
L
_
L
L
g(x)sen (
nx
L
)dx =
2
L
_
L
0
g(x)sen (
nx
L
)dx
Pelo Teorema da convergencia pontual das series de Fourier e atendendo que se esta a utilizar a
extensao mpar de f a [L, L], conclui-se que para x [0, L]
S
sen
f(x) =
_
_
f(x
+
) +f(x
)
2
0 se x = L
0 se x = 0
Exemplo:
Determinar a serie de Fourier de senos da fun cao f : [0, 2] R denida por
f(x) =
_
1 x se x [0, 1[
0 se x [1, 2][
A serie de senos da fun cao f em [0, 2] sera da forma
S
sen
f(x) =
n=1
b
n
sen
nx
2
em que
b
n
=
_
2
0
f(x)sen
nx
2
dx =
_
1
0
(1 x)sen
nx
2
dx =
2
n

4
n
2
2
sen
n
2
119
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

Conclui-se que
S
sen
f(x) =
n=1
_
2
n

4
n
2
2
sen
n
2
_
sen
nx
2
Pelo Teorema da convergencia pontual das series de Fourier, tem-se que em [2, 2]
S
sen
f(x) =
_
_
_
f(x) se x ]0, 2]
0 se x = 0
f(x) se x [2, 0[
(3.6)
e em R a soma da serie de senos da fun cao f sera a extensao periodica de perodo 4, de (3.6) a
R.
3.2.2 Serie de Fourier de Cosenos
Sendo L > 0 e f : [0, L] R uma fun cao seccionalmente contnua e de derivada seccionalmente
contnua em ]0, L[, pode-se associar a f a serie de Cosenos
S
cos
f(x) =
a
0
2
+
n=1
a
n
cos (
nx
L
)
em que
a
0
=
2
L
_
L
0
f(x)dx , a
n
=
2
L
_
L
0
f(x)cos (
nx
L
)dx
Esta serie e obtida, efectuando a extensao par de f ao intervalo [L, L], e calculando a sua
serie de Fourier. Observe-se que se uma dada fun cao g e par os coecientes da serie de Fourier
vericam:
a
0
=
1
L
_
L
L
g(x)dx =
2
L
_
L
0
g(x)dx
a
n
=
1
L
_
L
L
g(x)cos (
nx
L
)dx =
2
L
_
L
0
g(x)cos (
nx
L
)dx
b
n
=
1
L
_
L
L
g(x)sen (
nx
L
)dx = 0 n 0
Pelo Teorema da convergencia pontual das series de Fourier e atendendo que se esta a utilizar a
extensao par de f a [L, L], conclui-se que para x [0, L]
S
cos
f(x) =
_
_
f(x
+
) +f(x
)
2
f(L) se x = L
f(0) se x = 0
120
3.3. PROBLEMA DE DIRICHLET HOMOG
ENEO PARA A EQUAC

AO DO CALOR
UNIDIMENSIONAL
Exemplo: Determinar a serie de Fourier senos da fun cao g : [0, ] R denida por
g(x) =
_
0 se x [0,

4
[
1 se x [
4
, ]
A serie de cosenos da fun cao g em [0, ] sera da forma
S
cos
g(x) =
a
0
2
+
n=1
a
n
cos (nx)
em que
a
0
=
2
_

0
g(x)dx =
2
4
dx =
3
2
e para n N
a
n
=
2
_

0
g(x)cos (nx)dx =
2
4
cos (nx)dx =
2
n
sen
n
4
Conclui-se que
S
cos
g(x) =
3
4

n=1
2
n
sen
n
4
cos (nx)
Pelo Teorema da convergencia das series de Fourier, tem-se que em [, ]
S
cos
g(x) =
_
_
_
0 se x ]

4
,

4
[
1 se x [,
4
[]
4
, ]
1/2 se x =
4
(3.7)
e em R a soma da serie de cosenos da fun cao g sera a extensao periodica de perodo 2, de (3.7)
a R.
3.3 Problema de Dirichlet Homogeneo para a Equacao do Calor
Unidimensional
Vamos resolver o problena de valores na fonteira e inicial
_
_
u
t
= K
2
u
x
2
t > 0 , x ]0, [
u(t, 0) = u(t, ) = 0 t > 0
u(0, x) = f(x) x ]0, [
(3.8)
em que f e uma fun cao seccionalmente contnua em ]0, [. Tal como deduzimos na Sec cao 3.1,
a solucao do problema (3.8) e dada por
u(t, x) =
n=1
c
n
e
n
2
Kt
sen (nx) , c
n
R
e para determinar as constantes (c
n
)
nN
usaremos a condi cao inicial, pelo que
n=1
c
n
sen (nx) = f(x) (3.9)
121
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

3.3.1 Exemplo 1
Se a condi cao inicial for
f(x) = sen (2x) 3sen (5x)
por (3.9),
n=1
c
n
sen (nx) = sen (2x) 3sen (5x)
e e entao facil de deduzir que
c
2
= 1 , c
5
= 3 e c
n
= 0 n N \ {2, 5}
Concluimos que a solucao de (3.8) quando f(x) = sen (2x) 3sen (5x) e dada por
u(t, x) = e
4Kt
sen (2x) 3e
25Kt
sen (5x)
3.3.2 Exemplo 2
Se a condi cao inicial for
f(x) =

2

x

2
=
_
x se 0 x

2
x se

2
< x
por (3.9),
n=1
c
n
sen (nx) =

2

2
x
pelo que para determinar as constantes (c

n
) precisamos de determinar a serie de senos da fun cao
f(x) em [0, ]. Assim
S
sen
f(x) =
n=1
b
n
sen (nx)
em que
b
n
=
2
_

0
f(x)sen (nx) dx =
2
_
_
/2
0
xsen (nx) dx +
_

/2
( x)sen (nx) dx
_
=
4
n
2
sen
n
2
Dado que a extensao periodica (de perodo 2) a R da extensao impar de f ao intervalo [, ]
e cont nua, tem-se que para todo x [0, ]
x

2
n=1
4
n
2
sen
n
2
sen (nx)
pelo que se conclui que para todo n N se tem
c
n
=
4
n
2
sen
n
2
e a solucao de (3.8) quando f(x) =

2

x

2
e dada por
u(t, x) =
n=1
4
n
2
sen
n
2
e
n
2
Kt
sen (nx)
122
3.4. PROBLEMA DE DIRICHLET N
AO HOMOG
ENEO PARA A EQUAC

AO DO CALOR
UNIDIMENSIONAL
3.4 Problema de Dirichlet nao Homogeneo para a Equacao do
Calor Unidimensional
Vamos resolver o problema
_
_
u
t
= K
2
u
x
2
t > 0 , x ]0, L[
u(t, 0) = T
1
, u(t, L) = T
2
t > 0
u(0, x) = f(x) x ]0, L[
(3.10)
em que T
1
. T
2
sao constantes. No contexto da equacao do calor unidimensional, estas condi coes
de fronteira signicam que as extremidades da barra, 0 e L, sao mantidas a temperatura constante,
T
1
e T
2
respectivamente, durante todo o processo. Sendo estas constantes diferentes de zero, nao
podemos aplicar directamente o metodo de separacao de vari aveis. Temos entao que considerar
u(t, x) = u
e
(x) +v(t, x) (3.11)
em que u
e
(x) e solucao do problema de valores na fronteira
u
e
= 0 , u
e
(0) = T
1
e u
e
(L) = T
2
e v(t, x) e solucao do problema de valores iniciais e de fronteira
_
_
v
t
= K
2
v
x
2
t > 0 , x ]0, L[
v(t, 0) = 0 , v(t, L) = 0 t > 0
v(0, x) = f(x) u
e
(x) x ]0, L[
(3.12)
Vamos vericar em primeiro lugar que se u(t, x) e da forma dada em (3.11) entao e solucao de
(3.10). De facto, utilizando a linearidade da derivada
K
2
u
x
2
= K
2
u
e
x
2
+K
2
v
x
2
= Ku
e
+K
2
v
x
2
= 0 +
v
t
=
u
e
t
+
v
t
=
u
t
pelo que verica a equacao diferencial de (3.10). Por outro lado
u(t, 0) = u
e
(0) +v(t, 0) = T
1
+ 0 = T
1
e u(t, L) = u
e
(L) +v(t, L) = T
2
+ 0 = T
2
pelo que verica as condi coes de fronteira de (3.10). Finalmente
u(0, x) = u
e
(x) +v(0, x) = u
e
(x) +f(x) u
e
(x) = f(x)
pelo que verica a condi cao inicial de (3.10). Conclui-se que u(t, x) dada em (3.11) e solucao de
(3.10). A fun cao u
e
(x) e denominada uma solucao estacionaria de (3.10), pois nao depende de t.
A equacao u
e
= 0 tem como solucao u
e
(x) = Ax + B. Dado que u
e
(0) = T
1
e u
e
(L) = T
2
conclui-se que
u
e
(x) =
T
2
T
1
L
x +T
1
123
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

Por outro pela Sec cao 1, dado que (3.12) e o problema da equacao do calor com condi coes de
fronteira de Dirichlet homogeneas
v(t, x) =
n=1
c
n
e
n
2
2
K
L
2
t
sen
nx
L
em que para todo n N, (c
n
) sao os coecientes da serie de senos da fun cao f(x)
T
2
T
1
L
xT
1
em [0, L], isto e
c
n
=
2
L
_
L
0
_
f(x)
T
2
T
1
L
x T
1
_
sen
nx
L
dx (3.13)
Concluimos que a solucao de (3.10) e dada por
u(t, x) =
T
2
T
1
L
x +T
1
+
n=1
c
n
e
n
2
2
K
L
2
t
sen
nx
L
com (c
n
) dados por (3.13).
3.5 Problema de Neumann Homogeneo para a Equacao do Calor
Unidimensional
Resolveremos o problema de valores na fronteira e inicial
_
_
u
t
= K
2
u
x
2
t > 0 , x ]0, L[
u
x
(t, 0) =
u
x
(t, L) = 0 t > 0
u(0, x) = f(x) x ]0, L[
(3.14)
isto e, vamos estudar a propag cao de calor numa barra de comprimento L em que nao ha troca de
calor com o exterior pelas suas extremidades (o signicado das condi coes de Neumenn
u
x
(t, 0) =
u
x
(t, L) = 0 e que o uxo de calor atraves da fronteira do corpo, que neste caso sao os pontos
x = 0 e x = L, e nulo).
Observa-se que se f(x) 0 entao a solucao de (3.14) e u(t, x) 0. Se f nao e identicamente
nula entao u tambem nao o sera.
Vamos utilizar o metodo de separacao de variaveis para determinar solucoes do problema
(3.14) da forma
u(t, x) = T(t)X(x)
na equacao diferencial, tal como nos casos anteriores
t
_
T(t)X(x)
_
= K

2
x
2
_
T(t)X(x)
_

T
(t)
KT(t)
=
X
(x)
X(x)
de t (
T
(t)
KT(t)
X
(x)
X(x)
T
(t)
KT(t)
= e
X
(x)
X(x)
=
124
3.5. PROBLEMA DE NEUMANN HOMOG
ENEO PARA A EQUAC

AO DO CALOR
UNIDIMENSIONAL
Por outro lado, atendendo às condi coes de fronteira
u
x
(t, 0) = 0 implica T(t)X
(0) = 0 e como tal ou T(t) e a fun cao identicamente nula ou

X
(0) = 0. Dado que a primeira hip otese nao pode ocorrer (implicaria u 0) tem-se que
X
(0) = 0.
u
x
(t, L) = 0 implica T(t)X
(L) = 0 e como tal ou T(t) e a fun cao identicamente nula ou

X
(L) = 0. Dado que a primeira hip otese nao pode ocorrer, tem-se que X
(L) = 0.
Temos entao dois problemas para resolver correspondentes a duas equacoes diferenciais or-
dinarias
(P1)
_
X
X = 0
X
(0) = X
(L) = 0
, (P2) T
= KT
Comecamos por resolver o problema (P1). Trata-se de um problema de valores pr oprios e para
os determinar teremos que encontra as solucoes nao nulas de (P1). Assim
X
X = 0 (D
2
)X = 0
= 0 A equacao e D
2
> 0 ( =
2
x
+Be
x
;
< 0 ( =
2
) A equacao e (D + i)(D i)X = 0 o que implica X(x) =
Asen (x) +Bcos (x);
O caso > 0 combinado com as condi coes de fronteira, produz apenas a solucao nula.
Conclui-se que qualquer > 0 nao e valor pr oprio de (P1).
Para o caso = 0 obtem-se X(x) = Ax + B que combinado com as condi coes de fronteira,
produz X(x) = B. Pelo que = 0 e valor pr oprio de (P1) associado à fun ca pr opria X
0
(x) = 1
Para o caso < 0, tem-se que
X
(0) = 0 A = 0
X
(L) = 0 Bsen (x) = 0

pelo que,
B = 0 X(x) 0
ou
sen (L) = 0 =
n
L
X(x) = cos
nx
L
, com n N
Temos assim que = 0, com X(x) = 1 e =
2
=
n
2
2
L
2
e X(x) = cos
nx
L
, para n N, sao
os valores pr oprios e as correspondentes fun coes pr oprias associadas.
para outros valores de a unica soluc ao de (P1) e a nula. Assim, para = 0
T
= 0 T
0
(t) = 1
e para cada n N
T
=
n
2
2
L
2
KT T
n
(t) = e
n
2
2
K
L
2
t
125
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

Resolvidos (P1) e (P2), podemos concluir que as solucao da equacao do calor unidimensional, da
forma u(t, x) = T(t)X(x), que vericam condi coes de fronteira de Dirichlet nulas sao as fun coes
da forma
u
0
(t, x) = T
0
(t)X
0
(x) = c
0
e u
n
(t, x) = T
n
(t)X
n
(x) = e
n
2
2
K
L
2
t
sen
nx
L
, , n N
Entao
u(t, x) =
n=0
c
n
u
n
(t, x) = c
0
+
n=1
c
n
e
n
2
2
K
L
2
t
cos
nx
L
, , c
n
R
e solucao da equacao do calor unidimensional que verica condi coes de fronteira de Neumann nulas.
Para determinar as constantes c
n
teremos que utilizar a condi cao de fronteira u(0, x) = f(x).
Resulta entao que:
c
0
+
n=1
c
n
cos
nx
L
= f(x) (3.15)
Concluindo-se que as constantes c
n
sao os coecientes da serie de cosenos de f em [0, L], ou seja
c
0
=
a
0
2
=
1
L
_
L
0
f(x)dx
e para cada n N
c
n
= a
n
=
2
L
_
L
0
f(x)cos
nx
L
dx
3.6 A Equacao das Ondas
Um outro exemplo de equacao diferencial parcial de extrema relevancia fsica e a equacao das ondas
(linear). No mundo da fsica, os fenomenos ondulatorios s ao comuns: os exemplos obvios sao as
perturbacoes na superfcie de um udo, as vibracoes de cordas em instrumentos musicais, a as
perturbacoes de pressao no ar que consistem na propaga cao de som, e a radiacao electromagnetica.
Se a amplitude das perturbacoes for sucientemente pequena e regular, a variavel de perturbacao
u(x, t) associada às ondas verica a equacao das ondas (linear)
2
v
t
2
= c
2
u
onde u(t, x) e uma fun cao da posi cao e do tempo que descreve o comportamento da onda e c e
a velocidade de propaga cao da onda no meio em questao.
3.6.1 Problema da Corda Vibrante
A equacao das ondas unidimensional pode ser usada como modelo matematico de uma corda
vibrante.
Considere-se o problema de ondas (nao for cadas) numa corda de comprimento nito L, com
posi cao e velocidade inicial dadas e extremidades xas.
126
3.6. A EQUAC

AO DAS ONDAS
x
x 0
L
u
u(t, x)
Figura 3.6: Problema da corda vibrante
Pretende-se entao encontrar o deslocamento u(t, x) vericando o problema de valores na
fronteira e inicial
_
2
u
t
2
= c
2
2
u
x
2
t > 0 , x ]0, L[
u(t, 0) = u(t, L) = 0 t > 0
u(0, x) = f(x) x ]0, L[
u
t
(0, x) = g(x) x ]0, L[
(3.16)
Comecamos por notar que se f(x) 0 e g(x) 0 entao a solucao de (3.16) e u(t, x) 0. Se f
ou g nao sao identicamente nulas entao u tambem nao o sera.
Tal como para a resolucao da equacao do calor unidimensional, e dado que estamos a consi-
derar condi coes de fronteira homogeneas, vamos utilizar o metodo de separa cao de variaveis para
determinar solucoes do problema (3.16) da forma
u(t, x) = T(t)X(x)
na equacao diferencial obtem-se
2
t
2
_
T(t)X(x)
_
= c
2

2
x
2
_
T(t)X(x)
_
T
(t)X(x) = c
2
T(t)X
(x)
T
(t)
c
2
T(t)
=
X
(x)
X(x)
de t (
T
(t)
c
2
T(t)
X
(x)
X(x)
127
CAP
ITULO 3. INTRODUC

AO
`
AS EQUAC

T
(t)
c
2
T(t)
= e
X
(x)
X(x)
=
Por outro lado, atendendo às condi coes de fronteira e possveis condi coes iniciais nulas (note que
pelo que ja foi referido apenas uma delas o podera ser)
u(t, 0) = 0 implica T(t)X(0) = 0 e como tal ou T(t) e a fun cao identicamente nula ou
X(0) = 0. Dado que a primeira hip otese nao pode ocorrer (implicaria u 0) tem-se que
X(0) = 0.
u(t, L) = 0 implica T(t)X(L) = 0 e como tal ou T(t) e a fun cao identicamente nula ou
X(L) = 0. Dado que a primeira hip otese nao pode ocorrer, tem-se que X(L) = 0.
Temos entao dois problemas para resolver - correspondentes a duas equacoes diferenciais
ordinarias
(P1)
_
X
X = 0
X(0) = X(L) = 0
, (P2) T
= c
2
T
Comecamos por resolver o problema (P1), que e um problema de valores pr oprios. Assim:
X
X = 0 (D
2
)X = 0
= 0 A equacao e D
2
> 0 ( =
2
x
+Be
x
;
< 0 ( =
2
) A equacao e (D i)(D + i)X = 0 o que implica X(x) =
Asen (x) +Bcos (x);
Os casos = 0 e > 0, combinados com as condi coes de fronteira, produzem apenas a solucao
nula. Conclui-se que qualquer 0 n ao e valor pr oprio de (P1). Para o caso < 0, tem-se que
X(0) = 0 B = 0
X(L) = 0 Asen (x) = 0
pelo que,
A = 0 X(x) 0
ou
sen (L) = 0 =
n
L
X(x) = sen
nx
L
, com n Z
Temos assim que =
2
=
n
2
2
L
2
e X(x) = sen
nx
L
, para n Z, sao os valores pr oprios
e as correspondentes fun coes pr oprias associadas. Note que para os ndices n inteiros negativos
repetem-se os valores pr oprios e as fun coes pr oprias (a menos de combina cao linear). Conclui-se
que qualquer que nao seja da forma
n
2
2
L
2
(para algum n N) nao e valor pr oprio de (P1), e
para cada n N, =
n
2
2
L
2
e valor pr oprio de (P1) associado à fun cao pr opria X
n
(x) = sen
nx
L
.
128
3.6. A EQUAC

AO DAS ONDAS
para outros valores de a unica solucao de (P1) e a nula. Assim, para cada n N
T
+
n
2
2
L
2
c
2
T = 0 (D
2
+
n
2
2
L
2
c
2
)T = 0 T
n
(t) =
n
sen
nct
L
+
n
cos
nct
L
Resolvidos (P1) e (P2), podemos concluir que as solucoes da equacao das ondas unidimensional,
da forma u(t, x) = T(t)X(x), que vericam condi coes de fronteira de Dirichlet nulas sao as
fun coes da forma
u
n
(t, x) = T
n
(t)X
n
(x) = sen
nx
L
_
n
sen
nct
L
+
n
cos
nct
L
_
, n N (3.17)
Por sobreposi cao, a solucao da equacao diferencial que satisfaz as condi coes de fronteira sera:
u(t, x) =
n=1
sen
nx
L
_
n
sen
nct
L
+
n
cos
nct
L
_
.
Utilizando a condi cao inicial u(0, x) = f(x), resulta que:
n
=
2
L
_
L
0
f(x)sen
nx
L
dx.
Utilizando a condi cao inicial
u
t
(0, x) = g(x), resulta que
nc
L

n
=
2
L
_
L
0
g(x)sen
nx
L
dx,
ou seja:
n
=
2
nc
_
L
0
g(x)sen
nx
L
dx.
129

ACED IST Press

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

ACED IST Press

Uploaded by

Copyright:

Available Formats

Analise Complexa e Equacoes Diferenciais Resumo

Joao Teixeira, Maria Joao Borges

Ordem (ou Sistemas) . . . . . . . . . . . . . . . . . . 80

E facil de mostrar que para z = x + iy C, se tem

E de notar que as propriedades das razes reais

i. No entanto, a igualdade verica-se para 2 das

Criterio de Compara cao

|. Pois, caso contrario se existisse z, com | z| > |

|, onde a serie convergisse

| < | z|, pela alnea (a) a serie

Supondo que existe R

32i) +log (1i) e de log

3 2i) + log (1 i) = log (4e

3 2i) + log (1 i) = log

3 3i). Por um lado

E de observar que enquanto o calculo algebrico de limites em C e semelhante ao de R, a no cao

(x + iy) nao existe.

(a) existe em C e e igual a ).

(a)h, para qualquer h R

(a)h, para qualquer h.

(a)h para qualquer h R

(a) existir, entao:

(t) existem e sao contnuas

(t) para t [a, b], e que e obtido `a

= f diz-se que F e uma primitiva de

e uma fun cao analtica em D.

tica num conjunto aberto e simplesmente conexo D C, z

IDUOS E TEOREMA DOS RES

IDUOS E TEOREMA DOS RES

ALCULO DE INTEGRAIS REAIS

ALCULO DE INTEGRAIS REAIS

Exemplo importante: Se f(x) =

Com f satisfazendo (C1) e a > 0, o lema de Jordan determina que:

ALCULO DE INTEGRAIS REAIS

ALCULO DE INTEGRAIS REAIS

Considerando a parametriza cao z = e

(t) = f(t, y(t)) para qualquer t I.

(x)/(x) = 3 e possvel de resolver (o segundo

E facil de vericar que a fun cao

(y)/(y) = (2y 1)/y e possvel de resolver (o

ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

K . (t, y), (t, w) D

E facil vericar que o problema de valor inicial

ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

Isto implica que:

para uma fun cao contnua y : I

R, desde que tomemos:

Como < 1/K, ou seja, K < 1,

= 0. Como e impossvel que se

(pois o maximo de |y(t) z(t)| e atingido num

) concluimos que max

ENCIA, UNICIDADE E PROLONGAMENTO DE SOLUC

, (t, y(t)) converge para um ponto da fronteira de D;

u(t) = +. Se y(t) e solucao do PVI

y.(t) = + e consequentemente supI

ORDEM (OU SISTEMAS)

(t) = F(t, Y(t))

(t) = F(t, Y(t)) , t I

(t) = A(t)Y(t) +B(t)

(t) = A(t)Y(t) (2.12)

ORDEM (OU SISTEMAS)

(t) = AY(t) +B(t)