Lección 8: Modelos reticulares

En este capı́tulo introduciremos un conjunto de modelos que han jugado

un papel muy importante en el desarrollo de la teorı́a de los cambios de
fase. La mayorı́a de estos modelos son versiones muy simplificadas que los
hacen poco realistas pero que permiten un desarrollo analı́tico tratable, y
más importante, capturan la esencia de lo que ocurre cuando en un sistema
real ocurre un cambio de fase continuo. Ası́ muchos resultados importantes
asociados a cambios de fase han sido derivados estudiando estos modelos.
Nos vamos a restringir exclusivamente en modelos de cosas que ocurren
en un retı́culo de N posiciones. Llamaremos ası́ a estos modelos modelos
reticulares. El retı́culo puede tener dimensión una, dos, tres o en general
dimensión arbitraria d. Suponemos además geometrı́a cúbica de forma que
nuestro retı́culo es un cubo d-dimensional con L ≡ N 1/d posiciones en cada
lado. En cada punto de este retı́culo definimos el parámetro de orden φ(x),
que puede ser un escalar, un vector, o incluso un tensor, y puede tomar
valores reales o complejos.

El modelo de Ising
Fue inventado por W. Lenz en 1920 como un modelo sencillo de com-
portamiento magnético en un ferromagneto, aunque como veremos se puede
aplicar al estudio de una gran variedad de sistemas. Fue resuelto en primer
lugar por E. Ising en 1925 quien estudió el caso de dimensión d = 1. En
1944, Onsager resolvió el modelo para dimensión d = 2 en ausencia de cam-
po magnético externo y mostró que los exponentes crı́ticos del modelo eran
muy diferentes de aquellos que da la teorı́a de Landau, que hasta aquel mo-
mento estaba considerada como correcta. Una solución exacta para d = 2 con
campo externo no nulo ha sido encontrada muy recientemente y después de
muchos años de esfuerzo no se ha encontrado solución exacta para dimensión
d = 3 incluso en ausencia de campo magnético externo.
La descripción del modelo es sencilla. Consiste de una red cúbica d−dimensional
de forma que en cada posición de la red hay definida una variable de estado
si escalar que puede tomar los valores ±1. El hamiltoniano del sistema es
1X X
H(S) = − Jij si sj − B si (496)
2 i,j i

donde B representa un campo magnético externo, y las interacciones Jij están

107
definidas como

 J si i y j son vecinos próximos
Jij = (497)
0 en otro caso


Hay 2N posibles microestados o configuraciones compatibles con el macroes-

tado definido por el hamiltoniano H(S). La función de partición del modelo
se escribe entonces como
" !#
X 1X X
Z= exp β Jij si sj + B si (498)
2 i,j i
{si }

El modelo de Ising ası́ representa un conjunto de espines magnéticos interac-

cionando entre ellos y que tienden a alinearse de forma parelela o antiparalela
en la dirección de un campo magnético uniforme B. Cuando J > 0 espines
vecinos tratan de alinearse de forma paralela y al mismo tiempo paralela-
mente al campo B, luego el modelo representa a un ferromagneto. Si J < 0
el estado de mı́nima energı́a se obtiene cuando los espines están alineados de
forma antiparalela y en este caso el modelo describe un antiferromagneto.

Solución para d = 1. El modelo de Ising en dimensión d = 1 fue resuelto

de forma exacta por Ising en su tesis y publicado en 1925, utilizando
un método combinatorial. Nosotros vamos a ver aquı́ un cálculo de
1941 debido a Kramers y Wannier y que posteriormente en 1944 fue
extendido por Onsager para resolver el modelo de Ising en d = 2 en
ausencia de campo magnético externo. Consiste en suponer una cadena
unidimensional de N dipolos si que interacctúan sólo con sus vecinos
próximos. Para preservar la simetrı́a se considera la cadena unida por
sus extremos formando un anillo. Ası́ el dipolo 0 interactúa con el 1
y con el N − 1 y consideramos sN = s0 . Sea H0 (si , si+1 ) la energı́a
de interacción entre los dipolos i e i +P1(En el caso del modelo de
ising H0 = −Jsi si+1 ). Entonces H = i H0 (si , si+1 ) y la función de
partición es
" N −1
#
X X
Z = exp −β H0 (si , si+1 )
{si } i=0
(499)
X NY
−1
= exp [−βH0 (si , si+1 )]
{si } i=0

108
Definiendo la matriz de transferencia
Tµ,ν ≡ exp [−βH0 (sµ , sν )] (500)
donde sµ significa el valor µ de la variable s. En el caso del modelo
de Ising cada si tiene dos posibles valores s± ) ± 1, de forma que T es
una matriz 2 × 2. Como H0 es simétrico en sus argumentos T es real,
simétrica y con elementos mayores que cero. Podemos entonces poner
Z en términos de T en la forma
Z = Tr TN (501)
Podemos generalizar el resultado anterior al caso en que tenemos además
en H un término de interacción de los espines con un cambo B externo,
ası́ ahora el hamiltoniano se puede poner
N −1 N −1
X BX
H = −J si si+1 − (si + si+1 ) (502)
i=0
2 i=0

y la matriz T sigue siendo simétrica

 
µ ν 1 µ ν
Tµ,ν ≡ exp −βH0 (s , s ) − β{V (s ) + V (s )} (503)
2
Es facil comprobar que todavı́a se cumple Z = Tr TN . En el caso de
B = 0 la matriz de transferencia es
 βJ
