5
$\begingroup$

Let $X$ be a random variable with distribution $\mu _X$. Then, we define the characteristic function of $X$, $\phi _X$, by

$$ \phi _X(t)\equiv \mathrm{E}\left[ e^{itX}\right] =\int _\mathbb{R} e^{itx}d\mu _X(x) $$

This integral always exists for $t\in \mathbb{R}$. I am trying to determine a "good" set of assumptions to place on $X$ so as to guarantee that this integral makes sense for all $t\in \mathbb{C}$ and so that the resulting function is entire.

I have tried several things, but to no avail. I fear as if I have not even come up anything worthy of mentioning. Any thoughts/hints/suggestions/solutions would be most welcome.

Thanks much!

  • 0
    Schwartz space (?) though it might be too restrictive2011-05-25
  • 2
    For absolutely continuous $X$ with pdf $f$, a good condition is exponential decay at infinity: if $\lvert f(x) \rvert \le e^{-\lambda \lvert x \rvert}$ for a $\lambda >0$, then $\Phi_X$ is holomorphic in the strip $\{z \in \mathbb{C} \mid \lvert \Im m(z)\rvert < \lambda\}$. Did you know that?2011-06-07

1 Answers 1

3

Since $X$ is real valued, the property that, for every complex number $z$, the random variable $\mathrm{e}^{zX}$ is integrable is equivalent to the property that $$ \lim_{t\to+\infty}\frac1t\log P(|X|\ge t)=-\infty. $$