Question
Let , and define , , so that is a renewal process.
(1) Prove that .
(2) If has distribution function , find the exact analytic expression for .
(3) Using the key renewal theorem, find .
Step-by-step solution
(1) Step 1. Let . By conditioning on the first renewal time , we establish a renewal equation for . When , and , so . When , the process restarts from , so has the same distribution as . Thus:
Step 2. Let . Set . Substituting into the renewal equation and simplifying, satisfies a renewal equation with source term .
Step 3. Analyze the sign of . When : . When : . So for all .
Step 4. By the renewal equation solution, where is the renewal function. Since and is a non-negative measure, , i.e., . QED.
(2) Since , is exponential with rate 1. The renewal function is . Using the renewal equation solution and computing the integrals for the cases and : When : . When : . In compact form: .
(3) Define . Conditioning on yields the renewal equation where . We have . Assuming , is directly Riemann integrable. By the key renewal theorem: .
Final answer
(1) QED. (2) . (3)
Marking scheme
The following is the rubric for this problem.
1. Checkpoints (max 7 pts)
Part (1) (3 pts)
- Establish the renewal equation for [1 pt]: Correctly write the renewal equation with source term .
- Analyze the sign of the difference function or source term [1 pt]: Construct and show the effective source term is non-negative for both and .
- Conclude the inequality [1 pt]: Use non-negativity of the source and the renewal function to deduce .
Part (2) (2 pts)
- Exponential distribution setup and integral formulation [1 pt]: Identify and set up the concrete integral expression.
- Compute the piecewise analytic formula [1 pt]: Correctly compute both cases ( and ) and write the final result.
Part (3) (2 pts)
- Mean renewal equation and source integral [1 pt]: Set up the renewal equation for and verify .
- Apply the key renewal theorem [1 pt]: Cite the KRT and obtain .
Total (max 7)
2. Zero-credit items
- Part (1): Only intuitive description of length-biased sampling without rigorous proof.
- Part (1): Only verifying or without proving for all .
- Part (3): Directly writing the length-biased formula without using the key renewal theorem as required.
3. Deductions
- Concept confusion: Confusing (total lifetime covering ) with residual life () or current age, that subpart earns 0.
- Sign error: Reversing the inequality direction, deduct 1 pt.
- Integration error: Pure arithmetic/integration error with correct approach, deduct 1 pt.