Question
A counting process is defined to be a nonhomogeneous Poisson process with intensity function if:
(ii) has independent increments
Prove that follows a Poisson distribution with parameter .
Step-by-step solution
Step 1. Partition the interval into equal subintervals and set . By the independent increments property, Step 2. By definition, for each subinterval, so each subinterval produces at most one jump with high probability. Step 3. Summing these probabilities yields which is a Riemann sum converging to the definite integral. Step 4. Since the subintervals are independent and each admits at most one jump with small probability, is a sum of independent Bernoulli random variables. Letting and applying the Poisson limit theorem,
Final answer
QED.
Marking scheme
Here is the grading rubric for the problem.
1. Checkpoints (max 7 pts total)
Score exactly one chain | take the maximum subtotal among chains; do not add points across chains.
Chain A: Partition and Limit Method [Official Approach]
- [1 pt] Partitioning: Divide the time interval into equal (or arbitrary) subintervals and explicitly express the total increment as the sum of the increments over each subinterval.
- [1 pt] Local Probability Analysis: Correctly invoke conditions (iii) and (iv) to show that in the -th subinterval the probability of exactly one jump is approximately (or ), and the probability of two or more jumps is .
- [2 pts] Riemann Sum Limit: Sum the jump probabilities over all subintervals and correctly identify the limit as the definite integral .
- *Note: If only the summation is written without passing to the integral limit, award 1 pt.*
- [3 pts] Distribution Conclusion: Using the independent increments property (ii), invoke the Poisson Limit Theorem (or the limit distribution of a Bernoulli trial sequence) to conclude that the sum follows a Poisson distribution with the above integral as its parameter.
- *Note: If only the expectation is shown to equal the integral without justifying why the distribution is Poisson, no credit is awarded for this checkpoint.*
Chain B: ODE / Probability Generating Function Method
- [2 pts] Establishing the Difference Relation: Define or the characteristic/generating function, and use the law of total probability together with conditions (iii)-(iv) to establish a relation between times and (e.g., ).
- [2 pts] Derivation of the ODE: Let and correctly derive the Kolmogorov forward equations (or the corresponding PDE for the generating function).
- *Key point: The intensity function must be time-dependent , not a constant.*
- [1 pt] Solving the Zeroth-Order Term: Correctly solve , or obtain the logarithmic part of the characteristic function.
- [2 pts] Induction or Inversion: Solve for the general term by mathematical induction, or invert/Taylor-expand the characteristic function, to arrive at the complete Poisson distribution formula.
Total (max 7)
2. Zero-credit items
- Transcription Only: Merely copying the definitions (i)-(iv) from the problem statement with no substantive derivation.
- Circular Reasoning: Directly assuming is a nonhomogeneous Poisson process and invoking its distributional properties as a conclusion, without deriving them from the microscopic conditions (i)-(iv).
- Unsupported Assertion: Writing down the final formula with no intermediate partition-and-sum or ODE derivation.
3. Deductions
- [Cap at 3/7] Constant Intensity Fallacy: Assuming (constant) throughout the proof. This drastically simplifies the core difficulty of the problem (handling the variable-limit integral), so even if the logic is otherwise sound, the total score is capped at 3.
- [-1] Missing Terms: Completely ignoring or mishandling the terms when deriving the ODE or taking limits (e.g., writing instead of or ), thereby compromising mathematical rigor.
- [-1] Incorrect Integration Limits: Writing the wrong limits of integration in the final result or derivation (e.g., without accounting for the time shift ; the correct form is or equivalently ).
- [-1] Logic Gap: In Chain A, after computing the probability sum, directly asserting the Poisson distribution without mentioning that the subinterval increments are independent or invoking the rare-event principle.