3 Teoras de Campo Medio o Clasicas

Hemos visto que tanto el modelo de Van der Waals para uidos como el modelo de
Curie-Weiss presentan los mismos exponentes crticos. Ambos se encuadran dentro de
lo que se conoce como Teoras o modelos de Campo Medio o bien Teoras Clasicas. Esta
denominacion es sumamente amplia y se reere a un conjunto de teoras y aproxima-
ciones fenomenologicas cuya caracterstica en com un es que todas ellas dan los mismos
exponentes crticos. Las diferentes teoras nos permiten diferentes interpretaciones de
la misma fenomenologa y su caracterizacion general resulta descripta por la Teora de
Landau, la cual veremos al nal de esta seccion.
Si bien en varios aspectos las teoras de campo medio brindan en la mayora de los
casos una descripcion cualitativamente correcta de las transiciones de 2do orden, en
varios otros aspectos la descripcion es incorrecta, especialmente a lo que concierne al
rol de la dimensionalidad. Por ejemplo, los exponentes predichos por esta teora son
incorrectos en baja dimensionalidad. Sin embargo, tomadas como aproximaciones, estas
teoras brindan una tecnica sumamente util para el calculo de diagramas de fase y otras
propiedades termodinamicas, especialmente si tomamos en cuenta su gran simplicidad.
Mas a un, veremos que las mismas permiten desarrollar mejoras sistematicas en las
estimaciones de temperaturas crticas y de otras cantidades.
Comenzaremos con la teora que da orgen al nombre de Campo Medio.
3.1 Teora de Campo Medio de Weiss
Vamos a considerar a continuacion un metodo para calcular la solucion aproximada del
modelo de Ising en dimension arbitraria. Este metodo fue introducido por Pierre Weiss
y es conocido como aproximacion o teora de campo medio se basa en el concepto de
campo efectivo o molecular.
Consideremos el Hamiltoniano de Ising con interacciones primeros vecinos en di-
mension arbitraria
104
H = J

<i,j>
S
i
S
j
B
N

i=1
S
i
(113)
Cada spin interact ua con un campo local
h
i
= J

j nn i
S
j
+ B
generado por los spines vecinos y el campo externo;

j nn i
denota una suma en los
sitios j primeros vecinos (nearest neighbors) del sitio i. Esta cantidades constituyen
un conjunto de variables aleatorias que dependen de la conguracion particular de
spines, las cuales pueden escribirse como
h
i
= h
i
+ h
i
donde h
i
h
i
h
i
son las uctuaciones de h
i
en torno de su valor medio, el cual
tiene la forma
h
i
= J

j nn i
S
j
+ B (114)
Para una red con invariancia traslacional la cantidad S
j
es independiente del sitio
j y por lo tanto S
j
= m, donde
m =
1
N

i
S
i
(115)
es la magnetizacion media por spin. La aproximacion de campo medio consiste en
despreciar las uctuaciones h
i
. Bajo esta aproximacion cada spin se encuentra en
presencia de un campo efectivo uniforme generado por los restantes spines de la red
B
ef
= Jzm + B (116)
donde z es el n umero de coordinacion.
La funcion particion de un conjunto de spines en presencia de un campo uniforme
B puede escribirse como Z = Z
N
1
, donde
105
Z
1
=

S=1
e
BS
= 2 cosh (B) (117)
es la funcion particion de un spin. La magnetizacion media resulta entonces:
m = S
i
=
1
Z
1

