On the topic of frequency dependent exponential decay matrices and Lie groups

Abstract : This document is an annex of the paper [1], providing mathematical proofs of theorems that we use in the paper. More specifically, we will prove that the set P, of which we recall the definition in Section 1, is a matrix Lie group in Section 2 and that we can swap matrices of P with lower triangular Toeplitz matrices in Section 3.