2
$\begingroup$

Let $\alpha:[a,b]\rightarrow \mathbb{R}$ be a monotonically increasing function.

Let $f\in \mathscr{R}(\alpha)$ on $[a,b]$.

And here's what i have proved a while ago;

"If $\alpha$ is continuous at $a$, then $\lim_{x\to a}\int_{x}^{b} f d\alpha = \int_{a}^{b} f d\alpha$" (Existence of the limit is the part of the conclusion)

However, now i just realized 'continuity of $\alpha$' shouldn't be essential, but i cannot prove this. How do i prove this?

1 Answers 1

1

According to Wheeden and Zygmund's text, if $f$ and $\alpha$ share a discontinuity, then the Riemann-Stieltjes integral does not exist. This means that we must assume $\alpha$ continuous at $a$, otherwise $f$ and $\alpha$ can share a discontinuity there.

  • 0
    I just proved that for any $\epsilon>0, -\epsilon -(\inf_{c\in(a,b]} \sup_{x\in[a,c]} f(x))[\alpha(a+)-\alpha(a)]≦\lim_{t\to a} \int_{t}^{b} f d\alpha - \int_{a}^{b} f d\alpha < \epsilon + (\inf_{c\in (a,b]} \inf_{x\in[a,c]} f(x))[\alpha(a+)-\alpha(a)]$.2012-12-21
  • 0
    Now your statement makes it clear that "If $f\in \mathscr{R}(\alpha)$ on $[a,b]$, then $\lim_{t\to a} \int_{t}^{b} f d\alpha=\int_{a}^{b} f d\alpha$."2012-12-21
  • 0
    There was a thinko.. It should be $\lim_{t\to a} \int_{t}^{b} f d\alpha + f(a)[\alpha(a+)-\alpha(a)] = \int_{a}^{b} f d\alpha$2012-12-21
  • 0
    Glad it makes sense!2012-12-21