Appendix A Thermodynamic Functions and Legendre Transforms
Background
Chapter 2 prepared a brief thermodynamic basis for understanding transitions from crystalline solids to their conjugate melt phases, and vice versa. The internal energy, enthalpy, and Gibbs free energy played important roles in that development. Certain system parameters, such as the temperature, pressure, and component concentra- tions, were selected as independent intensive variables when discussing state func- tion changes under carefully prescribed conditions. The relationships among the many thermodynamic state functions and a system’s intensive and extensive param- eters can seem arbitrary, and occasionally confusing. Students often ask why and how the selection of state functions relates to these variables, and most of those who do not, have merely memorized the connections. This appendix provides a rigorous yet manageable alternative.
Thermodynamic Functions and Variables
Internal energy, U, is a fundamental thermodynamic state function providing the ten- dency of isolated, or ‘closed’ material systems to approach equilibrium. Moreover, U is a linear, homogeneous function, U(S, V, Ni ,...), of all the system’s so-called ‘natural’ extensive variables, including its entropy, S, volume, V , component molar masses, Ni , etc. Intensive parameters, by contrast, such as temperature, T , pressure, P, and chemical potential, μi , respectively, are also system variables that often are more conveniently measured under practical solidification conditions than would the ‘natural’ extensive quantities. With care, as we shall show, extensive thermodynamic variables may be easily substituted by alternative independent parameters of the system, each replacing their associated extensive variable. Substitution of intensive variables for extensive variables generates different thermodynamic functions, or potentials, that can equivalently determine the state of equilibrium for solidifying systems maintained under widely varying circumstances, such as melts communi- cating with a heat bath, a pressure source, or exchanging mass with a reservoir of chemical potential.
M.E. Glicksman, Principles of Solidification, DOI 10.1007/978-1-4419-7344-3, 449 C Springer Science+Business Media, LLC 2011 450 A Thermodynamic Functions and Legendre Transforms
Interestingly, all such ‘practical’ intensive variables, often imposed by the sys- tem’s environment, can be mathematically related to conjugate extensive thermody- namic variables. One, therefore, can reformulate the internal energy function, U, by replacing one or more of its extensive variables by intensive ones. A good example of needing such an alternative function is recognizing that a solidifying system’s temperature, T , is both easily measured using thermometry and controlled in an oven or furnace with a wide variety of standard laboratory instruments, such as ther- mocouples or pyrometers. By contrast, temperature’s conjugate extensive variable is the entropy, which, unfortunately, lacks practical devices for its direct measurement or control. How, therefore, might one transform the internal energy function, U, to provide an alternative thermodynamic function by replacing one, or more, of its extensive variables, viz., (S, V, Ni ,...), by its respective intensive variables, viz., (T, P,μi ,...)? Such a substitution may be accomplished using Legendre transforms—a standard mathematical procedure. Legendre transforms, among other things, lead directly to important thermodynamic ‘potentials’ that will be used throughout this book. These potentials provide alternatives for the internal energy. Some of these potentials might seem more familiar than others, as they remain in common use, but the formal procedure outlined next of how they are created remains identical, irrespective of the variables chosen.
The Formal Math Problem
Given a function Y defined as
Y = Y(X0, X1, X2 ...Xn), (A.1) one desires to replace its independent variables, Xi , by one or more of their partial derivatives, Pi , where ∂Y P ≡ . i ∂ (A.2) Xi 1,2,...n =i
The subscripts placed outside the parentheses in Eq. (A.2) denote the variables that are held fixed during partial differentiation. In fact, the Pi s represent the geometric ‘slopes’ of the function Y plotted with respect to the selected variable Xi , holding all other variables fixed. Consider the case of a function of just one independent variable, Y(X).This function represents a curve in X-Y space, composed of Cartesian coordinate pairs, ( , ) = dY ( ) X Y . The derivative, P dX, is the tangent to the curve Y X at any point. One may replace the independent variable, X,byP. Simply replacing the coordinate X by the function’s slope at that point to yield a new function, Y(P), however, doesn’t quite work, because, as will be shown, some information is lost by this direct substitution. Notice that for a single variable, Eq. (A.2) becomes an ordinary A Thermodynamic Functions and Legendre Transforms 451 differential equation, which, when integrated, yields the solution, Y(X). Indeed, this result occurs, but the solution so obtained is established only to within an as yet unknown constant of integration! See Fig. A.1. Thus, by using direct substitution some information is lost.
Fig. A.1 Loss of information occurs by replacing the independent variable, X,inY(X) by the slope, P, to form a new transformed function Y(P). Clearly, knowing the slope at every point along the curve is not equivalent to knowing the coordinates, X, Y . The curves Y1, Y2,... all have identical P(X) values, but are distinctly different functions
The original function Y(X) may, nonetheless, be represented without loss using the substitution of slopes via Plücker line geometry. Plücker line geometry shows that a ‘continuous’ envelope of tangents lines would suffice to define the curve, Y, as suggested in Fig. A.2. Individual tangents contribute an infinitesimal line segment that join together smoothly to form the curve Y(P) without any loss of information. This procedure is, therefore, equivalent to ordinary point geometry, where an infinite number of coordinate pairs connect to form a curve. The difference, however, is that each tangential segment contributing to the curve now fundamentally represents both a slope, or derivative, P, plus some positional information, or locus, obtained from the derived function, P(X). Full specification of all the tangent lines is gained by establishing the relationship between the Y -intercepts, Ψ , and their associated slopes, P. In short, these become the transformed new independent variables. Thus, Ψ(P) is mathematically equivalent to the original Y representation, namely, Y(X), with all information contained in that original function fully retained in the new Ψ representation. Thus,
Ψ = (P). (A.3) 452 A Thermodynamic Functions and Legendre Transforms
Fig. A.2 Shown here schematically is an equivalent representation of a function, Y(X), using the envelope of all its tangent lines,Pn(X). This type of Plücker line geometry requires the relation- ship, (P), which are the functions connecting the slopes of the tangent lines to their Y -intercepts, i.e., the Ψ s. No loss of information results from this representation
Now the formal mathematics problem reduces to how one calculates (P) given Y(X). A well-known mathematical manipulation called the Legendre transforma- tion provides the appropriate procedure.
Legendre Transformations
One-Variable Transforms As indicated in Fig. A.2, the slope of the tangent line touching the curve Y(X) at the general coordinates X, Y ,is
Y − Ψ P = . (A.4) X − 0
The linear form, Eq. (A.4), provides the definition of the new function, Ψ , which we term the Legendre transform of the function Y, with respect to X. Operationally, one writes Ψ = Y[X], which notes that Ψ is the function Y with its independent variable X replaced by the slope P = dY/dX,or
Ψ = Y(X) − PX. (A.5) A Thermodynamic Functions and Legendre Transforms 453
The inverse transform, i.e., recovering Y(X) given the function (P),isthesym- metrical inversion,
dΨ = dY(X) − PdX − XdP. (A.6)
Recalling Eq. (A.2), which shows that dY = PdX,Eq.(A.6) reduces to dΨ =−XdP, or, equivalently,
dΨ X =− . (A.7) dP
Equations (A.5) and (A.7) together allow elimination of the variables Ψ and P from the transform function (P), thereby inverting the transform and returning the original function Y(X). The Legendre transform and its inverse are shown as a series of operational steps in the table below.
Transform →←Inverse transform Y = Y(X)Ψ= (P) = dY − = dΨ P dX X dP Ψ =−PX + YY= XP+ Ψ Eliminate X and Y → Eliminate P and Ψ → Ψ = (P) Y = Y(X)
Multivariate Transforms The generalization of the Legendre transform method to multivariate functions, such as U(S, V, Ni ,...), which are commonly encountered in thermodynamics, requires a straightforward extension. Starting with the fundamental equation Y = Y(X0, X1,...Xn) portrayed in an n + 2 dimensional space, and represented by the coordinates Y, X0, X1, X2,...Xn. The partial derivative, Pk, is defined in the usual way as ∂Y P ≡ , k ∂ (A.8) Xk 0,1,2,...,n =k and represents the partial slope of the hypersurface, Y. The total differential of the function Y is given as the usual sum,
n dY = PkdXk. (A.9) k=0
In an analogous manner to the one-variable case, the hypersurface can be rep- resented either as the locus of all points satisfying the fundamental equation, 454 A Thermodynamic Functions and Legendre Transforms
Y = Y(X0, X1,...Xn), or as the envelope of all its tangent hyperplanes. Each hyperplane may be characterized by its intercept, Ψ , which is a function of all the slopes P0, P1, P2 ...Pn and their associated independent variables, X0, X1, X2,...Xn, namely
n Ψ = Y − Pk Xk. (A.10) k=0
Taking the differential of Eq. (A.10) yields
n dΨ =− XkdPk, (A.11) k=0 and thus, ∂Ψ Xk =− . (A.12) ∂ Pk
Thermodynamic Potentials
The general function, Y(X0, X1,...), may now be chosen as the internal energy, U = U(S, V, Ni ,...). For simple chemical systems, such as an alloy melt, com- posed of n components, not subject to external fields affecting their magnetic, elec- tric, or strain energies, the internal energy may be expressed in the linear, or Eule- rian form U(S, V, Ni ) = TS− PV + μi Ni , where repeated subscripts here imply summation. The intensive conjugate parameters, T, −P, and μi , that multiply each of the extensive parameters are the temperature, (minus) pressure, and chemical potential, respectively. These ‘physical’ quantities correspond precisely to the par- tial derivatives of U, namely, P0, P1, ···. One tends to overlook the simple mathe- matical relationships between the extensive and conjugate intensive thermodynamic variables because of one’s familiarity with temperature and pressure as ‘physical’ quantities. However, one should recall that for every extensive variable adding to a system’s internal energy, there exists a companion, or conjugate, intensive quan- tity. The product of intensive and extensive variable pairs yields some independent contribution to the internal energy. The Legendre transform procedure merely substitutes properly an intensive vari- able for its conjugate extensive variable. The functions based on U(S, V, Ni ) that result from taking partial Legendre transforms with respect to these variables are called thermodynamic potentials, some of which the reader will find familiar, others perhaps less so.
Helmholtz Potential If the temperature, T , replaces the entropy, S, as an independent variable, the result- ing Legendre transform is called the Helmholtz potential, or Helmholtz free energy. A Thermodynamic Functions and Legendre Transforms 455
Both terms occur in common useage, and are denoted by F(T, V, Ni ). The oper- ational math notation used here for the partial Legendre transform, indicating the replacement of a particular extensive thermodynamic variable, (in this case replac- ing the entropy, S, by its conjugate, the temperature, T ), is,
F(T, V, Ni ) ≡ U[T ], (A.13) where the square brackets enclose the ‘active’ transform parameter or parame- ters. The steps to find the partial Legendre transformation and its inverse for the Helmholtz potential are outlined the following table:
Transform S → TS← T inverse
U = U(S, V, Ni ) F = F(T, V, Ni ) = (∂ /∂ ) − = (∂ /∂ ) T U S V,Ni S F T V,Ni F = U − TS U = F + TS Eliminate S and U → Eliminate F and T → F = F(T, V, Ni ) U = U(S, V, Ni )
One concludes that the Helmholtz potential has the following total differential:
dF =−SdT − PdV + μi dNi . (A.14)
Enthalpy If the pressure replaces the volume as an independent variable, the partial trans- form is called the ‘enthalpy’, or heat content. Both names remain in use, and are denoted by H(S, P, Ni ). The notation for the partial Legendre transform, indicating the replacement of the system’s volume, V , by its conjugate, the (minus) pressure, −P,is,
H(S, P, Ni ) ≡ U[−P]. (A.15)
Steps to obtain the partial Legendre transformation and its inverse for the enthalpy are outlined the next table:
Transform V → PV← P inverse
U = U(S, V, Ni ) H = H(S, P, Ni ) − = (∂ /∂ ) = (∂ / ) P U V S,Ni V H dP S,Ni H = U + PV U = H − PV Eliminate U and V → Eliminate H and P → H = H(S, P, Ni ) U = U(S, V, Ni ) 456 A Thermodynamic Functions and Legendre Transforms
One concludes that the enthalpy has the following total differential:
dH = TdS + VdP + μi dNi . (A.16)
Gibbs Free Energy If both the temperature replaces entropy, and the pressure replaces volume, the par- tial transform is called the ‘Gibbs potential’, or chemical free energy. Both terms are in common use, and are denoted by G(T, P, Ni ). The notation for the partial Legendre transform, indicating replacement of both the system’s entropy, S, and volume, V , by their conjugate variables, the temperature, T , and (minus) pressure, −P,is,
G(T, P, Ni ) ≡ U[T, −P]. (A.17)
The steps to obtain the partial Legendre transformation and its inverse for the Gibbs potential are outlined the next table:
Transform S, V → T, PS, V ← T, P inverse
U = U(S, V, Ni ) G = G(T, P, Ni ) = (∂ /∂ ) − = (∂ /∂ ) T U S V,Ni S G T P,Ni − = (∂ /∂ ) = (∂ / ) P U V S,Ni V G dP T,Ni G = U − TS+ PV U = G + TS− PV Elimin. U, S and V → Elimin. G, T and P → G = G(T, P, Ni ) U = U(S, V, Ni )
One concludes that the Gibbs function has the following total differential:
dG =−SdT + VdP + μi dNi . (A.18)
Note, for constant T , constant P, and a closed system, dNi = 0, dG = 0. Thus, it is the Gibbs potential that reaches a minimum when say thermochemical equilibrium is achieved under these typical laboratory conditions.
Grand Canonical Potential If both the temperature replaces entropy, and the chemical potentials replace mole numbers, the partial transform is called the ‘Grand Canonical potential’, denoted by χ(T, V,μi ). The notation for the partial Legendre transform, indicating replace- ment of both the system’s entropy, S, and mole numbers, Ni , by their conjugate variables, the temperature, T , and the chemical potentials μi ,is,
χ(T, P,μi ) ≡ U[T, Ni ]. (A.19) A Thermodynamic Functions and Legendre Transforms 457
The steps to obtain the partial Legendre transformation and its inverse for the Grand Canonical potential are outlined the next table:
Transform S, Ni → T,μi T,μi ← S, Ni inverse
U = U(S, V, Ni )χ= χ(T, V,μi ) = (∂ /∂ ) − = (∂χ/∂ ) T U S V,Ni S T V,μi μi = (∂U/∂ Ni )S,V Ni = (∂χ/dμi )T,V χ = U − TS− μi Ni U = χ + TS+ μi Ni Elimin. U, S and Ni → Elimin. χ,T and μi → χ = χ(T, V,μi ) U = U(S, V, Ni )
One concludes that the Grand Canonical potential has the following total differ- ential:
dχ =−SdT − PdV − Ni dμi . (A.20)
Note, for constant T , constant V , and for an open system providing constant μi , dχ = 0. Thus, it is the Grand Canonical potential that reaches a minimum when say thermochemical equilibrium is achieved under constrained conditions where the surroundings set the chemical potentials of the grain boundaries and microscopic internal defects such as dislocations. Appendix B Grain Boundary Grooves
Introduction
As discussed in Chapter 9, solidÐliquid interfaces normally contain ‘imperfections’, or persistent distortions, that provide preferred locations at which interfacial insta- bilities initiate. Perhaps most importantly, interfacial instabilities, when triggered by thermal or constitutional supercooling, rapidly alter the dimensionality of the solute diffusion field. Instabilities, such as cells or dendrites change an initially one-dimensional planar diffusion field into a two- or three-dimensional solute field exhibiting strong lateral microsegregation. In order to develop a firmer understanding of interface behavior during stable and unstable freezing, quantitative descriptions of the interface morphology for var- ious classes of materials are needed. These descriptions, moreover, fall into three major length-scale classes: (1) macroscopic interface shapes, including geometric description of the largest solidification features controlled by heat flow, (2) meso- scopic interface shapes appropriate to cellular, eutectic and dendritic crystals, and (3) microscopic, or molecular-scale interface configurations, that address interfacial roughness, atomic steps and layers, and facet formation. Appropriate descriptions at each length scale require knowledge of the temperature and solute distributions, the influence of these fields on the system’s energetics, and the associated kinetic processes that operate during solidification. Acquiring detailed descriptions at each scale, under differing ranges of kinetic driving forces, is a daunting task, even for a single material. This appendix develops the underlying physics of a relatively simple, com- monly encountered interface distortion—the symmetric grain boundary groove. Grain boundary grooves are often present—but may not be visible—on polycrys- talline solidÐliquid interfaces. Indeed, the solidÐliquid interface of a polycrystalline material is perturbed persistently and strongly by its intersection with grain bound- aries that continue to propagate along with the interface during freezing. Thus, at moving interfaces two basic structures, the solidÐliquid interface and the grain boundary, each of microscopic origin and molecular thickness, interact and produce a new mesoscopic interfacial structure, namely, a grain boundary groove. Symmetric grain boundary grooves provide an excellent example of how heat flow, capillarity, and thermodynamics interact and distort a solidÐliquid interface at
459 460 B Grain Boundary Grooves mesoscopic length scales (micrometers). Figure 9.2 provides direct observations of how initially stable grain boundary grooves, if destabilized by constitutional super- cooling, steadily evolve toward more complex three-dimensional interfacial struc- tures during freezing of a dilute alloy. Figure 9.3 suggests schematically several of the key intermediate steps by which a grain boundary groove initiates interfacial instability and leads to the morphological break down of a nearly planar interface.
Symmetric Grain Boundary Grooves
Physical Model
We develop an analysis of a symmetrical grain boundary intersecting an initially planar solidÐliquid interface in a pure material. A steady, linear thermal field, T (y) = Tm + Gy, where G is the constant gradient applied along the y-direction (normal to the interface), maintains the flat portion of the interface at its equilibrium melting point, Tm. The interface, as depicted in Fig. B.1, spontaneously forms a grain boundary groove, and reduces the total free energy of the system. One may think of the spontaneous changes in interface morphology as though they were produced by the grain boundary tension ‘pulling’ back on the solidÐliquid interface, and forming the cusp-shaped groove. The re-configuration of the solidÐ liquid system into a groove actually accomplishes several interrelated energetic changes, which when combined, minimizes the system’s total Gibbs free energy:
Fig. B.1 Configuration of a symmetric grain boundary groove formed between two crystals. The x-axis coincides with the normal melting point, Tm , and locates the position of the initially planar solidÐliquid interface. A groove of depth H forms to minimize the system’s total free energy under the steady application of a constant temperature gradient, Grad(T ), directed parallel to the +y-axis. The dihedral angle, Ψ , at the groove root depends on the balance of interfacial tensions between the solidÐliquid interface and the intersecting grain boundary. The melt in the upper half plane (y ≥ 0) is at, or above, its melting point and remains stable, whereas the melt located within the groove (y ≤ 0) is at, or below, its melting point, and is slightly supercooled. The profile of the groove is given by the plane curve y(x) B Grain Boundary Grooves 461
1. The total area (i.e., total arc length per unit depth into the page) of the solidÐ liquid interface increases through groove formation by an amount ΔAs, rela- tive to its initial planar configuration. This change in length (or area per unit depth) increases the total amount of free energy stored along the interface as γs × ΔAs. 2. The area (per unit depth into the page) of the symmetric grain boundary decreases after the groove develops by an amount equal to the depth of the groove, h. The change in grain boundary area decreases its energy by γgb × h. 3. The groove itself is filled with a small volume of melt that is slightly super- cooled, by virtue of the temperature field that sets the temperatures of all points (−∞ < x < ∞, y ≤ 0) below the melting point, Tm, by an amount equal to Gy. The melt, of course, becomes metastable in its supercooled state, and its free energy density increases at any point, y ≤ 0, by ΔS f × Gy relative to its free energy density at all points along the flat portions of the interface, (x, 0). 4. The solid phase surrounding the groove is stable for all points below its melting point, (x, y ≤ 0). However, in order to maintain local equilibrium with the super- cooled melt, the interface must be curved in accord with the GibbsÐThomson equation. See again Section 8.3. Specifically, the local curvature, κ(x, y) of the solidÐliquid interface must increase linearly with the depth, y ≤ 0, into the groove. Thus, there is a specific shape of the groove, y(x), that satisfies local equilibrium between the phases, and, equivalently, minimizes the total free energy of the system. 5. A ‘natural boundary condition’ of this constrained equilibrium problem may be found by using the calculus of variations. Specification of the limiting dihedral angle, ψ,asx → 0 assures mechanical equilibrium. See again Fig. B.1.The geometry of the groove’s triple point, where the traces of the grain boundary and the left- and right-hand sides of the solidÐliquid interface intersect, shows that the equilibrium dihedral angle at the base of the groove must satisfy the vector balance of three surface forces, viz., 2γs cos(ψ/2) = γgb.
Mathematical Description
The thermal conductivities of the solid and melt are assumed to be equal, so the temperature field, T (y) = Tm + Gy has isotherms that remain parallel to the x-axis. The grain boundary groove develops a steady shape, y(x), that conforms to the linear temperature distribution. Local equilibrium requires that each point on the solidÐliquid interface develops a curvature, κ(y), required by the GibbsÐThomson equation, thus,
γsΩ T (y) = Tm + Gy = Tm − κ(y), (y ≤ 0). (B.1) ΔS f
Equation (B.1) expressed in the x-y Cartesian coordinates becomes, 462 B Grain Boundary Grooves
2 γ Ω d y = s dx2 , Gy / (B.2) ΔS 2 3 2 f + dy 1 dx or, after dividing through by the temperature gradient G,
d2 y = 2 dx2 , y K / (B.3) 2 3 2 + dy 1 dx
2 where K = γsΩ/(GΔS f ). K is a lumped parameter which defines a capillary length relevant to the scale of the groove. If both sides of Eq. (B.3) are divided by 2K , the groove shape can be defined by two dimensionless coordinates, μ = x/2K and η = y/2K ,soEq.(B.3) becomes
d2η η = 1 dμ2 . / (B.4) 4 2 3 2 + dη 1 dμ
Equation (B.4) is a second-order non-linear ordinary differential equation. Its order can be reduced with the substitution p = dη/dμ, which gives 1 − 3 dp η = 1 + (p)2 2 . (B.5) 4 dμ
If both sides of Eq. (B.5) are multiplied by dη, and the substitution of p = dη/dμ is made on the RHS, the variables separate, and the equation can be integrated as η η = 1 p ,(η≤ ). d 3 dp 0 (B.6) 4 1 + p2 2 which yields
η2 1 −1 = + C. (B.7) 2 4 1 + p2
When η → 0, the slopes p → 0 also. Thus, the constant of integration, C,intro- duced on the RHS of Eq. (B.7)mustbe+1/4 to satisfy the groove shape far from the root. The second boundary condition is specified through the slope of the groove at the root, p = tan(π/2 − Ψ/2). The equilibrium dihedral angle of the groove, Ψ ,is,of B Grain Boundary Grooves 463 course, established by the ‘pull’ of the grain boundary against the two solidÐliquid interfaces at the root, or triple junction, μ = 0. See again Fig. B.1. Introducing the slope of the groove, p, into Eq. (B.7) yields the groove depth, h(Ψ ), which is the η-coordinate of the profile at the root location, μ = 0. Specifi- cally, this substitution yields,