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 fX⁢Y. 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)

fS⁢T⁢(s,t)=fX⁢Y⁢(x,y)⁢∣det⁡J∣x=h1⁢(s,t),y=h2⁢(s,t)

where ∣det⁡J∣ is the absolute value of the determinant of J where J is the Jacobian of the transformation

J=∂⁡(x,y)∂⁡(s,t)=[∂⁡x∂⁡s∂⁡x∂⁡t∂⁡y∂⁡s∂⁡y∂⁡t]

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 ∣det⁡J∣-1 using

∣det⁡J∣-1=|det⁡[∂⁡x∂⁡s∂⁡x∂⁡t∂⁡y∂⁡s∂⁡y∂⁡t]|-1=|det⁡[∂⁡s∂⁡x∂⁡s∂⁡y∂⁡t∂⁡x∂⁡t∂⁡y]|.
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

fX⁢Y⁢(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

∣det⁡J∣=|det⁡[1/21/21/2-1/2]|=|-1/4-1/4|=|-1/2|=1/2.

Thus

fS⁢T⁢(s,t) =12⁢π⁢exp⁡(-(s+t)28-(s-t)28)×12
=12⁢π⁢2⁢exp⁡(-s2/4)⁢12⁢π⁢2⁢exp⁡(-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)=(2⁢X⁢cos⁡(Y),2⁢X⁢sin⁡(Y)),

i.e. if (2⁢X,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

fX⁢Y⁢(x,y)=12⁢π⁢exp⁡(-x)

for 0<x<∞, 0<y<2⁢π. In this case it is easier to find the inverse ∣det⁡J∣-1

∣det⁡J∣-1=|det⁡[∂⁡s∂⁡x∂⁡s∂⁡y∂⁡t∂⁡x∂⁡t∂⁡y]|=|det⁡[12⁢x⁢cos⁡(y)-2⁢x⁢sin⁡(y)12⁢x⁢sin⁡(y)2⁢x⁢cos⁡(y)]|=1.

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

fS⁢T⁢(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)=(-2⁢log⁡(U1)⁢cos⁡(2⁢π⁢U2),-2⁢log⁡(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, 0≤t≤1. 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

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

for 0<x<∞ and 0<y<∞.

Inverting the transformation, X=S⁢T 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

fS⁢T⁢(s,t) =fX⁢Y⁢(x,y)⁢∣det⁡(J)∣
=1Γ⁢(a)⁢Γ⁢(b)⁢xa-1⁢yb-1⁢exp⁡(-x-y)⁢s
=1Γ⁢(a)⁢Γ⁢(b)⁢(s⁢t)a-1⁢(s⁢[1-t])b-1⁢exp⁡(-s)⁢s
=1Γ⁢(a)⁢Γ⁢(b)⁢sa+b-1⁢exp⁡(-s)⁢ta-1⁢(1-t)b-1
=1Γ⁢(a+b)⁢sa+b-1⁢exp⁡(-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).