The Taylor formula (also Taylor's theorem ) is a result from the mathematical branch of analysis . It is named after the mathematician Brook Taylor . This formula can be used to approximate functions in the vicinity of a point using polynomials , the so-called Taylor polynomials . One also speaks of the Taylor approximation . The Taylor formula has become a tool in many engineering , social, and natural sciences because of its relatively simple applicability and usefulness . A complicated analytical expression can be approximated by a Taylor polynomial of low degree (often good), e.g. B. in physics or in the adjustment of geodetic networks. The often used small-angle approximation of the sine is a Taylor series of this function which is broken off after the first term.
Closely related to the Taylor formula is the so-called Taylor series (Taylor expansion ).
Approach by tangent
An approximation for a differentiable function at a point by a straight line , i.e. by a polynomial of the 1st degree, is given by the tangent to the equation
It can be characterized in that at the location of the function values and the values of the 1st derivative (= slope) of and match: .
If you define the rest , then applies . The function approximates near the point in the sense that holds for the rest
(see the definition of the derivative ).
Approximation by means of an osculating parabola
One can assume that one gets an even better approximation for something that is twice differentiable if one uses a quadratic polynomial , of which one demands that also hold true. The approach leads by calculating the derivatives on and , thus
This approximation function is also known as an osculating parabola.
You now define the appropriate remainder so that again . Then we get that the osculating parabola actually approximates the given function better because now (with the rule of de l'Hospital ):
Approximation by polynomials of degree n
This procedure can now easily be generalized to polynomials -th degree : Here should apply
It turns out
With de l'Hospital's rule we also find:
Hence with complete induction on it follows that for :
Qualitative Taylor formula
If -mal is differentiable, it immediately follows from the above consideration that
where stands for the Landau notation . This formula is called the “qualitative Taylor formula”.
The closer in , the better so approximated (the so-called. Taylor polynomial, see below ) at the point the function .
Definitions and sentence
The Taylor formula with integral remainder is presented below. The Taylor formula also exists in variants with a different remainder term; however, these formulas follow from the Taylor formula with an integral remainder term. They are listed below in the Remainder formulas section .
Let be an interval and a -time continuously differentiable function . In the following formulas stand for the first, second, ..., -th derivative of the function .
The -th Taylor polynomial at the expansion point is defined by:
The -th integral remainder is defined by:
Theorem (Taylor formula with integral remainder term)
For everyone and off applies:
The proof of the Taylor formula with integral remainder is done by induction over .
The induction start corresponds exactly to the fundamental theorem of analysis , applied to the once continuously differentiable function :
The induction step (it has to be shown that the formula always holds for, if it holds for a ) takes place through partial integration . For -time continuously differentiable it results:
Besides the integral formula, there are other representations of the remainder of the term.
Schlömilch residual link and its derivation
According to the mean value theorem of integral calculus, it follows for every natural number with that there is an between and so that:
This follows the Schlömilch residual limb form :
for a between and .
Special cases of the Schlömilch residual limb
A special case, namely the one with , is the Cauchy form :
for a between and .
In the special case we get the Lagrangian remainder :
for a between and . In this representation, the -th derivative of need not be continuous.
Peano residual link
With the Taylor formula with Lagrange remainder one obtains for -mal continuously differentiable also:
That’s why you can as a remainder
use, with only times must be continuously differentiable. This remainder is called a Peano remainder .
If one sets , that is , the Lagrangian representation receives the form
and the Cauchysche
each for one between 0 and 1.
Residual link estimation
If the interval is in (the domain of ), one can derive the following estimate with the remainder of Lagrange (see in the section remainder formulas ) for all and because of between and (and thus also ):
If it applies to all , then the estimate applies to the remainder of the term
Approximation formulas for sine and cosine
One application of the Taylor formula are approximation formulas, presented here using the example of sine and cosine (where the argument is given in radians ).
For , the 4th Taylor polynomial of the sine function at the expansion point is 0
From results for the remainder of Lagrange with between 0 and . Due to the remainder of the term .
If it is between and , the relative deviation from to is less than 0.5%.
In fact, the 3rd order Taylor polynomial is sufficient for approximating the sine to this accuracy, since for , and therefore . This also results in the following further estimate for the third and fourth Taylor polynomial, which is more precise for very large x:
The following figure shows the graphs of some Taylor polynomials of the sine around development point 0 for . The graph to belongs to the Taylor series , which corresponds to the sine function.
Approximation of the sine by Taylor polynomials to
The fourth Taylor polynomial of the cosine function at the expansion point 0 has this form in the Horner scheme :
If x is between and , the relative deviation is less than 0.05%.
You can also use these formulas for cotangent and tangent , because it is
with a relative deviation of less than 0.5% for , and with the same relative deviation (there is no Taylor polynomial of the tangent).
If you need an even higher accuracy for your approximation formulas, you can fall back on higher Taylor polynomials, which approximate the functions even better.
Taylor formula in the multidimensional
In the following, let us be a -time continuously differentiable function and . Is further , wherein .
Furthermore, be as in the multi-index notation . In the following section, the multi-index notation is used so that one can immediately see that the multi-dimensional case actually results in the same formulas as the one-dimensional case.
Multi-dimensional Taylor polynomial
With the multidimensional chain rule and induction we get that
where is the multinomial coefficient, see multinomial theorem .
If you represent a Taylor polynomial with development point 0 at point 1, this formula gives the definition of the multi-dimensional Taylor polynomial of at the development point :
Here it was used that .
The second Taylor polynomial of a scalar-valued function in more than one variable can be written more compactly up to the second order than:
Here, the gradient and the Hessian matrix of each at the site .
The second Taylor polynomial is also called an oscillating quadric .
Multi-dimensional integral remainder
The multidimensional remainder of the term is also defined using the multi-index notation:
Multi-dimensional Taylor formula
From the one-dimensional Taylor formula it follows that
Therefore, according to the definition of above , one obtains:
Multi-dimensional remainder formulas
The one-dimensional non-integral residual term formulas can also be generalized for the multidimensional case using the formula for .
The Schlömilch remainder becomes like this
the Lagrangian remainder
and the Cauchy remainder
for each one .
Qualitative Taylor formula
According to the multidimensional Taylor formula with the Lagrange remainder, we get:
Because we get further:
The last part tends to zero, since the partial derivatives of the degree are all continuous and are located between and and thus also converge to, if .
We get the following estimate, which is called the "(multidimensional) qualitative Taylor formula":
for , where stands for Landau notation .
It's supposed to function
to be developed around the point .
Function (red) and Taylor expansion (green)
In this example, the function is to be developed up to the second degree, that is, one wants to calculate a second order Taylor polynomial, the so-called oscillation quadric . So it applies . Because of need, according to the multi-index notation , the tuples , , , , and are taken into account. Because of Schwarz's theorem, it holds that
The partial derivatives of the function are:
It follows with the multi-dimensional Taylor formula:
If you use the alternative representation with the help of the gradient and the Hessian matrix, you get:
Otto Forster : Analysis. Volume 1: Differential and integral calculus of a variable. 8th, improved edition. Vieweg + Teubner, Wiesbaden 2006, ISBN 3-8348-0088-0 ( Vieweg study. Basic course in mathematics ).
- Otto Forster: Analysis. Volume 2: differential calculus in R n . Ordinary differential equations. 7th, improved edition. Vieweg + Teubner, Wiesbaden 2006, ISBN 3-8348-0250-6 ( Vieweg study. Basic course in mathematics ).
Bernhard Heck : Calculation methods and evaluation models for national surveying. Classic and modern methods. Wichmann, Karlsruhe 1987, ISBN 3-87907-173-X , Chapters 4, 7 and 13 (Mathematical Models and Fundamentals).
Konrad Königsberger : Analysis. Volume 2. 3rd, revised edition. Springer, Berlin et al. 2000, ISBN 3-540-66902-7 .
↑ Brook Taylor: Methodus Incrementorum Directa et Inversa. Pearson, London 1717, p. 21 .
^ Königsberger: Analysis. Volume 2. 2000, p. 66.