Section Summary: 12.10

Taylor Series

Definitions

Taylor series of f about a (assuming f has derivatives of all orders):

displaymath229

The tex2html_wrap_inline239 -degree Taylor polynomial of f at a:

displaymath230

Then tex2html_wrap_inline245 is the called the remainder of the Taylor series.

Maclaurin series: a Taylor series centered about x=0:

displaymath231

Theorems

If f has a power series representation (expansion) at a, that is, if

displaymath249

then its coefficients are given by the formula

displaymath250

If tex2html_wrap_inline261 , and

displaymath251

for |x-a|<R, then f is equal to the sum of its Taylor series on the interval |x-a|<R.

Taylor's inequality: If tex2html_wrap_inline269 for tex2html_wrap_inline271 , then the remainder tex2html_wrap_inline273 of the Taylor series satisfies the inequality

displaymath252

Properties, Hints, etc.

Power series can be added and subtracted just like polynomials (but be aware of possibly different intervals of convergence). While they can also be multiplied and divided like polynomials, they're quite cumbersome to manipulate this way. We're often only interested in the first few terms, however, which makes this an occasionally useful option.

Some important Maclaurin series:

displaymath275

displaymath276

displaymath277

displaymath278

displaymath279

Summary

This is the crowning glory of sequences and series. This material clarifies statements like these: `` tex2html_wrap_inline301 about x=0.'' Or, equivalently,

displaymath285

This type of analysis is clear once Taylor series are understood.

We can obtain Taylor series by term-by-term differentiation: suppose that

displaymath286

with radius of convergence R > 0. Then tex2html_wrap_inline307 (the series is easy to evaluate at x=0!). We've seen that we can differentiate series, so, provided f is differentiable,

displaymath287

Again, evaluate at 0: tex2html_wrap_inline313 . So tex2html_wrap_inline315 .

Continuing,

displaymath288

Again, evaluate at 0: tex2html_wrap_inline317 . So tex2html_wrap_inline319 .

In general,

displaymath289

and

displaymath231

This is the so-called ``Maclaurin series'' (a special type of Taylor series, expanded about x=0).

We can also obtain Taylor series by building up: the objective is to approximate a function about an abscissa a as well as possible by successively larger polynomials. If you only had a constant function to work with, you'd choose p(x)=c=f(a). If you had a linear function to work with, you'd choose tex2html_wrap_inline327 (check that this gets both the function value right, and the slope right). Continuing in this fashion, you'd get

displaymath291

displaymath292

etc.




Tue Apr 6 17:34:11 EDT 2004