Tarea No2 Mecánica Estadı́stica II

Pablo Solano
Universidad de Concepción
26 de diciembre de 2010

Introducción
El objetivo de este trabajo es estudiar las correlaciones entre los espines de dos partı́culas en el mod-
elo de Ising unidimensional de una forma didáctica, mediante la utilización del grupo de normalización.
El trabajo es basado en el artı́culo A method for evaluating two-spin correlations of ine-dimensional
Ising model (C.F. Tejero Am. J. Phys. 1987) .

Modelo de Ising en una Dimensión

Considemos un arreglo lineal y cı́clico de átomos con espines s = ±1 que interactuan. Queremos
estudiar la correlación entre los espines para este sistema. Para esto, supongamos el Hamiltoniano
N
X
H= (−Ksi si+1 − bsi )
i=1

donde K es la constante de acoplamientos entre espines, b es el campo magnértico externo al que esta
sometida la cadena de átomos y donde N + 1 = 1, lo que representa que el sistema es cı́clico.
Sabemos que la función de partición de un sistema es
X
Z= e−βHn
n

con β = kB1T y done n recorre todos los posibles estados (energı́as) del sitema.
En nuestro caso, sumando sobre todos las posibles Hamiltonianos, tenemos
X X X PN
ZN (b, K) = ... e i=1 β(Ksi si+1 +bsi )
s1 =−1;+1 s2 =−1;+1 sN =−1;+1

Para simplificar notación escribamos

X PN
ZN (b, K) = e i=1 β(Ksi si+1 +bsi )
s
X
ZN (b, K) = eβ(Ks1 s2 +bs1 ) eβ(Ks2 s3 +bs2 ) ...eβ(KsN s1 +bsN )
s
X
ZN (b, K) = eβ (Ks1 s2 +b
s1
2 +b
s2
2 ) eβ (Ks2 s3 +b s22 +b s23 ) ...eβ (KsN s1 +b s2N +b s1
2 )

s
X
eβ (Ks1 s2 + 2 (s1 +s2 )) eβ (Ks2 s3 + 2 (s2 +s3 )) ...eβ (KsN s1 + 2 (sN +s1 ))
b b b
ZN (b, K) =
s

Construyamos ahora un operador P̂ de 2 × 2 tal que

si sj
hsi |P̂ |sj i = eβ (Ksi sj +b( 2 + 2 ))

pero recordemos que s± = ±1, luego se tiene que

hs+ |P̂ |s+ i = eβ(K+b)

hs+ |P̂ |s− i = eβ(−K)
hs− |P̂ |s+ i = eβ(−K)
hs− |P̂ |s− i = eβ(K−b)

1
 2

Por lo que la representación matricial del operador será

µ β(K+b) ¶
e e−βK
P̂ =
e−βK eβ(K−b)

Ası́, tenemos que

X
eβ (Ks1 s2 + 2 (s1 +s2 )) eβ (Ks2 s3 + 2 (s2 +s3 )) ...eβ (KsN s1 + 2 (sN +s1 ))
b b b
ZN (b, K) =
s
X
ZN (b, K) = hs1 |P̂ |s2 ihs2 |P̂ |s3 i...hsN |P̂ |s1 i
s
X X X
ZN (b, K) = ... hs1 |P̂ |s2 ihs2 |P̂ |s3 i...hsN |P̂ |s1 i
s1 =−1;+1 s2 =−1;+1 sN =−1;+1

pero por relación de completitud, como todos los estados de posibles espines son linalmente indepen-
dientes, sabemos que X
|si ihsi | = Iˆ
si =−1,+1

luego
X
ZN (b, K) = hs1 |P̂ P̂ ...P̂ |s1 i
s1 =−1;+1
X
ZN (b, K) = hs1 |P̂ N |s1 i
s1 =−1;+1
n o
ZN (b, K) = T r P̂ N

Como sabemos, la traza de un operador es invarante bajo cambio de base (transformasión uitaria),
por lo tanto, si existe una base en la que se pueda diagonaliza el operdor, los elementos de la diagonal
serán los valores propios. Ası́, la traza será igual a suma de los valores propios del operador.
Calculemos entonces los valores propios de P̂
ˆ = 0
|P̂ − λI|
¯ β(K+b) ¯
¯ e −λ e −βK ¯
¯ ¯ = 0
¯ e−βK eβ(K−b) − λ ¯
³ ´³ ´
eβ(K+b) − λ eβ(K−b) − λ − e−βK e−βK = 0
eβ(K+b) eβ(K−b) − λeβ(K−b) − λeβ(K+b) + λ2 − e−2βK = 0
¡ ¢
λ2 − λeβK e−βb + eβb + e2βK − e−2βK = 0
λ2 − 2λeβK cosh(βb) + e2βK − e−2βK = 0

Las raices son

q
2
2eβK cosh(βb) ± [2eβK cosh(βb)] − 4 [e2βK − e−2βK ]
λ± =
q 2
λ± = eβK
e2βK cosh2 (βb) − e2βK + e−2βK
cosh(βb) ±
q
λ± = eβK cosh(βb) ± eβK cosh2 (βb) − 1 + e−4βK
½ q ¾
βK 2 −4βK
λ± = e cosh(βb) ± sinh (βb) + e

es decir, bajo algun cambio de base podemos escribir

µ ¶
λ+ 0
P̂ =
0 λ−
µ N ¶
λ+ 0
P̂ N =
0 λN
−

y finalmente
ZN (b, K) = λN N
+ + λ−
 3

con ½ q ¾
λ± = eβK cosh(βb) ± sinh2 (βb) + e−4βK

En el lı́mte termodinámico, cuando el número de partı́culas N es muy grande, el término que

contribuirá mayormente a la función de partición es el término λN
+ , lo que implica que

lı́m N −1 ln ZN (b, K) = lı́m N −1 ln(λN N

+ + λ− )
N →∞ N →∞
lı́m N −1 ln ZN (b, K) ≈ lı́m N −1 ln(λN
+)
N →∞ N →∞
lı́m N −1 ln ZN (b, K) ≈ lı́m N −1 ln(λN
+)
N →∞ N →∞
lı́m N −1 ln ZN (b, K) ≈ ln λ+
N →∞

