The PDF defines multiplication by an indicator: . Put
Then almost surely, , and is a stopping time. It has exponential distribution of rate one and is independent of . The path stays at zero until , jumps to at , and remains there.
Let and . We verify the martingale property directly. On both increments and vanish. On , every observation up to is zero, so the past reveals only that survival event. Conditional on it, is rate-one exponential by memorylessness and remains independent of the mark . With ,
while
Subtracting times the second identity from the first gives zero. The process is adapted and integrable, since its absolute value is bounded by on a finite horizon. Therefore
On we have , so this is exactly the requested process. This first-principles argument uses the natural filtration, which does not disclose the future mark or lifetime. It describes a single marked exponential jump process.

Articles by others on the same topic (0)

There are currently no matching articles.