Funções de Uma Variável Complexa

Captulo 1
Funes de Uma Varivel Complexa

Muitas vezes, pergunta-se o porqu da necessidade de se estudar variveis complexas quando na fsica estamos interessados apenas nas solues reais. Poder-se-ia esperar que um estudo de funes reais de variveis reais seria suciente para se conhecer as solues sicamente relevantes. A resposta que em muitas situaes desejavel estender nosso estudo a valores complexos das variveis e das solues por razes de completicidade e convenincia. Por exemplo, o conjunto dos nmeros reais no forma uma base suciente para a representao das razes de equaes polinomiais ou algbricas. Alm disso, o conhecimento do comportamento de uma funo complexa f (z), para todos os valores complexos de z, nos fornece uma viso mais completa de suas principais propriedades (mesmo suas propriedades para z real), do que o conhecimento de seu comportamento para somente valores reais de z. A localizao, no plano complexo, dos zeros e dos innitos de f (isto , a posio das razes de f (z) = 0 e de 1/f (z) = 0) nos fornece informaes sobre o comportamento de f para todos os valores de z. Adicionalmente, uma integral de f (z) ao longo de valores reais de z pode ser modicada em uma integral ao longo de uma trajetria conveniente no plano complexo, de forma a simplicar consideravelmente o seu clculo. Integrais no plano complexo possuem uma ampla variedade de aplicaes teis na fsica e na matemtica. Dentre estas, pode-se destacar: Clculo de integrais denidas. Inverso de sries de potncias. Clculo de produtos innitos. Obteno de solues de equaes diferenciais para grandes valores da varivel (solues assintticas). Investigao da estabilidade de sistemas potencialmente oscilatrios. Inverso de transformadas integrais. Algumas destas propriedades sero tratadas ao longo deste captulo. Em se tratando de solues de equaes da fsica-matemtica, uma soluo complexa deve ser tratada como uma funo ou nmero complexos at o momento em que se quer compar-la com um valor medido, fsico. Neste momento, devemos associar a parte real e/ou imaginria ou outra quantidade real derivada do nmero complexo (tal como o mdulo) com parmetros fsicos reais. Assim, mencionando somente dois exemplos, o ndice de refrao real de uma onda eletromagntica propagando-se em um meio ativo torna-se uma quantidade complexa quando a absoro da energia transportada pela onda includa. A energia real associada com um nvel de energia atmico ou nuclear torna-se complexa quando o tempo de vida nito do nvel de energia considerado. Mas a mais importante razo para se estudar funes complexas a compreenso que se pode obter a respeito das propriedades gerais das funes. Por exemplo, as singularidades da funo podem estar relacionadas com singularidades fsicas, tais como as causadas por fontes, cargas eltricas pontuais, etc. possvel, a partir do conhecimento das singularidades de uma funo complexa, especicar-se a funo completamente. Estes sero alguns dos tpicos abordados neste captulo.
1.1
Nmeros e variveis complexos
O sistema numrico em uso atualmente o resultado de um desenvolvimento gradual na matemtica que se iniciou na Idade Antiga. Os nmeros naturais (inteiros positivos) {0, 1, 2, . . . } foram utilizados 5
1.1. Nmeros e variveis complexos
inicialmente para a contagem. O conjunto dos nmeros naturais representado pelo smbolo N e diz-se que um dado nmero natural n pertence a N (n N). Os inteiros negativos e o conceito do zero foram ento introduzidos para permitir solues de equaes tais como x + 3 = 2. Cria-se ento o conjunto dos nmeros inteiros {. . . , 2, 1, 0, 1, 2, . . . }, representado pelo smbolo Z. Observa-se aqui que o conjunto N um sub-conjunto de Z. Diz-se ento que N est contido em Z (N Z), ou que Z contm N (Z N). Para permitir a soluo de equaes tais como bx = a, para todos os inteiros a e b (com b = 0), os nmeros racionais (x = a/b) foram introduzidos. Representa-se o conjunto de todos os nmeros racionais por Q = {x | x = p/q, com (p, q) Z e q = 0}. Nota-se aqui que Q contm Z, consistindo em aqueles x Q | q = 1. Posteriormente, os nmeros irracionais foram introduzidos quando descobriu-se que nmeros tais como as solues da equao x2 2 = 0 = x = 2 = 1.41423 . . . ou a razo entre o permetro de uma circunferncia de raio unitrio e o seu dimetro ( = 3.14159265359 . . . ) no podem ser expressos por nmeros racionais. O conjunto dos nmeros irracionais representado pelo smbolo Q . Nota-se aqui que Q no contm nem est contido em Q , sendo ambos conjuntos de nmeros completamente distintos. A reunio, ou a unio, dos nmeros racionais com os irracionais formam o conjunto dos nmeros reais, representado pelo smbolo R (R = Q Q ). Disciplinas usuais de clculo apresentam seus teoremas e resultados considerando somente nmeros pertencentes ao conjunto R. Contudo, este conjunto ainda est incompleto para aplicaes em lgebra e para a anlise matemtica. Os nmeros complexos foram descobertos na Idade Mdia, ao se pesquisar as razes de certas equaes quadrticas, tais como z 2 + 1 = 0 = z = 1. bvio, pelo nome dado, que eles foram considerados de maneira suspeita. Leonhard Paul Euler (17071783), em 1777, introduziu o smbolo i = 1. Carl Friedrich Gauss (1777-1855), na sua tese de doutorado em 1799, forneceu aos nmeros complexos a agora familiar expresso algbrica z = x + iy, bem como a sua representao geomtrica (vetorial) e, com isso, ajudou a desvendar parte de seu mistrio. Neste sculo, a tendncia tem sido denir os nmeros complexos como smbolos abstratos sujeitos a certas regras formais de manipulao. Como o nmero 1 no possui representao possvel dentro do conjunto de nmeros reais, chamou-se este nmero de imaginrio puro e atribuiu-se a ele smbolo i = 1. Alm disso, deniu-se um conjunto mais amplo de nmeros, denominado conjunto dos nmeros complexos C R, o qual contm todos os nmeros complexos, tendo o conjunto dos nmeros reais como um sub-conjunto. Um nmero complexo nada mais que um par ordenado de dois nmeros reais x e y. Assim, o nmero complexo z pode ser representado de, pelo menos, duas maneiras: z = (x, y) = x + iy, sendo a ltima representao a preferida neste texto. Deve-se notar que o ordenamento signicante; assim, a + ib = b + ia. Uma propriedade imediata do nmero i pode ser deduzida observando-se que i2 = i i = 1, i3 = i2 i = i, i4 = i2 i2 = 1, i5 = i i4 = i, . . . . Da mesma forma, 1 i = = i i ii 1 i2 = 2 = 1 i 1 i3 = = i i i4 = 1 i1 = ... resultando i2n = (1)n i
(2n+1)
...,
(1.1a)
n
= (1) i, para n = 0, 1, 2, 3, . . . .
(1.1b)
Autor: Rudi Gaelzer IFM/UFPel
Incio: Abril de 2010
Impresso: 16 de agosto de 2011
Captulo 1. Funes de Uma Varivel Complexa
Figura 1.1: Plano complexo ou diagrama de Argand.
1.1.1
Representaes vetorial e polar
Em muitas situaes, conveniente empregar-se uma representao grca da varivel complexa. Traandose x a parte real de z como a abcissa e y a parte imaginria de z como a ordenada, obtm-se o plano complexo, ou plano de Argand, ilustrado na gura 1.1. Em lgebra linear, frequentemente utiliza-se o conceito de um vetor posio r como membro do espao vetorial R2 . Assim, pode-se representar o vetor r fazendo-se uso da base cannica {, }: r = x + y, sendo x a componente de r na direo denida por e y a componente de r ao longo de . Da mesma forma, pode-se interpretar o nmero complexo z = x + iy, de acordo com a representao grca da gura 1.1, como um vetor (ou fasor), sendo x a componente ao longo do eixo real e y a componente ao longo do eixo imaginrio. Assim, tal quantidade satisfaz as regras usuais de adio de vetores e de multiplicao por escalar. Inspecionando a gura 1.1, relaes simples de trigonometria mostram que x = r cos y = r sen , sendo r R (0 r < ) denominado mdulo ou magnitude de z e argumento ou fase de z. Portanto, z = r (cos + i sen ) , onde r = x2 + y 2 = tan1 (y/x) . (1.2b) (1.2c)
R (0 < 2)1
chamado de (1.2a)
1.1.2
Frmula de Euler
Uma representao equivalente representao algbrica de z dada por (1.2) a chamada representao polar: z = rei . (1.3) Demonstrao. A partir das seguintes sries de McLaurin:
sen x =
n=0
(1)n (1)n
n=0
x2n+1 (2n + 1)! x2n (2n)!
cos x =
1 Ver
uma denio mais geral para o intervalo de variao de a seguir.
1.2. lgebra de nmeros complexos ex = xn n! n=0
e das potncias (1.1a,b), obtemos ei = =

n=0
(i)n (i)2n (i)2n+1 = + n! (2n)! (2n + 1)! n=0 n=0 n=0
(1)n
2n+1 2n +i , (1)n (2n)! (2n + 1)! n=0
ou seja, ei = cos + i sen . Esta a conhecida Frmula de Euler.
1.2
lgebra de nmeros complexos
Parte real de z: a parte real de z o nmero x R. Esta operao representada por Re z = x.
Sendo z = x + iy C um nmero complexo qualquer, as seguintes operaes e denies se aplicam:
Parte imaginria de z: a parte imaginria de z o nmero y R. Esta operao representada por Im z = y. Complexo conjugado de z: o complexo conjugado de z, representado por z ou z , tal que z denido por z = x iy. Na gura 1.1, pode-se observar a representao vetorial de z . Mdulo de z: o nmero |z| R tal que |z| = |x + iy| = x2 + y 2 = z.z .
C,
As seguintes operaes algbricas esto denidas para dois nmeros z1 = a + ib = r1 ei1 e z2 = c + id = r2 e quaisquer, tais que {z1 , z2 } C. Os nmeros {r1 , r2 } R so, respectivamente, os mdulos de z1 e z2 e {1 , 2 } R so os respectivos argumentos.
i2
Fase ou argumento de z: nmero R tal que 0
6<
+ 2, dado por y . x
arg(z) = tan1
Usualmente, toma-se 0 = 0, mas outros textos podem usar, por exemplo,
6 < .
Adio: z1 + z2 = (a + ib) + (c + id) = (a + c) + (b + d)i. Esta operao est representada na gura 1.2(a). Subtrao: z1 z2 = (a + ib) (c + id) = (a c) + (b d)i.
Conjugao complexa da adio: (z1 + z2 ) = z1 + z2 .
Multiplicao por real: Dado um h R, h.z1 = h(a + ib) = ha + ihb. Multiplicao de complexos: z1 .z2 = (a + ib)(c + id) = (ac bd) + (ad + bc)i, ou, em termos da forma polar, z1 .z2 = r1 r2 ei(1 +2 ) = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )] . Esta operao est representada na gura 1.2(b).
Autor: Rudi Gaelzer IFM/UFPel Incio: Abril de 2010 Impresso: 16 de agosto de 2011
(1.4)

Im b+d d z2
z
1 +z 2
9
(b)
(a)
Im
z1 .z
z2
b z1 c a a+c Re 1
1+2 z1
Re
Figura 1.2: (a) Representao da operao z1 + z2 . (b) Representao da operao z1 .z2 .
Diviso de complexos:
z z1 .z2 z1 = z1 2 = 2 , ou z2 z2 .z2 |z2 | z1 a + ib (a + ib)(c id) ac + bd ad bc = = = 2 i 2 . 2 z2 c + id (c + id)(c id) c +d c + d2
Ou, em termos da forma polar, z1 r1 r1 = ei(1 2 ) = [cos (1 2 ) + i sen (1 2 )] . z2 r2 r2

Conjugao complexa do produto: (z1 .z2 ) = z1 .z2 .
Outras operaes algbricas, como potenciao e radiciao, sero vistas nas sees seguintes. O valor absoluto de z ainda possui as seguintes propriedades. Sendo {z1 , z2 , . . . , zn } nmeros complexos, ento 1. |z1 z2 . . . zn | = |z1 | |z2 | . . . |z1 |. 2. z1 |z1 | = , desde que z2 = 0. z2 |z2 |
3. |z1 + z2 + + zn | 4. |z1 z2 |
1
> ||z | |z ||.

2
6 |z | + |z | + + |z |.
1 2 n
Nmeros complexos z = rei com r = 1 possuem |z| = 1 e so denominados unimodulares. Pode-se imaginar estes nmeros situados ao longo da circunferncia de raio unitrio sobre o plano complexo. Pontos especiais nesta circunferncia so: = 0. z = ei0 = 1. = /2. z = ei/2 = i. = . z = ei = 1. = 3/2 ou = /2. z = ei3/2 = ei/2 = i.
1.2.1
Frmula de Moivre
Sejam z1 = r1 (cos 1 + i sen1 ) = r1 ei1 e z2 = r2 (cos 2 + i sen2 ) = r2 ei2 dois nmeros complexos. Ento o produto de ambos j foi calculado em (1.4): z1 z2 = r1 r2 ei(1 +2 ) = r1 r2 [cos (1 + 2 ) + i sen (1 + 2 )] .
10
1.2. lgebra de nmeros complexos
Generalizando agora este resultado para n nmeros complexos, {z1 , z2 , . . . , zn }, obtm-se z1 z2 . . . zn = r1 r2 . . . rn ei(1 +2 ++n ) = r1 r2 . . . rn [cos (1 + 2 + + n ) + i sen (1 + 2 + + n )] . Agora, se z1 = z2 = = zn = z, onde se escreve z = r (cos + i sen). Resulta ento, z n = rn (cos + i sen) = rn [cos (n) + i sen (n)] ,
n
(1.5)
a qual a frmula para a nsima potncia (n > 0) de z. Cancelando os termos rn em ambos os lados de (1.5), resulta a Frmula de Moivre: (cos + i sen) = cos (n) + i sen (n) .
n
(1.6)
1.2.2
Razes de nmeros complexos
A Frmula de Moivre (1.6) permite que se obtenha uma expresso para as razes de um nmero complexo. Para tanto, considera-se a seguinte equao polinomial: z n w = 0, (1.7)
onde w C. Buscar a soluo de (1.7) equivalente a buscar a raiz n de w. Esta soluo poderia ser escrita simplesmente como z = w1/n , mas esta forma d a entender que existe somente uma soluo de (1.7), o que no verdade. O nmero de solues (ou razes) de um polinmio de grau n, como a funo no lado esquerdo de (1.7), bem determinado, de acordo com o Teorema Fundamental da lgebra abaixo. Teorema 1.1. (Teorema Fundamental da lgebra). Toda equao polinomial de grau n, cujos coecientes so reais ou complexos, possui exatamente n razes reais ou complexas. Portanto, deve-se buscar n solues para (1.7), o que equivalente a buscar-se n razes de w, as quais sero denominadas z0 , z1 , . . . , zn1 . Concentrando-nos inicialmente em z0 , tal que
n z0 = w,
pode-se usar para ambos as suas formas polares dadas por (1.2a), z0 = |z0 | (cos + i sen ) e w = |w| (cos + i sen ) . Ento, de acordo com (1.6), |z0 | (cos + i sen ) = |z0 | [cos (n) + i sen (n)] = |w| (cos + i sen ) , possibilitando-nos a identicar |z0 | = |w| = |z0 | = n |w|, n = = = . n Portanto, a raiz principal de (1.7) dada por z0 =
n
(1.8)
|w| cos
+ i sen n n
|w|ei/n .
(1.9a)
Contudo, como j foi mencionado, existem outras n 1 razes distintas de w. Estas outras razes podem ser determinadas levando-se em conta as identidades cos ( 2k) = cos e sen ( 2k) = sen , para k = 0, 1, 2, 3, . . . . Assim, retornando-se a (1.8), pode-se escrever a relao entre as fases como n 2k = = = + 2k . n
Constata-se facilmente que se for substitudo por + 2k em (1.9a), haver sempre um nmero total de n arcos tais que + 2k 0 2, para k = 0, 1, . . . , n 1, n

