Universit`A Degli Studi Di Perugia the Lambert W Function on Matrices

Total Page:16

File Type:pdf, Size:1020Kb

Universit`A Degli Studi Di Perugia the Lambert W Function on Matrices Universita` degli Studi di Perugia Facolta` di Scienze Matematiche, Fisiche e Naturali Corso di Laurea Triennale in Informatica The Lambert W function on matrices Candidato Relatore MassimilianoFasi BrunoIannazzo Contents Preface iii 1 The Lambert W function 1 1.1 Definitions............................. 1 1.2 Branches.............................. 2 1.3 Seriesexpansions ......................... 10 1.3.1 Taylor series and the Lagrange Inversion Theorem. 10 1.3.2 Asymptoticexpansions. 13 2 Lambert W function for scalar values 15 2.1 Iterativeroot-findingmethods. 16 2.1.1 Newton’smethod. 17 2.1.2 Halley’smethod . 18 2.1.3 K¨onig’s family of iterative methods . 20 2.2 Computing W ........................... 22 2.2.1 Choiceoftheinitialvalue . 23 2.2.2 Iteration.......................... 26 3 Lambert W function for matrices 29 3.1 Iterativeroot-findingmethods. 29 3.1.1 Newton’smethod. 31 3.2 Computing W ........................... 34 3.2.1 Computing W (A)trougheigenvectors . 34 3.2.2 Computing W (A) trough an iterative method . 36 A Complex numbers 45 A.1 Definitionandrepresentations. 45 B Functions of matrices 47 B.1 Definitions............................. 47 i ii CONTENTS C Source code 51 C.1 mixW(<branch>, <argument>) ................. 51 C.2 blockW(<branch>, <argument>, <guess>) .......... 52 C.3 matW(<branch>, <argument>) ................. 53 Preface Main aim of the present work was learning something about a not- so-widely known special function, that we will formally call Lambert W function. This function has many useful applications, although its presence goes sometimes unrecognised, in mathematics and in physics as well, and we found some of them very curious and amusing. One of the strangest situation in which it comes out is in writing in a simpler form the function .. z. h(z)= zz whenever it makes sense, that has been proven to be equal, wherever it converges, to the more elegant form W ( log(z)) − . log(z) − The most interesting aspect of our function is probably that there does not exists an explicit expression for it, but its inverse has an easy and elegant definition, within very good regularity properties. The fact makes the question challenging and, then, quite fun. And we had a lot of fun indeed, studying the scalar case, creating and drawing fractals, looking at them and performing a wide variety of numerical tests. We ended the first part of our work developing a new algorithm, slightly faster than the one we studied, that is implemented by the function lambertw(b,a) of Octave. We did not get a complete satisfaction, since we did not manage in proving that our algorithm and the one we started from were conver- gent, as we – and many other people – suspected, but we got happy iii iv CONTENTS enough when we found that experimental results confirmed our hy- pothesis. Since we were having too much fun, we turned our attention to the matrix case, more enveloped and then more suitable to rack our brains. We had indeed hard times, fighting against unstable and non- convergent algorithms. Nevertheless, at a certain point things changed, and we found a stable and convergent, even though slow, algorithm for computing the Lambert W function of matrix argument. We showed also that the currently used matrix algorithm had some defects, that the one we proposed did not have, even though is still less accurate in some cases. At the end of our work we felt a little bit more familiar with W , so that now among us we call it, very informally, the Lambert. Chapter 1 The Lambert W function 1.1 Definitions The Lambert W function is a multivalued complex function defined, for each x C, as the solution of the equation ∈ W (x)eW (x) = x, x C, (1.1) ∈ or, in a certain sense, as the inverse of the function f : C C, defined by x xex. → 7→ It should be noted that Equation (1.1), assuming x = 0, can be rewritten as 6 W (x) + log(W (x)) = log(x), x C (1.2) ∈ where we consider log(x) multivalued and fix the value of log(W (x)) by cutting the z-plane as we will see later. Note that (1.2) is the defining equation of the so-called Wright ω function [GLM99]. We will use the letter W for this function, following E. M. Wright usage (e.g. [Wri59]), that became a standard after the publication of [CGH+96], and will call it the Lambert W function because it is the logarithm of a special case of Euler’s version of Lambert’s series solution of the trinomial equation x = q + xm, where q R and m is a positive integer. The relationships between that serie∈s expansion and our function have been deeply investigated by Corless et al. in [CGH+96]. 1 2 CHAPTER 1. THE LAMBERT W FUNCTION 1.2 Branches Since the Lambert W function is multivalued, choosing a convention for naming branches and branch points is mandatory, hence we will present the notation we will use in this work, recalling some basic concepts about multivalued functions, branches and branch points. Let us consider a function f : C C. We can create two planes, a z-plane for the domain space and a→w-plane for the range one. Thus we can view f(z) as a mapping from the z-plane to the w-plane, and in order to understand how such mapping works, we analyse how various geometric curves in the z-plane are mapped in the w-plane by w = f(z). To get a deeper insight, let us consider one of the simplest non- trivial complex functions, the p-th root function defined by w = zp, p> 0. (1.3) From the polar decomposition of a complex number we get that w = zp = zpepiθ (1.4) and then w = z p, (1.5) | | | | arg(w)= p arg(z). (1.6) Equation (1.5) shows that the circle z = ρ0 in the z-plane is mapped to the circle w = ρp, while equation| | (1.6) that a ray arg(z) = θ | | 0 0 issuing fom the origin in the z-plane is mapped to a ray arg(w)= pθ0 in the w-plane. In other words, as in the z-plane z moves in the positive direction at constant angular velocity around the circle of a radius of ρ, w moves in the w-plane around the circle of a radius of ρp, in the same direction but at p times the angular velocity (see Figure 1.1). Note that as in the z-plane z traverses the ray from 0 to at a constant speed, instead, w traverses the image ray in the same∞ direction but at an increasing speed. The positive real axis in the z-plane, that is a ray with angle 0, is mapped to the positive axis of the w-plane by the usual rule x xp. Turning back to the problem of finding an inverse function for7→ w = zp, we want to remark that every point w = 0 is hit by exactly p distinct 6 1.2. BRANCHES 3 (a) z-plane (b) w-plane Figure 1.1: The mapping of two vectors under w = zp for p = 2. values of z, the p p-th roots of z, then, in order to define an inverse function, we must restrict the domain in the z-plane so that each value w is hit by only one value of z: there are several ways of doing this, so we will proceed somewhat arbitrarily. Note that as rays sweep out an open sector of 2π/p of the z-plane, with the angle increasing from π/p to π/p, the image rays sweep out the entire w-plane, except for the− negative real axis, with the angle of the rays increasing from π to π. Thus we can draw a branch cut in the w-plane along the negative− real axis, from to 0, and define in that range an inverse function we will call the −∞principal branch of the p-th root function, and whose value is the unique p-th root lying in the aforementioned sector. The function we have just described is not the only continuous inverse function of w = zp that we can define, since for each sector Sk of the circle swept out by θ, where π π (2k 1) <θ< (2k + 1), k N, k<p, (1.7) p − p ∈ we can define a continuous inverse function from the w-plane to Sk . We refer to each of those p determinations of the inverse function as a branch of the p-th root function. The situation of the W function is not too much different, even thought it should be stressed that things are a little bit more com- plicated in that case. The Lambert W function has, indeed, infinite branches with different kind of boundaries. Let us proceed step by step. 4 CHAPTER 1. THE LAMBERT W FUNCTION First of all, we put w = W (z) and z = wew, and then specify the boundary curves that partition the w-plane and their mapping to the z-plane. If we put w = ξ + iη, (1.8) z = x + iy, (1.9) by equating (1.9) and z = wew, we get x =eξ(ξ cos η η sin η), (1.10) − y =eξ(η cos η + ξ sin η). (1.11) Note that in that case the w-plane maps onto the z-plane, while for the p-th root it was the z-plane that mapped onto the w-plane. That change of notation is because of the standard usage, and is not our arbitrary choice.
Recommended publications
  • Lecture 5: Complex Logarithm and Trigonometric Functions
    LECTURE 5: COMPLEX LOGARITHM AND TRIGONOMETRIC FUNCTIONS Let C∗ = C \{0}. Recall that exp : C → C∗ is surjective (onto), that is, given w ∈ C∗ with w = ρ(cos φ + i sin φ), ρ = |w|, φ = Arg w we have ez = w where z = ln ρ + iφ (ln stands for the real log) Since exponential is not injective (one one) it does not make sense to talk about the inverse of this function. However, we also know that exp : H → C∗ is bijective. So, what is the inverse of this function? Well, that is the logarithm. We start with a general definition Definition 1. For z ∈ C∗ we define log z = ln |z| + i argz. Here ln |z| stands for the real logarithm of |z|. Since argz = Argz + 2kπ, k ∈ Z it follows that log z is not well defined as a function (it is multivalued), which is something we find difficult to handle. It is time for another definition. Definition 2. For z ∈ C∗ the principal value of the logarithm is defined as Log z = ln |z| + i Argz. Thus the connection between the two definitions is Log z + 2kπ = log z for some k ∈ Z. Also note that Log : C∗ → H is well defined (now it is single valued). Remark: We have the following observations to make, (1) If z 6= 0 then eLog z = eln |z|+i Argz = z (What about Log (ez)?). (2) Suppose x is a positive real number then Log x = ln x + i Argx = ln x (for positive real numbers we do not get anything new).
    [Show full text]
  • On the Continuability of Multivalued Analytic Functions to an Analytic Subset*
    Functional Analysis and Its Applications, Vol. 35, No. 1, pp. 51–59, 2001 On the Continuability of Multivalued Analytic Functions to an Analytic Subset* A. G. Khovanskii UDC 517.9 In the paper it is shown that a germ of a many-valued analytic function can be continued analytically along the branching set at least until the topology of this set is changed. This result is needed to construct the many-dimensional topological version of the Galois theory. The proof heavily uses the Whitney stratification. Introduction In the topological version of Galois theory for functions of one variable (see [1–4]) it is proved that the character of location of the Riemann surface of a function over the complex line can prevent the representability of this function by quadratures. This not only explains why many differential equations cannot be solved by quadratures but also gives the sharpest known results on their nonsolvability. I always thought that there is no many-dimensional topological version of Galois theory of full value. The point is that, to construct such a version in the many-variable case, it would be necessary to have information not only on the continuability of germs of functions outside their branching sets but also along these sets, and it seemed that there is nowhere one can obtain this information from. Only in spring of 1999 did I suddenly understand that germs of functions are sometimes automatically continued along the branching set. Therefore, a many-dimensional topological version of the Galois theory does exist. I am going to publish it in forthcoming papers.
    [Show full text]
  • Draftfebruary 16, 2021-- 02:14
    Exactification of Stirling’s Approximation for the Logarithm of the Gamma Function Victor Kowalenko School of Mathematics and Statistics The University of Melbourne Victoria 3010, Australia. February 16, 2021 Abstract Exactification is the process of obtaining exact values of a function from its complete asymptotic expansion. This work studies the complete form of Stirling’s approximation for the logarithm of the gamma function, which consists of standard leading terms plus a remainder term involving an infinite asymptotic series. To obtain values of the function, the divergent remainder must be regularized. Two regularization techniques are introduced: Borel summation and Mellin-Barnes (MB) regularization. The Borel-summed remainder is found to be composed of an infinite convergent sum of exponential integrals and discontinuous logarithmic terms from crossing Stokes sectors and lines, while the MB-regularized remainders possess one MB integral, with similar logarithmic terms. Because MB integrals are valid over overlapping domains of convergence, two MB-regularized asymptotic forms can often be used to evaluate the logarithm of the gamma function. Although the Borel- summed remainder is truncated, albeit at very large values of the sum, it is found that all the remainders when combined with (1) the truncated asymptotic series, (2) the leading terms of Stirling’s approximation and (3) their logarithmic terms yield identical valuesDRAFT that agree with the very high precision results obtained from mathematical software packages.February 16,
    [Show full text]
  • 3 Elementary Functions
    3 Elementary Functions We already know a great deal about polynomials and rational functions: these are analytic on their entire domains. We have thought a little about the square-root function and seen some difficulties. The remaining elementary functions are the exponential, logarithmic and trigonometric functions. 3.1 The Exponential and Logarithmic Functions (§30–32, 34) We have already defined the exponential function exp : C ! C : z 7! ez using Euler’s formula ez := ex cos y + iex sin y (∗) and seen that its real and imaginary parts satisfy the Cauchy–Riemann equations on C, whence exp C d z = z is entire (analytic on ). Indeed recall that dz e e . We have also seen several of the basic properties of the exponential function, we state these and several others for reference. Lemma 3.1. Throughout let z, w 2 C. 1. ez 6= 0. ez 2. ez+w = ezew and ez−w = ew 3. For all n 2 Z, (ez)n = enz. 4. ez is periodic with period 2pi. Indeed more is true: ez = ew () z − w = 2pin for some n 2 Z Proof. Part 1 follows trivially from (∗). To prove 2, recall the multiple-angle formulae for cosine and sine. Part 3 requires an induction using part 2 with z = w. Part 4 is more interesting: certainly ew+2pin = ew by the periodicity of sine and cosine. Now suppose ez = ew where z = x + iy and w = u + iv. Then, by considering the modulus and argument, ( ex = eu exeiy = eueiv =) y = v + 2pin for some n 2 Z We conclude that x = u and so z − w = i(y − v) = 2pin.
    [Show full text]
  • Complex Analysis
    Complex Analysis Andrew Kobin Fall 2010 Contents Contents Contents 0 Introduction 1 1 The Complex Plane 2 1.1 A Formal View of Complex Numbers . .2 1.2 Properties of Complex Numbers . .4 1.3 Subsets of the Complex Plane . .5 2 Complex-Valued Functions 7 2.1 Functions and Limits . .7 2.2 Infinite Series . 10 2.3 Exponential and Logarithmic Functions . 11 2.4 Trigonometric Functions . 14 3 Calculus in the Complex Plane 16 3.1 Line Integrals . 16 3.2 Differentiability . 19 3.3 Power Series . 23 3.4 Cauchy's Theorem . 25 3.5 Cauchy's Integral Formula . 27 3.6 Analytic Functions . 30 3.7 Harmonic Functions . 33 3.8 The Maximum Principle . 36 4 Meromorphic Functions and Singularities 37 4.1 Laurent Series . 37 4.2 Isolated Singularities . 40 4.3 The Residue Theorem . 42 4.4 Some Fourier Analysis . 45 4.5 The Argument Principle . 46 5 Complex Mappings 47 5.1 M¨obiusTransformations . 47 5.2 Conformal Mappings . 47 5.3 The Riemann Mapping Theorem . 47 6 Riemann Surfaces 48 6.1 Holomorphic and Meromorphic Maps . 48 6.2 Covering Spaces . 52 7 Elliptic Functions 55 7.1 Elliptic Functions . 55 7.2 Elliptic Curves . 61 7.3 The Classical Jacobian . 67 7.4 Jacobians of Higher Genus Curves . 72 i 0 Introduction 0 Introduction These notes come from a semester course on complex analysis taught by Dr. Richard Carmichael at Wake Forest University during the fall of 2010. The main topics covered include Complex numbers and their properties Complex-valued functions Line integrals Derivatives and power series Cauchy's Integral Formula Singularities and the Residue Theorem The primary reference for the course and throughout these notes is Fisher's Complex Vari- ables, 2nd edition.
    [Show full text]
  • Complex Analysis
    COMPLEX ANALYSIS MARCO M. PELOSO Contents 1. Holomorphic functions 1 1.1. The complex numbers and power series 1 1.2. Holomorphic functions 3 1.3. Exercises 7 2. Complex integration and Cauchy's theorem 9 2.1. Cauchy's theorem for a rectangle 12 2.2. Cauchy's theorem in a disk 13 2.3. Cauchy's formula 15 2.4. Exercises 17 3. Examples of holomorphic functions 18 3.1. Power series 18 3.2. The complex logarithm 20 3.3. The binomial series 23 3.4. Exercises 23 4. Consequences of Cauchy's integral formula 25 4.1. Expansion of a holomorphic function in Taylor series 25 4.2. Further consequences of Cauchy's integral formula 26 4.3. The identity principle 29 4.4. The open mapping theorem and the principle of maximum modulus 30 4.5. The general form of Cauchy's theorem 31 4.6. Exercises 36 5. Isolated singularities of holomorphic functions 37 5.1. The residue theorem 40 5.2. The Riemann sphere 42 5.3. Evalutation of definite integrals 43 5.4. The argument principle and Rouch´e's theorem 48 5.5. Consequences of Rouch´e'stheorem 49 5.6. Exercises 51 6. Conformal mappings 53 6.1. Fractional linear transformations 56 6.2. The Riemann mapping theorem 58 6.3. Exercises 63 7. Harmonic functions 65 7.1. Maximum principle 65 7.2. The Dirichlet problem 68 7.3. Exercises 71 8. Entire functions 72 8.1. Infinite products 72 Appunti per il corso Analisi Complessa per i Corsi di Laurea in Matematica dell'Universit`adi Milano.
    [Show full text]
  • Complex Numbers and Functions
    Complex Numbers and Functions Richard Crew January 20, 2018 This is a brief review of the basic facts of complex numbers, intended for students in my section of MAP 4305/5304. I will discuss basic facts of com- plex arithmetic, limits and derivatives of complex functions, power series and functions like the complex exponential, sine and cosine which can be defined by convergent power series. This is a preliminary version and will be added to later. 1 Complex Numbers 1.1 Arithmetic. A complex number is an expression a + bi where i2 = −1. Here the real number a is the real part of the complex number and bi is the imaginary part. If z is a complex number we write <(z) and =(z) for the real and imaginary parts respectively. Two complex numbers are equal if and only if their real and imaginary parts are equal. In particular a + bi = 0 only when a = b = 0. The set of complex numbers is denoted by C. Complex numbers are added, subtracted and multiplied according to the usual rules of algebra: (a + bi) + (c + di) = (a + c) + (b + di) (1.1) (a + bi) − (c + di) = (a − c) + (b − di) (1.2) (a + bi)(c + di) = (ac − bd) + (ad + bc)i (1.3) (note how i2 = −1 has been used in the last equation). Division performed by rationalizing the denominator: a + bi (a + bi)(c − di) (ac − bd) + (bc − ad)i = = (1.4) c + di (c + di)(c − di) c2 + d2 Note that denominator only vanishes if c + di = 0, so that a complex number can be divided by any nonzero complex number.
    [Show full text]
  • Black Holes with Lambert W Function Horizons
    Black holes with Lambert W function horizons Moises Bravo Gaete,∗ Sebastian Gomezy and Mokhtar Hassainez ∗Facultad de Ciencias B´asicas,Universidad Cat´olicadel Maule, Casilla 617, Talca, Chile. y Facultad de Ingenier´ıa,Universidad Aut´onomade Chile, 5 poniente 1670, Talca, Chile. zInstituto de Matem´aticay F´ısica,Universidad de Talca, Casilla 747, Talca, Chile. September 17, 2021 Abstract We consider Einstein gravity with a negative cosmological constant endowed with distinct matter sources. The different models analyzed here share the following two properties: (i) they admit static symmetric solutions with planar base manifold characterized by their mass and some additional Noetherian charges, and (ii) the contribution of these latter in the metric has a slower falloff to zero than the mass term, and this slowness is of logarithmic order. Under these hypothesis, it is shown that, for suitable bounds between the mass and the additional Noetherian charges, the solutions can represent black holes with two horizons whose locations are given in term of the real branches of the Lambert W functions. We present various examples of such black hole solutions with electric, dyonic or axionic charges with AdS and Lifshitz asymptotics. As an illustrative example, we construct a purely AdS magnetic black hole in five dimensions with a matter source given by three different Maxwell invariants. 1 Introduction The AdS/CFT correspondence has been proved to be extremely useful for getting a better understanding of strongly coupled systems by studying classical gravity, and more specifically arXiv:1901.09612v1 [hep-th] 28 Jan 2019 black holes. In particular, the gauge/gravity duality can be a powerful tool for analyzing fi- nite temperature systems in presence of a background magnetic field.
    [Show full text]
  • Chapter 2 Complex Analysis
    Chapter 2 Complex Analysis In this part of the course we will study some basic complex analysis. This is an extremely useful and beautiful part of mathematics and forms the basis of many techniques employed in many branches of mathematics and physics. We will extend the notions of derivatives and integrals, familiar from calculus, to the case of complex functions of a complex variable. In so doing we will come across analytic functions, which form the centerpiece of this part of the course. In fact, to a large extent complex analysis is the study of analytic functions. After a brief review of complex numbers as points in the complex plane, we will ¯rst discuss analyticity and give plenty of examples of analytic functions. We will then discuss complex integration, culminating with the generalised Cauchy Integral Formula, and some of its applications. We then go on to discuss the power series representations of analytic functions and the residue calculus, which will allow us to compute many real integrals and in¯nite sums very easily via complex integration. 2.1 Analytic functions In this section we will study complex functions of a complex variable. We will see that di®erentiability of such a function is a non-trivial property, giving rise to the concept of an analytic function. We will then study many examples of analytic functions. In fact, the construction of analytic functions will form a basic leitmotif for this part of the course. 2.1.1 The complex plane We already discussed complex numbers briefly in Section 1.3.5.
    [Show full text]
  • Various Mathematical Properties of the Generalized Incomplete Gamma Functions with Applications
    Various Mathematical Properties of the Generalized Incomplete Gamma Functions with Applications by Bader Ahmed Al-Humaidi A Dissertation Presented to the DEANSHIP OF GRADUATE STUDIES In Partial Fulfillment of the Requirements for the Degree DOCTOR OF PHILOSOPHY IN MATHEMATICS KING FAHD UNIVERSITY OF PETROLEUM & MINERALS DHAHRAN, SAUDI ARABIA May, 2011 \l'.r..41gzi4r-,1*-414444.4-14444:4414r.14p414.1.4.4*4(4,444 4 VARIOUS MATHEMATICAL PROPERTIES OF THE GENERALIZED INCOMPLETE GAMMA FUNCTIONS 4 WITH APPLICATIONS 4 4 4 BY is BADER AHMED AL HUMAIDI A Dissertation Presented to the DEANSHIP OF GRADUATE STUDIES 4 KING FAHD UNIVERSITY OF PETROLEUM & MINERALS DHAHRAN, SAUDI ARABIA fit,. in Partial Fulfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY In 4 MATHEMATICS **. 4 MAY 2011 •> 4 ;4`19PV't4 W4.Lc L'Ff KING FAHD UNIVERSITY OF PETROLEUM & MINIRALS DHAHRAN, SAUDI ARABIA DEANSHIP OF GRADUATE STUDIES this dissertation, written by BADER AHMED AL HUMAIDI under the direction of his thesis advisors and approved by his thesis committee, has been presented to and accepted by the Dean of Graduate Studies, in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY IN MATHEMATICS. Dissertation Committee Prof. M. A. Chaudhry Dissertation Committee Chairman Prof. S. M. Zubair Co-Chairman Prof. M. A. EI-Gebeily Member Dr. Hattan Tawfiq Prof. A. H. Bokhari Department Chairman Member Dr. Salam Zummo Prof. M. T. Mustafa 10, sr Dean of Graduate Studies i- .eiPiKOY ..;:.-- Member /.0„ ." vtGRADOos" ► 2-1-6 I" Date To my parents, wife, kids, brothers and sisters iii Acknowledgements First, praise be to ALLAH who helped and guided me to accomplish this work.
    [Show full text]
  • The Strange Properties of the Infinite Power Tower Arxiv:1908.05559V1
    The strange properties of the infinite power tower An \investigative math" approach for young students Luca Moroni∗ (August 2019) Nevertheless, the fact is that there is nothing as dreamy and poetic, nothing as radical, subversive, and psychedelic, as mathematics. Paul Lockhart { \A Mathematician's Lament" Abstract In this article we investigate some "unexpected" properties of the \Infinite Power Tower 1" function (or \Tetration with infinite height"): . .. xx y = f(x) = xx where the \tower" of exponentiations has an infinite height. Apart from following an initial personal curiosity, the material collected here is also intended as a potential guide for teachers of high-school/undergraduate students interested in planning an activity of \investigative mathematics in the classroom", where the knowledge is gained through the active, creative and cooperative use of diversified mathematical tools (and some ingenuity). The activity should possibly be carried on with a laboratorial style, with no preclusions on the paths chosen and undertaken by the students and with little or no information imparted from the teacher's desk. The teacher should then act just as a guide and a facilitator. The infinite power tower proves to be particularly well suited to this kind of learning activity, as the student will have to face a challenging function defined through a rather uncommon infinite recursive process. They'll then have to find the right strategies to get around the trickiness of this function and achieve some concrete results, without the help of pre-defined procedures. The mathematical requisites to follow this path are: functions, properties of exponentials and logarithms, sequences, limits and derivatives.
    [Show full text]
  • An Example of a Covering Surface with Movable Natural Boundaries
    An example of a covering surface with movable natural boundaries Claudi Meneghin November 13, 2018 Abstract We exhibit a covering surface of the punctured complex plane (with no points over 0) whose natural projection mapping fails to be a topo- logical covering, due to the existence of branches with natural bound- ∗ aries, projecting over different slits in C . In [1], A.F.Beardon shows an example of a ’covering surface’ over a region in the unit disc which is not a topological covering (We recall that a ’covering surface’ of a region D ⊂ C is a Riemann surface S admitting a surjective conformal mapping onto D, among which there are the analytical continua- tions of holomorphic germs; a continuous mapping p of a topological space Y onto another one X is a ’topological covering’ provided that each point x ∈ X admits an open neighbourhood U such that the restriction of p to −1 each connected component Vi of p (U) is a homeomorphism of Vi onto U, see [2, 3]). Beardon’s example takes origin by the analytical continuation of a holo- morphic germ, namely a branch of the inverse of the Blaschke product arXiv:math/0408086v3 [math.CV] 11 Jul 2008 ∞ z − a B(z)= n , n 1 − anz Y=1 with suitable hypotheses about the an’s. It is shown that there is a sequence of inverse branches fk of B at 0 such that the radii of convergence of their Taylor developments tend to 0 as k →∞. This of course prevents the natural projection (taking a germ at z0 to the point z0) of the analytical continuation of any branch of B−1 to be a topological covering.
    [Show full text]