Fsica Matemtica I

November 21, 2012

1 Motivao
1.1 Nmeros
Uma vez desenvolvida a escrita inquestionvel a importncia prtica de se inventar smbolos para designar
as quantidades. Neste sentido surgem naturalmenteos nmeros naturais N. A necessidade de se expressar
a posseou a falta(ou ainda se voc vai ganhar ou perder uma certa quantidade) faz surgir o smbolo n,
com n 2 N, e, conseqentemente, a idia de nmeros inteiros Z. Alm disso, o conceito de se dividir um objeto
em n partes inteiras (onde n 2 N) tambm bastante intuitiva. Assim, de importncia prtica se inventar
um smbolo para resumir a expresso dados 2 objetos e dividindo cada um deles em sete 7 eu quero pegar
(ou dar) uma destas partes de cada objeto. A inveno deste smbolo me permite dizer que eu quero 2=7
(ou 2=7) do total de objetos. Surgem ento os nmeros racionais Q. Mesmo na estrutura matemtica mais
rigorosa os racionais so construdos a partir dos inteiros (racionais so classes de equivalncia de inteiros).
Mas de onde vem os chamados nmeros reais R?
Quando se coloca todas as idias acima numa estrutura matemtica rigorosa, observa-se que existem
quantidades que no podem ser expressas como nmeros racionais. Estas quantidades so chamadas de
nmeros irracionais. Mas que quantidades so estas? Apesar de geometricamente estas quantidades
poderem ser construdas (e.g., pelo teorema de Pitgoras), na verdade elas no possuem respaldo no nosso
mundo cotidiano. Neste sentido poderamos dizer que os nmeros irracionais no possuem uma utilidade
prtica (alm da matemtica pura). Entretanto, a descrio do mundo atravs da Fsica adquiriu uma
sosticao matemtica to grande que os conceitos envolvidos na construo dos nmeros reais possuem hoje
conseqncias diretas nas teorias e modelos que descrevem o universo. Por exemplo, aplicando as mesmas
idias que levam aos reais, mas seguindo um caminho diferente, possvel construir um outro conjunto,
diferente de R (i.e., cujos elementos tm propriedades diferentes). Alm disso, possvel se fazer Fsica
utilizando este conjunto no lugar dos reais. Uma destas possibilidades so os chamados nmeros p-dicos.
O ponto aqui que nmeros so construdos pela nossa necessidade de que no exista nada que no
possamos expressar. Dentro desta idias, de onde surgem os nmeros complexos?

1
1.2 Teorema fundamental da lgebra
Vivamos num mundo sem os complexos. Um dia, resolvendo um problema real do nosso mundo, nos de-
paramos com a equao
3x2 + 1 = 0 : (1)

Fcil ver que, neste nosso mundo onde s existem os reais, esta equao no possui solues. Obviamente,
a incapacidade de tratar uma expresso matemtica qualquer, alm de frustrante, implica numa srie de
limitaes prticas no tratamento de problemas do mundo real.
A inexistncia de solues reais da equao (1) uma manifestao do fato do conjunto dos nmeros
reais no formar um corpo algebricamente fechado. Um corpo (abaixo veremos o que um corpo) F diz-se
algebricamente fechado se qualquer polinmio de uma varivel de grau maior ou igual a 1, com coecientes
em F , tiver pelo menos uma raiz em F .
Para no corrermos mais o risco de obter equaes polinomiais intratveis, denimos ento um novo
conjunto maior, dos quais os R fazem parte, mas que qualquer polinmio neste novo conjunto possua solues
que tambm sejam elementos deste conjunto. Este processo chamado de fechar algebricamente o conjunto.
Fazendo isso com os reais, o que se obtm precisamente o conjunto dos nmeros complexos C. Disse ento
que C o fecho algbrico de R. Esta caracterstica dos nmeros complexos uma conseqncia do Teorema
fundamental da lgebra.

Theorem 1 Qualquer polinmio p(z), z 2 C, com coecientes complexos e de grau n 1 tem alguma raiz
complexa.

Em outras palavras, o corpo dos nmeros complexos algebricamente fechado e, portanto, tal como
qualquer outro corpo algebricamente fechado, a equao p(z) = 0 possui n solues no necessariamente
distintas.

1.3 Teorema da identidade

O teorema da identidade (identity theorem) para funes holomrcas (funes de variveis complexas difer-
enciveis) estabelece que:

Theorem 2 Dada duas funes holomrcas f e g denidas num aberto (conexo) D C, se f = g em

alguma vizinhana de z contida em D, ento f = g em D.

Assim, uma funo holomrca est completamente determinada uma vez conhecido seu valor numa
vizinhana arbitrariamente pequeno. Esta propriedade no vlida para funes reais diferenciveis.
graas propriedade acima que podemos to facilmente estender uma funo real para o plano complexo,
por exemplo, ex ! ez .
Alm disso, a noo de diferenciabilidade muito mais forte para funes complexas, pois a existncia da
diferencial de primeira ordem implica na existncia das diferenciais de qualquer ordem. Assim, mostrando-se

2
que uma funo complexa possui uma primeira derivada, automaticamente se mostra que ela innitamente
diferencivel e, conseqentemente, que ela uma funo analtica (pode ser expandida em srie de Taylor).
O fato de uma funo possuir uma expanso em srie denida em todo seu domnio de fundamental
importncia tanto em matemtica quanto em fsica.
Assim, dada uma certa funo real f (x), se conseguirmos entender esta funo para o plano complexo,
i.e., encontrar uma funo diferencivel f (z) denida em C que para Im z = 0 seja igual a f (x), esta funo
ser nica (pelo teorema da identidade) e analtica.
Assim, o estudo das propriedades de funes com variveis complexas de fundamental importncia no
apenas tericos, mas tambm prticos.

2 Nmeros complexos
Assim como os reais, os nmeros complexos foram inventados originalmente apenas por razes matemticas.
Entretanto, seu estudo posterior apresentou uma srie de aplicaes prticas. Comecemos ento com uma
olhada na estrutura matemtica por trs dos nmeros complexos.
Um nmero complexo um mapa z : R2 ! R2 onde denimos duas operaes binrias1 (+; ) com as
seguintes propriedades algbricas

zi z (xi ; yi ) ; xi ; yi 2 R ;
z (x1 ; y1 ) + z (x2 ; y2 ) z (x1 + x2 ; y1 + y2 ) = z2 + z1 ;
z (x1 ; y1 ) z (x2 ; y2 ) z1 z2 z (x1 x2 y1 y2 ; y1 x2 + x1 y2 ) = z2 z1 :

Chamemos o conjunto de todos os z de C. Vejamos porque esta escolha de operaes, aparentemente arbi-
trria, to importante. Das denies acima fcil ver que

z (x; y) + z (0; 0) = z (x; y) ; _x; y ; (identidade) (2)

z1 + (z2 + z3 ) = (z1 + z2 ) + z3 ; (associativo) (3)
_ z (x1 ; y2 ) 9 z ( x1 ; y2 ) j z1 + z2 = z (0; 0) ; (inverso) (4)
z1 + z2 = z2 + z1 (comutativo). (5)

A existncia do elemento z0 = z(0; 0) (2) e as propriedades (3) e (4) acima fazem deste conjunto um grupo
pela primeira operao binria (a soma, +).O fato da soma ser comutativa (5), faz deste um grupo abeliano.
1 Operaes que envolvem dois elementos do conjunto.

3
 Alm disso, podemos ver tambm que

z (x; y) z (1; 0) = z (x; y) ; _x; y ; (identidade) (6)

z1 (z2 z3 ) = (z1 z2 ) z3 ; (associativo) (7)

(a inexistncia do elemento inverso para z (0; 0) faz com que C, assim como R, no seja um grupo pelo
produto).
A existncia do elemento z(1; 0) (6) (identidade do produto) acima e da associatividade do produto (7),
fazem deste conjunto um monide pelo produto (um grupo um monide onde todos os elementos tm
inversa).
Um conjunto que simultaneamente um grupo abeliano (por +), um monide ( ) e alm disso, respeita
a propriedade distributiva pela composio das duas operaes

z1 (z2 + z3 ) = z1 z2 + z1 z3 (distributivo): (8)

chamado de um anel. A comutatividade da multiplicao (z1 z2 = z2 z1 ) faz deste um anel abeliano.

Finalmente, todas estas propriedades, mais o fato do conjunto C z (0; 0) formar um grupo pela multi-
plicao (z (0; 0) o nico elemento sem inversa pelo produto), devido s propriedades seguintes

z1 (z2 z3 ) = (z1 z2 ) z3 ; (associativo)

x1 y1
_ z (x1 ; y1 ) ; x21 + y12 6= 0 9 z 1
; j zz 1
= z (1; 0) ;
x21 + y12 x21 + y12

fazem deste anel abeliano um corpo.

pelo fato de C ser um corpo que podemos fazer com z 2 C tudo que fazemos com os nmeros reais.
Assim, polinmios esto bem denidos, bem como as sries innitas. Destarte podemos denir funes
trigonomtricas, exponenciais etc. E, o mais importante, podemos procurar pelo inverso de todas estas
funes.

2.1 Realizao ou representao de C

Vamos comear denindo o seguinte smbolo para nos referirmos aos elementos de C:

z (x; y) x + iy ; x; y 2 R ;

onde x chamado parte real de z (x = Re z) e y parte imaginria (y = Im z). importante ter em mente
que a quantidade acima apenas um smbolo, no representando nenhuma soma, ou qualquer coisa
parecida.

4
 Para efetivamente trabalharmos (manipularmos) este smbolo, precisamos encontrar uma denio baseada
em entidades que j saibamos trabalhar. Ou seja, precisamos realizar esta quantidade em algum es-
pao conhecido. Vejamos trs possibilidades para esta realizao.

2.1.1 Representao matricial

Podemos denir o smbolo introduzido acima como uma matriz

!
x y
z (x; y) x + iy ;
y x

e especicarmos que a soma e o produto deste smbolo respeita a lgebra usual de matrizes.

Exercise 3 Verique que o smbolo assim denido obedece s propriedades de soma e multiplicao denidas
na seo anterior.

Agora que temos uma representao concreta para o nosso smbolo, podemos efetuar clculos completos.
Por exemplo, para z = i =2, podemos calcular ez = ei =2
" !# 1
!n
0 =2 X 1 0 =2
ei =2
= exp =
=2 0 n=0
n! =2 0
1
!n
X ( =2)
n
0 1
=
n=0
n! 1 0
! ! !2 !3
2 3
1 0 0 1 ( =2) 0 1 ( =2) 0 1
= + =2 + + + :::
0 1 1 0 2! 1 0 3! 1 0

observando que
!2 ! !3 !
0 1 1 0 0 1 0 1
= ; = ; :::
1 0 0 1 1 0 1 0
temos
! ! ! !
2 3
1 0 0 1 ( =2) 1 0 ( =2) 0 1
ei =2
= + =2 + :::
0 1 1 0 2! 0 1 3! 1 0
! 1
! 1
1 0 X n
( 1) ( =2)
2n
0 1 X ( 1) ( =2)
n 2n+1
= +
0 1 n=0
(2n)! 1 0 n=0
(2n + 1)!
! !
1 0 0 1
= cos + sin
0 1 2 1 0 2
!
0 1
= = 0 + i1 i = z (0; 1) :
1 0

5
 Da mesma forma !
i2 1 0
e = = 1 + 0i = z (1; 0) 1:
0 1

Observe que o smbolo 1 2 C da igualdade acima no tem o mesmo signicado (apesar de compartilhar as
mesmas propriedades) do smbolo 1 2 R como elemento dos reais. Mais especicamente, o nosso 1 aqui
uma matriz.
De forma geral, usando a notao introduzida acima,
! !
i 1 0 0 1
e = cos ( ) + sin ( ) = 1 cos ( ) + i sin ( ) (9)
0 1 1 0

conhecida como frmula de Euler.

Exercise 4 Podemos escrever ez1 +z2 = ez1 ez2 ?

De forma geral,
" ! ! #
1 0 0 1
ex+iy = ex cos y + sin y
0 1 1 0
!
x cos y sin y
= e = ex (cos y + i sin y) : (10)
sin y cos y

Exercise 5 Obtenha a relao acima.

Remark 6 Os resultados obtidos numa certa representao so vlidos em qualquer representao.

2.1.2 Representao algbrica

Outra forma de se representar um elemento de C (talvez a mais conhecida) armar que a quantidade

x + iy

respeita a lgebra usual dos reais (i.e., passamos a considerar este smbolo como uma soma usual)
acrescida da seguinte denio
i:i 1:

Exercise 7 Verique que esta denio reproduz as operaes de soma e produto denidas na seo anterior.

A vericao da compatibilidade desta denio com a anterior imediata

! ! !
0 1 0 1 1 0
i:i = = = 1 + 0:i = 1:
1 0 1 0 0 1

6
2.1.3 Representao geomtrica

Uma terceira forma de se representar os elementos de C armar que estes so pontos no plano x y e
identicar a operao de soma com a lgebra (usual) dos vetores que partem da origem at o ponto
x; y. Neste caso conveniente utilizar a representao polar deste ponto

y
z ^r cos + y^r sin ; r2 = x2 + y 2 ;
x = tan :
x

Neste caso costuma-se ainda introduzir a notao

y^ i; x
^ 1 =) z = r (cos + i sin ) :

Usando o resultado (9), que deve ser vlido em qualquer representao, temos

z = r (cos + i sin ) = rei ; r; 2 R :

Nesta notao r a magnitude (ou mdulo, ou valor absoluto) de z (r = jzj) e a fase ou argumento
( = arg z).
Partindo das denies fcil ver que

2 2 2
jzj = r2 = (Re z) + (Im z) :

A operao de mltimplicao de dois nmeros z1 = r1 ei 1 e z2 = r2 ei 2 identicada como o aumento

da magnitude de z1 por um fator r2 seguido de uma rotao deste vetor de um ngulo 2 . O que, na
representao polar, possui uma forma bastante simples

z1 z2 = r1 ei 1 r2 ei 2
= r1 r2 ei( 1+ 2)
:

Exercise 8 Verique que a introduo dos smbolos acima compatvel com a representao algbrica, i.e.,
verique que na representao geomtrica i:i = 1.

Exercise 9 Use a representao geomtrica para mostrar a desigualdade triangular

jz1 + z2 j jz1 j + jz2 j :

7
 As vezes importante usar a representao polar fora da origem

z z0 = exp (i ) =) z = exp (i ) + z0

ou seja, z so pontos com coordenadas polares e com relao a z0 .

Exercise 10 Desenhe no plano x y os pontos

jz + ij = 1 :

Remark 11 Todas as representaes apresentadas so, obviamente, equivalentes. A utilizao de uma certa
representao depende apenas das convenincias do problema.

2.1.4 Extrao de razes

Vejamos agora como funciona uma determinada operao em C. O ponto que, apesar de podemos fazer em
C tudo que fazemos em R, os resultados que obtemos so bem diferentes. Por exemplo, vamos extrair a raiz
p
n-sima de um nmero complexo z ( n z ou z 1=n ). Isso equivale a encontrar z0 tal que:

n
(z0 ) = z :

Este problema mais facilmente tratado na representao polar

z = r (cos + i sin )
z0 = r0 (cos 0 + i sin 0)

Ou seja, dados r e (reais) precisamos encontrar nmeros reais r0 e 0 tais que

n
r (cos + i sin ) = r0n (cos 0 + i sin 0)

Usando a frmula de Euler (9) temos

n n
(cos 0 + i sin 0) = ei 0
= ein 0
= cos (n 0 ) + i sin (n 0 )

conhecido como teorema de De Moivre. Com isso nossa igualdade toma a forma

r (cos + i sin ) = r0n (cos (n 0 ) + i sin (n 0 ))

8
que pode ser resolvida fazendo (pois e r so parmetros independentes)
p
r = r0n =) r0 = n
r
k
n 0 = 2 k ; k 2 N =) 0 = 2
n n

Agora, para n = k (ou n = mk com m 2 N) temos 0 = =n + 2 o que representa o mesmo ponto. Ento,
existem n valores de k
k = 0; 1; :::; n 1

que representam pontos distintos e satisfazem a nossa igualdade.

p
Assim, para z 6= 0, a expresso n z = z 1=n possui n razes

p +2 k +2 k
z 1=n = z0 = n
r cos + i sin ; k = 0; 1; ::; n 1:
n n
p
3
Exercise 12 Calcule 1, com 1 2 C. Resp.

1 = cos 0 + i sin 0 =) r = 1 ; = 0
2 k 2 k
11=3 = cos + i sin ; k = 0; 1; 2
3 3
2 0 2 0
z0 = cos + i sin =1
3 3
2 2
z1 = cos + i sin
3 3
4 4
z2 = cos + i sin
3 3
p
3
Observe que para 1 2 R; 1 = 1.

Remark 13 Antes de efetuarmos qualquer operao com uma quantidade (um nmero), precisamos especi-
car a qual conjunto esta quantidade pertence.

2.2 Funes
Uma funo W (z) : C ! C de uma varivel complexa tambm um nmero complexo, cuja parte real
U = Re W e imaginria V = Im W dependem, na nossa representao geomtrica, da posio de z no plano
x y. Usando as notaes introduzidas anteriormente escrevemos

W (z) = U (x; y) + iV (x; y) :

9
Podemos escolher duas diferentes representaes grcas para W . A primeira representar U (x; y) e V (x; y)
como superfcies sobre o plano complexo x y. Esta representao, que til em certas ocasies, possui o
inconveniente de no explicitar a relao das duas funes U e V como elementos de C.
Outra possibilidade representar o prprio nmero complexo W como um ponto no plano U V . Neste
ltimo caso, a funo W (z) fornece um mapa (R2 ! R2 ) do plano z = x y no plano W = U V e, para
cada ponto no plano z, corresponde um (ou, como veremos, mais de um) valor ponto no plano W .
Exemplo: Conjugao complexa:

W (z) z (x; y) = z (x; y)

x + iy ! x iy

A representao grca do mapa R2 ! R2 a reexo dos pontos em relao ao eixo x.

Como pode ser vericado pela denio, esta operao respeita as propriedades

z1 + z2 = z1 + z2
z 1 z2 = z 1 z2
z+z = 2 Re z
z z = 2 Im z

Alm disso, pelas denies na seo da representao geomtrica, temos

2
z:z = x2 + y 2 = jzj =) jzj = z:z

A noo de norma nos permite escrever desigualdades do tipo

jz1 j > jz2 j ;

i.e., z1 so todos os pontos mais distntes da origem que z2 . Mas armaes como z1 > z2 no fazem

10
sentido algum (a menos, claro, que Im z1 = Im z2 = 0).

Exercise 14 Mostre que

2 2 2
jz1 z2 j jz1 j jz2 j = 0 :

11
2.2.1 Funes multivalentes

Vejamos agora uma funo um pouco mais complicada,

2
W (z) = z 2 = (x + iy) = x2 y 2 + 2ixy = r2 e2i ;
U = x2 y 2 ; V = 2xy :

O semi-circulo no plano z mapeado num crculo no plano W e a linha x = 1 mapeada na parbola

4U = 4 V 2 .

Exercise 15 O que acontece com um circulo de raio R centrado em (a; b)? Rint: use a equao do circulo
em coordenadas polares
r2 2ar cos 2br sin = R2 a2 b2 :

Esta gura foi retirada do livro Mathematical Methods of Physics, J. Mathews,

R.L. Walker (2nd. Edition Addison Wesley, 1971)

12
Exercise 16 Estude a funo 1=z.

Para motivar a discusso a seguir, considere a seguinte questo:

Exercise 17 Onde est o problema na seguinte demonstrao

p p 2
1= 1= ei2 = ei 2 = ei = 1 ???

Antes de responder esta pergunta, voltemos ao estudo das caractersticas de z 2 . No exemplo W (z) = z 2
os pontos z e z so mapeados no mesmo ponto W . O principal problema desta caracterstica que isto
implica em problemas na denio do mapa inverso

1
p
W (z) = z 1=2 = rei =2
:

Uma vez que na funo acima

z = arg z = (arg W ) =2 = W =2;

os pontos z e z + 2 , que representam os mesmos pontos no plano z, so dois pontos distintos

1
W e W + . Ou seja, o para inverso W = z 1=2 no monovalente.
A rigor o conceito de funo se refere apenas a mapas monovalentes. Entretanto, isso ocorre com tanta
freqncia para mapas complexo que usamos um certo abuso de linguagem e dizemos que W = z 1=2 (a partir
daqui chamaremos W 1 simplesmente de W ) uma funo multivalente. Obviamente, como tal coisa no
existe nos reais, precisamos desenvolver certas ferramentas para tratar este tipo de funo.
Uma curva fechada no plano z que circule a origem ( z = 0 2 ) no retornar para o mesmo ponto
no plano W . De outra forma, qualquer curva fechada que circule a origem no plano z no gera uma curva
fechada no plano W . Um ponto com esta caracterstica chamado ponto de ramicao 2 .
p
Por exemplo, a funo W = z a tem um ponto de ramicao em a.
2 Neste exemplo, na verdade, estamos falando mais especicamente de um ponto de ramicao algbrica.

13
Figure 1: Esta gura foi retirada do livro Mathematical Methods of Physics, J. Mathews, R.L. Walker (2nd.
Edition Addison Wesley, 1971)

Assim as funes multivalentes estaro bem denidas apenas se no circularmos um ponto

de ramicao. Para garantir isso, traamos no plano z uma linha deste ponto at o innito, chamada
linha de ramicao (ou corte de ramicao) e, ao trabalharmos com a funo, concordamos em nunca
cruzar esta linha. No caso da ramicao na origem conveniente tomar como linha de ramicao o
semi-eixo real positivo ou negativo. O plano z cortado desta forma chamado uma folha de Riemann da
funo em considerao. Esta folha mapeada de forma unvoca numa parte do plano W chamada de
ramo da funo. No nosso caso de W = z 1=2 a metade deste plano . A outra metade do plano W (o outro
ramo da funo) tambm mapeada em todo o plano z.
Podemos evitar o problema da multivalncia do mapa (ou da funo) dizendo que existem vrias cpias
(ou folhas) do plano z assim cortado e, ao cruzar a linha de ramicao, passamos de uma folha
para outra. As curvas se comportam como se estas folhas fossem ligadas na linha de ramicao (Figura).
As folhas assim ligadas formam uma superfcie de Riemann S. Esta superfcie mapeia sem ambiguidade
todo o plano W , i.e., W : S ! C uma funo legtima (monovalente). Agora uma curva fechada no
plano W tambm uma curva fechada na superfcie de Riemann S.
Ento, quando escrevemos W (z) = z 2 , precisamos ser bem claros se estamos falando de W : C ! C ou
W : C ! S. Estas so duas funes diferentes. A segunda possui uma inversa (raiz quadrada), enquanto a
primeira no.

14
 Voltando agora ao problema da nossa prova 1 = 1. O problema est em que, quando escrevemos
p
1=1

estamos falando de um ramo (e, consequentemente, de uma especca folha de Riemann) da funo z 1=2 .
Mais especicamente, o valor desta funo no ponto z (1; 0). Se dermos agora uma volta completa at o ponto
z (1; 2 ) estaremos cruzando uma linha de ramicao (independente de onde ela esteja) e, conseqentemente,
passaremos para uma outra folha de Riemann. Ou seja, quando nos movemos na superfcie de Riemann S
(onde z 1=2 est bem denida como funo) samos do ponto z1 = ei0 e chegamos num outro ponto z2 = ei2 ,
com z1 = z2 em z 2 C, mas com z1 6= z2 em z 2 S e, consequentemente, W (z1 ) 6= W (z2 ). O erro da nossa
demonstrao foi considerar W (z1 ) = W (z2 ) e com isso armar que
p ?
p ?
ei0 = ei2 =) 1 = 1:

Resumindo: a funo W = z 1=2 est denida com z 2 S que so duas cpias do plano z e possui dois
p
ramos. No primeiro ramo (denido no primeiro plano z) temos W (ei0 ) = 1 = 1, j no segundo ramo
p
(segundo plano z) W (ei2 ) = 1 = 1. Sempre que falamos no valor de uma funo multivalente, no basta
dar a forma da funo, mas precisamos tambm dizer de qual ramo estamos falando.
Com o desenvolvimento do curso vamos ver algumas aplicaes (e implicaes) prticas das denies
acima.
O nmero de folhas ligadas dene a ordem do ponto de ramicao.
Outras raizes (r1=n ei =n ) podem ser descritas da mesma forma. A funo W (z) = z 1=3 necessita de 3
folhas e tem a origem como ponto de ramicao de ordem 3.
No caso de funes com mais de um ponto de ramicao, por exemplo,
p
W (z) = (z a) (z b) ;

temos diferentes formas de traar a linha de ramicao. Na funo acima podemos construir duas linhas
partindo uma de a e outras de b at o innito, ou podemos traar apenas uma linha de a at b. A forma das
superfcies de Riemann dependem desta escolha.
Exemplo: Para resolver o problema de Kepler (da forma das rbitas) usando variveis de ngulo ao
temos de resolver a integral
Z r
2mk L2
2mE + dr
r r2
Este problema, resolvido por Sommerfeld, envolve uma integral complexa com dois pontos de ramicao.
Esta descrio mostra que, apesar de todos os benefcios vindos da extenso das funes para o plano
complexo, este procedimento no uma tarefa trivial nem mesmo para um caso simples como x1=2 .

15
2.3 Diferenciao
Para uma funo f : R ! R ser diferencivel num ponto x 2 R, os seguintes limites

0 f (x + dx) f (x)
f (x) = lim ;
dx! 0 dx

devem existir e serem iguais.

Por exemplo, a funo
x
f (x) = ;
jxj
no tem o limite limx! 0 f (x) denido no ponto x = 0. Outro exemplo, a funo (contnua)

f (x) = jxj

no diferencivel em x = 0, porque

f (0 + dx) f (0) f (0 + dx) f (0)

lim =1; lim = 1:
dx!+0 dx dx! 0 dx

O mesmo critrio pode ser usado para se analisar a diferenciabilidade de uma funo complexa. Precisamos
assim analisar o limite
lim f (z) = u ; w; z; u 2 C :
z!w

A nica diferena entre este limite e o conceito usual na reta real e que, sendo w um ponto no plano
(f : R2 ! R2 ), existem vrias formas diferentes de se aproximar do ponto w. Um problema semelhante ao
que ocorre em uma dimenso, onde os limites pela direita e pela esquerda podem ser diferentes. Quando isso
ocorre dizemos que este limite no existe. Da mesma forma, se o limite para w depender do caminho
escolhido no plano, dizemos que o limite no existe.
Uma funo f diferencivel num ponto z se existir o limite

0 f (z + dz) f (z) df
f (z) = lim (11)
dz!0 dz dz

e este for independente do caminho pelo qual z + dz se aproxima de z.

Uma funo analtica 3 (regular ou holomrca) numa regio E se for diferencivel nesta regio.

Remark 18 Praticamente toda a teoria de funes de uma varivel complexa se aplica apenas a funes
analticas.
3 Para funes reais o termo analtica numa regio signica que a funo igual a sua srie de Taylor nesta regio.

16
 2
Exemplo: a funo f (z) = jzj . Precisamos analisar

jz + dzj jzj (z + dz) (z + dz) z z z z + zdz + zdz + dzdz zz

= =
dz dz dz
zdz + zdz + dzdz dz dz dz
= =z +z + dz
dz dz dz dz
dz
= z + z + dz :
dz

Fazendo dz ! 0 pelo eixo real dz = dx = dz

df dx
=z + z + dx = z + z :
dz dx

Fazendo dz ! 0 pelo eixo imaginrio dz = idy = dz

df ( idy)
=z + z + dz = z+z :
dz idy

Para ser diferencivel devemos ter

z+z = z + z =) z = z:

Esta funo s pode ser diferecivel em z = 0. O que verdade, porque neste ponto

df dz
=0 + 0 + dz = dz = 0 ;
dz z=0 dz

2
independente do caminho. Assim, f (z) = jzj diferencivel apenas no ponto z = 0 e no analtica em
nenhuma regio.

Remark 19 Funes so analticas em regies.

Remark 20 Da seo anterior temos que a regio de regularidade de uma funo multivalente deve ser
denida numa superfcie de Riemann.

Pode-se provar4 que se uma funo f (z) possui uma derivada numa regio, esta derivada necessariamente
contnua. Assim, uma funo f (z) sempre pode ser expandida numa srie de Taylor em torno de um ponto
z0 numa regio onde esta funo analtica

n
f (z) = a0 + a1 (z z0 ) + ::: + an (z z0 ) ;
1 (n)
a0 = f (z0 ) ; an = f (z0 ) : (12)
n!

O raio de convergncia desta expanso um circulo cujo raio se estende at o ponto onde a funo singular,
4 Veja, e.g., Konrad Knopp, Theory of Functions, Parts I.

17
i.e., um ponto onde a funo deixa de ser analtica. O contrrio tambm verdade, qualquer srie de potncia
convergente numa regio representa uma funo analtica nesta regio.

2.3.1 Equaes diferenciais de Cauchy-Riemann

Se uma funo W (z) = U (x; y) + iV (x; y) analtica e fazemos dz = dx + idy em (11) podemos fazer dz ! 0
pela horizontal (dy = 0) ou pela vertical (dx = 0). Se a funo analtica devemos obter o mesmo limite
(11) para estas duas variaes de dz,

dW @W dx @W dy dx dy
= + ; =1; = i
dz @x dz @y dz dz dz
)
dW @W
dz dx=0 = @y i @W @W
dW @W
=) i= ; (13)
dz dy=0 = @x
@y @x

se usarmos agora a nossa representao matricial de W

! !
@U @V
U V @W @x @x
W (z) = U + iV = ; = @V @U
V U @x @x @x
! ! !
@U @V @V @U
@W @y @y 0 1 @y @y
i = @V @U
= @U @V
@y @y @y 1 0 @y @y

temos ! !
@U @V @V @U
@W @W @x @x @y @y
i= =) @V @U
= @U @V
@y @x @x @x @y @y

o que fornece

@U @V @V @U
= ; = : (14)
@y @x @y @x

Estas so as equaes diferenciais de Cauchy-Riemann (CR) e fornecem condies necessrias e sucientes

para uma funo W = U +iV ser analtica numa regio, desde que as quatro derivadas parciais existam
e sejam contnuas.
De outra forma, as condies de CR so necessrias, mas no sucientes, para estabelecer a diferenciabil-
idade da funo. Como mapas de R2 ! R estas funes so diferenciveis se as derivadas parciais existirem
e forem contnuas, mas como mapas de C ! C, estes mapas, alm de serem contnuos, precisam satisfazer
as condies de CR.
muito importante compreender o signicado das igualdades acima. Como vimos anteriormente, toda
funo complexa pode ser vista como um mapa de R2 ! R. Existe uma innidade de mapas que so
diferenciveis como funes reais (todas as derivadas parciais acima existem), mas que no satisfazem as

18
relaes acima. Estes mapas no so funes complexas diferenciveis. Para que exista a derivada de
uma funo complexa (e ser chamada de diferencivel) esta funo tem de obedecer as equaes de Cauchy-
Riemann. Est uma restrio bastante forte e implica que funes reais diferenciveis no sero
necessariamente funes complexas diferenciveis.

19
 Exemplo:

2
f (z) = jzj = x2 + y 2 =) U = x2 + y 2 ; V = 0
@U @U @V @V
= 2x ; = 2y ; = =0
@x @y @x @y

as funes U e V acima so diferenciveis (como funes reais) em qualquer ponto. Mas as condies de
CR fornecem

@U @V
= =) 2y = 0 ;
@y @x
@V @U
= =) 2x = 0 ;
@y @x
2
Que s so satisfeitas na origem x = y = 0. Vemos (novamente) que a funo f (z) = jzj s diferencivel
no sentido complexo (f : C ! C) na origem, mesmo que, como uma funo de R2 ! R, U e V sejam
diferenciveis em todos os pontos.
Assim, se a derivada de uma funo W = U + iV existe num ponto z0 (as derivadas parciais de U e V
0
existem neste ponto) e obedecem a condio de CR, ento a derivada W pode ser calculada como (13)

0 dW @W @ (U + iV ) @U @V
W (z0 ) = = = = +i : (15)
dz z=z0 @x @x @x @x

Ou, usando CR,

0 @U @U
W = i : (16)
@x @y
Remark 21 Dada uma funo complexa diferencivel, valem tambm as regras usuais de diferenciao de
somas e produtos de funes. Todos os argumentos usados para demonstrar estas regras para funes reais
continuam vlidos.

Exercise 22 Verique se e onde diferencivel a funo: W = z 2 . Resp:

z 2 = (x + iy) (x + iy) = x2 y 2 + 2ixy

U = x2 y 2 ; V = 2xy
@U @U @V @V
= 2x ; = 2y ; = 2y ; = 2x
@x @y @x @y

Esta funo diferencivel em todos os pontos e, consequentemente, analtica em qualquer regio.