Im (a) Im (b)
11
z1 z
0
z0 Re z
1
Re
z2
Figura 1.3: (a) Razes quadradas z0 e z1 de w = 1 + i. (b) Razes cbicas w0 , w1 e w2 de z = 1 + i.
os quais so geometricamente distintos sobre o plano complexo. Colocando-se k = n, n + 1, . . . , ir simplesmente repetir-se os arcos anteriores. Portanto, as n razes de (1.7), incluindo z0 , so: zk =
n
|w| cos
+ 2k n
+ i sen
+ 2k n
|w|ei(+2k)/n , (k = 0, 1, . . . , n 1) .
(1.9b)
Exemplo 1.1. (Razes quadradas). Dado o nmero w = 1 + i, encontre as suas razes quadradas. Soluo: h exatamente 2 razes quadradas para w. Inicialmente, escreve-se w na forma polar: w = 2 cos + i sen = |w| = 2 e = , 4 4 4 sendo que /4 45 . De acordo com (1.9b), n = 2, k = 0, 1, e as razes so: 4 z0 = 2 cos + i sen , 8 8 9 9 4 z1 = 2 cos + i sen , 8 8
sendo que /8 22, 5 e 9/8 202, 5 , de tal forma que as razes z0 e z1 so antiparalelas no plano complexo. Estas razes encontram-se representadas no diagrama da gura 1.3(a). Exemplo 1.2. (Razes cbicas). Dado o nmero w = 1 + i, encontre as suas razes cbicas. Soluo: h exatamente 3 razes cbicas para w. Dado w na forma polar: z = 2 cos + i sen = |z| = 2 e = , 4 4 4 sendo que /4 45 . Agora, de acordo com (1.9b), n = 3, k = 0, 1, 2, e as razes so: 6 z0 = 2 cos + i sen , 12 12 3 3 6 z1 = 2 cos + i sen , 4 4 17 17 6 z2 = 2 cos + i sen , 12 12
sendo que /12 15 , 3/4 135 e 17/12 255 , de tal forma que z0 , z1 e z2 esto nos vrtices de um tringulo equiltero. Estas razes encontram-se representadas no diagrama da gura 1.3(b).
12
1.3. Funes de uma varivel complexa
1.3
Funes de uma varivel complexa
Seja D C um conjunto de nmeros complexos z = x + iy. Uma funo f (z), denida em D uma operao que atribui a cada z D um outro nmero complexo w I, onde I C. O nmero w denominado o valor de f (z) em z, isto , w = f (z). O conjunto D denominado o domnio de denio de f(z) e o conjunto I denominado a imagem de f(z). Deve ser enfatizado que tanto o domnio de denio quanto a operao so necessrios para que a funo seja bem denida. Quando o domnio no especicado, deve-se supor que o maior conjunto possvel tomado. Assim, se mencionada simplesmente a funo f (z) = 1/z, o domnio subentendido como o conjunto de todos os pontos no nulos no plano complexo. Existem dois tipos bsicos de funes complexas: Funes unvocas. Uma funo denominada unvoca em valor de w.
D se a cada valor de z corresponde um nico
Funes plurvocas. Uma funo denominada plurvoca em D se a uma determinado valor de z corresponder mais de um valor de w. Uma funo plurvoca pode ser considerada como uma coleo de funes unvocas, onde cada membro desta coleo chamado de ramo da funo plurvoca. usual tomar-se um membro em particular da coleo como o ramo principal da funo plurvoca e o valor da funo correspondente a este ramo denominado valor principal. Como exemplos de funes unvocas ou plurvocas, pode-se tomar: 1. w = z 2 funo unvoca ou simplesmente funo. 2. w = z funo plurvoca, pois a cada valor de z correspondem dois valores de w, de acordo com (1.9b). Assim: se z = rei , ento z = wk = rei(+2k)/2 , onde k = 0, 1,
Para k = 0 : w0 = Para k = 1 ; w1 =
rei/2 ramo principal. rei/2 ei = rei/2 segundo ramo.
1.3.1
Transformaes ou mapeamentos
Nota-se agora que w, como o valor de f (z), tambm uma varivel complexa e que, portanto, pode ser escrita na forma w = u + iv, sendo u, v R, ao passo que f (z) tambm pode ser separada em partes real e imaginria, f (z) = u (x, y) + iv (x, y) , onde u (x, y) e v (x, y) so ambas funes reais. Igualando as partes real e imaginria das expresses acima, obtm-se u = u (x, y) , v = v (x, y) .
Se w = f (z) uma funo unvoca de z, ento pode-se imaginar o plano complexo de z e, a cada ponto neste plano, corresponde um ponto no plano complexo de w. Se f (z) for plurvoca, ento um ponto no plano complexo de z mapeado em mais de um ponto no plano complexo de w. Pontos no plano z so mapeados em pontos no plano w, enquanto que curvas no plano z so mapeadas em curvas no plano w. A gura 1.4 ilustra o processo de mapeamento.
13
f(z)
Figura 1.4: A funo w = f (z) mapeia pontos no plano z em pontos no plano w.
1.3.2
Pontos de ramicao, linhas de ramicao e superfcies de Riemann
Comparando agora o comportamento de uma funo unvoca, f1 (z) = z 2 , e de uma funo plurvoca, f2 (z) = z, percebe-se uma diferena importante entre ambas. Suponha que se permita que z = rei execute uma revoluo completa em torno no ponto z = 0, no sentido anti-horrio, partindo de um determinado ponto no seu plano complexo. Esta operao consiste em substituir + 2 (1.10)
na frmula polar de z. Observando agora o comportamento de f1 (z) e f2 (z) frente a transformao (1.10), f1 (z) r2 ei2 ei4 f1 (z) f2 (z) r1/2 ei/2 ei f2 (z). Pode-se constatar que f1 (z) permanece inalterada frente a transformao (1.10), porm f2 (z) muda de sinal. Como o plano complexo possui por denio uma variao total de fase igual a 2, a transformao (1.10) levou f2 (z) a um valor distinto daquela que deveria apresentar. De fato, f2 (z) somente retornar ao valor inicial atravs de uma nova rotao completa. Ou seja, f2 (z) = z no apresenta simetria frente a uma rotao de 2 radianos, mas sim frente a uma rotao + 4, em cuja situao f2 (z) r1/2 ei/2 ei2 f2 (z). Pode-se descrever o que se sucede com a funo f2 (z) = z, armando-se que quando 0 < 2, o mapeamento do plano z para o plano w permanece sobre um dos ramos da funo plurvoca f2 (z), enquanto que no intervalo 2 < 4, o mapeamento leva ao outro ramo da funo. Claramente, sobre cada ramo, a funo f2 (z) unvoca e, para mant-la assim, estabelece-se uma barreira articial ligando a origem ao innito ao longo de alguma reta sobre o plano complexo. A funo permanecer unvoca desde que esta barreira no seja cruzada. Para a funo z, esta linha usualmente traada ao longo do eixo real positivo e denominada linha de ramicao, enquanto que o ponto O, de onde parte a linha de ramicao, denominado ponto de ramicao. A gura 1.5 mostra esta linha de ramicao como uma linha sinuosa sobre o eixo real positivo. importante enfatizar aqui que uma volta em torno de um outro ponto qualquer, distinto da origem, de tal forma que esta no esteja dentro da rea delimitada pelo caminho fechado, no leva a um outro ramo da funo z. Ou seja, o ponto O o nico ponto de ramicao desta funo. George Friedrich Bernhard Riemann (18261866) sugeriu um outro propsito para a linha de ramicao denida acima. Imagina-se o plano z composto por duas folhas sobrepostas uma outra. Corta-se agora as duas folhas ao longo da linha OB vista na gura 1.5 e junta-se a borda inferior da folha de baixo borda superior da folha de cima. Da mesma forma, junta-se as duas outras bordas. Partindo-se ento do primeiro quadrante da folha de cima, realiza-se uma volta completa sobre o plano z em torno de O. Ao se cruzar a linha de ramicao, passa-se para o primeiro quadrante da folha de baixo, ao se realizar mais um volta completa em torno da origem, retorna-se folha de cima ao se cruzar pela segunda vez a linha de ramicao. Desta maneira, a funo z permanece unvoca sobre um domnio no qual 0 < 4.
14
1.3. Funes de uma varivel complexa
Figura 1.5: Linha de ramicao para a funo w =
z.
Figura 1.6: Folhas de Riemann da funo
z.
A coleo de duas folhas para a garantia da unicidade da funo z denominada de superfcie de Riemann. Cada folha de Riemann corresponde a um ramo da funo e sobre cada folha a funo unvoca. O conceito de superfcie de Riemann possui a vantagem de possibilitar a obteno dos vrios valores de funo plurvoca de uma maneira contnua. A gura 1.6 ilustra as duas folhas de Riemann uma da funo z.
1.3.3
Exemplos de funes unvocas ou plurvocas

z j abordadas, outras funes de uma varivel complexa que
Alm das funes f1 (z) = z 2 e f2 (z) = com frequncia surgem so as seguintes. Funo exponencial. Denida por
w = ez = ex+iy = ex (cos y + i seny) . Funes trigonomtricas. Dene-se as funes trigonomtricas em termos das funes exponenciais. sen z = eiz eiz 2i e +e 2
iz iz
cos2 z + sen2 z = 1.
cos z =
Funes trigonomtricas hiperblicas. De maneira anloga, dene-se senh z = cosh z =

ez ez 2 e +e 2
z z
cosh2 z senh2 z = 1.
15
Figura 1.7: Superfcie de Riemann da funo ln z.
possvel mostrar as seguintes relaes entre as funes trigonomtricas circulares e as hiperblicas: sen iz = i senh z cos iz = cosh z senh iz = i sen z cosh iz = cos z.
Funo logartmica. Esta uma outra funo plurvoca, denida por w = lnz = ln rei(+2k) = ln r + i ( + 2k) , k = 0, 1, 2, . Como se pode notar, esta funo possui innitos ramos, sendo w = ln r + i, para 0 < 2, o ramo principal. A superfcie de Riemann para esta funo est representada na gura 1.7.
1.4
O clculo diferencial de funes de uma varivel complexa
Nesta seo sero denidos os conceitos de limites, continuidade e de derivao de uma funo de uma varivel complexa.
1.4.1
Limite de uma funo complexa
Diz-se que o nmero w0 o limite de f (z) medida que z se aproxima de z0 , o que escrito como
zz0
lim f (z) = w0 ,
se: 1. A funo f (z) est denida e unvoca em uma vizinhana de z = z0 , com a possvel exceo do prprio ponto z0 . 2. Dado um nmero real positivo qualquer , arbitrariamente pequeno, existe um outro nmero real positivo tal que |f (z) w0 | < sempre que 0 < |z z0 | < . importante observar o seguinte: O limite w0 deve ser sempre o mesmo para um dado z0 , independente da maneira como realizado o limite z z0 . Se f (z) uma funo plurvoca, o limite para z z0 depende do particular ramo em que se encontra a vizinhana de z0 . A gura 1.8 ilustra as vizinhanas dos pontos z = x + iy e w0 = u + iv nos respectivos planos complexos.
16
1.4. O clculo diferencial de funes de uma varivel complexa
Figura 1.8: Vizinhanas dos pontos z0 e w0 nos respectivos planos complexos.
Exemplo 1.3. (Clculos de limites). 2 (a) Se f (z) = z 2 , prove que limzz0 f (z) = z0 . (b) Encontre limzz0 f (z) se f (x) = z2, 0, z = z0 z = z0 .
Soluo. (a) Deve-se mostrar que para qualquer > 0 sempre possvel encontrar-se um > 0 (dependendo, em 2 geral, de ) tal que z 2 z0 < sempre que 0 < |z z0 | < . Para tanto, considera-se 1. Neste caso, 0 < |z z0 | < implica que
|z z0 | |z + z0 | < |z + z0 | = |z z0 + 2z0 | ,
Para um
6 1 escolhe-se ento =
2 z 2 z0 < (|z z0 | + 2 |z0 |) < (1 + 2 |z0 |) .
/ (1 + 2 |z0 |), ou seja, <

2 z 2 z0 < ,
z0 C, de tal maneira que
provando-se o limite. (b) No h diferena entre este problema e o problema da parte (a), uma vez que em ambos os casos o ponto 2 z = z0 foi excludo. Portanto, limzz0 f (z) = z0 . Nota-se que o valor do limite no necessariamente igual ao valor de f (z0 ). Teorema 1.2. (Propriedades dos limites). seguintes propriedades de limites so vlidas:
zz0 zz0 zz0
Se limzz0 f (z) = w1 e limzz0 g(z) = w2 , ento as
lim [f (z) + g(z)] = lim f (z) + lim g(z) = w1 + w2 . lim [f (z)g(z)] =

zz0
zz0
lim f (z)
zz0
lim g(z) = w1 w2 .
lim
zz0
lim f (z) w1 f (z) zz0 = = , desde que w2 = 0. g(z) lim g(z) w2

zz0
1.4.2
Continuidade
Seja f (z) denida e unvoca em uma vizinhana de z = z0 , assim como em z = z0 . A funo f (z) dita contnua em z = z0 se lim f (z) = f (z0 ) .
zz0
Observa-se que isso implica em trs condies que devem ser satisfeitas: 1. O limite deve existir. 2. f (z0 ) deve existir, isto , f (z) deve ser denida em z = z0 .
Captulo 1. Funes de Uma Varivel Complexa 3. O limite deve ser igual a f (z0 ).
17
Pontos no plano z onde f (z) deixa de ser contnua so chamados de descontinuidades de f (z). Se o limite limzz0 f (z) existe mas no igual a f (z0 ), ento z0 denominado uma descontinuidade removvel, pois sempre possvel redenir-se f (z) para se obter uma funo contnua. Teorema 1.3. (Teoremas de continuidade). Os seguintes teoremas de continuidade so vlidos. Se f (z) e g(z) so contnuas em z = z0 , ento tambm so contnuas: f (z) + g(z), f (z)g(z) e f (z) , desde que g (z0 ) = 0. g(z)
Se w = f (z) contnua em z = z0 e z = g() contnua em = 0 e se 0 = f (z0 ), ento a funo w = g [f (z)] contnua em z = z0 . Uma funo contnua de uma funo contnua tambm contnua. Se f (z) contnua em uma regio fechada, ento ela limitada nessa regio; isto , existe uma constante real positiva M tal que |f (z)| < M para todos os pontos z dentro dessa regio. Se f (z) contnua em uma regio, ento as partes real e imaginria de f (z) tambm so contnuas nessa regio.
1.4.3
Derivadas de funes complexas
Dada uma funo f (z), contnua e unvoca de uma varivel complexa z, em uma dada regio R C, a derivada df f (z) dz em algum ponto xo z0 R denida como f (z0 ) = lim
z0
f (z0 + z) f (z0 ) , z
(1.11)
desde que este limite exista de forma independente da maneira como z 0. Aqui, z = z z0 , sendo z R algum ponto na vizinhana de z0 . Teorema 1.4. Se uma funo f (z) possui derivada em z = z0 , ento ela necessariamente contnua em z = z0 . Demonstrao. Supondo que f (z0 ) exista, ento
zz0
lim [f (z0 + z) f (z0 )] = lim
zz0
f (z0 + z) f (z0 ) lim z = 0, zz0 z
ou seja,
zz0
lim f (z0 + z) = f (z0 ) .
Se f (z) existe em z0 e em todos os pontos em uma dada vizinhana de z0 , ento f (z) dita analtica em z0 . A funo f (z) analtica na regio R se ela analtica em todos os pontos z R. Contudo, nem toda a funo contnua diferencivel em z = z0 .
Exemplo 1.4. Dada a a funo f (z) = z , mostre que embora esta seja contnua em qualquer z0 C, sua derivada dz /dz no existe em z0 . Soluo. Pela denio (1.11), dz (z + z) z (x + iy + x + iy) (x + iy) = lim = lim 0 x0 dz z x + iy
y0
= lim
x0 y0
x iy x iy + x iy (x iy) = lim . x0 x + iy x + iy
y0
Se y = 0, o limite resulta em limx0 x/x = 1. Por outro lado, se x = 0, o limite resulta em limy0 (y) /y = 1. Portanto, como o valor do limite depende da maneira como z 0, a derivada de f (z) = z no existe em nenhum ponto e, portanto, a funo no analtica em nenhum ponto.
18
1.4. O clculo diferencial de funes de uma varivel complexa

2
Exemplo 1.5. Dada a funo g(z) = |z| , mostre que esta somente diferencivel em z = 0. Soluo. Pela denio (1.11), g (z) = lim (z + z) (z + z ) zz |z + z| |z| = lim z0 z0 z z z z + zz + zz z = lim = z + z lim + lim z . z0 z0 z z0 z
2 2
Pode-se considerar 2 possibilidades: 1. z = 0. Neste caso, g (z)|z=0 = 0, e a derivada existe. 2. z = 0. Neste caso, se g (z) existe, ento a derivada deve existir independente da maneira como se toma o limite. Assim: Se z = x, ento z = z e o limite ca g (z) = z + z. Se z = iy, ento z = z e o limite ca g (z) = z z. Portanto, a funo g(z) no analtica, pois somente possui derivada em z = 0. Teorema 1.5. (Regras de derivao). As regras de derivao para somas, produtos e quocientes de funes so, em geral, as mesmas que as regras para funes reais. Isto , se f (z0 ) e g (z0 ) existem, ento (f + g) (z0 ) = f (z0 ) + g (z0 ). (f g) (z0 ) = f (z0 ) g (z0 ) + f (z0 ) g (z0 ). f g (z0 ) = f (z0 ) g (z0 ) f (z0 ) g (z0 ) [g (z0 )]
2
, se g (z0 ) = 0.
1.4.4
As condies de Cauchy-Riemann
Para testar se uma funo f (z) analtica, Cauchy e Riemann criaram um teste simples mas extremamente importante para testar a analiticidade de f (z). Para deduzir as condies de Cauchy-Riemann, retorna-se denio (1.11), f (z0 + z) f (z0 ) f (z0 ) = lim . (1.12) z0 z Escrevendo f (z) = u (x, y) + iv (x, y), obtm-se f (z) = lim u (x + x, y + y) u (x, y) v (x + x, y + y) v (x, y) + i lim . x0 x0 x + iy x + iy
y0 y0
Existe um nmero innito de maneiras para z tender a zero sobre o plano complexo. Consideram-se duas possibilidades (ver gura 1.9): ao longo de x ou ao longo de y. Supondo-se que se tome primeiro a rota ao longo de x, mantendo y constante, isto , y = 0. Neste caso, f (z) = lim u (x + x, y) u (x, y) v (x + x, y) v (x, y) u v + i lim = +i . x0 x0 x x x x
Agora, toma-se a rota ao longo de y, mantendo x constante (x = 0). Neste caso, f (z) = lim u (x, y + y) u (x, y) v (x, y + y) v (x, y) u v + i lim = i + . y0 iy iy y y
y0
Captulo 1. Funes de Uma Varivel Complexa A condio necessria para que f (z) seja analtica que o limite deve resultar sempre no mesmo valor, independente do caminho adotado sobre o plano complexo. Portanto, uma condio necessria para que f (z) seja analtica v u v u +i = i + , x x y y de onde resultam as condies de Cauchy-Riemann u v u v = e = . x y y x (1.13)
19
Figura 1.9: Caminhos alternati-
Estas relaes fornecem tambm duas expresses teis para a derivada vos para z0 . de f (z): u v v u f (z) = +i = i . x x y y Podemos estabelecer ento o seguinte teorema.
(1.14)
Teorema 1.6. (Condio necessria). Se a derivada f (z) de um funo f (z) = u(x, y) + iv(x, y) existe em um ponto z = x + iy, ento as derivadas parciais de primeira ordem de u(x, y) e v(x, y) com respeito a x e a y devem existir neste ponto e satisfazer as relaes de Cauchy-Riemann (1.13). Alm disso, f (z) pode ser determinada pelas expresses (1.14). Exemplo 1.6. Condies de Cauchy-Riemann. Seja a funo f (z) = z 2 = x2 y 2 + i2xy. Neste caso, u(x, y) = x2 y 2 e v(x, y) = 2xy. Para estas funes, v u v u = 2x = e = 2y = . x y y x Portanto, as relaes de Cauchy-Riemann so satisfeitas e f (z) pode ser obtida por (1.14), f (z) = 2x + i2y = 2z. Exemplo 1.7. Condies de Cauchy-Riemann. Seja agora a funo f (z) = |z| = x2 + y 2 . Neste caso, u(x, y) = x2 + y 2 e v(x, y) = 0. Portanto, embora as derivadas parciais existam, u u v v = 2x, = 2y, = = 0, x y x y estas no satisfazem as relaes (1.13) e, portanto, a funo f (z) no possui derivada. As condies de Cauchy-Riemann fornecem uma condio necessria para que a funo seja diferencivel em algum ponto z = z0 . Contudo, no h garantia at este momento de que estas condies sejam sucientes para garantir a existncia desta derivada. Um teorema mais geral, apresentado a seguir, estabelece as condies necessria e suciente para a existncia da derivada de f (z). Teorema 1.7. (Condio necessria e suciente). Dada a funo f (z) = u (x, y) + iv (x, y), se u (x, y) e v (x, y) so contnuas com derivadas parciais de primeira ordem e que satisfazem as condies de Cauchy-Riemann (1.13) em todos os pontos em uma regio R C , ento f (z) analtica em R. Demonstrao. Para provar este teorema, necessrio empregar o seguinte teorema do clculo de funes reais de 2 variveis: se h (x, y), h/x e h/y so contnuas em uma regio R em torno do ponto (x0 , y0 ), ento existe uma funo H (x, y) tal que H (x, y) 0 medida que (x, y) (0, 0) e h (x0 + x, y0 + y) h (x0 , y0 ) = h x x +
(x0 ,y0 ) 2
h y
y + H (x, y)
(x0 ,y0 )
(x) + (y) .
Retornando ento denio de derivada (1.12) lim f (z0 + z) f (z0 ) , z
z0
sendo z0 qualquer ponto que pertence a R e z = x + iy. Pode-se escrever ento f (z0 + z) f (z0 ) = [u (x0 + x, y0 + y) u (x0 , y0 )] + i [v (x0 + x, y0 + y) v (x0 , y0 )] ,
20
1.4. O clculo diferencial de funes de uma varivel complexa u x x +