e−βJ

e
T= (504)
e−βJ eβJ

En el lı́mite de N grande la traza de la matriz TN se puede calcular

fácilmente. La traza es invariante bajo transformaciones ortogonales de
T, y puesto que T es simétrica y positiva sus autovalores son reales y
positivos y puede ser diagonalizada por tales transformaciones. En el
marco en que T es digonal, TN también lo es, y sus autovalores son los
de T elevado a N. Denotemos los autovalores de T en orden decreciente
de magnitud λ0 , λ1 entonces:
n h io
N
lı́mN →∞ N1 ln(Tr TN ) = lı́mN →∞ N1 ln λN0 1 + (λ 1 /λ 0 )
(505)
= ln λ0
y se puede ver que λ0 = 2 cosh βJ. Entonces la función de partición y
el potencial energı́a libre es:
1
Z = 2N coshN (βJ) f = − ln[2 cosh(βJ)] (506)
β

109
 La energı́a interna por espı́n es

∂(βf )
u= = J tanh(βJ) (507)
∂β
que es una función suave de β. Luego el sistema no tiene una singular-
idad en el calor especı́fico como ocurre en un material ferromagnético
a la temperatura de Curie.
En presencia de un campo magnético externo B la matriz de transfer-
encia es  β(J+B)
e−βJ

e
T= (508)
e−βJ eβ(J−B)
con
 q 
βJ 2 −4βJ
λ0 = e cosh(βB) + cosh (βB) − (1 − e ) (509)

y ahora la energı́a libre por espı́n es:

 
1
q
2
f = −J − ln cosh βB + cosh (βB) − (1 − e−4βJ ) (510)
β

La magnetización por espı́n se puede calcular fácilmente y es

 
M ∂f
m≡ N = hsi i = −
∂B T
(511)
sinh βB
= q
cosh2 βB − (1 − e−4βJ )

No importa que valor de β hay, se tiene que m → 0 cuando B → 0, luego

el sistema nunca es un ferromagneto. Como consecuencia, el sistema no
presenta un cambio de fase4
Ejercicio: Usando las matrices de transferencia mostrar que la función
de correlación para el modelo de Ising en d = 1 con B = 0 es:
1X Y
hs0 sn i ≡ s0 sn eβJsi sj = tanhn (βJ) (512)
Z paresij
{si }

4
Después de este resultado Ising no volvió a publicar ningún artı́culo.

110
Solución para d = 2. La ventaja del método de las matrices de tranfer-
encia es que se puede generalizar fácilmente a dos o más dimensiones.
Vamos a considerar el caso de dimensión dos para lo cual consideramos
una red bidimensional (con m filas y n columnas) sobre un cilindro
(condiciones de contorno periodicas en columnas pero no en filas). En
estas condiciones la energı́a configuracional del sistema de espines es:
m−1
XX n m X
X n m X
X n
H(S) = −J si,j si+1,j − J si,j si,j+1 − B si,j (513)
i=1 j=1 i=1 j=1 i=1 j=1

con sn+1 = s1 . Si denotamos por σj la configuración de la columna j,

es decir
σj = (s1,j , s2,j , . . . , sm,j ) (514)
hay 2m configuraciones posibles para cada columna, entonces se puede
escribir la energı́a configuracional como la suma de dos términos, la
energı́a de interacción de cada columna y la energı́a de interacción
entre columnas vecinas próximas. Ası́ si definimos
m−1
X m
X
V1 (σj ) = −J si,j si+1,j − B si,j (515)
i=1 i=1

la energı́a de interacción de la columna j y

m
X
V2 (σj , σj+1 ) = −J si,j si,j+1 (516)
i=1

la energı́a de interacción entre la columna j y j + 1, podemos escribir

(teniendo en cuenta que σn+1 = σ1 )
n
X
H= [V1 (σj ) + V2 (σj , σj+1 )] (517)
j=1

La función de partición queda entonces como

X
Zn,m = exp(−βH(s))
{s}

" n
!#
X X
= exp {V1 (σj ) + V2 (σj , σj+1 )}
(518)
σ1 ,...,σn
X j=1
= T (σ1 , σ2 )T (σ2 , σ3 ) . . . T (σn−1 , σn )T (σn , σ1 )
σ1 ,...,σn X
= T n (σ1 , σ1 )
σ1

111
donde la matriz de transferencia T (σ, σ 0 ) viene dada por
T (σ, σ 0 ) = exp[−βV1 (σ)] exp[−βV2 (σ, σ 0 )]

m−1 m
! m
!
X X X
= exp βJ si si+1 + βB si exp βJ si s0i
i=1 i=1 i=1
(519)
que se puede poner en forma simétrica como (Ejercicio)
β β
T (σ, σ 0 ) = exp[− V1 (σ)] exp[−βV2 (σ, σ 0 )] exp[− V1 (σ 0 )]
2 2
m−1 m
! m
!
βJ X βB X X
= exp si si+1 + si exp βJ si s0i
2 i=1 2 i=1 i=1
m−1 m
!
βJ X βB X
× exp s0i s0i+1 + s0
2 i=1 2 i=1 i
(520)
m m
que es una matriz 2 × 2 . Entonces la función de partición queda:
2m
X
Zn,m = Tr (T) = n
λnj (521)
j=1

donde como antes λ1 > λ2 ≥ . . . ≥ λ2m . Si ahora en el lı́mite ter-

