Escolar Documentos
Profissional Documentos
Cultura Documentos
Cascavel, Paran
2014
de
Professor
Convidado 1
Professor
Convidado 2
Cascavel, Paran
2014
de
Resumo
Neste trabalho estudamos a Transformada de Laplace bem como sua frmula complexa
de inverso, a qual faz uso da teoria de variveis complexas. Aplicamos a Transformada
de Laplace e a Transformada Inversa de Laplace para encontrar a soluo geral de uma
equao diferencial linear que modela uma corrente eltrica no tempo, em um circuito
eltrico formado por um resistor e um indutor, sujeito a uma fonte de alimentao do tipo
onda quadrada.
Palavras-chaves: Equaes Diferenciais. Transformada de Laplace. Teorema dos Resduos.
Lista de ilustraes
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
1
2
3
4
5
6
7
8
9
10
12
13
14
15
16
17
Sistema massa-mola . . . . . . . . . . . .
Tipos de filtros RLC . . . . . . . . . . . .
Estabilizado de tenso RLC . . . . . . . .
Circuito eletrico simples . . . . . . . . . .
Exemplo de funo contnua por partes . .
Exemplo de funo peridica . . . . . . .
Funes de Heaveside (degrau unitrio) . .
Funo onda quadrada . . . . . . . . . . .
Funo onda quadrada para o exemplo 4 .
Contorno para o teorema 3.1 . . . . . . .
C1 e C2 so crculos concntricos . . . . .
n pontos singulares no interior do contorno
Contorno semicircular para o Exemplo 16
Contorno de Bromwich . . . . . . . . . . .
Circuito para o Exemplo 19 . . . . . . . .
Fonte de tenso para o Exemplo 19 . . . .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
C
. .
. .
. .
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
22
23
24
24
30
34
38
39
39
44
48
55
57
62
67
67
Sumrio
Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
17
EQUAES DIFERENCIAIS . . . . . . . . . . . . . . . . . . . . . . 19
1.1
1.2
1.3
1.4
1.4.1
Aplicaes mecnica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.2
II
TRANSFORMADA DE LAPLACE
TRANSFORMADA DE LAPLACE . . . . . . . . . . . . . . . . . . . 29
2.1
2.2
2.3
III
3.1
Sries de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2
Sries de Laurent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2.1
3.3
Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4
Teorema de Resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.5
IV
27
41
. . . . . . . . . . . . . . . . . . . . . 43
59
RESULTADOS
65
Concluso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
Referncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
15
Introduo
A equao diferencial uma equao cuja incgnita uma funo que aparece
na equao sob a forma das respectivas derivadas e como a prpria funo. As equaes
diferenciais foram criadas juntamente com o clculo diferencial e integral. So usadas para
construir modelos matemticos que descrevem os mais diversos fenmenos fsicos, tendo
aplicao prtica em diversas reas do conhecimento, como por exemplo, em medicina,
engenharia, qumica, biologia, etc. Dentre os diversos tipos de equaes diferenciais optamos
por estudar as equaes diferenciais lineares, pois segundo Bassanezi e Ferreira Junior
(1998) um estudo srio de equaes diferenciais deve sempre comear pela boa compreenso
da teoria e mtodos das equaes lineares de coeficientes constantes. Alm disso
16
INTRODUO
Parte I
Equaes Diferenciais Lineares
19
1 Equaes Diferenciais
Uma equao diferencial uma equao cuja incgnita uma funo que aparece
na equao, como a prpria funo e sob a forma das respectivas derivadas. Segundo Nagle,
Saff e Snider (2012), as equaes diferenciais surgem quando modelos matemticos so
desenvolvidos para auxilar na compreenso de fenmenos fsicos.
As equaes diferenciais assumem diversas formas, podendo assim ser classificadas:
em funo da quantidade de variveis independentes da funo, a equao dita
ordinria caso a funo dependa de apenas uma varivel, e dita parcial nos demais
casos;
em funo da ordem da derivada, de mais alta ordem, da funo incgnita;
e quanto a linearidade, podendo ser linear ou no-linear.
Exemplo 1: Tipos de Equaes Diferenciais
y 0 = 2x equao diferencial ordinria linear de ordem 1.
y 00 + x2 (y 0 )3 40y = 0 equao diferencial ordinria no-linear de ordem 2.
utt = a2 (uxx + uyy ) equao diferencial parcial linear de ordem 2.
dn y
dn1 y
+
a
(t)
+ + a0 (t)y = b(t)
n1
dtn
dtn1
ou tambm
an
ou tambm
dn y
dn1 y
+
a
+ + a0 y = b
n1
dtn
dtn1
n
X
ak y (k) = b
k=0
20
dn
substituda pelo operador
dtn
n
X
dn
dn1
dk
+
a
+
+
a
=
a
n1
0
k
dtn
dtn1
dtk
k=0
Assim,
n
X
dn y
dn1 y
dk y
L(y) = an n + an1 n1 + + a0 y =
ak k
dt
dt
dt
k=0
dy
dx
dy
+ (senx)y = x2 cosx .
dx
Entretanto, a equao
y
dy
+ (cosx)y 3 = ex + 1
dx
dy
.
dx
Definio 1.1 (Soluo). uma soluo de L(y) = b num intervalo I se para todo t de
I cumpre-se
L()(t) = b(t)
isto ,
an (t)
dn (t)
dn1 (t)
+
a
(t)
+ + a0 (t)(t) = b(t)
n1
dtn
dtn1
21
(1.1)
1
2
t>0
(1.2)
y 00 + a1 y 0 + a0 y = f
(1.3)
(1.4)
22
(1.5)
v 00 + a1 v 0 + a0 v = 0.
(1.6)
Tomemos agora
y = c1 u + c2 v,
e substituamos na equao diferencial. Ento:
= (c1 u + c2 v)00 + a1 (c1 u + c2 v)0 + a0 (c1 u + c2 v)
= c1 u00 + c2 v 00 + a1 (c1 u0 + c2 v 0 ) + a0 (c1 u + c2 v)
= c1 (u00 + a1 u0 + a0 u) + c2 (v 00 + a1 v 0 + a0 v)
(1.7)
23
Hook que existir uma fora restauradora agindo sobre m cuja intensidade dada por kX,
onde k uma constante que depende da mola. Assim, de acordo com a segunda lei de
Newton que para um sistema em equilbrio, temos que a equao do sistema
d2 X
= kX
dt2
mX 00 + kX = 0
ou
Ainda segundo Spiegel (1971), podemos considerar outras foras atuando sobre a massa
m, como por exemplo uma fora de amortecimento proporcional velocidade instantnea
de m, donde obtemos a seguinte equao
d2 X
dX
= kX
2
dt
dt
ou
mX 00 + X 0 + kX = 0
ou ainda uma fora externa varivel com o tempo, F (t), tambm atuando sobre m,
d2 X
dX
= kX
+ F (t)
2
dt
dt
ou
mX 00 + X 0 + kX = F (t)
(1.8)
24
capacitor igual L dI
= L ddtQ2 ;
dt
indutor igual
Q
;
C
dQ Q
d2 Q
+R
+ =E
2
dt
dt
C
(1.9)
Existem diversos outros problema fsicos que possam ser modelados por meio de
equaes lineares de segunda ordem, porm, nos focaremos neste trabalho somente a estes
25
dois modelos, especialmente ao modelo de circuitos eltricos. Estas equaes ((1.8) e (1.9))
pertencerem a uma classe de modelos matemticos denominado oscilador harmnico. Um
oscilador harmnico um modelo matemtico utilizado para descrever situaes fsicas
onde h a presena de oscilaes de pequena amplitude. Segundo Boyce e Brannan (2008)
o modelo de oscilador harmnico tem, na ausncia de foramento, a seguinte forma
ay 00 + by 0 + cy = 0.
(1.10)
ay 00 + by 0 + cy = F(t).
(1.11)
fcil notar a semelhana entre as equaes (1.11), (1.8) e (1.9), e estabelecer uma
analogia entre as duas ltimas, ficando evidente que a massa m da mola corresponde a
indutncia L, o deslocamento X corresponde a carga Q, o fator de amortecimento a
resistncia R, a constante da mola k e o recproco da capacitncia 1c e a fora F com a
tenso eltrica E. Esta analogia permite um melhor entendimento da afirmao de Boyce
e Brannan (2008) de que para adaptar a equao (1.11) (ou (1.10)) basta interpretar os
coeficientes em termos dos parmetros fsicos que caracterizam a aplicao.
Parte II
Transformada de Laplace
29
2 Transformada de Laplace
Nesta parte do trabalho explanaremos sobre a Transformada de Laplace. Esta
transformada pertence a um conjunto de integrais da forma
F () =
Z b
f (x)K(, x)dx
st
Z +
0
e cosf (t) i
Z +
et sent
(2.1)
30
Definio 2.1 (Funo contnua por partes). Uma funo f dita contnua por partes
ou seccionalmente contnua, (Figura 5), se a funo tem no mximo um nmero finito de
pontos de descontinuidade no intervalo t , e ambos os limites laterais f (t0 +) e
f (t0 ) de f existirem em cada ponto da descontinuidade t0 .
est f (t)dt =
est f (t)dt +
est f (t)dt
(2.2)
|est f (t)|dt
31
est |f (t)|dt
est M et dt =
M
s
pois f (t) de ordem exponencial para t > , logo esta intgral existe.
Definio 2.3. Seja f uma funo real definida para todo t 0. Ento a transformada
de Laplace de f (t), denotada por L {f (t)}, dada pela frmula
L {f (t)} = F (s) =
est f (t)dt .
(2.3)
Z P
P 0
est dt
est
esP
es0
= lim
= lim
(
)
P s
P
s
s
0
1 esP
1
=
P
s
s
= lim
(b) Se f (t) = t ento L {f (t)} =
se s > 0.
1
, para s > 0.
s2
L {(t)} =
Z A
A 0
est
= lim (t)
A
s
est
= lim (t)
A
s
test dt
Z A st
e
0
s
A
est
2
s 0
dt
32
1
esA AesA
s2
s2
s
= lim
=
(c) Se f (t) = eat ento L {f (t)} =
L {e } =
at
1
se s > 0.
s2
1
,
sa
s > a.
st
at
(e )dt = lim
Z A
A 0
e(sa)t dt
1 e(sa)A
e(sa)t
= lim
= lim
A
A (s a)
sa
0
1
,
sa
se s > a.
st
= k
kf dt +
est gdt
est f dt +
est gdt
= kL (f ) + L (g)
donde segue que a transformada de Laplace um operador linear.
Teorema 2.3 (Primeira propriedade de Translao ou Deslocamento). Se L {f (t)} = F (s)
para s > k, ento
L {et f (t)} = F (s ) para s > k + .
= L {f (t)}, ento
R st
e f (t)dt
0
e(s)t f (t)dt =
33
Teorema
2.4 (Segunda propriedade de Translao ou Deslocamento). Se L {f (t)} = F (s)
f (t a)
t>a
, ento L {g(t)} = eas F (s) .
e g(t) =
0
t<a
Demonstrao.
L {g(t)} =
st
g(t)dt =
Z a
st
g(t)dt +
Z a
est (0)dt +
est f (t a)dt
est g(t)dt
est f (t a)dt
(2.4)
est f (t a)dt =
es(u+a) f (u)du
= eas
s
a
est f (t)dt
logo
L {f (at)} =
Z
0
est f (at)dt
Z
0
u
a
temos
u
es a f (u)
du
a
1 Z s u
=
e a f (u)du
a 0
(2.5)
34
1 Z s u
=
e a f (u)du
a 0
!
s
1
.
= F
a
a
Teorema 2.6 (Transformada de Laplace de funes peridica). Suponha que f (t) tem
perodo T > 0 de modo que f (t + T ) = f (t), Figura 6. Ento,
Z T
L {f (t)} =
est f (t)dt
1 esT
est f (t)dt
Z T
st
f (t)dt +
Z 2T
st
f (t)dt =
Z 3T
est f (t)dt +
2T
Z T
0
su
f (u)du +
Z T
0
s(u+T )
f (u + T )du +
Z T
0
es(u+2T ) f (u + 2T )du +
Z T
su
f (u)du + e
Z T
sT
35
su
2sT
f (u + T )du + e
Z T
esu f (u + 2T )du +
Z T
su
sT
f (u)du + e
Z T
su
2sT
f (u)du + e
Z T
sT
= (1 + e
2sT
+ )
+e
esu f (u)du +
Z T
esu f (u)du
e como 1 + r + r2 + =
1
, |r| < 1, temos que
1r
Z T
L {f (t)} =
est f (t)dt
1 esT
st 0
f (t)dt = lim
Z P
P 0
P
lim est f (t)
P
0
+s
Z P
est f 0 (t)dt
est f (t)dt
= lim
=s
sP
f (P ) f (0) + s
Z P
0
= sF (s) f (0).
)
st
f (t)dt
36
Corolrio 2.8. Se no teorema 2.7 f (t) deixa de ser contnua em t = 0 mas lim f (t) =
t0
f (0+), existe (mas no igual a f (0), que pode ou no existir), ento
L {f (t)} = sF (s) f (0+)
Corolrio 2.9. Se no teorema 2.7 f (t) deixa de ser contnua em t = a mas lim f (t) =
t0
f (0+), existe (mas no igual a f (0), que pode ou no existir), ento
L {f (t)} = sF (s) f (0+) eas f (a+) f (a)
onde f (a+) f (a) algumas vezes chamado salto na descontinuidade t = a.
Teorema 2.10. Se L {f (t)} = F (s), ento
L {f 00 (t)} = s2 F (s) sf (0) f 0 (0)
se f (t) e f 0 (t) so contnuas para 0 t e de ordem exponencial para t > , enquanto
f 00 (t) seccionalmente contnua para 0 t .
Demonstrao. Do teorema 2.7 temos que
L {g 0 (t)} = sL {g(t)} g(0) = sG(s) g(0)
Agora, tomando g(t) = f 0 (t) temos
L {f 00 (t)} = sL {f 0 (t)} f 0 (0)
= s[sL {f (t)} f (0)] f 0 (0)
= s2 L {f (t)} sf (0) f 0 (0)
= s2 F (s) sf (0) f 0 (0)
a
.
s2 +a2
s2
a
+ a2
37
Teorema 2.11. Se L {f (t)} = F (s), f (t), f 0 (t), f 00 (t), ..., f (n1) (t) so contnuas para
0 t e de ordem exponencial para t > , enquanto f n (t) seccionalmente contnua
para 0 t ento
L {f (n) (t)} = sn F (s) s(n1) f (0) s(n2) f 0 (0) sf (n2) (0) f (n1) (0)
Exemplo 3: Mostre que L {tn } =
n!
.
sn+1
f 0 (0) = 0;
f 00 (0) = 0;
f 000 (0) = 0;
..
.
f (n1) (0) = 0;
Z
0
st
(n!)dt = n!
est dt =
n!
s
(2.6)
(2.7)
38
Dentre as funes com descontinuidade do tipo salto, a mais simples com uma nica
descontinuidade de salto denominada funo de Heaveside (ver Figura 7), e definida por
Ha (t) =
0 se t < a
1 se t > a
a 0,
Ha (t) = H(t a)
Segundo Boyce e Brannan (2008) a funo de Heaviside geralmente usada para representar
uma fora, tenso, corrente ou sinal que ligado em um instante t 0 e fica ligado da
em diante.
Teorema 2.12. Se L {f (t)} = F (s), ento
L {Ha (t)} =
esa
s
Ha (t) =
0 se t < a
1 se t > a
logo
L {Ha (t)} =
Z a
st
(0)dt +
est (1)dt
= lim
Z A
A a
st
est
dt = lim
A s
a
esa esA
esa
=
= lim
A
s
s
39
Outra funo descontnua tipo salto que possui grande utilidade prtica so as
chamada funes de onda quadrada, exemplificadas na Figura 8. Este tipo de funo
aparece por exemplo, em circuitos digitais e em reguladores de tenso de alto desempenho,
onde as harmnicas do sinal quadrado so filtradas por um circuito com capacitores e
indutores e o resultado um sinal (ou funo) do tipo senoidal.
E(t)
E0
a
2a
3a
4a
-E0
-1
Soluo:
Do teorema 2.6 temos que
Z 2
1
L {f (t)} =
est f (t)dt
2s
1e
0
Z 1
Z 2
1
st
e
(1)dt
+
est (1)dt
1 e2s 0
1
40
est
1
est
+
=
1 e2s
s 0
s 1
1
=
1 e2s
1 2es + e2s
s
1 (1 es )2
=
s 1 e2s
1 (1 es )
=
s (1 + es )
1
s
= tanh
s
2
1 (1 es )(1 es )
=
s (1 es )(1 + es )
s
1 e2
=
s
s e2
(e 2 e 2 )
s
s
(e 2 + e 2 )
Parte III
Teorema dos Resduos
43
Exemplo 5: A funo f (z) = |z| no uma funo analtica em nenhum ponto, pois sua
derivada existe somente no ponto z = 0 e no em uma vizinhana.
Exemplo 6: Todo polinmio P (z) = a0 + a1 z 1 + + an z n , (n = 1, 2, 3, ...), uma funo
analtica em todo o plano complexo.
Definio 3.3 (Singularidade). Caso uma funo complexa w = f (z) deixe de ser analtica
em um ponto z = z0 , este ponto recebe a denominao de ponto singular ou singularidade.
1
Exemplo 7: O ponto z = 0 um ponto singular da funo f (z) = , pois f analtica em
z
todo ponto z exceto em z = 0, onde ela no contnua, de modo que f 0 (0) no existe.
f (z) =
f (k)(z0 )
(z z0 )k
k!
k=0
(3.1)
vlida para o maior crculo C com centro em z0 e raio R que esteja totalmente contido em
D.
44
C
Z0
f (z) =
1 I f (s)
1 I
f (s)
ds =
ds
2i C s z
2i C (s z0 ) (z z0 )
1 I
f (s)
1
ds
z z0
2i C (s z0 )
s z0
zn
z z0
e substituindo z por
, obtemos
1z
s z0
(3.2)
1
=
1z
1
z z0
z z0 2
z z0 n1
(z z0 )n
=
1
+
+
(
)
+
+
(
)
+
,
z z0
s z0
s z0
s z0
(s z)(s z0 )n1
1
s z0
de modo que em (3.2) temos
1 I
f (s)
1 I
f (s)
z z0
z z0 2
1
ds
=
1+
+(
)+
z
z
0
2i C (s z0 )
2i
s
z
s
z
C (s z0 )
0
0
s z0
)
z z0 n1
(z z0 )n
+ (
)
+
s z0
(s z)(s z0 )n1
45
f (s)
z z0 I
f (s)
f (s)
1 I
(z z0 )2 I
ds +
=
+
ds+
2
2i C (s z0 )
2i C (s z0 )
2i
C (s z0 )3
(z z0 )n1 I
f (s)
f (s)
(z z0 )n I
+
ds +
ds
n
2i
2i
C (s z0 )
C (s z)(s z0 )n
(3.3)
n! I
f (z)
dz,
2i C (z z0 )n+1
1 I
f (s)
1
ds =
z
z0
2i C (s z0 )
s z0
0
f 00 (z0 )
f n1 (z0 )
f (z0 )
(z z0 ) +
(z z0 )2 + +
(z z0 )n1 + Rn (z),
f (z0 ) +
1!
2!
(n 1)!
(3.4)
onde
Rn (z) =
(z z0 )n I
f (s)
ds
2i
C (s z)(s z0 )n
A equao (3.4) , segundo Zill e Shanahan (2011), conhecida como frmula de Taylor
com resto Rn . Agora, desejamos mostrar que Rn (z) 0 quando n . Isto pode ser
feito mostrando que |Rn (z)| 0 quando n . Como f analtica em D, o Teorema do
Mdulo Mximo (encontrado em Zill e Shanahan (2011, p. 211)) nos diz que |f (z)| tem um
valor mximo M no contorno C. Alm disso, como z est no interior de C, |z z0 | < R e,
consequentemente,
|s z| = |s z0 (z z0 )| |s z0 | |z z0 | = R d,
onde d = |z z0 | a distncia de z a z0 . O Teorema Limitante (encontrado em Zill e
Shanahan (2011, p. 189) )nos fornece
|Rn (z)| =
(z
!n
MR d
z0 )n I
f (s)
dn
M
ds
2R =
.
2i
2 (R d)Rn
Rd R
C (s z)(s z0 )n
d n
Como d < R,
0 quando n , conclumos que |Rn (z)| 0 quando n .
R
Portanto, a srie infinita
f (z0 ) +
f 0 (z0 )
f 00 (z0 )
(z z0 ) +
(z z0 )2 +
1!
2!
converge a f (z). Assim temos que o resultado em (3.1) vlido para qualquer ponto z no
interior de D.
46
Exemplo 8: Seja f (z) = ez . Como f (1) (z) = ez , f (2) (z) = ez , ..., f (n) (z) = ez , ..., temos
que a representao em srie de Taylor, centrada em z0 , da funo f dada por,
f (z0 ) f 0 (z0 )
f 00 (z0 )
f (z) = e =
+
(z z0 ) +
(z z0 )2 +
0!
1!
2!
n
X
(z
z
)
0
= ez0
n!
n=0
z
1
2
1
(2)
. Temos que f (1) (z) =
,
f
(z)
=
,
(1 + z)
(1 + z)2
(1 + z)3
6
..., donde podemos concluir que a representao em srie de Taylor,
(1 + z)4
centrada em z0 , da funo f dada por,
f (3) (z) =
f (z) =
1
1
1
2
=
(z
z
)
+
(z z0 )2
0
(1 + z)
0!(1 + z) 1!(1 + z)2
2!(1 + z)3
6
(z z0 )3 +
3!(1 + z)4
=
(1)n (z z0 )n
n=0
1
(1 + z)n+1
f (z)dz =
n I
X
f (z)dz
(3.5)
k=1 Ck
f (k)(z0 )
(z z0 )k
k!
k=0
vlida para o maior crculo C com centro em z0 e raio R que esteja totalmente contido em
D. Entretanto, conforme Zill e Shanahan (2011) se z = z0 for uma singularidade de uma
funo f , certamente f no pode ser expandida em uma srie de Taylor em torno de z0 .
Entretanto em torno de uma singularidade isolada z = z0 possvel representar a funo
f por uma srie que envolve potncias inteiras negativas e positivas de z z0 , ou seja,
f (z) = +
a2
a1
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .
2
(z z0 )
(z z0 )1
47
Esta srie denominada srie de Laurent. Uma outra notao para esta srie,
usando a notao de somatrio,
f (z) =
ak (z z0 )
k=1
ak (z z0 )k
(3.6)
k=0
As duas srie do lado direito da equao (3.6) recebem nomes especficos, sendo a parte
com potncias negativas de z z0 , isto ,
ak (z z0 )k
(3.7)
k=1
ak (z z0 )k
k=0
ak (z z0 )k
(3.8)
k=
1 I
f (s)
ds,
2i C (s z0 )k+1
k = 0, 1, 2, . . .
(3.9)
48
Demonstrao. Sejam C1 e C2 crculos concntricos, com centro z0 e raios r1 e R2 respectivamente, onde r < r1 < R2 < R. Seja z um ponto fixo em D que tambm satisfaz
a desigualdade r1 < |z z0 | < R2 (Figura 12). Introduzindo um corte entre C1 e C2 , a
frmula integral de Cauchy fornece
f (z) =
1 I f (s)
1 I f (s)
ds
ds
2i C2 s z
2i C1 s z
C1
(3.10)
C2
D
zz0 0
X
1 I f (s)
ak (z z0 )k ,
ds =
2i C2 s z
k=0
(3.11)
onde
1 I
f (s)
ak =
ds,
2i C2 (s z0 )k+1
k = 1, 2, 3, . . .
1 I f (s)
1 I f (s)
1 I
f (s)
ds =
ds =
ds
2i C1 s z
2i C1 z s
2i C1 (z z0 ) (s z0 )
1 I
f (s)
1
=
ds
s
z0
2i C1 (s z0 )
z z0
(
I
1
f (s)
z z0
z z0 2
1+
+(
)+
=
2i C1 (s z0 )
s z0
s z0
)
z z0 n1
(z z0 )n
ds
+ (
)
+
s z0
(s z)(s z0 )n1
(3.12)
49
ak
+ Rn (z),
k
k=0 (z z0 )
onde
ak =
f (s)
1 I
ds,
2i C1 (s z0 )k+1
k = 0, 1, 2, . . . ,
(3.13)
e
I
f (s)(s z0 )n
1
ds
Rn (z) =
2i(z z0 )n C1
(z s)
1 I
2i C1
M r1n
d r1
1
f (s)
M r1n
ds
2r1
(s z0 )k+1 2dn d r1
!n
r1
.
d
r1
Como r1 < d, ( )n 0 quando n , de modo que |Rn (z)| 0 quando n . Com
d
isso, mostramos que
X
ak
1 I f (s)
ds =
k
2i C1 s z
k=0 (z z0 )
(3.14)
onde os coeficientes ak so dados em (3.13). Combinado (3.14) e (3.11), vemos que (3.10)
fornece
f (z) =
ak (z z0 )k +
k=1
ak =
ak (z z0 )k
(3.15)
k=0
f (z)
dz,
(z z0 )k+1
k=
ak (z z0 )k , com
k = 0, 1, 2, . . . ,
I
C
2i n = 1
dz
=
(z z0 )n 0
n=
6 1.
50
a4 =
a3
a2
1
2i
I
C
1
1 I ds
s
ds =
=0;
(s 0)4+1
2i C s2
1
1 I ds
1 I
s
ds =
=0;
=
2i C (s 0)3+1
2i C s1
1
1 I
1 I
s
=
ds
=
ds = 0 ;
2i C (s 0)2+1
2i C
a1 =
1
2i
I
C
1
1 I ds
1
s
ds =
=
2i = 1 ;
1+1
(s 0)
2i C s
2i
1
1 I ds
1 I
s
ds =
=0;
a0 =
2i C (s 0)0+1
2i C s2
1
1 I
1 I ds
s
a2 =
ds
=
=0;
2i C (s 0)1+1
2i C s3
1
.
z
51
1
usando o fato que
= 1 z + z 2 z 3 + , sempre que |z| < 1 , e substituindo z
1+z
z1
por
, obtemos
3
"
#
1
1
z 1 (z 1)2 (z 1)3
f (z) =
+
1
+
3 (z 1)3
3
32
33
1
1
1
1
+
=
+
3(z 1)3 9(z 1)2 27(z 1) 81
X
1
=
(1)n+1 n
3 (z 1)n+4
n=1
z 1 (z 1)2
(z 1)3
+
+ converge quando |z 1| < 3, mas depois
3
32
33
1
1
de multiplicada por
, que vlida para 0 < |z 1| a srie resultante converge
3 (z 1)3
quando 0 < |z 1| < 3
a srie 1
X
k=
ak (z z0 )k =
X
k=1
ak (z z0 )k +
ak (z z0 )k
k=1
52
Teorema 3.4 (Zero de Ordem n). Uma funo f que seja analtica em algum disco
|z z0 | < R tem um zero de ordem n em z = z0 se e somente se f puder ser escrita como
f (z) = (z z0 )n (z)
onde analtica em z = z0 e 6= 0.
Uma demostrao para este teorema pode ser encontrado em Zill e Shanahan (2011,
p. 254).
Teorema 3.5 (Polo de Ordem n I). Uma funo analtica em um disco perfurado
0 < |z z0 | < R tem um polo de ordem n em z = z0 se e somente se puder ser escrita
como
f (z) =
(z)
,
(z z0 )n
(3.16)
g(z0 )
6 0. Donde podemos concluir, do Teorema 3.5, que a funo f
g(z0 ) 6= 0 implica
=
(z0 )
tem um polo de ordem n em z0 .
Exemplo 12: A funo
z2 + 1
f (z) =
,
z z (3 + 2 2)i)(z (3 2 2)i
(3.17)
3.3. Resduos
53
3.3 Resduos
1
na srie de Laurent (3.6) anterior deno(z z0 )
minado resduo da funo f na singularidade isolada z0 . E denotado como
Definio 3.5. O coeficiente a1 de
a1 = Res(f (z), z0 )
para representar o resduo de f em z0 .
Teorema 3.7 (Resduo em um Polo Simples). Se f tiver um polo simples em z = z0 ,
Res(f (z), z0 ) = zz
lim (z z0 )f (z).
0
a1
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . .
z z0
zz0
an
a2
a1
+ +
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + . . . ,
n
2
(z z0 )
(z z0 )
(z z0 )
a2
a1
a0
+
+
+a1 (zz0 )n+1 +a2 (zz0 )n+2 +. . . ,
n2
n1
(z z0 )
(z z0 )
(z z0 )n0
54
Ento aplicamos o limite quando z z0 , como todos os termos no lado direto, aps o
primeiro, envolvem potncias inteiras de z z0 , obtemos
lim
zz0
dn1
[(z z0 )n f (z)] = (n 1)!a1 .
dz n1
dn1
1
lim n1 [(z z0 )n f (z)] ,
(n 1)! zz0 dz
dn1
1
lim
[(z z0 )n f (z)] .
(n 1)! zz0 dz n1
,
z z (3 + 2 2)i)(z (3 2 2)i
z0
z z (3 + 2 2)i)(z (3 2 2)i
= lim
z0
Res(f (z), (3 +
2)i) =
z2 + 1
= 1
z (3 + 2 2)i)(z (3 2 2)i
lim (z (3 +
z(3+ 2)i
lim
z(3+ 2)i
z(3 2)i
z2 + 1
2)i)
z z (3 + 2 2)i)(z (3 2 2)i
z2 + 1
=1
z z (3 2 2)i
lim (z
z(3 2)i
lim
(3
2)i)
z2 + 1
z z (3 + 2 2)i)(z (3 2 2)i
z2 + 1
=1
z z (3 + 2 2)i
55
f (z)dz = 2i
n
X
Res(f (z), zk ).
k=1
Cn
zn
C
C2
z2
z1
C1
I
1 I
f (z)
dz
f (z)dz =
I
X
k=1 Ck
56
ei + ei
ei ei
, sen =
.
2
2i
Uma justificativa para as duas ltimas expresses pode ser encontrada em Churchill (1975).
1
Como dz = iei e z 1 = = ei , podemos reescrever as trs primeiras equaes como
z
1
1
dz
(3.19)
d = , cos = (z + z 1 ), sen = (z z 1 )
iz
2
2i
Assim, fazendo as devidas substituies temos
dz = iei , cos =
Z 2
0
1
1
dz
F (cos, sen)d =
F (z + z 1 ), (z z 1 )
2
2i
iz
C
I
i
1 h
z2 + 1
dz =
Res(f (z), 0) + Res(f (z), z0 )
z(z z0 )(z z1 )
2i
I
cos
z2 + 1
1
d =
dz =
(1 + 1) = 0
3 + sen
2i
C z(z z0 )(z z1 )
V.P.
f (x)dx = lim
Z R
R R
f (x)dx
(3.20)
57
lim
Z R
R R
RR 3
x dx
0
1
= limR R4 = . Mas
4
1 4
[R (R)4 ] = 0.
4
x3 dx = lim
f (x)dx =
Z R
f (x)dx
e
Z R
f (x)dx =
Z 0
f (x)dx +
Z R
f (x)dx = 2
Z 0
f (x)dx
R
0
f (x)dx e
f (x)dx
Z
Z
Z
1
f (x)dx
f (x)dx = (V.P.)
f (x)dx e
f (x)dx = (V.P.)
2
x2
dx.
0
x6 + 1
H
z2
Soluo: Consideremos C 6
dz, onde C o contorno da Figura 14, consistindo do
z +1
segmento de reta de R a +R e do semicrculo, orientado no sentido positivo (anti-horrio).
Exemplo 16: Calculemos
3i
5i
7i
i
6
z2
(z e ) 6
z +1
i
6
= limi
ze
1
1 i
= e 2
5
6z
6
9i
6
58
3 i
6
Res(f (z), e
) = limi (z e
ze3
5 i
6
Res(f (z), e
z2
C z 6 +1 dz
5 i
6
) = limi (z e
ze5
Assim,
3 i
6
= 2i 61 e 2 + 16 e
Z R
R
3i
2
+ 16 e
z2
) 6
z +1
z2
) 6
z +1
5i
2
= lim3i
ze
= lim5i
ze
1
1 3i
= e 2
5
6z
6
1
1 5i
e 2
=
6z 5
6
= 3 , isto ,
Z
x2
z2
dx
+
dz
=
x6 + 1
3
CR z 6 + 1
(3.21)
Agora, desejamos
fazer
R em (3.21). Porm antes disto, usemos a desigualdade
|z + z0 | |z| |z0 |, e notemos que no contorno Cr , definido por |z| = R, vale
1
1
|z 6 + 1|
(R6 1)
|z 6 + 1|
(R6 1)
Como o comprimento L da semicircunferncia CR R, do Teorema Limitante ( Zill e
Shanahan (2011, p. 189)) temos
Z
CR
z2
R2
dz
R
z 6 + 1 (R6 1)
z2
dz
0 quando R
6
z +1
x2
dx
=
x6 + 1
3
ou
V.P.
x2
dx =
6
x +1
3
Como f uma funo par, a existncia do Valor Principal de Cauchy significa que
Z R
0
Z
x2
1
x2
dx
=
(V.P.)
dx
=
x6 + 1
2
6
x6 + 1
Parte IV
Transformada Inversa de Laplace
61
Teorema 4.1 (Transformada Inversa de Laplace (1)). Se f e f 0 forem contnuas por partes
em [0, ), se f for de ordem exponencial c para t 0 e se F (s) for uma transformada de
Laplace, a transformada inversa de Laplace L 1 {F (s)}
f (t) = L
Z +iR
1
est F (s)ds,
{F (s)} =
lim
R
2i
iR
(4.1)
1 Z +i st
e F (s)ds,
{F (s)} =
2i i
(4.2)
ou ainda,
f (t) = L
onde > c.
Segundo Zill e Shanahan (2011) e Spiegel (1971), a integrao em (4.2) deve, como
indicado pelos limites de integrao, ser efetuada ao longo de um contorno retilneo vertical
infinito Re(s) = x = , onde o uma constante real arbitrria, porm, com a restrio de
que fique a direita de todas as singularidades, sejam estas polos, pontos de ramificaes
ou singularidades essenciais. Sendo que na prtica, o fato de F (s) ter singularidades
esquerda da reta x = permite que calculemos a integral (4.2) usando a integral de
contorno
1 I st
e F (s)ds
2i C
(4.3)
62
J
B
R
K
O
A
L
M
, onde k>0 e M so constantes.
Rk
Ento
lim
R CR
est f (s)ds = 0
Uma demonstrao para este teorema pode ser visto em Spiegel (1971, p. 270 a
272)
Teorema 4.3 (Transformada Inversa de Laplace (2)). Seja F (s) uma transformada de
Laplace que tem um nmero finito de polos s1 , s2 , ..., sn esquerda da reta vertical
Re(s) = e seja C o contorno ilustrado na Figura . Se sF (s) for limitada em CR quando
R , ento
L 1 F (s) =
n
X
Res(est F (s), sk ).
(4.4)
k=1
Uma demonstrao para este teorema pode ser visto em Zill e Shanahan (2011, p.
285).
Exemplo 17: Calculemos L 1
Soluo:
1
, Res(s) > 0.
s2
63
1
Considerando s uma varivel complexa, a funo F (s) = 2 tem um polo de ordem
s
2 em s = 0. Desta forma, usando (4.4) e (3.8), temos
f (t) = L 1
1
s2
= Res(est
1
, 0)
s2
d
est
1
lim
(s 0)2 2
=
2 1 s0 ds
s
"
d st
e
s0 ds
= lim
= lim test = t
s0
f (t), t > 0
1 Z +i st
e F (s)ds =
0,
2i i
t<0
(
(4.5)
e2s
, Re(s) > 5.
(s 2)(s 5)
)
Soluo:
Antes de calcularmos os resduos nos polos simples s = 2 e s = 5, notemos que ao
usarmos a equao (4.1), obtemos, substituindo t por t 2 em (4.5),
f (t), t 2 > 0
es(t2)
1 Z +i
ds =
0,
2i i (s 2)(s 5)
t2<0
f (t) = L
e2s
(s 2)(s 5)
= lim(s 2)
s2
e2s
e2s
st
= Res e
, 2 + Res e
,5
(s 2)(s 5)
(s 2)(s 5)
!
st
es(t2)
es(t2)
+ lim(s 5)
(s 2)(s 5) s5
(s 2)(s 5)
1
1
= e2(t2) + e5(t2) .
3
3
Parte V
Resultados
67
E(t)
E0
2a
3a
4a
-E0
dI
+ RI = E(t)
dt
onde
I(0) = 0
(4.6)
dI
} = LsI
dt
(4.7)
(4.8)
Z 2a
1
est E(t)dt
1 e2sa 0
Z 2a
Z a
1
st
=
e (E0 )dt +
est (E0 )dt
1 e2sa 0
a
2a
E0
est
est
=
+
1 e2sa
s 0
s a
68
E0
=
1 e2sa
1 2esa + e2sa
s
E0 (1 esa )2
=
s
1 e2sa
E0 (1 esa )
=
s (1 + esa )
E0
sa
=
tanh
s
2
E0 e 2
=
sa
s e2
sa
sa
(e 2 e 2 )
sa
sa
(e 2 + e 2 )
(4.9)
ou
sa
E0
=
tanh
I(s)
s(Ls + R)
2
E0 1
1
sa
I(t) =
L
R tanh
L
2
s(s + L )
!)
(4.10)
n
X
Res(est F (s), sk ).
(4.11)
k=1
(4.12)
senh( sa
)
1
2
=
sa
R
s(s + L ) cosh( 2 )
69
R
s+
L
= limR
s L
!"
est
sa
R tanh
2
s(s + L )
"
!#
= limR
s L
est
sa
tanh
s
2
L Rt
aR
e L tanh
R
2L
Res F (t), sk
est
sa
= lim (s sk )
R tanh
ssk
2
s(s + L )
s sk
lim
ssk cosh sa
2
1
a
senh sk2a
2
est senh sa
2
lim
ssk s(s R )
L
it
2e(2k+1) a
=
(2k + 1)i[(2k + 1) i
+R
]
a
L
Portanto a soma dos resduos
it
X
aR
2e(2k+1) a
L Rt
L
e tanh
+
R
2L k= (2k + 1)i[(2k + 1) i
+R
]
a
L
2
k=
cos (2k +
1) t
a
+ isen (2k +
"
sen (2k +
1) t
a
"
2 X
k=
"
1) t
a
R
L
"
#!
icos (2k +
"
(2k + 1) (2k +
R
L
"
1) t
a
1) i
a
(i)
(i)
(2k +
1) i
a
(2k +
1) i
a
R
L
R
L
"
!#
70
"
"
#! "
icos (2k + 1) t
sen (2k + 1) t
a
a
2 X
k=
(2k + 1)Li + aR
aL
#
"
2 2
(2k + 1) (2k + 1) L + a R
a2 L 2
t
t
t
t
aRsen (2k + 1) a (2k + 1)Lisen (2k + 1) a (2k + 1)Lcos (2k + 1) a + aRicos (2k + 1) a
2 X
k=
(2k + 1) a2 R2 + (2k + 1)2 2 L2
aL
(2n 1)Lcos(2n 1) t
aRsen(2n 1) t
2X
a
a
n=1
(2n 1)[a2 R2 + (2n 1)2 2 L2 ]
aRsen(2n 1) t
(2n 1)Lcos(2n 1) t
aR 2E0 X
E0 Rt
a
a
L
e tanh
+
I(t) =
R
2L
L n=1
(2n 1)[a2 R2 + (2n 1)2 2 L2 ]
71
Concluso
O trabalho apresentado descreve um mtodo para resolver alguns tipos de problemas
de valor inicial modelados por equaes diferenciais lineares, em especial equaes no
homogneas com foramento descontinuo, que por natureza, so difceis ou por demais
trabalhosas de serem calculadas pelas tcnicas tradicionais.
No decorrer deste trabalho, foi possvel rever e aprofundar vrios conceitos e
resultados adquiridos ao longo do curso, como por exemplo: as propriedades dos nmeros
complexos estudadas na disciplina de Variveis Complexas, sries e equaes diferenciais
estudada na disciplina de Clculo. Com isto foi possvel compreender melhor a importncia
da anlise complexa na resoluo de problemas, bem como o uso de equaes diferenciais
na modelagem de problemas fsicos. Alm disto, importante ressaltar a valiosa lio que
se obteve com o desenvolvimento deste trabalho, desde sua concepo, passando pela fase
de pesquisa e estudo, at a sua apresentao final.
Por fim, sugerimos para trabalhos futuros, um aprofundamento no estudo de
Transformada Integrais, em especial a Transformada de Fourier, suas aplicaes na resoluo
de equaes diferenciais e sua relao com a Transformada de Laplace.
73
Referncias
BASSANEZI, R. C.; FERREIRA JUNIOR, W. C. Equaes Diferenciais com Aplicaes.
1. ed. So Paulo: Habra, 1998. Citado 3 vezes nas pginas 15, 20 e 37.
BOYCE, W. E.; BRANNAN, J. R. Equaes Diferenciais Uma Introduo a Mtodos
Modernos e Suas Aplicaes. 1. ed. Rio de Janeiro: LTC, 2008. Citado 3 vezes nas pginas
15, 25 e 38.
BOYCE, W. E.; DIPIRMA, R. C. Equaes Diferenciais Elementares e Problemas de
Valores de Contorno. 6. ed. Rio de Janeiro: LTC, 1999. Citado na pgina 15.
CHURCHILL, R. V. Variveis Complexas e suas Aplicaes. 1. ed. So Paulo:
MacGraw-Hill do Brasil, 1975. Citado na pgina 56.
FIGUEIREDO, D. G.; NEVES, A. F. Equaes Diferenciais Aplicadas. 3. ed. Rio de
Janeiro: IMPA, 2014. Citado na pgina 21.
HALLIDAY, D.; RESNICK, R.; WALKER, J. Fundamentos de fsica, volume 2:
eletromagnetismo. 8. ed. Rio de Janeiro: LTC, 2008. Citado na pgina 24.
NAGLE, R. K.; SAFF, E. B.; SNIDER, A. D. Equaes Diferenciais. 8. ed. So Paulo:
Pearson, 2012. Citado na pgina 19.
SOARES, M. G. Clculo em uma varivel complexa. 5. ed. Rio de Janeiro: IMPA, 2012.
Citado na pgina 50.
SPIEGEL, M. R. Transformadas de Laplace. 1. ed. So Paulo: MacGraw-Hill do Brasil,
1971. Citado 6 vezes nas pginas 15, 22, 23, 29, 61 e 62.
ZILL, D. G.; SHANAHAN, P. D. Curso Introdutrio Anlise Complexa com Aplicaes.
2. ed. Rio de Janeiro: LTC, 2011. Citado 11 vezes nas pginas 29, 44, 45, 46, 49, 50, 52,
58, 61, 62 e 63.