Aula 9.

Transformaes conformes (3 horas)

Definio. Seja γ : [a, b] → C uma curva continua. Por definio, a curva tm

tangente no ponto z0 = γ(t0 ) se e somente se existe

γ(t) − γ(t0 )
lim arg[ ] = α.
t→t0 t − t0

Observao. claro que se a curva γ regular em z0 , (γ 0 (t0 ) 6= 0, ) ento ela tm

tangente em z0 = γ(t0 ) e neste caso,

γ(t) − γ(t0 )
lim arg[ ] = α = arg[γ 0 (t0 )].
t→t0 t − t0
Por outro lado, se γ 0 (t0 ) = 0, a curva pode ter ou pode no ter tangente em z0 , visto
que arg(0) no definido.
Por simplicidade, de ora em diante, suponhamos que todas as curvas so regu-
lares.

Seja f : Ω → C uma funo analtica em z0 (C−derivvel numa vizinhana de z0 , )

e seja γ : [a, b] → C uma curva regular, que passa por z0 = γ(t0 ). Seja Γ[a, b] → C
a imagem de γ pela transformao f : Γ(t) = f (γ(t)).
Pela regra da cadeia,

d
[f (γ(t))] = f 0 9γ(t))γ 0 (t).
dt

Seja agora γ 1 : [a1 , b1 ] → C uma outra curva que passa por z0 = γ1 (s1 ). O ngulo
entre as curvas γ e δ, no ponto z0 de interseo destas curvas , por definio, o ngulo entre
as tangentes estas curvas no ponto z0 . As curvas imagem, Γ = f ◦ γ e Γ1 = f ◦ γ1 ,
passam por f (z0 ) e tm neste ponto as tangentes f 0 (z0 )γ 0 (t0 ) e f 0 (z0 )γ10 (s1 ).

Estamos prontos a provar a seguinte propriedade importante das transformaes

analticas:

Teorema 1. Se f analtica em z0 (i.e C defivavel num disco centrado em z0

e se f 0 (z0 ) 6= 0, ento f preserva os ngulos entre as curvas que passam por z0 , no
tamanho e sentido.

Prova. Com as notaos como acima, o ngulo entre as curvas imagem igual ao
ngulo entre os vetores f 0 (z0 )γ 0 (t0 ) e f 0 (z0 )γ10 (s1 ), nesta ordem. Como a multiplicao

Typeset by AMS-TEX
1
2

por um nmero complexo no nulo (f 0 (z0 )), pode ser vista como uma rotao de ngulo
argf 0 (z0 ), seguida por uma omotetia de fator |f 0 (z0 )|, a concluso segue.

Definio. Uma transformao que preserva o ngulo entre curvas, em tamanho e

sentido, chama-se it transformao conforme.

Acabamos de provar ento o seguinte

Teorema 1’ Toda funo analtica em z0 , que tm derivada diferente de zero em

z0 , conforme em z0 .

Comentrio. Queremos salientar que o resultado vale para funes que so analit-
icas em z0 , e no apensa derivaveis em z0 . Num ponto z0 onde a derivada de uma
transformacao que e apenas C−derivvel no ponto z0 se anula, o ngulo pode ser
preservado, ou no.

Por exemplo, a transformao f (z) = rz, e continua em C e C− derivvel em 0,

0
f (0) = 0 e preserva os ngulos das curvas que passam por 0; isto no contradiz o
teorema, pois f no analitica em zero! ao contrio, a transformao g(z) = z 2 duplca
os ngulos entre as curvas que passam por 0 (Exercicio: complete os detalhes!)

Com um pouco de cuidado podemos provar um fato mais geral:

Teorema 2. Se f analtica em z0 e se f 0 (z0 ) = f 00 (z0 ) = ... = f (m) (z0 ) = 0 e

(m+1)
f (z0 ) 6= 0, ento f aumenta em m vzes os ngulos entre as curvas que passam
por z0 .

Prova*. Sugesto: por simplicidade suponha z0 = 0 e f (z0 ) = 0. Investigue

primeiro o ”efeito” da transformao w → wm , sobre retas que passam por 0. (Exer-
cicio!)
Em seguida prove que existe uma funo analtica g, tal que f (z)−f (z0 ) = g m (z),
com g 0 (z0 ) 6= 0. Etc. Detalhes na sala de aula.

O teorema da mapa aberta e o teorema da aplicao inversa, provados no curso

de Clculo para funes de Rn , valem para funes analticas numa vizinhana de um
ponto z0 , desde que f 0 (z0 ) 6= 0. Mais precisamente, vale o seguinte resultado.

Teorema 3 (da aplicao inversa). Se f uma funo analtica numa vizinhana

do ponto z0 , e se f 0 (z0 ) 6= 0, ento existem duas vizinhanas abertas V e W de z0
e f (z0 ), respetivamente, tais que f : V → W seja um isomorfismo analtico (i.e. f
analitica, bijetiva e tm inversa analitica)

Prova. Apliquemos o teorema da mapa inversa para a funo f = u + iv,

considerada como funo de R2 em R2 . Para isso, s verificar que o Jacobiano da
transformao no nulo. Pelas condies de Cauchy-Riemann, vimos que este exata-
mente igual |f 0 (z0 )| 6= 0 e isso garante que f inversivel de v em W. O resto sai do
teorema de derivao da funo inversa.
 3

Definio 2. Sejam D e Ω dominios do plano complexo. Uma transformao

f : D → Ω que analtica e bijetiva, chama-se transformao conforme (ou isomorfismo
analtico) e os dominios D e Ω so ditos ”conformemente equivalentes”.

A relao de conforme equivalncia uma relao de equivalncia (reflexiva, simtrica

e transitiva). natural, ento, investigar os dominios do plano conformemente equiv-
alentes entre s. O problema tm uma resposta simplis, (com prova dificil) para os
dominios simplismente conexos.

Teorema de representao de Riemann. Todo dominio simplismente conexo

Ω ⊂ C conformemente equivalente com o disco unitrio (ou, equivalentemente, com
o semiplano superior).

Comentrio. 1) Claro, no podemos esperar que C e o disco unitrio sejam con-

