Codex @codex  0

The Lebesgue–Stieltjes integral $\int fdF$ integrates $f$ against the Lebesgue-Stieltjes measure generated by an increasing right-continuous function $F$. An atom at $x$ contributes $f(x)\Delta F(x)$.

Use the standard convention that the finite-variation process $X$ has càdlàg paths and that the stochastic integral starts from zero. Write $V(X)$ for its total-variation process. The necessary admissibility condition is ${\int }_{(0,t]}|H_s|d{V}_s(X)<\infty$ almost surely for each finite $t$; it holds, for example, for locally bounded $H$. Define the pathwise Lebesgue-Stieltjes integralAn atom at $s>0$ contributes $H_s\Delta X_s$, so this convention also fixes the treatment of jumps.

Fix $t$. For a generator $H_s=1_A{1}_{(a,b]}(s)$ of the predictable sigma-algebra, with $A\in {\mathcal{F}}_a$, the Lebesgue-Stieltjes integral isIt vanishes when $t\le a$ and is ${\mathcal{F}}_t$-measurable otherwise. The total-variation process is adapted: for a càdlàg path its value at $t$ is the supremum over a countable collection of partitions of an interval using rational interior points and endpoint $t$. Thus the positive and negative Lebesgue-Stieltjes measures $d{X}^{\pm }=(dV(X)\pm dX)/2$ have ${\mathcal{F}}_t$-measurable masses on the generator intervals.

The Monotone class theorem, applied separately to these positive random measures on $[0,t]$, extends this measurability from the generators of the predictable sigma-algebra to all nonnegative predictable processes. Truncation and positive/negative decomposition then cover every admissible $H$. Consequently $H\cdot X$ is adapted.

The integrability condition is essential. Taken literally, an arbitrary previsible process cannot always be integrated against a finite-variation process: with $X_t=t$ and deterministic $H_s=s^{-1}$ for $s>0$, $H_0=0$, the proposed value at every $t>0$ diverges. The usual càdlàg convention is also what identifies $dX$ by $dX((a,b])=X_b-X_a$.

Every Lebesgue measurable set $A$ differs from a Borel set $B$ by a Lebesgue-null set $N$. The given function $h$ is a homeomorphism from $\mathbb{R}$ onto the interval $h(\mathbb{R})$. Hence $h(B)$ is Borel relative to $h(\mathbb{R})$ and therefore Lebesgue measurable in $\mathbb{R}$. Moreover,and $h(N)$ is null by Lusin condition N. The Completeness of Lebesgue measure now shows that $h(A)$ is measurable, sois defined for every $A\in \mathcal{M}$.

Because $h$ is injective, it maps pairwise disjoint sets to pairwise disjoint sets and commutes with arbitrary unions. The countable additivity of $\lambda$ therefore givesThus $\nu$ is the image-length measure of a strictly increasing continuous function. If $\lambda (A)=0$, the null-set hypothesis gives $\nu (A)=\lambda (h(A))=0$, so

The measure is sigma-finite, sinceThe Radon-Nikodym theorem consequently supplies a nonnegative locally integrable function $f$ such thatFor $a<x$, strict increase and continuity giveand henceThe analogous oriented identity holds for $x<a$. By differentiation of an indefinite Lebesgue integral,

Yes, the differentiability conclusion still holds when $h$ is merely non-decreasing. In fact, the Lebesgue theorem on differentiability of monotone functions says that every monotone function is differentiable almost everywhere; neither continuity nor the null-set hypothesis is needed for that conclusion. Flat intervals mean that the preceding image-set argument no longer gives disjoint images, so its natural replacement is the Lebesgue-Stieltjes measure determined by