In which we study the differentiability of power series and define a new function.
- Lemma 33
- For , we have .
- For , , we have .
These were both straightforward estimates.
- Theorem 34 Let be a complex power series with radius of convergence , so that we may define for with . Then is differentiable on , and .
- Definition of a function by .
- Lemma 35 (Constant value theorem) Let be a differentiable function. If for all , then is constant. We proved this using the constant value theorem for real functions (Corollary 25(iii)).
- Lemma 36 We have for all , . We proved this by applying the Constant value theorem to a suitable function.
Understanding today’s lecture
What was it about the auxiliary function in Lemma 36 that made it work? What properties did we want it to have? Can you see why I chose to use that particular function?
How else might we have defined the function (secretly thinking of it as the exponential function)? If you choose a different definition, can you derive the properties of the exponential function from that definition?
You could add the function to your functions grid. Which properties does it have?
When you have learned a bit more about complex analysis, you will find that there are other ways to prove Lemma 35. Here’s a page with a couple of approaches.
You might be interested in this piece by Tim Gowers about what we mean by a definition.
Preparation for Lecture 17
What further properties do we expect the exponential function to have? Can you prove them from our definition?
What properties do we expect to define the logarithm function to have? How might we define the logarithm function and then derive its properties?
How might we define the trigonometric functions? How might we then derive their properties?