Abstract:Solving time-harmonic wave propagation problems by iterative methods is a difficult task, and over the last two decades an important research effort has gone into developing preconditioners for the simplest representative of such wave propagation problems, the Helmholtz equation. A specific class of these new preconditioners is considered here. They were developed by researchers with various backgrounds using formulations and notations that are very different, and all are among the most promising preconditioners for the Helmholtz equation. \indent The goal of the present article is to show that this class of preconditioners is based on a common mathematical principle, and that they can all be formulated in the context of domain decomposition methods known as optimized Schwarz methods. This common formulation allows us to explain in detail how and why all these methods work. The domain decomposition formulation also allows us to avoid technicalities in the implementation description we give of these recent methods. \indent The equivalence of these methods with optimized Schwarz methods translates at the discrete level into equivalence with approximate block LU decomposition preconditioners, and in each case we give the algebraic version, including a detailed description of the approximations used. While we choose to use the Helmholtz equation for which these methods were developed, our notation is completely general and the algorithms we give are written for an arbitrary second-order elliptic operator. The algebraic versions are even more general, assuming only a connectivity pattern in the discretization matrix. \indent All the new methods studied here are based on sequential decomposition of the problem in space into a sequence of subproblems, and they have in their optimal form the property to lead to nilpotent iterations, like an exact block LU factorization. Using our domain decomposition formulation, we finally present an algorithm for two-dimensional decompositions, i.e., decompositions that contain cross points, which is still nilpotent in its optimal form. Its approximation is currently an active area of research, and it would have been difficult to discover such an algorithm without the domain decomposition framework.

A fast direct solver for nonlocal operators in wavelet coordinates

Fast wavelet decomposition of linear operators through product-convolution expansions

A novel direct Helmholtz solver in inhomogeneous media based on the operator Fourier transform functional calculus

Superfast direct inversion of the nonuniform discrete Fourier transform via hierarchically semi-separable least squares

A fast energy conserving finite element method for the nonlinear fractional Schrödinger equation with wave operator

Universal Scalable Robust Solvers from Computational Information Games and fast eigenspace adapted Multiresolution Analysis

An adaptive fast solver for a general class of positive definite matrices via energy decomposition

Hierarchical Super-Localized Orthogonal Decomposition Method

Sparse Compression of Expected Solution Operators

Sine-transform-based fast solvers for Riesz fractional nonlinear Schrödinger equations with attractive nonlinearities

Fast direct solvers for integral equations in complex three-dimensional domains

An efficient proximal-based approach for solving nonlocal Allen-Cahn equations

Wavelet compressed, modified Hilbert transform in the space-time discretization of the heat equation

A direct solver with O(N) complexity for integral equations on one-dimensional domains

Fast Fourier Solvers for the Tensor Product High-Order FEM for a Poisson Type Equation

A Class of Iterative Solvers for the Helmholtz Equation: Factorizations, Sweeping Preconditioners, Source Transfer, Single Layer Potentials, Polarized Traces, and Optimized Schwarz Methods

Compression of boundary integral operators discretized by anisotropic wavelet bases

On the implementation of large-scale integral operators with modern HPC solutions -- Application to 3D Marchenko imaging by least-squares inversion

A scalable domain decomposition method for FEM discretizations of nonlocal equations of integrable and fractional type

Efficient implementation of the Localized Orthogonal Decomposition method

High-performance modeling acoustic and elastic waves using the Parallel Dichotomy Algorithm