MathIsimple

Stochastic Processes – Problem 22: Prove:

Question

Constants αk,βk,γk\alpha_k, \beta_k, \gamma_k, k0k \geq 0, satisfy β0=0\beta_0 = 0, β0+γ0=1\beta_0 + \gamma_0 = 1, and for all k1k \geq 1, αk>0\alpha_k > 0, βk>0\beta_k > 0, αk+βk+γk=1\alpha_k + \beta_k + \gamma_k = 1. Let XnX_n be a discrete-time Markov chain with state space {0,1,}\{0, 1, \ldots\} and transition probabilities:

p(0,0)=γ0,  p(0,1)=β0,  p(k,k)=γk,  p(k,k1)=αk,  p(k,k+1)=βk,  k1.p(0,0)=\gamma_0,\; p(0,1)=\beta_0,\; p(k,k)=\gamma_k,\; p(k,k-1)=\alpha_k,\; p(k,k+1)=\beta_k,\; k \geq 1.

Let a<k<ba < k < b, and denote τk=inf{n:Xn=k}\tau_k = \inf\{n: X_n = k\}, φ(m)=k=0mj=1kαjβj\varphi(m) = \sum_{k=0}^{m} \prod_{j=1}^{k} \frac{\alpha_j}{\beta_j}. Prove:

Pk(τa<τb)=φ(b)φ(k)φ(b)φ(a)P_k(\tau_a < \tau_b) = \frac{\varphi(b) - \varphi(k)}{\varphi(b) - \varphi(a)}

(2) XnX_n is recurrent if and only if limmφ(m)=\lim_{m \to \infty} \varphi(m) = \infty.

(20 points)

Step-by-step solution

Step 1. Establish the difference equation. Let uk=Pk(τa<τb)u_k = P_k(\tau_a < \tau_b) be the probability of reaching aa before bb starting from state kk. For a<k<ba < k < b, by the total probability formula for one-step transitions: uk=αkuk1+γkuk+βkuk+1.u_k = \alpha_k u_{k-1} + \gamma_k u_k + \beta_k u_{k+1}. Since αk+βk+γk=1\alpha_k + \beta_k + \gamma_k = 1, simplifying yields: βk(uk+1uk)=αk(ukuk1),\beta_k(u_{k+1} - u_k) = \alpha_k(u_k - u_{k-1}), i.e., uk+1uk=αkβk(ukuk1).u_{k+1} - u_k = \frac{\alpha_k}{\beta_k}(u_k - u_{k-1}).

Step 2. Solve for the general term. Let Δk=uk+1uk\Delta_k = u_{k+1} - u_k. By the recurrence: Δk=αkβkαk1βk1α1β1Δ0.\Delta_k = \frac{\alpha_k}{\beta_k} \cdot \frac{\alpha_{k-1}}{\beta_{k-1}} \cdots \frac{\alpha_1}{\beta_1} \Delta_0. Setting ρk=j=1kαjβj\rho_k = \prod_{j=1}^{k} \frac{\alpha_j}{\beta_j} (ρ0=1\rho_0 = 1), we get Δk=ρkΔ0\Delta_k = \rho_k \Delta_0. Summing: ukua=Δ0j=ak1ρju_k - u_a = \Delta_0 \sum_{j=a}^{k-1} \rho_j. The function φ(k)\varphi(k) from the problem serves as the scale function.

Step 3. Apply boundary conditions. Boundary conditions: ua=1u_a = 1 (starting at aa, immediately reached), ub=0u_b = 0 (starting at bb, τa<τb\tau_a < \tau_b fails). Using ukua=C(φ(k)φ(a))u_k - u_a = C(\varphi(k) - \varphi(a)): At k=bk = b: 01=C(φ(b)φ(a))0 - 1 = C(\varphi(b) - \varphi(a)), so C=1φ(b)φ(a)C = \frac{-1}{\varphi(b) - \varphi(a)}. Substituting: uk=1φ(k)φ(a)φ(b)φ(a)=φ(b)φ(k)φ(b)φ(a).u_k = 1 - \frac{\varphi(k) - \varphi(a)}{\varphi(b) - \varphi(a)} = \frac{\varphi(b) - \varphi(k)}{\varphi(b) - \varphi(a)}. Hence Pk(τa<τb)=φ(b)φ(k)φ(b)φ(a).P_k(\tau_a < \tau_b) = \frac{\varphi(b) - \varphi(k)}{\varphi(b) - \varphi(a)}.

