A Poisson random measure of intensity assigns to disjoint measurable sets independent random variables, and
whenever , with the usual countable-additivity requirement.
A Lévy process starts at zero almost surely, has stationary independent increments, and is stochastically continuous; one normally takes its càdlàg modification.
Independent Poisson processes have stationary independent increments, so their weighted sum does too and is stochastically continuous. Moreover,
where
Let be a Poisson random measure on with intensity and define
The assumption makes this integral finite on compact time intervals. The exponential formula for a Poisson random measure gives
so is a Lévy process with exponent .
Choose finite-valued measurable functions which vanish off and satisfy
This is possible by truncation followed by approximation by simple functions. Put
The measure of the support of is finite, and takes finitely many values, so is a simple pure-jump Lévy process. Under this common coupling,

Articles by others on the same topic (0)

There are currently no matching articles.