Taylor’s Theorem
I’ve decided I really do need one convergence result for Taylor series. In the form we’ll consider today, it’s an extension of the ideas in the Fundamental Theorem of Calculus.
Recall that if the function has a continuous derivative , then the Fundamental Theorem of Calculus states that
Or, rearranging a bit
That is, we start with the value at , and we can integrate up the derivative to find how to adjust and find the value at the nearby point . Now if is itself continuously differentiable we can integrate by parts to find
Then we use the FToC to replace
And if is itself continuously differentiable we can proceed to find
Is this starting to look familiar?
At the th step we’ve got
and if is continuously differentiable we can integrate by parts and use the FToC to find
The sum is the th Taylor polynomial for — the beginning of the Taylor series of — at the point , and the integral we call the “integral remainder term” . For infinitely-differentiable functions we can define for all and get a sequence. The function is then analytic if this sequence of errors converges to in a neighborhood of .
[…] Theorem again What you say? Taylor’s Theorem again? Well, yes. But not quite. Now instead of showing it as an extension of the Fundamental […]
Pingback by Taylor’s Theorem again « The Unapologetic Mathematician | October 1, 2008 |
You assume that is continuously differentiable. But what if it is only differentiable? Is it still true?
Comment by Sune Kristian Jakobsen | October 6, 2008 |
I think the general idea is that derivatives (not necessarily continuous) can behave pretty wildly, so it’s probably not true. An example I’d like to look into more carefully when I have a chance is f(x) = x^2 sin(1/x), which has a derivative everywhere but which I imagine is neither Riemann nor Lebesgue integrable over any interval containing the origin. If that’s the case, then much of John’s post would appear not to generalize in any straightforward way.
Comment by Todd Trimble | October 7, 2008 |
I retract my previous example, but not the general idea 🙂
Comment by Todd Trimble | October 7, 2008 |
On the other hand, here is a slight modification: the function f(x) = |x|^{3/2} sin(1/x) has an everywhere defined derivative which I don’t think is Riemann integrable over any interval containing the origin.
Comment by Todd Trimble | October 7, 2008 |
Thanks,
I thought every derivative was integrable. Do you know if it is sufficient to assume that is integrable?
Comment by Sune Kristian Jakobsen | October 7, 2008 |
Sune, the fine details of the assumptions I’ll admit that I don’t know.
Here I make these assumptions so I can invoke integrations by parts. In the follow-up post, I note that the version there is true under more general assumptions, but that I’m explicitly not looking for the most general possible case.
Teasing out these sorts of pathologies is half of the reason I’m not an analyst.
Comment by John Armstrong | October 7, 2008 |
[…] which would give a nonzero value to . The second gives the result we’re really after, as Taylor’s theorem applied to shows us […]
Pingback by What Does the Bracket Measure? (part 1) « The Unapologetic Mathematician | June 23, 2011 |