6

Jointly continuous random variables

Again, we deviate from the order in the book for this chapter, so the subsections in this chapter do not correspond to those in the text.

6.1

Joint density functions

Recall that X is continuous if there is a function f (x) (the density) such that
Z t
P(X t) =
fX (x) dx

We generalize this to two random variables.

Definition 1. Two random variables X and Y are jointly continuous if there
is a function fX,Y (x, y) on R2 , called the joint probability density function,
such that
Z Z
fX,Y (x, y) dxdy
P(X s, Y t) =
xs,yt

The integral is over {(x, y) : x s, y t}. We can also write the integral as

Z s Z t
P(X s, Y t) =
fX,Y (x, y) dy dx

Z t Z s
fX,Y (x, y) dx dy
=

In order for a function f (x, y) to be a joint density it must satisfy

f (x, y) 0
Z

f (x, y)dxdy = 1

Just as with one random variable, the joint density function contains all
the information about the underlying probability measure if we only look at
the random variables X and Y . In particular, we can compute the probability
of any event defined in terms of X and Y just using f (x, y).
Here are some events defined in terms of X and Y :
{X Y }, {X 2 + Y 2 1}, and {1 X 4, Y 0}. They can all be written
in the form {(X, Y ) A} for some subset A of R2 .
1

Proposition 1. For A R2 ,
P((X, Y ) A) =

Z Z

f (x, y) dxdy

The two-dimensional integral is over the subset A of R2 . Typically, when

we want to actually compute this integral we have to write it as an iterated
integral. It is a good idea to draw a picture of A to help do this.
A rigorous proof of this theorem is beyond the scope of this course. In
particular we should note that there are issues involving -fields and constraints on A. Nonetheless, it is worth looking at how the proof might start
to get some practice manipulating integrals of joint densities.
If A = (, s] (, t], then the equation is the definition of jointly
continuous. Now suppose A = (, s] (a, b]. The we can write it as
A = [(, s] (, b]] \ [(, s] (, a]] So we can write the event
{(X, Y ) A} = {(X, Y ) (, s] (, b]} \ {(X, Y ) (, s] (, a]}
MORE !!!!!!!!!
Example: Let A R2 . We can X and Y are uniformly distributed on A if
1
, if (x, y) A
f (x) = c
0, otherwise
where c is the area of A.
Example: Let X, Y be uniform on [0, 1] [0, 2]. Find P(X + Y 1).
Example: Let X, Y have density
f (x, y) =

1
1
exp( (x2 + y 2 ))
2
2

Compute P(X Y ) and P(X 2 + Y 2 1).

Example: Now suppose X, Y have density
xy
e
if x, y 0
f (x, y) =
0,
otherwise
Compute P(X + Y t).
2

End of October 19 lecture

What does the pdf mean? In the case of a single discrete RV, the pmf
has a very concrete meaning. f (x) is the probability that X = x. If X is a
single continuous random variable, then
Z x+
P(x X x + ) =
f (u) du f (x)
x

If X, Y are jointly continuous, than

P(x X x + , y Y y + ) 2 f (x, y)

6.2

Independence and marginal distributions

Suppose we know the joint density fX,Y (x, y) of X and Y . How do we find
their individual densities fX (x), fY (y). These are called marginal densities.
The cdf of X is
FX (x) = P(X x) = P( < X x, < Y < )

Z x Z
=
fX,Y (u, y) dy du

Differentiate this with respect to x and we get

Z
fX,Y (x, y) dy
fX (x) =

In words, we get the marginal density of X by integrating y from to

in the joint density.
Proposition 2. If X and Y are jointly continuous with joint density fX,Y (x, y),
then the marginal densities are given by
Z
fX,Y (x, y) dy
fX (x) =

Z
fX,Y (x, y) dx
fY (y) =

We will define independence of two contiunous random variables differently than the book. The two definitions are equivalent.
Definition 2. Let X, Y be jointly continuous random variables with joint
density fX,Y (x, y) and marginal densities fX (x), fY (y). We say they are
independent if
fX,Y (x, y) = fX (x)fY (y)
If we know the joint density of X and Y , then we can use the definition
to see if they are independent. But the definition is often used in a different
way. If we know the marginal densities of X and Y and we know that they
are independent, then we can use the definition to find their joint density.
Example: If X and Y are independent random varialbes and each has the
standard normal distribution, what is their joint density?
f (x, y) =

