Scribd
Upload
47 views

Complex Function

Complex function

Uploaded by

Priyadarshan Hazarika
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
47 views

Complex Function

Complex function

Uploaded by

Priyadarshan Hazarika
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF or read online on Scribd
You are on page 1/ 54
+i=- iret By ©) or f(2)=0. or fle) = constant. Solution. U/(z)= [ay] = u (xy) + iv (x,y), then u(x, y) = Nlayi,e Gy) =0 At the origin, we have x30 = ro au _ 4 MO. u0,0) _ fp, 0-0 wy 0 ¥ oy jy HEM—O.O)_ 1, 0-0 40 = x0 v0, 7) — v0, 0} = it 0-0 ey au % oo ang MH ay i.e, CR, equations are satisfied at the origin. However Proy= 14 LO=LO _ py vivl—0 Mant eae _ tmx? sto s+ when 2 > 0 along the line y = mz a -ya-a Solution, 4, ftey= Le PO +D= VOD yy -FO-O_ ae saa oe OB ay Ho Fate 8 3 $id Lt f@)= Ly S01) ya = Lt xa +i =0 eae 738 x+y Ee Also f (0) = 0 (given). ‘Thus Lt, flz)=/(0) when x > 0 first and theny +0 and also vice-versa. Now let both x and y tend to zero simultancously along the path y = mx. ‘Then Sieh saa Le fe= ut #as9-ya=9 yo x+y = 1p PO+d— mPa) _ , Ml+i-m'a-d) 9 £30 (14 mx? x0 L+m' Hence Lt, /(2) =O), in whatever manner 2 — 0. -. /(2)is continuous at the origin, a a Now nae 2 $157, = ule, y) + tole, y)- wey x? “ Also uO, 0) = 0, and v(0, 0) = ly f()=01 @), tk west), ea © a Hence at (0,0). 5p = 3y and So=- 52 ‘Thus the C-R equations are satisfied at the origin. Lp L2=fO =f). ue TQ x -y iG? +99 ) But "= f ao eho 2 250 (x + yx tiy) 1—m! +i +m) (+ m?\L+im) which assumes different values as m varies. So f(z) is not unique at (0, 0) i.e., (0) does not exist. Thus f (2) is not analytic at the origin even though it is continuous and satisfies the C-R equations thereat. Ifz 0 along the path y = mx, then f (0) = Solution, If(r, 8) be the coordinates of a point whose cartesian coordinates are (x, y), then 2 =x + iy = re”, utiv=f@)=f(re bib a ene wi eepteea Sn tatmld Gr an. Differentiating it partially w.r.t. rand @, we have Ou ys a = and SiS = pre). ire air Equating real and imaginary parts, we get er) Differentiating (é) partially w.r.t. r, we get @u__ 1 w,1 dy ore 72 Or Oar Differentiating (ii) partially w-r.t v 8, we have Fu __, 26 ‘Thus using (i), (i) and Gu) Fula, 1 %u__ Law ar? 7 age 08 (1) HARMONIC FUNCTIONS If f()=u + iv be an analytic function in some region of the 2-plane, then the Cauehy-Riemann equations are satisfied. ; au _ a au __ av ie. =e and Bw BE (2) Differentiating (1) with respect to x and (2) with respect toy, we obtain Pu _ dv we any AB) and 4) Adding (3) and (4) and assuming that &-% Fe we got ty at ot BE 9, 5) ay? Similarly, by differentiating (1) with respect to y and (2) with respect to x and subtracting, we obtain (6) ‘Thus both the functions w and v satisfy the Laplace's equation in two variables, For this reason, they are known as harmonic functions and their theory is called potential theory. (Rohtak, 2005) (2) Orthogonal system. Consider the two families of curves ulx, y) =e, (7) and lay) = 8) Differentiating (7), we get m 2 dy 29 dy __ dulae _dvlay _ or Pm Buh = OTD =m, (ony) {By (1) and (2)1 dy ax Similarly (8) gives =m, (say) dx duldy myn, =~ 1, Le, (7) and (8) form an orthogonal system, Hence every ancilytic function fiz) = u + iv defines two families of curves ulx, 9) =e, and U(e,y) = eq which form an orthogonal system. (U.P.T.U., 2009) APPLICATIONS TO FLOW PROBLEMS As the real and imaginary parts of an analytic funetion are the solutions of the. Laplace's equation in two variables, the conjugate functions provide solutions to a number of field and flow proble: As an illustration, consider the irrotational motion of an incompressible fluid in two dimensions. Assuming the flow to be in planes parallel to the xy-plane, the velocity V of a fluid partiele can be expressed as Vaults oD) Since the motion is irrotational, therefore, by § 6.18 (1), there exist a scalar function (x, y) such that V= Vol, 9 2) [The function (x, y) is called the velocity potential and the curves (x, y) = ¢ are known as equipotential lines.] s ya = ‘Thus from (1) and (2), 0, and v, = 5 3) dv, , ey Also the fluid being incompressible div V = 0 [by §8.7 (lie, Gi +57 = 0. Substituting the values of v, and v, from (3), we get which shows that the velocity potential ¢ is harmonic. It follows that there must exist a conjugate harmonic function w(x, y) such that w(z) = 9(x, y) + iytx, y) (a) is analytic. Also the slope at any point of the curve y(x, y' [By C-R equations} =vjv, [By (3)1 This shows that the velocity of the fluid particle is along the tangent to the curve (x, ») =’, ie. the particle moves along this curve. Such curves are known as stream lines and w(x, )is called the stream function. Also the equipotential lines 4(x, y) = ¢ and the stream lines yx. y) = ¢’ cut orthogonally. From (4), 2 20, EO; a [By C-R equations =0,-iv, By (3)1 * The magnitude of the fluid velocity = (v2 + v2) = | dwhdz | ‘Thus the flow pattern is fully represented by the function w(2) which is known as the complex potential. Similarly the complex potential 2o(z) can be taken to represent any other type of 2-dimensional steady flow. In electrostatics and gravitational fields, the curves o(x, y) = ¢ and yx, y) = ¢” are equipotential lines and lines of force. In heat flow problems, the curves (x, y) = ¢ and yr, y) =c! are known as isothermals and heat flow lines respectively. Given (x, y), we can find yix, y) and vice-versa. Solution. It is readily verified that y satisfies the Laplace's equation. +. and y must satisfy the Cauchy-Riemann equations : onli) o by, Integrating w.r.t. x, we get > + 1(y) where n(y) is an arbitrary function of y. x toy © Wi) gives—ae+ 2 ye ngves (x! G+yP whence 1(y) = 0, £¢., n(y) = ¢, an arbitrary constant. ‘Thus o=-By+ S40 ey Otherwise (Milne-Thomson’s method*) : dw 20, ay dy, dv _|_ ailoreat = We have ee ee te Qy- tea By Milne-Thomson’s method, we express dw/dz in terms of 2, on replacing x by z and y by 0. 4 dw_; 1 e 4 -i(22-4) Integrating w.r.t. 2, we get w = i (2 + V/z) +A where A is a complex constant. “Since 2 =x iy and Z = x—ty, we have x=hG+n, » 2 FO) = (xy) + ives.) AD Now considering this as a formal identity in the two independent variables =, = and putting = Fle) = (2, 0) + ayle, 0) 2) 2 (2)is the same as (1), if we replace x by andy by 0. ‘Thus to express any function in terms of x, replace x by x and y by 0. This provides an elegant method of finding f (2) when its real part or the traaginary part is given. It is due to Milne-Thomson. Solution. Let f(z) = u + iv, where w f'e= Me Z & Bide [By C-R equations] _ (cosh 2y — cos 2x) 2 cos 2x ~ sin 2x(- 2sinh 2y) (cosh 2y — cos 2x)” (cosh 2y — cos 2x)” = 2608 2x eosh Zy—2 ; 2sin Bx sinh 2y (eosh 2y— cos 2x (cosh 2y — cos 2x)? By Milne-Thomson’s method, we express f(z) in terms of z by putting x =z and y = 0. 1Gyq 2822-2 Vy -2 = POs Teen dat *\* Teese” Tain? s Integrating w.r.t. z, we get /(2) = cot 2 + ic, taking the constant of integration as imaginary since u does not contain any constant. cosee? 2 cos x +sinx~e* 2(cos x — cosh y) Qu _ av _ (sin x ~ cos x) cosh y +1 — 2(cos x — cosh y)” Solution. We have u—v = i) wd au (cos x ~ cosh y) &” + (cos x +sin xe”) sinh y ay oy ‘2(cos x — cosh y)* é _ dv _ du _ (sin x + 08 x) sinh y + €°? (cos x ~ cosh y sinh y) ax ax Q(eos x — cosh »)* Subtracting (ii) from (i), we get (sin x — 08 x) cosh y — (sin x + cos.x) sinh y +1 ou _ =e (sin x + cos x ~ cosh y —sinh y) ox ‘2(eos x — cosh y)* Adding (O and (i#), we have (sin x — cos x) cosh y +(sin x + e08 x) sinh y +1 4+ (sin x + cos x — cosh y~sinh ») (cos x — cosh y) ; av __1-cosz Thus (Puttingx=z and y=0l 1 z ~ poo gre Since f (w/2) = 0, Hence u=—P sin 20 +r sin 8 + 0) where $(0) is an arbitrary function. =— 27% eos 20 +r cos 0 + 90) From (ii) and (iii), we get ~ 22 c05 28 +r cos = Sk = 274 c0s 20+ r cos 8+ 90) a ¥O)=0 or 8) =e Thus u =~? sin 26+,7 sin 6 +c is the conjugate harmonic of v. 2, Now v will be harmonic if it satisfies the Laplace equation = thee ae ‘iy, From (i), 28 =~ ar? cos 20+ ros 0, From (ii), 2% = 2.08 26 ar ie “ = 20s 20+} (2r cos 20~cos 0)-+ 5 (~4r* cos 20 + r eos 0) r = 4008 20~ } cos 0-4 c0s 204 1 cos 0=0 Solution. (a) Take u(x, y) =x4 + y*—6x2y?. Then the family of curves v(x, y) = constant will be the required trajectories if f(z) = u + iv is analytic. au au _ Now Se Tae ARayt, = ay — 1aety av _ au re 128F Integrating, v= dxty — dey? + ele) Differentiating partially w.r-t. x fig dels) _ do. dw tasty — ay 4 SE ee ay? + 12x%y 46) 20 or c= constant ‘Thus the required orthogonal trajectories are v = constant or x°y — xy* = constant. (®) Writing u(r, 6) = cos n8 =a and v(r,6) we have u(r, 6) + io(r, 8) = 0+ iB =r" (cos n0 +i sin n®) = r*. 6 ca ‘Hicnier Exonesnie Mareearies | This is an analytic function. Thus f(z) = u + iv, gives the curves u = a and v = B which cut orthogonally. Example 20.11. Two concentric circular eylinders of radit ry ry (r, 0 along the curve y= ax’. (CXcuLs OF CoueLex Funcrons Show that (a) (2) = ay + 4 is.everywhere cottintious but is not analytic. (0) f(2)= 2+ 25 is not analytic anywhere in the complex plane do a ; H(i = + bbe analytte, thed stow Oat | F1C) | s 2 (Mursboi, 2007) ae Oy i 3 4. Find the constants a, 8, c,d and eiff(2) = (ax* + bx? + ey* + dx? — 292) « ity — eg + day) is analytio. * (Humbe, 2008) 5, Show that <4 is analytic, Hence find its derivative. (VEU, 20108) 6, Determine whiek of the following funetions are analytic : : Hey ie) (ie sips?) lity conte. 4. (a) Determine p such that the function ft) = 5 log (2? +y9-+ tan (m/s) be ah arinlytic Runction, (Btunibai, 2007 + J.N.T. () Show that x = 4 Jog (x? + 52) is harmonic and find its harmonic conjugate function; 8, Show that each of the following functions is not analytic at aniy point : (2 © (INT, 2003) tii) | 2 [2 8, Show thet u + io = (c-iy\Mx= fy +a) where a #0, is not an anelytic function of z =x + fy whereas w —iv is such a fanetion, 40. Show that 7c) = i lea ia zed is not analytic at » = 0, although C-R equations are satisfied at the origin, | NTU, 2003)) 11. Verify iff 2) = BED 20.F0)= Patiady take Got) (WPT, 2008) 12, Examine the nature'of the function (2) = gees 20:f0)=0. (Rohtak, 2004) 18, Porth function (te) detinedlby /() =/' Ie) 0:10) =0, show that the C-R equations ate satiaied ai (0,0) but f(2ris nat differentiable at (0,0). (PTW, 2010) 14, Determine the analytic function whose real part is (i) 33 ~ Bey? 392 ~ 332 Bhopal, 2009) (if) eos x cosh Cohtak, 2008) ity yh? +) Gv) y +e cosy (SV-7U, 2008 ; V.TU., 2006) (we* te siny~y-cosy) WEED. 2008) (vi) & (x eas 2y ~y sin 2y) (VT, 2008 § : Mumbai, 2005'; Kottayarn, 2005) (vit) x sin-x cosh y =y cos x sinh y WU, 2006) (iti) ee? ~y?) e089 ~ Bay sin yh, (WT.U,, 2010'S ; Rohtak, 2006) 115. Find the regular funetion whose imaginary part is Ge— yl + 9®) (i) =sin xsiny (lide siny + (ein y ~y cos, v) eG e0s y + y sin (of) ART cna bba 7 (i) €* (esin yy cosy) WesGemsy+ysiny) PTL, 2000) (i) EOZERS (Mumba, 2008) 16. Pind the analytic funetion 2 =u + iv. if i (ub =e -y) (2 + tay ey) (Mumbai, 2008 ; VLU, 2007 ; W.B.P.U,, 2008) r cose tains @7 0. of ae yw 0 = SEERA SE eta 75 (Mumbo 2007) (iuyus ape P.7.U,, 2002) ee Teoe Bx” 17. An electrostatic field in the 29-plano is given by the potential function 9 = xy —y%, find the stream function, 418, If the potential function is log ( 0. Hence the interior of the circle x? +y?= 1 in the z-plane is mapped onto the entire half of the w-plane to the right of the imaginary axis. ‘ (6) To find the invariant points of the transformation, we put w =z in (i). lsiz l-iz or iz?+(i-1)z41=0 i 2 i 1-i Vii-1)* - 441 —dn+it Vien) which are the required invariant points. Example 20.14, Show that w = =< maps the roul axis ofz:plane into the circle | w |= Land the half plane y > 0 into the interior of the unit ciréle | w | $1 in the w-plane. (Mumbai, 2007) Solution. Since w= -2Mi +2), Lbecomes —zMi+2)|=1 or |i-z|=|itz| Jitetiy| or [-x+id-y)]=|x+i0+y) | VG? + (1+ 9?) or (1-9? = (1 +? or y=Owhich is the real axis Hence the real axis ofthe z-plane is mapped to the cirele | 1 | Now for the interior of the cirele | w | =1 Jwi<1 ie, li-e|0 Hence the half plane y > 0 is mapped inta the interior of the eircle | w eae Find the invariant points of the transformation w = (2 1)/l » 1). (Meidras, 2003) ind the transformation which maps the points ~ 1, of the 2-plane onto 1, ,—1 of the w-plane respectively. Also find its invariant pointe. WLU, 201) 3. Find the bilinear transformation whieh maps 1, /,—1 to2, f,~2 respectively. Find the fixed and critical points of the transformation, (SV.T.U,, 2608 ; Mumbat, 2007 ; V.7.U., 2006) 4, Determine the bilinear transformation that maps the points 1—2i, 2 +1, 2+ 8% respectively into 2-424, 1+ 3, 4. (I.N-TU,, 2008 ; Coimbatore, 1999) 5, Find the bilinear transformation’ which maps (0 the points 2 = 1, 4, —1 into the points w =0, 1, WT, 2008 ; Mambai, 2007) (fi) the points 2~0, 1, {into the points w= 1+ i, -i, 2-4 6 aerw,, 2010 8) (ii) Rie)> 0 into interior of unit eirdle so thal2 =», é, 0 map into w = —1,~i, 1. : 6, Under the transformation = £—E, show that the map ofthe straight line x= y ica circle and find its contre and adie. . (Marctfwada, 2008) Hiawen Enciiernins MATHEMATICS 7. Show that the bilinear transformation wo = Ce » Ske 4) maps the circle 2 44x (Mumbai, 2007 :J.N-T.8., 2008; Bhopal, 2002) 8. Show that the condition for transformation w = (oz + biMez +d). v0 make the cra | w |= 1 orrespond toa straight lino in the 2-plane is'| a | = |.¢ |. 9. Show that the transformation w =i(1 21 42) miaps theivdle [2 | = ‘inka alate ontua tn ollastan ails interior of the eirele | 2 | <1 into the upper half of the w-plane. (Osmania, 2008 5: VU, 2000) 10. Ifo isithe upper half of the z-plane, show that the bilinear transformation w = e'* (8) ‘maps the upper half of | the e-plane into the interior of the unit circle at the origin in the w-plane, (1) CONFORMAL TRANSFORMATION Suppose two curves C, C, in the z-plane intersect at the point P and the corresponding curves C’ and C,’ in the w-plane intersect at P’ (Fig. 20.5). If the angle of intersection of the eurves at P is the same as the angle of intersection of the curves at P’in magnitude and sense, then the transformation is said to be conformal. (2) Theorem. The transformation effected by any S analytic function w = [(2) is conformal at every point of . the z-plane where f(z) #0. Let P(e) be a point in the region R of the z-plane and P'(w) the corresponding point in the region R’ of the w-plane (Fig. 20.3). Suppose z moves on a curve C and w ‘moves on the corresponding curve C’. Let Qlz + &) be a neighbouring point on C and @’(w + Gw) be the corre- . sponding point on C’ so that PQ = & and PQ’ = sw. O| zplane x «Ol w-plane U Then & is a complex number whose modulus r is the Fig. 20.5 length PQ and amplitude 8 is the angle which PQ makes with the x-axis. c vf Pe) Pw) Be = rel” Similarly, ifthe modulus and amplitude of be ’ and 0’, then Bw = re. Heiss ur ww Now if the tangent at P to the curve C makes an Zo with the x-axis and the tangent at P’ to C’ makes an Ze! with the w-axis, then as 8 > 0,0» a and 6’ a. (0) Ifp is the modulus and @ the amplitude of the function /(2) which is supposed to be non-zero, then Tz) = pe® (2) +. from (1) and (2), we have = (3) and é (4) Now let C, be another curve through P in the z-plane and C,’ the corresponding curve through P” in the w-plane. If the tangent at P to C, makes an 26 with the x-axis and tangent at P’ to C,’ makes an 2B’ with the weaxis, then as in (4), w=B-B 48) Equating (4) and (5), of -a=6'-B or B-a=f'—«' =y(Fig. 20.5) ‘Thus the angle between the curves before and after the mapping is preserved in magnitude and direction. Hence the mapping by the analytic function w = f(z) is conformal at each point where f(z) #0. Obs. L.A point at which [%2)=0 is called a eritical point of the transformation. Obs, 2. The relation (4), ic..." = a+ $ shows that the tangent at P to the curve (y@I ander the given transformation. ‘Obs. 3. The relation (3) shows that in the transformation, elements of are passing through P in any direction are changed in the ratio p ; 1, where p = | f"(e)|,.ue.,an infinitesimal length in the z-plane is magnified by the factor \f"(e)| Consequently the infinitesimal areas are magnified by the factor | f2)|®in a conformal transformation: is rotated through an 2 = amp Chicas oF Commex Funcrions | 589 | hw =/()is analytic then u and v must satisfy C-R equations. au Bu) | de a0 ; My] [ae Be |_(a) Pie i de meas a [Ce ia ae ay ax de Hence in confor tansfirentstieianlsndtentimsl Grcis tire maers/ied 2y/ the fuctor (22) Aloo the condition of conformal maping ie I{%%) «0, Obs, 4. The angle preserving property of the conformal transformation has many important physical applications. For instance, consider the flow of an incompressible fluid in a plane with velocity potential 6 (x, y) and stream fonetion ‘vox, 9). We know that @'and are real and imaginary parts of some analytie function w = f(z). As @ = constant and y = constant represent a system of orthogonal curves; these are transformed by the function w = /(2) into w set of orthogonal ines in the w-plane and vice-versa. ‘Thus, the conjugate functions } and y when subjected (0 conformal transformation remain conjugate functions, ie., the solutions of Laplace's equation remain solutions of the Laplace's equation after the transformation. This is the rain reason for the treat importance of the conformal transformation in applications. SPECIAL CONFORMAL TRANSFORMATIONS (D) Transformation w = 2. We have ut iv = (e+ iy) usx?—y? and a Ifwis constant (say, a), then x?— "= a which ia a rectangular hyper- bola, Similarly, if v is constant (say, b), then xy = b/2 which also represents a rectangular hyperbola, Hence a pair of lines u’= a, v = b parallel to the axes in the w-plane, znap int. pair of orthogonal rectangular hyperbolae in the z-plane as shown in Fig. *2.7 (p. 455). Again, if-x is constant (say, c), then y = u/2e and y? = c?—u, Elimina- tion of y from these equations gives v* = 4e%(c? — u), which represents a parabola. Similarly, ify is a constant (say,d), then elimination of x from the wptane ‘equations (1) gives v? = 4d%(d° + u) which is also a parabola. Fig. 206 Hence the pair of lines x = ¢ and y = d parallel to the axes in the z-plane map into orthogonal parabolas in the w-plane as shown in Fig. 20.6. 0 for 2 = 0, therefore, it is a critical point of the mapping. Re’ then in polar form w = z* becomes Re“ = re”, This shows that upper half of the 2-plane 0 < ® < x transforms into the entire w-plane 0 < 2x. The same is true of the lower half. (P.T.U., 2003) Obs, 1, Taking the axes to represent two walls, a single quadrant could be used to represent fluid flow at a corner wall, This transformation ean also represent the electrostatic field in the vicinity of @ corner conductor. Obs. 2 For the tansformation w = 2", n being. a positive integer, we have du /dz =O at2=0, Also Re® = (re®¥ = rem & R=? and Q =n, when 0 <6 < tn, correspondingly 0< 0. ‘Thus the upper half of the 2-plane corresponds to the interior of the eircle |w Solution. We have Jw] Determine the region of the w-plane into whieh the Following regions are mapped by the transformation tb = 2% ( first quadrant of plane (iNT. 2000) (Gi) region bounded by x =1, y= 1,x+y=1 (Kottayom, 2006 ; V..U., 2000 8) (is) the region 1 0. (Osmania, 2002) Prove that the transformation w= sin 2, maps the families of lines x = constant and y = constant into two families of confocal central conies. (NTU, 2003) ‘Discuss the transformation w =e", and show that it transforms the region between the real azis and a/line parallel to real axis aty =x, into the upper half of the w-plane. Discuss filly the transformation ‘w'=c cosh 2, where ¢ is a real numbér. What physical problem enn we study with the help of this transformation ? (EERE ScHWarz-CHRISTOFFEL TRANSFORMATION This transformation maps the interior of a polygon of the w-plane into the upper half of the z-plane and the boundary of the polygon into the real axis. The formula of this transformation is Priciwve oF Covniex Furcrone ca wplane 0 cn Cun oa We = Ae mF em) lem) * A) de or where Oy, .., 6, are the interior angles of the polygon having vertices w,, w,,...,, which map into the points ppp on,, ON the real-axis of the z-plane (Fig. 20.11). AlsoA and B are complex constants which determines the size and position of the polygon. Proof. We have from (1), amp (22) amp irs ( at) enpte-aie (82) epee + (Set) mente we : ‘As 2 moves along the real axis from the left towards x,, suppose that w moves dlong the side w,.0, of the polygon towards w,. As 2 crosses x, from left to right, @, = amp (2 —x,) changes from x to 0 while all other terms of (3) remain amaiiieted. Henos only (2-1) amp ( — x) decreases by (f-1) K=O, - m Ge increases by x—4 in the anti-clockwise direction. In other words, amp (dwfdz) increases by r¢t,.'Thus the direction of w, turns through, the angle xc, and w now moves along the side wv, of the polygon Similarly when 2 passes through x, 0, = amp (z —x,) and @, = amp (z ~ x,) change from x to 0 while all other terms remain unchanged. Hence the side wv turns through the angle x dg. Proceeding in this way, we see thet. asz moves along, Js, w trees the polygon 1, wy u, .. w,, and conversely. Example 20,16, Find the transformation which maps the semi-infinite strip in the w-plane (Fig. 20.12) into the upper half of the z-plane (VLU, ME. 2008 ; Osmania, 2003) ¥4 # 1 AB Oy =plane Fig. 20.12 Solution. Consider ABCD as the limiting case of a triangle with two vertices B and C and the third vertex A or Dat infinity. Let the vertices B and C map into the points B’ (— Land C’ (1) of the z-plane. Since the interior angles at B and C are 12, we have by the Schwarz-Christoffel transformation, a ean nie =AG+D* (2-DF Ne? -) # were — 4 B= Aco e+B Nie? =1) Lw=0. + O=Acosh(1) +B, i. or Hence w PROBLEMS 20. 1. Find the transformation which maps tbe semi-infinite strip of width rbounded by the lines u=0, 0 =» andu=0 into the upper half of the 2 plane. 2. Show how you will use Schwar2-Christoffel transformation to map the semi-infinite strip enclosed by the real axis and the lines 1 = + 1 of the w~plane into the upper half of the =-plane. 3, Find the mapping function which maps semi-infinite strip in the 2-plane — 2/2 ) [By Cauchy’s integral formula] a Pe ke Solution. (i) f(z) = sin® z is analytic inside the circle C: |z| = 1 and the point a = 7/6 (= 0.5 approx.) lies within C. ™ z £2) . by Cauchy’s integral formula /"(a) Za) dz, * wet fae eo ge ae = mi(2 cos 22), (ii) f (z) = e* is analytic within the circle +. By Cauchy's integral formula: 7” (a) = 3 Oss sean Git) “= is not analytic at 2 = i. ery @+ni) (2-niP However both z = & xi lie within the eircle |z| = 4. B +P tn mi? where A = 7/2x%i, C = —7/2n%, B = D =~ Wan? . 7 é é 1 e i Fane eae 7 {leseaee- fe alder e+ as} 1 ani f(- mi) =. ral ni) + 2ni fi) where f(z) = e*, 1§ 19.9] Solution. Th boundary af th given triangle const of thre lines AB, BC, CA. ig. 29.18). f Hae= fetder [odes fete ne a Along AB: y=1 BCA, 1 4 0 Nowe ite fe We gextiond dewds aaa = a [etaen foto iy oe] hey = fe dy= {fe ea, -1) Fig. 20.19 + Along CA: y=" 1 ase {ee l? Q+idx .2a(Lti,x,dze=(1+ dy 6-D _9-#-» ~aig +a digit tea Thus from (i) fe dz = i) de i Also since f(x) = e* is analytic everywhere, by Cauchy's theorem f f(z) = 0 Atti) Hence from (ii) and (iti), § Cauchy's theorem is verified Solution. (a) Since £ = 3.5 is the only singular point of (42* + z + 5/(z — 3.5) and it lies outside the ellipse C, therefore, (42? +z + 5Viz — 3.6) is analytic everywhere within C. Hence by Cauchy’s theorem, fas 4e*+2+5 2-35 (6) Sinco (2) =422 +2+8 is analytic within C and § integral formula se. F3.5) Land —i all lie within C, therefore, by Cauchy's f= aif fla a CERES az? +245, Pri? + +5) ie, nial? + 6 + 5) o = 2ni (8C + 1) and F() = 167i ‘Thus Fi) = 2ni(— 4 +i + 5) = 2mi-1) F(—1) = 2ni[8(- 1) + 1) = — 14x and F (— i) = 167. (1) CONVERSE OF CAUCHY’S THEOREM: MORERA’S THEOREM* Ife) is continuous in a region Dand § f(z)dz = 0 around every simple closed eurve C in D, then f() is analytic in D. % Since f f(2)dz = 0, then the line integral of f (2) from a fixed point z9 to a variable point x must be independent of the path and hence must be a function of z only. Thus [[ fled = 02), (say), Let (2) =U + iVandf(z)=u+iv ve [™ ei aye 5 pee Then U+iV= Teas iv) (die + idy)= J.2"" (ude — ody) +é f°" ode + udy) (x9 a9) U= Je (ude udy), V = Jeo ete + uly) Differentiating under the integral sign, BO OT oy OY ey egy p, OU OM OU WV, ae ay ae ay ay oe ‘Thus U and V satisfy C-R equations. Also, since f (z) is given to be continuous, u and v and therefore, dU/dx, AU/dy, AV/ax, AV/Ay, are also continuous. -. 9(2) is an analytic function and oe) ‘Thus, f(2) is the derivative of an analytic function 6 (z). Hence f(z) is analytic by § 20.14 Cor. (2) Cauchy’s inequality’. If f(z) is analytic within and on the cirele C: [2 -a| =r, then Mn! ia < AD) where M is the maximum value of |f(z)| on C. From (5) of § 20.14, we get iM cu riv=fe. le fe N. lof: Def: p. 389) ‘As in the case of real series (p. 390) Weirstrass’s M-test holds for series of complex terms. So the series (2) is uniformly convergent in a region R if there is a convergent series of positive constants YM,, such that | u,@) | $M, for all z in R. Also a uniformly convergent series of continuous complex functions is itself continuous and can be inte- grated term by term.

You might also like