On Ando-Li-Mathias geometric mean equations (Q2479492)

Recently, \textit{T. Ando, C.-K. Li} and \textit{R. Mathias} [Linear Algebra Appl. 385, 305--334 (2004; Zbl 1063.47013)] proposed a successful definition of the geometric mean \(G(A_1,A_2,\dots,A_n)\) of \(n\) positive definite matrices \(A_i\) via a symmetrization procedure. The main concern of this paper are the extended geometric mean equations based on the Ando-Li-Mathias's geometric mean of several positive definite matrices. The author considers a family of nonlinear matrix equations based on the higher-order geometric means of positive definite matrices proposed by Ando-Li-Mathias and proves that the geometric mean equation \[ X= B+ G(A_1, A_2,\dots, A_m,\undersetbrace n\to{X,X,\dots, X})\qquad (n= 0,1,2,\dots) \] has a unique positive definite solution depending continuously on the parameters of positive definite \(A_i\) and positive semidefinite \(B\). It is shown that the unique positive definite solutions \(G_ n(A_1,A_2,\dots, A_m)\) for \(B= 0\) satisfy the minimum properties of geometric means yielding a sequence of higher-order geometric means of positive definite matrices.