Académique Documents
Professionnel Documents
Culture Documents
MECNICA CLSSICA
AULA NO 1
Introduo Leis Admissveis da Fsica
A Mecnica Clssica a base para toda a Fsica, isto no s porque ela
descreve o movimento de partculas, sistemas mecnicos etc., mas tambm
porque a estrutura bsica de toda a Fsica baseada nos princpios da Mecnica Clssica, tais como a Conservao da Energia, do Momento e assim por
diante.
Os princpios segundo os quais todos os sistemas se desenvolvem obedecem, num sentido mais abstrato e geral, ao mesmo conjunto de regras que
estabelece o movimento de uma partcula.
O mais simples sistema que podemos comear a analisar seria o de um
fenmeno que apresentasse apenas dois estados, aos quais vamos chamar de
Cara e Coroa.
Para estudar este sistema, vamos imaginar que o tempo ocorra em saltos
discretos, com intervalos de um segundo, de modo que s tenhamos acesso aos
fenmenos a cada segundo.
O nosso sistema assim constitudo de dois estados, e ns queremos associar a este sistema uma lei que determine como o sistema se desenvolve a
cada intervalo de tempo. Com esse exemplo, queremos verificar quais os tipos
de leis que so ou no admissveis pela Fsica.
Nosso primeiro conceito o de Espao de Estados, que, neste caso,
constitudo apenas por Cara e Coroa, os quais representaremos por dois
pontos: H e T. Este espao chamado tambm como Espao de Fases.
Espao de Estado significa tudo que precisamos saber sobre o sistema,
para podermos prever o que vai acontecer com ele em seguida.
Um exemplo de lei para este caso seria manter o estado na condio em
que ele se encontra:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
Neste caso, a lei falha na determinao dos estados futuros, pois, partindo do estado 2, no possvel saber com certeza se o prximo estado ser o
estado 2 ou 3.
Estes so os tipos de leis proibidas pela Mecnica Clssica.
Em resumo, para que tais sistemas sejam admissveis (para que suas leis
sejam fisicamente admissveis), ns devemos ter em cada ponto apenas uma
seta chegando e apenas uma seta saindo.
Assim, a caracterstica da Fsica Clssica dada pela unicidade de estado do sistema tanto no futuro como no passado.
Ns tambm poderamos ter, por exemplo, um sistema com infinitos estados, representados por pontos ao longo de uma reta, em correspondncia aos
nmeros inteiros, conforme representado no seguinte grfico:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
Desse modo, se estivermos na reta, permaneceremos nela, mas, se estivermos no tringulo, ento permaneceremos nele.
Quando temos o sistema quebrado em subsistemas fechados em si mesmos, encontramos as leis de conservao, que so como uma espcie de
memria do estado no qual o sistema se encontrava.
O tipo de lei determinstica poderia ser chamada de lei de conservao da informao, que pode ser considerada a mais bsica lei da Fsica.
Vamos estudar outra lei admissvel, dependente de dois estado anteriores, como por exemplo:
HH H
HT H
TH H
TT H
Neste caso, necessrio saber os ltimos dois estados, para determinar o
prximo estado. Ento o que ns chamaramos de estado do sistema, pelo qual
podemos determinar o seu desenvolvimento, formado por dois estados. Dessa forma, o Espao de Fases teria que conter a informao destes dois estados.
Passemos agora para um espao contnuo, por exemplo, o movimento
de uma partcula.
Para que possamos saber onde uma partcula estar a seguir, no basta
saber a sua posio, necessrio saber tambm a sua velocidade. Neste caso, Podemos dizer que tambm necessitamos saber as duas prvias posies do
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
sistema. Assim, o espao de fases da partcula dado por sua posio e por
sua velocidade.
O Espao de Estados ou Espao de Fases da partcula no unidimensional, mas sim bidimensional, abrangendo a informao de posio
e velocidade:
Se o sistema estiver em algum ponto do eixo x (1), ento ele permanecer na posio que se encontra, porque sua velocidade nula. Se o sistema
estiver no ponto 2, ento vai-se mover para a direita, pois tem velocidade
positiva. Se estiver no ponto 3, ele ir se mover para a esquerda, pois tem
velocidade negativa.
------------------------------------------------------------------------------------------OBS: Na realidade, devido inerente impreciso na determinao do estado de um sistema, o determinismo no futuro no totalmente factvel, a no
ser em intervalos de tempo limitados, proporcionais capacidade de preciso
na determinao das condies iniciais do sistema. Assim o sistema infinitamente previsvel somente se for infinitamente precisa a determinao da
sua configurao inicial.
------------------------------------------------------------------------------------------O fato de ser necessrio saber a posio e a velocidade no Espao de
Fase est embutido nas equaes da Mecnica. Assim as equaes de Newton
so equaes diferenciais de segunda ordem, refletindo esta condio.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
dF dx
=mx
dx dt
x=
1 dF
x
m dx
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
----------------------------------------------------------------------------------------OBS: Eis a seguir um grfico exemplificando a necessidade da informao de dois estados, para se prever o estado futuro:
-----------------------------------------------------------------------------------------
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
MECNICA CLSSICA
AULA No 2
Princpio da Mnima Ao Clculo Variacional Lagrangeano
Vamos ver a Conservao da Energia em relao s Equaes de
Newton. Naturalmente, a conservao da energia tem um significado bem
mais profundo do que aquele visto nas Equaes de Newton, estendendo-se
para a radiao, o eletromagnetismo, a relatividade restrita, a relatividade generalizada, a mecnica quntica, etc.
J sabemos que a conservao da energia no se realiza em movimentos
que envolvem atrito e calor (pelo menos em relao tpica conservao da
energia cintica mais a energia potencial).
Outro exemplo (nos mesmos termos de conservao da energia cintica
mais a energia potencial) de no conservao da energia seria dado por uma
partcula que estivesse confinada em um movimento circular, sendo submetida
a uma fora constante e tangencial ao movimento da partcula. Neste caso,
aps uma volta, a energia potencial da partcula seria a mesma, mas sua energia cintica teria aumentado! Trata-se de um exemplo de fora que no ocorre
na natureza!
Um exemplo real de fora dado por foras que dependem do seu ponto
de aplicao no espao:
F = U ( x, y )
gradiente :
i+
j
x
y
Fx =
U
x
; Fy =
U
y
Isto quer dizer que a componente da fora numa dada direo dada pela razo de variao da energia potencial naquela direo, porm com o sinal
negativo.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
----------------------------------------------------------------------------------------------OBS: O sinal negativo vem do fato de que uma partcula que sai de um
potencial mais alto para outro mais baixo ( U < 0 ) , sofre uma fora segun-
1
1
mV 2 = m Vx 2 + Vy 2 =
2
2
mi
i
Vi 2
2
E = T + U (Energia conservada)
Para comprovar isto, vamos demonstrar que a quantia
T=
1
1
mV 2 = m Vx 2 + Vy 2 =
2
2
mi
i
dE
nula:
dt
Vi 2
2
E = T + U (Energia conservada)
Apesar de tal deduo partir de uma definio arbitrria, veremos mais a
frente as razes para estas definies. Por enquanto estamos apenas constatando que as equaes de Newton nos permitem observar estes princpios. Vamos
agora observar a conservao do Momento ( p ).
Podemos, ento, escrever as equaes de Newton numa forma ligeiramente diferente (considerando a massa constante no tempo):
Fi = mi
dVi d ( mi Vi )
dP
dP
=
Fi = i F =
(onde p = m v )
dt
dt
dt
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
10
Se a partcula no estiver sujeita a nenhuma fora ( F = 0) , ento o momento se conserva: dp dt = 0 . Vejamos agora um caso mais genrico.
Segundo Newton, dado um conjunto de objetos, a fora que atua num
determinado objeto a soma das foras devidas a cada um dos outros objetos.
Pelo Princpio da Ao e Reao, segundo Newton, a toda fora aplicada (Ao) corresponde uma fora de igual amplitude e sentido contrrio
(Reao). Temos, portanto:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
11
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
12
Se tivermos uma funo de duas variveis, F ( x , y ) , podemos represent-la por um grfico de contorno, onde cada curva representa um valor constante desta funo:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
13
q1 ( t ) , q2 ( t ) , q3 ( t )
Trajetria da partcula
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
14
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
15
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
16
A resposta, portanto, no depende da localizao do ponto escolhido. Este poderia ser chamado de Princpio da Mnima Distncia. Matematicamente
teremos:
ds = dx + dy
ds =
dy
1+
dx
dy
ds = 1 +
dx
2
dx
x2
dx
S12 =
1+
dy
dx
dx
x1
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
17
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
18
Talvez uma trajetria reta no seja a mais eficiente neste caso, sendo
melhor um caminho que tenha um trecho maior na regio de maior velocidade:
Uma boa maneira de ver isto imaginar um salva-vidas a 50m da gua e
dy
ds = 1 +
dx
dx
velocidade da luz = c
c=
ds
= c ( y)
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
ds
dx
dy
dt =
=
1+
c( y ) c( y)
dx
x2
t1,2 =
x1
1
dy
1+
c( y )
dx
19
dx
Outro exemplo dado pela forma assumida por um cabo suspenso entre dois
pontos. A quantidade a ser minimizada a energia potencial do cabo. Deve-se
ento achar, entre os pontos A e B, a trajetria que minimize a energia potencial do cabo (CATENRIA). Encontramos a, novamente, a necessidade de
minimizar uma quantia que depende de uma funo toda, e no apenas de
algumas variveis.
A matemtica que trata deste tipo de problema chamada de CLCULO VARIACIONAL, que tem por objetivo minimizar o FUNCIONAL.
O Princpio da Mnima Ao deste tipo, sendo que nele deve-se minimizar uma quantidade dependente de uma trajetria toda, que a trajetria
do sistema mecnico todo. Na verdade esta quantidade depende de todas as
trajetrias da coordenadas componentes do sistema: q1 ( t ) , q2 ( t ) , qn (t ) .
Achar o conjunto de funes qi (t ) que minimiza a quantidade chamada de Ao equivalente, segundo o Princpio da Mnima Ao, ao uso
comum das leis da Mecnica, em particular s Leis de Newton para a Mecnica. Porm, em muitas outras situaes, o Princpio da Mnima Ao muito
mais eficiente, sendo uma ferramenta muito melhor do que simplesmente escrever as equaes de Newton. Esta eficincia bastante evidente em sistemas
constitudos por um grande nmero de elementos, nos quais, ao invs de es-
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
20
crevermos todas as equaes de Newton para cada partcula, podemos simplesmente minimizar uma determinada quantia em relao a uma dada trajetria.
O Princpio da Mnima Ao vlido no apenas para os sistemas nos
quais se aplicam as leis de Newton, mas tambm em outros sistemas, tendo um
carter muito mais geral!
Por exemplo, ele se aplica a problemas na Relatividade Restrita,
Teoria de Campo, a campos eletromagnticos e praticamente a todos os problemas bsicos da Fsica Clssica. Assim, o PMA a formulao mais geral
da Mecnica Clssica.
Vejamos agora o que esta Mnima Ao. Apesar de sua definio parecer meio estranha, veremos a seguir que ela se aplica perfeitamente aos
problemas Newtonianos, equivalendo s mesma leis das Equaes de Newton.
A quantidade que determina a Mnima Ao dada pela integral no
tempo (a varivel independente passa a ser o tempo) da seguinte expresso:
AO = ENERGIA CINTICA ENERGIA POTENCIAL
Temos ento, para uma partcula em uma nica dimenso:
Ao = A =
1
dx
m
2
dt
U ( x, t ) dt
1
dy
1+
c( y )
dx
dx
A quantidade acima depende de dois fatores: y ( x) e dy / dx , ou seja, ela depende da funo e da derivada da funo em si.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
21
A mesma coisa ocorre para a mnima ao, que tambm depende da funo x ( t ) e da sua primeira derivada em relao ao tempo (a varivel independente) dx dt .
Da mesma forma como no mnimo tempo, definimos a posio inicial
e final, definimos tambm, para a mnima ao, o instante inicial e o instante
final, entre os quais se deve determinar a trajetria minimizante.
sempre surpreendente ver a presena do sinal negativo na expresso
para a mnima ao, mas assim que as coisas so de fato!
O integrando na expresso da mnima ao chamado de LAGRANGEANO:
= T V , ou mais genericamente A =
t final
tinicial
qi (t ), qi ( t ) dt
Lagrangeano
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
22
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
23
MECNICA CLSSICA
AULA No 3
Lagrangeano Princpio da Mnima Ao Exemplos
24
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
y (t ) = u (t ) v (t )
dy (t )
dt =
dt
t2
2
y (t ) t =
1
t1
2
u (t ) v (t ) t =
1
t2
t1
du (t )
v (t ) dt +
dt
du (t )
v(t ) dt +
dt
t2
t1
t2
t2
t1
u (t )
t1
du (t )
v (t ) dt +
dt
u (t )
t2
t1
dv(t )
dt
dt
dv(t )
dt
dt
u (t )
dv (t )
dt
dt
t
ento termos:
t2
t1
dv(t )
u (t )
dt =
dt
t2
t1
du (t )
v (t ) dt
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
25
Se
t2
A(t ) f (t ) dt = 0 , onde f ( t ) uma funo arbitrria, ento:
t1
A(t ) = 0
Para vermos isso, basta supor que A(t ) seja diferente de zero
( A(t0 ) = A0 ) em algum infinitsimo intervalo t . Ento bastaria definirmos a
funo f (t ) (a qual arbitrria) como tendo valor zero em toda a sua extenso, exceto no intervalo t , no qual ela assumiria o valor 1 t . Com isso teramos:
A
A(t ) f (t ) dt = 0 t
t
A(t ) f (t ) dt = A0 0
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
26
Trajetria ou
Histria do sistema
Estamos interessados em determinar a Histria ou trajetria do sistema. Como j mencionamos, podemos abordar o problema de duas maneiras:
Localmente ou Globalmente.
Localmente: Dada uma informao em um dado ponto da trajetria,
aplicamos uma lei que nos permite determinar a posio do prximo ponto.
Com isso, podemos construir toda a trajetria (por exemplo, F = m a ). Assim,
se sabemos duas informaes do sistema ( qi e os qi ) num ponto especfico,
podemos, a partir deste determinado ponto, construir toda a trajetria.
Globalmente: Olha-se para o problema vendo-se a trajetria como
um todo, considerando que existe uma quantidade (a qual chamamos de
Ao) cuja minimizao (valor estacionrio) obtida somente ao longo
da trajetria realmente percorrida pelo sistema. Neste caso, tambm precisamos de duas informaes do sistema, que no so mais os ( qi e os qi ) num
determinado ponto da trajetria, mas sim qi (t1 ) e qi (t2 ) .
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
27
=0
dA( )
=0
d = 0
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
A=
( qi ( t ) , qi ( t ) ) dt
t1 Lagrangeano
Ento temos:
t2
dA( )
=
d
t1
dqi dqi
dt
+
qi d qi d
Mas:
dqi
dqi
d
d
=
qi + fi ( t ) ) = f i ( t ) e
=
qi + fi ( t ) = fi ( t )
(
d d
d d
Portanto:
dA( )
=
d
t2
fi ( t ) +
fi ( t ) dt
qi
qi
t1
t2
t1 i
t2
fi ( t ) dt +
fi ( t )
qi
q
i i
t1
dA( )
=
d
t2
t1
qi dt qi
t2
t1
d
fi ( t ) dt
dt qi
fi ( t ) dt ,
28
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
29
t2
q
i i
t1
zero.
Para o ponto de mnimo, devemos ter:
t2
qi dt qi
t1 i
dA( )
= 0 , portanto:
d
fi (t ) dt = 0
Esta quantia deve ser nula para qualquer funo fi (t ) , pois toda modificao na trajetria verdadeira, a qual minimiza a AO, deve resultar em um
aumento da AO.
Portanto devemos ter como resultado, para a condio do mnimo (valor
estacionrio):
=0
qi dt qi
EQUAO DE EULER-LAGRANGE
Esta equao o corao de toda a Fsica Clssica! Na verdade, numa
forma um pouco diferente e mais sofisticada, ela tambm o corao da Mecnica Quntica!
Todos os sistemas fsicos conhecidos podem ser formulados pelo Princpio da Mnima Ao, dado pela Equao de Euler-Lagrange, aplicando-se
a campos gravitacionais, campos eletromagnticos, Relatividade Geral e Relatividade Restrita, Teoria das Cordas, etc...
Vamos observar alguns exemplos.
Primeiramente, vamos dar nomes para alguns elementos da Equao
de Euler-Lagrange (EEL):
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
i =
qi
qi
30
( ou simplesmente MOMENTO )
FORA GENERALIZADA
= mx = p ;
x
d
=
dt x
x
U
U
dp
=
mx =
F = ma
dt
x
x
Vejamos agora um sistema com vrias partculas. Para cada uma teramos x1 , y1 , z1; x2 , y2 , z2; ...
Vamos chamar cada simples coordenada de qi , de modo que, para N
partculas, teramos 3 N q ' s .
Observemos um exemplo com duas partculas movendo-se em uma linha
reta:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
31
U
=
=
dt x1
dt
dx1
x1
dp2
d
U
=
=
dt x2
dt
dx2
x2
Fazendo z = x1 x2
U ( z ) = U ( x1 x2 )
U U z U ( x1 x2 ) U
(1)
=
=
=
x1 z x1 z
x1
z
U U z U ( x1 x2 ) U
=
=
=
(1)
x2 z x2 z
x2
z
U
U
=
x1
x2
U U
dp1 dp2 d
+
= ( p1 + p2 ) =
=0
x1 x2
dt
dt
dt
Assim, como resultado da Simetria de Translao, temos a conservao da quantidade de movimento.
Vemos ento que a conservao da quantidade de movimento uma
consequncia da Invarincia por Translao associada s equaes de EulerLagrange para o Princpio da Mnima Ao.
Da resulta que:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
32
d
d
d
d
px =
py =
=
=0 ;
=
= m g
dt x
dt
dt y
dt
x
y
Ns podemos reescrever o Lagrangeano em termos de quaisquer outras
coordenadas. A Ao pode at ficar mais complicada nestas novas coordenadas, mas ainda continuar a mesma Ao, que, ao longo da trajetria real
percorrida pelo sistema, atingir um valor mnimo (estacionrio).
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
33
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
34
MECNICA CLSSICA
AULA No 4
Carga de Noether- Simetrias e Conservao
Vamos ver o caso de uma partcula movendo-se no plano, porm descrevendo-a agora em coordenadas polares:
m 2
r + r 2 2 U (r )
2
Aplicando as Equaes de Euler-Lagrange, obtemos as equaes do movimento:
=
d
d
= i =
dt qi
dt
qi
d
dU
r = m r
( r ) = m r =
m r = m r 2
dt
r
dr
2
Nesta ltima equao, o termo m r entra como uma fora extra, positiva (apontando na direo de r
radial). Esta a Fora Centrfuga, que
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
35
tem o efeito aparente de criar uma repulso a partir do centro. Para a coordenada , teremos:
= mr 2
( MOMENTO ANGULAR L)
=0
m r 2 =
dt
m r 2 = L (constante)
L
m r2
U
L2
+ mr
r
m2 r 4
mr =
U
L2
+
r m r 3
L2
m r3
: "Fora Centrfuga"
OBS: Supondo F ( xi ) uma funo de vrias variveis, ento a expresso: F = 0 ( "Variao") significa que a variao da funo F ( xi ) ,
numa 1a ordem de aproximao, em relao variao de qualquer uma de
F
xi , ento resulta que:
suas variveis nula. Porm, como F =
i xi
F =0
F
= 0.
xi
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
36
A=0
t2
t1
dt = 0
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
37
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
d =
Fazendo
f1 ( x, y ) = y
f 2 ( x, y ) = x
38
x x + f1 ( x, y )
y y + f 2 ( x, y )
---------------------------------------------------------------------------------------OBS: Um cubo tem simetrias discretas, que no podem ser obtidas atravs de
simetrias infinitesimais. J uma esfera tem simetria contnua, que pode ser
obtida atravs da composio de simetrias infinitesimais.
---------------------------------------------------------------------------------------Vamos representar a trajetria de um sistema, considerando o tempo na
vertical e TODAS as coordenadas representadas pelo eixo horizontal.
A = 0 , a variao da Ao
nula em relao s variaes da
trajetria.
OBS: As variaes da trajetria so restritas quelas que no
alteram a trajetria real nos seus
pontos inicial e final.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
39
A=
t2
t1
dt
t2
A=
t1 i
qi +
qi dt
qi
qi
Lembrando que: qi ( t ) = qi ( t ) + fi ( t )
e que: qi = fi ( t )
qi = fi ( t )
t2
i
t1
qi dt =
qi
qi ( t ) = qi ( t ) + fi ( t )
t2
t1
qi , obtemos:
qi
t2
qi +
dt
qi
dt qi
i qi
t1
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
t2
A=
t1
qi dt qi
40
t2
qi dt +
qi
i qi
t1
t2
= 0.
q
dt
q
i
i
i
Por outro lado, uma vez que, tambm por hiptese, a transformao
simtrica, ento a variao da Ao ( A ) nula. Disto resulta que:
t2
qi = 0.
i qi
t1
Mas esta a expresso para a diferena entre a mesma quantidade avaliada entre dois diferentes instantes de tempo. Isto significa, portanto, que esta
quantidade conservada!
Segue imediatamente, assim, uma Lei de Conservao. Se ns partirmos de um sistema que apresenta uma simetria, ento, uma vez que
qi = fi (q) , teremos conservada a quantidade:
fi ( q)
q
i
i
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
41
qi =
i fi ( q)
dt i qi
dt i
d
( i fi ( q) ) = 0
dt i
i fi (q )
i
"CARGA DE NOETHER"
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
42
mi xi =
i
Quantia
Conservada
Assim a conservao da quantidade de movimento neste caso consequncia da simetria de translao na direo x .
Vamos ver agora a expresso para o momento angular, considerando o
caso particular de uma partcula movendo-se num plano.
y
y
= r d
r
r
x
x
y = r d cos = r d = r d
r
r
x = r d sen = r d
x = fx
y = fy
x = y
y= x
fx = y
fy = x
x y + y x = p x y + p y x = L
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
43
( px y + p y x = Lz = ( r p )z ) .
Se observssemos a rbita da Terra um minuto aps o incio da trajetria
anterior, ns veramos exatamente a mesma trajetria, porm atrasada no tempo em um minuto. O fundamento por trs deste conceito que, nas leis da Fsica, no ocorre uma dependncia explicita do tempo (esta ideia est sempre
relacionada com a condio de se olhar apenas para partes isoladas do sistema). Por exemplo, se ns supusermos dois corpos situados nas proximidades
de um grande planeta que esteja se movendo, ento as foras nestes dois corpos sero explicitamente dependentes do tempo, devido ao movimento deste
planeta, que no estamos considerando em nossas equaes, mas que faz as
foras do sistema de dois corpos serem variveis no tempo. Neste caso, se observarmos estes dois corpos num instante ligeiramente diferente (para as mesmas condies iniciais), teramos trajetrias diferentes, e no apenas trajetrias
defasadas no tempo, pois o planeta j estaria em outra posio.
Se estes dois corpos compusessem um sistema isolado (afastado suficientemente do planeta) ento o sistema apresentaria a caracterstica de ser invarivel segundo uma translao no tempo. Isto significa que, se mudarmos, para todos os elementos do sistema, a referncia no tempo por uma mesma quantidade " " , a trajetria modificada continuar como soluo do problema. Esta a chamada invarincia em relao translao no tempo.
Voltemos trajetria percorrida por um sistema, representada pelos
"q ' s" e pelo tempo:
Vamos supor a trajetria deslocada no tempo por um intervalo .Ns
podemos ver este problema de duas maneiras:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
44
1a) Considerando que toda a trajetria simplesmente movida para adiante no tempo:
OBS: Se movimentarmos a trajetria
no sentido oposto (atraso), os resultados sero os mesmos obtidos com o segundo mtodo (explicado a seguir), porm, neste caso,
qi (t ) qi (t + ) e, portanto, a expresso
para q(t ) seria dada por:
dq
q (t + ) q (t ) =
= q
dt
enquanto as quantias extras A e B seriam
respectivamente somada e subtrada, pois, no
intervalo t1 t2 , o trecho B estaria acrescido trajetria atrasada (devendo ser subtrado) e o trecho A no seria levado
em considerao (devendo ser somado). Desse modo o resultado, como era de
se esperar, ser o mesmo obtido a seguir.
2a) Focando nossa ateno
num instante particular, no qual a
trajetria ter-se-ia movido apenas
lateralmente:
Neste segundo caso, podemos ver que cada ponto
( q1 (t ), q2 (t ) ... qn (t ) ) deslocado
para o ponto recuado no tempo
pelo intervalo " " :
qi (t ) qi (t )
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
45
dq
= q
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
A = 0 (Simetria)
tB
qi +
qi dt + B A
qi
qi
A=
tA
tB
A=
=0
i
tA
qi dt qi
dt +
i
tB
qi + B A
qi
tA
=0
Mas qi = qi
qi
i
tB
+B A =0
qi t A
B=
tB +
tB
dt , mas como
um infinitsimo: B=
(t B )
46
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
t A +
tA
A=
47
dt , mas como
um infinitsimo: A= (t A )
qi
tB
+ (t B ) (t A ) = 0
qi t A
qi
+ (t A )
qi t A
Ou seja:
+ (t B ) =
qi tB
qi
i
qi
i
= constante!
qi
d
dt
qi
i
qi
=0
(trocando o sinal)
qi
=H
(ENERGIA DO SISTEMA)
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
48
H = m x2
1
= m x 2 m x 2 + U ( x)
2
1
m x 2 + U ( x)
2
Este um resultado geral. Na verdade esta a definio de ENERGIA
em Mecnica. Portanto energia a quantidade conservada como consequncia da invarincia em relao translao no tempo.
Vamos ver agora a Mecnica segundo a forma Hamiltoniana, que constitui a conexo central com a Mecnica Quntica.
Mas vamos primeiramente ver alguns exemplos da utilidade prtica deste conceito.
Hoje em dia, com a Teoria do Campo Quantizado, as coisas que so realmente medidas em um experimento esto mais relacionadas ao Lagrangeano
do que s equaes do movimento. Por exemplo, a seo reta da coliso entre
partculas atmicas, resultando na emisso de ftons etc., est diretamente
ligada ao Lagrangeano. Assim a amplitude de probabilidade nas colises de
partculas, apesar de no pertencer Mecnica Clssica, so governadas pelo
mesmo Lagrangeano no limite entre as duas Fsicas (Clssica e Quntica).
Na Fsica Clssica, as primeiras coisas a terem sido descobertas foram as
equaes do movimento. Assim Maxwell formulou as equaes das ondas
eletromagnticas, etc. Mais tarde, no comeo do Sculo XX, descobriu-se que
essas equaes podiam ser formuladas pelo Princpio da Mnima Ao e que
a expresso da Ao era muito mais simples do que as prprias equaes do
movimento. Ento, de um ponto de vista prtico, sempre mais fcil calcular o
Lagrangeano e, depois, deduzir as equaes do movimento, do que tentar estabelecer diretamente estas equaes!
H=
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
49
---------------------------------------------------------------------------------------------OBS: Como j foi dito, se o Lagrangeano depender explicitamente do tempo, ento no teremos a conservao da energia, porque uma translao no
tempo no conservar o Lagrangeano, quebrando a simetria em relao ao
tempo.
----------------------------------------------------------------------------------------------
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
50
MECNICA CLSSICA
AULA No 5
Aplicaes do Lagrangeano Trajetria no Espao de Fases
para o Pndulo Harmnico
atravs das equaes de Newton F = m a , pois muito mais simples calcular velocidades do que aceleraes.
1-Pndulo simples:
d
( r sen , r cos ) = r cos , r sen
dt
1
1
1
T = mV 2 = m r 2 2 cos 2 + sen 2 = m r 2 2
2
2
2
o
usando U ( x ) = 0 para = 90 U ( x ) = m g r cos
1
= T U = m r 2 2 + m g r cos
2
V =
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
= = m r 2
=
q dt q
51
, teremos:
d
m r 2 = m g r sen
dt
r = g sen
H=
i qi
i
H=
1
= m r 2 2 m g r cos
2
1
m r 2 2 m g r cos
2
H = T +U
2-Pndulo duplo:
1
m r2 2
2
m r2
2
m r2 2
+ 2 + 2 ( cos cos + sen sen )
2
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
T2 =
52
m r2 2
+ 2 + 2 cos ( )
2
m r2
=
2 2 + 2 + 2 cos ( ) + m g r ( 2cos + cos )
2
Observando o Lagrangeano, vemos que, se estivermos num ponto onde a
gravidade seja desprezvel, o termo da energia potencial desaparece e o Lagrangeano no se modifica com a rotao do sistema e, portanto, ocorre a conservao do momento angular, fato que no sucede sob a influncia do campo
gravitacional.
Assim, se tivermos:
+
+
qi qi + fi (q) ( fi (q ) = 1)
=1
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
53
=
= 2 m r 2 + m r 2 cos ( )
=
= m r 2 + m r 2 cos ( )
+ = mr 2 2 + + + cos ( ) .
d
=
dt
m r2
2 2 + 2 + 2 cos ( )
d
2 m r 2 + m r 2 cos ( ) =
dt
mr 2 (sin( ) 2 + 2 + cos ( )) = 0
2) Para a coordenada :
d
=
dt
d
( m r 2 + m r 2 cos ( )) =
dt
m r2
2 2 + 2 + 2 cos ( )
mr 2 ( sin( ) 2 + cos( ) + )) 0
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
54
"Taylor"
Fazendo-se esta aproximao e ignorando o termo constante (que no afeta o Lagrangeano), ns teremos:
.
m R2 2 1
=
m g r 2
2
2
Assim o oscilador harmnico definido
por uma funo potencial que proporcional
ao quadrado da amplitude do deslocamento da
posio de equilbrio. Trata-se da mais simples
e exata aproximao para potenciais que apre-
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
55
= m x2 K x 2
2
2
2
OBS: O oscilador harmnico um modelo muito bom para pequenas oscilaes, onde a aproximao quadrtica para a energia eficiente. Porm perde a sua validade, quando as oscilaes so de grande amplitude, seja qual for
o campo de aplicao.
As equaes do movimento do pndulo so dadas por:
d
=
x
dt x
d
dt
1
1
m x2 k x2
2
2
x
d
k
(m x) = k x x = x
dt
m
1
1
m x2 k x 2
2
2
x
56
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
A soluo para esta equao pode ser uma funo cosseno ou uma
funo seno:
d2
d
( cos(wt ) ) = w sen ( wt )
dt
dt
( cos(wt ) ) = w2 cos ( wt ) w =
k
m
x =
H=
= p = mx
x
i qi
m x2 k x2
+
2
2
m x2 k x2
H=
+
2
2
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
57
p
m
H =
p2 k x2
+
2m
2
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
58
E
K
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
59
MECNICA CLSSICA
AULA No 6
Equaes de Hamilton Transformao de Legendre
Colchetes de Poisson Conservao da Energia
tada em cada um dos ciclos fechados, onde cada lei poderia ser denominada
por algum nmero, o qual corresponderia quantidade conservada:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
60
d2x
dt
dx
dp
= p ;
=F
dt
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
61
Exemplo de funo
no biunvoca
e entre e .
( w) =
( z) =
w
0
z ( w ) dw
z
0
w ( z ) dz
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
H ( z) +
( w) = z w
H ( z) = z w
H ( z ) = w z + z w
( w)
62
("Transformao de Legendre")
d
w
dw
d
=z
dw
H ( z ) = w z + z w z w = w z
( w)
dH ( z )
dH
z
=w
dz
dz
Nas equaes de Lagrange, o Lagrangeano funo de qi e qi . Porm,
Mas: H ( z ) =
( qi ,Vi )
=
= pi , podemos fazer, de maneira anloga ao caso anteqi Vi
rior, a construo de uma funo H, dada por:
Como
H=
pi Vi
HAMILTONIANO
H =
Vi pi + pi Vi
i
= pi
Vi
H =
qi
Vi
qi
Vi
Vi pi
i
qi
qi
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
H =
Mas
H
H
pi +
qi
pi
qi
H
= Vi
pi
H
=
qi
qi
d
d
pi = pi
=
=
dt qi
qi dt
H
= qi
pi
H
= pi
qi
63
H
= Vi = qi
pi
H
=
= pi
qi
qi
"EQUAES DE HAMILTON"
64
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
mx = p
H =
pi Vi
i
L = T V =
H = px
p2
1
m x2 U ( x ) =
U ( x)
2
2m
p2
p2 p2
+ U ( x) =
+ U ( x)
m 2m
2m
H =
p2
+ U (x)
2m
H
H U ( x )
p
= =x ;
=
=p
p m
x
x
dH d ( Energia )
=
dt
dt
H
H
dH
=
pi +
qi
pi
qi
dt
i
Calculemos agora
dH
=
dt
i
dH
= 0 (Conservao da Energia)
dt
H H H H
+
pi qi qi pi
No espao de fases, a conservao da energia representada por movimentos ao longo de uma mesma linha, correspondente a uma determinada
energia. E esta linha pode ser uma curva fechada, como j vimos no caso do
oscilador harmnico.
p
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
65
Vejamos a forma geral da conservao da energia. Vamos deixar de lado, por agora, a conservao em termos de simetria segundo o Lagrangeano,
concentrando-nos na lei de conservao segundo o formalismo Hamiltoniano.
Vamos supor que uma quantia seja funo, ( , ), da posio e momento em cada ponto no espao de fases.
Vamos introduzir agora uma nova notao, que chamada de
Colchetes de Poisson:
(Omitindo o sinal de Somatrio!):
dA ( q, p )
dt
A ( q, p )
dA ( q, p )
dt
dA ( q, p )
dt
pi
A ( q , p )
pi +
pi
A ( q, p )
qi
A ( q, p ) H
qi
pi
qi
A ( q, p ) H
H
+
qi
qi
pi
A ( q, p ) H
pi
qi
{ A ( q, p ) , B ( q, p )} =
A ( q, p ) B ( q, p )
qi
pi
A ( q, p ) B ( q, p )
pi
qi
"PRODUTO DE POISSON"
Assim teremos:
dA
=
dt
{ A, H }
COLCHETES DE POISSON
A H A H
qi pi pi qi
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
66
q p p q
p H p H
p = { p, H } =
q p p q
q = {q , H } =
H
p
H
p=
q
q=
Vemos assim que as duas equaes de Hamilton so apenas consequncia, como que um caso especial, de uma lei muito mais geral, segundo a qual a
derivada, em relao ao tempo, de qualquer quantia o produto de Poisson
dessa quantia pelo Hamiltoniano.
Esta a nova viso trazida pelas equaes de Hamilton, com a gerao
de derivadas no tempo atravs da aplicao do Produto de Poisson entre uma
funo e o Hamiltoniano do sistema.
Se o Hamiltoniano depende explicitamente do tempo: U = U ( x, t ) , ou
seja, se a partcula, mesmo sem se mover, tem sua energia potencial variada
ao longo do tempo, ento:
dH
H
H
H
H = H ( qi , pi , t )
qi +
pi +
=
dt
qi
pi
t
H
, que no deixa o produto de PoisTeremos assim um termo extra,
t
son se anular.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
67
MECNICA CLSSICA
AULA No 7
Teorema de Liouville Fluxo no Espao de Fases Sistemas Caticos
Lagrangeano com Potencial Vetor
Voltando mais uma vez ao assunto das leis admissveis na Fsica, acrescentamos que, nos grficos representativos deste tipo de lei, para sistemas discretos, no pode haver convergncia nem divergncia de setas em qualquer ponto do espao de fases, a fim de que a lei seja admissvel (conservao
da informao).
DIVERGNCIA
(Fonte)
CONVERGNCIA
(Sorvedouro)
O fluxo no espao de fases incompressvel, no entanto deformvel, no sentido de que, se considerarmos um conjunto de pontos em um determinado volume do espao de fase, o movimento deste conjunto ao longo do
tempo poder alterar a forma do volume inicial, mas no o volume inicial em
si mesmo.
p
VOLUME = CONSTANTE
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
68
Esta propriedade significa que o espao de fases mantm a conectividade durante o movimento do sistema.
Vamos estudar o fluxo de um sistema no espao de fases, segundo o
formalismo Hamiltoniano.
O fluxo como um todo determinado por uma nica funo de todos os
e . Conhecendo-se esta funo, possvel se determinar o fluxo no
espao de fases, de modo que, dada uma configurao inicial, pode-se prever
qual a configurao futura e passada do sistema (fluxo incompressvel
conservao da informao!).
p
pi =
H
H
; qi =
qi
pi
q
Vamos verificar o que significa um fluxo incompressvel, comeando
por um caso unidimensional:
Neste caso, somente um deslocamento uniforme de todos os pontos preservaria a densidade linear dos pontos.
Podemos ver esta questo de dois modos:
1) Acompanhando o movimento de um determinado volume, fixo ao
longo do fluxo.
2) Fixando-nos em um determinado volume do espao de fases e observando o fluxo de pontos atravs deste volume, num determinado intervalo de tempo.
Neste segundo caso, observaramos pontos entrando e saindo do volume
fixado. No caso de fluxos incompressveis, isto significa dizer que o nmero
de pontos que entram neste volume, num determinado intervalo de tempo,
igual ao nmero de pontos que saem dele.
69
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
A condio para que isso acontea, neste caso unidimensional, uma vez
que a razo de variao do nmero de pontos dentro do volume de controle
proporcional (a menos do fator de densidade) diferena V1 V2 , que
V
= 0.
x
Vamos passar agora para o caso
bidimensional:
Taxa de aumento de pontos no
interior do volume, em relao ao fluxo na direo x:
(VA
VCx y (a
VAx VC x =
Vx
x
x
"taxa de aumento" =
Vx
x y
x
y: VAy VBy x
V Ay VBy =
V y
y
"taxa de aumento" =
V y
y
xy
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
V y
V
dN
= x
x y
x
y
dt
70
dN
=0
dt
. V = 0 (Divergente de V )
DIVERGNCIA DE V
H
= V pi (Velocidade de pi )
qi
H
= Vqi (Velocidade de qi )
pi
V pi
pi
H
H
H
+
=0
qi pi
pi
qi
qi pi
pi qi
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
71
Vejamos novamente o caso fsico mais simples, observando o movimento de uma partcula movendo-se em apenas uma dimenso.
x2
px = x (massa =1)
2
Se representarmos o mesmo sistema por uma nova varivel y = x :
=
1
y2
y
x p
; py =
= = x ; p y = px
2
2
Vemos ento que, se esticarmos o eixo x x , ns encolhemos o
p
eixo p x x .
y
=x
Torna-se claro que a rea fica preservada, o que significa a preservao do volume em duas dimenses.
--------------------------------------------------------------------------------------------OBS: No caso da Mecnica Quntica, como veremos em outro curso, a mnima rea definvel no espao de fases dada pela constante de Plank: .
--------------------------------------------------------------------------------------------A afirmao de que o fluxo no espao de fases incompressvel corresponde ao chamado Teorema de Lioville.
A respeito do comportamento do fluxo, podemos ver agora o significado
de CAOS. Assim como os sistemas no caticos, os sistemas caticos
mantm a incompressibilidade do fluxo (conservao do volume). O que de
fato catico a disperso do volume.
No temos preciso para distinguir pontos, mas apenas pequenas esferas.
Portanto no importa quo precisa e pequena seja a definio da esfera, o sistema catico acabar por levar pontos situados na mesma esfera a posies
situadas fora daquela esfera original e da esfera um do outro.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
72
F = qV B ( x, y, z )
V B
V B
V B
= Vy Bz Vz B y
= Vz Bx Vx Bz
= Vx B y Vy Bz
73
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
Precisamos agora do conceito de Potencial Vetor, que um meio simples para descrever os campos magnticos. A definio do Potencial Vetor
dada por:
B = A
A "Potencial Vetor"
( A) x = Ayz
Ay
z
; A
F = qV B = qV A
Fz = q Vx
) y = Azx Axz ; ( A) z =
Ay
x
Ax
y
Ax Az
Az Ay
Vy
z
x
y
z
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
74
A=
=
i
m xi 2
+ q xi Ai
2
dt
m xi 2
+ q xi Ai
2
= m z + q Az =
=q x x +y
+z z
z
z
z
z
dt
Ay
Az
A
A
A
A
+z z
x+ z y+ z z =q x x + y
x
y
z
z
z
z
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
75
Ay Az
Ax Az
x+q
y
z
x
z
y
mz = q
m z = q B y x Bx y = q V B
)z
H ( x ) = m x 2 + q Ax x
m x2
q x Ax
2
m x2
H( x) =
2
Obtemos assim a mesma expresso da energia cintica para uma partcula sem carga. Este resultado se deve ao fato de que a fora magntica no realiza trabalho!
Para resolver o problema em termos da formalstica Hamiltoniana, devemos expressar o Hamiltoniano em termos de e :
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
( px q Ax )
x=
( p q Ax )
1
H ( x) = m x2 = x
2
2m
76
H = H( x) + H ( y ) + H ( z )
A partir deste resultado e aplicando as equaes de Hamilton, podemos
deduzir da mesma forma a equao: F = qV B
1
1
H=
p x 2 2 q p x Ax + q 2 Ax 2 +
p y 2 2 q p y Ay + q 2 Ay 2 +
2m
2m
1
pz 2 2 q p z Az + q 2 Az 2
2m
Ay
H
A
A
1
=
2 q px x + 2 q 2 Ax x 2 q p y
+
x
x
x
x
2m
2 q 2 Ay
Ay
x
2 q pz
Az
A
+ 2 q 2 Az z
x
x
A
A
H q Ax
=
( p x q Ax ) + y p y q Ay + z ( p z q Az )
x m x
x
x
x=
1
= ( p x q Ax ) analogamente para y e z
x
m
ou: x =
px
1 H
1
= ( px q Ax ) analogamente para y e z
,H =
m
m p x
m
Ay
H
A
A
=q x x +y
+z z
x
x
x
x
Mas:
q x
Ax
A
A
d
H
= px = ( m x + q Ax ) = m x + q
x+ x y+ x z
x
dt
x
x
x
Ay
Ax
A
+y
+z z
x
x
x
= mx+q
Ax
A
A
x+ x y+ x z
x
x
x
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
mx = q y
Ay
x
Ax
Az Ax
+z
y
x
z
m x = q y Bz + z By = qV B
)x
77
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
78
MECNICA CLSSICA
AULA No 8
Invarincia de Calibre Partcula em um Campo Eletromagntico
Colchetes de Poisson
F = ma = q E + qv B
(q v B Fora de Lorentz)
Uma vez que a fora magntica atua na direo perpendicular ao movimento da partcula ( v B ) e o campo eltrico na direo do plano, o movimento de nossa partcula ficar sempre contido no plano.
Vamos necessitar aqui, novamente, do conceito de Vetor Potencial ( A
), para definirmos o campo magntico: B = A
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
79
Fi =
U
xi
1
m x 2 + y 2 qV ( x, y ) dt + q Ai dxi
2
( A ds =
Ai dxi )
m 2
x + y 2 dt + q
2
( Ai dxi Vdt )
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
80
m 2
x + y 2 dt + q ( Ai xi V ) dt
2
m 2
A=
x + y 2 dt + q A v V dt
2
A=
) (
m 2
x + y2 + q A v V
2
Uma vez que o Potencial Vetor no nico, podemos pensar em algum tipo de simetria relacionada a mudanas no Potencial Vetor, que no
afetem a Ao. Esta simetria chamada de INVARINCIA DE CALIBRE (GAUGE INVARIANT).
Para entender esta Invarincia de Calibre, vamos focalizar apenas uma
componente do produto vetorial:
A
( A) z = x Ay y Ax
Ai + xi ( x )
A + ( x)
) z = x Ay y Ax + x y y x .
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
x =
81
= mx + q Ax
x
d
=
x dt x
) (
m 2
x + y 2 + q Ax x + Ay y qV
2
Ax
A
d
=mx+q
x+ x y
x
y
dt x
=
Ay
Ax
V
x+
y q
=q
x
x
x
x
(
)
( F ) = q (v B) + (q E )
x
x
x
m x = q y x Ay y Ax q
V
x
m x = q y Bz q Ex
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
82
1) Ay = b x ; Ax = 0
2) Ay = 0 ; Ax = b y
Bz = b
Bz = b
b
b
x ; Ax = y
Bz = b
2
2
Estes so trs exemplos de Vetor Potencial para o campo magntico uni3) Ay =
x =
= m x + qb y
x
y =
=my
y
Se fizermos uma translao no eixo x : x x + , as componentes da
velocidade ( x, y ) no se alteram. Isto significa que a componente x do momento conservada, o que representa uma simetria de translao na direo
x.
Porm, se fizermos uma translao em y , o termo q b y altera o Lagrangeano (Ao), portanto a componente y do momento no conservada.
Neste primeiro calibre, a quantidade m x + q b y conservada.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
83
Se ela for inicialmente nula, ento permanecer nula. Assim, neste caso:
qb
x=
y
m
Vejamos agora o segundo calibre:
y =
= m y qb x
y
( =
m 2
x + y 2 + qb x y)
2
x = w y
y = wx
qb
m
Usando dois diferentes calibres, obtivemos duas diferentes leis de conservao!
Calibre 1: x = m x + q b y
Calibre 2: y = m y q b x
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
84
x = q b y0
y = q b x0
Analogamente:
Assim, o significado fsico do momento, neste caso, algo totalmente
inesperado, pois os dois momentos conservados representam as coordenadas
do centro do crculo em volta do qual a partcula gira! E de fato, o centro ao
redor do qual a partcula se move no campo magntico no varia com o tempo
neste caso.
Vamos agora considerar a presena de um campo eltrico na direo x :
xV = E
V = E x
yV = 0
O Lagrangeano ser dado ento por:
m 2
=
x + y 2 + q b y x + q E x (primeiro calibre) .
2
Deste modo, teremos:
x =
dt
x
mx + qb y = q E
Para o segundo calibre, uma vez que o campo eltrico aparece apenas
na direo x , y no muda:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
y = m y q b x = constante
85
d y
= 0 m y qb x = 0
dt
Vamos agora, em nome da simplicidade, procurar uma soluo que no
apresente acelerao (m x = m y = 0) :
qb y = q E
qb x = 0
E
b
x=0
y=
y
Movimento na direo y,
dependendo apenas da
razo
x
Assim, sem acelerao e com o campo eltrico na direo x, temos um
movimento uniforme na direo y. Este o chamado Efeito Hall.
Passemos agora a ver um novo formalismo para a Mecnica. Trata-se
de uma forma estreitamente ligada ao formalismo Hamiltoniano, porm numa
forma mais abstrata, dada pelos COLCHETES DE POISSON.
Apesar de bastante abstrata, esta forma da Mecnica est relacionada
Mecnica Quntica, sendo esta a razo pela qual a estamos estudando!
H
H
Segundo as equaes de Hamilton:
= qi ;
= pi
pi
qi
Vamos considerar uma funo qualquer de pi e de qi : A = A ( qi , pi )
A ( q, p ) =
A
A
qi +
pi
qi
pi
A ( q, p ) =
A H
A
H
+
qi qi
pi
pi
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
A ( q, p ) =
86
A H A H
{ A, B} =
A B A B
qi qi pi pi
{ A, B} = { A, B}
d
A = { A, H }
dt
Se fizermos A = 1
Se fizermos
(Antisimtrico!) e que
= , ento:
{ p, H } =
p H p H dp
dt
q p p q
dp
= { p, H }
dt
{ A, B} = {B, A}
{ A, A} = { A, A} = 0
{ pi , p j } = {qi , q j } = 0
{ pi , q j } = ij
Delta de Kronecker:
ij = 1 (i = j )
ij = 0 (i j )
dq
= {q , H } .
dt
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
{ pi , F ( q, p )} =
pi F pi F
q j p j p j q j
=0
Analogamente:
87
{ pi , F ( q, p )} = qF
i
= ij
{qi , F ( q, p )} = pF
{ A, B} = { A, B}
{ A + B, C} = { A, C} + {B, C}
{ A B, C} =
"LINEARIDADE"
A C B C A C B C
B
+
A
A
q p q p p q p q
{ A B, C} = A{B, C} + B { A, C}
Com estas propriedades, podemos desenvolver toda a lgebra ligada
aos Colchetes de Poisson.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
88
MECNICA CLSSICA
AULA No 9
Colchetes de Poisson Simetrias Espao de Fases
Transformaes Cannicas (Hamiltoniano)
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
89
que aquela translao ou deslocamento fazem com o sistema, atravs dos sucessivos deslocamentos.
Alm dessas transformaes de coordenadas, podemos ter uma variedade muito mais rica de transformaes ou fluxos no espao de fases, que no
se refere apenas s coordenadas de posio, mas ao conjunto de q ' s e p ' s no
espao de fases.
Estas transformaes ou fluxos no espao de fases so descritos pelo
mtodo dos Colchetes de Poisson.
Vamos rever as propriedades dos Colchetes de Poisson, porm de uma
forma mais abstrata, sem nos preocuparmos com suas definies detalhadas,
mas apenas observando-as como um conjunto de postulados ou de axiomas:
1) { A, B} = {B, A} (ANTISIMETRIA)
2) { A + B, C } = { A, C} + { B, C } (LINEARIDADE)
3) { A B, C } = A {B , C} + B { A, C} (PRODUTO)
4) qi , p j = ij
---------------------------------------------------------------------------------------OBS : A forma na qual est escrita esta terceira propriedade, apesar de indiferente em relao posio dos colchetes de Poisson, que admitem a comutao, ser significativa na Mecnica Quntica, que no admite a comutao.
---------------------------------------------------------------------------------------A partir destas relaes, possvel deduzir todas as demais propriedades
dos colchetes de Poisson.
{F ( q ) , G ( q )} = 0
{F ( p ) , G ( p )} = 0
dF
{F ( q ) , p} = dq
{q, F ( p )} = dF
dp
Desenvolvimento
em Srie de Taylor, Linearidade, Produto.
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
90
Com isso, podemos dizer que temos uma lgebra para os colchetes de
Poisson, a qual caracteriza a relao entre q ' s e p ' s no espao de fases.
Vamos adicionar mais um postulado (j visto por ns) aos outros postulados:
dA
= { A, H }
dt
p2
p2
, portanto :{ p, H } = p = { p,
}=0
2m
2m
p2
2m
p2
p
p
p
,q =
,q =
{ p, q} p
m
2m
2m
2m
Vemos ento que, sem aplicar as equaes de Hamilton, podemos deriv-las atravs da lgebra dos colchetes de Poisson.
Vejamos agora aquela maior variedade de transformaes. Estas frmulas bsicas dos colchetes de Poisson so vlidas para todos os sistemas fsicos conhecidos (Relatividade Geral, Teoria do Campo Quntico, Sistemas Clssicos, Eletromagnetismo, etc.).
Simetrias, como j vimos, so transformaes de um sistema que no
modificam sua dinmica.
As simetrias vistas at agora envolvem mudanas nas variveis , como por exemplo na translao e na rotao do sistema. Vejamos se h e quais
so as simetrias que envolvem as variveis e e que preservam a estrutura da Mecnica Clssica, ou seja, que no modificam as propriedades bsicas
dos colchetes de Poisson.
Suponhamos, por exemplo, um sistema com apenas um q e um p , e faamos uma transformao tal que os novos Q e P sejam dados por:
P = 2 p e Q = 2q .
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
91
"Rotao"
{P, P} = {Q, Q} = 0
{P, P} = {Q, Q} = 0
{Q, P} = { p sen + q cos , p cos + q sen }
{Q, P} = { p, q} sen 2 + {q, p} cos 2 = 1
Portanto a rotao preserva a estrutura dos colchetes de Poisson.
Todas as transformaes que preservam a estrutura dos colchetes de
Poisson so chamadas de TRANSFORMAES CANNICAS.
Se ns podemos construir uma transformao a partir de uma composio de transformaes infinitesimais (aproximveis em valores de primeira
ordem), de modo que:
Qi = qi + qi ( p, q )
Pi = pi + pi ( p, q)
Ento resulta que: {Qi , Pi } = {qi , pi } + { qi , pi } + {qi , pi }
-----------------------------------------------------------------------------------------OBS : O termo { qi , pi } um infinitsimo ao quadrado e, portanto, desprezvel.
-----------------------------------------------------------------------------------------As condies para que a transformao seja Cannica dada por:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
92
{Qi , Pi } = {qi , pi }
Para que tenhamos isso, necessrio ento que: { qi , pi } = {qi , pi } .
Vamos expressar qi da seguinte forma:
qi = {qi , G ( q, p )}
pi = { pi , G ( q, p )}
qi = {qi , G ( q , p )}
pi = { pi , G ( q , p )}
ento a transformao cannica, de modo que: {Qi , Pi } = {qi , pi } .
Vamos provar este teorema:
G
G
qi =
; pi =
pi
qi
G
2G
{ qi , pi } = , pi =
pi
qi pi
G
2G
{ pi , qi } = , qi =
qi
pi qi
{ qi , pi } = { pi , qi }
dq
= { q, H }
dq = dt {q, H }
dt
Sendo assim, se considerarmos dt como o equivalente de , teremos
Se sabemos que q = {q, H } , ento
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
q = {q , H }
93
A=
A
A
A G A G
q + p =
+
q
p
q p p q
A = { A, G}
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
94
Esta justamente a expresso que usamos para obter a derivada no tempo, no caso de G ser o prprio Hamiltoniano: dA = dt { A, H } .
A mudana de uma funo arbitrria ao longo de qualquer fluxo proporcional ao produto de Poisson desta funo pelo gerador do fluxo.
Ento, para que a energia no se altere ao longo do fluxo, o produto de
Poisson entre H e G deve ser nulo {H , G} = 0 . Isto implica tambm que
d
G=0 .
dt
A elevada abstrao desta forma de expresso para a Mecnica assume
grande importncia e tem aplicao real na Mecnica Quntica.
Vamos ver um simples exemplo, observando o movimento de uma partcula livre, com massa unitria ( m = 1 ).
2
px 2 p y
+
H=
(Hamiltoniano)
2
2
Momento Angular: G = x p y y px
py2
py2
px2
px 2
y px ,
= py x ,
px y ,
{G, H } = x p y ,
2
2
2
2
{G , H } = p y p x p y px = 0
Assim, a anulao do produto de Poisson {G, H } implica que o momento angular conservado, mas tambm implica que, se tivssemos um Hamilto2
px2 p y
tamniano dado pela expresso x p y y px , ento a quantidade
+
2
2
bm seria conservada neste novo sistema, o que ressalta a simetria do sistema.
Neste caso, teramos: H = x p y y p x , portanto:
Mecnica Clssica
Notas das aulas do Prof. Leonard Susskind Universidade de Stanford
x = { x, H } = y
y = { y, H } = x
Neste movimento, a quantia
(movimento circular)
2
px2 p y
seria conservada.
+
2
2
95
96
RELATIVIDADE ESPECIAL
AULA NO 1
Introduo
Vamos ver com ateno a matemtica da Relatividade Especial, desenvolvendo em detalhes a descrio do espao-tempo, energia, momento,
transformao de Lorentz, sincronicidade, etc. Veremos a seguir a cinemtica, ou seja, como as coisas se movem no espao-tempo e por que elas se
movem. Isto nos levar ao conceito de fora e dinmica, que envolvem os
conceitos de energia e momento, abrangendo as equaes de Newton.
Tudo isto nos levar, mais a frente, ao estudo da Relatividade Geral e de alguns assuntos relacionados a ela, como Buracos Negros, Gravitao, Expanso do Universo, etc.
Comecemos por definir o que significa relatividade.
Relatividade significa que as Leis Fsicas so independentes do sistema de referncia no qual elas so estudadas. Para o nosso propsito, Sistema
de Referncia significa o estado de movimento de um conjunto de coordenadas. Pode-se pensar ento que um sistema de referncia seja uma malha
tridimensional (x, y, z ) que define a localizao de cada ponto do espao e que
possui um relgio em cada um destes pontos.
Newton considerava que o tempo fosse algo completamente universal,
como um tempo divino, igual para todo mundo. Assim todos os relgios,
independente de sua posio ou do seu movimento (tanto do observador como
do prprio relgio), marcariam um tempo universal e consensual, igual para
todos.
Esta ideia comeou a mudar quando Einstein desenvolveu a Teoria da
Relatividade. Esta ideia, porm, j existia antes de Einstein, remontando
poca de Galileu.
97
98
Diagrama
Espao Tempo
Se ns quisermos, por
exemplo, representar uma
rgua parada no sistema,
teremos o diagrama apresentado direita:
6s
5s
4s
Rgua
3s
2s
1s
1m 2m 3m 4m 5m 6m 7m 8m
Imaginemos agora dois trens, A e B, sendo que o trem A est parado (logicamente apenas como referncia) e o trem B est em movimento,
com velocidade V:
Neste caso, o grfico do trem B estar inclinado em relao ao do trem
A, pois seus vages esto-se movendo em relao aos de A (ainda estamos na relatividade de Galileu).
99
t =t'
x = x '+ V t
Esta a matemtica bsica da relatividade de Galileu.
Verifiquemos agora que tipo de informao INVARIANTE segundo
este tipo de transformao.
100
O conceito de INVARIANTE define algo sobre o que todos concordam a respeito. Vejamos alguns exemplos mais evidentes deste conceito.
Num determinado instante de tempo, a distncia entre dois eventos ser
um invariante.
t x1 e x2 (dois eventos)
d = x2 x1
x '1 = x1 Vt
x '2 = x2 Vt
x '2 x '1 = x2 x1 = d
dx ' ( t )
dt
d 2 x '(t )
dx ( t )
dt
V . Portanto a velocidade
d 2 x (t )
=
.
dt 2
dt 2
Vemos, assim, que a acelerao um invariante. Segundo a transformao de Galileu, a acelerao de um objeto em movimento a mesma para observadores movendo-se com velocidade relativa constante.
De acordo com este resultado, podemos imaginar que, se as leis da Fsica devem ser invariantes nos sistemas de referncia em movimento relativo
uniforme, ento elas devem estar fundamentadas em ACELERAES.
E exatamente isto o que acontece, segundo Newton, com a lei
F = m a .
Vejamos esta questo com mais detalhes. Imaginemos dois objetos exercendo uma fora mtua entre si, estando situados ao longo do eixo x. Normalmente, a fora entre os dois objetos depende da distncia entre eles. As
Para a acelerao, teremos:
101
102
103
104
mos que esta anlise nos levar transformao de Lorentz, segundo a qual o
conceito de simultaneidade torna-se relativo.
Comecemos pela anlise do diagrama espao-tempo de A.
Tendo como referncia o sistema A e considerando o trem A com
apenas dois vages e com os seus relgios situados nas duas extremidades do
trem, sincronizados atravs da luz, se ambos emitirem um flash de luz no
tempo t = 0 em direo ao centro M do trem, ambos sinais iro atingir o
ponto M ao mesmo tempo, conforme podemos ver no diagrama a seguir:
Para que o diagrama seja coerente com a magnitude da velocidade da
luz, vamos considerar, de agora em diante, a velocidade da luz como sendo
UNITRIA ( c = 1) , de modo que sua
representao no diagrama dada por
uma reta com inclinao de 45 . Para
recuperarmos novamente a velocidade
nas equaes, bastar fazermos uma anlise dimensional.
Temos ento que um raio de luz
movendo-se para a direita, a partir da
origem, satisfaz a equao: x = t (c = 1).
Caso o raio no saia da origem, a equao ser dada por x = t + K (
K = constante ).
Para um raio de luz deslocando-se para a esquerda teremos de maneira
geral, x = t + K .
Temos, assim, que a velocidade mxima no diagrama a velocidade da
luz, correspondendo a uma reta inclinada de 45 , sendo que todas as outras
retas (velocidades constantes) so menos inclinadas (mais prximas da vertical).
Vamos adicionar ao diagrama espaotempo de A a descrio do movimento
destes flashes conforme descritos pelo sistema B, cuja velocidade em relao a A
V:
105
Vamos acrescentar tambm as linhas do movimento do trem B correspondentes s suas extremidades e a o seu centro, que foram consideradas
coincidentes com as do trem A no instante t = 0 .
2
1
106
1
3
O
Podemos verificar, quantitativamente, onde est situado no
diagrama espao-tempo o ponto
3. Isto requer apenas um pouco
de lgebra e geometria:
O ponto 2 a interseo
entre as retas x = t e x = V t + L ,
ou seja:
t =V t + L
t=
1
3
L
(1 V )
Ponto "2"
L
L
,
1V 1V
2L
=K
1V
107
V
1V 2
V
2L
2L
2L
=
2
1V
1V
1V 2
x=
2L
1V 2
2 L 2 LV
,
1V 2 1V 2
Com o ponto 3, podemos determinar a reta entre O e 3, que define
a direo do eixo de eventos simultneos para o observador em movimento
no trem B, pois tanto o ponto O no tempo t = 0 , como o ponto 3, no
Portanto Ponto 3
tempo t =
2 LV
1V 2
108
mt =V x
T=
L
L
T
109
110
lativos ao observador em movimento, pelos quais os eixos do tempo e espao ficam inclinados no sistema em repouso so iguais.
Com este tipo de construo grfica, podemos deduzir as Transformaes de Lorentz.
Ns j temos baste informao sobre as relaes entre os dois sistemas
A e B, (x , t ) (x ' , t ') , mas ainda no sabemos tudo.
Conforme j vimos, segundo Galileu, x ' = x V t . Isto significa que,
quando =
, ento & = 0. Mas esta condio deve continuar valendo
para qualquer novo tipo de transformao, pois a origem de B (x ' = 0 ) se
desloca em relao a A com velocidade constante V ao longo de =
. Como um todo, a equao x ' = x V t pode estar errada, porm qualquer alterao que ela venha a sofrer no deve alterar a relao de que x ' = 0
para =
. Para isso, s h uma forma de alterarmos a equao, ou seja,
multiplicando o termo
por um fator que pode depender da velocidade relativa de B em relao a A: x ' = f (V )( x 'Vt ) .
Ao longo da linha t = V x
temos & = 0, pois esta a linha de sincronicidade para B. Portanto, seja qual for a forma da equao para , ela
dever manter esta propriedade, ou seja, de que, pata = , para & = 0.
Assim, analogamente ao que j vimos para & = 0, devemos ter, para a nova
transformao: & = (( )( ).
Estas equaes esto ligadas inclinao do eixos e . Mas elas no
so suficientes para determinarmos as funes ( ) e (( ).
A condio que nos permite determin-las est no fato de que qualquer
equao utilizada pelo sistema A para converter informaes sobre o sistema
B, deve ser exatamente igual quela utilizada pelo sistema B para converter informaes sobre o sistema A, exceto pelo sinal da velocidade relativa .
Vamos ento resolver as equaes agora em funo de e de ,
aplicando esta propriedade de antissimetria em relao a .
Isto decorre do fato de que, se o sistema A v o sistema B deslocando-se
com velocidade , ento o sistema B v o sistema A deslocando-se com
velocidade .
Vamos provar primeiro que a funo ( ) tem de ser igual a (( ).
111
Esta igualdade decorre do fato de todos concordarem a respeito da velocidade da luz. Isto significa que, se um observador v a luz como = (velocidade da luz = 1) ento o outro observador deve v-la como & = ( =
1).
x ' = f (V )( x Vt )
t ' = g (V )( t Vx )
x ' = f (V ) t (1 V )
45
t
Porm, para
Portanto:
= :
Para
= , temos
&
t ' = g (V ) t ( t V )
= .
( ) (1 ) = (( ) (1 ), logo ( ) = (( ).
t=
t'
+ Vx
f (V )
x V
t'
x'
+ Vx =
f (V )
f (V )
112
x=
x=
x=
x'
Vt '
+V 2x +
f (V )
f (V )
1
(1 V )
2
x '+ Vt
f (V )
x '+ Vt
f (V )
x'
+ Vt
f (V )
x 1V 2 =
t V
t 1V 2 =
x'
t'
+ Vt =
f (V )
f (V )
t=
t'
Vx '
+
+V 2
f (V ) f (V )
t '+ Vx '
t '+ Vx '
1
t=
2
f (V )
f (V )
1V
x ' = f ( v )( x Vt )
t ' = g ( v )( t Vx )
, as
f (V ) =
1
1V 2
( t '+ Vx )
t=
2
(1 V ) f (V )
1
f (V ) =
(1 V ) f (V )
2
f (V ) =
1
1V 2
113
O valor de ( ) surge da reciprocidade entre as equaes de transformao de informaes entre os sistemas A e B, exceto pelo sinal de .
Como resultado disto, a transformao que satisfaz os postulados de
Einstein dada pelas seguintes relaes:
x' =
t'=
x Vt
1V 2
t Vx
x=
e
t=
1V 2
x '+ Vt '
1 V 2
t '+ Vx '
1V 2
x' =
t'=
x Vt
x=
1 V 2 c2
t V 2 x c2
1 V 2 c2
t=
x '+ Vt '
1 V 2 c2
t '+ V 2 x ' c 2
1 V 2 c2
114
c V
1 V 2 c2
t (1 V c )
1 V 2 c2
x'
=c
t'
115
RELATIVIDADE ESPECIAL
AULA NO 2
Paradoxos - Tempo prprio - Velocidade Momento
x Vt
2
x=
x '+ Vt '
V
V2
1 2
1 2
c
c
Vx
Vx '
t 2
t '+ 2
e
c
c
t'=
t=
2
V
V2
1 2
1 2
c
c
y'= y
y'= y
z' = z
z' = z
As coordenadas perpendiculares direo do movimento, e , como
podemos ver nas equaes, no se alteram na Transformao de Lorentz. Para
podermos ver por que isto ocorre, basta imaginarmos, em cada um dos sistemas, uma rgua colocada na direo perpendicular direo do movimento
relativo, considerando que o sistema A est em repouso (em relao a ns) e
116
x Vt
1V 2
; t' =
t Vx
1V 2
x '+ t ' =
x + Vt + t Vx
1V 2
t '+ x ' = ( t + x )
117
( x + t )(1 V ) = ( x + t )(1 V )
(1 + V )(1 V )
1V 2
(1 V )
(1 + V )
(1 + V )
(1 V )
118
Podemos ver ento que este novo sistema de coordenadas, quando submetido a uma transformao de Lorentz, simplesmente multiplicado por um
fator dependente da velocidade relativa entre os sistemas, sendo este fator,
para cada um dos sistemas, um o inverso do outro.
Vemos que, assim, a figura matemtica da transformao de um sistema
para outro se reduz a um encolhimento da coordenada + pelo fator
(1 V )
(1 + V )
e ao alongamento da coordenada
pelo fator
(1 + V ) , sendo
(1 V )
Em relao ao sistema B,
o grfico espao-tempo representado por:
119
t Vx
t ' + x' =
t '2 + x '2 =
2
1V 2
x Vt
1V 2
t 2 2tVx + V 2 x 2 x 2 + 2 xVt V 2 t 2
1V 2
2
t ' + x' =
t 1 V 2 x2 1 V 2
1V
t '2 + x '2 = t 2 + x 2
120
Se t 2 > x 2 , isto significa que estamos falando de pontos situados na regio do espao-tempo em que t > x (Regio de tipo tempo):
-------------------------------------------------------------------------------------------OBS: Se estivssemos trabalhando no espao tridimensional, a frmula para o
tempo prprio seria dada por: t 2 x 2 y 2 z 2 .
-------------------------------------------------------------------------------------------Ao longo do cone de luz o tempo prprio zero ( = ).
Neste caso diferente daquilo que se passa com as distncias normais no
espao, que, quando so nulas, significam pontos coincidentes podemos ter
dois pontos no coincidentes, mas cujo intervalo de tempo prprio zero,
bastando para isso que eles estejam situados ao longo do cone de luz.
Se considerarmos um relgio situado na origem do sistema, teremos para
o seu tempo prprio:
t
=0
121
=0
/
/
&
122
=0
T ' = T 2 V 2T 2
T '2 = T 1 V 2
"
123
= 0
=0
L ' = L 1V 2
124
125
Q
P
L
x
x
G
Conforme vemos no diagrama, existe um intervalo de tempo no referencial da garagem, no qual as extremidades da limusine, P e Q, estaro simultaneamente, para o referencial da garagem, dentro da garagem, de modo que,
neste referencial, a limusine estar menor do que a garagem. No grfico, vemos que a frente da limusine entra na garagem no ponto R, enquanto a traseira
entra na garagem no ponto P. Vemos tambm que a frente da limusine s alcana o final da garagem no ponto Q, tudo isso no referencial da garagem!
No grfico, podemos ver claramente que, no intervalo de tempo , o
comprimento L, segundo o qual a garagem v a limusine, fica todo contido na
garagem.
Mas tambm vemos que, para o observador na limusine, quando a sua
traseira est no incio da garagem, a sua frente j est fora da garagem, como
nos mostra o ponto S, que, para o observador na limusine, est situado na linha
de mesmo tempo, ou seja, na linha que define a simultaneidade para o ob-
126
servador na limusine! Isto significa que, para o motorista da limusine, a traseira da limusine s atingiu a entrada da garagem aps a frente ter sado da garagem!
Vemos, ento, que no h paradoxo algum, sendo tudo apenas uma questo de entender o conceito de simultaneidade. Este o ponto comum para todos os paradoxos aparentes da relatividade.
Vamos ver agora como, segundo a relatividade, funcionam as leis da fsica em relao, por exemplo, fora e ao momento de Newton. Para isso,
voltaremos Transformao de Lorentz, a fim de desenvolver um pouco de
matemtica.
Na relatividade, temos quatro dimenses: as trs espaciais e o tempo.
Uma notao compacta e conveniente para lidar com quatro dimenses a
seguinte:
( t , x, y , z ) = ( x 0 , x1, x 2 , x3 ) = x
Portanto, quando o ndice passa para baixo, as componentes espaciais trocam de sinal. Podemos escrever ento que:
) (
x = x 0 , x1 , x 2 , x 3 = x 0 , x1 , x 2 , x 3
**********
127
OBS: A mudana de sinal nas coordenadas est associada mtrica da transformao de Lorentz, que dada por ds 2 = dt 2 dx 2 dy 2 dz 2 .
**********
Esta notao bastante concisa e eficiente na relatividade.
Vamos considerar a seguinte expresso:
x0 x 0 + x1 x1 + x2 x 2 + x3 x3 = tt + ( x )( x ) + ( y )( y ) + ( z )( z )
x x = t 2 x 2 y 2 z 2
Esta ltima equao representa a DISTNCIA PRPRIA no espaotempo, constituindo um INVARIANTE segundo a transformao de Lorentz
(neste caso, a distncia entre um determinado ponto no espao-tempo
( , , , ) e a origem do sistema).
Este tipo de expresso, x x , aparece com tanta frequncia na Teoria da
Relatividade, que Einstein criou uma regra para facilitar a escrita. Segundo
esta regra, sempre que tivermos dois ndices repetidos, um superior e outro
inferior, ento a expresso deve ser somada neste ndice, que deve variar de
0 at 3. Assim, segundo a Conveno de Soma de Einstein temos:
x x = x x =
Como j vimos, a Transformao de Lorentz combina o espao e o tempo juntos, tal como, por exemplo, quando um observador se move ao longo do
eixo , situao na qual temos as coordenadas e misturadas na transformao para e .
O princpio da relatividade um princpio de simetria, segundo o qual as
equaes da Fsica devem ser simtricas, no mudando quando submetidas a
uma Transformao de Lorentz.
Uma das outras simetrias conhecidas aquela que se refere rotao de
um sistema no espao.
128
De fato, se ns combinarmos a Transformao de Lorentz com a transformao de rotao, obteremos uma gama muito maior de transformaes,
que formam basicamente todo o conjunto de transformaes da Fsica Relativstica.
Se supusermos apenas duas
dimenses espaciais, teremos
graficamente:
x
2
Como sabemos, para um observador movendo-se na direo , a Transformao de Lorentz dada por:
x' =
x Vt
1V
t'=
t Vx
1V
&
y Vt
1 V
t'=
t Vy
1V
&
Mas isto corresponde a uma rotao de 90o, de modo que o eixo coincide agora com o eixo anterior. Sendo assim, vemos que, para uma direo
qualquer na qual o observador se mova, devemos primeiramente determinar o
novo eixo , decorrente da rotao, para em seguida aplicar a Transformao de Lorentz neste eixo. Com estas duas transformaes, podemos representar qualquer sistema em movimento relativo.
129
!
( , )
130
x
cos sen
=
y
sen cos
x
y
x i = M ij x j
( i = 1, 2,3)
x Vt
V2
c2
Vx
t 2
c
t'=
V2
1 2
c
y' = y
z' = z
1
x'
y'
z'
t'
x
1
y z
1V 2
0
V
1V
0 0
1 0
0 0
t
V
1V 2
0
1
1V 2
x'
y'
=
z'
t'
x
1
1V
0
V
y
2
t
V
0 0
1V
0
1
1 0
1V 2
0 0
131
x
y
z
t
1V 2
x'
y'
z'
t'
x'
y'
z'
t'
x
y
= [ L ][ R ]
z
t
132
x'
y'
z'
t'
1 V 2 V
x'
1 U 2 V
y'
x ''
y ''
x ''
y ''
1 V 2 1 U 2 V
1 + UV
V U
1 V 2 1 U 2 U V
1 + UV
133
Surge aqui a questo sobre a possibilidade de se expressar esta transformao na mesma forma da Transformao de Lorentz, ou seja, na forma:
x ''
y ''
1 W 2 W
Para verificarmos que isto acontece de fato, vamos pegar os dois termos
da primeira linha da matriz obtida pela composio e igual-los aos dois termos da primeira linha da matriz desejada (os outros dois termos diferem apenas pelo sinal e, por isso, no acrescentam nenhuma informao nova).
1 + UV
1V 2 1U 2
U V
1V 2 1U 2
=
=
1
1W 2
W
1W 2
Substituindo o valor de 1
gunda:
U V
1V 2 1U 2
W (1 + UV )
1V 2 1U 2
Da obtemos: W =
134
U +V
1 + UV
Para recolocarmos a constante c da velocidade da luz na equao, utilizamos a anlise dimensional, de modo que, para tornar o termo 5 adimensional (para ser somado com 1), devemos dividi-lo por + :
W=
U +V
1 + UV c 2
(Note-se que, se 5 e
= )
Vejamos agora o conceito de velocidade na Teoria da Relatividade. Porm, antes de entrar no assunto, vamos falar sobre quadrivetores ou 4vetor.
evidente que um ponto no espao-tempo pode ser imaginado como um
vetor de quatro dimenses ou 4-vetor, com , , e sendo suas quatro
componentes. Vamos representar estas quatro componentes por: 6 .
Um 4-vetor se transforma segundo a Transformao de Lorentz, de modo anlogo transformao das coordenadas , , e .
v = v0 , v1 , v2 , v3
v = ( v0 , v1 , v2 , v3 ) = v0 , v1 , v 2 , v3
O conceito de comprimento no tempo-espao quadridimensional, associado ao conceito de tempo prprio ou distncia prpria, obtido atravs do
produto escalar. Desse modo, o quadrado da magnitude de um determinado 4vetor (a distncia, segundo a Transformao de Lorentz, entre a sua extremidade e a origem do sistema), ser dada por: v 2 = v v
Podemos tambm pensar no produto escalar entre dois 4-vetores de modo anlogo ao caso em trs dimenses:
w v = w v
135
dx
dy
dz
; vy =
; vz =
dt
dt
dt
136
Vamos ver a relao da velocidade relativstica com a velocidade clssica. Precisamos saber primeiro qual a expresso para a derivada 7 :78.
137
J sabemos que d 2 = dt 2 dx 2 dy 2 dz 2 .
dx dx dt
vx
=
=
= ux
2
d dt d
1 v
dy dy dt
vy
u =
=
=
= uy
2
d dt d
1 v
2
u3 =
dz dz dt
vz
=
=
= uz
2
d dt d
1 v
138
= = 96 (4 componentes!).
Uma vez que o momento conservado, isto nos permite prever o comportamento de partculas que interagem entre si ou sofrem alguma interferncia. importante notar que a conservao relativa s quatro componentes
139
px = mux =
1 v
; v
px = m vx
p 0 = pt =
m
1 v2
m c2
2
(energia conservada)
1 v
Vejamos como a energia est relacionada com a energia clssica. Para
isso, faremos uma aproximao para a expresso da energia relativstica, aplicando o Teorema do Binmio de Newton, segundo o qual, para um B pequeno, temos: (1)D = 1 . Com isso obtemos:
m c2
1 v2
= m c2 1 v2
1
2
mc 2 1 +
1 v2
1
= mc 2 + mv 2
2
2c
2
140
vez que se trata de uma constante, a parte significativa da energia, neste caso,
est na energia cintica, conforme a mecnica clssica.
Quando o momento sofre uma transformao de Lorentz, as suas componentes de momento e de energia so misturadas, da mesma forma como
acontece com as coordenadas de espao e tempo. Assim, pode ocorrer que um
sistema veja apenas energia, enquanto outro sistema v energia e momento,
mas em todos os sistemas o momento relativstico conservado. Portanto, em
um sistema isolado, todas as quatro componentes do momento relativstico,
so conservadas antes e depois de uma coliso.
141
RELATIVIDADE ESPECIAL
AULA No 3
Quadrivetores Velocidade relativstica Tensores
Vamos ver um exemplo de uma lei que possvel na natureza, mas que
no uma lei da natureza.
Duas partculas colidem no espao de referncia dado pelos eixos e ,
conforme o diagrama abaixo:
1
2
4
3
A lei que duas partculas iro colidir e tomar trajetrias no usuais todas as vezes que elas tiverem a mesma coordenada .
No h nada matematicamente inconsistente com esta lei. No entanto ela
parece violar alguma caracterstica das leis fsicas, indo contra a nossa intuio. Ela viola a ISOTROPIA do universo, ou seja, ela vai contra o fato de
que as leis fsicas so independentes da orientao do sistema de referncia. Se
ns rotacionarmos o sistema acima por 90 no sentido horrio, ento, para
observarmos os mesmos comportamentos, a lei teria que mudar, definindo que
a coliso somente sucederia quando as partculas tivessem a mesma ordenada
. Para rotaes intermedirias, a lei se complicaria ainda mais.
Assim, esta lei quebra o princpio de que as leis fsicas so independentes da orientao dos sistemas de referncia, sendo que, segundo este princpio, tambm no necessrio nos assegurarmos de que os eixos sejam perpendiculares entre si, pois possvel expressar as leis fsicas em qualquer sistema
142
J<
=0
J<
No entanto, se todas as componentes forem nulas, ento nenhuma rotao pode alterar este fato!
Esta a razo pela qual ns expressamos as leis da natureza atravs de
vetores! Se dois vetores so iguais em um sistema, ento eles sero iguais em
143
Segundo a teoria da
relatividade, esta lei no
seria possvel, pois o conceito de simultaneidade
um conceito relativo, de
modo que uma coliso
ocorreria num sistema,
mas no ocorreria em outro, onde a histria se
complicaria.
Segundo as leis da fsica, a coliso somente pode ocorrer quando as partculas se encontrarem no mesmo ponto do espao-tempo.
Assim, somente quando as partculas estiverem no mesmo EVENTO do espaotempo que elas podero colidir.
144
= 0;
= 0;
= 0;
J<
= 0, mas ? 0.
Portanto ns expressamos as leis da fsica atravs de quadrivetores (4vetores), ou por meio de objetos que se transformam de um modo coerente
com as de um 4-vetor.
Algumas vezes podemos expressar as leis da fsica por uma equao que
iguala uma quantia a zero, = ; outras vezes podemos express-la por uma
equao que iguala uma quantia a outra: = 0.
Os 4-vetores, naturalmente, transformam-se de acordo com a transformao de Lorentz, ou seja, da mesma maneira como se transformam as coordenadas , , e .
Ento um 4-vetor um objeto com quatro componentes, sendo trs relativas ao espao e uma relativa ao tempo.
Transformao significa que, se conhecemos as componentes em um sistema, ns podemos determinar, de acordo com a transformao de Lorentz, as
componentes em qualquer outro sistema.
Sabemos como a posio se transforma (utilizaremos = 1 e L =
M1 + ), de modo que as equaes de Lorentz para a posio ficam assim:
x ' = ( x Vt )
x'
y'= y
y'
z' = z
z'
t ' = ( t Vx )
t'
0 0 V
1 0
0 1
0 0
145
x ' = L x , onde N e O = , , , ou N e O = 1, 2, 3, 0.
Desse modo teremos:
x
y
z
t
Para a rotao em torno de , obtemos:
cos
sen
=
0
0
sen
cos
0
0
0
0
1
0
146
0
0
0
1
( x '') = L ( x ')
( x ') = R ( x )
( x '') = LR ( x )
O processo tambm pode ser realizado de forma inversa, pois no importa a sequncia das transformaes para a invarincia das leis fsicas.
A equao x ' = L x pode ser escrita na forma matricial, como uma
relao entre um vetor coluna e o produto de uma matriz por outro vetor coluna, ou seja, como um vetor que funo linear de vetor.
Assim, por exemplo, a temperatura um escalar, pois no se modifica
mediante rotaes. Um escalar no tem componentes, sendo composto apenas
por um nmero.
Ainda neste caso de rotao no espao tridimensional, a distncia entre
dois pontos independe da orientao do sistema, sendo, portanto, um escalar.
As componentes de um vetor no so quantias escalares, pois elas se
modificam de um sistema para outro, conforme a orientao do sistema!
Para efeito de esclarecimento do conceito de escalar, ns poderamos
supor (apesar de absurdo) que a distncia entre dois pontos no espao fosse
147
A = A1 , A2 , A3 , A0
A vantagem de utilizarmos os 4-vetores est no fato de que eles se transformam do mesmo modo como a posio se transforma, ou seja:
A ' = L A
A definio de um 4-vetor est, como j falamos, baseada no fato de
que, se um 4-vetor nulo em um dado sistema, ento ele nulo em qualquer
sistema, dando-se o mesmo para qualquer igualdade entre quadrivetores. Isto
bastante til para descrever as leis da fsica de uma forma igual para todos os
sistemas de referncia.
chamada de
CONTRAVARIANTE.
Existe outra forma para expressar o 4-vetor, que chamada de COVA-
Portanto: A = A1 , A2 , A3 , A0
148
A2
0
=
A3
0
A0
0
A1
1 0 0
0 1 0
A2
A4
A3
A razo para utilizarmos esta notao est no fato de que isto facilita
bastante o trabalho com escalares. Por exemplo:
A A = A1 A1 + A2 A2 + A3 A3 + A0 A0
A A = A0 2 A12 A22 A32
Esta forma idntica do tempo prprio ou distncia prpria, que
dada por:
d 2 = dt 2 dx 2 dy 2 dz 2
A B = A B
149
+ )(
)(
so
+ ) =invariante
) =invariante
AA + AB + BA + BB AA + AB + AB BB = 2 AB + 2 BA = 4 AB
AB tambm um invariante .
Vamos considerar alguns 4-vetores especficos.
No espao-tempo, quando temos um pequeno deslocamento de posio,
obtemos um 4-vetor: dx = ( dx, dy, dz , dt ) .
Sabemos, porm, que o tempo prprio dado por:
2
d 2 = dt 2 dx 2 dy 2 dz 2 d = dx dx .
Definimos ento:
dx
= u (velocidade prpria ou 4-velocidade).
d
u u =
dx dx dt 2 dx 2 dy 2 dz 2 d 2
=
= 2
d d
d 2
d
u u = 1
150
u unitrio
u =V
dt
d
Nesta expresso, 9
J< e >< se referem apenas s componentes espaciais da
4-velocidade.
d 2
Como 2 = 1 V 2 , ento, dividindo por dt 2 , teremos:
dt
2
d
dx 2 dy 2 dz 2
=
1
dt 2
dt 2 dt 2 dt 2
d 2
= 1 v2
2
dt
u = v
1
1 v2
1
dt
=
=
d
1 v2
=v
du 0 dt
1
u =
=
=
=
d
d
1 v2
0
151
**********
OBS: A expresso u = v 1 v 2 a relao entre a velocidade ordinria da
partcula e as trs componentes espaciais da 4-velocidade, cuja quarta componente 1 1 v 2 .
**********
Isto nos leva agora ao conceito de momento relativstico.
Todo objeto que tem certa massa de repouso, a qual chamamos de
m, tem um momento 4-vetor 6 . Para podermos ter um momento que tenha significado em todos os sistemas de referncia o que no ocorre com a
definio newtoniana de massa multiplicada pela velocidade ordinria
devemos ter um momento dado pelo produto da massa pela velocidade relativstica:
p = mu
152
F = ma = q E + v B
O primeiro termo da fora, .J< , chamado de termo independente da velocidade, enquanto o segundo, qv B , denominado termo dependente da
velocidade.
Se ns supusermos que no haja um campo eltrico, ento, se a partcula
estiver se movendo, haver uma fora atuando nela, devida ao segundo termo.
Mas isto algo interessante, porque em algum outro sistema de referncia, a
velocidade da partcula pode ser nula. Neste caso, no haveria contribuio
para a fora advinda do segundo termo, qv B . No entanto h uma fora atuando sobre a partcula, pois, se a partcula acelera em um sistema, ento ela
acelera em todos os sistemas! Conclumos ento que, se num sistema h apenas o campo magntico J<( ), em algum outro sistema, no qual a velocidade
da partcula seja zero, deve existir um campo eltrico .J< ( ).
Este fato suficiente para nos mostrar que os campos eltricos e magnticos devem-se misturar um com o outro, quando submetidos a uma transformao de Lorentz. Qual ento esta conexo entre campos eltricos e magnticos? A conexo se d entre os dois atravs de um novo objeto, que ns chamamos de TENSOR.
153
Temos um objeto dado por seis componentes (.J< ( ) e J<( )), que
certamente no um escalar (.J< ( ) e J<( ) tem trs componentes cada
um) e que tambm no um quadrivetor. Trata-se de algo novo, que estabelece como estas componentes se transformam.
A fim de escrevermos o que o campo eletromagntico do ponto de vista relativstico, ns precisamos entender o conceito de tensor. Tensor este
novo objeto para lidar com o campo eletromagntico. Ns iremos representlo pela letra /.
Um escalar um tensor de ordem zero, ou seja, um tensor que no
tem ndices, uma vez que um escalar no tem componentes. Assim um escalar
o exemplo mais simples de um tensor.
Um vetor (por exemplo, um 4-vetor) um tensor, mas um tensor de
primeira ordem, o que significa um objeto que tem apenas um ndice, o qual
pode assumir, no caso do 4-vetor, quatro valores: 0, 1, 2 e 3, cada um correspondendo a uma componente.
O termo tensor usualmente empregado para tensores com dois ou mais
ndices.
O tensor mais simples aquele formado por dois vetores. Vejamos um
exemplo de um tensor formado por dois 4-vetores: A B ( e = 0,1,2,3) .
Trata-se neste caso de um objeto com 16 componentes, que representado por uma matriz 4x4:
A11 A12 A13 A14
A B =
A21
A22
A23
A24
A31
A32
A33
A34
154
um vetor Q< equivale ao produto escalar de J< por Q< multiplicado pelo vetor <,
como demonstrado a seguir:
a1
b1
c1
A = a2 ; B = b2 ; C = c2
a3
b3
c3
a1
T = AB = A.B ' = a2
[b1
a1b1
b2
a3
b3 ] = a2 b1
a1b2
a1b3
a2 b2
a2 b3
a3b1
a3b2
a3b3
( )
a3 (b1c1 + b2 c2 + b3 c3 )
( )
T C = AB C = A B.C
Este conceito se estende para mais de dois vetores justapostos (poliades), no caso de transformaes com argumentos compostos por vrios vetores.
**********
Ns poderamos tomar trs vetores, obtendo assim um tensor de ordem
64. Neste caso, teramos que represent-lo por uma matriz cbica.
O que caracteriza um tensor a sua propriedade de se transformar, em
relao mudana do sistema de referncia, sempre da mesma maneira, na
forma do produto de vetores (no caso acima o produto matricial de dois vetores). Vejamos como o produto de dois vetores se transforma.
**********
155
( A ') = L A .
Da mesma forma, a transformao para o 4-vetor
( B ')
= L B
( A ') ( B ')
dada por:
= L A L B = L L A B
156
T = T
Tensor antissimtrico: T = T
T 12
T 13
T 10
T 12
T 23
T 20
T 13
T 23
T 30
T 10
T 20
T 30
( e = 1, 2,3, 0 )
Vemos ento que um tensor simtrico possui dez componentes relevantes, dadas pelos elementos da diagonal e por um dos conjuntos (superior
ou inferior) de elementos situados fora da diagonal.
Por outro lado, o tensor antissimtrico tem apenas seis elementos relevantes (os elementos fora da diagonal, situados acima ou abaixo dela). Este o
mesmo nmero de componentes do campo eletromagntico (.J< ( ) e
J<( )). Tal tipo de tensor o nico objeto, com seis componentes, que se
transforma segundo a lei geral dos tensores. Isto no acontece, por exemplo,
com um objeto formado por seis escalares ou pelo conjunto de um 4-vetor e
dois escalares.
Assim o campo eletromagntico constitui um tensor antissimtrico, o
qual contm seis componentes. em funo desse tensor que queremos ver
como funciona a fora de Lorentz e como ela se transforma segundo a transformao de Lorentz.
157
Ou seja:
0
B3
B3
0
B2
B1
E1
E2
B2
E1
B1
E2
0
E3
E3
0
1 x
2 y
3 z
0t
0
B3
B3
0
B2
B1
E1
E2
B2
E1
B1
E2
0
E3
E3
0
= F
Bz
By
Bz
By
0
Bx
Bx
0
F 21 = B3
Assim: F 13 = B2
F 31 = B2
F 23 = B1
F 32 = B1
158
159
RELATIVIDADE ESPECIAL
AULA No 4
Tensor Eletromagntico Equao de Onda
Sabemos que a fora de Lorentz, F = ma = q E + v B , desconsiderando os efeitos relativsticos, dada, por um lado, pelas equaes de Newton:
< = =P<, onde a acelerao obtida pela derivada da velocidade, sendo a velocidade a derivada da posio (tudo isso em relao ao tempo normal).
160
Vamos nos ocupar com este termo da equao. Neste caso, a massa um
parmetro identificado com o objeto, independente de sua velocidade e do
tempo. Tambm na teoria da relatividade, a massa no varia com o tempo, pois
sua definio dada pela massa de repouso do objeto.
Podemos ento, colocando a massa como constante na derivada, escrever
a equao da seguinte forma: F = d ( mv ) dt ; onde =>< = < = =V= W V, ou
seja: F = dp dt .
Esta uma definio bastante geral de fora, que ultrapassa o conceito
simples da fsica newtoniana, sendo na verdade uma verso dela na relatividade restrita. Esta definio est conectada ao produto da massa pela velocidade,
porm, na relatividade, a velocidade no aquela ordinria da fsica clssica,
mas sim o 4-vetor velocidade, dado pela derivada do 4-vetor posio do espao-tempo em relao ao tempo prprio.
O outro lado da equao da fora de Lorentz dado por:
q E ( x, t ) + v B ( x, t )
),
A1B2
A2 B2
A3 B2
A1B3
A1B1
A2 B3 A1B2
A3 B3
A1B3
A2 B1
A2 B2
A2 B3
A3 B1
A3 B2
A3 B3
**********
OBS: As letras gregas representam ndices que variam de 0 a 3 ( , , , ), enquanto letras latinas representam ndices que variam de 1 a 3 ( , , ).
**********
Temos ento o tensor antissimtrico:
0
A2 B1 A1B2
A3 B1 A1B3
A1B2 A2 B1
0
A3 B2 A2 B3
161
A1B3 A3 B1
A2 B3 A3 B2
0
162
B12
B13
0
B32
B23
0
= B3
B2
B3
0
B1
B2
B1 = B
**********
OBS: Esta ambiguidade para apresentar o vetor, relativa ao sinal, reflete a possibilidade de podermos definir o vetor que sai do plano ou que entra no plano.
**********
A fora em uma partcula movendo-se em um campo magntico dada
pelo produto vetorial J< J<. Ns podemos escrever esta equao utilizando o
tensor antissimtrico.
=0
(V B )m = Vn Bnm
(soma em n=1,2,3)
(f)
Uma partcula carregada, movendo-se em um campo magntico, no altera a magnitude de sua velocidade, uma vez que a fora aplicada a ela sem-
163
pre perpendicular sua velocidade (estamos considerando um campo magntico esttico). Assim a energia cintica da partcula permanece constante (a
menos de um fator):
dV
d
(VmVm ) = 2 m Vm = 2amVm
dt
dt
d
(VmVm ) 2 V B
dt
)m Vm
d
(VmVm ) 2Vn BnmVm
dt
Uma vez que um tensor antissimtrico: Vn BnmVm = 0 , pois todo termo somado ao seu elemento simtrico ( Vn BnmVm = Vm BmnVn ). Assim:
d
(VmVm ) = 0 .
dt
Provamos ento que a magnitude da velocidade constante.
Fizemos este tipo de abordagem do problema porque nossa inteno
generalizar o processo para quatro dimenses.
J sabemos que os campos eltricos e magnticos se misturam diferentemente de acordo com o sistema de referncia utilizado, dependendo da velocidade relativa entre os sistemas. Isto deriva do fato de assumirmos que as leis
da fsica so as mesmas em todos os sistemas de referncia.
mais ou menos bvio que, se tivermos um campo magntico puro em
um sistema, outro sistema ir perceber, dependendo de sua velocidade, um
campo magntico e um campo eltrico. Vejamos um exemplo disso.
Suponhamos um sistema no qual o campo magntico est na direo ,
com uma partcula carregada que se move na direo .
Estamos considerando movimentos no relativsticos neste caso, considerando tambm um campo uniforme. Sendo assim, a acelerao um invariante (Fsica Newtoniana). Ento todos obsery
vadores veem a mesma acelerao.
Vamos supor que o segundo observador
J<
esteja se movendo com a mesma velocidade da
J<
partcula, J<. Para este observador, a partcula
x
est em repouso. Porm, neste caso, ele tambm tem de observar a mesma acelerao para
z
164
a partcula, sendo que esta acelerao no pode ser atribuda ao campo magntico, segundo o ponto de vista deste observador.
**********
OBS: Neste caso estamos considerando apenas um pequeno intervalo de tempo, de modo que possvel considerar observador e partcula momentaneamente com a mesma velocidade.
**********
Dessa forma, este observador deve verificar outra fonte para esta acelerao, que, de acordo com a equao da fora de Lorentz, deve vir de um
campo eltrico, pois, neste sistema, a velocidade da partcula zero.
Vemos assim que os campos eltricos e magnticos misturam-se nos vrios sistemas de referncia em movimento relativo entre si. Porm, para obtermos as equaes relativisticamente corretas, ns teremos que trabalhar com
quadrivetores, ou 4-vetores!
Vejamos ento, novamente, o que so 4-vetores e como o campo eltrico
e o campo magntico so representados por eles. O objetivo derivarmos,
para o movimento, equaes que permaneam as mesmas em todos os sistemas de referncia.
Temos, para os campos eltricos e magnticos, um total de seis componentes. O nico objeto, em quatro dimenses, que tem seis componentes um
tensor antissimtrico. natural, ento, que faamos uma associao entre eles.
1
B3
B2
E1
B3
B1
E2
E1
E 2
E3
**********
OBS: Adotamos aqui a notao na qual o ndice do tensor varia da seguinte
forma: N O = 1,2,3,0.
**********
165
Podemos ver que o tensor contm, como uma sua sub-matriz, o tensor
magntico, assinalado pela linha pontilhada.
Este o objeto que dever definir as foras atuando em uma partcula
movendo-se num campo magntico.
Vejamos agora qual a lei apropriada para a fora, de acordo com a teoria da relatividade.
Vamos comear pela ideia de acelerao.
Ns j vimos o conceito do 4-vetor velocidade:
dx
vx , v y , vz ,
d
dt
onde: =
= 1 1 v2 (considerando c = 1)
d
u =
O momento definido por: p = mu . Com isso obtemos a generalizao da fora definida por Newton: Fora Relativstica =
dp
(Fora de
d
Minkowiski).
Teremos ento para a fora de Lorentz a seguinte expresso:
dp
= qf
d
Vamos agora provar que f u = 0 . Trata-se de uma expresso anloga quela vista por ns, na qual a fora atuando em uma partcula carregada,
movendo-se em um campo magntico, perpendicular velocidade. Como j
vimos: u u = 1 , portanto:
du
d
du
(u u ) = 0
u +
u =0
d
d
d
d ( mu )
u = 0 f u = 0
d
du
d
u = 0
166
f u = qu F u
f u = 0
dp x dp x
= qF x u = q F xyu y + F xz u z + F xt ut
d
dt
dp x
q ( u2 B3 + u3 B2 ) + qE x = q v B + q E
x
d
( )x
**********
OBS: Usamos aqui a notao de ndices 1,2,3 e 0 ou , , e
mente.
**********
indiferente-
( )
dp x
dp x
=
= q vB +q E
d
dt
(onde =1
1 v2 )
167
d ( mv )
= q vB +q E .
d
) ( )
Com isso, verificamos que a equao relativstica para a fora eletromagntica sobre uma partcula carregada dada por:
dp
= qF u
d
**********
OBS: interessante observar a forma matricial da expresso para a equao
relativstica da fora de Lorentz, em especial o termo temporal (Energia,
= p 0 ):
px
0
y
Bz
d p
q
=
d p z
B y
E x
B z
0
Bx
E y
By
B x
0
E z
Ex
Ey
Ez
0
vx
vy
vz
d
= qEv
d
d
= qEv
dt
d
= qEv
dt
168
( x ) ' = ( x V x )
( x ) ' = ( x V x )
(x )' = x
(x )' = x
0
Faamos agora um tensor composto de dois 4-vetores: \6 e ]6 , equivalente ao tensor eletromagntico, observando como eles se transformam como
produto. Para isso, vamos nos concentrar na transformao da componente do
campo eltrico na direo :
( )
e , teremos:
(Q R ) ' = (Q VQ ) ( R VR )
(Q R ) ' = (Q R VQ R VQ R + (V ) Q R )
0
1 1
(F )' = (F
01
01
VF 00 VF 11 + (V ) F 10 2
2
( F ) ' = F (1 V )
01
01
AI
F 01 1 V 2
1V
66
=0 e
(F )' = F
01
6^
01
):
^6
( )
Ex ' = Ex
169
( F ) ' = ( Q R ) ' = ( Q VQ ) R
( F ) ' = ( Q R VQ R )
( F ) ' = ( F VF ) ( E ) ' = ( E
02
02
02
02
12
VB z
.B = 0
E =
.B = . A B = A
B
= A
t
t
E +
A =0
t
E+
A =
t
A
t
Se observarmos que a forma genrica da componente do campo magntico dada pela expresso: Bi = j Ak k A j , a qual apresenta uma subtrao
de termos simtricos, ento fcil verificar que o Tensor Eletromagntico
dado pela seguinte expresso matricial:
E =
170
Ax
Ay
t
x
y
Ay
Ax
Az =
Az
B z
By
Ex
Bz
Bx
Ey
B y
Bx
Ez
E x
E y
E z
**********
Vamos ver um pouco o assunto de ondas em um campo escalar `
(escalar significa uma s componente). A derivada do campo, da mesma maneira que j vimos, dada por:
=
, , ,
x y z t
x
Esta derivada do campo constitui as quatro componentes covariantes
de um quadrivetor, ou seja, elas se transformam seguindo a mesma regra do 4vetor 7
dx = dx1 , dx 2 , dx 3 , dx 0
te.
**********
OBS: A natureza de 4-vetor deste objeto
explicada pela
, , ,
x y z t
regra da cadeia aplicada transformao de Lorentz. Para ver isso, consideremos as seguintes relaes na transformao de Lorentz:
t ' = (t v x )
t t ' = ; x t ' = v
x ' = (x v t)
x x ' = ; t x ' = v
Lorentz
x ' , y ' , z ' , t '
( x v t ) ,
, , ( t v x )
y z
171
Desta expresso para a transformao das componentes segundo Lorentz, podemos concluir, ento, que o objeto constitui um 4-vetor.
**********
Uma vez que tenhamos as equaes de transformao entre as coordenadas de dois sistemas, 6 e ( )6 , ns podemos determinar, a partir das derivadas do campo em relao s coordenadas de um sistema, 6 , as derivadas do
campo em relao ao outro sistema, ( )6 , atravs da regra da cadeia para as
derivadas:
( x ')
=
x ( x ' ) x
( soma no dice )
.
= = A = ( 1 , 2 , 3 , 0 , ) , representa as
x
componentes covariantes de um 4-vetor.
As componentes contravariantes deste vetor so dadas por:
Ento a expresso
A = = ( 1 , 2 , 3 , 0 )
V ( x )
= T
172
2 2 2 2
=0
dt 2 dx 2 dy 2 dz 2
173
RELATIVIDADE ESPECIAL
AULA No 5
Equaes de Maxwell em forma tensorial Equao da Continuidade
4-vetor Densidade de Corrente
174
J<
175
176
t 2 x 2 y 2 z 2
Vamos considerar a onda se propagando ao longo do eixo . Isto significa que ` depende somente de e de . Ento nossa equao ser:
=0
t 2 z 2
G(z +t)
( lembrando que c = 1)
se des-
177
( B A)
( B A)
( B A)
= B y Az Bz Ay
= Bz Ax Bx Az
= Bx Ay B y Ax
Outra forma de multiplicar dois vetores entre si atravs do produto escalar, que tem como resultado um escalar e cujo valor dado por:
A B = Ax Bx + Ay By + Az Bz
B onde = x , y , z
( B )
( B )
( B )
= y Bz z B y
= z Bx x Bz
= x By y Bz
B = x Bx + y By + z Bz
178
De uma maneira simplista, um campo vetorial tem divergncia, quando ele demonstra possuir FONTES:
179
F =
Ex
Ey
Ez
+ Ex
Bz
+ By
+Ey
+ Bz
Bx
+ Ez
By
+ Bz
(TENSOR ELETROMAGNTICO)
+ Bx
+ By
+ Bz
Bx
Ez
+Ey
By
+ Ez
Ex
Bz
Ey
+ Ez
180
t
x
Ax
Ay
Az
T
T
segundo a expresso:
(T refere-se ao vetor transposto),
=
'=
'=
'T =
'T = T T
Onde o tensor de transformao de Minkowiski.
Podemos ver que a transformao do tensor
ser dada por:
'=
=
'
'T
T
'
T
'=
T =
**********
Se ns conseguirmos reescrever as Equaes de Maxwell atravs destes
tensores, ento provaremos que estas equaes so as mesmas em todos os
sistemas de referncia.
Uma vez que as Equaes de Maxwell s apresentam derivadas de primeira ordem, vamos verificar o que representa a seguinte equao:
181
=0
**********
OBS: E = 0 constitui uma equao e B = t E constitui as outras trs
equaes, cada uma correspondendo a uma componente.
**********
Vamos verificar se isto verdadeiro:
tz
+ y
xz
+ y
yz
+ z
zz
=0
( =z )
t Ez + x By y Bx = 0
tt
+ x
xt
+ y
yt
+ z
zt
=0
t Ex + t E y t Ez = 0
182
2 2
=
x 2 t 2
c2
( )= ( )
x x
t t
x ' t '
x ' t '
(
+
)= (
+
)
x x ' x t ' x
t x ' t t ' t
2
) = ( v
+
)
c 2 (
x x '
t
x '
t '
c t '
v
) = (
)
c 2 (
2
v
x x '
t t '
x '
c t '
v x '
v t '
2
+
2
=
c2
x ' x '
c t ' x t ' x '
c t ' x
c2
x '
t '
v
+
v
x ' t '
x ' t t ' t '
x ' t
v
v
(
2
) +
(
2
)( 2 )) =
c2 (
x ' x '
t ' x '
c t '
c t '
c
=
v
v
(
)( v) +
(
)
x ' t '
x '
t ' t '
x '
183
2
2
2
2
2
2 v
2 v
2 v
+
)=
x '2
c 2 x ' t '
c 2 x ' t '
c 2 t '2
2
2
2
2
2
2
= 2 v
+ 2 v2
+
v
x ' t '
x ' t '
x '2
t '2
2
2
2
2 2
v
(c 2 v 2 ) = 2 ( 2 2 2 )
2
c
x '
t '
c 2 ( 2
2 1 2
=
x '2 c 2 t '2
c2
2 2
=
x '2 t '2
Nas passagens acima, utilizamos as seguintes relaes, deduzidas a partir da Transformao de Lorentz:
t t ' =
v
x
c2
x ' = ( x vt )
t'= t
x t ' =
x x ' =
v
c2
t x ' = v
**********
Agora que sabemos que as Equaes de Maxwell so invariantes, vejamos os tipos de campos determinados por elas.
Sabemos que as equaes de onda envolvem derivadas de segunda ordem. Veremos ento que as Equaes de Maxwell, as oito equaes relacionando .J< e J< entre si, equivalem a equaes de segunda ordem apenas em .J< e
J<. Vamos comear tentando isolar o campo eltrico .J< , derivando em relao
ao tempo a equao B = t E :
2E
B
=
2
t
t
mas E = t B
2E
= E .
t 2
184
( E )
= y Ez z E y
[ ( E )]x = y ( E ) z z ( E ) y
( E )
( E )
= z E x x Ez
= x E y y Ex
= xy E y yy E x zz E x + xz Ez
= y x E y y Ex z ( z Ex x Ez )
2 Ex
t 2
2 Ex
x2
= x x Ex + y E y + z Ez xx Ex yy Ex zz Ex
(.E )=0
+
2 Ex
y 2
2 Ex
z 2
185
x
z
y
Este tipo de onda chamado de Onda Polarizada. Neste caso, polarizada ao longo do eixo :
Em relao ao campo magntico, podemos utilizar a equao:
x
.?
.?
.?
.?
E = t B .
Como Ex = Ex cos ( z t ) , s teremos componentes em para esta equao (.@ = 0, .g = 0). Isto significa apenas a componente do rotacional em .
( E )
= z Ex = t By
Uma vez que as Equaes de Maxwell so invariantes em todos os sistemas, mediante a transformao de Lorentz, todos os sistemas obtero os
mesmos resultados, obtendo uma onda que se propaga pelo espao com uma
velocidade , a mesma para todos observadores.
186
E = t B
B = 0
E =
O termo a densidade de carga espacial (a carga por unidade de volume), que pode ser uma funo do tempo e da posio no espao:
dq
= ( x, t ) .
dV
Assim a carga contida em uma determinada regio do espao, de volume
, ser dada pela expresso:
Q = dV .
V
187
7h<
d
dV = j d
dt
V
j dV =
Volume
Volume
d
dV
dt
**********
OBS: O divergente de um campo vetorial, j , o fluxo lquido relativo a
um elemento infinitesimal de volume. Se supusermos este elemento de volume
como um cubo, podemos ver que a composio formada por diversos cubos
resulta no fluxo lquido da superfcie externa da regio composta pelos cubos,
pois todas as superfcies internas de contato entre os cubos elementares possuem um fluxo entrando em relao a um cubo e um fluxo de igual magnitude
saindo em relao ao cubo adjacente, anulando assim todo o fluxo nas superfcies internas:
188
Uma vez que a equao vlida para qualquer regio do espao, ento:
j =
d
ou
dt
t + x jx + y j y + z jz = 0
j = 0
( = t , x, y, z )
E = t B
B = 0
B = t E + j
189
= j
= j t = t
tt
+ x
xt
+ y
yt
+ z
zt
x Ex + y E y + z Ez = E =
( B )
= t E x + jx
= jx
y Bz z B y = t E x + j x
t Ex + y Bz z B y = j x
y Bz z By = t E x + j x
Vimos, ento, que as equaes do eletromagnetismo podem ser expressas como equaes tensoriais, as quais tm a mesma forma em todos os sistemas de referncia. Vimos tambm que as leis do eletromagnetismo levam
obteno de ondas eletromagnticas que se deslocam com a velocidade da luz
em qualquer sistema de referncia, sob a transformao de Lorentz.
190
RELATIVIDADE ESPECIAL
AULA No 06
Noes de Cosmologia Mtrica Constante de Hubble
78
6
+7
ou d 2 = dx dx ,
6
ou ainda d 2 = dx dx .
1 0 0 0
0 1 0 0
=
0 0 1 0
0 0 0 1
191
sar de verem diferentes componentes para 78, iro ver o mesmo 78, segundo a
transformao de Lorentz, que de fato, como se pode provar, a nica transformao que mantm invariante o Tempo Prprio (78). Nestas condies,
ento, segue o princpio de que todas as leis da fsica devem ser idnticas em
todos em todos os sistemas de referncia, segundo a Transformao de Lorentz.
Nem todas as distncias, porm, so expressas da mesma forma. Por
exemplo:
=7
+7
Rotao
Simples
No plano, a rotao simples no altera a forma da distncia 7 . No entanto, se fizermos uma transformao na qual alteramos a escala de um dos
eixos, tomando, por exemplo, em metros e em centmetros, ento a distncia 7 entre dois pontos no ter mais a mesma forma 7 + + 7 +, mas ter
que receber um fator de converso para obter uma unidade comum.
(m)
ds 2 cm 2 = dx 2 + 104 dy 2
( )
ds 2 m2 = 104 dx 2 + dy 2
ds
(cm)
$I
+
$+
= P 7 + + j 7 + + 7 7 .
192
&
+ P+I 7 7 .
Sendo que, neste caso, PI+ = P+I = 1/2, de modo que assim poderamos expressar os coeficientes por uma matriz, chamada de MTRICA:
a11 a12
a21 a22
Mtrica:
Independente do tipo de coordenadas e, portanto, da mtrica utilizada, a geometria bsica do plano determinada pela frmula da distncia entre todos os pares
de pontos vizinhos.
A mesma coisa vlida para a teoria da relatividade especial, de modo que, se
utilizarmos coordenadas cuja transformao se d segundo as equaes de Lorentz,
ento o tempo prprio 78 (distncia ou mtrica) permanece invariante.
Assim, se utilizarmos um sistema de coordenadas arbitrrio, a frmula geral
para a distncia (mtrica) ou tempo prprio ser:
193
d 2 = g ( x ) dx dx
Esta a forma geral da expresso para a distncia, de modo que, se conhecermos a mtrica g , ento conheceremos a geometria do espao-tempo. Porm a
geometria do espao-tempo no determina necessariamente a respectiva mtrica, pois,
para cada sistema de coordenadas, teremos uma mtrica diferente, ainda que permaneamos no mesmo espao.
Vamos voltar agora ao espao ordinrio, mas a um espao ordinrio curvo.
Vejamos primeiramente o que a palavra curvo no significa!
Se ns tomarmos uma folha de papel, colocada sobre uma mesa, ento todos
concordam que temos uma superfcie plana. Assim a relao entre os pontos desta
superfcie, formando figuras e linhas, determinada pela distncia mtrica entre os
pontos vizinhos. Se ns curvarmos a folha de papel, sem esticar ou contrair seus espaos, ela no representar uma superfcie curva!
Quando modificamos a forma da folha de papel, sem esticar ou contrair suas
dimenses, ns no alteramos a distncia entre seus pontos vizinhos (sua mtrica), ou
seja, no alteramos a distncia ao longo do papel. Um inseto que se deslocasse sobre
uma linha no papel iria andar a mesma distncia, independente de curvarmos ou no a
folha, de modo que ele no seria capaz de perceber que curvamos a folha de papel,
pois todas as relaes geomtricas permaneceriam inalteradas. Com isso, queremos
demonstrar o que no curvatura, matematicamente falando.
Curvatura uma forma que no pode ser planificada sem sofrer uma deformao. Uma superfcie curva no pode ser esticada ou contrada sem ser deformada, ou
seja, sem sofrer uma modificao na distncia entre seus pontos vizinhos (na sua mtrica). Esta ento a distino entre dobrar (entortar) e curvar uma superfcie.
Uma esfera um exemplo muito bom de superfcie curva. Ns no podemos
planificar a esfera sem estica-la e contra-la. Esta a razo pela qual os mapas apresentam distores da superfcie terrestre, sendo esta
distoro dependente da projeo utilizada.
4
Ns podemos colocar coordenadas na superfcie
esfrica:
194
empreguemos, nenhum deles poder ser reduzido a uma matriz de coeficientes constantes. Necessariamente a mtrica ter componentes que sero uma funo da posio
no espao.
Na verdade, este o teste que define se uma superfcie ou no curva. Assim,
se houver um sistema de coordenadas no qual a mtrica tem seus componentes constantes, ento a superfcie no curva. Em outras palavras, se encontrarmos para a
superfcie uma mtrica de coeficientes constantes, ento a superfcie plana.
Vamos ver um exemplo de coordenadas que podemos utilizar no plano. Tratase das coordenadas polares, dadas pela distncia do ponto origem e pelo ngulo
desta distncia:
7;
= 7; + + ; + 74, ou
g =
0 r2
Este , ento, um exemplo de coordenadas cuja mtrica tem componentes dependentes da posio. Neste caso, porm, ns podemos encontrar uma transformao
para um sistema de coordenadas cuja mtrica tem apenas componentes constantes:
x = r cos
y = r sen
ds 2 = dx 2 + dy 2 g =
1 0
0 1
Se, no entanto, tomarmos (em particular) uma esfera de raio unitrio, teremos a
seguinte condio:
Ao longo da coordenada 4, encontramo-nos sobre um crculo mximo de raio
unitrio. Portanto o intervalo 74 corresponde distncia percorrida na superfcie. Por
outro lado, com relao coordenada , vemos que, para um mesmo intervalo 7,
correspondem distncias diferentes, que diminuem medida que nos aproximamos
dos polos. Na verdade, a distncia correspondente a 7 uma funo de 4, dada por
sen4 74.
195
Constatamos, ento, que a distncia entre pontos vizinhos na superfcie da esfera dada por:
7
= 74 + + sen+ 474 +
Isto resulta na seguinte mtrica para a superfcie esfrica:
=
B
0 sen 2
74
r2
r 2 sen 2
196
Porm a novidade era que o espao-tempo pode ser curvado, de modo que, nesta condio, no h nenhum sistema de coordenadas que possa tornar constantes as
componentes do tensor mtrico.
No vamos, aqui, nos aprofundar na Relatividade Geral, mas apenas ver alguns
exemplos que se aplicam Cosmologia.
O tipo de cosmologia que iremos ver aqui daquele independente do tempo, ou
seja, que no varia de lugar para lugar no espao de uma maneira geral, considerando
o espao homogneo.
Portanto, como um todo, o universo considerado homogneo. Isto no significa, porm, que ele seja plano (isto , que no seja curvado!). Por exemplo, a superfcie da esfera homognea, apresentando as mesmas caractersticas em toda a superfcie. No entanto uma superfcie curva.
Portanto, de acordo com as observaes feitas at agora pela cincia, o universo homogneo ao longo do espao.
Outro fato da cosmologia que o espao, em grande escala (escala astronmica), plano, ou seja, no curvo. Isto significa que, num dado instante de tempo, a
soma dos ngulos de um tringulo de 180o, mantendo as relaes geomtricas de um
espao plano (euclidiano).
Assim o espao homogneo e plano, porm depende do tempo. Se seguirmos dois pontos no espao (no caso de duas galxias), veremos que a distncia entre
elas aumenta com o tempo.
Esta caracterstica descrita pelo tempo prprio no espao-tempo, utilizando-se as mesmas coordenadas que utilizamos at aqui: ( , , , ). Trata-se da mesma
estrutura da Relatividade Restrita, exceto pelo fato de que o tensor mtrico um pouco mais complicado.
Uma vez que o universo homogneo e plano, devemos encontrar, em qualquer instante de tempo, um sistema de coordenadas cujo tensor mtrico possua coeficientes constantes para as componentes espaciais. No entanto a escala de medida contm um fator que depende do tempo, pois, se estamos medindo uma distncia com
unidades determinadas, por exemplo, pela distncia entre duas galxias vizinhas, o
nmero de unidades permanece constante, mas a distncia total, uma vez que a distncia entre duas galxias vizinhas aumenta com o tempo, tambm ir aumentar com
o tempo. Disto resulta para a expresso da mtrica:
197
=1
=5
Ento
por:
w = s(r)t
Assim a velocidade com que elas se afastam uma da outra dada pela derivada
de R em relao ao tempo. Note-se que permanece sempre constante!
V = D = a ( t ) x (velocidade de afastamento)
a (t )
a (t )
O termo
a (t )
a (t )
a ( t ) x = D
a (t )
a (t )
V =D
a (t )
a (t )
= D.H ( LeideHublle)
Assim a velocidade de afastamento entre duas galxias proporcional distncia entre elas, multiplicada pelo fator de Hublle.
Na relatividade, o intervalo de tempo prprio da luz zero:
198
op = z orq otq = z
dt = a ( t ) dx ou: dx =
dt
.
a(t )
Isto significa que, para percorrer o mesmo intervalo da escala , ser necessrio um intervalo de tempo maior, devido ao fator de expanso de Hublle. Esta a
geometria bsica da Cosmologia.
Vamos ver agora, em um exemplo, como o fator de Hublle varia com o tempo.
Se a velocidade de afastamento das galxias fosse constante, ento o tempo retroativo correspondente ao instante em que estas galxias estavam sobrepostas seria
dado pela expresso:
t =
D
D
1
=
=
V HD H
199
posio da massa em questo. Todas as massas situadas fora desta esfera, no contribuem para a fora exercida sobre aquela massa. Alm disso, tambm segundo Newton, a fora exercida sobre aquela massa exatamente a mesma daquela fora exercida por uma partcula situada no centro do sistema de referncia, cuja massa seja igual
quela contida na esfera referida.
Portanto, para estudarmos o movimento da galxia na posio , basta estudarmos um problema fictcio, no qual toda a massa contida na esfera de raio est
concentrada na origem do sistema.
200
RELATIVIDADE ESPECIAL
AULA NO 7
(Curvaturas do espao Equaes de expanso Energia do Vcuo)
d 2 = dt 2 a 2 ( t ) dx 2 + dy 2 + dz 2
201
Portanto a homogeneidade no exige que o espao seja plano. N poderamos ento inventar uma cosmologia cujo espao fosse substitudo por um
espao esfrico, de modo que a expanso corresponderia expanso de uma
esfera.
A regra para a propagao da luz estabelece que 78 = 0, ou seja,
7 + 7 + = 0.
Esta lei se aplica tambm Relatividade Geral:
d = 0
dt = a ( t ) dx
dx
= a (t )
dt
202
mM
1
mV 2 G
= cons tan te
2
R
Vamos analisar o caso para energia total zero. Isto significa que o objeto tem exatamente a velocidade de escape.
importante notar que, dentro da esfera, sempre permanece o mesmo
nmero de elementos, de modo que a massa
no varia com a expanso do
universo. Assim, o que varia com o tempo a densidade volumtrica de matria (f) no universo.
GmM
1
mV 2 =
V2 G 4 3
R
2
= R
4 3
R 3
2
M = R
3
Pela lei de Hubble:
1 2
4
8 G
a
V =H R= R
H R = G R2
H2 =
2
3
3
a
2
a
8 G
a
3
Vejamos como f varia. Uma vez que o nmero de partculas num volume do universo no varia, mas o que varia apenas o volume, ento a densidade tem de diminuir ao longo do tempo.
constante
, sendo que nesta exAssim a densidade ser dada por: =
a3
presso, a constante pode ser determinada pela relao:
203
(t ) =
constante
a 3 ( hoje )
( hoje ) =
a3 ( hoje )
a3
( hoje )
a3 ( hoje )
a3
( hoje )
a ( hoje )
8 G
=
( hoje ) 3
3
a (t )
3
a
a
K
a3
a1 2 da = K 1 2 dt
0
23
2a3 2
= K 1 2t
3
13
a=
3
2
23
K 1 3t 2 3
3
8 G
( hoje ) a3 ( hoje ) t 2 3
2
3
Esta ento a lei de expanso do universo segundo as equaes de Newton, para a condio de energia zero. Vemos que o fator de expanso cresce
com a potncia 2/3 do tempo neste caso.
Podemos ver tambm que:
2
a = constante. t 2 3
a = constante. t 1 3
3
2
a 2
H=
= t 1
3t
a 3
Para o caso da energia total positiva (velocidade acima daquela de escape), teremos uma curvatura negativa para a estrutura da cosmologia, com expanso infinita.
Para o caso de energia negativa (velocidade abaixo daquela de escape),
teremos uma curvatura positiva. Isto significa que o universo ir se expandir
at certo ponto e, depois, colapsar, contraindo-se novamente.
Estes fatos decorrem das equaes de Einstein para a Relatividade Geral.
a =
ENERGIA TOTAL
CURVATURA
POSITIVA
ZERO
NEGATIVA
NEGATIVA
PLANO
POSITIVA
204
VELOCIDADE
(relativa velocidade de
escape)
MAIOR
IGUAL
MENOR
H algumas falhas no equacionamento que fizemos at aqui, pois ns assumimos um modelo particular para a densidade de energia e para o modo
como ela varia no tempo. Ns consideramos que, num determinado volume,
h uma quantidade fixa de massa, de modo que ela permanece a mesma, enquanto o volume cresce. Nesta condio, a densidade diminui em proporo
inversa a P( )G . Esta condio, porm, no uma condio necessria. Por
exemplo, suponhamos que, dentro de uma determinada caixa do espao,
tenhamos ftons com todos os tipos de comprimento de onda. Uma vez que
massa energia, estamos interessados na quantidade de energia contida nesta
caixa, medida que ela se expande.
A relao entre a energia de um fton e a sua frequncia, dada pela expresso . = O. Esta relao pode ser escrita em funo do comprimento de
c
onda: E = h
Se expandirmos a caixa, o comprimento de onda do fton aumenta, diminuindo assim a sua energia. O fenmeno anlogo quele observado na
vibrao da corda de um violo medida que aumentamos o espao para a
corda vibrar, afastando o ponto no qual pressionamos os dedos, o que corresponde a sons menos agudos ou de menor frequncia ou de maior comprimento
de onda.
Assim o nmero de ftons permanece constante dentro da caixa, medida que ela se expande, porm a energia decresce, devido ao aumento do comprimento de onda da cada fton. Com isso, a densidade de energia ir diminuir
ainda mais rapidamente do que se os ftons permanecessem com a mesma
energia, de modo que, agora, a densidade de energia passa a variar com o inverso da quarta potncia de P( ) (esta relao pode ser demonstrada).
Com este novo modelo, se refizermos os nossos clculos, iremos concluir que P( ) proporcional raiz quadrada do tempo: P( ) I/+ .
205
Isto significa que, nestas condies, o universo se expande com uma velocidade menos do que no modelo anterior. A resposta depende, portanto, da
natureza da energia.
Nos primrdios do universo, a maior parte da energia estava na forma de
ftons.
Da mesma forma que a expanso da caixa diminui a energia dos ftons, o inverso ocorre com a sua contrao, condio na qual a energia dos
ftons aumenta.
Assim, se tivermos partculas e ftons na caixa, ento, medida em que
a caixa for sendo diminuda, haver um ponto no qual a energia dominante
ser dada pelos ftons. Deste modo, no passado remoto, quando o universo era
algumas dezenas de milhares de vezes menor do que hoje, a forma dominante
de energia era dada pelos ftons, e no pelas partculas com massa. Nesse perodo, a expanso do universo se dava com uma velocidade proporcional raiz
quadrada do tempo (P( ) I/+ ).
Hoje em dia h bastante evidncias que apontam para este fato. A era na
qual a energia dominante era dada pelo fton chamada de universo dominado por radiao (P( ) I/+ ), enquanto a outra chamada de universo dominado pela matria (P( ) +/G ).
H ainda um outro exemplo muito importante, que a energia do vcuo. Vamos nos referir a apenas um fato sobre este tipo de energia, sem nos
aprofundarmos no assunto. A energia do vcuo um componente da energia
que no se dilui com a expanso do universo. Trata-se de uma propriedade do
espao em si (do espao vazio!), de modo que no importa como o universo se
expande, a energia do vcuo permanece sempre a mesma. Esta energia constitui 70% da energia do universo! Esta , portanto, a energia dominante atualmente.
Uma vez que esta energia constante em relao expanso do universo, ela no era relevante nos primrdios do universo, quando as dimenses
eram menores. medida que o universo se expandiu, ela foi assumindo propores cada vez maiores, pois as demais energias foram diminuindo.
Vejamos como a equao da expanso do universo, se modifica com este
novo fator constante:
a
a
8 G
3 ( constante )
206
1 da
8 G 1 2
( constante)
=
a dt
3
da
8 G 1 2
=
a
dt
3
a = e
8 G 1 2
t
3
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
207
Vamos analisar a Teoria de Campo Clssica, estudando o campo eletromagntico, o campo gravitacional e outros campos existentes na natureza,
que se propagam no espao, com a caracterstica de ondas.
Um dos princpios fundamentais e mais abrangente da Teoria de Campo
o Princpio da Relatividade, neste caso a Relatividade Especial ou Restrita,
que chamaremos apenas de Princpio da Relatividade.
O Princpio da relatividade remonta mais ao passado, no tendo sido
uma inveno de Einstein, pois j era conhecido pelos pioneiros da Fsica (Galileu, Newton, etc.). Este princpio comea com a ideia de um referencial
inercial, que um referencial no qual as equaes de Newton so satisfeitas.
Um referencial deste tipo no de modo algum nico. Ele envolve a
ideia de um sistema de coordenadas ( , , ) no espao, sendo que este sistema
pode estar parado ou em movimento uniforme em relao a algum ponto, seja
ele qual for. Se estivermos em um sistema inercial, ento qualquer outro sistema referencial que esteja em movimento uniforme em relao a tal sistema
ser tambm um sistema inercial.
De acordo com Newton, as leis da Fsica so as mesmas em qualquer referencial inercial. Um exemplo simples imaginarmos uma pessoa fazendo
malabarismos, embarcada em um trem, de modo que, quando o trem estivesse
viajando, ela comeasse a praticar malabarismos com algumas bolas, mantendo-as alternadamente no ar. Certamente esta pessoa no teria de fazer qualquer
alterao na sua tcnica habitual, como, por exemplo, antecipar movimentos
para compensar o movimento do trem. As leis do malabarismo so as mesmas
em qualquer referencial inercial. Da mesma forma, as leis da Mecnica e as
leis newtonianas da gravitao so as mesmas em qualquer referencial inercial.
Mas como isto se aplica em relao s leis dos fenmenos eletromagnticos? Neste ponto houve um conflito! Este conflito adveio das Equaes de
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
208
Maxwell para os campos eletromagnticos, as quais estabelecem como as ondas eletromagnticas se propagam (ondas de luz, radio, etc.). O dilema fundamental estava no fato de que, conforme as Equaes de Maxwell, a luz se propaga com uma determinada velocidade e que, admitindo-se as leis do eletromagnetismo estabelecidas pelas Equaes de Maxwell como leis da Fsica
tambm, a velocidade da luz (3. 10~ =/ ), deveria ser a mesma em todos os
referenciais inerciais. Assim, considerando as leis de Maxwell como verdadeiras leis da natureza, ento, pelo princpio da relatividade, a velocidade da luz
deve ser a mesma em qualquer referencial inercial!
Mas este era justamente o ponto difcil de engolir, pois, intuitivamente, se imaginarmos que seguimos um raio de luz, correndo atrs dele com a
metade da velocidade da luz, esperaramos ver este raio de luz movendo-se
mais lentamente em relao a ns, da mesma forma como esperaramos o efeito contrrio, se corrssemos na direo oposta ao raio!
Assim, dado que as leis da Fsica so as mesmas em todos os sistemas
inerciais, h uma contradio flagrante entre as leis estabelecidas por Maxwell
(velocidade constante da luz) e as equaes de Newton (velocidades relativas
que se somam e se subtraem). Qual delas verdadeiramente uma lei da natureza?
Na verdade, ambas so leis verdadeiras da natureza. O que de fato era
necessrio modificar era o nosso conceito de velocidade, espao e tempo, bem
como a forma como ns os medimos!
Vamos pegar um atalho para apresentar a teoria da relatividade, adotando uma viso mais matemtica do assunto, levando em considerao as propriedades que envolvem as transformaes de coordenadas. Porm, agora, as
coordenadas no so mais apenas ( , , ), mas envolvem tambm o tempo:
. Portanto qualquer evento caracterizado por quatro coordenadas:
( , , , ).
Por enquanto, vamos nos concentrar apenas nas coordenas e , o que
seria apropriado para um movimento ao longo da direo apenas. Vamos
representar um sistema inercial num grfico espao-tempo:
Vamos imaginar um observador em movimento em relao a este sistema, movendo-se com velocidade > , na direo , de modo que, no tempo 0,
as origens de ambos os sistemas coincidem. Ento, segundo o referencia ( , ),
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
>
209
t'=t
Vamos examinar o movimento de um raio de luz movendo-se na direo
, partindo da origem. Segundo Maxwell, a velocidade da luz constante e
dada por: .
x = ct
x' = ct vt
x ' = (c v)t
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
210
Porm um fato experimental que no h necessidade de nenhuma correo na velocidade da luz para qualquer sistema inercial em movimento! Este
fato foi estabelecido pelo famoso experimento de Michelson e Morley.
Foi Einstein quem props a validade das equaes de Maxwell em qualquer sistema inercial, impondo as necessrias modificaes s equaes de
Newton, que deveriam sofrer alguns ajustes, a fim de se tornarem compatveis
com esta invarincia da velocidade da luz. Focando-se apenas nas duas equaes de transformao das coordenadas e fazendo brilhantes experimentos
mentais, ele chegou formulao da Transformao de Lorentz.
Ns veremos a transformao de Lorentz de uma forma mais matemtica. Para isso, vamos comear observando o problema da rotao de um sistema de coordenadas.
W4 =
ou
= cos 4 + sin 4
= cos 4 sin 4
-------------------------------------------------------------------------------------
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
211
Quando fazemos uma transformao por rotao como esta, algo permanece INVARIANTE, e este invariante a distncia entre dois pontos quaisquer e, portanto, entre o ponto $ e a origem do sistema. Vamos chamar esta
distncia de . Ento teremos:
s+ = x+ + y+
s&+ = x &+ + y &+
+
= &+
x '2 + y '2 = x 2 + y 2
------------------------------------------------------------------------------------W4
1
1
1
1
V 4
OBS:
W e V so funes circulares, pois podem ser descritas pelo crculo unitrio.
------------------------------------------------------------------------------------Sabemos ento que a transformao de Newton est errada. Porm devemos nos certificar que a modificao introduzida por Einstein no altera as
situaes nas quais as equaes de Newton constituem uma boa aproximao!
As modificaes de Einstein so importantes, quando os sistemas de referncia se movem a velocidades comparveis da luz.
At o comeo do Sculo XX, no se pensava em velocidades superiores
a 160 km/h, pois no se tinha esta experincia de modo controlado, sendo que,
para todos os efeitos, a velocidade da luz era considerada instantnea.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
212
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
213
+
2
= cosh + sinh
= cosh sinh
Funes Hiperblicas
45
cosh
senh w w
1 (bissetriz de 45)
cosh w
-------------------------------------------------------------------------------------
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
214
Esta relao entre os quadrados de V e W com o sinal negativo ( V + W+ = 1) nos d uma boa pista da transformao que procuramos! Vamos tentar um palpite, para verificarmos depois se ele est correto:
&
&
= cosh + sinh
= sinh + cosh
x '2 t '2 = x 2 t 2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
215
&
=0
Mas
cosh = sinh
Vamos expressar
+
V + (1
senh w
t .
cosh w
, portanto a velocidade
V=
x=
senh w
.
cosh w
)=1
V + = V + 1
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
cosh =
MI-
sinh =
cosh =
216
MI-
>
M1
>
M1
+
+
+: +
+: +
Embora estas equaes sejam mais conhecidas, mais comum a sua utilizao na forma hiperblica, que facilita a manipulao algbrica. Por exemplo, (trata-se de um bom exerccio para fixar as ideias) torna-se fcil determinar a relao de composio de duas transformaes de Lorentz, na qual o
sistema 2 move-se com velocidade em relao ao sistema 1 e o sistema
3 move-se com velocidade 5 em relao ao sistema 2, sendo que desejamos determinar a relao de transformao do sistema 3 para o sistema 1.
Neste caso, utilizando a representao hiperblica, os ngulos hiperblicos
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
217
x ' = x vt
, confirmando a condio de compatibilidade.
t'=t
OBS: No referencial ", em movimento em relao ao referencial ", a condio & = 0 exprime todos os pontos de no instante & = 0 (pontos sincronizados no referencial "), Isto significa que, para o sistema ", teremos:
t=
V
x ou, considerando
c2
"
= 1, t = V x .
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
218
&
= cos( 4) + sin(4)
= sin(4) + cos(4)
= cos 4 + sin 4
= sin 4 + cos 4
=7
+7
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
219
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
220
= 7 + 7 +
d = dt 2 dx 2
(TEMPO PRPRIO)
O tempo prprio( ), portanto, o tempo medido por um relgio movendo-se ao longo de uma trajetria. Pode-se ver assim que, dependendo da
trajetria seguida, o tempo medido pelo relgio em movimento (tempo prprio) pode ser diferente.
O tempo prprio da trajetria 2 menor do que
o da trajetria 1.
1
Para trajetrias mais longas no espao-tempo, resulta, em razo do sinal negativo na expresso do tempo prprio, 78 + = 7 + 7 + , que o tempo
prprio ser menor do que aquele medido nas trajetrias mais curtas.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
221
t 2 x2 = t '2 x '2
A ideia de tempo prprio, como uma distncia ao longo de uma trajetria no espao-tempo, deve ser invariante em relao a uma transformao de
coordenadas. Isto significa que o tempo prprio deve ser uma quantia com um
significado fsico, ou seja, no deve depender do particular sistema de referncia escolhido.
A quantidade dt 2 + dx 2 no um invariante, de acordo com a transformao de Lorentz! Portanto a quantidade invariante na Transformao de Lorentz : dt 2 dx 2 = dt '2 dx '2 , que uma imposio da invarincia da velocidade da luz:
x = ct
x ' = c t ' ou x 2 = c 2t 2 .
Vamos ento entrar na TEORIA DE CAMPO.
O que so campos?
Campos so coisas que ocupam um lugar no espao-tempo, por exemplo: campos eltricos, magnticos, gravitacionais, etc. Estes campos variam de
lugar para lugar e de tempo para tempo, sendo descritos por equaes estabelecidas nas dimenses espao-tempo.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
222
A teoria clssica do campo uma combinao de duas disciplinas bsicas: a Teoria da Relatividade e a Teoria da Mecnica Clssica.
Um dos modos de descrever os princpios da Mecnica Clssica atravs do Princpio da Mnima Ao, o qual iremos rever agora.
Para descrevermos um determinado sistema fsico, ns empregamos um
particular sistema de coordenadas, que identificamos usualmente com a localizao das partculas constituintes. Mas esta correlao no precisa ocorrer
necessariamente de uma nica forma, pois o conjunto de coordenadas pode ser
qualquer conjunto que descreva o comportamento do sistema fsico, podendo
elas descrever em particular os valores de um campo ao longo do espao. Seja
qual for o conjunto destas coordenadas, que descrevem a configurao de um
sistema, ns a chamamos de coordenadas generalizadas e as representamos
pela letra .
Nas condies comuns, se tivermos W partculas, todas elas se movimentando em apenas uma dimenso, teremos ento W coordenadas . Se as W
partculas se movimentassem no espao, teremos 3W coordenadas para o sistema. Assim o nmero de coordenadas no expressa necessariamente a dimenso na qual o sistema se movimenta, mas apenas o nmero de coordenadas que
descrevem a configurao do sistema (Graus de Liberdade). No h restries para este nmero, que poderamos inclusive imaginar como infinito.
Alm das coordenadas, precisamos tambm, a fim de prever o comportamento do sistema, das respectivas velocidades, ou seja, da razo de variao
dos em relao tempo (derivada no tempo):
qi ( t ) ; qi ( t )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
223
t2
( qi , qi ) dt
t1
= T U
T Energia Cintica
U Energia Potencial
224
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
onde 5 sempre depende apenas dos & , enquanto / pode depender tanto
dos & como dos .
Se os & representarem pontos movendo-se ao longo de uma reta, ento cada representar simplesmente a posio do ponto ao longo da reta,
enquanto os daro as respectivas velocidades, de modo que a energia
cintica ser dada por 1 2 mi q 2 , sendo que a energia potencial ir, de maneira
geral, depender da posio de todas as partculas do sistema. Assim teremos:
1
mi qi 2 U ( q )
2
onde q q0 , q1 ,..., qn .
=
dt qi
qi
U
= ( mi qi ) =
=
dt qi
dt
qi
qi
mi qi =
U
qi
(F = ma)
225
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
com o tempo. Vamos, porm, nos concentrar no modo pelo qual estes campos
preenchem o espao.
Os & so os diferentes valores assumidos pelo campo ao longo do
espao.
Na teoria de campo, a posio no espao define apenas a posio, no
sendo ela mesma um grau de liberdade, mas somente uma referncia posio daquele grau de liberdade.
Vamos trabalhar em cima de um exemplo da teoria de campo desde o
seu incio, para vermos como ele pode ser derivado a partir do PMA. Trata-se
de um sistema mecnico simples, que, quando expandido para um limite,
transforma-se em teoria de campo. O sistema uma coleo de molas conectadas entre si, formando uma corda (tal como uma corda de violo). A corda
tem as suas duas extremidades presas a dois pontos fixos.
Vamos assumir, neste nosso exemplo, que no h oscilaes longitudinais na corda, mas apenas transversais. Comeamos, ento, considerando a
corda como um conjunto de molas conectadas entre si. Isto significa uma coleo de massas pontuais que se movimentam verticalmente, cada uma tendo
uma mola ligando-a s suas duas massa vizinhas.
226
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
T=
mi
i
i 2
2
=
i
i 2
2
medida que inserimos mais e mais partculas, esta soma ir se transformar em uma integral:
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
227
( )
f ( x ) dx = lim
x 0 i
f ( xi ) xi .
T=
i
i 2
2
( dx )
( x 0)
( x)2
2
dx
A energia potencial de uma mola proporcional ao quadrado do deslocamento da mola em relao sua posio de equilbrio. A nica interao de
cada partcula deste sistema apenas com as suas duas partculas vizinhas
imediatas, que definem o deslocamento das duas molas s quais ela est conectada e, portanto, a fora sobre a partcula em questo.
Quando movimentamos verticalmente uma das massas, as molas so esticadas por uma quantidade proporcional, numa aproximao de primeira
ordem, diferena entre as coordenadas das massas de seus extremos:
mola (i +1 i )
U mola (i +1 i )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
228
F = K L
1 ( )
U i = k i +1 i
2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
229
Vamos substituir esta constante c por h +, onde h a densidade linear de massa (no final, veremos a razo para esta escolha!):
c2
Ui =
2
(i+1 i )2
i
.
Com isso, temos os elementos para escrever o Lagrangeano da nossa
corda, com o qual poderemos obter as Equaes de Euler-Lagrange para cada
uma das partculas da corda:
=
i 2
i
c2
2
( i )2
i
onde (i = i +1 i )
Vamos obter as equaes do movimento (Euler-Lagrange). Pra facilitar a compreenso, foquemos (arbitrariamente) a nossa ateno na partcula de coordenada 7 :
deduzindo-se
= 7
= i
pelo padro
7
i
d
d
= ( 7 ) = 7 =
dt 7
dt
7
para 7
c2
U7 =
2
(8 7 )2 + (7 6 )2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
230
U
c2
=
=
2 (8 7 ) ( 1) + 2 (7 6 )
2
7 7
U
c2
=
[ 8 + 27 6 ]
7
U
c2
=
7
U
= c2
7
(7 8 ) + (7 6 )
(8 7 ) + (7 6 )
= 7
7
Vemos ento que o padro geral para esta ltima frmula ser dado por:
i = c 2
(i+1 i ) + (i i1 )
(i +1 i ) = i
i =
c 2 i +1 i
i = c 2
2i
c2
( 0 )
2
x 2
No limite, teremos:
2 2 2
k
.
c
= 0 , onde c =
2
2
t
x
possvel, por uma anlise dimensional, constatar que tem a dimenso de velocidade:
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
F = k L L
=M L
k = ML T 2
231
ML L L2
=
T2 M T2
k
L
( velocidade )
M
T
i 2
c2
2
( i )2
i
teremos:
T =
i
0
2
U=
i 2 dx
, teremos:
c2
2
i 2
i
232
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
U=
c2
2
U=
0
c2
dx
dx
Ao = A =
2
F
t1
c2
dx dt
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
233
1
A=
2
dx dt
t1
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
234
Vamos falar a respeito da invarincia das leis da natureza segundo as vrias operaes de transformao entre sistemas, tendo em vista a Transformao de Lorentz. Vejamos qual a estratgia para produzir leis que parecem as
mesmas em todos os sistemas de referncia.
A estratgia consiste em expressar estas leis numa forma que no dependa da escolha do sistema de coordenadas, para ento eleger um sistema especfico e reescrever as leis numa linguagem apropriada para o novo sistema adotado.
Por exemplo, a menor distncia entre dois pontos (que a definio de
uma linha reta) no depende de nenhum particular sistema de referncia. Uma
consequncia desta propriedade, na Fsica, que o raio de luz percorre (no
vcuo) uma linha reta no espao, perfazendo o trajeto correspondente menor
distncia entre os dois pontos. A generalizao desta propriedade da luz,
quando o trajeto passa por vrios meios, estabelece que o tempo gasto pela luz
para ir de um ponto a outro sempre o menor possvel. Ao expressar estas
leis, no utilizamos nenhuma definio especial do sistema de coordenadas.
Tais leis foram expressas de uma forma independente do sistema de coordenadas. Podemos, no entanto, tomar um sistema em particular, para desenvolver
estas leis matematicamente e resolver algumas equaes.
Se considerarmos a luz propagando-se no vcuo, ento o menor caminho
dado por uma reta. Neste caso, portanto, podemos escolher um sistema retangular de coordenadas.
Imaginamos um trajeto percorrido por uma trajetria qualquer. Dividindo a trajetria em pequenos segmentos, cada um deles caracterizado por um
deslocamento composto por 7 e 7 . O comprimento da trajetria a soma de
todos os segmentos entre os pontos e :
235
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
7 = 7
+7
= 1 +
7 +
7
7
236
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
=7
+7
= 7 + + 7 +
cosh sinh
= sinh + cosh
As componentes e simplesmente
no se alteram (simetria de rotao
em torno do eixo ): & = e & = .
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
237
Portanto + ( + + + + + ) a quantidade conservada numa transformao de Lorentz seguida por uma rotao, uma vez que na rotao do sistema de coordenadas a distncia no espao invariante.
Qualquer quantidade que, numa transformao de Lorentz combinada
com uma rotao, transforma-se do mesmo modo que ( , , , ) tambm ser
conservada, condio da qual surge o conceito de 4-vetor. Assim, a quantia
conservada segundo a transformao de Lorentz dada por:
No caso de uma trajetria, teremos no elemento infinitesimal desta quantidade o 4-vetor (7 , 7 , 7 , 7 ), sendo que a quantidade invariante ser:
7
= (7 , 7 , 7 , 7 )
= (7 , 7 , 7 , 7 )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
238
d =
dx dx = dt 2 dx2 dy 2 dz 2
--------------------------------------------------------------------------------------OBS: Segundo a notao proposta por Einstein, toda vez que um ndice aparecer repetido duas vezes em uma expresso, subentende-se aquela expresso
somada em todos os valores correspondentes quele ndice. Assim:
d =
dx dx = dx dx
--------------------------------------------------------------------------------------Temos, portanto:
d = dt dt dx dx dy dy dz dz
d = dx dx = dt 2 dx 2 dy 2 dz 2
De modo semelhante, um dado 4-vetor 6 ir diferir do 4-vetor 6 apenas pelo sinal das componentes espaciais. Portanto a quantia formada pelo
produto 6 6 ser, de maneira anloga a 7 6 7 6, um invariante segundo a
transformao de Lorentz e de rotao.
Comeamos assim a elaborar um conjunto de regras para construir invariantes, atravs da utilizao de ndices superiores e inferiores que se contrabalanam entre si.
Na verdade, isso bem geral. Suponhamos que ns tenhamos dois quadrivetores: 6 e 6 . Ento ns podemos formar uma nova quantia:
6
? ?
@ @
g g
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
239
Esta quantia anloga ao produto escalar entre dois vetores, exceto pelo
sinal negativo nas componentes espaciais, devido presena do ndice inferior
em . Na verdade, esta quantia a mesma quantia dada por:
6
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
240
( x )
( x )
( x )
= y ;
= x ;
= z .
y
x
z
( x )
= , tratando-se
x
de um objeto com trs componentes espaciais e uma componente temporal.
Certamente, a quantidade um 4-vetor. No entanto surge a dvida se
ela tem um ndice inferior ou superior! Como conveno, quando temos a mudana do sinal das dimenses espaciais, estamos diante de um 4-vetor com
ndice inferior. Portanto, neste caso, o ndice de fato inferior!
A nomenclatura utilizada para objetos com ndices inferiores de
COVARIANTE, enquanto para aqueles com ndices superiores de
CONTRAVARIANTE.
( x )
= um 4-vetor COVARIANTE (ndice inferior).
Portanto
x
Vamos provar isso:
Se ns pudermos achar um 4-vetor contravariante, cujo produto escalar
com o 4-vetor seja invariante, ento provaremos que um 4-vetor covariante.
Vamos considerar dois pontos vizinhos no espao-tempo, separados pelo
intervalo dx :
Esta quantia pode se representada ento por:
1
Multiplicando
por dx , obtemos:
x
dx = 2 1 = constante !
x
241
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
dx um invariante. Mas, uma vez que dx um 4-vetor
= ( t , x , y , z , )
= ( t , x , y , z )
Se multiplicarmos por , obteremos:
= ( t ) ( x ) ( y ) ( z ) .
2
.
O que estamos fazendo desenvolver regras de clculo para construir
INVARIANTES com relao transformao de coordenadas!
Vimos ento que, a partir de um campo escalar , podemos obter um
te), ou
, , (notaes equivalentes para sua expresso para sua
x
expresso contravariante).
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
242
Devemos nos lembrar de que, neste sistema de coordenadas, a velocidade da luz foi considerada unitria, podendo ser recuperada depois, atravs de
uma anlise dimensional.
Vamos voltar ao problema de uma corda vibrando transversalmente, entre dois pontos fixos, onde achamos, atravs de uma aproximao limite, o
campo:
( x ) .
( x ) : i
0
Vimos tambm, neste problema, uma funo para o valor da Ao. O
valor desta funo em termos discretos dado por:
t2
i 2
A=
i
c2
(i +1 i )2 dt .
2
Lagrangeano
t1
Quando tomamos o limite da expresso para 0 , vimos que as equaes do movimento, segundo as equaes de Euler-Lagrange (fazendo = 1),
reduziram-se a:
2 2
=0 ,
t 2 x 2
2
onde 2 simplesmente a acelerao do prprio campo. Ns tambm vimos
t
o que acontece ao Lagrangeano, quando levamos as equaes para o mesmo
limite 0 :
G
1
2
F
= 1.
dx
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
243
A=
1
2
dxdt
F
t1
L = lim
A quantia
(i ) = ( ) dx
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
244
A=
( ) dx dt .
Podemos imaginar a densidade de Lagrangeano, ento, como a densidade de ao por unidade de volume no espao-tempo. Assim, integrando a
densidade de ao ao longo do espao-tempo, obtemos como resultado a
Ao!
Se a densidade de Lagrangeano um escalar, ento as equaes do movimento, segundo a transformao de Lorentz, so invariantes.
Alguns detalhes lgicos no foram considerados aqui, mas a ideia principal deve estar clara, com relao a como construir leis da natureza invariantes a partir de princpios invariantes.
Vamos agora supor que, em vez de expressar a onda atravs de um campo vibrante ao longo de uma nica dimenso, desejamos express-la no espao
completo: x, y e z.
A estratgia bastante clara. Tudo que temos de fazer, para encontrar
uma descrio invariante segundo uma transformao de Lorentz, no espao
quadridimensional, completar o restante da expresso:
A=
1
d 4 x
2
A=
1
2 x 2 y 2 z 2 dx dy dz dt
2 t
Assim, a Ao ela mesma invariante, independendo do sistema de referncia. Portanto a minimizao da Ao tambm no depende do sistema de
referncia. O mnimo obtido da mesma forma como fizemos para a ao no
caso de um sistema de partculas, quando supusemos uma variao infinitesi-
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
245
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
246
t2
t1
t2
t1
L ( x, x ) dt
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
247
f =
f
x
x
f =0
df ( x )
=0
dx
f
f
=0 ,
= 0 . Esta condio pode
x
y
f =
f
f
x+ y =0
x
y
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
248
No caso da trajetria que minimiza a Ao, queremos explorar o comportamento de trajetrias vizinhas trajetria real da partcula, requerendo que
a mudana na Ao seja nula, quando fazemos uma pequena variao na trajetria real x ( t ) :
t2
t1
L ( x, x ) dt = 0
t
x ( t ) = x ( t ) + f ( t )
x ( t )
( x (t )) = f ( x)
f (t )
t2
t1
L ( x, x ) dt =
integrando
por partes
t2
t1
f (t )
t2
t1
t2
t1
( x (t )) = f (t )
L
L
x + x dt =
x
x
L ( x, x ) dt =
L d L
x dt x
t2
t1
t2
t1
L
L
f (t ) +
f ( t ) dt
x
x
L
d L
f (t )
f ( t ) dt =
dt x
x
dt = 0
= 0 "LAGRANGEANO"
x dt x
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
249
Para o caso de vrias coordenadas generalizadas, a equao pode ser escrita na seguinte forma:
d L
L
=0
dt qi
qi
EQUAES DE EULER-LAGRANGE
L=
( ( x ) , ( x ) , ( x ) , ( x ) , ( x ) ) d x
3
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
250
1
2
t 2 ( c 2x 2 + c 2 y 2 + c 2z 2 )
Energia
Cintica
Energia
Potencial
1 2 2 2
t c (x + y 2 + z 2 ) 2 d 3 x ,
2
L=
onde o termo dependente de foi feito igual a 2 , para tornar mais simples a
expresso.
Para obtermos a ao, temos que realizar uma segunda integral, agora ao
longo do tempo:
A=
t2
t1
A=
1 2 2 2
t c (x + y 2 + z 2 ) 2 d 3 x dt
2
ou
1 2 2 2
t c ( x + y 2 + z 2 ) 2 d 4 x
2
251
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
Qual ento a condio para o campo ser invariante, segundo a transformao de Lorentz?
Para trabalharmos agora, consideraremos o campo como um escalar.
Mas devemos ter em mente que ele pode representar um vetor, um tensor, etc.
Se a densidade de Lagrangeano for um escalar, isto significa que a ao
no depende da transformao de Lorentz, de modo que as equaes de campo
sero invariantes segundo a transformao de Lorentz.
O nosso Lagrangeano pode ser expresso da seguinte forma:
(
(
= t c (x + y + z )
1
2 ) ; onde
(
2
= t + c ( x + y + z )
)
)
2 d 4 x
2
2
( x, t ) = ( x, t ) + f ( x, t )
Coloquemos a imposio de que, para qualquer variao em torno de
( x, t ) , a variao da Ao deve ser nula:
A = 0 (Valor estacionrio)
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
( x, t ) = f ( x, t )
A=
f ( x, t )
( x, t ) =
x
252
f ( x, t ) 4
f ( x, t ) +
d x=0
x
Soma
em
A=
A=
f ( x, t )
Como f ( x, t ) arbitrria:
f ( x, t ) d 4 x = 0
f ( x, t ) d 4 x = 0
=0
x
c2
+
+
=0
t t
x y z
ou:
tt c 2 (xx + yy + zz ) + = 0
Por enquanto, vamos desconsiderar o termo , o qual iremos estudar
no final do curso.
Portanto a equao obtida ser dada por:
tt c 2 (xx + yy + zz ) = 0
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
253
c
=0
t 2
x 2
.
= f ( x ct ) e = f ( x + ct ) , ou seja: = f ( x ct ) + f ( x + ct )
Estas duas funes representam funes movendo-se para a direita
( f ( x ct ) ) e para a esquerda ( g ( x + ct ) ) , ao longo do eixo . Neste caso, a
forma das funes no se altera, apenas se desloca ao longo do eixo .
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
254
2
1
2
U = +
2
2 .
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
255
1 2 3
d x ; U=
2
2 +
2
2
d 3x
x2
y2 k
2
+ m2
( x y)
2
2 2
x x +
, ento as derivadas de x e y
y y +
no se alteram, como no se altera tambm a diferena entre x e y, indicando
com isso a simetria do sistema.
Outra simetria seria, por exemplo, em relao a uma rotao do sistema.
Para vermos como a conservao est ligada simetria, devemos recordar que o momento cannico conjugado varivel qi dado por:
Nestas condies, se fizermos:
i =
L
qi
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
256
L =
i
L
qi =
qi
d
i qi =
dt
d
i ( fi ( q ) ) = 0
dt
d
i ( fi ( q ) ) = 0 , ou, uma vez que f i ( q ) no depende do
i dt
tempo e que uma constante, ento:
Portanto:
d
( i fi ( q )) = 0
dt
i f i ( q ) = constante no tempo
i
x=
y =
( f x = 1)
(f
= 1)
pi fi = m1 x + m2 y = px + p y
L
L
= ( x )
qi
( x )
1 2 2
2
c ( x ) dx
2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
257
dx = ( x ) dx .
Com isso, o valor desta integral no se altera medida que a onda se
movimenta.
Se houvesse no Lagrangeano o termo 2 , esta simetria no seria observada.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
258
O mais familiar e mais simples exemplo de momento na Mecnica Clssica dado por: p = m v
Em relao ao Lagrangeano, temos um novo conceito para o momento,
que chamado de momento cannico conjugado coordenada qi :
i =
L
.
qi
Resulta assim, como j vimos antes, que o momento um caso de quantia conservada devido a uma simetria de translao. Neste aspecto, o momento
pode diferir daquele aspecto usual p = mv , por exemplo, no caso da partcula
carregada movendo-se em um campo magntico, cujo momento cannico
dado por:
= mv + e A v A Vetor Potencial
2
2 2 x 2 y z 2
c
+
+
2
2
2
2
d3x
Densidade de Lagrangeano
259
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
"Momento do Campo"
( OBS: L =
d 3x
i f i ( q )
i
1 2
2
dx =
c 2 ( x )
dx = dx
Como j vimos, quando o sistema simtrico em relao ao tempo, ento haver conservao da energia. Vamos considerar a energia para a teoria
do campo simples numa nica dimenso, com um Lagrangeano dado por:
1 2 2
2
t c (x ) dx
2
1 2 2 2
E=
t + c (x ) dx
2
L=
x-ct =u F u F
=
=
(1)
x u x u
1 2 F
F
F
E=
+ c2
c
dx = c 2
dx
2
u
u
u
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
260
F u F
F
=
=
( c ) E = c 2 dx
t u t u
u
( x)
(x )
261
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
( x ) ( x)
( x + x ) ( x )
=
x
x
x
dx
x
dx =
dx p =
dx
x
x
x t
F
u
dx = c
F
u
dx
dx
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
262
= 1 + i 2
1
x
+i
* = 1 i 2
2
L=
1
2
2
1
x12 12 d 3 x +
L=
1
2
x2 2 2 2 d 3 x
1
* x * x * d 3 x
2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
263
= ei (1 + i ) = . ( i )
* = * e i * * (1 i ) * = . i *
; * = * =
=
2
2
Como ( i ) e * i * , ento f = i e f * = i * .
Assim, a quantia conservada ser:
f + * f * d 3 x = i
*
2
*
2
d3x
* *
2
d 3x
Esta quantia a carga eltrica do campo. Vamos assim, aos poucos, chegando s ideias da Teoria Quntica do Campo.
Como j vimos, cada tipo de partcula um quantum de algum campo.
Ftons so quantas de um campo eletromagntico, que so campos reais, e no
complexos. O eltron tambm o quantum de um campo, no do tipo de campo que estamos acostumados a conceber, ou que possamos facilmente medir
com um detector de campo no laboratrio, mas ainda assim os eltrons so o
quantum de um campo. No se trata de campos que exercem fora no eltron,
mas sim do quantum de campo que constituiu o eltron em si mesmo. Outras
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
264
y
x
De modo que a componente 1 descreveria o movimento da corda na direo x e a componente 2 , na direo y. Assim o movimento seria descrito
completamente pelo campo complexo = 1 + i2 . Neste caso, a densidade de
carga representaria o momento angular de um ponto da corda, de modo que o
momento angular total (dado por uma integral!) permanece constante, como,
por exemplo, no momento da corda na brincadeira de pula-corda.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
265
q
= ( densidade )
3
( x, t )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
266
A carga uma quantia escalar, porm a corrente, tal como o vento, associada a uma determinada direo. Se, por exemplo, a janela estiver deitada
em relao ao movimento das cargas, nenhuma carga passar atravs dela.
Portanto o fluxo uma quantia vetorial. Se orientarmos a nossa janela de
modo que o eixo x seja perpendicular a ela, deixando assim que a janela fique
q
orientada no sentido de x, ento a quantia
, para a janela na direo x,
A t
definida como a componente x da corrente ou o fluxo de cargas na direo x.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
267
Analogamente, define-se j y e j z .
-----------------------------------------------------------------------------------------
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
268
I t 2 j x( I ) : quantidade de cargas que entra na caixa neste intervalo de tempo e atravs desta rea.
II t 2 j x ( II ) : quantidade de cargas que sai na caixa neste intervalo de tempo e atravs desta rea.
-------------------------------------------------------------------------------------------OBS: O fluxo entrando na regio delimitada est sendo considerado aqui como
positivo. Ao contrrio, de sinal negativo, para o fluxo saindo da regio.
-------------------------------------------------------------------------------------------Ento a mudana na quantidade de carga dentro da caixa no intervalo de
tempo t dada por:
t 2 j x ( I ) j x ( II )
t 2 j y ( III ) j y ( IV ) e t 2 j z (V ) j z (VI )
Portanto a quantidade total de carga entrando no volume durante o intervalo de tempo t ser:
269
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
t 2
{( j
(I)
) (
) (
j x( II ) + j y ( III ) j y ( IV ) + j z (V ) j z (VI )
)}
{( j
(I)
) (
) (
j x ( II ) + j y ( III ) j y ( IV ) + j z (V ) j z (VI )
)}
dq
j x
j y
j z
j x j y j z
= 3
=2
+
+
dt
x
y
z
x y z
Se dividirmos a equao por 3 (volume da caixa), ficaremos com
d q
na esquerda, que, quando 0 , a razo de variao da densidade
dt 3
d
d q
d
de carga na caixa, ou seja:
, pois
.
3
0
dt
dt
dt
Desse modo, teremos:
d
j x j y j z
=
+
+
dt
x y z
+ . j = 0
t
.
j x j y j z
+
+
Onde . j o divergente de j, ou seja: . j =
.
x y z
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
270
Esta equao relaciona a variao da carga no volume com o fluxo atravs da fronteira do volume. Este o significado profundo de conservao de
uma quantia.
Vamos escrever esta equao em uma forma diferente.
Como j vimos antes, podemos nos referir s variveis t, x, y e z como
0
1
x , x , x2 e x3 , o que pode ser resumido pela expresso: x . Vamos chamar
ento as variveis da seguinte forma: = j 0 ; j x = j1 ; j y = j 2 ; j z = j 3 .
possvel representar ento a equao da continuidade pela expresso:
j
=0
x
Podemos ver atravs desta equao que j um tipo de quadrivetor
(4-vetor), pois esta equao deve ter o mesmo significado em qualquer outro
sistema de referncia.
A deduo desta equao no dependeu do particular sistema de referncia utilizado, tendo sido feita de uma forma geral. A nica maneira para esta
equao permanecer invarivel dada pela condio de que j se transforme
segundo um quadrivetor. E isto o que de fato acontece!
Temos ento uma nova verso para a conservao da carga, expressa em
termos de uma equao de continuidade invariante segundo a transformao
de Lorentz.
Esse o princpio pelo qual uma carga no pode desaparecer de um lugar e aparecer em outro, sem que haja um fluxo de cargas na regio de fronteira!
Esta equao tambm pode ser descrita de outra forma:
j = 0
Vamos voltar agora derivao do Teorema de Noether em relao
conservao da carga, na teoria simplificada do campo dotado de certa simetria, como vimos na ltima aula.
O teorema nos fornece o conceito da conservao de certa quantidade,
que ns chamamos de carga, sendo que esta carga dada por uma integral ao
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
271
longo do espao. Desse modo, fica claro que esta quantidade deve ser a densidade espacial de carga.
Perguntamos ento se teorema tambm nos fornece uma noo da densidade de corrente j em relao conservao de carga. O campo utilizado por
ns era um campo complexo:
= 1 + i 2
* = 1 i 2
272
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
ei = (1 + i 2 ) ei
ei 1 + i ei (1 + i )
= i
(1 + i2 ) ei (1 + i2 )(1 + i ) = 1 + i1 + i2 2 =
= (1 2 ) + i (2 + 1 )
1 = 2 f1 ( ) = 2
2 = 1 f 2 ( ) = 1
Se multiplicarmos o campo complexo rotacionado de ei pelo seu conjugado, o produto no se altera, pois: ei *e i = * = 12 + 2 2 .
Assim, se o Lagrangeano contiver termos como * , ou ( * ) , ou en2
Q=
i f i ( )
onde i = fi ( q ) .
Para o nosso caso, teremos:
Q=
( f ( ) + f ( ) ) d
1 1
2 2
= 1 ; 2 =
= 2
1
2
i *
12 + 21 d 3 x Q =
+ *
2
Carga
1 =
Q=
Densidade de Carga
d 3x
273
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
( )
j = Im ( * )
onde
0,1, 2,3
t , x, y , z .
Aqui, passamos a expressar o quadrivetor nas suas componentes contravariantes (ndice superior), o que significa apenas trocar o sinal dos componentes x, y e z de j para a transformao de Lorentz.
Vamos ver se este quadrivetor satisfaz equao da continuidade.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
274
( Equao do Movimento )
m 2 = 0
j = 0 Im *
Im * + *
=0
j = Im * = Im * m 2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
275
dt 2 dx 2
d =
dt
dt
d = 1
Retornando c
v2
dt
=
dt
2
c
d
d = 1 v dt
1
1
v2
c2
dx
(4-vetor), teremos as seguintes componentes pad
ra o momento relativstico:
Para a velocidade
dt
=
d
1
1
dx dx dt dx
=
=
d dt d dt
v2
c2
dx
=
d
1
1
v2
c2
v
1
v2
c2
v2
c2
vx
1
v2
c2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
276
dx
=m
d
v
1
v2
c2
dt
=
d
m
2
v
1 2
c
= p0
( 0 tempo )
c2 :
E=
Quando
m c2
v2
1 2
c
v
pequeno, temos:
c
277
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
v2
1 2
c
1
2
v2
mc 1 + 2 mc 2
2c
2
Taylor
1
E = mc 2 + mv 2
2
Energia
de repouso
(m :
massa de repouso )
Energia
Cintica
p=
mc 2
v2
1 2
c
mv
1
v
c2
m2c 4
v2
1 2
c
2 2
mv
p2 =
v2
1 2
c
E2 =
E 2 p 2c 2 =
m 2c 4 (1 v 2 c 2 )
1 v c
2
= m2c4
E 2 p 2 c 2 = m2 c 4
Este resultado no nos deve surpreender. E e p so componentes de
um quadrivetor, sendo que a invarincia de um quadrivetor, segundo a transformao de Lorentz, obtida pela diferena entre o quadrado do tempo e a
soma dos quadrados no espao ( d 2 = c2 dt 2 dx 2 ).
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
278
v
mv
p=
p2 =
2
1 v2
1 v
Por anlise dimensional:
E2
m2c4
( pc )
E 2 p2 c2 = m2 c4
p 2c 2
E= pc
O valor obtido difere de um fator 2 em relao quantia que obteramos classicamente para uma partcula velocidade da luz:
E=
pc
1 2
mv
.
v =c E =
2
2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
279
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
280
= 1 + i 2
* = 1 i 2
onde 1 e 2 so campos reais.
Outra maneira de se ver um campo complexo associar a cada ponto do
espao um par de eixos perpendiculares, chamando um de 1 e outro de 2 :
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
281
Neste caso, para cada ponto do espao, temos uma determinada direo
de . Isto implica que podemos relacionar diferentes direes a diferentes
pontos no espao.
Por exemplo, no caso de uma corda que esteja sendo usada como pulacorda, a analogia com o campo complexo seria que cada ponto da corda, estando livre para se movimentar nas direes perpendiculares direo da corda, necessitaria, para ter seu movimento descrito, no apenas a sua posio em
relao aos extremos da corda, mas tambm o ngulo pelo qual ele est deslocando-se em relao, por exemplo, vertical, bem como a distncia que ele se
encontra do eixo da corda.
Para isso, poderamos
usar um nmero complexo
para cada ponto, ou ento
um par de coordenadas, ou
ainda um raio e um ngulo.
Mas est implcito neste
caso, assim como sempre se
supe ao compararmos coisas, que o sistema de referncia utilizado para medir a
posio de qualquer ponto
da corda, sempre permanece
paralelo a si mesmo, independente de sua posio ao
longo da corda.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
282
' = ei .
Esta uma simetria para o Lagrangeano que estudamos na ltima aula:
1
* m 2 *
2
) ( 0,1, 2,3)
= ei
x
x
' '* *
=
x x
x x
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
283
permanece invariante sob uma simetria mais forte, onde a rotao do ngulo
varia ao longo do espao. Isto significa que o ngulo ser uma funo de x:
' = ei ( x ) ; '* = e i ( x ) *
Vemos que, agora, no temos uma rotao rgida, na qual todo o sistema movido junto, mas sim uma rotao flexvel, com cada ponto sendo
submetido a uma diferente rotao.
A Ao dada pela integral no espao-tempo da densidade de Lagrangeano:
A=
1
* m 2 * ) d 4 x
(
2
i ( x ) * i ( x )
= m 2 *
x
x
x
'* * i ( x ) ( x ) i ( x ) *
e
e
=
i
x x
x
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
284
1
'* ' m 2 '* ' ) d 4 x
(
2
A=
1
2
A=
* i
( x )
x
* e i ( x ) + i
)(
( x )
x
ei ( x ) m 2 * d 4 x
i ( x ) * + i ( x ) m 2 * d 4 x
A=
( + i
'
A' '
) ( '+ i
*
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
285
{ ( + i ( x ) + i
A=
A' ei ( x )
( + i ( x ) + i A ' ) e ( ) m } d x
A = { ( i ( x ) i A' ) e ( )
( + i ( x ) + i A ' ) e ( ) m } d x
{ (
A=
Se fizermos: A ' = A
A=
A=
i x
i x
A ' ) m 2 * d 4 x
( x ) , teremos:
)(
i A * + i A m 2 * d 4 x
( + i
i ( x ) * i A' *
( + i ( x ) + i
i x
) ( + i
*
A m 2 * d 4 x
Com isso, chegamos mesma expresso inicial (a partir de ', '* e A' ),
s que agora expressa em termos de , * e A.
Portanto, se mudarmos a forma inicial do Lagrangeano:
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
) ( '+ i
*
A ' '
286
( ' ) + i A' ( )
( x )
( x )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
A=
A=
* i
* + i
287
m 2 * d 4 x
x
( * * ) + m2 * d 4 x
x
= A .
x
------------------------------------------------------------------------------------------A quantia no considerada aqui. A quantia aquilo que descreve
as correntes geradas pelas cargas; aquilo que, na Mecnica Quntica, descreve as partculas carregadas.
Ns sabemos que o eletromagnetismo tem um comportamento no trivial e interessante, mesmo quando est longe de qualquer carga. Trata-se das
ondas eletromagnticas, que se propagam atravs do espao vazio.
Deve haver ento alguma dinmica para o campo eletromagntico, a
qual est presente mesmo na ausncia de cargas, envolvendo apenas o campo
eletromagntico em si mesmo. O que ento governo o campo eletromagntico
em si?
Nossa inteno manter a simetria de calibre, para tirar proveito do Lagrangeano que desenvolvemos para descrever A, o qual invariante segundo a
transformao por calibre. Deste modo, devemos ter o Lagrangeano do campo
eletromagntico em si tambm invariante segundo a transformao por calibre:
( A) invariante por calibre .
Perguntamos ento que tipo de combinao podemos fazer com as quatro componentes de A, em particular com suas derivadas, de modo que o La-
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
288
1
Isto nos trar um termo extra em A' , dado por: .
Vemos que, ao trocarmos os ndices, obtemos imediatamente:
A' A
1
Isto resulta num termo extra, dado por: .
Fica claro, ento, o que deve ser feito para a quantia no variar sob uma
transformao por calibre.
Uma vez que = , ento, se subtrairmos A' A' , definindo uma nova quantidade, obteremos que:
A' A' = A
A +
= A A .
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
0 A0 0 A0
1 A0 0 A1
0 A1 1 A0
1 A1 1 A1
0 A2 2 A0
1 A2 2 A1
0 A3 3 A0
1 A3 3 A1
2 A0 0 A2
3 A0 0 A3
2 A1 1 A2
3 A1 1 A3
2 A2 2 A2
3 A2 2 A3
2 A3 3 A2
3 A3 3 A3
289
F01
0
F02
F12
F03
F13
F02
F03
F12
F13
0
F23
F23
0
= A A
Temos assim uma quantia que invariante sob uma transformao por
calibre. Na verdade, esta a nica quantia, formada por derivadas de primeira
ordem de A, que permanece invariante por transformao por calibre.
Os Lagrangeanos so normalmente funes das variveis e de suas primeiras derivadas. Estamos falando das componentes A como as variveis.
Tudo que no tenha uma derivada em si (como A, A2 ,... ) no ser invariante
por transformao por calibre.
Como podemos fazer um Lagrangeano com termos envolvendo o quadrado das derivadas, que seja invariante segundo uma transformao de Lorentz?
Para que a quantia seja invarivel segundo Lorentz, basta fazermos a
contrao dos ndices superiores e inferiores, o que define uma quantia escalar, a qual permanece invariante.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
290
Fica claro, portanto, que a nica coisa que podemos fazer neste caso
construir a quantia:
= E 2 B2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
291
Vejamos agora uma maneira totalmente diferente de ver o campo eletromagntico e suas interaes com partculas.
J vimos a interao do campo eletromagntico com ondas de campo
carregadas, onde uma onda de campo portando carga. As ondas deste
campo constituem densidades de cargas eltricas e correntes eltricas.
Quando estudamos Mecnica Quntica, a dualidade onda-partcula nos
diz que todos os campos esto associados com partculas, sendo que de fato o
campo est associado a partculas carregadas eletricamente.
No entanto ns no precisamos estudar Mecnica Quntica para descrever como as partculas carregadas interagem com o campo eletromagntico,
pois, para isso, podemos simplesmente recorrer descrio bsica das partculas carregadas. Vamos nos referir ento s partculas clssicas na teoria da
relatividade.
O Lagrangeano para as partculas clssicas e a teoria especial da relatividade iro mostrar-nos a interao entre partculas carregadas e o campo eletromagntico. Veremos tambm, em particular, a ideia de invarincia por calibre.
Vejamos a linha do universo para uma partcula no espao-tempo:
A linha do universo deve obedecer ao
Princpio da Mnima Ao. Perguntamos ento qual deve ser a Ao para uma partcula
movendo-se no espao-tempo, segundo a
teoria da relatividade. Por enquanto, no estamos considerando nenhum campo, mas
apenas uma partcula livre.
Ao longo da trajetria, existe apenas um invariante que se apresenta
sempre como uma Ao. A quantia natural, associada trajetria, para constituir a ao, o cumprimento relativstico da trajetria, e a razo para isso
que se trata de um invariante. Estamos nos referindo ao tempo prprio da partcula ao longo da trajetria. Precisamos, no entanto, multiplicar esta quantia
pela massa da partcula e, por razes de conveno, tomar o sinal negativo.
Recordemos que assumimos aqui o valor = 1.
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
d 2 = dt 2 dx 2 dy 2 dz 2 = dt 2 dx 2
P2
d = dt 2 dx 2
P2
A = m dt 2 dx 2
A = m 1 v 2 dt
P1
292
(v 2 = v x 2 + v y 2 + v z 2 )
P1
A=
P2
( x ) dt =
P1
P2
m 1 x 2 dt
(x 2 = x 2 + y 2 + z 2 )
P1
mvx
=
px =
x
1 v2
mvx
1
v2
c2
mv 2
1 v2
= x x + y y + z z + m 1 v 2
+ m 1 v =
2
m
1 v2
H=
mc 2
1
v2
c2
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
293
A questo que surge agora o que acontece quando inclumos um campo eletromagntico?
Um campo eletromagntico descrito pelo potencial vetor . Como podemos combinar o vetor potencial com a partcula, para construir uma Ao
que envolva o movimento da partcula no campo eletromagntico?
dx
H uma quantia simples que podemos utilizar: A
.
d
Trata-se de uma quantia invariante. Devemos integr-la, porm, em relao ao tempo prprio , para conservar a invarincia:
dx
A
d = A dx
d
.
A dx .
Vamos acrescentar a carga eltrica a esta quantia:
Mas ainda est faltando a velocidade no Lagrangeano. Para isto, basta
dividir e multiplicar por 7 .
dx
A
dt =
dt
Ao =
(A
+ Ax vx + Ay v y + Az vz ) dt
( A + A.v ) dt
0
Esta ao invariante por calibre. Vamos antes ver como esta nova ao
se comporta.
Suponhamos que temos uma partcula carregada movendo-se numa trajetria no espao-tempo, sob a influncia de um campo eletromagntico.
Haver uma corrente, estabelecendo-se um fluxo de carga ao longo da
trajetria. H uma densidade de carga e um fluxo de carga. O fluxo decorre do
movimento da partcula carregada. Onde ento est localizada a corrente? Ela
est localizada onde a partcula se encontra! Assim, onde a partcula estiver,
haver uma corrente, e a densidade de carga ser dada pela carga da partcula.
Temos, portanto, uma corrente ao longo da trajetria da partcula. A
componente espacial da corrente (o fluxo de carga) proporcional velocida-
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
294
dx
d dx
d
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
( x )
295
dx = final ( x ) inicial ( x ) .
x
Portanto este termo extra independente da trajetria percorrida. Assim,
se o termo extra, acrescido pela transformao por calibre, independente da
trajetria, ento a Ao no ser alterada, independendo da trajetria percorrida. Deste ponto de vista, a alterao trazida pela transformao por calibre no
ir acarretar nenhuma alterao da Ao, com relao trajetria.
Portanto a parte que de fato influi na ao independe do termo extra
acrescentado pela transformao por calibre. Conclumos ento que as transformaes de calibre so tambm formas importantes da invarincia de calibre
com relao Ao de uma partcula carregada, movendo-se em um campo
eletromagntico.
Vimos assim, sob duas perspectivas diferentes, que a transformao por
calibre uma simetria fundamental com relao interao entre partculas
carregadas e campos eletromagnticos.
Porm, dx =
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
296
f a
, fa .
x
Por exemplo, o Lagrangeano do campo escalar que j estudamos era dado pela diferena entre uma soma de quadrados das derivadas do campo,
acrescida de um termo extra, que chamamos de termo de massa, o qual depen-
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
297
dia apenas do campo em si, sem derivadas. Esta a forma geral do Lagrangeano.
A Ao a integral do Lagrangeano ao longo de todo o espao-tempo.
Mas, assim como para uma simples partcula, podemos ver as implicaes do
Princpio da Mnima Ao tanto de uma forma global como de uma forma
local, sendo que o resultado so as equaes de Euler-Lagrange para o campo.
Relembremos que as equaes de Euler-Lagrange para a o movimento
de um conjunto de partculas, cujo Lagrangeano = ( xa , xa ) , so dadas
por:
d
=
dt xa
xa
f a
f a
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
298
.B = 0
E = B
B = E + j
---------------------------------------------------------------------------------------------OBS: Adotamos aqui unidades racionalizada, a fim de no carregar as equaes com constantes.
---------------------------------------------------------------------------------------------Existe mais uma equao que fundamental na eletrodinmica.
As Equaes de Maxwell mostram como as cargas e seus movimentos
modificam os campos eletromagnticos. O outro lado desta questo como o
campo eletromagntico afeta as cargas, exercendo fora sobre elas. Este efeito
dado pela fora de Lorentz, cuja equao dada por:
F=
( E + v B)
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
299
+ i A
x
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
300
A ideia do potencial vetor surgiu, neste caso, da necessidade de compensar as mudanas originadas pelas derivadas ordinrias do campo, a fim de satisfazer o requisito de invarincia de calibre. Surge ento a seguinte pergunta:
que tipo de Lagrangeano ns podemos construir, de tal modo que ele seja invariante por calibre?
Vejamos primeiramente quais os tipos de estrutura que so invariantes
segundo a transformao por calibre.
A estrutura mais simples que podemos construir a partir de , na condio de
invarincia por calibre, um tensor, cuja obteno se d diferenciao:
A ou A .
x
---------------------------------------------------------------------------------------------OBS: um quadrivetor cuja componente no tempo corresponde ao potencial
eltrico. em si mesmo no um invariante por calibre, como fcil verificar.
---------------------------------------------------------------------------------------------Quando o tensor A submetido a uma transformao por calibre,
surge um termo extra:
A A
2
x x
= A A
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
301
0
F01
F01
0
F02
F12
F03
F13
F02
F03
F12
F13
0
F23
F23
0
02
03
A1 A0
= E1 = Ex
x 0 x1
A2 A0
= E2 = E y
x 0 x 2
A A
= 03 30 = E3 = Ez
x
x
=
12
xy
23
yz
31
zx
Ay
x
Az
y
A
= x
z
=
Ax
= Bz
y
A
y = Bx
z
A
z = By
x
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
302
lado, qualquer combinao do tensor eletromagntico pode fazer parte do Lagrangeano, sem quebrar a simetria por calibre.
A invarincia por calibre, portanto, no suficiente para estabelecer qual
a combinao de que deve ser empregada no Lagrangeano.
Outro requisito ou princpio que deve ser obedecido a invarincia segundo a transformao de Lorentz. Para obedecer a esta condio, ns precisamos de uma quantia escalar.
Mas a quantia escalar mais simples que ns podemos formar a partir do
tensor eletromagntico obtida pela multiplicao dele por si mesmo, ou
seja, tomando-se o quadrado do tensor
ndices em um escalar: .
Na verdade, por uma questo de conveno, esta quantia multiplicada
por 1/4.
1
A A
4
)(
A A )
Esta expresso envolve um conjunto de operaes de quadrados de derivadas do potencial. Em relao a este aspecto, o Lagrangeano bastante semelhante quele j visto por ns para o campo: * .
No caso do campo escalar, ns podemos acrescentar um fator extra,
chamado de fator de massa: m2 * . No entanto, no h nada que possamos
acrescentar expresso do Lagrangeano eletromagntico que no envolva a
derivada do potencial vetor, pois o vetor em si e qualquer combinao dele
no invariante por calibre.
Vejamos o que representam algumas das componentes do tensor eletromagntico:
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
1
(
4
01
303
Ex2
1
2
( 2 Ex ) = 2
10 ) =
4
10
01
(E
2
x
+ Ex 2 + E x 2
12
21
12
21
Bz 2
=
2
(B
2
x
+ Bx 2 + Bx 2
2.
1 2
E B2 .
2
2
O termo E feito de derivadas do potencial em relao ao tempo, elevadas ao quadrado. Esta justamente a forma anloga energia cintica do
Lagrangeano de um sistema de partculas. tambm anloga ao termo 2 . Podemos dizer que o termo E 2 o termo referente energia cintica, no sentido
de conter o quadrado das derivadas no tempo.
O termo magntico B 2 no contm nenhuma derivada no tempo, apenas
no espao. Este o termo anlogo energia potencial.
Vemos ento que a densidade do Lagrangeano eletromagntico,
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
304
cintica ( E 2 ) e o termo correspondente energia potencial ( B 2 ). Esta justamente a forma esperada para o Lagrangeano, como, por exemplo, no caso do
Lagrangeano do campo escalar, onde temos:
L=
2
1 2
( )
2
= x, y , z
Da mesma forma, por completa analogia com tudo que j vimos, podemos concluir que a forma para o Hamiltoniano eletromagntico deve ser dada,
como de fato o , pela soma E 2 + B 2 .
Esta quantidade ento, H = E 2 + B 2 , representa a densidade de energia
eletromagntica, cuja integral em todo o espao representa a energia eletromagntica total, que a quantia conservada:
(E
Energia =
+ B2 d 3 x
Vejamos agora as equaes do movimento. Considerando um termo especfico do Lagrangeano eletromagntico, podemos perceber o padro do resultado das equaes de Euler-Lagrange.
=
1
A A ) A A
(
4
( A A )
1
( 0 A1 1 A0 ) 0 A1 1 A0 = 0 1 1 0
4
2
1 ( 0 A1 1 A0 )
= ( 0 A1 1 A0 ) =
2
( 0 A1 )
01
=
( A )
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
305
x ( A )
A
o que resulta em:
=0
.E = ; B = E .
Neste caso, o rotacional de B no inclui a densidade de corrente, que
ainda no levamos em considerao, pois, na presena de corrente, o Lagrangeano deve ser modificado.
Vejamos uma das equaes contidas na expresso da equao de EulerLagrange:
0
+ 1
+ 2
+ 3
=0
Para = 0 , teremos:
0
00
+ 1
10
+ 2
20
+ 3
30
=0
E x E y E z
+
+
=0
x
z
z
01
E
x
+ 1
11
+ 2
21
(B )
+ 3
31
= 0
B = E
junto com =2 e 3
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
306
+ j A
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
j A j A
307
.
Portanto a mudana que ocorre dada pelo termo:
j d 4 x =
j d 4 x
j d 4 x =
j d 4 x
+ . j = 0
t
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
308
1
4
+ j A
Se aplicarmos agora as equaes de Euler-Lagrange ao Lagrangeano eletromagntico, veremos que haver termos extras no lado direito da equao,
resultantes da derivada em relao a A . Estes termos, como pode ser facilmente verificado, correspondem densidade de carga ( ou j 0 ) e densidade de corrente ( j ou ( jx , j y , jz ) ).
Vamos verificar a divergncia de B atravs das equaes de EulerLagrange:
Bx = y Az z Ay ; By = z Ax x Az ; Bz = x Ay y Az
.B = x Bx + y By + z Bz = x ( y Az z Ay ) + y ( z Ax x Az ) +]
+ z ( x Ay y Az )
.B = x y Az x z Ay + y z Ax y x Az + z x Ay z y Az = 0
.B = 0
interessante notar que, mesmo se no tivssemos nos preocupado em
determinar se o termo j A ou no um invariante por calibre, a condio da
conservao da carga resultaria como consequncia das equaes de EulerLagrange. Vejamos como:
Teoria de Campo
Notas das aulas do Prof. Susskind Universidade de Stanford
1
4
309
+ j A
Lagrangeano
x ( A )
A
= j
Euler Lagrange
No entanto: 1 2
21
= 21
12
= j
; 1 3
31
= 31
13
; ..... .
Portanto
=0
j = 0 . Isto significa que a carga conservada, como consequncia das equaes do movimento.
Ficamos assim com dois argumentos independentes para a conservao
da carga. Por um lado, a invarincia por calibre s se mantm se a carga for
conservada. Por outro lado, a conservao da carga uma consequncia direta
das equaes do movimento, obtidas do Lagrangeano eletromagntico atravs
das equaes de Euler-Lagrange. Neste segundo argumento, podemos concluir
que as equaes de Maxwell seriam inconsistentes, se no houvesse conservao da carga.
Se ns associssemos uma corrente correspondente a uma partcula
carregada em movimento e acrescentssemos ao Lagrangeano eletromagntico
desta partcula a sua energia cintica correspondente, ento, aplicando as
equaes de Euler-Lagrange ao Lagrangeano resultante, obteramos a equao
da fora de Lorentz.