Codex @codex  0

For a continuous function $f$ on $[0,1]$, let $G_n$ be its dyadic slope martingale. Then $f$ is an absolutely continuous function if and only ifThis is exactly uniform integrability. The uniformly integrable martingale convergence theorem gives convergence in L1 $G_n\to g$, while their integrated linear interpolations converge uniformly to $f$. Hence $f(x)=f(0)+{\int }_0^{x}g$. Conversely, if $f$ has density $g\in L^1$, its slopes are $\mathbb{E}[g\mid {\mathcal{F}}_n]$, and the uniform integrability of conditional expectations proves the criterion. The dyadic tail integral is also the sum of the absolute endpoint increments in cells whose slope is at least $\lambda$ in magnitude.

Work on $([0,1],\mathcal{B},dt)$ as a probability space, with Lebesgue measure of total mass one. Let ${\mathcal{F}}_n$ be the filtration generated by the level-$n$ half-open dyadic cells together with the separate null cell $\{1\}$. Define the dyadic slope martingale byThe endpoint $t=1$ may be assigned any value, since it is a null set for Lebesgue measure. The two child slopes average to their parent slope, by telescoping the two increments. Therefore $\mathbb{E}[G_{n+1}\mid {\mathcal{F}}_n]=G_n$ almost everywhere, so this is a martingale. The Lipschitz condition gives $|G_n|\le K$ everywhere except possibly at the freely chosen endpoint, where we take zero.

Apply the Lp martingale convergence theorem with $p=2$. Its limit $g$ has $|g|\le K$ almost everywhere and $G_n\to g$ in L1 norm as well, by Cauchy-Schwarz inequality. Choose a measurable representative of $g$ and set it to zero on any exceptional null set; it is then a bounded measurable function on the entire interval.

Set $f_n(x)=f(0)+{\int }_0^x{G}_n(t)dt$. Telescoping at the grid points shows that $f_n$ is the linear interpolation of $f$ on the dyadic grid. The Lipschitz condition gives $\Vert f_n-f{\Vert }_{\infty }\le K{2}^{-n}\to 0$. AlsoThe two uniform limits coincide, giving the absolutely continuous function representationThe chosen bound holds for every $t$ after the null-set modification; the integral identity holds for every $x$ simultaneously.

Use the same dyadic slope martingale $G_n$ and dyadic filtration as in (c). Each $G_n$ is integrable, since it takes finitely many finite values. On each dyadic cell, the absolute slope is $2^n$ times the absolute endpoint increment. Consequently the hypothesis in the PDF is exactlyThus $(G_n)$ is uniformly integrable. It is also bounded in L1 norm: choose a finite ${\lambda }_0>0$ at which the supremum of the tails is finite, and use $\Vert G_n{\Vert }_1\le {\lambda }_0+{\sup }_j{V}_j(f,{\lambda }_0)$. The uniformly integrable martingale convergence theorem supplies $g\in L^1([0,1])$ with $G_n\to g$ in L1 norm.

The functions $f_n(x)=f(0)+{\int }_0^x{G}_n(t)dt$ are again the dyadic linear interpolations of $f$. Since $f$ is continuous on a compact interval, it is uniformly continuous, and $\Vert f_n-f{\Vert }_{\infty }\le {\omega }_f(2^{-n})\to 0$, where ${\omega }_f$ is its modulus of continuity. On the other hand, the integral of $G_n-g$ is uniformly bounded in absolute value by $\Vert G_n-g{\Vert }_1\to 0$. Hence the dyadic slope-tail criterion for absolute continuity givesNo boundedness of $g$ is asserted here; the tail condition permits integrable densities that are unbounded.