Je vais recommencer à zéro, car le message d'origine contient des fautes de frappe comme des signes erronés, laissant tomber le V matrice, etc.
Vous avez spécifié avant p ( β) = N( 0 ,σ2V) et probabilité: p ( y| β) = N( B β,σ2je).
Nous pouvons écrire chacun de ceux-ci purement comme des expressions de termes à l'intérieur du exp qui dépendent de β, regroupant tous les termes sans rapport avec β en une seule constante:
Journalp ( β) + const = -12σ2βTV- 1β
Journalp ( y| β) + const = -12σ2(βTBTB β- 2yTB β) (Notez que yTB β=βTBTy toujours)
L'ajout de ceux-ci dans l'espace journal et la collecte de termes similaires donne le journal non normalisé postérieur
Journalp ( β| y) + const = -12σ2(βT(V- 1+BTB ) β- 2yTB β) (1)
... ici, nous avons utilisé l'identité standard XTA x +XTCx =XT( A + C) x pour tous les vecteurs X et matrices A , C de taille appropriée.
OK, notre objectif est maintenant de "compléter" le carré. Nous aimerions une expression du formulaire ci-dessous, qui indiquerait que le postérieur deβ est gaussien.
Journalp ( β| y) + const = ( β-μp)TΛp( β-μp) =βTΛpβ- 2μTpΛpβ+μTpΛpμp
où les paramètres μp,Λp définir respectivement la matrice postérieure de la moyenne et la covariance inverse.
Eh bien, par inspection eqn. (1) ressemble beaucoup à ce formulaire si nous définissons
Λp=V- 1+BTB et
μp=Λ- 1pBTy
En détail, nous pouvons montrer que cette substitution crée chaque terme nécessaire à partir de (1):
terme quadratique: βTΛpβ=βT(V- 1+BTB ) β
terme linéaire: μTpΛpβ= (Λ- 1pBTy)TΛpβ=yTBΛ- 1pΛpβ=yTB β
.... ici nous avons utilisé des faits ( A B)T=BTUNET et (Λ- 1p)T=Λ- 1p en raison de la symétrie (Λp est symétrique, alors son inverse aussi).
Cependant, cela nous laisse avec un terme supplémentaire embêtant μTpΛpμp. Pour éviter cela, nous soustrayons simplement ce terme de notre résultat final. Ainsi, nous pouvons directement remplacer notreμp,Λp paramètres dans (1) pour obtenir
Journalp ( β| y) + const = -12σ2[ ( β-μp)TΛp( β-μp) -μpΛpμp]
puisque ce dernier terme est constant par rapport à β, nous pouvons simplement l'écraser dans la grande constante de normalisation sur le côté gauche et nous avons atteint notre objectif.