resultado desde el cual puede ser derivada toda la termodinámica del sistema.

Correlaciones de Dos Espines

Ahora que conocemos la función de partición del sistema, podemos calcular la correlación entre
dos espines como el promedio estadistico sobre las variables b y K, como sigue
X X PN
−1
hsj , sj+n ib,K = ZN (b, K) ... sj sj+n e j=1 β(bsj +Ksj sj+1 )
s1 =−1;+1 sN =−1;+1

Correlación Entre Primeros Vecinos

Para el caso de la correlación entre los primero vecinos tenemos que
X X PN
−1
hsj , sj+1 ib,K = ZN (b, K) ... sj sj+1 e j=1 β(bsj +Ksj sj+1 )
s1 =−1;+1 sN =−1;+1

Si asumimos simetrı́a para las correlaciones, veremos que

hs1 , s2 ib,K = hs2 , s3 ib,K = ... = hsN , s1 ib,K
luego
hs1 , s2 ib,K + hs2 , s3 ib,K + ... + hsN , s1 ib,K
= hsj , sj+1 ib,K
N
Esto implica que
"
1 X X PN
hsj , sj+1 ib,K = −1
ZN (b, K) ... s1 s2 e j=1 β(bsj +Ksj sj+1 )
N s =−1;+1 s =−1;+1
1 N
#
X X PN
−1 β(bsj +Ksj sj+1 )
+ZN (b, K) ... s2 s3 e j=1 + ...
s1 =−1;+1 sN =−1;+1
−1
X X PN
β(bsj +Ksj sj+1 )
hsj , sj+1 ib,K = [N ZN (b, K)] ... (s1 s2 + s2 s3 + ... + sN s1 ) e j=1

s1 =−1;+1 sN =−1;+1

pero recordemos que

X X PN
β(Ksi si+1 +bsi )
ZN (b, K) = ... e i=1

s1 =−1;+1 sN =−1;+1

X X N
X PN
∂ZN (b, K) β(Ksi si+1 +bsi )
= ... sj sj+1 e i=1
∂βK s1 =−1;+1 sN =−1;+1 i=1
∂ZN (b, K) X X PN
β(bsj +Ksj sj+1 )
= ... (s1 s2 + s2 s3 + ... + sN s1 ) e j=1
∂βK s1 =−1;+1 sN =−1;+1

luego
∂ZN (b, K)
−1
hsj , sj+1 ib,K = [N ZN (b, K)]
∂βK
∂ ln Z N (b, K)
hsj , sj+1 ib,K = N −1
∂βK
 4

En el lı́mite termodinámico donde el número de partı́culas N es muy grande, tenemos que

1 ∂ ln ZN (b, K)
lı́m hsj , sj+1 ib,K = lı́m
N →∞ N →∞ N ∂βK
£ ¤
∂ lı́mN →∞ N −1 ln ZN (b, K)
lı́m hsj , sj+1 ib,K =
N →∞ ∂βK
∂ ln λ+
lı́m hsj , sj+1 ib,K =
N →∞ ∂βK
1 ∂λ+
lı́m hsj , sj+1 ib,K =
N →∞ λ+ ∂βK
µ ½ q ¾¶
1 ∂
lı́m hsj , sj+1 ib,K = eβK cosh(βb) + sinh2 (βb) + e−4βK
N →∞ λ+ ∂βK
· ½ q ¾ µq ¶¸
1 ∂
lı́m hsj , sj+1 ib,K = eβK cosh(βb) + sinh2 (βb) + e−4βK + eβK sinh2 (βb) + e−4βK
N →∞ λ+ ∂βK
· µ ¶¸
1 1 £ ¤ − 1
lı́m hsj , sj+1 ib,K = λ+ + eβK sinh2 (βb) + e−4βK 2 (−4e−4βK )
N →∞ λ+ 2
1 h £ ¤− 1 i
lı́m hsj , sj+1 ib,K = λ+ − 2e−3βK sinh2 (βb) + e−4βK 2
N →∞ λ+
£ ¤− 1
2e−3βK sinh2 (βb) + e−4βK 2
lı́m hsj , sj+1 ib,K = 1− ½ q ¾
N →∞
eβK cosh(βb) + sinh2 (βb) + e−4βK
£ ¤− 1
2e−4βK sinh2 (βb) + e−4βK 2
lı́m hsj , sj+1 ib,K = 1− q
N →∞
cosh(βb) + sinh2 (βb) + e−4βK

Correlaciones Entre Segundos Vecinos

Para calcular la correlación entre los espines para el caso de los siguentes vecinos más cercanos,
utilizaremos una técnica algebraica inspirada en la teorı́a del grupo de renormalización.
Primero, vemos que
X X PN
−1
hsj , sj+2 ib,K = ZN (b, K) ... sj sj+2 e j=1 β(bsj +Ksj sj+1 )
s1 =−1;+1 sN =−1;+1

luego utilicemos un truco, considerando N un número par. De la función de partición tenemos

X X X PN
ZN (b, K) = ... e i=1 β(Ksi si+1 +bsi )
s1 =−1;+1 s2 =−1;+1 sN =−1;+1
X X X
ZN (b, K) = ... eβb(s1 +s3 +...+sN −1 ) eβbs2 +βK(s1 s2 +s2 s3 ) eβbs4 +βK(s3 s4 +s4 s5 ) ...
s1 =−1;+1 s2 =−1;+1 sN =−1;+1
βbsN +βK(sN −1 sN +sN s1 )
...e

Sumando sobre los pares, tenemos

X X h ih i h
ZN (b, K) = ... eβb(s1 +s3 +...+sN −1 ) eβb+βK(s1 +s3 ) + e−βb−βK(s1 +s3 ) eβb+βK(s3 +s5 ) + e−βb−βK(s3 +s5 ) ...
s1 =−1;+1 sN −1 =−1;+1

