UNIVERSIDADE ESTADUAL DE SANTA CRUZ

DEPARTAMENTO DE CI

ENCIAS EXATAS E TECNOL

OGICAS - DCET
COLEGIADO DE MATEM

ATICA
CRISTIANO SANTOS BENJAMIN
EXPANS

AO DE FUNC

OES NA ESFERA
Ilheus-Bahia
2012
CRISTIANO SANTOS BENJAMIN
EXPANS

AO DE FUNC

OES NA ESFERA
Monograa submetida ao Colegiado do Curso de
Matem atica da Universidade Estadual de Santa
Cruz.
Orientador: Prof. Dr Germ an Gomero Ferrer
Ilheus-Bahia
2012
CRISTIANO SANTOS BENJAMIN
EXPANS

AO DE FUNC

OES NA ESFERA
Prof. Dr. German Ignacio Gomero Ferrer
Orientador
Prof. Dr. Ricardo Martin Bentin Zacarias
Prof. Ms. Claudemir Mota da Cruz
`
A meu pai Fernando, mae
Katia e irmas Jessica e Su-
zana.
Agradecimentos
Agradeco primeiramente a Deus pelo que sou e por me dar forca na
minha carreira academica e ter permitido que eu comecasse e ter-
minasse este trabalho. Agradeco ao meus familiares por sempre me
apoiarem, principalmente meu pai que nunca mediu esforcos para
me proporcionar a oportunidade de me dedicar exclusivamente aos
estudos. Agrade co a todos os meus professores que contribuiram no
meu desenvolvimento, cada um com sua devida parte, destacando
Elis angela Farias, que foi minha primeira orientadora em um tra-
balho de iniciacao cientca, Rosane Funato que muito me ensinou
em nossas conversas, Sergio

Alvarez que contribuu com seus sabios
conselhos alem de dispor do seu tempo para formarmos grupos de
estudos, Nestor Centurion que me motivou com sua grande inte-
ligencia e nalmente German Gomero, meu atual orientador que
tem me suportado nos ultimos dois anos. Agrade co a Victor Mielly
que entrou junto comigo na graduac ao e mais esteve perto durante
todo este perodo sempre me incentivando a estudar mais e a Tauan
que apesar das poucas disciplinas que pegamos juntos sempre esta
disposto a ajudar quando preciso.
5
Resumo
Existem muitas situac oes cuja modelagem requer o uso de func oes
na esfera bidimensional. A maneira usual de representar estas
func oes e mediante a expans ao em harm onicos esfericos. Este
metodo e simples, eciente e permite controlar a resoluc ao global
da representac ao. Neste trabalho estudamos em detalhe a expans ao
de fun coes na esfera em termos de harmonicos esfericos. Desenvol-
vemos dois metodos para calcular os coecientes, assim como al-
goritmos que implementam o primeiro. Finalmente testamos este
metodo com a reconstruc ao dos coecientes da expans ao de algumas
func oes simples.
Palavras-chave: An alise Harm onica, Harm onicos Esfericos, Po-
lin omios Ortogonais.
6
Abstract
There are many situations where modeling requires the use of func-
tions in the two-dimensional sphere. The usual way to repre-
sent these functions is by expansion in spherical harmonics. This
method is simple, ecient and able to monitor the overall reso-
lution of the representation. In this work we study in detail the
expansion of functions in the sphere in terms of spherical harmo-
nics. We develop two methods to compute these coecients, as well
as the algorithms needed for implementing the rst one. Finally,
we test this method reconstructing the expansion coecients of a
few simple functions.
Keywords: Harmonic Analysis, Spherical Harmonics, Orthogonal
Polynomials.
7
Sumario
Introducao 9
1 Harmonicos esfericos 11
1.1 Vis ao panor amica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Polin omios de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.1 A f ormula de Rodrigues . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.2 Formulas recursivas para os polin omios de Legendre . . . . . . . . . . 15
1.2.3 Formula recursiva para as derivadas de R
l
(x) . . . . . . . . . . . . . 16
1.2.4 Formulas recursivas para a integral de P
l
(x) . . . . . . . . . . . . . . 18
1.2.5 Norma de P
l
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3 Func oes associadas de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.3.1 Formulas recursivas para P
m
l
(x) . . . . . . . . . . . . . . . . . . . . . 21
1.3.2 Formulas recursivas para a derivada de P
m
l
(x) . . . . . . . . . . . . . 21
1.3.3 Formulas recursivas para a integral de P
m
l
(x) . . . . . . . . . . . . . 22
1.4 Os Harmonicos Esfericos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4.1 Ortogonalidade e norma dos harmonicos esfericos . . . . . . . . . . . 22
1.4.2 Formula recursiva para os harmonicos esfericos . . . . . . . . . . . . 24
2 Expansao de func oes na esfera 26
2.1 Dois metodos de calculo de a
m
l
. . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.2 Pixelizac ao da Esfera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 C alculo numerico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4 Coecientes da reconstruc ao da expans ao de algumas func oes . . . . . . . . . 31
3 Discussao de resultados 35
Referencias Bibliogracas 37
A Algoritmos 38
8
Introducao
Com o avan co das tecnicas computacionais e com a sua aplicac ao em quase todos os
ramos da ciencia, a comunidade cientca tem desenvolvido e utilizado novos metodos com-
putacionais para armazenamento, processamento, visualizacao, an alise e simulac ao de dados
referentes a fenomenos observados na natureza.
Quando se pretende abordar problemas de modelagem de sistemas com simetria esferica,
e necess ario trabalhar com funcoes denidas na esfera S
2
. H a um conjunto de func oes espe-
ciais, chamadas de harmonicos esfericos, que permitem descrever de modo eciente qualquer
func ao na esfera, desde que seja integr avel. Estas func oes foram introduzidas por Pierre
Simon de Laplace em 1784 ao estudar o campo gravitacional de corpos celestes como a
Terra, e atualmente s ao imprescindveis em diversas areas da Ciencia e Tecnologia, como a
Geograa, Meteorologia, Oceanograa, Tomograa, Fsica At omica e Nuclear, Cosmologia
e Computac ao Gr aca.
Qualquer fun cao integravel na esfera pode ser escrita como uma serie de harm onicos
esfericos. Esta expans ao e simples, eciente e permite controlar a resoluc ao global da re-
presenta cao graca da func ao. Assim, o estudo minucioso das propriedades dos harm onicos
esfericos torna-se muito importante, pelo que forma uma parte importante deste trabalho.
Ap os os estudos dos harm onicos apresentamos dois metodos para calcular os coecientes
desta expans ao, desenvolvemos um algoritmo que implementa o primeiro metodo e o utiliza-
mos para construir varias tabelas com coecientes da reconstrucao da expansao de algumas
func oes simples.
Os harm onicos esfericos s ao produtos de exponenciais complexas e func oes associadas de
Legendre. Estas ultimas, por sua vez, s ao fun coes que satisfazem uma equa cao diferencial
ordin aria, chamada equac ao associada de Legendre, que emerge ao aplicar o metodo de se-
parac ao de vari aveis ` a parte angular da equac ao de Laplace. O estudo das funcoes associadas
de Legendre se reduz, por sua vez, ao estudo dos polin omios de Legendre, motivo pelo qual
iniciamos nosso trabalho apresentando estes polin omios e algumas propriedades na Sec ao
1.2. O roteiro seguido a partir daqui e descrito com maiores detalhes no incio do primeiro
captulo.
Como uma func ao na esfera e uma expans ao em serie de harmonicos esfericos, os coe-
cientes destas expans ao formam uma representac ao da func ao. Cada um destes coecientes
se calcula integrando a func ao com a conjugada complexa do respectivo harm onico esferico.
Assim, o objetivo principal deste trabalho consiste em desenvolver tecnicas para calcular
estes coecientes.
Desenvolvemos dois metodos para este m. No primeiro separamos a integral em duas
partes, uma das quais se calcula pela Transformada R apida de Fourier, e a outra de forma
recursiva. No segundo utilizamos uma f ormula recursiva dos harm onicos esfericos para en-
9
contrar uma relac ao de recorrencia para os coecientes da expansao, embora tambem seja
necess ario calcular algumas integrais para as condi coes iniciais. Finalmente construimos
algoritmos numericos que implementam o primeiro metodo e por m algumas tabelas que
mostram o resultado deste metodo de reconstruc ao.
10
Captulo 1
Harm onicos esfericos
1.1 Visao panoramica
A equacao de Laplace e uma equacao diferencial parcial que surgiu em um artigo de
Pierre Simon Laplace onde ele mostrou que o potencial gravitacional sempre a satisfazia.
Em coordenadas esfericas tridimensionais esta equac ao assume a forma
1
r
2
_

r
_
r
2
U
r
_
+
1
sen

_
sen
U

_
+
1
sen
2

2
U

2
_
= 0 . (1.1)
O metodo de separacao de vari aveis permite isolar a parte radial das solucoes da parte
angular. De fato, inserindo uma soluc ao da forma U(r, , ) = R(r)Y (, ) na equa cao (1.1)
temos
(r
2
R

(r))

R(r)
=
1
Y (, )
_
1
sen

_
sen
Y

(, )
_
+
1
sen
2

2
Y

2
(, )
_
.
Pelo fato do lado esquerdo ser func ao apenas de r, e do lado direito ser func ao de e
, a igualdade acima implica que ambos os lados devem ser iguais a uma constante. Por
conveniencia futura, escrevemos essa constante na forma l(l + 1).
Como estamos interessados em estudar fun coes na esfera, vamos nos concentrar apenas
na parte angular da equac ao de Laplace, que toma a forma
1
sen

_
sen
Y

(, )
_
+
1
sen
2

2
Y

2
(, ) + l(l + 1)Y (, ) = 0 . (1.2)
As soluc oes fundamentais para l N desta equacao sao chamadas de harm onicos esfericos.
Para obte-las separamos variaveis novamente, escrevendo
Y (, ) = ()(). (1.3)
Introduzindo esta expressao em (1.2) temos
sen
()
d
d
_
sen
d
d
()
_
+ l(l + 1)sen
2
=

()
()
.
11
Mais uma vez, a igualdade acima s o e possvel se ambos os lados forem iguais a uma constante,
que escrevemos na forma m
2
. As EDOs resultantes s ao
1
sen
d
d
_
sen
d
d
()
_
+ l(l + 1)()
m
2
(sen)
2
() = 0 (1.4)

