 Solution

The useful autoregressive model is for the squares, not for signed observations. Put $Y_t=X_t^2$ andThenThe errors form a martingale difference sequence relative to the noise history, because the current standardized noise is independent of the past. When the fourth moment is finite they have finite variance and are uncorrelated across distinct times, although their conditional variance depends on the regressor. In centered form, $Y_t-m_2={\alpha }_2(Y_{t-2}-m_2)+u_t$.

For ordinary least squares, use the $n-2$ response-regressor pairs $y_t=X_t^2$, $r_t=X_{t-2}^2$, $t=3,\dots ,n$. With their separate means $\bar{y}$ and $\bar{r}$, minimize ${\sum }_{t=3}^n(y_t-a-b{r}_t{)}^2$. If the regressor sum of squares is positive, the estimators areThe two means use the matched pairs; replacing them indiscriminately by a single full-sample mean is not the exact least-squares formula. The noise-series representation supplies an ergodic stationary process. If $3{\alpha }_2^2<1$, finite regressor second moments and the error's zero conditional expectation justify the usual population regression and statistical consistency argument. The observations still define a finite-sample least-squares fit outside that moment range, but the ordinary finite-variance justification must not be claimed there. If parameter constraints are required, minimize the same criterion subject to $a>0$ and $0<b<1$, rather than assert that unconstrained estimates automatically satisfy them.