PROBLEM SET FYS40 Problem. (Cauchy s theorem and integral formula) Cauchy s integral formula f(a) = πi z a dz πi f(a) a in z a dz = 0 otherwise we solve the following problems by comparing the integrals with eqn.(); provided a is within. a) rewriting the integral in the form of left hand side of eqn() sin z z π dz = / sin z z π/ dz here = / sin z, a = π/.57, : z = and a is well in. Thus / sin z dz = πi f(π/) = πi(/ sin(π/)) = iπ z π/ () b) same as (a) but now a = π/ is outside : z =. Therefore, sin z z π dz = 0 c) sin z 6z π dz = /6 sin z z π/6 dz here = /6 sin z, a = π/6 0.5, : z = and a is inside a circle z =, it is a circle of radius centered at origin on the complex plane. /6 sin z dz = πi f(π/6) = πi(/6 sin((π/6))) = iπ z π/6 6 d) e z z ln dz = πi f(ln ) = πi(e ln ) = iπe ln = i8π Since a = ln 0.69 is in square with vertices ±, ±i
Problem. (Generalized Cauchy integral formula) you can differentiat with respect to a or z. In both cases you will get same answer. Here I will differentiate eqn() with respect to z d dz f(a) = d πi dz z a dz 0 = πi z z a dz = z (z a) πi (z a) dz = z πi z a (z a) dz z πi z a dz = πi (z a) dz comparing the left side of the above equation with eqn(), where in eqn() is now d z = dz f (a) = dz () πi (z a) doing the same differentiation again on eqn () 0 = πi z = πi (z a) dz z ()(z a) (z a) (z a) 4 dz = πi z () (z a) (z a) dz again comparing the left part of the integrand with eqn(), we get f (a) = dz () πi (z a) If we perform the same operation on eqn(), we get f (a) = dz (4) πi (z a) 4 Thus, we can see that n identical operation give us f n 4 (n )n n! (a) = dz = πi (z a) n+ πi Using eqn (5) we can solve sin z (6z π) dz = /6 sin z (z π/6) dz where = /6 sin(z) and f (z) = 4/6 sin z = πi! (f (a)) = πi(4/6 sin((π/6))) = i π 6 dz (z a) n+ (5)
Problem. (Laurent Series) The question is to find Laurent series about the origin. Hence, we shall keep the /z part and Taylor expand the remaining expression about zero. = z z (z ) = z + z good way to find converged Taylor expansion of fraction of the form z is to compare it with the well know series z = z n ; disk of convergence z < rewriting z as / ( z/) and disk of convergence / ( z/) = and its series becomes ( z )n ( ) z < z < This implies in region z < we have converged series. But outside this region we need to rewrite in /z form and find another series for convergence reason. i.e. z = z and disk of convergence is /z = z ( z )n ( ) z < z > Therefore, we would use eqn(*) for problem (a) and eqn(**) for problem (b. a) in region z < the valid series using eqn(*) is z + ( z )n = z z n n+ b) in region z > the valid series using eqn(**) is z + ( z z )n = z + n z n+ c) residue of f at origin is the coefficient of /z term in the fist series (the series that converges near zero). Therefore, it is /4. We can not use series b) to find the residue about 0.
Problem.4 (singularities) We solve the following problems by finding the Laurent series about the indicated point and by examining its b series. If the coefficients of the b series is all zero then we call the given point regular(removable); otherwise, its biggest non-zero inverse power would be its pole order. If the biggest non-zero inverse power occurs at infinity, then it is essential singularity. a) sin z z = z = z (z) + (z)5 +, = z! 5! ( ) n (z)n+ (n + )! (z) (!) + (z)4 (5!) + we can see that all coefficients for the b series are zero. and z = 0 is regular point (removable singularity. b) or cos z z 4 = z 4 ( ) n (z)n (n)! = ( ) n (z)n 4 (n)! = z 4 (z) + (z)4, = (! 4! z 4 + (z) (z)0 + (z)! 4! 6! b series terms a series we can see that z = 0 is pole of order 4. (c) z (z ) = + z (z ) = + z + (z ) hence, z = is pole of order. d) e z z = eez z = e z (z ) n (z ) n = e n! n! hence, z = is a simple pole, which you can see the term at n = 0. Extra problems 4..0 using Cauchy s integral formula, cosh z ln z dz = C 4 C cosh z z ln dz
a) = 0 as z = ln = ln 4 is outside C. b) = πi f( ln ) = πi( cosh(ln 4)) = iπ(e ln 4 + e ln 4 ) = i8π 4.. using eqn(5) e z dz (z ln ) 4 = πi f (z = ln ) = πi! 6 (7e(ln ) ) = i7π c 4.4.8 The question is to find Laurent series about zero, for each annular ring between singular points. It means that, for this problem we shall find four Laurent series. First, using partial fraction decomposition, ( + z)(z )( + z) = 5 + z + z + + z here we have simple poles at z = ; z = ; and z =. Notice that z = 0 is a regular point. Therefore, we find power series for all terms about zero! Because there are three poles, we would have four annular rings in which the Laurent series is computed separately. The regions are thus ) z < ; ) < z < ; ) < z < ; and 4) z >. To this end, we find the power series of each of the terms in their regions of convergence. i.e. 5 5 + z = ( )n z n = 5 ( )n+ z n for z < z ( 5 +/z ) = 5 z ( )n ( z )n = 5 ( )n+ ( z )n+ for z > + z = z = z/ = ( z )n for z < ( z )n = ( z )n+ for z > z /z = z +z/ = ( )n ( z )n for z < ( )n ( z )n = ( )n ( z )n+ for z > z +/z = z Laurent series would be constructed by selecting converged series for each term in that region. i.e. ) z < ( + z)(z )( + z) = 5 ( ) n+ z n ( z )n + ( ) n ( z )n notice that the series for each term converges in z <. The residue is 0. we can not use the remaining series for finding the residue at 0. ) < z < ( + z)(z )( + z) = 5 ( ) n+ ( z )n+ ( z )n + ( ) n ( z )n 5
notice that only the first term in the RHS differs from the previous one. ) < z < ( + z)(z )( + z) = 5 ( ) n+ ( z )n+ + ( z )n+ + ( ) n ( z )n 4) z > ( + z)(z )( + z) = 5 ( ) n+ ( z )n+ + ( z )n+ + ( ) n ( z )n+ 4.4. a) ez z z b) sin z Ans. z = 0 is regular point. Ans. z = 0 is a pole of order. z Ans. z = is a simple pole. c) z (z ) cos z b) (z π/4) 4 Ans. z = π/ is a pole of order. 6