Books Probability and Statistical Inference

Random Functions Associated with the Normal Distributions

Theorem 5.7

Let 𝑋1,…,𝑋𝑛{𝑋}_{1},\ldots ,{𝑋}_{𝑛} be 𝑛𝑛 independent random variables with π‘‹π‘–βˆΌπ’©(μ𝑖,σ𝑖2){𝑋}_{𝑖}βˆΌπ’©({\mu }_{𝑖},{\sigma }_{𝑖}^{2}) for 𝑖=1,…,𝑛𝑖=1,\ldots ,𝑛 and π‘Œ=βˆ‘π‘–=1π‘›π‘Žπ‘–π‘‹π‘–π‘Œ={\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{𝑋}_{𝑖} where π‘Ž1,…,π‘Žπ‘›βˆˆR{π‘Ž}_{1},\ldots ,{π‘Ž}_{𝑛}\in \mathbb{R} are constants. Then,

π‘ŒβˆΌπ’©(βˆ‘π‘–=1π‘›π‘Žπ‘–ΞΌπ‘–,βˆ‘π‘–=1π‘›π‘Žπ‘–2σ𝑖2).π‘ŒβˆΌπ’©\left(\sum _{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{\mu }_{𝑖},\sum _{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}\right).
Remark
Note that the sum of independent normal random variables π‘Œπ‘Œ has mean βˆ‘π‘–=1π‘›π‘Žπ‘–ΞΌπ‘–{\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{\mu }_{𝑖} and variance βˆ‘π‘–=1π‘›π‘Žπ‘–2σ𝑖2{\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}. This agrees with the result of Theorem 5.4.
Proof

The MGF of 𝑋𝑖{𝑋}_{𝑖} is given by

𝑀𝑋𝑖(𝑑)=exp⁑(μ𝑖𝑑+σ𝑖2𝑑22).{𝑀}_{{𝑋}_{𝑖}}(𝑑)=\exp \left({\mu }_{𝑖}𝑑+\frac{{\sigma }_{𝑖}^{2}{𝑑}^{2}}{2}\right).

By Theorem 5.5, we have

π‘€π‘Œ(𝑑)=βˆπ‘–=1𝑛𝑀𝑋𝑖(π‘Žπ‘–π‘‘)=βˆπ‘–=1𝑛exp⁑(π‘Žπ‘–ΞΌπ‘–π‘‘+π‘Žπ‘–2σ𝑖2𝑑22)=exp⁑[(βˆ‘π‘–=1π‘›π‘Žπ‘–ΞΌπ‘–)𝑑+(βˆ‘π‘–=1π‘›π‘Žπ‘–2σ𝑖2)𝑑22].\begin{aligned}{𝑀}_{π‘Œ}(𝑑)=\prod _{𝑖=1}^{𝑛}{𝑀}_{{𝑋}_{𝑖}}({π‘Ž}_{𝑖}𝑑) & =\prod _{𝑖=1}^{𝑛}\exp \left({π‘Ž}_{𝑖}{\mu }_{𝑖}𝑑+\frac{{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}{𝑑}^{2}}{2}\right) \\ & =\exp \left[\left(\sum _{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{\mu }_{𝑖}\right)𝑑+\frac{({\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}){𝑑}^{2}}{2}\right].\end{aligned}

This is exactly the MGF of a normal distribution with mean βˆ‘π‘–=1π‘›π‘Žπ‘–ΞΌπ‘–{\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{\mu }_{𝑖} and variance βˆ‘π‘–=1π‘›π‘Žπ‘–2σ𝑖2{\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}. Therefore, π‘ŒβˆΌπ’©(βˆ‘π‘–=1π‘›π‘Žπ‘–ΞΌπ‘–,βˆ‘π‘–=1π‘›π‘Žπ‘–2σ𝑖2)π‘ŒβˆΌπ’©({\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}{\mu }_{𝑖},{\sum }_{𝑖=1}^{𝑛}{π‘Ž}_{𝑖}^{2}{\sigma }_{𝑖}^{2}).

Corollary 5.4

Let 𝑋1,…,π‘‹π‘›βˆΌπ’©(ΞΌ,Οƒ2){𝑋}_{1},\ldots ,{𝑋}_{𝑛}βˆΌπ’©(\mu ,{\sigma }^{2}) be i.i.d.i.i.d., then

π‘‹βˆΌπ’©(ΞΌ,Οƒ2𝑛).π‘‹βˆΌπ’©\left(\mu ,\frac{{\sigma }^{2}}{𝑛}\right).
Theorem 5.8

Let 𝑋1,…,π‘‹π‘›βˆΌπ’©(ΞΌ,Οƒ2){𝑋}_{1},\ldots ,{𝑋}_{𝑛}βˆΌπ’©(\mu ,{\sigma }^{2}) be i.i.d.i.i.d., then the sample mean

𝑋=1π‘›βˆ‘π‘–=1𝑛𝑋𝑖𝑋=\frac{1}{𝑛}\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}

and the sample variance

𝑆2=1π‘›βˆ’1βˆ‘π‘–=1𝑛(π‘‹π‘–βˆ’π‘‹)2{𝑆}^{2}=\frac{1}{𝑛-1}\sum _{𝑖=1}^{𝑛}{({𝑋}_{𝑖}-𝑋)}^{2}

are independent. Furthermore,

(π‘›βˆ’1)𝑆2Οƒ2βˆΌΟ‡2(π‘›βˆ’1).\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}∼{\chi }^{2}(𝑛-1).
Remark

Note that 𝑍=(π‘‹βˆ’ΞΌ)/(Οƒ/𝑛)βˆΌπ’©(0,1)𝑍=(𝑋-\mu )/\left(\sigma /\sqrt{𝑛}\right)βˆΌπ’©(0,1) and 𝑍2βˆΌΟ‡2(1){𝑍}^{2}∼{\chi }^{2}(1). The idea of proving

(π‘›βˆ’1)𝑆2Οƒ2βˆΌΟ‡2(π‘›βˆ’1)\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}∼{\chi }^{2}(𝑛-1)

is inspired by Exercise 5.11. That is, we want to show that

[(π‘›βˆ’1)𝑆2Οƒ2+𝑍2]βˆΌΟ‡2(𝑛).\left[\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}+{𝑍}^{2}\right]∼{\chi }^{2}(𝑛).
Proof

We are not ready to prove that 𝑋𝑋 and 𝑆2{𝑆}^{2} are independent. However, we can show that

(π‘›βˆ’1)𝑆2Οƒ2βˆΌΟ‡2(π‘›βˆ’1).\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}∼{\chi }^{2}(𝑛-1).

assuming that 𝑋𝑋 and 𝑆2{𝑆}^{2} are independent.

Let 𝑍=(π‘‹βˆ’ΞΌ)/(Οƒ/𝑛)𝑍=(𝑋-\mu )/\left(\sigma /\sqrt{𝑛}\right). Since π‘‹βˆΌπ’©(ΞΌ,Οƒ2𝑛)π‘‹βˆΌπ’©\left(\mu ,\frac{{\sigma }^{2}}{𝑛}\right), we have π‘βˆΌπ’©(0,1)π‘βˆΌπ’©(0,1). Therefore, 𝑍2βˆΌΟ‡2(1){𝑍}^{2}∼{\chi }^{2}(1).

Since 𝑆2{𝑆}^{2} and 𝑋𝑋 are independent, it follows that [(π‘›βˆ’1)𝑆2]/Οƒ2[(𝑛-1){𝑆}^{2}]/{\sigma }^{2} and 𝑍2{𝑍}^{2} are also independent. We now consider [((π‘›βˆ’1)𝑆2)/Οƒ2+𝑍2][((𝑛-1){𝑆}^{2})/{\sigma }^{2}+{𝑍}^{2}]. We have

(π‘›βˆ’1)𝑆2Οƒ2+𝑍2=1Οƒ2βˆ‘π‘–=1𝑛(π‘‹π‘–βˆ’π‘‹)2+(π‘‹βˆ’ΞΌ)2Οƒ2/𝑛=1Οƒ2[βˆ‘π‘–=1𝑛𝑋𝑖2βˆ’2π‘‹βˆ‘π‘–=1𝑛𝑋𝑖+𝑛𝑋2+𝑛(𝑋2βˆ’2μ𝑋+ΞΌ2)]=1Οƒ2[βˆ‘π‘–=1𝑛𝑋𝑖2βˆ’π‘›π‘‹2+𝑛(𝑋2βˆ’2μ𝑋+ΞΌ2)]=1Οƒ2(βˆ‘π‘–=1𝑛𝑋𝑖2βˆ’2𝑛μ𝑋+𝑛μ2)=1Οƒ2(βˆ‘π‘–=1𝑛𝑋𝑖2βˆ’βˆ‘π‘–=1𝑛2μ𝑋𝑖+βˆ‘π‘–=1𝑛μ2)=1Οƒ2[βˆ‘π‘–=1𝑛(π‘‹π‘–βˆ’ΞΌ)2]=βˆ‘π‘–=1𝑛(π‘‹π‘–βˆ’ΞΌ)2Οƒ2\begin{aligned}\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}+{𝑍}^{2} & =\frac{1}{{\sigma }^{2}}\sum _{𝑖=1}^{𝑛}{({𝑋}_{𝑖}-𝑋)}^{2}+\frac{{(𝑋-\mu )}^{2}}{{\sigma }^{2}/𝑛} \\ & =\frac{1}{{\sigma }^{2}}\left[\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}^{2}-2𝑋\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}+𝑛{𝑋}^{2}+𝑛({𝑋}^{2}-2\mu 𝑋+{\mu }^{2})\right] \\ & =\frac{1}{{\sigma }^{2}}\left[\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}^{2}-𝑛{𝑋}^{2}+𝑛({𝑋}^{2}-2\mu 𝑋+{\mu }^{2})\right] \\ & =\frac{1}{{\sigma }^{2}}\left(\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}^{2}-2𝑛\mu 𝑋+𝑛{\mu }^{2}\right) \\ & =\frac{1}{{\sigma }^{2}}\left(\sum _{𝑖=1}^{𝑛}{𝑋}_{𝑖}^{2}-\sum _{𝑖=1}^{𝑛}2\mu {𝑋}_{𝑖}+\sum _{𝑖=1}^{𝑛}{\mu }^{2}\right) \\ & =\frac{1}{{\sigma }^{2}}\left[\sum _{𝑖=1}^{𝑛}{({𝑋}_{𝑖}-\mu )}^{2}\right] \\ & =\sum _{𝑖=1}^{𝑛}\frac{{({𝑋}_{𝑖}-\mu )}^{2}}{{\sigma }^{2}}\end{aligned}

