Lectures on Complex Analysis

Total Page:16

File Type:pdf, Size:1020Kb

Lectures on Complex Analysis Lectures on complex analysis Alexander Kupers April 30, 2020 Abstract These are the collected lecture notes for Math 113. i Contents 1 Complex numbers and holomorphic functions1 1.1 Complex numbers ............................... 1 1.1.1 The algebra of complex numbers................... 2 1.1.2 The geometry of complex numbers.................. 4 1.2 Holomorphic functions............................. 6 1.2.1 Examples of holomorphic functions.................. 7 1.2.2 Integration of holomorphic functions................. 8 1.3 The Riemann zeta-function .......................... 9 2 Functions on the complex plane 11 2.1 The complex plane............................... 11 2.1.1 Recollection: the algebra of complex numbers............ 11 2.1.2 The topology of complex numbers .................. 11 2.2 Holomorphic functions............................. 14 2.2.1 Continuity ............................... 14 2.2.2 Complex differentiation ........................ 15 2.2.3 The Cauchy–Riemann equations ................... 16 3 Integration and Goursat’s theorem 18 3.1 Integration along curves............................ 18 3.1.1 Examples of integrals ......................... 20 3.2 Goursat’s theorem ............................... 23 3.2.1 Goursat’s theorem for triangles.................... 23 3.2.2 A down-to-earth argument in support of Goursat’s theorem . 25 4 Cauchy’s integral formula 27 4.1 Holomorphic functions have primitives on disks............... 27 4.2 Computing some integrals........................... 30 4.3 Cauchy integral formula............................ 32 5 Applications of Cauchy’s integral formula 35 5.1 Cauchy integral formula............................ 35 ii Contents iii 5.1.1 Liouville’s theorem and the fundamental theorem of algebra . 35 5.2 Holomorphic functions are analytic...................... 36 5.2.1 Power series............................... 36 5.2.2 Analytic functions ........................... 38 5.2.3 Analytic continuation ......................... 40 6 Morera’s theorem and its applications 42 6.1 Morera’s theorem................................ 42 6.2 Constructing holomorphic functions by limits................ 42 6.2.1 Sequences................................ 42 6.2.2 Sums .................................. 44 6.2.3 Integrals................................. 45 6.2.4 Pointwise convergence......................... 45 6.3 Schwarz reflection ............................... 46 7 Poles 49 7.1 Poles and zeroes ................................ 49 7.1.1 Isolated singularities.......................... 49 7.1.2 Zeroes and poles ............................ 49 7.1.3 Laurent series.............................. 51 7.2 The residue formula .............................. 52 7.3 Integrals using the residue formula...................... 53 7.3.1 Zeroes and poles ............................ 55 7.4 The residue formula .............................. 56 8 Singularities 58 8.1 Removable singularities ............................ 58 8.2 Essential singularities ............................. 59 8.2.1 Application: the automorphisms of C . 60 8.3 Meromorphic functions and the complex projective plane ......... 60 1 8.3.1 Application: the automorphisms of CP . 62 9 The argument principle 64 9.1 The argument principle ............................ 64 9.2 Rouch´e’stheorem................................ 65 9.3 The open mapping theorem.......................... 66 9.4 The maximum modulus principle....................... 66 10 Homotopy invariance and the logarithm 68 10.1 Integrals along paths are homotopy-invariant ................ 68 10.2 The logarithm.................................. 70 10.2.1 Logarithms of holomorphic functions................. 72 11 Pre-midterm recap 73 11.1 Holomorphic functions and their properties ................. 73 11.2 Constructing holomorphic functions ..................... 74 iv Contents 11.3 The classification of singularities ....................... 74 11.4 Evaluation of integrals............................. 75 11.5 Integral formula’s and growth behavior of holomorphic functions . 76 12 Growth of zeroes 77 12.1 The mean value property ........................... 77 12.2 Jensen’s formula ................................ 78 12.3 Functions of finite order............................ 80 12.4 An application of Jensen’s formula to polynomials ............. 82 13 Weierstrass’ construction 84 13.1 Infinite products ................................ 84 13.1.1 The product formula for the sine................... 85 13.2 Weierstrass’ construction............................ 87 14 Hadamard factorization theorem 89 14.1 Hadamard factorization theorem ....................... 89 14.1.1 Preparatory lemmas.......................... 90 14.1.2 The proof................................ 92 14.2 Picard’s little theorem for functions of finite order ............. 93 15 The Gamma function 94 15.1 The Gamma function ............................. 94 15.1.1 Analytic extension........................... 94 15.1.2 Symmetry................................ 96 15.1.3 Growth ................................. 96 15.1.4 Product formula ............................ 98 15.2 Mellin transforms................................ 98 16 The Riemann zeta function 100 16.1 The Riemann zeta function ..........................100 16.1.1 The theta function...........................100 16.1.2 Expressing ζ in terms of θ . 102 16.1.3 Estimates on the line Re(s) = 1....................104 17 The zeroes of the Riemann zeta function 106 17.1 Recollection on the prime number theorem . 106 17.1.1 The Riemann zeta function as a product . 106 17.2 The trivial zeroes of Riemann zeta function . 108 17.3 The Riemann zeta function has no zeroes on Re(s) = 1 . 108 17.3.1 Some additional estimates.......................110 18 Tchebychev’s functions 111 18.1 Tchebychev’s functions.............................111 18.2 Relating Tchebychev’s functions to ζ . 113 18.3 Proving the asymptotics of ψ1 . 115 Contents v 19 The proof of the prime number theorem 116 19.1 The asymptotics of ψ1(x) ...........................116 19.2 Zeroes of the Riemann zeta function and error terms for the prime number theorem.....................................118 20 Conformal equivalences 121 20.1 Conformal equivalences ............................121 20.2 Examples ....................................123 20.2.1 The half-plane is conformally equivalent to the unit disk . 123 20.2.2 Further examples............................124 20.3 The Riemann mapping theorem........................125 21 The Schwartz lemma and conformal automorphisms 126 21.1 Schwartz lemma ................................126 21.2 Conformal automorphisms of the upper half-plane and unit disk . 127 21.2.1 Conformal automorphisms.......................127 21.2.2 The conformal automorphisms of D . 127 21.2.3 The conformal automorphisms of H . 129 22 Several complex variables 133 22.1 Holomorphic functions of several complex variables . 133 22.2 The Hartogs extension theorem........................134 22.3 Domains of holomorphy and convergence of power series . 135 23 Final recap 138 23.1 Midterm material................................138 23.2 Zeroes of entire functions ...........................139 23.2.1 Jensen’s formula ............................139 23.2.2 Functions of finite order........................140 23.3 The Gamma function, Riemann zeta function, and the prime number theorem.....................................140 23.4 Conformal equivalences ............................141 Bibliography 142 Chapter 1 Complex numbers and holomorphic functions In this first chapter I will give you a taste of complex analysis, and recall some basic facts about the complex numbers. We define holomorphic functions, the subject of this course. These functions turn out to be much more well-behaved than the functions you have encountered in real analysis. We will mention the most striking such properties that we will prove during the courses. We also give many examples of holomorphic functions, ending with the most exciting example: the Riemann zeta-function. We will go over this material in more depth in the coming lectures. However, you can take a look at [SS03, Section 1.1], [MH87, Section 1.1 and 1.2] for more details about the complex numbers. 1.1 Complex numbers Complex numbers have their origin in attempts to understand the roots of polynomials. By the sixteenth century, mathematicians had found formulas for the solutions of the equation p(x) = 0, when p is a quadratic or cubic polynomial. For example, when p(x) = ax2 + bx + c such solutions x0 are given by the well-known quadratic formula √ −b ± b2 − 4ac x = . 0 2a When b2 − 4ac ≥ 0 the graph of p intersects the x-axis, and the above formula can be 2 interpreted as giving the x-coordinate of these intersections. When b − 4ac√ < 0 there are no such intersections, which is reflected by the fact that at first sight b2 − 4ac is meaningless when the expression b2 − 4ac, called the discriminant is negative. This suggests one way to interpret the quadratic formula: if the discriminant is positive it gives two roots, if the discriminant is zero it gives a single root, and if it is negative it gives no roots. However, it was observed that if one introduced a new number i satisfying i2 = −1 to the number system, and let square roots of negative numbers be multiples of i, they not only appeared to give roots for the polynomial p when the discriminant is negative, 1 2 Chapter 1 Complex numbers and holomorphic functions but could be fruitfully manipulated to solve various other algebraic
Recommended publications
  • Global Subanalytic Cmc Surfaces
    GLOBALLY SUBANALYTIC CMC SURFACES IN R3 WITH SINGULARITIES JOSE´ EDSON SAMPAIO Abstract. In this paper we present a classification of a class of globally sub- 3 analytic CMC surfaces in R that generalizes the recent classification made by Barbosa and do Carmo in 2016. We show that a globally subanalytic CMC 3 surface in R with isolated singularities and a suitable condition of local con- nectedness is a plane or a finite union of round spheres and right circular cylinders touching at the singularities. As a consequence, we obtain that a 3 globally subanalytic CMC surface in R that is a topological manifold does not have isolated singularities. It is also proved that a connected closed glob- 3 ally subanalytic CMC surface in R with isolated singularities which is locally Lipschitz normally embedded needs to be a plane or a round sphere or a right circular cylinder. A result in the case of non-isolated singularities is also pre- sented. It is also presented some results on regularity of semialgebraic sets and, in particular, it is proved a real version of Mumford's Theorem on regu- larity of normal complex analytic surfaces and a result about C1 regularity of minimal varieties. 1. Introduction The question of describing minimal surfaces or, more generally, surfaces of con- stant mean curvature (CMC surfaces) is known in Analysis and Differential Geom- etry since the classical papers of Bernstein [4], Bombieri, De Giorgi and Giusti [9], Hopf [26] and Alexandrov [1]. Recently, in the paper [2], Barbosa and do Carmo showed that the connected algebraic smooth CMC surfaces in R3 are only the planes, round spheres and right circular cylinders.
    [Show full text]
  • Informal Lecture Notes for Complex Analysis
    Informal lecture notes for complex analysis Robert Neel I'll assume you're familiar with the review of complex numbers and their algebra as contained in Appendix G of Stewart's book, so we'll pick up where that leaves off. 1 Elementary complex functions In one-variable real calculus, we have a collection of basic functions, like poly- nomials, rational functions, the exponential and log functions, and the trig functions, which we understand well and which serve as the building blocks for more general functions. The same is true in one complex variable; in fact, the real functions we just listed can be extended to complex functions. 1.1 Polynomials and rational functions We start with polynomials and rational functions. We know how to multiply and add complex numbers, and thus we understand polynomial functions. To be specific, a degree n polynomial, for some non-negative integer n, is a function of the form n n−1 f(z) = cnz + cn−1z + ··· + c1z + c0; 3 where the ci are complex numbers with cn 6= 0. For example, f(z) = 2z + (1 − i)z + 2i is a degree three (complex) polynomial. Polynomials are clearly defined on all of C. A rational function is the quotient of two polynomials, and it is defined everywhere where the denominator is non-zero. z2+1 Example: The function f(z) = z2−1 is a rational function. The denomina- tor will be zero precisely when z2 = 1. We know that every non-zero complex number has n distinct nth roots, and thus there will be two points at which the denominator is zero.
    [Show full text]
  • MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79
    MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79 One of the interesting applications of Cauchy's Residue Theorem is to find exact values of real improper integrals. The idea is to integrate a complex rational function around a closed contour C that can be arbitrarily large. As the size of the contour becomes infinite, the piece in the complex plane (typically an arc of a circle) contributes 0 to the integral, while the part remaining covers the entire real axis (e.g., an improper integral from −∞ to 1). An Example Let us use residues to derive the formula p Z 1 x2 2 π 4 dx = : (1) 0 x + 1 4 Note the somewhat surprising appearance of π for the value of this integral. z2 First, let f(z) = and let C = L + C be the contour that consists of the line segment L z4 + 1 R R R on the real axis from −R to R, followed by the semi-circle CR of radius R traversed CCW (see figure below). Note that C is a positively oriented, simple, closed contour. We will assume that R > 1. Next, notice that f(z) has two singular points (simple poles) inside C. Call them z0 and z1, as shown in the figure. By Cauchy's Residue Theorem. we have I f(z) dz = 2πi Res f(z) + Res f(z) C z=z0 z=z1 On the other hand, we can parametrize the line segment LR by z = x; −R ≤ x ≤ R, so that I Z R x2 Z z2 f(z) dz = 4 dx + 4 dz; C −R x + 1 CR z + 1 since C = LR + CR.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Arxiv:1207.1472V2 [Math.CV]
    SOME SIMPLIFICATIONS IN THE PRESENTATIONS OF COMPLEX POWER SERIES AND UNORDERED SUMS OSWALDO RIO BRANCO DE OLIVEIRA Abstract. This text provides very easy and short proofs of some basic prop- erties of complex power series (addition, subtraction, multiplication, division, rearrangement, composition, differentiation, uniqueness, Taylor’s series, Prin- ciple of Identity, Principle of Isolated Zeros, and Binomial Series). This is done by simplifying the usual presentation of unordered sums of a (countable) family of complex numbers. All the proofs avoid formal power series, double series, iterated series, partial series, asymptotic arguments, complex integra- tion theory, and uniform continuity. The use of function continuity as well as epsilons and deltas is kept to a mininum. Mathematics Subject Classification: 30B10, 40B05, 40C15, 40-01, 97I30, 97I80 Key words and phrases: Power Series, Multiple Sequences, Series, Summability, Complex Analysis, Functions of a Complex Variable. Contents 1. Introduction 1 2. Preliminaries 2 3. Absolutely Convergent Series and Commutativity 3 4. Unordered Countable Sums and Commutativity 5 5. Unordered Countable Sums and Associativity. 9 6. Sum of a Double Sequence and The Cauchy Product 10 7. Power Series - Algebraic Properties 11 8. Power Series - Analytic Properties 14 References 17 arXiv:1207.1472v2 [math.CV] 27 Jul 2012 1. Introduction The objective of this work is to provide a simplification of the theory of un- ordered sums of a family of complex numbers (in particular, for a countable family of complex numbers) as well as very easy proofs of basic operations and properties concerning complex power series, such as addition, scalar multiplication, multipli- cation, division, rearrangement, composition, differentiation (see Apostol [2] and Vyborny [21]), Taylor’s formula, principle of isolated zeros, uniqueness, principle of identity, and binomial series.
    [Show full text]
  • Math 336 Sample Problems
    Math 336 Sample Problems One notebook sized page of notes will be allowed on the test. The test will cover up to section 2.6 in the text. 1. Suppose that v is the harmonic conjugate of u and u is the harmonic conjugate of v. Show that u and v must be constant. ∞ X 2 P∞ n 2. Suppose |an| converges. Prove that f(z) = 0 anz is analytic 0 Z 2π for |z| < 1. Compute lim |f(reit)|2dt. r→1 0 z − a 3. Let a be a complex number and suppose |a| < 1. Let f(z) = . 1 − az Prove the following statments. (a) |f(z)| < 1, if |z| < 1. (b) |f(z)| = 1, if |z| = 1. 2πij 4. Let zj = e n denote the n roots of unity. Let cj = |1 − zj| be the n − 1 chord lengths from 1 to the points zj, j = 1, . .n − 1. Prove n that the product c1 · c2 ··· cn−1 = n. Hint: Consider z − 1. 5. Let f(z) = x + i(x2 − y2). Find the points at which f is complex differentiable. Find the points at which f is complex analytic. 1 6. Find the Laurent series of the function z in the annulus D = {z : 2 < |z − 1| < ∞}. 1 Sample Problems 2 7. Using the calculus of residues, compute Z +∞ dx 4 −∞ 1 + x n p0(z) Y 8. Let f(z) = , where p(z) = (z −z ) and the z are distinct and zp(z) j j j=1 different from 0. Find all the poles of f and compute the residues of f at these poles.
    [Show full text]
  • Bounded Holomorphic Functions on Finite Riemann Surfaces
    BOUNDED HOLOMORPHIC FUNCTIONS ON FINITE RIEMANN SURFACES BY E. L. STOUT(i) 1. Introduction. This paper is devoted to the study of some problems concerning bounded holomorphic functions on finite Riemann surfaces. Our work has its origin in a pair of theorems due to Lennart Carleson. The first of the theorems of Carleson we shall be concerned with is the following [7] : Theorem 1.1. Let fy,---,f„ be bounded holomorphic functions on U, the open unit disc, such that \fy(z) + — + \f„(z) | su <5> 0 holds for some ô and all z in U. Then there exist bounded holomorphic function gy,---,g„ on U such that ftEi + - +/A-1. In §2, we use this theorem to establish an analogous result in the setting of finite open Riemann surfaces. §§3 and 4 consider certain questions which arise naturally in the course of the proof of this generalization. We mention that the chief result of §2, Theorem 2.6, has been obtained independently by N. L. Ailing [3] who has used methods more highly algebraic than ours. The second matter we shall be concerned with is that of interpolation. If R is a Riemann surface and if £ is a subset of R, call £ an interpolation set for R if for every bounded complex-valued function a on £, there is a bounded holo- morphic function f on R such that /1 £ = a. Carleson [6] has characterized interpolation sets in the unit disc: Theorem 1.2. The set {zt}™=1of points in U is an interpolation set for U if and only if there exists ô > 0 such that for all n ** n00 k = l;ktn 1 — Z.Zl An alternative proof is to be found in [12, p.
    [Show full text]
  • Complex-Differentiability
    Complex-Differentiability Sébastien Boisgérault, Mines ParisTech, under CC BY-NC-SA 4.0 April 25, 2017 Contents Core Definitions 1 Derivative and Complex-Differential 3 Calculus 5 Cauchy-Riemann Equations 7 Appendix – Terminology and Notation 10 References 11 Core Definitions Definition – Complex-Differentiability & Derivative. Let f : A ⊂ C → C. The function f is complex-differentiable at an interior point z of A if the derivative of f at z, defined as the limit of the difference quotient f(z + h) − f(z) f 0(z) = lim h→0 h exists in C. Remark – Why Interior Points? The point z is an interior point of A if ∃ r > 0, ∀ h ∈ C, |h| < r → z + h ∈ A. In the definition above, this assumption ensures that f(z + h) – and therefore the difference quotient – are well defined when |h| is (nonzero and) small enough. Therefore, the derivative of f at z is defined as the limit in “all directions at once” of the difference quotient of f at z. To question the existence of the derivative of f : A ⊂ C → C at every point of its domain, we therefore require that every point of A is an interior point, or in other words, that A is open. 1 Definition – Holomorphic Function. Let Ω be an open subset of C. A function f :Ω → C is complex-differentiable – or holomorphic – in Ω if it is complex-differentiable at every point z ∈ Ω. If additionally Ω = C, the function is entire. Examples – Elementary Functions. 1. Every constant function f : z ∈ C 7→ λ ∈ C is holomorphic as 0 λ − λ ∀ z ∈ C, f (z) = lim = 0.
    [Show full text]
  • Arxiv:1911.03589V1 [Math.CV] 9 Nov 2019 1 Hoe 1 Result
    A NOTE ON THE SCHWARZ LEMMA FOR HARMONIC FUNCTIONS MAREK SVETLIK Abstract. In this note we consider some generalizations of the Schwarz lemma for harmonic functions on the unit disk, whereby values of such functions and the norms of their differentials at the point z = 0 are given. 1. Introduction 1.1. A summary of some results. In this paper we consider some generalizations of the Schwarz lemma for harmonic functions from the unit disk U = {z ∈ C : |z| < 1} to the interval (−1, 1) (or to itself). First, we cite a theorem which is known as the Schwarz lemma for harmonic functions and is considered as a classical result. Theorem 1 ([10],[9, p.77]). Let f : U → U be a harmonic function such that f(0) = 0. Then 4 |f(z)| 6 arctan |z|, for all z ∈ U, π and this inequality is sharp for each point z ∈ U. In 1977, H. W. Hethcote [11] improved this result by removing the assumption f(0) = 0 and proved the following theorem. Theorem 2 ([11, Theorem 1] and [26, Theorem 3.6.1]). Let f : U → U be a harmonic function. Then 1 − |z|2 4 f(z) − f(0) 6 arctan |z|, for all z ∈ U. 1+ |z|2 π As it was written in [23], it seems that researchers have had some difficulties to arXiv:1911.03589v1 [math.CV] 9 Nov 2019 handle the case f(0) 6= 0, where f is harmonic mapping from U to itself. Before explaining the essence of these difficulties, it is necessary to recall one mapping and some of its properties.
    [Show full text]
  • Symmetric Rigidity for Circle Endomorphisms with Bounded Geometry
    SYMMETRIC RIGIDITY FOR CIRCLE ENDOMORPHISMS WITH BOUNDED GEOMETRY JOHN ADAMSKI, YUNCHUN HU, YUNPING JIANG, AND ZHE WANG Abstract. Let f and g be two circle endomorphisms of degree d ≥ 2 such that each has bounded geometry, preserves the Lebesgue measure, and fixes 1. Let h fixing 1 be the topological conjugacy from f to g. That is, h ◦ f = g ◦ h. We prove that h is a symmetric circle homeomorphism if and only if h = Id. Many other rigidity results in circle dynamics follow from this very general symmetric rigidity result. 1. Introduction A remarkable result in geometry is the so-called Mostow rigidity theorem. This result assures that two closed hyperbolic 3-manifolds are isometrically equivalent if they are homeomorphically equivalent [18]. A closed hyperbolic 3-manifold can be viewed as the quotient space of a Kleinian group acting on the open unit ball in the 3-Euclidean space. So a homeomorphic equivalence between two closed hyperbolic 3-manifolds can be lifted to a homeomorphism of the open unit ball preserving group actions. The homeomorphism can be extended to the boundary of the open unit ball as a boundary map. The boundary is the Riemann sphere and the boundary map is a quasi-conformal homeomorphism. A quasi-conformal homeomorphism of the Riemann 2010 Mathematics Subject Classification. Primary: 37E10, 37A05; Secondary: 30C62, 60G42. Key words and phrases. quasisymmetric circle homeomorphism, symmetric cir- arXiv:2101.06870v1 [math.DS] 18 Jan 2021 cle homeomorphism, circle endomorphism with bounded geometry preserving the Lebesgue measure, uniformly quasisymmetric circle endomorphism preserving the Lebesgue measure, martingales.
    [Show full text]
  • Complex Analysis Class 24: Wednesday April 2
    Complex Analysis Math 214 Spring 2014 Fowler 307 MWF 3:00pm - 3:55pm c 2014 Ron Buckmire http://faculty.oxy.edu/ron/math/312/14/ Class 24: Wednesday April 2 TITLE Classifying Singularities using Laurent Series CURRENT READING Zill & Shanahan, §6.2-6.3 HOMEWORK Zill & Shanahan, §6.2 3, 15, 20, 24 33*. §6.3 7, 8, 9, 10. SUMMARY We shall be introduced to Laurent Series and learn how to use them to classify different various kinds of singularities (locations where complex functions are no longer analytic). Classifying Singularities There are basically three types of singularities (points where f(z) is not analytic) in the complex plane. Isolated Singularity An isolated singularity of a function f(z) is a point z0 such that f(z) is analytic on the punctured disc 0 < |z − z0| <rbut is undefined at z = z0. We usually call isolated singularities poles. An example is z = i for the function z/(z − i). Removable Singularity A removable singularity is a point z0 where the function f(z0) appears to be undefined but if we assign f(z0) the value w0 with the knowledge that lim f(z)=w0 then we can say that we z→z0 have “removed” the singularity. An example would be the point z = 0 for f(z) = sin(z)/z. Branch Singularity A branch singularity is a point z0 through which all possible branch cuts of a multi-valued function can be drawn to produce a single-valued function. An example of such a point would be the point z = 0 for Log (z).
    [Show full text]
  • Generalizations of the Riemann Integral: an Investigation of the Henstock Integral
    Generalizations of the Riemann Integral: An Investigation of the Henstock Integral Jonathan Wells May 15, 2011 Abstract The Henstock integral, a generalization of the Riemann integral that makes use of the δ-fine tagged partition, is studied. We first consider Lebesgue’s Criterion for Riemann Integrability, which states that a func- tion is Riemann integrable if and only if it is bounded and continuous almost everywhere, before investigating several theoretical shortcomings of the Riemann integral. Despite the inverse relationship between integra- tion and differentiation given by the Fundamental Theorem of Calculus, we find that not every derivative is Riemann integrable. We also find that the strong condition of uniform convergence must be applied to guarantee that the limit of a sequence of Riemann integrable functions remains in- tegrable. However, by slightly altering the way that tagged partitions are formed, we are able to construct a definition for the integral that allows for the integration of a much wider class of functions. We investigate sev- eral properties of this generalized Riemann integral. We also demonstrate that every derivative is Henstock integrable, and that the much looser requirements of the Monotone Convergence Theorem guarantee that the limit of a sequence of Henstock integrable functions is integrable. This paper is written without the use of Lebesgue measure theory. Acknowledgements I would like to thank Professor Patrick Keef and Professor Russell Gordon for their advice and guidance through this project. I would also like to acknowledge Kathryn Barich and Kailey Bolles for their assistance in the editing process. Introduction As the workhorse of modern analysis, the integral is without question one of the most familiar pieces of the calculus sequence.
    [Show full text]