modinámico permitimos que n se aproxime a infinito antes que m
(aunque no es una condición necesaria) entonces
1 1
f = − lı́m lı́m ln Zn,m
β m→∞ n→∞ mn "
2m
!#
1 1 X
= lı́m ln λ1 + lı́m lı́m ln 1 + (λj /λ1 )n
m→∞ m m→∞ n→∞ mn
j=2
1
= lı́m ln λ1 .
m→∞ m
(522)
ası́ el problema se reduce también a encontrar el autovalor más grande
de la matriz T, pero mientras que para dimensión d = 1 se trata de
una matriz 2 × 2, en dimensión d = 2 hay que diagonalizar una matriz
2m × 2m con m → ∞.
El método desarrollado hasta aquı́ puede ser generalizado a dimensión
d > 2. Por ejemplo para d = 3 definimos σj la configuración del plano
bidimensional j y contruimos la red mediante estos planos. V1 (σj ) rep-
resenta ahora la energı́a de interacción de un plano y V2 (σj , σj+1 ) la

112
energı́a de interacción entre los planos j y j + 1 y ası́ sucesivamente
para dimensiones mayores.
Para campo B = 0 el problema bidimensional fue resuelto por Onsager
en 1944 en uno de los artı́culos más celebrados de las últimas décadas.
Ha habido muchas simplificaciones de dicha demostración pero incluso
la más simple es bastante complicada. No vamos a demostrar explici-
tamente la solución de Onsager pero sı́ vamos a discutir los resultados
más relevantes que se derivan de su solución.
Usando algebras de Lie y teorı́a de grupos, Onsager encontró que el
autovalor más grande de la matriz de transferencia con B = 0 es:
1
λ1 = (2 sinh ν)m/2 exp[ (γ1 + . . . + γ2m−1 )], (523)
2
donde γk se define por la relación
cosh γk = cosh 2νcoth2ν − cos(kπ/m) (524)
y ν = βJ. La energı́a libre por espı́n es entonces
m−1
1 1 X
−βf = ln(2 sinh 2ν) + lı́m γ2k+1 . (525)
2 m→∞ 2m
k=0

En el lı́mite m → ∞ la suma en la expresión anterior se puede sustituir

por una integral,
Z π
1 1
−βf = ln(2 sinh 2ν)+ cosh−1 (cosh 2ν coth 2ν−cos θ)dθ (526)
2 2π 0
y usando la identidad
π
1
Z
−1
cosh |z| = ln[2(z − cos φ)]dφ (527)
π 0
se tiene
π
1 1 1
ZZ
−βf = ln(2 sinh 2ν)+ ln 2+ 2 ln(cosh 2ν coth 2ν−cos θ−cos φ)dθdφ
2 2 2π
0
(528)
que da la fórmula simétrica de Onsager:
π
1
ZZ
−βf = ln 2 + 2 ln[cosh2 2ν − sinh 2ν(cos θ1 + cos θ2 )]dθ1 dθ2
2π
0
(529)

113
Podemos calcular la energı́a interna por espı́n u
   
U ∂βf ∂βf
u ≡ = =J
N ∂β ∂ν

= −J coth 2ν
 
π
1 dθ1 dθ2
ZZ
2
 
×
1 + (sinh 2ν − 1) π 2

cosh2 2ν − sinh 2ν(cos θ1 + cos θ2 ) 
0
(530)
Aquı́ la integral diverge logarı́tmicamente en el origen (θ1 = θ2 = 0)
cuando cosh2 ν = 2 sinh 2ν (Ejercicio: demostrarlo). Hay una singu-
laridad, o cambio de fase, por lo tanto cuando

δ ≡ cosh2 2ν − 2 sinh 2ν = 0 (531)

es decir cuando ν = νc = J/kTc solución a la ecuación

sinh 2νc = 1 (532)

Se sigue de esto que la energı́a interna u es contı́nua en ν = νc y que

en una vecindad de dicho valor viene dada por (Ejercicio):

u ∼ −J coth 2νc [1 + A(ν − νc ) ln |ν − νc |] (533)

con A constante. De este resultado se sigue que el calor especı́fico en la

vecindad del punto crı́tico C = ∂U∂T
presenta una divergencia logarı́tmica
simétrica (C ∼ B ln |ν − νc |) en el punto crı́tico.
Uno puede determinar la energı́a interna u de forma exacta calculando
de forma exacta la integral obteniendo (Ejercicio)
 
2 2
u = −J coth 2ν 1 + (2 tanh 2ν − 1) K(k1 ) , (534)
π

donde
2 sinh 2ν
k1 = (535)
cosh2 2ν
y K(k1 ) es la integral completa elı́ptica de primera especie definida por
Z π/2
K(k1 ) = (1 − k12 sin2 θ)−1/2 dθ (536)
0

114
de donde el calor especı́fico queda
2k
(ν coth 2ν)2 2K(k1 ) − 2E(k1 ) − 2(1 − tanh2 2ν)

C =
π
(537)
hπ io
+ (2 tanh2 2ν − 1)K(k1 )
2
donde E(k1 ) es la integral completa elı́ptica de sengunda especie defini-
da como Z π/2
E(k1 ) = (1 − k12 sin2 θ)1/2 dθ (538)
0
En la vecindad de k1 = 1 se tiene

K(k1 ) ∼ ln[4(1 − k12 )−1/2 ] (539)

que da la divergencia logarı́tmica del calor especı́fico.

