Today I want to start considering Riemann-Stieltjes integrals where the integrator 
is a function of bounded variation.
From our study of functions of bounded variation, we know that can be written as the difference between two increasing functions 
. Then the linearity of the integral in the integrator tells us that
![\displaystyle\int\limits_{\left[a,b\right]}fd\alpha=\int\limits_{\left[a,b\right]}fd\alpha_1-\int\limits_{\left[a,b\right]}fd\alpha_2](http://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cint%5Climits_%7B%5Cleft%5Ba%2Cb%5Cright%5D%7Dfd%5Calpha%3D%5Cint%5Climits_%7B%5Cleft%5Ba%2Cb%5Cright%5D%7Dfd%5Calpha_1-%5Cint%5Climits_%7B%5Cleft%5Ba%2Cb%5Cright%5D%7Dfd%5Calpha_2&bg=e6e6e6&fg=333333&s=0 "\displaystyle\int\limits_{\left[a,b\right]}fd\alpha=\int\limits_{\left[a,b\right]}fd\alpha_1-\int\limits_{\left[a,b\right]}fd\alpha_2")
Or does it? Remember that we have to understand this equation as saying that if two of the integrals exist then the third one does and the equality holds. But we also know that we’ve got a lot of choice in how to carve up , and it’s easily possible to do it in such a way that the integrals on the right don’t exist.
Luckily, we can show that there’s always at least one splitting of into two parts like we want, and further so that all the integrals above exist and the equation holds. And it turns out that the first function is just the variation 
! That is, I assert that if 
is Riemann-Stieltjes integrable with respect to on the interval ![\left[a,b\right]](http://s0.wp.com/latex.php?latex=%5Cleft%5Ba%2Cb%5Cright%5D&bg=e6e6e6&fg=333333&s=0 "\left[a,b\right]")
and there exists some 
with 
on , then is Riemann-Stieltjes integrable with respect to on the same interval. And because is increasing, we can prove it by showing that satisfies Riemann’s condition with respect to on .
So, given 
we need to find a partition 
so that for any finer partition 
we have 
.
We start by picking a partition so that for any finer partition and any choices 
and 
of tags for we have
Such a partition exists because the sum is the difference between two Riemann-Stieltjes sums for ![\int_{\left[a,b\right]}f\,d\alpha](http://s0.wp.com/latex.php?latex=%5Cint_%7B%5Cleft%5Ba%2Cb%5Cright%5D%7Df%5C%2Cd%5Calpha&bg=e6e6e6&fg=333333&s=0 "\int_{\left[a,b\right]}f\,d\alpha")
, and we’re assuming that these sums converge to the value of the integral.
Now let’s refine it a bit. Any refinement will still satisfy the same condition we already have, but let’s make it also satisfy
This we can do because the total variation is the supremum of such sums over all partitions, and so we can find a fine enough partition to come within 
of it. This new partition will be the one we need to establish Riemann’s condition. Now we must actually prove that it works.
First, notice that 
, since the variation only grows as fast as the function itself changes. Also, the supremum 
and infimum 
in the 
th subinterval are each less than in absolute value, so 
. Together, these show us that
by the second property of we established when we refined our partition.
Now we set 
. We want to pick two sets of tags so that 
for subintervals where 
, and so that 
for subintervals where 
. Then we find the inequality
by the first property of the partition we chose. Notice that in some of the subintervals I took the absolute value off of the change in by switching which sample of I subtracted from which, introducing a new negative sign.
So, adding these two big inequalities together, we find that
which shows that the upper and lower sums for the partition differ by less than 
. Therefore indeed satisfies Riemann’s condition, and it thus integrable with respect to on .
What this means is that integrals with respect to integrators of bounded variation can always be reduced to those with respect to increasing integrators, and thus to situations where Riemann’s condition can be brought to bear.
March 17, 2008
Posted by John Armstrong |
Analysis, Calculus |
3 Comments
