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 Class of Iterative Greedy Algorithms Related to Blaschke Product

Riemannian Optimization for Phase Retrieval from Masked Fourier Measurements

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

Fourier Analysis of Iterative Algorithms

On the Nearest Kronecker Product Problem Under Orthonormal Constraints

Numerical evaluation of oscillatory integrals via automated steepest descent contour deformation

Improving Greedy Algorithms for Rational Approximation

A Class of Fifth-Order Chebyshev–Halley-Type Iterative Methods and Its Stability Analysis

A unified way of analyzing some greedy algorithms

Classical and Quantum Iterative Optimization Algorithms Based on Matrix Legendre-Bregman Projections

Preimages under linear combinations of iterates of finite Blaschke products

A class of pseudoinverse-free greedy block nonlinear Kaczmarz methods for nonlinear systems of equations

Blaschke Product Neural Networks (BPNN): A Physics-Infused Neural Network for Phase Retrieval of Meromorphic Functions

Diagonal and normal with Toeplitz-block splitting iteration method for space fractional coupled nonlinear Schrödinger equations with repulsive nonlinearities

Iterative Methods by Space Decomposition and Subspace Correction

An efficient iterative procedure in hyperbolic space and application to non-linear delay integral equation

On the Fourier coefficients of powers of a Blaschke factor and strongly annular fonctions

The Akhiezer iteration

On the Fourier Coefficients of Powers of a Finite Blaschke Product