An adaptive BDDC method enhanced with prior selected primal constraints

https://doi.org/10.1016/j.camwa.2020.08.005Get rights and content

Abstract

An adaptive BDDC (Balancing Domain Decomposition by Constraints) method is considered for three dimensional elliptic problems with coefficients of random variation and high contrast. For such model problems, a certain generalized eigenvalue problem on each subdomain interface is formed to select primal constraints adaptively. In three dimensions, eigenvalue problems are formed on each face or edge nodal equivalence classes. For the case of edges, proposed eigenvalue problems in previous studies are not satisfactory while those for faces perform very effectively. The eigenvalue problems can be enhanced by utilizing prior selected primal constraints. In this paper, this new idea is adopted when forming edge eigenvalue problems and the resulting adaptive BDDC preconditioner is analyzed. In numerical experiments, the new edge eigenvalue problem is also shown to provide a more optimal set of adaptive primal constraints compared to those in the previous studies.

Introduction

An adaptive BDDC (Balancing Domain Decomposition by Constraints) method is developed for three dimensional elliptic problems. For model problems with random and high contrast coefficients, the standard primal unknowns based on the subdomain partition, i.e., unknowns at subdomain vertices, edge averages, and face averages, are not enough and adaptive primal unknowns are included to enhance the coarse component of the BDDC preconditioner. Adaptive primal constraints are selected from well-designed eigenvalue problems on subdomain edges or faces, where edges are nodal equivalence classes shared by more than two subdomains and faces are shared by two subdomains. The adaptive primal unknowns are then formed after change of unknowns on those selected primal constraints. There have been many previous studies to address how to form such eigenvalue problems so as to obtain an effective set of adaptive primal unknowns for the BDDC algorithm for three dimensional problems [1], [2], [3], [4], [5]. We also note that similar approaches have been studied for other types of domain decomposition algorithms, such as overlapping Schwarz methods and FETI(-DP) methods [6], [7], [8], [9], [10], [11], and for BDDC algorithms of isogeometric analysis [12].

For the three dimensional case, a main difficulty in forming such eigenvalue problems is due to the edge nodal equivalence classes, that are shared by more than two subdomains. In the pioneering works [1], [2] by Mandel, Sousedík, and Šístek, eigenvalue problems are formed on the closed faces and the adaptive primal constraints are restricted on open faces discarding values on face boundaries, i.e., edges. Their approach presented promising results for their test models in engineering applications but it was later noticed that the adaptive primal constraints on open faces are not enough to provide a robust preconditioner for some difficult applications [9]. In the works [9], [11] by Klawonn and his coworkers, a more advanced approach was proposed. The adaptive primal constraints chosen from eigenvalue problems on closed faces are applied on both open faces and open edges. In addition, pairwise edge eigenvalue problems are formed to select more adaptive primal constraints, which are needed to obtain a more robust coarse problem in three dimensions. In their work, analysis for estimate of condition numbers was also provided.

In more recent works [3], [4], eigenvalue problems are formed for each open faces and open edges to select the adaptive primal constraints. For the case of open edges, single eigenvalue problem is formed for an edge, where all the subdomains sharing the edge are combined. This resulted a less optimal edge eigenvalue problem and thus the cutting criterion for the eigenvalues when choosing the adaptive primal constraints is not as clear as in the face eigenvalue problem. We note that pairwise edge eigenvalue problems are considered in [11] and for this case a postprocessing is needed to make all the selected primal constraints orthogonal. Estimate of condition numbers was analyzed for the deluxe scaling in [3], and was shown for a general scaling in [4]. In [5], a new idea was proposed to form a more effective eigenvalue problem, where prior selected primal unknowns can be combined when forming eigenvalue problems. Further implementation details and numerical experiments have not been considered in [5].

In this work, by adapting the idea proposed in [5], a new edge eigenvalue problem is formed for a localized finite element space associated to an edge, where previously selected adaptive primal constraints are enforced. In the DD25 meeting [13], the first author also discussed with Clemens Pechstein about some implementation issues for this new approach. Estimate of condition numbers is analyzed for the adaptive BDDC method with the new edge eigenvalue problem and numerical experiments present that the cutting criterion is clear for this new edge eigenvalue problem, just like the face eigenvalue problem, that was shown to perform very effectively for many test examples [3], [4]. In addition, quite a small number of adaptive primal unknowns are chosen from the new edge eigenvalue problem compared to those in [3], [4].

