Chapter8 - Chapter 8 Taylor and Laurent Series We think in generalities but we live in details A N Whitehead 8.1 Power Series and Holomorphic

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the 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.

Page1 / 11

Chapter8 - Chapter 8 Taylor and Laurent Series We think in generalities but we live in details A N Whitehead 8.1 Power Series and Holomorphic

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online