1
1
exp( (x2 + y 2 ))
2
2

Example: Suppose that X and Y have a joint density that is uniform on

the disc centered at the origin with radius 1. Are they independent?
Example: In the homework you will show that if X and Y have a joint
density that is uniform on the square [a, b][c, d], then they are independent.
Example: Suppose that X and Y have joint density
xy
e
if x, y 0
f (x, y) =
0,
otherwise
Are X and Y independent?
Example: Suppose that X and Y are independent. X is uniform on [0, 1]
and Y has the Cauchy density.
(a) Find their joint density.
(b) Compute P(0 X 1/2, 0 Y 1)
(c) Compute P(Y X).

6.3

Expected value

If X and Y are jointly continuously random variables, then the mean of X

is still defined by
Z
E[X] =
x fX (x) dx

If we write the marginal fX (x) in terms of the joint density, then this becomes
Z Z
x fX,Y (x, y) dxdy
E[X] =

Now suppose we have a function g(x, y) from R2 to R. Then we can define

a new random variable by Z = g(X, Y ). In a later section we will see how to
compute the density of Z from the joint density of X and Y . We could then
compute the mean of Z using the density of Z. Just as in the discrete case
there is a shortcut.
Theorem 1. Let X, Y be jointly continuous random variables with joint
density f (x, y). Let g(x, y) : R2 R. Define a new random variable by
Z = g(X, Y ). Then
Z Z
g(x, y) f (x, y) dxdy
E[Z] =

provided

|g(x, y)| f (x, y) dxdy <

An important special case is the following

Corollary 1. If X and Y are jointly continuous random variables and a, b
are real numbers, then
E[aX + bY ] = aE[X] + bE[Y ]
Example: X and Y have joint density

x + y if 0 x 1, 0 y 1
f (x, y) =
0,
otherwise
Let Z = X + Y . Find the mean and variance of Z.
We now consider independence and expectation.
5

Theorem 2. If X and Y are independent and jointly continuous, then

E[XY ] = E[X] E[Y ]
Proof. Since they are independent, fX,Y (x, y) = fX (x)fY (y). So
Z Z
E[XY ] =
xy fX (x) fY (y) dxdy
Z
Z

=
x fX (x) dx
y fY (y) dy = E[X]E[Y ]

6.4

Function of two random variables

Suppose X and Y are jointly continuous random variables. Let g(x, y) be a

function from R2 to R. We define a new random variable by Z = g(X, Y ).
Recall that we have already seen how to compute the expected value of Z. In
this section we will see how to compute the density of Z. The general strategy
is the same as when we considered functions of one random variable: we first
compute the cumulative distribution function.
Example: Let X and Y be independent random variables, each of which is
uniformly distributed on [0, 1]. Let Z = XY . First note that the range of Z
is [0, 1].
Z Z
FZ (z) = P(Z z) =
1 dxdy
A

Where A is the region

A = {(x, y) : 0 x 1, 0 y 1, xy z}
PICTURE

FZ (z) = z +

z/x

"Z

1 dy dx

= z+

"Z

z/x

1 dy dx

z
dx
z x
= z + z ln x|1z = z z ln z

= z+

This is the cdf of Z. So we differentiate to get the density.

d
1
d
FZ (z) = z z ln z = 1 ln z z = ln z
dz
dz
z

fZ (z) =

ln z, if 0 z 1
0,
otherwise

Example: Let X and Y be independent random variables, each of which is

exponential with parameter . Let Z = X + Y . Find the density of Z.
Should get gamma with same and w = 2.
This is special case of a much more general result. The sum of gamma(, w1 )
and gamma(, w2 ) is gamma(, w1 + w2 ). We could try to show this as we
did the previous example. But it is much easier to use moment generating
functions which we will introduce in the next section.
End of October 21 lecture
One of the most important examples of a function of two random variables
is Z = X + Y . In this case
FZ (z) = P(Z z) = P(X + Y z)

