The Classical Simultaneous Equations Model

We now turn to identification in the classical simultaneous equations model. Estimation in this model is comprehensively reviewed in chapter 6 by Mariano. The model is

Подпись: (7.9)By + Гх = Z,

where y is an m-vector of endogenous variables, x is a stochastic k-vector of exogenous variables, and Z is an m-vector of disturbances. It is assumed that E(Z) = 0 and E(xZ’) = 0, so that x and Z are uncorrelated, and Ex = E(xx’) is nonsingular. The coefficient matrices B and Г are of order m x m and m x k, respectively, and B is nonsingular.

Подпись: (y, x') = (Z, X) image202 Подпись: -1 0 Ik _ ,

Under normality, the distribution of the observations (y; x) is uniquely deter­mined by the first two moments. Since model (7.9) can be rewritten as

image13 image14 Подпись: B' г Подпись: -1 0 Ik _ Подпись: (7.10)

the moment equations are given by


Thus, equations (7.10) and (7.11) contain all observational information with regard to the structural parameter matrices B, Г and ^z = E(ZZ’).

However, for the identification of the structural parameter matrices we need only consider a subset of the equations in (7.10) and (7.11). The equations in (7.11) can be separated into

Подпись: 1 M << M ■fi i ~B'" _X xy X x _ _Г'_ (X xy, X x )
Подпись: (7.12) (7.13)
Подпись: B' Г
Подпись: = 0’

and, in fact, these equations contain all observational information relevant for the identification of B, Г and X?. That is to say, since the equations (7.10) and (7.11) are satisfied by the true parameter point, we find that (qy, q’x) = qX^X (Xxy, Xx) so that, if any matrices B and Г satisfy (7.13), they will also satisfy (7.10). The first moment equations do not provide additional information.

Now let prior information be given by a set of restrictions on the coefficient matrices B and Г:

p(B, Г) = 0, (7.14)

where p(B, Г) is a vector function of the matrices B and Г. The parameter matrix X? is assumed to be unrestricted. In that case all information relevant for the identification of B and Г is given by equation (7.13), which after stacking in a vector can be written as

Подпись: = d(g(B, Г); p(B, Г)) d(vec'(B'), vec'(r')) Подпись: (Im ® Xxy, Im ® Xx) RBr

