Logarithmically convex function

In mathematics, a function $f$ is logarithmically convex or superconvex if $\log \circ f$ , the composition of the logarithm with $f$ , is itself a convex function.

Definition

Let $X$ be a convex subset of a real vector space, and let $f : X \to R$ be a function taking non-negative values. Then $f$ is:

Logarithmically convex if $\log \circ f$ is convex, and
Strictly logarithmically convex if $\log \circ f$ is strictly convex.

Here we interpret $\log 0$ as $- \infty$ .

Explicitly, $f$ is logarithmically convex if and only if, for all $x 1, x 2 \in X$ and all $t \in [0, 1]$ , the two following equivalent conditions hold:

\begin{matrix} \log f (t x_{1} + (1 - t) x_{2}) & \leq t \log f (x_{1}) + (1 - t) \log f (x_{2}), \\ f (t x_{1} + (1 - t) x_{2}) & \leq f (x_{1})^{t} f (x_{2})^{1 - t} . \end{matrix}

Similarly, $f$ is strictly logarithmically convex if and only if, in the above two expressions, strict inequality holds for all $t \in (0, 1)$ .

The above definition permits $f$ to be zero, but if $f$ is logarithmically convex and vanishes anywhere in $X$ , then it vanishes everywhere in the interior of $X$ .

Equivalent conditions

If $f$ is a differentiable function defined on an interval $I \subseteq R$ , then $f$ is logarithmically convex if and only if the following condition holds for all $x$ and $y$ in $I$ :

\log f (x) \geq \log f (y) + \frac{f^{'} (y)}{f (y)} (x - y) .

This is equivalent to the condition that, whenever $x$ and $y$ are in $I$ and $x > y$ ,

{(\frac{f (x)}{f (y)})}^{\frac{1}{x - y}} \geq \exp (\frac{f^{'} (y)}{f (y)}) .

Moreover, $f$ is strictly logarithmically convex if and only if these inequalities are always strict.

If $f$ is twice differentiable, then it is logarithmically convex if and only if, for all $x$ in $I$ ,

f^{″} (x) f (x) \geq f^{'} (x)^{2} .

If the inequality is always strict, then $f$ is strictly logarithmically convex. However, the converse is false: It is possible that $f$ is strictly logarithmically convex and that, for some $x$ , we have $f^{″} (x) f (x) = f^{'} (x)^{2}$ . For example, if $f (x) = \exp (x^{4})$ , then $f$ is strictly logarithmically convex, but $f^{″} (0) f (0) = 0 = f^{'} (0)^{2}$ .

Furthermore, $f : I \to (0, \infty)$ is logarithmically convex if and only if $e^{α x} f (x)$ is convex for all $α \in ℝ$ .

Sufficient conditions

If $f_{1}, \dots, f_{n}$ are logarithmically convex, and if $w_{1}, \dots, w_{n}$ are non-negative real numbers, then $f_{1}^{w_{1}} \dots f_{n}^{w_{n}}$ is logarithmically convex.

If ${f_{i}}_{i \in I}$ is any family of logarithmically convex functions, then $g = sup_{i \in I} f_{i}$ is logarithmically convex.

If $f : X \to I \subseteq 𝐑$ is convex and $g : I \to 𝐑_{\geq 0}$ is logarithmically convex and non-decreasing, then $g \circ f$ is logarithmically convex.

Properties

A logarithmically convex function f is a convex function since it is the composite of the increasing convex function $\exp$ and the function $\log \circ f$ , which is by definition convex. However, being logarithmically convex is a strictly stronger property than being convex. For example, the squaring function $f (x) = x^{2}$ is convex, but its logarithm $\log f (x) = 2 \log | x |$ is not. Therefore the squaring function is not logarithmically convex.

Examples

$f (x) = \exp (| x |^{p})$ is logarithmically convex when $p \geq 1$ and strictly logarithmically convex when $p > 1$ .
$f (x) = \frac{1}{x^{p}}$ is strictly logarithmically convex on $(0, \infty)$ for all $p > 0.$
Euler's gamma function is strictly logarithmically convex when restricted to the positive real numbers. In fact, by the Bohr–Mollerup theorem, this property can be used to characterize Euler's gamma function among the possible extensions of the factorial function to real arguments.

Notes

↑ Kingman, J.F.C. 1961. A convexity property of positive matrices. Quart. J. Math. Oxford (2) 12,283-284.
↑ Montel 1928.
↑ NiculescuPersson 2006, p. 70.

References

John B. Conway. Functions of One Complex Variable I, second edition. Springer-Verlag, 1995. ISBN 0-387-90328-3.
"Convexity, logarithmic", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Niculescu, Constantin; Persson, Lars-Erik (2006), Convex Functions and their Applications - A Contemporary Approach (1st ed.), Springer, doi:10.1007/0-387-31077-0, ISBN 978-0-387-24300-9, ISSN 1613-5237.

Montel, Paul (1928), "Sur les fonctions convexes et les fonctions sousharmoniques", Journal de Mathématiques Pures et Appliquées (in French), 7: 29–60.

This article incorporates material from logarithmically convex function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

[1] Kingman, J.F.C. 1961. A convexity property of positive matrices. Quart. J. Math. Oxford (2) 12,283-284.

[2] Montel 1928.

[3] NiculescuPersson 2006, p. 70.

v t e Convex analysis and variational analysis
Basic concepts	Convex combination Convex function Convex set
Topics (list)	Choquet theory Convex geometry Convex metric space Convex optimization Duality Lagrange multiplier Legendre transformation Locally convex topological vector space Simplex
Maps	Convex conjugate Concave (Closed K- Logarithmically Proper Pseudo- Quasi-) Convex function Invex function Legendre transformation Semi-continuity Subderivative
Main results (list)	Carathéodory's theorem Ekeland's variational principle Fenchel–Moreau theorem Fenchel-Young inequality Jensen's inequality Hermite–Hadamard inequality Krein–Milman theorem Mazur's lemma Shapley–Folkman lemma Robinson–Ursescu Simons Ursescu
Sets	Convex hull (Orthogonally, Pseudo-) Convex set Effective domain Epigraph Hypograph John ellipsoid Lens Radial set/Algebraic interior Zonotope
Series	Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx))
Duality	Dual system Duality gap Strong duality Weak duality
Applications and related	Convexity in economics