What is a strictly convex function that is not strongly convex?

7.9k Views Asked by At

I am trying to come up with some examples of strictly convex function that is not strong convex.

Recall that a function is strictly convex if for $\theta \in [0,1]$, $w \neq w'$

$f(\theta w + (1-\theta) w') < \theta f(w) + (1-\theta) f(w')$

and strongly convex if for all $w, w' \in \mathbb{R}^n$

$f(\theta w + (1-\theta) w') \le \theta f(w) + (1-\theta) f(w') - \frac{\beta}{2}\theta(1-\theta)(w-w')^2$

The typical example of a strictly convex function is $f(x) = \|x\|^2_2$, however, it is also strongly convex. What would be an example of a strictly convex function but not strongly convex?

2

There are 2 best solutions below

1
On BEST ANSWER

$f(x)=e^x$ is strictly convex, but the decay as $x \to -\infty$ is too slow to allow it to be strongly convex.

0
On

If one has twice differentiable convex function. If the second derivative is zero at some point, but the first derivative strictly monotonically increases. That might be an indication.

Perhaps find a function, $F$, that is continuous and differentiable, that is monotonically strictly increasing, but has 'zero first derivative' at some point (such functions exist), and see what comes out as a result of $text{below}$

For example the question mark function of Minkowski, is an example of such a function.See https://en.wikipedia.org/wiki/Minkowski%27s_question_mark_function#Properties_of_.3F.28x.29

What I am about to describe $\text{Below}$, may not/presumably will not work, for this particular degenerate function. That is the Mink-owski question mark function.

As I am not sure that one can integrate it. It is presumably differ-entiable at very few points. So I would not pick that (the Minkowski Question Mark) function for what I am about describe.

But there are cases for of more standard, non-degenerate functions where this behavior occurs; that is where is F is strictly increasing but at some point its derivative vanishes to zero.

$\text{Below}$

For example, in any case if you can such a non-degenerate, function, $F$, and it can be considered to the derivative function of another function, $F1$,

Then in some cases, if $F$, is and continuously-differentiable, and integ-rable, $F$ ,may have to be at least, absolutely continuous for this, hence my concern.

One might be able to take the integral, (in some cases) of said function, $F$ to return, a 'strictly convex function' $F1$,in some cases. Where $F1$, whose first derivative corresponds to $F$, and whose second derivative (may)correspond to the first derivative of $F$ (in some cases); and may be strictly convex .

I presume that all strictly monotonic functions satisfy $F'(x) \geq 0$ as a bi-conditional (sufficient and necessary condition), as do monotonic increasing functions I think.

Although a strictly increasing function, does not have to satisfy just not $F'(x) > 0$ for all points in the domain.

Its a sufficient condition but not necessary.

The sufficient and necessary conditions for function to be strictly increasing , when diff-erentiable. That is, in terms of a first derivative test, are slightly more complex.