Integrating Across a Jump
In the discussion of necessary conditions for Riemann-Stieltjes integrability we saw that when the integrand and integrator are discontinuous from the same side of the same point, the integral can’t exist. But how close can we come to that situation? It turns out that as long as one of the two functions is continuous from each side, then things generally work out.
Specifically, let’s consider jump discontinuities. These are especially useful to understand, since they’re the only sort a function of bounded variation can have. So let’s say we take an interior point 
and define as simple a function 
as we can with a jump there. We let it be constant on either side, with 
for 
and 
for ![x\in\left(c,b\right]](https://s0.wp.com/latex.php?latex=x%5Cin%5Cleft%28c%2Cb%5Cright%5D&bg=e6e6e6&fg=333333&s=0&c=20201002)
. We’ll let 
be anything at all. Generally it will be discontinuous from both sides at 
, but if 
then we’ll have continuity from the left, and similarly on the right. Of course, we could have 
, with being the only point with a different value for .
Now let’s let 
be any other function on ![\left[a,b\right]](https://s0.wp.com/latex.php?latex=%5Cleft%5Ba%2Cb%5Cright%5D&bg=e6e6e6&fg=333333&s=0&c=20201002)
. We know that we can’t let it be discontinuous from the left at if is, or from the right either, so let’s assume it’s continuous from the left or the right at to satisfy these conditions, but put no other assumptions on it. I assert that is then integrable with respect to on , and has the value
![\displaystyle\int\limits_{\left[a,b\right]}fd\alpha=f(c)\left(\alpha(c^+)-\alpha(c^-)\right)](https://s0.wp.com/latex.php?latex=%5Cdisplaystyle%5Cint%5Climits_%7B%5Cleft%5Ba%2Cb%5Cright%5D%7Dfd%5Calpha%3Df%28c%29%5Cleft%28%5Calpha%28c%5E%2B%29-%5Calpha%28c%5E-%29%5Cright%29&bg=e6e6e6&fg=333333&s=0&c=20201002)
Where 
is the limit of as we approach from the right. In our situation this will be 
, but we’ll telegraph a bit by writing it like this. Similarly, 
is the limit of as we approach from the left, which here is 
.
To see that this is the case, take a tagged partition 
, and if it doesn’t already contain just refine it by throwing the new point in. Now every term in the Riemann-Stieltjes sum
is zero except for the one on either side of 
. We can then write the difference 
as
Since either or is continuous from the left, the first term above must go to zero. Similarly, because at least one is continuous from the right, the second term must also go to zero. Thus the sums 
converge to the value asserted.
March 26, 2008 -
Posted by John Armstrong |
Analysis, Calculus
The Unapologetic Mathematician 
Hi, Been following your introductory analysis posts with some interest, since they’ve mirrored the first couple of years of undergrad. analysis we did – but in a more logically consistent order (that’s not to say your choice of order would be simpler if the reader hadn’t seen most of it before!).
Anyhow, I wanted to say keep up the good work and please don’t abandon the category theory posts. Also, some of these analysis concepts might be a bit more obvious to someone who hadn’t seen them before with a couple of pictures – a graph of something with a jump discontinuity is quite doable, and might make the text easier to understand: “You what?!, a(a) er… oh it’s that line there, ah now I understand” sort of thing.
A graph is quite doable if the only graphing software I had on here wasn’t so old and awkward to use. Eventually I’ll manage to go back and tweak, but for now it’s really more difficult than you’d expect.
As for the category theory, I’ve got a ways to go before I can get back to that line.
[…] Function Integrators Now that we know how a Riemann-Stieltjes integral behaves where the integrand has a jump, we can put jumps together into more complicated functions. The ones we’re interested in are […]
Pingback by Step Function Integrators « The Unapologetic Mathematician | March 14, 2009 |