Anda di halaman 1dari 40

Paulo J. S. G.

Ferreira Matemtica Aplicada a 2002219 22:50

Cap tulo 2 Funoes complexas de varivel c a complexa


Neste cap tulo estudamos alguns tpicos da teoria das funoes complexas de o c varivel complexa que desempenham um papel central em certos assuntos a que abordaremos posteriormente. A abordagem utilizada clssica, e segue e a o ponto de vista explorado por Cauchy e de Riemann: parte-se do conceito de funao anal c tica (diferencivel), e prossegue-se com a teoria do integral a dessas funoes. c

2.1

N meros complexos u

Em termos formais os nmeros complexos so denidos por pares ordenados u a de nmeros reais u z = (x, y), identicando-se x com a parte real de z, e y com a sua parte imaginria. a 1 Em s mbolos, x = Re (z), y = Im (z). Dois complexos (x1 , y1 ) e (x2 , y2 ) so iguais se x1 = x2 e y1 = y2 . No se dene nenhuma relaao de ordem a a c entre complexos. O resultado da adiao de dois complexos z1 = (x1 , y1 ) e c z2 = (x2 , y2 ) , por deniao, o complexo e c z1 + z2 = (x1 + x2 , y1 + y2 ). O resultado da multiplicaao de z1 por z2 , por deniao, o complexo c e c z1 z2 = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).
Para maior conciso usaremos frequentemente a expresso complexos em substituiao a a c de nmeros complexos. u
1

16

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.2 Notaao c

17

Identica-se o complexo (x, 0) com o real x. A notaao c j = (0, 1) permite exprimir qualquer complexo (x, y) sob a forma x+jy. Notar que j 2 = 1, e que tanto a adiao como a multiplicaao de complexos se pode exprimir c c a custa de operaoes formais entre nmeros da forma x + jy, considerando, ` c u claro, j2 = 1. O conjunto de nmeros complexos, relativamente as operaoes aritmticas u ` c e atrs denidas, constitui um corpo. a

2.2

Notao ca

A notaao utilizada a habitual. O mdulo de um complexo z = x + jy c e o e o real no-negativo denido por + x2 + y 2 , que representaremos por |z|. O a conjugado de z = x + jy denido por x jy, e ser representado por z . e a Notar que |z|2 = zz . Como habitual, designaremos o conjunto dos complexos por e (e o conjunto dos reais por , dos racionais por , dos inteiros por , e dos naturais por ). O s mbolo =, utilizado na forma A = B, dene e atribui a A um signi cado atravs da expresso B. E importante reconhecer a diferena entre este e a c s mbolo e o s mbolo =. Enquanto que, por exemplo,

f (x) = 0,

dene uma funao f que toma o valor nulo para qualquer real, j c a f (x) = 0 representa uma equaao, cujo conjunto de soluoes ser a totalidade dos x c c a pertencentes ao dom nio de f e tais que f (x) zero. e

2.3

Interpretao geomtrica dos complexos ca e

E extremamente util identicar o conjunto com o conjunto dos pontos do plano, da forma indicada na gura 2.1. O complexo (x, y) identicado com e o ponto do plano que dista x unidades do eixo vertical e y unidades do eixo horizontal. E natural chamar ao eixo sobre o qual se mede x eixo real, e ao eixo sobre o qual se mede y eixo imaginrio. a 17

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.4 Funoes complexas de varivel complexa c a

18

Im (z) y
|z | r=

x Re (z)

Figura 2.1: Representaao geomtrica dos nmeros complexos. c e u Uma alternativa a representaao do complexo z em termos de x e y a ` c e representaao em termos de mdulo e fase, que corresponde a empregar, em c o vez das coordenadas rectangulares x e y, coordenadas polares r e . Podem exprimir-se as coordenadas rectangulares x e y em termos de r e , x = r cos , y = r sin , e igualmente fcil exprimir r e em termos de x e y, e a r = |z| = x2 + y 2 , Im (z) . Re (z)

= /z = arctan

Geometricamente, r ou |z| a distncia de z a origem, e ou /z o angulo que e a ` o vector identicado com z faz com o eixo real, medido da forma indicada na gura 2.1.

2.4

Funoes complexas de varivel complexa c a

A extenso do conceito de funao real de varivel real ao dom a c a nio complexo no oferece qualquer diculdade pelo que no sentimos necessidade de fazer, a a a esse respeito, qualquer comentrio espec a co. As observaoes que se seguem c referem-se a seguinte questo: ser a teoria de funoes complexas de varivel ` a a c a complexa merecedora de um estudo espec co, ou poder-se- reduzir a teoria a ` de funoes reais de varivel real? c a 18

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.4 Funoes complexas de varivel complexa c a

19

Seja f uma funao complexa de varivel complexa, isto , c a e


f:

Podemos representar f em termos da sua parte real e imaginria, que sero a a designadas por u e v, respectivamente, isto , e f (z) = u(z) + jv(z).

Como z depende de x e y, qualquer funao f : c duas funoes reais de duas variveis reais u e v, c a

ca denida pelas

u:

, ,

v:

