Professional Documents
Culture Documents
VARIVEL
COMPLEXA
Francisco Brito
P REFCIO
iii
S UMRIO
Pgina
Prefcio i
Sumrio iv
1 Os Nmeros Complexos 3
1.1 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Produtos e Potncias Teorema de Moivre . . . . . . . . . 6
1.2 Razes de Polinmios . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Conjugao Complexa . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Geometria com os nmeros complexos . . . . . . . . . . . . . . . 9
1.4.1 Segmentos de reta . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.2 Crculos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.3 Uma outra maneira de descrever crculos no plano com-
plexo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4.4 Arcos de crculos . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.5 figuras no plano . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 O plano estendido e a esfera de Riemann . . . . . . . . . . . . . . 15
1.5.1 Circunretas . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.2 Pontos simtricos . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5.3 Sistemas coaxiais de crculos . . . . . . . . . . . . . . . . . 20
1.5.4 Transformaes de Mbius . . . . . . . . . . . . . . . . . . 22
1.6 Alguns elementos de topologia e anlise em C . . . . . . . . . . . 25
1.6.1 Conjuntos limitados e conjuntos compactos . . . . . . . . 28
1.6.2 Convexidade e conectividade . . . . . . . . . . . . . . . . . 28
1.7 Limites e continuidade em C . . . . . . . . . . . . . . . . . . . . . . 31
1.7.1 Limites de funes . . . . . . . . . . . . . . . . . . . . . . . 33
2 Diferenciao Complexa 35
2.1 Funes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1.1 Funes complexas elementares . . . . . . . . . . . . . . . 40
iv
Sumrio
A funo logaritmo . . . . . . . . . . . . . . . . . . . . . . . 45
3 Sries complexas 49
3.0.1 As sries geomtricas . . . . . . . . . . . . . . . . . . . . . . 51
3.1 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.1.1 Diferenciao de sries de potncias . . . . . . . . . . . . 54
4 Aplicaes conformes 57
4.1 Construo de aplicaes conformes . . . . . . . . . . . . . . . . . 61
4.1.1 Aplicaes conformes na esfera de Riemann . . . . . . . . 62
4.1.2 A funo exponencial . . . . . . . . . . . . . . . . . . . . . 63
4.1.3 O Logaritmo . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.1.4 Transformando regies limitadas por arcos de crculos . . 64
v
S UMRIO
vi
L ISTA DE F IGURAS
vii
L ISTA DE F IGURAS
5.8 Teorema de Cauchy para a regio limitada por uma curva fechada
simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
5.9 A frmula integral de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . 89
5.10 Teorema de Rouch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.11 Regio anelar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
6.1 O teorema dos resduos . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
6.2 Funo racional sem zeros reais . . . . . . . . . . . . . . . . . . . . . . 118
6.3 Um tipo especial de contorno . . . . . . . . . . . . . . . . . . . . . . . 121
6.4 Um contorno no simtrico . . . . . . . . . . . . . . . . . . . . . . . . 124
6.5 Um polo no eixo real . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
6.6 Contorno para calcular as integrais do tipo V. . . . . . . . . . . . . . . 129
6.7 Contorno para calcular outras integrais do tipo VI. . . . . . . . . . . . 133
6.8 Contorno para o clculo de somas de sries . . . . . . . . . . . . . . . 134
viii
CAPTULO
T EORIA DOS RESDUOS E APLICAES
6
Sejam G uma regio do plano complexo e seja f uma funo holomorfa em
G = G \ {a 1 , a 2 , . . . , a r }, o aberto obtido a partir de G pela remoo
de um con-
junto finito de pontos. Para cada a j , existe j > 0 tal que 0 < z a j < j est
contido em G . Para cada j , seja C j um crculo de raio < j centrado em a j
com orientao positiva e defina
P j = f (z)d z. (6.1)
Cj
Observe que P j no muda de valor se o raio for alterado, desde que o cr-
culo permanea contido em G e que nenhum outro ponto a k esteja no interior
do crculo.
Como
dz
= 2i ,
z aj
Cj
113
6. T EORIA DOS RESDUOS E APLICAES
Pj
ento tomando R j = , teremos que a funo em G ,
2i
Rj
f (z)
z aj
tem perodo nulo em a j .
Definio 6.0.2: Resduo
Consequentemente,
n
n
f (z)d z = f (z)d z = 2i Rj.
j =i j =1
j
114
6.1. Mtodo prtico para o clculo de resduos
a1
an
115
6. T EORIA DOS RESDUOS E APLICAES
1 1 1 1
Res = lim (z 0) = lim =
z=0 z(2 z) z0 z(2 z) z0 2 z 2
e
1 1 1 1
Res = lim (z 2) = lim = .
z=2 z(2 z) z2 z(2 z) z2 z 2
Exemplo 6.1.2
csc z 1
Se f (z) = = 2 ento, todos os polos desta funo,
z +1
2 (z + 1) sen z
z = i e z k = k Z so simples, portanto,
csc(i ) 2i 1
Res f (z) = = =
z=i 2i 2i (e e ) e e
csc(i ) 2i 1
Res f (z) = = = ,
z=i 2i 2i (e e ) e e
e
1 1 (1)k
Res f (z) = Res = = .
z=k z=k (1 + z 2 ) sen z (1 + k 2 )( cos k) (k 2 + 1)
116
6.2. Clculo de integrais reais usando o Teorema dos Resduos
z + z 1 z z 1 dz
cos = , sen = e = i e i = i z.
2 2i d
Substituindo em termos de z, temos que
( )
z + z 1 z z 1 d z
I= F , .
2 2i iz
|z|=1
Observe que devido a funo F ser uma funo racional de duas variveis, aps
a substituio em termos de z, o integrando passa a ser uma funo racional
da varivel z. Assim, podemos usar o teorema dos resduos para ter:
[ ( ) ] [ ( ) ]
z + z 1 z z 1 1 z + z 1 z z 1 1
I = 2i Res F , = 2 Res F , .
|z|<1
z 2 2i iz |z|<1
z 2 2i z
Exemplo 6.2.1
2
d 2
Verifiquemos que I = =p , a R, |a| < 1.
1 + a cos 1 a2
0
Pelo exposto acima a
integral que desejamos
calcular dada por,
1 1 2
I = 2 Res
= 2
Res 2 .
|z|<1
z z + z 1 z |z|<1
z az + 2z + a
1+a
2
As nicas singularidades dap expresso acima so os polos(anulam
p o de-
1 1 a 2 1 + 1 a 2
nominador da frao) e apenas z 1 = tem va-
a a
lor absoluto menor que 1. Ento, teremos que:
[ ]
2 2 2
I = 2Res
z=z 1 az 2 + 2z + a
= 2 =p .
2az + 2 z=z1 1 a2
117
6. T EORIA DOS RESDUOS E APLICAES
GR
R R R x
118
6.2. Clculo de integrais reais usando o Teorema dos Resduos
R 2
P (x) P (Re i ) P (z)
dx + i Re i d = 2i Res .
Q(x) Q(Re i ) zGR
z Q(z)
R 0
an
Observe que o segundo fator nesta ltima equao tem limite = 0 quando
bm
z tende
para o , e portanto existem R 0 > 0 e M > 0 tais que |z| > R 0 implica
P (z)
que < M 1 . Usando esta ltima estimativa temos que para R 0
Q(z) |z|mn
que,
2 2
i i 2
P (Re ) P (Re ) RM 2M R
i Re i
d i Re i d d = mn1 0.
i i mn
Q(Re ) Q(Re ) R R
0 0 0
119
6. T EORIA DOS RESDUOS E APLICAES
Exemplo 6.2.1
dx
Calcular a integral imprpria I = .
1 + x4
0
dx 1 dx 1 1 1
I= = = (2i ) Res = i Res .
1+x 4 2 1+x 4 2 Imz>0
z 1+z 4
Imz>0
z 1 + z4
0
p
2
Os polos da funo integrando no semi plano superior so , z 1 = 2 (1+i )
p
2
e z2 = 2 (1 + i ).
Por outro lado, o resduo da funo dada em qualquer
1 a a
um de seus polos a dado por 3 = 4 = . Portanto
4a 4a 4
( p p ) p
dx 2(1 + i ) 2(1 + i ) 2
I= = i = .
1 + x4 8 8 4
0
Algumas integrais do tipo do tipo II podem ser resolvidas com menos tra-
balho. Alm disso, se a funo integrando no par, no possvel transferir a
integrao digamos, do eixo real positivo ao eixo real todo.
120
6.2. Clculo de integrais reais usando o Teorema dos Resduos
Exemplo 6.2.2
()
dx
Verificar que = csc , n 2, inteiro.
1 + xn n n
0
Observe que se n mpar no podemos integrar a mesma funo sobre
toda a reta, pois obteremos 0 como resultado. O que faremos ento iso-
lar um zero do denominador em um setor circular como na Figura 6.3.
Se n 2 ento a integral convergente, e se R > 1 o contorno da Fi-
gura 6.3 (um setor circular com centro na origem, abertura 2/n radi-
1
anos e raio R )contem apenas o polo a = e i /n da funo f (z) =
1 + zn
em seu interior. Aplicando o teorema dos resduos ao contorno desta
mesma figura temos que, se R > 1,
f (z)d z + f (z)d z + f (z)d z = 2i Res f (z).
z=a
1 2 3
R
e 2i /n d t
f (z)d z = f (z)d z =
1+ tn
3 3 0
R
2i /n d t R dx
=e e 2i /n .
1+t n 1 + xn
0 0
3
e
i
n
2
2
n
1 R x
Veremos agora um lema simples que nos possibilita usar o mtodo dos re-
sduos para calcular algumas integrais imprprias reais.
121
6. T EORIA DOS RESDUOS E APLICAES
2 sen
1, 0 < . (6.6)
2
sen
Demonstrao suficiente mostrar que no intervalo (0, /2] a funo
decrescente, ou equivalentemente sua derivada no positiva. Contudo, a
derivada desta funo
( )
d sen cos sen
= .
d 2
Como o denominador desta ltima expresso sempre positiva, basta mostrar
que o numerador negativo, e como este numerador se anula em = 0, basta
verificar que este numerador tem derivada no positiva em (0, /2).Temos en-
to,
d
( cos sen ) = cos sen cos = sen < 0, (0, /2],
d
donde o resultado.
Observao: O mtodo usado para calcular integrais do tipo II funciona tam-
bm para integrais da forma
P (x) i x P (x) P (x)
e dx = cos xd x + i sen xd x, (6.7)
Q(x) Q(x) Q(x)
122
6.2. Clculo de integrais reais usando o Teorema dos Resduos
P (x) i x P (z) i z P (z) i z
e d x = lim e d z = 2i Res e , (6.9)
Q(x) R Q(z) Imz>0
z Q(z)
R
Isto mostra que ainda temos o mesmo resultado com estas hipteses mais
brandas. No entanto o mtodo no garante a convergncia das integrais, mas
se as integrais so convergentes o clculo est correto.
Discutamos ento um mtodo alternativo para calcular estas integrais e
que de quebra mostra a convergncia das mesmas.
123
6. T EORIA DOS RESDUOS E APLICAES
P (x) i x P (z) i z
e d x = 2i Res e . (6.11)
Q(x) Imz>0
z Q(z)
Para mostrar esta afirmao deveremos optar por um outro tipo de contorno,
de maneiras a ter condies de tomar limites para e independentes.
Para tanto escolheremos o bordo do retngulo com vrtices nos pontos X 2 ,
X 2 + i Y , X 1 + i Y e X 1 , com X 1 , X 2 , Y > 0 da prxima figura. Como as sin-
gularidades da funo integrando so os zeros de Q e Q um polinmio, te-
mos apenas um conjunto finito de singularidades e portanto se X 1 , X 2 , Y so
suficientemente grandes todos os zeros de Q esto dentro deste retngulo.
= 1 + 2 + 3 + 4 temos que
P (z) i z P (z) i z P (z) i z P (z) i z P (z) i z
e dz = e dz + e dz + e dz + e dz
Q(z) Q(z) Q(z) Q(z) Q(z)
1 2 3 4
P (z) i z
=2i Res e .
z Q(z)
Imz>0
(6.12)
y
3 iY
4 2
X 1 1 X2 x
124
6.2. Clculo de integrais reais usando o Teorema dos Resduos
(b) Um clculo muito semelhante a este ltimo que fizemos nos d que
P (z) i z C 1
Q(z) e d z X ,
1
4
se X 1 suficientemente grande.
(c) Ao longo de 3 temos:
X 2 X 2
P (z) i z P (x + i Y ) i (x+i Y ) C3
e Y d x
Q(z) e d z Q(x + i Y ) e dx
|x + |
i Y
3 X 1 X 1
X 2
C 3 Y e Y
e d x C 3 (X 1 + X 2 ) .
Y Y
X 1
Nas desigualdades em (a), (b) e (c) acima podemos substituir qualquer uma
das trs constantes pela maior das trs que chamaremos de C .
Usando a equao (6.12) e as estimativas de (a), (b) e (c), temos que
P (z) i z P (z)
e
i z
Q(z) e d z Res
Imz>0
z Q(z)
1
P (z) i z P (z) i z P (z) i z
= e dz e dz e d z
Q(z) Q(z) Q(z)
2 3 4
P (z) i z P (z) i z P (z) i z
e d z + e d z e d z
Q(z) Q(z) Q(z)
2 3 4
Y
C2 C1 e
+ +C 3 (X 1 + X 2 )
X2 X1 Y
1 1 e Y
C( + ) +C 3 (X 1 + X 2 ) .
X1 X2 Y
Temos ento que
X
2
P (x) i x P (z) i z 1 1 e Y
e d x Res e C ( + ) +C (X + X ) .
3 1 2
Q(x) Imz>0
z Q(z) X1 X2 Y
X 1
125
6. T EORIA DOS RESDUOS E APLICAES
e Y
Como lim = 0, para X 1 e X 2 mantidos fixos e suficientemente grandes,
Y Y
tomando o limite quando Y tende ao temos que
X
2
P (x) i x P (z) i z 1 1
e dx Res e C( + ).
Q(x) Imz>0
z Q(z) X1 X2
X 1
Isto significa que a integral converge e o seu valor dado pela igualdade acima,
como queramos.
Exemplo 6.2.1
x 3 sen x
Verificar I = d x = . Observando que a funo integrando
(x + 1)
2 2 2e
uma funo racional sem polos no eixo real e que o grau do numerador
uma unidade a menos que o grau do denominador, podemos usar o
mtodo que acabamos de ver. Temos ento que
x 3e i x z 3e i z
d x = 2i Res ,
(x 2 + 1)2 z=i (z 2 + 1)2
Ento,
x 3e i x e 1 i x 3 sen x
d x = 2i = = dx = .
(x 2 + 1)2 4 2e (x + 1)
2 2 2e
126
6.2. Clculo de integrais reais usando o Teorema dos Resduos
P (z) i z
onde B = Res Q(z) e . Fazendo 0 nesta ltima igualdade e usando o lema
z=0
6.2.4 obtemos,
( )
P (x) P (x) P (z)
lim i x
e dx + e d x + i B = 2i
i x
Res i z
e +B .
Q(x) Q(x) z Q(z)
Imz>0
127
6. T EORIA DOS RESDUOS E APLICAES
Finalmente,
( )
P (x) P (x) P (z) B
lim i x
e dx + e d x = 2i
i x
Res i
e +z
.
Q(x) Q(x) z Q(z) 2
Imz>0
y
4 iY
5 3
X 1 1 2 X2 x
Exemplo 6.2.2
ei z
VPC d z = i . Aps separar as partes real e imaginria obtemos
z
que
sen x
d x = .
x
128
6.2. Clculo de integrais reais usando o Teorema dos Resduos
iR
(R)
() i
1
x
2
= (R) + 2 + () + 1 .
129
6. T EORIA DOS RESDUOS E APLICAES
R
2i P (x)
(1 e ) x d x = (1 e 2i )I .
Q(x)
Exemplo 6.2.1
p
x
Calculemos a integral I = d x. Neste caso = 1/2. Aplicando o
x2 + 1
0
que foi feito acima temos que
p p (p p ) p
i z z i i 2
(1 e )I = 2i (Res 2 + Res ) = 2i + I = .
z=i z + 1 z=i z 2 + 1 2i 2i 2
onde usamos o ramo do log, log z = log |z| + i , 0 < < 2(Um corte ao longo
do semi eixo positivo dos x).
130
6.2. Clculo de integrais reais usando o Teorema dos Resduos
e
P (z) P (x)
lim log zd z = (log x + 2i )d x,
0 Q(z) Q(x)
R
2 0
de maneiras que
P (x) P (x) P (z)
log xd x (log x + 2i )d x = 2i Res ( log z),
Q(x) Q(x) z z Q(z)
0 0
donde,
P (x) P (x)
d x = Res log z. (6.15)
Q(x) z z Q(x)
0
131
6. T EORIA DOS RESDUOS E APLICAES
Exemplo 6.2.1
dx
Calculemos o valor da integral . Usando a nossa recm obtida
1 + x3
0
dx log z
frmula temos que = Res . Precisamos agora deter-
1+x 3
z z 1+z
3
0
log z
minar as singularidades de e calcular os devidos resduos. As sin-
1 + z3
gularidades so os zeros do denominador, i.e., as razes cbicas de 1
i 5i
que so respectivamente z 1 = e 3 , z 2 = e i = 1, e z 3 = e 5 . Como cada
log z log z
z k polo simples, Res 1+z 3 = 3z 2k , e como z k3 = 1, k = 1, 2, 3, segue que
zk k
log z z k log z k
Res = .
zk 1+z 3 3
Portanto,
dx 1 3 1 [ i i 5i 5i
]
= z log z = e 3 log e 3 + e i log e i + e 5 log e 5 ,
j j
1 + x 3 3 j =1 3
0
e portanto,
[ ] p
dx 1 i i i 5i 5i 2 3
= e ( ) + e (i ) + e (
3 5 ) = .
1 + x3 3 3 3 9
0
P (x)
Observao: Podemos calcular integrais da forma d x de uma ma-
Q(x)
a
neira bem semelhante, calculando a integral
P (z)
log(z a) d z,
Q(z)
132
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries
a x
133
6. T EORIA DOS RESDUOS E APLICAES
i (N +1/2)
z1
N
z2
N N +1
z3
x
zm
i (N +1/2)
A convergncia da srie fica garantida por que estamos supondo que f (z)
K / |z|2 , se |z| suficientemente grande.
Se mostrarmos que
lim f (z) cot zd z = 0, (6.17)
N
N
f (n) = Res f (z) cot z (6.18)
n= z=z k
n=z k
k
134
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries
1 + e (2t +1)
h(t ) = , t > 1/2,
1 e (2t +1)
decrescente, pois sua derivada
4e (2t +1)
h (t ) = < 0, t > 1/2,
(1 e (2t +1) )2
1 + e e + 1 2 2 2
|cot z| <
= = 1+ < 1+ 3 = 1 + < 2.
1e e 1 e 1 2 1 7
Como o comprimento de N 8N + 4, temos que,
f (z) cot zd z (8N + 4)2 sup f (z) K sup z f (z) N 0,
zN zN
N
como queramos.
135
6. T EORIA DOS RESDUOS E APLICAES
Exemplo 6.3.1
1 4
Mostremos que 4
= .
n=1 n 90
Notemos primeiramente que
1 1 1
4
= .
n=1 n 2 n= n 4
n=0
1 z 1
cot z = z3 + . . . ,
z 3 45
portanto,
cot z 1 2 4
= +...,
z4 z 5 3z 3 45z
logo,
( )
cot z 4
Res = ,
z=0 z4 45
e
1 4
4
= .
n=1 n 90
136
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries
csc2 z = 1 + cot z,
p
segue que csc z limitada sobre N : |csc z| 1 + |cot z|2 5 sobre N ,
de modo que podemos concluir como no caso anterior que
lim f (z) csc zd z = 0,
N
N
m
(1)n f (n) = Res f (z) csc z),
n= z=z k
n=z k
k=1
(1)n+1
Calculemos a soma da srie .
n=1 n2
Temos que :
137
6. T EORIA DOS RESDUOS E APLICAES
onde qualquer curva fechada simples que contenha a origem no seu inte-
rior. Uma consequncia imediata da Equao (6.22) que
( )
2n
4n . (6.23)
n
Para chegar a esta desigualdade basta considerar que o crculo unitrio e
teremos,
( )
2n 1 (1 + z) 2n 1 (1 + z)2n
= d z |d z|
n 2i z n+1
2 |z|n+1
|z|=1
1 (1 + |z|) 2n
1 2n
|d z| = 2 .2 = 4n .
2 |z| n+1 2
|z|=1
( )
2n
Pela Equao (6.23), se |a| < 1/4, a srie a n converge pois em valor
n=0 n
absoluto cada termo dela menor que 4(|a|)n e como 4 |a| ( <) 1, a srie geom-
2n
trica 4(|a|)n converge, donde a convergncia de a n . Pode-se usar
n=0 n=0 n
a frmula para calcular o raio de convergncia desta srie de potncias(o cri-
trio da razo) com o mesmo resultado. Vejamos agora como calcular a soma
desta srie para qualquer valor a, |a| < 1/4. Temos:
( )
2n 1 (1 + z)2n a n d z 1 ( (1 + z)2 a )n d z
n
a = = . (6.24)
n=0 n 2i n=0 zn z 2i n=0 z z
138
6.3. Outras aplicaes do Teorema dos Resduos Somas de sries
Exemplo 6.3.1
( )
2n 1
Calculemos explicitamente, . Neste caso, basta substituir a
n 5n
por 1/5 na Equao 6.25; obteremos ento:
( ) ( )
2n 1 1 p
= 5 Res
p = 5.
n 5n 3 5 z 3z + 1
2
z=
2
139
CAPTULO
F UNES H ARMNICAS
7
O objetivo deste captulo mostrar a estreita relao entre as funes holo-
morfas de uma varivel complexa e as funes harmnicas de duas variveis
reais, que tem uso frequente em algumas reas de matemtica aplicada; em
particular, usaremos o que j foi feito em relao as funes holomorfas para
dar demonstraes mais simples de propriedades das funes harmnicas.
2 u 2 u
u = 2 u = + = 0. (7.1)
x 2 y 2
i) u(x, y) = ax + b y + c, a, b, c R;
ii) u(x, y) = x 2 y 2 ;
iii) u(x, y) = e x cos y ;
141
7. F UNES H ARMNICAS
Teorema 7.1.2
Sejam G um aberto de C e f = u + i v : G C uma funo holomorfa.
Ento u e v so funes harmnicas.
u v u v
= ,e = .
x y y x
2 u 2 u 2 v 2 v
u = + = = 0.
x 2 y 2 xy yx
2 v 2 v
v = 2 + 2 = 0.
x y
Deste modo conclumos que as partes real e imaginria de uma funo holo-
morfa definida em um aberto de C so funes harmnicas.
Definio 7.1.3: Funo harmnica conjugada
142
7.1. Algumas consideraes iniciais funo harmnica conjugada
u 1 2 u 2 u v 1
= 2 = 2 =
x x y y
u 1 2 u v 1
= = ,
y xy x
u
e portanto, a parte real de uma funo holomorfa em G.
x
Esta a maneira mais natural de obter funes holomorfas a partir de fun-
es harmnicas em abertos quaisquer de C.
(ii) Se G simplesmente conexo, ento pelo Corolrio 5.2.1 a funo ho-
lomorfa f em (7.2) a derivada de uma funo holomorfa F = U + iV em G.
Portanto,
U V U U u u
F (z) = +i = i = i ,
x x x y x y
de maneiras que
143
7. F UNES H ARMNICAS
z
F (z) = f ()d = z + e z ,
0
donde
u(x, y) = Re(z + e z ).
u u
Demonstrao Inicialmente temos que f (z) = i uma funo holo-
x y
morfa em G, portanto possui derivadas de todas as ordens no sentido com-
plexo, ou seja, f ( j ) (z) holomorfa em G para todo j Z; pelas equaes de
Cauchy-Riemann (2.1), temos que
j j
f ( j ) (z) = f (z) = (i ) j f (z),
x j y j
144
7.3. A diferencial conjugada d u
u u
f (z) = i
x y
u u
du = dx + d y.
x y
u u v v
dx + dy = dx + d y = d v,
y x x y
u u
du = dx + d y, (7.5)
y x
145