Abstract:In this work, we propose a novel preconditioned Krylov subspace method for solving an optimal control problem of wave equations, after explicitly identifying the asymptotic spectral distribution of the involved sequence of linear coefficient matrices from the optimal control problem. Namely, we first show that the all-at-once system stemming from the wave control problem is associated to a structured coefficient matrix-sequence possessing an eigenvalue distribution. Then, based on such a spectral distribution of which the symbol is explicitly identified, we develop an ideal preconditioner and two parallel-in-time preconditioners for the saddle point system composed of two block Toeplitz matrices. For the ideal preconditioner, we show that the eigenvalues of the preconditioned matrix-sequence all belong to the set $\left(-\frac{3}{2},-\frac{1}{2}\right)\bigcup \left(\frac{1}{2},\frac{3}{2}\right)$ well separated from zero, leading to mesh-independent convergence when the minimal residual method is employed. The proposed {parallel-in-time} preconditioners can be implemented efficiently using fast Fourier transforms or discrete sine transforms, and their effectiveness is theoretically shown in the sense that the eigenvalues of the preconditioned matrix-sequences are clustered around $\pm 1$, which leads to rapid convergence. When these parallel-in-time preconditioners are not fast diagonalizable, we further propose modified versions which can be efficiently inverted. Several numerical examples are reported to verify our derived localization and spectral distribution result and to support the effectiveness of our proposed preconditioners and the related advantages with respect to the relevant literature.

Block [math]-Circulant Preconditioners for Parabolic Optimal Control Problems

Block $ω$-circulant preconditioners for parabolic optimal control problems

An optimal parallel-in-time preconditioner for parabolic optimal control problems

Efficient Iterative Solvers for a Complex Valued Two-by-two Block Linear System with Application to Parabolic Optimal Control Problems

Robust preconditioners for optimal control with time-periodic parabolic equation

Robust Preconditioning Techniques for Multiharmonic Finite Element Method with Application to Time-Periodic Parabolic Optimal Control Problems

A Note on Preconditioners for Complex Linear Systems Arising from Pde-Constrained Optimization Problems

Rotated block diagonal preconditioners for Navier-Stokes control problems

A preconditioned MINRES method for optimal control of wave equations and its asymptotic spectral distribution theory

Two Preconditioners for Time-Harmonic Eddy-Current Optimal Control Problems

On generalized preconditioners for time-parallel parabolic optimal control

On Structure Preserving and Circulant Preconditioners for the Space Fractional Coupled Nonlinear Schrödinger Equations

Block-Symmetric and Block-Lower-Triangular Preconditioners for PDE-Constrained Optimization Problems

Some notes concerning preconditioning of linear parabolic optimal control problems

Optimal and Low-Memory Near-Optimal Preconditioning of Fully Implicit Runge-Kutta Schemes for Parabolic PDEs

A New Preconditioning Strategy for Solving a Class of Time-Dependent Pde-Constrained Optimization Problems

A block $α$-circulant based preconditioned MINRES method for wave equations

Additive block diagonal preconditioning for block two-by-two linear systems of skew-Hamiltonian coefficient matrices

Efficient parallel inversion of ParaOpt preconditioners

Some Preconditioners for Block Pentadiagonal Linear Systems Based on New Approximate Factorization Methods

Diagonalization-based preconditioners and generalized convergence bounds for ParaOpt