Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 37 / 1 / c

For a stationary linear autoregression, causal time series means that the observation uses only current and past driving noise:This is a convergent in the sense of mean-square convergence infinite moving-average representation. The stronger usual stable-filter definition requires absolute summability; the argument below also handles the square-summable definition. Let $\Phi (z)=1-{\sum }_{k=1}^p{\varphi }_k{z}^k$ and $\Psi (z)={\sum }_{j\ge 0}{\psi }_j{z}^j$. Substituting the filter into the recurrence and comparing coefficients of the orthogonal noise gives ${\psi }_0=1$ and ${\psi }_j={\sum }_{k=1}^{\min (p,j)}{\varphi }_k{\psi }_{j-k}$. HenceThe Cauchy-Schwarz inequality ensures that $\Psi$ is an analytic function in this disk. Thus $\Phi$ has no zero strictly inside it. A boundary zero is also impossible: a zero of multiplicity $m\ge 1$ at $z_0=e^{i{\omega }_0}$ makes $|1/\Phi (r{e}^{i\omega }){|}^2$ at least a constant times $[(1-r{)}^2+(\omega -{\omega }_0{)}^2{]}^{-m}$ near that point. Its integral over $\omega$ diverges as $r\uparrow 1$. On the other hand, orthogonality of complex exponentials givesa contradiction. Therefore the causality root criterion for an autoregressive model isUnder absolute summability, the shorter boundary argument is continuity of $\Psi$ on the closed disk and the identity $\Phi \Psi =1$ there.