Sociedade Brasileira de Matemtica

I Colquio de Matemtica da Regio Nordeste

Funes Holomorfas de uma Varivel

Evilson Vieira

28/02 a 04/03 de 2011 Universidade Federal de Sergipe

Prefcio

Este texto originou-se a partir das notas do mini-curso Funes de uma Varivel Complexa, ministrado pelo autor no I Colquio de Matemtica do Nordeste Brasileiro realizado na Universidade Federal de Sergipe - UFS em fevereiro de 2011. O objetivo neste texto trabalhar os principais teoremas que sustentam a teoria das funes holomorfas de uma varivel. Daremos nfase s tcnicas de construo de funes holomorfas a partir de outras previamente conhecidas, usando principalmente sequncias, sries e produtrios. Por ser a primeira edio, o texto ainda no contm exerccios. Esperamos que o leitor aprecie o texto.

O Autor

05/2012

Sumrio

O corpo

1.1 1.2 1.3

2

C Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Representaes de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Funes complexas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Introduo topologia de C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sequncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Produtrios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Limites . . . . . . . . . . . . Continuidade . . . . . . . . Limites innitos . . . . . . . Limites no innito . . . . . . Limites innitos no innito Derivao complexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

5 5 7
17

Noes Topolgicas

2.1
3

17
19

Sequncias, sries e produtrios

3.1 3.2 3.3

4

19 25 32
37

Limites, continuidade e derivao

4.1 4.2 4.3 4.4 4.5 4.6

5

37 42 42 43 43 44
50

Teoria de Cauchy

5.1
6

Integrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sequncias de funes holomorfas . Sries de funes holomorfas . . . . Sries de potncias . . . . . . . . . . Representao em srie de potncias Produtrios de funes holomorfas . Zeros de funes holomorfas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50
59

Funes Holomorfas

6.1 6.2 6.3 6.4 6.5 6.6

59 60 60 63 68 68

Sumrio

O corpo C

1.1 Introduo
Considere um nmero imaginrio i que satisfaz seguinte propriedade: i 2 = 1 O conjunto dos nmeros complexos o conjunto C = { a + bi | a, b R} a chamado parte real e b chamado parte imaginria do nmero z = a + bi. Em C esto denidas as operaes de soma e produto: ( a + bi ) + (c + di ) = ( a + c) + (b + d)i

( a + bi ) (c + di )

= ( ac bc) + ( ad + bc)i

O conjunto dos nmeros reis R pode ser visto como um subconjunto de C dos nmeros complexos da forma a + 0i. Assim, a estrutura de corpo de R estende-se a C naturalmente. Veja que a soma e o produto descritos acima para nmeros da forma a + 0i coincidem com a soma e o produto convencionais em R. Neste captulo faremos uma breve apresentao sobre a estrutura de corpo de C.

1.2 Representaes de C
Em geral, usamos o plano real R2 com coordenadas cartesianas ou polares para representar o conjunto C. Em coordenadas cartesianas o ponto ( x, y) do plano representa o nmero complexo z = x + iy Em coordenadas polares o ponto (, ) do plano representa o nmero complexo z = (cos( ) + i sen( )) 0 z

6 Essas duas representaes tem as seguintes relaes: a) = x 2 + y2 x x 2 + y2 y x 2 + y2 b) x = cos( ) cos( ) = c) y = sen( ) sen( ) =

O corpo C

Essas representaes nos do a idia de norma ou mdulo de um nmero complexo, que a distncia euclidiana de z origem, ou seja,

|z| = | x + iy| =

x 2 + y2 =

Na sesso 1.3 estudaremos um pouco mais sobre mdulos de nmeros complexos. O nmero chamado argumento de z. Associando-se o nmero complexo a + bi ao vetor soma em R2 como espao vertorial. Veja: a b

R2 , podemos interpretar a soma em C como a

( x + yi ) + (u + vi ) = ( x + u) + (y + v)i
x y

u v

x+u y+v

E a multiplicao em C pode ser interpredada da seguinte maneira

( x + yi ) (u + vi ) = ( xu yu) + ( xv + yu)i
x y Ou seja, trocando se o primeiro fator Escrevendo z no forma polar temos: x y x y

y x

u v

=
x y

xu yv xv + yu

pela matriz

y x

x + yi = (cos( ) + i sen( )) x x 2 + y2 y x 2 + y2 x 2 + y2

y x

x 2 + y2 x x 2 + y2

cos( ) sen( )

sen( ) cos( )
zw

Ou seja, multiplicar z por w equivale a girar w no sentido anti-horrio (contrrio ao movimento do relgio) a um ngulo igual ao argumento de z e em seguida multiplicar o resultado pela norma de z. Isso pode ser melhor percebido quando escrevemos u + iv tambm em cordenadas polares u + iv = (cos() + i sen()) 0

1.3 Funes complexas

( x + iy) (u + iv) = [ (cos() + i sen())] [(cos( ) + i sen( ))] = (cos() + i sen()) (cos( ) + i sen( )) = [(cos()(cos( ) sen()sen( ))+ + i (sen()(cos( ) + cos()sen( ))] = (cos( + ) + i sen( + ))
Ou seja, |zw| = |z||w| e o argumento do produto a soma dos argumentos dos fatores. Veja que, se zw = 1 ento = 1 e + = 0. Neste caso w = z1 , portanto temos: z1 = 1 (cos( ) + i sen( )) = 1 (cos( ) i sen( ))

Estas frmulas nos do uma frmula para a potenciao inteira. zn = n (cos(n ) + i sen(n )) , n Z

A identicao de C com o espao vetorial R2 traz a C a desigualdade triangular, que signica exatamente o que o nome sugere: um lado de um tringulo no mximo igual soma dos outros dois. Em C, essa desigualdade traduzida por

|z + w| |z| + |w| , z, w C
Veja a ilustrao na gura 1.1

z+w

Figura 1.1: Desigualdade triangular

Essa desigualdade estende indutivamente a somas nitas quaisquer:

| z1 + z2 + + z k | | z1 | + | z2 | + + | z k |
Veja uma ilustrao para a soma de trs nmeros na Figura 1.2.

1.3 Funes complexas

Nesta seo apresentamos as principais funes usadas com variveis complexas. Elas possuem algumas sutilezas, mas lidamos com elas de forma similar ao que fazemos com funes reais.

O corpo C

z2

z3

z1 z1 + z2 + z3 Figura 1.2: Desigualdade triangular para a soma de trs nmeros

Re

e Im

Considere o nmero complexo z = x + iy. As funes Re e Im so denidas da seguinte forma. Re(z) = x Im(z) = y Re(z) retorna a parte real do nmero complexo z enquando Im(z) retorna a parte imaginria de z. Observe que essas funes sempre retornam um nmero real. Exemplo 1.1. Exemplos das funes Re e Im: Re(2 + i ) = 2 Re( 7 i ) = 7 Re(i ) = 0 Im(2 + i ) = 1 Im( 7 i ) = Im(i ) = 1

Nota 1.2. Para todo nmero complexo z temos z = Re(z) + i Im(z)

As funes Re e Im so R-lineares, ou seja, satisfazem s seguintes propriedades: i) Se z e w so nmeros complexos ento Re(z + w) = Re(z) + Re(w) ; Im(z + w) = Im(z) + Im(w)

ii) Se t um nmero real e z um nmero complexo ento

Re(tz) = t Re(z) ; Im(tz) = t Im(z) (O fato de esta propriedade ser vlida para valores reais de t o motivo pelo qual dizemos que estas funes so R-lineares)

A vericao imediata. Veja: Ponhamos z = a + ib e w = c + id ento: O caso i): Re(z + w)

= Re(( a + c) + i (b + d)) = a+c = Re(z) + Re(w)

Im(z + w)

= Im(( a + c) + i (b + d)) = b+d = Im(z) + Im(w)

O caso ii): Re(tz)

= Re(ta + itb) = ta = t Re(z)

Im(tz)

= Im(ta + itb) = tb = t Im(z)

1.3 Funes complexas Note quem, em geral, no valem: Re(z w) = Re(z) Re(w) Im(z w) = Im(z) Im(w).

A conjugao complexa
A conjugao complexa a funo que associa o nmero complexo z = x + iy ao nmero complexo z = x iy Dizemos que z o conjugado complexo de z, ou apenas o conjugado de z. Exemplo 1.3. Exemplos de conjugao complexa: 2+i = 2i 7 i = 7 + i

2i = 2i
17 = 17

Nota 1.4. Para todo nmero complexo z temos z = Re(z) i Im(z)

Portanto, a conjugao complexa , tambm, uma funo R-linear, ou seja, satisfaz as seguintes condies: i) Se z e w so nmeros complexos ento z + w = z + w; ii) Se t um nmero real e z um nmero complexo ento tz = tz; A vericao imediata, basta usar a vericao das propriedades i) e ii) das funes Re e Im vistas na seo anterior. Veja: O caso i): z+w

= = = =

Re(z + w) i Im(z + w) Re(z) + Re(w) i Im(z) i Im(w) (Re(z) i Im(z)) + (Re(w) i Im(w)) z+w

O caso ii): tz

= = = =

Re(tz) i Im(tz) tRe(z) i tIm(z) t(Re(z) i Im(z)) tz

Com as informaes das notas 1.2 e 1.4 temos: z+z zz Com isso temos as seguintes relaes: Re(z) = Im(z) = z+z 2 zz 2i

= 2 Re(z) = 2i Im(z)

10

O corpo C

O valor absoluto
A funo valor absoluto associa a cada numero complexo z seu mdulo |z| que um nmero real nonegativo, sendo que |z| = 0, somente quando z = 0. comum chamamos o nmero real |z| de norma de z. Como vimos na seo 1.2 se temos o nmero complexo z = x + iy ento podemos calcular seu valor absoluto da seguintes forma:

|z| =

x 2 + y2

Considere z e w nmeros complexos arbitrrios. A funo valor absoluto satisfaz s seguintes propriedades: i) |z|2 = z z ii) |z w| = |z| |w| A vericao do item i) imediata. Veja: zz

= = = =

( x + iy) ( x iy) x2 ixy + ixy i2 y2 x 2 + y2 | z |2

Usamos o resultado do item i) para vericar o item ii). Veja:

| z w |2

= = = = =

(z w) z w zwzw zzww | z |2 | w |2 (|z| |w|)2

Na primeira linha usamos o resultado do item i), na segunda linha usamos as propriedades da conjugao complexa, na terceira linha usamos a comutatividade da multiplicao de nmeros complexos e na quarta linha usamos novamente o resultado do item ii). Temos assim, |z w|2 = (|z| |w|)2 . Portanto |z w| = |z| |w|, pois so nmeros reais no-negativos. Exemplo 1.5. Exemplos do clculo de valor absoluto de nmeros complexos: |3 + 4i | = 32 + 42 = 25 = 5 |i | = 12 + 02 = 1 = 1 |5 + i | = 52 + 12 = 26

A funo constante
A funo constante a funo que associa todo nmero complexo a um nmero complexo pr-xado, ou seja, uma funo do tipo: f : C z

Onde xo. Esta funo associa a todo nmero complexo o nmero . Exemplo 1.6. So exemplos de funes constantes as funes: f (z) = 5 g(z) = 7i h(z) = 1 2i

1.3 Funes complexas

11

A funo identidade
A funo identidade a funo que associa todo nmero complexo a ele mesmo. Ou seja, a funo: f : C z

C z

Exemplo 1.7. Se f (z) a funo identidade ento: f (2) = 2 f (3i ) = 3i f ( 3 + i ) = 3 + i

Funes de translao
Uma funo de translao uma funo da seguinte forma f : C z

C z+

Onde um nmero complexo pr-xado. Veja que se = 0 teremos a funo identidade, ou seja, a funo identidade uma translao nula. O que estas funes fazem transladar os pontos de C. Exemplo 1.8. So exemplos de funes de translao: f (z) = z g(z) = z + 1 h(z) = z (4 + 5i )

Veja na Figura 1.3 o efeito da funo f (z) = z + (3 + i ) sobre o quadrado Q = { x + iy C ; | x | 1 e |y| 1}

i f ( Q)

1
C

i
C 3

Figura 1.3: Ilustrao do efeito da funo de translao

O que essa funo faz transladar todos os pontos deste quadrado somando 3 + i a cada ponto. Ou seja, ela translada todo o quadrado, que agora passa a ser centrado no ponto 3 + i, veja que o quadrado Q est centrado na origem (o ponto 0 + 0i).

12

O corpo C

Funes lineares
Uma funo linear uma funo da seguinte forma f : C z

C z

Onde um nmero complexo pr-xado, com = 0. Veja que se = 1 teremos a funo identidade, ou seja, a funo identidade uma funo linear. Exemplo 1.9. So exemplos de funes lineares: f (z) = z g(z) = 6iz h ( z ) = (1 + i ) z

Veja na Figura 1.4 o efeito da funo f (z) = (1 + i )z sobre o quadrado Q = { x + iy C ; | x | 1 e |y| 1}

i f ( Q)

2i

1
C

1 C

2i

Figura 1.4: Ilustrao do efeito da funo linear Essa funo gira todos os pontos do quadrado Q em torno da origem no sentido anti-horrio a um ngulo de e multiplica o resultado por 2. 4 Isso acontece porque o nmero 1 + i tem a forma polar + i sen 1 + i = 2 cos 4 4

Funes ans
Uma funo am uma funo da seguinte forma f : C z

C z+

Onde e so nmeros complexos pr-xados, com = 0. Veja que se = 0 teremos uma funo linear, ou seja, as funes lineares so funes ans. Exemplo 1.10. So exemplos de funes ans: f (z) = iz g(z) = 2iz + 4 h(z) = (1 + i )z (5 + 3i )

1.3 Funes complexas Funes ans so composies de funes lineares com funes de translao.

13

Potncias inteiras
Como vimos na sesso 1.2, de xarmos um n Z, ento podemos associar a todo nmero complexo z sua n-sima potncia zn . Obtemos assim a funo: f : Em coordenadas polares, ca f : C (cos( ) + i sen( )) C z

C zn C n (cos(n ) + i sen(n ))

