Captulo 3

Derivadas de funes complexas

3.1. Introduo
O primeiro estudo sistemtico das funes complexas e das suas aplicaes a
problemas de anlise, hidrodinmica e cartografia deve-se a L. Euler, em 1776-77.
Contudo, funes deste tipo tinham sido anteriormente consideradas por outros
matemticos, com destaque para J. dAlembert
1
que utilizou funes complexas em
1752, no mbito do estudo do movimento de fluidos. Euler obteve, ento, condies
necessrias para a diferenciabilidade de uma funo complexa, embora no as tenha
explorado completamente. Estas condies resultam da forma especial das funes
lineares complexas, dado que a diferenciabilidade de uma funo num ponto corresponde
a poder ser aproximada por uma funo linear numa vizinhana desse ponto.
Por volta de 1825, A.L. Cauchy
2
deu um sentido preciso noo de derivada de
uma funo, tornando rigorosa a noo de limite da sua razo incremental, na sequncia
de uma ideia de dAlembert cerca de 1752. Cauchy deu passos decisivos no estudo das
funes complexas com base nas condies necessrias de diferenciabilidade obtidas por
Euler, mas s com o trabalho de B. Riemann
3
, em 1851, que estas condies so
plenamente exploradas. Ficaram conhecidas por condies de Cauchy-Riemann.
Podem ser expressas por equaes que relacionam as derivadas parciais das partes real e
imaginria da funo. Estabelecem que a diferenciabilidade de funes complexas

1
Jean le Rond dAlembert (1717-1783).
2
Augustin Louis Cauchy (1789-1857).
3
Bernhard Riemann (1826-1866).
23
24 Derivadas de funes complexas

implica fortes restries de interligao das suas partes real e imaginria, ausentes na
diferenciabilidade de funes de
2
em
2
.
As transformaes lineares definidas pelas derivadas de funes complexas
diferenciveis num conjunto aberto correspondem a relaes geomtricas de semelhana
do domnio para o contradomnio, isto , transformaes que preservam ngulos entre
rectas e expandem (ou contraem) comprimentos uniformemente em todo o espao. Como
as derivadas de uma funo definem transformaes lineares que so boas aproximaes
locais da funo, as propriedades referidas tendem a ser satisfeitas pela funo, no limite
quando se tende para um ponto de diferenciabilidade. Euler chamava-lhes
transformaes infinitesimamente semelhantes para traduzir a ideia de, na vizinhana
de cada ponto, tenderem a definir transformaes de semelhana no sentido da geometria
elementar (tringulos semelhantes tm ngulos correspondentes iguais e lados
correspondentes proporcionais com a mesma constante de proporcionalidade). Estas
transformaes foram consideradas nos trabalhos de Euler de 1777 sobre cartas
geogrficas da Rssia, de cuja elaborao foi encarregado pela Academia das Cincias de
S. Petersburgo. Na verdade, um aspecto essencial para o uso prtico de mapas que o
traado de rumos definindo um ngulo de direco de percurso com uma direco de
referncia (por exemplo, com o Norte magntico ou celeste) possa ser feito marcando o
mesmo ngulo numa carta plana, o que exige a preservao de ngulos na construo de
mapas planos da superfcie do globo terrestre e, portanto, a propriedade de
corresponderem a transformaes infinitesimamente semelhantes. A designao
transformaes conformes, utilizada para transformaes do plano com as
propriedades geomtricas referidas, foi introduzida apenas em 1789 por S. Schubert,
acadmico de S. Petersburgo.

3.2. Diferenciabilidade e derivadas de funes complexas
Seja : f uma funo definida num conjunto aberto no-vazio . Diz-
se que diferencivel num ponto se existe o limite da razo incremental de
entre