S=1
Se
BS
= tanh(B) (118)
Reemplazando la expresion para el campo efectivo (116) arribamos a una ecuacion
autoconsistente para m
m = tanh [ (Jzm + B)] (119)
la cual, excepto por la presencia del n umero de coordinacion, es identica a la ecuacion
de Curie-Weiss (107); en este caso la temperatura crtica es k
B
T
c
= zJ, mientras que
los exponentes crticos , y son exactamente los mismos que en el modelo de Curie-
Weiss. Notemos que, mientras para el modelo de Ising esta es una solucion aproximada
(y cuantitativamente incorrecta) para el modelo de Curie-Weiss es la solucion exacta.
Esto nos permite discriminar bajo que condiciones la hipotesis del campo molecular,
equivalente a despreciar las uctuaciones del parametro de orden, resulta valida. Las
uctuaciones resultan despreciables cuando existe una alta conectividad en los spines.
Podemos por lo tanto esperar que las predicciones de la teora del campo medio aproxi-
men mejor los resultados exactos para modelos con interacciones entre primeros vecinos
cuanto mayor sea la dimension espacial de la red. De hecho, puede verse que los expo-
nentes crticos predichos por la teora de campo medio para el modelo de Ising resultan
exactos en dimensiones d 4. La dimension mnima para la cual las predicciones de
la teora de campo medio resultan exactas se conoce como dimension crtica superior.
Analizemos ahora la energa libre en la aproximacion de Weiss. De la Ec.(117)
tenemos que
f(T, B) =
k
B
T
N
lnZ = k
B
T ln Z
1
= k
B
T ln{2 cosh [ (Jzm + B)]} (120)
A campo nulo B = 0 tenemos entonces que
106
f(T, 0) =
_

_
k
B
T ln 2 para T > T
c
k
B
T ln
_
2 cosh
_

c
m
0
__
para T T
c
(121)
donde m
0
(T) es solucion de la Ec.(119). Un analisis detallado de esta solucion nos
muestra que esta energa libre resulta una funcion convexa de T para T < T
c
, vi-
olando por lo tanto el criterio de estabilidad termodinamica! Signica esto que toda la
aproximacion esta mal? Veremos a continuacion que la ecuacion de Curie Weiss puede
derivarse tambien utilizando un metodo variacional, el cual da la expresion correcta
para la energa libre.
3.2 Aproximaci on de Campo Medio mediante Metodo variacional
Sea una variable aleatoria arbitraria y sea P() 0 su distribucin de probabilidad
asociada, esto es, el valor medio de cualquier funcion de la variable aleatoria f() viene
dada por
f() = Tr P() f()
donde Tr denota una suma (integral) sobre todos los valores de la variable . La
desigualdad de Jensen establece que
_
e
f()
_
e
f()
Consideremos ahora un Hamiltoniano clasico H, funcion de un conjunto de variables
discretas o contnuas . Sea () una distribucion de probabilidad arbitraria, esto es,
una funcion de las variables que satisface Tr = 1 y () 0. La funcion de particion
puede ser escrita como
Z = e
F
= Tr e
H[]
= Tr e
H[]ln
=
_
e
H[]ln
_

donde

signica un promedio tomado con la distribucion y F es la energa libre

asociada con H. Aplicando la desigualdad de Jensen
e
F
exp
_
H

ln

_
107
o bien
F F

= H

+ k
B
T ln

= Tr H + k
B
T Tr ln (122)
donde F

es una energa libre aproximada asociada con la distribucion . Esta de-

sigualdad es valida para cualquier densidad de probabilidad . Mas a un, si bien este
desarrollo fue realizado para una distribucion de probabilidad clasica, puede verse que
es valida tambien en el caso cuatico (en cuyo caso es un operador densidad).
En particular, si exigimos que F

sea mnima, sujeta a la unica restriccion de que

Tr = 1 es facil ver que esto implica
=
e
H
Z
con lo cual F

= F. En otras palabras, la desigualdad anterior no es mas que el principio

de mnima energa libre. No obstante, esto nos permite implementar aproximaciones
variacionales para la energa libre, proponiendo formas aproximadas de que contengan
parametros libres; la densidad que mejor aproxime la distribucion de Boltzmann, para
una forma funcional dada de sera aquella que minimice F

. En particular sea H
0
un Hamiltoniano de prueba, esto es, un Hamiltoniano para el cual conocemos como
calcular su funcion particion
Z
0
=

{S
i
}
e
H
0
Si proponemos
=
e
H
0
Z
0
(123)
tendremos que
f f

