一般的に成り立つのかなと思い質問しました。
考えてる行列はAを半正定値行列としたときC^k=Aとなる半正定値行列Cです