Journal of Mathematical Economics 49 (2013) 506–508

Contents lists available at ScienceDirect

Journal of Mathematical Economics journal homepage: www.elsevier.com/locate/jmateco

Short communication

A simple proof of the nonconcavifiability of functions with linear not-all-parallel contour sets✩ Philip J. Reny Department of Economics, University of Chicago, United States

article

info

Article history: Received 3 September 2013 Accepted 14 October 2013 Available online 23 October 2013 Keywords: Concavifiability

abstract Consider a real-valued function that, on a convex subset of a real vector space, is continuous on line segments and has convex contour sets. Inspired by a compelling intuitive argument due to Aumann (1975), we provide a simple proof that no strictly increasing transformation of such a function can be concave unless all contour sets are parallel, i.e., unless for every pair of contour sets, either their affine hulls are disjoint or one of their affine hulls contains the other. © 2013 Elsevier B.V. All rights reserved.

1. The result Consider the function f (x1 , x2 ) = x2 +



x1 + x22 defined on

R2+ . Its contour sets are straight lines connecting the axes and it is strictly increasing in its arguments. Its upper contour sets are therefore convex and so f is quasiconcave. Importantly, its contour sets, although straight lines, are not parallel. Their slopes decrease as one moves outward from the origin. Fenchel (1953, III.7 and III.8) seems to be among the first to have shown that such a quasiconcave function is not concavifiable, i.e., that no monotone transformation renders it concave.1 A beautiful and remarkably simple intuition for this fact is provided by Aumann (1975, p. 629). Fig. 1—a reproduction of Aumann’s Fig. 8— depicts three contour sets of f . Aumann explains the nonconcavifiability of f as follows, where he supposes that u is any differentiable utility function with the same contour (or indifference) sets as f . ‘‘Let us think of (Fig. 1) as a contour map, the ‘‘height’’ being the differentiable utility u. The contour lines are closer at x than at y, which means the ground is steeper there. In particular, the ground rises faster along the dashed line perpendicular to the indifference curve at x than it falls along the parallel dashed line starting at y. So if one were to string a telegraph line along the long dashed line and pull it taut, it would pass over the indifference curve containing x and y. This means that u cannot be concave’’. Our original intention was to provide  a simple proof of the non-

intuition. However, with just a little additional effort a much more general nonconcavifiability result can be obtained, one that permits the ambient space to be infinite dimensional and requires only that a single pair of distinct contour sets fail to be parallel. Related results can be found, for example, in Grant et al. (2000), Kannai (1977), and Monteiro (2010). However, the present approach is simple and directly utilizes Aumann’s insight that ‘‘the ground is steeper’’ at x than at y. Aumann’s intuitive explanation is so clear, one wonders why a proof of nonconcavifiability is not immediate. The reason, it seems, is that any proof must somewhere involve a limit operation. For example, given any finite number of contour sets of f (x1 , x2 ) = x2 + 

x1 + x22 , Afriat’s (1967) theorem can be used to show that there

is a strictly increasing concave function having those sets as contour sets. Thus, any proof of the nonconcavifiability of f must make essential use of infinitely many contour sets of f . Say that a real-valued function f on a convex subset X of a real vector space is continuous on line segments if for every x, y ∈ X , f ((1 − t )x + ty) is continuous in t on [0, 1]. Say that two subsets of a real vector space are parallel if their affine hulls are disjoint or if one of their affine hulls contains the other.2 , 3

x1 + x22 based on Aumann’s

Theorem 1.1. Suppose that X is a convex subset of a real vector space and that f : X → R is continuous on line segments. If the contour sets of f are convex and at least two are not parallel, then there is no strictly increasing real-valued function g defined on the range of f such that g ◦ f is concave on X .

✩ I wish to thank Bob Aumann, Eddie Dekel, Faruk Gul, Ben Polak, and Todd Sarver for helpful discussions on this topic. Financial support from the National Science Foundation (SES-1227506, SES-0922535, SES-0617884) is gratefully acknowledged. E-mail address: [email protected]. 1 I am grateful to Andreu Mas-Colell for providing me with a copy of Fenchel’s

2 Bob Aumann suggested that we define parallel sets in terms of their affine hulls. A comment due to Todd Sarver led to our including the ‘‘one affine hull contains the other’’ portion of the definition, implying for example that a line is parallel to any plane that contains it. 3 Recall that the affine hull of a set consists of all finite linear combinations of

work.

points in the set with weights – positive or negative – summing to one.

concavifiability of f (x1 , x2 ) = x2 +

0304-4068/$ – see front matter © 2013 Elsevier B.V. All rights reserved. http://dx.doi.org/10.1016/j.jmateco.2013.10.006

P.J. Reny / Journal of Mathematical Economics 49 (2013) 506–508

507

