Question
Suppose is a random variable with the following density function:
Given , the random variable is uniformly distributed on . Prove that is stationary and ergodic.
Step-by-step solution
Step 1. Determine the density of and verify normalization. From , we get , so .
Step 2. Describe the Markov property and transition kernel. is a Markov chain: given , . The transition density is for , and 0 elsewhere.
Step 3. Prove irreducibility. If (i.e., ), then in one step. If , take : , and for we have , so . Hence is irreducible.
Step 4. Prove aperiodicity. For continuous state spaces with a continuous transition kernel, there is no non-trivial periodic structure, so is aperiodic (period 1).
Step 5. Verify the Feller property. For a closed set , . As , the interval endpoint continuously, so . The Feller property holds.
Step 6. Prove positive recurrence. Since the transition kernel is continuous and nonzero on , and the state space is bounded, return times have finite expectation, so is positive recurrent.
Step 7. Apply the Markov chain ergodic theorem. For a continuous-state Markov chain satisfying irreducibility, aperiodicity, the Feller property, and positive recurrence, the chain is ergodic: there exists a unique stationary distribution such that for any initial distribution, converges weakly to . - Stationarity: with , the finite-dimensional distributions are shift-invariant. - Ergodicity: time averages equal space averages a.s., and all invariant sets have probability 0 or 1.
Step 8. In summary, the Markov chain is stationary and ergodic.
Final answer
QED.
Marking scheme
1. Checkpoints (max 7 pts total)
- Model parameters and kernel (1 pt): Compute via normalization and write the correct transition density . If only is found without the kernel, award 0.
- Irreducibility proof (2 pts)
- [additive] Argue one-step reachability () for , or define irreducibility. [1 pt]
- [additive] Argue multi-step reachability (e.g., ) for , proving irreducibility on all of . [1 pt]
- Aperiodicity (1 pt): Note that continuous state space with a density (or no discrete cyclic structure) implies period 1.
- Feller property / continuity (1 pt): Verify is continuous in , or state the Feller property holds.
- Positive recurrence (1 pt): Use boundedness of the state space to argue finite mean return time, or cite Krylov-Bogolyubov for existence of an invariant measure.
- Ergodic theorem and conclusion (1 pt): Cite the Markov chain ergodic theorem (irreducible + aperiodic + positive recurrent/Feller ergodic with unique stationary distribution ). Conclude the process is stationary and ergodic.
Total (max 7)
2. Zero-credit items
- Merely copying the density or distribution definition from the problem.
- Listing terms like "stationary" or "ergodic" without verifying any conditions.
- Asserting irreducibility or positive recurrence without computing the transition kernel.
- Only computing with no further discussion of the stochastic process.
3. Deductions
- Cap at 5/7: Completely ignoring the integration domain restriction (not handling ), causing a serious gap in the irreducibility proof.
- -1: Writing the transition density without the indicator function or boundary conditions.
- -1: Citing the ergodic theorem but omitting a key prerequisite (e.g., not mentioning irreducibility or positive recurrence).