() + m
2
() = 0 . (1.5)
Realizando a mudanca de vari avel () = P
m
l
(x) na equac ao (1.4), onde x = cos , temos
(1 x
2
)
d
2
dx
2
P
m
l
(x) 2x
d
dx
P
m
l
(x) +
_
l(l + 1)
m
2
1 x
2
_
P
m
l
(x) = 0 , (1.6)
que e a equac ao associada de Legendre. Se a constante azimutal de separacao, m
2
, for nula
esta equac ao se reduz `a equac ao de Legendre
(1 x
2
)
d
2
dx
2
P
0
l
(x) 2x
d
dx
P
0
l
(x) + l(l + 1)P
0
l
(x) = 0 . (1.7)
Na Sec ao 1.3 construimos as soluc oes da equac ao associada de Legendre, equa cao (1.6), a
partir das solu coes desta ultima equac ao, que por sua vez s ao obtidas na Sec ao 1.2.
Por outro lado, as soluc oes de (1.5) sao da forma

m
() = ae
im
+ be
im
.
Como deve satisfazer a condi cao de periodicidade () = ( + 2), temos que m Z.
Assim, de acordo com (1.3), os harmonicos esfericos parametrizados por l e m, deveriam
tomar a forma
Y
m
l
(, ) = P
m
l
(cos )
m
().
Na Sec ao 1.3 tambem justicamos que, na verdade, podemos tomar os harmonicos esfericos
na forma
Y
m
l
(, ) = (1)
m
N
m
l
P
m
l
(cos )e
im
, (1.8)
onde N
m
l
e uma constante de normalizacao, l N e l m l.
O produto interno entre dois harmonicos esfericos e, por definicao,
Y
m
l
, Y
m

l
=
_
S
2
Y
m
l
(, )Y
m

l
(, ) sen dd
= (1)
m+m

N
m
l
N
m

_

0
P
m
l
(cos )P
m

l
(cos ) sen d
_
2
0
e
i(mm

)
d
= (1)
m+m

2
m,m
N
m
l
N
m
l

_
1
1
P
m
l
(x)P
m

l
(x)dx .
Portanto, para provar que os harmonicos esfericos s ao ortogonais basta vericar a relacao
_
1
1
P
m
l
(x)P
m
l
(x) = A
m
l

l,l
, (1.9)
12
Isto e feito na Sec ao 1.4.1. Observe que daqui se segue (N
m
l
)
2
2A
m
l
= 1, logo a constante
de normalizac ao e dada por
N
m
l
=
1
_
2A
m
l
. (1.10)
Finalmente na Secao 1.4 encontramos uma f ormula recursiva para os harm onicos esfericos
e no Captulo 2 apresentamos duas formas de calcular os coecientes da expansao de uma
func ao f : S
2
R integr avel em termos dos harmonicos esfericos, dadas pelas express oes
(2.3) e (2.4) e descrevemos a forma numerica de calcularmos o metodo (2.3). Na Sec ao
2.4 apresentamos algumas tabelas com coecientes da reconstrucao da expans ao de algumas
func oes. No Captulo 3 dicutimos os resultados e no Apendice ?? temos os algoritmos
utilizado para a construc ao das tabelas.
1.2 Polin omios de Legendre
Seja V = C
0
[1, 1] o espaco vetorial das funcoes contnuas do intervalo [1, 1] em R com
o produto interno denido por
f, g =
_
1
1
f(x)g(x)dx .
O conjunto de func oes B = {I
l
; I
l
(x) = x
l
, l N} forma uma base do subespaco das
func oes polinomiais. O processo de GrammSchmidt aplicado a B fornece uma base ortogonal
B = {q
l
; l N}, onde q
l
e um polinomio m onico de grau l. No entanto este processo n ao
permite obter uma forma explicita para estes polinomios. Uma maneira de obter esta base
ortogonal explicitamente utiliza a f ormula de Rodrigues, como se mostra a seguir.
1.2.1 A formula de Rodrigues
Considere a equacao diferencial
(1 x
2
)
dy
dx
+ 2lxy = 0 , (1.11)
com l 0 inteiro, cuja solu cao e facilmente obtida se a escrevemos na forma
dy
y
=
2lxdx
1 x
2
.
De fato, integrando a equac ao acima obtemos
y = c(1 x
2
)
l
,
com c constante. Derivando n vezes a equacao (1.11) obtemos
(1 x
2
)
d
2
z
dx
2
2x(n l)
dz
dx
+ n(2l n + 1)z = 0 , (1.12)
13
onde
z =
d
n1
y
dx
n1
.
Tomando n = l + 1 em (1.12) obtemos
(1 x
2
)
d
2
z
dx
2
2x
dz
dx
+ l(l + 1)z = 0 ,
que e a equacao de Legendre (1.7), onde
z =
d
l
y
dx
l
= c
d
l
dx
l
(1 x
2
)
l
.
A relacao acima mostra que uma soluc ao particular dela e
P
l
(x) =
1
2
l
l!
d
l
dx
l
(x
2
1)
l
. (1.13)
Esta expressao, que fornece a unica soluc ao regular de (1.7), e chamada de formula de
Rodrigues, e dene o polin omio de Legendre de grau l. Mostramos no que segue que cada
Polin omio de Legendre, P
l
, e proporcional ao elemento da base ortogonal B do mesmo grau,
q
l
. Para isto dena
p
l
(x) =
d
l
dx
l
(x
2
1)
l
.
1. O conjunto {p
l
; l N} e ortogonal. Com efeito, se m < l, ent ao
p
l
, p
m
=
m

k=0

k
p
l
, I
k

=
m

k=0

k
_
1
1
p
l
(x)x
k
dx
=
m

k=0

k
0
= 0 .
A primeira igualdade segue de B
m
= {I
k
; I
k
(x) = x
k
, k = 0, ..., m} formar uma base
para o espaco dos polin omios de grau menor ou igual a m, P
m
, e p
m
P
m
. A terceira
igualdade se d a porque integrando por partes
_
1
1
x
k
p
l
(x)dx = x
k
d
l1
dx
l1
(x
2
1)
l

1
1
k
_
1
1
x
k1
d
l1
dx
l1
(x
2
1)
l
dx
= k
_
1
1
x
k1
d
l1
dx
l1
(x
2
1)
l
dx ,
14
pois
d
k
dx
k
(x
2
1)
l
se anula em x = 1 para k = 0, ..., l 1. Repetindo a integracao por
partes k vezes chegamos em
_
1
1
x
k
p
l
(x)dx = (1)
k
k!
_
1
1
d
lk
dx
lk
(x
2
1)
l
dx
= (1)
k
k!
d
lk1
dx
lk1
(x
2
1)
l

1
1
= 0 .
2. Se v P
l1
, entao
v, p
l
=
_
l1

k=0

k
p
k
, p
l
_
=
l1

k=0

k
p
k
, p
l
= 0 . (1.14)
Como o conjunto {q
0
, . . . , q
l
} tambem e uma base ortogonal de P
l
, ent ao temos que
p
l
=
l

k=0
p
l
, q
k

||q
k
||
2
q
k
=
p
l
, q
l

||q
l
||
2
q
l
,
ou seja, p
l
e um m ultiplo escalar de q
l
. Comparando os coecientes dos termos de grau
l em q
l
e p
l
conclumos que
q
l
=
l!
(2l)!
p
l
.
Portanto os polinomios de Legendre formam um base ortogonal do subespa co das func oes
polinomiais de V , proporcionais aos polinomios de B.
1.2.2 F ormulas recursivas para os polin omios de Legendre
O calculo dos polinomios de Legendre, com l consideravelmente grande utilizando a
formula de Rodrigues requer muito trabalho. Alem disso, o c alculo de um certo P
l
n ao
ajuda em nada no c alculo de P
l+1
. Por conta disto vamos deduzir uma outra forma de
calcular os Polin omios de Legendre, por meio de f ormulas recursivas para os polin omios,
suas derivadas e integrais.
Para isso dena a func ao geradora
g(t, x) = (1 2xt + t
2
)
1/2
. (1.15)
Expandindo esta funcao em serie de potencias de t d a
g(t, x) =

l=0
R
l
(x)t
l
, (1.16)
com
R
l
(x) =
1
l!

l
g
t
l
(0, x) . (1.17)
15
Na Se cao 1.2.3 provamos que os coecientes da expans ao de g em serie de potencias em t
sao exatamente os Polinomios de Legendre.
Vamos agora encontrar uma relac ao de recorrencia para os R
l
s. Para isso calculamos a
derivada parcial de g em relac ao a t
g(t, x)
t
=
x t
(1 2xt + t
2
)
3/2
=

l=0
lR
l
(x) t
l1
.
Usando a expans ao (1.16) e arrumando os termos chegamos a
(1 2xt + t
2
)

l=0
lR
l
(x) t
l1
+ (t x)

l=0
R
l
(x) t
l
= 0 .
Introduzindo os parenteses para dentro dos somat orios e mudando os ndices para homoge-
neizar as potencias de t obtemos nalmente

l=0
(l + 1)R
l+1
(x) t
l

l=1
2xlR
l
(x) t
l
+

l=1
(l 1)R
l1
(x) t
l
+

l=1
R
l1
(x) t
l

l=0
xR
l
(x) t
l
= 0 .
Desta expressao temos, para l = 0
R
1
(x) = xR
0
(x) ,
enquanto que para o resto

l=1
[(l + 1)R
l+1
(x) x(2l + 1)R
l
(x) + lR
l1
(x)] t
l
= 0 .
Esta ultima express ao fornece a formula recursiva desejada
R
l+1
(x) =
1
l + 1
[(2l + 1)xR
l
(x) lR
l1
(x)] (1.18)
com os valores iniciais R
0
(x) = 1 e R
1
(x) = x obtidos a partir de (1.15) e (1.17).
1.2.3 F ormula recursiva para as derivadas de R
l
(x)
Encontremos agora f ormulas recursivas para as derivadas de R
l
(x). No caminho mostra-
mos que os R
l
s sao os polin omios de Legendre.
Derivando a func ao geradora em relac ao a x temos
g
x
(t, x) = t(1 2xt + t
2
)
3/2
=

l=0
R

l
(x) t
l
.
16
Usando a expans ao (1.16) e arrumando os termos chegamos a

l=0
R
l
(x) t
l+1
= (1 2xt + t
2
)

l=0
R

l
(x) t
l
.
Introduzindo os parenteses dentro dos somat orios e mudando os ndices para homogeneizar
as potencias de t temos nalmente

l=0
R

l+1
(x) t
l
+

l=1
R

l1
(x) t
l
= 2x

l=0
R

l
(x) t
l
+

l=0
R
l
(x) t
l
.
Desta expressao temos, para l = 0
R

1
(x) = R
0
(x) = 1 ,
enquanto que para o resto

l=1
[R

l+1
(x) + R

l1
(x) 2xR

l
(x) R
l
(x)] t
l
= 0 .
Esta ultima express ao fornece a formula recursiva
R

l+1
(x) + R

l1
(x) = 2xR

l
(x) + R
l
(x) . (1.19)
Outra formula recursiva pode ser obtida reescrevendo a expressao (1.18) na forma
(2l + 1)xR
l
(x) = (l + 1)R
l+1
(x) + lR
l1
(x) ,
derivandoa e adicionando a ela (2l + 1) vezes a express ao (1.19) para cancelar o termo R

l
.
O resultado e
R

l+1
(x) R

l1
(x) = (2l + 1)R
l
(x) . (1.20)
Por outro lado, fazendo
1
2
[(1.19) + (1.20)] e
1
2
[(1.19) (1.20)] obtemos
R

l+1
(x) = (l + 1)R
l
(x) + xR

l
(x) e (1.21)
R

l1
(x) = lR
l
(x) + xR

l
(x) (1.22)
respectivamente. Mudando de ndice em (1.21) de l para l 1, e somando x vezes (1.22)
obtemos
(1 x
2
)R

l
(x) = lR
l1
(x) lxR
l
(x) . (1.23)
Finalmente derivando (1.23) e somando l vezes a equac ao (1.22) para eliminar R

l1
(x) ob-
temos que R
l
(x) satisfaz a equac ao de Legendre
(1 x
2
)R

l
(x) 2xR

l
(x) + l(l + 1)R
l
(x) = 0 .
Como os R
l
s denidos por (1.17) s ao polin omios que satisfazem a equa cao de Legendre,
ent ao necessariamente tem que ser proporcionais aos polin omios de Legendre denidos pela
f ormula de Rodrigues. Para mostrar que ambas denic oes coincidem, basta mostrar que os
17
coecientes dos termos de grau mais alto coincidem. De fato, utilizando (1.18) vemos que o
coeciente principal de R
l
e
l1

k=0
2k + 1
k + 1
,
e por (1.13) vemos que o coeciente principal de P
l
e
(2l)!
2
l
(l!)
2
.
Por inducao vericase a igualdade dos coecientes. Com isso, daqui em diante passaremos
a denotar os coecientes de expancao de g(t, x) por P
l
em vez de R
l
.
Na proxima sec ao precisaremos tambem de uma expressao an aloga `a (1.23) que e obtida
mudando de ndice em (1.22) de l para l + 1, e somando x vezes (1.21). O resultado e
(1 x
2
)P

l
(x) = (l + 1)[xP
l
(x) P
l+1
(x)] . (1.24)
1.2.4 F ormulas recursivas para a integral de P
l
(x)
Para encontrar as f ormulas recursivas para a integral nao precisamos nos preocuparmos
com a constante de integrac ao, pois estas f ormulas recursivas s o ser ao usadas para calcular
integrais denidas.
Reescrevendo (1.20) na forma
P
l
(x) =
1
2l + 1
[P

l+1
(x) P

l1
(x)]
e integrando obtemos
_
P
l
(x)dx =
1
2l + 1
[P
l+1
(x) P
l1
(x)] . (1.25)
Uma outra express ao pode ser obtida substituindo (1.18) em (1.25) e simplicando termos,
_
P
l
(x)dx =
1
l + 1
[xP
l
(x) P
l1
(x)] . (1.26)
Existe uma outra express ao bastante usada para a integral dos polin omios de Legendre.
Para obte-la integramos (1.24), obtendo
_
(1 x
2
)P

l
(x)dx = (l + 1)
__
xP
l
(x)dx
_
P
l+1
(x)dx
_
.
Integrando por partes o lado esquerdo e reordenando os termos temos
(l + 1)
_
P
l+1
(x)dx = (l 1)
_
xP
l
(x)dx (1 x
2
)P
l
(x) .
Finalmente, usando (1.18) chega-se ` a expressao
_
P
l+1
(x)dx =
1
(l + 1)(l + 2)
_
l(l 1)
_
P
l1
(x)dx (2l + 1)(1 x
2
)P
l
(x)
_
. (1.27)
18
1.2.5 Norma de P
l
Calculamos agora a norma de P
l
. Como
_
1
1
P
l
(x)P

l1
(x)dx = 0
devido a (1.14) e ao fato de P

l1
(x) P
l1
, temos
(2l + 1)
_
1
1
P
l
(x)
2
dx = (2l + 1)
_
1
1
P
l
(x)
2
dx +
_
1
1
P
l
(x)P

l1
(x)dx
=
_
1
1
P
l
(x)[(2l + 1)P
l
(x) + P

l1
(x)] dx .
Usando (1.20) camos com
_
1
1
P
l
(x)[(2l + 1)P
l
(x) + P

l1
(x)]dx =
_
1
1
P
l
(x)P

l+1
(x)dx .
Integrando por partes temos
_
1
1
P
l
(x)P

l+1
(x)dx = P
l
(x)P
l+1
(x)|
1
1

_
1
1
P

l
(x)P
l+1
(x)dx
= P
l
(x)P
l+1
(x)|
1
1
= 1 + (1)
2l
= 2 ,
pois P
l
(1) = 1 e P
l
(1) = (1)
l
. Isto mostra que
|P
l
| =
_
2
2l + 1
.
1.3 Funcoes associadas de Legendre
Nesta se cao obtemos soluc oes da equac ao associada de Legendre transformando a equac ao
de Legendre na equac ao associada usando diferencia coes m ultiplas. Assim, diferenciando m
vezes a equacao de Legendre temos
(1 x
2
)u

2x(m + 1)u

+ (l m)(l + m + 1)u = 0 , (1.28)

onde
u(x) =
d
m
dx
m
P
l
(x) .
Realizando a mudanca de variavel
v(x) = (1 x
2
)
m/2
u(x) = (1 x
2
)
m/2
d
m
P
l
(x)
dx
m
(1.29)
19
obtemos
u

=
_
v

+
mxv
1 x
2
_
(1 x
2
)
m/2
,
u

=
_
v

+
2mxv

1 x
2
+
mv
1 x
2
+
m(m + 2)x
2
v
(1 x
2
)
2
_
(1 x
2
)
m/2
.
Substituindo na equacao (1.28) encontramos que a nova fun cao v satisfaz a equa cao associada
de Legendre (1.6). Portanto, de (1.29) temos que as soluc oes regulares desta equac ao, s ao
P
m
l
(x) = (1 x
2
)
m/2
d
m
dx
m
P
l
(x) . (1.30)
Essas sao as fun coes associadas de Legendre.
J a que o termo de maior potencia de x em P
l
(x) e x
l
, n os devemos ter m l (ou
a diferenciac ao de ordem m levara nossa fun cao para zero). Da forma da equacao (1.30)
devemos esperar m n ao negativo, pois diferenciar um n umero negativo de vezes nao esta
denido. Porem, expressando P
l
(x) pela f ormula de Rodrigues, podemos ver que na verdade
m est a sujeito a condic ao l m l.
Usando a f ormula de diferenciac ao de Leibniz mais uma vez, podemos mostrar que P
m
l
(x)
e P
m
l
(x) estao relacionados por
P
m
l
(x) = (1)
m
(l m)!
(l + m)!
P
m
l
(x) . (1.31)
De nossa deni cao das funcoes associadas de Legendre temos tambem
P
0
l
(x) = P
l
(x) .
Por (1.3), podemos denir os harm onicos esfericos como
Y
m
l
(, ) = P
m
l
(cos )(a
lm
e
im
+ b
lm
e
im
) (1.32)
onde l N e l m l. Dada qualquer serie em termos desses Y
m
l
s, podemos escreve-los
em termos dos Y
m
l
s descritos em (1.8). De fato
l

m=l
A
m
l
Y
m
l
(, ) =
l

m=l
A
m
l
P
m
l
(cos )(a
m
l
e
im
+ b
m
l
e
im
)
=
l

m=l
A
m
l
a
m
l
P
m
l
(cos )e
im
+
l

m=l
A
m
l
b
m
l
P
m
l
(cos )e
im
=
l

m=l
A
m
l
a
m
l
P
m
l
(cos )e
im
+
l

m=l
A
m
l
b
m
l
P
m
l
(cos )e
im
=
l

m=l
_
A
m
l
a
m
l
+ A
m
l
b
m
l
(1)
m
(l m)!
(l + m)!
_
P
m
l
(cos )e
im
=
l

m=l

m
l
Y
m
l
(, ) .
Este resultado justifica a defini cao dos harmonicos esfericos dada pela relacao (1.8).
20
1.3.1 F ormulas recursivas para P
m
l
(x)
Escrevendo (1.18) na forma
(l + 1)P
l+1
(x) (2l + 1)xP
l
(x) + lP
l1
(x) = 0
e derivando obtemos
(l + 1)P

l+1
(x) (2l + 1)xP

l
(x) (2l + 1)P
l
(x) + lP

l1
(x) = 0 .
Utilizando (1.20) para eliminar P
l
(x) nesta express ao temos
lP

l+1
(x) (2l + 1)xP

l
(x) + (l + 1)P

l1
(x) = 0 .
Repetindo o processo m vezes, temos por induc ao
(l m + 1)
d
m
dx
m
P
l+1
(x) (2l + 1)x
d
m
dx
m
P
l
(x) + (l + m)
d
m
dx
m
P
l1
(x) = 0 ,
e portanto, multiplicando esta identidade por (1 x
2
)
m/2
obtemos a rela cao de recorrencia
P
m
l+1
(x) =
1
l m + 1
[(2l + 1)xP
m
l
(x) (l m)P
m
l1
(x)] , (1.33)
com os valores iniciais
P
0
0
(x) = 1 ,
P
m+1
m+1
(x) = (2m + 1)(1 x
2
)
1/2
P
m
m
(x) ,
P
m
m+1
(x) = (2m + 1)xP
m
m
(x).
1.3.2 F ormulas recursivas para a derivada de P
m
l
(x)
Para encontrar formulas recursivas para as derivadas das func oes associadas de Legendre,
notemos primeiro que derivando k vezes a equacao (1.20) temos
(l + k + 1)
d
k
dx
k
P
l
(x) =
d
k+1
dx
k+1
P
l+1
(x) x
d
k+1
dx
k+1
P
l
(x) . (1.34)
Derivando agora m vezes a equa cao (1.24), e utilizando (1.34) em cada etapa para reduzir
termos, chegamos `a express ao
(1 x
2
)
d
m+1
dx
m+1
P
l
(x) = (l + m + 1)x
d
m
dx
m
P
l
(x) (l m + 1)
d
m
dx
m
P
l+1
(x) .
Multiplicando esta expressao por (1 x
2
)
m/2
, e levando em considerac ao que
d
dx
P
m
l
(x) = (1 x
2
)
m/2
d
m+1
dx
m+1
P
l
(x) mx(1 x
2
)
(m/2)1
d
m
dx
m
P
l
(x) ,
chegamos a formula de recorrencia
(1 x
2
)
d
dx
P
m
l
(x) = (l + 1)xP
m
l
(x) (l m + 1)P
m
l+1
(x) . (1.35)
21
1.3.3 F ormulas recursivas para a integral de P
m
l
(x)
Integrando a expressao (1.35) temos
_
b
a
(1 x
2
)
d
dx
P
m
l
(x)dx = (l + 1)
_
b
a
xP
m
l
(x)dx (l m + 1)
_
b
a
P
m
l+1
(x)dx .
Integrando por partes a integral do lado esquerdo e utilizando (1.33) para eliminar o termo
_
xP
m
l
(x)dx do lado direito, chegamos ` a f ormula de recorrencia
_
b
a
P
m
l+1
(x)dx =
1
(ml + 1)(l + 2)
[(l + m)(l 1)
_
b
a
P
m
l1
(x)dx (1.36)
(2l + 1)(1 x
2
)P
m
l
(x)|
b
a
] ,
analoga `a f ormula (1.27), com as seguintes condicoes iniciais
_
b
a
P
0
0
(x)dx = b a,
_
b
a
P
1
1
(x)dx =
1
2
_
a(1 a
2
)
1/2
b(1 b
2
)
1/2
+ asen(a) asen(b)