Exercise 23 A conjugao complexa z (ou z ) de um nmero z denida por

i
z = x + iy =) z = z x iy = re

20
Verique se e onde diferencivel a funo: W = z .
2
Exercise 24 Verique se e onde diferencivel a funo: W = jzj = zz . Resp:

U = x2 + y 2 ; V = 0
@U @U
= 2x ; = 2x
@x @y

esta funo s pode ser diferencivel na origem. Para vericar se esta funo realmente diferencivel na
origem, precisamos vericar se as derivadas parciais so contnuas. O que de fato verdade. Ento, a funo
acima diferencivel na origem. Mas esta funo no analtica em nenhuma regio.

Como vimos, a ltima funo uma funo real perfeitamente diferencivel. Como um mapa R2 ! R
em W = U + iV = x2 + y 2 , U = x2 + y 2 ; V = 0 ambas as funes so perfeitamente diferenciveis. Assim,
a condio de diferenciao complexa algo mais forte que a diferenciao real.
Se uma funo f : C ! C satisfaz as equaes de CR e as derivadas parciais existem e so contnuas, a
derivada complexa desta funo existe e dada por

0 @U @V
f (z) = U (x; y) + iV (x; y) =) f (z) = +i :
@x @y

Exercise 25 Mostre que, em coordenadas polares, as condies de CR se tornam

@U @V @U @V
r = ; = r
@r @ @ @r

e que a derivada de uma funo pode ser calculada como:

0 @U @V @U @V
f (z) = +i = (cos i sin ) +i :
@x @y @r @r

Resp: Veja o livro do Churchil pg 65.

Denition 26 Se f : C ! C possui diferencial complexa em todos os pontos num aberto centrado em z0 ,

dizemos que f analtica, ou holomrca, em z0 .

Denition 27 Uma funo f : C ! C dita inteira (entire function) se for analtica em qualquer ponto
de C .

Denition 28 Uma funo f : C ! C possui uma singularidade no ponto z1 se ela no for analtica neste
ponto. Isto inclui o caso em que f no est denida em z1 .

Proposition 29 Se f e g so funes analticas num domnio E ento:

1. f + g analtica em E

21
2. f g analtica em E
3. wf analtica em E para todo w complexo ou real
4. f g analtica em E
5. f =g analtica em E exceto nos zeros de g.

Proposition 30 Se f; g : C ! C so funes analticas, ento a composta f g : C ! C analtica.

Exercise 31 Verique que se f (z) e f (z) so ambas analticas numa regio D, ento f constante em D.
Resp: pg 73 Churchill.

22
3 Funes harmnicas
Como vimos, a caracterstica de uma funo ser diferencivel complexa uma restrio bastante forte nesta
funo (bem mais forte que diferenciabilidade real). Estas condies esto relacionadas com a equao de
Laplace.
Por exemplo, a distribuio de calor num corpo u obedece a equao

@u
r2 u = 0
@t

no regime estacionrio (@u=@t = 0) em duas dimenses temos a equao (17).

A equao de difuso do calor e a equao de onda, no caso estacionrio se reduz a equao
de Laplace. Como veremos nos exemplos a seguir, esta equao possui uma innidade de aplicaes, em
especial, no eletromagnetismo e na dinmica dos uidos.
Uma funo H : Rn ! R chamada harmnica num certo domnio D se suas derivadas parciais de
primeira e segunda ordem forem contnuas em D e H satisfaz a equao diferencial
n
X @2H
=0
i=1
@x2n

conhecida como equao de Laplace. No que segue, estamos interessados no caso em duas dimenses H :
R2 ! R,
Hxx (x; y) + Hyy (x; y) = 0 ; (17)

Falar sobre unicidade da soluo.

Funes harmnicas possuem a notvel propriedade de que se voc traar um crculo ao redor de um
ponto, e encontrar o valor mdio da funo dentro deste crculo, este valor sempre igual ao valor da funo
no centro deste crculo, que igual a mdia do valor da funo na fronteira. Desde que a funo esteja
denida dentro de todo o crculo e em sua fronteira. Esta propriedade pode ser usada para resolver, de forma
iterativa, o problema de Dirichlet, i.e., xada a condio na fronteira, qual o valor da funo numa regio.
Este efeito pode ser observado numa chapa quente.
Vejamos como estas funes se relacionam com as funes analticas.

Theorem 32 Se uma funo f (z) = u (x; y) + iv (x; y) analtica, ento as funes u e v so harmnicas.

Assumindo que f analtica em D, ento nesta regio ela deve obedecer s condies de CR

@u @v @u @v
= ; = (18)
@x @y @y @x

23
diferenciando ambos os lados destas igualdades em relao a x temos

@2u @2v @2u @2v

2
= ; =
@x @x@y @x@y @x2

Da mesma forma, diferenciando com relao a y temos

@2u @2v @2u @2v

= ; =
@y@x @y 2 @y 2 @y@x

Lembrando que a continuidade da derivada parcial garante que

@2u @2u @2v @2v

= ; =
@y@x @x@y @y@x @x@y

temos

@2u @2v @2u @2v @2v @2v

= = = =) + =0;
@x@y @x2 @y@x @y 2 @y 2 @x2
@2u @2v @2v @2u @2u @2u
= = = =) + 2 =0:
@y 2 @y@x @x@y @x2 @x2 @y

Ou seja u e v so harmnicos em D. Por outro lado, se duas funes u e v so harmnicas em D e suas

derivadas parciais satisfazem s condies de CR, ou seja, possvel construir uma funo complexa
analtica u + iv com estas funes, ento v chamada de harmnica conjugada de u.

Theorem 33 Uma funo f (z) = u (x; y) + iv (x; y) analtica em D apenas se v a harmnica conjugada
de u.

importante notar que se v a harmnica conjugada de u, isso no garante que u a harmnica conjugada
de v (observe que as condies de CR (18) no so simtricas em u e v).
Por exemplo, as funes
u (x; y) = x2 y 2 ; v (x; y) = 2xy :

Enquanto a funo
f = u + iv = z 2

analtica. A funo
f = v + iu ;

no analtica em nenhum ponto.

Exercise 34 Verique a armao acima.

possvel mostrar (ver Churchill) que se uma funo u harmnica em D, ento ela a parte real de

24
alguma funo analtica em D. Alm disso, se a harmnica conjugada existe, ela nica a menos de uma
constante aditiva.
Assim, dada uma funo harmnica, podemos sempre construir uma funo analtica. Por exemplo,

u (x; y) = y 3 3x2 y

harmnica. Pela primeira relao de CR (18) sua harmnica conjugada deve obedecer

@u @v @v
= =) = 6xy =) v (x; y) = 3xy 2 + (x)
@x @y @y

usando agora a segunda relao

@v 0 @u
= 3y 2 + (x) = = 3y 2 3x2 =)
@x @y
0 0
3y 2 (x) = 3y 2 3x2 =) (x) = 3x2 =) (x) = x3 + C

Assim v (x; y) = 3xy 2 + x3 + C a harmnica conjugada de u e a seguinte funo analtica

f (z) = y 3 3x2 y + i 3xy 2 + x3 + C :

Utilizando as propriedades das funes analticas possvel concluir uma srie de propriedades para as funes
harmnicas quando estas so conjugadas. Por exemplo, se f analtica ento

f = u + iv =) f 2 = u2 v 2 + i (2uv)

tambm ser. Assim o produto e a diferena do quadrado de duas funes harmnicas conjugadas tambm
so funes harmnicas.

Remark 35 O produto de duas funes harmnicas no em geral uma funo harmnica.

Remark 36 Toda soluo da eq. de Laplace pode ser expandida em srie de potncias numa regio sem
singularidades.

(Solues so tabeladas)
Encontrar solues da equao de Laplace (e de equaes diferenciais em geral) no uma tarefa trivial.
Por isso as solues conhecidas so compiladas em tabelas que possam ser consultadas por quem deseje
resolver um determinado problema prtico.
Caractersticas e o mtodo de construo da conjugada descrito acima permite, a partir do conhecimento
de uma soluo, construir um par de solues conjugadas e, consequentemente, encontrar vrios outros
elementos para compor estas tabelas.

25
Remark 37 Se f : C ! R harmnica e g : C ! C analtica ento f g harmnica. Dizemos que
mapas analticos preservam solues da equao de Laplace, ou que a equao de Laplace invariante por
transformaes analticas.

3.1 Campos irrotacionais de divergncia nula

Uma grande quantidade de problemas em fsica envolve a presena de campos conservativos, i.e., campos
cujo trabalho necessrio para se movimentar sob sua ao independe do caminho seguido. Por exemplo,
o movimento de uma massa num campo gravitacional, ou de uma carga num campo eltrico constante
(r E = @B=@t). Estes campos so irrotacionais. Se estes campos no possurem fontes ou
sorvedouros (e.g., num campo eltrico estamos tratando uma regio sem cargas r:E = ="0 ) eles tambm
possuem a sua divergncia nula.
Por exemplo, um uido newtoniano incompressvel de viscosidade constante descrito pela seguinte
particularizao da equao de NavierStokes

@v
+ v:rv = rp + r2 v ;
@t

no caso estacionrio onde no h nenhum tipo de acelerao (@v=@t + v:rv = 0) e no h gradiente de

presso (rp = 0) temos a equao de Laplace para as componentes de v. A incompressibilidade implica
ainda r:v = 0, e se no houver rodamoinhos no udo r v = 0.

26
 Consideremos ento campo vetorial num plano, que pode ser tanto um problema de mecnica dos uidos,
como de eletromagnetismo, onde o uido poderia ser o campo eltrico.
Podemos descrever este campo vetorial como

V (x; y) = u (x; y) x
^ + w (x; y) y^ :

Se este udo irrotacional (um campo conservativo ou um udo sem rodamoinhos)

@ @
@x @y @Vy @Vx @w @u @w @u
r V = 0 =) = = = 0 =) = (19)
Vx Vy @x @y @x @y @x @y

Se no houver nenhuma fonte ou sorvedouro do nosso udo (sem cargas, ou um uido incompressvel), ento
sua divergncia tambm ser nula

@Vx @Vy @u @w
r V (x; y) = + = 0 =) = (20)
@x @y @x @y

Assim, a funo
f =V u iw

obedece as condies de CR (19) e (20).

Assim, se V descreve um campo irrotacional sem fontes nem sorvedouros, ento a funo f = V : C ! C
diferencivel. Alm disso, se as derivadas parciais de V forem contnuas, f ser uma funo analtica.
Ademais temos que as componentes de f so funes harmnicas.
Lembrando que um campo irrotacional sempre pode ser escrito como o gradiente de uma funo escalar,
pois
@ @ @ @ @ @
V (x; y) = r (x; y) = x
^+ y^ =) r V = =0:
@x @y @x @y @y @x
(onde para trocarmos as derivadas precisamos que : R2 ! R tenha derivadas parciais contnuas) podemos
escrever

@ @
V (x; y) = r (x; y) =) u = ; w=
@x @y
@ @
f =u iw = i
@x @y

Lembrando a expresso (16)

0 @U @U
W = i :
@x @y

27
que obtivemos anteriormente temos

0 @u @u
F = u + iv =) F = i
@x @y
0 @ @
F =f = i =) = Re F (21)
@x @y

Vemos que, nas condies acima, a funo a parte real da antiderivada de f . Este resultado tambm
bastante til.

Example 38 Por exemplo, vamos encontrar o potencial que gera o campo (o encontro de 2 rios)

V (x; y) = 2x^
x 2y y^ =) V = 2x i2y
f = V = 2x + i2y = 2 (x + iy)
f (z) = 2z

Fcil que f analtica (verique!). Assim V descreve um campo irrotacional sem fontes nem sorvedouros
que, consequentemente, pode ser descrito por um escalar. Observando que

0
F = z 2 =) F = 2z = f

Do fato de F 0 ser tambm analtica e usando a relao (21) temos

= Re F = x2 y2 :

E determinamos assim o potencial que gera o nosso campo conservativo.

O estudo da equao de Laplace, ou o estudo das funes harmnicas, chamado de teoria dos potenciais.

28
Remark 39 Toda funo analtica corresponde a um campo irrotacional de divergncia nula. Um uido
incompressvel sem rodamoinhos, um campo eltrico sem cargas etc.

4 Integral
Como f : C ! C pode ser vista como composta por um par de funes R2 ! R (mais algumas pro-
priedades) natural supor que, assim como ocorre na diferenciao, o conceito de integral de uma funo
complexa tambm se relacione com a integral de funes no plano.
Observe que, a princpio, poderamos tentar denir a integral de uma funo complexa como a integral
da parte imaginria e real, i.e., como a integral de duas funes no plano
Z Z Z Z Z Z Z
?
f (z) dz = (U (x; y) + iV (x; y)) dx dy = U (x; y) dx dy + i V (x; y) dx dy ; (22)

ou seja, a integral de uma funo complexa seria uma integral de rea. Mas, neste caso, a integral da funo
f (z) = 2z seria

f (z) = 2z = 2 (x + iy)
Z Z Z Z Z Z Z Z
2x dx dy + i 2y dx dy = 2x dx dy + i 2y dy dx

= yx2 + ixy 2 :

Mas observe que desta forma a derivada desta "primitiva" F = yx2 + ixy 2 no corresponde a cuja derivada
complexa de novamente f (z), pois
d 2
yx2 + ixy 2 6= z 2 ; z = 2z
dz
Ou seja, a denio (22) no corresponde a uma operao inversa a nossa denio de diferenciao.
Este um argumento de porque no denimos a integral desta forma.
Ns queremos ter, tambm para funes complexas, um anlogo do teorema fundamental
do clculo.
Alm disso, lembrando da nossa representao grca dos nmeros complexos, temos que dz = dx + idy
pode ser visto como um vetor innitesimal no plano x; y, ou seja, se comporta como dr = ^{dx + ^|dy. Todos
estes argumentos indicam que a denio de integral que queremos no se relaciona com integrais de reas,
mas sim com integrais de curvas.
Como vimos acima, o conceito de limite no plano complexo deve levar em conta que temos vrios caminhos
possveis para nos aproximarmos do ponto em questo. Da mesma forma, o conceito de integrar entre dois
pontos, possui a mesma questo de qual caminho percorremos para chegar de um ponto a outro. Este
problema tambm existe na integral de linha de funes no plano. Assim, vamos primeiro rever o que
acontece neste ltimo caso.

29
4.1 Teorema de Green
Um campo vetorial num plano uma funo que a cada ponto deste plano associa um vetor. Tal campo pode
ser usado, por exemplo, para descrever o comportamento de um uido, um campo eletromagntico etc.
Um dos grandes interesses no estudo de problemas prticos saber qual o trabalho realizado para se
mover neste campo vetorial. Por exemplo, queremos mover uma carga eltrica por um campo eltrico, ou
uma massa num campo gravitacional, ou ainda um barco por um rio.
Em todos estes casos, o trabalho realizado ser:
Z
W = F:dr (23)
C

onde, num plano, F (x; y) = U (x; y)^{ + V (x; y) ^

| o campo vetorial (neste caso a fora) e dr = ^{dx + ^
|dy um
elemento de deslocamento na trajetria C. Em geral este trabalho depende, no apenas do caminho,
mas tambm do sentido que este caminho seguido.
Exemplo: Vamos calcular a integral de linha do campo

F = (3x y) i + (x + 5y) j

sobre a circunferncia unitria. Este caminho pode ser parametrizado como

30
 2
x = cos !t ; y = sin !t ; t 2 0;
!

onde ! est relacionado com a velocidade que percorremos a curva. Assim

Z Z
W = F:dr = (U (x; y) dx + V (x; y) dy)
C C
dx dy
x = x (t) ; y = y (t) =) dx = dt ; dy = dt ;
dt dt
Z 2!
dx dy
W = (3x y) + (x + 5y) dt
0 dt dt
dx dy
= ! sin !t ; = ! cos !t
dt dt
Z !2

W = ((3 cos !t sin !t) ( ! sin !t) + (cos !t + 5 sin !t) (! cos !t)) dt
Z0
= ! ( (3 cos !t sin !t) sin !t + (cos !t + 5 sin !t) cos !t) dt
Z
= ! 3 cos !t sin !t + sin2 !t + cos2 !t + 5 sin !t cos !t dt
Z Z 2
!
= ! (( 3 + 5) sin !t cos !t + 1) dt = ! (2 sin !t cos !t + 1) dt
0
Z 2 Z 2 ! Z 2
!
! ! ! 2
= ! 2 sin !t cos !tdt + 1dt =! 2 sin !t cos !tdt +
0 0 0 !
Z 2
!
! 1 2
= ! 2 sin 2!t dt +
0 2 !
Z 2
! !
2 =!
! 2 1 2
= ! sin 2!t dt + =! cos 2!t +
0 ! 2! 0 !
2
= ! =2 :
!

Observe como o valor calculado no depende de !, a velocidade com que percorremos a curva.
Vamos calcular a integral (23) para um campo F arbitrrio, mas para um caminho especco, por exemplo,
um retngulo:
(0; 0) ! (a; 0) ! (a; b) ! (0; b) ! (0; 0)

31
 Z Z
W = F:dr = (U (x; y)^{ + V (x; y) ^
|) : (^{dx + ^
|dy)
ZC C

= (U (x; y) dx + V (x; y) dy) :

C

Na primeira parte do caminho (0; 0) ! (a; 0) ; dr = ^{dx =) dy = 0:

Z (a;0) Z a
(a;0)
W j(0;0) = (U (x; y) dx + V (x; y) dy) = U (x; 0) dx
(0;0) 0

Enquanto na segunda parte (a; 0) ! (a; b) ; dr = ^

|dy =) dx = 0
Z (a;b) Z b
(a;b)
W j(a;0) = (U (x; y) dx + V (x; y) dy) = V (a; y) dy
(a;0) 0

Da mesma forma
Z 0 Z a
(0;b)
W j(a;b) = U (x; y) dx = U (x; b) dx
a 0
Z 0 Z b
(0;0)
W j(0;b) = V (x; y) dy = V (0; y) dy
b 0

(o sinal de menos vem do fato do percurso ser na direo em que x e y diminuem). O trabalho total a soma

32
do trabalho de cada parte:

(a;0) (a;b) (0;b) (0;0)

W = W j(0;0) + W j(a;0) + W j(a;b) + W j(0;b)
Z a Z b
= [U (x; 0) U (x; b)] dx + [V (a; y) V (0; y)] dy (24)
0 0

Um ponto importante que cada uma das integrais acima uma integral ordinria em apenas uma
varivel. Assim, no clculo de qualquer das integrais acima a funo integrada pode ser tratada como uma
funo de uma nica varivel. Assim, podemos fazer, por exemplo:
Z b
dfx (y)0 0
U (x; y) = fx (y) =) fx (y) = =) fx (y) dy = fx (b) fx (0)
dy 0

0 dfx fx (y + dy) f (y) U (x; y + dy) U (x; y) @U

fx (y) = = lim = lim =
dy dy*0 dy dy*0 dy @y
Z b Z b
0 @U
fx (y) dy = fx (b) fx (0) =) dy = U (x; b) U (x; 0)
0 0 @y
Da mesma forma Z a
@V
dx = V (a; y) V (0; y)
0 @x
Substituindo em (24) temos
Z a Z b Z b Z a
@U @V
W = dy dx + dx dy
0 0 @y 0 0 @x
Z a Z b
@V @U
= dx dy
0 0 @x @y

Assim, para o nosso caminho quadrado

Z Z Z Z
@V @U
W = F:dr = (U (x; y) dx + V (x; y) dy) = dA
C C @x @y
R

Suponha agora que o nosso quadrado tenha sido dividido, por exemplo, por uma linha vertical no ponto
x = h < a e calculamos o trabalho para percorrer cada um dos dois quadrados:

(h;0) (h;b) (0;b) (0;0)

W1 = W(0;0) + W(h;0) + W(h;b) + W(0;b)
(a;0) (a;b) (h;b) (h;0)
W2 = W(h;0) + W(a;0) + W(a;b) + W(h;b)

33
onde
Z b
(h;b)
W(h;0) = V (h; y) dy
0
Z 0 Z b
(h;0) (h;b)
W(h;b) = V (h; y) dy = V (h; y) dy = W(h;0)
b 0

Ento
(h;0) (0;b) (0;0) (a;0) (a;b) (h;b)
W1 + W2 = W(0;0) + W(h;b) + W(0;b) + W(h;0) + W(a;0) + W(a;b)

Agora observamos que

Z h Z a Z a
(h;0) (a;0) (a;0)
W(0;0) + W(h;0) = U (x; 0) dx + U (x; 0) dx = U (x; 0) dx = W(0;0)
0 h 0
(h;b) (0;b) (0;b)
W(a;b) + W(h;b) = W(a;b)

Assim
(a;0) (a;b) (0;b) (0;0)
W1 + W2 = W j(0;0) + W j(a;0) + W j(a;b) + W j(0;b) = W

Ou seja, no importa que diviso faamos no nosso quadrado todas as contribuies das partes internas iro
se cancelar (porque so percorridas na ordem inversa) e sobrar apenas as bordas.
Assim, para uma superfcie fechada qualquer, podemos subdividi-la em quadrados, somar todas as con-
tribuies dos quadrados e o que teremos ser a integral de linha nas bordas da regio interna do caminho.
importante notar que qualquer buraco na nossa rea, i.e., regies que no pertencem ao
domnio das funes geraram bordas e contribuiro para a integral.
Assim, de forma geral, para um caminho fechado que encerre uma superfcie simplesmente conexa (sem

34
buracos) temos: I I Z Z
@V @U
F:dr = (U (x; y) dx + V (x; y) dy) = dA (25)
C C @x @y
R

Este o teorema de Green e permite, atravs do clculo de integrais de reas, que no envolve produtos
vetoriais, calcular uma integral de linha.
Exemplo: Vamos voltar ao nosso exemplo anterior

F = (3x y) i + (x + 5y) j
U = (3x y) ; V = (x + 5y)
@V @U
= 1; = 1
@x @y
I Z Z Z Z Z Z
@V @U
F:dr = dA = [1 + 1] dA = 2 dA = 2 :
C @x @y
R R R

Este teorema tambm permite ver que, se

I
@V @U
= =) F:dr =0 ;
@x @y C

para qualquer curva fechada. Ou seja, F um campo conservativo. Veja que esta expresso concorda com
(19) que obtivemos porque F um campo gradiente.
Se F um campo conservativo temos
Z Z
@f @f @f @f
F = rf = ^+
x ^ =)
y F:dr = ^+
x ^ : (^{dx + ^
y |dy) ;
@x @y C C @x @y
Z Z Z B
@f @f
F:dr= dx + dy = df = f (B) f (A) ;
C C @x @y A

para A e B os limites de C. Assim Z

rf:dr =f (B) f (A) ;
C

uma generalizao do Teorema Fundamental do Clculo para funes de vrias variveis.

Como veremos a seguir, todo o material desenvolvido acima est intimamente ligado com o clculo de
integrais de funes complexas.

4.2 Integrais complexas

Dos resultados anteriores, sabemos que integrais complexas esto intimamente ligadas s integrais de campos
vetoriais. Assim, se quisermos obter uma generalizao do teorema fundamental do clculo, assim como ()

35
esta generalizao para funes no plano, devemos interpretar nossas integrais complexas como integrais de
linha. No caso de funes complexas, estas integrais de linha so chamadas de integrais de caminhos.
Agora, se tratarmos a integral Z
f (z) dz
C

como uma integral de linha sobre uma curva C no plano complexo, podemos, assim como na integral de linha
de funes reais, parametrizar esta curva por um parmetro t qualquer e escrever

dx dy
C (t) = x (t) + iy (t) =) dx = dt = xdt
_ ; dy = dt = ydt
_
dt dt
Z Z Z
f (z) dz = f (x (t) + iy (t)) (x_ + iy)
_ dt = f (z (t)) z_ dt
C C C

Usando as denies e os resultados acima podemos calcular a integral de funes complexas no plano
complexo
Exemplo: vamos integrar f (z) = z de 1 at i por duas linhas retas de 1 ! 0 e 0 ! i linha reta
Z Z Z
z dz = z dz + z dz ; C1 : 1 ! 0 ; C2 : 0 ! i
C C1 C2

Parametrizando por
z = x + iy

temos
Z Z Z
z dz = (x iy) (dx + idy) + (x iy) (dx + idy)
C C1 C2
Z 0 Z 1
= x dx + y dy
1 0
1 1
= + =0:
2 2

E ao longo do arco
Z Z =2
z dz = z ( ) z_ d
C 0
Z =2 Z =2
i i
= e ie d =i d =i
0 0 2

Do resultado acima vemos que a integral, em geral depende do caminho de integrao.

Exemplo 2: Vamos integrar a nossa funo f (z) = 2z como uma integral de linha, por exemplo, do

36
ponto 0 ao ponto 1 + i por uma linha reta

x = y =) x = t ; y = t =) x_ = 1 = y_
Z Z 1 Z 1 1
2 2 t2 2
f (z) dz = 2 (t + it) (1 + i) dt = (1 + i) 2tdt = 2 (1 + i) = (1 + i) = 2i
C 0 0 2 0

E por duas linhas retas 0 ! 1 e 1 ! (1 + i)

Z Z 1 Z 1+i
f (z) dz = 2 (x + iy) (dx + idy) + (x + iy) (dx + idy)
C 0 1
Z 1 Z 1
= 2 x dx + (1 + iy) (idy)
0 0
Z 1 Z 1 Z 1
= 2 x dx + 1 (idy) + i y (idy)
0 0 0
Z 1 Z 1 Z 1
= 2 x dx + idy y dy
0 0 0
Z 1
= 2 idy = 2i :
0

Repetindo este processo innitas vezes podemos ver que, neste caso, a integral no depende do caminho.
Observe tambm que neste caso, se assumirmos que a integral uma antiderivada, temos
Z
1+i 2
2z dz = z 2 0
= (1 + i) = 2i :
C

Ento neste caso, e isso pode ser vericado para qualquer pontos iniciais e nais, nossa denio concorda
com a idia de antiderivao.

4.3 Integrais de funes analticas

Vamos agora usar a nossa denio de integral complexa como uma integral de linha, temos
Z
f = u + iv =) f (z) dz = (26)
C
Z Z Z
(u + iv) (dx + idy) = (u dx v dy) + i (u dy + v dx)
C C C

A existncia da integral acima depende da existncia da integral de u e v e, assim como no caso dos
campos, a curva C deve ser lisa por partes.
Lembrando que C um caminho sobre o plano complexo, i.e., o plano x; y, cada uma das duas integrais

37
acima da forma Z
(u (x; y) dx + v (x; y) dy)
C

ou seja, temos duas integrais de caminho (reais) para os campos vetoriais

F1 = u^
x v^
y ; F2 = v^
x + u^
y

Se a curva C for uma curva fechada, podemos ento agora usar o teorema de Green (25) para calcular

I Z Z
@ ( v) @u
F1 :dr = dA
C @x @y
R
I Z Z
@u @v
F2 :dr = dA
C @x @y
R

Usando agora as relaes de CR temos

I Z Z Z Z
@u @v @v @u @u @u
= =) F1 :dr = dA = dA = 0
@y @x C @x @y @y @y
R R
I Z Z Z Z
@v @u @u @v @v @v
= =) F2 :dr = dA = dA = 0
@y @x C @x @y @y @y
R R

Assim, o teorema de Green para funes no R2 , as condies de CR e a nossa denio das integrais complexas
como integrais de linha no plano complexo, garantem que cada um dos termos em (26) zero. De outra
forma, se f uma funo analtica num domnio E C a integral sobre qualquer curva fechada em E, lisa
por pedaos (uma exigncia para que a integral dos campos esteja bem denida), ento
I
f (z) dz = 0 : (27)

Este o teorema de Cauchy-Goursat.

Remark 40 Obviamente o resultado acima j era esperado, uma vez que funes analticas so campos
conservativos e, para tais campos, a integral por um circuito fechado zero. O ponto aqui que, para se
obter o resultado (27), passamos de uma integral de linha para uma integral de rea. Ou seja, este resultado
s vlido se a nossa funo for analtica em toda a rea no interior da curva fechada. De outra forma,
mesmo que a funo seja analtica em todas as regies em torno do caminho de integrao, se ela for singular
num nico ponto dentro da regio, no podemos mais usar os resultados acima.

Como conseqncia, a integral de f de um ponto z1 at um ponto z2 depende apenas dos pontos e

38
independe do caminho Z Z z2
f (z) dz = f (z) dz :
C z1

Na verdade, j sabamos deste fato, uma vez que funes analticas so campos irrotacionais (conservativos).
Obviamente toda a discusso acima depende do fato da funo ser analtica e, consequentemente, no
possuir singularidades na regio em considerao. Em geral a integral de uma curva fechada que envolva
uma singularidade no ser igual a zero.

Remark 41 Para funes no analticas, temos de calcular uma integral de linha e o resultado ir, no geral,
depender da curva e no s dos extremos.

39
4.4 Antiderivada
Voltemos ao clculo da integral Z
f (z) dz
C

atravs da parametrizao

dx dy
C (t) = x (t) + iy (t) =) dx = dt = xdt
_ ; dy = dt = ydt
_
dt dt

com o que temos Z Z Z

f (z) dz = f (x (t) + iy (t)) (x_ + iy)
_ dt = f (z (t)) z_ dt
C C C

Vamos primeiro supor que os pontos iniciais e nais esto sobre o eixo dos reais. Para o caso de caminhos
C tambm sobre o eixo dos reais (dy = 0) a integral acima da forma
Z Z b
f (z (t)) z_ dt = w (t) dt ; a; b 2 R :
CR a

Onde w uma funo complexa, mas com argumentos reais, w : R ! C. Ou seja, w uma restrio do
domnio de f sobre o eixo real.
Vamos ver o que acontece com a integral da funo w (z (t)) w (t) = u + iv. Onde, como estamos
caminhando apenas no eixo real, u = u (x) e v = v (x) so funes reais de uma nica varivel real,
u; v : R ! R. Assim, usando o teorema fundamental do clculo para funes reais temos
Z b Z b Z b Z b
w (t) dt = (u + iv) dt = u dt + i v dt
a a a a
b b b
= U (t)ja + i V (t)ja = W (t)ja ;

onde
dU dV
U0 = =u ; V0 = = v ; W = U + iV
dt dt
Da expresso acima vemos que
Z b
b 0
w (t) dt = W (t)ja ; W = w ; (28)
a

onde, obviamente, a mesma parametrizao z (t) deve ser usada para w e W . O resultado acima diz que:

Remark 42 Para funes complexas com argumentos reais, temos uma generalizao do teorema fun-
damental do clculo.

Obviamente, assim como no caso de integrais reais, a funo deve estar bem denida em todo o eixo real.

40
 Exemplo: calcular
Z =4
=4 1 1
eit dt = ieit 0
= p +i 1 p
0 2 2

O resultado acima pode ser usado para se denir a integral indenida de uma funo complexa, sua
primitiva ou a antiderivada. Obviamente, se estamos procurando uma primitiva de uma funo, esta s
depender dos pontos iniciais e nal de integrao. E, como vimos, isto s est garantido para funes
analticas. Assim, vamos procurar primitivas apenas de funes analticas.
Se f analtica, sabemos que para qualquer caminho temos
Z z2 Z 1
f (z) dz = f (z (t)) (x_ + iy)
_ dt
z1 0

com z (0) = z1 e z (1) = z2 ter o mesmo valor. Usando (28) temos

Z b
b 0
w (t) dt = W (t)ja ; W = w
a

ento existe uma funo F tal que

Z 1
1 0
f (x_ + iy)
_ dt = F j0 ; F = f (x_ + iy)
_ = f z_
0

(onde 0 a derivada pelo parmetro real) mas para qualquer funo F (z (t))

0 dF dF
F (z) = z_ = f z_ =) =f :
dz dz

Assim, se para uma funo analtica f denirmos um caminho qualquer z 0 (t) ; t 2 [0; 1]
Z z Z 1
0 0
F (z) = f (z (t)) dz = f (z 0 (t)) (x_ 0 + iy_ 0 ) dt
0 0

com z 0 (t = 0) = 0 e z 0 (t = 1) = z teremos
0
F =f

e podemos dizer que F a antiderivada de f . A denio acima independente da parametrizao (desde

que z 0 (1) = z).
Observe que isso s possvel porque f analtica e, consequentemente, a integral s depende dos extremos
do caminho. O resultado acima o nosso teorema fundamental do clculo complexo para funes
analticas.
Do nosso estudo de derivadas fcil ver que, assim como no caso de funes reais F est denida a

41
menos de uma constante.
Exemplo: A utilizao da antiderivada , no clculo de integrais, idntico ao clculo nos reais
Z 1+i 1+i 3
2 z3 (1 + i) 2
z dz = = = (i 1) :
0 3 0 3 3

4.5 Integrais de contorno

Vamos agora integrar a funo
1
f (z) =
z
num caminho C que seja um circulo de raio unitrio comeando e terminando em 1. Podemos parametrizar
o circulo fazendo