Realicemos ahora el siguente cambio de variable, o redefinición, sobre los términos entre paréntesis,
como se hace en la teorı́a de grupo de renormalización. Esto es
si +sj
eβb+βK(si +sj ) + e−βb−βK(si +sj ) = f1 eβb1 ( 2 )+βK1 si sj

Para completar esta redefinición, encontremos los valores de f1 , b1 y K1 que satisfagan esta
ecuación. Supongamos
si = 1 = −sj

eβb + e−βb = f1 e−βK1

2 cosh βb = f1 e−βK1
 5

si = 1 = sj

eβb+2βK + e−βb−2βK = f1 eβb1 +βK1

2 cosh(βb + 2βK) = f1 eβb1 +βK1

si = −1 = sj

eβb−2βK + e−βb+2βK = f1 e−βb1 +βK1

2 cosh(βb − 2βK) = f1 e−βb1 +βK1

Dividiendo la segunda y tercera ecuación

2 cosh(βb + 2βK) f1 eβb1 +βK1

=
2 cosh(βb − 2βK) f1 e−βb1 +βK1
cosh(βb + 2βK)
= e2βb1
cosh(βb − 2βK)
· ¸ 12
cosh(βb + 2βK)
βb1 = ln
cosh(βb − 2βK)

Multiplicando la segunda, tercera y primera ecuación

2 cosh(βb − 2βK)2 cosh(βb + 2βK) = f1 e−βb1 +βK1 f1 eβb1 +βK1

4 cosh(βb − 2βK) cosh(βb + 2βK) = f12 e2βK1
1 1
2 cosh 2 (βb − 2βK) cosh 2 (βb + 2βK) = f1 eβK1
1 1
2 cosh 2 (βb − 2βK) cosh 2 (βb + 2βK)2 cosh βb = f1 eβK1 f1 e−βK1
1 1
4 cosh (βb − 2βK) cosh (βb + 2βK) cosh βb
2 2 = f12
1 1 1
2 cosh (βb − 2βK) cosh (βb + 2βK) cosh βb
4 4 2 = f1
1 1 1
f1 = 2 cosh 4 (βb − 2βK) cosh 4 (βb + 2βK) cosh 2 βb

Multiplicando la segunda y la tercera ecuación y luego dividiendo por la priemera

2 cosh(βb − 2βK)2 cosh(βb + 2βK) = f1 e−βb1 +βK1 f1 eβb1 +βK1

4 cosh(βb − 2βK) cosh(βb + 2βK) = f12 e2βK1
1 1
2 cosh 2 (βb − 2βK) cosh 2 (βb + 2βK) f1 eβK1
=
2 cosh βb f1 e−βK1
1 1
cosh 2 (βb − 2βK) cosh 2 (βb + 2βK)
= e2βK1
cosh βb
" 1 1
# 21
cosh 2 (βb − 2βK) cosh 2 (βb + 2βK)
βK1 = ln
cosh βb

En resumen
· ¸ 12
cosh(βb + 2βK)
βb1 = ln
cosh(βb − 2βK)
1 1 1
f1 = 2 cosh 4 (βb − 2βK) cosh 4 (βb + 2βK) cosh 2 βb
" 1 1
# 21
cosh 2 (βb − 2βK) cosh 2 (βb + 2βK)
βK1 = ln
cosh βb

Habiendo definido explicitamente las nuevas variables, podemos continuar con nuestro cálculo.
 6

La función de partición en término de estas nuevas variables será

X X h ih i
ZN (b, K) = ... eβb(s1 +s3 +...+sN −1 ) eβb+βK(s1 +s3 ) + e−βb−βK(s1 +s3 ) eβb+βK(s3 +s5 ) + e−βb−βK(s3 +s5 )
s1 =−1;+1 sN −1 =−1;+1
X X h s1 +s3
ih s3 +s5
i
ZN (b, K) = ... eβb(s1 +s3 +...+sN −1 ) f1 eβb1 ( 2 )+βK1 s1 s3 f1 eβb1 ( 2 )+βK1 s3 s5 ...
s1 =−1;+1 sN −1 =−1;+1
N X X s1 +s3 s3 +s5
ZN (b, K) = f1 2
... eβb(s1 +s3 +...+sN −1 ) eβb1 ( 2 )+βK1 s1 s3 βb1 (
e 2 )+βK1 s3 s5
...
s1 =−1;+1 sN −1 =−1;+1
N X X
ZN (b, K) = f12 ... eβ(b+b1 )(s1 +s3 +...+sN −1 ) eβK1 (s1 s3+ s3 s5 +...+sN −1 s1 )
s1 =−1;+1 sN −1 =−1;+1
N
ZN (b, K) = f1 Z N (b + b1 , K1 )
2
2

dDonde Z N (b + b1 , K1 ) es la función de partición de N2 partı́culas con espin bajo un campo magnético

2
b + b1 y constante de acoplaminto entre espines K1 .
Ahora podemos calculara la función de correlación entre siguentes vecinos. Calculemos la cor-
relación entre dos espines como el promedio estadistico sobre las variables b y K , esto es
X X PN
−1
hsj , sj+2 ib,K = ZN (b, K) ... sj sj+2 e j=1 β(bsj +Ksj sj+1 )
s1 =−1;+1 sN =−1;+1

Si asumimos simetrı́a en la correlación veremos que

hs1 , s3 ib,K = hs3 , s5 ib,K = ... = hsN −1 , s1 ib,K

luego
hs1 , s3 ib,K + hs3 , s5 ib,K + ... + hsN −1 , s1 ib,K
N
= hsj , sj+2 ib,K
2
Esto implica que
"
2 X X PN
hsj , sj+2 ib,K = −1
ZN (b, K) ... s1 s3 e j=1 β(bsj +Ksj sj+1 )
N s =−1;+1 s =−1;+1
1 N
#
X X PN
−1
+ZN (b, K) ... s3 s5 e j=1 β(bsj +Ksj sj+1 ) + ...
s1 =−1;+1 sN =−1;+1
· ¸−1 X X PN
N β(bsj +Ksj sj+1 )
hsj , sj+2 ib,K = ZN (b, K) ... (s1 s3 + s3 s5 + ... + sN −1 s1 ) e j=1
2 s1 =−1;+1 sN =−1;+1

