N.J.: Iterative solution of a nonsymmetric algebraic Riccati equation

Abstract. We study the nonsymmetric algebraic Riccati equation whose four coefficient matri-ces are the blocks of a nonsingular M-matrix or an irreducible singular M-matrix M. The solution of practical interest is the minimal nonnegative solution. We show that Newton’s method with zero initial guess can be used to find this solution without any further assumptions. We also present a qualitative perturbation analysis for the minimal solution, which is instructive in designing al-gorithms for finding more accurate approximations. For the most practically important case, in which M is an irreducible singular M-matrix with zero row sums, the minimal solution is either stochastic or substochastic and the Riccati equation can be transformed into a unilateral matrix equation by a procedure of Ramaswami. The minimal solution of the Riccati equation can then be found by computing the minimal nonnegative solution of the unilateral equation using the Latouche– Ramaswami algorithm. When the minimal solution of the Riccati equation is stochastic, we show that the Latouche–Ramaswami algorithm, combined with a shift technique suggested by He, Meini, and Rhee, is breakdown-free and is able to find the minimal solution more efficiently and more ac-curately than the algorithm without a shift. When the minimal solution of the Riccati equation is substochastic, we show how the substochastic minimal solution can be found by computing the stochastic minimal solution of a related Riccati equation of the same type. Key words. nonsymmetric algebraic Riccati equation,M-matrix, minimal nonnegative solution