Complex Analysis

Total Page:16

File Type:pdf, Size:1020Kb

Complex Analysis University of Cambridge Mathematics Tripos Part IB Complex Analysis Lent, 2018 Lectures by G. P. Paternain Notes by Qiangru Kuang Contents Contents 1 Basic notions 2 1.1 Complex differentiation ....................... 2 1.2 Power series .............................. 4 1.3 Conformal maps ........................... 8 2 Complex Integration I 10 2.1 Integration along curves ....................... 10 2.2 Cauchy’s Theorem, weak version .................. 15 2.3 Cauchy Integral Formula, weak version ............... 17 2.4 Application of Cauchy Integration Formula ............ 18 2.5 Uniform limits of holomorphic functions .............. 20 2.6 Zeros of holomorphic functions ................... 22 2.7 Analytic continuation ........................ 22 3 Complex Integration II 24 3.1 Winding number ........................... 24 3.2 General form of Cauchy’s theorem ................. 26 4 Laurent expansion, Singularities and the Residue theorem 29 4.1 Laurent expansion .......................... 29 4.2 Isolated singularities ......................... 30 4.3 Application and techniques of integration ............. 34 5 The Argument principle, Local degree, Open mapping theorem & Rouché’s theorem 38 Index 41 1 1 Basic notions 1 Basic notions Some preliminary notations/definitions: Notation. • 퐷(푎, 푟) is the open disc of radius 푟 > 0 and centred at 푎 ∈ C. • 푈 ⊆ C is open if for any 푎 ∈ 푈, there exists 휀 > 0 such that 퐷(푎, 휀) ⊆ 푈. • A curve is a continuous map from a closed interval 휑 ∶ [푎, 푏] → C. It is continuously differentiable, i.e. 퐶1, if 휑′ exists and is continuous on [푎, 푏]. • An open set 푈 ⊆ C is path-connected if for every 푧, 푤 ∈ 푈 there exists a curve 휑 ∶ [0, 1] → 푈 with endpoints 푧, 푤. Definition (Domain). A domain is an non-empty path-connected open subset of C. 1.1 Complex differentiation The goal of this course is to study functions 푓 ∶ 푈 → C where 푈 ⊆ C is open or is a domain. Given such an 푓, we may write 푓(푥 + 푖푦) = 푢(푥, 푦) + 푖푣(푥, 푦) where 푢, 푣 ∶ 푈 → R are the real and imaginary part of 푓. Here we use (푥, 푦) ∈ R2 to denote the coordinates of 푎 + 푏푖 ∈ C. Definition (Differentiable, holomorphic). 1. 푓 ∶ 푈 → C is differentiable at 푤 ∈ 푈 if the limit 푓(푧) − 푓(푤) 푓′(푤) = lim 푧→푤 푧 − 푤 exists. 푓′(푤) is called the derivative of 푓 at 푤. 2. 푓 is holomorphic at 푤 if there exists 휀 > 0 such that 푓 is differentiable at all points of 퐷(푤, 휀). 푓 is holomorphic on 푈 if it is differentiable at all 푤 ∈ 푈. Equivalent, 푓 is holomorphic at at all 푤 ∈ 푈. Remark. 1. There is an alternative term analytic. In actuality, it is the same as holomorphic for complex functions. However, it comes with a flavour associated with the Taylor expansion and sometimes defined in terms of such. Later in the course we will prove that the definitions are equivalent. 2. Complex differentiation follows the same rules as real differentiation. For example, sums of differentiable functions are differentiable, product, quo- tient, chain rules etc also hold. 2 1 Basic notions Definition (Entire). An entire function is a holomorphic function 푓 ∶ C → C. Example. 1. Polynomials are entire functions. 푝 2. If 푝(푧) and 푞(푧) are polynomials with 푞(푧) not identically zero, then 푞 is holomorphic on C \{zeros of 푞}. In IB Analysis II we studied function from R푛 to R푚 and their differentiability. Indeed a complex function C → C can be view as a function R2 → R2 so how does complex differentiability relates to differentiablitiy in R2? It turns out that in addition to satisfy the differentiability on R2, the function has to satisfy a particular partial differential equation. Recall that 푢 is differentiable at (푐, 푑) ∈ 푈 if there exists (휆, 휇) ∈ R2 such that 푢(푥, 푦) − 푢(푐, 푑) − (휆(푥 − 푐) + 휇(푦 − 푑)) → 0 √(푥 − 푐)2 + (푦 − 푑)2 as (푥, 푦) → (푐, 푑). In this case 풟푢(푐, 푑) = (휆, 휇) is the derivative of 푢 at (푐, 푑). If this holds then 휆 = 푢푥(푐, 푑) and 휇 = 푢푦(푐, 푑), the partial derivatives of 푢 at (푐, 푑). Theorem 1.1 (Cauchy-Riemann equations). 푓 ∶ 푈 → C is differentiable at 푤 = 푐 + 푖푑 ∈ 푈 if and only if the functions 푢 and 푣 are differentiable at (푐, 푑) and 푢푥(푐, 푑) = 푣푦(푐, 푑) 푢푦(푐, 푑) = −푣푥(푐, 푑) in which case ′ 푓 (푤) = 푢푥(푐, 푑) + 푖푣푥(푐, 푑). Proof. From the definition, 푓 will be differentiable at 푤 with derivative 푓′(푤) = 푝 + 푖푞 if and only if 푓(푧) − 푓(푤) − 푓′(푤)(푧 − 푤) lim = 0 푧→푤 |푧 − 푤| or equivalently, splitting into real and imaginary parts, 푢(푥, 푦) − 푢(푐, 푑) − (푝(푥 − 푐) − 푞(푦 − 푑)) lim = 0 (푥,푦)→(푐,푑) √(푥 − 푐)2 + (푦 − 푑)2 푣(푥, 푦) − 푣(푐, 푑) − (푞(푥 − 푐) + 푝(푦 − 푑)) lim = 0 (푥,푦)→(푐,푑) √(푥 − 푐)2 + (푦 − 푑)2 since 푓′(푤)(푧 − 푤) = (푝(푥 − 푐) − 푞(푦 − 푑)) + 푖(푞(푥 − 푐) + 푝(푦 − 푑)). So 푓 is differentiable at 푤 with derivative 푓′(푤) = 푝 + 푖푞 if and only if 푢 and 푣 are differentiable at (푐, 푑) with 풟푢(푐, 푑) = (푝, −푞) 풟푣(푐, 푑) = (푞, 푝) hence the result. 3 1 Basic notions Example. Let 푓(푧) = 푧. Then 푓(푥 + 푖푦) = 푥 − 푖푦, 푢(푥, 푦) = 푥, 푣(푥, 푦) = −푦. We have 푢푥 = 1 ≠ −1 = 푣푦 so 푓 is not differentiable anywhere in C. Remark. 1. We could have discovered Cauchy-Riemann as follows: let 푧 = 푤 + ℎ where ℎ ∈ R. Then ′ 푓(푤 + ℎ) − 푓(푤) 푓 (푤) = lim = 푢푥(푐, 푑) + 푖푣푥(푐, 푑). ℎ→0 ℎ Let 푧 = 푤 + 푖ℎ, we get ′ 푓(푤 + 푖ℎ) − 푓(푤) 푓 (푤) = lim = 푣푦(푐, 푑) − 푖푢푦(푐, 푑). ℎ→0 ℎ As 푓 is assumed to be differentiable, these two must agree. 2. Later on we’ll see that if 푓 is holomorphic, so is 푓′. This will imply right away that all partial derivatives of 푢 and 푣 exist and are continuous, i.e. 퐶∞. Thus 푢푥푥 = 푣푦푥 푢푦푦 = −푣푥푦 By symmetry of second derivatives, we get that 푢 satisfies the Laplace equation 푢푥푥 + 푢푦푦 = 0. Hence 푓 is holomorphic implies that the real and imaginary parts are harmonic functions. Corollary 1.2. Let 푓 = 푢+푖푣 ∶ 푈 → C. Suppose the functions 푢 and 푣 have continuous partial derivatives everywhere in 푈 and satisfy Cauchy-Riemann equations. Then 푓 is holomorphic in 푈. Proof. From IB Analysis II, 푢 and 푣 are differentiable. The result follows from the previous theorem. Corollary 1.3. Let 푓 ∶ 퐷 → C be holomorphic on a domain 퐷 and suppose 푓′(푧) = 0 for all 푧 ∈ 퐷. Then 푓 is constant on 퐷. Proof. Follows from the analogous result for differentiable functions on a path- connected subset of R2 (Mean Value Inequality from IB Analysis II). 1.2 Power series Recall that 4 1 Basic notions Theorem 1.4 (Radius of convergence). Let 푐푛 be a sequence of complex numbers. Then there exists a unique 푅 ∈ [0, ∞], the radius of convergence of the series, such that ∞ 푛 ∑ 푐푛(푧 − 푎) , 푧, 푎 ∈ C 푛=0 converges absolutely if |푧 − 푎| < 푅 and diverges if |푧 − 푎| > 푅. If 0 < 푟 < 푅 then the series converges uniformly on {|푧−푎| ≤ 푟}. The radius of convergence is given by 푛 푅 = sup{푟 ≥ 0 ∶ |푐푛|푟 → 0}. 푓(푧) = ∑∞ 푐 (푧 − 푎)푛 Theorem 1.5. Let 푛=0 푛 be a complex power series with radius of convergence 푅 > 0. Then 1. 푓 is holomorphic on 퐷(푎, 푅), ∑∞ 푛푐 (푧 − 푎)푛−1 2. its derivative is given by the series 푛=1 푛 , which also has radius of convergence 푅, (푛) 3. 푓 has derivatives of all orders on 퐷(푎, 푅) and 푓 (푎) = 푛!푐푛, 4. if 푓 vanishes identically on some disc 퐷(푎, 휀) then 푐푛 = 0 for all 푛. 푎 = 0 ∑∞ 푛푐 푧푛−1 Proof. wlog assume . Claim that 푛=1 푛 has radius of convergence 푅. ′ Proof. |푛푐푛| ≥ |푐푛| so its radius of convergence 푅 is at most 푅. 푛 Suppose 0 ≤ 푟 < 푅 and pick 휌 ∈ (푟, 푅). Then ∑ |푐푛|휌 converges and 푛−1 푛 푛|푐푛|푟 푛 푟 푛 = ( ) → 0 |푐푛|휌 푟 ⏟휌 <1 푛−1 ′ so by comparison test ∑ 푛푐푛푟 converges and hence 푅 = 푅. To show the derivative is of the desired form we shall do something clever. Consider the continous function 푛−1 푧푛−푤푛 푗 푛−1−푗 푧−푤 if 푧 ≠ 푤 ℎ푛(푧, 푤) = ∑ 푧 푤 = { 푛−1 푗=0 푛푤 if 푧 = 푤 for 푛 ≥ 1. Consider the series ∞ ∑ 푐푛ℎ푛(푧, 푤). (∗) 푛=1 Claim that for every 푟 < 푅, (∗) converges uniformly on the set {(푧, 푤) ∶ |푧|, |푤| ≤ 푟}. 푛−1 Proof. |푐푛ℎ푛(푧, 푤)| ≤ |푐푛|푛푟 = 푀푛. Since we know ∑ 푀푛 < ∞, by Weier- strass M-test (∗) converges uniformly. 5 1 Basic notions Thus it converges to a continuous function 푔(푧, 푤). By definition ∞ 푛 푛 ∑ 푐 푧 −푤 = 푓(푧)−푓(푤) if 푧 ≠ 푤 푔(푧, 푤) = { 푛=1 푛 푧−푤 푧−푤 ∑∞ 푐 푛푤푛−1 푧 = 푤 푛=1 푛 if As 푔 is continuous, fixing 푤 and letting 푧 → 푤 we get ∞ 푓(푧) − 푓(푤) 푛−1 lim = ∑ 푛푐푛푤 . 푧→푤 푧 − 푤 푛=1 So 푓′(푤) exists and equals to 푔(푤, 푤) as desired. This proves (1) and (2). (3) follows by induction on 푛. Finally if 푓 vanishes identically on a disc about 푎 (푛) then 푓 = 0 for all 푛 and by (3) 푐푛 = 0 for all 푛.
Recommended publications
  • Symmetric Coverage of Dynamic Mapping Error for Mobile Sensor Networks
    2011 American Control Conference on O'Farrell Street, San Francisco, CA, USA June 29 - July 01, 2011 Symmetric coverage of dynamic mapping error for mobile sensor networks Carlos H. Caicedo-Nu´nez˜ and Naomi Ehrich Leonard Abstract—We present an approach to control design for nonuniform density fields. Related problems include control a mobile sensor network tasked with sampling a scalar field of a mobile sensor network in a noisy, possibly time-varying and providing optimal space-time measurements. The coverage field for minimum-error spatial estimation [9], [10] and metric is derived from the mapping error in objective analysis (OA), an assimilation scheme that provides a linear statistical cooperative exploration of features [11]. In [12] agents are estimation of a sampled field. OA mapping error is an example deployed in a distributed way in order to maximize the of a consumable density field: the error decreases dynamically probability of event detection. The authors of [13] study the at locations where agents move and sample. OA mapping error distributed implementation of maximizing joint entropy in is also a regenerating density field if the sampled field is measurements. However, none of these methods have been time-varying: error increases over time as measurement value decays. The resulting optimal coverage problem presents a chal- designed to specifically address a spatial-temporal density lenge to traditional coverage methods. We prove a symmetric field that changes in response to the motion of the agents. dynamic coverage solution that exploits the symmetry of the In this paper we propose a coverage strategy for a density domain and yields symmetry-preserving coordinated motion field defined by OA mapping error in the case that the of mobile sensors.
    [Show full text]
  • Journal of Computational and Applied Mathematics Numerical Integration
    Journal of Computational and Applied Mathematics 233 (2009) 279–292 Contents lists available at ScienceDirect Journal of Computational and Applied Mathematics journal homepage: www.elsevier.com/locate/cam Numerical integration over polygons using an eight-node quadrilateral spline finite elementI Chong-Jun Li a,∗, Paola Lamberti b, Catterina Dagnino b a School of Mathematical Sciences, Dalian University of Technology, Dalian 116024, China b Department of Mathematics, University of Torino, via C. Alberto, 10 Torino 10123, Italy article info a b s t r a c t Article history: In this paper, a cubature formula over polygons is proposed and analysed. It is based Received 9 February 2009 on an eight-node quadrilateral spline finite element [C.-J. Li, R.-H. Wang, A new 8-node Received in revised form 8 July 2009 quadrilateral spline finite element, J. Comp. Appl. Math. 195 (2006) 54–65] and is exact for quadratic polynomials on arbitrary convex quadrangulations and for cubic polynomials on MSC: rectangular partitions. The convergence of sequences of the above cubatures is proved for 65D05 continuous integrand functions and error bounds are derived. Some numerical examples 65D07 are given, by comparisons with other known cubatures. 65D30 65D32 ' 2009 Elsevier B.V. All rights reserved. Keywords: Numerical integration Spline finite element method Bivariate splines Triangulated quadrangulation 1. Introduction The problem considered in this paper is the numerical evaluation of Z IΩ .f / D f .x; y/dxdy; (1) Ω 2 where f 2 C.Ω/ and Ω is a polygonal domain in R , i.e. a domain with the boundary composed of piecewise straight lines.
    [Show full text]
  • MATHEMATICAL TRIPOS Part IB 2017
    MATHEMATICALTRIPOS PartIB 2017 List of Courses Analysis II Complex Analysis Complex Analysis or Complex Methods Complex Methods Electromagnetism Fluid Dynamics Geometry Groups, Rings and Modules Linear Algebra Markov Chains Methods Metric and Topological Spaces Numerical Analysis Optimisation Quantum Mechanics Statistics Variational Principles Part IB, 2017 List of Questions [TURN OVER 2 Paper 3, Section I 2G Analysis II What does it mean to say that a metric space is complete? Which of the following metric spaces are complete? Briefly justify your answers. (i) [0, 1] with the Euclidean metric. (ii) Q with the Euclidean metric. (iii) The subset (0, 0) (x, sin(1/x)) x> 0 R2 { } ∪ { | }⊂ with the metric induced from the Euclidean metric on R2. Write down a metric on R with respect to which R is not complete, justifying your answer. [You may assume throughout that R is complete with respect to the Euclidean metric.] Paper 2, Section I 3G Analysis II Let X R. What does it mean to say that a sequence of real-valued functions on ⊂ X is uniformly convergent? Let f,f (n > 1): R R be functions. n → (a) Show that if each fn is continuous, and (fn) converges uniformly on R to f, then f is also continuous. (b) Suppose that, for every M > 0, (f ) converges uniformly on [ M, M]. Need n − (fn) converge uniformly on R? Justify your answer. Paper 4, Section I 3G Analysis II State the chain rule for the composition of two differentiable functions f : Rm Rn → and g : Rn Rp. → Let f : R2 R be differentiable.
    [Show full text]
  • Elementary Real Analysis
    Elementary Real Analysis MAT 2125 Winter 2017 Alistair Savage Department of Mathematics and Statistics University of Ottawa This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License Contents Preface iii 1 The real numbers1 1.1 Algebraic structure: the field axioms......................1 1.2 Order structure..................................3 1.3 Bounds and the completeness axiom......................4 1.4 Natural numbers and induction.........................7 1.5 Rational numbers................................. 10 1.6 Absolute value: the metric structure on R ................... 11 1.7 Constructing the real numbers.......................... 12 2 Sequences 13 2.1 Limits....................................... 13 2.2 Properties of limits................................ 17 2.3 Monotonic convergence criterion......................... 20 2.4 Subsequences................................... 22 2.5 Cauchy sequences................................. 25 2.6 Limit inferior and limit superior......................... 27 3 Series 31 3.1 Definition and basic properties.......................... 31 3.2 Convergence tests................................. 35 3.3 Absolute convergence............................... 40 4 Topology of Rd 42 4.1 Norms....................................... 42 4.2 Convergence in Rd ................................ 45 4.3 Open and closed sets............................... 48 4.4 Compact sets................................... 54 5 Continuity 59 5.1 Limits......................................
    [Show full text]
  • Pseudo-Conforming Hdiv Polynomial Finite Elements on Quadrilaterals and Hexahedra Eric Dubach, Robert Luce, Jean-Marie Thomas
    Pseudo-conforming Hdiv polynomial finite elements on quadrilaterals and hexahedra Eric Dubach, Robert Luce, Jean-Marie Thomas To cite this version: Eric Dubach, Robert Luce, Jean-Marie Thomas. Pseudo-conforming Hdiv polynomial finite elements on quadrilaterals and hexahedra. [Research Report] RR-7466, INRIA. 2010, pp.36. inria-00541184 HAL Id: inria-00541184 https://hal.inria.fr/inria-00541184 Submitted on 30 Nov 2010 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Pseudo-conforming Hdiv polynomial finite elements on quadrilaterals and hexahedra Eric DUBACH∗, Robert LUCE∗,†, Jean-Marie THOMAS∗ N° 7466 23 nov 2010 Thème NUM apport de recherche ISSN 0249-6399 ISRN INRIA/RR--7466--FR+ENG Pseudo-conforming Hdiv polynomial finite elements on quadrilaterals and hexahedra Eric DUBACH∗, Robert LUCE∗,†, Jean-Marie THOMAS∗∗† Thème NUM — Systèmes numériques Projets Concha Rapport de recherche n° 7466 — 23 nov 2010 — 36 pages Abstract: The aim of this paper is to present a new class of mixed finite elements on quadrilaterals and hexahedra where the approximation is polynomial on each element K. The degrees of freedom are the same as those of classical mixed finite elements.
    [Show full text]
  • Traces of Analytic Solutions of the Heat Equation" Astérisque, Tome 2-3 (1973), P
    Astérisque N. ARONSZAJN Preliminary notes for the talk "Traces of analytic solutions of the heat equation" Astérisque, tome 2-3 (1973), p. 5-34 <http://www.numdam.org/item?id=AST_1973__2-3__5_0> © Société mathématique de France, 1973, tous droits réservés. L’accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l’accord avec les conditions générales d’uti- lisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ ANALYTIC SOLUTIONS OF HEAT EQUATIONS PRELIMINARY NOTES FOR THE TALK "TRACES OF ANALYTIC SOLUTIONS OF THE HEAT EQUATION" by N. Aronszajn Préface In this paper necessary preliminaries are given for understanding the talk "Traces of analytic solutions of the heat équation. " Since the talk is restricted to one hour, it is hoped that the audience will have had a chance to look over thèse preparatory notes. No proofs are given here. Some of the proofs in Chapter I and ail the proofs for Chapter II will be published in a forthcoming mono- graph on polyharmonic functions which is referred to in this paper as PHF. Contents. Chapter I. General analytic functions. §1. Notations. §2. Entire functions; exponential order and type. §3 A new type of Cauchy formula; Almansi expansion. §4. Analytic functionals. §5, Symbolic intégrais. Chapter II. Polyharmonic functions. §1. General définitions and properties; Laplacian order and type, §2, Almansi development of polyharmonic functions.
    [Show full text]
  • Generic 2-Parameter Perturbations of Parabolic Singular Points of Vector Fields in C
    CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 22, Pages 141–184 (September 7, 2018) https://doi.org/10.1090/ecgd/325 GENERIC 2-PARAMETER PERTURBATIONS OF PARABOLIC SINGULAR POINTS OF VECTOR FIELDS IN C MARTIN KLIMESˇ AND CHRISTIANE ROUSSEAU Abstract. We describe the equivalence classes of germs of generic 2-parameter families of complex vector fieldsz ˙ = ω(z)onC unfolding a singular parabolic k+1 k+1 point of multiplicity k +1: ω0 = z + o(z ). The equivalence is under conjugacy by holomorphic change of coordinate and parameter. As a prepara- tory step, we present the bifurcation diagram of the family of vector fields k+1 1 z˙ = z + 1z + 0 over CP . This presentation is done using the new tools of periodgon and star domain. We then provide a description of the modulus space and (almost) unique normal forms for the equivalence classes of germs. 1. Introduction Natural local bifurcations of analytic vector fields over C occur at multiple sin- gular points. If a singular point has multiplicity k + 1, hence codimension k,ithas a universal unfolding in a k-parameter family. A normal form has been given by Kostov [Ko] for such vector fields, namely k+1 k−1 z + − z + ···+ z + z˙ = k 1 1 0 1+A()zk and the almost uniqueness of this normal form was shown in Theorem 3.5 of [RT], thus showing that the parameters of the normal form are canonical. But what happens if the codimension k singularity occurs inside a family de- pending on m<kparameters? The paper [CR] completely settles the generic situation in the case m = 1.
    [Show full text]
  • Proofs-Munkres-35.Pdf
    Introduction to Topology Chapter 4. Countability and Separation Axioms Section 35. The Tietze Extension Theorem—Proofs of Theorems September 10, 2016 () Introduction to Topology September 10, 2016 1 / 10 Table of contents 1 Theorem 35.1. The Tietze Extension Theorem () Introduction to Topology September 10, 2016 2 / 10 Step 1. First, we consider the case f : A → [−r, r]. We construct continuous g : X → R such that |g(x)| < r/3 for all x ∈ X and |g(a) − f (a)| < 2r/3 for all a ∈ A. For the construction, define −1 I1 = [−r, −r/3], I2 = [−r/3, r/3], and I3 = [r/3, r]. Let B = f (I1) and −1 C = f (I3) (subsets of A. Since f is continuous then B and C are closed (by Theorem 18.1(3)) and are disjoint. Theorem 35.1. The Tietze Extension Theorem Theorem 35.1. The Tietze Extension Theorem Theorem 35.1. The Tietze Extension Theorem. Let X be a normal space. Let A be a closed subspace of X . (a) Any continuous function of A into the closed interval [a, b] ⊂ R may be extended to a continuous function on all of X into [a, b]. (b) Any continuous function of A into R may be extended to a continuous function on all of X into R. Proof. We follow Munkres’ three step proof and construct the desired function as a limit of a sequence of functions. () Introduction to Topology September 10, 2016 3 / 10 For the construction, define −1 I1 = [−r, −r/3], I2 = [−r/3, r/3], and I3 = [r/3, r].
    [Show full text]
  • Spherical Harmonic Analysis
    A COLLECTION OF FAST ALGORITHMS FOR SCALAR AND VECTOR-VALUED DATA ON IRREGULAR DOMAINS: SPHERICAL HARMONIC ANALYSIS, DIVERGENCE-FREE/CURL-FREE RADIAL BASIS FUNCTIONS, AND IMPLICIT SURFACE RECONSTRUCTION by Kathryn Primrose Drake A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computing Boise State University December 2020 c 2020 Kathryn Primrose Drake ALL RIGHTS RESERVED BOISE STATE UNIVERSITY GRADUATE COLLEGE DEFENSE COMMITTEE AND FINAL READING APPROVALS of the dissertation submitted by Kathryn Primrose Drake Thesis Title: A Collection of Fast Algorithms for Scalar and Vector-Valued Data on Irregular Domains: Spherical Harmonic Analysis, Divergence- Free/Curl-Free Radial Basis Functions, and Implicit Surface Recon- struction Date of Final Oral Examination: 16 October 2020 The following individuals read and discussed the dissertation submitted by student Kathryn Primrose Drake, and they evaluated the student's presentation and response to questions during the final oral examination. They found that the student passed the final oral examination. Grady B. Wright Ph.D. Chair, Supervisory Committee Jodi Mead Ph.D. Member, Supervisory Committee Min Long Ph.D. Member, Supervisory Committee The final reading approval of the dissertation was granted by Grady B. Wright Ph.D., Chair of the Supervisory Committee. The thesis was approved by the Graduate College. DEDICATION For Bodie, without whom this wouldn't have been possible. iv ACKNOWLEDGMENTS First and foremost, I must acknowledge and thank my committee members, Professor Jodi Mead and Professor Min Long. Jodi, you have been with me throughout this entire process since (literally) day one. Thank you for supporting me every step of the way and reminding me to persist.
    [Show full text]
  • Minkowski Bisectors, Minkowski Cells, and Lattice Coverings 3
    MINKOWSKI BISECTORS, MINKOWSKI CELLS, AND LATTICE COVERINGS CHUANMING ZONG Abstract. As a counterpart of Hilbert’s 18th problem, it is natural to raise the question to determine the density of the thinnest covering of E3 by identical copies of a given geometric object, such as a unit ball, a reg- ular tetrahedron or a regular octahedron. However, systematic study on this problem and its generalizations was started much later comparing with that on packings and the known knowledge on coverings is very limited. By studying Minkowski bisectors and Minkowski cells, this paper introduces a ∗ new way to study the density θ (C) of the thinnest lattice covering of En by a centrally symmetric convex body C. Some basic results and unex- pected phenomena such as Example 1, Theorems 2 and 4, and Corollary 1 about Minkowski bisectors, Minkowski cells and covering densities are dis- covered. Three basic problems about Minkowski cells and parallelohedra are presented. 1. Minkowski Metrics and Centrally Symmetric Convex Bodies Let En denote the n-dimensional Euclidean space with an orthonormal basis {e1, e2, · · · , en}. For convenience we use small letters to denote real numbers, use small bold letters to denote points (or vectors) and use capital letters to denote sets of points in the space. In particular, let o denote the origin of En, 2 and let Bn denote the n-dimensional unit ball {x : |xi| ≤ 1}. A metric k · k define in En is called a MinkowskiP metric if it satisfies the following conditions. n arXiv:1402.3395v1 [math.MG] 14 Feb 2014 1. 0 ≤ kxk < ∞ holds for all vectors x ∈ E and the equality holds if and only if x = o.
    [Show full text]
  • Invariant Compact Sets of Nonexpansive Iterated Function Systems
    Asian Research Journal of Mathematics 3(4): 1-10, 2017; Article no.ARJOM.32634 ISSN: 2456-477X SCIENCEDOMAIN international www.sciencedomain.org Invariant Compact Sets of Nonexpansive Iterated Function Systems ∗ Francisco J. Solis1 and Ezequiel Ojeda-Gomez1 1Center of Research in Mathematics, CIMAT, Guanajuato 36000, M´exico. Authors' contributions This work was carried out in collaboration between both authors. Author FJS designed and managed the analyses of the study. Author EOG wrote the first draft of the manuscript and managed literature searches. Both authors read and approved the final manuscript. Article Information DOI: 10.9734/ARJOM/2017/32634 Editor(s): (1) Firdous Ahmad Shah, Department of Mathematics, University of Kashmir, South Campus, Anantnag, Jammu and Kashmir, India. Reviewers: (1) William H. Sulis, University of Waterloo, Waterloo, Canada and McMaster University, Hamilton, Canada. (2) Andrzej Wisnicki, Rzeszow University of Technology, Rzeszow, Poland. (3) Srijanani Anurag Prasad, The Northcap University, Gurgaon, India. (4) Sergei Soldatenko, Institute for Informatics and Automation of the Russian Academy of Sciences, Russia. Complete Peer review History: http://www.sciencedomain.org/review-history/18676 Received: 6th March 2017 Accepted: 11th April 2017 Original Research Article Published: 17th April 2017 Abstract In this work we prove the existence of invariant compact sets under the action of nonexpansive iterated functions systems on normed spaces. We generalized the previous result to convex metric spaces and we also show that uniqueness of invariant compact sets is not guaranteed. Finally, in the last section we prove a result that provides a method for calculating an invariant set under nonexpansive iterated functions systems which is maximal with respect to inclusion.
    [Show full text]
  • Uxx = Ud on an Appropriat
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 301, Number 2, June 1987 HARDY SPACES OF HEAT FUNCTIONS H. S. BEAR ABSTRACT. We consider spaces of solutions of the one-dimensional heat equa- tion on appropriate bounded domains in the (x, t)-plane. The domains we consider have the property that they are parabolically star-shaped at some point; i.e., each downward half-parabola from some center point intersects the boundary exactly once. We introduce parabolic coordinates (r,8) in such a way that the curves 8 = constant are the half-parabolas, and dilation by mul- tiplying by r preserves heat functions. An integral kernel is introduced by specializing to this situation the very general kernel developed by Gleason and the author for abstract harmonic functions. The combination of parabolic co- ordinates and kernel function provides a close analogy with the Poisson kernel and polar coordinates for harmonic functions on the disc, and many of the Hardy space theorems for harmonic functions generalize to this setting. More- over, because of the generality of the Bear-Gleason kernel, much of this theory extends nearly verbatim to other situations where there are polar-type coor- dinates (such that the given space of functions is preserved by the "radial" expansion) and the maximum principle holds. For example, most of these theorems hold unchanged for harmonic functions on a radial star in R n . As ancillary results we give a simple condition that a boundary point of a plane domain be regular, and give a new local Phragmen-Lindelof theorem for heat functions. 1.
    [Show full text]