arxiv: v3 [math.na] 21 Dec 2013

Transcription

1 Analysis of a Mixed Finite Element Metod for a Can-Hilliard-Darcy-Stokes System Amanda E. Diegel, Xiaobing H. Feng, Steven M. Wise arxiv: v3 [mat.na] 1 Dec 013 December 4, 013 Abstract In tis paper we devise and analyze a mixed finite element metod for a modified Can- Hilliard equation coupled wit a non-steady Darcy-Stokes flow tat models pase separation and coupled fluid flow in immiscible binary fluids and diblock copolymer melts. Te time discretization is based on a convex splitting of te energy of te equation. We prove tat our sceme is unconditionally energy stable wit respect to a spatially discrete analogue of te continuous free energy of te system and unconditionally uniquely solvable. We prove tat te pase variable is bounded in L 0, T ; L and te cemical potential is bounded in L 0, T ;, for any time and space step sizes, in two and tree dimensions, and for any finite final time T. We subsequently prove tat tese variables converge wit optimal rates in te appropriate energy norms in bot two and tree dimensions. Keywords: Can-Hilliard equation, Darcy-Stokes equation, diblock copolymer, mixed metods, convex splitting, energy stability, convergence, nonlinear multigrid. 1 Introduction Let Ω R d, d =, 3, be an open polygonal or polyedral domain. We consider te following modified Can-Hilliard-Darcy-Stokes problem wit natural and no-flux/no-flow boundary conditions [5, 4, 19, 0, 5, 6]: t φ = ε µ uφ, in Ω T, 1.1a µ = ε 1 φ 3 φ ε φ + ξ, in Ω T, 1.1b ξ = θ φ φ 0, in ΩT, 1.1c ω t u λ u + ηu + p = γµ φ, in Ω T, 1.1d u = 0, in Ω T, 1.1e n φ = n µ = n ξ = 0, u = 0, on Ω 0, T, 1.1f were φ 0 = 1 Ω Ω φ 0xdx. We assume tat te model parameters satisfy ε, γ, λ > 0 and η, ω, θ 0. In te singular limit ω = 0, we drop te initial conditions for u. We remark tat it is possible to replace te rigt-and-side of Eq. 1.1d, te excess forcing due to surface tension, by te term γφ µ. Te equivalence of te resulting PDE model wit tat above can be seen by redefining te Department of Matematics, Te University of Tennessee, Knoxville, TN diegel@mat.utk.edu Department of Matematics, Te University of Tennessee, Knoxville, TN xfeng@mat.utk.edu Department of Matematics, Te University of Tennessee, Knoxville, TN swise@mat.utk.edu 1

2 pressure appropriately. Te latter form is wat was used in te recent paper [6]. Te model 1.1a 1.1f can be used to describe te flow of a very viscous block copolymer fluid [5, 4, 19, 0, 5, 6]. In Figure 1, we sow simulation snapsots using te equations to describe te pase separation of a block-copolymer in sear flow. Te parameters are given in te caption. t = 3 t = 40 t = 80 t = 10 t = 160 t = 00 Figure 1: Pase separation of a two-dimensional, very viscous block-copolymer fluid in sear flow. Te parameters are Ω = 0, 8 0, 4, ɛ = 0.0, γ = 0.4, θ = 15000, ω = 0, η = 0, φ 0 = 0.1. Te sear velocity on te top and bottom is.0, respectively. Periodic boundary conditions are assumed in te x-direction. Te time unit referenced above is = 0.0. Te long-range θ term suppresses pase separation and coarsening, relative to te case θ = 0, and relatively long and tin pase domains emerge. Tis simulation compares well wit oter studies [5, 6] tat use a different dynamic density functional approac. Wit a sligtly larger value of θ, te pase domains remain as dots and can form into exagonal patterns, as in [6]. A weak formulation of 1.1a 1.1f may be written as follows: find φ, µ, ξ, u, p suc tat φ L 0, T ; H 1 Ω L 4 0, T ; L Ω, 1. t φ 0, T ; H 1 Ω, 1.3 µ 0, T ; H 1 Ω, 1.4 u 0, T ; H 1 0Ω L 0, T ; Ω 1.5 t u 0, T ; H 1 Ω 1.6 p 0, T ; 0Ω, 1.7

3 and tere old for almost all t 0, T were t φ, ν + ε a µ, ν + b φ, u, ν = 0 ν H 1 Ω, 1.8a µ, ψ ε a φ, ψ ε 1 φ 3 φ, ψ ξ, ψ = 0 ψ H 1 Ω, 1.8b a ξ, ζ θ φ φ 0, ζ = 0 ζ H 1 Ω, 1.8c ω t u, v + λ a u, v + η u, v c v, p γ b φ, v, µ = 0 v H 1 0Ω, 1.8d c u, q = 0 q 0Ω, 1.8e a u, v := u, v, b ψ, v, ν := ψ v, ν, c v, q := v, q, 1.9 wit te compatible initial data φ0 = φ 0 H NΩ := { v H Ω n v = 0 on Ω }, 1.10 u0 = u 0 V := { v H 1 0Ω c v, q = 0, q 0Ω } Here we use te notations H 1 Ω := H 1 Ω, H 1 0 Ω := [ H 1 0 Ω] d, H 1 Ω := H 1 0 Ω, and, is te duality paring between H 1 and H 1 in te first instance and te duality paring between H 1 Ω and H 1 0 Ω in te second. Trougout te paper, we use te notation χt := χ, t X, wic views a spatiotemporal function as a map from te time interval [0, T ] into an appropriate Banac space, X. Te system 1.8a 1.8e is mass conservative: for almost every t [0, T ], φt φ 0, 1 = 0. Tis observation rests on te fact tat bφ, u, 1 = 0, for all φ Ω and all u V. Observe tat te omogeneous Neumann boundary conditions associated wit te pase variables φ, µ, and ξ are natural in tis mixed weak formulation of te problem. Te existence of weak solutions is a straigtforward exercise using te compactness/energy metod. See, for example, [11]. To define te energy for tis system, we need a norm on a subspace of H 1 Ω. Wit 0 Ω denoting tose functions in L Ω wit zero mean, we set H 1 Ω = H 1 Ω 0Ω and H 1 Ω := { v H 1 Ω v, 1 = 0 }. 1.1 We define a linear operator T : H 1 Ω H 1 Ω via te following variational problem: given ζ H 1 Ω, find Tζ H 1 Ω suc tat a Tζ, χ = ζ, χ χ H 1 Ω T is well-defined, as is guaranteed by te Riesz Representation Teorem. Te following facts are easily establised. Lemma 1.1. Let ζ, ξ H 1 Ω and, for suc functions, set ζ, ξ H 1 := a Tζ, Tξ = ζ, Tξ = Tζ, ξ. 1.14, H 1 defines an inner product on H 1 Ω, and te induced norm is equal to te operator norm: ζ H 1 := Consequently, for all χ H 1 Ω and all ζ H 1 Ω, ζ, χ ζ, ζ H 1 = sup χ H χ 1 ζ, χ ζ H 1 χ

