Proof that PE filter output is white

 

The basic idea of least-squares fitting is that the residual is orthogonal to the fitting functions. Applied to the PE filter, this idea means that the output of a PE filter is orthogonal to lagged inputs. The orthogonality applies only for lags in the past because prediction knows only the past while it aims to the future. What we want to show is different, namely, that the output is uncorrelated with itself (as opposed to the input) for lags in both directions; hence the output spectrum is white.

We are given a signal y_t and filter it by  

$$x_t \quad = \quad y_t - \sum_{\tau\gt} a_\tau y_{t-\tau}$$ (3)

We found $a_\tau$ by setting to zero $d (\sum x_t^2)/da_\tau$:

$$\sum_t x_t y_{t-\tau} \quad = \quad0 \quad\quad\quad {\rm for~} \tau \gt$$ (4)

We interpret this to mean that the residual is orthogonal to the fitting function, or the present PE filter output is orthogonal to its past inputs, or one side of the crosscorrelation vanishes. Taking an unlimited number of time lags and filter coefficients, the crosscorrelation vanishes not only for $\tau\gt$but for larger values, say $\tau+s$ where $\tau\ge 0$ and s>0. In other words, the future PE filter outputs are orthogonal to present and past inputs:

$$\sum_t x_{t+s} y_{t-\tau} \quad = \quad0 \quad\quad\quad {\rm for~} \tau \ge 0 {\rm ~and~} s\gt$$ (5)

Recall that if $\bold r \cdot \bold u = 0$ and $\bold r \cdot \bold v = 0$, then $\bold r \cdot ( a_1 \bold u \pm a_2 \bold v) = 0$for any a₁ and a₂. So for any $a_\tau$ we have

$$\sum_t x_{t+s} (y_t \pm a_\tau y_{t-\tau}) \quad = \quad0 \quad\quad\quad {\rm for~} \tau \ge 0 {\rm ~and~} s\gt$$ (6)

and for any linear combination we have

$$\sum_t x_{t+s} (y_t - \sum_{\tau\gt} a_\tau y_{t-\tau}) \quad = \quad0 \quad\quad\quad {\rm for~} \tau \ge 0 {\rm ~and~} s\gt$$ (7)

Therefore, substituting from ((3)), we get

$$\sum_t x_{t+s} x_t \quad = \quad0 \quad\quad\quad {\rm for~} s\gt$$ (8)

which is an autocorrelation function and must be symmetric. Thus,

$$\sum_t x_{t+s} x_t \quad = \quad0 \quad\quad\quad {\rm for~} s \ne 0$$ (9)

Since the autocorrelation of the prediction-error output is an impulse, its spectrum is white.