Interface free energy

Interface free energy is the contribution to the free energy of a system due to the presence of an interface separating two coexisting phases at equilibrium. It is also called surface tension. The content of the article is the definition and main properties of the interface free energy from first principles of statistical mechanics.

[edit] Interface free energy in statistical mechanics

[edit] Definition of the interface free energy

Consider a physical system at equilibrium in a vessel \(V\) at a first order phase transition point with bulk phases \(A\) and \(B\ .\) The interface is the common boundary of the two phases when they coexist in \(V\ .\) At the macroscopic scale, when the length of the vessel \(V\) is the reference length, a flat interface perpendicular to a unit vector \({\mathbf n}\) is described mathematically by a plane perpendicular to \({\mathbf n}\ ;\) above this plane the state of the system is specified by the value of the order-parameter of one of the phases, and below by that of the other phase. The interface free energy \(\tau({\mathbf n})\) is the free energy of that interface (per unit area). The way of defining \(\tau({\mathbf n})\) is quite general and can be applied in principle to most systems; its origin can be traced back to the monumental work of J.W. Gibbs, On the Equilibrium of Heterogeneous Substances (1875-1878). The basic postulate is that the various contributions to the overall free energy \(F(V)\) (taking into account the interactions of the system with the walls) can be separated into the bulk free energy, which is proportional to the volume of \(V\ ,\) and a term proportional to the surface of \(V\) (up to a negligible correction term). Thus, at a point of first order phase transition, when only phase \(A\) is present, \[ F_A(V)=-\frac{1}{\beta}\ln Z_A(V)=f_{{\rm bulk} }(A)|V| + f_{{\rm wall} }(A)|\partial V|+ o(|\partial V|) \] where \(Z_A(V)\) denotes the partition function of the system for phase \(A\ ,\) \(\beta\) the inverse temperature, \(|V|\) the volume of \(V\) and \(|\partial V|\) the area of the boundary \(\partial V\) of the vessel. A similar expression holds when phase \(B\) is present. Under specific conditions it is possible to obtain macroscopic inhomogeneous states with a planar interface separating the two coexisting bulk phases. In such cases there is an additional contribution to the free energy and the postulate is that the free energy can be written as \[ F_{AB}(V)=-\frac{1}{\beta}\ln Z_{AB}(V)=f_{{\rm bulk} }(AB)|V| + f_{{\rm wall} }(AB)|\partial V|+ \tau({\mathbf n})|I({\mathbf n})|+ o(|\partial V|) \] with \[ f_{{\rm wall} }(AB)=\alpha f_{{\rm wall} }(A)+ (1-\alpha)f_{{\rm wall} }(B). \] The term \(|I({\mathbf n})|=O(|\partial V|)\) is the area of the interface in \(V\) perpendicular to the unit vector \({\mathbf n}\) and \(\alpha\) is the proportion of the walls of \(V\) in contact with phase \(A\ .\) At a first order phase transition point \(f_{{\rm bulk} }(AB)=f_{{\rm bulk} }(A)=f_{{\rm bulk} }(B)\ ,\) and if the postulate is correct, one eliminates the terms \(f_{{\rm wall} }(AB)\ ,\) \(f_{{\rm wall} }(A)\) and \(f_{{\rm wall} }(B)\) by considering the ratio of partition functions \[\tag{1} -\frac{1}{\beta}\ln\frac{Z_{AB}(V)}{Z_A(V)^{\alpha}Z_B(V)^{1-\alpha}}=\tau({\mathbf n})|I({\mathbf n})|+ o(|\partial V|). \]

An obvious difficulty is that \(\tau({\mathbf n})\) is defined only when there is phase coexistence. This is why in many situations one proceeds differently in Physics. One models directly the interface in order to bypass these problems and then the interface free energy is simply identified with the free energy of the model for which one has standard methods for evaluating it. This is often an adequate way to proceed, but it cannot be applied always, for example when one is studying how the coexisting phases are spatially distributed inside the vessel \(V\ .\)

Macroscopic states and interface free energy in Ising model

