DOCSLIB.ORG

Complex Integration and Other Methods.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Complex Integration and Other Methods.Pdf Complex Integration and Methods Prerequisites: The complex functions handout Concepts of primary interest: ∫ f() z dz = 0 for f(z) analytic in the interior Laplace property Poles of an analytic function Laurent series Residue theorem: fzdz()= 2π i Res(() fz ∫ ∑ m 1f () z dz Cauchy’s integral formula fa()= for f(z) analytic 2π i∫C za− Sample calculations: SC0: Generating a Laurent series SC3: Finding a residue SC5: Contour morphing to compute a sum SC6: Laplace property SC7: Standard contour integration SC9: Cauchy integral formula SC10: Integrals of trigonometric functions SC11: Integral representation of a special function SC12: Step function as a contour integral Applications Tools of the Trade Evaluating residues Integrals of real functions along the entire real axis: Closing contours with semicircular arcs in the upper and lower halfplane - Jordan's Lemma Integrals of real function over the positive real axis symmetry and pie wedges. Principal Value integrals Winding number Modified residue theorem *** Section not proofed. A basic knowledge of complex methods is crucial for graduate physics. This handout only illustrates a few of the standard methods, and the developments are not rigorous. For additional study, download the online text: Mathematical Tools for Physics by James Nearing from www.physics.miami.edu/nearing/mathmethods/. If you interest swells to the twenty dollar level, purchase the McGraw-Hill Schaum’s outline Complex Variables by Murray R. Spiegel. Next, purchase or check out a math-physics text such as Mathematics for Physicists by Susan Lea. If you find need to be a power applied user, move on to Functions of a Complex Variable by Carrier, Contact: [email protected] 5/30/2012 Krook and Pearson (McGraw-Hill 1966) after studying two of the previous suggestions. A less dated resource is Visual Complex Analysis by Tristan Needham. The Derivative of a Function of a Complex Variable: fz()21− fz () The Limit must be defined independent of the manner in which z1 and z2 approach zz, → z 12 o()zz21− zo. If z is represented as x + i y where x, y ∈ the condition requires that fx(0+∆ xy , 0 ) − fx (, 00 y ) fx (,00 y+∆ y ) − fx (,00 y ) Limit = Limit . The conclusion is that ∆→xy00 ∆∆x ∆→ iy (except for constant functions) differentiable functions of a complex variable must by complex valued. ∂∂ff Required: = −i [CI.1] ∂∂xy Analytic Functions of a complex variable: A function of a complex variable that is differentiable in a region is said to be analytic in that region. The function can be expanded about each point in the region as a Taylor’s series that has a non-zero radius of convergence. The Closed-Path Integral Property: The iy −∆x integral of complex function f(z) around any closed path bounding a closed region in which f(z) is analytic at every point is zero. This (,xy ) ∆ property of analytic functions is suggested by -i∆y i y examining the path integral of f(z) around a ∫ f() z dz small path. The argument and result are reminiscent of Stokes theorem. ∆x x fzdzfxy( )≈ ( , − ½ ∆ y ) ∆+ x fx ( + ½ ∆ xyiy , )( ∆ ) ∫ +fxy( , + ½ ∆ y )( −∆ x ) + fx ( − ½ ∆ xy , )( − iy ∆ ) 5/30/2012 Physics Handout Series.Tank: Complex Integration CI-2 ∂∂ff ∫ f() z dz≈ i +(i ∆∆ y x ) = 0 [CI.2] ∂∂yx(,)xy Cauchy’s integral Theorem: Property [CI.1] of differentiable functions was used to show that the integral vanishes. This result suggests that: ∫ f() z dz = 0 [CI.3] anypath bounding region of analyticity That is: the enclosed region in which the function is analytic is simply connected. The integral of complex function f(z) around any closed path bounding a closed region in which f(z) is analytic at every point is zero. The enclosed region must be simply connected; f(z) must be analytic everywhere in the entire enclosed region with no excluded points or patches. Exercise: List the new words that have been coined in this handout. Attempt to define them. The Laplace Property: It f(z) is represented as sum u(x,y) + i v(x,y) where u(x,y) and v(x,y) are real- valued functions, then the condition [CI.1] becomes the Cauchy-Riemann equations: ∂∂uv ∂ u ∂ v = and = − [CI.4] ∂∂xy ∂ y ∂ x Computing the second derivatives: ∂∂22uv ∂ 2 u ∂ 2 v ∂∂22uu = and = − ⇒ +=0 ∂x22 ∂∂ xy ∂ y ∂∂ yx ∂∂xy22 It follows that u(x,y) is a solution of the Laplace equation in two dimensions (as is v(x,y)). Considered as functions of the real variables x and y, the real and imaginary parts of an analytic function of a complex variable satisfy the Laplace equation in two dimensions. Exercise: Show the v(x,y) satisfies the 2D Laplace equation in the case that v(x,y) is the imaginary part of an analytic function of a complex variable. 5/30/2012 Physics Handout Series.Tank: Complex Integration CI-3 The closed-path integral and Laplace properties of analytic functions are enormously important. The integral property provides a technique to evaluate integrals that resist conventional techniques, and the Laplace property provides a tool for solving boundary value problems in two dimensions. Entire functions: A function that is analytic (has a representation as a convergent Taylor’s series) at every finite point in the complex plane is called an entire function. A function that is differentiable at every point will be analytic. A few examples of entire functions are 1, z2, ez and sin(z). Functions with poles and branch cuts -1 ½ Examples of functions that fail to be entire are (1 – z) , tan(π z), ln(z) and z . The function (1 - z)-1 cannot be expanded about or differentiated at z = 1. The function has a pole at the isolated point z = 1. The function tan(π z) has isolated poles for z equal to any integer. The story for ln(z) is a little more complicated. -1 Im(z) ln(z) = ln(|z|) + i tan ( /Re(z)) + i n 2 π The natural logarithm is not single-valued. Each z is mapped to an infinite set of values. As z tracks around a circular path centered on the origin, the imaginary part of ln(z) increases be smoothly and continuously by 2π. But, then you are back at the original z with a value of ln(z) that differs from the original by 2πi. A line must be drawn from the origin out to infinity. The function can be made continuous and differentiable everywhere in the complex plane except for points on that line. Such lines are called branch cuts and the endpoint of a branch cut is a branch point. Each such almost complete plane of values is a sheet of the function. The natural logarithm has an infinite number of sheets. The screw thread image above represents the imaginary part of the logarithm running to higher and higher values as the point z travels around a circle about the origin in the complex plane again and again. For z = |z| eiφ, ln[z] = ln[|z|] + iφ + i n2π. The value of φ is undefined at |z| = 0, and |z| = 0 is a branch point. The branch cut can run from the branch point to infinity along any non- intersecting path. The standard choices are the rays φ = 0 and φ = π. The constant φ-rays (relative to the branch point) are the useful cut choices for the natural logarithm. 5/30/2012 Physics Handout Series.Tank: Complex Integration CI-4 Natural Logarithm ln[|z|] ln[|z|] ln[|z|] + i π ln[|z|] + i π xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx ln[|z|] + i π ln[|z|] + i2π ln[|z|] - i π ln[|z|] Branch cut along the positive real axis. The Branch cut along the negative real axis. The labeled values are points just above and labeled values are points just above and below the real axis. The values progress below the real axis. The values progress continuously across the negative real axis continuously across the positive real axis but but jump by 2πi crossing the positive axis. jump by 2πi crossing the negative axis. The function z ½ has a branch cut. Consider the circle of points |z| = 1 and move around it in the CCW sense for z = ei φ, z ½ = ei φ/2. Start at z = -1; the square root increases smoothly from i and on to -1 are z moves around the circle t z = 1. Continuing, the square root approaches –i as the point z = -1 is approached. As the point z = -1 is approached, z ½ is about -i rather than i. The function is not continuous and therefore is not differentiable. The cut can run along any line from the origin to infinity, and a popular choice is a ray out along the negative imaginary axis. The new behavior is that after two trips around the circle, the value of z ½ does smoothly approach its initial value. Surface for Square Root: A strained rendition of the geometry of a function of two sheets with a branch cut. Note that, as the functions are complex valued, a faithful representation is not possible. The figure is to suggest that the values after one circuit fail to match, and that, after a second circuit, the values do match. 5/30/2012 Physics Handout Series.Tank: Complex Integration CI-5 Square Root ½ ½ ½ ½ i |z| |z| i |z| |z| xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx ½ ½ ½ i |z| - |z| – i |z|½ |z| Branch cut along the positive real axis. The Branch cut along the negative real axis. The labeled values are points just above and labeled values are points just above and below the real axis.
Load more

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]
  • 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]
  • An Application of the Dirichlet Integrals to the Summation of Series
    Some applications of the Dirichlet integrals to the summation of series and the evaluation of integrals involving the Riemann zeta function Donal F. Connon [email protected] 1 December 2012 Abstract Using the Dirichlet integrals, which are employed in the theory of Fourier series, this paper develops a useful method for the summation of series and the evaluation of integrals. CONTENTS Page 1. Introduction 1 2. Application of Dirichlet’s integrals 5 3. Some applications of the Poisson summation formula: 3.1 Digamma function 11 3.2 Log gamma function 13 3.3 Logarithm function 14 3.4 An integral due to Ramanujan 16 3.5 Stieltjes constants 36 3.6 Connections with other summation formulae 40 3.7 Hurwitz zeta function 48 4. Some integrals involving cot x 62 5. Open access to our own work 68 1. Introduction In two earlier papers [19] and [20] we considered the following identity (which is easily verified by multiplying the numerator and the denominator by the complex conjugate (1− e−ix ) ) 1 1 isin x 1 i (1.1) = − = + cot(x / 2) 1− eix 2 2 1− cos x 2 2 Using the basic geometric series identity 1 N y N +1 =∑ yn + 1− y n=0 1− y we obtain N 1 inx (1.1a) ix =∑e + RN () x 1− e n=0 1 iN()+ x iN(1)+ x 2 ei1 iN(1)+ x e where RxN () == e[]1 + i cot( x / 2) = 12− exix 2sin(/2) Separating the real and imaginary parts of (1.1a) produces the following two identities (the first of which is called Lagrange’s trigonometric identity and contains the Dirichlet kernel DxN () which is employed in the theory of Fourier series [55, p.49]) 1 N sin(N+ 1/ 2) x (1.2) = ∑cosnx − 2 n=0 2sin(x / 2) 1 N cos(N+ 1/ 2) x (1.3) cot(x / 2)=∑ sin nx + 2 n=0 2sin(x / 2) (and these equations may obviously be generalised by substituting αx in place of x .
    [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]
  • Arxiv:2007.02955V4 [Quant-Ph] 7 Jan 2021
    Harvesting correlations in Schwarzschild and collapsing shell spacetimes Erickson Tjoa,a,b,1 Robert B. Manna,c aDepartment of Physics and Astronomy, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada bInstitute for Quantum Computing, University of Waterloo, Waterloo, Ontario, N2L 3G1, Canada cPerimeter Institute for Theoretical Physics, Waterloo, Ontario, N2L 2Y5, Canada E-mail: [email protected], [email protected] Abstract: We study the harvesting of correlations by two Unruh-DeWitt static detectors from the vacuum state of a massless scalar field in a background Vaidya spacetime con- sisting of a collapsing null shell that forms a Schwarzschild black hole (hereafter Vaidya spacetime for brevity), and we compare the results with those associated with the three pre- ferred vacua (Boulware, Unruh, Hartle-Hawking-Israel vacua) of the eternal Schwarzschild black hole spacetime. To do this we make use of the explicit Wightman functions for a massless scalar field available in (1+1)-dimensional models of the collapsing spacetime and Schwarzschild spacetimes, and the detectors couple to the proper time derivative of the field. First we find that, with respect to the harvesting protocol, the Unruh vacuum agrees very well with the Vaidya vacuum near the horizon even for finite-time interactions. Sec- ond, all four vacua have different capacities for creating correlations between the detectors, with the Vaidya vacuum interpolating between the Unruh vacuum near the horizon and the Boulware vacuum far from the horizon. Third, we show that the black hole horizon inhibits any correlations, not just entanglement. Finally, we show that the efficiency of the harvesting protocol depend strongly on the signalling ability of the detectors, which is highly non-trivial in presence of curvature.
    [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]
  • Lecture 2 Complex Analysis
    Complex Analysis Lecture 2 Complex Analysis A Complex Numbers and Complex Variables In this chapter we give a short discussion of complex numbers and the theory of a function of a complex variable. Before we get to complex numbers, let us first say a few words about real numbers. All real numbers have meanings in the real world. Ever since the beginning of civilization, people have found great use of real positive integers such as 2 and 30, which came up in, as an example, the sentence “my neighbor has two pigs, and I have thirty chickens”. The concept of negative real integers, say ?5, is a bit more difficult, but found its use when a person owed another person five ounces of silver. It was also natural to extend the concept of integers to numbers which are not integers. For example, when six persons share equally a melon, the number describing the fraction of melon each of them has is not an integer but the rational number 1/6. The need for other real numbers was found as mathematicians pondered the length of the circumference of a perfectly circular hole with unit radius. This length is a real number which can be expressed neither as an integer nor as a ratio of two integers. This real number is denoted as Z, and is called an irrational number. Another example of irrational number is e. Each of the real numbers, be it integral, rational or irrational, can be geometrically represented by a point on an infinite line, and vice versa.
    [Show full text]
  • Dynamics of Contour Integration
    Vision Research 41 (2001) 1023–1037 www.elsevier.com/locate/visres Dynamics of contour integration Robert F. Hess *, William H.A. Beaudot, Kathy T. Mullen Department of Ophthalmology, McGill Vision Research, McGill Uni6ersity, 687 Pine A6enue West (H4-14), Montre´al, Que´bec, Canada H3A 1A1 Received 3 May 2000; received in revised form 6 October 2000 Abstract To determine the dynamics of contour integration the temporal properties of the individual contour elements were varied as well as those of the contour they form. A temporal version of a contour integration paradigm (Field, D. J., Hayes, A., & Hess, R. F. (1993) Vision Research, 33, 173–193) was used to assess these two temporal dynamics as a function of the contrast of individual elements and the curvature of the contour. The results show that the dynamics of contour integration are good when the contrast of the individual elements is modulated in time (10–30 Hz), but are poor when contour linking per se is temporally modulated (1–12 Hz). The dynamics of contour linking is not dependent on the absolute contrast of the linking elements, so long as they are visible, but does vary with the curvature of the contour. For straight contours, temporal resolution is around 6–12 Hz but falls to around 1–2 Hz for curved contours. © 2001 Elsevier Science Ltd. All rights reserved. Keywords: Contour integration; Temporal sensitivity; Dynamics; Curvature; Contrast 1. Introduction columns are interconnected across disparate regions of cortex through long-range connections. There is now There is a growing awareness of the importance of neurophysiological evidence that these network interac- network interactions within the visual cortex as op- tions are context-dependent (e.g.
    [Show full text]
  • Lightning Overview of Contour Integration Wednesday, ÕÉ October Óþõõ Physics ÕÕÕ
    Lightning Overview of Contour Integration Wednesday, ÕÉ October óþÕÕ Physics ÕÕÕ e prettiest math I know, and extremely useful. Õ. Overview is handout summarizes key results in the theory of functions of a complex variable, leading to the inverse Laplace transform. I make no pretense at rigor, but I’ll do my best to ensure that I don’t say anything false. e main points are: Õ. e Cauchy-Riemann conditions, which must be satised by a dierentiable function f z of a complex variable z. ó. f z dz þ if f z is continuous and dierentiable everywhere inside the closed path.( ) ì. If∮ f (z) blows= up inside( ) a closed contour in the complex plane, then the value of f z dz is óπi times the sum of the residues of all the poles inside the contour. ( ) ∞ ikx ¦. e Fourier representation of the delta function is −∞ e dk óπδ x . ¢. ∮ e( inverse) Laplace transform equation. ∫ = ( ) ó. Cauchy-Riemann For the derivative of a function of a complex variable to exist, the value of the derivative must be independent of the manner in which it is taken. If z x iy is a complex variable, which we may wish to represent on the x y plane, and f z u x, y iυ x, y , then the d f = + value of should be the same at a point z whether we approach the point along a line parallel dz ( ) = ( ) + ( ) to the x axis or a line parallel to the y axis. erefore, d f ∂u ∂υ i (along x) dz ∂x ∂y d f = ∂u+ ∂υ ∂υ ∂u i i (along y) dz ∂ iy ∂ iy ∂y ∂y = + = − Comparing real and imaginary parts,( we) obtain( the) Cauchy-Riemann equations: ∂u ∂υ ∂υ ∂u and (Õ) ∂x ∂y ∂x ∂y = = − ì.
    [Show full text]
  • Math 259: Introduction to Analytic Number Theory the Contour Integral Formula for Ψ(X)
    Math 259: Introduction to Analytic Number Theory The contour integral formula for (x) We now have several examples of Dirichlet series, that is, series of the form1 1 F (s) = a n s (1) X n − n=1 from which we want to extract information about the growth of n<x an as x . The key to this is a contour integral. We regard F (s) asP a function of!1 a complex variable s = σ + it. For real y > 0 we have seen already that s σ 2 y− = y− . Thus if the sum (1) converges absolutely for some real σ0, then itj convergesj uniformly and absolutely to an analytic function on the half-plane Re(s) σ0; and if the sum converges absolutely for all real s > σ0, then it ≥ converges absolutely to an analytic function on the half-plane Re(s) > σ0. Now for y > 0 and c > 0 we have 1; if y > 1; 1 c+i ds 8 1 ys = 1 (2) Z <> 2 ; if y = 1; 2πi c i s − 1 0; if y < 1; :> in the following sense: the contour of integration is the vertical line Re(s) = c, and since the integral is then not absolutely convergent it is regarded as a principal value: c+i c+iT 1 Z f(s) ds := lim Z f(s) ds: c i T c iT − 1 !1 − Thus interpreted, (2) is an easy exercise in contour integration for y = 1, and an elementary manipulation of log s for y = 1. So we expect that if (1)6 converges absolutely in Re(s) > σ0 then c+i 1 1 s ds an = Z x F (s) (3) X 2πi c i s n<x − 1 for any c > σ0, using the principal value of the integral and adding ax=2 to the sum if x happens to be an integer.
    [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]
  • 9.1 Contour Integral
    THE CHINESE UNIVERSITY OF HONG KONG DEPARTMENT OF MATHEMATICS MATH2230A (First term, 2015{2016) Complex Variables and Applications Notes 9 Contour Integration 9.1 Contour Integral Previously, we have learned how to find the harmonic conjugate of a given harmonic function u(x; y). In other words, we would like to find v(x; y) such that u+iv defines an analytic function. The process is to use the Cauchy-Riemann Equations successively. For example, we start with vy = ux = this is known as u is given; and obtain Z v = ux dy + '(x) : 0 Then, we use vx = −uy to get information about ' (x). Next, integrating wrt x will get the result. Observing from both analytically and geometrically, we see that the process corresponds to an integration along the vertical and then horizontal line in the picture below. Sometimes, in order to avoid holes in the domain Ω where u is defined, we may need to take more vertical and horizontal lines (dotted in picture). Nevertheless, one may expect the general theory should be related to integration along a curve. 9.1.1 Contours and Integrals Let us start with the building block of a contour. A smooth path γ in Ω ⊂ C is a continuous function γ :[a; b] ! Ω from an interval with γ(t) = x(t) + iy(t) such that x0(t) and y0(t) exist and are continuous for all t 2 (a; b). The function γ is called a parametrization of the path. It determines a \direction" for the path. We denote γ0(t) = x0(t) + iy0(t).
    [Show full text]