In which we prove another form of Taylor’s theorem.
- Corollary 59 (Integration by parts) Let , be differentiable functions with continuous derivatives. Then . This followed from the product rule and Corollary 57.
- Theorem 60 (Taylor‘s theorem with an integral form of the remainder) Take , and let be times differentiable with continuous derivative. For , we have where . We proved this by using integration by parts repeatedly.
- Lemma 61 (Mean value theorem for integrals) Let be continuous. Then there is some such that . To prove this, we defined and applied the mean value theorem to it.
- We used Lemma 61 to obtain Cauchy’s form of the remainder from the integral form.
- Lemma 62 Let , be continuous, with for . Then there is some such that . The idea of the proof is to apply Cauchy’s mean value theorem to the functions and .
- We used Lemma 62 to obtain Lagrange’s form of the remainder from the integral form.
Understanding today’s lecture
Can you fill in the details of the proof of Lemma 62?
Can you use the integral form of the remainder in Taylor’s theorem to obtain the Taylor series for the binomial series? (We did this earlier in the term using Lagrange’s and Cauchy’s forms of the remainder, but it would be good to see how the estimates work out for the integral form.)
You might like to have a look at Gareth Taylor’s notes on Taylor’s theorem, with the various forms of the remainder that we’ve seen in this course. Wikipedia also records several forms of the remainder term.
Preparation for Lecture 24
We have defined the integral for functions defined on a closed, bounded interval. How might we extend that to define things like ? When does this integral converge?
For which does the integral converge? How is this related to ? More generally, how is the convergence of related to the convergence of ?