The ideas of the preceding section are implemented for the Ising model for which the mathematical results are the most complete. We expose the main results for three-dimensional Ising model. The two-dimensional case is also of interest. The model is defined on \[ \Lambda_{LM}:=\{t=(t_1,t_2,t_3)\in{\mathbf Z}^3\,{:}\; \max(|t_1|,|t_2|)\leq L\,,\;|t_3|\leq M \}. \] The energy of the system is equal to \[ H_{LM}(\underline{\sigma})=-\frac{1}{2} \sum_{t\in\Lambda_{LM}}\sum_{t^\prime\in\Lambda_{LM}}J(t,t^\prime)\,\sigma(t)\sigma(t^\prime) -\sum_{t\in\Lambda_{LM}}h\,\sigma(t) \] with coupling constants \(J(t,t^\prime)=0\ ,\) except if \(t,t^\prime\) are nearest neighbors, in which case \(J(t,t^\prime)=J>0\ .\) An inhomogeneous magnetic field \(J^\prime \eta(t)\ ,\) which acts only on the spins located at the boundary of the box \(\Lambda_{L,M}\ ,\) models the interaction of the system with the walls, which is defined by \[ W_{LM}^\eta(\underline{\sigma}):=-\sum_{t\in\partial\Lambda_{LM}}J^\prime\eta(t)\sigma(t). \] Here \(\partial\Lambda_{LM}:=\{t\in\Lambda_{LM}\,:\,|t_3|=M\; \text{or}\; \max(|t_1|,|t_2|)=L \}\) and \(J^\prime>0\ ;\) the value of \(\eta(t)\) is fixed, either \(\eta(t)=1\) or \(\eta(t)=-1\ .\) Different kinds of walls are modeled by choosing different values for \(\eta(t)\) and for the coupling constant \(J^\prime\ .\) The overall energy of the system is \(H_{LM}+W_{LM}^\eta\ .\) According to statistical mechanics the free energy of the system is the logarithm of the partition function \(Z_{LM}^\eta\ ,\) \[ F_{LM}^\eta(\beta,h,J^\prime):=-\beta^{-1}\ln Z_{LM}^\eta\quad\text{with}\quad Z_{LM}^\eta=\sum_{\underline{\sigma}^\prime}{\rm e}^{-\beta(H_{LM}(\underline{\sigma}^\prime)+W_{LM}^\eta(\underline{\sigma}^\prime))}\,. \] At the thermodynamical limit the bulk free energy per spin \[ f_{{\rm bulk} }(\beta,h)=\lim_{L\rightarrow\infty}\frac{1}{(2L+1)^d}F_{LL}^\eta(\beta,h,J^\prime) \] is independent on the choice of \(J^\prime>0\) and \(\eta\ .\) It is well-known that the model exhibits a first order phase transition at \(h=0\) and \(\beta>\beta_c(3)\) (\(\beta_c(d)\) is the inverse critical temperature of the \(d\)-dimensional Ising model, \(d\geq 2\)). At that transition the bulk free energy \(f_{{\rm bulk} }(\beta,h)\) is not differentiable at \(h=0\ ,\) the spin-flip symmetry of \(H_{LM}\) is broken and there is a positive spontaneous magnetization \(m^*(\beta)\ ,\) \[ 0<m^*(\beta)=\frac{d}{dh}f_{{\rm bulk} }(\beta,h)|_{h=0^+}=-\frac{d}{dh}f_{{\rm bulk} }(\beta,h)|_{h=0^-}. \]

From now on the external magnetic field \(h=0\) and \(\beta>\beta_c(3)\ .\) The coarse-grained description of the model at the macroscopic scale is obtained by taking the macroscopic limit. In this limit the state of the system is given by a magnetization profile. Let \(0<a<1\) and for simplicity set \(L=M\ ;\) the set \(\Lambda_{LL}\) is partitioned into cubic cells \(C_i\) of linear size \(L^a\) and the averaged magnetization over \(C_i\) is \[ m_{C_i}(\underline{\sigma}):=|C_i|^{-1}\sum_{t\in C_i}\sigma(t). \] All lengths are scaled by \(L^{-1}\ ,\) so that the distance between neighboring spins becomes \(L^{-1}\ .\) For each point \(x\) of the macroscopic box \(V=\{(x_1,x_2,x_3)\in{\mathbf R}^d\,{:}\; |x_i|\leq 1\}\) the magnetization profile is defined by \[ \rho_L(x|\underline{\sigma}):=m_C(\underline{\sigma})\quad\text{if}\; (Lx_1,Lx_2,Lx_3)\in C_i\,. \] The probability of the profile \(\rho_L(x|\underline{\sigma})\) is the joint probability of the block-spins \(m_{C_i}(\underline{\sigma})\) induced by the usual Gibbs measure. The macroscopic limit is obtained by taking the limit \(L^{-1}\rightarrow 0\ .\) (In probability theory this corresponds to the regime of the law of large numbers.) For pure boundary conditions, that is \(\eta(t)\equiv+1\ ,\) respectively \(\eta(t)\equiv -1\ ,\)

