ConcavityConvexity - PowerPoint PPT Presentation

1 / 27
About This Presentation
Title:

ConcavityConvexity

Description:

The sign definiteness of d2z (or of the Hessian matrix H), the leading principal ... Sign Definiteness of d2z ... of everywhere negative definiteness of d2z is ... – PowerPoint PPT presentation

Number of Views:220
Avg rating:3.0/5.0
Slides: 28
Provided by: tirsob
Category:

less

Transcript and Presenter's Notes

Title: ConcavityConvexity


1
Concavity-Convexity
  • From Chiang-Wainwright
  • Chapter 11

2
Second-Order Conditions in Relation to Concavity
and Convexity
  • Second-order conditions can be stated in terms
    of
  • the principal minors of the Hessian determinant
    or
  • the characteristic roots of the Hessian matrix
  • Concerned with the question of whether a
    stationary point is the peak of a hill or the
    bottom of a valley.
  • In the single-choice-variable case, with z
    f(x), the hill (valley) configuration is manifest
    in an inverse (U-shaped) curve.
  • For the two-variable function z f(x,y), the
    hill (valley) configuration takes the form of a
    dome-shaped (bowl-shaped) surface
  • When three or more choice variables are present,
    the hills and valleys are no longer graphable,
    but we may think of "hills" and "valleys" on
    hypersurfaces.

3
Maximum
Minimum
Saddle Point
Inflection Point
4
Strict vs. non strict convexity / concavity
  • A function that gives rise to a hill (valley)
    over the entire domain is said to be a concave
    (convex) function.
  • Domain is entire Rn, where n is the number of
    choice variables. Therefore, concavity and
    convexity are global concepts.
  • We need to distinguish between concavity and
    convexity on the one hand, and strict concavity
    and strict convexity, on the other hand.
  • Non-strict may contain flat portions (line on a
    curve, plane on a surface.
  • Strict no such line or plane segments
  • A strictly concave (strictly convex) function
    must be concave (convex), but the converse is not
    true.

5
Absolute vs. Relative Extremum
  • An extremum of a concave function must be a
    peaka maximum (as against minimum). Moreover,
    that maximum must be an absolute maximum (as
    against relative maximum), since the hill covers
    the entire domain.
  • However, that absolute maximum may not be unique,
    because multiple maxima may occur if the hill
    contains a flat horizontal top.
  • For strict concavity - the peak consists of a
    single point and the absolute maximum be unique.
    A unique absolute maximum is also referred to as
    a strong absolute maximum.
  • The extremum of a strictly convex function must
    be a unique absolute minimum.

6
Absolute vs. Relative Extremum
  • The properties of concavity and convexity are
    taken to be global in scope.
  • If they are valid only for a portion of the curve
    or surface (only on a subset S of the domain),
    then the associated maximum and minimum are
    relative (or local) to that subset of the domain,
    since we cannot be certain of the situation
    outside of subset S.
  • The sign definiteness of d2z (or of the Hessian
    matrix H), the leading principal minors of the
    Hessian determinant are evaluated only at the
    stationary point.
  • If we limit the verification of the hill or
    valley configuration to a small neighborhood of
    the stationary point, we could only refer to
    relative maxima and minima.

7
Sign Definiteness of d2z
  • if d2z is everywhere negative (positive)
    semidefinite, the function z f(x1, x2,..., xn)
    must be concave (convex), and if d2z is
    everywhere negative (positive) definite, the
    function/must be strictly concave (strictly
    convex).
  • For a twice continuously differentiable function
    z f(x1, x2,..., xn), we concentrate exclusively
    on concavity and maximum

8
(No Transcript)
9
Absolute and Relative Maximum(refer to diagram)
  • The first-order condition is necessary for z to
    be a relative maximum, and the relative-maximum
    status of z is, in turn, necessary for z to be
    an absolute maximum, and so on.
  • If z is a unique absolute maximum it is
    sufficient for z to be a relative maximum.
  • The three ovals at the top have to do with the
    first- and second-order conditions at the
    stationary point z. Hence they relate only to a
    relative maximum.
  • The diamonds and triangles in the lower part, on
    the other hand, describe global properties that
    enable us to draw conclusions about an absolute
    maximum.
  • The stronger property of everywhere negative
    definiteness of d2z is sufficient, but not
    necessary, for the strict concavity of f because
    strict concavity of f is compatible with a zero
    value of d2z at a stationary point.

10
Checking Concavity and ConvexityGeometric
Definition
  • The function z f(x1, x2) is concave iff, for
    any pair of distinct points M and N on its
    grapha surfaceline segment MN lies either on or
    below the surface. The function is strictly
    concave iff line segment MN lies entirely below
    the surface, except at M and N.
  • The function z f(x1, x2) is convex iff, for any
    pair of distinct points M and N on its grapha
    surfaceline segment MN lies either on or above
    the surface. The function is strictly convex iff
    line segment MN lies entirely above the surface,
    except at M and N

11
  • The function z f(x1, x2) is concave iff, for
    any pair of distinct points M and N on its graph
    -- a surface -- line segment MN lies either on or
    below the surface. The function is strictly
    concave iff line segment MN lies entirely below
    the surface, except at M and N.

12
Checking Concavity and ConvexityAlgebraic
Definition
  • Let u (u1,u2) and v (v1,v2) be any two
    distinct ordered pairs (2-vectors) in the domain
    of z f(x1,x2). Then the z values (height of
    surface) corresponding to these will be f(u)
    f(u1,u2) and f(v) f(v1,v2), respectively.
  • Each point on the said line segment is a
    "weighted average" of u and v. Thus we can denote
    this line segment by ?u(1-?)v where ? has a
    range of values 0 lt ? lt 1.
  • The line segment MN represents the set of all
    weighted averages of f(u) and f(v) and can be
    expressed by ? f(u)(1-?)f(v), with ? varying
    from 0 to 1.

13
Algebraic definition
  • Along the arc MN, the values of the function f
    evaluated at various points on line segment uv,
    it can be written simply as f?u (1- ?)v.
  • Algebraic definition

14
Algebraic definition
  • Note that, in order to exclude the two end points
    M and N from the height comparison, we restrict ?
    to the open interval (0, 1) only.
  • For strict concavity and convexity change the
    weak inequalities and to the strict
    inequalities lt and gt, respectively.
  • The algebraic definition can be applied to a
    function of any number of variables. The vectors
    u and v can be interpreted as n-vectors instead
    of 2-vectors.

15
Theorems on Concavity and Convexity
  • Theorem I (linear function). If f(x) is a linear
    function, then it is a concave function as well
    as a convex function, but not strictly so.
  • Theorem II (negative of a function). If f(x) is
    a concave function, then -f(x) is a convex
    function, and vice versa. Similarly, if f(x) is a
    strictly concave function, then -f(x) is a
    strictly convex function, and vice versa.
  • Theorem III (sum of functions). If f(x) and g(x)
    are both concave (convex) functions, then f(x)
    g(x) is also a concave (convex) function. If f(x)
    and g(x) are both concave (convex) and, in
    addition, either one or both of them are strictly
    concave (strictly convex), then f(x) g(x) is
    strictly concave (strictly convex).

16
Example
17
Differentiable Functions
  • If the function is differentiable, however,
    concavity and convexity can also be defined in
    terms of its first derivatives.
  • In the one-variable case, the definition is

18
Comments
  • Concavity and convexity will be strict, if the
    weak inequalities are replaced by the strict
    inequalities
  • lt and gt, respectively.
  • Interpreted geometrically, this definition
    depicts a concave (convex) curve as one that lies
    on or below (above) all its tangent lines.
  • To qualify as a strictly concave (strictly
    convex) curve, on the other hand, the curve must
    lie strictly below (above) all the tangent lines,
    except at the points of tangency.

19
Let A be any given point on the curve with height
f(u) and with tangent line AB. Let x increase
from the value u. Then a strictly concave curve
(as drawn) must, in order to form a hill, curl
progressively away from the tangent line AB, so
that point C, with height f(v), has to lie below
point B. In this case, the slope of line segment
AC is less than that of tangent AB.
20
Differentiable Functions
  • For two or more variables, the definition
    becomes
  • This definition requires the graph of a concave
    (convex) function f(x) to lie on or below (above)
    all its tangent planes or hyperplanes.
  • For strict concavity and convexity, the weak
    inequalities should be changed to strict
    inequalities

21
Twice Differentiable Functions
22
Examples
23
Convex functions vs. convex sets
  • Convex sets and convex functions are distinct
    concepts
  • important not to confuse them.
  • Geometric characterization of a convex set.
  • Let S be a set of points in a 2-space or 3-space.
    If, for any two points in set S, the line segment
    connecting these two points lies entirely in S,
    then S is said to be a convex set.
  • a straight line satisfies this definition and
    constitutes a convex set.
  • a single point is also considered as a convex set
    (by convention).

24
b
25
Convex functions vs. convex sets
  • Convex functions and convex sets are not
    unrelated.
  • Convex function needs a convex set for the
    domain.
  • (11.20) requires that, for any two points u and v
    in the domain, all the convex combinations of u
    and vspecifically, ?u (1 - ? )v, 0 lt ? lt 1 --
    must also be in the domain, which is, of course,
    just another way of saying that the domain must
    be a convex set.
  • To satisfy this requirement, we adopted earlier
    the rather strong assumption that the domain
    consists of the entire n-space (where n is the
    number of choice variables), which is indeed a
    convex set.
  • We can weaken that assumption We only need to
    assume that the domain is a convex subset of Rn,
    rather than Rn itself.

26
The set S consists of all the x values
associated with the segment of f(x) lying on or
below the broken horizontal line. Domain is a
convex set. Even a concave function g(x) can
generate an associated convex set, given some
constant k. Valid if we interpret x as a vector
(for more than two variables).
27
(No Transcript)
Write a Comment
User Comments (0)
About PowerShow.com