An old new class of meromorphic functions. Norbert Steinmetz. June 13, 2015
|
|
- Georgia Nash
- 6 years ago
- Views:
Transcription
1 Norbert Steinmetz June 13, 2015
2 NEW & OLD NEW: Hamiltonian system p = H q = q 2 zp α q = H p = p 2 + zq + β with Hamiltonian H(z, p, q) = 1 3 (p3 + q 3 ) + zpq + αq + βp OLD: Almost Painlevé IV 2ww = w 2 w 4 4zw 3 (2ωα+2 ωβ+3z 2 )w 2 (ωα ωβ+1) 2. OLD & NEW: w = ωp + ωq z (ω 3 = 1).
3 Three reasons to consider p = q 2 zp α q = p 2 + zq + β The solutions are meromorphic in the plane, while any known and essentially different system with Hamiltonian H(z, p, q) = 1 m pm + 1 n qn + nµ+mν<mn a µν (z)p µ q ν (m, n 3) has movable algebraic poles or more complicated singularities (Kecker). The solutions have extremely nice properties New insight in Painlevé IV There exists a method
4 Re-scaling (also re-normalisation) Set p h (z) = h 1 p(h + h 1 z), q h (z) = q(h + h 1 z). p = q 2 zp α q = p 2 + zq + β p = lim h p h q = lim h q h (formal) p = q 2 p q = p 2 + q 1 3 (p3 + q 3 ) + pq = c?! properties of (p, q) (???) properties of (p, q) W 2 The problem (???) disappears if one can show that the families (p h ) h >1 and (q h ) h >1 are normal in the plane.
5 Re-scaling constant solutions to ( ) p = q 2 p q = p 2 + q give rise to asymptotic expansions on Stokes sectors for the solutions to p = q 2 zp α q = p 2 + zq + β non-constant (periodic or elliptic) solutions to ( ) yield information on the distribution of poles of (p, q).
6 Poles Trivial and non-trivial properties p and q have simple poles λ Λ with residues ω and ω, resp. (ω 3 = 1). H has simple poles with residue 1: H(z) = (z λ) 1 + [2h λ3 + 1 (α + β)λ] + 2 (h = h(λ) is unknown and may be prescribed once!) The discs δ (λ) = {z : z λ < δ λ 1 } (λ 0, δ > 0 sufficiently small) are mutually disjoint. p + q = O( z ) and p + q = O( z 2 ) outside the exceptional set Λ δ = λ 0 δ(λ).
7 Poles H(z) = O( z 3 ) outside Λ δ. The order of growth is at most 4: n(r, Λ) = 1 H(z) dz = O(r 4 ) 2πi Γ r (Γ r = approximately the circle z = r). The residues are equi-distributed: n(r, Λ ω ) = 1n(r, Λ) + O(r 2 ) (ω 3 = 1) follows from 3 ωn(r, Λ ω ) = 1 p(z) dz = O(r 2 ). ω 3 =1 2πi Γ r n(r, Λ) = O(r 2 ) if at least one residue ω is missing.
8 Generalised spherical derivative Lemma. p z 2 + p + q 2 z 2 + q = O(1). 2 Proof. Res z=λ p = ω: f = ωp + p 2 ωzp is regular on δ (λ) and satisfies f (z) = O( z 2 ) on δ (λ): Maximum principle. More examples: (R) w = z n w 2 : (P I ) w = z + 6w 2 : (P II ) w = α + zw + 2w 3 : (P IV ) 2ww = w 2 + 3w 4 + 8zw 3 + 4(z 2 α)w 2 + 2β : w z n + w = O(1) 2 w z + w = 2 O( z w z + w = O(1) 2 w z 2 + w 2 = O(1) 1 4 )
9 Generalised spherical derivative Lemma. Suppose f is meromorphic in the z-plane and satisfies f (z) z 2a + f (z) 2 = O( z b a ) (z ) for some a R, b > 1. Then the re-scaled family (f h ) h >1 f h (z) = h a f (h + h b z) is normal in the z-plane. (non-constant f = lim f h k h k function). Proof. Part of the afternoon exam. Yosida
10 Re-scaling The families (p h ) h >1 with p h (z) = h 1 p(h + h 1 z) and (q h ) h >1 are normal on the plane. The limit functions p = lim p h k and q = lim q h k satisfy h k h k p = q 2 p, q = p 2 + q with constant Hamiltonian H(p, q) = 1 3 (p3 + q 3 ) + pq c = lim h k h 3 k H(h k) (inf h k dist(h k, Λ) > 0) lim λ k 2λ 3 k h(λ k) + 1 ( lim h 3 k h k λ k = 0) k the constants c form the cluster set C(p, q); it is closed, bounded and connected.
11 The algebraic curve H(x, y) = 1 3 (x 3 + y 3 ) + xy c = 0 either is reducible (c = 1 3 ), H(x, y) = (y + x 1)(y + ωx ω)(y + ωx ω) or else has genus 0 (c = 0), and is parametrised by x = 3ωt2 3 ωt and y = t t 3 + 1, or else has genus 1 (c 0, 1 ) and is parametrised by a 3 pair of elliptic functions: (x ) 3 + 9x(x ) x 2 x + (x 6 + (16 6c)x 3 + 9c 2 ) = 0 (y ) 3 9y(y ) y 2 y (y 6 (16 6c)y 3 + 9c 2 ) = 0
12 The hamiltonian system p = q 2 p q = p 2 + q has non-constant solutions q = 1 p, p + ω p + ω = 3z ei (ω = e 2πi/3 ), and similar expressions if q = ω ωp in the reducible case p = 3ωe2z 3 ωez and q = in case of genus 0, e 3z + 1 e 3z + 1 p(z) = ωζ(z z ω (c)), q(z) = ωζ(z z ω (c)) in ω 3 =1 ω 3 =1 case of genus 1 with lattice depending on c.
13 Distribution of poles: reducible case p = q 2 p p = q 2 zp α q = p 2 + q q = p 2 + zq + β 1 3 (p3 + q 3 ) + pq = z-plane ( z < 8) λ z-plane ( z λ < 8 λ 1 ) ( λ large) The discs have radii o( λ 1 ).
14 Distribution of poles: genus zero p = q 2 p p = q 2 zp α q = p 2 + q q = p 2 + zq + β 1 3 (p3 + q 3 ) + pq = 0 0 z-plane ( z < 7) z-plane ( z λ < 7 λ 1 ) The residues alternate λ
15 Distribution of poles: genus one p = q 2 p p = q 2 zp α q = p 2 + q q = p 2 + zq + β 1 3 (p3 + q 3 ) + pq = c 0, 1 3 z-plane z-plane
16 The cluster set and sub-normal solutions Transcendental solutions satisfy C 1 r 2 n(r, Λ) C 2 r 4. Solutions satisfying n(r, Λ) r 2 are called sub-normal. C(p, q) {0, 1/3} n(r k, Λ) r 4 k Guess: n(r, w) r 4. Hinkkanen and Laine: C(p, q) {0, 1/3} n(r, Λ) r 2
17 Strings of poles Any sequence (λ k ) satisfying some parabolic-like recursion λ k+1 = λ k + (c + o(1))λ s k (c 0, s > 1 rational) is called a (c, s)-string. λ k ((1 + s)c)k) 1/(1+s) (consider µ k = λ 1+s k ) n(r, {λ k }) r 1+s (1 + s) c arg λ k 1 2π arg c modulo 1+s 1+s Sub-normal solutions have finitely many (± 2π 3, 1)-strings of poles if C(p, q) = {1/3} (± 2πi, 1)-strings of poles if C(p, q) = {0} 3
18 Much ado about nothing: Sub-normal solutions with C(p, q) = {0} do not exist. Proof. There are finitely many strings of poles, each asymptotic to some ray arg z = (2ν + 1)π/4 p, q and H have asymptotic expansions on each sector (2ν 1)π/4 < arg z < (2ν + 1)π/4, in particular H(z) = αβ z α3 + β 3 + O( z 5 ) 3z 3 g(z) = exp( H(z) dz) is entire of order 4, with zeros at the poles of (p, q) Phragmén-Lindelöf argument on arg z 2ν+1 4 π < δ g is a polynomial (of degree αβ), hence p and q are rational functions.
19 C(p, q) = {1/3} Type-1 sub-normal solutions Transcendental solutions(p, q) having only poles with fixed pair of residues (ω, ω) are sub-normal with cluster set C(p, q) = {1/3}. In case of ω = 1: p + q z = 0 α β + 1 = 0 p = α z 2 + zp p 2, q = β + z 2 zq + q 2 One string of poles in four [two adjacent] Stokes directions p ϱz p ϱz p ϱz p ϱz p ϱz p ϱz Generic and degenerate distribution of poles and asymptotics; Res p = 1; ϱ = 1 2 ( 1 + i 3).
20 C(p, q) = {1/3} Type-2 sub-normal solutions Transcendental solutions having only poles with pairs of residues (ω 1, ω 1 ) and (ω 2, ω 2 ) are sub-normal with cluster set C(p, q) = {1/3}. In case of ω 1,2 = 1 2 ( 1 ± i 3): α = β p 2 + q 2 + z 2 pq + z(p + q) + 3β p 2 + A 2 (z, p)p + A 4 (z, p) = 0 (Fuchsian) Two strings of poles in 4 [2 adjacent] directions p ωz p ωz p ωz p ωz p ωz p ωz Res p = ω 1, Res p = ω 2 ; in the narrow domains between two strings, p(z) = z + o( z ) holds.
21 C(p, q) = {1/3} Type-3 sub-normal solutions
22 C(p, q) = {1/3} Type-n sub-normal solutions Theorem. Every sub-normal solutions has some type. Type-n solutions have 4 n [in exceptional cases only 2 n] strings of poles. They exist if n 0 modulo 3 (for known parameters), but never if n 0 modulo 3. p z p ωz p ωz p z p ωz p ωz p ωz p ωz n = 3k + 1 (ω = 1 2 ( 1 + i 3)) n = 3k + 2 4[2] ((k + 1) + k + k) strings 4[2] ((k + 1) + (k + 1) + k) strings
23 Asymptotics and distribution of residues p(z) ωz + p(z) = z + o( z ) p(z) = ωz + o( z ) p(z) = ωz + o( z ) p z + p(z) ωz + (1 st quadrant) p(z) = z + o( z ) p(z) = ωz + o( z ) p(z) = ωz + o( z ) p(z) = z + o( z ) p ωz + (4 th quadrant) Res = 1, Res = ω = 1 2 ( 1 + i 3), Res = ω
24 Bäcklund transformations (Kecker) The Bäcklund transformations (ω 3 = 1) M ω : (p, q) ( ωp, ωq) and ( ) ωα ωβ + 1 p(z) ω p B ω : ωp(z) + ωq(z) z q ωα ωβ + 1 q(z) + ω ωp(z) + ωq(z) z transform p = q 2 zp α, q = p 2 + zq + β into the same Hamiltonian system with resp. parameters ( ωα, ωβ) (ωβ ω, ωα + ω).
25 Main Result Theorem. To any Type-n (n > 1) sub-normal solution (p, q) there exists some Bäcklund transformation B 1 M ω which maps (p, q) onto some Type-(n 1) sub-normal solution if n 2 modulo 3; Type-(n 2) sub-normal solution if n 1 modulo 3. Corollary. Every sub-normal solution has its source in a Type-1 subnormal solution; p and q satisfy first order differential equations P(z, p, p ) = Q(z, q, q ) = 0 of Fuchsian type and are algebraically dependent, K(z, p, q) = 0 (genus zero).
26 Proof of the Main Result p and q have asymptotic expansions p(z) τ ν z +, q(z) τ ν z + (τ 3 ν = 1) on (ν 1)π/2 < arg z < νπ/2; shortly written τ 2 τ 1 τ 3 τ 4. Reason: p = q 2 p, q = p 2 + q, 1 3 (p3 + q 3 ) + pq = 1 3 has the constant solutions (p, q) = (τ ν, τ ν ) under B 1 M ω, old strings of poles may disappear or may change their residue, and new strings may be created n(r, Λ) = n(r, M ω Λ). 81 configurations τ 2 τ 1 τ 3 τ 4 may be reduced to 5.
27 Proof of the Main Result τ 1 τ 1 = τ 1 τ 1 is ruled out (Phragmén-Lindelöf). τ 3 τ 3 τ 3 τ 3 Set p ω = M ω p, Λ ω = M ω Λ and H ω = M ω H. n(r, Λ) n(r, B 1 Λ ω ) = n(r, Λ ω ) n(r, B 1 Λ ω ) = 1 (H ω (z) B 1 H ω (z)) dz 2πi Γ r (H ω B 1 H ω = p ω B 1 p ω ) = 1 (p ω (z) B 1 p ω (z)) dz 2πi Γ r 3r 2 (ω, {τ ν }) 4π (ω, {τ ν }) assumes integer values 1, = 0, and 1 if ω varies. Choose ω with (ω, {τ ν }) 1 to decrease the number of strings.
28 Symbolic illustration ( display poles with different residues, not necessarily the same in different pictures)
29 Application to Painlevé IV 2ww = w 2 w 4 4zw 3 (2α + 2β + 3z 2 )w 2 (α β + 1) 2 is equivalent to Painlevé IV. Known: α β m(r, 1/w) = O(log r) α β + 1 = 0 m(r, 1/w) 1 T (r, w) + O(log r), 2 except when α = 1( 1 ± i 3), β = α + 1, and 2 w = i 3 (3zw + w 2 ) : N(r, 1/w) = 0. Theorem. δ(0, w) = 0, except when w = p + q z and (p, q) is a Type-(3k + 1) sub-normal solution with parameters α k = 1 2 ( 1 ± (2k + 1) 3i), β k = α k + 1, and δ(0, w) = 1 2k + 1. For k = 0, zero is a Picard value.
30 Application to Painlevé IV n = 3k + 1: w = p + q z has 4(k + 1) and 4k strings of simple poles and, respectively, and 4k strings of 2k double zeros : δ(0, w) = 1 k k = 1 2k + 1. n = 3k + 2: α β + 1 = 0 is impossible.
31 Thank you for listening
Local and global finite branching of solutions of ODEs in the complex plane
Local and global finite branching of solutions of ODEs in the complex plane Workshop on Singularities and Nonlinear ODEs Thomas Kecker University College London / University of Portsmouth Warszawa, 7 9.11.2014
More informationOn the singularities of non-linear ODEs
On the singularities of non-linear ODEs Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborators: R. Halburd (London), R. Vidunas (Tokyo), R. Kycia (Kraków) 1 Plan
More informationBoutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents
Boutroux s Method vs. Re-scaling Lower estimates for the orders of growth of the second and fourth Painlevé transcendents 18.06.2003 by Norbert Steinmetz in Dortmund Abstract. We give a new proof of Shimomura
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 informationOn rational approximation of algebraic functions. Julius Borcea. Rikard Bøgvad & Boris Shapiro
On rational approximation of algebraic functions http://arxiv.org/abs/math.ca/0409353 Julius Borcea joint work with Rikard Bøgvad & Boris Shapiro 1. Padé approximation: short overview 2. A scheme of rational
More informationMath Final Exam.
Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:
More informationGlobal Properties Of The Painlevé Transcendents
Global Properties Of The Painlevé Transcendents New results and open questions by Norbert Steinmetz in Dortmund Abstract. We prove several lower estimates for the Nevanlinna characteristic functions and
More informationA UNIFIED APPROACH TO THE PAINLEVÉ TRANSCENDENTS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 42, 207, 7 49 A UNIFIED APPROACH TO THE PAINLEVÉ TRANSCENDENTS Norbert Steinmetz Technische Universität Dortmund, Fakultät für Mathematik D-4422
More informationMATH FINAL SOLUTION
MATH 185-4 FINAL SOLUTION 1. (8 points) Determine whether the following statements are true of false, no justification is required. (1) (1 point) Let D be a domain and let u,v : D R be two harmonic functions,
More informationMATH COMPLEX ANALYSIS. Contents
MATH 3964 - OMPLEX ANALYSIS ANDREW TULLOH AND GILES GARDAM ontents 1. ontour Integration and auchy s Theorem 2 1.1. Analytic functions 2 1.2. ontour integration 3 1.3. auchy s theorem and extensions 3
More informationNon-real zeroes of real entire functions and their derivatives
Non-real zeroes of real entire functions and their derivatives Daniel A. Nicks Abstract A real entire function belongs to the Laguerre-Pólya class LP if it is the limit of a sequence of real polynomials
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
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 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 information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationExplicit Examples of Strebel Differentials
Explicit Examples of Strebel Differentials arxiv:0910.475v [math.dg] 30 Oct 009 1 Introduction Philip Tynan November 14, 018 In this paper, we investigate Strebel differentials, which are a special class
More informationIntegrability, Nonintegrability and the Poly-Painlevé Test
Integrability, Nonintegrability and the Poly-Painlevé Test Rodica D. Costin Sept. 2005 Nonlinearity 2003, 1997, preprint, Meth.Appl.An. 1997, Inv.Math. 2001 Talk dedicated to my professor, Martin Kruskal.
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. Then g is holomorphic and bounded in U. So z 0 is a removable singularity of g. Since f(z) = w 0 + 1
Now we describe the behavior of f near an isolated singularity of each kind. We will always assume that z 0 is a singularity of f, and f is holomorphic on D(z 0, r) \ {z 0 }. Theorem 4.2.. z 0 is a removable
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 information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
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 informationSolutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston
Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?
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 informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More information. OKAMOTO S SPACE FOR THE FIRST PAINLEVÉ EQUATION IN BOUTROUX COORDINATES J.J. DUISTERMAAT AND N. JOSHI
. OKAMOTO S SPACE FOR THE FIRST PAINLEVÉ EQUATION IN BOUTROUX COORDINATES J.J. DUISTERMAAT AND N. JOSHI Abstract. We study the completeness and connectedness of asymptotic behaviours of solutions of the
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 informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
More informationBernstein s analytic continuation of complex powers
(April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems
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 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 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 informationConsidering 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 information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationLecture 3. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 3 E- and G-functions 1 / 20
Lecture 3 Frits Beukers Arithmetic of values of E- and G-function Lecture 3 E- and G-functions 1 / 20 G-functions, definition Definition An analytic function f (z) given by a powerseries a k z k k=0 with
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 informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More information3. 4. Uniformly normal families and generalisations
Summer School Normal Families in Complex Analysis Julius-Maximilians-Universität Würzburg May 22 29, 2015 3. 4. Uniformly normal families and generalisations Aimo Hinkkanen University of Illinois at Urbana
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 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 informationRamanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +
Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like
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 informationHomework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn
Homework 7 solutions M328K by Mark Lindberg/Marie-Amelie Lawn Problem 1: 4.4 # 2:x 3 + 8x 2 x 1 0 (mod 1331). a) x 3 + 8x 2 x 1 0 (mod 11). This does not break down, so trial and error gives: x = 0 : f(0)
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 informationLimits in differential fields of holomorphic germs
Limits in differential fields of holomorphic germs D. Gokhman Division of Mathematics, Computer Science and Statistics University of Texas at San Antonio Complex Variables 28:27 36 (1995) c 1995 Gordon
More informationELLIPTIC FUNCTIONS AND THETA FUNCTIONS
ELLIPTIC FUNCTIONS AND THETA FUNCTIONS LECTURE NOTES FOR NOV.24, 26 Historically, elliptic functions were first discovered by Niels Henrik Abel as inverse functions of elliptic integrals, and their theory
More informationMEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 18, 1993, 273 298 MEROMORPHIC FUNCTIONS WHOSE JULIA SETS CONTAIN A FREE JORDAN ARC Gwyneth M. Stallard Imperial College of Science,
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More informationGrowth of meromorphic solutions of delay differential equations
Growth of meromorphic solutions of delay differential equations Rod Halburd and Risto Korhonen 2 Abstract Necessary conditions are obtained for certain types of rational delay differential equations to
More informationComplex Analysis Qual Sheet
Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z
More informationFinal Exam - MATH 630: Solutions
Final Exam - MATH 630: Solutions Problem. Find all x R satisfying e xeix e ix. Solution. Comparing the moduli of both parts, we obtain e x cos x, and therefore, x cos x 0, which is possible only if x 0
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 informationMA30056: Complex Analysis. Exercise Sheet 7: Applications and Sequences of Complex Functions
MA30056: Complex Analysis Exercise Sheet 7: Applications and Sequences of Complex Functions Please hand solutions in at the lecture on Monday 6th March..) Prove Gauss Fundamental Theorem of Algebra. Hint:
More informationIntegral Bases. 1. Resultants
. Resultants Integral Bases Suppose f and g are polynomials in one or more variables including x) with integer coefficients. Say f = A 0 x m + A x m + + A m, g = B 0 x n + B x n + + B n, with A 0,...,
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationEvaluation of integrals
Evaluation of certain contour integrals: Type I Type I: Integrals of the form 2π F (cos θ, sin θ) dθ If we take z = e iθ, then cos θ = 1 (z + 1 ), sin θ = 1 (z 1 dz ) and dθ = 2 z 2i z iz. Substituting
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 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 informationFrom alternating sign matrices to Painlevé VI
From alternating sign matrices to Painlevé VI Hjalmar Rosengren Chalmers University of Technology and University of Gothenburg Nagoya, July 31, 2012 Hjalmar Rosengren (Chalmers University) Nagoya, July
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
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 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 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 informationRandomized Algorithms III Min Cut
Chapter 11 Randomized Algorithms III Min Cut CS 57: Algorithms, Fall 01 October 1, 01 11.1 Min Cut 11.1.1 Problem Definition 11. Min cut 11..0.1 Min cut G = V, E): undirected graph, n vertices, m edges.
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 informationPartition function of one matrix-models in the multi-cut case and Painlevé equations. Tamara Grava and Christian Klein
Partition function of one matrix-models in the multi-cut case and Painlevé equations Tamara Grava and Christian Klein SISSA IMS, Singapore, March 2006 Main topics Large N limit beyond the one-cut case
More information18.04 Practice problems exam 2, Spring 2018 Solutions
8.04 Practice problems exam, Spring 08 Solutions Problem. Harmonic functions (a) Show u(x, y) = x 3 3xy + 3x 3y is harmonic and find a harmonic conjugate. It s easy to compute: u x = 3x 3y + 6x, u xx =
More informationThe Geometry of Cubic Maps
The Geometry of Cubic Maps John Milnor Stony Brook University (www.math.sunysb.edu) work with Araceli Bonifant and Jan Kiwi Conformal Dynamics and Hyperbolic Geometry CUNY Graduate Center, October 23,
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 informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationThe Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania
The Dynamics of Two and Three Circle Inversion Daniel M. Look Indiana University of Pennsylvania AMS Subject Classification: Primary: 37F10 Secondary: 51N05, 54D70 Key Words: Julia Set, Complex Dynamics,
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 informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 02 omplex Variables Final Exam May, 207 :0pm-5:0pm, Skurla Hall, Room 06 Exam Instructions: You have hour & 50 minutes to complete the exam. There are a total of problems.
More informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 32 Complex Variables Final Exam May, 27 3:3pm-5:3pm, Skurla Hall, Room 6 Exam Instructions: You have hour & 5 minutes to complete the exam. There are a total of problems.
More informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 2015
Department of Mathematics, University of California, Berkeley YOUR OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Spring Semester 205. Please write your - or 2-digit exam number on this
More informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
More informationCongruent Numbers, Elliptic Curves, and Elliptic Functions
Congruent Numbers, Elliptic Curves, and Elliptic Functions Seongjin Cho (Josh) June 6, 203 Contents Introduction 2 2 Congruent Numbers 2 2. A certain cubic equation..................... 4 3 Congruent Numbers
More informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationINTRODUCTION TO COMPLEX ANALYSIS W W L CHEN
INTRODUTION TO OMPLEX ANALYSIS W W L HEN c W W L hen, 986, 2008. This chapter originates from material used by the author at Imperial ollege, University of London, between 98 and 990. It is available free
More informationElliptic Curves and Elliptic Functions
Elliptic Curves and Elliptic Functions ARASH ISLAMI Professor: Dr. Chung Pang Mok McMaster University - Math 790 June 7, 01 Abstract Elliptic curves are algebraic curves of genus 1 which can be embedded
More informationPROPER HOLOMORPHIC IMMERSIONS IN HOMOTOPY CLASSES OF MAPS FROM FINITELY CONNECTED PLANAR DOMAINS INTO C C
PROPER HOLOMORPHIC IMMERSIONS IN HOMOTOPY CLASSES OF MAPS FROM FINITELY CONNECTED PLANAR DOMAINS INTO C C FINNUR LÁRUSSON AND TYSON RITTER Abstract. Gromov, in his seminal 1989 paper on the Oka principle,
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 informationComplex Analysis Math 185A, Winter 2010 Final: Solutions
Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationALGEBRAIC GEOMETRY AND RIEMANN SURFACES
ALGEBRAIC GEOMETRY AND RIEMANN SURFACES DANIEL YING Abstract. In this thesis we will give a present survey of the various methods used in dealing with Riemann surfaces. Riemann surfaces are central in
More informationSiegel Discs in Complex Dynamics
Siegel Discs in Complex Dynamics Tarakanta Nayak, Research Scholar Department of Mathematics, IIT Guwahati Email: tarakanta@iitg.ernet.in 1 Introduction and Definitions A dynamical system is a physical
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 informationOn values of Modular Forms at Algebraic Points
On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential
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 informationPoles and α-points of Meromorphic Solutions of the First Painlevé Hierarchy
Publ. RIMS, Kyoto Univ. 40 2004), 471 485 Poles and α-points of Meromorphic Solutions of the First Painlevé Hierarchy By Shun Shimomura Abstract The first Painlevé hierarchy, which is a sequence of higher
More informationGROWTH OF SOLUTIONS TO HIGHER ORDER LINEAR HOMOGENEOUS DIFFERENTIAL EQUATIONS IN ANGULAR DOMAINS
Electronic Journal of Differential Equations, Vol 200(200), No 64, pp 7 ISSN: 072-669 URL: http://ejdemathtxstateedu or http://ejdemathuntedu ftp ejdemathtxstateedu GROWTH OF SOLUTIONS TO HIGHER ORDER
More informationChapter 4. The Lamé equation. 4.1 The Lamé equation
Chapter 4 The Lamé equation In this chapter we introduce the Lamé (differential) equation L n (y) =0and consider its monodromy group in general. It turns out that a finite monodromy group of the Lamé equation
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
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 informationTaylor Expansions with Finite Radius of Convergence Work of Robert Jentzsch, 1917
Polynomial Families with Interesting Zeros Robert Boyer Drexel University April 30, 2010 Taylor Expansions with Finite Radius of Convergence Work of Robert Jentzsch, 1917 Partial Sums of Geometric Series
More information