Jing-Rebecca Li†

Abstract. This paper presents the Cholesky factor–alternating direction implicit (CF–ADI) algo-rithm, which generates a low-rank approximation to the solution X of the Lyapunov equation AX + XAT = −BBT. The coefficient matrix A is assumed to be large, and the rank of the right-hand side −BBT is assumed to be much smaller than the size of A. The CF–ADI algorithm requires only matrix-vector products and matrix-vector solves by shifts of A. Hence, it enables one to take advantage of any sparsity or structure in A. This paper also discusses the approximation of the dominant invariant subspace of the solution X. We characterize a group of spanning sets for the range of X. A connection is made between the approximation of the dominant invariant subspace of X and the gener-ation of various low-order Krylov and rational Krylov subspaces. It is shown by numerical examples that the rational Krylov subspace generated by the CF–ADI algorithm, where the shifts are obtained as the solution of a rational minimax problem, often gives the best approximation to the dominant invariant subspace of X. Key words. Lyapunov equation, alternating direction implicit iteration, low-rank approximation, dominant invariant subspace, iterative method