[Math] Showing that $f’$ is the Radon-Nikodym derivative of $\lambda_f$

lebesgue-integrallebesgue-measuremeasure-theoryreal-analysis

I aim to show the following result:

Let $f:\mathbb{R}\to\mathbb{R}$ be a nondecreasing, continuously differentiable function and let $\lambda_f$ be the corresponding Lebesgue-Stieltjes measure generated by $f$. Consider valid $\lambda_f << \lambda$ (that is, $\lambda_f$ is absolutely continous with respect to $\lambda$). Prove that $$\lambda_f(E)=\int_Ef'd\lambda,~~~~\text{for all}~E~\text{measurable}.$$ (that is, $f'$ is the Radon-Nikodym derivative of $\lambda_f$)

My attempt was to show that $\lambda_f(E)=\int_Ef'd\lambda$ for all $E$ measurable, because from Radon-Nikodym theorem, the derivative is $\lambda$-a.e. unique. I'd already proved that $\lambda_f(E)\geq\int_Ef'd\lambda$ (just a half of the problem), but I found my proof was too long.

Any hint for the problem in general or at least for the reverse inequality?

Best Answer

Another approach is possible: since $f$ is continuous and nondecreasing we have: $$ \lambda_{f}((x,y])=f(y)-f(x)$$ Since $\lambda_{f} << \lambda$, from the differentiation theorem for monotone functions (they are a.e differentiable) and the theorem about measure derivation (see below), we have: $$ \frac{d\lambda_{f}}{d \lambda}=\lim_{r \rightarrow 0} \frac{\lambda_{f}(B(x,r))}{\lambda(B(x,r))}=\lim_{y \rightarrow x} \frac{\lambda_{f}((x,y])}{y-x}=f'(x) \ \ a.e $$ The claim follows by the Radon-Nikodym theorem.

For completeness, I post the theorems mentioned above:

Derivation of measures and Radon derivative

We define the derivative of the measure $\mu$ with respect to another measure $\lambda$ as: $$D_{\lambda}(\mu)(x)=\lim_{r \rightarrow 0} \frac{\mu(B(x,r))}{\lambda(B(x,r))}$$ (to be more precise we should define the upper and lower derivatives first, then the derivative would be defined only if lower and upper ones agree). Let now $\lambda$ be the lebesgue measure and $\mu$ a $\sigma$-finite measure absolutely continuous with respect to $\lambda$. Then the Radon-Nikodym derivative of $\mu$ wrt $\lambda$ and $D_{\lambda}(\mu)$ agree almost everywhere, that is: $$D_{\lambda}(\mu)(x)=\lim_{r \rightarrow 0} \frac{\mu(B(x,r))}{\lambda(B(x,r))}=\frac{d \mu}{d \lambda} \qquad a.e $$

This theorem can be proved (at least if $\lambda$ is the Lebesgue measure) with:

Lebesgue differentiation theorem

If $f \in L^1_{loc}(\mathbb{R})$, then $$ \lim_{r \rightarrow 0} \frac{1}{\lambda(B(x,r))} \int_{B(x,r)} f(t) \, d\lambda(t) = f(x) \qquad a.e $$

Note that this result is almost trivial is $f$ is continuous!