- Research
- Open Access

# Strict diagonal dominance in asymptotic stability of general equilibrium

- Sheng-Yi Hsu
^{1}and - Mau-Hsiang Shih
^{1}Email author

**2013**:225

https://doi.org/10.1186/1687-1812-2013-225

© Hsu and Shih; licensee Springer. 2013

**Received:**14 June 2013**Accepted:**8 August 2013**Published:**28 August 2013

## Abstract

Stability of general equilibrium is usually depicted by a dynamic process of price adjustment which makes the flow of prices eventually come to rest at certain prices, so that the supply and demand of every commodity tend to equal each other. Here we construct a dynamical system of a competitive economy and find that the strict diagonal dominance of the Jacobian matrix of the excess demand function at its equilibrium guarantees the asymptotic stability.

**MSC:**37N40, 91B55, 93D20.

## Keywords

- fixed point
- general equilibrium
- stability
- strict diagonal dominance

## Dedication

Dedicated to Professor Wataru Takahashi on the occasion of his seventieth birthday

Economists look for conditions that make the equilibrium under consideration stable. For example, in [1], Arrow, Block and Hurwicz establish the stability on the assumption that the underlying excess demand function encoding the dynamics satisfies some gross substitute conditions; in [2], Uzawa also supposes that a gross substitute condition prevails and that the stability is guaranteed by using Lyapunov’s stability theorem; in [3], Bear finds the equivalence of the stability of ‘lagged’ systems and ‘first-order aggregation’ of lagged systems. Our condition is that the excess demand function has a strictly diagonally dominant Jacobian matrix at its equilibrium. Conditions of this sort can also be found in [4, 5], where Hadar assumes the excess demand function to have a strictly diagonally dominant Jacobian matrix at not only a single point, but everywhere. By using a contraction technique, Hadar is able to show that the dynamical system has a unique equilibrium which is globally stable. In spite of the stronger conclusion, the assumption made in [4, 5] imposes too strong restriction on the excess demand function as stated by Hadar. Here we construct a dynamical system of a competitive economy and find that the strict diagonal dominance of the Jacobian matrix of the excess demand function at its equilibrium guarantees the asymptotic stability. Our analysis is based on the estimation of the range of eigenvalues and solving recurrences and concludes the local stability of the general equilibrium.

We begin with a mathematical formation of the relations between supply, demand, and prices in an economy. Consider an economy with commodities $1,\dots ,n$. Each commodity has its own price ${p}_{i}\in {\mathbb{R}}_{+}=\{x\in \mathbb{R};x\ge 0\}$. The vector $p=({p}_{1},\dots ,{p}_{n})$ is called a *price system*. While we say vectors $d=({d}_{1},\dots ,{d}_{n})\in {\mathbb{R}}_{+}^{n}$ and $s=({s}_{1},\dots ,{s}_{n})\in {\mathbb{R}}_{+}^{n}$ are *demand* and *supply*, respectively, the components ${d}_{i}$ and ${s}_{i}$ represent, respectively, the demand and supply of commodity *i*, $i=1,\dots ,n$. A vector $z=({z}_{1},\dots ,{z}_{n})\in {\mathbb{R}}^{n}$ is called an *excess demand*, while we think $z=d-s$ for some demand $d\in {\mathbb{R}}_{+}^{n}$ and some supply $s\in {\mathbb{R}}_{+}^{n}$. Suppose that a price system *p* is given. Each consumer or producer in the economy will make consumption or produce commodities according to the price system *p*, resulting in a demand $D(p)=({d}_{1}(p),\dots ,{d}_{n}(p))\in {\mathbb{R}}_{+}^{n}$ and a supply $S(p)=({s}_{1}(p),\dots ,{s}_{n}(p))\in {\mathbb{R}}_{+}^{n}$ corresponding to *p*. The *excess demand function* is defined by $F=({f}_{1},\dots ,{f}_{n})=D-S$. If there is a price system ${p}^{\ast}\in {\mathbb{R}}_{+}^{n}$ such that $F({p}^{\ast})=0$, meaning that the demand in each market is equal to the supply, then the state $({p}^{\ast},F({p}^{\ast}))=({p}^{\ast},0)$ of prices and excess demand is called a *general equilibrium* of the economy.

*i*should be adjusted. Thus ${r}_{i}$ is considered as the adjustment speed of the price of commodity

*i*. Now combining the excess demand function and the price adjustment gives the following discrete dynamical system of the economy:

In this dynamical system, a state variable $x\in {\mathbb{R}}_{+}^{n}\times {\mathbb{R}}^{n}$ represents a state of the economy with the first *n* components of *x* standing for the price system and the remaining ones standing for the excess demand.

*F*is differentiable at ${p}^{\ast}$. Then $({p}^{\ast},0)$ is a fixed point of ℱ (

*i.e.*, $\mathcal{F}({p}^{\ast},0)=({p}^{\ast},0)$) and is also a general equilibrium of the economy. Recall that the equilibrium $({p}^{\ast},0)$ of system (1) is

*Lyapunov stable*if all sufficiently small disturbances away from it damp out in time. Recall also that the equilibrium $({p}^{\ast},0)$ of system (1) is

*attracting*if all trajectories $x(t)$ that start near $({p}^{\ast},0)$ approach it as $t\to \mathrm{\infty}$. Furthermore, the equilibrium $({p}^{\ast},0)$ of system (1) is

*asymptotically stable*if it is both Lyapunov stable and attracting. To show the stability of $({p}^{\ast},0)$, we make the following assumptions:

- (i)
every component of ${p}^{\ast}$ is not zero;

