DOCSLIB.ORG

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

Download full-text PDF Read full-text

Load more

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).
Recommended publications
  • Arxiv:1902.00426V3 [Math.CA] 4 Jan 2021 That the Empty Set ∅ Is a Set of Uniqueness and So [0, 1] Is a Set of Multiplicity

    Arxiv:1902.00426V3 [Math.CA] 4 Jan 2021 That the Empty Set ∅ Is a Set of Uniqueness and So [0, 1] Is a Set of Multiplicity

    TRIGONOMETRIC SERIES AND SELF-SIMILAR SETS JIALUN LI AND TUOMAS SAHLSTEN Abstract. Let F be a self-similar set on R associated to contractions fj(x) = rjx + bj, j 2 A, for some finite A, such that F is not a singleton. We prove that if log ri= log rj is irrational for some i 6= j, then F is a set of multiplicity, that is, trigonometric series are not in general unique in the complement of F . No separation conditions are assumed on F . We establish our result by showing that every self-similar measure µ on F is a Rajchman measure: the Fourier transform µb(ξ) ! 0 as jξj ! 1. The rate of µb(ξ) ! 0 is also shown to be logarithmic if log ri= log rj is diophantine for some i 6= j. The proof is based on quantitative renewal theorems for stopping times of random walks on R. 1. Introduction and the main result The uniqueness problem in Fourier analysis that goes back to Riemann [42] and Cantor [10] concerns the following question: suppose we have two converging trigonometric series P 2πinx P 2πinx ane and bne with coefficients an; bn 2 C such that for \many" x 2 [0; 1] they agree: X 2πinx X 2πinx ane = bne ; (1.1) n2Z n2Z then are the coefficients an = bn for all n 2 Z? For how \many" x 2 [0; 1] do we need to have (1.1) so that an = bn holds for all n 2 Z? If we assume (1.1) holds for all x 2 [0; 1], then using Toeplitz operators Cantor [10] proved that indeed an = bn for all n 2 Z.
  • Condenser Capacity and Hyperbolic Perimeter

    Condenser Capacity and Hyperbolic Perimeter

    CONDENSER CAPACITY AND HYPERBOLIC PERIMETER MOHAMED M. S. NASSER, OONA RAINIO, AND MATTI VUORINEN Abstract. We apply domain functionals to study the conformal capacity of condensers (G; E) where G is a simply connected domain in the complex plane and E is a compact subset of G. Due to conformal invariance, our main tools are the hyperbolic geometry and functionals such as the hyperbolic perimeter of E. Novel computational algorithms based on implementations of the fast multipole method are combined with analytic techniques. Computational experiments are used throughout to, for instance, demonstrate sharpness of established inequalities. In the case of model problems with known analytic solutions, very high precision of computation is observed. 1. Introduction A condenser is a pair (G; E), where G ⊂ Rn is a domain and E is a compact non-empty subset of G. The conformal capacity of this condenser is defined as [14, 17, 20] Z (1.1) cap(G; E) = inf jrujndm; u2A G 1 where A is the class of C0 (G) functions u : G ! [0; 1) with u(x) ≥ 1 for all x 2 E and dm is the n-dimensional Lebesgue measure. The conformal capacity of a condenser is one of the key notions in potential theory of elliptic partial differential equations [20, 29] and it has numerous applications to geometric function theory, both in the plane and in higher dimensions, [10, 14, 15, 17]. The isoperimetric problem is to determine a plane figure of the largest possible area whose boundary has a specified length, or, perimeter. Constrained extremal problems of this type, where the constraints involve geometric or physical quantities, have been studied in several thousands of papers, see e.g.
  • Harmonic and Complex Analysis and Its Applications

    Harmonic and Complex Analysis and Its Applications

    Trends in Mathematics Alexander Vasil’ev Editor Harmonic and Complex Analysis and its Applications Trends in Mathematics Trends in Mathematics is a series devoted to the publication of volumes arising from conferences and lecture series focusing on a particular topic from any area of mathematics. Its aim is to make current developments available to the community as rapidly as possible without compromise to quality and to archive these for reference. Proposals for volumes can be submitted using the Online Book Project Submission Form at our website www.birkhauser-science.com. Material submitted for publication must be screened and prepared as follows: All contributions should undergo a reviewing process similar to that carried out by journals and be checked for correct use of language which, as a rule, is English. Articles without proofs, or which do not contain any significantly new results, should be rejected. High quality survey papers, however, are welcome. We expect the organizers to deliver manuscripts in a form that is essentially ready for direct reproduction. Any version of TEX is acceptable, but the entire collection of files must be in one particular dialect of TEX and unified according to simple instructions available from Birkhäuser. Furthermore, in order to guarantee the timely appearance of the proceedings it is essential that the final version of the entire material be submitted no later than one year after the conference. For further volumes: http://www.springer.com/series/4961 Harmonic and Complex Analysis and its Applications Alexander Vasil’ev Editor Editor Alexander Vasil’ev Department of Mathematics University of Bergen Bergen Norway ISBN 978-3-319-01805-8 ISBN 978-3-319-01806-5 (eBook) DOI 10.1007/978-3-319-01806-5 Springer Cham Heidelberg New York Dordrecht London Mathematics Subject Classification (2010): 13P15, 17B68, 17B80, 30C35, 30E05, 31A05, 31B05, 42C40, 46E15, 70H06, 76D27, 81R10 c Springer International Publishing Switzerland 2014 This work is subject to copyright.
  • D^F(X) = Lim H~2[F(X + H) +F(X -H)- 2F{X)}

    D^F(X) = Lim H~2[F(X + H) +F(X -H)- 2F{X)}

    422 BOOK REVIEWS I enjoyed reading this book. While presenting a lot of mathematics, carefully and in considerable detail, Davis has managed to be conversational whenever possible, and to tell us where he's going and why. A class of advanced undergraduates with good linear algebra preparation should be able to read this book, to work the exercises, and to discuss their work together. Even though circulant matrices are themselves not of primary importance, their study, via this excellent book, could be a valuable part of discovering mathe­ matics as a discipline. DAVID H. CARLSON BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 7, Number 2, September 1982 © 1982 American Mathematical Society 0273-0979/82/0000-0227/$02.00 Essays in commutative harmonic analysis, by Colin C. Graham and O. Carruth McGehee, Grundlehren der Mathematischen Wissenschaften, Band 238, Springer-Verlag, New York, 1979, xxi + 464 pp., $42.00. Harmonic Analysis has passeed through a series of distinct epochs. The subject began in 1753 when Daniel Bernoulli gave a "general solution" to the problem of the vibrating string, previously investigated by d'Alembert and Euler, in terms of trigonometric series. This first epoch continues up to Fourier's book (1822). It is not completely clear what was going on in the minds of the harmonic analysts of this period, but the dominant theme seems to me to be the spectral theory of the operator d2/dx2 on T = R/Z. In 1829 Modern Analysis emerges fully armed from the head of Dirichlet [3]. His proof that the Fourier series of a monotone function converges pointwise everywhere meets the modern standards of rigor.
  • Separation Problems and Forcing∗

    Separation Problems and Forcing∗

    Separation problems and forcing∗ Jindˇrich Zapletal y Academy of Sciences, Czech Republic University of Florida February 21, 2013 Abstract Certain separation problems in descriptive set theory correspond to a forcing preservation property, with a fusion type infinite game associated to it. As an application, it is consistent with the axioms of set theory that the circle T can be covered by @1 many closed sets of uniqueness while a much larger number of H-sets is necessary to cover it. 1 Introduction Let X be a Polish space and K(X) its hyperspace of compact subsets of X. If J ⊆ I ⊆ K(X) are two collections of compact sets, one may ask whether it is possible to separate J from K(X) n I by an analytic set, i.e. if there is an analytic set A ⊆ K(X) such that J ⊆ A ⊆ I. A typical context arises when I;J are both coanalytic σ-ideals of compact sets or even J = K@0 (X), the collection of countable compact subsets of X. For example, Pelant and Zelen´y[9, Theorem 4.8] showed that K@0 (X) cannot be separated by an analytic set from the collection of non-σ-porous sets, where X is an arbitrary compact separable metric space. On the other hand, Loomis [7] [5, page 129 and 185] showed that K@0 (T) can be separated by an analytic set from the collection of compact sets of multiplicity, where T is the unit circle. In this paper, I explore the connection of such separation problems with the theory of definable proper forcing [13].
  • Complex Numbers and Colors

    Complex Numbers and Colors

    Complex Numbers and Colors For the sixth year, “Complex Beauties” provides you with a look into the wonderful world of complex functions and the life and work of mathematicians who contributed to our understanding of this field. As always, we intend to reach a diverse audience: While most explanations require some mathemati- cal background on the part of the reader, we hope non-mathematicians will find our “phase portraits” exciting and will catch a glimpse of the richness and beauty of complex functions. We would particularly like to thank our guest authors: Jonathan Borwein and Armin Straub wrote on random walks and corresponding moment functions and Jorn¨ Steuding contributed two articles, one on polygamma functions and the second on almost periodic functions. The suggestion to present a Belyi function and the possibility for the numerical calculations came from Donald Marshall; the November title page would not have been possible without Hrothgar’s numerical solution of the Bla- sius equation. The construction of the phase portraits is based on the interpretation of complex numbers z as points in the Gaussian plane. The horizontal coordinate x of the point representing z is called the real part of z (Re z) and the vertical coordinate y of the point representing z is called the imaginary part of z (Im z); we write z = x + iy. Alternatively, the point representing z can also be given by its distance from the origin (jzj, the modulus of z) and an angle (arg z, the argument of z). The phase portrait of a complex function f (appearing in the picture on the left) arises when all points z of the domain of f are colored according to the argument (or “phase”) of the value w = f (z).
  • Nevanlinna Theory of the Askey-Wilson Divided Difference

    Nevanlinna Theory of the Askey-Wilson Divided Difference

    NEVANLINNA THEORY OF THE ASKEY-WILSON DIVIDED DIFFERENCE OPERATOR YIK-MAN CHIANG AND SHAO-JI FENG Abstract. This paper establishes a version of Nevanlinna theory based on Askey-Wilson divided difference operator for meromorphic functions of finite logarithmic order in the complex plane C. A second main theorem that we have derived allows us to define an Askey-Wilson type Nevanlinna deficiency which gives a new interpretation that one should regard many important infinite products arising from the study of basic hypergeometric series as zero/pole- scarce. That is, their zeros/poles are indeed deficient in the sense of difference Nevanlinna theory. A natural consequence is a version of Askey-Wilosn type Picard theorem. We also give an alternative and self-contained characterisation of the kernel functions of the Askey-Wilson operator. In addition we have established a version of unicity theorem in the sense of Askey-Wilson. This paper concludes with an application to difference equations generalising the Askey-Wilson second-order divided difference equation. Contents 1. Introduction 2 2. Askey-Wilson operator and Nevanlinna characteristic 6 3. Askey-Wilson type Nevanlinna theory – Part I: Preliminaries 8 4. Logarithmic difference estimates and proofs of Theorem 3.2 and 3.1 10 5. Askey-Wilson type counting functions and proof of Theorem 3.3 22 6. ProofoftheSecondMaintheorem3.5 25 7. Askey-Wilson type Second Main theorem – Part II: Truncations 27 8. Askey-Wilson-Type Nevanlinna Defect Relation 29 9. Askey-Wilson type Nevanlinna deficient values 31 arXiv:1502.02238v4 [math.CV] 3 Feb 2018 10. The Askey-Wilson kernel and theta functions 33 11.
  • Retracing Cantor's First Steps in Brouwer's Company

    Retracing Cantor's First Steps in Brouwer's Company

    RETRACING CANTOR’S FIRST STEPS IN BROUWER’S COMPANY WIM VELDMAN What we call the beginning is often the end And to make an end is to make a beginning. The end is where we start from. T.S. Eliot, Little Gidding, 1942 Abstract. We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of [−π,π] and even all countable subsets of [−π,π] are sets of uniqueness. We introduce the co-derivative of an open subset of the set R of the real numbers as a constructively possibly more useful notion than the derivative of a closed subset of R. We also have a look at an intuitionistic version of Cantor’s theorem that a closed set is the union of a perfect set and an at most countable set. 1. Introduction G. Cantor discovered the transfinite and the uncountable while studying and extending B. Riemann’s work on trigonometric series. He then began set theory and forgot his early problems, see [17] and [22]. Cantor’s work fascinated L.E.J. Brouwer but he did not come to terms with it and started intuitionistic mathematics. Like Shakespeare, who wrote his plays as new versions of works by earlier playwrights, he hoped to turn Cantor’s tale into a better story. Brouwer never returned to the questions and results that caused the creation of set theory. Adopting Brouwer’s point of view, we do so now. Brouwer insisted upon a constructive interpretation of statements of the form A ∨ B and ∃x ∈ V [A(x)].
  • Multiplicities in Hayman's Alternative

    Multiplicities in Hayman's Alternative

    J. Aust. Math. Soc. 78 (2005), 37-57 MULTIPLICITIES IN HAYMAN'S ALTERNATIVE WALTER BERGWEILER and J. K. LANGLEY (Received 3 September 2002; revised 28 August 2003) Communicated by P. C. Fenton Abstract In 1959 Hayman proved an inequality from which it follows that if/ is transcendental and meromorphic in the plane then either/ takes every finite complex value infinitely often or each derivative /(k), k > 1, takes every finite non-zero value infinitely often. We investigate the extent to which these values may be ramified, and we establish a generalization of Hayman's inequality in which multiplicities are not taken into account. 2000 Mathematics subject classification: primary 3OD35. 1. Introduction Our starting point is the following result of Hayman [8, 9]. THEOREM 1.1. Let k e H and let a, b e C, b ^ 0. Let f be nonconstant and meromorphic in the plane. Then at least one of f — a and f(Ar) — b has at least one zero, and infinitely many iff is transcendental. Hayman's proof of Theorem 1.1 is based on Nevanlinna theory, the result deduced from the following inequality. Here the notation is that of [9], with S(r,f) denoting any term which is o(T(r,f)) as r -> oo, possibly outside a set of finite Lebesgue measure. THEOREM 1.2 ([8, 9]). Let ieN and let f be transcendental and meromorphic in the plane. Then, as r -» oo, (1) r(rJ) © 2005 Australian Mathematical Society 1446-7887/05 $A2.00 + 0.00 Downloaded from https://www.cambridge.org/core.
  • Math Times Is Published Twice a Year by Teaching, and Their Leadership in the Profession

    Math Times Is Published Twice a Year by Teaching, and Their Leadership in the Profession

    Department of Mathematics Spring/Summer 2014 MathDepartment of Mathematics Times — Spring 2019 Architects hired to create designs for $100 million plan to modernize and expand learning spaces The University of Illinois has hired a Chicago design firm to “We are very pleased that the trustees approved CannonDesign begin planning the $100 million Altgeld Hall and Illini Hall for the Altgeld Hall and Illini Hall project,” said Derek Fultz, project to modernize learning spaces and increase capacity in director of facilities for the College of LAS who also served data science and other mathematical sciences. on the selection committee that recommended the firm. “We During their March meeting, the Board of Trustees approved fully expect the buildings to display the same, high levels of CannonDesign to conceptualize and create schematic designs creativity and practicality that CannonDesign has provided in for the project, which will include the construction of a new the past.” building on the site of Illini Campus is still raising money Hall, and the renovation for the Altgeld Hall and Illini of Altgeld Hall. Campus Hall project. The new building officials expect the new will be constructed on the building to be constructed site of Illini Hall, which is by 2022, and for the scheduled to be razed at the renovation of Altgeld to be corner of South Wright and complete by 2024. East John streets beginning Once the schematic in fall 2020. It will be replaced designs are complete— with a larger, world-class which will provide facility for learning and basically an overall discovery, including a data visualization of the science center that does not project—they will be currently exist on campus.
  • Set Theory and Uniqueness for Trigonometric Series

    Set Theory and Uniqueness for Trigonometric Series

    SET THEORY AND UNIQUENESS FOR TRIGONOMETRIC SERIES Alexander S. Kechris* Department of Mathematics Caltech Pasadena, CA 91125 Dedicated to the memory of my friend and colleague Stelios Pichorides Problems concerning the uniqueness of an expansion of a function in a trigonometric series have a long and fascinating history, starting back in the 19th Century with the work of Riemann, Heine and Cantor. The origins of set theory are closely connected with this subject, as it was Cantor’s research into the nature of exceptional sets for such uniqueness problems that led him to the creation of set theory. And the earliest application of one of Cantor’s fundamental concepts, that of ordinal numbers and transfinite induction, can be glimpsed in his last work on this subject. The purpose of this paper is to give a basic introduction to the application of set theoretic methods to problems concerning uniqueness for trigonometric series. It is written in the style of informal lecture notes for a course or seminar on this subject and, in particular, contains several exercises. The treatment is as elementary as possible and only assumes some familiarity with the most basic results of general topology, measure theory, functional analysis, and descriptive set theory. Standard references to facts that are used without proof are given in the appropriate places. The notes are divided into three parts. The first deals with ordinal numbers and transfinite induction, and gives an exposition of Cantor’s work. The second gives an application of Baire category methods, one of the basic set theoretic tools in the arsenal of an analyst.
  • Walter Kurt Hayman (6.1.1926 – 1.1.2020)

    Walter Kurt Hayman (6.1.1926 – 1.1.2020)

    Walter Kurt Hayman (6.1.1926 – 1.1.2020) Am Neujahrstag 2020 verstarb kurz vor seinem 94. Geburtstag Walter Kurt Hayman. Er war seit 1982 korrespondierendes Mitglied der Bayerischen Akademie der Wissenschaften. Seine Eltern waren der Jura-Professor Franz Haymann und Ruth Therese Haymann, Tochter des bedeutenden Mathematikers Kurt Hensel. Beide Eltern hatten judische¨ Vorfahren; der Vater verlor deshalb 1935 seine Professur in Koln.¨ Ein Jahr zuvor war ein Vetter der Mutter (Kurt Hahn, einer der Grunder¨ des Internats Schloss Salem) nach Schottland emigriert, wo er die Gordonstoun School grundete.¨ Walter wurde von seinen Eltern 1938 alleine nach Schottland geschickt, um in Gordonstoun seine Schulbildung fortzusetzen. Es gelang ihm, mithilfe seiner dortigen Forderer¨ seinen Eltern die Emigration nach Großbritannien zu ermoglichen,¨ sodass sie der Verfolgung durch das NS-Regime entgingen. Das Studium der Mathematik in Cambridge schloss er in Rekordzeit mit seiner Promotion bei Mary Cartwright1 ab und nahm 1947 eine Stelle als Lecturer an der University of Newcastle an. Noch im selben Jahr wurde er Fellow des St. John’s College in Cambridge und spater¨ Lecturer in Exeter. Das hohere¨ Gehalt ermoglichte¨ die Heirat mit Margaret Riley. Er blieb bis 1956 in Exeter (seit 1953 als Reader) und wurde dann als erster Professor fur¨ Reine Mathematik ans Imperial College London berufen, wo er bis 1985 tatig¨ war. Ebenfalls 1956 wurde er zum damals jungsten¨ Mitglied der Royal Society gewahlt.¨ Nach seiner Emeritierung am Imperial College nahm er bis 1993 eine Teilzeit-Professur an der University of York wahr und ging dann 1995 als Senior Research Fellow ans Imperial College zuruck.¨ Fur¨ seine Forschungsarbeiten in der Funktionentheorie (das Studium von komplex differen- zierbaren Funktionen einer komplexen Variablen) hat Walter Hayman neben anderen Preisen sowohl den Junior (1955) als auch den Senior Berwick Prize (1964) und schließlich 1995 die de-Morgan-Medaille der London Mathematical Society erhalten.