A price is not chosen by the demand curve or by the supply curve: it is where they meet. When variables are determined together, a regression of one on another mixes the equations up. This lesson explains why OLS fails, how to tell whether an equation can be recovered at all (the order and rank conditions, which the exams ask constantly), and which estimator to use once it can: indirect least squares, two-stage least squares, or plain OLS in the special recursive case.
The Ashanagar survey is invented. The statistics modules used one district of 60 households. Econometrics needs more households and more variables, so this is a new, larger survey of 600 households in the same imaginary district: income, spending, household size, whether the household is in the town or a village, the head’s schooling and earnings.
Because we wrote the data-generating process, we know the true answers, and every lab can show whether a regression recovers them. Household spending, in thousands of rupees a month, was generated as 1 + 0.45 × income + 0.9 × household size + 1.5 × town + an error with standard deviation 2.5. A real survey never tells you its true coefficients. This one does, so you can see how close an estimate comes.
It also holds a variable, the head’s ability, that a real survey could not observe. It is kept so that the lessons on omitted variables can show what happens when it is left out. Every figure here is illustrative, not official statistics.
A simultaneous equations model has several equations whose variables are determined together. Variables whose values the model determines are endogenous (price and quantity in a market); variables determined outside it are exogenous (income, rainfall), and lagged endogenous variables behave like exogenous ones and are called predetermined. The model as the theory writes it is the structural form:
Solve the system for the endogenous variables in terms of the exogenous ones and the shocks and you get the reduced form: p and q each as a function of y, w and the errors. Every right-hand variable is exogenous, so OLS can estimate the reduced form without bias. The difficulty is getting back from the reduced form to the structural equations, which is what we want to know (the demand elasticity, the supply response).
Regress quantity on price in the data, and you do not get the demand slope or the supply slope, because the data are intersections of the two curves. A demand shock raises both price and quantity along the supply curve; a supply shock moves them along the demand curve. Price is therefore correlated with both equations’ errors: it is endogenous in each. Without shifters, the OLS slope converges to a weighted average of the two true slopes, weighted by the variance of the other equation’s shock:
In the lab, change the relative size of the two shocks: when demand shocks dominate, the points trace out the supply curve; when supply shocks dominate, they trace the demand curve; in between, OLS gets a muddle. The 2SLS and indirect least squares estimates, which use income and rain as shifters, recover both true slopes in every case.
True model: demand q = 10 − 1 × p + income + ud; supply q = 2 + 1 × p + rain + us. Income and rain are observed shifters. The true demand slope is −1 and the true supply slope is +1. Each dot is one market-period: the price and quantity at which the two curves met.
Horizontal: price. Vertical: quantity. The dashed lines are the true demand and supply curves when income and rain are at their averages; the solid line is the OLS fit.
Both curves are being shocked by similar amounts, so the points are a cloud and OLS finds a slope of −0.01 on average, a blend of the two true slopes, belonging to neither. That is simultaneity bias: price is determined together with quantity, so it is correlated with both equations’ errors. The two-stage estimates use the shifter that appears in only one equation. Rain moves supply and not demand, so it traces out the demand curve (estimate −0.86); income moves demand and not supply, so it traces out the supply curve (estimate 1.23). With one excluded shifter per equation the equations are just identified, and indirect least squares (−0.86, 1.23) gives exactly the same numbers as 2SLS.
An equation is identified if its structural coefficients can be recovered from the reduced form. Any equation that looks like any combination of the others cannot be told apart from it. Identification comes from exclusion restrictions: variables that appear in other equations but are left out of this one. There are three states:
The order condition is a count: to estimate the coefficients on m − 1 endogenous right-hand variables you need at least m − 1 exogenous variables excluded from the equation to act as instruments. It is necessary, not sufficient. The rank condition is necessary and sufficient: build the matrix of coefficients, in the other equations, of the variables excluded from this one; the equation is identified if and only if that matrix has rank (number of equations − 1). It guards against an excluded variable that appears only with zero coefficients elsewhere. The counter below checks both on three-equation systems: tick the variables in each equation and read the verdict.
Equation 1 has Y1, Y2, Y3, X1, X2; equation 2 has Y2, Y3, Y1, X2; equation 3 has Y3, X1, X2, X3. Y variables are endogenous, X variables exogenous. The left-hand variable of each equation (Y1 in equation 1, and so on) is always included.
| Equation | Y1 | Y2 | Y3 | X1 | X2 | X3 | Excluded X | Needed | Order condition | Rank condition |
|---|---|---|---|---|---|---|---|---|---|---|
| 1, for Y1 | 1 | 2 | Under-identified | Fails | ||||||
| 2, for Y2 | 2 | 2 | Exactly identified | Satisfied | ||||||
| 3, for Y3 | 0 | 0 | Exactly identified | Satisfied |
The order condition needs at least (included endogenous variables − 1) exogenous variables left out of the equation: a count, necessary but not sufficient. The rank condition is the sufficient one: the coefficients, in the other equations, of the variables left out of this one must form a matrix of rank (number of equations − 1). Here at least one equation fails the rank condition, so it cannot be estimated consistently by any method. An exactly identified one can be estimated by indirect least squares or 2SLS, which give the same answer.
Try the second preset (the exam-style system B). Equation 2 passes both conditions with a surplus. Equation 3 passes the order condition, with two exclusions for the two it needs, and fails the rank condition: the two variables it excludes, x₁ and x₂, appear with non-zero coefficients only in equation 1, and equation 2 contains neither, so the matrix of their coefficients in the other equations has a row of zeros and rank 1, not 2. Counting is not enough, which is why the rank condition exists.
Indirect least squares (ILS) works for exactly identified equations. The steps, in order: identify the structural equations; derive the reduced form; estimate each reduced-form equation by OLS; solve back for the structural coefficients. Because the reduced-form regressors are exogenous, the OLS step is legitimate.
This is the reduced form for p: price as a function of the exogenous variables y and w and the shocks only. Every right-hand variable is exogenous, so OLS estimates it without bias.
Put p into the supply equation q = b₀ + b₁p + b₂w + us. The reduced form for q has coefficients on y and w that combine the structural ones. Write the reduced forms as p = π₁y + π₂w + … and q = π₃y + π₄w + …
Because y is in demand only and w in supply only, the ratio of the effects of y on q and on p is the supply slope, and the ratio of the effects of w gives the demand slope:
A shift of y moves only the demand curve, so the change it causes in q and in p traces out the supply curve, and the ratio of the two changes is its slope.
The true model is q = 10 − p + y + ud and q = 2 + p + w + us, so a₁ = −1 and b₁ = +1. The estimated reduced forms are p = … + 0.471 y − 0.516 w and q = … + 0.512 y + 0.493 w. So the supply slope is 0.512 ÷ 0.471 = 1.088 and the demand slope is 0.493 ÷ −0.516 = −0.956. Two-stage least squares gives 1.088 and −0.956: identical.
In a simultaneous system OLS on a structural equation is inconsistent, because the endogenous right-hand variables are correlated with the error. Check the order condition (K − k ≥ m − 1) and the rank condition. Estimate exactly identified equations by indirect least squares or 2SLS, over-identified ones by 2SLS, and recursive systems by OLS. Under-identified equations cannot be estimated.
Restricted against unrestricted regressions, reading output, and statement questions, up to GATE and IIT JAM level.
These are questions from the TestStop bank. A free account answers 10 a day, each with its worked solution; All-Access opens every set with no daily limit.
Questions on the Hausman test and the instrument idea are in lesson 11. The match-the-test questions that mention simultaneity are in the test atlas at the end of the module.