Figure 1: A mixed boundary condition.

the interactions with the walls favor the bulk phase with positive spontaneous magnetization \(m^*(\beta)\ ,\) respectively negative magnetization \(-m^*(\beta)\ .\) In the macroscopic limit the probability measure on the density profiles becomes concentrated on the unique magnetization profile \(\rho(x)\equiv m^*(\beta)\ ,\) respectively \(\rho(x)\equiv -m^*(\beta)\ ,\) for any value of \(J^\prime>0\ ;\) this constant profile describes the macroscopic state of the \(+\)-phase, respectively \(-\)-phase, of the model. A mixed boundary condition is related to the emergence of a planar interface perpendicular to \({\mathbf n}=(n_1,n_2,n_3)\ ,\) \[ \eta^{\mathbf n}(t):=+1\quad \text{if}\; t_1n_1+t_2n_2+t_3n_3\geq 0\quad\text{and}\quad \eta^{\mathbf n}(t):=-1\quad \text{if}\; t_1n_1+t_2n_2+t_3n_3< 0. \] Thus \(\eta^{{\mathbf n} }(t)=1\) if and only if \(t\) is above or in the plane \(\pi({\mathbf n})\) perpendicular to \({\mathbf n}\) and passing through the origin, otherwise \(\eta^{{\mathbf n} }(t)=-1\ .\) Let \(Z_{LM}^{{\mathbf n} }:=Z_{LM}^{\eta^{\mathbf n} }\ ;\) using the symmetry \(Z_{LL}^+=Z_{LL}^-\) the interface free energy \(\tau({\mathbf n})\) is defined by (1) and is given by \[\tag{2} \tau({\mathbf n})=-\frac{1}{\beta|I({\mathbf n})|}\lim_{L\rightarrow\infty}\frac{1}{L^{d-1}}\ln\frac{Z_{LL}^{{\mathbf n} } }{Z_{LL}^+}. \]

One can prove:

the limit (2) is independent on \(J^\prime\geq J\ ;\)
for \(\beta>\beta_c(3)\) the function \(\tau({\mathbf n})\) verifies the basic properties 1), 2) and 3) of an interface free energy (see below, next section);
in the macroscopic limit the measure on the density profiles is concentrated on the unique magnetization profile \[ \rho_{{\mathbf n} }(x):=+ m^*(\beta)\;\text{if}\; x\; \text{is above}\; \pi({\mathbf n}) \quad\text{and}\quad \rho_{{\mathbf n} }(x):=-m^*(\beta)\;\text{if}\; x\; \text{is above}\; \pi({\mathbf n})\,. \]

The condition \(J^\prime\geq J\) is important, because for some values of \(J^\prime<J\) and \(\beta\) the physics near the walls of the system is different: a surface phase transition may take place and portions of the interface may be pinned to the walls. As a consequence of this phenomenon, in the macroscopic limit the interaction of the system with the walls given by \(\eta^{\mathbf n}\) may not induce an interface perpendicular to \({\mathbf n}\). For example, in the two-dimensional case, the macroscopic state may have an interface making an angle with the vertical walls of the vessel, whose value is given by the Young-Herring equation, so that (2) may not be equal to \(\tau({\mathbf n})\ ,\) or, if \(J^\prime\) is small enough and the macroscopic box is a square, then the whole interface may even be pinned to the walls so that there is no interface through the macroscopic box and the magnetization profile is constant, either equal to \(m^*(\beta)\) or to \(-m^*(\beta)\ .\) In such cases the limit (2) depends on \(J^\prime\ .\) The condition \(J^\prime\geq J\) has a simple physical interpretation; it ensures that the walls of the box \(V\) are in the complete wetting regime, so that the interface cannot be pinned to the walls. In the literature the standard choice for ferromagnetic models is \(J^\prime=J\ ,\) so that (2) gives the correct definition of \(\tau({\mathbf n})\ .\) These results illustrate the fact that one must avoid the possibility of pinning the interface to the walls when using definition (1). On the other hand any wall interactions, which induce a macroscopic state with an interface perpendicular to \({\mathbf n}\) and such that otherwise (1) is independent of the chosen interactions, are admissible for defining the interface free energy.

Several other definitions for \(\tau({\mathbf n})\) have been proposed for the Ising or similar models. Most of them involve a ratio of partition functions and are based on the same pattern leading to (2) (see references below). A possibility of avoiding the above problem with the walls is to suppress (partially) the walls of the system by taking (partial) periodic boundary conditions. Then one imposes a condition implying the existence of a single planar interface perpendicular to \({\mathbf n}\ .\) There are also variants of (2) where one considers a box \(\Lambda_{LM}\) instead of \(\Lambda_{LL}\) and take first the limit \(M\rightarrow\infty\) before taking \(L\rightarrow\infty\ .\) When \(J^\prime<J\) this limit may give a different answer as the limit (2). On the other hand, if \(J^\prime\geq J\ ,\) then one can take the limits in any order, first \(L\rightarrow\infty\) and then \(M\rightarrow\infty\) or vice-versa, or simultaneously \(L\rightarrow\infty\) and \(M\rightarrow\infty\ .\) The reason is that the walls are in the complete wetting regime and the interface is not pinned to the walls.

The surface tension for the two-dimensional Ising model can be computed exactly. Onsager computed it for \({\mathbf n}=(0,1)\ ,\) \[ \beta\tau((0,1))=2(K-K^*)\,,\;\beta>\beta_c(2)\quad\text{and}\quad \tau((0,1))=0\,,\;\text{otherwise,} \] where \(K^*\) is defined by \(\exp(-2K^*)=\tanh K\) and \(K=\beta J\ .\) Onsager did not use the definition (2); the computation of \(\tau((0,1))\) defined by (2) is due to Abraham and Martin-Löf. The full interface free energy has been computed by McCoy and Wu. In general it is not easy to show that reasonable definitions give the same value for \(\tau({\mathbf n})\ .\)

[edit] Basic properties of the interface free energy

[edit] Convexity of the interface free energy

Assume that \({\tau}({\mathbf n})>0\) for each unit vector \({\mathbf n}\) is given. By convention \(\tau({\mathbf n})\ ,\) with \(\|{\mathbf n}\|=1\ ,\) is the physical value of the interface free energy of an interface perpendicular to \({\mathbf n}\ .\) It is convenient to extend the definition of \(\tau\) to any \({\mathbf x}\ ,\) as a positively homogeneous function, by setting \[ \tau({\mathbf x}):=\|{\mathbf x}\|\tau({\mathbf x}/\|{\mathbf x}\|)\,. \]

Figure 2: 2D-Ising model, equilibrium shape \(W_{\tau}\),\(J=1,\,\beta=3\ .\)

Let \(\langle\,{\mathbf x}|{\mathbf y}\,\rangle:=x_1y_1+x_2y_2+x_3y_3\) be Euclidean scalar product. The convex set \(W_\tau\ ,\) which is the intersection of the half-spaces \(H({\mathbf n})=\{{\mathbf x}\,:\,\langle\,{\mathbf x}|{\mathbf n}\,\rangle\leq \tau({\mathbf n})\}\ ,\) \[ W_\tau=\{{\mathbf x}\,{:}\; \langle\, {\mathbf x}|{\mathbf n}\,\rangle\leq \tau({\mathbf n})\,,\;\forall\, {\mathbf n}\}, \] is called the equilibrium shape because it gives the solution of the following isoperimetric problem. Let \(K\) be a subset of \(\mathbf R^3\) with \({\rm vol}(K)={\rm vol}(W_\tau)\ .\) If inside \(K\) there is phase \(A\) and outside \(K\) phase \(B\ ,\) then the (surface) free energy associated with the boundary of \(K\) is given by the surface integral \[ {\mathcal F}(\partial K)=\int_{\partial K}\tau(n)\,dS. \] Among all sets \(K\) with \({\rm vol}(K)={\rm vol}(W_\tau)\) the minimum of the surface integral is attained for, and only for, \(K=W_\tau\) or a translate of \(W_\tau\ .\) It is Wulff (1901) who gave the geometrical construction of the solution of this isoperimetric problem. This is why the set \(W_\tau\) is also called Wulff crystal.