Z Z zx
=
f (x, y) dy dx

To get the density of Z we need to differentiate this with respect to Z. The

only z dependence is in the upper limit of the inside integral.

Z Z zx
d
d
f (x, y) dy dx
fZ (z) = FZ (z) =
dz
dz
Z
=
f (x, z x)dx

If X and Y are independent, then this becomes

Z
fX (x)fY (z x)dx
fZ (z) =

This is known as a convolution. We can use this formula to find the density of
the sum of two independent random variables. But in some cases it is easier
to do this using generating functions which we study in the next section.
Example: Let X and Y be independent random variables each of which has
the standard normal distribution. Find the density of Z = X + Y .
We need to compute the convolution
Z
1
1
1
fZ (z) =
exp( x2 (z x)2 ) dx
2
2
2
Z
1
1
exp(x2 z 2 + xz) dx
=
2
2
Z
1
1
=
exp((x z/2)2 z 2 ) dx
2
4
Z
1
2
= ez /4
exp((x z/2)2 ) dx
2
Now the substitution u = x z/2 shows
Z
Z
2
exp((x z/2) ) dx =

exp(u2 ) du

This is a constant - it does not depend on z. So fZ (z) = cez . Another

simple substitution allows one to evaluate the constant, but there is no need.
We can already see that Z has a normal distribution with mean zero and
variance 2. The constant is whatever is needed to normalize the distribution.

6.5

Moment generating functions

This will be very similar to what we did in the discrete case.

Definition 3. For a continuous random variable X, the moment generating
function (mgf ) of X is
Z
tX
MX (t) = E[e ] =
etx fX (x) dx


.
Example: Compute it for exponential. Should find M (t) = t
Example: In the homework you will compute it for the gamma distribution
and find (hopefully)

M (t) =
t

Proposition 3. (1) Let X be a continuous random variable with mgf MX (t).

Then
dk
k
E[X ] = k MX (t)|t=0
dt
(2) If X and Y are independent continuous random variables then
MX+Y (t) = MX (t)MY (t)
(3) If the mgf of X is MX (t) and we let Y = aX + b, then
MY (t) = etb MX (at)
Proof. For (1)
Z
dk
dk
MX (t)|t=0 =
fX (x) etx |t=0 dx
k
k
dt
dt
Z
dk
=
fX (x) k etx |t=0 dx
dt
Z

=
fX (x) xk etx |t=0 dx
Z

=
fX (x) xk dx = E[X k ]

If X and Y are independent, then

MX+Y (t) = E[exp(t(X + Y ))] = E[exp(tX) exp(tY )]

= E[exp(tX)]E[exp(tY )] = MX (t)MY (t)
This calculation assumes that since X and Y are independent, then exp(tX)
and exp(tY ) are independent random variables. We have not shown this.
Part (3) is just
MY (t) = E[etY ] = E[et(aX+b) ] = etb E[etaX ] = etb MX (at)

End of October 26 lecture

As an application of part (3) we have
Example: Find the mgf of the standard normal and use part (3) to find the
mgf of the general normal.
Let Z have a standard normal distribution. We complete the square and
get
1
M (t) = exp( t2 )
2
Now let X = + Z. Then X has a normal distribution with mean and
variance 2 . By (3)
1
MX (t) = exp(t)MZ (t) = exp(t + 2 t2 )
2
Proposition 4. (a) If X1 , X2 , , Xn are independent and each is normal
with mean i and variance i2 , then Y = X1 + X2 + + Xn has a normal
distribution with mean and variance 2 given by
=
2 =

n
X

i=1
n
X

i ,
i2

i=1

(b) If X1 , X2 , , Xn are independent and each is exponential with parameter

, then Y = X1 + X2 + + Xn has a gamma distribution with parameters
= and w = n.
(c) If X1 , X2 , , Xn are independent and each is gamma with parameters
, wi , then Y = X1 + X2 + + Xn has a gamma distibution with parameters
and w = w1 + + wn .
We will prove the theorem by proving statements about generating functions. For example, for part (a) what we will really prove is that the moment
generating function of Y is that of a normal with the stated parameters.
To complete the proof we need to know that if two random variables have
the same moment generating functions then they have the same densities.
10

