arxiv: v1 [math.na] 15 Aug 2007

Transcription

1 A POSTERIORI ERROR ESTIMATES FOR FINITE ELEMENT APPROXIMATIONS OF THE CAHN-HILLIARD EQUATION AND THE HELE-SHAW FLOW XIAOBING FENG AND HAIJUN WU arxiv:78.116v1 [math.na] 15 Aug 7 Abstract. This paper develops a posteriori error estimates of residual type for conforming and mixed finite element approximations of the fourth order Cahn-Hilliard equation u t + ` u 1 fu =. It is shown that the a posteriori error bounds depends on 1 only in some low polynomial order, instead of exponential order. Using these a posteriori error estimates, we construct an adaptive algorithm for computing the solution of the Cahn-Hilliard equation and its sharp interface limit, the Hele-Shaw flow. Numerical experiments are presented to show the robustness and effectiveness of the new error estimators and the proposed adaptive algorithm. Key words. Cahn-Hilliard equation, Hele-Shaw flow, phase transition, conforming elements, mixed finite element methods, a posteriori error estimates, adaptivity AMS subject classifications. 65M6, 65M1, 65M15, 53A1 1. Introduction. In this paper we derive a posteriori error estimates and develop an adaptive algorithm based on the error estimates for conforming and mixed finite element approximations of the following Cahn-Hilliard equation and its sharp interface limit known as the Hele-Shaw flow [, 37] u t + u 1 fu = in Ω T := Ω, T, u n = 1 u n fu = in Ω T := Ω, T, u = u in Ω {}, where Ω R N N =, 3 is a bounded domain with C boundary Ω or a convex polygonal domain. T > is a fixed constant, and f is the derivative of a smooth double equal well potential taking its global minimum value at u = ±1. A well known example of f is fu := F u and F u = 1 4 u 1. For the notation brevity, we shall suppress the super-index on u throughout this paper except in Section 5. The equation 1.1 was originally introduced by Cahn and Hilliard [11] to describe the complicated phase separation and coarsening phenomena in a melted alloy that is quenched to a temperature at which only two different concentration phases can exist stably. The Cahn-Hilliard has been widely accepted as a good conservative model to describe the phase separation and coarsening phenomena in a melted alloy. The function u represents the concentration of one of the two metallic components Department of Mathematics, The University of Tennessee, Knoxville, TN 37996, U.S.A. xfeng@math.utk.edu. The work of this author is partially supported by the NSF grant DMS Department of Mathematics, Nanjing University, Jiangsu, 193, PR China. hjw@nju.edu.cn. The work of this author is partially supported by the China NSF grant 14116, by the China National Basic Research Program grant 5CB3171, and by the Natural Science Foundation of Jiangsu Province under the grant BK

2 X. Feng and H. Wu of the alloy. The parameter is an interaction length, which is small compared to the characteristic dimensions on the laboratory scale. Cahn-Hilliard equation 1.1 is a special case of a more complicated phase field model for solidification of a pure material [1, 9, 33]. For the physical background, derivation, and discussion of the Cahn-Hilliard equation and related equations, we refer to [4,, 7, 11, 13,, 35, 36] and the references therein. It should be noted that the Cahn-Hilliard equation 1.1 can also be regarded as the H 1 -gradient flow for the energy functional [8] [ J u := u + 1 ] F u dx. Ω In addition to its application in phase transition, the Cahn-Hilliard equation 1.1 has also been extensively studied in the past due to its connection to the following free boundary problem, known as the Hele-Shaw problem and the Mullins-Sekerka problem 1.5 w = in Ω \ Γ t, t [, T ], 1.6 w = on Ω, t [, T ], n 1.7 w = σκ on Γt, t [, T ], V = 1 [ w ] 1.8 on Γ t, t [, T ], n Γ t 1.9 Γ = Γ when t =. Here σ = 1 1 F s ds. κ and V are, respectively, the mean curvature and the normal velocity of the interface Γ t, n is the unit outward normal to either Ω or Γ t, [ w n ] Γ t := w+ n w n, and w+ and w are respectively the restriction of w in Ω + t and Ω t, the exterior and interior of Γ t in Ω. Under certain assumption on the initial datum u, it was first formally proved by Pego [37] that, as, the function w := u + 1 fu, known as the chemical potential, tends to w, which, together with a free boundary Γ := t T Γ t {t} solves Also u ±1 in Ω ± t for all t [, T ], as. The rigorous justification of this limit was carried out by Alikakos, Bates and Chen in [] under the assumption that the above Hele-Shaw Mullins-Sekerka problem has a classical solution. Later, Chen [13] formulated a weak solution to the Hele-Shaw Mullins- Sekerka problem and showed, using an energy method, that the solution of approaches, as, to a weak solution of the Hele-Shaw Mullins-Sekerka problem. One of a consequences of the connection between the Cahn-Hilliard equation and the Hele-Shaw flow is that for small the solution to equals ±1 in the two bulk regions of Ω which is separated by a thin layer called diffuse interface of width Oɛ. As expected, the solution has a sharp moving front over the transition layer. Another motivation for developing efficient adaptive numerical methods for the Cahn-Hilliard equation is its applications far beyond its original role in phase transition. The Cahn-Hilliard equation is indeed a fundamental equation and an essential building block in the phase field theory for moving interface problems cf. [31], it

3 Adaptive methods for the Cahn-Hilliard equation 3 is often combined with other fundamental equations of mathematical physics such as the Navier-Stokes equation cf. [, 3, 34] and the references therein to be used as diffuse interface models for describing various interface dynamics, such as flow of two-phase fluids, from various applications. The primary numerical challenge for solving the Cahn-Hilliard equation results from the presence of the small parameter in the equation, so the equation is a singular perturbation of the biharmonic heat equation. Numerically to resolve the thin transition region of width O, one has to use very fine meshes in the region. Considering the fact that away from the transition region the solution equals ±1, it is natural to use adaptive meshes, rather than uniform meshes, to compute the solution. As far as the error analysis concerns, the main difficulty is to derive a priori and a posteriori error estimates which depends on 1 only in low polynomial order, rather than exponential order which is the case if the standard Gronwall s inequality type argument is used to derive the error estimates [6, 17, 18, 19]. Recently, Feng and Prohl [5, 6, 4] were able to overcome this difficulty and established polynomial order a priori error estimates for mixed finite element approximations of the Cahn-Hilliard equation and related phase field equations. Based on these new error estimates, they then proved convergence of the numerical solutions of the phase field equations to the solutions of their respective sharp interface limits as mesh sizes and the parameter all tend to zero. The main idea of [5, 6] is to use a spectral estimate result of Alikakos and Fusco [3] and Chen [1] for the linearized Cahn-Hilliard operator to handle the nonlinear term in the error equation. Very recently, this idea was also used by Kessler, Nochetto and Schmidt [3] and by Feng and Wu [7] to obtain a posteriori error estimates, which depend on 1 in some low polynomial order, for finite element approximations of the Allen-Cahn equation. The goal of this paper is to develop a posteriori error estimates for conforming and mixed finite element approximations of the Cahn-Hilliard equation in the spirit of [7]. First, using the idea of continuous dependence we derive some residual type a posteriori error estimates, which depend on 1 only in low polynomial orders, for the conforming finite element approximations and the mixed finite element approximations. To avoid many technicalities and to present the idea, we only consider semi-discrete in spatial variable approximations in this paper. For the time discretization, we appeal to the stiff ODE solver NDF [4] which is a modification of BDF for temporal integration. Then, using the a posteriori estimates as error indicators we propose an adaptive algorithm for approximating the Cahn-Hilliard equation and its sharp interface limit, the Hele-Shaw flow. As in [7], the technique and analysis of this paper for deriving a posteriori error estimates are problem-independent and method-independent, hence, they are applicable to a large class of evolution problems and their numerical approximations obtained by any numerical discretization method including finite difference, finite element, finite volume and spectral methods. We also remark that the adaptive finite element algorithm of this paper is based on the method of lines approach, we refer to [1, 5, 1] and the references therein for a detailed exposition on the approach for other types of problems, and to [1, 41] and the references therein for a detailed discussions about adaptive algorithms based on other approaches such as discontinuous Galerkin methods and space-time finite element methods. The paper is organized as follows: In Section we establish continuous dependence estimates for the Cahn-Hilliard equation in both standard and mixed formulations, and present some abstract frameworks for deriving a posteriori error estimates based

4 4 X. Feng and H. Wu on the idea of continuous dependence. In Section 3 we derive some a posteriori error estimates for conforming finite element approximations and for the Ciarlet- Raviart mixed finite element approximations of the Cahn-Hilliard equation using the continuous dependence estimates and the abstract frameworks of Section. In Section 4 we propose an adaptive finite element algorithm using the a posteriori error estimates of Section 3 as error indicators for refining or coarsening the mesh. In Section 5 we establish some a posteriori error estimates for using the conforming and mixed finite element methods to approximate the Hele-Shaw flow. Finally, in Section 6 we present several numerical tests to show the robustness and effectiveness of the proposed error estimators and the adaptive algorithm.. Continuous dependence and a posteriori error estimates. In this section, we first establish some continuous dependence on nonhomogeneous force term and on initial condition estimates for the Cahn-Hilliard problem in both standard and mixed formulations. We then present an abstract framework for deriving a posteriori error estimates for mixed numerical approximations of general evolution equations. Our goal is to derive a posteriori error estimates which depend on 1 only in some low polynomial order. It is easy to show that cf. Section.1 if one uses the standard perturbation and Gronwall s inequality techniques to derive a priori or a posteriori error estimates, the error bounds will depend on 1 exponentially, hence, such estimates are not useful for small. To overcome the difficulty, we appeal to a spectrum estimate result, due to Alikakos and Fusco [3] and Chen [1], for the linearized Cahn-Hilliard operator, and prove a continuous dependence estimate, which depends on 1 in some low polynomial order, for the Cahn-Hilliard equation. Such a continuous dependence estimate is the key for us to establish the desired a posteriori error estimates in the next section. Throughout this paper, the standard space, norm and inner product notation are adopted. Their definitions can be found in [8, 15]. In particular,, denotes the standard L -inner product, and H k Ω stands for the usual Sobolev spaces. Also, C are used to denote a generic positive constant which is independent of and the mesh sizes..1. Continuous dependence estimates. Introduce the space H EΩ = { ψ H Ω; } ψ = on Ω. n We recall that the variational formulation of is defined by seeking u HE Ω such that.1. u t, ψ + u, ψ + 1 fu, ψ = ψ H Ω, t [, T ], u = u H EΩ. It is proved in [18] that such a solution u exists and u L, T ; H EΩ L, T ; H 4 Ω H 1, T ; L Ω. For physical reason, unless mentioned otherwise, we assume that u 1 in this paper.

5 Adaptive methods for the Cahn-Hilliard equation 5 Let vt HE Ω be a perturbation of u satisfying.3.4 v t, ψ + v, ψ + 1 fv, ψ = rt, ψ ψ H E Ω, t [, T ], v = v H EΩ, where rt H Ω := HE Ω the dual space of HE Ω is the residual of vt, i.e., the perturbation of the right-hand side of 1.1., denotes the dual product on H Ω H Ω. We assume that rt, 1 =, and define rt, ψ.5 rt eh = sup. ψ HE Ω ψ H Let L Ω = { ψ L Ω; Ω ψdx = }. Define 1 : L Ω H 1 Ω L Ω to be the inverse of the Laplacian, that is, for any ψ L Ω, 1 ψ H 1 Ω L Ω is defined by 1 ψ, η = ψ, η η H 1 Ω. From the standard regularity theory of elliptic problems, one concludes that 1 ψ HE Ω and.6 1 ψ C ψ H Ω L. Let wt := vt ut. We also assume that w = v u L Ω. Then, from Ω wtdx = Ω wdx, it is clear that wt L Ω. Subtracting equation.1 from equation.3 gives.7 w t, ψ + w, ψ + 1 fv fu, ψ = rt, ψ ψ H E Ω. Next, we give two estimates on u v in terms of r and u v for the Cahn- Hilliard equation. The first estimate holds without any constraint on either the initial condition or the residual of the perturbation problem, but the estimate depends on 1 exponentially. The second one, which depends on 1 only in a low polynomial order, holds provided that the perturbations of the initial condition and the right-hand side are small. Proposition.1. Let u and v be the weak solutions of.1-. and.3-.4, respectively. Then it holds that for t [, T ] vt ut L + t 4t exp 1 3 v u + C L Proof. Setting ψ = 1 w in.7 we get 4t s exp 3 vs us L ds t 4t s exp 3 rs H e ds. 1 d 1 w + w dt L L + 1 fv fu, w = r, 1 w. From the definition of 1 it follows.1 w L = 1 w, w 1 w L w L.

6 6 X. Feng and H. Wu Hence, 1 1 fv fu, w = f ξw, w = 1 3ξ 1w, w 1 w L 4 w L w L. Similarly, r, 1 w r eh 1 w H C r eh w L C r e H + 1 w L C r e H + 4 w L w L. Combining the above two estimates and.9 we obtain d 1 w + w dt L L w + C r L H e. Finally, the desired estimate.8 follows from an application of the Gronwall s inequality. The proof is complete. Remark.1. Clearly, the above continuous dependence estimates are only useful when t = O 3. However, the estimate is sharp if no assumptions on the solutions u and v are assumed because the Cahn-Hilliard equation does exhibit a fast initial transient regime for times of order O 3, until interfaces develop [11, ]. To improve estimates.8, we need to confine ourself to consider solutions u and v which have certain profiles. Specifically, we need the helps of the following three lemmas. The first lemma gives an a priori estimate for solutions of a Bernoulli type nonlinear ordinary differential inequality. Its proof can be found in [7]. Lemma.. Suppose that n > 1, yt and λt are nonnegative functions satisfying.11 y t λt yt n + atyt + bt t [, T ]. Define ρt = t t [, T e R s aτ dτ bs ds and ρt = max s t ρs, then there holds for.1 yt [y + ρt] er t as ds where ζt 1 n 1 ζt = 1 n 1 [y + ρt] n 1 t + [ρt ρt]e R t as ds, λs e n 1 R s aτ dτ ds, and T is the largest positive number in [, T ] such that ζt. The second lemma cites a spectrum estimate result of Alikakos and Fusco [3] and Chen [1] for the following linearized Cahn-Hilliard operator at the solution of L CH := 1 f ui, where I stands for the identity operator. Lemma.3. Let λ CH denote the smallest eigenvalue of L CH, assume that the solution u satisfies the tanh profile described in [1] cf. 1.1 on page 1374 and

7 Adaptive methods for the Cahn-Hilliard equation 7 Theorem 1.1 on page 1375 of [1]. Then there exists < < 1 and an -independent positive constant C such that λ CH satisfies λ CH ψ L inf + 1 f uψ, ψ ψ H 1 Ω L Ω 1 ψ C, ]. L Remark.. Since the proof of the above estimate is based on the convergence result of [14], which says that the solution of the Cahn-Hilliard problem for certain class of initial conditions converges to the classical solution of the free boundary problem as, hence, the proof suggests that the validity of the above estimate also depends on the choice of the initial conditions. As far as we know it is an open question whether the estimate still holds for general initial data see Remark.3 of [14] for more discussions. This is the reason why the subsequent a posteriori error estimates of this paper are established under this initial condition constraint. The third lemma gives an estimate which are useful for the subsequent analysis. Lemma.4. Let < δ <, then there exits a positive constant C which is independent of and δ such that for any w H 1 Ω L Ω there holds 1.14 w 3 dx 1 Ω w 4 L w L + Cδ4 δ 1 w 16+N δ +Nδ L. Hence, Proof. Recall the Young s inequality ab q 1 a q q 1 q b q +, a, b >, q > 1. q.15 ab a q 1 q b q q q q 1 a q q 1 + e 1 b q q 1. Then for < p < 3 therefore,.16 w 3 w 4 3 p 4 p = 3 p p 4 p w 4 p w 4 + C w p, 1 w 3 dx 1 Ω w 4 L + C 4 w p L. p Since w H 1 Ω L Ω, it follows from the Sobolev inequality and.1 that w L p Np 1 p w L Np p w L Let p = 8+N δ +N = + δ +N, we have C 1 w p Np 4p L δ 4 w p L p C 5+δ 4 w 1 L w 8+N δ +N L. p+np 4p w L.

8 8 X. Feng and H. Wu From inequality.15 with q = 4 δ we obtain 1 w p L 4 p 4 w L + Cδ4 δ 1 w 16+N δ +Nδ L..14 now follows from combining the above estimate and.16. The proof is complete. We are now ready to state our first main result of this section. Proposition.5. Suppose that u, v 1, and C be the same as in Lemma.3. Let u and v be the solutions of.1-. and.3-.4, respectively. Then, for any, ], there exists a positive constant C, which is independent of and t, such that there holds 1 vt ut L t + 4 vs us L + 1 vs us 4L e C+8t s ds ξt + for all t [, T. Here 1 v u L e C+8t [ t ]C rs ξt H e e C+8t s ds.18 ξt :=1 C 5+N e C+8t { 1 v u L + t and T [, T ] satisfying ξt >. Proof. Let w := v u, from.9 and the identities rs e H } e C+8s ds,.19 fv fu = f uw + w 3 + 3uw, fv fu, w = f u w dx + w 4 L Ω Ω u w 3 dx, and the fact that u L C cf. [9, 6] we have 1 d 1 w + 1 dt L w 4 L + 4 w L + 1 f u w dx Ω. = 3 u w 3 dx r, 1 w C w 3 dx + C Ω Ω r H e + w L. To bound the fourth term on the left-hand side of. from below, we employ the spectrum estimate of Lemma.3. In order to keep a portion of w L on the left-hand side, we apply the spectrum estimate with a scaling factor 1 3. w L + 1 f u w dx w L [ Ω = 3 w L + 1 3u [ w dx] w L + 1 f uw, w ] Ω 4 w L C 1 w w L L.

9 Since we have.1 w L w L w L + 1 Ω Adaptive methods for the Cahn-Hilliard equation 9 f u w dx w L Combining.1,.14, and. we obtain. 1 w L 4 4 w L w, L 34 4 w L C w L. d 1 w 4 Cδ dt L δ 1 w 16+N δ +Nδ L + C w L where < δ <. Now, set then + C r e H 4 w L 1 w 4 L 4, yt := 1 w, a := C L + 8, λ := Cδ 4 /δ 8 + N δ, n :=, + Nδ bt := C r H e 4 w L 1 t w 4 L, ρt := e C+8s bs ds, 4 ρt C t e C+8s rs e H ds. It follows from Lemma. that there exists T, T ] such that y + ρt e C +8t.3 yt + e C+8t ρt ζt 1 n 1 for all t, T, where Moreover, since ζt = 1 ζt 1 n 1 1 λ [ ] n 1 [ y + ρt e C +8n 1t 1 ]. C + 8 λ C + 8 λ 1 C [ ] n 1 n 1 y + ρt e C +8n 1t 1 n 1 [y + ρt ] e C +8t, then there exists a positive constant C independent of and δ such that ζt 1 n 1 1 C +N5 δ [ ] δ y + ρt e C +8t. The estimate.17 now follows from combining the above inequality and.3 and letting δ. The proof is complete. Remark.3. In the above proof we have used the boundedness property of the solution of the Cahn-Hilliard problem , which will be used a couple more

10 1 X. Feng and H. Wu times later in the paper. The references we cited for the property are [9, 6]. However, we like to point out that the assertion was proved in [9] under the assumption that the derivative fu = F u of the potential F is linear outside a bounded interval, which is not the case for the potential F u = 1 4 u 1 used in this paper. Although we believe the boundedness of the solution in the case of the above potential also holds, we have not found a direct proof in the literature. On the other hand, an indirect proof was given in [6] see Lemma. of [6], which uses the fact that the solution of the Cahn-Hilliard problem converges to the classical solution of the free boundary problem as. As a result, the proof depends on the choice of the initial conditions. Hence, as pointed out in Remark., the subsequent a posteriori error estimates of this paper are established under this initial condition constraint. In order to assure the continuous dependence estimate of Proposition.5 hold on the whole interval, T, we need to impose a smallness constraint on the perturbations of the initial condition and the right-hand side as described in the following corollary. Corollary.6. Under the assumptions of Proposition.5, estimate.17 holds for T = T if v and r satisfy the following constraint.4 { 1 v u L + T C 1 e C+4T 5+N 4 = rs H e e C+8s ds } 1 { O 5 if N =, O 6.5 if N = 3. Proof. The assertion follows immediately from the fact that ξt > when.4 holds. Proposition.7. Under the assumptions of Corollary.6, there exists a constant C independent of such that for t [, T ].5 vt ut L + t vs us L + 1 vs us vs us L ds v u L + C 1 5 v u e C+8t ξt L + C [ ] t rs e ξt H e C+8t s ds. Proof. Setting ψ = w := vt ut in.7 gives.6 1 d dt w L + w L + 1 fv fu, w = r, w.

11 Adaptive methods for the Cahn-Hilliard equation 11 From.19,.1, and the fact that u L < C cf. [9, 6] we get 1 1 fv fu, w = w 3 + f uw + 3uw, w = 3w w, w 1 f uw + 3uw, w 3 w w L 4 w L C 3 w L + w 4 L 4 3 w w L 4 w L C w L + w L + w 4 L 4. Combining this estimate and.6 yields 1 d dt w L w L + 3 w w L C 5 1 w L + 4 w L + w 4 L 4 + C rs eh w L C 5 1 w L + 4 w L + w 4 L 4 + C rs e H + 4 w L. Here we have used the inequality w H = 1 w H C w L cf..6 to derive the first inequality. Therefore d dt w L + w L + 1 w w L C 5 1 w L + 4 w L + w 4 L 4 + C 1 rs e H. Integrating the above inequality over [, t] and using Proposition.5 and Corollary.6 give.5. The proof is complete... Continuous dependence estimates for the mixed formulation. In this subsection we derive a continuous dependence estimate which is analogous to.17 for a mixed formulation of the Cahn-Hilliard equation. It is well known that although at the differential level the mixed weak formulation and the standard weak formulation are equivalent, they are usually very different at the discrete level, i.e., the approximate solutions obtained using these two variational formulations are quite different. Indeed, it will be seen from the following estimate that the mixed weak formulation results in two residual terms while the standard weak formulation only gives one residual term, and in general the combined effect of the former are not same as the effect of the later. Recall that [6] the mixed formulation of problem.1-. is defined by seeking a pair of functions ut, ϕt [H 1 Ω] such that ut, ψ + ϕ, ψ = ψ H 1 Ω, t [, T ], u, χ + 1 fu, χ ϕ, χ = χ H 1 Ω, t [, T ], u = u in Ω. We now consider a perturbation vt, φt [H 1 Ω] of ut, ϕt defined by vt, ψ + φ, ψ = r 1, ψ ψ H 1 Ω, t [, T ], v, χ + 1 fv, χ φ, χ = r, χ χ H 1 Ω, t [, T ], v = v in Ω

12 1 X. Feng and H. Wu for given residuals r 1 t, r t [H 1 Ω ] which satisfy r 1, 1 = r, 1 =. Introduce the following norms of r j, j = 1, rt, ψ r j eh 1 := sup. ψ H 1 Ω ψ L The following proposition is the counterpart of Proposition.5 for the above mixed approximation. Proposition.8. Suppose that u, v 1, and C be the same as in Lemma.3. Let u, ϕ and v, φ be the solutions of.7-.9 and.3-.3, respectively. Then, for any, ], there exists a positive constant C, which is independent of and t, such that there holds.33 1 vt ut L + [ C ˆξt for all t [, T. Here ] t t 4 vs us L + 1 vs us 4 L e C+8t s ds 4 r 1 H e r H e 1 e C+8t s ds + C ˆξt 1 v u e C+8t L.34 ˆξt := 1 C 5+N e C+8t{ 1 v u L t + r 1 H e } r H e 1 e C+8s ds, and T [, T ] satisfying ˆξT >. Proof. Since the proof is very similar to that of Proposition.5, we only highlight the main differences and omit the overlaps. Let wt := vt ut and θt := ϕt φt. Subtracting.7-.9 from their corresponding equations in.3-.3 we get the following error equations: for t [, T ].35 wt, ψ + θ, ψ = r 1, ψ ψ H 1 Ω, w, χ + 1 fv fu, χ θ, χ = r, χ χ H 1 Ω, w = v u in Ω. Setting ψ = 1 w in.35 and χ = w in.36 and adding the resulting equations give 1 d 1 w + 1 dt L w 4 L + 4 w L + 1 f u w dx Ω = 3.38 u w 3 dx r 1, 1 w + r, w Ω C w 3 + r 1 e H w + 1 L r H e w L. Ω

13 Adaptive methods for the Cahn-Hilliard equation 13 Here we have used the identity θ, w + θ, 1 w =. Clearly, the only difference between.38 and. is the last four terms on the right hand side of.38. Repeating the remaining proof of Proposition.5 after., we see that the conclusion of Proposition.5 holds with r 1 H e r H e 1 in the place of r H e, hence,.33 holds. The proof is complete. A similar statement to that of Corollary.6 also holds. We omit its proof since it is simple. Corollary.9. Under the assumptions of Proposition.8,.33 holds for T = T if v and r 1, r satisfy the following constraint { 1 v u T + r L 1 H e } 1 r H e 1 e C+8s ds C 1 e C+4T 5+N 4 = { O 5 if N =, O 6.5 if N = 3. We note that Proposition.8 and Corollary.9 only give polynomial order in 1 continuous dependence estimates for v u. In the next proposition, we derive some estimates for ϕ φ. Proposition.1. Under the assumptions of Corollary.9 there holds.39 T ϕs φs 6 5 H 1 ds C [ ˆξt ] t r 1 H e r H e 1 e C+8t s ds Moreover, for N =, if r t L Ω, there also holds.4 vt ut L + 1 t C 7 [ ˆξt ϕs φs L ds ] t + C ˆξt 1 v u e C+8t. L r 1 H e r H e 1 e C+8t s ds + C 7 ˆξt 1 v u e C+8t + L t r L ds. for all t [, T ]. Where ˆξt is defined by.34. Proof. From.36,.19, and the fact that u L C cf. [9, 6] we have for any χ H 1 Ω 1 θ, χ = w, χ + fv fu, χ r, χ w L χ L + C [ ] w L χ L + w 3 L 18 χ 5 L + 6 w L χ 4 L + r eh 1 χ L, which and the interpolation inequality w L 18 5 w 8 9 L 4 w 1 9 L

14 14 X. Feng and H. Wu yield.41 ] θt 6 5 H wt 5 L + C 6 5 [ wt L + wt 4L r t 6 5. eh 1.4 now follows from integrating.41 in t over [, T ], and appealing to.33 and Corollary.9. To show.4, adding.35 and.36 after setting ψ = w and χ = 1 θ, and using the Schwarz inequality we get 1 d dt w L + 1 θ L = r 1, w r, θ + 1 fv fu, θ r 1 eh 1 w L + r L θ L + C θ [ L w L + w 3 L + ].4 6 w L 4 1 θ L + C [ ] 3 w L + w 4 L + r 4 1 H e 1 + r L. Integrating.4 over [, T ], the desired estimate.4 follows from an application of.33 and Corollary.9. The proof is complete..3. An abstract framework for a posteriori estimates. In this section, we first recall an abstract framework given in [7] for deriving a posteriori estimates based on continuous dependence estimates of an underlying evolution equation. We refer readers to a recent survey paper by Cockburn [16] and the references therein for applications of a similar method to problems of hyperbolic conservation law. We then extend this abstract framework to mixed approximations of general evolution equations. Since the idea for deriving a posteriori error estimates essentially works for a large class of evolution problems, we shall present it in an abstract fashion. Let V be an Hilbert space and L be an operator from DL V, the domain of L, to V, the dual space of V. We consider the abstract evolution problem u t + Lu = r in Ω T, u = u in Ω. Suppose that u j is the unique solution of with respect to the data r j, u j for j = 1,, respectively. Assume that uj satisfy the continuous dependence estimate.45 u 1 u F r 1 r + Gu 1 u for some monotone increasing functionals F and G. Where stands for the standard norm in L l, T ; V for some 1 l. The following theorem was proved in [7]. Theorem.11. Let u denote the solution of , and u A be an approximation of u with the initial value u A. Suppose that problem satisfies the continuous dependence estimate.45, then there holds u u A F Ru A + Gu u A, Ru A := r ua t Lu A.

15 Adaptive methods for the Cahn-Hilliard equation 15 Remark.4. a. Clearly, the quantity Ru A is the residual of u A. This residual is often difficult to compute or too expensive to compute exactly. In practice, an upper bound for Ru A, which should be easy and cheap to compute, is sought and used to replace Ru A in F Ru A in the above a posteriori error estimate. In the next section we shall give such an estimate for conforming finite element approximations of the Cahn-Hilliard equation cf. [15, 18]. b. A posteriori error estimate.46 holds for any approximation u A of u, including non-computable abstract approximations cf. []. However, only computable approximations such as those obtained by finite element methods, finite difference methods, finite volume methods and spectral methods are of practical interests. The above a posteriori estimate can be easily extended to mixed approximations of problem We recall that a mixed formulation of seeks a pair of functions u, p V 1 V such that u t + L 1p = µ in Ω T, p L u = η in Ω T, u = u in Ω. Where {V i } i=1 are two Hilbert spaces. L i is some operator from DL i V i, the domain of L i, to Vi, the dual space of V i, which satisfies L = L 1 L. µ and η are two known functions which are appropriately chosen so that problem is equivalent to problem Suppose that u j, p j is the unique solution of with respect to the data µ j, η j, u j for j = 1,, respectively. Assume that uj, p j satisfy the following continuous dependence estimate.51 u 1 u 1 + p 1 p Φµ 1 µ +Ψη 1 η +Zu 1 u for some monotone increasing nonnegative functionals Φ, Ψ, and Z. Where i denotes the standard norm in L l, T ; V i for some 1 l. Then we have Theorem.1. Let u, p be the solution of.48-.5, and u A, p A be an approximation of u, p with the initial value u A. Suppose that problem satisfies the continuous dependence estimate.51, then there holds.5.53 u u A 1 + p p A ΦR 1 u A, p A + ΨR u A, p A + Zu u A, R 1 u A, p A := µ ua t L 1 p A, R u A, p A := η p A + L u A. Proof. Define µ A := ua t + L 1 p A, η A := p A L u A..5 follows easily from.51 with µ 1 = µ, µ = µ A, η 1 = η, η = η A, u 1 = u, and u = u A. We conclude this section by the following remark. Remark.5. The quantity {R i u A, p A } i=1 are the residuals of ua, p A, which are often difficult to compute or too expensive to compute exactly. In practice, an

16 16 X. Feng and H. Wu upper bound for R i u A, P A, which should be easy and cheap to compute, is sought and used to replace R i u A, p A in the terms ΦR 1 u A, p A and ΨR u A, p A of.5. In the next section we shall give such an estimate for mixed finite element approximations of the Cahn-Hilliard equation cf. [19, 6]. 3. A posteriori error estimates for finite element approximations. In this section we shall apply the abstract frameworks of the previous section to derive some practical a posteriori error estimates for conforming finite element approximations of the Cahn-Hilliard equation and for the Ciarlet-Raviart mixed finite element approximations of the Cahn-Hilliard equation [15, 6, 38]. As expected, the polynomial order in 1 continuous dependence estimate of Propositions.5.8 play a critical role. For N =, 3, let T h be a regular triangulation of Ω such that Ω = K T h K, K T h are tetrahedrons in the case N = 3. Recall that any element K T h is assumed to be closed. Let F h be the set of all faces sides in case of N =. For any K T h and τ F h, let h K and h τ denote the diameters of K and τ, respectively Conforming finite element methods. Let S h HE Ω be a conforming finite element space which consists of piecewise polynomials on T h satisfying the homogeneous Neumann condition. The continuous in time semi-discrete finite element discretization of is defined by seeking u h : [, T ] S h such that for t [, T ] 3.1 u h t, ψ h + 1 u h, ψ h + fuh, ψ h = ψh S h, with some starting value u h = u h S h satisfying Ω u hdx = Ω u dx. For t, T ], we define the residual r h t H Ω of uh by 3. u h t, ψ + u h, ψ + 1 fuh, ψ = r h t, ψ ψ H EΩ. Then 3.3 r h t, ψ h = ψ h S h. Remark 3.1. One can derive a priori error estimates of u h which only depends on 1 in low polynomial orders by using the nonstandard analysis of [6]. We refer interested readers to [6] for a detailed exposition. It is easy to see that Proposition.5, Proposition.7 and Theorem.11 all are valid if both v and u A are replaced by u h, and both r and Ru A are replaced by r h. Hence, we immediately obtain two a posteriori error estimates for u h u. As pointed out in Remark.4 a, for practical considerations, it is necessary to derive an upper bound for r h eh which is easy to compute. In this section we shall establish such a bound, which then leads to practical a posteriori error estimates for u h u. To the end, we need the following local approximation properties of conforming finite element spaces. Assumption 3.1. There exists a interpolant Π h form HE Ω to S h such that for any ψ HE Ω, K T h, and τ F h ψ Π h ψ L K Ch K ψ H e K, ψ Π h ψ L τ Ch3/ τ ψ H τ, ψ Π h ψ n L τ Ch 1/ τ ψ H τ,

17 Adaptive methods for the Cahn-Hilliard equation 17 where C is a constant only depending on the minimum angle of the mesh T h, K and τ are the union of all elements having non-empty intersection with K and τ, respectively. Remark 3.. It is not hard to show that Assumption 3.1 is fulfilled by the well-known confirming elements, including Argyris element and Bell s element cf. [15], and the interpolant Π h can be constructed by following the idea of Scott-Zhang interpolation [39]. For any K T h, introduce the element residual 3.4 R K t = u ht K t + u h t K 1 fu ht K. For any face τ F h of element K we define two kinds of residual jumps across τ. If τ is an interior face which is the common face between K and K, let 3.5 J τ t = u h t K u h t K n, Ĵτ t = u h t K u h t K. Here n denotes the unit outer normal vector to τ. If τ Ω is a boundary face, define 3.6 J τ t = u h t K n, Ĵ τ t = u h t K. For any K T h, let η K denote the following local error estimator 3.7 η K t = h K R K L K + τ K h 3 τ J τ L τ + h τ Ĵτ 1/. L τ Next we estimate the residual r h t in terms of η K t. Proposition 3.1. There exists a constant C, which depends only on the minimum angle of the mesh T h, such that 3.8 r h t H e Ω C ηk t. K T h Proof. By 3., 3.3, and integration by parts we obtain for any ψ HE Ω and ψ h S h r h t, ψ = r h t, ψ ψ h = u h t, ψ ψ h + u h, ψ ψ h + 1 fuh, ψ ψ h = { uh K T K t + u h 1 fu h ψ ψ h dx h + u h K n ψ ψ ψ ψ h 1 fu h } h + u h dσ + n K n ψ ψ hdσ. Since any interior face be a common face of two elements whose outer normal vectors to the face are opposite in direction, on noting that u h C 1 we get r h t, ψ = { R K ψ ψ h dx K T h K + 1 τ K K J τ tψ ψ h + Ĵτ t ψ ψ h n } dσ.

18 18 X. Feng and H. Wu Choosing ψ h = Π h ψ, the desired estimate 3.8 follows from an application of the Schwarz inequality and Assumption 3.1. The proof is complete. Combining Proposition 3.1,.5.7, and Corollary.6, we immediately obtain the following theorem which presents a posteriori error estimates for the finite element method. Theorem 3.. Suppose that u, u h 1, and that Ω u u h dx =. Let and C be the same as in Lemma.3, u and u h be the solutions of.1-. and 3.1, respectively. Define 3.9 ξ h t := 1 C 5+N e C+8t { 1 u h u L + 1 t e C+8s K T h η Ks ds }. Assume ξ h T >. Then, for any, ] and t [, T ], the following a posteriori error estimates hold u h t ut L + t ξ h t 1 1 u h u e C+8t L [ ] C t ξ h t 4 u h s us L + 1 u hs us 4 L 4 e C+8t s ds e C+8t s K T h η Ks ds u h t ut L + t u h s us L + 6 u hs us u h s us L ds u h u L + C 1 5 u h u e C+8t ξ h t L + C [ ] t e C+8t s η ξ h t Ks ds. K T h 3.. Ciarlet-Raviart mixed finite element methods. Let Vh m denote the P m m 1 conforming finite element subspace of H 1 Ω consisting of continuous piecewise m th order polynomial functions on T h cf. [15], that is, } 3.1 Vh m = {v h CΩ; v K h P m K K T h. Following [19, 6], the continuous in time semi-discrete mixed finite element method is defined to find u h, ϕ h : [, t] [V m h ] such that for t, T ] uh t, ψ h + ϕ h, ψ h = ψ h Vh m, 1 u h, χ h + fuh, χ h ϕh, χ h = χh Vh m,

19 Adaptive methods for the Cahn-Hilliard equation 19 with some suitable starting value u h = u h Vh m satisfying Ω u hdx = Ω u dx. We remark that the finite element spaces Vh m V h m is a family of stable mixed finite spaces known as the Ciarlet-Raviart mixed finite elements for the biharmonic problem cf. [15, 38], that means the following inf-sup condition holds 3.15 inf χ h V m h sup ψ h V m h ψ h, χ h ψ h H 1 χ h H 1 c for some h-independent constant c >. We also define the residual µ h t, η h t [ H 1 ] of u h, ϕ h by uh t, ψ + ϕ h, ψ = r 1 h t, ψ u h, χ + 1 fuh, χ ϕ h, χ = r h t, χ Clearly, there holds 3.18 r 1 h t, ψ h = r h t, χ h = ψ h, χ h [Vh m ]. For any K T h, we introduce the element residual ψ H 1 Ω, χ H 1 Ω, R 1 K t := du ht K ϕ h t K, dt R K t := 1 u h t K + fu ht K 1 ϕ ht. For any common face τ of K 1 K T h, we define the residual jumps across τ as 3. J 1 τ t = ϕ h t K1 ϕ h t K n 1, J τ t = u h t K1 u h t K n 1, where n 1 is the unit normal vector to τ pointing from K 1 to K. For any τ Ω which is a face of some element K, let 3.1 J 1 τ t = ϕ h t K n, J τ t = u h t K n. For any K T h, define the local error estimators with respect to K as follows 3. η j K t = h K 3.3 R j K L K + τ K 1 h τ J τ j L τ 1, j = 1,. Proposition 3.3. The following estimate holds for the residual r j h t r j h t C j η eh 1 K t, j = 1,, K T h where C is some constant which depends only on the minimum angle of the mesh T h.

20 X. Feng and H. Wu Proof. By and integration by parts we obtain that for any ψ, χ H 1 Ω and ψ h, χ h Vh m r 1 h t, ψ = r 1 h t, ψ ψ uh h = t, ψ ψ h + ϕ h, ψ ψ h = ϕ h u ht ϕ h ψ ψ h dx + K T K K n ψ ψ hdσ. h r fuh, χ χ h ϕh, χ χ h h t, χ = u h, χ χ h + 1 = uh + 1 fu h ϕ h χ χh dx + K T h K From the definitions , we conclude that 3.4 r j h t, ψ = R j K tψ ψ h + 1 K T h K τ K K τ u h n χ χ hdσ. J j τ tψ ψ h Choosing ψ h = Π h ψ, where Π h is the Scott-Zhang interpolant [39], then the desired estimate 3.3 follows from an application of the Schwarz inequality and following approximation properties of the Scott-Zhang interpolation ψ Π h ψ L K Ch K ψ H 1 e K, ψ Π hψ L τ Ch1/ τ ψ H1 τ where C is a constant only depending on the minimum angle of the mesh T h, K and τ are the union of all elements having non-empty intersection with K and τ, respectively. The proof is complete. Combining Proposition 3.3,.8 and Corollary.9, we immediately obtain the following theorem which presents a posteriori error estimates for the mixed finite element methods. Theorem 3.4. Suppose that u, u h 1, and that Ω u u h dx =. Let and C be the same as in Lemma.3, and u, ϕ and u h, ϕ h be the solutions of.7-.9 and , respectively. Define 1 η η K t = K t 1 + η K t, and 3.6 ˆξ h t := 1 C 5+N e C+8t { 1 v u t + L Assume ˆξ h T >. Then, for any, ], there hold u h t ut L + t ˆξ h t 1 1 u h u L e C+8t e C+8s 4 u h s us L K T h ηk s ds }. + 1 u hs us 4 L 4 e C+8t s ds [ + C ] t ˆξ h t e C+8t s K T h. ηk s ds,

21 3.8 T Adaptive methods for the Cahn-Hilliard equation 1 ϕ h s ϕs 6 5 H 1 ds C [ ] t ˆξ h t for all t [, T. e C+8t s K T h ηk s ds + C ˆξ 1 u h u e C+8t L h t 4. An adaptive algorithm. We now present an adaptive algorithm based on the technique of method of lines [5], i.e., we use the stiff ODE solver of NDF [4] which is a modification of BDF for temporal integration, and the conforming Argyris element for spatial discretization. The temporal errors are controlled by NDF and assumed to be sufficiently small that we concentrate solely on controlling spatial discretization errors. Our local a posteriori error estimates cf. Proposition 3.1 are used to refine and coarsen the meshes locally. The following adaptive algorithm is an improvement of the one proposed in [4] and is more suitable for computing the solution of the Cahn-Hilliard equation, which is smooth but contains a sharp moving front. Algorithm 4.1. For a given tolerance T OL, perform the following steps: i Determine an initial mesh T and initial approximation u h such that u h u H < T OL max u h H, 1. Set i =. ii Do temporal integration N= 15 steps. Denote by t i+1 the current time, and by n i the number of elements in K i. iii Calculate the posteriori error estimate at t i+1 : n i E i+1 = η K j j=1 1/, η Kj = η Kj / max u h t i+1 H, 1. Assume that η K1 η K η Kni. iv If E i+1 > T OL, then choose nr such that nr = min j; η K j 1 η n i K ni, η K l 4 E 3 i+1 T OL. And refine elements K nr,, K ni to obtain a new mesh denoted also by T i. Redo temporal integration from t i to t i+1 on the finer mesh. Then go to iii. v If E i+1 T OL, then choose nc such that nc = max { j; j l=1 l=j η K l 1 T OL E } i And coarsen elements K 1,, K nc to obtain a new mesh denoted by T i+1. Set i = i + 1, go to ii. In Section 6, we shall provide some numerical tests to gauge performance of the above adaptive algorithm and our a posteriori error estimates. Our numerical tests show that the algorithm and the error estimators work remarkably well for the Cahn- Hilliard equation.

22 X. Feng and H. Wu 5. Approximation of the Hele-Shaw flow. Let {Γ t } t denote the zero level sets of the solution u to the Cahn-Hilliard problem , and {Γ,h t } t denote the zero level sets of the numerical solution u h to the scheme 3.1. Note that we have put back the super-index on both u and u h in this section. An interesting and hard problem is to establish the convergence of the numerical interface Γ,h t to the true interface Γ t of the Hele-Shaw problem, and also to derive an a posteriori error estimate for them. In the following we shall explain that this can be done in a similar way to that used to derive a priori error estimates for the numerical interface in [6]. As for all phase field models, the convergence of the numerical interface to the interface of the limiting problem is usually proved in two steps. First, one establishes the convergence of Γ t to Γ t, Second, one proves the convergence of Γ,h t to Γ t. A triangle inequality then immediately implies the convergence of Γ,h t to Γ t. For the Cahn-Hilliard equation, we recall that the required first step was already proved in []. In particular, we cite the following theorem of []. Theorem 5.1. Let Ω be a given smooth domain and Γ be a smooth closed hypersurface in Ω. Suppose that the Hele-Shaw problem starting from Γ has a smooth solution w, Γ := t T Γ t {t} in the time interval [, T ] such that Γ t Ω for all t [, T ]. Then there exists a family of smooth functions {u x} < 1 which are uniformly bounded in, 1] and x, t Ω T, such that if u solves the Cahn-Hilliard equation with the initial condition u, t = u, then Where i ii lim u x, t = { 1 if x, t O 1 if x, t I uniformly on compact subsets, 1 lim fu u x, t = wx, t uniformly on Ω T. I := {x, t Ω [, T ] ; dx, t < }, O := {x, t Ω [, T ] ; dx, t > }, and dx, t denotes the signed distance function to Γ t. Next, we shall prove an a posteriori convergence result for the distance between {Γ t } t and {Γ,h t } t, in particular, the estimate allows one to adjust the mesh size h such that this distance is as small as one wishes before the onset of singularities. Theorem 5.. Let t denote the first time when the classical solution of the Hele-Shaw problem has a singularity. Suppose that Γ = {x Ω; u x = } is a smooth hypersurface compactly contained in Ω, and let ζ h t be same as in Theorem 3.. Then, for any δ, 1, there exists a constant ˆ > such that for t < t sup { distx, Γ t } δ, ˆ uniformly on [, T ], x Γ,h t provided that the mesh size h and the starting value u h satisfy h N { u u h L + h N I h u u L < δ 4, } < δ 4, C 5 ζ h t e4+ct 1 u u h L { C [ ] T ζ h t e C+8t s K T h η Ksds } 1 < δ 4,

23 Adaptive methods for the Cahn-Hilliard equation 3 where I h denotes standard nodal interpolation operator into the finite element space S h cf. [15]. Proof. First, we prove that u h converges uniformly to 1 on every compact subset of O. Let A be a compact subset of O, for any x, t A, by the triangle inequality we get 5.4 u hx, t 1 u h u L + u 1. It follows from the inverse inequality, Theorem 3., and the assumptions that 5.5 u h u L u h I h u L + I h u u L h { N u h u L + u I h u L } + Ih u u L 3δ 4, which together with 5.4, and Theorem 5.1 imply that there exists > such that 5.6 u hx, t 1 δ,, x, t A. Similarly, we can show that u h converges uniformly to 1 on every compact subset of I, that is, there exists ˆ, such that for any compact subset B of I there holds 5.7 u hx, t + 1 δ, ˆ, x, t B. Define the open tabular neighborhood N δ of width δ of Γ t as 5.8 N δ := { x, t Ω T ; dx, t < δ }. Let A and B now denote the complements of N δ in O and I, respectively, that is, A = O \ N δ, B = I \ N δ. Note that A is a compact subset of O and B is a compact subset of I. Hence, it follows from 5.6 and 5.7 that for any, ˆ u hx, t 1 δ x, t A, u hx, t + 1 δ x, t B. Now for any t [, T ] and x Γ,h t, since u h x, t =, we have u hx, t 1 = 1, u hx, t + 1 = 1. Evidently, 5.9 and 5.11 imply that x, t A, and 5.1 and 5.1 says that x, t B. Hence x, t must reside in the tubular neighborhood N δ. Since t is an arbitrary number in [, T ] and x is an arbitrary point on Γ,h t, therefore, for any, ˆ 5.13 sup x Γ,h t distx, Γt δ uniformly on [, T ]. The proof is complete.

24 4 X. Feng and H. Wu 6. Numerical Experiments. We shall present a few numerical tests in this section to gauge the performance of the proposed adaptive algorithm and a posteriori error estimators. These tests indicate that the algorithm works very well for the Cahn-Hilliard equation. In all tests to be given in the following, we take Ω = [ 1, 1]. Test 1: Consider the Cahn-Hilliard equation with the following initial condition 6.1 u x, y = tanh x.3 + y.5 / tanh x y.3 /. Here tanhx = ex e x e x + e x. Figure 6.1 displays the graph of the initial function u and its zero level set, which encloses two circles with radii.5 and.3, respectively. It also shows the initial mesh and computed initial zero level set Γ.1,h. Figure 6. shows snapshots of the solution and its zero level set of the Cahn-Hilliard equation and the adaptive mesh on which the solution is computed at 15 different time steps. =.1 and T OL =. are used in the simulation. As expected, the fine mesh follows the zero level set as it moves. We also note that the number of elements in the initial mesh T is 3, 674, the minimum area of the elements is If a uniform mesh is used, we need , 14 elements and about 1, 18, DOFs. Figure 6.3 a shows the zero level sets of the adaptive finite element solutions at t =.1, computed by using =.1 and three different tolerances T OL =.1,. and.4. The difference of the three curves is almost invisible, which implies that we do not need to impose a stringent smallness constraint on the initial error and the residual cf. Corollary.6, and that the continuous dependence estimate of Proposition.5 may be improved. If we zoom in at the left tip of the curves in Figure 6.3 a, we then find that the distance between the zero level sets for T OL =.4 and. is about.173, and the distance between the zero level sets for T OL =. and.1 is about.4 see Figure 6.3 b. Since the DOFs at time.1 with respect to T OL =.1,. and.4 are N.1 = 1565, N. = 9766 and N.4 = 5995, respectively, we have 1/N. 1/N.1 1/N.4 1/N Hence, the rate of convergence of the zero level set of the adaptive finite element solution is about O1/N. Figure 6.3 c shows the zero level sets of the adaptive finite element solution at time.1, computed by using T OL =. and =.8,.4,. and.1, respectively. Test : Consider the Cahn-Hilliard equation with the initial condition 6. u x, y = tanh x.3 + y. / tanh x y. / tanh x + y.3. / tanh x + y +.3. /. Figure 6.4 displays the graph of the initial function u and its zero level set, which encloses four circles with radius.. It also shows the initial mesh and computed initial zero level set Γ.1,h. Figure 6.5 shows snapshots of the solution and its zero level set of the Cahn-Hilliard equation and the adaptive mesh on which the solution is computed at 15 different time steps. =.1 and T OL =. are used in the simulation. As expected, the fine mesh follows the zero level set as it moves. We also

25 Adaptive methods for the Cahn-Hilliard equation 5 Fig The profile of u and its zero level set of Test 1 note that the number of elements in the initial mesh T is 5, the minimum area of the elements is If a uniform mesh is used, we need , 768 elements and about 148, DOFs. Test 3: Consider the Cahn-Hilliard equation with the following initial condition 6.3 u x, y = tanh x + y.15 / tanh x.31 + y.15 / tanh x y.15 / tanh x + y / tanh x + y / tanh x.31 + y / tanh x.31 + y / tanh x y / tanh x y /. Figure 6.6 displays the graph of the initial function u and its zero level set, which encloses nine circles with radius.15. It also shows the initial mesh and computed initial zero level set Γ.1,h. Figure 6.7 shows snapshots of the solution and its zero level set of the Cahn-Hilliard equation and the adaptive mesh on which the solution is computed at 15 different time steps. =.1 and T OL =. are used in the simulation. As expected, the fine mesh follows the zero level set as it moves. We also note that the number of elements in the initial mesh T is 4, 7, the minimum area of the elements is If a uniform mesh is used, we need , 7 elements and about 59, DOFs. REFERENCES [1] S. Adjerid and J. E. Flaherty. Second-order finite element approximations and a posteriori error estimation for two-dimensional parabolic systems. Numer. Math., 531-: , [] N. D. Alikakos, P. W. Bates, and X. Chen. Convergence of the Cahn-Hilliard equation to the Hele-Shaw model. Arch. Rational Mech. Anal., 18:165 5, [3] N. D. Alikakos and G. Fusco. The spectrum of the Cahn-Hilliard operator for generic interface in higher space dimensions. Indiana Univ. Math. J., 4: , [4] S. Allen and J. W. Cahn. A microscopic theory for antiphase boundary motion and its application to antiphase domain coarsening. Acta Metall., 7: , 1979.

26 6 X. Feng and H. Wu Fig. 6.. Snapshots of computed solutions and adaptive meshes for Test 1 [5] I. Babuška, M. Feistauer, and P. Šolín. On one approach to a posteriori error estimates for evolution problems solved by the method of lines. Numer. Math., 89:5 56, 1. [6] J. W. Barrett, J. F. Blowey, and H. Garcke. On fully practical finite element approximations of degenerate Cahn-Hilliard systems. MAN Math. Model. Numer. Anal., 354: , 1. [7] P. W. Bates and P. C. Fife. The dynamics of nucleation for the Cahn-Hilliard equation. SIAM J. Appl. Math., 534:99 18, [8] S. C. Brenner and L. R. Scott. The mathematical theory of finite element methods. Springer- Verlag, New York, [9] L. A. Caffarelli and N. E. Muler. An L bound for solutions of the Cahn-Hilliard equation. Arch. Rational Mech. Anal., 133:19 144, [1] G. Caginalp. An analysis of a phase field model of a free boundary. Arch. Rational Mech. Anal., 93:5 45, [11] J. W. Cahn and J. E. Hilliard. Free energy of a nonuniform system I. Interfacial free energy. J. Chem. Phys., 8:58 67, [1] X. Chen. Spectrum for the Allen-Cahn, Cahn-Hilliard, and phase-field equations for generic interfaces. Comm. Partial Differential Equations, 197-8: , [13] X. Chen. Global asymptotic limit of solutions of the Cahn-Hilliard equation. J. Differential Geom., 44:6 311, [14] G. Caginalp and X. Chen. Convergence of the phase field model to its sharp interface limits. European J. Appl. Math., 94: , [15] P. G. Ciarlet. The finite element method for elliptic problems. North-Holland Publishing Co.,

27 Adaptive methods for the Cahn-Hilliard equation 7 a b c Fig Convergence of numerical interface for Test 1. Fig The profile of u and its zero level set of Test Amsterdam, Studies in Mathematics and its Applications, Vol. 4. [16] B. Cockburn. Continuous dependence and error estimation for viscosity methods. Acta Numerica, 1:17 18, 3. [17] Q. Du and R. A. Nicolaides. Numerical analysis of a continuum model of phase transition. SIAM J. Numer. Anal., 85:131 13, [18] C. M. Elliott and D. A. French. A nonconforming finite-element method for the two-dimensional Cahn-Hilliard equation. SIAM J. Numer. Anal., 64:884 93, [19] C. M. Elliott, D. A. French, and F. A. Milner. A second order splitting method for the Cahn- Hilliard equation. Numer. Math., 545:575 59, [] C. M. Elliott and Z. Songmu. On the Cahn-Hilliard equation. Arch. Rational Mech. Anal., 964: , [1] K. Eriksson and C. Johnson. Adaptive finite element methods for parabolic problems. IV. Nonlinear problems. SIAM J. Numer. Anal., 36: , [] X. Feng. Fully discrete finite element approximations of the Navier-Stokes-Cahn-Hilliard diffuse interface model for two-phase fluid flows, SIAM J. Numer. Anal., 44:149 17, 6 [3] X. Feng and O. A. Karakashian. Fully discrete dynamic mesh discontinuous Galerkin methods for the Cahn-Hilliard equation of phase transition. Math. Comp., 76: , 7. [4] X. Feng and A. Prohl. Analysis of a fully discrete finite element method for the phase field model and approximation of its sharp interface limits. Math. Comp., 73: , 3. [5] X. Feng and A. Prohl. Error analysis of a mixed finite element method for the Cahn-Hilliard equation. Numer. Math., 99:47 84, 4. [6] X. Feng and A. Prohl. Numerical analysis of the Cahn-Hilliard equation and approximation for the Hele-Shaw problem. Interfaces and Free Boundaries, 7:1 8, 5. [7] X. Feng and H. Wu. A posteriori error estimates and an adaptive finite element algorithm for

28 8 X. Feng and H. Wu Fig Snapshots of computed solutions and adaptive meshes for Test Fig The profile of u and its zero level set of Test 3 the Allen-Cahn equation and the mean curvature flow. J. Sci. Comput., 4:11 146, 5. [8] P. Fife. Models for phase separation and their mathematics. Electronic J. of Diff. Eqns, 48:1 6,. [9] G. Fix. Phase field method for free boundary problems. In A. Fasano and M. Primicerio, editors, Free Boundary Problems, pages Pitman, London, [3] D. Jacqmin. Calculation of two-phase Navier-Stokes flows using phase-field modeling. J. Comp. Phys., 115:96 17, 1999.