UNIVERSIDADE FEDERAL DE S

AO PAULO
Instituto de Ciencia e Tecnologia
DINO BEGHETTO JUNIOR
TEOREMA DO VIRIAL EM FORMA TENSORIAL E SUAS
APLICAC

OES EM DIN

AMICA DE GAL

AXIAS
Proposta de Trabalho de Gradua cao I do curso
de Bacharelado em Matematica Computacional
Prof. Dr. Rodolpho Vilhena de Moraes
Orientador
Sao Jose dos Campos SP
abril de 2014.
1
Sumario
1 Introducao 3
1.1 Modelagem matematica de sistemas fsicos . . . . . . . . . . . . . 3
1.2 Dinamica de sistemas estelares . . . . . . . . . . . . . . . . . . . 3
1.3 Teorema do Virial . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Fundamentacao Teorica 4
2.1 Tratamento contnuo do sistema . . . . . . . . . . . . . . . . . . 4
2.2 A Equa cao de Boltzmann sem colisoes, a Equacao de Poisson e
as Equacoes de Jeans . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Calculo tensorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.4 Simulacoes Numericas de N-corpos . . . . . . . . . . . . . . . . . 5
3 Objetivos 5
3.1 Objetivo principal . . . . . . . . . . . . . . . . . . . . . . . . . . 5
3.2 Objetivos secundarios . . . . . . . . . . . . . . . . . . . . . . . . 6
4 Metodologia 6
4.1 Teoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.2 Aplicacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
5 Cronograma 6
6 Bibliograa 8
2
1 Introducao
1.1 Modelagem matematica de sistemas fsicos
A modelagem matematica de um sistema fsico real e feito escolhendo-se as
equacoes adequadas e identicando-se os parametros corretos que caracterizam
bem o sistema em estudo. Deve-se ter em mente que a modelagem e uma repre-
sentacao de um sistema ideal, ou seja, contem apenas algumas das caractersticas
do sistema real. Logicamente, pode-se deixar o modelo mais preciso elevando
sua complexidade, no entanto, deve-se estabelecer uma boa correspondencia
entre a simplicidade do modelo e a precisao dos resultados obtidos.
Ao lado da Fsica Teorica e da Fsica Experimental, o tratamento computaci-
onal tem se tornado uma ferramenta indispensavel no tratamento de problemas
astrofsicos [12] - a simula cao numerica de N-corpos e uma das tecnicas mais
poderosas para o estudo de sistemas astronomicos como aglomerados de estre-
las, galaxias e estruturas em larga escala. Esse tratamento computacional so e
possvel devido ao estudo teorico previo atraves da modelagem matematica da
dinamica desses sistemas de interesse.
1.2 Dinamica de sistemas estelares
A Dinamica Estelar e o campo da Fsica Teorica que estuda a estrutura e
evolucao de sistemas gravitacionais de muitos corpos [11], em que as estrelas
sao um elemento sempre presente. Esses sistemas sao chamados de Sistemas
Estelares, e seus comportamentos sao determinados pelas leis newtonianas de
movimento e da gravidade. As galaxias, em particular, sao sistemas que se
enquadram nessa classica cao.
O estudo da dinamica estelar e supercialmente ligado ao estudo de mecanica
celeste e `a teoria de movimentos planetarios, entretanto o formalismo ma-
tematico dessas areas nao e de muito uso para o estudo de sistemas estelares,
pois e baseado em expansoes de perturbacoes que nao convergem quando aplica-
das `a maioria dos sistemas estelares [4]. O tratamento matematico encontrado
na mecanica estatstica classica e mais adequado ao estudo de dinamica estelar,
devido a quantidade muito grande de corpos dos sistemas estelares.
De acordo com Contopoulos & Efthymiopoulos, o movimento de estrelas e
de elementos de materia escura e governado puramente pela for ca gravitacional
[6]. O estudo desses movimentos e suas combinacoes para formar conguracoes
mecanicas estatsticas auto consistentes tem papel extremamente importante
no estudo de Dinamica Estelar, e constitui a abordagem central do estudo da
Dinamica de Galaxias. Dessa forma, conceitos e resultados da Teoria de Distri-
bui coes sao usados no tratamento desses sistemas [9].
1.3 Teorema do Virial
O Teorema do Virial e um dos teoremas mais importantes e utilizados na as-
trofsica. Sua origem data da metade do seculo XIX, em sua forma elementar,
do estudo da teoria cinetica dos gases. Foi provado por Clausius em 1870 e apli-
cado pela primeira vez para sistemas estelares por Eddington em 1916. Einstein
o utilizou em 1921 para estimar a massa de um aglomerado globular de estrelas
[4].
3
Entretanto, em sua forma escalar, o teorema do virial fornece apenas uma
restricao necessaria global para resolver as equacoes que regem a dinamica de
sistemas estruturados (como modelos de galaxias), sendo limitado na previsao
da evolu cao temporal desses sistemas [3]. Sua formulacao atraves do calculo
tensorial se mostra mais adequada e completa. O Teorema do Virial em forma
tensorial faz a ligacao entre as propriedades cinematicas (movimentos aleatorios
e ordenados) com a morfologia (energia potencial) do sistema [11], fornecendo,
assim, uma ferramenta poderosa na descricao da dinamica de sistemas estelares.
2 Fundamentacao Te orica
2.1 Tratamento contnuo do sistema
Ao contrario do que ocorre com partculas em um gas difuso (que possuem
interacoes de curto alcance), o campo gravitacional que age entre as estrelas de
uma galaxia e de longo alcance, e a forca que age sobre uma estrela nao varia
rapidamente. Assim, pode-se supor que cada estrela acelera suavemente nesse
campo de forca que e gerado pela galaxia como um todo [4], ou seja, e possvel
tratar a forca gravitacional que age nas estrelas como se fosse oriunda de uma
distribui cao suave em vez de um conjunto de massas pontuais.
A teoria e baseada em uma aproximacao contnua da distribuicao de massa,
devido ao grande n umero de corpos do sistema. Essa aproxima cao contnua
e valida quando as colisoes entre os elementos sao desprezveis durante sua
existencia. Sistemas dessa forma sao chamados de sistemas sem colisoes [11]. O
termo sistema sem colisoes signica que o movimento de uma estrela em uma
galaxia e determinado pelo potencial total do sistema em vez de por interacoes
com estrelas proximas [12].
Adotando a descricao contnua do sistema, nao se faz necessario especicar
massas, posicoes e velocidades para todos os elementos; em vez disso, dene-se
uma distribuicao de massa e trabalha-se em um espaco de fase 6N-dimensional,
em que N e o n umero de corpos do sistema. Sendo r a posi cao e v a velocidade
de um corpo, a massa no ponto (r, v) no espaco de fase no tempo t pode agora
ser denida em termos de uma funcao de distribuicao f. Alem disso, fazemos
a distincao entre estrelas e materia escura escrevendo a fun cao de distribuicao
como f = f
s
+ f
d
, em que f
s
e a fun cao de distribuicao das estrelas, e f
d
e a
fun cao de distribuicao de materia escura [13].
2.2 A Equacao de Boltzmann sem colis oes, a Equacao de
Poisson e as Equac oes de Jeans
Propriedades de equacoes diferenciais parciais (EDPs) serao usadas durante o
trabalho aqui proposto, em particular, no estudo da EDP:
f
t
+ v
f
r