= f
0
+
1
N
H H
0

0
(124)
Esta desigualdad se conoce como desigualdad de Bogoliuvob-Peierls.
La aproximacion de campo medio se obtiene de utilizar una densidad que es un
producto de densidades de probabilidad independientes para cada partcula. Esto es,
108
si

es una densidad de probabilidad que depende solamente de los grados de libertad

asociados a la partcula , entonces
=
N

=1

(125)
En este caso la energa libre variacional de campo medio resulta
F

= H

+ k
B
T

Tr

ln

Existen dos maneras de parametrizar las distribuciones

. Si elegimos de la
forma (123), con lo cual H
0
=

, entonces podemos escribir los Hamiltonianos de

una partcula en terminos de campos efectivos y utilizar estos ultimos como parametros
variacionales. Otra manera es la siguiente. Si conocemos que

es el parametro de
orden de la transicion de interes, podemos minimizar directamente (122) sujeta a los
vnculos Tr

= 1 y Tr

. En este caso los parametros variacionales son

simplemente los parametros de orden

. Vamos a ejemplicar ambas modalidades

con dos casos particulares.
3.2.1 Aproximacion variacional del modelo de Ising
Elijamos H
0
como un Hamiltoniano de spines independientes
H
0
=

i
S
i
donde es el campo efectivo variacional. De esta manera la cantidad
() = f
0
+
1
N
H H
0

0
resulta una funcion del parametro . Podemos entonces denir la energa libre en la
aproximacion de campo medio como
f
mf
(T, B) = min

() (126)
Calculemos entonces (). Tomemos por simplicidad el caso B = 0. Tenemos que
109
f
0
=
1

ln [2 cosh ()]
S
i

0
= m
0
= tanh ()
H
0

0
= Nm
0
H
0
= J

<i,j>
S
i
S
j

0
Dado que H
0
es un Hamiltoniano de spines independientes tenemos que
S
i
S
j

0
= S
i

0
S
j

0
= m
2
0
de donde
H
0
=
Jz
2
Nm
2
0
.
Reuniendo todo esto tenemos
() =
1

ln [2 cosh ()]
Jz
2
m
2
0
+ m
0
(127)
Si minimizamos esta expresion obtenemos

= tanh () Jzm
0
m
0

+ m
0
+
m
0

=
m
0

( Jzm
0
) = 0
donde hemos usado que m
0
= tanh (). Tenemos entonces que el mnimo de se
obtiene para
= Jzm
0
de donde obtenemos nuevamente la ecuacion de Curie-Weiss (119). Reemplazando esta
solucion en la Ec.(127) obtenemos nalmente la expresion para la energa libre
110
T/T
c
0 1 2
f
(
T
)
/
(
k
T
c
)
-1.6
-1.4
-1.2
-1.0
-.8
-.6
-.4
Figura 23: Energa libre en la aproximacion de campo medio obtenida mediante el
metodo variacional.
f
mf
(T, B = 0) =
1

ln
_
2 cosh
_

c
m
0
__
+
1
2
c
m
2
0
(128)
la cual resulta identica a la energa libre del modelo de Curie-Weiss y se muestra en la
gura (23). Vemos que la misma satisface los criterios de estabilidad termodinamica
para toda T. Sin embargo, la distribucion de probabilidad utilizada es la misma que
en el caso de CW.
3.2.2 Aproximacion variacional del modelo de Potts
El Hamiltoniano de Potts de q estados ferromagnetico con interacciones a primeros
vecinos y campo externo puede ser escrito como
H = J

<i,j>
(q

i
,
j
1) B

i
(q

i
,1
1)
donde el campo externo B favorece una direccion que arbitrariamente hemos elegido
como la 1. Para identicar el parametro de orden podemos analizar las fases de altas
111
y bajas temperaturas a campo nulo. A temperaturas sucientemente altas, un dado
sitio podra encontrarse en cada uno de los q estados con igual probabilidad. As,

