Escolar Documentos
Profissional Documentos
Cultura Documentos
Bibliografia.
1. Funi;oes analfticas I. Rodrigues Junior, Waldyr Alves. II. Tftulo
ISBN: 85-88325-53-5
06-1046 CDD-515
Outubro de 2005
.
Departamento de Matematica Aplicada
Instituto de Matematica, Estatfstica e Computac;ao Cientffica
Un iversidade Estadual de Campinas
Conteudo
Prefacio iv
1 N umeros complexos 1
1.1 As formas algebricas . 1
1.1.1 Os imaginarios puros . 3
1. 2 0 plano complexo . . . . .. 4
1.2.1 Adic;iio de dois numeros complexos 5
1.2.2 Subtrac;ao de dois numeros complexos. 5
1.2.3 Multiplicac;iio de dois numeros complexos 6
1.2.4 Divisiio de dois numeros complexos . . . . 7
1.2.5 Comutatividade, associatividade e distributividade 9
1.3 Complexo conjugado ......... . 9
1.4 Forrna polar de numeros complexos . . 11
1.4.1 Coordenadas polares no plano. 11
1.4.2 Multiplica<;iio na forma polar . 13
1.4.3 Divisao na forma polar . . . . · . 14
1.4.4 Potenciac;iio na forma trigonometrica . 15
1.4.5 Radiciac;iio na forma trigonornetrica 15
1.5 Exercicios . . . 17
2 Fum;oes analiticas 19
2.1 Noc;oes basic� de topologia 19
2.2 Func;oes complexas ... 26
2.3 Limite e continuidade . 28
2.3.l Limites infinitos 30
2.4 Derivada.. . . . . . . . . 30
2.5 Analiticidade e Condic;oes de Cauchy-Riemann 32
2.6 Func;oes harmonicas 37
2.7 Func;ao exponencial . 41
2.8 Func;oes hiperb6licas 43
2.9 Func;ao logaritmo 45
2.10 Exercicios . . . . . . 48
3 Diferenciat;ao e integrat;ao 51
3.1 Integra<;ao no plano complexo 51
3.1.1 Caminhos . . . . . . . 51
3.1.2 Deforma<;ao de Caminhos e Homotopia. 55
3.1.3 Como Integrar? . . . . . . 57
3.2 Teorema integral de Cauchy . . . 60
3.3 Existencia da integral indefinida 65
3.4 F ormula integral de Cauchy . . 67
3.5 Derivadas de fun<;oes analiticas 69
3.6 Exercicios . . . . . . . . . 72
5 Residuos 107
5.1 Residuos ,e polos 108
5.2 Teorema dos residuos. 111
5.3 Lema de Jordan. 113
5.4 Exerdcios 115
6 Aplicat;oes 119
6.1 Calculo de integrais reais . . . . . . . . . . 119
6.1.1 Singularidade removivel . . . . . . . 120
6.1.2 Polo simples e ponto de ramifica<;ao 122
6.1.3 Polo de ordem tres e ponto de ramifica<;ao . 124
6.1.4 Polos simples e ponto de ramifica<;ao . . . 125
6.1.5 Caso em que o denominador nao se anula 125
6.1.6 Fun<;ao inteira no integrando . . . . . . . 127
6.1.7 Ponto de ramifica<;ao . . . . . . . . . . . . 128
6.1.8 Polo de ordem dois e singularidade removivel 129
6.1.9 Buraco de fechadura . . . . . . . 131
6.1.10 Fun<;ao de Bessel no integrando . . . . . . . . 133
6.1.11 lnfinidade de pontos singulares . . . . . . . . 134
6.1.12 Contorno sem ponto singular em seu interior 135
6.1.13 Dominio multiplamente conexo . 137
6.1.14 Logaritmo e polos de ordem dois 139
11
6.1.15 Exercfcios ........... . 140
6.2 Transformada de Fourier . . . . . . . . 144
6.2.1 A integral complexa de Fourier 144
6.2.2 Oscilador harmonico amortecido 145
6.2.3 Exercicios ..... ..... ... 149
6.3 Transformada de Laplace . . . . . . . . 151
6.3.1 Transformada de Laplace e a formula de inversao 152
6.3.2 Equa<;ao diferencial ordinaria via transformada de Laplace . 154
6.3.3 Contorno de Bromwich modificado 155
6.3.4 Infinitos pontos singulares . . . . 157
6.3.5 Exercfcios . . . . . . . . . . . . . 159
6.4 Transforma<;oes conformes e fracionarias 162
6 .4.1 Transforma<;oes conformes . . . . 163
6.4.2 Transforma<;oes fracionarias lineares 165
6.4.3 Caso especial da transforma<;ao fracionaria linear 168
6.4.4 Superficies de Riemann . . . . . . . . . . . . . . 169
6.4.5 Superffcie de Riemann para o logaritmo natural . 173
6.4.6 Eletrostatica: problemas bidimensionais 174
6.4.7 Exercicios . . . . ... . . . . . 177
6.5 Continua<;ao analitica .. . . . . . . . 178
6.5. l Zeros de uma fun<;ao analitica . 178
6.5.2 Singularidade isolada ... 179
6.5.3 Singularidade no infinito . . . . 182
6.5.4 Continua<;ao analitica . . . . . 182
6.5.5 0 principio de reftexao de Schwarz 186
6.5.6 Rela<;oes de dispersao 189
6.5.7 Exercicios ...... . 193
Apendices 197
Referencias 203
iii
Prefacio
No seculo XVIII Euler apresentou a famosa formula cix = cos x+i sen x, mas o
conceito de numero complexo mostrou de fato sua importancia com a criac;ao, no
seculo XIX, da teoria das func;oes de variavel complexa, ditas analiticas, uma das
mais belas criac;oes da Matematica e que cujas generalizac;oes ainda fazem parte da
pesquisa matematica moderna. Matematicos import.antes como Gauss, Cauchy,
Abel, Riemann, Weierstrass, Picard, Poincare c Hilbert, dent.re outros, partici
param do desenvolvimento <la teoria, o quc acabou rcsultando em contribuic;oes
fundamentais para outras teorias matematicas como, por cxcmplo, a teoria dos
numeros e a gcometria e topologia algebricas.
--..._..
iv
diversas situac;oes que ocorrem em problemas de Engenharia, especialmente em
problemas modelados por equac;oes diferenciais. 0 conceito de transformada in
tegral, em particular as de Laplace e de Fourier, c de fundamental importancia
em tais situac;oes. Com seu auxllio pode-se transformar uma equac;ao diferencial
dada em uma outra equac;ao, em geral de resoluc;ao mais simples, recuperando-se,
com o procedimento da transformada inversa, a soluc;iio da equac;ao original. E
na inversao das transformadas que se faz uso do. chamado teorema dos residuos,
um resultado dos mais importantes da teoria <las func;oes analiticas. Para uma
apresentac;ao de varios exemplos de aplicac;oes nos quais as variaveis complexas
desempenham papel importante, solicitamos ao leitor que consulte o material do
ultimo capitulo deste livro.
Este volume e destinado a ser um curso introdut6rio para estudantes <las areas
de ciencias exatas e tecnol6gicas. Assim pressupoe-se do leitor que tenha cursado
as disciplinas referentes ao calculo de func;oes reais de uma e duas variaveis reais,
geometria analitica e introduc;ao a algebra linear. Obviamente, nosso tema, um
classico da Matematica, pode ser apresentado com um grau de grande sofisticac;ao e
rigor. Entretanto, nao se teve a pretensao de elaborar uma apresentac;ao rigorosa,
que satisfac;a um matematico profissional. Em particular', a seqiiencia, classica
dos textos de Matematica pura: axiomas, definic;oes, proposic;oes s6 foi utilizada
quando tal mostrou ser a forma mais economica de apresentac;ao <las ideias en
volvidas. Em verdade, nossa intern;ao foi a de fornecer uma introduc;ao que fosse
efetivamente util aqueles estudantes <las areas citadas acima, que em seus cursos
se defrontam com problemas cuja soluc;ao dependc fundamentalmente <la teoria
das furn;oes analiticas.
C9m base nesta ideia, optamos por comec;ar cada sec;ao dos cinco primeiros
capitulos com uma questiio, em geral simples. Apresentamos entao a teoria relativa
a questao proposta, que ao final da sec;ao e discutida e resolvida com a teoria
apresentada. Acreditamos que com esta metodologia o estudante, deparando
se sempre com uma questao que, em geral, envolve n01;oes ainda nao definidas
anteriormente no texto (e que provavelmente nao sao de seu conhecimento ) torne
se consciente <la necessidade de investir seu tempo para obter os conhecimentos
te6ricos necessarios para a sua soluc;iio.
0 conteudo deste livro esta distribuido <la seguinte forma: no primeiro capitulo
fazemos uma revisiio dos numeros complexos enfatizando a importancia <la forma
trigonometrica. No segundo capitulo estudamos as func;oes analiticas e apresen
tamos as chamadas equac;oes de Cauchy-Riemann, e no capitulo tres, discutimos
a diferenciac;ao e a integrac;iio no plano complcxo. No capitulo quatro, ap6s uma
revisao <las series de Taylor, apresentamos as series de Laurent e introduzimos o
conceito de residuo para, no quinto capitulo apresentarmos o chamado teorema
dos residuos, ferramenta basica para uma serie de aplicac;oes discutidas no sexto
capitulo. Este capitulo e concluido com o lema de Jordan que, junto com o teorema
v
dos .residuos, se constitui em ferramenta necessaria para, par exemplo, calcular in
tegrais reais via furn;oes e contornos, escolhidos convenientemente. Ao final de
cada um destes cinco primeiros capitulos encontra-se uma serie de exercicios, com
sugestoes e/ou respostas, ao final do text.a.
Os autorcs
Capitulo 1
N umeros complexos
2 =
x -4x + 5 O,
A questiio, como colocada, pode ter ou niio ter solrn;iio. Se considerarmos1 que
x E JR tal questao niio tern soluc;iio; com efeito, subtraindo 1 de ambos os lados da
equac;iio temos
x2 - 4x + 4 = -1,
de ondc conclufmos que niio existe x E JR que resolva esta equac;iio. Para que a
questiio tenha soluc;ao devemos ampliar de maneira conveniente o corpo dos rcais.
Sera esta ampliac;iio que nos permitira resolve-la.
Rez1 =a + b Rez2= = 5;
Imz1 =a - b = Imz2 = 3.
2
(iii) Adic;ao de dois numeros complexos
Dados dois numeros complexos z1 = (x1, Y1) e z2 (:c2, Y2) definirnos a
operac;iio adic;iio como
Exemplo: Obtenha z1 +z2 onde z1 = (-4, 5) e z2 = (3, 2). Utilizando a defini<;iio acima
temos
Z1 + Z2 = (-4, 5) + (3, 2) = (-4 + 3, 5 + 2) = (- 1 7). ,
2
A multiplicac:;iio de dois numeros complexos z1
definida por
Vemos que o produto de dois imaginarios puros e um numero real enquanto a soma 6 um
numero imaginario puro.
z i = (0,1)(0,1) = (-1,0) = -1
ondc a ultima passagem e justificada pela considerac:;ao acima, OU seja, Uill numero
com parte imaginaria nula e um numero real.
Denotarcmos o numero complexo z = (0, 1) por i, isto e:
i=:(0,1)
que e a chamada unida<lc imaginaria. :E claro que i
2 = -1.
3
No que segue denotaremos, algumas vezes, i = .J=I. Note que o mimero
(0, -1) = -i tambem satisfaz a igualdade (-i)2 = -1.
Ainda mais, para todo mimero real y obtemos, a partir de (iv),
1855).
Notamos na Figura 1.1 que o ponto P representa o numero complexo z = x+iy.
Observe que z fica tambem completamente caracterizado se fornecemos a distancia
OP e o angulo que OP forma, por exemplo, com o eixo real. Apresentaremos
mais adiante esta representa<;ao de um numero complexo, chamada forma polar.
Para solucionar a questao proposta discutiremos como representar graficamente
as quatro opera<;oes, adi<;ao, subtra<;ao, multiplica<;ao e divisao de dois nurneros
complexos.
4
y (Eixo imaginario)
P(x, y)
0 x (Eixo real)
z1 - z2 =
(x1 + iyi) - (x2 + iy2)
(x1 - x2) + i(y1 - Y2).
Estamos agora em condic;oes de resolver a primeira parte do problema, ou seja,
como representar graficamente z1 - z2. Como um exemplo numerico tomemos z1
e z2 dados no exemplo anterior.
5
6
5
,,,
,,. " l I
,,. I I
I
4
0 1 2 3 4 5 G x
Note-se da Figura 1.3 que a subtra<;ao de dois numeros complexos e obtida como
a adi<;ao do primeiro com o oposto do segundo. Novamente nota-sc a analogia com
a diferen<;a de dois vetores.
que constitui um numero complexo com parte real x1x2 - y1y2 e parte imaginaria
dada por X1Y2+ Y1X2.
Tomando OS numeros complexos dados no exemplo anterior, isto e, z1 = 1+2i
e z2 = 4+3i, obtemos para o produto;
=-2+1li
6
y
2
, I
-5 -4
1 2 x
-2
I
I I
'
-3
-4
Logo
x1 + iy1 = x2x + iy2x + i.7:2Y -Y2Y
ou ainda, identificando-sc parte real com parte real e parte imaginaria com parte
{ X1 =
imaginaria,
=
X2X -y2y,
Yl Y2X + X2Y·
Resolvendo o sistcma nas incognitas x e y temos
7
y
Zz
-4 4 6 x
Portanto
{ 3x - 4y = 2,
4x +3y = 1.
2
X=- e
5
Z1 2 .1 1 .
z = - =
- - i- = -(2 - z ) .
Z2 5 5 5
8
conjugado a um numero z EC, que existe um metodo bastante pratico para efetuar
0 quociente de dois numeros complexos.
z1 + z2 =
z2 + z1,
z1z2 =
z2z1.
0+z =
z + 0 = z.
z + (-z) = (-z) + z =
0
(f) 0 unico elemento neutro, em relac:;ao a multiplicac:;ao, e 1 = (1, 0):
zl = 1z =
z.
9
Como dissemos, a regra pratica para obter o quociente entre dais numeros
2 2
complexos diferentes de (0,0) baseia-se no fato de que zz = :z: + y e um numero
real e nao nulo. Entao, basta que multipliquemos numerador e denominador pelo
complexo conjugado do denominador, ou seja,
· +;iy1 e z2.
Resolu�ao d� Qt1el?tao: Consi.derarrj.os Zk'=;' x1 .= x2+iy2 dais numeros
'\ / " ' :-"' -: -: • '' � �::;·yi,,� :}>i'�.ti<_'>' <:ki-4:?:;;, f>_ ' ' ,'r.rt;> _ ;i:: '>+ ,: •: <\;:' -<' :�, --· <
complexos, onde ·xb· $2; 'yi. e '!)2 s}uj,i,·eais. Primeirament,e temos que z1 e z2 em
serido um o compl�xo;conjugadb•do·butro..impoe que x1 x2 e y1 -y2 de onde
,
= =
,
segu�se qµe z:1 Galc4J.emqs a,sorpa
' '·
isto e; a soma e real e-' g aiferen�a:e. um iml!Lginario puro.
(iii) (z1z2) = z1 z2
10
Exemplo: Demonstrar a propriedade (iii) acima. Sejam z1 = x1 + iy1 e z2 =
x2 + iy2;
entiio:
z = x + iy,
lzl = r = Jx2 + y2 = �-
11
que e esteja univocamente determinado. De fato, dada a periodicidade <las fum;oes
trigonometricas deixaremos e determinado a menos de multiplos inteiros de 27r.
Chamaremos de argumento de z e denotaremos [ arg z] qualquer valor dee tal que
a equac;ao escrita na forma polar, seja valida, i.e.,
e= arccos ( Jx2x y2 ) , +
-Jr< e::::: 7r
y - - - - - - - - - - - 1 z = x + iy
x = Rez
12
Exemplo: Dado o numero complexo z = J3 + i, pede-se: (a) Obter o modulo de z. (b)
Obter o argumento de z. (c) Obter o valor principal do argumento. (d) Escrever z na
forma polar. (a) Para o modulo de z temos
z = 2 (cos i + i sen i) .
Da expressao anterior vemos que para efetuar o produto de dois numeros complexos
na forma polar basta multiplicar os m6dulos,
e adicionar os argumentos,
13
Exemplo: Sejam z1 = V3 + i e z2 = 3J2(1 + i)/2. Obtenha graficamente o numero
complexo z1z2. Escrevamos, primeiramente, estes numeros complexos na forma polar,
ou seja:
z1 = 2 (cos � + i sen �)
z2 = 3 ( cos � + i sen �)
Note-se que para formar o produto z1z2 devemos multiplicar os m6dulos e adicionar
os argumentos, conforme a Figura 1.6. Se fizermos questiio do argumento principal e
a soma dos argumentos ultrapassar 27r radianos, devemos subtrair um multiplo inteiro
de 27r radianos do argumento fh + 82. Para OS valores dados de Z1 c Z2 0 resultado e,
portanto,
14
e, para encontrarmos o argumento [arg z], subtraimos os respectivos argumentos
z2
ou ainda, na forma algebrica
z = 3J2(1 + i)/2.
Vista que cos e e sen e tern periodo 271", sempre que fizermos questiio do argumento
principal, deveremos subtrair um numero inteiro de voltas de maneira que -7!" <
ne :::; 71".
A expressiio acima e chamada a "primeira formula de de Moivre" ( 1661 -
Abraham de Moivre No caso em que r =n = 1, esta e a parametriza<;iio
- 1154).
de uma circunferencia de raio unitario centrada na origem.
Seja z E Cfixo. A equa<;iio z = wn, com n = 1, 2, ..., nos diz que para cada
valor de w obtemos um valor de z. Podemos interpreta-la de outro modo, a saber:
dado um z, com n fixo, temos n valores de w, onde cada um destes valores e
chamado raiz n-esima de z e denotado por3
w = \Yz.
3
Esta inversao define uma furn;ao polidroma que sera estudada na Se<;ao 2.2.
15
Para determinarmos os w satisfazendo a equac;iio acima fac;amos uso da formula
de potenciac;iio, ou seja, tomamos
Finalmente, temos
w= ifZ = v'T
( cos
e+2k7r
+i sen
e+2k7r )
n n
comk=0,1,··· ,(n-1).
0 valor de \(Z obtido tomando-se o valor principal de arg z ek = 0 na expressiio
anterior e chamado valor principal dew = \(Z. Para finalizarrnos esta sec;iio vamos
resolver a questiio proposta, ou seja, calcular as raizes n-esimas da unidade.
16
1.5 Exercicios
•
(a) z=l+i (b) z= 1-i (c) z= 3 +4i (d) z= 3- 4i
(a) z2 '
(b) (c) 2100
' (d) (:z)lOO.
10. Mostre que as rafzes sextas da unidade sao vertices de um hexagono regular de raio
um. Obtenha o ap6tema.
14. Mostre que os argumentos <las rafzes n-esimas de z E C, z =!= 0, formam uma
progressao aritmetica onde ()/n e 0 primeiro termo e a razao e 27r/n.
19. Considere OS numeros complexos Z1+ Z2 e Z1 - z2. Tais numeros complexos siio inter
pretados como sendo as diagonais maior e menor de um paralelogramo, respectivamente.
Mostre a chamada igualdade do paralelogramo:
2 2
lz1 + z212 + lz1 -z212=2(lz11 + hl )
21. Verifique graficamente que a operac;iio complexo conjugado tern simetria em relac;iio
ao eixo real.
22. Mostre que a distancia entre dois pontos no plano complexo e dada por lz1 - z21.
23. Tome lzl = r = 1 na expressiio para a potenciac;iio na forma polar para obter a
chamada formula de de Moivre. A partir desta formula mostre que:
(a) cos 2() =cos2 () - sen2 () (b) sen 2() =2 sen() cos()
24. Considere um polfgono regular de cinco lados com vertices na circunferencia unitaria.
Encontre o produto dos componentes dos quatro segmentos retos, vistos como numeros
complexos, que tern um vertice do polfgono unido aos outros quatro vertices.
26. Encontre as raizes quadradas do numero complexo z =a+ bi onde a e b siio rcais, em
coordenadas cartesianas.
27. Como caso particular do exercfcio anterior discuta o caso em que a= J3 e b=1
28. Sejam z1, z2 e Z3 tres numeros complexos. Mostre que a parte real do determinante
M�u
da matriz
)
1
Z2
e igual a zero.
Z 1 z2 ;
Z3,
18
Capitulo 2
Fun�oes analiticas
Questao Esboce graficamente a regiiio Iin ( ;��) > 1, para z =/- 1. Qual e a
m-conexidade da regiiio?
20
y
Defini<;ao 5. A regiiio do plano complexo definida por 0 < lz1 - z\ < R e dita
disco Jurado de origem z1 e raio R e sera denotada por D'(z1; R).
Defini<;ao 6. Dado um ponto z1 EC um disco circular aberto D(z1; R), \:/R > 0
e di to uma vizinhanc;a de z1.
21
N
onde o ponto A(z) e o ponto na esfera onde a reta que une os pontos P e N
intercepta a esfera. Note que todos os pontos da esfera, com excec;ao de N podem
ser postos em correspondencia bijctora com os pontos do piano complexo. Ainda
mais, quando lzl � oo o ponto A(z) sc aproxima de N. Dcsta maneira dizcmos
que ao polo norte da esfera de Riemann correspondc o ponto no infinito do piano
complexo estendido. Podemos verificar as afirmac;oes acima sem dificuldades corno
segue. Sejam (�, 77, () as coordenadas cartesianas do ponto A(z) e (x, y) as coor
denadas do ponto P correspondente ao nurnero complexo z = x + iy. A esfera de
Riemann tern no sistema de coordenadas escolhido ( no IR.3) a equac;ao
Temos,
ON= 1,
22
esfera encontrarnos que a= l+�zl2• Finalrnente, podernos escrever,
2'
� = 1 + lzl
Definic;;ao 9. Dizernos que o conjunto lzl > R, \:/R > 0 e urna vizinhanr;a do ponto
no infinito.
(i) A regiiio entre duas circunferencias concentricas de raios R1 c R2, i.e., o sub
conjunto aberto {z E C; Ri < lz - z1 I < R2} e dito uma regiiio anular. Estes
conjuntos siio importantes na discussiio das series de Laurent (1813 - Pierre Al
fonse Laurent - 1854) que varnos estudar no Capftulo 4.
(ii) Considere a regiiio S = {z E C ; R1 '.S I z - z1 I < R2}. Para esta regiiio niio
existe nenhurn disco D (z = Ri; R) �S e niio existe nenhurn disco D(z = R2; R) �
C\S e portanto S e urn exernplo de urn subconjunto de C que niio e nern aberto
nern fechado.
(iii) A regiiio {z EC I Irn z > O}, i.e., o conjunto dos pontos que se encontrarn no
serni-plano superior do pano cornplexo e urn aberto. A regiiio {z E C I Re z 2: O}
niio e nern urn conjunto aberto nern fechado.
Definic;;ao 11. Urn ponto zo E C e dito urn ponto limite (ou de acurnula<;iio) de
S � C se \:/R > 0 tern-se D'(zo; R) n S =/= 0. Urn ponto zo E S e dito urn ponto
• isolado de S se niio for urn ponto de acurnula<;iio.
Definic;;ao 12. Urn ponto z EC e dito urn ponto interior de S � C se possui urna
vizinharn;a constitufda inteirarnente de pontos de S.
Definic;;ao 14. Urn ponto z ECe dito urn ponto exterior de S � C se possui urna
vizinhan<;a constitufda inteirarnente de pontos que niio perten<_;arn a S. 0 conjunto
dos pontos exteriores a S e dito a regiiio exterior a S.
23
Note que, todo conjunto aberto S � <C s6 possui pontos interiores.
Defini�ao 16. Um subconjunto s � <Ce dito discreto SC todos OS seus pontos sao
pontos isolados.
Defini�ao 18. Um dominio Dc <Ce dito m-conexo se sua fronteira for a uniao
den subconjuntos conexos.
5E importante enfatizar aqui para aqueles estudantes que consultarem obras de au tores anglo
saxoes, ter em mente que eles usam a palavra region para denotar o que aqui chamamos de
dominio.
60 ponto no infinito 6 o tinico ponto limite do conjunto IC e portanto 6 sua fronteira. Nestru:;
condic;oes podcmos dizer que IC e simplesmente conexo.
24
- - - -- - - - -
'
' /
I / '
I / - '
' / /
I ./ · /
\ I
I / '· I /
./ I I
' ' / I
I '< I
/ h 1 I
I I I '
/
'
·I ,. '
' /
\
' /
., '
/ ' /
' / '
/
' - / - - - - - -
_: - _; -
..
(a) (b) (c)
Figura 2.3: Domfnios conexos: (a) Simplesmente. (b) Duplamente. (c) Tripla
mente.
Note que uma vez que IR c Cos intervalos abertos (respectivamente, intervalos
fechados) sao OS intervalos abertos relativos de IR (respectivamente, OS intervalos
fechados relativos de IR).
25
Para a parte imaginaria temos
que representa uma circunferencia� centra:da em{l, -1) e raio unitario, hem como
0 seu intedpr, exs�t,� ap-p� ��g����9;(hQ) ..
Em relac;oo a conexiil�J t: ��os q�e ai . tegfoo e��plarnente conexa OU ainda urna
regioo 2-conexa.
7
Note que esta definii;iio de domfnio de uma aplicai;ao, nao ea mesma que a definii;ao da regiiio
do piano complexo IC, que foi definida como sendo um domfnio na Sei;ao 2.1. E preciso tomar
cuidado com estas denominai;oes.
26
sec;ao anterior (Definic;iio 17). Neste caso, usamos a notac;ao D para denotarmos
um dominio arbitrario do piano complexo.
Investigamos dois tipos de aplicac;oes envolvendo os complexos. No primeiro
tipo o contradominio B = <C e no segundo tipo B = 21C, onde como usual 21C
denota o conjunto potencia de <C, i.e., o conjunto de todos os subconjuntos de <C.
Defini<_;ao 23. Uma func;ao complexa mon6droma e uma aplicac;ao f : D ----+ <C.
Note que f associa a cada ponto z ED um unico ponto de <C dito sua imagem
e quc denotamos por w = f(z). 0 conjunto f(D) = {w E <C lw = f(z), z E D} c
dito a imagem de D sob f.
A proxima definic;iio, embora possa parecer pedante a primeira vista, 6, con
tudo, a forma mais simples e clara que se conhecc para a introduc;ao do couceito
de func;ao polidroma.
f =Ref+ iimf,
27
onde u e v siio duas fum;oes reais de duas variaveis reais tais que u(x, y) =Re f(z)
e v(x,y) = Imf(z). E crucial distinguir-se a func;iio f de f(z), que �a imagem de
z sob f. Ainda assim, dizemos certas vezes: 'seja a func;iio f(z)', sempre que de
tal pratica (tradicional) niio resultar confusao.
w -f(z)=u(x,y)+iv(x,y)=
= 3(1 - i). - i(l +i) :;;:; 4 - 4i
·
de onde, temos u(x, y) :::::: 4 e v(x, y) = -·4. Aqui temos uma fu.#(iao1mon6droma
uma vez que para cada valor de z = x +.i y obtymos ape11as um val<?r de w.
Definic;ao 25. Uma func;ao f(z), definida num dominio D, possui um limite em
z0, se existe um mimero complexo Lcom a propriedade de que para todo mimero
real f. > 0, existe um rnimero J(E, zo) > 0, dependendo de zo e E, tal que lf(z)-LI �
f. sempre que z ED e 0 < lz - zol < J(E, zo). Denominamos Lo limite de f(z) em
zo e escrevemos
lim f(z) = L.
z�zo
Definic;ao 26. Seja f(z) uma func;ao definida num dominio D e seja z0 um ponto
de D. Entao, f(z) e continua em zo se f(z) possui limite f(z0) em z0. A func;ao
f(z) e continua em D se for continua em todo ponto de D, ou ainda
28
y v
�--------------
'-J(z)
x u
( )
N ote-se que f z e contfnua emzo se, e somente se, ambas as partes Refz)
(
e Imf(z) forem contfnuas em (x0,y0), isto e, contfnuas como func;oes de duas
.variaveis reais.
Recordamos que na definic;ao de limite D
( efinic;ao 25) de uma func;ao f: D ___, C
no ponto z0 E C nao se exige quezo E D. No caso da definic;ao de continuidade
de f: D --;t C (Definic;ao 26) so faz evidentemente sentido falar-se na continuidade
def no ponto io sezo E D.
Airida assim, no caso em que z0 e um ponto de acumulac;ao de D e usual [13]
dizermos que f : D ___, C e contfnua emzo se, e somente se, lim f(z) = f(zo) o
z_.zo
que, nestas condic;oes, reduz a n0<;ao de func;ao contfnua aquela de limite. Assim,
recordando-se novamente da definic;ao de limitc D
( efinic;ao 25) vemos que e possfvcl
definir lim fz
( ) = L impondo-se a continuidade de uma func;ao g: DU {zo} ___, C,
z�zo
2
lim f(z) = lim fz
( ) = lim .Y
.z-+O x-+0 x-+O
, ->O
Vx2 + y2
y-+O y
podemos escr�ver
2
lim f(z) = lim ·!_ =·o.
z-+O y-+0 Y,
29
Visto que f(Ok= {)�potlerrios escr§ver .,� ·•
se VM > 0 existe E > 0 tal que Vz ED e 0< lz - zol < E tenha-se lf(z)I > M.
Definic_;ao 28. Seja D C <!: um domfnio ilimitado e seja f: D � <!:. Dizemos que
lim f(z) = c,
Z->CXl
dado E > 0 cxiste R > 0 tal que Vz ED c lzl > R tenha-sc lf(z) - cl < E. No caso
em que c = oo escrcvemos
lim j(z) = oo,
z->oo
o quc significa que VM > 0e VR > 0 tal que Vz ED e lzl > R tenha-se IJ(z)I > M.
2.4 Derivada
A derivada de uma fun�ao f(z), complexa, no ponto zo, denotada por f'(z0),
e definida por
f(z) - f(zo)
J'(zo) = lim
.
Z->Zo Z - ZQ
30
Lembramos que a defini�ao do limite implica que f(z) e definida na vizinhan�a
de z0. Tambem, pela defini�ao, z pode se aproximar de z0 por qualquer dire�ao.
Portanto, a diferenciabilidade em zo significa quc, ao longo do caminho cm que
z se aproxima de zo , o quociente acima sempre se aproxima de um certo valor e
todos estes valores sao iguais.
As regras de diferencia�ao sao as mesmas que no calculo real, a saber:
(i) Sendo c uma constante temos
d d d
d )f(z) ± g(z)] = d f(z) ± d g(z),
z z
(iii) Produto de duas fun�oes
d d d
d {f[g(z)]} d {f[g(z)]} d g(z).
z z z
=
'
Uma vez que as demonstr�oes <las propriedades acima sao uma extensao trivial
<las analogas que aparecem no calculo <las fun�oes reais, elas serao deixadas como
exercfcios.
31
Resoluc;ao da Quest'ao ba defini�a.b d� derivaqa temoo
[:, L,,
f(z J ,= £!�o
f(llz
tf(0) = �i�:p �:�:
Para encontrar o limite restiltante, &vemos:escdlnef" UIP.:·'.c-tmllblio no plano z e
aproxima-lo a origem, z = 0 ao longo deste. can:\inho. ·Se escolltemos o eixo x
como nosso caminho b..y = 0 logo
Por outro lado, se escolhem9s o eixo y como nosso camtnho, b.. x = 0, temos
[_!!:_ ]
dz
f(z)
. z=O
'
= lim O .
+2ib..y
�y--+O 0 + ib..y
= 2.
Em geral, para uma linh,a passando pela origem, digamos y = mx, o limite acima
e dado por
[ d
f(z)
] l
'" b..x +2i(mb..x) 1:+2.im 'F+2m,2 + im
=
. dz z=O - ilfu1.:!o b..£+2mb..x =',r+im 1 + m2
Isto.nos diz que podemos obter infinito� .valores para a derivada quando mudamos
m arbitrariamente, assim esta derivada, em z = 0, nao existe.
Questao Encontrar uma func;ao analitica f(z) para a qual a parte real e dada
pela func;ao real de duas variaveis reais u(x, y) = x2 - y2 - x.
)efinic;ao 29. Uma func;ao f(z) e chamada holomorfa ou analitica num domfnio
') se J(z) e definida e diferenciavel em todos OS pontos de D. A func;;ao J(z) e dita
malftica num ponto zo em D se f(z) for analitica numa vizinhanc;a de zo.
9
Para a prova ver ref. [16].
32
Ser analitica em zo E A CC significa que f(z) possui um desenvolvimento em
serie de potencias (Sec;ao 4.2) em um aberto contendo z0. Mostra-se, tambem, o
seguinte corolario:
a a a a
-0 tt(x, y) �v(x, y) e � u (.x, y) - �v(.x, y),
x uy ux
= =
uy
conhecidas pelo nome de condic;oes de Cauchy-Riemann. Entiio, se f(z) 6 analitica
num domfriio D, suas derivadas parciais existem e satisf�zem as equac;oes acima
em to dos os pontos do dominio D.
II.----1-----112_ + L}.z
,,
,,
_ _______,I
z
0 x
33
(df)
dz =
lim
�x-+O
{ u(xo+ b.x,yo + b.y)-u(xo,Yo)
b.x + ib.y
}
�y -+0
_
Z-ZO
Logo, se este limite deve existir (e for o mesmo, quer se use qualquer um dos
caminhos da figura precedente), entiio, para b.y = 0, obtemos
�x-+O A
Esses quocientes nada mais siio que a dcfinic;iio da derivada parcial, logo
(df) =
( au ) +i.
( av )
dz z=zo OX xo ,yo OX xo,yo
(df)
dz z=zo
= -i . ( aouy ) xo,Yo
+ ( oavy ) xo,yo
Se J(z) e diferenciavel em z0, as duas ultimas equac;oes devem ser iguais, logo
( aaxu )
-
zo
+i. ( aavx )
-
zo
- -i
-
. ( -aouy ) ( oayv )
zo
+ -
zo
Igualando parte real com parte real e parte imaginaria com parte imaginaria,
ignorando o ponto zo (6 arbitrario) tcmos
au av OU av
c
ax oy oy ox
que constituem condic;oes necessarias para a diferenciabilidade de (z).
f
'
34
Este teorema assegura que as condic;oes de Cauchy-Riemann, mais a con
tinuidade <las derivadas parciais de primeira ordem tornam.:"se tambem suficientes
para assegurar a analiticidade. A prova 6 deixada a cargo do leitor.
Um modo alternativo de se escrever as condic;oes de Cauchy-Riemann e obtido
fazendo-se as substitui<_;oes
1
e = (z - z)
Y 2i
of au .av
-=-+i-
Oz Oz Oz
af
0.
Oz
=
A partir da equac;ao acima podemos dizer -que se f(z) e uma func;iio diferenci
avel, esta deve ser independente de z.
Enfim, antes de passarmos a resoluc;ao da questao proposta, mencionamos out
ras duas definic;oes, que serao utilizadas no pr6ximo capftulo.
Definic;ao 31. Uma fun<_;iio para a qual todos os pontos de <C siio pontos regulares
e chamada func;ao inteira.
Resoluc;3,o da Quef?t3:o �Desejamos obter uma fon<_;ao f(z) analitica tal que
sua parte real seja u(x, y) = x2 - y2 - x. Entiio, da primeira <las equa<_;oes de
Cauchy-Riemann
au av
ax ay
obtemos, derivando em rela<_;ao a x
au av
-· =2x-1=-·
ax . . ay
35
-�;{!:·>f"""" '
v(x,·y)���fy�'- y +c(x)
onde a constantE) pode d,epender d� 9"';�f� v�iav�l, .no c� x. Agora, utilizando
:
a segunda condi<;ao de Cauchy;.�ie1:Q¥!P · . . . .· · . . ,
-
�
.
e, comparando temos . : ,c(x) = O.ou,-:11inda. ; ;i; ( ) = konde ke uma constante real,
de onde po demos escre .Jer para v(x,y) a expressao v(x,y) = 2xy -y+k. Enfim,
0 resultado desejado e dado pdr
Antes de finalizarmos esta se<;ao vamos mostrar que se uma func;ao f(z) e
analftica num domfnioDe lf(z)I = k, (k constante) emD, entao f(z) e constante
emD.
Sendo f (z) = u(x, y) +iv(x, y) vamos escrever, omitindo as variaveis indepen
dentes,
u2+ v2 = k2.
Diferenciando-sc primeiramente em relac;ao ax cm seguida em relac;ao a y obtcmos
OU . av ou .av
u-+v- 0 e 'U-+v-=0
ax ax
=
oy oy
e <las condi<;oes de Cauchy-Riemann podemos escrever10
OU OU OU OU
u- -v-=0 e U!:j + V!:j =0.
ax oy uy ux
10Vidc ref. [1].
36
. au au
Resolvendo-se o s1stema para x e obtemos
a a
y
au k2au
( u 2 +v 2) =
=
0'
ax ax
a a
( u 2 +v2) u = k2 u = o
ay ay .
, av av
de CaUChy- R.iemann, tamuem
i::
= 0. Lago, COID U = Constante e V =
ax ay
constante .temos f= constante.
-
A chamada teoria geral do potencial [21] pode ser introduzida coma segue.
-
Dado p : JR3-tlR e 'D � JR3 encontrar a solu<;ao da equa<;ao de Poisson (1781
Simeon Denis Poisson 1840 ) i.e., <P : JR3 ;;;::> 'D -tlR de classe C2 ' onde <POU \7<P
satisfazem condic;oes de fronteira dadas em av e tal que
-
onde \72 e o Laplaciano. Quando as condic;oes de fronteira sao dadas para a
- 1859)
fun<;ao elas sao ditas condi<;oes de Dirichlet (1805 Peter Gustav Lejeune Dirci
- - 1925).
chlet enquanto que se as condi<;oes de fronteira sao dadas na derivada
da fun<;ao elas sao ditas condic;oes de Neumann (1832 Carl Neumann
Obviamente, se trocamos JR3 par JR2 na defini<;ao acima, temos a equac;ao de
Poisson bidimensional, i.e ,
.
( a2 +
a2 ) <P = p
ax2 ay2 · .
.
Teorema 4. Se f(z) = u(x, y) +i· v(x, y) e analitica num domfnio D, entao u(x, y)
e v(x,y) satisfazem, respectivamente, as equa<;oes de Laplace em De tern derivadas
parciais de segunda ordem contfnuas em D.
37
Demonstra9ao. Consideramos as condic;oes de Cauchy-Riemann,
au av
e
ax By
Diferenciando-se a primeira em relac;ao a x e a segunda em relac;ao a y podemos
escrever
82u 82v
e
8y 2 - axay.
Mostramos, no proximo capftulo, com o emprego da chamada formula integral
de Cauchy que a derivada de uma func;ao analf tica tambem e analf tica, fato que
implica que u(x,y) e v(x,y) tern derivadas parciais de todas as ordens contfnuas,
em particular, as derivadas mistas, obtidas em qualquer ordem, sao iguais, por
exemplo:
38
- James Clerk Maxwell - 1879)
Se E e o campo eletrico gerado pela distribui<;:iio estatica de cargas, as equa<;:oes
de Maxwell (1831 estabelecem que, em situa<;:oes
estaticas, o campo eletrico satisfaz as equa<;:oes:
e
(o 2 +
EJ2 02
[)y +
02
[)z
)¢ = 0
x 2 2
.
E
� --
-
2,X. A
er e ¢ = -2,X.ln r
r
39
e analitica. Em nosso caso, se u(x, y) e Constante isto implica que <P e constante
que por sua vez implica em superficies equipotenciais.
=
Estas superficies equipotenciais siio cilindros e suas intersec<;6es com o plano
xy sao descritas por curvas com u(x, y) Constante. Estas curvas sao dadas por
=
::J
y
---- V= etc.
-
,
'
- --' '
..... '
- - - ' '\.
... ... ... ' ' '
' '
' ' '
' \
\
I
I I
I
I
I
I
I
'
' '
'
'
' /
' /
u = cte.
40
2. 7 Func;ao exponencial
r r. ei8,
Questao Mostre que 0 nuiU,�rn C()�plexO;;z p&4.�Jer���rit9 ·�� . for�a z �
.
chamada forma polai::. Escreva1z, '"'"'�··e -z na·'fo:rma polar .
•
Recordemos, da teoria das series reais, que a furn;iio J(x) =ex e definida para
qualquer rn1mero real x pela serie
Observe que para z =x real temos y =0, e a formula para CZ se reduz exatamente
a exponencial real.
Verifiquemos agora que, em analogia ao caso dos reais, a seguinte propriedade
41
E, da formula de Euler temos
i
Iey I = I cos y + i sen YI = Jcos2 y + sen2 y = 1
isto e, para expoentes imaginarios puros, a furn;iio exponencial tern modulo unitario,
de onde I ez I = ex. Enfim, temos para o argumento arg(ez) = y + 2mr com
n = 0, 1, 2, . . . 0 que mostra que, a partir da definic;iio, e e a forma polar da
func;iio exponencial.
Antes de passarmos a resoluc;iio da questiio proposta, vamos discutir a period
icidade da func;iio e . Temos
para todo z. E, uma vez que as fi_mc;oes seno e co-seno tern periodo igual a 27r,
temos que 27ri e 0 periodo da func;iio e. Daqui, segue que todos OS valores tais
que w = e es tao sempre numa faixa de largura 27r.
A faixa infinita tal que -7[ < y :::; 7r e chamada regiao fundamental para a
.
func;iio e. Graficamente e coma na Figura 2.7.
-'Tr
42
Resolm;ao da Questat>\ Vimos· que·.. um1numero·complexo z pode ser escrito na
forma polar como z r ��· ,Eh!ao;, da de
, fini<;� de com,pl��o. conj,11gado temos
.
=
�, .
z = r eiiO.
-z = re-=i(7r+O>'.'
. .,
1 . .
43
Ainda mais, todas as demais fun<;5es trigonometricas tern suas analogas hiperbolicas,
como por exemplo:
senhz coshz
tghz coth z =t::.
coshz' I senhz'
'
sech z =
1 cosechz
1
coshz ' senhz
Vamos obter agora a relac;ao entre as furn;oes seno trigonometrico e scno hiperbolico,
isto e, entre senz e senhz. Consideramos a expressiio
:t.'
- -'·�
,- ·, "'' ,,_);:·�'�,: :-. -------- ,
podemos escrever
44
2.9 Fun<_;ao logaritmo
"
··1 · '(1 + z ) .
arctghz = - ln --·.
2 . 1- z.
No caso <las funi;oes de uma variavel real logaritmo ( na base e) de x E IR e
definido coma sendo o numero real r E (O,oo) c IR tal que er= expr = x. Assim,
escrevemos
r = lnx,
e a funi;ao ln : IR � (0, oo) e naturalmente a inversa da funi;ao exponencial.
Suponhamos agora que z , w EC. Consideramos a equai;ao
de onde segue-se
Recordamos que o menor valor dee no intervalo (-7r, 7r] e dito argumento principal
e denotado par Arg z. Assim, <las formulas acima temos no nosso caso,
funi;ao polfdroma
c
[ln]: C - {O} �2 , [ln](z) = [lnz] ={Inlzl + it'J, 8 E argz}.
45
Obviamente, se fixarmos um elemento no conjunto arg z , digamos tJ, a fun<;ao
lnz = ln Iz I + iB
c mon6droma. Ela define um ramo14 <la multifun<;iio [ln]. 0 ramo principal de
[ lnz] correspondente a Arg z e usualmente denotada por Ln z e temos
Ln z = lnlzl + iArg z.
No que segue aderimos a pratica15 de cscrevermos para qualquer uma <las
fun<;6es mon6dromas, definida por um ramo de [ln] com n E Z - {O} fixo,
lnz = ln lzl + iB
= Ln z + 2n:rri. (2 . 1 )
A unicidade de Argz para um dado z =/= 0 implica que Lnz e unfvoca 16, isto
e, uma fun<;iio mon6droma. Desde que OS outros valores de z diferem por um
multiplo inteiro de 27r, OS outros valores de ln Z sao dados por
In z = Lnz ± 2n7ri
com n 1, 2,
= Todos eles tern a mesma parte real c suas partcs imaginarias
· · · .
Para r real e positivo temos e1n z = z c, desde que arg(ez) = y±2mr c plmfvoca
temos
ln ez z ± 2rmi. =
1
u = ln z = Inlzl = - ln(x2 +
y2) e v = [argz] = arctg '!!._ +C
- 2 x
46
onde C e constante, um multiplo de mr. Calculando as derivadas parciais de ue
v vemos que elas satisfazem as condic;oes de Cauchy-Riemann
OU x 1 1 av
ox x2+ y2 1 + (y/x)2;; 8y
e
au _ -1 ( y) 8v
Y_ =
=
8y x + y + (y/x)2 - x2 - ax.
2 2 1
� (ln z) =
au +i av x +i 1 ( y) = x - iy 1 1
dz ax ax x2 + y2 1 + (y/x)2 - x2 ==
x2 + y2 x+iy z
ficac;ao.
Entao, escolhido um ramo para a func;ao ln z, todas as propriedades dos log
aritmos sao analogas as do logaritimo natural para z real e positivo, dentre elas,
podemos citar as seguintes:
e ln zm = m ln z.
47
Resolu�ao da Questi.o Da se<;ao anterior podemos escrever
.
senhz ez - e-z
·,tghz = -- = = w.
ez + e-:z
·•
coshz
e2z = --.
1-w
Tomando-se o logaritmo de ambos OS lados da ultima expressao temos
( l. + w \
z �ln
=
2 1- w /
z·= arctghw
1' (· J.r+· z)
arctghw. = . 0' ln .".'- � .
· ·
�"' � ir . 1
....--.z '!
·
_
.;;
onde trocamos·w pot z.'e'z por·'w.· : f.·�•1·
'
2.10 Exercicios
(a) f(z) = (2 + i)z2, (b) f(z) = zz, ( c) f(z) =In \z\ + i Argz.
.. 10. Mostre q�e f(z) = eY ( cosx + i sen x ) nao e analftica em nenhum ponto.
z+l z3 - i
(a) f(z) = e (b) f(z) =
z2(z - 1) z2 + 3z+ 2
12. Sendo w1 =u+iv uma func;ao analftica, verifique se tambem o ea func;ao w = -v+iu.
2
13. Usando o fato que f'(z) = �� �� e admitindo valida a regra de Schwarz (1843 -
+i
Hermann Amandus Schwarz - 1921) para a troca de ordem <las derivadas parciais, mostre
que uma func;ao analftica da qua! a derivada e nula e uma constante.
(a)
'If
=y 2 - x2' (c) u =ex cosy, (d) u =sen x coshy.
15. Utilizando-se o exercfcio anterior, encontre uma correspondente func;ao analftica f(z) =
u(x, y) + iv(x, y), para aquelas que sao harmonicas.
16. Determine condic;oes nos parametros a e (3 ta! que as func;oes abaixo sejam harmonicas
18. Mostre que se u e harmonica e v uma sua conjugada harmonica, entao -u e a conju
gada harmonica de -v.
49
21. Suponha que D seja um domfnio que nao contem o ponto (0, 0) e que u ( x, y) e uma
func;ao a valores reais com derivadas parciais de segunda ordem contfnuas em D. Mostre
que o operador de Laplace (ou laplaciano) escrito em coordenadas polares x = rcose e
y =rsene e dado por
22. No domfnio r > 0 e 0 < B < 27r, mostre que a func;ao u = In r e harmonica e ache a
sua conjugada harmonica.
23. Sendo uma func;ao f(z) = u +iv e a sua complexa conjugada f(z) = u - iv ambas
analfticas num domfnio, mostre que f e Constante.
24. Mostre que ( a ) exp(2 + 57ri) = -exp(2) e (b) exp[(2 + 7ri)/4] = ye(l +
i)/ifi,.
25. Mostre que exp(iz) =I- exp(iz) a menos que z =±n?T onde n = 0, 1, 2, ...
1 2
Re[ln(z - 1)] = '2 Ln(l + r - 2rcos B),
50
Capitulo 3
Diferencia�ao e integra�ao
3.1.1 Caminhos
51
A resposta e que a integral que permite derivarmos um sem numero de resul
tados belissimos e a de integral de uma furn;iio analitica ao longo de caminhos no
plano complexo. Os caminhos apropriados siio introduzidos com as definic;oes que
se seguem.
Defini�ao 1. Uma curva suave em Ce uma aplicac;iio I': JR ;;?I -t C, t 1-4 I' (t) =
Cn(an )·
p= 1,2, ...,N
tais que
52
Defini<;ao 6. Uma curva de Jordan (1838 - Camille Marie-Ennemond Jordan -
1922) em <C, suave por partes, e um caminho suave por partes, fechado e simples.
----\
J
Figura 3.1: Caminhos fechados: (a) Simples. (b) Simples. (c) Nao simples.
(d) Nao simples.
No calculo real (de uma variavel real) uma integral definida e executada sabre
um segmento da linha real. No caso da integral definida complexa, integramos
ao longo de uma curva C no piano complexo, que sera chamada caminho de inte
grac;iio.
Qualquer caminho suave no plano complexo pode ser representado por suas
func;oes coordenadas complexas, i.e., denotamos C: [a, b] ----+ <C por
e escrevemos
dz
z (t) =
dt
= x (t) + iy(t).
Passemos agora a definir uma integral de linha complexa. Seja C uma curva
suave no plano complexo parametrizada como acima.
Seja f(z) uma func;ao continua definida em cada ponto de C. Subdividimos o
intervalo a :S t :S b tal que
a=:to,t1,··· ,tn-1,tn=b
1 Uma prova pode ser encontrada tanto na ref. [8] quanto na ref. [13].
53
onde to < t1 < · · · < tn-I < tn. Para esta subdivisiio, corresponde uma subdivisao
de Cpor pontos
zo, z1, · · · , Zn-11 Zn:::: Z
onde Zj = z(tj). Para cada pon;iio de uma subdivisiio de C escolhemos um ponto
arbitrario, digamos, um ponto 6 entre zo e z1, isto e, 6 = z(t) onde to :S t :S t1;
um ponto 6 entre z1 e z2, etc..., como na Figura 3.2.
f.rn
ZJ z
zo
onde b:.zm = Zm - Zm-1· Isto pode ser feito para n = 2, 3, .. de modo completa
.
mente independente, porem de maneira tal que o maior I b:.zm I se aproxime de zero
quando n tende ao infinito. Este procedimento fornece uma seqiiencia de n{uncros
complexos S2, 83, ... . 0 limitc desta seqiiencia e chamado integral de linha (ou
simplesmente integral) def(z) ao longo da curva orientada Ce sera denotado por
fc J(z)dz
54
P.2 Parti�ao do caminho Seja *Ci um caminho suave por pedac;os. Entao
i
1 (
f z) dz { f (z) dz + . .. + 1 f ( z) dz
lei
=
*e; eN
i
Zo
ZJ z;
J f(z)dz = - J f(z)dz.
Zi ZJ
55
seja dado um caminho fechado C : [a, b] ----> D'(zo, R) c C tal que o buraco de
D'(zo, R) esteja contido na regiao do plano complexo que se encontra no interior
da imagem de C* de C. Tal caminho nao pode ser encolhido ate se tornar um ponto
na regiao D'(zo, R). Por outro lado dado um caminho C' : [a, b] ----> D(zo, R) C C,
clc pode ser deformado em um ponto em D(zo, R).
Note que qualquer domfnio convexo e poligonalmente conexo, uma vez que
este ultimo c um subconjunto D C C tal que dados quaisquer dais pontos a, b E D
existe um caminho poligonal Cem D tendo coma extremidades os pontos C(a) e
C(b).2
I
Domfnio convexo Domfnio nao convexo Nao dominio /
Figura 3.4: Exemplos de domfnios convexos e nao convexos e conjuntos que nao
sao domfnios.
1, 2, ... , N - 1 e tal que as irnagens de cada urn dos Ci e cada urn dos CI cstejam
contidas em Di para todo i = 1, 2, ... , N - 1.
56
Figura 3.5: Deforma<;ao de caminhos.
parece natural que 0 calculo de fc! (z) dz se reduza ao calculo de intcgrais de linha
reais. E, de fato, este e o caso, mas uma prova rigorosa e um tanto elaborada c
sera omitida [20]. Aqui dizemos simplesmente que dada a defini<;ao de fc! (z) dz
pode-se verificar sem muitas dificuldades que escrevendo-se:
z (t) =
x(t) + iy(t),
f(z(t)) =
u(x(t), y(t)) + iv(x(t), y(t))
k f(z)dz l f[z(t)]i(t)dt
= b (3.1)
ondc i = dz/dt.
57
Temos entiio que
i dz= 27ri.
cz
Utilizando o passo (a) , escrevemos a circunferencia unitaria C na seguinte forma
parametrizada:
()
zt = cost +i sent , com O�t�27r,
58
de onde temos que a integra<;ao, no sentido anti-horario, corresponde a um aumento de
t de 0 a 27r. 0 passo ( b) e 0 calcuJo da derivada, OU seja,
. dz .
z = = - sent + i cost.
dt
Para o passo (c) basta expressar f(z) = l/z em termos do parametro t, isto e,
i - = 1211"
dz 1
. (-sent+icost)dt.
c z 0
cost + i sent
J dz
27ri.
Jc z
=
Teorema 2. Seja f(z) uma func;ao continua num dominio D. Considere F(z)
uma func;ao analitica em D de modo que F'(z) = f(z). Entao, para qualquer
zo e z1, em
1ZI f(z)dz
caminho C suave por pedac;os em D, unindo os pontos D, temos
= F(z1) - F(zo).
zo
l Cd dt . dt
=
a Z
=
i f(z)dz = 0.
59
Exemplo: Vamos calcular J:;:t exp(z/2)dz onde a::=: 0. Integrando-se em rela<,;iio a z
tcmos
2exp(z/2) l�+;7i
i
Ja-31T exp(z/2)dz = =
a+1T .
=
i
37ri [ 'lri
2exp(a/2) exp(-2) - exp( 2")
] = 0,
Para concluir esta sec;ao vamos resolver a questao, utilizando os dois metodos
de integrac;ao que acabamos de discutir.
o ( t)
r se� h zdz .r2 senh(i�)��<Jt):!_ ie &� f H�·-::;; cos.2.- 1 .
lr lo
=
_ ,' + i
12i .
.
onde o caminho C, tomado no sentido anti-horario, e dado por (a) lzl 1/2 e
(b) lzl 2.
=
t J(z)dz = 0.
Demonstra<;ao. Aqui vamos provar este teorema utilizando a hipotese de que f'(z)
e continua em D como originalmente feito por Cauchy. Goursat (1858 - Edouard
60
Goursat - 1936) provou o teorema sem impor esta condic;iio, porem tal prova foge
aos abjetivos deste texto.3 Da sec;iio anterior temos que
'
u ma vez que f(z) e anah'.tica em D, sua derivada f'(z) existe em D. Desde que
f'(z) e continua, ( hip6tese de Cauchy), sabemos que u e v tern derivadas parciais
contfnuas em D. Utilizando-se o teorema de Green (1793 Geprge Green 1841) - -
no plano
obtemos
1 (udx - vdy)
Jc
= J }Rr (c- Oa�X - OoyU ) dxdy
onde R e a regiiio delimitada por C.
A equac;iio de Cauchy -Riemann 8v/8x = -8u/8y mostra que o integrando no
lado direito e identicamente zero, e portanto a integral e nula. Analogamente para
a integral
J (udy + vdx).
Jc
utilizando agora a outra <las equac;oes de Cauchy-Riemann, 8u/8x = 8v/8y. As
sim, o tcorema, com a hip6tese de Cauchy esta provado. 0
c�
3
Para a prova ver ref. [10].
61
Por outro lado, se invertermos o sentido de integrac;ao ao longo de C� entao a
integral sabre C� e multiplicada por menos um. Chamando-se C�, com sua nova
orientac;ao, por C1 obtemos
r f(z)dz r f(z)dz
lc2 lc1
=
r f(z)dz r f(z)dz.
lc2 lc1
=
Esta expressao vale para qualquer caminho que une os pontos z1 c z2, inteira
mentc contido num domfnio simplesmcnte conexo no qual f(z) e analftica. Para
f(z) c independente do caminho
expressar estc resultado, dizemos que a integral de
em D. Naturalmente o valor da integral depende da escolha de z1 e z2.
Podemos imaginar que o caminho C2 na expressao anterior foi obtido de C1 'a
partir de uma deformac;ao, conforme Figura 3.8.
C1
------
-
Z2 ,,,. �: - - - - - -4-- -
-
-
Segue que, para uma dada integral podemos impor uma deformac;ao continua
no caminho de integraGao, mantendo fixos os cxtremos, contanto que nao passemos
4
Se os caminhos C1 e C2 tern muitos pontos (numero finito) em comum entiio a expressao
dada continua valida. Isto segue aplicando o resultado obtido as por�oes C1 e C2 entre cada par
de pontos consecutivos de intersec�ao.
62
por um ponto onde f(z) nao e analitica. 0 valor da integral nao mudara com tal
deformac_;ao do caminho. Isto consiste no chamado principio de deformac_;ao de
caminho.
Enfim, para concluirmos esta sec_;ao vamos discutir o teorema de Cauchy para
domfnios multiplamente conexos.
Recordando a definic_;ao de domfnios simplesmente conexos, vemos que e intu
itivo que um domfnio multiplamente conexo pode ser convenientemente cortado, de
modo que o domfnio resultante, que chamamos D*, torne-se simplesmente conexo.
Note que o domfnio D* nao possui naturalmente pontos de corte ou cortes. No
caso de um domfnio duplamente conexo D*, necessitamos de um corte, C, corno
na Figura 3.9, para transforma-lo em um domfnio simplesrnente conexo.
63
Figura 3.10: Orienta<;ao do sentido de percurso.
do contorno.
0 teorema de Cauchy [ver item (b ) abaixo] fornece entao
1 3z +4 dz= 0.
le z2 16
·
Para o item (b), o contorno continua sendo uma drc ltiiferencia, ainda centrada
na origem porem com raio 2. Logo, z = 4 e z = -4, pontos que anulam o
denominador, estao fora .de D.
Utilizando fra<;6es parciais, podemos escrever
1 3z +4 dz= 0.
le z2 - 16
5Para dominios mais complicados necessitamos de mais de um corte, porem a ideia e a mesma.
64
3.3 Existencia da integral indefinida
F(z) f J(�)d�.
lzo
=
Vamos mostrar que F(z) e analitica e que F'(z) = f(z). Para tal vamos considerar
o seguinte quociente
1 r z + �z
J(Od�.
�z ./
=
z
f(z) deste quociente c vamos mostrar que a expressiio obtida vai
Subtrafmos
a zero quando �z -t O; o que se segue pcla continuidade de f(z) que por sua vez
e uma conseqiiencia da analiticidade de f(z).
Mantemos z fixo e escolhcmos z + �z de rnaneira que o segmcnto com cxtrcrnos
em z e z+�z esta em D. Isto e possfvel desde quc D seja um domfnio que contenha
6
Esta primitiva pode ser usada para calcular integrais de linha deste tipo.
65
uma v izinharn;a de z. Vamos subtrair f(z) quee uma constante, vista que estamos
mantendo z fixo, logo
assim que
1 z+6.z f(�)d�.
1
b..z z
f(z) =
0 quociente toma a seguinte forma
1
:S El�zl E,
lb..zl
=
6.z--+O
lim
b..z
f(z).
Ora, desde que ze um ponto qualquer em D, isto prova que F(z) e analftica
em Dee uma primitiva ( ou antiderivada) de f(z) em D, ou seja
F(z) = J f(z)dz,
que e 0 resultado desejado. 0
. £ d: 11! :::d{=' ii
= (2 i
z l7r/2 = -i
ic dz
.-
. = lnz
. I. ZI
zo = ln ei.t 0
7r
2 ·
66
3.4 Formula integral de Cauchy
Teorema 5. Seja f(z) uma func;ao analitica7 num domi'nio D, simplesmente conexo.
Entao, para qualquer ponto z0, em D, e qualquer caminho fechado simples C, em
D, que encerra zo temos
i.ez-zo
f(z) d
z = 27ri J(zo)
f(z)- f(zo)
I I
�
<
z- zo p
7Se a fun<;ao f(z) nao e uma fun<;ao analftica ver ref. [11].
67
em cada ponto de Co. Ora, o comprimento de Coe 27rp logo
I J J(z) - f(zo) dz
Jc0 z - zo
l < �27rp
p
= 27rE.
Desde que E > 0 pode ser escolhido arbitrariamente pequeno, segue-se que a
ultima integral do lado esquerdo e nula e 0 teorema esta provado. 0
2m, Jc2 z - zo
onde a primeira integrale tomada no sentido anti-horario e a segunda integral, em
C2, c tornada no sentido horario, exatamente-como quando discutimos o principio
da independencia do caminho.
�{-
68
Note-se que OS pontos em que tg z nao e analitica estao.todos fora. do seuc:lominio.
(
Vamos, entao, reescreverJ z), utilizafido fr�oes parciai.�, e ai aplicar o resultado'
do Teorema 5 para cada uma <las fra�oes. Escrevemo,s . entao, ·.
( t z
-z;� 1 � zt!\ z : l{) ;
- =
__
l
ic�dz = l 1 .tg.z dz)
(-1 iczt-gz 1dz - _l_ Jc
27ri z2 - 1 2 27ri z 1 27ri + ·
2
1 1 . [ (- 1)]
27ritgl '- tg = tgl.
27ri
0 fato de uma func;ao real de uma variavel real ser diferenciavel nao implica na
existencia de derivadas de ordem superior. Mostraremos que no caso <las func;oes
analiticas e exatamente isto que ocorre, isto e, se uma func;ao analitica possui a
derivada de primeira ordem em D, segue-se a existencia <las derivadas de todas as
ordens, em D. Tal fato decorre do s�guinte teorema:
Teorema 6. Se f(z) e uma func;,ao analitica num domfnio D entao ela tern deriva<las
de· todas as ordens em D, que tambem sao func;oes analiticas em D. Os valores
destas derivadas, num ponto z = zo' sao dados pelas seguintes expressoes
(i ) f (zo)
/
1 . i f(z) dz,
c(z-zo)2
-
2m
=
f(z)
(ii) f"(zo) = � ic(z-z0
2m )3
dz
e, em geral,
(z
f(n)(zo) � 1 J ) �·dz
27tiJc (z - z0)1J+1
=
69
com n = 1, 2, ... onde Ce qualquer caminho fechado simples em D que encerre zo
do qual a regiiio interior esta contida em D e e integrado no sentido anti-horario
ao longo de C.
!'(
zo) 1.
Im
f(zo + h) � f(zo)
h
=
h-->O
= _1_ 1 f(z) dz
27fi Jc (z - zo - h)(z - zo)
1 1
lz - zol2 2: d2 daqui <
lz - zol2 - d2.
---
d 1 2
lz - zo - hi 2
lz - zo - hi - d
2: daqui -----
<-.
70
Entao, temos para a integral
hf(z)
I (z - zo -h)(z - zo)2 dz ' -< lhl ��
J
Jc d d2 M
- - - -
Antes de resolver a questao proposta, discutimos os teoremas de Morera (1856
Giacinta Morera 1909) e de Liouville (1809 Joseph Liouville 1882), que
serao uteis mais adiante. Porem, antes de apresentar OS teoremas, lembramos que
e muito freqiiente estimar o valor absoluto de uma integral complexa, coma ja foi
feito por duas vezes. De uma maneira geral tal estimativa segue de uma formula
basica. Esta e dada par
fcf(z)dz
e se
= 0
F(z) l J(�)d� =
zo
z
k(n)(zo)I ? n:�.
)
71
Teorema 8. ( Liouville) Se uma func;ao inteira, analitica em toda parte, f(z) e
limitada em valor absoluto para todo z, entao f(z) deve ser uma constante.
Demonstra<;ao. Do fato que IJ(z)I e limitada, consideramos lf(z)I � k para todo
z. Usando a desigualdade de Cauchy vemos que
. k
JJ'(zo)J < -.
r
E, desde que e verdade para todo r, podemos tomar r bastante grande e concluir
que f'(z0) = 0. Vista que z0 e arbitrario f'(z) = O para todo z de onde J(z) e
uma constante, o que prova o teorema. D
'
J z4 - 3z2 +6 , d2
,fc ( 3 dz.¢.: ·"d � �z� - 3i +6) lz=-'·i = 7ri(12z2 6)z=-i = -l87ri.
z+ i) z
· · �
. .
3.6 Exercicios
rl+i -2 2i
. 1. Mostre que lo z2 dz= 3 + 3.
3. Encontre uma representa<;ao z= z(t) dos segmentos com extremos dados por8
( a) z = 0 e z = � + 2i e (b) z=-2+ie z=-2+4i.
72
7. Calcule fc cz dz onde C 6 um segmento de extremos 0 e 1 + 7ri/2.
8. Calcule J� Im(z2)dz de 0 ate 2 + 4i, ao longo
J �-z dz= 0 ?
Jc z" - z
13. Usando o principio da deformac,;ao do caminho, mostre que
1 3z2z
c
--
+
+
5
z
dz= 6 rri.
- 1 0 x
14. Integrc f(z)= z//z/ ao longo das circunfcrencias: (a) /z/= 2 e (b) /z/= 4.
15. Pode o resultado em (b) do exercicio anterior ser obtido de (a) pelo principio da
dcformac,;iio do caminho? Justifique.
73
16. Calcule a integral
z
i _
c z2+1
dz
ao longo dos seguintes caminhos: (a) lzl = 2 e (b) lz+ii = 1, no sentido positivo.
dz
ic z2 - 1 ·
-1 1 x
e+
19. Calcule a integral i c z
dz onde Ce tal que: (a) lzl = 2 no sentido anti-horario e (b)
!zl = 1 no sentido horario.
24. Calcule
J 2 � sen z dz onde Ce um retangulo com vertices ±i + 1/2 e ±i - 1/2.
Jc z -z
74
25. Mostre que
J __dz_ _ 27ri
=
le z -1- i
quando c e 0 contorno do quadrado 0 '.S x '.S 2 e 0 '.S y '.S 2.
onde n= 1,2, . . . .
g(z)=
J 2�2-�-l
d�
le �-z
ondc lzl =I- 3, cntao g(2) = 107!'i. Qua! e o valor de g(z) quando lzl > 3?
28. Mostre que quando J(z ) e uma furn;ao analftica e Ce um contornq fechado simples e
Zo nao esta em C, entao
J f'(z) dz - J f(z) dz
le z - zo le (z -z0)2 ·
J z2 -3z + 4dz
le z2 -4z + 3 ·
J cosz J z2
( a) dz e (b) dz
le z3 le 2-lO)(z - 2)
(z
·
31. Integre
J z3 + senz
dz
le (z-i)3
considerando Cum triangulo com vertices em ±2 e 2i.
32. Integre
1 ez2
dz
le z (z-2i)2
ondc o contorno C consiste em (i) um quadrado com vertices ±3 e ±3i, orientado no
scntido anti-horario e (ii) lzl = 1 no sentido horario.
33. Sendo Ca circunferencia unitaria z= exp(i8) orientada dee= -7r ae= 71', e k uma
constante real qualquer, mostre que
1 -dz=ekz
27ri.
c z
75
34. Utilizando o exercicio anterior, escreva a integral em e e mostre que
1
171"
-
ek cosO
cos(ksen8)d8 = l.
7r 0
i dz
c z2 +9
quando: (i) os pontos z = ±3i estao no interior de C, (ii) os pontos z = ±3i cstao no
exterior de C e (iii) s6 o ponto z = 3i esta no interior de C.
i
37. Calcule a integral
2
z ez
----dz.
lzl=2 ( Z i ) 2 -
[ lzlzdz
1
-1
onde Ceo contorno fechado, orientado no sentido positivo, ta! que: lzl = no semi-piano
superior e '.S x '.S 1, y = 0.
39. Calcule a integral
j. dz
c Jz
para os seguintes contornos:
1,
c) lzl y '.S 0, v'I =
1
= 1
lzl
1,
d) = v'I =
e) lzl = J=I i =
onde Ce um caminho fechado contendo z em seu interior. (ii) Ap6s a integra<;ao, substitua
z por i, calculando a integral resultante.
76
Capftulo 4
1
0s residuos serao discutidos no proximo capitulo.
77
4.1 Seqiiencias complexas
Comec;amos esta sec;iio diferentemente das anteriores, isto e, sem propor uma
questiio especifica, apresentando algumas definic;oes e teoremas que nos seriio uteis
no decorrer do capftulo.
c > 0 existe N E N (N depende de c ) tal que para todo n 2: N tcm-se J en - bl < E..
Demonstrar.ifo. Seja (en) tal que Jeni ::; M, 'in. E 6bvio que qualquer seqiiencia
complexa converge se, e somente se, as seqiiencias reais (Re en) e (Im en ) forem
convergentes. Assim, JRe en ! ::; M e uma seqiiencia limitada em IR. Portanto,
de um bem conhecido [13] resultado da teoria das seqiiencias reais existe ni E N,
no < n1 < ... tal que a subseqiiencia (Re en; ) converge. Por outro lado, a seqiiencia
(Imcn) tambem e limitada e assim, escolhendo-se mj E N, mo < m1 < ... tais
que mj = ·· nk; resulta que (Im en1 ) e uma seqiiencia convergente. Como uma
subseqiiencia de (Re en;) a seqiiencia (Re Cm1 ) 6 convcrgente. Assim, a seqiiencia
( Cm1 ) e uma subseqiiencia convergente de ( en ) · D
78
Teorema 3. Seja S c C um compacto e seja g :S ---+ C uma furn;ao contfnua.
Entao:
/g(z)/ :S M, Vz E S, i.e., g e limitada.
(i) Existe uma constante M > 0 tal que
(ii) Existem z1,z2 EC tais que /g(zi)/ :S /g(z)/ :S /g(z2)/, Vz ES, i.e., g atinge
seu valor mfnimo e seu valor maxima em S.
Teorema 4. (Cauchy) Uma seqi.iencia (en) e convergente se,2 e somente se, dado
c > 0, existe NE N tal que Vn, m 2:: N tem-se /cm - en/ < c .
Defini<;ao 5. Dada uma seqi.iencia numerica (en) designamos por (Sn) a seqi.iencia
das somas parciais de (en). Temos:
So= co,
S1=So+ ci,
n
Sn= Sn-1 + Cn = L:en.
p=O
A seqi.iencia (Sn) e dita uma serie numerica associada a uma seqi.iencia (en).
n
Tal serie e usualmente denotada tambem por L Cn.
p=O
n
Defini<;ao 6. Uma serie numerica I:en e dita absolutamente convergente se a
p =O
n
2
Este teorema de Cauchy e tambem conhecido como Principio de Cauchy, ou criterio de con
vergencia de Cauchy. Sua demonstrar;iio pode ser encontrada na ref. [13].
79
4.2 Series de potencias
sen,i
.':!!
2
ao + a1z + a2z + a3z3 + · · ·
onde ao, a1, a2, · · · sao OS coeficientes da serie e Sao constantes quaisquer, reais OU
complexas.
U ma das propriedades mais simples e mais importantc de uma dada scric de
potencias e quc a regiao do plano complexo onde el<IB sao convergentcs e sempre
um disco com centro na origem, com raio que pode variar ( dependcndo do caso)
de zero ao infinito.
Mais precisamente, dada uma serie do tipo anterior, existe sempre um numero
positivo p tal que 0 ::; p < oo chamado raio de convergencia da serie, tal que esta
resulta sempre convergente (absolutamente convergente) para cada z cm modulo
menor que p, enquanto nunca e convergente para l z l > p. Ainda mais, a mesma
serie converge uniformemente em cada domfnio contido em l z l < p. Quanto ao
comportamento da serie sobre a circunferencia lzl = p, que limita 0 disco de
convergencia, este deve ser estudado caso a caso.
Na Se�ao 4.4 defin'imos o que se entende par convergencia uniforme de uma
serie de fun�oes. Vamds ver entao que as series de potencias sao uniformementc
convergentes em cada domfnio D incluindo o contorno do domfnio. Como con
seqiicncia, estas series sao derivaveis e integraveis termo a termo no domfnio D.
Resta-nos somente saber coma calcular o raio de convergencia c para tal temos
o seguinte teorema devido a Cauchy e Hadamard (1865 - Jacques Hadamard -
1963).
Antes de prosseguirmos recordamos, para conveniencia de nosso leitor, alguns
resultados basicos sobre seqiiencias e series de fun�oes.
80
No caso em que este limite superior, isto e, o maximo do conjunto de pontos
limites da sucessao, e nulo, 0 raio de convergencia torna-se infinito, logo a serie e
convergcnte em todo o plano complexo.
Demonstra<;ao. De fato, para provarmos isto, seja L o limite superior, que por
enquanto supomos nao nulo, e zo um ponto qualquer do plano complexo tal que
tenhamos
1
!zol < [;
lndiquemos com a letra rum numero tal que Jzol < r < l/L. Observamos que,
em conseqiiencia de l/r > L, somente um numero finito de elementos da sucessao
podera ser maior que l/r, e, por isso, existira certamente um numero inteiro no
tal que n >no, sempre que
porem, a serie
sendo uma serie geometrica, compreendida entre zero e um, e convcrgentc, por isso
a serie
convergira, uma vez que para n >no admite a serie precedente, que e convergente,
como majorante.
Se, por outro lado, temos
1
Jzol > L
sendo agora l/JzoJ < L, existirao infinitos valores do fndice n, digamos n1, n2, n3, · · ·
e, conseqiientemente
como seria necessario para que a nossa serie fosse convergente no ponto z = z0.
81
Entao, demonstramos que, supondo L > 0 a serie dada e convergente, OU ri;!fl
hor, absolutamente convergente para lzol < l/L e nao convergente (ou diverge;;te)
__..
lim vfaJ 0,
n->oo =
de onde
o que, tendo em conta que rylzol < 1, leva a serie a ser convergente em zo. Par isso,
neste caso, a serie e convergente em toda a parte.
Se, pelo menos de um certo n para a frente, an =f. 0 e existe o limitc
82
Exemplo: As series dadas a seguir
3
x x x5 x2n+l
+ ( lt ...
TI - 3! 5(- .. .
- ('.?ri + 1)!
pode ser escrita como
oo 2k+l
x
l)k
2::) �
k=O /
(2k+ 1)!
de onde temos que
k
(-l)
ak= ----
(2k+ 1)!
logo
. 1/(2k + 1)! . ..
hm· l/(2'k + 3)1
= hm (2k+ 3){'2k+ 2) = oo
k-+oo . k-+oo
1 +z
(1--) =·z+-+-+·· ·.z3 z5
-ln
2 · 1- 3z.
5
3
Ver, por exemplo, ref. [10].
83
Por meio do Teorema 6 vamos discutir o seguinte resultado:
· toda furn;iio
analftica pode ser representada pela chamada serie de Taylor associada a func;iio
f(z).
oo j(n)(zo ) ·
C'
Em analogia com o termo usado no caso <las func;oes de variaveis reais, chamamos
a serie anterior de serie de Taylor da func;iio f(z) no ponto zo.4
1
=
1 z-zo -l ( )
t-z t-zo l-t-zo
--1
= +x+x +···
1-x l
2
lxl < 1
4Expansiio em torno de um ponto regular zo, o qua! sera definido mais adiante.
84
temos, em nosso especifico caso,
z- zo l
I -- < 1
t- zo
istio e, It - zol lz - zol, logo, podemos escrever
>
( 1-
Z
--
- zo l ) 1 +
- - zo
_
+
Zzo 2
+ ··· - L
(
oo Z -
--
) _ ( - zo ) n
Z
--
t- zo t- zo
-
t- zo
--
n=O ' t - zo
Ora, sendo C o contorno em C', para z dentro da circunferencia, contorno
exclufdo, temos, em virtude da formula de Cauchy, a seguinte expressao
f(n(
) z) �J J(t) dt
27ri le(t - z)n+l '
=
oo
J(z) L(z- zo)n �
=
1 J(t) dt
7rZ e(t - zo)n+
I L 1
i
j(n)(zo)(z- zo)n , =
oo
n=O n=O n. .
e o teorema esta provado. D
5
Tais pontos seriio discutidos adiante.
85
furn;iio teria um desenvolvimento em series de potencias de z - e' convergente para
um cfrculo c�, com centro no ponto z = e, cu.io raio indicamos par r (O . Levando
em conta que r (O pode ser identificado com o extrema inferior das distancias dos
pontos singulares de f(z) ae, e evidente que r(O 6 uma func;iio continua dee OU
do area da circunfercncia I sabre o qual e pode se mover. Por6m, pelo teorema
de Weierstrass6 que afirma que: cada func;iio continua em um domfnio fechado e
limitado alcarn;a tanto o seu extrema inferior (que par isso torna-se um minima)
quanta o seu extrema superior (maxima) ; temos que, o extrema inferior, digamos
T/ de r(e) sabre 1, deve coincidir com o valor de r (e) em um certo ponto fo def.
Entiio, ao variar e' OS cfrculos de convcrgencia c� cob rem ao mcnos toda a
'
coroa circular compreendida entre I e a circunferencia concentrica 1 de raio r + TJ
'
e por isso a func;iiof ( z ) e regular tambem dcntro de 1 e, pelo tcorema do desen
volvimento em Serie, tal implica que 0 seu desenvolvimento em Serie de potencias
de z - zo deveria ter coma raio de convergencia pelo menos r + T/, enquanto foi
suposto que 0 raio e r. Da contradic;iio resultante de termos suposto que todos OS
pontos de I fossem regulares para a func;iio f(z), conclui-se que entre esses deve
existir pelo menos um ponto singular da func;iio em questiio.
Finalmente, notamos que o desenvolvimento em serie de Taylor e unico, isto
e, se uma func;ao f(z) pode ser desenvolvida em serie de Taylor, em torno de um
ponto zo' mediante uma serie de potencias do tipo
(n + 1)! (n + 2)!
f(n)(z) = n!an + 1 an+l (z - zo) + 1 an+2 (z - zo)2 + · · ·
l. 2.
Colocando z = zo obtemos exatamente a cxpressiio para os coeficientes.
Par outro lado, quando zo = 0, isto e, desenvolvimento em torno do ponto
z = 0, serie de MacLaurin, obtemos a seguinte expressiio:
1 ( n + 1)! ( n + 2)!
f(n)(z ) = n.an + an+l (z) + an+2 (z)
2 + · · ·
l! 2!
6
Ver, por exemplo, ref. [10].
86
Resolu�ao da Questao Como um caso particular do desenvolvimento em serie
de Taylor encontramos 0 desenvolvimento em Serie de Ma..cLaurin, isto e, se.con
sideramos zo = 0 no desenvolvimento de Taylor obtemos o chamado desenvolvi
mento em serie de MacLaurin. Entao, expandindo numa serie de MacLaurin a
furn;ao f(z) =In(\+: bternos
l.
. .
Substituind�·nest� ��q;;�sM· e rriultiplicandd ·ambos os membros da
expressiio assim obtida. .. p.or -
z2 z3
-ln(l - z ) = z+ ....,.. + - +· lzl < l.
2 3
· ,
z5
. +···
87
Aqui, neste exemplo, substitufmos z por - z2 na serie geometrica de ondc
obtemos, para lzl < 1,
1 1
00 00
L(-z2)k = L(-l)kz2k
l+z2 1-(-z2)
k=O k =O
Metodo da integra�ao
k=O 2
3 5
com lzl < 1, que representa o valor principal de w=u +iv = arctg z definido para
l l
u < 7r/2.
A partir da identidade
_1 _ 1 __ 1
[l _b(z -a)]-l_
_
c - bz c - - ab - b(z
-
-a) c -ab c-ab
e utilizando a serie geometrica, podemos escrever
c - bz c - ab L=
k=O
c ab k=O (c - ab) -
= - =
1 b �
-- +
=
que e o resultado desejado. E de se notar que tal serie converge se, e somente se,
88
Metodo da serie do binomio
2z2 9z 5
· f(z) = z3 + z2+- 8z+- 12
com centro em z = 1.
Dada uma func;ao racional, podemos representa-la como uma soma de frac;oes
parciais e entao utilizar a serie binomial, isto e, a seguinte Serie
-m k
L.., (
1
-- = (1 + ) =� -m
(1 + zr Z
k=O k
)Z =
�
= 1 - mz + 2!+ 1) z2 - m(m + l)(m
m(m
3!
+ 2) 3
z + · · ·
2 = .
f(z) (z +1 2)2 + - 1
-
z - 3 [3 + (z 1)]
- 2
- 1} .,=
{ }
=
2 2 - (z
= 91 [1 + �(z1 - 1)]2 - 1 - !(z1 - 1) =
k k
= � f( �2 )(z;l) -f (z;l) .
k=O k=O
Simplificando a expressiio anterior temos
= - -98 - -
31 (z - 1) - -
54
23 (z - 1) 2 -
108
· · ·
89
Uso de equac,;oes diferenciais
+ 2ff"
f111 = 2(f')2 f"'(O) =2 f"'(O)
_ 3__
! -1
_
3
f(4) = 6f'f" + 2f !"' j(4l(o) = 0
j(5) = f(/")2 + 8f' !"' + 2f j(4) j(5) (0) = 16 1<5l(o)
_5_! _ - 15
_
de onde
1 3 2 5 17 7
tg z = z + -z + -z + -z + ...
3 15 315
�� �� - ( - �� :� - )
I
3 5
z - + . . · = ( a1 z + a3z + a5z + .
. · ) 1 + · · .
e, desde que tg z e analftica exceto em z = ±7r /2, ±37r /2, · · · s ua seric de MacLau-.
rin converge no disco JzJ < 7r /2. lgualando os termos de mesma potencia tcmos
--=
. 1
3!
- -a1 + a3
2!
90
4.4 Convergencia uniforme
> oo zk + 1
£ k2 + coshkl.z·1
' ': k=O ·
7A prova dos teorcmas desta sei;ao podem ser encontradas na ref. [13].
91
I
A partir desta definic;ao temos 0 S llJll<r < oo e valem as propriedades usuais
da normas:
( i) llfll<r � 0 e l! fll<r 0 =} f 0.
= =
(ii) l!afll<r =
lal ll fll<r, \la E C.
( ) II!+ gll<!: s ll J ll<!: + 11911<!:, \If, g E
iii c (<t}_
Teorema 10. Uma condic;ao necessaria e suficiente para que uma seqiiencia de
func;oes Un) ,· fn E C (C:) seja uniformemente convergente e q)le ela seja uma
seqiiencia de Cauchy.
CXl
convergencia da serie L an(z1 -zo) n e que an(z1 -zo) n ---to, e que toda seqiienda
n=O
que converge para zero e limitada em modulo, i ..e,
z - zo !:._
I I = 0: 0:
<
' 0 s < 1,
z1 - zo - R
de onde segue-se
logo
92
00
Teorema 12. Seja Lan(z-zoF uma sericde potencias com raio <le convergencia
q=O
p
R. Entao, a seqiiencia de reduzidas {Sn (z)}, com Sn(z) 2..:)q(z -zo)qconverge =
q=O
uniformemente nas pl}rtes compactas do disco de convergencia da serie, e a furn;ao
limite da serie 6 continua no disco de convergencia.
q=n+l q=n+l
Assim, para todo z E f> (zo, r), i.e., lz - zol :::; r temos
m 00
q=n+l q=n+l
00
Como r < Ra serie L laql rq e convergente. Logo, dado qualquer que seja E >
q=O
00
0 existe um inteiro N(c) tal que para todo N(c) temos que L laql rq
n 2: < E.
q=n+l
Portanto para m > n 2: N(I{) temos que para qualquer z E f> (z0, r )
93
Assim, a seqilencia de ( func;oes ) reduzidas e de Cauchy e o Teorema 10 garante
que a Serie e absolutamente convergente. Segue agora, usando-se 0 Teorema 8, que
a func;ao limite da serie e continua no disco de convergencia. D
00
m=O
considerada uniformemente convergente num compacto lt C D onde D e urn
dominio. Seja F(z) a sua soma. Entiio, se cada termo fm(z) e continuo num
ponto z1, a func_;iio F(z) e continua em z1.
correspondentc resto
Desde que a serie converge uniformemente, para um dado E > 0 podemos encontrar
n = N(E) tal que
para to do z em D.
Desde que s N(z) e a soma de func;oes contfnuas em z1, sua soma e continua em
z1. Entao, podemos encontrar um o > 0 tal que
E E E
:S lsN(z ) - SN(z1)I + IRN(z)I + IRN(zi)I < 3 +3 +3 = E
00
m,=0
94
considerada uma serie de func;oes continuas uniformemente convergente num com
pacto <t C D onde D e um dominio. Seja C qualquer caminho em <t. Entao, a
serie
C
+
C
· · ·
IRn(z)I
E
< z
z em <t C D.
ML
par.a todo n >N e todo
Utilizando a desigualdade podemos escrever
f 1 fm(z)dz= 1e F(z)dz,
m=O e
que e 0 result.ado desejado. D
95
Teorema 15. Consideramos a serie fo(z) + fi(z) + h(z) + · · · convergente num
compacto It c D, onde D e um dominio, com soma F ( z ) . Suponhamos que a
serie f�(z) + f{ ( z) + f� ( z) + · · · converge uniformemente em D e seus termos sao
continuos em It C D. Entiio, para todo z em It temos
E �2
00
; . ,. ·· , .·,·.:
,
1
=
J(�}, -1-
- z 2
que converge no anel 1/4 < lz - ll < 2, determinando a precisa regiao de con
vergencia.
96
e cujos coeficientes, chamados coeficientes de Laurent, sao dados pela formula de
Cauchy
an = _ i (t -fzo(t))n+l dt
1
27fi. c
onde C denota uma curva fechada qualquer, contendo z0 na area anular, con
forme Figura 4.2, percorrida uma so vez no sentido anti-horario. Por exemplo,
poderiamos ter C = C1 ou C = Cf, etc...
1 n=O
C'
n zo
f(t)
an= f( )( ) -i
1 dt.
n! 27fi t - z0)n+l
=
I
C' (
Para o caso da integrac;iio sabre C2, escrevemos
1 1 ( t - zo )-l
= 1
-
t-z - z - zo z - zo
97
e, considerando que
t - zo
I -- <1
z - zo I
temos que
-1 m
(l-�) f (�)
Z - zo m=O Z - Zo
=
27ri Jc'
2 n=-1 27ri Jc, 2
n=O n=-1
onde para n > 0 vale a expressao
(t
an= -1 J J ) dt,
27ri Jc (t - zo)n+l
que e 0 result.ado dcsejado. D
fc (z - ordz
seguinte integral
Im= z
98
temos
/27r /27r
Im= i (z - zo)m+ld(} = irm+l [cos (m + l)B + i sen(m + l)B]d(}
lo lo
{
de onde, usando resultados bem conhecidos, relativos a integra<;ao de fun�oes
trigonometricas, temos
irm+l
-- [sen(m + l)B - i cos(m + 1)ern1T = o m f:. -1
·
Im= m+l
27ri m= -1.
Suponhamos agora que a fun�ao J(z) admita urn outro desenvolvimento difcr
ente de
00
n=-oo
por exemplo, com a � no lugar de an. Se este e o caso podemos escrever
00
L ( an - <:�.)(z - zot = 0.
n=-oo
-1
J(z) =
(z -"l)(z + 1)
99
; : "k, =· 2�;; (!"::1): � -· �j[ l�� e· �:�)�;:·� � � l·�
���('-i';'.������:foc. - i.r
-1/2 1 1
f(z) =
00
L 2 +i .(.-.l)k+l
. (z -:. 1) - _= .
k,,;,,0 ·:�'.·· , :< ·:.
.
.
z .. - . ( - 1}
..•.
k 1
-- +
L 4
�
- - z
. 8.
+ · · ·
'
J .-:- 1 } · . ·
. ,· 1.
cuja regiiio precJs�-d�cot v:;ge.ncia�·O � � ' < ? \r isto que f (z) e singular em
z = - i que dista d9is•<lo 'c¢.ntro a � s�� i� �irg.�•,coipo ..�rg.i ==.+
i
.
z(z2 + 1)_
··
.
. · . · s.en z
f(z)-= =
com f(O) = 1.
Intuitivamentc, uma singularidade de uma furn;ao analitica J(z) e um ponto z
para o qual f(z) deixa de ser analitica e um zero e um z para o qual f(z) = 0.
As defini<;oes precisas serao dadas a seguir. As .sfogularidades sao discutidas e
classificadas atraves das series de.��i;ent.,enquanto que OS zeros sao discutidos em
termos <las series de Taylor.
Entiio, dizemos que uma fun<;ao monodroma J(z) e singular OU tern uma sin
gularidade em um ponto z = zo se f(z) nao e analitica, talvez nem definida, em
z = z zo onde f ( z ) e analitica.
zo, mas tal que exista uma vizinhan<;a de =
CXl CXl
bn
f(z) '°' an(z - zot + '°'
� � n
=
100
valida nas vizinharn;as do ponto singular z = zo exceto nele mesmo, isto e, no
disco D(zo,R) = {z EC /0 < Jz - zol < R}.
A soma da primeira <las series e analitica em z = z0 enquanto que a segunda,
contendo potencias negativas, chamada parte principal, escrita na forma9
b1 .. ·+ brn
-- + ----
z - zo (z - zo)rn
com brn f:. 0, tern uma singularidade em z = zo. No caso em que temos um
numero finito de termos, a singularidade e chamada polo e m a sua ordem. Polos
de primeira ordem sao chamados polos simples. Se a parte principal tern infinitos
termos dizemos que f(z) tern, em z = zo, uma singularidade essencial isolada.
Dizemos, tambem, que uma furn;ao f(z) tern uma singularidade removivel cm z =
zo se J(z) nao e analitica em z = zo, mas pode ser tornada analitica fornecendo-se
um valor conveniente para J(zo). Vamos ver mais adiante alguns exemplos.
Enfim, dizemos que uma furn;ao f(z) e analitica ou singular no infin�to se g(w)
e analitica ou singular, respectivamente, em w=O, onde f(z) ii'j(lfW) = g(w).
Definimos tambem o limite
g(O) = lim g(w)
w--+0
se este limite existe.
Dizemos que uma func;ao J(z) que e analitica em algum dominio D, tern um
zero no ponto z = z0 em D se f(zo) = 0. Dizemos tambem que este zero e de
ordem n se nao somente J(z), mas tambem as derivadas f', J", , j(n-l) sao· · ·
n
todas nulas em z = zo, mas J( )(zo) f:. 0.
Urn zero de primeira ordem e chamado de urn zero simples, para ele f(zo) = 0
enquanto que .f'(zo) f:. 0.
Para um zero de ordem :n em z = zo, as derivadas J"(zo), , j(n-l)(zo) sao
·
·
·
zero, por definic;ao. Segue que OS primeiros coeficientes ao, a1 , ... 'an-l da serie
de Taylor sao zero enquanto que an f:. 0, assim a serie toma a forma
Ainda mais, dizernos que f(z) tern um zero de ordern n no infinito se .f(l/w)
tern um zero de ordem n em w= 0.
E possivel obtermos uma relac;ao entre zeros e polos atraves do seguinte teo
rema:
Teorema 18. Seja f(z) uma func;ao analitica em z = z0 tendo um zero de ordem
n em z = zo. Entao, 1/J(z) tern um polo de ordem n em z z0. 0 mesmo vale
=
101
Para finalizar esta sec;ao vamos agora discutir a resoluc;ao da questao.
sen z=0
para z = 0 ou seja, para os pontos tais que z = n7r com n = 0, ±1, ±2, · · ·
4. 7 Exercicios
00 00
( a) Lk!xk e
k=l
. 00 00
e (b) L:e-k2xk.
k=l
3. Expandir a furn;iio f(z) = (1 + z2)-1 numa serie de Taylor em torno de z = 0.
-:! 4. Determine OS tres primeiros termos da serie de Taylor da furn;iio f(z) = cos[ln(l + z )] ,
em torno de z = 0.
7. Expandir a func;iio Ji (z) = (1 - z)-1 numa serie de MacLaurin e por integrar;iio termo
a termo obter uma expansiio para h(z) = - ln(l - z) .
8. Obtenha uma expansiio em serie de Taylor da funr;iio Ji ( z ) =- ln(l - z) c, diferen
ciando formalmente termo a termo, obtenha uma expansiio para h(z) = (1 - z)-1.
102
9. Discutir a convergencia <las seguintes series:
( a) e (b)
onde a= 0,1,2,···.
11. Verifique que as series abaixo siio convergentes, e calcule o raio de convergencia de
cada uma,
00
(a)
00 (k!)4
e (b) 2:: (-l)
k 32k
I:
k=O [(2k)!J2
k=l 43k ·
12. Se lxl < 1, mostre, usando propriedades di;s series de potencias, que
In (JI+X-x �) = � (2k)!
6 4k(k!)2
(�)k
2
k=l
13. Determine a expansiio em serie de Laurent <las furn;oes abaixo, em torno de z = 0,
cosz -1
( a)
z2
c (b) arctg z lzl < 1.
1
sen[ln(l - z)]' ·
1 cosi 1 I
( a)
- z, CZ° .
-
(1 - z) e-z
J(z)
z(l+z)2
=
103
19. Expanda a func;ao
1
f(z)
(2z - l)(z - 2) 2
=
z = O?
2 3 4
w u/c+v/c
c l+uv/c 2·
Se
v u
-=-=1-a
c c
onde 0::; a::; 1, encontre w/c em serie de potencias de a.
23. 0 deslocamento x de uma partfcula de massa de repouso mo, resultante de uma forc;a
constantc m0g, ao longo do eixo x e
{[ ] }
2 1/2
�
2
x= 1+ (g�) -1
( coshx �) _
P(x) = C
senhx x
onde C e uma constante. Expanda P(x) como uma serie de potcncias para x pequcno
(altas temperaturas e baixos campos).
1 1 z -k
(a) (b) (c)
z2+a2' (z2 +a2)2' z+l'
104
26. Para as func;oes do exercicio anterior, calcule o respectivo residuo nos respectivos
polos.
z2 cz
e (b) .
1 + e2z
( a) e (b)
z2 - a2 (z2 _ a2)2 ·
(z + l)(z + 2)
em torno do ponto z = -2. Obtenha a regiao de convergencia desta serie.
z(z - 1)2
105
35. Escreva o desenvolvimcnto, cm serie de Laurent, da func,;ao
1
f(z)
z- k
= -
k sen(} k COS(} k2
� n
.L....,, k sen ne = e �
.L....,,
k n cos n(} -
_
-
n=l -
p(k ' e) n=l p(k ' O)
onde p(k, 0) =
1 - 2k cos(}+ k2 e k2 < 1.
1
f(z) -=---
- z2senhz
-
por uma serie de: (a) MacLaurin, dando a regiao de validade. (b) Laurent, no domfnio
Jz! > 1.
106
Capitulo 5
Resfduos
1 Podemos utilizar a metodologia da transformada de Laplace, por cxemplo, para resolver tan to
uma equa<;ao diferencial ordinaria quanta uma equa<;ao diferencial parcial. Quando calculamos
a transformada inversa, que represcnta a solu<;ao da equa<;ao, devc-se, em geral, fazcr uso do
teorema dos rcsf<luos.
107
5.1 Residuos e polos
onde C e um camjnhoJechado, z= 1
encontra-se na regiB,o"'ffiterior a Ce z= -4 na regiao exterior a. C.
tornado no sentido anti-horario, tal que
Comecemos por explicar o que e um residua e coma pode ser utilizado para
calcular integrais do tipo
i J(z)dz
.f(z)
interior de uma regiao cuja fronteira e C, tal integral e zero, pelo teorema integral
onde Ce um caminho orientado e simples . Ja vimos que se e analftica no
de Cauchy.
f(z) z zo
interior de uma regiao cuja fronteira e C mas, par outro lado, e analftica sobre
Se tern uma singularidade no ponto = que se encontra na regiao
C e nos demais pontos tais que z -=I zo, entiio ela possui um desenvolvimento em
serie de Laurent do tipo
+ +
oo k b1 b2
J(z) L ak(z - zo)
(z - zo)2
·
- zo
+ · ·
k
= -- ·
=O
z
z = zo, zo,
seja, em algum dominio da forma 0 < R. 0 coeficientc
que converge para todos os pontos pr6ximos de cxceto o propriq ou
lz - zol < b1, coeficicntc
da primeira potencia negativa de Laurent, e dado pela formula integral
k
2m i
bk= � (z' - z) -l J(z')dz'
com k = 1, isto e
c
b1 2 i J(z )dz.
1
= -.
7ri c / /
Mas, desde que podemos obter as series de Laurent por diversos metodos, sem
utilizar a formula integral para os coeficientes, podemos encbntrar b1 por um destes
metodos e entao utilizar a formula para b1 a fim de calcular a integral, OU seja
if (z)dz= 27ri b1
z = zo esta no interior de b1
chamado residua de f(z) em z = zo e sera dcnotado como
b1 = Res f(z).
z=zo
108
Para estarmos devidamente equipados para solucionar a questao, devemos
saber a resposta a seguinte questiio: Para obtermos o residuo, que e um simples co
eficiente em um� dada serie de Laurent, e necessario que conhe<;amos toda a serie,
ou existe alguma maneira mais simples? A resposta a esta pergunta e: Quando as
singularidades siio polos, existe um modo bastante simples, caso contrario devemos
expandir a fun<;ao numa serie de Laurent explicitamente e obter o coeficiente b1.
Vamos considerar primeiramente o caso de um polo de ordem um, ou seja, um
polo simples. Seja j(z) uma furn;ao que tern um polo simples em z = z0. Entao,
a serie de Laurent correspondente e dada por
b1
f(z) = -- + ao + a1z ( - zo) 2 +
( - zo) + a2 z · · ·
Z - 'ZQ
(z -zo)f(z) = b1 + z ( - zo) +. . ] .
( - zo) [ao + a1z .
Tomando o limite para z ----> zo, note que a serie e uniformemente convergente,
0 Segundo membro tende para b1, OU seja, 0 resfduo, isto e
Uma outra maneira, que muitas vezes e mais conveniente, para a obten<;ao do
residuo, no caso de um polo simples, consiste em investigarmos o comportamento
do seguinte quociente
p(z)
f(z) =
q(z)
comp(z) eq(z) analiticas, onde supomos quep(zo) f. 0 eq(z) tern um zero simpl�s
em z = zo, de rnodo quc f(z) tern polo simples cm z = zo'. Pela defini�ao de um
zero simples, q(z) admite uma serie de Taylor da forma
pz( )
Resf(z) = lim (z-zo) =
109
Temos que, no lado direito desta expressao, o fator (z - zo) e cancelado e o
limite resulta em p(zo)/q'(zo), de onde obtemos uma segunda expressao para o
resfduo no caso de um polo simples, a saber
p(z) p(zo)
Res J(z) = Res = .
z=zo z=zo q(z) q'(zo)
. b b -1 b2 __ b_1 -
j(z)=
k + k +···+ + +
'
(z - zo)k (z - zo)k-l (z - zo)2 z - zo
---
110
Resolm;ao da Questao A func;ao
z
•
f(z) =
( z + 4)(z - 1)2
,
tem polos em z = -4, simples e em z.= 1, polo duplo, tambem chamado de polo I
de ordem dois.
Devido ao contorno dado, apenas o polo em z 1 vai contribuir para a integral,
vista que z = -4 esta fora do contorno.
=
J
1 f(z)dz
le
=
Jc (z + 4�tz - 1)2 = 27ri Res J(z).
z=l
Como o polo e de ordem dois vamos tomar, como caso particular da expressao
que nos fornece 0 residua, k = 2 isto e
z=l z-+1 + ··
(
=
2 -
J z dz 87ri
Jc ( + 4)(z - 1)2
z
=
25 ·
i( . ,_
e1l"Z
z
) dz.
Z
•
+ err/z
cz4 - 16 ·
111
Teorema 1. Seja J(z) uma func;iio analftica rm regiao interna ao contorno2 do
caminho fechado e simples C bem 9omo sobrc C, exceto para um mimcro finito
de pontos singulares z1, z2, · · · Zki dentro de C. Entao
k
fc f(z)dz .
= 27ri L �e.� J(z)
J=l
i f(z)dz i
· C
+
Ci
f(z)dz + i
· C2
J(z)dz + · ·
· + j'
fck
.f(z)dz = 0
ic J(z)dz i =
�
J(z)dz + i �
J(z)dz + ·
· · + i
-�
f(z)dz
112
de onde, agora, todas as integrais sao tomadas no sentido anti-horario. Utilizan<lo
o resultado da se<;ao anterior
i f(z)dzJ
= 27ri �e.� f(z)
obtemos, finalmente
k
Res
( z )·= (-z )
e11'z e11'.i = _]._
z=2i z4 - 1 6 4z3 z=2i 16
( ) = (-- z )
z e11'z eiz · /. ' 1
Res
z=-2i .z4 - 16 4z3 z=-2i 16
de onde o residua e dado por b1 = 7r2/2. Logo, utilizando·o teorema dos residuos
temos
i( Z e11'Z
+ z e?rfz
) dz= ( ---.., .27ri - l• . . - -
1 + =. 7f2' ). ( )1
7r 7r2 - - i.
z4 16 . 16'. 4
c -
�., ,,,
· .
-.
·
.
. ·. ..
1 z2dz
- .para ·.R
l)(z2 + 9)
oo.
Cn (z2 +
113
y
3i
-R 0 +R x
dz= iRei0 de
e
iaz = ia (Reos e + iRsenO) = iaRcos e - aRsene.
Assim, tomando 0 modulo de IR , podemos escrever
Par hip6tese, IJ(Rei0) I < E(R) e independente dee, onde E(R) e um parametro
positivo arbitrario que tende a zero quando R --? oo, entao
sene > -
-
20
1T'
e -aRsenO < - 2"'RO e "
114
logo
.J0 O'.
Resoluc;ao da Questao Neste caso o: = 0 uma vez que niio temos exponenciais
no integrando. Assim
Lembrando que
IR2 e2i9 +ll J(R2 e2i8 +l)(R2 e-2i8 +1) ='VR4 + 2R2cos8 + 1
> JR4 - 2R2 + 1 = R2 - 1
\
e, analogam�nte para
iO
IR2 e2 +91 � R2 - 9
\
temos que
i R3 -
Rlf(Re O )I :::; (R2 - l)(R2 - 9) = E(R).
z2 z d
r
.fcR (z2 + l)(z2 + 9) � 0.
5.4 Exercicios
115
2. Encontre os residuos somente· nos pontos singulares que se encontram no interior da
circunferencia lzl = 2 para:
z 1 3-z
( a) (b) (c)
1 +z2 1 - z4 z3 +3z2
-z2 - 22z + 8 1 1
(d) (e ) (f)
z3 - 5z2 + 4z z(z - 3) 1 +z3
1 z z2 + 12
(g) (h) (i)
z2 - 16 z2+32 z3 - 27·
( a) t tgzdz (b)
i
c (z
z
- 2)2
dz
i cosz z2+1
(c)
c 3z + 2i
dz (d)
i
c 2- 2z
z
dz
dz tgh2 (z + 1 /2)
(e)
i c 1- ez
(f)
i
c ez senz
dz
(g)
i c( z2 + 1
z2
/4)(z2 + 9)
dz (h)
i
z
z z
zei z ei
(i)
i --dz
c z2 +4
(j)
i --dz
c z4 + 7r
i�dz
eiz
(k)
cz -
(l)
i
c z4 + 2
7r dz.
4. Integre a func;ao
5+3z
f(z) =
-z3 +4z
(a ) lz + lj=4 ,
(b) jz + 2 + ij=8,
(c) 9x2+y2=9.
116
5. Calcule as integrais, onde Ce um contorno simples e fechado, orientado no sentido
anti-horario ta! que todas as singularidades se encontram na regiao interior a C.
iz
(a) ic dz
4z2 - 1
(b) ' ic zez4+1
-- dz
senhz zcoshnz
( c) ic 2z+i
dz (d ) ic z4 - 13z2 +36
dz
senhz
i z
(e) i 0z(z-i/4)
dz (!)
-
0z+l
dz
i e
u
--dz
i coshz
(g) (h) dz
0z+i . c z2 +i
n
dz e
(i ) i0 z(z-l)
(j) ic z
.
dz
(a) ic z4 - 2z3
(b) i tgnzdz
( z - 2) 2 zcoshnz
( c) ic z2 + 5z+6
dz (d) ic z3 + 5z2 +6z
dz
dz e
(e ) ic (z+ 3)(z+ 2)(z+1/2)
(!) i C
--
COS 7rZ
dz
(g) ic sen z
dz (h)
i /
e(z+i)1T 2
dz
z c sen nz
z
ei
(i ) ic -dz
z
(j) i coshz
c z3 +3iz2
dz
.
7. Calcule a integral
[ (�)
sen dz
8. Calcule a integral
r dz
Jc 1 +z4
onde Ce a circunferencia de equai;ao x2 + y2 = 2x, orientada no sentido positivo.
117
9. Considerando o mesmo contorno do exercicio anterior, calcule a integral
L sen2 ( �) dz.
10. Utilize o lema de Jordan para mostrar quc as integrais
dz
) r b) r dz
Jen
a
(z 2 + 1)3 Jen z4 + 1
vao a zero para R --> oo. Aqui Cn e uma semi-circunferencia de raio R, centrada na
origcm c no semi-plano superior, orientada no scntido anti-horario.
118
Capitulo 6
Aplica<;oes
Este capitulo esta dividido em cinco se�oes de aplica�oes da teoria <las fun�oes
analiticas, que estudamos nos capitulos anteriores, a saber: calculo de integrais
reais, transformadas de Fourier, transformadas de Laplace, transforma�oes con
formes e prolongamento analitico.
Como ja enfatizamos, uma <las ut.ilidades do uso da t.eoria <las func;oes analit.icas
e permitir em muitos casos 0 calculo de varias integrais reais, usando-sc convc
nient.emente o t.eorema dos residuos. Uma outra grande vantagcm e poder estu
dar problemas envolvendo a equa�ao de Laplace bidimensional atraves <las t.rans
forma�oes conformes.
Na solu�ao de equa�oes diferenciais ordinarias ou parciais onde se utiliza o
metodo <las t.ransformadas int.egrais, dent.re elas, em particular' as t.ransformadas
de Fourier OU Laplace, e indispensavel que saibamos calcular a t.ransformada in
versa. Ilustramos o proccdiment.o cstudando alguns problcrnas simples, nms bas
tante gerais que permitem ao leitor acostumar-se com a escolha de caminhos con
venientes para o calculo de transformadas inversas de Fourier e de Laplace.
Discutimos tambem o conceito de superficies de Riemann e a tecnica fun
damental de prolongamento analitico, ( ou continua�iio analitica ) de uma fun�ao
analitica.
Diferentemente dos cinco capitulos precedentes, nao apresentamos questoes
propostas ao inicio de cada se�iio. Ainda mais, os exercicios propostos aparecem
ao final de cada se�ao ao inves de ao final do capit.ulo.
119
volvendo a fun�iio de Bessel (1184 - Friederich Wilhelm Bessel - 1846) de ordem
zero (ver Se�iio 6.1.10), vista que esta integral, em particular, pode ser conduzida
a uma outra previamente discutida, conforme Se�ao 6.1.5.
Resolva a integral
100 senx d
x.
0
--
oo iz
e d
J-oo - z,
z
roe sen zd ,
2 z
}0 z
que e, a menos do fator 2, exatamente a integral desejada. Ora, como, agora, temos
uma integral de -oo a +oo e conveniente tormarmos um contorno C, composto
de duas semicircunferencias C1 e C2 centradas na origem e com raios, respecti
vamente, iguais a E e R e dais segmentos de reta, conforme a Figura 6.1 e dai
consideramos OS limites para E -t 0 e R -t 00. Notamos que 0 calculo da integral
z
real poderia ser obtido com a escolha da fun�ao complexa e-i / z e com um con
torno diferindo daquele indicado na Figura 6.1, pelo fato de as semicircunferencias
C1 e C2 encontrarem-se no semi-plano complexo Im z < 0. 0 estudante deve veri
ficar que ainda neste caso obtem-se o mesmo resultado para a integral real que no
caso anterior.
Entiio, de posse da fun�ao e do contorno convenientemcntc escolhidos vemos
que nenhuma singularidade encontra-se dentro do contorno. Portanto, o teorema
dos residuos fornece
iz
J e dz= 0,
le z
onde a integra�iio e feita no sentido anti-horario. Entao, podemos escrever, per
correndo o contorno no sentido positivo,
1-E e d ix 1 0iz R ix
e d 1 iz
e d
J
d
- x+ - z+ - x+ - z= 0.
-R x C1 z E
x C2 z
Nota-se que a primeira e a terceira integrais tern a parte imaginaria nula ou seja
z = x + iO = x. Calculemos, separadamente, as integrais sobre C1 e C2 com E -t 0
e R-t oo.
120
y
- R -E R x
eiz
Para a integral r dz vamos escrever z na forma polar' OU seja, tomar
lei z
z= E ei9 com 0 < () < 7r. Logo, temos dz= Ei ei9 d(), de onde
10
e tomando o limite para E -> 0 temos
0 1
€->
eiz
lim -dz= i d() = -i7r.
C1 Z
C2,
7l'
171'/2 - s
e,
ll2
e-RsenO d() = 2Rc(R) e
R en O d()
que vai para zero nos limites de R-> oo e c(R) -> 0, logo
lo eix
- 1a= -. eix
. -oo -dx
x
i7r +
• . Jl x
dx = 0 .
12 1
2isen x = eix - e-ix temos
100 -- X=7r,
Lembrando da relru;iio
sen x
d
-oo
x
e uma vez que o integrando e uma func;iio par e os limites de integra�ao sao
[00
simetricos temos, finalmente,
sen
x dx
x �
2,
=
}0
que e 0 resultado desejado.
Resolva a integral
100 °' x
.
--dx
- 1
0 l+.x
com 0 <a< 1.
Vamos considerar a seguinte integral
i --
z°'-l
dz
cl+z
i
zn -
___
1
dz =27ri Res
z=-1
( z n-
___
1 +Z
1
) =27ri(-1)°'-1 = 27riei7r(n-l) .
. c 1 + Z
z°'-
1 R x°'-l
1 -- za-
l
i£ --dz =
. c Z +1 J, --dx +
1 +x c2 z +
1
dz+
1( 2
xe 7ri r -l
1 z°'-l
27ri ei7r (a-l )
+
R 1 + X
dx + --dz ' =
c1 1 + Z
A segunda integral, pelo lema de Jordan, vai a zero quando R ---t oo. A integral·
sobre C1 e calculada escrevendo-se
122
y
logo
1 z°'-1 1o(EciO)a-1EieiO
--dz = d(} = 0
Ci 1 + Z 27r 1 + E et0
ou ainda
[ 1 - e27ri(a-1)] r= ;r;°'-1 a- l )
dx = 27r i e i 7r (
lo 1 +x
.
e-i7r(n-l) tcmos
Multiplicando-se ambos os membros da expressao anterior por
roo x°'-1
dx
-11"
=
lo 1 + x sen[7r(a - 1 )]'
123
6.1.3 Polo de ordem tres e ponto de ramifica<_;ao
Resolva. a integral
100
0
-- x ln
---=-dx.
(1 + x)3
Aqui tambem as singularidades sao em x = 0 e x = -1. Vamos considerar
o mesmo contorno u tilizado no calculo da integral anterior, com a func;ao a ser
integrada dada por
z°'
f(z) =
(1 +z)3
com -1 < o: < 0. Percorrendo o contorno e utilizando o teorema dos resfduos
temos
J _z
_°'_
fc(l+z)3
dz = 1R x°'
(l+x)3
+ J dz+
fc2 ( 1 +z)3
z°' .
1€
€
(x e2irr)°'
+ dx +
z°'
i
dz = 27ri Res [ z°' ] .
R (1 +X)3 c1 (1 +Z )3 z=-1 (1 + z)3
(1 - e2
rria) . 100 x°'
dx = Res
z°'
3
[ ].
o (1 +X)3 z=-1 (1 +z )
Res
[ z°' ] 1 d2
- lim - (1 +z)3
[ z°'
] 1
-o: o: (
.
- 1) em°'
(1 +z)3 2! z--+-1dz2 (1 +z)3
=
2
=
z=-1
124
6.1.4 Polos simples e ponto de ramifica<;ao
Resolva a integral
1(X) x�C<+-1b2dx
0
z°'-1
z
f( ) = z2 + b2
= 27ri Re_s
[ �C<-1 ]
z=ib Z + b2
00 xa-1 7f
b°'-2
1
0
--- dx=----
x2 + b 2 · 2 sen 71"2°' ·
{ 2 11" d()
__ _
-
.
J0 ../2 - cos ()
Para cste tipo de integral, notando quc o denominador nao se anula, efetuamos
primeiramente a seguinte substituic;ao:
125
de ondc podemos escrever
1 (
) -21 z + -z1 )
2(
·o ·o
cos(} = - et + e -i =
onde o parametro (} varia de 0 ate 27r, uma vez que a variavel z corresponde a uma
circunferencia de raio unitario e orientada no sentido anti-horario. Temos, entiio
J2 �2 (z + �) re (z J2- l)(z J2 + 1)
Jre dz/iz J 2i dz
- - -
-
z .
�
de ondc concluimos quc o integrando tern dais polos si J2+ ples, um cm z = 1 que
se cncontra fora da circunferencia unitaria, 0 qual nao contribui pani a integral, c
o outro polo cm z J2-
= 1 que csta na regiiio interna ao contorno C, cujo residua
e dado por
1
Res
z=v'2-l [ ( J2
z - - l)(z - J2 + 1) ]
Enfim, a integral inicial e dada par ·
{27r d(}
= 27ri ( -;2 ) ( 21 )
- -
lo J2 - cos(}
ou ainda
l27r J2. 0
---==-
d(}
--
- cos ()
= 27!" .
Antes de passarmos para a proxima sec;ao, convem rcssaltar que o procedimento
descrito nesta seGao pode scr estendido para integrais do tipo
I= lo{27r (
F cose,scn(} d(} )
que sc tornam integrais de contorno do tipo
e sen(} = � (� -
).
2i z z
126
6.1.6 Furn_;ao inteira no integrando
oo
j· -x2
Resolva a integral
e cos 2ax dx
- oo
com a> 0.
A func;ao exp ( -z2 ) e inteira isto e, analftica em todo o plano cornplexo. A
integral desta func;ao ao longo do perfmetro do retangulo que tern vertices nos
pontos
-p, p, p+ia, -p+ia
e nula. Consideramos entao:
-p+ia ia p+ ia
-p 0 p x
e, tomando-se o limite
0
p-+
a
oo temos para a primeira das integrais do lado esquerdo
P e-x2 dx = -J'i[.
da expressiio ·anterior
>oo
p- p
lim J-
Por outro lado podemos escrever
a e + t l c_ 2 a 2 l _P2 la t2
I.l -(p i )2 dt = P I.l ct dt e e dt
e-2ipt ::::;
·a e-(p+it)2 dt =
e, por isso, mantendo-se a fixo e tomando-se o limite p-+ oo podemos cscrcvcr
j
p-->oo
lim
0
0
127
e, analogamente, para a quarta integral,
a
p-+oo
lim { e-(-p+it)2 dt = 0.
Jo
Combinando os resultados podemos escrever
ea2 1_: t2
e- (cos 2at + i sen 2at )dt = ../ii.
Identificando-se parte real com parte real e parte imaginaria com parte ima-
ginaria temos
100 2
e-a2 .,fir
-oo e-x cos 2ax d.r =
Resolva a integral
·oo senx
j0 r,;: dx.
yX
p e-x2 dx+ 1
10 i
. r
e-z dz+2
(pe"'/4,0)
. 2
e-z dz=O.
-0
z
jp
c-t2(cosTr/2+i sen jo�
j.(pe"'/4,0)
(�-z2 = Tr/2) dt = 2
dz eiTr/4 -
ciTr/4 e-if, dt =
.
128
y
0 p x
1 +i [P
= (cost2 i sent2)dt.
-
J2 lo -
Entiio, tomando o limite p ----t oo podemos escrever
- J2 lo -
../7f
uma vez que a integral sobre r vai a zero, pelo lema de Jordan. Igualando as
roo
partes reais e os coeficientes das partes imaginarias temos
roo
sent2dt = lo cost2dt
lo
loo ·1 00
logo
1 v17f
cost2dt = sent2dt = _ _!!_
.
. 0 0 2 2
Introduzindo uma mudanc;a de variavel do tipo
t2 = x
obtemos, finalmente
f 00 senx
dx
'� f 00 cosx
d:i; =
v17r.
lo ./X lo ./X 2
Resolva a integral
(00 senx
d:i:.
lo x(l + :i;2)2
loo 100
_00
senx 1 sen x
---- dx- - dx
x(l +x2)2 - 2 x(l + x2)2
. 0 .
·
129
e, como x = 0 e uma singularidade removfvel, vamos considerar a seguinte integral
eiz
J dz
Jc z(l + z2)2
onde o contorno C e composto de duas semicircunferencias C1 e C2 concentricas,
com centros na origem e com raios iguais respectivamente a E e R, c de dais
segmentos de reta coma na Figura 6.5.
'- -
C2
z = i
C1
-R -E +E +R x
+ { eiz
dz 27ri Res [ ciz
.
z( 1 + z 2)2 z(1 + z 2)2
=
}c2 z=i
]
Vamos calcular scparadamente as intcgrais. Para a integral sabre C1 utilizamos
a parametrizac;ao Z = E eiO com 0 < e < 7r, logo
7r
·x
!·oo ci_-- - 7ri ciz
+ .7:2 ) 2 dx 27ri Res
_
_
• _00 .T(l
=
z=i
[ z(l + z2)2
]
d [ eiz 2 ] ( ) 3
= 27ri lim - - (z + i) - = 27ri -- .
z-+i dz z 4c
130
Sabendo que a parte imaginaria da ultima expressao 6 dada por
Im
{1= eix
} ;·= x dx
dx -
sen
-= x(l +x2)2 - -= x(l +x2)2 ·
obtemos o resultado para a nossa integral de partida, ou seja
Calcule a integral
!·= eif3€
H(/3) = dE,
• - CXJ v'E. +i + v'E. +2i
onde /3 e real.
Os argumentos de v'E. +i e v'E. +2i estao entre (0, 7r ) . Quando /3 > 0, H(/3) = 0
enquanto que para /3 < 0 e desejavel racionalizar 0 denominador, isto e,
1 v'm - v'[+-2I
E,+i-(E,+2i)
de onde podemos escrever
1
H ( ) (/3) =
J v'[+2Ieif3€
fr + Jm dE,
l' eif3€
H(/3) + lim dE, 0
Jm + Vf. +2i
=
R-->CXJ. r1(R) .
onde r 1(R) e uma parte do caminho, as vezes chamado de buraco de fechadura,
como na Figura 6.6. Assim,
131
y
-R +R
.:=7Linhas de corte
Figura 6.6: Contorno com linhas de carte, conhecido coma buraco de fechadura.
A segunda integral pode ser simplificada atraves de outra aplica�ao do tcorema <le
Cauchy, isto e, podemos escrever
� -i(2 + µ)
{ eO
e 2,,.i
=
H1 (/3)
=
-i ;·O ef3(2+µ) �dµ
00 i
132
y
H1(/3) = 1a =
e/3(2+µ) e -i7r/4..fii,dµ+ 1a =
e/3(2+µ) e -i7r/4 ..fii,dµ
r4 1a
=
= 2 e-i e/3(2+µ) ..fii,dµ.
Calcule a integral
A(µ, a) = 1a =
eiµx Jo(ax)dx
133
com a e µ reais. Aqui Jo(z) e a chamada furn;iio de Bessel de ordem zero para a
qual vale a seguinte representa<;iio integral3
Jo(z) =
__!__ {2-rr eizsen 0 dB.
27r lo
A(µ, a)
=
__!__ ()() eiµx dx {2-rr eiax sen
o dB.
27r lo lo
Temporariamente, subs titufmos µ por µ + if, com f > 0, invcrtcndo a ordem
de integra<;ao (para f> 0, a mudan<;a e assegurada pela convergencia uniforme em
rclac;ao a B) isto e,
00
A(µ, a)
=
__!__ {27r dB { ei(µ+iHa sen O)x d:r.
27r lo lo
Integrando em x podemos escrever
dB
A(µ ' a ) = __!__ {2-rr .
27r lo
_
i
A(µ, a)=
Jµ -a
2 2
com µ> a> 0.
Calcule a integral
j·oo (}
B(a) a dB
-
=
_00 senh B
B .j Po +iqo + 2k7ri
Bj -po+ i(7r - qo) + 2k7ri
onde Bo = Po + iqo e raiz de senh B -a =
0, para a qual 0 < q0 < 27r.
134
y
i7r - Bo •
-R +R x
z
B1 (a) / dz
.Ir senh z - a
=
onde r e dado pela Figura 6.8. Quando R --> oo, as contribuic;oes dos segmentos
verticais vao a zero e as contribuic;oes dos segmentos horizontais fornecem
1
100
()
d() --.B1 (a).
a 27ri
=
_00 senh() -
B2(a) /
z(z - 27ri) dz,
.Ir -a
=
senh z
Calcule a integral
135
Tomando x + iy = z temos
1 - e2i:z = 1 - (
e-2Y cos 2x+ isen 2x)
que sera real somente se sen 2x=0, isto e, x = br 2 com k E Z, logo os / z serao
tais que 1 - e2Y cos k1r � 0.
Esta desigualdade sera verdadeira se, e somente se, y � 0 e k for inteiro e
par. Portanto o domfnio de f(z) e o plano complexo C, excluindo-se a famflia de •
Imz
iR 1--....-
..
_-.. � K + iR
,.r
::.
- 1[ 0 Rez
y
r ln ( l - e2iz)dz = f0 ln ( l - e-28)ds + t ln l( e2rri-2s)d s
lr liy lo
-
+ !a rr ln l - e2ix)dx +
( 1° (
ln l - e -2y+2ix )dx = 0.
Sendo e-2s = e-2s+2rri a soma das duas primeiras parcelas c zero c, tomando
y -t ()() obtern-se que a ultima parcela tambem c zero, de onde
r ln ( l - e2ix)dx = 0.
lo ·
Simplificando obtemos
136
6.1.13 Dominio multiplamente conexo
J
- 1·1 \!'
-
x(l - x)3
dx.
0 (l+x)3
\!'z(l - z)3
f(z)
=
(l+z)3
(a) No domfnio D, formado pelo plano finito sem o segmento [0,1], o integrando
tern quatro ramos regulares.
arg[z(l - z)3]
e igual a 27r + 3 · 27r = 87r, e assim \!'z(l - z)3) retorna ao seu valor original..
A partir de agora, vamos supor que tenhamos escolhido um particular ramo
regular <la furn;ao polfdroma. Ainda mais, vamos considerar este ramo como sendo
um ramo que admite valores positivos na parte superior (I) do corte. Nos pontos
ao longo de I tcmos arg(z) arg(l - z) 0. Supomos que um ponto z percorra o
=
=
contorno em torno das bordas do corte. Quando z passa em torno do ponto um,
o argumento de z permanece igual a zero porem arg(l - z) = 27r assim, o valor <la
raiz na borda inferior, (II), difere de seu valor no ponto extremo <la borda I, pelo
fator
-i3·2tr/4 -i3tr/2 i
e e
=
/
[ - (� 3 1 )] 1 4 ( bi b2 )
\!'- z4 +3z3 - 3z2 +z =
z 1+ - - -+ - O'.Z 1+ - + - +
z z2 z3 z z2
= · · ·
137
onde a e uma constante de modulo unitario. Assim, numa vizinharn;a do infinito,
temos
f
(z) =
az(l+bi/z+b2/z2+.. ·) 1
= _::._ (l+ c + c2 +... )·
z3(l+3/z+3/z2+l/z3) z2 z z2
Imz
R
I
-1 Rcz
j' = 27riC_1
f,+/, +.fen
1 II
.J II o (l+x)3 .1 (l+x )3
5Lema de Jordan.
138
de onde
= 27fi c
J
1-i -l·
Falta-nos calculaJ" o residuo C_1. 0 ramo escolhido de f(z) tern um polo de ordem
tres em z -1, de onde
]
1 1
C_1 - lim {(1 + z)3f(z)} - lim
dZ Z->-1 d
= =
2 z->-1 2 Z
Para calcular C_1 devemos tomar cuidado devido ao ramo por nos escolhido. Para
este ramo, os argumentos de z e 1 - z em z = -1 sao tomados iguais a 7f e 0,
rcspectivamente, assim que, apos a diferencia<;ao substituimos z por -1 de onde
1 - z = 2. Usando a regra de Leibniz obtemos
3V'2 .
C 1 =
- (1 + i ) .
128
_
= - 27fi 3V'2 3f
J (1 + i) = 7 V'2°
1 -i 128 64 '
de onde obtemos
1
\/x(l - .x)3 37fV'2
1o
----- dx= -- .
(1 + x)3 64
100 (
Calculc a integral
lnx
I= dx.
0 1+ x2)2
Vamos considerar 0 Contorno c analogo ao da Se<;ao 6.1.1, isto e, circundando
a origem uma vez que o integrando e infinito para z = 0. Logo, no interior do
domfnio limitado por este contorno, a fun<;ao
lnz
f(z) = {1 + z2)2
C_1 = lim
Z->t
{ dd [(z - i)2f(z)J } [ dd (
Z
=
Z Z
ln z·
+ '/,)
2
]
z=i
7f +
8
2i
1-t 1 JR 1 = 7f2 7f
+ + + 27riC_1 = -i - -.
-R C1 t C2 . 4 2
139
Pelo lema de Jordan, a integral sobre C2, para R -too, vai a zero, assim como
vai a zero a integral sobre C1, para E -t 0. Entao, tomando estes limites podemos
escrever
lo
-00 (1 +
ln z
z2)2
dz+
100
0 (1
ln z
+ z2)2
dx=
7r2
-4 i -
7r
-2
lo ----
ln z
dz= l-o ln(-z)
dz+ i7r
lo dz
-+-1---
oo (1 + z2)2 (1 + z2)2 (1 + z2)2
oo
- - oo
roo ln x
dx+ i7l' roo dx
=
lo (1 + x2)2 lo (1 + x2)2
de onde, igualando parte real com parte real e parte imaginaria com parte ima
ginaria, podemos escrever
roo dx
=
1
roo ln x
dx �
2
-
- lo (1 + x2)2 lo (1 + x2)2
=
4 ·
6.1.15 Exercicios
1. j•OO l+x
0
dX
2
8.
oo x
J-oo x2 + dx --
4
2' 100
' dx
o 1 +x3
--
> > 0
l_oo00 x4 +x25x2+ dx
· -
oo l)(x4+1)
7rX
4.
4 dx
5.
{2" __ de
1o 25 24 cose
_
-
_
_
6. 12" dO �
13.
100 lnx dx
ii - sen e (l+x)2
u
7 ["
' lo k +case
dO
com k > 1 14 .loo �dx.
1+x2
. o
140
00 lnx
15. 1 dx com b > 0 18. fo00 cosx xµ-1dx com
0 x2 + b2
0<µ<1
00 x-I/4 00
16. 1 --dx 19. fo senx xµ-1dx com 0<µ<1
0 l+x
/00 d
20.
loo e"'x·
--dx com
17. l JX(l
0<a<1
o
: x)3
-
co 1 +ex
23. Utilize o teorema dos residuos para mostrar os seguintes resultados: [6]
1 lnx dx -rr2 1 2
1 = (b) 1 �dx=_7f
(a)
0 1 x+ 12 0 1 - x2 8
1 xlnx dx rr2 1 Inx - 2
(c) 1 - (d) 1 dx= 7f .
=
0 1 - x2 24 0 1- x 6
[1
lo
( 1 )P
x
-x (x
dx
+ a)2
rrp ap
-I
1 zl-P(l z)P -
dz
c (l+z)3
onde Ceo contorno como na figura da S�ao 6.1.13 o qua! limita um dominio duplamente
concxo. Tome R ---+ oo.
f11n (.!. -
lo x
x) ___:!:!_
1 +x2
= �In 2.
4
Tome um contorno evitando os pontos = ±1 e z z 0 e fechando o circuito com uma
=
semicircunferencia de raio R. Tome R indo para infinito e considere a parte real da integral.
141
Imz
+i
0 Rcz
- i (
onde o contorno Ce como na Figura 6.11 com r pequeno, tendendo a zero. Ao calcular a
integral em y separe-a em duas integrais do tipo Euler (furn;ocs beta e gama; vcr Apendicc
B) c utilize os scguintes resultados:
( f(p)f(q) 7r
=
=
o aP
com a > 0 e 0 < p < 1.
100 x
p-I
sen ax x
d
=
f(p) sen(7rp/2)
------
o aP
impondo as nccessarias restric;oes para os paramctros p e a.
142
Imz
0 Rez
Imz
11:i
2
-R 0 +R Rez
{00 cosh ax dx =
. 1/2
}0 cosh 7rX cos ( a/2) ·
para -R:::; Rez:::; Re 0:::; Imz:::; 1ondece0 Contorno como na Figura 6.13.
com k = 0, 1, 2, . ..
143
6.2 Transformada de Fourier
Entre as varias tecnicas para encontrar-se a solur;ao de uma dada equar;ao difer
encial ordinaria OU parcial, destaca-se 0 metodo da transformada de Fourier ( 1168
Jean-Baptiste Joseph Fourier - 1830). Este consiste basicamente6 em trans
formar a equar;ao diferencial (ordinaria ou parcial) dada _9ll uma outra cquar;ao
diferencial (ou mesmo algebrica ) , em principio mais simples que a equar;ao inicial.
Resolvida a equar;ao transformada, inverte-se o processo, calculando a chamada
transforrriada inversa para s� obter a solur;ao da equar;ao de partida. Eno calculo
da transformada inversa que ocorrem integrais que sao convenientcrnente calcu
ladas usando-se adequadamente o teorema dos residuos.
Nesta ser;ao, definimos a transformada de Fourier de uma dada funr;ao c a sua
inversa, e mostramos tambem como calcular a transforrnada de Fourier da derivada
de uma dada funr;ao. Ainda mais, recordamos em que condir;oes as formulas in
troduzidas encontram-se bem definidas. De posse destes resultados investigamos
as solur;oes de algumas equar;oes diferenciais ordinarias simples que nao envolvem
funr;oes especiais, mas que sao suficientemente gerais para ilustrar como sc utiliza
0 metodo.7
loo 1= f(v) .
1 ( v -x )
f(x) = - eiw dvdw.
27!' . -()() - ()()
Escrevendo a funr;ao exponencial que aparece nest.a expressao como urn produto
de duas exponenciais podemos escrever8
-
f(x) = --
1 1=-oo { 1 1=-00
yf'Fff
--
yf'Fff .
f(v) eiwv dv
. } . e iwx dw.
6
Ver, por exemplo, refs. [3, 4].
70 leitor interessado em aplica<;oes mais especificas pode consultar as refs. [4, 14].
80ptamos por utilizar as expressoes simetrizadas no fator de V2-if. Poderfamos, em vez disso,
tomar a transformada direta sem esse fator, definindo sua inversa com o fator 27r, ou vice-versa.
9Tambem aqui poderfamos ter escolhido o sinal de menos para o expoente na formula da
transformada. Se tivessemos feito isso, precisarfamos utilizar o sinal de mais para a transformada
inversa.
144
Com isto temos que
J(x) = -
1 loo F(w) .w e -i x du;
../2ii. - 00
Teorema 1. Seja f(x) continua sabre o eixo x e J(x) --+ 0 quando i:rl --+ oo.
F[f'(x)] = iwF[f(x)].
Demonstrar;iio. Integrando por partes e usando o fato de que f(x) --+ 0 quando
lxl --+ oo obtemos
loo= f(x)
-co
_1_ { f(x) w
e-i x 1�= - (-iw) e-iwx dx }
../2ii -
iwF[f(x)].
Para a derivada segunda temos
F[f"(x)] = iwF[J'(x)] =
(iw)2F[f(x)]
ou ainda
F[J"(x)] = -w2F[f(x)]
e, analogamente, para ordens mais altas da derivada. D
10
Uma equa<;ao analoga e obtida quando do estudo do circuito RLC. Ver refs. [2, 4].
145
com x : � ::J I --t �' onde f(t) = g(t)/m e g : � ::J I --t �' sendo m a massa,
2a > 0 o coeficiente de amortecimento e wo a freqiiencia.
onde
v12i
; - 00
e
i
dw,
onde
A(w) = !7L
1
Joo x(t) eiwt dt.
y 27r - oo
F(w)
A(w)
(w8 - w2) - 2awi .
=
Ora, conhecida a func;ao A(w), a soluc;ao do problema sera obtida pela trans
formada de Fourier inversa, ou seja
x(t)
1
l oo F(w) e-iwt
,.d,w.
= --
v1'2i. ( _ 00
2
Wo - w2) - 2awi
Esta integral, na maioria dos casos, pode ser calculada utilizando o teorema
dos residuos. Para tanto e necessario que conhec;amos OS zeros do denominador,
uma vez que eles dariio origem aos polos do integrando.
Com a > 0 os polos estiio no semiplano inferior, localizados nos seguintes
pontos:
w1,2 = ±Jw6- &2 - ai se WQ > O'.
Basta, portanto, calcular os residuos nos polos simples (dois primeiros casos)
e polo de segunda ordem (terceiro caso ) .
146
Para fazermos uso do teorema dos resfduos especificamente, vamos considerar
um exemplo onde supomos f(x) dada na seguinte forma
f(t) = { �o se
se
ltl
ltl �
< T
T
onde .fo c uma constante e que wo > a, isto e, o caso do oscilador fracamente
amortecido.
A transformada de Fourier de f(t) e dada por
F(w)
_j!}_ ;·T eiwt
dt .fo � senwT
y; W
= =
� - T
t
x(t) -
Jo 1= sen WT e-iw
dw
oo w(w - w1)(w -w2)
= -
7r -
2
sendo w1 = /3 - ai e w2 = -/3 - ai com /3 = Jw5 - a .
As unicas singularidades do integrando sao aquelas em que w = W1 e w = W2.
Para escolhermos um contorno conveniente, vamos verificar se a integral e lirnitada.
Para tal escrevemos
senwT =
;( i
eiwT -e
_:_?wt)
senwT
--- e -iwt
w
c limitada no semiplano inferior e o contorno pode ser fechado por baixo, corno
mostra a Figura 6.14.
Utilizando o teorema dos resfduos, temos
t> T
pode ser escrito em termos de func;oes reais ( ver Ex. 3 desta sec;ao).
Para t < -T o contorno pode ser fechado por cima e a integral e zero visto
que, antes da ac;ao de �a forc;a externa o oscilador harmonica esta em estado
de repouso. Finalrnente, vamos estudar o caso em que ltl < T. E conveniente
separar a integral de x(t) em duas partes a partir <la expansao do seno em termos
<las cxponenciais, isto c: A partc contendo exp[-iw(t + T)] pode ser calculada
147
Imw
Rew
Imw Imw
- -- -
'
/ '
/ \
I
\
I
I
1 Re41 Rew
' /
- - -- -
Jo 1 e-iw(t-r) Jo 1 e-iw(t+r)
x(t) = -- dw+- dw.
27ri c1 w(w - w1)(w - wz) 27ri c2 w(w - w1)(w - w2)
148
6.2.3 Exercicios
x(t)
Jo
w5
[
cos{J(t -T ) + � sen{J(t -T)
{3
] e-a(t-r) -
x(t) = f� - f�
Wo Wo
[
cos{J(t + T) -f _
{J
a
sen tJ(t + T ) ] e-a(t+r).
7. Analogamente ao exercfcio anterior, mas para o caso criticam ente amortecido, ou seja,
wo =a.
8. Resolva o problema do oscilador harmonico amortecido para uma forc;a externa dada
por
sen>..t
( )=
gt
-- ,
t
com >.. >0, supondo que o deslocamento do oscilador se anula quando t = ±oo.
149
10. Resolva explicitamente o exercicio anterior para
f(t)
=
{ Jo se ltl < T
0 se ltl> T
com R = L =
C = 1.
1 d ;·00 ek'r
dk
I
G(T) =
- 1rr dr _00 k'2 - k2 ·
j(x) =
(a2 + x2)-1 com a> 0.
100 COS WX
d X=
7r
- C
-wa
0 a2 + x2 2a
' oo
J(x) {2 / F.,(w) scnwx dw .
y;
=
Jo
12
Vcr, por exemplo, ref. [4].
150
17. Mostre que se f(x) e uma func;ao par, entao
Fc(w) = If 1= f(x)coswxdx,
19. Obtenha a transformada de Fourier em senos da func;ao f(x) = cxp(-x) com x > 0,
a fim de mostrar que
x sen kx
0
1=x2 + 1
dx
7r
-exp( - k)
2
_
para k > 0.
151
6.3.1 Transformada de Laplace ea formula de inversao
h
/00 e-st j(t)dt = f' N e
h
- st j(t)dt + {oo
jN
e st
- j(t)dt
como f(t) e seccionalmentc continua em todo intervalo finito 0 :::;; t :::;; N, a primeira
integral a direita existe. Tambem a segunda integral a direita existe visto quc j(t)
e de ordem exponencial 'Y para t > N. Entiio, em tal caso temos para a segunda
integral
loo
M
:::;; e-st M c'Yt dt = --
. o S-"f
.C[J'(t)J =
s.C [f(t)J - f(O).
Demonstra<;iio. Vamos considerar somente o caso em que f'(t) e continua para todo
t 2'. 0. Entiio, pela defini�ao da transformada e integrando por partcs podernos
escrever13
.C[J'(t)J =
100 e st
- J'(t)dt =
[e - st f(t)dt]0 + s fo00 e-st f(t)dt
152
logo
.C[.f'(t)] = s.C[f(t)] - f(O)
c o teorema esta provado. D
f(t)
·
=
{
· �
21rt
entiio
1-y+ioo
.
.c-1[F(s)]
est
=
f(s)ds
f(t) e dada por1fi
t 2::: 0
0
-y-ioo t < 0.
Este resultado, que fornecc um meio direto para obter a transformada inversa, c
conhecido como integral ou formula complexa de inversao. A integrac;iio e efetuada
ao longo de uma reta s = 'Y no plano complexo, onde s = x + 'iy. 0 n{unero real
'Ye escolhido de modo que s = 'Y esteja a direita de todas as singularidades, scndo
de resto arbitrario.
Na pratica, essa integTal e calculada considerando-se a integral de Contorno
� J est F(s)ds,
27ri le
onde o contorno C, chamado contorno de Bromwich (1875 - Thomas John Janson
Bromwich - 1929) e como mostrado na Figura 6.16, composto da linha AB e
do arco BJ K LA de uma circunferencia de raio R com centro na origem, onde
T = JR2 - "f2.
Supondo que todas as singularidades de f(s) siio polos e que cstiio a csquerda
da reta s = 'Y para alguma constante "f, e que, alem disso, a integral ao rcdor do
area BJ K LA tende a zero quando R--+ oo temos, pclo tcorema dos resfduos, que
153
Ims
J B
1+iT
I
RI
K
0 Res
1-iT
A
L
Encontre uma solm;ao da equac_;ao diferencial satisfeita pela func_;ao real .7: : � :=:>
1��,
d2
x(t) + 4x(t) = 2,
dt2
que satisfac_;a as condic_;oes x(O) = 0 e ftx(t)lt=O = 0, utilizando a transformada de
Laplace.
Transformando a equac_;ao diferencial e utilizando as propriedades <las derivadas
temos, com F(s) = .C[x(t)],
2
F(s) = '
s(s2 + 4)
onde s e o pararrietro da transformada de Laplace.
Devemos, agora, calcular a transformada inversa, ou seja
x(t) =-
1
. 1-y+ioo est 2 ds
27ri -y-ioo s(s2 + 4)
onde o contorno e aquele de Bromwich com "f > 0 uma vez que os polos s = 0 e
s = ±2i encontram-se a esquerda de T Utilizando o teorema dos resfduos temos
t
es
t est
[ 2 s e
[ 2 [ 2
x(t) =Res +Res + Res
s=O s(s 2 4) ] s=2i s(s2 4 ] s=-2i s(s2 4) ]
+ + +
154
Imz
D
B
iT
i"t+
R I
I
Rez
1-iT
A
N
1 cos 2t 2
x(t) = 2- - - =
sen t. ·
1:,-l
[ JSe a
-
--
s ]
com a> 0. Utilizando o contorno de Bromwich modificado vamos mostrar que
[,
_1 [e-aJS]
s
=
-
.
J(t)
_
- 1
_
]:_ 1= e-xt sen aft;
d.7:.
7r o :r
1 i"+i= cst-aJS
J(t) =
-. ds
27ri ')'-i= s
16Vcr, por exemplo, ref. [9]
155
onde 0 Contorno e aquele de Bromwich modificado vista que s= 0 e um ponto de
ramificai;ao do integrando. Entao, percorrendo o caminho podemos cscrcvcr
-
1 i" est-a./S
ds= -
11 est-a./S
ds+
J,
-
l
ds
est-a./S
;,·
s 21Ti
J,
2·wi C 21Ti AB S BDE S
1 est-a.jS 1 est-afa
+ - ds+- d.c;
1 ;,· --- ds=O
21Ti EH s 21T·i lf.JK s
1 est-afa 1 est-avs
+ 21Ti - ds+ -
KL S 21Ti LNA s
sendo a ultima igualdade justificada pelo teorema de Cauchy, vista que a unica
singularidade do integrando encontra-se fora do contorno.
Pelo lema de Jordan as integrais ao longo dos areas EDE e LN A vao a zero,
de onde segue que
27ri ')'-ioo
.
f ( t) = hm -. ds = -. ds
21Ti s
}
R--+oo AB S
{r
€--+0
1 e
st-
a.jS est-aft est-aft
= - __
lim ds + r ds+ r ds .
27l"i �=:{) }EH S }H.JK S }KL S
Calculemos separadamente as tres integrais . Primeiramente, ao longo do seg
mento EH temos
com s variando de -Rate -E, o que implica que x vai de Rate E. Entao, temos
J,' e'�t-a fa
--- ds =
1-( e'�t-a.fi
ds=
1( e-xt-ia.jX .
d.7.:.
EH s -R s R X
. KL
---
S
ds =
. -( s
ds=
J( X
dx.
ds= Ei ei8 dB
156
logo
est-aft
ds
1-'lf e£
eiO t-a.,j{ e;o 12 ·o
i 1-'lf
7r E
f(t) =
1
lim
{ ££ - e xt -ia.jX
dx +
f R e-xt+ia.,/X
dx+
27ri �=O
- -.
£ X
}.
R
.'E
•
1-'lf
.
.,j{ iO /2
+i e£ eiO t-a e dB
Tomando-se os limites R -+ oo e E -+ 0
1=
l-'lf dB } ,
1 {10 e-xt-ia.jX e-xt+ia.jX
f(t) = dx+ dx+i
2m,
--.
00 x x 7f
0 .
-
�
coshy'Sx +-(y'Sx)2/2
----= 1! + (y'Sx)4/4! + .. .
f. ('i;
. s) -
-
s coshy'S - s[l + (y'S)2/2! + (y'S)4/4! + . ·]
-
'
- .
vernos que s = 0 e urn polo simples. Tambem, temos uma infinidadc de polos
simples quc ocorrern nos pontos que fornccern as rafzcs <la equaGiio
coshvs = 0,
157
isto c, nos pontos
com k = 1, 2, 3, . . . .
Em seguida, para calcularmos a transformada inversa, vamos considerar um
contorno de Bromwich de modo que a linha AB, linha paralela ao eixo y, per
manec;a a direita de todos OS polos (simples) e 0 arco de circunferencia Ck com
centro na origern c raio
ondc rn e um inteiro positivo, o que garante quc o contorno niio passa por nenhum
dos polos.
Entiio podemos cscrever
K -
.
- lim {[ s e
st cosh JSx
s coshJS
]} -
- 1
s--+O
_
.
J - 1lffi {( 8
_
8k )
[ c
st cosh JSx ]} _
-
s--+sk s cosh JS
) )
·
=
1.
im
( s -
s
k 1.
im
( st coshJSx
e
s
.
S--+S k coshJS S-Sk
J-
- lim
( 2JS ) lim
( est
coshJSx )
s--+si., senh JS s--+sk s
ou ainda,
J
2..JSk tsk cosh JSkx
=
e
· senh..JSk Sk
onde Sk =
- (k - �)2 7r2 com k =
1, 2, 3, · · · Simplificando esta expressiio e adi
cionando K e J, bem como tomando o limite m ----> oo, podemos cscrcver para a
transformada inversa
r-l
1.._,
[ coshJSx ] = 1 +
4�
- l
L...., --- C
(- )
k
-(k-l/2)27r2t
COS (k - 1
/)
2 7r:E.
s cosh JS 7r k=l 2k - 1
158
Note-se que para escrever este resultado usamos o fato de que a integral sobre o
arco de circunferencia do contorno de Bromwich vai a zero quando m __, oo.
e,- 1 [ s cosh
1
vs
] = 1 + .± f (-l)k
2k - 1
e- (k- 1 / 2 )2 7l' 2t .
k=l
7r
6.3.5 Exercicios
1. Denote por r a parte da curva do contorno de Bromwich com equai;ao dada por
s = R e0 sendo 0 ::; B ::; 27r, isto e, r e o arco de uma circunferencia de raio R com centro
na origem. Suponha que sobre r temos
M
l/(s)I <
Rk
lim
R---+oo
1r
est f(s)ds = 0.
2. Demonstrc que
.C J"(t)[ ] = s2F(s) - sf(O) - j'(O)
supondo f(t) de ordem exponencial e continua.
n'
4. Prove que .C tn [ ] onde n = 1 ' 2'
sn + l
= --
· · · ·
sent
6. Calcule a transformada de Laplace da funi;ao f(t) = .
_
--
t
7. Calcule .c-
1 [ 1
� . ]
17P6lo simples ems= 0. Ver, por exemplo, ref. [4].
159
8. Calcule c-1 [e-avs ] com a> 0.
12. Uma travc fixa nos cxtremos x = 0 e x = 1 suporta uma carga uniformc P0 por
unidade de comprimento. Encontre a deflexao num ponto qualquer, ou seja, resolva o
seguinte problema:
d4 Po
y(x) = 0 < x < 1,
dx4 EI'
com y(O) = y"(O) = 0 e y(l) = y"(l) = 0, onde Po, Ee I sao corn;tantes positivas.
d2 d
2 Q(t) + 8 Q(t) + 25Q(t) = 150,
dt dt
com Q(O) = 0 e 1(0) = 0. Lembre-se que I(t) = -/f;,Q(t).
d2 d
t x(t) + 2 x(t) + tx(t) = O
dt2 dt
com x(O) = 1 e x(7r ) = 0, utilizando a transformada de Laplace.
15. Utilize a transformada de Laplace para encontrar uma solu<;ao da seguinte equac;ao
d2
x(t) - x(t) = e-t
dt2
satisfazendo as condi<;6es iniciais x(O) = x'(O) = 0.
/·00 1 - cosxtdt = n
x
t2
-
. 0 2
1 - c-'x/c
T(x,s) =
s(s2 +w2)
{
onde c> 0, para mostrar que
160
18. (Teorema da Convolm;ao) Prove que: se
entao
£ 1 [ s
(s2 +w2)2
]
onde w2 > 0. Utilize a integral complexa para verificar o resultado.
20. Chama-se equa<;ao integral de Volterra (1860 Vito Volterra 1940) de segunda
especie uma equa<;ao da forma
- -
Resolva esta equa<;ao, utilizando a transformada de Laplace, para F(x) sen x e K(x)
-senhx.
= =
k=l
22. Considere a fun<;ao de Bessel de ordem zero de primeira especie, J0(t), cuja repre
senta<;ao em serie de potencias e dada por
00
(-l)k t 2k
1 () ( )
0t
=
L
k=O
k!k! 2
1
L[Jo(at)]
Ja2 + s2
= ---===:::::;:
23. Utilize a representa<;ao integral para a fun<;ao de Bessel de ordem zero de primeira
especie
1 { 27r
Jo(t) = cos(tcosO) d{}
27r Jo
161
24. Utilize a metodologia da transformada de Laplace para resolver a seguinte equar;iio
integral
F(x, s) � -sx2/2
s2 e .
_
-
u(x, t) = { t--
2
0
x
2
162
6.4.1 Transforma<;oes conformes
f: C �D ___, C,
Defini<_;ao 1. Sejam Ci, C2 E IR2 quaisquer duas curvas planas oricntacla.s quc sc
cruzam num dado ponto P, e seja a o angulo entre as tangentes as curvas no ponto
2
P. Uma transformac;iio f: IR ___, IR2 e dita Conforme se a imagems orientadas Ci =
f(Ci) e C:2 = f(C2) <las curvas C1e C2 sao tais que o angulo entre as suas tangentes
no ponto f(P) e tambem a.
Aqui, o angulo entre as duas curvas orientadas c definido coma sendo o angulo
a, com 0 ::::; a ::::; 7f, entre suas tangentes orientadas no ponto de intersecc;iio, como
ua Figura G.18.
Plano z
Plano w
No que segue, mostramos que uma aplicac;ao f : C �D ---+ C define uma trans
formac;ao conforme, coma acima definida, em todos os pontos z E D ondc f c
analftica, que nao sejam pontos criticos, i.e., que nao sejam zeros de f'. Mais
precisamente, temos o teorema:
163
0 numerador da frac;iio anterior,
rcpresenta uma corda da curva C, conforme a Figura 6.19. Quando tlt 0o --;
ponto z1 se a.proxima do ponto zo ao longo <la curva e (z1 - zo)/ tlt i(to). Isto --;
Curva C
z1 = z(to + b.t)
tangente
i(to)
dw df dz
dt dz dt
de ondc, se .f'(zo) # 0, vemos que w(to) # 0 e C* tern urna unica tangentc cm
w(t0). Agora, o angulo entre o vet.or tangentc w(to) c o cixo u positivo 6 argw(to)
corno segue dirctamentc d_a forrna polar de urn numero cornplexo. Ainda rnais,
desdc que 0 argurnento de um produto 6 igual a soma dos argurnentos dos fatores,
temos
argw(to) = argJ'(O) + argi(t0).
164
que e 0 angulo entre OS dois vetores tangentes a c em zo e C* wo = f(zo); uma vez
que supomos f'(zo) =/=- 0 este angulo esta bem definido. Desde que, da expressiio
anterior, temos que 0 lado direito e independente da escolha de c, segue que este
angulo e independente de C. Segue-se que a transforma<;iio w = .f(z) roda todas
as curvas passando por zo de um mesmo angulo arg[f'(zo)].
C2 )
C1c C2
Concluimos portanto que as imagens Ci = .f(C1) e C5 = f( <las curvas
siio tais que o angulo entre as suas tangentes orientadas no ponto f(zo)
e tambem a. De acordo com a defini<;iio de transforma<;iio Conforme segue que
w = f(z) e conforme em z0. Como z0 e um ponto arbitrario do dominio <le f ta!
que f'(z0) =/=- 0, o teorema esta provado. 0
f'(z) =/=-
Antes de passarmos a discussiio das transforma<;oes fracionarias lineares, vamos
mostrar que a condi<;iio 0 esta relacionada com o Jacobiano associado a
transforma<;iio. Temos, a partir das condi<;oes de Cauchy-Riemann, que
au av ouov
oxoy oyox'
-- - --
isto e,
ox oy
OU O'U
o(u,v)
lf'(z)J2 =
av av o(:r:, y)
ox oy
u u(x, y) v
que 6 o chamado Jacobiano da transforma<;iio w = f(z) escrita na forma real, ou
seja, = e = (
v x, y). Portanto, a condi<;iio f'(zo) =/=- 0 implica que o
.Jacobiano niio se anula em zo.
(1790 - August
Transforma<;oes fracionarias lineares, tambem chamadas transforma<;ocs de Mobius
Ferdinand Mobius - 1868) siio aplica<;oes do tipo
az+ b
w= ---
cz +d
d)2
165
de onde vemos que a restric;ao implica que w' -:/- 0, logo a transformac;ao e conforme
em todo lugar, exceto em z = -d/c.
w=z+b
w= az
az + b
w= ---
cz+d
para convenientes escolhas dos parametros a, b, c e d. Para a rotac;ao, quando Jal = 1,
digamos ei°' onde ae o angulo de rotac;ao. Com a real, temos as chamadas expansocs
para a > 1 c as contrac;oes quando 0 < a < 1.
1
w=
z
c um caso particular <las transformac;oes fracionarias lineares. Escrcvcndo-sc na forma
polar z = r exp (iB) c w = R exp (i¢ ) , temos
1
R c·i¢ =· --
.
r eiO
sobre uma circunferencia unitaria JzJ = 1 e transformado em w = exp (i¢) = exp ( -iB)
sobre a circunferencia JwJ = 1. Geometricamentc e como mostrado na Figura 6.20. Entao,
w = 1/z pode ser obtido geometricamente de z por uma inversao18 na circunfercncia
unitaria seguido por uma refiexao em torno do eixo x.
166
Imz
'
/
'
' �
r{W
I /
'
/
'
\ /
'
0 - Rez
z+z z-z
Azz+B -- +C +D= 0. --
2 2i . '
w+w w-w
A+B--+C +Dww= 0
2 �
ou ainda, cm termos de u e v podemos escrever
A transformac;iio identidade
w=z
tern todos os pontos como pontos fixos. A transformac;iio
w=z
167
tern OS pontos do eixo real como pontos fixos; W= 1 Iz tern dois pontos fixos, isto e,
{ ±1} enquanto que uma rotac;ao tern um ponto fixo, a origcm, e urna transla<;iio
nenhurn ponto no plano.
Entiio, para a transformac;ao fracionaria linear
az+ b
w= ---
cz+ d
a condic;ao de ponto fixo nos leva a seguinte equac;ao quadratica em z, isto e
2
cz -(a - d) z - b =0
Teorema 6. (Tres pontos singulares distintos ) Dados tres pontos distintos z1,
z2 e z3 podemos sempre transforma-los em tres outros pontos distintos w1, w2 e
w3 por uma, e somente uma, transformac;ao fracionaria linear w = f(z). Esta
transformac;ao e dada implicitarnente pela equac;ao
w - w1 w2 -w3
W -W3 W2 -W1
c, se um destes pontos e 0 ponto oo, 0 quociente de duas <lest.as diferenc;as que
contern este ponto deve ser colocado igual a um.
168
aplica w1 cm z1, w2 em z2 e w3 em Z3. Conseqiientemente, a composta H =
g-1[f(z)] aplica cada um dos pontos z1, z2 e z3 neles mesmos, isto 6, existcm trcs
pontos fixos distintos.19
Uma transformac;ao fracionaria linear, diferente da identidade, tern no maximo
dois pontos fixos. Se uma transformac;ao fracionaria linear e conhecida e tern tres
ou mais pontos fixos ela deve ser a identidade. Logo, H deve ser a identidade e,
entao g(z) = f(z), o que completa a prova. D
z+l
w= --- .
2z+4
scra que 6 possivcl descobrirmos para f um conjunto, digamos 9lf (que estcja
relacionado ao corpo dos complexos ) que tornc f uma func;ao mon6droma?
A resposta a qucstiio e sim, c o conjunto 91 apropriado (que e difercntc para
cada particular func;ao .f ) e dito uma superffcie de Riemann.
Tal constrw;iio nao e apenas uma curiosidadc matematica, cla de fato pcr
mite tratarmos o problema da continuidade das furn;oes de variavel cornplcxa de
uma rnaneira bastante satisfat6ria, como ficara claro nos exemplos que sc seguem,
quando cstudamos corno construir as superffcies de Riemann apropriadas para
algumas func;oes polidrornas que aparecem freqiientemente em aplicac;oes.
19Para contemplarmos os casos em que um (ou mais) dos pontos fixos seja o ponto no iufinito
precisamos considerar o piano complexo estendi<lo (modelado pela esfera de Riemann) que foi
introduzido no Capftulo 2. Ver, por exernplo, ref. [l].
169
A func;;ao viz
Recordemos, que a furn;ao
[y']: C -t 2 c,
z� [y'z]
(v < 0).
Alem disso, tanto Ji quanto h sao descontinuas sobrc o semi-eixo real ncgativo.
De fato, considere os pontos z1 e z2 (Figura 6.21) tais que
y v
x u
e
As imagens de z1 e z2 sob a ac;ao da func;ao ramo principal sao:
j. (z ) e-i[(7r-E)/2j .
c 2 2 =
20
Note-se que outras escolhas para o intervalo de varia<;ao de (} sao posslveis.
170
Portanto, se E > 0 e suficientemente pequeno, z1 e z2 encontram-se pr6ximos,
mas suas imagens w1 e w2 estariio muito distantes no plano w. Contudo, temos
quc
h ( z2) = ei[(-7r+27r+E)/2] =
ei[(7r+E)/2]
e continua em zo E D se
lim f (z) =
f(zo) =
wo.
z-+zo
Agora, para nossa particular func;ao [ .JZ] definimos dois ramos Ji e h em regioes
apropriadas de <C. E intuitivo que a continuidade da aplica<;iio z f---7 [Vz] ficara
preservada se ao cruzarmos o semi-eixo real positivo mudarmos do ramo h para
o ramo f2.
Baseado ncsta observac;ao Riemann teve a ideia genial de propor a defini<;iio
de uma func;iio
c como segue: 0 ramo principal aplica a folha de Riemann superior ( com o semi
cixo-imaginario cxcluido ) sabre a regiiio Rew > 0 do plano w.
172
Note tambem que o ramo principal mapeia a linha que liga o segundo quadrante
da folha superior com o terceiro quadrante da folha inferior sabre o semi-eixo
imaginario positivo.
A folha de Riemann inferior (com o semi-eixo real negativo excluido) e aplicada
pclo segundo ramo sabre a regiao Rew < 0 do plano w. Observe tambcm que o
scgundo ramo aplica a linha que liga o segundo quadrante inferior ao tern�iro
quadrante superior sobre o semi-eixo imaginario positivo.
Desta maneira a aplic�ao J: 9'v' -t Ce um-a-um, com z 0 sendo aplicado =
[ ln ] : C { 0}
- -t 21C,
z t-t [lnz] = {Lnz + 2mri}, n E Z.
definida sabre uma superficie de lliemann, 9'1n de infinitas folhas. A func;ao Lnz,
dita ramo principal de [ln] corresponde a restric;ao da aplicac;ao ln a uma dessas
infinitas folhas, mais precisamente aquela na qual o argumento de z varia no inter
valo -7r < e :S: 7r. A folha e cortada ao longo do eixo real negativo e a extremidade
superior do corte e unido a extremidade inferior da pr6xima folha, que corresponde
ao intervalo 7r < e :S: 37r, isto e, a seguinte func;ao w = Ln z + 27ri. Neste sentido,
cada valor de n, na expressao anterior, corresponde a precisamente uma destas
infinitas folhas.
A func_;iio Ln z aplica a folha correspondente em uma faixa horizontal -7r < v :S:
7r no plano w. A pr6xima folha e mapeada na faixa vizinha tal que 7r < v :S: 37r e
assim por diante. A func;ao w(z) = ln z aplica todas as folhas da correspondente
supcrficic de Riemann no plano w, de maneira quc a correspondencia cntrc os
173
n+l
n-1
n-2
F(z) = F*(f(z)).
A razao pela qual este metodo poderoso funciona e muito simples: sob trans
formac;oes conformes, func;oes harmonicas permanecem harmonicas. Mais precisa
rnente, temos o teorcma:
174
c harmonica no dominio D.
bz - 1
onde b e um parametro a ser escolhido convenientemente. Tomemos, sem perda
de generalidade, b = zo, 1. Entao w, como acima definido, aplica o
onde lzol <
ponto zo na origem do plano w, isto e, w 0. =
Imw
21
Note que z = 0 e z = 12/13 sao as raizes da equac;ao Jz - 6/13J = 6/13.
175
Entiio, utilizando a expressiio anterior podemos escrever
-b 12/13 - b 12 - 13ro
ro=- -ro = =
-1 12 b/ 13 - 1 12ro - 13
que fornece uma equac;iio quadratica em ro com solm,;iio ro = 3/2, a qual niio
convem vista que ro < 1, bem como ro = 2/3. Logo, a nossa transformac;iio toma
a forma
3z - 2
w = f(z) = --.
2z -3
Por outro lado, o potencial complexo e escrito como F(z) =a ln z+c. Escrcvcndo
se w no lugar de z tcmos, no plano w, a seguinte cxpressiio
F*(w) =a ln w + c
<I>*(w) =aln(2/3) = V
de onde a= V/ ln(2/3)
.
Temos, cntiio, a soluc;iio desejada no domfnio dado, ou seja
V 3z - 2
F(z) = F* [ f. (z)] =
ln(2/3)
ln
1 2z -3 . 1
Logo, para o potencial real, soluc;iio de nosso problcma, tcmos
176
6.4. 7 Exercicios
2iz - 9
(a) w= z2 e (b) w=
z+ 2i
4. Encontre uma transforma<;ao fracionaria linear para a qual os pontos fixos sao dados
por
(a) -i e i e (b) 0 e 00.
3z+ 4i
Encontre a transforma<;ao mversa para
_ .
5. w= -.--.
iz+ 5
Nos pr6ximos trcs exercicios, encontre a transforma<;ao fracionaria linear que mapeia:
6. i, 0 e 1 em 2+ i, 2 e 3, respectivamente.
7. 1, 0 e -1 em oo, -1 e 0, respectivamente.
10. Determine todos OS pontos para OS quais a transforma<;ao w=cosh z nao e Conforme.
11. Mostre que a superffcie de Riemann de w = ifZ consiste de tres folhas e tern um
ponto de ramifica<;ao de segunda ordem.
12. Determine a localiza<;ao dos pontos de ramifica<;ao e o numcro de folhas das superffcies
de Riemann para as seguintes fun<;6es:
a) w=?lz-1 b) w=)z2+1
c) w= ln(z - a) d) w = v'z3 - z
Nos dois pr6ximos exercicios, encontre uma fun<;ao analitica w = u+iv = f(z) que mapeia:
177
6.5 Continua<_;ao analitica
Recordamos que, dada uma furn;ao continua real de variavel real f: JR =ii _,JR
e, cm geral, possfvel estendermos em infinitas maneiras distintas 0 domfnio de
defini<_;iio da fun<_;iio de maneira a preservar-se a continuidade. Por outro lado,
dada uma fun<_;iio analftica f : <C =iD ____, <C, se desejarmos preservar a analitici
dade, entiio e possfvel estendermos 0 domfnio de defini<_;iio de uma uni ca maneira.
Esta extensiio e di ta continua<_;iio analftica (ou prolongamento analftico ) da fun<_;iio.
A existencia dcssc prolongamento unico significa que dada uma fun<_;iio analftica
definida em um domfnio aberto DC <C, ainda que este aberto seja bem pequeno
( isto e, D c D(zo, R), com R « 1) estamos fornecendo, ainda que implicitamente,
a fun<_;iio analf tica em todos os pontos em que a mesma pode ser definida.
Antes de introduzirmos, atraves de um caso particular, o proccssu de con
tinuac;:iio analftica, vamos recordar os conceitos de zero e de singularidade isolada
de uma dada func;:iio analftica.
Seja j : <C =iD ____, <C. Dizemos que um ponto z = z0 e um zero de ordem n
de uma furn;iio f(z) se f(zo) 0 = e, por outro lado, siio nulas todas as (n - 1)
derivadas de J(z) calculadas em z = zo, mas a n-esima derivada, calculada cm zo
e diferente de zero.
Entiio, se temos um zero de ordem n de J(z) no ponto z zo temos
( )
=
f(zo)
( )
dj
=
...
=
d(n-l) J
O
dz - dz(n-1)
= =
z-zo
z =zo
e
( )
dnj
dzn z =z
o # 0.
Na vizinhanc;a de um zero, que e um ponto regular, a func;:iio f(z) e rcpre
scntavel, como ja vimos, mediante o seu desenvolvimcnto em serie de Taylor. Uma
vez que os n primeiros termos siio nulos, o desenvolvimento em serie de Taylor
contem somente OS termos de ordem ( n + 1) em diante, isto e,
00 00
00
178
e imediato verificar que g(z) representa uma furn;ao analitica e regular na vizin
hanc;a de z = zo e que por outro lado g(zo) i- 0. Na vizinhanc;a de um ponto z = zo
que seja seu zero de ordem n, urna func;ao analitica pode, por isso, ser colocada na
seguinte forma:
f(z) = (z - zotg(z)
sendo g(z) uma func;ao holomorfa22 e nao nula em z = z0.
Desta represcntac;ao fica claro que os zeros de uma furn;ao analftica formam urn
conjunto discreto, sem pontos de acumulac;ao, no interior do dominio de holornorfia
dessa func;ao. De fato, uma vez que g(z) 6 analitica, e por isso continua e diferente
de zero no ponto z = zo, o ponto zo nao pode ser um ponto de acumulac;ao dos
zeros de f(z). Para os zeros de uma furn;ao analftica, no interior do domfnio de
holomorfia, nao existem pontos de acumulac;ao, isto e, tais zeros sao todos isolados.
Se para uma func;ao f(z) um dado ponto z0 e de acumulac;ao de zeros este sera
necessariamente um ponto singular. Se, por outro lado se tern que se um ponto
de acumulac;ao de zeros e um ponto regular de uma func;ao f( z) entao a unica
possibilidade e que essa seja identicamente nula.
Uma conseqiicncia fundamental deste fato 6 quc sc duas func;ocs analftiv:1.s fi (z)
e h(z) coincidem em um conjunto de pontos que tenha urn so ponto de acumulac;ao
interno ao domfnio de regularidade de ambas, elas sao necessariamente identicas.
De fato, o conjunto dos zeros da func;ao fi(z)- h(z) apresenta entao um ponto de
acumulac;ao, mas a func;ao fi(z)- h(z) e regular c por isso deve ser identicamente
nula.
Dizemos que para z = zo, a func;ao f(z) tern um polo de ordem n se o coeficiente
bn da n-esima potencia negativa de (z - zo) e difercntc de zero, mas todos OS
coeficientes das potencias negativas de ordem superior sao todos nulos.
Na vizinhanc;a de um ponto z = zo, que seja um polo de ordem n, a func;ao
f (z) sera representada por uma uma serie que po de ser escrita como
00 00
k=-n k=-n
00
179
Sendo
00
g(z)
f(z) '
(z - zor
=
sendo g(z) uma func;ao analitica regular nao nula para z = z0. Da expressao
anterior concluimos que um polo de ordem n de f(z) e um zero de ordem n para
0 inverso da func;ao, isto e, para 1/ J(z), e vice-versa.23
Vimos que, se denominam polos de uma func;ao as singularidades que corre
spondem a existencia de um numero finito de termos de potencias negativas em
seu desenvolvimento em serie de Laurent.
Por outro lado, se na serie de Laurent de uma func;ao f(z) na vizinhanc;a de um
seu ponto singular isolado z = zo, um numero infinito de coeficientes bk c difon�nt.e
de zero, dizemos que o ponto z = zo c uma singularidade essencial isolada de f(z).
0 estudo <las singularidades essenciais e muito mais dificil do que as singu
laridades isoladas. Por exemplo, temos que na vizinhanc;a de uma singularidade
essencial isolada uma func;ao oscila rapidamente podendo se aproximar de qualquer
valor. Para este caso temos o seguinte teorcma, devido a Weierstrass.
lf(z) - cl < E
k
bk= -.
_
1 .1r·
2m 1
(z - zo) -l J(z)dz
23
Um resultado importante envolvendo os zeros e os polos de uma fun<;iio co chamado principio
do argumento. Ver Apendice C.
24
Em outras palavras o teorema afirma que em qualquer vizinhan<;a de um ponto z = zo que sej a
uma singularidade essencial isolada de uma func;iio J(z), J(z) aproxima qualquer valor pre-fixado,
mas niio necessariamente o atinge.
180
onde podemos escolher o percurso de integrac;iio como sendo uma circunferencia
co de raio r com centro no ponto z = zo. Se supormos quc f(z) seja limitada para
z---+ z0 e utilizando a desigualdade de Darboux25 (1842 - Jean Gaston Darbo'UX
1917) obtemos
1
g(z) =
f(z) - c
csta sera uma func;ao bem definida na vizinhanc;a lz -zol < 'T/, na qual f(z)-c f= 0.
Ora, se f(z) tern uma singularidade essencial para z = zo, entao t.arnbern g(z)
aprcsenta uma singularidade para z = zo. De fato, escrevendo-sc a expressao
anterior na forrna
1
f (z) =
+c
g(z)
ve-se que: Se g(z) fosse regular e g(z) f= 0 para zf(z) seria analftica
= zo, a func;ao
e regular cm z zo. Se g(z) tivesse um zero de ordem n em z zo, f(z) teria um
= =
Mas, entiio, vimos que g( z) niio pode ser limitada para cada z tal que I z-zoI < fJ
e por isso existira pelo menos um valor de z satisfazendo a condic;ao lz - zol < fJ
tal que jg(z)I > l/E, isto e, como
1
g(z) =
f(z) - c
181
6.5.3 Singularidade no infinito
1
¢(£;,) =f(z) = f(
�),
6 facil ver que o ponto z = oo sera um polo de ordern n def (z) se o ponto E;, = 0
for urn polo de ordem n da fun<;;ao ¢(£;,); assim, o ponto z = oo sera urn zero de
ordem n def(z), se E;, = 0 for um zero de ordern n de¢(£;,); ainda mais,f(z) sera
regular em z = oo se ¢(E;,) for regular em E;, = 0 e finalmente, z = oo sera uma
singularidade essencial de f (z) se E;, = 0 e singularidade essencial de 1>( £;,).
00
1
f(z) = '""' zk.
6
- =
1-z
k=O
Esta representa<;;iio e valida somente para lzl < 1 enquanto que a fonc;iiof(z) e
holomorfa em todo o plano complexo exceto no ponto z = 1.
Do exposto segue a necessidade de sc saber como se pode continuar a funr,;ao
analftica para alem do domfnio primitivo, no qual sua representar,;ao encontra-sc
bem definida. 0 criteria geral em que se baseia esta possibilidade e o citado criteria
de continuac;ao analftica.
182
Suponhamos que uma furn;ao analitica .f(z) admita uma certa rcpresentac;ao
Si(z) para z EDi, num domfnio dado no plano complexo C. Em outras palavras,
Suponhamos tambem que uma dada func;ao analitica g(z) admita uma repre
sentac;ao S2(z) para z ED2, isto e,
que converge na reg1ao lzl < 1 e por isso representa uma func;ao analftica f(z).
Indcpen<lcnternent.e do fat.o de que sabemos sornar ou niio a serie, podemos escn�vcr
00
para lzl < l.
183
= f zk!k Jo(''° e-t tkdt.
k=O
A ultima passagem, a troca da integral com o somat6rio, e possivel somente se
a serie resultante e ainda convergente [5], isto e, sera valida somente na regiao de
intersecc;ao entre a regiao de convergencia da integral, Rez < 1 e aquela de con
vergencia da serie. Para obter os coeficientes desta serie em forma cxplicita dcve
mos calcular a integral J000 e-t tkdt. Para tanto procedemos como segue. Levando
em cont.a quc
00k 00
L zk
100
0
e-(1-z)t dt = L ;kl
k=O k. k=O
=
da func;ao f(z) cuja representac;ao como seric L zk s6 tern validade para lzl < l.
. k=O
Um fato digno de nota e o seguinte: Todas nossas considerac;oes acima forarn fcitas
independentemente do conhecimento <las formas explicit.as <las func;oes f(z) e g(z).
Para o caso geral, enviamos o leitor para a ref. [3].
0 procedirnento de continuac;ao analitica acima apresentado, tambcm con
hecido pelo nome de continuac;ao analitica a maneira de Weierstrass fornecc, cm
geral, a possibilidade de estender a definic;ao de uma fu nc;ao analitica, definida ini
cialmente, por meio de uma serie de potencias, s6 no interior da circunfcrencia C0,
para uma regiao mais ampla no piano complexo. Pode, porem, tambem acontecer
que sabre a circunferencia de convergencia da serie original existarn infinitos pontos
singulares dispostos de modo a tornar a continuac;ao analitica impossivel. Dizernos
entiio que a circunfercncia e urna fronteira natural de analiticidade para a fnrn)io
e a regiao interna a circunferencia Co constitui a rcgiao natural de holomorfismo.
184
Consideramos, como um exemplo, a seguinte serie
00
L z2k = 1+ z2 + z4 + zs + ...
k=O
00
L z2k = 1+ z2 + z4 + z6 + ...
k=O
constitui, para lzl < 1 uma majorante convergente enquanto para lzl > 1 e uma
00
minorante divergente para a mesma serie. A Serie L z2k define, para lzl < 1, uma
k=O
furn,:ao analitica f(z), isto e,
Observamos agora que para z -> 1 a serie diverge e por isso o ponto z = 1
e um ponto singular de f(z). Uma vez que a serie e uniforme e absolutarnente
convergente para lzl < 1 podemos reordena-la como
k
f(z) = z2 + f(z2) = z2 + z4 + J(z4) = . . . = L z2n + f(z2'')
n=l
que sao as rafzes de ordem 2k da unidade, para qualquer k. Uma vez que as raizes
k k
2 -esimas da unidade Sao OS vertices de Um poligono regular de 2 !ados, inscrito
numa circunferencia unitaria, temos que todo ponto da circunferencia lzl = 1
e um ponto de acumula<;ao de pontos singulares. Uma continua<;ao analitica c
portanto, neste caso, impossivel; isto e, f (z) nao pode ser prolongada para fora
da circunferencia primitiva da defini<;ao. A circunferencia lzl = 1 representa a
fronteira natural de holomorfismo de f(z).
185
/
I
I
/
I T2
fi(z) =
h(z) para z E F.
Vamos ver que fi(z) e h(z) sao continua<;oes analfticas uma da outra e juntas
definem uma tinica fun<;ao
i f(z)dz = 0
1 f(z)dz = 1 fi(z)dz = 0
!-rcD1 !-rcD1
186
dado que, por hip6tese, .fi(z) e analftica para z c D1. Analogamente concluimos
que
J f(z)dz 0.
hcD2
=
J f(z)dz + J f(z)dz 0.
h1 · �2
=
J f(z)dz 0
.f-r
=
h(z) =
J;(z*) para z ED*
i fi(z)dz = 0.
z = z(t) z ED
27
Note-se que anteriormente tfnhamos definido o complexo conjugado atraves da notac;ao z;
aqui, por conveniencia, estamos denotando o complexo conjugado por z*.
187
D
D*
11t2 fi[z(t)]-ddzt dt = 0.
t
Comecemos por mostrar que a func;ao definida por h(z) = fi(z*)6 analftica
para z ED*. Scja 1* a imagem especular de 1· A sua equac;ao paramctrica scd1
z = z*(t), z ED*.
Temos cntao
J h(z)dz
.f-r .
= ltit2 h[z*(t)] dz*dt dt
= 11t2 fi[z(t)]dzdt* dt {1tit2 fi[z(t)]ddzt dt } *
=
= 0
t
onde a ultima igualdade e justificada por
1t1t2 f1[z(t)J--dzdt dt = 0
fi(z) z ED
f(z) = { h(z) = fi(z*)
para
para z ED*
188
e analftica para zE (DUFUD*).
Des ta expressao tem-se de imediato que f(z) goza da propriedade
f*(z)=f(z*), zEDUFUD*.
De fato, se zE D e por isso z*ED*, podemos escrever
f(z*) = h(z*)=fi(z)=f*(z)
e, vice-versa, se zED* e por isso z*ED tem-se
f(z*) = Ji (z*)=f2 (z)=f*(z ).
6. 5. 6 Rela<;;oes de dispersao
Seja dada uma fun<;ao f(z) analftica em todo o plano complexo z, excetuan
do-se os cortes no eixo real desde - oo ate a e entre b e +oo, sendo a < b. Para
um ponto qualquer z do plano complexo, nao pertencente aos cortes, podemos
cscrcver para f(z) a representru;ao de Cauchy
f(z')
f(z) � J
27ri f-r z - z
dz'
'
=
sendo 'Y uma curva fechada qualquer, simplesmente conexa, toda contida no dominio
de holomorfismo de f(z) e circundando o ponto z. Em particular podemos defor
mar 'Y ate que coincida com a c urva -y', representada na Figura 6.28, para depois
fazer E tender a zero e R ao infinito. Dessa maneira a integral pode ser escrita
explicitamente ( omitindo-se o integrando) como:
fr'
.
,I
H
tendem a zero � IlaO COiltribuem para a integral.
Consideramos agora a integral em 'Y;a). Vemos que esta integral tende a zero
quando E-+ 0, se, para z -+ a, a func;ao f(z) satisfaz a condic;ao de assintoticidade,
189
/ - ,/
/ '
'. .
z I
\
', -�
/
/
ti
0
I
1' R
f ( z ) z--->
a -+A( z - a) 0, A=
---- constante e Rea> -
1 .
ternos que .
1 f(z') d ,
z =
i
.1° f(z') d
E eiO e
-----+
€->a 0
(a)
�.
z' - z 2� a - z + E e2.0
Finalmente, se as condic_;:oes
f(z) 0( 1 ) para z
=
____, oo,
.- b B(z - b)f3
f(z) 2:-'. para a > - 1,
Re fJ
f(z) = �
21n
1= -
g(x)
-z
:c
dx
=
dado que g( z ) = 0 para a<x< b, uma vez que por hip6tese f ( z ) E� regular para
z real entrc a e b e dai J(x + iO) = J(x - 'iO).
Entao, dada uma representac;ao espectral do tipo
g(z')
J(z) = � /' dz'
2nz }-y z' - z
sendo I uma curva simples qualquer no plano complexo, a func;ao f (z) e analitica
no plano z, cortado ao longo de I e g(z) representa sempre a descontinuidade da
func;ao .f (z) atraves do corte.
Considerando-se agora a hip6tese que f(z) seja real para z real compreendido
entre a e b tcrnos, pelo principio de reflexao de Schwarz, que
J(z*) = f*(z)
c por isso, podemos escrever
oo
c, finalmente, obtemos
Im f
(x )
J
f(z) =
.!. dx
7r - ()() x - z
28
Define-se suporte de uma fum;iio espectral a linha ou os segmentos de linha sobre os quais a
furn;ao espectral e diferente de zero.
191
fato, e essencial que ao menos em um intervalo do eixo real tenhamos Imf(z) = 0,
isto e, f(z) e analltica.
A expressao
J(z) = �
7r
1=00 -
Im J(x)
x - z d
x
tambem e valida para func;oes f(z) que apresentam mais pontos de rarnifint<,:iio
sobrc o cixo real, vista que em cada ponto de ramificac;ao csta satisfcita, quanclo
z ----> a, uma condic;ao do tipo
Por exemplo, vamos considerar uma func;ao com quatro pontos de rarnificac;ao
sabre o eixo real,
27rz /
. _ 00 x-z
+ -
1 la3 J(x + iO) - J(x iO) ,. -
d.L
27ri. a2
X - z
- 1=
1 f( x
. + iO) - f ( .r - iO)
+
27r . dx )
Z a4
X - Z
vista que,
e que, alem disso, f(z) e real para z real E ( a1, a2 ) ou z E ( a3, a4 ) . Naturalmente
o suporte de Im f(x) sera constitufdo dos intervalos ( -oo, a1 ) , (a2, a3 ) e (a4, oo ) do
eixo real.
Uma representac;ao do tipo
� {oo Im f(x)
f(z) = dx
7r/ . _00 X - Z
192
teorica como, por exemplo, nas regras de Kramers-Kronig da teoria do fndice de
refra<;iio, em eletrodinamica e na teoria do espalhamento.29
Se, agora, na expressao acima, fazemos z tender ao eixo real por cima, isto e,
considerando Z = X + iE, com E --t Q+, temos
1 1 . = P (-,-1-) + i7rO(x' - x)
X - X - ZE X - X
Ref(x) = !._p
7f
loo I�x f-(x')x dx'.
-oo
Esta expressao e uma rela<;ao de dispersao para a parte real de f (x), que e
obtida a partir do conhecimento da parte imaginaria de f (x).
Finalmente, lembramos que uma representa<_;ao espectral geral pode ser derivada
um numero n de vezes. Assim, se
d!1 n! l oo
(z) Im f(x) dx
dzn J =
7f -oo (x zr+1 .
-
6.5. 7 Exercicios
1. Descreva as singularidades <las fun<iies: (a) sec z e (b) J(z - 3)(z - 5).
sen./Z
fum;ao ./Z . Esta furn;ao
_
3. Discuta as singularidades para as fum;oes (a) elnz ' (b) lnP(z), [P(z)
polinomio]
4. Prove que: Uma func;ao J(z) e analftica para lmz 2:: 0 e real para Imz 0. Uma
continuac;ao analitica de f(z) para Imz < 0 e f*(z*).
=
29
Ver, por exemplo, refs. [15, 17].
30
Esta formula s6 tern sentido seas func;0es forem entendidas como objetos matematicos chama
dos distribuic;oes. Ver, por exemplo, ref. (19].
193
5. Uma furn;iio J(z) e analitica para Re(a*z) 2
uma continua<;iio analftica de J(z) em Re(a*z) <
0
0.
e e real para Re(a*z) = 0. Encontre
6. Uma fun<;iio e analitica para lzl :::; 1 e real para lzl = 1. Mostre que uma continua<;iio
analitica de J(z) para lzl > 1 e f*(a2/z*).
100
2
0
e-t(coshzt +cos zt)dt = --4
1 - z
1,
Re z 1- 8 < e quc a regiiio de analiticidade pode ser estendida a todo o piano
z, exceto z = ± pela expressiio
1
1 -z2 ·
1
'.)<,
12. lVIostre que lzl < e fronteira natural de holomorfismo para a fun<;iio J(z) = L z"!·
k=O
1
13. Mostre que a fun<;iio h(z) + com z -1- ±i e prolongamento analftico da fun<;iio
z2
=
1
fi(z) = L (-l)kz2k para a regiiio alem do interior da circunferencia unitaria lzl = 1.
=O
k
15. Sendo k uma constante real, mostre que o prolongamento analitico da func;iio
194
16. Considere a expressao
Z7r _00 X - Xo x
onde escolhemos o contorno como sendo uma pequena circunfcrencia no semiplano supe
rior. Escreva f em termos das partes real e imaginaria para obter as segui;1te8 relai;oes
17. Considere agora que a parte imaginaria de f e uma funi;ao fmpar de seu argumento,
isto e, Im[f(-x)] = - Im[f(x)]. Use este fato para mostrar a seguintc relai;ao:
. )] � j'00 x Im[f(x)] d
Re[f( x0 - 7r 2 x.
_
0 2 X - Xo
18. Para que rclai;oes de dispersao sejam validas, um pr6-requisito e quc lim RIJ(Re;o)I =
R-->O
0 onde R 6 o raio da semicircunferencia no semiplano superior. Sc f nao satisfaz a cstc pr6-
rcquisito 6 ainda possfvel obter uma relai;ao de dispersao chamada, relai;ao de dispersao
com uma subtrai;ao. [14, 15] Isto pode ser dado introduzindo-se um fator extra de x no
denominador do integrando. Entao, partindo-se da expressao
fai;a: (i ) lguale partes real com real e imaginaria com imaginaria; (ii) Tome x1 0 e
x2 x0 e use o fato que
Im[f(-x)] = - Im[f(x)]
=
Re[f(xo)] Re[f(O)] +
2xa
P
f"00 Im[f(x)] d
x.
lo x(x2 - xa)
=
7r
19. Mo8tra-se que a parte imaginaria da amplitude da onda espalhada com freqiicncia w,
esta relacionada pelo chamado teorema 6tico [14]. com a sei;ao de choque total, atot(w),
para absori;ao de luz, atrav6s da seguinte expressao
w
Im [f(w)J atot(w).
47r
=
Use este fato e o exercfcio anterior para mostrar que a parte (coerente) da luz cspalhada,
isto e, a parte real do fndicc de refrai;ao, e dada por
w
5 p {oo a�ot(w� dw.
27r2
Re[f(wo)] Re[f(O)] +
lo w -Wo
=
195
20. Construa uma furn;ao f(z) satisfazendo as seguintes propriedades:
(a) .f(z) e analftica, exceto para um polo simple8 em z = z0, cujo resfduo 6 R, e uma
linha de corte (0, oo ), onde a furn;ao tern uma descontinuidade
21. E8crcva a forma explfcita da furn;ao f(z) do exercicio anterior para o ca8o particular
cm que z0 = -2, R = 1 c F(x) = (1 + x2)-1.
196
Apendice A
Por outro lado, se o contorno C nao contem zo como ponto interior, o intcgrando
nesta expressao e analitico em C, de modo que a integral vai a zero. Assim,
independenternente de se tratar do caso sirnplesmente ou multiplarnente conexo,
temos
1 / f (z) dz
__
0
.le z - zo
=
27ri
para zo fora de C.
Sc zo esta sabre o contorno C, entao a integral nao existe, uma vez que o
integrando vai para infinito em z = zo. Entretanto, existem varios modos de
interpretar a integral neste caso, isto e, uma interpretac;ao e meramentc um modo
de definir.
Entao, urna maneira de redefinir a integral, para o caso em que z0 csta sabre C,
e calcular a integral para um ponto Zl, dentro OU fora do Contorno, e daf tornar 0
limite quando z1 ___, zo. lsto, naturalmente, fornece .f (zo) ou zero, respectivamente,
logo nao e muito interessante. Um outro modo e utilizar a ideia de valor principal
de uma integral, advinda da teoria de variaveis reais. Aqui isto mrre::;ponde a
cxcluir de C uma porc;ao centrada em zo e de comprimento 2t:, calculando a integral
sabre o restante do contorno C e tomar o resultado quando E ___, 0.
Primeiramente suponha que zo nao e um canto, ( um bico) do Contorno. Entao,
para todo E, podemos considerar um novo contorno C' corno sendo composto de
todo o contorno C exceto por uma 'porc;ao pr6xima a z0 que sera tambem uma
scmicircunferencia (ao menos no limite) dentro da rcgiao de analiticida<lc c ccn
trada em zo, conforme Figura A.l.
197
RegiiiointeriOr a.G
de onde obtemos
-
1 lo f(zo +
.
EeiO)
Ee iO '/,·do - 1 f( ZQ ) .
27ri 2.
---t -
1r EeiO
Denotando por P o valor principal, temos que o resultado, dado pela soma do
valor principal c -l/2f(zo), e igual a zero, isto e,
f(z)
P dz } =� f(zo)
2m z - zo 2
{� ;· c
para zo sobre C.
Enfim, se zo e um canto, circundamos um interior de angulo a radianos, logo o
mesmo procedimento usado anteriormente, mostra quc o fator 1/2 vem substitufdo
por a/27r.
Como exercicio, resolva o seguinte problema: Seja a, dado em radianos, a
abertura de um canto. Mostre que
fz
p {� r ( ) dz } .::..._ f(zo).
27ri le z - z0 271'
=
198
Apendice B
r{z + 1) = zf(z)
k=O
1 Existem outras maneiras de se definir a furn<iio gama como, por exemplo, atraves de uma
produt6ria ou mesmo de um somat6rio. Para uma discussiio da furn;iio gama ver, por exemplo,
ref. [5]
199
Dcmonstra-se que a serie nesta expressao tern por soma uma func;ao quc c analitica
em todo o plano xy, excluidos os pontos z = -k, com k = 0, 1, 2, ... que sao
OS chamados polos <la furn;ao gama. Esta expressao e conhecida pelo nome de
cxpansao de Mittag-Leffler (1846" - Magnus Costa Mittag-Le.ffier - 1927).
Por outro lado, definimos a func;ao beta, denotada por B (p, q), atraves <la
seguinte integral
) f(p)f(q)
B(p, q
f(p + q)
=
B(p, q) = B(q,p).
r(z)f(l - z) =
7f
--.
sen 1fZ
roo
f 1 (1
dx
(c) - x>.)µ-1dx
lo +
(d)
1 x300 lo
com Re(µ) > 0 c A> 0.
200
Apendice C
Principia do argumento
determinada regiao.
Para discutirmos o principio do argumento, vamos mostrar que:
J f'(z) dx.
Jc f(z)
Pelo teorema dos resfduos, a integral e igual a 27fi vezes a soma dos resfduos
nas singularidades dentro de C. 0 res fduo de F(z) = f'(z)/ f(z) em um zero de
1 Em analogia ao caso de uma equac;ao algebrica do scgundo grau que tenha rafzes iguais,
dizemos um zero de ordcm n conta coma n zeros; da mesma forma, com relac;ao aos polos, um
polo de ordem n conta coma n polos.
201
f(z) de ordern n e n, e o resfduo de F( z) em urn polo de f(z) de or<lcm p e -p.
Entiio, se Ne o numero de zeros e Pe o numero de polos de f(z) cm D, a integral
e 2-rri(N - P). Agora, µor integra<.;ao direta temos
f (z)
N - P= -- J: '
1 1
dz= --iB
2-rri le f(z) 2-rri
[mudanc;a no argumento de f(z) ap6s uma volta completa em torno de CJ
2-rr
202
Bibliografia
[6] E. Capelas de Oliveira, Residue Theorem and Related Integrals, Int. J. Math.
Educ. Sci. and Tech., 32, 156-160, (2001).
[10] * E. Goursat, Functions of a Complex Variable, Volume II, Partc um, Dover
Publications, Inc., New York, 1959.
[11] P. Griffiths and J. Harris, Principles of Algebraic Geometry, .John W iley &
Sons, Inc., New York, 1978.
203
[14] J. Mathews and R. L. Walker, Mathematical Methods of Physics, W. A. Ben
jamin, Inc., Menlo Park, California, 1970.
[19] C. Rossetti, Metodi Matematici per la Fisica, Levrotto & Bella, Torino, 1979.
204
Respostas e Sugestoes
Capftulo 1
. . z 3+i
1 - i.. b)
1
1. a) Z1 +Z2 Z1 - z2 -9 +5i. c) Z1Z2 - 14+22i. d) -1
z2 17
= = = = ---
2. a) z = 1 - i. b) z+z = 2. c) z - z = 2 i. d) zz = 2.
4 Y _________ ,3 +4i
3
l+i
- - �
I
I
0 I I
1'I 2 3'
I
4 x
I
-1 - - �
1-i
-2
-3
I
-4 - --------�
4. 3-4i
2 99 (-J3i - 1) .
205
9. a) w0 = '12(cos * + i sen i ) ; w1 = '12(cos 9; + i sen 9; ) . b) wo v'2(cos ;;
. - i sen i"2 ) ;
=
23. Basta elevar ao quadrado e identificar real com real e imaginario com imaginario.
24. Produto= 5.
25. Produto= n.
27. w � ± (J ./3
2
+2
+i J )
2
- .j3
2
206
Capitulo 2
4. a) Continua. b) Nao e continua. Basta tomar OS limites por dois caminhos diferentes
c verificar que sao diferentes.
.
"
5. a) 5 + 2i. b) -18i.
y ER
11. a) z = 0 c z = 1. b) z = -1 e z = -2.
19. Com c1 constante -:/= 0 tcmos circunferencias com ccntro (1/2c1, 0) e raio 1/2/cil
=
enquanto que para c constantc -:/= 0 temos circunferencias com ccntro cm (0, l/2c2) c
2
=
raio l/2h/.
22. v(r, e) = e + k.
207
24. Utilize as propriedades da potencia<;iio e a rela<;iio de Euler.
31. E imediato.
35. arctg(2i) = ± n+
( �) rr + � In 3. Sugestiio: Mostre, primeiramente, quc�
i
arctg z = - In
( -)
i+z
-. .
2 i -z
36. a)
sen 2x
cos 2x + cosh 2y
. b) - ------
2 sen x senh y
cos 2x + cosh 2y
Capitulo 3
1. 2(i - 1)/3.
2. Basta integrar.
4. a) z(t) = (1 + 3 cos t) + i(-2 + 3 sen t). b) z (t) = (1 + 3 cos t) + i(-2 + 2 sen t).
5. 2rri.
6. 2i cos 1 senh 1.
7. -1 + i e.
:IT\
8. a) -(1 + 2i). b) *(5
" + 16i) .
3
10. -2rri.
208
11. 27ri.
12. Qualqucr contorno que niio contcnha cm scu interior os pontos z = 0, z = ±1, .z = ±i
c niio cstcja sobre o pr6prio contorno dado.
17. Zero.
18. 47ri.
20. �(1+4i).
21. Zero.
7ri
22.
2
7r
23.
2
24. -47ri.
26. Zero.
27. Zero.
29. 27ri.
7r 7r
35. a) 2. b) .
16
36. a) Zero. b) Zero. c) �-
209
37 . _27Tc i
38. 7ri.
Capitulo 4
l. a) Zero. b) Um.
2. a) Dois. b) Infinito.
00
3 "! 4 4 ···
5. J(z) = -2 + z + z2 - z· + z -
2 3
z2 z3
6. f(z) = z+ 2 -6 + · · · com -1 < z::; l.
( ) k
{,; kz ' lzl
1 00
7. In = < l.
1 _ z
8. --
1-z
.1
= l+ z + z2 +...
10. Convergente.
0 (2k +2)! 3 5 7
k=O
2c 3e
17. f(z) =
- + ·
(l+z)2 l+z
210
18. Em torno de z = -1 o resfduo e e=base dos logaritmos neperianos c cm torno de
z = 0 e um.
� f k (�) k (z - �) k-
2
19. f(z) = resfduo 2/9.
k=l
( -3 ) (z - 2)k
1� 2 k
f(z) 3 -2/9.
2 ,
= � - res1duo
=O
k .
20. a) z = ±br com k = 1, 2, 3, ... b) Zero.
1 2 1 g:l(I 1 g"t6
23
· 29t - 8� + 16 7 - . . .
24. P(x) � C ( � - :; + · ·· . )
25. a) z = ±ia. Polo simples, a f= 0, caso contrario duplo. b) z = ±ia. Polo duplo, a f= 0,
caso contrario ordem quatro. c) z = -1 e polo simples c z = 0 e ponto de ramifica<;ao.
1 1 1 n 1
1
f(z) =----+-z
n - --z3-n .
+ ···
z +I 2z" 12 720 .
k=O
32. Polo simples.
33. Multiplicar tcrmo a termo as series para cotg z c coth z e dividir por z3.
211
OQ
35. L knz-n-1.
n=ll
37. 2_
z2 z
(� - !._3! + 146!z3 - ) , resfduo igual a -1/6.
· · ·
·
CXJ CXJ
39. a)
00
LG)
k CXJ
-L (;l ) k
Capitulo 5
6. a) -ni/4. b) -4i. c) Zero. d) Zero. c) -8ni/15. f) -Te (l + c). g) Zero. h) -2. i) 2ni.
j) 2ni/9.
7. 2ni.
8. niJ2/2.
9. Zero.
Capitulo 6
Se<;ao 6.1.15
7'
l. rr/2. 7. rr//k2=l k > l. 13. Zero.
Se<;ao 6.2.3
l. --
1 exp[-(a2 + a2)/4µ] cos
2Jli
( a2a )
µ
213
cos kr
12.
r
Se<;ao 6.3.5
b) a/(s2+ a2).
6. arcctg s.
t 1
7. - - cost+ - sent.
2 2
8. � exp(- a2 /4t).
2v 7t
r 3
9.
-et+ e21. .
10. l/v'Kf,.
214
Se<;ao 6.4. 7
3. a) z=0 e z =1 e b) z = ±3i.
4. a) w = (z - 1)/(z + 1) e b) w = z.
6. w = z + 2.
7. w = (z + 1)/(z - 1).
8. w = (z + 3)/(2z - 1).
9. Hiperboles.
14. Primeiramente !eve a regiiio do piano z (regiiio angular) para uma regiiio no semiplano
superior e dcpois por uma transforma<;iio linear obtcnha w = f(z) = iz:i + l.
Se<;ao 6.5. 7
2. Singularidade removfvel.
5. Analogamente ao anterior.
6. Analogamentc ao Ex. 4.
7. Escrcver em termos das rela<;oes de Euler e utilizar o fato que cosh z = cos(iz).
215
10. Introduzir uma mudanc;a de variavel do tipo x = 1/ Vt e escolher um contorno de
modo a deixar a singularidade essencial fora deste contorno.
11. Mostrc que ambas siio representadas pela mesma func;iio. Utilize o teste da raziio e a
s6ric geometrica.
15. Utilize a relac;iio tipo Euler para a func;iio seno e integre de modo a mostrar quc
J(z) =
z/(z2 + k2).
16. Expresse f(x0) e f(x) em termos de suas partes real e imaginaria.
18. Escreva f(x1), f(x2) e f(x) em termos das partes real c imaginaria e identifique-as,
isto 6, real com real e imaginaria com imaginaria.
z . o -
21. J(z)
1 1 [7r z + ln( z)
=
z + 2
-
z2 + 1 2 -
] .
Apendice B
(a)
�r (�) (b) I'(µ)
1
1 299
( c) 300 B ( 300 ' 300 ) (d) ±B (±,µ)
216
,
In dice
217
piano, 4 de prirncira ordcm, 49
potcncial, 176 Derivavcl, func;iio, 83
Comutatividadc, 9 Desigualdadc ML, 71, 95
Conexa, simplcsmente, 189 Dcsigualdades triangulares, 18
Conexidade, 19 Diferenciavel, 30
Conexo Diferencia<;ao, 51
multiplamente, 24 rcgras de, 30
sirnplcsrncntc, 24 Diferenciabiliclacle, 30
subconjunto, 24 Difcrenciais, cquac.;oes, 90
Conforme, transforma<;ao, 119, 162, Dirac, func;ao delta de, 46, 193
163 Dirichlet, condic;oes de, 37
Conjunto Disco, 94, 175
abcrto, 19 aberto, 20
fechado, 19 fechado, 20
Contfrma fura<lo, 20
dcformac;ao, 63 Dispersao
por pcdac;os, 145 rcla<;;iio <le, 192, 195
seccionalmente, 152 relac;oes de, 189
Continuidade, 19, 28, 65 Distributividade, 9
Contorno, 58, 120 Domfnio, 19, 24, 36, 47, 64
condic;oes de, 176 conexo
simples fcchado, 117 duplamente, 68
Contra<lomfnio, 26 nmlt.iplamcntc, G:�, 112, UH
Convcrgencia, 80 sirnplesmente, 62, 63, 65, 67
raio de, 80, 102 fechado e limitado, 86
Convergcnte, seric
absolutamente, 80, 185 Elemento
218
Fechada, curva, 54 func;iio, 37, 49. 174
Fcchado, caminho, 59 Hiperbolica, fnnc;iio, 4��
Fecho, 23 Hiperb6lico
F ixo, ponto, 167, 169 co-seno, 44
Folhas, 173 seno, 44
Forma polar, 1 Holornorfa, 179, 182
divisao na, 14 Holornorfia, dominio de, 179
multiplicac;ao na, 13 Hornotetia, 166
potencic;ao na, 15 Horario, sentido, 68
radiciai;ao na, 15
Fourier Identidade, transformac;ao, 167
219
Langevin, 104 multiplicac;iio, 3
Laplace Nforwros, scqiifot<'irt ck. G-1
equac;iio de, 19, 37
bidimcnsional, 119, 162 Operac;iio
natural, 44, 47
Par ordenado, 2
Paralclograrno, lei do, 5
MacLaurin
Parametrizada, forma, 53, 60
serie de, 77, 87, 102
Parciais, frac;ocs, 153
Magnitude, 46
Parcial
Majorante, serie, 82
derivada, 38
Mapa, 163
soma, 94
Maximo, limite, 81
Plano cornplexo
Mittag-Leffler, expansiio de, 200
integrac;ao no, 107
Mbbius, transformac;oes de, 165
Poisson, equac;ao de, 37
Modulo, 13
Polar, forma, 4, 41, 121, 166
unitario, 42
Polfdroma, 26
Mon6<lroma, func,:ao, 27, 139
func,:ao, 2(), 47, Hi9
Morera
Polo, 139
integral de, 71
duplo, 111
tcorcma de, 186
ordcrn dois, 111
N6, 173 ordem n, 181
Neumann, condic;oes de, 37 ordem tres, 124
Norrnalizado, caminho, 52 simples, 101, 102, 109, 146, 157
N 1\mcro complexo P6los. 77. 108, 109, uri. 180
adic,:ao, 2 Potcncias, seric <le, 85, 103
220
Potencial inversao do, 54
func;ao, 175 Serie de potencias uniformemente con
teoria do, 37 vergente, 80
Principal Series, 41
parte, 99, 101 uniformemente convergentes, 87
ramo, 47 Series de potencias
valor, 16, 47, 73, 88, 197 coeficientcs, 80
Singular
Rafzes, 16 ponto, 35, 47, 85, 89, 101, 116,
Ramifica<;:ao, pant.a de, 122, 153, 156, 168, 179
192
isolado, 179
de segunda ordem, 177 no infinito, 101
Ramo, 47, 138, 170 Singulares
carte de, 173 pontos
Ramos, 137 acumula<;:ao, 185
Reais, integrais, 77 infinitos, 157
Real Singularidade, 35, 100, 108, 182
eixo, 4 essencial, 113, 182
numero, 18 isolada, 101, 180
parte, 5, 38, 129, 195 isolada, 100, 102, 179
Regiao, 19, 108 polo, 153
fundamental, 42 removfvcl, 102, 120, 130
Regular Singularidacles, 104, 147, 178
fun<;:ao, 83, 179 essenciais, 77
ponto, 35, 178 removfveis, 77
Rcsfduo, 101, 105, 106, 110, 125, 138, Sobrejetora, aplica<;:ao, 26
139, 144 Somat6rio, 184
calculo do, 77 Suave
Resfduos, W8 carninho, 52
teorema dos, 107, 111, 135, 146, curva, 53
153 Substituic;ao, metoclo cla, 87
Riemann Sucessao, 81
esfera de, 21 Suporte, 192
superffcic de, 19, 173
supcrffcics de, 119, 162, 169 Taylor
Rota<;:ao, angulo de, 166 desenvolvimento de, 86
Rota<;:oes, 162, 166 serie de, 77, 83, 96, 102, 178
coeficientes <la, 87
Schwarz teorcrna cla expansao, 85, 110
princfpio de, 186, 187 teorema de, 85, 110
regra de, 49 Termo a termo
Sentido clifcrenciac;ao, 96
anti-horario, 58 integrac,:ao, 94
221
T:ransforma<;ao
fracionaria linear, 165
semiplano em semiplano, 169
TI·ansformadas inversas, 119
Translac,;oes, 162, 166
Weierstrass
teorema de, 82, 86, 180
Zero
primcira ordem, 101
simples, 101
Zeros, 100, 146, 178
222
Edmundo Capelas de Oliveira