dz
z = eit =) = ieit
dt
Z Z 2 Z 2 Z 2
dz
z dz = e it dt = e it
ieit dt = i dt = 2 i :
C 0 dt 0 0
Z Z
1 z
dz = dz
C z C zz
como no circulo zz = 1
Z Z Z 2
1 z it dz
dz = dz = e dt
C z C zz 0 dt
Z2 Z 2
it it
= e ie dt = i dt = 2 i :
0 0

Diferente de zero. Porque f no analtica em todos os pontos dentro do contorno.

Exercise 43 Verique os pontos onde 1=z analtica.

Suponha agora um outro crculo de raio R, neste caso teramos:

Z Z Z Z
1 z z 1
dz = dz = dz = 2 z dz
C z C zz C R2 R C

fazendo
dz
z = R exp (it) =) = iR exp (it)
dt

42
 Figure 2: Figura 3

temos

dz
z = eit =) = ieit
dt
Z Z Z 2
1 1 1 dz
dz = 2 z dz = 2 R exp ( it) dt
C z R C R 0 dt
Z 2 Z 2
= e it ieit dt = i dt = 2 i :
0 0

A parametrizao acima mostra ainda que qualquer circulo em torno da origem daria o mesmo
resultado.
Observe agora que se zermos a integral pelo caminho da gura abaixo
Ou seja, de A at D pelo circulo, depois de D at C ento de C at B pela gura externa e, nalmente
de B de volta para A teremos percorrido um caminho fechado que no contem nenhuma singularidade, i.e.,
0
nesta regio a funo analtica. Assim, neste contorno C temos
I
1
dz = 0
C 0 z

Mas a integral sobre o caminho D ! C igual ao negativo da integral B ! A e, consequentemente, a

integral na curva externa igual a integral da curva interna. Este resultado mostra que:

Remark 44 se f uma funo analtica com uma singularidade num ponto, qualquer integral ao redor desta

43
singularidade (percorrida na mesma direo), tem o mesmo valor independente da curva.

Assim, I
1
dz = 2 i
C z
para qualquer curva C que circule a origem.

Denition 45 Dizemos que a funo f tem um plo no ponto w se

lim jf (z)j = 1
z !w

Vamos calcular a integral I

1
n dz :
C (z z0 )
num contorno C que circule z0 . Esta funo tem um plo em z = z0 . Mas sabemos que qualquer caminho
dar o mesmo resultado. Assim, escolhemos o caminho C que um circulo unitrio centrado em z0 , i.e., C
0
o circulo z = z0 + ei . Com isso

z = z0 + ei ; z_ = i ei
I Z 2 Z 2
1 1 i
n dz = n ie d = e i n iei d
C (z z0 ) 0 (ei ) 0
Z 2 (
i (1 n) 2 i para n = 1
= i e d = (29)
0 0 para n 6= 1

Exemplo: Calcule a integral I

z
dz
C z2 1
com C um crculo centrado na origem de raio 2.
Primeiro se verica-se quantas singularidades esto no interior do circuito. No caso, as duas. Depois se
faz a decomposio

z z 1 (z + 1) + (z 1) 1 (z + 1) (z 1)
= = = +
(z 2 1) (z + 1) (z 1) 2 (z + 1) (z 1) 2 (z + 1) (z 1) (z + 1) (z 1)
1 1 1
= +
2 (z 1) (z + 1)

44
com isso, usando (29),
I I
z 1 1 1
dz = + dz
C z2 1 C 2 (z 1) (z + 1)
I I
1 1 1
= dz + dz
2 C (z 1) C (z + 1)
1
= [2 i + 2 i] = 2 i :
2

Exemplo: Calcular f (z) = z em torno do crculo de raio unitrio e em torno do quadrado 1 i.

Em torno do crculo temos Z 2 Z 2
i i
e ie d =i d =2 i
0 0

Ao redor do quadrado
Z 1
z = 1 + ti =) (1 ti) i dt = 2i
1
Z 1
z= 1 ti =) (( 1 + ti) i) dt = 2i
1
Z 1
z=t i =) (t + i) dt = 2i
1
Z 1
z= t + i =) ( t i) i dt = 2i
1

Num caso 2 i no outro 8i.

Resumindo:

Integrais de funes no analticas devem ser calculadas em todos os pontos da curva.

Integrais de funes inteiras (analticas em todo o plano complexo) sobre domnios fechados so zero.

Integrais de funes inteiras no depende do caminho (podemos escolher de acordo com a convenincia).

Integrais de funes analticas com singularidades podem ser calculadas por qualquer caminho que no
contorne a singularidade

Integrais fechadas de funes analticas que envolvem singularidades s precisam ser calculadas ao redor
dos pontos de singularidade.

Cuidados especiais com funes multivalentes:

Exemplo: uso da antiderivada no clculo da integral de funes multivalentes.
p
Vamos calcular a integral da funo f (z) = z do ponto 1 at 1 atravs de um semi-circulo acima do
eixo real, C = ei ; 0 .

45
 Como vimos anteriormente, esta funo possui vrios ramos. Apesar de todos estes ramos possurem a
mesma forma funcional, seus domnios de denio so diferentes para cada corte escolhido. Por exemplo,
suponha que se escolheu o seguinte corte:

1=2 p
f1 (z) = [z (r; )] r exp (i =2) ; r > 0 ; 0 < <2

Neste corte no podemos efetuar a integral pelo mtodo da anti-derivada, porque a funo no analtica
no caminho (no podemos denir a derivada, porque no podemos nos aproximar do ponto por qualquer
caminho sem cruzar a linha de corte) este ramo no analtico, no est denido, em z = 1). Podemos
resolver este problema fazendo o corte em outro lugar. Por exemplo, fazendo o corte = =2

1=2 p
f2 (z) = [z (r; )] r exp (i =2) ; r > 0 ; =2 < < 3 =2

Neste caso, como nosso caminho no cruza a linha de corte e, conseqentemente, o ramo escolhido analtico
em todo o percurso, podemos calcular

2 3=2 0
F = z =) F = z 1=2
3
Z r=1; = r=1; =
2 3=2 2 p 3
z 1=2 dz = z = r exp i
C 3 r=1; =0 3 2 r=1; =0
=
2 3 2 3
= exp i = exp i exp (0)
3 2 =0 3 2
2 2
= [ i 1] = (1 + i)
3 3

Qualquer caminho acima do eixo real pode ser calculado da mesma maneira.
Agora, se quisermos efetuar o mesmo clculo por um caminho C2 que liga o mesmo ponto, mas passa pela
parte abaixo do eixo real, devemos escolher um novo ramo da funo. Por exemplo, podemos fazer o corte
em = =2
1=2 p
f3 (z) = [z (r; )] r exp (i ) ; r > 0 ; =2 < < 5 =2

observe que = 0 no est no domnio desta funo.

46
 2 3=2 0
F = z =) F = z 1=2
3
Z r=1; = r=1; =
2 3=2 2 p 3
z 1=2 dz = z = r exp i
C 3 r=1; =2 3 2 r=1; =2
=
2 3 3 3 3
= exp i = exp i exp i2
3 2 =2 2 2 2
2 3
= exp i exp (3i )
3 2
2 3
= [ i ( 1)] = [1 i]
3 2

Observe que, mesmo tendo a mesma forma funcional, o resultado diferente.

4.6 A formula integral de Cauchy

Se f uma funo analtica num domnio E C pelos resultados acima temos que
I
f (z)
dz = 0
C 0 z w
0
para qualquer caminho C que no contorne o ponto z = w (pois f analtica, mas o integrando tem
uma singularidade).
Vamos imaginar uma curva como a da gura 2 com w no centro do crculo interno (observe que h um
circulo interno que circunda a singularidade, mas h o caminho externo que no circunda). O ponto crucial
que o clculo da integral na gura, por qualquer caminho, independe do tamanho (raio) do crculo interno.
Isso signica que, se C o circulo interno, que circunda a singularidade em w, esta integral ter o mesmo
valor para qualquer crculo, em especial (a seguir eu usei o smbolo ?C ! 0 para indicar que o dimetro
do crculo tende a zero) I I
f (z) f (z)
dz = lim dz : (30)
C z w ?C !0 C z w
Mas como f analtica, quando o crculo tente ao ponto z = w temos

lim f (z) = f (w)

z !w

para qualquer caminho do limite (lembrando que para funes analticas o limite acima no depende do
caminho). Assim temos I I
f (z) 1
lim dz = f (w) dz :
?C !0 C z w C z w
Usamos agora a integral de contorno (29) e calculamos

47
 I
1
dz = 2 i
C z w

Retornando este resultado em (30) temos

I I I
f (z) f (z) 1
dz = lim dz = f (w) dz
C z w ?C !0 C z w C z w
= f (w) 2 i

ou ainda I
1 f (z)
f (w) = dz (31)
2 i C z w
onde lembramos que C qualquer curva que circunde a singularidade (i.e., que circunde w). Esta
a frmula integral de Cauchy.
A frmula acima mostra a caracterstica bastante peculiar das funes analticas de que seu valor numa
certa regio totalmente determinado pelo valor nas bordas desta regio. Assim, uma vez denido as
condies da funo na fronteira, no h mais nenhuma liberdade na denio dos seus valores internos. Ou
ainda, qualquer alterao em qualquer ponto da fronteira, altera todos os demais valores da funo. Este
comportamento pode ser visto, por exemplo, no estado de equilbrio de uma chapa aquecida, onde o valor
da temperatura nos pontos da borda da chapa determina seu valor em toda a chapa (lembrando que a parte
real e imaginria de uma funo analtica obedece, cada uma, a equao de Laplace).
Exemplo de aplicao: Calcule a integral
I
z
dz
C (9 z 2 ) (z + i)

onde o caminho C um circulo de raio 2 (jzj = 2) centrado no ponto z0 = i. Soluo: Apesar do integrando
ter uma singularidade no interior do caminho, observe que a funo

z
f (z) =
(9 z2)

analtica em toda a regio de interesse. Assim, podemos usar a frmula integral de Cauchy para escrever
I
1 z 1 ( i)
f ( i) = dz = =)
2 i C (9 z 2 ) (z + i) 9 ( i)
2

I
z 1 ( i)
2 ) (z + i)
dz = 2 i = :
C (9 z 9 ( i)
2 5

48
4.7 Derivadas de funes analticas
Vamos voltar integral I
f (z)
dz
C z w
para uma curva C que circunda a singularidade w. Vamos agora parametrizar esta curva por z (t), t 2 [0; 1],
com isso I Z 1
f (z) f (z (t))
dz = z_ dt :
C z w 0 z (t) w
Usando agora a frmula integral de Cauchy (31) temos
Z 1
1 f (z (t))
f (w) = z_ (t) dt :
2 i 0 z (t) w

Vamos calcular agora a derivada da funo f (w)

Z 1
d 0 1 d f (z (t))
f (w) = f (w) = z_ dt :
dw 2 i dw 0 z (t) w

Observe que a quantidade dentro do sinal de integral pode ser considerada como uma funo de w e t.
Usando agora a regra de Leibniz (que garante que, para integrais reais, ns podemos diferenciar atravs
do sinal de integral) temos
Z 1
0 1 @ f (z (t))
f (w) = z_ dt :
2 i 0 @w z (t) w
(observe que a integral uma funo apenas de w mas o integrando uma funo de w e t por isso, quando
entra na integral a derivada total vira uma derivada parcial). Efetuando agora a diferenciao
Z 1 I
0 1 f (z) 1 f (z)
f (w) = 2 z_ dt = 2 i 2 dz :
2 i 0 (z w) C (z w)

Repetindo este procedimento n vezes temos que

I
(n) n! f (z)
f (w) = n+1 dz ;
2 i C (z w)

esta a frmula de Cauchy para as derivadas. Do resultado acima temos o importante:

Theorem 46 Se f uma funo analtica numa regio E C; e C uma curva simples (cujo percurso no
se cruza) fechada em E, ento para um ponto z0 dentro da curva C, a n-sima derivada de f existe e dada
por I
(n) n! f (z)
f (z0 ) = dz : (32)
2 i C (z z0 )n+1

49
 Este resultado garante que, se a funo analtica, alm de ser diferencivel (como j sabamos), ela
pode ser innitamente diferencivel. Lembrando que uma funo f analtica em z0 se, e somente
se, existe uma vizinhana deste ponto onde a derivada de f existe em cada ponto desta vizinhana, temos
que todas as derivadas tambm sero funes analticas em E. Pois a derivada estar denida para todos os
pontos z0 dentro do contorno e f (n+1) existe em todos os pontos de E, ento f (n) analtica em E.
A existncia de todas estas derivadas garante que podemos expandir uma funo analtica em srie de
Taylor (que a denio de funes analticas para funes de variveis reais).
O resultado acima mais uma diferena gritante entre funes reais diferenciveis e funes complexas
diferenciveis. (Obviamente, se uma funo real possui uma derivada de ordem n isso no garante a existncia
da derivada de ordem n + 1 e, conseqentemente, a funo pode no ser expansvel em srie de Taylor.)
Como corolrio do teorema acima temos:

Corollary 47 Se u : R2 ! R uma funo harmnica, ento ela possui derivadas de todas as ordens,
e cada uma destas derivadas tambm so funes harmnicas, pois se f = u + iv analtica, e portanto
contnua, segue que
@u @v @u @v
f0 = +i = +i
@x @x @y @y
e, portanto as derivadas de u e v tambm so contnuas e assim sucessivamente para as demais derivadas.

Existe tambm uma verso inversa do teorema de Cauchy-Goursat.

Theorem 48 Se f = u + iv dada por funes u e v contnuas numa regio e satisfaz a condio

I
f (z) dz = 0 ;
C

para qualquer contorno fechado, ento f analtica nesta regio. Este o teorema de Morera.

Os resultados acima so essenciais para o estudo de srie de potncias de funes analticas. Assim,
exemplos de aplicao destes resultados sero dados diretamente no desenvolvimento das sees seguintes.

5 Sries de Taylor
A decomposio em srie de funes possui uma innidade de aplicaes prticas, por exemplo, para se
estimar o valor de certas funes (quando se pressiona o boto seno da calculadora o que ela faz calcular a
srie do seno at uma certa ordem e assim em todos os clculos numricos).
Para funes complexas, alm desta aplicao prtica, uma srie de outras propriedades das funes (alm
do seu valor) podem ser obtidas pela sua expanso em srie de potncias. Para funes complexas, se f (z)
uma funo innitamente diferencivel num ponto z0 , ento (como no caso de funes reais) denimos sua

50
srie de Taylor em torno de um ponto z0 como
1
X f (k) (z0 ) k
(z z0 )
k!
k=0

onde f 0 = f e 0! = 1! = 1.
Observe que, para funes reais, em geral esta srie no igual a f . Por exemplo a funo
(
0, para x 0
f (x) = 1
:
e101 exp x2 , para x > 0

Esta funo innitamente diferencivel em qualquer ponto x e todas as derivadas so zero na origem. Assim,
a srie de Taylor desta funo em torno da origem calculada no ponto 1 vale 0, o que, obviamente bem
diferente de f (1) = e101 e 1 = e100 .
Alm disso, uma srie de Taylor pode no convergir. E do exemplo acima vemos que, mesmo que ela
convirja, pode convergir para algo que no se relaciona com a nossa funo. De forma geral, a
questo da convergncia desta srie um ponto bastante intrincado. Entretanto, como veremos, esta questo
se torna muito mais simples quando nos restringimos apenas a funes analticas.
Se f (z) uma funo analtica numa regio E interior a um crculo C0 centrado em z0 , para qualquer
ponto em z 2 E podemos usar a formula integral de Cauchy (31) para escrever
I
1 f (z 0 )
f (z) = dz 0
2 i C1 z0 z

onde C1 um caminho fechado interior a E que tomaremos como um crculo de raio r1 . Vamos tomar C1
dentro de E de sorte que possamos traar um novo circulo C0 maior que C1 .

51
 Observe agora que
1 1 1 1
= = z z0 (33)
z0 z (z 0 z0 ) (z z0 ) (z 0 z0 ) 1 z 0 z0

mas para qualquer complexo com 6= 1 temos

n
1 2 n 1
=1+ + + ::: + +
1 1

Para ver isso, multiplique ambos os lados por (1 )

2 n 1 n
1 = (1 ) 1+ + + ::: + +
2 n 1 2 n 1 n n
= 1+ + + ::: + + + ::: + + +
n n
= 1 +

Assim, podemos escrever (33) como

" #
n 1 n
1 1 z z0 z z0 1 z z0
= 1+ 0 + ::: + + z z0
z0 z z0 z0 z z0 z0 z0 1 z 0 z0
z0 z0

multiplicando por f (z 0 ) temos

f (z 0 ) f (z 0 ) f (z 0 ) f (z 0 ) n 1
= + 2 (z z0 ) + ::: + n (z z0 )
z0 z z z0 (z 0 z0 ) (z 0 z0 )
f (z 0 ) 1 n
+ 0 n z z0 (z z0 )
(z z0 ) (z 0 z0 ) 1 z 0 z0
f (z 0 ) f (z 0 ) f (z 0 ) n 1
= + 2 (z z0 ) + ::: + 0 n (z z0 )
z z0 (z 0 z0 ) (z z0 )
f (z 0 ) 1 n
+ 0 n 0
(z z0 )
(z z0 ) (z z)

Dividindo cada termo por 2 i e integrando ao longo de C1 temos

I I I
1 f (z 0 ) f (z 0 )
1 1 f (z 0 )
dz 0 = 0
dz + (z z0 ) dz 0 +
2 i C1 z0 z C1 z2 iz0 2 i C1 (z 0 z0 )2
I
1 f (z 0 ) n
+::: + (z z0 ) dz 0 (34)
2 i C1 (z 0 z) (z 0 z0 )n

Usando agora a frmula de Cauchy para a derivada (32) temos que

I
1 f (z 0 ) 1 (k)
k+1
dz 0 = f (z0 )
2 i C1 (z z0 ) k!

52
Podemos ento escrever (34) como

f (n 1)
(z0 ) n 1
f (z) = f (z0 ) + f 0 (z0 ) (z z0 ) + ::: + (z z0 ) + Rn (35)
(n 1)!

onde n I
(z z0 ) f (z 0 ) 0
Rn = n dz :
2 i C1 (z 0 z) (z 0 z0 )
Vamos chamar de r1 o raio da nossa curva C1 . Pegando agora um ponto z dentro da curva C1 e um ponto
z 0 na curva C1 , i.e., jz 0 z0 j = r1 e jz z0 j = r < r1 . Com isso temos jz 0 zj = j~r1 ~rj r1 r (lembre
que z 0 o caminho sobre o circulo C1 de raio r1 ).
n I
jz z0 j f (z 0 ) 0
jRn j = n dz
2 C1 (z 0 z) (z 0 z0 )
n I
r f (z 0 ) 0
= 0 0 n dz
2 C (z z) (z z 0 )
I 1
rn jf (z 0 )j
jdz 0 j
2 C1 jz 0 zj jz 0 z0 jn
Z
rn 2 jf (z 0 )j
= r1 d
2 0 j~r1 ~rj (r1 )n
Z 2
r n r1 jf (z 0 )j
= n d
2 (r1 ) 0 j~r1 ~rj

(lembre-se que a integral de uma soma de vetores que sempre menor que a soma dos mdulos).
Lembrando que
jz 0 zj = j~r1 ~rj r1 r

temos Z Z Z
2 2 2
jf (z 0 )j jf (z 0 )j 1
d d = jf (z 0 ( ))j d
0 j~r1 ~rj 0 r1 r r1 r 0

Voltando na expresso de jRn j temos

Z 2
r n r1 1
jRn j n jf (z 0 ( ))j d
2 (r1 ) r1 r 0

Agora, se
M = max (jf (z 0 )j) ; z 0 2 E

ou seja, M o valor mximo do mdulo de f (jf (z 0 )j M ; z 0 2 E), este valor existe porque f
analtica em E.

53
 Podemos escrever Z Z Z
2 2 2
jf (z 0 ( ))j d M d =M d =2 M
0 0 0

Com isso temos n

r n r1 2 M r1 M r
jRn j n = ;
2 r1 (r1 r) r1 r r1
Mas como
r
<1
r1
temos
lim Rn = 0 :
n!1

(lembre-se que se uma seqncia converge em mdulo ela converge). Assim, quando n tende a innito o limite
da soma dos n termos do segundo membro da igualdade (35) converge e podemos escrever

1
X n f (n) (z)
f (z) = f (z0 ) + an (z z0 ) ; an =
n=1
n! z=z0

Lembrando agora que o circulo C1 que traamos um circulo qualquer dentro do circulo maior C0 , temos
como resultado que: quando f analtica no interior do circulo C0 a convergncia da sua srie de Taylor
est garantida. De outra forma, a convergncia da srie de Taylor em torno de um ponto z0 de uma funo
analtica est garantida at o primeiro ponto de singularidade da funo (i.e., onde a funo deixa de ser
analtica). Este o raio de convergncia da srie de Taylor de uma funo analtica.
Para o caso especial em que z0 = 0 esta srie chamada de srie de Maclaurin

X1
f (n) (0) n
f (z) = f (0) + z :
n=1
n!

Exemplo 1: Vamos desenvolver a srie de Maclaurin da funo

f (z) = ez

Verique que f inteira (exerccio). Para esta funo temos

f (n) (0) = 1

Assim, temos
X1
zn
ez = 1 + para jzj < 1 :
n=1
n!

Diferente do que ocorre para funes complexas, para o caso de funes reais devemos provar a convergn-

54
cia da srie de Taylor para toda a regio de interesse e, mais ainda, vericar que a srie converge para a
funo de interesse. Entretanto, os resultados obtidos aqui permitem obter estes resultados diretamente dos
resultados obtidos para funes complexa.
Por exemplo, no exemplo acima nossa funo inteira e, conseqentemente, a srie est denida e
converge para a funo em todo o espao. Em especial nos pontos sobre o eixo real. Com isso temos
que
X1
xn
ex = 1 + ; _x 2 R :
n=1
n!

O mesmo sendo verdade para qualquer funo inteira.

Exemplo 2:
" #
1 0 1
f (z) = ; f (0) = 2 = 1
1+z (1 + z) z=0
" # " #
00 1 (n) n 1 n
f (0) = 2 3 = 2 ; f (0) = ( 1) n! n+1 = ( 1) n! :
(1 + z) z=0 (1 + z) z=0

a srie de Maclaurin vale

1
X
1 n
= ( 1) z n
1 + z n=0

Observe que o raio de convergncia desta srie jzj < 1.

Exemplo 3: Vamos agora calcular a srie de Maclaurin da funo

1
f1 =
1 z

calculando as derivadas temos

n!
f (n) (z) = n+1 =) f (n) (0) = n!
(1 z)

e a srie toma a forma

X f (n) (0) 1
X
1
f1 (z) = z n =) = zn
n! 1 z n=0

cujo raio de convergncia vale jzj < 1 (at o ponto de singularidade z = 1).
Manipulao de sries:
Exemplo: Calcule a srie de Maclaurin da funo

1
f2 = para jzj < 1 :
1+z

55
 Vamos usar aqui a importante caracterstica de que a srie, se existir, nica. Diferente do exemplo
anterior, o ponto de singularidade desta funo z = 1. Entretanto, como jzj = j zj os pontos de
interesse tambm esto no raio de convergncia do exemplo anterior. De outra forma, podemos
usar a expanso anterior para os pontos para calcular f1 ( z) = f2 (z) ;

1
X 1
X n 1
f1 (z) = z n =) f1 ( z) = ( z) = = f2 ;
n=0 n=0
1+z
X1
1 n
= ( 1) z n ; jzj < 1 :
1+z n=0

0 0
Continuando com o exemplo, podemos fazer a substituio z = z + 1 z 1 = z tanto na srie quanto
no raio de convergncia da srie acima
1
X
1 n
= ( 1) z n ; jzj < 1 =)
1+z n=0
X1 n
1 1 n 0 0
= 0 = ( 1) z 1 ; z 1 <1
1 + z0 1 z n=0

1
Temos assim a srie de Taylor em torno do ponto z = 1 da funo f3 (z) = z . Observe que a funo se
torna singular em z = 0 que at onde vai o raio de convergncia.

5.1 Serie de Laurent

Vamos calcular a srie para a funo
1 + 2z 2
f (z) = :
z3 + z5
Para isso, vamos escrever esta funo na forma

1 1 + 2z 2 1 1 + 2z 2 + 2 2
f (z) = =
z3 1 + z2 z3 1 + z2
!
1 2 z2 + 1 1 1 1
= = 3 2
z3 1 + z2 z 1 + z2

Esta funo no pode ser expandida em torno de z = 0. Mas o segundo membro dentro dos parnteses
pode,
1
X 1
X
1 n 1 n
= ( 1) z n ; jzj < 1 =) = ( 1) z 2n ; jzj < 1
1 + z n=0 1 + (z 2 ) n=0

56
Ento, nos pontos jzj < 1, onde a srie acima est denida, e para o ponto z 6= 0 onde 1=z 3 tambm est
denido tempos

1
!
1 1 1 X n
2 = 2 ( 1) z 2n
z3 1 + z2 z3 n=0
1
= 2 1 + z 2 z 4 + z 6 + :::
z3
1 1
= 3
+ z 1 + z 3 + :::
z z
0 < jzj < 1

Assim, apesar de ter uma singularidade na origem ns conseguimos expandir a funo em srie na regio
entre dois crculos concntricos jzj > 0 e jzj < 1. Esta uma srie (num anel) em torno de um ponto singular
z = 0.
Diferente das sries de Taylor, a srie acima contm potncias negativas de z. Ou seja,

Remark 49 possvel tomar em conta a singularidade da funo se adicionarmos a srie potncias negativas
do termo de expanso.

Uma srie de potncias com potncias negativas chamada de srie de Laurent.

Se a funo f analtica na regio entre os crculos r2 < jz z0 j < r1 da gura, temos pela frmula
integral de Cauchy (31)
I I
1 f (z 0 ) 0 1 f (z 0 ) 0
f (z) = dz dz :
2 i C1 z0 z 2 i C2 z0 z

57
 Tratemos agora cada uma das integrais acima.

5.1.1 A primeira integral

Esta integral pode ser tratada exatamente como no caso da srie de Taylor. Fazendo

1 1 1 1
= = z z0
z0 z (z 0 z0 ) (z z0 ) z0 z0 1 z 0 z0

e usando

N
X1 n N
z z0 1 (z z0 ) (z z0 ) 1
= =) z z0 = n + N 1
z0 z0 1 z 0 z0 n=0
(z 0 z0 ) (z 0 z0 ) (z 0 z)

temos
Z Z Z
1 f (z 0 ) 0 1 0 1 1 0 1 1
dz = f (z ) 0 dz = f (z 0 ) z z0 dz 0
2 i C1 z0 z 2 i C1 z z 2 i C1 z0 z0 1 z 0 z0
Z " n
#
1 1 X1 (z z0 )
k
(z
n
z0 ) 1
= f (z 0 ) 0 k
+ n 1 dz 0
2 i C1 z z0 (z 0 z0 ) (z 0 z0 ) (z 0 z)
k=0
n
X1 m
= am (z z0 ) + R n
m=0

onde
Z
1 f (z 0 )
an = n+1 dz 0 ; n = 0; 1; ::::
2 i C1(z 0 z0 )
n Z
(z z0 ) f (z 0 ) 0
Rn = 0 n dz :
2 i C1 (z z) (z 0 z0 )

Tanto os coecientes an quanto RN so os mesmos obtidos para a srie de Taylor. E sabemos que limn!1 jRn j =
0.

5.1.2 Segunda integral fazemos

Lembrando que para obter

n
r1 M r
lim jRn j = lim =0:
n!1 n!1 r1 r r1
usamos que

r
<1
r1

58
este procedimento no funciona para o circulo C2 , pois, neste caso r > r2 . Assim, para a segunda integral,
devemos seguir um outro caminho. Fazendo

1 1 1 1
= = z 0 z0
z0 z (z z0 ) (z 0 z0 ) (z z0 ) 1 z z0

1 1
(onde colocamos em evidncia (z z0 ) e no (z 0 z0 ) , como antes) usando, novamente,

n
X1 n
1 k
= +
1 1
k=0

temos n
n (z0 z0 )
z0 z0 1 X1 (z 0 z0 )
k
(z z0 ) n 1
= =) = k
+
z z0 1 z0z0 (z z0 ) (z z0)
z z0 k=0

assim !
n
X1 k n
1 (z 0 z0 ) 1 (z 0 z0 )
= k+1
+ n
z0 z (z z0 ) (z z 0 ) (z z0 )
k=0

mudando para k = m 1

n
!
1 X (z 0 z0 )
m 1
1 (z 0 z0 )
n
= m + n
z0 z m=1
(z z0 ) 0
(z z ) (z z0 )

com o que, a segunda integral ca,

I I
1 f (z 0 ) 0 1 1
dz = f (z 0 ) dz 0
2 i C2 z0 z 2 i C2 z0 z
n I " #
1 X (z 0 z0 )
m 1
1 (z 0 z0 )
n
= m + f (z 0 ) dz 0
2 i
C2 m=1 (z z0 ) (z z 0 ) (z z0 )n
Xn I
1 m 1 1
= (z 0 z0 ) f (z 0 ) dz 0 m
m=1
2 i C2 (z z0 )
I n
1 1 (z 0 z0 )
+ n f (z 0 ) dz 0
2 i C2 (z z 0 ) (z z0 )
Xn
1
= bk k
+ Qn
k=1 (z z0 )

59
onde
Z Z
1 0 n 1 0 1 0 f (z 0 ) 0
bn = (z z0 ) f (z ) dz = n+1 dz
2 i C2 2 i C2 (z 0 z0 )
I n
1 (z 0 z0 )
Qn = n f (z 0 ) dz 0
2 i (z z0 ) C2 (z z0)

Fazendo jz z0 j = r ; jz 0 z0 j = r2 , jz 0 zj = j~r ~r2 j r r2

Z n Z n
1 (z 0 z0 ) 1 jz 0 z0 j
jQn j = n f (z 0 ) dz 0 jf (z 0 )j jdz 0 j
2 jz z0 j C2 (z z0) 2 rn C2 jz z 0 j
Z 2 n Z 2
1 (r2 ) 1 n r2
jf (z 0 )j r2 d = (r2 ) jf (z 0 )j d
2 rn 0 r r2 2 r n r r2 0

Denindo
N = max (jf (z)j)

temos Z 2
jf (z 0 )j d 2 N
0

e, consequentemente,
r2 n N r2
jQn j
r r r2
Como agora
r2
r2 < r < r1 ) <1;
r
temos
lim jQn j = 0 :
n!1

Com isso temos

1
X 1
X
n bn
f (z) = an (z z0 ) + n
n=0 n=1
(z z0 )
I
1 f (z 0 )
an = n+1 dz 0
2 i C1 (z 0 z0 )
I
1 f (z 0 )
bn = n+1 dz 0
2 i C2 (z 0 z0 )

Alm disso, sendo a funo analtica em todo o domnio r2 < jz z0 j < r1 ento, com a devida orientao,
podemos usar o teorema de Cauchy (27) e mostrar que
I I I
= =
C1 C2 C

60
onde C qualquer caminho na regio anular onde a funo analtica. Temos ento o teorema:

Theorem 50 Se f analtica na regio entre os crculos C1 de raio r1 e C2 de raio r2 , ambos centrados em

z0 ento em cada ponto z da regio r2 < jz z0 j < r1 , f (z) representada por uma srie convergente de
potncias positivas e negativas de (z z0 ),

1
X 1
X
n bn
f (z) = an (z z0 ) + n
n=0 n=1
(z z0 )
I
1 f (z 0 )
an = n+1 dz 0
2 i C (z 0 z0 )
I
1 f (z 0 )
bn = n+1 dz 0 (36)
2 i C (z 0 z0 )

onde C qualquer caminho simples fechado na regio r2 < jz z0 j < r 1 .

Esta frmula pode ser escrita na forma mais compacta

1
X I
n 1 f (z 0 )
f (z) = An (z z0 ) ; An = n+1 dz 0 : (37)
n= 1
2 i C (z 0 z0 )

importante observar que, mesmo no caso dos coecientes dos termos positivos an , no podemos mais
identicar as integrais com as derivadas da funo (usando a frmula (32)) porque a funo no mais
analtica no interior da curva fechada C. Assim, no caso geral, os coecientes devem ser calculados com as
tcnicas de integrao j desenvolvidas. Entretanto, como veremos, estes coecientes raramente precisam ser
calculados explicitamente.
Se a funo analtica em todos os pontos (incluindo z0 )
I
1 f (z 0 )
bn = n+1 dz 0 = 0 ; n > 0
2 i C (z 0 z0 )

