Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 201 / 6 / d

Almost surely differentiable paths must be continuous, so the jump measure must vanish: $K=0$. A nonzero Brownian component has almost surely nowhere-differentiable paths, so also $b=0$. Conversely, if $b=0$ and $K=0$, then $X_t=at$ is differentiable. Thus

The Brownian and drift components are continuous. Any nonzero Lévy measure produces jumps: a set bounded away from zero with positive finite $K$-measure gives a nontrivial compound Poisson component, and increasing such sets detects every nonzero $K$. Hence paths are almost surely continuous exactly when

The compensated small-jump integral is integrable after localization and has mean zero, while the number of large jumps on a compact time interval is finite. Its absolute first moment is finite exactly when the large-jump sizes have finite first moment. Thus $(X_t)$ is integrable exactly when

The Brownian component has finite variance $bt$, and the compensated jump integral has variancewhen this integral is finite. Conversely, a finite second moment forces the jump measure to have a finite second moment. Therefore $(X_t^2)$ is integrable exactly whenThese four equivalences are the Path and moment criteria from a Lévy triplet.