This is a theorem but it is a hard theorem and it requires some technical

assumptions on the random variables. We will ignore these subtleties and
just assume that if two RVs have the same mgf, then they have the same
density.
Proof. We prove all three parts by simply computing the mgfs involved.

6.6

Cumulative distribution functions and more independence

Recall that for a discrete random variable X we have a probability mass

function fX (x) which is just fX (x) = P(X = x). And for a continuous
random variable X we have a probability density function fX (x). It is a
density in the sense that if > 0 is small, then P(x X x + ) f (x).
For both types of random variables we have a cumulative distribution
function and its definition is the same for all types of RVs.
Definition 4. Let X, Y be random variables (discrete or continuous). Their
joint (cumulative) distribution function is
FX,Y (x, y) = P(X x, Y y)
If X and Y are jointly continuous then we can compute the joint cdf from
their joint pdf:

Z x Z y
FX,Y (x, y) =
f (u, v) dv du

If we know the joint cdf, then we can compute the joint pdf by taking partial
derivatives of the above :
2
FX,Y (x, y) = f (x, y)
xy
Calc review : partial derivatives
The joint cdf has properties similar to the cdf for a single RV.
Proposition 5. Let F (x, y) be the joint cdf of two continuous random variables. Then F (x, y) is a continuous function on R2 and
lim F (x, y) = 0,

x,y

lim F (x, y) = 1,

x,y

11

F (x1 , y) F (x2 , y) if x1 x2 ,
lim F (x, y) = FY (y)

F (x, y1 ) F (x, y2 ) if y1 y2
lim F (x, y) = FX (x)

We will use the joint cdf to prove more results about independent of RVs.
Theorem 3. If X and Y are jointly continuous random variables then they
are independent if and only if FX,Y (x, y) = FX (x)FY (y).
The theorem is true for discrete random variables as well.
Proof.
Example: Suppose that the joint cdf of

(1 e2x )(y + 1)

2
(1 e2x )
F (x, y) =

X and Y is
if
if
if
if

1 y 1, x 0
y 0, x > 1
y<0
y 0, x < 1

Show that X and Y are independent and find their joint density.
Theorem 4. If X and Y are independent jointly continuous random variables and g and h are functions from R to R then g(X) and h(Y ) are independent random variables.
Proof. We will only prove a special case. We assume that g and h are increasing. We also assume they are differentiable. Let W = g(X), Z = h(Y ).
By the previous theorem we can show that W and Z are independent by
showing that FW,Z (w, z) = FW (w)FZ (z). We have
FW,Z (w, z) = P(g(X) w, h(Y ) z)
Because g and h are increasing, the event {g(X) w, h(Y ) z} is the same
as the event {X g 1 (w), Y h1 (z)}. So
FW,Z (w, z) = P(X g 1 (w), Y h1 (z))
= FX,Y (g 1 (w), h1 (z)) = FX (g 1 (w))FY (h1 (z))

12

where the last equality comes from the previous theorem and the independence of X and Y . The individual cdfs of W and Z are
FW (w) = P(X g 1 (w)) = FX (g 1 (w))
FZ (z) = P(Y h1 (z)) = FY (h1 (z))
So we have shown FW,Z (w, z) = FW (w)FZ (z).
End of October 28 lecture
Corollary 2. If X and Y are independent jointly continuous random variables and g and h are functions from R to R then
E[g(X)h(Y )] = E[g(X)]E[h(Y )]
Recall that for any two random variables X and Y , we have E[X + Y ] =
E[X] + E[Y ]. If they are independent we also have
Theorem 5. If X and Y are independent and jointly continuous, then
var(X + Y ) = var(X) + var(Y )
Proof.

6.7

Change of variables

