Volume 2022, Issue 1 2970876
Research Article
Open Access

Linear Stability Analysis of the Cahn–Hilliard Equation in Spinodal Region

Seokjun Ham

Seokjun Ham

Department of Mathematics, Korea University, Seoul 02841, Republic of Korea korea.ac.kr

Search for more papers by this author
Darae Jeong

Darae Jeong

Department of Mathematics, Kangwon National University, Gangwon-do 24341, Republic of Korea kangwon.ac.kr

Search for more papers by this author
Hyundong Kim

Hyundong Kim

Institute for the Advanced Study of Human Biology (WPI-ASHBi), Kyoto University Institute for Advanced Study, Kyoto University, Kyoto 6068315, Japan kyoto-u.ac.jp

Search for more papers by this author
Chaeyoung Lee

Chaeyoung Lee

Department of Mathematics, Korea University, Seoul 02841, Republic of Korea korea.ac.kr

Search for more papers by this author
Soobin Kwak

Soobin Kwak

Department of Mathematics, Korea University, Seoul 02841, Republic of Korea korea.ac.kr

Search for more papers by this author
Youngjin Hwang

Youngjin Hwang

Department of Mathematics, Korea University, Seoul 02841, Republic of Korea korea.ac.kr

Search for more papers by this author
Junseok Kim

Corresponding Author

Junseok Kim

Department of Mathematics, Korea University, Seoul 02841, Republic of Korea korea.ac.kr

Search for more papers by this author
First published: 24 June 2022
Academic Editor: Mitsuru Sugimoto

Abstract

We study a linear stability analysis for the Cahn–Hilliard (CH) equation at critical and off-critical compositions. The CH equation is solved by the linearly stabilized splitting scheme and the Fourier-spectral method. We define the analytic and numerical growth rates and compare these growth rates with respect to the different average levels. In this study, the linear stability analysis is conducted by classifying three average levels such as zero average, spinodal average, and near critical point levels of free energy function, in the one-dimensional (1D) space. The numerical results provide insight for the dynamics of CH equation at critical and off-critical compositions.

1. Introduction

The Cahn–Hilliard (CH) equation describes the temporal evolution of the conserved phase-field by the following partial differential equation [1, 2]:
(1)
where ϕ(x, t) is a phase-field at position x and time t, is the free energy per unit volume and can be substituted for other free energy functions in numerical experiments, and constant ε determines the thickness of the interface. The CH equation (1) was originally introduced as the mathematical model which describes the spinodal decomposition in a binary mixture. This equation has been applied in diverse fields such as dealloying [3, 4], two-phase fluid flow [57], topology optimization [810], population dynamics [11], tumor growth [1214], thin films [1517], block copolymer [18, 19], and image processing [20, 21]. The CH equation is mass-constrained gradient flow in the dual space H−1 of zero average space of the Ginzburg–Landau free energy,
(2)
To confirm the total mass conservation and the energy dissipation, we differentiate the total mass of ϕ and equation (2) with respect to time t and obtain the following results, respectively.
(3)
(4)

The results of equations (3) and (4), respectively, show that the conservation of total mass holds, and the total energy does not increase with respect to time. Figure 1 represents a double-well potential F(ϕ), its corresponding first and second derivatives. Here, the spinodal region is defined by the gray-colored region where the second derivative is negative, i.e., F′′(ϕ) < 0. In this region, ϕ is unstable and then phase separation occurs. With these various applications of the CH equation, many researchers have proposed new efficient numerical methods [2224]. Usually, in the stage of verifying the numerical method, the linear stability analysis is used. In [25], the linear stability was used for local equilibrium of Boltzmann equation. In [26], the stability analysis of the advective CH equation was employed to define the perturbation to investigate the instability of wave packets. In this paper, we shall present a clear standard for this test by defining linear and nonlinear regimes.

Details are in the caption following the image
Schematic illustration of double-well potential F(ϕ), F(ϕ), and F′′(ϕ).

The main purpose of this paper is to numerically investigate the dynamics of phase separation in binary mixtures with different average concentrations using the CH equation in the one-dimensional (1D) space. In addition, we propose criteria for linear regimes with small differences between numerical solutions and linear solutions.

This paper is organized as follows. The Fourier-spectral method is introduced in Section 2 for numerical solution. Section 3 provides numerical results and simulations with linear stability analysis. Conclusions are discussed in Section 4.

2. Numerical Solution

Now, we use the Fourier-spectral method [27] to find the numerical solution for the CH equation (1) in the 1D space Ω = (0, L),
(5)
Let h = L/Nx be the grid size in the x-axis directions, where Nx is positive even integer. At the edge points xm = (m − 1)h where m = 1, 2, ⋯, Nx, we simply denote the numerical representation ϕ(xm, tn) into . Here, tn = nΔt and Δt is the temporal step size. Also, we set μp = 2πp/L for the Fourier-spectral method. Let us consider the discrete Fourier transform and the inverse discrete Fourier transform
(6)
For simplicity of notation, we define f(ϕ) = F(ϕ) = ϕ3ϕ. By applying the linearly stabilized splitting scheme [28] into the CH equation (5), we obtain the following discrete CH equation:
(7)
Letting g(ϕ) = ϕ3 − 3ϕ, equation (7) comes into
(8)
Then, we can transform equation (8) into the discrete Fourier space as follows:
(9)
By rearranging the above one, we obtain
(10)

As a consequence, we can compute the updated numerical solution by applying the inverse discrete Fourier transform (6).

3. Numerical Experiments

In this section, we define growth rate of the CH equation and compare analytic growth rate with numerical growth rate. We also define an error between the analytic solution and the numerical solution. Through several numerical experiments about the growth rate and the error, we investigate the numerical behaviour at different spinodal points. Then, we propose linear and nonlinear regimes.

3.1. Analytic and Numerical Growth Rates

In this section, we shall find the analytic and numerical growth rates. We consider the following three different free energy functions [29], F1, F2, and F3 at ϕ = ϕave.
(11)
(12)
(13)
We linearize each of F1, F2, and F3 by applying the Taylor expansion for different free energy functions; then, we obtain the following linearized terms. The linearized functions are explained in detail in Appendix.
(14)
(15)
(16)
Therefore, for the free energy functions F1, F2, and F3, the corresponding linear Cahn–Hilliard (LCH) equations are as follows:
(17)
(18)
(19)
To derive the ordinary differential equation for amplitude function α(t), we take ϕ(x, t) = ϕave + α(t)cos(Kπx). For the positive even integer K, it can satisfy the periodic boundary condition. Substituting above ϕ(x, t) into LCH equations (17), (18), and (19), we have
(20)
(21)
(22)
Dividing cos(Kπx) on the both sides of equations (20), (21), and (22), we obtain
(23)
(24)
(25)
The analytic solutions of ordinary differential equations (23), (24), and (25) are as follows:
(26)
(27)
(28)
In this paper, we use F1 unless the free energy function is mentioned; then, we write F1 = F, λ1 = λ. In the numerical approach, numerical growth rate is defined by
(29)

Here, ‖·‖ denotes the maximum norm.

3.2. Convergence Test

In this section, we verify convergence of the numerical growth rate. For numerical test, we use ϕ(x, 0) = ϕave + 0.001cos(10πx), ϕave = 0, and ε = 0.02 in Ω = (0, 1).

Table 1 shows the numerical growth rate at time T = 0.004 for various Δt = T/Nt and h = 1/Nx. Here, the analytic growth rate is λ = 597.3241. In Table 1, we can see that the numerical growth rate converges to the analytic one as Δt and h decrease.