porque no h singularidade no integrando. Alm disso, como neste caso f analtica em todos os pontos
no interior de C, podemos novamente usar a frmula integral de Cauchy para as derivadas nos coecientes
an . Assim, neste caso, voltamos a ter a srie de Taylor.
Exemplo: Encontrar a srie de Laurent em torno de z = 0 da funo

ez
f (z) = ; jzj > 0
z2

Neste caso, como a funo analtica para todo z 6= 0 o circulo C1 innito. Para encontrar a srie
procurada precisamos apenas lembrar que a srie de Laurent tambm nica. Assim, se encontrarmos
uma expanso em srie (qualquer uma) que seja igual a nossa funo na regio de interesse, ento esta a
nossa srie.

61
 Usando a srie de Maclaurin da exponencial temos

X1
zn
ez =
n=0
n!

(que vlida em todo o espao) basta observar agora que, para qualquer ponto z 6= 0 a seguinte srie
converge
1 1
1 X zn X zn 2 1 1 1 z z2
= = + + + + + :::
z 2 n=0 n! n=0
n! z2 z 2! 3! 4!

como esta srie convergente na regio de interesse e, nesta regio, ela igual a nossa funo,
ento esta a srie procurada.

Remark 51 A nossa srie comea com o coeciente b2 = 1 (e no de 1).

Voc poderia obter o resultado acima usando a denio (36) atravs de um caminho qualquer em torno
de z0 = 0 e da parametrizao deste caminho. Neste caso voc encontraria
Z (
1 f (z 0 ) 0 0 ; n 6= 2
bn = n+1 dz =
2 i C (z 0 z0 ) 1; n=2

Isso sempre funciona. Entretanto, o mtodo descrito acima o que usamos na prtica.
Exemplo: Encontre a srie de Laurent em torno de z = 1 da funo

1
f= 2 ; jzj < 1 :
(z 1)

Esta expresso j est na forma da srie (37) com A 2 = 1 e todos os outro An = 0.

62
 Exemplo: Obter a srie de Laurent que represente a funo

1
f=
z2 (1 z)

na regio 0 < jzj < 1:

Esta funo possui 2 singularidades, ento podemos achar sua representao em srie em cada uma
destas regies, 0 < jzj < 1; jzj > 1. Estamos interessados na primeira regio.
Observando que 1= (1 z) no singular em z = 0, portanto podemos escrever a srie de MacLaurin

1 X
= z n ; jzj < 1 (38)
1 z

e sabendo, claro, que a srie convergente para jzj < 1.

Observando agora que, para jzj > 0, 1=z 2 tambm no singular (e j tem a forma de uma srie de
Laurent). Temos que o produto das sries

1 X X 1 1
zn = zn 2
= + + 1 + z + z 2 + :::
z2 z 2 z
0 < jzj < 1

converge na regio de interesse e a srie procurada

Exemplo: O mesmo do item anterior na regio jzj > 1. Nesta regio a srie (38) obtida anterior-
mente no converge. Entretanto podemos escrever

1 X 1
n
1 1 1X 1
n

1 = =) =
1 z
z z 1 z1 z z
1 1 X 1 1 X 1 1 X 1
= =) = =) =
z 1 z zn 1 z z n+1 1 z n
z n+1

que converge na regio de interesse jzj > 1. Assim

! 1 1
1 X 1 X 1 X 1 X 1
= = =
z2 n
z n+1 n
z n+1+2 n=0
z n+3 n=3
zn

a srie procurada na regio jzj > 1.

Remark 52 Se uma srie converge num certo domnio interior ao crculo jz z0 j < R esta srie uma
funo analtica neste domnio.

63
 Exemplo: Verique se a seguinte funo inteira
(
(sin z) =z ; z 6= 0
f (z) =
1; z=0

A srie de Maclaurin do seno vale

1
X n z 2n+1
sin z = ( 1)
n=0
(2n + 1)!

Podemos ento calcular

1 1
1 1X n z
2n+1 X n z 2n z2 z4
sin z = ( 1) = ( 1) =1 + + :::
z z n=0 (2n + 1)! n=0 (2n + 1)! 3! 5!

Esta srie converge em todo espao, ento ela representa uma funo analtica em todo o espao
(uma funo inteira). Alm disso, ela igual a nossa funo em todos os pontos e, como a expanso em
srie nica, esta a expanso em srie da nossa funo. Ento a nossa funo inteira. Uma vez
que isso garante que nossa funo contnua, podemos calcular

sin z
lim =1:
z!0 z

O que vlido, em especial, para o eixo real.

6 Resduos
Vimos anteriormente que (pelo teorema de Cauchy-Goursat) a integral num circuito fechado que encerra uma
regio onde a funo analtica vale zero
I
f (z) dz = 0 :
C

Por outro lado, se a funo deixa de ser analtica num ponto, a integral ao longo deste ponto no vale mais
(necessariamente) zero. Mas, como vimos este valor o mesmo para qualquer circuito que envolva o ponto
(desde que este circuito no englobe outras singularidades da funo). Este valor proporcional ao chamado
resduo da funo no ponto. Obviamente, conhecendo todos os resduos de uma funo, podemos calcular
sua integral ao redor de qualquer circuito fechado.
Um ponto singular (i.e., um ponto onde uma funo deixa de ser analtica) de uma funo f (z) chamado
de isolado, se f for analtica em toda uma vizinhana (por menos que seja) deste ponto. De outra forma,
um ponto singular z0 uma singularidade isolada se for possvel encontrar um raio r onde, no crculo
0 < jz z0 j < r, a funo f (z) analtica.

64
Remark 53 Resduos so denidos apenas para singularidades isoladas.

Exemplo: A funo
z+1
f (z) =
z3 (z 2 + 1)
possui 3 singularidades isoladas nos pontos z = i e z = 0.
Exemplo: A funo
1
f (z) =
sin z

singular em z = 0 e em z = n =) z = 1=n. A singularidade z0 = 0 no isolada. Pois, no importa o

tamanho do raio r, sempre podemos achar um n sucientemente grande tal que n1 < r. Ento, no existe
uma vizinhana do ponto z = 0 que no contenha outra singularidade. Vemos ento, que quando
denimos a srie de Laurent em torno de uma singularidade, estvamos falando de uma singularidade isolada.
Pois para uma singularidade no isolada a sria no teria raio de convergncia.
Assim, para uma singularidade isolada z0 , sempre podemos expandir f numa srie de Laurent
1
X 1
X
n bn
f (z) = an (z z0 ) + n ; 0 < jz z0 j < r :
n=0 n=1
(z z0 )

onde I I
1 f (z 0 ) 1 f (z 0 )
an = n+1 dz 0 ; bn = n+1 dz 0
2 i C (z 0 z0 ) 2 i C (z 0 z0 )
Como vimos, as singularidades da funo esto relacionadas com as potncias negativas desta srie, ou
seja, com os coecientes I
1 f (z 0 )
bn = dz 0 ;
2 i C (z 0 z0 ) n+1
onde C caminho fechado que circunda a singularidade z0 . Em especial, temos
I I
1 0 0
n = 1 ) b1 = f (z ) dz ) f (z 0 ) dz 0 = 2 ib1 ;
2 i C C

ou seja, 2 b1 exatamente a integral da nossa funo em torno da singularidade. O coeciente b1 chamado

de resduo da funo f na singularidade isolada z0 ,

b1 = Res f (z) B:
z=z0

Assim, o resduo de uma funo (i.e., o primeiro termo de uma srie de Laurent) fornece uma ferramenta
poderosa para o clculo de integrais em contornos fechados.
Exemplo: Vamos calcular a integral Z
1
4 dz
C z (z 2)

65
onde C o circulo jz 2j = 1.
O integrando possui duas singularidades isoladas (obviamente todo nmero nito de singularidades
isolado) z = 0 e z = 2. Entretanto, apenas a singularidade z = 2 est dentro da regio de integrao. Vamos
determinar a srie do integrando em torno do ponto de interesse z = 2 (ou seja, vamos deixar todos os termos
na forma (z z0 ) com z0 = 2)

1 1 1
4 = 4
z (z 2) (z 2) 2 + (z 2)
1 1 1
= 4
(z 2) 2 1 + (z 2)
2

Usando
1
X
1
= z n ; jzj < 1
1 z n=0

temos
1
X 1
X n
(z 2) 1 1 1 (z 2)
z! =) = zn ! h i= (z 2)
= ;
2 1 z n=0 1 (z 2) 1+ n=0
2
2 2

z 2
< 1 =) jz 2j < 2
2

como nosso problema est dentro do limite desta srie

X1 1
1 X ( 1)
n n
1 ( 1) n 1 1 n
= (z 2) =) 4 = 4 (z 2)
1+ (z 2)
n=0
2n z (z 2) (z 2) 2 n=0 2n
2
1
X n 4
1 (z 2) 1 1 1 1
4 = = 4 3 + 2 1 + :::
z (z 2) n=0
2n+1 2 (z 2) 22 (z 2) 23 (z 2) 24 (z 2)

1
o coeciente da srie que multiplica o termo (z 2) , i.e., o coeciente b1 , vale
Z
1 1 1
b1 = = = f (z 0 ) dz 0
24 16 2 i C
Z
i
f (z 0 ) dz 0 = :
C 8

Exemplo: Z
1
exp dz
C z2

66
onde C o crculo jzj = 1. A singularidade (isolada) est em z = 0. Sabendo que

X zn X 1 n 1
X
1 z2 1
exp (z) = ; jzj < 1 =) exp = =
n! z2 n! n=0
z 2n n!

esta srie converge para

1 1
jzj < 1 ! < 1 =) < jzj =) 0 < jzj
z 1
Ento a expanso em srie do nosso integrando ca

1 1 1
exp =1+ + 4 + :::
z2 z 2 z 2!

Quanto vale b1 ? Z
1
b1 = 0 = f (z 0 ) dz 0 :
2 i C

Remark 54 Do exemplo acima observe que

I
Analiticidade =) f dz = 0 :
C

mas I
f dz = 0 ; Analiticidade :
C

Exceto para o caso em que f no explode dentro da regio de interesse (T. de Moreira).

(Contorno com vrias singularidades)

Suponha agora que o contorno C envolva uma quantidade nita (portanto isoladas) de singularidades
zn .
Fazendo ento uma integral na regio que no engloba nenhum ponto singular, i.e., onde a funo
analtica, temos I XI I XI
f dz f dz = 0 ) f dz = f dz
C n Cn C n Cn

lembrando agora que, em torno de cada singularidade zn temos

Z
1
f (z 0 ) dz 0 = Res f (z)
2 i C z=zn

temos I XI X
f dz = f dz = 2 i Res f (z) :
C Cn z=zn
n n

Este o teorema dos resduos de Cauchy.

67
 Figure 3: Figura tirada do livro do Churchill.

Exemplo: Calcule a integral I

5z 2
dz
C z (z 1)
onde C o crculo de raio 2 centrado na origem, jzj = 2.
O integrando possui duas singularidades, z = 0 e z = 1, ambas dentro da regio de integrao. Vamos
primeiro calcular o resduo em z = 0,

5z 2
z (z 1)
1 1 1
=
z (z 1) z (z 1)
1
X
1
= z n ; jzj < 1
1 z n=0

lembre que para clculo do resduo o crculo em torno da singularidade pode ser quo pequeno quanto se
queira. Com isso,
1 1
(5z 2) (5z 2) X X
= zn = (5z 2) zn 1
z (z 1) z n=0 n=0
1
X 1
X
= 5 zn + 2 zn 1

n=0 n=0
1
X 1
X
(5z 2)
n 1 = m =) =2 zm 5 zn
z (z 1) m= 1 n=0
X1 1
X 1
X 1
X
1 1 2
= 2 +2 zm 5 z n = 2 + (2 5) zn = 3 zn
z m=0 n=0
z n=0
z n=0

68
 Res f (z) = 2 B1
z=0

Agora, para o resduo z = 1 temos

1 1 1 1 1
= =
z (z 1) (z 1) z (z 1) 1 + (z 1)
X1 X1
1 n 1 n n
= ( 1) z n ; jzj < 1 =) = ( 1) ((z 1)) ; jz 1j < 1
1+z n=0
1 + (z 1) n=0

com isso
1
X
5z 2 1 1 1 n n
= (5z 2) = (5z 2) ( 1) (z 1)
z (z 1) (z 1) z (z 1) n=0
2
5z 2 = 5 (z 1) + 1
5
1
5z 2 2 X n n 1
= 5 (z 1) + 1 ( 1) (z 1)
z (z 1) 5 n=0
" 1 1
#
X n n 1 2 X n n 1
= 5 (z 1) ( 1) (z 1) + 1 ( 1) (z 1)
n=0
5 n=0
" 1 1
#
X n n 2 X n n 1
= 5 ( 1) (z 1) + 1 ( 1) (z 1)
n=0
5 n=0
1
X n n 1
= 5 ( 1) (z 1) + 3 + :::
n=0
(z 1)

Res f (z) = 3 B2
z=1

Pelo teorema dos resduos

I X
f dz = 2 i Res f (z) = 2 i (B1 + B2 )
C z=zn
n
= 2 i (2 + 3) = 10 i

Exemplo (continuao): No exemplo acima, podemos tambm desenvolver uma nica srie de Laurent

69
em torno da origem, mas que seja vlida para r > 1,

5z 2 1 5z 2
=
z (z 1) z z 1
X1 1
1X
n
1 1 1 1 1
= z n ; jzj < 1 =) 1 = ; < 1 =) jzj > 1
1 z n=0
z 1 z
z n=0 z z
1
X
5z 2 1 1 1
= (5z 2) n+2
= (5z 2) + (5z 2) + :::
z (z 1) n=0
z z2 z3

Logo o resduo vale Z

5z 2
B = 5 =) dz = 2 i5 = 10 i :
C z (z 1)

m
6.0.3 Integrais de funes da forma g (z) = (z z0 )

Para integrais da forma (com g analtica em z0 )

I
g (z)
dz (39)
C (z z0 )

onde C circunda a singularidade z0 temos

I
1 g (z)
b1 = dz :
2 i C (z z0 )

Mas se g analtica em z0 e o raio de C for pequeno o suciente, podemos usar a frmula integral de
Cauchy para escrever I
1 g (z)
g (z0 ) = dz
2 i C z z0
de onde temos I
1 g (z)
b1 = dz = g (z0 ) : (40)
2 i C (z z0 )
Ou seja, o resduo o prprio valor de g calculada em z0 .
Exemplo: Vamos voltar para a integral
I
5z 2
dz
C z (z 1)

70
onde C o crculo de raio 2 centrado na origem, jzj = 2. Usando uma decomposio em fraes parciais:

5z 2 A B A (z 1) + Bz
= + =
z (z 1) z (z 1) z (z 1)
(A + B) z A
=) A = 2 ; B = 3
z (z 1)

temos I I I
5z 2 2 3 5z 2 2 3
= + =) dz = dz + dz
z (z 1) z (z 1) C z (z 1) C z C (z 1)
Cada uma das integrais acima da forma (39) em torno das singularidades z = 0 e z = 1
I I
2 g (z)
dz = dz ; g (z) = 2
C z z
I IC
3 g (z)
dz = dz ; g (z) = 3
C (z 1) C z

Usando a frmula (40) e o teorema dos resduos

Z
5z 2
dz = 2 i (2 + 3) = 10 i :
C z (z 1)

Observe que poderamos, anteriormente, ter usado o resultado acima. Pois as duas funes no integrando
j esto na forma de sua srie de Laurent onde vigora apenas o coeciente b1 .
Exemplo:
I
exp z 2
2
dz
C z +1

onde C o crculo de raio 2 centrado na origem, jzj = 2.

As singularidades esto em z = i, ambas dentro do caminho. Observando que z = i so as razes do
denominador do integrando, podemos escrever

1 1
=
z2 + 1 (z + i) (z i)

Se quisermos ento calcular o resduo em torno do ponto z = i fazemos

Z Z
exp z 2 exp z 2 1
dz = dz
C1 z2 + 1 C1 (z + i) (z i)

onde C1 um caminho (pequeno o suciente para no englobar z = i) esta integral da forma (39)
Z Z
exp 2 z 1 g (z) exp 2 z
dz = dz ; g (z) =
C1 (z + i) (z i) C1 (z i) (z + i)

71
observe que g (z) analtica dentro do caminho de integrao. Assim o resduo vale

exp i 2 i 1
B1 = g (z = i) = = = :
2i 2i 2

Da mesma forma, para o resduo em z = i,

Z Z
exp 2z 1 g (z) exp 2z
dz = dz ; g (z) =
C2 (z i) (z + i) C2 (z + i) (z i)
exp 2i i 1
B2 = g (z = i) = = =
2i 2i 2

onde C2 um caminho (pequeno o suciente para no englobar z = i). Pelo teorema dos resduos
Z
exp (z) 1 1
dz = 2 i + =2 i
C z2 + 1 2 2

Remark 55 O procedimento acima pode ser usado para o clculo de resduos da forma f (z) = (z n z0 ), com
f (z) analtica nas razes do denominador.

Vamos tentar generalizar este resultado para a integral de funes na forma

g (z)
f (z) = m
(z z0 )

com g (z) analtica em z0 e g (z0 ) 6= 0. Como g analtica na regio de interesse ela pode ser decomposta
em srie de Taylor em torno do ponto z0 (onde f singular)

X1
g (n) (z0 ) n
g (z) = (z z0 ) :
n=0
n!

Numa regio arbitrariamente prxima de z0 a seguinte srie converge

1
X X1
1 g (n) (z0 ) n g (n) (z0 ) n m
m (z z0 ) = (z z0 ) ; 0 < jz z0 j < "
(z z0 ) n=0 n! n=0
n!

Ento, nesta regio, este o desenvolvimento em srie de Laurent da funo f o coeciente b1 desta srie

72
(i.e., o termo que multiplica 1= (z z0 )) vale

k 1 = n m)k 1+m=n
X1 1
X
g (n) (z0 ) n m g (k 1+m) (z0 ) k 1
(z z0 ) ! (z z0 )
n=0
n! (k 1 + m)!
k=1 m

g (m 1)
(z0 )
k = 0)
(m 1)!

com isso
g (m 1)
(z0 )
b1 =
(m 1)!
Este resultado, juntamente com (40) mostra que
(
g (z) g (z0 ) ; m = 1
Res m = g (m 1) (z0 ) (41)
z=z0 (z z0 ) ; m 2
(m 1)!

para g (z) analtica em z0 e g (z0 ) 6= 0.

Exemplo: Encontre o resduo da funo

z 3 + 2z g (z)
f (z) = 3 = 3 ; g (z) = z 3 + 2z
(z i) (z i)

Esta funo tem uma singularidade em z = i. Neste ponto g analtica e g (i) 6= 0 ento

g (3 1)
(z = i) [g 00 (z)]z=i
b1 = =
(3 1)! 2
g 0 (z) = 00
3z + 2 ; g (z) = 3
3
b1 = :
2

6.1 Razes de funes analticas

Para o clculo do resduo de funes na forma

p (z)
f (z) = ;
q (z)

com p e q funes analticas num ponto z0 e q (z0 ) = 0 (i.e., z0 um ponto singular de f ) podemos proceder
como no caso anterior. Assim, usando o fato das funes serem analticas em z0 podemos expandi-las em
srie de Taylor e tomar a razo (aqui estamos usando o fato de que se q (z) analtica e q (z0 ) = 0, ento

73
existe uma vizinhana em torno de z0 tal que q (z) 6= 0 para jz z0 j < ", ou q (z) uma constante, veja, e.g.,
Churchill Sec. 65)

p (z) p (z0 ) + p0 (z0 ) (z z0 ) + :::

= 2
q (z) q0 q 00
(q (z0 ) = 0) + (z0 ) (z z0 ) + (z0 ) (z z0 ) =2! + :::
1 p (z0 ) + p0 (z0 ) (z z0 ) + :::
= ; 0 < jz z0 j < "
(z z0 ) q (z0 ) + q 00 (z0 ) (z z0 ) =2! + :::
0

Agora, se q 0 (z0 ) 6= 0 a expresso entre colchetes est denida tambm em z0 , assim se denirmos

p (z) p (z0 ) + p0 (z0 ) (z z0 ) + :::

g (z) = (z z0 ) = 0 (42)
q (z) q (z0 ) + q 00 (z0 ) (z z0 ) =2! + :::

a funo g ser analtica em z0 , alem disso

p (z)
g (z) = (z z0 ) = (z z0 ) f (z) ;
q (z)

ou ainda
g (z)
f (z) = ;
(z z0 )
com g (z) analtica em z0 . Usando agora o resultado (41) temos

g (z) g (z)
f (z) = =) Res f (z) = Res = g (z0 )
(z z0 ) z=z0 z=z0 (z z0 )

e, voltando a srie (42) temos

p (z0 ) + p0 (z0 ) (z0 z0 ) + ::: p (z0 )

g (z0 ) = = 0 :
q 0 (z0 ) + q 00 (z0 ) (z0 z0 ) =2! q (z0 )

Concluindo, se p (z) e q (z) so analticas em z0 com q (z0 ) = 0 e q 0 (z0 ) 6= 0, ento

p (z) p (z0 )
Res = :
z=z0 q (z) q 0 (z0 )

Exemplo: Calcule os resduos da funo

cos z
f (z) =
sin z

As funes seno e cossenos so inteiras. As singularidades de f esto nos pontos sin z = 0 =) zn =

74
n (exerccio: mostre isso). Alm disso, para cada um destes pontos

d d n
sin z = cos z =) sin z = ( 1) 6= 0
dz dz z=zn

Ento nossos resduos so

cos z cos zn
Res = =1:
z=zn sin z cos zn

75
 Figure 4: Figura tirada do livro do Churchill

6.2 Caminhos que englobam todas as singularidades

Os resultados acima podem ser simplicados quando o caminho C engloba todas as singularidades da funo.
Lembre-se que a integral pode ser calculada atravs do primeiro termo da srie de Laurent. O que
queremos aqui desenvolver um mtodo para que possamos usar os resultados acima (as tcnicas para
calcular os resduos), para o caso de caminhos que envolvam todas as singularidades.
Se a funo f (z) analtica em toda uma regio fora da curva fechada C da gura, podemos ento traar
um crculo C1 , de raio R1 e centrado em z = 0, sendo a funo analtica na regio entre C1 e C, a integral
por ambos os caminhos a mesma.
Z Z
f (z) dz = f (z) dz :
C C1

Agora, na regio exterior a C1 a funo analtica e, portanto, pode ser expandida numa srie de Laurent
1
X
f (z) = An z n ; R1 < jzj < 1
n= 1
I
1 f (z)
An = dz (43)
2 i C0 z n+1

Onde C0 qualquer crculo de raio R0 > R1 . Pois, como a funo analtica nesta regio, a integral por
ambos os caminhos tem o mesmo valor.

76
 Como no caso anterior, o coeciente A 1 fornece
I
1
A 1 = f (z) dz (44)
2 i C0

Entretanto, como a funo engloba vrias singularidades, este coeciente no mais o resduo da
funo. Em especial, no podemos diminuir o crculo C0 em torno de nenhuma das singularidades sem
alterarmos o valor da integral. Lembre-se que o resduo era a caracterstica de um ponto e, sendo a funo
analtica em torno deste ponto, podamos usar um caminho de raio arbitrariamente pequeno. Alm disso,
resduos s esto denidos para singularidades isoladas. Ou seja, para que o coeciente A 1 sej o resduo
de uma funo, necessrio que o domnio de validade da expanso seja algo como 0 < jz z0 j < r, pois
assim podemos garantir que a singularidade em z = z0 uma singularidade isolada. Assim, obviamente o
desenvolvimento em srie acima (uma vez efetuado) permite calcular o valor da integral, mas para usarmos
os resultados anteriores, precisamos transformar este coeciente num resduo, i.e., uma integral em torno de
uma singularidade isolada.
Agora, se na expanso (43) trocarmos z por 1=z temos

1
z ! ;
z0
X 1
1 1 1 1
f = An 0n ; R0 < 0 < 1 =) > jz 0 j > 0
z0 n= 1
z z R1

e agora o domnio de validade dos nossos coecientes tem a forma necessria para especicar um resduo.
0
Porm, o coeciente que multiplica z 1 nesta nova srie A1 e no mais A 1 .
Entretanto, se multiplicarmos a srie por z 2 temos
1
X
1 1 1 1
f = An ; > jzj > 0 ;
z2 z n= 1
z n+2 R1

lembrando que jzj > 0 est nova srie tambm esta bem denida. O domnio de validade desta nova srie
1
R1 > jzj > 0 mostra que z = 0 uma singularidade isolada da funo a esquerda da igualdade, portanto

1 1
A 1 = Res f :
z=0 z2 z

Usando agora (44) e lembrando que podemos integrar tanto ao longo de C1 como C, temos
Z
1 1
f (z) dz = 2 iRes f :
C z=0 z2 z

Assim a integral da funo f numa regio envolvendo vrias singularidades, pode ser calculada atravs de

77
um nico resduo de uma determinada funo.
Exemplo: Vamos agora voltar ao clculo da integral
Z
5z 2
dz
C z (z 1)

onde C o crculo de raio 2 centrado na origem, jzj = 2. Como vimos anteriormente este caminho engloba
as duas singularidades da funo. Usando a gora o resultado desenvolvido acima, podemos calcular

1
5z 2 1 5 z 2 5 z2
f (z) = =) f =z 1 =z
z (z 1) z z 1 (1 z)
1 1 5 2z A B A + (B A) z
f = = + =) ; A=5
z2 z z (1 z) z (1 z) z (1 z)
Z
5z 2 1 1
dz = 2 iRes f = 2 i5 = 10 i :
C z (z 1) z=0 z2 z
Lembre-se que este mesmo exemplo

6.3 Plos e tipos de singularidade

Como vimos, na srie de Laurent a parte com potncias negativas
Z
1 f (z 0 )
bn = n+1 dz 0 = 0 ; n > 0
2 i C (z 0 z0 )

responsvel por reproduzir a singularidade da funo. Estes termos so chamados parte principal da srie.
Assim, o estudo dos diferentes tipos de singularidade est relacionado com o estudo da parte principal da
srie da funo.
Estamos interessados apenas no estudo de singularidades isoladas.
Podemos identicar 3 diferentes de singularidade, i.e., diferentes tipos de comportamento da funo em
torno da singularidade.

1. Se a parte principal nita

bm 6= 0 ; bm+1 = bm+2 = ::: = 0

a singularidade isolada chama de um plo de ordem m. Um plo de ordem m = 1 chamado um plo

simples.
Exemplo: como vimos antes

X1
ez zn 2 1 1 1 z z2
f (z) = = = + + + + + ::: ;
z2 n=0
n! z2 z 2! 3! 4!
jzj > 0

78
 esta funo tem um plo de ordem 2 em z = 0.
Se z0 um plo temos
lim f (z) = 1 :
z!z0

2. O segundo tipo de singularidade ocorre quanto todos os termos da parte principal da srie so zero.
Este tipo de singularidade chamado de removvel.
Exemplo: a funo
sin z
f (z) = ;
z
possui uma singularidade isolada em z = 0. O desenvolvimento em srie desta funo fornece
1
X X1
n z 2n+1 1 n z 2n
sin z = ( 1) =) sin z = ( 1)
n=0
(2n + 1)! z n=0
(2n + 1)!
z2 z4
= 1 + + :::
3! 5!

Esta srie descreve a nossa funo para z 6= 0. Observe agora que se denirmos

f (0) = 1

a srie passa a descrever a nossa funo em todos os pontos do espao. Como esta srie converge em
todo espao, ela descreve uma funo analtica em todo espao. Assim, a funo
(
sin z
z; jzj > 0
f (z) =
1; z=0

inteira. Por ser inteira, sabemos que esta funo contnua e os limites no dependem do caminho,
assim podemos armar que
sin z
lim = lim f (z) = f (0) = 1 :
z !0 z z!0

Observe que denindo f (0) 1 ns removemos a singularidade da funo. Este processo sempre
pode ser realizado para este tipo de singularidade, por isso este tipo de singularidade chamado de
removvel.

3. Quando existem innitos termos na parte principal da srie, a singularidade chamada de essencial.
Exemplo: Como vimos
X1
1 1 1
exp = ; 0 < jzj < 1
z n=0
n! zn

A identicao do tipo de singularidade da funo permite simplicar a determinao de seus resduos e,

conseqentemente, o clculo de suas integrais em contornos fechados, alm de informar sobre o comportamento

79
da funo prximo a singularidade:

1. Se a singularidade da funo removvel, o resduo desta singularidade , obviamente, nulo. Se z0

um plo removvel temos
lim f (z) = c ; c 2 C
z!z0

2. Se a funo f (z) possui um plo de ordem m, a seguinte funo possui um plo removvel em z0

m
g (z) = (z z0 ) f (z) (45)

A remoo deste plo torna uma funo analtica em toda a regio em torno de z0 e inclusive em z0 .
1
Assim, esta funo g possui uma srie de Taylor cujo coeciente que multiplica o termo (z z0 ) vale

g (m 1)
(z0 )
b1 =
(m 1)!

usando o procedimento da seo anterior temos o resultado (41)

(
g (z) g (z0 ) ; m = 1
Res f (z) = Res m = g (m 1) (z0 ) :
z=z0 z=z0 (z z0 ) ; m 2
(m 1)!

Com g (z) dado em (45).

Se z0 um plo temos
lim f (z) = 1 :
z!z0

3. Se a singularidade essencial, praticamente todas as tcnicas desenvolvidas no se aplicam e o clculo

dos resduos deve ser feito diretamente pelo desenvolvimento da srie de Laurent da funo. Se z0
uma singularidade essencial, ento, em cada vizinhana de z0 a funo assume todos os valores nitos,
com a possvel exceo de um valor, este o teorema de Picard.

80
7 Clculo de integrais reais
No clculo uma integral chamada de imprpria se um dos limites de integrao for innito, ou se a
funo no estiver denida em algum ponto dentro do intervalo de integrao. Neste ltimo caso,
o valor calculado pode depender da denio da integral (e.g., integral de Riemann, integral de Lebesgue) e
um problema da teoria da medida. Em especial o valor da integral pode estar denido apenas para certas
denies. Aqui estamos interessados apenas no caso em que um dos limites de integrao innito.
Nosso objetivo calcular uma integral da forma
Z 1
f (x) dx :
0

No clculo diferencial para funes reais a integral imprpria de uma funo f (x), contnua para x 0
pode ser denida como
Z 1 Z R
f (x) dx = lim f (x) dx ; (46)
0 R!1 0

esta integral est denida quando o limite acima existe. De forma anloga, se f (x) contnua em todo o
plano
Z 1 Z 0 Z R2
f (x) dx = lim f (x) dx + lim f (x) dx : (47)
1 R1 !1 R1 R2 !1 0

Entretanto, mesmo para funes contnuas, o limite acima pode no existir.

Exemplo:
Z 1 Z 0 Z R2
x dx = lim x dx + lim x dx
1 R1 !1 R1 R2 !1 0
0 R2
x2 x2
= lim + lim
R1 !1 2 R1
R2 !1 2 0
R12 R22
= lim + lim ;
R1 !1 2 R2 !1 2

mas nenhum dos dois limites acima est denido.

Outra denio possvel dada pelo chamado valor principal (P.V.) de Cauchy
Z 1 Z R
P.V. f (x) dx = lim f (x) dx : (48)
1 R!1 R

Por esta denio, um conjunto maior de funes passa a ser integrvel.

Exemplo:
Z 1 R
x2
P.V. x dx = lim =0:
1 R!1 2 R

81
 importante lembrar que se a integral (47) converge, ento o valor principal existe. Entretanto, se o
valor principal de uma integral existe, isso no garante que a integral (47) esteja denida.
O valor principal tambm pode ser usado para calcular integrais que no estejam denidas em certos
pontos do intervalo. Por exemplo, se o integrando f (x) no est denido num ponto b 2 [a; c], podemos
calcular o P.V. neste intervalo fazendo:
Z "Z Z #
c b " c
P.V. f (x) dx = lim f (x) dx + f (x) dx :
a "!0 a b+"

Quando a funo f (x) par, i.e., f ( x) = f (x) ento

Z 1 Z 1
1
f (x) dx = f (x) dx ;
0 2 1

alm disso,
Z R Z 0
f (x) dx = f (x) dx :
0 R

Assim, neste caso, a existncia do valor principal implica na existncia da integral imprpria (47).
O mtodo que vamos desenvolver est intimamente relacionado com o clculo do valor principal de Cauchy.
Assim, para garantirmos que estes resultados se aplicam a integrais imprprias, vamos nos restringir a
funes pares.
Estamos interessados no clculo de integrais imprprias de funes da forma

p (x)
f (x) = ; f ( x) = f (x) ;
q (x)

com p e q polinmios sem fatores em comum e com q (x) 6= 0 em todo o eixo.

Exemplo: Calcule a integral
Z 1 Z 1
1 1 1
dx = dx :
0 x2 + 1 2 1 x2 + 1

A funo complexa
1
f (z) =
z2 + 1
igual a f (x) para Im z = 0. Vamos ento calcular a integral
Z
f (z) dz
C

82
 Figure 5: Figura tirada do livro do Churchill

onde C o caminho da gura.Com isso, fcil ver que

Z Z Z R
1
f (z) dz = f (z) dz + dx :
C CR R x2 + 1

Para estimar a contribuio da integral em CR precisamos do seguinte resultado: Se C uma curva em C e

f : C ! C contnua, ento Z
f (z) dz ML
C

onde L o comprimento da curva e M o valor mximo do jf j. Para ver isso, basta observar que
Z Z 1 Z 1
f (z) dz = f (z) z_ dt jf (z)j : jzj
_ dt
C 0 0

e que, do clculo de funes reais

Z 1 Z 1
jf (z)j : jzj
_ dt M jzj
_ dt = M L ;
0 0
M = max jf j :

Da gura vemos que, para z em CR (i.e., jzj = R), com R > 1 temos

z2 + 1 z2 1 = R2 1:

83
 Com isso Z
1 1
dz ( R)
CR z2 + 1 R2 1
Usando agora
R
lim =0;
R!1 R2 1
temos Z
1
lim dz = 0
R!1 CR z2 + 1
e, conseqentemente, Z Z
1
1
2
dx = f (z) dz
1 x +1 C

Assim, basta calcular a integral de f (z) no caminho C que se resume ao clculo dos resduos em z = i.
Observe que o resduo z = i no est no interior do caminho de integrao. Observe tambm que o que
estamos calculando o valor principal da integral.
Pelo procedimento acima, observe que
Z
zn Rn Rn+1
dz R =
CR zm + z0 Rm z0 R m z0
n+1
R
lim = lim Rn+1 m
R!1 Rm z0 R!1

84
Assim, a integral sobre o caminho CR desaparece sempre que n + 1 < m, i.e., o grau de q deve exceder o grau
de p em pelo menos duas unidades.
Exemplo: Calcule a integral Z 1
x2
2 dx
0 (x2 + 9) (x2 + 4)

1. Verique que o integrando simtrico: ento podemos usar o valor principal.

2. Depois verique se o (maior) grau do denominador , pelo menos, uma vezes maior que a do numerador

n = 2 ; m = 4 =) n + 1 = 3 < 4 = m

Isso garante que a integral sobre o circuito CR no contribua.

Estando satisfeitas estas duas condies partimos para a funo complexa

z2
f (z) = 2
(z 2 + 9) (z 2 + 4)

Esta funo possui quatro plos: z = 3i e z = 2i. Usando o caminho que vai pela parte superior do plano
z, apenas os plos z = 3i e z = 2i esto dentro do nosso caminho de integrao.
A integral pela parte inferior do plano seria diferente?
Para calcular o resduo em z = 3i fazemos

z2 1 z2
f (z) = 2 =
(z + 3i) (z 2 3i) (z 2 + 4) (z 3i) (z + 3i) (z 2 + 4)2

Usando o resultado (41)

z2
Resz=3i = g (3i) ; g (z) = 2
(z + 3i) (z 2 + 4)
3
g (3i) = i
50

Para o clculo do resduo em z = 2i,

z2 1 z2
f (z) = 2 = 2 2
(z 2 + 9) [(z + 2i) (z 2i)] (z 2i) (z 2 + 9) (z + 2i)

85
e usamos novamente o resultado (41) (com m = 2)

g (z)
Res 2 = g 0 (z0 ) :
z=z0 (z z0 )
z2
g (z) = 2 =)
(z 2 + 9) (z + 2i)
2z z 1
g 0 (z) = 2 1 z +
(z 2 + 9) (z + 2i) (z 2 + 9) (z + 2i)
i 2 1 i 3 13
g 0 (2i) = 1+2 = 1+ = i
20 5 4 20 10 200

