Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Given some convex function $f(x)$, $x >0$ we can define a distribution $F \in \mathcal{D}'(0,\infty)$ using Lebesgue-Stieltjes integral $$ \langle F, \varphi \rangle =\int\limits_{0}^{\infty}\varphi(x) \, df'(x), \; \; \; \varphi\in \mathcal{D}(0,\infty) $$ If function $f(x) \in C^{2}(0,\infty)$, then $$ \langle F, \varphi \rangle = \int\limits_{0}^{\infty} \varphi(x)f''(x)\,dx = \int\limits_{0}^{\infty} f(x) \varphi''(x) \, dx, \;\;\; \varphi \in \mathcal{D}(0,\infty) $$ How to show that for general convex function $f(x)$, $x>0$ we also have $$ \int\limits_{0}^{\infty} \varphi(x) \, df'(x) = \int\limits_{0}^{\infty} f(x) \varphi''(x) \, dx $$ for any $\varphi(x) \in \mathcal{D}(0,\infty)$? It is sufficient to show that for any convex function $f(x)$, $x>0$ we can find a sequence of $C^{2}(0,\infty)$ functions $f_{n}(x)$, such that $f_{n}'(x) \to f'(x)$ in points of continuity of $f'(x)$ and at the same time for any $\varphi(x) \in \mathcal{D}(0,\infty)$ $$ \int\limits_{0}^{\infty} f_{n}(x) \varphi(x) \, dx \to \int\limits_{0}^{\infty} f(x) \varphi(x) \, dx. $$ If such sequence $f_{n}(x)$ is found we can pass to the limit in equality $$ \int\limits_{0}^{\infty} \varphi(x) \, df_{n}'(x) = \int\limits_{0}^{\infty} f_{n}(x) \varphi(x) \, dx $$ to obtain the desired result.

share|cite|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.