Concave function

In mathematics, a concave function is one for which the value at any convex combination of elements in the domain is greater than or equal to the convex combination of the values at the endpoints. Equivalently, a concave function is any function for which the hypograph is convex. The class of concave functions is in a sense the opposite of the class of a convex functions. A concave function is also synonymously called concave downwards, concave down, convex upwards, convex cap, or upper convex.

Definition

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

${\displaystyle f((1-\alpha )x+\alpha y)\geq (1-\alpha )f(x)+\alpha f(y)}$

A function is called strictly concave if

${\displaystyle f((1-\alpha )x+\alpha y)>(1-\alpha )f(x)+\alpha f(y)\,}$

for any ${\displaystyle \alpha \in (0,1)}$ and ${\displaystyle x\neq y}$.

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

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

Properties

Functions of a single variable

1. A
   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-
   negative
   then f is strictly concave, but the converse is not true, as shown by f(x) = −x⁴.
4. If f is concave and differentiable, then it is bounded above by its first-order
   Taylor approximation:^[2]
   $${\displaystyle f(y)\leq f(x)+f'(x)[y-x]}$$

   
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
   $${\displaystyle f\left({\frac {x+y}{2}}\right)\geq {\frac {f(x)+f(y)}{2}}}$$

   
6. If a function f is concave, and f(0) ≥ 0, then f is subadditive on ${\displaystyle [0,\infty )}$. Proof:
   • Since f is concave and 1 ≥ t ≥ 0, letting y = 0 we have
     $${\displaystyle f(tx)=f(tx+(1-t)\cdot 0)\geq tf(x)+(1-t)f(0)\geq tf(x).}$$

     
   • For ${\displaystyle a,b\in [0,\infty )}$:
     $${\displaystyle f(a)+f(b)=f\left((a+b){\frac {a}{a+b}}\right)+f\left((a+b){\frac {b}{a+b}}\right)\geq {\frac {a}{a+b}}f(a+b)+{\frac {b}{a+b}}f(a+b)=f(a+b)}$$

     

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 strict
   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
   global maximum
   . A strictly concave function will have at most one global maximum.

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

• Rays bending in the computation of radiowave attenuation in the atmosphere involve concave functions.
• In
  choice under uncertainty, cardinal utility functions of risk averse
  decision makers are concave.
• In
  microeconomic theory, production functions are usually assumed to be concave over some or all of their domains, resulting in diminishing returns to input factors.^[7]

• Concave polygon
• Jensen's inequality
• Logarithmically concave function
• Quasiconcave function
• Concavification

References