SOLUTION FOR HOMEWORK 3, STAT 4352 Welcome to your third ...

SOLUTION FOR HOMEWORK 3, STAT 4352
Welcome to your third homework. We finish the point estimation; your Exam 1 is next
week and it will be close to HW1-HW3.
Recall that X n := (X1, . . .,Xn) denotes the vector of n observations.
Try to find mistakes (and get extra points) in my solutions. Typically they are silly
arithmetic mistakes (not methodological ones). They allow me to check that you did your
HW on your own. Please do not e-mail me about your findings — just mention them on the
first page of your solution and count extra points.
Now let us look at your problems.
1. Problem 10.51. Let X1, . . .,Xn be iid according to Expon(θ), so
f X θ (x) = (1/θ)e−x/θ I(x > 0), θ ∈ Ω := (0, ∞).
Please note that it is important to write this density with indicator function showing its
support. In some cases the support may depend on a parameter of interest, and then this
fact is always very important. We shall see such an example in this homework.
For the exponential distribution we know that Eθ(X) = θ (you may check this by a direct
calculation), so we get a simple method of moments estimator
ˆΘMME = ¯ X.
This is the answer. But I would like to continue a bit. The method of moments estimator
(or a generalized one) allows you to work with any moment (or any function). Let us consider
the second moment and equate sample second moment to the theoretical one. Recall that
V arθ(X) = θ 2 , and thus
Eθ(X 2 ) = V arθ(X) + (Eθ(X)) 2 = 2θ 2 .
The sample second moment is n−1 n i=1 X2 i , and we get another method of moments estimator
˜ΘMME = [n −1
n
X
i=1
2 i /2]1/2 .
Note that these MM estimators are different, and this is OK. Then a statistician should
choose a better one. Which one do you think is better? You may use the notion of efficiency
to resolve the issue (compare their MSEs (mean squared errors) E( ˆ θ − θ) 2 and choose an
estimator with the smaller MSE). By the way, which estimator is based on the sufficient
statistic?
2. Problem 10.53. Here X1, . . .,Xn are Poisson(λ). Recall that Eλ(X) = λ and
V arλ(X) = λ.
The MME is easy to get via the first moment, and we have
ˆλMME = ¯ X.
1

This is the answer. But again, as an extra example, I can suggest a MME based on the
second moment. Indeed, Eλ(X 2 ) = V arλ(X) + (EλX) 2 = λ + λ 2 and this yields that
˜λMME + ˜ λ 2 n
MME = n−1 X
i=1
2 i .
Then you need to solve this equation to get the MME. Obviously it is a more complicated
estimator, but it is yet another MME.
3. Problem 10.56. Let X1, . . .,Xn be iid according to the pdf
gθ(x) = θ −1 e −(x−δ)/θ I(x > δ).
Please note that this is a location-exponential family because
X = δ + Z,
where Z is a classical exponential RV with f Z θ (z) = θ −1 e −z/θ I(z > 0). I can go either further
by saying that we are dealing with a location-scale family because
X = δ + θZ0,
where f Z0 (z) = e −z I(z > 0).
So now we know the meaning of parameters δ and θ: the former is the location (shift)
and the latter is the scale (multiplier).
Note that this understanding simplifies all calculations because you can easily figure out
(otherwise do calculations) that
Eδ,θ(X) = δ + θ, V arδ,θ(X) = θ 2 .
These two familiar results yield Eδ,θ(X 2 ) = θ 2 + (δ + θ) 2 , and we get the following system of
two equations to find the pair of MMEs:
ˆδ + ˆ θ = ¯ X,
2ˆ θ 2 + 2ˆ δˆ θ + ˆ δ 2 = n −1
n
Xi.
i=1
To solve this system, we square the both sides of the first equality and then subtract the
obtained equality from the second equality. We get a new system
ˆδ + ˆ θ = ¯ X,
ˆθ 2 = n −1
n
X
i=1
2 i − ¯ X 2 .
This, together with a simple algebra, yields the answer
ˆδMME = ¯ X − [n −1 n
i=1
X 2 i − ¯ X 2 ] 1/2 , θMME
ˆ = [n −1 n
X 2 i − ¯ X 2 ] 1/2 .
2
i=1