Since 𝑍𝑖2=(π‘‹π‘–βˆ’ΞΌ)2/Οƒ2βˆΌΟ‡2(1){𝑍}_{𝑖}^{2}={({𝑋}_{𝑖}-\mu )}^{2}/{\sigma }^{2}∼{\chi }^{2}(1) and 𝑍1,…,𝑍𝑛{𝑍}_{1},\ldots ,{𝑍}_{𝑛} are mutually independent, it follows that

[(π‘›βˆ’1)𝑆2Οƒ2+𝑍2]βˆΌΟ‡2(𝑛).\left[\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}+{𝑍}^{2}\right]∼{\chi }^{2}(𝑛).

Therefore, by Exercise 5.11,

(π‘›βˆ’1)𝑆2Οƒ2βˆΌΟ‡2(π‘›βˆ’1).\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}∼{\chi }^{2}(𝑛-1).

We now introduce a distribution that forms the foundation of many statistical inferences.

Theorem 5.9Student's t-distribution

Let

𝑇=π‘π‘ˆ/π‘Ÿπ‘‡=\frac{𝑍}{\sqrt{π‘ˆ/π‘Ÿ}}
(5.11)

where π‘βˆΌπ’©(0,1)π‘βˆΌπ’©(0,1) and π‘ˆβˆΌΟ‡2(π‘Ÿ)π‘ˆβˆΌ{\chi }^{2}(π‘Ÿ) are independent. Then 𝑇𝑇 has the 𝑑𝑑-distribution with π‘Ÿπ‘Ÿ degrees of freedom. We write π‘‡βˆΌπ’―(π‘Ÿ)π‘‡βˆΌπ’―(π‘Ÿ). Its PDF is given by