The main property of an interface free energy is its convexity: for two distinct phases \(A\) and \(B\) at equilibrium, the interface free energy is a continuous convex function, which is positive and sublinear, that is

\(\tau({\mathbf x})>0\quad {\mathbf x}\not=0\ ,\)
\(\tau(t{\mathbf x})=t\, \tau({\mathbf x})\quad\forall \,{\mathbf x}\) and all \(t\geq 0\ ,\)
\(\tau({\mathbf x}+{\mathbf y})\leq\tau({\mathbf x})+\tau({\mathbf y})\quad \forall \,{\mathbf x},{\mathbf y}\ .\)

By a classical result of Minkowski the interface free energy \(\tau\) is the support function of the convex set \(W_\tau\ ,\) that is \[ \tau({\mathbf x})=\sup\{\langle\,{\mathbf x}|{\mathbf y}\,\rangle\,{:}\; {\mathbf y}\in W_\tau\}\,. \]

The next simple thermodynamical argument shows the convexity of \(\tau\ .\) Let \({\mathcal P}\) be a right prism whose base is a triangle with vertices \(a,b,c\) and whose length \(L\) is very large. Let \(\ell_0\ ,\) respectively \(\ell_1\ ,\) \(\ell_2\ ,\) be the side of the triangle opposite to the vertex \(c\ ,\) respectively \(b\ ,\) \(a\ .\)

Figure 3: The right prism \({\mathcal P}\ .\)

The length of the side \(\ell_i\) is \(|\ell_i|\) and \({\mathbf n}_i\) is the outward unit normal to \(\ell_i\) (in the plane of the triangle), so that \[ |\ell_0|{\mathbf n}_0+|\ell_1|{\mathbf n}_1+|\ell_2|{\mathbf n}_2=0. \] We set \({\mathbf n}:=-{\mathbf n}_0=|\ell_1|/|\ell_0|{\mathbf n}_1+ |\ell_2|/|\ell_0|{\mathbf n}_2\ .\) In the plane spanned by \({\mathbf n}_1\) and \({\mathbf n}_2\) let \({\mathbf m_1}\) and \({\mathbf m_2}\) be reciprocal vectors to \({\mathbf n}_1\) and \({\mathbf n}_2\ ,\) \(\langle\,{\mathbf m_i}|{\mathbf n_j}\rangle=\delta_{ij}\ .\) Then \[ \sum_{i=1}^2\frac{|\ell_i|}{|\ell_0|}\tau({\mathbf n}_i)= \langle\,\sum_{i=1}^2\tau({\mathbf n}_i){\mathbf m}_i|{\mathbf n}\,\rangle\equiv\langle\,{\mathbf z}|{\mathbf n}\rangle. \] The vector \({\mathbf z}=\sum_{i=1}^2\tau({\mathbf n}_i){\mathbf m}_i\) belongs to the intersection of the boundaries of the half-spaces \(H({\mathbf n}_1)\) and \(H({\mathbf n}_2)\) since \(\langle\,{\mathbf z}|{\mathbf n}_i\,\rangle=\tau({\mathbf n}_i)\ .\) Suppose that \(\langle\,{\mathbf z}|{\mathbf n}\rangle<\tau({\mathbf n})\ ;\) then \[ L\ell_0\tau({\mathbf n})>L\ell_1\tau({\mathbf n}_1)+L\ell_2\tau({\mathbf n}_2)\,, \] and an interface perpendicular to \({\mathbf n}\) can be deformed using the right prism \({\mathcal P}\ ,\) with long enough length \(L\ ,\) so that the deformed interface has a lower free energy. At equilibrium such a planar interface cannot exist since its free energy must be minimal. Notice also that the plane \(\{{\mathbf x}\,:\,\langle\,{\mathbf x}|{\mathbf n}\,\rangle=\tau({\mathbf n})\}\) cannot intersect \(W_{\tau}\ .\) Therefore at equilibrium, \[\tag{3} |\ell_0|\tau({\mathbf n})\leq|\ell_1|\tau({\mathbf n}_1)+|\ell_2|\tau({\mathbf n}_2). \]

Since \(\tau\) has been defined as a positively homogeneous function, it is immediate to see that for all choices of \({\mathbf n}_1\ ,\) \({\mathbf n}_2\ ,\) \(\ell_1\) and \(\ell_2\) (3) is equivalent to \[ \tau({\mathbf x}+{\mathbf y})\leq\tau({\mathbf x})+\tau({\mathbf y})\quad \forall \,{\mathbf x},{\mathbf y}. \]

By definition an interface perpendicular to \({\mathbf n}\) is thermodynamically stable if \[ \tau({\mathbf x}+{\mathbf y})<\tau({\mathbf x})+\tau({\mathbf y})\quad \forall \,{\mathbf x},{\mathbf y}\; \text{linearly independent, such that}\; {\mathbf x}+{\mathbf y}={\mathbf n}\,. \] In general the choice of the normal to the interface does not matter, so that \(\tau({\mathbf n})=\tau(-{\mathbf n})\ .\)

[edit] Stable interfaces and polar set of the equilibrium shape

Assume that \(\tau\) is given, verifying properties 1), 2) and 3) above (but not necessarily that \(\tau({\mathbf n})=\tau(-{\mathbf n})\)). Under these assumptions \(W_\tau\) is a bounded closed convex set with \(0\) as an interior point. In convex analysis there is another natural set associated with \(W_\tau\ ,\) which is the polar set \(W^*_\tau\ .\) It is defined by the dual relationship between non-zero vectors \({\mathbf v}\) and closed half-spaces \({\mathbf v}^*\) containing the origin, \( {\mathbf v}^*:=\{{\mathbf x}\,{:}\; \langle\,{\mathbf v}|{\mathbf x}\,\rangle\leq 1\}. \) The polar dual or polar set \(W^*_\tau\) of \(W_\tau\) is \[ W_\tau^*:=\bigcap\{{\mathbf x}^*\,{:}\; {\mathbf x}\in W_\tau\}= \{{\mathbf u}\,{:}\; \langle\,{\mathbf x}|{\mathbf u}\,\rangle\leq 1\quad\forall\,{\mathbf x}\in W_\tau\}. \]

Figure 4: 2D-Ising model, polar set \(W^*_{\tau}\),\(J=1,\,\beta=3\ .\)

It is also a bounded closed convex set with \(0\) as an interior point and \(W_\tau=W_\tau^{**}\ .\) It is not difficult to show that \[ W^*_\tau=\{{\mathbf u}\,{:}\; \tau({\mathbf u})\leq 1\}\quad\text{and}\quad \tau({\mathbf x})=\min\{t\geq 0\,{:}\; {\mathbf x}/t\in W^*_\tau\}\,. \] These statements mean that \(\tau\) is the gauge function of \(W^*_\tau\ .\) Hence the interface free energy can be interpreted either as the support function of \(W_\tau\ ,\) or as the gauge function of \(W^*_\tau\ .\) The boundary \(\partial W^*_\tau\) of the polar set is simply the level-\(1\) surface of \(\tau\ .\) Since \((\partial W^*_\tau)^*= W_\tau^{**}\) and \({\mathbf n}^*=H({\mathbf n})\) for any \({\mathbf n}\in \partial W^*_\tau\ ,\) the boundary points of \(W^*_\tau\) give a natural labeling of the support planes of \(W_\tau\ .\) Moreover, the extremal points of \(W_\tau^*\) label precisely the support planes of \(W_\tau\) which represent stable interfaces. Therefore the equilibrium shape can be written as \[ W_\tau=\{{\mathbf x}\,{:}\; \langle\,{\mathbf x}|{\mathbf n}\,\rangle\leq \tau({\mathbf n})\,,\;\forall\,{\mathbf n}\in{\rm ext}W_\tau^*\}\,. \] One can measure experimentally \(\tau({\mathbf n})\) only for \({\mathbf n}\in {\rm ext}W_\tau^*\ .\) All tangent planes of \(W_\tau\) represent stable interfaces, but there are support planes of \(W_\tau\) which are not tangent planes when \(W_\tau\) has an edge or a corner and which represent also stable interfaces.

[edit] Summary