(x0 ,y0 )
f (z0 + z) f (z0 ) =
u y v x
y + H (x, y)
(x0 ,y0 )
(x) + (y)
+i
x +
(x0 ,y0 )
v y
y + G (x, y)
(x0 ,y0 )
(x) + (y)
onde H (x, y) 0 e G (x, y) 0 quando (x, y) (0, 0). Empregando agora as condies de Cauchy-Riemann (1.13), obtm-se f (z0 + z) f (z0 ) = u x +i
(x0 ,y0 )
v x
(x + iy)
(x0 ,y0 )
+ [H (x, y) + iG (x, y)] portanto, f (z0 + z) f (z0 ) u = z x v +i x (x0 ,y0 )
(x) + (y) ,
(x) + (y) + [H (x, y) + iG (x, y)]

(x0 ,y0 )
x + iy
Assim, no limite (x, y) (0, 0), (x) + (y)

x0 y0 2 2 x0 y0
(x) + (y) lim x + iy
lim
x + iy
= 1.
Ou seja, f (z0 ) = u x +i
(x0 ,y0 )
v x
,
(x0 ,y0 )
o que mostra que o limite e, portanto, f (z) existem em todos os pontos em R. As condies de CauchyRiemann so, portanto necessrias e sucientes para garantir a existncia de f (z) em R.
1.4.5
Funes analticas
Uma funo f (z) analtica em um ponto z0 se a sua derivada f (z) existe no somente em z0 mas em todos os pontos z dentro de uma vizinhana de z0 . As seguintes denies so feitas, com respeito a funes analticas: Uma funo dita analtica em um domnio R C se ela analtica em todos os pontos z R. Uma funo analtica tambm denominada regular ou holomrca. Se a funo f (z) analtica sobre todo o plano z complexo, ela denominada inteira. Uma funo f (z) denominada singular em z = z0 se ela no diferencivel neste ponto. O ponto z0 denominado ponto singular ou singularidade de f (z).
1.4.6
Funes harmnicas
Se f (z) = u (x, y)+iv (x, y) analtica em alguma regio R do plano complexo, ento em todos os pontos desta regio as condies de Cauchy-Riemann (1.13) so satisfeitas: v u v u = e = x y y x e, portanto, 2u 2v 2u 2v = e = , x2 xy y 2 yx desde que as derivadas segundas existam. Igualando a ambas as expresses acima, obtm-se que u (x, y) e v (x, y) satisfazem a Equao de Laplace: 2u 2u + 2 =0 x2 y
Autor: Rudi Gaelzer IFM/UFPel Incio: Abril de 2010
(1.15a)
Captulo 1. Funes de Uma Varivel Complexa 2v 2v + 2 =0 x2 y
21 (1.15b)
sobre toda a regio R. Toda a funo que satisfaz as equaes de Laplace (1.15) denominada de funo harmnica. Como ambas as funes u e v satisfazem a (1.15), estas so denominadas funes harmnicas conjugadas.
1.4.7
Pontos singulares
Um ponto onde f (z) deixa de ser analtica denominado ponto singular ou singularidade de f (z). As condies de Cauchy-Riemann no so obedecidas em um ponto singular. Existem vrias tipos de pontos singulares distintos: 1. Pontos singulares isolados. O ponto z = z0 denominado ponto singular isolado de f (z) se for possvel encontrar-se uma quantidade > 0 tal que o crculo |z z0 | = circunda apenas o ponto singular z0 . Se no for possvel encontrar-se um > 0, o ponto z0 denominado ponto singular no isolado. 2. Polos. O ponto singular z = z0 denominado polo de ordem n de f (z) se for possvel encontrar-se um nmero inteiro positivo n tal que
zz0
lim (z z0 ) f (z) = A = 0.
(1.16)
Exemplos: f (z) = 1/ (z 2) possui um polo simples ou de ordem 1 em z = 2. f (z) = 1/ (z 2) possui um polo duplo ou de ordem 2 em z = 2. f (z) = 1/ (z 2) possui um polo de ordem 3 em z = 2. 3. Ponto de ramicao. Uma funo possui um ponto de ramicao em z = z0 se, aps circular-se em torno de z0 , retornando ao ponto de partida sobre o plano z, a funo no retorna ao seu valor inicial sobre o plano w. Os pontos de ramicao so singularidades das funes plurvocas. Por exemplo, a funo f (z) = z possui um ponto de ramicao em z = 0. 4. Singularidades removveis. O ponto singular z = z0 denominado uma singularidade removvel se limzz0 f (z) existe. Por exemplo, a funo f (z) = sen z/z possui um ponto singular em z = 0, mas limz0 sen z/z = 1. Neste caso, pode-se redenir a funo f (z) para esta esteja denida em z0 . 5. Singularidades essenciais. Uma funo possui uma singularidade essencial em z0 se esta no possui n polos, em qualquer ordem, que sejam eliminados pela multiplicao por (z z0 ) , para qualquer valor 1/(z2) nito de n. Por exemplo, a funo f (z) = e possui uma singularidade essencial em z = 2. 6. Singularidades no innito. Uma funo f (z) possui uma singularidade em z se esta for do mesmo tipo que a singularidade de f (1/w), para w 0. Por exemplo, f (z) = z 2 possui um polo de ordem 2 no innito, uma vez que f (1/w) = 1/w2 possui um polo duplo em w = 0.
3 2
1.5
Integrao no plano complexo
Integrao complexa uma ferramenta muito importante na fsica-matemtica. Por exemplo, com frequncia surgem integrais de funes reais que no podem ser calculadas pelos mtodos usuais de integrao, mas que podem ser resolvidas estendendo-se a denio do integrando para o conjunto dos nmeros complexos e realizando-se a integrao neste plano. Na anlise matemtica, o mtodo de integrao complexa possibilita demonstraes de algumas propriedades bsicas de funes analticas, as quais seriam muito difceis de ser realizadas sem o recurso da integrao complexa. O resultado mais importante na teoria da integrao complexa o teorema integral de Cauchy, a partir do qual as frmulas integrais de Cauchy so derivadas. A outra propriedade de fundamental importncia para a fsica-matemtica o teorema dos resduos, que possibilita o clculo de integrais que no poderiam ser realizadas de outra maneira. Estes resultados sero abordados nas sees posteriores. Nesta seo, ser introduzido o conceito de integral de caminho sobre o plano complexo e apresentadas as propriedades matemticas fundamentais das integrais complexas.
22
1.5. Integrao no plano complexo
Figura 1.10: Caminho C ao longo do qual a integrao complexa realizada.
1.5.1
Integrais de caminho no plano complexo
Uma integral de caminho, tambm denominada integral de linha, possui uma relao com a derivada no plano complexoexatamente igual que existe para funes reais. Se a funo F (z) dada pela integral indenida F (z) = f (z) dz, ento a derivada de F (z) dada por F (z) = f (z). Em outras palavras uma integral indenida no plano complexo a operao inversa da derivao no mesmo plano. Por outro lado, o plano complexo denido a partir de duas variveis independentes reais. Neste caso, poder-se-ia pensar que uma integral (denida) no plano complexo seria equivalente a uma integral de superfcie de uma funo real de duas variveis. Contudo, na anlise das funes complexas, a funo f (z) integrada ao longo de um caminho no plano complexo. Para tanto, pode-se parametrizar o caminho ao longo do plano z fazendo-se uso de um parmetro real t: z(t) = x(t) + iy(t) para a
6 t 6 b, 6 6
o qual dene um caminho sobre o plano complexo medida que t varia de a a b. Diz-se que este curva suave se existe um vetor tangente mesma ao longo de todos os pontos; isto implica que dx/dt e dy/dt existem so contnuas e no so nulas simultaneamente para a t b. Sendo C uma curva suave sobre o plano z complexo, como mostra a gura 1.10, assume-se que a mesma possui um comprimento nito. Dada agora a funo f (z), contnua sobre todos os pontos ao longo de C, subdivide-se C em n partes por meio dos pontos {z0 , z1 , z2 , . . . , zn }, arbitrariamente escolhidos, mas com z0 = a e zn = b. Para cada arco de C que conecta os pontos zk1 e zk (k = 1, 2, . . . , n), escolhe-se um ponto wk (zk1 wk zk ) e forma-se a soma
6 6
Sn =
k=1
f (wk ) zk , onde zk = zk zk1 .
Fazendo-se agora com que o nmero de subdivises n aumente indenidamente, de tal forma que o maior dos |zk | tenda a zero, a soma Sn aproxima-se de um limite. Se este limite existe e possui o mesmo valor, independente das escolhas dos {zk } e dos {wk } ao longo de C, ento este limite denominado a integral de caminho (ou de linha) de f (z) ao longo de C e denotado por:
n
f (wk ) zk
C
f (z) dz =
a
S = lim Sn =
n
|z|max 0 k=1
lim n
f (z) dz.
(1.17)
Quando o caminho fechado, isto , quando b = a (ou zn = z0 ), a integral de linha denominada integral de contorno de f (z), a qual denotada por S=
C
f (z) dz.
Teorema 1.8. (Teorema de existncia). Se o caminho C suave por partes e f (z) contnua ao longo de C, ento C f (z) dz sempre existe.
23
1.5.2
Propriedades matemticas das integrais de linha
A integral de linha de f (z) = u (x, y) + iv (x, y) ao longo de um caminho C pode sempre ser expressa em termos de integrais reais de caminho como f (z) dz = (u + iv) (dx + idy) = (u dx v dy) + i (v dx + u dy) ,
C C C C
onde a curva C pode ser aberta ou fechada, mas o sentido de integrao deve sempre ser especicado, por exemplo atravs do uso de um parmetro t. Invertendo-se o sentido de variao de t, inverte-se o sinal da integral. Integrais complexas so, portanto, redutveis a integrais reais de caminho e possuem as seguintes propriedades: (1) [f (z) + g(z)] dz = f (z) dz + g(z) dz. (2)
C C
kf (z) dz = k
C
f (z) dz, sendo k C uma constante. f (z) dz, sendo {a, b} C.

b
(3)
a
f (z) dz =
b
(4) (5) (6)

a
f (z) dz =
a
f (z) dz +
m
f (z) dz, sendo m C.
f (z) dz
C
6 M L, onde M = max |f (z)| ao longo de C e L o comprimento de C. 6

|f (z)| |dz|.
C
f (z) dz
C
A propriedade (5), em particular, bastante til e ser bastante utilizada, porque ao se trabalhar com integrais de linha complexas, com frequncia necessrio estabelecer-se limites nos seus valores absolutos. Demonstrao. (Propriedade 5). Retornando denio (1.17), f (z) dz =
C n |z|max 0 k=1
lim n
f (wk ) zk .
Mas,
n
f (wk ) zk
k=1
|f (wk )| |zk |
k=1
6M
|zk |
k=1
6 M L,
onde se fez uso do fato de que |f (z)| M para todos os pontos z ao longo de C e que |zk | representa a soma de todas as cordas juntando os pontos zk1 e zk ao longo de C e que esta soma no pode ser maior que o comprimento L de C. Tomando-se agora o limite para n em ambos os lados, resulta a propriedade (5). A propriedade (6) tambm segue desta demonstrao. 2 Exemplo 1.8. Calcule a integral C (z) dz, sendo C a linha reta ligando os pontos z = 0 e z = 1 + 2i. Soluo. Uma vez que (z) = (x iy) = x2 y 2 2ixy, resulta (z) dz =
C C 2 2 2
x y
2 2
dx + 2xy dy + i
C
2xy dx + x2 y 2 dy .
Para parametrizar a curva C, pode-se escolher x(t) e y(t) dados por x(t) = t, y(t) = 2t, para (0
6 t 6 1) ,
5 10 i. 3 3
ou, simplesmente, pode-se escrever y = 2x. Portanto, 1 2 (z) dz = 5x2 dx + i

C 0 0
10x2 dx =
24
1.5. Integrao no plano complexo
(a) Curva simples.
(b) Curva no simples.
(c) Curva simples fechada.
Figura 1.11: Exemplos de curvas simples ou no simples.
Exemplo 1.9. Calcule a integral de caminho
dz
(z z0 )
n+1 ,
sendo C uma circunferncia de raio r centrada em z0 e n um nmero inteiro. Uma ilustrao deste contorno pode ser vista na gura 1.8 esquerda. Soluo. Por convenincia, escolhe-se z z0 = rei , onde o parmetro cuja variao (0 determina o contorno C. Ento, dz = irei d e a integral ca: dz (z z0 )
n+1
6 < 2) >
=
0
irei d i = n r rn+1 ei(n+1)
ein d =
i rn
(cos n i sen n) d =
2i, n = 0 0, n 1.
Este um resultado importante, que ser utilizado diversas vezes nas sees posteriores.
1.5.3
Tipos de curvas e domnios no plano complexo
Nesta seo sero brevemente denidos os tipos de curvas e domnios no plano complexo que sero considerados nas sees posteriores. 1.5.3.1 Tipos de curvas no plano complexo
Uma curva C dita simples (tambm denominada arco de Jordan) se esta no se intersecciona em nenhum ponto, isto , z (t1 ) = z (t2 ) se t1 = t2 , para a t b. A exceo z(b) = z(a) permitida para um contorno fechado, em cuja situao o contorno dito contorno simples ou curva simples fechada ou ainda curva ou contorno de Jordan. A gura 1.11 mostra exemplos de curvas simples e de curvas no simples. 1.5.3.2 Domnios simplesmente ou multiplamente conexos
6 6
Um domnio ou regio simplesmente conexa D uma regio no plano complexo tal que toda curva simples fechada dentro de D cerca somente pontos que pertencem a D. Uma outra denio: uma regio D dita simplesmente conexa se qualquer curva simples fechada contida dentro de D pode ser reduzida a um ponto sem abandonar D. Uma regio que no simplesmente conexa dita multiplamente conexa. De acordo com as denies, deve ento existir pelo menos uma curva simples fechada contida em D que cerca pontos que no pertencem a D. Ou, alternativamente, uma regio multiplamente conexa aquela que no pode ser reduzida a um ponto sem que abandone (mesmo que momentaneamente) a regio D. A gura 1.12 apresenta exemplos de regies simplesmente e multiplamente conexas. 1.5.3.3 Conveno para o percurso de um contorno fechado
Considera-se uma regio D do plano complexo, composta por pontos no interior e ao longo de um contorno simples fechado . O contorno percorrido no sentido positivo se todos os pontos de D se situarem esquerda de um observador que se desloca ao longo de . Este sentido positivo consiste no percurso anti-horrio indicado pelas setas nos contornos representados nas guras 1.12.
25
1.6
O teorema de Cauchy-Goursat
O teorema de Cauchy-Goursat um dos mais importantes resultados da anlise matemtica das funes complexas. Este teorema possui diversas consequncias tericas e prticas a respeito das propriedades analticas das funes de varivel complexa e serve de base para outros teoremas importantes como o teorema dos resduos. Para se realizar uma das demonstraes existentes do teorema de Cauchy, faz-se uso do teorema de Green, vlido para integrais de linha e de superfcie de funes de duas variveis reais.
1.6.1
O teorema de Green no plano
Teorema 1.9. Sejam P (x, y) e Q (x, y) duas funes reais tais que suas derivadas so contnuas sobre toda uma regio R, delimitada por um contorno fechado simples C. Neste caso, as funes P e Q satisfazem a seguinte identidade, Q P dxdy. (1.18) [P (x, y) dx + Q (x, y) dy] = x y R R Observao. A demonstrao do teorema (1.18) baseia-se no teorema de Stokes e no ser apresentada aqui.
1.6.2
O teorema de Cauchy-Goursat
Sero apresentadas aqui duas verses do mencionado teorema, a primeira para um domnio simplesmente conexo e a segunda para uma regio multiplamente conexa. A demonstrao apresentada para a primeira verso foi obtida originalmente por Cauchy no incio do sculo XIX e supe que as derivadas da funo f (z) so contnuas sobre o domnio D. Posteriormente, Goursat mostrou que a condio de continuidade de f (z) no necessria para a validade do teorema. Por esta razo, o teorema leva o nome de ambos os matemticos franceses. Teorema 1.10. (Teorema de Cauchy-Goursat). Se uma funo f (z) = u (x, y) + iv (x, y) analtica em todos os pontos de um domnio simplesmente conexo D, ento para todo contorno simples fechado C no interior de D, f (z) dz = 0.
C
(1.19)
Demonstrao. Escreve-se o lado direito de (1.19) da seguinte maneira: f (z) dz = (u + iv) (dx + idy) = (u dx v dy) + i (v dx + u dy) .
C C C C
Aplicando-se o teorema de Green (1.18) a cada integral de contorno acima, obtm-se v u u v f (z) dz = + dxdy + i dxdy. x y x y C D D Como a funo f (z) suposta analtica, ento as funes u (x, y) e v (x, y) satisfazem as condies de Cauchy-Riemann (1.13). Portanto, v u u v dxdy + i dxdy = 0, f (z) dz = x x x x D C D
Figura 1.12: Exemplos de regies: (a) simplesmente conexa e (b) e (c) multiplamente conexas. Autor: Rudi Gaelzer IFM/UFPel Incio: Abril de 2010 Impresso: 16 de agosto de 2011
26
1.6. O teorema de Cauchy-Goursat
Figura 1.13: Contorno B que transforma uma regio multiplamente conexa em uma regio simplesmente conexa.
o que demonstra o teorema. Quando o domnio D multiplamente conexo, a seguinte verso do teorema de Cauchy-Goursat se aplica. Teorema 1.11. (Teorema de Cauchy-Goursat em regies multiplamente conexas). Seja C um contorno simples fechado e seja {Cj } (j = 1, . . . , n) um conjunto nito de contornos fechados simples interiores a C, tais que no existam duas regies Rj e Rj , interiores a Cj e Cj , que compartilhem pontos no plano complexo em comum entre si. Seja R a regio do plano complexo que consiste em todos os pontos no interior e ao longo de C, exceto por aqueles pontos no interior de cada contorno Cj . Finalmente, seja B o contorno completo que delimita R e que consiste no contorno C mais os contornos Cj , sendo todos estes contornos percorridos no sentido que mantm os pontos de R direita de B. Se a funo f (z) analtica em R, ento f (z) dz = 0.
B
(1.20)
Demonstrao. A situao descrita no teorema est ilustrada pela gura 1.13a. O contorno mostrado na gura composto por C, juntamente com os contornos C1 , . . . , Cn e os segmentos de reta L1 , L2 , . . . , Ln 1 1 1 e Ln . Desta maneira a regio R passa de multiplamente conexa a simplesmente conexa. Aproximando-se 2 agora os pares de segmentos de reta L1 e L1 , L2 e L2 , . . . , Ln e Ln , de tal forma que a distncia entre os 1 2 1 2 1 2 mesmos se torne innitesimalmente pequena, as integrais de caminho de f (z) em cada par de segmentos se anulam mutuamente, isto , f (z) dz = f (z) dz, f (z) dz = f (z) dz, f (z) dz = f (z) dz,
L1 1 L1 2 L2 1 L2 2 Ln 1 Ln 2
de tal forma que o contorno restante exatamente o contorno B descrito no teorema. Como a regio R agora simplesmente conexa e a funo f (z) analtica em R, de (1.19) resulta f (z) dz = 0.
B
O teorema de Cauchy-Goursat (1.19) possui consequncias importantes, algumas das quais sero apresentadas nesta e nas sees posteriores. Teorema 1.12. (Deformao do contorno de integrao). Seja f (z) uma funo analtica sobre uma regio R delimitada pelo contorno simples fechado C e pelo conjunto de contornos {Cj } (j = 1, . . . , n), interiores a C e que envolvem n buracos que podem conter singularidades isoladas ou no isoladas. Ento, f (z) dz =
C j=1 Cj n
f (z) dz, (1.21)
sendo que tanto a integral ao longo de C quanto as integrais nos contornos Cj so realizadas no sentido anti-horrio.
27
Demonstrao. Esta situao tambm est ilustrada na gura 1.13. Ao se considerar o contorno B na gura 1.13a, o teorema de Cauchy (1.20) arma que n f (z) dz = 0, f (z) dz = + + +
B C j=1 Cj Lj 1 Lj 2
onde
f (z) dz =
Lj 2
f (z) dz =
Lj 2
+
Lj 1
f (z) dz =
Lj 2

