Arxiv:1809.07200V2 [Math.CA] 21 Sep 2018 Rf Oy-Rpisdaln a 6 Jan Deadline Replies - Copy Draft Eerhpolm Nfnto Theory Function in Problems Research .K Amn&E .Lingham F
Total Page:16
File Type:pdf, Size:1020Kb
Research Problems in Function Theory Draft Copy - Replies Deadline Jan 6th 2019 W. K. Hayman & E. F. Lingham arXiv:1809.07200v2 [math.CA] 21 Sep 2018 Contents 1 Meromorphic Functions 4 2 Entire Functions 22 3 Subharmonic and Harmonic Functions 58 4 Polynomials 72 5 Functions in the Unit Disc 83 6 Univalent and Multivalent Functions 114 7 Miscellaneous 160 8 Spaces of Functions 188 9 Interpolation and Approximation 197 1 A Note for the Reader Thank you for your interest in this book. In order for this work to be as useful to the complex analysis community as possible, we want it to be as comprehensive and as accurate as can be. We also aim to include new problems in all nine chapters. We therefore ask for your help in three ways: (a) Let us know of any errors and omissions. While you are reading this work, you may come across some errors or omissions. Please let us know about these by emailing Eleanor Lingham ([email protected]). (b) Send us some new problems. For any mathematics research area to thrive, there needs to be an abundance of interesting problems to work on. If you have some interesting unsolved problems, we ask you to please consider sharing them with the wider mathematics community by publishing them in this work. To do so, email Eleanor Lingham ([email protected]) with the following: (i) A clear statement of the problem, as you would like it to appear. (ii) Full details of any definitions needed (you could check this work to see if the definition is already included). (iii) Full details of any references needed. (iv) A direction to which chapter the problem should appear in. (v) An attribution for the problem, if one exists. (c) Please let other interested members of the complex analysis community know about this project. Please send all replies by January 6th 2019 - Walter K. Hayman’s 93rd birthday. With best regards and thanks, Walter Hayman and Eleanor Lingham Contact: [email protected] 2 Introduction By Walter K. Hayman and Eleanor F. Lingham (to appear) 3 Chapter 1 Meromorphic Functions Preface by A. Eremenko (to appear) Notation We use the usual notations of Nevanlinna theory (see for example Nevan- linna [599], [598] and Hayman [395]). If f(z) is meromorphic in z < R, and 0 < r < R we write | | n(r, a)= n(r, a, f) for the number of roots of the equation f(z) = a in z r, when multiple roots | | ≤ are counted according to multiplicity, and n(r, a) when multiple roots are counted only once. We also define r [n(t, a) n(0, a)] dt N(r, a)= − + n(0, a) log r, t Z0 r [n(t, a) n(0, a)] dt N(r, a)= − + n(0, a) log r, t Za 1 2π m(r, f)= m(r, ,f)= log+ f(reiθ) dθ, ∞ 2π | | Z0 where log+ x = max log x, 0 , 1 m(r, a, f)= m r, , , a = . ∞ f a 6 ∞ − and T (r, f)= m(r, ,f)+ N(r, ,f). ∞ ∞ Then for every finite a, we have by the first fundamental theorem (see Hayman [395, p. 5]), T (r, f)= m(r, a, f)+ N(r, a, f)+ O(1), as r R. (1.1) → We further define the deficiency, m(r, a, f) N(r, a, f) δ(a, f) = lim inf = 1 lim sup , r R T (r, f) − r R T (r, f) → → 4 the Valiron deficiency m(r, a, f) ∆(a, f) = limsup , r R T (r, f) → and further N(r, a, f) Θ(a, f) = 1 lim sup . − r R T (r, f) → We then have the “defect relation” (see Hayman [395, p. 43]), δ(a, f) Θ(a, f) 2, (1.2) ≤ ≤ a a X X provided that either R = and f(z) is not constant, or R< + and ∞ ∞ T (r, f) lim sup =+ . r R log 1/(R r) ∞ → − If R =+ we also define the lower order λ and order ρ, ∞ log T (r, f) log T (r, f) λ = lim inf , ρ = limsup . r R log r r R log r → → If δ(a, f) > 0 the value a is called deficient. If follows from (1.2) that there are at most countably many deficient values if the conditions for (1.2) are satisfied. Problem 1.1 Is (1.2) all that is true in general? In other words, can we construct a meromorphic function f(z) such that f(z) has an arbitrary sequence an of deficient values and no others, and further that δ(an,f) = δn, where δn is an arbitrary sequence subject to δ 2? (If f(z) is an entire function δ(f, ) = 1, so that n ≤ ∞ a= δ(a, f) 1. For a solution of the problem in this case see [395, p. 80]). 6 ∞ ≤ P P Update 1.1 This problem has been completely settled by Drasin [197]. He constructs a meromorphic function f(z) with arbitrary deficiencies and branching indices on a presassigned sequence an of complex numbers with f(z) growing arbitrarily slowly, subject to having infinite order. Problem 1.2 How big can the set of Valiron deficiencies be for functions in the plane? It is known that 1 +ε N(r, a)= T (r, f)+ O T (r, f) 2 (1.3) as r , for all a outside a set of capacity zero (see Nevanlinna [598, pp. 260-264]. →∞ In the case R< + this is more or less best-possible, but in the plane we only know ∞ from an example of Valiron [763] that the corresponding set of a can be non-countably infinite. It is also not known whether (1.3) can be sharpened. Update 1.2 Hyllengren [455] has shown that all values of a set E can have Valiron deficiency greater than a positive constant for a function of finite order in the plane, if and only if there exists a sequence of complex numbers an and a k > 0 such that 5 kn each point of E lies in infinitely many of the discs z : z a < e e . { | − n| − } Hayman [403] proved that all values of any Fσ set of capacity zero can be Valiron deficiencies for an entire function of infinite order and a little more. Problem 1.3 If f(z) is meromorphic of finite order ρ and δ(a, f) = 2, it is conjectured that ρ = n/2, where n is an integer and n 2, and all the deficiencies are ≥ P rational. F. Nevanlinna [596] has proved this result on the condition that f(z) has no multiple values, so that n(r, a)= n(r, a) for every a (see also R. Nevanlinna [597]). Update 1.3 Weitsmann proved that the number of deficiencies is at most twice the order in this case [781]. The conjecture was completely proved by Drasin [198]. Eremenko [241] gave a simpler proof of a stronger result, see Problem 1.33. Problem 1.4 Let f(z) be an entire function of finite order ρ, and let n1(r, a) denote the number of simple zeros of the equation f(z)= a. If n (r, a)= O(rc), n (r, b)= O(rc), as r , 1 1 →∞ 1 where a = b, c < ρ, is it true that ρ is an integral multiple of 2 ? More strongly, is this 6 1 result true if Θ(a) = 2 = Θ(b)? (For a somewhat weaker result in this direction, see Gol’dberg and Tairova [326].) Update 1.4 The answer is ‘no’, even in a very weak sense. Gol’dberg [314] has constructed an example of an entire function for which n (r, a)= O((log r)2+ε), n (r, b)= O((log r)2+ε) as r , 1 1 →∞ 1 but the order is not a multiple of 2 . Problem 1.5 Under what conditions can δ(a, f) be nearly 2 for an entire function of finite order ρ? Pfluger [633] proved that if δ(a, f) = 2, then (see Hayman [395, P p.115]) ρ is a positive integer q, the lower order λ is such that λ = ρ and all the P deficiencies are integral multiplicities of 1/q. If further δ(a, f) > 2 ε(λ), − X where ε(λ) is a positive quantity depending on λ, then Edrei and Fuchs ([216], [217]) proved that these results remain true ‘nearly’, in the sense that there exist ‘large’ deficiencies which are nearly positive integral multiplicities of 1/q, and whose sum of deficiencies is ‘nearly’ 2. Can there be a finite or infinite number of small deficiences as well in this case? Update 1.5 No progress on this problem has been reported to us. Hayman suspects that the answer is ‘no’. 6 1 Problem 1.6 Arakelyan [27] has proved that, given ρ> 2 and a countable set E, there exists an entire function f(z) of order ρ, for which all the points of E are deficient. Can E be the precise set of deficiencies of f in the sense that f has no other deficient values? It is also conjectured that if the an are deficient values for an entire function of finite order, then 1 log[1/δ(a ,f)] − < + . n ∞ (N. U. Arakelyan) X Update 1.6 Eremenko [232] has proved the first conjecture. He also proved [240] that the second conjecture is false: given ρ> 1/2 and a sequence of complex numbers (ak), k there is an entire function f of order ρ with the property δ(ak,f) > c , k = 1, 2,..., for some c (0, 1).