Table 1. Numerical growth rate for various Δt and h at T = 0.004 (λ = 597.3241).
Nt\Nx 23 24 25 26 27
211 304.2649 594.2164 594.2139 594.2139 594.2139
212 304.5360 595.7570 595.7545 595.7545 595.7545
213 304.6718 596.5303 596.5278 596.5278 596.5278
214 304.7397 596.9177 596.9152 596.9152 596.9152
215 304.7737 597.1116 597.1091 597.1091 597.1091
216 304.7907 597.2086 597.2061 597.2061 597.2061
217 304.7992 597.2571 597.2546 597.2546 597.2546

3.3. Linear Stability Analysis

From now on, we implement the linear stability analysis with the constant solution ϕ = ϕave. In the every numerical experiment, we use the constant to adjust the interfacial thickness. As long as do not more mentioned, the numerical parameters use such as Nx = 128, h = 1/Nx, Δt =2e-7, α(0) = 0.001, ε = ε11, and T is total time. In addition, we use three different value ϕave = 0, 0.4, and 0.6 which are in spinodal region and near critical points of free energy. Note that these values are indicated points A, B, and C in Figure 1. For a positive even integer K ≤ 16, the initial condition is selected as ϕ(x, 0) = ϕave + 0.001cos(Kπx) in Ω = (0, 1). First, we investigate analytic and numerical growth rates for different mode numbers K.

Before the next tests, we define linear solution as follows:
(30)
where α(t) = α(0)eλt and λ is analytic growth rate, see equation (26). Figure 2 shows the change of the analytic and numerical growth rates with respect to each mode numbers K for ϕave = 0, 0.4, and 0.6 in short-time evolution. As we can see, numerical growth rate estimates analytic growth rate λ well in short time (T = 0.004). The growth rates in spinodal region (ϕave = 0, ϕave = 0.4) have positive values for some mode K. On the other hand (ϕave = 0.6), the growth rates are always negative regardless of mode number K and also growth rates are monotonically decreased as mode number K increases. Figures 3(a)3(c) show the analytic growth rates according to mode numbers K for ϕave = 0, 0.4, and 0.6, respectively, where the analytic growth rates λ1, λ2, and λ3 are (26), (27), and (28). However, in the long time evolution, it is difficult to expect the numerical growth rate that fits well with the analytic one. In order to find this reason, we first observe dynamics of the numerical solution ϕ(x, t) and linear solution u(x, t). In Figure 4, we can check the behaviour of the numerical and linear solution in short and long time evolution for K = 2, 4, and 6, when ϕave = 0 and ϕave = 0.4. Unlike the short-time cases, the long-time numerical solutions in all cases show a lot of difference from the linear solutions. This result means that over time, the CH solution has nonlinearity.
Details are in the caption following the image
Analytic and numerical growth rates of the CH equation with different mode numbers at T = 0.004 when (a) ϕave = 0 and (b) ϕave = 0.4 and ϕave = 0.6.
Details are in the caption following the image
Analytic and numerical growth rates of the CH equation with different mode numbers at T = 0.004 when (a) ϕave = 0 and (b) ϕave = 0.4 and ϕave = 0.6.
Details are in the caption following the image
Figure 3 (a) ϕave = 0
Analytic growth rates of the CH equations for different free energy functions F1, F2, and F3 at (a) ϕave = 0, (b) ϕave = 0.4, and (c) ϕave = 0.6.
Details are in the caption following the image
Figure 3 (b) ϕave = 0.4
Analytic growth rates of the CH equations for different free energy functions F1, F2, and F3 at (a) ϕave = 0, (b) ϕave = 0.4, and (c) ϕave = 0.6.
Details are in the caption following the image
Figure 3 (c) ϕave = 0.6
Analytic growth rates of the CH equations for different free energy functions F1, F2, and F3 at (a) ϕave = 0, (b) ϕave = 0.4, and (c) ϕave = 0.6.
Details are in the caption following the image
Numerical solution and theoretical solution at spinodal position (a) ϕave = 0 and (b) ϕave = 0.4 with different mode.
Let us consider Ginzburg–Landau free energy (2) by decomposing it as
(31)
where
(32)

