Geometric means of quasi-Toeplitz matrices
share
We study means of geometric type of quasi-Toeplitz matrices, that are semi-infinite matrices A=(a_i,j)_i,j=1,2,… of the form A=T(a)+E, where E represents a compact operator, and T(a) is a semi-infinite Toeplitz matrix associated with the function a, with Fourier series ∑_ℓ=-∞^∞ a_ℓ e^𝔦ℓ t, in the sense that (T(a))_i,j=a_j-i. If a is and essentially bounded, then these matrices represent bounded self-adjoint operators on ℓ^2. We consider the case where a is a continuous function, where quasi-Toeplitz matrices coincide with a classical Toeplitz algebra, and the case where a is in the Wiener algebra, that is, has absolutely convergent Fourier series. We prove that if a_1,…,a_p are continuous and positive functions, or are in the Wiener algebra with some further conditions, then means of geometric type, such as the ALM, the NBMP and the Karcher mean of quasi-Toeplitz positive definite matrices associated with a_1,…,a_p, are quasi-Toeplitz matrices associated with the geometric mean (a_1⋯ a_p)^1/p, which differ only by the compact correction. We show by numerical tests that these operator means can be practically approximated.
READ FULL TEXT