Analytic properties of the Ising model

Since we want to analyse the Ising model in order to determine if and how it exhibits phase transitions, and that phase transitions are characterized by singularities in the thermodynamic potentials, it is important to study the analytic properties of the Ising model's free energy so that we can find possible non-analytic behaviours and therefore understand when such phenomena can occur.


Let us therefore consider an Ising model where the external field is constant and the interaction occurs only between nearest neighbouring spins, namely:

This way the Hamiltonian of the system is:
where the notation means that and are nearest neighbours[1].


We now state the most important analytic properties of the bulk free energy density (which hold in general).

Theorem

Let be the free energy density of a system at temperature subject to an external (generic) field . Then:

  • is negative,
  • is a continuous function of its arguments
  • The derivatives of exist almost everywhere; furthermore, right and left derivatives of exist everywhere and are equal almost everywhere
  • , namely the entropy per site is non-negative
  • is monotonically non-increasing with , namely ; this implies, from its definition, that
  • is monotonically non-increasing with , namely ; this implies, from its definition, that
 

We shall only prove the fourth point; the general strategy is to start from a finite system and then take the thermodynamic limit.

Proof

If we assume the existence of the derivatives, then:

If we now define:
we have:
Now, since by definition , and thus is a sum of positive terms; therefore is positive. Dividing by and taking the thermodynamic limit we get .

 

We can even prove something more (we will do it in the particular case of the Ising model):

Theorem

The free energy density is a concave function of .

 
Proof

The proof is based upon the Hölder inequality, which we now recall. If and are two sequences with for all and are such that , then:

Let us now consider (for simplicity we will write only as its argument). By definition:
where we have defined . Then we have:
where we have also used the fact that , and thus:
Therefore, taking the logarithm at both sides, multiplying for and taking the thermodynamic limit we get:
and so is indeed a concave function of .

 
  1. With this notation we are also implicitly assuming that we are not counting twice terms that are equal; to be explicit, considering the unidmensional case if we sum over all the possible nearest neighbours we would have terms like : every term (except eventually for the boundaries, but only if we don't take periodic conditions) is counted twice (), so we should multiply everything by  to correct this exceeding number of terms. With our notation we are implicitly doing that, and so the sum can be explicitly written as ; however, sometimes in the future it will be convenient to use the other convention, so we will count every possible term and then divide by 2.
 PreviousNext