𝑓(𝑑)=Ξ“(π‘Ÿ+12)Ο€π‘ŸΞ“(π‘Ÿ/2)1(1+𝑑2/π‘Ÿ)π‘Ÿ+12,βˆ’βˆž<𝑑<∞.𝑓(𝑑)=\frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\sqrt{\pi π‘Ÿ}\Gamma (π‘Ÿ/2)}\frac{1}{{(1+{𝑑}^{2}/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}},\quad -\infty <𝑑<\infty .
(5.12)
Remark
The distribution is named for Student, the pen name of William Sealy Gosset (1876–1937). In 1908, while working as a statistician at the Guinness brewery in Dublin, Gosset published his derivation in Biometrika under that pseudonym: his employer discouraged staff from publishing under their own names. He sought a reference law for the sample mean when Οƒ\sigma is unknown and 𝑛𝑛 is small; Ronald Fisher later gave a systematic account of the distribution and its degrees of freedom.
Note
At first glance, (5.11) and (5.12) may look intimidating. Notice, however, that 𝑇2=𝑍2π‘ˆ/π‘Ÿ{𝑇}^{2}=\frac{{𝑍}^{2}}{π‘ˆ/π‘Ÿ} is the ratio of two independent chi-squared variables, so 𝑇2∼𝐹(1,π‘Ÿ){𝑇}^{2}∼𝐹(1,π‘Ÿ). To recover the PDF of 𝑇𝑇 from that of 𝑇2{𝑇}^{2}, we will use the symmetry of 𝑇𝑇 and the square-root transformation in Exercise 5.3.
Proof

Let π‘Š=𝑇2∼𝐹(1,π‘Ÿ)π‘Š={𝑇}^{2}∼𝐹(1,π‘Ÿ). Its PDF is

π‘“π‘Š(𝑀)=1π‘Ÿβ‹…Ξ“(π‘Ÿ+12)Ξ“(1/2)Ξ“(π‘Ÿ/2)β‹…1𝑀⋅1(1+𝑀/π‘Ÿ)π‘Ÿ+12,𝑀>0.{𝑓}_{π‘Š}(𝑀)=\frac{1}{\sqrt{π‘Ÿ}}\cdot \frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\Gamma (1/2)\Gamma (π‘Ÿ/2)}\cdot \frac{1}{\sqrt{𝑀}}\cdot \frac{1}{{(1+𝑀/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}},\quad 𝑀>0.

Since Ξ“(1/2)=Ο€\Gamma (1/2)=\sqrt{\pi }, this simplifies to

π‘“π‘Š(𝑀)=Ξ“(π‘Ÿ+12)Ο€π‘ŸΞ“(π‘Ÿ/2)β‹…1𝑀⋅1(1+𝑀/π‘Ÿ)π‘Ÿ+12,𝑀>0.{𝑓}_{π‘Š}(𝑀)=\frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\sqrt{\pi π‘Ÿ}\Gamma (π‘Ÿ/2)}\cdot \frac{1}{\sqrt{𝑀}}\cdot \frac{1}{{(1+𝑀/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}},\quad 𝑀>0.
(5.13)

The standard normal distribution is symmetric about 00, and π‘ˆπ‘ˆ is independent of 𝑍𝑍, so replacing 𝑍𝑍 by βˆ’π‘-𝑍 does not change the distribution of 𝑇=π‘π‘ˆ/π‘Ÿπ‘‡=\frac{𝑍}{\sqrt{π‘ˆ/π‘Ÿ}}. Hence βˆ’π‘‡βˆΌπ‘‡-π‘‡βˆΌπ‘‡ and π‘Š=𝑇2π‘Š={𝑇}^{2} has support (0,∞)(0,\infty ), the case π‘Ž=βˆžπ‘Ž=\infty in Exercise 5.3.

By Exercise 5.3,

𝑓𝑇(𝑑)=βˆ£π‘‘βˆ£π‘“π‘Š(𝑑2).{𝑓}_{𝑇}(𝑑)=|𝑑|{𝑓}_{π‘Š}({𝑑}^{2}).

Substituting (5.13) with 𝑀=𝑑2𝑀={𝑑}^{2},

𝑓𝑇(𝑑)=βˆ£π‘‘βˆ£β‹…Ξ“(π‘Ÿ+12)Ο€π‘ŸΞ“(π‘Ÿ/2)β‹…1𝑑2β‹…1(1+𝑑2/π‘Ÿ)π‘Ÿ+12=βˆ£π‘‘βˆ£β‹…Ξ“(π‘Ÿ+12)Ο€π‘ŸΞ“(π‘Ÿ/2)β‹…1βˆ£π‘‘βˆ£β‹…1(1+𝑑2/π‘Ÿ)π‘Ÿ+12=Ξ“(π‘Ÿ+12)Ο€π‘ŸΞ“(π‘Ÿ/2)β‹…1(1+𝑑2/π‘Ÿ)π‘Ÿ+12.\begin{aligned}{𝑓}_{𝑇}(𝑑) & =|𝑑|\cdot \frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\sqrt{\pi π‘Ÿ}\Gamma (π‘Ÿ/2)}\cdot \frac{1}{\sqrt{{𝑑}^{2}}}\cdot \frac{1}{{(1+{𝑑}^{2}/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}} \\ & =|𝑑|\cdot \frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\sqrt{\pi π‘Ÿ}\Gamma (π‘Ÿ/2)}\cdot \frac{1}{|𝑑|}\cdot \frac{1}{{(1+{𝑑}^{2}/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}} \\ & =\frac{\Gamma \left(\frac{π‘Ÿ+1}{2}\right)}{\sqrt{\pi π‘Ÿ}\Gamma (π‘Ÿ/2)}\cdot \frac{1}{{(1+{𝑑}^{2}/π‘Ÿ)}^{\frac{π‘Ÿ+1}{2}}}.\end{aligned}

When π‘Ÿ=1π‘Ÿ=1, the 𝑑𝑑-distribution reduces to the Cauchy distribution from Example 5.1. Substituting π‘Ÿ=1π‘Ÿ=1 into (5.12) and using Ξ“(1)=1\Gamma (1)=1 and Ξ“(1/2)=Ο€\Gamma (1/2)=\sqrt{\pi },

𝑓(𝑑)=Ξ“(1)πΓ(1/2)β‹…11+𝑑2=1Ο€(1+𝑑2),𝑓(𝑑)=\frac{\Gamma (1)}{\sqrt{\pi }\Gamma (1/2)}\cdot \frac{1}{1+{𝑑}^{2}}=\frac{1}{\pi (1+{𝑑}^{2})},

which is (5.1). In (5.11), the case π‘Ÿ=1π‘Ÿ=1 is 𝑇=π‘π‘ˆπ‘‡=\frac{𝑍}{\sqrt{π‘ˆ}} with π‘ˆβˆΌΟ‡2(1)π‘ˆβˆΌ{\chi }^{2}(1) independent of π‘βˆΌπ’©(0,1)π‘βˆΌπ’©(0,1)β€”the usual construction of a Cauchy ratio.

Graphs of the 𝑑𝑑-distribution PDF for π‘Ÿ=1π‘Ÿ=1, 55, and 3030 are shown in Figure 5.9. The case π‘Ÿ=1π‘Ÿ=1 is the Cauchy density; as π‘Ÿπ‘Ÿ increases, the tails become lighter and the density approaches the standard normal PDF.

Figure 5.9 𝑑𝑑-distribution PDFs.

Let 𝑋1,…,𝑋𝑛{𝑋}_{1},\ldots ,{𝑋}_{𝑛} be a random sample from a normal distribution with mean ΞΌ\mu and variance Οƒ2{\sigma }^{2}. We can use sample mean 𝑋𝑋 and sample variance 𝑆2{𝑆}^{2} to construct a very important 𝑑𝑑-random variable. Recall that

π‘‹βˆΌπ’©(ΞΌ,Οƒ2/𝑛)and(π‘›βˆ’1)𝑆2Οƒ2βˆΌΟ‡2(π‘›βˆ’1).π‘‹βˆΌπ’©(\mu ,{\sigma }^{2}/𝑛)\quad \text{and}\quad \frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}∼{\chi }^{2}(𝑛-1).

