Introduction to Statistical Modeling with SAS/STAT Software: Finding the Least Squares Estimators :: SAS/STAT(R) 9.2 User's Guide, Second Edition

Introduction to Statistical Modeling with SAS/STAT Software

Finding the Least Squares Estimators

Finding the least squares estimator of $\text{[math]}$ can be motivated as a calculus problem or by considering the geometry of least squares. The former approach simply states that the OLS estimator is the vector $\text{[math]}$ that minimizes the objective function

$\text{[math]}$

Applying the differentiation rules from the section Matrix Differentiation leads to

	$\text{[math]}$	$\text{[math]}$
	$\text{[math]}$	$\text{[math]}$
	$\text{[math]}$	$\text{[math]}$

Consequently, the solution to the normal equations, $\text{[math]}$ , solves $\text{[math]}$ , and the fact that the second derivative is nonnegative definite guarantees that this solution minimizes $\text{[math]}$ . The geometric argument to motivate ordinary least squares estimation is as follows. Assume that $\text{[math]}$ is of rank $\text{[math]}$ . For any value of $\text{[math]}$ , such as $\text{[math]}$ , the following identity holds:

$\text{[math]}$

The vector $\text{[math]}$ is a point in a $\text{[math]}$ -dimensional subspace of $\text{[math]}$ , and the residual $\text{[math]}$ is a point in an $\text{[math]}$ -dimensional subspace. The OLS estimator is the value $\text{[math]}$ that minimizes the distance of $\text{[math]}$ from $\text{[math]}$ , implying that $\text{[math]}$ and $\text{[math]}$ are orthogonal to each other; that is,

$\text{[math]}$ . This in turn implies that $\text{[math]}$ satisfies the normal equations, since

$\text{[math]}$

Full-Rank Case

If $\text{[math]}$ is of full column rank, the OLS estimator is unique and given by

$\text{[math]}$

The OLS estimator is an unbiased estimator of $\text{[math]}$ —that is,

	$\text{[math]}$	$\text{[math]}$
	$\text{[math]}$	$\text{[math]}$

Note that this result holds if $\text{[math]}$ ; in other words, the condition that the model errors have mean zero is sufficient for the OLS estimator to be unbiased. If the errors are homoscedastic and uncorrelated, the OLS estimator is indeed the best linear unbiased estimator (BLUE) of $\text{[math]}$ —that is, no other estimator that is a linear function of $\text{[math]}$ has a smaller mean squared error. The fact that the estimator is unbiased implies that no other linear estimator has a smaller variance. If, furthermore, the model errors are normally distributed, then the OLS estimator has minimum variance among all unbiased estimators of $\text{[math]}$ , whether they are linear or not. Such an estimator is called a uniformly minimum variance unbiased estimator, or UMVUE.

Rank-Deficient Case

In the case of a rank-deficient $\text{[math]}$ matrix, a generalized inverse is used to solve the normal equations:

$\text{[math]}$

Although a $\text{[math]}$ -inverse is sufficient to solve a linear system, computational expedience and interpretation of the results often dictate the use of a generalized inverse with reflexive properties (that is, a $\text{[math]}$ -inverse; see the section Generalized Inverse Matrices for details). Suppose, for example, that the $\text{[math]}$ matrix is partitioned as $\text{[math]}$ , where $\text{[math]}$ is of full column rank and each column in $\text{[math]}$ is a linear combination of the columns of $\text{[math]}$ . The matrix

$\text{[math]}$

is a $\text{[math]}$ -inverse of $\text{[math]}$ and

$\text{[math]}$

is a $\text{[math]}$ -inverse. If the least squares solution is computed with the $\text{[math]}$ -inverse, then computing the variance of the estimator requires additional matrix operations and storage. On the other hand, the variance of the solution that uses a $\text{[math]}$ -inverse is proportional to $\text{[math]}$ .

	$\text{[math]}$	$\text{[math]}$
	$\text{[math]}$	$\text{[math]}$

If a generalized inverse $\text{[math]}$ of $\text{[math]}$ is used to solve the normal equations, then the resulting solution is a biased estimator of $\text{[math]}$ (unless $\text{[math]}$ is of full rank, in which case the generalized inverse is "the" inverse), since $\text{[math]}$ , which is not in general equal to $\text{[math]}$ .

If you think of estimation as "estimation without bias," then $\text{[math]}$ is the estimator of something, namely $\text{[math]}$ . Since this is not a quantity of interest and since it is not unique—it depends on your choice of $\text{[math]}$ —Searle (1971, p. 169) cautions that in the less-than-full-rank case, $\text{[math]}$ is a solution to the normal equations and "nothing more."

Top of Page