Fixemos n Z, com n > 0. Uma pergunta interessante : Dado um nmero complexo w existem quantos nmeros complexos z tais que zn = w? Primeiramente, observe que se ((cos( ) + i sen( )))n = 0 ento necessariamente = 0, e portanto o nico nmero que satisfaz a equao z = 0. Mas se ((cos( ) + i sen( )))n = (cos() + i sen()), com = 0 ento temos = n e Concluimos ento que n cos(n ) sen(n )

= n = 2k, para algum k Z

= cos() = sen()

Existem exatamente n nmeros no intervalo [0, 2 ) que satisfazem segunda igualdade, so eles: 0 = n 2 1 = + n n 2 2 = + 2 n n 2 3 = + 3 n n . . . n1 = + 2 (n 1) n n Isso nos mostra que, a equao ((cos( ) + i sen( )))n = (cos() + i sen()) possui exatamente n solues, 2 2 + k + i sen + k que so os nmeros do conjunto: n cos k = 0, 1, 2, . . . , n 1 , n n n n quando = 0. O interessante que essas solues so os vrtices do polgono regular de n lados, centrado no ponto 0 + 0i, onde um dos vrtices o ponto z0 = n cos + i sen e os outros seguem no sentido anti-horrio. n n Veja na Figura 1.5 a localizao das solues das equaes z6 = 1 e z8 = 1, a primeira com seis solues e a segunda com oito solues. Ento estamos aptos a responder pergunta do incio da sesso. Se n um inteiro no-nulo e w um nmero complexo no-nulo ento a equao zn = w possui, exatamente, n solues. No caso em que n < 0 basta resolver a equao zn = w1 . Portanto, funes que retornam potncias inteiras de nmeros complexos no so injetivas.

14

O corpo C

Figura 1.5: Ilustrao da localizao das solues das equaes z6 = 1 e z8 = 1

Funes polinomiais
Seja n um inteiro, com n 0. Uma funo polinomial de grau n uma funo da forma f ( x ) = a n z n + a n 1 z n 1 + a n 2 z n 2 + + a 2 z 2 + a 1 z + a 0 onde an , an1 , an2 , . . . , a2 , a1 , a0 C, com an = 0. Observe que as funes ans so funes polinomiais de grau 1 e que a funo constante uma funo polinomial de grau zero.

Funes racionais
As funes racionais so as funes denidas por f : A z

C p(z) q(z)

onde p(z) e q(z) so funes polinomiais e o conjunto A C o conjunto onde q(z) no se anula. Note que as funes polinomiais so funes racionais em que polinmio q uma constante no-nula.

A exponencial complexa
A exponencial complexa a funo denida por exp : C x + iy

C e x (cos(y) + i sen(y))

Oberve que, restringindo-se a exponencial complexa ao conjunto dos nmeros reais, ela coincide com a exponencial real. Se z = x + iy e w = u + iv onde x, y, u, v so nmeros reais. Conforme vimos na seo 1.2 temos

1.3 Funes complexas

15

exp(z) exp(w)

= = = =

(e x (cos(y) + i sen(y))) (eu (cos(v) + i sen(v))) e x eu (cos(y + v) + i sen(y + v)) e x+u (cos(y + v) + i sen(y + v)) exp(z + w)

Tambm, se n um inteiro positivo, temos

(exp(z))n

= (e x (cos(y) + i sen(y)))n = enx (cos(ny) + i sen(ny)) = exp(nz)

Geralmente denotamos ez ao invs de exp(z).

cosh

e senh
ez + ez 2 ez ez 2

As funes complexas cosh e senh so denidas da mesma forma que so denidas para nmeros reais: cosh(z) = e senh(z) =

cos

e sen

Seja t R. Usando a frmula da exponencial temos eit = cos(t) + i sen(t)

Com isso temos o sistema: eit eit

= cos(t) + i sen(t) = cos(t) i sen(t)

Cuja soluo cos(t) =

eit + eit eit eit 1 = cosh(it) e sen(t) = = senh(it) . 2 2i i

Como as funes cosh e senh so denidas em todo o plano complexo, denimos as funes cos e sen no plano complexo por: eiz + eiz 2

cos(z) = cosh(iz) = e sen(z) =

1 eiz eiz senh(iz) = i 2i

Exemplo 1.11. Calcular cos(i log(10)) eii log(10) + eii log(10) 1 1 = (e log(10) + elog(10) ) = 2 2 2

cos(i log(10)) =

1 + 10 10

101 = 5, 05 20

16

O corpo C

O Ramo Principal do Logaritmo Complexo

Consider o conjunto U = {ei | > 0e (, )}. Esse o conjunto obtido quando removemos do plano complexo o zero e os nmeros reais negativos. O Ramo Principal do logaritmo complexo a funo denida por Log : U ei

C log() + i

Onde log o logaritmo real. Veja que, a restrio do Ramo principal do logaritmo ao conjunto dos nmeros reais o logaritmo real. Na sesso 6.4 estudaremos melhor os ramos de logaritmo complexo.

Noes Topolgicas

Este captulo , praticamente, um glossrio dos termos topolgicos que usaremos no desenvolvimento do texto nos captulos seguintes. Damos uma pequena introduo topologia de C, ou seja, ao estudo dos subconjuntos de C.

2.1 Introduo topologia de C

Um nmero complexo , tambm, tratado como um ponto do plano complexo. Assim, subconjuntos de nmeros complexos , tambm, um subconjunto de pontos do plano. Com base nisso, temos as seguintes denies: Denio 2.1. Seja z C e r R . Denotaremos por D(z, r ) o disco centrado em z de raio r, ou seja, + D(z, r ) = {w C ; |w z| < r } Denio 2.2. Seja A C. Damos as seguintes denies: a) A aberto se, para todo ponto z A, existe r > 0 tal que D(z, r ) A. b) A fechado se C A aberto. c) A limitado se existe R > 0 tal que A D(z, R). Um conjunto que no limitado dito ilimitado. d) A compacto se A fechado e limitado.

Em suma, a topologia de qualquer conjunto consiste na identicao dos abertos desse conjunto. Temos, tambm, a denio de abertos relativos, como veremos a seguir: Denio 2.3. Seja A C e B A. Ento temos: a) B um aberto de A se, existe um aberto U C de C tal que B = U A. b) B um fechado de A se, existe um fechado F C de C tal que B = F A. Denio 2.4. Seja A C. Um ponto z A um ponto interior de A se r > 0 tal que D(z, r ) A. O conjunto de todos os pontos interiores de A chamado interior de A, e denotado por int( A).

Note que um conjunto A C aberto se, e somente se, A = int( A). Denio 2.5. Seja z C e r R . Denotaremos por D (z, r ) o disco o disco furado centrado em z de raio r, ou + seja, D (z, r ) = {z C ; 0 < |w z| < r }

Um disco furado um disco que tem o seu centro removido.

18

Noes Topolgicas

Denio 2.6. Seja A C. Dizemos que um ponto z C um ponto de acumulao de A se, D (z, r ) A = , r > 0 Um ponto z A que no um ponto de acumulao de A chamado ponto isolado de A. Se todos os pontos de A so pontos isolados dizemos que A um conjunto discreto. Pela denio 2.6, se um conjunto X C possui algum ponto de acumulao ento, para todo > 0 existem pontos z, w X tais que |z w| < . Assim, temos o seguinte resultado: Proposio 2.7. Qualquer subconjunto X C innito e limitado possui um ponto de acumulao.

Demonstrao: Suponha que a proposio seja falsa. Como X limitado, existem a, b, R, > 0 tal que X [ a, a + ] [b, b + ] Se X no tem ponto de acumulao ento > 0 tal que | x y| > , x, y X. Consideremos o quadrado 2 < e dividimos Q em quadrados de lado . Q = [ a, a + ] [c, c + ]. Tomemos n N tal que n n 2, portando, Obtemos, assim, um total de n2 quadrados. A diagonal de cada um destes quadrados n cada um deles contm no mximo um ponto de X, logo X contm no mximo n2 pontos, ou seja, X nito. Contradio. Denio 2.8. Seja A C denotamos por A o conjunto obtido unido-se A com todos os seus pontos de acumulao. A chamado fecho de A. Observe que um conjunto A C fechado se, e somente se, A = A. Denotaremos o fecho do disco D(z, r ) por D( z0 , r ) = { w C ; | w z | r } Denio 2.9. Seja A C. Denimos A = A int( A) O conjunto A chamado bordo ou fronteira de A. Note que se A = C e A = ento A = e todo disco centrado em algum ponto de A intercecta A e C A. Denio 2.10. Seja A C. Se existem abertos X, Y C disjuntos tais que: A X Y; A X = ; A Y = ; A dito desconexo, caso contrrio dizemos que A conexo. Chamaremos um conjunto A C de regio ou domnio se A aberto e conexo. Um subconjunto B A dito componente conexa de A se B aberto e fechado em A. Se A aberto e conexo, dizemos que A simplesmente conexo se A = C ou se todas as componentes conexas de C A so ilimitadas. Isso signica que A no tem buracos. Denio 2.11. Seja A C. Dizemos que A convexo se, dados dois pontos quaisquer z, w A, ento o segmento de reta que liga z a w est contido em A.

Sequncias, sries e produtrios

3
(3.1)

3.1 Sequncias
Uma sequncia de nmeros complexos uma funo N n

C f (n)

Em geral, usamos zn no lugar f (n) e representamos essa sequncia apenas por (zn ). Uma sequncia de nmeros complexos uma lista ordenada de nmeros complexos.

Quando falamos em lista ordenada para car claro quem o primeiro, segundo, terceiro termo, etc. Exemplo 3.1. (1) a sequncia constante (1, 1, 1, . . . );

Exemplo 3.2.

1 n

a sequncia

1,

1 1 , , ... ; 2 3

Exemplo 3.3. (in ) a sequncia (i, 1, i, 1, i . . . );

Exemplo 3.4.

in n

a sequncia

1 i i, , , . . . ; 2 3

Denio 3.5. Dizemos que uma sequncia (zn ) converge se existe L C tal que, para todo > 0, tomado arbitrariamente, conseguirmos encontrar N N tal que, |zn L| < sempre que n > N. Ou seja, todos os termos zn que aparecem na sequncia depois de x N esto contidos no disco D( L, ). Em notao matemtica escrevemos:

L C ; > 0 , N N : |zn L| < , n > N

Neste caso dizemos que a sequncia (zn ) converge para L e que L o limite de (zn ). Denotamos lim zn = L ou zn L

20

Sequncias, sries e produtrios

Exemplo 3.6. A sequncia

in n2

converge para 0. De fato, tome > 0, arbitrariamente. Basta tomar N N com

1 N > , ento , para todo n > N, temos: in 1 in 1 0 = 2 = 2 < 2 < 2 n n n N 1 1

2

1 1

in 0 < . n2 Na Figura 3.1 aparecem os primeiros pontos desta sequncia ligados por segmentos de reta (para xarmos a ordem dos pontos, assim sabemos quem vem depois de quem). Na gura da esquerda vemos os pontos a partir do 1o ponto da sequncia e na gura da direita vemos os pontos a partir do 9o ponto. ou seja,

0.012 0.8 0.008

0.4 0.004

-0.004 -0.4

-0.008 -0.8

-0.8

-0.4

0.4

0.8

-0.012

-0.008

-0.004

0.004

0.008

0.012

Figura 3.1: Pontos ordenados da sequncia Seja (zn ) uma sequncia. Se existir uma constante C e N N tal que zn = , n > N, ento (zn ) converge, e zn . Esse tipo de sequncia no muito interessante. No texto que segue, s estudaremos sequncias que no satisfazem essa propriedade, ou seja, s estudaremos sequncias (zn ), tais que o conjunto dos pontos da sequncia {zn | n N} seja innito. Exemplo 3.7. A sequncia do Exemplo 3.3 no convege. Denio 3.8. Uma sequncia (zn ) de Cauchy se para todo > 0, existir N N tal que |zm zn | < , m, n > N.

2 Exemplo 3.9. A sequncia do Exemplo 3.6 de Cauchy. Veja que, se tormarmos > 0 e N > , ento todos os pontos zn , com n > N, esto contidos no disco D 0, , portanto, se m, n > N ento |zm zn | < . Veja a 2 Figura 3.1.

3.1 Sequncias

21

Proposio 3.10. O conjunto dos pontos de uma sequncia de Cauchy um conjunto limitado.

Demonstrao: Seja (zn ) uma sequncia de Cauchy. Tomemos = 1, ento N N tal que zn D( L, 1), n > N. Tome A = max(|z1 |, |z2 |, . . . , |z N |), ento {zn | n N} D(0, A + 1).

Proposio 3.11. Uma sequncia (zn ) converge se, e somente se, de Cauchy.

Demonstrao: Primeiramente suponha que (zn ) converge. Seja L C tal que zn L e seja > 0. Seja N N tal que zn D L, , n > N. Logo, se n, m > N ento 2

|zm zn | < , ou seja, (zn ) uma sequncia de Cauchy.

Agora suponha que (zn ) uma sequncia de Cauchy.

, m, n > N0 . Pela Proposio 3.10 o conjunto dos 2 pontos desta sequncia limitado, portanto pela Proposio 2.7 este conjunto tem um ponto de acumulao, . Ento para todo n > N temos xn D( L, ). Assim, digamos L C. Logo N > N0 tal que z N D L, 2 concluimos que zn L. Seja > 0 ento N0 N tal que |zm zn | < Agora usaremos uma recurso muito comum em Matemtica. Vamos usar os resultados apresentados at agora para tirar concluses sobre sequncias mais complicadas. Os teoremas a seguir so de extrema importncia:

Teorema 3.12. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn + wn ) converge e lim(zn + wn ) = lim zn + lim wn

Demonstrao: Sejam L = lim zn e M = lim wn . Fixemos > 0, dado aleatoriamente. Pela denio de limite de seguncias, existem N1 , N2 N tais que |zn L| < se n > N1 2 e |wn M| < se n > N2 . Tome N = max{ N1 , N2 } ento, se n > N temos: 2

|(zn + wn ) ( L + M)| = |(zn L) + (wn M)| | zn L | + | wn M | < + 2 2 =

Isso prova o teorema.

22

Sequncias, sries e produtrios

Teorema 3.13. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn wn ) converge e lim(zn wn ) = lim zn lim wn

Demonstrao: Pela denio de sequncia podemos encontrar N1 , N2 N tais que |zn L| < e | wn M | < se n > N1 2(| M| + 1)

