Le PDF d'une distribution normale est
fμ,σ(x)=12π−−√σe−(x−μ)22σ2dx
mais en termes de il estτ=1/σ2
gμ,τ(x)=τ−−√2π−−√e−τ(x−μ)22dx.
Le PDF d'une distribution Gamma est
hα,β(τ)=1Γ(α)e−τβτ−1+αβ−αdτ.
Leur produit, légèrement simplifié avec l'algèbre facile, est donc
fμ,α,β(x,τ)=1βαΓ(α)2π−−√e−τ((x−μ)22+1β)τ−1/2+αdτdx.
Sa partie intérieure a évidemment la forme , ce qui en fait un multiple d'une fonction Gamma lorsqu'elle est intégrée sur toute la plage τ = 0 à τ = ∞ . Cette intégrale est donc immédiate (obtenue en sachant que l'intégrale d'une distribution gamma est l'unité), donnant la distribution marginaleexp(−constant1×τ)×τconstant2dττ=0τ=∞
fμ,α,β(x)=β−−√Γ(α+12)2π−−√Γ(α)1(β2(x−μ)2+1)α+12.
Essayer de faire correspondre le modèle fourni pour la distribution montre qu'il y a une erreur dans la question: le PDF pour la distribution t de Student est en fait proportionnel àt
1k−−√s⎛⎝⎜⎜11+k−1(x−ls)2⎞⎠⎟⎟k+12
(la puissance de est 2 , pas 1 ). La correspondance des termes indique k = 2 α , l = μ et s = 1 / √(x−l)/s21k=2αl=μ .s=1/αβ−−−√
Notez qu'aucun calcul n'était nécessaire pour cette dérivation: tout consistait à rechercher les formules des PDF normaux et gamma, à effectuer des manipulations algébriques triviales impliquant des produits et des puissances, et à associer des modèles dans des expressions algébriques (dans cet ordre).
la source
To simplify we assume mean0 . Using representation, we show the result for integer degrees of freedom.
1/τ−−−√X=Y
is equivalent to a Gaussian mixture with that prior: conditioned on τ , Y is Gaussian with precision τ , and the prior τ is as desired. Then it remains to show that 1/τ−−−√X is a t-distribution.
We can write
τ∼Γ(α,β)∼β2Γ(α,2)∼β2χ2(2α)
using a well-known result about gammas and Chi-squares (decompose a gamma as a sum of exponentials and combine the exponentials to normals to Chi squares)
This in turn implies that
Y∼X1(β/2)χ2(2α)−−−−−−−−−−√
=Xαβ−−−√χ22α/(2α)−−−−−−−√
which is a scaled t with k=2α and s=1/αβ−−−√ by variance of t. We can recenter our representation at μ and l would follow.
la source