Home page for accesible maths 8 Bivariate Transformations

Style control - access keys in brackets

Font (2 3) - + Letter spacing (4 5) - + Word spacing (6 7) - + Line spacing (8 9) - +

8.1 One-to-one Bivariate Transformations

Suppose that there are two random variables X and Y which have joint pdf fXY. We are interested in the joint distribution of two new random variables, S=g1(X,Y) and T=g2(X,Y), which are functions of (X,Y). We assume that the transformation from (X,Y)(S,T) is a one-to-one bivariate transformation, so that there exist functions X=h1(S,T) and Y=h2(S,T). Then the joint pdf of (S,T) is (see Appendix B)

fST(s,t)=fXY(x,y)detJx=h1(s,t),y=h2(s,t)

where detJ is the absolute value of the determinant of J where J is the Jacobian of the transformation

J=(x,y)(s,t)=[xsxtysyt]

and both f(x,y) and J are written as functions of s and t.

So the transformation procedure is:

  1. 1.

    Check one-to-one bivariate transformation. (Given x and y can we find s and t uniquely, and given s and t can we find x and y uniquely?)

  2. 2.

    Invert the transformation – find s and t as functions of x and y. (Again this might be an easy way of checking whether it is a one-to-one transformation).

  3. 3.

    Find the Jacobian (as a function of s and t).

  4. 4.

    Use the formula, replacing x and y in f(x,y) by the appropriate functions of s and t.

  5. 5.

    Summarise, taking care with the ranges of S and T.

As in the univariate case it is sometimes easier to calculate the inverse detJ-1 using

detJ-1=|det[xsxtysyt]|-1=|det[sxsytxty]|.
Example 8.1.1.

Suppose X and Y are independent 𝖭(0,1) random variables. Find the joint and marginal pdfs of S=X+Y and T=X-Y.

Solution.  Since X and Y are independent their joint pdf is the product of the marginal pdfs

fXY(x,y)=fX(x)fY(y)=12πexp(-x22-y22).

Rearranging the transformation we have

  1. X=h1(S,T)=S+T2,

  2. Y=h2(S,T)=S-T2,

so

detJ=|det[1/21/21/2-1/2]|=|-1/4-1/4|=|-1/2|=1/2.

Thus

fST(s,t) =12πexp(-(s+t)28-(s-t)28)×12
=12π2exp(-s2/4)12π2exp(-t2/4).

The marginal ranges of s and t are -<s< and -<t<. Further, for any given value of s the range of t is always -<t< so S and T are iid 𝖭(0,2) variables.

Example 8.1.2.

Suppose X and Y are independent, X with an 𝖤𝗑𝗉(1) distribution and Y with a 𝖴𝗇𝗂𝖿(0,2π) distribution. Find the joint and marginal pdfs of

(S,T)=(2Xcos(Y),2Xsin(Y)),

i.e. if (2X,Y) are the polar coordinates of a point in the plane then (S,T) are the corresponding Cartesian coordinates.

Unnumbered Figure: Link

Solution.  The joint pdf of (X,Y) is

fXY(x,y)=12πexp(-x)

for 0<x<, 0<y<2π. In this case it is easier to find the inverse detJ-1

detJ-1=|det[sxsytxty]|=|det[12xcos(y)-2xsin(y)12xsin(y)2xcos(y)]|=1.

Since X=(S2+T2)/2 we get

fST(s,t) =12πexp(-s2+t22)
=12πexp(-s2/2)12πexp(-t2/2).

The marginal ranges of s and t are -<s< and -<t<. Further, for any given value of s the range of t is always -<t< so S and T are independent and identically distributed 𝖭(0,1) random variables.

The transformation in Example 8.1.2 is called the Box-Muller transformation, which is useful for simulating Normal random variables. Figure 8.1 (First Link, Second Link) illustrates the transformation.

Remember that we can generate an Exponential(1) random variable from a uniform by the transformation X=-log(U), thus we can generate two independent N(0,1) random variables N1 and N2 from two independent Uniform(0,1) random variables U1 and U2 by

(N1,N2)=(-2log(U1)cos(2πU2),-2log(U1)sin(2πU2)).
Figure 8.1: First Link, Second Link, Caption: The Box-Muller transformation in Example 8.1.2 for generating standard Normal random variables.
Example 8.1.3.

Suppose X𝖦𝖺𝗆(a,1) and Y𝖦𝖺𝗆(b,1) are independent random variables. Find the joint and marginal pdfs of S=X+Y and T=X/(X+Y). Are S and T independent? Give your reasoning.

The marginal ranges of S and T are s>0, 0t1. Further, the range of t does not depend on s, so s and t are variationally independent.

Since X and Y are independent their joint pdf is the product of the marginal pdfs

fXY(x,y) =fX(x)fY(y)
=1Γ(a)xa-1exp(-x)1Γ(b)yb-1exp(-y),

for 0<x< and 0<y<.

Inverting the transformation, X=ST and Y=S(1-T). The Jacobian matrix of partial derivatives is

J=(x,y)(s,t)=[ts1-t-s]

Its determinant is -s, so |det(J)|=s.

Thus the joint pdf is

fST(s,t) =fXY(x,y)det(J)
=1Γ(a)Γ(b)xa-1yb-1exp(-x-y)s
=1Γ(a)Γ(b)(st)a-1(s[1-t])b-1exp(-s)s
=1Γ(a)Γ(b)sa+b-1exp(-s)ta-1(1-t)b-1
=1Γ(a+b)sa+b-1exp(-s)Γ(a+b)Γ(a)Γ(b)ta-1(1-t)b-1,

with the range given above.

Joint pdf factorises and variationally independent so S and T are independent.
The pdfs can be recognised as S𝖦𝖺𝗆(a+b,1),T𝖡𝖾𝗍𝖺(a,b).