se n > N2 . Caso seja necessrio, substituimos N2 por um valor maior, de forma 2(| L| + 1) que tambm tenhamos |wn M| < 1 sempre que n > N2 , isso signica que:

| wn | = | wn M + M | | wn M | + | M | < | M | + 1
Tome N = max{ N1 , N2 } ento, se n > N temos:

| zn wn L M | = = =

| zn wn L wn + L wn L M | |(zn L)wn + L (wn M)| |(zn L) wn | + | L (wn M)| | zn L | | wn | + | L | | wn M | (| M| + 1) + | L| < 2(| M | + 1) 2(| L| + 1) < + 2 2 =

Isso prova o teorema.

Corolrio 3.14. Seja (zn ) uma sequncia convergente e seja C ento a sequncia ( zn ) converge e lim( zn ) = lim zn em partiular, a sequncia (zn ) converge e lim(zn ) = lim zn

Demonstrao: Basta considera o produto de sequncias (wn zn ), onde (wn ) a sequncia constante (). Agora s usar o resultado do Teorema 3.13

Corolrio 3.15. Sejam (zn ) e (wn ) sequncias convergentes ento a sequncia (zn wn ) converge e lim(zn wn ) = lim zn lim wn

Demonstrao: Bata substituir zn wn por zn + (wn ) e usar o Corolrio 3.14 e o Teorema 3.12.

3.1 Sequncias

23

Corolrio 3.16. Seja (zn ) uma sequncia convergente e seja m N ento a sequncia (zm ) converge e n lim zm = (lim zn )m n

Demonstrao: Basta aplicar o resultado do Teorema 3.13 usando o Princpio da Induo Matemtica. Pelo Teorema 3.13 (z2 ) converge e n lim z2 = lim zn zn = lim zn lim zn = (lim zn )2 n . Suponha que para algum k N a sequncia (zk ) converge e lim zk = (lim zn )k . n n Ento, pelo Teorema 3.13 a sequncia (zk+1 ) converge pois zk+1 = zk zn n n n e temos lim zk+1 = lim(zk zn ) = (lim zn )k lim zn = (lim zn )k+1 n n Isso conclui a prova.

Corolrio 3.17. Seja p(z) = an zn + + a2 z2 + a1 z + a0 uma funo polinmial. Se (zn ) uma sequncia convergente e ento a sequncia ( p(zn )) converge e lim p(zn ) = p(lim zn ).

Demonstrao: Basta aplica o Corolrio 3.16, juntamente com o Corolrio 3.14 e o Teorema 3.12.

Teorema 3.18. Seja (zn ) uma sequncia convergente, tal que lim zn = 0 ento a sequncia 1 zn 1 lim zn

1 zn

converge e

lim

Demonstrao: Pela denio de sequncia podemos encontrar N N tais que |zn L| <

| L |2 se n > N. 2 | L| 2

Caso seja necessrio, substituimos N por um valor maior, de forma que tambm tenhamos |zn L| < sempre que n > N, isso signica que:

| L| = | L zn + zn | | L zn | + |zn | <
Portanto

| L| + |zn | 2

|zn | >

| L| 2

24 E temos a desigualdade 1 2 < |zn | | L| Se n > N teremos: 1 1 zn L

Sequncias, sries e produtrios

= | L zn |

1 1 | L| |zn | | L |2 1 2 < 2 | L| | L| =

L zn L zn

Isso prova o teorema.

Corolrio 3.19. Sejam (zn ) e (wn ) sequncias convergentes, onde lim wn = 0 ento a sequncia verge e lim zn lim zn = wn lim wn

zn wn

con-

Denio 3.20. Seja (zn ) uma sequncia. Dizemos que o limite desta sequncia o innito se, para todo R > 0, existir N N tal que |zn | > R sempre que n > N. Ou seja, todos os nmeros que aparecem na sequncia depois de z N esto fora do disco D(0, R). Denotamos isto por: lim zn =

Teorema 3.21. Seja (zn ) uma sequncia. Ento lim zn = se, e somente se, lim 1 =0 zn

Demonstrao: Seja R > 0. Se lim 1 1 1 = 0 ento existe N N tal que, se n > N temos < , logo, |zn | > R. zn zn R

1 Reciprocamente, se lim zn = ento, dado > 0 existe N N tal que, se n > N temos |zn | > , logo 1 < . zn Exemplo 3.22. Vamos mostrar que a sequncia (2in + 3 + 5i ) tende ao innito. Observe que a sequncia captulo: lim 1 1 = lim 2in + 3 + 5i n 1 1 = 0 =0 1 2i + 0 (3 + 5i ) 2i + (3 + 5i ) n 1 2in + 3 + 5i converge para zero, para ver isto basta usar os resultados mostrados neste

Isso mostra que lim (2in + 3 + 5i ) =

3.2 Sries

25

3.2 Sries
Considere uma sequncia (zn ) e a sequncia (sn ) obtida da seguinte forma: s n = z1 + z2 + + z n ou seja sn =
i =1 n

zi

Uma sequncia como (sn ) chamada srie. Se a sequncia (sn ) converge dizemos que a srie converge, caso contrrio, dizemos que a srie diverge. Em geral denotamos a srie (sn ) por

n =1

zn

muito comum uma srie aparecer como zero.

n =0

zn , onde os termos comeam a ser somados a partir do ndice

Exemplo 3.23. Seja C , com || < 1. A srie parciais.

n =0

n converge. De fato, considere a sequncia (sn ) das somas

1 n +1 1

s n = 1 + + 2 + + n = Como lim n+1 = 0, ento lim sn = 1 . Portanto 1

n =0

n = 1

Essa srie conhecida como Srie Geomtrica.

Uma srie tambm pode ser vista como uma soma de vetores no plano, basta associar o nmero complexo z = x + iy ao vetor x, y , assim, para uma srie obtemos a gura de uma curva poligonal innita, que rep 1 i n resenta a soma consecutiva dos termos da srie. Por exemplo, considere a srie geomtrica + . 3 n =0 2 Baseado exemplo anterior temos:

n =0

1 i + 2 3

=
1

1 i 1 + 2 3

6 6 18 12 = = + i 6 (3 + 2i ) 3 2i 13 13

Veja o esboo da poligonal que representa essa srie na Figura 3.2. Do lado esquerdo aparece uma ampliao prximo do local da convergncia. Note a semelhana com a gura que usamos para ilustrar sequncias (veja a Figura 3.1 na seo anterior). Isso muito natural, pois sempre podemos associar uma sequncia a uma srie. E tambm podemos associar uma srie a uma sequncia: Se (zn ) uma sequncia convergente associamos a ela a srie

n =1

wn

, onde

w1 = z 1 w n = z n z n 1 , n 2

26
0.98

Sequncias, sries e produtrios

1.2 0.97

0.8

0.96

0.95 0.4

0.94

0.93

0.4

0.8

1.2

1.6

1.35

1.36

1.37

1.38

1.39

1.4

Figura 3.2: Poligonal que representa a srie geomtrica para =

1 i + . 2 3

Testes de convergncia
Antes de tentar calcular o limite de uma srie, primeiro necessrio saber se ela converge. Para isso existem vrios testes de convergncia. Nesta subseo apresentaremos os testes de convergncia mais populares. Denio 3.24. Uma srie complexa converge.

n =0

zn converge absolutamente se a srie de nmeros reais positivos |zn |

n =0

Teorema 3.25. Se

n =1

zn converge absolutamente. Ento:

a)

n =1

zn converge;
j =1

b) Se {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . } ento

zn j = zn .
n =1

Demonstrao: Seja a sequncia (sn ) onde sn = Seja > 0. Logo, por hiptese, N N tal que
i =1

zi
|zn | < , pois a srie converge absolutamente.

n = N +1

Logo, se n > m > N temos:

|sn sm | =

i = n +1

zn

i = n +1

|zn |

n = N +1

|zn | <

Logo (sn ) de Cauchy, portanto converge. Isso prova a).

3.2 Sries

27

Seja s =

n =1

zn .

Seja {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . }. Seja M N o menor inteiro tal que {1, 2, . . . , N } {n1 , n2 , . . . n M }. Para todo l > M temos: s

j =1

zn j

n =1

zn zn j
j =1

n {n1 ,n2 ,...,nl }

zn

n {n1 ,n2 ,...,nl }

|zn |

n = N +1

|zn | <

Isso mostra que

j =1

zn j =

n =1

zn . Isso prova b).

Antes de prosseguirmos, precisamos das seguintes denies: Denio 3.26. Seja ( xn ) uma sequncia de nmeros reais positivos. O nmero real chamado limite inferior de

( xn ) se para todo > 0, escolhido arbitrariamente, existir N N tal que | x N | < e para todo n > N tivermos xn > . Neste caso denotamos
lim inf xn = Se no existe , dizemos que lim xn = +. Denio 3.27. Seja ( xn ) uma sequncia de nmeros reais positivos. O nmero real chamado limite superior de ( xn ) se para todo > 0, escolhido arbitrariamente, existir N N tal que | x N | < e para todo n > N tivermos xn < + . Neste caso denotamos lim sup xn = Se no existe dizemos, que lim sup xn = +.

Estas duas denies foram adaptadas para sequncias de nmeros reais positivos. Para sequncias arbitrarias de nmeros reais a denio um pouco mais rigorosa. Veja [3] para ver a denio completa. Dizer que lim sup xn = signica dizer que, para todo > 0 existe N N tal que todos os termos da sequncia que aparecem depois de x N esto contidos no intervalo (0, + ), e que isso no vale para nenhum outro nmero menor que . Convm ressaltar que se a sequncia ( xn ) converge ento lim sup xn e lim inf xn coincidem com lim xn . Inspirados na Srie Geomtrica temos dois testes convergncia bem populares: o teste da razo e o teste da raiz.

28

Sequncias, sries e produtrios

Teste da razo
Seja
n =0

zn uma srie. Podemos supor, sem perda de generalidade que zn = 0, n N. Seja

R = lim sup z n +1 zn

Se R < 1 a srie converge absolutamente; Se R = 1 nada podemos dizer sobre sua convergncia; Se R > 1

a srie diverge. Dizer que lim sup z n +1 zn

< 1 signica dizer que existe N N tal que todos os termos da sequncia

z n +1 , com n > N, esto contidos no disco unitrio D(0, 1). zn Exemplo 3.28. Seja C. Considere a srie n . n! n =0

n +1 || ( n + 1) ! lim sup =0 = lim sup = lim sup n n+1 n+1 n! Portanto a srie converge. Na Figura 3.3 damos o esboo da poligonal desta srie para o caso em que = 4 + 3i. Do lado direito temos uma ampliao.

60 7.74 48

7.68 36

24

7.62

12 7.56

7.5

-60

-48

-36

-24

-12

12

-54.12

-54.06

-54

-53.94

-53.88

Figura 3.3: Poligonal da srie do Exemplo 3.28 para = 4 + 3i.

3.2 Sries

29

Teste da raiz
Seja
n =0

zn uma srie e seja

R = lim sup
n

|zn |

Se R < 1 a srie converge absolutamente; Se R = 1 nada podemos dizer sobre sua convergncia; Se R > 1 a srie diverge. n . nn n =0

Exemplo 3.29. Seja C. Considere a srie

lim sup

n = lim sup nn

|| ||n = lim sup =0 nn n

Portanto a srie converge. Veja na Figura 3.4 um esboo da poligonal associada esta srie para = 4 + 3i

15.6

12

15

14.4 8 13.8

13.2

12.6

-4

1.8

2.4

3.6

4.2

4.8

Figura 3.4: Poligonal da srie do Exemplo 3.29 para = 4 + 3i.

Um outro teste bem conhecido o teste da integral.

Teste da integral
Seja f : [0, +) R+ uma funo contnua no-crescente tal que
+
1

f ( x )dx < +

Seja

n =0 + f ( x )dx 1

zn uma srie. Se N N tal que |zn |

f (n), n > N, ento esta srie converge absolutamente. Se

= + e existir N N tal que |zn | f (n), n > N, ento a srie diverge.

30

Sequncias, sries e produtrios

Exemplo 3.30. Seja C, com Re() > 1. Considere a srie Observe que:

n =1

n . Sejam a, b R, tais que = a + bi.

|n | = |nabi | = |na nbi | = na |nbi | = na 1 = na

O motivo pelo qual |nbi | = 1 ser explicado na seo 6.4. Como a > 1 temos que:
+
1

x a dx

R+ 1

lim

x a dx = lim

R+

x 1 a 1a 1 a1

R 1

R+

lim

1 R 1 a 1a 1a

Portanto a srie converge absolutamente. Observe que se Re() 1 a srie diverge. Na Figura 3.30 exibimos a poligonal associada a esta srie para = 3 + 41i. Nela aparecem as primeiras 1000 somas parciais. Para melhorar o visual omitimos os pontos que marcam 2 os vrtices da poligonal.

0.4 -0.042

0.2

-0.0432

-0.0444 0 -0.0456

-0.2

-0.0468

-0.048 -0.4

-0.0492

0.2

0.4

0.6

0.8

0.6876

0.6888

0.69

0.6912

0.6924

0.6936

0.6948

0.696

Figura 3.5: Poligonal da srie do Exemplo 3.30 para =

3 + 41i. 2

s vezes podemos concluir se uma srie converge ou no, comparando-a com uma srie que converge ou no.

Teste da comparao
Seja
n =0

zn

uma srie que converge absolutamente e seja

|wn | |zn |, n > N. Ento

n =0

wn converge absolutamente.

n =0

wn

uma outra srie. Se N N tal que

Na verdade, para garantirmos a convergncia absoluta, basta que lim sup

wn < + zn

Se

n =0

zn diverge e existe N N tal que |wn | |zn |, n > N, ento wn diverge.

n =0

3.2 Sries

31

Exemplo 3.31. Neste exemplo vamos ilustrar a decincia das sries que no convergem absolutamente. Considere a srie

(1)n n n =1

Esta srie convergente. De fato, dado > 0, basta tomar N >

1 ento, para todo m, n > N, temos:

(1)k 1 1 (1)mn1 1 + ++ = k n+1 n+2 n+3 m k = n +1

Veja que

