Reading for Today's Lecture:
Goals of Today's Lecture:
Today's notes
Proof: Let
.
Then
are
independent N(0,1) so
is multivariate
standard normal. Note that
and
Thus
Thus we need only give a proof in the special case
and
.
Step 1: Define
Now it is easy to solve for Z from Y because
Zi = n-1/2Y1+Yi+1for
.
To get Zn we use the identity
Now we use the change of variables formula to compute the density
of Y. It is helpful to let
denote the n-1 vector whose
entries are
.
Note that
Notice that this is a factorization into a function of y1 times a
function of
.
Thus
is independent of
.
Since sZ2 is a function of
we see that
and
sZ2 are independent.
Furthermore the density of Y1 is a multiple of the function of y1 in
the factorization above. But the factor in question is the standard normal
density so
.
We have now done the first 2 parts of the theorem. The third part is
a homework exercise but I will outline the derivation of the
density. In class I will do the special cae n=2 (which is notationally
much simpler).
Suppose that
are independent N(0,1). We define the
distribution to be that of
.
Define angles
by
(These are spherical co-ordinates in n dimensions. The
values run
from 0 to
except for the last
whose values run from 0 to
.)
Then note the following derivative formulas
Finally the fourth part of the theorem is a consequence of the
first 3 parts of the theorem and the definition of the
distribution, namely, that
if it has the same distribution
as
However, I now derive the density of T in this definition:
I can differentiate this with respect to t by
simply differentiating the inner integral: