Convergence of Infinite Composition of Entire Functions
|
|
- Deirdre Kelley
- 5 years ago
- Views:
Transcription
1 arxiv: v [math.cv] 5 Sep 200 Convergence of Infinite Composition of Entire Functions Shota Kojima Abstract The purpose of the present article is to obtain the condition that the function defined by infinite composition of entire functions becomes an entire function. Moreover, as an example of such functions, we study a function called Poincaré function. Introduction It seems that there are no article studying infinite composition of functions with a similar purpose to this article. In order to state our theorem, we require the following notation. Definition. Let f g be the composition of functions f and g, that is, (f g(z : f(g(z. We denote (f g(z by f(z g(z for convenience of expression. For example (z + (z +2 z +3. Definition.2 Given integers d, with d, define f n (z : f d (z f d+ (z f d+2 (z f (z f d (f d+ ( f (f (z.
2 Some important functions, such as sinz,e z, are expressed by infinite composition of polynomials as follows: Proposition. For any z C, we have 2 (e2z (z + z2, 2 ( n 2z sin + π (z + z2, ( 2 n ( 2 sinh z (z + z2. These equalities are proved in Section 3. From the equalities above, we expect that there are remarkable functions defined by infinite composition of entire functions. Thus it is significant to study the convergence of f n (z lim f n (z f (z f 2 (z, where f n (z is entire. Our main purpose is to prove the following theorem. Theorem. Let c n,r (n,2,...,r 2,3,... be complex numbers such that f n (z : z + c n,r z r are entire functions. We set Suppose that the series r2 4 n C n : max r2,3,4,... { c n,r /(r }. C n is convergent. Then the sequence of functions f n (z ( z +cn,2 z 2 +c n,3 z 3 + +c n,p z + p 2
3 is uniformly convergent on arbitrary closed disk. In particular, the limit function is entire. f n (z ( z +cn,2 z 2 +c n,3 z 3 + +c n,p z + p lim ( z +cn,2 z 2 +c n,3 z 3 + +c n,p z p + Considering the case where f n (z is a polynomial of degree 2, we obtain the following. Corollary. Let {c n } be a sequence of complex numbers such that c n is convergent. Then the function ( z +cn z 2 lim ( z +cn z 2 is uniformly convergent on every compact subset of C, and it defines an entire function. Example. The infinite composition (z + z3 is an entire function. Indeed, for c n,3 n 3, the series c n,3 /2 n 3/2 is convergent. n 3 Example.2 Let s be a complex number with s >. Then the infinite composition F(z : (z + z2 isanentirefunction. Indeed, forc n,2 s n,theseries c n,2 s n is convergent. This function is studied in Section 3. s n 3
4 We now introduce Poincaré functions. (For more details, see []. The meromorphic functions f(z satisfying the following functional equation are called Poincaré functions ([5]: f(sz h(f(z, where s is a complex number with s >, and h(z is a rational function. The function F(z in Example 2 satisfies F(sz sf(z+sf(z 2 (see Section 3. Thus the function F(z can be regarded as a Poincaré function. Poincaré functions have been studied by some mathematicians ([], [2], [3], [5]. However it seems that the expression of Poincaré functions by is not known. 2 Proof of Theorem. In this section we shall give a proof of Theorem.. First we define Definition 2. For any analytic function f(z a n z n, n0 we define ˆf(z a n z n. n0 Second, we prove lemmas needed later. Lemma 2. Let f(z : z + a n z n, g(z : z + b n z n n2 n2 be entire functions. Then for every z C, f g( z ˆf(ĝ( z, ( f(z z ˆf( z z. (2 4
5 Proof. We first prove (. There exists complex number H n, which depends on a 2,...,a n,b 2,...,b n, such that The inequality f(g(z z + H n (a 2,a 3,...,a n,b 2,b 3,...,b n z n. n2 H n (a 2,a 3,...,a n,b 2,b 3,...,b n H n ( a 2, a 3,..., a n, b 2, b 3,..., b n yields f g( z z + H n ( a 2, a 3,..., a n, b 2, b 3,..., b n z n n2 ˆf(ĝ( z. Inequality (2 is immediate. Lemma 2.2 Let d be an integer and let c n,r (n d,d +,...,r 2,3,... be complex numbers such that f n (z : z + are entire functions for all n d. We set c n,r z r r2 F m (z : m fn (z. Then, for any z C and any integer m d, ( m F m ( z f n (z z, (3 ( m m f n (z z f n (z z z, (4 ( m m f n (z f n (z z. (5 5
6 Proof. We first prove (3 by induction on m. If m d, then inequality (3 immediately follows. ext we suppose that (3 holds for m( d. Then combining ( in Lemma 2. and the inductive assumption yields F m+ ( z F m ( f m+ ( z ( m f n (z z f m+ ( z This completes the proof of (3. ext we shall prove (4. ( m+ m f n (z z F m ( z z ((2 in Lemma2. ( m f n (z z z ((3 in Lemma2.2. f n (z z. This completes the proof of (4. Finally, inequality (5 follows from the triangle inequality and (4. Lemma 2.3 Let d be integer and let c n,r (n d,d +,...,r 2,3,... be complex numbers such that f n (z : z + are entire functions. Suppose that c n,r z r r2 C n : max { c n,r r } > 0 for all n d r2,3,... Then, for z < / m C n and for any integer m,d with m d, ( m z f n (z z z m C. n Proof. We shall prove this by induction on m. Let m d. It follows from c d,p C d p that, for z < /C d, f d ( z (z + c d,2 z 2 + c d,3 z c d,p z p + z z +C d z 2 +C 2 d z 3 + +C p d z p + z C d z. 6
7 ext suppose that the statement of Lemma 2.3 is valid if m ( d. oting + C n we have, for z < ( + C n, C d +C + < C +, f + ( z z + c +,2 z 2 + c +,3 z c +,p z p + Therefore we have z +C + z 2 +C 2 + z 3 + +C p + z p + z C + z. (6 f + ( z z C + z for z < ( + C n. (7 ow we set g(z z/( C + z. Then g(z is steadily increasing for 0 z < /C +. oting this and + C n we obtain, for z < / + C n, z C + z z < Combining this with (7 yields f + ( z < C n < C +, z C + z + C n + C n C + for z < ( + C. (8 n C n Hence we can use the inductive assumption as follows: For z < ( + C n, ( z f n (z f + ( z z C f + ( z. (9 n 7.
8 We set h(z z/( z C n. Then h(z is steadily increasing for 0 z < / C n. Besides, it follows from (6 and (8 that for z < ( + f + ( z z C + z < C n C n. From these, inequality (9 is rewritten as ( + f n (z z z z C n z C + z for z < ( +. n C Simplifying the right hand side, we have ( + z f n (z z z + C z n for z < / + C n. Hence the induction is complete. Lemma 2.4 Let d be integer and let c n,r (n d,d +,...,r 2,3,... be complex numbers such that f n (z : z + c n,r z r are entire functions. Let C n be the constant given in Lemma 2.3, and let C n > 0 for every positive integer n. Suppose further that α : C n is convergent. Moreover we set r2 F (z : f n (z. Then, for z /(4α and any integers,m with > M, Proof. We set F (z F M (z α 2 nm+ C n. y(z : f n (z. nm+ 8
9 Our task is to estimate F (z F M (z. First note that M f n (z M nm+ F (z F M (z f n (z F M (y(z F M (z. To estimate the last expression, we show that Since y(z 3α 4α 4 C n f n (z for z 4α. (0 < nm+ C n, ( we can use Lemma 2.3 with m, d M + as follows: For z /(4α, ( y(z f n (z z ((5 in Lemma 2.2 nm+ z z nm+ C n /(4α 4α nm+ C n (Lemma 2.3 4α C n 3α. Hence we obtain (0. ext, let γ be a circle with center 0 and radius /(2α. For z /(4α, we can use Cauchy s theorem as follows: F (z F M (z F M (y(z F M (z ( FM (ζ 2πi γ ζ y(z F M(ζ dζ ζ z y(z z F M (ζ 2π ζ y(z ζ z dζ 2α γ y(z z max ζ 2α ( ( 2α 3α 2α 2α y(z z max ζ 2α F M (ζ 4α (note : y(z 3α F M (ζ. (2 9
10 We first estimate y(z z. For z /(4α, ( y(z z f n (z z z ((4in Lemma2.2 nm+ z z nm+ C z (Lemma 2.3 (note ( n z 2 nm+ C n z nm+ C n 6α 2 α 4α nm+ C n 2α 2 nm+ ext we shall estimate max ζ f M (ζ. For z /(4α, 2α ( M max F M (ζ ζ 2α 2α 2α α f n (z 2α From (2, (3, and (4, we deduce that (Lemma2.3 C n. (3 ((5 in Lemma 2.2 α. (4 F (z F M (z α 2 nm+ C n for z 2α. This completes the proof of the lemma. Proof of Theorem.. We apply the same notation as in Lemma 2.4. ow we consider two cases. Case Suppose that there exists a number m such that C n 0 for all n m. Then for all > m, F (z f n (z m f n (z f n (z m f n (z. nm Accordingly, in this case, the theorem is true. Case 2 Suppose that C n > 0 for infinitely many n. If there are numbers 0
11 n such that C n 0, then we can ignore them. Because C n 0 means f n (z z, and z is the unit element of composition. Hence we can suppose without loss of generality that C n > 0 for every positive integer n. From now on, we change the assumption of Theorem. into C n > 0 for all n, and we shall prove the theorem. Let r > 0 be any real number. Then it is sufficient to prove that is uniformly convergent for z r. From Lemma 2.4, we have F m (z m f n (z F (z f n (z is uniformly convergent on z 4α. In the same way, let α m : nm C n, we have f n (z is uniformly convergent on z. nm 4α m From the assumption, the series α C n is convergent, and hence, for any r > 0, there exists positive integer m such that α m nm C n 4r namely r 4α m. (5 Therefore we find that for any r > 0, there exists number m > such that nm f n (z is uniformly convergent on z r. Since the function m f n (z is an entire function, we deduce that for any r > 0, F (z m f n (z f n (z is uniformly convergent on z r nm
12 (see emark below. Since r > 0 is an arbitrary real number and {F m (z} is a sequence of entire functions, the limit function lim F (z f n (z is also an entire function of z. emark : Let p(z be an entire function, and let {F m (z} m be a sequence of entire functions. Suppose that F m (z is uniformly convergent for z r 2. Then p(z F m (z p(f m (z is uniformly convergent for z r 2. 3 Proof of Proposition. In this section, we give a proof of Proposition.. We first prove some lemmas. Lemma 3. We set Then h (z 2 (e2z, h 2 (z sin ( 2z + π 3 6 2, h 3(z ( sinh z 2. h (2z 2(h (z+h (z 2, h (0 0, h (0 h 2 ( 2z 2(h 2 (z+h 2 (z 2, h 2 (0 0, h 2(0 h 3 (4z 4(h 3 (z+h 3 (z 2, h 3 (0 0, h 3 (0. Proof. The lemma follows from elementary calculations. Lemma 3.2 Let s be a fixed complex number with s >. Suppose that an entire function f(z satisfies f(0 0, and f (0. Then f(sz s(f(z+f(z 2, f(z lim (z + z2 s n. 2
13 Hence the function satisfying the above condition is uniquely determined. A generalization of this statement is known (It has been shown in [4, pp66-68] that the inverse function of f(z is uniquely determined. To prove Lemma 3.2, we require the following lemma. Lemma 3.3 Suppose thatthe functions p n (z,q n (z,n,2,3,...are entire functions. Suppose further that p n (z is uniformly convergent to p(z on every compact subset of C, and lim q n(z q(z n exists and becomes entire function. Then for each z C, we have Proof. The lemma follows from lim p n(q n (z p(q(z. n p(q(z p n (q n (z p(q(z p(q n (z + p(q n (z p n (q n (z. Proof of Lemma 3.2. Let s >. It follows from the assumption that f(z can be written as in the form f(z z + a n (sz n, (6 and satisfies n2 f(z s ( z +z 2 f ( z s. We repeatedly use the relation as follows: ( ( f(z (z + z2 z sf s s ( (z + z2 z sz s(z +z 2 f s s 2 (z + z2 s 2 z (z +z 2 z ( z s s 2 s2 z f s 2 ( ( (z + z2 (z + z2 z s 2 f s s 2 s 2 ( ( ( (z + z2 z s f. s n s 3
14 Hence we deduce {( f(z lim From (6, we have lim s f ( ( (z + z2 z } s f. (7 s n s ( z s z for every z C. (8 Since ( z + z2 is convergent on every compact subset of C from Theorem., combining Equation (8, Equation (7, and Lemma 3.3 yields f(z lim (z + z2. s n Proof of Proposition.. The proposition follows by Lemma 3. and Lemma 3.2. Acknowledgments: The author is very grateful to Professor Akio Fujii, Professor oboru Aoki, Professor Shigeki Akiyama, Assistant Professor Tomoki Kawahira, and Assistant Professor Masatoshi Suzuki for their useful advice and their encouragement. In particular, Assistant Professor Tomoki Kawahira taught the author Lemma 2. and Lemma 2.2, and Professor Akio Fujii and Assistant Professor Masatoshi Suzuki offered many helpful comments. eferences [] Gregory Derfel, Peter J. Grabaner and Fritz Vogl: Complex asymptotics of Poincaré functions and properties of Julia sets, Math Proc Camb Phil Soc, Volume 45, Issue 03, ovember 2008, pp [2] M.. S. Kuhenović, Orlando Merino : Discrete dynamical systems and difference equations with Mathematica, Chapman & Hall, 2002, [3] H. Poincaré : Sur une classe nouvelle de transcendantes uniformes, J. Math. Pures Appl. IV. Ser. 6 (890, [4]. Steinmetz : ational Iteration, Walter de Gruyter, Berlin, 993. [5] G. Valiron : Fonctions analytiques, Presses Universitaires de France, Paris, 954. s n 4
Considering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More information9. Series representation for analytic functions
9. Series representation for analytic functions 9.. Power series. Definition: A power series is the formal expression S(z) := c n (z a) n, a, c i, i =,,, fixed, z C. () The n.th partial sum S n (z) is
More informationSOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 23, 1998, 429 452 SOLUTIONS OF NONHOMOGENEOUS LINEAR DIFFERENTIAL EQUATIONS WITH EXCEPTIONALLY FEW ZEROS Gary G. Gundersen, Enid M. Steinbart, and
More informationCourse 214 Basic Properties of Holomorphic Functions Second Semester 2008
Course 214 Basic Properties of Holomorphic Functions Second Semester 2008 David R. Wilkins Copyright c David R. Wilkins 1989 2008 Contents 7 Basic Properties of Holomorphic Functions 72 7.1 Taylor s Theorem
More information13 Maximum Modulus Principle
3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark
More informationON FACTORIZATIONS OF ENTIRE FUNCTIONS OF BOUNDED TYPE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 345 356 ON FACTORIZATIONS OF ENTIRE FUNCTIONS OF BOUNDED TYPE Liang-Wen Liao and Chung-Chun Yang Nanjing University, Department of Mathematics
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationA UNIQUENESS THEOREM FOR MONOGENIC FUNCTIONS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 8, 993, 05 6 A UNIQUENESS THEOREM FOR MONOGENIC FUNCTIONS Jörg Winkler Technische Universität Berlin, Fachbereich 3, Mathematik Straße
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationChapter 11. Cauchy s Integral Formula
hapter 11 auchy s Integral Formula If I were founding a university I would begin with a smoking room; next a dormitory; and then a decent reading room and a library. After that, if I still had more money
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationMORE CONSEQUENCES OF CAUCHY S THEOREM
MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More informationQUASINORMAL FAMILIES AND PERIODIC POINTS
QUASINORMAL FAMILIES AND PERIODIC POINTS WALTER BERGWEILER Dedicated to Larry Zalcman on his 60th Birthday Abstract. Let n 2 be an integer and K > 1. By f n we denote the n-th iterate of a function f.
More informationOn the value distribution of composite meromorphic functions
On the value distribution of composite meromorphic functions Walter Bergweiler and Chung-Chun Yang Dedicated to Professor Klaus Habetha on the occasion of his 60th birthday 1 Introduction and main result
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationarxiv: v1 [math.mg] 15 Jul 2013
INVERSE BERNSTEIN INEQUALITIES AND MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE arxiv:1307.4056v1 [math.mg] 15 Jul 013 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Abstract. We give a short and elementary
More informationPOLYNOMIALS WITH COEFFICIENTS FROM A FINITE SET
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 POLYNOMIALS WITH COEFFICIENTS FROM A FINITE SET PETER BORWEIN, TAMÁS ERDÉLYI, FRIEDRICH LITTMANN
More informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationCONSEQUENCES OF POWER SERIES REPRESENTATION
CONSEQUENCES OF POWER SERIES REPRESENTATION 1. The Uniqueness Theorem Theorem 1.1 (Uniqueness). Let Ω C be a region, and consider two analytic functions f, g : Ω C. Suppose that S is a subset of Ω that
More informationBounded point derivations on R p (X) and approximate derivatives
Bounded point derivations on R p (X) and approximate derivatives arxiv:1709.02851v3 [math.cv] 21 Dec 2017 Stephen Deterding Department of Mathematics, University of Kentucky Abstract It is shown that if
More informationz b k P k p k (z), (z a) f (n 1) (a) 2 (n 1)! (z a)n 1 +f n (z)(z a) n, where f n (z) = 1 C
. Representations of Meromorphic Functions There are two natural ways to represent a rational function. One is to express it as a quotient of two polynomials, the other is to use partial fractions. The
More informationHouston Journal of Mathematics. c 2008 University of Houston Volume 34, No. 4, 2008
Houston Journal of Mathematics c 2008 University of Houston Volume 34, No. 4, 2008 SHARING SET AND NORMAL FAMILIES OF ENTIRE FUNCTIONS AND THEIR DERIVATIVES FENG LÜ AND JUNFENG XU Communicated by Min Ru
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More information4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1
Robert Oeckl CA NOTES 7 17/11/2009 1 4.6 Montel's Theorem Let X be a topological space. We denote by C(X) the set of complex valued continuous functions on X. Denition 4.26. A topological space is called
More information1 Holomorphic functions
Robert Oeckl CA NOTES 1 15/09/2009 1 1 Holomorphic functions 11 The complex derivative The basic objects of complex analysis are the holomorphic functions These are functions that posses a complex derivative
More informationIV.3. Zeros of an Analytic Function
IV.3. Zeros of an Analytic Function 1 IV.3. Zeros of an Analytic Function Note. We now explore factoring series in a way analogous to factoring a polynomial. Recall that if p is a polynomial with a zero
More informationExercises involving elementary functions
017:11:0:16:4:09 c M K Warby MA3614 Complex variable methods and applications 1 Exercises involving elementary functions 1 This question was in the class test in 016/7 and was worth 5 marks a) Let z +
More informationINTRODUCTION TO PADÉ APPROXIMANTS. E. B. Saff Center for Constructive Approximation
INTRODUCTION TO PADÉ APPROXIMANTS E. B. Saff Center for Constructive Approximation H. Padé (1863-1953) Student of Hermite Histhesiswon French Academy of Sciences Prize C. Hermite (1822-1901) Used Padé
More informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationComplex Analysis Topic: Singularities
Complex Analysis Topic: Singularities MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Topic: Singularities 1 / 15 Zeroes of Analytic Functions A point z 0 C is
More informationProperties of Entire Functions
Properties of Entire Functions Generalizing Results to Entire Functions Our main goal is still to show that every entire function can be represented as an everywhere convergent power series in z. So far
More informationComplex Variables. Cathal Ormond
Complex Variables Cathal Ormond Contents 1 Introduction 3 1.1 Definition: Polar Form.............................. 3 1.2 Definition: Length................................ 3 1.3 Definitions.....................................
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More informationFourth Week: Lectures 10-12
Fourth Week: Lectures 10-12 Lecture 10 The fact that a power series p of positive radius of convergence defines a function inside its disc of convergence via substitution is something that we cannot ignore
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationDIMENSIONS OF JULIA SETS OF HYPERBOLIC ENTIRE FUNCTIONS
Bull. London Math. Soc. 36 2004 263 270 C 2004 London Mathematical Society DOI: 10.1112/S0024609303002698 DIMENSIONS OF JULIA SETS OF HYPERBOLIC ENTIRE FUNCTIONS GWYNETH M. STALLARD Abstract It is known
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationMEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 30, 2005, 205 28 MEROMORPHIC FUNCTIONS AND ALSO THEIR FIRST TWO DERIVATIVES HAVE THE SAME ZEROS Lian-Zhong Yang Shandong University, School of Mathematics
More informationMATH5685 Assignment 3
MATH5685 Assignment 3 Due: Wednesday 3 October 1. The open unit disk is denoted D. Q1. Suppose that a n for all n. Show that (1 + a n) converges if and only if a n converges. [Hint: prove that ( N (1 +
More informationf (n) (z 0 ) Theorem [Morera s Theorem] Suppose f is continuous on a domain U, and satisfies that for any closed curve γ in U, γ
Remarks. 1. So far we have seen that holomorphic is equivalent to analytic. Thus, if f is complex differentiable in an open set, then it is infinitely many times complex differentiable in that set. This
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More informationComplex Variables Notes for Math 703. Updated Fall Anton R. Schep
Complex Variables Notes for Math 703. Updated Fall 20 Anton R. Schep CHAPTER Holomorphic (or Analytic) Functions. Definitions and elementary properties In complex analysis we study functions f : S C,
More informationChapter 4: Open mapping theorem, removable singularities
Chapter 4: Open mapping theorem, removable singularities Course 44, 2003 04 February 9, 2004 Theorem 4. (Laurent expansion) Let f : G C be analytic on an open G C be open that contains a nonempty annulus
More informationMATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD
MATH 566 LECTURE NOTES 6: NORMAL FAMILIES AND THE THEOREMS OF PICARD TSOGTGEREL GANTUMUR 1. Introduction Suppose that we want to solve the equation f(z) = β where f is a nonconstant entire function and
More informationWEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS
WEIERSTRASS THEOREMS AND RINGS OF HOLOMORPHIC FUNCTIONS YIFEI ZHAO Contents. The Weierstrass factorization theorem 2. The Weierstrass preparation theorem 6 3. The Weierstrass division theorem 8 References
More informationChapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
More informationAnalog of Hayman Conjecture for linear difference polynomials
Analog of Hayman Conjecture for linear difference polynomials RAJ SHREE DHAR Higher Education Department, J and K Government Jammu and Kashmir,INDIA dhar.rajshree@jk.gov.in September 9, 2018 Abstract We
More informationζ(u) z du du Since γ does not pass through z, f is defined and continuous on [a, b]. Furthermore, for all t such that dζ
Lecture 6 Consequences of Cauchy s Theorem MATH-GA 45.00 Complex Variables Cauchy s Integral Formula. Index of a point with respect to a closed curve Let z C, and a piecewise differentiable closed curve
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More information1 Introduction, Definitions and Results
Novi Sad J. Math. Vol. 46, No. 2, 2016, 33-44 VALUE DISTRIBUTION AND UNIQUENESS OF q-shift DIFFERENCE POLYNOMIALS 1 Pulak Sahoo 2 and Gurudas Biswas 3 Abstract In this paper, we deal with the distribution
More informationEXTENSIONS OF THE BLOCH PÓLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS
EXTENSIONS OF THE BLOCH PÓLYA THEOREM ON THE NUMBER OF REAL ZEROS OF POLYNOMIALS Tamás Erdélyi Abstract. We prove that there are absolute constants c 1 > 0 and c 2 > 0 for every {a 0, a 1,..., a n } [1,
More informationNOTES ON RIEMANN S ZETA FUNCTION. Γ(z) = t z 1 e t dt
NOTES ON RIEMANN S ZETA FUNCTION DRAGAN MILIČIĆ. Gamma function.. Definition of the Gamma function. The integral Γz = t z e t dt is well-defined and defines a holomorphic function in the right half-plane
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationMA3111S COMPLEX ANALYSIS I
MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary
More informationarxiv: v1 [math.ds] 26 Oct 2015
FATOU S WEB V. EVDORIDOU arxiv:1510.07449v1 [math.ds] 6 Oct 015 Abstract. Let f be Fatou s function, that is, f(z) = z + 1 + e z. We prove that the escaping set of f has the structure of a spider s web
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
More informationProperties of Analytic Functions
Properties of Analytic Functions Generalizing Results to Analytic Functions In the last few sections, we completely described entire functions through the use of everywhere convergent power series. Our
More informationNonhomogeneous linear differential polynomials generated by solutions of complex differential equations in the unit disc
ACTA ET COMMENTATIONES UNIVERSITATIS TARTUENSIS DE MATHEMATICA Volume 20, Number 1, June 2016 Available online at http://acutm.math.ut.ee Nonhomogeneous linear differential polynomials generated by solutions
More informationCoecient bounds for certain subclasses of analytic functions of complex order
Hacettepe Journal of Mathematics and Statistics Volume 45 (4) (2016), 1015 1022 Coecient bounds for certain subclasses of analytic functions of complex order Serap Bulut Abstract In this paper, we introduce
More informationAlternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations
International Mathematical Forum, Vol. 9, 2014, no. 35, 1725-1739 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.410170 Alternate Locations of Equilibrium Points and Poles in Complex
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More informationDifference analogue of the Lemma on the. Logarithmic Derivative with applications to. difference equations
Difference analogue of the Lemma on the Logarithmic Derivative with applications to difference equations R.G. Halburd, Department of Mathematical Sciences, Loughborough University Loughborough, Leicestershire,
More informationOn Bank-Laine functions
Computational Methods and Function Theory Volume 00 0000), No. 0, 000 000 XXYYYZZ On Bank-Laine functions Alastair Fletcher Keywords. Bank-Laine functions, zeros. 2000 MSC. 30D35, 34M05. Abstract. In this
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 204 Cauchy and Runge Under the Same Roof. These notes can be used as an alternative to Section 5.5 of Chapter 2 in the textbook. They assume the theorem on winding numbers of the
More informationb 0 + b 1 z b d z d
I. Introduction Definition 1. For z C, a rational function of degree d is any with a d, b d not both equal to 0. R(z) = P (z) Q(z) = a 0 + a 1 z +... + a d z d b 0 + b 1 z +... + b d z d It is exactly
More informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationA SOLUTION TO SHEIL-SMALL S HARMONIC MAPPING PROBLEM FOR POLYGONS. 1. Introduction
A SOLUTION TO SHEIL-SMALL S HARMONIC MAPPING PROLEM FOR POLYGONS DAOUD SHOUTY, ERIK LUNDERG, AND ALLEN WEITSMAN Abstract. The problem of mapping the interior of a Jordan polygon univalently by the Poisson
More informationA Note on Coefficient Inequalities for (j, i)-symmetrical Functions with Conic Regions
BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874 ISSN (o) 2303-4955 wwwimviblorg /JOURNALS / BULLETIN Vol 6(2016) 77-87 Former BULLETIN OF THE SOCIETY OF MATHEMATICIANS BANJA
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics SOME NORMALITY CRITERIA INDRAJIT LAHIRI AND SHYAMALI DEWAN Department of Mathematics University of Kalyani West Bengal 741235, India. EMail: indrajit@cal2.vsnl.net.in
More informationA NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS. Masaru Nagisa. Received May 19, 2014 ; revised April 10, (Ax, x) 0 for all x C n.
Scientiae Mathematicae Japonicae Online, e-014, 145 15 145 A NOTE ON RATIONAL OPERATOR MONOTONE FUNCTIONS Masaru Nagisa Received May 19, 014 ; revised April 10, 014 Abstract. Let f be oeprator monotone
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 4.3.5, 4.3.7, 4.3.8, 4.3.9,
More informationRiemann sphere and rational maps
Chapter 3 Riemann sphere and rational maps 3.1 Riemann sphere It is sometimes convenient, and fruitful, to work with holomorphic (or in general continuous) functions on a compact space. However, we wish
More information1. Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials.
Partial Fraction Expansion All the polynomials in this note are assumed to be complex polynomials A rational function / is a quotient of two polynomials P, Q with 0 By Fundamental Theorem of algebra, =
More informationDifference analogue of the lemma on the logarithmic derivative with applications to difference equations
Loughborough University Institutional Repository Difference analogue of the lemma on the logarithmic derivative with applications to difference equations This item was submitted to Loughborough University's
More informationComplex Variables...Review Problems (Residue Calculus Comments)...Fall Initial Draft
Complex Variables........Review Problems Residue Calculus Comments)........Fall 22 Initial Draft ) Show that the singular point of fz) is a pole; determine its order m and its residue B: a) e 2z )/z 4,
More informationSupplement. The Extended Complex Plane
The Extended Complex Plane 1 Supplement. The Extended Complex Plane Note. In section I.6, The Extended Plane and Its Spherical Representation, we introduced the extended complex plane, C = C { }. We defined
More informationHomework 27. Homework 28. Homework 29. Homework 30. Prof. Girardi, Math 703, Fall 2012 Homework: Define f : C C and u, v : R 2 R by
Homework 27 Define f : C C and u, v : R 2 R by f(z) := xy where x := Re z, y := Im z u(x, y) = Re f(x + iy) v(x, y) = Im f(x + iy). Show that 1. u and v satisfies the Cauchy Riemann equations at (x, y)
More informationProblems for MATH-6300 Complex Analysis
Problems for MATH-63 Complex Analysis Gregor Kovačič December, 7 This list will change as the semester goes on. Please make sure you always have the newest version of it.. Prove the following Theorem For
More informationBank-Laine functions with periodic zero-sequences
Bank-Laine functions with periodic zero-sequences S.M. ElZaidi and J.K. Langley Abstract A Bank-Laine function is an entire function E such that E(z) = 0 implies that E (z) = ±1. Such functions arise as
More informationPRIME NUMBER THEOREM
PRIME NUMBER THEOREM RYAN LIU Abstract. Prime numbers have always been seen as the building blocks of all integers, but their behavior and distribution are often puzzling. The prime number theorem gives
More informationThe Distribution of Generalized Sum-of-Digits Functions in Residue Classes
Journal of umber Theory 79, 9426 (999) Article ID jnth.999.2424, available online at httpwww.idealibrary.com on The Distribution of Generalized Sum-of-Digits Functions in Residue Classes Abigail Hoit Department
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationVII.5. The Weierstrass Factorization Theorem
VII.5. The Weierstrass Factorization Theorem 1 VII.5. The Weierstrass Factorization Theorem Note. Conway motivates this section with the following question: Given a sequence {a k } in G which has no limit
More informationOn Rankin-Cohen Brackets of Eigenforms
On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen
More informationBANK-LAINE FUNCTIONS WITH SPARSE ZEROS
BANK-LAINE FUNCTIONS WITH SPARSE ZEROS J.K. LANGLEY Abstract. A Bank-Laine function is an entire function E satisfying E (z) = ± at every zero of E. We construct a Bank-Laine function of finite order with
More informationMA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I
MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said
More informationIII.2. Analytic Functions
III.2. Analytic Functions 1 III.2. Analytic Functions Recall. When you hear analytic function, think power series representation! Definition. If G is an open set in C and f : G C, then f is differentiable
More informationA property of the derivative of an entire function
A property of the derivative of an entire function Walter Bergweiler and Alexandre Eremenko February 12, 2012 Abstract We prove that the derivative of a non-linear entire function is unbounded on the preimage
More informationA REMARK ON ZAGIER S OBSERVATION OF THE MANDELBROT SET
Shimauchi, H. Osaka J. Math. 52 (205), 737 746 A REMARK ON ZAGIER S OBSERVATION OF THE MANDELBROT SET HIROKAZU SHIMAUCHI (Received April 8, 203, revised March 24, 204) Abstract We investigate the arithmetic
More informationIV. Conformal Maps. 1. Geometric interpretation of differentiability. 2. Automorphisms of the Riemann sphere: Möbius transformations
MTH6111 Complex Analysis 2009-10 Lecture Notes c Shaun Bullett 2009 IV. Conformal Maps 1. Geometric interpretation of differentiability We saw from the definition of complex differentiability that if f
More informationComplex Analysis Slide 9: Power Series
Complex Analysis Slide 9: Power Series MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Slide 9: Power Series 1 / 37 Learning Outcome of this Lecture We learn Sequence
More informationDeficiency And Relative Deficiency Of E-Valued Meromorphic Functions
Applied Mathematics E-Notes, 323, -8 c ISSN 67-25 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ Deficiency And Relative Deficiency Of E-Valued Meromorphic Functions Zhaojun Wu, Zuxing
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More information