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.

Fig. 1. An Edgeworth box

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 (ie. seen from the bottom left). 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.[1] In the latter case, it serves as a precursor to the bargaining problem of game theory that allows a unique numerical solution.[2][3]

History

Development of the Edgeworth box

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

The mathematical theory of economic equilibrium

The conceptual framework of equilibrium in a market economy was developed by Léon Walras[9] and further extended by Vilfredo Pareto.[10] 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,[11] Paul Samuelson,[12] Kenneth Arrow and Gérard Debreu.[13] 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:

  • Whether functions are differentiable;
  • Whether indifference curves are primitive or derivable from utility functions; and
  • Whether indifference curves are convex.

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 view them as convex and differentiable and concentrate on interior equilibria, but we will subsequently relax these assumptions.

Market equilibrium
Fig. 2. Edgeworth box market

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, which will be a 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 (ωx,ωy ) and (Ωx–ωx,Ωy–ωy ) 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. (To be more precise, a budget line may be defined as a straight line through the endowment point representing allocations obtainable by exchange at a certain price.) Budget lines for a couple of other prices are also shown as dashed and dotted lines in Fig. 2.

Fig. 3. Equilibrium in an Edgeworth box

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.

Fig. 4. Division of a neighbourhood by crossing indifference curves

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 (as shown in Fig. 4) then they divide the immediate neighbourhood into four regions, one of which (shown as pale green) 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 (the most difficult point) 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 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 (described below) provides a systematic procedure for doing this.

Pareto set
Fig. 5. Division of the box by two tangential indifference curves

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’ (or ‘Pareto efficient’) if no other allocation Pareto dominates it. The set of Pareto optimal allocations is known as the Pareto set (or ‘efficient locus’).

Consider a pair of tangential curves, one for each consumer as illustrated in Fig. 5, 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.

Fig 6. Pareto set (purple line) for an Edgeworth box

Thus the Pareto set is the locus of points of tangency of the curves. This is a line connecting Octavio's origin (O) to Abby's (A). An example is shown in Fig. 6, 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 (1994), 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.[14]

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.

The second fundamental theorem of welfare economics
Fig. 7. The second welfare theorem

Now consider an economy in which the consumers have initial endowments ω as shown in Fig. 7. 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 (shown as dashed in the diagram) 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 (α'x,α'y) and Abby holds the complement of this: it is sufficient to reallocate resources to take the economy to any point (say α) 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.[15]

Offer curves
Fig. 8. Preferred points on different budget lines

Offer curves provide a means of finding points of equilibrium, and are also useful for investigating their existence and uniqueness.

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. 8. These are points at which the line is tangential to their own indifference curves.

Fig. 9. Offer curves

The locus of a consumer's most favoured points is his or her offer curve. Fig. 9 shows Octavio's offer curve as dark blue and Abby's as brown. They meet at the point ω' and the equilibrium budget line (drawn in grey) 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.[16]

Terminology for offer curves

Offer curves were first used by Vilfredo Pareto – see his Manuale / Manuel Chap. III, §97. He called them ‘exchange curves’ (linee dei baratti / lignes des échanges), and his name for Octavio’s preferred allocation along a budget line was his ‘equilibrium point’.

This preferred allocation is sometimes nowadays referred to as Octavio’s ‘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
Fig. 10. An Edgeworth box with multiple equilibria
Fig. 11. An Edgeworth box with multiple equilibria (detail)

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:

(Octavio)

(Abby).

The indifference curves fill the box but are only shown when tangential to some representative budget lines. The offer curves, drawn in Fig. 11, 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.[17] 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
Fig. 12. Price lines for a box with boundary equilibria

Kenneth Arrow and Gérard Debreu published papers independently in 1951 drawing attention to limitations in the calculus proofs of equilibrium theorems.[18] 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. 12 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. 12 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 (independent) papers of 1951 and retained it in their joint paper (on the existence of equilibrium) of 1954.[19] 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 (strictly) prefers to x. A pair comprising an allocation and a line which satisfies this property is known as a ‘Walrasian’ or ‘competitive’ equilibrium.

Fig. 13. A ‘local’ 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. 13 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 (the first fundamental theorem of welfare economics being an example). 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 (with non-convex indifference curves) under the tangency definition of equilibrium. The point x of Fig. 13 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. 13 the point x may not be a ‘competitive equilibrium’, but the economy can get stuck there preventing it from reaching the ‘true’ (and Pareto optimal) 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’ [20] 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.[21]

Fig. 7 bis. The second welfare theorem

However nothing can guarantee that a 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 (and Pareto optimum) 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.

Notes
  1. John Creedy, 2008. "Francis Ysidro (1845–1926)," The New Palgrave Dictionary of Economics, 2nd Edition. Abstract.
  2. John F. Nash, Jr., 1950. "The Bargaining Problem," Econometrica, 18(2), pp. 155-162.
  3. Roberto Serrano, 2008. "bargaining," The New Palgrave Dictionary of Economics, 2nd Edition. Abstract.
  4. Schotter, Andrew (2008), Microeconomics: A Modern Approach, Cengage Learning, p. 524, ISBN 978-0-324-31584-4
  5. Lluís Barbé (2010), Francis Ysidro Edgeworth: a portrait with family and friends, Edward Elgar Publishing, p. 12, ISBN 978-1-84844-716-5
  6. Pareto, Vilfredo (1919). Manuale di economia politica con una introduzione alla scienza sociale. Robarts - University of Toronto. Milano : Societa Editrice Libraria.
  7. "Edgeworth box | Policonomics". Retrieved 2018-12-21.
  8. Humphrey, Thomas M. "Early History of the Box Diagram" (PDF). Economic Quarterly. Retrieved 30 October 2016.
  9. L. Walras, ’Éléments d’Économie Politique Pure, ou Théorie de la Richesse Sociale’ (1874).
  10. V. Pareto, ‘Manuel d’Économie Politique’ (1909).
  11. A. Wald, ‘Über einige Gleichungssysteme der mathematischen Ökonomie’ (1936), tr. as ‘On some Systems of Equations of Mathematical Economics’ (1951).
  12. P. Samuelson, ‘Foundations of Economic Analysis’ (1947).
  13. K. Arrow and G. Debreu, ‘Existence of an Equilibrium for a Competitive Economy’ (1954).
  14. The Cobb-Douglas αs for the illustrations are 0·35 (Octavio) and 0·65 (Abby).
  15. See the discussion on pp 556 f of Mas-Colell et al.
  16. This account is based on Section 15.B of Mas-Colell et al. The illustration is their Example 15.B.1 with its Cobb-Douglas α set equal to 0·275.
  17. Oscar Lange, ‘The Foundations of Welfare Economics’ (1942).
  18. K. Arrow, ‘An Extension of the Basic Theorems of Classical Welfare Economics’ (1951); G. Debreu, ‘The Coefficient of Resource Utilization’ (1951).
  19. K. Arrow and G. Debreu, ‘Existence of an Equilibrium for a Competitive Economy’ (1954).
  20. A. Lerner, ‘The Economics of Control’ (1944), p 15.
  21. Mas-Colell et al, op. cit., p 524.

References
  • Mas-Colell, Andreu; Whinston, Michael D.; Jerry R. Green (1995). Microeconomic Theory. New York: Oxford University Press. ISBN 0-19-507340-1.
  • Osborne, Martin J.; Rubinstein, Ariel (1994). A Course in Game Theory. Cambridge: MIT Press. ISBN 0-262-65040-1.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.