i
,
= 1/q para = 1, . . . , q. A bajas temperaturas, el estado que minimiza la energa
corresponde a todos los spines con el mismo valor , y este estado fundamental tiene
una degeneracion q. De esta manera, los parametros de orden locales microscopicos
asociados al sitio i pueden ser elegidos como

i
=
1
q 1
(q

i
,
1)
para = 1, . . . , q. Notemos que para q = 2 este parametro de orden es precisamente una
variable de spin S
i
= 1. A altas temperaturas

i
= 0 i, . A bajas temperaturas

i
= 1 en el estado fundamental correspondiente a todos los spines alineados en la
direccion . Si ahora colocamos un campo externo que rompa la simetra en la direccion
1, el parametro de orden asociado sera

1
i
_
. Como ademas el sistema es homogeneo,
tendremos que

1
i
_
= m i. Notemos que
q

=1

i
= 0 (129)
Por simetra,

i
tomara el mismo valor en todos los q 1 estados = 1. Usando la
Ec.(129) tenemos entonces que

i
=
_

_
m para = 1

m
q1
para = 2, . . . , q
(130)
y por lo tanto

i
,
=
_

_
1
q
[1 + (q 1)m] para = 1
1m
q
para = 2, . . . , q
(131)
Podemos tambien calcular
_

i
,
j
_
=
q

=1

i
,

j
,
_
=
1
q
2
[1 + (q 1)m]
2
+
q 1
q
2
(1 m)
2
(132)
112
Usando las Ecs.(131) y (132) es facil ver que
H

= (q 1) N
_
Jz
2
m
2
+ B m
_
La densidad de una partcula
i
es funcion solo de
i
y debe satisfacer los vnculos
Tr
i
=
q

i
=1

i
= 1 Tr
i

1
i
= m
Dado que los q 1 estados = 2, . . . , q resultan equivalentes, por simetra,
i
(
i
) solo
tomara dos valores diferentes: uno para = 1 y el otro para = 2, . . . , q. Por otra
parte, dado que el sistema es homogeneo, la forma funcional de
i
(
i
) sera independiente
de i. As, podemos escribir:
() = a + b
,1
Aplicando los vnculos es facil vericar que
() =
1
q
[1 + m(q
,1
1)]
y por lo tanto
N

i=1
Tr
i
ln
i
=
N
q
q

=1
[1 + m(q
,1
1)] ln
_
1 + m(q
,1
1)
q
_
=
N
q
_
[1 + m(q 1)]
q 1
ln
_
1 + m(q 1)
q
_
+ (1 m) ln
_
1 m
q
__
y la funcional energa libre de campo medio por partcula resulta
f

(m)
q 1
=
Kz
2
m
2
hm+
1
q
_
[1 + m(q 1)] ln
_
1 + m(q 1)
q
_
+ (q 1)(1 m) ln
_
1 m
q
__
(133)
derivando respecto de m:

m
_
f

