Escolar Documentos
Profissional Documentos
Cultura Documentos
Feliz Minhs
ii
Contedo
Introduo
Objectivos Gerais
Programa
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
10
10
11
18
26
33
38
42
.
.
.
.
.
.
.
.
.
.
.
.
.
45
47
47
51
54
55
59
59
62
64
67
69
70
71
iii
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
iv
CONTEDO
2.8
2.9
2.10
2.11
2.12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
78
81
90
95
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
98
101
105
105
106
107
108
109
110
111
112
113
114
116
119
4 Sistemas de EDO
4.1 Introduo e notaes . . . . . . . . . . .
4.2 Sistemas lineares . . . . . . . . . . . . . .
4.3 Sistemas com coecientes constantes . . .
4.4 Sistemas peridicos lineares . . . . . . . .
4.5 Comportamento assimpttico das solues
4.6 Estabilidade de solues . . . . . . . . . .
4.7 Sistemas autnomos planares . . . . . . .
4.8 Exerccios . . . . . . . . . . . . . . . . . .
4.9 Actividades . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
123
124
128
136
139
142
155
156
166
172
.
.
.
.
.
177
. 177
. 178
. 179
. 179
. 180
5 Sries de Fourier
5.1 Funes peridicas . . . . . . . . . . .
5.2 Sries trigonomtricas . . . . . . . . .
5.3 Frmulas de Euler para os coecientes
Clculo de a0 . . . . . . . . . .
Clculo dos coecientes an . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
CONTEDO
Clculo dos coecientes bn . . . . .
5.4 Ortogonalidade . . . . . . . . . . . . . . .
5.5 Convergncia uniforme . . . . . . . . . . .
5.6 Convergncia e soma das sries de Fourier
5.7 Funes com um perodo genrico 2L . . .
5.8 Expanso em sries de senos e co-senos . .
5.9 Prolongamentos peridicos . . . . . . . . .
5.10 Sries de Fourier complexas . . . . . . . .
5.11 Integrais de Fourier . . . . . . . . . . . . .
5.12 Exerccios . . . . . . . . . . . . . . . . . .
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
181
184
185
193
195
198
201
204
207
214
Bibliograa
217
Bibliograa base . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
Leituras complementares . . . . . . . . . . . . . . . . . . . . . . . . 217
Mtodos de Ensino
219
Avaliao
221
vi
CONTEDO
Introduo
Unidade Curricular: Anlise Matemtica III
Tipo: Obrigatria
Nvel: Base
Ano: 2o
Semestre: 1o
Carga horria semanal: 3 horas de Aulas Tericas e 2 horas de Aulas
Prticas
Crditos (ECTS): 6
Objectivos Gerais
Considerando esta unidade curricular no mbito da formao pessoal e cientca, em geral, e da formao matemtica em particular, o aluno dever:
Desenvolver capacidades de abstraco, deduo lgica e anlise.
Adquirir mtodos e tcnicas estruturantes do raciocnio cientco e
matemtico que proporcione um esprito crtico.
Dominar contedos matemticos associados Anlise Complexa, s
Equaes Diferenciais Ordinrias, Sries de Fourier e Geometria Diferencial no espao, ao nvel de conceitos e aplicaes.
Utilizar conhecimentos matemticos na resoluo de problemas e interpretao da realidade.
Adquirir competncias matemticas que possam vir a ser desenvolvidas
e aplicadas em contexto prossional empresarial, de investigao ou de
ensino.
Programa
O aluno dever dominar o Clculo Diferencial e Integral, em R e em Rn ,
bem como conceitos bsicos de lgebra Linear.
Em termos da estrutura curricular da Matemtica Aplicada da Universidade de vora, dever ter conhecimentos matemticos fornecidos pela
Anlise Matemtica I e II e pela lgebra e Geometria Analtica I.
Em cada captulo do programa so apresentadas seces com os seguintes
contedos:
B Objectivos especcos relacionados com os contedos matemticos que o
aluno dever adquirir;
B Resumo dos principais resultados bem como consideraes que permitem
ilustrar a metodologia seguida;
B Exemplos e exerccios, a serem resolvidos na aula, que, alm de ilustrarem resultados e ajudarem a claricar conceitos, funcionam como
motivao para a matria seguinte;
B Ficha-exemplo de exerccios sugeridos;
B Exemplos de trabalhos optativos sugeridos.
Como esta disciplina abarca vrias reas da Matemtica precisa-se, por
captulo, os contedos-base necessrios a uma compreenso adequada do
programa:
1. Elementos de Geometria Diferencial em R3
1.1. Generalidades sobre o espao Rn
1.2. Curvas de nvel e curvas parametrizadas
1.3. Comprimento de arco. Parametrizao por comprimento
de arco
1.4. Curvatura e toro. Frmulas de Frenet-Serret
5
CONTEDO
1.5. Superfcies.
1.6. Plano tangente e recta normal a uma superfcie. Orientabilidade.
2. Introduo Anlise Complexa
2.1.
2.2.
2.3.
2.4.
2.5.
Generalidades.
Funes complexas e funes analticas.
Equaes de Cauchy-Riemann.
Equao de Laplace. Funes harmnicas.
Geometria das funes analticas. Transformao con-
forme.
2.6. Funes complexas elementares.
(i)
Funo exponencial
(ii)
Funes trigonomtricas e hiperblicas
(iii)
Funo logaritmo
(iv)
Potncias complexas generalizadas
2.7. Integrao complexa
(i)
Integral de caminho
(ii)
Propriedades elementares
2.8. Teorema Fundamental do Clculo.
2.9. Teorema de Cauchy e sua evoluo.
2.10. Frmula integral de Cauchy e aplicaes.
3. Equaes Diferenciais Ordinrias
3.1. Denies e generalidades.
3.2. Equaes exactas e factores integrantes.
3.3. Equaes elementares de 1a ordem
(i)
Equao de variveis separveis
(ii)
Equao homognea
(iii)
Equao homogrca
(iv)
Equao linear de 1a ordem
(v)
Equao de Bernoulli
(vi)
Equao de Ricati
3.4. Equaes lineares de 2o ordem
(i)
Reduo de ordem .
(ii)
Soluo particular da equao no homognea
(iii)
Equao homognea com coecientes constantes
4. Sistemas de equaes diferenciais ordinrias
4.1. Introduo e notaes
7
4.2.
4.3.
4.4.
4.5.
Sistemas lineares
Sistemas com coecientes constantes
Sistemas peridicos lineares
Comportamento assimpttico das solues de sistemas lin-
eares.
4.6. Estabilidade de solues
4.7. Sistemas autnomos planares
5. Sries de Fourier
5.1. Funes peridicas.
5.2. Sries trigonomtricas.
5.3. Frmulas de Euler para os coecientes de Fourier.
5.4. Ortogonalidade.
5.5. Convergncia uniforme
5.6. Convergncia e soma das sries de Fourier.
5.7. Funes com um perodo genrico 2L
5.8. Expanso em sries de senos e co-senos
5.9. Prolongamentos peridicos
5.10. Sries de Fourier complexas.
5.11. Integrais de Fourier.
CONTEDO
Captulo 1
Elementos de Geometria
Diferencial em R3
Neste captulo pretende-se que o aluno:
Adquira a noo de curva, entenda a importncia da parametrizao
de curvas e reconhea a vantagem de algumas reparametrizaes.
Utilize adequadamente a funo comprimento de arco.
Associe a cada curva as funes escalares curvatura e toro.
Interprete e calcule num ponto da curva: recta tangente, recta normal,
recta binormal, plano osculador, plano normal e plano recticante.
Calcule e interprete o triedro de Frenet-Serret.
Parametrize uma superfcie.
Calcule as expresses do plano tangente e da recta normal a uma
superfcie.
Adquira o conceito de superfcie orientvel.
Utilize software adequado para visualizao geomtrica e auxlio resoluo de problemas.
1.1
1.2
11
1.3
Comprimento de arco.
comprimento de arco
Parametrizao por
n
X
i=0
k (ti+1 )
ti
i=0
(ti ); i = 0; :::; n + 1;
(ti )k :
(t) dt =
ti
2 C 1 ([a; b]) a
(1.3.2)
= a; por
(u) du:
13
Exerccio 1.3.3 Considere uma curva plana dada por y = f (x); com f 2
C 1 (R):
Escreva-a como curva parametrizada (x) e calcule o comprimento de arco
a partir dum ponto arbitrrio (x0 ):
Compare com a expresso j conhecida do Clculo Integral em R.
Aplicando o Teorema Fundamental do Clculo Integral a (1.3.2) obtemse
ds
= 0 (t)
dt
de onde podemos obter o elemento de arco
0
ds =
(t)
(1.3.3)
dt;
Hlice
Considerando o ponto (a; 0; 0) como origem do arco, mostre que a parametrizao da hlice em funo do comprimento de arco dada por
(s) =
a cos
s
+ b2
a2
; a sen
s
+ b2
a2
;b p
s
+ b2
a2
(1.3.5)
(t)j 0 (t) +
(t)j
00
(t) = 0;
15
o t 2 J:
No primeiro caso diz-se que ' preserva a orientao e no segundo caso
que inverte a orientao.
Sendo o comprimento uma propriedade geomtrica natural o seguinte
resultado:
Proposio 1.3.9 Seja
: [c; d] ! R3 uma reparametrizao da curva
3
: [a; b] ! R . Ento os comprimentos de e so iguais.
Dem. Seja ' a mudana de parmetro tal que =
de arco, c( ), de em [c; d] igual a
Z d
Z d
Z d
0
0
('(t)) '0 (t) dt =
(t) dt =
c( ) =
('(t))
'. O comprimento
(u) du = c( );
fazendo a mudana de varivel u = '(t). Caso contrrio, se '0 (t) < 0, para
qualquer t; tem-se
Z b
Z d
0
0
(u) du = c( ):
('(t)) '0 (t)dt =
c( ) =
a
e0 (t) =
s(t) =
(u) du:
t0
1 0
(t)
=
=
1 0
1 0
(t)
(t)
1
s0 (s 1 (t))
1
k
0 (s 1 (t))k
s
0
(t)
1
s
0
s
0
(t)
1
(t)
1
(t)
= 1:
Exemplo 1.3.13 A hlice dada por (1.3.4) pode ser parametrizada por comprimento de arco por ser regular, pois
p
0
(t) = a2 + b2 6= 0;
17
Embora qualquer curva regular possua uma reparametrizao por comprimento de arco, pode ser complicado determinar explicitamente essa reparametrizao. Veja-se, por exemplo, dois tipos de diculdades:
1. Pode no ser possvel exprimir o integral (1.3.2) em termos de funes
"usuais".
Por exemplo, para a curva dada por
(t) = (t; t2 ; t3 ); t 2 R;
p
tem-se 0 (t) = (1; 2t; 3t2 ) e k 0 (t)k = 1 + 4t2 + 9t4 : A curva regular,
pois 0 (t) nunca se anula O comprimento de arco a partir de (0) = (0; 0; 0)
Z tp
s(t) =
1 + 4u2 + 9u4 du
0
('(t)) =
'; para
('(t)) = 1;
'2 =
'1 1 '2 :
('(t))
e
0
('(t)) :
0
Mas, para qualquer t 2 J2 ,
(t) = 1 = k 0 ('(t))k, donde j'0 (t)j = 1.
0
0
Logo, ' (t) = 1 ou ' (t) = 1. Pelo Teorema do Valor intermdio pode
mesmo dizer-se que para qualquer t 2 J2 ou '0 (t) = 1 ou '0 (t) = 1:
Portanto '(t) = t + c para qualquer t 2 J2 ou '(t) = t + c para qualquer
t 2 J2 .
Note-se ainda que uma curva de nvel pode ter parametrizaes regulares
e outras no regulares. Por exemplo, a parbola y = x2 pode ter uma
parametrizao regular dada por (t) = (t; t2 ) e uma no regular denida
por (t) = (t3 ; t6 ):
Salvo referncia em contrrio, utilizar-se-, neste curso, o termo curva
para designar uma curva regular.
1.4
k 0 (t) ^ 00 (t)k
:
k 0 (t)k3
(1.4.1)
00
Ento
0
(t) ^
00
e, consequentemente,
0
(t) ^
00
(t) =
'0 (t)
e0 ('(t))
e00 ('(t)) ;
(1.4.3)
(1.4.4)
(1.4.5)
e
pelo que
e0 ('(t))
e00 ('(t)) =
(t) =
= 1
e ('(t))
(t);
k 0 (t) ^ 00 (t)k
:
k 0 (t)k3
0 (s)
k 0 (s)k
T 0 (s)
:
(s)
(1.4.6)
(1.4.7)
Triedro de Frenet-Serret
Em cada ponto (s) temos trs rectas e trs planos "especiais":
recta tangente, paralela a T (s);
recta normal principal (ou, apenas, recta normal), paralela a N (s);
recta binormal, paralela a B(s);
plano osculador, paralelo a T (s) e N (s);
plano normal, paralelo a N (s) e B(s);
plano recticante, paralelo a T (s) e B(s).
As derivadas dos vectores anteriores, em ordem a s; permitiro obter as
frmulas de Frenet-Serret.
(1.4.8)
(s)N (s);
(1.4.9)
N (s) j B 0 (s) =
T 0 (s)
j B 0 (s) =
kT 0 (s)k
1 0
T (s) j B 0 (s): (1.4.10)
k(s)
=
=
(s)N (s);
(1.4.11)
(1.4.12)
(s)N (s):
(1.4.13)
N (s) =
B (s) =
(t) =
0 (t)
P traduz-se por
8s 2 I; ( (s)
p0 jv) = 0:
Derivando obtem-se
(T (s)jv) = 0 e k(s)(N (s)jv) = 0
para qualquer s 2 I. Isto signica que v perpendicular a T (s) e a N (s),
para qualquer s 2 I. Portanto v paralelo ao vector binormal B(s) em
cada s 2 I, ou seja, B(s) = '(s)v para algum escalar real '(s). Como
kvk = kB(s)k = 1, tem-se j'(s)j = 1. Em concluso B(s) = v ou B(s) = v
para cada s 2 I.. Mas a funo B : I ! R3 dada por s 7 ! B(s) suave,
1
p0 (t) = v(t)T (t) + N 0 (t) = v(t)T (t) v(t)T (t) = 0;
k
pela segunda frmula de Frenet-Serret, ento p(t) constante, digamos
p(t) = p0 para qualquer t 2 I. Alm disso, para cada t 2 I,
k (t)
p0 k =
1
1
N (t) = ;
k
k
o que mostra que todos os pontos da curva esto contidos na circunferencia de centro p0 e raio k1 .
Considerando a curva : I ! R3 como uma funo vectorial (t) que d
a posio de um ponto mvel no instante t 2 I; ento (t) poder ser considerada como um movimento, denindo a derivada 0 (t) o vector velocidade,
v(t), no instante t 2 I; cuja grandeza dada por k 0 (t)k ; e a(t) = 00 (t); o
vector acelerao, no instante t 2 I:
1.5
:U
R2 !
1.5. SUPERFCIES
27
tem caracterstica 2.
Neste curso estudam-se apenas superfcies suaves regulares, as quais
podero ser designadas abreviadamente por superfcies.
Note-se que a condio (iii) equivale a dizer que os vectores-colunas de
J (q) so linearmente independentes, isto , para cada q 2 U se tem
@
@
(q) ^
(q) 6= (0; 0; 0);
@x
@y
o que fornece um critrio para aferir da regularidade da superfcie S num
ponto.
Exemplo 1.5.2 (i) Um plano em R3 uma superfcie com uma parametrizao global. De facto, para P um ponto arbitrrio do plano, consideremse dois vectores do plano perpendiculares, u = (u1 ; u2 ; u3 ) e v = (v1 ; v2 ; v3 ):
!
Ento, para qualquer ponto Q do plano, o respectivo vector w = P Q uma
combinao linear de u e v: u + v para alguns escalares e . Portanto
Q = P + u + v; ; 2 R.
A parametrizao ento dada pela funo
: R2 !
R3
( ; ) 7 ! P + u + v:
(ii) Um subconjunto aberto de um plano de R3 uma superfcie.
Parametrizao da esfera
sen'; sen ):
;0
'
2 :
(1.5.1)
0; y = 0g :
2; 2
calcula-se
tem-se
p
p
@
@
^
= cos4 + sen2 cos2 = cos2 = j cos j =
6 0;
@
@'
1.5. SUPERFCIES
29
@
isto , @@ ^ @'
6= (0; 0; 0):
Para se cobrir toda a superfcie esfrica S, necessrio apresentar, pelo
menos, mais uma parametrizao de S que cubra a parte omitida por .
Por exemplo, considere-se a parametrizao
obtida de
por uma composio de rotaes: uma de amplitude em torno do eixo OZ (que aplica
(x; y; z) em ( x; y; z)) seguida de outra de amplitude =2 em torno do
eixo OX (que aplica ( x; y; z) em ( x; z; y)). Formalizando a funo
tem-se
:U !S\V
cos
sen');
4 :jpg
Esfera cortada
A imagem de o complementar da semi-circunferncia C formada pelos
pontos de S da forma (x; y; 0) com x 0.
Note-se que a reunio das imagens de e e d a totalidade da superfcie
esfrica S e que a maioria dos pontos de S est na imagem de ambas as
parametrizaes.
O prximo resultado fornece um processo genrico de obter superfcies:
Proposio 1.5.4 Seja f : U
R2 ! R uma funo suave. Ento o
grco de f
Gf = f(x; y; z) 2 R3 : z = f (x; y)g
(1.5.3)
uma superfcie.
U
!
Gf
(x; y) 7 ! (x; y; f (x; y)):
@f
@f
@f
(p);
(p);
(p)
@x
@y
@z
6= (0; 0; 0):
1 (a)
U . Por hiptese,
@f
@f
@f
(p);
(p);
(p)
@x
@y
@z
6= (0; 0; 0) :
1.5. SUPERFCIES
31
U
!
R3
(x; y; z) 7 ! (x; y; f (x; y; z)):
A matriz jacobiana de F em p,
2
1
4
0
JF (p) =
@f
@x (p)
0
1
@f
@y (p)
3
0
0 5;
@f
@z (p)
@f
@z (p)
Ve
h := f3 ' : '
(x; y)
7 ! f3 (x; y; a):
(x; y)
Ve
Gh
Ve
um aberto de R2 ;
(F (x; y; z)) = F
= F
@
@ 1
@
@
@ 2
(u; v) =
(u; v): (u; v) +
(u; v): (u; v):
@y
@y
@x
@y
@y
Ento
@
@
(u; v) ^
(u; v)
@x
@y
@ 1
@
@ 1
@
=
(u; v) 2 (u; v)
(u; v) 2 (u; v)
@x
@y
@y
@x
@
@
= det(J (u; v)) (u; v) ^
(u; v):
@x
@y
@
@
(u; v) ^
(u; v)
@x
@y
1.6
33
t 7 ! (u(t); v(t))
com u; v : ]a; b[ ! R funes suaves tal que
(t) = (u(t); v(t)):
(1.6.1)
(q)
@
@
(q) e
(q);
@x
@y
que se designa por espao tangente ou plano tangente de S em p:
Dem. Seja v um vector tangente a S em p e seja : U ! W
S
uma parametrizao de S contendo o ponto p. Ento existe uma curva
: ]a; b[ ! W tal que (t0 ) = p e 0 (t0 ) = v. Consideremos a composio
1
]a; b[ ! W
1
Representando
2
4
! U ! W:
@
0
1 (t0 )
@x
(q) +
@
0
2 (t0 )
@y
(q):
Reciprocamente, seja
v = c1
e dena-se
@
@
(q) + c2 (q)
@x
@y
: R !
R2
t 7 ! q + t (c1 ; c2 ) :
; [ !U !W
(0) = c1
0 (0)
1
= c1 e
S:
0 (0)
1
@
@
(q) + c2 (q) = v
@x
@y
e, portanto, v tangente a S em p.
tangente
5 :jpg
Plano tangente
= c2 , tem-se J (0) =
35
x 2 R3 : x = p +
@
@
(q) +
(q); ;
@x
@y
2R :
(1.6.2)
@
@x (q)
@
@y (q)
@
@x (q)
@
@y (q)
@
@
(q) ^
(q) ;
@x
@y
sendo = 1
a mudana de coordenadas de
Calculando o vector N (p) obtem-se
N (p) =
@
@x (q)
@
@y (q)
@
@x (q)
@
@y (q)
para :
@
@x (q)
@
@y (q)
@
@x (q)
@
@y (q)
N (p);
8(x; y; z) 2 H;
e
N (x; y; z) = (0; 0; 1);
8(x; y; z) 2 H:
0 0
@
(q) = 0
@x
rf (p) j
@
(q) = 0;
@y
rf (p)
:
krf (p)k
Assim toda a superfcie deste tipo (como, por exemplo, os toros, os elipsides, os hiperbolides, etc.) orientvel.
37
Fita de Mbius
Exemplo 1.6.8 A ta de Mbius a superfcie que se obtem rodando
um segmento de recta L em torno do seu ponto mdio P ao mesmo tempo
que P se move ao longo de uma circunferncia C, de tal modo que enquanto
P d uma volta circunferncia C, L d meia volta em torno de P .
Pode-se facilmente construir uma a ta de Mbius unindo as pontas de uma
tira de papel aps termos rodado a tira segundo um ngulo de 180 graus.
Considerando C a circunferncia x2 + y 2 = 1 no plano XOY e para L o
segmento de comprimento 1 paralelo ao eixo OZ e com ponto mdio P =
(1; 0; 0) ento, aps P ter rodado radianos em torno de OZ, L ter rodado
2 radianos em torno de P (no plano contendo P e o eixo OZ). O ponto L
inicialmente em (1; 0; t) passar, aps essa rotao de amplitude , para o
ponto
(t; ) =
t sen
cos ; 1
t sen
sen ; t cos
1.7
Exerccios
1. Determine parametrizaes
x2
4
y2
9
x2 = 1; y > 0g.
= 1g:
t2
:
t2 +1
1.7. EXERCCIOS
39
em [0; ].
9. Dois pontos consecutivos duma hlice circular com a mesma projeco no plano XOY denem um arco, espira da hlice, e a distncia
entre estes dois pontos designa-se por passo da hlice.
Determine o comprimento da espira e o passo da hlice : [0; +1[! R3
denida por
a;b (t)
1
3 (1
+ t) 2 ;
(cos3 t;
1
3 (1
t) 2 ;
sen t;
3
5
pt
2
cos t)
sen3 t):
t3 ; 3t2 ; 3t +
: R ! R3 , (s) =
5
13 cos
: ] 1; 1[ ! R3 , (s) =
s; 18
13
3
(1+s) 2
12
13 cos
sen s;
;
3
s) 2
(1
pt
2
s ;
por
( ) = (a + r cos (f ( )) ; b + r sen (f ( ))) ;
a;b (t)
a;b (t);
1.7. EXERCCIOS
41
(x; y; z) 2 R3 :
x2 y 2
+ 2 = 1; a; b > 0
a2
b
(x; y; z) 2 R3 : x = x0 ; y = y0 ;
x20 y02
+ 2 =1
a2
b
permanece constante.
b) Mostre que qualquer normal a S paralela ao plano de equao
z = 0.
1.8
Actividades
Actividade 1:
: I ! R3 uma curva regular. Prove que:
Considere
a) Se o vector tangente a
de) uma recta.
b) Se a curvatura de
so equivalentes:
(i)
(parte
plano);
(ii) para cada t 2 I, (t) = 0:
Actividade 2:
Seja
3. Se
denir uma trajectria prove que a velocidade da partcula
depende da parametrizao
Actividade 3:
Considere a ta de Mbius referida no Exemplo 1.6.8.
1. Comente a armao:
"Um atleta que percorresse toda a ta de Mbius com o testemunho na
mo direita partida, t-lo-ia na mo esquerda chegada."
Obs.: Exclui-se o caso da mudana voluntria de mo.
2. Prove que a ta de Mbius no uma superfcie orientvel.
3. Mostre que o vector normal unitrio de S em p; N (p), para p =
(0; ), dado por
N (p) =
1.8. ACTIVIDADES
43
4. Verique que
limN (p) = ( 1; 0; 0) e lim N (p) = (1; 0; 0):
!0
!2
Captulo 2
Introduo Anlise
Complexa
Neste captulo pretende-se que o aluno:
Domine a estrutura algbrica do conjunto dos nmeros complexos C.
Compreenda as semelhanas e as peculariedades das funes complexas
relativamente s funes reais de varivel real.
Entenda a diferenciabilidade de funes complexas, o conceito de analiticidade e respectivas propriedades.
Utilize condies necessrias e/ou sucientes de analiticidade de funes
complexas.
Associe as funes harmnicas s suas aplicaes na Cincia.
Conhea funes complexas elementares (exponencial, trigonomtricas, hiperblicas, logaritmo, potenciao generalizada,...) e respectivas propriedades.
Interprete as transformaes geomtricas mais importantes associadas
s funes complexas elementares.
Determine transformados de conjuntos em C por intermdio de funes
de varivel complexa.
Compreenda a utilidade das transformaes conformes.
45
46
2.1. GENERALIDADES
2.1
47
Rever conceitos sobre nmeros complexos e suas propriedades, j adquiridos no Ensino Secundrio, nomeadamente :
denio e representao na forma algbrica: z = x + iy;
estrutura algbrica: adio, multiplicao, subtraco, diviso;
representao geomtrica: plano complexo;
nmeros complexos conjugados; mdulo de um nmero complexo; propriedades;
forma polar ou trigonomtrica de um complexo;
operaes com complexos na forma polar; potenciao e radiciao.
2.2
C!C
48
Rn .
fz 2 C : jz
z0 j < "g:
A:
C ! C, z0 2 D; w0 2 C. Diz-se que
z!z0
w0 j < :
ento
lim u(x; y) = a ^ lim v(x; y) = b:
z!z0
z!z0
z 2 +2z+1
z 3 +1
con-
z!z0
f (z)
z
C. A derivada de
f (z0 )
;
z0
z=z
f 0 (z0 ) := lim
49
f (z0 +
z!0
z)
z
f (z0 )
x2 ; x 0
x2 ; x > 0
z!z0
z!z0
f (z0 ) = 0:
Assim
lim f (z)
z!z0
f (z) f (z0 )
(z z0 )
z z0
f (z) f (z0 )
= lim
lim (z z0 )
z!z0
z!z0
z z0
= f 0 (z0 )
0 = 0:
f (z0 ) =
lim
z!z0
50
iz + 2
3z 6i
w!w0
w!w0
g(w)
w
g(w0 )
w0
g 0 (w0 ) = 0:
51
(g f )(z)
z!z0
z
(g f )0 (z0 ) = lim
Como
h(f (z)) =
g(f (z))
f (z)
g(f (z0 ))
f (z0 )
(g f )(z0 )
:
z0
(2.2.1)
g 0 (f (z0 ))
ento
e
g(f (z))
f (z0 )]
g(f (z))
z
g(f (z0 ))
f (z)
= [h(f (z)) + g 0 (f (z0 ))]
z0
z
f (z0 )
:
z0
(g f )0 (z0 ) =
lim
z!z0
Logo, se z 2 A, ento
(g f )0 (z) = g 0 (f (z)) f 0 (z):
2.3
Equaes de Cauchy-Riemann
Um critrio para aferir da analiticidade de uma funo complexa
f (z) = u(x; y) + iv(x; y)
@v
:
@x
(C-R)
52
@u
@v
@f
+i
=
@x
@x
@x
@v
@u
1 @f
i
=
:
@y
@y
i @y
z!z0
f (z)
z
f (z0 )
:
z0
Se z = x + y0 i, obtem-se
u(x; y0 ) + iv(x; y0 ) u(x0 ; y0 ) iv(x0 ; y0 )
x x0
v(x; y0 ) v(x0 ; y0 )
u(x; y0 ) u(x0 ; y0 )
+ i lim
= lim
x!x0
x!x0
x x0
x x0
@u
@v
=
(x; y0 ) + i (x; y0 ):
(2.3.1)
@x
@x
Por outro lado, se z = x0 + yi, obtem-se
f 0 (z0 ) =
f 0 (z0 ) =
=
=
=
lim
z!z0
z!z0
Como o limite, quando existe, nico, por (2.3.1) e (2.3.2) tem-se que
f 0 (z0 ) =
@u
@v
@v
+i
=
@x
@x
@y
@u
;
@y
ou seja
@u
@v
@u
=
e
=
@x
@y
@y
@v
:
@x
53
@v
= 0;
@x
z!0
f (z)
z
no existe.
u(x0 ; y0 ) =
v(x; y)
v(x0 ; y0 ) =
@u @u
@x ; @y ( )
@v @v
@x ; @y ( )
@u @u
@x ; @y ( )
(x
x0 ; y
y0 )
(x
x0 ; y
y0 )
(2.3.3)
! (x0 ; y0 ).
54
f (z)
z!z0
z
lim
@u
@x ( )(x
@v 0
+i @x
( )(x
lim
(x;y)!(x0 ;y0 )
lim
f (z0 )
z0
(x
@u
@x ( )(x
@v 0
( )(x
+i @x
(x;y)!(x0 ;y0 )
(x
@v
x0 ) @x
( )(y y0 )
0
x0 ) + i @u
y0 )
@x ( )(y
x0 ) + i(y y0 )
0
x0 )2 + @u
y0 )2
@x ( )(y
@v
2
x0 ) + i @x ( )(y y0 )2
x0 )2 + (y y0 )2
@v
@u
(x0 ; y0 ) + i (x0 ; y0 );
@x
@x
existe para todo z0 2 A:
=
2.4
1 @u
:
@
(2.3.4)
@v
:
@x
@2u @2u
@2v
+
=
@x2
@y 2
@x@y
@2v
:
@y@x
@2v
=0
@y@x
2.5
Transfor-
56
(cos(2 ) + i sen(2 )) :
w2C:1
jwj
4^
arg(w)
2
3
y 2 e u = Im(z 2 ) = 2xy:
u :
58
2) conforme em Cnf0g:
az + b
; com a; b; c; d 2 C;
cz + d
2.6
59
Nesta seco pretende-se abordar funes complexas bsicas, mas indispensveis em certas aplicaes, que generalizam as funes elementares
estudadas na Anlise Real (basta considerar para tal z = x). Contudo,
algumas propriedades nem sempre so "intuitivas" e apresentam diferenas
com o caso real.
2.6.1
Funo exponencial
x iy
1
X
(iy)n
= e e =e
n=0
n!
y2 y4
+
2
4!
x
= e (cos y + i seny)
= ex
x2
+ :::
2!
::: + i y
y3 y5
+
3!
5!
:::
(2.6.1)
= 1; e 2 i = i; e
1; e
i; e
1:
60
A partir da Denio 2.6.1 e das propriedades anteriores pode relacionarse a representao trigonomtrica de um complexo, z = cis ; com as
coordenadas polares em R2 ; de modo a obter a represeno polar de um
complexo
z=
ei :
(2.6.2)
Esta relao entre um nmero complexo e as correspondentes coordenadas polares indicia o tipo de transformaes geomtricas realizadas pela
funo exponencial complexa:
A funo f (z) = ez aplica:
rectas verticais x = x0 em circunferncias jwj = ex0 ;
61
Transformaes por ez
Uma diferena fundamental entre a exponencial complexa e a exponencial real tem a ver com a periodicidade:
Proposio 2.6.4 A funo ez uma funo peridica de perodo 2k i;
k 2 Z, i.e.,
ez+2k i = ez ; 8z 2 C.
O perodo minimal de 2 i:
Dem. Suponhamos que ez+w = ez , 8z 2 C, isto , ew = 1.
Considerando w = s + ti, tem-se
es cost + ies sent = 1;
pelo que
es cost = 1 e es sent = 0:
De sent = 0 conclui-se que t = 2k ; k 2 Z; e es = 1; isto , s = 0:
Assim w = 2k i; k 2 Z, i.e, o perodo de ez 2k i; k 2 Z.
Todos os valores possveis que ez pode assumir so obtidos na faixa
horizontal, de amplitude 2 ;
<y
62
Regio fundamental de ez
A funo w = ez aplica de uma forma bijectiva a regio fundamental em
todo o plano C, tal como ilustrado na Figura:
2.6.2
ix
= cos x
i senx:
(2.6.3)
63
eiz
e
2i
iz
e cosz :=
eiz + e
2i
iz
ez + e z
ez e z
senhz
, senhz =
, tanhz =
:
2
2
cosh z
Algumas propriedades destas funes so referidas na proposio:
cosh z =
64
2.6.3
Funo logaritmo
O logaritmo complexo generaliza o logaritmo real mas tem uma abordagem mais elaborada. Um processo "natural" de denir o logaritmo usando propriedades reais, baseia-se na representao polar de um nmero
complexo, (2.6.2), isto ,
logz = log
ei
= log + i :
y < y0 + 2 g:
x2 = 0 ^ y1
y2 = 2k ; k 2 Z:
65
Im(logz) <
(2.6.4)
< arg z
66
Assim
log(z1 z2 ) = Logjz1 j + iarg(z1 ) + Logjz2 j + arg(z2 ) (mod 2 )
= logz1 + logz2 (mod 2 ):
0 ^ y = 0g
e (Logz)0 = z1 :
Dem. Recorrendo forma polar tem-se z = ei um elemento em D.
Ento
logz = Log + i
e obtem-se
u( ; ) = Log
e
v( ; ) = :
As condies de Cauchy-Riemann em coordenadas polares, (2.3.4), vericamse, pois
@u
1
1 @v
@v
1 @u
= =
e
=0=
:
@
@
@
@
Como no domnio D as funes u e v, assim como as suas derivadas, so
contnuas, conclui-se que logz analtica em D, e tem-se
d
1
(logz) = i
dz
e
@u
@v
+i
@
@
1
1
= :
i
z
e
Exerccio 2.6.15 Calcule a derivada da funo log(z 2 ) e indique o respectivo domnio de analiticidade.
67
; isto
Assim em
D = Cnfx + yi : x = 0; y 2 Rg;
tem-se
2.6.4
d
2
(log z 2 ) = :
dz
z
2irp
q
= e2im e
2irp
q
=e
2irp
q
68
+2k
; k 2 Z:
= b zb
69
ez + 1: analtica.
(ex + 1
0 ^ y = 2k ) _ ( ex + 1 0 ^ y = (2k + 1) )
y=k ; k2Z
x 0
y = (2k + 1) ; k 2 Z:
e, para z 2 D;
2.7
ez + 1
0 ^ y = (2k + 1) ; k 2 Zg
d p z
ez
e +1 = p z
:
dz
2 e +1
Integrao complexa
70
Nestes casos, a funo f (z) integrada sobre uma curva C no plano complexo, chamada caminho de integrao, denida parametricamente por
uma funo : [a; b] ! C com
(t) := x(t) + iy(t);
sendo x; y : [a; b] ! R duas funes reais.
2.7.1
Integral de caminho
(ii)
(2.7.1)
0 (t)
existe em
(iii)
(iv)
71
f (z) dz =
Zb
f ( (t))
(t) dt:
f (z) dz:
z 2 dz sendo
o segmento
z dz =
Z1
0
: [0; 1] ! C; t 7 ! 2t + it com
0 (t)
= 2 + i.
Z1
(2t + ti) (2 + i)dt = (2 + i) (3t2 + 4t2 i)dt
2
Z1
1
2 11
= (2 + i)(3 + 4i) t2 dt = (2 + i)(3 + 4i) = + i:
3
3
3
0
2.7.2
Propriedades elementares
(k1 f + k2 g)dz = k1
f dz + k2
gdz:
72
f dz =
f dz:
3. Partio do caminho
Z
f dz =
1+ 2
f dz +
f dz:
4. Independncia da parametrizao
Z
f dz =
Z
e
Exemplo 2.7.5 Calcular o integral do Exemplo 2.7.3 utilizando uma parametrizao diferente para :
Resoluo: . y =
Assim
Z
x
2
com 0
z 2 dz =
Z2
2; z = x + 12 xi e dz = (1 + 12 i)dx.
3 2
x + x2 i
4
1
1 + i dx
2
1
1+ i
2
3
+i
4
Z2
x2 dx
1
1+ i
2
3
+i
4
8
2 11
= + i:
3
3
3
Observao 2.7.6 A proposio anterior permite denir o integral de caminhos regulares denidos por troos, uma vez que estes caminhos so somas
de caminhos regulares. Assim o integral sobre um caminho regular por troos
ser a soma dos integrais dos correspondentes caminhos regulares "parcelares":
Z
n Zti
X
f (z) dz =
f ( (t)) 0 (t) dt;
i=1 t
i 1
para
73
Exemplo 2.7.7 Determine o valor do seguinte integral, sobre a circunferncia unitria , percorrida no sentido positivo (contrrio ao dos ponteiros
do relgio),
Z
z dz:
Resoluo: Pode-se parametrizar a circunferncia do seguinte modo
7 ! ei ;
: [0; 2 ] ! C;
com
0(
z dz =
Z2
iei d = 2 i:
O prximo teorema permite estimar integrais em curvas de difcil parametrizao ou de clculo complicado:
Teorema 2.7.8 Considere f uma funo contnua em A C e um caminho. Se f for limitada sobre , i.e, 9M 0 tal que jf (z)j M; 8z 2 (t),
ento
Z
f (z) dz
M l( );
onde l( ) designa o comprimento de . De um modo mais geral tem-se
Z
f (z) dz
jf (z)j jdzj =
Zb
a
jf ( (t))j
(t) dt:
Dem. Dada
: [a; b] ! C; t 7 ! (x(t); y(t))
temos que
Zb p
[x0 (t)]2 + [y 0 (t)]2 dt
l( ) =
a
74
Zb
f (t) dt
jf (t)j dt:
Seja
Zb
f (t) dt = ei ;
para
xos. Logo
Zb
=e
f (t) dt =
0 b
Z
= Re( ) = Re @ e
Re e
pois je
f (t) dt
Como
Zb
f (t) dtA =
f (t)
je
Zb
Re e
f (t)
f (t)j = jf (t)j;
j = 1; tem-se
=
Zb
f (t) dt
Zb
a
jf (t)j dt:
f (z) dz
Zb
f ( (t))
(t) dt:
Zb
jf ( (t))j
Zb
(t) dt
(t) dt = M l( ):
dt:
75
Logz
dz
z2
log r +
:
r2
log r +
:
r2
Assim
Z
2.8
Logz
dz
z2
log r +
r2
2 r=2
log r +
:
r
f (z) dz = F ( (b))
fechada ento
I
f (z) dz = 0:
F ( (a)):
76
f (z) dz =
Zb
f ( (t))
Zb
d
(F
dt
(t) dt =
Zb
F 0 ( (t))
(t) dt
) (t) dt
= (F
) (b)
= F ( (b))
(F
) (a)
F ( (a)) = F (z1 )
F (z2 ):
Resoluo: Como
z3 =
1 4
z
4
tem-se que
Z
z dz =
1
4
1
4
z 4 dz
i
2
15
:
64
77
z(t) := (t) = z0 +
dada por
2 :
Ento
z0 )m =
(z
eimt , dz = i eit
e
I
Se m 6=
I
(z
z0 )
dz =
Z2
imt
it
i e dt = i
m+1
Z2
ei(m+1)t dt:
1;
m
(z
z0 )
dz =
2
m+1 Z
i(m+1)
i (m + 1) ei(m+1)t dt
m+1
=
Se m =
m+1
ei(m+1)t
i2
0
m+1
m+1
ei(m+1)2
1;
I
Ento
(z
(z
z0 )
z0 )m dz =
dz = i
Z2
1dt = 2 i:
2 i se
m= 1
0 se m 6= 1; m 2 Z:
1
dz
z
1.
1 = 0:
78
1
dz =
z
( ) = ei ; 0
1 i
ie d = i:
ei
; com
( )=
2.9
79
0 (t)
b) H(1; t) =
1 (t)
ZZ
@Q
@x
@P
@y
dxdy:
80
Teorema 2.9.7 (de Cauchy) Se f analtica e f 0 contnua num conjunto A C simplesmente conexo, ento, para qualquer uma curva simples
fechada em A;
I
f (z) dz = 0:
Dem. Seja f = u + vi, ento
I
f (z) dz =
((udx
ZZ
@v
@x
Z
vdy)) + i (udy + vdx)
@u
@y
ZZ
dxdy + i
@u
@x
@v
@y
dxdy
= 0 + 0 = 0;
pelas condies de Cauchy-Riemann.
O matemtico francs douard Goursat (1858-1936), num artigo publicado em 1900 (Transactions Amer. Math. Soc., vol.1), provou o teorema
anterior sem considerar a hiptese de f 0 (z) ser contnua.
Teorema 2.9.8 (de Cauchy-Goursat) Se f analtica num conjunto A
C simplesmente conexo, ento, para qualquer uma curva simples fechada
em A;
I
f (z) dz = 0:
A demonstrao, que pode ser encontrada, alm do artigo referido, em
Erwin. Kreyszic, Advanced Engineering Mathematics, John Wiley & Sons,
Inc., 1999,
baseia-se em trs passos: primeiro considera-se a fronteira de um tringulo,
depois a fronteira de um polgono e, nalmente, uma curva fechada simples
(onde est inscrito um polgono).
Teorema 2.9.9 (da deformao do caminho) Seja f uma funo analtica
em A C, simplesmente conexo, e uma curva simples fechada em A. Se
81
Dem. Seja e =
f dz =
f dz:
0:
pelo que
I
e
f dz =
f dz +
f dz
f dz =
f dz
2.10
f dz;
f dz:
f (z)
dz:
z z0
(2.10.1)
82
I
= f (z0 )
1
z
z0
= f (z0 )2 i +
dz +
f (z)
z
z0 j <
f (z)
z
f (z0 )
dz
z0
f (z0 )
dz:
z0
) jf (z)
(2.10.2)
f (z0 )j < :
Designe-se por
Ento
I
e
f (z)
z
f (z0 )
dz
z0
jf (z)
jz
2
f (z0 )j
jdzj
z0 j
=2
f (z)
dz = f (z0 )2 i + 0
z z0
pelo que
1
f (z0 ) =
2 i
f (z)
dz:
z z0
ez z
z 2
2. Calcule
83
dz
I
ez z
z 2
dz , com
origem.
Resoluo:
1. a) Tomando f (z) = ez que uma funo inteira e z0 = 0, pela
frmula integral de Cauchy
I z
e
dz = 2 i f (z0 ) = 2 i:
z
b) Pelo Teorema de Cauchy-Goursat o integral nulo.
2.) Seja f (z) = ez
z, z0 = 2. Ento
I z
e
z
dz = 2 i e2
z 2
2 :
84
z0 )
z0
f (z0 )
1
2 i z0
1
2 i
Quando
z0 ! 0 tem-se
I
(z
z0
f (z)
z0 ) (z
(z
z0
z0 )
1
z0
1
z0
f (z)
z0 ) (z
dz !
z0 )
z0
f (z)dz
dz:
f (z)
dz;
(z z0 )2
pelo que
I
=
(z
z0
f (z)
z0 ) (z
z0
(z
z0
z0 )
f (z)
z0 ) (z
dz
z0 )2
f (z)
dz
(z z0 )2
dz:
M , L = l( ), d0 = d(z0 ; ).
(z
z0
f (z)
z0 ) (z
2 dz
z0 )
j z0 j M L
(d0
z0 ) d20
! 0:
z0 !0
= ei , 0
2 :
85
senz
2 i
dz =
cos 0 = 2 i:
2
z
1!
f (z) dz = 0
ento f analtica em A.
Dem. Como o domnio simplesmente conexo, (alm de ser conexo no
tem "buracos"), prova-se que existe primitiva, F , que analtica, pois F 0 = f
(contnua), pela frmula integral de Cauchy existem F 00 = f 0 , F 000 = f 00 , . .
.. Logo f analtica.
A obteno de estimaes para a funo f e para as suas derivadas
constitui outro campo de aplicaes do Teorema de Cauchy e da frmula
integral
Teorema 2.10.7 (Desigualdade de Cauchy) Sejam f uma funo analtica
em A e a circunferncia de raio r centrada em z0 2 A. Se jf (z)j
M;
para qualquer z 2 A, ento
f (k) (z0 )
k!M
; k 2 N0 :
rk
(k)
k!
(z0 ) =
2 i
f (z)
(z
z0 )k+1
dz:
86
Ento
f (k) (z0 )
k!
2
k!
2
f (z)
(z
z0 )k+1
jf (z)j
z0 jk+1
jz
dz
jdzj
k! M
k!M
2 r = k ; k = 0; 1; 2; :::
k+1
2 r
r
Esta desigualdade importante para obter um resultado famoso para
funes inteiras:
Teorema 2.10.8 (de Liouville) Toda a funo inteira e limitada constante.
Dem. Pela desigualdade de Cauchy, para qualquer z0 2 Df; tem-se
jf 0 (z0 )j
M
r
! 0; quando r ! +1:
1
2 r0
Z2
Z2
jf (z0 )j
1
2
jf (z)j jdzj
f (z0 + r0 ei ) r0 d
f (z0 + r0 ei ) d :
K:
(2.10.4)
87
M , f (z0 + r0 ei )
z0 j
M e K
r0 g. Logo
M:
K. Pelo que
Z2
M; 8z 2
1;
z0 j
1;
r0 g;
1.
88
1
Pn (z)
a0
a1 z
:::
an
1z
n 1
jan jjzjn
ja0 j
jzjn
jan jjzj
jzjn
jan jjzj
jzjn
(jan jjzj
ja1 jjzj
1 j.
:::
jan
ja1 j
a0 j
n
1
jzj
jzjn 2
a0 j ja1 j
j
:::
1
1
a) :
K := max 1;
jPn (z)j
jzjn
:::
jan
jan
1j
1j
(2.10.5)
Seja
n 1
;
1 jjzj
M +a
jan j
(jan jjzj
a)
jan jjzj a
M +a
jan j
jan j
a = M:
M +a
jan j
e jzj >
M +a
jan j
89
obtem-se, directamente.
jPn (z)j
jan j
M +a
jan j
a = M:
1
Pn (z)
K,
1
Pn (z)
em C, i.e,
jf (z)j
1
;
M
max
max
1
;L
M
1
; L ; 8z 2 C;
M
ou seja f (z) limitada em C. Como era uma funo inteira, conclui-se, pelo
teorema de Liouville que f constante,o que um absurdo, pois viu-se que
f no era constante pelo facto de an 6= 0, n 1.
O absurdo veio do facto de se supor que Pn (z) no tinha nenhuma raiz
em C.
90
2.11
Exerccios
z1 z2
j2
jz1
z2
j2
= (1
jz1
j2 )(1
(I3)
jz2 j2 )
2=0
z4
+ i = 0.
b)
a)
b) 0
c)
Im(z) < 1
arg(z + 1 + i)
Re( z1 )
d) jz
<1
4 + ij
jz + 2ij:
z
lim :
p
7. Mostre que a funo f (z) = jxyj verica as equaes de CauchyRiemann em (x; y) = (0; 0), mas no existe f 0 (0).
Este facto contradiz o Teorema 2.3.4?
z!0 z
I14
z 3 + 2z + 1
:
z3 + 1
xy
b) Re f = x2 + y 2 :
y2
2.11. EXERCCIOS
91
2u
@u @ 2 u
+ 2 = 0:
@
@
U60
@u
@x
11. Seja f (z) = u(x; y) + iv(x; y) uma funo analtica em D tal que
@v
+ @y
= 0: Mostre que:
a) f 0 constante em D.
b) f (z) =
C, com u; v 2 C 2 (D),
U25
eiz = eiz ?
14. Utilizando a denio de senh z e coshz, prove que:
a) cosh2 z - senh2 z = 1
b) senh(z1 + z2 ) =senh z1 coshz2 + coshz1 senh z2
c) cosh(z1 + z2 ) = coshz1 coshz2 + senh z1 senh z2 :
15. Verique se as funes senz e cos z so peridicas e, em caso armativo, indique os seus perodos minimais. I9
16. Encontre todas as razes das equaes:
a) ez =
b) cosz = 2
c) senh z = i:
U58
z1
) = log(z1 )
z2
log(z2 ) (mod 2 ):
92
U58
a) logj(1 + i)i j
b) (1 + i)1+i :
20. Derive e indique o domnio de analiticidade das funes:
U61
a) log(ez + 1)
b) z z
c)
d)
e)
1
ez 1
eaz
;
a2 z 2
z2
a2R
2
(ii) o arco de circunferncia centrada na origem (com sentido anti-horrio) e raio 1; entre 1 e i.
I
1
d)
z dz U83
jzj=1
I
1
e)
jzj dz
jzj=1
2.11. EXERCCIOS
93
a curva dada por (t) = eit sen3 t, 0
U84
25. Seja
z 2 dz:
z 3 + 2z
dz:
(z z0 )3
e f (z0 ) = 0
w]e
2 ih(t)
0 (s)
(s)
ds;
constante.
I23
94
29. Considere f : D
C ! C uma funo analtica, f 6= 0; e
curva fechada, seccionalmente regular em D: Prove que
Z 0
f (z)
dz = 0:
f (z)
uma
[0; 2 ]:
[0; 2 ]:
2.12. ACTIVIDADES
2.12
95
Actividades
Actividade 1:I18
Considere as transformaes de Mbius denidas no Exemplo 2.5.2.
a) Mostre que se ad
Mbius constante.
d
(translao)
c
1
(inverso no crculo unitrio)
z
bc ad
bc ad
z (transformao linear)(rotao se
f3 (z) =
= 1)
2
c
c2
a
f4 (z) = z + :
c
f2 (z) =
; senhz =
96
fechado e seccionalmente
1
Pn (z)
Captulo 3
Equaes Diferenciais
Ordinrias
Neste captulo o aluno dever saber:
Distinguir e classicar equaes diferenciais quanto ordem, linearidade e homogeneidade.
Averiguar se uma funo soluo duma equao diferencial ordinria
e/ou de um problema.
Vericar formalmente condies necessrias e conhecer condies sucientes para a existncia de soluo, explcita ou implcita.
Analisar se uma equao diferencial ordinria de 1a ordem exacta
e, em caso armativo, determinar a respectiva famlia de solues, ou,
em caso contrrio, averiguar a existncia de factores integrantes.
Vericar se uma equao diferencial ordinria de 1a ordem tem variveis separveis e, em caso armativo, determinar a respectiva famlia
de solues.
Reconhecer uma equao diferencial ordinria de 1a ordem linear e
dominar a tcnica de resoluo.
Vericar se um conjunto de solues forma uma base do espao de
solues e, nesse caso, determinar a soluo geral.
Reduzir a ordem de uma equao diferencial ordinria, de ordem superior 1a , conhecida uma soluo.
97
98
3.1
Denies e generalidades
(3.1.1)
0 2
4y = 0
(3.1.2)
3xy + 3y = 0
(3.1.3)
0 2
(3.1.4)
y
2 00
x y
2 00
2x y
= 0:
Designa-se por ordem da EDO a maior ordem da derivada (com coeciente no identicamente nulo). Assim as equaes (3.1.1) e (3.1.2) so de
1a ordem, enquanto (3.1.3) e (3.1.4) so de 2a ordem.
Se a igualdade tiver mais de uma varivel independente, ento ser designada por equao diferencial parcial. Exemplo
@2u
(x; y)
@x2
@2u
@2u
(x; y) + 2 (x; y) = 0:
@x@y
@y
99
y=
x2
c
;
x3
c2
;
4
y3 (x) = c1 x + c2 x3 ,
2x
2
y4 (x) =
log(1 + c1 x)
c1
c21
(3.1.6)
y2 (x) = x2 + cx +
(3.1.7)
100
Em geral difcil, e por vezes mesmo impossvel, determinar explicitamente y na relao (x; y) = 0: Contudo poder-se- testar a soluo
0
x
obtendo y 0 pela derivada duma funo implcita: y 0 =
0 e vericar se
F (x; y;
0
x
0
y
0:
1 (x)y
(n 1)
y 0 (x0 ) = y0 ; :::; y (n
1)
(x0 ) = yn
1;
(3.1.9)
101
(3.1.10)
e pela condio
y(x0 ) = y0 :
3.2
M (x;y)
N (x;y)
obtem(3.2.1)
x0 j < a; jy
y0 j < b; a; b 2 R+ :
(3.2.2)
(3.2.3)
102
(3.2.4)
00 = M 0 e F 00 = N 0 : Pela
Dem. Se (3.2.1) exacta ento, por (3.2.3), Fxy
y
yx
x
00 = F 00 :
continuidade de My0 e Nx0 tem-se Fxy
yx
Dem. Reciprocamente, suponha-se que M e N vericam (3.2.4) e construase, para provar que (3.2.1) exacta, uma funo F que satisfaa (3.2.3):
Integrando ambos os membros de Fx0 (x; y) = M (x; y) em ordem a x,
obtem-se
Z x
F (x; y) =
M (s; y)ds + g(y);
(3.2.5)
x0
My0 (x; y) = 0;
x0
x0
x0
103
ex seny)y 0 = 0; y(0) =
0
yM
+ My0 =
0
xN
+ Nx0 :
(3.2.9)
A0 (x)N
A(x)
Denindo
g(x) :=
Nx0 :
(3.2.10)
A0 (x)
B 0 (y)
, h(y) :=
A(x)
B(y)
A(x) = e
g(x)dx
e B(y) = e
h(y)dy
104
y 2 + xy 0 = 0
(3.2.11)
n(1
y) =
2y
(y
1) + x
2y 2;
2 0
y = 0;
ou seja
y=
1
1
cx
Exemplo 3.2.5 De um modo mais geral pode olhar-se para um factor integrante do tipo = (v) com v uma funo de x e y, conhecida. Neste caso,
de (3.2.9), obtem-se
Nx0 My0
1 0
(v) = 0
:
(3.2.12)
vy M vx0 N
Se o 2o membro de (3.2.12) depender apenas de v, por exemplo uma funo
(v); ento o factor integrante dado por
R
(x; y) = e
(v)dv
Exerccio 3.2.6 Determine uma expresso para o factor integrante nos casos particulares em que v = x e v = y:
Curiosamente, a partir de dois factores integrantes de (3.2.1) possvel
encontrar uma soluo:
Lema 3.2.7 Se a equao (3.2.1) for exacta e admitir o factor integrante
(x; y) ento (x; y) = c uma soluo de (3.2.1).
0
0
yN y
=N
0
x
105
0 N:
x
0 0
yy
=N
d
= 0;
dx
3.3
3.3.1
(3.3.1)
Se Y1 (y)X2 (x) 6= 0 para (x; y) 2 S; dado por (3.2.2), ento (3.3.1) pode
ser escrita como uma equao exacta
X1 (x) Y1 (y) 0
+
y =0
X2 (x) Y2 (y)
(3.3.2)
106
1
y2
y 0 = 0; xy(y
1) 6= 0:
cx)
(3.3.4)
3.3.2
Equao homognea
1
x
f (x; y):
a relao car
xk f 1;
y
= f (x; y)
x
o que permite concluir que uma funo homognea de grau 0 uma funo
de uma nica varivel u := xy .
Uma equao diferencial
y 0 (x) = f (x; y)
(3.3.5)
107
3.3.3
x2
2xy
:
3y 2
Equao homogrca
a1 x + b1 y + c1
a2 x + b2 y + c2
(3.3.6)
a1 u + b1 v
a2 u + b2 v
2x + 3
; y(3) = 2.
2y x
108
3.3.4
(3.3.7)
(x)
com p(x) = pp01 (x)
e q(x) = pr(x)
funes contnuas em I:
0 (x)
A equao homognea correspondente
y 0 + p(x)y = 0
(3.3.8)
p(x)
p(x)dx
(3.3.9)
y(x) = y0 e
x0
p(t)dt
p(x)dx
y 0 + p(x)y
ye
p(x)dx
ye
= e
0
p(x)dx
= e
p(x)dx
q(x)
p(x)dx
q(x)
= c+
p(x)dx
q(x)dx
p(x)dx
c+
p(x)dx
q(x)dx :
(3.3.10)
109
Observao 3.3.4 Esta soluo y(x) da forma c u(x) + v(x), pelo que a
soluo geral da equao linear completa (3.3.7) se pode obter pela adio
entre a soluo (geral) da equao homognea (3.3.8) e uma soluo particular de (3.3.7).
Caso se pretenda a soluo do problema de valor inicial correspondente,
tratar-se-ia apenas de encontrar o elemento da famlia de solues (3.3.10)
que passa pelo ponto (x0 ; y0 ); isto ,
Z x Rt
Rx
p(s)ds
p(s)ds
q(t)dt :
e x0
y(x) = e x0
y0 +
x0
Note-se que se p(x) e q(x) forem funes constantes, por exemplo, p(x)
p e q(x) q; a soluo car
y(x) =
y0
q
p
ep(x0
x)
q
+ :
p
4y + 2x2 + 4 = 0; x 6= 0; y(1) = 1:
y20 (x) =
=
q(x)
y2 (x)] :
Assim a funo y(x) = y1 (x) y2 (x) soluo da equao homognea associada e, pela Observao 3.3.4, as funes
y(x) = c (y1 (x)
y2 (x)) + y2 (x)
3.3.5
Equao de Bernoulli
110
com p1 (x); p0 (x) e r(x) funes contnuas, p1 (x) 6= 0; designa-se por equao
de Bernoulli.
Exclui-se n = 0 e n = 1 porque nestes casos a equao seria linear.
A equao anterior equivalente a
p1 (x) y
n 0
y + p0 (x)y 1
e, fazendo a substituio v = y 1
1
1
n;
= r(x)
3.3.6
1
y4
; y(0) = :
3
2
Equao de Ricati
(3.3.11)
com p(x); q(x) e r(x) funes contnuas num certo intervalo I; designa-se
por equao de Ricati.
Se for conhecida uma soluo de (3.3.11), y1 (x); (a qual poder no ser
soluo do problema de valor inicial) a substituio
y(x) = y1 (x) +
1
z(x)
z0
z2
= p(x) y1 +
=
donde
1
z
+ q(x) y1 +
1
z
+ r(x)
2y1
1
+ 2
z
z
z0
1
1
= [2p(x)y1 + q(x)] + p(x) 2
2
z
z
z
e
z 0 + [2p(x)y1 + q(x)] z + p(x):
+ q(x)
1
z
111
2xy 2 + 2x + 4x2 y
2x3
1
2x2 + 1; y(0) = ;
2
3.4
(3.4.1)
com p2 (x) (> 0) ; p1 (x) e p0 (x) funes contnuas num intervalo I; no existe
nenhum mtodo para a resolver, excepto em alguns casos particulares.
Os resultados que se seguem resultam da adaptao 2a ordem da teoria
mais geral de sistemas de equaes diferenciais lineares de 1a ordem, a desenvolver mais tarde no prximo captulo, mais concretamente nos Teoremas
4.2.1 a 4.2.3.
Teorema 3.4.1 Existem exactamente duas solues y1 (x) e y2 (x) de (3.4.1)
linearmente independentes num intervalo I: Isto , no existe uma constante
c tal que y1 (x) = c y2 (x); para x 2 I:
Teorema 3.4.2 Duas solues de (3.4.1), y1 (x) e y2 (x); so linearmente
independentes em I se o seu Wronskiano denido por
W (x) = W (y1 ; y2 )(x) :=
y1 (x) y2 (x)
y10 (x) y20 (x)
= y1 (x)y20 (x)
112
Rx
p1 (t)
x0 p2 (t) dt
; x0 2 I:
3.4.1
Reduo de ordem
y12 v 0 + 2y10 y1 v +
pelo que
y12 v = c e
p1 (x)
dx
p2(x)
113
Considerando c = 1, obtem-se
1
v= 2 e
y1
p1 (x)
dx
p2(x)
:= u0 ;
p1 (x)
dx
p2(x)
dx:
(3.4.4)
x2 )y 00
2xy 0 + 2y = 0;
x 2]
1; 1[;
3.4.2
(3.4.5)
(3.4.6)
114
r(x)
:
p2 (x)
(3.4.7)
y2 (x) r(x)
p2 (x)
W (y1 ; y2 )(x)
; c02 =
y1 (x) r(x)
p2 (x)
W (y1 ; y2 )(x)
3.4.3
(3.4.8)
115
i)x
=e
(cos x
i; ento
isen x) :
cos x + c2 e x sen x
5y 0 + 6y = ex :
Apesar de os casos anteriores serem obtidos para equaes com coecientes constantes, esta metodologia pode ser aplicada a outras situaes:
Exerccio 3.4.7 Utilizando uma funo do tipo y(x) = xm discuta, em
funo de m; as vrias formas que a soluo geral da equao de CauchyEuler
x2 y 00 + axy 0 + by = 0; x > 0;
(3.4.9)
pode assumir.
Resoluo: Calculando as derivadas e substituindo, obtem-se
x2 m (m
1) xm
+ axmxm
+ bxm = 0
116
e
m (m
1) + am + b = 0;
que a equao caracterstica de (3.4.9). Assim a natureza das razes determina a soluo:
Razes reais distintas m1 6= m2 : a soluo ser y(x) = c1 xm1 + c2 xm2 ;
Raz real dupla m = m1 = m2 : a soluo ser y(x) = c1 xm + c2 ln x
m
x ;
Razes complexas conjugadas m1 = + i; m2 =
i : a soluo
ser
y(x) = c1 x cos ( ln x) + c2 x sen ( ln x) :
3.5
Exerccios
1. Resolva os problemas de valor inicial:
a) 3x2 + 8xy 2 + x3 + 8x2 y + 12y 2 y 0 = 0; y(2) = 1
b) yexy + 4y 3 + xexy + 12xy 2
2y y 0 = 0; y(0) = 2:
kx+1 0
y
y3
1
x2
x3
3xy
1
y2
y 2 + 2xyy 0 = 0; [ (x)]
b) y + y 2
x y 0 = 0; [ (y)]
(x2 + y 2 )
4. Prove que:
a) u(x; y) = c soluo geral da equao (3.2.1) se e s se M
@u
@y
@M
@y
N @u
@x :
b) a equao (3.2.1) tem um factor integrante
= @N
@x :
1
M 2 +N 2
y = x ex
se
@M
@x
@N
@y
3.5. EXERCCIOS
c) y 0 =
117
3x y 5
3y x+7
N;
118
(3.5.1)
com c1 ; c2 2 R:
10. Considere a equao diferencial
y 00 + 3xyy 0 = 0;
x 2]0; +1[:
1
x2
so solues
2 y 00 + (3x
b) xy 00
y0
1)y 0 + y = 0; x 6= 0; 1; y1 (x) =
1
x 1
4x3 y = 0; x 6= 0; y1 (x) = ex :
p1 (x)
y1 (x) y 0 = 0:
p2 (x)
3x
c) y 00 + 5y 0 + 4y = e
4x :
14. Prove que se a parte real de todas as solues da equao caracterstica (??) so negativas ento
lim y(x) = 0
x!+1
3.6. ACTIVIDADES
3.6
119
Actividades
Actividade 1:
b) v = xy
c) v =
x
y
d) v = x2 + y 2 .
Actividade 2:
120
B
A
1
+c e
Ax
; c 2 R;
(3.6.1)
(3.6.2)
y(0) = 0; y(1) = 0
(3.6.3)
(1
s)f (s)ds:
3.6. ACTIVIDADES
121
sendo
s(1
x(1
G(x; s) :=
x) ; 0
s) ; x
s
s
x
;
1
(x + n) y 0 + ny = 0
1
n! ;
prove que
y2 (x) = 1 + x +
Rx
0
tn e t dt:
x2 x3
xn
+
+ :::: +
:
2
3!
n!
x 2 I:
Prove que:
a) Se y1 (x) e y2 (x) se anulam no mesmo ponto de I; ento
y1 (x) = ky2 (x):
b) Se y1 (x) e y2 (x) tm mximos ou mnimos no mesmo ponto do
intervalo aberto I; ento y1 (x) e y2 (x) no so solues linearmente independentes.
c) Se W (y1 ; y2 ) independente de x; ento p1 (x) = 0; 8x 2 I:
122
y20 (x )
y1 (x):
y10 (x )
0 em I; ou
Captulo 4
Sistemas de Equaes
Diferenciais Ordinrias
Neste captulo o aluno dever:
Utilizar conceitos e mtodos relativos a sistemas lineares de equaes
diferenciais, tais como: espao vectorial de solues, wronskiano, matriz fundamental e sistema fundamental de solues,...
Aplicar propriedades da lgebra Linear (como, por exemplo, dimenso de um espao vectorial, sistemas homogneos e no homogneos,
valores e vectores prprios e respectiva multiplicidade,...) a sistemas
de equaes diferenciais com coecientes constantes.
Saber determinar a exponencial de uma matriz constante, tendo em
conta a natureza, sinal e multiplicidade dos valores prprios, e aplic-la
na resoluo de sistemas lineares.
Identicar condies sucientes para a existncia de solues peridicas
e/ou limitadas de um sistema de equaes diferenciais lineares.
Analisar o comportamento assimpttico das solues de sistemas lineares.
Reconhecer condies sucientes para que as solues de sistemas lineares permaneam limitadas ou se tornem ilimitadas "no innito".
Relacionar propriedades da matriz fundamental com o tipo de comportamento assimpttico.
123
124
4.1
Introduo e notaes
No captulo anterior consideraram-se apenas equaes e problemas escalares de valor inicial. Ser agora natural generaliz-los a sistemas de
equaes diferenciais de 1a ordem e de ordem superior.
Um sistema de equaes diferenciais de 1a ordem pode escrever-se na
forma
u01 = g1 (x; u1 ; :::; un )
u02 = g2 (x; u1 ; :::; un )
..
.
(4.1.1)
1)
125
u0 (x) =
b
u(x)dx =
u(x0 ) = u0 ;
(4.1.3)
126
g(x; v)k
L ku
(4.1.4)
@g
@uk ;
@g
k = 1; :::; n; existem e @u
L. Ento a funo g(x; u) verica a condio
(4.1.4) em E com a constante de Lipschitz L:
@g
(x; v + t (u v)) + :::
@u1
@g
vn )
(x; v + t (u v)) :
@un
v1 )
Logo,
0
G (t)
n
X
@gi
(x; v + t (u
@u1
i=1
n
X
@gi
+
(x; v + t (u
@un
i=1
L (ju1
v1 j + ::: + jun
v)) ju1
v)) jun
v1 j + :::
vn j
vn j) = L ku
vk :
127
A partir da relao
g(x; u)
g(x; v) = G(1)
G(0) =
G0 (t)dt
obtem-se
kg(x; u)
g(x; v)k
G0 (t) dt
L ku
vk :
= (a11 ; a21 ) ;
@g
= (a12 ; a22 ) ;
@u2
ento tem-se
kg(x; u)
= ja11 (u1
g(x; v)k
v1 ) + a12 (u2
v2 )j + ja21 (u1
v1 ) + a22 (u2
v2 j
v1 j + ju2
vk :
v2 )j
v2 j)
Tal como no caso escalar, se g(x; u) for uma funo contnua no domnio
E; ento qualquer soluo de (4.1.3) tambm soluo da equao integral
Z x
u(x) = u0 +
g(t; u(t))dt
(4.1.5)
x0
e recprocamente.
Tal como anteriormente, pode aplicar-se o mtodo de Picard das aproximaes sucessivas para a equao (4.1.5). Assim, admitindo uma funo
contnua u0 (x) como aproximao inicial, as iteraes podem ser dadas por
Z x
n+1
0
u
(x) = u +
g(t; un (t))dt; n = 0; 1; :::
(4.1.6)
x0
(un (x))
Se a sucesso
converge uniformemente para uma funo contnua
u(x) num intervalo I, que contm x0 ; e se os pontos (x; u(x)) 2 E; ento a
funco u(x) soluo de (4.1.5).
128
u1 (0) = 1
u2 (0) = 1;
(4.1.7)
x2
x2
; 1+x+
2
2
2
t
dt
t+
2
x+
x + ex + e
; 1
x + ex
4.2
Sistemas lineares
Se, no sistema (4.1.1), a funo g tiver a forma
g(x; u) = ai1 (x)u1 + ai2 (x)u2 + ::: + ain (x)un ; 1
n;
(4.2.1)
com A(x) uma matriz n n; formada pelos elementos aij (x); b(x) uma matriz
coluna n 1 e u(x) a matriz incgnita, n 1; com as componentes ui (x).
Por analogia com o caso escalar, a existncia e unicidade de soluo para
o sistema (4.2.1) com as condies iniciais
u(x0 ) = u0 ;
(4.2.2)
num intervalo I que contenha x0 ; vericam-se desde que as funes aij (x);
1 i; j n; e b(x) sejam contnuas em I; que ser o caso considerado nos
resultados seguintes.
129
(4.2.3)
ento k1 u(x)+k2 v(x) tambm uma soluo, pelo que as solues de (4.2.3)
formam um espao vectorial. Por outro lado, se u(x) soluo de (4.2.1)
ento v(x) tambm soluo de (4.2.1) se, e s se, u(x) v(x) soluo
de (4.2.3). Ou seja, a soluo geral de (4.2.1) obtem-se adicionando a uma
soluo particular de (4.2.1) a soluo geral do sistema homogneo correspondente, (4.2.3).
Como determinar a dimenso do espao vectorial das solues de (4.2.3)?
Para um determinado conjunto de funes, u1 (x); :::; un (x); o determinante W (u1 ; :::; un )(x); ou apenas W (x); denido por
u11 (x) ::: un1 (x)
u12 (x) ::: un2 (x)
..
.
u1n (x) ::: unn (x)
e designa-se por Wronskiano das funes u1 (x); :::; un (x):
Este determinante fornece informao sobre a dependncia linear das
funes envolvidas:
Teorema 4.2.1 Se o Wronskiano das funes u1 (x); :::; un (x) no nulo
em pelo menos um ponto de I, ento as funes so linearmente independentes em I:
Dem. Sejam u1 (x); :::; un (x) funes linearmente dependentes em I:
Ento existem n constantes c1 ; :::; cn ; no simultaneamente nulas, tais que
n
X
ci ui (x) = 0 em I: Este facto equivalente a armar que um sistema
i=1
n
X
i=1
ci uik (x) = 0; 1
n; x 2 I;
130
n
X
i=1
i=1
n
X
i=1
(4.2.4)
ui (x)
com
a soluo do problema (4.2.3), (4.2.4). Isto , o espao vectorial
de todas as solues de (4.2.3) tem dimenso n:
131
W (x) = W (x0 ) e
x0
T rA(t)dt
(4.2.6)
W (x) =
n
X
i=1
:::
un1 (x)
..
.
(4.2.7)
Pelo sistema (4.2.3), pode-se substituir, neste determinante, uji (x) por
n
X
aik (x)ujk (x), e efectuar operaes de condensao de modo a obter
k=1
W 0 (x) =
n
X
(4.2.8)
i=1
1
2x+2
x2 +2x 1
2
x2 +2x 1
u;
x 6=
2:
As funes
u1 (x) =
x+1
1
e u2 (x) =
x2 + 1
2x
x + 1 x2 + 1
1
2x
= x2 + 2x
132
Rx
x0
T rA(t)dt
Rx
=e
2t+2
x0 t2 +2t 1 dt
x2 + 2x
x20 + 2x0
1
:
1
= A(x) ;
(x0 ) = In :
(4.2.9)
(x) = In
convergem para
(x; x0 ) e
Z
(x; x0 ) = In +
A(t)dt +
x0
Se a matriz A, n
forma
xZ t
x0
x0
(x; x0 ) = In + A
= In +
x0
+1
X
dt + A2
[A(x
m=1
xZ t
x0
dt1 dt + :::
(4.2.10)
x0
x0 )]m
= eA(x
m!
x0 )
x0 )
(4.2.11)
(4.2.12)
133
0 1
tem-se A4m+1 = A; A4m+2 =
1 0
= I; para m = 0; 1; :::; pelo que a srie (4.2.10)
A; A4m+4
cos(x x0 ) sen(x
sen(x x0 ) cos(x
x0 )
x0 )
1 (x)
= A(x)
2 (x)C(x)
2 (x)C
(x) = A(x)
1 (x)
2 (x)C
(x):
Portanto, 2 (x)C 0 (x) = 0 ou C 0 (x) = 0; caso em que C(x) ser uma matriz
constante.
Como 1 (x) e 2 (x) so no singulares, a matriz constante C tambm
no singular.
Como consequncia tem-se a relao
(x; x0 ) =
(x)
(x0 );
(4.2.13)
pelo que a soluo do problema de valor inicial (4.2.3), (4.2.2) se pode escrever como
u(x) = (x) 1 (x0 )u0 :
Note-se que dois sistemas homogneos diferentes no podem ter a mesma
matriz fundamental, isto , (x) determina univocamente a matriz
134
(x)
(x) +
e
1
(x)
(x) =
1 (x):
Contudo, pelo
(x) = 0
(x)A(x):
Por transposio
1
1 (x) T
pelo que
(x)
AT (x)
(x)
AT (x)u:
(4.2.14)
(x0 ; x); 8x 2 J;
(x; x) = I; 8x 2 J:
e
(x; x0 )v 0 (x) = b(x):
Pelo Exerccio 4.2.8, obtem-se
v 0 (x) =
x0
(x0 ; t)b(t)dt:
135
(x; t)b(t)dt:
(4.2.15)
x0
1 (x )u0 :
0
com c =
No caso em que A(x) uma matriz constante substitui-se (4.2.11) em
(4.2.15) e obtem-se
Z x
A(x x0 ) 0
u(x) = e
u +
eA(x t) b(t)dt:
(4.2.17)
x0
u0 =
1
1
u+
(4.2.18)
2ex
2ex
ex + e2x
ex + 2e2x
e2x
2e2x
ex e2x
ex 2e2x
2
1
1
1
u(x) =
ex e2x
ex 2e2x
2
1
Zx
1
1
2e
e
u0
t
2t
t
2t
1
1
dt
1)
1
1
ex
e2x
ex 2e2x
2
1
1
1
u0 + (ex
136
4.3
1x
; :::; un (x) = v n e
nx
(4.3.1)
i;
pelo que ui (x) soluo de (4.2.12). Para provar que (4.3.1) um conjunto fundamental de solues, salienta-se que W (0) = det v 1 ; :::; v n 6= 0;
pois v 1 ; :::; v n so linearmente independentes. Ento o resultado pretentido
resulta do Teorema 4.2.1.
Pelo teorema anterior tem-se
h
eAx = v 1 e 1 x ; :::; v n e
nx
v 1 ; :::; v n
Pn
i=1 ci v
3
2
3
2 3
1
1
1
x
2x
4
5
4
5
4
1 e + c2
0
u(x) = c1
e + c3 2 5 e4x
1
1
1
com c1 ; c2 ; c3 2 R:
;
ie
ix
137
n
X1
rj+1 (x)Pj
n;
valores
(4.3.2)
j=0
com P0 = I; Pj =
j
Y
(A
k I) ;
k=1
1 r1 (x);
r1 (0) = 1
rj0 (x)
j rj (x)
1 (x);
+ rj
rj (0) = 0; j = 2; :::; n:
1 ; :::;
Pn 1
rj+1 (x)Pj veriDem. Bastar provar que (x) dada por (x) = j=0
ca 0 = A ; (0) = I: Para tal, dene-se r0 (x) 0 e obtem-se
0
(x)
(x) =
n
X1
+ rj (x)] Pj
j=0
n
X1
n ) rj+1 (x)Pj +
j+1
n
X1
rj (x)Pj
j=0
n ) rj+1 (x)Pj
j+1
j=0
n
X2
rj+1 (x)Pj
j=0
j=0
n
X2
n
X1
n
X2
rj+1 (x)Pj+1
j=0
[(
n ) Pj
j+1
+ (A
(4.3.3)
j+1 I) Pj ] rj+1 (x)
j=0
= (A
n I)
n
X2
rj+1 (x)Pj
j=0
= (A
n I) (
= (A
n I)
(x)
(x)
rn (x)Pn
rn (x)Pn ;
1)
(4.3.4)
138
n
X1
j=0
1 r1 ;
r20
r30
1 r2
+ r1 ;
r2 (0) = 0;
1 r3
+ r2 ;
r3 (0) = 0:
r1 (0) = 1;
Assim tem-se
eAx = e
1x
I + x (A
1 I)
x2
(A
2
2
1 I)
2
A=4 3
9
1
1
3
3
1
1 5;
4
Exemplo 4.3.6 Seja A uma matriz de ordem 3 com dois valores prprios
sendo um de multiplicidade dois: 1 ; 1 ; 2 : Como r1 (x) = e 1 x ; r2 (x) =
xe 1 x e
xe 1 x
e 2x e 1x
r3 (x) =
+
2
( 1
1
2
2)
obtem-se
"
!
#
e( 2 1 )x 1
x
2
Ax
1x
e =e
I + x (A
+
(A
:
1 I)
1 I) +
2
( 1
1
2
2)
1
A=4 0
0
139
3
0 4
1 2 5;
0 1
1; 1; 1; tem-se
2
3
e x 0 2 (ex e x )
ex e x 5 :
=4 0 e x
0
0
ex
Exerccio 4.3.7 Mostre que para cada matriz A se obtem a matriz exponencial indicada:
ento eAx = e
(a) Se A =
0
1
(b) Para A =
2
eAx = 4
sendo ! =
1
2
cos !x + ! sen!x
1
!e
cos x sen x
.
sen x cos x
x sen!x
x sen!x
cos !x
! sen!x
5;
4.4
140
141
ou seja, o sistema
[ (0)
(!)] C =
(!)
(t)b(t)dt
tem uma nica soluo vectorial C: Mas este sistema tem uma nica soluo
se, e s se, det [ (0)
(!)] 6= 0; pelo que a concluso pretendida resulta
do Corolrio 4.4.2.
Quando as condies do Corolrio 4.4.2 se vericam, a matriz fundamental (x) pode ser escrita como um produto entre uma matriz peridica
de perodo ! e uma matriz fundamental dum sistema diferencial com coecientes constantes. Para tal utiliza-se a matriz logaritmo:
Teorema 4.4.5 Seja A uma matriz quadrada no singular de ordem n.
Ento existe uma matriz B, matriz quadrada de ordem n; (designada por
logaritmo de A) tal que A = eB :
Teorema 4.4.6 (de Floquet) Nas condies do Corolrio 4.4.2 so vlidas
as proposies:
(i) A matriz (x) :=
homogneo (4.2.3);
(ii) Existe uma matriz peridica singular P (x); de perodo !; e uma matriz
constante R tais que
(x) = P (x) eRx :
Dem. Como (x) uma matriz fundamental do sistema diferencial
homogneo (4.2.3), tem-se
0
(x) =
isto , (x) uma matriz soluo do sistema homogneo (4.2.3). Por outro
lado, como det ( (x + !)) 6= 0 para todo o x; tem-se det ( (x)) 6= 0 para
142
(x)C:
(4.4.1)
Pelo Teorema 4.4.5 existe uma matriz constante R tal que C = eR! e, por
(4.4.1), obtem-se
(x + !) = (x)eR! :
(4.4.2)
Dena-se agora a matriz P (x) por
P (x) =
(x)e
Rx
(4.4.3)
(x + !)e
R(x+!)
(x)eR! e
R(x+!)
4.5
(x)e
(x) e e
Rx
Rx
= P (x):
so matrizes
Nesta secco apresentam-se algumas condies a exigir aos dados conhecidos num sistema, de modo a que seja possvel garantir que todas as suas
solues permaneam limitadas ou tendam para zero quando x ! 1. Esta
propriedade torna-se particularmente til j que ser feita sem necessitar da
forma explcta da soluo.
O Exerccio 4.3.9 j fornece condies necessrias e sucientes para que
todas as solues de (4.2.12), u0 = Au, sejam limitadas ou tendam para zero.
Por outro lado, se, no Teorema 4.3.4, se designar cada j = j + i j ;
:= max j e r := max rj ento existe x1 x0 0 tal que para x x1 a
1 j n
1 j n
c e x xr ;
c e x:
(4.5.1)
143
Como o intervalo [0; x2 ] nito, pode-se considerar em (4.5.1) c sucientemente grande de modo a que a desigualdade se verique para qualquer
x 0: Assim qualquer soluo u(x) de (4.2.12) satisfaz a desigualdade
c1 e x ;
ku(x)k
(4.5.2)
com B(x) uma matriz de ordem n com os elementos bij (x) contnuos, 1
i; j n; em [0; +1[:
O prximo lema descreve um processo de obter majoraes:
Lema 4.5.1 (de Gronwall) Seja s : [a; b[! R uma funo contnua e
positiva, vericando, para ; 2 R+
0 no simultaneamente nulos
Z t
g(t)
+
g(s)ds; 8t 2 [a; b[:
a
Ento
g(t)
(t a)
; 8t 2 [a; b[:
e
d
ln
dt
g(t)
Rt
+
a g(s)ds
g(t)
Rt
+
a g(s)ds
+
1;
g(s)ds
e
+
g(s)ds
(t a)
(t
a) ;
(t
a)
144
(t a)
; 8t 2 [a; b[:
kv(x)k
c v0 + c
x0
(4.5.5)
c v0 e
Rx
x0 kB(t)kdt
145
c0 + c2
w(t)dt;
(4.5.7)
x1
x0
+c
x1
x0
e t kB(t)k kv(t)k dt
e c2 = c c1 :
Aplicando agora o Corolrio ?? desigualdade (4.5.7) obtem-se
w(x)
c0 ec2 (x
x1 )
pelo que
kv(x)k
c0 e(c2
)x c2 x1
(4.5.8)
0 1
1 0
u1
u2
(4.5.9)
146
v10
v20
0 1
1 0
0
0
0
2a
ax+b
v1
v2
(4.5.10)
jjB(t)jjdt =
2a
dt = ln
at + b
ax + b
2a
! +1
quando x ! +1:
Estude-se agora o problema
v 0 = Av + b(x);
(4.5.11)
com c0 = ce
x0
147
kb(x)k
para x sucientemente grande, c3
v(x) do sistema (4.5.11) satisfaz
0e
kv(x)k
para x
x0 , c4
0e
(4.5.13)
(4.5.14)
constantes.
sendo
= maxf ; g e
Z
c4 = c0 + c
x1
x0
No caso em que
kb(t)k dt +
cc3
j
e(
)x1
+1 :
Ento toda a soluo do sistema diferencial (4.2.3) tende para zero quando
x ! +1:
148
x0 tem-se
2
ju(x)j
ju(x0 )j +
x0
Rx
ju(x0 )j2 e
x0
M (t)dt
(4.5.16)
o que implica
ju(x)j2
Rx
ju(x0 )j2 e
x0
m(t)dt
A(x)+A (x) =
"
2
(1+x)2
"
1
(1+x)2
x2
x2
1
149
tem-se
Z
2
; M (x) =
e
(1 + x)2
+1
2
dt = 2:
(1 + t)2
Ento todas as solues do sistema diferencial u0 = A(x)u permanecem limitadas quando x ! +1:
1
1+x
Exemplo 4.5.9 Se A =
2
1+x
A(x)+AT (x) =
x2
1
0
4
1 + x2
2
; M (x) =
tem-se
2
e
1+x
+1
2
dt =
1+t
1:
(4.5.18)
e
2
a u1
(4.5.19)
2a) u2 ;
ax
u2 (x) = c2 e(sen(ln x)
2a)x
Como a > 21 , toda a soluo de (4.5.19) tende para zero quando x ! +1:
No sistema perturbado
v10 =
v20
a v1
2a) v2 + e
ax
v1 ;
150
ax
; com
t sen(ln t)
R +1
0
0
jjB(t)jjdt <
ax
(sen(ln x) 2a)x
c2 + c1
v2 (x) = e
dt :
2n+1
2
Denindo x = xn = e
; n = 1; 2; :::; obtem-se
sen (ln xn ) = 1e
1
2
sen (ln t)
2
3
xn e
2n 1
2
t sen(ln t)
2n 1
6
: Portanto
e
xn
2n 1
6
dt >
0
e
t sen(ln t)
dt
2n 1
2
> e
1
x e
2 n
xnZe
2
3
t
e 2 dt
xn e
2
3
xn
e 2 xn e
2a)xn
c2 + c1 xn e
2
3
lim inf
x!+1
T r A(t)dt >
1 ou T r A(x) = 0:
(4.5.20)
151
x0
T rA(t)dt
e
1
adj (x)
adj (x)
Rx
:
=
T rA(t)dt
det (x)
det (x0 )e x0
(x) =
1 (x)
(4.5.21)
limitada.
Denindo
c := max
kv(x)k
1 (x )v 0
0
(x)
(4.5.23)
x x0
obtem-se
com c0 = c
x x0
c0 + c
x0
c2
c0 e
Rx
x0 kB(t)kdt
(t)
c; x0
x < +1;
(4.5.24)
com c uma constante positiva, e suponha-se que a condio (4.5.3) se verica. Ento:
(i) Todas as solues de (4.5.18) so limitadas em [x0 + 1[:
152
e, portanto,
c
c v0 e
kv(x)k
R +1
x0
kB(t)kdt
:= M < +1:
v(x) =
x1
(x)
(x0 )v +
(x)
x0
Z x
(x) 1 (t)B(t)v(t)dt
+
(t)B(t)v(t)dt
x1
e conclui-se que
kv(x)k
k (x)k
+cM
(x0 )
+1
x1
+ k (x)k
x1
x0
kB(t)k dt:
Dado > 0; por (4.5.3), o ltimo termo da expresso acima pode ser considerado como menor que 2 ; escolhendo x1 sucientemente grande.
Como todas as solues de (4.2.3) tendem para zero, necessrio que
k (x)k ! 0 quando x ! +1. Assim a soma dos primeiros dois termos
do segundo membro pode ser considerado arbitrariamente pequeno, por exemplo menor que 2 ; desde que se escolha x sucientemente grande. Ento
kv(x)k < ; para x grande, ou seja, kv(x)k ! 0 quando x ! +1:
As condies (4.5.20) e (4.5.24) podem ser substituidas pela periodicidade da matriz A(x) :
Teorema 4.5.13 Considere-se A(x) uma matriz peridica de perodo ! em
[x0 + 1[ e admita-se que a condio (4.5.3) se verica. Ento:
(i) Todas as solues de (4.5.18) so limitadas em [x0 + 1[ desde que o
mesmo acontea a todas as solues de (4.2.3):
153
e, por conseguinte,
kv(x)k
x x0
(x)
x x0
(4.5.26)
x0
com c5 = c4 e
Rx0 P
1 (x )v 0
0
o que conduz a
kv(x)k
c24 c6
c5 c6 e
Rx
x0 kB(t)kdt
154
o que conduz a
c24 c7
kv(x)k
c5 c7 e
Rx
x0 kB(t)kdt
+1
x0
(4.5.27)
(x0 )u
+c
x0
kb(t)k dt:
4.6
155
Estabilidade de solues
y(0) = y0 ;
(4.6.1)
y0 )
y (x; 0; y0 )j = j y0 j eax
u0
u x; x0 ; u0
! 0 se x ! +1:
156
4.7
157
= a21 u1 + a22 u2 ;
(4.7.2)
158
g
sen (u1 ) ;
L
u01
v2 = u2
u02
transforma-se (4.7.1) num sistema equivalente com (0; 0) como ponto crtico.
Assim, sem perda de generalidade, considerar-se- (0; 0) como ponto crtico
de (4.7.1).
Uma tcnica possvel para estudar o sistema diferencial (4.7.1) na vizinhana do ponto crtico (0; 0) aproxim-lo por um sistema linear da forma
de (4.7.2), na expectativa de que essa "boa"aproximao fornea solues,
que sejam tambm "boas"aproximaes das solues de (4.7.1).
Por exemplo, se o sistema (4.7.1) fosse escrito como
u01 = a11 u1 + a12 u2 + h1 (u1 ; u2 )
u02
(4.7.3)
u2 !0
159
crtico (0; 0); ento pela Frmula de Taylor, o sistema (4.7.1) pode escreverse na forma de (4.7.3) com
a11 =
@g1
@g2
@g2
@g1
(0; 0); a12 =
(0; 0); a21 =
(0; 0); a22 =
(0; 0):
@u1
@u2
@u1
@u2
a21 a12 = 0;
(4.7.4)
= c1
v11
v21
1x
+ c2
v12
v22
2x
(4.7.5)
com c1 ; c2 2 R.
Suponha-se que 1 > 2 (o outro caso anlogo).
Se 2 < 1 < 0 ento todas as solues de (4.7.2) tendem para zero
quando x ! +1; pelo que o ponto crtico (0; 0) assimptoticamente estvel.
v2
No caso de c1 = 0 e c2 6= 0 obtem-se u2 = v22 u1 ; isto , as trajectrias so
linhas rectas com declive
v12
u :
v22 1
v22
:
v12
Analogamente, se c1 6= 0 e c2 = 0 tem-se a
recta u2 =
Para obter outras trajectrias considere-se c1 e c2 ambos
diferentes de zero. Ento
u2 (x)
c1 v21 e
=
u1 (x)
c1 v11 e
1x
+ c2 v22 e
1x + c v2e
2 1
2x
2x
c1 v21 + c2 v22 e(
c1 v11 + c2 v12 e(
1 )x
1 )x
(4.7.6)
160
tende para v21 quando x ! +1; pelo que todas as trajectrias tendem
1
para (0; 0) quando x ! +1: Do mesmo modo, quando x ! 1 todas as
v2
trajectrias se aproximam assimptoticamente da recta de declive v22 :
1
p
v2
Esta situao pode ser ilustrada para um declive v22 = 2 pela gura
1
seguinte, na qual o ponto crtico se designa por n estvel.
v12
u :
v22 1
Neste caso
A soluo geral do sistema (4.7.2) tambm dada por (4.7.5). Considerese que 2 < 0 < 1 : Se c1 = 0 e c2 6= 0 ento tem-se, tal como no primeiro
v2
caso, u2 = v22 u1 e, tanto u1 (x) como u2 (x); tendem para zero quando x !
1
+1:
v1
Se c1 6= 0 e c2 = 0 ento u2 = v21 u1 , u1 (x) e u2 (x) tendem para innito
1
quando x ! +1 e aproximam-se de zero quando x ! 1:
v1
Se c1 e c2 so ambos no nulos ento, por (4.7.6), uu12 tende para v21
1
quando x ! +1: Portanto, as trajectrias aproximam-se assimptoticav1
mente da recta com declive v21 ; quando x ! +1: De modo anlogo, quando
1
v2
161
= c1
1 + (a11
a21 x
)x
+ c2
a12 x
1 + (a22
)x
e x ; (4.7.7)
com c1 ; c2 2 R:
Se < 0; u1 (x) e u2 (x) tendem para zero quando x ! +1 pelo que o
ponto crtico (0; 0) de (4.7.2) assimptoticamente estvel. Por outro lado,
por (4.7.7),
u2 (x)
c2 + [a21 c1 + (a22
) c2 ] x
=
:
(4.7.8)
u1 (x)
c1 + [a12 c2 + (a11
) c1 ] x
Em particular, se a12 = a21 = 0 e a11 = a22 6= 0; pela equao (4.7.4)
tem-se
= a11 = a22 : Assim a razo anterior reduz-se a uu12 = cc12 ; pelo
que todas as trajectrias so linhas rectas com declive cc21 : Nesta situao o
campo de direces dado pela gura seguinte e a origem designa-se por n
prprio estvel.
1,
a21 c1 + (a22
u2 (x)
!
u1 (x)
a12 c2 + (a11
) c2
a21
=
) c1
a11
+i )x
x
(v1 + iv2 ) = e
(v1 cos( x)
v2 sen( x)) + ie
162
(v1 cos( x)
u2 (x) = e
v2 sen( x))
e
so duas solues reais, linearmente independentes de (4.7.2). Alm disso
toda a soluo de (4.7.2) forma
u(x) = c1 u1 (x) + c2 u2 (x);
que, pelas propriedades trigonomtricas pode ser escrita como
u1 (x) = r1 e
u2 (x) = r2 e
com r1
0; r2
0,
x cos(
x cos(
x
x
1)
2 );
(4.7.9)
constantes.
; u2
=e
ca mais prximo da origem que (u1 (0) ; u2 (0)) : Neste caso o ponto crtico
(0; 0); que assimptoticamente estvel, designa-se como um foco ou
ponto de espiral.
Se
> 0 todas as trajectrias de (4.7.2) so espirais que se afastam
da origem, quando x ! +1: Neste caso o ponto crtico (0; 0) instvel e
designa-se por foco instvel.
Os casos anteriormente estudados podem ser resumidos no teorema:
163
2. n instvel, se
5. n instvel, se
6. centro estvel, se
7. foco estvel, se
negativa;
8. foco instvel, se
positiva.
1
1
e
e
so imaginrios puros;
so complexos conjugados com a parte real
so complexos conjugados com a parte real
os valores
6=
164
(4.7.10)
1 e v2 = u2
(4.7.11)
v1 v2 e h2 (v1 ; v2 ) =
h1 (u1 ; u2 )
h2 (u1 ; u2 )
lim p 2
= lim p 2
= 0:
2
u1 !0
u1 + u2 u1 !0 u1 + u22
u2 !0
u2 !0
v10 = v1 v2
v20 = v1 3v2 ;
(4.7.12)
onde a matriz
1
1
1
3
165
estvel.
De modo anlogo, para o ponto ( 1; 1); utiliza-se a substituio v1 = u1 +1
e v2 = u2 + 1 para obter o sistema
v20
(4.7.13)
(4.7.14)
e a matriz
1
1
1
3
p
p
tem os valores prprios 1 = 1 + 5 > 0 e 2 = 1
5 < 0: A soluo
nula do sistema (4.7.14) um ponto de sela instvel. Para o sistema no
linear (4.7.13), a soluo nula tambm um ponto de sela instvel. Ento
o ponto crtico ( 1; 1) do sistema (4.7.10) um ponto de sela instvel.
166
4.8
Exerccios
0 1
1 0
x
x
u+
2
2
u(0) =
1)
(n 1)
(x))
(x0 ) = yn
n
X1
i=0
(x
x0 )i
1
yi +
i!
(n 1)!
(x t)n
1)
(t))dt:
x0
1 (x)y
(n 1)
+ ::: + p0 y = 0:
(4.8.1)
Mostre que:
a) Se y(x) soluo de (4.8.1) e a funo vectorial u(x) denida
por ui (x) = y (i 1) (x); i = 1; :::; n; ento u0 = A(x)u; com
2
3
0
1
0
:::
0
6 0
7
0
1
:::
0
6
7
6 ..
7
A(x) = 6 .
7;
6
7
4 0
5
0
0
:::
1
p0
p1
p2
pn 1
b) Se yk (x); 1
(x)
; 1
Rx
x0
p1 (t)dt
n;
4.8. EXERCCIOS
167
@
@x (x; t) = A(x) (x; t);
@
(x; t)A(t);
@t (x; t) =
Rx
(x; t) = I + t A(s) (s; t)ds;
Rx
(x; t) = I + t (x; s)A(s)ds:
u0 = Au + by(x);
0
3
1
4
u+
1 1
0
4
1
1
b) u =
1
1
2
2 1
c) u0 = 4 1 0
1 1
x
2
3
2
1
1 5u + 4
1
3
2
2
0 5u + 4
1
4x
3
ex
e3x 5 ;
4
3
2 x
1 5:
1 x
a) u0 =
2
1 0
0
4
b) u = 2 1
3 2
u3 (0) = 1;
5
3
u;
u1 (0) =
2; u2 (0) = 1;
3
2
3
0
0
5 ; u1 (0) = 0; u2 (0) = 1;
2 5u + 4
0
x
1
e cos 2x
168
2
c) u0 = 4 3
9
u3 (0) = 0:
3
2 3
1
0
1 5u + 4 x 5;
4
0
1
1
3
u1 (0) = 0;
u2 (0) = 3;
1:
9. Na equao
y 0 = ay + senx;
discuta a existncia de uma nica soluo peridica nos casos:
a) a = 0;
b) a > 0;
c) a < 0:
10. Verique que a equao
y 0 = y cos2 x
no admite solues peridicas, apesar da funo cos2 x ser peridica de
perodo :
11. Considere a equao y 00 + y = sen(2x):
1
3 sen(2x) uma soluo peridica;
equao y 00 + y = 0 admite tambm solues
per-
4.8. EXERCCIOS
169
(4.8.2)
z 00 + (p(x) + q(x)) z = 0;
(4.8.3)
e uma perturbao
onde p(x) e q(x) so funes contnuas em [x0 + 1[:
R +1Prove que se todas as
solues de (4.8.2) so limitadas em [x0 + 1[ e 0 jq(t)jdt < +1 ento
tambm todas as solues de (4.8.3) so limitadas em [x0 + 1[:
14. Na equao (4.8.2) considere-se p(x) uma funo montona com
p(x) ! +1 quando x ! +1: Mostre que todas as solues de (4.8.2) so
limitadas em [x0 + 1[:
15. Justique que todas as solues das seguintes equaes diferenciais
so limitadas em [x0 + 1[:
a) y 00 + 1 +
1
1+x4
y=0
b) y 00 + ex y = 0
c) y 00 + cy 0 + 1 +
1
1+x2
y = 0; c > 0:
1
1 + x4
3
cos x
5:
x2
3x
e
e
0
0
e
3x
b(x) =
cos x
x cos x2
170
6
(ii) A(x) = 4
1
(1+x)2
senx 0
senx
0
so limitadas em [0; +1[:
7
x 5;
0
0
x
6
b(x) = 4
0
1
(1+x)2
1
(1+x)4
7
5;
(4.8.4)
(x) kvk ;
(4.8.5)
com (x) uma funo contnua no negativa em [x0 ; +1[; mostre que:
R +1
(i) Se todas as solues do sistema (4.2.12) so limitadas e x0
(t)dt <
+1 ento todas as solues de (4.8.4) so limitadas.
(ii) Se todas as solues de (4.2.12) tendem para zero quando x !
+1 e lim (x) = 0 ento todas as solues de (4.8.4) tendem para zero
x!+1
quando x ! +1.
20. Se o sistema (4.2.3) for tambm perturbado por uma funo g 2
C ([x0 ; +1[ Rn ; Rn ), isto , na forma
v 0 = A(x)v + g(x; v);
(4.8.6)
R +1
(t)dt < +1; prove que so vere se a funo g verica (4.8.5) com x0
dadeiras as proposies:
(i) Se todas as solues do sistema (4.2.3) so limitadas e se verica
(4.5.20) ento todas as solues de (4.8.6) so limitadas.
(ii) Se todas as solues de (4.2.3) tendem para zero quando x !
+1 e se verica (4.5.24) ento todas as solues de (4.8.6) tendem para zero
quando x ! +1.
21. Analise a estabilidade, a estabilidade assimpttica ou a instabilidade das solues triviais dos seguintes sistemas:
0 1
a) u0 =
u;
1 0
1
0
b) u0 =
2
0
c) u0 = 4 0
1
e2x
1
1
0
6
u;
3
0
1 5 u:
5
4.8. EXERCCIOS
171
k
m
g
L
= 0:
(4.8.7)
u01 = 4u1 + u2
u02 = 3u1 + 6u2
c)
u01 = u2
u02 = 2u1
d)
u01 =
2u1 5u2
u02 = 2u1 + 2u2 :
u2
u01 = u1 (2u2
u02 = u21 + u22
u1 + 5)
6u1 8u2 :
8
>
>
u0 = u2
>
< 1
>
>
>
: u02 =
u1
u1 (u21 +u22 1)
u21 +u22
u2 (u21 +u22 1)
u21 +u22
172
26. Justique que, nos sistemas seguintes, no existem solues peridicas no triviais:
u01 = u1 + 7u22 + 2u31
a)
; D = R2
u02 =
u1 + 3u2 + u2 u21
u01 = u1 u1 u22 + u32
; D = (u1 ; u2 ) : u21 + u22 < 4 :
u02 = 3u2 u2 u21 + u31
b)
4.9
Actividades
Actividade 1:
1.1. Dena-se o conjunto
(
1
:=
x;
0 ; :::;
e considere-se que f x;
n 1
0 ; :::;
(i) contnua em
1;
: jx
n 1
x0 j
n
X1
a;
i=0
yi j
sup f x;
0 ; :::;
M;
n 1
0 ; :::;
n 1
f x;
0 ; :::;
n 1
n
X1
i=0
ij :
y 0 (x0 ) = y1 ; :::; y (n
1)
1)
(x0 ) = yn
Pn
x0 j
1
i=0 jyi j :
h := min a;
b
M1
1;
4.9. ACTIVIDADES
173
w(x):
b)
v 0 (x)
= u(x):
c)
w0 (x)
= v(x):
d) W (u; v; w) = u3
v 3 + w3 + 3uvw = 1:
A
k02
k2
cos (kx) :
A
x sen (k0 x) ;
2k0
174
(n 1)
y1
:::
:::
yn (x)
yn0 (x)
..
.
(n 1)
(x) : : : yn
1) vezes
(x)
Prove que:
a) Se W (y1 ; :::; yn ) (x) diferente de zero em pelo menos um ponto
de J, ento as funes y1 (x); :::; yn (x) so linearmente independentes em J:
b) Se as funes y1 (x); :::; yn (x) so linearmente dependentes em J;
ento o Wronskiano W (y1 ; :::; yn ) (x) = 0 em J:
c) As proposies recprocas de a) e b) no so necessariamente
verdadeiras.
2.2. Considere a equao diferencial
y 00 + p(x)y = 0;
com
R +1
0
(4.9.1)
Prove que:
a) para qualquer soluo de (4.9.1),
x!+1
x!+1
+1
x0
4.9. ACTIVIDADES
175
3.1. Seja f (x; y) uma funo contnua e no negativa para x0 < x < x0 +
a; 0 y 2b, com a propriedade de que apenas a soluo y(x) da equao
diferencial y 0 = f (x; y), em qualquer intervalo ]x0 ; x1 [; com x1 2 ]x0 ; x0 + a[ ;
0 (x ); existe e
para o qual a derivada lateral direita, y+
0
0
y(x0 ) = y+
(x0 ) = 0;
y(x)
0:
f (x; y);
x 6= x0 :
0 a nica funo
y1 (x0 ) = 0:
:= (x; u) : x0
x0 + a;
u0
com
kg(x; u)
g(x; v)k
f (x; ku
u(x0 ) = u0 ;
+;
x 6= x0 :
176
Captulo 5
Sries de Fourier
Ao longo deste captulo considerar-se- as sries de Fourier de um ponto
de vista prtico, pelo que o aluno dever:
Representar funes atravs de sries trigonomtricas e sries de Fourier.
Compreender a utilidade e vantagem destas sries em relao s sries
de Taylor.
Determinar os coecientes da srie de Fourier pelas frmulas de Euler.
Vericar e utilizar a ortogonalidade entre funes.
Reconhecer e utilizar as vantagens da convergncia uniforme das sries
de Fourier.
Calcular a soma duma srie de Fourier. Utilizar esta tcnica para obter
somas de sries numricas.
Obter prolongamentos peridicos de uma funo.
Determinar sries de Fourier complexas e relacion-las com as sries
reais.
Calcular integrais de Fourier e utiliz-los para determinar o valor de
integrais imprprios.
5.1
Funes peridicas
178
f (x + nT ) = f (x); 8x 2 D:
5.2
Sries trigonomtricas
(5.2.1)
179
1
X
(5.2.2)
n=1
5.3
1
X
(5.3.1)
n=1
180
f (x)dx:
(5.3.2)
Z "
; ]:
a0 +
1
X
n=1
cos (mx) dx
1
X
n=1
@an
1
2
1
2
cos ((n
m) x) dx
sen ((n
m) x) dx:
cos ((n + m) x) dx +
1
2
(5.3.4)
181
n = 1; 2; 3; ::: .
(5.3.5)
Z "
a0 +
1
X
n=1
sen (mx) dx
1
X
n=1
@an
1
2
cos ((n
m) x) dx
1
2
182
bn =
n = 1; 2; 3; ::: .
(5.3.7)
Os nmeros dados por (5.3.2), (5.3.5) e (5.3.7) designam-se por coecientes de Fourier de f (x) e, para estes valores, a srie trigonomtrica
a0 +
1
X
n=1
f (x) =
<x<0
; k > 0; f (x + 2 ) = f (x):
0<x<
1 1
+
3 5
n=0
1
+ :::
7
Resoluo:
a) Por (5.3.2) conclui-se que a0 = 0:
Por (5.3.5), obtem-se
an =
14
1
Z0
k cos (nx) dx +
Z
0
sen (nx)
k
n
sen (nx)
+ k
n
= 0:
183
=
=
cos (nx)
k
n
k
[1
n
cos ( n )
cos (nx)
k
n
cos (n ) + 1] =
2k
[1
n
cos (n )] :
Como
1 ; se n mpar
1 ; se n par
cos (n ) =
ento
1
2 ; se n mpar
0 ; se n par.
cos (n ) =
4k
; b2 = 0; b3 =
4k
; b4 = 0; ::: ,
3
1
1
senx + sen (3x) + sen (5x) + ::: :
3
5
4k
1
1
senx + sen (3x) + sen (5x) + :::
3
5
e
f
=k=
4k
1 1
+
3 5
1
+ ::: ;
7
pelo que
+1
X
( 1)n
=1
2n + 1
n=0
1 1
+
3 5
1
+ ::: = :
7
4
Este resultado espectacular, que foi obtido por Leibniz em 1673 utilizando argumentos geomtricos, ilustra como a soma de algumas sries
numricas pode ser obtida atravs do clculo de sries de Fourier, calculadas em pontos especcos.
184
5.4
Ortogonalidade
1
2
cos ((m
Como
2
kfn (x)k =
ento kfn (x)k =
n) x) dx
1
2
cos ((m + n) x) dx = 0:
sen (nx)
p
; n = 1; 2; ::: .
185
5.5
Convergncia uniforme
fn (x):
(5.5.1)
n=0
186
r < 1;
Resoluo:
a) Para x naquela bola fechada tem-se j1
Ento
1
1
j1 xj
1 r
js(x)
sn (x)j =
1
X
k=n+1
xk =
xj
xn+1
1 x
r:
jxjn+1
:
1 r
Como r < 1; o ltimo membro to pequeno quanto n for grande. Escolhendo n sucientemente grande, como este membro no depende de x,
187
188
x0 j
x0 )n+p
jan+1 j rn+1 + ::: + jan+p j rn+p < "; para n > N (") e p 2 N:
Substituindo em (5.5.3) tem-se
an+1 (x
Como a srie converge uniformemente, para " > 0 dado; possvel encontrar
N = N (") tal que
"
jRn (x)j < ; 8x 2 D:
3
Por outro lado, sN (x) a soma de um nmero nito de funes que so
contnuas em x0 2 D; pelo que tambm contnua em x0 :
Portanto possvel ter > 0 tal que
"
jsN (x) sN (x0 )j < ; 8x 2 D com jx x0 j < :
3
Considerando f = sN + RN e a desigualdade triangular, para estes valores
de x; tem-se
jf (x)
sN (x0 )
RN (x0 )j
189
x2
x2
x2
+
+ ::: (x 2 R)
+
1 + x2 (1 + x2 )2 (1 + x2 )3
1
1
+ ::: +
2
1+x
(1 + x2 )n
x2
1
1
1
:
+ ::: +
n +
2
2
1+x
(1 + x )
(1 + x2 )n+1
1
(1 + x2 )n+1
pelo que
sn (x) = 1 + x2
1
:
(1 + x2 )n
Se x 6= 0; a soma
s(x) = lim sn (x) = 1 + x2 :
Se x = 0; tem-se sn (0) = 1 1 = 0; para qualquer valor de n: Ento s(0) = 0:
Logo a soma uma funo descontnua em x = 0, apesar de todos os
termos da srie serem funes contnuas em R.
Assim, pelo Teorema 5.5.6 a srie no pode convergir uniformemente em
qualquer intervalo que contenha 0; apesar de ser absolutamente convergente.
Este exerccio prova que no existe nenhuma relao entre convergncia absoluta e convergncia uniforme.
E o recproco?
190
x2
1
1
+ 2
+2 x +3
::: (x 2 R)
1
1
< < "; para n > N (")
x2 + n + 1
n
1
:
"
k=1
tal que
1
>
x2 + k
k
P1 1
e a srie
k=1 k divergente (srie harmnica).
Assim o facto de uma srie ser absolutamente convergente no fornece
nenhuma informao sobre a sua convergncia absoluta.
O "simples"facto de trocar a ordem entre operadores de integrao e
somas pode conduzir a erros grosseiros.
Veja-se o seguinte caso:
Exerccio 5.5.9 Considere a sucesso un (x) = nx e
goli associada
1
X
fn (x)
un
nx2
e a srie de Men-
1 (x);
n=1
no intervalo [0; 1] :
R1
a) Calcule a expresso das somas parciais, a soma f (x) da srie e 0 f (x)dx:
b) Integre termo a termo e calcule o valor da srie obtida.
c) Compare os resultados obtidos nas duas alneas anteriores.
191
Resoluo:
a) A soma parcial dada por
sn = f1 + ::: + fn = u1
= un
u0 + u2
u1 + ::: + un
un
u0 = un :
A soma ser
f (x) = lim sn (x) = lim un (x) = lim nxe
pelo que
nx2
= 0;
f (x)dx = 0:
m=1 0
Como sn = un ; obtem-se
Z 1
lim
sn (x)dx =
n!+1 0
n!+1 0
m=1 0
lim
n!+1 0
un (x)dx = lim
1
1
n!+1 2
lim
n!+1 0
1
= :
2
nxe
nx2
dx
n=0
Rb
a
f (x)dx:
192
f (x)dx =
sn (x)dx +
Rn (x)dx:
Como a srie inicial converge uniformemente, para qualquer " > 0 dado,
existe N 2 N tal que
jRn (x)j <
"
b
; para n > N; 8x 2 D:
Assim
Z
Rn (x)dx
Como Rn = f
Z
"
b
sn ; tem-se
Rn (x)dx =
f (x)dx
pelo que a srie (5.5.4) converge e tem por soma a funo indicada.
Teorema 5.5.11 (Derivao termo a termo) Considere-se a srie
1
X
n=0
n=0
193
P
Teorema 5.5.12 (Critrio de Weierstrass) Considere a srie 1
n=0 fn (x)
num conjunto D:
Se existir uma srie numrica convergente formada por termos constantes,
M0 + M1 + M2 + ::: ,tais que
jfn (x)j
Mn ;
8x 2 D; 8n 2 N;
n=1
xn + 1
n2 + cosh(njxj)
1?
Resoluo: Como
xn + 1
n2 + cosh(njxj)
P
e 1
n=1
tiva.
5.6
2
n2
jxjn + 1
n2
2
n2
Quando a soma da srie de Fourier de f (x) no for f (x); ou no for convergente, nota-se por
f (x)
a0 +
1
X
n=1
194
O prximo teorema fornece uma classe de funes que pode ser representadas pela sua srie de Fourier:
Teorema 5.6.1 Se uma funo peridica f (x); de perodo 2 ; seccionalmente contnua no intervalo [ ; ] e admite derivadas laterais, esquerda e
direita, em cada ponto do intervalo, ento a srie de Fourier (5.2.2) de f (x)
convergente.
Alm disso, a sua soma f (x); excepto nos pontos de descontinuidade x0 ;
em que a soma da srie a mdia dos limites laterais, esquerdo e direito,
de f (x) em x0 :
Dem. A demostrao far-se- apenas para os casos em que a funo
f (x) de classe C 2 ([ ; ]) :
Integrando por partes (5.3.5), tem-se
Z
1
an =
f (x) cos (nx) dx
f (x)sen (nx)
n
1
n
; ]:
1; conlui-se que
Z
1
f (x) cos (nx) dx < 2
n
00
M dx =
2M
; 8n 2 N:
n2
1+1+
1
1
1
1
+ 2 + 2 + 2 + ::: ;
2
2
2
3
3
195
5.7
At ao momento apenas se consideraram funes com perodo 2 : Contudo os resultados anteriores podem ser aplicados a funes peridicas com
perodo diferente.
Uma aplicao clssica est relacionada com a vibrao de uma corda
de comprimento L.
Se a funo f (x) tiver perodo 2L; ento admite uma srie de Fourier
dada por
f (x) = a0 +
1
X
an cos
n=1
n
n
x + bn sen
x
L
L
(5.7.1)
1
2L
ZL
f (x)dx;
(5.7.2)
an =
1
L
ZL
f (x) cos
n
x dx;
L
n = 1; 2; 3; ::: ,
(5.7.3)
1
L
ZL
f (x)sen
n
x dx;
L
n = 1; 2; 3; ::: .
(5.7.4)
bn =
Estas relaes (5.7.1) at (5.7.4) podem, de facto, ser facilmente demonstradas por uma mudana de escala, isto , por uma mudana de varivel do
tipo v = Lx ; isto , x = Lv : imediato que para x = L corresponde
v=
: Assim, f , considerada como uma funo de v; que se designa por
g; ou seja,
f (x) = g(v);
(5.7.5)
196
tem perodo 2 :
De acordo com as frmulas dos coecientes de Fourier ento obtidas,
tem-se agora, com a nova varivel,
g(v) = a0 +
1
X
(5.7.6)
n=1
com os coecientes
a0 =
an =
bn =
1
2
1
g(v)dv;
(5.7.7)
n = 1; 2; 3; ::: .
197
Resoluo:
1
4
Z2
1
f (x)dx =
4
1
2
Z2
n x
1
f (x) cos
dx =
2
2
an =
Z1
kdx =
k
;
2
Z1
k cos
n x
2k
n
dx =
sen
2
n
2
Ento an = 0 se n par e
2k
se n = 1; 5; 9; :::;
n
2k
se n = 3; 7; 11; ::: .
n
an =
an =
k 2k
+
2
cos
1
cos
3
3
1
x + cos
2
5
5
x
2
::::
198
Z!
E sen (!t) dt =
an =
Z!
!E
2
Z!
n) !t)] dt:
!E
2
E
2
E
2
2
2
+
1+n 1 n
(n
2E
; n = 2; 4; 6; :::
1) (n + 1)
5.8
E
sen (!t)
2
E
2
1
1
cos (2!t) +
E
2
e bn = 0; para n =
1
199
8x 2 Dg :
h(x);
8x 2 Dh :
par
1 5:jpg
1 6:jpg
ZL
g(x)dx = 2 g(x)dx:
(5.8.1)
h(x)dx = 0:
(5.8.2)
3. O produto de uma funo par por uma funo mpar uma funo mpar.
Dem. As alneas 1. e 2. so imediatas (e at intuitivas pelos grcos
das funes)
Para 3., designe-se por q := gh. Ento
q( x) = g( x)h( x) = g(x)h( x) =
g(x)h(x) =
q(x):
200
Portanto se f (x) uma funo par ento f (x)sen nLx uma funo
mpar, pelo que, por (5.7.4), bn = 0:
Anlogamente, se f (x) uma funo mpar ento f (x) cos nLx uma
funo mpar e, por (5.7.2), a0 = 0 e:, por (5.7.3), an = 0:
Passando para as sries de Fourier, tem-se:
Teorema 5.8.3 (i) A srie de Fourier de uma funo par de perodo 2L;
uma srie de Fourier de co-senos:
f (x) = a0 +
1
X
an cos
n=1
n
x ;
L
(5.8.3)
com coecientes
1
a0 =
L
ZL
f (x)dx;
2
an =
L
ZL
f (x) cos
n
x dx;
L
n = 1; 2; 3; ::: . (5.8.4)
(ii) A srie de Fourier de uma funo mpar de perodo 2L; uma srie
de Fourier de senos:
f (x) =
1
X
bn sen
n=1
n
x ;
L
(5.8.5)
com coecientes
2
bn =
L
ZL
f (x)sen
n
x dx;
L
n = 1; 2; 3; ::: .
(5.8.6)
k ;
k ;
<x<0
; k > 0; f (x + 2 ) = f (x);
0<x<
201
obtem-se
f (x) =
0 ;
2k ;
<x<0
; k > 0; f (x + 2 ) = f (x):
0<x<
1
1
senx + sen (3x) + sen (5x) + ::: :
3
5
4k
se
<x<
e f (x + 2 ) = f (x);
f1 (x)sen (nx) dx =
=
=
2@
x sen (nx) dx
x cos (nx)
n
1
+
n
Z
0
2
cos (n ) :
n
5.9
+ 2 senx
1
1
sen (2x) + sen (3x)
2
3
::: :
Prolongamentos peridicos
202
f (x) =
Resoluo:
8
<
:
2k
Lx
2k
L
(L
;
x) ;
0<x<
L
2
L
2
< x < L:
203
an =
L
2
2B
B 2k
L@L
Z2
x cos
n
2k
x dx +
L
L
ZL
(L
C
n
x dxC
.
A(5.9.1)
L
x) cos
L
2
Z2
x cos
n
x dx =
L
L
2
Lx
n
sen
x
n
L
L2
2n
n
2
sen
sen
n
x dx
L
cos
n
2
1 :
L
n
Z2
0
L2
n2
(L
n
x dx =
L
x) cos
L
(L
n
x) sen
n
x
L
L
2
L
+
n
ZL
sen
L
L
2
n
x dx
L
L
2
= 0
L
L
n
L
sen
n
2
2
2
L
n
cos (n ) cos
2
2
n
2
4k
n
2 cos
2
2
n
2
cos (n )
1 ;
k
2
16k
2
1
cos
22
2
1
x + 2 cos
L
6
6
x + ::: :
L
204
8k
n
sen
n2 2
2
5.10
8k
2
1
sen
x
12
L
1
sen
32
3
1
x + 2 sen
L
5
5
x
L
::: :
Os clculos para determinar os coecientes de Fourier, por vezes, tornamse mais simples recorrendo exponencial complexa:
einx = cos(nx) + i sen(nx)
e
inx
= cos(nx)
i sen(nx):
(5.10.1)
(5.10.2)
1 inx
e +e
2
inx
(5.10.3)
(5.10.4)
1 inx
e
2i
inx
Assim
an cos (nx) + bn sen (nx) =
=
1
1
an einx + e inx + bn einx e inx
2
2i
1
1
(an ibn ) einx + (an + ibn ) e inx :
2
2
205
Com as notaes
a0 = c0
1
(an ibn ) = cn
2
1
(an + ibn ) = dn ;
2
a srie de Fourier complexa pode-se escrever
1
X
f (x) = c0 +
cn einx + dn e
inx
(5.10.5)
n=1
dn =
1
2
f (x)e
inx
dx;
1
1
(an + ibn ) =
2
2
1
2
isen (nx)) dx
f (x)einx dx:
+1
X
cn einx :
n:
Deste
(5.10.6)
n= 1
206
in
= cos (n )
Assim, em (5.10.7),
1
cn =
2
ex e
inx
dx =
Como
1
1
ex
2 1 in
1
1
in
inx
1
1
e
2 1 in
( 1)n :
1 in
1 + in
=
in) (1 + in)
1 + n2
(1
e
e
= 2 senh ;
+1
X
senh
( 1)n
n= 1
1 + in inx
e ;
1 + n2
x2]
; [:
(5.10.8)
in) e
inx
= (1
in) (cos(nx)
= (cos(nx)
n; tem-se
i sen(nx))
n sen(nx))
i (n cos(nx) + sen(nx)) :
n sen(nx)] ; n = 1; 2; 3; ::: .
2senh
para x 2 ]
; [:
1
2
::: ;
5.11
207
Integrais de Fourier
1 ;
1<x<1
0 ; nos outros casos.
(5.11.1)
208
Como fL (x) uma funo par ento bn = 0 para qualquer n: Para os outros
casos temos
a0 =
1
2L
Z1
1dx =
1
;
L
an =
1
L
Z1
n
2
cos
x dx =
L
L
Z1
cos
n
2
n
x dx =
sen
L
n
L
Quando L ! +1, todos os coecientes se anulam e no existe correspondncia com a funo (5.11.1).
O exemplo anterior evidencia ser necessrio algum cuidado quando se
consideram valores de L sucientemente grandes.
Como passar ento da srie de Fourier para o integral de Fourier e controlar o que acontece quando L ! +1 ?
Considere-se uma funo peridica qualquer fL (x); de perodo 2L: Denindo
wn := nL ; a funo pode ser representada pela srie de Fourier
fL (x) = a0 +
1
X
n=1
Aplicando as frmulas para os coecientes de Fourier, (5.7.2)-(5.7.4), e designando por v a varivel de integrao, tem-se
fL (x) =
1
2L
ZL
fL (v)dv
2
ZL
1
1 X4
+
cos (wn x) fL (v) cos (wn v) dv
L
n=1
+sen (wn x)
ZL
L
fL (v)sen (wn v) dv 5 :
Denindo
w := wn+1
wn =
(n + 1)
L
n
= ;
L
L
1
L
209
ZL
fL (v)dv
(5.11.2)
Z
1
1 X4
+
cos (wn x) w fL (v) cos (wn v) dv
n=1
+sen (wn x) w
ZL
L
fL (v)sen (wn v) dv 5 ;
(5.11.3)
(5.11.4)
Introduzindo as notaes
A(w) :=
+1
+1
Z
Z
1
f (v) cos (wv) dv e B(w) :=
f (v)sen (wv) dv; (5.11.5)
1
pode escrever-se
+1
Z
f (x) =
[A(w) cos (wx) + B(w)sen (wx)] dw;
0
(5.11.6)
210
1 ; jxj < 1
0 ; jxj > 1:
A(w) =
+1
Z
Z1
1
sen (wv)
f (v) cos (wv) dv =
cos (wv) dv =
w
1
=
B(w) =
1
1
2 sen w
;
w
Z1
1
sen (wv) dv = 0
1
e, por (5.11.6),
f (x) =
+1
Z
cos (wx) sen w
dw:
w
0
(5.11.7)
211
1+0
2
= 12 :
+1
Z
f (v) cos (wv) dv
(5.11.8)
(5.11.9)
+1
Z
f (v) sen (wv) dv
(5.11.10)
(5.11.11)
212
+1
Z
e
kv
k2
k
e
+ w2
kv
w
sen (wv) + cos (wv) :
k
k
Se v = 0, o segundo membro igual a k2 +w
2 : Se v tender para +1; o
segundo membro tende para zero. Portanto,
A(w) =
2
k2
k
:
+ w2
kx
+1
Z
cos (wx)
dw; x > 0 e k > 0:
k2 + w2
2k
Assim
+1
Z
cos (wx)
dw = e
k2 + w2
kx
2k
; x > 0 e k > 0:
+1
Z
e
kv
sen (wv) dv
w
e
k2 + w2
w
k2 +w2
B(w) =
kv
k
sen (wv) + cos (wv) :
w
w
k2 + w2
213
f (x) = e
kx
+1
Z
w sen (wx)
dw; x > 0 e k > 0:
k2 + w2
0
kx
; x > 0 e k > 0:
214
5.12
Exerccios
c) f (x) = jxj ;
e) f (x) = x;
f ) f (x) =
<x< :
Ax2
+ Bx + C;
< x < ; A; B; C 2 R:
1
4
1
4
+
+
1
9
1
9
1
16
1
16
+
+
1
25
1
25
+ ::: =
::: =
12 :
0 ;
3 ;
5<x<0
0 < x < 5:
5.12. EXERCCIOS
a) 1; cos
b) sen
c) sen
x
L
x
2L
x
L
215
2 x
; :::; cos nLx ; :::
L
2 x
; :::; sen nLx ; :::
L
3 x
5 x
2L ; sen 2L ; :::
; cos
; sen
; sen
x ; 0<x<a
(a > 0)
0 ;
x > a:
216
Bibliograa
Bibliograa base
E. Kreyszic, Advanced Engineering Mathematics, John Wiley & Sons,
Inc., 1999.
L. Barreira, Anlise Complexa e Equaes Diferenciais, Istpress, 30,
2009.
F.R. Dias Agudo, Anlise Real, Vols. I e II , Escolar Editora, 1989.
J. Marsden e A. Weinstein, Calculus III, Springer-Verlag, 1985.
T. Apostol, Clculo, Vols. I e II, Editora Revert, Lda., 1999.
B. Demidovich, Problemas e exerccios de Anlise Matemtica, McGrawHill, 1993.
E. W. Swokovski, Clculo com Geometria Analtica, Vols.
McGraw-Hill, 1983.
1 e 2,
Leituras complementares
I. Elementos de Geometria Diferencial em R3
M. P. do Carmo, Di erential Geometry of Curves and Surfaces, PrenticeHall, 1976.
O. Neto, Tpicos de Geometria, Universidade Aberta, 1999.
A. Pressley, Elementary Di erential Geometry, Springer, 2001.
A. Goetz, Introduction to Di erential Geometry, Addison-Wesley, 1968.
217
218
Mtodos de Ensino
219
220
Avaliao
221