16
$\begingroup$

Consider the class of functions from $\mathbb R$ to $\mathbb R$, such that the function is positive everywhere and its $n$th derivative is positive everywhere for all $n$.

The only examples I can construct are the functions $ae^{bx}+c$ for $a,b,c>0$.

Are these functions the only examples?

If not, for which nonlinear functions $g$ does $e^{g(x)}$ have this property?

$\endgroup$
3
  • 7
    $\begingroup$ what happens for exp(exp(x))? $\endgroup$
    – Yemon Choi
    Jan 26, 2012 at 17:51
  • $\begingroup$ Very interesting question. Just out of curiosity: what is the signicance of function itself being positive?(hopefully people still care about this question after 4 years) $\endgroup$
    – BigM
    Oct 14, 2016 at 5:07
  • $\begingroup$ @BigM If you remove the condition that the function is positive, then its derivative is a function satisfying my stated condition, so you get only a slight variation of Bernstein's theorem. $\endgroup$
    – Will Sawin
    Oct 14, 2016 at 7:55

3 Answers 3

20
$\begingroup$

See completely monotonic in the literature. Function $f(x)$ is completely monotonic if and only if $f(-x)$ is the sort of function you're looking for.

S.N. Bernstein (1928). "Sur les fonctions absolument monotones". Acta Mathematica 52: 1–66. doi:10.1007/BF02592679.

http://mathworld.wolfram.com/CompletelyMonotonicFunction.html

$\endgroup$
3
  • 5
    $\begingroup$ You have to be careful, though, because in the literature completely monotonic functions are assumed to be defined only on the half-line, not on the whole line as in the question. $\endgroup$ Jan 26, 2012 at 18:49
  • 2
    $\begingroup$ Yet we can reduce to the notion of completely monotonic functions on the positive half-line because $f:\mathbb{R}\to\mathbb{R}$ has all derivatives non-negative iff $f(c-x):[0,\infty)\to\mathbb{R}$ is completely monotonic for all $c\in\mathbb{R}$; this e.g. allows to exploit Bernstein's representation in the OP's case. $\endgroup$ Jan 26, 2012 at 19:28
  • 1
    $\begingroup$ So we would say that for all $c$ there is a finite measure $\mu_c$ such that for $t\leq c$, $f(t)=\int_0^\infty e^{(t-c)x} d\mu$? We would then make sure that this implies that there is a measure $\mu$ such that for all $t$, $f(t)=\int_0^\infty e^{tx} d\mu$. $\endgroup$
    – Will Sawin
    Jan 26, 2012 at 19:45
14
$\begingroup$

Well, there are certainly more. If you look at the chain rule then you see that the $n$-th derivative is a linear combinations of products of derivatives of the two functions you compose with positive coefficients. Thus if you have two functions with your property, then their composition will again have only positive derivatives. So you can go on...

$\endgroup$
8
$\begingroup$

If $f(x)$ is a function with positive derivatives, then the function $f(-x)$ is completely monotonic. The completely monotonic functions are classified by Bochner's theorem; see Nimza's question On the generalisation of Bernstein's theorem on monotone functions.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.