Concave function

From HandWiki
Short description: Negative of a convex function


In mathematics, a concave function is the negative of a convex function. A concave function is also synonymously called concave downwards, concave down, convex upwards, convex cap, or upper convex.

Definition

A real-valued function [math]\displaystyle{ f }[/math] on an interval (or, more generally, a convex set in vector space) is said to be concave if, for any [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math] in the interval and for any [math]\displaystyle{ \alpha \in [0,1] }[/math],[1]

[math]\displaystyle{ f((1-\alpha )x+\alpha y)\geq (1-\alpha ) f(x)+\alpha f(y) }[/math]

A function is called strictly concave if

[math]\displaystyle{ f((1-\alpha )x + \alpha y) \gt (1-\alpha) f(x) + \alpha f(y)\, }[/math]

for any [math]\displaystyle{ \alpha \in (0,1) }[/math] and [math]\displaystyle{ x \neq y }[/math].

For a function [math]\displaystyle{ f: \mathbb{R} \to \mathbb{R} }[/math], this second definition merely states that for every [math]\displaystyle{ z }[/math] strictly between [math]\displaystyle{ x }[/math] and [math]\displaystyle{ y }[/math], the point [math]\displaystyle{ (z, f(z)) }[/math] on the graph of [math]\displaystyle{ f }[/math] is above the straight line joining the points [math]\displaystyle{ (x, f(x)) }[/math] and [math]\displaystyle{ (y, f(y)) }[/math].

ConcaveDef.png

A function [math]\displaystyle{ f }[/math] is quasiconcave if the upper contour sets of the function [math]\displaystyle{ S(a)=\{x: f(x)\geq a\} }[/math] are convex sets.[2]

Properties

Functions of a single variable

  1. A differentiable function f is (strictly) concave on an interval if and only if its derivative function f ′ is (strictly) monotonically decreasing on that interval, that is, a concave function has a non-increasing (decreasing) slope.[3][4]
  2. Points where concavity changes (between concave and convex) are inflection points.[5]
  3. If f is twice-differentiable, then f is concave if and only if f ′′ is non-positive (or, informally, if the "acceleration" is non-positive). If its second derivative is negative then it is strictly concave, but the converse is not true, as shown by f(x) = −x4.
  4. If f is concave and differentiable, then it is bounded above by its first-order Taylor approximation:[2] [math]\displaystyle{ f(y) \leq f(x) + f'(x)[y-x] }[/math]
  5. A Lebesgue measurable function on an interval C is concave if and only if it is midpoint concave, that is, for any x and y in C [math]\displaystyle{ f\left( \frac{x+y}2 \right) \ge \frac{f(x) + f(y)}2 }[/math]
  6. If a function f is concave, and f(0) ≥ 0, then f is subadditive on [math]\displaystyle{ [0,\infty) }[/math]. Proof:
    • Since f is concave and 1 ≥ t ≥ 0, letting y = 0 we have [math]\displaystyle{ f(tx) = f(tx+(1-t)\cdot 0) \ge t f(x)+(1-t)f(0) \ge t f(x) . }[/math]
    • For [math]\displaystyle{ a,b\in[0,\infty) }[/math]: [math]\displaystyle{ f(a) + f(b) = f \left((a+b) \frac{a}{a+b} \right) + f \left((a+b) \frac{b}{a+b} \right) \ge \frac{a}{a+b} f(a+b) + \frac{b}{a+b} f(a+b) = f(a+b) }[/math]

Functions of n variables

  1. A function f is concave over a convex set if and only if the function −f is a convex function over the set.
  2. The sum of two concave functions is itself concave and so is the pointwise minimum of two concave functions, i.e. the set of concave functions on a given domain form a semifield.
  3. Near a local maximum in the interior of the domain of a function, the function must be concave; as a partial converse, if the derivative of a strictly concave function is zero at some point, then that point is a local maximum.
  4. Any local maximum of a concave function is also a global maximum. A strictly concave function will have at most one global maximum.

Examples

  • The functions [math]\displaystyle{ f(x)=-x^2 }[/math] and [math]\displaystyle{ g(x)=\sqrt{x} }[/math] are concave on their domains, as their second derivatives [math]\displaystyle{ f''(x) = -2 }[/math] and [math]\displaystyle{ g''(x) =-\frac{1}{4 x^{3/2}} }[/math] are always negative.
  • The logarithm function [math]\displaystyle{ f(x) = \log{x} }[/math] is concave on its domain [math]\displaystyle{ (0,\infty) }[/math], as its derivative [math]\displaystyle{ \frac{1}{x} }[/math] is a strictly decreasing function.
  • Any affine function [math]\displaystyle{ f(x)=ax+b }[/math] is both concave and convex, but neither strictly-concave nor strictly-convex.
  • The sine function is concave on the interval [math]\displaystyle{ [0, \pi] }[/math].
  • The function [math]\displaystyle{ f(B) = \log |B| }[/math], where [math]\displaystyle{ |B| }[/math] is the determinant of a nonnegative-definite matrix B, is concave.[6]

Applications

See also

References

  1. Lenhart, S.; Workman, J. T. (2007). Optimal Control Applied to Biological Models. Mathematical and Computational Biology Series. Chapman & Hall/ CRC. ISBN 978-1-58488-640-2. 
  2. 2.0 2.1 Varian, Hal R. (1992). Microeconomic analysis (3rd ed.). New York: Norton. pp. 489. ISBN 0-393-95735-7. OCLC 24847759. https://www.worldcat.org/oclc/24847759. 
  3. Rudin, Walter (1976). Analysis. pp. 101. 
  4. Gradshteyn, I. S.; Ryzhik, I. M.; Hays, D. F. (1976-07-01). "Table of Integrals, Series, and Products". Journal of Lubrication Technology 98 (3): 479. doi:10.1115/1.3452897. ISSN 0022-2305. 
  5. Hass, Joel (13 March 2017). Thomas' calculus. Heil, Christopher, 1960-, Weir, Maurice D.,, Thomas, George B., Jr. (George Brinton), 1914-2006. (Fourteenth ed.). [United States]. pp. 203. ISBN 978-0-13-443898-6. OCLC 965446428. https://www.worldcat.org/oclc/965446428. 
  6. Cover, Thomas M.; Thomas, J. A. (1988). "Determinant inequalities via information theory". SIAM Journal on Matrix Analysis and Applications 9 (3): 384–392. doi:10.1137/0609033. 
  7. Pemberton, Malcolm; Rau, Nicholas (2015). Mathematics for Economists: An Introductory Textbook. Oxford University Press. pp. 363–364. ISBN 978-1-78499-148-7. https://books.google.com/books?id=9j5_DQAAQBAJ&pg=PA363. 

Further References