Académique Documents
Professionnel Documents
Culture Documents
Jorge L. deLyra
12 de Mar co de 2010
08: Calculo Complexo Descomplicado II: Integracao
Tendo estabelecido os fundamentos do calculo diferencial das fun coes analticas, vamos
agora discutir o calculo integral. Nossa primeira providencia e decidir o que queremos dizer
por uma integral de uma fun cao analtica. A generaliza cao imediata da integral real de
uma fun cao f(x)
f(x) dx
para uma fun cao complexa w(z) e simplesmente algo como
w(z) dz.
N ao ha nenhuma diculdade conceitual de se denir isto, pois todas as opera coes aritmeticas
envolvidas s ao as de um corpo como C. O conceito de limite que esta envolvido aqui e o
mesmo do caso real, e a deni cao do processo de integra cao e a de Riemann, na qual temos
uma soma innita de quantidades innitesimais, sobre algum domnio D,
D
w(z) dz = lim
z0
D
w(z)z.
Entretanto, como os zs e dzs s ao agora vetores num espa co bidimensional, e preciso
discutir o signicado e natureza do domnio de integra cao.
`
A primeira vista pode-se pensar
que trata-se aqui de algo equivalente a uma integral real em duas dimens oes, mas este nao e
o caso. Se concatenarmos todos os dxs de uma integral real, obteremos a reta real ou uma
parte dela, que constitui o domnio de integra cao. O que acontece se zermos o mesmo com
os dzs de uma integral complexa? Como cada dz e um pequeno vetor no plano, e claro que
vamos produzir com isto uma curva no plano complexo. Em outras palavras, vemos que o
que temos aqui uma especie de integral de linha.
Fig. 1: O plano complexo com uma integral de linha.
1
Com isto, vemos que podemos reduzir este tipo de integra cao complexa ao caso real, assim
como podamos fazer o mesmo com a derivada complexa. No caso da derivada, basta limitar
o domnio `a reta real e fazer as varia coes na dire cao desta reta, o que em nada muda os
resultados se a fun cao for analtica, como demonstramos antes. Neste caso, basta escolher
como curva de integra cao a reta real ou uma parte dela.
Como a integral
w(z) dz =
(u + v)(dx + dy)
=
(udx v dy) +
(v dx + udy)
=
(u, v)
d +
(v, u)
d,
onde
d = dz = (dx, dy). Vemos assim que, alem do campo vetorial w = (u, v) que repre-
senta w(z), dois outros campos vetoriais relacionados com ele passam a aparecer em nossos
argumentos: o campo w
R
= (u, v) (parte real da integral) e o campo w
I
= (v, u) (parte
imaginaria da integral). Observe-se que estes dois novos campos vetoriais s ao plot aveis com
o programa de apoio da disciplina.
Nos perguntamos agora se a integral indenida de uma fun cao complexa, tomada entre
dois pontos do plano, um xo e outro variavel, pode ela mesma ser entendida como uma
fun cao complexa do ponto variavel, como expresso a seguir,
F(z) =
z
z
0
w(z
) dz
.
No momento nao podemos ter certeza, devido `a possibilidade de que o resultado dependa
da curva que for escolhida para ir de um ponto ao outro. Podemos examinar esta questao
fazendo alguns exemplos. Por exemplo, consideremos a integral de uma fun cao analtica
como
B
A
z
n
dz,
para n inteiro nao-negativo, entre os pontos A = (0, 0) e B = (1, ), pelos dois caminhos
diferentes ilustrados abaixo, para o caso n = 2.
Fig. 2: O plano complexo com dois caminhos para a integral, um reto entre os pontos e o
outro por segmentos paralelos aos eixos. (Incluir os valores de dz em cada trecho, e os
angulos relevantes.)
2
Fazendo a integra cao das duas formas indicadas, pode-se facilmente vericar que neste caso
o resultado e o mesmo, independente do caminho, a saber (1 + )
n+1
/(n + 1). Por outro
lado, se considerarmos a integral de uma fun cao que nao e analtica, como por exemplo
B
A
z
dz
entre os pontos A = (1, 0) e B = (1, 0), pelos dois caminhos constitudos de um arco do
crculo unit ario e uma linha reta, como ilustrado abaixo,
Fig. 3: O plano complexo com os dois caminhos para a integral. (Incluir os valores de dz
em cada trecho.)
vericamos que neste caso os dois resultados s ao diferentes, sendo um deles nulo e o outro
nao. O primeiro exemplo ilustra um teorema muito importante, o teorema de Cauchy,
enquanto o segundo ilustra a sua anttese.
Vamos agora discutir o teorema de Cauchy, que e um dos fundamentos do calculo
complexo. Ele pode ser obtido a partir do teorema de Green para pares de fun coes reais
de duas variaveis. O teorema de Green nos diz que, dadas duas fun coes P e Q, contnuas e
diferenci aveis (e com derivadas contnuas) em uma determinada regi ao bidimensional S do
plano (x, y), cuja borda e uma curva fechada C, vale para elas a rela cao
C=S
(P dx + Qdy) =
Q
x
P
y
dxdy,
onde usamos a nota cao C = S para indicar que a curva C e a borda da area S.
E muito
util reinterpretar este teorema em linguagem vetorial. Podemos interpretar o par (P, Q)
como as duas componentes de um vetor real
V = (P, Q) em duas dimens oes, e escrever esta
equa cao da forma
C=S
V
d =
V
da.
Temos agora, do lado esquerdo, uma integral de linha sobre C, e do lado direito uma
integral de superfcie sobre S, cujo integrando e a componente do rotacional de V , que em
duas dimens oes esta sempre na dire cao do vetor normal a S. Vemos assim que isto e um
caso particular do teorema de Stokes em tres dimens oes, ou teorema do rotacional, que e
utilizado no eletromagnetismo.
Como temos aqui as duas fun coes reais de duas variaveis u e v, com exatamente estas
propriedades, podemos usar este teorema para o vetor w que representa uma fun cao com-
plexa e escrever, usando da mesma licen ca que usamos antes em rela cao `a nota cao vetorial
do rotacional,
3
C=S
w
d =
w da.
A curva C e agora um contorno no plano complexo, que deve ser orientado segundo a regra
da m ao direita, em rela cao `a normal do plano (x, y), que esta na dire cao normal e saindo
da folha de papel, como ilustrado abaixo.
Fig. 4: O plano complexo com a regi ao S e o caminho de integra cao C devidamente
orientado.
Esta formula e verdadeira mas nao e l a muito interessante, pois ela nao aparece em nosso
desenvolvimento da integral de uma fun cao complexa. O mais interessante, portanto, e
considerar aqui os dois campos vetoriais que aparecem na integral complexa, como vimos
antes,
wdz =
(udx v dy) +
(v dx + udy)
=
(u, v)
d +
(v, u)
d.
Se usarmos agora o teorema de Green para os campos w
R
= (u, v) e w
I
= (v, u), obteremos
um resultado muito interessante e ate surpreendente. Para a parte real, por exemplo, temos
C=S
w
R
d =
S
da
w
R
=
S
da
v
x
u
y
.
Note-se agora que, se a fun cao w(z) for analtica, entao as condi coes de Cauchy-Riemann
nos dizem que
u
y
=
v
x
,
para todo ponto onde a fun cao for analtica. Se a regi ao de analiticidade incluir toda a regi ao
S, incluindo a borda, entao segue que o lado direito da equa cao se anula identicamente, de
forma que temos
C
w
R
d = 0,
4
ou seja, para toda curva fechada C dentro da qual a fun cao seja analtica. O mesmo vale
para o caso de w
I
,
C=S
w
I
d =
S
da
w
I
=
S
da
u
x
v
y
.
Desta vez e a outra rela cao de Cauchy-Riemann,
u
x
=
v
y
,
que implica que temos
C
w
I
d = 0.
Segue, portanto, que a integral complexa de uma fun cao analtica se anula, para qualquer
curva fechada C,
C
w(z)dz = 0,
desde que a fun cao seja analtica, ou seja nao tenha singularidades, dentro da curva e sobre
ela. Este e o importante teorema de Cauchy, tambem denominado de teorema de Cauchy-
Goursat, para estender a homenagem a um outro matem atico, que demonstrou o teorema
de forma um pouco mais forte, com uma hip otese a menos, a de continuidade das derivadas
parciais.
Tomemos um momento para ponderar sobre este fato extraordinario: w(z) e qualquer
fun cao analtica, e S qualquer regi ao dentro da qual a fun cao seja analtica, e todas estas
integrais s ao nulas. Pode ate parecer que a teoria termina aqui, por falta de algo que nao
seja nulo! Entretanto, e preciso chamar a aten cao para o fato de que tratamos apenas
de curvas fechadas neste teorema. As integrais nao s ao sempre nulas se as curvas forem
abertas. O teorema e extremamente importante e poderoso, mas ele nao trivializa a teoria.
Note-se que a regi ao S nao precisa ser simplesmente conexa, ou seja, ela poderia ser
uma regi ao com um ou mais furos dentro dela, tais como ilustrado abaixo.
Fig. 5: O plano complexo com regi oes S com furos, e as bordas orientadas.
Neste caso a borda da regi ao e um conjunto de curvas, em vez de ser uma unica curva. Na
verdade S nao precisa nem ser conexa, pois podemos ter varias regi oes separadas, e o que
vale para cada uma vale tambem para o conjunto, como ilustrado abaixo.
5
Fig. 6: O plano complexo com varias regi oes S e a borda orientada de cada uma delas.
Dado o teorema de Cauchy-Goursat, e facil vericar que a integral complexa de uma fun cao
analtica entre dois pontos nao dependera do caminho que for escolhido para executar a
integra cao, desde que se possa deformar cada caminho nos outros sem sair da regi ao onde a
fun cao e analtica. Disto podemos concluir que e de fato possvel denir a integral indenida
ou primitiva de uma fun cao complexa, como foi sugerido anteriormente, se e apenas se a
fun cao sob considera cao for analtica,
F(z) =
z
z
0
w(z
) dz
.
O que o teorema de Cauchy-Goursat e a independencia do caminho nos dizem e que ha
um potencial complexo , ou seja, na realidade um par de potenciais reais
R
e
I
, um
para a parte real da integral e outro para a parte imaginaria, cuja deni cao esta associada
a esta propriedade do processo de integra cao de uma fun c ao analtica. Em outras palavras,
dada uma fun cao analtica w(z), representada pelo campo vetorial w, e dados os campos
vetoriais associados w
R
e w
I
, existem fun coes
R
e
I
tais que
w
R
=
R
,
w
I
=
I
.
Isto quer dizer que os campos associados w
R
e w
I
s ao os gradientes destas fun coes, ou seja,
s ao proporcionais aos campos eletrostaticos associados a cada um dos dois potenciais. Ve-
mos assim que
R
e
I
se assemelham a potenciais eletricos, e parecem ter comportamento
semelhante `aquele das fun coes u e v de uma fun cao analtica. Para elaborar este argumento,
come camos observando que a integral indenida pode ser escrita como a varia cao destes
potenciais,
F(z) =
z
z
0
w(z
) dz
= (
R
R,0
,
I
I,0
)
= U + V.
onde
R,0
,
I,0
s ao os valores que os potenciais tem no ponto inicial z
0
. Vemos aqui que
as fun coes U = (
R
R,0
) e V = (
I
I,0
) s ao as partes real e imaginaria da fun cao
complexa F(z). Como sabemos que os campos vetoriais w
R
=
U e w
I
=
V existem, ca
claro que estas s ao fun coes contnuas e diferenci aveis. Como sabemos que w
R
= (u, v) e
w
I
= (v, u), podemos escrever as derivadas parciais de U e V explicitamente em termos de
u e v,
6
U
x
= u,
U
y
= v,
V
x
= v,
V
y
= u.
De um exame das primeira e ultima equa coes acima, conclumos que
U
x
=
V
y
,
enquanto as outras duas equa coes nos dao
U
y
=
V
x
.
Com isto, cam estabelecidas as condi coes de Cauchy-Riemann para as fun coes U e V que
constituem a fun cao complexa F(z), que agora e demonstradamente uma fun cao analtica.
Com isto ca tambem estabelecido que as fun coes U e V s ao nao apenas potenciais ele-
trost aticos, mas potenciais em uma regi ao sem cargas eletricas, que satisfazem `a equa cao de
Laplace homogenea,
2
U =
2
V = 0.
E importante observar aqui, para uso posterior, que
nesta demonstra cao de que F(z) e analtica n ao foi usado o fato de que w(z) e analtica,
mas apenas o fato de que todas as integrais de w(z) sobre curvas fechadas contidas numa
determinada regi ao s ao nulas.
Vemos assim que a primitiva de uma fun cao analtica e sempre outra fun cao analtica,
sem a necessidade de qualquer hip otese adicional. Como o argumento pode ser iterado,
segue que uma fun cao analtica e innitamente integravel, ou seja, podemos integra-la de
forma indenida, fazer o mesmo com a primitiva que resulta, e assim indenidamente,
gerando portanto uma sequencia innita de fun coes analticas. Esta sequencia nos faz
lembrar da outra sequencia, aquela formada pela deriva c ao sucessiva de fun coes analticas,
se bem que naquele caso a demonstra cao que apresentamos de que a derivada de uma fun cao
analtica tambem e analtica dependia da hip otese adicional de que as fun coes u(x, y) e
v(x, y) tenham derivadas de segunda ordem. Mais adiante veremos que esta hip otese pode
ser levantada.
De qualquer forma, isto nos induz a pensar que estas duas sequencias de fun coes, aquela
gerada pela deriva cao iterada e aquela gerada pela integra cao iterada, estao relacionadas,
sendo na realidade a mesma, a menos de constantes somadas `as fun coes, desde que tenham
um elemento em comum. Lembrando que, na demonstra cao de que a primitiva F(z) de
uma fun cao analtica w(z) e tambem analtica, temos que w = u + v e F = U + V , com
U
x
= u,
U
y
= v,
V
x
= v,
V
y
= u,
e lembrando que a derivada de uma fun cao analtica w(z) pode ser escrita como
7
dw(z)
dz
=
u
x
+
v
x
,
segue que a derivada da primitiva F(z) pode ser escrita como
dF(z)
dz
=
U
x
+
V
x
,
= u + v
= w(z).
Ou seja, assim como no caso real, a integra cao e a diferencia cao complexas s ao opera coes
inversas uma da outra, desde que estejamos em uma regi ao do plano complexo onde w(z)
e analtica, e que nao usemos para denir a primitiva F(z) duas curvas separadas cuja
uni ao contorne um ponto de singularidade de w(z). Podemos dizer portanto que o teorema
fundamental do calculo real vale tambem para as nossas fun coes analticas,
F(z) =
z
w(z
) dz
dF(z)
dz
= w(z).
Observe-se que o teorema de Cauchy-Goursat nos permite denir a derivada da primitiva
de uma fun cao analtica de forma simples e geometrica, pois dada a deni cao da primitiva,
F(z) =
z
z
0
w(z) dz,
tomar a derivada de F(z) signica variar z, o que corresponde a uma varia cao do extremo
de integra cao superior. Esta varia cao implica em acrescentar um novo trecho `a integral,
nos levando da ponta de C para um novo ponto, como ilustrado a seguir.
Fig. 7: O plano complexo com a integral de linha e sua varia c ao.
Como w(z) e analtica, devido ao teorema de Cauchy-Goursat, podemos ir ate o novo
ponto por qualquer caminho a partir da ponta de C, sem que haja mudan ca na varia cao
correspondente de F. Por outro lado, como F(z) e analtica, esta varia cao deve poder
ser feita em uma dire cao qualquer, sem mudan ca do resultado para a razao dF/dz. Em
circunst ancias especcas pode ser vantajoso escolher uma dire cao especca para a varia cao,
de forma a simplicar os calculos.
Como o teorema de Green, ou seja, a versao bidimensional do teorema de Stokes ou do
rotacional, tem um papel tao central para a nossa teoria aqui, e importante que o exami-
nemos, de forma a entender a origem do resultado. Como veremos, trata-se de um teorema
analtico fundamentalmente baseado em ideias geometricas. Podemos fazer um esbo co da
demonstra cao do teorema, considerando um vetor generico w = (u, v), um ret angulo in-
nitesimal (dx, dy) e as duas fun coes como associadas a links de uma rede retangular de
pontos. Adotamos a conven cao de que u e v s ao indexadas pelas pontas dos links na
dire cao negativa dos eixos coordenados.
8
Fig. 8: Os eixos (x, y), o ret angulo orientado e seus elementos.
Um elemento da integral de linha de w
v(x, y)
x
u(x, y)
y
,
onde da = dxdy e o elemento de area associado `a superfcie do ret angulo innitesimal. Isto
estabelece o teorema no ret angulo innitesimal. Podemos agora construir uma regi ao S
maior concatenando in umeros ret angulos innitesimais como este. Tanto do lado esquerdo
quanto do lado direito da equa cao, a integral completa sobre S e a soma das integrais sobre
cada um dos ret angulos innitesimais.
Fig. 9: V arios ret angulos innitesimais orientados e concatenados, formando uma
superfcie maior, e formando assim a curva orientada que constitui a borda.
E facil ver que as contribui coes para a integral de linha no termo esquerdo se cancelam nos
links internos ao conjunto de ret angulos, de forma que, do ponto de vista da integral de
linha, o que resta e apenas a integral sobre a curva externa. Do outro lado da equa cao, as
integrais de superfcie somam-se para resultar na integral sobre toda a area de S, e temos
C
w
d =
S
w da.
9
Para fazer uma demonstra cao mais completa e necessario usar tri angulos innitesimais
tambem, de forma a se poder ajustar com perfei cao uma curva C dada qualquer. Isto e
necessario em princpio porque nao se pode aproximar o comprimento da curva C, que e
o domnio da integral de linha, usando apenas os lados dos ret angulos. Pode-se vericar
este fato tentando representar o comprimento da diagonal de um quadrado atraves de uma
escadinha de degraus paralelos aos lados.
E claro que, para que a integral esteja correta, e
necessario que a concatena cao dos elementos sobre a qual ela e calculada reproduza elmente
o domnio de integra cao no limite de integra cao, com sua medida correta.
Fig. 10: Uma area S composta de ret angulos internos e tri angulos ao longo da borda.
N ao e preciso considerar a contribui cao relativa `a area destes tri angulos adicionais no caso
do lado direito da equa cao, uma vez que a area total dos mesmos tende a zero no limite,
pois ela cabe dentro de um permetro de S com largura innitesimal, cuja area vai a zero.
Como a integral e bidimensional, a contribui cao total deste subdomnio de medida nula e
zero. Entretanto, e preciso considerar as contribui coes dos permetros dos tri angulos no
caso do lado esquerdo da equa cao.
Quando acrescentamos estas contribui coes, todos os termos associados aos lados verti-
cais e horizontais dos tri angulos se cancelam com os termos correspondentes associados aos
lados dos ret angulos internos junto aos quais os tri angulos s ao colocados. Desta forma, s o
restam os termos que estao associados aos lados inclinados dos tri angulos, que percorrem
toda a volta da curva C. Assim, vemos que o que as inclus ao dos tri angulos faz e substituir
cada dois lados de ret angulo por um segmento cujas pontas estao sobre a curva C.
Com isto, pode-se ver que o teorema e de fato valido para quaisquer superfcies S cujas
curvas de borda possam ser aproximados por uma sequencia de segmentos innitesimais,
com as pontas dos segmentos sobre a curva. Teoremas como este podem ser demonstrados
tambem em dimens oes mais altas. Um exemplo disto e o teorema de Gauss ou do divergente,
que e muito util no eletromagnetismo, como tambem e o teorema do rotacional em tres
dimens oes. O exemplo mais simples, em uma unica dimens ao, se reduz ao familiar teorema
fundamental do calculo. O caso mais geral e conhecido como teorema geral de Stokes.
Observe que a demonstra cao do teorema que discutimos aqui poderia ser estendida ate
para superfcies curvas imersas no espa co tridimensional, sem qualquer mudan ca conceitual
no argumento apresentado.
10