You are on page 1of 18

47

Captulo 4

Integrais de funes complexas


4.1. Introduo
Uma primeira referncia a integrais de funes complexas e a algumas das suas
aplicaes aparece num trabalho de L. Euler apresentado Academia das Cincias de S.
Petersburgo em 1777, embora sem tornar rigorosa a definio do integral nem mencionar
que se trata de integrais sobre caminhos no plano complexo. Na verdade, a identificao
dos nmeros complexos com pontos de um plano ainda no se encontrava disponvel
nessa altura.
A primeira meno a uma noo rigorosa de integrais de funes complexas sobre
caminhos aparece numa carta enviada por C. Gauss a F.W. Bessel em 1811. A mesma
carta refere um resultado de independncia do integral em relao a caminhos de
integrao com as mesmas extremidades. Estes resultados nunca foram publicados, mas
Gauss usou integrais complexos em 1816 numa das suas demonstraes do clebre
Teorema Fundamental da lgebra que considerado em detalhe no captulo seguinte.
Em 1814, A.L. Cauchy apresentou Academia das Cincias de Paris uma memria
que referia integrais de funes complexas de forma anloga de L. Euler em 1777. Esta
memria s foi publicada em 1825 e nessa altura inclua uma nota, adicionada por
Cauchy em 1822, onde se referia que os integrais sobre a fronteira de um rectngulo de
lados paralelos aos eixos coordenados so nulos para funes complexas continuamente
diferenciveis no fecho do rectngulo. Este resultado, que nas condies referidas pode
ser obtido do Teorema de Green
1
para funes reais definidas em conjuntos de (ver
seco 4.4), um caso particular do clebre Teorema de Cauchy, embora com a hiptese
excessivamente forte de continuidade das derivadas da funo integranda.
2

1
George Green (1793-1841).
48 Integrais de funes complexas

de notar que a definio rigorosa de integral, mesmo no caso de funes reais
contnuas num intervalo limitado e fechado, s apareceu em 1823, tambm pela mo de
Cauchy. Em 1854, B. Riemann estendeu esta noo de integral a funes reais limitadas
num intervalo limitado e fechado sem a exigncia de continuidade e, em 1902, H.
Lebesgue
2
estendeu de forma geral o conceito de integral de funes reais na sua tese de
doutoramento com o ttulo Intgrale, Longeur, Aire.
O Teorema de Cauchy estabelece que integrais de funes holomorfas num
conjunto sobre caminhos fechados nesse conjunto so nulos, sob certas condies
topolgicas ou geomtricas relativas ao conjunto e aos caminhos considerados. Note-
se que esta propriedade equivalente igualdade dos integrais entre qualquer par
ordenado de pontos da curva fechada * sobre os diferentes caminhos que unem os
pontos ao longo da curva * . Em consequncia, a validade do Teorema de Cauchy para
os caminhos fechados de um certo conjunto equivalente invarincia do integral em
classes de caminhos com as mesmas extremidades que se obtm uns dos outros por
deformaes contnuas realizadas sem deixar o conjunto e, portanto, propriedade
referida na carta de Gauss a Bessel acima mencionada. , alis, esta propriedade que
Cauchy estabelece na Mmoire sur les intgrales dfinies prises entre des limites
imaginaires, tambm publicada em 1825, para caminhos bem mais gerais do que as
fronteiras de rectngulos mas tambm com a hiptese de continuidade das derivadas das
funes integrandas. O mesmo trabalho tambm incluiu uma definio rigorosa de
integrais complexos que, embora correspondam aos integrais sobre caminhos, so a
definidos sem qualquer referncia geomtrica. Na verdade, Cauchy considera-os
relativamente a funes auxiliares que se viu forado a introduzir para poder tornar
consistente a definio de integral. Alis, parece claro que Cauchy desconhecia na altura
a prpria interpretao geomtrica dos nmeros complexos como pontos de um plano,
que foi estabelecida mais tarde num artigo de C. Gauss publicado em 1831.
Em 1900, E. Goursat
3
provou uma verso do Teorema de Cauchy sem exigir a
hiptese de continuidade da derivada da funo integranda e abriu o caminho para
estabelecer que as derivadas de funes holomorfas num conjunto aberto arbitrrio so
sempre indefinidamente diferenciveis. Portanto, basta existir a primeira derivada de
uma funo complexa num tal conjunto para existirem nesse conjunto todas as derivadas
de ordem superior, e, em consequncia, para que a funo seja indefinidamente
continuamente diferencivel. Uma outra consequncia interessante que a existncia de
primitiva de uma funo complexa contnua num conjunto aberto implica que esta
funo holomorfa e, portanto, indefinidamente continuamente diferencivel.
Neste captulo estabelece-se o Teorema de Cauchy localmente em conjuntos
convexos e no captulo 7 estabelece-se uma verso global deste teorema. Com base no
Teorema de Cauchy possvel obter a Frmula de Cauchy, a qual d os valores de uma

2
Henri Lebesgue (1875-1941).
3
douard Goursat (1850-1936).

4.2. Integrais sobre caminhos 49

funo holomorfa num conjunto de pontos fora de uma curva fechada em termos de
integrais que envolvem apenas os valores da funo sobre essa curva. Para o caso de
circunferncias, esta frmula foi estabelecida em 1831 pelo prprio Cauchy, numa
memria dedicada mecnica celeste. Uma consequncia da Frmula de Cauchy a
Propriedade de Valor Mdio de funes holomorfas que estabelece a igualdade do valor
de uma funo no centro de um crculo fechado onde holomorfa mdia dos seus
valores na fronteira do crculo.
A Frmula de Cauchy envolve a considerao do sentido e do nmero de voltas
que um caminho percorre em torno de um ponto, o que expresso em termos da noo
de ndice, ou nmero de rotao, de um caminho em relao a um ponto. Esta noo foi
introduzida por L. Kronecker
4
em 1869 e redescoberta mais tarde por H. Poincar que
no a conhecia dos trabalhos de Kronecker. conveniente saber que estes ndices so
invariantes sob deformaes contnuas dos caminhos na regio complementar ao ponto
considerado, ideia que tornada rigorosa com a noo de homotopia entre caminhos
introduzida por C. Jordan
5
em 1866 e desenvolvida por H. Poincar
6
, passando a
constituir um dos elementos de base da Topologia Algbrica.

