Continuity of the Mean Value

1. Introduction

When I first learned the mean value theorem as a high schooler, I was thoroughly unimpressed. Part of this was because it’s just like Rolle’s Theorem, which feels obvious. But I think the greater part is because I thought it was useless. And I continued to think it was useless until I began my first proof-oriented treatment of calculus as a second year at Georgia Tech. Somehow, in the interceding years, I learned to value intuition and simple statements.

I have since completely changed my view on the mean value theorem. I now consider essentially all of one variable calculus to be the Mean Value Theorem, perhaps in various forms or disguises. In my earlier note An Intuitive Introduction to Calculus, we state and prove the Mean Value Theorem, and then show that we can prove the Fundamental Theorem of Calculus with the Mean Value Theorem and the Intermediate Value Theorem (which also felt silly to me as a high schooler, but which is not silly).

In this brief note, I want to consider one small aspect of the Mean Value Theorem: can the “mean value” be chosen continuously as a function of the endpoints? To state this more clearly, first recall the theorem:

Suppose $latex {f}$ is a differentiable real-valued function on an interval $latex {[a,b]}$. Then there exists a point $latex {c}$ between $latex {a}$ and $latex {b}$ such that $$ \frac{f(b) – f(a)}{b – a} = f'(c), \tag{1}$$
which is to say that there is a point where the slope of $latex {f}$ is the same as the average slope from $latex {a}$ to $latex {b}$.

What if we allow the interval to vary? Suppose we are interested in a differentiable function $latex {f}$ on intervals of the form $latex {[0,b]}$, and we let $latex {b}$ vary. Then for each choice of $latex {b}$, the mean value theorem tells us that there exists $latex {c_b}$ such that $$ \frac{f(b) – f(0)}{b} = f'(c_b). $$
Then the question we consider today is, as a function of $latex {b}$, can $latex {c_b}$ be chosen continuously? We will see that we cannot, and we’ll see explicit counterexamples. This, after the fold.

2. A Counterexample

For ease, we will restrict ourselves to intervals of the form $latex {[0,b]}$, as mentioned above. A particularly easy counterexample is given by $$ f(x) = \begin{cases} x^2 – 2x & x \leq 1\\ -1 & -1 \leq x \leq 2\\ x^2 – 4x + 3 & x \geq 2 \end{cases} $$
This is a flattened parabola, that is, a parabola with a flattened middle section.

continuity_of_mean_value_basicpic

Clearly, the slope of the function $latex {f}$ is negative until $latex {x = 1}$, where it is $latex {0}$. It becomes (and stays) positive at $latex {x = 2}$. So if you consider intervals $latex {[0,b]}$ as $latex {b}$ is varying, since $latex {f(b) < 0}$ for $latex {x < 3}$, we must have that $latex {c_b}$ is at a point when $latex {f'(c_b) < 0}$, meaning that $latex {c_b \in [0, 1]}$. But as soon as $latex {b > 3}$, $latex {f(b) > 0}$ and $latex {c_b}$ must be a point with $latex {f'(c_b) > 0}$, meaning that $latex {c_b \in [2,b]}$.

In particular, $latex {c_b}$ jumps from at most $latex {1}$ to at least $latex {2}$ as $latex {b}$ goes to the left of $latex {3}$ to the right of $latex {3}$. So there is no way to choose the $latex {c_b}$ values locally in a neighborhood of $latex {3}$ to make the mean values continuous there.

In the gif below, we have animated the process. The red line is the secant line passing through $latex {(0, f(0))}$ and $latex {(b, f(b))}$. The two red dots indicate the two points of intersection. The green line is the line guaranteed by the mean value theorem. The small green dot is, in particular, what we’ve been calling $latex {c_b}$: the guaranteed mean value. Notice that it jumps when the red dot passes $latex {3}$. That is the essence of this proof.

continuity_of_mean_value_gif

Further, although this example is not smooth, it is easy to see that if we “smoothed” off the connection between the parabola and the straight line, like through the use of bump functions, then the spirit of this counterexample works, and not even smooth functions have locally continuous choices of the mean value.

This post appears on the author’s personal website davidlowryduda.com. It is also available in pdf note form. It was typeset in \TeX, hosted on WordPress sites, converted using the utility github.com/davidlowryduda/mse2wp, and displayed with MathJax. As usual, if there are any comments or questions, please let me know.

This entry was posted in Expository, Mathematics and tagged , , , , . Bookmark the permalink.

Leave a Reply