1: \begin{definition}[Locally bounded variation and Lebesgue-Stieltjes integration] \label{def:locbvhk}

2: Consider $f:(\vect a, \vect b) \to \R$ which is potentially unbounded. We say that $f$ is of \textit{locally bounded Hardy-Krause variation}, notationally $f \in BVHK_{loc}((\vect a, \vect b))$ if and only if $f|_{[\vect c , \vect d]} \in BVHK([\vect c, \vect d])$ for any $\vect a < \vect c < \vect d < \vect b$. In the following, $f$ is assumed to be right-continuous. Let $\vect a_n, \vect b_n$ be two sequences converging to $\vect a$ and $\vect b$, respectively, and such that $\vect a < \vect a_{n+1}<\vect a_{n} < \vect b_n < \vect b_{n+1} < \vect b$. Since $f|_{[\vect a_n, \vect b_n]} \in BVHK([\vect a_n, \vect b_n])$, we can define unique measures $\nu_n^+$ and $\nu_n^-$ on $\Bc([\vect a_n, \vect b_n])$ as in Theorem~\ref{theo:decomp2}. Now, for $A \in \Bc((\vect a, \vect b))$ set

3: \[

4: \nu^\pm(A) := \lim_{n\to\infty} \nu_n^\pm(A \cap (\vect a_n, \vect b_n]).

5: \]

6: By monotone convergence, $\nu^+$ and $\nu^-$ are $[0,\infty]$-valued measures on $\Bc((\vect a, \vect b))$. Moreover, by Proposition~\ref{prop:restrict} below, the definition of $\nu^\pm$ is independent of the choice of the sequences $\vect a_n$ and $\vect b_n$. Finally, for $\vect a < \vect c< \vect d < \vect b$, the proposition implies that

7: \[

8: \nu((c, d]) := \nu^+((\vect c, \vect d ]) - \nu^-((\vect c, \vect d ])  = \Delta(f,c_1,c_2,d_1,d_2).

9: \]

10: Note that $\nu$ is not necessarily a signed measure on $\Bc((\vect a, \vect b))$, since expressions of the form ``$\infty-\infty$'' are possible in principle. Still, for a measurable function $g:(\vect a, \vect b) \to \R$ such that $\int |g | \mathrm d\nu^+<\infty$ or $\int |g| \mathrm d\nu^- < \infty$, we may define the Lebesgue-Stieltjes integral 

11: \[

12: \int_{(\vect a, \vect b)} g \mathrm df := \int_{(\vect a, \vect b)}  g \mathrm d\nu 

13: := \int_{(\vect a, \vect b)}  g \mathrm d \nu^+ - \int_{(\vect a, \vect b)}  g \mathrm d\nu^-

14: \]

15: \end{definition}

16: