DOCSLIB.ORG

Lecture Note for Math 220A Complex Analysis of One Variable

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lecture Note for Math 220A Complex Analysis of One Variable Lecture Note for Math 220A Complex Analysis of One Variable Song-Ying Li University of California, Irvine Contents 1 Complex numbers and geometry 2 1.1 Complex number field . 2 1.2 Geometry of the complex numbers . 3 1.2.1 Euler's Formula . 3 1.3 Holomorphic linear factional maps . 6 1.3.1 Self-maps of unit circle and the unit disc. 6 1.3.2 Maps from line to circle and upper half plane to disc. 7 2 Smooth functions on domains in C 8 2.1 Notation and definitions . 8 2.2 Polynomial of degree n ...................... 9 2.3 Rules of differentiations . 11 3 Holomorphic, harmonic functions 14 3.1 Holomorphic functions and C-R equations . 14 3.2 Harmonic functions . 15 3.3 Translation formula for Laplacian . 17 4 Line integral and cohomology group 18 4.1 Line integrals . 18 4.2 Cohomology group . 19 4.3 Harmonic conjugate . 21 1 5 Complex line integrals 23 5.1 Definition and examples . 23 5.2 Green's theorem for complex line integral . 25 6 Complex differentiation 26 6.1 Definition of complex differentiation . 26 6.2 Properties of complex derivatives . 26 6.3 Complex anti-derivative . 27 7 Cauchy's theorem and Morera's theorem 31 7.1 Cauchy's theorems . 31 7.2 Morera's theorem . 33 8 Cauchy integral formula 34 8.1 Integral formula for C1 and holomorphic functions . 34 8.2 Examples of evaluating line integrals . 35 8.3 Cauchy integral for kth derivative f (k)(z) . 36 9 Application of the Cauchy integral formula 36 9.1 Mean value properties . 36 9.2 Entire holomorphic functions . 38 9.3 Liouville's Theorem . 38 9.4 Application of Liouville's theorem . 38 9.5 Entire functions with sub-linear growth . 39 9.6 Polynomial growth entire holomorphic functions . 39 10 Fundamental theorem of algebra 40 10.1 Lower bound for holomorphic polynomials . 40 10.2 Fundamental theorem of algebra . 41 11 Homework 3 42 12 Series of complex numbers 44 12.1 Definition of the series of complex numbers . 44 12.1.1 Tests for convergent series . 44 12.1.2 Examples of Dirichlet's test . 46 12.2 Power series . 46 12.2.1 Radius of convergence for a power series . 46 12.2.2 Examples of power series . 47 2 12.2.3 Examples of functions with power series expansions . 49 12.2.4 Differentiation of power series . 49 12.3 Analytic Functions . 50 12.3.1 Definition of an analytic function . 50 12.3.2 Connection between holomorphic and analytic functions 51 13 Homework 4 53 13.1 Uniqueness for analytic functions . 55 14 Uniqueness theorem and applications 58 15 Homework 5 61 16 Midterm Review 63 17 Uniqueness Theorem and Applications 67 18 Isolated Singularities 70 18.1 Definition of an isolated singularity . 70 18.2 Riemann removable singularity lemma . 72 18.3 Poles and essential singularity . 73 18.3.1 Characterization for poles . 73 18.3.2 Order of the pole . 73 18.3.3 Behavior of f near an essential singularity . 74 18.4 Homework 6 . 76 19 Laurent Series 78 19.1 Definition and examples of Laurent Series . 78 19.2 Examples of the convergent annulus . 78 19.3 Laurent series expansion . 79 19.4 Laurent series and isolated singularities . 81 20 Meromorphic functions 83 20.1 Construction of certain meromorphic functions . 84 20.2 Singularity at 1 ......................... 87 20.3 Rational functions . 88 20.4 Stereographic projection . 89 20.5 Homework 7 . 90 3 21 Residues and the Residue Theorem 91 21.1 Definition of a Residue . 91 21.2 Formulae for Computing Residue of f . 92 21.3 Residue at z = 1 ......................... 94 21.4 Residue Theorems . 96 21.5 Winding number and Residue Theorem . 98 21.6 Homework 8 . 102 22 Final Review 104 List of Figures 1 Disc Chain . 56 Acknowledgement: I would like to thank J. N. Treuer for reading through the first draft and making some revisions. 4 I. Holomorphic and harmonic functions 1 Complex numbers and geometry 1.1 Complex number field In the field of the real numbers IR, we know that x2 + 1 has no roots. It would be ideal if every polynomial of degree n hadpn roots. To remedy this situation, we introduce an imaginary number i = −1 (i2 = 1). Then the polynomial z2 + 1 has two roots: ±i. Viewing a point (x; y) in xy-plane, we introduce a corresponding complex number (1:1) z =: x + iy; C = fz =: x + iy : x; y 2 IRg: Here x is the real part of z which is denoted by Re z and y is the imaginary part of z which is denoted by Im z. • Two operations on C. For z1 = x1 + iy1; z2 = x2 + iy2 2 C; we define two operations: • Addition: (1:2) z1 + z2 =: (x1 + x2) + i(y1 + y2) • Multiplication: (1:3) z1 · z2 =: (x1x2 − y1y2) + i(x1y2 + x2y1): It is easy to verify the following proposition. Proposition 1.1 (C; +; ·) forms a number field. It is called the complex number field. Question: Is (C; +; ·) an order field? For each z = x + iy 2 C, the complex conjugate z of z and the norm jzj of z are defined as follows: (1:4) z = x − iy and jzj2 = z · z = x2 + y2: Then 5 i. The additive inverse of z is −z = −x + i(−y) ii. When z 6= 0, the multiplicative inverse of z is 1 z x y =: = − i z jzj2 x2 + y2 x2 + y2 iii. jzj2 = z · z = x2 + y2; 1 1 iv. x =: Re z = 2 (z + z); y =: Im z = 2i (z − z): 1 EXAMPLE 1 What is the complex number 2−3i ? Solution. 1 2 + 3i 2 3 = = + i : 2 − 3i 22 + 32 13 13 More generally, one can compute 1=z as follows: 1 z x y (1:5) = = − i : z jzj2 jzj2 jzj2 1.2 Geometry of the complex numbers 1.2.1 Euler's Formula Let jzj be the distance from z = x + iy to 0 = 0 + i0, let θ be the angle between the line segment [0; z] and the x-axis. Then x = jzj cos θ; y = jzj sin θ; z = jzj(cos θ + i sin θ) = jzjeiθ where (1:6) eiθ = cos θ + i sin θ is Euler's formula. 6 e iθ sinθ . θ cosθ One can prove Euler's formula by noting that 1 (iθ)n eiθ = X n=0 n! 1 (iθ)2n 1 (iθ)2n+1 = X + X n=0 (2n)! n=0 (2n + 1)! 1 (−1)nθ2n 1 (−1)nθ2n+1 = X + i X n=0 (2n)! n=0 (2n + 1)! = cos θ + i sin θ: • Fact: Given two complex numbers z = jzjeiθ and w = jwjei', one has (1:7) zw = jzjjwjeiθei' = jzjjwjei(θ+') and jz wj = jzjjwj: Proposition 1.2 (Triangle Inequality) If z; w 2 C, then jz + wj ≤ jzj + jwj: Proof. jz + wj2 = (z + w)(z + w) = zz + zw + wz + ww = jzj2 + jwj2 + (zw + zw) = jzj2 + jwj2 + 2Re (zw¯) ≤ jzj2 + jwj2 + 2jzw¯j = jzj2 + jwj2 + 2jzw¯j = jzj2 + jwj2 + 2jzjjwj = (jzj + jwj)2 7 This implies that jz + wj ≤ jzj + jwj: Moreover, by mathematical induction, one can prove that if z1; ··· ; zn 2 C, then (1:8) jz1 + ··· + znj ≤ jz1j + ··· + jznj: Proposition 1.3 (Cauchy-Schwartz Inequality) If z1; ··· ; zn and w1; ··· ; wn 2 C, then 2 n n n X X 2 X 2 (1:9) z w¯ ≤ ( jz j )( jw j ): j j j j j=1 j=1 j=1 Proof. For any λ 2 C, one has n X 2 0 ≤ jzj − λwjj j=1 n X ¯ = (zj − λwj)(z ¯j − λw¯j) j=1 n X ¯ ¯ = (zjz¯j − λzjw¯j − λwjz¯j + λwjλw¯j) j=1 n 0 n n 1 n X 2 ¯ X X 2 X 2 = jzjj − @λ zjw¯j + λ wjz¯jA + jλj jwjj : j=1 j=1 j=1 j=1 Pn Pn 2 If we choose λ = j=1 zjw¯j=( j=1 jwjj ) then 2 2 n Pn Pn n j=1 zjw¯j j=1 zjw¯j 0 ≤ X jz j2 − 2 + X jw j2 j Pn 2 2 j j=1 jwjj Pn 2 j=1 j=1 jwjj j=1 2 n Pn z w¯ X 2 j=1 j j = jzjj − Pn 2 : j=1 j=1 jwjj This implies that 2 n n n X X 2 X 2 z w¯ ≤ ( jz j )( jw j ): j j j j j=1 j=1 j=1 8 1.3 Holomorphic linear factional maps 1.3.1 Self-maps of unit circle and the unit disc. Let (1:10) D(0; 1) = fz 2 C: jzj < 1g be the unit disk centered at the origin and (1:11) T = @D(0; 1) = fz 2 C: jzj = 1g = feiθ : θ 2 [0; 2π)g be the unit circle in the complex plane. For any a 2 D(0; 1), we define a − z (1:10) φ (z) = ; z 2 D(0; 1): a 1 − az¯ THEOREM 1.4 For any a 2 D(0; 1) we have i. φa(0) = a and φa(a) = 0; −1 ii. φa = φa; iii. φa : T ! T , so it is one-to-one and onto; iv. φa : D(0; 1) ! D(0; 1), so it is one-to-one and onto. Proof. For Part 1, it is easy to see that φa(0) = a and φa(a) = 0. For Part 2, since 2 a − φa(z) a(1 − az) − (a − z)) z(1 − jaj ) φa(φa(z)) = = = 2 = z: 1 − aφa(z) 1 − az − a(a − z) 1 − jaj −1 This proves φa = φa.
Load more

Recommended publications
  • Class 1/28 1 Zeros of an Analytic Function
    Math 752 Spring 2011 Class 1/28 1 Zeros of an analytic function Towards the fundamental theorem of algebra and its statement for analytic functions. Definition 1. Let f : G → C be analytic and f(a) = 0. a is said to have multiplicity m ≥ 1 if there exists an analytic function g : G → C with g(a) 6= 0 so that f(z) = (z − a)mg(z). Definition 2. If f is analytic in C it is called entire. An entire function has a power series expansion with infinite radius of convergence. Theorem 1 (Liouville’s Theorem). If f is a bounded entire function then f is constant. 0 Proof. Assume |f(z)| ≤ M for all z ∈ C. Use Cauchy’s estimate for f to obtain that |f 0(z)| ≤ M/R for every R > 0 and hence equal to 0. Theorem 2 (Fundamental theorem of algebra). For every non-constant polynomial there exists a ∈ C with p(a) = 0. Proof. Two facts: If p has degree ≥ 1 then lim p(z) = ∞ z→∞ where the limit is taken along any path to ∞ in C∞. (Sometimes also written as |z| → ∞.) If p has no zero, its reciprocal is therefore entire and bounded. Invoke Liouville’s theorem. Corollary 1. If p is a polynomial with zeros aj (multiplicity kj) then p(z) = k k km c(z − a1) 1 (z − a2) 2 ...(z − am) . Proof. Induction, and the fact that p(z)/(z − a) is a polynomial of degree n − 1 if p(a) = 0. 1 The zero function is the only analytic function that has a zero of infinite order.
    [Show full text]
  • A Property of the Derivative of an Entire Function
    A property of the derivative of an entire function Walter Bergweiler∗ and Alexandre Eremenko† July 21, 2011 Abstract We prove that the derivative of a non-linear entire function is un- bounded on the preimage of an unbounded set. MSC 2010: 30D30. Keywords: entire function, normal family. 1 Introduction and results The main result of this paper is the following theorem conjectured by Allen Weitsman (private communication): Theorem 1. Let f be a non-linear entire function and M an unbounded set in C. Then f ′(f −1(M)) is unbounded. We note that there exist entire functions f such that f ′(f −1(M)) is bounded for every bounded set M, for example, f(z)= ez or f(z) = cos z. Theorem 1 is a consequence of the following stronger result: Theorem 2. Let f be a transcendental entire function and ε > 0. Then there exists R> 0 such that for every w C satisfying w >R there exists ∈ | | z C with f(z)= w and f ′(z) w 1−ε. ∈ | | ≥ | | ∗Supported by the Deutsche Forschungsgemeinschaft, Be 1508/7-1, and the ESF Net- working Programme HCAA. †Supported by NSF grant DMS-1067886. 1 The example f(z)= √z sin √z shows that that the exponent 1 ε in the − last inequality cannot be replaced by 1. The function f(z) = cos √z has the property that for every w C we have f ′(z) 0 as z , z f −1(w). ∈ → → ∞ ∈ We note that the Wiman–Valiron theory [20, 12, 4] says that there exists a set F [1, ) of finite logarithmic measure such that if ⊂ ∞ zr = r / F and f(zr) = max f(z) , | | ∈ | | |z|=r | | then ν(r,f) z ′ ν(r, f) f(z) f(zr) and f (z) f(z) ∼ zr ∼ r −1/2−δ for z zr rν(r, f) as r .
    [Show full text]
  • Informal Lecture Notes for Complex Analysis
    Informal lecture notes for complex analysis Robert Neel I'll assume you're familiar with the review of complex numbers and their algebra as contained in Appendix G of Stewart's book, so we'll pick up where that leaves off. 1 Elementary complex functions In one-variable real calculus, we have a collection of basic functions, like poly- nomials, rational functions, the exponential and log functions, and the trig functions, which we understand well and which serve as the building blocks for more general functions. The same is true in one complex variable; in fact, the real functions we just listed can be extended to complex functions. 1.1 Polynomials and rational functions We start with polynomials and rational functions. We know how to multiply and add complex numbers, and thus we understand polynomial functions. To be specific, a degree n polynomial, for some non-negative integer n, is a function of the form n n−1 f(z) = cnz + cn−1z + ··· + c1z + c0; 3 where the ci are complex numbers with cn 6= 0. For example, f(z) = 2z + (1 − i)z + 2i is a degree three (complex) polynomial. Polynomials are clearly defined on all of C. A rational function is the quotient of two polynomials, and it is defined everywhere where the denominator is non-zero. z2+1 Example: The function f(z) = z2−1 is a rational function. The denomina- tor will be zero precisely when z2 = 1. We know that every non-zero complex number has n distinct nth roots, and thus there will be two points at which the denominator is zero.
    [Show full text]
  • MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79
    MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79 One of the interesting applications of Cauchy's Residue Theorem is to find exact values of real improper integrals. The idea is to integrate a complex rational function around a closed contour C that can be arbitrarily large. As the size of the contour becomes infinite, the piece in the complex plane (typically an arc of a circle) contributes 0 to the integral, while the part remaining covers the entire real axis (e.g., an improper integral from −∞ to 1). An Example Let us use residues to derive the formula p Z 1 x2 2 π 4 dx = : (1) 0 x + 1 4 Note the somewhat surprising appearance of π for the value of this integral. z2 First, let f(z) = and let C = L + C be the contour that consists of the line segment L z4 + 1 R R R on the real axis from −R to R, followed by the semi-circle CR of radius R traversed CCW (see figure below). Note that C is a positively oriented, simple, closed contour. We will assume that R > 1. Next, notice that f(z) has two singular points (simple poles) inside C. Call them z0 and z1, as shown in the figure. By Cauchy's Residue Theorem. we have I f(z) dz = 2πi Res f(z) + Res f(z) C z=z0 z=z1 On the other hand, we can parametrize the line segment LR by z = x; −R ≤ x ≤ R, so that I Z R x2 Z z2 f(z) dz = 4 dx + 4 dz; C −R x + 1 CR z + 1 since C = LR + CR.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • A Very Short Survey on Boundary Behavior of Harmonic Functions
    A VERY SHORT SURVEY ON BOUNDARY BEHAVIOR OF HARMONIC FUNCTIONS BLACK Abstract. This short expository paper aims to use Dirichlet boundary value problem to elab- orate on some of the interactions between complex analysis, potential theory, and harmonic analysis. In particular, I will outline Wiener's solution to the Dirichlet problem for a general planar domain using harmonic measure and prove some elementary results for Hardy spaces. 1. Introduction Definition 1.1. Let Ω Ă R2 be an open set. A function u P C2pΩ; Rq is called harmonic if B2u B2u (1.1) ∆u “ ` “ 0 on Ω: Bx2 By2 The notion of harmonic function can be generalized to any finite dimensional Euclidean space (or on (pseudo)Riemannian manifold), but the theory enjoys a qualitative difference in the planar case due to its relation to the magic properties of functions of one complex variable. Think of Ω Ă C (in this paper I will use R2 and C interchangeably when there is no confusion). Then the Laplace operator takes the form B B B 1 B B B 1 B B (1.2) ∆ “ 4 ; where “ ´ i and “ ` i : Bz¯ Bz Bz 2 Bx By Bz¯ 2 Bx By ˆ ˙ ˆ ˙ Let HolpΩq denote the space of holomorphic functions on Ω. It is easy to see that if f P HolpΩq, then both <f and =f are harmonic functions. Conversely, if u is harmonic on Ω and Ω is simply connected, we can construct a harmonic functionu ~, called the harmonic conjugate of u, via Hilbert transform (or more generally, B¨acklund transform), such that f “ u ` iu~ P HolpΩq.
    [Show full text]
  • Chapter 16 Complex Analysis
    Chapter 16 Complex Analysis The term \complex analysis" refers to the calculus of complex-valued functions f(z) depending on a complex variable z. On the surface, it may seem that this subject should merely be a simple reworking of standard real variable theory that you learned in ¯rst year calculus. However, this naijve ¯rst impression could not be further from the truth! Com- plex analysis is the culmination of a deep and far-ranging study of the fundamental notions of complex di®erentiation and complex integration, and has an elegance and beauty not found in the more familiar real arena. For instance, complex functions are always ana- lytic, meaning that they can be represented as convergent power series. As an immediate consequence, a complex function automatically has an in¯nite number of derivatives, and di±culties with degree of smoothness, strange discontinuities, delta functions, and other forms of pathological behavior of real functions never arise in the complex realm. There is a remarkable, profound connection between harmonic functions (solutions of the Laplace equation) of two variables and complex-valued functions. Namely, the real and imaginary parts of a complex analytic function are automatically harmonic. In this manner, complex functions provide a rich lode of new solutions to the two-dimensional Laplace equation to help solve boundary value problems. One of the most useful practical consequences arises from the elementary observation that the composition of two complex functions is also a complex function. We interpret this operation as a complex changes of variables, also known as a conformal mapping since it preserves angles.
    [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]
  • Math 336 Sample Problems
    Math 336 Sample Problems One notebook sized page of notes will be allowed on the test. The test will cover up to section 2.6 in the text. 1. Suppose that v is the harmonic conjugate of u and u is the harmonic conjugate of v. Show that u and v must be constant. ∞ X 2 P∞ n 2. Suppose |an| converges. Prove that f(z) = 0 anz is analytic 0 Z 2π for |z| < 1. Compute lim |f(reit)|2dt. r→1 0 z − a 3. Let a be a complex number and suppose |a| < 1. Let f(z) = . 1 − az Prove the following statments. (a) |f(z)| < 1, if |z| < 1. (b) |f(z)| = 1, if |z| = 1. 2πij 4. Let zj = e n denote the n roots of unity. Let cj = |1 − zj| be the n − 1 chord lengths from 1 to the points zj, j = 1, . .n − 1. Prove n that the product c1 · c2 ··· cn−1 = n. Hint: Consider z − 1. 5. Let f(z) = x + i(x2 − y2). Find the points at which f is complex differentiable. Find the points at which f is complex analytic. 1 6. Find the Laurent series of the function z in the annulus D = {z : 2 < |z − 1| < ∞}. 1 Sample Problems 2 7. Using the calculus of residues, compute Z +∞ dx 4 −∞ 1 + x n p0(z) Y 8. Let f(z) = , where p(z) = (z −z ) and the z are distinct and zp(z) j j j=1 different from 0. Find all the poles of f and compute the residues of f at these poles.
    [Show full text]
  • Bounded Holomorphic Functions on Finite Riemann Surfaces
    BOUNDED HOLOMORPHIC FUNCTIONS ON FINITE RIEMANN SURFACES BY E. L. STOUT(i) 1. Introduction. This paper is devoted to the study of some problems concerning bounded holomorphic functions on finite Riemann surfaces. Our work has its origin in a pair of theorems due to Lennart Carleson. The first of the theorems of Carleson we shall be concerned with is the following [7] : Theorem 1.1. Let fy,---,f„ be bounded holomorphic functions on U, the open unit disc, such that \fy(z) + — + \f„(z) | su <5> 0 holds for some ô and all z in U. Then there exist bounded holomorphic function gy,---,g„ on U such that ftEi + - +/A-1. In §2, we use this theorem to establish an analogous result in the setting of finite open Riemann surfaces. §§3 and 4 consider certain questions which arise naturally in the course of the proof of this generalization. We mention that the chief result of §2, Theorem 2.6, has been obtained independently by N. L. Ailing [3] who has used methods more highly algebraic than ours. The second matter we shall be concerned with is that of interpolation. If R is a Riemann surface and if £ is a subset of R, call £ an interpolation set for R if for every bounded complex-valued function a on £, there is a bounded holo- morphic function f on R such that /1 £ = a. Carleson [6] has characterized interpolation sets in the unit disc: Theorem 1.2. The set {zt}™=1of points in U is an interpolation set for U if and only if there exists ô > 0 such that for all n ** n00 k = l;ktn 1 — Z.Zl An alternative proof is to be found in [12, p.
    [Show full text]
  • Complex-Differentiability
    Complex-Differentiability Sébastien Boisgérault, Mines ParisTech, under CC BY-NC-SA 4.0 April 25, 2017 Contents Core Definitions 1 Derivative and Complex-Differential 3 Calculus 5 Cauchy-Riemann Equations 7 Appendix – Terminology and Notation 10 References 11 Core Definitions Definition – Complex-Differentiability & Derivative. Let f : A ⊂ C → C. The function f is complex-differentiable at an interior point z of A if the derivative of f at z, defined as the limit of the difference quotient f(z + h) − f(z) f 0(z) = lim h→0 h exists in C. Remark – Why Interior Points? The point z is an interior point of A if ∃ r > 0, ∀ h ∈ C, |h| < r → z + h ∈ A. In the definition above, this assumption ensures that f(z + h) – and therefore the difference quotient – are well defined when |h| is (nonzero and) small enough. Therefore, the derivative of f at z is defined as the limit in “all directions at once” of the difference quotient of f at z. To question the existence of the derivative of f : A ⊂ C → C at every point of its domain, we therefore require that every point of A is an interior point, or in other words, that A is open. 1 Definition – Holomorphic Function. Let Ω be an open subset of C. A function f :Ω → C is complex-differentiable – or holomorphic – in Ω if it is complex-differentiable at every point z ∈ Ω. If additionally Ω = C, the function is entire. Examples – Elementary Functions. 1. Every constant function f : z ∈ C 7→ λ ∈ C is holomorphic as 0 λ − λ ∀ z ∈ C, f (z) = lim = 0.
    [Show full text]
  • Applications of Entire Function Theory to the Spectral Synthesis of Diagonal Operators
    APPLICATIONS OF ENTIRE FUNCTION THEORY TO THE SPECTRAL SYNTHESIS OF DIAGONAL OPERATORS Kate Overmoyer A Dissertation Submitted to the Graduate College of Bowling Green State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY August 2011 Committee: Steven M. Seubert, Advisor Kyoo Kim, Graduate Faculty Representative Kit C. Chan J. Gordon Wade ii ABSTRACT Steven M. Seubert, Advisor A diagonal operator acting on the space H(B(0;R)) of functions analytic on the disk B(0;R) where 0 < R ≤ 1 is defined to be any continuous linear map on H(B(0;R)) having the monomials zn as eigenvectors. In this dissertation, examples of diagonal operators D acting on the spaces H(B(0;R)) where 0 < R < 1, are constructed which fail to admit spectral synthesis; that is, which have invariant subspaces that are not spanned by collec- tions of eigenvectors. Examples include diagonal operators whose eigenvalues are the points fnae2πij=b : 0 ≤ j < bg lying on finitely many rays for suitably chosen a 2 (0; 1) and b 2 N, and more generally whose eigenvalues are the integer lattice points Z×iZ. Conditions for re- moving or perturbing countably many of the eigenvalues of a non-synthetic operator which yield another non-synthetic operator are also given. In addition, sufficient conditions are given for a diagonal operator on the space H(B(0;R)) of entire functions (for which R = 1) to admit spectral synthesis. iii This dissertation is dedicated to my family who believed in me even when I did not believe in myself.
    [Show full text]