Remark: We need to check that n −1 n i=1 X 2 i − ¯ X 2 ≥ 0 for the estimator to be well
defined. This may be done via famous Hölder inequality
m
( aj)
j=1
2 m
≤ m a
j=1
2 j .
4. Problem 10.59. Here X1, . . ., Xn are Poisson(λ), λ ∈ Ω = (0, ∞). Recall that
Eλ(X) = λ and V arλ(X) = λ. Then, by definition of the MLE:
ˆλMLE := arg max
λ∈Ω
= arg max
λ∈Ω
n
l=1
n
l=1
For the Poisson pdf fλ(x) = e −λ λ x /x! we get
ln LXn(λ) = −nλ +
fλ(Xl) =: arg max LXn(λ) λ∈Ω
ln(fλ(Xl)) =: arg max ln LXn(λ). λ∈Ω
n
n
Xl ln(λ) − ln(Xl!).
l=1
l=1
Now we need to find ˆ λMLE at which the above loglikelihood attains its maximum over all
λ ∈ Ω. You can do this in a usual way: take derivative with respect to λ ( that is, calculate
∂ lnLX n(λ)/∂λ, then equate it to zero, solve with respect to λ, and then check that the
solution indeed maximizes the loglikelihood). Here equating of the derivative to zero yields
−n + n l=1 Xl/λ = 0, and we get
ˆλMLE = ¯ X.
Note that for the Poisson setting the MME and MLE coincide; in general they may be
different.
5. Problem 10.62. Here X1, . . .,Xn are iid N(µ, σ 2 ) with the mean µ being known and
the parameter of interest being the variance σ 2 . Note that σ 2 ∈ Ω = (0, ∞). Then we are
interested in the MLE. Write:
Here
ˆσ 2 MLE
= arg max
σ 2 ∈Ω ln LX n(σ2 ).
ln LXx(σ2 n
) = ln([2πσ
l=1
2 ] −1/2 e −(Xl−µ) 2 /(2σ2 n
) 2 2
) = −(n/2) ln(2πσ ) − (1/2σ ) (Xl − µ)
l=1
2 .
This expression takes on its maximum at
Note that this is also the MME.
ˆσ 2 MLE = n−1 n
(Xl − µ) 2 .
l=1
3