4 Furtermore, for all ζ 0 Ω, we ave te Poincaré type inequality were C > 0 is te usual Poincaré constant. Consider te energy ζ H 1 C ζ, 1.17 Eu, φ = ω γ u + 1 φ 1 + ε 4ε φ + θ φ φ 0 H 1 = ω γ u + 1 4ε φ 4 L 4 1 ε φ + Ω 4ε + ε φ + θ φ φ 0, 1.18 H 1 wic is defined for all u Ω and φ A := { φ H 1 Ω φ φ 0, 1 = 0 }. Clearly, if θ 0, ten Eu, φ 0 for all u Ω and φ A. For arbitrary θ R, ε > 0, u Ω, and φ A, tere exist positive constants M 1 = M 1 ε, θ and M = M ε, θ suc tat 0 < M 1 u + φ H 1 Eu, φ + M It is straigtforward to sow tat weak solutions of 1.8a 1.8e dissipate te energy In oter words, 1.1a 1.1f is a conserved gradient flow wit respect to te energy Precisely, for any t [0, T ], we ave te energy law λ Eut, φt + γ us + η γ us + ε µs ds = Eu 0, φ Formally, one can also easily demonstrate tat µ in 1.1b is te variational derivative of E wit respect to φ. In symbols, µ = δ φ E. Te energy typically prefers te fluid pase states φ ±1 te pure pases separated by a diffuse interface of small tickness ɛ. However, te long-range energy described by te last term can cange tis picture [, 4, 5, 19]. Specifically, wen θ > 0, te energy term θ φ φ 0 in H is convex and stabilizing, and tis energy tends to stabilize or suppress bot te pase separation and te coarsening processes. Tis is observed in Fig. 1. If θ < 0 te term is concave and destabilizing. In tis case, te process of pase separation will be enanced. Herein we assume tat θ 0. In te case tat u 0 wic occurs if γ = 0 te model 1.1a 1.1f reduces to te modified Can-Hillard equation [5, 4] wic was analyzed by Aristotelous et al. []. Teir sceme was comprised of a convex splitting metod for time discretization and a discontinuous galerkin finite element metod for space discretization. Tey sowed tat teir mixed, fully discrete sceme was unconditionally energy stable, unconditionally uniquely solvable, and optimally convergent in te energy norm in two-dimensions. Collins et al. [6] used a convex-splitting metod in time and a finite difference metod in space to devise an energy stable metod for a system similar to 1.1a 1.1f, toug tey did not prove convergence or error stimulates. In te present work, we wis to generalize bot [, 6], in a certain sense, and prove convergence and optimal error estimates for a convex-splitting sceme for 1.1a 1.1f using a standard Galerkin finite element discretization of space, as opposed to te discontinuous Galerkin finite element setting used in [] or te finite difference setting used in [6]. We remark tat, as in [], te θ growt term makes te analysis somewat different from oter works involving te Can- Hilliard equations. Specifically, analysis of tis term requires te introduction of a discrete negative norm as in []. 4

5 Te goal of tis paper is to construct a fully discrete, unconditionally energy stable, unconditionally uniquely solvable, and convergent mixed finite element sceme for te Can-Hilliard- Darcy-Stokes system 1.1a 1.1f. Energy stability means tat te discrete solutions dissipate te energy in time, in analogy wit te PDE model. Te convex-splitting approac tat we will employ was popularized by Eyre [8] and as been used by many oters [6, 7, 11, 3, 4]. In te convex-splitting framework, one treats te contribution from te convex part implicitly and te contribution from te concave part explicitly. Tis treatment promotes te sceme s energy stability and unique solvability, bot properties being unconditional wit respect to te time and space step sizes. Galerkin numerical metods for te Can-Hilliard-Navier-Stokes and te Allen-Can-Navier- Stokes ave been investigated in te recent papers [1, 9, 10, 11, 15, 16, 1, 13, 1, ]. Te rigorous analyses of numerical scemes mostly for te matced-density CHNS system can be found in [9, 10, 11, 15, 16, 1, 1, ]. Specifically, tere ave been convergence proofs for tese scemes, but all of tese analyses focus on two types of limited convergence results: i error estimates and convergence rates for te semi-discrete setting time continuous [10, 15] and/or ii abstract convergence results wit no convergence rates [10, 11, 1, 15]. Optimal error estimates for te fully discrete scemes are lacking in te literature. Kay et al. develop bot a semi-discrete and a fully discrete mixed finite element metod for te Can-Hilliard-Navier-Stokes system of equations. For te semi-discrete model, tey were able to sow unconditional stabilities resulting from te discrete energy law. For te fully discrete model, tey use a first order implicit-explicit Euler metod to discretize time and were able to sow conditional energy stability, wit a restriction on te time step. Tey were able to obtain optimal error convergence rates for te semi-discrete model, but only an abstract convergence for te fully discrete model. In [1], Grün proves te abstract convergence of a fully discrete finite element sceme for a diffuse interface model for two-pase flow of incompressible, viscous fluids wit different mass densities. No convergence rates were presented in is paper. Feng [9] presented a fully discrete mixed finite element metod for te Can-Hilliard-Navier-Stokes system of equations. Te time discretization used is a first order implicit Euler wit te exception of a stabilization term wic is treated explicitly. Conditional stability for te basic energy law is developed along wit abstract convergence of te finite element model to te PDE model. However, no additional stability estimates are presented beyond te estimates acieved from te energy law. Feng et al. [10] develop bot a semi-discrete and fully discrete finite element metod model for te Non-steady-Stokes-Allen-Can system of equations. For bot te semi-discrete and fully discrete models, conditional energy stability is developed. Optimal error estimates are obtained for te semidiscrete sceme time-continuous wile abstract convergence is proven for te fully discrete model. Sen and Yang [] derived a pase field model for two-pase incompressible flows wit variable density witout assuming a small density ratio and constructed several efficient time discretization scemes. For eac of te scemes, a discrete energy law similar to te continuous energy law is establised. Finally, tey present several numerical results to illustrate te effectiveness and correctness of teir numerical scemes. However, no convergence or error analyses are presented in te paper. Te work presented in tis paper on te modified Can-Hilliard-Darcy-Stokes system is unique in te following sense. We are able to prove unconditional unique solvability, unconditional energy stability, and optimal error estimates for a fully discrete finite element sceme in tree dimensions. Specifically, te stability and solvability statements we prove are completely unconditional wit respect to te time and space step sizes. In fact, all of our a priori stability estimates old completely independently of te time and space step sizes. We use a bootstrapping tecnique to leverage te energy stabilities to acieve unconditional L 0, T ; L Ω stability for te pase field variable φ 5