En presencia de un campo magnético el modelo de Ising en dimensión
d = 2 sólo ha sido resuelto muy recientemente. No vamos a entrar en
su derivación. Dicha derivación es necesaria para obtener el compor-
tamiento de la magnetización expontánea cerca del punto crı́tico que
es
∂f
m0 = lı́m+ (540)
B→0 ∂B

donde lı́mB→0+ se hace después de hacer el lı́mite termodinámico, lo

cual sugiere resolver el modelo de Ising en presencia de campo externo
no nulo. Métodos alternativos que no vamos a describir sugieren un
comportamiento

 [1 − (sinh 2ν)−4 ] T < Tc
m0 = (541)
0 T ≥ Tc


pero nadie ha probado que esta expresión deriva de la definición de m0 .

La expresión (541) fue derivada primero por Onsager en la década de los
40 pero nunca publicó su derivación. No fue hasta el año 1952 cuando
C.N. Yang publicó una primera derivación de tal expresión trabajando
con campos B débiles y haciendo después el lı́mB→0+ . Tal derivación y
otras más recientes son extremadamente complejas, que en vista de la
simplicidad del resultado es a la vez sorprendente y frustrante.

Solución para d = ∞. Teorı́as de campo medio. Interacción de largo

alcance.

115
 Versión estocástica del modelo de Ising. Uno puede construir una ver-
sión estocástica del modelo de Ising considerando las variables sx son
variables estocásticas que pueden tener los valores ±1 con igual proba-
bilidad. Entonces la configuración de la red de Ising S también es una
variable estocástica de dimensión N que puede tomar 2N posibles con-
figuraciones o estados. En estas condiciones nos podemos preguntar por
la probabilidad de que la red esté en una de esas configuraciones en un
instante de tiempo t, esto es P (S, t). Si suponemos que la red está en
contacto con un baño térmico a temperatura T dicho baño induce cam-
bios estocásticos en los espines de tipo espin-flip que no dependen de la
historia, es decir la evolución en el tiempo de las variables estocásticas
es un proceso de Markov y P (S, t) cumple la ecuación maestra:
∂P (S, t) X
= W (S|S0 )P (S0 , t) − W (S0 |S)P (S, t) (542)
∂t
S0
donde W (S|S0 ) es la probabilidad de transición por unidad de tiempo
de que el sistema pase de S0 a S. Usualmente uno considera que en la
unidad de tiempo sólo un espı́n cambia de orientación por efecto del
baño. Esto supone considerar que
X Y
W (S0 |S) = ω(S; y)δsy ,−s0y δsx ,s0x (543)
y x6=y

donde ω(S; y) es la probabilidad por unidad de tiempo de que el espin

en la posición y de la red cambie de orientación, y en general es una
función definida positiva que depende de la diferencia energética que se
produce en la red cuando el espı́n y cambia de orientación. Con todo
esto la ecuación maestra queda en la forma
∂P (S, t) X
= ω(Sx ; x)P (Sx , t) − ω(S; x)P (S, t) (544)
∂t x
aquı́ Sx es igual a S salvo en la posición x, donde la orientación es
la opuesta. Si las ω(S; y) verifican balance detallado la distribución
estacionaria para P∞ (S) es la distribución de Gibbs con el hamiltoniano
de Ising.

El modelo de gas reticular

El modelo de Ising es matemáticamente equivalente al siguiente modelo
de gas no-ideal. Consideremos el gas encerrado en un volumen d−dimensional

116
de forma cúbica y lo dividimos en celdas de tamaño justo el tamaño de las
moléculas individuales. Cada molécula está obligada a ocupar sólo una celda
y ninguna celda puede contener más de una moécula. Como se trata de un
gas no ideal cada moécula atrae a las otras y la energı́a del gas es menor
cuando las moléculas están en celdas adyacentes que cuando están en celdas
aisladas. Esto se traduce en cambiar la energı́a del gas en un factor 4J > 0
para cada par de moéculas en posiciones adyacentes. Sea ei una variable de
estado que es cero si la celda no tiene moléculas y uno en caso contrario.
Entonces la energı́a de atracción intermolecular queda
X
2 Jij ei ej (545)
ij

y la función de partición macrocanónica se escribe:

!
X X X
Ξ= exp βµ ei + 2β Jij ei ej (546)
{ei } i ij

donde µ es el potencial quı́mico del gas. Podemos encontrar la equivalencia

con el modelo de Ising original sin más que hacer el cambio
si = 2ei − 1 (547)
Ejercicio: encontrar la equivalencia entre el modelo de Ising y el modelo de
gas reticular.

El modelo XY y el modelo de Heisenberg

Los dipolos magnéticos del modelo de Ising solo tienen dos posibles ori-
entaciones, en la dirección del campo magnético y en la dirección contraria
al campo magnético. Es lógico pensar que diferentes cambios de fase podrı́an
ocurrir si los espines tienen una mayor flexibilidad de orientarse. En el caso
del modelo XY los espines pueden orientarse en cualquier dirección dentro
de un plano. Entonces cada espı́n viene representado por un vector de dos
componentes, mientras que el modelo de Heisenberg está constituido por un
conjunto de espines clásicos D-dimensionales5 . En estos modelos la energı́a
de interacción entre espines vecinos es −Jsi · sj de forma que la función de
partición del sistema es
" !#
X X 1X
Zheisen = exp β B · si + Jij si · sj (548)
i
2 i,j
{si }

