A C 1 virtual element method for the Cahn-Hilliard equation with polygonal meshes Marco Verani MOX, Department of Mathematics, Politecnico di Milano Joint work with: P. F. Antonietti (MOX Politecnico di Milano, Italy) L. Beirão da Veiga (Università di Milano, Italy) S. Scacchi (Università di Milano, Italy) Polytopal Element Methods, Georgia Tech, October 26th, 2015 M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 1 / 28
Outline 1 Cahn-Hilliard equation 2 C 1 -VEM for Cahn-Hilliard 3 Numerical results 4 Conclusions M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 2 / 28
Cahn-Hilliard (CH) problem Let Ω R 2 be an open bounded domain. Let ψ(x) = (1 x 2 ) 2 /4 and φ(x) = ψ (x). t u ( φ(u) γ 2 u(t) ) = 0 in Ω [0, T ], u(, 0) = u 0 ( ) in Ω, ( n u = n φ(u) γ 2 u(t) ) = 0 on Ω [0, T ], where n denotes the (outward) normal derivative and γ R +, 0 < γ 1, represents the interface parameter. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 3 / 28
Cahn-Hilliard (CH) problem Let Ω R 2 be an open bounded domain. Let ψ(x) = (1 x 2 ) 2 /4 and φ(x) = ψ (x). t u ( φ(u) γ 2 u(t) ) = 0 in Ω [0, T ], u(, 0) = u 0 ( ) in Ω, ( n u = n φ(u) γ 2 u(t) ) = 0 on Ω [0, T ], where n denotes the (outward) normal derivative and γ R +, 0 < γ 1, represents the interface parameter. CH models the evolution of interfaces specified as the level set of a smooth continuos function u exhibiting large gradients across the interface [Korteweg 1901, Cahn and Hilliard 1958, Ginzburg and Landau 1965, van der Waals 1979] Many applications: phase separation in binary alloys, tumor growth, origin of Saturn s rings, separation of di-block copolymers, population dynamics, image processing, clustering of mussels... M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 3 / 28
Huge literature on numerical methods for CH... M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. CH is a fourth order nonlinear problem C 1 FEM (see [Elliott Zheng, 1986], [Elliott French, 1987]). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. CH is a fourth order nonlinear problem C 1 FEM (see [Elliott Zheng, 1986], [Elliott French, 1987]). To avoid the well known difficulty met in the implementation of C 1 FEM, another possibility is the use of non-conforming (see [Elliott French, 1989] or discontinuous (see [Wells Kuhl Garikipati, 2006]) methods. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. CH is a fourth order nonlinear problem C 1 FEM (see [Elliott Zheng, 1986], [Elliott French, 1987]). To avoid the well known difficulty met in the implementation of C 1 FEM, another possibility is the use of non-conforming (see [Elliott French, 1989] or discontinuous (see [Wells Kuhl Garikipati, 2006]) methods. Alternatively, use mixed methods (see e.g. [Elliot French Milner, 1989], [Elliott Larsson, 1992] and [Kay Styles Suli, 2009] for the continuous and discontinuous setting, respectively). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. CH is a fourth order nonlinear problem C 1 FEM (see [Elliott Zheng, 1986], [Elliott French, 1987]). To avoid the well known difficulty met in the implementation of C 1 FEM, another possibility is the use of non-conforming (see [Elliott French, 1989] or discontinuous (see [Wells Kuhl Garikipati, 2006]) methods. Alternatively, use mixed methods (see e.g. [Elliot French Milner, 1989], [Elliott Larsson, 1992] and [Kay Styles Suli, 2009] for the continuous and discontinuous setting, respectively). Recently, isogeometric analysis [Gómez Calo Bazilevs Hughes, 2008]. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Huge literature on numerical methods for CH... Here we limit ourvselves to FEM as the main properties (and limitations) of these schemes are instrumental to motivate the introduction of our new approach. CH is a fourth order nonlinear problem C 1 FEM (see [Elliott Zheng, 1986], [Elliott French, 1987]). To avoid the well known difficulty met in the implementation of C 1 FEM, another possibility is the use of non-conforming (see [Elliott French, 1989] or discontinuous (see [Wells Kuhl Garikipati, 2006]) methods. Alternatively, use mixed methods (see e.g. [Elliot French Milner, 1989], [Elliott Larsson, 1992] and [Kay Styles Suli, 2009] for the continuous and discontinuous setting, respectively). Recently, isogeometric analysis [Gómez Calo Bazilevs Hughes, 2008]. Here we propose a C 1 -VEM scheme (see, e.g., [Beirão da Veiga Brezzi Cangiani Manzini Marini Russo, 2013] for an intro to VEM for second order pbs and [Brezzi Marini, 2013] for plate bending pb.) M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 4 / 28
Weak formulation of CH a (v, w) = ( 2 v) : ( 2 w) dx v, w H 2 (Ω), Ω a (v, w) = ( v) ( w) dx v, w H 1 (Ω), Ω a 0 (v, w) = v w dx v, w L 2 (Ω), Ω M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 5 / 28
Weak formulation of CH a (v, w) = ( 2 v) : ( 2 w) dx v, w H 2 (Ω), Ω a (v, w) = ( v) ( w) dx v, w H 1 (Ω), a 0 (v, w) = Ω v w dx v, w L 2 (Ω), Ω and the semi-linear form r(z; v, w) = φ (z) v w dx z, v, w H 2 (Ω). Ω M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 5 / 28
Weak formulation of CH a (v, w) = ( 2 v) : ( 2 w) dx v, w H 2 (Ω), Ω a (v, w) = ( v) ( w) dx v, w H 1 (Ω), Ω a 0 (v, w) = v w dx v, w L 2 (Ω), and the semi-linear form r(z; v, w) = φ (z) v w dx Let Ω Ω z, v, w H 2 (Ω). V = { v H 2 (Ω) : n u = 0 on Ω } The weak formulation reads as: find u(, t) V such that { a 0 ( t u, v) + γ 2 a (u, v) + r(u; u, v) = 0 v V, u(, 0) = u 0 ( ). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 5 / 28
Towards C 1 -VEM discretization of CH Ω h decomposition of Ω into polygons E M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 6 / 28
Towards C 1 -VEM discretization of CH Ω h decomposition of Ω into polygons E Intermediate local space (see [Brezzi Marini, 2013]): { Ṽ h E = v H 2 (E) : 2 v P 2 (E), v E C 0 ( E), v e P 3 (e) e E, } v E [C 0 ( E)] 2, n v e P 1 (e) e E, M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 6 / 28
Towards C 1 -VEM discretization of CH Ω h decomposition of Ω into polygons E Intermediate local space (see [Brezzi Marini, 2013]): { Ṽ h E = v H 2 (E) : 2 v P 2 (E), v E C 0 ( E), v e P 3 (e) e E, } v E [C 0 ( E)] 2, n v e P 1 (e) e E, Linear Operators: D1 evaluation of v at the vertexes of E; D2 evaluation of v at the vertexes of E. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 6 / 28
The operator Π E The projection operator Π E : Ṽh E P 2 (E) is defined by { a E (Π E v h, q) = a E (v h, q) q P 2 (E) for all v h Ṽh E where ((v h, w h )) E = ((Π E v h, q)) E = ((v h, q)) E ν vertexes of E v h (ν) w h (ν) q P 1 (E), v h, w h C 0 (E). The operator Π E is uniquely determined by D1 and D2, i.e. Π E v h depends only on the values of v h and v h at the vertices of E. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 7 / 28
Virtual local space W h E = { v Ṽh E : Π E (v h) q dx = E E v h q dx q P 2 (E) }. [Ahmad Alsaedi Brezzi Marini Russo, 2013] M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 8 / 28
Virtual local space W h E = { v Ṽh E : Π E (v h) q dx = E E v h q dx q P 2 (E) }. Properties: The set of operators D1 and D2 constitutes a set of degrees of freedom for the space W h E. [Ahmad Alsaedi Brezzi Marini Russo, 2013] M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 8 / 28
Virtual local space W h E = { v Ṽh E : Π E (v h) q dx = E E v h q dx q P 2 (E) }. Properties: The set of operators D1 and D2 constitutes a set of degrees of freedom for the space W h E. P 2 (E) W h E. [Ahmad Alsaedi Brezzi Marini Russo, 2013] M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 8 / 28
Virtual local space W h E = { v Ṽh E : Π E (v h) q dx = E E v h q dx q P 2 (E) }. Properties: The set of operators D1 and D2 constitutes a set of degrees of freedom for the space W h E. P 2 (E) W h E. The L 2 -projection Π 0 E : W h E P 2 (E) defined by a 0 E (Π0 E v h, q) = a 0 E (v h, q) q P 2 (E), is computable (only) on the basis of the values of the degrees of freedom D1 and D2. [Ahmad Alsaedi Brezzi Marini Russo, 2013] M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 8 / 28
Global VEM space Properties: W h = { v V : v E W h E E Ω h } W h H 2 (Ω) conforming VEM solution. The global degrees of freedom are: values of v h at the vertexes of the mesh Ω h ; values of v h at the vertexes of the mesh Ω h. Dimension of W h is three times the number of vertexes in the mesh. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 9 / 28
The operator Π E We define Π E : W h E P 2 (E) by ae (Π E v h, q) = ae (v h, q) Π E v h dx = v h dx. E E q P 2 (E) Since the bilinear form ae (, ) has a non trivial kernel (given by the constant functions) we added a second condition in order to keep the operator Π E well defined. The operator Π E is uniquely determined by D1 and D2 M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 10 / 28
Local discrete bilinear forms We propose the following discrete (and symmetric) local forms ah,e (v h, w h ) = ae (Π E v h, Π E w h) + h 2 E s E (v h Π E v h, w h Π E w h), ah,e (v h, w h ) = ae (Π E v h, Π E w h) + s E (v h Π E v h, w h Π E w h), a 0 h,e (v h, w h ) = a 0 E (Π0 E v h, Π 0 E w h) + h 2 E s E (v h Π 0 E v h, w h Π 0 E w h), for all v h, w h W h E, where s E (v h, w h ) = ν vertexes of E ( ) v h (ν) w h (ν) + (h ν ) 2 v h (ν) w h (ν) being h ν some characteristic mesh size lenght associated to the node ν (for instance the maximum diameter among the elements having ν as a vertex). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 11 / 28
Properties of the discrete bilinear forms The symbol stands for the symbol, or 0. (Consistency) a h,e (p, v h) = a E (p, v h) p P 2 (E), v h W h E, (Stability) 1 There exist two positive constants c, c independent of the element E {Ω h } h such that c a E (v h, v h ) a h,e (v h, v h ) c a E (v h, v h ) v h W h E, The bilinear forms a h,e (, ) are continuous with respect to the relevant norm: H 2 (for = ), H 1 (for = ) and L 2 (for = 0). 1 It holds under regularity assumption on the polygonal partition M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 12 / 28
Global discrete bilinear forms The global discrete bilinear form is assembled as usual a h (v h, w h ) = E Ω h a h,e (v h, w h ) v h, w h W h, with the usual multiple meaning of the symbol. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 13 / 28
Discrete semilinear form Continuous semilinear form r(z; v, w) = r E (z; v, w) z, v, w H 2 (Ω), E Ω h r E (z; v, w) = (3z(x) 2 1) v(x) w(x) dx E Ω h. E M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 14 / 28
Discrete semilinear form Continuous semilinear form r(z; v, w) = r E (z; v, w) z, v, w H 2 (Ω), E Ω h r E (z; v, w) = (3z(x) 2 1) v(x) w(x) dx E Ω h. E Idea: on each element E, we approximate the term z(x) 2 with its average M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 14 / 28
Discrete semilinear form Continuous semilinear form r(z; v, w) = r E (z; v, w) z, v, w H 2 (Ω), E Ω h r E (z; v, w) = (3z(x) 2 1) v(x) w(x) dx E Ω h. E Idea: on each element E, we approximate the term z(x) 2 with its average Discrete local semilinear form r h,e (z h ; v h, w h ) = φ (z h ) E a h,e (v h, w h ) z h, v h, w h W h E where φ (z h ) E =3 E 1 a 0 h,e (z h, z h ) 1 M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 14 / 28
Discrete semilinear form Continuous semilinear form r(z; v, w) = r E (z; v, w) z, v, w H 2 (Ω), E Ω h r E (z; v, w) = (3z(x) 2 1) v(x) w(x) dx E Ω h. E Idea: on each element E, we approximate the term z(x) 2 with its average Discrete local semilinear form r h,e (z h ; v h, w h ) = φ (z h ) E a h,e (v h, w h ) z h, v h, w h W h E where φ (z h ) E =3 E 1 a 0 h,e (z h, z h ) 1 The global form is then assembled as usual r h (z h ; v h, w h ) = E Ω h r h,e (z h ; v h, w h ) w h, r h, v h W h. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 14 / 28
C 1 -VEM semi-discrete scheme Discrete global space with boundary conditions: W 0 h = W h V = { v W h : n u = 0 on Ω }. The semi-discrete problem is: Find u h (, t) in Wh 0 such that ah 0 ( tu h, v h ) + γ 2 ah (u h, v h ) + r h (u h, u h ; v h ) = 0, u h (0, ) = u 0,h ( ), for all v h W 0 h being u 0,h W 0 h a suitable approximation of u 0. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 15 / 28
Convergence result for the semi-discrete scheme Theorem (Antonietti, Beirao da Veiga, Sacchi, V., 2015) Let u be the (sufficiently regular) exact solution of the Cahn-Hilliard problem and u h the solution of the semi-discrete VEM problem. Then for all t [0, T ] it holds u u h L 2 (Ω) h 2. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 16 / 28
Numerical results Exact solution: u(x, y, t) = t cos(2πx) cos(2πy) on Ω = (0, 1) 2 Table: Test 1: H 2, H 1 and L 2 errors and convergence rates α computed on four quadrilateral meshes discretizing the unit square. h u h u H 2 (Ω) α u h u H 1 (Ω) α u h u L 2 (Ω) α 1/16 1.35e-1 8.57e-2 8.65e-2 1/32 5.86e-2 1.20 2.20e-2 1.96 2.20e-2 1.97 1/64 2.79e-2 1.07 5.53e-3 1.99 5.52e-3 1.99 1/128 1.38e-2 1.02 1.37e-3 2.01 1.37e-3 2.01 Parameters: γ = 1/10 and t = 1e 7. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 17 / 28
Evolution of an ellipse (I) (a) Quadrilateral mesh of 16384 = 128 128 elements (49923 dofs). Figure: Snapshots at three temporal frames (t = 0, 0.5, 1). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 18 / 28
Evolution of an ellipse (II) (a) Triangular mesh of 8576 elements (13167 dofs). Figure: Snapshots at three temporal frames (t = 0, 0.5, 1). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 19 / 28
Voronoi polygonal meshes Figure: Examples of Voronoi polygonal meshes (quadrilaterals, pentagons, hexagons) with 10 (left) and 100 (right) elements. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 20 / 28
Evolution of a cross (I) (a) Quadrilateral mesh of 16384 = 128 128 elements (49923 dofs). Figure: Snapshots at three temporal frames (t = 0, 0.05, 1). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 21 / 28
Evolution of a cross (II) (a) Triangular mesh of 8576 elements (13167 dofs). Figure: Snapshots at three temporal frames (t = 0, 0.05, 1). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 22 / 28
Evolution of a cross (III) (a) Voronoi polygonal mesh of 10000 elements (59490 dofs). Figure: Snapshots at three temporal frames (t = 0, 0.05, 1). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 23 / 28
Spinoidal decomposition (a) Voronoi polygonal mesh of 10000 elements (59490 dofs). Figure: Snapshots at three temporal frames (t = 0.01, 0.05, 5). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 24 / 28
Conclusions C 1 -VEM of minimal degree for the approximation of CH equation. Theoretical L 2 -convergence of the semi-discrete scheme Numerical tests Reference P. F. Antonietti, L. Beirao da Veiga, S. Scacchi and M. Verani, A C 1 virtual element method for the Cahn-Hilliard equation with polygonal meshes, accepted on SINUM, 2015. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 25 / 28
Spinoidal decomposition (I) (a) Quadrilateral mesh of 16384 = 128 128 elements (49923 dofs). Figure: Snapshots at three temporal frames (t = 0.01, 0.05, 5). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 26 / 28
Spinoidal decomposition (II) (a) Triangular mesh of 8576 elements (13167 dofs). Figure: Snapshots at three temporal frames (t = 0.075, 0.25, 1.25). M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 27 / 28
VEM vs mixed-dg DG VEM h dof u h u H 1 (Ω) u h u L 2 (Ω) dof u h u H 1 (Ω) u h u L 2 (Ω) 1/16 1536 7.21e-3 7.23e-5 867 2.56e-2 9.06e-4 1/32 6144 3.63e-3 1.82e-5 3267 6.70e-3 2.31e-4 1/64 24576 1.82e-3 4.57e-6 12675 1.74e-3 5.90e-5 1/128 98304 9.12e-4 1.14e-6 49923 4.46e-4 1.49e-5 CH with exact solution, γ = 1/10 and t = 1e 7. The simulation is run for 10 time steps. The H 1 and L 2 errors are computed at the final time step on four triangular (for the DG method) and quadrilateral (for the VEM) meshes discretizing the unit square. M. Verani (MOX - PoliMi) VEM Cahn-Hilliard POEMs 2015 28 / 28