Edgeworth box


In economics, an Edgeworth box is a graphical representation of a market with just two commodities, X and Y, and two consumers. The dimensions of the box are the total quantities Ωx and Ωy of the two goods.
Let the consumers be Octavio and Abby. The top right-hand corner of the box represents the allocation in which Octavio holds all the goods, while the bottom left corresponds to complete ownership by Abby. Points within the box represent ways of allocating the goods between the two consumers.
Market behaviour will be determined by the consumers' indifference curves. The blue curves in the diagram represent indifference curves for Octavio, and are shown as convex from his viewpoint. The orange curves apply to Abby, and are convex as seen from the top right. Moving up and to the right increases Octavio’s allocation and puts him onto a more desirable indifference curve while placing Abby onto a less desirable one.
Convex indifference curves are considered to be the usual case. They correspond to diminishing returns for each good relative to the other.
Exchange within the market starts from an initial allocation known as an endowment.
The main use of the Edgeworth box is to introduce topics in general equilibrium theory in a form in which properties can be visualised graphically. It can also show the difficulty of moving to an efficient outcome in the presence of bilateral monopoly. In the latter case, it serves as a precursor to the bargaining problem of game theory that allows a unique numerical solution.

History

Development of the Edgeworth box

The Edgeworth box is named after Francis Ysidro Edgeworth, who presented it in his book Mathematical Psychics: An Essay on the Application of Mathematics to the Moral Sciences, 1881.
Edgeworth's original two-axis depiction was developed into the now familiar box diagram by Pareto in his 1906 book "Manual of Political Economy" and was popularized in a later exposition by Bowley. The modern version of the diagram is commonly referred to as the Edgeworth–Bowley box.

The mathematical theory of economic equilibrium

The conceptual framework of equilibrium in a market economy was developed by Léon Walras and further extended by Vilfredo Pareto. Walras’s mathematical approach was casual by later standards: he simply assumed that n equations in n variables would have a unique solution.
The Walrasian market was examined with close attention to generality and rigour by twentieth century mathematical economists including Abraham Wald, Paul Samuelson,, Kenneth Arrow and Gérard Debreu. This was part of a wider movement in which Wald also sought to bring greater rigour to Decision theory and many mathematicians concentrated on minimising dependence on the Axiom of choice.
The theory of Walrasian markets has taken pains to find the most general premises from which a given conclusion can be obtained. Areas in which premises can be strenghtened or weakened include:
Assumptions are also made of a more technical nature, eg. non-reversibility, saturation, etc.
The pursuit of rigour is not always conducive to intelligibility. In this article indifference curves will be treated as primitive. At first we will treat them as convex and differentiable and concentrate on interior equilibria, but we will subsequently relax these assumptions.

Market equilibrium

