Escolar Documentos
Profissional Documentos
Cultura Documentos
.
A exponencial complexa, define-se pela formula
ez = ex (cosx + iseny), z = x + iy.
Deixamos as seguintes propriedades (imediatas) a serem verificadas pelo leitor:
Typeset by AMS-TEX
1
2
injetiva e sobrejetiva, ento admite uma nica inversa, que exatamante Logk (z).
Seja k ∈ Z fixado. fcil de verificar que a imagem de cada uma das faixas Fk , pela
exponencial, exatamente o conjunto G = C − {(x, 0), x ≥ 0}; Logk : G → Fk ,
bijetiva e derivvel e, pelo terema de derivao da funo composta,
d 1
Logk (z) = , ∀z ∈ G.
dz z
Definio 1*. Seja w = f (z) uma multi-funo, cuja inversa, z = f −1 (w) existe e
injetiva num dominio G do plano (w). Ento G chamado de dominio de univalena
da funo z = f −1 (w).
Seja ϕ(z), a funa que asocia ao ponto z o nico ponto w ∈ f ({z}) ∩ G, ou seja,
o nico valor de f que pertence ao G. Ento ϕ chamado de ramo univalente da funo
multivalente f.
claro que, pelas consideraes acima para a funo multi-valente f (z) = Logz,
provamos que G = C − {(x, 0), x > 0} um dominio de univalncia para Logz e
que, para cada k ∈ Z, as funes ϕ(z) = Logk (z) so ramos univalentes desta funo, no
dominio C − {(x, 0), x ≥ 0}.
Definio 2*. Seja w = f (z) uma funo multivalente, que tm, num certo domnio
de univalncia G, ramos continuas; um ponto Z0 ∈ G chama-se ponto de ramificao da
funo f (z) se existe uma vizinhana V0 do ponto Z0 tal que aps uma volta completa
ao longo de qualquer curva fechada γ contida em V0 , os valores de qualquer ramo
de f so transformados continuamente num outro ramo da funa. Se, apos um numro
finito de voltas, digamos n, no mesmo sentido, cada um dos ramos transformado
3
nele mesmo, ento o ponto Z0 se diz ponto de ramificao algbrico; se isso no ocorre,
o ponto de ramificao chamado de ponto de ramificao logaritmico.
az := ezLoga , ∀z ∈ C.
claro che se trata novamente de uma funo multivalente, cujos ramos azk := ezLogk a ,
so definidos em todo C; assim o dominio de univalena de cada ramo o plano
complexo e no h pontos de ramificao: no existe nenhum circuito fechado, aps de
cujo percurso um dado ramo se transforme num outro.
Este exemplo ilustra o fato que h funes multivalentes sem pontos de ramificao.
II) Calcule Arc sen i, Arc cos 12 , Arc th (1 − i), usando as frmulas acima, ou
pela definio.
Exercicio 4*. Prove que a funo multivalente f (z)Arc cos z tm dois pontos de
ramificao algebricos, em −1 e 1, e um ponto de ramificao logaritmico, no infinito.
Exercicio 5*. Seja f (z) o ramo da funo F (z) = Logz + Log(z + 1), cuja parte
imaginria em z = 2 0 nula. Ache o valor final de f, aps percorrer continuamente
a curva |z| = 2, partindo de 2 e chegando em 2, no sentido trigonomtrico.