1 1 1 (1)mn1 + ++ = n+1 n+2 n+3 m 1 1 n+1 n+2

1 1 n+3 n+4

++

(1)mn1 >0 m

E tambm

1 1 1 (1)mn1 + ++ = n+1 n+2 n+3 m 1 n+1 1 1 n+2 n+3

(1)mn1 1 < m n+1

Logo 1 (1)k 1 < < < k n+1 N k = n +1

Isso mostra que a sequncia (sn ) das somas parciais da srie de Cauchy, logo, converge. Mas, pelo teste da integral, vemos que esta srie no converge absolutamente. Agora considere um nmero real A. Podemos encontrar uma reordenao {n1 , n2 , n3 , . . . } de N = {1, 2, 3, . . . } tal que, se (s j ) a sequncia das somas parciais da srie

(1)n j nj j =1
ento lim s j = A Vamos construir uma reordenao de N que satisfaa essa propriedade. Primeiro observe que
1 1 = + e = + (teste da integral). 2n 2n 1 n =1 n =1

Comeamos a reordenao com os nmeros mpares ordenadamente, at que ocorra s j < A pela primeira vez. Se A > 0 passamos para o prximo passo. Em seguida colocamos os nmeros mpares ordenadamente, at que ocorra s j > A pela primeira vez. Repetimos estes passos sucessivamente com os nmeros mpares e pares restantes. E pronto, teremos lim s j = A. Ou seja, podemos reordenar N e fazer a srie convergir para qualquer nmero real que queiramos. Tambm podemos reordenar N de forma que a srie nem mesmo convirja.

32

Sequncias, sries e produtrios

3.3 Produtrios
Um produtrio uma sequncia ( pn ) obtida apartir de uma sequncia (zn ), da seguinte forma: p n = z1 z2 z n ou seja pn =
i =1 n

zi

Se a sequncia ( pn ) converge dizemos que o produtrio converge, caso contrrio, dizemos que o produtrio diverge. Em geral denotamos o produtrio ( pn ) por

n =1

zn

Usando o teste da razo vemos que, se ( pn ) converge ento, lim sup p n +1 = lim sup |zn+1 | 1 pn

Suponha que lim sup |zn | = < 1. Seja R, tal que < < 1. Ento N N tal que |zn | < , n > N. Ento

n = N +1

zn =

n = N +1

|zn |

n = N +1

= lim n = 0

n = N +1

zn = 0

Logo

n =1

zn = p N

n = N +1

zn = 0

Portanto, se algum zn = 0 ou se lim sup |zn | < 1 ento Se o produtrio converge para algum p C ento lim zn+1 = lim

n =1

zn = 0.

p p n +1 = =1 pn p

ou seja, lim zn = 1. Por esse motivo, estudaremos apenas produtrios da forma

n =1

(1 + u n )

com lim un = 0.

Lema 3.32. Seja (zn ) uma sequncia. Para todo N N temos:

n =1

(1 + z n ) 1

n =1

(1 + |zn |) 1

Demonstrao: Provaremos por induo sobre N. Para N = 1 o resultado facilmente vericado.

3.3 Produtrios Suponha que o resultado seja vlido para N = k 1 ento:

k +1

33

n =1

(1 + z n ) 1

= =

(1 + z k +1 ) (1 + z n ) 1
n =1

z k +1 z k +1

n =1 k

(1 + z n ) + (1 + z n ) 1
n =1

induo

|zk+1 | (1 + |zn |) +
n =1 k

n =1 k

(1 + z n )

n =1 k

(1 + z n ) 1
n =1

(1 + |zn |) 1

= (1 + |zk+1 |) (1 + |zn |) 1
k +1 n =1

=
Portanto vale para N = k + 1.

n =1

(1 + |zn |) 1

Lema 3.33. Para a funo x e x valem os seguintes fatos: Se x 0 ento 1 + x e x ; Se 0 x 1 ento e x 1 2x; 1 Se 0 x ento 1 x e2x ; 2

Demonstrao: O primeiro fato, obtm-se da igualdade ex = 1 + x + x2 x3 + + 2! 3!

O segundo fato, consequncia da desigualdade abaixo: ex

= 1+x+

x3 x4 x5 x2 + + + + 2! 3! 4! 5! x x x x 1+x+ + + + + 2! 3! 4! 5! 1 1 1 1 + + + + 2! 3! 4! 5!

= 1+x 1+

= 1 + x ( e 1) 1 + 2x
Para o terceiro fato, basta ver que se 0 x 1 ento e x

= 1x+ = 1x+ 1x+ =

x3 x4 x5 x2 + + 2! 3! 4! 5! x2 x3 x x5 x 1 1 2! 3! 4 5! 6

x2 2! x 1x+ 2 x 1 2

34

Sequncias, sries e produtrios

Teorema 3.34. Se

n =1

zn converge absolutamente. Ento:

a)

n =1

(1 + zn ) converge;
j =1 n =1

b) Se {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . } ento (1 + zn j ) = c)

(1 + z n );

n =1

(1 + zn ) = 0 se, e somente se, zn = 1 para algum n N.

Demonstrao: Seja a sequncia ( pn ) onde pn =

n

i =1

(1 + z i )

Suponha que zn = 1, n N. Neste caso pn = 0, n N. Nesta desmostrao usaremos as desigualdades mostradas no Lema 3.33. Primeiro veriquemos que a sequncia ( pn ) e limitada. Seja K N tal que

i = n +1

|zn | < 1, m > n > K. Logo, para n > K, temos

pn = pK
n

K +1

(1 + z n )

K +1

(1 + |zn |) eK+1 |zn | < e

n

Seja

C = max{| p1 |, | p2 |, . . . , | pK 1 |, e | pK |}

ento | pn | C, n N. Isso mostra que a sequncia ( pn ) limitada. Agora mostremos que ( pn ) converge. Fixemos (0, 1). Seja N N, com N K, tal que

i = n +1

| zi | < , m > n > N

Logo, se m > n > N

| pm pn | = | pn | = | pn | C C =

pm 1 pn

i = n +1

(1 + z i ) 1 (1 + |zi |) 1
e | zi | 1

i = n +1

i = n +1
m C ( e i = n +1 | z i |

1)

C ( e 1) 2C

3.3 Produtrios Logo ( pn ) de Cauchy, portanto converge. Isso prova a). Seja p =

35

n =1

(1 + z n ).

Seja {n1 , n2 , n3 , . . . } uma reordenao de N = {1, 2, 3, . . . }. Seja M N o menor inteiro tal que {1, 2, . . . , N } {n1 , n2 , . . . n M }. Para todo l > M temos: p (1 + z n j )
j =1 l

n =1

(1 + z n ) (1 + z n j )
j =1 j = M +1

= | pN | C C C Ce
l

(1 + z n j )

n {n1 ,n2 ,...,nl }

(1 + z n ) 1

j = M +1

(1 + |zn j |) (1 + |zn j |)
e
|zn j |

j = M +1

n {n1 ,n2 ,...,nl }

(1 + |zn |) 1

n = N +1

(1 + |zn |) 1

j = M +1 lj= M+1 |zn j |

n = N +1

e|zn | 1

e n = N +1 | z n | 1

C e ( e 1) < C e 2 = 2eC
Isso mostra que (1 + zn j ) =
j =1

n =1

(1 + zn ). Isso prova b).

1

Por ltimo, seja =

n =1

|zn |. Seja L K tal que, para todo m > L temos |zm | 2 , logo:
n = L +1

(1 + z n )

n = L +1 m n = L +1 m n = L +1

|1 + z n | (1 |zn |)
e 2| z n |

= e 2 n = L +1 | z n |
m

e2
Portanto

n =1

(1 + z n )

= | pL |

n = L +1

(1 + zn ) | p L |e2 > 0. Isso prova c).

Para ilustrar a necessidade da convergncia da srie gente e seja no-nulo, considere a sequncia

1 1 1 . Observe que 0, mas = +. n n n n =2

n =1

|zn | para que o produtrio (1 + zn ) seja convern =1

Considere o produtrio

n =2

1 . n pn = n2 n1 1 1 2 3 = 2 3 4 n1 n n

36 Logo

Sequncias, sries e produtrios

n =2

1 n

n1 =0 n n =2

pois pn 0. Da mesma forma,

n =1

1+

1 n

= +. Verique.

Exemplo 3.35. Seja C, com || < 1. Ento o produtrio

n =1

(1 + n )

converge e no-nulo pois 1 n converge absolutamente (srie geomtrica) e, n N, |n | = ||n < 1, logo n= n = 1. Veja o Exemplo 3.23.

Exemplo 3.36. Seja C, com Re() > 1. (2, 3, 5, 7, 11, . . . ). O produtrio

n =1

Seja (qn ) a sequncia dos nmeros primos, ou seja,

(1 q ) 1 n

converge e no-nulo. De fato, 1 (1 q )1 converge se, e somente se, 1 (1 q ) converge. Mas, este ltimo converge pois a n n n= n= srie 1 q converge absolutamente. Observe que n= n

n =1

| q | < n

n =1

| n | < +

Veja o Exemplo 3.30. Veja tambm que, n N, |q | < 1, logo q = 1. n n Como |q | 1, ento (1 q )1 = 1 + q + q2 + q3 + (srie geomtrica), portanto, n n n n n
(1 q )1 = (1 + q + qn 2 + q3 + ) n n n
n =1

n =1

Considere os conjuntos
k k An = {q11 q22 qkn | k1 , k2 , . . . , k n Z+ } N n

Ento: p1 p2 p3

= 1 + 2 + 22 + 23 + = = =
. . .

mA1

(1 + 2
3

+ 22

)(1 + 3

+ ) =

mA2

(1 + q + q2 + q3 + ) = j j j
j =1 n

mA3

pn

( 1 q ) 1 = j
j =1 n =1

mAn

Note que A1 An A3 e que

An = N, logo:

n =1

(1 q ) 1 = n n
n =1

Limites, continuidade e derivao 4.1 Limites

Denio 4.1. A partir deste ponto chamaremos de regio um subconjunto aberto e conexo de C. Consideremos uma funo f : A C, onde A C um regio.

Seja L C e z0 C um ponto de acumulao de A. Dizemos que L o limite de f (z) quando z tende a z0 se, para todo > 0 existe > 0 tal que | f (z) L| < sempre que z A e |z z0 | < . Em termos matemticos:

> 0 , > 0 ; z A e | z z0 | < | f ( z ) L | <

Outra forma de denir a seguinte: Para todo > 0 existe > 0 tal que, se z A D (z0 , ) ento f (z) D( L, ), ou seja, a imagem da parte do disco furado D (z0 , ) que est contida em A pela funo f est contida no disco D( L, ). Em termos matemticos:

> 0 , > 0 ; z A D (z0 , ) f (z) D( L, )

Denotamos
z z0

lim f (z) = L

Observe que o ponto z0 pode no pertencer a A, e mesmo quando pertence, os clculos s so feitos em um disco furado centrado em z0 , ou seja, o nmero z0 ca fora dos clculos. Veja uma ilustrao na Figura 4.1.

Proposio 4.2. Seja a funo constante

f :C z

Ento, para todo z0 C, temos

z z0

lim f (z) =

Demonstrao: Seja > 0 dado previamente. Como f (z) = para todo z C, ento basta tomar qualquer > 0 e teremos que f (z) D(, ) sempre que z D (z0 , ).

38

Limites, continuidade e derivao

z0

A f

z0

A Figura 4.1: Ilustrao do clculo do limite

Proposio 4.3. Seja a funo identidade

f :C z

C z

Ento, para todo z0 C, temos

z z0

lim f (z) = z0

Demonstrao: Seja > 0 dado previamente. Como f (z) = z para todo z C, ento basta tomarmos qualquer > 0 com e teremos que f (z) D(z0 , ) sempre que z D (z0 , ).

Teorema 4.4. Seja A C uma regio e sejam f , g : A C funes. Seja z0 C um ponto de acumulao de A e sejam L, M C tais que lim f (z) = L e lim g(z) = M ento:
z z0 z z0

a) lim ( f (z) + g(z)) = L + M;

z z0 z z0

b) lim ( f (z) g(z)) = L M;

Demonstrao: Fixemos um > 0. Item a): Pela denio de limite, existem 1 > 0 e 2 > 0 tais que | f (z) L| < 2 | g(z) M| < 2 , se , se 0 < |z z0 | < 1 0 < |z z0 | < 2

4.1 Limites Se tomarmos um > 0 tal que min{1 , 2 } teremos que, se 0 < |z z0 | < ento

39

| f (z) + g(z) ( L + M)| = | f (z) L + g(z) M| | f (z) L| + | g(z) M| < + 2 2 =

Item b): Pela denio de limite, existem 1 > 0 e 2 > 0 tais que | f (z) L| < 2(| M | + 1) | g(z) M| < 2(| L| + 1) Tomamos 2 de forma que , se , se 0 < |z z0 | < 1 0 < |z z0 | < 2

| g(z) M| < 1 , se 0 < |z z0 | < 2

Para isso, basta diminuir o valor de 2 se for necessrio. Neste caso, se 0 < |z z0 | < 2 , ento:

| g(z)| = | M + g(z) M| | M| + | g(z) M | < | M| + 1

Portanto, se tomarmos um > 0 tal que min{1 , 2 } teremos que, se 0 < |z z0 | < ento

| f (z) g(z) L M | = | f (z) g(z) L g(z) + L g(z) L M | = |( f (z) L) g(z) + L ( g(z) M)| | f (z) L| | g(z)| + | L| | g(z) M| < (| M| + 1) + | L| 2(| M| + 1) 2(| L| + 1) = < = | L| + 2 | L| + 1 2 + 2 2

Corolrio 4.5. Seja A C uma regio e seja f : A C uma funo. Seja z0 C um ponto de acumulao de A seja L C tal que lim f (z) = L ento:
z z0

a) lim ( f (z)) = L, C. Em particular lim ( f (z)) = L;

z z0 z z0 z z0

b) lim ( f (z))n = Ln , n N;

40 Demonstrao:

Limites, continuidade e derivao

um resultado direto do Teorema 4.4. No item a) considera-se a constante como uma funo constante e no item b) basta aplicar o Teorema 4.4 juntamente com a induo matemtica.

Corolrio 4.6. Seja p(z) = an zn + + a2 z2 + a1 z + a0 uma funo polinomial em C. Ento