(m)
q 1
_
= (Kzm + h) +
1
q
ln
_
1 + (q 1)m
1 m
_
= 0
de donde, deniendo el campo efectivo
113
h
e
Kzm + h
obetenemos la ecuacion de campo medio para m:
m =
e
q h
e
1
e
q h
e
+ (q 1)
(134)
Para q = 2 esta ecuacion se reduce a la de Curie-Weiss. Para q 3 a campo nulo
debemos resolver la ecuacion m = f(m) con
f(m) =
e
q K z m
1
e
q K z m
+ (q 1)
(135)
La forma tpica de f(m) para q 3 se muestra en la Fig.24. a altas tmperaturas
solo existe la solucion m = 0. a temperaturas intermedias aparecen tres soluciones:
m = 0 y dos soluciones no nulas. Un analisis cuidadoso de la energa libre muestra
que la solucion con menor valor de m es siempre inestable (maximo de f

), mientras
que aquella con mayor valor y la solucion m = 0 son mnimos locales. A medida que
la temperatura disminuye el mnimo absoluto pasa de la solucion m = 0 a la solucion
m = 0. A la temperatura
k
B
T
c
=
_
q 2
q 1
_
z J
2 ln (q 1)
ambos mnimos correspoden a la misma energa libre. En este punto, la solucion no
nula toma el valor m = (q 2)/(q 1). De esta manera, vemos que en T
c
la solucion
ordenada surge con un valor del parametro de orden no nulo. Esta es por lo tanto
una transicion de primer orden. Analizaremos en mayor detalle esta transicion mas
adelante en el marco de la Teora de Landau.
3.3 Aproximaci on de Bethe-Peierls
Podemos obtener otras aproximaciones de campo medio relajando parcialmente la
condicion de uctuacion cero en el campo local, esto es, considerando uctuaciones,
114
m
0.0 0.2 0.4 0.6 0.8 1.0
0.0
0.2
0.4
0.6
0.8
1.0
Figura 24: Forma tpica de la funcion (135) para para q 3 a diferentes temperaturas
en el entorno de T
c
.
pero solo en un rango limitado. En la aproximacion de Weiss podemos pensar que
tomamos un spin arbitrario de referencia y que reemplazamos el resto de la red por un
campo efectivo. La aproximacion de Bethe Peierls consiste en tomar un spin abitrario
de referencia en la red, el cual interactua con sus z primeros vecinos y reemplazar el
resto de la red por un campo efectivo B
ef
, el cual se determina de manera autocon-
sistente (ver Fig.25). Asi, el Hamiltoniano efectivo para el modelo de Ising en esta
aproximacion toma la forma
H
BP
= BS
0
B
ef
z

i=1
S
i
JS
0
z

i=1
S
i
B
z

i=1
S
i
donde S
0
es el spin de referencia. Tomemos por simplicidad el caso B = 0. La funcion
de particion es
Z
BP
=

S
0
=1

{S
i
}
exp
_
(h
ef
+ KS
0
)
z

i=1
S
i
_
=

S
0
=1
_
_

S=1
e
(h
ef
+KS
0
)S
_
_
z
Z
BP
= 2
z
[cosh
z
(h
ef
+ K) + cosh
z
(h
ef
K)]
115
S
B
ef
B
ef
B
ef
B
ef
B
ef
S
0
S
1
S
2
S
z
S
3
-J
-J
-J
-J
(a)
(b)
Figura 25: Comparacion esquematica entre las aproximaciones de Weiss (a) y de Bethe-
Peierls (b).
donde h
ef
B
ef
. La condicion de consistencia para B
ef
se obtiene exigiendo que
los resultados obtenidos sean independientes del sitio de referencia. Esto puede obten-
erse exigiendo a su vez que la distribucion de probabilidad de cada spin P(S
i
) sea
independiente del sitio i. Dado que
P(S
i
) =
1
Z

{S
j=i
}
e
H
= 1 P(S
i
)
y
P(S
0
= 1) =
1
Z
BP

S
1
=1

S
z
=1
e
H
BP

S
0
=1
=
cosh
z
(h
ef
+ K)
cosh
z
(h
ef
+ K) + cosh
z
(h
ef
K)
P(S
i
= 1) =
1
Z
BP

S
0
=1

{S
j
=i}
e
H
BP

S
i
=1
i = 1, . . . , z
=
e
h
ef
+K
cosh
z1
(h
ef
+ K) + e
h
ef
K
cosh
z1
(h
ef
K)
2(cosh
z
(h
ef
+ K) + cosh
z
(h
ef
K))
116
v
0 1 2 3 4 5
g
(
v
)
0
1
2
3
4
5
v
0
1/v
0
T > T
c
T < T
c
Figura 26: Solucion graca de la Ec.(136).
Imponiendo entonces que P(S
0
= 1) = P(S
i
= 1) i = 1, . . . , z obtenemos la ecuacion
para h
ef
:
cosh
z
(h
ef
+ K) =
e
h
ef
+K
cosh
z1
(h
ef
+ K) + e
h
ef
K
cosh
z1
(h
ef
K)
2
Introduciendo la variable v = e
2h
ef
la ecuacion anterior resulta equivalente a
v = g(v) =
_
1 + ve
2K
v + e
2K
_
z1
(136)
Notemos que v = 1 (h
ef
= 0) es siempre solucion de la Ec.(136) z, K. La pendiente
de g(v) en v = 1 resulta
g

