# Landau theory

Landau theory (also known as Ginzburg–Landau theory, despite the confusing name) in physics is a theory that Lev Landau introduced in an attempt to formulate a general theory of continuous (i.e., second-order) phase transitions. It can also be adapted to systems under externally-applied fields, and used as a quantitative model for discontinuous (i.e., first-order) transitions. Although the theory has now been superseded by the renormalization group and scaling theory formulations, it remains an exceptionally broad and powerful framework for phase transitions, and the associated concept of the order parameter as a descriptor of the essential character of the transition has proven transformative.

## Mean-field formulation (no long-range correlation)

Landau was motivated to suggest that the free energy of any system should obey two conditions:
* Be analytic in the order parameter and its gradients.
* Obey the symmetry of the Hamiltonian.
Given these two conditions, one can write down (in the vicinity of the critical temperature, T$_c$) a phenomenological expression for the free energy as a Taylor expansion in the order parameter.

### Second-order transitions

Consider a system that breaks some symmetry below a phase transition, which is characterized by an order parameter $\eta$. This order parameter is a measure of the order before and after a phase transition; the order parameter is often zero above some critical temperature and non-zero below the critical temperature. In a simple ferromagnetic system like the Ising model, the order parameter is characterized by the net magnetization $m$, which becomes spontaneously non-zero below a critical temperature $T_{c}$. In Landau theory, one considers a free energy functional that is an analytic function of the order parameter. In many systems with certain symmetries, the free energy will only be a function of even powers of the order parameter, for which it can be expressed as the series expansion
    $F(T,\eta )-F_{0}=a(T)\eta ^{2}+{\frac {b(T)}{2}}\eta ^{4}+\cdots$
In general, there are higher order terms present in the free energy, but it is a reasonable approximation to consider the series to fourth order in the order parameter, as long as the order parameter is small. For the system to be thermodynamically stable (that is, the system does not seek an infinite order parameter to minimize the energy), the coefficient of the highest even power of the order parameter must be positive, so $b(T)>0$. For simplicity, one can assume that $b(T)=b_{0}$, a constant, near the critical temperature. Furthermore, since $a(T)$ changes sign above and below the critical temperature, one can likewise expand $a(T)\approx a_{0}(T-T_{c})$, where it is assumed that $a>0$ for the high-temperature phase while $a<0$ for the low-temperature phase, for a transition to occur. With these assumptions, minimizing the free energy with respect to the order parameter requires
    ${\frac {\partial F}{\partial \eta }}=2a(T)\eta +2b(T)\eta ^{3}=0$
The solution to the order parameter that satisfies this condition is either $\eta =0$, or
    $\eta _{0}^{2}=-{\frac {a}{b}}=-{\frac {a_{0}}{b_{0}}}(T-T_{c})$
It is clear that this solution only exists for $T<T_{c}$, otherwise $\eta =0$ is the only solution. Indeed, $\eta =0$ is the minimum solution for $T>T_{c}$, but the solution $\eta _{0}$ minimizes the free energy for $T<T_{c}$, and thus is a stable phase. Furthermore, the order parameter follows the relation
    $\eta (T)\propto \left|T-T_{c}\right|^{1/2}$
below the critical temperature, indicating a critical exponent $\beta =1/2$ for this Landau mean-theory model.
The free-energy will vary as a function of temperature given by
    $F-F_{0}={\begin{cases}-{\dfrac {a_{0}^{2}}{2b_{0}}}(T-T_{c})^{2},&T<T_{c}\\0,&T>T_{c}\end{cases}}$
From the free energy, one can compute the specific heat,
    $c_{p}=-T{\frac {\partial ^{2}F}{\partial T^{2}}}={\begin{cases}{\dfrac {a_{0}^{2}}{b_{0}}}T,&T<T_{c}\\0,&T>T_{c}\end{cases}}$
which has a finite jump at the critical temperature of size $\Delta c=a_{0}^{2}T_{c}/b_{0}$. This finite jump is therefore not associated with a discontinuity that would occur if the system absorbed latent heat, since $T_{c}\Delta S=0$. It is also noteworthy that the discontinuity in the specific heat is related to the discontinuity in the second derivative of the free energy, which is characteristic of a second-order phase transition. Furthermore, the fact that the specific heat has no divergence or cusp at the critical point indicates its critical exponent for $c\sim |T-T_{c}|^{-\alpha }$ is $\alpha =0$.

### Irreducible representations

