Skip to main content

Recursive Models

Recursive Models


A system of equations is recursive rather than simultaneous if there is unidirectional dependency among the endogenous variables such that, for given values of exogenous variables, values for the endogenous variables can be determined sequentially rather than jointly. Due to the ease with which they can often be estimated and the temptation to interpret them in terms of causal chains, recursive systems were the earliest equation systems to be used in empirical work in the social sciences.

In any equation system there will be a number of exogenous variables and as many endogenous variables as there are equations in the system. Exogenous variables are those whose values are determined outside the system and that affect the endogenous variables without being affected by them. Variables that can depend on each other and on the exogenous variables are called endogenous variables. These are the variables whose values are explained by the equation system. (Some endogenous variables enter with a lag and are called lagged endogenous variables.) An endogenous variable that appears on the left-hand side of one equation will typically appear on the right-hand side of some or all of the other equations in the system.

A recursive model is a special case of an equation system where the endogenous variables are determined one at a time in sequence. Thus the right-hand side of the equation for the first endogenous variable includes no endogenous variables, only exogenous variables. The right-hand side of the equation for the second endogenous variable includes exogenous variables and only the first endogenous variable. The right-hand side of the equation for the third endogenous variable includes exogenous variables and only the first and second endogenous variables, and so on. Another way to put this is to say that a system is recursive if the solution for the g th endogenous variable involves only the first g equations.

A simple example involving three endogenous variables (y 1, y 2, and y 3) and only one exogenous variable (x ) would be the following systemthe ε s represent the stochastic disturbances (if the system was a purely deterministic, mathematical one, all of the ε s would be zero).

y 1 = β 1 x + ε 1

y 2 = β 2x + γ 21y 1 + ε 2

y 3 = β 3x + γ 31y 1 + r 32y 2 + ε 3

From the structure of this system, it is clear that there is a sequential (one-way) rather than a simultaneous (twoway) relationship between the endogenous variables. Thus y 1 affects y 2, but y 2 does not affect y 1 either directly or indirectly. Similarly y 1 and y 2 influence y 3 without in turn being influenced by y 3. Systems of equations of this kind are called recursive or triangular models. If in addition there is no correlation between the stochastic disturbances, then we refer to the system as diagonally recursive. Ordinary Least Squares (OLS) is an appropriate estimator for each single equation in a diagonally recursive system because it can be shown that for such a system OLS yields consistent and (asymptotically) efficient estimates. This is because in a diagonally recursive system there is no correlation between the explanatory variables in any one equation and that equations stochastic disturbances.

More formally, in matrix notation a system of structural equations may be written as

Гy = Bx + ε

where y is a vector of the g endogenous variables, x is a vector of the k exogenous variables (these might also include any lagged endogenous variables), ε is a vector of the g stochastic disturbances, Г is a g X g matrix of the coefficients on the g endogenous variables, and B is a g X k matrix of the coefficients on the k exogenous variables.

If Г is a triangular matrix (that is, it has zeroes in all of the cells above the principal diagonal) we refer to the system as recursive. This is why recursive models are also called triangular models.

In the case of the three equations system given above, we would write Г as

This is a triangular matrix indicating that the system is recursive.

Define Σ to be a matrix of the variances and covariances of the stochastic disturbance terms. In the case of the three equations system given above, we would write Σ as

If Г is a triangular matrix and in addition Σ is a diagonal matrix (so that all the covariance terms are zero), the system is diagonally recursive, and OLS is an appropriate estimator. Now Σ will be a diagonal matrix only if the disturbances across the different equations are (contemporaneously) uncorrelatedin other words, the disturbance terms are independent of each other. If a system is recursive but not diagonally recursive, in other words if Г is a triangular matrix whereas Σ is not a diagonal matrix, we describe the system as seemingly unrelated, and the Seemingly Unrelated Regressions (SUR) method of estimation is more appropriate (more efficient) than OLS (Zellner 1962). One reason why the stochastic disturbances might be correlated across equations is if the equations have in common omitted variables, sometimes even variables that by their nature cannot be observed. This is not an unusual situation in the social sciences.

Some equation systems are said to be block recursive, meaning that the recursive or triangular property applies only to blocks made up of subsets of the equations in the model. If the system can be characterized as block recursive, then the endogenous variables listed in each block of equations may be jointly determined, but the blocks of equations can be ordered such that they (the blocks) form a triangular structure (see Bodkin, Klein, and Marwah 1991 for examples).

Computer packages exist that will take a list of equations and order them in such a way that any recursive structure including recursive blocks are identified. Statistical tests to ascertain whether or not the variance-covariance matrix is diagonal are also available (see Breusch and Pagan 1980 for an example).

The technique of path analysis that features in psychology and other disciplines often utilizes a recursive system, following on the ideas of Sewall Wright (1921). However, while recursive models are easier to interpret than models that are simultaneous, there is no mathematical or statistical reason why path analysis has to be limited to recursive models (see Seneta 2006 and the references cited therein).

SEE ALSO Multiple Equilibria; Regression; Simultaneous Equation Bias


Bodkin, Ronald G., Lawrence R. Klein, and Kanta Marwah. 1991. A History of Macroeconometric Model-Building. Aldershot, U.K.: Edward Elgar.

Breusch, Trevor, and Adrian Pagan. 1980. The Lagrange Multiplier Test and Its Applications to Model Specification in Econometrics. Review of Economic Studies 47 (1): 239-253.

Intriligator, Michael. 1983. Economic and Econometric Models. In Handbook of Econometrics, vol. 1, eds. Zvi Griliches and Michael Intriligator, 181-221. Amsterdam: North-Holland.

Seneta, Eugene. 2006. Path Analysis. In Encyclopedia of Statistical Sciences, vol. 9, eds. Samuel Kotz, N. Balakrishnan, Campbell Read, and Brandi Vidakovic, 6016-6018. Hoboken, NJ: Wiley-Interscience.

Wright, Sewall. 1921. Correlation and Causation. Journal of Agricultural Research 20 (7): 557-585.

Zellner, Arnold. 1962. An Efficient Method of Estimating Seemingly Unrelated Regressions and Tests for Aggregation Bias. Journal of the American Statistical Association 57 (June): 348-368.

Robert Dixon

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Recursive Models." International Encyclopedia of the Social Sciences. . 10 Sep. 2018 <>.

"Recursive Models." International Encyclopedia of the Social Sciences. . (September 10, 2018).

"Recursive Models." International Encyclopedia of the Social Sciences. . Retrieved September 10, 2018 from

Learn more about citation styles

Citation styles gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, cannot guarantee each citation it generates. Therefore, it’s best to use citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

The Chicago Manual of Style

American Psychological Association

  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.