## Taylor’s Theorem

Like I said yesterday, because of extraneous terms the higher differentials don’t transform well, and so they’re not going to be useful for many of our purposes. However, there’s one thing it’s really good for: generalizing Taylor’s theorem. Specifically, the version of Taylor’s theorem that resembles the mean value theorem. And we’ll even use an approach like we did for the extension of that result to higher dimensions.

So let’s say that has continuous partial derivatives up to order in an open region . If and are two points in so that the whole line segment is contained in , then there exists some point along that segment so that

Just like with the mean value theorem, we’ll define a new function for in the closed interval . This is a composite of the function with the function . This function is clearly differentiable, with constant derivative . And so the chain rule tells us that

where we’ll fudge the distinction between the derivative and the differential of because it’s a real-valued function of a single real variable.

But now we can do the same thing to take the second derivative.

and so on, with each derivative of being given by a similar formula

up until the index . Beyond that we don’t know that the higher differentials exist.

Now we take all these derivatives and stick them into the usual one-variable Taylor theorem, which tells us that

for some in the interval . With our formulæ for and its derivatives, this becomes

where is a point on the line segment , and the theorem is proved.

[…] we have analytic functions. Once we’re in and we have all higher derivatives we can use Taylor’s theorem to write out the Taylor series of our function. But this may or may not converge back to the […]

Pingback by Smoothness « The Unapologetic Mathematician | October 21, 2009 |

[…] that for all . In particular, there will be some range of so that . For any such point we can use Taylor’s theorem with to tell us […]

Pingback by Classifying Critical Points « The Unapologetic Mathematician | November 24, 2009 |