o que pode de facto levar a supor que a teoria das funoes complexas de c varivel complexa se poderia reduzir sempre a teoria das funoes de varivel a ` c a real. Contudo, isto no verdade em geral. a e Na realidade, restringindo de forma apropriada f , obtm-se uma classe e de funoes complexas de varivel complexa cujas propriedades so marcadac a a mente espec cas, por comparaao com as funoes reais de varivel real. c c a Que restrioes far sentido impor sobre f ? A primeira condiao que ocorre c a c certamente a continuidade. A sua deniao natural, em termos de funoes e c c complexas de varivel complexa, a seguinte: uma funao f : a e c e cont nua em z0 se, para qualquer real > 0 existe um real > 0 tal que se tem |f (z) f (z0 )| < para qualquer z tal que |z z0 | < . Ser que esta condiao conduz a uma a c cas? A resposta nee classe de funoes f : com propriedades espec c gativa: a continuidade de f implica a continuidade de u e v, e a continuidade de u e v implica a continuidade de f . O estudo das funoes complexas de c varivel complexa cont a nuas equivalente ao estudo das funoes cont e c nuas reais de duas variveis reais, ao qual, consequentemente, nada acrescentar. a a Tendo posto de parte a continuidade como propriedade conducente a uma classe de funoes complexas de varivel complexa com caracter c a sticas espec cas, surge a ideia de investigar as consequncias da existncia de prie e meira derivada. Como veremos, esta restriao d origem a uma classe de c a funoes complexas de varivel complexa (chamadas funoes anal c a c ticas) com propriedades extremamente interessantes e elegantes, uma das quais absoe lutamente inesperada: possuem derivadas de qualquer ordem. A existncia de derivadas de qualquer ordem, como consequncia da e e existncia da primeira derivada, uma caracter e e stica que as funoes reais c

19

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.5 Analiticidade

20

de varivel real no possuem de modo algum. Uma funao real de uma a a c varivel real f : pode possuir primeira derivada em todos os pontos a e nua tambm em todos os pontos, e x , e essa derivada pode at ser cont mas a segunda derivada pode ainda assim no existir em nenhum ponto! a A situaao em termos de funoes complexas de varivel complexa , como c c a e veremos, inteiramente diferente.

2.5

Analiticidade

Uma regio D do plano complexo , em termos gerais, um subconjunto de a e elementos de . Esta deniao , contudo, demasiado geral. Interessam-nos c e classes particulares de regies, em que no inclu o a mos, por exemplo, as regies o constitu das por um unico ponto ou por um segmento de recta. Grosseira mente falando, interessam-nos regies D que contm um c o e rculo. Uma maneira de descrever com preciso estas regies exigir que exista um real a o e > 0 e um z0 D tal que o conjunto de pontos z denido por |z z0 | < esteja inteiramente contido em D. Daqui em diante, o termo regio dever a a ser entendido apenas neste sentido. Uma funao analtica numa regio D uma funao f : complexa c a e c de varivel complexa, cujo dom a nio inclui D, e que possui derivada f (z) = lim f (z + h) f (z) h0 h

em todos os pontos de D. Para simplicar, omitiremos, no resto deste cap tulo, a qualicaao complexa de varivel complexa quando falarmos c a de funoes. Designaremos a parte real e imaginria de f por u e v, respectic a vamente, isto , e f (z) = u(z) + jv(z). As perguntas a que tentaremos responder nesta secao so as seguintes: a que c a condioes deve uma funao f obedecer para que seja anal c c tica? A existncia e da primeira derivada de f que consequncias traz em termos de u e v? e Comearemos por dar duas condioes necessrias para a analiticidade, c c a isto , duas condioes que qualquer funao anal e c c tica forosamente ter de c a satisfazer. Naturalmente, tratando-se de condioes necessrias mas no suc a a cientes, pode acontecer que sejam satisfeitas por funoes que no sejam c a anal ticas.

(2.1)

20

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.5 Analiticidade

21

A primeira e mais simples condiao necessria para analiticidade de uma c a funao f a continuidade. De facto, c e lim f (z + h) f (z) = lim h
h0

h0

f (z + h) f (z) h

= 0 f (z) = 0. E conveniente lembrar que apesar de qualquer funao anal c tica ser, necessariamente, cont nua, existem funoes cont c nuas que no possuem derivadas a em todos os pontos do seu dom nio, e que no so por isso anal a a ticas. Pode obter-se uma outra condiao necessria para analiticidade se repac a rarmos que o limite (2.1) deve ser o mesmo independentemente do modo como o complexo h = x + jy tende para zero. Se h tender para zero ao longo do eixo real, isto , se h = x + j0 = x, temos e f (z) = lim f (z + x) f (z) x0 x u(z + x) u(z) v(z + x) v(z) = lim +j x0 x x v u +j . = x x

Por outro lado, se h tender para zero ao longo do eixo imaginrio, o que a signica que h = 0 + jy = jy, temos f (z) = lim f (z + jy) f (z) y0 jy u(z + jy) u(z) v(z + jy) v(z) + = lim y0 jy y u v = j + . y y

Se a funao f anal c e tica ento as duas ultimas equaoes devero ser iguais, a c a obtendo-se u v u v +j = j + . x x y y o que equivale a v u = , x y u v = . x y 21 (2.2) (2.3)

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.6 Exemplos de funoes anal c ticas

22

Estas so as equaoes de Cauchy-Riemann. Fornecem condioes necessrias a c c a para a analiticidade de f = u + jv, e so a primeira prova que a analiticidade a de uma funao tem repercusses prprias merecedoras de um estudo a parte. c o o ` Provam que a existncia de primeira derivada no compat com escolhas e a e vel arbitrrias para as funoes u e v: se f = u + jv anal a c e tica, u e v tm de e satisfazer as equaoes de Cauchy-Riemann. c Diferenciando (2.2) em ordem a x e (2.3) em ordem a y v-se que u satisfaz e a equaao c 2u 2u + = 0. x2 y 2 De forma semelhante, v-se que e 2v 2v + = 0. x2 y 2 Isto mostra que a parte real e o coeciente da parte imaginria de uma funao a c anal tica satisfazem a equaao de Laplace = 0. As soluoes da equaao c c c de Laplace chamam-se funoes harmnicas. c o As equaoes de Cauchy-Riemann so condioes necessrias para a anac a c a liticidade, mas no sucientes. A obtenao de condioes simultaneamente a c c poss necessrias e sucientes um pouco mais dif a e cil. E vel provar, sem grandes diculdades, que se u e v possu rem derivadas parciais de primeira ordem cont nuas, e se estas satiszerem as equaoes de Cauchy-Riemann, c ento f uma funao anal a e c tica, e vice-versa. A demonstraao dada em c e Churchill e Brown (1990), ou Ahlfors (1979).

2.6
2.6.1

Exemplos de funoes anal c ticas


Polinmios o

A funao anal c tica mais simples a funao constante f (z) = c. Possui e c derivada em qualquer ponto z , tendo-se f (z) = 0. Tambm fcil e e a ver que a funao identidade f (z) = z anal c e tica (e tem derivada constante igual a unidade para qualquer z ). Isto prova a analiticidade de qualquer ` polinmio o f (z) = a0 + a1 z + a2 z 2 + + an z n , uma vez que, como se pode ver, a soma e produto de funoes anal c ticas (exerc 2.8) ainda uma funao anal cio e c tica. As funoes anal c ticas que, a semelhana dos polinmios, so anal ` c o a ticas em todos os pontos do plano complexo dizem-se funoes inteiras. c 22

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.6 Exemplos de funoes anal c ticas

23

2.6.2

Fracoes racionais, plos e zeros c o


P (z) . Q(z)

Uma fracao racional o quociente de dois polinmios c e o f (z) =

Sem perda de generalidade pode assumir-se que P e Q no possuem factores a comuns. Como esta hiptese evita complicaoes desnecessrias, assumireo c a mos que verdadeira em todas as situaoes futuras em que surjam fracoes e c c racionais. Sabemos j que os polinmios so funoes anal a o a c ticas. Por outro lado, o quociente de funoes anal c ticas denidas num certo dom nio ainda uma e funao anal c tica nesse dom nio, excepto nos pontos do dom nio onde o denominador se anular. Logo, as fracoes racionais so funoes anal c a c ticas, embora s sejam funoes inteiras se Q tiver grau zero (isto , Q reduz-se a uma conso c e tante no nula). a Os pontos (necessariamente isolados) onde Q se anula designam-se por plos de f . Os pontos onde P se anula designam-se por zeros de f . o

2.6.3

Sries de potncias e e
a0 + a1 z + a 2 z 2 + + a n z n + (2.4)

Uma srie de potncias uma srie innita da forma e e e e

Pode associar-se com cada srie uma sucesso de somas parciais. Para o caso e a da srie geomtrica as somas parciais so dadas por2 e e a
n S1 = 1 + z + z 2 + + z n =

O exemplo mais simples de srie de potncias a srie geomtrica, denida e e e e e por 1 + z + z2 + z3 +

o que implica a convergncia da srie geomtrica para a funao racional e e e c 1 1z

1 z n+1 , 1z

se |z| < 1, e a sua divergncia caso |z| 1. Notar que a soma da srie, isto e e , a funao para a qual converge a sucesso de somas parciais, uma funao e c a e c anal tica para |z| < 1.
n n n A expresso para S1 pode obter-se facilmente tomando S1 zS1 , que se reduz a a n+1 1z devido ao cancelamento dos outros termos. 2

23

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.7 Integraao complexa c

24

Este comportamento da srie geomtrica indicativo do que se passa com e e e sries mais gerais. Na verdade, poss provar que, para qualquer srie de e e vel e potncias da forma expressa por (2.4), existe um nmero real R > 0, chamado e u raio de convergncia, tal que a srie converge absolutamente se |z| < R, e e e diverge se |z| > R. A soma da srie uma funao anal e e c tica na regio de a convergncia, isto , para qualquer z tal que |z| < R. e e Um facto adicional e importante que a derivada da soma da srie pode e e ser obtida por derivaao termo a termo da srie de potncias original. Neste c e e caso, o raio de convergncia da srie obtida por derivaao o mesmo da srie e e c e e original. Repetindo este racioc nio v-se que uma srie de potncias com raio de e e e convergncia R > 0 representa uma funao anal e c tica em |z| < R, com derivadas de qualquer ordem, que se podem obter por derivaao termo a termo. c No avanaremos muito nesta direcao uma vez que teremos ocasio de a c c a apresentar posteriormente um resultado geral, o teorema de Laurent, o qual estabelece um desenvolvimento em srie (srie de Laurent) que vlido para e e e a funoes anal c ticas.

2.7
2.7.1

Integrao complexa ca
Curvas

