Explain p.d.f. of the sum of random variables

AI Thread Summary
To find the probability density function (PDF) of the sum of two random variables with a joint PDF f(x,y), one can use the joint characteristic function or evaluate a double integral. If the variables are dependent, the process is more complex, but a valid PDF will not diverge if calculated correctly. The PDF may not yield finite moments, but it should still represent a valid distribution if the domains of X and Y are finite. The probability that X + Y is less than a certain value can be expressed as a double integral with appropriate limits.
exoCHA
Messages
2
Reaction score
0
Hi,
I need your help,
Say we have two random variables with some joint pdf f(x,y). How would I go about finding the pdf of their sum?
 
Physics news on Phys.org
If the two random variables are dependent there is no easy solution. (I tried Google!)
 
I think I found the answer: google docs... page 10

another question, if I end up with an integral like that and a constant inside, then does the pdf of the two variables diverges and there's no answer?
 
Hey exoCHA.

The PDF won't diverge if it's a valid PDF.

The PDF however may not give finite moments but that is a completely different story. Your PDF should be a valid PDF if you did everything right and it should contain a region that has finite realizations of Z if the domain of your X and Y in your joint PDF are also finite for something like Z = X + Y.

Remember that even a Normal distribution is valid for the entire real line just like the Z will also be valid across the entire real line.
 
Another way to find the pdf would be to calculate the joint characteristic function

$$\Gamma(\mu_x,\mu_y) = \langle e^{i\mu_x x + i\mu_y y} \rangle = \int_{-\infty}^\infty dx \int_{-\infty}^\infty dy~\rho(x,y) e^{i\mu_x x + i\mu_y y}.$$

One can recover the joint pdf by inverse transforming in the two different mu's, but you can also find the pdf of their sum by setting both ##\mu_x=\mu_y = \mu## and inverse Fourier transforming in ##\mu##:

$$\rho_Z(z) = \int_{-\infty}^\infty \frac{d\mu}{2\pi} \Gamma(\mu,\mu)e^{-i\mu z},$$
where z = x + y. (Whether or not this integral is easy to do is of course a separate issue).
 
If you have a density function f(x,y), then the probability that X+Y < z can be expressed as a double integral,
∫∫f(x,y)dxdy where the integral range is given by x+y < z. This can be evaluated by u=x+y replacing x, so du = dx. The double integral now has y range (-∞,∞) and u range (-∞,z) and g(u,y) = f(u-y,y) as the integrand.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top