3 Teoras de Campo Medio

o Cl
asicas

Hemos visto que tanto el modelo de Van der Waals para fluidos 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 refiere 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 final 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 continuaci

on 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 aproximaci
on
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
 X N
X
H = J Si Sj B Si (113)
<i,j> i=1

Cada spin interact

ua con un campo local

X
hi = J Sj + B
j nn i
P
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 configuracion particular de
spines, las cuales pueden escribirse como

hi = hhi i + hi

donde hi hi hhi i son las fluctuaciones de hi en torno de su valor medio, el cual

tiene la forma

X
hhi i = J hSj i + B (114)
j nn i

Para una red con invariancia traslacional la cantidad hSj i es independiente del sitio
j y por lo tanto hSj i = m, donde

1 X
m= hSi i (115)
N i
es la magnetizacion media por spin. La aproximaci
on de campo medio consiste en
despreciar las fluctuaciones hi . Bajo esta aproximaci
on cada spin se encuentra en
presencia de un campo efectivo uniforme generado por los restantes spines de la red

Bef = 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 = Z1N , donde

105
 X
Z1 = eBS = 2 cosh (B) (117)
S=1
es la funcion particion de un spin. La magnetizacion media resulta entonces:

1 X
m = hSi i = SeBS = tanh(B) (118)
Z1 S=1
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 kB Tc = 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 fluctuaciones del parametro de orden, resulta valida. Las
fluctuaciones 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 dimensi
on crtica superior.
Analizemos ahora la energa libre en la aproximaci
on de Weiss. De la Ec.(117)
tenemos que

kB T
f (T, B) = ln Z = kB T ln Z1 = kB T ln {2 cosh [ (Jzm + B)]} (120)
N
A campo nulo B = 0 tenemos entonces que

106


kB T ln 2 para T > Tc
f (T, 0) = n o (121)


