In the context of best linear unbiased predictors (BLUP), Henderson specified the mixed-model equations (see Henderson (1950): Estimation of Genetic Parameters. Annals of Mathematical Statistics, 21, 309-310). Let us assume the following mixed effects model:
$y = X\beta+Zu+e$
where $y$ is a vector of n observable random variables, $\beta$ is a vector of $p$ fixed effects, $X$ and $Z$ are known matrices, and $u$ and $e$ re vectors of $q$ and $n$ random effects such that $E(u) = 0$ and $E(e) = 0$ and
$ Var \begin{bmatrix} u \\ e \\ \end{bmatrix} = \begin{bmatrix} G & 0 \\ 0 & R \\ \end{bmatrix}\sigma^2$
where $G$ and $R$ are known positive definite matrices and $\sigma^2$ is a positive constant.
According to Henderson (1950), the BLUP estimates of $\hat {\beta}$ of $\beta$ and $\hat {u}$ of $u$ are defined as solutions to the following system of equation:
$X'R^{-1}X\hat {\beta}+X'R^{-1}Z\hat {u} = X'R^{-1}y$
$Z'R^{-1}X\hat {\beta}+(Z'R^{-1}Z + G^{-1})\hat {u} = Z'R^{-1}y$
(Also see: Robinson (1991): That BLUP is a good thing: the estimation of random effects (with discussion). Statistical Science, 6:15–51).
I have not found any derivation of this solution but assume that he approached it as follows:
$(y - X\beta - Zu)'V^{-1}(y - X\beta - Zu)$
where $V = R + ZGZ'$. Hence the solutions should therefore be
$X'V^{-1}X\hat {\beta} + X'V^{-1}Z\hat {u} = X'V^{-1}y$
$Z'V^{-1}X\hat {\beta} + Z'V^{-1}Z\hat {u} = Z'V^{-1}y$.
We also know that $V^{-1} = R^{-1} - R^{-1}Z(G^{-1}+Z'R^{-1}Z)Z'R^{-1}$.
However, ho to proceed to arrive at the mixed-model equations?