forme equivalentes. (Exercicio! (Sugesto: faa uma prova por absurdo e use o
teorema de Liuville).)

2) Se dois dominios D e D1 no so simplismente conexos, em geral eles no

so conformemente equivalentes; por exemplo, em geral dois aneis circulares no so
conformemente equivalentes...

Muitas vezes em aplicaes precisamos achar a imagem de certos dominios D,

que so regies delimitadas por curvas fechadas, por uma dada transformao conforme
f. O Teorema 3, que provaremos a seguir justifca um procedimento simplis e efi-
ciente para realizar esta tarefa, sem a necessidade de verificar a bijetividade da
transformao em todos os pontos interiores ao dominio. Porm precisamos antes
provar:

Teorema 4 (O Principio de Variao do Argumento).

S Seja γ uma curva
regular, fechada e seja f uma funo analtica no γ Int(γ). Ento:
Z
f 0 (z)
dz = 2πiN,
γ f (z)

onde N o nmero de zeros de f no interior de γ, contando a multiplicidade.

Prova. A prova imediata e usa apenas o Teorema dos Residuos. Detalhes na

sala de aula.

O que talvez mais importante do que o resultado em s, sua interpretao

geomtrica:

Teorema 4’ (O principio do argumento: interpretao geomtrica.

1
R f 0 (z)
2πi γ f (z)
dz
igual N, e igual ao nmero de voltas que a curva Γ = f (γ) d
em torno do ponto w0 = 0, quando a curva γ e percorrida uma vz, no sentido
trigonomtrico.
4

Prova. Sejam γ : [a, b] → C e Γ(t) = f (γ(t)). Ento, pela definio de integral

de linha,
Z 0 Z b 0 Z
f (z) f [γ(t)]γ 0 (t) dw
dz = dt = = 2πiN,
γ f (z) a f (γ(t)) Γ w

onde N o nmero de voltas que a curva Γ = f (γ) d em torno de w0 = 0, quando a

curva γ e percorrida uma vz, no sentido trigonomtrico.

Corolrio. Com as mesmas notaes,

Z
1 f 0 (z)
dz = N,
2πi γ f (z) − A

onde N o nmero de vezes que a funo f assume o valor A no interior da curva γ;

este nmero, representa, de ponto de vista geomtrico, o nmero de voltas que a curva
Γ = f (γ) d em torno do ponto A quando a curva γ e percorrida uma vz, no sentido
trigonomtrico.

Prova. Exercicio!

Damos agora, sem provar, o resultado teorico que garante a bijetividade da

transformao, mediante estudo da aplicao na cuva de fronteira.

Teorema 5. Seja γ uma curva regular fechada S e seja D a regio do plano

delimitada por ela; seja f uma funo analtica em D γ, e seja Γ = f (γ) a imagem
da curva γ pela transformao f e Ω a regio do plano delimitada pela curva (fechada)
Γ. Suponhamos que f verifca as seguintes condies:

i) f 0 (z) 6= 0, z ∈ D;