Lj 1
f (z) dz.
Lj 2
Ao se reduzir a distncia de cada par de segmentos de reta Lj e Lj assintoticamente a zero, as integrais de 2 1 linha percorrem o mesmo caminho sobre o plano complexo, resultando ento que
Lj 1 Lj 2
f (z) dz 2 0. 1
Lj Lj
Neste caso, os caminhos C, C1 , . . . , Cn se tornam contornos fechados simples, resultando que f (z) dz +
C j=1 Cj n
f (z) dz = 0.
Como os contornos Cj so percorridos no sentido horrio, de acordo com a gura (1.13)a, resulta que = ,
Cj Cj
onde na segunda integral o contorno agora percorrido no sentido anti-horrio, e a situao se torna semelhante ilustrada pela gura (1.13)b. Portanto, f (z) dz
C j=1 Cj n
f (z) dz = 0,
de onde resulta o teorema. Nas situaes em que a identidade (1.21) vlida, comum armar-se que o contorno C foi deformado nos contornos C1 , C2 , . . . , Cn . Teorema 1.13. (Teorema de Morera). Se uma funo f (z) contnua em uma regio simplesmente conexa R e C f (z) dz = 0 para todo contorno simples fechado C no interior de R, ento f (z) analtica em R. Observao. O teorema de Morera a recproca do teorema de Cauchy. Teorema 1.14. (Independncia do caminho). Se a funo f (z) analtica em uma regio simplesmente conexa R, ento dados dois pontos z0 e z quaisquer, contidos em R, a integral z f (z) dz
z0
independe do caminho ligando os pontos z0 e z, desde que este caminho esteja totalmente contido em R. Demonstrao. A situao est ilustrada na gura 1.14. Sendo C1 e C2 dois caminhos quaisquer, contidos em R e que ligam os pontos z0 e z, ento, de acordo com o teorema de Cauchy (1.19), f (z) dz + f (z) dz = 0, mas f (z) dz = f (z) dz.
C1 c2 C1 C1
Portanto
f (z) dz =
C1
f (z) dz,
c2
o que demonstra o teorema.

28
1.6. O teorema de Cauchy-Goursat
Figura 1.14: Independncia nos caminhos C1 e C2 .
Teorema 1.15. (Teorema de analiticidade). Seja f (z) uma funo contnua em uma regio simplesmente conexa R e sejam z0 e z dois pontos contidos em R, ento z F (z) = f (s) ds analtica em R e F (z) = f (z).
z0
Demonstrao. Sendo z+z qualquer ponto contido em R e distinto de z, mas que esteja em uma vizinhana de z. Ento
z+z z
F (z + z) F (z) =
z0
f (s) ds
z0
f (s) ds.
Pela propriedade (4) da seo 1.5.2, resulta que F (z + z) F (z) =

z z+z
f (s) ds.
Dividindo ambos os lados por z, pode-se escrever 1 F (z + z) F (z) f (z) = z z

z z+z
1 f (s) ds f (z) = z
z+z
[f (s) f (z)] ds.
Como a funo f (z) contnua em R, ento para cada um nmero positivo , deve existir um outro nmero positivo tal que |f (s) f (z)| < sempre que |s z| < . Desta forma, se z + z prximo o suciente de z de tal forma que |z| < , ento
z z+z
[f (s) f (z)] ds < |z| e, portanto, F (z + z) F (z) 1 f (z) < |z| = . z |z| No limite em que z 0, 0, resultando que F (z + z) F (z) = F (z) = f (z). z0 z lim Portanto, a derivada de F (z) existe em todos os pontos z pertencentes a R. Como consequncia, F (z) analtica em R e sua derivada igual a f (z), demonstrando o teorema. Exemplo 1.10. Clculo de integrais no plano complexo.
Captulo 1. Funes de Uma Varivel Complexa Calcule C dz/ (z a), onde C um contorno fechado simples qualquer, quando z = a est (a) fora de C e (b) dentro de C. Soluo. (a) Se z = a est fora de C, ento f (z) = 1/ (z a) analtica em todos os pontos internos e ao longo de C. Portanto, pelo teorema de Cauchy (1.20), dz = 0. za C
29
(b) Se z = a est dentro de C e uma circunferncia de raio centrada em z = a, de tal forma que est totalmente contido em C (gura 1.15), Figura 1.15: Exemplo de clculo de integrais sobre o plano complexo. ento pelo teorema (1.21), dz dz = . za C za Agora, o contorno dado por todos os pontos z tais |z a| = . Pode-se descrever o contorno na gura 1.15 atravs do parmetro tal que z a = ei , quando 0 Ento dz = iei d e
6 6 2.
0 2
dz = za
iei d =i ei
d = 2i.
1.7
Frmulas integrais de Cauchy
Uma das consequncias mais importantes do teorema integral de Cauchy so as frmulas integrais que tambm levam o seu nome. Pode-se introduzir estas frmulas atravs do seguinte teorema. Teorema 1.16. (Frmula integral de Cauchy). Seja f (z) uma funo analtica em uma regio simplesmente conexa R e z0 um ponto qualquer no interior de R, a qual delimitada pelo contorno simples C, ento 1 f (z) f (z0 ) = dz, (1.22) 2i C z z0 sendo a integrao em (1.22) realizada ao longo de C no sentido positivo (anti-horrio). Demonstrao. Para provar o teorema (1.22), toma-se uma circunferncia , centrada em z0 e com raio r, como ilustrado na gura 1.16. Ento, de acordo com o teorema (1.21), f (z) f (z) dz = dz. z z0 z z0 C Agora, a circunferncia descrita por |z z0 | = r, ou seja, usando o parmetro , z z0 = rei , sendo (0 2) e dz = irei d. Ento
6 6
f (z) dz = z z0
f z0 + rei irei d = i rei
f z0 + rei d.
Tomando-se agora o limite r 0 em ambos os lados e fazendo uso da continuidade de f (z), resulta
C
f (z) dz = lim i r0 z z0
f z0 + re
i
2 r0
lim f z0 + re
i
d = i
0
d = i
0
f (z0 ) d = 2if (z0 ) .
Ou seja, f (z0 ) = 1 2i
f (z) dz. z z0
30
1.7. Frmulas integrais de Cauchy
Figura 1.16: Frmula integral de Cauchy.
Uma forma conveniente para a frmula integral (1.22) escrev-la como 1 f (z ) f (z) = dz , 2i C z z
(1.23)
para enfatizar o fato que z pode ser um ponto qualquer em C. Exemplo 1.11. Calcule a integral C ez dz/ z 2 + 1 , sendo C a circunferncia de raio unitrio e com centro em: (a) z = i e (b) z = i. Soluo. (a) Escrevendo-se a integral na forma
C z
ez z+i
dz , zi
percebe-se que f (z) = e / (z + i) analtica dentro e sobre a circunferncia de raio unitrio centrada em z0 = i. Portanto, pela frmula integral de Cauchy (1.22), temos ez dz ei = 2if (i) = 2i = ei = (cos 1 + i sen 1) . z+i zi 2i C (b) Para a circunferncia centrada em z0 = i, dene-se f (z) = ez / (z i), a qual novamente analtica dentro e sobre C. Ento, usando novamente (1.22) resulta ez dz ei = 2if (i) = 2i = ei = (cos 1 i sen 1) . zi z+i 2i C A frmula integral de Cauchy pode ser generalizada para derivadas de ordem mais alta de f (z). Isto descrito pelo teorema a seguir. Teorema 1.17. (Frmulas integrais de Cauchy para derivadas de ordem mais alta). Seja f (z) uma funo analtica em uma regio simplesmente conexa R e z0 um ponto qualquer no interior de R, a qual delimitada pelo contorno simples C, ento n! f (z)dz f (n) (z0 ) = (1.24) 2i C (z z0 )n+1 e as derivadas de f (z) em z0 existem em todas as ordens. Demonstrao. Uma prova simples, porm incompleta, do teorema (1.24) pode ser feita por intermdio da induo matemtica. Derivando-se ambos os lados de (1.23) em relao a z, obtm-se 1! f (s) f (z) = ds. 2i C (s z)2 Derivando-se novamente, f (z) = 2! 2i
C
f (s) (s z)
3 ds.
E assim sucessivamente, resultando, para a derivada de ordem n, na frmula (1.24). A demonstrao completa desta frmula integral pode ser obtida na bibliograa citada.
31
A frmula (1.24), obtida para uma regio simplesmente conexa, pode ser estendida para o caso onde o contorno simples C substitudo pelo contorno B da gura 1.13, composto por um contorno exterior C e por um conjunto {Ci } de contornos interiores. Para tanto, basta assumir que em (1.24) o ponto z0 pertence ao domnio denido por B e que f (z) analtica neste domnio. Desta forma, a frmula integral de Cauchy pode ser estendida a regies multiplamente conexas. Exemplo 1.12. Calcule
C
e2z (z + 1)
4 dz,
sendo C um contorno simples que no passa por z = 1. Considere 2 casos: (a) C no envolve z = 1 e (b) C envolve z = 1. Soluo. 4 (a) Neste caso, a funo f (z) = e2z / (z + 1) analtica dentro e sobre C. Portanto, pelo teorema de Cauchy, e2z 4 dz = 0. C (z + 1) (b) Chamando agora f (z) = e2z , esta funo analtica dentro e sobre C. Portanto, de acordo com o teorema (1.24), e2z dz 2i (3) 8 2 e2z dz (3) 2 = f (1) . Como f (1) = 8e , resulta i. 4 4 = 3 e 3! C (z + 1) C (z + 1)
1.8
Representao em sries de funes analticas
Ser apresentado agora um ponto muito importante: a representao em sries de funes analticas. Inicialmente ser discutida a noo de convergncia de uma srie complexa. Grande parte das denies e teoremas vlidos para sries de termos reais podem ser aplicadas s sries complexas com uma pequena ou nenhuma modicao.
1.8.1
Sries complexas
Nesta seo, sero consideradas sries complexas em geral, cujos termos so funes complexas, f1 (z) + f2 (z) + f3 (z) + + fn (z) + . A soma dos n primeiros termos desta srie,
n
(1.25)
Sn (z) = f1 (z) + f2 (z) + f3 (z) + + fn (z) =

i=1
fi (z) ,
denominada a n-sima soma parcial da srie (1.25). A soma dos termos restantes, aps o n-simo termo, denominada de resto da srie. 1.8.1.1 Convergncia da srie
Associa-se agora srie (1.25) a sequncia de suas somas parciais S1 , S2 , . . . , Sn . Se esta sequncia de somas parciais convergente, ento a srie converge; se a sequncia divergente, ento a srie tambm diverge. De uma maneira mais formal, a srie (1.25) dita convergente soma S(z) em uma regio R do plano complexo se para qualquer > 0 existe um inteiro N , dependente de e do valor de z sob considerao, tal que |Sn (z) S (z)| < para todo n > N. Neste caso, escreve-se S (z) = lim Sn (z)
n n=1
fn (z) .
(1.26)
A diferena Sn (z) S (z) o resto Rn (z). Assim, a denio de convergncia da srie (1.25) demanda que lim |Rn (z)| = 0.
n
32
1.8. Representao em sries de funes analticas
Teorema 1.18. (Teoremas de convergncia). Os seguintes teoremas de convergncia so vlidos: 1. Uma condio necessria, mas no suciente, para que Sn (z) convirja no limite n
n
lim fn (z) = 0.
2. A multiplicao de cada termo de uma srie por uma constante no nula no afeta a convergncia, assim como a remoo ou adio de um nmero nito de termos. 3. Uma condio necessria e suciente para que a srie de termos complexos
fn (z) = f1 (z) + f2 (z) + f3 (z) + + fn (z) +

n=1
seja convergente que as sries das respectivas partes reais e imaginrias dos termos fn (z) sejam convergentes. Alm disso, se

Re fn e
n=1 n=1
Im fn
convergem s respectivas funes R (z) e I (z), ento a srie complexa converge para S (z) = R (z) + iI (z). 1.8.1.2 Convergncia absoluta
Se os valores absolutos dos termos em (1.25),
|fn (z)| = |f1 (z)| + |f2 (z)| + |f3 (z)| + + |fn (z)| + ,
n=1
formam uma srie convergente, ento a srie (1.25) dita absolutamente convergente. Se a srie (1.25) converge, mas no absolutamente convergente, ento esta dita condicionalmente convergente. A partir da denio de convergncia, pode-se demonstrar os teoremas a seguir. Teorema 1.19. (Teoremas de convergncia absoluta). Os seguintes teoremas so vlidos. 1. Se
n=1
|fn (z)| converge, ento
n=1
fn (z) tambm converge (condio suciente).
2. A soma, diferena ou o produto de sries absolutamente convergentes convergente. 1.8.1.3 Seja Rn (z) = fn+1 (z) + fn+2 (z) + = S (z) Sn (z) o resto da srie S (z), dada por (1.26), sobre uma regio R. A srie S (z) dita uniformemente convergente em R se, dado um nmero real positivo , possvel encontrar um nmero inteiro positivo N , tal que para todo z R, |Rn (z)| = |S (z) Sn (z)| < , para todo n > N. Convergncia uniforme
1.8.2
Testes de convergncia
Os testes de convergncia determinam uma condio necessria e suciente para a convergncia de uma determinada srie. H vrios testes, dentre os quais os principais sero citados sem as demonstraes, as quais podem ser obtidas na bibliograa recomendada.
Captulo 1. Funes de Uma Varivel Complexa 1.8.2.1 Testes de convergncia absoluta
33
Para testar a convergncia absoluta de uma srie, os seguintes testes existem: Teste da comparao. Se n=1 |gn (z)| converge absolutamente em R e |fn (z)| n=1 |fn (z)| tambm converge absolutamente.
6 |g
(z)|, z R, ento
Teste da razo. Dentre todos os testes de convergncia, o mais til o teste da razo, o qual se aplica a sries complexas, alm de sries reais. Dada a srie n=1 fn (z), esta converge absolutamente na regio R se fn+1 (z) <1 (1.27) 0 < |r (z)| = lim n fn (z) e diverge se |r (z)| > 1. Quando |r (z)| = 1, este teste no fornece informao a respeito da convergncia da srie. Teste da raiz. Dada a srie
n=1
fn (z), esta converge absolutamente na regio R se 0 < |r (z)| = lim

