Proof of Stationarity Conditions for a First-Order Autoregressive (AR(1)) Model

Students frequently conflate stationarity with the existence of a finite mean. Even if

|\phi| = 1

, a mean can technically exist if defined at a specific starting point, but the variance becomes infinite as

t \to \infty

, violating the fundamental requirement of time-invariant variance.

Institutional Reference: Applied Statistics