Since there are only two commodities the effective price is the exchange rate between them. Our aim is to find the price at which market equilibrium can be attained, and the point at which no further transactions are desired, starting from a given endowment. These quantities will be determined by the indifference curves of the two consumers as shown in Fig. 2.
We shall assume that every day Octavio and Abby go to market with initial endowments and of the two commodities, corresponding to the position ω in the diagram. The two consumers will exchange between themselves under competitive market behaviour. This assumption requires a certain suspension of disbelief since the conditions for perfect competition – which include an infinite number of consumers – aren't satisfied.
If two X ‘s exchange for a single Y, then Octavio's and Abby's transaction will take them to some point along the solid grey line, which is known as a budget line. Budget lines for a couple of other prices are also shown as dashed and dotted lines in Fig. 2.
The equilibrium corresponding to a given endowment ω is determined by the pair of indifference curves which have a common tangent such that this tangent passes through ω. We will use the term ‘price line’ to denote a common tangent to two indifference curves. An equilibrium therefore corresponds to a budget line which is also a price line, and the price at equlibrium is the gradient of the line. In Fig. 3 ω is the endowment and ω is the equlibrium allocation.
The reasoning behind this is as follows.
Firstly, any point in the box must lie on exactly one of Abby’s indifference curves and on exactly one of Octavio’s. If the curves cross then they divide the immediate neighbourhood into four regions, one of which is preferable for both consumers; therefore a point at which indifference curves cross cannot be an equlibrium, and an equilibrium must be a point of tangency.
Secondly, the only price which can hold in the market at the point of tangency is the one given by the gradient of the tangent, since at only this price will the consumers be willing to accept limitingly small exchanges.
And thirdly all exchanges taking the consumers on the path from ω to equilibrium must take place at the same price. If this is accepted, then that price must be the one operative at the point of tangency, and the result follows.
In a two-person economy there is no guarantee that all exchanges will take place at the same price. But the purpose of the Edgeworth box is not to illustrate the sorts of price fixing which can take place when there is no competition, but rather to illustrate a competitive economy in a minimal case. So we may imagine that instead of a single Abby and a single Octavio we have an infinite number of clones of each, all coming to market with identical endowments at different times and negotiating their way gradually to equilibrium. A newly arrived Octavio may exchange at market price with an Abby who is close to equilibrium, and so long as a newly arrived Abby exchanges with a nearly satisfied Octavio the numbers will balance out. For exchange to work in a large competitive economy, the same price must reign for everyone. Thus exchange must move the allocation along the price line as we have defined it.
The task of finding a competitive equilibrium accordingly reduces to the task of finding a point of tangency between two indifference curves for which the tangent passes through a given point. The use of offer curves provides a systematic procedure for doing this.
In a non-competitive economy, the equilibrium might be any point of tangency between indifference curves which is no worse for either consumer than their starting endowment. There will be a range of such allocations.

Pareto set

An allocation of goods is said to ‘Pareto dominate’ another if it is preferable for one consumer and no worse for the other. An allocation is said to be ‘Pareto optimal’ if no other allocation Pareto dominates it. The set of Pareto optimal allocations is known as the Pareto set.
Consider a pair of tangential curves, one for each consumer as illustrated in Fig. 4, where the point of tangency is shown by the purple dot. Then convexity guarantees that the curves cannot intercept other than at the point of tangency, and the box is accordingly divided into 3 regions. The pale blue area is preferable to the point of tangency for Octavio but worse for Abby; the pale orange area is preferable for Abby but worse for Octavio; and the white area is worse for both. Similar considerations apply to the boundaries. It follows that the point of tangency is Pareto optimal.
Thus the Pareto set is the locus of points of tangency of the curves. This is a line connecting Octavio's origin to Abby's. An example is shown in Fig. 5, where the purple line is the Pareto set corresponding to the indifference curves for the two consumers.
The vocabulary used to describe different objects which are part of the Edgeworth box diverges. The entire Pareto set is sometimes called the contract curve, while Mas-Colell et al. restrict the definition of the contract curve to only those points on the Pareto set which make both Abby and Octavio at least as well off as they are at their initial endowment. Other authors who have a more game theoretical bent, such as Martin Osborne and Ariel Rubinstein, use the term core for the section of the Pareto set which is at least as good for each consumer as the initial endowment.
Since the Pareto set is the set of points where the consumers’ indifference curves are tangential, it is also the set of points where each consumer's marginal rate of substitution is equal to that of the other person.

The first fundamental theorem of welfare economics

We have seen that the points of tangency of indifference curves are the Pareto optima, but we also saw previously that the economic equilibria are those points at which indifference curves are tangential to a common price line. It follows that the equilibria are precisely the Pareto optima.
This result may be stated in greater generality: see the Fundamental theorems of welfare economics. What we have established is a simple form of the ‘First fundamental theorem’, and may be taken as showing that a competitive market realises the properties of Adam Smith’s invisible hand.

The second fundamental theorem of welfare economics