n
|fn (z)| < 1
e diverge se |r (z)| > 1. Quando |r (z)| = 1, este teste no fornece informao a respeito da convergncia da srie. Exemplo 1.13. (Teste da razo). Mostre que a srie complexa
S (z) =
n=0
2n + ien
converge. Soluo. Pode-se aplicar o teste da razo separadamente para as partes real e imaginria: lim 1 2n1 = <1 e n 2 2 lim 1 en1 = < 1. n e e
Portanto, a srie absolutamente convergente. 1.8.2.2 Teste de convergncia uniforme
O seguinte teste verica a convergncia uniforme de uma srie. Teste de Weierstrass. Se |fn (z)| Mn , sendo Mn independente de z em uma regio R e converge, ento n=1 fn (z) converge uniformemente em R.
n=1
Mn
1.8.3
Sries de potncias e sries de Taylor
Sries de potncias constituem-se em uma das mais importantes ferramentas da anlise matemtica em geral e da teoria de funes complexas em particular. Isto porque sries de potncias com raios de convergncia no nulos podem sempre representar funes analticas. Como exemplo, a srie
S1 (z) =
n=0
an z n
(1.28)
claramente dene uma funo analtica, desde que a srie convirja. Nesta seo, o interesse estar restrito s sries que apresentam convergncia absoluta. Neste caso, o teste da razo (1.27) demanda que lim an+1 1 an+1 an+1 z n+1 > lim = lim |z| < 1 = . n an z n an |z| n an
O resultado acima mostra que a srie ir convergir absolutamente para todos os pontos z cujos mdulos satisfazem a condio |z| < R, sendo R o raio de convergncia da srie , denido por 1 an+1 = lim . R n an
Autor: Rudi Gaelzer IFM/UFPel Incio: Abril de 2010
(1.29)
34
A srie (1.28) est centrada na origem do plano complexo; assim, o raio de convergncia R em (1.29) dene uma circunferncia centrada na origem. De forma similar, a srie
S2 (z) =
n=0
an (z z0 )
(1.30)
converge para todos os pontos z dentro da circunferncia de raio R centrada em z0 . A srie de potncias mais importante na anlise matemtica a srie de Taylor. Na anlise complexa possvel realizar-se uma expanso de Taylor para toda e qualquer funo analtica. Esta propriedade devida ao homnimo teorema de Taylor (devido ao matemtico ingls Brook Taylor, 16851731), exposto a seguir. Teorema 1.20. (Teorema de Taylor). Seja f (z) uma funo analtica sobre a regio R, delimitada pela circunferncia C centrada em a e de raio R0 . Se z um ponto interior a C, ento f (z) pode ser expandida em uma srie de Taylor centrada em z = a, f (z) = f (a) + f (a) (z a) + f (n) (a) f (n) (a) f (a) 2 n n (z a) + + (z a) + = (z a) , (1.31) 2! n! n! n=0
a qual converge para f (z) quando |z z0 | < R0 . Demonstrao. Seja z qualquer ponto interior circunferncia C0 . Portanto, se |z a| = r, ento r < R0 . Seja agora uma outra circunferncia C1 , centrada em a e de raio r1 , tal que r < r1 < r0 . Uma vez que z est dentro de C1 e f (z) analtica no interior e sobre C1 , a frmula integral de Cauchy (1.23) vlida, a qual escrita da seguinte maneira: 1 f (w) dw f (w) 1 1 f (z) = = dw. 2i C1 w z 2i C1 (w a) 1 (z a) / (w a) Nota-se que, na integral acima, como w est sempre ao longo de do contorno C1 e z um ponto interior a C1 , ento za < 1, w. wa Agora, a partir da frmula de progresso geomtrica 1 + q + q2 + + qn = obtm-se 1 q n+1 1 q n+1 = , 1q 1q 1q
1 q n+1 = 1 + q + q2 + + qn + . 1q 1q
Denindo-se ento q = (z a) / (w a), e inserindo a progresso geomtrica resultante na frmula integral acima, resulta 1 f (z) = 2i
C1
f (w) dw (z a) + (w a) 2i
2 (z a) f (w) dw 2 + 3 2i C1 (w a) C1 (w a) n n+1 (z a) f (w) dw f (w) dw (z a) + + + . n+1 n+1 2i 2i (w z) C1 (w a) C1 (w a)
f (w) dw
Contudo, nesta situao as frmulas integrais de Cauchy (1.24) garantem que 1 f (w)dw f (n) (a) ; n+1 = 2i C1 (w a) n! portanto, pode-se escrever a expresso para f (z) como f (z) = f (a) + f (a) (z a) + sendo f (a) f (n) (a) 2 n (z a) + + (z a) + Rn+1 (z) , 2! n!
n+1
(z a) Rn+1 (z) = 2i
C1
f (w) dw (w a)
n+1
(w z)
35
o resto da expanso para f (z) na forma de um polinmio de grau n. Porm, uma vez que |z a| = r e |w a| = r1 em C1 , nota-se que |w z| = |(w a) (z a)|
> |w a| |z a| = r 6 r r(r
n 1 n+1
r > 0.
Em consequncia, se M > 0 o mdulo do maior valor de f (z) ao longo de C1 , pode-se estabelecer um limite superior para |Rn+1 (z)|, dado por |Rn+1 (z)| = (z a) 2i
n+1
C1
f (w) dw (w a)
n+1
(w z)
M Mr = r1 r 1 r)
r r1
Portanto, como r/r1 < 1, se n , o resto da srie resultante tender a zero,

n
lim Rn+1 (z) = 0,
e a srie converge para f (z), o que demonstra o teorema de Taylor. No caso particular onde a = 0, a srie de Taylor (1.31) para f (z) denominada srie de Maclaurin (Colin Maclaurin, 16981746, matemtico escocs). Com as frmulas integrais de Cauchy (1.24) e a srie de Taylor (1.31), cam estabelecidas duas propriedades fundamentais das funes analticas: 1. Elas possuem derivadas de todas as ordens. 2. Elas sempre podem ser representadas por uma srie de Taylor. O mesmo no pode ser dito sobre as funes reais; existem funes reais que possuem derivadas de todas as ordens, mas que no podem ser representadas por uma srie de Taylor. As principais propriedades de sries de potncias podem ser resumidas nos seguintes teoremas. Teorema 1.21. Teoremas sobre sries de potncias. 1. Uma srie de potncias converge uniformemente e absolutamente em qualquer regio interior ao seu raio de convergncia. 2. Uma srie de potncias pode ser diferenciada termo a termo em qualquer ponto interno ao seu raio de convergncia. 3. Uma srie de potncias pode ser integrada termo a termo ao longo de qualquer curva C, desde que C esteja contida dentro do seu crculo de convergncia. 4. Uma srie de potncias representa uma funo analtica em cada ponto de seu crculo de convergncia.
Sries de Taylor de funes elementares

Sries de Taylor de funes analticas so similares s series de funes reais. Em geral, basta trocar a varivel independente real pela varivel complexa z para que as sries reais sejam continuadas para o plano complexo. A lista a seguir mostra as sries de Taylor de algumas funes elementares; no caso de funes plurvocas, a srie apresentada representa o ramo principal. 1 n = (1) z n 1 + z n=0 e = sen z = cos z = senh z =
z
= 1 z + z2 , =1+z+ z2 + , 2!
|z| < 1 |z| < |z| < |z| < |z| <
(1.32a) (1.32b) (1.32c) (1.32d) (1.32e)
zn n! n=0
n
(1) z 2n+1 z3 z5 =z + , (2n + 1)! 3! 5! n=0 (1) z 2n (2n)! n=0 z 2n+1 (2n + 1)! n=0
n
=1 =z+
z2 z4 + , 2! 4! z3 z5 + + , 3! 5!
36
Figura 1.17: (a) Anel R1 6 |z z0 | 6 R2 que representa a regio de analiticidade da funo. (b) Contornos de integrao interior (C1 ) e exterior (C2 ), utilizados para a derivao da srie de Laurent.
cosh z = ln (1 + z) =
z 2n (2n)! n=0
=1+ zn =z
z2 z4 + + , 2! 4! z2 z3 + , 2 3
|z| < |z| < 1.
(1.32f) (1.32g)
(1)
n+1
n=0
1.8.4
Sries de Laurent
Em muitas aplicaes, comum deparar-se com funes que no so analticas sobre todo o plano complexo.2 Tipicamente, estas funes no so analticas em um ou vrios pontos ou at em uma regio do plano. Por consequncia, sries de Taylor no podem ser empregadas nas vizinhanas destes pontos. Contudo, em muitos casos, uma representao em srie contendo potncias tanto positivas quanto negativas pode ainda ser obtida, a qual vlida nesta vizinhana. Esta srie denominada srie de Laurent e vlida para aquelas funes que so analiticas dentro e sobre um anel caracterizado pelos raios R1 e R2 (R1 < R2 ); isto , a funo analtica nos pontos R1
6 |z z | 6 R ,
0 2
sendo z = a um dos pontos singulares da funo. Esta situao est representada na gura 1.17a. A srie de Laurent foi obtida pela primeira vez pelo matemtico francs Pierre Alphonse Laurent (1813 1854). Teorema 1.22. (Srie de Laurent). Seja f (z) uma funo analtica ao longo dos contornos circulares concntricos C1 e C2 , de raios R1 e R2 (R1 < R2 ), respectivamente, bem como na regio anelar delimitada por C1 e C2 . Ento em cada ponto z nesta regio, a funo f (z) pode ser representada pela srie
f (z) =
n=0
an (z z0 ) +
bn n, (z z0 ) n=1
(1.33a)
onde an = bn = 1 2i 1 2i
C2
f (z) dz (z z0 ) f (z) (z z0 )
n+1 n+1 dz,
(1.33b) (1.33c)
C1
sendo cada contorno de integrao realizado no sentido anti-horrio.

2 Isto
, no so inteiras.
37
Demonstrao. Realiza-se a integrao ao longo do contorno mostrado na gura 1.17b. Como f (z) analtica ao longo e no interior do contorno e z um ponto que pertence a esta regio, a frmula integral de Cauchy (1.22) pode ser utilizada, resultando em f (w) dw 1 f (w) dw 1 . f (z) = 2i C2 w z 2i C1 w z Na primeira integral, escreve-se 1 1 1 1 = = wz w z0 1 (zz0 ) w z0
(wz0 ) j
j=0
z z0 w z0
sendo que a ltima identidade vlida porque |z z0 | < |w z0 | = R2 , para todo w ao longo de C2 . J na segunda integral, escreve-se 1 1 1 1 1 = = = wz z z0 (w z0 ) z z0 1 (wz0 ) z z0
(zz0 )
j=0
w z0 z z0
sendo que agora a ltima identidade vlida porque |w z0 | = R1 < |z z0 |. Ento, pode-se escrever f (z) como f (w) dw f (w) dw 1 1 1 j f (z) = (z z0 ) + j+1 j j+1 2i C2 (w z0 ) 2i C1 (w z0 ) (z z0 ) j=0 j=0 f (w) dw 1 f (w) dw 1 1 j (z z0 ) + , = j+1 j+1 j 2i C2 (w z0 ) 2i C1 (w z0 ) (z z0 ) j=1 j=0 de onde resulta (1.33). Em (1.33a,b), a srie com os coecientes {an } denominada a parte analtica, ao passo que em (1.33a,c) a srie com os coecientes {bn } denominada a parte principal da srie de Laurent. Se a parte principal for nula, a srie de Laurent se reduz srie de Taylor (1.31). n+1 n+1 Uma vez que as funes f (z)/ (z z0 ) e f (z)/ (z z0 ) so analticas sobre toda a regio R na gura 1.17b, qualquer contorno simples fechado C contido dentro deste anel pode ser usado como caminho de integrao, desde que percorrido no sentido positivo, no lugar dos contornos circulares C1 e C2 . Assim, a srie de Laurent (1.33) pode ser generalizada como
f (z) =
n
cn (z z0 ) ,
C
(R1 < |z z0 | < R2 ) ,
(1.34a)
sendo
1 cn = 2i
f (z) dz (z z0 )
n+1 ,
(n = 0, 1, 2, . . . ) .
(1.34b)
1.8.5
Teoremas de existncia e unicidade
A seguir sero apresentados, sem demonstrao, dois teoremas de existncia e unicidade das sries de Laurent. Demonstraes destes teoremas podem ser encontradas na bibliograa citada, em particular nos livros de Churchill et alli [? ] e Ablowitz & Fokas [? ]. Teorema 1.23. (Teorema de existncia). A srie de Laurent (1.34a,b) de uma funo f (z), analtica na regio anelar R1 |z z0 | R2 , converge uniformemente para f (z) para 1 |z z0 | 2 , sendo R1 < 1 e R2 > 2 . Teorema 1.24. (Teorema de unicidade). Dada uma funo analtica f (z), se esta pode ser representada pela srie uniformemente convergente
f (z) = na regio anelar R1 por (1.34b).
bn (z z0 )
n
6 |z z | 6 R , ento b
0 2
= cn , para n = 0, 1, 2, . . . , sendo o coeciente cn dado
38
1.8.6
Algumas tcnicas de construo de sries de Taylor e Laurent
Nos exemplos a seguir, sero ilustradas algumas das tcnicas mais comuns para a construo das sries de Taylor e Laurent. Em muitas situaes, no ocorre a necessidade de se calcular explicitamente os coecientes {cn } da srie, pois o teorema de unicidade acima garante que qualquer srie que represente uma funo f (z) , de fato, a nica srie de Laurent para a mesma. Usualmente, para se obter a srie de Laurent de uma dada funo f (z), basta fazer uso de expanses de Taylor de funes conhecidas e realizar substituies de forma apropriada. Exemplo 1.14. Uso de sries geomtricas. Seja f (z) = Sabendo-se que 1 + z + z2 + z3 + =
n=0
1 . za zn = 1 , 1z (|z| < 1) ,
pode-se escrever, para |z| < |a|: f (z) = z 1 1 1 1 = = za a 1 z/a a n=0 a

n
(|z| < |a|) .
Esta a srie de Taylor de f (z) em torno de z = 0. Seu raio de convergncia R = |a|, porque a uma distncia R da origem existe o ponto z = a, onde f (z) no analtica. Este o nico ponto onde f (z) no analtica. Portanto, f (z) deve possuir uma srie de Laurent em torno de z = 0 vlida para |z| > |a|. Escrevendo-se f (z) = se |z| > |a|, |a/z| < 1 e possvel desenvolver: 1 a = 1 a/z n=0 z Portanto, f (z) = 1 a 1 = za z n=0 z
n n
1 1 1 = , za z 1 a/z
=
n=0
an z n+1
(|z| > |a|) .
Esta a srie de Laurent desejada. A funo f (z) pode ser espandida por este mtodo em torno de qualquer ponto z = b: f (z) = Ento, f (z) = ou f (z) =
n=0
1 1 1 w=zb = , za (z b) (a b) w (a b)
n
(b = a) .
1 wn 1 (z b) = , a b n=0 (a b)n a b n=0 (a b)n
(|z b| < |a b|)
(a b) (z b)
n+1 ,
(|z b| > |a b|) .
Exemplo 1.15. Decomposio em fraes racionais. Seja f (z) = z2 1 . (2 + i) z + 2i
Esta funo no analtica nos pontos z = i e z = 2; portanto, ela deve possuir uma srie de Taylor em torno de z = 0, vlida para |z| < 1 e duas sries de Laurent em torno de z = 0, vlidas para 1 < |z| < 2 e |z| > 2, respectivamente. Para se obter estas trs sries, usa-se a identidade: f (z) = z2 1 1 1 = = (2 + i) z + 2i (z i) (z 2) 2i
1 1 z2 zi
Captulo 1. Funes de Uma Varivel Complexa Para |z| < 1. Neste caso, pode-se usar diretamente a srie geomtrica: 1 1 1 z 1 = = z2 2 1 z/2 2 n=0 2
n
39
, (|z| < 2)
1 1 n =i =i (iz) , (|z| < 1) . zi 1 + iz n=0 Subtraindo as sries, pode-se colocar em evidncia fatores proporcionais mesma potncia de z, z 1 1 1 = z2 zi 2 n=0 2
n
i
n=0
(iz) =
n=0
1 n + (1) in+1 z n , 2n+1
de onde se obtm a srie de Taylor de f (z), vlida para |z| < 1. Para 1 < |z| < 2. Neste caso, escreve-se: 1 1 1 z 1 = = z2 2 1 z/2 2 n=0 2 1 1 1 1 = = z i z 1 i/z z n=0
n
, (|z| < 2) , (|z| > 1) .
i z
Subtraindo-se ambas as sries, obtm-se a srie de Laurent para 1 < |z| < 2. Para |z| > 2. Neste caso, escreve-se: 1 1 1 1 = = z 2 z 1 2/z z n=0 1 1 1 1 = = z i z 1 i/z z n=0

