18 HI PTESI S / APUNTES CI ENT FI COS UNI ANDI NOS

Mecnica estadstica,
topologa y el sonido del tambor
Aldemar Torres / Gabriel Tllez
19
Plasma, un sistema de Coulomb.
http://www.mit.edu/~johanna/europe/edinburgh/plasma.jpg
20 HI PTESI S / APUNTES CI ENT FI COS UNI ANDI NOS
Los fenmenos qumicos, presentes en todas nuestras
actividades cotidianas y gracias a los cuales es posible la
existencia tal como la conocemos, consisten en la reor-
ganizacin de las partes constituyentes de la materia: las
molculas y los tomos. Estos a su vez estn compues-
tos de partculas cargadas elctricamente. Generalmente
estos constituyentes microscpicos son elctricamente
neutros. Sin embargo, es posible que fenmenos fsicos
o qumicos produzcan partculas con carga neta diferen-
te de cero. El escenario de tales sistemas a nivel micros-
cpico es el de muchas partculas interactuando mediante
la fuerza electrosttica de Coulomb. En este artculo dis-
cutimos algunas propiedades de estos importantes sis-
temas, en particular propiedades que dependen de su
forma, o ms precisamente de su topologa, lo cual nos
permitir encontrar una relacin interesante entre estos
sistemas, tan comunes en nuestras vidas, con concep-
tos matemticos que podran pa-
recer lejanos a nuestra realidad.
> Un poco de topologa
Desde nuestra niez hemos esta-
do familiarizados con las formas
del mundo que nos rodea. Es as
como aprendemos que un trin-
gulo es diferente a un crculo y
estos a su vez son diferentes de
un cuadrado. Probablemente, de
observaciones tan obvias como
estas surgi lo que conocemos
como la geometra euclidiana. Sin
embargo, no toda la matemtica
est sustentada en observaciones
como esas. Por ejemplo, para la
topologa, el nmero de lados o
ngulos de un tringulo no son
relevantes, lo que importa son
aquellas propiedades de la figura
que permanecen inalteradas bajo
deformaciones. Es as como en el
sentido topolgico, un tringulo,
un crculo y un cuadrado son
equivalentes.
Por esta razn, John L. Kelley, un cono-
cido matemtico del siglo XX, sola refe-
rirse a los toplogos como matemticos
que no conocen la diferencia entre una
donut o rosquilla y una taza de caf [1].
Afortunadamente esta diferencia es ob-
via en lo concerniente a la vida prctica a nadie le gus-
tara masticar su tasa de caf mientras agita el azcar de
su rosquilla caliente!, sin embargo, el concepto de iden-
tidad topolgica no est tan lejos de nuestra realidad fsi-
ca como podra pensarse. En este artculo veremos un
ejemplo de cmo la igualdad de dos sistemas, en el sen-
tido topolgico, hace que ellos posean caractersticas si-
milares en una propiedad fsica: su energa, que es
susceptible de ser medida. Pero antes, permtanos el lec-
tor plantearle un pequeo acertijo topolgico:
Considere las estructuras de la figura 1, hechas de esfe-
ras conectadas por bandas elsticas. Cules de ellas son
topolgicamente equivalentes? Encuentre las respuestas
al final del artculo.
Un invariante topolgico, es una cantidad que se mantie-
ne invariante bajo transformacio-
nes topolgicas, es decir, bajo
deformaciones elsticas que
mantienen la proximidad entre
puntos vecinos [2]. Transforma-
ciones como estas nos permiten
convertir una en otra las estruc-
turas topolgicamente equivalen-
tes de la figura 1, y la forma de la
tasa llena de caf de nuestro
ejemplo anterior en una donut. En
dos dimensiones, el invariante to-
polgico ms importante se co-
noce como el nmero de Euler y
se denota por la letra griega
(chi). As, dos figuras topolgi-
camente equivalentes comparten
el mismo nmero de Euler. La de-
finicin de este nmero es muy
sencilla [1,5]:
=2-(2 x nmero de asas o aga-
rraderas)-(nmero de bordes).
Por ejemplo, una esfera no tiene
bordes y tampoco asas. Por otro
> Mecnica estadstica,
topologa y el sonido del tambor
Aldemar Torres / Gabriel Tllez
Figura 1.
Equivalencia topolgica
21
lado, la donut de nuestro ejemplo no
tiene bordes pero tiene una agarra-
dera y su nmero de Euler es cero, el
mismo que el de una taza llena de
caf, la cual tambin tiene una aga-
rradera. Como ejercicio, podra el
lector encontrar el nmero de Euler
de los siguientes objetos de la figura
2? Encuentre las respuestas al final
del artculo.
> Un poco de mecnica estadstica
Ya sea por razones culinarias o cien-
tficas, todos algunas vez en la vida
hemos realizado la simple tarea de
disolver sal en agua. Pero en qu
consiste el proceso de disolucin?
Consideremos un cristal de sal, re-
cordemos que este slido est forma-
do por tomos de sodio y tomos de
cloro. Recordemos tambin que el
agua es un compuesto polar, es de-
cir que sus molculas tienen un ex-
tremo positivo y otro negativo.
Cuando un cristal de cloruro de sodio
es introducido en el agua, se produ-
ce una interaccin entre las molcu-
las de agua y los tomos del slido,
de forma tal que estos ltimos tien-
den a separarse. Los tomos de cloro
quedan con una carga neta negativa
que atrae la parte positiva de las mo-
lculas de agua. Similarmente los to-
mos de sodio, que quedan con un
exceso de carga positiva, atraen la
Figura 2.
Objetos con asas y bordes,
para calcular su nmero de Euler
1
2
3
4
5
parte negativa de las molculas de
agua, producindose as una solu-
cin de iones como se muestra en
la figura 3.
Se dice entonces que los iones han
quedado solvatados, es decir rodea-
dos por las molculas del solvente.
En el caso particular del agua, se dice
que los iones han quedado hidrata-
dos. Tal solucin de iones es un ejem-
plo de lo que en qumica se conoce
como electrolito [3]. A causa de la di-
ferencia en la carga elctrica, los io-
nes interactan entre s mediante la
fuerza de Coulomb. Los electrolitos
y otros sistemas fsicos formados por
muchas partculas que interactan
mediante una fuerza de este tipo se
conocen genricamente como siste-
mas de Coulomb. En esta denomina-
cin se incluyen adems los plasmas.
Estos son gases tan calientes que a
causa de la agitacin trmica sus mo-
lculas se rompen producindose io-
nes con diferente carga elctrica.
Veamos ahora cmo nuestra simple
solucin de sal en agua es en reali-
dad un sistema fsico asombrosa-
mente complicado. Supongamos que
disolvemos una cucharada de sal co-
mn, aproximadamente 20 gramos.
Como el peso molecular de la sal es
58.44 g/mol, en tal cantidad de agua
Figura 3.
Solvatacin de NaCl
22 HI PTESI S / APUNTES CI ENT FI COS UNI ANDI NOS
debe haber aproximadamente
1
3
6 10
23
( ) molculas, que al
hidratarse producen el mismo nmero de iones de sodio
y otros tantos de cloro. Suponga ahora el lector que se
dedicara toda su vida a contar y trabajara a toda veloci-
dad, desde la edad que aprendi a contar hasta la edad
de su retiro, sesenta y cinco aos. Sera considerado una
estrella si alcanza a la cifra de 2 x 10
9
. Ahora, suponga
que toda la humanidad, aproximadamente 7 x 10
9
perso-
nas se dedican a contar. Para alcanzar a contar uno por
uno los iones de nuestra solucin, en el rgimen laboral
tendra que cambiarse la edad de jubilacin a 6500.000
aos, lo cual seguramente disgustara a muchos sindica-
tos. Pero eso no es todo, recuerde el lector que cada ion
interacta con todos los dems iones de la solucin me-
diante la fuerza de Coulomb. As que si quisiramos en-
contrar las ecuaciones que gobiernan el movimiento del
sistema tendramos que sumar
fuerzas. Aqu hemos multiplicado por un factor
1
2
para
no contar dos veces la misma fuerza.
Obviamente ante semejante cifra tan monstruosa las leyes
de la mecnica newtoniana o el poder de las computado-
ras son intiles. Este tipo de problemas dieron origen a lo
que se conoce como mecnica estadstica. En esencia, la
mecnica estadstica nos permite hacer indirectamente
tales sumas. En el mundo macroscpico la suma de ese
gran nmero de fuerzas se manifiesta como la presin y
tensin superficial del sistema. Cantidades como estas
se conocen como propiedades termodinmicas y son la
resultante a nivel macroscpico de las complicadas inte-
racciones que ocurren a nivel microscpico en la materia.
Aunque la mecnica estadstica es una herramienta po-
derosa, para poder encontrar las propiedades termodi-
nmicas de nuestra solucin de sal en agua, es necesario
introducir simplificaciones al problema. Es posible de-
mostrar que si la concentracin de los iones es suficien-
temente baja, de forma tal que la energa de agitacin
trmica de los iones sea mayor que la energa de interac-
cin electrosttica, los iones ya no interactan todos entre
s sino nicamente con sus vecinos ms cercanos. Tal
rgimen se conoce como el rgimen de Debye-Hckel.
En este, cada partcula del sistema crea alrededor de s
una nube de iones de carga opuesta que apantallan la
interaccin de Coulomb limitndola a los iones de la nube.
As, un ion que se encuentre fuera de sta prcticamente
no sentir la presencia del ion apantallado.
Esta nube de apantallamiento es en realidad muy difusa
a causa de la agitacin trmica de los iones. Su tamao
promedio se conoce como longitud de Debye y se sim-
boliza l
D
. Esta es una cantidad muy importante en la
mecnica estadstica de los fluidos inicos y puede va-
riar considerablemente dependiendo de la temperatura,
la concentracin y la carga de los iones [4]. Como todos
estos parmetros son fciles de controlar en el laborato-
rio, la longitud de Debye es tambin una cantidad muy
importante en fsica experimental. Como veremos a con-
tinuacin, los sistemas con distintas longitudes de Debye
muestran marcadas diferencias en sus propiedades.
> Nuestros resultados
Qu tiene que ver el invariante topolgico con nues-
tra solucin de sal o ms generalmente con los sistemas
de Coulomb? Para responder esta pregunta empezare-
mos considerando uno de tales sistemas en forma de
disco. La frontera del sistema est rodeada de un mate-
rial conductor, un metal por ejemplo, que se mantiene
conectado a tierra para que el potencial elctrico en la
frontera del disco sea constante e igual a cero. Reciente-
mente los autores desarrollaron un mtodo para calcu-
lar las cantidades termodinmicas para este sistema [5].
Estas se pueden escribir convenientemente en una sola
expresin, la cual se conoce en termodinmica como el
gran potencial y se denota por la letra griega (omega).
El gran potencial representa la mxima energa que se
Figura 4.
Esfera de Debye
23
puede sacar, como trabajo, de un sistema termodinmi-
co. Para aclarar este concepto, consideremos el siguien-
te ejemplo:
En la figura 5 vemos un sistema confinado a un cierto
volumen. Una de las paredes es un mbolo que puede
moverse libremente dependiendo de las condiciones del
sistema y del ambiente que lo rodea. Supongamos que
esta pared mvil est hecha de un material que permite
el paso de partculas. La pared puede moverse hacia la
derecha a causa de dos mecanismos. Cuando el sistema
se calienta se expande y mueve la pared. Por otro lado,
partculas del exterior pueden entrar al sistema aumen-
tando la presin en el interior, la cual mueve la pared. En
ambos casos se produce una fuerza neta sobre la pared
mvil, la cual al moverse entrega trabajo al ambiente al
comprimirse el resorte. La mxima cantidad de trabajo
que puede sacarse del sistema es la diferencia del gran
potencial entre los estados inicial y final.
En el caso del sistema de Coulomb en el disco, nuestros
clculos arrojaron el siguiente resultado:
La constante k
B
se conoce como constante de Boltzmann
y T es la temperatura del sistema. As, k
B
T es la energa
cintica promedio de uno de los iones. Esta cantidad se
introduce en la frmula para que el gran potencial quede
expresado en estas unidades naturales de energa. En el
primer trmino, del lado derecho aparece el factor R
2
,
que es justamente el rea de un disco de radio R. As que
el coeficiente que acompaa a este factor nos da la pre-
sin del sistema. El smbolo se conoce como la cons-
tante de Euler no confundirla con la caracterstica de
Euler que tiene el valor aproximado de 0.57721. La
parte entre corchetes cuadrados es prcticamente cons-
tante ya que la funcin logaritmo vara muy lentamente
al cambiar su argumento, pero el trmino
s puede variar considerablemente al cambiar la longitud
de Debye. Vemos entonces que la presin del sistema
depende fuertemente de los parmetros de los que de-
pende l
D
, es decir de la concentracin, la temperatura y
la carga de los iones. El coeficiente que acompaa a 2R,
el permetro del disco, nos da la tensin superficial. sta
tambin depende intensamente de la longitud de Debye;
as, un sistema con l
D
pequea mostrar una gran ten-
sin superficial.
El tercer trmino, sin embargo, es de una naturaleza muy
diferente. Este trmino es independiente de las propieda-
des microscpicas del sistema, ya que no depende de
l
D
. Es decir, no importa si cambiamos el tipo de iones
que estamos considerando o su concentracin, este tr-
mino en el gran potencial siempre ser el mismo. En este
sentido decimos que este es un trmino universal en el
gran potencial.
Veamos ahora qu pasa si cambiamos la forma de nues-
tro sistema. Supongamos que en lugar de ser un disco,
el sistema tiene forma de anillo, con frontera interior de
radio R
1
y frontera exterior de radio R
2
, ambas conecta-
das a tierra. En este caso nuestros clculos del gran po-
tencial arrojaron el resultado:
La presin del sistema, el coeficiente que acompaa el
rea del anillo R R
2
2
1
2

