EDUCATION Revista Mexicana de Fsica E 59 (2013) 91100 JULYDECEMBER 2013

Poincar e, la mec anica cl asica y el teorema de la recurrencia

H. N. N u nez-Y epez
Departamento de Fsica, Universidad Aut onoma Metropolitana, Unidad Iztapalapa,
Apartado Postal 55-534, Iztapalapa, D.F. M exico, 09340, M exico,
e-mail: nyhn@xanum.uam.mx
A. L. Salas-Brito
Departamento de Ciencias B asicas, Universidad Aut onoma Metropolitana, Unidad Azcapotzalco,
Apartado Postal 21267, Coyoac an D. F. M exico, 04000, M exico,
e-mail: asb@correo.azc.uam.mx
Received 28 May 2013; accepted 18 June 2013
En conmemoraci on de los 101 a nos de la muerte de Henri Poincar e hacemos un recuento de algunas de sus aportaciones a la mec anica
cl asica aderez andolo con un esbozo de su biografa acad emica. Usamos de un p endulo para ilustrar la t ecnica cualitativa para analizar las
soluciones a una ecuaci on din amica; lo empleamos tambi en, pero suponi endolo extensible, para ilustrar el uso de los mapeos de Poincar e para
diferenciar las soluciones regulares de las ca oticas, un tipo de soluciones que el mismo descubri o al estudiar el famoso problema de los tres
cuerpos. Demostramos su resultado sobre la recurrencia de las soluciones en un sistema din amico seg un el cu al toda soluci on a la que se le
exija ser tanto connada como que conserve la energa deber a de regresar despu es de un tiempo, Tr, a estar tan cerca como se quiera de sus
condiciones iniciales. Este es un resultado fundamental que debiera ser m as conocido por los estudiantes de fsica.
Descriptores: Poincar e y la mec anica cl asica; m etodos cualitativos; teorema de la recurrencia.
This work commemorates the 101
th
anniversary of Henri Poincar es death. We pinpoint his main contributions to classical mechanics while
enlivening the discussion with a brief remembrance of his academic career. We employ a physical pendulum for illustrating his techniques
for analysing properties of solutions to differential equations without actually solving them. We next use an elastic pendulum for exhibiting
how Poincar e maps allow us to distiguish the periodic from the chaotic solutions, a type of solutions which Poincar e himself discovered
while studying the famous three body problem. We also give a heuristic proof of his extraordinary recurrence theorem according to which
every bound solution of a conservative dynamical system should return, after a time, Tr, to be as close as we like to its initial conditions. We
regard this as a very important result that ought to be known by all physics students.
Keywords: Poincar e and classical mechanics; qualitative methods; recurrence theorem.
PACS: 01.65.+g; 01.55.+b
1. Introducci on
En el a no 2012 se cumpli o un siglo de la muerte de Hen-
ri Poincar e, el matem atico m as eminente de nales del siglo
XIX y principios del siglo XX, qui en leg o una vasta obra con
ramicaciones y contribuciones directas a la fsica y a otros
campos del conocimiento. Poincar e, adem as de haber hecho
contribuciones al electromagnetismo maxwelliano, es uno de
los precursores de la relatividad especial, de la teora cu anti-
ca, de la teora de los fen omenos no lineales y del caos de-
terminista, por ello se le considera uno de los fsicos te oricos
m as importantes de esa epoca [1-4].
Jules Henri Poincar e naci o el 29 de abril de 1854 en
Nancy, Francia y muri o inesperadamente el 17 de julio de
1912 en Pars como secuela de una operaci on de la que apa-
rentemente se estaba recuperando. En este trabajo, que con-
memora los 101 a nos de la desaparici on de Poincar e, nos ocu-
pamos de sus contribuciones a la mec anica cl asica. Ejempli-
camos las t ecnicas cualitativas que desarroll o para enten-
der la naturaleza de las soluciones a toda ecuaci on diferen-
cial (lo que, aplicado a la mec anica cl asica, podramos lla-
mar la mec anica cualitativa) y demostramos el sorprendente
teorema de la recurrencia, el que arma que todos los mo-
vimientos connados de sistemas que conserven la energa
se pueden considerar aproximadamente peri odicos o estables
en el sentido de Poisson, para usar la terminologa de Poin-
car e [2,3]. Este ultimo resultado es curiosamente poco co-
nocido entre los estudiantes a un entre qui enes han estudiado
mec anica cl asica avanzada.
Poincar e se gradu o de la afamada

Ecole Polytechnique en
1875, a continuaci on fue aceptado en la

Ecole des Mines, re-
cibi endose en ella como ingeniero de minas en 1879. Despu es
paso unos meses trabajando como ingeniero antes de reci-
bir el Doctorado en Matem aticas por la Universidad de Pars
en 1879 con un trabajo realizado bajo la direcci on de Char-
les Hermite. Despu es del doctorado Poincar e ense n o an alisis
en la Universidad de Caen, lugar en donde sus clases fueron
conocidas por muy desorganizadas y poco preparadas aun-
que posteriormente su ense nanza se volviera legendaria por
su calidad [2]. Poco despu es, en 1886, es nombrado Profe-
sor de Fsica Matem atica y de Probabilidad en la Facult e des
Sciences de Paris, all fu e tambi en encargado del curso de
Mec anica Fsica y Experimental y, en agosto de 1886, su-
cedi o a Gabriel Jonas Lippmann en la c atedra de Fsica Ma-
tem atica; en 1896, tras la muerte de Francois F elix Tisserand,
se le pidi o que pasase a desempe nar la c atedra de Astronoma
92 H. N. N

NEZ-Y

EPEZ AND A. L. SALAS-BRITO

