We present an algorithm for the solution of Sylvester equations with right-hand side of low rank. The method is based on projection onto a block rational Krylov subspace, with two key contributions with respect to the state of the art. First, we show how to maintain the last pole equal to infinity throughout the iteration, by means of pole reordering, which allows for a cheap evaluation of the true residual at every step. Second, we extend the convergence analysis in [B. Beckermann, SIAM J. Numer. Anal., 49 (2011), pp. 2430–2450] to the block case. This extension allows us to link the convergence with the problem of minimizing the norm of a small rational matrix over the spectra or field-of-values of the involved matrices. This is in contrast with the nonblock case, where the minimum problem is scalar, instead of matrix valued. Replacing the norm of the objective function with a more easily evaluated function yields several adaptive pole selection strategies, providing a theoretical analysis for known heuristics, as well as effective novel techniques. Reproducibility of computational results. This paper has been awarded the “SIAM Reproducibility Badge: Code and data available” as a recognition that the authors have followed reproducibility principles valued by SISC and the scientific computing community. Code and data that allow readers to reproduce the results in this paper are available at https://github.com/numpi/rk\_adaptive\_sylvester and in the supplementary materials (125720\_2\_supp\_537920\_object\_rzygf9.zip [7.20KB]).
An Efficient Block Rational Krylov Solver for Sylvester Equations with Adaptive Pole Selection
CASULLI, Angelo Alberto;Robol, L.
2024
Abstract
We present an algorithm for the solution of Sylvester equations with right-hand side of low rank. The method is based on projection onto a block rational Krylov subspace, with two key contributions with respect to the state of the art. First, we show how to maintain the last pole equal to infinity throughout the iteration, by means of pole reordering, which allows for a cheap evaluation of the true residual at every step. Second, we extend the convergence analysis in [B. Beckermann, SIAM J. Numer. Anal., 49 (2011), pp. 2430–2450] to the block case. This extension allows us to link the convergence with the problem of minimizing the norm of a small rational matrix over the spectra or field-of-values of the involved matrices. This is in contrast with the nonblock case, where the minimum problem is scalar, instead of matrix valued. Replacing the norm of the objective function with a more easily evaluated function yields several adaptive pole selection strategies, providing a theoretical analysis for known heuristics, as well as effective novel techniques. Reproducibility of computational results. This paper has been awarded the “SIAM Reproducibility Badge: Code and data available” as a recognition that the authors have followed reproducibility principles valued by SISC and the scientific computing community. Code and data that allow readers to reproduce the results in this paper are available at https://github.com/numpi/rk\_adaptive\_sylvester and in the supplementary materials (125720\_2\_supp\_537920\_object\_rzygf9.zip [7.20KB]).File | Dimensione | Formato | |
---|---|---|---|
23m1548463.pdf
accesso aperto
Tipologia:
Published version
Licenza:
Solo Lettura
Dimensione
592.14 kB
Formato
Adobe PDF
|
592.14 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.