Taylor series

From TCS Wiki
Jump to navigation Jump to search
File:Exp series.gif
An animation that shows how a Taylor series can be used to approximate a function. The blue line shows the exponential function [math]\displaystyle{ f(x)=e^{x} }[/math]. The red lines show the sum of n derivatives -- that is, n+1 terms in the Taylor series. As n gets bigger, the red line gets closer to the blue line.

A Taylor series is an idea used in computer science, calculus, and other kinds of higher-level mathematics. It is a series that is used to create an estimate (guess) of what a function looks like. There is also a special kind of Taylor series called a Maclaurin series.

The theory behind the Taylor series is that if a point is chosen on the coordinate plane (x- and y-axes), then it is possible to guess what a function will look like in the area around that point. This is done by taking the derivatives of the function and adding them all together. The idea is that it is possible to add the infinite number of derivatives and come up with a single finite sum.

In mathematics, a Taylor series shows a function as the sum of an infinite series. The sum's terms are taken from the function's derivatives. Taylor series come from Taylor's theorem.

History

The Ancient Greek philosopher Zeno of Elea first came up with the idea of this series. The paradox called "Zeno's paradox" was the result. He believed that it would be impossible to add an infinite number of values and get a single finite value as a result.

Another Greek philosopher, Aristotle, came up with an answer to the philosophical question. It was Archimedes, however, who came up with a mathematical solution using his method of exhaustion. He was able to prove that when something is split up into an infinite number of tiny pieces, they will still add up to a single whole when all of them are added back together.[1] The ancient Chinese mathematician Liu Hui proved the same thing several hundred years later.[2]

The earliest known examples of the Taylor series are the work of Mādhava of Sañgamāgrama in India in the 1300s.[3] Later Indian mathematicians wrote about his work with the trigonometric functions of sine, cosine, tangent, and arctangent. None of Mādhava's writings or records still exist today. Other mathematicians based their work on Mādhava's discoveries and worked more with these series until the 1500s.

James Gregory, a Scottish mathematician, worked in this area in the 1600s. Gregory studied the Taylor series and published several Maclaurin series. In 1715, Brook Taylor discovered a general method for applying the series to all functions. (All of the previous research showed how to apply the method to only specific functions.)[4] Colin Maclaurin published a special case of the Taylor series in the 1700s. This series, which is based around zero, is called the Maclaurin series.

Definition

A Taylor series can be used to describe any function ƒ(x) that is a smooth function (or, in mathematical terms, "infinitely differentiable.") The function ƒ can be either real or complex. The Taylor series is then used to describe what the function looks like in the neighborhood of some number a.

This Taylor series, written as a power series, looks like:

[math]\displaystyle{ f(a)+\frac {f'(a)}{1!} (x-a)+ \frac{f''(a)}{2!} (x-a)^2+\frac{f^{(3)}(a)}{3!}(x-a)^3+ \cdots. }[/math]

This formula can also be written in sigma notation as:

[math]\displaystyle{ \sum_{n=0} ^ {\infin } \frac {f^{(n)}(a)}{n!} \, (x-a)^{n} }[/math]

Here n! is the factorial of n. ƒ (n)(a) is the nth derivative of ƒ at the point a. [math]\displaystyle{ a }[/math] is a number in the function's domain. If the Taylor Series of a function is equal to that function, the function is called an "analytic function."

Maclaurin series

When [math]\displaystyle{ a=0 }[/math], the function is called a Maclaurin series. The Maclaurin series written as a power series looks like:

[math]\displaystyle{ f(0)+\frac {f'(0)}{1!} x+ \frac{f''(0)}{2!} x^2+\frac{f^{(3)}(0)}{3!}x^3+ \cdots. }[/math]

When written in sigma notation, the Maclaurin series is:

[math]\displaystyle{ \sum_{n=0} ^ {\infin } \frac {f^{(n)}(0)}{n!} \, x^{n} }[/math]

Common Taylor series

Some important Taylor series and Maclaurin series are the following.

[math]\displaystyle{ \sin x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots\text{ for all } x\! }[/math]
[math]\displaystyle{ \cos x = \sum^{\infin}_{n=0} \frac{(-1)^n}{(2n)!} x^{2n} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots\text{ for all } x\! }[/math]
[math]\displaystyle{ \sinh(x) = \sum^{\infty}_{n=0} \frac{1}{(2n+1)!} x^{2n+1} \text { for all } x \! }[/math]
[math]\displaystyle{ \cosh(x) = \sum^{\infty}_{n=0} \frac{1}{(2n)!} x^{2n} \text { for all } x \! }[/math]
[math]\displaystyle{ e^{x} = \sum^{\infty}_{n=0} \frac{1}{n!} x^{n} = 1 + x + \frac{1}{2} x^{2} + \frac{1}{6} x^{3} + \cdots\text{ for all } x \! }[/math]
[math]\displaystyle{ \frac{1}{1-x} = \sum^{\infty}_{n=0} x^{n} = 1 + x + x^2 + x^3 + x^4 + \cdots \text{ for all } |x|\lt 1 }[/math]
[math]\displaystyle{ \log(1+x) = \sum^{\infty}_{n=0} \frac{(-1)^{n+1}}{n} x^{n} \text { for all } |x|\lt 1 }[/math]
[math]\displaystyle{ \tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1} = x + \frac{x^3}{3} + \frac{2 x^5}{15} + \cdots\text{ for }|x| \lt \frac{\pi}{2}\! }[/math]

Where [math]\displaystyle{ B_{n} }[/math] is the nth Bernoulli number, and [math]\displaystyle{ \log }[/math] is the natural logarithm.

References

Template:Reflist pl:Wzór Taylora#Szereg Taylora