Matem atica para la que no exista otro candidato. En el in-
terim, el 24 de enero de 1887 y tras la muerte de Edmond
Nicol as Laguerre, fu e elegido miembro de la Acad emie des
Sciences [1-4].
Poincar e hiz o aportaciones sustantivas tanto a las mate-
m aticas como a la fsica, sus contribuciones a esta fueron tan
importantes que fu e candidato al premio Nobel de fsica en
varias ocasiones y, seg un se cree, lo hubiera obtenido si no le
hubiese sorprendido antes la muerte [4]. Revivi o el estudio de
la mec anica celeste proponiendo t ecnicas novedosas de an ali-
sis; de aqu que se haya encontrado de frente con la enorme
complejidad que resulta de la mec anica cl asica cuando se tra-
baja con problemas que no son integrables: esto es, se encon-
tr o con los fen omenos ca oticos , los que descubri o al analizar
el problema de los tres cuerpos [2-5]. Por si los anteriores
logros fueran pocos, cre o adem as nuevos campos de investi-
gaci on matem atica como el estudio de las llamadas funciones
autom orfas o funciones fuchsianas, como el las llamaba, que
pueden ser consideradas como funciones elpticas generali-
zadas. Cre o la teora de los sistemas din amicos, la topologa
y renov o completamente a la mec anica celeste al estudiar con
gran profundidad el problema de tres cuerpos que interaccio-
nan entre si gravitacionalmente [1-3].
2. Las ecuaciones diferenciales de la mec anica
cl asica
El siglo XIX fu e el siglo en que los cientcos descubrieron
que es imposible el resolver a la abrumadora mayora de las
ecuaciones diferenciales; ello acab o con el sue no de resolver
exactamente muchos sistemas fsicos de inter esesto pare-
ci o imponer restricciones severas al avance cientco al me-
nos si este requiere de la resoluci on exacta de las ecuaciones
con las que se formulan las teoras. Poincar e entendi o esa im-
posibilidad perfectamente, pero conoca de la imperiosa ne-
cesidad de entender la naturaleza de tales soluciones a todo
tiempo pasado o futuro; algo que es fundamental, por ejem-
plo, para establecer la estabilidad del Sistema Solar.
As, primero se arm o de una batera de m etodos que no
requeran de la resoluci on previa de las ecuaciones diferen-
ciales newtonianas para el an alisis de un sistema y despues
atac o el problema de los tres cuerpos, pero no logr o avanzar
mucho. La idea era trabajar en un caso m as simple que todo
el Sistema Solarque tiene mucho m as de tres cuerpos!
del que intentaba demostrar la estabilidad; pero a un aquel
problema es demasiado complejo; as que lo simplic o a un
m as hasta llevarlo al llamado problema restringido de los tres
cuerpos; aunque este tambi en result o demasiado complejo al
menos lo llevo a descubir el caos hamiltoniano [1,4,6]. El
problema restringido de los tres cuerpos es un caso especial
del problema en el que se prepresupone que dos de los cuer-
pos giran en orbitas circulares lo cual es aproximadamen-
te cierto, por ejemplo, para el sistema Sol-Tierra-Luna y
el tercero, de masa peque na para que su efecto sobre de los
otros sea razonablemente inapreciable, se mueve en el campo
gravitacional de los primeros.
Una de las herramientas que Poincar e introduj o fue la
teora cualitativa de las ecuaciones diferenciales, la que per-
mite conocer la naturaleza de las soluciones a una ecua-
ci on diferencial sin resolverla previamente. Ilustramos lo m as
b asico de esta teora aplic andola a continuaci on al caso sim-
ple del p endulo fsico.
2.1. Mec anica cualitativa del p endulo
Seg un se ilustra en la Fig. 1, un p endulo consta de una lenteja
con una masa msujeta a un punto jo O a trav es de un hilo de
longitud l que supondremos inextensible (esto es, dl/dt = 0).
Si presuponemos que el movimiento s olo ocurre en un plano,
el sistema se podr a describir por la coordenada angular . Las
ecuaciones de movimiento del p endulo son
d
2

dt
2
=
g
l
sen(). (1)
con g la aceleraci on de la gravedad y l la longitud del p endu-
lo. Denamos el tiempo adimensional =
p
t, con
p

(g/l)
1/2
, con ello obtenemos
d
2

d
2
= sen(). (2)
Una primera integral de la Ec. (2) se puede calcular mul-
tiplic andola por d/d, simplicando e integrando para ob-
tener
1
2

d
d

2
= E + cos() (3)
con E E/(mgl) la energa expresada en forma adimen-
sional. La soluci on exacta a la Ec. (3) se puede expresar en
t erminos de una integral elptica [7]
() =
1

2E

0
dy

1 +
1
E
cos(y)
. (4)
con
0
el valor de al que se inicia el movimiento. La expre-
si on (4), aunque explcita, no resulta muy claricadora. Para
ganar en intuici on recurriremos a los m etodos geom etricos
propuestos por Poincar e.
Primero denamos d/d

para que el p endulo
quede descrito tanto por el angulo, , como por la velocidad
angular, . Con ello, convertimos la ecuaci on de segundo or-
den (2) en el siguiente sistema de dos ecuaciones diferencia-
les de primer orden
d
d
= ,
d
d
= sen(). (5)
Hacemos notar que el lado derecho de esta pareja de ecuacio-
nes dene un campo vectorial en el espacio , el llamado
espacio de las fases del sistemaque, aunque sea un espacio
de fases, no debe confundirse con el espacio de fases can oni-
co que se requiere para la descripci on hamiltoniana de
Rev. Mex. Fis. E 59 (2013) 91100
POINCAR

E, LA MEC

ANICA CL

ASICA Y EL TEOREMA DE LA RECURRENCIA 93

FIGURA 1. Un p endulo fsico con longitud l y masa m, su frecuen-
cia angular es p =

g/l, la coordenada es el angulo de oscilaci on

0 2.
la mec anica. La primera integral, esto es, la energa adimen-
sionalizada, es
E =
1
2