Now consider an economy in which the consumers have initial endowments ω as shown in Fig. 6. Left to itself a free market will take them to ω'. But suppose that some other position in the box – say α' – is considered socially preferable. We can assume that the socially desired position is Pareto optimal.
We may think of the price lines as corresponding to different distributions of real income, and movement along them as reallocation of resources while incomes remain fixed.
Then in order to reposition society at the desired point α' it is not necessary for the government to redistribute resources in such a way that Octavio holds and Abby holds the complement of this: it is sufficient to reallocate resources to take the economy to any point on the price line through α', and then leave the market to find its own equilibrium. Indeed, so long as the government recognises a desirable distribution of income it does not need to have any idea of the optimal allocation of resources.
In a statement for a more general economy, the theorem would be taken as saying that α' can be reached by a monetary transfer followed by the free play of market exchange; but money is absent from the Edgeworth box.
The second fundamental theorem does not provide a blueprint for righting society's ills. The government may decide to reallocate resources between Octavio and Abby, moving them from ω to α in advance of the day's trading; and in consequence whoever loses out may decide to take less to market the next day. The second fundamental theorem takes no account of the distortions introduced by the reallocation.

Offer curves

Offer curves offer a procedure for finding points of equilibrium; they are also useful for illustrating questions of existence and uniqueness of equilibrium.
Two such curves, one for each consumer and both depending on the endowment, can be drawn in the box. We pivot the budget line about ω and trace the two consumers’ most favoured points along the line as shown by the coloured dots in Fig. 7. These are points at which the line is tangential to their own indifference curves.
The locus of a consumer's most favoured points is his or her offer curve. Fig. 8 shows Octavio's offer curve as dark blue and Abby's as brown. They meet at the point ω and the equilibrium budget line is the one passing through this point. The indifference curves through ω for the two consumers are shown in paler colours.
An offer curve necessarily passes through the endowment point ω. If we take Abby as an example, we note that one of her indifference curves must pass through ω and that a budget line can be chosen to have the same gradient as the indifference curve here, making ω a most favoured point for this line.
In consequence the two consumers’ offer curves necessarily intersect at ω; but the property which makes this happen is that ω is the only possible point of intersection consistent with budget lines of differing gradient, and that therefore it doesn't necessarily constitute a equilibrium.
Any intersection of offer curves at a point other than ω determines a stable equilibrium. If the two offer curves are tangential at the endowment point, then this point is indeed an equilibrium and their common tangent is the corresponding budget line.

‘Demand’ in Edgeworth boxes

Octavio’s preferred allocation along a budget line is sometimes referred to as his ‘demand’, which constitutes an asymmetric description of a symmetric fact. An allocation determines Abby’s holding as much as Octavio’s, and is therefore as much a supply as a demand.
Offre is French for ‘supply’, so calling an offer curve a locus of demands amounts to calling a supply curve a locus of demands.

Existence and uniqueness of equilibria

It might be supposed from economic considerations that if a shared tangent exists through a given initial endowment, and if the indifference curves are not pathological in their shape, then the point of tangency will be unique. This turns out not to be true. Conditions for uniqueness of equilibrium have been the subject of extensive research: see General equilibrium theory.
Figs. 9 and 10 illustrate an example from Mas-Colell et al. in which three distinct equilibria correspond to the endowment point ω. The indifference curves are:

.
The indifference curves fill the box but are only shown when tangential to some representative budget lines.
The offer curves, drawn in Fig. 10, cross at three points shown by large grey dots and corresponding to exchange rates of ½, 1 and 2.
It is also possible to construct Edgeworth box markets which have no points of tangency through a certain point, but these require indifference curves with properties which might be considered unlikely to arise. See Mas-Colell et al. for details.

Generalisation to problematic indifference curves

Early examinations of the properties of equilibrium were based on an implicit definition as tangency, and convexity seems to have been implicitly assumed. There was no doubt that equilibrium would be reached: gradient ascent would lead to it. But the results lacked generality.

Boundary equilibria and non-differentiable curves

