MathIsimple

Stochastic Processes – Problem 35: Prove: (1) is a Poisson process with rate

Question

Let N1(t),N2(t)N_{1}(t),N_{2}(t) be independent Poisson processes with rates λ1,λ2\lambda_{1},\lambda_{2} respectively. Prove: (1) N1(t)+N2(t)N_{1}(t)+N_{2}(t) is a Poisson process with rate λ1+λ2\lambda_{1}+\lambda_{2}. (2) For N1(t)+N2(t)N_{1}(t)+N_{2}(t), the probability that the first event comes from N1(t)N_{1}(t) is λ1λ1+λ2\frac{\lambda_{1}}{\lambda_{1}+\lambda_{2}}, and prove that this event is independent of the time of occurrence.

Step-by-step solution

Step 1. Define the superposed process N(t):=N1(t)+N2(t),t0,N(t):=N_1(t)+N_2(t),\qquad t\ge 0, where N1,N2N_1,N_2 are independent Poisson processes with rates λ1,λ2\lambda_1,\lambda_2. Clearly N(0)=0N(0)=0.

Step 2. Independent increments: for disjoint intervals, increments of N1N_1 are independent, increments of N2N_2 are independent, and the two processes are mutually independent. Therefore the corresponding increments of NN are independent.

Step 3. Stationary increment law: for h>0h>0, N(t+h)N(t)=d(N1(t+h)N1(t))+(N2(t+h)N2(t)),N(t+h)-N(t)\stackrel{d}=\bigl(N_1(t+h)-N_1(t)\bigr)+\bigl(N_2(t+h)-N_2(t)\bigr), which is a sum of independent Poisson variables with means λ1h\lambda_1 h and λ2h\lambda_2 h. Hence N(t+h)N(t)Poisson((λ1+λ2)h).N(t+h)-N(t)\sim\operatorname{Poisson}\bigl((\lambda_1+\lambda_2)h\bigr). Thus NN is a Poisson process of rate λ1+λ2\lambda_1+\lambda_2.

Step 4. Let T1:=inf{t>0:N1(t)=1},T2:=inf{t>0:N2(t)=1},T:=min(T1,T2).T_1:=\inf\{t>0:N_1(t)=1\},\quad T_2:=\inf\{t>0:N_2(t)=1\},\quad T:=\min(T_1,T_2). Then T1Exp(λ1)T_1\sim\operatorname{Exp}(\lambda_1), T2Exp(λ2)T_2\sim\operatorname{Exp}(\lambda_2), independent. Therefore P(T>t)=P(T1>t,T2>t)=eλ1teλ2t=e(λ1+λ2)t,P(T>t)=P(T_1>t,T_2>t)=e^{-\lambda_1 t}e^{-\lambda_2 t}=e^{-(\lambda_1+\lambda_2)t}, so TExp(λ1+λ2)T\sim\operatorname{Exp}(\lambda_1+\lambda_2).

Step 5. Probability that the first jump comes from process 1: P(T1<T2)=0P(T2>t)λ1eλ1tdt=0λ1e(λ1+λ2)tdt=λ1λ1+λ2.P(T_1<T_2)=\int_0^\infty P(T_2>t)\,\lambda_1 e^{-\lambda_1 t}\,dt =\int_0^\infty \lambda_1 e^{-(\lambda_1+\lambda_2)t}dt =\frac{\lambda_1}{\lambda_1+\lambda_2}.

Step 6. Independence between label and first-jump time. For any t0t\ge0, P(T1<T2,Tt)=0tλ1e(λ1+λ2)sds=λ1λ1+λ2(1e(λ1+λ2)t).P(T_1<T_2,\,T\le t) =\int_0^t \lambda_1 e^{-(\lambda_1+\lambda_2)s}ds =\frac{\lambda_1}{\lambda_1+\lambda_2}\bigl(1-e^{-(\lambda_1+\lambda_2)t}\bigr). Since P(T1<T2)=λ1λ1+λ2,P(Tt)=1e(λ1+λ2)t,P(T_1<T_2)=\frac{\lambda_1}{\lambda_1+\lambda_2},\qquad P(T\le t)=1-e^{-(\lambda_1+\lambda_2)t}, we have P(T1<T2,Tt)=P(T1<T2)P(Tt).P(T_1<T_2,\,T\le t)=P(T_1<T_2)P(T\le t). Hence the indicator 1{T1<T2}\mathbf 1_{\{T_1<T_2\}} is independent of TT.

Therefore: 1) N1+N2N_1+N_2 is Poisson with rate λ1+λ2\lambda_1+\lambda_2; 2) the first jump comes from N1N_1 with probability λ1/(λ1+λ2)\lambda_1/(\lambda_1+\lambda_2), and this event is independent of the first-jump time.

Final answer

QED.

Marking scheme

The following is the rubric, total 7 points.


1. Checkpoints (Total max 7 pts)

Part 1: Prove N1+N2N_1+N_2 is a Poisson process (3 pts)

  • Structural conditions [max 1]: Verify N(0)=0N(0)=0 and independent increments.
  • Distribution derivation [max 2]: Via convolution + binomial theorem or characteristic functions, show N(t)Pois((λ1+λ2)t)N(t) \sim \text{Pois}((\lambda_1+\lambda_2)t).

Part 2: First event probability and independence (4 pts)

  • Set up integral [1 pt]: Write P(T1<T2)P(T_1 < T_2) as an integral.
  • Compute result [1 pt]: Obtain λ1λ1+λ2\frac{\lambda_1}{\lambda_1+\lambda_2}.
  • Distribution of minimum [1 pt]: Show T=min(T1,T2)Exp(λ1+λ2)T = \min(T_1,T_2) \sim \text{Exp}(\lambda_1+\lambda_2).
  • Verify independence [1 pt]: Show P(T1<T2,Tt)=P(T1<T2)P(Tt)P(T_1<T_2, T\le t) = P(T_1<T_2)P(T\le t).

Total (max 7)


2. Zero-credit items

  • Citing the conclusion as proof in Part 1.
  • Asserting independence by intuition in Part 2.

3. Deductions

  • Logical gap (-1): Incorrect integration limits.
  • Notation confusion (-1): Confusing random variables with realizations.
  • Missing conclusion (-1): Not stating the independence criterion explicitly.
Ask AI ✨