Taylor series


1 Real Taylor series

Let f:I be a functionMathworldPlanetmath defined on an open intervalDlmfPlanetmath I, possessing derivatives of all orders at aI. Then the power seriesMathworldPlanetmath

T(x)=k=0f(k)(a)k!(x-a)k

is called the Taylor seriesMathworldPlanetmath for f centered at a.

Often the case a=0 is considered, and we have the simpler

T(x)=k=0f(k)(0)k!xk,

called the Maclaurin series for f by some authors.

If we perform formal term-by-term differentiationMathworldPlanetmath of T(x), we find that T(k)(a)=f(k)(a), so it is plausible that T is an extrapolation or an approximation to f based on the derivatives of f at a single point a.

In general, T may not extrapolate or approximate f in the strictest sense: a Taylor series does not necessarily converge, and even if it does, it may not necessarily converge to the original function f (http://planetmath.org/InfinitelyDifferentiableFunctionThatIsNotAnalytic). It is also not necessarily true that a Taylor series about a equals the Taylor series of f about some other point b, when considered as functions.

Those functions whose Taylor series do converge to the function are termed analytic (http://planetmath.org/Analytic) functions.

If we start with a convergent power series f(x)=c0+c1(x-a)+c2(x-a)2+ to define a function f, then the Taylor series of f about a will turn out to be the same as our original power series.

2 Taylor polynomials

The nth degree Taylor polynomial for f centered at a is the polynomialPlanetmathPlanetmath

Pn,a(x)=k=0nf(k)(a)k!(x-a)k.

In general, Pn,a has degree n; it may be <n if some of the terms f(k)(a) vanish. Nevertheless, Pn,a is characterized by the following properties: it is the unique polynomial of degree n whose derivatives up to the nth order at a agree with those of f; it is also the unique polynomial p of degree n such that

f(x)-p(x)=o(|x-a|n),as xa.

(Landau notationPlanetmathPlanetmath is being used here.) These characterizations are sometimes helpful in actually computing Taylor polynomials.

The Taylor polynomial Pn,a is applicable even if f is only differentiableMathworldPlanetmathPlanetmath n times at a, or when its Taylor series does not converge to f.

The error from the approximation of f by Pn,a, or remainder term, Rn,a(x)=f(x)-Pn,a(x), can be quantified precisely using Taylor’s theorem (http://planetmath.org/TaylorsTheorem). In particular, Taylor’s Theorem is often used to show

limnRn,a(x)=0,

which is equivalent to T(x)=f(x), i.e. the Taylor series converges to the original function.

A term that is often heard is that of a “Taylor expansion”; depending on the circumstance, this may mean either the Taylor series or the nth degree Taylor polynomial. Both are useful to linearize or otherwise reduce the analytical complexity of a function. They are also useful for numerical approximation of functions, when the magnitude of the later terms fall off rapidly.

3 Examples

Using the above definition of a Taylor series about 0, we have the following important series representations:

ex =1+x1!+x22!+x33!+
sinx =x1!-x33!+x55!-x77!+
cosx =1-x22!+x44!-x66!+

That the series on the right converge to the functions on the left can be proven by Taylor’s Theorem.

4 Complex Taylor series

If f:U is a holomorphic functionMathworldPlanetmath from an open subset U of the complex planeMathworldPlanetmath, and aU, we may also consider its Taylor series about a (defined with the same formulae as before, but with complex numbersMathworldPlanetmathPlanetmath).

In contrast with the complex case, it turns out that all holomorphic functions are infinitely differentiable and have Taylor series that converge to them. (The radius of convergenceMathworldPlanetmath of the Taylor series at a being the radius of the largest open disk about a on which the domain of f can be extended.)

This of course makes the theory of analytic functions very nice, and many questions about real power series and real analytic functions are more easily answered by looking at the complex case. For example, we can immediately tell that the Taylor series about the origin for the tangent function (http://planetmath.org/DefinitionsInTrigonometry)

sinzcosz=tanz=z+13z3+215z5+17315z7+622835z9+

has a radius of convergence of π/2, because tan is holomorphic everywhere except at its poles at z=π/2+kπ,k, and π/2 is the distance that the closest of these poles get to the origin.

5 Taylor series and polynomials in Banach spaces

Taylor series and polynomials can be generalized to Banach spaces: for details, see Taylor’s formula in Banach spaces.

6 Taylor series and polynomials for functions of several variables

The simplest Banach spaces are the spaces n, and in this case Taylor series and Taylor polynomials for functions f:n (“functions of n variables”) look like this:

T(x) =i1=0in=0f(i1,i2,,in)(0)i1!i2!in!x1i1x2i2xnin,f(i1,i2,,in)(0)=i1++infx1i1xnin|x=0,
PN,0(x) =i1++inNf(i1,i2,,in)(0)i1!i2!in!x1i1x2i2xnin=|I|N1I!|I|fxI|x=0xI.

(For simplicity, we have put the centre at a=0. The last expression employs a commonly-used multi-index notation.)

For example, the second-degree Taylor polynomial for f(x,y)=cos(x+y) centered about (0,0) is

P2,0(x,y)=1-12x2-xy-12y2.

Note that P2,0(x,y) can also be obtained by taking the one-variable Taylor series cost=1-t2/2+ and substituting t=x+y, and keeping only the terms of degree 2. This procedure works because of the uniqueness characterization of Taylor polynomials.

7 Taylor expansion of formal polynomials

If f is a polynomial function, of degree n, then its Taylor series and its Taylor polynomial of degree n actually equal f. For this reason, we can consider Taylor series and polynomials applied to formal polynomials, without any notion of convergence. (The usual derivative is replaced by formal differentiation.) In this setting, a “Taylor expansion” of a formal polynomial p(x) about a amounts to nothing more than rewriting p(x) in the form c0+c1(x-a)++cn(x-a)n.

Similar considerations apply to formal power series, or to formal polynomials of several variables.

References

  • 1 Lars V. Ahlfors. Complex Analysis, third edition. McGraw-Hill, 1979.
  • 2 Michael Spivak. Calculus, third edition. Publish or Perish, 1994.
Title Taylor series
Canonical name TaylorSeries
Date of creation 2013-03-22 11:56:59
Last modified on 2013-03-22 11:56:59
Owner stevecheng (10074)
Last modified by stevecheng (10074)
Numerical id 24
Author stevecheng (10074)
Entry type Definition
Classification msc 41A58
Classification msc 26A24
Classification msc 30B10
Related topic PowerSeries
Related topic Analytic
Related topic TaylorsTheorem
Related topic ConverseToTaylorsTheorem
Related topic CalculusOfVariations
Related topic EulerRelation
Defines Taylor polynomial
Defines Taylor expansion
Defines Maclaurin series