COMPLEMENTOS DE MATEM

ATICA.
NOTAS DE CURSO. I
0
semestre 2013.
Aula 3. Funcoes transcedentais elementares. A exponencial e o loga-
ritmo. Ramos do logaritmo. Pontos de ramicaco algebricos e logarit-
micos*. Inversas de funcoes transcendentais. (3 horas)
A exponencial complexa dene-se pela formula
e
z
= e
x
(cosx + iseny), z = x + iy, x, y C.
Listamos algumas propriedades notaveis da funcao exponencial, e deixamos sua
verica cao por conta do leitor.
1) e
z+w
= e
z
e
w
; z, w C;
2) e
z
= e
w
se e somente se z = w + 2ki; k Z.
3) a equacao e
z
= w possui innitas solucoes, que diferem uma de outra por
m ultipos de 2ki; estas sao: z
k
= log r +it +2ki, w = re
it
, k C; ao contrario,
a equacao e
z
= 0, nao tem solucoes: e
z
= 0; z C;
4) (e
z
)

= e
z
, z C.
As formulas de Euler, cos t =
e
it
+e
it
2
, sin t =
e
it
+e
it
2i
, t R, servem (tambem)
para denir funcoes trigonometricas de variavel complexa; por denicao
cos z =
e
iz
+ e
iz
2
, sin z =
e
iz
+ e
iz
2i
, z C.
Assim, obtemos duas novas funcoes denidas em todo C, e cuja restricao ao eixo
real coincide com as classicas funcoes cos e sin . Similarmente denimos (tosas) as
outras funcoes trigonometricas: tan z, cot z, sec z, csc z, etc.
As propriedades algebricas destas funcoes podem ser vericadas sem qualquer
diculdade pelo leitor: sua prova e ainda mais simples do que no caso real, ja que
todas elas se expressam em funcao de exponencial complexa.
Exercicio 1(!) Mostre que para todo z C, valem as seguintes propriedades:
1) cos
2
z + sin
2
z = 1 z C;
2) cos(z + 2k) = cos z; sin(z + 2k) = sin z;
Typeset by A
M
S-T
E
X
1
2
3) sin z = cos(

2
z);
4) cos(z + w) = cos z cos w sin z sin w; sin(z + w) = sin z cos w + sin wcos z.
5) cos(z +T) = cos z, para todo z C, se e somente se T = 2k. Idem para sin .
6) (cos z)

= sin z; (sin z)

= cos z.
Similarmente, partindo da denicao real de
cosh t =
e
t
+ e
t
2
, sinht =
e
t
e
t
2
, t R,
denimos
cosh z =
e
t
+ e
t
2
, sinhz =
e
t
e
t
2
, t R.
Por m, denimos tanh z =
sinh z
cosh z
, coth z =
cosh z
sinh z
.

E claro que
cos iz = cosh z, sin iz = i sinhz; tan iz = i tanh z; cot iz = i coth iz.
Por isso, todas as formulas que valem para sin e cos podem ser traduzidas em
termos de sinh, cosh .
Exercicio 1

. Mostre que para todo z C, valem as seguintes propriedades:

1) cosh
2
z sinh
2
z = 1 z C;
2) cosh(z + 2ki) = cosh z; sinh(z + 2ki) = sinh z;
3) cosh(z + w) = cosh z cosh w + sinh z sinhw; sinh(z + w) = sinh z cosh w +
sinh wcosh z. 4) cosh(z + T) = cosh z, para todo z C, se e somente se T = 2ki.
Idem para sin .
5)(cosh z)

= sinh z; (sinh z)