(1) = (z 1)
e
4K
1
(1 + e
2K
)
2
Para g

(1) < 1 la Ec.(136) solo tiene por solucion v = 1. Para g

(1) > 1 aparecen

dos nuevas soluciones v
0
y 1/v
0
, que corresponden a invertir el campo h
ef
, tal como
se muestra en la Fig.26. La temperatura crtica viene entonces dada por la condicion
g

(1) = 1, cuya solucion es

117
K
c
=
1
2
ln
_
z
z 2
_
(137)
Trabajando las expresiones anteriores puede verse entonces que
S =
_

_
0 si T > T
c
tangh(h
ef
+K)+e

2h
ef
z
z1
tangh(h
ef
K)
1+e

2h
ef
z
z1
si T < T
c
Para la red cuadrada z = 4 y tenemos entonces que K
c
= ln (2)/2 = 0.346..., el cual
puede compararse con la prediccion de Weiss K
c
= 1/z = 0.25 y con el resultado exacto
de Onsager K
c
= 1/ ln (

2 1) = 0.441.... Notemos por otra parte, que para d = 1

(z = 2) tenemos que K
c
= (T
c
= 0), esto es, la aproximacion de BP predice que no
hay transicion de fase a temperatura nita, a diferencia de la aproximacion de Weiss
que predice transicion incluso en d = 1. Puede verse ademas, que el calor especco
en esta aproximacion no se anula para T > T
c
, dando por lo tanto una estimacion
mejor del resultado exacto. Por otra parte, puede verse con un poco de trabajo que
los exponentes crticos en la aproximacion de BP siguen siendo los mismos que en
la aproximacion de Weiss. Finalmente, la aproximacion de BP puede generalizarse,
incluyendo clusters mayores de spines, en lugar de considerar solamente los primeros
vecinos, lo cual permite obtener mejoras sistematicas en la aproximacion de T
c
. Las
soluciones obtenidas por este procedimiento tienden a la solucion exacta en el lmite
de clusters innitos. No obstante, para todo cluster nito los exponentes crticos seran
siempre los mismos, como quedara claro al analizar la Teora de Landau.
118
3.4 Arboles de Cayley y Red de Bethe
La universalidad del comportamiento crtico nos permite varias libertades en la for-
mulacion de los modelos. Una de estas libertades es la eleccion de la red en la cual
denimos el modelo, permitiendo utilizar incluso redes articiales (no realistas) que
facilitan el desarrollo aproximaciones analticas bastante utiles. Un tipo de redes que
se utilizan para formular aproximaciones de campo medio se conocen como arboles de
Cayley. Estas redes se construyen de manera recursiva a partir de un sitio central (nu-
merado como sitio 0) de acuerdo con las siguientes restricciones: a) la coordinacion z de
todos los sitios, excepto los mas externos (los de la ultima generacion) es constante
y b) no se permiten caminos cerrados en la red. La red se construye asi conectando z
sitios al sitio central en la primera generacion. En cada generacion sucesiva se conectan
z 1 sitios a cada uno de los sitios de la generacion anterior. En la Fig.27 se muestra
un ejemplo para el caso z = 3. Notemos que para z = 2 (d = 1), reobtenemos la cadena
lineal.
Por construccion, el n umero de sitios en la n-esima capa (generacion) es
N
s
(n) = z(z 1)
n1
n 1
N
s
(0) = 1
y el n umero total de sitios para una red de m capas es
N
m
=
m

n=0
N
s
(n) = 1 + z
m1