Then
6. Problem 10.66. Let X1, . . .,Xn be iid according to the pdf
gθ(x) = θ −1 e −(x−δ)/θ I(x > δ).
LX n(δ, θ) = θ−n e − n
l=1 (Xl−δ)/θ I(X(1) > δ).
Recall that X(1) = min(X1, . . .,Xn) is the minimal observation [the first ordered observation].
This is the case that I wrote you about earlier: it is absolutely crucial to take into account
the indicator function (the support) because here the parameter δ defines the support.
By its definition,
Note that
( ˆ δMLE, ˆ θMLE) := arg max ln(LXn(δ, θ)).
δ∈(−∞,∞),θ∈(0,∞)
L(δ, θ) := ln(LXn(δ, θ)) = −n ln(θ) − θ−1 n
(Xl − δ) + ln I(X(1) ≥ δ).
Now the crucial step: you should graph the loglikelihood L as a function in δ and visualize
that it takes on maximum when δ = X(1). So we get ˆ δMLE = X(1). Then by taking a
derivative we get that ˆ θMLE = n −1 n l=1 (Xl − X(1)).
Answer: ( ˆ δMLE ˆ θMLE) = (X(1), n −1 n l=1 (Xl − X(1)). Please note that ˆ δMLE is a biased
estimator; this is a rather typical outcome.
7. Problem 10.73. Consider iid uniform observations X1, . . .,Xn with the parametric pdf
l=1
fθ(x) = I(θ − 1/2 < x < θ + 1/2).
As soon as the parameter is in the indicator function you should be very cautious: typically
a graphic will help you to find a MLE estimator, and not a differentiation. Also, it is very
helpful to figure out the nature of the parameter. Here it is obviously a location parameter,
and you can write
X = θ + Z, Z ∼ Uniform(−1/2, 1/2).
The latter helps you to guess about a correct estimator and check a suggested one and, if
necessary, simplify calculations of descriptive characteristics (mean, variance, etc.)
Well, now we need to write down the likelihood function (recall that this is just a joint
density only considered as a function in the parameter given a vector of observations):
LXn(θ) =
n
I(θ − 1/2 < Xl < θ + 1/2) = I(θ − 1/2 < X(1) ≤ X(n) < θ + 1/2).
l=1
Note that the latter expression implies that (X(1), X(n)) is a sufficient statistic (due to the
Factorization Theorem). As a result, any good estimator, and the MLE in particular, must
be a function of only these two statistics. Another remark is: it is possible to show (there
exists a technique how to do this which is beyond this class objectives) that this pair of
4

extreme observations is also the minimal sufficient statistic. Please look at the situation: we
have 1 parameter and need 2 univariate statistics (X(1), X(n)) to have the sufficient statistics;
here this is the limit of data-reduction. Nonetheless, this is a huge data-reduction whenever
n is large. Just think about this: to estimate θ you do not need any observation which is
between the two extreme ones! This is not a trivial assertion.
Well, now let us return to the problem at hand. If you look at the graphic of the likelihood
function as a function in θ, then you may conclude that it attains its maximum on all θ such
that
X(n) − 1/2 < θ < X(1) + 1/2. (1)
As a result, we get a very curious MLE: any point within this interval can be declared as
the MLE (the MLE is not unique!).
Now we can consider the particular questions at hand.
(a). Let ˆ Θ1 = (1/2)(X(1) + X(n)). We need to check that this estimator satisfies (1). We
just plug-in this estimator in (1) and get
X(n) − 1/2 < (1/2)(X(1) + X(n)) < X(1) + 1/2.
The latter relation is true because it is equivalent to the following valid inequality:
X(n) − X(1) < 1.
(b) Let ˆ Θ2 = (1/3)(X(1) + 2X(n)) be another candidate for the MLE. Then it should
satisfy (1). In particular, if this is the MLE then
(1/3)(X(1) + 2X(n)) < X(1) + 1/2
should hold. The latter inequality is equivalent to
X(n) − X(1) < 3/4
which obviously may not hold. The contradictory shows that this estimator, despite being
a function of the sufficient statistic, is not the MLE.
8. Problem 10.74. Here we are exploring the Bayesian approach where the parameter of
interest is considered as a realization of a random variable, (it can be considered as a random
variable). For the problem at hand X ∼ Binom(n, θ) and θ is a realization (which we do
not directly observe) of a beta RV Θ ∼ Beta(α, β).
[Please note that here your knowledge of basic/classical distributions becomes absolutely
crucial: you cannot solve any problem without knowing formulae for pmf/pdf; so it is time
to refresh them.]
In other words, here we are observing a binomial random variable whose parameter
(probability of success has a beta prior.
To find a Bayesian estimator, we need to find a posterior distribution of the parameter
of interest and then calculate its mean. [Please note that your knowledge of means of classical
distribution becomes very handy here: as soon as you realize the underlying posterior
distribution, you can use a formula for calculating its mean.]
5

Given this information, the posterior distribution of Θ given the observation X is
=
f Θ|X (θ|x) = fΘ (θ)f X|Θ (x|θ)
f X (x)
Γ(n + α + β)
Γ(x + α)Γ(n − x + β) θx+α−1 (1 − θ) (n−x+β)−1 .
The algebra leading to the last equality is explained on page 345.
Now you can realize that the posterior distribution is again Beta(x+α, n−x+β). There
are two consequences from this fact. First, by a definition, if a prior density and a posterior
density are from the same family of distributions, then the prior is called conjugate. This
is the case that Bayesian statisticians like a lot because this methodologically support the
Bayesian approach and also simplifies formulae. Second, we know a formula for the mean of
a beta RV, and using it we get the Bayesian estimator
ˆΘB = E(Θ|X) =
X + α X + α
=
(α + X) + (n − X + β) α + n + β
Now we actually can consider the exercise at hand. A general remark: Bayesian estimator
is typically a linear combination of the prior mean and the MLE estimator with weights
depending on variances of these two estimates. In general, as n → ∞, Bayesian estimator
approaches the MLE.
Let us check that this is the case for the problem at hand. Write,
Now, if we denote
ˆΘB = X
n
we get the wished presentation
n α
+
α + β + n α + β
w :=
n
α + β + n ,
ˆΘ = w ¯ X + (1 − w)θ0.
α + β
α + β + n .
where θ0 = E(Θ) = α/(α + β) is the prior mean of Θ.
Now, the problem at hand asks us to work a bit further on the weight. The variance of
the beta RV Θ is
Well, it is plain to see that
Then a simple algebra yields
V ar(Θ) := σ 2 0 =
θ0(1 − θ0) =
αβ
(α + β) 2 (α + β + 1) .
αβ
(α + β) 2.
σ 2 0 = θ0(1 − θ0)
α + β + 1
6

which in its turn yields
Using this we get the wished
Problem is solved.
w =
α + β = θ0(1 − θ0)
σ 2 0
− 1.
n
n + θ0(1 − θ − 0)σ −2
0 − 1 .
9. Problem 10.76. Here X ∼ N(µ, σ 2 ) with σ 2 being known. A sample of size n is given.
The parameter of interest is the population mean µ, and a Bayesian approach is considered
with the Normal prior M ∼ N(µ0, σ 2 0. In other words, the Bayesian approach suggests to
think about an estimated µ as a realization of a random variable M which has a normal
distribution with the given mean and variance.
As a result, we know that the Bayesian estimator is the mean of the posterior distribution.
The posterior distribution is calculated in Th.10.6, and it is again normal N(µ1, σ2 1 ) where
µ1 = ¯ X nσ2 0
nσ2 + µ0
0 + σ2 σ2 nσ2 0 + σ2; 1
σ 2 1
= n 1
+
σ2 σ2. 0
Note that this theorem implies that the normal distribution is the conjugate prior: the
prior is normal and the posterior is normal as well.
We can conclude that the Bayesian estimator is
ˆMB = E(M| ¯ X) = w ¯ X + (1 − w)µ0,
that is, the Bayesian estimator is a linear combination of the MLE estimator (here ¯ X) and
the prior mean (pure Bayesian estimator when no observations are available). Recall that
this is a rather typical outcome, and the Bayesian estimator approaches the MLE as n → ∞.
A direct (simple) calculation shows that
Problem is solved.
w = n/[n + σ 2 /σ 2 0 ].
10. Problem 10.77. Here a Poisson RV X with an unknown intensity λ is observed. The
problem is to estimate λ. A Bayesian approach is suggested with the prior distribution for
the intensity Λ being Gamma(α, β). In other words, X ∼ Poiss(Λ) and Λ ∼ Gamma(α, β).
To find a Bayesian estimator, we need to evaluate the posterior distribution of Λ given X
and then calculate its mean; that mean will be the Bayesian estimator. We do this in two
steps.
(a) To find the posterior distribution we begin with the joint pdf
=
f Λ,X (λ, x) = f Λ (λ)f X|Λ (x|λ)
1
Γ(α)β αλα−1 e −λ/β e −λ λ x [x!] −1 I(λ > 0)I(x ∈ {0, 1, . . .}).
7

Then the posterior pdf is
f Λ|X (λ|x) = fΛ,X (λ, x)
fX (x) = λ(α+x)−1e−λ(1+1/β) Γ(α)βαf X (x)x!
I(λ > 0). (2)
Now I explain you what smart Bayesian statisticians do. They do not calculate f X (x) or
try to simplify (2); instead they look at (1) as a density in λ and try to guess what family it
is from. Here it is plain to realize that the posterior pdf is again Gamma, more exactly it is
Gamma(α + x, β/(1 + β)). Note that the Gamma prior for the Poisson intensity parameter
is the conjugate prior because the posterior is from the same family.
As soon as you realized the posterior distribution, you know what the Bayesian estimator
is: it is the expected value of this Gamma RV, namely
The problem is solved.
ˆΛB = E(Λ|X) = (α + X)[β/(1 + β)] = β(α + X)/(1 + β).
11. Problem 10.94. This is a curious problem on application and analysis of Bayesian
approach. It is given that the observation X is a binomial RV Binom(n = 30, θ) and
someone believes that the probability of success θ is a realization of a Beta random variable
Θ ∼ Beta(α, β). Parameters α and β are not given; instead it is given that EΘ = θ0 = .74
and V ar(Θ) = σ 2 0 = 3 2 = 9. [Do you think that this information is enough to find the
parameters of the underlying beta distribution? If “yes”, then what are they?]
Now we are in a position to answer the questions.
(a). Using only the prior information (that is, no observation is available), the best MSE
estimate is the prior mean
ˆΘprior = EΘ = .74.
(b) Based on the direct information, the MLE and the MME estimators are the same
and they are
ˆΘMLE = ˆ ΘMME = ¯ X = X/n = 18/30.
[Please compare answers in (a) and (b) parts. Are they far enough?]
(c) The Bayesian estimator with Θ ∼ Beta(α, β) is (see p.345)
ˆΘB =
X + α
α + β + n .
Now, we can either find α and β from the mean and variance information, or use results of
our homework problem 10.74 and get
where
w =
ˆΘB = w ¯ X + (1 − w)E(Θ),
n
n + θ0(1−θ0)
σ 2 0
− 1 =
8
30
30 + (.74)(.26)
9
− 1 .

12. Problem 10.96. Let X be a grade, and assume that X ∼ N(µ, σ 2 ) with σ 2 = (7.4) 2 .
Then there is a professor’s believe, based on a prior knowledge, that the mean M ∼ N(µ0 =
65.2, σ 2 0 = (1.5) 2 ). After exam ¯ X = 72.9 is the observation.
(a) Denote by Z the standard normal random variable. Then using z-scoring yields
P(63.0 < M < 68.0) = P 63.0 − µ0
σ0
< M − µ0
σ0
< 68.0 − µ0
63 − 65.2 68 − 65.2
= P( < Z < = P
1.5 1.5
− 2.2 2.8
< Z < .
1.5 1.5
Then you use Table — I skip this step here.
(b) As we know from Theorem 10.6, M| ¯ X is normally distributed with
µ1 = n ¯ Xσ2 0 + µ0σ2 nσ2 0 + σ2 , σ 2 1 = σ2σ2 0
σ2 + nσ2 .
0
Here: n = 40, ¯ X = 72.9, σ 2 0 = (1.5)2 , σ 2 = (7.4) 2 , µ0 = 65.2. Plug-in these numbers and
then
P(63 < M < 68| ¯ X = 72.9) = P 63 − µ1
Find the numbers and use the Table.
9
σ1
σ1
σ0
68 − µ1
< Z < .