z z0 n lim p(z) = an z0 + + a2 z2 + a1 z0 + a0 0

ou seja, lim p(z) = p(z0 ).

z z0

Demonstrao: Basta combinar as proposies 4.2 e 4.3 com o Teorema 4.4 e o Corolrio 4.5.

Teorema 4.7. Seja A C uma regio e seja f : A C uma funo. Seja z0 C um ponto de acumulao de A e seja L C tal que lim f (z) = L ento, se L = 0, temos
z z0

z z0

lim

1 1 = f (z) L

Demonstrao: Pela denio de limite, existe > 0 tal que

| f (z) L| <

| L |2 , se 0 < |z z0 | < 2

Como L = 0, podemos tomar de forma que

| f (z) L| <

L , sempre que 0 < |z z0 | < 2

Para isso, basta diminuir o valor de se for necessrio. Neste caso, se 0 < |z z0 | < , ento:

| L| < | L f (z) + f (z)| | L f (z)| + | f (z)|

Logo | f (z)| > L 1 2 , e ento < 2 f (z) L L + | f (z)| 2

E portanto, temos:

4.1 Limites

41

1 1 f (z) L

L f (z) L f (z) 1 1 L f (z)

= |( f (z) L)| <

| L |2 1 2 2 L L =

Corolrio 4.8. Seja A C uma regio e Sejam f , g : A C funes. Seja z0 C um ponto de acumulao de A e sejam L, M C tais que lim f (z) = L e lim g(z) = M ento:
z z0 z z0

a) lim ( f (z) g(z)) = L M;

z z0

b) Se M = 0, ento lim

z z0

f (z) L = ; g(z) M

Demonstrao: Basta combinar o Teorema 4.4 com o Corolrio 4.5 e com o Teorema 4.7. Exemplo 4.9. z2

lim(z2 + 1) = i2 + 1 = 0
z i

Pois

+ 1 um polinmio (veja o Corolrio 4.6). Aqui o conjunto A todo o plano complexo.

Exemplo 4.10.
z2i

lim

z3 + i 7 = i 2+1 3 z

Pois + i e + 1 so polinmios. Aqui o conjunto A todo o plano complexo menos os pontos i e i, ou seja, A = C {i, i }. z3 z2 Veja que lim (z3 + i ) = 7i e lim (z2 + 1) = 3. Ento s fazer uso do Corolrio 4.8.
z2i z2i

Exemplo 4.11.
z 0

lim

z = lim 1 = 1 z z 0

Veja que A = C , e em A, temos

z = 1. z

Exemplo 4.12.

(z 1)(z + 1) z2 1 = lim = lim (z + 1) = 2 z1 z 1 z 1 z 1 z 1

lim

Veja que A = C {1}, isso permite a diviso por (z 1) no numerador e denominador da frao.

Exemplo 4.13. 0 z3 2iz4 z 2iz2 = =0 = lim 1 z0 z2 2z3 z0 1 2z , isso permite a diviso por z2 no numerador e denominador da frao. Veja que A = C lim

42

Limites, continuidade e derivao

4.2 Continuidade
Denio 4.14. Seja A C um aberto. Dizemos que a funo f : A C contnua no ponto z0 A se
z z0

lim f (z) = f (z0 )

Se a funo contnua em todo ponto de A dizemos que f contnua em A. Exemplo 4.15. Funes polinomiais so contnuas em todo ponto de C. Veja o Corolrio 4.6.

Teorema 4.16. Seja A C uma regio e sejam f , g : A C funes. Seja z0 A Se f e g so contnuas em z0 ento: a) h(z) = f (z) + g(z) contnua em z0 ; b) h(z) = f (z) g(z) contnua em z0 ; c) h(z) = f (z) g(z) contnua em z0 ; d) Se g(z0 ) = 0 ento h(z) = f (z) contnua em z0 . g(z)

Demonstrao: Como lim f (z) = f (z0 ) e lim g(z) = g(z0 ), basta usar o Teorema 4.4 e o Corolrio 4.8.
z z0 z z0

Teorema 4.17. Sejam A, B C regies e f : A C e g : B C funes. Seja z0 C um ponto de acumulao de A e seja L B tal que lim f (z) = L. Se g contnua em L ento lim ( g f )(z) existe e
z z0

lim ( g f )(z) = g( L)

z z0

z z0

Demonstrao: Seja > 0. Como g contnua em L ento existe > 0 tal que se f (z) B e | f (z) L| < ento | g( f (z)) g( L)| < . Como lim f (z) = L ento existe > 0 tal que se z A e 0 < |z z0 | < ento

| f (z) L| < .

z z0

Corolrio 4.18. Sejam A, B C regies e f : A C e g : B C funes. Seja z0 A tal que f (z0 ) B. Se f contnua em z0 e g contnua em f (z0 ) ento ( g f )(z) contnua em z0 .

Demonstrao: De fato. Visto que lim f (z) = f (z0 ) e f (z0 ) B ento, pelo Teorema 4.17, existe o limite lim ( g f )(z), e ento lim ( g f )(z) = g( f (z0 )).
z z0 z z0 z z0

4.3 Limites innitos

Consideremos uma funo f : A C, onde A C uma regio. Seja z0 C um ponto de acumulao de A. Dizemos que o limite de f (z) quando z tende a z0 (innito) se, para todo K > 0 existe > 0 tal que | f (z)| > K sempre que z A e |z z0 | < . Em termos matemticos escrevemos:

4.4 Limites no innito

43

K > 0 , > 0 ; z A e |z z0 | < | f (z)| > K

Outra forma de denir a seguinte: Para todo K > 0 existe > 0 tal que, se z A D (z0 , ) ento f (z) C D(0, K ), ou seja, a imagem do conjunto D (z0 , ) A pela funo f , est contida no complementar do disco D(0, K ). Em termos matemticos escrevemos:

K > 0 , > 0 ; z A D (z0 , ) f (z) C D(0, K )

E denotamos
z z0

lim f (z) =

Observe que o ponto z0 pode no pertencer a A, e mesmo quando pertence, os clculos s so feitos em um disco furado centrado em z0 , ou seja, o nmero z0 ca fora dos clculos.

4.4 Limites no innito

Consideremos uma funo f : A C, onde A uma regio ilimitada. Seja L C. Dizemos que o limite de f (z) quando z tende ao innito L se, para todo > 0 existir R > 0 tal que | f (z) L| < sempre que z A e |z| > R. Em termos matemticos escrevemos:

> 0 , R > 0 ; z A e |z| > R | f (z) L| <

Outra forma de denir a seguinte: Para todo > 0 existe R > 0 tal que, se z A D(0, R) ento f (z) D( L, ), ou seja, a imagem do conjunto A D(0, R) pela funo f , est contida no disco D( L, ). Em termos matemticos escrevemos:

> 0 , R > 0 ; z A D(0, R) f (z) D( L, )

E denotamos
z

lim f (z) = L

4.5 Limites innitos no innito

Consideremos uma funo f : A C, onde A uma regio ilimitada. Dizemos que o limite de f (z) quando z tende ao innito se, para todo K > 0 existir R > 0 tal que | f (z)| > K sempre que z A e |z| > R. Em termos matemticos escrevemos:

K > 0 , R > 0 ; z A e |z| > R | f (z)| > K

Outra forma de denir a seguinte: Para todo K > 0 existe R > 0 tal que, se z A D(0, R) ento f (z) C D(0, K ), ou seja, a imagem do conjunto A D(0, R) pela funo f , est contida no complementar do disco D(0, K ). Em termos matemticos escrevemos:

K > 0 , R > 0 ; z A D(0, R) f (z) C D(0, K )

E denotamos
z

lim f (z) =

44

Limites, continuidade e derivao

4.6 Derivao complexa

Seja C uma regio e z0 . Seja f : C uma funo. Dizemos que f tem derivada complexa em z0 se o limite f ( z ) f ( z0 ) lim z z0 z z0 existe. Neste caso denotamos esse limite por f (z0 ) que a derivada de f em z0 . Proposio 4.19. Se f : C tem derivada complexa em um ponto z0 ento f contnua em z0 .

Demonstrao: Basta mostrar que lim | f (z) f (z0 )| = 0:

z z0

z z0

lim | f (z) f (z0 )|

= = = = = =

z z0

lim

| f (z) f (z0 )| | z z0 | | z z0 |
f ( z ) f ( z0 ) | z z0 | z z0 f ( z ) f ( z0 ) lim |z z0 | z z0 z z0

z z0

lim lim

z z0

f ( z ) f ( z0 ) | lim (z z0 )| z z0 z z0 | f (z0 )| 0 0
z z0

lim

Teorema 4.20 (Condies de Cauchy-Riemann). Seja C um aberto de C e z0 = x0 + iy0 um ponto de . Seja f : C uma funo. Podemos escrever f ( x + iy) = u( x + iy) + iv( x + iy) onde u, v : R so funes reais. u e v so chamadas parte real e parte imaginria de f . Se as derivadas u u v v parciais , , e existem e so contnuas em z0 = x0 + iy0 e satisfazem s condies x y x y v u ( z0 ) x (z0 ) = y u v ( z0 ) = ( z0 ) y x Ento f possui derivada complexa em z0 . Essas condies so chamadas Condies de Cauchy-Riemann.

Demonstrao: Se as derivadas parciais de primeira ordem de u e v existem e so contnua em z0 ento, considerandoa se f = u + iv como uma funo de R2 em R2 e colocando a + bi como temos: b u( x0 + h, y0 + k) v( x0 + h, y0 + k) u ( x0 , y0 ) v ( x0 , y0 ) u x ( x0 , y0 ) v x ( x0 , y0 ) u y ( x0 , y0 ) v y ( x0 , y0 )

h k

R1 ( x0 , y0 , h, k) R2 ( x0 , y0 , h, k)

Onde

R2 + R2 |( R1 , R2 )| 2 1 = 0, ou seja, lim =0 2 + k2 (h,k)(0,0) (h,k)(0,0) |( h, k )| h lim

4.6 Derivao complexa Isso signica que

h+ik 0

45

lim

R1 + iR2 h + ik lim

(h,k)(0,0)

lim

R2 + R2 2 1 =0 h2 + k 2

Logo
h+ik 0

R1 + iR2 =0 h + ik

Se f satisfaz as condies de Cauchy-Riemann ento, u x ( x0 , y0 ) v x ( x0 , y0 ) u y ( x0 , y0 ) v y ( x0 , y0 ) h k u x ( x0 , y0 ) v x ( x0 , y0 )

v x ( x0 , y0 ) u x ( x0 , y0 )

h k

= (u x ( x0 , y0 ) + iv x ( x0 , y0 )) (h + ik)

veja na sesso 1, o texto sobre produtos de nmeros complexos. Assim, temos f (z0 + h + ik ) f (z0 ) h + ik

h+ik 0

lim

= =

(u(( x0 + h) + i(y0 + k)) + iv(( x0 + h) + i (y0 + k))) (u( x0 + iy0 ) + iv( x0 + iy0 )) h + ik h+ik 0
lim
h+ik 0

lim

(u x ( x0 , y0 ) + iv x ( x0 , y0 )) (h + ik) + R1 + iR2 h + ik
h+ik 0

= (u x ( x0 , y0 ) + iv x ( x0 , y0 )) + lim = u x ( x0 , y0 ) + iv x ( x0 , y0 )

R1 + iR2 h + ik

Como o limite existe, ento f tem derivada complexa em ( x0 , y0 ). Denio 4.21. Seja C uma regio. Uma funo f : C chamada de funo holomorfa em se f tem derivada complexa em todos os pontos de . Neste caso, denotamos por f a funo derivada de f , onde f (z) a derivada de f em z . Se f : C C holomorfa em todo ponto de C, dizemos que f inteira. Seja C uma regio e f : C uma funo. Se f satisfaz as condies de Cauchy-Riemann em todo ponto de ento f holomorfa em . Exemplo 4.22. A funo exp( x + iy) = e x (cos(y) + i sen(y)) inteira. De fato exp( x + iy) = e x cos(y) + i e x sen(y) e temos x (e cos(y)) x x (e cos(y)) y

= e x cos(y) = e x sen(y) = e x sen(y) = e x cos(y)

x x (e sen(y)) x y (e sen(y))

As derivadas parciais de primeira ordem so funes contnuas e satisfazem s condies de Cauchy-Riemann em todo ponto do plano. Portanto uma funo holomorfa em todo o plano. Logo inteira.

Denotaremos a por H() o conjunto de todas a funes holomorfas no aberto .

46

Limites, continuidade e derivao

Proposio 4.23. A funo constante

f :C z

inteira e f (z) = 0, z C

Demonstrao: Seja z0 C ento

z z0

lim

f ( z ) f ( z0 ) = lim = lim 0 = 0 z z0 z z 0 z z0 z z0

Proposio 4.24. A funo identidade

f :C z

C z

inteira e f (z) = 1, z C.

Demonstrao: Seja z0 C ento

z z0

lim

f ( z ) f ( z0 ) z z0 = lim = lim 1 = 1 z z0 z z 0 z z0 z z0

Proposio 4.25. Seja

f :C z

C zn

ento f inteira e f (z) = nzn1 .

Demonstrao: Seja z0 C ento

z z0

lim

f ( z ) f ( z0 ) z z0
n z n z0 z z0

= lim = lim

z z0

n n (z z0 )(zn1 + zn2 z0 + + z z0 2 + z0 1 ) z z0 z z0 n n = lim (zn1 + zn2 z0 + + z z0 2 + z0 1 ) z z0 n z0 1 n n n + z 0 2 z 0 + + z 0 z 0 2 + z 0 1

n = n z0 1

Teorema 4.26. Seja A C um aberto e seja z0 A. Sejam f , g : A C funes holomorfas em z0 . Ento: a) f + g holomorfa em z0 e ( f + g) (z0 ) = ( f + g )(z0 );

4.6 Derivao complexa

47

b) f g holomorfa em z0 e ( f + g) (z0 ) = ( f g )(z0 ); c) f g holomorfa em z0 e ( f g) (z0 ) = ( f g + f g )(z0 ); f d) Se g(z0 ) = 0 ento holomorfa em z0 e g f f g+ f g ( z0 ) ( z0 ) = g g2

