Professional Documents
Culture Documents
uid, and the liquid plus solids constitute the system, For every gas species, it is assumed that the ideal
usually considered closed. In the nebular condensa- gas law holds. This is reasonable at the low pres-
tion problem, the gas reservoir, plus the solid and sures (≤105 dyne/cm2 , 1 bar = 106 dyne/cm2 ) of
liquid condensates, constitute the system. In both nebular systems. The internal speciation, or homo-
examples, the reservoir contains some amount of geneous equilibrium state of the gas at a particular T
every element present in the system, while individ- and Ptot , is obtained by writing expressions for the
ual precipitates or condensates contain subsets of partial pressures of all the species j as functions of
the elements. At any particular pressure and tem- the partial pressures of the monatomic species of the
perature at which the system is in thermodynamic basis elements i:
equilibrium, there is a unique distribution of mat- elements
! vij
ter between the reservoir and the condensates that Pj = Kj · Pi (1)
are thermodynamically stable relative to the reser- i
voir. This equilibrium state is characterized by an
where vij is the stoichiometric coefficient of element
extremum in the thermodynamic function of state
i in gas species j, Kj is the equilibrium constant for
most convenient to describe the system, here cho-
formation of gaseous species j from the monatomic
sen to be the Gibbs free energy. An algorithm for
gaseous species at a particular T and Ptot , and Kj is
finding this equilibrium, described in numbered
written in terms of partial pressures. Mole fractions
sections below, is: (1) solve the speciation of the
of species j in the gas are related by an equilibrium
gas by the BNR technique. (2) Assess the stabil-
constant Kjx :
ity of each potential condensate relative to the gas
reservoir; add a small amount of the most stable elements
! vij
condensate, if any, to the system. (3) Minimize the Xj = Kjx · Xi ,
total thermodynamic potential energy of the sys- i
tem, by redistributing matter among the reservoir cj
through Pj = · Ptot = Xj · Ptot (2)
and stable condensates; see if any other conden- Ctot
sates are stable (2), and, if so, repeat (3); remove any where cj is the number of mol of species j in the gas
condensates present in vanishingly small amounts, phase, and Ctot is the sum of the cj . The different
and repeat 1–3; assess chemical potential balance be- K’s are, therefore, related, through stoichiometry of
tween gas and condensed phases. species, by:
Sequences of such calculations can be performed "elements $
to elucidate the reversible behavior of parcels of #
matter in response to changes in temperature or log Kjx = log Kj + vij − 1 · log Ptot (3)
i
pressure; however, we do not address here any of
the spatial or temporal aspects of chemical mass (the “1” occurs because 1 mol of species j is pro-
transfer. The algorithms presented here have been duced), so species with more atoms are more stable
implemented in a computer program (“VAPORS”), at higher total pressure, following Le Chatelier’s
which contains data for 23 elements, distributed principle. For a particular (fixed) composition of the
among 374 gas species, and a wide variety of po- gas, there is one mass balance constraint for the total
tential condensates.6 number of mol ni of each element i in the gas phase:
species
#
ni = vij cj (4)
Model for Vapor Phase (1) j
The vapor constitutes the reservoir from which which can, of course [through eq. (2)], be written in
solids and liquids condense. The composition of the terms of the Kjx , enabling construction of a system
vapor, regardless of its speciation, can be described of equations suitable for determination of the par-
uniquely by any orthogonal (linearly independent) tial pressures of the basis elements, given Ptot , T,
subset of the species present, most conveniently by and the bulk composition vector ngas . This system
the basis vector ngas corresponding to the number of equations has a unique solution for every bulk
of mol of each element present. We can uniquely de- composition of the gas. That is, no possibility exists
termine the speciation of the gas (how much C goes for the coexistence, at an equilibrium state, of two
into C2 H2 , CH4 , CO2 , etc.) from the thermodynamic immiscible gas phases.
data for the compounds, and thus determine the We determine the speciation of the vapor using a
Gibbs free energy of the vapor for any T, P, and ngas . BNR (Brinkley-NASA-RAND) numerical technique
(reviewed in ref. 1, following ref. 3, cf. ref. 2). In this published data,36 – 38 following Grossman et al.39
method the equilibrium conditions (2) are held rig- Further information on species and data sources is
orously, and the deviation of the mass balance eq. (4) listed in ref. 6.
from equality is minimized. That is, convergence is Equilibrium expressions for condensation are
defined such that written in terms of the basis composition variables
% species
% of the gas, here the monatomic gaseous elements.
% # %
% % For example, the condensation of aluminum oxide
%ni − vij cj % ≤ εg (5)
% % (corundum) proceeds according to the reaction:
j
for all the elements i, where εg is set to 10τ , where τ 2Algas + 3Ogas = Al2 O3(solid corundum) . (6)
is the machine precision, of order 10−31 in our calcu-
Denoting the Gibbs free energy of formation of
lations. Note that we apply eqs. (1) to (4) only to the
corundum from the monatomic gaseous elements at
gas reservoir, not to condensing species. Unlike the
a particular temperature and Ptot by Gcor
T , corundum
“standard” technique,3 the calculations described
is stable relative to the gas, if
here treat the gas as a distinct phase, and are per-
(elements )
formed in modules separate from the very different & cor ' ! vij
cor
procedure used to minimize the Gibbs energy of the GT = −RT · ln KT = −RT · ln Pi
entire system, described below. & '
i
= −RT · ln P2Al · P3O ≤ 0. (7)
Assessing Stability of Condensed The initial stability of the solids (or liquids) at fixed
Phases (2) Ptot and temperature is determined by reference
to such equations after solving the gas phase spe-
The vapor is allowed to simultaneously con- ciation to determine the partial pressures of the
dense one of two liquid solutions, and an unlimited monatomic gas species, which are equivalent to
number of pure stoichiometric solids and complex their activities at low Ptot . The algorithm described
solid solution phases. We have implemented by Ghiorso40 is used for the more complex cases of
Berman’s23 model characterizing CaO—MgO— highly nonideal solid and liquid solutions, where
Al2 O3 —SiO2 (CMAS) liquids using a 12-parameter, mixing properties of molecular end members in so-
fourth-degree Margules-type function to describe lution must be accounted for in equations analogous
deviations of thermodynamic mixing functions to (7). This technique finds the most stable initial so-
from ideality. This model has been used with some lution composition, by matching component activi-
success to describe stable and metastable liquid ties to corresponding properties of the gas reservoir.
immiscibility, and liquidus phase relations, in the Once a phase is determined to be thermodynami-
CMAS system.24 Also present is a SiO2 —TiO2 — cally stable relative to the gas, its initial composition
Al2 O3 —Fe2 O3 —Fe2 SiO4 —Mg2 SiO4 —MgCr2 O4 — is added to the stable condensate assemblage in
CaSiO3 —Na2 SiO3 —KAlSiO4 —Ca3 (PO4 )2 —H2 O some initial “seed” quantity (e.g., 10−7 × the total
liquid, which is a subset of the 15-component sili- mol of elements in the system), which is subtracted
cate liquid described by Ghiorso and Sack7, 25 using from the bulk composition of the gas. At this point,
a symmetric regular solution model. Multicom- the entire system must be adjusted, in terms of the
ponent solid solution models for olivine26 (Fe, compositions of gas and condensates, to minimize
Mg, Ca)2 SiO4 , spinel27, 28 (Fe, Mg, Fe3+ , Cr3+ , the thermodynamic potential energy (Gibbs free en-
Al, Ti4+ )3 O4 , pyroxene26, 29 – 31 (Na, Ca, Mg, Fe2+ , ergy) of the system. By initializing with the most
Ti4+ , Fe3+ , Al)2 (Si, Al, Fe3+ )2 O6 , feldspar32 (KSi, stable initial solution composition relative to the
NaSi, CaAl)AlSi2O8 , melilite33 Ca2 (MgSi, Al2 )SiO7 , gas reservoir, evolution toward the global minimum
and rhombohedral oxides34 (Fe3+ 2+
2 , Fe Ti, MgTi,
Gibbs energy of the solution phase, relative to other
MnTi)O3 have been intercorrelated, and the phases, is strongly favored, at temperatures well
15-component silicate liquid model of ref. 7 has above miscibility gaps in the solid solution phases.
been calibrated against a very large database of
crystal–liquid equilibria using the descriptions of
these solid solutions, all based on the compre- Minimization of System
hensive thermodynamic database of Berman35 Thermodynamic Potential (3)
for end-member (pure stoichiometric) phases. An
asymmetric binary solution model for Fe-Ni-Si-Cr- For each phase p, there is a vector of orthogo-
Co solid alloy is also included, calibrated using nal composition variables np , which is the basis set
of thermodynamic components spanning the possi- matrix for each one of the condensed phases. Cal-
ble chemical variability of that phase. For example culation of ugas and Hgas are described in section 4,
olivine, (Fe, Ca, Mg)2 SiO4 , is given components below. Suppose we have some initial guess, q, for
Mg2 SiO4 , Fe2 SiO4 , and CaMgSiO4 , whereas corun- the solution to the minimization problem. Use of
dum, Al2 O3 , is treated as a pure, one-component the second derivatives allows us to approximate the
phase. Many phases require calculation of ordering Gibbs energy of the system, using a second-degree
of atoms on sites, or consideration of polymor- Taylor expansion in the n system components, at
phic phase transitions to establish their minimum some point n near the initial point q:
chemical potential energy. These internal, or ho-
G = G|q + uT |q (n − q) + 12 (n − q)T H|q (n − q)
mogeneous, equilibrium considerations are treated
separately for the condensed phases, as they are + higher order terms (8)
for the gas, and are thus “transparent” to the sys- where |q signifies evaluation of the term to the left
tem minimization algorithm, as is the speciation of at q. If n is very close to q, such that (n − q)T (n −
the gas. However determined, there exists a scalar q) ≈ 0, then the higher order terms can be ignored.
Gibbs energy Gp associated with each phase p, such This approximation for G simplifies the minimiza-
that we can write the chemical potentials of the ther- tion problem considerably.
modynamic components of p as the vector up = Solution of what is now a constrained quadratic
(∂Gp /∂n)T,P. The Gibbs energy of a system contain- minimization problem can be accomplished us-
ing gas plus m condensed phases is just the sum ing the algorithm provided by Betts,42 which we
over all the phases: G = Ggas + G1 + · · · + Gm . The summarize briefly here. The bulk composition con-
distribution of matter in a system containing a gas straint relates the elements of n such that there
phase and m condensed phases may be described are only n − s independent variables required to
in terms of n system components by a column vec-
uniquely define n. We can determine an n by n or-
tor n = [ngas n1 n2 . . . nm ]T , the system component
thogonal “projection matrix” K, such that CK = R,
vector, composed of the stacked component vectors
which projects C, s by n, into a new matrix R, s by
of the separate phases.
n, in which the upper left s by s elements constitute
To describe the constraints imposed on the entire
a nonsingular submatrix R1 , and the remaining el-
system by mass balance, the bulk composition of the
ements of R are zero. Then, using b = Cn, we can
entire system is written as a vector b, of length s. It
write RKT n = b, because K is orthogonal, and par-
is desirable to choose as these s bulk components
tition KT so KT = [K1 : K2 ]T , where K1 is n by s, and
the same 23 elements that are used to describe the
K2 is n by (n−s). Then we can write n = K1 n1 + K2 n2 ,
gas phase, because we will wish to transfer matter
where n1 has length s, and n2 has length (n − s), and
between gas and condensates as individual atoms,
compute n1 using R1 KT1 n = b, leaving the n2 still to
rather than as compounds (e.g., oxides). A matrix C
be determined. To minimize
is then readily constructed, which relates the vec-
tor n to the bulk component vector b, such that G = G|q + uT |q (K1 n1 + K2 n2 − q)
b = Cn. This equation describes the bulk compo- + 12 (K1 n1 + K2 n2 − q)T H|q (K1 n1 + K2 n2 − q) (9)
sition constraint on the system.
We can now state succinctly the problem of min- with respect to n2 , we set the derivative equal to
imizing the system thermodynamic potential, G, zero and obtain
with respect to the system components n, subject KT2 H|q K2 n2 + KT2 u|q + KT2 H|q K1 n1 = 0 (10)
to the mass balance constraint b = Cn. Ghiorso41
has reviewed previous approaches to this problem which is a linear system of equations in (n − s)
in the earth sciences and chemical engineering. We unknowns, because only the first term on the left
start by simplifying the problem using the method is unknown. This is solved for n2 , which with n1
described by Ghiorso.41 Treating all the n system gives n. Once the vector n has been determined in
components as independent variables, we can write this way, we know the direction in which to re-
the chemical potentials, u = [ugas u1 u2 . . . um ]T = distribute matter among the gas and condensate
(∂G/∂n)T,P. We will also require the second deriv- phases to approach the minimum in G, but not the
atives of G with respect to n, for the entire sys- magnitude of the redistribution. To avoid moving
tem, which are elements of the Hessian matrix into potentially infeasible regions of composition
H ≡ (∂u/∂n)T,P. Matrix H is block diagonal n space, a new solution q' ≡ q + α(n − q) is chosen,
by n, with blocks corresponding to matrices Hgas = where α is a step length along n, chosen such that
(∂ugas /∂ngas )T,P , followed diagonally by a similar dG(q' )/dα = 0, and such that q' does not violate
feasibility tests on the compositions of the conden- more phases must be capable of producing immis-
sates present in the system. The new solution q’ cibility. We use the same kind of algorithm for the
describes the distribution of atoms between phases, gas phase as have previous workers, and because
corresponding to the minimum thermodynamic po- the gas is a mixture of ideal gas species, multiple
tential energy of the system, from the point of view minima for the gas do not occur, as implicit in pre-
of the previous solution. Approximated at q' , how- vious work. The CMAS liquid is known to have
ever, the derivatives in [eqs. (8)–(10)] will have new local minima (immiscibility) in certain regions of
values, so q' becomes the initial guess for obtaining its composition space, but these occur well below
a new solution. Whether the new system component the temperatures of our calculations, in SiO2 -rich
vector corresponds to the minimum chemical po- compositions.24 However, it is conceivable that for
tential energy of the system is decided by whether some combination of parameters, we could com-
a rearrangement of matter among the system com- pute the (meta)stability of a CMAS liquid which
ponents can be found, which further reduces the should unmix, and could, therefore, underestimate
system’s chemical potential energy. Therefore, we the stability of liquid. Yoneda and Grossman,5 us-
define convergence to a minimum as the lack of sig- ing different algorithms but the same liquid model,
nificant change (<10−12 ) in the Euclidean norm of reported no such unmixing, and we match their
the vector n over two attempts to find a better min- results wherever tested, including CMAS–liquid-
imum. bearing systems. The formulation of the MELTS
Once convergence is achieved, the system is liquid model is such that saddle points exist on
tested for disappearance or saturation of condensed its Gibbs energy surface, but not local minima, as
phases. If the amount of any phase becomes lower discussed by Ghiorso et al.25 The solid solution
than some threshold value (chosen to be 10−10 mol models we use (e.g., spinel, olivine, pyroxene) pro-
per mol of atoms in the system, which is ∼10−3 duce miscibility gaps that closely match those found
the amount ever found to be stable, regardless of in nature and the laboratory, but all the calculations
the threshold chosen in extensive testing, and fol- we perform are at temperatures well above known
lowing ref. 10), then that condensate is dropped miscibility gaps in the systems of interest. Exten-
from the stable assemblage, and the material in it sive testing with phases added or removed, and
is returned to the gas phase. We also check the from different initial states, has shown no instances
new solution again, as described earlier, to deter- where this algorithm produced false minima in sys-
mine whether the reservoir is saturated with re- tems such as those illustrated in Figure 1.
spect to any other potential condensate phase. If
any phase is dropped or added, the minimization
must be repeated with the new assemblage of sta- Derivatives of G for the Gas Phase (4)
ble condensates. Otherwise, the equilibrium state
of the system has been determined for the current The numerical algorithms for the complete sys-
Ptot , temperature, and bulk system composition. Ex- tem require calculation of the change in the ther-
tensive, detailed comparisons were made between modynamic potential Gp of every stable phase p in
results obtained using this algorithm and results the system, with respect to all possible changes in
of Yoneda and Grossman,5 who used a standard the composition of that phase, and also calculation
BNR technique, modified to handle simple nonideal of the second derivatives of each Gp with compo-
solutions. When identical data were used in both sition. These calculations are performed separately
calculations, results were identical to within ∼10−14 . for each phase, depending on the form of the model
Yoneda and Grossman,5 in turn, carried out exten- used to describe its thermodynamic properties. This
sive comparisons with earlier results (e.g., ref. 4). is rapidly accomplished with a closed form for (Gnk )
Although results obtained by this method in cos- for any particular pure phase k, but the calculation
mochemical applications are consistent with previ- of these derivatives is slower for phases such as
ous work, multiple nonideal solid and liquid so- pyroxene26, 29 – 31 and spinel,27, 28 which involve in-
lutions have never been addressed in this way in ternal ordering of atoms on crystal lattice sites. For
the cosmochemical literature, and one might ask any particular composition of such solid solutions,
whether the algorithm attains the global minimum the ordering state must be obtained by iterative so-
in such systems. One condition for local minima lution of statements of homogeneous equilibrium.
in the total system is the existence of local minima Determining the sensitivity of the gas phase to small
in one or more of the models for specific phases: changes in composition requires the most numerical
gas, liquid, or solid(s). That is, the model for one or labor at this step.
containing H, He, C, O, and N, the thermodynamic sensitive to numerical precision. At IEEE double
potential of the gas becomes relatively insensitive (64-bit) precision, the program fails when the mol
to the decreasing amounts of refractory elements fractions of refractory elements remaining in the
such as Al, Ca, and Ti, which remain in the gas as gas become moderately small (order 10−13 ). At IEEE
it cools, but it is the behavior of these rock-forming quadruple (long double, 128-bit) precision, this limit
elements, which is of greatest interest! One way to is decreased by ∼10 orders of magnitude, suffi-
assess how closely the system has converged to its cient for the success of the calculations described
minimum is to calculate the deviation from chem- in ref. 6. In all cases examined in detail, breakdown
ical potential balance of the formation reactions of of the algorithm is signalled by its inability to dis-
each of the stable condensates [e.g., eq. (6)]. The abil- cern the gradient in system composition that points
ity of the algorithm to minimize these deviations is toward the true minimum, resulting in extremely
a function of the ability to calculate ugas and Hgas by small changes leading nowhere useful.
the method outlined above, hence, of machine preci- Because full quadruple precision (128-bit, or 32
sion (τ ). At low temperatures, when some elements significant digits) is required of the algorithm, the
are depleted to vanishingly small abundances in the computation can only be accomplished in reason-
gas phase, these deviations become large, and the able time on “big endian” processors. We use the
calculation is halted. It is a general failing of all al- C programming language, for which the quadruple
gorithms of this type (e.g., ref. 7), that all the basis precision floating point libraries for the IRIX and
components of the system (e.g., elements, or oxides) SunPro C++ compilers seem to be particularly ef-
must be present in some nonzero amount in the ficient. We obtained ∼2.8× faster results on an SGI
phase, which constitutes the reservoir, at all steps of Origin 2000 with R10000 (180 MHz) cpus running
the calculation. IRIX 6.4 and the MIPSPro C compiler, in bench-
marks on nearly identical code compiled and run
INITIAL STATE
on a Sun Ultra Enterprise 4000 with UltraSparc III
If the calculation is begun at a temperature and cpus (248 MHz), running Solaris 2.5.1 with the Sun-
pressure where there are multiple stable condensed Pro v. 4.0 C compiler, in January of 1998. This is
phases, particularly solid or liquid solutions, then noted to emphasize the sensitivity of these calcu-
the algorithm takes a great deal of time to determine lations to the libraries upon which they call, not
the identities of these phases, given no other initial to endorse any particular operating system, and
information. We, therefore, routinely begin calcula- may reflect, in part, our own inability to optimally
tions at temperatures sufficiently high that few or “tweak” each configuration. Even in the SGI envi-
no condensed phases are stable, and iterate to suc- ronment, the calculations proceed slowly. On the
cessively lower temperatures, for a fixed Ptot and R10000 processor, 2 weeks were required to calcu-
system bulk composition, using the solution at the late the condensation history of a solar gas enriched
previous temperature step as the initial state. Gen- 1000 times by a dust of carbonaceous chondrite
erally, the result for a particular Ptot , temperature, composition6 from 2400 to 1300 K in 10◦ steps. As
and bulk composition can be used as the initial state noted above, most of this time is spent solving spe-
for calculation at a similar set of conditions. Regard- ciation in the gas for variations in its composition,
less of the method used to establish the initial state necessary to set up the system minimization matri-
of the system, the same result is obtained from the ces. This speed is running “flat out,” with minimum
calculation. The algorithm is in no way optimized file output between temperature steps, no swapping
for any particular (e.g., H2 -rich) bulk composition to disk, and no interactive or console input/output.
of the system. Although the algorithm is cpu-intensive, it is rel-
atively compact, requiring 10–15 MB of random
access memory throughout the run, depending on
Machine and Compiler Considerations the number of condensed phases. The availability
of RAM, or the need to swap to disk memory, is not
The numerical algorithms require calculations of a factor in any of the speed tests described above.
the gradient (up ) and Hessian (Hp ) of the ther- It would be optimal to use fast, arbitrarily precise
modynamic potential Gp of every phase p in the floating point routines in the most sensitive parts of
system, with respect to all possible change in its the calculation, but this goal has proven elusive. The
composition np . As described above, the methods algorithm would also be highly amenable to paral-
for approximating these quantities for the gas are lelization.
23. Berman, R. G. Ph.D. Thesis, U. British Columbia, Vancouver 32. Elkins, L. T.; Grove, T. L. Am Mineral 1990, 75, 544.
(1983). 33. Charlu, T. V.; Newton, R. C.; Kleppa, O. J. Geochim Cos-
24. DeCapitani, C.; Brown, T. H. Geochim Cosmochim Acta mochim Acta 1981, 45, 1609.
1987, 51, 2639. 34. Ghiorso, M. S. Contrib Mineral Petrol 1990, 104, 645.
25. Ghiorso, M. S.; Carmichael, I. S. E.; Rivers, M. L.; Sack, R. O. 35. Berman, R. J Petrol 1988, 29, 445.
Contrib Mineral Petrol 1983, 84, 107.
36. Chuang, Y.-Y.; Hsieh, K.-C.; Chang, Y. A. Metall Trans A
26. Sack, R. O.; Ghiorso, M. S. Contrib Mineral Petrol 1989, 102, 1986, 17, 1373.
41.
37. Sakao, H.; Elliott, J. F. Metall Trans A 1975, 6, 1849.
27. Sack, R. O.; Ghiorso, M. S. Contrib Mineral Petrol 1991, 106,
474. 38. Normanton, A. S.; Moore, R. H.; Argent, B. B. Met Sci 1976,
10, 207.
28. Sack, R. O.; Ghiorso, M. S. Am Mineral 1991, 76, 827.
39. Grossman, L.; Olsen, E.; Lattimer, J. M. Science 1979, 206,
29. Sack, R. O.; Ghiorso, M. S. Contrib Mineral Petrol 1994, 116,
449.
277.
40. Ghiorso, M. S. Geochim Cosmochim Acta 1994, 24, 5489.
30. Sack, R. O.; Ghiorso, M. S. Contrib Mineral Petrol 1994, 116,
287. 41. Ghiorso, M. S. Contrib Mineral Petrol 1985, 90, 107.
31. Sack, R. O.; Ghiorso, M. S. Contrib Mineral Petrol 1994, 118, 42. Betts, J. T. ACM (Association for Computing Machinery)
271. Transact Math Software 1980, 6, 391.