2 z i z
, (|z| > 2)
n
, (|z| > 1) .
Subtraindo-se ambas as sries, obtm-se a srie de Laurent para |z| > 2, a qual composta somente pela parte principal. Exemplo 1.16. Uso de sries de Taylor conhecidas. Fazendo-se uso das sries de Taylor para as funes ez e sen z, expresses (1.32b) e (1.32c), respectivamente, as seguintes sries de Laurent podem ser obtidas:
n sen z 2 1 (1) z 4n2 1 z2 z6 z 10 = 2+ = 2 + + , z4 z (2n + 1)! z 3! 5! 7! n=1
|z| > 0
ez 1 1 z n2 = 2+ + z2 z z n=2 n! e1/z =1 + 1 n!z n n=1
1 1 1 z z2 + + + + + , |z| > 0 z2 z 2! 3! 4! 1 1 1 + + + , 2 z 2!z 3!z 3 |z| > 0.
=1+
Exemplo 1.17. Obteno da srie de Laurent por diferenciao. Seja, por exemplo, f (z) = 1 (z 1)
2.
Para esta funo, no se pode aplicar diretamente a expresso para a srie geomtrica. Contudo, sabendo-se que para z = 0 1 d 1 , 2 = dz 1z (z 1) agora pode-se usar a srie geomtrica, resultando f (z) =
1 (z 1)
2
d dz
1 1z
d dz
zn.
n=0
40
Esta srie pode ser diferenciada termo a termo dentro de seu crculo de convergncia (|z| < 1), de onde se obtm: 1 f (z) = = (n + 1) z n = 1 + 2z + 3z 2 + 4z 3 + . 2 (z 1) n=0 Exemplo 1.18. Obteno da srie de Laurent por integrao. Seja, por exemplo, f (z) = ln (1 + z) = ln |1 + z| + i arg (1 + z) , onde se assume que o plano z ca restrido ao ramo principal da funo logartmica. Sabendo-se que z 1 dw d ln (1 + z) = , ento ln (1 + z) = , dz 1+z 0 1+w pode-se desenvolver 1 n = 1 z + z2 z3 + z4 + = (1) z n , (|z| < 1) , 1+z n=0 e integrar termo a termo: z z n dw (1) z n+1 z2 z3 z4 n ln (1 + z) = wn dw = = (1) =z + + . n+1 2 3 4 0 1+w 0 n=0 n=0
1.8.7
Sries de Laurent de funes elementares
Sem demonstrao, apresenta-se a seguir algumas sries de Laurent de funes elementares desenvolvidas em torno de z0 = 0: 1 cotan z = z 1 cotanh z = + z z z3 2z 5 (1) 22n B2n 2n1 z 3 45 945 (2n)! z z3 2z 5 22n B2n 2n1 + + z + 3 45 945 (2n)!
n1 n1
(|z| < ) (|z| < ) (|z| < ) (|z| < ) ,
(1.35a) (1.35b) (1.35c) (1.35d)
(1) 1 z 7z 3 31z 5 cosec z = + + + + + z 6 360 15120
2 22n1 1 B2n 2n1 z + (2n)!
2 22n1 1 B2n 2n1 1 z 7z 3 31z 5 cosech z = + + z + z 6 360 15120 (2n)! sendo {Bn } os nmeros de Bernoulli, dados por 1 1 1 1 B0 = 1, B1 = , B2 = , B4 = , B6 = , B2n1 = 0, Bn = n! 2 6 30 42
n1
k=0
Bk (n k! (n + 1 k)!
> 2) .
1.8.8
Classicao de singularidades
Na seo 1.8.6 observou-se que sempre que a funo f (z) possui alguma singularidade em um dado ponto z0 , a sua srie de Laurent possui uma parte principal no nula, a qual pode conter um nmero nito ou innito de termos. O nmero de termos contidos na parte principal serve como um critrio adicional, alternativo aos critrios denidos na seo 1.4.7, de classicao do tipo de singularidade que f (z) possui em z0 . 1.8.8.1 Polos
Se a srie de Laurent da funo f (z) possuir um nmero nito de termos na sua parte principal, ento esta singularidade um polo, cuja ordem dada pela potncia mais alta na parte principal. Exemplo 1.19. Polos. A funo f (z) = e2z (z 1)
3
e2 (z 1)
3
2e2 (z 1)
2
2e2 4 2 + e2 + e2 (z 1) + z1 3 3
(1.36)
possui um polo de ordem 3 em z = 1.

Captulo 1. Funes de Uma Varivel Complexa 1.8.8.2 Singularidades essenciais
41
Se a srie de Laurent da funo f (z) possuir um nmero innito de termos na sua parte principal, ento a funo possui uma singularidade essencial. Exemplo 1.20. Singularidades essenciais. A funo f (z) = e1/z = 1 + possui uma singularidade essencial em z = 0. 1.8.8.3 Singularidaes removveis 1 1 1 + + + z 2!z 2 3!z 3
Neste caso, a srie de Laurent de f (z) possui apenas parte analtica. Exemplo 1.21. Singularidades removveis. A funo sen z z2 z4 z6 =1 + + z 3! 5! 7! possui uma singularidade removvel em z = 0. f (z) =
1.9
Integrao no plano complexo pelo mtodo dos resduos
Nesta seo, o teorema de Cauchy ser estendido a casos onde o integrando no analtico; por exemplo, se o integrando possui pontos singulares isolados. Cada singularidade isolada contribui com um termo ao resultado da integral, sendo este termo proporcional ao resduo da singularidade. Esta propriedade, discutida pelo teorema dos resduos, muito til para o clculo de integrais denidas, no somente no plano complexo, mas tambm puramente reais. Em muitas situaes, o teorema dos resduos consiste no nico mtodo capaz de resolver a integral. O mesmo teorema tambm til na soluo de certas equaes diferenciais ordinrias ou parciais.
1.9.1
Resduos
Seja f (z) unvoca e analtica no interior e sobre um contorno fechado simples C, exceto em um ponto z = z0 , o qual por hiptese interno a C. Se o ponto z0 uma singularidade isolada de f (z), ento existe, de acordo com o teorema 1.22, um nmero real R1 > 0 tal que para 0 < |z z0 | < R1 a funo f (z) pode ser desenvolvida em termos de uma srie de Laurent (1.34),
f (z) =
n=0
cn (z z0 ) +
C
c1 c2 + 2 + , z z0 (z z0 ) f (z)dz (z z0 ) f (z)dz.
C
(1.37)
onde cn = Em particular, para n = 1 obtm-se que c1
1 2i
n+1 .
1 = 2i
(1.38)
O nmero complexo c1 , o qual o coeciente de 1/ (z z0 ) na expanso (1.37), denominado o resduo de f (z) no ponto singular isolado z0 . Este resultado tambm pode ser obtido de uma maneira mais formal integrando-se (1.37) em ambos os lados ao longo de C: c2 c1 n dz f (z) = cn dz (z z0 ) + dz + dz 2 + . z z0 (z z0 ) C C C C n=0 De acordo com o teorema de Cauchy (teorema (1.10)) ou com o exemplo (1.9), dz n+1 = 2in0 , C (z z0 )
42 resultando em
1.9. Integrao no plano complexo pelo mtodo dos resduos dz f (z) = 2ic1 ,
C
de onde resulta o resduo (1.38). comum usar-se tambm a notao Res f (z0 ) 1 2i f (z)dz = c1 .
C
A frmula (1.38) consiste em um mtodo poderoso para calcular certas integrais ao longo de contornos simples fechados. Para tanto, basta conhecer o valor do coeciente c1 da srie de Laurent associada funo que est sendo integrada. Exemplo 1.22. Calcule a integral
C
ez dz
(z 1)
2,
sendo Cdenido por |z| = 2.
Soluo. O nico ponto singular do integrando z = 1, um polo simples interior circunferncia |z| = 2. Desenvolvendo ez em uma srie de Taylor em torno do ponto z = 1, resulta a srie de Laurent ez (z 1)
2
e1 (z 1)
2
e1 (1) n2 + e1 (z 1) , (|z 1| > 0) , z1 n! n=2
cujo resduo em z = 1 c1 = e1 . Portanto,

C
ez dz
2
(z 1)
2i . e
Exemplo 1.23. Calcule a integral
exp
C
1 z2
dz
ao longo do mesmo contorno do exemplo anterior. Soluo. O ponto singular do integrando agora z = 0, a qual uma singularidade essencial. Empregando a srie de MacLaurin para ez , pode-se escrever exp 1 z2 = 1 1 1 =1+ 2 + + , (|z| > 0) . n!z 2n z 2!z 4 n=0
Portanto, o resduo em z = 0 c1 = 0 e, assim, exp