Demonstrao: Basta recorrermos aos resultados sobre limites de funes discutidos na seo anterior. Temos assim: a)
z z0

lim

( f + g)(z) ( f + g)(z0 ) z z0
f ( z ) + g ( z ) f ( z0 ) g ( z0 ) z z0 g ( z ) g ( z0 ) f ( z ) f ( z0 ) + z z0 z z0

= lim = lim

z z0

z z0

= f ( z0 ) + g ( z0 ) = ( f + g )(z0 )
Portanto ( f + g) (z0 ) = ( f + g )(z0 ) ; b)
z z0

lim

( f g)(z) ( f g)(z0 ) z z0
f ( z ) g ( z ) f ( z0 ) + g ( z0 ) z z0 f ( z ) f ( z0 ) g ( z ) g ( z0 ) z z0 z z0

= lim = lim

z z0

z z0

= f ( z0 ) g ( z0 ) = ( f g )(z0 )
Portanto ( f + g) (z0 ) = ( f g )(z0 ) ; c)
z z0

lim

( f g)(z) ( f g)(z0 ) z z0
f ( z ) g ( z ) f ( z0 ) g ( z0 ) z z0 f ( z ) g ( z ) f ( z0 ) g ( z ) + f ( z0 ) g ( z ) f ( z0 ) g ( z0 ) z z0 f ( z ) f ( z0 ) g ( z ) g ( z0 ) g ( z ) + f ( z0 ) z z0 z z0

= lim = lim

z z0

z z0

= lim

z z0

= f ( z0 ) g ( z0 ) + f ( z0 ) g ( z0 ) = ( f g + f g )(z0 )
Portanto ( f g) (z0 ) = ( f g + f g )(z0 ) ;

48 d)

Limites, continuidade e derivao

f f f (z) f ( z0 ) ( z ) ( z0 ) g g g(z) g ( z0 ) lim = lim z z0 z z0 z z0 z z0

= lim

z z0

1 f ( z ) g ( z0 ) f ( z0 ) g ( z ) g ( z ) g ( z0 ) z z0 1 f ( z ) g ( z0 ) + f ( z ) g ( z ) f ( z ) g ( z ) f ( z0 ) g ( z ) g ( z ) g ( z0 ) z z0 1 g ( z ) g ( z0 ) f ( z ) f ( z0 ) g ( z ) g ( z0 ) g(z) f (z) z z0 z z0

= lim = lim = =
Portanto f g

z z0

z z0

1 ( f (z0 ) g(z0 ) + f (z0 ) g (z0 )) ( g(z0 ))2 f g f g ( z0 ) g2 f g+ f g ( z0 ) . g2

( z0 ) =

Corolrio 4.27. Seja p(z) = an zn + + a2 z2 + a1 z + a0 um polinmio. Ento p inteira e p (z) = nan zn1 + + 2a2 z + a1

Demonstrao: Basta combinar as Proposies 4.23, 4.24 e 4.25 com o Teorema 4.26. Proposio 4.28. Sejam A, B C abertos e f H( A) e g H( B) tais que f ( A) B. Seja h = g f ento h H( A) e h (z0 ) = g ( f (z0 )) f (z0 )

Demonstrao: Seja z0 A. Como f H( A) ento f contnua em A e temos lim f (z) = f (z0 ) logo
z z0 z z0

lim

h ( z ) h ( z0 ) z z0

= = = =

z z0

lim lim lim

g( f (z)) g( f (z0 )) z z0 g( f (z)) g( f (z0 )) f (z) f (z0 ) f ( z ) f ( z0 ) z z0 g( f (z)) g( f (z0 )) f ( z ) f ( z0 ) lim z z0 f ( z ) f ( z0 ) z z0

z z0

z z0

g ( f (z0 )) f (z0 )

Proposio 4.29. Sejam A, B C abertos e g H( B). Seja f : A B contnua tal que g f (z) = z e g ( f (z)) = 0 z A. Ento f H( A) e f (z) = 1 g ( f (z))

Se g injetiva, f chamada inversa de g e denotada por g1 .

4.6 Derivao complexa Demonstrao: Seja z0 A. Para todo z ( A {z0 }) temos f ( z ) f ( z0 ) f ( z ) f ( z0 ) = z z0 g( f (z)) g( f (z0 )) Como f contnua em A ento lim f (z) = f (z0 ) logo
z z0

49

z z0

lim

g( f (z)) g( f (z0 )) = g ( f (z0 )) = 0 f ( z ) f ( z0 )

E portanto
z z0

lim

f ( z ) f ( z0 ) 1 f ( z ) f ( z0 ) = = lim zz0 g ( f ( z )) g ( f ( z0 )) z z0 g ( f (z0 ))

Teoria de Cauchy 5.1 Integrao

Considere duas funes f , g : [ a, b] R contnuas. Devido estrutura de corpo de C, temos a seguinte regra de integrao:
b a b b

( f (t) + ig(t))dt =

f (t)dt + i

g(t)dt

Denio 5.1. Seja um aberto de C. Um caminho em uma funo contnua :

[ a, b] t x (t) + iy(t)

Se x (t) e y(t) so funes de classe C1 dizemos que o caminho suave. Neste caso denotamos o vetor tangente a no ponto (t) por (t) = x (t) + iy (t) Chamamos de curva, a imagem de um caminho e esta funo chamada de parametrizao de . Denio 5.2. Sejam z, w C. Denimos o segmento orientado que vai de z a w, como o caminho : e denotamos por [z, w]. Se ( a) = (b) dizemos que o caminho fechado. A imagem de um caminho fechado chamada curva fechada. Se (t) = ( a), t [ a, b], dizemos que o caminho constante. A imagem de um caminho constante apenas um ponto. Uma curva em C dita curva de Jordan se C possui exatamente duas componentes conexas. Neste caso, uma destas componentes ilimitada e a outra limitada e simplesmente conexa. Se no suave, mas existir uma partio do intervalo [ a, b] dada por a = t 0 < t 1 < < t n 1 < t n = b tal que |[ti1 ,ti ] suave para todo i = 1, 2, . . . , n, dizemos que suave por partes, e cada parte ([ti1 , ti ]) uma componente suave de . Se uma curva imagem de um caminho suave por partes dizemos que essa curva suave por partes.

[0, 1] C t tz + (1 t)w

5.1 Integrao

51

Exemplo 5.3. Se

C um tringulo ento

uma curva de Jordan suave por partes.

Denio 5.4. Seja uma curva. Uma orientao em um sentido de percurso em . Uma curva tem duas orientaes. Uma parametrizao de induz naturalmente uma orientao em . Quando uma curva de Jordan, chamamos de orientao positiva se o sentido de percurso de no sentido anti-horrio, em relao aos pontos da componente limitada de C . A outra orientao a orientao negativa. Sempre que falarmos de uma curva de Jordan sem mensionar a orientao, estaremos falando da orientao positiva. Denio 5.5. O comprimento de um caminho suave o valor da integral

|dz| =

b a

| (t)|dt =

b a

x (t)

+ y (t)

dt

Se o caminho no suave, mas suave por partes, seu comprimento a soma dos comprimentos de suas componentes suaves. Denio 5.6. Seja C um aberto e um caminho suave. Seja f : C uma funo contnua. Escrevemos f (z) = u(z) + iv(z) onde u, v : R so funes reais. A integral de f sobre denotada e calculada da seguinte forma:
b

f (z)dz

=
a b

f ((t)) (t)dt

=
a b

(u ((t)) + iv ((t))) x (t) + iy (t)

dt

=
a

[(u((t)) x (t) v((t))y (t)) + i (u((t))y (t) + v((t)) x (t))]dt

b a

Temos, assim:
a

[u((t)) x (t) v((t))y (t)]dt + i

[u((t))y (t) + v((t)) x (t)]dt

Se no suave, mas suave por partes, ento

f (z)dz a soma das integrais nas componentes suaves de .

Teorema 5.7. Seja C uma regio e F H() tal que F contnua. Ento F (z)dz = 0

para todo caminho fechado e suave por partes em .

Demonstrao: Consideremos uma parametrizao de dada por :

[ a, b] t (t)

Usando o Teorema Fundamental do Clculo temos

b

F (z)dz =

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

Pois (b) = ( a).

52

Teoria de Cauchy

Corolrio 5.8. Seja n N e seja um caminho fechado e suave por partes em C. A funo z zn uma z n +1 funo inteira (portanto contnua) que a derivada da funo z que tambm inteira logo: n+1 zn dz = 0

O mesmo vale para a funo constante z c pois a derivada de z cz. Consequentemente, se p : C C uma funo polinomial ento p(z)dz = 0

1 Corolrio 5.9. Seja n N com n 2 e seja um caminho fechado e suave por partes em C . A funo z n z n1 uma funo (holomorfa) contnua em C que a derivada da funo z n1 ento: z zn dz = 0

Teorema 5.10 (Teorema de Cauchy no tringulo). Seja C uma regio e sejam fechado e p um ponto. Se f H( { p}) e contnua em p ento f (z)dz = 0

um tringulo

Demonstrao: Considere o tringulo de vrtices ordenados { a, b, c}. .

Primeiro supomos que p

a Tome os pontos mdios das arestas conforme a Figura ao lado. Temos ento quatro tringulos, que chamaremos 1 , 2 , 3 e 4 cujos vrtices ordenados so: { a, b , c } , {c, b , a } c c b a b

{b, a , c } , { a , b , c }

Veja que

f (z)dz =

i =1

f (z)dz

5.1 Integrao Escolha o tringulo para o qual f (z)dz mximo. Chamaremos esse tringulo de f (z)dz 4 f (z)dz
1

53
1.

Logo

E, por semelhana de tringulos

|dz| = 2

|dz|
1

Ou seja, o permetro de

a metade do permetro de
1,

.
2

Repetindo a mesma tarefa com o tringulo f (z)dz 4

1

obtemos um tringulo

tal que f (z)dz

2

f (z)dz
2

f (z)dz 42

|dz| = 2
1

|dz|
2

|dz| = 22

|dz|
2

Repetindo este procedimento encontramos uma famlia de tringulos fechados {

1

n } n N

tal que

, onde

f (z)dz 4n

f (z)dz
n

, n N

|dz| = 2n

|dz|
n

Denotamos o permetro de

por L, logo o permetro de

L . 2n

O conjunto
n =1

contm apenas um ponto que denotaremos por z0 .

Visto que z0

, temos que f holomorfa em z0 logo

z z0

lim

f ( z ) f ( z0 ) f ( z0 ) = 0 z z0

Seja > 0, ento existe tal que, se |z z0 | < ento f ( z ) f ( z0 ) f ( z0 ) < z z0 Ou seja,

| f (z) f (z0 ) f (z0 )(z z0 )| < |z z0 |

Existe N N tal que

N

D( z0 , )
N

Lembramos que para todo ponto z L z0 | < N 2 (o permetro de N ).

temos |z

54

Teoria de Cauchy

A expresso f (z0 ) + f (z0 )(z z0 ) um polinmio de grau 1 em z, logo, pelo Teorema 5.8 temos f (z0 ) + f (z0 )(z z0 ) dz = 0
N

E podemos escrever

f (z)dz =
N

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

N

Assim temos

f (z)dz
N

= = < = =

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

N

f (z) f (z0 ) f (z0 )(z z0 ) |dz|

N

|z z0 ||dz|
N

L |dz| 2N

L 2N

|dz|
N

L L L2 = N N 2N 2 4 L2 = L2 4n f (z)dz = 0, portanto

f (z)dz 4n

f (z)dz < 4n
n

Isso mostra que

f (z)dz menor que qualquer nmero real positivo, logo

f (z)dz = 0. p r s

Agora consideremos o caso em que p

. .

Comeamos com o caso em que p um dos vrtices de

Considere o tringulo com vrtices ordenados { a, b, p}. Seja r um ponto na aresta [ p, a] e s um ponto na aresta [b, p]. Dessa forma dividimos em trs tringulos com vrtices ordenados { a, b, s}, { a, s, r }, e {r, s, p}. Chamaremos este ltimo tringulo de p .

b Pela primeira parte desta demonstrao, a integral no bordo dos dois primeiros tringulos zero. Logo f (z)dz = f (z)dz
p

Seja > 0. Como f contnua em ento e p D( p, ) ento

compacto, M > 0, tal que | f (z)| M, z

. Logo, se

5.1 Integrao

55

f (z)dz

= = <

f (z)dz
p

| f (z)| |dz|
p

M |dz|
p

M (| p s| + |r p| + |r s|) M ( + + 2) = 4M

Isso mostra que

f (z)dz = 0 c

Agora, se p est em uma aresta de , ligamos p ao vrtice oposto por um segmento de reta e obtemos dois tringulos em que p um vrtice para cada um deles.

b a c

E se p est no interior de ligamos ele aos trs vrtices por segmentos de retas e obtemos trs tringulos onde p um vrtice para cada um deles. Em ambos os casos, basta aplicar a segunda parte desta demonstrao. b

a Teorema 5.11 (Teorema de Cauchy em um conjunto convexo). Sejam C um conjunto convexo aberto e p um ponto. Se f H( { p}) ento f = F , para alguma F H(). Logo f (z)dz = 0

para todo caminho fechado e suave por partes em .

Demonstrao: Fixemos um ponto a . Para todo z , temos [ a, z] , pois convexo. Podemos, ento, denir a funo F: C (5.1) f (w)dw z
[ a,z]

56 Seja z0 . Para todo z , com z = z0 temos F ( z ) F ( z0 ) 1 = z z0 z z0 Pelo Teorema 5.10 temos

[ a,z0 ] [ a,z]

Teoria de Cauchy

f (w)dw

[ a,z0 ]

f (w)dw

f (w)dw +

[z0 ,z]

f (w)dw +

[z,a]

f (w)dw = 0

Logo
[ a,z0 ]

f (w)dw

[z,z0 ]

f (w)dw

[ a,z]

f (w)dw = 0 f (w)dw

[z,z0 ]

f (w)dw =

[ a,z]

f (w)dw

[ a,z0 ]

Substituindo esta expresso em (5.1) temos: 1 F ( z ) F ( z0 ) = z z0 z z0 Como f (z0 ) uma constante, temos:
[z,z0 ] [z,z0 ]

f (w)dw

