2
$\begingroup$

I have two RVs; their PDF are as the followings:

\begin{split} f_{X}(x) = \frac 1 {a} e^{-\frac x {a}}\end{split} and \begin{split} f_{Y}(y) = \frac {y^{L-1}} {b^{L} \Gamma (L)} e^{-\frac y {b}}\end{split}

where; a,b [Element] Reals && a,b > 0; L [Element] Integers && L >= 1;

Under the above conditions I want to calculated \begin{split} f_{Z}(z) \end{split} where \begin{split} Z = X/Y \end{split}

The PDF can be calculated as the follwing: $$f_Z(z) = \int_0^{\infty} y f_X(yz) f_Y(y) dy$$

And the CDF can be calculated as the follwing: $$F_Z(z) = \int_0^{\infty} \int_0^{yz} f_X(x) f_Y(y) dx dy$$ or $$F_Z(z) = \int_0^{\infty} F_X(yz) f_Y(y) dy$$

$$F_X(yz) = 1- e^{-\frac {yz} {a}} $$

Now to get the PDF of Z; the result for the above integration is: $$ f_Z(z) = \frac {a^L*b*L} {(a+b*z)^{L+1}} $$

And the CDF of Z is:

$$ F_Z(z) = 1-\left(\frac{a}{a+b z}\right)^L $$

How to check if these results are correct?

$\endgroup$
  • 2
    $\begingroup$ $Y$ is not exponential, it has a Gamma distribution. $\endgroup$ – Robert Israel Dec 9 '13 at 16:13
  • $\begingroup$ I usually do a numerical experiment with R (r-project.org) to validate derivations such as this. Sampling your two distributions (say, a thousand times), computing $X/Y$, and plotting the resulting distribution vs. the distribution you derived should only take a few lines of code in R. $\endgroup$ – fgp Dec 9 '13 at 16:24
  • 1
    $\begingroup$ What is the question actually? $\endgroup$ – Did Dec 9 '13 at 16:51
  • $\begingroup$ Where did parameter $c$ come from? $\endgroup$ – wolfies Dec 9 '13 at 17:33
  • $\begingroup$ @Did How to check if these results are correct? $\endgroup$ – sky-light Dec 10 '13 at 9:58
1
$\begingroup$

Simulate them. Write a quick computer program (Mathematica or Matlab (with Statistics toolbox) or octave) to simulate all three random variables, sample each 1000 times, and see if the associated empirical distributions are similar.

$\endgroup$
  • $\begingroup$ I hadn't seen @fgp's comment when I wrote this, which is essentially identical. Funny we both chose 1K samples. $\endgroup$ – John Dec 9 '13 at 16:38
1
$\begingroup$

It can be verified in Maple as follows: $$with(Statistics): X := RandomVariable(Exponential(a)): Y := RandomVariable(Gamma(b, L)): Z := X/Y; CDF(Z, t); $$ produces $$\cases{0&$t\leq 0$\cr - \left( bt+a \right) ^{-L}{a}^{L}+1&$0<t$\cr}. $$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.