n=0
(z 1)
n
= 1 + z
(z 1)
m
1
z 2
=
z(z 1)
m
2
z 2
Notemos que la relacion supercie-vol umen, esto es, el cociente entre el n umero de
sitios en la supercie al n umero total de sitios, tiende a un valor constante en el lmite
termodinamico en estas redes, a diferencia de lo que ocurre en redes regulares, donde
este cociente tiende a cero:
lim
m
N
s
(m)
N
m
=
z 2
z 1
119
0
1
2
3
Figura 27: Ejemplo de un arbol de Cayley de coordinacion z = 3. Los crculos numer-
ados indican la generacion y son solo una guia para el ojo.
Esto hace que las soluciones en estas redes presenten propiedades peculiares, no repre-
sentativas de lo que ocurre en redes de Bravais. Esto es, las propiedades termodinamicas
de cualquier modelo en un arbol de Cayley son inhomogeneas, con efectos superciales
no despreciables. Una manera de evitar este problema es calcular las propiedades ter-
modinamicas de un dado modelo en la zona central del arbol de Cayley, en la cual se
espera sus propiedades sean semejantes a las de una red de Bravais. Con este tipo de
aproximacion se obtienen resultados razonables, que para modelos con interacciones de
primeros vecinos coinciden con la aproximacion de Bethe-Peierls. De ahi que a este tipo
de aproximacion se la denomina solucion en la red de Bethe. Veremos a continuacion
como se implementan este tipo de soluciones.
3.4.1 Modelo de Ising en la Red de Bethe
Tomemos el modelo de Ising a primeros vecinos
H = K

<i,j.>
S
i
S
j
+ h

i
S
i
donde los sitios i estan denidos en un arbol de Cayley de coordinacion z. Para
120
m generaciones, notemos que este arbol puede descomponerse en z subarboles de m
generaciones, como se muestra en la Fig.(28a). La funcion particion del arbol completo
puede escribirse como
Z =

S
0
=1
e
hS
0
[Z
m
(S
0
)]
z
= e
h
[Z
m
(+)]
z
+ e
h
[Z
m
()]
z
donde Z
m
(S
0
) denota la funcion particion de un subarbol de m generaciones, que
incluye todas las interacciones dentro del subarbol, mas la interaccion con el spin S
0
.
Cada subarbol puede a su vez descomponerse en z 1 subarboles de m1 generaciones
(ver Fig.(28b)). Esta descomposicion puede repetirse recursivamente para subarboles
de generaciones superiores. De esta manera
Z
m
(S
0
) =

S
1
=1
e
(KS
0
+h)S
1
[Z
m1
(S
1
)]
z1
esto es
Z
m
(+) = e
K+h
[Z
m1
(+)]
z1
+ e
Kh
[Z
m1
()]
z1
Z
m
() = e
K+h
[Z
m1
(+)]
z1
+ e
Kh
[Z
m1
()]
z1
Estas ecuaciones de recurrencia nos permiten calcular las funciones de particion Z
m
iterando para los sucesivos subarboles. La magnetizacion en el sitio central es
m =
1
Z

S
0
=1
e
hS
0
S
0
[Z
m
(S
0
)]
z
=
e
h
[Z
m
(+)]
z
e
h
[Z
m
()]
z
e
h
[Z
m
(+)]
z
+ e
h
[Z
m
()]
z
Deniendo la cantidad
x
m

Z
m
()
Z
m
(+)
=
e
K+h
[Z
m1
(+)]
z1
+ e
Kh
[Z
m1
()]
z1
e
K+h
[Z
m1
(+)]
z1
+ e
Kh
[Z
m1
()]
z1
obtenemos la ecuacion de recurrencia
x
m
=
e
K+h
+ e
Kh
x
z1
m1
e
K+h
+ e
Kh
x
z1
m1
y la magnetizacion viene dada por
121
S
0
S
0
S
0
S
0
(a)
(b)
S
1
S
1
Figura 28: (a) Construccion de un arbol de Cayley de m generaciones a partir de z
subarboles, para z = 3; (b) Composicion de un subarbol de m generaciones a partir de
z 1 subarboles de m1 generaciones.
122
m =
e
h
e
h
x
z
m
e
h
+ e
h
x
z
m
donde x
m
se obtiene entonces de iterar m veces la ecuacion de recurrencia x

