Professional Documents
Culture Documents
North-Holland
John GEANAKOPLOS
Co&s Foundation, Yale University, New Haven, CT 06520-2125, USA
Wayne SHAFER
University of Southern Calijornia, Los Angeles, CA 900894152, USA
We show that there is a broad range of systems of simultaneous equations that arise in
economics as descriptions of equilibrium that can be solved in elementary fashion via degree
theory. Some of these systems are not susceptible to analysis by standard Brouwer fixed point
methods. Two of our applications are to general equilibrium with incomplete markets, and to
non-convex production with non-competitive pricing rules.
1. Introduction
*This work was supported in part by NSF grants SES 88-12051 and SES 87-09990.
k
Q(P)
A
Z(P)
Sg
Fig. 1
- -
conclude that there must be some (p, a) with z(p, a) = 0 and ti E &F)), and since
the approximation is arbitrarily close, there must also be a solution to
z(p, a) = 0 and a 1 span (u(p)).
The second way N naturally arises is as the solution to a system of
simultaneous equations. Let f: S’<,! x A’+R’, where we have placed a
superscript Y on A to suggest that in this class of problems we take A to be a
manifold of the same dimension as the range of J Then N =f -r(O).We seek
- -
(p, a) that simultaneously solves z(p, a) = 0 and f(p, 5) = 0. Needless to say, we
cannot solve both systems unless we know that f(p,ti)=O can be solved,
which is to say that there must be a j?~Syj such that &(a) =f(fi, ti) =0 can
be solved for a. Suppose there is a i, such that deg(f6, 0) #O. Then we need
only check that proj,: N = f - ‘(O)+Syj is proper to show that the system
(z, f) has a zero. In applications it will typically be much easier to check that
there is one i, at which fi has non-zero degree than it is to show that (z, f)
has non-zero degree.
There are already two closely related alternatives to Brouwer’s theorem for
demonstrating the existence of a solution to the Walrasian system. In the
path-following approach Smale derived from Hirsch’s mathematical work,
one solves z(p) =;ly for some J. and ye R’, and then follows the solutions as
l-+0. In the homotopy approach, one finds a continuous family of functions
zl: N +I@ such that z0 has a unique solution and zi = z. One then follows the
corresponding solution to z1 =O, beginning where z0 =O, until a solution to
z1 =z =0 is found. Homotopy methods were brought to the attention of
economists primarily by the book of Milnor (1976). Scarf, Eaves, Balasko,
and Smale, among others, have all used path-following or homotopy
techniques for demonstrating existence and/or computing solutions to the
Walrasian system, in lieu of applying Brouwer’s theorem. Of course these
same techniques have been used to prove Brouwer’s theorem directly. But
the important point for us is that the path-following techniques are
potentially more powerful than Brouwer’s fixed point theorem. In this paper
we describe an economic framework more general than the Walrasian system
to which Brouwer’s theorem does not apply, but for which these two
techniques nevertheless guarantee the existence of a solution to the resulting
simultaneous equation system z. Oriented degree theory, or the related tixed
point index theory and the index theory of vector fields, has been used by
Dierker (1972), Balasko (1975), and Smale (1974) in the Walrasian setting,
by, Mas-Cole11 (1977) and Kehoe (1980) in the Walrasian setting with convex
production, and by Kamiya (1988) in the case with non-convex production.
Duflie and Shafer (1985) used Mod 2 degree theory to demonstrate the
existence of equilibrium in the incomplete markets exchange economy setting.
In section 2 we provide a general framework which in principle includes
these examples as special cases, and which we hope will be applicable to
other similar problems. In section 3 we give some applications. In Appendix
J. Geanakoplos and W. Shafer, Systems of simultaneous equations 73
Definition. N has the local graph property if there is a non-empty open set
U c Syj and a function cp:U +A with N n (U x A) = Graph cp.
dense subset LJcSyj such that for all PE U, N n ({p} x A) is a finite set. But
from the afhneness of f,, it contains exactly one element, or else a continuum
of elements, or it is empty. By the ontoness of N it cannot be empty, so the
generic graph property holds for N.
Example 5.
A is an oriented (I- 1)-manifold, F: A+Sy: is a proper
continuous map, and N = {(p, a): p = F(a)}. Then N is proper, and in this case
F=proj, op, where p:A+N is the homeomorphism defined by p(a)=(F(a),a).
If we give N the oriented manifold structure induced by p, then deg,(p) = 1,
and thus
Remark 3. Since proj,: N-S, IF’+ is onto, we may define the correspondence
@: S’;: --+A by Q(p) s {a E A( (p, a) E N}. The local graph property implies that
there is some open set U c Sy: such that restricted to U, the correspondence
@ is actually a function cp.
Fig. 2
Corollary 2. Let z: S’,-: x A’-+@ be Co- Walrasian-like, and let f:St+-: x A’+
Iw’ be continuous. Suppose there is at least one POESY: such that if
f$(a) E f (j, a), then deg( fF, 0) is non-zero. Moreover, letting N = f - ‘(O),
suppose proj 1: N + ST: is proper. Then there is a solution (~,a) to the system
of simultaneous equations z(p, a) = 0 and f (p, a) = 0.
Remark 7. The lemma shows that the ‘excess value demand’ map t is
homotopic to the trivial map (p, a)+-p), in such a way that the zeros of
the homotopy remain in a compact set. This trivial map is actually the excess
value demand of a single Cobb-Douglas consumer who ignores a, has
endowment of the 1 goods equal to 16, and utility function u(x,, . . . , xl) = Z7ixi.
3. Applications
exchange model, the standard Walrasian model with production, and to the
problem of pseudo-equilibrium in a model with incomplete markets, and to a
model with non-convex production and general pricing rules.
sgndetD(ll/ooioIl/;‘)(x)lZ=J,,,,,=sgndet[Djzi(p)], i, j=l,...,I-1.
Thus we get
Example 2. Production
We consider a model (Fh, wh,Oh,Y) where Fh: l@++ x R, +I?!+ is agent h’s
demand function, wh his endowment vector, and tlh his share of profits. Y is
the production set. Assume Fh is continuous, homogenous of degree 0,
p. Fh(p, m) = m, and lim,+aq: ,1o)IIFh(p,l)II= +co. Assume whclRr+, ~w~E@++,
and that 1 Bh= 1, ehlO. Finally, suppose Y satisfies (i) is closed and convex;
(ii) Y n l@+= (0) and (iii) Y = Y--l@+. Let A= R’, z:SyJ x R’+lQ’ be defined
by
N= (p,y)~Sy: xR’:yEargmaxpy’ .
Y’EY
dhY)=(l -uY)P+Y.
Let n: [WI+Y be the map which assigns to each z E [w’the point in Y at which
(z - y)(z- y) is at a minimum. Then using the convexity of Y and the
definition of profit maximization, one can show
where u”(d) is the matrix obtained from u(d) by permuting the rows
according to 0-r and
and let NC,,,,= UJ&,.,,. Suppose that the hypotheses of the second
theorem above are satisfied. Then by perturbing m we can perturb vz
however we want, without affecting G2 or 07. Hence f, +O. By the
Transversality Theorem, for generic (e, m), N,,(,,,) = f,te, ,,(O) is a (1- l)-
dimensional manifold. Next observe that if a E A, n A,,, then f,(p, a, e, m) = 0
if and only if f,(p, a, e, m) =O. Hence for generic (e, m) E E x M, NC,,,) is an
(I - 1)-dimensional manifold.
Furthermore, since NC,,,,) is closed in S’;: x A and A is compact,
PM,: Nce,,,-SfL: is proper. To show that deg,(proj,)#O it suffices to
observe that for any pi S’;:, v(p,m) is included in some subspace a~ A.
Hence proj, is onto. By the Transversality Theorem, since NC,,,, and Sy:
have the same dimension l- 1 and proj, is proper, there is an open dense set
U c SrJ: on which proj; 1 is finite valued (and non-empty valued by the
ontoness of proj,). But if there is more than one subspace UE A containing all
the columns of u(p,m), then there must be infinitely many such a. (See
Example 4 in section 2). Hence projl is one-to-one on the open set U, so the
mod 2 degree of proj, is non-zero.
Thus for generic (e, m) E E x M, the hypothesis of Theorem 1 are satisfied.
We conclude that if z and v are smooth, then for almost all (e, m) E E x M, we
can find (p, a) with z(p, a, e) = 0 and a 2 span (u(p, m)). But now by passing to
sequences (e”, m”)-+(e,m), a similar conclusion must hold for all (e,m).
84 J. Geanakoplos and W. Shafer, Systems of simultaneous equations
(ei/Pi) {min 1 sjjl ij} an?&, $f~v~P) +‘m aas”~xte~~~~ of z and v satisfying
the hypotheses of the second theorem. Passing to the limit (e”,m”)-+(O,O)
yields the theorem on the universal existence of pseudo-equilibria.
To prove the generic existence of genuine equilibria, we shall show that
for generic (e, m) E E x M, there is no (p, 5) satisfying i(p, ti, e) =O,
tin span(v(p, m)) and rank v;(p, m) <J. It will follow that v(p, m) has full
rank, hence there is a unique a~ A with a~span(v(p,m)), hence all the
pseudo-equilibria above are genuine equilibria.
Let YJel as before be the (J- 1)-dimensional sphere. Extend E and f, to
D, x YJ- ’ by ignoring the last coordinate. But now consider a new set of J
equations Y: D, x YJ-r + RJ given by Y,(p, a, e, m, x) = v;(p, m)x. Then given
(p, a, e, m), and so given vy(p, m), there is a x E yJ solving Yv,(p,a, e, m, x) = 0 if
and only if vT(p,m) does not have full rank J. But now consider the system
(i,f,, Y,): D, x 9J-1+HbP1 x F8J’s-J’ x IwJ. Remember that rank D,i=l- 1
and that rank D,v = S x J. The latter assumption allows us to control vy and
v; independently, so that we have rank D,(f,, Y,) =.l(S-J) +J as well as
rank D,i = I- 1. Thus (5, f,, YJ It\ 0. By the Transversality Theorem, for
generic (e,m), (i,f,, Y,):Sy: x A, x 9J-1+Hb-’ x [wJ’s-J’ x IwJ is t,ansverse
to 0. But this is only possible, given the dimension of the domain and range,
if (i, f,, YO)-l(0) is empty. Applying this argument to each u finishes the proof.
We make the following assumptions: (1) Y c l!? satisfies (i) Y n I?+ + #8;
(ii) {yz w> n Y is compact VWE@ and (iii) Y = Y-R’+. (2) Define YE=
(YE Y:~Y’E Y such that y’>>y}. Then J: Y,-+S+‘- 1 is continuous and satisfies
yf(y)>OvyEY,nR:. (3) F:R$+xR[W: is continuous and satisfies (i)
pF(p,y)=py for all (p,y) such that py>O; (ii) If p”--+p~S!$ and py>O, then
((F(p”%Y)((+ + a.
The basic idea is as follows. Define (z, A, N) by
A= R’.
4P7Y) = F(P,Y) -Y
N={(P,Y)&: x Y,:P=~(Y)).
A basic difficulty is that N need not be proper and z may not be
Co-Walrasian, so that Theorem 1 does not apply directly to (z, A, N). What
we will do is replace (z, A, N) with a model (z, A, N’), where N’ is obtained
from a new Y’ and f’, such that (z, A, N’) satisfies the hypotheses of
Theorem 3 and the changes made to Y and f have no effect on i-‘(O). This
will allow us to show
deg,(i,O)=(-l)‘-‘.
4 assigns to each y E Yk the unique vector 4(y) E H\- ’ in the direction v from
y. It is not difficult to check, given the properties of Yk, that I#I is a homeo-
morphism of Yh onto Hi-‘. We give YL the oriented manifold structure
86 J. Geanakoplos and W. Shafer, Systems of simultaneous equations
(y,O~h-l(P)-=rf’(y)+(l-t)L-Y+((l-rY)lUul=P
(Y? 4 E r, x co, 11.
h-‘(p)c[Y;n I’-E-(I-l))]x[O,l],
a bounded set. The details are left to the reader. Then we have degO(f’,P)=
deg,(A P) = degA4) = 1.
Our main Theorem 1 relied for its proof on degree theory. Here we give
an elementary proof of a weaker theorem which can also be used as the basis
of a computational procedure to find a zero (i.e., an equilibrium). Note that
the following theorem would have sufficed for the application we gave to
tinancial asset general equilibrium.
C’-admissible and N satisfies the generic graph property, then there exists
(p, a) EN such that z(p, a) = 0.
Step 2. We may assume that there is an open set U cS:j and a function
cp:U+A such that (UxA)nN=Graphcp, UnaSL-l#$!J and if
(p, a) 6 [(U n B- ‘) x A] n N and (p’, a’) E(aSL-l x A) n N and (p’, a’) #(p, a)
then
0, a) - ‘, ’
IF(p, a)/ + H.
From the generic graph property, there is an open dense set UCS~: such
that (U x A) n N = Graph cp, where cp is a function cp:iJ+A. Since we have
great freedom in choosing dS:-’ (anywhere in S’-‘\S&‘) we may assume
UnaSL-l#O. Now take (p,a)E[(UnaS~~‘)xA]nN. Then ,%(p,a)=p-p. If
(p’, a’) E (as:- 1 x A) and ?(p’, a’) z (p - p’) = L(p - p), then p’ = p (since the ray
from j through p can only interest 8-l in one place because we took SE-’
convex). But if (p’, a’) is also in N, then by the graph property at p=p’,
a’ = a = q(p), and (p, a) = (p’, a’).
Fig. 3
2 we know that H-‘(y) is a single point (~*,a*). In fact, Step 2 implies that
G-‘(y) n [(as:-’ x A) r\ N] is also the single point (~*,a*). Moreover, since
H cj~y, G- ‘(y) intersects domain H = [(U n c%- ‘) x A) n N] transversely.
Consequently G-‘(y) n [(Si-’ x A) n N] #O.
Now, by properness, L-G- ‘(y) n cl[($ ’ x A) n N] is a compact set
(where the closure is taken in N). By following along the path G-‘(y) in
cl[($ ‘) x A) n N] starting from (~*,a*) we must come either to an end,
contradicting the fact that G-‘(y) is a one-dimensional manifold, or else
come to another point of intersection of
contradicting Step 2.
Remark 8. It is clear that the local graph property is only relevant for
p =p*, where L crosses the boundary of S,‘-I . In fact if there were locally an
odd number of UE A with (p*, a) E N, the same proof would apply. Once L
‘enters’ SL- ’ through one point (p*,a)~ N, it must leave through another.
Pairing up points, we see there is one (~*,a) left over through which L enters
SL- ‘, but cannot leave Sf- ’ without crossing itself. Now it can easily be
shown from degree arguments introduced in section 4, that if N satisfies the
local graph property, there is an open dense set U cS:i such that for each
p E U, proj; ‘(p) consists of an odd number of points. In particular we can
always choose p* E U n as,1-1 . This is one indication that by using degree
theory we can greatly strengthen this theorem.
We give here a very brief review of the basic facts of degree theory. An
excellent reference is Dold (1980); see also Hirsch (1976) for the case of
smooth manifolds.
An n-manifold is a Hausdorff topological space X which has an open
cover 1KLA such that for each 1xthere exists a homeomorphism 4a: W,-+
[w”. n is called the dimension of X, each {W,, @,} is called a chart, and
{V7r~Jas.4 is called an atlas. If all the ‘coordinate changes’ 4,o
& ‘: 4*( W, n Wf)+c$,( W, n We), a, 2~ A are smooth (Cm), the atlas is called
smooth. If all these coordinate changes (which are homeomorphisms)
preserve orientation, then the atlas is called oriented. A manifold with a
countable base for the open sets is called smoothable if it has a smooth atlas.
Such a manifold, together with a given smooth atlas, is called a smooth
manifold. A manifold which has an oriented atlas is called orientable. An
orientable manifold together with an oriented atlas is called an oriented
manifold. The properties of being a manifold, dimension, smoothability and
orientability are topological invariants. An open set C in a n-manifold
(smooth) (oriented) X becomes an n-manifold (smooth) (oriented) in a
natural way.
Given a pair of manifolds X and Y of the same dimension, a continuous
map f: X+Y, and a point YE Y such that f-‘(y) is compact, degree theory
can be thought of as a way of ‘counting’ the number of points in f-‘(y).
90 J. Geanakoplos and W. Shafer, Systems of simultaneous equations
Define
C,= {(f, X, Y y): (i) X and Y are oriented manifolds of the same
dimension;
(ii) f: X+ Y is continuous;
(iii) YE Y and f-‘(y) is compact};
and
C, = {(f, X, Y y): (i) X and Y are manifolds of the same dimension;
(ii) f: X+ Y is continuous;
(iii) ye Y and f - r(y) is compact).
Remark 3. Suppose (f, X, Y, y)E C, f-‘(y) = {xl,. . . ,x,}, m< 00, and there
are disjoint neighborhoods K of xi, i= 1,. . . , m, such that each flw, is a local
homeomorphism. Then by D.2 and D.3,
From Remark 2 above, in the mod 2 case deg,(f(,,, Fl$ f(F), y)= 1, so
deg,(f, y) = #f-‘(y) mod2. In the oriented case, deg,(fl,,, y) = 1 if f pre-
serves orientation at xi and - 1 if f reserves orientation at xi, so that
deg,(f,y) counts the number of points in f-‘(y) with orientation.
are indeed homotopic to f in the sense of D.4. For example, let f:X+IW’,
f - ‘(0) compact, and suppose X is the union of an increasing sequence of
compact sets, X= uF= 1 K,. Suppose g:X+Iw’, and for any sequence x, EX\
K”, If(&)-&“)I 5jf(x,)( for n large. Then g is homotopic to ,f in the
sense of D.4, since for the homotopy given by h(x, t) = tf(x) +(I - t)g(x),
K’(0) is compact.
Kamiya, K., 1988, Existence and uniqueness of equilibria with increasing returns, Journal of
Mathematical Economics 17, 1499178.
Kehoe, T., 1980, An index theorem for general equilibrium models with production, Econometrica
48, no. 5, 1211-1232.
Kehoe, T., 1982, Regular production economies, Journal of Mathematical Economics 10, nos.
213, 147-176.
Mas-Colell, A., 1985, The theory of general economic equilibrium: A differentiable approach,
Economic Society Publication no. 9 (Cambridge University Press).
Mas-Colell, A., 1986, An introduction to the differentiable approach in the theory of economic
equilibrium, Studies in mathematical economics, in. S. Reiter. ed., The Mathematical
Association of America.
McKenzie, L., 1954, On equilibrium in Graham’s model of world trade and other competitive
systems, Econometrica 22, 147-161.
Milnor, J., 1976, Topology from the differentiable viewpoint (University of Virginia Press,
Charlottesville, VA).
Smale, S., 1974, Global analysis and economics IIA: Extension of a theorem of Debreu, Journal
of Mathematical Economics 1, no. I, I-14.
Smale, S., 1976, A convergent process of price adjustment and global Newton methods, Journal
of Mathematical Economics 3, no. 2, 107-120.
Uzawa, 1962, Competitive equilibrium and fixed points theorems II: Walras’ existence theorem
and Brouwer fixed point theorem, Economic Studies Quarterly 12, 59-62.