= cosh z.
Propriedades de mapeamento.
A m de denir o logaritmo, como inversa de exponencia e funcoes trigonometricas
inversas, investiguemos o comportamento destas funcoes sobre as curvas de grade
do plano. Assim podemos de alguma forma vizualiza-las e achar (aluguns) dominios
onde estas sao injetivas.
1) Propriedades de mapeamento da exponencial complexa.
3
i) Mostre que a exponencial complexa manda bijetivamente retas horizontais
{y = y
0
} em semiretas com origem em zero, que fazem um ngulo y
0
(mod2) com
o eixo Ou.
ii) Mostre que a exponencial complexa manda bijetivamente retas verticais {x =
x
0
} em circulos centrados em zero, de raio e
x
0
, percorridas innitas vezes.
iii) Deduza que a exponencial manda bijetivamente a faixa horizontal {(x, y) :
0 < y < 2, x R}, em C {(x, 0), x > 0} e o tubo semi-innito {(x, y) : 0 <
y < , x R}, no semiplano superior.
2) Propriedades de mapeamento da funcao sinz.
i) Mostre que a transformacao sin manda retas horizontais {y y
0
} em elipses
com focos em (2, 0), se y
0
= 0; sin({y = 0}) = [1, 1]; a correspondencia nao e
biunivoca.
ii) Mostre que sin manda retas verticais x = x
0
em hiperbolas ou retas.
iii) Deduza que sin manda bijetivamente a faixa innita {(x, y), /2 < x < /2}
em C {(x, 0), |x| 1}, e o tubo semi-innito {(x, y), 0 < x < /2}, bijetivamente
no semiplano superior.
iv) Deduza as propriedades de mapeamento analogas para cos, sinh, cosh .
O logaritmo complexo.
O logaritmo (complexo) de um n umero complexo z = 0 dene-se como
Log(z) = { w C : e
w
= z }.
Explicitando, obtemos:
Logz = { log|z| + iargz + 2ki, k N}, < argz < , z = 0
onde log|z| denota o logaritmo natural do n umero real e positivo |z|. Note que para
z = 0, a equacao e
w
= 0 nao tem solucoes, portanto Log0 nao se dene.
O logaritmo complexo de um n umero z nao e uma funcao, pois associa a um
unico numero complexo z = 0, , uma innidade de valores (e nao um unico valor);
porem, para cada k xado, obtemos uma funcao propriamente dita, chamada de
ramo de logaritmo. Para k = 0, obtemos o ramo principal do logaritmo, o
unico ramo cuja restricao ao eixo real positivo coincide com o logaritmo usual. Os
outros ramos diferem entre s somente por constantes (m ultiplos de 2ki).
Para estudar os ramos de Logz, precisamos analisar, primeiro, os dominios
maximos onde a funcao exponencial e injetiva;
Sejam z = x + iy, w = u + iv tais que e
z
= e

; explicitando, obtemos e
x
e
iy
=
e
u
e
iv
; tomando o modulo nos dois membros desta equacao, obtemos e
x
= e
u
, o que
implca, pela injetividade da exponencial real, x = u; por outro lado, e
iy
= e
iv
se e
somente se existe k Z tal que = z + 2ki. Sejam
F
k
= {(x, y) : x R, (2k 1) < y < (2k + 1) };
entao a imagem de cada uma das faixas F
k
, pela exponencial complexa, e exata-
mente o conjunto C {(x, 0), x 0}, o plano complexo menos o eixo negativo
4
dos x; assim, a exponencial torna-se injetiva, toda vez que for restringida `a faixas
horizontais de largura 2; para cada k Z,
e
z
: F
k
C {(x, 0), x 0},
e uma funcao injetiva e sobrejetiva, entao inversivel: sua inversa e precisamente
Log
k
(z) : C {(x, 0), x 0} F
k
,
Log
k
(z) = logr + it + 2ki, z = re
it
< t < pi.
Seja x
0
< 0 um ponto xado; seja z = re
it
; entao
lim
t, t<
Log
k
(z) = logr + (2k + 1)i,
em quanto
lim
t, t>
Log
k
(z) = logr + (2k 1)i.
Portanto Log
k
nao e continua no conjunto C 0; contudo, podemos torna-la
continua, se a consideramos denida apenas em C {(x, 0), x 0}.
Como a exponencial complexa e derivavel e como Log
k
: F
k
C{(x, 0), x
0} e sua inversa, pelo teorema de derivacao da funcao inversa, tambem e; alem
disso, derivando a relac ao e
Log
k
z
= z, e usando o fato que (e
w
)

= e
w
, obtemos
e
Log
k
z
d
dz
Log
k
(e
z
) = 1, z C {(x, 0), x 0}
ou seja
(
Log
k
z
)

=
1
z
, z C {(x, 0), x 0}.
Seja z
0
F
k
um ponto xado e seja w
k
= Log
k
(z
0
) = log|z
0
| + iarg(z
0
) + 2ki;
Seja z(t) = |z
0
|e
it
, t (, ] a parametrizacao do circulo |z| = |z
0
| do plano
complexo, percorrido no sentido trigonometrico; A funcao F(t) = Log
k
(z
0
e
it
) e
obviamente continua, F(0) = Log
k
(z
0
) e F(2) = Log
k+1
(z
0
). Em outras palavras,
se t (, ), o ponto z percorre de forma continua o circulo |z| = |z
0
| C{0},
a partir do ponto z
0
, e voltando nele, de forma continua e bijetiva, entao o valor de
w = Log
k
(z) = log|z| + iargz + 2ki, (1)
muda continuamente e quando z volta ao ponto inicial z
0
, o valor de (1) sera
Log
k+1
(z
0
).

E claro que isso ocorre para qualquer curva fechada, simplis que parte
de z
0
e que contem a origem no seu interior. Como o ponto z
0
e arbitrario, veri-
camos que em circuitos em torno de zero, o ramo Log
k
se transforma continuamente
no ramo Log
k+1
. Apos percorrer no sentido trionometrico circuitos em torno de zero
e claro que
Log
k
z Log
k+1
z ... Log
k+l
z ...(2)
continuamente e que nunca voltaremos ao ramo inicial.
Observacao.* Multi-funcoes podem aparecer de forma natural quando consid-
eramos inversas de funcoes nao injetivas; por exemplo, a exponencial complexae
5
sobrejetiva em C {0}, porem nao e injetiva; sua inversa e a multi-funcao loga-
ritmo. O mesmo acontece se consideramos a funcao potencia z
n
e sua(s) inversas,
as raizes n esimas. Se queremos funcoes, precisamos restringir o dominio destas
funcoes, do modo e torna-las injetivas.
Observacoes complementares* O comportamento da (multi) funcao Logz
em torno da origem caracteriza o chamdo ponto de ramicac ao logaritmico para
a multi-fun cao Logz, e a transformacao continua (2) caracteriza o comportamento
dos ramos da (multi) funcao analtica Logz.
Daremos, a seguir uma denicao mais precisa destes conceitos.
Denicao 1*. Seja w = f(z) uma multi-funcao; um dominio G no plano (w),
no qual z = f
1
(w) existe e `e injetiva e chamado dominio de univalenca da (multi)
func ao f. Se (z) e a funcao que asocia ao ponto z o unico ponto w {f(z)}G, ou
seja, o unico valor de f que pertence ao G, entao e chamado de ramo univalente
da funcao multivalente f.
Exemplo. Pelas consideracoes acima, G = C {(x, 0), x 0} e um dominio
de univalencia para Logz e para cada k Z, as funcoes
k
(z) = Log
k
(z) sao seus
ramos univalentes no dominio G = C {(x, 0), x 0}.
Denicao 2*. Seja w = f(z) uma funcao multivalente, que tem, num certo
domnio de univalencia G, ramos continuas; um ponto z
0
G chama-se ponto de
ramicacao da funcao multivalente f(z), se existe uma vizinhanca V
0
do ponto z
0
tal que apos uma volta completa ao longo de qualquer curva fechada contida em
V
0
, e que contem o ponto z
0
no seu interior, os valores de qualquer ramo de f sao
transformados continuamente num outro ramo da funcao. Se, apos um numero
nito de voltas, n, emtorno de z
0
, cada um dos ramos e transformado nele mesmo,
entao o ponto z
0
se diz ponto de ramicacao algebrico; se isso nao ocorre, o ponto
de ramicacao e chamado de ponto de ramicacao logaritmico.
Exemplo 1*. O ponto z
0
= 0 e ponto de ramicacao logaritmico, para a funcao
multivalente Logz.
Exemplo 2*. Seja C e a funcao multivalente f(z) = z