Os integrais de funoes complexas de varivel complexa podem ser denic a 3 dos com respeito a curvas, ou linhas , denidas no plano complexo. Como descrever, matematicamente, uma curva no plano complexo? Parece natural comear por denir uma curva como uma funao z : c c , que naturalmente se pode exprimir por z(t) = f (t) + jg(t), ou, se preferirmos, por x = f (t), y = g(t), onde f e g so funoes reais, de varivel real t, e x e y se identicam com a c a coordenadas sobre os eixos real e imaginrio no plano complexo z = x + jy. a No entanto, conveniente, para evitar diculdades futuras, restringir mais e o conceito de curva, o que se traduz por impor condioes adicionais as funoes c ` c f e g. Consideraremos que f e g so tais que o comprimento da curva descrita a no plano complexo a medida que t varia em cada intervalo [a, b] permanece `
Curvas, linhas, arcos, caminhos, percursos, contornos, etc., so termos que se podem a usar neste contexto.
3

24

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.7 Integraao complexa c

25

Im (z)

Re (z)

Figura 2.2: Exemplos de curvas no plano complexo. nito. Mais precisamente, exigiremos que o menor dos majorantes das somas
n

i=1

|z(ti ) z(ti1 )|

seja nito para todos os conjuntos de reais t0 , t 1 , . . . , t n tais que a < t0 < t1 < t2 < < tn < b, e todos os n. Uma curva que satisfaz esta condiao chama-se recticvel. Assumiremos que todas as c a curvas consideradas daqui para a frente so recticveis. a a Exemplo 2.1 As equaoes c x(t) = cos t, y(t) = sin t, representam, quando t varia de 0 a , um arco de circunferncia no semie plano complexo denido por y > 0, com raio unitrio, incio em z = 1 e m a em z = 1. Veja-se a curva A na gura 2.2. J a curva B, tambm representada na a e gura 2.2, apesar de mais dicilmente traduz vel por uma expresso maa temtica, ainda assim recticvel. a e a

2.7.2

Variao limitada ca

Seja z(t) = f (t) + jg(t) (t [a, b]) uma curva recticvel. Ento, por a a deniao, para qualquer n e quaisquer reais c t0 , t 1 , . . . , t n 25

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.8 O conceito de integral

26

tais que a < t0 < t1 < t2 < < tn < b tem-se


n

i=1

|z(ti ) z(ti1 )| < M,

onde M designa uma constante. Como |f (ti ) f (ti1 )| |z(ti ) z(ti1 )|, |g(ti ) g(ti1 )| |z(ti ) z(ti1 )|, tem-se tambm e
n

i=1 n

|f (ti ) f (ti1 )| < M, |g(ti ) g(ti1 )| < M.

(2.5)

i=1

Assuma-se agora que as equaoes (2.5) so satisfeitas para um certo M , c a qualquer conjunto de reais t0 , t 1 , . . . , t n tais que a < t0 < t1 < t2 < < tn < b, e todos os n. Isso implica
n

i=1

|z(ti ) z(ti1 )| < 2M,

o que signica que a curva z(t) = f (t) + jg(t) recticvel. e a V-se assim que uma curva recticvel se e s se as funoes f e g satise e a o c zerem (2.5), independentemente do nmero n de reais ti em [a, b]. Qualquer u funao que satisfaa uma condiao deste tipo diz-se possuir variaao limitada c c c c em [a, b].

2.8

O conceito de integral

Seja C uma curva no plano complexo, com extremidades nos pontos A e B, e f uma funao em cujo dom c nio se inclui C. O integral de f sobre a curva C, entre os pontos A e B, dene-se com base em somas do tipo
n

i=1

f (i )(zi zi1 ).

(2.6)

Nestas somas, todos os pontos zi e i pertencem a C, encontrando-se i entre zi e zi1 . Supomos ainda que z0 = A e zn = B. 26

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.9 Propriedades elementares e exemplos

27

O integral de f entre A e B ao longo de C dene-se como o limite das somas (2.6) quando o nmero n de pontos tende para innito, e representa-se u por f (z) dz
C

ou

f (z) dz.
A

A primeira notaao tem a desvantagem de no sugerir a orientaao seguida c a c (de A para B, ou de B para A). A desvantagem da ultima notaao no c e a tornar expl cito que o valor do integral depende, em geral, da curva C. ` A semelhana do que se passa para integrais denidos de funoes de uma c c varivel real, poss a e vel calcular o integral de uma funao f (z) sobre uma c curva C de A at B atravs da expresso e e a
b

f (z(t))z (t) dt
a

(2.7)

onde z(t) = x(t) + jy(t), z(a) = A, e z(b) = B. Estamos a assumir que a curva se pode exprimir, em funao do parmetro real t, atravs de z(t) = c a e x(t) + jy(t), e que as derivadas x (t) e y (t) existem e so cont a nuas. De facto, considere-se de novo a soma (2.6). Para qualquer zi sobre a curva C existe um ti tal que z(ti ) = zi . De igual modo, para qualquer i C entre zi e zi1 existe um i pertencente ao intervalo [ti1 , ti ] tal que i = z(i ). Retomando a soma (2.6) vemos que
n n

i=1

f (i )(zi zi1 ) = =

i=1 n

f (z(i ))[z(ti ) z(ti1 )] f (z(i )) z(ti ) z(ti1 ) (ti ti1 ), ti ti1

i=1

que justica (2.7), em face das hipteses feitas. o

2.9

Propriedades elementares e exemplos

As propriedades do integral que apontamos nesta secao sero utilizadas c a posteriormente. So consequncias directas da deniao de integral, e podem a e c demonstrar-se considerando a soma (2.6).

27

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.9 Propriedades elementares e exemplos

28

Propriedade 2.1 O valor do integral de f (z) ao longo de um contorno C orientado de A para B s se altera em sinal quando o sentido do contorno o se inverte, isto , e
B A A

f (z) dz =

f (z)dz.
B

Propriedade 2.2 O mdulo do integral de f (z) ao longo do contorno C o satisfaz


C

f (z) dz M (f )L(C),

onde M (f ) designa o valor mximo do mdulo de f (z) sobre C, e L(C) a o designa o comprimento da curva C. Apresentamos em seguida trs exemplos que utilizaremos posteriormente. e Exemplo 2.2 Sejam A e B dois pontos quaisquer do plano complexos e C um contorno com origem em A e extremidade em B. Ento, a
B A

dz = B A.

Como o contorno comea em A e termina em B, tomamos A = z0 e B = zn c em (2.6), que se reduz a


n

i=1

(zi zi1 ) = B A,

uma vez que z0 entra uma unica vez na soma, com sinal negativo, zn entra tambm uma unica vez, mas com sinal positivo, e todos os outros z i surgem e duas vezes com sinal oposto. Exemplo 2.3 Sejam A e B dois pontos quaisquer do plano complexo e C um contorno com origem em A e extremidade em B. Ento, a
B A

z dz = (B 2 A2 )/2.

28

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.9 Propriedades elementares e exemplos

29

Tomando outra vez A = z0 e B = zn em (2.6), vem


n

i=1

i (zi zi1 ),

Escolhendo i igual a zi e zi1 obtm-se, respectivamente, e


n

Xn =
i=1 n

zi (zi zi1 ), zi1 (zi zi1 ).


B A

Yn =
i=1

As somas Xn e Yn tendem para o limite de (Xn + Yn )/2. Mas


n

z dz, que ser tambm o limite a e

X n + Yn =
i=1 n

(zi + zi1 )(zi zi1 )


2 (zi2 zi1 ) = B 2 A2 .

=
i=1

Logo, (Xn + Yn )/2 converge para (B 2 A2 )/2, o que prova que o valor do B e integral A z dz de facto o indicado. Em qualquer dos exemplos apresentados, o integral
B

f (z) dz
A

no depende da curva C que une A com C. Em particular, se B = A, ento a a f (z) dz = 0.


C

Contudo, isto no verdade em geral, como o prova o exemplo seguinte. a e Exemplo 2.4 Se C for um contorno circular de raio r com centro na origem do plano complexo e percorrido no sentido positivo (contrrio ao sentido dos a ponteiros de um relgio) ento o a dz = 2j. z

29

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.10 O teorema de Cauchy

30

Neste caso mais conveniente representar o contorno C em termos de um e parmetro real t e calcular o integral atravs da expresso (2.7), isto , usar a e a e dz = z
b a

z (t) dt. z(t)

Para representar o contorno C, isto , uma circunferncia de raio r centrada e e no origem e orientada positivamente, pode usar-se z(t) = x(t) + jy(t), com x(t) = r cos t, y(t) = r sin t, e t [0, 2). E poss efectuar os clculos em termos de z(t) = x(t) + jy(t), vel a mas mais cmodo exprimir z em termos da funao exponencial e o c z(t) = rejt . Temos ento z (t) = jrejt , pelo que a dz = z = = j
0

z (t) dt a z(t) 2 jrejt dt rejt 0


2

dt = 2j.

Note-se que o valor deste integral no depende do raio da circunferncia C, a e que pode ser um real positivo qualquer. Na verdade, o valor do integral e mesmo independente, em larga medida, da natureza do contorno (por exemplo, obter-se-ia o mesmo resultado se o contorno fosse rectangular e o ponto z = 0 pertencesse ao seu interior). Para justicar esta armaao surpreendente necessrio averiguar sob c e a que condioes um integral de uma funao complexa de varivel complexa c c a no depende da curva de integraao. O facto da funao ser ou no anal a c c a tica sobre o contorno e em todos os pontos do seu interior , como veremos, e fundamental. Repare-se que no exemplo anterior a funao f (z) = 1/z no c a e anal tica no ponto z = 0, o qual pertence ao interior do contorno.

2.10

O teorema de Cauchy

Um dos resultados fundamentais sobre integraao de funoes complexas de c c varivel complexa o teorema de Cauchy. Infelizmente, para enunciar de a e 30

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.10 O teorema de Cauchy

31

C Figura 2.3: As linhas horizontais e verticais denem uma subdiviso do intea rior do contorno fechado C, tal como na demonstraao do teorema de Cauchy. c forma rigorosa este teorema so necessrios alguns conceitos topolgicos basa a o tante alm do ambito desta breve panormica, pelo que nos contentaremos e a com um enunciado pouco preciso. Teorema 2.1 Se f (z) uma funao analtica em todos os pontos do interior e c e da fronteira de um contorno C fechado, semelhante ao da gura 2.3, ento a f (z) dz = 0.
C

(2.8)

A analiticidade de f (z) em todos os pontos interiores ao contorno impore tante: como prova o exemplo 2.4, basta que exista dentro do contorno C um unico ponto no qual a funao f (z) no seja anal c a tica para que o integral de f (z) ao longo de C deixe de ser nulo. A demonstraao do teorema de Cauchy pode fazer-se como se segue. Conc sideremos o contorno C da gura 2.3. Sejam Ri (i = 1, 2, . . . , N ) os percursos obtidos pela forma ilustrada na gura, isto , por diviso da area interior ao e a contorno por um conjunto de linhas horizontais e verticais. Alguns dos R i limitaro quadrados, mas outros, aqueles que intersectam o contorno C, dea limitam zonas que no so em geral quadrados, mas as quais chamaremos a a ` ainda, por abuso de linguagem, quadrados. Se convencionarmos que todos 31

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.10 O teorema de Cauchy