Suppose we have two random variables X and Y and we know their joint
density. We have two functions g : R2 R and g : R2 R, and we define
two new random variables by U = g(X, Y ), W = h(X, Y ). Can we find
the joint density of U and W ? In principle we can do this by computing
their joint cdf and then taking partial derivatives. In practice this can be a
mess. There is a another way involving Jacobians which we will study in this
section. But we start by illustrating the cdf approach with an example.
Example Let X and Y be independent standard normal RVs. Let U =
X + Y and W = X Y . Find the joint density of U and W .
There is a another way to compute the joint density of W, Y that we
will now study. First we return to the case of a function of a single random
variable. Support that X is a continuous random variable and we know its
13

density. g is a function from R to R and we define a new random variable

Y = g(Z). We want to find the density of Y . Our previous approach was to
compute the cdf first. Now suppose that g is strictly increasing on the range
of X. Then we have the following formula.
Proposition 6. If X is a continous random variable whose range is D and
f : D R is strictly increasing and differentiable, then
fY (y) = fX (g 1 (y))

d 1
g (y)
dy

Proof.
1

P(Y y) = P(g(X) y) = P(X g (y)) =

g 1 (y)

fX (x) dx

Now differentiate both sides with respect to y to finish the proof.

We review some multivariate calculus. Let D and S be open subsets of
R2 . Let T (x, y) be a map from D to S that is 1-1 and onto. (So it has an
inverse.) We also assume it is differentiable. For each point in D, T (x, y) is
in R2 . So we can write T as T (x, y) = (u(x, y), w(x, y)) We have an integral
Z Z
f (x, y) dxdy
D

that we want to rewrite as an integral over S with respect to u and w. This

is like doing a substitution in a one-dimensional integral. In that case you
dx
have dx = du
du The analog of dx/du here is the Jacobian
x x
x y
y x
w
=
J(u, w) = det u

y
y
u w u w
u
w
We then have
Z Z

f (x, y) dxdy =

Z Z

f (T 1 (u, w)) |J(u, w)| dudw

Often f (T 1 (u, w)) is simply written as f (u, w). In practice you write f ,
which is originally a function of x and y as a function of u and w.

14

If A is a subset of D, then we have

Z Z
Z Z
f (x, y) dxdy =
f (T 1 (u, w)) |J(u, w)| dudw
A

T (A)

Example - Polar coordinates Let X and Y be independent standard

normal random variables. Define new random variables R, by
x = r cos(),

y = r sin()

Find the joint density of R, .

Some calculation shows the Jacobian is r. (This is the same r you saw in
vector calc: dxdy = rdrd. ) And the joint density is

1
r 2 /2
re
if r 0, 0 2
2
fR, (R, ) =
0,
otherwise
End of Nov 2 lecture
Example Let X and Y be independent random variables. They both have
an exponential distribution with = 1. Let
U = X + Y,
X
W =
X +Y
Find the joint density of U and W .
x
Let T (x, y) = (x + y, x+y
). Then T is a bijection from [0, ) [0, )
onto [0, ) [0, 1]. We need to find its inverse, i.e., find x, y in terms of u, w.
Multiply the two equations to get x = uw. Then y = u x = u uw. So
T 1 (u, w) = (uw, u uw). And so
x x

w
u
w
J(u, w) = det u
= u
= det
y
y
1 w u
u
w
So
fU,W (u, w) =

ue1
0,

if u 0, 0 w 1
otherwise
15

Bivariate normal If X and Y are independent standard normal RVs, then

their joint density is proportional to exp( 12 (x2 + y 2 )). This is a special case
of a bivariate normal distribution. In the more general case they need not
be independent. We find consider a special case of the bivariate normal. Let
1 < < 1. Define
f (x, y) =