,
_
b
a
P
m
m
(x)dx =
1
m + 1
_
m(2m3)(2m1)
_
b
a
P
m2
m2
(x)dx + bP
m
m
(b) aP
m
m
(a)
_
_
b
a
P
m
m+1
(x)dx =
2m + 1
2m + 2
_
(1 a
2
)P
m
m
(a) (1 b
2
)P
m
m
(b)

.
1.4 Os Harm onicos Esfericos
Nesta sec ao nalizamos a prova da ortogonalidade dos harmonicos esfericos demonstrando
a relac ao (1.9) e encontraremos uma f ormula recursiva para os harm onicos.
1.4.1 Ortogonalidade e norma dos harm onicos esfericos
A prova da ortogonalidade se baseia em um resultado geral da Teoria de Sturm-Liouville.
Denimos o operador de Liouville, denotado por L, como sendo o operador diferencial dado
por
(Lu)(x) =
d
dx
_
p(x)
du
dx
_
+ q(x)u ,
onde p e diferenci avel e sempre maior que zero e q e contnua.
Proposicao 1.4.1. Considere a equacao diferencial Lu + ru = 0 denida no intervalo
J = (A, B), com r contnua, sempre maior que zero e R. Sejam
1
e
2
R com

1
=
2
e suponhamos que u
1
e u
2
sejam funcoes reais nao-nulas que satisfazem
Lu
1
(x) +
1
r(x)u
1
(x) = 0 e Lu
2
(x) +
2
r(x)u
2
(x) = 0 ,
22
em J e suponha ainda que os limites
lim
aA
+
p(a) (u
1
(a)u

2
(a) u

1
(a)u
2
(a)) e lim
bB

p(b) (u
1
(b)u

2
(b) u

1
(b)u
2
(b))
existam e sejam iguais. Entao,
_
B
A
u
1
(x)u
2
(x)r(x)dx = 0 .
A prova desta Proposi cao pode ser encontrada no captulo 14 de [11].
Escrevendo a equac ao (1.6) na forma
d
dx
_
(1 x
2
)
d
dx
P
m
l
(x)
_
+ l(l + 1)P
m
l
(x)
m
2
1 x
2
P
m
l
(x) = 0 , (1.37)
e tomando
p(x) = 1 x
2
q(x) =
m
2
1 x
2
r(x) = 1
= l(l + 1) ,
a equac ao (1.37) ca na forma
LP
m
l
(x) + r(x)P
m
l
(x) = 0 .
Obviamente
p(x) (P
m
l
(x)(P
m
l
(x))

P
m
l
(x)(P
m
l
(x))

1
1
= 0 , (1.38)
pois p(x) = 0 para x = 1. A relacao (1.9) segue-se imediatamente da Proposic ao 1.4.1.
Para calcular a norma das fun coes associadas de Legendre utilizamos as express oes (1.13),
(1.30) e (1.31) para P
m
l
e P
m
l
.
A
m
l
=
_
1
1
P
m
l
(x)P
m
l
(x)dx
= (1)
m
(l + m)!
(l m)!
_
1
1
P
m
l
(x)P
m
l
(x)dx
=
(1)
m
2
2l
(l!)
2
(l + m)!
(l m)!
_
1
1
_
d
l+m
dx
l+m
(x
2
1)
l
__
d
lm
dx
lm
(x
2
1)
l
_
dx
=
(1)
l
2
2l
(l!)
2
(l + m)!
(l m)!
_
1
1
_
d
2l
dx
2l
(x
2
1)
l
_
(x
2
1)
l
dx
=
(1)
l
(2l)!
2
2l
(l!)
2
(l + m)!
(l m)!
_
1
1
(x
2
1)
l
dx
=
(2l)!
2
2l
(l!)
2
(l + m)!
(l m)!
_
2
l+1
l!
(2l + 1)!!
_
=
2
2l + 1
(l + m)!
(l m)!
. (1.39)
23
Na terceira linha aplicamos integrac ao por partes l m vezes. Na ultima passagem usamos
a identidade (2l)! = 2
l
l!(2l 1)!!. Na pen ultima passagem usamos a identidade
_
1
1
(1 x
2
)
l
dx =
2
l+1
l!
(2l + 1)!!
.
Segue-se de (1.10) e (1.39) que
N
m
l
=

2l + 1
4
(l m)!
(l + m)!
. (1.40)
Resumindo de tudo o que j a zemos ate aqui temos que
Y
m
l
(, ) = (1)
m
N
m
l
P
m
l
(cos )e
im
,
onde
P
m
l
(x) =
1
2
l
l!
(1 x
2
)
m/2
d
m+l
dx
m+l
(x
2
1)
l
, e
N
m
l
=

2l + 1
4
(l m)!
(l + m)!
.
1.4.2 F ormula recursiva para os harm onicos esfericos
Para calcular a f ormula recursiva para os ham onicos utilizamos uma formula recursiva
para os N
m
l
s que encontramos fazendo o quociente de N
m
l+1
por N
m
l
.
N
m
l+1
N
m
l
=

2l + 3
2l + 1
(l m + 1)!
(l + m + 1)!
(l + m)!
(l m)!
=
_
2l + 3
2l + 1
l m + 1
l + m + 1
,
logo
N
m
l+1
= N
m
l
_
2l + 3
2l + 1
l m + 1
l + m + 1
, (1.41)
com as condi coes iniciais
N
0
0
=
_
1
4
N
m+1
m+1
= N
m
m

2m + 3
(2m + 1)
2
(2m + 2)
24
Utilizando esta express ao (1.41) e a relac ao (1.33) em (1.8) temos
Y
m
l+1
(, ) =
(1)
m
N
m
l+1
l m + 1
_
(2l + 1) cos P
m
l
(cos ) (l + m)P
m
l1
(cos )

e
im
=
1
l m + 1
_
(2l + 1) cos (1)
m
N
m
l+1
P
m
l
(cos )e
im
(l + m)(1)
m
N
m
l+1
P
m
l1
(cos )

=
m
l+1
_
(2l + 1) cos (1)
m
N
m
l
P
m
l
(cos )e
im

m
l
(1)
m
N
m
l1
P
m
l1
(cos )e
im

,
simplicando temos
Y
m
l+1
(, ) =
m
l+1
_
(2l + 1) cos Y
m
l
(, )
m
l
Y
m
l1
(, )

(1.42)
onde

m
l+1
=
1
l m + 1
_
2l + 3
2l + 1
l m + 1
l + m + 1

m
l
= (l m)
_
2l + 1
2l 1
l m
l + m
com as condi coes iniciais
Y
0
0
(, ) =
0
Y
m
m
(, ) =
m
sen
m
e
im
Y
m
m+1
(, ) =

2m + 3 cos Y
m
m
(, ).
onde

0
=
_
1
4

m+1
=
m
_
2m + 3
2m + 2
.
25
Captulo 2
Expansao de func oes na esfera
Uma fun cao integravel f : S
2
R pode ser escrita como uma serie de harmonicos
esfericos, ou seja
f(, ) =

l=0
l

m=l
a
m
l
Y
m
l
(, ).
A ortogonalidade dos harmonicos esfericos implica que os coecientes da expansao podem
ser calculados pela express ao
a
m
l
=
_
S
2
f(, )Y
m
l
(, )sendd . (2.1)
Na primeira se cao deste captulo apresentamos dois metodos praticos para calcularmos
os a
m
l
s. Em seguida mostramos uma forma de discretizar a esfera, que ser a necess ario na
construc ao do algoritmo que implementa o primeiro metodo, o qual e feito na Se cao 2.3.
2.1 Dois metodos de calculo de a
m
l
O calculo dos a
m
l
s pela equac ao (2.1) pode ser realizado integrando cada vari avel sepa-
radamente como segue.
a
m
l
=
_
S
2
f(, )Y
m
l
(, )sendd
=
_

0
_
2
0
f(, )N
m
l
P
m
l
(cos )e
im
sendd
= N
m
l
_

0
P
m
l
(cos )sen
_
2
0
f(, )e
im
dd.
= N
m
l
_
1
1
P
m
l
(x)
_
2
0

f(x, )e
im
ddx.
Se denirmos

f
m
(x) =
_
2
0

f(x, )e
im
d (2.2)
26
camos com
a
m
l
= N
m
l
_
1
1

f
m
(x)P
m
l
(x)dx . (2.3)
Este e o primeiro metodo para calcular os coecientes da expans ao de f.
Podemos calcular os a
m
l
de uma outra maneira aproveitando a forma recursiva dos
harm onicos esfericos dados por (1.42) como segue.
a
m
l+1
=
_
S
2
f(, )Y
m
l+1
(, )sendd
=
_
S
2
f(, )
m
l+1
_
(2l + 1) cos Y
m
l
(, )
m
l
Y
m
l1
(, )
_
sendd
=
m
l+1
_
(2l + 1)
_
S
2
f(, ) cos Y
m
l
(, )sendd
m
l
_
S
2
f(, )Y
m
l1
(, )sendd
_
=
m
l+1
_
(2l + 1)
m,1
l

m
l
a
m
l1

,
onde

m,n
l
=
_
S
2
f(, ) cos
n
Y
m
l
(, )sendd

m,0
l
=
m
l
,
que pode ser obtido recursivamente por meio de

m,n
l+1
=
m
l+1
_
(2l + 1)
m,n+1
l

m
l

m,n
l1

, (2.4)
com as condi coes iniciais

0,n
0
=
_
1
4
_
S
2
f(, ) cos
n
sendd

m,n
m
=
_
S
2
f(, ) cos
n
Y
m
m
(, )sendd.
Para calcular os coecientes da expans ao devemos ent ao ser capazes de avaliar numeri-
camente integrais na esfera, e para efetuar estes calculos no computador devemos primeiro
discretizar a esfera. Passamos a descrever este processo na proxima sec ao.
2.2 Pixelizacao da Esfera
Diferente da reta, a discretizacao da esfera n ao e trivial. Este processo de discretizac ao da
esfera e chamado de pixelizac ao e cada um dos pedacos de pixel. H a varias maneiras de fazer
27
Figura 2.1: Pixelizac ao PCE
a pixelizac ao. A forma mais simples de pixelizac ao e conhecida como Projec ao Cilndrica
Equidistante (PCE). Nesta pixelizacao utiliza-se divisoes iguais na latitude e longetude. O
principal problema deste metodo e que os pixels pr oximos dos p olos s ao pequenos e muito
distorcidos (veja gura 1).
Neste trabalho utilizamos a pixelizac ao Igloo, pois alem de nao possuir o problema de
pixels muito pequenos, e de facil implementac ao. Ela consiste em dividir a esfera em faixas
com bordas de latitude constante, e cada faixa e dividida em pixels iguais com bordas de
longitude constante (veja gura 2).
Figura 2.2: Pixelizac ao Igloo
O processo de constru cao da pixelizacao Igloo come ca com a divis ao inicial da esfera
numa particao 3:6:3, onde cada regi ao tem a mesma area: tres regioes na calota superior,
seis na faixa central e tres na calota inferior da esfera (veja gura 2.3). Cada uma dessas
regi oes e chamada de pixel.
A area de cada calota inicial e a quarta parte da area da esfera
A
0
=
1
4
A
esfera
= .
28
Figura 2.3: Pixelizac ao Igloo
(a) Divisao inicial, (b) primeiro e (c) segundo renamento da esfera na pixeliza cao igloo
Como
A
0
=
_

0
0
_
2
0
sendd ,
onde
0
e o angulo polar do paralelo que limita a calota, segue-se que
cos
0
=
1
2
.
O processo de renamento consiste na divisao de cada calota em uma nova calota com
um quarto da area inicial, e uma faixa horizontal onde cada setor se divide em tres pixels
de mesma area. Por outro lado, cada pixel pertencente as outras faixas horizontais e divido
em quatro novos pixels.
Como a area das calotas e a quarta parte da area das calotas do renamento anterior,
temos para a area da calota superior do k-esimo renamento
A
(k)
=
1
4
A
(k1)
,
e como
A
(k)
=
_

k
0
_
2
0
sendd ,
obtemos
cos
k
=
1
4
(3 + cos
k1
) , (2.5)
onde
k
e o angulo polar do paralelo que limita esta calota. Cada faixa e dividida em dois
por um paralelo, de modo que cada faixa resultante tenha a mesma area. A area de uma
faixa horizontal limitada pelos angulos
s
e
i
e
A = 2(cos
s
cos
i
) .
Denotando por

A a area de cada faixa resultante da divisao temos

A =
1
2
A ,
29
e daqui seguese que o angulo polar do paralelo que faz a divisao e
cos =
1
2
(cos
s
+ cos
i
) . (2.6)
2.3 Calculo numerico
Nesta sec ao integramos numericamente as integrais (2.2) e (2.3). Dada uma pixelizac ao
de um certo renamento sejam n a quantidade de faixas, e n
k
, x
0
k
e x
1
k
a quantidade de pixels
e os cossenos dos angulos inferior e superior da faixa k respectivamente. Calculamos (2.2)
em cada faixa separadamente. Esta integral pode ser aproximada para m = 0 como

f
m
(x
k
) =
n
k

j=1

f(x
k
,
j
)
_

1
j

0
j
e
im
d
=
n
k

j=1

f(x
k
,
j
)
i
m
(e
im
1
j
e
im
0
j
)
=
2
m
sen
_
m
n
k
_
n
k

j=1

f(x
k
,
j
)e
im
j
,
onde
x
k
=
x
0
k
+ x
1
k
2

0
j
=
2(j 1)
n
k
,

1
j
=
2j
n
k
,

j
=

0
j
+
1
j
2
e

j
=
2
n
k
j.
Para m = 0 temos simplesmente

f
0
(x
k
) =
2
n
k
n
k

j=1

f(x
k
,
j
) .
O algoritmo para este calculo pode ser visto em (A.5).
Para calcular a integral (2.3), aproximamos como
a
m
l
= N
m
l
n

k=1

f
m
(x
k
)
_
x
1
k
x
0
k
P
m
l
(x)dx,
onde x
k
= cos
k
, x
0
k
= cos
0
k
e x
1
k
= cos
1
k
. Este calculo e implementado em (A.1). A
integral da funcao associada de Legendre e calculada utilizando a f ormula recursiva dada
30
por (1.36). Este c alculo e implementado em (A.4) e um algoritmo a parte e necess ario
para avaliar as func oes associadas de Legendre. Este algoritmo e encontrado em (A.6) e
implementa a f ormula recursiva (1.33). N
m
l
calcula-se utilizando (1.41) e seu algoritmo e
descrito em (A.3).
Todos esses algoritmos est ao no Apendice ?? e foram utilizados para construir as tabelas
apresentadas na proxima se cao, que ilustram a reconstruc ao dos coecientes da expans ao de
algumas func oes simples com renamentos diferentes.
2.4 Coecientes da reconstrucao da expansao de algu-
mas func oes
O metodo numerico de reconstrucao desenvolvido na sec ao anterior foi implementado na
linguagem C++, e utilizado para reconstruir os coecientes da expans ao de algumas func oes
na esfera simples.
Como funcoes de teste consideramos f = Y
m
0
l
0
para valores xados de l
0
e m
0
. Claramente,
os coecientes da expans ao de cada uma destas func oes de teste vem dados pela relac ao
a
m
l
=
ll
0

mm
0
,
valores que esperamos encontrar com boa aproximac ao ao utilizar nosso metodo de recons-
truc ao. De fato e o que constatamos ao montar as tabelas que seguem.
As func oes testadas correspondem aos valores l
0
= 4, 20, 36, 72 e m
0
= 0,
1
2
l
0
, l
0
. Alem
disso, a reconstruc ao de cada func ao de teste foi realizada utilizando 4 renamentos diferentes
da esfera, produzindo ao todo 48 tabelas. Em todos os testes a reconstru cao foi bastante
satisfat oria e n ao houve nenhum caso anomalo. Sendo assim escolhemos apenas tres funcoes
para ilustrar nossos resultados. Na proxima pagina seguem as tabelas para as func oes de
teste Y
0
4
, Y
18
36
e Y
72
72
.
Cada tabela apresenta os valores a
m
l
resultantes do processo de reconstruc ao para os
valores l e m indicados na la superior e coluna esquerda respectivamente. Cada valor a
m
l
est a escrito como um par ordenado, onde a primeira componente e a parte real e a segunda,
a parte imaginaria do correspondente coeciente. Observe que com renamentos maiores da
pixelizac ao da esfera a qualidade da reconstru cao melhora consideravelmente, como e de se
esperar.
31
Coecientes da reconstrucao da expansao de Y
0
4
Renamento 4
m
l
3 4 5
0 (-2.07154e-017,0) (0.994097,0) (-2.43452e-017,0)
1 (2.01418e-016,3.80333e-019) (4.61033e-033,-5.4668e-035) (2.35396e-019,4.52369e-018)
2 (-9.03109e-033,-1.72224e-034) (-7.26081e-017,-4.45843e-018) (2.72933e-033,-4.04116e-034)
Renamento 5
m
l
3 4 5
0 (6.1499e-018,0) (0.998517,0) (4.54443e-017,0)
1 (6.60813e-016,7.77151e-018) (1.32194e-032,9.44731e-034) (-4.07077e-016,7.64233e-018)
2 (1.89151e-032,4.34609e-034) (-5.53003e-016,1.29097e-017) (-2.43469e-032,7.07202e-035)
Renamento 6
m
l
3 4 5
0 (2.47614e-017,0) (0.999629,0) (2.89099e-017,0)
1 (1.07373e-015,3.34722e-018) (-1.45688e-031,6.60571e-035) (3.77036e-017,1.14354e-017)
2 (-1.82846e-031,6.20416e-034) (-1.53715e-015,1.60876e-018) (5.0691e-032,-2.27813e-034)
Renamento 7
m
l
3 4 5
0 (4.38989e-018,0) (0.999907,0) (-2.61457e-017,0)
1 (9.27477e-017,-2.00795e-017) (2.96854e-032,-1.54252e-034) (-2.24972e-015,7.64537e-018)
2 (-1.14435e-031,-8.70152e-034) (-3.36788e-016,1.18972e-017) (4.78374e-032,-6.22472e-034)
32
Coecientes da reconstrucao da expansao de Y
18
36
Renamento 5
m
l
35 36 37
16 (1.35674e-031,-1.06458e-030) (-1.5685e-015,-4.15993e-015) (-2.49959e-031,-1.61292e-030)
17 (-2.43033e-016,2.91092e-015) (6.86684e-031,9.75899e-031) (1.00857e-015,5.56847e-016)
18 (-8.21302e-016,-8.30801e-030) (1.33648,2.05766e-015) (4.83098e-016,-9.7158e-031)
19 (5.35114e-014,-9.60412e-015) (1.90401e-030,3.13785e-030) (1.22177e-014,2.31697e-016)
20 (-1.87245e-030,2.39996e-030) (-4.80845e-014,-2.21776e-014) (-3.10688e-030,3.87715e-030)
Renamento 6
m
l
35 36 37
16 (4.49625e-030,-2.32117e-031) (-1.1525e-014,-1.0835e-015) (-6.03048e-030,1.19504e-031)
17 (2.26335e-014,-1.13587e-014) (-1.12931e-029,6.61309e-031) (1.58638e-014,-6.85147e-015)
18 (-3.5109e-015,7.14795e-030) (1.08664,2.86006e-015) (5.36254e-016,7.24977e-030)
19 (-7.17887e-014,1.72412e-015) (-1.30404e-029,2.92998e-031) (-1.40671e-014,4.58772e-015)
20 (-7.26016e-029,3.297e-031) (1.46865e-013,1.23259e-015) (1.35503e-029,8.84632e-032)
Renamento 7
m
l
35 36 37
16 (-4.65454e-030,-2.07286e-031) (1.39623e-014,-2.42274e-015) (-2.83993e-030,3.94313e-032)
17 (-1.49354e-014,-1.98005e-015) (-2.67398e-030,3.52117e-031) (-1.16981e-014,1.1835e-015)
18 (-1.79381e-015,6.2354e-030) (1.02182,2.73593e-015) (-1.14795e-015,-1.47192e-030)
19 (3.34159e-014,1.6966e-014) (-3.1244e-030,1.32769e-030) (8.25995e-015,1.82937e-015)
20 (-9.59222e-031,3.76801e-030) (-6.20403e-014,8.23154e-015) (6.4217e-030,-1.07997e-030)
Renamento 8
m
l
35 36 37
16 (-3.26192e-029,1.99951e-030) (1.36777e-014,3.00586e-015) (1.05236e-029,7.60407e-032)
17 (-2.91239e-014,1.01995e-014) (-1.02928e-029,-1.51719e-030) (-1.1889e-014,9.52053e-015)
18 (-2.46225e-015,3.18147e-030) (1.00546,1.77275e-015) (-2.62585e-015,-1.59988e-030)
19 (2.37969e-013,-2.60809e-014) (-7.4371e-029,-4.11204e-030) (4.85348e-014,-6.61793e-015)
20 (-9.85499e-029,7.83984e-031) (-3.37601e-013,-2.19635e-014) (-1.3736e-028,-3.49124e-031)
33
Coecientes da reconstrucao da expansao de Y
72
72
Renamento 6
m
l
71 72 73
70 (1.96058e-031,-1.01662e-031) (5.12216e-017,-7.64406e-018) (-1.21447e-032,-8.90725e-032)
71 (1.3323e-014,8.36641e-015) (2.84769e-031,3.28985e-032) (-9.64829e-017,-7.69131e-017)
72 (0.942813,-5.92918e-015) (-6.09245e-017,4.62428e-031)
73 (-4.20297e-015,6.47382e-015)
74
Renamento 7
m
l
71 72 73
70 (3.19188e-031,-2.5414e-031) (-6.3305e-017,1.64304e-017) (6.80337e-032,-3.65192e-032)
71 (-5.3849e-015,-4.4419e-015) (1.1115e-031,-1.19461e-031) (5.9012e-017,-3.60699e-018)
72 (0.985513,-3.60998e-015) (-3.37438e-017,-2.12474e-032)
73 (-6.55223e-015,-4.18074e-015)
74
Renamento 8
m
l
71 72 73
70 (1.42048e-030,5.91006e-032) (-2.06606e-016,2.37327e-017) (-4.00518e-031,1.09652e-032)
71 (-2.88087e-014,-4.04433e-015) (1.25866e-031,-1.0054e-031) (1.49168e-016,4.86957e-017)
72 (0.996366,1.06662e-014) (5.48588e-017,-1.86156e-031)
73 (-1.00531e-014,-3.89843e-015)
74
Renamento 9
m
l
71 72 73
70 (3.42787e-031,-3.65251e-032) (5.12614e-016,-3.06318e-017) (1.44671e-032,-4.8451e-033)
71 (5.30536e-014,4.49892e-015) (5.43739e-032,1.51867e-031) (-2.60221e-016,-3.0614e-017)
72 (0.999091,4.88346e-015) (-6.94943e-018,-1.88474e-031)
73 (5.22197e-014,4.27318e-015)
74
34
Captulo 3
Discussao de resultados
Neste trabalho estudamos em detalhe os harm onicos esfericos, desde a sua formulac ao
inicial em termos de solu coes da equac ao de Laplace, ate sua determinac ao efetiva mediante
f ormulas recursivas, e seu uso como elementos de base na representac ao por expans ao em
serie de func oes integraveis na esfera.
No processo de constru cao dos harmonicos esfericos, vimos inicialmente como os po-
lin omios de Legendre podem ser obtidos por ortogonalizac ao a partir de uma base para
o espaco vetorial dos polin omios formada por mon omios. Utilizando a func ao geradora e a
equac ao de Legendre, obtivemos tambem formulas de recorrencia tanto para estes polin omios
quanto para suas derivadas e integrais.
A seguir estudamos as funcoes associadas de Legendre. Resolvemos a equac ao associada
de Legendre transformando a equac ao original de Legendre na equa cao associada por meio
de diferenciac oes m ultiplas. Encontramos assim f ormulas recursivas para estas funcoes as-
sociadas, suas derivadas e integrais, e mostramos sua ortogonalidade, propriedade essencial
para provar a ortogonalidade dos harm onicos esfericos. Finalmente justicamos porque os
harm onicos esfericos podem ser denidos como o produto de uma func ao associada de Le-
gendre e uma exponencial complexa e desenvolvemos relac oes recursivas para estas func oes.
Como pr oximo passo utilizamos os harm onicos esfericos para representar funcoes na esfera
em termos de uma expans ao em serie, onde a informacao sobre a correspondente funcao ca
codicada nos coecientes da expans ao. Vista a importancia destes coecientes, desenvol-
vemos dois metodos de calcula-los a partir dos valores da func ao na esfera. Essencialmente,
estes metodos se reduzem ` as relac oes (2.3) e (2.4). No primeiro metodo separamos a integral
em duas partes, a parte que depende de e a parte que depende de , com excess ao da
func ao que queremos reconstruir, que acaba participando das duas integrais. No segundo
metodo utilizamos a f ormula recursiva dos harmonicos esfericos para encontrar uma formula
recursiva para os coecientes da expans ao. Desenvolvemos um metodo numerico para a
implementa cao computacional do primeiro metodo.
Como nos dois metodos de reconstrucao h a a necessidade de realizar integrac oes na esfera,
zemos um pequeno estudo sobre discretizac ao da esfera. O metodo de pixeliza cao escolhido
para implementar numericamente a reconstruc ao de fun coes na esfera foi a Pixelizac ao Igloo,
que divide a esfera em pixels distribudos em faixas paralelas ao equador. Utilizando esta
pixelizac ao construimos algoritmos que implementam o primeiro metodo de calcular os coe-
cientes da expanc ao. Estes algoritmos foram testados em func oes simples, e a eciencia da
35
reconstruc ao foi ilustrada com tabelas comparativas.
N ao houve tempo habil para implementar computacionalmente o segundo metodo de
reconstruc ao, nem para testes mais abrangentes e exigentes dos algoritmos desenvolvidos.
Assim, nao houve oportunidade de comparar os dois metodos, de otimizar os c odigos que os
implementam, nem de determinar as suas limitacoes de ordem pratico.
H a varios pontos a partir dos quais se pode dar continuidade a este trabalho. O primeiro,
evidentemente, e a implementac ao computacional do segundo metodo de reconstru cao de
func oes na esfera, assim como de um estudo comparativo dos dois metodos apresentados
neste trabalho. Alem disso, cabe mencionar que foram desenvolvidos apenas dois metodos
de reconstru cao, mas na realidade, durante o estudo da expans ao de fun coes da esfera,
emergiram varias ideias que poderiam ter germinado em outros metodos de reconstruc ao.
Isto so n ao aconteceu porque por motivos praticos (lease falta de tempo) decidimos n ao
explorar estas ideias.
Um outro ponto que deve ser estudado futuramente e o efeito da pixelizac ao no processo
de reconstruc ao. Na literatura sao conhecidos muitos modos diferentes de pixelizar a esfera,
e cada um destes metodos apresenta vantagens e desvantagens em cada aplicac ao especca.
Nada garante que a Pixelizac ao Igloo seja a mais adequada para o processo de reconstruc ao
de func oes na esfera.
Por ultimo, devemos mencionar os aspectos tecnicos que n ao foram abordados neste tra-
balho mas que s ao inevit aveis se algum dia os metodos desenvolvidos aqui v ao ser utilizados
em aplica coes de porte medio e grande. Estes aspectos tecnicos se referem `a otimizac ao dos
c odigos no gerenciamento da memoria e do tempo de execuc ao, a implementac ao dos c odigos
em aplicativos de uso geral ou para aplicac oes especcas, e a sua possvel paralelizac ao para
seu uso em computa cao distribuda. Estes ultimos itens saem do escopo de um trabalho de
Matem atica, e passam a ser de interesse para a comunidade de Computac ao e Matem atica
Aplicada.
36
Referencias Bibliogracas
[1] Arfken, G.B. e Weber, H.J., Mathematical Methods for Physicists, Academic
Press, San Diego, 1995.
[2] Santos, Reginaldo J., Polin omios de Legendre, Belo horizonte, 2001. Disponvel em:
http://www.mat.ufmg.br/ regi
[3] A.M. Blanco, M. Florez, & M. Bermejo, Evaluation of the rotation matrices in the basis
of real spherical harmonics, Journal of Molecular Structure (Theochem) 419, 19-27,
(1997).
[4] C.P. Camilo, Simulac ao e analise computacional das anisotropias da radiac ao c osmica
de fundo usando o modelo de Einstein-de Sitter, Disserta cao de Mestrado, INPE, 2004.
Disponivel em http://urlib.net/Sid.inpe.br/jeferson/2004/07221453
[5] C.H. Choi et al. Rapid and stable determination of rotation matrices between spherical
harmonics by direct recursion, Journal of Chemical Physics 111, 8825-8831 (1999).
[6] R. Crittenden & N. Turok, Exactly Azimuthal Pixelizations of the Sky, arXiv:astro-
ph/9806374.
[7] H. Dachsel, Fast and accurate determination of the Wigner rotation matrices in the fast
multipole method, The Journal of Chemical Physics 124, 144115 (2006).
[8] A.G. Doroshkevich et al., Gauss-Legendre Sky Pixelization (GLESP) for CMB maps,
arXiv:astro-ph/9806374.
[9] K.M. Gorski et al. Healpix: A framework for high-resolution discretization and fast
analysis of data distributed on the sphere, The Astrophysical Journal 622, 759-771
(2005).
[10] M. Tegmark, An icosahedron-based method for pixelizing the celestial sphere, The As-
trophysical Journal 470, L81-L84 (1996).
[11] Barata, Joao C. A, Curso de Fsica-Matematica, S ao Paulo, 2011. Disponvel em:
http://denebola.if.usp.br/ jbarata/Notas de aula/
37