f
v
= 0
conhecida como Equa cao de Boltzmann nao-colisional (CBE) (ou Equa cao de
Vlasov [3]), e e um caso especial do chamado Teorema de Liouville. A inter-
pretacao da CBE, do ponto de vista da astrofsica, e que o uxo de pontos
estelares no espaco de fase e incompressvel, ou o espa co de fase de densidade
4
ao redor do ponto de fase de qualquer estrela se mantem constante. A CBE e
usada em conjunto com a Equa cao de Poisson para o campo gravitacional:

2
= 4G

dv +
ext

em que
ext
e qualquer massa nao descrita pela funcao de distribuicao f. A CBE
e a equa cao de Poisson regem a dinamica de um sistema estelar. Serao estudadas
as condicoes para que f seja solucao dessas equa coes e, consequentemente, do
problema astrofsico nao-colisional.
Uma solu cao mais simples (porem menos completa) e obtida atraves de mo-
mentos da CBE, que gera um sistema de equa coes chamado Equacoes de Jeans.
Este sistema nao e fechado (ou seja, possui mais incognitas do que equacoes),
portanto para resolve-lo e necessario impor vnculos [11].
2.3 Calculo tensorial
Resultados da teoria do calculo tensorial [10] serao utilizados na demonstracao
do teorema principal do trabalho aqui proposto, o Teorema do Virial em forma
tensorial:
1
2
d
2
I
jk
dt
2
= 2T
jk
+
jk
+ W
jk
em que os tensores T
jk
e
jk
sao denidos pelo tensor energia cinetica dado por
K
jk
= T
jk
+
1
2

jk
, (ou seja, sao as contribuicoes da energia cinetica do sistema
por movimentos ordenados e aleatorios, respectivamente [4]), W
jk
e o tensor
energia potencial, e I
jk

