Notes 14 The Steepest-Descent Method
|
|
- Christina Long
- 6 years ago
- Views:
Transcription
1 ECE 638 Fall 17 David R. Jackson Notes 14 The Steepest-Descent Method Notes are adapted from ECE
2 Steepest-Descent Method Complex Integral: Ω g z I f z e dz Ω = C The method was published by Peter Debye in 199. Debye noted in his work that the method was developed in a unpublished note by Bernhard Riemann (1863). Peter Joseph William Debye (March 4, 1884 November, 1966) was a Dutch physicist and physical chemist, and Nobel laureate in Chemistry. Georg Friedrich Bernhard Riemann (September 17, 186 July, 1866) was an influential German mathematician who made lasting contributions to analysis and differential geometry, some of them enabling the later development of general relativity.
3 Complex Integral: Ω g z I f z e dz Ω = C We want to obtain an approximate evaluation of the integral when the real parameter Ω is very large. The functions f (z) and g(z) are analytic (except for poles or branch points), so that the path C may be deformed if necessary (possibly adding residue contributions or branch-cut integrals). Saddle Point (SP): g ( z ) = (, ) g( xy, ) g xy x =, = y 3
4 Path deformation: If the path does not go through a saddle point, we assume that it can be deformed to do so. If any singularities are encountered during the path deformation, they must be accounted for (e.g., residue of captured poles). y C = + z C C' C p z p X C p = π Res ( p ) F z dz i F z C p x C 4
5 Denote g( z) = u( z) + iv( z) Cauchy Reimann eqs.: Hence u v = x y u = y v x u v v u = = = x x y y x y y u = y 5
6 or u x u y + = If u xx <, then u yy > Near the saddle point: 1 u( x, y) u( x, y) + uxx ( x x) 1 + uyy y y + u x x y y xy Ignore (rotate coordinates to eliminate) 6
7 1 1 u x y u x y u x x u y y u x x y y (, ) (, ) + ( ) + ( ) + ( )( ) xx yy xy In the rotated coordinate system: 1 1 u x y u x y u x x u y y (, ) (, ) + ( ) + ( ) xx yy Assume that the coordinate system is rotated so that u < u > xx yy Note: The angle of rotation necessary to do this will be clear later (it is the departure angle θ of the steepest-descent path). 7
8 The u (x, y ) function has a saddle shape near the SP: ux (, y ) y z x 8
9 uxy (, ) y z x y x Note: The saddle does not necessarily open along one of the principal axes (only when u xy (x, y ) = ). 9
10 A descending path is one on which the u function decreases away from the saddle point. uxy (, ) y x C z 3D view of descending path 1
11 Along any descending path C we will have convergence: ( Ω ) = Ωg z I f z e dz = = C Ω g z g( z ) Ω g z e f z e dz C iω vz vz Ω uz uz Ω g z e f z e e dz C Exponentially decreasing function 11
12 g z iω vz vz Ω uz uz Ω I e f z e e dz Ω = Behavior on a descending path C Let e s u z u z ( u( z ) u z ) s Ω Ω = e e Ωs 1 Note: The parameter s is a measure of distance along the path from the saddle point. (Negative s means before we get to the saddle point, positive s means after we leave the saddle point.) When Ω is large most of contribution is from near z. 3 Ω=1 s 1
13 Sketches of a descending path: uxy (, ) s u z u z y y x C C z z s < s = s > x e Ωs 1 3 Ω=1 s 13
14 Along any descending path: g( z ) Ω g z I e f z e dz Ω = ~ = Ω g( z) g( z ) Ω g z f z e e dz iω vz vz Ω uz uz Ω g z f z e e e dz C C C Ω g z Both the phase and amplitude change along an arbitrary descending path C. Important Point: If we can find a path along which the phase does not change (v is constant), the integrand will have a purely exponentially decaying behavior (no phase term), making the integral easy to evaluate. 14
15 Choose path of constant phase: C : v z = v z = constant y C z s < s = s > x 15
16 Gradient Property (proof on next slide): uxy, C is parallel to Hence C is either a path of steepest descent () or a path of steepest ascent (SAP). : u(x,y) decreases as fast as possible along the path away from the saddle point. SAP: u(x,y) increases as fast as possible along the path away from the saddle point. 16
17 Proof u u = xˆ + yˆ x v v = xˆ + yˆ x u y v y u v u v u v= + x x y y u u u u = + x y y x = C.R. Equations Hence, u v C y v Also, v C v ( is constant on C ) u x Hence u C 17
18 iω vz vz Ω uz uz Ω g z I Ω ~ f z e e e dz C Because the v function is constant along the, we have: or Ω u( z) u( z ) I ~ f z e e dz Ω Ω g z Ω g( z) g( z ) I Ω ~ f z e e dz Ω g z Real 18
19 Local behavior near SP 1 g z g z g z z z g z z z + ( ) + ( ) so 1 g z g z g z z z ( ) y z +dz Denote g z = Re iα z z = dz = re iθ z r θ x 1 ( + ) i g z g z Rr e α θ 19
20 1 g z g z Rr e α θ i( ) + u z 1 u z Rr v z 1 v z Rr cos( α + θ) sin ( α + θ) SAP: n α + θ = + πn α α =,1: θ =, + π 1 uz uz ( ) = Rr vz vz = : α + θ = π + πn α π α π n = 1, : θ =, + 1 uz uz ( ) = Rr vz vz = Note: The two paths are 9 o apart at the saddle point.
21 y SAP SP u 9 o u increases u u decreases x Note: v(x,y) is constant along both paths. 1
22 The landscape of the function u(z) near z y SAP Hill z uz = uz Valley C Valley Hill x uz = uz
23 uxy (, ) y x z SAP 3
24 Ω Ω u( z) u( z ) I f z e e dz ~ Ωg z Set s u( z ) u( z) = This defines z= zs () uxy (, ) s y x s > s < z z 4
25 We then have Ωg ( z + ) Ωs dz Ω ~ I f z e e ds ds or ~ dz Ω s Ω g z Ω ds s= I f z e e ds + (leading term of the asymptotic expansion) Hence ~ I f z e Ωg z dz ds Ω s= π Ω 5
26 To evaluate the derivative: = ( ) g( z ) s u z u z = g z (Recall: v is constant along.) ds s = g z dz At the SP this gives =. Take one more derivative: ds ds d s s = g z dz dz dz 6
27 At s = : ( z ) ds g = dz Z 1/ so dz = ds g z s= 1/ Hence, we have 1/ Ωg( z ) π I( Ω) ~ f ( z ) e g ( z ) Ω 7
28 There is an ambiguity in sign for the square root: dz = ds g z s= 1/ y To avoid this ambiguity, define z θ arg dz ds s= = θ x 8
29 The derivative term is therefore dz = ds g z s= iθ e Hence π I Ω f z e e Ω g z Ω g z iθ ~ 9
30 To find θ : Denote g z = Re z z = re iα iθ α = arg g z 1 1 g z g z g z z z Rr e α θ ( ) i( + ) = α + θ =± π θ α π = ± 3
31 y θ α π θ = ± α = arg g z SAP x The direction of integration determines The sign. The user must determine this. 31
32 Summary π I Ω f z e e Ω g z Ω g z iθ ~ α π θ = ± ( ) α = arg g z Ω g z I f z e dz Ω = C 3
33 Example J 1 Ω = π π / π / cos Ωcos z dz 1 = Re I Ω π where π / π / ( icos z) Ω I e dz Ω = Hence, we identify: f ( z) = 1 g z = icos z g z = isin z = z = ± nπ 33
34 Example (cont.) y π z = π x g( z) = icos z g z = icos z = i π α = arg g ( z ) = α π π π θ = ± = ± 4 π 3π θ = or
35 Example (cont.) Identify the and SAP: = cos( + ) = i[ cos xcosh y isin xsinh y] g z i x iy uxy, = sin xsinh y vxy, = cos xcosh y and SAP: v( z) = v( z ) = constant cos xcosh y = constant = cos cosh = 1 35
36 Example (cont.) and SAP: cos xcosh y = 1 y SAP Examination of the u function reveals which of the two paths is the. π C π x uxy, = sin xsinh y 36
37 Example (cont.) Vertical paths are added so that the path now has limits at infinity. y = C + C v1 + C v It is now clear which choice is correct for the departure angle: C v1 C π π C v x θ π = 4 37
38 Example (cont.) π I( Ω) f ( z ) e e Ω g Ω g z iθ ~ ( z ) (If we ignore the contributions of the vertical paths.) Hence, π I( Ω) ~ ( 1) e e Ω i π Ωicos( i ) 4 I ( Ω) ~ π e Ω π i Ω 4 so J π 1 π i Ω Ω π Ω 4 ~ Re e 38
39 Example (cont.) Hence J ( Ω) π ~ cos Ω π Ω 4 39
40 Example (cont.) Examine the path C v1 (the path C v is similar). y C v1 π π x ( i z) π / Ω cos v1 = π / + i I e dz Let z π = + iy 4
41 Example (cont.) π iωcos + iy Ωsinh y Ωsinh y Iv 1 = i e dy = i e dy = i e dy since π cos + iy = sin( iy) = i sinh y Since Ω is becoming very large, we can write: y Iv 1 i e Ω dy 1 Ωy i e Ω Hence, we have 1 Iv 1 i Ω 41
42 Example (cont.) Hence, 1 I = O v1 Ω Hence, I v1 is a much smaller term than what we obtain from the method of steepest descent, when Ω gets large, and we can ignore it. 4
43 Example The Gamma (generalized factorial) function: ( x) ( x 1) t x 1 Γ( x) e t dt, x > Γ =! = Gamma function (generalized factorial function) t Ω t Ω t Ωln t e t dt e e dt e e dt ( ln t) Γ( Ω+ 1) = = = Let t = Ωz Note: There is no saddle point! Ωln Ω Ωz Ωln z Ω Ωz Ωln z e e e dz e e dz Γ( Ω+ 1) = Ω =Ω Ω 43
44 Example (cont.) Ω+ 1 Ωln z Γ( Ω+ 1) =Ω e e dz or Ωz f Ω+ 1 ( z) = Ω ln g z = z z 1 g ( z ) = 1 z Ω+ 1 Γ( Ω+ 1) =Ω e Ω ( ln z z) dz ( z ) z = 1 g z = 1 1 g = = 1 z ( ) α= arg g z = π α π π π θ = ± = ± 44
45 Recall: Example (cont.) π I( Ω) f ( z ) e e Ω g Hence Ω g z iθ ~ ( z ) π Γ( Ω+ 1) Ω e e i Ω or Ω+ 1 Ω Ω Γ( Ω+ 1) π ΩΩ e Ω Note: The is the positive real axis (see the derivation below). The departure angle is zero, not π, since we are integrating from to. ln g z = z z Let Then z = re iθ (, ) vxy : θ y = = θ y This is Sterling s formula. 45
46 Complete Asymptotic Expansion We can obtain the complete asymptotic expansion of the integral with the steepest-descent method (including as many higher-order terms as we wish). Define: b Ωg( z) I Ω = f z e dz a s g z g z h s f z s dz s ( ) ds Then we have Ωg z b Ωs I Ω = e h s e ds sa s 46
47 Complete Asymptotic Expansion (cont.) Ω g z Ωs I e h s e ds Ω (Extending the limits to infinity gives an exponentially small error: This does not affect the asymptotic expansion.) Assume n h s ~ as as s n=,1,,3... n This means : N n N n = h s as o s n= as s Then Ωg z n s n n=,1,,3... Ω I e a s e ds Ω Note: The integral is zero for n = odd (the integrand is then an odd function). This result is called Watson s Lemma : We can obtain the complete asymptotic expansion of I by substituting in the complete asymptotic expansion for h and integrating term-by-term. 47
48 Complete Asymptotic Expansion (cont.) Performing the integration, g( z ) a n + 1 Ω Γ ( n 1) n=,,4 Ω n Ωs s e where We then have 1 n + 1 ds = Γ ( n+ 1) Ω ( x) ( x 1) Γ =! t x 1 Γ( x) e t dt n I ~ e Ω + Use ( n+ ) t s, dt s ds =Ω =Ω 1 Ωs n t n e s ds = e s dt Ω( s) n/ t t 1 e = dt Ω t Ω Ω 1 t ( n 1 )/ = e t dt 1 Ω 1 n + 1 = Γ ( n+ 1) Ω 48
49 Complete Asymptotic Expansion (cont.) Summary b Ωg( z) I Ω = f z e dz a g( z ) a n + 1 Ω ~ Γ ( 1) n=,,4 (even) Ω n I e Ω n+ n h s ~ as as s n=,1,,3... s = g z g z h s = f z s n dz s ( ) ds 49
50 Complete Asymptotic Expansion (cont.) Example: 1 Ωz I z e dz We have cos Ω = 1 g ( z) = z z = = cos f z z = z g z = = ( + ) = ( + ) + ( ) g z z x iy x y i xy v x, y = xy : v x, y = v x, y = xy = : y = (real axis) SAP: x = (imaginary axis) 5
51 Complete Asymptotic Expansion (cont.) Also, we have dz s h( s) = f ( z( s) ) ds s = g z g z = z + z z= = + z = Hence s = ± z ( must choose + sign) z s < s > 1 1 We then have dz ds f ( z( s) ) = cos( z( s) ) = cos( s) = = 1 ds ds y z = x 51
52 Complete Asymptotic Expansion (cont.) Recall: Hence ( s) ( s) dz s h( s) = f ( z( s) ) ds = cos 1 = cos n h s ~ as as s n=,1,,3... n 4 s s = cos 1 + a = 1, a 1 1 =, a4 =, etc.! 4! 4 ( s) h s 5
53 Complete Asymptotic Expansion (cont.) The complete asymptotic expansion is g( z ) a n + 1 Ω ~ Γ ( n 1) n=,,4 Ω Hence we have: n I e Ω + a 1 a 3 Ω Γ + Γ + 3/ Ω Ω I ~ e Ω so that I 1 1 1/ 3 Ω Γ + Γ + Ω Ω ~ 3/ 1 1 a = 1, a =, a4 =, etc. 4 where 1 Γ = π 3 1 Γ = π (Please see the notes on the Gamma function.) 53
54 Complete Asymptotic Expansion (cont.) Hence we have: 1 Ωz π 1 π 3/ Ω 4 Ω 1 cos I Ω = z e dz + as Ω Note: In a similar manner, we could obtain higher-order terms in the asymptotic expansion of the Bessel function or the Gamma function. 54
ECE Spring Prof. David R. Jackson ECE Dept. Notes 33
ECE 6341 Spring 16 Prof. David R. Jackson ECE Dept. Notes 33 1 Complex Integral: Steepest-Descent Method Ω g z I f z e dz Ω = C This is an extension of Laplace s method to treat integrals in the complex
More informationMTH3101 Spring 2017 HW Assignment 4: Sec. 26: #6,7; Sec. 33: #5,7; Sec. 38: #8; Sec. 40: #2 The due date for this assignment is 2/23/17.
MTH0 Spring 07 HW Assignment : Sec. 6: #6,7; Sec. : #5,7; Sec. 8: #8; Sec. 0: # The due date for this assignment is //7. Sec. 6: #6. Use results in Sec. to verify that the function g z = ln r + iθ r >
More informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationMath 185 Homework Exercises II
Math 185 Homework Exercises II Instructor: Andrés E. Caicedo Due: July 10, 2002 1. Verify that if f H(Ω) C 2 (Ω) is never zero, then ln f is harmonic in Ω. 2. Let f = u+iv H(Ω) C 2 (Ω). Let p 2 be an integer.
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 37
ECE 6341 Spring 16 Prof. David R. Jacson ECE Dept. Notes 37 1 Line Source on a Grounded Slab y ε r E jω A z µ I 1 A 1 e e d y ( ) + TE j y j z 4 j +Γ y 1/ 1/ ( ) ( ) y y1 1 There are branch points only
More information221A Lecture Notes Steepest Descent Method
Gamma Function A Lecture Notes Steepest Descent Method The best way to introduce the steepest descent method is to see an example. The Stirling s formula for the behavior of the factorial n! for large
More informationSuggested Homework Solutions
Suggested Homework Solutions Chapter Fourteen Section #9: Real and Imaginary parts of /z: z = x + iy = x + iy x iy ( ) x iy = x #9: Real and Imaginary parts of ln z: + i ( y ) ln z = ln(re iθ ) = ln r
More informationPhysics 2400 Midterm I Sample March 2017
Physics 4 Midterm I Sample March 17 Question: 1 3 4 5 Total Points: 1 1 1 1 6 Gamma function. Leibniz s rule. 1. (1 points) Find positive x that minimizes the value of the following integral I(x) = x+1
More information221B Lecture Notes Steepest Descent Method
Gamma Function B Lecture Notes Steepest Descent Method The best way to introduce the steepest descent method is to see an example. The Stirling s formula for the behavior of the factorial n! for large
More informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationCHAPTER 3 ELEMENTARY FUNCTIONS 28. THE EXPONENTIAL FUNCTION. Definition: The exponential function: The exponential function e z by writing
CHAPTER 3 ELEMENTARY FUNCTIONS We consider here various elementary functions studied in calculus and define corresponding functions of a complex variable. To be specific, we define analytic functions of
More informationComplex Variables & Integral Transforms
Complex Variables & Integral Transforms Notes taken by J.Pearson, from a S4 course at the U.Manchester. Lecture delivered by Dr.W.Parnell July 9, 007 Contents 1 Complex Variables 3 1.1 General Relations
More informationCITY UNIVERSITY LONDON. BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION. ENGINEERING MATHEMATICS 2 (resit) EX2003
No: CITY UNIVERSITY LONDON BEng (Hons) in Electrical and Electronic Engineering PART 2 EXAMINATION ENGINEERING MATHEMATICS 2 (resit) EX2003 Date: August 2004 Time: 3 hours Attempt Five out of EIGHT questions
More information1 Discussion on multi-valued functions
Week 3 notes, Math 7651 1 Discussion on multi-valued functions Log function : Note that if z is written in its polar representation: z = r e iθ, where r = z and θ = arg z, then log z log r + i θ + 2inπ
More informationMath 4263 Homework Set 1
Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that
More information1 Res z k+1 (z c), 0 =
32. COMPLEX ANALYSIS FOR APPLICATIONS Mock Final examination. (Monday June 7..am 2.pm) You may consult your handwritten notes, the book by Gamelin, and the solutions and handouts provided during the Quarter.
More informationComplex Homework Summer 2014
omplex Homework Summer 24 Based on Brown hurchill 7th Edition June 2, 24 ontents hw, omplex Arithmetic, onjugates, Polar Form 2 2 hw2 nth roots, Domains, Functions 2 3 hw3 Images, Transformations 3 4 hw4
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More informationFinal Exam - MATH 630: Solutions
Final Exam - MATH 630: Solutions Problem. Find all x R satisfying e xeix e ix. Solution. Comparing the moduli of both parts, we obtain e x cos x, and therefore, x cos x 0, which is possible only if x 0
More informationChapter 9. Analytic Continuation. 9.1 Analytic Continuation. For every complex problem, there is a solution that is simple, neat, and wrong.
Chapter 9 Analytic Continuation For every complex problem, there is a solution that is simple, neat, and wrong. - H. L. Mencken 9.1 Analytic Continuation Suppose there is a function, f 1 (z) that is analytic
More informationIII.2. Analytic Functions
III.2. Analytic Functions 1 III.2. Analytic Functions Recall. When you hear analytic function, think power series representation! Definition. If G is an open set in C and f : G C, then f is differentiable
More informationMath 417 Midterm Exam Solutions Friday, July 9, 2010
Math 417 Midterm Exam Solutions Friday, July 9, 010 Solve any 4 of Problems 1 6 and 1 of Problems 7 8. Write your solutions in the booklet provided. If you attempt more than 5 problems, you must clearly
More information( ), λ. ( ) =u z. ( )+ iv z
AMS 212B Perturbation Metho Lecture 18 Copyright by Hongyun Wang, UCSC Method of steepest descent Consider the integral I = f exp( λ g )d, g C =u + iv, λ We consider the situation where ƒ() and g() = u()
More informationComplex Analysis MATH 6300 Fall 2013 Homework 4
Complex Analysis MATH 6300 Fall 2013 Homework 4 Due Wednesday, December 11 at 5 PM Note that to get full credit on any problem in this class, you must solve the problems in an efficient and elegant manner,
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
More informationMath 312 Fall 2013 Final Exam Solutions (2 + i)(i + 1) = (i 1)(i + 1) = 2i i2 + i. i 2 1
. (a) We have 2 + i i Math 32 Fall 203 Final Exam Solutions (2 + i)(i + ) (i )(i + ) 2i + 2 + i2 + i i 2 3i + 2 2 3 2 i.. (b) Note that + i 2e iπ/4 so that Arg( + i) π/4. This implies 2 log 2 + π 4 i..
More informationQ 1.5: 1/s Sol: If you try to do a Taylor expansion at s = 0, the first term, w(0). Thus, the Taylor series expansion in s does not exist.
40 CHAPTER 3. DIFFERENTIAL EQUATIONS Q.: /s Sol: If you try to do a Taylor expansion at s = 0, the first term, w(0). Thus, the Taylor series expansion in s does not exist. Q.6: /( s 2 ) Sol: The imaginary
More informationNotes 19 Gradient and Laplacian
ECE 3318 Applied Electricity and Magnetism Spring 218 Prof. David R. Jackson Dept. of ECE Notes 19 Gradient and Laplacian 1 Gradient Φ ( x, y, z) =scalar function Φ Φ Φ grad Φ xˆ + yˆ + zˆ x y z We can
More informationNotes 7 Analytic Continuation
ECE 6382 Fall 27 David R. Jackson Notes 7 Analtic Continuation Notes are from D. R. Wilton, Dept. of ECE Analtic Continuation of Functions We define analtic continuation as the process of continuing a
More informationECE Spring Prof. David R. Jackson ECE Dept.
ECE 634 Spring 26 Prof. David R. Jacson ECE Dept. Notes Notes 42 43 Sommerfeld Problem In this set of notes we use SDI theory to solve the classical "Sommerfeld problem" of a vertical dipole over an semi-infinite
More informationSecond Midterm Exam Name: Practice Problems March 10, 2015
Math 160 1. Treibergs Second Midterm Exam Name: Practice Problems March 10, 015 1. Determine the singular points of the function and state why the function is analytic everywhere else: z 1 fz) = z + 1)z
More information(a) To show f(z) is analytic, explicitly evaluate partials,, etc. and show. = 0. To find v, integrate u = v to get v = dy u =
Homework -5 Solutions Problems (a) z = + 0i, (b) z = 7 + 24i 2 f(z) = u(x, y) + iv(x, y) with u(x, y) = e 2y cos(2x) and v(x, y) = e 2y sin(2x) u (a) To show f(z) is analytic, explicitly evaluate partials,,
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More informationSolutions to Exercises 6.1
34 Chapter 6 Conformal Mappings Solutions to Exercises 6.. An analytic function fz is conformal where f z. If fz = z + e z, then f z =e z z + z. We have f z = z z += z =. Thus f is conformal at all z.
More informationMath Final Exam.
Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:
More informationQualifying Examination
Summer 24 Day. Monday, September 5, 24 You have three hours to complete this exam. Work all problems. Start each problem on a All problems are 2 points. Please email any electronic files in support of
More informationMA 201 Complex Analysis Lecture 6: Elementary functions
MA 201 Complex Analysis : The Exponential Function Recall: Euler s Formula: For y R, e iy = cos y + i sin y and for any x, y R, e x+y = e x e y. Definition: If z = x + iy, then e z or exp(z) is defined
More informationIntroductions to ExpIntegralEi
Introductions to ExpIntegralEi Introduction to the exponential integrals General The exponential-type integrals have a long history. After the early developments of differential calculus, mathematicians
More informationMan will occasionally stumble over the truth, but most of the time he will pick himself up and continue on.
hapter 3 The Residue Theorem Man will occasionally stumble over the truth, but most of the time he will pick himself up and continue on. - Winston hurchill 3. The Residue Theorem We will find that many
More informationLeplace s Equations. Analyzing the Analyticity of Analytic Analysis DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING. Engineering Math 16.
Leplace s Analyzing the Analyticity of Analytic Analysis Engineering Math 16.364 1 The Laplace equations are built on the Cauchy- Riemann equations. They are used in many branches of physics such as heat
More informationOn positivity of Fourier transforms
On positivity of Fourier transforms by E.O. Tuck Applied Mathematics The University of Adelaide AUSTRALIA 55 April 1, 26 Abstract This note concerns Fourier transforms on the real positive line. In particular,
More informationLeplace s Equations. Analyzing the Analyticity of Analytic Analysis DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING. Engineering Math EECE
Leplace s Analyzing the Analyticity of Analytic Analysis Engineering Math EECE 3640 1 The Laplace equations are built on the Cauchy- Riemann equations. They are used in many branches of physics such as
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More information1 z n = 1. 9.(Problem) Evaluate each of the following, that is, express each in standard Cartesian form x + iy. (2 i) 3. ( 1 + i. 2 i.
. 5(b). (Problem) Show that z n = z n and z n = z n for n =,,... (b) Use polar form, i.e. let z = re iθ, then z n = r n = z n. Note e iθ = cos θ + i sin θ =. 9.(Problem) Evaluate each of the following,
More informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 02 omplex Variables Final Exam May, 207 :0pm-5:0pm, Skurla Hall, Room 06 Exam Instructions: You have hour & 50 minutes to complete the exam. There are a total of problems.
More information3 Elementary Functions
3 Elementary Functions 3.1 The Exponential Function For z = x + iy we have where Euler s formula gives The note: e z = e x e iy iy = cos y + i sin y When y = 0 we have e x the usual exponential. When z
More informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
More information2.5 (x + iy)(a + ib) = xa yb + i(xb + ya) = (az by) + i(bx + ay) = (a + ib)(x + iy). The middle = uses commutativity of real numbers.
Complex Analysis Sketches of Solutions to Selected Exercises Homework 2..a ( 2 i) i( 2i) = 2 i i + i 2 2 = 2 i i 2 = 2i 2..b (2, 3)( 2, ) = (2( 2) ( 3), 2() + ( 3)( 2)) = (, 8) 2.2.a Re(iz) = Re(i(x +
More informationMathematics of Physics and Engineering II: Homework problems
Mathematics of Physics and Engineering II: Homework problems Homework. Problem. Consider four points in R 3 : P (,, ), Q(,, 2), R(,, ), S( + a,, 2a), where a is a real number. () Compute the coordinates
More information221B Lecture Notes Notes on Spherical Bessel Functions
Definitions B Lecture Notes Notes on Spherical Bessel Functions We would like to solve the free Schrödinger equation [ h d l(l + ) r R(r) = h k R(r). () m r dr r m R(r) is the radial wave function ψ( x)
More informationEE2012 ~ Page 9 / Part 2. ben m chen, nus ece
omplex Analysis EE ~ Page 9 / Part Flow hart of Material in omplex Analysis x iy t () xt () iyt () f( ) uivu( x, y) iv( x, y) Starting omplex function of a real variable ~ define a curve on a complex plane
More informationProblems 3 (due 27 January)
Problems 3 due 7 January). You previously found singularities of the functions below. Here, identify the poles, order of these poles and residues for these functions: a) tanhz) = ez e z e z + e z Solution:
More information5.4 Bessel s Equation. Bessel Functions
SEC 54 Bessel s Equation Bessel Functions J (x) 87 # with y dy>dt, etc, constant A, B, C, D, K, and t 5 HYPERGEOMETRIC ODE At B (t t )(t t ), t t, can be reduced to the hypergeometric equation with independent
More informationComplex Variables. Chapter 2. Analytic Functions Section Harmonic Functions Proofs of Theorems. March 19, 2017
Complex Variables Chapter 2. Analytic Functions Section 2.26. Harmonic Functions Proofs of Theorems March 19, 2017 () Complex Variables March 19, 2017 1 / 5 Table of contents 1 Theorem 2.26.1. 2 Theorem
More informationu(e iθ )K(e iθ,z)dθ, z (1). (126) h(e iθ )K(e iθ,z)dθ, z (1),
2 Dirichlet Problem Dirichlet problem Dirichlet s problem is as follows: h C ( (1)), unique u C ( (1)) Harmonic( (1))) such that { u, (125) u (1) h. Recall thatgiven aharmonicfunction uinaneighborhoodof
More informationBessel s Equation. MATH 365 Ordinary Differential Equations. J. Robert Buchanan. Fall Department of Mathematics
Bessel s Equation MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Background Bessel s equation of order ν has the form where ν is a constant. x 2 y + xy
More informationSolutions for Problem Set #5 due October 17, 2003 Dustin Cartwright and Dylan Thurston
Solutions for Problem Set #5 due October 17, 23 Dustin Cartwright and Dylan Thurston 1 (B&N 6.5) Suppose an analytic function f agrees with tan x, x 1. Show that f(z) = i has no solution. Could f be entire?
More informationECE Spring Prof. David R. Jackson ECE Dept. Notes 15
ECE 6341 Spring 216 Prof. David R. Jackson ECE Dept. Notes 15 1 Arbitrary Line Current TM : A (, ) Introduce Fourier Transform: I I + ( k ) jk = I e d x y 1 I = I ( k ) jk e dk 2π 2 Arbitrary Line Current
More informationQualification Exam: Mathematical Methods
Qualification Exam: Mathematical Methods Name:, QEID#41534189: August, 218 Qualification Exam QEID#41534189 2 1 Mathematical Methods I Problem 1. ID:MM-1-2 Solve the differential equation dy + y = sin
More information2 Write down the range of values of α (real) or β (complex) for which the following integrals converge. (i) e z2 dz where {γ : z = se iα, < s < }
Mathematical Tripos Part II Michaelmas term 2007 Further Complex Methods, Examples sheet Dr S.T.C. Siklos Comments and corrections: e-mail to stcs@cam. Sheet with commentary available for supervisors.
More informationComplex Analysis for Applications, Math 132/1, Home Work Solutions-II Masamichi Takesaki
Page 48, Problem. Complex Analysis for Applications, Math 3/, Home Work Solutions-II Masamichi Takesaki Γ Γ Γ 0 Page 9, Problem. If two contours Γ 0 and Γ are respectively shrunkable to single points in
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationComplex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit.
Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. 1. The TI-89 calculator says, reasonably enough, that x 1) 1/3 1 ) 3 = 8. lim
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More information12. Stresses and Strains
12. Stresses and Strains Finite Element Method Differential Equation Weak Formulation Approximating Functions Weighted Residuals FEM - Formulation Classification of Problems Scalar Vector 1-D T(x) u(x)
More information1. DO NOT LIFT THIS COVER PAGE UNTIL INSTRUCTED TO DO SO. Write your student number and name at the top of this page. This test has SIX pages.
Student Number Name (Printed in INK Mathematics 54 July th, 007 SIMON FRASER UNIVERSITY Department of Mathematics Faculty of Science Midterm Instructor: S. Pimentel 1. DO NOT LIFT THIS COVER PAGE UNTIL
More informationMA 412 Complex Analysis Final Exam
MA 4 Complex Analysis Final Exam Summer II Session, August 9, 00.. Find all the values of ( 8i) /3. Sketch the solutions. Answer: We start by writing 8i in polar form and then we ll compute the cubic root:
More informationDIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Chapter 1 Introduction and Basic Terminology Most of the phenomena studied in the sciences and engineering involve processes that change with time. For example, it is well known
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More information18.04 Practice problems exam 2, Spring 2018 Solutions
8.04 Practice problems exam, Spring 08 Solutions Problem. Harmonic functions (a) Show u(x, y) = x 3 3xy + 3x 3y is harmonic and find a harmonic conjugate. It s easy to compute: u x = 3x 3y + 6x, u xx =
More informationMATH MIDTERM 1 SOLUTION. 1. (5 points) Determine whether the following statements are true of false, no justification is required.
MATH 185-4 MIDTERM 1 SOLUTION 1. (5 points Determine whether the following statements are true of false, no justification is required. (1 (1pointTheprincipalbranchoflogarithmfunctionf(z = Logz iscontinuous
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationExercises involving elementary functions
017:11:0:16:4:09 c M K Warby MA3614 Complex variable methods and applications 1 Exercises involving elementary functions 1 This question was in the class test in 016/7 and was worth 5 marks a) Let z +
More informationPhysics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16
Physics 307 Mathematical Physics Luis Anchordoqui 1 Bibliography L. A. Anchordoqui and T. C. Paul, ``Mathematical Models of Physics Problems (Nova Publishers, 2013) G. F. D. Duff and D. Naylor, ``Differential
More informationLecture Notes Complex Analysis. Complex Variables and Applications 7th Edition Brown and Churchhill
Lecture Notes omplex Analysis based on omplex Variables and Applications 7th Edition Brown and hurchhill Yvette Fajardo-Lim, Ph.D. Department of Mathematics De La Salle University - Manila 2 ontents THE
More informationf (n) (z 0 ) Theorem [Morera s Theorem] Suppose f is continuous on a domain U, and satisfies that for any closed curve γ in U, γ
Remarks. 1. So far we have seen that holomorphic is equivalent to analytic. Thus, if f is complex differentiable in an open set, then it is infinitely many times complex differentiable in that set. This
More informationChapter 6: Residue Theory. Introduction. The Residue Theorem. 6.1 The Residue Theorem. 6.2 Trigonometric Integrals Over (0, 2π) Li, Yongzhao
Outline Chapter 6: Residue Theory Li, Yongzhao State Key Laboratory of Integrated Services Networks, Xidian University June 7, 2009 Introduction The Residue Theorem In the previous chapters, we have seen
More informationCHAPTER 4. Elementary Functions. Dr. Pulak Sahoo
CHAPTER 4 Elementary Functions BY Dr. Pulak Sahoo Assistant Professor Department of Mathematics University Of Kalyani West Bengal, India E-mail : sahoopulak1@gmail.com 1 Module-4: Multivalued Functions-II
More informationMid Term-1 : Solutions to practice problems
Mid Term- : Solutions to practice problems 0 October, 06. Is the function fz = e z x iy holomorphic at z = 0? Give proper justification. Here we are using the notation z = x + iy. Solution: Method-. Use
More informationIn this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,
Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical
More informationAero III/IV Conformal Mapping
Aero III/IV Conformal Mapping View complex function as a mapping Unlike a real function, a complex function w = f(z) cannot be represented by a curve. Instead it is useful to view it as a mapping. Write
More informationAssignment 2 - Complex Analysis
Assignment 2 - Complex Analysis MATH 440/508 M.P. Lamoureux Sketch of solutions. Γ z dz = Γ (x iy)(dx + idy) = (xdx + ydy) + i Γ Γ ( ydx + xdy) = (/2)(x 2 + y 2 ) endpoints + i [( / y) y ( / x)x]dxdy interiorγ
More informationSolutions to Homework 5
Solutions to Homework 5 1. Let z = f(x, y) be a twice continuously differentiable function of x and y. Let x = r cos θ and y = r sin θ be the equations which transform polar coordinates into rectangular
More information(z + n) 2. n=0. 2 (z + 2) (z + n). 2 We d like to compute this as an integral. To this end, we d like a function with residues
8. Stirling Formula Stirling s Formula is a classical formula to compute n! accurately when n is large. We will derive a version of Stirling s formula using complex analysis and residues. Recall the formula
More informationCOMPLEX VARIABLES. Principles and Problem Sessions YJ? A K KAPOOR. University of Hyderabad, India. World Scientific NEW JERSEY LONDON
COMPLEX VARIABLES Principles and Problem Sessions A K KAPOOR University of Hyderabad, India NEW JERSEY LONDON YJ? World Scientific SINGAPORE BEIJING SHANGHAI HONG KONG TAIPEI CHENNAI CONTENTS Preface vii
More informationu = 0; thus v = 0 (and v = 0). Consequently,
MAT40 - MANDATORY ASSIGNMENT #, FALL 00; FASIT REMINDER: The assignment must be handed in before 4:30 on Thursday October 8 at the Department of Mathematics, in the 7th floor of Niels Henrik Abels hus,
More information1 Assignment 1: Nonlinear dynamics (due September
Assignment : Nonlinear dynamics (due September 4, 28). Consider the ordinary differential equation du/dt = cos(u). Sketch the equilibria and indicate by arrows the increase or decrease of the solutions.
More informationPHY6095/PHZ6166: homework assignment #2 SOLUTIONS
PHY695/PHZ666: homework assignment #2 SOLUTIONS 2. Problem a The first step is to re-scale the integration variable where c b/a. (y x/a x(x + b e x/a ( y(y + c e y (2 i a b c. Assume that typical y are
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationR- and C-Differentiability
Lecture 2 R- and C-Differentiability Let z = x + iy = (x,y ) be a point in C and f a function defined on a neighbourhood of z (e.g., on an open disk (z,r) for some r > ) with values in C. Write f (z) =
More informationMAT389 Fall 2016, Problem Set 11
MAT389 Fall 216, Problem Set 11 Improper integrals 11.1 In each of the following cases, establish the convergence of the given integral and calculate its value. i) x 2 x 2 + 1) 2 ii) x x 2 + 1)x 2 + 2x
More informationAdditional material: Linear Differential Equations
Chapter 5 Additional material: Linear Differential Equations 5.1 Introduction The material in this chapter is not formally part of the LTCC course. It is included for completeness as it contains proofs
More informationComplex Variables...Review Problems (Residue Calculus Comments)...Fall Initial Draft
Complex Variables........Review Problems Residue Calculus Comments)........Fall 22 Initial Draft ) Show that the singular point of fz) is a pole; determine its order m and its residue B: a) e 2z )/z 4,
More informationlim when the limit on the right exists, the improper integral is said to converge to that limit.
hapter 7 Applications of esidues - evaluation of definite and improper integrals occurring in real analysis and applied math - finding inverse Laplace transform by the methods of summing residues. 6. Evaluation
More informationChapter II. Complex Variables
hapter II. omplex Variables Dates: October 2, 4, 7, 2002. These three lectures will cover the following sections of the text book by Keener. 6.1. omplex valued functions and branch cuts; 6.2.1. Differentiation
More information