Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have a joint PDF $f_{X,Y}(x,y) = cxe^{-x}$ for $x > 0, |y| < x$

First, to determine $c$ I solved the double integral $$\int_0^\infty \int_{-x}^x cxe^{-x}dydx = 1$$ which gave me $c = 1/4$ (verification needed).

I am then asked to find $f_{X|Y}(x|y)$ and $f_{Y|X}(y|x)$.

Now I know that $$f_{X|Y}(x|y) = \frac{f_{X,Y}(x,y)}{f_Y(y)}$$

Also, $$f_Y(y) = \int_0^\infty \frac{1}{4}xe^{-x} dx = \frac{1}{4} $$

So, $$f_{X|Y}(x|y) = \frac{\frac{1}{4}xe^{-x}}{\frac{1}{4}} = xe^{-x}$$

Similarly, $$f_{Y|X}(y|x) = \frac{f_{X,Y}(x,y)}{f_X(x)}$$

And here $$f_X(x) = \int_{-x}^x \frac{1}{4}xe^{-x} dy = (-\frac{1}{4}e^{-x}(x+1)) - (-\frac{1}{4}e^x(-x+1))$$

I would simply like verification that I am on the right track, as I have no way of checking my answers.

share|cite|improve this question

$c=1/4$ is correct.

Your calculation of $f_{Y\mid X}$ is also correct, but, the calculation of $f_{X\mid Y}$ is wrong, since your $f_Y$ is wrong.

First of all, note that $f_{X,Y}$ can be written as follows $$ f_{X,Y}(x,y) = cxe^{-x}1_{x>0}1_{\left|y\right|<x}. $$ I believe that this obvious "observation" simplifies the calculation.

We have by definition that \begin{align} f_Y(y) &= \int_{\mathbb{R}}cxe^{-x}1_{x>0}1_{\left|y\right|<x}dx \end{align} but $\left\{x\in\mathbb{R}:\ 1_{x>0}1_{\left|y\right|<x}\right\} = \left\{x\in\mathbb{R}:1_{x>\text{max}(0,\left|y\right|)}\right\}$. Thus, \begin{align} f_Y(y) &= \int_{\text{max}(0,\left|y\right|)}^\infty cxe^{-x}dx\\ &=c\cdot\left(\text{max}(0,\left|y\right|)+1\right)\cdot e^{-\text{max}(0,\left|y\right|)}. \end{align}

Finally, as Sudarsan pointed out, note that your $f_Y$ is not reasonable as it will not integrate to unity.

share|cite|improve this answer
I'm a little confused about your notation for $f_{X,Y}(x,y)$, I've not seen that before. Is there another way to do this? – Whistlekins Oct 9 '13 at 5:26
Also, if I need to use $\max(0,|y|)$ rather than just 0, why does this not affect the double integral used to find c? – Whistlekins Oct 9 '13 at 5:33
As you said, it is just a notation - you can use it or not. The indicators simply take the role of defining the region over which $f_{X,Y}$ is defined. There are no wisecracks here, just solving integrals correctly. So, "another way" is to solve it as you did, but to be careful when calculating the integrals. – user91011 Oct 9 '13 at 5:33
Because when you calculate $c$ you integrate over $x$ and $y$, so you can first integrate first w.r.t. $y$ and then w.r.t. $x$ (which is simpler). Now, for completeness, try to first integrate over $x$ (and then you will need to use "my result") and then over $y$, and see if you get the same result. – user91011 Oct 9 '13 at 5:37
Using the axiom that Sudarsan pointed out, $\int_{x\in\Omega_x}f_{X|Y}(x|y)dx = 1$ does that not work for my $f_{X|Y}$, i.e. $\int_0^\infty xe^{-x}dx$? Or must both $f_Y$ AND $f_{X|Y}$ integrate to unity? – Whistlekins Oct 9 '13 at 5:42

You can check if your answers for $f_{X|Y}(x|y)$ and $f_{Y|X}(y|x)$ are correct by verifying that they satisfy the 3 axioms of probability; particularly of interest are $\int_{x\in \Omega_X}f_{X|Y}(x|y)\mathrm{d}x=1$ and the other conditional $\int_{y\in \Omega_Y}f_{Y|X}(y|x)\mathrm{d}y=1$. Also you can verify if the Marginals also satisfy the axioms.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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