32

os percursos Ri esto orientados positivamente, ento a a


N

f (z) dz =
C i=1 Ri

f (z) dz.

(2.9)

Considere-se, por exemplo, a contribuiao que d para o integral o quadrado c a R assinalado na gura 2.3. Esta contribuiao equilibrada por outras devidas c e aos quadrados vizinhos, que a anulam. A decomposiao expressa pela equaao (2.9) permite que limitemos o c c nosso estudo aos integrais f (z) dz.
Ri

Tendo estabelecido esta primeira simplicaao provaremos que existe sempre c uma subdiviso da area interior limitada por C em quadrados, subdiviso a a essa que possui a seguinte propriedade: Propriedade 2.3 Seja > 0 um real qualquer, arbitrariamente pequeno. Pode subdividir-se a area interior limitada por C em quadrados Ri tais que cada Ri contm um ponto zi para o qual e f (z) f (zi ) f (zi ) < , z zi independentemente do ponto z que se tome dentro do quadrado Ri . Pode justicar-se esta armaao utilizando o seguinte argumento: se depois c de n subdivises sucessivas existirem em todos quadrados pontos z i com a o propriedade 2.3, o processo de subdiviso pode considerar-se terminado e o a resultado da n-sima subdiviso a subdiviso pretendida. Se isto no for e a e a a poss ento existir pelo menos um quadrado R que se pode subdividir vel a a indenidamente sem que se ache no interior das subdivises qualquer ponto o que satisfaa (2.10). Isto signica que existe pelo menos uma sucesso de c a quadrados contidos em R que no contm nenhum ponto que satisfaa (2.10). a e c Mas essa sucesso converge necessariamente para um ponto z0 pertencente a a ` area interior limitada pelo contorno C, ou ao prprio contorno C. Como a o funao f (z) , por hiptese, anal c e o tica em z0 , existe necessariamente um > 0 tal que f (z) f (z0 ) f (z0 ) < , z z0 numa vizinhana de z0 (isto , para qualquer z tal que |z z0 | < ). Isto c e contradiz o facto de no existir dentro de R nenhum ponto com a propriedade a 2.3, que ca assim demonstrada. 32 (2.10)

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.10 O teorema de Cauchy

33

A concluso da demonstraao do teorema de Cauchy no oferece agora a c a grandes diculdades. Pela propriedade 2.3, qualquer R i contm um ponto zi e para o qual |f (z) f (zi ) f (zi )(z zi )| < |z zi |, para qualquer z Ri . Isto signica que f (z) = f (zi ) + f (zi )(z zi ) + r(z), onde |r(z)| < |z zi |. Usando (2.11), vem f (z) dz =
Ri Ri

(2.11)

[f (zi ) + f (zi )(z zi ) + r(z)] dz [f (zi ) + f (zi )(z zi )] dz + r(z) dz.


Ri

=
Ri

(2.12)

Os exemplos 2.2 e 2.3 mostram que o integral ao longo de qualquer curva fechada da funao f (z) = a + bz nulo, quaisquer que sejam a, b . Logo, c e o primeiro integral em (2.12) nulo, pelo que e f (z) dz =
Ri Ri

r(z) dz.

O per metro do quadrado Ri dado por e L(Ri ) = 4 onde designa a medida do lado, se Ri no contiver nenhum ponto de C. No a caso de Ri conter pontos de C, temos a estimativa L(Ri ) 4 + ci onde ci designa o comprimento do arco de C que pertence a Ri (que nito e uma vez que assumimos que todos os contornos so recticveis). Por outro a a lado, |r(z)| |z zi | 2 . Logo, usando a majoraao expressa na propriedade 2.2, temos, para os quac drados interiores, 2 4 . f (z) dz
Ri

33

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.11 Duas consequncias simples do teorema de Cauchy e

34

enquanto que para quadrados que contm pontos de C se tem e f (z) dz 2 (4 + ci ).

Ri

Logo,
N

f (z) dz
C

=
i=1 Ri

f (z) dz 2 4 +
2 i

2 (4 + ci )
i

8 2

2
i

ci .

onde o primeiro somatrio se estende a todos os quadrados interiores, e o o segundo somatrio aos restantes quadrados. Estes dois somatrios so mao o a jorados por constantes (o comprimento do contorno C e a area interior que este limita so nitas), pelo que resulta daqui que a f (z) dz k ,

onde k uma constante. Mas o integral da esquerda independente de , e e e pode ser to pequeno quanto se queira. Logo a f (z) dz = 0,
C

como quer amos demonstrar.

2.11
2.11.1

Duas consequncias simples do teorema e de Cauchy


Primeira consequncia do teorema de Cauchy e

Uma consequncia directa do teorema de Cauchy que o valor do integral e e entre A e B de uma funao f (z) anal c tica em todos os pontos de uma regio a D que contenha os pontos A e B independente do percurso seguido de A e at B. e Para vericar esta armaao considerem-se duas curvas CAB e CAB oric entadas de A para B, como na gura 2.4. Seja CBA a curva semelhante a 34

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.11 Duas consequncias simples do teorema de Cauchy e

35 B

CAB

CAB A Figura 2.4: Contornos para aplicaao do teorema de Cauchy. c CAB , mas orientada no sentido oposto, isto , de B para A. A composiao e c das curvas CAB e CBA um contorno fechado C no interior de uma regio e a D onde f (z) anal e tica. Logo, pelo teorema de Cauchy, f (z) dz = 0.
C

Mas ento a f (z) dz =


C CAB

f (z) dz +
CBA

f (z) dz,

ter tambm valor zero, pelo que a e f (z) dz = f (z) dz,


CBA

CAB

ou, lembrando a propriedade 2.1, f (z) dz =


CAB CAB

f (z) dz,

que o resultado pretendido. e

2.11.2

Segunda consequncia do teorema de Cauchy e

Uma outra consequncia imediata do teorema de Cauchy o seguinte resule e tado. Considere-se um contorno fechado C, como o da gura 2.5, orientado no sentido positivo, e seja z0 um ponto no interior de C. Tomemos uma

35

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.11 Duas consequncias simples do teorema de Cauchy e

36

C z0 Cd

Figura 2.5: Contornos para outra aplicaao do teorema de Cauchy. c funao f (z), anal c tica sobre C e no seu interior, com excepao do ponto z 0 . c Ento, a f (z) dz =
C Cd

f (z) dz,

onde Cd um contorno circular, de raio to pequeno quanto se quiser, oriene a tado positivamente, centrado em z0 e contido no interior de C (ver gura 2.5). Seja Cd o contorno igual a Cd mas percorrido no sentido oposto, e sejam La e Lb dois contornos coincidentes mas percorridos em sentido contrrio e a unindo um ponto de C com outro de CD (na gura 2.5 La e Lb so dois a segmentos de recta). O contorno composto por C, Cd , La e Lb um contorno fechado, e a e funao f (z) anal c e tica dentro e sobre esse contorno. Logo, pelo teorema de Cauchy, f (z) dz +
C Cd

f (z) dz +
La

f (z) dz +
Lb

f (z) dz = 0.

(2.13)

Mas
Cd

f (z) dz = f (z) dz =

f (z) dz,
Cd

f (z) dz,
Lb

La

uma vez que tanto Cd e Cd como La e Lb s diferem na respectiva orientaao. o c Mas ento (2.13) reduz-se a a f (z) dz =
C Cd

f (z) dz,

36

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.12 A frmula integral de Cauchy o

37

que precisamente a nossa armaao inicial. e c poss E vel generalizar este resultado na seguinte direcao: se a funao c c f (z) for anal tica sobre C e no seu interior, com excepao dos pontos c z0 , z 1 , . . . , z n , ento a f (z) dz =
C i=0 Ci n

f (z) dz

(2.14)

onde os Ci so contornos circulares orientados no mesmo sentido que C, a centrados em cada um dos pontos zi , e com um raio sucientemente pequeno para conterem um unico dos zi . A demonstraao em tudo semelhante a que c e ` esboamos acima. c Este resultado ser utilizado para provar um importante resultado soa bre integraao de funoes complexas de varivel complexa: o teorema dos c c a res duos.