Sumando sólo sobre los pares, podemos reproducir el resultado anterior, obteniendo
· ¸−1 X X
N N
hsj , sj+2 ib,K = ZN (b, K) ... (s1 s3 + s3 s5 + ... + sN −1 s1 ) f12
2 s =−1;+1 s =−1;+1 1 N −1

β(b+b1 )(s1 +s3 +...+sN −1 ) βK1 (s1 s3+ s3 s5 +...+sN −1 s1 )

e e

donde las sumatorias son sólo de los términos restantes. Recordemos que
X X
Z N (b + b1 , K1 ) = ... eβ(b+b1 )(s1 +s3 +...+sN −1 ) eβK1 (s1 s3+ s3 s5 +...+sN −1 s1 )
2
s1 =−1;+1 sN −1 =−1;+1

∂Z N (b + b1 , K1 ) X X
2
= ... (s1 s3+ s3 s5 + ... + sN −1 s1 )eβ(b+b1 )(s1 +s3 +...+sN −1 ) eβK1 (s1 s3+ s3 s5 +...+sN −1 s1 )
∂βK1 s1 =−1;+1 sN −1 =−1;+1

luego
· ¸−1
N N ∂Z N (b + b1 , K1 )
hsj , sj+2 ib,K = ZN (b, K) f12 2

2 ∂βK1
· ¸−1
N N2 N ∂Z N (b + b1 , K1 )
hsj , sj+2 ib,K = f1 Z N (b + b1 , K1 ) f12 2

2 2 ∂βK1
· ¸−1
N ∂ ln Z N (b + b1 , K 1 )
hsj , sj+2 ib,K = 2

2 ∂βK1
 7

Observemos que en el lı́mte termodinámico, se tiene que

2 ∂ ln Z N2 (b + b1 , K1 )
lı́m hsj , sj+2 ib,K = lı́m
N →∞ N →∞ N ∂βK1
1 ∂ ln ZN (b, K)
lı́m hsj , sj+1 ib,K = lı́m
N →∞ N →∞ N ∂βK
donde se vé directamente que con N → ∞, se cumple que

lı́m hsj , sj+2 ib,K = lı́m hsj , sj+1 ib+b1 ,K1

N →∞ N →∞

Correlaciones Entre Cualquier Par de Espines

El resultado para la correlación entre dos espines puede ser fácilmente generalizado para cualqueir
par de espines, no necesariamente vecinos. Por ejemplo, calculemos

hsj , sj+n ib,K

con j < n < N .

Habı́amos obtenido que

X X X PN
β(Ksi si+1 +bsi )
ZN (b, K) = ... e i=1

s1 =−1;+1 s2 =−1;+1 sN =−1;+1

X X X h i
ZN (b, K) = ... eβb(s1 +sn+1 +s2n+1 ...+sN ) eβb(s2 +s3 +...+sn )+βK(s1 s2 +s2 s3 +s3 s4 +...+sn sn+1 )
s1 =−1;+1 s2 =−1;+1 sN =−1;+1
h i
eβb(sn+2 +...+s2n )+βK(sn+1 sn+2 +...+s2n s2n+1 ) ...
" #
X X X X
βb(s1 +sn+1 +s2n+1 ...+sN ) βb(s2 +s3 +...+sn )+βK(s2 s3 +s3 s4 +...+sn sn+1 )
ZN (b, K) = ... e ... e
s1 =−1;+1 sN =−1;+1 s2 =−1;+1 sn =−1;+1
 
X X
 ... eβb(sn+2 +...+s2n )+βK(sn+2 sn+3 +...+s2n s2n+1 )  ...
sn+2 =−1;+1 s2n =−1;+1
" #
X X (s1 +sn+1 ) X X D E D E
ZN (b, K) = ... eβb(s1 +sn+1 +s2n+1 ...+sN ) e−βb 2 ... 1|P̂ |2 ... sn |P̂ |sn+1
s1 =−1;+1 sN =−1;+1 s2 =−1;+1 sn =−1;+1
 
(sn+2 +s2n+1 ) X X D E D E
e−βb 2 ... n + 1|P̂ |n + 2 ... s2n |P̂ |s2n+1  ...
sn+2 =−1;+1 s2n =−1;+1
· E¸
X X (s +s ) D
βb(s1 +sn+1 +s2n+1 ...+sN ) −βb 1 2n+1 n
ZN (b, K) = ... e e 1|P̂ |sn+1
s1 =−1;+1 sN =−1;+1
· E¸
(s +s ) D
−βb n+2 2 2n+1 n
e n + 1|P̂ |s2n+1 ...
X X · ¸
(s +s )
βb(s1 +sn+1 +s2n+1 ...+sN ) βbn−1 1 2n+1 +βKn−1 s1 sn+1
ZN (b, K) = ... e fn−1 e
s1 =−1;+1 sN =−1;+1
· ¸
(s +s )
βbn−1 n+2 2 2n+1 +βKn−1 sn+2 s2n+1
fn−1 e ...
N X X
ZN (b, K) = fn−1
n
... eβ(b+bn−1 )(s1 +sn+1 +s2n+1 ...+sN )+βKn−1 (s12 +sn+1 sn+2 +s2n+1 s2n+2 ...+sN s1 ) ...
s1 =−1;+1 sN =−1;+1
N
ZN (b, K) = fn−1 Z N (b + bn−1 , Kn−1 )
n
n

donde hemos utilizado una redefinición de las variables de la forma

(si +sj ) D E (si +sj )
e−βb 2 i|P̂ n |j = fn−1 eβbn−1 2 +βKn−1 si sj

Para continuar con nuestro cálculo encontremos los valores de fn−1 , bn−1 y Kn−1 . Supongamos

si = 1 = −sj
 8

D E
1|P̂ n | − 1 = fn−1 e−βKn−1
si = 1 = sj
D E
e−βb 1|P̂ n |1 = fn−1 eβbn−1 +βKn−1

si = −1 = sj
D E
eβb −1|P̂ n | − 1 = fn−1 e−βbn−1 +βKn−1