:= e
Logz
. Entao:
i) os ramos de z

sao as funcoes z

k
= e
Log
k
z
, denidas no dominio de univalencia
G = C {(x, 0), ; x 0}.
ii) o ponto z
0
= 0 e ponto de ramicacao logaritminco, se / Q, ou algebrico,
se Q.
iii) Explique o que acontece se = n N.
Exemplo 3*. Considere a funcao multivalente w = (z a)
1
n
, a inversa da
funcao univalente z = w
n
+ a (a = 0). Ache um dominio de univalencia para a
funcao w = (z a)
1
n
e seus ramos. Ache os pontos de ramicacao e estude a
natureza destes (algebrico ou logaritmico). O mesmo para a funcao w = (
za
zb
)
1
n
, a
inversa de funcao F(w) =
bw
n
a
w
n
1
e para w = [(z a)(z b)]
1
n
.
6
(Sugestao: os ramos da funcao [
za
zb
]
1
n
sao
[
z a
z b
]
1
n
k,l
= e
1
n
[Log
k
(za)Log
l
(zb)]
, k, l Z,
denidos no dominio de univalencia C [a, b]. Detalhes por conta do leitor.)
Exemplo 4*. Seja a C, a = 0, 1 xado; a funcao g(z) = a
z
(a funcao potencia
de base a ), dene-se por:
a
z
:= e
zLoga
, z C.

E claro que se trata novamente de uma funcao multivalente, cujos ramos a

