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: F Complex Analysis In this appendix, we collect a few basic definitions and facts from complex analysis. Complex analysis is a vast and beautiful subject. Although we make only limited use of complex analysis in this volume, there is a rich interaction between harmonic analysis and complex analysis, some of which can be seen in the texts by Dym and McKean [DM72] and Young [You01]. Some basic texts on complex analysis include Conway [Con78], Marsden and Hoffman [MH87], and Stein and Shakarchi [SS03b]. F.1 Analytic Functions Complex analysis is concerned with functions that map the complex plane to itself. An analytic function is one that has a complex derivative. This is a very strong requirement no matter what path to the origin that we take, the limit in the definition of the derivative must exist. Definition F.1 (Analytic Function). Let C be open. Then a function f : C is analytic or holomorphic on if the limit f ( z ) = lim h f ( z + h ) f ( z ) h (F.1) exists for all z . The function f is called the derivative or complex deriva tive of f. If f : C C is analytic on C , then we say that f is entire . Note that the variable h in equation (F.1) is a complex variable. The meaning of the limit is that for every > , there exists a > 0 such that <  h  < , z + h = vextendsingle vextendsingle vextendsingle f ( z ) f ( z + h ) f ( z ) h vextendsingle vextendsingle vextendsingle < . For example, any polynomial p ( z ) = a + a 1 z + + a n z n is entire, as is the exponential function e z . The function f ( z ) = 1 /z is analytic on C \{ } . If r > , then we set r z = e z ln r . 416 F Complex Analysis There are many equivalent formulations of analyticity, which we will not present. For us, the important fact is that analytic functions are very highly constrained. Some of the properties of analytic functions are laid out in the next theorem. In particular, an analytic function is uniquely determined by its values on any infinite set that has an accumulation point. Theorem F.2 (Properties of Analytic Functions). If f is analytic on an open set C , then the following statements hold. (a) f is analytic on . (b) f has infinitely many complex derivatives on . (c) Let S be any infinite subset of that has an accumulation point in . If g is also analytic on and f ( z ) = g ( z ) for all z S, then f ( z ) = g ( z ) for all z . We also have the following two important properties of analytic functions. Theorem F.3 (Liouvilles Theorem). If f is both bounded and analytic on all of C , then f is constant. Theorem F.4 (Maximum Modulus Principle). Let be a bounded, open, and connected subset of C . Suppose that f is analytic on and continu ous on , and let M = sup z  f ( z )  be the maximum of  f  on the boundary of . Then  f ( z )  M for all z . Moreover, if  f ( z )  = M for some z then f...
View
Full
Document
This note was uploaded on 08/25/2011 for the course MATH 7338 taught by Professor Heil during the Fall '09 term at Georgia Institute of Technology.
 Fall '09
 HEIL
 The Land

Click to edit the document details