Time Change of the Homogeneous Poisson Process

theoremProbability

Time Change of the Homogeneous Poisson Process

theoremProbabilitythm:time-change-poisson-2026c
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Corrected version addressing reviewer flag on thm:time-change-poisson-2026b: removed the unsupported trailing converse claim ('every inhomogeneous Poisson process arises in distribution...'), which relied on undefined process-level equality in law and unstated existence/uniqueness content; added inline statement that the rate-1 process M has mean function Lambda_M(u)=u so the hypothesis is self-contained. Approved by Aaron.

Let M=(Mu)u0M=(M_u)_{u\ge0} be a \reftext{def:inhomogeneous-poisson-process-2026b}{homogeneous Poisson process} with rate 11 on a \reftext{def:probability-space-random-variable-2026a}{probability space} (Ω,F,P)(\Omega,\mathcal{F},P), so that the mean function of MM is ΛM(u)=u\Lambda_M(u)=u for all u0u\ge0, and let λ:[0,)R\lambda:[0,\infty)\to\mathbb{R} be an intensity function with mean function Λ\Lambda, in the sense of the same definition, where R\mathbb{R} is the set of \reftext{def:real-numbers-c54-2026c}{real numbers}. Define

Nt=MΛ(t)(t0).N_t=M_{\Lambda(t)}\qquad(t\ge0).

Then N=(Nt)t0N=(N_t)_{t\ge0} is an \reftext{def:inhomogeneous-poisson-process-2026b}{inhomogeneous Poisson process} with intensity λ\lambda on the same probability space.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…

Proofs

Please log in to submit a proof.

Loading...