Therefore,

𝑇=π‘‹βˆ’ΞΌΟƒ/𝑛(π‘›βˆ’1)𝑆2Οƒ2/(π‘›βˆ’1)𝑇=\frac{\frac{𝑋-\mu }{\sigma /\sqrt{𝑛}}}{\sqrt{\frac{(𝑛-1){𝑆}^{2}}{{\sigma }^{2}}/(𝑛-1)}}

is a 𝑑𝑑-random variable with π‘›βˆ’1𝑛-1 degrees of freedom. Simplifying the expression, we get

𝑇=π‘‹βˆ’ΞΌπ‘†/π‘›βˆΌπ’―(π‘›βˆ’1).𝑇=\frac{𝑋-\mu }{𝑆/\sqrt{𝑛}}βˆΌπ’―(𝑛-1).

Exercises

Exercise 5.13

Let 𝑍1,𝑍2,𝑍3βˆΌπ’©(0,1){𝑍}_{1},{𝑍}_{2},{𝑍}_{3}βˆΌπ’©(0,1) be i.i.d.i.i.d..

  1. Find the distribution of

    π‘Š=𝑍1(𝑍22+𝑍32)/2.π‘Š=\frac{{𝑍}_{1}}{\sqrt{({𝑍}_{2}^{2}+{𝑍}_{3}^{2})/2}}.
  2. Show that

    𝑉=𝑍1(𝑍12+𝑍22)/2𝑉=\frac{{𝑍}_{1}}{\sqrt{({𝑍}_{1}^{2}+{𝑍}_{2}^{2})/2}}

    has PDF

    𝑓(𝑣)=1Ο€2βˆ’π‘£2,βˆ’2<𝑣<2.𝑓(𝑣)=\frac{1}{\pi \sqrt{2-{𝑣}^{2}}},\quad -\sqrt{2}<𝑣<\sqrt{2}.
  3. Find the mean of 𝑉𝑉.
  4. Find the standard deviation of 𝑉𝑉.
  5. Why π‘Šπ‘Š and 𝑉𝑉 are so different?
