Solution: Sum of Two Independent Poissons via CFs
Part 1
φNi(t)=exp(λi(eit−1)). By CF multiplicativity (independence):
φN(t)=φN1(t)φN2(t)=exp((λ1+λ2)(eit−1)).
This is the CF of a Poisson(λ1+λ2). By uniqueness, N∼Poisson(λ1+λ2).
Part 2
With N1=N2=N∗∼Poisson(λ), N1+N2=2N∗. Its CF:
φ2N∗(t)=E[ei⋅2t⋅N∗]=φN∗(2t)=exp(λ(e2it−1)).
This is
not the CF of a Poisson distribution — a Poisson with rate
μ has CF
exp(μ(eit−1)), not
exp(μ(e2it−1)). What is
2N∗? A
scaled Poisson that takes only even values. It has the same support structure as Poisson but double the spacing — a "lattice-2" distribution. The lesson: the Poisson convolution rule
requires independence.
Part 3 — Extension
Given N1+N2=n, condition and compute:
P(N1=k∣N1+N2=n)=P(N1+N2=n)P(N1=k)P(N2=n−k)=(kn)(λ1+λ2λ1)k(λ1+λ2λ2)n−k.
So N1∣N1+N2=n∼Binomial(n,λ1/(λ1+λ2)). Given the total, the two Poissons allocate independently with the intensity-ratio probability — a fact used routinely in Poisson-process thinning.
Takeaways
- Independence is essential for CF multiplicativity. φX+Y=φXφY fails when X and Y share structure.
- Sums of independent Poissons are Poisson; products of (Poisson) CFs are Poisson CFs. This is the workhorse in any counting model — default arrivals, trade arrivals, order-book events.
- Conditioned on the total, a bivariate Poisson becomes binomial. This is the infinitesimal content of the Poisson-process thinning property and underlies all sparse-signal modelling in microstructure.