Skip to main content
4 of 4
added 4 characters in body
Adam
  • 1k
  • 6
  • 12

Goldowsky-Tonelli theorem for upper semi continuous function

Let $f:(0, \infty) \rightarrow \mathbb{R}$ be a convex and continuous function. We know that $\partial^{e} f(. )$(either right or left derivative) is non-decreasing and upper semi-continuous function. So, $f^{''}$ is differentiable a.e. and it is non negative.

Let $g(t)=f(t)-t\partial^{e} f(t)$ that is a upper semi-continuous map. I got this point that $g^{'}(t)=-tf^{''}(t)$ for a.e. $t>0$. I want to show that $g$ is decreasing.

My attempt: I wanted to use Goldowsky-Tonelli theorem, but the map is not continuous. Does one help me to get the result?if it's not true, under which assumption is true.

Goldowsky-Tonelli theorem: Let $f$ be a continuous function that has a derivative at each point of $\mathbb{R}$ except on countable set, and $f^{'} \geq 0$ a.e., then $f$ is a nondecreasing function.

Adam
  • 1k
  • 6
  • 12