5
Más concretamente el modelo de Heisenberg serı́a para D = 3.

117
puesto que vectores bidimensionales pueden representarse mediante números
complejos uno puede utilizar en vez del vector s por una variable compleja
ψ de forma que el término de interacción queda 21 J(ψi∗ ψj + ψi ψj∗ ).

El modelo de Potts
El modelo de Potts es un modelo de Ising en el que las variables de espı́n
q > 2 posibles valores, y tal que la energı́a de interacción entre posiciones
vecinas es cero si si 6= si+1 y J si si = si+1 .

El modelo Gaussiano y esférico

Fueron dos modelos inventados por M. Kac quien pensó que podrı́an
dar una idea de la solución de Onsager del modelo de Ising. El primero de
ellos es el modelo Gaussiano que es incapaz de tener un cambio de fase en
cualquier dimensión. Sin embargo es un modelo ampliamente utilizado pues
es el punto de partida de teorı́as continuas como la teorı́a de Ginzburg-landau
y su aproximaciones perturbativas. El segundo modelo inventado por Kac es
el modelo esférico que es uno de los pocos modelos que se pueden resolver en
dimensión d = 3. Berlin and Kac los resolvieron en (1952) para dimensiones
desde d = 1 hasta d = 3. En 1969 Stanley probó que su función de partición
es la misma que la del modelo de Heisenberg en el lı́mite D → ∞.
La idea de ambos modelos es hacer el modelo de Ising más tratable per-
mitiendo que los espines puedan tener cualquier valor real −∞ < s < ∞.
Vamos a considerar por tanto que las variables de espı́n se puenden sustituir
por variables continuas reales. En el modelo Gaussiano cada una de estas
variables está asociada con un término de autoenergı́a 21 s2i /β, entonces el
hamiltoniano para el modelo Gaussiano es
1 X 2 1X X
H= si − Jij si sj − B si (549)
2β i 2 ij i

A temperaturas altas el valor mı́nimo de la energı́a se obtiene cuando si = 0

y el promedio del espı́n cancela hsi = 0. Sin embargo por debajo de una
cierta temperatura los terminos en H proporcionales a J pueden sobrepasar
la contribución de la primera suma y H/N puede tan negativa como queramos
si permitimos que si crezca sin cota. Entonces a dicha temperatura crı́tica
no sólo no se alinean sino que explotan.
El modelo esférico pone un tope sustituyendo el término de autoenergı́a
por la condición X
s2i = N (550)
i

118
Esta condición también la satisfacen los espines del modelo de Ising. La
función de partición del modelo esférico es
" !#
1X
Z X
Z= P ds1 . . . dsN exp β B si + Jij si sj (551)
s
i i
2 =N
i
2 ij

Por simplicidad consideremos B = 0, entonces la función de partición se

puede poner como
" # !
1X
Z X
Z = ds1 . . . dsN exp β Jij si sj δ s2i − N
2 ij i
" # " !#
i∞
1X 1
Z Z X
= ds1 . . . dsN exp β Jij si sj dp0 exp p0 N − s2i
2 ij 2πi −i∞ i
(552)
Las integrales sobre los espines no se pueden realizar pues no son absoluta-
mente convergentes6 . Sin embargo para cualquier α se tiene:
1 X X 1 X
β Jij si sj = N α − α s2i + β Jij si sj (553)
2 ij i
2 ij

Para α suficientemente grande la forma cuadrática anterior en si puede ser

definida negativa y entonces las integrales pueden ser absolutamente conver-
gente. Entonces
" #
eN α α+i∞ X 
1
Z Z
pN
Z= dpe ds1 . . . dsN exp − pδij − βJij si sj
2πi α−i∞ ij
2
(554)
0
donde hemos hecho p = p + α. Buscamos después un transformacion lineal
unitaria de variables si tal que en las nuevas variables la matriz J es diagonal.
Entonces la integral sobre dichas variables se reduce a un producto de N
integrales del tipo Z ∞
2
p
dxe−cx = π/c (555)
−∞
1
con c = p + 2
βλq
y λq es el q-ésimo elemento diagonal de J en el nuevo
sistema de coordenadas. De esta forma Z queda:

π N/2 eN α α+i∞ 1
Z Y
Z= dpepN / (p + βλq )1/2
2πi α−i∞ q
2
" # (556)
π N/2 eN α α+i∞ 1X 1
Z
= dp exp pN − ln(p + βλq )
2πi α−i∞ 2 q 2
6
R∞ RX
0
f (x)dx es absolutamente convergente si lı́mX→∞ 0
|f (x)|dx existe.

119
luego podemos reducir las N integrales a una si podemos diagonalizar J.
Para ello notamos que los elementos de la matriz de interacción de un sistema
invariante traslacional dependen sólo de la diferencia de indices, esto es Jij =
J(i − j). Como cada ı́ndice representa el vector de posición de un nudo de la
red entonces: X X
Jij sj = J(i − j)sj (557)
j j

que se puede evaluar con ayuda del teorema de la convolución discreta de

Fourier. Las correspondientes trasformadas de Fourier son
X 
J˜q = Jj e−2πi(j·q)/L 

j


X (ql = 0, . . . , L − 1) (558)
−2πi(j·q)/L 

s̃q = sj e 


j

de donde se tiene
X 1 X˜
J(i − j)sj = Jq s̃q e2πi(i·q)/L (559)
j
N q

