Escolar Documentos
Profissional Documentos
Cultura Documentos
Mecnica Clssica
Publicaes Matemticas
Tpicos de
Mecnica Clssica
Artur Lopes
UFRGS
impa
Publicaes Matemticas
mecNew
2011/10/11
page 1
i
Pref
acio
O presente livro e uma sequencia natural do material apresentado
no texto [Lo] do mesmo autor.
Os primeiros tres captulos do texto introduzem conceitos de Teoria Ergodica e sua relacao com a Mecanica Cl
assica. Nestes captulos
apresentamos exemplos de sistemas em que aparece o fenomeno KAM.
Como veremos a fundamentacao matematica da Mecanica Estatstica a la Gibbs necessita de fato de resultados de Teoria Ergodica como o Teorema de Birkhoff. Referimos [Rue] e [PP] ao leitor
para maiores detalhes sobre este assunto.
Os captulos de 5 a 6 abordam o Formalismo Simpletico. Para
se analisar sistemas mec
anicos de maneira intrnseca em variedades
diferenciaveis se necessita deste formalismo. Estes resultados podem
ser generalizados (ver [AM]) para dimensao infinita e permitem a
analise da equcao de Korteg-de Vries, etc...
A equacao de Hamilton-Jacobi e sua relacao com o Princpio de
Huyghens e o tema dos captulos 7 a 10. Nesta parte do livro e
abordado a relacao entre frentes de onda e raios de luz que foi a
motivacao principal para a introducao do ponto de vista hamiltoniano
na Mecanica Cl
assica.
No captulo 11 (em conjunto com M. Sebastiani) apresentamos
algumas propriedades de integrais oscilantes que permitem o melhor entendimento da otica oscilat
oria (que foi abordado no captulo
10) e que est
ao tambem relacionadas com o limite semi-classico da
Mecanica Qu
antica.
O apendice captulo 12 apresenta algumas definicoes e exemplos
de aplicacoes de primeiro retorno induzidas em captulos, pontos
peri
odicos hiperbolicos, elpticos, etc... conceitos estes que aparecem
anteriormente no texto.
Referimos o texto [DL] ao leitor para resultados gerais sobre
Equacoes Diferenciais Ordin
arias que serao aqui utilizados.
Ressaltamos que o livro [FMP] apresenta uma grande quantidade
de material de Mecanica Cl
assica de uma maneira muito elegante e
com muitos detalhes nas demonstracoes.
i
i
mecNew
2011/10/11
page 3
i
Indice
i
i
mecNew
2011/10/11
page 4
i
mecNew
2011/10/11
page 1
i
Captulo 1
A Ac
ao Associada a
Bilhares Convexos
Vamos considerar a seguir bilhares determinados por uma curva convexa e sua relacao com fluxos Hamiltonianos. Este exemplo possibilitara introduzir de maneira natural alguns conceitos basicos do ponto
de vista estatstico (nao determinstico) de se entender a mec
anica.
Na proxima secao apresentaremos ao leitor os rudimentos da Teoria Ergodica. Nos reportaremos a alguns exemplos tratados na presente secao para ilustrar algumas propriedades que l
a serao descritas.
Considere o movimento livre de uma partcula de massa 1 no plano
sujeito `
a acao do Hamiltoniano
1 2
p + p22 .
2 1
Como sabemos a trajet
oria da partcula se dar
a segundo uma
linha reta e pelo Teorema da Conservacao da Energia Total (que
neste caso, e tambem apEnergia Cinetica) a velocidade ao longo da
trajet
oria ter
a modulo p21 + p22 = c = constante.
Vamos descrever alguns resultados basicos na Teoria dos Bilhares
(ver [CM] e [CRZ]).
Suponha a existencia de um recipiente circundando a partcula de
tal modo que vai impedir que a partcula v
a embora para o infinito.
1
i
i
mecNew
2011/10/11
page 2
i
i
i
mecNew
2011/10/11
page 3
i
3
superfcie p21 + p22 = 1) para um problema bidimensional em que
q0 C da seguinte maneira: a posicao inicial (q0 , p0 ) R4 tal que
(p10 )2 +(p20 )2 = 1 e q0 = (q01 , q02 ) C, pode serdescrita por (t, ) onde
t [0, 1] e tal que g(t) = q0 , e 2 , 2 e o angulo de p0 com
a normal a C em q0 apontando para dentro de C (ver Figura 1.2).
Por convencao assumimos que = /2 corresponde a tangente t
da curva (orientada no sentido anti-hor
ario).
O vetor p0 sempre aponta para dentro da curva C, logo seu angulo
com a normal (apontando para dentro da curva) varia de /2 a /2
como foi dito acima.
Por uma quest
ao de conveniencia em vez de , vamos usar a
variavel = sin (1, 1).
Segundo a convencao g (t) corresponde a = 1.
Para descrever com mais exatid
ao a analogia que existe entre o
modelo do bilhar e propriedades de sistemas hamiltonianos vamos
usar a seguinte notacao, vamos associar t = q e = p. Sendo assim,
denotaremos indistintamente t = q = g(t) e tambem = p.
Dada a condicao inicial (t0 , 0 ), considere a trajet
oria (q(s), p(s))
(solucao do fluxo Hamiltoniano comecando em (q0 , p0 ) = (t0 , 0 ))
q(s) D e apos a primeira colisao e respectivo rebote obteremos
(q1 , p1 ), q1 C. Denotaremos por (t1 , 1 ) os novos valores obtidos
nas coordenadas (t, ) de tal jeito que g(t1 ) = q1 e exatamente o
ponto de C onde a trajet
oria q(s) determinada por (q(s), p(s)) vai
colidir com C pela primeira vez (ver Figura 1.2). O angulo 1 e
obtido como o valor do seno do angulo (do vetor refletido) com a
normal (ver Figura 1.2).
O fato de assumir que a curva C e estritamente convexa implica
que T (t0 , o ) = (t1 , 1 ) esta bem definida e e continua. Devemos
assumir que a curva e parametrizada por uma funcao de Classe C 2
para que resulte um difeomorfismo a aplicacao de primeiro retorno.
Fica assim, determinado um difeomorfismo
T : [0, 1) (1, 1) [0, 1) (1, 1),
onde T (t0 , 0 ) = (t1 , 1 ).
A diferenciabilidade do difeomorfismo e C 1 .
Vamos denotar por
E = [0, 1) (1, 1)
i
i
mecNew
2011/10/11
page 4
i
a regi
ao bidimensional em que T vai estar definida. E representa
uma secao transversal (ver secao 12 para consideracoes gerais sobre
o assunto) na superfcie tridimensional p21 + p22 = 1.
Reduzimos assim um problema com tempo contnuo em dimensao
3 para um problema de dimensao 2 com tempo discreto, ou seja a
din
amica temporal para o fluxo t , t R transforma-se na din
amica
temporal para T n , n N, onde T : E E e um difeomorfismo. Este
segundo problema, em princpio, e mais simples e vai apresentar as
principais caractersticas do primeiro.
Para entender o que acontece com com a evolucao temporal s (q, p),
s R, da partcula com posicao inicial (q, p) = (t, ), q C, basta
saber o que acontece com as sucessivas batidas determinadas por T
em C, ou seja pela
orbita de (q, p) = (t, ) dada por
(t, ) , T (t, ) , T (T (t, )) , ..., T n (t, ) , ...,
pois entre cada batida a trajet
oria e uma linha reta. A linha quebrada
correspondendo aos v
arios rebotes desta evolucao temporal t R
pode ser facilmente reconstruda a partir da informacao da orbita de
(t0 , 0 ).
Note que se a fronteira do bilhar for constitudo por uni
ao de
curvas diferenciaveis como na Figura 1.4 e 2.1, existirao singularidades devido aos vertices e isto cria uma pequena dificuldade (que
pode ser eliminada conforme veremos na proxima secao) na definicao
de T . Alguns destes bilhares (como o da Figura 2.1) chamados dispersores ou de Sinai (ver [Mar] para definicao), apresentam caos e
podem ser rigorosamente analisados adaptando tecnicas de sistemas
hiperbolicos da Teoria dos Sistemas Dinamicos e Teoria Ergodica (ver
Ro[1]). Os bilhares analisados aqui s
ao focalizadores (em oposicao aos
dispersores) e tambem podem exibir como veremos em alguns casos
comportamento caotico mas para sua analise rigorosa as tecnicas empregadas s
ao de natureza distinta (e na verdade mais difcil) do que
as utilizadas no caso dispersor.
Bilhares s
ao os exemplos naturais mais simples em que se observa
caos (ver Figura 2.2).
Para o leitor familiarizado com a teoria geometrica das equacoes
diferenciais ordinarias (ver [LL] e [So]) esclarecemos que o procedimento acima (tomar a iteracao do difeomorfismo T em vez do fluxo
i
i
mecNew
2011/10/11
page 5
i
Figura 1.1:
i
i
mecNew
2011/10/11
page 6
i
Nota
c
ao: Como estamos identificando t com q = g(t) (para simplificar a notacao), denote
S(q0 , q1 ) = kq0 q1 k = S(q, Q)
(ou alternativamente
S(t0 , t1 ) = kg(t0 ) g(t1 )k,
onde g(t0 ) = q = q0 , g(t1 ) = q1 = Q) o comprimento do segmento
ligando q0 a q1 . Como D e estritamente convexo, este segmento est
a
inteiramente contido em D.
Proposi
c
ao 1.1. Seja (q1 , p1 ) = T (q0 , p0 ). Para q0 fixado,
p1 .
S(q0 ,q1 )
q1
Demonstra
c
ao: Como sabemos d<z(t)dt, z(t)> = 2 < z (t) , z(t) >,
ent
ao usando a notacao descrita acima onde q0 = g(t0 ) e q1 = g(t1 )
p
d < g(t1 ) g(t0 ) , g(t1 ) g(t) ) >
S(q0 , q1 )
=
=
q1
dt1
1
< g (t1 ) , g(t1 ) g(t0 ) > .
kg(t1 ) g(t0 )k
0 ,q1 )
Analogamente pode se mostrar que para q1 fixado S(q
= p0 .
q0
Sendo assim S define uma transformacao que preserva area. Seguira
do que foi descrito acima que:
i
i
mecNew
2011/10/11
page 7
i
Figura 1.2:
Proposi
c
ao 1.2. Fixe dois pontos q1 e q3 em C e considere A(q) =
A(t) a funca
o de t = q [0, 1) (estamos usando a notaca
o, de identificar g(t) = q C) tomando valores reais, tal que para todo valor
q C,
A(q) = S(q1 , q) + S(q, q3 ) = kq1 qk + kq q3 k.
Ent
ao, e equivalente dizer que A(q) = S(q1 , q) + S(q, q3 ) tem um
ponto crtico em q2 e dizer que a trajet
oria do bilhar em D, sai de
q1 , colide a seguir com C em q2 C e finalmente bate em q3 C.
Demonstra
c
ao: Pela u
ltima proposicao,
S(q2 ,q3 )
q2
S(q1 ,q2 )
q2
= p2 . De
= p2 .
maneira analoga se pode mostrar que
Sendo assim, a partir do que vimos na u
ltima proposicao, a condicao da igualdade do angulo de incidencia e o angulo de reflexao entre
os segmentos q1 , q2 e q2 , q3 no ponto q2 e equivalente a dizer que q2
satisfaz
S(q1 , q) S(q, q3 )
+
= 0.
q
q
Esta u
ltima condicao, por sua vez, e equivalente a A(q) ter q2
como ponto crtico.
A conclus
ao e que (q1 , p1 ) = T (q0 , p0 ) satisfaz as equacoes
S(q0 , q1 )
= p0
q
e
S(q0 , q1 )
= p1 .
q1
i
i
mecNew
2011/10/11
page 8
i
Figura 1.3:
Sen0 Sen1
2 S(t0 , t1 )
=
>0
t0 t1
S(t0 , t1 )
Mais tarde retornaremos a analisar esta expressao. Note que podemos tomar tambem S(q, Q) = kq Qk sem que alteremos em
nada o que foi descrito acima, apenas fazendo com que
2 S(q0 , q1 )
< 0.
q0 q1
Mais tarde analisaremos transformacoes T obtidas a partir de S
e que satisfazem a u
ltima expressao acima.
Como vimos no Captulo 3 [L], se T (q0 , p0 ) = (q1 , p1 ) e obtido
atraves de uma aplicacao geradora de mudanca de coordenadas
2
S(q0 ,q1 )
6= 0 como acima, ent
ao T preserva area.
S(q0 , q1 ) tal que q
0 q1
Note que foi necessario usar as coordenadas = sin e nao para
obter que T : E E preserva area.
Logo, para tal T vale que para qualquer aberto A, os conjuntos
A e T (A) tem a mesma
area.
i
i
mecNew
2011/10/11
page 9
i
Figura 1.4:
Defini
c
ao 1.1. A aplicaca
o kq1 qk = S(q, q1 ) : [0, 1] (1, 1) R
e denominada Aca
o associada ao bilhar definido pela curva C.
Uma conclus
ao que podemos obter do fato acima demonstrado
e que todos os pontos do bilhar s
ao nao errantes (ver Definicao 5,
Captulo 3 [L]). Isto segue de imediato do fato que T preserva area e
do Teorema de Poincare (Teorema 5, Captulo 3).
O Exemplo 13, Captulo 1 [L], constitudo por duas partculas
colidindo num intervalo, pode ser transformado num problema sobre
trajet
orias no bilhar triangular. A demonstracao que a aplicacao no
bordo do bilhar preserva area tambem pode ser aplicada a tal bilhar. Concluimos portanto que no caso do sistema de duas partculas
colidindo num intervalo, todos os pontos s
ao nao errantes.
O fato do difeomorfismo T do bilhar convexo preservar area, permitir
a tambem usar tecnicas probabilsticas na analise das trajet
orias
do sistema mec
anico em consideracao. Estes resultados serao apresentados na proxima secao.
O resultado acima, sobre conservacao de area e verdadeiro para
uma grande classe de interessantes e diferentes tipos de bilhares. A
evolucao das trajet
orias do bilhar vai depender no entanto de maneira
essencial da forma da curva C. Vamos mostrar isto atraves de alguns
exemplos.
i
i
10
mecNew
2011/10/11
page 10
i
Figura 1.5:
Defini
c
ao 1.2. Dizemos que V : E R e uma integral primeira de
T se V (q, p) e contnua e constante ao longo das o
rbitas T n (q0 , p0 ) =
(qn , pn ).
A existencia de tal V : [0, 1) (1, 1) R implica na existencia
de uma integral primeira V para t em p21 + p22 = 1. Isto ocorre
porque, o sistema a tempo contnuo t na superfcie tridimensional
p21 +p22 = 1, e obtido a partir de T apenas acrescentando retas ligando
x a T (x). Cada curva invariante em [0, 1) (1, 1) determina portanto uma superfcie bidimensional invariante para t na superfcie
tridimensional em p21 + p22 = 1.
Exemplo 1.1. O crculo. Considere C um crculo de raio 1. Em vez
da parametrizaca
o do crculo por (cos 2t, sen 2t ), 0 t 1 vamos
usar as coordenadas 0 s < 2 para a posica
o q e /2 < /2
para o a
ngulo com a normal. No caso do crculo e f
acil ver que
S(q, Q) = S(s0 , s1 ) = 2 sen ((s1 s0 )/2).
Por propriedades elementares de geometria o angulo nao varia ao longo de uma
orbita e T e dado por T (s0 , 0 ) = (s1 , 1 ) =
facil ver que se a condicao inicial for (s0 , 0 ) =
(s0 + 20 , 0 ) E
i
i
mecNew
2011/10/11
page 11
i
11
(q0 , p0 ) [0, 2) (/2, /2), ent
ao para todo n, T n (q0 , p0 ) =
(qn , pn ) e tal que pn = p. Sendo assim se plotarmos v
arias trajet
orias
{(q, p), T (q, p), T 2 , ..., T n (q, p)}, onde (q, p) s
ao diferentes condicoes
iniciais, obteremos uma decomposicao do espaco de fase (q, p)
[0, 2) (/2, /2), da forma apresentada na Figura 1.7.
Logo, a funcao V (q, p) = p (ou seja V (s, ) = ) e constante ao
longo de cada
orbita. Portanto, tal V e uma integral primeira do
bilhar.
Como T (s0 , 0 ) = (s0 + 20 ), 0 ) considere apenas a acao de T
na primeira ordenada g(s0 ) = s0 + 20 (mod 1). Se 20 for da
forma racional vezes 2 e facil ver que todo ponto s0 sera peri
odico.
Caso 20 for da forma irracional vezes 2 ent
ao, conforme a proxima
secao, ocorre que para qualquer s0 fixado a orbita g j (s0 ), j > 0 sera
densa em [0, 1). Neste u
ltimo caso, naturalmente, nao existem orbitas
peri
odicas.
Sendo assim, conclumos que a din
amica da evolucao temporal
de T n (s0 , 0 ) fica completamente entendida e de acordo com a Figura 1.5. Se quisermos podemos mudar novamente coordenadas e
considerar alternativamente o problema nas coordenadas T n (t0 , 0 )
obtendo os resultados analogos. Optamos pelas coordenadas (s, )
apenas porque as formulas de T e S neste caso ficam mais simples.
Exemplo 1.2. A elipse. Tomando v
arias condico
es iniciais (q, p)
[0, 1) (1, 1) diferentes e tomando as correspondentes o
rbitas
{(q, p), T (q, p), ..., T n (q, p), ...}
obteremos uma decomposica
o do espaco de fase (q, p) [0, 1)(1, 1)
da forma apresentada na Figura 1.7.
A funcao
V (q, p) =
q 2 2 cos2
1 2 cos2
i
i
12
mecNew
2011/10/11
page 12
i
Figura 1.6:
que as
orbitas de condicoes iniciais sobre elas serao densas nela e em
algumas outras curvas tal nao ocorre.
possvel mostrar tambem que em algumas curvas de nvel o tj
E
de (tj , j ) = T (t0 , 0 ), j > 0 explora densamente on intervalo [0, 1] e
em outras nao; a Figura 1.7 e 1.8 ilustra tal fato.
A existencia de tal V : [0, 1) (1, 1) R por sua vez implica na
existencia de uma integral primeira V para t em p21 + p22 = 1. Portanto, da mesma maneira como no caso do crculo, obtemos neste caso
uma integral primeira para o sistema a tempo contnuo associado.
Exemplo 1.3. O ovo (ver Figura 1.8). Tomando v
arias condico
es
iniciais (q, p) diferentes e tomando as correspondentes o
rbitas
{(q, p), T (q, p), ..., T n (q, p)}
obteremos uma decomposica
o do espaco de fase da forma apresentada
na Figura 1.8. Note que mesmo que a elipse e o ovo tenham formas semelhantes, o espaco de fase do bilhar com fronteira dada pelo
ovo apresentado na Figura 1.8 e bastante diferente dos dois exemplo anteriores. Este sistema, aparentemente pelo que mostra a Figura 1.8 n
ao existe funca
o contnua V (definida em todo E e n
ao
i
i
mecNew
2011/10/11
page 13
i
13
constante) que seja constante em cada o
rbita {T n (x), n N} para
cada x = (q, p) E.
O Exemplo 1.3 (ver Figura 1.8) mostra uma combinacao de comportamentos distintos (dependendo da orbita ou seja da condicao inicial escolhida); existe uma evidencia numerica que existem algumas
curvas invariantes por T e tambem regi
oes bidimensionais invariantes
por T (que nao s
ao uni
ao de curvas invariantes conforme Figura 1.8).
Neste caso aparece o que se convenciona chamar de ilhas KAM e
que sera analisado mais tarde no texto.
Nas curvas invariantes que aparecem na figura podem haver orbitas
peri
odicas, trajet
orias com orbita densa, etc...
Exemplo 1.4. O est
adio circular e o bilhar tal que a curva C tem
constitudo por duas retas
a forma apresentada na Figura 1.4. E
paralelas com comprimento l > 0 e por duas metades de um crculo.
Tomando apenas uma certacondicao inicial (q0 , p0 ) e plotando
a
orbita de (q, p) ate ordem n=999, isto e, plotando o conjunto
{(q, p), T (q, p), ..., T 999 (q, p)}
obtemos Figura 1.7 (figura da direita). A orbita T j (q0 , p0 ), j
{1, 2, ..., n} parece se distribuir de maneira uniforme sobre E, isto
e o n
umero de j {1, 2, ..., n 1} em um aberto qualquer fixado A
dividido por 1000 parece ser proporcional a area de A.
Note que podem existir orbitas no est
adio circular que nao tem
o comportamento acima descrito: por exemplo orbitas peri
odicas de
perodo dois como aparece na Figura 1.6.
Na verdade para a maioriadas condicoes iniciais (q0 , p0 ) as orbitas no est
adio circular T j (q0 , p0 ) ter
ao uma distribuicao uniforme
como no caso da Figura 1.7 (figura da direita). Explicar o sentido
da palavra maioriasera um dos objetivos da proxima secao. Este
exemplo sera um dos assim chamados sistemas erg
odicos.
Observa
c
ao 1.2. Note que o comportamento da trajet
oria T n (q, p)
neste u
ltimo Exemplo 1.4 e totalmente distinto dos dois primeiros
Exemplos 1.1 e 1.2, onde cada trajet
oria esta confinada a uma curva
(um conjunto unidimensional) por causa da integral primeira V .
i
i
14
mecNew
2011/10/11
page 14
i
i
i
mecNew
2011/10/11
page 15
i
15
i
i
16
mecNew
2011/10/11
page 16
i
A conclus
ao a que chegamos ao fim desta secao e que mesmo
para um campo Hamiltoniano sem energia potencial, a din
amica da
evolucao temporal do sistema mec
anico associado pode ser muito
complexa, se assumirmos a existencia de um recipiente contendo a
condicao inical e com a qual a trajet
oria do sistema colide elasticamente.
Exerccios
1. Mostre que V (q, p) = p do Exemplo 1.1, e constante ao longo
das trajet
orias do bilhar no crculo.
2
cos
2. Mostre que V (q, p) = q1
e constante
2 cos2 do Exemplo 1.2,
ao longo das trajet
orias do bilhar na elipse.
i
i
mecNew
2011/10/11
page 17
i
Captulo 2
O Teorema Erg
odico e a
Hip
otese de Boltzmann
Nesta secao vamos apresentar de maneira suscinta o Teorema Ergodico
e algumas de suas conseq
uencias. Primeiramente vamos apresentar o
Teorema Ergodico com tempo discreto e mais para o fim desta secao
o Teorema Ergodico com tempo contnuo.
Informamos ao leitor que o objetivo da presente secao e apenas
apresentar ideias e descrever resultados interessantes. Referimos para
os excelentes textos [M] e [KH] para a fundamentacao matematica
rigorosa do que segue abaixo. O autor do presente livro escreveu
tambem notas [L2] onde estes t
opicos s
ao apresentados com todo
rigor matematico.
Ao fim da presente secao, o Exemplo 2.15 e um dos mais importantes deste texto. Neste exemplo, mostraremos que sob certas
condicoes, vale a hip
otese de Boltzmann (ver consideracoes a seguir)
em torno de um ponto de equilbrio de um sistema integr
avel.
Como vimos anteriormente quando analisamos o bilhar na Secao
1, o entendimento do comportamento das orbitas do fluxo Hamiltoniano
H(q1 , q2 , p1 , p2 ) = p21 + p22
restrito a um recipiente delimitado por uma curva C (na qual exis17
i
i
18
mecNew
2011/10/11
page 18
i
te um rebote quando a
orbita colide com a curva) pode ser obtido
pela iteracao de uma aplicacao T induzida em uma secao transversal
bidimensional E (pelo primeiro retorno). Vamos apresentar um resultado matematico que vai possibilitar entender melhor a evolucao
temporal de tal sistema mec
anico. Lembre que o difeomorfismo T
induzido pelo bilhar em C preserva area, pois e obtido atraves de
uma aplicacao geradora S (ver Proposicao 1.2 e Lema 11.1, Captulo
3 [L]).
Defini
c
ao 2.1. Uma probabilidade P definida em um conjunto aberto
X do Rn e uma lei que associa a cada subconjunto A X um valor
P (A) [0, 1].
Uma probabilidade deve satisfazer tambem as seguintes propriedades:
1) P () = 0 ( e o conjunto vazio)
2) P (X)
= 1.
P
=
3) P
i=1 Ai
i=1 P (Ai ) se os conjuntos Ai forem todos
disjuntos.
i
i
mecNew
2011/10/11
page 19
i
19
Figura 2.1:
i
i
20
mecNew
2011/10/11
page 20
i
Figura 2.2:
area de A
.
area de X
Fixada uma probabilidade P , a classe de conjuntos A X sobre os quais necessitamos definir o que seria a probabilidade P (A),
i
i
mecNew
2011/10/11
page 21
i
21
Figura 2.3:
no entanto, deve ser maior do que a classe dos abertos com bordo
diferenciavel por partes. Sera necessario por exemplo, no Teorema
Ergodico, falar sobre certos conjuntos A que nao s
ao abertos, mas
tem relev
ancia no entendimento da evolucao temporal do sistema.
Estes conjuntos serao denominados de conjuntos de probabilidade
total.
Muitos dos resultados que apresentaremos a seguir valem para
probabilidades mais gerais P (nao s
o do tipo P ), mas para nao
entrarmos em problemas tecnicos desnecess
arios, vamos considerar
apenas probabilidades deste tipo.
Defini
c
ao 2.2. Dada uma probabilidade P em X, dizemos que um
conjunto A X Rn tem probabilidade zero para P se para qualquer
existe uma sequencia de paralelep
P pedos Bi , i N contidos em
X Rn tal que A
B
e
i
i=1
i=1 P (Bi ) < .
Para conjuntos A deste tipo, sera verdade que P (A) = 0 (ver [Fe]
e [Rud]).
O criterio de mostrar que um certo conjunto tem probabilidade
zero, mostrando que satisfaz a Definicao 2.2 e extremamente u
til.
Exemplo 2.1. Considere a probabilidade uniforme em [0, 1], que
atribui probabilidade b a para todo intervalo [a, b] [0, 1]. Para
esta probabilidade o conjunto dos racionais em [0, 1], isto e Q [0, 1]
(ou qualquer conjunto enumer
avel) tem probabilidade zero. Isto segue
i
i
22
mecNew
2011/10/11
page 22
i
Bi = x [0, 1] | |x qi | <
2
2
cobrem Q, onde qi Q[0, 1], i N e uma enumeraca
o dos racionais
em [0, 1]. Note que o comprimento total coberto pela uni
ao dos Bi , i
N, e menor que qualquer dado.
Dada a probabilidade P = P em X, a integral
de uma funcao :
R
X R com respeitoR a P , e por definicao X (x)(x)dx, expressao
que e denotada por (x)dP (x).
R
Dado um conjunto A vale sempre que IA (x)dP (x)
R = P (A)
Se
P
e
a
probabilidade
uniforme
em
X,
ent
a
o
(x)dP (x) =
R
(x)dx
X
.
rea de X
a
Exemplo 2.2. Conjuntos de probabilidade zero aparecem naturalmente na Teoria das Series de Fourier. Suponha que duas funco
es f
e g s
ao iguais em todos os pontos do intervalo [0,1], menos num conjunto A de probabilidade uniforme 0 (no qual podem eventualmente
R1
R1
ser distintos), sendo assim, 0 f (x)dx = 0 g(x)dx. Este fato segue
facilmente da definica
o de integral (ver [Li1] e [Fe]). Conclumos
ent
ao que duas funco
es que diferem apenas num conjunto de medida
zero tem a mesma integral com respeito a dx.
i
i
mecNew
2011/10/11
page 23
i
23
Logo, a Serie de Fourier, nao distingue uma f e g que s
ao iguais
a menos de um conjunto de probabilidade uniforme zero.
Exemplo 2.3. Seja X = [0, 1] [0, 1]. Se P (A) = a
rea de A, para
cada A [0, 1] [0, 1] (esta probabilidade como vimos antes e chamada de uniforme), ent
ao um conjunto tem probabilidade zero para
P , se puder ser coberto por uni
oes de ret
angulos tal que a soma das
a
reas destes ret
angulos pode ser tomada arbitrariamente pequena.
Exemplo 2.4. Considere em X = [0, 1] o conjunto A obtido da seguinte maneira. Primeiro retire o terco central do intervalo [0,1],
a seguir retire dos dois intervalos que sobraram os tercos do meio.
Obteremos assim 4 intervalos. Retire novamente de cada um dos
4 intervalos os tercos medios e prossiga assim indefinidamente. Na
etapa n teremos ao todo 2n intervalos disjuntos. O conjunto que sobra
deste procedimento de retirar infinitamente tercos dos intervalos que
v
ao sobrando, e mostrado de maneira aproximada na Figura 2.3. Este
conjunto e denominado conjunto de Cantor. Considere a probabilidade P tal que P ([a, b]) = b a para qualquer intervalo [a, b] [0, 1].
O conjunto de Cantor tem probabilidade 0 para tal P . Para provar
isto, basta cobrir o conjunto de Cantor por uni
ao de intervalos tal
que a soma dos intervalos e arbitrariamente pequena.
Note que os 2n intervalos que restam do procedimento na etapa
n
n, contem C e tem soma total dos comprimentos igual a 2n 31 . Como
2n
converge a zero, ent
ao o conjunto de Cantor tem probabilidade
3
zero em [0,1] para a probabilidade uniforme.
O conjunto de Cantor nao e um conjunto aberto. Como o conjunto
de Cantor tem probabilidade zero e portanto um conjunto ralo(ou
seja, muito pequeno) no intervalo [0, 1]. Este conjunto e o exemplo
mais elementar de fractal (ver definicao em [Fa]).
Note que foi fundamental usar o criterio da Definicao 2.2 para
dizer que o conjunto de Cantor tem probabilidade zero.
Os conjuntos de probabilidade zero s
ao considerados desprezveis
na analise probabilstica. Ou seja, se uma propriedade e v
alida para
todos os pontos de E, menos para um conjunto de probabilidade zero,
ent
ao do ponto de vista probabilstico tal propriedade e verdadeira.
Se escolhessemos um ponto ao acaso no intervalo [0,1] de acordo com
i
i
24
mecNew
2011/10/11
page 24
i
a Probabilidade P do u
ltimo exemplo, este ponto nao estaria no conjunto de Cantor, pois este conjunto tem probabilidade 0.
Defini
c
ao 2.3. Para uma certa probabilidade P definida em X, dizemos que um conjunto B tem probabilidade total para P se X B
tem probabilidade zero para P .
Exemplo 2.5. O conjunto dos irracionais no intervalo [0,1], isto
e o conjunto [0, 1] Q, tem probabilidade total para a probabilidade
uniforme, pois Q [0, 1] tem probabilidade zero.
Diz-se que uma propriedade e v
alida em P -quase toda parte, se
ela e v
alida num conjunto de probabilidade total para P . Quando se
diz que um ponto x e escolhido ao acaso segundo um probabilidade
P , x e na verdade ao acaso dentro de um conjunto de probabilidade
total B. Este ponto de vista (ou seja se preocupar apenas com o que
e verdadeiro P -quase toda parte) e a essencia da Teoria da Probabilidade.
Defini
c
ao 2.4. Um ponto x escolhido num conjunto de probabilidade total e denominado de um ponto generico no sentido probabilstico(para a probabilidade P ).
Nosso objetivo a seguir e analisar do ponto de vista estatstico (ou
probabilstico) a evolucao temporal da orbita T n (x) de um difeomorfismo T : X X. Iremos considerar uma probabilidade P sobre X
e tentaremos fazer afirmacoes que tenham sentido do ponto de vista
probabilstico. Isto e, o que se pode dizer para as orbitas T n (x) se
x for escolhido num conjunto de probabilidade total para P ? Em
outras palavras, desejamos obter propriedades das orbitas T n (x) de
pontos x escolhidos ao acaso de acordo com a probabilidade P (ou
seja pontos x genericos).
As probabilidades P que s
ao u
teis para o entendimento da evolucao
temporal das
orbitas T : X X, devem ter algum tipo de relacao
com T .
Esta relacao sera descrita pela proxima definicao.
Defini
c
ao 2.5. Dizemos que P probabilidade sobre X e invariante
para um difeomorfismo T se P (T (A)) = P (A) para qualquer conjunto
A X.
i
i
mecNew
2011/10/11
page 25
i
25
Exemplo 2.6. Na u
ltima seca
o mostramos que o difeomorfismo T
associado ao bilhar convexo preserva a
rea em E = [0, 1) (1, 1)
(Proposica
o 1.2, Captulo 1). Logo, se P e definido por
P (A) =
a
rea de A
,
2
ent
ao P e invariante para tal T . Neste caso a densidade (t, ) = 21 ,
define P = P .
Note que no caso da Figura 2.1 (bilhar dispersor) tnhamos dificuldade em definir T : E E porque algumas trajet
orias T (t0 , 0 )
poderiam bater numa quina. Como estamos utilizando um ponto de
vista probabilstico ficaremos satisfeitos se T estiver bem definido em
um subconjunto K E de P -probabilidade total. Em muitos casos
tal propriedade e verdadeira e a analise din
amica que faz sentido sera
na verdade de T : K K (ver [Ma]).
No caso do bilhar dispersor (ou outro qualquer com quinas) considere L = {(q0 , p0 )| tal que T (q0 , p0 ) bate numa quina ou p1 = 1
ou 1 } (ou seja a reta a partir de q com angulo p intersecta uma
facil ver que nos casos mais coquina ou fica tangente a um lado). E
muns o conjunto L e uma curva diferenciavel por partes e tem medida
bidimensional em E nula.
facil ver que em K todos
Considere agora K = E nZ T n L. E
n
os iterados de T est
ao bem definidos e perdemos do conjunto E um
conjunto de medida 0 (pois P (E) = P (K) = 1). Nada foi perdido do
ponto de vista probabilstico com esta restricao.
Exemplo: Seja T (x) = x + (mod 1), T : [0, 1] [0, 1], onde
e uma constante, ent
ao a probabilidade uniforme (ou seja dx) e
invariante para T . Isto segue trivialmente do fato que a inclinacao
do gr
afico de T e 1, logo para cada intervalo A a imagem T (A) tem
o mesmo comprimento total (pode ser a uni
ao de dois intervalos)
que A.
Considere agora uma funcao : E R, que na maioria das vezes
vai representar algum observavel do sistema (por exemplo, o valor da
posicao t (neste caso (t, ) = t) na curva C do bilhar considerado
na secao anterior).
Ao longo da evolucao temporal do sistema comecando em x (ou
seja, a
orbita {x, T (x), T 2 (x), ..., T n (x), ...} comecando no ponto x
i
i
26
mecNew
2011/10/11
page 26
i
Figura 2.4:
(x)
= lim
e sua dependencia em x.
O fsico L. Boltzmann estava interessado em entender o sistema
de partculas (da ordem de 1023 partculas) de um g
as delimitado por
i
i
mecNew
2011/10/11
page 27
i
27
um recipiente fechado. Um sistema com tantas partculas e difcil de
ser analisado do ponto de vista determinstico. O sistema com apenas umapartcula colidindo elasticamente com a fronteira de uma
regi
ao bidimensional que apresentamos na secao anterior ja apresenta
dificuldades de analise determinstica como vimos anteriormente (ver
Observacao 1.1, Captulo 1 em [L]). Prever a evolucao temporal de
uma partcula apos decorrido em tempo t muito grande e muito difcil
(devido a acumulacao de erros nas aproximacoes), imagine analisar
um n
umero enorme de partculas (1023 ) como acontece em um g
as
em um compartimento fechado. Sendo assim, faz mais sentido, perguntar sobre a probabilidade de encontrar uma partcula numa regi
ao
D do recipiente. Este e o ponto de vista probabilstico da Mecanica
e que e o objeto da Mecanica Estatstica. Estaremos interessados em
fazer afirmacoes para pontos x genericos no sentido probabilstico.
Para fixar ideias vamos considerar a evolucao temporal
{T (x), T 2 (x), ..., T n (x)}
quando x = (q, p) descreve a posicao de umapartcula de um g
as
que est
a em q com velocidade p. Considere agora um observavel do
sistema (, ou temperatura, etc...), isto e, e uma funcao do espaco
de fase x = (q, p) E tomando valores em R. O que se pode dizer
do valor medio (x)?
A Hip
otese Erg
odica de Boltzmann: A Hip
otese Ergodica de
Boltzmann, que foi enunciada por L. Boltzmann no meio do seculo
XIX, afirmava que fixado um nvel de energia H0 , este valor (x)
nao
deveria depender de x neste nvel de energia H0 (no caso de um g
as
num recipiente fechado).
Bem, a referida hip
otese em termos t
ao amplos nao resultou ser
verdadeira. Primeiro, vamos tentar entender em termos Matem
aticos
mais precisos o que L. Boltzmann estava querendo afirmar com a sua
Hip
otese Ergodica. Mais tarde, tentaremos esclarecer o que nao foi
confirmado de tal hip
otese.
Em termos matematicos mais precisos, o que L. Boltzmann estava
afirmando, na verdade, e que deve existir uma probabilidade natural
P definida no nvel de energia X = {(q, p), H(q, p) = H0 }, tal que
dado uma funcao sobre X, deveria existir uma constante c tal que
para P -quase todo ponto x no conjunto X (o nvel de energia H0 ), o
i
i
28
mecNew
2011/10/11
page 28
i
valor (x)
= c. Em
outras palavras, que e constante para pontos genericos no sentido
probabilstico.
O Teorema de Birkhoff que sera apresentado a seguir vai se referir
a quest
ao mencionada acima.
A evolucao temporal das condicoes iniciais x que s
ao fisicamente
observadas no sistema constituido pelo g
as s
ao as trajet
orias que
comecam em x, onde x e escolhido num conjunto de probabilidade
total em relacao a uma probabilidade natural P . Esta propriedade e o
fundamento do ponto de vista probabilstico da Mecancia Estatstica.
A probabilidade P e chamada algumas vezes de estado de Gibbs
(terminologia usada em homenagem ao matematico W. Gibbs) do
sistema mec
anico (ver [Ru], [E], [BS] e [KH] para referencias). Para
simplificar estamos supondo que o g
as vai ser descrito por uma u
nica
partcula para evitar analisar problemas relativos `as colisoes entre
partculas do g
as.
N
ao vamos definir aqui o que e um estado de Gibbs, mas queremos
apenas mencionar que no caso do bilhar numa curva convexa ele e
a probabilidade uniforme em E = [0, 1) (1, 1) (conforme Exemplo 2.6).
Defini
c
ao 2.6. Seja P uma probabilidade invariante para um difeomorfismo T : X X. Dizemos que P e erg
odica se toda vez que
T (A) = A, A X, ent
ao P (A) = 0 ou P (A) = 1.
Em outras palavras, uma probabilidade P e erg
odica quando nao
existem conjuntos invariantes pela acao de T que nao sejam triviais
(dizemos que um conjunto A X e trivial se P (A) = 0 ou P (A) = 1).
Observa
c
ao 2.2. Note que e sempre verdade (ver Definica
o 1.2) que
P () = 0 ( e o conjunto vazio) e P (X) = 1 (onde X e o conjunto
onde P est
a definido), e ainda que T () = e T (X) = X, por
isto a necessidade de enunciar a definica
o de probabilidade erg
odica
como foi feito acima (e n
ao apenas dizendo que n
ao existem conjuntos
invariantes). Os conjuntos X e s
ao triviais.
i
i
mecNew
2011/10/11
page 29
i
29
Figura 2.5:
IA (x) =
an e2inx .
n=
an e2inx =
n=
an e2in(x+) = IA (T (x)).
n=
Portanto
n=
an e2inx =
an e2in e2inx .
n=
i
i
30
mecNew
2011/10/11
page 30
i
= lim
m m
O valor c pode ser obtido como
Z
c = (y)dP (y),
i
i
mecNew
2011/10/11
page 31
i
31
ou seja, a integral de em relaca
o a P .
Para a prova e para consideracoes mais gerais sobre o Teoria
Ergodica, referimos o leitor para [PY], [M1], [CFS] e [KH]. Esta Teoria permite um melhor entendimento de quest
oes fundamentais da
Mecanica Estatistica [PP] e [Ru]. O ponto de vista do formalismo
DLR da Mecanica Estatistica e descrito em [G].
Em resumo o teorema de Birkhoff diz que existe um conjunto A
tal que P (A) = 1 tal que para todo x A vale que a media temporal
assint
otica
n1
1 X
(T j (x))
(x)
= lim
m m
j=0
e igual `
a integral espacial
Z
Z
(y)dP (y) =
(y)(y)dy.
E
Observa
c
ao: Mostramos em exemplo anterior que T (x) = x +
(mod 1) e erg
odica para a probabilidade uniforme (a P tal P ([a, b]) =
facil ver por inducao que T n (x) = x + n (mod 1). Seja
b a). E
[a, b] intervalo qualquer e considere (x) = I[a,b] (x).
Podemos aplicar o teorema erg
odico tambem neste caso e concluir
que existe K [0, 1] tal que P (K) = 1 e para todo x K
Z
n1
1 X
I[a,b] (T j (x)) = I[a,b] (y)dP (y) = b a > 0.
m m
j=0
(x) = lim
I[a,b]
i
i
32
mecNew
2011/10/11
page 32
i
(x)
= lim
i
i
mecNew
2011/10/11
page 33
i
33
O valor c = (x)
no est
adio l > 0 n
ao pode ser verdade para t
odas
as condico
es iniciais x = (q, p). Na Figura 1.5, mostramos duas trajet
orias a e b na parte interna do est
adio, que correspondem a
`o
rbitas
peri
odicas para T de perodo dois, respectivamente {(qa , pa ), T (qa , pa )}
e {(qb , pb ), T (qb , pb )}. Na Figura 1.6 mostramos tambem no espaco
de fase (q, p) [0, 1) (1, 1) as duas o
rbitas acima mencionadas.
Estas o
rbitas naturalmente v
ao determinar tempos de ocupaca
o diferentes para o conjunto A que aparece na Figura 3.25. O tempo de
ocupaca
o assint
otico de A para a o
rbita a e zero e para a o
rbita b e
um.
Note que o comportamento desta duas trajet
orias e totalmente
distinto do comportamento da trajet
oria descrita pela Figura 1.7 apresentada na u
ltima seca
o. Para qualquer ponto inicial x escolhido ao
acaso de acordo com a probabilidade uniforme, a o
rbita T n (x) gera
a Figura 1.7.
N
ao existe contradica
o entre a Figura 1.7 e 1.6, pois no u
limo
caso a posica
o da condica
o inicial (q0 , p0 ) e muito particular, e esta
i
i
34
mecNew
2011/10/11
page 34
i
para qualquer
funca
o contnua definida sobre o bilhar triangular s
ao as mesmas,
independentes da condica
o inicial x (contanto que x seja escolhido
ao acaso de acordo com a probabilidade P ).
Podemos portanto, analogamente ao procedimento do exemplo anterior, obter o valor exato oB , onde B corresponde ao evento: a
posica
o x1 e x2 ao colidirem est
ao no intervalo (0.2, 0.5). Do Teorema Erg
odico segue que oB = P (B) e oB independe de x (para
x num conjunto de probabilidade total). O valor oB pode ent
ao ser
calculado facilmente
a
partir
de
P
.
m
Quando m21 Q, o sistema acima considerado n
ao e erg
odico.
Acreditamos que com estes dois u
ltimos exemplos tenha ficado
transparente a importancia do Teorema Ergodico de Birkhoff para a
analise de propriedades estatsticas das orbitas dos fluxos Hamiltonianos.
i
i
mecNew
2011/10/11
page 35
i
35
Note que se P e erg
odica e e sempre positiva em abertos ent
ao para
x P-quase toda parte a orbita {x, T (x), .., T n (x), ...} e um conjunto
denso; de fato, dado um aberto A como P (A) > 0 ent
ao
Z
0 < P (A) = IA (x)dP (x) = oA (x) =
1
(IA (x) + IA (T (x)) + ... + IA (T m1 (x)) ).
m
Neste caso algum IA (T j (x)) e igual a 1.
Para um sistema erg
odico, o Teorema de Birkhoff descreve a maneira matematica exata como deve ser entendida a hip
otese de Boltzmann.
A teoria de Kolmogorov-Arnold Moser (KAM) (ver [KH] e Secao
13, Captulo 3 [L]) desenvolvido no meio deste seculo mostrou que
para uma grande quantidade de Hamiltonianos a propriedade da ergodicidade nao e v
alida. Vamos a seguir, atraves de um exemplo, dar
uma breve ideia porque nao e verdade a Hip
otese de Boltzmann em
sua formulacao mais geral.
Consideraremos agora o bilhar no ovo (Exemplo 1.4, Captulo 1)
e T a aplicacao induzida no bordo do bilhar conforme mostra Figura 1.8.
lim
Observa
c
ao 2.5. No caso do bilhar no ovo, existe uma evidencia
numerica de haver um uni
ao finita de curvas fechadas invariantes
i , i {1, .., n} para T (ver Figura 1.8), mostra claramente que tal T
n
ao e erg
odica. Isto porque
( [0, 1) (1, 1) ) i i
possui um conjunto invariante de probabilidade uniforme positiva (por
exemplo a uni
ao das partes internas das i ).
Isto pode ser observado numericamente em um computador, considerando o
rbitas comecando em condico
es iniciais que est
ao respectivamente no interior e no exterior da curva.
Conclumos ent
ao que existe uma evidencia numerica de que tal
sistema n
ao e erg
odico.
Este fato contraria ent
ao a Hip
otese Erg
odica de Boltzmann pois
T representa a evoluca
o temporal de uma partcula de uma g
as num
recipiente fechado.
i
i
36
mecNew
2011/10/11
page 36
i
i
i
mecNew
2011/10/11
page 37
i
37
Exemplo 2.9. Dada uma equaca
o diferencial x = G(x), x Rn , o
fluxo t associado a tal equaca
o (conforme Definica
o 21, Captulo 1
[L]) e um exemplo de um sistema din
amico a tempo contnuo St = t .
Exemplo 2.10. Considere n
umero real e defina St : R R por
St (x) = x + t, para todo real t. St e um sistema din
amico a tempo
contnuo.
Exemplo 2.11. Considere n
umero real e defina St : [0, 1) [0, 1)
por St (x) = x + t (mod 1) para todo real t. Este sistema din
amico
ser
a muito importante em nossas futuras consideraco
es.
Defini
c
ao 2.8. A probabilidade e dita invariante em relaca
o ao
sistema din
amico {St } se, para todo conjunto B X e para qualquer
t real, (St B) = (B).
Uma maneira equivalente de dizer que uma medida e invariante
para
St : Para Rtoda funcao contnua e para todo t real vale que
R
(x)d(x) = (St (x))d(x).
O Teorema de Liouville (Teorema 4, Captulo 3 [L]) mostra que
se t e o fluxo associado a um Hamiltoniano H, ent
ao para todo t, e
para todo aberto A vale que area t (A) = area de A.
Logo, neste caso, o sistema din
amico St = t deixa invariante a
probabilidade uniforme.
O Exemplo 33 do Captulo 3 [L] mostra um exemplo de probabilidade invariante sobre uma curva obtida atraves do tempo de
ocupacao assint
otico.
f
Exemplo 2.12. E
acil ver que o sistema din
amico St do Exemplo 2.11 deixa invariante a probabilidade definida sobre [0,1) por
( [a, b] ) = b a. Esta probabilidade, como vimos antes se chama
probabilidade uniforme em [0,1).
Dada uma o
rbita peri
odica (s), s [0, b], tal que (0) = (b)
defina a medida tal que para toda funca
o contnua temos
Z
Z b
((s))ds.
(x)d(x) =
0
i
i
38
mecNew
2011/10/11
page 38
i
(St+s ((0)))ds.
(St (x))d(x) =
(Ss ((0))ds =
((s))ds =
(x)d(x).
Defini
c
ao 2.9. O fluxo St e dito erg
odico para se para todo conjunto A X tal que St (A) = A, t R, ent
ao (A) = 0 ou (A) = 1.
Vamos agora considerar St = t o fluxo associado a um campo de
vetores Hamiltoniano H em (q, p) R2n restrito a uma superfcie de
Hamiltoniano H constante.
Suponha que a superfcie S de energia constante H0 seja compacta. Neste caso, como veremos na Secao 5, existe sempre uma
probabilidade invariante P para o fluxo Hamiltoniano t restrito `a superfcie H(q, p) = H0 de Hamiltoniano constante. Esta probabilidade
k
P e a probabilidade P = PH0 = P k com densidade = kHk
kHk
sobre H(q, p) = H0 (ver Secao 5) onde k e apenas uma constante
para normalizar a probabilidade P .
Tal probabilidade P definida sobre S e positiva em abertos de
S, ou seja, dado x S e > 0, ent
ao P (B(x, ) S) > 0, onde
B(x, ) = {y R2n | |x y| < }.
Vamos tentar colocar a afirmacao de Boltzmann de uma maneira
matematicamente mais precisa do que a que foi feita pelo mesmo no
seculo XIX.
A Hip
otese Erg
odica de Boltzmann: A Hip
otese Ergodica de
Boltzmann para Hamiltonianos e analoga `a anteriormente descrita
(no caso em que o tempo e discreto n N).
A Hip
otese Ergodica para Hamiltonianos afirma que para todo vaodico para o fluxo t restrito a
lor de energia H0 , PH0 e erg
H(q, p) = H0 .
importante nao confundir a acao de fluxo t sobre o espaco
E
(q, p) R2n com a acao (restrita) do fluxo t sobre uma superfcie
de Energia constante H0 .
A quest
ao da validade ou nao da Hip
otese Ergodica de Boltzmann
influenciou sobremaneira a Fsica e a Matem
atica do seculo XX.
i
i
mecNew
2011/10/11
page 39
i
39
Contra-exemplo 68: Lembre que o fluxo Hamiltoniano t preserva
volume em R2n ou seja preserva a probabilidade uniforme em cada
subconjunto aberto limitado invariante X R2n . A probabilidade
P em X = R2n neste caso nao e erg
odica para t . Isto porque um
sistema com uma integral primeira nao pode ser erg
odico (lembre que
H e integral primeira) como veremos a seguir.
Se tomarmos o aberto limitado A X (com probabilidade positiva para P portanto) dos pontos x R2n tal que E1 < H(x) < E2 ,
ent
ao o fluxo Hamiltoniano t deixa A invariante pelo Teorema de
Conservacao do Hamiltoniano e no entanto 1 > P (A) > 0. Logo, embora o fluxo Hamiltoniano deixe invariante a probabilidade P , nao e
verdade que P e erg
odico para t .
Outra quest
ao de natureza distinta e: sera que t e erg
odico
quando restrito a uma superfcie S de energia constante H0 ?
Teorema 2.2. (Teorema de Birkhoff) Seja um Sistema Din
amico St
definido em X, preservando a probabilidade
erg
o
dica
P
=
P
ao
. Ent
R
R
para toda funca
o contnua f tal que X f (x)dP (x) = X f (x)(x)dx <
, existe uma constante c e existe um conjunto B de probabilidade
total tal que para todo ponto x B
Z
Z
1 t
1 t
c = lim
f (S x)d = lim
f (S x)d.
t t 0
t t 0
O valor c naturalmente depende de f e pode ser obtido como
Z
Z
c=
f (y)dP (y) =
f (y)(y)dy.
X
i
i
40
mecNew
2011/10/11
page 40
i
IA (S x)d =
IA (z)dP (z) =
i
i
mecNew
2011/10/11
page 41
i
41
onde 1 , 2 , ..., n s
ao n
umeros reais fixos. Cada St e dita uma
translacao no toro, e por isso {St } e chamado um grupo de translacoes
a um par
ametro em Torn , definido pelo vetor = (1 , 2Q
, ..., n ).
n
Note que a probabilidade uniforme no toro d = k=1 dxk e
invariante em relacao a {St }. Isto porque, como St (A) e apenas um
transladado de A, A, ent
ao St (A) e A tem a mesma area. Logo St
n
preserva o volume dx
...dx
1
n . Note que (Tor ) = 1. Sendo assim se
R
definirmos (A) = A dx1 ...dxn , a probabilidade uniforme resulta
ser invariante para o sistema din
amico St em [0, 1)n .
O conjunto dos vetores a(t) = (e2i1 t , e2i2 t , ..., e2in t ), <
t < , define a trajet
oria do zero atraves da evolucao temporal do
sistema din
amico St .
O Sistema Dinamico St acima definido e muitas vezes chamado
condicionalmente peri
odico, sendo k (1 k n) suas frequencias.
Exemplo 2.13. O exemplo mais simples de tais sistemas St foi
apresentado nos Exemplos 2.11 e 2.12: para fixo, St (x) = x +
t(mod1), 6= 0. Neste caso a probabilidade invariante P e a probabilidade uniforme em [0, 1). Uma pergunta natural e quando que P e
erg
odica para tal St .
Vamos mostrar agora que tal P e sempre erg
odica para tal St .
Observa
c
ao 2.6. Pode-se mostrar (ver [M1]) que um fluxo {St }
Re erg
odico para , se e s
o se, vale que para toda funca
o f tal que
f d <R e f (St (x)) = f (x) para todo x, ent
ao e porque f (x) =
X
const. = X f d para um conjunto de pontos x em um conjunto B
de probabilidade total para .
Vamos usar o resultado mencionado na observacao acima para
mostrar que St e erg
odico para a probabilidade uniforme.
Considere fixado um ponto x [0, 1). Observe que variando t,
St (x) percorre todos os valores possveis y do intervalo [0, 1). Logo,
para uma dada funcao f , f (St (x)) = f (x) significa que para todo
y [0, 1), f (y) = f (x). Logo f e constante. Sendo assim pela u
ltima
observacao St e erg
odico.
Vamos apresentar agora uma outra prova da ergodicidade da St
acima definida, e que vai motivar a demonstracao do proximo teorema. Considere um funcao f que seja invariante para St , ou seja,
i
i
42
mecNew
2011/10/11
page 42
i
Como f e invariante
X
X
f (St (x)) =
cs e2is(x+t) =
cs e2ist e2isx =
sZ
sZ
cs e2isx = f (x).
sZ
i
i
mecNew
2011/10/11
page 43
i
43
A funcao f em Torn tomando valores reais, pode ser expandida
em uma serie de Fourier que convirja na media quadratica, ou seja,
X
f (x) =
cs e2i(s1 x1 +s2 x2 +...+sn xn ) ,
s
i
i
44
mecNew
2011/10/11
page 44
i
i
i
mecNew
2011/10/11
page 45
i
45
de ergodicidade do fluxo no toro, foi equivalente a independencia racional dos n
umeros 1 , ..., n ; ora, nem sempre a condica
o de independencia racional dos n
umeros 1 , ..., n e verdadeira (por exemplo, se todos os i forem racionais). Felizmente, o conjunto dos
(1 , ..., n ) que n
ao s
ao racionalmente independentes, tem probabilidade zero em relaca
o a probabilidade de d1 ...dn em [0, 1)n (ver
Exerccio 5).
Sendo assim, escolhendo um conjunto de valores (1 , ..., n ) ao
acaso em Rn de acordo com a probabilidade uniforme em d1 ...dn
obteremos um sistema que tem o
timas propriedades estatsticas. Portanto, do ponto de vista probabilstico podemos afirmar que o sistema
observado na natureza (escolhendo os 1 , ..., n com probabilidade total em Rn ) possui propriedades estatsticas o
timas para as trajet
orias
comecando em x num conjunto de probabilidade total.
Dizemos que um sistema tem propriedades estatsticas o
timas se
para um conjunto de probabilidade total de condico
es iniciais, as trajet
orias visitam uma dada regi
ao A com a mesma frequencia assint
otica.
Note que a afirmaca
o do sistema ter o
timas propriedades estatsticas n
ao pode ser feita para todosos possveis sistemas 1 , ..., n
condicionalmente peri
odicos.
Exemplo 2.15. Considere um ponto de equilbrio de um sistema Hamiltoniano natural unidimensional H(q, p) = 12 p2 + V (q) onde V (q)
2
V (q)
|q=0 > 0. O sistema Hatem mnimo local em 0. Suponha que d dq
2
miltoniano em torno do ponto (0, 0) e integr
avel e as curvas de nvel
para o Hamiltoniano s
ao curvas fechadas envolvendo o ponto (0, 0).
i
i
46
mecNew
2011/10/11
page 46
i
qi ai qi = 0,
N
ao e difcil ver que cada plano (qi , pi ) e invariante pelo fluxo Hamiltoniano t , que cada trajet
oria (qi (t), pi (t)) e peri
odica no plano
(qi , pi ) e que s
ao v
alidos em cada um destes planos (qi , pi ) os resultados que obtivemos na Secao 7, Captulo 3 [L], obtendo variaveis
acao-
angulo (i , I i ) e frequencias wi = w(I i ) = ai , i {1, 2, ..., n}.
O fluxo Hamiltoniano t em coordenadas acao-angulo e dado por
(i (t), I i (t)) = (0i + ai t (mod1), I0i ).
facil ver que o conjunto dos (1 , I 1 , 2 , I 2 , ..., n , I n ) tal que
E
I 1 = I01 , I 2 = I02 , ..., I n = I0n
define uma superfcie S invariante para o fluxo Hamiltoniano.
i
i
mecNew
2011/10/11
page 47
i
47
Logo fixada a condicao inicial (01 , I01 , 02 , I02 , ..., 0n , I0n ), de maneira
analoga ao caso unidimensional tratado acima, nas coordenadas
(1 , .., n ) o fluxo Hamiltoniano t restrito a S se escreve como
St (01 , ..., 0n ) = (1 (t), 2 (t), ..., n (t)) =
= (01 + ai t(mod1), ..., 0n + an t(mod1))
e define em S uma translacao St condicionalmente peri
odica no sentido anteriormente considerado.
Pergunta: O fluxo Hamiltoniano e erg
odico quando restrito a tal
superfcie S?
Como veremos, a resposta e afirmativa se os ai s
ao racionalmente
independentes.
Note que o resultado a seguir nao e para a superfcie de Energia constante E, mas para a superfcie S acima definida (e que est
a
estritamente contida num nvel de Energia E).
A partir do Teorema 2.3 e da Observacao 2.7, conclumos que no
caso do sistema mec
anico com potencial V (q) = 21 a21 q12 + ... + 21 a2n qn2 ,
o fluxo t = St e erg
odico em S se os a1 , ..., an s
ao escolhidos ao
acaso de acordo com a probabilidade uniforme. Em funcao do que
foi dito acima no caso de um sistema mec
anico real, assumir que os
ai satisfazem tal propriedade e uma hip
otese bastante razo
avel.
1 1
n n
O resultado obtido para ( , I , ..., , I ) pode ser tranferido via
mudancas de coordenadas para o sistema Hamiltoniano inicial nas
variaveis (q, p). Sendo assim, podemos afirmar neste caso, que localmente em torno do ponto de equilbrio (0, 0) no plano (q, p), a
Hip
otese de Boltzmann vale para a superfcie com variavel Acao
I0i , i {1, 2, .., n} constante, se o potencial V (q) = 21 a21 q12 + ... 12 a2n qn2
e tal que os ai , i {1, .., n} s
ao escolhidos ao acaso de acordo com
a probabilidade uniforme em Rn . Sendo assim, localmente e neste
sentido um pouco mais fraco (restricao sobre uma escolha ao acaso
dos ai ), a Hip
otese de Boltzmann e verdadeira.
Chamamos a atencao para um fato: a ergodicidade do fluxo St
nao implica a ergodicidade do difeomorfismo T = St para um valor t
fixo.
Agora nos concentraremos no estudo de uma das muitas aplicacoes
dos sistemas din
amicos no toro: o problema de Lagrange, que surgiu
i
i
48
mecNew
2011/10/11
page 48
i
de algumas quest
oes de Mecanica Celeste e que tem estimulado o
desenvolvimento da teoria das funcoes quase peri
odicas.
Considere um sistema constitudo por n pendulos com hastes de
tamanhos distintos acoplados um ao outro e com o extremo inicial
fixo (ver Figura 2.4). Sejam n n
umeros complexos a1 , a2 , ..., an (n
vetores no plano). Examinaremos a curva no plano complexo dada
pela equacao
z(t) = a1 e2i1 t + a2 e2i2 t + ... + an e2in t .
O significado geometrico da funcao z e o seguinte: suponhamos
que haja um vetor a1 no plano, que o vetor a2 esteja ligado `a extremidade de a1 e que cada um dos outros esteja ligado `a extremidade
do anterior. Se a1 girar em torno de sua origem fixa (o ponto (0,0))
com velocidade angular constante 1 , a2 girar ao mesmo tempo em
torno de sua origem (a extremidade de a1 ) com velocidade angular 2
e assim por diante, a curva dada por z e a trajet
oria da extremidade
do vetor an . A Figura 2.5 ilustra o caso em que n = 3.
Suponhamos que z(t) nao se anule para nenhum t. Ent
ao podemos
representar z(t) na forma
z(t) = r(t)e2i(t) ,
onde e uma funcao contnua de t (veja a Figura 2.5).
Lagrange formulou a seguinte pergunta: Existe
= lim
1
(t),
t
(2.1)
i
i
mecNew
2011/10/11
page 49
i
49
Se a desigualdade (2.1) nao for v
alida, o problema torna-se razoavelmente difcil, sendo que o proprio Lagrange o resolveu somente
com dois vetores.
Consideraremos, agora o caso generico com n hastes, onde exibiremos a relacao entre esse problema e a teoria erg
odica.
Tomando os logaritmos de ambos os lados da equacao de z(t),
obtemos
1
log z(t) ,
(t) = Re
2i
(onde Re(z) representa a parte real de z, isto e, Re(a + bi) = a) e
ent
ao
n
P
k ak e2ik t
d
1 z (t)
k=1
=
= Re P
(t) = Re
n
dt
2i z(t)
ak e2ik t
k=1
n
P
k |ak |e2i(xk +k t)
Re k=1
n
P
k=1
|ak |e2i(xk +k t)
i
i
50
mecNew
2011/10/11
page 50
i
Ent
ao, e v
alida a igualdade
d
(t) = f (St x),
dt
e, por isso,
(t2 ) (t1 ) =
t2
f (S x)d.
t1
k=1
|ak |e2ixk = 0
(2.3)
Tor
f d = Re
n
Torn
n
P
k |ak | e2ixk
k=1
n
P
k=1
|ak
| e2ixk
n
X
k=1
k |ak | Wk ,
i
i
mecNew
2011/10/11
page 51
i
51
onde
Wk = Re
e2ixk
dx1 ...dxn .
n
Torn P |aj | e2ixj
j=1
1
P (x1 , ..., xk1 , xk+1 , ..., xn ) Torn1 | |B| < |ak | ,
|ak |
i
i
52
mecNew
2011/10/11
page 52
i
Exerccios
1. Mostre que se A = for uma curva diferenciavel em [0, 1][0, 1],
ent
ao A tem probabilidade zero para probabilidade uniforme em
[0, 1] [0, 1].
2. Considere P a probabilidade uniforme em [0, 1]. Mostre que se
F e um difeomorfismo de classe C 1 de [0, 1] em si mesmo e A
tem probabilidade zero, ent
ao F (A) tem probabilidade zero.
3. Seja T (x) = 2x (mod 1), T [0, 1] [0, 1]. Mostre que T e invariante e e erg
odica para a probabilidade uniforme P . Sugest
ao: considere um conjunto A e escreva IA em serie de
Fourier. A seguir, suponha que T 1 (A) = A, e conclua que
IT 1 (A) (x) = IA T (x) = IA (x). O resultado e obtido igualando os correspondentes coeficientes de Fourier de IA e IA T .
4. Mostre que se e irracional, ent
ao T (x) = x + (mod 1),
T [0, 1] [0, 1], e tal que existe um conjunto K [0, 1] tal que
para todo x K a
orbita de x e densa em [0, 1].
5. Mostre que uma superfcie de dimensao d < n em Rn tem
probabilidade uniforme 0 em Rn
6. Mostre que o conjunto dos pontos (x1 , x2 , ..xn ) racionalmente
independentes tem medida total em Rn .
i
i
mecNew
2011/10/11
page 53
i
Captulo 3
i
i
54
mecNew
2011/10/11
page 54
i
p =
V
.
q
Trocamos o sinal do potencial V acima apenas para obter ao final de nossas consideracoes um sistema a tempo discreto dentro da
notacao de Aubry [Au1] e [Au2].
Uma versao em diferencas finitas de tal equacao e
qi+1 = qi + pi+1 t
pi+1 = pi + t
V
|q .
qi i
Tomando t = 1, obtemos
G(qi , pi ) = (qi+1 , pi+1 ) = (qi + pi+1 , pi
V
|q ).
qi i
i
i
mecNew
2011/10/11
page 55
i
55
Considere na reta real o Potencial V (u) peri
odico de perodo 1
e assuma tambem que V (0) = 0, V (0) = 0 e V (u) > 0, u
(1/2, 1/2] (ou alternativamente em (0, 1]). Vamos considerar (Figura 3.1) como um caso particular importante o exemplo em que
V (u) =
1
(1 cos 2u).
2
1 2
u ,
2
que vai ser na verdade uma funcao da distancia entre ui+1 e ui . Mais
precisamente, a energia cinetica sera dada por
W (ui+1 ui ) =
1
(ui+1 ui )2 .
2
(3.1)
i
i
56
mecNew
2011/10/11
page 56
i
Defini
c
ao 3.1. Considere um arranjo {ui }iZ . Para n < m fixados,
a Aca
o Total do arranjo {ui }iZ de n a m e dada por
({ui }) =
m1
X
i=n
V (ui ) + W (ui+1 ui ) =
m1
X
S(ui+1 , ui ).
i=n
Defini
c
ao 3.2. Um arranjo {ui }iZ vai ser minimal para a Aca
o
Total, se para todo n e m fixos n < m, e para todo arranjo {vi } tal
que vn = un e vm = um vale que
({ui }) =
m1
X
i=n
m1
X
i=n
V (vi ) + W (vi+1 vi ).
A condicao de um arranjo ser minimal, acima definida, e claramente inspirada pelo Princpio de Mnima Acao (ver Secao 9, Captulo 3 [L]).
Defini
c
ao 3.3. Um arranjo {ui }iZ e crtico para a Aca
o Total se
para todo n e m, n < m fixados vale que
= 0,
ui
i {n + 1, m 1}.
i
i
mecNew
2011/10/11
page 57
i
57
Os arranjos que s
ao fisicamente observados no problema acima
descrito s
ao na verdade os arranjos minimais.
Primeiramente vamos determinar um metodo para encontrar arranjos crticos.
Note que para um arranjo {ui }iZ , cada valor ui , n < i < m
aparece na acao total de n a m em apenas dois termos
S(ui+1 , ui ) + S(ui , ui1 ) =
V (ui ) + W (ui+1 ui ) + V (ui1 ) + W (ui ui1 ).
Para calcular a expressao do arranjo crtico, derivamos a u
ltima
expressao em relacao a ui e considerando V , W como acima, obteremos
0 = V (ui ) (ui+1 ui ) + (ui ui1 ).
Logo, obtemos a equacao
0 = V (ui ) + 2ui (ui+1 + ui1 ),
a qual toda solucao crtica {ui }iZ deve satisfazer.
Sendo assim, obtemos de maneira equivalente
ui+1 + ui1
V (ui ) = ui
.
2
2
(3.2)
V (ui )
2
e equilibrada pelo deslocamento de ui da posicao de equilbrio (ponto
i1
) da corda elastica ligando ui1 a ui+1 (Lei de Hooke)
medio ui+1 +u
2
conforme mostra Figura 3.28.
Deste ponto de vista, o arranjo {ui }iZ parece descrever um
el
astico fixo na posicao un e um , em que pela Lei de Hooke, o afastai+1
mento do elastico na posicao ui da posicao intermediaria ui1 +u
,
2
e equilibrada pela forca criada pelo potencial agindo em cada reta
x = i.
i
i
58
mecNew
2011/10/11
page 58
i
i
i
mecNew
2011/10/11
page 59
i
59
Seja qi o valor ui (m
odulo 1), como pi+1 = ui+1 ui (mod 1) (que
e o mesmo que qi+1 qi (mod 1)), obtemos a transformacao acima
definida T agindo sobre ( pi , qi ) [0, 1) [0, 1) como
pi
pi+1
pi + sin 2qi
(mod 1)
T
=
=
qi
qi+1
pi+1 + qi
(mod 1)
que e conhecida como a aplicacao padrao, ou standard.
Logo a iteracao de uma orbita T n (p0 , q0 ) = (pn , qn ), n Z a
partir de uma condicao inicial (p0 , q0 ), vai definir na segunda variavel
ui o arranjo {ui }iZ (a menos de um inteiro) a solucao crtica do
problema acima descrito. Uma infinidade de solucoes {qi }iZ s
ao
possveis, basta tomar diferentes condicoes iniciais (p0 , q0 ). Faremos
a seguir (Definicao 3.4, Captulo 3) uma restricao que vai determinar
um arranjo {ui }iZ de maneira u
nica.
Observo que tomar qi (mod 1) e bastante natural (ou seja supor
que o espaco de configuracao e compacto), mas tomar pi (mod 1),
em princpio nao. No caso do modelo de quase-cristais, no entanto,
e natural esta segunda hip
otese. Estas duas hip
oteses de qualquer
jeito permitem considerar a iteracao de T num espaco compacto (ou
seja fechado e limitado).
Duas trajet
orias minimais nao podem se cruzar duas vezes como
na Figura 3.2. Esta propriedade e conhecida como a condicao Twist
(ver [CRZ] para mais detalhes).
Considerando potenciais V mais gerais (V (u) ou V (q) sempre
peri
odico de perodo 1) obteramos de maneira analoga uma T definida em [0, 1] [0, 1] [0, 1] [0, 1] por
pi
pi+1
pi + V (qi )
T
=
.
=
qi
qi+1
pi+1 + qi
N
ao estamos colocando o termo (mod 1) na expressao acima, mas
ela est
a implcita no modelo em consideracao.
A aplicacao padrao preserva area. Mostraremos na verdade no
caso mais geral (nao somente para V (q) = 12 (1 cos 2q)), que a
aplicacao T , obtida acima a partir de um potencial V qualquer, preserva
area. As Figuras desta secao que descrevem iteracoes de T para
o caso de V (u) = 12 (1cos 2u) ocorrem tambem em outras situacoes
quando se considera um V geral.
i
i
60
mecNew
2011/10/11
page 60
i
pi
pi+1
pi + V (ui )
T
=
=
ui
ui+1
pi+1 + ui
(3.3)
preserva a
rea.
Demonstra
c
ao:
Vamos considerar S(Q, q) = S(un+1 , un ) abaixo.
Desejamos mostrar que
S
(un+1 , un ) = pn
un
e
S
(un , un+1 ) = pn+1
un+1
S
S
=
(un+1 , un ) +
(un , un1 ).
un
un
un
(3.4)
i
i
mecNew
2011/10/11
page 61
i
61
Logo fica definida atraves de S uma funcao geradora de mudancas
de coordenadas
(pn , un ) = (p, q) (pn+1 , un+1 ) = (P, Q)
atraves de
1
S(Q, q) = S(un+1 , un ) = V (un ) + (un+1 un )2 =
2
1
= V (q) + (Q q)2 .
2
(3.5)
S
S
(un+1 , un ) =
(un , un1 ) = pn
un
un
S
(un+1 , un ) = pn+1 .
un+1
nn
un un
=l
n n
i
i
62
mecNew
2011/10/11
page 62
i
= i=n +1 .
n n
nn
possvel mostrar (ver [Ba]) que fixado
Propriedade Importante: E
l, sob certas condicoes, obtem-se um u
nico arranjo minimal {ui }iZ
(no sentido da Definicao 3.2) com tal valor de distancia media at
omica
l (momento medio).
Fazendo analogia com a Mecanica Cl
assica, fixados posicao e momento medio, desejamos encontrar de maneira u
nica uma solucao
{ui }ibf Z (que sera mnima) com aquela posicao inicial e com aquele
momento medio.
No caso = 0, ent
ao ui = il+ (linear em i) e solucao, e portanto,
ao menos neste caso trivial, sabemos que existe a inclinacao media
associada a tal {ui }.
No caso = 0, se l e irracional, a solucao ui = il + (m
odulo 1)
sera densa em [0,1] (ver [A2]).
A quest
ao relevante no modelo acima descrito e analisar no caso
geral 6= 0, o arranjo minimal associado a cada valor l. Isto e
para cada condicao de fronteira l, deseja-se encontrar propriedades
da solucao minimal com inclinacao media l.
Nesta direcao, o seguinte Teorema (ver [Ba]), que nao sera demonstrado, e de fundamental importancia.
i
i
mecNew
2011/10/11
page 63
i
63
Teorema 3.1. Dada uma configuraca
o {ui }iZ mnima, existem l
e tal que para qualquer i, os valores ui e il + (n
ao estamos
considerando mod 1) est
ao no mesmo intervalo [mi , mi + 1] onde mi
e um n
umero inteiro.
Segue portanto deste teorema que toda solucao minimal tem um
valor de distancia media at
omica l.
Defini
c
ao 3.5. O valor acima apresentado e denominado a fase
da configuraca
o crtica ui .
O proximo teorema vai apresentar um resultado bastante preciso
sobre as solucoes minimais {ui }iZ . Antes necessitamos algumas definicoes e resultados da Teoria dos N
umeros (ver [A2], [Kh] e [Le]
para referencias gerais sobre os t
opicos que serao considerados aqui).
Defini
c
ao 3.6. Um n
umero l > 0 e do tipo Diofantino se existe
> 0, r > 2 tal que p, q N
l p > 1 .
(3.6)
q
qr
Um n
umero deste tipo e mal aproximado por racionais , ou seja,
ele e muito irracional.
Lembre (ver Definicao 2.2, Captulo 2) que um subconjunto D da
reta tem medida zero se para qualquer pequenoPexiste uma cober
tura de D por intervalos [ai , bi ], i N tal que i=1 (b1 ai ) < .
Ou seja D e desprezvel em termos de comprimento, embora possa
ser um conjunto ate mesmo denso em R (por exemplo o conjunto dos
racionais tem medida zero).
Lembre tambem (ver Definicao 2.3, Captulo 2) que dizemos que
um subconjunto A tem medida total na reta, se o seu complementar
e desprezvel, ou seja que o seu complementar tem medida zero.
Observa
c
ao 3.1. Se r > 2 e > 0 est
ao fixados, e possvel mostrar
(veja [A2]) que o conjunto de n
umeros que satisfazem (3.6) na definica
o acima, tem medida total em R. Sendo assim, se escolhermos
um n
umero ao acaso de acordo com a probabilidade uniforme em
R, este n
umero ser
a Diofantino. Nem todos os n
umeros reais s
ao
Diofantinos.
i
i
64
mecNew
2011/10/11
page 64
i
Figura 3.1:
Todo n
umero irracional pode ser aproximado por fracoes contnuas,
isto e, x pode ser expresso da seguinte forma
x = n0 +
1
n1 +
1
n2 + n
(3.7)
1
3 +...
onde os ni s
ao n
umeros naturais.
O procedimento e o seguinte: dado x, subtraia sua parte inteira,
1
> 1. Seja n1 a parte inteira
obtendo x n0 (0, 1). Portanto, xn
0
1
1
de xn0 , logo x1 = xn0 n1 (0, 1].
Portanto x = n0 +
1
n1 +x1 .
1
n1 +
1
n2 +x2
i
i
mecNew
2011/10/11
page 65
i
65
1.6
1.4
1.5
1.2
0.8
0.5
0.6
0.4
0
1
1.5
1.4
2.5
1.6
1.8
2.2
2.4
2.6
1.3
1.2
1.5
1.1
0.9
0.5
0.8
0.7
0
1.7
1.8
1.9
2.1
2.2
2.3
1.5
2.5
i
i
66
mecNew
2011/10/11
page 66
i
2
1.75
1.5
1.5
1.25
1
1
0.75
0.5
0.5
0.25
0
1
1.5
2.5
1.2
1.4
1.3
1.5
1.6
2
1.4
1.5
theta
1.2
0.5
0.8
0.6
1
1.6
1.8
2.2
2.4
1.5
2.5
1
1
n2 +
1
n3 +...+ 1
nk
i
i
mecNew
2011/10/11
page 67
i
67
for fraca
o contnua da forma
x = n0 +
1
n1 +
1
n2 + n
1
3 +...
ni N, i N, e v
alido que
x pk < 1 .
qk qk2
5+1
1
=
=1+
2
1 + 1+ 1 1
1+...
i
i
68
mecNew
2011/10/11
page 68
i
e portanto e super mal aproximado por racionais (os qk crescem devagar porque os ni = 1 s
ao os menores possveis). Logo podemos dizer
que a raz
ao a
urea e o mais irracional dos n
umeros reais.
Para mostrar que este n
umero tem a expans
ao em fraco
es contnuas acima basta observar que satisfaz a equaca
o
1+
1
= .
(3.8)
i
i
mecNew
2011/10/11
page 69
i
69
2
1.75
1.5
1.5
1.25
1
1
0.75
0.5
0.5
0.25
0
1.6
1.625
1.65
1.7
1.675
1.7
1.725
1.8
1.9
2.1
2.2
2.3
1.15
1.1
1.5
1.05
0.95
0.5
0.9
0.85
0
1.94
1.96
1.98
2.02
2.04
2.06
2.275
2.3
2.325
2.35
2.375
2.4
i
i
70
mecNew
2011/10/11
page 70
i
1.5
1.5
0.5
0.5
0
1.06
1.08
1.1
1.12
1.14
0.96
0.98
1.02
1.04
1.5
theta
1.5
0.5
0.5
0
0
0.86
1
0.88
0.9
0.92
0.94
1.25
1.5
1.75
2.25
(3.9)
A existencia de f e claramente equivalente a existencia de g. Vamos a seguir mostrar que existe tal g.
i
i
mecNew
2011/10/11
page 71
i
71
Figura 3.2:
Observa
c
ao 3.2. No caso de haver uma funca
o continua f , associado a um certo valor l irracional, as iteraco
es da aplicaca
o padr
ao T
a partir de um ponto inicial (p0 , u0 ) (ou seja u0 , u1 ) v
ao determinar
um arranjo {ui } denso (mod 1) em [0, 1], com inclinaca
o media l e
tal que a correspondente o
rbita associada T n (p0 , u0 ) = (pn , un ) determina atraves do conjunto dos seus pontos de acumulaca
o em R2 uma
curva de Jordan fechada no espaco de fase (p, u). Estas curvas s
ao
chamadas de curvas KAM. O exemplo de uma curva KAM aparece
nas Figuras 3.3 e 12.12.
Vamos explicar ao leitor como determinar a curva KAM em [0, 1]
[0, 1] no caso acima descrito. Ora (pn , un ) = (un un1 , un ), logo
(pn , un ) = (f (nl + ) f (nl + l), f (nl + )).
Logo, (pn , un ) (mod 1) est
a sobre a curva
(f (u) f (u l) (mod1) , f (u) (mod1)).
Se l e irracional, il + determina um conjunto denso (mod 1)
de pontos no intervalo (0, 1) e portanto, como afirmamos, o conjunto
dos pontos de acumulacao de (un , pn ) (mod 1) determina a curva
(f (u) f (u l) (mod1) , f (u) (mod1)) , u (0, 1).
Nem sempre a um valor irracional l vai corresponder uma curva
KAM.
Quando f nao e continua (caso a) do Teorema 3.3, Captulo 3),
fica ent
ao determinado pelo fecho da orbita T n (p0 , u0 ) um conjunto
ralotipo Cantor (tambem chamado de conjunto de Aubry-Mather)
conforme mostra Figura 2.3.
i
i
72
mecNew
2011/10/11
page 72
i
Demonstra
c
ao do item b) do Teorema 3.3: N
ao vamos dar
uma demonstracao completa do item b) do Teorema 3.3, mas apenas
analisar o problema em primeira aproximacao. Vamos considerar
pequeno ( < crtico ) e l Diofantino. Neste caso existira f continua
e nosso objetivo a seguir e dar uma ideia aproximada porque tal
propriedade e verdadeira (referimos o leitor a [He], [LC], [Ba] e [MF]
para uma demonstracao completa).
Vamos ver como aparece de maneira natural a condicao do n
umero
l ser Diofantino no problema em consideracao. Substituindo ui =
il + + g(il + ) na equacao (ui ui+1 ) + (ui ui1 ) = V (ui )
obtemos
V (ui ) = il + + g(il + ) ((i + 1)l + )
g((i + 1)l + ) + il + + g(il + ) ((i 1)l + ) g((i 1)l + ) =
2g(il + ) g(il + + l) g(il + l).
Desejamos saber se existe uma g analtica (ou continua ao menos)
satisfazendo a expressao acima
(3.10)
2(l + 2)
.
i
i
mecNew
2011/10/11
page 73
i
73
Portanto, se for grande, V (ui ) vai poder assumir apenas valores
pequenos. Seja z tal que V (z) = 0, ent
ao somente uma pequena
vizinhanca A = {u|V (u) < 4l
}
de
z
poder
a ser visitada pela o
rbita
{ui }iZ .
Sendo assim, neste caso, o conjunto dos ui n
ao ser
a denso em
[0, 1). Em muitos destes casos o fecho do conjunto dos ui (mod 1)
e um conjunto tipo Cantor de medida zero. Neste caso o raciocnio
que faremos a seguir, usando series de Fourier n
ao se aplica.
No que segue e essencial assumir que os ui (mod 1) sejam densos
em [0,1), e isto ocorre quando < crtico .
A equacao (3.10) para g em primeira aproximacao e dada por
(3.11)
Vm ei2m u .
m=
gm ei2m u .
m=
i
i
74
mecNew
2011/10/11
page 74
i
X
Vm
ei2mu .
g(u) =
2 m= (1 cos 2ml)
(3.12)
Observe a existencia de pequenos denominadores na equacao acima. Isto porque o termo no denominador do quociente de cada termo
da serie acima vai ficar proximo de zero, pois cos 2ml vai estar, para
certos valores de m, muito proximo de 1 (isto segue do fato que o
conjunto ml, n Z e denso (mod 1) em [0,1]). Sendo assim nao ha
garantia de que para todos valores de u a serie formal (3.12) definida
acima convirja. Note no entanto que Vm tambem vai a zero e podem
haver compensacoes do denominador e numerador de cada termo da
serie (3.12).
Se uma serie converge absolutamente, ela converge. Sendo assim,
uma condicao suficiente para convergencia da serie (3.12) acima e
Vm
K
(3.13)
1 cos(2ml) < m1+B
K, B > 0, ou seja,
1/2
Vm
<
1 cos 2ml
K
m
1+B
2
(3.14)
i
i
mecNew
2011/10/11
page 75
i
75
Logo
Vm
Vm
.
1 cos(2ml) < K(4)
2 (lm n)2
(3.15)
Este resultado (3.15) pode ser facilmente obtido da formula integral de Cauchy de Variavel Complexa (ver [N]), e considerando
um contorno retangular no plano complexo passando pelos pontos
, , + i, + i. Integrando neste contorno e usando o fato que
as integrais em dois lados do ret
angulo cancelam, segue o resultado.
k1
m+1
(3.16)
r > 2.
< mr1 .
|lm n|
Concluindo
21
r1
1
Vm
< K3 m
= K3 +1
,
1 cos 2ml
m(+1)/2
m 2 r+1
i
i
76
mecNew
2011/10/11
page 76
i
(3.17)
fica maior que 12 e assim, segundo a Observacao 3.4, segue que (3.14)
e verdadeira e assim a serie de Fourier da g que desejamos obter
converge.
Desta maneira, mostramos que sob certas condicoes existe solucao
g contnua (em primeira aproximacao) da equacao (3.9) da curva
KAM (ver Observacao 3.2).
Vamos fazer uma analise mais delicada da quest
ao acima considerada.
Estamos interessados em propriedades que s
ao validas para todo
l em um conjunto de medida total. Sendo assim, podemos assumir
r = 2 + com pequeno (ver Observacao 3.1 antes do teorema)
e concluir que para um conjunto de medida total de valores l (os
n
umeros Diofantinos), para valores menores que crtico , existe
uma curva KAM.
1
2
A conclus
ao final e que se V for tres vezes diferenciavel, ent
ao g
(ou seja f ) satisfazendo (3.8) e (3.9) existe e contnua e e expressa
atraves da Serie de Fourier (3.9) acima descrita.
Se V for mais de tres vezes diferenciavel ent
ao as curvas obtidas
serao diferenciaveis. Quanto maior a classe de diferenciabilidade de
V , maior sera a classe de diferenciabilidade da g que define a curva
KAM.
i
i
mecNew
2011/10/11
page 77
i
77
realmente um fato muito interessante o fato que propriedades
E
topol
ogicas (a existencia de curvas KAM ou a existencia de conjuntos
de Cantor invariantes, conforme aparece no conjunto das 16 figuras)
dependem de propriedades de diferenciabilidade de V e tambem de
propriedades numericas de l.
Considere um valor l de distancia media at
omica fixado.
Se V for analtica, ent
ao pode-se mostrar que para pequenos valores de , a funcao g e analtica.
Pode-se mostrar que para valores de um pouco maiores, a curva
invariante e diferenciavel, mas nao analtica (mesmo que V seja
analtica).
Para valores de moderadamente grandes, a aplicacao padrao
definida acima, vai apresentar exemplos em que a g acima considerada
e realmente continua mas nao diferenciavel e este fato vai assegurar
a existencia de curvas KAM nao diferenciaveis.
Em todos os casos considerados acima, existe curva KAM.
No conjunto das oito figuras, logo apos a Figura 1.14, para v
arios
valores de , plotamos v
arias orbitas no espaco de fase de v
arias
aplicacoes padrao T = T associados ao potencial V (u) = 12 (1
cos 2u).
No conjunto das oito figuras antes da Figura 1.5 mostramos o
espaco de fase de v
arias orbitas para T quando = 0. Note a semelhanca deste caso com o bilhar no crculo do Exemplo 1.1, Captulo 3.
As figuras do meio das oito correspondem a valores nao muito
grandes nem muito pequenos de .
Au
ltima figura do primeiro conjunto mostra o espaco de fase de
T para o valor que fica localizado um pouco antes da destruicao da
u
ltima curva KAM. Esta curva tem n
umero de rotacao l = a raz
ao
aurea.
Um fato relevante a ser destacado e que a medida que aumentamos mais e mais as g associadas a l Diofantinos v
ao deixando
de ser contnuas. Este fenomeno e conhecido como a destruicao das
curvas invariantes em teoria KAM. A medida que estas curvas v
ao
sendo destruidas, aparecem conjuntos ralostipo Cantor e tambem
regi
oes bidimensionais invariantes (ver Figura 3.32). As regi
oes bidimensionais ocupam uma parte cada vez maior de [0, 1] [0, 1] ate que
finalmente para valores muito grandes de elas parecem ocupar todo
o [0, 1] [0, 1] (ver u
ltima figura do conjunto dos primeiros oito).
i
i
78
mecNew
2011/10/11
page 78
i
Figura 3.3:
i
i
mecNew
2011/10/11
page 79
i
79
muito grande. Este fato n
ao poderia ser percebido pela resoluca
o do
computador que gerou tais figuras. Tal situaca
o que parece ins
olita,
de fato corre com alguns par
ametros da aplicaca
o padr
ao(ver [Du]).
As figuras obtidas de simulaco
es no computador podem ser de
grande valia no entendimento da riqueza de fen
omenos que aparecem
num sistema mec
anico. Note que a Figura 1.8 parece descrever a existencia de pontos elpticos. Elas por si s
o, no entanto, n
ao asseguram
a veracidade matem
atica do fen
omeno que parecem descrever.
Conclus
ao: Considere um potencial V analtico. Para um valor
pequeno de , nao existem mais curvas invariantes para T com l racional. Elas s
ao destruidas e dao lugar a orbitas peri
odicas. N
ao
existem tambem curvas com l irracional nao Diofantino. Subsistem
varias curvas KAM com l Diofantino, mas a medida que aumentamos , mais e mais destas curvas v
ao sendo destruidas, dando raz
ao
ao aparecimento de conjuntos fractais (muito pequenos, quase imperceptiveis) e a regi
oes bidimensionais invariantes. Quando uma
curva KAM e destruida, aparece em geral uma sequencia alternada
de pontos peri
odicos elpticos e hiperbolicos (ver u
ltima figura do segundo conjunto). Aparecem assim pontos hipeb
olicos que geram assim um conjunto tipo ferradura (ver [R02] [Ka ][PM]). A secao 6.3 em
[DL] descreve este fenomeno. Entremeado neste conjunto, aparecem
ilhas elpticas. Estas ilhas elpticas em torno dos pontos elipticos, por sua vez, possuem curvas invariantes e cada um desta curvas
tem n
umero de rotacao (ou distancia media at
omica) l em torno de
cada ponto elptico. Estas curvas, por sua vez, se tem numero de
rotacao l (em torno do ponto elptico) racional ou nao Diofantino,
logo s
ao destruidas ao aumentar o par
ametro . Restam as curvas (em torno deste ponto elptico) com l Diofantino, as quais v
ao
sendo destruidas a medida que o parametro aumenta criando novas
sequencias de pontos hiperbolicos e elpticos e assim por diante. Para
valores de muito grande, aparentemente, s
o existe uma regi
ao bidimensional invariante, ou seja a probabilidade uniforme P e ergodico
para T . Dizemos aparentemente, por causa da Observacao 3.5 acima.
Existe uma conjectura que diz que para valores grandes, o conjunto de tais que determinam T = T nao erg
odica, e muito pequeno
em termos da medida uniforme em R (ver [Du] para maiores consideracoes a respeito do assunto). Este resultado implicaria ent
ao que
i
i
80
mecNew
2011/10/11
page 80
i
T1
< C 1 .
y
(3.18)
Tal T preserva a
rea (ou seja, preserva dxdy.
Para aplicacoes do tipo acima podemos considerar o problema
analogo: determinar as qi onde T (q0 , p0 ) = (qi , p1 ) tais que se q0 ,
q1 , q2 , ..., qn s
ao sucessivas iteradas na variavel q de uma orbita
T j (q0 , p0 ) ent
ao para q0 , qn fixos a funcao
A(x1 , x2 , ..., xn1 ) =
= S(q0 , x1 ) + S(x1 , x2 ) + ... + S(xn2 , xn1 ) + S(xn1 , qn ),
A : E n1 R tem (q1 , q2 , ..., qn1 ) como ponto crtico (ou mnimo),
etc....
facil ver que a aplicacao T definida por (3.3) gira para a direita
E
1
e obtida atraves de uma funcao geradora
pois T
u = V (u) > 0 e
S(q, Q).
Exemplo 3.3. (Bilhares convexos) Considere como na seca
o anterior a aca
o S(ui , ui+1 ) = |ui ui+1 |, ou seja a dist
ancia entre o ponto
i
i
mecNew
2011/10/11
page 81
i
81
u
o total de n a m como a soma
Pi me ui+1 no bordo do bilhar, e a aca
S(u
,
u
).
As
trajet
o
rias
do
bilhar
determinam configuraco
es
i
i+1
i=n
crticas para a aca
o total. A aplicaca
o T que determinamos para o
bilhar convexo e portanto an
aloga a T que estamos considerando na
presente seca
o.
O difeomorfismo T do bilhar convexo e a aplicaca
o induzida pelo
primeiro retorno ao bordo do bilhar convexo. A aplicaca
o T preserva
f
a
rea como vimos na Proposica
o 17, Captulo 3 [L]. E
acil mostrar que
tal T satisfaz (3.18) (ver [LC] e [CRZ] para prova). Logo, utilizando a
S acima, a transformaca
o T induzida pelas batidas do bilhar no bordo
de um bilhar convexo define uma aplicaca
o que gira para a direita.
Seja T : [0, 1] [0, 1] [0, 1] [0, 1], obtida a partir de uma
funcao geradora S(x, X), dizemos que T (x, y) e do tipo que gira para
a esquerda, se T = (T1 , T2 ), e existe C > 0 tal que
C 1 <
T1
< C.
y
No caso do bilhar do Sinai (ver definicao na secao 1) se considerarmos a acao S(q, Q) = |q Q| obteremos uma funcao T que gira
para esquerda.
Esclarecemos ao leitor que a teoria em que minimizamos
S(q0 , x1 ) + S(x1 , x2 ) + ... + S(xn2 , xn1 ) + S(xn1 , qn )
para aplicacoes que giram para a direitae a mesma teoria em que
maximizamos
S(q0 , x1 ) + S(x1 , x2 ) + ... + S(xn2 , xn1 ) + S(xn1 , qn )
para aplicacoes que giram para a esquerda(ver [LC]).
Note no entanto que a teoria em que minimizamos
S(q0 , x1 ) + S(x1 , x2 ) + ... + S(xn2 , xn1 ) + S(xn1 , qn )
para aplicacoes que giram para a esquerdae diferente a teoria em
que minimizamos
S(q0 , x1 ) + S(x1 , x2 ) + ... + S(xn2 , xn1 ) + S(xn1 , qn )
i
i
82
mecNew
2011/10/11
page 82
i
para aplicacoes que giram para a direita. No primeiro caso estaremos localizando conjuntos pr
oximosde pontos de sela e no segundo
conjuntos pr
oximosde pontos elpticos. Na u
ltima figura do primeiro conjunto de oito vemos uma altern
ancia de pontos elpticos e
pontos hiperbolicos em cada anel. Fixado uma aplicacao T que gira
para a direita minimizarou maximizarS vai determinar que tipo
de conjunto estamos tentando encontrar. As curvas KAM aparecem
apenas no problema em que minimizamos S.
Sendo assim no caso do bilhar do Sinai (ver definicao na secao
1) e mais interessante considerar a acao S(q, Q) = |q Q| obtendo
assim uma funcao T que gira para direita.
Dada uma
orbita peri
odica de um sistema Hamiltoniano, se a
aplicacao de primeiro retorno T tem um ponto fixo elptico, em geral
esta T e localmente uma aplicacao que gira para a direita. Referimos
o leitor para [M2] para uma prova deste fato.
A teoria acima possui uma extensao para lagrangianos peri
odicos
e mais recentemente foi extendida para lagrangianos Autonomos. O
leitor pode encontrar um texto cobrindo tais assuntos em [CI] e [Fat].
Existe tambem uma teoria analoga para transformacoes expansivas e sistemas tipo Anosov (ver [CLT]) em que se considera entre
outras coisas o expoente de Lyapunov.
Sendo assim, esperamos ter convencido ao leitor da importancia
do entendimento din
amico das aplicacoes que giram para a direita. Este entendimento possibilitaria a melhor compreens
ao de v
arios
problemas importantes da Mecanica Cl
assica. Muito trabalho ainda
sera requerido para chegar ao entendimento matematico completo da
din
amica de tais aplicacoes.
Exerccios
1. Mostre que a transformacao T associada ao bilhar, considerada
na Secao 11, e do tipo que gira para a esquerda.
2. Mostre que os n
umeros Diofantinos tem probabilidade total na
reta.
i
i
mecNew
2011/10/11
page 83
i
Captulo 4
Formas Diferenciais em
Variedades
Nesta secao vamos apresentar de maneira resumida as principais propriedades das formas diferenciais em variedades diferenciaveis, que
serao necessarias para o entendimento da proxima secao que analisar
a
o formalismo simpletico. Referimos a [MC1] para o leitor que desejar
uma exposicao mais completa do assunto abordado nesta secao.
O objetivo de considerar formas diferenciais como faremos a seguir, sera apresentar no futuro (ver proxima secao) uma versao da
Mecanica Clssica que seja intrnseca, isto e, que seja definida sem
apelo a coordenadas locais. Lembre que, por exemplo, para definir
o campo Hamiltoniano usamos a estrutura do R2n (necessitamos de
variaveis q e p separadas) de maneira essencial. Muitas vezes em
problemas fsicos concretos, nao e natural supor que o sistema em
consideracao seja um subconjunto do R2n . Isto vai nos conduzir ao
conceito de variedade diferenciavel. Para definir o campo Hamiltoniano necessitaremos tambem do conceito de formas diferenciais.
Dado p Rn , chamaremos de espaco tangente a Rn em p, e
denotaremos Rnp = (T Rn )p , o conjunto de todos os vetores tangentes
v do Rn , cuja origem est
a localizada no ponto p.
83
i
i
84
mecNew
2011/10/11
page 84
i
Este u
ltimo conjunto k (Rnp ) com a operacao de soma de funcoes,
e multiplicacao por escalar definidas de maneira usual, ((f + g)(x) =
f (x) + g(x) e (cf )(x) = cf (x), x Rnp ), e um espaco vetorial.
Exemplo 4.2. Seja dx2 : R3 R a projeca
o na segunda coordenada,
dx2 (y1 , y2 , y3 ) = y2 .
3
Ent
ao, dx2 R3
p , para qualquer p R .
i
i
mecNew
2011/10/11
page 85
i
85
As transformaco
es lineares dxi : Rn R, tal que
dxi (y1 , y2 , ..., yn ) = yi
s
ao transformaco
es (ou funcionais) lineares, que formam uma base
para 1 (Rnp ).
Observa
c
ao 4.1. 1 (Rnp ) = (Rnp ) .
Note que dxi satisfaz dxi (ej ) = i,j , i, j = 1, 2, ..., n, onde i,j = 0
se i 6= j e i,j = 1 se i = j.
Defini
c
ao 4.2. Uma 1-forma ou forma exterior de grau 1 em um
aberto A do Rn , e uma aplicaca
o definida em A Rn tomando
1
n
valores em (Rp ), que associa a cada ponto p A Rn , uma
func
ao linear (p) : Rnp R.
Como dx1 , dx2 , ..., dxn e base do espaco das transformaco
es lineares, (p) poder
a ser escrito como:
(p) = a1 (p)dx1 + a2 (p)dx2 + ... + an (p)dxn .
Se cada ai : A Rn R for diferenciavel p A Rn , diremos
que e uma 1-forma diferenciavel ou forma exterior diferenciavel de
grau 1.
Por abuso de notacao, falaremos de uma forma diferencial em Rn
quando nos referirmos a uma 1-forma diferencial sobre um aberto
A Rn .
Defini
c
ao 4.3. Se 1 , 2 , ..., k , s
ao 1-formas lineares, podemos
obter um elemento
1 2 k
de k (Rnp ), definindo:
(1 2 k )(v1 , v2 , . . . , vk ) = det([i (vj )]).
Segue das propriedades do determinante, que (1 2 k )
facil ver que (1 k ) k (Rnp ).
e k-linear, alternada. E
Em particular (dx1 ) (dxk ) (Rnp ). Denotaremos (dx1 )
(dxk ) por (dx1 dxk ).
i
i
86
mecNew
2011/10/11
page 86
i
Proposi
c
ao 4.1. O conjunto {(dxi1 dxi2 dxik )}, i1 < i2 <
< ik , onde ij {1, 2, . . . , n}, forma uma base para k (Rnp ).
Demonstra
c
ao: Primeiramente veremos que os elementos deste
conjunto s
ao linearmente independentes. Suponha que
X
ai1 ik dxi1 dxik = 0.
i1 <<ik
Considere fixado j1 < ... < jk , ji {1, 2, . . . , n}, tal que o correspondente aj1 jk nao seja nulo. Ent
ao para qualquer k-upla de ndices
i1 < ... < ik , dxi1 dxik aplicado a (ej1 , . . . , ejk ) resulta ser
= det
dxi1 (ej2 )
..
.
..
.
dxik (ej1 )
dxik (ej2 )
Lembramos que
dxi (ej ) =
0, se i 6= j
1, se i = j
.
dxik (ejk )
dxi1 (ejk )
..
.
i1 <<ik
P
onde o
significa que evitamos (i1 , ..., ik ) = (j1 , . . . jk ) no somatorio
acima.
Note agora que se (i1 , i2 , , ik ) e diferente de (j1 , ..., jk ) ent
ao
(dxi1 dxik )(ej1 , . . . , ejk ) = 0.
Logo,
X
i1 <<ik
i
i
mecNew
2011/10/11
page 87
i
87
Obtivemos portanto uma contradicao.
Logo o conjunto {(dxi1 dxi2 dxik )p }, i1 < i2 < < ik ,
onde ij {1, 2, . . . , n}, e linearmente independente em k (Rnp ).
ao f e uma combinacao
Mostraremos agora que se f k (Rnp ), ent
linear da forma:
X
f=
ai1 ik dxi1 dxik .
i1 <<ik
Para vermos isto, basta definirmos ai1 ik = f (ei1 , . . . , eik ) (lembramos que f e k-linear alternada).
Defini
c
ao 4.4. Uma k-forma (ou forma exterior de grau k) em um
aberto A, A Rn (k 1) e uma aplicaca
o que a cada p A Rn
k
n
associa (p) (Rp ).
Como vimos na u
ltima proposica
o, pode ser escrito como:
X
(p) =
ai1 ik (p)(dxi1 dxik ),
i1 <<ik
i
i
88
mecNew
2011/10/11
page 88
i
(aI + bI )dxI
e a multiplicaca
o de por escalar c R
c =
c aI dxI .
Estas propriedades determinam que o conjunto das k-formas diferenciais em A aberto do Rn e um espaco vetorial.
Defini
c
ao 4.5. Se e uma k-forma e uma s-forma, podemos
definir uma operaca
o chamada produto exterior , obtendo uma
k + s-forma.
Se
X
=
aI dxI , I = (i1 , . . . , ik ) k-forma
I
Por definica
o,
=
X
I,J
aI bJ dxI dxJ ,
i
i
mecNew
2011/10/11
page 89
i
89
Demonstra
c
ao: (a) e (c) s
aP
o conseq
uencias das
P definicoes acima.
Para o item (b), sejam = I aI dxI e = J bJ dxJ , onde I =
(i1 , . . . , ik ) e J = (j1 , . . . , js )
X
=
aI bJ dxi1 dxik dxj1 dxjs =
I,J
X
I,J
X
I,J
Defini
c
ao 4.6. Seja f : A Rn Rm uma funca
o diferenci
avel,
ent
ao a derivada dfp : Rnp Rm
f (p) induz para cada ponto p A uma
k
n
transformaca
o linear fp : k (Rm
f (p) ) (Rp ) do seguinte modo:
k
n
dado w k (Rm
e tal que
f (p) ), f (w) = w1 (Rp )
w1 (v1 , . . . , vk ) = fp ()(v1 , . . . , vk ) = (dfp (v1 ), dfp (v2 ), . . . , dfp (vk )),
onde v1 , v2 , . . . , vk Rnp .
Fazendo p variar em Rn , obtemos uma aplicaca
o f que leva km
formas diferenciais do R em k-formas diferenciais do Rn .
Convenciona-se que f (g) = g f se g e uma 0-forma do Rm .
Enunciaremos a seguir algumas propriedades de f .
Proposi
c
ao 4.3. Se f : A Rn Rm e diferenci
avel ent
ao:
(a) f (1 + 2 ) = f (1 ) + f (2 ), onde 1 e 2 s
ao k-formas.
(b) f (1 2 ) = f (1 ) f (2 ) onde 1 e 2 s
ao 1-formas.
(c) f (g) = f (g)f () onde g e uma 0-forma do Rm e uma
k-forma do Rm .
i
i
90
mecNew
2011/10/11
page 90
i
Demonstra
c
ao:
(a) f (1 + 2 )(p) (v1 , v2 , . . . , vk ) =
= (1 + 2 )(f(p) )(dfp (v1 ), . . . , dfp (vk )) =
= 1 (f(p) )(dfp (v1 , . . . , dfp (vk )) + 2 (f(p) )(dfp (v1 ), . . . , dfp (vk )) =
= f (1 )(p) (v1 , . . . , vk ) + f (2 )(p) (v1 , . . . , vk ).
(b) f (1 2 )(p) (v1 , v2 ) = (1 2 )f (p) (dfp (v1 ), dfp (v2 )) =
(df (v ))
= det 1 f (p) p 1
2 f (p) (dfp (v2 ))
f ( ) (v )
= det 1 (p) 1
f (2 )(p) (v1 )
1 f (p) (dfp (v2 ))
=
2 f (p) (dfp (v2 ))
f (1 )(p) (v2 )
=
f (2 )(p) (v2 )
y1 = f1 (x1 , . . . , xn )
y2 = f2 (x1 , . . . , xn )
..
ym = fm (x1 , . . . , xn ).
P
m
a u
ltima proSeja = I aI dyI uma k-forma
P do R , usando
P
X
I
i
i
mecNew
2011/10/11
page 91
i
91
onde fi e dfi s
ao funcoes de xj ,
dfi =
n
X
fi
dxj ,
x
j
j=1
i
i
92
mecNew
2011/10/11
page 92
i
P
P
Demonstra
c
ao: Sejam = I aI dyI , = I bJ dyJ .
P
Sabemos que: = I,J aI bJ dyI dyJ .
P
(a) f ( ) =
I,J aI (f1 , . . . , fm )bJ (f1 , . . . , fm )dfI dfJ =
f () f ()
P
(b) (f g) () = I aI ((f g)1 , . . . , (f g)m )d(f g)I =
P
= I aI (f1 (g1 , . . . , gn ), . . . , fm (g1 , . . . , gn ))dfI (dg1 , dg2 , . . . , dgn )
= g (f ())
Dada uma 0-forma diferenciavel, ou seja, uma funcao diferenciavel,
podemos obter uma 1-forma, efetuando a operacao de derivacao sobre f . Vamos definir agora uma operacao sobre uma k-forma, a qual
chamaremos de diferencial exterior, que associa esta k-forma a uma
(k + 1)-forma.
P
Defini
c
ao 4.7. Se = I aI dxI e uma k-forma diferencial, a diferencial exterior de ser
a a (k + 1)-forma diferencial definida da
seguinte maneira:
X
d =
daI dxI .
I
Proposi
c
ao 4.5. (a) d(1 + 2 ) = d1 + d2 , 1 e 2 s
ao k-formas.
k
(b) d(1 2 ) = d1 2 + (1) 1 d2 , 1 uma k-forma e 2
e uma s-forma.
(c) d(d) = d2 = 0.
(d) d(f ()) = f (d), onde e uma k-forma em Rm e f : A
n
R Rm e uma aplicaca
o diferenci
avel.
Observa
c
ao 4.3. O item (d) nos diz que esta operaca
o de tomar
derivada independe das coordenadas que usamos para representar .
Demonstra
c
ao:
P
P
(a) Sejam
I aI dxI e 2 =
I bI dxI duas k-formas e
P 1 =
1 + 2 = I (aI + bI )dxI .
P
P
P
d(1 +2 ) = I d(aI +bI )dxI = I daI dxI + I dbI dxI =
d1 + d2
i
i
mecNew
2011/10/11
page 93
i
93
P
P
(b) 1 =
P I aI dxI uma k-forma e 2 = J bJ dxJ uma s-forma,
1 2 = I,J aP
I bJ dxI dxJ
P
d(
)
=
1
2
I,J d(aI bJ ) dxI dxJ =
I,J daI bJ dxI dxJ +
P
a
db
dx
dx
=
J
J
I
J
I,J
P
= d1 2 + (1)k I,J aI dbJ (1)k dxI dxJ = d1 2 +
(1)k 1 d2 .
(c) Demonstraremos este item usando inducao em k.
Primeiramente provaremos a validade da assercao, para 0-formas.
Seja f : A Rn R.
!
!
n
n
X
X
f
f
d(df ) = d
d
dxi =
dxi =
xi
xi
i=1
i=1
=
n
n
X
X
i=1
X
i<j
j=1
2f
dxj dxi
xi xj
X 2f
2f
dxj dxi +
dxj dxi = 0,
xi xj
xi xj
i>j
pois os coeficientes s
ao iguais e dxj dxi = dxi dxj , portanto
d(df ) = 0.
Suponhamos agora, por hip
otese de inducao, que tenhamos
d(d) = 0, para uma k-forma , mostraremos que o mesmo vale para
uma (k + 1)-forma.
Toda a (k +1)-forma pode ser escrita como soma de (k +1)-formas
do tipo dxi . Pelo que provado no item (a), a soma comuta com a
diferenciacao externa, portanto, temos que provar o item (c) apenas
para as (k + 1)-formas do tipo dxi .
d(d( dxi )) = d(d dxi + (1)k d(dxi )), ora xi : Rm R
e uma 0-forma, logo d(dxi )) = 0, sendo assim
d(d( dxi )) = d(d dxi ) = d(d) dxi + (1)k d d(dxi ) = 0,
pois d d() = 0 por hip
otese de inducao, e d(dxi )) = 0 tambem.
(d) Da mesma forma que fizemos no item (c), a demonstracao
sera feita por inducao em k.
Provaremos o resultado inicialmente para uma 0-forma g : Rm R.
i
i
94
f (dg) = f
mecNew
2011/10/11
page 94
i
m
X
g
dyi
yi
i=1
m
n
X
X (g f )
g X fi
dxj =
dxj =
yi j=1 xj
xj
i=1
j
i
i
mecNew
2011/10/11
page 95
i
95
em Rn , e f : A Rn Rn vale que
fx (a(x) dx1 ... dxn ) = a(f (x)) (det Jac f )(x)dx1 ... dxn .
Deste modo se g1 : U1 S e g2 : U2 S forem duas cartas
coordenadas para S, aplicando este resultado para f = g1 (g2 )1 ,
segue da f
ormula de mudanca de vari
aveis que
Z
g1
g1 g1
wg1 (x)
,
, ...,
dx1 dx2 ...dxk =
x1 x2
xk
U1
Z
g2
g2 g2
,
, ...,
dx1 dx2 ...dxk .
wg2 (x)
x1 x2
xk
U2
R
Logo, S w independe da escolha da carta coordenada e e assim
um conceito intrnseco.
Esta propriedade e similar a que foi considerada na Seca
o 10,
Captulo 3 [L], sobre integrais de superfcies.
Exerccio: Mostre que dado f : A Rn A Rn e w k-forma
diferencial, ent
ao f (w) = w, se e somente se, para toda superfcie
S A de dimensao k
Z
Z
w=
f (w).
S
Defini
c
ao 4.9. Uma n-forma diferencial em Rn com a(x) 0 e
chamada uma forma volume sobre Rn .
i
i
96
mecNew
2011/10/11
page 96
i
Figura 4.1:
Note que segue da definicao acima que para uma forma volume
w = a(x)dx1 dx2 ... dxn em Rn , e para um aberto A Rn
Z
Z
w=
a(x)dx1 dx2 ...dxn .
A
i
i
mecNew
2011/10/11
page 97
i
97
Defini
c
ao 4.11. Um conjunto M no qual existe um atlas de dimens
ao n chama-se uma variedade de dimens
ao n. Em outras palavras, M e uma variedade de dimens
ao n se, e somente se, cada ponto
x de M existe f : U Rn carta local com x U .
Usaremos a seguinte notacao: g : V U M e a inversa de
f : U V Rn . Logo V e um aberto em Rn .
Sendo assim, um variedade M de dimensao n pode ser alternativamente definida por um atlas U cartas g : V M , tal que g (V )
cobre todo M e onde para todo , V e aberto de Rn .
Exemplo 4.3. Toda superfcie M Rm de dimens
ao n e uma variedade de dimens
ao n.
Dados os sistemas de coordenadas locais f : U Rm e f :
U Rn no conjunto M , tais que U U 6= , cada ponto p
U U tem coordenadas xi = xi (p) no sistema f e coordenadas
y i = y i (p) relativamente ao sistema f .
A correspondencia
(x1 (p), ..., xn (p)) (y 1 (p), ..., y n (p))
estabelece uma bijecao = f f1 : f (U U ) f (U U )
que e chamada mudanca de coordenadas.
As mudancas de coordenadas s
ao ditas C se elas s
ao de Classe
k
C para todo k N. Todas as variedades, mudancas de coordenadas,
funcoes etc., que consideraremos no texto serao assumidas ser de
classe C .
Defini
c
ao 4.12. Um atlas U de dimens
ao n sobre um conjunto M
diz-se diferenci
avel, de classe C (k 1), se todas as mudancas de
ao aplicaco
es de classe
coordenadas = f f1 , f , f U s
C .
Como = ( )1 , e e diferenciavel segue-se que os
s
ao, de fato, difeomorfismos de classe C (ver Figura 4.1). Em particular, se escrevemos : (x1 , ..., xn ) 7 (y 1 , ..., y n ), ent
ao o determinante jacobiano
!
y i
det
xj
e nao nulo em todo ponto de f (U U ).
i
i
98
mecNew
2011/10/11
page 98
i
Defini
c
ao 4.13. Uma variedade diferenci
avel, de dimens
ao n e classe
C e um par ordenado (M, U) onde M e um conjunto e U e um atlas
de dimens
ao n e classe C sobre M .
Na maioria das vezes vamos omitir o U quando nos referimos a
uma variedade M .
O espaco Rn e naturalmente uma variedade diferenciavel com um
atlas U com uma u
nica carta f : U = Rn Rn , onde f (x) = x.
Defini
c
ao 4.14. Uma variedade orient
avel M e uma variedade diferenci
avel que admite um atlas cobrindo toda a variedade e de tal
jeito que as mudancas de carta coordenadas sempre satisfazem
a propriedade que que
!
y i
det
> 0.
xj
Figura 4.2:
O conjunto de cartas que satisfazem tal propriedade e chamado
de uma orientacao para a variedade. Quando falamos de uma variedade M orient
avel, estamos implicitamente dizendo que fixamos uma
orientacao em M , ou seja que fixamos um atlas como acima.
i
i
mecNew
2011/10/11
page 99
i
99
Exerccio: O espaco Rn com o atlas U, constitudo pelas cartas
f1 (x) = x e f2 (x) = 2x e uma variedade orient
avel.
Exemplo 4.4. O Plano Projetivo P 2 e uma variedade diferenci
avel
de dimens
ao dois como veremos a seguir. O plano projetivo P 2 e o
conjunto das retas r de R3 que passam pela origem (0,0,0) de R3 .
Uma tal reta e determinada por um ponto (x, y, z) 6= (0, 0, 0) de R3 e
os pontos (x, y, z), 6= 0, determinam a mesma reta. Portanto,
P 2 e o espaco quociente de R3 {(0, 0, 0)} pela relaca
o de equivalencia
que identifica (x, y, z) com (x, y, z), 6= 0; os pontos de P 2 , que
s
ao retas r passando pela origem, ser
ao indicados por r = [x, y, z] =
{(x1 , y1 , z1 )| tal que existe 6= 0, tal que (x, y, z) = (x1 , y1 , z1 )}.
Qualquer elemento (x1 , y1 , z1 ) [x, y, z] pode ser tomado como
representante da classe, isto e, [x, y, z] = [x1 , y1 , z1 ].
Definimos em P 2 subconjuntos U1 , U2 , U3 por:
U1 = {[x, y, z]; x 6= 0},
U2 = {[x, y, z]; y 6= 0},
U3 = {[x, y, z]; z 6= 0}
e aplicacoes gi : R2 Ui , i = 1, 2, 3, por:
i
i
100
mecNew
2011/10/11
page 100
i
Au
ltima igualdade segue do fato que dado qualquer reta r, tomando um ponto (x, y, z) sobre ela e supondo (sem perda de generalidade)
que x 6= 0, ent
ao g1 (y/x, z/x) = r
Resta mostrar que fi (Ui Uj ) e aberto em R2 e que f1
fi
j
e a diferenciavel. Demonstraremos este fato para i = 1, j = 2; os
outros casos s
ao inteiramente analogos.
ao da forma (u, v), com u 6= 0, v 6= 0.
Os pontos de f1 (U1 U2 ) s
Portanto f1 (U1 U2 ) e aberto em R2 e
1 v
v
1 1
1
=
f2 f1 (u, v) = f2 [1, u, v] = g2
, 1,
,
u
u
u u
e evidentemente diferenciavel, como queramos.
Logo, P 2 admite um atlas C .
Pode-se mostrar que o plano projetivo nao e uma variedade orient
avel (ver por exemplo [Li3]).
Passaremos agora a estender `as variedades diferenciaveis as nocoes
de C
alculo diferencial que s
ao v
alidas em abertos do Rn .
Superfcies diferenciaveis de dimensao 2 podem ser obtidas via um
processo de colagem a partir de abertos do R2 (ver Figuras 4.2 e 4.3).
Defini
c
ao 4.15. Seja S uma variedade diferenci
avel de dimens
ao n.
Uma funca
o : S R e diferenci
avel em p S se para alguma
parametrizaca
o g : V S, V IRn com p g (V ), tem-se que
g : V R e diferenci
avel no ponto g1 (p).
Diremos que e diferenci
avel em S se e diferenci
avel para todo
p S. A funca
o g e chamada a express
ao de na parametrizaca
o g .
claro que esta definicao independe da parametrizacao, pois se
E
g : V S e outra parametrizacao, com p g (V ) g (V ), ent
ao
g = ( g ) (g1 g ),
e assim g e diferenciavel, se e somente se, g e diferenciavel
(pois e composta de aplicacoes diferenciaveis).
Um caso particular importante da definicao acima e dado a seguir.
Defini
c
ao 4.16. Seja S uma variedade de dimens
ao n. Uma curva
: I = (, ) R S e diferenci
avel em t I se, para alguma
i
i
mecNew
2011/10/11
page 101
i
101
Figura 4.3:
parametrizaca
o g : V S, com (t) g (V ), tem que g1 :
n
I R e diferenci
avel em t.
A curva g1 = f e chamada a express
ao local de na
parametrizaca
o g .
A verificacao de que esta definicao independe da parametrizacao
escolhida e analoga `a anterior.
Gostaramos agora de definir a nocao de vetor tangente a uma
variedade diferenciavel S, e a encontramos a nossa primeira dificuldade. Se a variedade S de dimensao n est
a contida no meio ambiente
Rk , ent
ao dada uma curva x(t) cuja imagem est
a contida em S faz
sentido x(t + t) x(t) Rk . A seguir tomando
x(t + t) x(t) Rk
= v Rk ,
t0
t
lim
i
i
102
mecNew
2011/10/11
page 102
i
=
.
+
u1 t=0
u2 t=0
Desta maneira, a derivada direcional segundo ve um operador
L sobre funcoes diferenciaveis que s
o depende de v. Esta sera a propriedade que tomaremos no caso geral para definir o vetor tangente
a uma curva.
O vetor v est
a associado de maneira u
nica ao e que definem
o operador L = L sobre funcoes tomando valores reais
.
+
L () = L() =
u1 t=0
u2 t=0
Em outra palavras, optamos por determinar o vetor v por sua
acao sobre funcoes diferenciaveis em vez de tomar o objeto geometrico
v Rk .
Note que o operador acima depende de e e nao da expressao
escolhida para (lembre que v
arias possveis curvas tem a mesma
tangente v = (, )).
i
i
mecNew
2011/10/11
page 103
i
103
Um vetor tangente sera considerado a seguir como um destes operadores L : Dp R obtidos a partir de um , agindo sobre Dp , o
conjunto das funcoes diferenciaveis em p.
Defini
c
ao 4.17. Seja : I S uma curva diferenci
avel em uma
variedade diferenci
avel S de dimens
ao n com (0) = p, e seja Dp
o conjunto das funco
es : S R, diferenci
aveis em p. O vetor
tangente a curva no ponto p e a funca
o real L = L : Dp R tal
que para cada Dp ,
d
L() = ( ) .
dt
t=0
Um vetor tangente em p S e o vetor tangente de uma curva diferenci
avel : I S, com (0) = p.
ui
i
i
104
mecNew
2011/10/11
page 104
i
Para mostrar que a nocao acima L = L possui as propriedades usuais dos vetores tangentes, considere uma parametrizacao
g : V S, com
g (0, 0, ..., 0) = p.
Seja uma funcao diferenciavel em uma vizinhanca de p e suponhamos que g se escreva como (u1 , u2 , ..., un ). Ent
ao e claro
que
d(u1 (t), u2 (t), ..., un (t))
=
(0)() =
dt
t=0
= 1
()
+ ... + n
u1 0
un 0
onde i = ui (0). Decorre da que
(0) = 1
+ ... + n
u1 0
un 0
onde
ui
, i {1, ..., n}
s
ao os vetores tangentes em p respectivamente `as curvas
ui (0, ..., ui , ..., 0).
Seja T o espaco vetorial gerado por
, i {1, 2, ..., n}
ui 0
onde as operacoes s
ao definidas como operacoes sobre funcoes.
Em resumo, como nao podemos falar do vetor tangente da maneira usual para superfcies, estamos substituindo o vetor tangente
pela sua acao sobre funcoes diferenciaveis.
Lema 4.1. O conjunto Tp (S) dos vetores tangentes v = L a S em
p S coincide com T . O vetor (1 , ..., n ) Rn definido como
acima, e chamado de express
ao local do vetor v segundo a carta g .
A aplicaca
o que leva (1 , ..., n ) em v e um isomorfismo de espacos
vetoriais.
i
i
mecNew
2011/10/11
page 105
i
105
Demonstra
c
ao: Pelo que acabamos de ver Tp (S) T . Reciprocamente, se v T , ent
ao existem 1 , ..., n R tal que
v = 1
+ ... + n
.
u1 0
un 0
Seja : I S uma curva, cuja expressao nas coordenadas
(u1 , u2 , ..., un ) da parametrizacao g e u1 (t) = i t,... un = n t.
Ent
ao
+ ... + n
,
L = (0) = 1
u1 0
un 0
isto e, v Tp (S).
Decorre da que a soma de elementos L de Tp (S), definida como
soma de funcoes, e ainda um elemento de Tp (S) e o mesmo se passa
imediato verificar que, com
com o produto por um n
umero real. E
estas operacoes, Tp (S) e um espaco vetorial. Alem disso,
, ...,
u1 0
un 0
s
ao vetores linearmente independentes que geram Tp (S). Portanto
Tp (S) tem dimensao n e e chamado o plano tangente de S em p.
A base
u1
, ...,
0
un
0
i
i
106
mecNew
2011/10/11
page 106
i
L = u 1
+ ... + u n
,
u1 0
un 0
determina cartas coordenadas de R2n em T S. Estas cartas, e facil
ver, determinam em T S uma estrutura de variedade diferenciavel.
Um campo de vetores G numa variedade M de dimensao n e uma
escolha de um vetor v(p) = G(p) Tp M para todo p M . O campo
de vetores e diferenciavel se para alguma (todas) carta coordenada
f = g1 tal que p U , a expressao local de G(p) em Rn (ver Lema
4.1), atraves da carta coordenada f , em coordenadas locais em Rn
define um campo de vetores diferenciavel em Rn .
Uma curva (t) em M e uma solucao da equacao diferencial associada ao campo de vetores G, com condicao inicial p0 no tempo t0 , se
(t) = G((t)) e (t0 ) = p0 . Passando para cartas locais f , a existencia e unicidade de solucoes de campos de vetores diferenciaveis G
em variedades segue de imediato do Teorema 10.8 [DL] de existencia
e unicidade. A solucao (t) em M e obtida atraves da carta coordenada f e da solucao da equacao diferencial de primeira ordem em
f (U ) Rn . Para valores grandes de t (muito maiores que t0 ) a
solucao pode sair fora de uma carta coordenada. A solucao (t), neste
caso, e obtida pela expressao em cada carta local e coladapedaco
a pedaco em M .
Defini
c
ao 4.19. Seja uma aplicaca
o h : S1 S2 e p S1 . Dizse que h e diferenci
avel em p, se existem sistemas de coordenadas
g1 : V1 S1 e g2 : V2 S2 com p g1 (V1 ) e h(p) g2 (V2 ),
o h diz-se
avel em g11 (p). A aplicaca
tais que g21 h g1 e diferenci
diferenci
avel em S1 se for diferenci
avel em p para todo p S1 .
De uma maneira analoga ao que consideramos nas definicoes anteriores, verifica-se que a definicao acima nao depende dos sistemas
de coordenadas escolhidas.
Defini
c
ao 4.20. Um difeomorfismo h : S1 S2 e uma aplicaca
o
bijetiva de S1 sobre S2 , tal que h e sua inversa h1 : S2 S1 s
ao
diferenci
aveis.
i
i
mecNew
2011/10/11
page 107
i
107
Defini
c
ao 4.21. A derivada de uma aplicaca
o diferenci
avel h : S1
S2 em p S1 e a aplicaca
o dhp : Tp S1 Th(p) S2 que a cada operador
= dhp (v)
v = L Tp S1 (agindo em Dp ) associa o operador v = L
Th(p) S2 (agindo em Dh(p) ), da seguinte maneira: se L = L = (0)
, para alguma curva : I S1 com (0) = p, ent
ao dhp (v) =
(h ) (0) = L = Lh . E f
acil ver que dhp independe da curva
e que e uma aplicaca
o linear. Vamos denotar a derivada de h
por dh : T S1 T S2 , repetindo o processo acima em cada ponto
p S1 , onde T S1 (respectivamente T S2 ) denota o fibrado tangente a
S1 (respectivamente S2 ).
Observa
c
ao 4.5. Com a noca
o de diferencial, podemos obter a seguinte interpretaca
o da base de Tp (S), associada a uma parametrizaca
o g : V S. Suponhamos que g (q) = p, q = (0, 0, ..., 0),
e sejam {e1 , ..., en } os vetores da base canonica de Rn (e que est
ao
associados aos operadores
,
ui
i {1, 2, ..., n}). Ent
ao
d
g (0, ..., ui , ..., 0)
)p ,
=(
dgq (ei ) =
dui
ui
ui =0
formam um base de Tp S, se variamos i {1, 2, ..., n}.
Mais precisamente, para i {1, 2, ..., n} fixo e para cada Dp
d
() =
g (0, ..., ui , ..., 0)
ui p
dui
ui =0
e um elemento da base de Tp S.
Convem estendermos a definica
o de variedade, dada anteriormente, de modo a incluir as variedades com bordo. A definica
o
acima apresentada de variedade diferenci
avel n
ao inclui, por exemplo, o conjunto M (o cilindro com bordo) dado por
M = {(x, y, z) R3 ; 1 = x2 + y 2 , 1 z0 0},
pois a interseca
o V M de qualquer vizinhanca V em R3 de um ponto
p = (x, y, z0 ) do bordode M com M n
ao e sequer homeomorfa a
um aberto de R2 .
i
i
108
mecNew
2011/10/11
page 108
i
por
Defini
c
ao 4.22. Uma variedade diferenci
avel (de dimens
ao n) com
bordo regular e um conjunto M e um atlas de aplicaco
es g : V
H n M de V H n tomando valores em M tais que:
1)
[
g (V ) = M
i
i
mecNew
2011/10/11
page 109
i
109
Figura 4.4:
i
i
110
mecNew
2011/10/11
page 110
i
x1 6= 0.
Seja W = g1 (V1 ) g2 (V2 ); aplicacao
g11 g2 : g21 (W ) g11 (W )
e um difeomorfismo. Como q2 e da forma (x1 , ..., xn ) com x1 6= 0,
existe uma vizinhanca U de q2 , V g21 (W ) que nao intercepta o
eixo x1 .
Restringindo g11 g2 a U , teremos uma aplicacao diferenciavel
g11 g2 : U H n
com jacobiano nao nulo em q2 U . Pelo teorema da funcao inversa
(ver [Li1]), g11 g2 leva uma vizinhanca V U de q2 em Rn difeomorficamente sobre uma vizinhanca g11 g2 (V ) g11 g2 (U ) de q1
em Rn ; mas ent
ao, g11 g2 (V ) conteria pontos de forma (x1 , ..., xn )
com x1 > 0, o que contradiz o fato de g11 g2 (V ) g11 (S). Portanto
a hip
otese de que q2 e da forma (x1 , ..., xn ) com x1 6= 0 leva a uma
contradicao.
O conjunto dos pontos de bordo de M que e, portanto, bem determinado, e chamado o bordo de M e indicado por M . Se M = , a
Definicao 4.19 coincide com a Definicao 4.13 de variedade diferencial.
Proposi
c
ao 4.7. O bordo M de uma variedade diferenci
avel de
dimens
ao n com bordo e uma variedade diferenci
avel de dimens
ao
n 1.
Demonstra
c
ao: Seja p M um ponto do bordo de M e g :
V M um sistema de coordenadas em torno de p, i.e., V H n e
aberto, g e biunvoca e g (q) = p, onde q = (0, x2 , ..., xn ) U .
Seja Z = V {(x1 , x2 , ..., xn1 , xn ) Rn ; x1 = 0}. Identificando
{(x1 , x2 , ..., xn ) Rn ; x1 = 0}
com Rn1 , Z e um conjunto aberto de Rn1 .
Se denotarmos por g a restricao de g a Z , ent
ao pela Pro facil ver que a famlia {(Z , g )} e
posicao 4.6, g (Z ) M . E
uma estrutura diferenciavel em M . A definicao de orientacao e
apresentada na Definicao 4.14.
i
i
mecNew
2011/10/11
page 111
i
111
Proposi
c
ao 4.8. Seja M uma variedade com bordo M . Se M e
orient
avel, uma orientaca
o de M induz uma orientaca
o em M .
Demonstra
c
ao: Fixemos uma orientacao em M , isto e, escolhamos uma famlia g : V M de sistemas de coordenadas tal que
{g (V )} cobre M , e se g (V ) g (U ) 6= ent
ao a mudanca de
coordenadas tem jacobiano positivo. Consideremos a famlia dos V
tal que g (V ) M 6= . Como vimos na proposicao anterior, a
famlia {(Z , g )} e uma estrutura diferenciavel em M .
Basta ent
ao mostrar que se g e g s
ao dois sistemas de coordenadas tais que g (Z ) g (Z ) 6= , a mudanca de coordenadas
u
2 = u2 (u2 , ..., un )
..
.
u
n = un (u2 , ..., un )
satisfaz a condicao
(u
2 , ..., un )
(u2 , ..., un )
> 0.
0 = u
2 (0, u2 , ..., un )
u
2 = u2 (u2 , ..., un )
..
.
u
n = un (0, u2 , ..., un ),
e portanto
(u
1 ...un )
(u1 ...un )
u
1
u1
Alem disso,
(0, u2 , ..., u2 )
u
1
u1
(0, u2 , ..., un ) =
(u
2 , ..., un )
(u2 , ..., un )
i
i
112
mecNew
2011/10/11
page 112
i
pois u
1 = 0 em (0, u2 , ..., un ) e torna-se negativo com u1 . Portanto
(u
2 , ..., un )
(u2 , ..., un )
> 0.
e os aI (x1 , x2 , ..., xn ) s
ao diferenci
aveis em (x1 , x2 , ..., xn ).
Denotamos k (V ) o conjunto das k-formas diferenci
aveis em V .
As definicoes introduzidas anteriormente para formas diferenciais
em Rn se estendem de maneira analoga para formas diferenciais em
variedades V .
Por exemplo, a derivada dw de w k (V ) e uma (k + 1)-forma
diferenciavel dw k+1 (V ) tal que em coordenadas locais e igual a
derivada de w (em coordenadas locais). Em geral qualquer conceito
que seja local, como derivada, etc. definido em Rn vai se extender
para uma variedade diferenciavel V de maneira semelhante `a maneira
acima utilizada.
i
i
mecNew
2011/10/11
page 113
i
113
Seja M variedade de dimensao n e N variedade de dimensao r,
dada uma aplicacao f : M N , e uma k-forma diferencial w
k (N ), f (w) k (M ) e obtida atraves da expressao local de f e
usando a definicao anterior para fp : n (Rr ) k (Rn ). Portanto,
f (k (N )) k (M ).
Figura 4.5:
Ainda, se w1 k (V ) e uma k-forma e w2 j (V ) e uma jforma, a (k + j)-forma w1 w2 k+j (V ) e por definicao dada localmente pelo produto exterior destas duas formas em cartas locais. Todos estes conceitos est
ao bem definidos. A forma w1 w2 k+j (V )
e chamada de produto exterior de w1 e w2 .
Vamos considerar a partir de agora que o leitor est
a familiarizado
com as analogas definicoes de formas diferenciais sobre Rn para as
variedades diferenciaveis M .
Lembre que o suporte de uma k-forma w (respectivamente, uma
funcao ) e o conjunto dos pontos q tal que wq (respectivamente )
nao e nula.
Uma subvariedade A contida na variedade V , e uma variedade tal
que seu conjunto de pontos x A est
a contido em V e a aplicacao de
inclusao i : A V e diferenci
vel (como aplicacao entre variedades).
Exigimos ainda que a aplica cao i tenha derivada injetiva me todos
os pontos.
i
i
114
mecNew
2011/10/11
page 114
i
Seja V variedade de dimensao n. Para definir integral de uma kforma w k (V ) sobre uma sub-variedade A de dimensao r contida
na variedade V (ver Definicao 4.33), necessitaremos de algum cuidado
especial (integrar nao e um conceito local como derivar). Em primeiro
lugar, se a forma w que desejamos integrar tem suporte no domnio U
de uma carta coordenada f : U V Rn , ent
ao a sub-variedade
A, em cordenadas locais x Rn , vai resultar numa superfcie de
dimensao k em Rn .
A integral de w em A e neste caso a integral da forma w em A
(superfcie n-dimensional) nas coordenadas locais (x1 , x2 , ..., xn ) em
Rn (ver Definicao 4.8). N
ao e difcil ver que tal conceito est
a bem
definido.
O problema e como definir integral no caso em que o suporte
da forma w nao cabe inteiramente dentro do domnio de uma carta
coordenada.
Defini
c
ao 4.25. Seja M variedade diferenci
avel, um conjunto coordenadas locais fi : Ui M Rn , i N. Considere um conjunto
de funco
es diferenci
aveis 0 i , i N definidas em M tomando vaP
lores em R tal que i=1 i (x) = 1 e tal que o suporte de cada i (q)
esta contido em Ui . Vamos supor ainda que em cada carta Ui apenas um n
umero finito das j s
ao n
ao nulas. Tal conjunto de funco
es
i , i N e chamada de uma partica
o da unidade para M .
Pode-se mostrar (ver por exemplo [MC1]) que dada uma variedade
diferenciavel M sempre existe uma particao da unidade para M .
A partir de uma particao da unidade podemos definir a integral
de uma k-forma w como veremos em breve.
Referimos o leitor a [Li4] para referencias sobre produto interno
e formas quadr
aticas.
Defini
c
ao 4.26. Uma estrutura Riemanniana em uma variedade diferenci
avel M de dimens
ao n e uma escolha de uma forma quadr
atica
W (v), v T Mq , q M definida positiva em cada plano tangente
T Mq . Vamos tambem exigir que tal forma quadr
atica W quando expressa em coordenadas locais g : V M Rm seja tal que os
coeficientes aij (x1 , ..., xn ) de
n
X
i,j=1
i
i
mecNew
2011/10/11
page 115
i
115
sejam diferenci
aveis em (x1 , ..., xn ) g (V ).
Acima, vi , i {1, 2, ..., n} denota as componentes do vetor tangente v nas coordenadas x = (x1 , ..., xn ).
M munida de tal estrutura e denominada variedade Riemanniana.
Uma forma quadr
atica W est
a sempre associada de maneira u
nica
a um produto interno < , >=< u, v >, u, v em T Mq tal que vale
W (v) =< v, v >, v T Mq . Reciprocamente, podemos definir <
u, v >, u, v T Mq a partir de W por < u, v >= 12 (W (u + v)
W (u) W (v)).
Denotaremos a variedade diferenciavel M com tal estrutura Riemanniana por (M, < , > ).
Note que cada carta local g determina uma metrica Riemanniana
n
X
i,j=1
em um aberto no Rn no sentido anteriormente considerado (ver Definicao 1, Secao 2 e Definicao 20, Secao 7 do Captulo 2.)
Proposi
c
ao 4.9. Toda variedade diferenci
avel admite uma metrica
Riemanniana.
Demonstra
c
ao: Sejam fi : Ui Rn coordenadas locais e i : M R
funcoes diferenciaveis que determinam uma particao da unidade.
Se v e vetor tangente a M no ponto p e se p Ui , denotaremos
vi1 , ..., vin as coordenadas de v segundo fi .
a
Seja Wi (v) = vi21 + ... + vi2n se v Ui e Wi (v) = 0 se v nao est
em Ui .
P
Ent
ao W =
Wi e uma metrica Riemanniana em M . Para
provar isto, basta lembrar que a soma anterior e localmente finita.
O comprimento de uma curva (t), t [a, b] contida em M e
obtida considerando v
arias cartas fi : Ui Rn , i {1, ..., s} de tal
modo que o traco da curva esteja contido em si Ui , pois [a, b] e
compacto (ver Definicao 4.32, Captulo 3). A seguir, dividimos [a, b]
em intervalos [a, a1 ], [a1 , a2 ], [a2 , a3 ], ..., [as1 , b] que definem uma
particao de [a, b] de tal modo que [ai , ai+1 ] Ui . Podemos calcular
o comprimento de [ai , ai+1 ] passando a uma carta local fi : Ui Rn
i
i
116
mecNew
2011/10/11
page 116
i
i
i
mecNew
2011/10/11
page 117
i
117
Uma cobertura de um espaco metrico M e uma colecao de abertos
Ai contidos em M (onde i varia num conjunto qualquer de ndices)
tal que M i Ai .
Defini
c
ao 4.32. Um espaco metrico M e dito compacto se toda cobertura por abertos admite uma subcobertura finita.
Exemplo 4.6. Para uma superfcies S de dimens
ao k em Rn , sempre
podemos considerar a metrica induzida pelo Rn , ou seja d(x, y) = kx
possvel mostrar que toda
yk, x, y S define uma metrica em Rn . E
superfcie S que e fechada no espaco Rn e que seja tambem limitada
(isto e, existe K R tal que x, y S, d(x, y) K) e compacta
com relaca
o a tal metrica. Logo, neste caso, e possvel selecionar
a partir de um atlas qualquer de S, um novo atlas com apenas um
n
umero finito de cartas coordenadas. Isto porque, o domnio U de
cada carta coordenada de um atlas e um aberto de S e S e compacta.
Dada uma variedade diferenci
avel M com uma estrutura Riemanniana, vamos mostrar que sempre e possvel obter uma metrica (no
sentido da Definica
o 4.24) a partir da metrica Riemanniana.
Exemplo 4.7. Considere (M, < , >) variedade Riemanniana. Existe uma dist
ancia natural d = d< , > em M associada a
` estrutura
Riemanniana < , >, definida para (x, y) M por
d(x, y) = inf{kk | [a, b] M,
e curva em M ligando (a) = x a (b) = y}.
possvel mostrar que tal d define realmente uma metrica em M
E
(ver [MC1] [Li3]).
Vamos supor a partir deste momento pelo resto do texto que a
variedade M que vamos considerar esteja equipada com uma metrica
Riemanniana < , > e com a distancia d = d< , > associada `a estrutura
Riemanniana < , > do Exemplo 4.7.
Sempre se pode equipar uma variedade M com uma estrutura
Riemanniana como vimos na Proposicao 4.9 acima.
Quando falarmos de um aberto em M variedade Riemanniana,
estaremos nos referindo `a Definicao 4.28 e usando a distancia d acima
descrita.
i
i
118
mecNew
2011/10/11
page 118
i
g (x)k}x(a,b) , onde f , g F .
A distancia do Exemplo 4.9 foi anteriormente considerada na
Secao 2, Captulo 2.
i
i
mecNew
2011/10/11
page 119
i
119
Figura 4.6:
Defini
c
ao 4.34. Dizemos que um conjunto B contido em um espaco
metrico M e denso em (M, d), se para todo x M e > 0, existe
y B tal que d(x, y) .
A definicao acima generaliza a Definicao 13, Captulo 1 e e a
Definicao 6, Captulo 3.
Muitas das propriedades interessantes de um sistema mec
anico,
embora nao acontecam para todos os possveis sistemas, s
ao no entanto verdadeiras para sistemas que est
ao num subconjunto denso
B de tais sistemas (ver por exemplo no fim da Secao 7, Captulo 1,
Exemplo 13, Captulo 1, consideracoes apos Definicao 13, Captulo 1
e consideracoes antes do Teorema 5, Captulo 3).
Apos as consideracoes anteriores, estamos agora prontos para definir a integral de uma forma diferencial numa variedade diferenciavel.
Defini
c
ao 4.35. Dada uma k-forma diferenci
avel w k (V ) na
variedade Riemanniana diferenci
avel V de dimens
ao r e uma partica
o
da unidade i , i N para V , a integral da k-forma w em uma subvariedade diferenci
avel compacta A, A V de dimens
ao k (k r) e
i
i
120
mecNew
2011/10/11
page 120
i
dada por
Z
w=
Z
X
i=1
i (q)wq .
G1
G2
G3
i
i
mecNew
2011/10/11
page 121
i
121
Referimos o leitor a [MC1] para uma demonstracao do teorema
acima.
Vamos considerar agora um exemplo de variedade diferenciavel
(que vai ser importante para o que segue) obtida a partir de outra
variedade diferenciavel M . Vamos definir agora o fibrado cotangente
a variedade M .
`
Defini
c
ao 4.36. Para cada q M fixado, T Mq e o espaco vetorial
tangente a M em q. Considere T Mq o conjunto das transformaco
es
lineares de T Mq em R. O conjunto T M e por definica
o o conjunto
q T Mq . Este conjunto ser
a denominado fibrado cotangente a
` variedade M .
Vamos assumir que M possua uma estrutura Riemanniana < , >.
Vamos agora equipar T M com um atlas diferenciavel a partir de um
atlas diferenciavel de M .
facil ver que para cada
Dado q M considere < , >q =< , >. E
q fixo e l T Mq , existe um u
nico = l T Mq tal que para todo
z T Mq , l(z) =< , z >.
Fica assim definida uma aplicacao que leva l em l e que estabelece
um isomorfismo de T Mq em T Mq .
Como estamos supondo que M possui uma estrutura Riemanniana < , >, se f : U M Rn e carta coordenada local, ent
ao
X : xV T Mx R2n dado por X (q, l) = (f (q), dfq (l )) define
carta coordenada local.
possvel mostrar (ver [Li3]) que variando as possveis cartas
E
locais f , as correspondentes cartas X assim obtidas definem uma
atlas diferenciavel para T M .
Chama-se de fibra tangente sobre q o conjunto dos v T Mq .
Considere M variedade de dimensao n. Fixada uma carta f :
U Rn de M , tal que f (x) = q, x U M, q = (q1 , q2 , ..., qn )
Rn , e i {1, 2, ..., n} considere a aplicacao projecao i , tal que
i (q, p) = qi .
Fica assim definida a transformacao linear dqi : T Mq R diferencial de tal i . Estas transfromacoes dqi formam uma base do
conjunto das transformacoes lineares de T Mq em R. Sendo assim,
dada uma transformacao linear p : T Mq R e usual denotar tal p
em coordenadas locais q = f (x) como p = p1 dq1 + ... + pn dqn .
Chama-se de fibra cotangente sobre q o conjunto dos p T Mq .
i
i
122
mecNew
2011/10/11
page 122
i
Exerccios
1. Mostre que a esfera x2 + y 2 + y 2 = 1 em R3 admite um atlas
C que a torna uma variedade orient
avel.
2. Mostre que o conjunto dos planos passando pela origem em R3
possui uma estrutura de variedade diferenciavel.
3. Calcule dF para a transformacao F : S S, onde S e a esfera
de centro (0,0,0) e raio 1 em R3 e F (x, y, z) = (x, y, z).
4. Calcule a integral da 2-forma diferencial w = x1 dx1 dx2 +
x2 dx2 dx3 + x3 dx3 dx4 em (R4 ) sobre a superfcie de dimensao 2 dada por x21 + x22 + x23 + x24 = 1 e x1 = 0.1.
5. Calcule a integral de dp1 dq1 + dp2 dq2 sobre a superfcie de
dimensao dois q12 +q22 +p21 +p22 = 1 e q1 = 0.1 em (q1 , q2 , p1 , p2 )
R4 .
i
i
mecNew
2011/10/11
page 123
i
Captulo 5
Formalismo Simpl
etico
Nosso objetivo nesta secao e apresentar a equacao de Hamilton de
maneira intrnseca, ou seja de uma maneira que seja independente
de coordenadas locais. Usaremos para isto o formalismo das formas
diferenciais. Vamos considerar nesta secao sistemas autonomos. Os
sistemas nao autonomos serao analisados na proxima secao.
Na Mecanica Hamiltoniana as variaveis posicao e momento s
ao
independentes (na Mecanica Lagrangeana a posicao e a velocidade
nao s
ao independentes). Este ponto de vista e desejavel na Mecanica
Qu
antica [ABC].
Em primeiro lugar vamos considerar o espaco dual de Rn . Lembre
que este espaco, denotado por Rn , e por definicao o espaco das
transformacoes lineares l : Rn R (ver Definicao 4.36).
Para cada ponto q do Rn considere Rnq o espaco tangente a Rn
em q e Rn
co cotangente em q.
q o espa
Uma base de Rn
e dada por dq1 , dq2 , ..., dqn .
q
e chamado
O conjunto dos elementos (q, l) onde q Rn e l Rn
q
de fibrado cotangente e e denotado por T Rn = q Rn
q .
Note que Rn = T Rn e uma variedade de dimensao 2n.
Nesta secao vamos introduzir o estudo de sistemas Hamiltonianos em variedades no caso em que o Hamiltoniano nao dependa do
tempo t.
Na proxima secao vamos considerar o caso nao autonomo.
123
i
i
124
mecNew
2011/10/11
page 124
i
H
p
p =
H
,
q
(5.1)
(q, p) R2n , usa explicitamente a estrutura do R2n , em que dividimos algumas coordenadas como p e outras como q. Caso tenhamos a
intencao de definir um Hamiltoniano e as equacoes de Hamilton (em
sistemas mec
anicos em que o espco de configuracao e uma variedade
diferenciavel M ) de uma maneira analoga a (5.1), e necessario expressar tais equacoes de uma maneira independente da estrutura do
R2n .
Para este fim sera natural introduzir formas diferenciais para expressar as equacoes de (5.1).
Considere
0
E
J=
E 0
i
i
mecNew
2011/10/11
page 125
i
125
Pn
Logo w pode ser escrita como w(, ) = i=1 dpi dqi (, ) =
dp dq(, ).
Observe agora que dado H(v, w) : R2n R
H H
q1
p1
..
.
H
qn
H
p1
..
.
H
pn
..
.
H
pn
H
q
1
..
.
H
q
n
H
H
H
H
, ...,
,
, ...,
).
p1
pn
q1
qn
H
H
H
H
dq1 + ... +
dqn +
dp1 + ... +
dpn
q1
qn
p1
pn
n
X
H
i=1
qi
i +
n
X
H
i=1
pi
n+i =
H
H
H
H
, ...,
,
, ...,
p1
pn
q1
qn
!+
H
eou
nico vetor em
Em outras palavras = J(H) = ( H
p , q )
2n
R tal que para todo , vale que w(, ) = dH().
i
i
126
mecNew
2011/10/11
page 126
i
Observa
c
ao 5.1. Podemos portanto afirmar que =
ou
nico vetor tal que para todo R2n
H
H
p , q
i
i
mecNew
2011/10/11
page 127
i
127
Defini
c
ao 5.3. Considere uma variedade simpletica (V, w). Para
cada vetor T Vx tangente a
` variedade simpletica (V, w) no ponto
x, associamos a 1-forma w tal que
T Vx , w () = w(, ).
i
i
128
mecNew
2011/10/11
page 128
i
Proposi
c
ao 5.1. Seja M variedade de dimens
ao n. O fibrado cotangente T M , tem uma estrutura simpletica natural w. Essa estrutura
simpletica w, em coordenadas locais e dada por dp1 dq1 +dp2 dq2 +
... + dpn dqn .
Demonstra
c
ao: Considere p : T Mq R uma transformacao linear
e (q, p) T M .
Vamos primeiramente definir uma 1-forma v em T M . A 2-forma
w = dv, derivada de tal forma v sera a forma simpletica que buscamos.
Seja T (T M )(q,p) um vetor tangente do fibrado cotangente
no ponto (q, p) onde p T Mq .
Um vetor tangente em T (T M )(q,p) e representado por uma
curva (q(t), p(t)) T M, t (, ), tal que (q1 , ..., qn , p1 , ..., pn ) =
(q (0), p (0)) = e (q(0), p(0)) = (q, p).
Considere agora a projecao : T M M tal que (q, p) = q.
Para um vetor em T (T M ), temos que d() T M (pois d :
T (T M ) T M e a derivada da projecao ).
Definimos a 1-forma v em T M por
v() = p(d()) , T (T M )(q,p) .
Afirmamos
Pnque esta 1-forma v em coordenadas locais se escreve
como pdq = i=1 pi dqi .
Vamos mostrar agora a afirmacao mencionada acima. Considere
coordenadas locais (q, p) para T M .
Por definicao
: T M M
(q, p) q = (q1 , q2 , ..., qn )
i
i
mecNew
2011/10/11
page 129
i
129
Considere agora w = dv.
claro que dw = ddv = 0 (ver Proposicao 4.5, Captulo 2).
E
Pn
Note que em coordenadas locais w = i=1 dpi dqi = dp dq.
facil ver tambem que w e nao degenerada, pois se = (1 , ..., 2n ) 6=
E
0, ent
ao existe i 6= 0 (suponhamos que i esteja entre os primeiros n do
vetor para simplificar a notacao que segue). Portanto w(, ) 6= 0,
onde = (1 , ..., 2n ) e escolhido de tal modo que j = 0, para
j 6= n + i P
e n+i = 1 (este fato segue da forma local de w(z, v) =<
n
Jz, v >= i=1 dpi dqi ).
Se o termo nao nulo i est
a entre os u
ltimos n elementos do vetor
, um raciocnio analogo pode ser aplicado.
Conclumos assim que w como definida acima e uma forma simpletica.
Um resultado mais geral que o anterior, mas que nao sera demonstrado no texto e o teorema de Darboux (ver [A1] para prova).
Teorema 5.1. (Teorema de Darboux) Dada uma variedade simpletica
V de dimens
ao 2n e uma forma simpletica w, para todo ponto x V ,
e possvel encontrar um sistema de coordenadas f em torno de x
tal que f : U R2n , f (x) = P
(q1 , q2 , ..., qn , p1 , p2 , ..., pn ), tal que
n
nestas coordenadas w e da forma i=1 dpi dqi = dp dq.
Vamos mostrar agora um resultado muito importante.
Seja (M, w) uma estrutura simpletica e H : T M R Hamiltoniano. Assuma que In(dH) define o campo de vetores Hamiltoniano
G(x) e seja t : T M T M o correspondente fluxo de difeomorfismos associado ao campo, isto e,
d
t x = In(dH)(x) = G(x).
dt t=0
Teorema 5.2. O fluxo Hamiltoniano t sobre T M preserva a estrutura simpletica natural w = dp dq, isto e, (t ) w = w.
i
i
130
mecNew
2011/10/11
page 130
i
Demonstra
c
ao: Temos que mostrar (ver exerccio apos Definicao
4.35) que qualquer subvariedade (que sem perda de generalidade podemos assumir ser simplesmente conexa) A de dimensao 2, A T M
com bordo diferenciavel por partes e tal que
Z
Z
w=
w.
A
t (A)
w=
t (A)
dH dt.
i
i
mecNew
2011/10/11
page 131
i
131
Por definicao de integral de uma 2-forma diferencial
Z
w=
w(, )dsdt
onde
=
e
,
s
pois (s, t) = t (f (s)) parametriza B .
Note que e o vetor que define o campo Hamiltoniano.
Por definicao de campo Hamiltoniano
=
dH() = dH(
) = w(, )
s
t (A)
Z
dH dt =
! !
Z
(s, t)
dH
ds dt = w.
s
B
w=
pois (t ((A))) = .
Logo
dH.
(A)
H=0
(t (A))
e constante.
i
i
132
mecNew
2011/10/11
page 132
i
R
R
Quando 0, B w converge a A w = 0 (afinal estamos integrando uma 2-forma em uma superfcie com regi
ao bidimensional
convergindo a uma curva quando vai a zero).
Logo
Z
w=0
(5.2)
B
para todo .
Como w e simpletica satisfaz dw = 0 ent
ao:
Z
0=
dw.
(5.3)
(A)
w.
Como o termo
(A)
(5.4)
w.
Defini
c
ao 5.5. Dizemos que uma k-forma diferencial w e um invariante integral absoluto para g : T M T M se
Z
Z
w=
w
g(C)
T M se g (w) = w.
A proposicao anterior mostrou que g (w) = w quando g = t e
o fluxo Hamiltoniano para t fixo obtido a partir de H e w a forma
simpletica natural (Proposicao 5.1).
i
i
mecNew
2011/10/11
page 133
i
133
Exemplo 5.2. Se g preserva a
rea em R2 ent
ao w = dq dp e um
invariante integral absoluto de g.
Proposi
c
ao 5.2. Se w1 e w2 s
ao invariantes integrais de g, ent
ao
w1 w2 tambem e invariante integral de g.
Demonstra
c
ao: Segue imediatamente do fato que
g (w1 w2 ) = (g w1 ) (g w2 ) = w1 w2
(ver Proposicao 4.3 c)).
n
g(C)
i
i
134
mecNew
2011/10/11
page 134
i
g(C)
w=
(g (C))
dw.
g(C)
Vamos agora demonstrar a versao simpletica do teorema de conservacao do Hamiltoniano. Observe como a demonstracao fica abreviada atraves do uso do formalismo simpletico.
Teorema 5.3. (Lei de Conservacao de Energia) A funca
o H e constante ao longo das trajet
orias do fluxo Hamiltoniano.
Demonstra
c
ao: A derivada direcional de H na direcao e dH().
Por definicao In(dH) e o Campo Hamiltoniano. Seja ent
ao =
In(dH).
Ent
ao dH() = w(, In(dH)) = w(, ) = 0 (pois como w e
alternada w(, ) = w(, )).
Logo, H e constante ao longo do fluxo Hamiltoniano.
Dado um Hamiltoniano H(q, p), q M , variedade m-dimensional,
1
que
vamos mostrar agora que existe uma densidade natural kH(x)k
define uma medida invariante para o fluxo Hamiltoniano restrito a
uma superfcie (2m 1) dimensional de Energia total constante.
Considere uma superfcie S de dimensao m 1 em Rm . Dado
m-vetores v1 , v2 , ..., vm em Rm , o volume determinado por estes vetores e expresso por dx1 ... dxm (v1 , v2 , ..., vm ) (ver Definicao 4.3).
O procedimento natural de induzir em S uma maneira de medir volume m 1 dimensional em cada plano T Sx e o seguinte: dados
u1 , u2 , ..., um1 T Sx , definimos o volume w(u
1 , ..., um1 ) determinado por u1 , .., um1 como
w(u
1 , ..., um1 ) = dx1 ... dxm (, u1 , u2 , ..., um1 ),
onde e o vetor normal unitario (aqui estamos usando a metrica
Riemanniana) em S.
Geometricamente falando, estamos considerando um paraleleppedo m dimensional com altura e dizendo que o volume m 1
dimensional da base e o volume m-dimensional do paraleleppedo
, u1 , .., um1 (isto porque tem altura 1).
i
i
mecNew
2011/10/11
page 135
i
135
As consideracoes geometricas feitas acima devem esclarecer o leitor para o procedimento que sera utilizado na proxima proposicao.
Vamos denotar por wn a forma volume usual em R2n = dq1 ...
dqn dp1 ... dpn .
Proposi
c
ao 5.5. Seja M = Rn variedade Riemanniana de dimens
ao
n com a metrica Riemanniana definida por <, >. Considere um
Hamiltoniano H(q, p) e w forma simpletica natural (ver Proposica
o
56, Captulo 3) sobre R2n = V = T M = T (Rn ). Ent
ao a forma
w
((2n 1)-forma diferencial) sobre uma superfcie compacta E =
{(q, p) | H(q, p) = c} (2n 1 dimensional) de Hamiltoniano constante
(assuma que kH(x)k n
ao se anule em E) dada por
w
x (v2 , v3 , ..., v2n ) =
1
wn (x , v2 , ..., v2n )
kH(x)k x
1
w
x ,
kH(x)k
isto e,
w
x (v2 , v3 , ..., v2n ) =
1
wn (x , v2 , ..., v2n ).
kH(x)k x
i
i
136
mecNew
2011/10/11
page 136
i
Hx
kHx k
Ht (x)
.
kHt (x) k
Logo a u
ltima igualdade pode ser reescrita como
*
+
Ht (x)
kH(x)k
=
, dt (x)(x ) = ht (x) , dt (x)(x )i.
kHt (x) k
kHt (x) k
Logo a projecao de dt (x)(x ) sobre t (x) e
kH(x)k
.
kHt (x) k
Sendo assim
dt (x)(x ) =
kHx k
(x) + z1
kHt (x) k t
onde z1 T Et (x) .
Note que se v2 , v3 , ..., v2n e uma base de T Et (x) , ent
ao existem
i , i {2, ..., 2n} tal que
z1 =
2n
X
i vi .
i=2
i
i
mecNew
2011/10/11
page 137
i
137
Logo
wnt (x) (z1 , v2 , v3 , ..., v2n )
wnt (x)
2n
X
i vi , v2 , ..., v2n
i=2
2n
X
i wnt (x) (
vi , v2 , v3 , ..., vi , ..., v2n ) = 0.
i=2
wnt (x)
!
kHx k
(x) , v2 , ..., v2n .
kHt (x) k t
(5.5)
Ora, t (x)(w)(v
2 , ..., v2n ) = w
t (x) (dt (x)(v2 ), ..., dt (x)(v2n ))
=
1
wn ( (x) , dt (x)(v2 ), ..., dt (x)(v2n ))
kHt (x) k t (x) t
!
kHx k
1
n
w
(x) , dt (x)(v2 ), ..., dt (x)(v2n )
=
kHx k t (x) kHt (x) k t
=
1
wn (dt (x)(x ), dt (x)(v2 ), ..., dt (x)(v2n ))
kHx k t (x)
=
1
wn (x , v2 , ..., v2n ).
kHx k x
A u
ltima igualdade segue de t (x)(wn ) = wn (Proposicao 5.3,
Captulo 3) e a pen
ultima de (5.5).
Conclumos portanto que w
define uma densidade invariante para
t restrito `
a superfcie de Hamiltoniano constante Ec . Este fato segue
de que
w
x (v2 , v3 , ..., v2n ) =
e invariante para t , t R.
1
wn (x , v2 , ..., v2n )
kH(x)k x
i
i
138
mecNew
2011/10/11
page 138
i
e
dado
por
p
=
q
dq
linear derivada de L em relacao a q no ponto (q, q).
Sendo assim, fixada a base dq1 , dq2 , ..., dqn , a 1-forma diferencial
(famlia de transformacoes lineares dependendo de q) p = L
q nesta
base e dada por
L
L
dq1 + ... +
dqn .
p=
q1
qn
Desta maneira dL
dq quando expressa na base dq1 , dq2 , ..., dqn , determina o que anteriormente chamavamos de momento p.
Sendo assim, para cada q fixo fica associado a q Rn de maneira
bem definida um elemento p Rn
(contanto que a condicao da
q
Observacao 4, Captulo 3), que vai ser o momento.
Uma quest
ao importante e a seguinte: como obter H(q, p), (q, p)
T M , a partir de L(q, q),
(q, q)
TM.
Para (q, q)
fixo considere p = L
q T Mq .
Para q fixo obtemos assim uma associacao de q com p, definindo uma aplicacao Bq : T Vq T Vq tal que Bq (q)
= p. Esta
2L
aplicacao e bijetiva se por exemplo q > 0, conforme a Observacao
4, Captulo 3.
Vamos supor no que segue que tal Bq seja bijetivo para todo
q V.
Considere um Lagrangiano L(q, q).
Para (q, p) fixados, definimos
H(q, p) como
H(q, p) = p(Bq1 (p)) L(q, Bq1 (p)) = p(q)
L(q, q),
onde Bq (q)
= p.
Acima, p(Bq1 (p)) significa aplicar a transformacao linear p no
vetor tangente q = Bq1 (p).
i
i
mecNew
2011/10/11
page 139
i
139
Note que o Lagrangiano e naturalmente definido no fibrado tangente T M de uma variedade M de configuracao, enquanto que o
Hamiltoniano e naturalmente definido no fibrado cotangente T M
da variedade de configuracao.
Conclus
ao: Dada uma funcao H(q, p) definida no fibrado cotangente
a uma variedade M e possvel definir um campo de vetores sobre o
fibrado cotangente denominado campo Hamiltoniano. Isto porque, o
fibrado cotangente tem uma estrutura simpletica natural.
Quando desejamos fazer alguma conta, podemos considerar um
certo sistema de coordenadas locais e assim obter resultados sobre o
sistema.
mais natural proceder de maneira intrnseca como foi feito
E
acima, pois nao existe raz
ao para um certo sistema de coordenadas
ser privilegiado em relacao aos outros.
As trajet
orias deste campoR de vetores podem ser definidas tambem
como os extremais da acao pdq onde os extremos do caminho
est
ao fixos em (t1 ) = a, (t2 ) = b.
Este campo nao e determinado por um u
nico possvel Hamiltoniano H, pois podemos somar a esta funcao uma forma w tal que
dw = 0, e claramente a Definicao 96 nao vai alterar o campo Hamiltoniano que vamos obter.
Dada uma funcao sobre o fibrado tangente a uma variedade M ,
podemos obter um sistema Lagrangiano sobre o fibrado tangente. A
maneira de relacionar os dois sistemas foi descrita acima.
Exerccios
1. Para o Hamiltoniano do pendulo sem atrito, calcule para cada
nvel de energia constante a densidade do Teorema 63.
Assuma que o nvel de energia nao passe pelo ponto (0,0) ou
(, 0).
2. Mostre que o toro S1 S1 admite um estrutura simpletica.
i
i
mecNew
2011/10/11
page 140
i
Captulo 6
Linhas de Vortex em
Mec
anica Hamiltoniana
Nesta secao vamos considerar apenas campos Hamiltonianos nao aut
onomos H(q, p, t). Vamos desenvolver o formalismo que permite
definir neste caso as equacoes de Hamilton de maneira intrnseca.
O ponto de vista sera intrnseco e o leitor pode perceber que as
as demostracoes utilizando tal ponto de vista serao simples e nao
envolvem demasiado calculo.
Proposi
c
ao 6.1. Dado uma 2-forma w em R2n+1 , existe 6= 0 tal
que w(, ) = 0, R2n+1 .
Demonstra
c
ao: Uma forma diferencial e por definicao alternada,
portanto e dado por w(, ) = hA, i onde A e matriz alternada.
Ora o determinante de tal matriz (2n + 1) (2n + 1) e zero pois
A = A e det A = det A = det(A) = (1)2n+1 det A = det A.
Logo existe um auto-vetor 6= 0 com auto-valor 0 e, portanto,
w(, ) = hA, i = h0, i = 0.
Defini
c
ao 6.1. Uma 2-forma e dita n
ao singular se
dim{ R2n+1 |w(, ) = 0, R2n+1 } = 1.
140
i
i
mecNew
2011/10/11
page 141
i
141
Defini
c
ao 6.2. Dada uma 2-forma w n
ao singular, em cada ponto do
R2n+1 , o subespaco de dimens
ao 1 definido por algum da Proposica
o
6.1 e chamada direca
o de vortex.
Defini
c
ao 6.3. Seja w 2-forma diferencial n
ao singular. Uma curva
diferenci
avel em R2n+1 cuja tangente em cada ponto est
a na direca
o
de vortex naquele ponto da 2-forma w e chamada uma linha de vortex
da 2-forma w.
Os teoremas de existencia e unicidade de equacoes diferenciais
ordinarias asseguram localmente a existencia das linhas de vortex,
bastando para isso assumir condicoes de suavidade (C ) da 2-forma
w nao singular. Observe que enquanto a solucao de uma equacao diferencial depende do tempo de maneira bem definida, a linha de vortex
e uma curva, para a qual poderamos ter v
arias parametrizacoes pelo
par
ametro t.
As linhas de vortex determinam o que se chama um campo de
linhas e nao um campo de vetores (ver [MC3]).
Proposi
c
ao 6.2. Considere em R2n+1 o Hamiltoniano H(p, q, t), a
1-forma w1 = pdq Hdt e a 2-forma w2 = dw1 . Ent
ao as soluco
es
do sistema Hamiltoniano
q =
dH
dp
p =
dH
dq
s
ao linhas de vortex de w2 .
Demonstra
c
ao: Suponha que w2 seja nao singular. Sendo assim
basta mostrar que = (Hp , Hq , 1) em (q, p, t) e direcao de vortex da
2-forma w2 no ponto (q, p, t). Primeiro mostraremos este u
ltimo fato,
e deixaremos ao leitor o trabalho de mostrar que w2 e nao singular.
Ora, denote por (q1 , p1 , t1 )
dH
dH
w2 (, ) = dw1 (, ) = dpdq
(dpdt)
(dq dt) (, ) =
dp
dq
= [(Hq q1 Hp p1 ) Hp (Hq t1 p1 ) Hq (Hp t1 q1 ) = 0.
i
i
142
mecNew
2011/10/11
page 142
i
p2
2
+ 0 q2
2
2
dH
= 02 q.
dq
i
i
mecNew
2011/10/11
page 143
i
143
Teorema 6.1. Sejam 1 e H2 duas curvas fechadas
relacionadas pelo
H
fluxo Hamiltoniano, ent
ao 1 pdq Hdt = 2 pdq Hdt.
Demonstra
c
ao: Seja w1 = pdq Hdt a forma de Poincare-Cartan,
ent
ao pelo Teorema de Stokes,
Z
Z
Z
dw1 =
w1
w1
Isto porque
Hdt =
Hdt = 0,
i
i
144
mecNew
2011/10/11
page 144
i
Demonstra
c
ao: Seja 1 curva fechada simples contida em t1 =
constante e 2 outra curva obtida pela evolucao do fluxo no tempo
t2 .
Ent
ao pelo teorema de Stokes em R2n R2n t1 , temos
Z
Z Z
pdq =
dp dq
1
2n
2n
onde 1 e a regi
ao de R R t1 tal que 1 = 1 (ver Figura 4.5). Da mesma forma se t (1 ) = 2 ent
ao 2 = 2 em
R2n = R2n t2 , e ainda pelo teorema de Stokes
Z
Z Z
pdq =
dp dq.
1
pdq =
pdq,
dp dq =
Z Z
dp dq.
i
i
mecNew
2011/10/11
page 145
i
145
foi possvel definir um campo de vetores Hamiltoniano sobre o fibrado
cotangente a M .
Este campo
R de vetores pode tambem ser caracterizado como os
extremais de pdqHdt, em que os extremos (e os tempos) (t1 ) = a
e (t2 ) = b est
ao fixos.
Este campo nao e determinado por um u
nico possvel Hamiltoniano H, pois podemos somar a esta funcao uma forma w = dG, e os
valores da acao irao se alterar por uma valor fixo G(b) G(a). Logo,
irao determinar os mesmos extremais.
Exerccio
1. Considere o Hamiltoniano H(q, p, t) = p2 + q 2 + t. Calcule as
linhas de vortex em R3 para tal Hamiltoniano.
i
i
mecNew
2011/10/11
page 146
i
Captulo 7
Equac
oes Diferenciais
Parciais: M
etodo das
Caractersticas
Para analisar com mais profundidade a equacao diferencial de Hamilton-Jacobi necessitaremos primeiro analisar alguns aspectos da teoria
geral das equacoes diferenciais de primeira ordem. Referimos o leitor
para [Jo], [I] e [Ju] para uma exposicao mais completa sobre o assunto.
Nosso objetivo nas proximas secoes, sera explicar a relacao das
frentes de ondas com raios de luz. Esta relacao e um dos pontos
centrais na formulacao da Mecanica Hamiltoniana.
Primeiramente, necessitaremos analisar alguns t
opicos da teoria
das equacoes diferenciais parciais.
Vamos comecar analisando um exemplo bem simples que vai antecipar as principais propriedades dos exemplos mais complexos de
equacoes diferenciais que serao analisados a seguir.
Considere a equacao diferencial parcial de 1a ordem
x
u
u
+y
= 0.
x
y
(7.1)
i
i
mecNew
2011/10/11
page 147
i
147
equacao. Em geral existem infinitas solucoes, pois se u e solucao
ent
ao u + tambem e solucao (, R s
ao constantes quaisquer).
Observe que se u e solucao de (7.1), ent
ao u(x, y) = B determina
uma curva cuja tangente (x , y ) em (x, y) e colinear com (x, y). Isto
porque
!
u u
u =
,
x y
e normal `
a curva de nvel e por hip
otese de u ser solucao de (7.1),
h(x, y), ui = 0.
Vamos tentar determinar a expressao analtica de tais curvas
u(x, y) = constante = B.
Suponha que possamos obter a mencionada curva atraves da expressao u(x, y(x)) = B onde y(x) e obtido a partir de x pelo Teorema
da Funcao Implcita. Temos, portanto, que (1, y (x)) e tangente a esta
curva, logo a partir do que afirmamos acima devemos ter que
y(x)
y (x)
=
.
1
x
Logo
y (x)
1
= ,
y(x)
x
e portanto,
d
d
(log y(x)) =
log x.
dx
dx
Sendo assim, log(y(x)) = log x+c, c R, e finalmente y(x) = ax para
algum a R. Logo u e constante em semi retas passando pela origem,
e portanto as curvas de nveis de u s
ao tais semi-retas. Observe que
em (x, y) = (0, 0) nao podemos fazer as consideracoes acima.
Note que se estabelecermos como condicao de fronteira os valores
de u em uma curva diferenciavel que e cortada por cada uma das
semi-retas y = ax em apenas um ponto da curva , pelo que deduzimos anteriormente, os valores da possvel(ainda nao sabemos
se existe) solucao u ficam necessariamente determinados. O valor
i
i
148
mecNew
2011/10/11
page 148
i
[CAP. 7: METODO
DAS CARACTERISTICAS
u
u
+ b(x, y)
= 0.
x
y
(7.2)
(7.3)
i
i
mecNew
2011/10/11
page 149
i
149
Observe agora o que acontece com a restricao de u (solucao de
(7.2)) `
as solucoes de (7.3):
d
u u
u
u
u(x(t), y(t)) =
x +
y =
a(x, y) +
b(x, y) = 0.
dt
x
y
x
y
Logo u e constante ao longo das solucoes de (7.3).
Sendo assim, se (x(t), y(t)) e uma solucao de (7.3), ent
ao
hu(x(t), y(t)), (x(t),
y(t))i
= 0.
Logo, cada curva (x(t), y(t)) deve satisfazer a propriedade que
(x(t),
y(t))
est
a na reta tangente `a curva u(x, y) = c.
Se tomarmos agora uma curva cortando em um e s
o um ponto
cada curva solucao de (7.3), e fixando os valores de u em determinaremos a solucao u(x, y) (pois u e constante em solucoes de
(7.3)). Do mesmo modo como no exemplo anterior, basta dar o valor u(x, y) = u(x0 , y0 ) para cada (x, y) sobre uma curva solucao
de (7.3) tal que = (x0 , y0 ). Uma curva com tais propriedades
define a condicao natural de fronteira do problema.
Defini
c
ao 7.1. As curvas soluco
es de (7.3) s
ao chamadas curvas
caractersticas de (7.2).
Exemplo 7.1. Considere a equaca
o
y
u
u
x
= 0,
x
x
(7.4)
com a condica
o de fronteira (ou inicial) u(s, 0) = s2 , 0 s.
Uma outra maneira de especificar a condica
o de fronteira acima
e estabelecer que est
a fixa uma curva em R3 dada por
(x(s), y(s), u(s)) = (s, 0, s2 ),
no espaco das vari
aveis (x, y, u). Esta maneira, na verdade, e a que
usaremos na seq
uencia desta seca
o.
Neste caso a equaca
o diferencial ordin
aria que define as caractersticas e
x = y
i
i
150
mecNew
2011/10/11
page 150
i
[CAP. 7: METODO
DAS CARACTERISTICAS
Figura 7.1:
y = x.
As soluco
es desta equaca
o s
ao do tipo
(x(t), y(t)) = (r cos(t), r sin(t)).
Para cada valor s considere (xs (t), ys (t)) a soluca
o da equaca
o diferencial ordin
aria com condica
o inicial (s, 0). Pelo que vimos acima,
devemos escolher u(xs (t), ys (t)) = u(s, 0) = s2 . Em outras palavras,
u e constante em crculos.
Se usarmos coordenadas (s, t) ent
ao u(s, t) = s2 , ou alternativamente em coordenadas polares u(r, ) = r2 .
Se desejarmos encontrar a soluca
op
u na vari
avel (x, y), ou seja
obter u(x, y), devemos substituir r = x2 + y 2 , = arctan y/x em
u(r, ) e obter u(x, y) = x2 + y 2 . Fica assim determinada a soluca
o
do problema (7.4) por um metodo que se baseou fundamentalmente
nas curvas caractersticas.
Vamos considerar novamente o caso geral (7.2).
Defini
c
ao 7.2. Dada a equaca
o diferencial parcial
a(x, y)
u
u
+ b(x, y)
= 0,
x
y
i
i
mecNew
2011/10/11
page 151
i
151
Observa
c
ao 7.1. Uma condica
o necess
aria e suficiente para que
uma superfcie S R3 seja uma superfcie integral de (7.2) e que
para cada (x, y, u) R3 , o vetor (a(x, y), b(x, y), 0) esteja no plano
tangente a
` superfcie S em (x, y, u). Isto porque como o vetor noru
e ortogonal a superfcie em (x, y, u) (isto e, e
mal = ( u
x , y , 1)
perpendicular ao plano tangente), ent
ao
h, (a, b, 0)i =
u
u
a+
b + 0 = 0.
x
y
i
i
152
mecNew
2011/10/11
page 152
i
[CAP. 7: METODO
DAS CARACTERISTICAS
est
a no plano tangente a S em (x, y, u). Sendo assim pela Observacao
45, S determina superfcie integral satisfazendo a condicao de fronteira.
Note que foi necessario supor que (xs (t), ys (t)) cobre um aberto
do R2 para poder concluir a afirmacao acima. Na verdade (s, t) deveria ser considerado como novas coordenadas adaptadas `a solucao
do problema. Voltando as antigas coordenadas (x, y) por mudanca
de variavel podemos obter
u(s(x, y), t(x, y)) = u(x, y)
como funcao de (x, y).
O procedimento acima e a essencia do metodo das caractersticas.
mais
Encontramos a solucao u de uma EDP resolvendo uma EDO. E
conveniente pensar no conjunto geometrico S R3 de pontos do
gr
afico da solucao u em vez de diretamente com u(x, y) pois assim podemos ter a liberdade de considerar coordenadas (s, t) mais apropriadas (em funcao das caractersticas) e finalmente encontrar a solucao
final u em coordenadas (x, y) apenas atraves de um procedimento de
mudancas de coordenadas.
Vamos agora considerar o caso geral de uma equacao diferencial
parcial de primeira ordem.
Considere uma funcao diferenciavel de Classe C 2 , F : R5 R,
F (x, y, z, p, q).
No contexto que vamos considerar a seguir z vai expressar a funcao
z(x, y) (sera portanto uma variavel dependente) solucao da EDP que
sera definida a partir de F e
p=
z
z
,q =
x
y
i
i
mecNew
2011/10/11
page 153
i
153
Figura 7.2:
i
i
154
mecNew
2011/10/11
page 154
i
[CAP. 7: METODO
DAS CARACTERISTICAS
Figura 7.3:
(7.5)
i
i
mecNew
2011/10/11
page 155
i
155
dy
= Fq
dt
(7.6)
dz
= pFp + qF q.
dt
(7.7)
dq
Mais duas equacoes serao adicionadas mais tarde para dp
dt e dt .
Primeiro queremos justificar a necessidade de assumir que as tres
equacoes acima sejam satisfeitas.
Para (x0 , y0 , z0 ) fixados, resolvemos em p a equacao
F (x0 , y0 , z0 , p, q(p)) = 0.
A equacao do plano tangente a superfcie integral S passando por
(x0 , y0 , z0 )
determina que
(z z0 ) = p(x x0 ) + q(y y0 ) =
z
z
(x0 , y0 ) +
(x0 , y0 ).
x
y
dq
.
dp
(7.8)
dq
= 0.
dp
(7.9)
dq
dp
das duas u
ltimas equacoes ((7.8) e (7.9)), obtemos
y y0
x x0
=
.
Fp
Fq
i
i
156
mecNew
2011/10/11
page 156
i
[CAP. 7: METODO
DAS CARACTERISTICAS
x(t)x0
t
y(t)y0
t
(7.10)
dy
= Fq
dt
(7.11)
dz
= pFp + qFq
dt
(7.12)
dp
= Fx pFz
dt
(7.13)
dq
= Fy qFz
(7.14)
dt
Estas equacoes s
ao denominadas equacoes das caractersticas.
Defini
c
ao 7.4. As soluco
es do sistema de equaco
es diferenciais ordin
arias acima s
ao denominadas de caractersticas.
i
i
mecNew
2011/10/11
page 157
i
157
Nosso objetivo e mostrar que F e constante ao longo das caractersticas.
Antes porem, devemos justificar a escolha das equacoes das caractersticas.
Ora (7.10), (7.11) e (7.12) s
ao nada mais que (7.5), (7.6) e (7.7).
Devemos portanto justificar apenas (7.13) e (7.14).
Suponha que (x(t), y(t), z(t), p(t), q(t)) pertence ao conjunto de
pontos de uma superfcie integral. Ora p(x(t), y(t)) e q(x(t), y(t))
satisfazem
dx
dy
dp
= px
+ py
= px F p + py Fq
(7.15)
dt
dt
dt
e
dq
dx
dy
= qx
+ qy
= q x Fp + q y Fq .
(7.16)
dt
dt
dt
Derivando F (x, y, z, p, q) = 0 em relacao a x obtemos
z
}|
{
p
q
z
+Fp
+ Fq
0 = Fx + Fz
x
x
x
= Fx + Fz p +Fp px + Fq qx .
| {z }
(7.17)
{
p
q
z
+Fp
+ Fq
0 = Fy + Fz
y
y
y
Como
}|
= Fy + Fz q +Fp py + Fq qy
| {z }
(7.18)
2z
2z
= py = q x =
yx
xy
ent
ao juntando (7.15) e (7.17) e juntando (7.16) e (7.18) derivamos
(7.13) e (7.14), ou seja,
dp
= Fx Fz p
dt
dq
= Fy Fz q.
dt
i
i
158
mecNew
2011/10/11
page 158
i
[CAP. 7: METODO
DAS CARACTERISTICAS
i
i
mecNew
2011/10/11
page 159
i
159
Figura 7.4:
Denotaremos por
x = x(s, t) = xs (t)
y = y(s, t) = ys (t)
z = z(s, t) = zs (t)
p = p(s, t) = ps (t)
q = q(s, t) = qs (t)
os valores obtidos com o procedimento acima.
Vamos considerar agora a superfcie S R3 obtida varrendo a
condica
o de fronteira (x(s), y(s), z(s)) por curvas (xs (t), ys (t), zs (t))
obtidas a partir das curvas caractersticas. Vamos mostrar que a S
assim definida e uma superfcie integral.
Para mostrar que S define uma superfcie integral, vamos agora
derivar
F (xs (t), ys (t), zs (t), ps (t), qs (t))
em relaca
o a t.
i
i
160
mecNew
2011/10/11
page 160
i
[CAP. 7: METODO
DAS CARACTERISTICAS
Usando as equaco
es das caractersticas
dF
dx
dy
dz
dp
dq
= Fx
+ Fy
+ Fz
+ Fp
+ Fq
=
dt
dt
dt
dt
dt
dt
= Fx Fp + Fy Fq + Fz (pFp + qFq ) Fp (Fx + pFz ) Fq (Fy + qFz ) = 0.
Logo F e constante e n
ao depende de t. Como assumimos que
(x(s), y(s), z(s))
est
a na superfcie integral e (p(s), q(s)) foram escolhidos de tal jeito
que F (x(s), y(s), z(s), p(s), q(s)) = 0, conclumos que
F (xs (t), ys (t), zs (t), ps (t), qs (t)) = 0
para qualquer s, t. Logo S e superfcie integral satisfazendo a condica
o
de fronteira. S pode ser definida como a superfcie bidimensional
definida por (xs (t), ys (t), zs (t)) (ver [Jo]).
Suponha que (x(s, t), y(s, t)) cobre um aberto do plano (x, y), injetivamente em (s, t). Uma condica
o suficiente para tal propriedade
ocorrer localmente e (x (s), y (s)) n
ao ser colinear com (Fp , Fq ) =
(x (t), y (t)) sobre a curva de condico
es iniciais. Se conseguirmos inverter a relaca
o entre as vari
aveis (x(s, t), y(s, t)), obtendo
(s(x, y), t(x, y)), poderemos expressar a soluca
o z(x, y) como
z(x, y) = z(s(x, y), t(x, y)),
onde z(s, t) = zs (t) foi obtida acima (ver [Jo]).
O conceito de superfcie integral permite pensar de maneira geometrica, sem se preocupar com as variaveis (x, y), e assim descrever
a solucao em coordenadas mais naturais que s
ao (s, t). Finalmente,
podem obter z(x, y) atraves do desenvolvimento acima.
A equacao de Hamilton-Jacobi e uma equacao diferencial parcial
de primeira ordem, e o metodo das caractersticas e um procedimento
natural para calcular solucoes desta equacao.
i
i
mecNew
2011/10/11
page 161
i
161
Exerccios
1. Calcule a equacao das caractersticas para a equacao diferencial
parcial de Hamilton-Jacobi
z z
0 = 1 H x, y,
= F (x, y, z, zx , zt ).
,
x y
2. Encontre as caractersticas da equacao diferencial parcial x2 zx +
y 2 zy = 0, z(x, y) R, (x, y) R2 . A seguir determine uma
curva de condicoes iniciais tal que esteja bem definida a solucao
do problema de Cauchy.
i
i
mecNew
2011/10/11
page 162
i
Captulo 8
Equac
oes Diferenciais
Parciais: M
etodo da
Solu
c
ao Completa
Na secao anterior usamos o metodo das caractersticas para resolver a
equacao diferencial parcial geral de primeira ordem F (x, y, z, p, q)=0.
Nesta secao vamos nos concentrar no metodo da solucao completa
para resolver (3.55). Este metodo tambem sera importante para a
correta analise da equacao de Hamilton-Jacobi.
Antes disso devemos analisar envoltorias de curvas e sua relacao
com a propagacao de ondas. Primeiramente no entanto, vamos analisar o caso mais simples de envoltorias de funcoes de uma variavel
tomando valores reais.
Considere f (x, c) = fc (x) uma famlia a um par
ametro c R, de
funcoes, como por exemplo fc (x) = sin(x + c).
Defini
c
ao 8.1. Dada uma famlia de curvas fc , a envolt
oria das
curvas (x, fc (x)) e o bordo da regi
ao de dimens
ao 2 obtida em R2
pela uni
ao de todas as curvas (x, fc (x)), c R.
Vamos mostrar que no caso do exemplo acima mencionado a envoltoria e a uni
ao das retas y = 1 e y = 1.
162
i
i
mecNew
2011/10/11
page 163
i
163
Para cada x0 R fixado, os dois pontos da envoltoria que est
ao
situados na reta vertical passando por x0 podem ser determinados da
seguinte maneira: considere para cada possvel valor de c os possveis
valores f (x0 , c). Estes valores f (x0 , c) v
ao determinar um intervalo de
possveis valores. Os valores extremos deste intervalo devem corresponder ao supremo e ao nfimo de g(c) = f (x0 , c), onde g e encarado
como uma funcao da variavel c. Logo tomando os dois valores c =
cx0 tal que g (c) = 0 (ou seja f
a na
c = 0) temos que f (x, cx0 ) est
envoltoria da famlia fc .
Exemplo 8.1. Para fc (x) = sin(x + c), obtemos do desenvolvimento
acima a equaca
o
0=
f
(x, c) = cos(x + c),
c
logo
ou ,
2
2
portanto, teremos fc (x) = sin(x + c) = 1 ou fc (x) = sin(x + c) = 1.
Logo a envolt
oria da famlia fc e a uni
ao das retas y = 1 e y = 1
(ver Figura 7.1).
(x + c) =
i
i
164
mecNew
2011/10/11
page 164
i
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
Figura 8.1:
Alternativamente, podemos expressar as condicoes acima na maneira mais familiar ao leitor, conforme Secao 3 deste captulo: u(x) e
a transformada de Legendre de f se
u(x) = sup{xp f (p)}.
pR
Vamos analisar agora famlias de superfcies em R3 parametrizadas por c R. Por exemplo f (c, x, y) = fc (x, y) = sin(x + c) + y,
c R.
Defini
c
ao 8.2. A envolt
oria da famlia de superfcies cujo gr
afico e
(x, y, fc (x, y)) e por definica
o o bordo da regi
ao de dimens
ao 3 obtida
como uni
ao dos pontos do R3 da forma (x, y, fc (x, y)).
Para cada (x, y) o ponto da envoltoria da forma (x, y, z) e aquele
ao c0 e obtido como o
tal que z = fc0 (x, y), onde se g(c) = fc (x, y) ent
i
i
mecNew
2011/10/11
page 165
i
165
maximo ou mnimo para g na variavel c. Em outras palavras devemos
encontrar c0 = c0 (x, y) tal que g (c0 ) = 0, ou seja c0 tal que
f
(c, x, y) = 0,
c
e a seguir considerar (x, y, z) onde z = fc0 (x, y).
A funcao u(x, y) = fc0 (x,y) (x, y) define ent
ao atraves do seu gr
afico
(x, y, u(x, y)) a envoltoria da famlia. fc
Exemplo 8.3. Seja fc (x, y) = sin(x + c) + y, ent
ao c = c(x,y) deve
satisfazer
f
(c, x, y) = cos(x + c) = 0.
c
Ou seja,
x+c=
ou x + c = ,
2
logo
+ y = 1 + y ou z = sin
+ y = 1 + y.
z = sin
2
2
A envolt
oria da famlia e, portanto, a uni
ao de dois planos (x, y, 1+
y) e (x, y, 1 + y).
Agora vamos voltar a considerar o problema de resolver equacoes
diferenciais parciais.
A equacao diferencial parcial geral de 1a ordem para a funcao
de duas variaveis z(x, y) e suas derivadas zx = p e zy = q pode ser
escrita como
F (x, y, z, p, q) = 0,
(8.1)
onde F : R5 R tem derivadas parciais de segunda ordem contnuas.
Considere a condicao de fronteira dada por uma curva (x(t), y(t), z(t)).
Um exemplo de tal tipo de equacoes diferenciais e F (x, y, z, p, q) =
(z px qy)2 + (1 + p2 + q 2 ) = 0. Este exemplo sera analisado em
breve.
Nosso objetivo inicial sera obter novas solucoes de F = 0 a partir
de famlias de solucoes de F = 0.
i
i
166
mecNew
2011/10/11
page 166
i
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
z
z
(x0 , y0 , z0 ) e q =
(x0 , y0 , z0 ).
x
y
(8.2)
e ent
ao obteremos z = g(x, y) = f (x, y, c0 ).
Note que c0 = c0 (x, y) na verdade depende de (x, y).
A envoltoria g sera f (x, y, c(x, y)) e satisfara ent
ao a equacao
f
f c
f
g
=
+
=
x
x
c x
x
e
f
f c
f
g
=
+
=
.
y
y
c y
y
f
g
f
g
=
e q=
=
.
x
x
y
y
i
i
mecNew
2011/10/11
page 167
i
167
entanto, se considerarmos famlias a dois par
ametros de solucoes
z(x, y) = fa,b (x, y) = f (x, y, a, b), estaremos obtendo atraves de envoltorias uma informacao nao trivial como veremos a seguir. O ponto
fundamental e que desejamos encontrar solucoes da EDP, F = 0, mas
sujeita a uma certa curva de valores de fronteira (x(s), y(s), z(s))
dada. Uma famlia a um par
ametro de solucoes nao permite isto, e
sera necessario considerar famlias a dois par
ametros.
Escolha uma famlia a um par
ametro (a(s), b(s)) no espaco de
par
ametros (a, b). Esta famlia sera determinada em breve no texto.
Considere a famlia a um par
ametro s R, z = f (x, y, a(s), b(s))
e sua envoltoria (ver expressao (8.2)) z = f (x, y, a(s), b(s)) (onde s
f
f
e tambem uma solucao de F = 0
satisfaz 0 = f
s = a a + b b ) que
como vimos antes .
Vamos mostrar agora que dada uma curva de condicoes iniciais
em R3
(x(s), y(s), z(s)),
podemos tentar obter uma superfcie integral que contenha tal curva
a partir de uma escolha conveniente de (a(s), b(s)).
Seja ent
ao (x(s), y(s), z(s)) uma curva, a qual desejamos encontrar uma superfcie integral que a contenha.
Considere as duas equacoes
z(s) f (x(s), y(s), a, b) = 0
(8.3)
f
f
x (s)
y (s) = 0
x
y
(8.4)
(8.5)
(8.6)
i
i
168
mecNew
2011/10/11
page 168
i
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
Figura 8.2:
f
f
f
=
a (s) +
b (s).
s
a
b
(8.7)
i
i
mecNew
2011/10/11
page 169
i
169
Ora de (8.3) z(s) = f (x(s), y(s), a(s), b(s)), logo derivando em
relacao a s
z (s) =
f
f
f
f
x (s) +
y (s) +
a (s) +
b (s)
x
y
a
b
f
f
x (s) +
y (s)
x
y
portanto
f
f
a (s) +
b (s) = 0.
a
b
Isto mostra que (8.7) e equivalente a (8.4).
Logo se a(s) b(s) satisfazem (8.3) e (8.4), ent
ao obtemos atraves de
g(x, y) acima, envoltoria da familia fs , a solucao da EDP satisfazendo
a condicao de fronteira dada.
Portanto dado uma curva (x(s), y(s), z(s)) em R3 , atraves do
metodo exposto acima, podemos obter uma superfcie integral que
a contenha.
Defini
c
ao 8.3. Uma famlia fa,b (x, y) a dois par
ametros (a, b) de
soluco
es de (8.1) e chamada uma soluca
o completa de (8.1).
O metodo descrito acima, que permite atraves de uma famlia a
dois par
ametros (uma solucao completa conforme a definicao acima)
encontrar uma superfcie integral a partir de condicoes de fronteira e
chamado de metodo da solucao completa.
Exemplo 8.4. Vamos resolver agora, atraves do metodo da soluca
o
completa a EDP
!2
2 2 !
u
u
u
u
u
= 0.
x
y 1+
x
y
x
y
Isto e F (x, y, z, p, q) = (z px qy)2 (1 + p2 + q 2 ) = 0. Seja a
famlia a dois par
ametros a e b (com a2 + b2 < 1)
z=p
1 (a2 + b2 )
b
1
x+ p
y+ p
= fa,b (x, y)
1 (a2 + b2 )
1 (a2 + b2 )
i
i
170
mecNew
2011/10/11
page 170
i
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
de soluco
es (uma soluca
o completa).
Dada a curva z = 1, x = 1/2 cos , y = 1/2 sin , 0 2
ent
ao (8.3) significa:
ax by + 1
z=p
,
1 (a2 + b2 )
ou seja,
p
1 (a2 + b2 ) +
a
b
cos + sin 1 = 0.
2
2
(8.8)
J
a (8.4) significa
0 p
ou seja,
(a)
1 (a2 + b2 )
cos
( sin ) b
p
+
= 0,
2
2
1 (a2 + b2 )
a sin b cos = 0.
(8.9)
4p 2
5
x + y2 + .
3
3
i
i
mecNew
2011/10/11
page 171
i
171
Considere a famlia a um par
ametro de curvas implicitamente dadas por f (x, y, ) = 0, R. Para cada , 0 = f (x, y) = f (x, y, )
define implicitamente na variavel (x, y) uma curva da famlia. Como
encontrar a curva C (ou curvas) que determinam a envoltoria da
famlia f ?
Teorema 8.1. Se a famlia a par
ametro de curvas determinada
por
f (x, y) = f (x, y, ) = 0
tem uma curva envolt
oria, ent
ao esta curva pode ser encontrada implicitamente atraves da equaca
o que se obtem substituindo = x,y ,
soluca
o de
f (x, y, )
= 0.
(8.10)
em f (x, y, ) = 0.
Fica assim determinado implicitamente a envolt
oria por
0 = g(x, y) = F (x, y, x,y ).
Demostra
c
ao: Supondo por exemplo
f
(
x, y, )
6= 0
y
ent
ao para (x, y, ) perto de (
x, y, )
tem-se
f (x, y, ) = 0 y = g(x, )
com g diferenciavel. Pelo resultado anterior (8.2), a envoltoria da
famlia de curvas g (x) e dada por
g
(
x, )
= 0.
g
f
f
(x, g(x, ), ) (x, ) +
(x, g(x, ), )
y
i
i
172
mecNew
2011/10/11
page 172
i
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
e em particular, em (
x, ):
0=
f
f
f
g
=
(
x, g(
x, ),
)
(
x, )
+ (
x, g(
x, )
, )
(
x, y, ),
| {z }
y
| {z }
=0
=
y
O caso
f
(
x, y, )
6= 0
x
e analogo.
i
i
mecNew
2011/10/11
page 173
i
173
Suponhamos que tem a seguinte propriedade: para T , > 0 a
curva T + e obtida como a envolt
oria por crculos de raio sobre
a curva T (ver Figuras 7.3 e 7.4).
Vamos mostrar que a funca
o deve satisfazer a equaca
o
!2
!2
1=
+
.
(8.11)
x
y
Esta equaca
o e conhecida como equaca
o eikonal da o
tica geometrica.
Seja (x1 (), x2 ()) uma parametrizaca
o de T . Ent
ao a famlia
f (x, y, ) = (x1 () x)2 + (x2 () y)2 2 = 0
vai definir implicitamente a equaca
o de crculos (na vari
avel (x, y))
de raio , centrados nos pontos da curva T .
As Figuras 8.1 e 8.2 d
ao uma ideia dos distintos envolt
orios obtidos a partir de um objeto unidimensional generico.
Como vimos antes a envolt
oria da famlia e obtido como a curva
f
na vari
avel (x, y) que satisfaz as equaco
es
= 0 e f (x, y, ) = 0.
Sendo assim obtemos as equaco
es:
0=
f
= 2(x1 () x)x1 () + 2(x2 () y)x2 (),
=
.
kk
kv k
i
i
174
Como
COMPLETA
[CAP. 8: METODO
DA SOLUC
AO
,
kk
ent
ao
mecNew
2011/10/11
page 174
i
v
,
= kk,
= kk.
Ora
(x + u1 , y + u2 ) (x, y)
,
0
h, ui = h, (u1 , u2 )i = lim
logo
kk =
v
,
"
!
x() x1 ()
1
x1 () +
,
lim
0
!
#
(y() x2 ())
x2 () +
(x1 (), x2 ())
1
+T T
[(x(), y()) (x1 (), x2 ())] = lim
= 1.
0
0
lim
!2
!2
= 1.
Conclumos, portanto, que uma funcao satisfazendo a propriedade das envoltorias por crculos de mesmo raio para as superfcies
de nvel T , deve satisfazer a equacao diferencial parcial acima.
Esta equacao foi denominada anteriormente de Equacao de Hamilton-Jacobi autonoma para o Hamiltoniano H(q, p) = p21 +p22 . Esta
equacao nao e linear. Para resolve-la vamos aplicar os metodos para
calcular as solucoes de equacoes diferenciais parciais de 1a ordem nao
lineares a partir de condicoes de fronteira que consideramos antes.
i
i
mecNew
2011/10/11
page 175
i
175
Figura 8.3:
Exerccio
1. Calcule pelo metodo da solucao completa a solucao da equacao
diferencial parcial
S
x
2
1
4
S
y
2
= 1,
i
i
mecNew
2011/10/11
page 176
i
Captulo 9
O Princpio de Huygens
em Mec
anica
Hamiltoniana
Vamos analisar a seguir a evolucao de uma frente de onda em um
plano (o caso mais geral em Rn e semelhante). Para fixar ideias,
vamos supor que desejamos analisar a seguinte quest
ao: largamos
uma pequena pedra ou um galho de arvore na superfcie de um lago
em repouso. A superfcie do lago sera ent
ao percorrida por uma
frente de onda que se propaga a partir da excitacao inicial causada
pela pedra ou galho (ver respectivamente Figuras 8.1 e 8.2).
Vamos denotar por t a posicao espacial em R2 da frente de onda
no tempo t.
Observe nas Figuras 8.1 e 8.2 que a frente de onda t+ e (a parte
externa da) envoltoria por crculos de raio centrados na frente de
onda t . Essa propriedade e observada na natureza e em essencia
expressa o seguinte fato. A frente de onda t+ poderia ser obtida
lancando ao mesmo tempo t v
arias pedrinhas sobre a posicao da
frente de onda t . Esperando decorrer o tempo cada pedrinha
individualmente cria um crculo (de raio ) de frente de onda. A
envoltoria destes crculos determina a frente de onda t+ .
176
i
i
mecNew
2011/10/11
page 177
i
177
Essa propriedade e o que se denomina (em termos simplificados)
o princpio de Huygens.
O mesmo princpio e tambem v
alido para a propagacao da luz a
partir de um ponto p0 onde acendemos a luz no tempo inicial t0 . A
luz tem velocidade finita e a separacao entre a regi
ao iluminada num
tempo T e a regi
ao ainda nao iluminada e a frente de onda.
Em certos cristais a luz nao se propaga em linha reta e as frentes
de onda nao s
ao necessariamente crculos. Podem haver direcoes em
que a luz tem mais facilidade de se propagar. Este fato se deve muitas
vezes `
a estrutura molecular do cristal e e conhecido como anisotropia,
ou nao-homogeneidade do meio.
Para descrever matematicamente a evolucao da frente de onda,
vamos supor que existe uma funcao S(x, t), S : Rn R R que vai
descrever de maneira implcita a posicao da frente de onda, isto e,
dado t1 R, t1 > 0, S(x, t1 ) = 0, vai definir a hipersuperfcie t1 em
Rn , que define a frente de onda no tempo t1 . Vamos supor sempre
que
!
!2
!2
S
S
S 2
+ ... +
+
6= 0.
x1
x2
xn
Referimos o leitor para [BF] e [Jo] para uma explanacao mais
completa dos t
opicos a serem apresentados a seguir.
p
ao para
Exemplo 9.1. Considere S(x, t) = x21 + ... + x2n t, ent
t > 0 a frente de onda p
ser
a
a
esfera
com
raio
t,
ou
seja,
o
conjunto
t
dos (x1 , ..., xn ) tal que x21 + ... + x2n t = 0.
No caso n = 2, a funca
o S descreve a evoluca
o da frente de
onda de uma pequena pedra lancada no tempo t = 0 na superfcie
f
de um lago (na posica
o (0, 0)). E
acil ver geometricamente que a
propriedade da envolt
oria das curvas de nvel por crculos e verdade
para tal S. Estamos neste caso supondo que a propagaca
o da onda e
isotr
opica e homogenea (vamos definir estes conceitos mais precisamente em breve).
Note que tal S satisfaz a equaca
o diferencial
S
x1
2
S
x2
2
S
= 1,
t
i
i
178
mecNew
2011/10/11
page 178
i
ou equivalentemente
s
S
x1
2
S
x2
2
S
= 1.
t
S
x1
ou equivalentemente
s
2
S
x1
2
2
1 S
S
= ,
4 x2
t
2
1 S
S
= .
4 x2
t
i
i
mecNew
2011/10/11
page 179
i
179
` expressao S(q, t) = S(q) wt que usamos anteriormente quando
a
est
avamos analisando solucoes da equacao de Hamilton-Jacobi na
Secao 8, Captulo 3 [L]).
Que tipo de restricoes tal funcao S deve satisfazer?
Suponha, 0 = S(x, t) = S(x) t, para t fixo, vai descrever a curva
que estabelece a frente de onda no tempo t. Pelo princpio de Huygens
a curva de nvel no tempo t+ e obtida como a envoltoria de crculos
(o meio e homogeneo e isotr
opico) de raio e centrados sobre a curva
de nvel no tempo t. Esta situacao, no caso do plano, e exatamente
aquela que analisamos na secao anterior e sabemos portanto que neste
caso S deve satisfazer a equacao da eikonal
!2
!2
S
S
+
= 1.
x1
x2
possvel tambem mostrar no caso geral do Rn , que a funcao S
E
deve satisfazer
!2
!2
!2
S
S
S
+
+ ... +
= 1.
x1
x2
xn
Esta equacao e tambem denominada equacao da eikonal e e um
caso particular de equacao de Hamilton-Jacobi autonoma (ver (3.13)
Secao 8, Captulo 3 [L]). A relacao desta equacao com a equacao de
Hamilton sera o objetivo das nossas proximas consideracoes.
A relacao entre raios de luz e frentes de onda vai nos possibilitar entender a raz
ao da introducao do ponto de vista de frentes de
onda de Hamilton de entender a Mecanica Cl
assica. Vamos a seguir
explicar melhor esta relacao.
Na verdade este ponto de vista e, nada mais nada menos, que o
princpio de Huygens para a Mecanica Hamiltoniana.
Voltando ao caso geral, considere S(x, t) que vai descrever para
cada tempo t, a frente de onda no tempo t atraves da curva obtida
implicitamente pela equacao S(x, t) = 0.
Suponha que x(t) vai descrever uma curva em Rn tal que t R,
x(t) t . Em outras palavras, x(t) vai estar sempre na frente de
onda. Sendo assim, S(x(t), t) = 0, t R, t > 0 e, portanto,
S
S
S
S
x1 +
x2 + ... +
xn +
=0
x1
x2
xn
t
i
i
180
mecNew
2011/10/11
page 180
i
ou seja
hS, x i =
S
.
t
Observa
c
ao 9.1. Considere S(x, t) que descreve atraves de S(x, t) =
0 a evoluca
o temporal de uma frente de onda causada por uma fonte
pontual luminosa localizada em um ponto x0 . Para t fixo, a envolt
oria dos caminhos z(s), s [0, t] (todos com velocidade constante
kz (s)k = 1, s (0, t)) com ponto inicial x0 = z(0) e ponto final z(t)
determina a frente de onda. Um caminho x(s) entre tantos possveis
z(s), que est
a localizado de tal jeito que x(t) est
a na frente de onda
S(x, t) = 0 vai representar o raio de luz fisicamente observ
avel. Este
caminho x(s) e o que realmente se chama de raio de luz.
Ora, S e perpendicular a t , logo a componente do vetor x (t)
S
(normal `
a frente de onda) e
na direcao kSk
S
t
kSk
S
t
kSk2
S.
Defini
c
ao 9.2. O m
odulo do vetor velocidade de frente de onda e
dado por
S
t
kSk
> 0.
i
i
mecNew
2011/10/11
page 181
i
181
Assuma agora que S(x, t) = (x)t, isto significa que a velocidade
de propagacao da onda e
S
t
kSk
1
1
=
.
kSk
kk
Fica portanto justificado porque e bastante comum quando buscamos encontrar solucoes da equacao de Hamilton-Jacobi tentar encontrar solucoes da forma S(q, t) = S(q) wt.
Vamos analisar agora a propagacao de ondas de um ponto de vista
bastante geral. Vamos descrever a lei fsica que S(x, t) deve satisfazer.
O modulo do vetor velocidade da propagacao da onda deve satisfazer uma lei que e chamada de propriedade constitutiva do meio
contnuo. Essa lei, que como veremos a seguir e bastante natural,
envolve uma funcao H0 (x, p), onde x Rn , (mas definida apenas
para valores unitarios, ou seja p Rn , kpk = 1) que vai descrever
propriedades microsc
opicas do meio. A lei determina que o modulo
do vetor velocidade de propagacao da onda
S
t
kSk
satisfaca
S
t
kSk
= H0
!
S
x,
.
kSk
(9.1)
i
i
182
mecNew
2011/10/11
page 182
i
no sistema em consideracao. H0 vai descrever a falta de homogeneidade e anisotropia (ou nao) que existe no meio. Esta lei local (9.1)
vai determinar propriedades globais (macroscopicas) do sistema (por
exemplo a forma das frentes de onda a partir de uma perturbacao
inicial em um certo ponto do meio) como veremos a seguir.
Atraves de consideracoes de natureza fsica e geometrica e natural
agora estabelecer que H seja homogenea na segunda variavel, ou seja,
que
H(x, p) = H0 (x, p).
(9.2)
Por exemplo, se estivermos analisando uma metrica Riemamnniana < , > como Hamiltoniano, e mais natural neste caso, considerar
R
(9.3)
i
i
mecNew
2011/10/11
page 183
i
183
a equacao
S
= H(x, S) =
t
s
S
x1
2
S
x2
2
1=
+
.
x1
x2
A conclus
ao portanto e que a equacao constitutiva
0=
S
+ H(x, S)
t
S
S p
+ H(q, p) =
+ H(q, p)
t
t
i
i
184
mecNew
2011/10/11
page 184
i
Acreditamos que neste momento tenha ficado transparente a relacao do princpio de Huygens com a Mecanica Hamiltoniana, em particular com a equacao de Hamilton-Jacobi. A propagacao de frentes
de onda e a inspiracao principal para este ponto de vista da Mecanica
Cl
assica.
Uma boa justificativa porque os raios de luz podem ser interpretados como geodesicas aparece na Observacao 9.1 e subsequente
conclus
ao no fim da proxima secao.
A quest
ao relevante do ponto de vista Fsico e a seguinte: considere um sistema Hamiltoniano definido por H(q, p) e
(q(t), p(t)) = (x1 (t), x2 (t), p1 (t), p2 (t))
solucao do problema mec
anico. Desejamos analisar a partir de uma
frente de onda de condicoes iniciais de posicao e velocidade (q, p) =
(q(s), p(s)) = (x1 (s), x2 (s), p1 (s), p2 (s)), s (a, b), a evolucao desta
frente de onda com o tempo t segundo o sistema mec
anico. Isto e,
desejamos descobrir a funcao
(q(s, t), p(s, t)) = (x1 (s, t), x2 (s, t), p1 (s, t), p2 (s, t)) =
= (xs1 (t), xs2 (t), ps1 (t), ps2 (t))
que determina a posicao da condicao inicial
(q(s), p(s)) = (x1 (s, 0), x2 (s, 0), p1 (s, 0), p2 (s, 0))
apos decorrido tempo t.
i
i
mecNew
2011/10/11
page 185
i
185
Em outras palavras gostaramos de determinar a evolucao temporal de um feixe (uma frente de onda) de condicoes iniciais. Como
veremos a seguir, a Mecanica Hamiltoniana permite tal tratamento.
Vamos agora analisar a evolucao de frentes de onda de condicoes
iniciais no espaco de fase da Mecanica Hamiltoniana.
Considere um Hamiltoniano H, por exemplo
2
H(q, p) = U (q) +
1X 2
1X 2
pi = U (x1 , x2 ) +
p
2 i=1
2 i=1 i
(9.4)
S
+ H(q, S)
t
, p2 =
.
x1
x2
i
i
186
mecNew
2011/10/11
page 186
i
H
F
=
p1
p1
x2 =
F
H
=
p2
p2
= p1
F
F
+ p2
p1
p2
p1 =
F
H
=
x1
x1
p2 =
F
H
=
x2
x2
(9.5)
As primeiras duas e as u
ltimas duas equacoes acima definem as
solucoes do campo de vetores Hamiltoniano no plano (x1 , x2 , p1 , p2 ).
Logo as caractersticas de equacao de Hamilton-Jacobi projetadas
no espaco (x1 , x2 , p1 , p2 ) s
ao as solucoes das equacoes de Hamilton.
O Teorema de Hamilton-Jacobi (Teoremas 22 e 23), que apresentamos na Secao 9 [L], afirma que se pode passar diretamente da
solucao completa para as caractersticas da EDP de Hamilton-Jacobi.
A terceira equacao de (9.5) afirma que as caractersticas (solucoes
da equacao de Hamilton) (x1 (t), x2 (t), p1 (t), p2 (t)) s
ao tais que a
funcao
(x1 (t), x2 (t))
satisfaz
X
d X
pi Fpi .
pi Hpi =
=
dt
i=1
i=1
i
i
mecNew
2011/10/11
page 187
i
187
a seguir). Esta quest
ao e fundamental em Mecanica Estatstica e
Mecanica Qu
antica (ver [OA]). A propriedade importante descrita a
seguir, nao e para um sistema mec
anico qualquer, mas apenas para
um sistema associado a uma metrica Riemanniana. Lembre que e
muitas vezes possvel transformar por mudanca de parametro temporal um problema mec
anico em um problema geometrico (ver Teorema
20 e Corolario 21, Captulo 2 [L]).
Propriedade Importante: Seja o Hamiltoniano
H(q, p) = a(q)p21 + 2c(q)p1 p2 + b(q)p22
q = (x1 , x2 ), p = (p1 , p2 ), e seja S(q, t) = (q)t solucao da respectiva
equacao de Hamilton-Jacobi
!
S
S
,
+ H q,
0=
t
q
ou seja satisfaz
,
1 = H q,
q
i
i
188
mecNew
2011/10/11
page 188
i
=
x1 s (t) +
x2 s (t) =
dt
x1
x2
p1 Hp1 + p2 Hp2 = p1 (2a(q)p1 + 2c(q)p2 ) + p2 (2c(q)p1 + 2b(q)p2 ) =
2H(q(s, t), p(s, t)).
facil ver pela Observacao 46 que para o Hamiltoniano
E
H(q, p) = a(q)p21 + 2c(q)p1 p2 + b(q)p22 ,
a condicao
F (x1 (s), x2 (s), (s), p1 (s), p2 (s)) =
= H(x1 (s), x2 (s), p1 (s), p2 (s)) 1 = 0
i
i
mecNew
2011/10/11
page 189
i
189
com a condicao inicial da frente de onda na posicao
q(s) = (x1 (s), x2 (s)) R2
dada. Ent
ao, pela Propriedade Importante (x) t = S(x, t) = 0,
vai descrever implicitamente a posicao espacial da frente de onda no
tempo t1 .
Vamos considerar no tempo t = 0, condicoes iniciais (x1 (s), x2 (s))
e perguntar a posicao desta frente de onda apos decorrido tempo t.
Vamos utilizar o resultado mencionado pela Propriedade Importante
visto anteriormente.
Vamos tentar resolver este problema atraves dos dois metodos
desenvolvidos antes: o metodo da integral completa e o metodo das
caractersticas.
Primeiro vamos aplicar o metodo das caractersticas.
Usando a notacao da Secao 7, a Equacao diferencial parcial de 1a
ordem nao linear
!2
!2
+
=1
x1
x2
pode ser expressa como 0 = F (x1 , x2 , , p1 , p2 ) = 1 (p21 + p22 ) =
1 (2x + 2y ) onde p1 = x e p2 = y .
Vamos analisar neste caso a expressao das equacoes das caractersticas da EDP, F (x1 , x2 , , p1 , p2 ) = 0 . Neste caso, a equacao
e
p21 + p22 1 = 0,
ou seja, neste caso F (p1 , p2 ) = p21 + p22 1.
Usando a expressao das equacoes das caractersticas obtemos
dx1
dt
dx2
dt
d
dt
dp1
dt
= 2p1
= 2p2
= 2p21 + 2p22
=0
i
i
190
mecNew
2011/10/11
page 190
i
dp2
= 0.
dt
(9.6)
Observa
c
ao 9.2. Note que no caso acima, o vetor gradiente da
frente de onda = p e colinear com x .
Observa
c
ao 9.3. Das equaco
es das caractersticas acima, as caractersticas (x1 (t), x2 (t), (t), p1 (t), p2 (t)) devem portanto satisfazer
!
d2 x1
d dx1
d
=
= (2pi ) = 0
2
dt
dt dt
dt
e
d2 x2
d
=
dt2
dt
dx2
dt
d
(2p2 ) = 0.
dt
+
= 1,
x1
x2
sujeita a
`s condico
es
(x1 (s), x2 (s), (s), p1 (s), p2 (s)) = (cos s, sin s, 1, cos s, sin s).
Observe que p1 (s) e p2 (s) s
ao compatveis com (x1 (s), x2 (s), (s))
como e necess
ario assumir no problema em consideraca
o (Seca
o 7).
i
i
mecNew
2011/10/11
page 191
i
191
As caractersticas j
a foram calculadas acima, e portanto as caraces
tersticas (xs1 (t), xs2 (t), s (t), ps1 (t), ps2 (t)) obtidas a partir das condico
iniciais
(cos s, sin s, 1, cos s, sin s),
s
ao
xs1 (t) = 2p1 (s)t + cos s = 2 cos(s)t + cos(s)
xs2 (t) = 2p2 (s)t + sin s = 2 sin(s)t + sin(s)
s (t) = 2t + 1
ps1 (t) = cos s
ps2 (t) = sin s.
Observa
c
ao 9.4. Note que a partir de p(s) = (p1 (s), p2 (s)) fixado, o
ao se altera, ou seja neste caso particular,
vetor ps (t) = (ps1 (t), ps2 (t)) n
o momento se conserva.
Antes de expressar a funca
o nas coordenadas (x1 , x2 ), devemos
relacionar as coordenadas (s, t) e as coordenadas (x1 , x2 ).
Ora, (x1 (s, t), x2 (s, t)) = (cos s(2t+1), sin s(2t+1)), logo x21 +x22 =
2
cos s(2t + 1)2 + sin2 s(2t + 1)2 = (2t + 1)2 .
Portanto,
q
1
t=
x21 + x22 1
2
e como x1 = cos s(2t + 1) ent
ao
s = arccos
Em conclus
ao
(s(x1 , x2 ), t(x1 , x2 )) =
x1
x1
= arccos p 2
.
2t + 1
x1 + x22
1
,
arccos p 2
2
x1 + x2 2
x1
q
x21
x22
!
1
.
i
i
192
mecNew
2011/10/11
page 192
i
2
g (x2 ) = 1.
Como f (x1 )2 = 1g (x2 )2 , ent
ao f (x1 ) n
ao depende de x1 . Logo
g (x2 ) = sin a.
Portanto, f (x1 ) = x1 cos a + c1 e g(x2 ) = x2 sin a + c2 .
Finalmente conclumos que
f (x1 , x2 , a, b) = f (a,b) (x1 , x2 ) = x1 cos a + x2 sin a + b
e uma famlia completa de soluco
es da equaca
o diferencial parcial
2x1 + 2x2 = 1.
Exemplo 9.6. Vamos agora encontrar a soluca
o de 2x1 + 2x2 = 1
com as condico
es iniciais (x1 (s), x2 (s), (s)) = (cos s, sin s, 1), 0
t 2.
Como vimos antes no par
agrafo sobre envolt
orias, primeiro devemos encontrar (a(s), b(s)) soluca
o de
1 = z(s) = x1 (s) cos a(s) + x2 (s) sin a(s) + b(s)
= cos s cos a(s) + sin s sin a(s) + b(s)
(9.7)
e
0 = z (s) =
f
f
x (s) +
x (s) = ( cos a(s) sin s + sin a(s) cos s).
x1 1
x2
(9.8)
i
i
mecNew
2011/10/11
page 193
i
193
f
E
acil derivar que a(s) = s, b = 0 s
ao as soluco
es do sistema
(9.7) e (9.8).
Devemos portanto considerar a famlia a um par
ametro s, dada
por
f t (x1 , x2 ) = x1 cos a(s) + x2 sin a(s) + 0 = x1 cos s + x2 sin s.
A envolt
oria desta famlia nos permitir
a obter a soluca
o z(x1 , x2 ).
Fixe (x1 , x2 ) R2 , vamos encontrar quem e s(x1 ,x2 ) que satisfaz
0=
f
= x1 sin s + x2 cos s
s
x2
.
x1
x2
x2 + x2
x1
+ x2
= p1 2 2 2 =
r
r
x1 + x2
q
x21 + x22 .
a
c
c b
i
i
194
mecNew
2011/10/11
page 194
i
H(x, p) =
1/4
0
0
1
ent
ao a equaca
o de Hamilton-Jacobi associada e
0 = 1 +
S
x1
2
1
+
4
S
x2
2
i
i
mecNew
2011/10/11
page 195
i
195
o de tal equaca
o j
a foi considerada no exemplo S(x, t) =
p Uma soluca
x21 + 4x22 t.
Neste caso um dist
urbio inicial no ponto (0,0) vai gerar frentes de
onda com forma de elipses. Um propriedade macrosc
opica, a forma
da frente de onda, e ent
ao determinada por uma propriedade microsc
opica.
S descreve a evoluca
o em um meio homogeneo anisotr
opico.
Exemplo 9.8. Uma metrica Riemanniana pode ter os coeficientes
a(x1 , x2 ), b(x1 , x2 ), c(x1 , x2 )
dependendo da vari
avel (x1 , x2 ). Considerando L o Lagrangiano associado a
` metrica Riemanniana
L=a
(x1 , x2 )p21 + 2
c(x1 , x2 )p1 p2 + b(x1 , x2 )p22 ,
e seu correspondente Hamiltoniano H (ver (3.1) Seca
o 2, Captulo 3).
Ent
ao a equaca
o constitutiva natural ao problema e dado por
S
= H(x, S)
t
onde
H(x, p) = H(x1 , x2 , p1 , p2 ) =
1 b(x1 , x2 )p21 2
c(x1 , x2 )p1 p2 + a
(x1 , x2 )p22
.
4
a
c b2
b
c
a
1
1
1
, c=
, b=
.
2
2
4a
4
4
b c
a
b c
a
b c2
(9.9)
i
i
196
mecNew
2011/10/11
page 196
i
onde p1 = x1 , p2 = x2 .
Sendo assim a equaca
o constitutiva do meio (ou seja a equaca
o
de Hamilton-Jacobi) determina a equaca
o diferencial parcial 0 =
F (x1 , x2 , , p1 , p2 ) = a(x1 , x2 )p21 + 2c(x1 , x2 )p1 p2 + b(x1 , x2 )p22 1,
onde p1 = x1 e p2 = x2 .
Note que F n
ao depende de , mas depende neste caso de x1 e
x2 . Sendo assim, as equaco
es das caractersticas n
ao determinar
ao
mais (como no Exemplo 9.4) que p(t) e constante. Isto se deve a
`
dependencia de H(x, p) em x e em p. A falta de homogeneidade e
isotropia do meio e descrita pela metrica Riemanniana L (ou mais
precisamente pela metrica Riemanniana H). Note que neste caso
n
ao estamos considerando nenhum termo correspondente a
` energia
potencial. O Hamiltoniano neste caso e dado pelo m
odulo ao quadradado do vetor velocidade considerando a norma descrita pela metrica
Riemanniana. Lembre que para fins de c
alculo do traco das curvas
soluco
es do sistema (ver Seca
o 7), tanto faz tomar a raiz quadrada
ou n
ao na express
ao do Hamiltoniano acima.
Afirmamos que as geodesicas desta metrica Riemanniana nas coordenadas (q, p) desempenhar
ao o papel das caractersticas, pois a
equaca
o das caractersticas para
0 = F (x1 , x2 , z, p1 , p2 ) = a(x1 , x2 )p21 + 2c(x1 , x2 )p1 p2 + b(x1 , x2 )p22 1
s
ao
F
= 2ap1 + 2cp2
p1
F
x2 (t) =
= 2cp1 + 2bp2
p2
F
p1 (t) =
x1
F
p2 (t) =
.
x2
x1 (t) =
e determinam as equaco
es das equaco
es geodesicas. Esta afirmaca
o
foi demonstrada anteriormente para um Hamiltoniano qualquer, isto
e, mostramos que as caractersticas s
ao as trajet
orias do sistema Hamiltoniano (que no caso em consideraca
o s
o possui energia cinetica).
i
i
mecNew
2011/10/11
page 197
i
197
As geodesicas s
ao portanto as caractersticas da equaca
o diferencial parcial
0 = F (x1 , x2 , z, p1 , p2 ) = a(x1 , x2 )p21 +2c(x1 , x2 )p1 p2 +b(x1 , x2 )p22 1.
A velocidade da luz e finita e ap
os uma normalizaca
o podemos
supor que esta velocidade e igual a 1, sendo assim, fixado um
Pponto
inicial q0 onde no tempo 0 se acende a luz, a frente de onda T e o
conjunto dos pontos de plano (x1 , x2 ) que distam T de q0 .
As envolt
orias por raios de luz (ou por geodesicas) determinam as
frentes de ondas num cristal conforme Observaca
o anterior.
A conclus
ao final e que as geodesicas fazem o papel dos raios de
luz e das caractersticas. Esta conclus
ao traduz fielmente a relaca
o
entre a Mec
anica Hamiltoniana e a propagaca
o de frentes de onda.
Note
P que no caso da metrica Riemanniana da esfera, a frente de
onda T emitida a partir de um polo q0 , ap
os um certo tempo T0
ir
a colapsar no outro polo (ver Figura 3.10 b)).
Este fen
omeno, que nem sempre ocorre, e denominado de criaca
o
de c
austicas. Em termos matem
aticos dizemos que o aparecimento
das c
austicas est
a associado a
` existencia de pontos conjugados. Referimos o leitor a [MC3] para maiores consideraco
es sobre este t
opico.
Exerccio: No caso da metrica hiperbolica
1 x1 2
x2 2
,
+
2 x22
x22
o momento p1 =
Jacobi associada.
L
x1
x1
x22
Observa
c
ao 9.5. Em geral, para um H como acima (9.9), oriundo
de uma metrica Riemanniana
(x1 , x2 ) = (2ap1 + 2cp2 , 2cp1 + 2bp2 ).
(9.10)
Logo em geral x e p n
ao s
ao colineares.
No caso da metrica Euclidiana, no entanto, x e p s
ao colineares
(ver Observacao 48).
i
i
198
mecNew
2011/10/11
page 198
i
Observa
c
ao 9.6. As equaco
es das caractersticas afirmam, no caso
de uma metrica Riemanniana geral, as geodesicas s
ao asPcaractersticas (projetadas em (x1 , ..., xn )). Uma frente de onda t causada
por uma perturbaca
o pontual em q0 e constitudo pelo conjunto dos
pontos que distam t de q0 .
Note que p e perpendicular a
` frente de onda, pois S = p, mas o
vetor q n
ao necessariamente (se o meio n
ao for homogeneo e anisotr
opico) conforme mostra a express
ao (9.10) na Observaca
o 9.5 (ver
Figura 8.3).
Em conclus
ao, podemos afirmar que as consideracoes feitas anteriormentes sobre raios da luz e geodesicas como geradores de frentes
de onda, foi a inspiracao para o ponto de vista de Hamilton de tentar analisar a Mecanica Cl
assica atraves de um ponto de vista de
perturbacao por frentes ondas de um meio contnuo.
i
i
mecNew
2011/10/11
page 199
i
Captulo 10
A Equac
ao da Onda
O que chamamos de raio de luz nas secoes anteriores, correspondia
a geodesicas de uma metrica Riemanniana. Na verdade, uma caracterstica importante do raio de luz fsico real e o seu car
ater ondulatorio, o qual nao foi considerado na nossa analise anterior [Lu].
A luz e um fenomeno eletromagnetico, que obedece as equacoes
de Maxwell (ver [Go]). A partir desta equacao, pode se mostrar que
a luz obedece a equacao da onda em R3 .
Abstraindo o car
ater ondulatorio da luz, conseguimos nas secoes
anteriores entender o relacionamento da Acao com as frentes de onda
e as geodesicas.
Vamos descrever agora brevemente a luz (por abuso de linguagem
vamos chamar de raio de luz) como uma onda e relacionar o que foi
descrito anteriormente com este novo ponto de vista (ver Observacao
10.2 ao fim desta secao).
Referimos o leitor para [Go] para referencias gerais sobre o assunto.
Para isto necessitaremos considerar a equacao da onda em R3
2 2 2 2 2
+
+
2 2 =0
x21
x22
x23
c t
(10.1)
i
i
200
mecNew
2011/10/11
page 200
i
DA ONDA
[CAP. 10: A EQUAC
AO
(10.2)
i
i
mecNew
2011/10/11
page 201
i
201
Vamos denominar este valor do perodo de fase otica.
Sendo assim, para t0 fixo, o valor de se repete espacialmente na
2
direcao r com perodo krk
.
Esta periodicidade espacial vai acontecer tambem de maneira temporal para x fixo quando variarmos t0 . Isto e expresso pelo termo
ei wt0 na expressao = 0 ei(hx,riwt) = 0 eihx,ri eiwt . Logo para x
fixo, de tempos em tempos (com frequencia w) repetem-se os valores
de .
Fica assim descrito de maneira geral como devemos entender o
raio de luz individualizado (x, t) = 0 ei(hx,riwt) . Para cada w e
r fixos, associamos um raio de luz = r,w . Tal = (x, t) =
0 ei(hx,riwt) e uma funcao que depende de (x, t).
Considere w fixo e uma funcao f (x) = ft0 (x) que vai descrever
um feixe da raios de luz no tempo t0 .
A variavel real = hx, ri como vimos antes vai determinar uma
periodicidade em eihx,ri = ei e sendo assim podemos encar
a-lo como
um gerador de funcoes f (x) na variavel x via Transformada de Fourier. Ou seja f (x) vai ser uma combinacao de r para diferentes r (ou
seja um feixe de raios individualizados de luz r dado pela expressao
(10.2)). Mais precisamente, dado f (x), considere a transformada de
R
Fourier f(r) tal que f (x) = f(r)(ei<r,x> )dr.
Logo
Z
f (x, t) = f (x) ei w t = ( f(r)(ei<x,r> )dr)eiwt =
Z
f(r)ei(<x,r>wt) dr
(10.3)
i
i
202
mecNew
2011/10/11
page 202
i
DA ONDA
[CAP. 10: A EQUAC
AO
i
i
mecNew
2011/10/11
page 203
i
203
muito interessante e importante com a equacao de Hamilton-Jacobi
vai aparecer.
Considere (x) uma funcao no R3 e a equacao
d2
d2
d2
2 (x) d2
+
+
=0
dx21
dx22
dx23
c2 dt2
(10.5)
A analise que vamos fazer neste caso corresponde aos raios de luz
em um meio nao homogeneo.
Uma solucao para a equacao com variavel, nao vai mais neste
caso ser uma onda plana. A solucao que se busca e da forma
= eA(x)+i(S(x) k0 w t) .
(10.6)
w2
.
c2
(10.7)
Vamos tentar agora relacionar a teoria descrita acima com a Teoria de Hamilton-Jacobi. Em particular desejamos tentar entender
melhor o papel desempenhado por S.
i
i
204
mecNew
2011/10/11
page 204
i
DA ONDA
[CAP. 10: A EQUAC
AO
S
x1
2
S
x2
2
S
x3
2
= 2 (x).
(10.8)
Esta equaca
o e a Equaca
o de Hamilton-Jacobi (9.3) para o Hamiltoniano
H(q, p) = p21 + p22 + p23 2 (x) + 1.
(10.9)
Sendo assim, como vimos antes a funca
o S soluca
o da equaca
o
(10.8) acima, deve corresponder a
` Aca
o de um sistema mec
anico.
i
i
mecNew
2011/10/11
page 205
i
205
O termo corresponde a falta de homogeneidade do meio no caso
dos raios de luz num cristal.
Por exemplo, se e constante igual a 1, a partir de (10.8) determinamos que S deve satisfazer a equaca
o de Hamilton-Jacobi aut
onoma
o da eikonal.
associada ao Hamiltoniano p21 +p22 +p23 , ou seja a equaca
Note que uma vez que se obtem S, a funca
o A satisfazendo
S + 2 hA, Si = 0,
pode ser facilmente obtida por integraca
o. Desta maneira, com as
hip
oteses acima, obtemos a soluca
o
= eA(x)+i(S(x) k0 w t) .
Observa
c
ao 10.2. O Lagrangiano associado a tal Hamiltoniano
(10.9) e
L(q, p) = 4(p21 + p22 + p23 ) + 2 (x) 1.
Pelo Teorema de Mauperitus (Teorema 20, Seca
o 7, Captulo 2)
o problema mec
anico associado a tal Lagrangiano, e equivalente a
considerar um Lagrangiano da forma
1 , x2 , x3 , p1 , p2 , p3 ) = hM (x)(p1 , p2 , p3 ), (p1 , p2 , p3 )i,
L(x
onde M (x) e uma matriz positiva definida que depende da posica
o x.
Ou seja, as equaco
es da equaca
o de Hamilton do sistema (10.9) s
ao
geodesicas (a menos de reparametrizaca
o do tempo) de uma metrica
Riemanniana L (ver Seca
o 6, Captulo 2 [L]).
Conclus
ao: Conclumos que o S que aparece na expressao do feixe
da raios de luz deve ser aproximadamente igual `a solucao da equacao
de Hamilton-Jacobi para um problema de Mecanica Cl
assica (se k0
for tomado bem grande). Portanto, S corresponde aproximadamente
a acao de um sistema mec
anico. No limite, tomando k0 = , ent
ao
S e realmente a acao de um sistema mec
anico definido pelo Hamiltoniano (10.9), como descrito acima. As superfcies com S constante
v
ao representar superfcies de fase constante. A Teoria de Hamilton
Jacobi nos diz ent
ao que a Mecanica Cl
assica corresponde `a Otica
2
Geometrica (fazendo um limite em que k0 vai a ). Este tipo de
resultado e essencial na Teoria semi-classica da Mecanica Quantica.
i
i
206
mecNew
2011/10/11
page 206
i
DA ONDA
[CAP. 10: A EQUAC
AO
i
i
mecNew
2011/10/11
page 207
i
Captulo 11
O M
etodo da Fase
Estacion
aria e suas
Aplicac
oes em Otica
11.1
Introdu
c
ao
i
i
208
mecNew
2011/10/11
page 208
i
F ( ) G( )
Duas funcoes F e G que tem o mesmo comportamento assint
otico
s
ao quase que indistinguveis para valores de grandes.
Em Otica
o f (x) representa a amplitude, a frequencia e o (x)
a fase de uma onda que e descrita pela expressao acima [3], [4] e
i
i
mecNew
2011/10/11
page 209
i
209
11.2
Fase Estacion
aria
Proposi
c
ao 11.1. Seja f C0 (IR), ou seja uma funca
o C com
suporte compacto, ent
ao
Z
f (x)ei x dx
F ( ) =
e de decrescimento r
apido.
Demonstra
c
ao: De fato, segue de propriedades de Series de Fourier
(apenas integracao por partes) que
Z
Z
1 df (x) i x
i x
f (x)e dx =
F ( ) =
e dx
i dx
Ent
ao | n F ( )| (b a)Maxaxb d dfn(x)
x , onde o intervalo (a, b)
contem o suporte de f e a, b s
ao constantes reais.
Logo F ( ) n e limitada para todo n, portanto
F ( ) n1 tende a zero para todo n quando vai a infinito. Resultado analogo vale para as derivadas k-esimas. Logo, tal F ( ) tem
decrescimento r
apido.
Utilizando o ponto de vista de equivalencia , podemos dizer, do
ponto de vista da Definicao 11.2 que podemos substituir F ( ) por 0
para grande, ou seja
Z
f (x)ei x dx 0.
F ( ) =
f (x)ei (x) dx
i
i
210
mecNew
2011/10/11
page 210
i
Proposi
c
ao 11.2. Se (x) n
ao tem zeros no suporte de f ent
ao
vale que
Z
f (x)ei (x) dx 0.
F ( ) =
Demostra
c
ao: Para cada tal que ( ) = 0, podemos escolher um
intervalo aberto U = ( , +) disjunto do suporte de f . Por outro
f (x)ei (x) dx 0,
din
ario (e crtico nao degenerado para ). Se (a) = 0, (a) = 0
dizemos que a e ponto de caustica.
Um caso importante foi estudado por Fresnel, que corresponde a
(x) = x2 . Neste caso x = 0 e ponto estacion
ario ordinario para .
Lembre que
Z
Z
2
2
1
eix dx =
eiy dy = ei/4
Desejamos calcular
F ( ) =
f (x)ei x dx
Ora
Z
Z
2
i/4
i x2
ei x dx =
f (x)e
dx f (0)
e
=
F ( ) f (0)
= lim
i
i
mecNew
2011/10/11
page 211
i
211
c
x2
ei x g(x) x=R
1
|x=R
2i
2i
(0)
fR
g (x)ei x dx.
(0)
Se R e grande, g(R) =
e g(R) = f R
.
Decorre da que
Z
Z R
2
2
1
g (x)ei x dx.
(f (x) f (0))ei x dx =
lim
R R
2i
Sendo assim,
i
F ( ) = ei/4 f (0) 1/2 +
2
g (x)ei x dx.
i
g (x)ei x dx
2
e uma constante finita; esta integral vai a zero quando vai a infinito.
Como 1 vai azero mais r
apido que 1/2 Rquando vai a infi
2
1/2
domina o termo 2i g (x)ei x dx na
nito, o termo f (0)
convergencia a zero de F ( ) quando vai a infinito.
Fazendo o mesmo procedimento m vezes obtemos:
R
2
Proposi
c
ao 11.3. Para todo m vale que se F ( ) = f (x)ei x dx,
ent
ao
m
X
f 2k (0) k1/2
+
ei/4 (i/2)k
F ( ) =
(2k)!!
k=0
Z
2
m+1
h(x)ei x dx,
+(i/(2 ))
onde h(x) e uma funca
o em C
(2k)!! = 2 4 6...(2(k 1)) (2k).
i
i
212
mecNew
2011/10/11
page 212
i
A funcao h acima e obtida recursivamente seguindo o procedimento do caso m = 1. O termo dominante na convergencia a zero da
expressao acima e de ordem 1/2 . Podemos afirmar que
em primeira
aproximacao o termo dominante de F ( ) e ei/4 f (0) 1/2 .
Gostaramos de fazer m tender a infinto para se ter ent
ao uma
expressao completa de F ( ) em serie, mas este procedimento pode
incorrer em problemas de convergencia da serie; esta e a raz
ao para
introduzir a seguir o conceito de uma serie convergir assint
oticamente
a uma funcao F ( ).
P
Defini
c
ao 11.3. Dizemos que 0 gk ( ) converge assintoticamente
a F ( ) C se fixados quaisquer r, s, existe M tal que para m fixo,
mM
m
dr F ( ) X dr gk ( ) s
)
( r
d
dr
k=0
e limitada quando .
P
Usaremos a notacao F ( )
cao
0 gk ( ) que estende a nota
anterior.
Note que a serie acima nao converge na maioria dos casos pelo
2k
(0)
podem ser qualquer coisa!!!
teorema de E. Borel [8]; os termos f(2k)!!
A expressao acima, no entanto, faz completo sentido matematico,
se interpretada de acordo com a u
ltima defini
cao.
P
k=0
f 2k (0) k1/2
ei/4 (i/2)k
(2k)!!
(11.1)
quando
F ( ) =
f (x)ei x dx.
i
i
mecNew
2011/10/11
page 213
i
213
Mais geralmente, por inducao
Z
2
(j)
(ix2 )j f (x)ei x dx.
F ( ) =
2k
(0)
Note que dependendo de f o termo (i/2)k f(2k)!!
pode ser qualquer coisa. De qualquer modo atraves de (1), no caso (x) = x2 , fomos capazes de caracterizar o comportamento assint
otico de F para
grande.
Vamos apresentar a seguir, a ttulo de ilustracao, um exemplo
que embora nao seja exatamente o caso considerado acima da a ideia
exata das quest
oes que desejamos analisar aqui.
O caso que vamos apresentar a baixo tem a vantagem de utilizar
apenas resultados elementares de Calculo Diferencial e Integral.
Considere a funcao F ( ) tomando valores reais como funcao da
variavel (vamos estar interessados apenas em valores grandes de ):
Z x
e
F ( ) =
dx.
1+x
0
X
(1)n n!
.
n+1
n=0
Observe que tal serie nao e convergente!!! A utilidade de considerar tal serie deriva do seguinte fato: F (2) e mal aproximado por
P (1)n n!
n=0 2n+1 , mas F (10) (neste caso = 10 pode ser considerado
grande) e aproximado com erro percentual de menos de 0, 0006 por
n
P3 (1)n n!
P
n!
es termos de n=0 (1)
s
ao
n+1
n=0 10n+1 , ou seja os primeiros tr
10
P3 (1)n n!
tais que | n=0 10n+1 F (10)| F (10)0, 0006.
i
i
214
mecNew
2011/10/11
page 214
i
dr F ( ) X dr gk ( ) s
|
dr
dr
k=0
e limitada quando .
Neste caso dizemos que
F ( )
gn ( ).
n=0
eries convergentes
PExiste numa diferenca fundamental entre s
a
=
G(
)
e
s
e
ries
assint
o
ticas,
quando
vai a infinito,
n
n=0
P
n
a
F
(
).
n
n=0
PN
No primeiro caso, dado e , existe N tal que | n=0 an n
G( )| < , enquanto no segundo caso, dado e N existe K > 0 tal
PN
que | n=0 an n F ( )| < N para > K. Note que o K depende
de e N ; estamos considerando na aproximacao um erro percentual
que leva em conta a grandeza do valor de utilizado.
Sendo assim, o que ocorre de fato no caso nas series assint
oticas,
e que para fixo a proximacao e boa para N pequeno, mas fica ruim
para N de ordem maior que .
n
n!
No nosso caso gn ( ) = (1)
n+1 e afirmamos que
F ( )
X
(1)n n!
,
n+1
n=0
i
i
mecNew
2011/10/11
page 215
i
215
portanto, para todo x
N
1
X
1
(1)N xN
(1)n xn +
=
.
1+x
1+x
0
N
1
X
n=0
(1)n n!
+ (1)N
n+1
e x xN
dx.
1+x
logo
|EN ( )| =
e x xN
dx <
1+x
e x xN
N!
dx = N +1 ,
1
N
1
X
n=0
(1)n n! N +1
|
N!
n+1
e N ! e uma constante.
Sendo assim, na Definicao 11.4, dado s = N + 1 devemos escolher
M = N . Note que para s = N + 1 fixado, a constante N ! e muito
grande (se N e grande) mas fixa.
Acreditamos que com o exemplo acima ficou claro o sentido da
afirmacao
X
(1)n n!
,
F ( )
n+1
n=0
i
i
216
11.3
mecNew
2011/10/11
page 216
i
Fase n
ao degenerada
(11.1)
Z
i y 2
g(y)e
dy.
=
i
i
mecNew
2011/10/11
page 217
i
217
Vamos considerar com mais detalhe agora o caso em que todos
os pontos crticos de s
ao nao-degenerados. Neste caso, temos que
escolher com mais cuidado os intervalos abertos Um , Vj .
claro que (x) (pj ) = (x pj ))2 j (x), onde j e analtica e
E
j (pj ) = 12 (pj ). Seja j = sgn (pj ). Definimos a nova variavel
q
y = (x pj ) j j (x)
na vizinhanca de pj . Temos
dy
(pj ) > 0.
dx
Tomamos Vj = (pj j , pj + j ) tal que seja v
alida a mudanca de
variavel neste intervalo. Depois escolhemos os Um tais que
j
j
Um pj , pj +
2
2
seja vazio para todos m e j. Nestas condicoes:
Z
pj +j
pj j
= ei (pj )
pj +j
pj j
= ei (pj )
y(pj +j )
j (x(y))f (x(y))eij y
y(pj j )
= ei (pj )
dx
dy =
dy
dx ij y2
e
dy,
j (x(y))f (x(y))
dy
i
i
218
mecNew
2011/10/11
page 218
i
1o
caso) (pj ) > 0. Neste caso, j = 1. Pelo visto antes,
Z +
+ k
i X
cjk k 1
i
dx i y2
4
2.
dy e
j (x(y))f (x(y)) e
dy
2
(2k)!!
k=0
2o
caso) (pj ) < 0. Neste caso, j = 1. Observemos que:
Z +
Z +
i y 2
g(y)e
dy =
g(y)ei y2 dy
ao,
para toda g C0 (IR). Ent
Z
j (x(y))f (x(y))
k
+
X
dx i y2
cjk k 1
i
2.
e
dy ei 4
dy
2 (2k)!!
k=0
Finalmente,
f (x)ei (x) dx
"
#
1
+ k
X
X
X
k 2
i
i
i (pj )
k i
i (pj )
4
4
e
.
e
cjk +(1) e
e
cjk
2
(2k)!!
k=0
(pj )>0
(pj )<0
Por definicao
cj0
1
dx
2f (pj )
dy
f (pj )
= f (pj ) (0) = f (pj )
(pj )
=p
=p
.
dy
dx
j j (pj )
| (pj )|
f (x)ei (x) dx =
"
ei( (pj ) 4 ) 1
ei( (pj )+ 4 ) X
f (pj ) p
+ 2
2 +0( 1 )
f (pj ) p
(p )|
(p )|
|
|
j
j
(p )<0
)>0
(pj
i
i
mecNew
2011/10/11
page 219
i
219
para +.
Fica ent
ao determinado o termo dominante de F ( ) como o termo
1
a esquerda da u
ltima linha (vai a zero como 2 ).
11.4
Aplica
c
ao `
as integrais de Airy generalizadas
Seja
F ( ) =
ei (x) dx
i
i
220
mecNew
2011/10/11
page 220
i
Mas este u
ltimo se calcula como antes, observando ainda que f = 1
na vizinhanca de cada ponto crtico de .
Vamos aplicar o anterior `
a funcao de Airy
Z +
1
1 3
Ai(t) =
+ t d
cos
2
3
e estudar seu comportamento para t .
Consideremos primeiro para t .
Ent
ao consideramos, para t +, a funcao:
Z +
1
1 3
G(t) = Ai(t) =
t d.
cos
2
3
2
1 Z +
3
2
1 3
2
dx.
x +x
cos
2
3
3
1
F ( ) =
=
3
2
cos
Logo,
F ( ) =
1
3
Re
2
+ i
2
2
1 3
3 x +x 3
dx
1 3
2
x + x2 .
3
3
Os pontos crticos s
ao p1 = 2 e p2 = 0. Temos que:
(p1 ) =
2
2
, (p1 ) = 2, (p2 ) = , (p2 ) = 2.
3
3
i
i
mecNew
2011/10/11
page 221
i
221
Obtemos:
2
2
i
!
#
"
3
4
3
4
1
e
e
1
3
F ( ) =
2
2 + 0( 1 )
+ 2
Re
2
2
2
1
2
1
2
= 2 6 cos
+ 0( 3 )
3
4
Logo,
G(t) =
12 41
cos
2 3
t2
3
4
+ 0(t1 )
resultado que melhora o de Olver pagina 103 mas que resulta tambem
de Olver pagina 392.
O mesmo metodo aplicado a Ai(t) para t + mostra que
Ai(t) 0 para t +.
Prova do Lema 11.2. Vamos notar Ck (IR) os espaco das funcoes
C f : IR C
I tais que, para todo j = 0, 1, , vale
dj f
= 0(|x|k )
dxj
para x .
Por exemplo, se f C (IR) e se existe K > 0 tal que
f (x) =
p(x)
q(x)
ent
ao p(x)f (x) Ckm
((IR).
Afirma
c
ao: Para cada k = 1, 2, 3, existe h Ck (IR) tal que
Z
g(x)ei (x) dx = ( )
h(x)ei (x) dx
i
i
222
mecNew
2011/10/11
page 222
i
Com efeito,
Z +
Z
1 + g(x) i (x)
g(x)ei (x) dx =
e
i (x)dx
i (x)
g(x)
C (IR)
(x)
porque g e nula sobre um aberto que contem os zeros de
Z
g(x)ei (x) dx =
. Logo,
+
Z
1 g(x) i (x)
i +
e
g1 (x)ei (x) dx
+
i (x)
onde
p(x)
q(x)
para |x| bastante grande, com p, q polin
omios e grau q-grau p = n
(lembremos que (g(x) = 1 para |x| bastante grande). Logo, como
g(x) = 1 para |x| bastante grande e grau 1,
Z
Z +
i +
g1 (x)ei (x) dx
g(x)ei (x) dx =
g1 (x) =
i
i
mecNew
2011/10/11
page 223
i
223
para 0 j m. Como m e arbitrario, G C (0, +) e G 0.
11.5
satisfaz
Fk ( )
Z
Z
m
m
i xm
dx = 1/(m ) (xf (x)) (ixm1 m ei x )dx.
= ix f (x)e
(xf (x)) ei x dx =
f (x)ei x dx 1/(m )
xf (x) ei x dx =
xf (x) ei x dx.
Ou seja,
m Fk ( )
+ Fk ( ) =
xf (x) ei x dx.
i
i
224
mecNew
2011/10/11
page 224
i
Ora,
xf (x) = kxk g(x) + xk+1 g (x) = kf (x) + xk+1 g (x).
Como 0 nao est
a no suporte de g (x), a Proposicao 11.2 nos diz
finalmente que m Fk ( ) + (k + 1)Fk ( ) e de decrescimento r
apido.
Como Fk est
a mplicito na u
ltimaRequacao, nao sabemos ainda
m
determinar o assint
otico de Fk ( ) = xk g(x)ei x dx, onde g e
constante igual a 1 numa vizinhanca de 0, mas sabemos que satisfaz
m Fk ( )+ (k + 1)Fk ( ) 0. Vamos a seguir determinar o assint
otico
de Fk ( ), mas antes precisamos uma definicao que vai contemplar a
possibilidade de termos o conceito de uma serie nao convergente ser
solucao de uma equacao diferencial (no sentido assint
otico).
Defini
c
ao 11.5. Sejam p0 ( ), p1 ( ), .., pn ( ) polin
omios. Dizemos
que a funca
o C , y( ), e soluca
o da equaca
o diferencial assint
otica
linear
pn ( )
dy( )
dn y( )
+ ... + p1 ( )
+ p0 ( )y( ) 0,
n
d
d
se
n
X
j=0
pj ( )
dj y( )
d j
e de decrescimento r
apido.
A partir da definicao acima note que as consideracoes feitas anteriormente mostram que Fk ( ) e solucao de
m
dy( )
+ (k + 1)y( ) 0,
d
ou equivalentemente
m
dy( )
+ (k + 1)y( ) = b( )
d
onde b( ) e de decrescimento r
apido.
Uma solucao particular da equacao acima e
Z
1 (k+1)/m (k+1m)/m
y( ) =
b(x)dx
x
i
i
mecNew
2011/10/11
page 225
i
225
que e de decrescimento r
apido.
A solucao geral e c (k+1)/m + y( ).
Decorre da que existe constante ck tal que Fk ( ) e assintoticamente equivalente a
ck (k+1)/m .
(11.2)
Conclumos portanto a analise do assint
otico de
Z
m
xk g(x)ei x dx
Fk ( ) =
dj
d j
xk g(x)ei x dx = N
dj
d j
f (x)ei x dx
1/(mi )
km+1
(xkm+1 g(x)) ei x dx
km
e (x
g(x)) = x
h(x) onde h(x) est
a em C0 , o que permite
iterar o calculo. O resultado segue de derivar a expressao v
arias
vezes.
O caso em que (x) e analtica (nao s
o da forma xm ) e obtido
a partir da proposicao 4 e atraves de mudan
ca de variavel como em
R
(2) acima. Isto da conta do caso F ( ) = xk g(x)ei (x) dx com
g C0 .
i
i
226
mecNew
2011/10/11
page 226
i
F ( ) =
Para o assint
otico dos primeiros termos usamos (3) e para o termo
Z
xk h(x)g(x)ei (x) dx
ck (k+1)/m .
k=0
O primeiro valor ck nao nulo do desenvolvimento acima, caracteriza o termo principal de decaimento de F ( ) quanto , ou
seja ck (k+1)/m e o termo principal do ponto de vista assint
otico.
O valor de tal k e denominado de expoente inicial ou invariante de
Malgrange. Referimos o leitor para [8] onde s
ao apresentadas consideracoes gerais sobre tal invariante.
O texto acima ilustra de maneira breve a fundamentacao matematica da teoria das series de potencias nao convergentes e sua relacao
com as integrais oscilantes e otica.
i
i
mecNew
2011/10/11
page 227
i
Captulo 12
Ap
endice - Aplicac
ao de
Primeiro Retorno para
Equac
oes Diferenciais
Ordin
arias
Considere uma equacao diferencial ordinaria x = f (x) definida para
x num aberto A em que f e de classe C 1 . Vamos supor que as solucoes
x(t) est
ao sempre definidas para todo t real. Por definicao, para t fixo,
t (x) = y quando a solucao x(t) de x (t) = f (x(t)), x(0) = x e tal
que x(t) = y.
Podemos considerar ent
ao o fluxo t : A A, para todo t real.
t e um difeomorfismo de A em A.
Recomendamos o leitor a [DL] e [So] para resultados gerais sobre
equacoes diferenciais ordinarias e sistemas Hamiltonianos.
Uma solucao x(t) de x = f (x) e dita peri
odica se existe t > 0 tal
que x(t) = x(0), ou seja t (x) = x. Fica assim determinada a orbita
peri
odica = {s (x)|s [0, t)}.
Uma secao local de x, e um conjunto V obtido pela intersecao de
um hiperplano de dimensao n 1 V Rn (um espaco afim n 1
227
i
i
228
mecNew
2011/10/11
page 228
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.1:
i
i
mecNew
2011/10/11
page 229
i
229
Figura 12.2:
V ) nao s
ao os mesmos (apenas aproximadamente os mesmos pela
continuidade do fluxo)
De fato, por exemplo se T (v) = v para todo v V , conclumos
que todas as
orbitas de x = f (x) que passam por V s
ao peri
odica.
Vamos supor definida uma aplicacao diferenciavel z(u) = v definida num aberto u V Rn1 bijetiva sobre v V Rn . Assim,
podemos expressar T nas novas coordenadas u como T : V V
como T(u) = z 1 ( T (z(u)) ). Podemos supor sem perda de generalidade que z(0) = x. Quando falarmos da acao de T em V , estaremos
na verdade falando da acao de T em V e quando falarmos em x
estaremos nos reportando ao u = 0.
Nas Figuras 12.1 e 12.2 mostramos um exemplo em que o campo
de vetores est
a definido no plano e portanto H tem dimensao 1.
A raz
ao para tudo isto e que podemos falar agora na derivada
DT (v) da funcao T . Para sermos absolutamente precisos deveramos
i
i
230
mecNew
2011/10/11
page 230
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.3:
i
i
mecNew
2011/10/11
page 231
i
231
Figura 12.4:
i
i
232
mecNew
2011/10/11
page 232
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.5:
Figura 12.6:
i
i
mecNew
2011/10/11
page 233
i
233
acima significa apenas que |T (x)| < 1. Neste caso, as orbitas das
solucoes da equacao diferencial que cortam V se aproximam de
conforme o teorema acima.
O papel dos autovalores da matriz DT da aplicacao de primeiro
retorno T (associada a uma orbita peri
odica) serem em modulo menor
que 1 desempenha um papel analogo ao dos autovalores da derivada
DF do campo de vetores F no caso de pontos de equilbrio.
Se todos autovalores de DT tem modulo menor que 1 ent
ao podemos dizer que se comporta assim como uma especie de poco (em
analogia com pontos de equilbrio tipo poco) atraindo as trajet
orias
(com tempo crescente) com condicoes iniciais em um aberto proximo
i
i
234
mecNew
2011/10/11
page 234
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
|T (x)| > 1.
Nesse caso, as
orbitas das solucoes da equacao diferencial que
cortam V se afastam de . Podemos dizer que se comporta como
uma especie de fonte(em analogia com pontos de equilbrio tipo
fonte) repelindo (com o tempo crescente) as trajet
orias com condicoes
iniciais pr
oximas de si. Tal e um exemplo do que se chama um
repulsor em equacoes diferenciais.
O papel da secao local e basicamente discretizar o tempo. A
din
amica de t (x) em t
orno de pode ser analisada pela din
amica
de T n (v) na secao local.
Note por exemplo que apenas partir do gr
afico T do u
ltimo caso
da 12.5 podemos deduzir que neste caso as trajet
orias das solucoes
perto de se aproximam por um lado e se afastam pelo outro. Tudo
isto segue apenas da analise da secao local e da aplicacao de primeiro
retorno. Note que neste caso T (x) = 1.
Se o fluxo preserva
area ent
ao nao pode ocorrer nem 12.4 nem
12.3.
Outra maneira de discretizar o tempo e considerar 1 (y) = F (y).
F como vimos e um difeomorfismo e podemos obter v
arias propriedades de t (x) atraves dos iterados F n (x) = n1 (x) = n (x).
Este ponto de vista de analisar a din
amica de uma equacao diferencial atraves de uma secao local T ou de um difeomorfismo F , tem
produzido uma serie de resultados importantes na Teoria dos Sistema
Dinamicos. O tempo torna-se uma variavel discreta e nao contnua.
A hip
otese de os autovalores da aplicacao de primeiro retorno T
em x terem todos modulo menor que 1 desempenha no caso de orbitas
peri
odicas uma papel analogo a hip
otese de todos os autovalores de
Df (x0 ) terem parte real negativa quando x0 e de equilbrio.
Antes de prosseguirmos desejamos enfatizar que numa secao transversal local os vetores f (v) (com v ) apontam todos sempre
para um mesmo lado. Sendo assim as trajet
orias solucoes x(t) da
i
i
mecNew
2011/10/11
page 235
i
235
Figura 12.8:
i
i
236
mecNew
2011/10/11
page 236
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Considere uma secao transversal P passando por z0 = z(t0 ) pertencente a uma trajet
oria peri
odica z(t) Rn de uma equacao di
ferencial de primeira ordem x = G(x) (neste caso o vetor tangente
trajet
oria x(t) (solucao de x = G(x) tal que x(0) = y) retorna a P .
O plano P e chamado de secao transversal em z(t0 ).
Figura 12.9:
i
i
mecNew
2011/10/11
page 237
i
237
Note tambem que z0 e ponto fixo para T , isto e, T (z0 ) = z0 .
Defini
c
ao 12.3. Dizemos que a o
rbita peri
odica z(t) R3 e hiperb
olica, se DT (z0 ) tem todos autovalores reais (no caso s
ao dois) com
m
odulo diferente de 1. O ponto z0 ser
a dito ponto fixo hiperb
olico
para a aplicaca
o T de primeiro retorno.
Defini
c
ao 12.4. Dizemos que a o
rbita peri
odica z(t) R3 e elptica,
se DT (z0 ) tem os autovalores (no caso s
ao dois) com m
odulo igual
a 1. O ponto z0 ser
a dito ponto fixo elptico para a aplicaca
o T de
primeiro retorno.
Os dois casos acima descrevem situacoes excludentes e que cobrem
todas as possibilidades (note que se os dois autovalores s
ao igual a 1,
dizemos que o ponto e elptico)
Figura 12.10:
i
i
238
mecNew
2011/10/11
page 238
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.11:
Defini
c
ao 12.5. O conjunto est
avel de z0 , ponto fixo hiperb
olico para
T de primeiro retorno a P , e o conjunto dos pontos y P tal que
lim T n (y) = z0 .
i
i
mecNew
2011/10/11
page 239
i
239
real menor que 1 (ver [PM], [Ro2]) ent
ao os conjuntos i (z0 ) e e (z0 )
s
ao realmente curvas passando por z0 e a din
amica em torno deste
ponto e descrita pela Figura 12.9. Mais exatamente, as condicoes
iniciais y e (z0 ) convergem a z0 atraves da evolucao temporal
T n , n > 0 e as condicoes iniciais y i (z0 ) convergem a z0 para
a evolucao temporal com tempo negativo T n (y), n < 0.
Figura 12.12:
Se z0 e tal que a matriz DT (z0 ) possui os dois autovalores com
modulo menor que 1 (ver [PM], [Ro2]), ent
ao a din
amica em torno
i
i
240
mecNew
2011/10/11
page 240
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.13:
tambem possvel mostrar para z0 hiperbolico que quando a maE
triz DT (z0 ) possui os dois autovalores modulo maior que 1 (ver [PM],
[Ro2]), ent
ao a din
amica em torno deste ponto z0 e descrita por um
repulsor (ver [DL]). Mais exatamente, as iteracoes T n (z), n > 0 de z
condicao inicial convergem a z0 . As iteracoes positivas T n (z0 ), n > 0,
saem de qualquer vizinhanca de z0 para n suficientemente grande.
Pontos y fora de e (z0 ) e fora de i (z0 ) possuem a propriedade
que T n (y), para algum n positivo e para algum n negativo, v
ao sair
i
i
mecNew
2011/10/11
page 241
i
241
fora da vizinhanca V em trono de z0 onde T pode ser definida.
possvel mostrar que a Figura 12.9 ilustra tamObserva
c
ao 12.2. E
bem localmente o espaco de fase das iteraco
es de K(x) = dT (z0 )(x)
(onde dT (z0 ) = DT (z0 ) e a matriz derivada de T ) em torno do ponto
fixo K(0) = 0 no caso hiperb
olico. Mais precisamente, K n (y) para diferentes y (condico
es iniciais em uma vizinhanca de 0 R2 ) tambem
tem uma evoluca
o temporal semelhante a Figura 12.9, que e a figura
da evoluca
o temporal em torno de z0 P do sistema n
ao linearizado
T (x) : P P .
Em resumo, localmente em torno de um ponto hiperbolico z0 , a
din
amica de T e de seu linerizado dT s
ao semelhantes (ver [PM] e
[Ro2] para demonstracao).
Na Figura 12.14 mostramos uma orbita peri
odica em R3 em que
aparece o fenomeno da ferradura. Isto segue do fato da variedade estavel e variadade instavel de um ponto x0 se interceptarem.
Mostramos na Figura 12.15 como se comporta a transformacao de
Poincare T na secao transversal. Neste caso e possvel mostrar que
ocorrem infinitas orbitas peri
odicas para o campo de vetores. Mais
precisamente se mostra que existem infinitos pontos peri
odicos para
T de perodos arbitrariamente grandes (ver [Ro2]).
Este fenomeno descoberto por H. Poincare no problema dos tres
corpos teve grande impacto na Mecanica Cl
assica e na moderna Teoria dos Sistemas Dinamicos. Ele ilustra a grande complexidade
din
amica que ocorre nesta situacao (ver[Ro2] para mais detalhes).
Nas Figuras 12.10, 12.11 e 12.12 mostramos um exemplo do que
pode acontecer em alguns casos para a evolucao temporal de pontos elpticos. Cada ponto inicial y tem a tendencia de rodar em
t
orno de z0 ao longo de sua evolucao temporal T n (y), n > 0. Neste
caso, o comportamento de T e aproximadamente o comportamento
da evolucao temporal de K n (x), n > 0, onde K e a derivada de T em
z0 , K = dT (z0 ) da transformacao de primeiro retorno T da orbita
elptica z(t).
importante destacar que, diferentemente do
Observa
c
ao 12.3. E
caso hiperb
olico (ver Observaca
o 12.1 e Figura 8.3), nem sempre a
evoluca
o temporal em torno de um ponto fixo elptico vai seguir a
evoluca
o temporal K n (x) da derivada K = dT (z0 ), sugerida pela
i
i
242
mecNew
2011/10/11
page 242
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Figura 12.14:
i
i
mecNew
2011/10/11
page 243
i
243
Figura 12.15:
i
i
244
mecNew
2011/10/11
page 244
i
DE PRIMEIRO RETORNO
[CAP. 12: APENDICE:
APLICAC
AO
Defini
c
ao 12.8. Um ponto peri
odico x do difeomorfismo F com
perodo n e dito hiperb
olico, se x e ponto fixo hiperb
olico para T = F n .
facil ver que se x e peri
E
odico hiperbolico, cada ponto pertencente
a sua
orbita tambem e hiperbolico.
Defini
c
ao 12.9. O conjunto est
avel (respectivamente inst
avel) e (x)
(respectivamente i (x)) de um ponto peri
odico hiperb
olico x e a uni
ao
dos conjuntos est
aveis (respectivamente inst
aveis) de sua o
rbita.
Defini
c
ao 12.10. Um ponto peri
odico x do difeomorfismo F com
perodo n e dito elptico, se x e ponto fixo elptico para T = F n .
Um fluxo que preserva
area no plano tem propriedades especiais.
Fixada uma secao transversal H a aplicacao de primeiro retorno deve
ser a identidade; nao pode ocorrer o que e descrito pela Figura 12.3
e 12.4. Isto porque a
area da regi
ao A seria maior do que a area da
regi
ao B e o fluxo t (para t o tempo de primeiro retorno da trajet
oria
x(t)) levaria A em t (A) = B (aproximadamente). Note que os tempos de retorno de pontos em x(t) e de outras solucoes y(t) proximas
(comecando na secao) nao s
ao os mesmos (apenas aproximadamente
os mesmos pela continuidade do fluxo).
Defini
c
ao 12.11. Uma seca
o H transversal ao fluxo (definido por
uma equaca
o diferencial x = f (x)) e dita global quando para qualquer
ponto x no espaco A onde est
a definida a equaca
o diferencial vale
que existe t > 0 e s < 0 tal que t (x) H e s (x) H, onde e o
fluxo. Neste caso a todaa din
amica do fluxo da equaca
o diferencial
x = f (x) pode ser capturada pela aplicaca
o de primeiro retorno T
definida em H.
Nosso objetivo acima foi apenas descrever de maneira sumaria
o que acontece em torno das orbitas peri
odicas z(t) de um sistema
mec
anico. Como vimos, este comportamento depende fundamentalmente da aplicacao de primeiro retorno T induzida em uma secao
transversal P passando por z0 .
O estudo da iteracao de difeomorfismos e extremamente importante na Teoria dos Sistemas Dinamicos e sua analise permite o entendimento da aplicacao T de primeiro retorno a uma secao transversal.
Esta Teoria permite tambem analisar a din
amica de F = t0 , t0 fixo,
onde t e o fluxo associado a um campo de vetores.
i
i
mecNew
2011/10/11
page 245
i
245
A partir do que foi discutido acima, o leitor pode assim perceber
a extrema complexidade que pode suceder na evolucao temporal das
condicoes iniciais y em t
orno de uma orbita peri
odica de uma equacao
diferencial, em especial dos sistemas Hamiltonianos.
N
ao foi possvel apresentar provas dos resultados acima descritos,
pois isto implicaria em ter que escrever nesta secao um livro completo de Sistemas Dinamicos. Nosso objetivo foi apenas apresentar
algumas ideias centrais que aparecem na pesquisa atual envolvendo o
entendimento da din
amica global de Sistemas Mecanicos. Referimos
o leitor para [DL], [So], [PM], [R], [M], [CL], [S] e [HS] para referencias
sobre v
arios aspectos da Teoria dos Sistemas Dinamicos.
i
i
mecNew
2011/10/11
page 246
i
mecNew
2011/10/11
page 247
i
Bibliografia
[AM] R. Abraham and J. Mardsen, Foundations of Mechanics, Benjamin, 1980.
[ABC] B. Amaral, A. Baraviera and M. Terra Cunha, Mecanica Quantica
para Matem
aticos em formacao, Coloq. Bras. Mat. 2011,
IMPA, Rio de Janeiro
[Ap] A. Appel, Traite de Mecanique Rationnelle, Ed. GauthierVillars, 1953.
[A1] V. I. Arnold, Mathematical Methods of Classical Mechanics,
Springer Verlag, 1978.
[A2] V. I. Arnold, Geometric Methods in the Theory of Ordinary
Differential Equations, Spri. Verla, 1983.
[A3] V. I. Arnold and A. Avez, Ergodic Problems of Classical Mechanics, Benjamin, 1968.
[Au1] S. Aubry, Analiticity breaking and Anderson localization in incommensurate lattices, Annals of the Israel Phys. Soc., Vol 3
(1980).
[AU2] S. Aubry and P. Y. Le Daeron, The discrete Frenkel-Kontorova
model and its extensions, PhysicaD, Vol 8 (1983), pp 381-422
[B] V. Bangert, Mather sets for Twist maps and Geodesics on Tori,
Dynamics Reported , 1-56, John Wiley, 1988.
[BG] I. Q. Barros e M. V. P. Garcia, Mecanica Analtica Cl
assica,
Ed Edgar Blucher, 1995.
[BF] R. Bassanezi e W. Ferreira, Equacoes Diferenciais com Aplicacoes, Edit Harbra, 1988.
[BS] C. Beck and F. Schlogl, Thermodynamics of Chaotic Systems:
an Introduction, Cambridge Press, 1993.
[BU] L. Bunimovich, On ergodic properties of nowhere dispersing
billiards, Comm in Math Phys, 65 pp 295-312, 1979.
i
i
248
mecNew
2011/10/11
page 248
i
BIBLIOGRAFIA
i
i
BIBLIOGRAFIA
mecNew
2011/10/11
page 249
i
249
i
i
250
mecNew
2011/10/11
page 250
i
BIBLIOGRAFIA
[G] H.-O. Georgii, Gibbs Measures and Phase Transitions. de Gruyter, Berlin, (1988).
[Ju] R. Iorio Junior, Equacoes diferenciais parciais: uma introducao,
Projeto Euclides, IMPA, 1988.
[KH] A. Katok and B. Hassenblat, Introduction to the Modern Theory of Dynamical Systems, Cambridge U. P., 1995.
[KMS] S. Kerckhoff, A. Mazur and J. Smillie, Ergodicity of billiard
flows and quadratic differentials, Ann of Math, Vol 124, N2,
293-311, 1986.
[Kh] A. Khintchine, Continued Fractions, Univ of Cicago Press, 1964.
[LL] L. Landau and E. Lifshitz, Mechanics, Pergamon Press, 1960.
[Le] Y. Lequain, Aproximacao de um n
umero real por n
umeros racionais, Coloq Bras Mat 1993, IMPA.
[Lo] A. O. Lopes, Introducao `a Mecanica Cl
assica, EDUSP, 2006
[LS] A. O. Lopes and M. Sebastiani, Poncelet pairs and the Twist
map associated to the Poncelet billiard, Real Analyses Exchange, vol. 35, ISSUE2, 335-374, 2010.
[LiLi] A. Lichtenberg and M. Liberman, Regular nd Stochastic Motion, Springer Verlag, 1983.
[Li1] E. L. Lima, Curso de Analise, vol II, Projeto Euclides, IMPA,
1989.
[Li2] E. L. Lima, Espacos Metricos, Proj Euclides, IMPA, 1977.
[Li3] E. L. Lima, Variedades Diferenciaveis, IMPA, RJ.
[Li4] E. L. Lima, Algebra Linear, Col. Mat. Universitaria, IMPA,
Rio (1995).
[Lu] R. Luneburg, Mathematical Theory of Optics, Univ. of California Press, (1964)
[M1] R. Ma
ne, Teoria Ergodica, Projeto Euclides, IMPA, 1982.
i
i
BIBLIOGRAFIA
mecNew
2011/10/11
page 251
i
251
[M2] R. Ma
ne, Global Variational Methods in Conservative Dynamics, 18 Coloq Bras Mat, 1991.
[MR] J.Mardsen and T. Ratiu, Introduction to Mechanics and Simetry Springer Verlag, 1994
[MT] J. Marion and S. Thorton, Classical Dynamics, Hartcourt Brace
Dubl, 1988.
[Ma] R. Markarian, Introduction to the Ergodic Theory of Plane
Billiards, Dynamical Systems, Congress in Santiago do Chile
(1990), Ed by R.Bamon, R. Labarca, J. Palis and J. Lewowicz,
Longman Edit (1993), 327-439.
[MF] J. Mather and G. Forni, Action Minimizing orbits in Hamiltonian Systems, Lecture Notes in Math, Springer Verlag (1994).
[Me] J. D. Meiss, Sympletic maps, variational principles, and transport, Reviews of Modern Physics, Vol 64, N3, July 1992
[MH] K. Meyer and G. Hal, Introduction to Hamiltonian Dynamics
Systems and the n-body problem, Springer Verlag, 1992.
[Mi] J. Milnor, Morse Theory, Princ Univ Press.
[Mo] J. Moser, Stable and Random Motions in Dynamical Systems,
Princeton Univ. Press, 1973
[O] E. Ott, Chaos in Dynamical Systems, Camb Univ Press, 1993.
[IR] I. Percival and D. Richards, Introduction to Dynamics, Cambridge Univ Press, 1982.
[PY] M. Pollicott and M. Yuri, Dynamical systems and Ergodic Theory, Academic Press, 1998
[N] A. L. Neto, Funcoes de uma variavel Complexa, Projeto Euclides, IMPA, 1993.
[OA] A. Ozorio de Almeida, Sistemas Hamiltonianos: Caos e Quantizacao, Edit UNICAMP.
i
i
252
mecNew
2011/10/11
page 252
i
BIBLIOGRAFIA
[PP] W. Parry and M. Pollicott, Zeta functions and the periodic orbit
structure of hyperbolic dynamics, Asterisque 187-188 (1990)
[R] S. N. Rasband, Dynamics, John Wiley, 1983.
[Ro1] C. Robinson, A global approximation theorem for Hamiltonian
Systems, Proc. in Symp in Pure Math, XIV, Global Analysis,
edit S. Chern and S. Smale, AMS, 1970.
[Ro2] C. Robinson, Dynamical Systems, CRC Press, 1995.
[Rud] W. Rudin, Real and Complex Analysis, Mc Graw Hill, 1974.
[Rue] D. Ruelle, Thermodynamic Formalism, Adisson Wesley, 1978.
[SW] R. Saks e H. Wu, General Relativity for Mathematicians,
Springer-Verlgag, 1977.
[S] M. Sebastiani, O Teorema de Poncelet, Publicacoes Matem
aticas, IMPA, 2011.
[Si] Ya. Sinai, Dynamical System with elastic reflections, Russian
Math Surveys, 25, pp 137-189, 1970.
[So] J. A Sottomayor, Licoes de Equacoes Diferenciais Ordin
arias,
Projeto Euclides, IMPA, RJ.
[Ta] S. Tabachinov, Billiards, Soc Math Franc, (1990)
[T] M. Tabor, Chaos and integrability in nonlinear dynamics, John
Wiley and Sons, 1989.
[W] E. T. Whittaker, A Treatise in the Analitical Dynamics of Particles and Rigid Bodies, Dover, 1944.
i
i