1: \documentclass[twocolumn,showpacs,showkeys,preprintnumbers,amsmath,amssymb]{revtex4}
2:
3: \usepackage{graphicx}% Include figure files
4: \usepackage{dcolumn}% Align table columns on decimal point
5: \usepackage{bm}% bold math
6:
7:
8: \begin{document}
9:
10: %\preprint{APS/123-QED}
11:
12: \title{Phase Separation of Binary Systems}% Force line breaks with \\
13:
14: \author{Tian Ma}
15: \affiliation{Department of Mathematics, Sichuan University,
16: Chengdu, P. R. China%
17: }%
18:
19: \author{Shouhong Wang}
20: \homepage{http://www.indiana.edu/~fluid}
21: \affiliation{Department of Mathematics,
22: Indiana University, Bloomington, IN 47405
23: }%
24: \thanks{This work is supported in part by grants from ONR and NSF.}
25: \newcommand{\R}{\mathbb R}
26: \newcommand{\cC}{\mathcal C}
27: \newcommand{\C}{\mathbb C}
28:
29: \newtheorem{thm}{Theorem}
30: \newtheorem{cor}{Corollary}
31: \newtheorem{defi}{Definition}
32: \newtheorem{ex}{Example}
33: \newtheorem{lem}{Lemma}
34: \newtheorem{rem}{Remark}
35:
36: \def\bt{\begin{thm}}
37: \def\et{\end{thm}}
38:
39: \def\bl{\begin{lem}}
40: \def\el{\end{lem}}
41: \def\la{\label}
42:
43: \def\bd{\begin{defi}}
44: \def\ed{\end{defi}}
45:
46: \def\bc{\begin{cor}}
47: \def\ec{\end{cor}}
48:
49: \def\bp{\begin{proof}}
50: \def\ep{\end{proof}}
51:
52: \def\br{\begin{remark}}
53: \def\er{\end{remark}}
54:
55: \date{\today}% It is always \today, today,
56: % but any date may be explicitly specified
57:
58: \begin{abstract}
59: In this Letter, three physical predictions on the phase separation of binary systems are derived based on a dynamic transition theory developed recently by the authors. First, the order of phase transitions is precisely determined by the sign of a parameter $K_d$ (or a nondimensional
60: parameter $K$) such that if $K_d>0$, the transition is first-order with latent heat and if $K_d <0$, the transition is second-order. Second, a theoretical transition diagram is derived, leading in particular to a prediction that there is only second-order transition for molar fraction near $1/2$. This is different from the prediction made by the classical transition diagram. Third, a critical length scale $L_d^c$ is derived such that no phase separation occurs at any temperature if the length of the container is smaller than the critical length scale.
61: \end{abstract}
62:
63: \pacs{05.70.Fh, 64.60.Ht}% PACS, the Physics and Astronomy
64: % Classification Scheme.
65: \keywords{binary system, Cahn-Hilliard equation, phase diagram, order of separation, critical length scale, dynamic transition theory}%Use showkeys class option if keyword
66: %display desired
67: \maketitle
68:
69:
70: Materials compounded by two components $A$ and $B$, such as binary
71: alloys, binary solutions and polymers, are called binary
72: systems. Sufficient cooling of a binary system may lead to phase
73: separations, i.e., at the critical temperature, the concentrations
74: of both components $A$ and $B$ with homogeneous distribution undergo changes,
75: leading to heterogeneous spatial distributions. %There have been many studies; see among many others \cite{GGRS,}
76: The main objective of this Letter is to precisely describe the phase separation mechanism and to make a few physical predictions.
77:
78: \medskip
79:
80: {\bf Cahn-Hilliard Equation.} Let $u_A$ and $u_B$ be the concentrations of components $A$ and $B$ respectively, then $u_B=1-u_A$. In a homogeneous state, $u_B=\bar{u}_B$ is a constant. We take $u$ to be the concentration density deviation $u=u_B-\bar{u}_B.$
81: The Cahn-Hilliard free energy is given by
82: \begin{equation}
83: F(u)=F_0+\int_{\Omega} \Big[\frac{\mu}{2}|\nabla u|^2+ f(u)\Big]dx,\label{8.49}
84: \end{equation}
85: where
86: $$f(u)= \alpha_1 u^2+\alpha_2 u^3+\alpha_3 u^4.$$
87: The same results in this article can be derived in the same fashion, and for simplicity, we take this form of $f$ as given here. Then the classical Cahn-Hilliard equation is as follows:
88: \begin{equation}
89: \left.
90: \begin{aligned}
91: &\frac{\partial u}{\partial
92: t}=-k\Delta^2u+\Delta [ b_1 u^1+ b_2 u^2+ b_3 u^3 ],\\
93: &\int_{\Omega}u(x,t)dx=0,
94: \end{aligned}
95: \right.\label{8.57}
96: \end{equation}
97: supplemented with the Neumann boundary condition:
98: \begin{equation}
99: \frac{\partial u}{\partial n}=\frac{\partial\Delta u}{\partial
100: n}=0 \ \ \ \ \text{on}\
101: \partial\Omega ,\label{8.53}
102: \end{equation}
103: where $\Omega=\Pi^3_{k=1}(0,L_k) \subset \R^3$ is a rectangular domain.
104: We note that the more general domain case can be studied as well.
105:
106:
107:
108:
109: To derive the nondimensional form of equation, let
110: \begin{equation}
111: \begin{aligned}
112: &x=lx^{\prime}, && t=\frac{l^4}{k}t^{\prime}, && u=u_0u^{\prime},\\
113: &\lambda =-\frac{l^2b_1}{k},&& \gamma_2=\frac{l^2b_2u_0}{k},
114: && \gamma_3=\frac{l^2b_3u^2_0}{k},
115: \end{aligned}\la{nondim}
116: \end{equation}
117: where $l$ is a given length, $u_0=\bar{u}_B$ is the constant
118: concentration of $B$, and $\gamma_3>0$. Then the equation (\ref{8.57}) can be
119: rewritten as follows (omitting the primes)
120: \begin{equation}
121: \left.
122: \begin{aligned}
123: &\frac{\partial u}{\partial
124: t}=-\Delta^2u-\lambda\Delta u+\Delta (\gamma_2u^2+\gamma_3u^3),\\
125: &\int_{\Omega}u(x,t)dx=0,\\
126: &u(x,0)=\varphi .
127: \end{aligned}
128: \right.\label{8.58}
129: \end{equation}
130:
131: {\bf Criteria of separation order.} Each 3D rectangular domain is one of the following two cases:
132: \begin{align*}
133: & \text{ Case I: } \quad L=L_1>L_j\qquad \forall j\leq 2, 3, \\
134: & \text{ Case II: }\quad L=L_1=L_2 > L_3 \text{ or } L_1 = L_2 = L_3.
135: \end{align*}
136: We define a nondimensional parameter:
137: \begin{equation}
138: K=\left\{
139: \begin{aligned}
140: & \frac{2L^2}{9\pi^2}\gamma^2_2 - \gamma_3
141: && \text{ for Case I},\\
142: & \frac{26L^2}{27\pi^2}\gamma^2_2 - \gamma_3
143: && \text{ for Case II}.
144: \end{aligned}
145: \right.
146: \end{equation}
147: which, by (\ref{nondim}), is equivalent to the following dimensional parameter:
148: \begin{equation}
149: K_d=\left\{
150: \begin{aligned}
151: & \frac{2L^2_d}{9\pi^2}\frac{b_2^2}{k}- b_3 && \text{ for Case I}, \\
152: & \frac{26L_d^2}{27\pi^2}\frac{b_2^2}{k} - b_3 && \text{ for Case II}.
153: \end{aligned}
154: \right.
155: \end{equation}
156: where $L_d=L \cdot l$ is the dimensional length scale.
157:
158:
159: By theorems proved in \cite{MW08d}, the order of transitions is determined by the sign of this parameter $K$ or $K_d$ as follows, and we have readily derived the following physical predictions:
160:
161: \medskip
162:
163:
164: \noindent
165: {\sc Physical Conclusion I:} {\it The order of phase separation is completely determined by the sign of the nondimensional parameter $K_d$ as follows:
166:
167: \begin{itemize}
168: \item[(1)] If $K_d<0$, the separation is second order and the dynamic behavior of the Cahn-Hilliard system is as shown in Figure~\ref{f8.15-1}.
169:
170: \item[(2)] If $K_d>0$, the separation is first order transition with latent heat. In particular, there are two critical temperature $T^*> T_c$ such that if the temperature $T> T^*$, the system is in the homogeneous state, when $T^*> T > T_c$, the system is in metastable state accompanied with hysteresis corresponding to saddle-node bifurcation, and when $T< T_c$, the system is under phase separation state. In addition, the critical temperatures are functions of $u_0$ and $L$: $T^*=T^*(u_0, L), T_c=T_c(u_0, L)$. See
171: Figure~\ref{f8.16-1}.
172: \end{itemize}
173: }
174: \begin{figure}[hbt]
175: \centering
176: \includegraphics[width=0.4\textwidth]{8-15-1.pdf}
177: \caption{The state $u_0=\bar{u}_B$ is
178: stable if $T_c < T$, and the state $u_0$ is unstable, $U_1^T$ and $U^T_2$ are stable if $T < T_c$.}
179: \la{f8.15-1}
180: \end{figure}
181:
182: \begin{figure}[hbt]
183: \centering
184: \includegraphics[width=0.4\textwidth]{8-16-1.pdf}
185: \caption{For fixed $u_0$ and $L$, the transition for the case where $K_d >0$ is first order separation with latent heat and with hysteresis: $U_1^T$ and $U_2^T$ represent separation states, and $u_0$ is the homogeneous state. In this case, for $T_c < T < T^*$, all states $u_0$, $U^T_1$, $u_2^T$ are metastable states. For $T< T_c$, $u_0$ is unstable, and $U^T_1$ and $U^T_2$ are stable states.}
186: \la{f8.16-1}
187: \end{figure}
188: This is in agreement with {\it part of} the classical phase diagram from the classical thermodynamic theory given in Figure~\ref{f8.14-2};
189: see, among others, Reichl \cite{reichl},
190: Novick-Cohen and Segal \cite{NS84} , and Langer \cite{langer71}. However, as we shall see below, our result shows that near $u_0=1/2$, there is no metastable region; see Figure~\ref{fch-4}.
191:
192: \begin{figure}[hbt]
193: \centering
194: \includegraphics[width=0.4\textwidth]{8-14-2.pdf}
195: \caption{Typical phase diagram from classical
196: thermodynamic theory with shadowed being the metastable region .}
197: \la{f8.14-2}
198: \end{figure}
199:
200:
201: \bigskip
202:
203: {\bf Transition diagram.}
204: We now examine the order of separation in terms of the length scale $L_d$ and mol fraction $u_0$. For this purpose, according to the Hildebrand theory (see Reichl \cite{reichl}), $b_2$ and $b_3$ can be expressed in two explicit formulas. Disregarding the term $|\nabla u|^2$, the molar Gibbs free energy
205: takes the following form
206: \begin{align}
207: f=& \mu_A(1-u)+\mu_Bu+RT(1-u)\ln (1-u)\nonumber \\
208: & +RTu\ln
209: u+au(1-u),\label{8.122}
210: \end{align}
211: where $\mu_A,\mu_B$ are the chemical potential of $A$ and $B$
212: respectively, $R$ the molar gas constant, $a>0$ the measure of
213: repel action between $A$ and $B$. Therefore, the coefficients $b_2$ and $b_3$ are given by
214: \begin{equation}
215: \label{ch-1}
216: \begin{aligned}
217: & b_2=\frac{D}{3 !} \frac{d^3 f(u_0)}{du^3}= \frac{2u_0-1}{6u^2_0(1-u_0)^2}D RT,\\
218: & b_3=\frac{D}{4 !} \frac{d^4 f(u_0)}{du^4}= \frac{1-3u_0 +3u^2_0}{12u^3_0(1-u_0)^3}DRT,
219: \end{aligned}
220: \end{equation}
221: where $D$ is the diffusion coefficient.
222: It is easy to see that
223: \begin{align*}
224: &b_2\left\{
225: \begin{aligned}
226: & =0&& \text{ if } u_0=\frac{1}{2},\\
227: & \neq 0&& \text{ if } u_0\neq\frac{1}{2},
228: \end{aligned}
229: \right.\\
230: &b_3> 0 \qquad \forall 0<u_0<1.
231: \end{align*}
232: It is clear that the above formulas for $b_2$ and $b_3$ based on the Hildebrand theory fail near $u_0=0, 1$. However, the physically relevant case is away from these two end points of $u_0$, and then we have:
233: \begin{equation}
234: \begin{aligned}
235: & b_2 =\frac{16 DRT}{3} (u_0-\frac{1}{2}) + o(u_0-\frac12), \\
236: & b_3 =\frac{4DRT}{3} + o(1).
237: \end{aligned}\label{ch-2}
238: \end{equation}
239: Then solving $K_d=0$ gives a critical (dimensional) length scale $L_d$:
240: \begin{equation}
241: L_d = \left\{
242: \begin{aligned}
243: &\frac{3 \pi \sqrt{k}}{\sqrt{2}} \frac{\sqrt{b_3}}{|b_2|} && \text{ for Case I},\\
244: &\frac{3 \pi \sqrt{3k}}{\sqrt{26}} \frac{\sqrt{b_3}}{|b_2|} && \text{ for Case II}.
245: \end{aligned}\right. \label{ch-3}
246: \end{equation}
247: By (\ref{ch-2}) and (\ref{ch-3}), we have
248: \begin{equation}
249: L_d = \left\{
250: \begin{aligned}
251: &\frac{3\sqrt{3k}\pi }{8\sqrt{2DRT_c}|u_0-\frac12|} + O(1) && \text{for Case I},\\
252: &\frac{9 \sqrt{k}\pi}{8\sqrt{26DRT_c}|u_0-\frac12|} + O(1) && \text{for Case II},
253: \end{aligned}\right. \label{ch-4}
254: \end{equation}
255: where $T_c$ is the critical temperature as given in Physical Conclusion I.
256: From this formula, we derive the transition diagram given by Figure~\ref{fch-2}, and consequently, we derive a theoretical phase diagram given in Figure~\ref{fch-3}.
257: In particular, we have shown the following physical conclusions:
258:
259:
260: \medskip
261:
262: \noindent
263: {\sc Physical Conclusion II.}
264: {\it
265: \begin{itemize}
266:
267: \item[(1)] For a fixed length scale $L=L'$, there are numbers $x_1 <\frac12< x_2$ such that
268: the transition is second-order if the molar fraction $x_1< u_0< x_2$, and the
269: transition is first-order if $u_0 > x_2$ or $u_0 < x_1$.
270:
271: \item [(2)] The phase diagram Figure~\ref{fch-3} is for this fixed length scale $L'$. The points $x_1$ and $x_2$ are the two molar concentrations where there is no metastable region and no hysteresis phenomena for $x_1<u_0< x_2$. In other words,
272: $$T^*(u_0)=T_c(u_0) \qquad \text{ for } x_1 <u_0< x_2.$$
273: \end{itemize}
274: }
275:
276: \medskip
277:
278:
279: \begin{figure}[hbt]
280: \centering
281: \includegraphics[width=0.4\textwidth]{fch-2.pdf}
282: \caption{Transition diagram: region II is the first order transition region with latent heat, and region I is the second order transition region.}
283: \la{fch-2}
284: \end{figure}
285:
286: \begin{figure}[hbt]
287: \centering
288: \includegraphics[width=0.4\textwidth]{fch-3.pdf}
289: \caption{Derived theoretical diagram for a fixed length scale $L'$ with the shadowed region being the metastable region.}
290: \la{fch-3}
291: \end{figure}
292:
293:
294: {\bf $TL$-phase diagram.} We now derive the length and temperature phase diagram.
295: For this purpose, we consider the linear eigenvalue problem for the Cahn-Hilliard equation as follows:
296: \begin{equation}
297: \begin{aligned}
298: & - \Delta^2 u - \lambda \Delta u = \beta u, \\
299: & \frac{\partial u}{\partial n}=\frac{\partial\Delta u}{\partial
300: n}=0 \ \ \ \ \text{on}\
301: \partial\Omega.
302: \end{aligned}
303: \end{equation}
304: The first eigenvalue is given by
305: $$ \beta_1 = - \frac{\pi^2}{L^2}\left( \frac{\pi^2}{L^2} - \lambda\right) =
306: - \frac{\pi^2}{L^2}\left( \frac{\pi^2}{L^2} + \frac{\l^2 b_1}{k}\right).
307: $$
308: By (10), we have
309: $$ b_1 = \frac{D}{2} \frac{d^2 f(u_0)}{du^2} = \frac{DRT}{2 u_0(1-u_0)} -\frac{a}{2}.
310: $$
311: The critical parameter curve equation $\beta_1=0$ is given by
312: \begin{align}
313: T_c= & \frac{u_0(1-u_0)}{RD}\left( a- \frac{k\pi^2}{2l^2 L^2}\right) \nonumber \\
314: =
315: & \frac{u_0(1-u_0)}{RD}\left( a- \frac{k\pi^2}{2L_d^2}\right).\label{critical-t}
316: \end{align}
317: Using this formula and the theorems in \cite{MW08d}, we derive the $TL$ phase
318: diagram given by Figure~\ref{fch-4}, and the following physical conclusions:
319: \begin{figure}[hbt]
320: \centering
321: \includegraphics[width=0.4\textwidth]{fch-4.pdf}
322: \caption{TL phase diagram.}
323: \la{fch-4}
324: \end{figure}
325:
326: \medskip
327:
328: \noindent
329: {\sc Physical Conclusion III.}
330: {\it
331: For a given molar fraction $0<u_0 < 1$, there is a critical (dimensional) length
332: $$L^c_d= \sqrt{\frac{k\pi^2}{2 a}}$$
333: such that the following hold true:
334: \begin{itemize}
335:
336: \item[(1)]
337: For $L_d < L^c_d$, there is no phase separation for any temperature.
338:
339: \item[(2)] For $L_d > L^c_d$, phase separation occurs at the critical temperature
340: $T=T_c$ given by (\ref{critical-t}).
341: \end{itemize}
342: }
343:
344: \medskip
345:
346: {\bf Summary.} Based on a dynamic transition theory developed recently by the authors
347: \cite{b-book, chinese-book,MW08c, MW08f}, a systematic mathematical analysis is made for the Cahn-Hilliard equation modeling phase separation of binary systems \cite{MW08d}.
348: Based on this rigorous analysis, we are able to make three physical predictions on the phase separation of binary systems:
349:
350: {\sc First}, the order of phase transitions is precisely determined by the sign of a parameter $K_d$ (or a nondimensional parameter $K$) such that if $K_d>0$, the transition is first-order with latent heat and if $K_d <0$, the transition is second-order. This parameter $K_d$ is explicitly given in terms of the
351: system properties and the geometry of the container.
352:
353: {\sc Second}, a theoretical transition diagram is derived, leading in particular to a prediction that there is only second-order transition for molar fraction near $1/2$. This is different from the prediction made by the classical transition diagram.
354:
355: {\sc Third}, a critical length scale $L_d^c$ is derived such that no phase separation even occurs at any temperature if the length scale of the container is smaller than the critical length scale. The transition temperature $T_c$ is precisely given as well for the length scale is larger than the critical scale.
356:
357: {\sc Finally}, our theory fully reveals the transition dynamics. This is the advantage of using the dynamic classification scheme as proposed in \cite{chinese-book,MW08c, MW08f}, where the transitions are classified as Type-I, Type-II and Type-III. Also, we would like to mention that our results are derived for rectangular domains, and more general domain case can be studied using the dynamic transition theory as well, and other transition types such as the mixed transition may occur; see \cite{MW08d}.
358:
359: \bibliographystyle{siam}
360:
361: \def\cprime{$'$}
362: \begin{thebibliography}{1}
363:
364: \bibitem{langer71}
365: {\sc J.~Langer}, {\em Theory of spinodal decomposition in allays}, Ann. of
366: Physics, 65 (1971), pp.~53--86.
367:
368: \bibitem{b-book}
369: {\sc T.~Ma and S.~Wang}, {\em Bifurcation theory and applications}, vol.~53 of
370: World Scientific Series on Nonlinear Science. Series A: Monographs and
371: Treatises, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2005.
372:
373: \bibitem{chinese-book}
374: \leavevmode\vrule height 2pt depth -1.6pt width 23pt, {\em Stability and
375: Bifurcation of Nonlinear Evolutions Equations}, Science Press (in Chinese),
376: Beijing, 2007.
377:
378: \bibitem{MW08d}
379: \leavevmode\vrule height 2pt depth -1.6pt width 23pt, {\em Cahn-hilliard
380: equations and phase transition dynamics for binary systems}, Dist. Cont. Dyn.
381: Systs., Ser. B, (2008); see also arXiv:0806.1286.
382:
383: \bibitem{MW08c}
384: \leavevmode\vrule height 2pt depth -1.6pt width 23pt, {\em Dynamic phase
385: transition theory in {PVT} systems}, Indiana University Mathematics Journal,
386: to appear; see also Arxiv: 0712.3713, (2008).
387:
388: \bibitem{MW08f}
389: \leavevmode\vrule height 2pt depth -1.6pt width 23pt, {\em Dynamic phase
390: transitions for ferromagnetic systems}, Journal of Mathematical Physics,
391: 49:053506 (2008), pp.~1--18.
392:
393: \bibitem{NS84}
394: {\sc A.~Novick-Cohen and L.~A. Segel}, {\em Nonlinear aspects of the
395: {C}ahn-{H}illiard equation}, Phys. D, 10 (1984), pp.~277--298.
396:
397: \bibitem{reichl}
398: {\sc L.~E. Reichl}, {\em A modern course in statistical physics}, A
399: Wiley-Interscience Publication, John Wiley \& Sons Inc., New York,
400: second~ed., 1998.
401:
402: \end{thebibliography}
403:
404: \end{document}
405: \bibliography{master}
406: