Revista Brasileira de Fsica, Vol.

11, NP 2, 1981

U m E x e i m p l a de Como No Usar Teoremas Matemhticos

em Problemas Rsicos
EDGAR FRANCISCO DAS CHAGAS e NIVALDO AGOSTINHO LEMOS*
Instituto de IVsica, Universidade Federal Fluminense, Niterbi, RJ
Recebido em 20 de Outubro de 1980

The v i r i a l theorem i s a p p l i e d t o t h e case o f a p a r t i c l e moving

on an e l l i p t i c o r b i t i n a c e n t r a l f i e l d .
ployed i n c a r t e s i a n and p o l a r c o o r d i n a t e s .

The theorem i s a c r i t i c a l l y

em-

The use o f t h e theorem i n po-

l a r c o o r d i n a t e s leads t o an absurd r e s u l t . A more a c c u r a t e a n a 1y s s

t h e v a l i d i t y c o n d i t i o n s o f t h e theorem r e v e a l s t h a t , i n f a c t , i t

is

of
not

appl i c a b l e i n p o l a r c o o r d i n a t e s .
O teorema do v i r i a l a p l i c a d o ao caso de uma p a r t c u l a movendo-se ao longo de uma r b i t a e l i p t i c a num campo c e n t r a l . O teorema
pregado ac.riticamente em coordenadas c a r t e s i a n a s e p o l a r e s . A

em-

utilizao

do teorema em coordenadas p o l a r e s conduz a um r e s u l t a d o absurdo. Uma anl i s e mais apurada das condies de v a l i d a d e do teorema r e v e l a que,na v e r dade, e l e no a p l i c v e l em coordenadas p o l a r e s .

Uma das c a r a c t e r s t i c a s bsicas que d i s t i n g u e m os

f i s i c o s dos

matemticos que e s t e s s aplicam um determinado teorema num caso espec f i c o depois de terem v e r i f i c a d o que as condies que asseguram a v a l i dade do teorema so s a t i s f e i t a s .

Em c o n t r a p a r t i d a , p r t i c a c o r r i q u e i r a

e n t r e os f s i c o s a ' u t i l i z a o de r e s u l t a d o s matemticos sem importarem-se

com suas c:ondies de v a l i d a d e e a t mesmo, em
desconhecr:ndo-as

por completo.

determinadas

situaes,

E c e r t o que nem sempre p o s s v e l v e r i f i -

Parcialmente sustentado p o r uma bolsa de doutorado do CNPq.

c a r se as hipteses de c e r t o s teoremas so e f e t i v a m e n t e s a t i s f e i t a s .
sim, por exemplo, na t e o r i a g e r a l da mecnica q u n t i c a t r o c a - s e
temente, e sem c c r i m n i a , a ordem de operaes t a i s como
d i f e r e n c i a o e soma i n f i n i ta 1 . Em exemplos concretos,

de

As-

freqen-

integrao,

todavia, espera-se

que sempre s e j a p o s s v e l j u s t i f i c a r t a i s procedimentos.

Este h b i t o d e l e t r i o dos f s i c o s f a c i l m e n t e a t r i b u v e l m
educao matemtica que recebemos. A "matemtica" que aprendemos no passa de uma t c n i c a de manipular smbolos c u j o s i g n i f i c a d o p r e c i s o desconhecemos. Uma vez aprendida a t e c n i c a , a sua u t i l i z a o torna- se um processo
puramente mecnico: os r e s u l t a d o s matemticos passam a ser encarados como
meras r e c e i t a s v l i d a s em qualquer s i t u a o . So e v i d e n t e s os s r i o s r i s cos que uma a t i t u d e d e s t e t i p o a c a r r e t a . P o r t a n t o , t a l a t i t u d e

no

ser estimulada nos estudantes de F s i c a . Ao c o n t r r i o , deve-se

despertar

o e s p r i t o c r i t i c o dos estudantes em r e l a o a e s t e problema. Neste

deve

sen-

t i d o , sempre que p o s s v e l , quaisquer teoremas r e l e v a n t e s devem ser empregados com as devidas r e s s a l v a s e j u s t i f i c a t i v a s .

Dentro deste e s p r i t o , e

guisa de exempio, propomo-nos a a-

p r e s e n t a r uma s i tuao concreta em que a u t i 1 izao d i r e t a de um

teorema

f o r a de sua r e g i o de a p l i c a b i l i d a d e conduz a um aparente paraduxo.

exemplo que analisaremos tem por base a a p l i c a o do teorema do

viria1 a

uma p a r t c u l a descrevendo uma r b i t a e1 p t i c a sob a ao de uma f o r a cent r a l a t r a t i v a inversamente p r o p o r c i o n a l ao quadrado da d i s t n c i a , e dever ser f a c i lmente cornpreend i d o por qual quer estudante fami 1 i a r izado com o
formalismo h a m i l t o n i a n o da mecnica c l s s i c a e com propriedades g e r a i s do
movimento de uma p a r t c u l a num campo c e n t r a l .

