Let $X\in L^1(\Omega)$ and $\phi\_X$ the corresponding characteristic function.


[We know that](https://en.wikipedia.org/wiki/Characteristic_function_(probability_theory)#Properties): $\phi\_X$ is $n$ times differentiable (at $u=0$) iff $\mathbb{E}[X^n]<\infty$. (This depends a bit on if $n$ is even or odd but that's not important for my question). In fact, the derivatives of $\phi\_X$ give a way of computing moments, i.e. $\mathbb{E}[X^n]=i^{-n}\phi\_X^{(n)}(0)$. 


My questions are about avoiding to compute these derivatives and working in the complex plane instead, i.e. so-called ''generalized'' characteristic functions defined on strips of the complex plane (''strips of regulatory''). 


Questions
---------


* Suppose $X=\ln(Y)$ has a nice $C^\infty$ characteristic function. Can I compute the moments of $Y=e^X$ by simply evaluating $\phi\_X$ on the imaginary axis, i.e. $$\mathbb{E}[Y^n]=\mathbb{E}[e^{i(-in)\ln(Y)}]=\phi\_{\ln(Y)}(-in).$$
* If one knows that $\mathbb{E}[X^n]<\infty$ up to some $N$ (potentially infinity) due to the differentiability of $\phi\_X$, does one then know that the lower half of the complex plane (up to $N$) is a subset of the stip of regularity?


Example
-------


An example would be the Variance Gamma process (a subordinated Brownian motion). 
Here,
\begin{align\*}
\phi\_{X\_t}(u)&=\left(\frac{1}{1-\theta\mu iu+\frac{1}{2}\mu\sigma^2u^2}\right)^{\frac{t}{\mu}} \\
&= \exp\left(-\frac{t}{\mu}\ln\left(1-\theta\mu iu+\frac{1}{2}\mu\sigma^2u^2\right)\right).
\end{align\*}
Let $Y\_t=e^{X\_t}$ be an exponentiated VG process. Do we then really have 
\begin{align\*}
\mathbb{E}[Y^n] &=\phi\_X(-in) \\
&=\exp\left(-\frac{t}{\mu}\ln\left(1-\theta\mu n-\frac{1}{2}\mu\sigma^2n^2\right)\right)<\infty
\end{align\*}
for all $n\in\mathbb{N}$?



Characteristic function and moments
The answers to your questions are no and no. 


Question 1: Let $X$ have the standard double exponential distribution, so that the pdf $p\_X$ of $X$ is given by $p\_X(x)=\frac12\,e^{-|x|}$ for real $x$. Then the characteristic function $f\_X$ of $X$ is in $C^\infty$, since $f\_X(t)=\frac1{1+t^2}$ for real $t$. However, all the moments $EY^n$ for $Y=e^X$ and $n\ge1$ equal $\infty$. 


Question 2: Let $X$ have the pdf $p\_X$ given by $p\_X(x)=ce^{-|x|^{1/2}}$ for some real $c>0$ and all real $x$. Then $E|X|^n<\infty$ for all real $n>0$. However, the characteristic function $f\_X$ of $X$, given by the formula $f\_X(t)=\int\_{-\infty}^\infty e^{itx}p\_X(x)\,dx$ for real $t$, cannot be extended to any horizontal strip in the lower half of the complex plane. 