2.12

A frmula integral de Cauchy o

Uma outra consequncia do teorema de Cauchy a frmula integral de Caue e o chy, que se pode estabelecer do seguinte modo. Considere-se um contorno C fechado como o da gura 2.5, orientado no sentido positivo, e seja f (z) uma funao anal c tica sobre C e no seu interior. Seja z0 um ponto no interior de C. A funao c f (z) z z0 anal e tica em todos os pontos no interior de C com excepao de z 0 . Utic lizando o resultado da secao 2.11.2 Segunda consequncia do teorema de c e Cauchy, vem f (z) f (z) dz = dz, Cd z z 0 C z z0 onde Cd um contorno circular, de raio r to pequeno quanto se queira, e a orientado positivamente, e centrado em z0 (ver gura 2.5). Mas f (z) dz = z z0 =
Cd

Cd

Cd

f (z) f (z0 ) + f (z0 ) dz z z0 f (z) f (z0 ) dz + f (z0 ) z z0

Cd

dz . z z0

37

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.13 As derivadas das funoes anal c ticas

38

Invocando agora o exemplo 2.4 vemos que f (z) dz = z z0 f (z) f (z0 ) dz + f (z0 )2j. z z0

Cd

Cd

Dado qualquer > 0, a continuidade de f (z) torna poss que se escolha r vel de modo que |f (z) f (z0 )| < para qualquer z sobre Cd . Isto signica que f (z) dz f (z0 )2j z z0 =
Cd

f (z) f (z0 ) dz z z0

2r = 2 . r Como o integral da esquerda independente de , e to pequeno quanto e e a se queira, temos f (z) dz f (z0 )2j = 0, C z z0 ou seja, f (z) 1 dz, (2.15) f (z0 ) = 2j C z z0 que a frmula integral de Cauchy. e o O que h de notvel em (2.15) o facto de se estabelecer uma ligaao a a e c entre o valor que f (z) assume num ponto qualquer z0 do interior de C e os valores que f (z) assume sobre C. <

2.13

As derivadas das funoes anal c ticas

Considere-se um contorno fechado C e uma funao f (z) anal c tica sobre C e em todos os pontos do seu interior. A frmula integral de Cauchy permite o escrever 1 f (z) f (z0 ) = dz, 2j C z z0 f (z) 1 dz, f (z0 + h) = 2j C z z0 h para quaisquer z0 e z0 + h dentro de C. Ento, a 1 1 f (z0 + h) f (z0 ) 1 = f (z) h 2jh C z z0 h z z0 1 f (z) = dz, 2j C (z z0 )(z z0 h) 38 dz

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.13 As derivadas das funoes anal c ticas

39

o que signica que f (z0 ) = lim 1 h0 2j f (z) dz. (z z0 )(z z0 h) (2.16)

A diculdade que preciso vencer agora o clculo do limite deste integral. e e a Mostraremos que poss e vel fazer isso calculando o integral do limite (em geral, no sempre poss permutar as operaoes de clculo de um limite e a e vel c a integraao). Para justicar a legitimidade desta operaao no caso corrente, c c reparemos que f (z)dz (z z0 )(z z0 h) f (z)dz =h (z z0 )2 f (z)dz . (z z0 )2 (z z0 h)

Seja M (f ) o valor mximo que o mdulo de f (z) assume sobre C, e designea o mos por L(C) o comprimento total de C. Seja um minorante de |z z 0 |, quando z percorre C. Ento, se |h| < , a h
C

f (z)dz hM (f )L(C) , 2 (z z h) (z z0 ) ( |h|) 2 0 f (z)dz = (z z0 )(z z0 h) 1 2j f (z) dz. (z z0 )2

que tende efectivamente para zero quando h 0. Logo,


h0

lim