Dividiendo la segunda y tercera ecuación

D E
e−βb 1|P̂ n |1 fn−1 eβbn−1 +βKn−1
D E =
eβb −1|P̂ n | − 1 fn−1 e−βbn−1 +βKn−1
D E
1|P̂ n |1
D E = e2β(b+bn−1 )
−1|P̂ n | − 1
 D E  12
1|P̂ n |1
β (b + bn−1 ) = ln  D E
−1|P̂ n | − 1

Multiplicando la segunda, tercera y primera ecuación

D E D E
eβb −1|P̂ n | − 1 e−βb 1|P̂ n |1 = fn−1 e−βbn−1 +βKn−1 fn−1 eβbn−1 +βKn−1
D ED E
−1|P̂ n | − 1 1|P̂ n |1 = 2
fn−1 e2βKn−1
D E 12 D E 21
−1|P̂ n | − 1 1|P̂ n |1 = fn−1 eβKn−1
D E 12 D E 12 D E
−1|P̂ n | − 1 1|P̂ n |1 1|P̂ n | − 1 = fn−1 eβKn−1 fn−1 e−βKn−1
D E 21 D E 12 D E
−1|P̂ n | − 1 1|P̂ n |1 1|P̂ n | − 1 = 2
fn−1
D E 41 D E 14 D E 21
fn−1 = −1|P̂ n | − 1 1|P̂ n |1 1|P̂ n | − 1

Multiplicando la segunda y tercera ecuación y dividiendo por la primera

D E D E
eβb −1|P̂ n | − 1 e−βb 1|P̂ n |1 = fn−1 e−βbn−1 +βKn−1 fn−1 eβbn−1 +βKn−1
D ED E
−1|P̂ n | − 1 1|P̂ n |1 = 2
fn−1 e2βKn−1
D E 12 D E 21
−1|P̂ n | − 1 1|P̂ n |1 = fn−1 eβKn−1
D E 12 D E 21
−1|P̂ n | − 1 1|P̂ n |1 fn−1 eβKn−1
D E =
1|P̂ n | − 1 fn−1 e−βKn−1
D E 12 D E 21
−1|P̂ n | − 1 1|P̂ n |1
D E = e2βKn−1
1|P̂ n | − 1
D E 14 D E 14 
n n
 −1|P̂ | − 1 1|P̂ |1 
βKn−1 = ln  D E 12 
n
1|P̂ | − 1
 9

En resumen
 D E  12
1|P̂ n |1
β (b + bn−1 ) = ln  D E
−1|P̂ n | − 1
D E 14 D E 14 D E 21
fn−1 = −1|P̂ n | − 1 1|P̂ n |1 1|P̂ n | − 1
D E 41 D E 41 
n n
 −1|P̂ | − 1 1|P̂ |1 
βKn−1 = ln  D E 12 
n
1|P̂ | − 1

donde b + bn−1 son el nuevo campo magnético efectivo y Kn−1 es la nueva constante de acoplamiento
efectiva entre partı́culas separadas una distancia n − 1.
Calculemos la correlación entre dos espines separados por n − 1 partı́culas
X X PN
−1
hsj , sj+n ib,K = ZN (b, K) ... sj sj+n e j=1 β(bsj +Ksj sj+1 )
s1 =−1;+1 sN =−1;+1

Si asumimos simetrı́a entre las correlaciones de espines, veremos que

hs1 , sn ib,K = hsn , s2n ib,K = ... = hsN −n+1 , s1 ib,K
luego
hs1 , sn ib,K + hsn , s2n ib,K + ... + hsN −n+1 , s1 ib,K
N
= hsj , sj+n ib,K
n
Esto implica que
"
n X X PN
hsj , sj+n ib,K = −1
ZN (b, K) ... s1 sn e j=1 β(bsj +Ksj sj+1 )
N s =−1;+1 s =−1;+1
1 N
#
X X PN
−1 β(bsj +Ksj sj+1 )
+ZN (b, K) ... sn s2n e j=1 + ...
s1 =−1;+1 sN =−1;+1
· ¸−1 X X PN
N
hsj , sj+n ib,K = ZN (b, K) ... (s1 sn + sn s2n + ... + sN −n+1 s1 ) e j=1 β(bsj +Ksj sj+1 )
n s =−1;+1 s =−1;+1
1 N

Sumando sólo sobre los múltiplos de n, podemos reproducir el resultado anterior, obteniendo
· ¸−1 X X
N N
hsj , sj+n ib,K = ZN (b, K) ... (s1 sn + sn s2n + ... + sN −n+1 s1 ) fn−1
n
eβ(b+bn−1 )(s1 +s3 +...+sN −1 ) eβKn−1
2 s =−1;+1 s =−1;+1
1 N −1

donde las sumatorias son sólo de los términos restantes. Recordemos que
X X
Z N (b + bn−1 , Kn−1 ) = ... eβ(b+bn−1 )(s1 +s3 +...+sN −1 ) eβKn−1 (s1 sn+ sn s2n +...+sN −n+1 s1 )
n
s1 =−1;+1 sN −1 =−1;+1