1
1
p
(x2 2xy + y 2 ))
exp(
2
2
2(1 )
2 1

You can compute the marginals of this joint distribution by the usual trick of
completing the square. You find that X and Y both have a standard normal
distribution. Note that the stuff in the exponential is a quadratic form in x
and y. A more general quadratic form would have three parameters:
exp((Ax2 + 2Bxy + Cy 2 ))
In order for the intergal to converge the quadratic form Ax2 + 2Bxy + Cy 2
must be positive.
Now suppose we start with two independent random variables X and Y
which are independent and define
U = aX + bY,

W = cX + dY

where a, b, c, d are real numbers. In matrix notation

X
a b
U
=
Y
c d
W
What is the joint density of U and W ? The transformation T is linear and
so its inverse is linear (assuming it is invertible). So the Jacobian will just
be a constant. So the joint density of U, W will be of the form exp( 12 mess)
where mess is what we get when we rewrite x2 + y 2 in terms of u and w.
Argue this will be of the form Au2 + 2Buw + Cw2 . So we get some sort of
bivariate normal.
This can be generalized to n RVs. A joint normal (or Gaussian) distribution is of the form
1
c exp( (x, M x))
2
where M is a positive definite n by n matrix and c is the normalizing constant.
16

Correlation coefficient
If X and Y are independent, then E[XY ] E[X]E[Y ] = 0. If there are
not independent, it need not be zero and it is in some sense a measure of
how dependent they are.
Definition 5. The covariance of X and Y is
cov(X, Y ) = E[XY ] E[X]E[Y ]
The correlation coefficient is a
cov(X, Y )
p
(X, Y ) = p
var(X) var(Y )

The correlation coefficient has the advantage that it is scale invariant:

(aX, bY ) = (X, Y ). It can be shown that for any random variables 1
(X, Y ) 1.
Bivariate normal - cont We return to the joint density
f (x, y) =

1
1
p
(x2 2xy + y 2 ))
exp(
2
2
2(1 )
2 1

Note that f (x, y) = f (x, y). This implies E[X] = E[Y ] = 0. So

cov(X, Y ) = E[XY ].
Z Z
1
x2 2xy + y 2
p
E[XY ] =
) dxdy
xy exp(
2(1 2 )
2 1 2
Z

Z
y 2 2xy
1
1
2
p
x)
) dy dx
y exp(
x exp(
=
2(1 2 )
2(1 2 )
2 1 2
Z

Z
(y x)2 2 x2
1
1
2
p
x)
) dy dx
y exp(
x exp(
=
2(1 2 )
2(1 2 )
2 1 2
Z

Z
y2
1 2
1
p
) dy dx
(y + x) exp(
x exp( x )
=
2
2(1 2 )
2 1 2
Z
Z

1
1 2
y2
2
= p
) dy
x exp( x ) dx
exp(
2
2(1 2 )
2 1 2
=
17

So the correlation coefficient is . Of coure this is why we wrote the density

in the form that we did.
End of Nov 4 lecture

18

6.8

Conditional density and expectation

We first review what we have done. For events A, B,

P(A|B) =

P(A B)
P(B)

provided P(B) > 0. If we define Q(A) = P(A|B), then Q is a new probability

measure.
Let X be a discrete RV with pmf fX (x). If we know B occurs the pmf
for X will be different. The conditional pmf of X given B is
f (x|B) = P(X = x|B) =

P(X = x, B)
P(B)

The conditional expectation of X given B is

X
E[X|B] =
x f (x|B)
x

A partition is a collection of disjoint events Bn whose union is all of the

sample space . The partition theorem says that for a random variable X.
X
E[X] =
E[X|Bn ]P(Bn )
n

Most of our applications were of the following form. Let Y be another discrete
RV. Define Bn = {Y = n} where n ranges over the range of Y . Then
X
E[X] =
E[X|Y = n]P(Y = n)
n

Now suppose X and Y are continuous random variables. We want to

condition on Y = y. We cannot do this since P(Y = y) = 0. How can we
make sense of something like P(a X b|Y = y) ? We can define it by a
limiting process:
lim P(a X b|y Y y + )
0

Now let f (x, y) be the joint pdf of X and Y .

R b R y+

f
(u,
w)
dw
du
a
y

P(a X b|y Y y + ) = R R y+
f (u, w) dw du

y
19

Assuming f is continuous and is small,

Z y+
f (u, w) dw 2f (u, y)
y

So the above just becomes

Rb
Z b
2f (u, y)du
f (u, y)
a
R
=
du
f
(y)
2f
(u,
y)du
Y
a

This motivates the following definition:

Definition 6. Let X, Y be jointly continuous RVs with pdf fX,Y (x, y). The
conditional density of X given Y = y is
fX|Y (x|y) =

fX,Y (x, y)
, if fY (y) > 0
fY (y)

When fY (y) = 0 we can just define it to be 0. We also define

Z b
fX|Y (x|y) dx
P(a X b|Y = y) =
a

We have made the above definitions. We could have defined fX|Y and
P(a X b|Y = y) as limits and then proved above as theorems.
What happens if X and Y are independent? Then f (x, y) = fX (x)fY (y).
So fX|Y (x|y) = fX (x) as we would expect.
Example (X, Y ) is uniformly distributed on the triangle with vertices (0, 0), (0, 1)
and (1, 0). Find the conditional density of X given Y .
The joint density is 2 on the triangle.
Z 1y
dx = 2(1 y), 0 y 1
fY (y) = 2
0

And we have
fX|Y (x|y) =

2
1
=
,
2(1 y)
1y

0x1y

So given Y = y, X is uniformly distributed on [0, 1 y].

The conditional expectation is defined in the obvious way
20

Definition 7.
E[X|Y = y] =

1
(1
2

x fX|Y (x|y) dx

Note that E[X|Y = y] is a function of y. In our example, E[X|Y = y] =

y).

Example Let X, Y be independent,each having an exponential distribution

with the same . Let Z = X + Y . Find fZ|X , fX|Z , E[Z|X = x] and
E[X|Z = z].
First we need to find the joint density of X and Z. We use change of
variables. Let U = X, W = X + Y . The inverse is x = u, y = w u.The
Jacobian is
x x

1 0
u
w
J(u, w) = det y y = det
=1
1 1
u
w
We have fX,Y (x, y) = 2 exp((x + y)) for x, y 0. So

2 ez , if 0 x z
fX,Z (x, z) =
0,
otherwise
It is convenient to write the condition on x, z as 1(0 x z). This notation
means the function is 1 if 0 x z is satisfied and 0 if it is not. So
fX,Z (x, z) = 2 ez 1(0 x z). So we have for x 0,
fX|Z (x|z) =

fX,Z (x, z)
2 ez 1(0 x z)
=
= e(zx) 1(0 x z)
fX (x)
ex

Using this and the sub u = z x, we find

Z
Z
1
(zx)
(u + x)eu du = x +
z e
dz =
E[Z|X = x] =

0
x
For the other one, we first find the marginal for Z:
Z
Z
fZ (z) =
fX,Z (x, z) dx =
2 ez 1(0 x z) dx

Z
z
2 ez dx = 2 zez
=
0

21

So we have
fX|Z (x|z) =

2 ez 1(0 x z)
1
fX,Z (x, z)
=
= 1(0 x z)
2
z
fZ (z)
ze
z

So given that Z = z, X is uniformly distributed on [0, z]. So E[X|Z = z] =

z/2.
Recall the partition theorem for discrete RVs X and Y ,
X
E[Y ] =
E[Y |X = n]P(X = n)
n

For continuous random variables we have

Theorem 6. Let X, Y be jointly continuous random variables. Then
Z
E[Y ] =
E[Y |X = x] fX (x) dx
where the integral is over the range of x where fX (x) > 0, i.e., the range of
X.
Proof. Recall the definition:
E[Y |X = x] =
=

y fY |X (y|x) dy
y

fY,X (y, x)
dy
fX (x)

So
Z

E[Y |X = x] fX (x) dx =

Z Z

y fX,Y (x, y)dx dy = E[Y ]

Recall that the partition theorem was useful when it was hard to compute
the expected value of Y , but easy to compute the expected value of Y given
that some other random variable is known.
22

Example: Quality of lightbulbs varies because ... For fixed factory conditions, the lifetime of the lightbulb has an exponential distribution. We
model this by assuming the parameter is uniformly distributed between
5 104 and 8 104 . Find the mean lifetime of a lightbulb and the pdf for
its lifetime. Is it exponential?
Example: Let X, Y be independent standard normal RVs. Let Z = X + Y .
Find fZ|X , fX|Z , E[Z|X = x] and E[X|Z = z].

23