D≡Y1,Y2,…,YN
- H0:Yi∼Normal(μ,σ)
- HA:Yi∼Cauchy(ν,τ)
Jedna hipoteza ma wariancję skończoną, jedna ma wariancję nieskończoną. Wystarczy obliczyć szanse:
P(H0|D,I)P(HA|D,I)=P(H0|I)P(HA|I)∫P(D,μ,σ|H0,I)dμdσ∫P(D,ν,τ|HA,I)dνdτ
P(H0|I)P(HA|I)
P(D,μ,σ|H0,I)=P(μ,σ|H0,I)P(D|μ,σ,H0,I)
P(D,ν,τ|HA,I)=P(ν,τ|HA,I)P(D|ν,τ,HA,I)
L1<μ,τ<U1L2<σ,τ<U2
(2π)−N2(U1−L1)log(U2L2)∫U2L2σ−(N+1)∫U1L1exp⎛⎝⎜−N[s2−(Y¯¯¯¯−μ)2]2σ2⎞⎠⎟dμdσ
s2=N−1∑Ni=1(Yi−Y¯¯¯¯)2Y¯¯¯¯=N−1∑Ni=1Yi
π−N(U1−L1)log(U2L2)∫U2L2τ−(N+1)∫U1L1∏i=1N(1+[Yi−ντ]2)−1dνdτ
A teraz, biorąc ten stosunek, stwierdzamy, że ważne części stałych normalizujących anulują się i otrzymujemy:
P(D|H0,I)P(D|HA,I)=(π2)N2∫U2L2σ−(N+1)∫U1L1exp(−N[s2−(Y¯¯¯¯−μ)2]2σ2)dμdσ∫U2L2τ−(N+1)∫U1L1∏Ni=1(1+[Yi−ντ]2)−1dνdτ
Wszystkie całki są nadal prawidłowe w limicie, dzięki czemu możemy uzyskać:
P(D|H0,I)P(D|HA,I)=(2π)−N2∫∞0σ−(N+1)∫∞−∞exp(−N[s2−(Y¯¯¯¯−μ)2]2σ2)dμdσ∫∞0τ−(N+1)∫∞−∞∏Ni=1(1+[Yi−ντ]2)−1dνdτ
∫∞0σ−(N+1)∫∞−∞exp⎛⎝⎜−N[s2−(Y¯¯¯¯−μ)2]2σ2⎞⎠⎟dμdσ=2Nπ−−−−√∫∞0σ−Nexp(−Ns22σ2)dσ
λ=σ−2⟹dσ=−12λ−32dλ
−2Nπ−−−−√∫0∞λN−12−1exp(−λNs22)dλ=2Nπ−−−−√(2Ns2)N−12Γ(N−12)
I otrzymujemy jako ostateczną formę analityczną dla szans na pracę numeryczną:
P(H0|D,I)P(HA|D,I)=P(H0|I)P(HA|I)×πN+12N−N2s−(N−1)Γ(N−12)∫∞0τ−(N+1)∫∞−∞∏Ni=1(1+[Yi−ντ]2)−1dνdτ
Można to zatem traktować jako swoisty test wariancji skończonej kontra nieskończonej. Możemy również wykonać rozkład T do tego szkieletu, aby uzyskać kolejny test (przetestować hipotezę, że stopnie swobody są większe niż 2).