Functions of a Complex Variable I Math 561, Fall 2021

Total Page:16

File Type:pdf, Size:1020Kb

Functions of a Complex Variable I Math 561, Fall 2021 Functions of a Complex Variable I Math 561, Fall 2021 Jens Lorenz September 8, 2021 Department of Mathematics and Statistics, UNM, Albuquerque, NM 87131 Contents 1 The Field C of Complex Numbers; Some Simple Concepts 6 1.1 The Field C of Complex Numbers and the Euclidean Plane . .6 1.2 Some Simple Concepts . .8 1.3 Complex Differentiability . 13 1.4 Alternating Series . 14 1.5 Historical Remarks . 16 2 The Cauchy Product of Two Series: Proof of the Addition Theorem for the Exponential Function 17 2.1 The Cauchy Product of Two Series . 17 2.2 The Addition Theorem for the Exponential Function . 20 2.3 Powers of e ......................................... 21 2.3.1 Integer Powers . 21 2.3.2 Rational Powers . 22 2.4 Euler's Identity and Implications . 23 2.5 The Polar Representation of a Complex Number . 24 2.6 Further Properties of the Exponential Function . 26 2.7 The Main Branch of the Complex Logarithm . 26 2.8 Remarks on the Multivalued Logarithm . 29 3 Complex Differentiability 30 3.1 Outline and Notations . 30 3.2 R{Linear and C{Linear Maps from R2 C into Itself . 30 3.3 The Polar Representation of a Complex' Number and the Corresponding Matrix . 31 3.4 Real and Complex Differentiability . 32 3.5 The Complex Logarithm as an Example . 34 3.6 The Operators @=@z and @=@z¯ .............................. 36 1 4 Complex Line Integrals and Cauchy's Theorem 39 4.1 Curves . 39 4.2 Definition and Simple Properties of Line Integrals . 40 4.3 Goursat's Lemma . 44 4.4 Construction of a Primitive in a Disk . 46 4.5 Cauchy's Theorem in a Disk . 48 4.6 Extensions . 48 4.7 Cauchy's Integral Formula in a Disk . 51 5 Holomorphic Functions Written As Power Series 55 5.1 Main Result . 55 5.2 The Geometric Series . 56 5.3 Power Series Expansion Using the Geometric Series . 57 6 Functions Defined by Power Series 60 6.1 Remarks on the Exchange of Limits . 61 6.2 The Disk of Convergence of a Power Series . 62 6.3 Remarks on lim sup and lim inf . 65 6.4 The Radius of Convergence of a Power Series: Hadamard's Formula . 68 6.5 Matrix{Valued Analytic Functions and Hadamard's Formula for the Spectral Radius of a Matrix . 70 6.6 Differentiation of Power Series . 71 7 The Cauchy Estimates and Implications 77 7.1 The Cauchy Estimates . 77 7.2 Liouville's Theorem . 77 7.3 The Fundamental Theorem of Algebra . 78 7.4 The Zeros of p(z) and p0(z)................................ 80 8 Morera's Theorem and Locally Uniform Limits of Holomorphic Functions; Stir- ling's Formula for the Γ{Function 82 8.1 On Connected Sets . 82 8.2 Morera's Theorem . 82 8.3 Modes of Convergence of a Sequence of Functions . 83 8.4 Integration with Respect to a Parameter . 86 8.5 Application to the Γ–Function: Analyticity in the Right Half{Plane . 87 8.6 Stirling's Formula . 89 9 Zeros of Holomorphic Functions and the Identity Theorem; Analytic Continua- tion 94 10 Isolated Singularities and Laurent Expansion 96 10.1 Classification of Isolated Singularities . 96 10.2 Removable Singularities . 97 10.3 Theorem of Casorati{Weierstrass on Essential Singularities . 98 10.4 Laurent Series . 100 10.4.1 Terminology . 100 10.4.2 Characterization of Isolated Singularities in Terms of Laurent Expansions . 101 10.4.3 Convergence of Laurent Series . 101 2 10.4.4 Examples . 102 10.4.5 Laurent Expansion: Uniqueness . 103 10.4.6 Laurent Expansion: Existence . 104 10.4.7 Local Behavior and Laurent Expansion . 106 11 The Calculus of Residues; Evaluation of Integrals; Partial Fraction Decomposi- tions 108 11.1 Computation of Residues . 108 11.1.1 The Case of a Simple Pole . 109 11.1.2 Poles of Order k .................................. 110 11.2 Calculus of Residues . 113 11.2.1 Direct Applications of the Residue Theorem . 113 11.2.2 Substitution of z = eit ............................... 115 11.2.3 Integrals over < x < ............................ 116 11.2.4 Extensions Using−∞ Jordan's1 Lemma . 118 11.2.5 A Pole on the Real Axis . 120 11.2.6 Use of a Second Path . 123 11.3 Derivation of a Partial Fraction Decomposition via Integration . 125 11.4 The Partial Fraction Decomposition of π cot(πz).................... 128 11.5 Summary of Examples . 130 11.6 Practice Problems . 131 12 The Bernoulli Numbers, the Values ζ(2m), and Sums of Powers 133 12.1 The Bernoulli Numbers . 133 12.2 The Taylor Series of z cot z in Terms of Bernoulli Numbers . 136 12.3 The Values ζ(2m); m = 1; 2;::: .............................. 136 12.4 Sums of Powers and Bernoulli Numbers . 138 13 Properties of the Γ{Function 141 13.1 Extension of the Domain of Definition of Γ(z) Using the Functional Equation . 141 13.2 Extension of the Domain of Definition of Γ(z) Using Series Expansion . 142 13.3 The Reflection Formula . 143 13.4 Special Values of Γ(z)................................... 144 13.5 Simple Applications . 145 13.6 The Function ∆(z) = 1=Γ(z)............................... 146 13.7 Log{Convexity of Γ(x)................................... 146 13.8 Summary . 148 14 Log Functions 149 14.1 The Main Branch of log(z): First Introduction . 149 14.2 Auxiliary Results . 149 14.3 The Main Branch of the Complex Logarithm: Inversion of w ew .......... 150 14.4 Complex Logarithms in Other Simply Connected Regions . .! . 152 14.5 Argument Functions . 153 15 Extensions of Cauchy's Theorem in a Disk 155 15.1 Homotopic Curves . 155 15.2 Cauchy's Theorem . 155 3 16 The General Residue Theorem and the Argument Principle 158 16.1 Remarks on Solutions of Equations under Perturbations . 158 16.2 The Winding Number or Index . 159 16.3 The General Residue Theorem . 160 16.4 Zero{Counting of Holomorphic Maps . 162 16.4.1 The Multiplicity of a Zero . 162 16.4.2 The Zeros of a Holomorphic Function in a Disk . 162 16.4.3 The Argument Principle and Log{Functions . 164 16.5 The Change of Argument and Zeros of Polynomials . 167 17 Applications and Extensions of the Argument Principle 170 17.1 Perturbation of an Equation: An Example . 170 17.2 Perturbation of a Multiple Zero . 171 17.3 The Open Mapping Theorem . 173 17.4 Extension of Theorem 16.2 . 174 17.5 Local Inverses of Holomorphic Functions . 174 17.6 The Argument Principle for Meromorphic Functions . 178 17.7 Rouch´e'sTheorem and Hurwitz's Theorem . 179 17.8 An Application of Rouch´e'sTheorem . 181 18 Matrix{Valued and Operator Valued Analytic Functions 182 18.1 Outline and Examples . 182 18.2 Analyticity of the Resolvent . ..
Recommended publications
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann Subseries: Mathematisches Institut der Universit~it und Max-Planck-lnstitut for Mathematik, Bonn - voL 5 Adviser: E Hirzebruch 1111 Arbeitstagung Bonn 1984 Proceedings of the meeting held by the Max-Planck-lnstitut fur Mathematik, Bonn June 15-22, 1984 Edited by E Hirzebruch, J. Schwermer and S. Suter I IIII Springer-Verlag Berlin Heidelberg New York Tokyo Herausgeber Friedrich Hirzebruch Joachim Schwermer Silke Suter Max-Planck-lnstitut fLir Mathematik Gottfried-Claren-Str. 26 5300 Bonn 3, Federal Republic of Germany AMS-Subject Classification (1980): 10D15, 10D21, 10F99, 12D30, 14H10, 14H40, 14K22, 17B65, 20G35, 22E47, 22E65, 32G15, 53C20, 57 N13, 58F19 ISBN 3-54045195-8 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-15195-8 Springer-Verlag New York Heidelberg Berlin Tokyo CIP-Kurztitelaufnahme der Deutschen Bibliothek. Mathematische Arbeitstagung <25. 1984. Bonn>: Arbeitstagung Bonn: 1984; proceedings of the meeting, held in Bonn, June 15-22, 1984 / [25. Math. Arbeitstagung]. Ed. by E Hirzebruch ... - Berlin; Heidelberg; NewYork; Tokyo: Springer, 1985. (Lecture notes in mathematics; Vol. 1t11: Subseries: Mathematisches I nstitut der U niversit~it und Max-Planck-lnstitut for Mathematik Bonn; VoL 5) ISBN 3-540-t5195-8 (Berlin...) ISBN 0-387q5195-8 (NewYork ...) NE: Hirzebruch, Friedrich [Hrsg.]; Lecture notes in mathematics / Subseries: Mathematischee Institut der UniversitAt und Max-Planck-lnstitut fur Mathematik Bonn; HST This work ts subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re~use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks.
    [Show full text]
  • Arxiv:1207.1472V2 [Math.CV]
    SOME SIMPLIFICATIONS IN THE PRESENTATIONS OF COMPLEX POWER SERIES AND UNORDERED SUMS OSWALDO RIO BRANCO DE OLIVEIRA Abstract. This text provides very easy and short proofs of some basic prop- erties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor’s series, Prin- ciple of Identity, Principle of Isolated Zeros, and Binomial Series). This is done by simplifying the usual presentation of unordered sums of a (countable) family of complex numbers. All the proofs avoid formal power series, double series, iterated series, partial series, asymptotic arguments, complex integra- tion theory, and uniform continuity. The use of function continuity as well as epsilons and deltas is kept to a mininum. Mathematics Subject Classification: 30B10, 40B05, 40C15, 40-01, 97I30, 97I80 Key words and phrases: Power Series, Multiple Sequences, Series, Summability, Complex Analysis, Functions of a Complex Variable. Contents 1. Introduction 1 2. Preliminaries 2 3. Absolutely Convergent Series and Commutativity 3 4. Unordered Countable Sums and Commutativity 5 5. Unordered Countable Sums and Associativity. 9 6. Sum of a Double Sequence and The Cauchy Product 10 7. Power Series - Algebraic Properties 11 8. Power Series - Analytic Properties 14 References 17 arXiv:1207.1472v2 [math.CV] 27 Jul 2012 1. Introduction The objective of this work is to provide a simplification of the theory of un- ordered sums of a family of complex numbers (in particular, for a countable family of complex numbers) as well as very easy proofs of basic operations and properties concerning complex power series, such as addition, scalar multiplication, multipli- cation, division, rearrangement, composition, differentiation (see Apostol [2] and Vyborny [21]), Taylor’s formula, principle of isolated zeros, uniqueness, principle of identity, and binomial series.
    [Show full text]
  • Formal Power Series - Wikipedia, the Free Encyclopedia
    Formal power series - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Formal_power_series Formal power series From Wikipedia, the free encyclopedia In mathematics, formal power series are a generalization of polynomials as formal objects, where the number of terms is allowed to be infinite; this implies giving up the possibility to substitute arbitrary values for indeterminates. This perspective contrasts with that of power series, whose variables designate numerical values, and which series therefore only have a definite value if convergence can be established. Formal power series are often used merely to represent the whole collection of their coefficients. In combinatorics, they provide representations of numerical sequences and of multisets, and for instance allow giving concise expressions for recursively defined sequences regardless of whether the recursion can be explicitly solved; this is known as the method of generating functions. Contents 1 Introduction 2 The ring of formal power series 2.1 Definition of the formal power series ring 2.1.1 Ring structure 2.1.2 Topological structure 2.1.3 Alternative topologies 2.2 Universal property 3 Operations on formal power series 3.1 Multiplying series 3.2 Power series raised to powers 3.3 Inverting series 3.4 Dividing series 3.5 Extracting coefficients 3.6 Composition of series 3.6.1 Example 3.7 Composition inverse 3.8 Formal differentiation of series 4 Properties 4.1 Algebraic properties of the formal power series ring 4.2 Topological properties of the formal power series
    [Show full text]
  • HOMOTECIA Nº 6-15 Junio 2017
    HOMOTECIA Nº 6 – Año 15 Martes, 1º de Junio de 2017 1 Entre las expectativas futuras que se tienen sobre un docente en formación, está el considerar como indicativo de que logrará realizarse como tal, cuando evidencia confianza en lo que hace, cuando cree en sí mismo y no deja que su tiempo transcurra sin pro pósitos y sin significado. Estos son los principios que deberán pautar el ejercicio de su magisterio si aspira tener éxito en su labor, lo cual mostrará mediante su afán por dar lo bueno dentro de sí, por hacer lo mejor posible, por comprometerse con el porvenir de quienes confiadamente pondrán en sus manos la misión de enseñarles. Pero la responsabilidad implícita en este proceso lo debería llevar a considerar seriamente algunos GIACINTO MORERA (1856 – 1907 ) aspectos. Obtener una acreditación para enseñar no es un pergamino para exhib ir con petulancia ante familiares y Nació el 18 de julio de 1856 en Novara, y murió el 8 de febrero de 1907, en Turín; amistades. En otras palabras, viviendo en el mundo educativo, es ambas localidades en Italia. asumir que se produjo un cambio significativo en la manera de Matemático que hizo contribuciones a la dinámica. participar en este: pasó de ser guiado para ahora guiar. No es que no necesite que se le orie nte como profesional de la docencia, esto es algo que sucederá obligatoriamente a nivel organizacional, Giacinto Morera , hijo de un acaudalado hombre de pero el hecho es que adquirirá una responsabilidad mucho mayor negocios, se graduó en ingeniería y matemáticas en la porque así como sus preceptores universitarios tuvieron el compromiso de formarlo y const ruirlo cultural y Universidad de Turín, Italia, habiendo asistido a los académicamente, él tendrá el mismo compromiso de hacerlo con cursos por Enrico D'Ovidio, Angelo Genocchi y sus discípulos, sea cual sea el nivel docente donde se desempeñe.
    [Show full text]
  • Real Proofs of Complex Theorems (And Vice Versa)
    REAL PROOFS OF COMPLEX THEOREMS (AND VICE VERSA) LAWRENCE ZALCMAN Introduction. It has become fashionable recently to argue that real and complex variables should be taught together as a unified curriculum in analysis. Now this is hardly a novel idea, as a quick perusal of Whittaker and Watson's Course of Modern Analysis or either Littlewood's or Titchmarsh's Theory of Functions (not to mention any number of cours d'analyse of the nineteenth or twentieth century) will indicate. And, while some persuasive arguments can be advanced in favor of this approach, it is by no means obvious that the advantages outweigh the disadvantages or, for that matter, that a unified treatment offers any substantial benefit to the student. What is obvious is that the two subjects do interact, and interact substantially, often in a surprising fashion. These points of tangency present an instructor the opportunity to pose (and answer) natural and important questions on basic material by applying real analysis to complex function theory, and vice versa. This article is devoted to several such applications. My own experience in teaching suggests that the subject matter discussed below is particularly well-suited for presentation in a year-long first graduate course in complex analysis. While most of this material is (perhaps by definition) well known to the experts, it is not, unfortunately, a part of the common culture of professional mathematicians. In fact, several of the examples arose in response to questions from friends and colleagues. The mathematics involved is too pretty to be the private preserve of specialists.
    [Show full text]
  • Math 263A Notes: Algebraic Combinatorics and Symmetric Functions
    MATH 263A NOTES: ALGEBRAIC COMBINATORICS AND SYMMETRIC FUNCTIONS AARON LANDESMAN CONTENTS 1. Introduction 4 2. 10/26/16 5 2.1. Logistics 5 2.2. Overview 5 2.3. Down to Math 5 2.4. Partitions 6 2.5. Partial Orders 7 2.6. Monomial Symmetric Functions 7 2.7. Elementary symmetric functions 8 2.8. Course Outline 8 3. 9/28/16 9 3.1. Elementary symmetric functions eλ 9 3.2. Homogeneous symmetric functions, hλ 10 3.3. Power sums pλ 12 4. 9/30/16 14 5. 10/3/16 20 5.1. Expected Number of Fixed Points 20 5.2. Random Matrix Groups 22 5.3. Schur Functions 23 6. 10/5/16 24 6.1. Review 24 6.2. Schur Basis 24 6.3. Hall Inner product 27 7. 10/7/16 29 7.1. Basic properties of the Cauchy product 29 7.2. Discussion of the Cauchy product and related formulas 30 8. 10/10/16 32 8.1. Finishing up last class 32 8.2. Skew-Schur Functions 33 8.3. Jacobi-Trudi 36 9. 10/12/16 37 1 2 AARON LANDESMAN 9.1. Eigenvalues of unitary matrices 37 9.2. Application 39 9.3. Strong Szego limit theorem 40 10. 10/14/16 41 10.1. Background on Tableau 43 10.2. KOSKA Numbers 44 11. 10/17/16 45 11.1. Relations of skew-Schur functions to other fields 45 11.2. Characters of the symmetric group 46 12. 10/19/16 49 13. 10/21/16 55 13.1.
    [Show full text]
  • Complex Analysis
    8 Complex Representations of Functions “He is not a true man of science who does not bring some sympathy to his studies, and expect to learn something by behavior as well as by application. It is childish to rest in the discovery of mere coincidences, or of partial and extraneous laws. The study of geometry is a petty and idle exercise of the mind, if it is applied to no larger system than the starry one. Mathematics should be mixed not only with physics but with ethics; that is mixed mathematics. The fact which interests us most is the life of the naturalist. The purest science is still biographical.” Henry David Thoreau (1817-1862) 8.1 Complex Representations of Waves We have seen that we can determine the frequency content of a function f (t) defined on an interval [0, T] by looking for the Fourier coefficients in the Fourier series expansion ¥ a0 2pnt 2pnt f (t) = + ∑ an cos + bn sin . 2 n=1 T T The coefficients take forms like 2 Z T 2pnt an = f (t) cos dt. T 0 T However, trigonometric functions can be written in a complex exponen- tial form. Using Euler’s formula, which was obtained using the Maclaurin expansion of ex in Example A.36, eiq = cos q + i sin q, the complex conjugate is found by replacing i with −i to obtain e−iq = cos q − i sin q. Adding these expressions, we have 2 cos q = eiq + e−iq. Subtracting the exponentials leads to an expression for the sine function. Thus, we have the important result that sines and cosines can be written as complex exponentials: 286 partial differential equations eiq + e−iq cos q = , 2 eiq − e−iq sin q = .( 8.1) 2i So, we can write 2pnt 1 2pint − 2pint cos = (e T + e T ).
    [Show full text]
  • Sample Questions for Preliminary Complex Analysis Exam
    SAMPLE QUESTIONS FOR PRELIMINARY COMPLEX ANALYSIS EXAM VERSION 2.0 Contents 1. Complex numbers and functions 1 2. Definition of holomorphic function 1 3. Complex Integrals and the Cauchy Integral Formula 2 4. Sequences and series, Taylor series, and series of analytic functions 2 5. Identity Theorem 3 6. Schwarz Lemma and Cauchy Inequalities 4 7. Liouville's Theorem 4 8. Laurent series and singularities 4 9. Residue Theorem 5 10. Contour Integrals 5 11. Argument Principle 6 12. Rouch´e'sTheorem 6 13. Conformal maps 7 14. Analytic Continuation 7 15. Suggested Practice Exams 8 1. Complex numbers and functions (1.1) Write all values of ii in the form a + bi. 2 (1.2) Prove thatp sin z = z has infinitely many complex solutions. (1.3) Find log 3 + i, using the principal branch. 2. Definition of holomorphic function (2.1) Find all v : R2 ! R2 such that for z = x + iy, f(z) = (x3 − 3xy2) + iv(x; y) is analytic. (2.2) Prove that if g : C ! C is a C1 function, the following two definitions of \holomor- phic" are the same: @g (a) @z = 0 0 2 2 (b) the derivative transformation g (z0): R ! R is C-linear, for all z0 2 C. That 0 0 is, g (z0)mw = mwg (z0) for all w 2 C, where mw is the linear transformation given by complex multiplication by w. @h (2.3) True or false: If h is an entire function such that @z 6= 0 everywhere, then h is injective. 1 2 VERSION 2.0 (2.4) Find all possible a; b 2 R such that f (x; y) = x2 +iaxy +by2, x; y 2 R is holomorphic as a function of z = x + iy.
    [Show full text]
  • 4 Complex Analysis
    4 Complex Analysis “He is not a true man of science who does not bring some sympathy to his studies, and expect to learn something by behavior as well as by application. It is childish to rest in the discovery of mere coincidences, or of partial and extraneous laws. The study of geometry is a petty and idle exercise of the mind, if it is applied to no larger system than the starry one. Mathematics should be mixed not only with physics but with ethics; that is mixed mathematics. The fact which interests us most is the life of the naturalist. The purest science is still biographical.” Henry David Thoreau (1817 - 1862) We have seen that we can seek the frequency content of a signal f (t) defined on an interval [0, T] by looking for the the Fourier coefficients in the Fourier series expansion In this chapter we introduce complex numbers and complex functions. We a ¥ 2pnt 2pnt will later see that the rich structure of f (t) = 0 + a cos + b sin . 2 ∑ n T n T complex functions will lead to a deeper n=1 understanding of analysis, interesting techniques for computing integrals, and The coefficients can be written as integrals such as a natural way to express analog and dis- crete signals. 2 Z T 2pnt an = f (t) cos dt. T 0 T However, we have also seen that, using Euler’s Formula, trigonometric func- tions can be written in a complex exponential form, 2pnt e2pint/T + e−2pint/T cos = . T 2 We can use these ideas to rewrite the trigonometric Fourier series as a sum over complex exponentials in the form ¥ 2pint/T f (t) = ∑ cne , n=−¥ where the Fourier coefficients now take the form Z T −2pint/T cn = f (t)e dt.
    [Show full text]
  • Sunti Delle Conferenze
    Sunti delle Conferenze Analisi complessa a Pisa, 1860-1900 UMBERTO BOTTAZZINI (Università di Milano) Nel 1859 Enrico Betti inaugura gli studi di analisi complessa a Pisa (e di fatto in Italia) pubblicando la traduzione italiana della Inauguraldissertation (1851) di Riemann. L’incontro con il grande matematico conosciuto l’anno prima a Göttingen segna una svolta nella carriera scientifica di Betti, che fa dell’analisi complessa l’oggetto delle sue lezioni e delle sue pubblicazioni (1860/61 e 1862) che incontrano l’approvazione di Riemann, durante il suo soggiorno in Italia. Nella conferenza saranno discussi i contributi all’analisi complessa di Betti, Dini e Bianchi. Ulisse Dini raccolse l’eredità del maestro dapprima in articoli (1870/71, 1871/73, 1881) che suscitano l’interesse della comunità internazionale, e poi in lezioni litografate (1890) che hanno offerto a Luigi Bianchi il modello e il riferimento iniziale per le sue celebri lezioni sulla teoria delle funzioni di variabile complessa in due volumi, apparse prima in versione litografata (1898/99) e poi a stampa in diverse edizioni. Il periodo romano di Luigi Cremona: tra Statica Grafica e Geometria Algebrica, la Biblioteca Nazionale, i Lincei, il Senato ALDO BRIGAGLIA (Università di Palermo) Il periodo romano (1873 – 1903) è considerato il meno produttivo, dal punto di vista scientifico, della vita di Luigi Cremona. Un periodo quasi unicamente dedicato agli aspetti politico – istituzionali della sua attività. Senza voler capovolgere questo giudizio consolidato, anzi sottolineando
    [Show full text]
  • Vector-Valued Holomorphic Functions
    Appendix A Vector-valued Holomorphic Functions Let X be a Banach space and let Ω ⊂ C be an open set. A function f :Ω→ X is holomorphic if f(z0 + h) − f(z0) f (z0) := lim (A.1) h→0 h h∈C\{0} exists for all z0 ∈ Ω. If f is holomorphic, then f is continuous and weakly holomorphic (i.e. x∗ ◦ f ∗ ∗ is holomorphic for all x ∈ X ). If Γ := {γ(t):t ∈ [a,b]} is a finite, piecewise smooth contour in Ω, we can form the contour integral f(z) dz. This coincides Γ b with the Bochner integral a f(γ(t))γ (t) dt (see Section 1.1). Similarly we can define integrals over infinite contours when the corresponding Bochner integral is absolutely convergent. Since 1 2 f(z) dz, x∗ = f(z),x∗ dz, Γ Γ many properties of holomorphic functions and contour integrals may be extended from the scalar to the vector-valued case, by applying the Hahn-Banach theorem. For example, Cauchy’s theorem is valid, and also Cauchy’s integral formula: 1 f(z) f(w)= dz (A.2) − 2πi |z−z0|=r z w whenever f is holomorphic in Ω, the closed ball B(z0,r) is contained in Ω and w ∈ B(z0,r). As in the scalar case one deduces Taylor’s theorem from this. Proposition A.1. Let f :Ω→ X be holomorphic, where Ω ⊂ C is open. Let z0 ∈ Ω,r>0 such that B(z0,r) ⊂ Ω.Then W. Arendt et al., Vector-valued Laplace Transforms and Cauchy Problems: Second Edition, 461 Monographs in Mathematics 96, DOI 10.1007/978-3-0348-0087-7, © Springer Basel AG 2011 462 A.
    [Show full text]
  • Complex Function Theory
    Complex Function Theory Second Edition Donald Sarason AMERICAN MATHEMATICAL SOCIETY http://dx.doi.org/10.1090/mbk/049 Complex Function Theory Second Edition Donald Sarason AMERICAN MATHEMATICAL SOCIETY 2000 Mathematics Subject Classification. Primary 30–01. Front Cover: The figure on the front cover is courtesy of Andrew D. Hwang. The Hindustan Book Agency has the rights to distribute this book in India, Bangladesh, Bhutan, Nepal, Pakistan, Sri Lanka, and the Maldives. For additional information and updates on this book, visit www.ams.org/bookpages/mbk-49 Library of Congress Cataloging-in-Publication Data Sarason, Donald. Complex function theory / Donald Sarason. — 2nd ed. p. cm. Includes index. ISBN-13: 978-0-8218-4428-1 (alk. paper) ISBN-10: 0-8218-4428-8 (alk. paper) 1. Functions of complex variables. I. Title. QA331.7.S27 2007 515.9—dc22 2007060552 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. c 2007 by the American Mathematical Society. All rights reserved.
    [Show full text]