Solution

(a) Let π‘ˆ=𝑍22+𝑍32π‘ˆ={𝑍}_{2}^{2}+{𝑍}_{3}^{2}. We have π‘ˆβˆΌΟ‡2(2)π‘ˆβˆΌ{\chi }^{2}(2) and π‘ˆπ‘ˆ and 𝑍1{𝑍}_{1} are independent. Therefore, by the definition of the 𝑑𝑑-distribution,

π‘Š=𝑍1π‘ˆ/2βˆΌπ’―(2).π‘Š=\frac{{𝑍}_{1}}{\sqrt{π‘ˆ/2}}βˆΌπ’―(2).

(b) We have

𝑉2=2𝑍12𝑍12+𝑍22=21+(𝑍22/𝑍12).{𝑉}^{2}=\frac{2{𝑍}_{1}^{2}}{{𝑍}_{1}^{2}+{𝑍}_{2}^{2}}=\frac{2}{1+({𝑍}_{2}^{2}/{𝑍}_{1}^{2})}.

Note that

𝑍22𝑍12∼𝐹(1,1).\frac{{𝑍}_{2}^{2}}{{𝑍}_{1}^{2}}∼𝐹(1,1).

And from the result of Exercise 5.10, we know that

𝑋=11+(𝑍22/𝑍12)∼Beta⁑(1/2,1/2).𝑋=\frac{1}{1+({𝑍}_{2}^{2}/{𝑍}_{1}^{2})}∼\operatorname{Beta}(1/2,1/2).

Therefore, the PDF of 𝑋𝑋 is given by

𝑓𝑋(π‘₯)=Ξ“(1/2+1/2)Ξ“(1/2)Ξ“(1/2)π‘₯1/2βˆ’1(1βˆ’π‘₯)1/2βˆ’1=1Ο€π‘₯(1βˆ’π‘₯),0<π‘₯<1.{𝑓}_{𝑋}(π‘₯)=\frac{\Gamma (1/2+1/2)}{\Gamma (1/2)\Gamma (1/2)}{π‘₯}^{1/2-1}{(1-π‘₯)}^{1/2-1}=\frac{1}{\pi \sqrt{π‘₯(1-π‘₯)}},\quad 0<π‘₯<1.

Note that π‘Œ=𝑉2=2π‘‹π‘Œ={𝑉}^{2}=2𝑋. Applying the change-of-variable technique, we get

