Analise Complexa e Equa coes Diferenciais

1
o
Exame - 15 de Janeiro de 2009
LEAmb, LEMat, MEBiol e MEQ
Resolucao
1. Tem-se e
z
= e
x+iy
= e
x
e
iy
. Assim, e
z
tem modulo e
x
e argumento y. A
imagem pedida consiste no conjunto dos complexos cujo modulo esta entre
e
1
e 1 = e
0
, e cujo argumento esta entre

2
e 0.

e
1
e
1

2
1
1
1 e
z
e
z
z
z
2. A fun cao f tem derivadas parciais contnuas pelo que e diferenciavel como
fun cao de R
2
em R
2
. Portanto, sera diferenciavel no sentido complexo sse
satiszer a equa cao de Cauchy-Riemann, f
x
= if
y
. Ora, f
x
= (x + 1)
2
e
f
y
= 2y + i, pelo que
f
x
= if
y
(x + 1)
2
= i(2y + i) (x + 1)
2
= 1 2iy

_
x + 1 = 1
y = 0
(x, y) = (2, 0) (x, y) = (0, 0).
A fun cao f e diferenciavel apenas em (2, 0) e (0, 0), sendo a sua derivada
f

= f
x
= 1.
Se f(x, y) = w = w + iw, entao
f(0, y) =
1
3
+ y
2
+ iy w =
1
3
+ (w)
2
f(1, y) =
8
3
+ y
2
+ iy w =
8
3
+ (w)
2
f(x, 0) =
(x+1)
3
3
w = 0
f(x, 1) =
(x+1)
3
3
+ 1 + i w = 1.
Resolu cao do exame de ACED - 15.1.09 2

1
3
8
3
1
1
1
1
x
y
f(x, y)
f(x, y)
O vector correspondente a f
x
(x
0
, y
0
) e tangente a {(f(x, y
0
) : x R} em
x
0
, e o vector correspondente a f
y
(x
0
, y
0
) e tangente a {(f(x
0
, y) : y R} em
y
0
. A equa cao de Cauchy-Riemann traduz que o vector correspondent a f
x
se obtem rodando o vector correspondente a f
y
em torno de (x
0
, y
0
) de /2
radianos no sentido dos ponteiros do relogio.
3. Na regiao {z C : 1 < |z| < 2},
f(z) =
1
z 2

1
z 1
=
1
2
1
1
z
2

1
z
1
1
1
z
=
1
2

n=0
_
z
2
_
n

1
z

n=0
_
1
z
_
n
=

n=0
z
n
2
n+1

n=1
1
z
n
= . . .
1
z
3

1
z
2

1
z

1
2

z
2
2

z
2
2
3
. . . .
Usando este resultado para calcular o integral,
_
|z|=
3
2
f(z) dz =
_
|z|=
3
2
_

n=2
1
z
n
_
dz
_
|z|=
3
2
1
z
dz
_
|z|=
3
2
_

n=0
z
n
2
n+1
_
dz.
O primeiro integral do segundo membro da ultima igualdade e nulo porque
a integranda e a derivada de uma fun cao holomorfa em {z C : |z| > 1}.
O terceiro integral do segundo membro da ultima igualdade e nulo porque a
integranda e uma fun cao holomorfa em {z C : |z| < 2}. O segundo integral
vale 2i vezes o n umero de rota cao da circunferencia de raio
3
2
centrada na
origem em torno de zero. Conclui-se
_
|z|=
3
2
f(z) dz = 2i.
Resolu cao do exame de ACED - 15.1.09 3
4. Trata-se de uma serie de potencias de z,

n=1
a
n
z
n
, com a
n
=
2
n
n
3
. O
raio de convergencia e dado por R = lim

an
a
n+1

sempre que este limite existe.

Logo,
R = lim
_
2
n
n
3
(n + 1)
3
2
n+1
_
=
1
2
lim
_
1 +
1
n
_
3
=
1
2
.
Se |z| =
1
2
, entao a serie dos modulos e

n=1
2
n
n
3
|z|
n
=

n=1
1
n
3
< ,
porque e uma serie de Dirichlet,

1
n

, com > 1. Logo a serie do enunciado

e absolutamente convergente sobre a fronteira do disco de convergencia.
Do teorema relativo a diferenciabilidade das series de potencias, sabemos
que a serie de potencias representa uma fun cao holomorfa no interior do disco
de convergencia. Uma fun cao diz-se holomorfa num ponto se e diferenciavel
numa vizinhan ca desse ponto. A serie de potencias nao e holomorfa em
|z| =
1
2
porque nem sequer converge para |z| >
1
2
.
Observa cao. Pode provar-se que o seguinte limite existe e tem o valor
indicado
lim
zz
0
|z|1/2
f(z) f(z
0
)
z z
0
=

n=1
2
n
n
2
z
n1
0
.
De facto, isto segue facilmente de tanto a serie de potencias como a sua
derivada formal serem uniformemente convergentes em |z|
1
2
.
5.
a) Os declives dos gracos das solu coes sao constantes para y constante.
Para y = 0 e para y =
a
b
, tem-se y

= 0. Para y entre 0 e y =
a
b
, tem-se
y

> 0, sendo que o maximo de y

ocorre para y =
a
2b
. Para y < 0 e
para y >
a
b
, tem-se y

< 0, sendo que y

quando |y| +.
a
b
t
y
a
2b
t
y
Resolu cao do exame de ACED - 15.1.09 4
b) Dividindo ambos os membros da equa cao por y
2
obtem-se

