Overlapping Schwarz preconditioned eigensolvers for spectral element discretizations

https://doi.org/10.1016/j.amc.2012.01.019Get rights and content

Abstract

Model generalized eigenproblems associated with self-adjoint differential operators in nonstandard homogeneous or heterogeneous domains are considered. Their numerical approximation is based on Gauss–Lobatto–Legendre conforming spectral elements defined by Gordon–Hall transfinite mappings. The resulting discrete eigenproblems are solved iteratively with a Locally Optimal Block Preconditioned Conjugate Gradient (LOBPCG) method, accelerated by an overlapping Schwarz preconditioner. Several numerical tests show the good convergence properties of the proposed preconditioned eigensolver, such as its scalability and quasi-optimality in the discretization parameters, which are analogous to those obtained for overlapping Schwarz preconditioners for linear systems.

Introduction

Many interesting scientific applications require the accurate evaluation of the smallest eigenpairs of large sparse matrices. In recent years, several iterative methods have been proposed for this task, trying to extend to eigenproblems the promising results obtained by the research community on preconditioned iterative methods for linear systems, see e.g. [22, Ch. 16] and the references therein.

In this paper, we consider a model generalized eigenproblem Au=λBu associated with a self-adjoint differential operator, in nonstandard homogeneous or heterogeneous domains. The problem is discretized by the standard conforming Spectral Element Method (SEM) based on quadrilateral elements and Gauss–Lobatto–Legendre (GLL) quadrature points, so the method can be viewed as a nodal version of hp Finite Element Methods (FEM); see, e.g., [5], [2], [8], [17], [29]. One difficulty in the implementation of the SEM is the approximation of problems in complex-shaped domains, arising in several branches of applied sciences. We shall address this point by using transfinite interpolation, or Gordon–Hall maps [15], in order to build very flexible maps from the reference square domain to a generic spectral element with quadrilateral shape and, in the general case, with curvilinear edges. In our previous work [16] on preconditioned iterative solvers for SEM–GLL linear systems, we showed that the good convergence properties (with respect to the discretization parameters h and p) of Schwarz preconditioners for standard rectangular elements are retained for SEM–GLL elements with Gordon–Hall maps. This previous study is here extended to eigenproblems arising from SEM–GLL discretizations.

In the FEM framework, several large mesh eigenproblems arising from mathematical physics have been addressed by means of preconditioned eigensolvers; see, e.g. [1], [3], [4], [12], [9], [21], [7], [20], [22]. Here, we consider the Locally Optimal Block Preconditioned Conjugate Gradient (LOBPCG) method [20], [19] that has been proposed for the numerical solution of large-scale, generalized symmetric positive definite eigenvalue problems. The SEM discrete systems arising at each LOBPCG iteration are preconditioned by the overlapping Schwarz (OS) method. The latter is based on partitioning the domain of the given problem into overlapping subdomains, solving parallel independent local problems on the subdomains, and solving a coarse problem on a coarse mesh, in order to ensure scalability; see, e.g., [11], [32] for a general introduction to OS methods, and [6], [13], [14], [16], [25] for OS applications to SEM discretizations.

The outline of this paper is as follows. We introduce the model eigenvalue problem and its SEM approximation in Section 2. In order to deal with nonstandard geometries, Gordon–Hall transfinite interpolation is introduced in Section 3. In Section 4, we recall a family of preconditioned, iterative eigensolvers including the LOBPCG method. In Section 5, the classical domain decomposition overlapping Schwarz preconditioner is applied to the LOBPCG eigensolver. The paper is concluded, in Section 6, by several numerical test problems showing the convergence properties of the LOBPCG-OS preconditioner with respect to the discretization parameters H,h,p.

Section snippets

Eigenvalue problem and spectral elements

Let ΩRd,d=2,3, be a bounded Lipschitz domain with piecewise smooth boundary Ω. For simplicity, we consider a model eigenvalue problem associated with an elliptic problem in the plane (d=2): Find eigenvalues λC and suitably regular eigenfunctions u such that-div(αgradu)=λβuinΩwith Dirichlet boundary conditions u=0 on Γ=Ω. The coefficients α>0 and β>0 are piecewise constant functions in Ω. Let V be the space V{vH1(Ω):v=0onΓ}, where H1(Ω) is the usual Sobolev space of functions in L2(Ω)

Nonstandard domains and Gordon–Hall transfinite mappings

One difficulty in the implementation of the SEM is the approximation of problems in complex-shaped domains, arising in several branches of applied sciences. We shall address the point by mapping structured grids from a reference square onto portions of the computational domain with quadrilateral shape and, in the general case, with curvilinear edges. Also, we are interested in defining meshes whose elements have good geometric properties. For instance, we can measure the regularity of a mesh by

Preconditioned solvers for eigenvalue problems

Let us now consider numerical algorithms for the approximation of the generalized eigenvalue problem (5). This problem belongs to the class of mesh eigenproblems, arising from discretizations of boundary value problems with self-adjoint differential operators of mathematical physics, where the mass matrix, here denoted by B, is only nonnegative. In this case it is convenient to consider the pencil μA-B with eigenvaluesμj=1λ,μnμ1.If B=I our results and arguments are readily applied to the

Overlapping Schwarz preconditioners

We now recall some domain decomposition methods and build some preconditioned conjugate gradient methods for the solution of the SEM discrete systems arising at step (5) of each iteration of the LOBPCG iteration. The preconditioner belongs to the family of overlapping Schwarz (OS) methods and is built from the solution of parallel independent local elliptic problems on overlapping subdomains, in addition to the solution of coarse problems on the coarse mesh, needed to ensure scalability. For a

Numerical results

We tested the proposed overlapping Schwarz LOBPCG method for the approximation of some generalized eigenvalue problems (1) in standard and nonstandard domains, discretized by GLL spectral elements employing Gordon–Hall transfinite mappings. We perform a convergence study in the p,H and h discretization parameters, and consider either a homogeneous medium (Test 1, 2, 3) with α=β=1 or a heterogeneous one (Test 4) presenting discontinuities in the diffusion coefficient α, for fixed β=1. Since we

References (32)

  • M.A. Casarin

    Quasi-optimal Schwarz methods for the conforming spectral element discretization

    SIAM J. Numer. Anal.

    (1997)
  • T.F. Chan et al.

    Subspace correction multilevel methods for elliptic eigenvalue problems

    Num. Linear Alg. Appl.

    (2002)
  • M.O. Deville et al.

    High-Order Methods for Incompressible Fluid Flow

    (2002)
  • M. Dryja et al.

    Domain decomposition algorithms with small overlap

    SIAM J. Sci.Comput.

    (1994)
  • E.G. D’yakonov et al.

    On an iterative method for finding lower eigenvalues

    Russian J. Numer. Anal. Math. Model.

    (1992)
  • Cited by (4)

    • A novel domain decomposition framework for the ground state solution of Bose–Einstein condensates

      2020, Computers and Mathematics with Applications
      Citation Excerpt :

      Accordingly, several studies have been conducted wherein the domain decomposition method is applied for solving boundary value problems. Interested readers can refer to [5–14], and the references cited therein. However, using the domain decomposition method to solve eigenvalue problems, especially nonlinear eigenvalue problems, remains relatively rare, such as [15–20], etc.

    View full text