Analytic Functions
Okay, we know that power series define functions, and that the functions so defined have derivatives, which have power series expansions. And thus these derivatives have derivatives themselves, and so on. Thus a function defined by a power series in a given disk is actually infinitely differentiable within that same disk.
What about the other way? Say if we have a function with arbitrarily high derivatives at the point . We know that if this function has a power series about , then the only possible sequence of coefficients is given by the formula
But does this sequence actually give a power series expansion of ? That is, does the (in)famous “Taylor series”
converge to the function in any neighborhood of ? If so, we’ll call the function “analytic” at .
So, are all infinitely-differentiable functions analytic? Are all functions for which the Taylor series at actually the limit of said Taylor series near ? Well, the fact that we have a special name should give a hint that the answer isn’t always “yes”.
We’ve been working with complex power series, but let’s specialize now to real power series. That is, all the coefficients are real, we center them around real points, and they converge within a real disk — an interval — of a given radius.
Now in this context we can consider the function defined by away from . It’s straightforward to calculate
And if we define it turns out to even be differentiable there. The derivative turns out to be . And we can also calculate
And so on. The th-derivative will be , where is a polynomial. We can calculate
That is, we can set and , and thus recursively define a sequence of polynomials.
Thus for each degree we have a polynomial in multiplied by , and in the limit the latter clearly wins the race. For each derivative we can fill in the “gap” at by defining .
But now when we set up the Taylor series around what happens? The series is
Which clearly converges to the constant function . That is, the Taylor series of this function at converges to nothing like the function itself. This function is infinitely differentiable at , but it is not analytic there.
There are a lot of theorems about what conditions on an infinitely-differentiable function make it analytic, but I’m going to leave them alone for now.
[…] I’ve decided I really do need one convergence result for Taylor series. In the form we’ll consider today, it’s an extension of the ideas in the Fundamental […]
Pingback by Taylor’s Theorem « The Unapologetic Mathematician | September 30, 2008 |
[…] we can construct the Taylor series at . The coefficient formula tells […]
Pingback by The Taylor Series of the Exponential Function « The Unapologetic Mathematician | October 7, 2008 |
[…] algebra. Instead, I set off on power series and how power series expansions can be used to express analytic functions. Then I showed how power series can be used to solve certain differential equations, which led us […]
Pingback by Pi: A Wrap-Up « The Unapologetic Mathematician | October 16, 2008 |
[…] it might seem like a really weird digression, but let’s look at the Taylor series for the function . Yes, that was purely a product of our work on analysis over , but let’s […]
Pingback by Square Roots « The Unapologetic Mathematician | March 10, 2009 |
[…] this the end? Not quite. Just like in one variable we have analytic functions. Once we’re in and we have all higher derivatives we can use […]
Pingback by Smoothness « The Unapologetic Mathematician | October 21, 2009 |