Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 29 / 6

Use the intrinsic definition of a Lévy process: $X_0=0$ almost surely, its increments over disjoint time intervals are independent, their probability distributions depend only on interval length, and $X$ has stochastic continuity. In symbols,with times restricted to the half-line. Such a stochastic process has a càdlàg modification, and is usually represented by that version. Requiring càdlàg paths in the definition is a common equivalent convention at the level of modifications; it is important to distinguish this from a claim about the paths of an arbitrary supplied version.

For the characteristic function, writeHere $\psi (0)=0$ and $\psi$ is the positive-time-sign characteristic exponent of a Lévy process. The independent increments and stationary increments give ${\varphi }_{s+t}(\theta )={\varphi }_s(\theta ){\varphi }_t(\theta )$; stochastic continuity gives continuity in time and ${\varphi }_0=1$. This continuous multiplicative semigroup has the stated exponential form. Its exponent has the Lévy–Khintchine formulawhere $b\in \mathbb{R}$, ${\sigma }^2\ge 0$, and the Lévy measure $\nu$ satisfies $\int (1\wedge y^2)\nu (dy)<\infty$. The truncation convention fixes the drift coefficient $b$; the displayed sign convention agrees with $\Psi =-\psi$.

Construct a rate-$\lambda$ Poisson process, for $\lambda >0$, from independent waiting times $E_j$ with exponential distribution $\mathrm{Exp}(\lambda )$. Put $S_k=E_1+\cdots +E_k$, $S_0=0$, and $N_t=\max \{k:S_k\le t\}$. The strong law of large numbers gives $S_k/k\to 1/\lambda$, so there are only finitely many arrivals on each finite interval. Consequently the counting paths are càdlàg, and $N_0=0$ almost surely.

At any deterministic time $s$, the memorylessness of the exponential distribution says that the residual waiting time has again exponential distribution $\mathrm{Exp}(\lambda )$ and is independent of the observed history. Subsequent waiting times are fresh independent copies. Thus the Poisson process restarts independently at $s$, proving independent increments and stationary increments. Integrating the joint waiting-time densities over $0<s_1<\cdots <s_k\le t<s_{k+1}$ givesso its time values have the expected Poisson distribution.

For $h\downarrow 0$,Together with stationary increments, this gives stochastic continuity at every time, from either side where applicable. All the Lévy process requirements hold, andFor $\lambda =0$, the identically zero process gives the degenerate case.

First, convergence in probability at $t=0$ gives $X_0=0$ almost surely, since every $X_0^n=0$. For any finite set of times, the corresponding vectors converge in probability: the union bound controls the probability that any coordinate differs by more than a fixed tolerance. The same holds for their increment vectors, hence also for their convergence in distribution.

For $0=t_0<t_1<\cdots <t_m$, set $D_j^n=X_{t_j}^n-X_{t_{j-1}}^n$ and $D_j=X_{t_j}-X_{t_{j-1}}$. The characteristic function of a random vector factors for the independent increments of each $X^n$:Pass to the limit using convergence in distribution and bounded continuous functions. The resulting factorization of the characteristic function of a random vector, with the uniqueness theorem for characteristic functions, proves independence of the $D_j$. Similarly $X_{s+t}^n-X_s^n\stackrel{d}{=}{X}_t^n$ passes to the limit, proving stationary increments for $X$.

It remains to prove stochastic continuity. For $\epsilon >0$, the triangle inequality and the union bound imply, for every fixed $n$,The second term vanishes by stochastic continuity of $X^n$. Now let $n\to \infty$ and use the additional near-zero approximation hypothesis. We obtain $X_t\to 0$ in probability as $t\downarrow 0$. The stationary increments transfer this to every time: both $X_{s+h}-X_s$ and $X_s-X_{s-h}$ have the law of $X_h$ for $h>0$ when defined. Thus $X$ has all the intrinsic Lévy process properties, proving closure of Lévy processes under locally controlled convergence in probability.

If one requires the supplied process itself to be càdlàg, the hypotheses justify a càdlàg modification, rather than that stronger pathwise assertion. To see the distinction, take $X^n\equiv 0$, let $U$ have uniform distribution on $(0,1)$, and put $X_t=1_{\{t=U\}}$. At each fixed time $t$, $X_t=0$ almost surely, so both approximation hypotheses hold with zero error probability. Nevertheless every path has an isolated spike at $U$ and is not right-continuous there. Its identically zero modification of a stochastic process is a Lévy process with càdlàg paths. The conclusion is exact under the intrinsic definition, and exact up to modification under the convention requiring càdlàg paths.