Let $f(x)$, $x>0$ be a convex function. Then it's distributional second derivative is defined by the rule $ \langle f''(x),\varphi(x)\rangle = \langle f(x), \varphi''(x)\rangle $ for any $\varphi \in \mathcal{D}(0,\infty)$. If function $f(x) \in C^2(0,\infty)$ then $ \langle f''(x),\varphi(x)\rangle \geqslant 0 $ for any $\varphi \in \mathcal{D}(0,\infty)$, $\varphi \geqslant 0$. It is true for general convex function $f(x)$? There is a theorem that states that any distribution may be approximated by sequence of smooth functions. I tried to use it, but without success.
Second derivative of convex function
3
$\begingroup$
analysis
distribution-theory
-
0@N.S. $a$ha! That's what I'm tryi$n$g to do! – 2012-12-01
1 Answers
5
Here is another approach using mollifiers, adapted from Evans and Gariepy "Measure theory and fine properties of functions."
Let $\eta_\epsilon$ be a mollifier (smooth approximation to the identity) and set $f^\epsilon=f*\eta_\epsilon$. Then $f_\epsilon$ is smooth and convex (convexity is reasonably trivial to check). Thus for all $\varphi\in\mathcal{D}(0,\infty)$ with $\varphi\geq 0$,
$ \langle f^{\prime\prime}_\epsilon,\varphi\rangle\geq 0 $
Integrate by parts:
$ \langle f^{\prime\prime}_\epsilon,\varphi\rangle=\langle f_\epsilon,\varphi^{\prime\prime}\rangle\geq 0 $
Now let $\epsilon\searrow 0$; $f_\epsilon\rightarrow f(x)$, and hence $\langle f,\varphi^{\prime\prime}\rangle\geq 0$
Hopefully I didn't overlook any tricky details here.