# How $x^4$ is strictly convex function?

I hear that $f(x)=x^4$ is a strictly convex function $\forall x \in \Re$. However, strict convexity condition is that the second derivative should be positive $\forall x \in \Re$. For the mentioned function, the second derivative is zero at $x=0$, which is in the domain of $f$. Therefore, it should not be a strict convex function. But I am pretty sure it is because I heard it in Prof. Boyd's lecture.

Am I missing something obvious?

• If the second derivative is positive, then the function is strictly convex. The converse is not true. This is an example. Mar 5, 2013 at 4:36
• Some people call a function uniformly convex if it satisfies $f''\ge c$ for some positive constant $c$. This is a stronger property than strict convexity.
– user53153
Mar 5, 2013 at 4:47
• It's analogous to $x^3$: that function is an increasing function, even though it hesitates briefly at $x=0$. Mar 5, 2013 at 4:53
• @5pm: Of course, uniform convexity is stronger yet than having a positive second derivative. (Consider the basic exponential function, for example.) Mar 5, 2013 at 5:00
• Note that the second derivative is positive almost everywhere. I'm pretty sure that this is also enough to get strict convexity. Dec 14, 2013 at 9:54

If the second derivative is strictly positive, then the function is strictly convex. However, the converse need not be true. A function $f:\Bbb R\to\Bbb R$ is strictly convex if and only if for all $x,y\in\Bbb R$ with $x\neq y$ we have $$f\bigl(tx+(1-t)y\bigr)<tf(x)+(1-t)f(y)$$ for all $0<t<1$. $f(x)=x^4$ is indeed strictly convex.

This is a common misconception. Many make the same mistake regarding the relationship between positive first derivative and increasing functions (the former implies the latter, but not vice versa). See here and here, for examples of people making such errors.

• Ok. So the converse is not true... that is even if second derivative at x=0 is zero, we say that $x^4$ is strictly convex. Now my question is how to analytically see if the function is indeed strictly convex? (In case, we cannot plot the function and see if the line segment joining any two points lies above the function) Mar 5, 2013 at 5:00
• So is there any way to prove an arbitrary function (even or odd) is strictly convex? Mar 5, 2013 at 5:06
• You may find it easier to show that it is strictly midpoint convex--that is, that $$f\left(\frac{x+y}2\right)<\frac{f(x)+f(y)}2$$ whenever $x\neq y$. Midpoint convexity is equivalent to convexity for continuous functions. In general, though, you're probably going to have to do some grunt-work calculations. Mar 5, 2013 at 5:09

Strict Convexity is when $f(tx+(1-t)y)<tf(x)+(1-t)f(y)$. The fact that $f''(x)\geq 0$ implies $f$ is convex, however, it does not necessarily imply that $f$ is not strictly convex. In the case of $f(x)=x^4$, you get $f''(x)=12x^2\geq 0$ but in fact $f$ is strictly convex. Indeed, any line segement lies above the curve.

Second derivative being positive is for strong convexity. There is a subtle difference between strict convexity and strong convexity. A strongly convex function is strictly convex but the converse need not be true.

The condition for strict convexity is strict Jensen's inequality as pointed out by Alex R.