°(B, Г) = (Im ® Xxy)vec(B’) + (Im <8> X>ec(F) = 0, and by equation (7.14). The Jacobian matrix is

where RBT – is defined implicitly and is assumed to be of full row rank. Post­multiplication of the Jacobian by a conveniently chosen nonsingular matrix:


I ® x

Im ® B’

0 "


Im ® B’

"0 "

Im ® Г’



I ® Г’

L m J

_Imk _

J(B, Г)

image216 Подпись: (7.15)

shows that J(B, Г) has full column rank if and only if

has full column rank. Furthermore J(B, Г) and 4(B, Г) share regular points. Thus, by Theorem 7 we have the following result.

Theorem 10. Let H = {(B, Г )|(B, Г) Є Rm2+mk, p(B, Г) = 0} and let (B, Г )0 be a regular point of J(B, Г )| H Then (B, Г )0 is locally identified if and only if J(B°, Г0) has full row rank m2.

This result corresponds to the classical condition for identification in a simultane­ous equation model. If the restrictions on (B, Г) are linear, i. e. when p(B, Г) is a linear function, for example when separate elements of (B, Г) are restricted to be fixed, then both sets of identifying equations (7.13) and (7.14) are linear so that J(B, Г) is constant over the parameter space. In that case local identification im­plies global identification and we have the following corollary.

Corollary 2. Let p(B, Г) be linear, then (B, Г )0 is globally identified if and only if rank{J(B, Г)} = m2.

This constitutes the well-known rank condition for identification in simultaneous equations models, as developed in the early work of the Cowles Commission, e. g. Koopmans, Rubin, and Leipnik (1950), Koopmans (1953), and Koopmans and Hood (1953). Johansen (1995, theorem 3) gives an elegant formulation of the identification of the coefficients of a single equation.

4 Concluding Remarks

In this chapter we have presented a rigorous, self-contained treatment of identi­fication in parametric models with iid observations. The material is essentially from the book by Bekker, Merckens, and Wansbeek (1994); see Rigdon (1997) for an extended review. The reader is referred to this book for a number of further topics. For example, it discusses identification of two extensions of the classical simultaneous equations model in two directions, viz. restrictions on the covari­ance matrix of the disturbances, and the measurement error in the regressors. It also discusses local identification of the equally classical factor analysis model.4 These two models have been integrated in the literature through the hugely popular Lisrel model, which however often confronts researchers with identi­fication problems which are hard to tackle analytically since, in the rank con­dition for identification, inverse matrices cannot be eliminated as in the classical simultaneous equations model. The book tackles this issue by parameterizing the restrictions on the reduced form induced by the restrictions on the structural form.

A distinctive feature of the book is its use of symbolic manipulation of alge­braic structures by the computer. Essentially, all identification and equivalence results are couched in terms of ranks of structured matrices containing unknown parameters. To assess such ranks has become practically feasible by using com­puter algebra. The book contains a diskette with a set of computer algebra pro­grams that can be used for rank evaluation of parameterized matrices for the models discussed.


* This chapter is largely based on material adapted from P. A. Bekker, A. Merckens, and T. J. Wansbeek, Identification, Equivalent Models and Computer Algebra (Orlando: Academic Press, 1994). Reproduced by kind permission of the publisher. We are grateful to Badi Baltagi, Bart Boon, and an anonymous referee for their useful comments.

1 Identification in nonparametric models is a much different field, see, e. g., Prakasa Rao (1992).

2 Of course, it may be the case that exact knowledge of P(y, 00) is sufficient to derive bounds on 00k (see, e. g., Bekker et al., 1987; Manski, 1989; Manski, 1995). In such a case the sample information can be used to increase knowledge about 0 k even though this parameter is not locally identified.

3 However, if one uses a "natural" parameter sequence, it may happen that 0 0k is identi­fied, whereas no estimator converges in probability to 0 0k. For example, Gabrielsen (1978) discussed the model yt = Pr1 + ui, i = 1,. .., n, where the ui are iid N(0, 1), r is known and | r | < 1, and P is an unknown parameter. Here the OLS estimator S ~ N(P, (1 – r2)/(r2(1 – r2n))) is unbiased, so clearly P is identified, but it is not con­sistent in the natural sequence defined by the model where n ^ ~. Since S is efficient, there does not exist a consistent estimator.

4 For a discussion of global identification in factor analysis see Bekker and ten Berge (1997).


Aigner D. J., C. Hsiao, A. Kapteyn, and T. J. Wansbeek (1984). Latent variable models in econometrics. In Z. Griliches and M. D. Intriligator (eds.) Handbook of Econometrics volume 2. Amsterdam: North-Holland.

Aldrich, J. (1994). Haavelmo’s identification theory. Econometric Theory 10, 198-219.

Bekker, P. A. (1986). Comment on identification in the linear errors in variables model. Econometrica 54, 215-17.

Bekker, P. A., A. Kapteyn, and T. J. Wansbeek (1987). Consistent sets of estimates for re­gressions with correlated or uncorrelated measurement errors in arbitrary subsets of all variables. Econometrica 55, 1223-30.

Bekker, P. A., A. Merckens, and T. J. Wansbeek (1994). Identification, Equivalent Models and Computer Algebra. Orlando: Academic Press.

Bekker, P. A., and J. M.F. ten Berge (1997). Generic global identification in factor analysis. Linear Algebra and its Applications 264, 255-63.

Bowden, R. (1973). The theory of parametric identification. Econometrica 41, 1069-74.

Deistler, M., and H.-G. Seifert (1978). Identifiability and consistent estimability in eco­nometric models. Econometrica 46, 969-80.

Dreze, J. (1975). Bayesian theory of identification in simultaneous equations models. In S. E. Fienberg and A. Zellner (eds.) Studies in Bayesian Econometrics and Statistics. Amster­dam: North-Holland.

Fisher, F. M. (1966). The Identification Problem in Econometrics. New York: McGraw-Hill.

Gabrielsen, A. (1978). Consistency and identifiability. Journal of Econometrics 8, 261-3.

Haavelmo, T. (1943). The statistical implications of a system of simultaneous equations. Econometrica 11, 1-12.

Hannan, E. J., and M. Deistler (1988). The Statistical Theory of Linear Systems. New York: Wiley.

Hsiao, C. (1983). Identification. In Z. Griliches and M. D. Intriligator (eds.) Handbook of Econometrics Volume 1. Amsterdam: North-Holland.

Hsiao, C. (1987). Identification. In J. Eatwell, M. Millgate, and P. Newman (eds.) The New Palgrave: A Dictionary of Economics. London: Macmillan.

Hsiao, C. (1997). Cointegration and dynamic simulatneous equations model. Econometrica 65, 647-70.

Johansen, S. (1995). Identifying restrictions of linear equations with applications to simul­taneous equations and cointegration. Journal of Econometrics 69, 111-32.

Kadane, J. B. (1975). The role of identification in Bayesian theory. In S. E. Fienberg and A. Zellner (eds.) Studies in Bayesian Econometrics and Statistics. Amsterdam: North-Holland.

Koopmans, T. C., H. Rubin, and R. B. Leipnik (1950). Measuring the equation systems of dynamic economics. In T. C. Koopmans (ed.) Statistical Inference in Dynamic Economic Models. New York: Wiley.

Koopmans, T. C. (1953). Identification problems in economic model construction. In W. C. Hood and T. C. Koopmans (eds.) Studies in Econometric Methods. New York: Wiley.

Koopmans, T. C., and W. C. Hood (1953). The estimation of simultaneous linear economic relationships. In W. C. Hood and T. C. Koopmans (eds.) Studies in Econometric Methods. New York: Wiley.

Leamer, E. E. (1978). Specification Searches, ad hoc Inference with Nonexperimental Data. New York: Wiley.

Magnus, J. R. (1988). Linear Structures. London: Griffin.

Manski, C. F. (1989). Anatomy of the selection problem. The Journal of Human Resources 24, 343-60.

Manski, C. F. (1995). Identification Problems in the Social Sciences. Cambridge, MA: Harvard University Press.

McManus, D. A. (1992). How common is identification in parametric models? Journal of Econometrics 53, 5-23.

Pesaran, M. H. (1987). Econometrics. In J. Eatwell, M. Millgate, and P. Newman (eds.) The New Palgrave: A Dictionary of Economics. London: Macmillan.

Poirier, D. J. (1998). Revising beliefs in nonidentified models. Econometric Theory 14, 483­509.

Prakasa Rao, B. L.S. (1992). Identifiability in Stochastic Models: Characterization of Probability Distributions. Boston: Academic Press.

Richmond, J. (1974). Identifiability in linear models. Econometrica 42, 731-6.

Rigdon, E. E. (1997). Identification of structural equation models with latent variables: a review of contributions by Bekker, Merckens, and Wansbeek. Structural Equation Modeling 4, 80-5.

Rothenberg, T. J. (1971). Identification in parametric models. Econometrica 39, 577-92.

Zellner, A. (1971). An Introduction to Bayesian Inference in Econometrics. New York: Wiley.

Leave a reply

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>