This paper is organized as follows. In Section 2, we introduce a model problem and finite element spaces and in Sections 3 Adaptive BDDC algorithm, 4 Eigenvalue problems and estimate of condition numbers we include a brief description on BDDC algorithms and present how one can form suitable eigenvalue problems on faces and edges to select adaptive primal unknowns. In Section 5, adapting the idea in [5], we propose a new edge eigenvalue problem and provide the estimate of condition numbers for the resulting adaptive BDDC preconditioner. In Section 6, we present numerical results of the proposed method for various test examples to show that the proposed edge eigenvalue problem gives a more effective set of primal unknowns than that in the previous studies.

Section snippets

Model problem and finite element spaces

We consider the following model elliptic problem (ρ(x)u(x))=f(x),xΩwith a given boundary condition on u(x) and with ρ(x) highly varying and heterogeneous. The domain Ω is in the three dimensions. We introduce a conforming linear finite element space X̂ for the given domain Ω. For a presentation of the BDDC algorithm, we introduce a non-overlapping subdomain partition {Ωi}, where we assume that the subdomain boundaries do not cut the mesh in the finite element space X̂. We use the notation

Adaptive BDDC algorithm

In this section, we introduce a brief introduction to BDDC algorithms. We note that the BDDC algorithms are closely related to FETI-DP (Dual–Primal Finite Element Tearing and Interconnecting) algorithms and the two algorithms are shown to have the same estimate of condition numbers when the same set of primal unknowns is employed. We refer [14], [15], [16], [17] for more details of these two algorithms.

We recall that after change of unknowns for the chosen primal constraints on W and X, one can

Eigenvalue problems and estimate of condition numbers

In this section, we will describe how one can form eigenvalue problems on face and edge equivalence classes to control the condition numbers of the BDDC algorithm by a given tolerance value λTOL, i.e., κ(MBDDC1R˜TS˜R˜)CλTOL,where the constant C is independent of ρ(x) and any mesh parameters.

The idea is originated from the upper bound estimate in the BDDC and FETI-DP preconditioners. In the estimate of condition numbers of BDDC and FETI-DP preconditioners, the average and jump operators are

New edge eigenvalue problem

In this section, we will propose a new edge eigenvalue problem that will give a more optimal set of primal constraints. Instead of introducing the matrices AE and A˜E, we will directly work on the terms in (4.7). In addition we will form an edge eigenvalue problem adopting the new idea proposed in [5, Strategy 3], where prior selected primal unknowns are included to the eigenvalue problem. For an edge E, shared by more than two subdomains, we recall n(E), the set of subdomain indices sharing

Numerical results

In this section, we present numerical experiments for the proposed method. We will consider a unit cubic domain Ω and partition it into uniform cubic subdomains Ωi. Each subdomain is partitioned into a uniform mesh so that the resulting mesh forms a conforming finite element space for the given domain Ω. In the following we use the notation N for the number of subdomains in each axis and n for the number of elements in each subdomain axis. In the CG (Conjugate Gradient) iteration we stop the

Conclusions

An adaptive BDDC preconditioner is proposed for fast solutions of an algebraic system obtained from finite element discretization of elliptic problems in three dimensions. Adaptive primal constraints are employed to enrich the coarse component in the standard BDDC preconditioner to make it robust to coefficient variations in the model problems. The adaptive primal constraints are selected by considering suitable eigenvalue problems on the subdomain interface. In three dimensions, the eigenvalue

CRediT authorship contribution statement

Hyea Hyun Kim: Proposed the subject of the research and worked on the analysis of the proposed method, Editing the paper throughout. Junxian Wang: Worked on numerical computations of the proposed method and worked on editing the paper.

References (22)

  • KlawonnA. et al.

    FETI-DP methods with an adaptive coarse space

    SIAM J. Numer. Anal.

    (2015)
  • Cited by (2)

    • Robust BDDC algorithms for the Brinkman problem with HDG discretizations

      2022, Computer Methods in Applied Mechanics and Engineering
      Citation Excerpt :

      However, the algorithms can be implemented in three dimensions similarly and give comparable performance due to the HDG discretization. For the problems with standard finite element discretizations, the adaptive BDDC algorithms in the three dimensions are considerably more complicated than those in the two dimensions since there are degrees of freedom from vertices, edges, and faces in the three dimensions, [43–45]. However, with the HDG discretizations, the degrees of freedom are only those on the edges for the two dimensions and on the faces for the three dimensions, respectively.

    1

    The research of Hyea Hyun Kim is supported by the National Research Foundation of Korea (NRF) grants funded by NRF-2015R1A5A1009350 and NRF-2019R1A2C1010090..

    2

    The research of Junxian Wang is supported by National Natural Science Foundation of China (Project number 11971414), Scientific Research Fund of Hunan Provincial Education department (Project number 18B082) and Hunan Provincial Civil Military Integration Industrial Development Project “Adaptive Multilevel Solver and Its Application in ICF Numerical Simulation .”.

    View full text