A funo exponencial e pode ser visualizada como uma transformao do plano no plano estudando a imagem por esta funo

das rectas verticais e das rectas horizontais. Cada recta horizontal com coordenada y transformada numa semi-recta com extremidade na origem e ngulo y com o eixo real: em que t + iy e (cos y + i sen y) ,

5.1

A funo exponencial como transformao conforme

D

Em particular, a recta real transformada na semi-recta dos reais positivos (a exponencial real sempre positiva). As rectas horizontais correspondentes s coordenadas y e y + 2 tm a mesma imagem (perodo 2: y y + 2). Em particular, o eixo imaginrio ( x = 0) transformado na circunferncia de raio 1; rectas verticais esquerda deste eixo ( x < 0) so transformadas em circunferncias de raio menor que 1; rectas verticais direita do eixo imaginrio ( x > 0) so transformadas em circunferncias de raio maior que 1. Cada recta vertical com abcissa x transformada numa circunferncia centrada na origem e com raio e : x + it e (cos t + i sen t) .

t ], +[ e ]0, +[ .

Note-se que para qualquer nmero complexo z, tem-se e = 0; de facto, |e | = |e | = |e e | = |e | |e | = e = 0. Por outro lado e = e , pelo que a funo exponencial complexa no injectiva (ao contrrio do que acontecia com a exponencial real).

"    !    IH GF D

 D D

Aula 2006.09.22
C 5 1B A 5 14 5 1%@ 7 5 8 0 7 6 % 5 4 3 12 0 ) ( ' & %$ # ' 9 0

AMIV

Q PH

GD

IH

IH

como as solues de Temos ento, com

w = log z,

e = z.
w = + i z = e , = e = e .

= + k2,

log z = log + i ( + k2) ,

onde log a funo logaritmo usual (funo com valores reais denida nos reais positivos). Portanto, log z = log |z| + i arg (z) . log z = log + i

com k Z

Denio 5.2 Seja z C \ {0}, = |z| e denido por z = e e ], ]. Ento a funo complexa de varivel complexa ramo principal do logaritmo denida por onde log a funo logaritmo usual (funo denida nos reais positivos com valores reais). Note-se que esta funo sendo facilmente descrita em coordenadas polares: log z = log e = log + i,

tem uma expresso mais elaborada em coordenadas cartesianas:

log z = log (x + iy)

= log

x + y + i (x, y) ,

@H

Denio 5.1 Seja z C \ {0}, = |z| e denido por z = e logaritmo de z o seguinte conjunto de valores:

@H

@H

@H

BH

Donde

e = log e

e =
A

e =e

@H

BH

e e e
G A
A

@H

i. e. = Re z, = Im z, = |z| e = arg z,

com k Z.

@H

BH

Como a funo considerar

5.2

Logaritmo de um nmero complexo

e no injectiva, no existe funo inversa de e . Podemos, no entanto,

8 3 5 3 17 12 6 1' 4 0 ' 2 0 1( 0 ) & ( ' & $%""!  #      

5 AULA 2006.09.22 AMIV

e ], ]. Ento

onde

O conjunto dos pontos de descontinuidade desta funo {z C : Im z = 0 e Re z portanto a linha de descontinuidade do ramo principal do logaritmo.

x arctg 2 y x + arctg (x, y) = y 2 0

possvel e muitas vezes conveniente denir outros ramos do logaritmo. A denio sempre variando apenas os valores possveis de . Por exemplo podemos impor [0, 2[ obtendo uma funo descontnua no semieixo real positivo, {z C : Im z = 0 e Re z 0}.

Portanto, ao considerar outros ramos do logaritmo, apenas muda o modo como se calcula e em particular a linha de descontinuidade considerada. Do ponto de vista prtico, bastar indicar uma linha de descontinuidade (que v da origem para o innito) para se obter a funo logaritmo correspondente (dum ponto de vista mais rigoroso ser tambm necessrio indicar o valor de logaritmo num ponto exterior linha descontinuidade e impor certas condies a esta linha). Por exemplo: 1 Exemplo: A linha de descontinuidade do ramo principal do logaritmo

ou seja

{z C : Im z = 0 e Re z

0} , 2+i 4 4

temos ento, log (1 + i) = log e log (1 i) = log

{z = t : t [0, +[} 2i

@H

log z = log e

8 3 5 3 17 12 6 1' 4 0 ' 2 0 1( 0 ) & ( ' & $%  

, se y > 0 , se y < 0 , se y = 0 e x > 0 , se y = 0 e x < 0 . = log + i

5 AULA 2006.09.22 AMIV

0}; que

2 Exemplo: Para o ramo do logaritmo com linha de descontinuidade

ou seja

{z C : Im z = 0 e Re z

0} ,

3 Exemplo: Para o ramo do logaritmo com linha de descontinuidade

4 Exemplo: Podemos tambm considerar ramos com linhas de descontinuidade mais gerais: {z = t (cos (t) + i sen (t)) : t [0, +[} , onde qualquer funo contnua de [0, +[ em R.

mas agora com

No exemplo do desenho e

[ () , () + 2[ .

log (1 + i) = log

log (2 + 2i) = log 2 i

@H

log (1 i) = log

2i

temos ento, log (1 + i) = log

z = t cos

+ i sen

: t [0, +[ , 2i

log (1 i) = log

2+i

temos ento, log (1 + i) = log

{z = t : t [0, +[}

2+i

Tambm neste caso

8 3 5 3 17 12 6 1' 4 0 ' 2 0 1( 0 ) & ( ' & $%  

log z = log e = log + i, 2+i 4 7 . 4

5 AULA 2006.09.22 AMIV