Substituindo em (2.16) chega-se a expresso ` a f (z0 ) = f (z) dz, (z z0 )2

que relaciona o valor da derivada de f (z) num ponto interior de C com os valores que f (z) assume sobre C. E poss repetir este processo outra vez, calculando agora o limite de vel f (z0 + h) f (z0 ) , h obtendo-se f (z0 ) = 2 2j f (z) dz, (z z0 )3

que prova a existncia da segunda derivada de f (z) e relaciona o seu valor e em z0 com os valores que f (z) assume sobre C. O processo pode ainda ser 39

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.14 Expanso em fracoes parciais a c

40

obtido para as derivadas de ordem superior, obtendo-se assim uma prova da sua existncia, e a frmula e o f (n) (z0 ) = n! 2j f (z) dz. (z z0 )n+1

Chegamos assim a um resultado notvel: a existncia de primeira derivada de a e f (z) sobre o contorno C e no seu interior, isto , a sua analiticidade, implica e a analiticidade da primeira derivada. Uma funao anal c tica numa regio do a plano complexo possui derivadas de todas as ordens nessa regio. a

2.14

Expanso em fracoes parciais a c

E frequentemente necessrio considerar a expanso em fracoes parciais de a a c uma dada fracao racional c P (z) f (z) = . Q(z) Esta secao ser dedicada ao estudo deste problema. O resultado ser-nos- c a a util nas secoes 11.5 Inverso da transformaao de Laplace e 12.8 Inverso c a c a da transformaao Z . c O mtodo utilizado elementar e poderia ser apresentado separadamente e e da teoria das funoes complexas de varivel complexa. Contudo, por razes c a o que se tornaro claras na secao seguinte, util proceder a este estudo neste a c e momento, antes de retomarmos o estudo das funoes anal c ticas com a srie e de Laurent e o teorema dos res duos. Comearemos com um exemplo simples, em que c f (z) = 1 . (z + 1)(z + 2)

E elementar vericar que f (z) se pode exprimir como f (z) = A B + , z+1 z+2 (2.17)

e existem diversas maneiras de calcular os valores das constantes A e B. Uma dessas maneiras passa por reduzir as duas fracoes ao mesmo denominador, c obtendo-se em seguida, por comparaao dos numeradores, um conjunto de c duas equaoes com base nas quais se pode calcular A e B. c Pode generalizar-se este procedimento, mas prefer e vel adoptar uma tcnica mais simples. Multiplicando (2.17) por z + 1 obtm-se e e A+B 1 z+1 = (z + 1)f (z) = . z+2 z+2 40

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.14 Expanso em fracoes parciais a c

41

Tomando z = 1 consegue-se anular o segundo termo do membro da esquerda, o que conduz a A = [(z + 1)f (z)]z=1 = 1 z+2 = 1.
z=1

Para obter B procede-se de forma semelhante, isto , comea-se por multie c plicar (2.17) por z + 2, o que conduz a A z+2 1 + B = (z + 2)f (z) = . z+1 z+1

Em seguida toma-se z = 2, obtendo-se B = [(z + 2)f (z)]z=2 = 1 z+1


z=2

= 1.

Este procedimento obviamente aplicvel quando existem mais de dois plos, e a o mas no quando existem plos mltiplos. Consideremos por isso esse caso. a o u Seja, por exemplo, 1 . f (z) = (z + 1)2 (z + 2) E elementar vericar que f (z) se pode exprimir como f (z) = A0 A1 B + + . 2 (z + 1) z+1 z+2 (2.18)

Repare-se na convenao que seguimos: a constante A0 corresponde a fracao c ` c parcial cujo denominador tem ordem mais elevada. O clculo de B pode efectuar-se como no caso anterior, uma vez que o a plo em z = 2 simples: o e B = [(z + 2)f (z)]z=2 = 1 (z + 1)2 = 1.
z=2

A determinaao de A0 tambm no oferece diculdades. Multiplicando os c e a dois membros de (2.18) por (z + 1)2 chega-se a A0 + A1 (z + 1) + B 1 (z + 1)2 = (z + 1)2 f (z) = . z+2 z+2 (2.19)

Para obter A0 basta tomar z = 1, obtendo-se A0 = (z + 1)2 f (z)


z=1

1 z+2

= 1.
z=1

41

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.15 A srie de Laurent e

42

Para obter A1 pode calcular-se a derivada em ordem a z de (2.19), A1 + B d (z + 1)2 1 d d = . (z + 1)2 f (z) = dz z + 2 dz dz z + 2 1 d dz z + 2

E agora fcil ver que a d (z + 1)2 f (z) A1 = dz

=
z=1

z=1

= 1.

A soluao para o caso geral obtm-se agora facilmente. Por cada plo de c e o f (z), de ordem p e localizado em z = a, devem-se incluir na expanso as a fracoes parciais seguintes: c A1 Ap2 Ap1 A0 + + + + . p p1 2 (z + a) (z + a) (z + a) z+a Os coecientes Ai , com 0 i p 1, sero dados por a A0 = [(z + a)p f (z)]z=a , d A1 = {(z + a)p f (z)} , dz z=a . . . . . . k 1 d Ak = {(z + a)p f (z)} , k! dz k z=a . . . . . . dp1 1 {(z + a)p f (z)} Ap1 = (p 1)! dz p1

.
z=a

V-se assim que o coeciente Ak presente no termo e Ak (z + a)pk

se obtm formando (z + a)p f (z), isto , removendo o factor (z + a)p do e e denominador de f (z); em seguida calcula-se a derivada de ordem k e efectuase a substituiao z = a; nalmente, divide-se o resultado pelo factorial de c k.

2.15

A srie de Laurent e

A expanso em srie de Laurent de uma funao f (z) em torno de um ponto a e c a uma expanso em srie de potncias da forma e a e e f (z) =
k=0

ak (z a) + 42

bk

k=1

1 . (z a)k

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.15 A srie de Laurent e

43 Cf

z0 Cd a

Figura 2.6: Regio do plano complexo utilizada na demonstraao do teorema a c de Laurent. O teorema de Laurent, cujo enunciado se segue, torna precisas as condioes c sob as quais uma tal expanso poss a e vel. Teorema 2.2 Considere-se uma funao f (z) analtica na regio R delimic a tada por duas circunferncias de raios desiguais, centradas no mesmo ponto e a. Sejam Cd e Cf os contornos fechados formados pelas circunferncias intee rior e exterior, respectivamente, orientadas no sentido positivo (gura 2.6). Ento, para qualquer ponto z0 do interior de R a f (z0 ) = onde ak = bk =
k=0

ak (z0 a)k + 1 2j

k=1

bk

1 , (z0 a)k

(2.20)

Cf

f (z) dz (z a)k+1

1 2j

Cd

f (z)(z a)k1 dz.

Seja C o contorno fechado composto pela circunferncia exterior orientada e positivamente, pela circunferncia interior, orientada negativamente, e por e dois percursos rectil neos A e B que unem as duas circunferncias, um deles e orientado no sentido de Cf para Cd e outro no sentido oposto. Como a funao f (z) anal c e tica sobre C e em todos os pontos do seu interior temos,

43

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.15 A srie de Laurent e

44

pela frmula integral de Cauchy, o f (z0 ) =


C

f (z) dz. z z0 f (z) dz. z z0

Mas
C

f (z) dz = z z0

Cf

f (z) dz z z0

Cd

uma vez que A e B diferem apenas na orientaao, e Cd se refere a circunc ` ferncia interior orientada positivamente. Destas duas igualdades resulta que e f (z0 ) =
Cf

f (z) dz z z0

Cd

f (z) dz. z z0

(2.21)

Os passos seguintes da demonstraao consistem em desenvolver a funao c c 1/(z z0 ) em srie de potncias. Naturalmente, e como o primeiro dos e e integrais (2.21) calculado sobre Cf , a zona de convergncia da primeira srie e e e de potncias dever incluir Cf . Pelo mesmo motivo a zona de convergncia e a e da segunda srie de potncias dever incluir Cd . Para determinar a primeira e e a srie de potncias consideremos e e r= z0 a . za

O complexo r tem mdulo inferior a unidade qualquer que seja o ponto z 0 o ` do interior de R e o ponto z de Cf . Isto signica que a srie geomtrica e e
k=0

rk

