Characteristic function of an exponential distribution

AI Thread Summary
The discussion focuses on calculating the characteristic function of an exponential distribution, expressed as an integral involving the exponential function. The user initially struggles with the limit in their derived expression, which involves complex variables. However, they later reveal that they have resolved the issue and no longer need assistance. The conversation highlights the importance of careful calculation in deriving characteristic functions. Ultimately, the user successfully completes their task.
Zaare
Messages
54
Reaction score
0
I need to calculate the characteristic function of an exponential distribution:
<br /> \phi _X \left( t \right) = \int\limits_{ - \infty }^\infty {e^{itX} \lambda e^{ - \lambda x} dx} = \int\limits_{ - \infty }^\infty {\lambda e^{\left( {it - \lambda } \right)x} dx} <br />

I have arrived at the following expression:
<br /> \frac{{i\lambda }}{{i\lambda + t}}\mathop {\lim }\limits_{x \to \infty } \left( {e^{\left( {\lambda - it} \right)x} } \right)<br />

and I can't calculate the limit.
Any help would be appreciated.
 
Physics news on Phys.org
Nevermind this one, I had overlooked something in my calculations. I've solved it.
 
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