We compare short- and long-time numerical solution ϕ(x, t) when ϕave = 0 and ϕave = 0.4. In this test, we use mode K = 2 and α(0) = 0.1. As shown in Figure 5(a), we can see the nonlinearity in the long-time solution after a certain period of time, regardless of ϕave. Figures 5(b)–5(d) show results of double well potential F(ϕ), ε/2|∇ϕ|2, and F(ϕ) + ε/2|∇ϕ|2, respectively. Here, the solid and dashed lines mean the short- and long-time results of each function, respectively. Also, the area of the gray-colored region in Figures 5(b)–5(d) represent the energy , , and the Ginzburg–Landau free energy , respectively.

Details are in the caption following the image
Long- and short-time evolutions: (a) dynamics of the CH equation, (b)–(d) terms of Ginzburg–Landau free energy : F(ϕ), ε2/2|∇ϕ|2, and F(ϕ) + ε2/2|∇ϕ|2, respectively.

As shown in Figure 1, as ϕ moves away from ϕ = 0, F(ϕ) becomes smaller than F(0) when −1 ≤ ϕ ≤ 1. For this result, in Figure 5(b), dashed line is located below solid line overall of x. It means that F(ϕ) becomes smaller over time in the spinodal region. Also, according to fluctuation of ϕ, we can see the property of ε2/2|∇ϕ|2 in Figure 5(c). However, it can also be confirmed that the value has a slight effect on F(ϕ) + ε/2|∇ϕ|2 as shown in Figure 5(d). In conclusion, we know that the CH solution grows with time in the spinodal region, and it has nonlinearity in the existing solution in order to reduce the total free energy.

Figures 6(a)–6(c) show temporal evolution of , , and with different ε. All results of and decrease with respect to time t. However, it can be seen that the larger the epsilon, that is, the thicker the interface of numerical solution, the slower the result is expressed.

Details are in the caption following the image
Temporal evolution of (a) , (b) , and (c) for each ε: ε9, ε11, and ε15.
From now on, we verify that the CH solution has nonlinearity over time. Therefore, when performing a linear stability test, it is accurate to examine short time evolution. Also, based on this fact, we propose the criteria for defining the following linear and nonlinear regimes. To find linear regime where numerical solution estimates linear solution well, we define error e(nΔt) between numerical and linear solution as follows:
(33)
We can distinguish linear regime and nonlinear regime based on the user-criteria tol as follows: if e(nΔt) < tol; then, linear regime; otherwise, non-linear regime. We propose a criterion tol using the initial condition u(x, 0) as follows:
(34)

Figure 7 shows proposed criterion and temporal evolution of error e(t = nΔt) for the time t with dynamic of linear and numerical solutions.

Details are in the caption following the image
Temporal evolution of error e(t = nΔt) for mode K = 2.

4. Conclusions

We studied a linear stability analysis for the CH equation in spinodal region as different average levels. To solve the CH equation, we used linearly stabilized splitting scheme and Fourier-spectral method. Through the numerical simulations, we observed various dynamics of the CH equation and confirmed the numerical solution compared linear solution over time. We defined growth rate and also compared numerical growth rate and analytic growth rate. Using difference between numerical and linear solution, we defined error. By means of defined error, we distinguish linear regime where numerical solution and linear solution match because of the small error and nonlinear regime where do not.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The first author (S. Ham) was supported by the Brain Korea 21 FOUR through the National Research Foundation of Korea funded by the Ministry of Education of Korea. This study was supported by 2020 Research Grant from Kangwon National University. The author (D. Jeong) was supported by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIP) (NRF-2020R1F1A1A01075937). The corresponding author (J.S. Kim) was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF).

    Appendix

    A. Appendix: Linearlization

    By the Taylor theorem, for real valued-function f(x), if f(x) has derivatives of all orders at a, then for each positive integer n,
    (A.1)
    where .
    Now, we approximate the linearized functions of various free energies at ϕave.
    (A.2)
    (A.3)
    (A.4)

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.