f (z0 )dw = f (z0 )(z z0 ) f (z0 ) =

1 z z0

[z,z0 ]

f (z0 )dw

Ento

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

[z,z0 ]

( f (w) f (z0 ))dw

Seja > 0. Como f contnua > 0 tal que | f (w) f (z0 )| < sempre que |z z0 | < . Portanto, se |z z0 | < temos F ( z ) F ( z0 ) f ( z0 ) z z0

= < =

1 | z z0 | 1 | z z0 | 1 | z z0 |

[z,z0 ]

( f (w) f (z0 ))dw

[z,z0 ]

| f (w) f (z0 )| |dw|

|dw|

[z,z0 ]

1 | z z0 | | z z0 |

=
Isso mostra que
z z0

lim

F ( z ) F ( z0 ) f ( z0 ) z z0

=0

Ou seja,
z z0

lim

F ( z ) F ( z0 ) = f ( z0 ) f ( z0 ) = F ( z0 ) z z0

Como z0 foi tomado arbitrariamente, concluimos que f (z) = F (z), z . Agora, para nalizar s usar o resultado do Teorema 5.7. Teorema 5.12 (O princpio do argumento - um caso mais simples). Seja z C, e seja C { p} um caminho suave tal que nenhuma reta que passa por z tangente a . Ento dw = 2ni wz

onde n Z o nmero de voltas que d em torno do ponto z. n ser positivo se a orientao de for no sentido horrio e negativo caso contrrio.

5.1 Integrao Demonstrao: Por hiptese d pelo menos uma volta em torno de z.

57

(t) Suponha que d n voltas no sentido positivo (Na gura ao lado temos um exemplo de uma curva que d duas voltas em torno da origem). Ento podemos parametrizar da seguinte forma:

: onde

[0, n ] C { az} t z + f (t) (cos(t) + isen(t))

f :

[0, n ] R t |(t) z|

dw = wz

2n 0 2n

f (t)(cos(t) + isen(t)) + f (t)(sen(t) + i cos(t)) dt f (t)(cos(t) + isen(t)) f (t) dt + f (t)

2n 0

=
0 2n

sen(t) + i cos(t) dt cos(t) + isen(t)

2n 0

=
0

d log( f (t))dt + dt
2n 0 2n

i (cos(t) + isen(t)) dt cos(t) + isen(t)

= log( f (t))
2n

+
0

idt

=i
Pois f (2n ) = f (0).

dt = 2ni

O caso em que n negativo idntico. Na verdade esse teorema vale qualquer caminho suave por partes em C {z}. Mas no faremos o caso geral aqui.

Teorema 5.13 (A frmula de Cauchy em conjunto convexos). Seja um aberto convexo e seja uma curva de Jordan suave tal que a componente simplesmente conexa de convexa. Seja f H(). Se z est na componente simplesmente conexa de ento f (z) = 1 2i f (w) dw wz

E se z est na outra componente conexa de ento f (w) dw = 0 wz

Demonstrao: Se z no est na componente simplesmente conexa de ento existe um aberto covexo A tal

58 que A, e z A, logo A contm a componente simplesmente conexa de e w holomorfa em A logo, pelo 5.11

Teoria de Cauchy f (w) como funo de wz

f (w) dw = 0 wz

Agora suponha que z est na componente simplesmente conexa de . Tomemos a funo f (w) f (z) wz g(w) = f (z) , se w {z} , se w = z

A funo g holomorfa em w {z} e contnua em z, logo, pelo teorema 5.11 g(w)dw = 0

Ento, usando o Princpio do Argumento (Teorema 5.12), temos 0= f (w) f (z) dw = wz f (w) dw f (z) wz dw wz

f (w) dw = f (z) wz

dw = f (z) 2i wz

Veja que nenhuma reta tangente a intercecta a componente simplesmente conexa de . Isso mostra que 1 f (w) f (z) = dw 2i w z

Em resumo, o que o Teorema 5.13 nos diz que na componente simplesmente conexa de , os valores de f so determinados apenas por seus valores sobre .

Funes Holomorfas 6.1 Sequncias de funes holomorfas

6
(6.1)

Seja C um aberto. Como foi visto no captulo anterir eenotaremos por H() o conjunto das funes holmorfas em . Podemos ver facilmente que H() um domnio de integridade (Veja o Teorema 4.26). Uma sequncia de funes holomorfas em uma funo N n

H() fn

Representamos a sequncia (6.1) apenas por ( f n ). Uma sequncia de funes , na verdade, uma lista de funes. Anlogo ao que estudamos em sequncia de nmeros complexos. Dizemos que a sequncia converge (6.1) se a sequncia de nmeros complexos ( f n (z)) converge para todo z . Seja f : C a funo tal que f n (z) f (z), z . Denotamos lim f n = f ou f n f . Denio 6.1. Seja C um aberto e ( f n ) uma sequncia convergente em H() e seja f : C tal que f n f . Seja K um compacto. Dizemos que ( f n ) converge para f uniformemente em K se, para todo > 0, tomado arbitrariamente, existe N N tal que | f n (z) f (z)| < , z K e n > N. Se ( f n ) converge uniformemente para f em todo subconjunto compacto de dizemos que ( f n ) converge para f uniformemente em partes compactas de . Denotamos f n f . Exemplo 6.2. Considere a sequncia ( f n ) em H(C), onde f n (z) = zn Ento f n 0 em D(0, 1). De fato, xemos r (0, 1). Seja > 0, ento, N > logr () e z D(0, r ) temos:
u.p.c. u.p.c.

|zn | = |z|n < r n < r N < rlogr () =

Ou seja, ( f n ) converge para 0 uniformemente em D(0, r ), r (0, 1), consequentemente, em qualquer compacto de D(0, 1). Veja que ( f n ) no converge em nenhum ponto fora de D(0, 1).

60

Funes Holomorfas

6.2 Sries de funes holomorfas

Seja C uma regio. Uma srie de funes em H(), uma sequncia de funes (sn ) obtida a partir de uma sequncia de funes ( f n ) em H(), da seguinte forma: sn = f 1 + f 2 + + f n ou seja sn = Denotamos essa srie por:
i =1 n

fi
fn (6.2)

n =1

Se a sequncia (sn ) converge em dizemos o mesmo para a srie (6.2), caso contrrio, dizemos que a srie diverge. Se a sequncia (sn ) converge uniformemente em partes compactas de dizemos o mesmo para a srie (6.2).

6.3 Sries de potncias

Seja z0 C. Uma srie de potncias centrada em z0 uma srie da forma:

n =0

a n ( z z0 ) n

, an C

(6.3)

O raio de convergncia da srie (6.3) o maior nmero real R > 0 tal que ela converge em todo ponto no disco D(z0 , R). Inspirados no teste da razo e no teste da raiz para convergncia de sries (veja a seo 3.2), podemos calcular R. Se a sries (6.3) converge ento lim sup ou lim sup
n

a n +1 ( z z 0 ) n +1 <1 a n ( z z0 ) n

| a n ( z z0 ) n | < 1

Ento temos lim sup ou

a n +1 ( z z 0 ) n +1 a = |z z0 | lim sup n+1 < 1 a n ( z z0 ) n an

n

lim sup

| an (z z0 )n | = |z z0 | lim sup

| an | < 1

Denimos R como: R = lim inf an a n +1

ou R = lim inf
n

| an |

6.3 Sries de potncias

61

Se R > 0 ento, para todo z C, com |z z0 | < R, a srie (6.3) converge absolutamente (veja a seo 3.2).

A srie

em D(z0 , r ), com isso concluimos que a srie (6.3) converge uniformemente em partes compactas no disco D( z0 , R ). ou ( n | an |) convergem, podemos substituir lim inf e a n +1 lim sup apenas por lim conforme vimos na sesso 3.2. an

n =1

|an |rn converge r

> 0, com r < R, consequentemente a srie (6.3) converge uniformemente

Nota: Nos casos em que as sequncias

Teorema 6.3. Seja

n =0

a n ( z z0 ) n

uma srie de potncias centrada em z0 e com raio de convergncia R > 0. Seja f : D(z0 , R) C a funo denida por essa srie. Ento f holomorfa em D(z0 , R) e f (x) =

n =0

nan (z z0 )n1

Demonstrao: Basta mostrarmos para z0 = 0. Primeiro vericamos a convergncia da srie

n =1

nan zn1

(6.4)

O raio de convergncia da srie (6.4) : lim inf nan n an = lim inf lim inf = 1R = R ( n + 1 ) a n +1 n+1 a n +1

Ou seja, o raio de convergncia da srie (6.4) coincide com o raio de convergncia da srie que dene f . Chamaremos de g : D(0, R) C a funo denida pela srie (6.4). Fixemos r > 0, com r < R. Para todo z, w D(0, r ), com w = z, temos g(z) nzn1 wn zw
zn wn f (z) f (w) = an nzn1 zw zw n =1

zn

= z n 1 + z n 1 + z n 1

+ + z n 1 + z n 1

= zn1 + zn2 w + zn3 w2 + + zwn2 + wn1

Subtraindo-se a segunda igualdade da primeira temos z n 2 ( z w ) + z n 3 ( z 2 w 2 ) + + z ( z n 2 w n 2 ) + ( z n 1 w n 1 ) =

(z w) (n 1)zn2 + (n 2)zn3 w + + 2zwn2 + wn2

Logo, nzn1 zn wn |z w| ((n 1) + (n 2) + + 2 + 1) r n2 zw n ( n 1 ) n 2 r = |z w| 2

62 f (z) f (w) zw zn wn zw n =1 zn wn |an | nzn1 z w n =1 n ( n 1) |z w| | a n | r n 2 2 n =2

Funes Holomorfas nzn1

g(z)

an

Pelo teste da razo, a srie A < +, logo

n ( n 1) n ( n 1) | an |r n2 converge, visto que r < R. Digamos que | a n | r n 2 = 2 2 n =2 n =2

g(z) Isso mostra que

wz

f (z) f (w) |z w| A zw f (z) f (w) =0 zw

lim g(z)

Ou seja, g(z) = lim f (z) f (w) = f (z) zw

wz

Como r foi tomado arbitrariamente ento f (z) = g(z) em D(0, R).

Corolrio 6.4. Se f (z) = Dene uma funo holomorfa em D(z0 , R) ento: f (k) (z ) = em D(z0 , R). E temos:

n =0

a n ( z z0 ) n

n=k

n ( n 1) ( n k + 1) a n ( z z0 ) n k

f (k) (z0 ) = k!ak

Demonstrao: Basta ver que f satisfaz as mesmas hipteses que f no Teorema 6.3

Corolrio 6.5. Se f uma funo holomorfa em D(z0 , R) denida pela srie de potncias

n =0

a n ( z z0 ) n

cujo raio de convergncia R > 0 ento existe uma funo g, holomorfa em D(z0 , R) tal que g = f .

Demonstrao: Considere a srie an ( z z 0 ) n +1 n+1 n =0

(6.5)

O raio de convergncia da srie 6.5 :

6.4 Representao em srie de potncias

63

an n + 1 = lim inf n + 2 lim inf an = 1 R = R lim inf a n +1 n+1 a n +1 n+2 Ento a srie (6.5) dene uma funo g : D(z0 , R) C. Pelo teorema 6.3, g holomorfa e g = f .

6.4 Representao de funes holomorfas em sries de potncias

Essa uma ferramenta poderosssima no estudo das funes holomorfas. Veja a denio abaixo: Denio 6.6. Seja C um aberto e f H(). Dizemos que f representvel por sries de potncias em se em todo disco D(z0 , r ) existe uma srie de potncias
n =0

an (z z0 )n que converge para f (z), z D(z0 , r)

Denio 6.7. A srie

zn converge uniformemente em partes compactas de C (veja o Exemplo 3.28), portanto n! n =1 esta srie dene uma funes inteira. Esta funo conhecida como Funo Exponencial, e denotada por

exp(z) =

zn , z C n=0 n!

Essa a representao da funo exponencial em srie de potncias, a mesma funo estudada no captulo 1.

Pela denio vemos que a funo exponencial satisfaz s seguintes propriedades: a) exp (z) = exp(z); b) e0 = 1; c) ez+w = ez ew z, w C

a) e b) so vericada facilmente. Quanto a c) temos zj j! j =0

wk k! k =0

n =0

j =0

z j wn j j!(n j)!

1 n! n =0 1 n! n =0

j =0 n

n! z j wn j j!(n j)! n j n j zw j

j =0

(z + w)n n! n =0

Veja que a srie que dene a funo exponencial em C a mesma srie que dene a funo exponencial em R, na verdade, a exponencial real a exponencial complexa restrita a R. Denio 6.8. Da mesma forma que exp, as funes senh, cosh, sen e cos se estendem a funes inteiras cujas

64

Funes Holomorfas

representaes em sries de potncias so dadas pelas mesmas sries que as denem em R, ou seja senh(z)

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

z C z C z C z C

cosh(z)

z2n n=0 (2n ) !

sen(z)

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

cos(z)

(1)n z2n (2n)! n =0

Estas sries, da mesma forma que a srie de exp(z), convergem uniformemente em partes compactas de C, portanto so funes inteiras.

Baseados nas denies 6.7 e 6.8 temos as seguintes relaes, que daremos em forma de proposio:

Proposio 6.9. Valem as seguintes identidade: a) senh(z) + cosh(z) = ez ; b) senh(iz) = isen(z); c) cosh(iz) = cos(z); d) eiz = cos(z) + isen(z);

Demonstrao: Para o item a) veja que a srie de senh(z) contm todos os termos mpares da srie de exp(z) e cosh(z) contm todos os termos pares. Para os itens b) e c) veja que n N temos i2n = (i2 )n = (1)n e logo i2n+1 = i i2n = i (1)n i

(iz)2n = i2n z2n = (1)n z2n

e

(iz)2n+1 = i2n+1 z2n+1 = i (1)n z2n+1

Para o item d) s combinar os resultados dos itens a), b) e c). Denio 6.10. Um ramo de logaritmo uma funo contnua f : U C, onde U C um aberto simplesmente conexo, tal que e f (z) = z, z U

Observe que se f : U C e g : V C so ramos de logaritmo e U V = ento f (z) g(z) = 2ki z U V, para algum k Z. De fato, seja z U V ento e f (z) g(z) = z e f (z) = =1 g(z) z e