Kenneth Arrow and Gérard Debreu published papers independently in 1951 drawing attention to limitations in the calculus proofs of equilibrium theorems. Arrow specifically mentioned the difficulty caused by equilibria on the boundary, and Debreu the problem of non-differentiable indifference curves.
Without aiming for exhaustive coverage it is easy to see in intuitive terms how to extend our methods to apply to these cases. We need to broaden the concept of a tangent to include any line which touches the curve: a tangent in the etymological sense rather than that of the differential calculus. In the example of Fig. 11 there is an arc of legal price lines through a point of contact, each touching indifference curves without cutting them inside the box, and accordingly there is a range of possible equilibria for a given endowment.

Competitive equilibrium

The equilibria of Fig. 11 are not points at which curves are true tangents to each other. They do however have the property which generalises the definition in terms of tangents, which is that the two curves can be locally separated by a straight line.
Any rigorous treatment requires a formal definition. Arror and Debreu provided the same definition as each other, based on the property we have observed, in their papers of 1951 and retained it in their joint paper of 1954. The new definition required a change of mathematical technique from the differential calculus to convex set theory.
Their definition in effect was this: an equilibrium attainable from an endowment ω consists of an allocation x and a budget line through x and ω such that there is no point along the line which either consumer prefers to x. A pair comprising an allocation and a line which satisfies this property is known as a ‘Walrasian’ or ‘competitive’ equilibrium.
The budget line of this definition is a line which separates the indifference curves of the two consumers, but it does so globally rather than locally. Arrow and Debreu give no rationale for requiring global separation, which can be seen to have unexpected consequences. In Fig. 12 the point x is a point of tangency which is also a point at which indifference curves are locally separated by the dashed price line; but since they are not globally separated the point is not an equilibrium according to Arrow and Debreu’s definition.
Arrow and Debreu always included the convexity of indifference curves amongst their ‘assumptions’. Unfortunately the term is a vague one which might refer to a presupposition underlying definitions as well as theorems, or to a premise which is needed only for the derivations. Given that their definition is not in fact sound when indifference curves may be non-convex, it is reasonable to suppose that they meant the assumption of convexity in the former sense. Whether or not this is so, the definition has been widely adopted without any restriction of domain.
It has sometimes been found that results can be derived using it without assuming convexity in the proof. It is not apodeictic that such results even have any meaning.

The fundamental theorems of welfare economics

With equilibrium defined as ‘competitive equilibrium’, the proof of the first fundamental theorem remains valid even if indifference curves need not be convex: any competitive equilibrium is Pareto optimal. However the proof is no longer obvious, and the reader is referred to the article on Fundamental theorems of welfare economics.
The same result would not have been considered to hold under the tangency definition of equilibrium. The point x of Fig. 12 would have been considered an equilibrium which was not optimal since the yellow region Pareto dominates it.
However we should not suppose that the result has been strengthened since the attainability of equilibrium has been rendered doubtful. In Fig. 12 the point x may not be a ‘competitive equilibrium’, but the economy can get stuck there preventing it from reaching the ‘true’ equilibrium in the yellow region.
It was always considered essential to the first welfare theorem that equilibrium would actually be attained. Lerner’s interpretation of the theorem was that ‘Fortunately the optimum allocation of goods can be reached automatically’  and Mas-Colell et al. are scarcely more guarded, telling us that:
The first fundamental welfare theorem provides... a formal expression of Adam Smith’s ‘invisible hand’... Under perfectly competitive conditions... the only possible welfare justification for intervention in the economy is the fulfillment of distributional objectives.

However nothing can guarantee that a non-global optimum will be attained. If the concept of equilibrium includes local optima such as x, then equilibrium may be attainable but sub-optimal; if such points are excluded, then equilibrium may be optimal but unattainable.
The proof of the second fundamental theorem does not carry over to cases when indifference curves may be non-convex. The reason is that when the economy has been displaced from ω to α, there is no guarantee that it will find its way to the equilibrium of α'. But equally there was no guarantee in the first place that it would find its way from ω to ω'; in either case it might get stuck in a ‘local’ Pareto optimum. The difference is that the first theorem is able to assume the difficulty away by including equilibrium in its premise, while the second theorem, which calls on it at an intermediate step, has no such expedient. However the assumption of convexity is as essential to the applicability of the first theorem as it is to the validity of the second.