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.

Some notes concerning preconditioning of linear parabolic optimal control problems

Robust preconditioners for optimal control with time-periodic parabolic equation

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

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

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

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

On generalized preconditioners for time-parallel parabolic optimal control

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

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

Second-order sufficient conditions for sparse optimal control of singular Allen–Cahn systems with dynamic boundary conditions

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

Optimal preconditioners for nonsymmetric multilevel Toeplitz systems with application to solving non-local evolutionary partial differential equations

Preconditioning Optimal Control of the Unsteady Burgers Equations with H1 Regularized Term

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

Restrictive Preconditioning for Convection-Diffusion Distributed Control Problems

Optimal operator preconditioning for pseudodifferential boundary problems

Diagonalization-based preconditioners and generalized convergence bounds for ParaOpt

A robust and time-parallel preconditioner for parabolic reconstruction problems using Isogeometric Analysis

Optimal control of a non-smooth elliptic PDE with non-linear term acting on the control

Final-state, Open-loop Control of Parabolic PDEs with Dirichlet Boundary Conditions

Nonlinear Schwarz preconditioning for nonlinear optimization problems with bound constraints