In my non-math life I am an avid runner and walker. Ok, my enthusiasm for these sports greatly excedes my talent and accomplishments for these sports; I once (ONCE) broke 40 minutes for the 10K run and that was in 1982; the winner (a fellow named Bill Rodgers) won that race and finished 11 minutes ahead of me that day! 🙂 Now I’ve gotten even slower; my fastest 10K is around 53 minutes and I haven’t broken 50 since 2005. 😦
But alas I got a minor bug and had to skip today’s planned races; hence I am using this morning to blog about some math.
Real Analysis and Calculus
I’ve said this before and I’ll say it again: one of my biggest struggles with real analysis and calculus was that I often didn’t see the point of the nuances in the proof of the big theorems. My immature intuition was one in which differentiable functions were, well, analytic (though I didn’t know that was my underlying assumption at the time). Their graphs were nice smooth lines, though I knew about corners (say, at .
So, it appears to me that one of the way we can introduce the big theorems (along with the nuances) is to have a list of counter examples at the ready and be ready to present these PRIOR to the proof; that way we can say “ok, HERE is why we need to include this hypothesis” or “here is why this simple minded construction won’t work.”
So, what are my favorite examples? Well, one is the function is a winner. This gives an example of a function that is not analytic (on any open interval containing 0 ).
The family of examples I’d like to focus on today is , fixed, .
Note: henceforth, when I write I’ll let it be understood that I mean the conditional function that I wrote above.
Use of this example:
1. Squeeze theorem in calculus: of course, ; this is one time we can calculate a limit without using a function which one can merely “plug in”. It is easy to see that .
2. Use of the limit definition of derivative: one can see that ; this is one case where we can’t merely “calculate”.
3. provides an example of a function that is differentiable at the origin but is not continuously differentiable there. It isn’t hard to see why; away from 0 the derivative is and the limit as approaches zero exists for the first term but not the second. Of course, by upping the power of one can find a function that is times differentiable at the origin but not continuously differentiable.
4. The proof of the chain rule. Suppose is differentiable at and is differentiable at . Then we know that is differentiable at and the derivative is . The “natural” proof (say, for non-constant near looks at the difference quotient: which works fine, so long as . So what could possibly go wrong; surely the set of values of for which for a differentiable function is finite right? 🙂 That is where comes into play; this equals zero at an infinite number of points in any neighborhood of the origin.
Hence the proof of the chain rule needs a workaround of some sort. This is a decent article on this topic; it discusses the usual workaround: define . Then it is easy to see that since the second factor of the last term is zero when and the limit of exists at .
Of course, one doesn’t have to worry about any of this if one introduces the “grown up” definition of derivative from the get-go (as in: best linear approximation) and if one has a very gifted class, why not?
5. The concept of “bounded variation” and the Riemann-Stiltjes integral: given functions over some closed interval and partitions look at upper and lower sums of and if the upper and lower sums converge as the width of the partions go to zero, you have the integral . But this works only if has what is known as “bounded variation”: that is, there exists some number such that for ALL partitions . Now if is differentiable with a bounded derivative on (e. g. is continuously differentiable on then it isn’t hard to see that had bounded variation. Just let be a bound for and then use the Mean Value Theorem to replace each by and the result follows easily.
So, what sort of function is continuous but NOT of bounded variation? Yep, you guessed it! Now to make the bookkeeping easier we’ll use its sibling function: . 🙂 Now consider a partition of the following variety: . Example: say . Compute the variation: . This leads to trouble as this sum has no limit as we progress with more points in the sequence of partitions; we end up with a divergent series (the Harmonic Series) as one term as points are added to the partition.
6. The concept of Absolute Continuity: this is important when one develops the Fundamental Theorem of Calculus for the Lebesgue integral. You know what it means for to be continuous on an interval. You know what it means for to be uniformly continuous on an interval (basically, for the whole interval, the same works for a given no matter where you are, and if the interval is a closed one, an easy “compactness” argument shows that continuity and uniform continuity are equivalent. Absolute continuity is like uniform continuity on steroids. I’ll state it for a closed interval: is absolutely continuous on an interval if, given any there is a such that for where are pairwise disjoint intervals. An example of a function that is continuous on a closed interval but not absolutely continuous? Yes; on any interval containing is an example; the work that we did in paragraph 5 works nicely; just make the intervals pairwise disjoint.