2
cos , (6)
ayuda en la visualizaci on al permitirnos dibujar curvas conti-
nuas a las que el campo vectorial es tangente en cada punto.
Ver la Fig. 2.
Observar las im agenes en tal Figura nos informa direc-
tamente que existen dos tipos de trayectorias. Unas, los lla-
mados movimientos de libraci on, en donde el p endulo oscila
movi endose en una direcci on hasta que se detiene en el punto
m as extremo de la trayectoria, regresa inmediatamente sobre
sus pasos hasta la posici on inicial, se detiene moment anea-
mente y el ciclo se reinicia. Otras, asociadas con los movi-
mientos llamados de rotaci on, en donde la lenteja del p endu-
lo gira sin detenerse alrededor de punto O, ya sea dextr ogira
(a la derecha) o lev ogiramente (a la izquierda). A la pareja
de trayectorias que dan la impresi on de ser una sola que se
cruza en el punto X que separa el movimiento de libraci on
del de rotaci on se les llama conjuntamente la separatriz. El
perodo del p endulo diverge cuando la energa se acerca a la
de la separatriz, seg un los lectores pueden f acilmente demos-
trar.
Noten que las soluciones se comportan seg un lo espera-
mos, esto es, la velocidad, y, nunca se acerca a o a ,
mientras que la coordenada, x, aunque siempre crezca, no
nos provoca problemas pues el crecimiento corresponde a un
angulo que debe interpretarse m odulo 2. Todas estas con-
clusiones cualitativas, que podemos obtener simplemente de
mirar la Fig. 2, no son f aciles de obtener de la soluci on ex-
plcita (4). En la misma gura se muestran tambi en puntos,
FIGURA 2. Diagrama de fases del p endulo. En la parte superior se
muestra este diagrama cuando (3, 3). La parte inferior
muestra una ampliaci on de la zona central de la Figura superior
la que muestra la zona entre y e ilustra algo del campo
vectorial asociado.
marcados como X, en el que las trayectorias parecen interse-
carse. Estos aparentes puntos de cruce (algo totalmente im-
posible pues las soluciones son unicas) corresponden a solu-
ciones extremadamente inestables de equilibrio en las que el
p endulo permanece cabeza abajo.
2.2. Del p endulo el astico y las secciones de Poincar e
Ya vimos la capacidad de an alisis que coneren los m eto-
dos geom etricos ` a la Poincar e en un problema como el del
p endulo. En tales an alisis desempe nan un papel muy impor-
tante las soluciones de equilibrio (o sea los llamados puntos
crticos) que se clasican en nodos, N, puntos de silla, S,
centros o focos, F, y que cumplen, seg un lo demostr o Poin-
car e, F + N S = 2 un resultado que es v alido cuando
se considera, como lo hiz o Poincar e, al ujo compacticado
sobre de la supercie de una esfera.
Poincar e obtuvo tambi en resultados relativos a la exis-
tencia y propiedades de los llamados ciclos lmite, que no
son m as que soluciones peri odicas a las que muchas trayec-
torias vecinas se acercan asint oticamente e introdujo el fa-
moso teorema de Poincar e-Bendixon, el que se puede usar
para demostrar que no pueden existir atractores extra nos en
Rev. Mex. Fis. E 59 (2013) 91100
94 H. N. N

NEZ-Y

EPEZ AND A. L. SALAS-BRITO

dimensionalidades menores a tres. El teorema de Poincar e-
Bendixon arma que en un sistema din amico diferenciable
denido en un subconjunto abierto del plano todo conjunto
compacto no vaco que sirva como conjunto lmite de una
orbita y que contenga un conjunto nito de puntos jos, s olo
podr a ser (1) un punto jo, (2) una orbita peri odica, o (3) un
conjunto conexo compuesto por un n umero nito de puntos -
jos y que incluya a las orbitas homoclnicas y heteroclnicas
que los conecten. Para una formulaci on visual muy clara de
este resultado v ease [8]. Este resultado permite clasicar los
comportamientos de un sistema din amico bidimensional con
un n umero nito de puntos crticos pues arma que las unicas
orbitas posibles ser an aquellas que converjan o que diverjan
a tales puntos o que converjan o diverjan a orbitas peri odicas.
Poincar e introduce otras herramientas nuevas para el
an alisis entre ellas las secciones de Poincar e las que procede-
mos a ejemplicar inmediatamente. Imaginen las orbitas en
el espacio de fases de un cierto sistena mec anico e imaginen
una cierta (hiper-)supercie que se interponga en el camino
de las trayectorias del sistema, ciertamente las trayectorias
del sistema cruzar an esta supercie pues, por hip otesis, la
secci on es transversal y no paralela al ujo del sistema, a las
huellas que dejen sobre la supercie estos puntos de cruce se
les llama una secci on de Poincar e y nos pueden dar informa-
ci on sobre la naturaleza de las soluciones a la ecuaci on dife-
rencial [8]. Para ejemplos v eanse las Figs. 4 y 5. Noten que
siempre podremos concebir un mapeo que enve los primeros
puntos de cruce a los segundos, los segundos a los terceros
y as sucesivamente, aunque garantizando siempre que todos
los cruces ocurran en la misma direcci on. A este mapeo se la
llama un mapeo de Poincar e y puede ser interpretado como
un sistema din amico discreto cuyo espacio de estados es una
dimensi on mas peque no que el del sistema din amico original.
Un mapeo de Poincar e hereda muchas de las propiedades del
sistema original y como es de menor dimensionalidad se le
usa frecuentemente para el an alisis. Noten que un mapeo de
Poincar e diere de un diagrama de recurrencia en que no es
el tiempo sino el espacio el que determina los puntos a gra-
car. Para ilustrar esto con ejemplos fsicos: consideren a las
sucesivas posiciones de la Luna cuando la Tierra est a en el
perihelio, el mapeo correspondiente puede considerarse un
mapeo de recurrencia; pero a las sucesivas posiciones luna-
res cuando esta atraviesa el plano perpendicular a la orbita de
la Tierra y que pasa por las posiciones del Sol y de la Tierra
cuando est an en el perihelio, se le puede considerar un mapeo
de Poincar e.
Para describir mejor las secciones de Poincar e, las ejem-
plicaremos en el caso del p endulo que comenzamos a estu-
diar unos p arrafos atr as. S olo que ya no consideraremos que
el p endulo est e sujeto a un hilo inextensible ya que todo hilo
se estira en mayor o menor grado; as que supongamos que el
hilo es extensible. Qu e tanto tendr a que cambiar nuestra des-
cripci on? El sistema pasar a de tener un s olo grado de libertad
a tener dos y su espacio de las fases ser a ahora de dimensi on
cuatro en vez de dos; por lo que ya no podremos visualizar
FIGURA 3. El p endulo de la Fig. 1 pero ahora hacemos evidente a
la elasticidad presente en todo hilo.
f acilmente sus trayectorias en el espacio de fases como hici-
mos antes.
Concebiremos al p endulo sujeto a un hilo extensi-
ble el que imaginaremos como un resorte con longitud
l=l
0
+mg/k, en donde l
0
es su longitud inicial en ausencia
de carga y mg/k como lo que aumenta de longitud al so-
portar la masa m de la lenteja, adem as consideraremos a k
como la constante el astica del resorte (supuesto hookiano) y
a g 10 m/s
2
, como la aceleraci on de la gravedad. V ease la
Fig. 3.
Si convenimos en localizar el origen en el punto de equi-
librio de la lenteja, dividimos todas las longitudes entre la
longitud inicial del p endulo, l
0
, dividimos todos los tiempos
que aparezcan entre el tiempo caracterstico de la oscilaci on
del resorte, 1/
s
en donde
s

k/m,
p

g/l y las
energas entre m
2
s
, obtendremos la siguiente expresi on adi-
mensional para la energa del movimiento
E =
1
2
(p
2
1
+p
2
2
) +f
2
q
2
+
1
2

1 f
2

q
2
1
+ (1 q
2
)
2

2
(7)
en donde el par ametro f que aparece en la ecuaci on anterior
lo hemos denido como el cociente entre las frecuencias an-
gulares de los movimientos de resorte y pendular del sistema,
esto es, f (
p
/
s
) =

gm/lk.
Como el p endulo extensible, con energa (7), no es reso-
luble exactamente para visualizar su din amica nos auxilia-
remos de las secciones de Poincar e. Tales secciones tendr an
que ser calculadas num ericamente puesto que no podemos
dar una soluci on exacta al problema.
Rev. Mex. Fis. E 59 (2013) 91100
POINCAR

E, LA MEC

ANICA CL

ASICA Y EL TEOREMA DE LA RECURRENCIA 95

FIGURA 4. Secciones de Poincar e de un p endulo extensible. Se
ilustra el cambio que ocurre en el sistema desde movimiento pu-
ramente regular a bajas energas E =0.033203 (Fig. 4a) a un mo-
vimiento que incluye zonas ca oticas a energas un poco mayores
E =0.15625 (Fig. 4b). Todas las secciones de Poincar e que se
muestran en este trabajo se tomaron de [9].
Elegimos el plano p
2
-q
2
como la supercie transversal en
la que se encuentran las secciones de Poincar e. Los resultados
calculados num ericamente que se muestran en las Figs. (4a)
a (5d) que van, desde una energa ligeramente superior a la
mnima (energa E =0.0332031, Fig. 4a) donde s olo la libra-
ci on es posible, hasta una energa de 1.5 (Fig. 5d), que ya se
encuentra en plena zona de movimiento rotacional [9]; esta-
mos expresando las energas en unidades de m
2
s
l
2
, esto es
en t erminos de doble de la energa de un oscilador arm onico
de frecuencia
s
y amplitud l.
En estas secciones de Poincar e se puede notar que, a
energas muy cercanas al mnimo, los puntos de cruce con la
supercie transversal se pueden unir por curvas suaves, esto
corresponde a orbitas cuasiperi odicas del sistema; se alcanza
a adivinar la posible existencia de cuatro orbitas peri odicas
en cada uno de los cuadrantes de las secciones (o sea, de cua-
tro puntos aislados en el centro de las curvas cerradas que se
muestran) al menos a la energa E = 0.033203 (Fig. 4a). A
FIGURA 5. M as secciones de Poincar e del p endulo extensible. La-
Figura ilustra el cambio que ocurre en el sistema desde el movi-
miento totalmente ca otico a una energa E =0.4375 (Fig. 5c) hasta
que, al aumentar la energa el movimiento regresa a ser puramente
regular (Fig. 5d).
energas intermedias (E =0.15625 en la Fig. 4b), ha apareci-
do una zona de la supercie ocupada por trayectorias irre-
gulares, lo que vemos como una mancha de puntos que
aparentan estar elegidos al azar; adem as han desaparecido al-
gunas de las curvas suaves formadas por intersecciones con
la supercie transversal. Se dice que tal mancha est a habi-
tada por los cruces de trayectorias ca oticas (las que se mue-
ven con extrema irregularidad) con la supercie transversal.
A un as existen zonas de movimiento regular que tienen en
el centro a al menos una orbita peri odica, esto contin ua hasta
que a E =0.4375 la regi on ca otica alcanza su mayor exten-
si on. Cuando aumentamos a un m as la energa la zona ca otica
comienza a disminuir hasta que, para E = 1.5, ha pr actica-
mente desaparecido del todo; todas las orbitas son de nuevo
cuasiperi odicas seg un lo muestra la Fig. 5d. Tal comporta-
miento persiste a energas cada vez m as grandes hasta que las
trayectorias ca oticas desaparecen del todo y lo unico que que-
da es la rotaci on con una peque na vibraci on superpuesta que
casi no perturba a aquel movimiento. Este comportamiento
queda ilustrado en los mapeos de Poincar e correspondientes
a la Fig. 5d. N otese que las guras mencionadas ilustran a la
Rev. Mex. Fis. E 59 (2013) 91100
96 H. N. N

NEZ-Y

EPEZ AND A. L. SALAS-BRITO

perfecci on como los mapeos de Poincar e permiten distinguir
las soluciones regulares a las ecuaciones de movimiento de
las soluciones irregulares a las que llamamos ca oticas.
En este punto conviene detenernos un momento a explicar
que la aparici on del caos determinista es producido por tra-
yectorias muy irregulares que son aparentemente azarosas;
y que sin embargo, a pesar de las apariencias, las trayecto-
rias son totalmente deterministas pues se obtienen de resol-
ver las ecuaciones de Hamilton (o de Newton o de Lagrange,
todas son equivalentes) para el problema. Estas trayectorias
son completamente diferentes de las que se podran obtener
del azar genuino. La irregularidad evidente en las gr acas
est a asociada a la imposibilidad de predecir con toda pre-
cisi on la evoluci on futura del sistema, lo que es una carac-
terstica esencial del caos determinista, aunque tal evoluci on
est e totalmente determinada de antemano. Para repetir una
denici on cl asica, el caos determinista aparece debido a la
sensibilidad extrema que muestran muchos sistemas ante pe-
que nsimos cambios en las condiciones iniciales [8,9].
C omo entender tal comportamiento? Podemos decir que
el movimiento ca otico es producido por la compleja inte-
racci on que se da entre el movimiento rotacional y el osci-
latorio, el que, a energas relativamente bajas y dada la falta
de espacio de fases suciente, provoca oscilaciones irregula-
res que se montan sobre las pendulaciones que son tambi en
irregulares, dando lugar a amplias zonas ca oticas y dejando
a las trayectorias regulares con muy poco espacio disponi-
ble. Al aumentar a un m as la energa aparece la posibilidad
de girar completamente lo que ofrece menos restricciones
al movimiento por lo que la zona ca otica comienza a desa-
parecer aumentando de nuevo el espacio disponible para las
orbitas regulares. A energas sucientemente altas el p endu-
lo comienza a girar alrededor del punto de suspenci on y el
efecto del movimiento oscilatorio poco afecta a tal rotaci on.
De hecho, un c alculo simple indica que el movimiento ca oti-
co comienza a desaparecer cuando la energa rebasa el valor
1.5, que es la energa de la separatriz esto es la energa a la
que comienzan a ser posibles los giros del p endulo alrededor
de su punto de sujeci on correspondiente a un p endulo de
longitud ja.
3. El teorema de la recurrencia
Demostraremos ahora un resultado de Poincar e que no s olo
es muy importante sino tambi en inesperado puesto que hace
de las trayectorias connadas de un sistema din amico conser-
vativo cualquiera algo parecido a orbitas peri odicas.
El teorema de la recurrencia de Poincar e arma que da-
das cualquier par de condiciones iniciales, P
1
y P
2
, para
las orbitas connadas en un sistema din amico conservativo
y dada una distancia ja R
0
|P
1
P
2
|, entonces, sin im-
portar las interacciones a que est en sujetas las partculas, la
din amica misma del sistema eventualmente las llevar a a una
distancia, D
r
, entre ellas, que sea menor o igual que R
0
. Un
caso simple de la recurrencia ocurre cuando el sistema regre-
sa a su estado inicial sin tener antes que recorrer todo el espa-
FIGURA 6. La paradoja de la recurrencia. Si dejamos salir gas de
un recipiente cerrado y esperamos lo suciente, seg un el teorema
de la recurrencia el gas se concentrar a de nuevo en el recipiente.
Esto nunca ha sido observado pero tal vez se trate de que no es-
peramos el tiempo necesario.
cio de fases a su disposici on; ello ocurre en los sistemas pe-
ri odicos y en tal caso el tiempo de recurrencia es el perodo
del sistema. Tambi en hay sistemas que recorren todo o, al
menos una buena parte, del espacio de fases que tienen dis-
ponible; a estos se les llama sistemas erg odigos para usar el
t ermino propuesto por Boltzmann [6-10].
Lo que el teorema de la recurrencia signica es que cual-
quier sistema din amico con una cantidad ja de energa y
connado a un volumen nito, tendr a que regresar, tras un
tiempo lo sucientemente grande, a un estado arbitrariamente
pr oximo a su estado inicial. Este resultado contradice directa-
mente las hip otesis en que se basa la mec anica estadstica, por
ello es conocido como la paradoja de la recurrencia, pues la
mec anica estadstica presupone el comportamiento puramen-
te aleatorio en la din amica, al menos en el lmite de tiempos
muy grandes, en sistemas de muchos cuerpos en directa con-
tradicci on con algo que es muy parecido al comportamien-
to peri odico. Esta contradicci on entre los fundamentos de la
mec anica estadstica y el teorema de la recurrencia fue for-
mulada por E. Zermelo y ocasion o una discusi on muy intensa
con L. Boltzmann [11,12].
Para entender mejor la naturaleza de esta supuesta para-
doja recurramos a un ejemplo especco: Imaginen una caja
que contenga tanto a un gas como a un espacio vaco separado
del gas por una pared, como ilustramos en la Fig. 6. Si perfo-
ramos la pared el gas escapar a, seg un es experiencia com un;
pero el teorema de la recurrencia nos asegura que de esperar
Rev. Mex. Fis. E 59 (2013) 91100
POINCAR

E, LA MEC

ANICA CL

ASICA Y EL TEOREMA DE LA RECURRENCIA 97

FIGURA 7. Al meter una hebra muy larga en estricto, innita
de deo dentro de una caja de volumen nito, el tubo de deo even-
tualmente regresar a, despu es de muchos dobleces y de recorrer los
m as posible del espacio disponible, a estar muy cerca del lugar en
donde empez o su recorrido.
el tiempo apropiado el gas se reincorporar a espont aneamente
a su espacio original. Dicho en t erminos cotidianos, un pe-
que no agujero en un tanque de gas no debiera ser motivo
de preocupaci on ya que bastar a que esperemos un tiempo,
T
r
, para que el gas perdido en la atm osfera se acumule de
nueva cuenta en el tanque! Se podra arg uir que nunca se ha
observado tal cosa. Entonces, c omo resolver esta aparente
contradicci on entre lo que observamos cotidianamente y el
resultado de Poincar e? B astenos para ello recurrir a c alculos
aproximados que se han realizado del tiempo de recurrencia
para percatarnos de que en una situaci on gen erica, como el
ejemplo del tanque estacionario, T
r
es de aproximadamen-
te 10
30
a nos [10, 13, 14], tiempo que es mucho mayor que
los 10
10
a nos de la edad del universocalculada a partir de
los datos obtenidos por la sonda Wilkinson Microwave Ani-
sotropy Probe (WMAP) que fue lanzada el 30 de junio de
2001 [15].
Pero, en muchos casos T
r
es f acilmente calculable y de
una magnitud muy razonable desde un punto de vista huma-
no. Puede corresponder al perodo de un oscilador armonico
en donde T
r
= 2

m/k, con m la masa del cuerpo osci-

lante y k la constante el astica del resorte. Si usamos valores
para la masa y la constante de, digamos 250 g = 0.25 kg y
k = 10 newton/m, obtendremos un tiempo de recurrencia
perfectamente observable de casi un segundo.
3.1. Demostraci on del teorema de la recurrencia
La demostraci on que daremos se basa en dos supuestos b asi-
cos:
1. que las trayectorias en el espacio de fases nunca se cru-
zan y
2. que el volumen de cualquier regi on del espacio de fa-
ses se mantiene constante bajo la acci on de la din ami-
ca [16].
La demostraci on heurstica del teorema de la recurrencia es
muy simple:
Imaginen una vecindad, a la que llamaremos , de cual-
quier punto en el espacio de las fases, si concebimos a todos
los puntos en este conjunto como condiciones iniciales po-
dremos seguir su evoluci on conjunta bajo la din amica del sis-
tema; as, al evolucionar, denir a una regi on tubular a la que
llamaremos un tubo de trayectorias,
t
, que recorrer a todo el
espacio de fases disponible pero que nunca podr a cruzar re-
giones ya visitadas las trayectorias en el espacio de fases
nunca se cruzan! de aqu que el volumen disponible para
el recorrido decrezca continuamente y como, por hip otesis,
el volumen es limitado y nito al mismo tiempo, todo el es-
pacio de fases accesible tendr a que recorrerse eventualmente
de manera completa s olo imaginen una hebra de deo de
longitud innita a la que quieran guardar en un recipiente de
volumen limitado, ver la Fig. 7 entonces, no le quedar a a

t
m as que volver a dirigirse hacia la regi on inicial. Noten
que nada de lo que hemos dicho requiere que cada trayecto-
ria individual se acerque tanto como lo queramos a su propia
condici on inicial ya que estar a completamente mezclada con
otras dentro del tubo. Por ello, la recurrencia es s olo aproxi-
mada y estar a limitada por el di ametro de
t
. Para obtener
un mayor acercamiento al inicio necesitaremos recurrir a tu-
bos cada vez mas delgados, pero ello conducir a a tiempos de
recurrencia m as y m as grandes.
La prueba informal anterior puede generar preguntas so-
bre si realmente se ha demostrado algo o no. Ello porque sa-
bemos que un sistema ca otico tiene sensibilidad extrema ante
peque nas variaciones en las condiciones iniciales as que la
trayectoria original y las trayectorias vecinas, aunque sean
cercansimas, divergir an exponencialmente. El deo se des-
parramar a por todos lados y nuestra prueba, al no poder su-
poner un tubo unico e indivisible durante todo el recorrido,
colapsar a. Para evitar suspicacias de este tipo decidimos ofre-
cer una demostraci on un tanto m as formal del resultado la
que pueden encontrar en el Ap endice 1. Por otro lado, tal vez
alg un lector avezado pueda arreglar la prueba heurstica para
que no se puedan dar en su contra argumentos como los que
expusimos. Agradeceramos que nos comunicasen de sus es-
fuerzos en este sentido. Una demostraci on diferente se puede
encontrar en el libro de Arnold [17].
Se ha establecido que las trayectorias de un sistema en
que la energa se conserva y en el que las trayectorias se res-
tringen a valores nitos de las coordenadas, pasa en repetidas
Rev. Mex. Fis. E 59 (2013) 91100
98 H. N. N

NEZ-Y

EPEZ AND A. L. SALAS-BRITO

ocasiones un n umero innito de veces tan cerca como
se quiera de sus condiciones iniciales. Uno puede calicar
a este resultado de admirable y puede preguntarse c omo se
le ocurri o a Poincar e demostrar esto? Lo que podemos co-
legir es que el teorema de la recurrencia es resultado de la
frustraci on de Poincar e ante la imposibilidad de demostrar la
estabilidad del sistema solar. Esta frustraci on est a claramen-
te expresada en su artculo Sur le probl` eme des trois corps
et les equations de la dynamique [18], por el que gan o el
Premio convocado por el Rey Oscar II de Suecia para qui en
demostrara la estabilidad del sistema solarlo que ni Poin-
car e ni nadie han logrado demostrar hasta la fecha. El pre-
mio se le otorg o a Poincar e en 1889 y provoc o un esc andalo
may usculo en crculos cientcos por la incompletez, que al-
gunos interpretaron como indicativo de falta de validez de las
demostraciones de algunos de los resultados [3]y algunos
resultados eran ciertamente incorrectos en la versi on que ini-
cialmente envi o Poincar e. Las correcciones que Poincar e tu-
vo que realizar lo llevaron directamente al descubrimiento del
caos hamiltoniano [1, 4].
Hemos logrado demostrar el teorema de la recurrencia, el
que establece las condiciones bajo las cuales un movimiento
puede considerarse, como Poincar e lo llamaba, estable en el
sentido de Poisson. El teorema de la recurrencia no hace re-
ferencia alguna al tiempo en el que tal recurrencia deba ma-
nifestarse y tales tiempos pueden ser muy importantes. Los
tiempos de recurrencia han sido calculados aproximadamen-
te y podemos decir que para sistemas gen ericos de inter es
son mucho mayores que la edad del universo. Aunque hay
sistemas en que el tiempo de recurrencia es peque no y se
puede ajustar a nuestro antojo, como es el caso de perodo
del p endulo de un reloj. El resultado sobre la recurrencia fue
obtenido por Poincar e durante sus investigaciones sobre del
problema de los tres cuerpos y se le puede considerar una
suerte de premio de consolaci on que Poincar e se di o a si mis-
mo al no poder establecer su estabilidadtal vez por ello
llam o a tales sistemas estables en el sentido de Poisson.
4. Conclusiones
La utilidad de muchas de las ideas de Poincar e en la ciencia
contempor anea deben ser bastante evidentes pues, para poner
s olo un ejemplo, c omo podramos imaginar el an alisis de un
sistema din amico bidimensional desconocido sin el apoyo de
las secciones de Poincar e? Y que decir del fascinante teorema
de la recurrencia que provoca en la mente retintines similares
a los causados por la idea, b asicamente religiosa, del eterno
retorno pero con la cual no tiene relaci on alguna. Se ha de-
mostrado un resultado semejante en la teora cu antica [19],
a saber, que el vector de estado de un sistema cu antico con-
nado ha de regresar despu es de un tiempo a estar tan cerca
como se quiera del vector estado inicial. El enunciado del que
podramos llamar teorema de la recurrencia cu antico es: en
un sistema que posea un conjunto discreto de estados pro-
pios
n
, n = 1, 2, . . . ; si
s
(t
0
) es uno de estos estados al
tiempo t
0
y es un n umero positivo cualquiera, siempre exis-
tir a un tiempo t
1
> t
0
tal que el m odulo de la diferencia
||(t
1
) (t
0
)|| sea m as peque na que ; el m odulo es el
usual para estados cu anticos.
Hacemos notar otra vez que al an alisis ` a la Poincar e de
sistemas mec anicos se le podra llamar mec anica cl asica cua-
litativa, la que, creemos, debera enfatizarse m as en los cur-
sos de mec anica tanto para cientcos como para ingenieros.
Es de notarse tambi en que aunque Poincar e fuera uno de los
pilares de las matem aticas en el momento en que estas co-
menzaron su camino denitivo a la abstracci on, el mismo
era eminentemente intuitivo. Le disgustaba un tanto la for-
malidad y nunca se preocupaba mucho por ella. Crea que
el camino para la invenci on no poda hallarse en la l ogica y
que esta s olo deba servir para establecer la verdad de una
armaci on y delimitar los alcances de las ideas. Quiz a Poin-
car e haya sido tambi en el ultimo matem atico capaz de mo-
verse a sus anchas por toda la complicada estructura que for-
man las matem aticas y sus interrelaciones con la fsica y con
otras ciencias [15]. Pero las armaciones anteriores sobre
de Poincar e y su relaci on con la formalidad no deben inter-
pretarse como sugiriendo que el menospreciara las demostra-
ciones; no, las reconoca como el ingrediente fundamental de
las matem aticas y aunque fuese intuitivo saba perfectamente
que las matem aticas no se pueden basar en la intuici on pues
esta conduce muchas veces a resultados incorrectos [2]. Estas
consideraciones tambi en pueden aplicarse a la fsica aunque
esta sea una ciencia experimental; la pura intuici on puede
conducir a resultados err oneos y es siempre necesario con-
trastarla con los resultados experimentales. La realidad es el
unico arbitro de validez en la ciencia.
Poincar e fu e uno de los grandes pensadores de la histo-
ria y fu e uno de los cientcos m as importantes de nales
del siglo XIX y de principios del siglo XX. Basta conocer
de sus aportaciones a la mec anica cl asica, de su contribu-
ci on al desarrollo de las ideas que llevaron a la relatividad
y a las que determinaron el desarrollo de la teora cu antica,
de su desarrollo de la teora cualitativa de las ecuaciones di-
ferenciales y de conocer el teorema de la recurrencia el
que demostramos en este trabajo para quedar plenamente
convencidos. Para concluir mencionamos una de las peculia-
ridades de esta historia: ni Poincar e ni Einstein parecen haber
reconocido la genialidad de las ideas del otro. Ni siquiera co-
nocemos evidencia de que hubiesen intercambiado palabras,
mas all a de las cortesas habituales, en los Congresos Solvay
en los que coincidieron; eso a pesar de que Poincar e estuvo
cerca de desarrollar la relatividad especial, de que trabaj o en
problemas relacionados con la invariancia de las ecuaciones
de Maxwell, de que public o penetrantes an alisis acerca del
problema del tiempo y de que particip o en las discusiones
acerca de las ideas cu anticas en desarrollo en esos momen-
tos [4, 20].
Agradecimientos
Este trabajo est a dedicado a la memoria del Profesor Loren-
zo Salas Canto (M erida Yucat an, mayo 31 de 1920M erida
Rev. Mex. Fis. E 59 (2013) 91100
POINCAR

E, LA MEC

ANICA CL

ASICA Y EL TEOREMA DE LA RECURRENCIA 99

Yucat an, agosto 20 de 2012). Tambi en agradecemos los co-
mentarios del Dr. Didier Sols Gamboa de la Facultad de Ma-
tem aticas de la UADY y los de nuestros queridos amigos P.
R. Schwartz, E. Quita, P. C. Zeus, S. D. Micha, F. C. Neko,
G. O. Hatul, C. M. Lince, U. C. Mis, N. Siam, M. Kuroi y M.
S. Pelusa.
A. Ap endice
A.1. Una demostraci on m as formal del teorema de la re-
currencia
La demostraci on que ofrecemos aunque parezca muy formal
no lo es tanto pues hay armaciones que damos sin demos-
traci on y no intentamos demostrarlas.
Vamos a considerar un sistema independiente del tiempo,
o aut onomo, que toma la forma gen erica
x = G(x) (A.1)
en donde tanto G, como x pueden ser objetos de m as de una
componente (vectores, por ejemplo) y x representa la deri-
vada de x respecto del tiempo t que, de ser necesario, po-
dramos considerar como cualquier otro par ametro. Supon-
dremos tambi en que, debido a la din amica inducida por (A.1),
el ujo G() donde es la regi on iniciallo que llamamos
un tubo en la secci on donde demostramos heursticamente
el teorema de la recurrencia que mantiene constante su vo-
lumen durante toda la din amica. Podramos decir que el ujo
inducido por la din amica es incompresible, resultado que es
conocido en la mec anica hamiltoniana como el teorema de
Liouville [16]. Tambi en supondremos que la regi on que nos
interesa (la regi on tubular de la que hablamos) est a comple-
tamente sellada, ninguna trayectoria escapa o se a nade a ella.
Noten tambi en que en este ap endice hablamos algunas veces
de partculas y sus trayectorias cuando debi eramos decir con-
diciones iniciales y trayectorias que surgen a partir de ellas.
Entonces, sea A una regi on cualquiera contenida en , el
espacio de fases del sistema y es un subconjunto abierto
esto es, que no incluye a su fronteraen el, si su volumen,
o medida como m as formalmente se le llama, es V

, enton-
ces, sin importar su peque nez, siempre existir an trayectorias
originadas en que regresar an a el cruz andolo una innidad
de veces; o, dicho de otra forma, que dado un valor t
1
cual-
quiera siempre existen valores t

> t
1
tales que el sistema se
encuentra de nuevo en a tal tiempo.
Sea
1
el conjunto abierto ocupado por las partculas que
salen de la regi on pero observadas a un tiempo espec-
co, > 0, posterior, i.e.
1
= G

(); de
1
diremos que
es el -sucesor de , mientras que de diremos que es el -
antecesor de
1
. As podemos denir los conjuntos
l
con un
n umero natural mayor que 1. Noten que todos los
i
i 1,
son tambi en conjuntos abiertos. Ahora, si N es tal que N es
m as grande que el cociente entre sus medidas, V
A
/V

, las re-
giones
k
no podr an ser, todas, disjuntas entre s; al menos
una pareja, digamos, la
i
y la
j
, tendr a una intersecci on,
, que no ser a vaca, y estar a denida por =
i

j
= ;
supondremos que tiene medida diferente de cero.
Debe ser claro que una vez especicado , el conjunto

1
queda, al dar , unvocamente determinado y que dado ,
tambi en queda determinado. Mas a un, toda partcula que
est e en al tiempo inicial, estar a en
1
al cabo del tiempo
y viceversa. Ahora elijamos los 2, 3 . . . , n-antecesores de
a los que llamaremos
2
,
3
, . . . ,
n
; todos ellos tendr an,
por el teorema de Liouville, el mismo volumen o medida, M
y estar an contenidos en . Ahora, si N es tal que N es m as
grande que el cociente entre sus medidas, V
A
/V

, las regio-
nes
k
no podr an ser, todas, disjuntas entre s; al menos una
pareja, digamos, la
i
y la
j
, tendr a una intersecci on que no
ser a vaca,
i

j
= = . Vamos a suponer adem as que
no tiene medida cero. Los conjuntos
i
y
j
tendr an a una
cierta regi on en com un, y, recuerden, su medida, V , ser a di-
ferente de 0 por denici on. Podemos ahora colegir que tanto
como
p
(con p > 1) tienen un antecesor con la misma
medida, V , ya que esta medida es invariante por el teorema
de Liouville [16, 17].
Quod erat demonstrandum.
1. I. Ekeland, Mathematics and the unexpected (University of Chi-
cago Press, Chicago USA, 1988).
2. E. Charpentier,
`
E. Ghys, A. Lennick (Eds.) The Scientic Le-
gacy of Poincar e (American Mathematical SocietyLondon
Mathematical Society, London UK, 2010).
3. F. Verhulst, Henri Poincar e (SpringerVerlag, Berlin, 2012).
4. J. Gray, Henri Poincar e, A Scientic Biography (Princeton Uni-
versity Press, Princeton USA, 2013).
5. E. Toulouse, Henri Poincar e (Flammarion, Pars, 1910).
6. H. Poincar e, Les m ethodes nouvelles de la m ecanique c eles-
te tres vol umenes publicados en Paris entre 1892 y 1899 por
Gauthier-Villars et ls.
7. I. S. Gradshtein, I. M. Ryzhik, Table of Integrals, Series, and
Products (Academic Press, New York USA, 1965) Chapter 5.
8. R. H. Abraham y J. E. Marsden, Dynamics: The geometry of
behavior (Addison-Wesley, New York USA, 1992). p. 361.
9. H. N. N u nez-Y epez, Regularidad y caos en sistemas din amicos
(FC-UNAM, Cd. de M exico, 1990).
10. J. L. Lebowitz y O. Penrose, Physics Today 26 (1973) 23.
11. E. Zermelo, Collected Works / Gesammelte Werke, Vol. I,
Springer, Berln, (2010); Vol II, Springer, Berln, (2011), editor
principal, Heinz Dieter Ebbinghaus; editores asociados: Akihi-
ro Kanamori, Craig G. Fraser, Enzo de Pellegrin (Traductor).
12. V. S. Steckline, Am. J. Phys. 51 (1983) 894.
13. M. D. Boshernitzan, Inventiones Mathematicae 113 (1993)
617.
Rev. Mex. Fis. E 59 (2013) 91100
100 H. N. N

NEZ-Y

EPEZ AND A. L. SALAS-BRITO

14. D. N. Page in S. A. Fulling, Heat Kernel Techniques and Quan-
tum Gravity. Discourses in Mathematics and its Applications
(Texas A & M University, College Station USA, 1993) p. 461.
15. D. Komatsu et al., Ap. J. Supp. Ser. 180 (2009) 330.
16. L. D. Landau y E. M. Lifshitz, Mechanics (Pergamon Press,
New York USA, 1976). p. 146.
17. V. I. Arnold, Mathematical Methods of Classical Mechanics,
(Springer Verlag, New York USA, 1978).
18. H. Poincar e, Acta Mathematica 13 (1890) A3-A270.
19. P. Bocchieri y A. Loinger, Phys. Rev. 107 (1957) 337.
20. P. Galison, Einsteins clocks, Poincar es maps (W. W. Norton,
New York USA, 2003).
Rev. Mex. Fis. E 59 (2013) 91100