Landau expanded his theory to consider the restraints that it imposes on the symmetries before and after a transition of second order. They need to comply with a number of requirements:
* The distorted (or ordered) symmetry needs to be a subgroup of the higher one.
* The order parameter that embodies the distortion needs to transform as a single irreducible representation (irrep) of the parent symmetry
* The irrep should not contain a third order invariant
* If the irrep allows for more than one fourth order invariant, the resulting symmetry minimizes a linear combination of these invariants
In the latter case more than one daughter structure should be reacheable through a continuous transition. A good example of this are the structure of MnP (space group Cmca) and the low temperature structure of NbS (space group P6$_3$mc). They are both daughters of the NiAs-structure and their distortions transform according to the same irrep of that spacegroup.

### Applied fields

In many systems, one can consider a perturbing field $h$ that couples linearly to the order parameter. For example, in the case of a classical dipole moment $\mu$, the energy of the dipole-field system is $-\mu B$. In the general case, one can assume an energy shift of $-\eta h$ due to the coupling of the order parameter to the applied field $h$, and the Landau free energy will change as a result:
    $F(T,\eta )-F_{0}=a_{0}(T-T_{c})\eta ^{2}+{\frac {b_{0}}{2}}\eta ^{4}-\eta h$
In this case, the minimization condition is
    ${\frac {\partial F}{\partial \eta }}=2a(T)\eta +2b_{0}\eta ^{3}-h=0$
One immediate consequence of this equation and its solution is that, if the applied field is non-zero, then the magnetization is non-zero at any temperature. This implies there is no longer a spontaneous symmetry breaking that occurs at any temperature. Furthermore, some interesting thermodynamic and universal quantities can be obtained from this above condition. For example, at the critical temperature where $a(T_{c})=0$, one can find the dependence of the order parameter on the external field:
    $\eta (T_{c})=\left({\frac {h}{2b_{0}}}\right)^{1/3}\propto h^{1/\delta }$
indicating a critical exponent $\delta =3$.
Furthermore, from the above condition, it is possible to find the zero-field susceptibility $\chi \equiv \partial \eta /\partial h|_{h=0}$, which must satisfy
    $0=2a{\frac {\partial \eta }{\partial h}}+6b\eta ^{2}{\frac {\partial \eta }{\partial h}}-1$
    $[2a+6b\eta ^{2}]{\frac {\partial \eta }{\partial h}}=1$
In this case, recalling in the zero-field case that $\eta ^{2}=-a/b$ at low temperatures, while $\eta ^{2}=0$ for temperatures above the critical temperature, the zero-field susceptibility therefore has the following temperature dependence:
    $\chi (T,h\to 0)={\begin{cases}{\frac {1}{2a_{0}(T-T_{c})}},&T>T_{c}\\{\frac {1}{-4a_{0}(T-T_{c})}},&T<T_{c}\end{cases}}\propto |T-T_{c}|^{-\gamma }$
which is reminiscent of the Curie-Weiss law for the temperature dependence of magnetic susceptibility in magnetic materials, and yields the mean-field critical exponent $\gamma =1$.
It is noteworthy that although the critical exponents so obtained are incorrect for many models and systems, they correctly satisfy various exponent equalities such as the Rushbrooke equality: $\alpha +2\beta +\gamma =2$.

### First-order transitions

Landau theory can also be used to study first-order transitions. There are two different formulations, depending on whether or not the system is symmetric under a change in sign of the order parameter.

#### I. Symmetric Case

Here we consider the case where the system has a symmetry and the energy is invariant when the order parameter changes sign. A first-order transition will arise if the quartic term in $F$ is negative. To ensure that the free energy remains positive at large $\eta$, one must carry the free-energy expansion to sixth-order,
    $F(T,\eta )=A(T)\eta ^{2}-B_{0}\eta ^{4}+C_{0}\eta ^{6},$
where $A(T)=A_{0}(T-T_{0})$, and $T_{0}$ is some temperature at which $A(T)$ changes sign. We denote this temperature by $T_{0}$ and not $T_{c}$, since it will emerge below that it is not the temperature of the first-order transition, and since there is no critical point, the notion of a "critical temperature" is misleading to begin with. $A_{0},B_{0},$ and $C_{0}$ are positive coefficients.
We analyze this free energy functional as follows: (i) For $T>T_{0}$, the $\eta ^{2}$ and $\eta ^{6}$ terms are concave upward for all $\eta$, while the $\eta ^{4}$ term is concave downward. Thus for sufficiently high temperatures $F$ is concave upward for all $\eta$, and the equilibrium solution is $\eta =0$. (ii) For $T<T_{0}$, both the $\eta ^{2}$ and $\eta ^{4}$ terms are negative, so $\eta =0$ is a local maximum, and the minimum of $F$ is at some non-zero value $\pm \eta _{0}(T)$, with $F(T_{0},\eta _{0}(T_{0}))<0$. (iii) For $T$ just above $T_{0}$, $\eta =0$ turns into a local minimum, but the minimum at $\eta _{0}(T)$ continues to be the global minimum since it has a lower free energy. It follows that as the temperature is raised above $T_{0}$, the global minimum cannot continuously evolve from $\eta _{0}(T)$ to 0. Rather, at some intermediate temperature $T_{*}$, the minima at $\eta _{0}(T_{*})$ and $\eta =0$ must become degenerate. For $T>T_{*}$, the global minimum will jump discontinuously from $\eta _{0}(T_{*})$ to 0.
To find $T_{*}$, we demand that free energy be zero at $\eta =\eta _{0}(T_{*})$ (just like the $\eta =0$ solution), and furthermore that this point should be a local minimum. These two conditions yield two equations,
    $0=A(T)\eta ^{2}-B_{0}\eta ^{4}+C_{0}\eta ^{6},$
    $0=2A(T)\eta -4B_{0}\eta ^{3}+6C_{0}\eta ^{5},$
which are satisfied when $\eta ^{2}(T_{*})={B_{0}}/{2C_{0}}$. The same equations also imply that $A(T_{*})=A_{0}(T_{*}-T_{0})=B_{0}^{2}/4C_{0}$. That is,
    $T_{*}=T_{0}+{\frac {B_{0}^{2}}{4A_{0}C_{0}}}.$
From this analysis both points made above can be seen explicitly. First, the order parameter suffers a discontinuous jump from $(B_{0}/2C_{0})^{1/2}$ to 0. Second, the transition temperature $T_{*}$ is not the same as the temperature $T_{0}$ where $A(T)$ vanishes.
At temperatures below the transition temperature, $T<T_{*}$, the order parameter is given by
    $\eta _{0}^{2}={\frac {B_{0}}{3C_{0}}}\left[1+{\sqrt {1-{\frac {3A(T)C_{0}}{B_{0}^{2}}}}}\right]$
which is plotted to the right. This shows the clear discontinuity associated with the order parameter as a function of the temperature. To further demonstrate that the transition is first-order, one can show that the free energy for this order parameter is continuous at the transition temperature $T_{*}$, but its first derivative (the entropy) suffers from a discontinuity, reflecting the existence of a non-zero latent heat.

#### II. Nonsymmetric Case

Next we consider the case where the system does not have a symmetry. In this case there is no reason to keep only even powers of $\eta$ in the expansion of $F$, and a cubic term must be allowed (The linear term can always be eliminated by a shift $\eta \to \eta$ + constant.) We thus consider a free energy functional
    $F(T,\eta )=A(T)\eta ^{2}-C_{0}\eta ^{3}+B_{0}\eta ^{4}+\cdots .$
Once again $A(T)=A_{0}(T-T_{0})$, and $A_{0},B_{0},C_{0}$ are all positive. The sign of the cubic term can always be chosen to be negative as we have done by reversing the sign of $\eta$ if necessary.
We analyze this free energy functional as follows: (i) For $T<T_{0}$, we have a local maximum at $\eta =0$, and since the free energy is bounded below, there must be two local minima at nonzero values $\eta _{-}(T)<0$ and $\eta _{+}(T)>0$. The cubic term ensures that $\eta _{+}$ is the global minimum since it is deeper. (ii) For $T$ just above $T_{0}$, the minimum at $\eta _{-}$ disappears, the maximum at $\eta =0$ turns into a local minimum, but the minimum at $\eta _{+}$ persists and continues to be the global minimum. As the temperature is further raised, $F(T,\eta _{+}(T))$ rises until it equals zero at some temperature $T_{*}$. At $T_{*}$ we get a discontinuous jump in the global minimum from $\eta _{+}(T_{*})$ to 0. (The minima cannot coalesce for that would require the first three derivatives of $F$ to vanish at $\eta =0$.)
To find $T_{*}$, we demand that free energy be zero at $\eta =\eta _{+}(T_{*})$ (just like the $\eta =0$ solution), and furthermore that this point should be a local minimum. These two conditions yield two equations,
    $0=A(T)\eta ^{2}-C_{0}\eta ^{3}+B_{0}\eta ^{4},$
    $0=2A(T)\eta -3C_{0}\eta ^{2}+4B_{0}\eta ^{3},$