y
2
+
a
y
= b.
Pelo teorema relativo `a derivada da fun cao composta, z

=
y

y
2
. Logo,
z

+ az = b.
c) O factor integrante da equa cao diferencial para z e e
at
. Multiplicando
ambos os membros da equa cao pelo factor integrante,
e
at
z

+ ae
at
z = be
at
.
Reconhecemos no primeiro membro a derivada do factor integrante ve-
zes z,
d
dt
_
e
at
z
_
= be
at
.
Integrando de 0 a t,
e
at
z(t) z
0
=
b
a
_
e
at
1
_
z(t) = z
0
e
at
+
b
a
_
1 e
at
_
.
Relembrando que y =
1
z
e designando por y
0
o valor de y(0), para y
0
= 0
y(t) =
1
1
y
0
e
at
+
b
a
_
1 e
at
_ =
y
0
a
ae
at
+ y
0
b
_
1 e
at
_.
[A ultima expressao e tambem valida para y
0
= 0 (embora a pen ultima
nao seja). De facto, para y
0
= 0 tem-se y(t) 0]. Mais geralmente, a
solu cao da equa cao diferencial para y que satisfaz y(t
0
) = y
0
e
y(t) =
y
0
a
ae
a(tt
0
)
+ y
0
b
_
1 e
a(tt
0
)
_.
Esta igualdade e valida enquanto o denominador nao se anular. Isso
acontece quando
t = t

:= t
0
+
1
a
ln
by
0
a
by
0
.
O argumento do logaritmo e positivo quando y
0
< 0 e quando y
0
>
a
b
.
Se y
0
< 0, entao t

> t
0
e a solu cao existe para t ] , t

[. Se
0 y
0

a
b
, entao a solu cao esta denida em R. Se y
0
>
a
b
, entao
t

< t
0
e a solu cao existe para t ]t

, +[.
Resolu cao do exame de ACED - 15.1.09 5
6.
a) O polinomio caracterstico e p() =
2
+ 4 + 3 = ( + 1)( + 3). Os
valores proprios sao 1 e 3. A 1 esta associado o vector proprio
(1, 1) e a 3 o vector proprio (1, 1). Podemos tomar
S =
1

2
_
1 1
1 1
_
, =
_
1 0
0 3
_
.
A matriz S e orthogonal e S
1
= S
T
= S. A solu cao com a condi cao
inicial X
0
e
X(t) = e
At
X
0
= Se
t
S
1
X
0
=
1
2
_
1 1
1 1
_ _
e
t
0
0 e
3t
_ _
1 1
1 1
_ _
x
0
y
0
_
=
1
2
_
e
t
_
1
1
_
e
3t
_
1
1
__ _
x
0
+ y
0
x
0
y
0
_
=
x
0
+ y
0
2
e
t
_
1
1
_
+
x
0
y
0
2
e
3t
_
1
1
_
.
b) Se y
0
= x
0
, ou seja a condi cao inicial nao e um m ultiplo de
_
1
1
_
,
entao para t grande a componente de X(t) segundo
_
1
1
_
e muito me-
nor do que a componente de X(t) segundo
_
1
1
_
, porque e
3t
e muito
menor que e
t
. Como visto nas aulas, isto implica que as trajecto-
rias X(t) que nao come cam sobre a direc cao propria correspondente a
_
1
1
_
tendem para zero tangentes `a recta y = x.

