St · Statistics & Probability

What Is the MGF of the Ratio X/Y?

Published By the 9to5Science editorial team

At a glance

  1. 1. Specify the joint law

    The ratio depends on how X and Y are distributed together, not just on their separate distributions.

  2. 2. Find the ratio distribution

    When a joint density exists and Y is nonzero, transform the variables to obtain the density of X/Y.

  3. 3. Check exponential integrability

    Evaluate E[exp(tX/Y)] and check whether it is finite for every t in some open interval around zero.

  4. 4. State the existence result

    If no such interval exists, the ratio has no moment-generating function in the usual sense.

There is no universal MGF for the ratio R=X/YR=X/Y. Its distribution depends on the joint behavior of XX and YY, and the expectation defining its MGF may be infinite for every nonzero value of the argument.

The general expression is MR(t)=E[etX/Y]M_R(t)=\mathbb{E}[e^{tX/Y}], provided Y≠0Y\ne 0 with probability 1 and the expectation is finite. Here is how to find the ratio distribution when densities are available, and why the MGF may still fail to exist.

The general formula

A random variable’s moment-generating function is MR(t)=E[etR]M_R(t)=\mathbb{E}[e^{tR}]. For R=X/YR=X/Y, this becomes

MR(t)=E[etX/Y].M_R(t)=\mathbb{E}\left[e^{tX/Y}\right].

This expression is useful only when its expectation is finite. By the usual definition, an MGF must be finite for all tt in some open interval containing zero. A value at t=0t=0 alone, where MR(0)=1M_R(0)=1, does not establish that an MGF exists.

If (X,Y)(X,Y) has joint density fX,Y(x,y)f_{X,Y}(x,y) and P(Y=0)=0P(Y=0)=0, the ratio has density

fR(r)=∫−∞∞∣y∣fX,Y(ry,y) dy.f_R(r)=\int_{-\infty}^{\infty}|y|f_{X,Y}(ry,y)\,dy.

The factor ∣y∣|y| is the absolute Jacobian of the transformation x=ryx=ry. Once you have this density, test whether

MR(t)=∫−∞∞etrfR(r) drM_R(t)=\int_{-\infty}^{\infty}e^{tr}f_R(r)\,dr

exists and is finite around t=0t=0. If XX and YY are independent with densities, you can use fX,Y(x,y)=fX(x)fY(y)f_{X,Y}(x,y)=f_X(x)f_Y(y) in the ratio-density formula. Independence is not required, but the joint distribution is needed.

Worked example: a ratio of standard normals

Let XX and YY be independent standard normal random variables. Each has an MGF, et2/2e^{t^2/2}, but their ratio does not.

Using the density transformation,

fR(r)=∫−∞∞∣y∣ ϕ(ry)ϕ(y) dy=12π∫−∞∞∣y∣e−(1+r2)y2/2 dy=1π(1+r2),\begin{aligned} f_R(r) &=\int_{-\infty}^{\infty}|y|\,\phi(ry)\phi(y)\,dy\\ &=\frac{1}{2\pi}\int_{-\infty}^{\infty}|y|e^{-(1+r^2)y^2/2}\,dy\\ &=\frac{1}{\pi(1+r^2)}, \end{aligned}

where ϕ\phi is the standard normal density. This is the standard Cauchy density. For t>0t>0, the integral ∫etr/[π(1+r2)] dr\int e^{tr}/[\pi(1+r^2)]\,dr diverges in the positive tail. For t<0t<0, it diverges in the negative tail. Thus MR(t)M_R(t) is infinite for every t≠0t\ne 0, even though both variables in the ratio have MGFs.

A positive ratio can also lack an MGF

Let XX and YY be independent exponential random variables with rate 1. Both are positive, and the density of R=X/YR=X/Y is

fR(r)=∫0∞ye−rye−y dy=1(1+r)2,r>0.f_R(r)=\int_0^\infty y e^{-ry}e^{-y}\,dy=\frac{1}{(1+r)^2},\qquad r>0.

For t>0t>0, the exponential factor etre^{tr} makes the MGF integral diverge. For t<0t<0, the integral is finite, but that gives only a one-sided range of finite values, not an open interval around zero. So this ratio does not have an MGF under the usual definition either.

Common mistakes

  • Using the separate MGFs of XX and YY. The MGF of a ratio is not obtained by dividing one MGF by another. The ratio depends on the joint distribution.
  • Assuming independence without being told. Marginal distributions alone do not determine the distribution of X/YX/Y; dependence can change it.
  • Treating MR(0)=1M_R(0)=1 as proof of existence. The expectation must be finite in a neighborhood of zero, not just at zero.
  • Ignoring a possible zero denominator. If P(Y=0)>0P(Y=0)>0, the ratio is not defined on an event with positive probability unless a special convention is specified.
  • Confusing an MGF with a characteristic function. The characteristic function E[eitR]\mathbb{E}[e^{itR}] exists for every real tt because its integrand has absolute value 1. That does not imply the MGF exists.

To answer a particular ratio problem, first specify the joint law (or independence and both marginal laws), then derive the ratio distribution or evaluate E[etX/Y]\mathbb{E}[e^{tX/Y}], and finally check finiteness on both sides of zero.

References

  1. An Introduction to Probability Theory and Its Applications, Volume II — William Feller

Spotted an error? Send a correction. Read how we write and check articles in our editorial policy.