Teorema do determinante de Sylvester

Question

Preciso de ajuda para provar a seguinte fórmula :

$log\,|\sigma^2\cdot I_N+\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|=(N-n)\cdot log\,\sigma^2+log\,|P(\alpha)|+log\,|\sigma^2\cdot P(\alpha)^{-1}+\varPhi_N\cdot\varPhi_N^T|$

O Matrix $\varPhi_N$ tem dimensão $n \times N$ enquanto a matriz $P(\alpha)$ tem dimensões $n \times n$e é positivo (semi?) - definido. A variável$\sigma^2$ tem dimensão $1 \times 1$ (escalar não negativo: $\sigma^2\ge0$)

Qualquer ajuda para resolver a simplificação acima é bem-vinda. Obrigado

O que tentei até agora: $(N-n)\cdot log\,\sigma^2+log\,|P(\alpha)|+log\,|\sigma^2\cdot P(\alpha)^{-1}+\varPhi_N\cdot\varPhi_N^T|=log(|\sigma^2\cdot I_{N-n}|\cdot |P(\alpha)|\cdot |\sigma^2\cdot P(\alpha)^{-1}+\varPhi_N\cdot\varPhi_N^T|)=log\,|\sigma^2\cdot I_N+\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$\implies$

$|\sigma^2\cdot I_{N-n}|\cdot |P(\alpha)|\cdot |\sigma^2\cdot P(\alpha)^{-1}+\varPhi_N\cdot\varPhi_N^T|=|\sigma^2\cdot I_N+\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$|\sigma^2\cdot I_{N-n}|\cdot |\sigma^2 \cdot P(\alpha)\cdot P(\alpha)^{-1}+P(\alpha)\cdot \varPhi_N\cdot\varPhi_N^T|=|\sigma^2\cdot I_N+\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$|\sigma^2\cdot I_{N-n}|\cdot |\sigma^2 \cdot I_n+P(\alpha)\cdot \varPhi_N\cdot\varPhi_N^T|=|\sigma^2\cdot I_N+\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$\sigma^{2\cdot(N-n)} \cdot \sigma^{2\cdot n}\cdot|I_n+\frac{1}{\sigma^2}\cdot P(\alpha)\cdot \varPhi_N\cdot\varPhi_N^T|=\sigma^{2\cdot N}\cdot|I_N+\frac{1}{\sigma^2}\cdot\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$\sigma^{2\cdot N} |I_n+\frac{1}{\sigma^2}\cdot P(\alpha)\cdot \varPhi_N\cdot\varPhi_N^T|=\sigma^{2\cdot N}\cdot|I_N+\frac{1}{\sigma^2}\cdot\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

$|I_n+\frac{1}{\sigma^2}\cdot P(\alpha)\cdot \varPhi_N\cdot\varPhi_N^T|=|I_N+\frac{1}{\sigma^2}\cdot\varPhi_N^T\cdot P(\alpha)\cdot\varPhi_N|$

deixei $A=\frac{1}{\sigma^2}\cdot P(\alpha)\cdot \varPhi_N$ e $B=\varPhi_N^T$

temos o teorema do determinante de Sylvester:

$|I_n+A \cdot B|=|I_N+B \cdot A|$

Answer 1

Eu editei minha pergunta com a resposta