Microeconomic Theory
General Equilibrium
Prices that clear every market simultaneously — Arrow-Debreu's fixed-point world
All prices, all markets, at once. Arrow and Debreu (1954) proved an equilibrium exists in any private-ownership economy satisfying continuity, convexity, and Walras's Law — via Kakutani's fixed-point theorem.
- Canonical frameworkArrow-Debreu, 1954
- EquilibriumPrices p* such that z(p*) ≤ 0 in every market
- Existence toolBrouwer's / Kakutani's fixed-point theorem
- Key assumptionsContinuity · convexity · Walras's Law · no externalities
- Welfare resultsFirst & Second Welfare Theorems
- CritiqueSonnenschein-Mantel-Debreu — aggregate demand can be arbitrary
Interactive visualization
Press play, or step through manually. The visualization is yours to drive — try it before reading on.
Watch the 60-second explainer
A condensed visual walkthrough — narrated, captioned, under a minute.
The Arrow-Debreu framework
A general-equilibrium economy specifies:
- L commodities. Distinguished by physical characteristics, location, date, and (in the Arrow-Debreu extension) state of nature. With state-contingent commodities, a single time-zero spot market for each state-of-the-world covers the entire dynamic problem.
- I consumers. Each with preferences ≿i, endowment ωi ∈ ℝ+L, and profit shares θij.
- J firms. Each with a production set Yj ⊂ ℝL.
A competitive (Walrasian) equilibrium is a price vector p* ∈ ℝ+L and allocation (x*, y*) such that:
- Each consumer maximizes preferences subject to her budget at prices p*.
- Each firm maximizes profit on Yj at p*.
- All markets clear: Σ x*i = Σ ωi + Σ y*j.
The triplet (p*, x*, y*) is the equilibrium. Everyone is individually rational; markets simultaneously balance; the simultaneity is the substance.
The excess-demand function z(p) collects net market imbalances. z(p) is continuous on the open positive orthant, homogeneous of degree zero, satisfies Walras's Law p · z(p) = 0, and is bounded below (consumers cannot supply more than their endowments). Existence reduces to: does there exist a price vector with z(p*) ≤ 0?
Existence: Brouwer's fixed-point theorem
The cleanest proof goes via the price simplex Δ = {p ∈ ℝ+L : Σ pl = 1}. Define a continuous map T: Δ → Δ that increases the share of any good in excess demand:
Tl(p) = (pl + max{zl(p), 0}) / (1 + Σ max{zk(p), 0})
By Brouwer's fixed-point theorem (any continuous map from a non-empty compact convex set to itself has a fixed point), T has a fixed point p* with T(p*) = p*. At a fixed point, no relative-price share wants to grow — meaning every zl(p*) is non-positive. Walras's Law p* · z(p*) = 0 then forces zl(p*) = 0 wherever pl* > 0. Equilibrium.
The full Arrow-Debreu (1954) proof uses Kakutani's fixed-point theorem because demand correspondences (not single-valued functions) appear when preferences are merely convex rather than strictly convex. The technical machinery includes:
- Compactness via truncation of the consumption set.
- Upper hemi-continuity of demand correspondences, following from Berge's maximum theorem.
- Convex-valued demand correspondences, requiring convex preferences.
- Walras's Law in the inequality form p · z(p) ≤ 0.
These ingredients combined feed Kakutani's theorem, yielding existence.
Historical context
Léon Walras (1874-1877) first conceived of an economy in general equilibrium and counted equations and unknowns, but did not prove existence rigorously. Abraham Wald (1936) supplied the first rigorous existence proof for a specialized model. John von Neumann's growth model (1937) used fixed-point arguments. The 1944 von Neumann-Morgenstern game-theoretic apparatus and Kakutani's 1941 fixed-point theorem set the stage.
The breakthrough came in 1954: Kenneth Arrow and Gerard Debreu jointly published Existence of an Equilibrium for a Competitive Economy in Econometrica. Lionel McKenzie published a contemporaneous proof. Debreu's Theory of Value: An Axiomatic Analysis of Economic Equilibrium (1959) consolidated the framework. The state-contingent commodities trick (Arrow, 1953) extended the static framework to handle uncertainty.
The 1970s brought the Sonnenschein-Mantel-Debreu results (Sonnenschein 1972, Mantel 1974, Debreu 1974): aggregate excess-demand functions can be essentially arbitrary continuous functions satisfying Walras's Law. This was a critique of the framework's predictive power — the model is highly general but produces few testable comparative-static results.
Computable general equilibrium (CGE) models emerged in the 1960s-70s (Johansen, Adelman-Robinson, Shoven-Whalley) to solve Arrow-Debreu-style economies numerically for policy analysis. Modern dynamic-stochastic general equilibrium (DSGE) macroeconomics extends the framework with intertemporal optimization and rational expectations.
Worked example: 2-good, 2-consumer exchange
Two consumers (A, B) with utilities UA(x, y) = x2/3 y1/3 and UB(x, y) = x1/3 y2/3. Endowments: ωA = (10, 5), ωB = (5, 10). Set py = 1.
| Step | Anna (Cobb-Douglas α=2/3) | Ben (Cobb-Douglas α=1/3) |
|---|---|---|
| Income | 10px + 5 | 5px + 10 |
| Demand for X | (2/3)(10px + 5)/px | (1/3)(5px + 10)/px |
| Total X demand | (2/3)(10px+5)/px + (1/3)(5px+10)/px | |
| Total X supply | 15 | |
| Market-clearing | Simplify: 20px/3 + 10/3 + 5/3 + 10/(3px) = 15 | |
| Solve | 20px/3 + 10/(3px) = 30/3 → 20px² − 30px + 10 = 0 | |
| Equilibrium price | px* = 1 (the other root is 0.5, rejected here) | |
| Equilibrium allocation | x_A = (2/3)(15) = 10; y_A = (1/3)(15) = 5 | x_B = (1/3)(15) = 5; y_B = (2/3)(15) = 10 |
At px* = 1 (with py = 1), market X clears (10 + 5 = 15 = supply). By Walras's Law, market Y also clears. Equilibrium is the endowment itself in this symmetric case — no trade occurs, but the algorithm still verifies that the endowment is an equilibrium. Skewed endowments would produce non-trivial equilibrium prices and allocations.
General vs partial equilibrium and related approaches
| General equilibrium | Partial equilibrium | DSGE | CGE | Agent-based | |
|---|---|---|---|---|---|
| Markets analyzed | All simultaneously | One (ceteris paribus) | All (dynamic) | All (numerical) | All (simulated) |
| Origin | Walras, 1874; Arrow-Debreu, 1954 | Marshall, 1890 | Kydland-Prescott, 1982 | Johansen, 1960; Shoven-Whalley | Schelling, 1971; ABM 1990s |
| Existence | Fixed-point theorems | Curve intersection | Numerical | Numerical | Simulation |
| Closed form | Rare | Common | Rare | Rare | No |
| Policy use | Theoretical benchmark | Single-market analysis | Macroeconomic forecasting | Trade, tax, climate policy | Financial, behavioral |
| Captures externalities | Modeled explicitly | Limited | Yes | Yes | Naturally |
General equilibrium is the theoretical benchmark; CGE and DSGE are its computational descendants; agent-based modeling relaxes its equilibrium assumption entirely.
Assumptions, exactly
- Complete markets. A market exists for every commodity, including state-contingent goods (Arrow securities) under uncertainty.
- Convex preferences and production. Needed for demand correspondences to be well-behaved and for the Second Welfare Theorem.
- Continuity of preferences and production. Needed for fixed-point theorems.
- Locally non-satiated preferences. Forces budget constraints to bind; underlies Walras's Law.
- Price-taking. No market power; consumers and firms treat prices as parameters.
- No externalities. One agent's actions don't directly enter others' utility or production functions.
- Walras's Law. p · z(p) ≤ 0, following from budget constraints.
Common misconceptions
- "General equilibrium describes real markets." It is a logical-mathematical model. Real economies satisfy its assumptions only approximately and only in some sectors. The framework is a benchmark, not a literal description.
- "Existence implies stability." The proof shows an equilibrium exists; it does not show tâtonnement or any other dynamic process converges to one. Stability is a separate (often false) result.
- "Equilibrium is unique." Not without strong further assumptions (gross substitutability, weak axiom of revealed preference at the aggregate level). The model permits multiple equilibria.
- "The framework can't handle time or uncertainty." The Arrow-Debreu extension treats commodities as state- and date-contingent. Conceptually elegant; practically requires complete markets for every state-date pair, which real economies lack.
- "Sonnenschein-Mantel-Debreu refutes GE." It shows aggregate excess demand has few restrictions beyond Walras's Law, limiting predictive power — but doesn't refute existence or welfare results. It tells us GE provides fewer comparative-static predictions than partial equilibrium suggests.
- "The Walrasian auctioneer is realistic." No. It is a thought experiment, a heuristic for thinking about how equilibrium prices might be reached. Modern microstructure replaces the auctioneer with order books, market makers, and learning processes.
Applications
- Welfare theorems. Both fundamental welfare theorems are proved within the Arrow-Debreu framework; their interpretation of efficiency rests on its assumptions.
- Computable general equilibrium (CGE). Numerical solution of Arrow-Debreu economies for trade, tax, and climate policy analysis. Models like GTAP, MIRAGE, EPPA simulate millions of equilibrium prices.
- DSGE macroeconomics. Dynamic stochastic general equilibrium models extend Arrow-Debreu to intertemporal optimization with rational expectations. Standard tool at central banks and finance ministries.
- International trade theory. Heckscher-Ohlin, factor-price equalization, and gains-from-trade results all derive within general-equilibrium models. Modern quantitative trade theory (Eaton-Kortum) is GE-style.
- Climate economics. Integrated assessment models (DICE, RICE) embed climate dynamics into Arrow-Debreu-style economies to evaluate carbon-pricing policies.
- Finance. Asset-pricing models (Lucas tree, Merton ICAPM) are general-equilibrium constructions. The risk-neutral measure is the dual of equilibrium state prices.
- Mechanism design. The Arrow-Debreu framework is the benchmark against which alternative institutions are evaluated for welfare properties.
Frequently asked questions
What is general equilibrium?
A state of an economy in which prices are determined such that every market clears simultaneously: total demand equals total supply for each commodity at the equilibrium price vector. The defining feature is simultaneity — all markets are interconnected through preferences, technology, and budget constraints. Contrasted with partial equilibrium, which analyzes one market in isolation while holding everything else fixed.
Who proved that general equilibrium exists?
Kenneth Arrow and Gerard Debreu in their joint 1954 paper, Existence of an Equilibrium for a Competitive Economy. Earlier rigorous existence results were obtained by Abraham Wald (1936) under restrictive conditions and by John von Neumann (1937) for an expanding-economy model. The modern proof uses Kakutani's fixed-point theorem. Arrow won the Nobel Prize in 1972, Debreu in 1983.
How is existence proved using fixed-point theorems?
Define excess demand z(p) as a continuous function on the price simplex satisfying Walras's Law p · z(p) = 0. Construct a price-adjustment map that increases prices for goods in excess demand. Brouwer's fixed-point theorem guarantees the map has a fixed point p*. At p*, no price wants to change — meaning no market has excess demand. By Walras's Law, where prices are positive, markets clear; equilibrium follows.
Is general equilibrium unique?
Not in general. Existence is proved under mild conditions; uniqueness requires much stronger structure, such as the weak axiom of revealed preference at the market level or gross substitutability. Without these, multiple equilibria are possible, and Sonnenschein-Mantel-Debreu showed that aggregate excess demand functions can be essentially arbitrary. Stability of tâtonnement dynamics also is not guaranteed.
What is tâtonnement?
Walras's metaphorical price-adjustment process: a fictional auctioneer announces a price vector, hears demands and supplies, raises prices where excess demand is positive, lowers them where excess demand is negative, and re-announces until markets clear. No actual trade happens off equilibrium. Tâtonnement is a heuristic; it is not literally how markets work, and its dynamic stability is not guaranteed by the existence theorem.
What are the main critiques of the Arrow-Debreu framework?
Strong assumptions (complete markets, convex preferences, no externalities) rarely fully met. Existence does not imply uniqueness, stability, or computational tractability. Sonnenschein-Mantel-Debreu shows aggregate excess demand can be arbitrary, limiting predictive power. The static framework requires infinitely many state-contingent markets to handle uncertainty. The model abstracts from money, expectations, and out-of-equilibrium behavior.