6 and unconditional L 0, T ; Ω stability for te cemical potential µ. Wit tese stabilities in and we are able to prove optimal error estimates for φ and µ in te appropriate energy norms. Te paper is organized as follows. In Section, we define our mixed finite element convexsplitting sceme and prove te unconditional solvability and stability of te sceme. In Section 3, we prove error estimates for te sceme under suitable regularity assumptions for te PDE solution. In Section 4, we present te results of numerical tests tat confirm te rates of convergence predicted by te error estimates. A Mixed Finite Element Convex Splitting Sceme.1 Definition of te Sceme Let M be a positive integer and 0 = t 0 < t 1 < < t M = T be a uniform partition of [0, T ], wit = t i t i 1, i = 1,..., M. Suppose T = {K} is a conforming, sape-regular, quasi-uniform family of triangulations of Ω. For r Z +, define M r := { v C 0 Ω v K P r K, K T } H 1 Ω and M r,0 := M r H 1 0 Ω. For a given positive integer q, we set S := M q ; S := S 0 Ω; X := { v [ C 0 Ω ] } } d vi M q+1,0, i = 1,..., d ; V := {v X v, w = 0, w S. Note tat V V, in general. Our mixed convex-splitting sceme is defined as follows: for any 1 m M, given φ m 1 S, u m 1 X, find φ m, µm S, ξ m, pm S, and u m X, suc tat were δ φ m, ν + ε a µm, ν + b φ m 1, u m, ν = 0, ν S,.1a ε 1 φ m 3 φ m 1, ψ + ε a φ m, ψ µm, ψ + ξm, ψ = 0, ψ S,.1b a ξ m, ζ θ φ m φ 0, ζ = 0, ζ S,.1c δ u m, v + λ a um, v + η um, v c v, pm γ b φ m 1, v, µ m = 0, v X,.1d c u m, q = 0, q S,.1e δ φ m Te operator R : H 1 Ω S is te Ritz projection: := φm φm 1, φ 0 := R φ 0, u 0 := P u 0.. a R φ φ, χ = 0, χ S, R φ φ, 1 = 0..3 Te operator P, P : V 0 V S is te Darcy-Stokes projection: λ a P u u, v + η P u u, v c v, P p p = 0, v X,.4 c P u u, q = 0, q S..5 Remark.1. To sorten te presentation, we ave set ω = 1 appearing in 1.1d. We remark tat te more general case ω > 0 can be considered in te analysis witout any significant canges. Additionally, wit some sligt modifications, te singular limit case, ω = 0, can be covered in te analysis tat follows. In tis case, one looses te stability u L 0, T ; Ω. For perspective, te analysis of Feng et al. [10] requires u L 0, T ; Ω. 6

7 Remark.. Note tat φ 0 φ 0, 1 = 0, were φ 0 is te initial mass average, wic in te typical case, satisfies φ 0 1. We also point out tat, appealing to.1a and.1e, we ave φ m φ 0, 1 = 0, for all m = 1,..., M, wic follows because a µ, 1 = 0, for all µ S, and b φ, u, 1 = 0, for all φ S and all u V. Remark.3. Te elliptic projections are used in te initialization for simplicity in te fortcoming analysis. We can use oter simpler projections in te initialization step, as long as tey ave good approximation properties. Remark.4. Note tat it is not necessary for solvability and some basic energy stabilities tat te µ space and te φ space be equal. However, te proofs of te iger-order stability estimates, in particular tose in Lemma.14, do require te equivalence of tese spaces. Mass conservation of te sceme requires some compatibility of te p space wit tat of te φ space, to obtain b φ, u, 1 = 0. For te flow problem we ave cosen te inf-sup-stable Taylor-Hood element. One can also use te simpler MINI element. Recall tat te stability of te Taylor-Hood element typically requires tat te family of meses T as te property tat no tetraedron/triangle in te mes as more tan one face/edge on te boundary [3]. ϕ m 1 and Now, we can define a sceme tat is equivalent to tat above. For any 1 m M, given S, u m 1 X, find ϕ m, µm S, ξ m S, u m,0, um,1 X, p m,0, pm,1 S, suc tat λ a u m,0, v + η + 1 u m,0, v c v, p m,0 1 u m 1, v = 0, v X,.6a c u m,0, q = 0, q S,.6b were ε 1 ϕ m + φ 0 3 ϕ m 1 ϕ m ϕ m 1,, ν + ε a µ m, ν + b ϕ m 1, u m,1 λ a u m,1, v + η + 1 u m,1, v c, ν = 0, ν S,.7a φ 0, ψ + ε a ϕ m, ψ µm, ψ + ξm, ψ = 0, ψ S,.7b ϕ m 1, v, p m,1 a ξ m, ζ θ ϕm, ζ = 0, ζ S,.7c γ b ϕ m 1, v, µ m = 0, v X,.7d c u m,1, q = 0, q S,.7e := ϕ m 1 Q ϕ m 1 u m,0 S,.8 and Q : Ω S is te projection, i.e., Q ν ν, χ = 0, for all χ S. For te initial data, we set ϕ 0 := R φ 0 φ 0, u 0 := P u 0..9 Hence, ϕ 0, 1 = 0. By setting ν 1 in.1a and.7a and observing tat a ϕ, 1 = 0 for all ϕ S, one finds tat, provided solutions for te two scemes exist, tey are related via ϕ m + φ 0 = φ m, ϕm S, u m = um,0 + u m,1 X, p m = pm,0 + p m,1 S.10 for all 1 m M. Te variables µ m and ξm are te same as before. Note tat te average mass of µ m will cange wit te time step m, i.e., µm, 1 µ m 1, 1, in general. 7

8 Remark.5. Te utility of tis new, equivalent formulation is tat we can straigtforwardly sow its unconditional unique solvability by convex optimization metods. Our arguments require tat te velocity u m,1 is a linear function of µ m, as is te case in.7d. See Lemma.7. Tis was not te case in.1d, were u m is an affine function of µm.. Unconditional Solvability In tis subsection, we sow tat our scemes are unconditionally uniquely solvable. We begin by defining some macinery for te solvability, as well as te stability and convergence analyses discussed later. First, consider te invertible linear operator T : S S defined via te following variational problem: given ζ S, find T ζ S suc tat a T ζ, χ = ζ, χ χ S..11 Tis clearly as a unique solution because a, is an inner product on S. We now wis to define a mes-dependent 1 norm, i.e., a discrete analogue to te H 1 norm. We omit te details of te next result, te discrete analog of Lemma 1.1, for brevity. Lemma.6. Let ζ, ξ S and set ζ, ξ 1, := a T ζ, T ξ = ζ, T ξ = T ζ, ξ..1, 1, defines an inner product on S, and te induced negative norm satisfies ζ 1, := Consequently, for all χ S and all ζ S, Te following Poincaré-type estimate olds: ζ, χ ζ, ζ 1, = sup χ S χ ζ, χ ζ 1, χ..14 ζ 1, C ζ, ζ S,.15 for some C > 0 tat is independent of. Finally, if T is globally quasi-uniform, ten te following inverse estimate olds: ζ C 1 ζ 1,, ζ S,.16 for some C > 0 tat is independent of. Lemma.7. Given ϕ m 1 S define te bilinear form l m : S S R via l m µ, ν := ε a µ, ν + b ϕ m 1, u, ν,.17 were, for eac fixed µ S, u = uµ X and p = pµ S solve λ a u, v + η + 1 u, v c v, p γ b ϕ m 1, v, µ = 0, v X,.18a c u, q = 0, q S..18b Ten l m, is a coercive, symmetric bilinear form, and terefore, an inner product on S. 8

9 Proof. Te solvability and stability of te flow problem follows from te fact tat X, S form a stable pair for te Darcy-Stokes problem. Now, let µ i S, i = 1,. Set u i = uµ i X and p i = pµ i S, i = 1,, wit u and p defined in.18a and.18b above. Ten wit α, β {1, }, λ a u α, u β + η + 1 u α, u β c u β, p α γ b ϕ m 1, u β, µ α = 0,.19a and setting α =, β = 1 in te last two equations, we ave l m µ 1, µ = ε a µ 1, µ + b ϕ m 1, u 1, µ c u β, p α = 0,.19b = ε a µ 1, µ + λ γ a u, u 1 + η + 1 γ u, u 1..0 It is now clear tat l m, is a coercive, symmetric bilinear form on S. Owing to te last result, we can define an invertible linear operator L,m : S S via te following problem: given ζ S, find µ S suc tat l m µ, ν = ζ, ν ν S..1 Tis clearly as a unique solution because l m, is an inner product on S. We write L,m µ = ζ, or, equivalently, µ = L 1,m ζ. We now wis to define anoter discrete negative norm. Again we omit te details for te sake of brevity. Lemma.8. Let ζ, ξ S and suppose µ ζ, µ ξ S are te unique weak solutions to L,m µ ζ = ζ and L,m µ ξ = ξ. Define, L 1,m ζ, ξ L 1 := l m µ ζ, µ ξ = ζ, µ ξ,m = µ ζ, ξ.. defines an inner product on S. Te induced norm is ζ L 1 = ζ, ζ,m L 1, ζ S..3,m Using our discrete negative norm we can define a variational problem closely related to our fully discrete sceme. To keep te discussion brief, we omit te proof of te following result tat guarantees te unique solvability of.7a.7e. See, for example, [11] for te details of a similar argument. Lemma.9. Let ϕ m 1 functional S be given. Take ϕ m 1, G ϕ := ϕ ϕ m 1, 1 ε ϕ m 1 L 1,m as in.8. For all ϕ S, define te nonlinear + 1 4ε ϕ + φ 0 4 L 4 + ε ϕ + φ 0, ϕ + θ ϕ 1,..4 9

10 G is strictly convex and coercive on te linear subspace S. Consequently, G as a unique minimizer, call it ϕ m S. Moreover, ϕ m S is te unique minimizer of G if and only if it is te unique solution to ε 1 ϕ m 3 + φ 0, ψ + ε a ϕ m, ψ µ m,, ψ + ξ m, ψ = ε 1 ϕ m 1 + φ 0, ψ.5 for all ψ S, were µ m,, ξm S are te unique solutions to l m µ m,, ν ϕ m ϕ m 1, =, ν ν S,.6 a ξ m, ζ = θ ϕm, ζ ζ S..7 Finally, we are in te position to prove te unconditional unique solvability of our sceme. Teorem.10. Te sceme.1a.1e, or, equivalently, te sceme.7a.7e, is uniquely solvable for any mes parameters and and for any of te model parameters. Proof. Suppose ϕ m 1, 1 = 0. It is clear tat a necessary condition for solvability of.7a.7b is tat ϕ m, 1 = ϕ m 1, 1 = 0,.8 as can be found by taking ν 1 in.7a. Now, let ϕ m, µm, S S be a solution of.5.7. Te oter variables may be regarded as auxiliary. Set µ m := 1 ϕ m ε Ω + φ 0 3 ϕ m + φ 1 0, 1 = ϕ m ε Ω + φ 0 3, 1 φ 0 ε,.9 and define µ m := µm, + µm. Tere is a one-to-one correspondence of te respective solution sets: ϕ m, µm, S S is a solution to.5.7, if and only if ϕ m, µm S S is a solution to.7a.7e, if and only if φ m, µm S S is a solution to.1a.1e, were φ m = ϕm + φ 0, µ m = µm, + µm..30 But.5.7 admits a unique solution, wic proves tat.1a.1e and.7a.7e are uniquely solvable..3 Unconditional Energy Stability We now sow tat te solutions to our sceme enjoy stability properties tat are similar to tose of te PDE solutions, and, moreover, tese properties old regardless of te sizes of and. Te first property, te unconditional energy stability, is a direct result of te convex decomposition represented in te sceme. Lemma.11. Let φ m, µm, um S S X be te unique solution of.1a.1e, wit te oter variables regarded as auxiliary. Ten te following energy law olds for any, > 0: E u l, φl + ε l µ m + λ γ { l + l u m + η γ l u m ε δ φ m + 1 γ δ u m + 1 δ φ m 4ε } + 1 ε φm δ φ m + 1 ε δ φ m + θ δ φ m 1, = E u 0, φ0,.31 10

11 for all 0 l M. Proof. We first set ν = µ m in.1a, ψ = δ φ m in.1b, ζ = T δ φ m in.1c, v = 1 γ um in.1d, q = 1 γ pm in.1e, to obtain δ φ m, µm + ε µm + b φ m 1, u m, µm = 0,.3 1 φ m ε 3 φ m 1, δ φ m + ε a φ m, δ φ m µm, δ φ m + ξm, δ φ m = 0,.33 a ξ m, T δ φ m + θ φ m φ 0, T δ φ m = 0,.34 1 γ δ u m, um + λ γ um + η γ um 1 γ c um, pm b φ m 1, u m, µm = 0,.35 Combining.3.36, using te identities [ ] δ u m, um =1 δ u m + δ u m, [ ] a φ m, δ φ m =1 δ φ m + δ φ m, φ m 3 φ m 1, δ φ m = 1 4 δ φ m 1 + [ δ φ m 4 + φ m δ φ m + δ φ m L ], φ m φ 0, δ φ m [ 1, =1 δ φ m φ ] 0 1, + δ φ m 1,, 1 γ c um, pm = and applying te operator l to te combined equation, te result is obtained. Te discrete energy law immediately implies te following uniform in and a priori estimates for φ m, µm, and um. Note tat, from tis point, we will not track te dependence of te estimates on te interface parameter ε > 0, toug tis may be of importance, especially if ε is made smaller. Lemma.1. Let φ m, µm, um S S X be te unique solution of.1a.1e. Suppose tat E u 0, φ0 < C, independent of. Ten te following estimates old for any, > 0: [ max u m 0 m M + φ m + φ m 1 + ] φ m φ 0 C,.37 1, M [ φ m φm 1 + φ m φ m 1 max 0 m M ] [ φ m 4 L 4 + φ m + φ m H 1 C,.38 M [ ] µ m L + u m L + u m L C,.39 + φ m φm 1 + φ m φm φm 1 for some constant C > 0 tat is independent of,, and T. + φ m φm 1 1, + ] u m um 1 C,.40 11

12 We are able to prove te next set of a priori stability estimates witout any restrictions of and. Before we begin, we will need te discrete Laplacian, : S S, wic is defined as follows: for any v S, v S denotes te unique solution to te problem In particular, setting χ = v in.41, we obtain v, χ = a v, χ, χ S..41 v = a v, v. Lemma.13. Let φ m, µm, um S S X be te unique solution of.1a.1e, wit te oter variables regarded as auxiliary. Suppose tat E u 0, φ0 < C independent of and tat T 1 for simplicity. Te following estimates old for any, > 0: M [ ] δ φ m H 1 + δ φ m 1, + φ m + µ m + φ m 46 d d L T C,.4 for some constant C > 0 tat is independent of,, and T. Proof. Let Q : Ω S be te projection, i.e., Q ν ν, χ = 0, for all χ S. Suppose ν H 1 Ω. Ten, using.37 and Sobolev embeddings, δ φ m, ν = δ φ m, Q ν.43 = ε µ m, Q ν b φ m 1, u m, Q ν.44 ε µ m Q ν + φ m 1 u m L 4 Q ν L 4.45 C [ε µ m + u m H 1 ] Q ν.46 C [ε µ m + u m H 1 ] ν,.47 were we used te H 1 stability of te projection in te last step. Applying M gives.4.1 wic, in our notation, is te bound on te first term of te left side of.4. Te estimate.4. follows from te inequality ν 1, ν H 1, wic olds for all ν Ω. Setting ψ = φ m in.1b and using te definition of φ m, we get ε φ m = ε a φ m, φ m = µ m, φ m + ε 1 φ m 3 φ m 1, φ m + ξ m, φ m ε a µ m, φm + ε 1 φ m + 1 φ m ε 3 φ m 1 a ξ m, φm 1 µm + 1 φm + ε φ m + C φ m 3 φ m 1 θ φ m φ 0, φ m 1 µm + C φ m + ε φ m + C φ m 3 φ m 1 + C φ m φ 0 1,. Hence, ε φ m µ m + C φ m + C φ m 3 φ m 1 + C φ m φ 0 1,..48 Now using.38, we ave φ m 3 φ m 1 φ m 6 L 6 + φ m 1 C φ m 6 H 1 + C C,.49 1

13 were we used te embedding H 1 Ω L 6 Ω, for d =, 3. Putting te last two inequalities togeter, we ave ε φ m µ m + C..50 Applying M, estimate.4.3 now follows from Now, take ψ = µ m in.1b. Ten, using.37 and.49, we ave µ m ε 1 φ m 3 φ m 1 µm + ε φ m µ m + ξ m µ m 1 φ m ε 3 φ m µm + ε φm + ε µm +C ξ m µm Hence C + 1 µm + ε µm + C ξ m C + 1 µm + ε µm + C φ m φ 0 1, C + 1 µm + ε µm. µ m C + ε µ m..51 Applying M, estimate.4.4 now follows from To prove estimate.4.5, we use te discrete Gagliardo-Nirenberg inequality: φ m L C φ m d 6 d φ m 34 d 6 d + C φ m L 6 L6 d =, 3..5 Applying M and using H1 Ω L 6 Ω,.38.3 and.4.3, estimate.4.5 follows. Lemma.14. Let φ m, µm, um S S X be te unique solution of.1a.1e, wit te oter variables regarded as auxiliary. Suppose tat E u 0, φ0, µ 0 < C independent of, were µ 0 is defined below in.55, d =, 3, and tat T 1 for simplicity. Te following estimates old for any, > 0: M δ φ m CT,.53 ] [ max µ m 1 m M + φ m + φ m 46 d d L CT,.54 for some constant C > 0 tat is independent of,, and T. Proof. We prove.53 and.54.1 togeter. To do so, we first define µ 0 via µ 0, ψ := ε a φ 0, ψ + ε 1 φ 0 3 φ 0, ψ + θ T φ 0 φ 0, ψ,.55 for all ψ S, and δ φ 0 : 0 S..56 Now, we subtract.1b from itself at consecutive time steps to obtain δ µ m, ψ = ε a δ φ m, ψ + ε 1 φ m 3 φ m 1 3, ψ ε 1 δ φ m 1, ψ + θ T δ φ m, ψ,.57 13

14 for all ψ S, wic is well-defined for all 1 m M. Taking ψ = µ m in.57 and ν = δ φ m in.1a and adding te results yields { δ µ m, µm + δ φ m = ε 1 δ φ m φ m + φ m φm 1 + φ m 1 }, µ m ε 1 δ φ m 1, µ m + θ T δ φ m, µm µm b φ m 1, u m, δ φ m ε 1 φ m + φ m φm 1 + φ m 1 L µm 3 L 6 δ φ m +ε 1 µ m δ φ m 1 1, +θ T δ φ m µ m µm 1, b φ m 1, u m, δ φ m C φ m + φ m φm 1 + φ m 1 L µm 3 H δ φ m +C µ m + C δ φ m 1 1, +C T δ φ m + C µ m µm 1, b φ m 1, u m, δ φ m C φ m 4 L 6 + φ m 1 4 µ m L 6 H δ φ m +C µ m + C δ φ m 1 1, +C δ φ m 1, + C µm b φ m 1, u m, δ φ m C µ m H δ φ m + C δ φ m 1 1, +C δ φ m 1, b φ m 1, u m, δ φ m.58 were we ave used H 1 Ω L 6 Ω, Lemma.6, and.38. Now we bound te trilinear form b,,. To do so, we note te discrete estimate ν L 4 C ν + ν d 4 ν 4 d 4 ν S, d =, 3,.59 and Ladyzenskaya inequality u L 4 C u 4 d 4 u d 4 u H 1 0Ω, d =, Using Holder s inequality,.59,.60,.37.1, and.37. b φ m 1, u m, δ φ m φ m 1 L 4 u m L 4 δ φ m C δ φ m u m φ m 1 + φ m δ φ m + C u m + C u m φ m Setting ψ = φ m in.1b and.55 and using te definition of φ m, it follows tat φ m C µ m + C, 0 m M,.6 14

15 so tat, for 1 m M, Tus, b φ m 1, u m, δ φ m 1 4 δ φ m + C u m + C u m µ m δ µ m, µm + δ φ m C µ m H 1 + C δ φ m 1 1, + C δ φ m 1, +C u m µ m 1 + C u m..64 Applying l, and using.39,.4, δ φ 0 0, and te identity δ µ m, µm = µ m µm 1, µ m 1 = µm + 1 µ m µm 1 1 we conclude 1 µ l 1 µ 0 + l δ φ m CT + C } Since te estimate is explicit wit respect to { µ m l 1 m=0 u m+1 µ m 1,.65 µ m..66 and M um C, we may appeal directly to te discrete Gronwall inequality in Lemma A.1. Estimates.53 and.54.1 follow immediately. Estimate.54. follows from.54.1 and.6. Estimate.54.3 follows from.5, te embedding H 1 Ω L 6 Ω,.38.3, and.54.. Remark.15. Te idea for controlling te time-lagged φ m 1 term in.61 using te discrete Gronwall inequality was inspired by a similar tecnique from a recent paper by G. Grün [1], wic deals wit a different PDE system as well as a different numerical metod from tat examined ere and is not concerned wit error estimates. 3 Error Estimates for te Fully Discrete Convex Splitting Sceme For te error estimates tat we pursue in tis section, we sall assume tat weak solutions ave te additional regularities φ H 0, T ; Ω L 0, T ; W 1,6 Ω H 1 0, T ; H q+1 Ω, ξ 0, T ; H q+1 Ω, µ L 0, T ; H 1 Ω 0, T ; H q+1 Ω, 3.1 u H 0, T ; Ω L 0, T ; L 4 Ω H 1 0, T ; H q+1 Ω, p 0, T ; H q Ω 0Ω, were q 1. Of course, some of tese regularities are redundant because of embeddings. For te Darcy-Stokes projection we ave P u u H 1 + P p p C q u H q+1 + p H q

16 Weak solutions φ, µ to 1.8a 1.8e wit te iger regularities 3.1 solve te following variational problem: t φ, ν + ε a µ, ν + b φ, u, ν = 0 ν H 1 Ω, 3.3a µ, ψ ε a φ, ψ ε 1 φ 3 φ, ψ ξ, ψ = 0 ψ H 1 Ω, 3.3b a ξ, ζ θ φ φ 0, ζ = 0 ζ H 1 Ω, 3.3c t u, v + λ a u, v + η u, v c v, p γ b φ, v, µ = 0 v H 1 0Ω, 3.3d c u, q = 0 q 0Ω. 3.3e Define L φt := φt, δ φt := φt L φt, te backward difference operator, and E φ a := φ R φ, E µ a := µ R µ, E u a := u P u, E ξ a := ξ R ξ, 3.4 σ φ := δ R φ t φ, σ u := δ P u t u. 3.5 Ten, for all ν, ψ, ζ S, v X, and q S, δ R φ, ν + ε a R µ, ν = σ φ, ν b φ, u, ν, 3.6a ε a R φ, ψ R µ, ψ + R ξ, ψ = E a µ, ψ ε 1 φ 3 L φ, ψ + ε δ φ, ψ Ea, ξ ψ, 3.6b a R ξ, ζ θ R φ φ 0, ζ = θ Ea φ, ζ, 3.6c δ P u, v + λ a P u, v + η P u, v c v, P p = σ u, v + γ b φ, v, µ, 3.6d c P u, q =0. Define te piecewise constant in time functions, for m = 1,... M and for t t m 1, t m ], ˆφt := φ m, ˆµt := µm, ût := um, ˆpt := pm, ˆξt := ξ m, 3.6e were φ m, µm, ξm, um, and pm are te solutions of te fully discrete convex-splitting sceme.1a.1e. Tus, for 0 t T, and all ν, ψ, ζ S, v X, and q S, δ ˆφ, ν + ε a ˆµ, ν = b L ˆφ, û, ν, 3.7a ε a ˆφ, ψ ˆµ, ψ + ˆξ, ψ = ε 1 ˆφ3 L ˆφ, ψ, 3.7b a ˆξ, ζ θ ˆφ φ0, ζ = 0, 3.7c δ û, v + λ a û, v + η û, v c v, ˆp = γ b L ˆφ, v, ˆµ, 3.7d Now, let us define c û, q = e E φ := R φ ˆφ, E φ := φ ˆφ, E µ := R µ ˆµ, E ξ := R ξ ˆξ, 3.8 E u := P u û, E p := P p ˆp