x
j
x
k
d
3
x, sendo x o vetor posicao tridimensional
de cada elemento do sistema no espaco de fase.
2.4 Simulac oes Numericas de N-corpos
O entendimento atual de dinamica estelar tem sido profundamente avancado
por codigos para simulacoes numericas de N-corpos [4], que sao codigos desen-
volvidos para seguir o movimento de um grande n umero de corpos com massa
sofrendo atracao gravitacional m utua. Alguns dos principais algoritmos nessa
area sao os chamados TreeCode, Particle-Mesh (PM) e Smoothed Particle Hy-
drodynamics (SPH) [14].
3 Objetivos
3.1 Objetivo principal
O objetivo principal do trabalho proposto e expor detalhadamente a deducao
do Teorema do Virial em forma tensorial. Para isso, serao demonstrados outros
teoremas e analisadas algumas EDPs. Dessa forma, para alcancar o objetivo
principal, serao exploradas propriedades de Equa coes Diferenciais, de Teoria de
Distribui coes e de Calculo Tensorial.
5
3.2 Objetivos secundarios
O objetivo paralelo neste trabalho e apresentar a aplica cao do Teorema do
Virial no estudo de dinamica de galaxias, principalmente no que diz respeito
ao equilbrio desses sistemas estelares. Tambem, alguns algoritmos especcos
para o tratamento computacional desse problema serao discutidos.
4 Metodologia
4.1 Teoria
O Teorema do Virial sera detalhadamente deduzido e demonstrado. Para tal,
serao necessarias as demonstra coes de outros teoremas e dedu coes de algumas
EDPs. Dessa forma, propriedades de EDPs e de Calculo tensorial serao utiliza-
das.
Previamente, sera desenvolvido um captulo para a escrita de uma revisao
sobre a teoria do Calculo tensorial, pois sera bastante importante durante todo o
trabalho. Conceitos basicos da teoria de Distribuicoes tambem serao estudados,
apresentados e utilizados.
4.2 Aplicacao
Alguns conceitos fundamentais da dinamica estelar serao apresentados, de forma
a validar e justicar o uso dos resultados alcan cados na aplica cao `a dinamica de
galaxias.
Por m, sera feito um estudo acerca de simulacoes numericas de N-corpos,
comentando e discutindo as principais ferramentas computacionais utilizadas
em conformidade com a teoria apresentada.
5 Cronograma
Abaixo estao listadas as etapas de desenvolvimento para a conclusao
do trabalho proposto:
1. Revisao bibliograca sobre o tema
2. Estudo de propriedades de calculo tensorial
3. Revisao de propriedades de EDPs
4. Estudo de propriedades da Equacao de Poisson
5. Estudo da Equacao de Boltzmann sem colisoes (CBE)
6. Demonstracao do teorema de Jeans
7. Calculo dos momentos da CBE e relacao com o Teorema de Jeans
8. Teorema de Liouville, espa cos de fase e rela cao com a CBE
9. Demonstracao do Teorema do Virial em forma tensorial
6
10. Aplicacoes dos resultados `a dinamica de galaxias
11. Estudos de algoritmos para simulacao n umerica de N-corpos
12. Analise dos resultados
13. Elabora cao da apresentacao do Trabalho de Gradua cao
Cronograma para o Trabalho de Graduacao I e II - 2014
Etapas Abr Mai Jun Jul Ago Set Out Nov
1 x x x
2 x x x x x
3 x x x
4 x x
5 x x x
6 x
7 x x
8 x
9 x x
10 x x
11 x x
12 x x
13 x x
7
6 Bibliograa
[1] AARSETH, S. J. Gravitational N-Body Simulations, Cambridge University
Press, 2003.
[2] ARFKEN, G. Mathematical Methods for Physicists, Academic Press, 1970.
[3] BERTIN, G. Dynamics of Galaxies, Cambridge University Press, 2000.
[4] BINNEY, J., TREMAINE, S. Galactic Dynamics, Princeton University
Press, 2008.
[5] BUTKOV, E. Fsica Matematica, Livros Tecnicos e Cientcos Editora
S.A, 1988.
[6] CONTOPOULOS, G., EFTHYMIOPOULOS, C., Galactic Dynamics.
Scholarpedia, doi:10.4249/scholarpedia.10670, 2011.
[7] FERRARI, F. Dinamica de Sistemas Esferoidais (Notas de aula),
Universidade do Pampa, 2010.
[8] GINGOLD, R.A., MONAGHAN, J.J. Smoothed Particle Hydrodynamics:
theory and application to non-spherical stars. Monthly Notices of the Royal
Astronomical Society, 181, 375-389, 1977.
[9] JOOS, G. Theoretical Physics, Dover, 1986.
[10] LICHNEROWICZ, A. Elements of Tensor Calculus, Methuen & Co Ltd,
1962.
[11] LIMA NETO, G. Introducao a Dinamica Estelar (Notas de aula),
IAG-USP, 2001.
[12] NAAB, T. N-body Simulations and Galaxy Formation,
Max-Planck-Institut f ur Astrophysik, 2006.
[13] POWER, C. The Collisionless Boltzmann Equation (Notas de aula),
University of Virginia, 1999.
[14] SPRINGEL, V. The cosmological simulation code GADGET-2. Monthly
Notices of the Royal Astronomical Society, doi:
10.1111/j.1365-2966.2005.09655.x, 364, 11051134, 2005.
8
Sao Jose dos Campos, 25 de abril de 2014.
Dino Beghetto Junior
Aluno
Prof. Dr. Rodolpho Vilhena de Moraes
Orientador
9