convex, and strictly increasing on its domain [u0 , u1 ]. Because φx (τx (u)) = u on [u0 , u1 ], we have τx′ (u)φx′ (τx (u)) = 1 for all but u countably many u in [u0 , u1 ]. Therefore, u 1 τb′ (u)du = τb (u1 ) −

u 0 τb (u0 ) = 1 > λ = τa (u1 ) − τa (u0 ) = u01 τa′ (u)du implies τa′ (u∗ ) < τb′ (u∗ ) – and therefore that φa′ (τa (u∗ )) > φb′ (τb (u∗ )) – for some u∗ ∈ (u0 , u1 ).4 , 5 Therefore, for ε > 0 small enough, φb (τb (u∗ )) − φb (τb (u∗ ) − ε) φa (τa (u∗ ) + ε) − φa (τa (u∗ )) > . ε ε Multiplying by ε/2, rearranging and using the definition of φx gives u(a∗ + ε(b′ − b)) + u(b∗ − ε(b′ − b)) 2 Fig. 1. Aumann’s insight.

Proof. We use freely the fact that if a continuous function ψ(·) is concave or convex on any real interval I, then it is differentiable at

 s′

all but countably many points in I, and ψ(s ) − ψ(s) = s ψ (r )dr for every s′ and s in I. Let C and C ′ be distinct non-parallel convex contour sets of f , let c be a common member of their affine hulls, and let d and d′ be, respectively, members of C and C ′ such that d is not a member of A′ , the affine hull of C ′ , and such that d′ is not a member of A, the affine hull of C . Thus c is both an affine combination of some c1 , . . . , cn ′ in C and of some c1′ , . . . , cm in C ′ . It is always possible to define b ∈ C to be a convex combination of d, c1 , . . . , cn giving each ci strictly positive weight and such that b is not in A′ . For example, if c¯ = 1n c1 + · · · 1n cn is not a member of A′ , then we may define ′

1 1 c d is not a member of 2 2 1 d. Similarly, we may define b′ 2

b = c¯ . Otherwise, 1 c 2

¯+



A′ and we may

define b = ¯ + ∈ C ′ as a convex ′ ′ ′ ′ combination of d , c1 , . . . , cm giving the ci strictly positive weight and such that b′ is not in A. Then for 1 − λ > 0 sufficiently close to zero, a = λb + (1 − λ)c is a convex combination of d, c1 , . . . , cn , ′ and a′ = λb′ + (1 − λ)c is a convex combination of d′ , c1′ , . . . , cm . Fix any such λ ∈ (0, 1). Then a, b ∈ C \ A′ , a′ , b′ ∈ C ′ \ A, and a − a′ = λ(b − b′ ). In particular, f (a) = f (b) and f (a′ ) = f (b′ ), and we suppose without loss that f (a) = f (b) < f (a′ ) = f (b′ ). The points a, a′ , b, and b′ are fixed for the remainder of the proof. Suppose by way of contradiction that u(x) = g (f (x)) is concave on X for some strictly increasing g. We claim that u is strictly increasing as one moves from a to a′ on the line joining them. But let us first argue that u is one to one on the line. Otherwise, if for example u(x) = u(y) for distinct points x and y on the line, the convexity of contour sets and the concavity of u imply that u(x) = u(y) ≥ u(a′ ) so that f (x) = f (y) ≥ f (a′ ). The continuity of f on line segments and f (a) < f (a′ ) then imply that f (z ) = f (a′ ) for some z ̸= a′ on the line, implying that a is in the affine hull of z and a′ and so in the affine hull of C ′ , contradicting the definition of a. This demonstrates that u is one to one on the line joining a and a′ . But then f is one to one on the line as well and, being continuous on the line, f must strictly increase as one moves from a to a′ on the line because f (a) < f (a′ ). But then u also strictly increases as one moves from a to a′ on the line, as claimed. Similarly, u is strictly increasing as one moves from b to b′ on the line joining b and b′ . Let u0 = u(a) = u(b) and u1 = u(a′ ) = u(b′ ) so that u0 < u1 . The function φb (t ) = u(b + t (b′ − b)) is concave and, by the previous paragraph, strictly increasing on [0, 1]. Similarly, φa (t ) = u(a + t (b′ − b)) is concave and strictly increasing on [0, λ]—recall that a − a′ = λ(b − b′ ). Thus, for x ∈ {a, b}, φx (·), being concave and strictly increasing on its domain, possesses a convex and strictly increasing inverse which we denote by τx (·). Let us complete the proof first in the case when φa : [0, λ] → R and φb : [0, 1] → R are continuous. Then, τx (·) is continuous,

u(a∗ ) + u(b∗ )

>

2

,