2. O TEOREMA DO VIRIAL
Seja

uma funo r e a l da v a r i v e l r e a l t. O v a l o r mdio de

6 d e f i n i d o por

sempre que e s t e l i m i t e e x i s t i r . Se, por exemplo, $ f o r uma funo

peri-

d i c a e i n t e g r v e l num perodo, o 1 i m i t e e x i s t e e dado simplesmente por

onde, na expresso acima, T o o perodo de f.

Considere, agora, um sistema mecnico com n graus de liberdade
descrito pelas variveis cannicas q, p e pela hamiltoniana2 H(q,p,t).
Ento temos o
l'eorema do viria13, Se qi (t) e pi (t) forem funzs limitadas4
aH
do tempo e se os valores mdios de C pi p
aH e de C q . ezisi.irem,eni
i
i
aqi
to eles sero iguais, isto ,

L~emonstrao.Defina a funo

Como qi e p,: so funes 1 imitadas do tempo, G tambm o .

a Eq. (2.3) em relao ao tempo obtemos

Usando as equaes de Hamilton

na Eq. (2.4) resulta

Tomando o valor mdio da

Eq.

(2.6) obtemos

Diferenciando

Mas

porque o numerador l i m i t a d o (G 1 i m i t a d a ) mas o denominador cresce i n d e f inidamente. Com as dernai s h i p t e s e s do teorema 5

Eq.

(2.2),

somos

conduzidos

como queramos demonstrar.

Prdcuramos e x p l i c i t a r ao mximo, nesta demonstrao, as

hip-

teses que asseguram a v a l i d a d e do teorema, hipteses e s t a s que foram sub l i n h a d a s em seu enunciado.

3. U M APARENTE PARADOXO
Considere uma p a r t c u l a movendo-se num p l a n o sob a ao de uma
f o r a c e n t r a l a t r a t i v a e inversamente p r o p o r c i o n a l ao quadrado da d i s t n c i a origem do sistema de r e f e r n c i a i n e r c i a l (por exemplo, f o r a g r a v i t a c i o n a l ou e l e t r o s t t i c a ) . Vamos nos r e s t r i n g i r ao caso em que a e n e r g i a
t o t a l n e g a t i v a , p o i s nesta s i t u a o o movimento l i m i t a d o e p e r i d i c o ,
e as r b i t a s so fechadas (e1 i p s e s ) . A e n e r g i a p o t e n c i a l
=

da forma

k / r onde k uma c o n s t a n t e p o s i t i v a .
Em coordenadas c a r t e s i a n a s podemos escrever

Com e s t a h a m i l t o n i a n a obtemos

onde 2' 6 a e n e r g i a c i n t i c a . Por o u t r o lado

f
Mas

484

aH
q

--

ali

ax

av

av

X ~ + Y y = x ~ + Y ~

V =

av
ay

Levando e s t e s

ar = g av
r & '

dry

I timos r e s u l tados na Eq. (3.3) encontramos

S u b s t i t u i n d o (3.2) e (3.4) em (2.2)

resulta
=

que o r e s u l tado usual

<v> ,

Aparentemente o teorema do v i r i a 1 v l i d o quaisquer que sejam

as v a r i v e i s cannicas que apaream na Eq. (2.2).

P o r t a n t o vamos examinar

a mesma s i t u a o usando coordenadas p o l a r e s no l u g a r das c a r t e s i a n a s . Nest e sistema de coordenadas a hami 1 t o n iana escreve- se como

Obtemos, consequentemente ',

Da mesma forma

Levando

(9.7) e (3.8) na Eq. (2.2) vem

Comparandc, (3.9)

com (3.5)

conc lu imo5 que

Como 0 v a r i v e l c c l i c a da h a m i l t o n i a n a
mento. Para r b i t a s e l p t i c a s pg # O .

Este r e s u l t a d o , e n t r e t a n t o ,
v l o r de

( 3 . 6 ) , pg c o n s t a n t e de movi-

conclui mo^, f i n a l m e n t e , que

impossvel porque l/r2 (t)> O para qualquer

t, de modo que seu v a l o r mdio tem que ser necessariamente maior

do que z e r o . Chegamos, derite nodo, a um r e s u l t a d o aparentemente

parado-

xal.

4. A

SOLUAO DO "PARADOXO"
Examinemos mais de p e r t o as duas a p l i c a e s que fizemos do teo-

rema do v i r i a l . Observemos, em p r i m e i r o l u g a r , que as coordenadas c a r t e s i a nas so funes l i m i t a d a s do tempo porque

e r uma funo l i m i t a d a do tempo para r b i t a s e l p t i c a s . Por o u t r o lado,

como o m o v i ~ e n t o6 p e r i d i c o , v-se t r i v i a l m e n t e que os v a l o r e s medios

de

T e 7 so bem d e f i n i d o s . A concluso que o teorema do v i r i a l v1 i d o em

coordenadas c a r t e s i a n a s .
Como j

Vejamos, agora, o que acontece em coordenadas p o l a r e s .

mencionamos,

