Commutativity of Lebesgue-Stieltjes convolution

463 Views Asked by At

Let $F,G$ be non-decreasing real functions of bounded variation on $\mathbb{R}$ and $\mu_F$ the Lebesgue-Stieltjes measure defined by it. Kolmogorov-Fomin's says (p. 452 here) that we can commute the order of the functions in their Lebesgue-Stieltjes convolution, i.e. we can write $$G\star F:=\int_{-\infty}^\infty G(x-\xi)dF(\xi)=\int_{-\infty}^\infty F(x-\xi)dG(\xi)=F\star G$$where $\int_{-\infty}^\infty G(x-\xi)dF(\xi):=\int_{\mathbb{R}}G(x-\xi)d\mu_{F(\xi)}$.

How can such an equality be proved? There is even something that I am not even able to convince myself of: if $\forall x\in\mathbb{R}\quad F(x)= 1$, then I would say that $G\star F=0$, but $F\star G=\mu_G(\mathbb{R})$: what am I missing? I thank you all very much!

EDIT: I originally asked whether $\int_a^b G(x)dF(x)=\int_a^bF(x)dG(x)$ because I thought that was the key to prove the desired result, but I have now rearranged the question because the last equality equality does not hold, as John, whom I thank very much, has pointed out in his comment.