17 Subtracting 3.7a - 3.7e from 3.6a - 3.6e, we ave, for all ν, ψ, ζ S, v X, and q S, δ E φ, ν + ε a E µ, ν = σ φ, ν b φ, u, ν + b L ˆφ, û, ν, 3.10a ε a E φ, ψ E µ, ψ + E ξ, ψ = E a µ, ψ + ε δ φ, ψ + ε 1 L E φ, ψ Ea, ξ ψ ε 1 φ 3 ˆφ 3, ψ, 3.10b a E ξ, ζ θ E φ, ζ = θ Ea φ, ζ, 3.10c δ E u, v + λ a Eu, v + η Eu, v c v, E p = σ u, v + γ b φ, v, µ γ b L ˆφ, v, ˆµ, 3.10d c E u, q = e Setting ν = E µ in 3.10a, ψ = δ E φ in 3.10b, ζ = T δ E φ in 3.10c, v = 1 γ Eu in 3.10d, and q = 1 γ Ep in 3.10e and adding te resulting equations we obtain ε a E φ, δ E φ + θ E φ, δ E φ + 1 1, γ δ E u, Eu + ε E µ + λ γ Eu + η γ Eu = σ φ, E µ + 1 γ σu, E u ε 1 φ 3 ˆφ 3 L E φ, δ E φ + E a µ, δ E φ + δ φ, δ E φ ε Ea, ξ δ E φ θ E a φ, T δ E φ b φ, u, E µ + b L ˆφ, û, E µ + b φ, E u, µ b L ˆφ, E u, ˆµ Te last expression is te key error equation. We now proceed to estimate te terms on te rigt and side of Lemma 3.1. Suppose tat φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities 3.1. Ten, for any, > 0, tere exists C > 0, independent of and, suc tat σ φ t t C q+ s φs H q+1 ds + ss φs L 3 ds, for all t, T ]. σ u t C q+ s us H q+1 ds + 3 Proof. We write σ φ = σ φ 1 + σφ, σφ 1 := δ R φ δ φ, σ φ := δ φ t φ. Ten σ φ 1 t = 1 t L s R φs φs ds = 1 R s φs s φs ds 1 1 ds R s φs s φs ds dx Ω = 1 C q+ R s φs s φs ds ss us L ds, 3.1 s φs Hq+1 ds

18 By Taylor s teorem σ φ t = 1 1 = 1 = 3 3 ss φst sds [ t s ds Ω t s ds ] ss φs ds dx ss φs ds ss φs L ds Using te triangle inequality, te result for σ φ t for σ u t. follows. A similar proof can be constructed We need a tecnical lemma tat will be used a number of times. Lemma 3.. Suppose g H 1 Ω, and v S. Ten for some C > 0 tat is independent of. g, v C g v 1,, 3.15 Proof. If g S, we can apply Lemma.6 directly. Oterwise, using te triangle inequality, te Caucy-Scwarz inequality, and Lemma.6, g, v g R g, v + R g, v g R g v + R g v 1, Using te standard elliptic projection estimate we ave g R g C g, 3.17 g, v C g v + R g v 1, Finally, using te uniform inverse estimate v C v 1, from Lemma.6, and te stability of te elliptic projection, R g C g, we ave te result. Lemma 3.3. Suppose tat φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities 3.1. Ten, for any, > 0, φ 3 ˆφ 3 E L C φ, 3.19 were E φ := φ ˆφ. Proof. For t [0, T ], φ 3 ˆφ 3 3 ˆφ L E φ L φ + 3 φ + ˆφ E φ L 3 ˆφ E φ φ + 3 φ L L + ˆφ 6 3 ˆφ φ + C φ L L + ˆφ 6 H 1 L 6 E φ E φ L 6 E C φ, 3.0 were C > 0 is independent of t [0, T ]. Ten, using te unconditional a priori estimates in Lemmas.13 and.14 and te assumption tat φ L 0, T ; W 1,6 Ω, te result follows. 18

19 Lemma 3.4. Suppose tat φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities 3.1. Ten, for any, > 0, and any α > 0 tere exists a constant C = Cα > 0, independent of and, suc tat ε E µ + ε a E φ, δ E φ + θ E φ, δ E φ for any t, T ], were R is te consistency term Rt = q+ s φs H q+1 ds δ E u, 1, Eu + λ γ Eu + η γ Eu C E φ + C L E φ + α δ E φ + CR, 3.1 ss φs ds + 1, s φs ds + q µ H q+1 + q φ H q+1 + q+ φ H q+1 + q L φ H q+1 + q ξ H q+1 + q+ s us H q+1 ds + 3 ss us ds + q u H q+1 + p H q. 3. Proof. Using Lemmas 3.1 and 3., te Caucy-Scwarz inequality, te definition above, and te fact tat σ φ, 1 = 0, we get te following estimates: σ φ, E µ σ φ E µ 1, C σ φ L E µ C σ φ + ε E µ 10 L q+ C s φs H q+1 ds + ss φs L 3 ds + ε E µ and, similarly, σ u, E u C q+ s us H q+1 ds + 3 Now, from te standard finite element approximation teory E µ a = R µ µ C q µ H q+1. ss us ds + η γ Eu. 3.4 Applying Lemma 3. and te last estimate E a µ, δ E φ C E µ a δ E φ 1, C q µ H q+1 δ E φ 1, C q µ H q+1 + α δ E φ 6 1, 3.5 and, similarly, Now, it follows tat Ea, ξ δ E φ C q ξ H q+1 + α δ E φ , δ φt s φs L ds

20 and, terefore, δ φ, δ E φ 1 ε ε δ φ δ E φ 1, C s φs ds + α δ E φ , Using Lemmas 3. and 3.3, as well as E φ = Ea φ + E φ and a standard error estimate, 1 φ 3 ε ˆφ 3, δ E φ C φ 3 ˆφ 3 L δ E φ 1, C φ 3 ˆφ 3 + α δ E φ 6 1, C E φ + α δ E φ 6 1, C Ea φ E + C φ + α δ E φ 6 1, C q φ E H q+1 + C φ + α δ E φ , Wit similar steps as in te last estimate, 1 L E φ, δ E φ L ε C E φ L δ E φ 1, C q L φ H q+1 + C L E φ + α δ E φ , Using te estimate T δ E φ C T δ E φ = C δ E φ, 1, we obtain θ E a φ, T δ E φ E θ φ L a T δ E φ L C q+1 φ H q+1 δ E φ 1, C q+ φ H q+1 + α δ E φ , Now we consider te trilinear terms. Adding and subtracting te appropriate terms and using te triangle inequality gives b φ, u, E µ + b L ˆφ, û, E µ + b φ, E u, µ b L ˆφ, E u, ˆµ b + b + b Ea φ, u, E µ L E φ, u, Eµ + b δ R φ, u, E µ + b L ˆφ, E u a, E µ E a φ, E u b, µ + L E φ, Eu, µ + b δ R φ, E u b, µ + L ˆφ, E u, E a µ

21 Wit te assumption u L 0, T ; L 4 Ω we ave b Ea φ, u, E µ E φ L u a L 4 E µ L 4 C Ea φ + ε E µ 10 C q φ H q+1 + ε E µ 10, 3.33 as well as b L E φ, u, L Eµ E φ u L 4 E µ L 4 C L E φ + ε E µ Using te stability of te elliptic projection, and reusing estimate 3.7, and u L 0, T ; L 4 Ω Using.54.3, b δ R φ, u, E µ δ R φ u L 4 E µ L 4 C δ R φ E µ C δ φ E µ C δ φ + ε E µ 10 C s φs ds + ε E µ b L ˆφ, E u a, E µ L ˆφ Eu a L 4 E µ L 4 C Ea u H 1 + ε E µ 10 L C q u H q+1 + p H q + ε 10 Since we assume µ L 0, T ; H 1 Ω, b Ea φ, E u E, µ φ L a Eu L 4 µ L 4 C Ea φ Eu µ H 1 C Ea φ + λ 8γ Eu E µ C q φ H q+1 + λ 8γ Eu, 3.37 and b L E φ, Eu, µ L E φ Eu L 4 µ L 4 C L E φ Eu µ H 1 C L E φ + λ 8γ Eu

22 Again, using µ L 0, T ; H 1 Ω, te stability of te elliptic projection, and reusing estimate 3.7 b δ R φ, E u, µ δ R φ E u L 4 µ H 1 C δ R φ E u C δ φ E u C s φs ds + λ 8γ Eu Finally, b L ˆφ, E u, E a µ L ˆφ Eu L 4 E a µ L 4 C E u E µ a λ 8γ Eu + C E µ a λ 8γ Eu + C q µ Hq Combining te estimates wit te error equation 3.11 and using te triangle inequality, te result follows. Lemma 3.5. Suppose tat φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities 3.1. Ten, for any, > 0, tere exists a constant C > 0, independent of and, suc tat δ E φ 1, 7ε E µ + C L E φ + L 7C E u + CR, 3.41 for any t, T ], were C = C0 C 1, C 0 is te H 1 Ω L 4 Ω Sobolev embedding constant, C 1 is a bound for max 0 t T ˆφ, and R is te consistency term given in 3.. L

23 Proof. Setting ν = T δ E φ in 3.10a, we ave δ E φ 1, = ε a E µ, T δ E φ + σ φ, T δ E φ b φ, u, T δ E φ + b L ˆφ, û, T δ E φ = ε E µ, δ E φ + σ φ, T δ E φ b E a φ, u, T δ E φ b L E φ, u, T δ E φ b δ R φ, u, T δ E φ b L ˆφ, E u a, T δ E φ b L ˆφ, E u, T δ E φ ε E µ δ E φ + σ φ L T 1, δ E φ L + Ea φ u T L δ 4 E φ L + L E φ 4 u T L δ 4 E φ L4 + δ R φ u L 4 T δ E φ L + L ˆφ Eu 4 a L 4 T δ E φ L4 + L ˆφ Eu T L δ 4 E φ L4 7ε E µ + 1 L δ E φ 14 σ + C φ + 1 δ E φ 1, 14 1, + C Ea φ + 1 δ E φ 14 + C L E φ + 1 δ E φ 1, 14 1, + C δ R φ + 1 δ E φ 14 + C 1, Eu a + 1 δ E φ 14 1, + 7C Eu + 1 δ E φ 14 1, 1 δ E φ + 7ε E µ 1, + 7C Eu + C L E φ + CR, 3.4 L were we ave used Lemmas.6 and 3.1. Te result now follows. Lemma 3.6. Suppose tat φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities 3.1. Ten, for any, > 0, tere exists a constant C > 0, independent of and, suc tat E µ + E u H 1 + a E φ, δ E φ + E φ, δ E φ + δ E u, 1, Eu C E φ + C L E φ + CR Proof. Tis follows upon combining te last two lemmas and coosing α in 3.1 appropriately. Using te last lemma, we are ready to sow te main convergence result for our convex-splitting sceme. Teorem 3.7. Suppose φ, µ, u is a weak solution to 3.3a 3.3e, wit te additional regularities L 3

24 3.1. Ten, provided 0 < < 0, for some 0 sufficiently small, [ E φ t m ] E + φ t m + 1, Eu t m + max 1 m M M [ E µ t m + E u t m H 1 + δ E φ t m for some CT > 0 tat is independent of and. 1, ] CT + q 3.44 Proof. Setting t = t m and using Lemma 3.6 and te aritmetic-geometric mean inequality, we ave E φ δ t m + δ E φ t m + δ E u t m L 1, + E µ t m + E u t m H 1 C E φ t m E + C φ Let 1 < l M. Applying l and using Eφ t 0 0, E u t 0 0, E φ t l E + φ t l + 1, Eu t l + l If 0 < 0 := 1 C 1 [ E µ t m + E u t m H 1 ] C t m 1 + CRt m l Rt m + C 1 < 1 C 1, it follows from te last estimate tat E φ t l C l Rt m + C + q + C C 1 1 C 1 l 1 l 1 E φ t m l E φ t m E φ t m, 3.47 were we ave used te regularity assumptions to conclude M Rt m C + q. Appealing to te discrete Gronwall inequality A., it follows tat, for any 1 < l M, E φ t l CT + q Considering estimates 3.46 and 3.41 we get te desired result. Remark 3.8. From ere it is straigtforward to establis an optimal error estimate of te form [ E ] max φ t m + 1 m M L Eu t m + M ] [ E µ t m + Eu t m CT + q 3.49 using E φ = Ea φ + E φ, et cetera, te triangle inequality, and te standard spatial approximations. We omit te details for te sake of brevity. 4

25 4 Numerical Experiments In tis section, we provide some numerical experiments to gauge te accuracy and reliability of te fully discrete finite element metod developed in te previous sections. We use a square domain Ω = 0, 1 R and take T to be a regular triangulation of Ω consisting of rigt isosceles triangles. To refine te mes, we assume tat T l, l = 0, 1,..., L, is an ierarcy of nested triangulations of Ω were T l, is obtained by subdividing te triangles of T l 1 into four congruent sub-triangles. Note tat l 1 = l, l = 1,..., L and tat {T l } is a quasi-uniform family. For te flow problem, we use te inf-sup-stable Taylor-Hood element were te P 1 finite element space is used for te pressure and te [P ] finite element space is used for te velocity. We use a family of meses T suc tat no triangle in te mes as more tan one edge on te boundary, as is usually required for te stability of te Taylor-Hood element [3]. We use te P 1 finite element space for te pase field and cemical potential. In sort, we take q = 1. We solve te sceme.1a.1e wit te following parameters: λ = 1, η = 1, θ = 0, and ɛ = Te initial data for te pase field are taken to be { 1 } φ 0 = I 1.0 cos4.0πx 1.0 cos.0πy 1.0, 4.1 were I : H Ω S is te standard nodal interpolation operator. Recall tat our analysis does not specifically cover te use of te operator I in te initialization step. But, since te error introduced by its use is optimal, a sligt modification of te analysis sow tat tis will lead to optimal rates of convergence overall. See Remark.3. Te initial data for te velocity are taken as u 0 = 0. Values of te remaining parameters are given in te caption of Table 1. To solve te system of equations above numerically, we are using te finite element libraries from te FEniCS Project [18]. We solve te fully coupled system by a Picard-type iteration. Namely, at a given time step we fix te velocity and pressure, ten solve for φ, µ, and ξ. Wit tese updated, we ten solve for te velocity and pressure. Tis is repeated until convergence. c f δ φ H 1 rate δ µ H 1 rate δ p H 1 rate /8 / /16 / /3 / /64 / Table 1: H 1 Caucy convergence test. Te final time is T = , and te refinement pat is taken to be =.001. Te oter parameters are ε = ; Ω = 0, 1. Te Caucy difference is defined via δ φ := φ f φ c, were te approximations are evaluated at time t = T, and analogously for δ µ, and δ p. See te discussion in te text. Since q = 1, i.e., we use P 1 elements for tese variables, te norm of te Caucy difference at T is expected to be O f + O f = O f. Note tat source terms are not naturally present in te system of equations 1.1a 1.1f. Terefore, it is somewat artificial to add tem to te equations in attempt to manufacture exact solutions. To get around te fact tat we do not ave possession of exact solutions, we measure error by a different means. Specifically, we compute te rate at wic te Caucy difference, δ ζ := ζ M f f ζ Mc c, converges to zero, were f = c, f = c, and f M f = c M c = T. Ten, using a linear refinement pat, i.e., = C, and assuming q = 1, we ave δ ζ H 1 = ζ M f f ζ Mc c H ζ M f ζ 1 f ζt + M c H 1 c ζt = Oq H 1 f + f = O f. 4. 5

26 Te results of te H 1 Caucy error analysis are found in Table 1 and confirm first-order convergence in tis case. Additionally, we ave proved tat at te teoretical level te energy is non-increasing at eac time step. Tis is observed in our computations, but, for te sake of brevity, we will suppress an extensive discussion of numerical energy dissipation. A Discrete Gronwall Inequality We will need te following discrete Gronwall inequality cited in [14, 17]: Lemma A.1. Fix T > 0, and suppose {a m } M, {bm } M and {cm } M 1 are non-negative sequences suc tat M 1 cm C 1, were C 1 is independent of and M, and M = T. Suppose tat, for all > 0, a M + M b m C + M 1 a m c m, A.1 were C > 0 is a constant independent of and M. Ten, for all > 0, M M 1 a M + b m C exp c m C expc 1. A. Note tat te sum on te rigt-and-side of A.1 must be explicit. Acknowledgments SMW acknowledges partial financial support from nsf-dms References [1] H. Abels, H. Garcke, and G. Grün. Termodynamically consistent, frame indifferent diffuse interface models for incompressible two-pase flows wit different densities. Matematical Models and Metods in Applied Sciences, 03: , 01. [] A. Aristotelous, O. Karakasian, and S.M. Wise. A mixed discontinuous galerkin, convex splitting sceme for a modified Can-Hilliard equation. Discrete Cont. Dyn. Sys. Series B, 18:11 38, 013. [3] S.C. Brenner and L.R. Scott. Te Matematical Teory of Finite Element Metods. Springer- Verlag, Berlin, tird edition, 008. [4] R. Coksi, M. Maras, and J.F. Williams. d pase diagram for minimizers of a can-illiard functional wit long-range interactions. SIAM J. Appl. Dyn. Sys., 10: , 011. [5] R. Coksi and X. Ren. On a derivation of a density functional teory for micropase separation of diblock copolymers. J. Stat. Pys., 113, 003. [6] C. Collins, J. Sen, and S.M. Wise. Unconditionally stable finite difference multigrid scemes for te Can-Hilliard-Brinkman equation. Commun. Comput. Pys., 13:99 957, 013. [7] C.M. Elliott, D.A Frenc, and F.A. Milner. A second-order splitting metod for te Can- Hilliard equation. Numer. Mat., 54: ,

27 [8] D. Eyre. Unconditionally gradient stable time marcing te Can-Hilliard equation. In J. W. Bullard, R. Kalia, M. Stoneam, and L.Q. Cen, editors, Computational and Matematical Models of Microstructural Evolution, volume 53, pages , Warrendale, PA, USA, Materials Researc Society. [9] X. Feng. Fully discrete finite element approximations of te Navier-Stokes-Can-Hilliard diffuse interface model for two-pase fluid flows. SIAM J. Numer. Anal., 44: , 006. [10] X. Feng, Y. He, and C. Liu. Analysis of finite element approximations of a pase field model for two-pase fluids. Mat. Comp., 7658: , 007. [11] X. Feng and S.M. Wise. Analysis of a Darcy-Can-Hilliard diffuse interface model for te Hele-Saw flow and its fully discrete finite element approximation. SIAM J. Numer. Anal., 50: , 01. [1] G. Grün. On convergent scemes for diffuse interface models for two-pase flow of incompressible fluids wit general mass densities. SIAM J. Numer. Anal., 516: , 013. [13] G. Grün and F. Klingbeil. Two-pase flow wit mass density contrast: Stable scemes for a termodynamic consistent and frame indifferent diffuse-interface model. J. Comput. Pys., 57:708 75, 014. [14] J.G. Heywood and R. Rannacer. Finite element approximation of te nonstationary Navier- Stokes problem. iv. error analysis for te second-order time discretization. SIAM J. Numer. Anal., 7: , [15] D. Kay, V. Styles, and R. Welford. Finite element approximation of a Can-Hilliard-Navier- Stokes system. Interfaces Free Bound., 10:15 43, 008. [16] D. Kay and R. Welford. Efficient numerical solution of Can-Hilliard-Navier-Stokes fluids in d. SIAM J. Sci. Comput., 9:41 57, 007. [17] W. Layton. Introduction to te Numerical Analysis of Incompressible Viscous Flows. SIAM, Piladelpia, PA, USA, 008. [18] A. Logg, K-A Mardal, and G. N. Wells. Automated Solution of Differential Equations by te Finite Element Metod: Te FEniCS Book. Springer Verlag, Berlin, 01. [19] T. Ota and K. Kawasaki. Equilibrium morpology of block copolymer melts. Macromolecules, 19, [0] A. Onuki. Pase transitions of fluids in sear flow. Journal of Pysics: Condensed Matter, 99:6119, [1] J. Sen and X. Yang. Numerical approximations of Allen-Can and Can-Hilliard equations. Discrete Contin. Dyn. Sys. A, 8: , 010. [] J. Sen and X. Yang. A pase-field model and its numerical approximation for two-pase incompressible flows wit different densities and viscosities. SIAM J. Sci. Comput., 3: , 010. [3] C. Wang and S.M. Wise. An energy stable and convergent finite-difference sceme for te modified pase field crystal equation. SIAM J. Numer. Anal., 49: ,

28 [4] S.M. Wise, C. Wang, and J. Lowengrub. An energy stable and convergent finite-difference sceme for te pase field crystal equation. SIAM J. Numer. Anal., 47:69 88, 009. [5] A.V. Zvelindovsky, G.J.A. Sevink, B.A.C. van Vlimmeren, N.M. Maurits, and J.G.E.M Fraaije. Tree-dimensional mesoscale dynamics of block copolymers under sear: Te dynamic densityfunctional approac. Pys. Rev. E, 57:4879, [6] A.V. Zvelindovsky, B.A.C. van Vlimmeren, G.J.A. Sevink, N.M. Maurits, and J.G.E.M Fraaije. Tree-dimensional simulation of exagonal pase of a specific polymer system under sear: Te dynamic density functional approac. J. Cem. Pys., 1090:8751,