Matrix inequalities related to power means of probability measures

For a probability measure of compact support μ on the set Pn of all positive definite matrices and t∈(0,1], let Pt(μ) be the unique positive solution of X=∫PnX♯tZdμ(Z). In this paper, we show that ...