π‘“π‘Œ(𝑦)=𝑓𝑋(𝑦/2)β‹…12=1Ο€(𝑦/2)(1βˆ’π‘¦/2)β‹…12=1π𝑦(2βˆ’π‘¦),0<𝑦<2.{𝑓}_{π‘Œ}(𝑦)={𝑓}_{𝑋}(𝑦/2)\cdot \frac{1}{2}=\frac{1}{\pi \sqrt{(𝑦/2)(1-𝑦/2)}}\cdot \frac{1}{2}=\frac{1}{\pi \sqrt{𝑦(2-𝑦)}},\quad 0<𝑦<2.

Finally, π‘Œ=𝑉2π‘Œ={𝑉}^{2} has support (0,2)(0,2) and βˆ’π‘‰βˆΌπ‘‰-π‘‰βˆΌπ‘‰, so Exercise 5.3 with π‘Ž=2π‘Ž=2 gives

𝑓𝑉(𝑣)=βˆ£π‘£βˆ£π‘“π‘Œ(𝑣2)=βˆ£π‘£βˆ£β‹…1π𝑣2(2βˆ’π‘£2)=1Ο€2βˆ’π‘£2,βˆ’2<𝑣<2.{𝑓}_{𝑉}(𝑣)=|𝑣|{𝑓}_{π‘Œ}({𝑣}^{2})=|𝑣|\cdot \frac{1}{\pi \sqrt{{𝑣}^{2}(2-{𝑣}^{2})}}=\frac{1}{\pi \sqrt{2-{𝑣}^{2}}},\quad -\sqrt{2}<𝑣<\sqrt{2}.

(c) The mean of 𝑉𝑉 is given by

ΞΌ=E[𝑉]=βˆ«βˆ’22𝑣π2βˆ’π‘£2 d𝑣.\mu =\mathbb{E}[𝑉]={\int }_{-\sqrt{2}}^{\sqrt{2}}\frac{𝑣}{\pi \sqrt{2-{𝑣}^{2}}}\, \mathrm{d}𝑣.

It can be shown that the improper integral

∫02𝑣π2βˆ’π‘£2 d𝑣{\int }_{0}^{\sqrt{2}}\frac{𝑣}{\pi \sqrt{2-{𝑣}^{2}}}\, \mathrm{d}𝑣

converses. It then follows that

ΞΌ=0\mu =0

because the integrand is an odd function.

(d) The variance of 𝑉𝑉 is given by

Οƒ2=Var⁑(𝑉)=E[𝑉2]βˆ’ΞΌ2=E[𝑉2].{\sigma }^{2}=\operatorname{Var}(𝑉)=\mathbb{E}[{𝑉}^{2}]-{\mu }^{2}=\mathbb{E}[{𝑉}^{2}].

We have

E[𝑉2]=βˆ«βˆ’22𝑣2Ο€2βˆ’π‘£2 d𝑣Substitute 𝑣=2sin⁑θ and d𝑣=2cos⁑θ dΞΈ=βˆ«βˆ’Ο€/2Ο€/22sin⁑2ΞΈΟ€2cos⁑θ⋅2cos⁑θ dΞΈ=βˆ«βˆ’Ο€/2Ο€/22sin⁑2θπ dΞΈ=1βˆ’1Ο€βˆ«βˆ’Ο€/2Ο€/2cos⁑2θ dΞΈ=1.\begin{aligned}\mathbb{E}[{𝑉}^{2}] & ={\int }_{-\sqrt{2}}^{\sqrt{2}}\frac{{𝑣}^{2}}{\pi \sqrt{2-{𝑣}^{2}}}\, \mathrm{d}𝑣 \\ & \text{Substitute}\, 𝑣=\sqrt{2}\sin \theta \, \text{and}\, \mathrm{d}𝑣=\sqrt{2}\cos \theta \, \mathrm{d}\theta \\ & ={\int }_{-\pi /2}^{\pi /2}\frac{2{\sin }^{2}\theta }{\pi \sqrt{2}\cos \theta }\cdot \sqrt{2}\cos \theta \, \mathrm{d}\theta \\ & ={\int }_{-\pi /2}^{\pi /2}\frac{2{\sin }^{2}\theta }{\pi }\, \mathrm{d}\theta \\ & =1-\frac{1}{\pi }{\int }_{-\pi /2}^{\pi /2}\cos 2\theta \, \mathrm{d}\theta \\ & =1.\end{aligned}

Therefore, Οƒ=1\sigma =1.