con L = N 1/2 y q es un vector d−dimensional con componentes enteras.

Multiplicando por si y sumando sobre todo i se tiene
X 1 X ˜
J(i − j)si sj = Jq |s̃q |2 (560)
ij
N q

que implica que la forma cuadrática

√ está diagonalizada con una transforma-
ción de coordenadas si → s̃q / N que es unitaria, luego λq = J˜q . Teniendo
en cuenta que la interacción J es a vecinos próximos se tiene

 (±1, 0, . . .)
i−j= (0, ±1, . . .) (561)
...


se tiene la transformada discreta de fourier para las interacciones:

J˜q =
X
J(j)e2πij·q/L
j
d
X (562)
= −2J cos(2πql /L)
l=1

120
ahora se tiene que
d
X 1 X X
ln[p + β J˜q ] = N ln(βJ) + ln[ζ − cos(2πql /L)] (563)
q
2 q l=1

con ζ = p/βJ, pero puesto que L = N 1/d es grande la suma en q se convierte

en una integral d−dimensional sobre variables ωl = 2πql /L:
d 2π d
N
X X Z X
ln[ζ − cos(2πql /L)] ≈ dω1 . . . dωd ln[ζ − cos ωl ] ≡ N φ(ζ)
q l=1
(2π)d 0 l=1
(564)
de donde la función de partición es:
N/2 N α α+i∞
1−N/2 π e
Z
Z = (βJ) dζeg(ζ) (565)
2πi α−i∞

con g(ζ) = N (βJζ − 21 φ(ζ)). La integral anterior se puede evaluar mediante

el método del punto de silla cuando N → ∞, dando lugar a

eg(ζs )
Z ' (βJ)1−N/2 π N/2 eN α p (566)
2πg 00 (ζs )

donde ζs es el valor para el que g(ζ) tiene un máximo y es solución de la

ecuación Z 2π
1 dω1 . . . ωd
2βJ = d
P (567)
(2π) 0 ζs − l cos ωl
Uno puede demostrar que para d ≤ 2 cuando bajamos la temperatura y una
vez pasado el valor ζs = d, en el que la integral anterior es singular, ζs (β)
es una función suave definida para todo β (el máximo de g está en ζs > d
) y por lo tanto Z(ζs ) también es una función suave de β, de forma que el
modelo esférico no tiene un cambio de fase para d ≤ 2.

121
 En cambio para d = 3 la integral toma un valor constante igual a 0,50546
(el máximo de g está en ζs = d que es el punto singular) incluso para ζs = 3
donde la integral es singular. Entonces sólo para β < 0,25272/J ζs es una
función suave de β, y en βc = 0,25272/J aparecen discontinuidades en el
gradiente de Z que dan cuenta de un cambio de fase.
Ejercicio: Probar que para el modelo esférico en d = 3, cerca de βc se
tiene (ζs − 3) ∼ (βc − β)2
Podemos evaluar la energı́a libre por espı́n en la forma:

1 1
βf = ln βJ − g(ζs )/N − ln π − α
2 2
1
= ln βJ − βJζs (568)
2 !
Z 2π d
1 1 X 1
+ dω 1 . . . dω d ln ζ s − cos ω l − ln π − α
2 (2π)d 0 l=1
2

Ejercicio: Evaluar la energı́a interna por espin u y el calor especı́fico

c = du/dt para el modelo esférico enPd = 3. Evaluar el exponente crı́tico α.
Probar que la suceptibilidad χ = β i s2i diverge en la temperatura crı́tica
con exponente crı́tico γ = 2
Para encontrar el exponente crı́tico δ necesitamos una expresión de f en
presencia de un campo externo B. Uno puede ver que
1 1 ( 21 βB)2
βf = ln βJ − g(ζs )/N − ln π − α − (569)
2 2 βJ(ζs − d)
con
1 2π
dω1 . . . ωd 2( 21 βB)2
Z
2βJ = P + (570)
(2π)d 0 ζs − l cos ωl βJ(ζs − d)2

122
Ejercicio: Hacerlo. Probar además que la isoterma crı́tica cumple (ζs − 3) ∼
B 4/5 para B pequeño, y usar este resultado para evaluar δ.
Podemos encontrar también el exponente crı́tico β que describe la variación
de hsi justo por debajo de Tc . Ejercicio: Encontrar la expresión de hsi cerca
de Tc y encontrar el exponente β.
Finalmente uno puede encontrar los exponentes η y ν para lo cual necesi-
tamos la función de correlación hs0 sn i, que no se puede derivar del conocimien-
to explı́cito de Z. Uno puede ver que para d = 3 se tiene η = 0 y ν = 1.

