Bernstein's theorem on monotone functions

Template:Short description In real analysis, a branch of mathematics, Bernstein's theorem, named after Sergei Bernstein, states that every real-valued function on the half-line Template:Closed-open that is completely monotone is a mixture of exponential functions or in more abstract language, that it is the Laplace transform of a positive Borel measure on Template:Closed-open. In one important special case the mixture is a weighted average, or expected value. It is also known as the Bernstein–Widder theorem or Hausdorff–Bernstein–Widder theorem.

History

The result was first proved by Bernstein in 1928, and similar results were discussed by David Widder in 1931 who refers to Bernstein but states that "The author had completed the proof of this theorem a few months after the publication of Bernstein's paper without being aware of its existence". The most cited reference is the 1941 book by Widder called The Laplace Transform. Later a simpler proof was given by Boris Korenblum. At around the same time Gustave Choquet studied the much more general concept of monotone functions on semigroups and gave a more abstract proof based on the Krein–Milman theorem. Felix Hausdorff had earlier characterised completely monotone sequences. These are the sequences occurring in the Hausdorff moment problem.

Statement of the theorem

Complete monotonicity of a function Template:Math means that Template:Math is continuous on Template:Closed-open, infinitely differentiable on Template:Open-open, and satisfies$$(-1{)}^n\frac{d^n}{d{t}^n}f(t)\ge 0$$for all nonnegative integers Template:Mvar and for all Template:Math.

The "weighted average" statement can be characterized thus: there is a non-negative finite Borel measure on Template:Closed-open with cumulative distribution function Template:Math such that$$f(t)={\int }_0^{\mathrm{\infty }}{e}^{-tx}dg(x),$$the integral being a Riemann–Stieltjes integral.

Bernstein functions

Nonnegative functions whose derivative is completely monotone are called Bernstein functions. Every Bernstein function has the Lévy–Khintchine representation:$$f(t)=a+bt+{\int }_0^{\mathrm{\infty }}(1-e^{-tx})\mu (dx),$$where $a,b\ge 0$ and $\mu$ is a measure on the positive real half-line such that$${\int }_0^{\mathrm{\infty }}(1\wedge x)\mu (dx)<\mathrm{\infty }.$$

Schoenberg–Williamson theorem

The Schoenberg–Williamson theorem (also called Schoenberg's theorem on multiply monotone functions, Williamson's representation theorem) is the finite-order version of Bernstein's theorem. A k-monotone (or k-times monotone) function satisfies$$(-1{)}^n\frac{d^n}{d{t}^n}f(t)\ge 0\text{for}0\le n\le k$$The Schoenberg–Williamson theorem says that f is k-monotone on Template:Open-open if and only if$$f(t)={\int }_0^{\mathrm{\infty }}(x-t{)}_{+}^{k-1}d\mu (x)$$for some positive measure $\mu$ on Template:Open-open.

The proof was published by Williamson in 1956 but in his paper he mentions that "This formula was discovered by Schoenberg in 1940 but has remained unpublished".

Using the Taylor series of $f$ with integral remainder, a more precise formula can be given$$f(t)={\int }_0^{\mathrm{\infty }}{(1-\frac{tx}{n})}_{+}^{n-1}{f}_n(x)dx$$with$$f_n(x)=\frac{(-1{)}^n}{n!}{\left(\frac{n}{x}\right)}^{n+1}{f}^{(n)}\left(\frac{n}{x}\right)I(x>0)$$where $f^{(n)}(t)=\frac{d^n}{d{t}^n}f(t)$ and $I(x>0)$ is the indicator function of ${ℝ}_{+}^{\ast }$.

Note then that if $f$ is completely monotone then it is k-monotone for all $k\in \mathbb{N}$ and the Post–Widder inversion formula states that $f_n$converge in distribution to $\mu$ and ${(1-\frac{tx}{n})}_{+}^{n-1}$ converges to $e^{-tx}$as $n$ goes to infinity, and we recover Bernstein's theorem.

See also

• Absolutely and completely monotonic functions and sequences
• Choquet's theorem
• Krein–Milman theorem