Multigrid and Saddle-Point Preconditioners for Unfitted Finite
Total Page:16
File Type:pdf, Size:1020Kb
Multigrid and saddle-point preconditioners for unfitted finite element modelling of inclusions Hardik Kothari∗and Rolf Krause† Institute of Computational Science, Universit`adella Svizzera italiana, Lugano, Switzerland February 17, 2021 Abstract In this work, we consider the modeling of inclusions in the material using an unfitted finite element method. In the unfitted methods, structured background meshes are used and only the underlying finite element space is modified to incorporate the discontinuities, such as inclusions. Hence, the unfitted methods provide a more flexible framework for modeling the materials with multiple inclusions. We employ the method of Lagrange multipliers for enforcing the interface conditions between the inclusions and matrix, this gives rise to the linear system of equations of saddle point type. We utilize the Uzawa method for solving the saddle point system and propose preconditioning strategies for primal and dual systems. For the dual systems, we review and compare the preconditioning strategies that are developed for FETI and SIMPLE methods. While for the primal system, we employ a tailored multigrid method specifically developed for the unfitted meshes. Lastly, the comparison between the proposed preconditioners is made through several numerical experiments. Keywords: Unfitted finite element method, multigrid method, saddle-point problem 1 Introduction In the modeling of many real-world engineering problems, we encounter material discontinuities, such as inclusions. The inclusions are found naturally in the materials, or can be artificially introduced to produce desired mechanical behavior. The finite element (FE) modeling of such inclusions requires to generate meshes that can resolve the interface between the matrix and inclusions, which can be a computationally cumbersome and expensive task. In order to avoid the need of generating such fitted meshes, the extended finite element method (XFEM) was introduced [13]. The XFEM method can be categorized as an unfitted finite element method. For the unfitted FE methods, it is not necessary to have the meshes that resolve the interfaces exactly. In this framework, structured uniform meshes are typically used and the associated FE spaces are enriched to capture the interface information. There are multiple ways for enriching the FE spaces and for enforcing the constraints on the interfaces. Here, we employ the method of Lagrange multipliers to enforce the interface conditions. The method of Lagrange multipliers is quite robust, but it gives rise to the mixed formulation and requires the solution of the saddle point type linear system of equations. arXiv:2102.08112v1 [math.NA] 16 Feb 2021 In this work, we model a domain with multiple inclusions using a variant of the unfitted FE method. We briefly introduce the unfitted discretization methods and then discuss the solution strategies for solving the arising saddle-point systems. In particular, we present a survey on the available preconditioning strategies for solving the primal and dual systems. 2 Model problem 2 We assume a domain Ω 2 R with the Lipschitz continuous boundary @Ω. This domain Ω is assumed to be decomposed into 1 2 n distinct non-overlapping parts, the matrix ΩM and n inclusions fΩI ; ΩI ;:::; ΩI g. The inclusions are assumed to be completely 1 2 n embedded in the matrix domain ΩM . Each inclusion is separated from the domain ΩM by interfaces fΓ ; Γ ;:::; Γ g. The interfaces associated with the inclusions are assumed to be sufficiently smooth. Thus, the domain is defined as, Ω = Sn i i i (ΩI [ Γ ) [ ΩM . The boundary @Ω is decomposed into Dirichlet and Neumann boundaries given as @ΩD and @ΩN , respectively. We assume that the domain is subjected to volume forces f and the traction/surface forces tN . Under the ∗[email protected] †[email protected] 1 14th World Congress on Computational14th World Mechanics Congress (WCCM) on Computational14th World Mechanics Congress (WCCM) on Computational14th World Mechanics Congress (WCCM) on Computational Mechanics (WCCM) ECCOMAS Congress 2020 ECCOMAS Congress 2020 ECCOMAS Congress 2020 ECCOMAS Congress 2020 Virtual Congress: 11 – 15 JanuaryVirtual 2021 Congress: 11 – 15 JanuaryVirtual 2021 Congress: 11 – 15 JanuaryVirtual 2021 Congress: 11 – 15 January 2021 F. Chinesta, R. Abgrall, O. Allix andF. Chinesta, M. Kaliske R. (Eds) Abgrall, O. Allix andF. Chinesta, M. Kaliske R. (Eds) Abgrall, O. Allix andF. Chinesta, M. Kaliske R. (Eds) Abgrall, O. Allix and M. Kaliske (Eds) 1 1 1 1 i (a) Inclusions in a matrix (b) An unfitted mesh Teh (c) Th;M encapsulating the (d) Th;I encapsulating the in- i matrix ΩM clusions ΩI 2 MULTIGRID AND2 MULTIGRID SADDLE-POINT AND2 MULTIGRID SADDLE-POINT PRECONDITIONERS AND2 MULTIGRID SADDLE-POINT PRECONDITIONERS AND SADDLE-POINT PRECONDITIONERS PRECONDITIONERS Figure 1: A domain with multiple inclusions and the unfitted meshes which encapsulates the matrix and inclusions. 3 FOR UNFITTED3 FOR FINITE UNFITTED ELEMENT3 FOR FINITE MODELLING UNFITTED ELEMENT3 FOR FINITE OF MODELLING UNFITTED ELEMENT FINITE OF MODELLING ELEMENT OF MODELLING OF 4 4 INCLUSIONS4 INCLUSIONS4 INCLUSIONS INCLUSIONS 1 2 n influence of these external forces, the domain under goes deformation, denoted as u := fuM ; uI ; uI ;:::; uI g. The deformation i or the displacement field is defined as a sufficiently regular function for the matrix domain as uM and the inclusions as uI . 5 On the interfaces, we assume5 the perfectHardik bonding Kothari, condition,5 Rolf such thatHardik Krause the displacement Kothari, field5 Rolf is definedHardik Krause to be Kothari, continuous. RolfHardik Krause Kothari, Rolf Krause The equation of the equilibrium, the boundary conditions and the interface conditions on such domain are written as 6 6 Affiliation6 Affiliation6 Affiliation Affiliation r · σ + f = 0 in Ω; 7 Institute of Computational7 Institute Science, of Universit`adella Computational7 SvizzeraInstitute Science, italiana, of Universit`adella Computational Lugano,7 Svizzera SwitzerlandInstitute Science, italiana, of Universit`adella Computational Lugano, Svizzera Switzerland Science, italiana, Universit`adella Lugano, SvizzeraSwitzerland italiana, Lugano, Switzerland u = 0 on @ΩD; 8 8 [email protected], [email protected] [email protected], [email protected] [email protected],(1) [email protected]@usi.ch, [email protected] σn = tN on @ΩN ; i ui = 0 on Γ ; for i = f1; 2; : : : ; ng; 9 Key words: Unfitted finite9 Key element words:J method,K Unfitted multigrid finite9 Key element method, words: method, saddle-pointUnfitted multigrid finite9 problemKey element method, words: method, saddle-pointUnfitted multigrid finite problem element method, method, saddle-point multigrid problem method, saddle-point problem where, σ denotes the Cauchy stress tensor and n denotes the outward normal. The jump of the displacement field is defined 10 Abstract. Ini this work,10 Abstract. we considerIn the this modeling work,10 Abstract. we of inclusionsconsiderIn thisthe in work,modeling the10 material weAbstract. consider of inclusions using theIn an modeling this in work, the material of we inclusions consider using in the the an modeling material of using inclusions an unfitted in the material using an unfitted as ui := uM jΓi − uI jΓi . We assume that the material is linear elastic and the constitutive law is provided by Hooke's law 11 σunfitted=J λtr(K ")I finite+ 2µ"; elementwhere λ and11 method.unfittedµ are Lam´eparameters, In finite the unfitted element and11 methods, method. tr(finite·) denotes element structuredIn the the trace unfittedmethod. operator. background11 methods, In Infinite the this meshes unfitted work, element structured we are considermethods, method. background the structured In the meshes unfitted background are methods, meshes structured are used background and meshes are used and 1 T 12 linearizedused and strain only tensor the underlying", given12 asused" finite:= and2 r element onlyu + (r theu) space underlying. 12 is modifiedonly finite the to elementunderlying incorporate space finite12 theis modified elementonly discontinuities, the spaceto underlying incorporate is modified finite the toelement discontinuities, incorporate space is the modified discontinuities, to incorporate such as the discontinuities, such as 13 such as inclusions. Hence,13 such the unfitted as inclusions. methods Hence, provide13 inclusions. the a unfitted more flexible Hence, methods framework the provide13 unfittedinclusions. fora more methods modeling flexible Hence, provide framework the unfitted a more for flexible methods modeling framework provide a for more modeling flexible the framework for modeling the 14 2.1the materials Unfitted with discretization multiple14 the inclusions. materials with We employ multiple14 materials the inclusions. method with of multiple We Lagrange employ14 inclusions.materials multipliers the method We with employ for of multiple Lagrange the inclusions. method multipliers of Lagrange We employ for multipliers the method for of enforcing Lagrange multipliers for enforcing 15 Weenforcing use a Cartesian the interface mesh Teh,15 conditions whichenforcing is assumed between the to interface bethe quasi-uniform inclusions15 conditionsthe and interface and shape between matrix, regular. conditions the which The inclusions15 mesh between givestheTeh interfaceis rise andthe fitted to matrix, inclusions to the conditions the domain which and between givesmatrix, rise the this to inclusions gives the rise and to the matrix, linear this system gives rise to the linear system i i 16 Ω,linear