Research  Open  Published:
Strict diagonal dominance in asymptotic stability of general equilibrium
Fixed Point Theory and Applicationsvolume 2013, Article number: 225 (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.
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 ‘firstorder 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=ds$ 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})=DS$. 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.
The evolutionary process of the prices and excess demand is generated by the following method of price adjustment. Suppose that the economy has an excess demand $z\in {\mathbb{R}}^{n}$ and a price system $p\in {\mathbb{R}}_{+}^{n}$ at some time step. Then the price system at the next time step is given by
where $R=diag({r}_{1},\dots ,{r}_{n})$ is an $n\times n$ diagonal matrix with ${r}_{i}>0$ for all $i=1,\dots ,n$, and ${L}_{R}(z)=({r}_{1}{z}_{1},\dots ,{r}_{n}{z}_{n})$. It can be seen from a direct computation that the price of a certain commodity increases (decreases) if the demand of the commodity is larger (less) than its supply, which is sensible. From the computation we also see that each ${r}_{i}$ represents the scale of how much the price of commodity 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:
where $\mathcal{F}:{\mathbb{R}}_{+}^{n}\times {\mathbb{R}}^{n}\to {\mathbb{R}}_{+}^{n}\times {\mathbb{R}}^{n}$ is defined by
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.
Suppose ${p}^{\ast}\in {\mathbb{R}}_{+}^{n}$, $F({p}^{\ast})=0$, and 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 ‘owngood’ 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}^{k1}{x}_{i}{x}_{ki+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
where $\mathcal{G}:{\mathbb{R}}_{+}^{2n}\to {\mathbb{R}}_{+}^{2n}$ is defined by
Then $({p}^{\ast},{p}^{\ast})$ is an equilibrium of system (2) and the Jacobian matrix of at $({p}^{\ast},{p}^{\ast})$ is
where 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
Now suppose ${max}_{i}{r}_{i}\in (0,K)$. Let $c={min}_{i}{r}_{i}{a}_{ii}\in (\frac{1}{8},0)$. If $z{r}_{i}{a}_{ii}<{r}_{i}{a}_{ii}$ for some $i=1,\dots ,n$, then
Since $A=(\frac{\partial {f}_{i}}{\partial {p}_{j}}({p}^{\ast}))$ is strictly diagonally dominant, so is RA. Hence, by Gersgorin theorem [6] and (3), for any eigenvalue α of RA we have
Suppose $\alpha =r(cos\theta +isin\theta )+c$, where $r\ge 0$ and $0<\theta \le 2\pi $. Then by (4) we have
Hence $c<rcos\theta <c$. Now $\frac{1}{8}<c<0$ implies $\frac{1}{4}<rcos\theta +c<0$, i.e.,
where $Re(\alpha )$ denotes the real part of α. Suppose J is a Jordan canonical form of RA. Then by (5) we have
Therefore, $\alpha \ne 0$ for all $\alpha \in \sigma (J+\frac{1}{4}I)$, and hence there is an $n\times n$ upper triangular matrix B such that ${B}^{2}=J+\frac{1}{4}I$ by the lemma. For any $\beta \in \sigma (B)$,
Thus by (4) we have
Therefore,
Thus $\beta <\frac{1}{2}$ and hence
Since 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
Then by (6) we conclude that
Since RA is similar to J, the Jacobian matrix M of at $({p}^{\ast},{p}^{\ast})$ is similar to the matrix
We claim that for $k=0,1,2,\dots $ ,
We shall proceed by induction. When $k=0$, (8) follows from a direct computation. Now suppose (8) holds for $k=l$. Then
Note that the identity $J=(B+\frac{1}{2}I)(B\frac{1}{2}I)$ shows that
Note also that
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.
Next we claim that the equilibrium $({p}^{\ast},0)$ of system (1) is asymptotically stable. The notations $x(t)$ and $y(t)$ will denote the flow of system (1) and (2), respectively. The norm $\parallel \cdot \parallel $ will stand for the supremum norm on ${\mathbb{R}}^{n}$. Let 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
By the continuity of F at ${p}^{\ast}$, there is a $\delta \in (0,d)$ such that
Suppose $y(t)=({y}_{1}(t),{y}_{2}(t))$, where ${y}_{1}(t)\in {\mathbb{R}}_{+}^{n}$ and ${y}_{2}(t)\in {\mathbb{R}}_{+}^{n}$ for all $t=0,1,2,\dots $ . By the asymptotical stability of the equilibrium $({p}^{\ast},{p}^{\ast})$ of system (2), there is a ${\delta}^{\prime}\in (0,\delta )$ such that if $\parallel {y}_{1}(0){p}^{\ast}\parallel <{\delta}^{\prime}$ and $\parallel {y}_{2}(0){p}^{\ast}\parallel <{\delta}^{\prime}$, then
Suppose $x(t)=(p(t),z(t))$, where $p(t)\in {\mathbb{R}}_{+}^{n}$ and $z(t)\in {\mathbb{R}}^{n}$ for all $t=0,1,2,\dots $ . Since $p(1)=p(0)+{L}_{R}(z(0))$, there is an $\epsilon \in (0,{\delta}^{\prime})$ such that
Now choose $x(0)\in {\mathbb{R}}_{+}^{n}\times {\mathbb{R}}^{n}$ so that $\parallel p(0){p}^{\ast}\parallel <\epsilon $ and $\parallel z(0)\parallel <\epsilon $. Put ${y}_{1}(0)=p(0)$ and ${y}_{2}(0)=p(1)$. Then a computation shows that
Moreover, by (12) we have
Since $\parallel {y}_{1}(0){p}^{\ast}\parallel =\parallel p(0){p}^{\ast}\parallel <\epsilon <{\delta}^{\prime}<\delta $, (10) implies
Thus (9) gives
Therefore,
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. □
References
 1.
Arrow KJ, Block HD, Hurwicz L: On the stability of the competitive equilibrium II. Econometrica 1959, 27: 82–109. 10.2307/1907779
 2.
Uzawa H: The stability of dynamic processes. Econometrica 1961, 29: 617–631. 10.2307/1911808
 3.
Bear DVT: A matrix multiplier and distributed lags. Econometrica 1963, 31: 514–529. 10.2307/1909989
 4.
Hadar J: A note on dominant diagonals in stability analysis. Econometrica 1965, 33: 442–444. 10.2307/1909803
 5.
Hadar J: Dominant diagonalsa correction. Econometrica 1969, 37: 541–543. 10.2307/1912800
 6.
Horn RA, Johnson CR: Matrix Analysis. Cambridge University Press, Cambridge; 1985.
Acknowledgements
This work was supported by the National Science Council of the Republic of China.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally and significantly in writing this paper. Both authors read and approved the final manuscript.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 fixed point
 general equilibrium
 stability
 strict diagonal dominance