- (ii)the Jacobian matrix $(\frac{\partial {f}_{i}}{\partial {p}_{j}}({p}^{\ast}))$ is strictly diagonally dominant,
*i.e.*,$\sum _{j\ne i}\left|\frac{\partial {f}_{i}}{\partial {p}_{j}}\left({p}^{\ast}\right)\right|<\left|\frac{\partial {f}_{i}}{\partial {p}_{i}}\left({p}^{\ast}\right)\right|,\phantom{\rule{1em}{0ex}}i=1,\dots ,n;$ - (iii)
$\frac{\partial {f}_{i}}{\partial {p}_{i}}({p}^{\ast})<0$ for all $i=1,\dots ,n$.

Assumption (i) means that none of the commodities has a zero equilibrium price. Assumption (ii) means that each ‘own-good’ price effect dominates the sum of the effects of the respective price on all other markets. Assumption (iii) means that a price raise (decrease) of some commodity should reduce (increase) its excess demand. As demonstrated by the following theorem, $({p}^{\ast},0)$ will be asymptotically stable while the adjustment speeds of the prices lie in a suitable range.

**Theorem 1** *There is a* $K>0$ *such that the equilibrium* $({p}^{\ast},0)$ *of system* (1) *is asymptotically stable whenever* ${max}_{i}{r}_{i}\in (0,K)$.

To show this, let us introduce the following simple result.

**Lemma 1** *Suppose that* *A* *is a* $k\times k$ *complex Jordan canonical form*. *If* *A* *is invertible*, *then there exists a* $k\times k$ *upper triangular matrix* *B* *such that* ${B}^{2}=A$.

*Proof*Without lost of generality, we may assume that

*A*is a Jordan block with diagonals ${c}^{2}$ for some nonzero complex number

*c*. Let ${x}_{1}=c$, ${x}_{2}=\frac{1}{2{x}_{1}}$, and ${x}_{k}=-\frac{1}{2{x}_{1}}{\sum}_{i=2}^{k-1}{x}_{i}{x}_{k-i+1}$ for all $k=3,4,\dots ,n$. Define $B=({b}_{ij})$, where

Then a computation shows that ${B}^{2}=A$. □

For a square complex matrix *A*, the notation $\sigma (A)$ denotes the collection of all eigenvalues of *A*.

*Proof of Theorem 1*Let us first consider the dynamical system

*I*,

*O*, and $A=({a}_{ij})$ are the $n\times n$ identity matrix, the zero matrix, and the Jacobian matrix $(\frac{\partial {f}_{i}}{\partial {p}_{j}}({p}^{\ast}))$, respectively. Since ${a}_{ii}=\frac{\partial {f}_{i}}{\partial {p}_{i}}({p}^{\ast})<0$ and ${r}_{i}>0$ for all $i=1,\dots ,n$, there is a positive number

*K*such that if ${max}_{i}{r}_{i}<K$, then

*RA*. Hence, by Gersgorin theorem [6] and (3), for any eigenvalue

*α*of

*RA*we have

*i.e.*,

*α*. Suppose

*J*is a Jordan canonical form of

*RA*. Then by (5) we have

*B*such that ${B}^{2}=J+\frac{1}{4}I$ by the lemma. For any $\beta \in \sigma (B)$,

*B*is upper triangular, it follows that all the eigenvalues of matrices $\frac{1}{2}I\pm B$ lie in the open unit disc. For $k=0,1,2,\dots $ , put

*RA*is similar to

*J*, the Jacobian matrix

*M*of at $({p}^{\ast},{p}^{\ast})$ is similar to the matrix

Hence (8) holds for $k=l+1$, completing the induction and proving the claim.

Since *M* is similar to *N*, (8) and (7) imply that ${M}^{k}$ goes to the zero matrix as *k* goes to infinity, showing that every eigenvalue of *M* lies in the open unit disc, so that the equilibrium $({p}^{\ast},{p}^{\ast})$ of system (2) is stable and attracting.

*U*be an open neighborhood of $({p}^{\ast},0)$. Since every component of ${p}^{\ast}$ is not zero, there is a $d>0$ such that $p\in {\mathbb{R}}_{+}^{n}$ if $\parallel p-{p}^{\ast}\parallel <d$. Without loss of generality, we may assume that $U={U}_{1}\times {U}_{2}$, where

*F*at ${p}^{\ast}$, there is a $\delta \in (0,d)$ such that

meaning that the equilibrium $({p}^{\ast},0)$ of system (1) is stable. By the continuity of *F* at ${p}^{\ast}$, (11) shows that $x(t)\to ({p}^{\ast},0)$ as $t\to \mathrm{\infty}$. This completes the proof. □

## Declarations

### Acknowledgements

This work was supported by the National Science Council of the Republic of China.

## Authors’ Affiliations

## References

- Arrow KJ, Block HD, Hurwicz L: On the stability of the competitive equilibrium II.
*Econometrica*1959, 27: 82–109. 10.2307/1907779MathSciNetView ArticleGoogle Scholar - Uzawa H: The stability of dynamic processes.
*Econometrica*1961, 29: 617–631. 10.2307/1911808MathSciNetView ArticleGoogle Scholar - Bear DVT: A matrix multiplier and distributed lags.
*Econometrica*1963, 31: 514–529. 10.2307/1909989View ArticleGoogle Scholar - Hadar J: A note on dominant diagonals in stability analysis.
*Econometrica*1965, 33: 442–444. 10.2307/1909803View ArticleGoogle Scholar - Hadar J: Dominant diagonals-a correction.
*Econometrica*1969, 37: 541–543. 10.2307/1912800View ArticleGoogle Scholar - Horn RA, Johnson CR:
*Matrix Analysis*. Cambridge University Press, Cambridge; 1985.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.