kB T ln 2 cosh c m0 para T Tc
donde m0 (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 < Tc , vi-
olando por lo tanto el criterio de estabilidad termodinamica! Significa esto que toda la
aproximacion esta mal? Veremos a continuaci
on 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 M
etodo 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

hf ()i = Tr P () f ()

donde Tr denota una suma (integral) sobre todos los valores de la variable . La
desigualdad de Jensen establece que
D E
ef () ehf ()i

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
D E
Z = e F = Tr eH[] = Tr eH[]ln = eH[]ln

donde h i significa un promedio tomado con la distribucion y F es la energa libre

asociada con H. Aplicando la desigualdad de Jensen

e F exp hHi hln i

107
o bien

F F = hHi + kB T hln i = Tr H + kB 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 u
nica restriccion de que
Tr = 1 es facil ver que esto implica

eH
=
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 H0
un Hamiltoniano de prueba, esto es, un Hamiltoniano para el cual conocemos como
calcular su funcion particion
X
Z0 = eH0
{Si }

Si proponemos

eH0
= (123)
Z0
tendremos que

1
f f = f0 + hH H0 i0 (124)
N
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
Y
= (125)
=1

En este caso la energa libre variacional de campo medio resulta

X
F = hHi + kB T Tr ln

Existen dos maneras de parametrizar las distribuciones . Si elegimos de la

P
forma (123), con lo cual H0 = H , entonces podemos escribir los Hamiltonianos de
una partcula en terminos de campos efectivos y utilizar estos u
ltimos 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 = h i. En este caso los parametros variacionales son
simplemente los parametros de orden h i. Vamos a ejemplificar ambas modalidades
con dos casos particulares.

3.2.1 Aproximaci
on variacional del modelo de Ising

Elijamos H0 como un Hamiltoniano de spines independientes

X
H0 = Si
i

donde es el campo efectivo variacional. De esta manera la cantidad

1
() = f0 + hH H0 i0
N

resulta una funcion del parametro . Podemos entonces definir la energa libre en la
aproximacion de campo medio como

fmf (T, B) = min () (126)

Calculemos entonces (). Tomemos por simplicidad el caso B = 0. Tenemos que

109
 1
f0 = ln [2 cosh ()]

hSi i0 = m0 = tanh ()

hH0 i0 = N m0

X
hHi0 = J hSi Sj i0
<i,j>

Dado que H0 es un Hamiltoniano de spines independientes tenemos que

hSi Sj i0 = hSi i0 hSj i0 = m20

de donde

Jz
hHi0 = N m20 .
2

Reuniendo todo esto tenemos

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

m0 m0 m0
= tanh () Jzm0 + m0 + = ( Jzm0 ) = 0

donde hemos usado que m0 = tanh (). Tenemos entonces que el mnimo de se
obtiene para

= Jzm0

de donde obtenemos nuevamente la ecuacion de Curie-Weiss (119). Reemplazando esta

solucion en la Ec.(127) obtenemos finalmente la expresion para la energa libre

110
 -.4

-.6

-.8

f(T)/(kTc)
-1.0

-1.2

-1.4

-1.6
0 1 2
T/Tc

Figura 23: Energa libre en la aproximaci

on de campo medio obtenida mediante el
metodo variacional.

1 1 2
fmf (T, B = 0) = ln 2 cosh m0 + m (128)
c 2c 0
la cual resulta identica a la energa libre del modelo de Curie-Weiss y se muestra en la
figura (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 Aproximaci
on 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

X X
H = J (q i ,j 1) B (qi ,1 1)
<i,j> i

donde el campo externo B favorece una direccion que arbitrariamente hemos elegido
como la 1. Para identificar el parametro de orden podemos analizar las fases de altas

111
y bajas temperaturas a campo nulo. A temperaturas suficientemente altas, un dado
sitio podra encontrarse en cada uno de los q estados con igual probabilidad. As,
hi , 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

1
i = (qi , 1)
q1
para = 1, . . . , q. Notemos que para q = 2 este parametro de orden es precisamente una
variable de spin Si = 1. A altas temperaturas hi i = 0 i, . A bajas temperaturas
hi 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 1i . Como ademas el sistema es homogeneo,

tendremos que 1i = m i. Notemos que

q
X
i = 0 (129)
=1
Por simetra, hi i tomara el mismo valor en todos los q 1 estados 6= 1. Usando la
Ec.(129) tenemos entonces que


m para = 1
hi i = (130)

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


1 [1 + (q 1)m] para
q =1
hi , i = (131)

1m
q para = 2, . . . , q
Podemos tambien calcular

D E q
X D E
i ,j = hi , i j ,
=1
1 q1
= [1 + (q 1)m]2 + 2 (1 m)2 (132)
q2 q

112
Usando las Ecs.(131) y (132) es facil ver que

Jz 2
hHi = (q 1) N m +Bm
2

La densidad de una partcula i es funcion solo de i y debe satisfacer los vnculos

q
X
Tri = i = 1 Tri 1i = m
i =1

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 verificar que

1
() = [1 + m (q,1 1)]
q

y por lo tanto

N
X q
N X 1 + m (q,1 1)
Tr i ln i = [1 + m (q,1 1)] ln
i=1
q =1 q

N [1 + m(q 1)] 1 + m(q 1) 1m
= ln + (1 m) ln
q q1 q q

y la funcional energa libre de campo medio por partcula resulta

f (m) Kz 2 1 1 + m(q 1) 1m
= m h m+ [1 + m(q 1)] ln + (q 1)(1 m) ln
q1 2 q q q
(133)
derivando respecto de m:

f (m) 1 1 + (q 1)m
= (Kzm + h) + ln =0
m q1 q 1m

de donde, definiendo el campo efectivo

113
 he Kzm + h

obetenemos la ecuacion de campo medio para m:

eq he 1
m= (134)
eq he + (q 1)
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

eq K z m 1
f (m) = (135)
eq K z m + (q 1)
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 6= 0. A la temperatura

q2 zJ
kB Tc =
q1 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 Tc 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 fluctuacion cero en el campo local, esto es, considerando fluctuaciones,

114
 1.0

0.8

0.6

0.4

0.2

0.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 Tc .

pero solo en un rango limitado. En la aproximaci

on de Weiss podemos pensar que
tomamos un spin arbitrario de referencia y que reemplazamos el resto de la red por un
campo efectivo. La aproximaci
on 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 Bef , 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
z
X z
X z
X
HBP = BS0 Bef Si JS0 Si B Si
i=1 i=1 i=1

donde S0 es el spin de referencia. Tomemos por simplicidad el caso B = 0. La funcion

de particion es
! z
X X z
X X X
ZBP = exp (hef + KS0 ) Si = e(hef +KS0 )S
S0 =1 {Si } i=1 S0 =1 S=1

ZBP = 2z [coshz (hef + K) + coshz (hef K)]

115
 Bef
S1

Bef -J
Bef Bef
-J -J
S Sz S0 S2

-J

Bef
S3
(a) (b)

Figura 25: Comparacion esquematica entre las aproximaciones de Weiss (a) y de Bethe-
Peierls (b).

donde hef Bef . La condicion de consistencia para Bef 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 (Si ) sea
independiente del sitio i. Dado que

1 X H
P (Si ) = e = 1 P (Si )
Z {S }
j6=i

y


1 X X
HBP coshz (hef + K)
P (S0 = 1) = e =
ZBP S =1 S =1 coshz (hef + K) + coshz (hef K)
1 z S0 =1

X X
1
HBP
P (Si = 1) = e i = 1, . . . , z
ZBP S =1 {S 6=i}
0 j Si =1
e hef +K cosh (hef + K) + ehef K coshz1 (hef
z1
K)
=
2(coshz (hef + K) + coshz (hef K))

116
 5

T < Tc
3

g(v)
2 T > Tc

0
0 1 2 3 4 5

1/v0 v v0

Figura 26: Solucion grafica de la Ec.(136).

Imponiendo entonces que P (S0 = 1) = P (Si = 1) i = 1, . . . , z obtenemos la ecuacion

para hef :

ehef +K coshz1 (hef + K) + ehef K coshz1 (hef K)

coshz (hef + K) =
2

Introduciendo la variable v = e2hef la ecuacion anterior resulta equivalente a

!z1
1 + ve2K
v = g(v) = (136)
v + e2K
Notemos que v = 1 (hef = 0) es siempre solucion de la Ec.(136) z, K. La pendiente
de g(v) en v = 1 resulta

e4K 1
g 0 (1) = (z 1)
(1 + e2K )2

Para g 0 (1) < 1 la Ec.(136) solo tiene por solucion v = 1. Para g 0 (1) > 1 aparecen
dos nuevas soluciones v0 y 1/v0 , que corresponden a invertir el campo hef , tal como
se muestra en la Fig.26. La temperatura crtica viene entonces dada por la condicion
g 0 (1) = 1, cuya solucion es

117

1 z
Kc = ln (137)
2 z2
Trabajando las expresiones anteriores puede verse entonces que



0
si T > Tc
2hef z
hSi =

tangh(hef +K)+e z1 tangh(hef K)
si T < Tc

2hef z

1+e z1

Para la red cuadrada z = 4 y tenemos entonces que Kc = ln (2)/2 = 0.346..., el cual

puede compararse con la prediccion de Weiss Kc = 1/z = 0.25 y con el resultado exacto

de Onsager Kc = 1/ ln ( 2 1) = 0.441.... Notemos por otra parte, que para d = 1
(z = 2) tenemos que Kc = (Tc = 0), esto es, la aproximaci
on de BP predice que no
hay transicion de fase a temperatura finita, a diferencia de la aproximaci
on de Weiss
que predice transicion incluso en d = 1. Puede verse ademas, que el calor especfico
en esta aproximacion no se anula para T > Tc , 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 aproximaci
on de BP siguen siendo los mismos que en
la aproximacion de Weiss. Finalmente, la aproximaci
on 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 aproximaci
on de Tc . Las
soluciones obtenidas por este procedimiento tienden a la solucion exacta en el lmite
de clusters infinitos. No obstante, para todo cluster finito 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
definimos el modelo, permitiendo utilizar incluso redes artificiales (no realistas) que
facilitan el desarrollo aproximaciones analticas bastante u
tiles. 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

Ns (n) = z(z 1)n1 n1

Ns (0) = 1

y el n
umero total de sitios para una red de m capas es
m
X m1
X (z 1)m 1 z(z 1)m 2
Nm = Ns (n) = 1 + z (z 1)n = 1 + z =
n=0 n=0
z2 z2

Notemos que la relacion superficie-vol

umen, esto es, el cociente entre el n
umero de
sitios en la superficie 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:

Ns (m) z2
lim =
m Nm z1

119
 3

1
0

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 superficiales
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 aproximaci
on de Bethe-Peierls. De ahi que a este tipo
de aproximacion se la denomina solucion en la red de Bethe. Veremos a continuaci
on
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

X X
H = K Si Sj + h Si
<i,j.> i

donde los sitios i estan definidos en un arbol de Cayley de coordinacion z. Para

120
m generaciones, notemos que este arbol puede descomponerse en z sub
arboles de m
generaciones, como se muestra en la Fig.(28a). La funcion particion del arbol completo
puede escribirse como

X
Z= ehS0 [Zm (S0 )]z = eh [Zm (+)]z + eh [Zm ()]z
S0 =1

donde Zm (S0 ) denota la funcion particion de un subarbol de m generaciones, que

incluye todas las interacciones dentro del subarbol, mas la interacci
on con el spin S0 .
Cada subarbol puede a su vez descomponerse en z 1 subarboles de m 1 generaciones
(ver Fig.(28b)). Esta descomposicion puede repetirse recursivamente para subarboles
de generaciones superiores. De esta manera

X
Zm (S0 ) = e(KS0 +h)S1 [Zm1 (S1 )]z1
S1 =1

esto es

Zm (+) = eK+h [Zm1 (+)]z1 + eKh [Zm1 ()]z1

Zm () = eK+h [Zm1 (+)]z1 + eKh [Zm1 ()]z1

Estas ecuaciones de recurrencia nos permiten calcular las funciones de particion Zm

iterando para los sucesivos subarboles. La magnetizacion en el sitio central es

1 X hS0 eh [Zm (+)]z eh [Zm ()]z

m= e S0 [Zm (S0 )]z = h
Z S =1 e [Zm (+)]z + eh [Zm ()]z
0

Definiendo la cantidad

Zm () eK+h [Zm1 (+)]z1 + eKh [Zm1 ()]z1

xm =
Zm (+) eK+h [Zm1 (+)]z1 + eKh [Zm1 ()]z1

obtenemos la ecuacion de recurrencia

z1
eK+h + eKh xm1
xm = z1
eK+h + eKh xm1

y la magnetizacion viene dada por

121
 (a)

S0

S0 S0 S0

(b)

S1

S1

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 m 1 generaciones.

122
 eh eh xzm
m=
eh + eh xzm

donde xm se obtiene entonces de iterar m veces la ecuacion de recurrencia x0 = F (x)

donde

eK+h + eKh xz1

F (x) = (138)
eK+h + eKh xz1
esto es, xm = F (xm1 ), xm1 = F (xm2 ), etc.. En el lmite termodinamico la magne-
tizacion en el sitio central resulta

eh eh (x )z
m=
eh + eh (x )z

donde x es el lmite de la sucesion que se obtiene de iterar infinitas veces la ecuacion

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

x = F (x )

ya que

lim xm = lim xm1 = x

m m

Una solucion de este tipo se conoce como un punto fijo de la ecuacion de recurrencia.
Si la sucesion converge, el lmite es necesariamente un punto fijo, pero no todo punto
fijo es un lmite de la ecuacion de recurrencia. Esto depende de la estbilidad del punto
fijo. De la Fig.29 vemos que valores cercanos a un punto fijo x van a alejarse del
mismo al iterar la ecuacion de recurrencia si F 0 (x ) > 1; estos puntos fijos se dicen
inestables. Por el contrario, puntos cercanos al punto fijo van a converger al mismo
al iterar la ecuacion de recurrencia si F 0 (x ) < 1; estos puntos fijos se dicen estables.
El lmite de la sucesion, por lo tanto, solo puede corresponder a un punto fijo estable.
Derivando la Ec.(138) podemos ver que F 0 (x) > 0 x > 0, K y h. Asi, F (x) en este

123
 (a) (b)

F(x)
y=x

F(x)

y=x

x0 x1 .... ... x2 x1 x0

x* x*

Figura 29: Puntos fijos de una ecuacion de recurrencia x0 = F (x) y sucesion de puntos
xn+1 = F (xn ). (a) Punto fijo inestable. (b) Punto fijo estable

caso es monotona creciente con F (0) = e2K y F () = e2K . Existen entonces solo
dos posibilidades para la ecuacion de punto fijo (ver Fig.30a) : i) un u
nico punto fijo
estable o ii) tres puntos fijos, dos estables y uno inestable (ver Fig.30b). Para h = 0
tenemos que

1 + e2K (x )z1
x = (139)
e2K + (x )z1
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 0 (1) = 1. Una cuenta directa nos lleva entonces a la condicion

124
 (a) (b)
F(x) F(x)

2K
2K e
e

-2K
e e
-2K

0 0
x x

Figura 30: Puntos fijos posibles de la funcion (138). (a) Un u

nico punto fijo estable.
(b) Dos puntos fijos estables y uno inestable.

1
tgh(Kc ) =
z1
Usando que

1 1 1+x
tgh (x) = ln
2 1x
llegamos finalmente a la misma temperatura crtica obtenida mediante la aproximaci
on
de Bethe-Peierls:

1 z
Kc = ln
2 z2
Notemos finalmente que para z = 2 (d = 1) la ecuacion de punto fijo queda

1 + e2K x
x = (x )2 = 1
e2K + x
y recuperamos el resultado esperado de que no hay solucion ferromagnetica a campo
nulo.

125