I The CDF from the Characteristic Function

AI Thread Summary
The discussion centers on deriving the cumulative distribution function (CDF) directly from the characteristic function without first obtaining the probability density function (PDF). It is established that the difference F(b) - F(a) can be expressed using an integral involving the characteristic function φ(t). The integration approach clarifies that x serves as a dummy variable, and the limits can be adjusted to find F(x). The method emphasizes that the derived expression remains valid even in the absence of a known PDF. Overall, the conversation highlights a direct relationship between the characteristic function and the CDF.
EngWiPy
Messages
1,361
Reaction score
61
Is there a way to find the CDF of a random variable from its characteristic function directly, without first finding the PDF through inverse Fourier transform, and then integrate the PDF to get the CDFÉ
 
Physics news on Phys.org
Let F(x) be the desired cdf. You can get F(b)-F(a)=\frac{1}{2\pi}\int_{-\infty}^{\infty} \frac{e^{-itb}-e^{-ita}}{-it}\phi(t)dt$.
 
mathman said:
Let F(x) be the desired cdf. You can get F(b)-F(a)=\frac{1}{2\pi}\int_{-\infty}^{\infty} \frac{e^{-itb}-e^{-ita}}{-it}\phi(t)dt$.

Sorry, this isn't clear to me. Could you elaborate more? Where is ##x## in the integration to have ##F(x)##?
 
x is a dummy variable. Integrate the expression for f(x) (pdf) from a to b to and then switch the order of integration to get the expession I presented. The important thing is that the same expression holds for the even when you don't have a pdf. If you want F(x), let b=x and see if a going to -\infty makes sense.
 
So, basically

F(x)=\int_{-\infty}^{\infty}\frac{e^{-itx}}{-it}\phi(it)\,dt

which is the IFT of ##\frac{\phi(it)}{-it}##?
 
You must use the expression as I described, since you don't know off hand what the expression (F(x)-F(a)) will look like as a tends to -∞. Also you wrote φ(it) where it should be φ(t).

∞9t
 
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