# The Unapologetic Mathematician

## The Differential Mean Value Theorem

Let’s say we’ve got a function $f$ that’s continuous on the closed interval $\left[a,b\right]$ and differentiable on $(a,b)$. We don’t even assume the function is defined outside the interval, so we can’t really set up the limit for differentiability at the endpoints, but they don’t matter much in the end.

Anyhow, if we look at the graph of $f$ we could just draw a straight line from the point $(a,f(a))$ to the point $(b,f(b))$. The graph itself wanders away from this line and back, but the line tells us that on average we’re moving from $f(a)$ to $f(b)$ at a certain rate — the slope of the line. Since this is an average behavior, sometimes we must be going faster and sometimes slower. The differential mean value theorem says that there’s at least one point where we’re going exactly that fast. Geometrically, this means that the tangent line will be parallel to the secant we drew between the endpoints. In formulas we say there is a point $c\in(a,b)$ with $f'(c)=\frac{f(b)-f(a)}{b-a}$.

First let’s nail down a special case, called “Rolle’s theorem”. If $f(a)=0=f(b)$, we’re asserting that there is some point $c\in(a,b)$ with $f'(c)=0$. Since $\left[a,b\right]$ is compact and $f$ is continuous, the extreme value theorem tells us that $f$ must take a maximum and a minimum. If these are both zero, then we’re looking at the constant function $f(x)=0$, and any point in the middle satisfies $f'(c)=0$. On the other hand, if either the maximum or minimum is nonzero, then we have a local extremum at a point $c\in(a,b)$ where $f$ is differentiable (since it’s differentiable all through the open interval). Now Fermat’s theorem tells us that $f'(c)=0$ since $c$ is a local extremum! Thus Rolle’s theorem is proved.

Now for the general case. Start with the function $f$ and build from it the function $g(x)=f(x)-\frac{f(b)-f(a)}{b-a}(x-a)-f(a)$. On the graph, this corresponds to applying an “affine transformation” (which sends straight lines in the plane to other straight lines in the plane) to pull both $f(a)$ and $f(b)$ down to zero. In fact, it’s a straightforward calculation to see that $g(a)=0=g(b)$. Thus Rolle’s theorem applies and we find a point $c$ with $g'(c)=0$. But applying our laws of differentiation, we see that $g'(c)=f'(c)-\frac{f(b)-f(a)}{b-a}$. And so $f'(c)=\frac{f(b)-f(a)}{b-a}$, as desired.

### Like this:

Posted by John Armstrong | Analysis, Calculus

## 21 Comments	»

1. The “trick” behind proving the Mean Value theorem is basically to write $g(x) = f(x) - h(x)$, where $y = h(x)$ is the equation of the straight line connecting the points $(a, f(a))$ and $(b, f(b))$. And this is what you did above. I know it might not sound very interesting, but I have always wondered if we can obtain another useful result (just like the mean value theorem, for instance) if we let $y = h(x)$ be the equation of a parabola passing through the points $(a, f(a))$ and $(b, f(b))$. And, do we obtain more “useful” results if $y = h(x)$ is some function other than a straight line or a parabola?
(That was just a random thought.)

Comment by | January 22, 2008 | Reply

2. Indeed you do, Vishal, but you ask that the function be twice-differentiable and you match another parameter: the derivative of $f$ at $a$. Then those three parameters specify a unique parabola, which has constant second derivative. And there’s some point in between $a$ and $b$ at which the function actually has that second derivative.

There’s a whole sequence of these “generalized mean value theorems”, which can be used as Taylor series remainder approximations. Your exercise is to work out the analogues of Rolle’s theorem you guessed were around, and to see if you can prove them in general. I’ll come back to this when I’m doing Taylor series.

Comment by | January 22, 2008 | Reply

3. I had a hunch earlier that we could indeed derive more of those “generalized mean value theorems” and somehow relate those to the Taylor series approximations. Your comment, it seems, has confirmed that hunch. I will be looking forward to your future post(s) on Taylor series.

Comment by | January 22, 2008 | Reply

