Você está na página 1de 4

COMPLEMENTOS DE MATEMTICA.

NOTAS DE CURSO. I 0 semestre 2007.

Aula 3. Funes transcedentais elementares. A exponencial e o log-


aritmo. Ramos de funes analticos. Pontos de ramificaçõ algebricos e
logaritmicos. Cortes de ramos. (3 horas)

Lembramos ao leitor que os assuntos gerais (definies, propriedades, etc) encontram-


se em qualquer livro de varivel complexa. Estas notas apenas complementam o texto
classico, trazendo detalhes sobre assuntos pouco contemplados nos livros usuais
(Churchill).

.
A exponencial complexa, define-se pela formula
ez = ex (cosx + iseny), z = x + iy.
Deixamos as seguintes propriedades (imediatas) a serem verificadas pelo leitor:

1) ez+w = ez ew ; 2) ez = ew Lef trightarrow z = w+2kπi; ez 6= 0; (ez )0 = ez .

O logaritmo complexo de um nmero complexo z 6= 0 define-se como a ”inversa”


da exponencial:
Log(z) = { w ∈ C : ew = z }.
Resolvendo esta equao, obtemos:
Logz = log|z| + iargz + 2kπi, k ∈ N.
(qui, log|z| denota o logaritmo natural do nmero real positivo |z|).

Como se v, o logaritmo complexo de um numro z no uma funo propriamente -


dita, pois associa a um numro complexo z 6= 0, ∞, uma infinidade de valores; porm,
para cada k fixado, obtemos uma funo, chamada de ”ramo de logaritmo”. Para
k = 0, obtemos o ”ramo principal” do logaritmo, o nico ramo cuja restrio ao eixo
real positivo coincide com o logaritmo usual.

Para estudar os ramos de Logz, precisa analisar, primeiro, os dominios de in-


jetividade da exponencial. Sejam z = x + iy, w = u + iv tais que ez = eω ;
explicitando, a partir da definio de exponencial obtemos ex eiy = eu eiv tomando o
mdulo nos dois membros, obtemos que ex = eu , o que implca, pela injetividade da
exponencial real, x = u; por outro lado, eiy = eiv se e somente se existe k ∈ Z tal
que ω = z + 2kπi; assim, claro que a restio da exponencial torna-se injetiva, se
restingida faixas horizontais infinitas, de ”altura” 2π; em particluar,
ez : Fk {(x, y) : x ∈ R, 2kπ < y < 2(k + 1)π} → C,

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

Seja z0 ∈ G um ponto fixado e seja wk = Logk (z0 ) = log|z0 | + iarg(z0 ) + 2kπi;


Seja z(t) = |z0 |eit , t ∈ [0, 2π] a paramtrizao do circulo |z| = |z0 | do plano
complexo, percorrido no sentido trigonomtrico; A funo F (t) = Logk (z0 eit ) continua
e F (0) = Logk (z0 ) e F (2π) = Logk+1 (z0 ). Em outras palavras, verificamos que se
o ponto z percorre de forma continua o circulo |z| = |z0 | ⊂ G, a partir do ponto z0 ,
ento o valor de
w = Logk (z) = log|z| + iargz + 2kπi, (1)
muda continuamente e quando z volta ao ponto inicial z0 , o valor de (1) ser
LogK+1 (z0 .). claro que isso ocorre para qualquer circuito fechado, simplis que parte
de z0 e da a volta em torno da origem. Como o ponto z0 arbitrario, verificamos
que em circuitos em torno de zero, ”o ramo” Logk se transforma continuamente no
ramo Logk+1 . Apos percorrer vrios circuitos em torno de zero claro que

Logk z → LogK+1 z → ... → LogK+l z → ...(2)

e que nunca volatremos ao ramo inicial.

Observaoe complementares* O comportamento da (multi) funo Logz em


torno da origem caracteriza ”o ponto de ramificao logaritmico” para a multi-funa
Logz, e a transformao continua (2), os ”ramos” da uma (multi) funo analtica Logz.

Daremos, a seguir uma definio mais precisa destas noes.

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.

Exemplo 1*. Z0 = 0 ponto de ramificao logaritmico, para a funo multivalente


Logz.

Exemplo 2*. Seja α ∈ C e a funo multivalente f (z) = z α := eαLogz .

i) Prove que os ramos de z α so as funes zkα = eαLogk z , definidas no dominio de


univalncia G = C − {(x, 0), ; x ≥ 0}.

ii) Mostre que Z0 = 0 ponto de ramificao logaritminco, se α ∈


/ Q, e algebrico,
se α ∈ Q.

iii) Estude separadamente, o caso particular α = n.


1
Exemplo 3*. Seja a funo multivalente w = (z−a) n , a inversa da funo univalente
1
z = wn + a (a 6= 0). Ache um dominio de univalncia para a funo w = (z − a) n e
seus ramos. Ache os pontos de ramificao e estude a natureza destes (algebrico ou
1 bwn −a
logaritmico). O mesmo para a funo w = ( z−a
z−b ) , a inversa de funo F (w) = wn −1
n
1
e para w = [(z − a)(z − b)] n .
1 1 1
(Sugesto: Sejam k, l ∈ Z fixados; os ramos da funo [ z−a z−a n
z−b ] so [ z−b ]kl = e
n n [Logk (z−a)−Logl (z−b)] ,

definidos no dominio de univalncia C[ a, b]. Detalhes na sala de aula.)

Exemplo 4. Seja a ∈ C, a 6= 0, 1; a funo g(z) = az (a funo potncia de base a ),


define-se em funo de logaritmo complexo:

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.

Exercicio 1. Calcule todos os valores posiveis de i2/3 , (1 + i)3/4 , (−1)5/2 e de


i
i.

Exercicio 2. Qual o erro no seguinte ”racioncinio:”

2log(−1) = log(−1)2 = log1 = 0?

Exercicio 3. (inversas de funes trigonomtricas. As funes multivalentes


Arcsenz, Arcosz, Arctgz, Arcctgz e Arcshz, Arcchz, Arcthz, Arccthz, definem-
4

se como inversas das funes trigonomtricas o trigonomtricas hiperblicas correspon-


dentes.
I) Verifque pelo menos uma √ das seguintes frmulas:
i) Arc cos z = −iLog(z + √ z 2 − 1);
ii) Arc sen z = −iLogi(z + z 2 − 1);
iii) Arc tg z = 2i Log i−z
i+z
;
i z−i
iv) Arc ctg z = 2 Log z+i ;

v) Arc ch z = Log(z + √z 2 − 1);
vi) Arc sh z = Log(z + z 2 − 1);
vii) Arc th z = 12 Log 1−z
1+z
;
1 1+z
viii) Arc cth z = 2 Log z−1 ;

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.

Você também pode gostar