where a∗ = a + τa (u∗ )(b′ − b) and b∗ = b + τb (u∗ )(b′ − b). But the definitions of τa (·) and τb (·) imply u(a∗ ) = u∗ = u(b∗ ) and so the convexity of the u(·) = u∗ contour set yields u(a∗ + ε(b′ − b)) + u(b∗ − ε(b′ − b))

u(a∗ ) + u(b∗ )

>

2

 =u

2  a∗ + b ∗ 2

,

contradicting the concavity of u(·) and proving the desired result when φa and φb are continuous. Suppose now that φa (·) or φb (·) is not continuous. Being strictly increasing and concave, each φx (·) is continuous except possibly at t = 0. Because each φx (·) is strictly increasing and f is continuous on line segments, for every ε ∈ (0, 1) we may choose δ ∈ (0, 1) so that f ((1 − ε)a + ε a′ ) = f ((1 − δ)b + δ b′ ). Choose any such ε, δ so that (1 − ε)λ < 1 − δ , where it should be recalled that λ ∈ (0, 1). Define a˜ = (1 − ε)a + ε a′ and b˜ = (1 − δ)b + δ b′ . ˜ b˜ − b′ ) where λ˜ = Then, f (˜a) = f (b˜ ) < f (a′ ) = f (b′ ), a˜ − a′ = λ( ˜ (1−ε)λ/(1−δ) < 1, and both φa˜ : [0, λ] → R and φb˜ : [0, 1] → R are continuous, being reparametrizations of the restrictions respectively of φa and φb to subsets of their domains excluding t = 0. Hence, we may proceed with the proof as in the continuous case ˜ and λ with λ˜ .  replacing a with a˜ , b with b, Remark 1. The hypothesis that f is continuous on line segments cannot be dispensed with. For example, the concave function f (x1 , x2 ) = x1 + x2 if x1 > 0 and f (x1 , x2 ) = 0 if x1 = 0 for (x1 , x2 ) ∈ X = R2+ , which is not continuous on line segments, has convex contour sets and pairs of non-parallel contour sets, e.g., the f = 0 contour set is not parallel to any other contour set. Remark 2. The line-segment continuity hypothesis can be replaced with the hypothesis that X is the relative interior of a convex set. In this case, for every x, y ∈ X , the linear combination (1−t )x+ty is an element of X for all t in an open interval containing [0, 1]. Therefore, if u = g ◦ f is concave, u must be continuous on line segments. The proof then goes through by using the continuity of u where the continuity of f is currently used. Thus, our results can be summed up as follows. Theorem 1.2. Suppose that X is a convex subset of a real vector space, that f : X → R, and that one of the following two conditions holds. (i) f is continuous on line segments, or (ii) X is the relative interior of a convex set.

4 This is the formal expression of Aumann’s intuition. On the u∗ contour set, the ‘‘ground is steeper’’ at the point a∗ = a + τa (u∗ )(b′ − b) than at the point b∗ = b + τb (u∗ )(b′ − b) in the direction b′ − b. 5 In fact there are a continuum of such u∗ ∈ (u , u ), but we shall need only one. 0

1

508

P.J. Reny / Journal of Mathematical Economics 49 (2013) 506–508

If the contour sets of f are convex and at least two are not parallel, then there is no strictly increasing real-valued function g defined on the range of f such that g ◦ f is concave on X . References Afriat, S.N., 1967. The construction of utility functions from expenditure data. International Economic Review 8, 67–77.

Aumann, R., 1975. Values of markets with a continuum of traders. Econometrica 43, 611–646. Fenchel, W., 1953. Convex Sets, Cones, and Functions, Logistics Research Project. Department of Mathematics, Princeton University. Grant, S., Kajii, A., Polak, B., 2000. Temporal resolution of uncertainty and recursive non-expected utility models. Econometrica 68, 425–434. Kannai, Y., 1977. Concavifiability and constructions of concave utility functions. Journal of Mathematical Economics 4, 1–56. Monteiro, P., 2010. A class of convex preferences without concave representation. Revista Brasileira de Economia 64, 81–86.

A simple proof of the nonconcavifiability of functions ...

journal homepage: www.elsevier.com/locate/jmateco. Short communication ... have shown that such a quasiconcave function is not concavifiable,. i.e., that no ...

360KB Sizes 1 Downloads 269 Views

Recommend Documents

A SIMPLE PROOF OF DIEUDONNÉ-MANIN ...
Abstract. The Dieudonné-Manin classification theorem on &-modules (&- isocrystals) over a perfect field plays a very important role in p-adic Hodge theory. In this note, in a more general setting we give a new proof of this result, and in the course

Proof Without Words: A Trigonometric Proof of the Arithmetic Mean ...
We prove wordlessly the arithmetic mean-geometric mean inequality for two positive numbers by an equivalent trigonometric inequality. Reference. 1. L. Tan, Proof without words: Eisenstein's duplication formula, Math. Mag. 71 (1998) 207, http:// · dx.

Functions of the Cranial Nerves
Glosso-pharyngeal Taste (Pharyngeal). Pharyngeal muscles. X. Vagus. Viscero-sensation. (including taste) + somaticsensory from head. Visceral motor:.

discrete.mac: a list of functions - GitHub
flow poly(g): uses the external program tutte to compute the flow polynomial of the graph g. from degree sequence(lst): construct a graph with degree sequence ...

A DIRECT EMPIRICAL PROOF OF THE EXISTENCE ...
Aug 18, 2006 - or galaxy clusters (Gavazzi 2002; Pointecouteau & Silk. 2005) have used ... 3 Department of Astronomy, University of Florida, 211 Bryant.

A Synthetic Proof of Goormaghtigh's Generalization of ...
Jan 24, 2005 - C∗ respectively the reflections of A, B, C in the side BC, CA, AB. The following interesting theorem was due to J. R. Musselman. Theorem 1 (Musselman [2]). The circles AOA. ∗. , BOB. ∗. , COC. ∗ meet in a point which is the inv

Theory of functions of a real variable.
space (X, dX) to a pseudo-metric space (Y,dY ) is called a Lipschitz map with. Lipschitz constant C if. dY (f(x1),f(x2)) ...... agree outside two intervals of length 2 m and on these intervals |fm(x)−fn(x)| ≤. 1. So fm − fn. 2 ≤ 1. 2π. · 2/

The Derivatives of Some Functions - IJRIT
Inquiring through an online support system provided by Maple or browsing .... ba , (iii) ∑. ∞. =0. )( k k xg dx d is uniformly convergent on ),( ba . Then ∑. ∞ ...... problem of two types of functions,” International Journal of Computer Sci

A proof of a Graph-theoretic version of the Union ...
In [1] M. H. El-Zahar proposed a weaker version of this conjecture (Conjecture 2), and it is state in the following way: Let G = (V (G),E(G)) be a simple graph with neither loops nor multiple edges. A subgraph S of G is called a derived subgraph of G

The Derivatives of Some Functions - IJRIT
Inquiring through an online support system provided by Maple or browsing .... ba , (iii) ∑. ∞. =0. )( k k xg dx d is uniformly convergent on ),( ba . Then ∑. ∞ ...... problem of two types of functions,” International Journal of Computer Sci

Presentation - Functions of the legislature.pdf
The primary function of the Legislature is to make laws. Page 4 of 8. Presentation - Functions of the legislature.pdf. Presentation - Functions of the legislature.pdf.

Estimating simple fiscal policy reaction functions for the ...
Mar 26, 2014 - area in levels have generally indicated a weak degree of anti-cyclical .... variables given that we explore different measures of the business.

Proof of pudding.pdf
Page. 1. /. 1. Loading… Page 1 of 1. Page 1 of 1. Proof of pudding.pdf. Proof of pudding.pdf. Open. Extract. Open with. Sign In. Main menu. Displaying Proof of pudding.pdf. Page 1 of 1.

the cones of hilbert functions of squarefree modules c. bertone
For squarefree modules generated in degree zero, we compare ... The second author is grateful to the support from the graduate school ”Combinatorial ...

the cones of hilbert functions of squarefree modules ... - Le Matematiche
commutative in the sense that ab = (−1)degadegbba for homogeneous elements ... a,b ∈ Λ and a2 = 0 if a is homogeneous of odd degree. Λ has the same ...

A Simple Theory of Predation
May 21, 2012 - economies and an incumbency advantage which makes exclusion possible. To see why .... policies that, when deployed, have the effect of lowering social welfare'. In our model ... and to Media Saturn Holding, Europe's largest PC retailer

Toward a machine-certified correctness proof of Wand's ...
verified the MGU axioms using the Coq's finite map library. 1. ... tions, the library is powerful and expressive. .... inference tool for ML: Damas–milner within Coq.

A Proof-of-Concept Project for Utilizing U3 ... - Semantic Scholar
Dec 3, 2007 - honeypots and discovery techniques. We are seeing emergent papers in the areas of mobile device forensics including PDAs, mobile phones ...

The Ethics of Proof in Speech Events: A Survey of ...
Evidence—attributed data of fact or opinion—is not necessarily .... there may well be other potential ethical foundations for analyzing .... No statistical tests are.

pdf-0933\proof-of-heaven-a-neurosurgeons-near-death-experience ...
There was a problem loading more pages. Retrying... pdf-0933\proof-of-heaven-a-neurosurgeons-near-death-experience-and-journey-into-the-afterlife.pdf.

FREE [PDF] Proof of Heaven: A Neurosurgeon s ...
... the Afterlife book in english language, [download] Proof of Heaven: A Neurosurgeon s Journey into the Afterlife in format PDF, ... recovery is a medical miracle.