4. This theorem is also known as the Lagrange mean value theorem.

Comment by | January 23, 2008 | Reply

5. It also has an interesting corollary that says that the derivative of any function that is differentiable on an interval has the mean value property, i.e. it hits all its intermediate values between any 2 of the values that it assumes, even if that derivative is not continuous.

In partcular, a simple step function H(x) that is 0 for x1 is not a derivative of any function F differentiable on (-1,1), so H(x) has no primitive on (-1,1).

Comment by | January 23, 2008 | Reply

6. In comment #5 H(x)=0 for x0, also known as the Heaviside function.

Comment by | January 23, 2008 | Reply

7. There must be a bug in the system, that messed up my posts, again (now using LaTex): $H(x)=0$ for $x \le 0$
and $0$ for $x>0$.

Comment by | January 23, 2008 | Reply

8. There must be a bug in the system, that messed up my posts, again (now using LaTex): $H(x)=0$ for $x \le 0$
and $=0$ for $x>0$.

Comment by | January 23, 2008 | Reply

9. Michael, you’re having trouble with the < symbol. That’s not a bug in the system.

The bug in the system is that I can’t seem to log in to WordPress at all. Whether this has to do with a comment flood or not, I have no idea. Just in case, could you try in the future to think carefully about what you want to say and then say it all in one comment?

Comment by | January 23, 2008 | Reply

10. Sorry, I got troubles with > that seems to have some special meaning on this site and also with LaTex preprocessor here that messed up my formula. I wish we could edit our entries.
I doubt that your trouble logging in is related to the number of comments on your page.

Comment by | January 23, 2008 | Reply

11. It’s not this site. > has a special meaning in HTML, which is sort of the basis of the web. WordPress’ processor can’t tell the difference between using it to mean “greater than” and “close a tag”.

But still, you made three separate comments before the litany of trying to fix the problem with the > sign. Slow down, take a deep breath, and decide what you want to say before saying it. This isn’t Twitter.

Comment by | January 23, 2008 | Reply

12. Actually I wanted to say that H(x) is the Heaviside function that jumps from 0 to 1 at x=0.

Comment by | January 23, 2008 | Reply

13. [...] of the Mean Value Theorem So now that we have the mean value theorem what can we do with it? First off, we can tell something that seems intuitively obvious. We know [...]

Pingback by | January 24, 2008 | Reply

14. [...] to get back on track. Today, we’ll see a theorem about integrals that’s similar to the Differential Mean Value Theorem. Specifically, it states that if we have a continuous function then there is some so [...]

Pingback by | February 12, 2008 | Reply

15. [...] the Differential Mean Value Theorem tells us that in each subinterval there is some so that . We stick this into the [...]

Pingback by | March 6, 2008 | Reply

16. [...] an extension of the Fundamental Theorem of Calculus we’ll see it’s an extension of the Differential Mean Value Theorem. And this despite the most strenuous objections of my resident gadfly that the DMVT and FToC have [...]

Pingback by | October 1, 2008 | Reply

17. [...] a nice technical result we may have call for from time to time: a higher-dimensional version of the differential mean value theorem. Remember that this says that if we’ve got a function continuous on the closed interval and [...]

Pingback by | October 13, 2009 | Reply

18. [...] we can apply the mean value theorem to [...]

Pingback by | October 15, 2009 | Reply

19. [...] Taylor’s theorem. Specifically, the version of Taylor’s theorem that resembles the mean value theorem. And we’ll even use an approach like we did for the extension of that result to higher [...]

Pingback by | October 20, 2009 | Reply

20. [...] is some number between and that exists by the differential mean value theorem. Now to find the derivative, we take the limit of the difference [...]

Pingback by | January 13, 2010 | Reply

21. [...] let denote the sum of the terms and , the remainder after terms, of the series (2), so that . By Lagrange’s mean value theorem, we have , . We shall now consider . So far we have taken as an arbitrary but we shall now choose [...]

Pingback by | July 7, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 51, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9431554079055786, "perplexity_flag": "head"}