converge (uniformemente) para za 1 = . 1r z z0 Logo,


k=0

z0 a za

za , z z0

o que conduz, aps diviso por z a, a o a 1 (z0 a)k 1 z0 a + + + , = + z z0 z a (z a)2 (z a)k+1 44

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.15 A srie de Laurent e

45

que a srie de potncias procurada. Como a convergncia uniforme em e e e e e Cf a srie pode ser integrada termo a termo, o que, aps multiplicaao por e o c 1/(2j), conduz a expresso ` a 1 2j f (z) dz = z z0 1 2j
Cf

Cf

1 2j

Cf

f (z) dz za (z0 a) +

+ 1 2j f (z) dz (z a)3 (z0 a)2 +

f (z) dz (z a)2

Cf

Mais concisamente, 1 2j f (z) dz = z z0 1 2j


k=0

Cf

ak (z0 a)k ,

sendo os coecientes ak dados por ak = f (z) dz. (z a)k+1

Cf

Falta-nos ainda a segunda srie de potncias para 1/(z z0 ), cuja zona de e e convergncia deve agora incluir Cd . Para a obter tomamos e r = za . z0 a

Agora, o complexo r tem mdulo inferior a unidade qualquer que seja o o ` ponto z0 do interior de R e o ponto z de Cd . Logo a srie geomtrica e e
k=0

rk

converge (uniformemente) para z0 a 1 = . 1r z0 z Temos por isso


k=0

za z0 a

z0 a , z0 z

o que conduz, aps diviso por z0 a, a o a (z a)k 1 za 1 + + + , = + z z0 z0 a (z0 a)2 (z0 a)k+1 45

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.16 O teorema dos res duos

46

que a srie de potncias procurada. Como anteriormente, a srie pode ser e e e e multiplicada por 1/(2j) e integrada em Cd termo a termo, donde resulta 1 2j 1 f (z) 1 f (z) dz dz = + 2j Cd z0 a Cd z z 0 1 1 f (z)(z a) dz + + 2j Cd (z0 a)2 1 1 + f (z)(z a)2 dz + 2j Cd (z0 a)3
k=1

Isto na verdade equivalente a e 1 2j f (z) dz = z z0 bk , (z0 a)k

Cd

sendo os coecientes bk dados por bk = 1 2j f (z)(z a)k1 dz.

Cd

Os dois desenvolvimentos em srie assim obtidos justicam o teorema. e Para terminar, note-se que a expanso em srie de Laurent (2.20) pode a e tambm exprimir-se sob a forma e
+

f (z) =
k=

ck (z a)k ,

onde

2.16

O teorema dos res duos

1 2j ck = 1 2j

Cf

f (z)(z a)k1 dz, se k 0, f (z)(z a)k1 dz, se k < 0.

Cd

O coeciente b1 da expanso de uma funao f (z) em srie de Laurent em a c e torno de a, 1 k , f (z) = ak (z a) + bk (z a)k k=0 k=1

46

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.16 O teorema dos res duos

47

desempenha um papel importante em certos problemas, e chamado o e res duo de f (z) em a. Sabemos, pelo teorema de Laurent (teorema 2.2), que 1 f (z) dz, b1 = 2j Cd onde Cd um contorno circular orientado positivamente e centrado em a. e Em muitos casos importantes na prtica pode determinar-se o valor de b 1 a sem efectuar a integraao. Por exemplo, se a for um plo simples de f (z), c o ento a b1 = lim f (z)(z a).
za

O teorema dos res duos uma aplicaao directa mas importante dos resultae c dos anteriormente obtidos e destas observaoes. c Teorema 2.3 Seja C um contorno fechado, e f (z) uma funao analtica c sobre esse contorno e em todos os pontos do seu interior excepto z1 , z 2 , . . . , z n . Sejam R1 , R2 , . . . , Rn os resduos de f (z) nos pontos z1 , z2 , . . . , zn , respecti vamente. Ento, a n 1 f (z) dz = Ri . 2j C i=1 Designemos por C1 , C2 , . . . , Cn contornos circulares centrados nos pontos z1 , z 2 , . . . , z n , respectivamente, orientados positivamente, e contendo apenas um dos z i . Vimos na secao 2.11.2 Segunda consequncia do teorema de Cauchy, c e equaao (2.14), que c
n

f (z) dz =
C i=1 Ci

f (z) dz.

Mas Ri = o que implica o resultado.

1 2j

f (z) dz,
Ci

47

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 O ponto de vista de Weierstrass

48

2.17

O ponto de vista de Weierstrass

A abordagem que seguimos at este ponto clssica, devendo-se em grande e e a parte as ideias de Cauchy e de Riemann. Existe um outro ponto de vista ` clssico acerca da teoria das funoes complexas de varivel complexa, que foi a c a extensivamente explorado por Weierstrass, em que se d nfase ao conceito de ae srie de potncias. Nesta secao damos uma ideia desta segunda abordagem. e e c Comeamos por denir uma algebra de polinmios com respeito a uma c o varivel z e com coecientes complexos, a P (z) =
k

ak z k ,

onde se assume que o nmero de coecientes ak no nulos nito. Subentendemu a e se as operaoes de multiplicaao por um complexo w c c wP (z) =
k

ak wz k

e de adiao c ak z k +
k k

bk z k =
k

(ak + bk )z k

que nos permitem falar de um espao vectorial formados por estes polinmios. c o A operaao de multiplicaao c c ak z k
k

bn z n
n

dene-se da maneira natural (respeitando z a+b = z a z b , e sendo associativa e comutativa). O passo seguinte denir srie de potncias formal e e e P (z) =
k

ak z k ,

podendo agora o nmero de coecientes ak diferentes de zero ser innito. u Dene-se soma de duas sries de potncias formais e multiplicaao de uma e e c srie formal por um complexo por analogia com o que se passa no caso polie nomial. Tambm neste caso camos na presena de um espao vectorial (o e c c elemento nulo a srie de coecientes ak = 0, que designaremos simplesmente e e por 0).

48

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 O ponto de vista de Weierstrass

49

O produto de duas sries de potncias formais dene-se da mesma forma e e que para o caso polinomial, e mantm-se comutativo e associativo. Note-se e que o coeciente cm do produto de duas sries e ak z k
k

bn z n
n

dado por e cm =
k+n=m

a k bn ,

e que esta soma nita. Em termos de estrutura algbrica, a passagem de e e polinmios para sries de potncia formais no levanta quaisquer problemas o e e a adicionais. A derivada S (z) de uma srie de potncias formal S(z) e e S(z) =
k0

ak z k

denida pela expresso e a S (z) =


k0

kak z k1 .

As derivadas de ordem superior S (n) denem-se por induao: c S (n) (z) = [S (n1) (z)] . E chegada a altura de introduzir na teoria questes de convergncia, abano e donando o dom nio puramente formal. O que signica dizer que uma srie e de potncias convergente? e e Pode substituir-se z por um nmero complexo qualquer z0 e calcular S(z0 ) u atravs da expresso que dene a srie se e a e S(z0 ) =
k0 k a k z0

for convergente. Limitar-nos-emos ao caso em que a srie absolutamente e e convergente, e deniremos raio de convergncia da srie como o menor dos e e majorantes do conjunto de reais r tais que |ak |rk < . 49

k0

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 Notas

50

Note-se que (i) existe sempre pelo menos um valor de r que satisfaz esta condiao (mais precisamente, r = 0) (ii) o raio de convergncia pode ser c e zero, ou qualquer nmero positivo, ou mesmo innito (caso em que a srie u e converge absolutamente para qualquer z, por maior que seja o seu valor absoluto |z|). O ponto de partida da abordagem de Weierstrass a teoria das ` funoes complexas de varivel complexa precisamente o conceito de srie c a e e de potncias convergente. e