which are satisfied when $\eta (T_{*})={C_{0}}/{2B_{0}}$. The same equations also imply that $A(T_{*})=A_{0}(T_{*}-T_{0})=C_{0}^{2}/4B_{0}$. That is,
    $T_{*}=T_{0}+{\frac {C_{0}^{2}}{4A_{0}B_{0}}}.$
As in the symmetric case the order parameter suffers a discontinuous jump from $(C_{0}/2B_{0})$ to 0. Second, the transition temperature $T_{*}$ is not the same as the temperature $T_{0}$ where $A(T)$ vanishes.

### Applications

It was known experimentally that the liquid–gas coexistence curve and the ferromagnet magnetization curve both exhibited a scaling relation of the form $|T-T_{c}|^{\beta }$, where $\beta$ was mysteriously the same for both systems. This is the phenomenon of universality. It was also known that simple liquid–gas models are exactly mappable to simple magnetic models, which implied that the two systems possess the same symmetries. It then followed from Landau theory why these two apparently disparate systems should have the same critical exponents, despite having different microscopic parameters. It is now known that the phenomenon of universality arises for other reasons (see Renormalization group). In fact, Landau theory predicts the incorrect critical exponents for the Ising and liquid–gas systems.
The great virtue of Landau theory is that it makes specific predictions for what kind of non-analytic behavior one should see when the underlying free energy is analytic. Then, all the non-analyticity at the critical point, the critical exponents, are because the equilibrium value of the order parameter changes non-analytically, as a square root, whenever the free energy loses its unique minimum.
The extension of Landau theory to include fluctuations in the order parameter shows that Landau theory is only strictly valid near the critical points of ordinary systems with spatial dimensions higher than 4. This is the upper critical dimension, and it can be much higher than four in more finely tuned phase transition. In Mukhamel's analysis of the isotropic Lifschitz point, the critical dimension is 8. This is because Landau theory is a mean field theory, and does not include long-range correlations.
This theory does not explain non-analyticity at the critical point, but when applied to superfluid and superconductor phase transition, Landau's theory provided inspiration for another theory, the Ginzburg–Landau theory of superconductivity.

## Including long-range correlations

Consider the Ising model free energy above. Assume that the order parameter $\Psi$ and external magnetic field, $h$, may have spatial variations. Now, the free energy of the system can be assumed to take the following modified form:
    $F:=\int d^{D}x\ \left(a(T)+r(T)\psi ^{2}(x)+s(T)\psi ^{4}(x)\ +f(T)(\nabla \psi (x))^{2}\ +h(x)\psi (x)\ \ +{\mathcal {O}}(\psi ^{6};(\nabla \psi )^{4})\right)$
where $D$ is the total spatial dimensionality. So,
    $\langle \psi (x)\rangle :={\frac {{\text{Tr}}\ \psi (x){\rm {e}}^{-\beta H}}{Z}}$
Assume that, for a localized external magnetic perturbation $h(x)\rightarrow 0+h_{0}\delta (x)$, the order parameter takes the form $\psi (x)\rightarrow \psi _{0}+\phi (x)$. Then,
    ${\frac {\delta \langle \psi (x)\rangle }{\delta h(0)}}={\frac {\phi (x)}{h_{0}}}=\beta \left(\langle \psi (x)\psi (0)\rangle -\langle \psi (x)\rangle \langle \psi (0)\rangle \right)$
That is, the fluctuation $\phi (x)$ in the order parameter corresponds to the order-order correlation. Hence, neglecting this fluctuation (like in the earlier mean-field approach) corresponds to neglecting the order-order correlation, which diverges near the critical point.
One can also solve for $\phi (x)$, from which the scaling exponent, $\nu$, for correlation length $\xi \sim (T-T_{c})^{-\nu }$ can deduced. From these, the Ginzburg criterion for the upper critical dimension for the validity of the Ising mean-field Landau theory (the one without long-range correlation) can be calculated as:
    $D\geq 2+2{\frac {\beta }{\nu }}$
In our current Ising model, mean-field Landau theory gives $\beta =1/2=\nu$ and so, it (the Ising mean-field Landau theory) is valid only for spatial dimensionality greater than or equal to 4 (at the marginal values of $D=4$, there are small corrections to the exponents). This modified version of mean-field Landau theory is sometimes also referred to as the Landau–Ginzburg theory of Ising phase transitions. As a clarification, there is also a Ginzburg–Landau theory specific to superconductivity phase transition, which also includes fluctuations.