∂Z N (b + bn−1 , Kn−1 ) X X
2
= ... (s1 sn + sn s2n + ... + sN −n+1 s1 ) eβ(b+bn−1 )(s1 +s3 +...+sN −1 ) eβKn−1 (s1 sn+ sn s2
∂βKn−1 s1 =−1;+1 sN −1 =−1;+1

luego
· ¸−1
N N ∂Z N (b + bn−1 , Kn−1 )
hsj , sj+n ib,K = ZN (b, K) fn−1
n n

n ∂βKn−1
· ¸−1
N N2 N ∂Z N (b + bn−1 , Kn−1 )
hsj , sj+n ib,K = fn Z N (b + bn−1 , Kn−1 ) fn−1
n n

n n ∂βKn−1
· ¸−1
N ∂ ln Z N (b + bn−1 , K n−1 )
hsj , sj+n ib,K = n

n ∂βKn−1
Observemos que en el lı́mte termodinámico, se tiene que
n ∂ ln Z Nn (b + bn−1 , Kn−1 )
lı́m hsj , sj+n ib,K = lı́m
N →∞ N →∞ N ∂βKn−1
1 ∂ ln ZN (b, K)
lı́m hsj , sj+1 ib,K = lı́m
N →∞ N →∞ N ∂βK
 10

donde se vé directamente que para N → ∞

lı́m hsj , sj+n ib,K = lı́m hsj , sj+1 ib+bn−1 ,Kn−1

N →∞ N →∞

Es decir, la correlación entre cualquier par de espines separados por n − 1 partı́culas puede ser
evaluada como la correlación entre dos partı́culas vecinas bajo la acción de un campo magnértico
efectivo b + bn−1 y una constante de acoplamiento efectiva Kn−1 .
Los valores explicitos de b + bn−1 y Kn−1 pueden ser obtenido, de forma general, como sigue.
Definamos la siguente transformación unitaria que diagonaliza la matriz P̂
µ ¶
cos φ sin φ
U=
− sin φ cos φ
con
1 − xe2βb
tan2 φ =
e2βb − x
donde x = λ− /λ+
La unitariedad de la matriz Û puede ser probada como sigue
µ ¶µ ¶
cos φ sin φ cos φ − sin φ
UU† =
− sin φ cos φ sin φ cos φ
µ 2 2
¶
cos φ + sin φ sin φ cos φ − cos φ sin φ
UU† =
sin φ cos φ − cos φ sin φ cos2 φ + sin2 φ
µ ¶
1 0
UU† =
0 1
UU† = I

Veamos ahora si esta transformación efectivamente diagonalza la matriz P̂

P̂ 0 = U P̂ U †
† 0
P̂ = µ P̂ U
U ¶µ ¶µ ¶
cos φ − sin φ λ+ 0 cos φ sin φ
P̂ =
sin φ cos φ 0 λ− − sin φ cos φ
µ ¶µ ¶
cos φ − sin φ λ+ cos φ λ+ sin φ
P̂ =
sin φ cos φ −λ− sin φ λ− cos φ
µ ¶
λ+ cos φ + λ− sin2 φ
2
λ+ cos φ sin φ − λ− cos φ sin φ
P̂ =
λ+ cos φ sin φ − λ− cos φ sin φ λ− cos2 φ + λ+ sin2 φ
µ ¶
λ+ cos2 φ + λ− sin2 φ (λ+ − λ− ) cos φ sin φ
P̂ =
(λ+ − λ− ) cos φ sin φ λ− cos2 φ + λ+ sin2 φ
pero µ ¶ µ ¶
eβ(K+b) eβ(−K) λ+ cos2 φ + λ− sin2 φ (λ+ − λ− ) cos φ sin φ
P̂ = =
eβ(−K) eβ(K−b) (λ+ − λ− ) cos φ sin φ λ− cos2 φ + λ+ sin2 φ
Comparando términos, tenemos que

eβ(K+b) = λ+ cos2 φ + λ− sin2 φ

e β(K−b)
= λ− cos2 φ + λ+ sin2 φ
0 = (λ+ − λ− ) cos φ sin φ

Dividiendo las dos primeras ecuaciones, se tiene

eβ(K+b) λ+ cos2 φ + λ− sin2 φ

=
eβ(K−b) λ− cos2 φ + λ+ sin2 φ
λ−
2βb
1+ λ+ tan2 φ
e = λ−
λ+ + tan2 φ
¡ ¢
e2βb − x tan2 φ = 1 − xe2βb
1 − xe2βb
tan2 φ =
e2βb − x
 11

con x = λ− /λ < 1. Esta es la ecuación que ya habiamos definido, por lo que la matriz unitaria Û
cumple las condiciones exigidas para realizar una transformación unitaria que diagonalice a P̂ .
De aquı́, vemos que
³ ´n
P̂ n = U † P̂ 0 U
µ ¶µ ¶n µ ¶
n cos φ − sin φ λ+ 0 cos φ sin φ
P̂ =
sin φ cos φ 0 λ− − sin φ cos φ
µ ¶µ n ¶µ ¶
n cos φ − sin φ λ+ 0 cos φ sin φ
P̂ =
sin φ cos φ 0 λn− − sin φ cos φ
µ n 2 n 2
¡ n n
¢ ¶
n λ+ cos φ ¢+ λ− sin φ λ+ − λ− cos φ sin φ
¡
P̂ =
λn+ − λn− cos φ sin φ λn− cos2 φ + λn+ sin2 φ

por lo que
 D E  21
1|P̂ n |1
β (b + bn−1 ) = ln  D E
−1|P̂ n | − 1
à ! 12
λn+ cos2 φ + λn− sin2 φ
β (b + bn−1 ) = ln
λn− cos2 φ + λn+ sin2 φ
µ ¶1
1 + xn tan2 φ 2
β (b + bn−1 ) = ln
xn + tan2 φ

D E 14 D E 14 D E 12
fn−1 = −1|P̂ n | − 1 1|P̂ n |1 1|P̂ n | − 1
¡ n ¢1 ¡ ¢ 1 £¡ ¢ ¤1
fn−1 = λ− cos2 φ + λn+ sin2 φ 4 λn+ cos2 φ + λn− sin2 φ 4 λn+ − λn− cos φ sin φ 2
£¡ n n ¡ 4 ¢ ¡ ¢ ¢¤ 1 £¡ ¢ ¤1
fn−1 = λ− λ+ cos φ + sin4 φ + λn− + λn+ cos2 φ sin2 φ 4 λn+ − λn− cos φ sin φ 2

D E 14 D E 14 
n n
 −1| P̂ | − 1 1| P̂ |1 
βKn−1 = ln  D E 12 
1|P̂ n | − 1
¡ ¢1 ¡ ¢1 
λn− cos2 φ + λn+ sin2 φ 4 λn+ cos2 φ + λn− sin2 φ 4
βKn−1 = ln  ¡¡ n ¢ ¢1 
λ+ − λn− cos φ sin φ 2
"¡ ¢¡ ¢ # 41
λn− cos2 φ + λn+ sin2 φ λn+ cos2 φ + λn− sin2 φ
βKn−1 = ln ¡¡ n ¢ ¢2
λ+ − λn− cos φ sin φ
¡ ¢¡ ¢4
1

xn + tan2 φ 1 + xn tan2 φ
βKn−1 = ln  ¡ n ¢2 
1
λ2+
λ+ − λn− tan2 φ
"¡ ¢¡ ¢ # 14
xn + tan2 φ 1 + xn tan2 φ
βKn−1 = ln 2
(1 − xn ) tan2 φ
"¡ ¢¡ ¢ # 14
1 + xn tan−2 φ 1 + xn tan2 φ
βKn−1 = ln 2
(1 − xn )

En resumen
µ ¶1
1 + xn tan2 φ 2
β (b + bn−1 ) = ln
xn + tan2 φ
"¡ ¢¡ ¢ # 14
1 + xn tan−2 φ 1 + xn tan2 φ
βKn−1 = ln 2
(1 − xn )
 12

con
1 − xe2βb
tan2 φ = y x = λ− /λ+
e2βb − x
Reemplazando esto en la ecuación para la correlación de dos espines
lı́m hsj , sj+n ib,K = lı́m hsj , sj+1 ib+bn−1 ,Kn−1
N →∞ N →∞
∂ ln λ+
lı́m hsj , sj+n ib,K =
N →∞ ∂βKn−1
donde recordemos que
∂ ln λ+
lı́m hsj , sj+1 ib,K =
N →∞ ∂βKn−1
con ½ q ¾
λ+ = eβK cosh(βb) + sinh2 (βb) + e−4βK

luego
· ½ q ¾¸
βKn−1 2 −4βK
∂ ln e cosh(β {b + bn−1 }) + sinh (β {b + bn−1 }) + e n−1

lı́m hsj , sj+n ib,K =

N →∞ ∂βKn−1
· ½ q ¾¸
∂ βKn−1 + ln cosh(β {b + bn−1 }) + sinh2 (β {b + bn−1 }) + e−4βKn−1
lı́m hsj , sj+n ib,K =
N →∞ ∂βKn−1
£ ¤− 1
2e−4βKn−1 sinh2 (β {b + bn−1 }) + e−4βKn−1 2
lı́m hsj , sj+n ib,K = 1− q
N →∞
cosh(β {b + bn−1 }) + sinh2 (β {b + bn−1 }) + e−4βKn−1

donde el cálculo en detalle no se realico, puesto que es el mismo cálculo para la correlación entre
primeros vecinos, sólo que las variables cambian de nombre.
Reemplazando por los valores efectivos del campo magnético y la constante de acoplamiento obten-
emos, término a término, que

eβ{b+bn−1 } − e−β{b+bn−1 }
sinh(β {b + bn−1 }) =
à ³ 2 !
´1 ³ n tan2 φ ´ 2
1
1 1+xn tan2 φ 2
ln xn +tan2 φ − ln 1+x
sinh(β {b + bn−1 }) = e −e xn +tan2 φ

2
õ ¶1 µ n ¶1 !
1 1 + xn tan2 φ 2 x + tan2 φ 2
sinh(β {b + bn−1 }) = −
2 xn + tan2 φ 1 + xn tan2 φ
1 1 + xn tan2 φ − xn − tan2 φ
sinh(β {b + bn−1 }) = q
2 ¡xn + tan2 φ¢ ¡1 + xn tan2 φ¢
¡ ¢
1 (1 − xn ) 1 − tan2 φ
sinh(β {b + bn−1 }) = q
2 ¡xn + tan2 φ¢ ¡1 + xn tan2 φ¢

eβ{b+bn−1 } + e−β{b+bn−1 }
cosh(β {b + bn−1 }) =
à ³ 2 !
´1 ³ n tan2 φ ´ 2
1
1 1+xn tan2 φ 2
ln xn +tan2 φ − ln 1+x
cosh(β {b + bn−1 }) = e +e xn +tan2 φ

2
õ ¶1 µ n ¶1 !
1 1 + xn tan2 φ 2 x + tan2 φ 2
cosh(β {b + bn−1 }) = +
2 xn + tan2 φ 1 + xn tan2 φ
1 1 + xn tan2 φ + xn + tan2 φ
cosh(β {b + bn−1 }) = q
2 ¡xn + tan2 φ¢ ¡1 + xn tan2 φ¢
¡ ¢
1 (1 + xn ) 1 + tan2 φ
cosh(β {b + bn−1 }) = q
2 ¡xn + tan2 φ¢ ¡1 + xn tan2 φ¢
 13

" #1
−4 ln
(1+xn tan−2 φ)(1+xn tan2 φ) 4

−4βKn−1 (1−xn )2
e = e
2
(1 − xn )
e−4βKn−1 = ¡ ¢¡ ¢
1 + xn tan−2 φ 1 + xn tan2 φ
Reemplazando
£ ¤− 1
2e−4βKn−1 sinh2 (β {b + bn−1 }) + e−4βKn−1 2
lı́m hsj , sj+n ib,K = 1− q
N →∞
cosh(β {b + bn−1 }) + sinh2 (β {b + bn−1 }) + e−4βKn−1
· 2
¸− 12
(1−xn )2 1 (1−xn )2 (1−tan2 φ) (1−xn )2
2 (1+xn tan−2 φ)(1+xn tan2 φ) 4 (xn +tan2 φ)(1+xn tan2 φ) + (1+xn tan−2 φ)(1+xn tan2 φ)
lı́m hsj , sj+n ib,K = 1− q
n )2 (1−tan2 φ)2 (1−xn )2
N →∞ 1 √ (1+xn )(1+tan2 φ)
2 n 2 n 2
+ 14 (xn(1−x
+tan2 φ)(1+xn tan2 φ) + (1+xn tan−2 φ)(1+xn tan2 φ)
(x +tan φ)(1+x tan φ)
· 2
¸− 12
(1−xn )2 1 (1−xn )2 (1−tan2 φ) (1−xn )2
2 (1+xn tan−2 φ)(1+xn tan2 φ) 4 tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ) + (1+xn tan−2 φ)(1+xn tan2 φ)
lı́m hsj , sj+n ib,K = 1− q
N →∞ 1 (1+xn )(1+tan2 φ) 1 (1−xn )2 (1−tan2 φ)2 (1−xn )2
2
√ + 4 tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ) + (1+xn tan−2 φ)(1+xn tan2 φ)
tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
· 2
¸− 21
(1−xn )2 n −1 (1−tan2 φ)
+4 tan2 φ
4 (1+xn tan−2 φ)(1+xn tan2 φ) (1 − x ) 2 n
tan φ(1+x tan −2 φ)(1+xn tan2 φ)
lı́m hsj , sj+n ib,K = 1− q
N →∞ 1 (1+xn )(1+tan2 φ) 1 (1−tan2 φ)2 +4 tan2 φ
2
√ + 2 (1 − xn ) tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
· 2
¸− 21
(1−xn ) (1+tan2 φ)
4 (1+xn tan−2 φ)(1+xn tan2 φ) tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
lı́m hsj , sj+n ib,K = 1− q
N →∞ 1 (1+xn )(1+tan2 φ) 1 (1+tan2 φ)2
2
√ + 2 (1 − xn ) tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
√
(1−xn ) tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
4 (1+xn tan−2 φ)(1+xn tan2 φ)(1+tan2 φ)
lı́m hsj , sj+n ib,K = 1− (1+xn )+(1−xn ) ¡ ¢
N →∞ 1 √ 2
2 1 + tan φ
tan2 φ(1+xn tan−2 φ)(1+xn tan2 φ)
q ¡ ¢¡ ¢q 2 ¡ ¢¡ ¢
(1 − xn ) tan2 φ 1 + xn tan−2 φ 1 + xn tan2 φ tan φ 1 + xn tan−2 φ 1 + xn tan2 φ
lı́m hsj , sj+n ib,K = 1−4 ¡ ¢¡ ¢¡ ¢ ¡ ¢
N →∞ 1 + xn tan−2 φ 1 + xn tan2 φ 1 + tan2 φ 1 + tan2 φ
tan2 φ (1 − xn )
lı́m hsj , sj+n ib,K = 1−4 ¡ ¢2
N →∞ 1 + tan2 φ
lo cual puede ser reescrito como
tan2 φ (1 − xn )
lı́m hsj , sj+n ib,K = 1−4 ¡ ¢2
N →∞ 1 + tan2 φ
¡ ¢2
1 + tan2 φ − 4 tan2 φ (1 − xn )
lı́m hsj , sj+n ib,K = ¡ ¢2
N →∞ 1 + tan2 φ
1 − 2 tan2 φ + tan4 φ + 4xn tan2 φ
lı́m hsj , sj+n ib,K = ³ ´2
N →∞ 1
cos2 φ

