The Ising model is the simplest model of interacting spins on a lattice. Each site i has a spin variable σi∈{−1,+1}.
H=−J∑⟨i,j⟩σiσj−h∑iσi
Where J>0 is the ferromagnetic coupling, ⟨i,j⟩ denotes nearest-neighbor pairs, and h is the external magnetic field.
Partition function (in 1D with periodic boundary conditions, N spins):
Z=∑{σ}exp(βJ∑iσiσi+1+βh∑iσi)
This can be evaluated using the transfer matrix method. Define:
T=(eβJ+βhe−βJe−βJeβJ−βh)
Then Z=Tr(TN)=λ+N+λ−N where λ± are the eigenvalues of T.
In the thermodynamic limit (N→∞), Z=λ+N where:
λ+=eβJcosh(βh)+e2βJsinh2(βh)+e−2βJ
Key result: The 1D Ising model has no phase transition at T>0. The magnetization m=⟨σ⟩→0 as h→0 for all finite T.
12.2 Mean-Field Approximation
The mean-field (Weiss) approximation replaces each neighboring spin by its thermal average:
σiσj≈σi⟨σj⟩+⟨σi⟩σj−⟨σi⟩⟨σj⟩
The effective Hamiltonian becomes:
HMF=−∑i(zJm+h)σi+21NzJm2
Where z is the coordination number and m=⟨σ⟩.
Each spin is independent, so:
m=tanh[β(zJm+h)]
This is a self-consistency equation for m. For h=0:
m=tanh(βzJm)
Expanding for small m: m≈βzJm−31(βzJ)3m3. Nonzero m exists when:
βzJ>1⟹TcMF=kBzJ
12.3 Exact Solution: 2D Ising Model (Onsager, 1944)
Onsager”s exact solution for the square lattice gives:
Tc=kBln(1+2)2J≈kB2.269J
The spontaneous magnetization below Tc:
m=[1−sinh−4(2βcJ)]1/8,T<Tc
The specific heat diverges logarithmically at Tc:
C∼−Aln∣T−Tc∣
Worked Example 12.1: Mean-Field $T_c$ for Different Lattices
For J=1 (in units of kB):
Lattice
z
TcMF
Linear chain
2
2
Square
4
4
Simple cubic
6
6
BCC
8
8
FCC
12
12
Compare with the exact Tc: 1D has no transition, 2D square has Tc≈2.2693D (numerical) Tc≈4.51. Mean-field overestimates Tc in all cases, with the error decreasing as z (dimensionality) increases.
Worked Example 12.2: 1D Ising Free Energy
For the 1D Ising model with h=0The transfer matrix eigenvalues are:
λ±=eβJ±e−βJ
The free energy per spin in the thermodynamic limit:
f=−kBTlnλ+=−kBTln(2coshkBTJ)
The internal energy per spin:
u=−∂β∂lnλ+=−JtanhkBTJ
The specific heat:
c=∂T∂u=kBT2J2sech2(kBTJ)
This is a smooth function with no singularity — confirming no phase transition in 1D.