Q20
Matrices
Determinant and Rank Computation
View
Let $A \in S _ { n } ^ { + + } ( \mathbf { R } )$ and $M \in S _ { n } ( \mathbf { R } )$, and let $\varepsilon_0 > 0$ be such that for all $t \in ] - \varepsilon _ { 0 } , \varepsilon _ { 0 } [ , A + t M \in S _ { n } ^ { + + } ( \mathbf { R } )$. Let $\alpha \in ] - \frac { 1 } { n } , + \infty \left[ \backslash \{ 0 \} \right.$. We define the application $\varphi _ { \alpha }$ by
$$\forall t \in ] - \varepsilon _ { 0 } , \varepsilon _ { 0 } \left[ , \varphi _ { \alpha } ( t ) = \frac { 1 } { \alpha } \operatorname { det } ^ { - \alpha } ( A + t M ) \right.$$
Show that $\varphi _ { \alpha }$ is differentiable on $] - \varepsilon _ { 0 } , \varepsilon _ { 0 } [$ and that
$$\forall t \in ] - \varepsilon _ { 0 } , \varepsilon _ { 0 } \left[ , \quad \varphi _ { \alpha } ^ { \prime } ( t ) = - \operatorname { Tr } \left( ( A + t M ) ^ { - 1 } M \right) \operatorname { det } ^ { - \alpha } ( A + t M ) . \right.$$