Assim, o resultado da nossa integral vale

Z 1
x2 3 13
2 dx = 2 i i i = :
0 (x2 + 9) (x2 + 4) 50 200 100

7.0.1 Numeradores com funes trigonomtricas

Tanto no desenvolvimento de problemas envolvendo sries de Fourie, quanto em problemas envolvendo ondas
(eletromagnetismo, MQ etc.) encontramos integrais da forma:
Z 1 Z 1
f (x) sin (ax) dx ; f (x) cos (ax) dx :
1 1

Vamos, por exemplo, calcular a integral Z 1

cos 3x
2 dx (49)
1 (x2 + 1)
No lugar das integrais acima, vamos calcular a integral
Z 1 Z 1 Z 1
f (x) cos (ax) dx + i f (x) sin (ax) dx = f (x) exp (iax) dx :
1 1 1

Seguindo os passos anteriores, e lembrando que este integrando par, vamos ento calcular
Z Z R Z
exp (i3z) exp (i3x) exp (i3z)
2 dz = 2 dx + 2 dz
C (z 2 + 1) R (x2 + 1) CR (z 2 + 1)

o ponto aqui observar que

jexp (iaz)j = jexp (iax) exp ( ay)j = jexp ( ay)j

86
Alm disso, para a > 0,

R ! 1 =) y ! 1 =) lim jexp ( ay)j = 0 ; a > 0 :

R !1

Ou seja Z
exp (i3z)
2 dz
CR (z 2 + 1)
vai a zero mais rpido que Z
1
2 dz
CR (z 2 + 1)
enquanto esta ltima vai a zero pelas razes mostradas anteriormente. Assim
Z R Z
exp (i3x) exp (i3z)
2 dx = 2 dz ; a > 0 :
R (x2 + 1) C (z 2 + 1)

A integral da direita pode ser facilmente calculada pelos mtodos anteriores. Possui os plos z = i e apenas
o plo z = i est dentro do caminho de integrao
!
exp (i3z) 1 exp (i3z) d exp (i3z)
Resz=i 2 = Resz=i 2 2 = = i exp ( 3)
(z 2 + 1) (z i) (z + i) dz (z + i)2
z=i
Z
exp (i3z) 2
2 dz = 2 i ( i exp ( 3)) = :
C (z 2 + 1) e3

Para obter a integral desejada basta tomar a parte real deste valor (que ele mesmo, mas, no caso geral,
teremos uma parte imaginria relacionada ao seno e outra real relacionada ao cosseno)
Z 1
cos 3x 2
2 dx = :
1 (x2 + 1) e3

Para usar este mtodo, assim como no caso anterior, devemos ter:

A funo f na forma p=q com p e q polinmios sem fatores comuns e o grau de q pelo menos duas vezes
maior do que o grau de p e a > 0.

Para que o valor principal concorde com a denio de integral imprpria devemos trabalhar, novamente,
apenas com funes pares.

87
7.0.2 Funes trigonomtricas

Integrais indenidas de funes trigonomtricas tambm podem ser facilmente calculadas pelo mtodo dos
resduos. Considere uma integral do tipo
Z 2
F (sin ; cos ) d (50)
0

onde F um quociente de polinmios de senos e cossenos. Utilizando a representao polar dos nmeros
complexo, podemos considerar como o argumento de z e usar a parametrizao z = exp (i ), com isso,
podemos escrever

z 1 z z+z 1
sin = ; cos =
2i 2
F (sin ; cos ) ! F (z)

e escrever (50) como

1 1
dz = z_ d = iei d =) d = i dz = dz
ie iz
Z 2 Z
1
F (sin ; cos ) d = F (z) dz ; C = jzj = 1
0 C iz

Exemplo: Vamos calcular a integral Z 2

1
5 d
0 4 + sin
fazendo 1
5 5 z z 1
+ sin = + = 5iz + 2z 2 2
4 4 2i 4iz
Nossa integral se torna
Z 2 Z Z
1 4iz 1 4
5 d = 2
dz = dz
0 4 + sin C (5iz + 2z 2) iz C (5iz + 2z 2 2)
Z
2
= i
dz
C (z + 2i) z + 2

observando que apenas a singularidade z = i=2 est dentro do caminho de integrao temos

1 2 4
Resz= i=2 i
= ;
z+ 2
(z + 2i) 3i
Z 2
1 4 8
5 d =2 i = :
0 4 + sin 3i 3

88
89
8 Funes ortogonais
Um exemplo bem conhecido de funes ortogonais a srie de Fourie, que aparece na soluo de vrios
problemas de eletromagnetismo, mecnica etc. A grade utilidade desta srie que qualquer funo (bem
comportada) pode ser escrita como uma somatria de termos na forma

1
X
f (x) = (an sin (n x) + bn cos (n x)) ; x 2 [ 1; 1] :
n=0

Ou seja, no importa a forma da funo (dentro do intervalo de interesse), esta funo pode ser escrita
como uma somatria das funes seno e cosseno. Esta caracterstica permite resolver uma innidade de
equaes diferenciais. E a soluo destas equaes possui, obviamente, aplicaes no apenas tericas, como
tambm prticas (e.g., em engenharia). Alm disso, este processo de decomposio de uma funo arbitrria
em funes trigonomtricas est presente na maioria dos equipamento de telecomunicao e computadores.
Imagine, por exemplo, que voc possui uma curva bem complicada e precisa guardar (ou transmitir) esta
curva. A forma direta de voc fazer isso arquivando o valor de f (x) para cada ponto x dentro do intervalo de
interesse. Claro que para qualquer intervalo o espao fsico para este armazenamento seria innito, mas, dada
uma certa preciso necessria, voc pode fazer isso apenas para pontos que distem de uma certa quantidade
x. Quanto menor x, melhor voc consegue reproduzir a curva f (x) no futuro. Mas imagine agora que
voc tem um dispositivo (um processador) capaz de calcular (no armazenar) funes trigonomtricas. Neste
caso, voc poderia calcular os coecientes an e bn da srie de Fourie acima e armazenar estes coecientes.
Quando necessrio reconstruir a curva o dispositivo pegaria estes coeciente, calcularia o valor dos senos e
cossenos e, com isso, poderia redesenhar a curva com a preciso que se desejasse. Obviamente a aplicao
deste mtodo com preciso innita necessitaria do registro de innitos coecientes. Mas esta preciso no
necessria. Quanto mais coecientes guardarmos, com mais preciso podemos reconstruir a curva. O ponto
aqui que, para a maioria das curvas de interesse, o registro de uma centena destes coecientes j d uma
preciso que, se fosse feita com o registro de pontos com x, necessitaria do registro de centenas de milhares
de pontos. Este o processo usado, entre milhares de outras coisas, pela placa de som do seu computador
para gravar um sinal sonoro.
O que as funes seno e cosseno tm de especial para terem esta caracterstica? Existem outras funes,
alm de senos e cossenos, que podem reconstruir qualquer curva?
Estas so algumas das perguntas que vamos tentar responder nesta parte do curso.

8.1 Vetores e equaes lineares

Um conjunto ordenado de n nmeros reais x1 ; x2 ; ::xn pode ser chamado de um vetor de dimenso n, ou
um vetor num espao n dimensional, denotamos este espao por Rn (i.e., a coleo de n nmeros reais).
Usualmente esta quantidade simbolizada como jxi. Cada um dos elementos xi (i = 1; 2; ::; n) chamado de

90
componente i do vetor. Se todas as componentes so nulas, o vetor chamado de vetor nulo e usualmente
simbolizado por 0 (mas lembre-se que este smbolo , na verdade, a coleo de n zeros). Para n = 2, ou n = 3
o vetor pode ser interpretado geometricamente como as coordenadas cartesianas de uma seta que inicia na
origem e termina neste ponto.
Para n > 3 a visualizao geomtrica no possvel, mas as expresses algbricas e a terminologia
continuam as mesmas.
Para nmeros reais arbitrrio a; b 2 R a quantidade a jxi + b jyi = jzi fornece um novo vetor (tambm de
dimenso n) cujas componentes so dadas por

zi axi + byi :

A quantidade
n
X
hxj yi = x1 y1 + x2 y2 + ::: + xn yn = xi yi ; (51)
i=0

chamada de produto interno dos vetores jxi e jyi. Esta quantidade tambm chamada de projeo de jxi
em jyi, ou a componente de jxi na direo jyi (ou vice-versa).
Fcil ver que o produto interno denido acima

1. Simtrico: hxj yi = hyj xi

2. Linear: jzi = a jyi + b jwi : hxj zi = a hxj yi + b hxj wi

Observe que podemos obter a expresso da linearidade acima se simbolicamente escrevermos

hxj zi = (hxj) (a jyi + b jwi) = hxj a jyi + hxj b jwi = a hxj jyi + b hxj jwi a hxj yi + b hxj wi

Ou seja, a linearidade permite interpretar a quantidade hxj a esquerda do smbolo de produto como sendo
tambm um vetor, chamado de vetor dual do vetor jxi. Esta notao simblica chamada notao de Dirac.
Dizemos que dois vetores jxi e jyi so ortogonais quando

hxj yi = 0 :

Para n = 2 e 3 esta terminologia possui um signicado imediato. Pois, neste caso, quaisquer dois vetores que
respeitam a igualdade acima fazem entre si um ngulo de 90o . Por exemplo, para n = 2, os vetores

jxi = (1; 1) ; jyi = (1; 1)

temos
hxj yi = 1 1=0:

91
E fcil ver que estes vetores no plano tem entre si um ngulo de 90o . Mais uma vez, para n > 3, a
interpretao geomtrica no pode ser mais usada, mas a nomenclatura continua a mesma.
O produto interno de um vetor com ele mesmo

2
hxj xi jxj

chamado de norma do vetor. A raiz positiva da norma

p
hxj xi jxj 0

chamado de comprimento do vetor (alguns autores chamam esta raiz de norma). Mais uma vez, para n = 2
ou 3, esta quantidade representa o comprimento (ou a distncia) da origem at as coordenadas do ponto.
Observe que
hxj xi = 0 =) jxi = 0 ; xi = 0 ; i = 1; 2; :::n :

Um vetor para o qual

hxj xi = 1 ;

chamado de vetor unitrio, ou vetor normalizado.

As denies acima tambm podem ser escritas identicando os vetores jxi com matrizes de n linhas
0 1
x1
B C
B x2 C
jxi = B
B .. C
C
@ . A
xn

Neste caso, o produto vetorial pode ser realizado identicando o dual do vetor como a matriz de n colunas
(ou a transposta) correspondente
hxj = x1 x2 xn

e identicando a operao de produto interno com a multiplicao usual de matrizes

0 1
x1
B C Xn
B x2 C
hyj xi = hxj jyi = y1 y2 yn B .. C= xi yi :
B C
@ . A i=0
xn

92
 Um conjunto de m vetores jx1 i ; jx2 i ; ::: jxm i so ditos linearmente dependentes, se

m
X m
X
9ai (i = 1; ::; m) 2 R ; a2i 6= 0 : ai jxi i = 0
i=1 i=1

caso contrrio, eles so linearmente independentes.

Num espao de dimenso n qualquer conjunto de n vetores jwi i (distintos e no nulos) e linearmente
independentes formam uma base do espao. Ou seja, qualquer vetor jxi pode ser escrito como:

m
X m
X
9ai (i = 1; ::; n) 2 R ; a2i 6= 0 : jxi = ai jwi i :
i=1 i=1

Ou, de outra forma, num espao de dimenso n dado o conjunto de n vetor fjwi ig (no nulos) LI, qualquer
outro vetor LD a este conjunto. Ou ainda, num espao de dimenso n qualquer conjunto de n + 1 vetores
LD. As quantidades ai da expresso acima so chados de componente do vetor jxi na base fjwi ig.
Se o conjunto de n vetores LI jwi i so tambm ortogonais entre si

hwi j wj i = 0 para i 6= j

dizemos que esta base ortogonal.

Um conjunto de m vetores jei i que respeitam

hei j ej i = ij ; (52)

i.e., so ortogonais entre si e normalizados, so chamados de ortonormais. Se m = n (onde n a dimenso

do espao) estes vetores formam uma base, chamada de base ortonormal.
Observe que, se fjwi ig uma base ortogonal do nosso espao, podemos facilmente construir com eles uma
base ortonormal fjei ig fazendo
1 1
jei i = jwi i = p jwi i
jwi j hwi j wj i
Este procedimento se chama a normalizao dos vetores jwi i.
Dada uma base ortonormal fjei ig podemos facilmente usar o produto interno para encontrar as com-
ponentes de um vetor qualquer nesta base. Basta para isso tomar o produto interno do vetor expandido com
os elementos da base

jxi = a1 je1 i + a2 je2 i + ::: =) he1 j jxi = a1 he1 j e1 i + a2 he1 j e2 i + ::

Usando agora (52) temos

he1 j xi = a1 he1 j e1 i = a1

93
ou, de forma geral
ai = he1 j xi ;

Assim, numa base ortonormal as componentes do vetor nesta base o produto interno do vetor com cada
elemento da base.
Alm disso, para uma base ortonormal, temos
" n
#2 n 3
n X
n
X X X
hxj yi = ai hei j 4 5
bj jej i = ai aj hei j ej i
i=1 j=1 i=1 j=1
n X
X n n
X
= ai bj ij = ai bi :
i=1 j=1 i=1

Que uma expresso idntica a denio anterior do produto interno (51). Assim, o produto interno entre
dois vetores pode ser calculado pelas componentes originais deste vetor ou pela suas componentes em qualquer
base ortonormal.
Em especial, para o produto interno de um vetor com ele mesmo, i.e., a norma deste vetor, temos
" n
#2 n 3
n X
n
2
X X X
jxj = hxj xi = ai hei j 4 aj jej i5 = ai aj hei j ej i
i=1 j=1 i=1 j=1

X n
n X n
X
= ai aj ij = a2i :
i=1 j=1 i=1

94
 Exemplo: Voltando para o nosso exemplo em 2 dimenses tomemos o vetor com componentes x1 =
1; x2 = 2. Que na representao matricial assume a forma
!
1
jxi =
2

a norma deste vetor vale

2 2 2
jxj = (x1 ) + (x2 ) = 12 + 22 = 5

Uma base para este espao qualquer conjunto de dois vetores LI. Por exemplo, temos a base
! !
1 2
jf1 i = ; jf2 i =
1 3

Fcil ver que ! !

1 2 a + 2b = 0 ) a = 2b
a jf1 i + b jf2 i = 0 = a +b )
1 3 2 + 3b = 0 ) a = 3b

que s pode ser satisfeita para a = b = 0. Logo jf1 i e jf2 i so LI e, consequentemente, formam uma base do
espao. As componentes de jxi na base fjfi ig valem
! ! ! !
1 2 c1 + 2c2 1
jxi = c1 jf1 i + c2 jf2 i = c1 + c2 = =
1 3 c1 + 3c2 2
c1 + 2c2 = 1 ) c1 = 1 2c2 ;
c1 + 3c2 = 2) 1 2c2 = 2 3c2 ) c2 = 1 ) c1 = 1:

Assim, as componentes de jxi na base fjfi ig valem: c1 = 1, c2 = 1. Fcil ver que

2 2 2 2
(c1 ) + (c2 ) = 1 + 1 = 2 6= 5 = (x1 ) + (x2 )

Tomemos agora outros dois vetores

!
1
jw1 i = jf1 i ; jw2 i = :
1

Facil ver que estes vetores tambm so LI. Mas, alm disso
!
1
hw1 j w2 i = 1 1 =1 1=0:
1

95
Assim, fjwi ig uma base ortogonal. As componentes c0i de jxi nesta base valem
! ! !
1 1 1
c01 + c02 =
1 1 2
c01 + c02 = 1 ) c01 = 1 c02
1
c01 c02 = 2 ) c02 =
2
1 3
c01 = 1+ =
2 2

Mais uma ver

2 2 9 1 41
(c01 ) + (c02 ) = + = 6= 5
5 4 20
Mas, como a nossa nova base fjwi ig ortogonal, podemos aplicar o processo de normalizao e denir uma
nova base fjei ig com
!
jw1 i 1 1
je1 i = =p
jw1 j 2 1
!
jw2 i 1 1
je2 i = =p
jw2 j 2 1

As componentes c00i de jxi na base fjei ig valem

! !
1 c001 + c002 1
c001 je1 i + c002 je2 i = p =
2 c001 c002 2
p p
c001 + c002 = 2 ) c001 = 2 c002
p
p 2
c001 c002 = 2 2 ) c2 =00

p 2
p 2 3p
c001 = 2+ = 2
2 2

onde, nas componentes de jxi na base ortonormal fjei ig temos

2 2 1 9 2 2 2
(c001 ) + (c002 ) = + = 5 = (x1 ) + (x2 ) = jxj
2 2

Um conjunto de m vetores fjei ig ortonormais, com m = n, tambm chamado de um conjunto ortogonal

completo. Para m < n os vetores fjei ig so chamados de um conjunto ortogonal incompleto.
Assim, encontrar uma base para um espao vetorial equivalente a encontrar um conjunto completo de
vetores ortogonais (e normaliz-los).

96
8.2 Operadores, autovetores e autofunes no Rn
Em Rn dado um conjunto de n2 nmeros reais Mij (i; j = 1; 2; :::n) podemos denir o seguinte mapa entre
as componentes de dois vetores jxi e jyi deste espao

n
X
yi = Mik xk
k=1

ou, simbolicamente
^ jxi
jyi = M

onde o chapu indica que M no um nmero, mas sim o que chamamos de operador. Ou seja, dado
um espao vetorial, um operador um mapa entre vetores deste espao. Na notao matricial introduzida
anteriormente, os operadores podem ser identicados como matrizes n n.
Como exemplo, vamos estudar as operaes de rotaes num plano. Ou seja, vamos trabalhar num espao
com n = 2. Suponha que um vetor neste espao tenha coordenadas ((x1 ; x2 )). Se aplicarmos uma rotao
de um ngulo no sentido anti-horrio, neste vetor quais as componentes (x01 ; x02 ) do novo vetor obtido?
Fazendo desenhos no plano fcil ver que
! ! !
x01 cos sin x1
=
x02 sin cos x2

Ou seja, o conjunto de quatro nmeros Rij , ou a matriz

!
^( )= cos sin
R
sin cos

um operador de rotao no nosso espao bidimensional. Um caso particular o operador de rotao de um

ngulo de 1800 !
^ 1 0
R( ) = :
0 1

Um outro exemplo o operador que troca a troca a coordenada x1 por x1 (i.e., coloca um espelho no plano
normal a x2 ), chamado de operador de paridade em x1
!
1 0
P^1 =
0 1

Observe que isso no nenhuma rotao.

Matematicamente um operador pode ser pensado visto como um tensor de segunda ordem. Este tensor
pode ser obtido pelo que chamamos de produto tensorial, ou produto externo entre os vetores do nosso espao.

97
O produto externo entre dois vetores jxi e jyi pode ser denido como

^ = jxi
M jyi

onde
^ ij = xi yj
M
^ a matriz
Ou seja, neste caso, M
0 1
x1 y1 x1 y2 x1 yn
B C
B x2 y1 x2 y2 x2 yn C
^ =B
M .. .. .. C
B .. C
@ . . . . A
xn y1 xn y2 xn yn

Como vimos anteriormente, a aplicao deste operador num vetor jzi a multiplicao matricial
0 10 1 0 Pn 1
x1 y1 x1 y2 x1 yn z1 i=1 zi x1 yi
B CB C B Pn C
B x2 y1 x2 y2 x2 yn C B z2 C B i=1 zi x2 yi C
^ jzi =
M (jxi jyi) jzi = B
B .. .. .. .. CB . C = B
CB . C B .. C
C
@ . . . . A@ . A @ . A
Pn
xn y1 xn y2 xn yn zn i=1 zi xn yi
0 Pn 1 0 1 0 1
x1 i=1 zi yi x1 hyj zi x1
B Pn C B C B C
B x2 i=1 zi yi C B x2 hyj zi C B x2 C
= B
B .. C=B
C B .. C=B
C B .. C hzj yi
C
@ . A @ . A @ . A
Pn Pn
i=1 zi xi yi xn hyj zi i=1
= jxi hzj yi (53)

A notao de Dirac possui uma forma muito conveniente de expressar o produto externo

jxi jyi jxi hyj

pois, com isso, a aplicao deste produto externo num vetor jzi pode ser simbolicamente calculado como

(jxi jyi) jzi (jxi hyj) jzi = jxi hyj jzi jxi hyj zi

Que exatamente a expresso (??).

Uma relao entre operadores e vetores que de especial interesse quando a aplicao de um operador

98
sobre um vetor resulta num vetor na mesma direo (i.e., proporcional) ao vetor original. Isso , quando:

^ jxi = a jxi ; a 2 R ; jxi =

M 6 0:

^ e que a o autovalor do autovetor jxi.

Neste caso, dizemos que jxi um autovetor do operador M
Por exemplo, se aplicarmos o operador P^ no vetor
!
0
jp1 i =
1

teremos ! ! !
1 0 0 0
P^ jp1 i = = = jp1 i ;
0 1 1 1

Ou seja, o vetor jp1 i um autovetor de P^ com autovalor 1. J o vetor

! ! ! ! !
1 1 0 1 1 1
jp2 i = ) = = = jp2 i :
0 0 1 0 0 0

Assim, jp2 i outro autovetor de P^ , mas com auto valor 1: J o vetor

! ! ! !
1 1 0 1 1
jp3 i = ) = 6= a jp3 i
1 0 1 1 1

ento, jp3 i no auto vetor de P^ . Da mesma forma, qualquer vetor autovetor de R

^ ( ) com autovalor 1,
pois ! ! !
^ 1 0 x1 x1
R ( ) jxi = = = jxi
0 1 x2 x2

Alm disso, o operador R^ ( =2) no possui nenhum autovetor.

^ com autovalor m,
Observe que, se jxi autovetor de M

^ jxi = m jxi ;
M

o vetor
jx0 i = a jxi ; a 2 C

tambm ser autovetor com o mesmo autovalor

^ jx0 i = M
M ^ a jxi = aM
^ jxi = am jxi = m (a jxi) = m jx0 i :

99
Com isso, dizemos que jxi e jx0 i so os mesmos autovetores. A constante que multiplica o autovetor usual-
mente xada no processo de normalizao, porm, ainda assim, podemos multiplicar nosso vetor por uma
fase
exp (i ) ; 2 R

e, sem destruir a normalizao, continuar tendo o mesmo vetor. Ou seja, vetores que diram por uma
faze so considerados iguais.

8.3 Mudana de base

Como vimos anteriormente, a forma explicita das componentes do vetor dependem de qual base escolhemos.
Se numa certa base fjei ig um vetor jvi tem componentes
X
jvi = vi jei i
i

numa outra base fjei ig este mesmo vetor ter outras componentes
X
jvi = vi0 je0i i
i

Se voc escolher uma certa base ortonormal fjei ig, como comparar suas quantidades com os de algm que
ecolheu outra base fje0i ig? Ou seja, como vi se relaciona com vi0 ?
Para saber isso basta lembrar que todos estes vetores fomam uma base do espao. Assim, podemos
escrever
X
jei i = aij e0j
j

onde, sendo nossa base ortonormal, os coecientes desta expano tem a forma
X
aij = hei j e0j =) jei i = hei j e0j je0i i (54)
j

Assim, para um vetor qualquer jvi podemos escrever

X XX XX
jvi = vi jei i = vi hei j e0j je0i i = vi je0i i hei j e0j
i i j j i

Ou seja, se vi so as componentes de jvi na base fjei ig as componentes vi0 deste mesmo vetor na base fje0i ig
so
X2
vj0 = vi hei j e0j
i=1

100
 As quantidades hei j e0j tambm podem ser organizadas numa matriz com linha i e coluna j. Esta matriz
chamada de matriz de mudana da base fjei ig para a base fje0i ig.
Vemos assim como conveniente identicarmos nossos vetores com matrizes. De forma geral, todas as
quantidades com um nico ndice podem ser vistos como uma matriz coluna de 2 elementos e qualquer
quantidade com dois ndices como uma matriz 2 2.

8.4 Espao de Hilbert

Nosso objetivo aqui obter uma generalizao dos resultados da seo anterior. O primeiro ponto lembrar
que nossos vetores, e os nmeros que multiplicam estes vetores, so todos reais. Assim, a primeira general-
izao que podemos que um vetor num espao de dimenso n qualquer seqncia de nmeros complexos
1 ; 2 ; :::; n ( i 2 C) e que nossos vetores podem se multiplicados tambm por nmeros complexo

j i+ j i=j i ; ; 2C

com
i = i + i :

At aqui nada mudou. O ponto agora que devemos lembrar que se um nmero complexo, podemos
ter
2
<0

(e.g., para = i). Isso implica que a somatria do quadrado de nmeros complexo no uma quantidade
positiva denida e, consequentemente, a norma denida anteriormente pode nos dar valores negativos. No
queremos ter vetores de norma negativa (isso , na verdade, contra a denio do que uma norma).
Podemos resolver este problema lembrando que

: 0; 8 2 C

onde, alm disso

: =0) =0:

Assim, podemos recuperar a caracterstica de positividade da nossa norma se, no lugar de (51) denirmos o
produto interno como
Xn
h j i = 1 1 + 2 2 + ::: + n n = i i ; (55)
i=0i

com isso temos, novamente,

n
X
2
j j =h j i= i i 0
i=0

101
com
2
j j = 0 =) j i = 0 :

A nica diferena neste produto interno que, no lugar da simetria, temos agora uma simetria conjugada

n n n
!
X X X
h j i= i i = ( i i) = i i =h j i:
i=0i i=0 i=0

J para o produto externo entre os vetores j i e j i, temos agora duas opes. Podemos denir o operador

^ = j ih j
M

com componentes
Mij = i j

Ou podemos formar tambm o transposto conjugado do operador

^+ = j ih j = M
M ^T

com
+
Mij = i j = j i = (Mji )

ou seja
^+ = M
M ^T :

Da mesma forma, no que se refere a representao matricial, continuamos representando nossos vetores
por matrizes coluna
0 1
1
B C
B 2 C
j i=B C
B .. C
@ . A
n

mas, para ser compatvel com o produto interno (55), devemos denir o dual de j i, no apenas como o
transposto, mas como o transposto conjugado

h j= 1 2 n

A segunda generalizao que vamos fazer permitir que a dimenso do espao assuma qualquer valor,
incluindo o innito. Ou seja, vamos admitir espaos com n = 1. Esta , na verdade, a motivao deste
desenvolvimento.
Neste caso, obviamente no podemos mais representar nossos vetores por matrizes. Mas podemos con-

102
tinuar usando todas as expresses anteriores (fazendo n = 1). A grande diferena que antes, bastava que
cada elemento do nosso vetor estivesse bem denido (no fosse innito) e, certamente, todas as expresses
denidas tambm estariam bem denidas.
Agora, para n = 1, pode acontecer de cada elemento do nosso vetor estar bem denido, e mesmo assim
no conseguirmos calcular quantidades como, por exemplo, o produto interno. Ou seja, agora precisamos
exigir que as somatrias denidas anteriormente convirjam.
Por exemplo, podemos denir as componentes do nosso vetor como

1
xk = ; k2N
k 1=2

Cada componente est bem denida. Em especial, para n ! 1

1
x1 = 1=2
=0
(1)

Entretanto, se desejarmos calcular a norma deste vetor teremos5

X1 X1
2 1 1 1
jxj = 1=2 k 1=2
= !1:
k k
k=1 k=1

E no podemos utilizar para estas componentes a noo de norma que indispensvel em todas as nossas
anlises. Destarte, se quisermos denir um espao vetorial tratvel, devemos exigir que os vetores do nosso
espao respeitem a restrio
1
X
j kj < 1 :
k=1

Ou seja, para ns agora, vetores so toras as seqncia, nitas e innitas, sobre o corpo dos complexos, tal
que a soma do mdulo quadrado convirja.
Um espao vetorial de dimenso arbitrria (incluindo innito) sobre o corpo dos complexos onde (para
todo elemento) est denido um produto interno, juntamente com uma condio tcnica de completeza6
forma um espao de Hilbert.
Todo o nosso trabalho futuro sobre funes ortogonais, bem como todo o desenvolvimento da MQ, o
estudo do espao de Hilbert.
Todos os conceitos desenvolvidos anteriormente, incluindo a noo de ortogonalidade e base, so vlidos
no EH. A diferena que agora a nossa base pode conter innitos termos.
5 Lembre que
X1
1
ns
n=1
diverge para s 1.
6 Convergncia de todas as seqncias de Cauchy j
n lj ! 0.

103
 Mas ser que, como os casos anteriores, este espao possui uma base?
Para um espao de dimenso N (nito) qualquer, podemos sempre construir uma base fjei ig na forma
0 1 0 1 0 . 1
1 0 ..
B C B C B C
B 0 C B 1 C B 0 C
je1 i = B
B
C ; je2 i = B
C B
C ;
C ; jeN i = B
B
C
C (56)
@ 0 A @ 0 A @ 0 A
.. ..
. . 1

Sendo cada jei i uma matriz N 1. Esta a chamada base cannica. Obviamente, qualquer vetor jxi pode
ser escrito como: 0 1
x1
B C XN
B x2 C
jxi = B
B .. C=
C xk jek i
@ . A k=1
xN
Observe que, as componentes de um vetor qualquer na base cannica so as prprias componentes do
vetor.
Alm disso, esta base ortonormal
hei j ej i = ij :

