1
$\begingroup$

Consider a pure-birth process $X(t)$ with rates $\lambda_i$ that satisfies $$\sum_{i=0}^\infty \frac{1}{\lambda_i} = \infty.$$ By Reuter's criterion this is sufficient for $X(t)$ to be regular, ie $X(t) < \infty$ for all $t \ge 0$ holds a.s.

For $\lambda > 0$ let $$\hat{X}(\lambda) := \int_0^\infty \lambda e^{-\lambda t} X(t) dt$$ be the formal Laplace-Transform of $X(t)$.

Suppose there is a $\lambda^* > 0$ so that \begin{align} E\hat{X}(\lambda^*) &= 1 \\ E\int_0^\infty t e^{-\lambda^* t} X(t) dt & < \infty \end{align}

holds. Is the expected number of jumps $EX(a) \le 1$ for some $a$?

1 Answers 1

1

If $\mathrm E(X(t))\gt c$ for every $t\gt0$, then for every $\lambda\gt0$, $$ \mathrm E(\hat X(\lambda))\gt\int_0^{+\infty}\lambda\,\mathrm e^{-\lambda t}\,c\,\mathrm dt=c. $$ Apply this to $c=1$.

(Hence, the second integrability hypothesis is not needed.)

  • 0
    Oh yes of course, that was painfully obvious, sorry. Can you actually show that the second integrability hypothesis follows from $E\hat{X}(\lambda^*)=1$? Can you assume that $\mu(t) := EX(t)$ has a density $f$? Then $E\hat{X}(\lambda^*) = \int_0^\infty e^{-\lambda^* t} f(t) dt$ is a Laplace transform and the hypothesis would then follow from derivative of $E\hat{X}(\lambda^*)$.2012-08-03
  • 0
    Note that I did not write that the second integrability condition follows from the condition $E(\hat X(\lambda^*))=1$ (it does not). But, if $E(\hat X(\lambda^*))$ is finite for some $\lambda^*\gt0$, then the second integrability condition holds for every $\lambda\gt\lambda^*$ (and $E(\hat X(\lambda))$ is finite for every $\lambda\gt\lambda^*$).2012-08-03
  • 0
    Oh, I forgot: sorry but your question about a *density* of $E(X(t))$ is opaque to me.2012-08-03
  • 0
    I meant "Radon-Nikodym derivative" $d\mu/dL$ where $L$ is the Lebesgue measure, but never mind. The scond integrability condition for $\lambda > \lambda^*$ is all i need. Could you elaborate on the proof a little? I don't see it.2012-08-03
  • 0
    Hint: if $\lambda\gt\lambda^*$, there exists some finite $C$ such that $t\mathrm e^{-\lambda t}\leqslant C\mathrm e^{-\lambda^* t}$ for every nonnegative $t$.2012-08-03