0
$\begingroup$

Assume that $f$ is a differentiable $\mathbb{R}$-valued function defined on an open subset of $\mathbb{R}^n$.

Question: If $f$ has a unique global minimum, which is also a unique local minimum, does that imply $f$ is (strictly) convex?

What are the minimal necessary and sufficient (continuous) differentiability conditions for this to be true? Is being once continuously differentiable necessary and sufficient?

Background: Existence of a unique local minimum does not imply existence of any global minimum, consider e.g. $f(x,y) = x^2 + y^2(1+x)^3$. That function is not convex, and I was wondering whether or not that was a coincidence.

I know that necessary regularity conditions for convex functions are more complicated if one considers boundary points, e.g. a convex function only has to be continuous or locally Lipschitz on the interior of its domain. Since the counterexamples involving boundary points confuse me, that is why I decided to limit my question to convex functions defined on an open subset.

If we restrict to functions defined on open sets, it is clear that we need at least continuity, since any real-valued convex function is continuous on the interior of its domain of definition.

It is also clear that one can have functions with a unique global minimum which are not convex, as long as that global minimum is not also a unique local minimum. Consider as an example $$f:x \mapsto x^2 \left(|\cos(x) + 1 + \epsilon|\right) \quad \text{for any }\epsilon > 0 \,.$$

It was less clear to me whether continuity was sufficient. However, a counterexample is given (implicitly) in this answer; $f: x \mapsto \sqrt{|x|}$ has a unique global minimum at $x=0$, a unique local minimum at $x=0$, is continuous, but it is not convex.

That same answer argues that (twice) continuous differentiability would be enough to imply $f$ is locally convex at that point. To be honest I am not sure if, even when we are assuming the point to be both a unique local and global minimum, this implies that the function must be globally convex, even in the univariate case. Even assuming continuous differentiability in the univariate case, all that is clear to me is that the first derivative must be positive in a neighborhood of the point and afterwards remain non-negative -- presumably the second derivative can do whatever it wants as long as it doesn't conflict with the above requirement on the first derivative, in particular it would seem that the second derivative could be negative on some intervals and thus the function not convex there. My knowledge and intuition both fail me entirely for the multivariate case.

This isn't a duplicate, because the more common question assumes that $f$ is convex and wants to conclude the assumptions I've made -- what I am interested in is the converse. This also isn't a homework problem, I am just curious and trying to develop some intuition for how regular an objective function needs to be in order for being strictly convex to "be the same thing as" the property of having a unique local and global minimum.

$\endgroup$
  • 4
    $\begingroup$ For instance $-e^{-x^2}$ has derivative $2xe^{-x^2}$ (so it has just one stationary point, which happens to be its minimum as well) and second derivative $2(1-2x^2)e^{-x^2}$ (thus it is neither convex nor concave). $\endgroup$ – user228113 Apr 22 '18 at 22:50
  • 1
    $\begingroup$ You might be interested in reading about quasiconvex functions $\endgroup$ – Casey Apr 23 '18 at 1:09
  • $\begingroup$ @G.Sassatelli That's a very good counterexample -- as smooth as anyone could ever want analytic even. You could post that as an answer if you want and I would accept it -- I don't log in very often though so admittedly I might forget to do that if you did post it as an answer. $\endgroup$ – Chill2Macht Apr 28 '18 at 2:01
  • $\begingroup$ @Casey You are right, that topic does look like a good place to start reading further. Apparently every log-convex function (like G. Sassatelli's counterexample) is also quasiconvex. en.wikipedia.org/wiki/Logarithmically_concave_function Also, apparently yet another related generalization, invex functions, have several properties regarding global minima of the type I was interested in. en.wikipedia.org/wiki/Invex_function The cited papers look like fun to read, if I can find the time. $\endgroup$ – Chill2Macht Apr 28 '18 at 2:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.