6.4 Representao em srie de potncias Logo e f (z) g(z) = cos(2k ) + isen(2k ) para algum k Z. Pela proposio 4.29 um ramo de logaritmo f : U C uma funo holomorfa e f (z) = 1 1 1 = = exp ( f (z)) exp( f (z)) z

65

Seja U = {ei C | > 0 , (, )}. U C aberto simplesmente conexo. No captulo 1 denimos o Ramo Principal do Logaritmo Log : U ei

C log() + i
1 para todo z U. z

Pelo que vimos acima, concluimos que Log holomorfa em U e Log (z) = Denio 6.11. Seja C. Denimos um ramo das potncias de por z = ezg() Onde g um ramo de logaritmo denido em . Neste termos, funo z z holomorfa.

Quando no for especicado o ramo de logaritmo usado para denir o ramo da potncia e R , estaremos usando o Ramo Principal do Logaritmo.

Teorema 6.12. Seja C um aberto e f H(). Ento f representvel em sries de potncias.

Demonstrao: Seja D(z0 , r ) tal que D(z0 , r ) , tomemos a curva de Jordan = D(z0 , r ). Pelo teorema 5.13 temos f (w) 1 dw , z D(z0 , r ) f (z) = 2i w z Para todo w e z D(z0 , r ) temos z z0 | z z0 | <1 = w z0 r Portanto, inspirados (novamente) na srie geomtrica, temos
1 w z 0 n =0

z z0 w z0

1 1 1 z z0 = w z w z0 1 w z0

Logo
( z z0 ) n f (w) = f (w) n +1 wz n =0 ( w z 0 )

66 Esta srie converge uniformemente nas partes compactas de D(z0 , r ). Logo 1 2i 1 2i 1 2i

Funes Holomorfas

f (z)

f (w) dw wz f (w)

( z z0 ) n n +1 n =0 ( w z 0 )

dw

n =0

f (w)dw ( w z 0 ) n +1

( z z0 ) n

n =0

a n ( z z0 ) n

Onde an = 1 2i f (w)dw ( w z 0 ) n +1

Pelo teorema 5.13 os coecientes an independem de r. Portanto f (z) representada por esta srie de potncias no disco D(z0 , R), onde R o raio de convergncia da srie.

Corolrio 6.13. Seja C um aberto e f H() ento f possui derivadas de todas as ordens em todos os pontos de e, para todo D(z0 , r ) , temos f ( n ) ( z0 ) = onde = D(z0 , r ). n! 2i f (w)dw ( w z 0 ) n +1

Demonstrao: Basta combinar o corolrio 6.13 com o teorema 6.3.

Corolrio 6.14 (Estimativas de Cauchy). Seja f uma funo holomorfa no disco D(z0 , R) e M > 0 tal que f (z) M z D(z0 , R). Ento

| f (n) (z0 )| =

n!M Rn

Demonstrao: Pelo corolrio 6.13, para todo r < R, temos n! 2i f (w)dw ( w z 0 ) n +1

f ( n ) ( z0 ) =

6.4 Representao em srie de potncias onde = D(z0 , r ), logo

67

| f (n) (z0 )| = = = =
Como r < R foi tomado aleatoriamente temos

n! 2i n! 2 n! 2 n! 2

f (w)dw ( w z 0 ) n +1 f (w)dw ( w z 0 ) n +1

| f (w)| |dw| | w z 0 | n +1
M |dw| r n +1

n! M n+1 2r 2 r n!M rn

| f (n) (z0 )|

n!M Rn

Teorema 6.15 (Teorema de Morera). Seja C um aberto e f : C uma funo contnua tal que f (z)dz = 0 para todo tringulo fechado

. Ento f H().

Demonstrao: Se convexo, podemos usar o Teorema 5.11 para construir F H() tal que F = f . Visto que derivadas de funes holomorfas uma funo holomorfa, concluimos que f holomorfa em . Portanto f holomorfa em qualquer subconjunto convexo de , logo f H().

Teorema 6.16. Seja C um aberto e seja ( f n ) uma sequncia em H(). Seja f : C tal que f n f em . Ento i) f holomorfa; ii) ( f n ) converge em partes compactas de ; iii) f = lim f n .

u.p.c.

Demonstrao: Como a convergncia uniforme ento f contnua. Considere um tringulo fechado

qualquer. Ento, pelo teorema 5.10 temos

f (z)dz = lim f n (z)dz

=0

Pelo Teorema de Morera (teorema 6.15) f holomorfa. Isso prova i)

68
u.p.c.

Funes Holomorfas

Seja D(z0 , r ) . Tomemos > 0. Como f n f ento N N tal que | f (z) f n (z)| < z D(z0 , r ), sempre que n > N. Ento, aplicando o teorema 6.14 funo ( f f n ) temos

| f (z) f n (z)| <

Isso mostra que f n f . E esto provados ii) e iii)
u.p.c.

Exemplo 6.17. A srie

C | Re(z) > 1} (veja o Exemplo 3.30), portanto esta srie dene uma funes holomorfa no aberto {z C | Re(z) > 1}. Esta funo conhecida como Funo Zeta de Riemann, e denotada por (z) =

n =1

nz

converge uniformemente em partes compactas do semi-plano aberto {z

n =1

nz

, Re(z) > 1

6.5 Produtrios de funes holomorfas

Seja C uma regio. Um produtrio de funes em H(), uma sequncia de funes ( pn ) obtida a partir de uma sequncia de funes ( f n ) em H(), da seguinte forma: pn (z) = (1 + f 1 (z)) (1 + f 2 (z)) (1 + f n (z)) ou seja pn (z) = Denotamos esse produtrio por:
i =1

(1 + fi (z))
(6.6)

n =1

(1 + f n (z))

Se a sequncia ( pn ) converge em dizemos o mesmo para o produtrio (6.6), caso contrrio, dizemos que o produtrio diverge. Se a sequncia ( pn ) converge uniformemente em partes compactas de dizemos o mesmo para o produtrio (6.6). De acordo com o que foi mostrado em 3.3, para que o produtrio (6.6) seja convergente nas partes compactas de , basta que a srie
i =1

| f n (z)|

tambm seja. Exemplo 6.18. Seja (qn ) a sequncia dos nmeros primos, ento o produtrio

n =1

(1 q z ) 1 n

converge uniformemente em partes compactas de {z C | Re(z) > 1}, portanto dene uma funo holomorfa neste aberto e no se anula em ponto algum deste aberto (veja o Exemplo 3.36) e temos tambm:

n =1

(1 q z ) 1 = n z = ( z ) n
n =1

6.6 Zeros de funes holomorfas

Denio 6.19. Sejam um aberto e f H(). Um ponto z0 chamado zero de f se f (z0 ) = 0. Dizemos que esse zero tem ordem k se f ( z 0 ) = f ( z 0 ) = = f ( k 1) ( z 0 ) = 0

6.6 Zeros de funes holomorfas e f (k) (z0 ) = 0.

69

Note que se z0 um zero de ordem k de f ento a representao de f em sries de potncias em z0 da forma

n=k

a n ( z z0 ) n

Onde ak = 0.

Teorema 6.20. Sejam uma regio e f H(). Se f no identicamente nula ento conjunto dos zeros de f discreto.

Demonstrao: Seja z0 um zero de f e seja f (z) = a representao em srie de potncias de f em z0 . Suponha que exista algum ak = 0, tal que a0 = a1 = = ak1 = 0. Ento f (z) = em D(z0 , r ) , com ak = 0, e podemos escrever f ( z ) = ( z z0 ) k g ( z ) Onde g(z) = (6.7)

n =0

a n ( z z0 ) n

n=k

a n ( z z0 ) n

n =0

a n + k ( z z0 ) n .

g(z0 ) = ak = 0 e g holomorfa em D(z0 , r ) (basta aplicar o teste da razo). Como g holomorfa ento contnua, logo existe > 0, com r tal que

| g(z) g(z0 )| <

sempre que z D(z0 , ).

| ak | 2

| g(z0 )| = | g(z0 )| = | g(z) g(z0 ) g(z)| | g(z) g(z0 )| + | g(z)|

Logo, se z D(z0 , ) temos

| g(z)| | g(z0 )| | g(z) g(z0 )| > | ak |

Pela equao (6.7) o nico zero de f em D(z0 , ) z0 .

| ak | |a | = k >0 2 2

Concluimos, assim, que se z0 no um zero isolado ento an = 0 n, ou seja f (z) = 0 z D(z0 , r ). Seja Z ( f ) = {z | f (z) = 0} e seja A C o conjunto dos pontos de acumulao de Z ( f ) ento A um conjunto fechado. Como f contnua ento A Z ( f ). Se A = ento, pelo que vimos acima A aberto em . Como A tambm um fechado em concluimos que A = , pois conexo. Ou seja, f identicamente nula.

70

Funes Holomorfas

Corolrio 6.21. Seja C um aberto e sejam f , g H(). Se o conjunto {z | f (z) = g(z)} no discreto ento f (z) = g(z), para todo z .

Demonstrao: Basta usar o resultado do teorema para a funo h(z) = f (z) g(z). Denio 6.22. Denimos as seguintes funes inteiras E0 (z) = (1 z) e Ek (z) = (1 z) exp z + z2 zk ++ 2 k , se k > 0

Lema 6.23. Se |z| 1 ento |1 Ek (z)| |z|k+1 , k = 0, 1, 2, . . . .

Demonstrao: Se k = 0, nada temos a fazer. Suponha k > 1. Primeiro observemos que 1 Ek (0) = 0. E que d z2 zk (1 Ek (z)) = Ek (z) = zk exp z + + + dz 2 k d (1 Ek (z)) tem um zero de ordem k em z = 0, logo z = 0 um zero de ordem k + 1 de 1 Ek (z), dz portanto temos 1 Ek (z) = an zn z k +1 n = k +1 Onde an > 0 n, logo, se |z| 1 temos 1 Ek (z) 1 Ek (1) =1 an |zn | an = k +1 z 1k +1 n = k +1 n = k +1 Ou seja, |1 Ek (z)| |z|k+1 . Teorema 6.24. Seja (zn ) uma sequncia discreta de nmeros complexos tal que zn = 0 n N. Seja ( pn ) uma sequncia de inteiros positivos tais que a srie

n =1

z zn

p n +1

converge para todo z C. Ento o produtrio f (z) =

n =1

E pn

z zn

Dene uma funo inteira cujo conjunto dos zeros so os pontos da sequncia (zn ). Mas precisamente, se C um ponto que aparece m vezes na sequncia (zn ) ento um zero de ordem m de f .

6.6 Zeros de funes holomorfas Demonstrao:

71

Fixemos r > 0. Primeiro veja que lim zn = , pois (zn ) discreta. Logo, para todo z D(0, r ), N N tal z 1 que < sempre que n > N, portanto, sempre existe a sequncia ( pn ), por exemplo pn = n 1 (veja a zn 2 srie geomtrica no exemplo 3.23). Pelo lema 6.23 1 E pn Logo
p n +1

z zn 1 E pn

z zn z zn

n =1

Converge uniformemente nas partes partes compactas de C. Mostrando que o mesmo vale para f (z) = (Veja a seo 6.5). Teorema 6.25. Seja C um aberto, com = C. Seja (zn ) uma sequncia discreta de nmeros complexos em e seja ( pn ) uma sequncia de nmeros inteiros positivos. Existe uma funo f H() tal que o conjunto dos zeros de f so os pontos da sequncia (zn ) e cada zn e um zero de ordem pn .

n =1

E pn

z zn

Demonstrao: Primeiro adequamos a sequncia (zn ), de forma que cada termo zn aparea pn vezes. Agora construimos uma sequncia (wn ) em C da seguinte forma: para cada zn escolha wn C tal que |wn zn | |w zn | w C , claro que wn . Ento temos lim(zn wn ) = 0 Denimos f (z) = Para todo z temos

n =1

En

z n wn z wn

zn wn =0 z wn portanto, se xarmos um compacto K , encontramos N N tal que lim z n wn 1 < z wn 2

z K, sempre que n > N.

Pelo lema 6.23 1 En Logo zn wn z wn zn wn z wn z n wn z wn z n wn z wn
n +1 n +1

<

1 2

n =1

1 En

Converge uniformemente nas partes partes compactas de . Mostrando que o mesmo vale para f (z) = (Veja a seo 6.5).

n =1

En

72

Funes Holomorfas

1 ein . Essa sequncia discreta em D(0, 1), mas todo ponto de n D(0, 1) ponto de acumulao desta sequncia. Pelo teorema 6.25 existe uma funo holomorfa em D(0, 1) cujo conjunto dos zeros so os pontos desta sequncia. Portanto impossvel estender esta funo alm para fora de D(0, 1). Exemplo 6.26. Considere a sequncia 1

Referncias Bibliogrcas

[1] Ahlfors L.V. Complex analysis - An Introduction to the Theory of Analytic Functions of One Complex Variable, International Series in Pure And Applied Mathematics, McGraw-Hill, 1979. [2] Alcides Lins Neto, Funes de uma varivel complexa, Projeto Euclides, IMPA, Rio de Janeiro, 1993. [3] Elon Lages Lima. Curso de Anlise vol. 1, Projeto Euclides, IMPA, Rio de Janeiro, 2004. [4] Marcio G. Soares, Clculo em uma varivel complexa. Coleo Matemtica Universitria, IMPA, Rio de Janeiro, 2007. [5] Rudin W., Real and Complex Analysis, Serie in Higher Mathematics, McGraw-Hill, 1970

ndice Remissivo

bordo, 18 caminho, 50 fechado, 50 suave, 50 suave por partes, 50 componente conexa, 18 comprimento de um caminho, 51 Condies de Cauchy-Riemann, 44 conjugado, 9 conjunto conexo, 18 aberto, 17 compacto, 17 convexo, 18 fechado, 17 simplesmente conexo, 18 curva, 50 disco, 17 disco furado, 17 fecho, 18 funo holomorfa, 45 funo inteira, 45 interior, 17 lim inf, 27 lim sup, 27 mdulo, 10 orientao de um caminho, 51 parametrizao, 50 ponto de acumulao, 18 ponto isolado, 18 Ramo Principal do Logaritmo, 15, 65 Regio, 37 srie, 25 valor absoluto, 10