Podemos imaginar uma base do nosso espao de Hilbert das seqenciais innitas como uma coleo de
innitos termos na forma (56). Ou seja,
0 1 0 1 0 1
1 0 0
B C B C B C
B 0 C B 1 C B 1 C
je1 i = B
B
C ; je2 i = B
C B
C ; je3 i = B
C B
C;
C
@ 0 A @ 0 A @ 0 A
.. .. ..
. . .

O ponto aqui que, para qualquer um destes elementos, temos

hei j ei i = 1 < 1 =) jei i 2 H ; i = 1; 2; 3; :::

Ou seja, todos os (innitos) elementos desta seqncia esto em H. Alm disso, qualquer elemento de H
pode ser escrito como
1
X
j i= k jek i ; k 2C :
k=1

Com isso, fjek ig forma uma base do nosso espao H. Esta base possui innitos elementos e, conseqentemente,
nosso espao tem dimenso innita.

104
8.5 O espao L2
A generalizao da dimenso introduzida anteriormente parece a mais geral que podemos fazer. Isso seria
verdade se no existissem vrios tipos de innito, tambm chamado de cardinalidade. Este um assunto
bastante complicado da teoria dos conjuntos. Na verdade, a cardinalidade mede o tamanhode um conjunto.
Mas, como vimos, a dimenso de um espao est diretamente relacionada com o tamanho (ou o nmero de
elementos) da base.
Para um conjunto qualquer podemos considerar duas noes: tamanho do conjunto e o nmero de
elementos deste conjunto. Para qualquer conjunto com um nmero nito de elementos estas noes
coincidem. Um conjunto com trs elementos tem um tamanho, ou cardinalidade, trs. Alm disso, para
conjuntos nitos, sempre que pegamos uma parte deste conjunto (um sub-conjunto) este tem um tamanho
menor que o original. A comparao entre os tamanhos dos conjuntos est ligada com a idia de bijeo entre
os elementos destes conjuntos.

Remark 56 Se podemos criar uma bijeo entre dois conjuntos, ento estes conjuntos tem o mesmo tamanho.

Assim, o conjunto de 3 frutas tem o mesmo tamanho do conjunto de 3 animais. Esta idia tambm
vlida para conjuntos com innitos termos. Mas, neste caso, a noo de cardinalidade e nmero de elementos
no mais a mesma.
Por exemplo, tomemos o conjunto dos naturais N e o conjunto dos nmeros pares P . Certamente estes
conjuntos no tm os mesmos elementos. Em especial o nmero 1 est no primeiro conjunto e no est no
segundo. Mais ainda, qualquer elemento do segundo conjunto est no primeiro,mas o contrrio
no verdade.
Qual destes conjuntos maior?
Poderamos ento imaginar que o conjunto dos naturais maior que o conjunto dos nmeros pares.
Entretanto, possvel estabelecer uma bijeo entre os naturais e os nmeros pares. Obviamente, dado um
nmero natural n, podemos fcilmente associar a ele o nmero par

p = 2n

Mas, alm disso, dado um nmero par p 2 P associamos a ele (de forma unvoca) o natural

p
n=
2

Ou seja, a cada nmero inteiro temos um (nico) nmero par associado e vice-versa. Isto mostra
que os dois conjuntos tm o mesmo tamanho, ou a mesma cardinalidade.
Assim, para conjuntos innitos, podemos pegar apenas uma parte deste conjunto e obter um conjunto
com o mesmo tamanho.
Vejamos um exemplo um pouco mais complicado. Recapitulando, um dos resultados da teoria dos conjun-
tos que sempre que for possvel estabelecer uma bijeo entre dois conjuntos estes conjuntos tm a mesma

105
 Figure 6: Figura da Wikipedia

cardinalidade. Peguemos, por exemplo, o conjunto dos naturais N, i.e., a seqncia

0 1
1
B C
B 2 C
B C
B 3 C
@ A
..
.

e a seqncia de um par ordenado de naturais, o produto N N, i.e., as seqncias

0 1
1; 1 1; 2
B .. C
B C
B 2; 1 2; 1 . C
@ A
.. ..
. .

Qual destes conjuntos maior?

Aparentemente o segundo conjunto tem mais elementos que o primeiro. Entretanto, estes dois conjuntos
podem ser mapeados (um-pra-um) atravs do diagrama de Cantor
ou seja

0 ! (0; 0) ; 1 ! (1; 0) ; 2 ! (0; 1) ; 3 ! (2; 0) ; 4 ! (1; 1) ; 5 ! (0; 2) ; 6 ! (3; 0) :::

Desta forma, o par ordenado N N tem a mesma cardinalidade de N, ou seja, tem o mesmo tipo de
innito. Como resultado disso, os nmeros racionais Q, que podem ser escritos como a=b, com a; b 2 N e

106
b > 0 tem a mesma cardinalidade dos naturais.
Mais ainda, com argumentos semelhantes possvel mostrar que qualquer seqncia nita de nmeros
naturais N N ::: N pode ser mapeado nos naturais N e conseqentemente, tem a mesma cardinalidade.
Esta cardinalidade chamada de innito (pois N innito) contvel. Tambm chamado de @0 (aleph-0).

Remark 57 Assim, se os elementos que formam a base de um conjunto tem uma cardinalidade contvel
(possui uma bijeo com N) dizermos que a dimenso do espao contvel.

Talvez voc imagine com isso que todos os conjuntos innitos tm a mesma cardinalidade, mas isso no
verdade.
Agora, se voc considerar o conjunto dos reais, impossvel estabelecer uma relao um-pra-um entre
este conjunto e os naturais. Mais precisamente, possvel estabelecer a relao

N !R;

mas a inversa no
R9N:

Podemos dizer que, apesar de ambos serem innitos, o conjunto dos reais maior que o dos
naturais. Mais ainda, qualquer intervalo nito da reta real, e.g. [0; 1], tem mais elemento que qualquer
seqncia nita de todos os naturais.
Assim, se voc zer um HD de computador capaz de armazenar todos os naturais, este HD pode encher
e no registrar os reais.
Com isso, os reais so de uma cardinalidade diferente (maior) que os naturais. Dizemos que o conjunto
dos reais um innito incontvel. Tambm chamado de @1 (aleph-1).

Remark 58 Assim, se no for possvel estabelecer uma bijeo entre os elementos da base e N, mas for
possvel estabelecer entre R, os elementos que formam a base de um conjunto tem uma cardinalidade incontvel
dizermos que a dimenso do espao incontvel.

Remark 59 Vemos ento que todo o desenvolvimento apresentado na seo anterior sobre o espao de
Hilbert diz respeito, na verdade, apena a innitos contveis.

Do que foi dito acima, vemos que o nosso espao H, denido anteriormente, tem dimenso innita, mas
contvel. Pois possui uma base com um innito contvel de elementos fjek ig. A existncia de diferentes
tipos de innito nos leva a crer (o que verdade) que possam existir tambm espaos com uma dimenso (e
consequentemente uma base) innita incontvel.
Considere agora uma funo f (x) sobre os reais num intervalo x 2 [a; b]. Esta funo pode ser considerada

107
uma seqncia 0 1
f (x1 )
B C
B f (x2 ) C
B C
B f (x3 ) C
B C
B .. C
B C
@ . A
f (xn )
entretanto, neste caso o ndice da nossa seqncia no um nmero natural N, mas um nmero real
R. Pois podemos fazer x2 x1 < " para qual valor de ". Assim, entre quaisquer dois elementos existem
innitos elemento: 0 1
f (x1 )
B .. C
B . C
B C
B C
B f (x1;0001 ) C
B C
B .. C
B . C (57)
B C
B C
B f (x2 ) C
B .. C
B C
@ . A
f (xn )
Este tipo de seqncia , certamente, diferente da denida anteriormente. Mais precisamente, a nossa seqn-
cia, assim como a anterior, possui innitos termos, mas esta seqncia possui um innito incontvel
de termos.
Assim, aquele HD hipottico capaz de registrar uma seqncia innita (xk ), no seria capaz de registrar
a funo acima. Certamente o procedimento anterior para a construo de uma base cannica
falha neste caso.
Com isso, no h nenhuma razo para crer que os resultados desenvolvidos na seo anterior sejam vlidos
para funes sobre os reais.
Vamos ento tentar construir um espao vetorial para as nossas funes f . Como uma extenso natural
da notao anterior, se queremos um vetor que represente a nossa funo f (x) ; x 2 [a; b], podemos cham-lo
de jf i. Ou seja, jf i a coleo ordenada de todos os valores da funo num certo intervalo (a seqncia
simblica (57)). Observe que jf i no a funo calculada num ponto, mas uma quantidade abstrata que
representa uma coleo innita de termos.
A soma destas quantidades pode ser denido de forma anloga a anterior. Ou seja, a seqnciasimblica

jwi = jf i + jgi ; ; 2C

denida como a coleo ordenada de todos os pontos w (x) = f (x) + g (x) ; x 2 [a; b].
Na construo do nosso espao, assim como zemos anteriormente, o primeiro ponto a construo de
um produto interno. Podemos fazer isso apenas generalizando a expresso anterior para o caso de duas

108
seqncias contnuas jf i e jgi (todas denidas, sempre, no mesmo intervalo)

n
X Z b
h j i= i i ! hf j gi = f (x) g (x) dx :
i=0 a

Com isso, novamente, garantimos a positividade do produto

hf j f i 0 ; hf j f i = 0 =) jf i = 0

onde a ltima igualdade signica f (x) = 0 para x 2 [a; b].

Novamente, para que o nosso produto faa sentido, devemos exigir que
Z b
2
hf j f i = jf (x)j dx < 1 : (58)
a

Ou seja, o nosso espao o espao das funes de quadrado integrvel no intervalo [a; b], tambm chamado
L2 (a; b).
O fato de que a soma (denida acima) de duas funes de quadrado integrvel tambm ser de quadrado
integrvel, garante que L2 (a; b) um espao vetorial (assim como as nossas seqncias em H).
O ponto (e toda a diculdade do trabalho) estudar a dimenso deste espao.
Para isso, podemos invocar aqui o resultado de Fourie. Para qualquer funo (bem comportada) que
respeite (58), denida no intervalo [ ; ] existe uma correspondncia unvoca entre esta funo e a seqncia
(contvel)
X1
f (x) = xk exp (ikx) (59)
k= 1

onde Z b
1
xj = p f (x) exp ( ikx) dx (60)
2 a

Ou seja, registrar a seqncia contvel xj equivalente a registrar a funo (denida num intervalo incon-
tvel) f (x).
Assim, apesar do HD hipottico no poder registrar o valor da funo em todos os pontos, ele pode
registrar a seqncia fxk g e, com isso, reconstruir a funo (exatamente) em todos os pontos. Ou ainda,
mesmo estando a funo denida num contnuo de pontos, nem todos estes pontos so necessrio para
especicar a funo. O fato de ela ser de quadrado integrvel cria uma relao entre estes pontos, de sorte
que eles possam ser especicados pelo conjunto menor formado por uma seqncia contvel de pontos.
Mais ainda, existe uma relao unvoca entre o espao das funes em L2 (a; b) e o espao das seqncias
contveis innitas. O que mostra que estes dois espaos tm a mesma dimenso. Ou seja, se existir uma base
contvel para a seqncia fxk g existir tambm uma base contvel para L2 . Observe que ainda no falamos
nada sobre as sequencias acima.

109
 Ou ainda, existe uma base contvel para o espao L2 (a; b).
Alm disso, existe um resultado, devido a Parseval, que arma
Z 1
X
2
jf (x)j dx = x2j
j= 1

Ou seja, se a seqncia xj pertence ao nosso espao de Hilbert H. Podemos assim considerar L2 (a; b)
como um espao de Hilbert H. E dizer que a funo f (x) pertence ao espao de Hilbert L2 .
Observe que as prprias funes
1
exp ( ikx)
2
pertencem a L2 ( ; ). Assim, se chamarmos estas funes de jek i (ou seja, jek i a coleo de todos os
valores da funo exp ( ikx) =2 no intervalo ( ; )), podemos escrever (59) como

1
X
jf i = xk jek i
k= 1

Observe que Z
1
hek j ej i = exp ( i (k j) x) dx = kj
2
Ou seja, fjek ig uma base (contvel) para o nosso espao L2 ( ; ) e esta base ortonormal. Alm
disso, xk so as componentes de jf i nesta base. Sendo nossa base ortonormal, as componentes de f nesta
base so simplesmente a projeo:
Z b
1
hek j f i = p f (x) exp ( ikx) dx
2 a

que so as componentes xk da srie de Fourie (60).

Estas funes fjek ig so um exemplo de funes ortogonais. Nosso objetivo construir outras bases para
2
L , ou seja, encontrar outras funes ortogonais.

8.6 Operadores simtricos, ou hermitianos

Como vimos anteriormente qualquer operador pode ser visto como o produto externo de dois vetores j i e
^ denido como
j i. Se um operador M
^ = j ih j
M
^ + ser
ento, seu hermitiano conjugado M
^+ = j ih j
M

110
 ^ , mas
Para o caso do espao de dimenso nita, este operador apenas o transposto conjugado da matriz M
a nomenclatura continua para o caso de dimenso innita. Neste caso podemos imaginar nossos operadores
como matrizes quadradas innitas.
^ jxi com o vetor jyi vale
O produto interno do vetor jzi = M

^ jxi
hyj zi = hyj M

podemos eliminar o parnteses acordando que o operador sempre age no vetor a direita (o que equivalente
a acordar que o conjugado do operador age no dual do vetor a esquerda, hyj zi = hwj xi com jwi = M^ + jyi,
mas basta convencionar que ele age a direita). Com isso, temos

^ jxi = hyj j i h j jxi = h j jyi hxj j i = hxj j i h j jyi = hxj M

hyj M ^ + jyi (61)

onde usamos
hyj j i = h j jyi :

Um operador dito simtrico, ou hermitiano se

^ =M
M ^+ ) j ih j = j ih j

ou seja, para espaos de dimenso nita so matrizes cuja transposto conjugado igual a ela mesma. Por
exemplo, qualquer matriz na forma
0 1
a11 a12 a13
B C
B a12 a22 a23 C
B C ; aii 2 R ; i = 1; 2; 3::
B a13 a23 a33 C
@ A
.. .. .. ..
. . . .

Para operadores hermitianos a propriedade (61) fornece

^ jxi = hxj M
hyj M ^ jyi : (62)

Propriedades dos operadores hermitianos:

^ com autovalor , ou
Imagine agora que voc encontrou um autovetor j i de um operador hermitiano M
seja,
M^ j i= j i

observe que estamos usando a mesma letra apenas por convenincia, mas 2 C enquanto j i 2 H.

111
 Com isso a propriedade acima fornece

^ jxi = hxj M
hyj M ^ jyi =)
^ j i = h j j i=
h jM h jj i = h jM j i = h j j i = h jj i

Mas
h j i=h j i

com isso
h j i= h j i

como
h j i=
6 0 ; h j i < 1,

temos
= ) 2R:

Ou seja, todos os autovalores de um operador hermitiano so reais.

Na mecnica clssica os estados de um sistema so identicados como pontos no chamado espao de fase.
Ou seja, dado um ponto no espao de fase eu sei tudo sobre o sistema. J na mecnica quntica estes estados
so identicados com vetores no espao de Hilbert. Ou seja, saber qual vetor representa o sistema saber
tudo sobre ele. Alm disso, observveis (quantidade que podem ser medidas) so associadas a operadores
agindo neste espao. Um dos postulados da MQ arma que os valores possveis de se obter numa medida
deste observvel so (apenas) o autovalor do operador correspondente. Outro postulado arma que este
operador hermitiano. O resultado acima mostra que esta exigncia necessria para que valores medidos
sejam reais.
Exemplo: Num espao de dimenso 2 o operador
!
0 i
^2 = :
i 0

(em MQ este um dos operadores associados ao spin das partculas). hermitiano.

Vamos encontrar seus autovalores. O processo geral o seguinte: Encontrar um autovetor signica resolver
a equao
M^ j i= j i) M ^ I j i=0:

A quantidade M^ I um novo operador. Para um espao de dimenso nita, este operador uma nova
matriz. Vamos chamar esta nova matriz de

T^ = M
^ I

112
Nossa equao ca
T^ j i = 0

Se T^ uma matriz inversvel, podemos calcular T^ 1

e multiplicar pelos dois lados da expresso acima

T^ 1
T^ j i = T^ 1
0)j i=0

Ou seja, se T^ inversvel, o vetor j i nico e vale j i = 0. Assim, M

^ no ter autovetor. Portanto: A
nica forma de M ^ ter autovetor que T^ = M ^ I no tenha inversa. Para que uma matriz no tenha
inversa, basta que
det T^ = det M ^ I =0:

Para o nosso caso

^ = ^2
M

Logo devemos exigir que

! ! !
0 i 1 0 i
det (^ 2 I )= = =0;
i 0 0 1 i

ou seja,
2 2 2
( i:i) = 1 = 0 =) = 1 =) = 1:

Vemos ento que ^ 2 tem dois autovaloes 1 = 1 e 2 = 1 e, como esperado, ambos so reais.
Suponha agora que temos dois autovetores de um operador hermitiano

^ j i=
M ^ j i=
j i ; M j i

com
6= :

Para estes vetores podemos calcular

^ j i = h j j i=
h jM h jj i ;
^ j i = h j j i=
h jM h jj i

alm disso, usando (61) temos

^ j i = h jM
h jM ^ j i =) h j i= h j i= h j i= h j i

113
onde usamos que ; 2 R. Com isso
[ ]h j i = 0

Se usarmos agora 6= a igualdade acima implica

h j i=0

Ou seja, autovetores correspondentes a autovalores distintos so ortogonais.

O resultado acima fornece uma forma prtica e bastante til de encontramos bases ortogonais para um
espao qualquer. Bastando para isso encontrarmos operadores hermitianos neste espao.
Exemplo: Voltemos a nossa matriz !
0 i
2 =
i 0
Sendo esta matriz hermitiana, devemos esperar que seus auto vetores sejam ortogonais. Encontremos ento
estes autovetores. Voltando a equao de auto-valores,
! !
i 1
( 2 I) j i = 0 ) =0
i 2

sabemos que = 1. Para = 1 temos

! !
1 i 1 1 i 2 =0
=0)
i 1 2 i 1 2 =0

Primeiro note que, se multiplicarmos a primeira equao por i temos

i 1 2 =0

que idntica a segunda equao. Assim, na verdade, temos apenas uma equao e duas incgnitas.
Isso nada mais do que uma conseqncia do fato da matriz
!
1 i
i 1

no possuir inversa (ou ter determinante nulo). Lembre-se que construmos os valores de impondo esta
exigncia. Assim, usando a nica equao que temos

i 1 2 =0)i 1 = 2

114
Ou seja, o nosso autovetor tem a forma
! !
1 1
j +i = = 1
i 1 i

para qualquer valor 1 2 C.

Isso uma caracterstica geral destes problemas. Para um sistema qualquer de dimenso N , construmos
seus autovalores de um operador M ^ exigindo que a matriz M
^ I no tenha inversa. Isso faz com que, para
estes valores de , tenhamos um sistema de N 1 equaes para N incgnitas. Com isso sempre teremos uma
parmetro livre nos nossos autovetores. a existncia deste parmetro que nos permite normalizar nossos
vetores. Ou seja, escolhemos este parmetro de forma que nossos vetores tenham norma 1.
Com isso, o autovetor associado ao autovalor 1 vale
!
1
+ = +1 ; j +i = 1 :
i

Da mesma forma, encontramos o autovetor associado ao auto-valor = 1

! !
1 i 1 1 i 2 =0
=0) :
i 1 2 i 1+ 2 =0

Onde j sabemos que podemos usar apenas uma destas equaes. Assim, usando a segunda equao,

i 1 + 2 =0) i 1 = 2

Ou seja, o autovetor associado ao auto-valor = 1 vale

!
1
= 1 ;j i= 1 :
i

Como vimos, uma vez que + 6= devemos esperar que os vetores j iej +i sejam ortogonais. De fato
!
1 2
h +j i= 1 1 i 1 =j 1j (1 1) = 0 :
i

Assim, fj +i ; j ig formam uma base ortogonal do nosso espao. Podemos ainda normalizar esta base

115
fazendo
! !
j i 1 1 1 1 1
je i = p = p 1 =p
h j i j 1 j 1+1 i 2j 1j i
!
1 1
= p ei ; 2 R:
2 i

Ou seja, a nossa normalizao tambm est denida a menos de uma constante. Como veremos, os
princpios da MQ nos permitem xar arbitrariamente esta constante. Escolhendo o caso mais simples = 0
temos !
1 1
je i = p
2 i
Da mesma forma, podemos denir o vetor normalizado
!
1 1
je+ i = p
2 i

estes vetores respeitam

he+ j e i = 0 ; he+ j e+ i = he j e i = 1

e, consequentemente, formam uma base ortonormal do nosso espao.

Este resultado geral. Para um espao de Hilbert H de dimenso N qualquer, inclusive innito, dado um
operador hermitiano M ^ neste espao, os auto-vetores deste operador formam uma base deste espao. Assim,
qualquer vetor j i 2 H pode ser escrito como

N
X
j i= ck j ki
k=1

onde
^j
M ki = k j ki :

116
8.7 Operadores diferenciais
Recapitulando os resultados do exemplo anterior: ao resolvermos o problema de autovetores para o operador
2
2 2 R obtivemos dois vetores ortogonais num espao de duas dimenses. Um resultado que vamos usar
sem provar, pois isso consumiria um tempo razovel, :

Remark 60 Dado um operador hermitiano (no degenerado) num espao de Hilbert de dimenso N , este
operador possui N autovetores (que, como sabemos, so ortogonais). Consequente, a coleo de todos os
autovetores de um operador hermitiano forma uma base para o espao de dimenso arbitrria N .

Esta uma forma bastante prtica para construir bases para espaos e exatamente o que vamos usar
para construir nossas funes ortogonais.
Para qualquer espao de dimenso nita o procedimento anterior para encontrar os autovetores pode ser
aplicado (obviamente com uma diculdade algbrica crescente).
Mas e quando N = 1? Como resolver um sistema de innitas equaes?
Primeiramente, vamos analisar melhor o tipo de operadores que podem surgir em espaos de dimenso
innita. Como vimos a correspondncia
X Z
1
jf i = ck jek i ; ck = hf j ek i = f (x) exp ( ikx) dx
2
k

para funes L2 permite tratar a funo (denida num intervalo contnuo), como a seqncia discreta ck .
Lembre que, uma vez denida uma base, podemos pensar nos operadores como atuando, no diretamente
^ agindo em H pode ser visto como o produto
nos vetores, mas nos elementos da base. Ou seja, um operador D
esterno
D^ = j ih j

e cada um destes vetores possui uma decomposio na base escolhida

X X
j i= i jei i ; j i = i jei i
i i

signica que nosso operador, nesta mesma base, possui a decomposio

X
^ =
D Dmn jem i hen j
mn

onde
Dmn = m n :

117
A ao deste operador num vetor j i pode ser escrito como
X X X X
j i= i
^j i=
jei i ) D Dmn jem i hen j i jei i = Dmn n jem i (63)
i mn i mn

^ j i tem componentes
Ou seja, o novo vetor j i = D
X X
j i= i jei i ; i = Din n
i n

Podemos assim pensar na atuao do operador D^ em H como a atuao da matriz Dnm nas componentes do
^ j i como
vetor numa determinada base ortonormal e calcular D
X
Din n
n

que nada mais que o produto da matriz quadrada D pela matriz coluna .
Lembre que, apesar de estarmos usando a mesma letra, j i e so quantidades diferentes. O vetor
0
1
x1
B C
j i=B
@
x2 C
A
..
.

representa uma seqncia xk que independe da base, enquanto as componentes k dependem da base. Assim,
se vamos trabalhar com o produto matricial D devemos lembrar que todas estas quantidades dependem da
base.
O ponto da explicao acima que operadores atuando em vetores pode ser vistos, uma vez
xada uma base, como matrizes atuando nas componentes do vetor nesta base. Isso implica
que: a cada operador D^ agindo no espao das funes, existe uma matriz D agindo no espao das seqncias
innitas que denem as componentes do vetor jf i 2 L2 . Assim como podemos tratar tanto as seqncia
como as funes, podemos trabalhar tanto com D ^ : L2 ! L2 quanto com D : R1 ! R1 dependendo da
convenincia. Mais ainda, a cada operador agindo em R1 , ou seja, uma matriz quadrada innita, corresponde
um operador agindo em L2 .
Voltemos para a nossa base fjek ig com componentes

1
ek (x) = p exp (ikx)
2

118
e, para os coecientes ck da nosso funo f denidos nesta base (i.e., os coecientes da srie de Fourie),
vamos estudar a ao do seguinte operador
0 1
.. .. .. .. .. .. ..
B . . . . . . . C
B C
B i:2 0 0 0 0 C
B C
B 0 i:1 0 0 0 C
B C
B C
D=B 0 0 0 0 0 C= mn (in) :
B C
B 0 0 0 i:1 0 C
B C
B C
B 0 0 0 0 i:2 C
@ A
.. .. .. .. .. .. ..
. . . . . . .

Ou seja, a matriz diagonal onde a k-sima componente a multiplicao de i pr k.

Pelo que vimos acima, existe um operador D^ atuando em jf i cuja ao o produto da matriz acima com
as suas componentes, ou seja, a aplicao deste operador no vetor jf i fornece (63)
X X
jf i = ^ jf i =
ck jek i =) D Dmn cn jem i
k mn

Lembrando agora que, no nosso caso,

Dmn = i mn n

temos
X X
jgi ^ jf i =
D i mn ncn jem i = incn jen i :
mn n

^ jf i valem
Ou seja, as componentes do vetor jgi = D
X
g (x) = incn exp (inx)
n

Mas estas componentes tambm podem ser escritas como

X d d X d
g (x) = cn exp (inx) = cn exp (inx) = f (x)
n
dx dx n dx

Assim, as componentes do novo vetor jgi so as derivadas das componentes de jf i. Podemos ento
identicar o operador D ^ associando a matriz D com o operador diferencial d=dx agindo nas componentes do
vetor jf i, ou ainda, como um operador diferencial

^ = d
D
dx

119
agindo no espao das funes de quadrado integrvel.
Da mesma forma, podemos construir operadores que correspondem diferenciais de ordem mais alta.
Assim, um tipo bastante especial de operadores que agem em L2 so operadores diferenciais.
Cabe aqui uma observao sobre a MQ. O exposto acima nos diz que a igualdade
X
jf i = ck jek i ; jf i 2 L2 (a; b)
k

nos da a liberdade de trabalhar tanto no lado esquerdo, i.e., operadores diferenciais agindo no espao das
funes, quanto no direito, i.e., matrizes agindo em seqncia contveis. Nos primrdios da MQ havia duas
teorias qunticas aparentemente independentes. A teoria de Schroedinger, baseada numa equao diferencial,
e a teoria de Heisenberg, baseada na lgebra de matrizes. Grosso modo, podemos dizer que estas duas teorias
so as mesmas (ou equivalentes). Apenas que a teoria de Schroedinger trabalha no lado esquerdo da igualdade
acima (i.e., no espao L2 ), enquanto a teoria de Heisenberg trabalha no lado esquerdo (i.e., no espao R1 ).
Dizemos que a mesma teoria utilizando uma representao diferente do espao de Hilbert.
Da mesma forma que em R1 , se M ^ um operador em L2 este se relaciona com seu conjugado pela relao
(61)
^ jgi = hf j j i h j jgi = h j jf i hgj j i = hgj j i h j jf i = hgj M
hf j M ^ + jf i

ou, explicitando o produto interno,

Z b h i
^ jgi =
hf j M f (x) M^ g (x) dx
a
Z b h i
^ + jf i =
hgj M g (x) M^ + f (x) dx
a

^ jgi = hgj M
Usando a igualdade hf j M ^ + jf i

Z b h i Z b h i Z b h i Z b h i
f (x) M^ g (x) dx = g (x) M^ + f (x) dx = g (x) M^ + f (x) dx = ^ + f (x) g (x) dx (64)
M
a a a a

A relao acima dene o adjunto dos operadores agindo em L2 .

Em especial, para operadores hermitianos, temos a relao (60)

^ jgi = hgj M
hf j M ^ jf i :

que fornece
Z b h i Z b h i
f (x) M^ g (x) dx = ^ f (x) g (x) dx
M
a a

120
 ^ no espao das funes a igualdade acima permite vericar se este operador
assim, dado um operador M
(ou no) hermitiano.
Exemplo: vamos vericar se o operador
^ = d
D
dx
agindo em L2 (a; b) hermitiano. Para isso calculamos
Z b h i Z b
^ jgi = ^ (x) dx = dg
hf j D f (x) Dg f dx
a a dx

Usando agora uma integrao por partes temos

Z b Z b
dg b df
f dx = f g a
g dx
a dx a dx

Ou ainda, se observamos que

df df
=
dx dx
temos Z Z Z
b h i b h i b h i
^ b ^ ^ g dx
f Dg dx = f g a
Df g dx 6= Df
a a a
2
Ou seja, nosso operador no simtrico em L (a; b).
b
O ponto aqui que, graas ao termo de fronteira f g a , devemos esperar que nenhum operador diferencial
seja hermitiano em L2 (a; b). Entretanto, podemos tentar contornar este problema.. Uma vez que nosso oper-
ador no simtrico em todo o espao L2 (a; b), podemos tentar encontrar um sub-espao de L2 onde (talvez)
ele seja simtrico. Vamos, por exemplo, denir o subespao das funes que valem zero nas extremidades.
Ou seja, nosso espao no todo o espao L2 , mas:

L2 (a; b) L02 (a; b) g; g 0 2 L2 (a; b) ; g (a) = g (b) = 0; a:c:

Onde estamos exigindo

1. as funes pertenam a L2 (a; b), obviamente;

2. a derivada das funes tambm pertenam a L2 (a; b). Isso necessrio porque nosso operador uma
diferencial e, para que este seja um operador no nosso espao, ele deve levar funes do espao em
outras funes do mesmo espao. Ou seja, Df ^ 2 L2 (a; b). Esta exigncia deve ser ampliada quando
tratamos de operadores diferenciais de ordem mais alta.

3. as funes sejam nulas nas extremidades, f (a) = f (b) = 0. Isso necessrio (na nossa esperana de
simetrizar o operador) para eliminar o termo de fronteira da integrao por partes;

121
 4. Finalmente, as funes devem ser absolutamente contnuas (a:c:). Este um detalhe tcnico intrincado,
mas podemos simplic-lo dizendo que, grosso-modo, funes absolutamente contnuas so aquelas que
podem ser integradas por partes. Isso certamente vlido para todas as funes bem comportadas
que vamos trabalhar. Ou seja, esta teoria vale tambm para funes que no sejam innitamente
diferenciveis e que possuem certas descontinuidades em suas derivadas. Mas isso muito mais do que
precisamos.

Neste espao L02 (a; b) temos

Z b h i Z b h i Z b h i
^ 0g
f D dx = ^ 0
D f g dx 6= ^ 0 f g dx
D
a a a

Onde colocamos uma linha no operador para indicar que este age no espao L0 . Mas, ainda assim, nosso
operador no hermitiano.
Mais ainda, podemos escrever a relao acima como
Z b h i Z b h i
f D^ 0 g dx = ^ 0 f g dx
D
a a

lembrando da relao (64) temos

Z b h i Z b h i
f (x) D^ 0 g (x) dx = ^ 0+ f (x) g (x) dx
D
a a

comparando as duas relaes acima temos

^ 0+ =
D ^0 :
D (65)

Entretanto, tudo isso era de se esperar, pois se olharmos para a matriz relacionada com este operado

0 1
.. .. .. .. ..
B . . . . . C
B C
B i2 0 0 C
B C
D=B
B 0 0 0 C
C
B C
B 0 0 i2 C
@ A
.. .. .. .. ..
. . . . .

122
vemos que os elementos diagonais desta matriz no so reais. Alm disso, se tirarmos o transposto conjudado
desta matriz temos 0 1
.. .. .. .. ..
B . . . . . C
B C
B i2 0 0 C
B C
T
D =B B 0 0 0 C= D
C
B C
B 0 0 i2 C
@ A
.. .. .. .. ..
. . . . .

que nada mais que a relao (65).

O exemplo acima mostra que, se quisermos um operador hermitiano, devemos partir de uma matriz
hermitiana. Partamos ento da matriz
0 1
.. .. .. .. .. .. ..
B . . . . . . . C
B C
B 2 0 0 0 0 C
B C
B 0 1 0 0 0 C
B C
B C
D2 = B 0 0 0 0 0 C
B C
B 0 0 0 1 0 C
B C
B C
B 0 0 0 0 2 C
@ A
.. .. .. .. .. .. ..
. . . . . . .