funo 1 imitada do tempo. Mas e quanto a

O?

fci

que 0 no funo l i m i t a d a do tempo, p o i s a cada v o l t a completa

p a r t c u l a executa o ngulo 6 aumenta (ou d i m i n u i ) de 27r

radianos.

q entemente o ngulo 0 c r e s c e (ou decresce) i n d e f i n i d a m e n t e com

Este r e s u l t a d o pode s e r provado a n a l i t i c a m e n t e da forma s e g u i n t e . A

o de Hami 1 t o n para 0 fornece

com po c o n s t a n t e .

Seja t > O.

Ento

1 ver

que

Consetempo.
equa-

Seja R o v a l o r mximo que r ( t ) pode assumi r ria 6 r b l t a e1 p t i c a ( e s t e pont o corresponde ao a f l i o )

para qualquer v a l o r de

S.

E e v i d e n t e , ento, que

Portanto

o que demonstra que 0 no funo l i m i t a d a do tempo. O "pardoxo

re-

s o l v i d o , ento, notando que de f a t o a Eq. (3.11) no v e r d a d e i r a

porque

o teorema do v i r i a ; no a p l i c v e l em coordenadas p o l a r e s , j que as h i pteses que asseguram a v a l i d a d e do teorema so v i o l a d a s . Na v e r d a d e a E q .

(2.2) v l i d a em qualquer sistema de v a r i v e i s cannicas no q u a l as con-

di6es de v c l i d a d e do teorema s e j a n ~s a t i s f e i t a s .
R e g i s t r e - s e que o simples f a t o de o movimento ser espacialment e l i m i t a d o no assegura que os qi, p . sejam funes l i m i t a d a s do
2

I s t o depende fundamentalmente, como acabamos de v e r ,

da

tempo.

natureza

do

s i g n i f i c a d o f s i c o das coordenadas e momentos generalizados.

Queremos s a l i e n t a r n e s t e ponto que no problema que acabamos de
i n v e s t i g a r f o i f c i 1 descobri r o e r r o em que havanos i n c o r r i d o . I s t o p o r que. no nosso caso, o problema f s i c o simples e bem conhecido,
t o r n a poSsi:vel,

de forma r e l a t i v a m e n t e simples, a v i s u l izao d i r e t a

e r r o e x i s t e n t e no r e s u l t a d o f i n a l
ordenadas p o l a r e s parece razovel

Note-se que a Eq. (3.9)

primeira v i s t a .

que

do

o b t i d a em co-

S depois da compa-

rao desta equao com a o b t i d a em coordenadas c a r t e s i a n a s que tornou-se ~ o s s v e lperceber que a Eq.

(3.9) no podia ser v e r d a d e i r a .

I s t o nos

leva a conc.luir que a s i t u a o com que deparamos c r i t i c a p o i s , se e s t i vssemos l i d a n d o com um problema f s i c o mais complexo, e se no conhecssemos a p r i o r i os r e s u l t a d o s a que deveriamos chegar, poderiamos nos def r o n t a r com r e s u l t a d o s errneos sem nos darmos conta d i s s o .

REFERNCIAS E NOTAS
1 . Ver, por exemplo, o p r e f c i o de L. I . S c h i f f , Quantum Mechanics, McGrawH i l l , New York

(1968), 3a edio.

2. Usamos "hami ltoniana",

no feminino, quando nos r e f e r i m o s

s i c a , enquanto que "hamiltonianol',

funo c l s -

no masculino, reservamos para o opera-

dor da mecnica q u n t i c a . Vide A u r l i o Buarque de Holanda F e r r e i r a ,

Novo

D i c i o n r i o da Lngua Portuguesa, Ed. Nova F r o n t e i r a (1975). Do mesmo modo

a funo de Lagrange

6 chamada de "lagrangiana",

no feminino.

Os

termos

"lagrangeana" e "lagrangeano" no e s t o r e g i s t r a d o s no Aurl i o .

3. Ver, por exemplo, H.C.Corben e P.Stehle, C l a s s i c a l Mechanics,

Wi

(1960), 2a edio, pg. 164.

4 . Uma funo r e a l f de uma v a r i v e l r e a l t d i t a l i m i t a d a se e x i s t e

If (t)1 s M para qualquer v a l o r de
pertencente ao domnio de f.
nmero r e a l no-negat i v o M t a l que

5 . Cabe r e s s a l t a r que < f + g> = <f,+ <g> s verdade se os v a l o r e s md i o s de f e g e x i s t i r e m separadamente. Examine o seguinte exemplo:

6. Ver, p o r exemplo, H. G o l d s t e i n , C l a s s i c a l Mechanics,

(i950),

Addison- Wesley

laedio, pg. 221.

7. As Eqs.

(3.2) e (3.7) poderiam ser antecipadas sem c ~ l c u l o s d i r e t o s o b -

servando que

sempre que T f o r funo homognea do segundo grau nas velocidades e V f o r

independente das velocidades.
miltonianas

(3.1) e (3.6).

E.exatamente i s t o o que o c o r r e

com as

ha-