1
$\begingroup$

The classical Marcinkiewicz theorem (1939) states that if a random variable $X$ has a Laplace transform/characteristic function of the form $\mathbb{E}(e^{tX})=e^{P(t)} $ with $P$ a polynomial, then deg($P(t)$)$\leqslant 2$. Since $t=0$ must give $1$, we have $P(t) = \alpha t^2 + \beta t$ for certain real $\alpha,\beta$.

Now, consider the following function, for $a \in\mathbb{R}_+ $ : $ \phi_a(0) = 0 $ and $ \phi_a(k) = a (k - 1)^2 $ for all integer $ k \geqslant 1 $. We know that $ x \mapsto e^{ a (x - 1)^2 } $ cannot be a Laplace transform since the value in $ x = 0$ does not give $1$, but can there be a random variable $ X_a $ such that $ \mathbb{E}(e^{k X_a}) = e^{ \phi_a(k) } $ for all $ k \geqslant 1 $ ? In this case, what would be $ \mathbb{E}(e^{t X_a}) $ for $ t \in \mathbb{R} $ ?

Other related question : can we find such an extrapolation of $ \phi_a $ from the integers to the reals under the form $ a x^2 + \int_{\mathbb{R} } (e^{x \theta} - 1 - x\theta) d\mu(\theta) $ for a certain Levy measure $ \mu $ ? Namely, if $ X_a $ exists, is it infinitely divisible ?

$\endgroup$
4
  • $\begingroup$ Can someone fix the LaTeX ? I don't see the question appearing correctly. $\endgroup$
    – Synia
    Commented Jul 13, 2017 at 10:22
  • $\begingroup$ I fixed LaTeX, but can you fix the contents now? What is $\phi_a$? $\endgroup$ Commented Jul 13, 2017 at 10:47
  • $\begingroup$ Thanks for fixing. $ \phi_a $ is just defined on the integers as $ \phi_a(k) = a (k - 1)^2 $ if $ k \geqslant 1 $ and $ \phi_a(0) = 0 $. What I want is an extrapolation to the reals with the particular property that it is the log of a Laplace transform. $\endgroup$
    – Synia
    Commented Jul 13, 2017 at 11:05
  • $\begingroup$ I had forgotten the $ a \cdot (k - 1)^2 $. This is fixed now. $\endgroup$
    – Synia
    Commented Jul 13, 2017 at 11:19

0

You must log in to answer this question.