C
1 z2
dz = 0.
Observao. Se f (z) for uma funo analtica em z = z0 , o resduo Res f (z) = c1 , obviamente zero. Contudo, se z0 for um ponto singular isolado, o resduo neste ponto pode ou no ser nulo.
1.9.2
Teorema dos resduos
Se uma funo f (z) possui um nmero nito de pontos singulares no interior de algum contorno simples fechado C, a integral de f (z) ao longo deste contorno ser dada pela soma dos respectivos resduos da funo. Este resultado garantido pelo teorema dos resduos de Cauchy, descrito a seguir. Teorema 1.25. (Teorema dos resduos). Seja f (z) uma funo analtica no interior e ao longo de um contorno simples fechado C, exceto em um nmero nito de pontos singulares isolados z1 , . . . , zn localizados no interior de C. Se bj = Res f (zj ) (j = 1, . . . , n) so os respectivos resduos de f (z) nestes pontos singulares, ento n f (z)dz = 2i bj = 2i (b1 + b2 + + bn ) . (1.39)
C j=1
43
Figura 1.18: Contorno C utilizado na demonstrao do teorema dos resduos. Os pontos {zj } (j = 1, . . . , n) so pontos singulares do integrando.
Demonstrao. Considera-se o contorno exterior C representado na gura 1.18. Deformando-se este contorno com os segmentos de reta e as circunferncias {Cj } ilustradas na gura, o contorno B = C + j (Cj ) passa a ser simplesmente conexo. Ento, de acordo com o teorema de deformao do contorno (teorema 1.12), resulta n f (z)dz. f (z)dz =
C j=1 Cj
Como f (z) possui uma expanso de Laurent (1.37) em torno de cada ponto singular zj , resulta a expresso (1.39).
1.9.3
Clculo de resduos
Alguns mtodos bsicos de obteno dos resduos de uma funo f (z) sero agora discutidos. 1.9.3.1 Primeiro mtodo: direto da denio
Calcula-se o resduo de f (z) no ponto z0 direto da denio (1.38), 1 Res f (z0 ) = f (z)dz, 2i C sendo C o contorno que envolve somente o ponto singular z0 . Este mtodo pouco utilizado, mas pode ser til se f (z) tem a primitiva (F (z) = f (z)) conhecida e possui um ponto de ramicao em z = z0 . Exemplo 1.24. Calcule resduo de f (z) = 1/z em z = 0. Soluo. Esta funo possui a primitiva conhecida, F (z) = ln z, sendo que o ponto z = 0 um ponto de ramicao, com a linha de ramicao ao longo do eixo real positivo. No ramo principal, F (z) = ln r + i, onde z = rei . Para evitar a linha de ramicao, o contorno C deve ser inicialmente disconexo (aberto), sendo o mesmo fechado por um processo de limite, conforme mostra a gura 1.19. Assim, B 1 dz 1 1Figura 1.19: Contorno de integrao para o Res f (z0 = 0) = lim = lim (ln B ln A) = exemplo 1.24. ) = 1. lim i (2 2i BA A z 2i BA 2i 0 1.9.3.2 Segundo mtodo: polos de ordem m em z = z0
Se f (z) analtica no interior e ao longo de um contorno fechado simples C, exceto por um polo de ordem m em z = z0 , ento Res f (z0 ) = 1 dm1 m lim [(z z0 ) f (z)] . (m 1)! zz0 dz m1
Incio: Abril de 2010 Impresso: 16 de agosto de 2011
44
1.9. Integrao no plano complexo pelo mtodo dos resduos
Demonstrao. Se f (z) possui um polo de ordem m em z = z0 , ento da denio de polo (1.16) e pela m propriedade das sries de Laurent (1.36), segue ser possvel escrever f (z) = g(z)/ (z z0 ) , sendo g(z) uma funo analtica em R. Ento 1 1 g(z) dz. Res f (z0 ) = f (z)dz = 2i C 2i C (z z0 )m Pela frmula integral de Cauchy (1.24), resulta Res f (z0 ) = 1 g (m1) (z0 ) (m 1)! = dm1 1 m [(z z0 ) f (z)] . lim (m 1)! zz0 dz m1
Exemplo 1.25. Calcule os resduos de: z (a) f (z) = 2. (z 1) (z + 1) Soluo. Os polos so: z = 1 (polo simples) e z = 1 (polo duplo). Ento, Res f (1) = lim (z 1)
z1
z (z 1) (z + 1)
2
1 , 4 1 = . 4
Res f (1) = lim
z1
d z 2 (z + 1) 2 dz (z 1) (z + 1)
tan z (b) f (z) = 2 . z Soluo. H somente um polo simples em z = 0, pois

z0
lim z
tan z sen z 1 = lim lim = 1. 2 z0 z z z0 cos z
Portanto, Res f (0) = 1. (c) f (z) = cot z. Soluo. Os polos so z = n, os quais so de primeira ordem. Ento, Res f (n) = lim (z n) cot z = lim cos z lim
zn zn zn
z n n n = (1) (1) = 1. sen z
1.9.3.3
Terceiro mtodo: resduo de uma funo racional
Este mtodo se aplica quando a funo f (z) possui um polo simples em z0 e pode ser escrita na forma racional p(z) f (z) = , q(z) sendo p(z) e q(z) funes analticas, com q (z0 ) = 0 e p (z0 ) = 0. Neste caso, Res f (z0 ) = p (z0 ) , desde que q (z0 ) = 0. q (z0 )
Demonstrao. Como z0 por hiptese um polo simples, pode-se escrever (z z0 ) f (z) = (z z0 ) p (z0 ) + p (z0 ) (z z0 ) + p (z0 ) (z z0 ) /2! + q (z0 ) +q (z0 ) (z z0 ) + q (z0 ) (z z0 ) /2! +
=0 2 2
= Ento,
p (z0 ) + p (z0 ) (z z0 ) + p (z0 ) (z z0 ) /2! + . q (z0 ) + q (z0 ) (z z0 ) /2! + p (z0 ) . q (z0 )
Res f (z0 ) = lim (z z0 ) f (z) =

zz0
Captulo 1. Funes de Uma Varivel Complexa Exemplo 1.26. Calcule o resduo em z = 0 para f (z) = Soluo. O resduo dado por: Res f (0) = 1.9.3.4 ez cos z = 1.
z=0
45
ez . sen z
Quarto mtodo: pelo desevolvimento em srie de Laurent
Quando z = z0 uma singularidade essencial, este o nico mtodo disponvel. Deve-se ento primeiramente construir a srie de Laurent de f (z) a partir dos mtodos discutidos na seo 1.8.6, ou a partir de outro mtodo. Ento, o resduo ser simplesmente fornecido pelo coeciente c1 , de acordo com a denio (1.38). Exemplo 1.27. Calcule o resduo de: (a) f (z) = e1/z em z = 0. Soluo. De acordo com o exemplo 1.16, e1/z = 1 + 1 1 1 + + , (c1 = 1) , + z 2!z 2 3!z 3
ento Res f (0) = 1. 2 (b) f (z) = e1/z em z = 0. Soluo. Aqui pode-se usar novamente o exemplo 1.16, resultando e1/z = 1 ento Res f (0) = 0.
2
1 1 1 + + , (c1 = 0) , 2 4 z 2!z 3!z 6
1.9.4
Clculo de integrais denidas ou imprprias
O teorema dos resduos pode ser usado para calcular uma grande variedade de integrais, tanto denidas quanto imprprias, reais ou complexas. necessrio, contudo, escolher-se o contorno integrao C de uma forma adequada. Alguns do procedimentos mais frequntes so ilustrados nas sees seguintes. As integrais ilustradas podem aparecer em problema fsicos, especialmente na soluo de problemas de contorno em equaes diferenciais parciais. 1.9.4.1 Integrais do tipo I: funes racionais
Aqui sero consideradas integrais do tipo
N (x) dx, D(x)
onde N (x) e D(x) so dois polinmios reais que satisfazem as seguintes condies: 1. D(x) = 0, x R, isto , D(x) no possui razes no eixo real. Isto implica que o grau do polinmio necessariamente par. 2. O grau de D(x) maior que o grau de N (x) por um fator de 2, no mnimo. A ltima hiptese necessria para garantir a convergncia da integral. Considera-se ento a seguinte integral de contorno R N (z) N (x) N (z) dz = dx + dz, D(z) D(x) R C CR D(z) onde R > 0. As funes N (z) e D(z) so as continuaes analticas dos polinmios reais para o plano complexo, obtidas pela substituio (x z). A curva simples CR consiste em um semi-crculo de raio R localizado ou no semi-plano complexo superior ou no inferior e que fecha o contorno C com a reta [R, R] no eixo real, conforme ilustrado na gura 1.20. Desta forma, o contorno fechado C pode envolver parte das ou todas as N razes de D(z) no semi-plano superior ({zj }, onde j = 1, . . . , N ) quando CR est nesta
46
Figura 1.20: (a) Contorno CR no semi-plano superior. (b) Contorno CR no semi-plano inferior.
regio (gura 1.20a) ou os seus complexos conjugados ({j } , j = 1, . . . , N ) quando CR est no semi-plano z inferior (gura 1.20b). Ao se fazer R , o contorno C engloba todas as N razes de D(z) em um dos semi-planos. Portanto, pelo teorema dos resduos (1.39), R N N (x) N (z) N (z) N (z) , lim dz = lim dx + lim dz = 2i Res R C D(z) R R D(x) R C D(z) D(z) z=zj R j=1 sendo {zj } as razes de D(z) englobadas por C. Portanto, R N N (x) N (x) N (z) dx = lim dx = 2i Res R R D(x) D(z) D(x) j=1 lim
z=zj R CR
N (z) dz. D(z)
Mostra-se agora, por intermdio de um teorema, que a integral ao longo de CR se anula quando R , bastando para isso que |N (z)/D(z)| 1/ z 2 quando |z| . Teorema 1.26. Seja F (z) uma funo analtica ao longo do semi-crculo CR , de raio R, tal que |F (z)| M/Rk , sendo z = Rei e onde k > 1 e M so constantes, ento lim F (z)dz = 0.
R CR
Demonstrao. Pela propriedade (5) das integrais de linha (seo 1.5.2), sendo A = max (|F (z)|) ao longo de CR e L a extenso de CR , ento M M F (z)dz R = k1 . k R R CR
Assim,
R
lim F (z)dz = lim

CR R
F (z)dz = 0.
CR
Corolrio. Seja F (z) uma funo racional, F (z) = com m N (z) an z n + an1 z n1 + + a1 z + a0 = , D(z) bm z m + bm1 z m1 + + b1 z + b0
R
> n + 2, ento
lim
CR
N (z) dz = 0. D(z)
Demonstrao. De acordo com o teorema 1.26, ao longo de CR , N (z) |an | Rn + |an1 | Rn1 + + |a0 | dz R. ||bm | Rm |bm1 | Rm1 |b0 || CR D(z)
Ento
R
lim
CR
N (z) dz D(z)
|an | Rn+1 |an | 1 = lim = 0. R |bm | Rm R |bm | Rmn+1 lim
Captulo 1. Funes de Uma Varivel Complexa Assim, de acordo com o teorema 1.26, resulta
47
N (x) N (z) dx = 2i Res D(x) D(z) j=1
.
z=zj
(1.40)
Exemplo 1.28. Calcule a integral dx I= , (sendo a > 0) . x2 + a2 Soluo. Como F (z) = 1/ z 2 + a2 satisfaz a condio estipulada no teorema 1.26, ento dz = 0. lim R C z 2 + a2 R Por outro lado, as razes de D(z) so z = ia. Pode-se escolher CR dentro do semi-plano superior ou inferior. Escolhendo-se Figura 1.21: Contorno de integrao para integrais do tipo I. CR conforme a gura ao lado, temos de (1.40), I = 2i Res 1 z 2 + a2 .
z=ia
Pelo mtodo de clculo de resduos para funes que possuem polos no plano complexo, apresentado na seo 1.9.3.2, z ia 1 = 2i = . I = 2i lim 2 zia z + a2 2ia a Se o contorno escolhido fosse no semi-plano inferior o resultado seria o mesmo. Exemplo 1.29. Calcule a integral I=
x4
x2 dx. +1
Soluo. A funo F (z) = z 2 / z 4 + 1 novamente satisfaz a condio estipulada no teorema 1.26. Agora as 4 razes de D(z) so determinadas pela equao z 4 = 1 = ei , resultando em (ver eq. 1.9) z1 = ei/4 , z2 = ei3/4 , z3 = ei5/4 e z4 = ei7/4 . Traando novamente CR no semi-plano superior, somente ser necessrio considerar as razes z1 e z2 . Ento, I = 2i Res z2 z4 + 1 + Res
z=z1
z2 z4 + 1
.
z=z2
Pelo mtodo apresentado na seo 1.9.3.3, resulta I = 2i 1.9.4.2

2 2 z2 z1 3 + 4z 3 4z1 2
= 2i
ei/4 ei3/4 + 4 4
ei/4 + ei/4 = cos 2 4
= . 2
Integrais do tipo II: funes racionais de funes trigonomtricas
Agora sero consideradas integrais do tipo 2 F (sen , cos ) d,

0
onde F (sen , cos ) uma funo racional de sen e cos . Realizando a substituio z = ei , dz = iei d e usando cos = ei + ei /2 = (z + 1/z) /2 e sen = ei ei /2i = (z 1/z) /2i, resulta
0 2
F (sen , cos ) d =
C0
dz F iz
z 1/z z + 1/z , 2i 2
48
sendo C0 a circunferncia de raio unitrio centrada na origem. Como F (x, y) uma funo racional, a integral complexa acima pode ser obtida a partir do teorema dos resduos, os quais sero determinados novamente pelas razes de um polinmio. Portanto, se o polinmio resultante no denominador possui N razes dentro do crculo de raio unitrio, determinadas pelo conjunto {zj } (j = 1, . . . , N ),
0 2 N
F (sen , cos ) d = 2i
j=1
Res
1 F iz
z 1/z z + 1/z , 2i 2
.
z=zj
(1.41)
Exemplo 1.30. Calcule a integral I=
cos 3 d. 5 4 cos
Soluo. Realizando a transformao z = ei , resulta cos 3 = e I= 1 2

C0
z 3 + z 3 ei3 + ei3 = 2 2 dz
C0
dz z6 + 1 1 = 2 (5z 2z 2 2) iz z 2i
z6 + 1 . z 3 (2z 1) (z 2)
O integrando possui os seguintes polos: z = 0: polo de ordem 3. z = 1/2: polo de ordem 1. z = 2: polo de ordem 1 (fora do crculo |z| = 1). Os resduos so os seguintes: Res F (0) = Res F Portanto, I= 1.9.4.3 1 2i 2i 21 65 8 24 = . 12 1 2 d2 z6 + 1 21 1 lim 2 z 3 3 = 2! z0 dz z (2z 1) (z 2) 8 6 z +1 65 1 = lim = . z 2 z 3 (2z 1) (z 2) 24 z1/2
Integrais do tipo III: integrais de Fourier I =
Tratam-se de integrais do tipo
F (x)eikx dx
(k > 0) ,
onde F (x) uma funo racional que satisfaz as condies do teorema 1.26. As partes real e imaginria do integrando determinam as integrais Ic = F (x) cos kxdx e Is = F (x) sen kxdx.

Novamente, feita a hiptese de ausncia de singularidades de F (x) no eixo real. Quando necessrio calcular integrais dos tipos Ic ou Is , inicialmente substitui-se a integral em questo por I+ (ou I , dependendo das singularidades de F (x)) e novamente calcula-se a integral ao longo do semi-crculo ilustrado na gura 1.20a. Isto , calcula-se F (z)e
C ikz
dz = lim
R
F (x)e
ikx
dx +
CR
F (z)eikz dz .
As condies que F (z) deve satisfazer para que a integrao ao longo de CR se anule para R so dadas pelo Lema de Jordan.
49
Lema 1.1. (Lema de Jordan). Seja F (z) uma funo analtica ao longo do semi-crculo CR , de raio R, tal que |F (z)| M/R , sendo z = Rei e onde > 0 e M so constantes, ento lim F (z)eikz dz = 0.
CR
Demonstrao. Sendo z = Rei , ento Figura 1.22: Demonstrao grca da ineikz F Rei exp ikRei iRei d. F (z)e dz = gualdade sen > 2/ em 0 6 6 /2.
CR 0
Pelas propriedades (5) e (6) da seo 1.5.2, F Rei exp ikRei iRei d
0
F Rei exp ikRei iRei d,
mas exp ikRei = eikR(cos +isen ) portanto,

0
6e
kRsen
F Re
exp ikRe
iRe d
F Re
kRsen
Rd
M R1
ekRsen d.
Como sen ( ) = sen , pode-se alterar o intervalo de integrao para [0, /2]. Alm disso, como mostra a gura 1.22, sen 2/ neste intervalo. Assim,
0
>
F Re Portanto,
exp ikRe
iRe d
R
6
CR
2M R1
/2
e2kR/ d =
M 1 ekR . kR
lim
F (z)eikz dz = 0.
Devido ao Lema de Jordan, o teorema dos resduos garante que I+ = Ic + iIs = F (x)eikx dx = 2i Res F (zj ) eikzj ,
j
(1.42a)
sendo {zj } os pontos singulares de F (z) na regio delimitada pelo contorno C ilustrado na gura 1.26. Caso os pontos singulares de F (z) sejam tais que necessrio considerar CR percorrendo o semi-crculo no semi-plano inferior ilustrado na gura 1.20b, deve-se calcular ento I . As concluses so similares s de I+ , salvo que os resduos so computados no semi-plano inferior e I = Ic iIs = 2i
j
Res F (zj ) eikzj .
(1.42b)
cos x dx. 1 + x2
Soluo. Pode-se escrever I= 1 Re 2
eix dx. 1 + x2
Identica-se F (z) = 1/ 1 + z 2 , a qual satisfaz as condies do Lema de Jordan, pois ao longo de CR , |F (z)| =
1 |1 + z 2 |
1 6 R 1 1 R .
R 2 2
50
Os resduos de F (z) esto em z = i, sendo polos simples. Assim, de (1.42a), ix e eix = e . dx = 2i Res 2 1 + z 2 z=i 1 + x Portanto, I= 1.9.4.4 e . 2
Integrais do tipo IV: integrando com polos no eixo real
Seja F (z) uma funo meromrca, ou seja, uma funo que possui apenas polos em um domnio nito no plano complexo. Supe-se que F (z) possua, no mnimo, um polo ao longo do eixo real. Supe-se tambm que |F (z)| 0 para |z| . Deseja-se calcular agora integrais do tipo f (x) dx. x x0 Devido a presena do polo no eixo real, para que o teorema dos resduos permanea vlido, o contorno de integrao no pode passar pelo rela referida singularidade; torna-se necessrio, portanto, que o contorno seja deformado nas vizinhanas do polo real. A partir desta situao surge a denio da parte principal de Cauchy da integral. Parte principal de Cauchy Seja F (z) = f (z)/ (z x0 ) uma funo meromrca que possui, no mnimo, um polo simples no eixo b real em z = x0 . Ao se considerar a integral a F (x)dx, com a < x0 < b tais que z = x0 o nico polo de F (z) neste intervalo, a convergncia desta integral depende da existncia do seguinte limite: IP P = lim +
0 a x0
f (x) dx + x x0
x0 +
f (x) dx . x x0
b Diz-se que a F (x)dx convergente se e somente se IP P existe e nito, caso contrrio a integral divergente. O limite IP P pode existir, em algumas situaes, mesmo se limxx0 f (x) . Isto ocorre, por exemplo, se f (x) simtrica em uma vizinhana de x0 . b Caso IP P exista e nito, este dene a parte principal de Cauchy da integral a F (x)dx, a qual b b representada pelos smbolos a ou Pa : b b f (x) f (x) P dx = lim 0+ x x0 x x0 a a
a x0
f (x) dx + x x0
x0 +
f (x) dx . x x0
(1.43a)
A parte principal de Cauchy no innito existe se x0 f (x) f (x) f (x) f (x) dx P dx = lim dx + dx + 0 x x0 x x0 x x0 x0 + x x0 existe e nito. Clculo de integrais do tipo IV
(1.43b)
Para calcular integrais do tipo IV pelo teorema dos resduos, considera-se o contorno C = + + (R, x0 ) + (x0 + , R) apresentado na gura 1.23, o qual composto por um semi-crculo exterior , dois segmentos de reta ao longo do eixo real, nos intervalos (R, x0 ) e (x0 + , R) e do semi-crculo interior . Na gura 1.23, a curva foi traada no semi-plano superior para englobar os polos {zj } (j = 1, . . . , N ) de f (z). Caso estes polos se encontrem no semi-plano inferior, a curva pode ser traada nesta
Figura 1.23: Contorno de integrao para integrais
51
regio. Supe-se tambm que (> 0) seja pequeno o suciente para que nenhum dos polos {zj } se encontre na regio interior da curva . Assim, pelo teorema dos resduos,
C
f (z) dz = 2i Res z x0 j=1
f (z) z x0
.
z=zj
Dividindo o contorno C nas suas curvas constituintes,
R N f (x) f (z) f (z) dz + dx + dz = 2i Res z x0 R x x0 z x0 j=1
f (z) z x0
,
z=zj
Toma-se agora o limite R , supondo que F (z) ao longo de satisfaa as condies prescritas pelo teorema 1.26. Neste caso, F (z)dz = 0. A integral ao longo de pode ser calculada, tomando-se para ela o limite 0: 0 f x0 + ei f (z) i ei d = if (x0 ) , dz = lim 0 z x0 ei sendo neste caso suposto que f (x0 ) exista e nito. Este valor da integral em muitas vezes denominado de semi-resduo de f (x). Portanto, obtm-se o seguinte resultado para a parte principal, N f (x) Res dx = if (x0 ) + 2i x x0 j=1 f (z) z x0 .
z=zj
(1.44a)
Caso a funo F (x) possua mais de um polo no eixo real, o resultado (1.44a) pode ser facilmente generalizado. Sendo novamente {zj } (j = 1, . . . , N ) o conjunto de polos de F (z) fora do eixo real e {x } ( = 1, . . . , M ) o conjunto de polos ao longo do eixo real, a forma generalizada de (1.44a) F (x) dx = i
M N
Res F (x ) + 2i
=1 j=1
Res F (zj ) .
(1.44b)
sen x dx. x
Soluo. conveniente calcular
ix e dx. x
A funo eiz /z satisfaz as condies estabelecidas pelo Lema de Jordan, ou seja, z 1 M/R ( > 0) ao iz longo de . Portanto, e /z dz = 0 e a equao (1.44a) pode ser aplicada, de onde resulta ix e dx = i. x Uma vez que eix = cos x + i sen x, obtm-se
sen x dx = . x
Observao. Nota-se que, neste caso, = , pois x = 0 uma singularidade removvel. interessante tambm que o mesmo resultado fornece cos x dx = 0, x o que razovel, uma vez que o integrando neste caso mpar.
52
sen x dx, x (a2 x2 )
(a > 0) .
Soluo. Novamente toma-se F (z) = eiz , z (a2 z 2 )
sendo que F (z) satisfaz as condies do Lema de Jordan e os seus polos so z = 0 e z = a, todos ao longo do eixo real. Neste caso, de acordo com (1.44b),
eix dx = i [Res F (0) + Res F (a) + Res F (a)] . x (a2 x2 )
Calculando os resduos, Res F (0) = z eiz z2) =