que, obviamente, hermitiano. Observe que

D2 = iD

o que, obviamente, fornece

^ =i d :
^ 2 = iD
D
dx
Vamos ento calcular novamente
Z b h i Z b
^ 2 jgi = ^ 2 g (x) dx = dg
hf j D f (x) D f i dx
a a dx

Usando novamente uma integrao por partes temos

Z b Z b
dg b df
f i dx = i f g a
i g dx
a dx a dx

Observe agora que

df df df
i =i = i ;
dx dx dx

123
pois { = i. Com isso temos
Z b Z b
dg b df
f i dx = i f g a
+ i g dx
a dx a dx

^ 0 que atua no espao L02 (a; b)

Novamente, para eliminarmos o termo de fronteira, denimos o operador D 2
denido anteriormente, com isso
Z b Z b
d d
f i g dx = i f g dx
a dx a dx

que pode ser escrito como

Z b h i Z b h i
^ 20 g
f D dx = ^ 0 f g dx
D 2
a a

Ou seja, o operador ^0
D hermitiano.
2

124
8.8 Domnio dos operadores
^ 2 , que age em L2 , no
Um ponto extremamente importante no que foi exposto acima que o operador D
^ 0 , que age em
hermitiano, mas j o operador D 2

L02 (a; b) g; g 0 2 L2 (a; b) ; g (a) = g (b) = 0; a:c:

hermitiano.
Certamente um operador que hermitiano diferente de um operador que no hermitiano, ou seja, D2
diferente de D20 . Assim, apesar destes dois operadores terem a mesma forma

d
i
dx

ou seja, atuam da mesma maneira, eles atuam em espaos diferentes e, conseqentemente, so oper-
adores diferentes.
O espao de atuao de um operador tambm chamado de domnio deste operados. Indicamos o domnio
de D^ por D D ^ , ou seja

^ 20 = g; g 0 2 L2 (a; b) ; g (a) = g (b) = 0; a:c:

D D

Assim:

Remark 61 Um operador no apenas uma regra de atuao mas tambm a especicao do domnio onde
esta atuao vlida. A mesma regra, para domnios diferentes, especica operadores diferentes.

^+
Voltemos nossa ateno agora para o operador adjunto. Ou seja, qual o domnio do operador adjunto D2
^ 2 seja hermitiano?
para que D
O adjunto de um operador M ^ pode ser denido pela expresso

Z b h i Z b h i
^ + f (x) g (x) dx
M f (x) M ^+
^ ;f 2 D M
^ g (x) dx ; 8g 2 D M ;
a a

^ agem em g, i.e., g 2 D M
onde devemos notar que o operador M ^ , enquanto o operador M
^ + age em f , i.e.,

f 2D M ^ + . A pergunta acima pode ser formulada da seguinte forma: Uma vez xado um domnio D(M
^)
^ simtrico, qual o domnio de M
no qual M ^ + que no quebra esta simetria?
Para o nosso operador D^ 0 sabemos que
2

^ 20 = g; g 0 2 L2 (a; b) ; g (a) = g (b) = 0; a:c:

D D (66)

125
e quais podem ser as funes f para que a relao
Z b h i Z b h i Z b h i
^0 g
f D dx = ^ 0
D2 f g dx = ^ 0+ f g dx
D
2 2
a a a

se mantenha (lembrando que D ^ 0 no lado direito da igualdade , na verdade, o adjunto de D

^ 0 ). Voltemos
2 2
para a forma completa da integral por partes
Z b h i Z b h i
b
f D^ 0 g dx = i f g + ^ 0 f g dx
D
2 a 2
a a
Z b h i
= ^ 0 f g dx + i f (b) g (b)
D f (a) g (a)
2
a

Para que nosso operador seja simtrico, basta que o ltimo termo se anula. Ento, a nossa pergunta se torna:

quais podem ser as funes f para que o ltimo termo se anule?

^0
Lembrando que, pela denio do domnio (66) de D2

Z b h i Z b h i Z b h i
f D^ 20 g dx = ^ 0 f g dx + i f (b) :0
D f (a) :0 = ^ 0 f g dx
D
2 2
a a a

para qualquer valor nito de f (b) e f (a) e, consequentemente, para qualquer valor de f (b) e f (a). Ou seja,
as funes f onde age D ^ + no precisam se anular nas fronteiras. Ou ainda, alem de serem L2 no
2
precisamos colocar mais nenhuma restrio nestas funes. Assim, o domnio de D ^ +0 , para que D
^2
2
seja hermitiano vale
D D ^ +0 = f; f 0 2 L2 (a; b) ; a:c:
2

Vemos explicitamente que

^ +0 6= D D
D D ^ 20
2

ou seja, apesar de terem a mesma forma

^0 = i d ; D
D ^ +0 = i d
2 2
dx dx

(pois o operador simtrico) os operadores D ^0 e D ^ +0 so operadores diferentes. Este ponto pode parecer
2 2
uma tecnicalidade, mas ser importante no futuro.
No procedimento acima, partimos de um operador D ^ 2 que no hermitiano e denimos um novo
operador D^ 0 (que tem a mesma forma de D ^ 2 , mas atua num espao diferente) que , fazendo uma restrio
2
no domnio de D ^ 2 . Feito isso, podemos obter o domnio do adjunto D ^ +0 que no quebre esta simetria.
2

126
8.9 Operadores lineares
Como vimos, um tipo de operador que age em nosso espao L2 so operadores diferenciais. Da forma mais
geral possvel, um operador diferencial linear, agindo no espao das funes de quadrado integrvel tem a
forma tem a forma
2
^ = a0 (x) + a1 (x) d + a2 (x) d + :::
L
dx dx2
Xm
dn
= an (x) n (67)
n=0
dx

onde m chamado a ordem do operador. Estes operadores so lineares

^ (c1
L 1 + c2 2)
^
= c1 L 1
^
+ c2 L 2 ; c1 ; c2 2 C

se exigirmos que L^ i 2 L2 .
Obviamente nem todas as funes em L2 possuem sua derivada de ordem m em L2 , alm disso, como
vimos no exemplo anterior, condies de contorno (ou consideraes fsicas) podem impor certas restries
nas funes nas fronteiras, i.e., xar o valor de (a) e (b). Assim, um operador no atua em todo L2 , mas
sim num subconjunto D (L) L2 .

^ devemos sempre informar sua expresso diferencial (67) e

Remark 62 Para especicarmos um operador L
seu domnio de atuao.

Uma equao diferencia linear tem a forma

^ = f (x) :
L

O caso com f 0 chamado de equao homognea.

Pela condio de linearidade, vemos que, se 1 e 2 so solues da equao homognea para o operador
^ ento qualquer combinao c1 1 + c2 2 tambm ser soluo da equao homognea de L.
L ^ De forma
mais geral, uma combinao arbitrria de solues da equao homognea tambm uma soluo. Este o
princpio da superposio.
O hermitiano conjugado de um operador L, ^ chamado de L ^ + , denido atravs do produto interno e
atravs da expresso (??)
^+ j 1i = h 1j L
h 2j L ^ j 2i ;

^ denimos o seu conjugado pela expresso

ou seja, dado um operador L
Z b Z b h i
[L+ 1 (x)] 2 (x) dx (x) L^ 2 (x) dx :
1
a a

127
 Exemplo: Se
^= d
L
dx
e D (L) so as funes 2 L2 (a; b) com 0
2 L2 e (a) = ^ + . Este o mesmo exemplo
(b) = 0 encontre L
que resolvemos acima.
Pela denio temos
Z b h i Z b
^ ^ d
h 1j L j 2i = 1 (x) L 2 (x) dx = 1 (x) 2 (x) dx
a a dx

se nossas funes so absolutamente contnuas, i.e., podem ser integradas por partes, temos
Z b Z b
d b d
1 (x) 2 (x) dx = [ 1 (x) 2 (x)]a 1 (x) [ 2 (x)] dx
a dx a dx
Z b Z b h i
d ^+
= 1 (x) [ 2 (x)] dx = L 1 (x) 2 (x) dx
a dx a

assim
^+ = d
L
dx
^ + . Para denirmos completamente este operador precisamos ainda especicar
Esta a forma diferencial de L
D (L+ ), voltaremos a este problema em breve.
Exemplo: O operador
^=c; c2C
L

Novamente
Z b h i
h ^+
2j L j 1i =
^+
L 1 (x) 2 (x) dx h ^
1j L j 2i
a
Z b
= 1 (x) [c 2 (x)] dx
a
Z b
= [c 1 (x)] 2 (x) dx
a
Z b h i
= ^+
L 1 (x) 2 (x) dx ;
a

assim
^+ = c :
L
^ + pode ser todos o espao L2 (e, claro, a restrio L
A princpio o domnio de L ^ + 2 L2 ). Entretanto,
como veremos mais pra frente, podemos impor certas caracterstica no operador L ^ que, para serem mantidas,
restringem tambm o domnio de L ^ .
+

128
9 A srie de Fourie
Temos agora a nossa disposio todos os elementos para o estudo das funes ortogonais. Como primeiro
caso, vamos obter o conjunto de funes j conhecidas presentes na srie de Fourie.
O processo de construo das funes harmnicas est relacionado com a construo dos autovetores de
um operador hermitiano agindo no espao das funes. Ou seja, a soluo de uma equao diferencial do
tipo
N
X
^ =l ; L ^= dn
L an (x) n
n=0
dx

Primeiramente alguns comentrios sobre estas solues.

No caso geral, esperamos que uma equao diferencial ordinria de ordem N tenha N solues LI. Mas
nosso caso, encontraremos innitas solues. O ponto aqui que, para uma dada equao, o lado direito
dado, enquanto, nosso caso, este lado depende de autovalores (l) que tambm temos de encontrar. Ou seja,
no estamos falando de resolver uma determinada equao diferencial, mas, alm disso, encontrar
condies para que esta equao tenha solues.
No caso particular que vamos tratar aqui o operador em questo o operador de Laplace
2
^ = a1 d ; a1 2 C :
L
dx2

Assim, este problema est relacionado com todos os problemas fsicos onde este operador aparece. Em
especial, problemas de eletromagnetismo e mecnica dos udos.
Apenas como motivao (sem alterar o contedo formal) podemos dizer que estas funes surgem no
estudo do problema quntico de uma partcula numa caixa.
Como vimos, um dos postulados da MQ arma que qualquer sistema fsico pode ser completamente
representado por um vetor no espao de Hilbert. Na teoria de Schroedinger o espao de Hilbert o espao
L2 , assim, os vetores so funes (x; t). O signicado fsico destas funes dado pela chamada interpretao
de Copenhagen, segundo a qual a quantidade

2
j (x; t)j

representa a probabilidade do sistema ser encontrado na posio x no instante t. Para no car abstrato
2
demais, podemos dizer que o nosso sistema fsico uma partcula de massa m. Assim, j (x; t)j a proba-
bilidade de encontrarmos esta partcula na posio x no instante t. Mais ainda, a quantidade
Z b
j (x; t)j dx
a

a probabilidade desta partcula ser encontrada, num instante t, dentro do intervalo [ L; L]. Obviamente,

129
se sabemos que a nossa partcula existes (i.e., est em algum lugar), devemos ter:
Z 1
j (x; t)j dx = 1
1

Ou seja, deve ser uma funo de quadrado integrvel. Assim, o fato de 2 L2 na teoria de Schroedinger
uma conseqncia da interpretao probabilstica da MQ.
Alm disso, observveis so operadores hermitianos agindo neste espao. Na teoria de Schroedinger o
operador relacionado com a energia do sistema dado por7

^ = ~2 2
H r + V (x) ;
2m

onde V (x) o potencial que age no sistema (ou seja, a energia potencial do sistema). Este operador
chamado de hamiltoniano do sistema.
Outro postulado arma que os valores que o observvel pode assumir (ou seja, feita uma medida o que
vamos obter) so apenas os autovalores do operador correspondente. Assim, se efetuarmos uma medida de
um sistema quntico descrito por um hamiltoniano H^ , os nicos valores de energia que podemos obter so

^
H n = En n :

Estamos aqui interessados nos nveis de energia de uma partcula de massa m que pode se mover apenas
dentro de um certo intervalo [ L; L]. Ou seja, a partcula est presa neste intervalo. Este problema pode
ser facilmente generalizado para o caso com 3 dimenses. Dentro da caixa nenhuma fora age sobre a
partcula (ela est livre). Assim, neste caso temos V = 0 e o hamiltoniano do sistema se torna

^ = ~2 d 2
H :
2m dx2

Estando livre, a energia desta partcula puramente cintica. Classicamente, uma ver que a
partcula pode ter qualquer velocidade dentro da caixa e, consequentemente, ela pode assumir qualquer
valor de energia. Alm disso, a partcula pode estar em qualquer lugar dentro da caixa. Na descrio
quntica, entretanto, veremos que as coisas so um pouco diferentes.
Primeiramente vamos vericar que o operador H ^ acima hermitiano. Ou seja, vamos vericar que para
duas funes e temos
h jH^ j i = h jH
^j i: (68)

Faamos isso para o caso geral em que V 6= 0.

7O operador hamiltoniano degenerado, por isso as coisas no so to simples.

130
 Explicitando o produto interno acima temos
Z L hi Z L
^j i= ^ ~2 d 2
h jH (x) H (x) dx = (x) + V (x) (x) dx (69)
L L 2m dx2
2 Z L Z L
~ d2
= + V dx (70)
2m L dx2 L

J para o segundo membro de (68)

Z L
^j i= ~2 d 2
h jH (x) +V (x) dx
L 2m dx2
Z L
~2 d 2
= (x) +V (x) dx
L 2m dx2
2 Z L Z L
~ d2
= + V dx : (71)
2m L dx2 L

Ser ou no hermitiano depende de (71) ser, ou no, igual a (69).

Analisemos primeiro o ltimo membro de cada igualdade. Para (71) temos
Z L Z L
(x) V (x) dx = (x) V (x) (x) dx
L L

que, obviamente, igual ao ltimo termo de (69).

Vejamos agora o primeiro termo de (69). Fazendo uma integral por partes temos
Z L L Z L
d2 d d d
dx = dx
L dx2 dx L L dx dx
" L Z #
L L
d d d2
= dx
dx L dx L L dx2
L L Z L
d d d2
= + dx
dx L dx L L dx2

que (multiplicado por ~2 =2m) seria exatamente igual ao primeiro termo de (71) se no fossem os dois
primeiros termos.
Lembremos agora que, no caso geral, no esperamos que nosso operador seja hermitiano para todas as
funes em L2 . Fisicamente isso signica que nem todos os estados so possveis ao sistema. Vamos ento

131
limitar o nosso espao impondo condies de fronteira nas nossas funes de onda

( L) = (L) = 0
0 0
( L) = (L) = 0

Ou seja, os vetores do nosso espao (e, consequentemente, os estados fsicos do nosso sistema) no so todos
os vetores em L2 ( L; L), mas apenas os vetores

^ =
D H ; 0
2 L2 ( L; L) ; ( L) = (L) = 0
( L) = 0
(L) = 0; a:c:

Com esta imposio temos

L
d 0 0
= ( L) (L) =0;
dx L
L
d d d
= ( L) (L) = 0
dx L dx dx

e, com isso,
^ j i = h jH
h jH ^j i

e o operador H^ hermitiano.
Assim, as condies de contorno acima surgem como uma necessidade para que o operador H ^ seja hermi-
tiano. Fisicamente estas condies podem ser interpretadas como o fato da partcula no poder ser encontrada
fora, nem nas paredes da caixa, assim

2
j (x; t)j = 0 ; para jxj L:

Agora que sabemos que nosso operador hermitiano, procuremos por suas auto funes. Ou seja, vamos
resolver a equao
2
^ = E ) d = k 2 ; k 2 = 2mE :
H
dx2 ~2
Para qualquer valor k 2 C a equao acima possui duas solues LI e sua soluo geral pode ser escrita
como
(x) = A exp (ikx) + B exp ( ikx)
^ d2 =dx2 hermitiano e, como sabemos, seu autovalor deve
Entretanto, fcil ver que, assim como H,
ser real, ou seja,
k2R:

132
Pela denio de k vemos que isso implica

k2 0)E 0:

^ ser hermitiano implica que o sistema s pode ter energias positivas. Este resultado
Ou seja, o fato de H
completamente compatvel com a fsica clssica.
Como determinamos as constantes A,B e k da soluo geral acima?
Estas constantes esto relacionadas com as condies de contorno do problema.
Lembrando o domnio do operador H ^ temos

(L) = 0 =) AeikL + Be ikL

= 0 =) AeikL = Be ikL

A (cos kL + i sin kL) = B (cos kL i sin kL) : (72)

Podemos satisfazer esta igualdade de duas formas, a primeira fazendo

sin kL = 0 =) kL = n ; n 2 N

observe que n = 0 no um autovetor. Alm disso, o caso n < 0 corresponde as mesma funes com sinal
trocado e, consequentemente, so as mesmas funes (lembre que a normalizao possui uma arbitrariedade
na fase). Com a escolha acima, temos,

A (cos kL) = B (cos kL) ) A = B;

Podemos tambm satisfazer a igualdade (72) fazendo

1
cos kL = 0 =) kL = n+ ; n2N
2

(observe que agora n = 0 um autovetor), com isso

A (i sin kL) = B ( i sin kL) ) A = B :

Ou seja, o nosso problema possui dois tipos de solues estacionrias

~2 n 2
n (x) = N sin kn x ; kn = n ) En = ;
L 2m L
2
+ 1 ~2 1
n (x) = N + cos kn+ x ; kn+ = n+ ) En+ = n+ ; (73)
L 2 2m L 2

onde as constantes N so constantes de normalizao destas funes.

133
Exercise 63 Obtenha as constantes de normalizao N + e N .

O resultado acima nos mostra que, dentro da caixa, a partcula s pode assumir os nveis de energia En
e En+ . Alm disso, existe um nvel mnimo de energia que o sistema pode assumir que E0+ . A partcula
nunca pode ter energia cintica nula (observe que E0 = 0 implica 0 (x) = 0 e a partcula no est mais na
caixa).

134
 Suponha que voc prendeu um eltron numa caixa e baixou a temperatura do sistema de forma a garantir
que este eltron est no estado fundamental E0+ ( mais natural imaginarmos que temos vrios eltrons no
interagentes nesta caixa). Primeiramente veja que existe uma energia do sistema que voc no pode
retirar, ou seja, esta energia no se dissipa em forma de calor. Em segundo lugar, se voc tentar aquecer o
sistema, por exemplo o iluminando com um laser, se este laser tiver uma energia menor que E1 o sistema no
ir interagir com seu laser (ou seja, ele ser transparente). Se voc for aumentando a freqncia destes laser,
quando a sua energia chegar a E1 o sistema passa a absorver o laser (se torna opaco) e os eltrons passam
para um nvel de energia mais alto. Este salto de um nvel de energia para o outro, sem que o sistema
possa existir em nveis intermedirios (o que classicamente um contnuo) chamado de salto quntico.
Este efeito de absoro de apenas alguns comprimentos de onda pode ser observado em pontos qunticos.
Este tambm o mecanismo porque os eltrons em torno do ncleo s absorvem e emitem radiaes com
determinada freqncia (e.g., a srie de Balmer).
O fato de nosso operador ser hermitiano signica que suas autofunes formam uma base (agora orto-
normal) do espao. Assim, qualquer funo do nosso espao pode ser escrita como:

1
1 X + 1 1 X
1 h i
f (x) = p cn cos n+ x +p cn sin nx :
L n=0 L 2 L n=1 L

2
Em MQ o mdulo quadrado dos coecientes (jcn j ) corresponde a probabilidade de, numa medida da
energia (ou qualquer outro observvel) do sistema no estado f , obtermos o valor En . Assim, o fato de
qualquer estado poder ser expandido na decomposio acima, tem o signicado fsico de que todo sistema
possui (com uma certa probabilidade) sempre algum valor de energia.
e+
Usando a notao de Dirac temos a base composta pelos dois pares de funes fj^n i ; j^
en ig com compo-
nentes h i
1 1 1
e^+
n (x) = p cos n+ x ; e^n (x) = p sin nx
L L 2 L L
Exercise 64 Verique que esta base ortonormal

e^n e^+ ^+
m =0 ; e ^+
n em = e
^n e^m = nm :

Com isso
1
X 1
X
jf i = c+ ^+
n en + cn e^n
n=0 n=1

e+
e as componentes cn so a projeo de f na base fj^n i ; j^
en ig
Z L h i
1
c+
n = e^+
n f i = p cos nx f (x) dx
L L L
Z L
1 1
cn = e^n f i = p sin n+ x f (x) dx
L L L 2

135
9.0.1 Completeza

e+
Armamos acima que as funes fj^n i ; j^
en ig, com componentes

1 h i 1 1
e^+
n (x) = p cos nx ; e^n (x) = p sin n+ x ;
2L L 2L L 2

formam uma base do nosso espao.

Mas qual o nosso espao?
^ no todo o espao L2 ,[ L; L] mas sim
Lembre que o domnio do nosso operador H

^ =
D H ; 0
2 L2 ( L; L) ; ( L) = (L) = 0
( L) = 0
(L) = 0; a:c:

E para este espao que as funes encontradas formam uma base. Ou seja:

Remark 65 As autofunes de um operador hermitiano formam uma base para o espao do domnio deste
operador.

Isso signica, por exemplo, que as funes encontradas no podem descrever uma funo L2 que seja
diferente de zero nas fronteiras.
Suponha agora que, no lugar da restrio acima, faamos a restrio:

0 0
( L) = ei (L) ; ( L) = ei (L) :

Ou seja,

^ =
D H ; 0
2 L2 ( L; L) ; ( L) = ei (L) ; 0
( L) = ei 0
(L) ; a:c: ; 2R

usualmente chamadas de condies peridicas de contorno (na prxima seo veremos com mais detalhes a
razo desta escolha).
Com isso o termo de fronteira se torna
L
d 0 0 0
= ( L) ( L) (L) (L) = (L) ei ( L) (L)
dx L

d
L h i
0 0 0 0
= ( L) ( L) (L) (L) = (L) ei ( L) (L)
dx L

Neste caso vemos que nosso operador no ser hermitiano a menos que coloquemos tambm a restrio

i
( L) = e (L) =) ( L) = ei (L) ;
0 i 0 0 0
( L) = e (L) =) ( L) = ei (L) ;

136
 ^ mas temos de tambm impor a seguinte
ou seja, neste caso, no basta a restrio sobre o domnio de H,
^+
restrio sobre o domnio de H

^+ =
D H ; 0
2 L2 ( L; L) ; ( L) = ei (L) ; 0
( L) = ei 0
(L) ; a:c: :

Assim, tambm para as condies de fronteira acima, nosso operador simtrico. Para diferen-
ciar este operador do anterior vamos cham-lo de H ^ 0 (lembre que domnios diferentes denem operadores
diferentes). Vamos ento encontrar os autovetores de H^ 0 . Para isso voltamos as condies de contorno:

( L) = ei (L)

com
(x) = A exp (ikx) + B exp ( ikx)

Novamente, se aplicarmos diretamente as condies de fronteira, teremos dois conjuntos de solues. Uma
forma conveniente de se obter estas solues (que tambm podia ter sido usada no exemplo anterior) fazer
cada uma das constante A e B igual a zero. Ou seja, para B = 0 temos as solues

+
(x) = A exp (ikx)

Aplicando a condio de contorno

( L) = ei (L) ) exp (i (kL + )) = exp ( ikL) ;

que pode ser satisfeita fazendo

2 n
kL + = kL + 2 n ) kn+ = ; n2N;
2L

com isso
+ 2 n n
n (x) = A exp i x = A exp i x
2L L 2L
Fazendo A = 0 temos
(x) = B exp ( ikx)

Aplicando as c.c.
B exp (ikL) = B exp ( i (kL ))

que fornece
2 n+
kn =
2L

137
com isso,
2 n+ n
n (x) = B exp i x = B exp i + x
2L L 2L
Estas solues so vlidas para qualquer valor de .
Em especial, para = 0 temos

1 h n i
+
n (x) p exp i x ;
=
2L L
1 h n i
n (x) = p exp i x ;
2L L
n
kn+ = kn = = kn :
L

Onde j normalizamos os nossos estados.

O resultado acima nos mostra que qualquer funo f (x)

1
X 1
X
+
f (x) = a+
n n (x) + an n (x) (74)
n=0 n=1

observe que, para n = 0,

+ 1
0 (x) = p = 0 (x)
2L
por isso na somatria (74) contamos este estado apenas uma vez (n comea de 1 em uma das somatrias).
Obviamente a decomposio (74) pode ser escrita como
( )
1
1
X hn i X
1 h n i
f (x) = p a+
n exp i x + an exp i x
2L n=0
L n=1
L
( )
1
1
X hn i X1 h n i
= p a+
n exp i x + a n exp i x ;
2L n=0
L n= 1
L

ou ainda, fazendo (
a+
n ; n 0
an =
a n ; n<0
temos
( )
1
1
X n i X1h h n i
f (x) = p an exp i x + an exp i x
2L n=0
L n= 1
L

1 X1 h n i
= p an exp i x :
2L n= 1 L

138
 Vamos ento introduzir as funes:

1 n
e^n (x) = p exp i x ; n2Z
2L L

^ 0.
Exercise 66 Verique que estas funes so auto-funes de H

Exercise 67 Verique que estas funes so ortonormais.

Com isso, podemos armar que qualquer funo no nosso espao pode ser escrita como
1
X X1
1 n
f (x) = an e^n (x) = p an exp i x :
n= 1 2L n= 1 L

Esta a chamada srie de Fourie da funo f (x). E, uma vez que as nossas funes formam uma base
ortonormal Z L
1 n
an = h^
en j f i = p exp i x f (x) dx :
2L L L
que so os coecientes de Fourie da funo.
Lembrando que agora o nosso espao o espao das funes L2 [ L; L], peridica, i.e., f ( L) = f (L).
Este espao inclui o anterior (i.e., o espao das funes com f ( L) = f (L) = 0).
Porque a srie de Fourie to importante?
A srie de Fourie (autovetores de H ^ 0 ) muito mais usada que os autovetores de H.
^ Obviamente, como
D(H)^ D(H ^ 0 ), isso era de se esperar. Ou seja, podemos expandir muito mais funes usando os autovetores
de H^ do que com os autovetores de H.
0 ^ Isso verdade, mas a verdade ainda mais forte. Um fato que,
tirando os pontos L e L qualquer funo no domnio [ L; L], pode ser expandida em serie de Fourie.
Ou seja, qualquer funo contnua com derivada contnua denida no intervalo ( L; L) (e no apenas as
peridicas) pode ser expandida em srie de Fourie. Assim, dada uma funo g (x) denida no intervalo
x 2 [ L; L] e dada uma distncia nita " > 0 da fronteira, podemos obter uma srie na forma

1
X 1 n
f (x) = an en (x) ; en (x) = p exp i x ;
n= 1 2L L
Z L
1 n
an = p exp i x g (x) dx ;
2L L L

que ser igual a g (x) para qualquer ponto acima desta distncia " > 0 no importa o quo pequeno
seja ". Destarte, qualquer funo em L2 ( L; L) pode ser aproximada, com uma preciso innita, por
uma srie na forma acima.
Dizemos assim que a base fjen ig completa em L2 ( L; L) (lembre que ela no uma base de L2 ( L; L)
mas sim de L02 ( L; L) D H ^ 0 ). Por abuso de linguagem, dizemos que fjen ig uma base de L2 ( L; L).

139
 Assim, se queremos expandir qualquer funo de L2 ( L; L) devemos encontrar operadores que nos
forneam uma base completa.
Mas como saber se a base de um operador completa?
Antes vamos observar uma peculiaridade do operador H ^ 0 . Observe que D(H
^ 0 ) = D(H
^ 0+ ), ou seja, H
^0
no apenas hermitiano (i.e., possui a mesma forma que seu adjunto), mas tambm possui o mesmo
domnio que seu adjunto. Uma vez que um operador denido pela sua forma e pelo seu domnio, neste
caso podemos armar que o operador H ^ 0 igual ao seu adjunto. Um operador que igual ao seu adjunto
chamado de um operador auto-adjunto. Um resultado que vamos aceitar sem provar o seguinte:

Remark 68 Autovetores de um operador auto-adjunto formam uma base completa.

Exemplo: Vamos encontrar a srie de Fourie da funo f (x) = x, com x 2 [ ; ]

1
X
f (x) = an en (x)
n= 1
Z Z
1
an = en (x) f (x) dx = p x exp ( inx) dx
2

Precisamos calcular a integral Z

x exp ( inx) dx

fazendo uma integrao por parte

Z Z
0
fg = (f g) f 0g

f = x ) f0 = 1
exp ( inx)
g0 = exp ( inx) ) g = i
Z Zn
i i
x exp ( inx) dx = [x exp ( inx)] exp ( inx) dx
0 n n
i i exp ( inx)
= [exp ( in ) + exp (in )]
n n in
i 1
= 2 cos n 2i 2 sin n
n n
i n
= 2 ( 1)
n

140
com isso
r
1 i n 2 i n
an = p 2 ( 1) = ( 1) ; n 6= 0
2 n n
Z 2 2
1 1
a0 e0 j f i = p
= h^ x dx = p =0
2 2 2 2

E a nossa srie toma a forma

(1 r 1 r
)
1 X 2 i hn i X 2 i h n i
n n
f (x) = p ( 1) exp i x + ( 1) exp i x
2 n=1
n n= 1
n
(1 r 1 r
)
1 X 2 i n
X 2 i n
= p ( 1) exp [inx] + ( 1) exp [i ( n) x]
2 n=1
n n=1
( n)
r 1
i 2X1 n
= p ( 1) fexp [inx] exp [ inx]g
2 n=1
n
r 1
i 2X1 n
= p ( 1) 2i sin [nx]
2 n=1
n
X1
1 n
= 2 ( 1) sin [nx]
n=1
n
X1 n+1
( 1)
= 2 sin [nx]
n=1
n

Vamos calcular, por exemplo, este srie em x = 0

X1 n+1
( 1)
f (0) = 2 sin [n0] = 0
n=1
n

que, obviamente, concorda com f (x) = x.

Vamos agora calcular a srie na fronteira, x = ,

X1 n+1
( 1)
f( )=2 sin [n ] = 0
n=1
n

que, certamente, diferente de f (x) = x calculado em x = . Assim, como vimos, a srie obtida converge
para a funo em qualquer ponto dentro do intervalo x 2 ( ; ), mas no necessariamente para o
valor da funo na borda x = . O ponto que, pelo domnio escolhido ( = 0 ) (L) = ( L)) a
srie obtida sempre ter o mesmo valor nas bordas. Para minimizar o salto que a srie ter de dar para se
aproximar da funo fora da borda, este valor sempre estar no ponto intermedirio ao valor da funo nas
bordas, i.e., no ponto [f (L) f ( L)] =2.

141
 Para pontos diferentes de x = 0; precisamos, obviamente calcular a srie (o que usualmente feito
numericamente). Quanto mais termos inclumos na srie, mais esta se aproxima da funo. A gura abaixo
P20
mostra um exemplo com apenas um termo (n = 1) e com vinte termos ( n=1 ).

9.0.2 O operador de momento e o signicado fsico das condies de fronteira

Na MQ o operador hamiltoniano est relacionado com a energia da partcula, i.e., os autovalores deste
operador so as energias que o sistema pode assumir.
O operador hamiltoniano usado na seo anterior tambm pode ser escrito como
2
^ = p^ + V (x)
H
2m

onde
d
p^ = i~
dx
Comparando H ^ com a expresso clssica, vemos que o operador p^ corresponde ao momento da partcula.
Na seo anterior, quando xamos condies peridicas de contorno ( (L) = ( L)), as solues obtidas
foram da forma

1 n
e^+
n (x) = p exp (ikn x) ; kn =
2L L
1
e^n (x) = p exp ( ikn x) ; n 2 N
2L

Assim, o momento associado a partculas nestes estados vale

d 1 1
p^e^+
n = i~ p exp (i kn x) = ~kn p exp (i kn x) = ~kn e^+
n
dx 2L 2L
p^e^n = ~kn e^n

142
Ou seja partculas no estado e^+
n correspondem a partculas com momento positivo ~kn e no estado e ^n com
momento negativo ~kn . Se usarmos um anlogo clssico deste sistema podemos dizer que as primeiras tem
velocidade positiva (vo para a direita) e as outras velocidade negativa (vo para a esquerda).
Observe agora que os auto-estados de H ^ 0 acima tambm so auto-estados de p^. O que era de se esperar,
pois nossas partculas esto livres e toda a sua energia cintica. Assim, dado o valor (auto-valor) de p^
sabemos o valor (auto-valor) de H.^
Agora, quando xamos a condio de fronteira (L) = ( L) = 0, as autofunes de H ^ foram

n (x) = N sin kn x ; kn = n;
L
+ 1
n (x) = N + cos kn+ x ; kn+ = n+ ;
L 2