Step 4. Prove the recurrence criterion. The random walk is recurrent if and only if the probability of returning to aa from any state is 1. Since τb\tau_b \to \infty as bb \to \infty: P1(τ0<)=limbP1(τ0<τb).P_1(\tau_0 < \infty) = \lim_{b \to \infty} P_1(\tau_0 < \tau_b). Using part (1) with a=0,k=1a=0, k=1: P1(τ0<τb)=φ(b)φ(1)φ(b)φ(0).P_1(\tau_0 < \tau_b) = \frac{\varphi(b) - \varphi(1)}{\varphi(b) - \varphi(0)}. Examining the limit L=limb1φ(1)/φ(b)1φ(0)/φ(b)L = \lim_{b \to \infty} \frac{1 - \varphi(1)/\varphi(b)}{1 - \varphi(0)/\varphi(b)}: - If limmφ(m)=\lim_{m \to \infty} \varphi(m) = \infty, then L=1L = 1, so the process is recurrent. - If limmφ(m)=M<\lim_{m \to \infty} \varphi(m) = M < \infty, then L=Mφ(1)Mφ(0)<1L = \frac{M - \varphi(1)}{M - \varphi(0)} < 1, so the process is transient. Therefore, recurrence holds if and only if limmφ(m)=\lim_{m \to \infty} \varphi(m) = \infty.

Final answer

(1) QED. (2) QED.

Marking scheme

The following is the grading rubric:

1. Checkpoints (max 7 pts total)

(1) Prove the probability formula (max 4 pts)

Score exactly one chain | take the maximum subtotal among chains; do not add points across chains.

  • Chain A: Difference Equation Method
  • Establish the difference relation: Use the total probability formula to write the recurrence for uku_k and simplify to βk(uk+1uk)=αk(ukuk1)\beta_k(u_{k+1}-u_k) = \alpha_k(u_k-u_{k-1}). (1 pt)
  • Solve for the general term structure: Use iterated multiplication to derive Δkαjβj\Delta_k \propto \prod \frac{\alpha_j}{\beta_j}, and identify the general solution as uk=C1+C2φ(k)u_k = C_1 + C_2 \varphi(k). (2 pts)
  • Apply boundary conditions: Correctly apply ua=1,ub=0u_a=1, u_b=0 to solve for constants and obtain the target fraction. (1 pt)
  • Chain B: Martingale and Stopping Time Theorem
  • Verify the martingale property: Verify that φ(Xn)\varphi(X_n) is a martingale (or local martingale) for the chain. (2 pts)
  • Apply the optional stopping theorem: Apply OST to τ=τaτb\tau = \tau_a \wedge \tau_b. (1 pt)
  • Solve for the probability: Rearrange to obtain the target form. (1 pt)

(2) Prove the recurrence criterion (max 3 pts)

  • Establish the criterion [additive]: State that recurrence is equivalent to limbPk(τa<τb)=1\lim_{b \to \infty} P_k(\tau_a < \tau_b) = 1. (1 pt)
  • Limit analysis [additive]: Analyze the limit of the formula from (1) as bb \to \infty.
  • If both directions (divergence implies recurrence AND convergence implies transience) are argued, award full marks. (2 pts)
  • *Note: If only one direction is discussed, award 1 point.*

Total (max 7)


2. Zero-credit items

  • Only copying the definitions of αk,βk\alpha_k, \beta_k or φ(m)\varphi(m) from the problem without any derivation.
  • In part (2), only reciting the general theorem on recurrence of birth-death processes without connecting to φ(m)\varphi(m) from part (1).
  • Attempting to prove recurrence by finding a stationary distribution π\pi but failing to show πi<\sum \pi_i < \infty.

3. Deductions

  • Boundary condition error: Reversing the boundary conditions (e.g., setting ua=0,ub=1u_a=0, u_b=1). (-1 pt)
  • Logical gap: In part (2), not classifying the limit behavior of φ(b)\varphi(b) (divergence vs. finite constant), directly asserting the limit is 1. (-1 pt)
  • Conceptual confusion: In part (2), incorrectly asserting that convergence of φ(m)\varphi(m) corresponds to recurrence (reversed conclusion), or confusing recurrence with positive recurrence. (-1 pt)
Ask AI ✨