( ) en el primer trmino, resulta

ser igual al caso del disco. La tensin superficial, el tr-
mino que acompaa al permetro total del anillo, 2(R
1
+
R
2
), es tambin igual. Nuevamente ambas cantidades de-
penden de las propiedades microscpicas del sistema,
es decir de l
D
. Notamos sin embargo que en este caso el
tercer trmino, el trmino universal, no aparece.
Figura 5.
Pared adiabtica permeable dentro de un mbolo
24 HI PTESI S / APUNTES CI ENT FI COS UNI ANDI NOS
Es hora de usar nuestros conoci-
mientos de topologa. Recordemos
que el nmero de Euler, , para un
disco es uno y para un anillo es cero.
Ser posible entonces que el coefi-
ciente de nuestro trmino universal
tenga algo que ver con el nmero de
Euler del sistema? Ciertamente un par
de ejemplos no son suficientes para
afirmar tal cosa, pero la investigacin
de los autores demuestra que es as.
Para lograr probar esto fue necesa-
rio encontrar el gran potencial para
un sistema de forma arbitraria. En
este caso general, encontramos que
el trmino universal es igual a:
R ln
6

.
As, en el caso de un disco
= 1
, este
toma el valor:
1
6
ln R
y en el caso de un anillo este trmi-
no se anula lo cual concuerda con
nuestros resultados previos.
> Escuchando la forma de un
tambor: algunos detalles
sobre nuestro mtodo
Como mencionamos en la seccin
anterior, para encontrar la expresin
general del trmino universal en el
gran potencial, necesitamos resolver
el problema para cualquier geome-
tra. La solucin a este problema est
muy relacionada con un problema de
matemticas famoso, que fue plan-
teado y parcialmente resuelto por
Mark Kac en los aos sesenta. Un co-
lega suyo, el profesor Berg, sugiri
plantear el problema en los siguien-
tes trminos: si usted conociera las
frecuencias del sonido de un tambor,
podra averiguar la forma de su mem-
brana?, o en palabras de Kac: pue-
de uno escuchar la forma de un tam-
bor? [6].
Este problema todava no est resuel-
to en su aspecto general pero, cuan-
do la membrana del tambor tiene la
forma de lo que los matemticos lla-
man variedad Riemanniana, se ha
podido demostrar que es imposible
determinar la forma exacta de la
membrana del tambor conociendo
sus frecuencias. Sin embargo, Kac y
posteriormente McKean y Singer [7]
lograron demostrar que es posible
determinar su rea superficial y sus
curvaturas. Por curvaturas nos refe-
rimos no slo a la curvatura del bor-
de de la membrana sino tambin a la
curvatura interior, como se ilustra
en la figura 6.
Qu tiene que ver todo esto con el
nmero de Euler y con nuestro pro-
blema de calcular el gran potencial
para un sistema de Coulomb? La re-
lacin con el nmero de Euler viene
en la forma de otro famoso teorema,
el teorema de Gauss-Bonnet [8]. Este
resultado relaciona ciertas integrales,
en trminos de las curvaturas de una
superficie, con el nmero de Euler.
En el lenguaje de Kac, este importante
resultado de geometra diferencial
nos dice que es posible or el nme-
ro de Euler de la membrana de un
tambor.
La relacin de este problema geom-
trico con los sistemas de Coulomb
tiene que ver con las frecuencias. Ma-
temticamente, estas frecuencias son
una sucesin de nmeros cada uno
de los cuales tiene asociada una fun-
cin llamada funcin propia. Estas
funciones se pueden utilizar como un
molde para expresar otras en trmi-
nos de una suma infinita de ellas. En
nuestro trabajo utilizamos este hecho
para expresar el potencial de Coulomb
en trminos de tales funciones pro-
pias. Luego, mediante una transfor-
macin utilizada en el estudio de la
teora de campos cunticos, conoci-
da como transformacin de Sine-
Gordon, logramos expresar el gran
potencial como un producto infinito
en trminos de las frecuencias del
sistema de Coulomb, entendido
como la membrana de un tambor.
Como se explic anteriormente, la in-
Figura 6.
Membrana de un tambor en
vibracin (simulacin
exagerada). La curvatura
interior de la membrana
se refiere a la que resulta de
la ondulacin de la
vibracin
25
formacin sobre la geometra de la membrana est con-
tenida en estas frecuencias. En nuestro caso esta geo-
metra corresponde a la forma del sistema de Coulomb,
por ejemplo el anillo o el disco en nuestros ejemplos an-
teriores. As, utilizando algunas funciones especiales y
un procedimiento matemtico conocido como la regu-
larizacin zeta, para encontrar nuestro producto infini-
to, logramos conectar el gran potencial con los resultados
de Kac, McKean y Singer. El lector interesado en los de-
talles de este clculo puede consultar la tesis de maes-
tra de Aldemar Torres, la cual se encuentra disponible
en la Biblioteca de la Universidad de los Andes [9].
> Resumen y conclusin
Hemos visto cmo una taza del caf una rosquilla y un
puado de sal disuelta en agua tienen ms en comn
que ser ingredientes del desayuno de muchos de noso-
tros. Los fsicos tericos frecuentemente utilizan ideas
matemticas muy abstractas para generalizar sus teo-
ras, hacerlas compatibles con otras y aplicables al ma-
yor nmero posible de sistemas, por distintos que
parezcan al escrutinio de nuestros sentidos. Detrs de
esas poderosas estructuras del pensamiento est la rea-
lidad fsica del mundo material, de las cosas que pode-
mos medir y observar con nuestros sentidos o con
extensiones de los mismos. De esta manera, los resulta-
dos de la fsica terica a veces invaden el territorio de las
matemticas, y la frontera entre estas ciencias se torna
tan difusa como las nubes de apantallamiento de Debye.
En este artculo hemos querido presentar un pequeo
ejemplo de este tipo de razonamiento.
> Referencias
[1] Moscovich, I. 1000 Play Thinks. Workman, 2001.
[2] Alexandrov, P. Elementary concepts of topology.
Dover, 1961.
[3] Davidson, S. V. W. College Chemistry. 3
rd
Edition.
McMillan, 1969.
[4] McQuarrie D. A. Statistical Mechanics. 2
nd
Edition.
University Science Books, 2000.
[5] Torres, A. and Tllez, G. Finite-Size Corrections
for Coulomb Systems at the Debye-Hckel
Regime. Journal of Physics A: Mathematical and
General. 37 2121-2137 (2004).
[6] Kac, M. Can one hear the shape of a drum?
American Mathematical Monthly 73 1 (1966).
[7] McKean H. P. and Singer, I. M. Curvature and the
eigenvalues of the Laplacian. Journal of
Differential Geometry. 1 43 (1967).
[8] Lipschutz, M.M. Theory and Problems of
Differential Geometry. McGraw-Hill, 1969.
[9] Torres, A. Sine-Gordon Field Theory for the
Calculation of Universal Finite Size Corrections in
the Free Energy of Coulomb Systems at the
Debye-Hckel Regime. Tesis de Magister en
Fsica, Universidad de los Andes, 2004.
> Resea de los autores
Aldemar Torres
Fsico de la Universidad Nacional y Magster
en Ciencias-Fsicas de la Universidad de los
Andes. Su tesis de Magster sobre Sistemas
de Coulomb fue laureada en abril de 2004.
Actualmente adelanta estudios de doctora-
do en el Instituto de Fsica Terica de la Uni-
versidad de Utrecht en los Pases Bajos.
Gabriel Tllez
Doctor en Fsica Terica de la Universidad
de Pars XI, Francia. Profesor asociado del
Departamento de Fsica de la Universidad de
los Andes. Su rea de especializacin es la
mecnica estadstica de sistemas de part-
culas cargadas.
> Solucin a los acertijos
Figura 2
1) Baln, 0 asas, 0 bordes: = 2
2) Donut, 1 asa, cero bordes: = 0
3) CD, 0 asas, 2 bordes: = 0
4) Azucarera, 2 asas, 0 bordes: = -2
5) Carpeta de argollas, 3 asas, 1
borde: = -5
Figura 1
Slo las figuras 2 y la 9
son topolgicamente
equivalentes.