I've been recently contemplating what can be said about functions $f:\Bbb R \to \Bbb R$ with positive third-order derivative and their properties:
It puzzles me why monotonicity and convexity, i.e. the properties associate with the first- and second-order derivatives of a function being positive, are frequently used, whilst their higher-order alternatives are so rarely referred to.
I found that the third-order derivative at a point is called jerk in physics and its meaning is discussed here. I found also a discussion on the topic why are third-order concepts so rare. However, what I'm interested in are the uses of the fact that third-order derivative of $f$ is positive in analysis.
For example, whilst strict convexity of $f$ implies that every critical point of $f$ is the unique global minimum of $f$ and that $f$ has at most two roots, having strictly positive third-order derivative would guarantee that every point with $f''(x)=0$ is the unique inflection point of $f$, that the function has at most one local minimum and one local maximum, and no more than 3 roots.
One could argue that it would be informative enough to know that there is $x_2\in \Bbb R$ such that $f''(x_2)=0$ and that $f$ is concave on $(-\infty,x_2]$ and convex on $[x_2,\infty)$. However, analogously one could argue that convexity is not needed for analyzing function's minima because it is enough to know that there is $x_1\in \Bbb R$ such that $f'(x_1)=0$ and that $f$ is decreasing on $(-\infty,x_1]$ and increasing on $[x_1,\infty)$.
The concept of $n$-th order convexity (having positive $n$-th order derivative) is essential for the analysis of the number of roots of one-variable functions: A function with positive $n$-th derivative has at most $n$ roots – an inequality version of the Fundamental theorem of Algebra.
Consider the question on what is the maximum number of strict local minima that a degree $k$ polynomial $p(x,y)$ in two variables can have?
- In case of quadratic polynomial one can readily answer: The polynomial has a strict local minima only if it is strictly convex, and then the minimum must be unique.
- In case of cubic polynomial, there is also at most one strict local minimum because if there were two, say at points $a$ and $b$, then the third degree polynomial $q(t)=p\big((1-t)a+tb\big)$ would need to have two strict local minima – impossible. [1]
- In case of quartic polynomial, none of the above arguments apply and the only ready estimate follows from applying Bézout's theorem to the partial derivatives of $p$, and so we can be sure that $p$ has is no more than $3\times 3$ isolated critical points. [2]
I expected that the above analysis would be trivial for the case of quadratic polynomials thanks to the concept of convexity. However, the analysis is equally trivial in case of cubic polynomial, the only difference is that there is no name for the "third-order convexity" that gives the result. In fact, the analysis becomes difficult as late as in the case of quartic polynomials. This suggests that third-order convexity has practical applications, only the higher-order alternatives would be less practical for the analysis of functions in two or more variables.
Does importance of $n$-th derivative drop?
Let me compare the count of search results of terms
- a)
convex
- b)
monotone
ormonotonic
(sum up the count)
\begin{array} {|r|r|r|}\hline & \text{Google} & \text{site:SME} & \text{site:mathoverflow} & \text{G Scholar} \\ \hline \text{a)} & 148M & 79K & 229 & 4.3M \\ \hline \text{b)} & 98M & 77K & 54 & 2.5M \\ \hline \end{array}
Why is the second-order property (convexity) more prevalent than the first-oder one (monotonicity) and yet the third-order one is almost never heard of?
Questions:
- Is there a standardized name for functions with $f^{(3)}>0$?
- Is the main reason that $f^{(3)}$ is so rarely analyzed the fact that for most problems it is enough to determine on which regions $f$ is convex/concave and the effort needed to analyze $f^{(3)}$ would typically not be justified?
- Is there a known set property of $\mathop{epi}(f)$ for $f$ with $f^{(3)}>0$, akin to strict convexity of $\mathop{epi}(f)$ for $f$ with $f^{(2)}>0$?
Related Posts:
Let me share some observations and conjectures that I came up with when contemplating on this topic:
- Functions not necessarily differentiable that behave like those with $f^{(3)}\geq 0$: Geometric characterization of functions with positive third derivative.
- "Quasi" generalization of the condition that $f^{(3)}>0$: Is there a third-order analogy of quasi-convexity?
- An attempt to find the geometric property whose special case $\mathop{epi}(f)$ of $f$ with $f^{(3)}\geq 0$ satisfies: Second-order star convex set: A set whose intersection with any conics passing through two given points consists of at most two connected curves.