Provided that one can construct a macroscopic state with a planar interface perpendicular to \({\mathbf n}\ ,\) one can use formula (1) to define \(\tau({\mathbf n})\ .\) The fundamental property of the interface free energy is that it is a convex function. The interface free energy can be measured experimentally at equilibrium only for the interfaces which are thermodynamically stable. By convention the physical value of the interface free energy \(\tau({\mathbf n})\) is given for a unit vector \({\mathbf n}\ .\) But, using the extension of \(\tau\) as an homogeneous function, this function can be interpreted either as the support function of the equilibrium shape \(W_\tau=\{{\mathbf x}\,{:}\; \langle\,{\mathbf x}|{\mathbf n}\,\rangle\leq \tau({\mathbf n})\,,\;\forall\, {\mathbf n}\}\ ,\) or as the gauge function of \(W^*_\tau=\{{\mathbf x}\,{:}\; \tau({\mathbf x})\leq 1\}\ .\) Stable interfaces are labeled by the extremal points of \(W^*_\tau\ .\)

[edit] Bibliographical notes

(Herring 1953) and (Rotman, Wortis 1984) are reviews of physics on interfaces and equilibrium shapes of crystals. The review (Abraham 1986) is a review about exact results. Comparisons of several definitions of the interface free energy are carefully discussed and references can be found there. The results of the computation of the interface free energy of the two-dimensional Ising model can be found in (Rotman, Wortis 1981). The macroscopic limit for the two-dimensional Ising model and the role of the wetting transition is discussed in (Pfister, Velenik 1999). Mathematical results on wetting phenomenon for Ising systems are in (Fröhlich, Pfister 1987). The up-to-date reference concerning proofs of existence and convexity of surface tension for ferromagnetic models is (Messager et al. 1992). The basic reference for the thermodynamical properties of \(\tau\) is (Herring 1951). The argument proving the convexity of \(\tau\) is adapted from (Herring 1951). Instead of the polar set Herring uses for studying \(\tau\) the surface tension plot, which is the set of points \(\{{\mathbf x}\,{:}\; {\mathbf x}=\tau({\mathbf n})\,{\mathbf n}\,,\;\|{\mathbf n}\|=1\}\ .\) This is the standard way of presenting \(\tau\) in physics. One gets the surface tension plot from \(\partial W_\tau^*\) by an inversion on the unit sphere (or the unit circle in dimension 2). Affine parts of \(\partial W_\tau^*\) become spherical parts, or circular parts, of the surface tension plot. The theory of convex sets used for studying the interface free energy and its equilibrium shape is classical and due essentially to Minkowski. A good recent reference is chapters 1 and 2 of (Schneider 1993). An extended version of this article with further references can be found in (Pfister 2009).

[edit] References

Abraham D.B. (1986): Surface Structures and Phase Transitions–Exact Results, pp. 1–74 in Phase Transitions and Critical Phenomena vol 10, eds Domb C., Lebowitz J.L., Academic Press, London.

Fröhlich J., Pfister C.-E. (1987): The wetting and layering transitions in the half–infinite Ising model, Europhys. Lett. 3, 845–852.

Herring C. (1951): Some Theorems on the Free Energies of Crystal Surfaces, Phys. Rev. 82, 87–93.

Herring C. (1953): The Use of Classical Macroscopic Concepts in Surface-Energy Problems, pp.5–81 in Structure and Properties of Solid Surfaces, eds. Gomer R., Smith C.S., The University of Chicago Press, Chicago.

Messager A., Miracle-Sole S., Ruiz J. (1992): Convexity Properties of the Surface Tension and Equilibrium Crystals, J. Stat. Phys. 67, 449–470.

Pfister C.-E. (2009): Interface free energy or surface tension: definition and basic properties, arXiv:0911.5232 (2009).

Pfister C.-E., Velenik Y. (1999): Interface, Surface Tension and Reentrant Pinning Transition in the 2D Ising Model, Commum. Math. Phys. 204, 269–312.

Rotman C., Wortis M. (1981): Exact equilibrium crystal shapes at nonzero temperature in two dimensions, Phys. Rev. B 11, 6274–6277.

Rotman C., Wortis M. (1984): Statistical mechanics of equilibrium crystal shapes: Interfacial phase diagrams and phase transitions, Phys. Rep. 103, 59–79.

Schneider R. (1993): Convex Bodies: The Brunn-Minkowski Theory, Encyclopedia of Mathematics and its Applications 44 (chapters 1 and 2), Cambridge University Press, Cambridge.