Taylor formula remainder: various expressions
Let be an times differentiable function, and let its -degree Taylor polynomial
;
Then the following expressions for the remainder hold:
1)
| | |
(Integralform)
2)
| | |
for a and (Schlömilch form)
3)
| | |
for a (Cauchy form)
4)
| | |
for a (Lagrange form)
Moreover the following result holds for the integral of the remainder fromthe center point to an arbitrary point :
5)
| | |
1) Let’s proceed by induction.
, since .
Let’s take it for true that ,and let’s compute by parts.
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
2) Let’s write the remainder in the integral form this way:
| | |
Now, since doesn’t change sign between and ,we can apply the integral Mean Value theorem (http://planetmath.org/IntegralMeanValueTheorem). So a point exists such that
| | | | |
| | | | |
| | | | |
(Note that the condition is needed to ensure convergence of theintegral)
3) and 4) are obtained from Schlömilch form by plugging in and respectively.
5) Let’s start from the right-end side:
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
1) The proof of the integral form could also be stated as follow:
Then and , so that
Let’s now compute
| | | | |
| | | | |
| | | | |
| | | | |
2) From the integral form of the remainder it is possible to obtain theentire Taylor formula; indeed, repeatly integrating by parts, one gets:
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |
| | | | |