Crystal statistics. I. A two-dimensional model with an order-disorder transition

The partition function of a two-dimensional "ferromagnetic" with scalar "spins" (Ising model) is computed rigorously for the case of vanishing field. The eigenwert problem involved in the corresponding computation for a long strip crystal of finite width ($n$ atoms), joined straight to itself around a cylinder, is solved by direct product decomposition; in the special case $n=\ensuremath{\infty}$ an integral replaces a sum. The choice of different interaction energies ($\ifmmode\pm\else\textpm\fi{}J,\ifmmode\pm\else\textpm\fi{}{J}^{\ensuremath{'}}$) in the (0 1) and (1 0) directions does not complicate the problem. The two-way infinite crystal has an order-disorder transition at a temperature $T={T}_{c}$ given by the condition $sinh(\frac{2J}{k{T}_{c}}) sinh(\frac{2{J}^{\ensuremath{'}}}{k{T}_{c}})=1.$ The energy is a continuous function of $T$; but the specific heat becomes infinite as $\ensuremath{-}log |T\ensuremath{-}{T}_{c}|$. For strips of finite width, the maximum of the specific heat increases linearly with $log n$. The order-converting dual transformation invented by Kramers and Wannier effects a simple automorphism of the basis of the quaternion algebra which is natural to the problem in hand. In addition to the thermodynamic properties of the massive crystal, the free energy of a (0 1) boundary between areas of opposite order is computed; on this basis the mean ordered length of a strip crystal is ${(\mathrm{exp} (\frac{2J}{\mathrm{kT}}) tanh(\frac{2{J}^{\ensuremath{'}}}{\mathrm{kT}}))}^{n}.$