1 Concave and Convex Functions
1 Concave and Convex Functions
1 Concave and Convex Functions
1.
(x) = 1 1 + 2 2 + . . .
1.3 Properties
If and are concave then
is convex (Exercise 3.124)
1/ is convex if > 0 (Exercise 3.135)
1/ is concave if < 0 (Exercise 3.135)
1 is convex (Example 3.45)
+ is concave (Exercise 3.131)
is concave for every 0 (Exercise 3.131)
is concave if is increasing (Exercise 3.133)
log concave (Example 3.51)
is continuous on the interior of its domain (Corollary 3.8.1)
is dierentiable almost everywhere (Remark 4.14)
1.4 Identication
Plotting the function (e.g. Mathematica)
Apply properties to combinations of known functions (Examples 3.73
and 3.74)
Hessian matrix (Proposition 4.1)
{
}
{
}
convex
nonnegative
at x (x) is
denite
concave
nonpositive
{
}
{
}
positive
convex
denite.
is strictly locally
at x if (x) is
negative
concave
is locally
2 Quasiconcavity
2.1 Denition
is quasiconcave if
(x1 +(1)x2 ) min{ (x1 ), (x2 )} for every x1 , x2 and 0 1
is quasiconvex if
(x1 +(1)x2 ) max{ (x1 ), (x2 )} for every x1 , x2 and 0 1
Equivalently, is quasiconcave if and only if every upper contour set
is convex, that is () = { x : (x) } is convex for every
. Similarly, is quasiconvex if and only if every lower contour
set is convex, that is () = { x : (x) } is convex for every
.
2.2 Examples
Every concave function is quasiconcave.
3 is quasiconcave and quasiconvex.
Cobb-Douglas (x) = 11 22 . . . is quasiconcave
CES (1 1 + 2 2 + . . . )
1/
is quasiconcave if 1
3 Inner product
Given two vectors a, x , the angle between them is given by
a
cos =
a x
a x
where
a x = 1 1 + 2 2 + + =
and x =
a x
=1
The orthogonal hyperplane a x = 0 divides the space into two halfspaces, containing respectively those vectors that make acute and obtuse
angles with a.
a
a x > 0
a x < 0
a x = 0
,
,...,
)
1 2
4
points in the direction of steepest ascent. For any x, the inner product
(x )( )
(x ) (x x ) =
=1
(x ) (x x ) > 0
(x ) (x x ) = 0
4 Pseudoconcavity
4.1 Denition
is quasiconcave if and only if
(x) (x ) = (x ) (x x ) 0
is pseudoconcave if
(x) > (x ) = (x ) (x x ) > 0
x x
+ (x) x ,
0
(x0 ) x = =1 [x0 ] = =1 [x ]
x (x0 )x =
2 [x0 ] =
(x) 0 as x 0
(
)
+ 2 (x) x2
2 [x0 ]
See Section 4.4, especially Theorem 4.3, Corollary 4.3.1. and Example 4.33.
Note: [x0 ] denotes the derivative of at x0 (a linear function), [x0 ](x)
denotes its value at x. [x0 ] denotes the partial derivative of with
respect to (= / ) and 2 [x0 ] denotes the second partial derivative
evaluated at x0 . (See Remark 4.3, p.8 and Remark 4.7. p.15).
6 Quadratic forms
Given a square, symmetrix matrix , the function
(
)( )
11 12
1
(x) = x x = (1 , 2 )
= 11 21 + 212 1 2 + 22 22
12 22
2
12 2
11 22 212 2
2 ) + (
)2
11
11
nonnegative
nonpositive
}
11 , 22 0
denite if
and 11 22 212
11 , 22 0
2
22 0, and 11 22 12
if and only if 0 1 1
if and only if 0 2 1
= (1 2 (1 2 1 2 + 1 1 2 ))121 2 222 2
= 1 2 (1 1 2 )121 2 222 2
0 provided 1 + 2 1
7
7 Homework
1. Show that the cost function (w, ) of a competitive rm (Example
2.31) is concave in input prices w.
2. Show that the indirect utility function is quasiconvex in p. [Hint:
Show that the lower contour sets () = { p : (p, ) } are
convex for every . ]
3. Is the CES function (x) = (1 1 + 2 2 + . . . )1/ pseudoconcave?
4. Show
(a) Every dierentiable concave function is pseudoconcave.
(b) Every pseudoconcave function is quasiconcave
(c) Every regular quasiconcave function is pseudoconcave.
= w1 x
But since x1 and x2 minimize cost at w1 and w2 respectively
w1x1 = (w1, )
w1 x
(1 )w2 x2 = (1 )(w2, )
(1 )w2 x
so that
+(1)w2x
(w1 , )+(1)w2, )
) = (w1+(1)w2 , ) = w1 x
(w,
This establishes that the cost function is concave in w.
2 For given and , choose any p1 and p2 in (). For any 0 1, let
= p1 + (1 )p2 . The key step is to show that any commodity bundle
p
is also aordable at either p1 or p2 . Assume that
x which is aordable at p
, that is x is in the budget set
x is aordable at p
x }
x (
p, ) = { x : p
To show that x is aordable at either p1 or p2 , that is
x (p1 , ) or x (p2 , )
assume to the contrary that
/ (p2 , )
x
/ (p1 , ) and x
This implies that
so that
(2)
(
x)
x2
x
x1
(
x) (x x ) = 0
(1 )x2
More precisely, since x1 = x
) = (1 )(
(x1 x
x x2 )
and therefore
=
x1 x
1
)
(x2 x
(x0 )
x
x
x0
(x0 )
(x0 ) (x x0 ) = 0
To make this precise, for every + , let
x = x (x0 )
Then
(
)
(x0 ) (x x0 ) = (x0 ) x (x0 ) x0
= (x0 ) (x x0 ) (x0 ) (x0 )
(x0 )2 < 0
for every + since is regular. Since (x) > (x0 ) and is
continuous, there exists > 0 such that
(x ) > (x0 ) and (x0 ) (x x0 ) < 0
contradicting the quasiconcavity of .