Sylvester belirleyici teoremi

Question

Aşağıdaki formülü kanıtlamak için biraz yardıma ihtiyacım var :

$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|$

Matris $\varPhi_N$ boyut var $n \times N$ matris iken $P(\alpha)$ boyutları var $n \times n$ve pozitif (yarı?) - kesin. Değişken$\sigma^2$ boyut var $1 \times 1$ (negatif olmayan skaler: $\sigma^2\ge0$).

Yukarıdaki basitleştirmenin üstesinden gelmek için her türlü yardıma açığız. teşekkür ederim

Şimdiye kadar denediğim şey: $(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|$

İzin Vermek $A=\frac{1}{\sigma^2}\cdot P(\alpha)\cdot \varPhi_N$ ve $B=\varPhi_N^T$

Sylvester'ın determinant teoremine sahibiz:

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

Answer 1

Sorumu cevapla düzenledim