= F(x)
donde
F(x) =
e
K+h
+ e
Kh
x
z1
e
K+h
+ e
Kh
x
z1
(138)
esto es, x
m
= F(x
m1
), x
m1
= F(x
m2
), etc.. En el lmite termodinamico la magne-
tizacion en el sitio central resulta
m =
e
h
e
h
(x

)
z
e
h
+ e
h
(x

)
z
donde x

es el lmite de la sucesion que se obtiene de iterar innitas veces la ecuacion

x

= F(x). Si este valor lmite existe, el mismo es una solucion de la ecuacion

x

= F(x

)
ya que
lim
m
x
m
= lim
m
x
m1
= x

Una solucion de este tipo se conoce como un punto jo de la ecuacion de recurrencia.

Si la sucesion converge, el lmite es necesariamente un punto jo, pero no todo punto
jo es un lmite de la ecuacion de recurrencia. Esto depende de la estbilidad del punto
jo. De la Fig.29 vemos que valores cercanos a un punto jo x

van a alejarse del

mismo al iterar la ecuacion de recurrencia si F

(x

) > 1; estos puntos jos se dicen

inestables. Por el contrario, puntos cercanos al punto jo van a converger al mismo
al iterar la ecuacion de recurrencia si F

(x

) < 1; estos puntos jos se dicen estables.

El lmite de la sucesion, por lo tanto, solo puede corresponder a un punto jo estable.
Derivando la Ec.(138) podemos ver que F

(x) > 0 x > 0, K y h. Asi, F(x) en este

123
y = x
F(x)
x*
x
0
x
1
....
F(x)
y = x
x*
x
0
x
1
...
x
2
(a) (b)
Figura 29: Puntos jos de una ecuacion de recurrencia x

= F(x) y sucesion de puntos

x
n+1
= F(x
n
). (a) Punto jo inestable. (b) Punto jo estable
caso es monotona creciente con F(0) = e
2K
y F() = e
2K
. Existen entonces solo
dos posibilidades para la ecuacion de punto jo (ver Fig.30a) : i) un unico punto jo
estable o ii) tres puntos jos, dos estables y uno inestable (ver Fig.30b). Para h = 0
tenemos que
x

=
1 + e
2K
(x

)
z1
e
2K
+ (x

)
z1
(139)
Notemos que x

= 1 es siempre solucion de la Ec.(139), para la cual m = 0, correspon-

diendo por lo tanto a la solucion paramagnetica. Ademas, si x

es solucion entonces
1/x

tambien lo es, de manera que si m es la magnetizacion correspondiente a x

, la
solucion 1/x

tiene magnetizacion m. Estas dos soluciones van a corresponder por lo

tanto a la solucion ferromagnetica. El punto crtico se obtiene por lo tanto a partir de
la condicion F

(1) = 1. Una cuenta directa nos lleva entonces a la condicion

124
x
F(x)
e
2K
e
-2K
0
x
F(x)
e
2K
e
-2K
0
(a) (b)
Figura 30: Puntos jos posibles de la funcion (138). (a) Un unico punto jo estable.
(b) Dos puntos jos estables y uno inestable.
tgh(K
c
) =
1
z 1
Usando que
tgh
1
(x) =
1
2
ln
_
1 + x
1 x
_
llegamos nalmente a la misma temperatura crtica obtenida mediante la aproximacion
de Bethe-Peierls:
K
c
=
1
2
ln
_
z
z 2
_
Notemos nalmente que para z = 2 (d = 1) la ecuacion de punto jo queda
x

=
1 + e
2K
x

e
2K
+ x

(x

)
2
= 1
y recuperamos el resultado esperado de que no hay solucion ferromagnetica a campo
nulo.
125