DOCSLIB.ORG

On the Riemann Mapping Theorem and Some Ap- Plications M.Sc Thesis by Tesfaye Nega Oct, 2017 Arba Minch, Ethiopia

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On the Riemann Mapping Theorem and Some Ap- Plications M.Sc Thesis by Tesfaye Nega Oct, 2017 Arba Minch, Ethiopia ON THE RIEMANN MAPPING THEOREM AND SOME AP- PLICATIONS M.SC THESIS BY TESFAYE NEGA OCT, 2017 ARBA MINCH, ETHIOPIA A THESIS ON THE RIEMANN MAPPING THEOREM AND SOME APPLICATIONS M.SC THESIS BY TESFAYE NEGA A THESIS SUBMITTED TO THE DEPARTMENT OF MATHEMATICS COLLEGE OF NATURAL SCIENCE SCHOOL OF GRADUATE STUDIES ARBA MINCH UNIVERSITY IN PARTIAL FULFILLMENT OF THE REQUIREMENT FOR THE DEGREE OF MASTER OF SCIENCE IN MATHEMATICS WITH SPECIALIZATION IN DIFFERENTIAL EQUATIONS OCT, 2017 ARBA MINCH ,ETHIOPIA APPROVAL SHEET-1 This is to certify that the Thesis entitled " On the Riemann Mapping Theorem and some applications" submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics with Spe- cialization in differential equation of the graduate program of the School of science in Mathematics,Arba Minch University, and is a record of original research carried out by Tesfaye Nega, under my supervision. Therefore, I recommend that it would be accepted fulfilling the thesis requirements and hence hereby can submit the thesis to the department for defense.. Dr.ABRAHAM HAILU ___________ _____________ Name of the major advisor Signature Date BEYENE CHANYALEW ___________ _____________ Name of co-advisor Signature Date APPROVAL SHEET -2 We, the undersigned, members of the Board of Examiners of the final open defense by Tesfaye Nega, have read and evaluated his thesis entitled "On the Riemann Mapping Theorem And Some Applications" and examined the candidate. This is, there, to certify that thesis has been accepted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics (Specialization: Differential Equations). Name of Advisor Signature Date Name of Co- Advisor Signature Date Name of External Examiner Signature Date Name of Internal Examiner Signature Date Chair Person Signature Date Name of Department Head Signature Date DECLARATION I, the undersigned, declare that the thesis is my original work, has not been presented for degrees in any other university and all sources of mate- rial used for the thesis have been duly acknowledged. Name: Tesfaye Nega Signature: Date: ACKNOWLEDGMENTS I would like to thank Dr.Abraham Hailu for all his support and his ideas,that helped to improve this thesis. I also would like to thank my co-advisor Beyene Chanyalew for his guidance in the preparation of this thesis. Furthermore, I would to thank every one who supported me,when I was talking about my work. i LIST OF ABBREVIATIONS Abbreviation It stands for C Complex plane C1 The extended complex plane R Real numbers <(z),=(z) Real, imaginary of z respectively ∆u Laplace of u rT Gradient of Temperature ii List of Figures 2.1 z-plane,w-plane . .7 4.1 Picturical representation of conformal mapping . 21 5.1 Graphical Representation for Example 5.2 . 31 5.2 Graphical Representation for Example 5.3 . 33 iii ABSTRACT In this thesis,we studied the Riemann Mapping Theorem.This theorem states that any non-empty simply connected domain D ⊆ C with D 6= C is conformally equivalent to the unit disk D = fz 2 C : jzj < 1g.We also studied how conformal mapping is applied in solving the Dirichlet problem over some bounded and simply connected domains. Keywords: Conformal Mapping, Mo"bius Transformations, Holomorphic Functions, Cauchy's Theorem, simply connected domain, Riemann Map- ping Theorem. iv Contents Acknowledgments . .i List of Abbreviations . ii List of Figures . iii Abstract . iv 1 INTRODUCTION 1 1.1 Back ground of the study . .1 1.2 Statement of the problem . .2 1.3 Objectives of the study . .2 1.3.1 General Objective . .2 1.3.2 Specific Objectives . .2 1.4 Operational Definitions of terms . .2 1.4.1 sets in the complex plane . .3 1.4.2 Functions on the complex plane . .4 2 CONFORMAL MAPPINGS 7 2.1 Conformal Mapping . .7 2.2 Mo"bius Transformations . .8 3 SOME IMPORTANT THEOREMS AND SEQUENCES OF HOLOMORPHIC FUNCTIONS 10 3.1 Cauchy's Theorem And it's Application . 10 3.2 Sequences of Holomorphic Functions . 18 3.3 Schwarz's Lemma . 20 4 PROOF OF THE RIEMANN MAPPING THEOREM 21 4.1 The Proof of Uniqueness . 22 4.2 The Proof of Existence . 22 5 SOME APPLICATIONS OF THE RIEMANN MAPPING v THEOREM 25 5.1 Harmonic Functions . 25 5.1.1 Definition and Basic Properties of Harmonic Function 25 5.1.2 Mean-Value Theorem . 26 5.1.3 Harmonic Functions on a Disk . 26 5.2 The Dirichlet Problem . 28 5.3 Application of the Riemann Mapping Theorem . 30 5.3.1 Physical Application of Conformal Mapping . 32 6 CONCLUSION 34 REFERENCE . 35 vi Chapter 1 INTRODUCTION 1.1 Back ground of the study The study of complex variable is important for physical sciences and is a central subject in mathematics. Complex number is an expression of the form z = x + iy, x is the real part of z, <(z) and y is the imaginary part of z, =(z). If y = 0, we say that z is real and if x = 0, we say that z is pure imaginary. We often denote z, an element of the complex numbers as z 2 C; where x, an element is the p real numbers denoted by x 2 R and i = −1. Complex conjugate of z = x + iy 2 C is given by z = x − iy and modulus of z is defined by jzj = px2 + y2, for z 6= 0. Geometrically, we represent equation z = x + iy in a two dimensional coordinate system called the complex plane. Hence the complex number z can be written in the alternative polar form : z = x + iy = reiθ = r(cos θ + i sin θ). Conformal mapping is an important technique used in complex analysis and has many applications in different physical situations. If the function is harmonic (i.e it satisfies Laplace's equation) then the transformation of such functions via conformal mapping is also harmonic. So equations pertaining to any field that can be represented by a potential function (all conservative fields) can be solved via conformal mapping. Holomor- phic functions are to complex function theory, much as real differentiable functions are one of the main subjects of calculus. We call a function biholomorphic if it is a holomorphic bijection. This thesis gives a brief introduction to conformal mappings such that the uniqueness and the ex- istence of the Riemann Mapping Theorem . 1 Chapter 1 INTRODUCTION 1.2 Statement of the problem One of the most important theorems in geometric function theory is the Riemann mapping theorem. This theorem gives the existence of a confor- mal mapping of a simply connected proper domain of the complex plane and the unit disk. The main purpose of conformal mapping : more important to the engineer and physicist is the use of conformal mapping in connection with potential problems. It yields a standard method for solving boundary value problem in two dimensional potential theory by transforming a complicated region into simpler one. Therefore, the paper deals with the following basic questions • What are the conditions that the Riemann Mapping Theorem holds ? • What are some of the applications of the Riemann Mapping Theorem ? 1.3 Objectives of the study 1.3.1 General Objective The overall objectives of this thesis are to understand the basic ideas, con- cepts, definition, theorem and properties about the existence of conformal mapping function of a simply connected domain which is proper subset of the complex plane to the unit disk. 1.3.2 Specific Objectives The specific objectives of this thesis are the following :- • To study the conditions that the Riemann Mapping Theorem holds. • To study the proof of the Riemann mapping theorem. • To discuss some applications of the Riemann Mapping Theorem. 1.4 Operational Definitions of terms In this subsection there are sets in the complex plane and functions on the complex plane which are essential for the study of the Riemann Mapping 2 Chapter 1 INTRODUCTION Theorem. 1.4.1 sets in the complex plane Definition 1.1. The open disk of radius r and center zo is the set fz 2 C : jz − zoj < rg. Definition 1.2. The unit disk is the disk centered at 0 of radius 1. Symbolically D = fz 2 C : jzj < 1g. Definition 1.3. A neighborhood of point zo 2 C is the set of the points z such that jz − zoj < , where > 0. Definition 1.4. A point zo of a set S is called an interior point of S if S contains a neighborhood of zo. Definition 1.5. A region is an open subset of the complex plane ,plus some ,all or none of the boundary points. Definition 1.6. Region R is said to be open if every point of R has neigh- borhood entirely contained in R. Definition 1.7. A boundary point of a set S is a point every neighborhood of which contains both points that belong to S and points that do not belong to S. Definition 1.8. A set is closed if it contains all of its boundary points. Definition 1.9. A set S is called connected if any two of its can be joined by a chain of finitely many straight line segments all of whose points belong to S . Example 1.1. The set A is (0; 1)[(1; 2) is disconnected. choose u = (0; 1) and v = (1; 2) then u \ v = ; ,u [ v = A, A \ u 6= ; and A \ v 6= ;, where A is the set of real number. Definition 1.10. A region R is said to be bounded if 9M > 0 such that jzj ≤ M for all z 2 R and else unbounded.
Load more

Recommended publications
  • 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]
  • Poles and Zeros of Generalized Carathéodory Class Functions
    W&M ScholarWorks Undergraduate Honors Theses Theses, Dissertations, & Master Projects 5-2011 Poles and Zeros of Generalized Carathéodory Class Functions Yael Gilboa College of William and Mary Follow this and additional works at: https://scholarworks.wm.edu/honorstheses Part of the Mathematics Commons Recommended Citation Gilboa, Yael, "Poles and Zeros of Generalized Carathéodory Class Functions" (2011). Undergraduate Honors Theses. Paper 375. https://scholarworks.wm.edu/honorstheses/375 This Honors Thesis is brought to you for free and open access by the Theses, Dissertations, & Master Projects at W&M ScholarWorks. It has been accepted for inclusion in Undergraduate Honors Theses by an authorized administrator of W&M ScholarWorks. For more information, please contact [email protected]. Poles and Zeros of Generalized Carathéodory Class Functions A thesis submitted in partial fulfillment of the requirement for the degree of Bachelor of Science with Honors in Mathematics from The College of William and Mary by Yael Gilboa Accepted for (Honors) Vladimir Bolotnikov, Committee Chair Ilya Spiktovsky Leiba Rodman Julie Agnew Williamsburg, VA May 2, 2011 POLES AND ZEROS OF GENERALIZED CARATHEODORY´ CLASS FUNCTIONS YAEL GILBOA Date: May 2, 2011. 1 2 YAEL GILBOA Contents 1. Introduction 3 2. Schur Class Functions 5 3. Generalized Schur Class Functions 13 4. Classical and Generalized Carath´eodory Class Functions 15 5. PolesandZerosofGeneralizedCarath´eodoryFunctions 18 6. Future Research and Acknowledgments 28 References 29 POLES AND ZEROS OF GENERALIZED CARATHEODORY´ CLASS FUNCTIONS 3 1. Introduction The goal of this thesis is to establish certain representations for generalized Carath´eodory functions in terms of related classical Carath´eodory functions. Let denote the Carath´eodory class of functions f that are analytic and that have a nonnegativeC real part in the open unit disk D = z : z < 1 .
    [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]
  • Control Systems
    ECE 380: Control Systems Course Notes: Winter 2014 Prof. Shreyas Sundaram Department of Electrical and Computer Engineering University of Waterloo ii c Shreyas Sundaram Acknowledgments Parts of these course notes are loosely based on lecture notes by Professors Daniel Liberzon, Sean Meyn, and Mark Spong (University of Illinois), on notes by Professors Daniel Davison and Daniel Miller (University of Waterloo), and on parts of the textbook Feedback Control of Dynamic Systems (5th edition) by Franklin, Powell and Emami-Naeini. I claim credit for all typos and mistakes in the notes. The LATEX template for The Not So Short Introduction to LATEX 2" by T. Oetiker et al. was used to typeset portions of these notes. Shreyas Sundaram University of Waterloo c Shreyas Sundaram iv c Shreyas Sundaram Contents 1 Introduction 1 1.1 Dynamical Systems . .1 1.2 What is Control Theory? . .2 1.3 Outline of the Course . .4 2 Review of Complex Numbers 5 3 Review of Laplace Transforms 9 3.1 The Laplace Transform . .9 3.2 The Inverse Laplace Transform . 13 3.2.1 Partial Fraction Expansion . 13 3.3 The Final Value Theorem . 15 4 Linear Time-Invariant Systems 17 4.1 Linearity, Time-Invariance and Causality . 17 4.2 Transfer Functions . 18 4.2.1 Obtaining the transfer function of a differential equation model . 20 4.3 Frequency Response . 21 5 Bode Plots 25 5.1 Rules for Drawing Bode Plots . 26 5.1.1 Bode Plot for Ko ....................... 27 5.1.2 Bode Plot for sq ....................... 28 s −1 s 5.1.3 Bode Plot for ( p + 1) and ( z + 1) .
    [Show full text]
  • Real Rational Filters, Zeros and Poles
    Real Rational Filters, Zeros and Poles Jack Xin (Lecture) and J. Ernie Esser (Lab) ∗ Abstract Classnotes on real rational filters, causality, stability, frequency response, impulse response, zero/pole analysis, minimum phase and all pass filters. 1 Real Rational Filter and Frequency Response A real rational filter takes the form of difference equations in the time domain: a(1)y(n) = b(1)x(n)+ b(2)x(n 1) + + b(nb + 1)x(n nb) − ··· − a(2)y(n 1) a(na + 1)y(n na), (1) − − −···− − where na and nb are nonnegative integers (number of delays), x is input signal, y is filtered output signal. In the z-domain, the z-transforms X and Y are related by: Y (z)= H(z) X(z), (2) where X and Y are z-transforms of x and y respectively, and H is called the transfer function: b(1) + b(2)z−1 + + b(nb + 1)z−nb H(z)= ··· . (3) a(1) + a(2)z−1 + + a(na + 1)z−na ··· The filter is called real rational because H is a rational function of z with real coefficients in numerator and denominator. The frequency response of the filter is H(ejθ), where j = √ 1, θ [0, π]. The θ [π, 2π] − ∈ ∈ portion does not contain more information due to complex conjugacy. In Matlab, the frequency response is obtained by: [h, θ] = freqz(b, a, N), where b = [b(1), b(2), , b(nb + 1)], a = [a(1), a(2), , a(na + 1)], N refers to number of ··· ··· sampled points for θ on the upper unit semi-circle; h is a complex vector with components H(ejθ) at sampled points of θ.
    [Show full text]
  • Residue Theorem
    Topic 8 Notes Jeremy Orloff 8 Residue Theorem 8.1 Poles and zeros f z z We remind you of the following terminology: Suppose . / is analytic at 0 and f z a z z n a z z n+1 ; . / = n. * 0/ + n+1. * 0/ + § a ≠ f n z n z with n 0. Then we say has a zero of order at 0. If = 1 we say 0 is a simple zero. f z Suppose has an isolated singularity at 0 and Laurent series b b b n n*1 1 f .z/ = + + § + + a + a .z * z / + § z z n z z n*1 z z 0 1 0 . * 0/ . * 0/ * 0 < z z < R b ≠ f n z which converges on 0 * 0 and with n 0. Then we say has a pole of order at 0. n z If = 1 we say 0 is a simple pole. There are several examples in the Topic 7 notes. Here is one more Example 8.1. z + 1 f .z/ = z3.z2 + 1/ has isolated singularities at z = 0; ,i and a zero at z = *1. We will show that z = 0 is a pole of order 3, z = ,i are poles of order 1 and z = *1 is a zero of order 1. The style of argument is the same in each case. At z = 0: 1 z + 1 f .z/ = ⋅ : z3 z2 + 1 Call the second factor g.z/. Since g.z/ is analytic at z = 0 and g.0/ = 1, it has a Taylor series z + 1 g.z/ = = 1 + a z + a z2 + § z2 + 1 1 2 Therefore 1 a a f .z/ = + 1 +2 + § : z3 z2 z This shows z = 0 is a pole of order 3.
    [Show full text]
  • Chapter 7: the Z-Transform
    Chapter 7: The z-Transform Chih-Wei Liu Outline Introduction The z-Transform Properties of the Region of Convergence Properties of the z-Transform Inversion of the z-Transform The Transfer Function Causality and Stability Determining Frequency Response from Poles & Zeros Computational Structures for DT-LTI Systems The Unilateral z-Transform 2 Introduction The z-transform provides a broader characterization of discrete-time LTI systems and their interaction with signals than is possible with DTFT Signal that is not absolutely summable z-transform DTFT Two varieties of z-transform: Unilateral or one-sided Bilateral or two-sided The unilateral z-transform is for solving difference equations with initial conditions. The bilateral z-transform offers insight into the nature of system characteristics such as stability, causality, and frequency response. 3 A General Complex Exponential zn Complex exponential z= rej with magnitude r and angle n zn rn cos(n) jrn sin(n) Re{z }: exponential damped cosine Im{zn}: exponential damped sine r: damping factor : sinusoidal frequency < 0 exponentially damped cosine exponentially damped sine zn is an eigenfunction of the LTI system 4 Eigenfunction Property of zn x[n] = zn y[n]= x[n] h[n] LTI system, h[n] y[n] h[n] x[n] h[k]x[n k] k k H z h k z Transfer function k h[k]znk k n H(z) is the eigenvalue of the eigenfunction z n k j (z) z h[k]z Polar form of H(z): H(z) = H(z)e k H(z)amplitude of H(z); (z) phase of H(z) zn H (z) Then yn H ze j z z n .
    [Show full text]
  • Meromorphic Functions with Prescribed Asymptotic Behaviour, Zeros and Poles and Applications in Complex Approximation
    Canad. J. Math. Vol. 51 (1), 1999 pp. 117–129 Meromorphic Functions with Prescribed Asymptotic Behaviour, Zeros and Poles and Applications in Complex Approximation A. Sauer Abstract. We construct meromorphic functions with asymptotic power series expansion in z−1 at ∞ on an Arakelyan set A having prescribed zeros and poles outside A. We use our results to prove approximation theorems where the approximating function fulfills interpolation restrictions outside the set of approximation. 1 Introduction The notion of asymptotic expansions or more precisely asymptotic power series is classical and one usually refers to Poincare´ [Po] for its definition (see also [Fo], [O], [Pi], and [R1, pp. 293–301]). A function f : A → C where A ⊂ C is unbounded,P possesses an asymptoticP expansion ∞ −n − N −n = (in A)at if there exists a (formal) power series anz such that f (z) n=0 anz O(|z|−(N+1))asz→∞in A. This imitates the properties of functions with convergent Taylor expansions. In fact, if f is holomorphic at ∞ its Taylor expansion and asymptotic expansion coincide. We will be mainly concerned with entire functions possessing an asymptotic expansion. Well known examples are the exponential function (in the left half plane) and Sterling’s formula for the behaviour of the Γ-function at ∞. In Sections 2 and 3 we introduce a suitable algebraical and topological structure on the set of all entire functions with an asymptotic expansion. Using this in the following sections, we will prove existence theorems in the spirit of the Weierstrass product theorem and Mittag-Leffler’s partial fraction theorem.
    [Show full text]
  • On Zero and Pole Surfaces of Functions of Two Complex Variables«
    ON ZERO AND POLE SURFACES OF FUNCTIONS OF TWO COMPLEX VARIABLES« BY STEFAN BERGMAN 1. Some problems arising in the study of value distribution of functions of two complex variables. One of the objectives of modern analysis consists in the generalization of methods of the theory of functions of one complex variable in such a way that the procedures in the revised form can be ap- plied in other fields, in particular, in the theory of functions of several com- plex variables, in the theory of partial differential equations, in differential geometry, etc. In this way one can hope to obtain in time a unified theory of various chapters of analysis. The method of the kernel function is one of the tools of this kind. In particular, this method permits us to develop some chap- ters of the theory of analytic and meromorphic functions f(zit • • • , zn) of the class J^2(^82n), various chapters in the theory of pseudo-conformal trans- formations (i.e., of transformations of the domains 332n by n analytic func- tions of n complex variables) etc. On the other hand, it is of considerable inter- est to generalize other chapters of the theory of functions of one variable, at first to the case of several complex variables. In particular, the study of value distribution of entire and meromorphic functions represents a topic of great interest. Generalizing the classical results about the zeros of a poly- nomial, Hadamard and Borel established a connection between the value dis- tribution of a function and its growth. A further step of basic importance has been made by Nevanlinna and Ahlfors, who showed not only that the results of Hadamard and Borel in a sharper form can be obtained by using potential-theoretical and topological methods, but found in this way im- portant new relations, and opened a new field in the modern theory of func- tions.
    [Show full text]
  • A Formal Proof of Cauchy's Residue Theorem
    A Formal Proof of Cauchy's Residue Theorem Wenda Li and Lawrence C. Paulson Computer Laboratory, University of Cambridge fwl302,[email protected] Abstract. We present a formalization of Cauchy's residue theorem and two of its corollaries: the argument principle and Rouch´e'stheorem. These results have applications to verify algorithms in computer alge- bra and demonstrate Isabelle/HOL's complex analysis library. 1 Introduction Cauchy's residue theorem | along with its immediate consequences, the ar- gument principle and Rouch´e'stheorem | are important results for reasoning about isolated singularities and zeros of holomorphic functions in complex anal- ysis. They are described in almost every textbook in complex analysis [3, 15, 16]. Our main motivation of this formalization is to certify the standard quantifier elimination procedure for real arithmetic: cylindrical algebraic decomposition [4]. Rouch´e'stheorem can be used to verify a key step of this procedure: Collins' projection operation [8]. Moreover, Cauchy's residue theorem can be used to evaluate improper integrals like Z 1 itz e −|tj 2 dz = πe −∞ z + 1 Our main contribution1 is two-fold: { Our machine-assisted formalization of Cauchy's residue theorem and two of its corollaries is new, as far as we know. { This paper also illustrates the second author's achievement of porting major analytic results, such as Cauchy's integral theorem and Cauchy's integral formula, from HOL Light [12]. The paper begins with some background on complex analysis (Sect. 2), fol- lowed by a proof of the residue theorem, then the argument principle and Rouch´e'stheorem (3{5).
    [Show full text]
  • Lecture Note for Math 220A Complex Analysis of One Variable
    Lecture Note for Math 220A Complex Analysis of One Variable Song-Ying Li University of California, Irvine Contents 1 Complex numbers and geometry 2 1.1 Complex number field . 2 1.2 Geometry of the complex numbers . 3 1.2.1 Euler's Formula . 3 1.3 Holomorphic linear factional maps . 6 1.3.1 Self-maps of unit circle and the unit disc. 6 1.3.2 Maps from line to circle and upper half plane to disc. 7 2 Smooth functions on domains in C 8 2.1 Notation and definitions . 8 2.2 Polynomial of degree n ...................... 9 2.3 Rules of differentiations . 11 3 Holomorphic, harmonic functions 14 3.1 Holomorphic functions and C-R equations . 14 3.2 Harmonic functions . 15 3.3 Translation formula for Laplacian . 17 4 Line integral and cohomology group 18 4.1 Line integrals . 18 4.2 Cohomology group . 19 4.3 Harmonic conjugate . 21 1 5 Complex line integrals 23 5.1 Definition and examples . 23 5.2 Green's theorem for complex line integral . 25 6 Complex differentiation 26 6.1 Definition of complex differentiation . 26 6.2 Properties of complex derivatives . 26 6.3 Complex anti-derivative . 27 7 Cauchy's theorem and Morera's theorem 31 7.1 Cauchy's theorems . 31 7.2 Morera's theorem . 33 8 Cauchy integral formula 34 8.1 Integral formula for C1 and holomorphic functions . 34 8.2 Examples of evaluating line integrals . 35 8.3 Cauchy integral for kth derivative f (k)(z) . 36 9 Application of the Cauchy integral formula 36 9.1 Mean value properties .
    [Show full text]
  • Z-Transform • Definition • Properties Linearity / Superposition Time Shift
    c J. Fessler, June 9, 2003, 16:31 (student version) 7.1 Ch. 7: Z-transform • Definition • Properties ◦ linearity / superposition ◦ time shift ◦ convolution: y[n]=h[n] ∗ x[n] ⇐⇒ Y (z)=H(z) X(z) • Inverse z-transform by coefficient matching • System function H(z) ◦ poles, zeros, pole-zero plots ◦ conjugate pairs ◦ relationship to H(^!) • Interconnection of systems ◦ Cascade / series connection ◦ Parallel connection ◦ Feedback connection • Filter design Reading • Text Ch. 7 • (Section 7.9 optional) c J. Fessler, June 9, 2003, 16:31 (student version) 7.2 z-Transforms Introduction So far we have discussed the time domain (n), and the frequency domain (!^). We now turn to the z domain (z). Why? • Other types of input signals: step functions, geometric series, finite-duration sinusoids. • Transient analysis. Right now we only have a time-domain approach. • Filter design: approaching a systematic method. • Analysis and design of IIR filters. Definition The (one-sided) z transform of a signal x[n] is defined by X∞ X(z)= x[k] z−k = x[0] + x[1] z−1 + x[2] z−2 + ··· ; k=0 where z can be any complex number. This is a function of z. We write X(z)=Z{x[n]} ; where Z{·}denotes the z-transform operation. We call x[n] and X(z) z-transform pairs, denoted x[n] ⇐⇒ X(z) : Left side: function of time (n) Right side: function of z Example. For the signal 3;n=0 [ ]=3 [ ]+7 [ − 6] = 7 =6 x n δ n δ n ;n 0; otherwise; the z-transform is X X(z)= (3δ[k]+7δ[k − 6])z−k =3+z−6: k This is a polynomial in z−1; specifically: X(z)=3+7(z−1)6: nP-Domain z-DomainP −k x[n]= k x[k] δ[n − k] ⇐⇒ X(z)= k x[k] z For causal signals, the z-transform is one-to-one, so using coefficient matching we can determine1 the signal x[n] from its z- transform.
    [Show full text]