Notas
Existem numerosos livros sobre anlise complexa e aplicaoes, de entre a c os quais citamos apenas o de Churchill e Brown (1990), que relativae mente acess vel, e o de Ahlfors (1979), de n mais avanado. Para vel c mais informaao ver o cap c tulo 17.7 Bibliograa comentada. Os fundadores da teoria das funoes complexas de varivel complexa c a foram Augustin Cauchy (17891857) e Bernhard Riemann (18261866). A maioria dos livros segue a abordagem de Cauchy e Riemann: parte-se do conceito de funao anal c tica (diferencivel), e prossegue-se com a tea oria do integral de tais funoes. O livro de Cartan (1973) segue a aborc dagem de Weierstrass, em que se parte do conceito de srie de potncias e e convergente (ver secao 2.17 O ponto de vista de Weierstrass). c O teorema 2.1 deve-se a Cauchy, que provou uma verso em que se a exige, para l da analiticidade de f (z), a continuidade de f (z). a Foi Goursat quem mostrou pela primeira vez que a condiao de contic nuidade no era necessria. Alguns autores chamam ao teorema 2.1 o a a teorema de Cauchy-Goursat. O caminho seguido para provar a analiticidade da derivada de uma funao anal c tica um pouco surpreendente, uma vez que depende toe talmente da teoria da integraao complexa. No se conhecem demonsc a traoes alternativas simples que no recorram a teoria da integraao. c a ` c Somente em 1959 que R. L. Plunkett conseguiu estabelecer a contie nuidade da derivada de uma funao anal c tica sem utilizar a teoria da integraao. Em 1961, E. H. Connell e P. Porcelli, tambm sem recorrer c e a teoria da integraao complexa, provaram a analiticidade da derivada ` c de uma funao anal c tica. Os dois resultados dependem de um teorema de natureza topolgica de G. T. Whyburn. o 50

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 Problemas

51

Problemas
2.1 Verique que as operaoes de adiao e multiplicaao de nmeros comc c c u plexos, tais como denidas, so associativas, comutativas, e distributia vas. Diga quais so os respectivos elementos neutros. a

2.2 Prove que se a , b

e ab = 0, ento a = 0 ou b = 0. a

2.3 Prove que o conjunto das matrizes antissimtricas 2 2 e x y y x com as operaoes de adiao e multiplicaao matricial habituais, um c c c e corpo isomorfo ao corpo complexo. 2.4 Determine todas as ra de zes ndice n de um complexo z. 2.5 Determine todas as ra zes de ndice n da unidade. Faa um grco c a mostrando as suas posioes no plano complexo. c 2.6 Deduza uma expresso para cos4 em funao de cos 2 e cos 4. a c 2.7 Verique a validade das equaoes de Cauchy-Riemann para f (z) = z 2 . c 2.8 Prove que a soma e o produto de funoes anal c ticas so ainda funoes a c anal ticas. 2.9 Prove que qualquer polinmio uma funao inteira. o e c 2.10 Dada uma funao u(x, y) com segundas derivadas parciais cont c nuas e harmnica numa regio A , prove que ca determinada a menos o a de uma constante aditiva uma outra funao v(x, y), tal que f (x, y) = c u(x, y) + jv(x, y) uma funao anal e c tica em A. 2.11 Determine a funao anal c tica em todo o plano complexo cuja parte real 2 2 u(x, y) = x y . e 2.12 Seja f (z) uma funao anal c tica tal que f (z) = 0 em todo o plano complexo. Prove que f (z) transforma quaisquer dois arcos A e B que se cruzam num ponto z0 segundo um certo angulo, em dois outros arcos A e B , que fazem entre si o mesmo angulo.

51

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 Problemas
1

52

-1 -1 0 1

Figura 2.7: Conjuntos de pontos para transformaao conforme. c 2.13 Seja f (z) = u(z) + jv(z) uma funao anal c tica em todo o plano complexo. Prove que as curvas u(x, y) = a v(x, y) = b

so ortogonais entre si se f (z) = 0 para qualquer z a se diz que f (z) dene uma transformaao conforme). c

(caso em que

2.14 Analise a transformaao conforme denida por z = esT , onde T uma c e constante real positiva, e determine a imagem dos seguintes conjuntos de pontos: 1. O semiplano complexo Re (s) > 0. 2. O semiplano complexo Re (s) < 0. 3. O eixo imaginrio Re (s) = 0. a Esta transformaao, que designaremos por transformaao exponencial , c c surge no contexto da anlise de sistemas lineares digitais (cap a tulo 12 A transformaao Z ), e tem importantes aplicaoes na s c c ntese de ltros digitais (secao 15.3.2 Transformaao exponencial). c c 2.15 As curvas representadas na gura 2.8 so a imagem pela transformaao a c exponencial da grelha da gura 2.7. Explique a forma das curvas. 2.16 Analise a transformaao conforme denida por c z= 52 1+ 1
sT 2 sT 2

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 Problemas
1

53

-1 0 1

Figura 2.8: Imagem pela transformaao exponencial da grelha da gura 2.7. c


1

-1 0 1

Figura 2.9: Imagem pela transformaao bilinear da grelha da gura 2.7. c onde T uma constante real positiva, e determine a imagem dos see guintes conjuntos de pontos: 1. O semiplano complexo Re (s) > 0. 2. O semiplano complexo Re (s) < 0. 3. O eixo imaginrio Re (s) = 0. a Esta transformaao conhecida como transformaao bilinear e tem c e c aplicaoes na s c ntese de ltros digitais (cap tulo 15 Introduao a s c ` ntese de ltros digitais, em especial secao 15.3.3 Transformaao bilinear). c c 2.17 As curvas representadas na gura 2.9 so a imagem pela transformaao a c bilinear da grelha da gura 2.7. Explique a forma das curvas e a semelhana com a gura 2.8. c 2.18 Considere a soma parcial dos n primeiros termos de uma progresso a 53

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

2.17 Problemas

54

geomtrica de razo z, e a Sn (z) = 1 + z + z 2 + + z n1 . Prove que Sn (z) = se z = 1, e que Sn (1) = n. 1 zn , 1z

2.19 Calcule o raio de convergncia das sries e e


k=0

zk , k!

k=0

k! z k ,

k=0

zk.

2.20 Demonstre que 1 + z + z2 + z3 + = se |z| < 1. 2.21 Demonstre que 1 + 2z + 3z 2 + 4z 3 + = se |z| < 1. 2.22 Demonstre que

1 , 1z

1 (1 z)2

(1 + z)(1 + z 2 )(1 + z 4 )(1 + z 8 ) = se |z| < 1. 2.23 Desenvolva em srie de Laurent a funao e c 1 , (z + 1)(z + 2)

1 . 1z

para (a) |z| < 1 (b) 1 < |z| < 2 (c) |z| > 2 (d) |z + 1| < 1. 2.24 Desenvolva em srie de Laurent a funao e c e2z (z 1)3 em torno de z = 1. 54

Paulo J. S. G. Ferreira Matemtica Aplicada a 2002219 22:50

Referncias bibliogrcas e a

55

2.25 Desenvolva em srie de Laurent a funao e c (z + 3) sin em torno de z = 2. 2.26 Prove que
0

1 z+2

dx = 6 1+x 3

usando o teorema dos res duos. 2.27 Prove que


0

cos ax dx = a 1 + x2 2e

usando o teorema dos res duos. 2.28 Prove que


0

dx 2 3 = 1 + x3 9

usando o teorema dos res duos. 2.29 Prove que d 2 = 1 + a cos 1 a2 0 usando o teorema dos res duos.
2

Referncias bibliogrcas e a
L. V. Ahlfors. Complex Analysis. McGraw-Hill International Editions, New York, 1979. H. Cartan. Elementary Theory of Analytic Functions of One or Several Complex Variables. Addison-Wesley, Reading, Massachusetts, segunda ediao, c 1973. Reimpresso: Dover Publications, 1995. R. V. Churchill e J. W. Brown. Complex Variables and Applications. McGraw-Hill International Editions, New York, 1990.

55