123
Teorı́as de campo medio
Los modelos de magnetismo descritos anteriormente son, en general, difı́ciles
de resolver de forma analı́tica exacta. En concreto, el modelo de Ising sólo
está resuelto exactamente en 1 y 2 dimensiones. Cuando no podemos traba-
jar de forma analı́tica podemos hacer simulaciones numéricas del sistema, o
bien utilizar aproximaciones. Entre éstas, están las teorı́as de campo medio
y de perturbaciones.
Dada la versatilidad del modelo de Ising, que permite estudiar sistemas
magnéticos, el gas reticular, las mezclas binarias, las redes neuronales, sis-
temas biológicos, etc, es interesante hacer un estudio previo de las diferentes
aproximaciones que existen en la literatura.
Consideremos un sistema magnético constituido por N espines que se
encuentran en los nudos de una red d-dimensional Λ, en contacto con un baño
a temperatura T . En un instante de tiempo t, el sistema se encuentra con una
determinada configuración de espines s = {si = ±1, ∈ Λ} y de interacciones
J = {Ji,j ∈ <, i, j ∈ Λ}. Del conjunto de toda la red diferenciamos un
cluster (ver figura 4), ΛC , constituido por un conjunto ΛI de nudos que
constituyen su interior, y el conjunto de vecinos próximos de los mismos, que
constituyen su frontera ΛF , es decir:
[ \
ΛC = Λ I ΛF , ΛI ΛF = ∅
ΛI = {i ∈ ΛC /si |i − j| = 1 ⇒ j ∈ ΛC }. (571)

La aproximación de campo medio consiste en considerar de forma exacta,

en el hamiltoniano, la interacción entre espines que se encuentran en algún
nudo del cluster. El resto de las interacciones en la red se tienen en cuenta
añadiendo en el hamiltoniano un campo medio, desconocido a priori, que se
calcula de forma autoconsistente.
Existen diferentes grados u órdenes de aproximación, dependiendo del
número de espines que constituyan el cluster. Ası́ si card(ΛC ) = N tendremos
el problema exacto. No existe una teorı́a general que nos dé, a cualquier orden
n, la correspondiente aproximación de campo medio. Vamos a estudiar los
dos primeros órdenes en la teorı́a de campo medio.

Aproximación de orden 0 (Bragg-Willians).

Cuando el rango del .orden”se refiere a todo el sistema (orden de largo
alcance). La hipótesis principal de la aproximación es que la energı́a de un
”átomo”en cualquier configuración del sistema está determinada por el grado
promedio de orden en todo el sistema (campo medio) mas que por las config-
uraciones fluctuantes de sus átomos vecinos. En este caso las propiedades de

124
Figura 4: Cluster en una red d-dimensional, formado por un interior ΛI y
una frontera ΛF

la aproximación son insensibles a la estructura o dimensionalidad del sistema

y será tanto mejor cuanto mayor sea la dimensionalidad (mayor número de
vecinos q) y el rango de la interacción entre espines. En ambos casos dismin-
uye la importancia de las fluctuaciones. Esta aproximación es equivalente a
la teorı́a del campo molecular de Curie-Weiss.
Consideremos un sistema magético de N espines en los nudos de una red
Λ d-dimensional en presencia de un campo magnético externo H = he k̂. La
energı́a configuracional del sistema viene dada por,
1 X X
H(s) = − Ji,j si sj − he si . (572)
2 i,j∈Λ i∈Λ

Vamos a distinguir si la interacción Ji,j es a vecinos próximos o no.

Interacción a vecinos próximos
Suponemos que, dado un espı́n en la posición i, se tiene para la interacción
de intercambio Ji,j = J, |i − j| = 1. La hipótesis de campo medio consiste
en suponer que la energı́a configuracional del sistema se puede poner como
X
H(s) = − hi s i (573)
i∈Λ

con X
hi = h e + Ji,j sj ≡ he + Jqm, (574)
|i−j|=1

donde q es el número de coordinación de la red y m es el campo medio

autoconsistente definido
1 X
m=h sj i (575)
q
|i−j|=1

125
que representa el efecto de los restantes espines. Vemos que hi = h ∀i ∈ Λ.
En estas condiciones, la función de partición del sistema es
X
Z≡ exp{−βH(s)} = 2N {cosh(βh)}N . (576)
s

Una vez que tenemos la función de partición, podemos calcular el campo

medio m definido por (575), imponiendo que sea igual a la magnetización
promedio sobre toda la red, esto es,
1 X 1 ∂
m=h si i = ln Z = tanh(βh). (577)
N i∈Λ βN ∂h

Si el campo magético externo es he = 0, la ecuación anterior queda,

m0 = tanh(βJqm0 ), (578)

donde m0 es el campo medio para campo externo nulo. La ecuación (578)

se puede resolver numéricamente, obteniendo la solución trivial m0 = 0,
Jq
y una solución no trivial m0 6= 0 para T < Tc = . Esta solución no
kB
nula verifica, que si m0 es solución, también lo es −m0 . Vemos que por
debajo de Tc el sistema, en ausencia de campo externo, se comporta como un
ferromagneto, con magnetización expontánea m0 , es decir, todos los espines
tienden a orientearse en la misma dirección. A T = 0, tenemos totalmente
ordenado el sistema. Si subimos la temperatura, las oscilaciones térmicas
hacen que los espines empiecen a orientarse al azar, de forma que m0 → 0
cuanto T → Tc . La forma en que esto ocurre viene marcada por el exponente
crı́tico β. Por encima de Tc , m0 = 0, es decir, el sistema se comporta como
un paramagneto, de modo que T = Tc marca un cambio de fase.

Interacción de largo alcance

Vamos a considerar ahora que Ji,j es de largo alcance, de forma que dos
espines que estén situados en posiciones lejanas, el uno del otro, sienten la
interacción de intercambio. Sea Ji,j = NJ ∀i, j ∈ Λ, siendo J intensivo. Con
esta elección conseguimos que la energı́a configuracional por espı́n no diverja
1
X
en el lı́mite termodinámico (N → ∞) . Si llamamos x(s) = N si , el
i∈Λ
hamiltoniano queda
J JN
H(s) = − x(s)2 − he N x(s). (579)
2 2

126
La función de partición es
− βJ X βJN
e−βH(s) = e 2
X n o
2
Z= exp 2 x(s) + βh e N x(s) . (580)
s s

Utilizando la transformación gaussiana dada por la expresión

1
Z +∞ y2 √
a 2 − 2 + 2ay
e =√ dy e , (581)
2π −∞
con  1
βJN 2
a= x(s), (582)
2
la función de partición queda
βJ 1 Z +∞ −
y2 X 1
Z=e 2 √ dy e 2 exp{(βJN ) 2 x(s)y + βhe N x(s)}. (583)
2π −∞ s
1
Introduciendo el cambio de variable y = (βJN ) 2 m, y realizando la suma
sobre configuraciones de espines se tiene
βJ βJN 1 Z +∞
N dm e−N f (m) ,
−
Z=2 e 2 ( )2 (584)
2π −∞
con
βJm2
f (m) = − ln{cosh(βJm + βhe )}. (585)
2
Como nos interesa el lı́mite termodinámico, para resolver la integral y, por
lo tanto, calcular la función de partición, utilizamos el método del punto de
silla. El término dominante en la integral va a ser el punto de silla, que viene
determinado por la ecuación
∂f (m)
= 0, (586)
∂m
que da como resultado:
m = tanh(βJm + βhe ). (587)
En el caso de campo nulo, tenemos una magnetización espontánea,
m0 = tanh(βJm0 ). (588)

Existe solución no trivial para T < Tc = J , de forma que tenemos, al igual

kB
que para el caso de vecinos próximos, un cambio de fase ferromagnético-
paramagnético.

127
Aproximación de orden 1
Esta aproximación se conoce también con el nombre de aproximación
de Bethe-Peierls. Trata con más precisión la interacción de un espı́n dado
con sus vecinos próximos. Más concretamente considera de forma exacta la
interacción de un espı́n si0 con sus q vecinos próximos, y el resto de las in-
teracciones en la red a través de un campo medio, que de nuevo obtenemos
de forma autoconsistente. Vamos a considerar que las interacciones de in-
tercambio son a vecinos próximos. Llamamos ΛF al conjunto de espines que
son vecinos próximos a si0 y que constituyen su frontera. El hamiltoniano de
Ising queda de la forma
1 X X
H(s) = − Ji,j si sj − he si ≈ HBP (sc )
2 i∈Λ
|i−j|=1
X X
HBP (sc ) = −Jsi0 sj − he si0 − (he + h) sj , (589)
j∈ΛF j∈ΛF

donde sc = {si0 , sj , j ∈ ΛF }. La interacción entre espines que no pertenecen

al cluster formado por si0 y ΛF , está incluida en el campo h.
La función de partición asociada al hamiltoniano HBP (sc ), viene dada
por
e−βHBP (sc )
X
ZBP = (590)
sc

que, tras un poco de álgebra, queda de la forma

ZBP = Z+ + Z−
Z± = e±βhe [2 cosh{β(he + h ± J)}]q . (591)

Para determinar el campo h, imponemos la relación de autoconsistencia según

la cual el promedio del espı́n es el mismo en el centro y la frontera del cluster,
es decir,
1 X
hsi0 i = h sj i. (592)
q j∈Λ
F

Por definición,
1 X Z+ − Z −
hsi0 i ≡ si0 e−βHBP (sc ) = (593)
ZBP s ZBP
c

128
y, por otra parte,
1 X 1 ∂
h sj i = ln ZBP
q j∈Λ βq ∂h
F

1
= [Z+ tanh{β(he + h + J)}
ZBP
+Z− tanh{β(he + h − J)}], (594)

de donde la relación de autoconsistencia queda

 q − 1
2βh cosh{β(he + h + J)}
e = . (595)
cosh{β(he + h − J)}

La ecuación (595) hay que resolverla numéricamente, obteniendo como resul-

tado el campo h en función de la temperatura. La magnetización m se puede
poner en función del campo medio h, quedando
1 X
m = hsi0 i = h sj i
q j∈Λ
F

sinh{2β(he + h)}
= (596)
cosh{2β(h + h)} + e−2βJ
e

con h solución a la ecuación (595). Estamos interesados en ver si, con esta
aproximación, el sistema presenta magnetización espontánea m0 en ausencia
de campo magnético externo. La ecuación de autoconsistencia he = 0 queda
de la forma  
q−1 cosh(βh0 + βJ)
βh0 = ln . (597)
2 cosh(βh0 − βJ)
Esta ecuación tiene solución no trivial para T < Tc , con Tc dada por la
expresión
2J
Tc = . (598)
q

kB ln q − 2
Esto es, se presenta el cambio de fase ferromagnético-paramagnético, al igual
que en Bragg-Willians, pero mejora sensiblemente el valor de la temperatura
crı́tica, y describe mejor las correlaciones en el sistema. (Ver figura 5)
Aproximaciones sucesivas al modelo de Ising consistirı́an en considerar
clusters, cada vez con más espines, cuya interacción a vecinos próximos serı́a
tratada de forma exacta, y el resto mediante un campo medio autoconsis-
tente. En próximas secciones , al introducir nuestro modelo de no-equilibrio,
vamos a utilizar aproximaciones de este tipo.

129
Figura 5: Modelo de Ising en d = 2 (1) Solución exacta. (2) Aproximación
de Bethe-Peierls.(4) Aproximación de Bragg-Willians

130