z=0
(a2
1 , a2 =
z=a
eiz Res F (a) = (z a) z (a2 z 2 ) eiz Res F (a) = (z + a) z (a2 z 2 ) Portanto,
eia 2a2 eia . 2a2
=
z=a
eix dx = i 2 (1 cos a) 2 x2 ) x (a a sen x dx = 2 (1 cos a) . x (a2 x2 ) a
e o resultado desejado ca
Observao. Novamente observa-se tambm que cos x dx = 0. 2 2 x (a x ) 1.9.4.5 Integrais do tipo V: integrao ao longo de linhas de ramicao
Para ilustrar este tipo de integrao, sero consideradas integrais do tipo x1 G(x) dx, (sendo 0 < < 1)
0
e a funo G(z) racional, analtica em z = 0 e no possui polos ao longo do eixo real positivo. Supe-se ainda que lim z 1 G(z) = 0.
|z|0 |z|
A funo f (z) = z 1 plurvoca, com um ponto de ramicao em z = 0, o que pode ser comprovado por uma rotao do fasor z em torno da origem, f (z) = z 1 ei2(1) z 1 . Como 1 no inteiro, o valor de f (z) em + 2 difere do valor em . A outra singularidade de f (z) est no innito, signicando que a linha de ramicao deve unir estes dois pontos singulares. Usualmente, esta linha traada ao longo do eixo real positivo. O nmero de folhas de Riemann para f (z) depende da natureza do nmero . Se este nmero racional, ento h um nmero nito de folhas de Riemann; contudo, se irracional, ento existem innitas folhas de Riemann. Devido a este fato, o contorno de integrao C a ser adotado deve evitar o cruzamento da linha de ramicao para evitar a necessidade de se empregar os outros ramos da funo z 1 .
+2
53
O contorno de integrao usualmente empregado para resolver uma integral do tipo V apresentado na gura 1.24, a qual mostra tambm a linha de ramicao no intervalo [0, ). Este tipo de contorno denominado buraco de fechadura 3 e consiste em um arco de circunferncia exterior CR , de raio R e centrado na origem, com uma variao angular R 2 R . O nmero 0 < R 1 pode ser to pequeno quanto se queira, mas nunca nulo, justamente para evitar que CR toque a linha de ramicao. O contorno C contm tambm o arco de circunferncia interior Cr , de raio r e centrado na origem, com a variao angular r 2 r , sendo 0 < r 1 tambm to pequeno quanto se queira. Finalmente, os arcos Cr e CR so ligados pelos segmentos de reta [r, R] e [R, r],4 os quais distam da linha de ramicao por uma distncia 0 < 1. Obviamente, Figura 1.24: Contorno de integrao para integrais = r sen r . do tipo V. Como a funo z 1 descontnua ao longo da linha de ramicao, o valor das integrais ao longo dos segmentos de reta no se cancelam. Na reta superior, arg(z) 0 e, portanto,
6 6
6 6
f (z) = z 1 = (x + i ) Na reta inferior, arg(z) 2 e, portanto,
f (z) = ei2(1) z 1 = ei2(1) (x i )
Supondo agora que a funo R(z) possua N singulares isoladas (polos e/ou singularidades essenciais) nos pontos {zj } (j = 1, . . . , N ), o teorema dos resduos (1.39) aplicado ao contorno simples fechado C = CR + Cr + [r, R] + [R, r] garante que z 1 G(z) dz =
C CR
z 1 G(z) dz + +
R
z 1 G(z) dz +
Cr r
(x + i )
G (x + i ) dx
N
e2i(1) (x i )
G (x i ) dx = 2i
j=1
Res z 1 G(z)
zj
A integral em CR se anula no limite R , desde que as condies do seguinte teorema sejam satisfeitas. Teorema 1.27. Seja uma funo F (z) analtica ao longo do arco de circunferncia CR , de raio R centrado na origem, tal que |F (z)| M/R ao longo de CR , sendo > 1 e M > 0 constantes, ento lim F (z)dz = 0.
R CR
Demonstrao. Sendo a curva CR parametrizada pelo ngulo , o qual varia no intervalo [1 , 2 ], ento 2 2 M (2 1 ) M d = . F (z)dz |F (z)| R d R1 1 R1 CR 1
Portanto,
R
lim F (z)dz = 0,
CR
de onde segue o teorema. Por outro lado, a integral ao longo de Cr pode ser calculada parametrizando-se z = rei e tomando-se o limite r 0: 2r G (0) i2 ir lim z 1 G(z) dz = lim ir ei G rei d = e e eir lim r . r0 C r0 r0 r r
3 Do 4 Rigorosamente,
ingls keyhole. os segmentos de reta percorrem o intervalo [r cos r , R cos R ], em ambos os sentidos.
54
Como G(z) por hiptese analtica em z = 0 e > 0, resulta que lim z 1 G(z) dz = 0.
r0 Cr
Lembrando tambm que r 0 implica em

0
0, restam as seguintes integrais,

0 N
x1 G (x) dx + e2i(1)
x1 G (x) dx = 2i
j=1
Res z 1 G(z)
zj
as quais podem ser escritas

0
x
1
x
1 2i(1)
G (x) dx + e
2i(1)
x1 G (x) dx G (x) dx = 1 e 0 +1 1 i i i x G (x) dx = 2i (1) sen = e e e

0 0
x1 G (x) dx.
Portanto, resulta
G (x) dx = (1)
(+1)
sen
Res z 1 G(z)
j=1
zj
(1.45)

0
x1 dx, (0 < < 1) . 1+x 1, pode ser escrito
Soluo. Como 0 < < 1, o integrando ao longo da curva CR , para R z 1 1+z Ento, de acordo com o teorema 1.27,
R
1 . R2
lim
CR
z 1 dz = 0 1+z
1
e o resultado (1.45) vlido neste caso. O nico polo de G(z) = (1 + z) integrando neste ponto z 1 1 Res = (1) . 1 + z z=1 Portanto, I=
0
est em z = 1 e o resduo do
x1 (+1) 1 dx = (1) (1) = . 1+x sen sen
1.9.4.6
Outros tipos de integrais
Existem diversos outros exemplos de integrais que podem ser calculadas usando o teorema dos resduos por intermdio de uma escolha adequada do contorno de integrao. Nesta seo sero apresentados alguns exemplos relevantes para a fsica. Integrais de Fresnel. Difrao de ondas eletromagnticas. As integrais 2 C= cos tx dx e S = sen tx2 dx
0 0
correspondem aos valores assintticos das funes de Fresnel, as quais descrevem a difrao de ondas eletromagnticas em um nico obstculo pontiagudo (difrao de canto).
Captulo 1. Funes de Uma Varivel Complexa Para a obteno dos valores de C e S, considera-se a seguinte integral I=
0
55
eitx dx,
cujas partes real e imaginria fornecem, respectivamente, C e S. Por convenincia, assume-se que t > 0; para este caso, o contorno de integrao adequado pode ser visto 2 na gura 1.25. Como a funo eitz analtica dentro e ao longo do contorno C = Cx +CR +CL , pode-se escrever e
C itz 2
CL CR
dz =
Cx
+
CR
+
CL
eitz dz = 0.
Cx
A integral em CR pode ser estimada usando argumento semelhante ao exposto pelo Lema de Jordan. Ao longo deste contorno, z 2 = R2 (cos 2 + i sen 2). Como Figura 1.25: Contorno de integrao para as intedemonstrado gracamente na gura 1.22, sen 2 4/ grais de Fresnel. em 0 /4, portanto
6 6
e
>
CR
itz 2
dz =
0
/4
eitR
(cos 2+i sen 2)
iRei d
0 /4
6
Ou seja,
CR
RetR
sen 2
d
0 /4
6
eitz dz 0 para R 0. e
Cx
2
RetR
4/
d =
2 1 etR . 4tR
Por outro lado, ao longo de Cx , z = x e ao longo de CL , z = rei/4 (0

itz 2
6 r 6 R). Assim,
2
dz =
0
itx2
dx e
CL
itz 2
dz =
etr ei/4 dr.

R
Portanto, no limite R ,
e A integral J =
0
2
itx2
dx = e
i/4 0
etr dr.
etr dr pode ser calculada da seguinte maneira: J =

0 2
tx2
dx
0
ty 2
dy =
0
et(x
+y 2 )
dxdy.
Usando coordenadas polares, resulta J2 =

0 /2
d
0
d et =
. 4t
Finalmente, obtm-se
0
eitx dx = Portanto, as integrais de Fresnel valem
ei/4 2
= cos + i sen t 4 4
1 2
. t
S=C=
1 2
. 2t
56
Integral de Planck. Lei de Stefan-Boltzmann. A Lei de Planck determina a intensidade espectral da radiao eletromagntica emitida por um corpo negro em equilbrio termodinmico a uma temperatura absoluta T . Esta intensidade dada por I (, T ) = 3 2h , c2 eh/kB T 1
sendo I (, T ) a potncia emitida por unidade de rea da superfcie emissora por unidade de ngulo slido por frequncia . As quantidades h, kB e c so, respectivamente, as constantes de Planck e Boltzmann e a velocidade da luz no vcuo. A Lei de Stefan-Boltzmann fornece a potncia total emitida por unidade de rea do corpo negro, ou seja, 3 4 u du 2h kB T j= d I (, T ) = 2 IP , sendo IP = c h eu 1 0 0 a integral que se deseja calcular, a qual obtida por uma simples troca de variveis de integrao. Para se obter IP , considera-se a integral sen (kx) dx. f (k) = ex 1 0 Obviamente, IP = d3 f dk 3 .
k=0
Im
2 C5 C6 C1 C2 C4
C3
Portanto, pode-se obter IP conhecendo-se f (k). A integral que dene esta funo tambm pode ser escrita como ikx e f (k) = Im dx. ex 1 0 Este clculo ser realizado utilizando-se o contorno C = C1 + + C6 ilustrado na gura 1.26 e a integral de contorno eikz dz = 0, z 1 C e
a qual nula pelo teorema dos resduos (1.39) porque o integrando possui apenas polos simples nos pontos z = 2ni, (n = 0, 1, 2 . . . ). As integrais nos contorno R Re C1 , . . . , C6 devem ser realizadas separadamente. Nos contornos C2 e C4 obtm-se Figura 1.26: Contorno de integrao empregado R ikx para o clculo da integral de Planck. Observa-se e eikz + dz = 1 e2k dx. que 1eR 1. ez 1 ex 1 C2 C4 J ao longo dos contornos C1 e C5 observa-se que |z| = 1, o que permite o uso da srie de Laurent (1.35d). Para a integral I1 pode-se escrever z = ei , resultando I1 ( )
C1
eikz 1 z dz = ez/2 eikz cosech dz z 1 e 2 C1 2 1 2 z 7z 3 = ez/2 eikz + 2 C1 z 12 2880
dz = i
0
/2
exp
1 + ik 2
ei d O
Portanto,
lim I1 = i . 0 2 i J para o contorno C5 pode-se escrever z = 2i + e e eikz 1 z I5 ( ) dz = ez/2 eikz cosech dz. ez 1 2 C5 2 C5 Neste caso necessria a srie de Laurent de cosech z em torno de z0 = 2i, a qual simplesmente cosech z =
1 z 2i 7 (z 2i) + + , z 2i 6 360
Incio: Abril de 2010 Impresso: 16 de agosto de 2011
Captulo 1. Funes de Uma Varivel Complexa resultando, 1 I5 ( ) = 2 Portanto, e

C5 z/2 ikz
57
z 2i 2 + + dz = ie2k z 2i 12 lim I5 = i e2k . 0 2 I3 (R)

C3
/2
exp
1 + ik 2
ei d + O
J a integral I3 pode ser escrita eikz dz = ie(1ik)R z 1 e

0 2
eiy
eky dy. eR
Observa-se agora que no limite R a integral nita, pois o denominador do integrando pode ser substitudo por eiy , o que torna a integrao trivial. Portanto, limR I3 = 0. Finalmente, a integral I6 pode ser escrita 2 2 eikz eky eky eiy/2 1 2 eky eiy/2 I6 dz = i dy = i dy = dy. z eiy 1 2 sen (y/2) eiy/2 eiy/2 C6 e 1 Assim, pelo teorema dos resduos, R ikx e 1 2k 1e dx = ex 1 2 e, portanto, f (k) dada por f (k) = lim Im
0 R R
eky eiy/2 dy I1 I5 I3 (R) sen (y/2)
eikx 1 dx = x1 e 2 (1 e2k ) =
eky dy +
1 + e2k 2 1 e2k
1 1+e 1 + = + cotanh (k) 2k 2k 2 1e 2k 2 2 4 k3 6 k5 B2n (1.35b) k 2n1 + + (2k) + . (1.46) 6 90 945 (2n)!
2k
Com este resultado, possvel nalmente obter-se IP : IP = 4 , 15
resultando na seguinte expresso para a constante de Stefan-Boltzmann, j = T 4 , sendo =

4 2 5 kB . 15h3 c2
Como um bnus, o resultado (1.46) pode ser usado para fornecer o valor das integrais 2n+1 2n+1 B2(n+1) f x dx n d n = (1) = (1) 22n 2(n+1) , (n = 0, 1, 2, . . . ) . x1 2n+1 e dk n+1 0 k=0
1.10
Continuao analtica
Com frequncia, a representao conhecida de uma dada funo vlida somente em uma regio limitada do plano complexo, como uma srie de Laurent com raio de convergncia nito, por exemplo. A regio de convergncia (ou domnio) desta srie se estende at a singularidade mais prxima, distinta do ponto em torno do qual se realiza a expanso, que pode ou no conter uma singularidade. Com frequncia tambm desejvel obter-se uma outra forma matemtica que represente a mesma funo em uma outra regio do plano complexo, ou que seja vlida em uma poro maior do mesmo. O processo de estender o intervalo de validade de uma representao ou, de forma mais geral, estender a regio de domnio de uma funo analtica denominado continuao analtica. Denio 1.1. Um elemento de funo analtica (f (z), D) uma funo analtica f (z) no interior de seu domnio de denio D. Um elemento de funo (f2 , D2 ) uma continuao analtica de outro elemento (f1 , D1 ) se D1 D2 = ? e se f1 (z) = f2 (z) em D1 D2 .
58
1.10. Continuao analtica
Em outras palavras, seja f1 (z) uma funo analtica da varivel z em um domnio D1 do plano complexo. Supe-se agora ser possvel encontrar uma outra funo f2 (z), a qual analtica em um outro domnio D2 . Se ocorrer uma interseco D1 D2 no nula de ambos os domnios, conforme representado na gura 1.27, e se f1 (z) = f2 (z) em D1 D2 , ento se diz que f2 (z) a continuao analtica de f1 (z) em D2 , e vice-versa. Da mesma forma, pode existir uma terceira funo f3 (z), analtica em D3 , e se f3 (z) = f1 (z) em D3 D1 e f3 (z) = f2 (z) em D3 D2 , ento f3 (z) pode ser a continuao analtica das anteriores em D3 . Esta situao tambm est representada na gura 1.27. Portanto, existe uma funo analtica f (z) com o domnio Figura 1.27: Representao de trs possD = D1 D2 D3 , tal que f (z) = f1 (z) em D1 , f (z) = f2 (z) veis continuaes analticas da mesma funem D2 e f (z) = f3 (z) em D3 . Nota-se que basta a interseco o f (z). entre os domnios ser composta simplesmente por um arco que a continuao analtica existe e nica, desde que as trs regies no englobem um ponto singular ou um ponto de ramicao de uma funo plurvoca. Contudo, a situao descrita acima nem sempre ocorre. Somente garantida a existncia da funo analtica f (z) no domnio D = D1 D2 D3 se D1 D2 D3 = ?. Caso a interseco ocorra somente entre pares de domnios e se a regio entre os domnios D1 , D2 e D3 contiver pontos singulares, como por exemplo, pontos de ramicao, ento f3 (z) = f1 (z), porque a regio D1 D3 ser parte do domnio de diferentes folhas de Riemann para cada funo. O exemplo a seguir mostra uma situao onde isto ocorre. Exemplo 1.35. Considera-se o seguinte ramo da funo f (z) = z: f1 (z) = rei/2 , D1 : (r > 0, 0 < < ) . Uma continuao analtica de f1 (z) atravs do eixo real negativo e para o semi-plano inferior : f2 (z) = rei/2 , D2 : r > 0, < < 2 . 2
Claramente, em D1 D2 : (r > 0, /2 < < ) (segundo e terceiro quadrantes), f1 (z) = f2 (z). Uma continuao analtica de f2 atravs do eixo real positivo e para o semi-plano superior pode ser denida ento como 5 f3 (z) = rei/2 , D3 : r > 0, < < . 2 Claramente, agora, em D2 D3 : (r > 0, < < 2) (terceiro e quarto quadrantes), f3 (z) = f2 (z), mas em D1 D3 : (r > 0, 0 < < /2) (primeiro quadrante), f3 (z) = f1 (z); de fato, f3 (z) = f1 (z). Isto ocorre porque os trs domnios circundam o ponto de ramicao na origem.
Teoremas de existncia e unicidade

Os seguintes teoremas, apresentados sem demonstrao, mostram quais so as condies necessrias e sucientes para a existncia e unicidade das continuaes analticas. Teorema 1.28. Se uma funo f (z) analtica em todo o domnio D e f (z) = 0 em todos os pontos de uma regio R D ou de um arco C, interior a D, ento f (z) = 0 em todos os pontos de D. Observao. Este teorema muito importante porque, em primeiro lugar, ele garante que todas as razes de f (z) so isoladas. Contudo, a sua importncia aqui est no fato de que ele garante a unicidade das continuaes analticas. Sejam as funes f1 (z) e f2 (z) mencionadas na denio 1.1. Denindo-se agora a funo g(z) = f1 (z) f2 (z) em R = D1 D2 , obviamente g(z) = 0 em R; de onde se conclui que g(z) = 0 em todo o domnio D1 D2 . Segue ento o seguinte teorema de unicidade. Teorema 1.29. Uma funo f (z) que analtica em todo o domnio D determinada de forma nica sobre D pelos seus valores sobre uma regio, ou ao longo de um arco, contidos no interior de D. Exemplo. A funo inteira f (z) = ez a nica que pode assumir os valores de f (x) = ex , ao longo do eixo real. Alm disso, uma vez que ez tambm inteira e ex ex = 1 (x R), a funo h(x) = ex ex 1 nula sobre todo o eixo real e, portanto, a nica funo que representa a continuao analtica de h(x) fora do eixo real h(z) = ez ez 1 = 0. Segue ento que a identidade ez = 1/ez vlida sobre todo o plano complexo.
59
Figura 1.28: Continuao analtica da funo f1 (z) para a regio Rn por dois caminhos distintos.
Corolrio. Como corolrio a este teorema, qualquer forma polinomial de funes fk (x) que satisfaa a identidade P [f1 (x), f2 (x), . . . , fn (x)] = 0 tem a sua forma mantida, P [f1 (z), f2 (z), . . . , fn (z)] = 0, ao longo de todo o domnio D. Exemplo. Dadas as funes trigonomtricas sen x e cos x, estas satisfazem a forma polinomial sen2 x + cos2 x 1 = 0. Portanto, a identidade sen2 z + cos2 z = 1 vlida sobre todo o plano complexo. Teorema 1.30. (Teorema da monodromia). Se uma funo f1 (z), denida no domnio R1 , continuada analiticamente a uma regio Rn ao longo de dois caminhos diferentes, ento as duas continuaes analticas sero idnticas se no houver singularidades contidas entre os dois caminhos. A propriedade descrita no teorema acima ilustrada na gura 1.28, na qual um ponto na regio R1 ligado a um outro ponto na regio Rn por dois caminhos simples (C1 e C2 ) distintos. Os domnios R1 , R2 , . . . , Rn , . . . podem ser denidos pelos raios de convergncia das sries de Taylor que representam a mesma funo f (z) em diferentes regies do plano complexo. Se no houver pontos singulares na regio interna aos circulos na gura 1.28, ento a continuao analtica de f (z) da regio R1 a Rn pelo caminho C1 ser equivalente continuao analtica ao longo de C2 . Portanto, f1 (z), f (z), 2 . f (z) = . . fn (z), . . .
em R1 em R2 . . . em Rn . . .
As funes f1 (z), f2 (z), . . . , fn (z), . . . acima so denominadas os elementos da funo analtica completa f (z). Exemplo 1.36. Considera-se a funo f1 (z) denida por
f1 (z) =
n=0
zn = 1 + z + z2 + .
Figura 1.29: Domnios de f (z) = (1 z)1 .
60
1.10. Continuao analtica
Sabe-se que esta srie de Taylor converge na regio R1 : |z| < 1 para a funof (z) = 1/ (1 z), cujo domnio todo o plano complexo exceto o ponto z = 1. Como o domnio de f (z) se intersecciona com o domnio de f1 (z), esta ltima a nica continuao analtica de f1 (z) possvel para |z| 1 (exceto z = 1). Outras possveis continuaes analticas de f (z) para a regio esquerda de z = 1 (ao longo do eixo real) so:
>
n
f2 (z) =
1 2 n=0
z+1 2
(Regio R2 : |z + 1| < 2) ,
f3 (z) =
1 1 + i n=0
z+i 1+i
(Regio R3 : |z + i| < 2) .
A gura 1.29 ilustra estas trs regies.

Funções de Uma Variável Complexa

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Funções de Uma Variável Complexa

Uploaded by

Copyright:

Available Formats

Captulo 1

Funes de Uma Varivel Complexa

Nmeros e variveis complexos

1.1. Nmeros e variveis complexos

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.1: Plano complexo ou diagrama de Argand.

Representaes vetorial e polar

x2n+1 (2n + 1)! x2n (2n)!

uma denio mais geral para o intervalo de variao de a seguir.

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.2. lgebra de nmeros complexos ex = xn n! n=0

e das potncias (1.1a,b), obtemos ei = =

(i)n (i)2n (i)2n+1 = + n! (2n)! (2n + 1)! n=0 n=0 n=0

2n+1 2n +i , (1)n (2n)! (2n + 1)! n=0

ou seja, ei = cos + i sen . Esta a conhecida Frmula de Euler.

lgebra de nmeros complexos

Parte real de z: a parte real de z o nmero x R. Esta operao representada por Re z = x.

Sendo z = x + iy C um nmero complexo qualquer, as seguintes operaes e denies se aplicam:

Fase ou argumento de z: nmero R tal que 0

Usualmente, toma-se 0 = 0, mas outros textos podem usar, por exemplo,

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.2: (a) Representao da operao z1 + z2 . (b) Representao da operao z1 .z2 .

Ou, em termos da forma polar, z1 r1 r1 = ei(1 2 ) = [cos (1 2 ) + i sen (1 2 )] . z2 r2 r2

> ||z | |z ||.

1.2. lgebra de nmeros complexos

Razes de nmeros complexos

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.3: (a) Razes quadradas z0 e z1 de w = 1 + i. (b) Razes cbicas w0 , w1 e w2 de z = 1 + i.

1.3. Funes de uma varivel complexa

Funes de uma varivel complexa

D se a cada valor de z corresponde um nico

rei/2 ramo principal. rei/2 ei = rei/2 segundo ramo.

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.4: A funo w = f (z) mapeia pontos no plano z em pontos no plano w.

Pontos de ramicao, linhas de ramicao e superfcies de Riemann

Autor: Rudi Gaelzer IFM/UFPel

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

1.3. Funes de uma varivel complexa

Figura 1.5: Linha de ramicao para a funo w =

Figura 1.6: Folhas de Riemann da funo

Exemplos de funes unvocas ou plurvocas

Funes trigonomtricas hiperblicas. De maneira anloga, dene-se senh z = cosh z =

Incio: Abril de 2010

Impresso: 16 de agosto de 2011

Captulo 1. Funes de Uma Varivel Complexa

Figura 1.7: Superfcie de Riemann da funo ln z.

O clculo diferencial de funes de uma varivel complexa

Limite de uma funo complexa

1.4. O clculo diferencial de funes de uma varivel complexa

Figura 1.8: Vizinhanas dos pontos z0 e w0 nos respectivos planos complexos.

2 z 2 z0 < (|z z0 | + 2 |z0 |) < (1 + 2 |z0 |) .

/ (1 + 2 |z0 |), ou seja, <

z0 C, de tal maneira que

Se limzz0 f (z) = w1 e limzz0 g(z) = w2 , ento as