1
1
1 1
2
2
2 2
x
y

1
1
1 1
2
2
2 2
x
y
Resolu cao do exame de ACED - 15.1.09 6
7. Estendemos a fun cao a [l, l] [0, [ como fun cao par de x porque as
condi coes fronteira sao de Neumann. Para cada t 0 xo, a fun cao u pode
ser desenvolvida em serie de Fourier. Os coecientes dependerao de t. Como
escolhemos a extensao que e fun cao par de x,
u(x, t) =

n=0
a
n
(t) cos
_
nx
l
_
.
Substituindo na equa cao diferencial
u
t
= 5u
xx

n=0
a

n
(t) cos
_
nx
l
_
= 5

n=0
a
n
(t)
n
2

2
l
2
cos
_
nx
l
_
.
Uma fun cao tem apenas uns coecientes de Fourier,
a

n
(t) = 5
n
2

2
l
2
a
n
(t) a
n
(t) = c
n
e

5n
2

2
t
l
2
.
Logo,
u(x, t) =

n=0
c
n
e

5n
2

2
t
l
2
cos
_
nx
l
_
.
Falta garantir
u(x
0
) =

n=0
c
n
cos
_
nx
l
_
= u
0
(x).
A fun cao u foi estendida como fun cao par de x pelo que a restri cao de u
a t = 0, ou seja u
0
, tambem deve ser estendida a [l, l] como fun cao par.
Os coecientes c
n
sao os coecientes de Fourier da extensao de u
0
, ainda
designada por u
0
. Assim, para n > 0
c
n
=
1
l
_
l
l
u
0
(x) cos
_
nx
l
_
dx =
2
l
_
l
0
u
0
(x) cos
_
nx
l
_
dx
=
2
l
_ l
2
0
cos
_
nx
l
_
dx =
2
n
sin
_
nx
l
_

l
2
0
=
2
n
sin
_
n
2
_
.
Para n = 0,
c
0
=
1
2l
_
l
l
u
0
(x) dx =
1
l
_
l
0
u
0
(x) dx =
1
2
.
A temperatura e dada por
u(x, t) =
1
2
+
2

_
e

5
2
t
l
2
cos
_
x
l
_

5.9.
2
t
l
2
3
cos
_
3x
l
_
+
e

5.25.
2
t
l
2
5
cos
_
5x
l
_
+ . . .
_
.
Resolu cao do exame de ACED - 15.1.09 7
8. Podemos escrever a equa cao diferencial na forma
(D
2
+ 1)u =
1
p
2
.
Se u e solu cao desta equa cao entao u satisfaz
D(D
2
+ 1)u = 0 u = c
1
cos + c
2
sin + c
3
,
mas nao inversamente. Vamos determinar quais destas fun coes satisfazem a
equa cao original. Substituindo na equa cao original,
(D
2
+ 1)(c
1
cos + c
2
sin + c
3
) =
1
p
2
(D
2
+ 1)c
3
=
1
p
2
c
3
=
1
p
2
.
A solu cao geral da equa cao diferencial do enunciado e
u = c
1
cos + c
2
sin +
1
p
2
=
_
c
2
1
+ c
2
2
cos( ) +
1
p
2
,
com = arg (c
1
+ ic
2
). Como quando = 0 a partcula esta no ponto
mais proximo do centro de atrac cao, u tem um maximo em = 0. Ora, os
maximos de cos( ) acontecem em = mais um m ultiplo inteiro
de 2. Assim arg (c
1
+ ic
2
) = 0, ou seja c
1
0 e c
2
= 0. Tem-se
u = c
1
cos +
1
p
2
.
Finalmente, para determinar c
1
usamos o facto de = 0 impicar u =
1
r
0
:
1
r
0
= c
1
+
1
p
2
c
1
=
1
r
0

1
p
2
.
Para que c
1
0 devera ser p
2
r
0
. A expressao de r em fun cao de e
r =
1
_
1
r
0

1
p
2
_
cos +
1
p
2
=
p
2
_
p
2
r
0
1
_
cos + 1
.
Esta igualdade e valida enquanto o denominador nao se anular. Isso acontece
quando
cos =
1
p
2
r
0
1
.
Se r
0
p
2
< 2r
0
, entao a solu cao esta denida em R. Se p
2
2r
0
, entao a
solu cao existe para || < arccos
r
0
p
2
r
0
.