que certamente no so autofunes de p^.

Mas por que, se neste caso tambm a partcula continua livre?
O ponto que a condio de fronteira (L) = ( L) = 0 signica (sicamente) que a partcula no
pode penetrar na parede e, como esta partcula no pode desaparecer, ela tem de ser reetida. Assim,
para esta condio de fronteira temos a viso clssica de uma partcula indo e voltando na caixa. Tal partcula
tem seu momento mudando constantemente e, certamente, no est num auto-estado do momento. J para a
condio peridica de fronteira (L) = ( L) como se, ao chegar no ponto x = L a partcula reaparecesse
no ponto x = L (ou vice-versa). O melhor modelo clssico para isso no seria uma partcula numa caixa,
mas sim presa num anel. Neste caso, obviamente, a partcula pode girarsempre numa determinada direo
e ter um momento bem denido.
Assim, a escolha das condies de fronteira para um problema depende do sistema fsico em considerao.
Mas os resultados matemticos nos dizem muita coisa. Por exemplo, as autofunes de p^ so da forma

e^ (x) = N exp (ikx) ;

e, para estas funes, no conseguimos xar a condio de fronteira

(L) = ( L) = 0

O que nos diz que o momento no uma quantidade bem denida da nossa partcula numa caixa. Neste
caso a interpretao bvia, mas, em casos mais complicados, a incapacidade de xar certas condies de
fronteira, ou alguma outra peculiaridade matemtica, pode nos dar uma innidade de informaes fsicas
novas sobre o sistema.

143
9.1 Operadores auto-adjuntos
Como vimos, os operadores auto-adjuntos so os elementos cruciais na construo de funes ortogonais. Pois
seus autovetores formam uma base completa de L2 . Alm disso, estes operadores so os elementos principais
em MQ, pois (um resultado de Von Neumann) observveis esto associados a operadores auto-adjuntos (e
no hermitianos).

Denition 69 Um operador L ^ auto-adjunto se ele for hermitiano (L

^=L
^ + ) e se seu domnio for igual
+ ^=L
a de seu adjunto (D (L) = D (L )), ou seja, se L ^ .
+

Exemplo: Vamos voltar ao exemplo tratado anteriormente

^=i d ; D L
L ^ = ; 0
2 L2 (a; b) ; a:c: ; (a) = (b) = 0
dx

como vimos anteriormente, este operador hermitiano.

Z b h i Z b
^ ^ d
h 1j L j 2i = 1 (x) L 2 (x) dx = 1 (x) i 2 (x) dx
a a dx
b ^
= [ 1 (x) 2 (x)]a + h 2j L j 1i

Qual o domnio do operador L^ + ? Em outras palavras, em quais funes 1 L ^ + pode atuar sem que isso
^ Observe que, mesmo que 1 (a) 6= 0 e 1 (b) 6= 0 temos
quebre a simetria de L?

h ^
1j L j 2i = 1 (b) 2 (b) 1 (a) 2 (a) + h ^
2j L j 1i

= 1 (b) 0 1 (a) 0+h ^

2j L j 1i

= h 2j L j 1i
^

^ hermitiano para
ou seja, L

^+ =
D L ; 0
2 L2 (a; b) ; a:c: ^
D L

^ + 6= D (L), portanto nosso operador L,

ou seja D L ^ apesar de hermitiano, no auto-adjunto.
Exemplo: vamos agora denir o operador

^c = i d ; D L
L ^c = ; 0
2 L2 (a; b) ; a:c: ; (a) = c (b) ; c2C
dx

144
 ^ j b ^ j
h 1 j Lc 2i = [ 1 (x) 2 (x)]a + h 2 j Lc 1i

= 1 (b) 2 (b) 1 (a) 2 (a) + h ^ j

2 j Lc 1i

= [ (b) ^c j
c 1 (a)] 2 (b) + h 2 j L 1i
1

6= h 2 j Lc
^ j 1i

^ + como
Para tentar simetrizar este operador, vamos tentar denir o domnio de D L c

^+
D Lc = ; 0
2 L2 (a; b) ; a:c: ; ^
(a) = c (b) = D L

com isso,

h ^ j
1 j Lc 2i = [ (b) c (a)] 2 (b) + h ^ j
2 j Lc 1i
1 1

= [ 1 (b) cc 1 (b)] 2 (b) + h ^ j

2 j Lc 1i

= [1 cc ] 1 (b) 2 (b) + h ^ j
2 j Lc 1i
h i
2 ^ j
= 1 jcj 1 (b) 2 (b) + h 2 j Lc 1i

Vemos ento que nosso operador ser simtrico se (e somente se)

2
jcj = 1 =) c = ei ; 2R:

ou seja, se denirmos o operador

^ =i d ; D L
L ^ = ; 0
2 L2 (a; b) ; a:c: ; (a) = ei (b) ; 2R:
dx

^ , diferente de L,
Assim, o novo operador L ^ um operador auto-adjunto.

^+
(D L ^ )
D L
^+
Dos exemplos acima vemos que, no primeiro caso o D L maior que o D L ^+
^ , D L ^ ,
D L
enquanto no segundo caso D L ^+ = D L ^ . possvel provar que, no caso geral, D L^ D L ^ + , i.e.,
o domnio de L^ nunca maior que o domnio de L
^ + . O que zemos no segundo exemplo foi restringir o
^ + , que chamamos de D L
domnio de L ^ + . Obviamente D L+ D (L+ ). Assim, se D (L+ ) 6= D (L), como
no primeiro exemplo, as vezes (mais nem sempre) possvel reduzir o domnio do adjunto de forma que o
novo operador seja auto-adjunto. Um procedimento para fazer foi desenvolvido por Von Neumann.
Vemos assim que todo operador auto-adjunto , por denio, hermitiano, mas o contrrio no ver-
dade. Esta diferena, que a primeira vista parece uma tecnicalidade, possui importantes conseqncias tanto
matemticas quanto fsicas.

145
9.2 O oscilador harmnico
Como um excelente (alm de importante) exemplo da aplicao do formalismo desenvolvido acima, temos o
tratamento do oscilador harmnico quntico. Como se ver no desenvolvimento que segue, a noo abstrata
do espao de Hilbert (sem sua realizao) permite simplicar bastante o problema. Deve-se tentar resolver o
problema partindo diretamente da equao de Schrdinger (ES) para se vericar isto.
Vamos introduzir os seguintes operadores diferenciais lineares

^ ^ = ~2 d 2 1
L H + m! 2 x
^2 ;
2m dx2 2
d
p^ = i~
dx
D (^ ^ =
p) = D H ; 0
2 L2 ; a:c:

aqui H^ o operador hamiltoniano de um oscilador harmnico. A soluo do problema quntico se obtm

^
pela soluo da ES estacionria, i.e., atravs da soluo do problema de autovalores de H,

^ ~2 d 2 1
H =E =) 2
+ m! 2 x
^2 =E
2m dx 2

Esta equao no nada simples de se resolver.

Vamos tentar ento um mtodo alternativo. Primeiro observe que, para qualquer funo 2 D (^
p) temos

d d
x^
p p^ (x ) = x i~ i~ (x )
dx dx
d d
= i~x + i~ (x )
dx dx
d d
= i~x + i~ ( ) + i~x
dx dx
= i~ (75)

Se usarmos a notao
x^
p p^ (x ) = [x^
p p^x] [x; p^] ;

onde
[x; p^] [x^
p p^x]

chamado o comutador de x com p^, lembrando que o operador atua em tudo que estiver a sua direita e que
(75) vlida para toda funo , podemos escrever simbolicamente

[x; p^] = i~ (76)

146
ou seja, sempre que aparecer o comutador entre x e p^ podemos substituir por i~. Lembre que a
quantidade acima um operador enquanto a quantidade direita da igualdade um nmero.

Remark 70 Assim, esta igualdade s faz sentido quando ambos os lados atuam numa funo qualquer.

Vamos agora denir os seguintes operadores diferenciais

i^
p i^
p
a
^ = p x+ ^+ = p
; a x
2 m! 2 m!
1
x = p a ^+
^+a ; p^ = i~ p ^+
a a
^ (77)
2 2
r
m!
=
~

Com estes novos operadores o Hamiltoniano pode ser escrito como (verique):

2 2
^ a+ a
(^ ^) 1 1 2
H = ~2 + m! 2 a^+a^+
2 2m 2 22
1 h 2 2
i
= !~ a^+a ^+ ^+ a
a ^
4
1 h 2 2 2
i
= !~ a
^ +a ^a+ + a+ a^ + a+ ^2 a
a ^a+ a+ a
^ a+
4
1
= ^a+ + a+ a
!~ a ^
2
2
^ = p^ + 1 m! 2 x
H
1
^2 = !~ a
^a+ + a+ a
^ (78)
2m 2 2
As regras de comutao (76) implicam que (verique):

2
i^
p i^
p
a ^+
^; a = x+ ; x
2 m! m!
2
i^
p i^
p
= x+ ; x
2 m! m!
2
i^
p i^
p i^
p i^
p
= x+ x x x+
2 m! m! m! m!
" #
2 2 2
2 i^
p i^
p i^
p 2 i^
p i^
p i^
p
= x x + x x x + x+
2 m! m! m! m! m! m!
2
2
= i [x; p^]
2 m!
= 1

147
ou seja,
[x; p^] = i~ =) a ^+ = 1 :
^; a (79)

Com isso
^ = 1 !~ a
H ^a+ + a+ a ^+ a
^ = ~! a ^+
1
2 2

Suponha agora que n

^ ou seja,
(x) uma auto funo qualquer de H,

^
H n = En n

Agora uma caracterstica muito mais do que importante dos operadores (77): Usando a regra de
comutao (79) vemos que

^a 1 1
H^ n ^+ a
= ~! a ^+ a
^ n = ~! ^+ a
a ^ a
^+ a^ n
2 2
1
= ~! a
^a^+ ^+ a
1 a ^ n
2
1
= a
^~! ^+ a
a ^ 1+ n
2
1
= a
^~! a^+ a
^+ 1 n
2
h i
^ H
= a ^ ~! n
= a
^ [En ~!] n
En
= ~! 1 a
^ n :
~!

fazendo
En ^
= n =) H n = ~! n n
~!
temos
^a
H^ n = ~! ( n 1) a
^ n :

Ou seja, se n
^ com autovalor ~! n , ento a
autovetor de H ^ mas com
^ n outro autovetor de H,
autovalor ~! ( n 1) diminuindo de uma unidade. Simbolicamente podemos chamar este vetor de n 1 ;

a
^ n n 1
^
; H n 1 = ~! n 1 n 1 ; n 1 n 1:

148
 Da mesma forma

^ a+ 1
H^ n ^+ a
= ~! a ^+ ^+
a n
2
1
^+ a
= ~! a ^a^+ + a
^+ n
2
1
^+ 1 + a
= ~! a ^+ a ^+
^ +a n
2
1
^+ ~!
= a ^+ a
1+a ^ + n
2
= a ^
^+ ~! 1 + H n
+
= a
^ ~! (1 + n) n
+
= ~! (1 + n) a
^ n

^ com autovalor ~! n , ento a

Ou seja, se n autovetor de H ^ mas com autovalor
^+ n outro autovetor de H,
~! ( n + 1) acrescido de uma unidade. Simbolicamente podemos chamar este vetor de n+1 ;

^+
a n n+1
^
; H n+1 = ~! n+1 n+1 ; n+1 n +1 : (80)

Por isso estes operadores so chamados de operadores de criao a+ e aniquilao a.

Vamos usar agora que a energia do sistema uma quantidade positiva8

^j i
h jH 0

num estado n qualquer

h nj H
^j ni =h n j ~! n j ni = ~! n h nj ni = ~! n 0: (81)

(onde supusemos que n est normalizado).

(Estado fundamental)
Se a energia positiva deve haver um estado de energia fundamental, i.e., um estado cuja energia no
possa ser reduzida. Podemos chamar este estado simbolicamente de 0 com energia 0 min ( n ).
8 Isso pode ser visto observando que para qualquer autovetor normalizado temos
n
Z b
^+ a
h nj a ^ j ni = [ n (x)] a+ a n (x) dx
a
Z b
= [a n (x)] [a n (x)] dx
a
= a
h^ a ni
n j j^ 0:

149
 Mas a existncia do operador a
^ garante que sempre podemos baixar a energia do sistema. Ou seja, o
vetor = a^ 0 teria uma energia 0 1 < 0 , a menos que (x) = 0, ou seja,

a
^ 0 =0:

Isso tudo que precisamos para caracterizar o OH.

Voltando agora para os nossos operadores originais (x; p^) temos:

i^
p
a
^ 0 = 0 =) p x
^+ 0 =0
2 m!
~ d 0
x 0 + =0
m! dx

fazendo
~
k=
m!
temos
d 0 1 1 d 0 d x
= x 0 =) = ln 0 = ;
dx k 0 dx dx k
Fcil ver que a equao acima bem mais fcil de resolver que a nossa equao original (??). Sua soluo
vale
x2 x2
ln 0 = + C =) 0 (x) = N exp :
2k 2k
com N uma constante (normalizao).
A exigncia a
^ 0 = 0, nos permite ainda determinar a energia deste estado fundamental. Partido da eq.
(78)

^
H n = ~! n n
1
^+ a
~! a ^+ 0 = ~! 0 0
2
1
^+ (^
~! a a 0) + 0 = ~! 0 0
2
1
~! 0 = ~! 0 0
2
1
0 =
2

Ento j temos o estado fundamentas e a sua energia (auto-valor).

(o oscilador nunca para de oscilar)
Observe que a descrio quntica do OH implica na existncia de uma energia mnima (o oscilador nunca
para de oscilar).

150
 Como construir os outros estados n ?
Para isso, basta usar a propriedade (80)

i^
p
^+
a n = n+1 ^+
=) a 0 = 1 =) p x
^ 0 = 1
2 m!
1
E1 = ~! ( 0 + 1) = ~! +1
2

explicitamente

~ d
p x 0 0 = 1
2 m! dx
!
~
1 (x) = p x 1 + ~ 0
2 m! m!
2 x2
1 (x) = 2 p x 0 = N p x exp
2 2 2k

Da mesma forma, podemos obter todos os outros estados (no-normalizados) n

n
n ^+
= a 0
n
~ d
n (x) = N p x 0 (x)
2 m! dx

Com autovalor
1
En = ~! n +
2

9.2.1 Normalizao

^+ n vezes, precisamos calcular

As funes n (x) no esto normalizadas, i.e., aps a aplicao do operador a
N . Isso pode ser simplicado supondo que, se n um vetor normalizado, queremos obter N e N + para que

a
^ n N n 1
+ +
a
^ n N n+1

a
^ n ^+
ea n tambm j estejam normalizados.

H^j ni = En j ni
1 1
^+ a
~! a ^+ j ni = ~! n + j ni
2 2
^+ a
a ^j ni = nj ni

151
multiplicando pelo dual de j ni temos

h ^+ a
nj a ^ j ni = nh nj j ni =n (82)

Agora observe que, pela denio de adjunto

h j A^ j i = h j A^+ j i

temos Z Z Z
A^ dx = (A+ ) dx = (A+ ) dx

ou seja, podemos calcular h j A^ j i como o produto do dual de j i com A^ j i, ou como o produto de j i com
o dual de A^+ j i. Com isso
Z Z
h ^+ a
nj a ^j ni = n a+ (a n ) dx = a
^ n (^
a n) dx

se zemos
j ni =a
^j ni

a expresso acima se torna Z

2 2
( n) ( n) dx = h nj j ni =j nj = j^
a nj

usando (82)
2
2 a
^
j^
a nj =n) pn =1
n
ou seja, se quisermos um vetor normalizado no devemos denir a
^ n = n 1, mas sim

a
^ n p
p n 1 )a
^ n = n n 1
n

Da mesma forma

2
h nj a
^a^+ j ni ^+ a
= h nj 1 + a ^j ni =1+h ^+ a
nj a ^ j ni = 1 + n = N+
p
^+
a n = n + 1 n+1

Ou, fazendo m = n + 1,
p
^+
a m 1 = m m

152
com isso

^+ m 1
a ^+
a ^+
a ^+
a
m = p =p p p m 3
m m m 1 m 2
^+
a ^+
a ^+
a ^+
a
= p p p ::: p m m
m m 1 m 2 m m
m
a+ )
(^
= p 0 :
m!

Assim, a formula para a n-sima autofuno do hamiltoniano do OH se torna

n
N0 ~ d
n (x) = p p x 0 (x)
n! 2 m! dx

onde N0 a normalizao do estado 0 .

As funes n assim construdas so chamadas de funes de Hermite.

Exercise 71 Use a integral gaussiana Z 1 p

x2
e dx =
1

e ache a normalizao N0 .

Exercise 72 Construa a funo de Hermite 4 (x).

Qual o domnio do operador H^ em considerao?

Assim, como antes, fazendo uma integrao por partes temos:

L L
^+ j i = d d ^+ j i
h jH + h jH
dx L dx L

Se xarmos L = 1 temos
1 1
^+ j i = d d ^+ j i
h jH + h jH
dx 1 dx 1

Nosso operador ser hermitiano se ( 1) = ( 1) = 0, ou seja, nossas funes vo zero no innito.

Assim, o domnio do nosso operador vale

^ =
D H ; 0
2 L2 ( 1; 1) ; ( 1) = 0
( 1) = 0; a:c:

Felizmente praticamente todas as funes usadas em fsica (e em todas as aplicaes prticas) so deste
tipo9 .
9 Um ponto bizarro que podemos construir funes que no vo a zero no innito e, ainda assim, so de quadrado integrvel

153
 Resumindo: a construo de funes ortogonais consiste na determinao dos autovetores (autofunes)
de operadores auto-adjuntos, ou, ao menos, hermitianos. Vimos os seguintes casos:

1. O operador de momento
d
p^ = i~
dx
com condies peridicas de contorno, fornece as funes ortogonais

1 n
e (x) = p exp (ikn x) ; kn =
2L L

presentes na decomposio da srie de Fourie. Este operador est relacionado com vrios problemas
em fsica, em especial com o problema quntico de uma partcula numa caixa.

2. O operador
^ = ~2 d 2 1
H 2
+ m! 2 x
^2
2m dx 2
no espao das funes L2 ( 1; 1) cujas autofunes so
n
N0 ~ d
n (x) = p p x 0 (x)
n! 2 m! dx

conhecidas como funes de Hermite. Este problema est relacionado, em especial, com a equao do
oscilador harmnico.

Outros casos muito encontrados so:

1. Equao diferencial de Legendre

^= 1 d2 d
L x2 2x + n (n + 1)
dx2 dx

Cujas solues so os polinmios de Legendre

1 dn n
Pn (x) = N x2 1 :
2n n! dxn

Esta equao esta relacionada, por exemplo, com o problema quntico do tomo de hidrognio.

2. Equao diferencial generalizada de Legendre

^= 1 d2 d m2
L x2 2x + l (l + 1)
dx2 dx 1 x2
(veja o livro Akhiezer N.I., Glazman I.M. Theory of linear operators in Hilbert space ). Entretanto, a exigncia de que a derivada
da funo v a zero no innito condio necessria para que ela seja de quadrado integrvel.

154
 Cujas solues so os polinmios generalizados de Legendre

m m=2 dm
Plm (x) = N ( 1) 1 x2 (Pj ) :
dxm

3. A equao de Laplace em coordenadas esfricas

2
^=2 @ + @ + 1 @ @2 1 @2
L cos + sin +
r @r @r2 r2 sin @ @ 2 2
r2 sin @'2

cujas autofunes so os harmnicos esfricos

Ylm ( ; ') = N eim' Plm (cos )

Esta equao esta relacionada, por exemplo, tambm com o problema quntico do tomo de hidrognio.

10 Operadores integrais e transformadas

10.0.2 Transformada de Fourie

Como vimos anteriormente certas funes ortogonais esto denidas em todo o espao L2. Decomposies
desta forma tm a vantagem de grande parte dos problemas da fsica respeitarem estas condies. Menos,
claro, funes peridicas, para a qual temos a srie de Fourie. Nosso objetivo aqui estender a srie de
Fourie, denida em L,L para o caso L-i, o que, entre outras coisas, elimina o problema da srie no convergir
para a funo nos extremos.
Como vimos, a decomposio em srie de Fourie de uma funo f (x), x 2 [ L; L] dada por
Z
1 X n 1 L
n
f (x) = p an exp i x ; an = p f (x) exp i x dx
2L n L 2L L L

gostaramos de tomar o limite L ! 1. Obviamente, neste limite, nem a srie, nem os coecientes, esto
denidos. Entretanto, podemos resolver esta indeterminao exigindo que as quantidades
p
2Lan

tenham um valor nito. Vamos ento fazer a mudana de varivel

n
=k
L

e exigir que
p
2Lan = h (k) ;

155
Alm disso, como n aumenta sempre de uma unidade na somatria, temos
X X
n =n+1 n=1) Fn = Fn n
n n

n dk
=k) =
L dn L
X Z 1
L
Fn = F (k) ) Fn n ! F (k) dk
n 1

1 X n
f (x) = p an exp i x
2L n L

1 n 1 h (k)
Fn = p an exp i x ) F (k) = p p exp (ikx)
2L L 2L 2L
Z 1
1
f (x) = h (k) exp (ikx) dk
2 1
com Z 1
p
h (k) = 2Lan = f (x) exp ( ikx) dy
1

ou ainda, fazendo
h (k)
g (k) = p
2
temos
Z 1
1
f (x) = p g (k) exp (ikx) dk
2 1
Z 1
1
g (k) = p f (x) exp ( ikx) dx
2 1

A expresso para a funo f (x) acima chamada de frmula integral de Fourie. A funo g acima
chamada de transformada de Fourie de f . Pela simetria destas expresses, podemos chamar f tambm da
transformada de g. Muitos livros adotam a notao
Z 1
1
F [f (x)] g (k) = p f (x) exp ( ikx) dx ;
2 1
Z 1
1
F [g (k)] f (x) = p g (k) exp (ikx) dk :
2 1

Obviamente no procedimento acima no h nenhuma razo para crer que a integral de Fourie convirja
para a funo. Entretanto, substituindo os coecientes da transformada (a funo g) na formula integral

156
temos:
Z 1
1
f (x) = p g (k) exp (ikx) dk
2 1
Z 1 Z 1
1 1
= p p f (x0 ) exp ( ikx0 ) dx0 exp (ikx) dy
2 1 2 1
Z 1Z 1
1
= f (x0 ) exp [i (x x0 ) k] dx0 dk
2 1 1
Z 1 Z 1
0 1
= f (x ) exp [i (x x0 ) k] dk dx0
1 2 1
Z 1
= f (x0 ) (x x0 ) dx0
1

onde Z 1
1
(x x0 ) = exp [i (x x0 ) k] dk
2 1

A quantidade acima conhecida como delta de Dirac. Um resultado da teoria das distribuies, arma que:
para qualquer funo f (x) 2 L2 ( 1; 1). A seguinte igualdade vlida
Z 1
f (x0 ) (x x0 ) dx0 = f (x)
1

Este resultado mostra que realmente a frmula integral de Fourie (assim como a srie de Fourie) tente (em
mdulo quadrado) para a funo.
Observe tambm que
Z 1 Z 1
2
jg (k)j dk = g (k) g (k) dk
1 1
Z 1 Z 1 Z 1
1
= f (x0 ) exp (ikx0 ) dx0 f (x) exp ( ikx) dx dk
2 1 1 1
Z 1Z 1Z 1
exp (ik (x0 x))
= dk f (x0 ) f (x) dx0 dx
1 1 1 2
Z 1Z 1
= (x0 x) f (x0 ) dx0 f (x) dx
1 1
Z 1
= f (x) f (x) dx
1
Z 1
2
= jf (x)j dx :
1

Este resultado conhecido como teorema de Parseval. Ou seja, se f (x) 2 L2 ( 1; 1) uma funo varivel
x, ento g (k) 2 L2 ( 1; 1) como uma funo da varivel k.

157
 A convergncia acima pode ser explicitamente provada (usando a frmula integral de Dirichlet) para
funes de mdulo integrvel Z 1
jf (x)j dx < 1
1

(veja o livro do Courant-Hilbert). Mas, para o caso de funes L2 , que so o nosso interesse, precisamos de
resultados da teoria das distribuies.
Obviamente o mesmo procedimento acima pode ser desenvolvido usando outros sistemas de funes or-
togonais (e no apenas as exponenciais). Desta forma, existem vrios outros tipos de transformadas. Por
exemplo, a transformada de Henkel que utiliza as funes de Bessel.

Exercise 73 Mostre que, se f (x) uma funo par, ento:

Z 1
g (k) = 2 f (x) cos (kx) dx ;
0

conhecido como Transformada de Fourie dos cossenos.

Exercise 74 Mostre que a transformada de Fourie de uma gaussiana

x2
f (x) = N exp
a2

tambm uma gaussiana.

Exercise 75 Mostre que

df
F [f 0 (x)] = ikF [f (x)] ; f 0 =
dx

10.0.3 A delta de Dirac

A delta de Dirac uma quantidade bastante til nas manipulaes do espao L2 . A forma explicita acima
apenas uma das innitas formas de se construir explicitamente a delta de Dirac. No caso geral, esta
quantidade construda apenas pela denio:

(x x0 ) = 0 para x 6= x0
Z 1
f (x) (x x0 ) dx = f (x0 )
1

Em especial, para f (x) = 1 temos Z 1

(x x0 ) dx = 1 :
1

Pela denio acima, vemos que esta quantidade no pode ter um valor nito em x = x0 , pois, neste caso, a
integral seria zero (a rea embaixo de um ponto zero). Assim, esta quantidade no uma funo. Mas

158
sim uma quantidade chamada distribuio, i.e., uma quantidade que s faz sentido quanto integrada.
Atravs da notao de Dirac podemos expressar tambm a formula integral de Fourie fazendo:
Z 1
jf i = g (k) jek i dk
1

onde agora o "vetor" jki tem suas componentes indexadas por um ndice contnuo10

1
ek (x) = p exp (ikx)
2

Com a denio acima temos

Z 1
1
hek0 j ek i = exp [i (k k 0 ) x] dx = (k k0 ) ;
2 1

e para obtermos os coecientes g (k) (os coecientes da expanso) basta projetar jf i em jek i
Z 1
hek0 j f i = g (k) hek0 j ek i dk
1
Z 1
= g (k) (k k 0 ) dk
1
0
= g (k )

o que, obviamente, fornece a expresso para g (k) obtida anteriormente

Z 1
1
g (k) = hek j f i = p f (x) exp ( ikx) dx : (83)
2 1

Claro que, pela simetria entre g e f , podemos da mesma forma denir

Z 1
jgi = f (x) jex i dx
1

onde jex i possui componentes

1
ex (k) = p exp ( ikx) = (ek (x))
2
Remark 76 Observe que agora x o ndice (contnuo) que identica o vetor e k o parmetro da funo.

Com isso, Z 1
1
hex0 j ex i = exp [i (x0 x) k] dk = (x0 x)
2 1
1 0 Observe que k o ndice que identica o vetor e x o parmetro da funo.

159
e Z 1
1
f (x) = hex j gi = p g (k) exp (ikx) dk
2 1

Podemos ento obter todas as expresses anteriores se trocarmos todas as somatrias por integrais e
generalizamos a nossa denio de ortogonalidade para

hen j em i = nm ! hex0 j ex i = (x x0 ) :

Estas igualdades nos permitem trata jxi como uma "base" contnua do espao e a transformada de Fourie
como uma mudana da base jxi para a base jki. Mas isso s uma forma de lidar com as coisas, ou seja,
til, mas no rigorosamente verdade. Lembre da discusso de cardinalidade. Nosso espao tem uma
base contvel e um conjunto contnuo de vetores jxi possui mais elementos (uma maior cardinalidade) que um
conjunto contvel de vetores jni. Por isso no conjunto fjxig temos mais vetores que a base fjnig. E qualquer
conjunto com mais elementos que uma base no uma base ortonormal. Em especial, seus elementos
no podem ser ortogonais. Ou seja, a generalizao acima no (rigorosamente) uma expresso de
ortogonalidade. Alm disso, fcil ver que as funes

1 1
ex (k) = p exp ( ikx) ; ek (x) = p exp (ikx)
2 2

no so de quadrado integrvel (com a medida usual), de sorte que jxi ; jki 2= L2 ( 1; 1).
Toda esta questo extremamente complicada e exige uma discusso profunda sobre anlise de operadores
no espao de Hilbert e teoria das distribuies. Em especial, para incorporar as funes ex (k) e ek (x) numa
teoria consistente existe uma generalizao do conceito de espao de Hilbert, chamado rigged Hilbert space
(ou equipped Hilbert space).
Mas o ponto que voc ser muito feliz se, ao tratar a grande maioria dos problemas, esquecer tudo isso
e tratar jex i e jek i como uma base do espao de Hilbert. Estes vetores (vamos ento esquecer as aspas) so
to usados que simplicamos sua notao

jxi jex i ; jki jek i :

com isso

hx0 j xi = (x x0 ) ; hk 0 j ki = (k k0 )

Assim, dado um vetor jf i 2 L2 ( 1; 1) podemos decompor este vetor na base fjxig

Z 1
jf i = jxi hxj f i dx
1

160
com componentes
hxj f i = f (x)

ou na base fjkig Z Z
1 1
jf i = g (k) jki dk = jki hkj f i dk
1 1

com componentes
hkj f i = f (k) :

Obviamente f (k) = F [f (x)] a transformada de f (x) (nessa notao usamos a mesma letra para a trans-
formada e s mudamos a varivel).
Neste sentido, a transformada pode ser vista como uma mudana de base. Pois, dado um vetor na base
fjxig Z Z
1 1
jf i = jxi hxj f i dx = jxi f (x) dx
1 1

suas componentes na base fjkig so

Z 1
f (k) = hkj f i = hkj xi f (x) dx
1

Comparando com a expresso da transformada de Fourie (83)

Z 1
1
hkj f i = p f (x) exp ( ikx) dx
2 1

temos
1
hkj xi = p exp ( ikx) :
2
E as funes da Transformada so os coecientes de mudana das duas bases.

Exercise 77 Considere um vetor hi 2 L2

Decomponha o vetor hi na base fjxig.

Faa
h (x) = xf (x)

e mostre que
d
hkj hi = i hkj f i
dk
Ou seja,
d
F [xf (x)] = i F [xf (x)] :
dk

161
 Aplicao
Vamos considerar um exemplo usando a equao de difuso. Ou seja, vamos determinar a distribuio de
temperatura T (x; t) num slido (considerado innito) sabendo que T (x; 0) = f (x). Precisamos ento resolver
a equao
@2T 1 @T
2
=
@x @t
Fazendo a transformada de Fourie de T na varivel x temos
Z 1
exp (ikx)
F [T ] = F (k; t) = p T (x; t) dx
1 2

Usando as propriedades
@2T
F = k 2 F [T ]
@x2
temos que F (k; x) obedece a equao
1 @F
k2 F =
@t
com isso
F (k; t) = exp k2 t (k)

Pela denio de F sabemos que

Z 1
exp (ikx)
F (k; 0) = p T (k; 0) dx = (k)
1 2

Usando agora a condio inicial Z 1

exp (ikx)
(k) = p f (x) dx
1 2
Com isso Z 1
exp (ikx)
F (k; t) = exp k2 t p f (x) dx
1 2
Para obtermos a distribuio de temperatura, basta agora aplicar a transformada inversa
Z 1
exp ( ikx)
F [F ] = T (x; t) = p F (k; t) dk
1 2

162
com isso
Z 1 Z 1
exp ( ikx) 2 exp (ikx0 )
T (x; t) = p exp k t p f (x0 ) dx0 dk
1 2 1 2
Z 1 Z 1
1
= exp k 2 t exp (ik (x0 x)) dk f (x0 ) dx0
1 2 1

Este resultado j pode ser usado para calcularmos a distribuio numericamente. Entretanto, a integral em
k pode ser facilmente calculada completando o quadrado

k 2 t + ikA
2
(ak b) =a2 k 2 + 2akb b2 = k 2 t + ikA
p iA
a = t; b= p
2 t
A = (x x0 )

com isso
Z Z !
1 1 p 2
1 2 1 iA A2
exp k t + ikA dk = exp tk p dk
2 1 2 1 2 t 4 t
Z !
1 p 2
A2 1 iA
= exp exp tk p dk
4 t 2 1 2 t

usando a integral gaussiana

Z 1 h i
1 1 2
exp k 2 t exp (ik (x0 x)) dk = exp (x x0 ) =4 t
2 1 4 t

temos
Z 1
T (x; t) = G (x; t; x0 ) f (x0 ) dx0
1
1 h i
0 2
G (x; t; x ) = exp (x x0 ) =4 t
4 t

A funo G (x; t; x0 ), que permite calcular a soluo do nosso problema num instante qualquer, dada a
condio inicial, chamada de funo de Green do problema.

163