4.2. Integrais sobre caminhos
As noes de caminho em e em so idnticas, pelo que h apenas que
clarificar e relembrar a terminologia e a notao adoptadas. Tal como para subconjuntos
de
2
um caminho em uma funo contnua
2
S de um intervalo limitado e
fechado de em . Uma curva em S um subconjunto de que o contradomnio
de um caminho
S S
em , designado por S * . Diz-se que representa ou percorre a
curva * e que esta curva corresponde ao caminho .

1
3
4

Figura 4.1: Simtrico de um caminho Figura 4.2: Concatenao de caminhos
O simtrico de um caminho o caminho [ ] b a, : , definido em [ ]
por
b a,
)) ( ( ) )( ( a t b t = , que representa a mesma curva mas em sentido contrrio
(Figura 4.1). Chama-se concatenao dos caminhos , cada um com ponto
final igual ao ponto inicial do seguinte, ao caminho que percorre
sucessivamente as curvas correspondentes pela ordem indicada, tal que,
n

+
2

, , ,
2 1

+ =
1 n
+
[ ] b a, :

4
Leopold Kronecker (1823-1891).
5
Camille Jordan (1838-1922).
6
Henri Poincar (1854-1912).

50 Integrais de funes complexas

sendo os domnios dos caminhos para , verifica-se a ,
, com
[
k k
b a , ]
k
n k , , 1 =
1 0
a t = =
n
t b =

=
+ =
j
k
k k
a b a
1
1
)
j
t ( para , e a restrio de n j , , 2 , 1 = a cada um dos
intervalos [ ]
j
t ,
j
t
1
o caminho t para (Figura 4.2). )
j
a t (
j
t
1 j
+

1
C
n , , j 2 , 1 =
[ ] b a, : (b ) (a =

+ + =
1 n

k

k k
b a
n , k | ) ( )
k k
a b ( |
1
n
k


=
=
+
*
+ =
1
k

Um caminho regular um caminho com derivada diferente de zero em todos


os pontos. Diz-se que um caminho seccionalmente regular se existe uma partio do
seu domnio num nmero finito de subintervalos tal que a restrio do caminho a cada
um dos subintervalos fechados definidos pela partio um caminho regular.

Figura 4.3: Caminhos fechados Figura 4.4: Curva de Jordan
Um caminho fechado um caminho com ) (Figura 4.3).
Diz-se que um caminho que no fechado um caminho simples se uma funo
injectiva, e diz-se que um caminho fechado um caminho simples se uma funo
injectiva no intervalo semifechado obtido excluindo um dos extremos do intervalo do
domnio de . A um caminho fechado simples chama-se caminho de Jordan e diz-se
que a curva correspondente uma curva de Jordan (Figura 4.4).

Figura 4.5: Caminho poligonal inscrito num caminho


Um caminho poligonal uma concatenao de um nmero finito
de caminhos regulares simples que descrevem segmentos de recta. O comprimento do
caminho poligonal a soma dos comprimentos dos segmentos de recta que o
compem, mais precisamente, se os domnios dos caminhos so os intervalos [ ]
para , o comprimento de
,
, 1 = L . Um caminho poligonal
inscrito num caminho um caminho poligonal tal que as
extremidades dos caminhos regulares simples que descrevem segmentos de recta,
consideradas na ordem , so pontos da curva
n
n k , , 1 = , ordenados de acordo com o
sentido de percurso do caminho . Um caminho rectificvel se o conjunto dos
comprimentos de todos os caminhos poligonais inscritos no caminho majorado e

4.2. Integrais sobre caminhos 51

chama-se ao supremo deste conjunto comprimento do caminho
7
, o qual se designa
por . Se um caminho seccionalmente regular, ento rectificvel e o
seu comprimento , mas h caminhos rectificveis que no so
seccionalmente regulares.

L [ ] b a, :

=
b
a
t | ) ( | dt L

*
( ) dt t t ) ( ) (
) (t

= f
))
= f
= = )
( ) t) =

( ) t = ) (
t X(

v u, (
Y t X u
b
a
( ), (
Y t X u
b
a

),
v
b
a
[ ] b a, :
t (
dt
t Y(

i u
]
+ dy v dx
0 >
i
[
2
, a
2
, a =
1
( )

= c dz z) (
1

f f
2 2
z

Se [ ] : um caminho, b a, * a correspondente curva e uma funo
complexa definida em
f
, define-se o integral de sobre o caminho f por

=
b
a
b
a
dz z f ) (

Re ( Im ( ) ( ) )

+
b
a
i dt t t f ) ( ) ( ( ) dt t t f ) ( ) (
quando os integrais das funes reais no lado direito da frmula existem
8
.
Com ( ( ( ), t Y t X e , obtm-se f
( ) [ ] [ dt Y i t X t Y t X v i dz z f ) ) ( ) ( ), ( ) ( + +

]
( ) [ ] t Y t Y t X v t X ) ( ) ( ), ( ) ( (
[ ] i

+ . ( ) ( ) dt t Y t X u t X t Y + ) ) ( ), ( ) ( ) ( ),
Portanto, o integral tem partes real e imaginria dadas por integrais de linha em
2

calculados sobre o caminho
2
, com )) ( ), ( ( ) ( t Y t X t = ,
(4.1)

+ = + =

d u v d v u dy u dx v dz z f ) , ( ) , ( ) ( .
Tal como para caminhos em , dois caminhos em , e
, dizem-se equivalentes se diferem apenas por uma reparametrizao
que preserva o sentido, isto , se existe uma bijeco continuamente diferencivel
, com
2
[ ]
1 1 1
, : b a
]
2 2
: b
[ ]
2
: b [
1 1
,b a em todos os pontos, tal que . Os integrais
de funes complexas so invariantes sob reparametrizaes, isto , os integrais sobre
caminhos equivalentes so iguais.

1

2
Obtm-se facilmente propriedades gerais destes integrais a partir das propriedades
de integrais de funes reais de varivel real. Contudo, convm chamar a ateno para as
quatro propriedades seguintes:
1) Linearidade do integral

+ +

dz z f c dz z c f c ) ( ) (
2 2 1 1 1
, com c .
2
, c
2) Simetria do integral de caminhos simtricos

dz z f dz ) ( ) ( ,

7
Esta noo de comprimento foi adoptada em 1866, por Jean Marie Duhamel (1797-1872), na sequncia
de uma definio semelhante de Enno Heeren Dirksen (1788-1850) em 1833.
8
O leitor pode usar o integral de Cauchy, Riemann ou Lebesgue, conforme prefira. Naturalmente, os
caminhos que podem ser considerados e as funes integrveis so diferentes nos trs casos, mas tal , em
geral, indiferente para os resultados que vamos considerar, visto que, em geral, as funes a integrar so
contnuas e podem-se usar caminhos regulares, seccionalmente regulares ou rectificveis, conforme a
noo de integral adoptada. Para funes limitadas, ou funes ilimitadas sem mudana de sinal, o
conjunto das funes integrveis consideravelmente mais amplo para o integral de Lebesgue do que para
o de Riemann. O conjunto das funes integrveis tambm mais amplo para este integral do que para o
integral de Cauchy, para o qual s so integrveis as funes contnuas.

52 Integrais de funes complexas

3) Aditividade do integral em relao concatenao de caminhos

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

dz z f dz z f dz z f ,
4) Majorao do integral de funes limitadas

L f dt t f dz z f
b
a

=

) ( ) ( ,
onde

f o supremo de | | em f * e o comprimento do caminho

L .

4.3. Primitivas de funes complexas
Diz-se que uma funo F uma primitiva de uma funo num conjunto aberto
se e em . claro que todas as funes que se obtm
somando constantes a uma primitiva de uma funo tambm so primitivas de . Em
regies de a recproca tambm verdadeira.
f
) ( H F f = F
f f

(4.2) Teorema: Se F uma primitiva de uma funo numa regio , ento o f
conjunto de todas as primitivas de o conjunto das funes que se obtm de f F
adicionando-lhe constantes.
Dem. J se viu que qualquer funo obtida de F por adio de uma constante uma
primitiva de em . Supe-se agora que e so primitivas de em . Ento a
funo G holomorfa e satisfaz G em . Resulta do teorema (3.12) que
constante em , pelo que a diferena de duas primitivas de em
necessariamente constante neste conjunto. Q.E.D.
f
1
F

1
F

2
F
0
f
2
F = =
G f

Quando se conhece uma primitiva de uma funo num conjunto aberto ,
os integrais sobre caminhos neste conjunto podem ser simplesmente calculados pelas
diferenas dos valores da primitiva nos extremos dos caminhos, como no caso da regra
de Barrow
9
para funes reais.
f

(4.3) Teorema: Seja , uma funo contnua em com primitiva f F neste
conjunto e um caminho seccionalmente regular
10
em . Ento [ ] b a, :
( ) ( ) ( ) ( ) ( a F b F dz z f

) .
Se o caminho fechado, ento
0 ) ( =

dz z f .
Dem. Seja { uma partio do intervalo tal que a restrio de } , ,
0 n
a a [ b a, ] a cada um
dos subintervalos [ ], , regular. Como
k
a ,
k
a
1
n k , , 2 , 1 = F uma primitiva de em f

9
Isaac Barrow (1630-1677).
10
Com integrais de Cauchy o resultado vlido para caminhos regulares e com integrais de Lebesgue para
caminhos rectificveis. O mesmo acontece para a generalidade dos resultados seguintes que envolvem
integrais de funes contnuas em caminhos seccionalmente regulares.

4.5. ndice de um caminho fechado e homotopia de caminhos 53

, verifica-se em , e dado que contnua em resulta que f F = f F
continuamente diferencivel em . Da regra da derivao da funo composta e da regra
de Barrow para funes reais obtm-se

t) (
)
( ) )
F
)
( ) )
k
=
b
a
F dz
1
n
k
=

=
) (
) (b =
) (

dz z F
} 0 {
k 0 = dz
) ) 1 (
1
=
+
z
k

f


=
b
a
F dt t z F ( ( ) (


. ( ) [ ] ( ) ( ) ( ) ) ( ( (
1
1
1
a F b F a F a F
n
k
k
a
a
k
k
= =

=

Se fechado verifica-se ) (a , pelo que, nas condies indicadas, a frmula


precedente d . Q.E.D. 0 =


Uma das consequncias deste teorema o resultado seguinte.

(4.4) Corolrio: Para todo o caminho fechado seccionalmente regular em \ e
verifica-se . } 1 { \

z
k
Dem. Como e /( + k z
k k
z contnua em , pode-se aplicar o teorema
precedente para obter o resultado. Q.E.D.
} 0 { \

Como, em condies relativamente gerais, as derivadas de integrais indefinidos de
funes reais contnuas coincidem com a funo integranda (Teorema Fundamental do
Clculo para funes reais), uma ideia natural para provar a existncia de primitiva de
uma funo num conjunto construir uma candidata a primitiva por integrao da funo
dada a partir de um ponto fixo e at cada ponto do conjunto. No caso de funes
complexas, com integrais sobre caminhos, esta construo exige que todos os pontos do
conjunto possam ser ligados entre si por caminhos nele contidos (o que para um conjunto
aberto corresponde ao conjunto ser conexo), e que os integrais sobre caminhos diferentes
que liguem o mesmo par ordenado de pontos sejam iguais (o que equivalente
anulao dos integrais da funo sobre todos os caminhos seccionalmente regulares
fechados). O resultado seguinte concretiza estas ideias.

(4.5) Teorema: Seja uma funo complexa contnua numa regio . As f
seguintes afirmaes so equivalentes:
1) tem uma primitiva em . f
2) para todo o caminho fechado seccionalmente regular 0 ) ( =

dz z f em .
3) Integrais de sobre caminhos seccionalmente regulares em com o mesmo par
ordenado de pontos inicial e final so iguais.
Dem. A equivalncia entre 2) e 3) imediata. Na verdade, se e so caminhos
seccionalmente regulares em com o mesmo par ordenado de pontos inicial e final,
ento a concatenao um caminho fechado seccionalmente regular (Figura
1

)
2
(
1
+

54 Integrais de funes complexas

4.6). O integral sobre a concatenao considerada a soma dos integrais sobre os
caminhos e e, como o integral sobre o simtrico do integral sobre ,
igual diferena entre os integrais sobre os caminhos e . Portanto, os integrais
sobre e so iguais se e s se o integral sobre o caminho fechado que a
concatenao referida zero.
1

t
z
= ) (
> r
z t
0
)
0
z

z
)
)
(
0
z
r
) (
0
z
r
B

z t
0
z z
+
f
+
f
)
0
(z F
[ ] z )
0
>

z
z

0
F
f
)

< f | ) (
0
z

0
z

) (
z z
z
F
F
F f = F
1

z
Do teorema (4.3) sabe-se que a existncia de primitiva de uma funo contnua
num conjunto implica a anulao dos integrais sobre caminhos seccionalmente
regulares fechados em . Resta provar o recproco. Dado que os integrais de sobre
caminhos seccionalmente regulares fechados em so nulos, os integrais desta funo
sobre caminhos seccionalmente regulares em com o mesmo ponto inicial e o mesmo
ponto final so iguais. Toma-se um ponto arbitrrio e define-se a funo
f
a

=
z
d f z F

) ( ) ( , para z ,
onde um caminho seccionalmente regular em que liga a a z . Como um
conjunto aberto conexo, existem caminhos com as propriedades indicadas para todo

z , pelo que a funo F fica definida em .


Como aberto, para cada existe tal que o crculo aberto
. Com fixo, como os crculos so conjuntos convexos, obtm-se para
qualquer que , com , um caminho regular
em que percorre o segmento de recta de para

0
z 0
+
(
0
z B
r
B
0
z
[ ] 1 , 0 :
z
1 (
z . A concatenao de
caminhos ) (
z
um caminho seccionalmente regular fechado em (Figura
4.7), pelo que o integral de sobre este caminho nulo e, em consequncia, a diferena
dos integrais de sobre e igual ao integral de sobre . Assim, o valor de
o integral de sobre o segmento de recta de para

f
z

0
z

f
z

) (z F
0
z z e obtm-se
d f f
z
z f
z z
z F z

( (
1
) (
) ( ) (
0
0
0
.
A continuidade de garante, ento, que qualquer que seja 0 existe 0 > tal que
desde que | . Portanto, ) ( | z f < |
0
z z
=


0
0
0
0
1
) (
) (
z
z z
z f
z F
, para | , < |
0
z z
pelo que e , o que mostra que ) ( H uma primitiva de em . Q.E.D. f

z
a
z
z
z
0
0
z
2

Figura 4.6 Figura 4.7



4.5. ndice de um caminho fechado e homotopia de caminhos 55

Consideramos agora a questo da existncia de primitivas de funes holomorfas.
Viu-se no resultado anterior que uma ideia natural para provar a existncia de primitiva
de uma funo num conjunto construir uma candidata a primitiva por integrao da
funo a partir de um ponto fixo e at cada ponto do conjunto, o que exige que todos os
pontos do conjunto possam ser ligados entre si por caminhos seccionalmente regulares
nesse conjunto e que os integrais sobre caminhos seccionalmente regulares fechados
sejam nulos. Na verdade, para obter uma candidata a primitiva basta que as duas
propriedades mencionadas se verifiquem para uma classe particular de caminhos para os
quais os clculos sejam simples. Os caminhos mais simples que ligam pares de pontos
correspondem a segmentos de recta, pelo que mais fcil tratar as questes levantadas
em conjuntos convexos e com caminhos que percorrem segmentos de recta. Em
conjuntos convexos fica automaticamente garantida a primeira propriedade mencionada
de qualquer par de pontos poder ser ligado por segmentos de recta. Contudo, ainda
necessrio assegurar a validade da segunda propriedade que, neste caso, a igualdade
dos integrais sobre caminhos poligonais resultantes da concatenao de segmentos de
recta que liguem o mesmo par ordenado de pontos. Esta ltima propriedade equivalente
anulao dos integrais sobre as fronteiras de tringulos fechados contidos no conjunto
considerado. O resultado seguinte, que uma pequena variao de um resultado de E.
Goursat publicado em 1900, estabelece esta propriedade para funes holomorfas num
conjunto aberto convexo, excepto possivelmente num dos seus pontos
11
.

(4.6) Teorema: Seja um conjunto aberto, um tringulo fechado, , p
f contnua em e . Ento , onde designa a }) { \ ( p H f 0 = dz ) (


z f
fronteira de e o integral sobre um caminho seccionalmente regular simples que
percorre .
Dem. Designam-se por os vrtices ordenados de . c b a , ,
Supe-se primeiro que . Designa-se por ' a os pontos a meio dos lados
, , , respectivamente. Consideram-se os quatro tringulos , com
vrtices ordenados , , , (Figura 4.8). Verifica-se
p
, ' , ( a b
, ' , ' c b
) ' , ' , ' c b a
bc ac ab 4 , 3 , 2 , 1 , = j
j
) ' , ' , ( b c a ) ' c ) ' , ' , ( a b c (


=

= =
4
1
) ( ) (
j
def
j
dz z f dz z f J .
O valor absoluto de pelo menos um dos integrais na direita maior ou igual a | | . Seja
um dos quatro tringulos com esta propriedade. Repetindo o argumento com no
lugar de , e assim sucessivamente, obtm-se uma sucesso de tringulos tal que
, existe um nico ponto , o comprimento de
4 / J


2 1 n n
z

=1 0
n
L

2 ,
onde L o comprimento de , e verifica-se

n
dz z f J
n
) ( 4 | | , para n .

11
Ver-se- mais tarde que estas funes so necessariamente holomorfas em todo o conjunto , mas a
demonstrao nas presentes condies usada na prova da Frmula de Cauchy que se apresenta neste
captulo.

56 Integrais de funes complexas

Como holomorfa em , qualquer que seja f 0 > existe tal que 0 > r
| | ) )( ( ) ( ) (
0 0 0 0
z z z z z f z f z f , para . ) (
0
z B z
r

Para suficientemente grande tem-se e | , para todo . Como n ) (


0
z B
r n

n
L z z

< 2 |
0 n
z
[ ]


+ =
n n n n n
dz z f dz z z f dz z f dz z f dz z z z f z f z f 1 ) ( ) ( 1 ) ( ) ( ) )( ( ) ( ) (
0 0 0 0 0 0
,
com o corolrio (4.4) obtm-se
[ ] dz z z z f z f z f dz z f
n n


= ) )( ( ) ( ) ( ) (
0 0 0

Portanto, para suficientemente grande verifica-se n
( )
2 2
2 4 ) ( 4 | | L L dz z f J
n n
n
n
=

.
Como 0 > arbitrrio, segue-se que se , como se pretendia provar. 0 = J p
Supe-se agora que um vrtice de , sem perda de generalidade .
Observe-se que o integral sobre a soma dos integrais sobre as fronteiras dos
tringulos de vrtices ordenados ( , , , onde
p a p =

a ) , , y x ) , ( y , b x ) , , ( y c b x e so,
respectivamente, pontos dos lados ab e do tringulo (Figura 4.9). Os integrais
sobre as fronteiras dos dois ltimos tringulos so nulos em resultado da aplicao do
caso j demonstrado, em que no pertence ao tringulo sobre o qual se considera a
integrao. Portanto, o integral sobre igual ao integral sobre o tringulo de vrtices
. Como o permetro deste tringulo pode ser tomado arbitrariamente pequeno
custa de tomar os pontos
y
ca

) , , ( y x a
x e suficientemente prximos do ponto , e a funo
contnua neste ponto, logo limitada numa sua vizinhana, tambm se obtm para este
caso .
y a f
0 ) ( = dz z f


Finalmente, se p um ponto arbitrrio no tringulo , pode-se aplicar o resultado
precedente aos tringulos de vrtices ordenados ( , , (Figura
4.10), pelo que tambm neste caso se obtm . Q.E.D.
) , , p b a
0 ) = dz
) , , ( p c b ) , , ( p a c
(


z f

a
b
c
a
b
c
p

c
b
p=a
y
x

a
c
b
p

Figura 4.8 Figura 4.9 Figura 4.10
O resultado seguinte estabelece a existncia de primitivas (locais) de funes
contnuas em conjuntos convexos onde so holomorfas excepto possivelmente num
ponto.

(4.7) Teorema: Se um conjunto aberto convexo e , ento toda a funo p
f contnua em com tem primitiva em . }) { \ ( p H f

4.5. ndice de um caminho fechado e homotopia de caminhos 57

Dem. Seja um ponto arbitrrio. Como convexo, para cada a z o segmento
de recta az est contido em . O caminho , , percorre
este segmento de recta. Define-se
[ ] 1 , 0 :
z
tz t
z
= 1 ( ) ( a t + )

=
z
d f z F

) ( ) ( , para z .
Para cada , o tringulo fechado de vrtices est contido em . Do
teorema anterior, resulta que o integral de sobre o segmento de recta
de para

0
z
0
, , z z a
f

) ( ) (
0
z F z F
0
z z (Figura 4.11). Agora procede-se exactamente como na parte final da
emonstrao do teorema (4.5) para obter em . Q.E.D. F = f d

0
z

z
z
z
0
a


Figura 4.11: Ilustrao para a construo de primitivas de
funes holomorfas em conjuntos convexos

4.4. Teorema de Cauchy local
Os resultados anteriores permitem estabelecer a seguinte verso local do Teorema
de Cauchy em conjuntos convexos. Este resultado utilizado no captulo 6 para provar
que as funes holomorfas so sempre indefinidamente diferenciveis e representveis
por sries de potncias. Como consequncia destes resultados estabelecida no captulo
7 uma verso global do Teorema de Cauchy.

(4.8) Teorema de Cauchy local em conjuntos convexos: Seja um conjunto
aberto convexo, um caminho fechado seccionalmente regular em , , p f
contnua em e . Ento . }) { \ ( p H f 0 ) ( =

dz z f
Dem. O teorema anterior garante que tem uma primitiva f F em . A anulao do
integral resulta do teorema (4.3). Q.E.D.


Como se referiu na introduo a este captulo, o Teorema de Cauchy comeou por
ser obtido por este matemtico em rectngulos, com a hiptese excessivamente forte da
funo integranda ser , situao em que o resultado consequncia directa do
Teorema de Green para funes reais definidas em conjuntos de . Na verdade, mesmo
considerando um domnio regular com cantos
1
C
2
D arbitrrio, e no apenas
rectngulos, o Teorema de Green estabelece ,
para um campo vectorial no fecho de
2
= dy dx y P x P
D
) ( / / , (

Q d Q)
) , Q P (
1
C D, onde ) ,Y = ( X um caminho

58 Integrais de funes complexas

seccionalmente regular fechado simples que descreve a fronteira
12
. Sabe-se da frmula
(4.1) que, para uma funo ) (D H f , com ( e f v u = ) , Y i X + = ,

, pelo que, supondo adicionalmente que C


em

+ = u v i d v u dz z f ) , ( ) , ( ) ( d f
1
D , a aplicao da frmula anterior do Teorema de Green aos dois integrais no lado
direito e as equaes de Cauchy-Riemann para do f
0 0 =

dy dx
D
f
1
C
0 =

dx
D
f
(z f

y
v
1
*
)
*
) +
|
|
.
|

\
|

+
|
|
.
|

\
|

=

dy dy dx
x
u
dy dx
y
u
x
v
dz
D D
.
Esta situao engloba conjuntos que no so convexos, mas o facto de exigir que C
excessivamente forte, pelo que se prefere generalizar para um resultado global a
formulao local em conjuntos convexos anterior, como feito no captulo 7. De
qualquer modo, este resultado estabelecido com base no Teorema de Green tem a
vantagem de tornar directamente visvel a ligao entre a anulao dos integrais sobre
caminhos fechados e as equaes de Cauchy-Riemann e, portanto, evidencia que a
anulao dos integrais sobre caminhos fechados uma expresso integral das restries
impostas pela diferenciabilidade de funes complexas. Do ponto de vista histrico, de
assinalar que todas as verses do Teorema de Cauchy consideradas desde a primeira
proposta em 1822 at 1900 consideravam a hiptese adicional de ser . S em 1900,
com a contribuio de Goursat, que esta hiptese pde ser dispensada.
Com base no Teorema de Cauchy local em conjuntos convexos possvel
estabelecer a Frmula de Cauchy, a qual d os valores de uma funo holomorfa num
conjunto de pontos fora de uma curva fechada seccionalmente regular em termos de
integrais que envolvem apenas os valores da funo sobre essa curva. Como os valores
destes integrais dependem do sentido e do nmero de voltas em que o caminho percorre a
curva, necessrio tornar precisa e quantificar esta dependncia. Para isso, introduz-se
na seco seguinte o ndice ou nmero de rotao de um caminho fechado
seccionalmente regular em relao a um ponto fora da curva que ele descreve.

4.5. ndice de um caminho fechado e homotopia de caminhos
O resultado seguinte permite definir o ndice ou nmero de rotao de um
caminho fechado seccionalmente regular em relao a um ponto z fora da curva
que representa. Este ndice, que se designa por Ind um nmero inteiro que d
informao sobre o sentido e o nmero de voltas que o caminho
(z

d na curva em
torno do ponto z .

12
Um domnio regular com cantos D
2
um conjunto aberto que o interior do seu fecho cuja
fronteira uma curva seccionalmente regular fechada. O Teorema da Curva de Jordan assegura que toda a
curva de Jordan separa o plano em dois conjuntos conexos abertos, um ilimitado e outro limitado, e pode-
se mostrar que este conjunto limitado um domnio regular cuja fronteira a curva de Jordan considerada.
A existncia de pelo menos duas componentes conexas no complementar de uma curva de Jordan
seccionalmente regular em que uma e s uma delas ilimitada uma consequncia dos resultados da
seco seguinte, mas a parte mais difcil que s h uma componente conexa limitada. Embora o Teorema
da Curva de Jordan no seja explicitamente usado nos vrios captulos deste texto, d-se uma
demonstrao deste importante resultado no apndice III.

4.5. ndice de um caminho fechado e homotopia de caminhos 59

til entender geometricamente como se pode calcular um nmero com o
objectivo indicado por integrao de uma funo apropriada sobre o caminho . claro
que definindo argumentos de pontos ao longo do caminho em relao a um sistema de
eixos coordenados centrado no ponto z , com os argumentos a variarem continuamente
ao longo do caminho, a diferena entre o valor dos argumentos no final e no incio de um
caminho fechado um mltiplo inteiro de 2 , n 2 com , em que a diferena
entre o nmero de voltas que o caminho percorre em torno de
n n
z no sentido positivo e no
sentido negativo (Figura 4.12). Assim, para obter n 2 por integrao sobre o caminho
convm usar uma funo integranda cujo integral d a variao total do argumento.
Recordando que a parte imaginria do logaritmo complexo de um nmero um
argumento do nmero, obtm-se um argumento * w relativamente a z como parte
imaginria de um . Sabe-se que nenhum logaritmo pode ser definido como
funo contnua em todo o plano complexo, mas possvel definir continuamente
) ln( z w
) ) ( ln( z t t custa de considerar a passagem entre ramos apropriados do logaritmo
de forma a assegurar a continuidade. Como , natural
considerar como funo integranda sobre o caminho a funo
)
1
/( 1 w dw=
w
/ )) z (ln( z w d
) /( z w . A
argumentao anterior indica que a parte imaginria do integral d n 2 como se
pretendia. Por outro lado, a parte real d a diferena entre o logaritmo do mdulo dos
pontos inicial e final do caminho e, como estes coincidem, esta diferena zero.
Concluiu-se que convm definir Ind . dw z ) w i

)) z) =