lı́m hsj , sj+n ib,K = cos4 φ − 2 cos2 φ sin2 φ + sin4 φ + 4xn cos2 φ sin2 φ
N →∞
¡ 2 ¢2 2
lı́m hsj , sj+n ib,K = cos φ − sin2 φ + (2 cos φ sin φ) xn
N →∞
2 2
lı́m hsj , sj+n ib,K = (cos 2φ) + xn (sin 2φ)
N →∞
lı́m hsj , sj+n ib,K = cos2 2φ + xn sin2 2φ
N →∞

Finalmente
lı́m hsj , sj+n ib,K = cos2 (2φ) + xn sin2 (2φ)
N →∞
con
1 − xe2βb
tan2 φ = y x = λ− /λ+
e2βb − x
 14

Podemos ver que que cuando n → ∞, es decir cuando las partı́culas estan muy lejos una de la
otra, no estarán correlacionadas. Como λ+ > λ− , la expresión para la correlación será
³ ´
lı́m lı́m hsi , si+n ib,K = 2 lı́m hsi ib,K = cos2 (2φ) = m2
n→∞ N →∞ N →∞

donde m puede ser calculada a partir de su definición como

∂ ln ZN (b, K)
m = lı́m hsi ib,K = lı́m N −1
N →∞ N →∞ ∂βb
£ −1
¤
∂ lı́mN →∞ N ln ZN (b, K)
m = lı́m hsi ib,K =
N →∞ ∂βb
∂ [ln λ+ ]
m = lı́m hsi ib,K =
N →∞ ∂βb
· ½ q ¾¸
∂ ln eβK cosh(βb) + sinh2 (βb) + e−4βK
m = lı́m hsi ib,K =
N →∞ ∂βb
· ½ q ¾¸
∂ eβK cosh(βb) + sinh2 (βb) + e−4βK
1
m = lı́m hsi ib,K = ½ q ¾
N →∞
βK 2 −4βK
∂βb
e cosh(βb) + sinh (βb) + e
 
1 sin(βb) + qsinh(βb) cosh(βb) 
m = lı́m hsi ib,K = q
N →∞ 2
cosh(βb) + sinh (βb) + e−4βK sinh2 (βb) + e−4βK
sin(βb)
m = lı́m hsi ib,K = q
N →∞ 2
sinh (βb) + e−4βK

La función de correlación de pares se defije como

n o
ν (n ; b, K) = lı́m hsj sj+n ib,K − hsj ib,K hsj+n ib,K
N →∞

Luego, se puede ver que

ν (n ; b, K) = cos2 (2φ) + xn sin2 (2φ) − cos2 (2φ)

ν (n ; b, K) = xn sin2 (2φ)

Esto puede ser reescrito en forma de exponencial decreciente, como

ν (n ; b, K) = sin2 (2φ) en ln x
n
ν (n ; b, K) = sin2 (2φ) e− ξ(b,K)

donde
λ− λ+
ξ (b, K) = − ln = ln
λ+ λ−
Se ve que la función de correlación de pares decae exponencialmente según la distancia entre los
pares de partı́culas estudiadas (n) y con una longitud de correlación ξ (b, K) que dependerá del campo
magnético aplicado al sistema y de la constante de acoplamiento entre las partı́culas.