f
0
z
f z e quando :
0
z
0
z z
( f
0
0
0
) ( )
lim ) (
0 z z
z f z
z f
z z

.
A chama-se a derivada de em . Se diferencivel em todos os pontos do
conjunto aberto que contm um conjunto no-vazio , diz-se que holomorfa
em . O conjunto de todas as funes holomorfas em designa-se por . Chama-
se funo inteira a uma funo que holomorfa em , isto , o conjunto das funes
inteiras ) .
) (
0
z f
S
f
0
z f
S
S
f
H ) (S
( H

(3.1) Exemplos:
1. A funo complexa s diferencivel no ponto . Na verdade, com
,
2
| | ) ( z z f = 0 = z
i
e r h = > , 0 r , obtm-se

3.3. Transformaes conformes 25

i i
e r z e z
h
h h z h h z
h
z z h z h z
h
z f h z f

+ + =
+ +
=
+ +
=
+
2
) )( ( ) ( ) (
.
Como z e z e r z e z
i i i
+ = + +
2 2
) ( lim
r0
, verifica-se que para este limite
4
varia
com
0 z
, pelo que
h 0
no existe, e para o limite existe e
zero. Portanto a derivada de s existe no ponto e, neste caso, nula.
h z f h z f / )) ( ) ( ( lim +
f
0 = z
0 = z
2. As funes complexas constantes so holomorfas em e tm derivada nula
em todos os pontos. Na verdade,
c z f = ) (
0 lim
) ( ) (
lim ) (
0 0
=

=
+
=

h
c c
h
z f h z f
z f
h h
.
3. A funo identidade holomorfa em e tem derivada em todos
os pontos. Na verdade,
z z f = ) ( 1 ) ( = z f
1 1 lim
) (
lim
) ( ) (
lim
0 0 0
= =
+
=
+
h h h
h
z h z
h
z f h z f
.
4. As funes potncia de expoente inteiro positivo, , com , so
holomorfas em e tm derivada em todos os pontos. Na verdade, da
frmula binomial de Newton
5
obtm-se
n
z z f = ) ( n
1
) (

=
n
z n z f
h
h z h n z h
n n
z h n
h
z h z
h
z f h z f
n n n n
n n + + +

+
=
+
=
+
1 2 2 1
2
) 1 (
) ( ) ( ) (


e, portanto,
=
|
.
|

\
|
+ + +

+ =
+
=


1 2 2 1
0 0
2
) 1 (
lim
) ( ) (
lim ) (
n n n n
h h
h z h n z h
n n
z n
h
z f h z f
z f
1 n
z n .

As derivadas nos exemplos anteriores foram calculadas directamente a partir da
definio, como limites de razes incrementais. Contudo, da definio de derivada de
funes complexas resultam propriedades de diferenciao de operaes de funes
anlogas s da diferenciao de funes reais e que se estabelecem de forma idntica. Na
verdade, as somas, produtos e quocientes (com denominadores no nulos) de funes
complexas diferenciveis num ponto so diferenciveis nesse ponto e as composies de
funes complexas diferenciveis em pontos correspondentes so diferenciveis. As
regras de derivao associadas so:
g f g f + = + ) ( , ( , g f g f fg + = )
2
g
g f g f
g
f
=

|
|
.
|
\
|

, ( . g g f g f = ) ( )
Portanto, as somas, produtos, quocientes (com denominadores que no se anulam) e
composies de funes holomorfas so funes holomorfas. Mais precisamente, com
, se tem-se e ( ; se
tem-se ( . Em particular, o conjunto das funes
S
g
) ( , S H g f
)) ( ( S g H
) ( ) ( ), ( S H fg g f +
) ( ) S H g
[ ]) ( } 0 { \ ) /
1
g S H g f
), ( f S H f

4
O limite indicado a derivada direccional da correspondente funo em no ponto
segundo o vector .
2
z y x = ) , (
) sin , (cos
5
Isaac Newton (1642-1727).

26 Derivadas de funes complexas

holomorfas num conjunto um espao linear complexo com a soma e a
multiplicao por escalares complexos usuais.
S
z P ) (
/ ) Q z

=
0
( f
2
z
y i +

B
A
(3.2) Exemplos
1. As funes polinomiais

=
=
n
k
k
k
z a
0
1
so funes inteiras, visto que so somas
de produtos de constantes por potncias de expoentes inteiros no negativos, as quais so
funes inteiras. As regras de derivao de operaes de funes do
. Assim, a derivada de uma funo polinomial de grau n
uma funo polinomial de grau n .

=
+
+ =
1
0
1
) 1 ( ) (
n
k
k
k
z a k z P
2. As funes racionais , onde so funes polinomiais e no o
polinmio zero, so holomorfas no seu domnio, isto , no conjunto de pontos onde o
denominador no zero, dado que so quocientes de funes inteiras. As derivadas
de funes racionais podem ser calculadas pela regra de derivao do quociente de
funes e a frmula de derivao de polinmios do exemplo anterior.
) ( ( z P Q P, Q
) (z Q

Note-se que a funo definida por
(3.3)
=

0
0
0
0 0 0
0
se ,
se ,
) ( ) ( ) ( )
) , (
z z
z z
z z
z z z f z f z
z z E
satisfaz
0
z z
. Por outro lado, a funo
0
T , com T ,
uma transformao linear no espao linear complexo . Assim, dada a correspondncia
entre pontos de e de , a diferenciabilidade de uma funo complexa num
ponto corresponde diferenciabilidade da funo ( , definida em
pontos do espao linear real e com valores neste espao, no ponto ( , com
derivada dada por uma transformao linear em que corresponde a uma
transformao linear no espao linear complexo . Designando , pode-se
escrever a transformao linear T na forma
0 ) , ( lim
0
= z z E
= ) , (
0 0 0
y x
:
z
z z f z
z
) ( ) (
0
0
=
) , ( v u f =
) , v u
) ,
0 0
y x
) ( )
0
z f =
2
z
2
, (A B
0
) , ( ) ( ) ( ) ).( ( ) , (
0
Ay Bx By Ax Ay Bx i By Ax x B i A y x T
z
+ = + + = + = .
A representao matricial da correspondente transformao linear em , na base
cannica, coincide com a matriz Jacobiana da funo ( no ponto e
2
) , v u ) , (
0 0
y x
(
(
(
(

=
(

(
y
v
x
v
y
u
x
u
A
B
.
Portanto, h consistncia com a observao em lgebra Linear das representaes
matriciais das transformaes lineares em que correspondem a transformaes
lineares complexas em serem, na base cannica de , as matrizes de
componentes reais com as duas componentes na diagonal principal iguais e as outras
duas componentes simtricas uma da outra.
2
2
2 2

3.3. Transformaes conformes 27

Ficou provado o resultado seguinte.
(3.4) Teorema (equaes de Cauchy-Riemann): Se , com , S f : S
diferencivel num ponto e , ento no ponto verifica-se S z
0
) , ( v u f =
0
) z =
0 0
, ( y x
y
v
x
u

,
x
v
y
u

.
Alm disso, a derivada dada por cada uma das frmulas seguintes: f
x
f
x
v
i
x
u
f
def

= ,
y
f
i
y
u
i
y
v
f
def

= ,
y
u
i
x
u
f

= ,
x
v
i
y
v
f

= .

claro que as equaes de Cauchy-Riemann estabelecem fortes restries de
interligao das partes real e imaginria de funes complexas diferenciveis, mas
tambm estabelecem restries s prprias partes real e imaginria, o que concretizado
com casos particulares nos exemplos seguintes.

(3.5) Exemplos:
1. Seja uma funo complexa holomorfa numa regio , cuja parte real
. A equao de Cauchy-Riemann , neste caso,
. Primitivando em ordem a obtm-se v ,
onde a constante de primitivao em ordem a se representa por dado que pode
depender de
) , ( v u f =
2
xy x =
x y x = 2 ) ,

u = /
= ) , y x
K
2
) , ( y y x u
y y v ( /
x y v /
( 2xy
) (x
y ) ( 2 /
2
x K y +
y
x . A outra equao de Cauchy-Riemann, , tambm tem de
ser satisfeita, o que equivale a e, portanto, a , ou
seja, +c, onde c uma constante real. Assim, uma funo holomorfa
numa regio com a parte real dada tem necessariamente de ter parte imaginria da forma
, onde c uma constante real.
x y = /
)
v / u
) x ( + ( 2 K y x =
c
2y x x K = ) (
2 / K
xy y x v 2 ) , (
) (
2
x x =
x + = 2 /
2
y 2 /
2
+
2. Seja uma funo complexa definida num conjunto aberto , cuja parte
real . Procedendo de forma anloga obtm-se ,
, , o que impossvel. Portanto, no h funes
complexas holomorfas com parte real u .
) , ( v u f =
) , ( y x u =
2 K xy + =

v /
2 2
y x +
) (x 2y
x y x y 2 ) , ( =
) , ( y x v ( ) ( 2 x K y + =
, (x
)
2 2
) y x y + =

A diferenciabilidade de uma funo complexa num ponto corresponde aos
acrscimos dos valores da funo numa vizinhana do ponto em relao ao valor nesse
ponto serem bem aproximados por uma funo linear complexa, no sentido dos erros de
aproximao convergirem para zero quando os pontos no domnio convergem para o
ponto considerado. Geometricamente, esta situao corresponde ao grfico da funo em
associada funo complexa admitir um plano tangente (no vertical) no ponto
correspondente ao ponto considerado. Esta tangncia a um plano no vertical (grfico de
uma funo contnua em ) implica que a funo seja contnua no ponto de
diferenciabilidade.
2
2


28 Derivadas de funes complexas

(3.6) Teorema: Se um conjunto aberto e diferencivel num ponto : f

0
z , ento contnua em f
0
z .
Dem. Com definida para ) , (
0
z z E z numa vizinhana de pela frmula (3.3), tem-se
. Como , ,
pelo que contnua em . Q.E.D.
0
z
) = ) ( ) ( ) ( ) (
0 0
E z z z f z f +
f
0
z
, z z ( )
0 0
z f = 0 , ( lim
0
0

z z E
z z
0 ) ( ) ( lim
0
0
=

z f z f
z z

As equaes de Cauchy-Riemann num ponto so necessrias para a
diferenciabilidade nesse ponto. O exemplo seguinte mostra que no so suficientes.

(3.7) Exemplo: Considera-se a funo complexa | | ) ( xy z f =
0 ) , = y x
i
e r = >
, onde . Com
, verifica-se u , e , pelo que ( ,
, , . Portanto, as equaes de Cauchy-Riemann
so satisfeitas no ponto zero. Por outro lado, com h ,
z y x = ) , (
0 , 0 )( / x u f v u = ) , (
0 )( / ( y u
0 ) 0 , ( = x
0 ) / = x (
0 ) , 0 ( = y u
0 ) / = y u
( v 0 ) =
0 ) 0 , = (v
, 0 r , tem-se

i
i
e
e r
r
h
f h f

= =

2
| 2 sin | | ) )(sin (cos | ) 0 ( ) (
.
Os valores desta funo variam com , por exemplo, o valor da funo zero para
0 = , e (1/2,-1/2) para 4 / = . Portanto,
h 0
no existe. Segue-
se que no diferencivel no ponto zero, mas as equaes de Cauchy-Riemann
verificam-se nesse ponto.
h f h f / )) 0 ( ) ( ( lim
f

Sabe-se do estudo de funes em que uma condio suficiente para a
diferenciabilidade de uma funo num conjunto aberto no-vazio que as duas
componentes reais da funo sejam C nesse conjunto, isto , as suas derivadas parciais
existam e sejam contnuas no conjunto. Esta propriedade permite estabelecer condies
em que as equaes de Cauchy-Riemann so necessrias e suficientes para
diferenciabilidade de uma funo complexa.
2
1

(3.8) Teorema: Seja um conjunto aberto no-vazio e funes C .
2
: , v u
1
Ento a funo complexa holomorfa em se e s se as equaes de ) , ( v u = f
Cauchy-Riemann se verificam em .
Dem. Nas condies dadas, a funo )) , ( ), , ( ( ) , ( y x v y x u y x em diferencivel em
. A derivada uma transformao linear em que corresponde a uma transformao
linear no espao linear complexo se e s se a sua matriz Jacobiana, na base cannica
de , tem as componentes na diagonal principal iguais e as outras duas componentes
simtricas, ou seja, se e s se so satisfeitas as equaes de Cauchy-Riemann. Q.E.D.
2

2
2

(3.9) Equaes de Cauchy-Riemann em coordenadas polares
Em certos casos til considerar as equaes de Cauchy-Riemann em coordenadas
polares. As relaes entre coordenadas cartesianas y x, e coordenadas polares , r so

3.3. Transformaes conformes 29

sin , cos r y r x = =
) , ( ), , ( y x v y x u
cos ( ) , (
. A transformao de coordenadas no domnio de funes
pode ser expressa na forma
r u y x u =

r
V
r
U
) sin (cos y i y e e
x z
+ =
y e
x
u
x
cos =

e
z
z i
) (cos

\
|
=
) , ( ) sin , r U r = , ) , ( ) sin , cos ( ) , ( r V r r v y x = = v .
Com a regra de derivao da funo composta, obtm-se
(
(
(
(

(
(
(
(

=
(
(
(

cos sin
sin cos
r
r
y
v
x
v
y
u
x
u
V
r
V
U
r
U

As equaes de Cauchy-Riemann em coordenadas cartesianas so
A
y
v
x
u
def
=

, B
y
u
x
v
def
=

,
pelo que
(
(
(
(

+
+
=
(
(
(

) sin cos ( cos sin

) cos sin ( sin cos

B A r B A
B A r B A
V
U

e, portanto, as equaes de Cauchy-Riemann em coordenadas polares so
(3.10)
r
U
r
V

,
r
V
r
U

.

(3.11) Exemplos
1. Considera-se a funo complexa . Com e , verifica-se
, pelo que e v . Tem-se
z
e z f = ) (
e y
x
cos ) , =
) , ( v u f =
e y x
x
) , ( =
) , ( y x z =
y y x u( sin
v v
, y e
y
u
x
sin =

, y e
x
x
sin =

, y e
y
x
cos =

.
Estas funes so contnuas e satisfazem as equaes de Cauchy-Riemann em .
Conclui-se do teorema (3.8) que uma funo inteira. A sua derivada
z
e
z x x z
e y e i y e
x
v
i
x
u
e = + =

= sin cos ) ( .
Portanto, tal como no caso real, a derivada da exponencial ela prpria.
2. As funes complexas coseno e seno foram definidas por
2
cos
z i z i
e e
z

+
= ,
i
e e
z
z i z i
2

= sin .
Como somas, produtos e composies de funes inteiras so inteiras, conclui-se que as
funes complexas coseno e seno tambm so funes inteiras. As suas derivadas so
z
ie ie e
z i z i z i
sin
2 2
=

|
|
.
| +

, z
i
ie ie
i
e e
z
z i z i z i z i
cos
2 2
) =
+
=

|
|
.
|

\
|
=

(sin .
Portanto, tal como para as correspondentes funes reais, a derivada do coseno complexo
o simtrico do seno e a derivada do seno complexo o coseno.

30 Derivadas de funes complexas

A tangente complexa . Como um quociente de funes inteiras,
esta funo holomorfa no seu domnio, isto , no conjunto onde o denominador no se
anula, \{ :
) /(cos ) (sin tan z z z =
+ k k, 2 z = z / }. A derivada
2
z z
z z
z
2 2
2
cos
1
cos
sin cos
) (tan =
+
= .
Tambm neste caso, permanece vlida a frmula da derivao da tangente real.
3. De forma anloga, conclui-se que as funes complexas coseno hiperblico e seno
hiperblico so funes inteiras e que as suas derivadas so (cosh ,
. A tangente hiperblica holomorfa no seu domnio. A sua derivada
.
z z sinh ) =
z z cosh ) (sinh =
z cosh / 1 ) (tanh = z
2
4. Como se viu na seco 2.6, o logaritmo complexo pode ser definido por escolhas em
infinitos valores, mas podem considerar-se funes dadas por cada ramo do logaritmo
z ln , por exemplo, Arg ( | | ln i z + ) 2 k z + , com fixo. Cada um destes ramos do
logaritmo complexo est definido em \{0} e descontnuo no semieixo real negativo,
com a parte imaginria a aproximar-se de
k
) 1 2 ( + k quando os pontos do domnio se
aproximam deste semieixo pelo semiplano complexo superior (Im ) e de 0 > z ) 1 2 k (
quando os pontos do domnio se aproximam deste semieixo pelo semiplano complexo
inferior (Im ) . As partes real e imaginria de cada um destes ramos so, em
coordenadas polares

0 < z
, r com r e , respectivamente z e
i
=

] ] ) 1 2 ( , ) 1 + k 2 ( k
r r U , ( ln ) = e = ) , (r V . Verifica-se , r / 1 / r = U / 0 = U e , 0 / = r V
1 = / V . Estas funes so contnuas e satisfazem as equaes de Cauchy-Riemann
em coordenadas polares no conjunto , o qual
corresponde em coordenadas cartesianas a \{( : . claro que a
continuidade de
] [ ] 1 2 ( k
) 0 , < x
[ 2 ( , ) k
} 0
) ) 1 + , 0 +
x
, (r
) , ( ), , ( r V r
, ( ), , ( x v y x
U no conjunto indicado implica a continuidade das partes
real e imaginria u de cada ramo do logaritmo considerado no conjunto
\{( : . Conclui-se do teorema (3.8) que cada uma destas funes
logaritmo holomorfa no conjunto referido. A sua derivada pode ser facilmente
calculada pela regra de derivao da funo composta, derivando e . Obtm-se
e, portanto, (ln , o que generaliza a frmula anloga para a
derivada da funo real logaritmo.
)
)
y
z
) 0 , x
1 ) (ln = z
} 0 < x
z
z
=
ln
ln
e
z
z / 1 =
5. As potncias complexas de base complexa foram definidas na seco 2.7 por
, para
z w w
e z z
ln
= z e . Para } 0 { \ w \ z ,
+ w
z pode ser escolhido de
infinitos valores, tal como z ln , e, para z , convencionou-se tomar para
+
z ln

o
logaritmo real, o que d uma nica possibilidade para os valores de
w
z que corresponde
ao valor principal do logaritmo complexo. Cada um dos ramos do logaritmo complexo
z ln acima considerados corresponde a um ramo da potncia complexa , o qual
uma funo complexa definida em \{( : , tal como o correspondente ramo
de
w
z z
) 0 , x } 0 < x
z ln
f
. A frmula acima d cada ramo de como composio de funes
holomorfas, pelo que tambm uma funo holomorfa no seu domnio. A derivada de
cada ramo de , nos pontos de \{( : , calcula-se facilmente pelas
regras da derivao de operaes entre funes diferenciveis, obtendo-se
w
z
< x
z
)

0
w
z z , x } 0

3.3. Transformaes conformes 31

= ) (z f ( ) ( )
1 ln ln
= =

w z w z w w
z w
z
w
e e z ,
o que generaliza a frmula anloga para a derivada da funo real potncia definida para
bases positivas.
Para z e , com em termos mnimos, , ,
temos , pelo que as concluses anteriores tambm se aplicam neste
caso. A situao de potncias inteiras positivas, foi considerada no exemplo
(3.1.4), dando a mesma frmula de derivao, e para potncias inteiras negativas
obtm-se , tambm em
concordncia com a frmula de derivao anterior.
} 0 { \
w
e =
/ 1 ( =
w
) =
w
q p w / =
2
) (

=
w
z
p
1
q

} 1 { \
w
z w p
z
ln /
)

z
q
z =
(
w
z
w
)
w
z
2 1
/ ( ) /( 1

=
w w w
z w z w z
6. As exponenciais complexas de base complexa foram definidas na seco 2.7 por
, para
z w w
e z w
ln
= w z, , com . Considerando a funo potncia complexa
definida em por um dos ramos do logaritmo, de acordo com a frmula
acima, verifica-se que esta funo uma composio de funes inteiras e, portanto,
tambm uma funo inteira. A sua derivada calcula-se facilmente pelas regras da
derivao de operaes entre funes diferenciveis, obtendo-se
0 z
w
z w f = ) (
( ) ( ) , ) (ln ln ) (
ln ln w z w z w w
z z z e e z w f = =

=

o que generaliza a frmula anloga para a derivada das exponenciais reais de bases
positivas.
7. Na seco 2.8 obteve-se a relao ) ( ) (
2 2
1 ln 1 ln arccos z i z i z z i z + = + =
2
.
Para definir uma funo correspondente a um ramo desta relao h que escolher o sinal,
escolher um ramo da raiz quadrada que aparece na ltima parcela da expresso e um
ramo do logaritmo. Podemos escolher o valor principal do logaritmo, o ramo da raiz
quadrada definido no plano sem o semieixo real negativo e que assume valores de parte
imaginria positiva e o sinal negativo na expresso acima. Para que 1 z no esteja no
semieixo real negativo, temos de excluir do domnio os nmeros reais z da unio de
intervalos Se ] ] [ + , 1 1 , . [
2
1 z i + z pertence ao semieixo real negativo,
atendendo a que
2
1 z i z o seu recproco, tambm este pertence ao semieixo real
negativo e a sua soma z 2
]
um nmero real negativo. Como j se excluiu o intervalo
, resta verificar que para ] 1 , ] [ 0 , 1 z 0 1
2
> z e
2
z 1 i z + no real, para
concluir que podemos considerar a funo )
2
[ 1 , 1
1 ln( z i z i +
)
]
]
arccos definida na
regio , considerando o valor principal do logaritmo (ver
Figura 2.20). de notar que esta funo d para nmeros reais o valor da
funo real usual arccos que tem contradomnio [ . A funo fica definida por
composies, produtos e somas de funes holomorfas, pelo que uma funo
holomorfa em . A derivada desta funo
z =
, 0
= ] ] ( , 1 1 , [ + \

[
z
z arccos calcula-se facilmente pela regra de
derivao de operaes entre funes diferenciveis, obtendo-se
2 2
2
2 2 2
1
1
1
1
1 1
1
1
) (arccos
z z
z i z
z i z
i
z
z i
z i z
i
z

=
|
|
.
|

\
|

+
+

= .

32 Derivadas de funes complexas

Para arcsin z z arccos 2 / = pode-se tomar o ramo de z arccos

acima
considerado. Como se trata de uma diferena de funes holomorfas em , conclui-se
que tambm holomorfa em . A sderivada obtm-se aplicando as regras de derivao:
( )
2
1
1
arccos 2 / ) (arcsin
z
z z

= .
O resultado seguinte d algumas condies simples que implicam que uma funo
holomorfa numa regio seja constante em toda essa regio. Ilustram, mais uma vez, que a
existncia de derivada de uma funo complexa numa regio impe restries fortes de
interligao entre as suas partes real e imaginria, e os seus mdulo e argumento.

(3.12) Teorema: Seja uma funo holomorfa numa regio . Se a derivada de f
f nula em , ento constante em . O mesmo acontece se constante em f
qualquer das funes seguintes: a parte real, a parte imaginria, o mdulo ou o
argumento de . f
Dem. Se a derivada de nula, ento so todas
nulas em . Segue-se que as funes e
) , ( v u f = y v x v y u x u / , / , / , /
u v so constantes em todos os segmentos de
recta contidos em e paralelos aos eixos coordenados. Como um conjunto aberto
e conexo, qualquer par dos seus pontos pode ser ligado por uma linha poligonal contida
em cujos segmentos so paralelos a um dos eixos coordenados. Conclui-se que tanto
como

u v so constantes em e, portanto, o mesmo acontece a . f

Se u (ou v ) constante em , ento (ou
) , pelo que constante em .
0 / / = = y u i x u f
0 / / = + = v i v f x y f
Se | | f constante em , ento u tambm constante em . Derivando
esta expresso em ordem a
2 2
v +
x e em ordem a , e aplicando as equaes de Cauchy-
Riemann a esta ltima equao obtm-se
y
0 =

x
v
v
x
u
u , 0 =

y
v
v
y
u
u , 0 =

x
u
v
x
v
u .
O sistema de duas equaes constitudo pela primeira e a ltima destas equaes
equivalente equao matricial
0 =
(
(
(

x
u
x
u
u v
v u

O determinante da primeira matriz . Se u se anula num ponto, como
constante em anula-se em toda esta regio e igual a zero em . Se u no
se anula em , ento a primeira matriz na equao matricial acima no-singular em
todos os pontos de e, em consequncia, em , o que implica
em , pelo que constante em .
) (
2 2
v u +
u
f
2 2
v +
/ = y u

u i
f
/

2 2
v +

= y
0 = x
0 / / = x u f
Se o argumento de constante em , ento ou f v nula em e
em implica que constante em , ou existe uma

0 / / = + = x v i y v f f

3.3. Transformaes conformes 33

constante tal que c cv u em . Neste ltimo caso, a parte real da funo

=
c

) )( ) 1 ( iv u ic f ic + = + 1 ( + v u =0 em , pelo que . Como ,
resulta que igual a zero em . Q.E.D.

0 ) 1 ( = + f ic 0 ) 1 ( + ic
f
) ) , ( = v u f v
u v
0

=
x
v
x
u
y
v

x
u
=
|
|
.
|

\
|

|
|
.
|
x
v
y
u
u
u

A consequncia seguinte das equaes de Cauchy-Riemann muito til para a
representao geomtrica de funes holomorfas (podia j ter sido observada no caso
particular do exemplo (2.1)). Mais uma vez, verifica-se que a diferenciabilidade de uma
funo complexa num conjunto aberto impe fortes restries de interligao entre as
suas partes real e imaginria, neste caso com uma expresso geomtrica muito simples.

(3.13) Teorema: Se , ento as curvas de nvel de u e de ( H
intersectam-se ortogonalmente (ver Figura 3.1).
Dem. Das equaes de Cauchy-Riemann resulta que o produto interno dos gradiantes de
e de satisfaz
, , =

\
|

=
x
u
x
v
y
u
x
v
y
v
x
u
v .
Portanto e so ortogonais, o que equivalente ortogonalidade das curvas de
nvel de u e de
v
v . Q.E.D.



34 Derivadas de funes complexas


Figura 3.1: Interseco ortogonal das curvas de nvel das partes real (trao grosso) e ima-
ginria (trao fino) de funes holomorfas (exemplos:
2
z , 1 , , z /
z
e z tan , ln , z z arccos )
3.3. Transformaes conformes
Para analisar a forma como transformaes definidas num plano deformam o
espao, til observar o seu efeito em curvas contidas nos domnios das transformaes.
As noes de curva e de caminho em subconjuntos de so anlogas s
correspondentes noes em subconjuntos de . Em particular, um caminho em
uma funo contnua definida num intervalo limitado e fechado de nmeros reais com
valores em . Chama-se curva
2

* em ao contradomnio de um caminho em .
Um caminho regular um caminho C cuja derivada nunca se anula. Para um caminho
regular , a derivada
1
) t [ ] : b a, 0 ( um vector tangente curva * no ponto
) (t , para todo t . [ ] b a,

1
2
1
2

Figura 3.2: Transformao de curvas por uma funo holomorfa

Seja um conjunto aberto, e um caminho regular.
Ento
) ( H f [ ] b a, :
f = tambm um caminho. A curva correspondente a imagem pela funo
da curva representada pelo caminho f (Figura 3.2). Da regra de derivao da funo
composta obtm-se , para . Portanto, sendo C , ( ) ( ) ( ) ( t t f t = ) t [a, ] b f
1
um
caminho regular se e s se , para 0 ) ( z f * z . Alm disso,
, para t com . ( ) ) ( arg ) ( arg ) ( arg t t f t + = [ b a, ] ( ) 0 ) ( t f
Assim, se o ngulo entre as tangentes dirigidas e ,
respectivamente, ao caminho
0 ) (
0
z f ) (
0
t ) (
0
t
em e ao caminho ) (
0 0
t z = em , igual
a . Portanto, caminhos regulares que formam um ngulo
)
0
z (
0
f w =
) ( arg
0
z f em so
0
z

3.3. Transformaes conformes 35

transformados pela funo em caminhos que formam o mesmo ngulo f em
(Figura 3.3). Tambm se tem
0
w
lim
z
f
0
z
0
z

2
f

=
| ) ( |
| |
| ) ( ) ( |
0
0
0
0
z f
z z
z f z f
z
=

,
pelo que pequenos segmentos de recta com origem em so, no limite quando ,
contrados ou expandidos na razo | . Assim, a mudana de escala em
resultante da transformao independente da direco (Figura 3.3). Quando uma
funo satisfaz estas duas propriedades diz-se que uma transformao conforme.
0
z z
| ) (
0
z f
As observaes anteriores ilustram que as funes holomorfas satisfazem restries
geomtricas muito fortes, o que j se tinha notado quando se observou que as curvas de
nvel das partes real e imaginria de uma funo holomorfa se intersectam
ortogonalmente.

1
Figura 3.3: Preservao de ngulos e mudana de escala em cada ponto
independente da direco sob transformaes definidas por funes holomorfas
claro que os dois tipos de conformidade em , para uma funo
, implicam que existe: o seu mdulo a razo de contraco ou
expanso de pequenos segmentos com origem em , e o seu argumento , para cada
caminho regular

0
z
: f ) (
0
z
0
z
que passa por , a diferena entre os argumentos das tangentes
dirigidas do caminho
0
z
f = em e do caminho ) (
0
z f =
0
w em .
0
z
Na verdade, como se v no resultado seguinte, sob a hiptese adicional de
existncia e continuidade das derivadas parciais , com numa
vizinhana de , o primeiro tipo de conformidade por si s j implica a existncia de
. Por outro lado, sob a mesma hiptese, o segundo tipo de conformidade implica a
existncia de ou da derivada
y f x f / , / z y x ) , (
0
z
(z f
) (
0
z f
)
0
) ( ) (
0
z f da conjugada de . f

(3.14) Teorema: Seja um crculo aberto centrado num ponto e ) (
0
z B
r

0
z
) ( :
0
z B f
r
uma funo tal que nos pontos as derivadas ) ( ) , (
0
z B y x z
r
=
y f x f / , / existem e so contnuas. Ento:
1) A condio de conformidade de preservao dos ngulos entre caminhos regulares
em equivalente existncia de derivada de em diferente de zero.
0
z f
0
z
2) A condio de conformidade de uma razo de expanso (ou contraco) constante de
pequenos segmentos de recta com origem em , no limite quando os comprimentos dos
0
z

36 Derivadas de funes complexas

segmentos tendem para zero, equivalente existncia de derivada de , ou da sua f
conjugada, em diferente de zero (no ltimo caso preserva os valores absolutos de
0
z f
ngulos entre caminhos regulares que se intersectam em mas inverte os seus
0
z
sentidos).
0 0
z

) t (z i ) z
i

w +
0
z x,
0
i +
/ y
x /
/ f
=
y

f
z
Dem. J se sabe que a existncia de derivada de em diferente de zero implica a
validade das duas condies de conformidade. Como os valores absolutos de complexos
conjugados so iguais e os ngulos definidos por complexos conjugados no nulos so
iguais em valor absoluto mas de sentidos contrrios, a existncia de derivada de
f
0
z
f em
diferente de zero implica a validade das duas condies de conformidade, tendo em
considerao que a preservao de ngulos com inverso de sentidos.
0
z
Do teorema (3.8) sabe-se que, nas condies da hiptese do presente teorema, a
existncia de derivada de (ou f f ) em equivalente validade das equaes de
Cauchy-Riemann de (ou
0
z
f f ) em , pelo que basta mostrar que, separadamente, cada
uma das condies de conformidade implica a validade das equaes de Cauchy-
Riemann em e a no anulao da derivada de (ou
0
z
z f f ) em .
[ ] Observe-se que para um caminho regular com ,
e ,
b a z , : ,
0 0
) ( z t z =
( )) ( ), ( ( z t y t x = )) ( ( ) ( t z f t w = 2 / ) ( z z x + = , 2 / ) z ) i = 2 /( (z y = ,
z
y
f
x
f
z
y
f
i
x
f
y
y
f
x
x
f

|
|
.
|

\
|
+

|
|
.
|

\
|

=
2
1
2
1
,
onde as derivadas parciais de so calculadas em e as derivadas de f w z y , , so
calculadas em t .
Se os ngulos entre caminhos regulares em so preservados por , ento
0
z f
(3.15)
z
z
y
f
x
f
y
f
i
x
f
z
w

|
|
.
|

\
|

+
|
|
.
|

\
|

2
1
2
1

deve ser diferente de zero e ter argumento independente de z . Quando z percorre todos
os possveis valores complexos, o quociente z z /
2 / ) y
percorre a circunferncia do plano
complexo de raio 1 e centro na origem, pelo que os valores de (3.15) percorrem a
circunferncia com centro em e raio . Ora a
nica situao em que o argumento permanece constante corresponde ao raio ser nulo,
isto , a . Com , esta equao equivale a e
que so as equaes de Cauchy-Riemann. Portanto, neste caso,
diferencivel em . Como a expresso (3.15) tem de ser diferente de zero, o seu
segundo termo zero e , resulta que a expresso (3.15) igual a
e, das frmulas para a derivada de no teorema (3.4), concluiu-se
.
/ / ( f i x f
f v u = ) , (
y f i x = /
2 / ) i x +
=
( f
u y f i x f / /
u /
0
z

0 / x f
y v /
f x v = /
x f /
) (
0
= z f
f /
Por outro lado, se pequenos segmentos de recta com origem em so, no limite
quando os seus comprimentos tendem para zero, expandidos (ou contrados) numa razo
constante, segue-se que | diferente de zero e independente de
0
z
| | / | z w , pelo que o
valor absoluto de (3.15) tem de permanecer constante quando z percorre todos os
possveis valores complexos. Como os valores de (3.15) percorrem uma circunferncia,

3.3. Transformaes conformes 37

os seus mdulos s permanecem constantes se o raio da circunferncia nulo ou o centro
est na origem. Como se viu acima, a primeira situao implica a validade das equaes
de Cauchy-Riemann e, portanto, a diferenciabilidade de em . Por seu lado, a
segunda situao corresponde a , ou seja a
f
0
z
y f i x f = / / y f i f / /
f
x = , o que
implica a validade das equaes de Cauchy-Riemann da conjugada de e, portanto, a
sua diferenciabilidade em . O facto de
0
z 0 /
) y
/ )
0
= = x f f
sin (cos i e
x z
+ =
( ) z f
) ( e z f =
( prova-se de
forma idntica ao caso anterior. Q.E.D.
x
y
2
2
} 0 {

(3.16) Exemplos:
As funes holomorfas que foram consideradas em seces anteriores fornecem
exemplos de transformaes conformes. Em seguida, consideram-se trs exemplos
especficos mais detalhadamente.
1. A transformao exponencial
Considera-se a funo exponencial , com .
Como a exponencial uma funo peridica de perodo
z y x = ) , (
i , cada faixa horizontal do
plano complexo com largura transformada em todo o contradomnio da
exponencial, isto , em . \

/
2
/
2
Figura 3.4: Transformao do plano definida pela exponencial complexa
As rectas verticais a x = so transformadas em circunferncias de centro na
origem e raio e (Figura 3.4). Em particular, o eixo imaginrio transformado na
circunferncia de raio 1, as rectas verticais do semiplano direito so transformadas em
circunferncias de raio maior do que 1 e as rectas verticais do semiplano esquerdo so
transformadas em circunferncias de raio menor do que 1.
a
Por outro lado, as rectas horizontais so transformadas em semirectas com
extremidade na origem, mas no a contendo, que fazem o ngulo b com o semieixo real
positivo (Figura 3.4).
b y =

38 Derivadas de funes complexas

/
/

Figura 3.5: Transformao de um rectngulo definida pela exponencial complexa
Uma vez que as rectas horizontais so ortogonais s rectas verticais, as suas
imagens tm de ser curvas ortogonais, pois para todo 0 ) ( =
z z
e e z , o que
confirmado pelo facto das semirectas que passam pela origem serem ortogonais s
circunferncias de centro na origem.
Em particular, a funo exponencial transforma rectngulos de altura inferior a 2
em sectores de coroas circulares, definindo uma correspondncia biunvoca entre os dois
conjuntos (Figura 3.5). Por outro lado, rectngulos de altura superior a 2 so
transformados em coroas circulares, no sendo injectiva a correspondncia definida entre
os dois conjuntos.
2. Transformaes de Mbius
Chama-se transformao de Mbius
6
a uma funo da forma
d cz
b az
z f
+
+
= ) ( ,
com e (o exemplo (2.2) o caso particular com
). Veremos num dos captulos finais que estas transformaes
desempenham um papel fundamental no esclarecimento da diversidade possvel das
transformaes conformes.
d c b a , , ,
1 , 1 = d
0 bc ad , 0 = a
= = c b
Note-se que
2 2
) ( ) (
) ( ) (
) (
d cz
bc ad
d cz
b az c d cz a
z f
+

=
+
+ +
= ,
desde que . Assim, se a derivada existe e diferente de zero em
; se a derivada existe e diferente de zero em . Portanto, as
0 + d cz
0 = c
0 c
} / { \ c d

6
August Ferdinand Mbius (1790-1868). As transformaes de Mbius tambm so conhecidas por
transformaes homogrficas, transformaes lineares fraccionrias ou transformaes bilineares
fraccionrias.

3.3. Transformaes conformes 39

transformaes de Mbius com c so conformes em , e com c so conformes
em .
0 =
f
0
} / { \ c d
f
1
0 )( ( b da
, 0 = = b
iz R = ) (
2 / 2 /
S
2 2
+ y x
0 B
2
y

\
|
+
|
.
|
> AD
| 2 | / 4 A AD
2 2
C B +
w
w
i
z
,

2
+
=
+
z
B z
1
2

\
|
w
B
2
+ w w
2 2
+ v u
Comea-se por observar que invertvel e a sua inversa satisfaz

a cw
b dw
w
+

= ) ( ,
com , pelo que a inversa de uma transformao de Mbius
tambm uma transformao de Mbius.
) = bc ad c
Um caso particular especialmente simples de analisar obtm-se com
, nomeadamente a funo recproco 1 = = c d a
z
z R
1
) ( = ,
cujo domnio e contradomnio so iguais a . Note-se que , pelo que
conhecendo a imagem de um certo conjunto de pontos , a imagem da rotao de
ngulo
} 0 { \ iz
S
deste conjunto o resultado da rotao de ngulo da imagem do
conjunto . Vamos ver como esta funo transforma rectas e circunferncias. As rectas e
as circunferncias tm equaes cartesianas que, com ( , podem ser escritas z y x, = )
(3.17) . ( ) 0 = + + + D Cy Bx A
Obtm-se rectas para e . Por outro lado, com ,
completando quadrados de somas, pode-se escrever a equao anterior na forma
, 0 = A 0 , 0 = C A 0 A
2
2 2
2
4
4
2 2 A
AD C B
A
C
A
B
x
+
=
|
.
|
+

\
|
+ ,
pelo que (3.17) representa circunferncias para , e estas tm
raio
0 4 , 0
2 2
+ C B A
e centro em ( . ) ) 2 /( ), 2 A C A /( B
Com as substituies
i
w w
v
w
u w w v u iv u
z
z
y
z z
x z z y x
2
, , ,
1
2
,
2
,
2 2 2 2

= = + + = = =
+
= = + ,
a equao (3.17) transforma-se sucessivamente em
0
2 2
= +

+
+
D
i
z z
C
z
z A ,
0
1 1
2
1 1
= + |
.
|

\
|
+ |
.
|
+ + D
w w i
C
w w w
A ,
0
2
= +

+ w w D
i
w w
C B A ,
(3.18) . ( ) 0 = + + A Cv Bu D
Ora, se (3.17) representa uma recta e e, portanto, (3.18)
representa uma recta que passa na origem se , e uma circunferncia que passa na
origem se . Se (3.17) representa uma circunferncia, ento e
0 , 0 = B A
0 = D
0 , 0 = C A
0 D 0 A

40 Derivadas de funes complexas

0 4
2 2
> + AD C B
0 = D
0 D
) 0 ), 2 /( 1 ( D
, pelo que (3.18) representa uma recta que no passa na origem se
, e uma circunferncia se . 0 D
x
= D
z A
1
:
Em particular, rectas verticais (da forma (3.18) com )
transformam-se na recta u se , ou em circunferncias se
. Por analogia com (3.17), estas circunferncias tm raio | 1 e centro em
(Figura 3.6).
D =
0
1 , 0 = = = B C A
0 )
2 2
= + + u v u
2D
0 = ( D
| /

( ) / /
Figura 3.6: Transformao de uma recta vertical pela transformao de Mbius z z / 1
Da anlise anterior conclui-se que uma grelha de rectas verticais e rectas
horizontais transformada pela funo numa grelha constituda por
circunferncias tangentes aos eixos coordenados na origem intersectando-se
ortogonalmente e pelos prprios eixos coordenados (Figura 3.7).
z z R / 1 ) ( =

Figura 3.7: Transformao do plano definida por uma transformao de Mbius
Para analisar o caso geral, note-se que se c ento 0
c
a
d cz c
ad bc
d cz
b az
z f +
+

=
+
+
=
1
) ( .
Assim, em geral, uma transformao de Mbius resulta da composio de trs
transformaes , na forma , onde
) (z f w =
) ( )
1
z A
2 1
, , A R A (
2
R A w =
(homotetia e rotao centradas na origem seguidas de translao) d cz z + =
1

3.3. Transformaes conformes 41


1
2 1
1
:
z
z z R =
+ =
2 2 2
: z w z A (homotetia e rotao centradas na origem seguidas de translao),
onde c ad bc / ) ( = e c a / = . e so funes afins e
1
A
2
A R a funo recproco
considerada anteriormente. Por outro lado, se , uma funo
afim, pelo que corresponde a uma homotetia e rotao seguidas de uma translao.
0 = c b z a z f + = ) ( ) ( d /
3. Transformao de Joukovski
A transformao de Joukovski
7
a funo
|
.
|

\
|
+ =
z
z z J
1
2
1
) ( .
O seu domnio . Trata-se de uma funo racional e, portanto, holomorfa no seu
domnio. A derivada desta funo
} 0 { \
|
.
|

\
|
=
2
1
1
2
1
) (
z
z J ,
pelo que se anula nos pontos e , e apenas nestes pontos ( so pontos fixos da
transformao pois ). Assim, a transformao de Joukovski uma
transformao conforme na regio . Note-se que , pelo que a
imagem de um ponto coincide com a do seu recproco.
1
1 =
1 +
\
1
) / 1 z
) 1 ( J
0 z
} 1 , 0 , 1 { ) ( ( z J J =
Se e z = . Portanto, a circunferncia de raio 1 e
centro na origem transformada no segmento de recta no eixo real entre os nmeros
e (Figura 3.9). Pares conjugados de pontos da circunferncia so transformados num
mesmo ponto do intervalo [ , igual parte real dos pontos considerados.
i

cos 2 / ) ( ) ( = + =
i i
e e z f
] 1 , 1 +
1
1 +

Para identificar a imagem da circunferncia de raio 1 r , toma-se e

calcula-se
i
re z =
(3.19) ( )

sin
1
2
cos
1
2
1
2
1
|
.
|

\
|
+ |
.
|

\
|
+ =
|
|
.
|

\
|
+ = = +

r
r
i
r
r
r
e
e r e r f iY X
i
i i
,
pelo que
1
1
4
1 1
4
1
2
2
2
2
=
|
.
|

\
|

+
|
.
|

\
|
+
r
r
Y
r
r
X
.
Portanto, a circunferncia de raio 1 r e centro na origem transformada na elipse de
semieixos e | ao longo do eixo real e do eixo imaginrio,
respectivamente. Os grficos das funes ( e | em funo de
so como esboados na Figura 3.8. Segue-se que toda a regio exterior circunferncia
de raio 1 e centro na origem transformada no complementar em do segmento de
recta no eixo real de extremos nos nmeros e , o mesmo acontecendo com o
2 / ) / 1 ( r r + 2 / | r / 1 r
2 / ) / 1 r r +
1
2 / | / 1 r r
1
0 > r
+

7
Nicolai Joukovski (1847-1921).

42 Derivadas de funes complexas

complementar da origem na regio limitada pela circunferncia de raio 1 e centro na
origem.

: iy

Figura 3.8: Grficos das funes ( e | 2 / ) / 1 r r + 2 / | / 1 r r
Por outro lado, de (3.19) obtm-se tambm, para tal que cos 0 e sin 0 ,
1
sin cos
2
2
2
2
=

Y X
,
pelo que as rectas de declive com valor absoluto igual a | | cos | / | sin que passam na
origem so transformadas na hiprbole de semieixos | | sin , | cos | ao longo do eixo
real e do eixo imaginrio, respectivamente (ver Figura 3.9). Estas hiprboles so
ortogonais s elipses acima consideradas, uma vez que so imagens de curvas ortogonais
por uma transformao conforme.
Conclui-se tambm que o eixo real (excluindo o zero) transformado na unio das
semirectas que se obtm retirando ao eixo real o segmento de recta com extremos nos
nmeros e , enquanto que cada semieixo imaginrio transformado em todo o
eixo imaginrio (ver Figura 3.9), com os conjuntos { e { a
serem transformados no semieixo imaginrio negativo e os conjuntos { e
a serem transformados no semieixo imaginrio positivo.
1
} 1
1 +
} 1 : > y iy } 0 1 : < < y iy
} 1 0 < < y
: { < y iy


3.3. Transformaes conformes 43


Figura 3.9: Transformao de Joukovski
Com f w = , obtm-se ) (z
2
2
2
1
1
1 2
1 2
2 ) / 1 (
2 ) / 1 (
1
1
|
.
|

\
|
+

=
+ +
+
=
+ +
+
=
+

z
z
z z
z z
z z
z z
w
w
.
Como ) 1 /( ) 1 ( + w w w uma transformao de Mbius cuja inversa
) 1 /( ) 1 ( + , a transformao de Joukovski resulta da composio de
trs transformaes, , onde
) (z J w =
) )(
1
z M Q

(M w =
1 z
1
:
1
+
=
z
z z M , Q , ( )
2
1 2 1
: z z z =
1
1
:
2
2
2
1

+
=

z
z
w z M .
M e
1
M so transformaes de Mbius e a funo potncia de expoente .
Verifica-se , ) e M \ . Como estas transformaes
so conformes preservam os ngulos entre curvas regulares em todos os pontos dos seus
domnios. A transformao Q duplica os argumentos em relao ao ponto , o qual
corresponde ao ponto do domnio . Com a funo recproco ,
obtm-se que a transformao de Joukovski tambm a composio .
A funo
Q
H
1 +
2
z /
) )(z
( H M }) 1 { \ ( H Q
z
(
1
) 0 ( =
}) 1 {+
0
1
= z
z R ) (
Q M =
1
=

M 1 =
1
M

(R w
R uma transformao de Mbius holomorfa em e conforme no seu
domnio. Assim, as transformaes preservam os ngulos entre curvas
regulares em todos os pontos dos seus domnios, e a transformao Q duplica os
argumentos em relao ao ponto , o qual corresponde, neste caso, ao ponto do
domnio . Portanto, a transformao de Joukovski duplica tanto
os argumentos em relao ao ponto
} 0 { \
1
, M M ,
0
R
=
1 =
1
z
1 = ) 0 ( ) = M 0 ( ) (
1 1
M = z
z , como em relao ao ponto 1 = z .

44 Derivadas de funes complexas


Figura 3.10: Transformao de Joukovski da regio delimitada por duas
circunferncias tangentes em + , com uma delas a passas no ponto . 1 1
Qualquer circunferncia S que passe nos pontos e + do plano complexo tem
centro num ponto do eixo imaginrio e raio
1 1
ia
2
1 a + , com . A imagem do arco
de que est no semiplano complexo inferior pela transformao um arco
de circunferncia que passa nos pontos e e pertence ao semiplano complexo
superior, ou seja, o arco da circunferncia pertencente ao semiplano complexo
superior. Como
1
R
a
S z z / 1 ) ( =
1 1 +
S
J R J =
0 >
, claro que a imagem do arco de no semiplano complexo
inferior coincide com a imagem do arco de no semiplano complexo superior. Pode-se
verificar que esta imagem um arco de uma circunferncia C que passa nos pontos e
. Designando por
S
S
1
1 + o ngulo da tangente a no ponto com a semirecta com
origem neste ponto contida no semieixo real positivo (Figura 3.10), obtm-se que a
transformao de Joukovski
S 1 +
J uma funo bijectiva conforme do interior do crculo
delimitado por para o conjunto U e que o arco de circunferncia C faz um
ngulo
S = C \
2 com a semirecta de origem neste ponto contida no semieixo real positivo.
Conclui-se, tambm, que J uma funo bijectiva conforme do exterior desse crculo
para . Observa-se, ainda, que a transformao de Joukovski transforma a regio
delimitada pela circunferncia e por uma outra qualquer circunferncia tangente a
no ponto + numa regio semelhante ao perfil clssico da asa de um avio planador,
como ilustrado na Figura 3.10.
U
S S
1
Os exemplos anteriores mostram que as propriedades de conformidade podem ser
teis para obter o traado das imagens de certas curvas do plano complexo que resultam
da aplicao de uma dada funo holomorfa. Pode-se assim conseguir uma ideia
geomtrica da forma como essa funo deforma regies do plano complexo.
Alm disso, o estudo de transformaes conformes tem grande interesse tanto de
um ponto de vista estritamente matemtico como para aplicaes em diversas outras
reas. Por exemplo, as transformaes de Mbius foram usadas em electrotecnia no
estudo de variaes de impedncia de circuitos quando certos componentes do circuito
so alterados, e a transformao de Joukovski foi usada em 1906 para calcular a fora de
sustentao de um perfil de asa de avio e constituiu a base do primeiro mtodo de
clculo da aerodinmica de asas de avies.

3.3. Transformaes conformes 45

Este ltimo exemplo um caso particular de uma situao de interesse mais geral
que ocorre na resoluo de certas equaes diferenciais parciais, nomeadamente no
mbito da hidrodinmica, aerodinmica, elasticidade e electroesttica. Em certos casos
de interesse prtico possvel resolver com relativa facilidade uma dada equao
diferencial numa regio adequada, como por exemplo num rectngulo ou num crculo, e
usando transformaes conformes apropriadas, obter solues da equao diferencial
noutras regies por simples mudanas de variveis.

Exerccios
3.1. Determine o conjunto onde a funo complexa dada holomorfa:
a) b) c) . ) 1 ( 2 2 ) , (
2 2
+ = x y i xy y x y x f ) sin (cos ) , ( x i x e y x f
y
+ =
2 2 2 2
2 ) , ( y x i y x y x f + =
3.2. Determine os polinmios de duas variveis em que todos os termos so de grau 4 e no envolvem
monmios proporcionais a que adicionados parte real e parte imaginria da funo em
3.1.c) do uma funo inteira.
2 2
y x
3.3. Determine a funo holomorfa tal que , , e . ) , ( v u f =
) ( H
3 2
3 ) ( y x iy x v = +
) ( H g c
y x, 1 ) 0 ( = f
) (z f = ) (z g 3.4. Seja aberto. Prove: se e s se om f .
3.5. Defina uma funo numa regio apropriada que seja a soma de uma raiz quadrada de z + 1 com uma
raiz quadrada de z 1 , com z complexo, procurando uma regio to grande quanto possvel.
Determine o conjunto onde a funo holomorfa.
3.6. Resolva o exerccio anterior, mas para uma composio de dois logaritmos complexos.
3.7. Seja uma regio e ) tal que | em . Mostre que Re ou Re em . ( H f 1 | 1
2
< f
u
0 > f 0 < f

3.8. Diz-se que uma funo de valores reais harmnica num conjunto aberto se satisfaz a
equao de Laplace em cada ponto ( , isto , se .

2
= y , x ) y 0 / /
2 2 2
+ = u x u u
a) Determine as funes polinomiais de duas variveis reais em que todos os termos tm grau 3 que so
funes harmnicas em .
b) Prove: u harmnica em se e s se ) ( ) ( z u z v = harmnica em .
c) Prove: As partes real e imaginria de uma funo holomorfa com derivada contnua num conjunto
aberto so harmnicas nesse conjunto.
3.9. Mostre que se
n 2 1
esto situados do mesmo lado de uma recta que passa na origem,
ento
=
n
k k 1
, e que se
= k 1
ento os pontos no podem estar situados do mesmo lado de
uma recta que passa na origem.
z z z , , ,
0

n

z

=
k
z
1
0
3.10. Prove: Todos os zeros da derivada de uma funo polinomial
1 k k=
pertencem ao
envlucro convexo dos zeros dessa funo polinomial, i.e., ao menor conjunto convexo
8
que os
contm (neste caso um polgono convexo em que os vrtices so zeros da funo polinomial
considerada).
) ( ) (
n
z z z P =
3.11. Prove que z z no uma transformao de Mbius.
3.12. Determine uma transformao de Mbius que transforma os pontos 0 , respectivamente, nos
pontos 1 .
i i , ,
0 , 1 ,
3.13. Determine uma transformao conforme que transforma a interseco dos crculos do plano
complexo e | no crculo | . 1 | | < z 1 | 1 < z 1 |< z
3.14. Determine uma transformao conforme que transforma a regio entre as circunferncias do plano
complexo e | no semiplano . 1 | | = z 2 / 1 | 2 / 1 = z 0 > z m I
3.15. Mostre que uma transformao de Mbius tem 0 e como nicos pontos fixos se e s se uma
expanso uniforme. Mostre que uma transformao de Mbius tem como nico ponto fixo se e s
se uma translao.

3.16. Seja uma transformao de Mbius diferente da identidade. Prove: Uma transformao de
Mbius comuta com T se tem os mesmos pontos fixos de T .
T
S
3.17. Identifique as transformaes de Mbius correspondentes a rotaes da superfcie esfrica de
Riemann (exerccio 1.16) em torno de dimetros.
3.18. Prove: Para cada par ordenado de ternos
3 2 1

3 2 1
de pontos distintos de existe
uma e s uma transformao de Mbius que transforma cada em , para k .
) , , ( z z
,
1
z z
z e

) , , ( w w w
k
z
)
k
w 3 , 2 , 1 =
(Sugesto: Comece por mostrar que para cada terno (
3 2
existe uma e s uma transformao de Mbius
que transforma cada um destes pontos nos pontos , respectivamente).
, z
, 1 , 0

8
Diz-se que um conjunto convexo se todos os segmentos de recta com extremidades em esto totalmente
contidos em .
S
S
S

46 Derivadas de funes complexas

3.19. Diz-se que so pontos simtricos em relao a uma circunferncia se so colineares
com o centro de C e o produto das suas distncias ao centro de C igual ao quadrado do raio de
. Chama-se simetria em relao a funo que transforma cada ponto
* , z z C
C C z no seu simtrico * z
em relao a uma circunferncia C .
* , z z a) Prove: so pontos simtricos em relao a uma circunferncia C se e s se toda a
circunferncia que passa pelos dois pontos ortogonal a . C
* z b) Mostre que vlida a seguinte construo geomtrica simples: o simtrico de um ponto z no
interior do crculo delimitado por em relao a C a interseco da recta C r que passa por z e
pelo centro de C com a tangente a C no ponto de interseco de C com a recta perpendicular a r
que passa por z (Figura 3.11); vice versa, o simtrico z de um ponto * z no exterior do crculo
delimitado por em relao a a interseco da recta C C r que passa por * z e pelo centro de C
com a sua perpendicular que passa no ponto de tangncia a C de uma recta que passa por * z ; o
simtrico de cada ponto de C ele prprio.
c) Prove: Toda a transformao de Mbius transforma pontos simtricos em relao a uma
circunferncia ou a uma recta em pontos simtricos em relao imagem da circunferncia ou
recta (propriedade de conservao da simetria).
z
z*
r
C

Figura 3.11: Determinao geomtrica de pontos simtricos em relao a uma circunferncia

Exerccios com aplicaes a hidrodinmica, electroesttica e propagao de calor em equilbrio
3.20. Considera-se um escoamento hidrodinmico plano estacionrio. Isto significa que o campo de
velocidades do fluido no varia com o tempo, est definido numa regio e constante
em pontos numa mesma perpendicular ao plano complexo. Supe-se que o campo de velocidades
e lamelar ou irrotacional, isto , , e solenoidal, isto ,
. A primeira condio corresponde circulao do campo de
velocidades em caminhos fechados que delimitam subconjuntos de ser zero (no h vrtices
totalmente contidos em ) e a segunda condio corresponde a um princpio de conservao (h
conservao de massa e o fluido incompressvel). Se simplesmente conexa existem campos
escalares potenciais
) , ( v u
/ = u

1
C
div
0 ) / / , 0 , 0 ( ) 0 , , ( rot = = y u x v v u

0 / ) 0 , , ( = + y v x v u

e tais que e . Chama-se potencial do campo

de velocidades funo
= ) , v u = ) , ( u v (
. Numa curva de nvel de c y x = ) , ( , onde , fica definida
implicitamente em funo de de tal forma que ( , pelo que
e, portanto, a curva de nvel uma linha de corrente ou linha
de fluxo, razo pela qual se chama a
0
= dy
/ y
) / dx
= u
)( / ( ) / + y x y
(( ) dt =
x
)
0
, )( / ) / / , / u u dt dx dy dt (dx v
funo de corrente ou funo de fluxo. Chama-se
potencial complexo do campo de velocidades funo complexa . ) , ( = f
Um campo electroesttico num conjunto sem cargas elctricas tambm irrotacional e solenoidal, pelo que a
cada situao que se considere de um escoamento hidrodinmico plano estacionrio com campo de
velocidades irrotacional e solenoidal corresponde uma situao anloga em electroesttica plana num
conjunto sem cargas elctricas e vice-versa.
A situao anloga em propagao do calor em equilbrio, substituindo o potencial do campo de velocidades
por temperatura e as linhas de fluxo do fluido por linhas de fluxo de calor.
a) Mostre: Uma funo complexa definida e em o potencial complexo de um campo
irrotacional e solenoidal se e s se
f
1
C
) ( H f .
b) Determine o potencial complexo, as linhas de corrente e a velocidade de um escoamento plano de
profundidade infinita sobre um leito plano com um obstculo vertical de altura perpendicular ao
leito e velocidade no infinito perpendicular ao plano do obstculo e com magnitude 1 (Figura 3.12).
h
Este potencial tambm determina o campo elctrico na mesma regio quando a fronteira um isolador
elctrico perfeito e a intensidade do campo elctrico no infinito perpendicular ao plano da barra condutora
na vertical e tem magnitude 1. Neste caso, o potencial o simtrico do potencial elctrico e as linhas de
corrente so as linhas de fluxo do campo elctrico. Por outro lado, o campo elctrico na mesma regio com
intensidade no infinito igual a 1, mas em que a fronteira um condutor perfeito, tem potencial proporcional
funo de corrente e as linhas de fluxo do correspondente campo elctrico so as linhas de nvel do
potencial do campo de velocidades.
(Sugesto: Considere o escoamento no semiplano superior complexo e o obstculo como um segmento de
vertical no eixo imaginrio de comprimento a partir da origem. Determine uma transformao conforme do
domnio no semiplano superior. Mostre que as linhas de fluxo satisfazem
2
.
h
2 / 1
0
2 2
0
)) /( 1 ( + + = x h y )

3.3. Transformaes conformes 47

= constante
h
Re
Im
= constante

Figura 3.12: Escoamento sobre um leito plano com um obstculo vertical
3.21. Considere como potencial complexo (ver exerccio anterior) em electroesttica,
mostre que as linhas equipotenciais e as linhas de corrente so as representadas na Figura 3.13 e
descreva como este potencial permite obter cada um dos campos elctricos seguintes:
z z f arccos ) ( =
1. Exterior a um condutor cilndrico de seco ortogonal elptica carregado, inclusivamente no caso
limite de uma fita condutora;
2. Entre duas superfcies condutoras cilndricas com seces ortogonais elpticas confocais, ou entre
uma destas superfcies e a fita condutora de seco igual ao segmento entre os focos;
3. Entre folhas conexas de duas superfcies condutoras cilndricas com seces ortogonais
hiperblicas confocais, ou entre uma destas e um semiplano condutor com aresta a passar pelo
foco e pertencente ao plano de simetria da superfcie cilndrica;
4. Entre dois semiplanos condutores complanares de arestas separadas paralelas;
5. Entre um plano e um semiplano ortogonal de aresta paralela ao plano e no o intersectando.
Re
Im
i

Figura 3.13: Linhas de nvel das partes real e imaginria de z z f arccos ) ( =