Skip to main content
Mathematics LibreTexts

2.8: An Application to Input-Output Economic Models

  • Page ID
    59002
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    In 1973 Wassily Leontief was awarded the Nobel prize in economics for his work on mathematical models.2 Roughly speaking, an economic system in this model consists of several industries, each of which produces a product and each of which uses some of the production of the other industries. The following example is typical.

    006965 A primitive society has three basic needs: food, shelter, and clothing. There are thus three industries in the society—the farming, housing, and garment industries—that produce these commodities. Each of these industries consumes a certain proportion of the total output of each commodity according to the following table.

    \[\begin{tabu}{|cc|ccc|} \hline & & \multicolumn{3}{c|}{\textbf{OUTPUT}} \\ \cline{3-5} & & \multicolumn{1}{c|}{\textbf{Farming}} & \multicolumn{1}{c|}{\textbf{Housing}} & \textbf{Garment} \\ & \multicolumn{1}{|c|}{\textbf{Farming}} & \multicolumn{1}{c|}{0.4} & \multicolumn{1}{c|}{0.2} & 0.3 \\ \textbf{CONSUMPTION} & \multicolumn{1}{|c|}{\textbf{Housing}} & \multicolumn{1}{c|}{0.2} & \multicolumn{1}{c|}{0.6} & 0.4 \\ & \multicolumn{1}{|c|}{\textbf{Garment}} & \multicolumn{1}{c|}{0.4} & \multicolumn{1}{c|}{0.2} & 0.3 \\ \hline \end{tabu} \nonumber \]

    Find the annual prices that each industry must charge for its income to equal its expenditures.

    Let \(p_{1}\), \(p_{2}\), and \(p_{3}\) be the prices charged per year by the farming, housing, and garment industries, respectively, for their total output. To see how these prices are determined, consider the farming industry. It receives \(p_{1}\) for its production in any year. But it consumes products from all these industries in the following amounts (from row 1 of the table): \(40\%\) of the food, \(20\%\) of the housing, and \(30\%\) of the clothing. Hence, the expenditures of the farming industry are \(0.4p_{1} + 0.2p_{2} + 0.3p_{3}\), so

    \[0.4p_{1} + 0.2p_{2} + 0.3p_{3} = p_{1} \nonumber \]

    A similar analysis of the other two industries leads to the following system of equations.

    \[\begin{aligned} 0.4p_{1} + 0.2p_{2} + 0.3p_{3} &= p_{1} \\ 0.2p_{1} + 0.6p_{2} + 0.4p_{3} &= p_{2} \\ 0.4p_{1} + 0.2p_{2} + 0.3p_{3} &= p_{3}\end{aligned} \nonumber \]

    This has the matrix form \(E\mathbf{p} = \mathbf{p}\), where

    \[E = \left[ \begin{array}{rrr} 0.4 & 0.2 & 0.3 \\ 0.2 & 0.6 & 0.4 \\ 0.4 & 0.2 & 0.3 \end{array} \right] \quad \mbox{ and } \quad \mathbf{p} = \left[ \begin{array}{c} p_{1} \\ p_{2} \\ p_{3} \end{array} \right] \nonumber \]

    The equations can be written as the homogeneous system

    \[(I - E)\mathbf{p} = \mathbf{0} \nonumber \]

    where \(I\) is the \(3 \times 3\) identity matrix, and the solutions are

    \[\mathbf{p} = \left[ \begin{array}{c} 2t \\ 3t \\ 2t \end{array} \right] \nonumber \]

    where \(t\) is a parameter. Thus, the pricing must be such that the total output of the farming industry has the same value as the total output of the garment industry, whereas the total value of the housing industry must be \(\frac{3}{2}\) as much.

    In general, suppose an economy has \(n\) industries, each of which uses some (possibly none) of the production of every industry. We assume first that the economy is closed (that is, no product is exported or imported) and that all product is used. Given two industries \(i\) and \(j\), let \(e_{ij}\) denote the proportion of the total annual output of industry \(j\) that is consumed by industry \(i\). Then \(E = \left[ e_{ij} \right]\) is called the input-output matrix for the economy. Clearly,

    \[\label{eq:IOcond1} 0 \leq e_{ij} \leq 1 \quad \mbox{for all } i \mbox{ and } j \]

    Moreover, all the output from industry \(j\) is used by some industry (the model is closed), so

    \[\label{eq:IOcond2} e_{1j} + e_{2j} + \cdots + e_{ij} = 1 \quad \mbox{for each } j \]

    This condition asserts that each column of \(E\) sums to \(1\). Matrices satisfying conditions ([eq:IOcond1]) and ([eq:IOcond2]) are called stochastic matrices.

    As in Example [exa:006965], let \(p_{i}\) denote the price of the total annual production of industry \(i\). Then \(p_{i}\) is the annual revenue of industry \(i\). On the other hand, industry \(i\) spends \(e_{i1}p_{1} + e_{i2}p_{2} + \cdots + e_{in}p_{n}\) annually for the product it uses (\(e_{ij}p_{j}\) is the cost for product from industry \(j\)). The closed economic system is said to be in equilibrium if the annual expenditure equals the annual revenue for each industry—that is, if

    \[e_{1j}p_{1} + e_{2j}p_{2} + \cdots + e_{ij}p_{n} = p_{i} \quad \mbox{for each } i = 1, 2, \dots, n \nonumber \]

    If we write \(\mathbf{p} = \left[ \begin{array}{c} p_{1} \\ p_{2} \\ \vdots \\ p_{n} \end{array} \right]\), these equations can be written as the matrix equation

    \[E\mathbf{p} = \mathbf{p} \nonumber \]

    This is called the equilibrium condition, and the solutions \(\mathbf{p}\) are called equilibrium price structures. The equilibrium condition can be written as

    \[(I - E)\mathbf{p} = \mathbf{0} \nonumber \]

    which is a system of homogeneous equations for \(\mathbf{p}\). Moreover, there is always a nontrivial solution \(\mathbf{p}\). Indeed, the column sums of \(I - E\) are all \(0\) (because \(E\) is stochastic), so the row-echelon form of \(I - E\) has a row of zeros. In fact, more is true:

    007013 Let \(E\) be any \(n \times n\) stochastic matrix. Then there is a nonzero \(n \times 1\) vector \(\mathbf{p}\) with nonnegative entries such that \(E\mathbf{p} = \mathbf{p}\). If all the entries of \(E\) are positive, the matrix \(\mathbf{p}\) can be chosen with all entries positive.

    Theorem [thm:007013] guarantees the existence of an equilibrium price structure for any closed input-output system of the type discussed here. The proof is beyond the scope of this book.3

    007017 Find the equilibrium price structures for four industries if the input-output matrix is

    \[E = \left[ \begin{array}{rrrr} 0.6 & 0.2 & 0.1 & 0.1 \\ 0.3 & 0.4 & 0.2 & 0 \\ 0.1 & 0.3 & 0.5 & 0.2 \\ 0 & 0.1 & 0.2 & 0.7 \end{array} \right] \nonumber \]

    Find the prices if the total value of business is \(\$1000\).

    If \(\mathbf{p} = \left[ \begin{array}{c} p_{1} \\ p_{2} \\ p_{3} \\ p_{4} \end{array} \right]\) is the equilibrium price structure, then the equilibrium condition reads \(E\mathbf{p} = \mathbf{p}\). When we write this as \((I - E)\mathbf{p} = \mathbf{0}\), the methods of Chapter [chap:1] yield the following family of solutions:

    \[\mathbf{p} = \left[ \begin{array}{c} 44t \\ 39t \\ 51t \\ 47t \end{array} \right] \nonumber \]

    where \(t\) is a parameter. If we insist that \(p_{1} + p_{2} + p_{3} + p_{4} = 1000\), then \(t = 5.525\). Hence

    \[\mathbf{p} = \left[ \begin{array}{c} 243.09 \\ 215.47 \\ 281.76 \\ 259.67 \end{array} \right] \nonumber \]

    to five figures.

    The Open Model

    We now assume that there is a demand for products in the open sector of the economy, which is the part of the economy other than the producing industries (for example, consumers). Let \(d_{i}\) denote the total value of the demand for product \(i\) in the open sector. If \(p_{i}\) and \(e_{ij}\) are as before, the value of the annual demand for product \(i\) by the producing industries themselves is \(e_{i1}p_{1} + e_{i2}p_{2} + \cdots + e_{in}p_{n}\), so the total annual revenue \(p_{i}\) of industry \(i\) breaks down as follows:

    \[p_{i} = (e_{i1}p_{1} + e_{i2}p_{2} + \cdots + e_{in}p_{n}) + d_{i} \quad \mbox{for each } i = 1, 2, \dots, n \nonumber \]

    The column \(\mathbf{d} = \left[ \begin{array}{c} d_{1} \\ \vdots \\ d_{n} \end{array} \right]\) is called the demand matrix, and this gives a matrix equation

    \[\mathbf{p} = E\mathbf{p} + \mathbf{d} \nonumber \]

    or

    \[\label{eq:demandmatrix} (I - E)\mathbf{p} = \mathbf{d} \]

    This is a system of linear equations for \(\mathbf{p}\), and we ask for a solution \(\mathbf{p}\) with every entry nonnegative. Note that every entry of \(E\) is between \(0\) and \(1\), but the column sums of \(E\) need not equal \(1\) as in the closed model.

    Before proceeding, it is convenient to introduce a useful notation. If \(A = \left[ a_{ij} \right]\) and \(B = \left[ b_{ij} \right]\) are matrices of the same size, we write \(A > B\) if \(a_{ij} > b_{ij}\) for all \(i\) and \(j\), and we write \(A \geq B\) if \(a_{ij} \geq b_{ij}\) for all \(i\) and \(j\). Thus \(P \geq 0\) means that every entry of \(P\) is nonnegative. Note that \(A \geq 0\) and \(B \geq 0\) implies that \(AB \geq 0\).

    Now, given a demand matrix \(\mathbf{d} \geq \mathbf{0}\), we look for a production matrix \(\mathbf{p} \geq \mathbf{0}\) satisfying equation ([eq:demandmatrix]). This certainly exists if \(I - E\) is invertible and \((I - E)^{-1} \geq 0\). On the other hand, the fact that \(\mathbf{d} \geq \mathbf{0}\) means any solution \(\mathbf{p}\) to equation ([eq:demandmatrix]) satisfies \(\mathbf{p} \geq E\mathbf{p}\). Hence, the following theorem is not too surprising.

    007060 Let \(E \geq 0\) be a square matrix. Then \(I - E\) is invertible and \((I - E)^{-1} \geq 0\) if and only if there exists a column \(\mathbf{p} > \mathbf{0}\) such that \(\mathbf{p} > E\mathbf{p}\).

    If \((I - E)^{-1} \geq 0\), the existence of \(\mathbf{p} > \mathbf{0}\) with \(\mathbf{p} > E\mathbf{p}\) is left as Exercise [ex:ex2_8_11]. Conversely, suppose such a column \(\mathbf{p}\) exists. Observe that

    \[(I - E)(I + E + E^2 + \cdots + E^{k-1}) = I - E^k \nonumber \]

    holds for all \(k \geq 2\). If we can show that every entry of \(E^{k}\) approaches \(0\) as \(k\) becomes large then, intuitively, the infinite matrix sum

    \[U = I + E + E^2 + \cdots \nonumber \]

    exists and \((I - E)U = I\). Since \(U \geq 0\), this does it. To show that \(E^{k}\) approaches \(0\), it suffices to show that \(EP < \mu P\) for some number \(\mu\) with \(0 < \mu < 1\) (then \(E^{k}P < \mu^{k}P\) for all \(k \geq 1\) by induction). The existence of \(\mu\) is left as Exercise [ex:ex2_8_12].

    The condition \(\mathbf{p} > E\mathbf{p}\) in Theorem [thm:007060] has a simple economic interpretation. If \(\mathbf{p}\) is a production matrix, entry \(i\) of \(E\mathbf{p}\) is the total value of all product used by industry \(i\) in a year. Hence, the condition \(\mathbf{p} > E\mathbf{p}\) means that, for each \(i\), the value of product produced by industry \(i\) exceeds the value of the product it uses. In other words, each industry runs at a profit.

    007075 If \(E = \left[ \begin{array}{rrr} 0.6 & 0.2 & 0.3 \\ 0.1 & 0.4 & 0.2 \\ 0.2 & 0.5 & 0.1 \end{array} \right]\), show that \(I - E\) is invertible and \((I - E)^{-1} \geq 0\).

    Use \(\mathbf{p} = (3, 2, 2)^{T}\) in Theorem [thm:007060].

    If \(\mathbf{p}_{0} = (1, 1, 1)^{T}\), the entries of \(E\mathbf{p}_{0}\) are the row sums of \(E\). Hence \(\mathbf{p}_{0} > E\mathbf{p}_{0}\) holds if the row sums of \(E\) are all less than \(1\). This proves the first of the following useful facts (the second is Exercise [ex:ex2_8_10]).

    007090 Let \(E \geq 0\) be a square matrix. In each case, \(I - E\) is invertible and \((I - E)^{-1} \geq 0\):

    1. All row sums of \(E\) are less than \(1\).
    2. All column sums of \(E\) are less than \(1\).

    1. The applications in this section and the next are independent and may be taken in any order.↩
    2. See W. W. Leontief, “The world economy of the year 2000,” Scientific American, Sept. 1980.↩
    3. The interested reader is referred to P. Lancaster’s Theory of Matrices (New York: Academic Press, 1969) or to E. Seneta’s Non-negative Matrices (New York: Wiley, 1973).↩

    This page titled 2.8: An Application to Input-Output Economic Models is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by W. Keith Nicholson (Lyryx Learning Inc.) via source content that was edited to the style and standards of the LibreTexts platform.