2 ( /( 1 /( 1 (

Figura 4.12: Ilustrao geomtrica da ideia de ndice ou nmero de rotao
de um caminho em relao a um ponto z * \

(4.9) Teorema: Seja um caminho fechado seccionalmente regular em e = * \ .
Ento
Ind


=

z w
dw
i
z
2
1
) ( ,
define uma funo de em que constante em cada componente conexa de e
nula na componente conexa ilimitada de .

60 Integrais de funes complexas

Dem. Seja e fixe-se [ ] b a, : z . Ento
Ind

=
b
a
dt
z t
t
i
z
) (
) (
2
1
) (

.
Como, para , se verifica ) 2 /( i se e s se , a condio Ind
equivalente a
1 =

e ) (z

1 ) = b ( , onde definida por [ ] b a, :


|
|
.
|

\
|

t
a
ds
z s
s
t
) (
) (
exp ) (

.
Note-se que ) ) ( /( ) ( ) ( ) ( z t t t t = , excepto possivelmente num conjunto finito de
pontos onde [ ] b a, S no regular. Para t verifica-se [ ] S b a \ ,
( )
0
) (
) ( ) (
) (
) (
) (
) (
2
=

|
|
.
|

\
|

z t
t t
z t
t
z t
t

,
pelo que a funo ) ) ( /( ) ( z t t t contnua em [ e tem derivada nula em
. Em consequncia, esta funo constante em cada subintervalo de [ ] e a
sua continuidade no nmero finito de pontos de implica que constante em todo o
intervalo . Como
]
]
b a,
[ ] S b a \ , S b a \ ,
S
[ b a, 1 ) ( = a , verifica-se ) ) ) ( ) ( z z t = ( /( ) a (t . Como fechado,
) (a ) (b = e, portanto, 1 ) ( = b , o que prova que Ind . :

A funo Ind contnua. Na verdade, :

| Ind Ind ) (z

( )( )

=
|
|
.
|

\
|


d
w z
w z
d
w z i
w
2
1 1 1
2
1
) (
( )( ) { } * : / 1
2
| |

w z
L w z
max

,
onde designa o comprimento do caminho

L , pelo que | Ind Ind ) (z

0 ) ( w


quando . A imagem de um conjunto conexo por uma funo contnua um
conjunto conexo. Como Ind , conclui-se que a funo Ind tem de ser constante
em cada componente conexa de .
0 | w z |
) (

Finalmente, para | | z suficientemente grande, tem-se


| Ind 1
) (
) (
2
1
| ) ( <

b
a
dt
z t
t
i
z

.
Portanto, Ind para 0 ) ( = z

z pertencente componente conexa ilimitada de . Q.E.D.



O sinal de Ind e o seu valor absoluto do, respectivamente, o sentido e o
nmero de voltas que o caminho
) (z

d na curva * em torno de z como se ilustra no


resultado seguinte para o caso particular em que * uma circunferncia.

(4.10) Proposio: Seja o caminho regular que d voltas com sentido positivo na n
circunferncia de raio r e centro no ponto definido por com 0 > a [ ] n 2 , 0 :


i
e r a + = ) ( . Ento
z ) a
Ind

=
. ) ( se , 0
( se ,
) (
a B z
B n
z
r
r



4.5. ndice de um caminho fechado e homotopia de caminhos 61

Dem. Resulta do teorema anterior que basta calcular
Ind

= = =

=
n n
i
i
n d d
e r
e i r
i a w
dw
i
a


2
0
2
0
2
1
2
1
2
1
) ( . Q.E.D.

til observar que os ndices de dois caminhos fechados seccionalmente regulares
que podem ser continuamente deformados de um para o outro num conjunto so
necessariamente iguais em pontos de .

\
Tal como em
2
, o conceito apropriado para traduzir a noo de deformao
contnua de caminhos num conjunto a homotopia. Diz-se que dois caminhos
fechados (respectivamente, no fechados mas com o mesmo par
ordenado de pontos inicial e final, e ) so homotpicos
em se existe uma funo contnua, a que se chama homotopia entre e ,
tal que , para todo t , e
(respectivamente, , ) para todo (ver
Figura 4.12). fcil verificar que a homotopia uma relao de equivalncia
13
, pelo que
estabelece no conjunto de todos os caminhos seccionalmente regulares fechados em ,
ou no fechados mas com o mesmo par ordenado de pontos inicial e final em , classes
de equivalncia, chamadas classes de homotopia.

a = ) (
)
1
=
s a H , (
[ ] b a, : ,
2 1

[ ] [ ] 1 , 0 , : b a H
) , ( ) , ( s b H s a H =
A a = ) (
2 1

) ( 0 , t t ( H
A = )
B b b = = ) ( ) (
2 1

) ( ) 1
2
t =
B s b = ) , (
1

a
[ , 0
2

( H , t
H
[ b ,
] 1 s


Figura 4.13: Caminhos homotpicos num conjunto
O resultado seguinte mostra que o ndice em relao a um ponto no complementar
de invariante em cada uma dessas classes de homotopia de caminhos fechados, e
que, para dois caminhos no fechados homotpicos em , o ndice do caminho fechado
que a concatenao de um dos caminhos com o simtrico do outro, em relao a pontos
no complementar de , nulo.


(4.11) Proposio: Seja , z e caminhos seccionalmente regulares \
2 1
,
em .
1) Se so caminhos fechados homotpicos em , ento Ind Ind .
2 1
, = ) (
1
z

) (
2
z

2) Se so caminhos no fechados (com o mesmo par ordenado de pontos inicial e


2 1
,
final) homotpicos, ento o caminho fechado e Ind . ) (
2 1
+ = 0 ) ( = z


13
Tal como usual, considera-se uma relao de equivalncia num conjunto uma relao binria nesse
conjunto com as trs propriedades: reflexividade, simetria e transitividade.

62 Integrais de funes complexas

Dem. Seja . Sabe-se que os integrais de funes complexas sobre
caminhos tm partes real e imaginria dadas por integrais de linha em , na forma
[ ] b a, : ,
2 1

j

f v u = ) , (
2

+ =
j j
d u v i d v u dw w f
j

) , ( ) , ( ) ( ,
onde
j
designa os caminhos em
2
correspondentes aos caminhos
j
em , com . 2 , 1 = j
Verifica-se Ind
j

=
j

, com . Esta funo


holomorfa em , pelo que se verificam as equaes de Cauchy-Riemann em ,
e . fcil ver que estas derivadas parciais so
contnuas em . As equaes de Cauchy-Riemann anteriores garantem que os campos
vectoriais em so fechados no conjunto . Os caminhos em
2

so caminhos seccionalmente regulares homotpicos em . Da invarincia de integrais
de linha de campos vectoriais fechados sobre caminhos seccionalmente regulares
homotpicos (quando no fechados tm necessariamente o mesmo par ordenado de
pontos inicial e final) num conjunto onde os campos so continuamente diferenciveis,
que pode ser estabelecida como consequncia do Teorema de Green
14
em , obtm-se
) (z
}
x v /
, ( ), v v

dw w f ) (
y u /
) u
) ( ) ( 2 / 1 ) ( z w i w f =

{ \ z
, (u
y v x u = / /

=
2
2
,
1

2

=
2 1
) , ( ) , ( d v u d v u e

=
2 1
) , ( ) , ( d u v d u v , pelo que

=
2 1
) ( ) (

dw w f dw w f .
Se
2
so caminhos fechados a ltima igualdade Ind Ind . Se
no so fechados, o caminho fechado e a mesma igualdade d Ind .
1
, = ) (
1
z

) (
2
z
2 1
,
0 ) = ) (
2 1
+ = (z

Q.E.D.

4.6. Frmula de Cauchy local em conjuntos convexos
A Frmula de Cauchy d os valores que uma funo holomorfa num conjunto
assume em pontos fora de uma curva fechada seccionalmente regular nesse conjunto, em
termos de integrais que envolvem apenas os valores da funo sobre a curva. A
demonstrao desta frmula baseia-se no Teorema de Cauchy, pelo que se estabelece
agora para conjuntos convexos, situao em que ficou estabelecida acima a validade
deste teorema. No captulo 7, juntamente com o Teorema de Cauchy Global, estabelece-
se a Frmula de Cauchy em condies gerais.

(4.12) Teorema (Frmula de Cauchy local em conjuntos convexos): Seja um
conjunto aberto convexo, um caminho fechado seccionalmente regular em ,
* \ z e . Ento ) ( H f
. ) (z f Ind dw
z w
w f
i
z


=

) (
2
1
) ( .

14
Para detalhes pode ser consultado, por exemplo, o livro do autor com ttulo Integrais em Variedades e
Aplicaes, referido na bibliografia final.

4.5. ndice de um caminho fechado e homotopia de caminhos 63

Dem. Fixa-se * \ z e define-se a funo
{ }

=
. se , ) (
\ se ,
) ( ) (
) (
z w z f
z w
z w
z f w f
w g
Ento g satisfaz as hipteses do Teorema de Cauchy em conjuntos convexos (4.8), pelo
que , ou seja, 0 ) =

dw w ( g
0
1
2
) ( ) (
2
1
=


dw
z w i
z f
dw
z w
w f
i


,
de onde
) (
) (
2
1
z f dw
z w
w f
i
=

. Ind . Q.E.D. ) (z


A Frmula de Cauchy uma outra expresso integral das fortes restries impostas
pela diferenciabilidade de funes complexas, dado que, nas condies do teorema
anterior, se obtm os valores de em todos os pontos de um conjunto onde holomorfa
fora de um caminho fechado seccionalmente regular
f
e Ind apenas em funo
dos valores de na curva
0 ) ( z

f * e dos valores de Ind . Em particular, os valores de uma


funo complexa numa curva

f * (um conjunto de medida nula no plano) num


conjunto convexo onde holomorfa determinam os valores de em todas as
componentes conexas de
f
* \ onde Ind . 0

Uma consequncia til do teorema anterior que o valor de uma funo no centro
de um crculo fechado onde holomorfa igual mdia dos seus valores na fronteira do
crculo.

(4.13) Propriedade de Valor Mdio de Funes Holomorfas: Se uma funo f
holomorfa num crculo fechado ) (a B
r
, ento o seu valor no centro do crculo ) (a f
igual mdia dos valores na circunferncia que o delimita, isto
= ) (a f

+

2
0
) (
2
1
d re a f
i
.
Dem. Como holomorfa no crculo fechado f ) (a B
r
, holomorfa num conjunto aberto
que o contm, pelo que existe 0 > tal que o crculo aberto est contido no
conjunto aberto referido. Seja
) (a B
r +
=
o caminho regular simples que percorre a circunferncia
que delimita ) (a B
r
tal que com . Verificam-se as
condies da hiptese do teorema anterior, pelo que a Frmula de Cauchy d
[ ] 2 , 0 :
i
re a + = ( )
. ) (a f Ind

+ =
+
=


2
0
2
0
) (
2
1 ) (
2
1 ) (
2
1
) ( d re a f d e r i
re
re a f
i
dw
a w
w f
i
a
i i
i
i
,
Da Proposio (4.10) obtm-se Ind , o que termina a demonstrao. Q.E.D. 1 ) ( = a



64 Integrais de funes complexas

Mais uma vez, verifica-se da propriedade de valor mdio que os valores de funes
holomorfas satisfazem fortes restries de interligao. Veremos no captulo 9 que as
funes complexas contnuas que satisfazem a propriedade de valor mdio em todos os
crculos fechados contidos num conjunto aberto so necessariamente holomorfas,
pelo que esta propriedade para funes complexas contnuas caracteriza as funes
holomorfas.


Exerccios
4.1. Com ( , calcule , onde = z y x ) ,

dz x um caminho regular simples que percorre:


+ a) o segmento de recta orientado de a 1 , 0 i
b) a circunferncia de raio e centro na origem no sentido positivo (calcule de duas formas:
directamente e observando que
0 > r
2 / ) / ( 2 / ) (
2
z r z z z + = + x =

dz x
na circunferncia).
4.2. Com ( , calcule , onde = z y x ) ,

circunferncia de raio e centro na origem no
sentido positivo.
0 > r
4.3. Calcule

, onde ) 1 /(
2
z dz um caminho regular simples que percorre circunferncia de centro
na origem e raio . [ [ { \ + } 1 , 0 r
4.4. Calcule uma primitiva da funo complexa , com . ) 2 ( ) 1 ( 2 ) (
2 2
y y x i y x iy x f + + = + y x,
4.5. Mostre que

um imaginrio puro, para todo o caminho fechado seccionalmente


regular
dz z f z f ) ( ) (
e toda a funo numa regio que contm . f
) ( / ) ( dz z f z f
1
C
= 0
*
4.6. Mostre que

, para todo o caminho fechado seccionalmente regular numa


regio onde a funo C e satisfaz | . f
1
1 | 1 < f
= 0 ln dz z 4.7. Descreva condies em que se verifica .

4.8. Calcule os integrais seguintes, onde um caminho regular simples que percorre circunferncia de
raio e centro na origem:
r

0 > r
z
a)

e , b)

, c)

e , d)

sin , e)

.
1
/

dz z +
2
) 1 /(
2
dz z
1
/

dz z
n z
1
3
/

dz z z
1
/ sin

dz z z

You might also like