This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Chapter 8 Taylor and Laurent Series We think in generalities, but we live in details. A. N. Whitehead 8.1 Power Series and Holomorphic Functions We will see in this section that power series and holomorphic functions are intimately related. In fact, the two cornerstone theorems of this section are that any power series represents a holomorphic function, and conversely, any holomorphic function can be represented by a power series. We begin by showing a power series represents a holomorphic function, and consider some of the consequences of this: Theorem 8.1. Suppose f ( z ) = ∑ k ≥ c k ( z z ) k has radius of convergence R . Then f is holo morphic in { z ∈ C :  z z  < R } . Proof. Given any closed curve γ ⊂ { z ∈ C :  z z  < R } , we have by Corollary 7.27 Z γ X k ≥ c k ( z z ) k dz = 0 . On the other hand, Corollary 7.26 says that f is continuous. Now apply Morera’s theorem (Corol lary 5.17). A special case of the last result concerns power series with infinite radius of convergence: those represent entire functions. Now that we know that power series are holomorphic (i.e., differentiable) on their regions of convergence we can ask how to find their derivatives. The next result says that we can simply differentiate the series “term by term.” Theorem 8.2. Suppose f ( z ) = ∑ k ≥ c k ( z z ) k has radius of convergence R . Then f ( z ) = X k ≥ 1 k c k ( z z ) k 1 , and the radius of convergence of this power series is also R . 82 CHAPTER 8. TAYLOR AND LAURENT SERIES 83 Proof. Let f ( z ) = ∑ k ≥ c k ( z z ) k . Since we know that f is holomorphic in its region of conver gence we can use Theorem 5.1. Let γ be any simple closed curve in { z ∈ C :  z z  < R } . Note that the power series of f converges uniformly on γ , so that we are free to interchange integral and infinite sum. And then we use Theorem 5.1 again , but applied to the function ( z z ) k . Here are the details: f ( z ) = 1 2 πi Z γ f ( w ) ( w z ) 2 dw = 1 2 πi Z γ ∑ k ≥ c k ( w z ) k ( w z ) 2 dw = X k ≥ c k · 1 2 πi Z γ ( w z ) k ( w z ) 2 dw = X k ≥ c k · d dw ( w z ) k w = z = X k ≥ k c k ( z z ) k 1 . The last statement of the theorem is easy to show: the radius of convergence R of f ( z ) is at least R (since we have shown that the series converges whenever  z z  < R ), and it cannot be larger than R by comparison to the series for f ( z ), since the coefficients for ( z z ) f ( z ) are bigger than the corresponding ones for f ( z ). Naturally, the last theorem can be repeatedly applied to f , then to f 00 , and so on. The various derivatives of a power series can also be seen as ingredients of the series itself. This is the statement of the following Taylor 1 series expansion ....
View
Full
Document
This note was uploaded on 06/18/2011 for the course MATH 375 taught by Professor Marchesi during the Spring '10 term at Binghamton University.
 Spring '10
 MARCHESI
 Power Series

Click to edit the document details