3.5: Parameter Estimation
- Page ID
- 936
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Let \((X_t\colon t\in\mathbb{Z})\) be a causal and invertible ARMA(p,q)
process with known orders p and q, possibly with mean \(\mu\). This section is concerned with estimation procedures for the unknown parameter vector
\[\beta=(\mu,\phi_1,\ldots,\phi_p,\theta_1,\ldots,\theta_q,\sigma^2)^T. \tag{3.5.1} \]
To simplify the estimation procedure, it is assumed that the data has already been adjusted by subtraction of the mean and the discussion is therefore restricted to zero mean ARMA models.
In the following, three estimation methods are introduced. The method of moments works best in case of pure AR processes, while it does not lead to optimal estimation procedures for general ARMA processes. For the latter, more efficient estimators are provided by the maximum likelihood and least squares methods which will be discussed subsequently.
Method 1 (Method of Moments) Since this method is only efficient in their case, the presentation here is restricted to AR(p) processes
\[ X_t=\phi_1X_{t-1}+\ldots+\phi_pX_{t-p}+Z_t, t\in\mathbb{Z}, \nonumber \]
where \((Z_t\colon t\in\mathbb{Z})\sim\mbox{WN}(0,\sigma^2)\). The parameter vector \(\beta\) consequently reduces to \((\phi,\sigma^2)^T\) with \(\phi=(\phi_1,\ldots,\phi_p)^T\) and can be estimated using the Yule-Walker equations
\[\Gamma_p\phi=\gamma_p \qquad\mbox{and}\ \sigma^2=\gamma(0)-\phi^T\gamma_p, \nonumber \]
where \(\Gamma_p=(\gamma(k-j))_{k,j=1,\ldots,p}\) and \(\gamma_p=(\gamma(1),\ldots,\gamma(p))^T\). Observe that the equations are obtained by the same arguments applied to derive the Durbin-Levinson algorithm in the previous section. The method of moments suggests to replace every quantity in the Yule-Walker equations with their estimated counterparts, which yields the Yule-Walker estimators
\[\widehat{\phi}=\hat{\Gamma}_p^{-1} \hat{\gamma}_p=\hat{R}_p^{-1}\hat{\rho}_p \tag{3.5.2} \]
\[\hat{\sigma}^2 =\hat{\gamma}(0)-\hat{\gamma}^T_p\hat{\Gamma}_p^{-1}\hat{\gamma}_p =\hat{\gamma}(0)\left[1-\hat{\rho}_p^T\hat{R}_p^{-1}\hat{\rho}_p\right ]. \tag{3.5.3} \]
Therein, \(\hat{R}_p=\hat{\gamma}(0)^{-1}\hat{\Gamma}_p\) and \(\hat{\rho}_p=\hat{\gamma}(0)^{-1}\hat{\gamma}_p\) with
\(\hat{\gamma}(h)\) defined as in (1.2.1). Using \(\hat{\gamma}(h)\) as estimator for the ACVF at lag \(h\), a dependence on the sample size \(n\) is obtained in an implicit way. This dependence is suppressed in the notation used here. The following theorem contains the limit behavior of the Yule-Walker estimators as n tends to infinity.
Theorem 3.5.1. If \((X_t\colon t\in\mathbb{Z})\) is a causal AR(p) process, then
\[ \sqrt{n}(\widehat{\phi}-\phi)\stackrel{\cal D}{\longrightarrow} N(\mbox{0},\sigma^2\Gamma_p^{-1})\qquad\mbox{and}\qquad \hat{\sigma}^2\stackrel{P} {\longrightarrow}\sigma^2 \nonumber \]
as \(n\to\infty\), where \(\to^P\) indicates convergence in probability.
A proof of this result is given in Section 8.10 of Brockwell and Davis (1991). Since equations (3.5.2) and (3.5.3) have the same structure as the corresponding equations (3.4.3) and (3.4.4), the Durbin-Levinson algorithm can be used to solve recursively for the estimators \(\widehat{\phi}_h=(\widehat{\phi}_{h1},\ldots,\widehat{\phi}_{hh})\). Moreover, since \(\phi_{hh}\) is equal to the value of the PACF of \((X_t\colon t\in\mathbb{Z})\) at lag h, the estimator \(\widehat{\phi}_{hh}\) can be used as its proxy. Since it is already known that, in the case of AR(p) processes, \(\phi_{hh}=0\) if h>p, Theorem (3.5.1) implies immediately the following corollary.
Corollary 3.5.1 If \((X_t\colon t\in\mathbb{Z})\) is a causal AR(p) process, then
\[ \sqrt{n}\widehat{\phi}_{hh}\stackrel{\cal D}{\longrightarrow}Z \qquad(n\to\infty) \nonumber \]
for all h>p, where Z stands for a standard normal random variable.
Example 3.5.1. (Yule-Walker estimates for AR(2) processes). Suppose that \(n=144\) values of the autoregressive process \(X_t=1.5X_{t-1}-.75X_{t-2}+Z_t\) have been observed, where \((Z_t\colon t\in\mathbb{Z})\) is a sequence of independent standard normal variates. Assume further that \(\hat{\gamma}(0)=8.434\), \(\hat{\rho}(1)=0.834\) and \(\hat{\rho}(2)=0.476\) have been calculated from the data. The Yule-Walker estimators for the parameters are then given by
\[ \widehat{\phi}=\left(\begin{array}{c} \widehat{\phi}_1 \\[.1cm] \widehat{\phi}_2 \end{array}\right) =\left(\begin{array}{rr} 1.000 & 0.834 \\[.1cm] 0.834 & 1.000 \end{array}\right)^{-1} \left(\begin{array}{c} 0.834 \\[.1cm] 0.476 \end{array}\right)= \left(\begin{array}{r} 1.439 \\[.1cm] -0.725\end{array}\right) \nonumber \]
and
\[ \hat{\sigma}^2=8.434\left[1-(0.834,0.476) \left(\begin{array}{r} 1.439 \\[.1cm] -0.725 \end{array}\right)\right]=1.215. \nonumber \]
To construct asymptotic confidence intervals using Theorem 3.5.1, the unknown limiting covariance matrix \(\sigma^2\Gamma_p^{-1}\) needs to be estimated. This can be done using the estimator
\[ \frac{\hat{\sigma}^2\hat{\Gamma}_p^{-1}}{n}= \frac{1}{144}\frac{1.215}{8.434} \left(\begin{array}{rr} 1.000 & 0.834 \\[.1cm] 0.834 & 1.000 \end{array}\right)^{-1}= \left(\begin{array}{rr} 0.057^2 & -0.003 \\[.1cm] -0.003 & 0.057^2 \end{array}\right). \nonumber \]
Then, the \(1-\alpha\) level confidence interval for the parameters \(\phi_1\) and \(\phi_2\) are computed as
\[ 1.439\pm 0.057z_{1-\alpha/2} \qquad\mbox{and}\qquad -0.725\pm 0.057z_{1-\alpha/2}, \nonumber \]
respectively, where \(z_{1-\alpha/2}\) is the corresponding normal quantile.
Example 3.5.2 (Recruitment Series).
Let us reconsider the recruitment series of Example 3.3.5. There, an AR(2) model was first established as appropriate for the data and the model parameters were then estimated using an ordinary least squares approach. Here, the coefficients will instead be estimated with the Yule-Walker procedure. The R command is
> rec.yw = ar.yw(rec, order=2)}
The mean estimate can be obtained from rec.yw$x.mean as \(\hat{\mu}=62.26\), while the autoregressive parameter estimates and their standard errors are accessed with the commands rec.yw$ar and sqrt(rec.yw$asy.var.coef as \(\hat{\phi}_1=1.3316(.0422)\) and \(\hat{\phi}_2=-.4445(.0422)\). Finally, the variance estimate is obtained from rec.yw$var.pred as \(\hat{\sigma}^2=94.7991\). All values are close to their counterparts in Example 3.3.5.
Example 3.5.3. Consider the invertible MA(1) process \(X_t=Z_t+\theta Z_{t-1}\), where \(|\theta|<1\). Using invertibility, each \(X_t\) has an infinite autoregressive representation
\[ X_t=\sum_{j=1}^\infty(-\theta)^jX_{t-j}+Z_t \nonumber \]
that is nonlinear in the unknown parameter \(\theta\) to be estimated. The method of moments is here based on solving
\[ \hat{\rho}(1)=\frac{\hat{\gamma}(1)}{\hat{\gamma}(0)} =\frac{\hat{\theta}}{1+\hat{\theta}^2}. \nonumber \]
for \(\hat{\theta}\). The foregoing quadratic equation has the two solutions
\[ \hat{\theta} =\frac{1\pm\sqrt{1-4\hat{\rho}(1)^2}}{2\hat{\rho}(1)}, \nonumber \]
of which we pick the invertible one. Note moreover, that \(|\hat{\rho}(1)|\) is not necessarily less or equal to 1/2 which is required for the existence of real solutions. (The theoretical value \(|\rho(1)|\), however, is always less than 1/2 for any MA(1) process, as an easy computation shows). Hence, \(\theta\) can not always be estimated from given data samples.
Method 2 (Maximum Likelihood Estimation) The innovations algorithm of the previous section applied to a causal ARMA(p,q)
process \((X_t\colon t\in\mathbb{Z})\) gives
\[\hat{X}_{i+1}=\sum_{j=1}^i\theta_{ij}(X_{i+1-j}-\hat{X}_{i+1-j}), \phantom{\sum_{j=1}^p\phi_jX_{i+1-j}+} 1\leq i< \max\{p,q\}, \nonumber \]
\[\hat{X}_{i+1}= \sum_{j=1}^p\phi_jX_{i+1-j}+\sum_{j=1}^q\theta_{ij}(X_{i+1-j}-\hat{X}_{i+1-j}), \phantom{1\leq} i\geq \max\{p,q\}, \nonumber \]
with prediction error
\[ P_{i+1}=\sigma^2R_{i+1}. \nonumber \]
In the last expression, \(\sigma^2\) has been factored out due to reasons that will become apparent from the form of the likelihood function to be discussed below. Recall that the sequence \((X_{i+1}-\hat{X}_{i+1}\colon i\in\mathbb{Z})\) consists of uncorrelated random variables if the parameters are known. Assuming normality for the errors, we moreover obtain even independence. This can be exploited to define the Gaussian maximum likelihood estimation(MLE) procedure. Throughout, it is assumed that \((X_t\colon t\in\mathbb{Z})\) has zero mean (\(\mu=0\)). The parameters of interest are collected in the vectors \(\beta=(\phi,\theta,\sigma^2)^T\) and \(\beta'=(\phi,\theta)^T\), where \(\phi=(\phi_1,\ldots,\phi_p)^T\) and \(\theta=(\theta_1,\ldots,\theta_q)^T\). Assume finally that we have observed the variables \(X_1,\ldots,X_n\). Then, the Gaussian likelihood function for the innovations is
\[L(\beta)=\frac{1}{(2\pi\sigma^2)^{n/2}}\left(\prod_{i=1}^nR_i^{1/2}\right) \exp\left(-\frac{1}{2\sigma^2}\sum_{j=1}^n\frac{(X_j-\hat{X}_j)^2}{R_j}\right). \tag{3.5.4} \]
Taking the partial derivative of \(\ln L(\beta)\) with respect to the variable \(\sigma^2\) reveals that the MLE for \(\sigma^2\) can be
calculated from
\[ \hat{\sigma}^2=\frac{S(\hat{\phi},\hat{\theta})}{n},\qquad S(\hat{\phi},\hat{\theta})=\sum_{j=1}^n\frac{(X_j-\hat{X}_j)^2}{R_j}. \nonumber \]
Therein, \(\hat{\phi}\) and \(\hat{\theta}\) denote the MLEs of \(\phi\) and \(\theta\) obtained from minimizing the profile likelihood or reduced likelihood
\[ \ell(\phi,\theta)=\ln\left(\frac{S(\phi,\theta)}{n}\right) +\frac 1n\sum_{j=1}^n\ln(R_j). \nonumber \]
Observe that the profile likelihood \(\ell(\phi,\theta)\) can be computed using the innovations algorithm. The speed of these computations depends heavily on the quality of initial estimates. These are often provided by the non-optimal Yule-Walker procedure. For numerical methods, such as the Newton-Raphson and scoring algorithms, see Section 3.6 in Shumway and Stoffer (2006).
The limit distribution of the MLE procedure is given as the following theorem. Its proof can be found in Section 8.8 of Brockwell and Davis (1991).
Theorem 3.5.2. Let \((X_t\colon t\in\mathbb{Z})\) be a causal and invertible ARMA(p,q) process defined with an iid sequence
\((Z_t\colon t\in\mathbb{Z}) satisfying E[Z_t]=0\) and
\(E[Z_t^2]=\sigma^2\). Consider the MLE \(\hat{\beta}'\) of \(\beta'\) that is initialized with the moment estimators of
Method 1. Then,
\[ \sqrt{n}(\hat{\beta}'-\beta')\stackrel{\cal D}{\longrightarrow} N(\mbox{0},\sigma^2\Gamma_{p,q}^{-1}) \qquad(n\to\infty). \nonumber \]
The result is optimal. The covariance matrix \(\Gamma_{p,q}\) is in block form and can be evaluated in terms of covariances of various autoregressive processes.
Example 3.5.4 (Recruitment Series). The MLE estimation procedure for the recruitment series can be applied in R as follows:
>rec.mle = ar.mle(rec, order=2)
The mean estimate can be obtained from rec.mle$x.mean as \(\hat{\mu}=62.26\), while the autoregressive parameter estimates and their standard errors are accessed with the commands rec.mle$ar and sqrt(rec.mle$asy.var.coef) as \(\hat{\phi}_1=1.3513(.0410)\) and \(\hat{\phi}_2=-.4099(.0410)\). Finally, the variance estimate is obtained from rec.yw$var.pred as \(\hat{\sigma}^2=89.3360\). All values are very close to their counterparts in Example 3.3.5.
Method 3 (Least Squares Estimation) An alternative to the method of moments and the MLE is provided by the least squares estimation (LSE). For causal and invertible ARMA(p,q) processes, it is based on minimizing the weighted sum of squares
\(S(\phi,\theta)=\sum_{j=1}^n\frac{(X_j-\hat{X}_j)^2}{R_j} \tag{3.5.5}\)
with respect to \(\phi\) and \(\theta\), respectively. Assuming that \(\tilde{\phi}\) and \(\tilde{\theta}\) denote these LSEs, the LSE for \(\sigma^2\) is computed as
\[ \tilde{\sigma}^2=\frac{S(\tilde{\phi},\tilde{\theta})}{n-p-q}. \nonumber \]
The least squares procedure has the same asymptotics as the MLE.
Theorem 3.5.3. The result of Theorem 3.5.2. holds also if \(\hat{\beta}'\) is replaced with \(\tilde{\beta}'\).
Example 3.5.5 (Recruitment Series). The least squares estimation has already been discussed in Example 3.3.5, including the R commands.
Contributers
Integrated by Brett Nakano (statistics, UC Davis)