z
k
:=
e
zLog
k
a
, k Z, sao denidos em todo C; assim o dominio de univalen ca de cada
ramo e o plano complexo e nao ha pontos de ramicacao: nao existe nenhum ponto
com a propriedade que para qualquer circuito fechado, que o contem, cada ramo se
transforme num outro.
Este exemplo mostra que existem funcoes multivalentes que nao possuem pontos
de ramicacao.
Exercicio 1. Calcule todos os valores posiveis de i
2/3
, (1 + i)
3/4
, (1)
5/2
e de
(1 + i)
(1i)
.
Resposta: (1+i)i
i
= e
(1i)Log(1+i)
= e
(1i)[1/2log2+i/4+2ki]
= e
1/2log2+/4]
e
2k
e
i(1/2log2+/4+2k)
=
=

2e
/4
e
/4
e
2k
e
i(1/2log2+/4+2k)
, k Z, etc.
Exercicio 2. Ache para cada uma das funcoes e
z
, sin z, cos z, sinh z, cosh z,
tan z, cot z, tanh z, coth z o conjunto dos pontos onde estas assumem valores (pu-
ramente) reais.
Resposta: {z C : e
z
= 0} = {z = x + iy : e
x
sin y = 0} = {(x, k), x
R, k Z}, ou seja se trata de reta horizontal y = k; etc.
Exercicio 3 Ache
i) {z C : | tan z| = 1} {z C : | tanh z| = 1}.
Resposta: i {z C : z = /4 + k/2} ii) {z C : z = /4 + k/2}.
Exercicio 4. i) Mostre que
Log(zw) = Logz + Logw, z, w C

;
esta igualdade e uma igualdade de conjuntos.
ii) Prove que para cada ramo k do logaritmo, vale Log
k
zw = Log
k
z + Log
k
w,
se e somente se argz +argw (, ); em particular, esta relacao vale para todos
7
z, w situado no semiplano x > 0; (ou se consideramos estes ramos denidos apenas
neste semiplano)
iii) Explique qual e o erro no seguinte raciocinio:
2log(1) = log(1)
2
= log1 = 0?
Exercicio 5 (!)
i)(!) Ache uma funcao f : C {(x, 0), |x| > 1} C, analitica, que satisfaz a
relacao:
f
2
(z) = z
2
1, f(0) = i, z C {(x, 0), |x| > 1}.
A funcao f assim denida sera notada, de forma sugestiva, f(z) =

z
2
1.
Sugestao: considere as funcoes f
1
(z) = e
1
2
Log(z1)
, f
2
(z) = e
1
2
Log(z+1)
, z ,
com a escolhe os ramos principais do Log e ponha f(z) = f
1
(z)f
2
(z).
Exercicio 6)(!) Considere a transformacao de Jurkowski,
J(z) =
1
2
(
z +
1
z
)
, J : C {0} C {0}.
i)(!) Mostre que J : H = {(x, y) y > 0; } {C {(x, 0), |x| > 1}, e bijetiva;
seja J
1
sua inversa; mostre que (J
1
(w) w)
2
= w
2
1; sucessivamente, explique
porque
J
1
(w) = w +

w
2
1, w C {(u, 0), |u| > 1},
onde

w
2
1
|0
= i, e a funcao denida no item anterior.
ii (!) Use estes fatos para denir (uma) inversa da funcao cos z, num dominio
de injetividade deste S = {z = x +iy, 0 < x < }; mais precisamente, mostre que
a funcao cos : {z = x + iy, 0 < x < } C {(x, 0), |x| > 1} e bijetiva e sua
inversa, notada arccos, e dada por
arccos(w) = iLog[w +

w
2
1], w .
Agora, acerte os detahes para as seguintes funcoes (multivalentes) arcsenz,
arctgz, arcctgz e arcshz, arcchz, arcthz, arccothz, denidas como inversas das
funcoes trigonometricas o trigonometricas hiperbolicas correspondentes, em domin-
ios de injetividade destas. Por exemplo, arcsin z = {w
1
: sin w = z}, onde

1
= {z = x + iy, /2 < x < /2, y R} e similarmente para todas as outras.
Mais precisamente, mostre que valem as frmulas:
Exercicio 6 (bis). Verifque pelo menos uma das seguintes formulas e especique
para cada uma das funcoes o dominio de denicao:
i) arcsin z = iLogi(z +

z
2
1);
ii) arctan z =
i
2
Log
i+z
iz
;
iii) arcctg z =
i
2
Log
zi
z+i
;
8
iv) arcchz = Log(z +

z
2
1);
v) arcshz = Log(z +

z
2
1);
vi) arcthz =
1
2
Log
1+z
1z
;
vii) arccthz =
1
2
Log
1+z
z1
;
Exercicio 7. Calcule arcsin i, arccos
1
2
, arcth(1i), seja usando as formulas
acima, seja diretamente.
Nota: os exercicios notados com * sao facutativos e podem ser ignorados numa
primeira leitura. Os exercicios (ou fatos) marcados com ! sao importantes e even-
tualmente invocados em momentos ulteriores.