ii) f injetiva nos pontos da curva γ.

Ento f uma transformao conforme (isomorfismo analtico) de D em Ω

Prova *(facultativa!)

Este resultado pode ser ainda aprimorado, em condies ainda menos restritivas
para a funo f ; deixamos como ”exercicio*” (para o leitor muito interesado) a prova
do seguinte resultado, tambm muito til nas aplicaes:

Corolrio*.S Seja γ o eixo real e U o semiplano S superior; seja f uma funo

continua em U γ, injetiva em γ e analtica em U γ, com exceo de um nmero
finito de pontos, todos situados no eixo real. Ento, se f (γ) seja uma curva fechada,
f e analitica e bijetiva do semiplano superior U, no interior da curva Γ = f (γ).

Vamos ilustrar agora algumas aplicaes dos teoremas acima e do seu corolrio.
O leitor e encorajado a comparar esta soluo com a soluo direta (a verificao da
bijetividade da transformao).
 5

Exemplo 1. Prove que a funo f (z) = z + z1 uma aplicao conforme do dominio

Ω = {(x, y), y > 0, x2 + y 2 > 1},

no semiplano superior do plano (w). Indque a correspondncia das fronteiras. Inves-

tigue os pontos de fronteira do dominio onde a funo no conforme e interprete os
resulatdos.

Soluo. fcil verificar

S que a funo f sodisfaz as hiptesis do Corolrio anterior:
ela analtica em Ω γ, com exceo de dois pontos −1 e 1, ambos pontos de γ, ela
injetiva (verificao imediata) nos pontos da curva de fronteira γ. Como a imagem
da semi-reta {(x, 0), x < −1} a semi-reta {u, 0), u < −2} e como a imagem
da semi-reta {(x, 0), x > 1} a semi-reta {u, 0), u > 2}, e como a imagem do
semicirculo {x2 + y 2 = 1, y > 0} o segmento {(u, 0), −2 < u < 2}, a concluso
segue, pelo Corolrio anterior.

Exemplo 2. Prove que a transformao f (z) = senz manda

i) o interior do retngulo [−π/2, π/2]X[0, k], no interior de um semi-elipse
(qual?)
ii) o tubo [−π/2, π/2]x[0, ∞), no semiplano superior;
iii) o tubo [0, π/2]X[0, ∞), no primeiro quadrante.
Em todos os casos indique a correspondncia das fronteiras e investigue o que
acontece nos pontos da fronteira onde a transformao no conforme.

Muitas vezes a fim de achar imagens de dominios via transformaes conformes,

bom decompor a transformao em transformaes ”mais simplis.” Esta ideea explorada
com succeso nos exemplos seguir:

Exemplo 3. i) Ache a imagem pela transformao f (z) = Log z−1

z+1 , da regio

{(x, y), x2 + y 2 − 2yctgk = 1, y > 0}.

Resposta: Uma faixa horizontal (qual?)

cosz−1
ii) Ache a imagem pela transformao f (z) = cosz+1 , da regio

{(x, y), 0 < x < π/2, y > 0}.

Resposta: O semi-disco {u2 + v 2 < 1, v > 0}.

Exemplo 4. Ache uma transformacao conforme (isomorfismo analtico) do

conjunto Ω = R2 − {(x, 0), 0 < x < 1}, no semiplano superior.

Sugesto: Ache primeiro a imagem de Ω, sob a transformao z → z 2 ; depois

2
deduza
√ sua imagem sob a transformao z → z − 1; finalmente, sob a transformao
2
z → z − 1; por fim, rotacione.