Upload
vuongcong
View
236
Download
3
Embed Size (px)
Citation preview
Branch Points and Branch Cuts
ECE 6382
1
David R. Jackson
Fall 2017
Notes are adapted from D. R. Wilton, Dept. of ECE
Notes 5
Preliminary
Consider: ( ) 1/ 2f z z= jz r e θ=
( )1/21/2 /2i iz r e r eθ θ= =
1z r= = 0 :θ = 1/2 1z =
2 :θ π= 1/2 1z = −
4 :θ π= 1/2 1z =
There are two possible values.
Choose:
2
Branch Cuts and Branch Points (cont.)
1/2 /2iz r e θ=
1/2
A 0 1B +C 2 -1
z
i
θ
ππ
Point
We don’t get back the same result!
3
Consider what happens if we encircle the origin:
x
y
AB C
r
1r =
Now consider encircling the origin twice:
1/2 /2iz r e θ=
1/2
A 0 1B +C 2 -1D 3 -E 4 1
z
i
i
θ
ππππ +
Point
We now get back the same result!
Hence the square-root function is a double-valued function.
4
Branch Cuts and Branch Points (cont.)
x
y
AB CD
E
1r =r
Next, consider encircling a point z0 not at the origin.
1/2 /2iz r e θ=
Unlike encircling the origin, now we return to the same result!
x
y
A
Bθ increasing
θ decreasing
0z
5
Branch Cuts and Branch Points (cont.)
In order to make the square-root function single-valued and analytic in the domain, we insert a “barrier” or “branch cut”.
The origin is called a branch point: we are not allowed to encircle it if we wish to make the square-root function single-valued.
Here the branch cut is chosen to lie on the negative real axis (an arbitrary choice). 6
Branch Cuts and Branch Points (cont.)
x
y
Branch cut
We must now choose what “branch” of the function we want.
iz r e θ= 1/2 /2iz r e θ=
7
Note: MATLAB actually uses -π < θ ≤ π. The square-root function is then defined on the negative real axis.
Branch Cuts and Branch Points (cont.)
x
yπ θ π− < <
1z =1/2 1z⇒ =
The is the “principal” branch (the MATLAB choice*).
Branch cut
( )1/2Re 0z >Note :
Here is the other branch choice.
iz r e θ= 1/2 /2iz r e θ=
8
Branch Cuts and Branch Points (cont.)
x
y
3π θ π< <
1z =1/2 1z⇒ = −
Branch cut
Note that the function is discontinuous across the branch cut.
iz r e θ= 1/2 /2iz r e θ=
9
Branch Cuts and Branch Points (cont.)
x
y
π θ π− < <
1z =1/2 1z⇒ =
1,z θ π→ − →
1,z θ π→ − → −
1/2z i⇒ →
1/2z i⇒ → −
Branch cut
The shape of the branch cut is arbitrary.
iz r e θ=
1/2 /2iz r e θ=
10
Branch Cuts and Branch Points (cont.)
/ 2 3 / 2π θ π− < <
x
y
1z =1/2 1z =
3 / 2 7 / 2.π θ π< ≤The second branch is
Branch cut
The branch cut does not even have to be a straight line
iz r e θ=1/2 /2iz r e θ=
In this case the branch is determined by requiring that the square-root function change continuously as we start from a specified value (e.g., z = 1).
11
Branch Cuts and Branch Points (cont.)
x
y
1z =1/2 1 ( 0)z θ= ⇒ =
1z = −1/2z i=
z i=( )1/2 /4 1 / 2iz e iπ= = +
z i= −
( )1/2 /4 1 / 2iz e iπ−= = −
Branch cut
Branch points usually appear in pairs; here one is at z = 0 and the other at z = ∞ as determined by examining ζ = 1/ z at ζ = 0.
iz r e θ=1/2 ( 2 )/2
0,1
i kz r ek
θ π+==
Hence the branch cut for the square-root function connects the origin and the point at infinity.
1/2 1/2 ( 2 )/211/ ; 0,1i kz e kr
θ πζ − += = =
We get a different result when we encircle the origin in the ζ plane, which means encircling the “point at infinity” in the z plane.
12
Branch Cuts and Branch Points (cont.)
Consider this function:
( )1/ 22( ) 1f z z= −
What do the branch points and branch cuts look like for this function?
13
Branch Cuts and Branch Points (cont.)
( ) ( ) ( ) ( ) ( )( )1/ 2 1/ 21/ 2 1/ 2 1/ 22( ) 1 1 1 1 1f z z z z z z= − = − + = − − −
x
y
1−
1
There are two branch cuts: we are not allowed to encircle either branch point.
There are two branch points (four if we include the branch points at infinity).
14
Branch Cuts and Branch Points (cont.)
( ) ( )( )1/ 21/ 2 1/ 2 1/ 21 2( ) 1 1f z z z w w= − − − =
Geometric interpretation
( ) ( )1 2/2 /21 2( ) i if z r e r eθ θ=
1
2
1 1
2 2
1
( 1)
i
i
w z r e
w z r e
θ
θ
= − =
= − − =
15
Branch Cuts and Branch Points (cont.)
x
y
1−
1 1θ2θ1r
2r
z
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
We can rotate both branch cuts to the real axis.
x
y
1−
1
16
Branch Cuts and Branch Points (cont.)
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
x
y
1−
1
Note that the function is the same at the two points shown.
The two branch cuts “cancel”.
1x >
Both θ1 and θ2 have changed by 2π.
1
2
1 1
2 2
1
( 1)
j
j
w z r e
w z r e
θ
θ
= − =
= − − =
17
Branch Cuts and Branch Points (cont.)
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
An alternative branch cut.
x
y
1−
1
Note: We are allowed to encircle both branch
points, but not only one of them!
18
Branch Cuts and Branch Points (cont.)
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
x
y
1−
1 1 2 3 4
5 6 7
Suppose we agree that at the point #1, θ1 = θ2 = 0. This should uniquely determine the value (branch) of the function everywhere in the complex plane.
Find the angles θ1 and θ2 at the other points labeled.
Example:
19
Branch Cuts and Branch Points (cont.)
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
2
1 0 02 03 04 5 26 27 2 2
θ θ
πππ ππ ππ ππ π
1Pointx
y
1−
1 1 2 3 4
5 6 7
For example, at point 6:
( ) ( )( )( )( ) ( )( )
( )( ) ( )( )
1/21/2
/2 2 /2
( ) 1 1
1 1
1 1 1
1 1
i i
f z z z
z e z e
i z z
i z z
π π
= − − −
= − +
= + − − +
= − − +20
Branch Cuts and Branch Points (cont.)
Proceed counterclockwise from point 1.
( ) ( ) ( )( )1/ 2 1/ 21/ 22( ) 1 1 1f z z z z= − = − − −
2
1 2 22 23 24 5 06 07 0 0
θ θ
π ππ ππ ππ πππ
− −− −− −− −−−
1Pointx
y
1−
1 1 2 3 4
5 6 7
For example, at point 6:
( ) ( )( )( )( ) ( )( )
( )( ) ( )( )
1/21/2
/2 0/2
( ) 1 1
1 1
1 1 1
1 1
i i
f z z z
z e z e
i z z
i z z
π−
= − − −
= − +
= − − + +
= − − +21
Branch Cuts and Branch Points (cont.)
Proceed clockwise from point 7.
Sommerfeld Branch Cuts
22
Sommerfeld branch cuts are the most common choice in dealing with radiation types of problems, where
there is a square-root wavenumber function.
Arnold Sommerfeld (1868-1951)
( ) ( ) ( )( )1/2 1/21/22( ) 1 1 1f z z z z= − = − − −
Sommerfeld Branch Cuts (cont.)
x
y
1−
1
First branch: Re ( ) 0f z ≥Second branch: Re ( ) 0f z ≤
The first branch is defined by:
( )1/22 21 1, 1x x x− = − >
( ), 2 3f = +E.g.
Sommerfeld branch cuts 20 1xy x= <and
23
Sommerfeld Branch Cuts (cont.)
Proof: Re ( ) 0f z =Set
( )( )( )( ) ( )
2
2
2
2 2
2 2 2
( ) imaginary( ) real < 0
1 real < 0
1 real < 0
1 2 real < 0
0 1 1 ( 0)
f zf z
z
x iy
x y i xy
xy x y x y
⇒ =
⇒ =
⇒ − =
⇒ + − =
⇒ − − + =
⇒ = − < ⇒ < =fon ra d
As long as we do not cross this hyperbolic contour, the real part of f does not change. Hence, the entire complex plane must have a real part that is either positive or negative (depending on which branch we are choosing) if the branch cuts are chosen to lie along this contour (i.e., the Sommerfeld branch cuts).
First branch: Re ( ) 0f z ≥Second branch: Re ( ) 0f z ≤
24
( ) ( ) ( )( )1/2 1/21/22( ) 1 1 1f z z z z= − = − − −
x
y
1−
1
Re ( ) 0f z >
Re ( ) 0f z <
If the branch cuts are deformed to the hyperbolic choice, the gray area disappears.
Re ( ) 0f z >
Re ( ) 0f z >
Re ( ) 0f z >
25
Sommerfeld Branch Cuts (cont.)
( )1/22 2z xk k k= −
Application: electromagnetic (and other) problems involving a wavenumber.
( )1/22 2z xk j k k= − −
The first branch is chosen in order to have decaying waves when kx > k.
( )Re xk
( )Im xk
k−
k
Im 0zk < Im 0zk <
Im 0zk <Im 0zk <
(The – sign in front is an arbitrary choice here.)
The entire complex plane (using the first branch) now corresponds to decaying waves (Im (kz) < 0).
or
z zk j k= −
26
Sommerfeld Branch Cuts (cont.)
Note: j is used her instead of i.
Riemann Surface
A Riemann surface is a surface that combines the different sheets of a multi-valued function.
It is useful since it displays all possible values of the function at one time.
Georg Friedrich Bernhard Riemann (1826-1866)
(his signature)
27
Riemann Surface (cont.)
The concept of the Riemann surface is first illustrated for
( ) 1/ 2f z z=
The function z1/2 is analytic everywhere on this surface (there are no branch cuts). It also assumes all possible values on the surface.
1/ 2
1/ 2
(1 1)3 (1 1)
π θ π
π θ π
− < < =
< < = −
Top sheet:
Bottom sheet:
Consider this choice:
iz r e θ=
The Riemann surface is really two complex planes connected together.
28
Riemann Surface (cont.)
x
y
BD
Top
Bottom
BD
Side view x
y
Top view
D
B
B
D
29
The width of the escalator is collapsed to zero here.
Riemann Surface (cont.)
Bottom sheet
Top sheet
“Escalator” (where branch cut used to be)
Branch point
Note: We are not allowed to jump from
one escalator to the other!
30
3D View
This figure shows going around a branch point twice.
Riemann Surface (cont.)
Connection between sheets
1/2
A 0 1B +C 2 -1D 3 -E 4 1
z
i
i
θ
ππππ +
Point
( ) 1/2 /2 /2( 1) i if z z e eθ θ= = =
iz re θ=
x
y
AB CD
EBD
r = 1 r
31
Top View
This figure shows going around a branch point twice.
Riemann Surface (cont.)
32
( ) 1/ 2f z z=
x
y
C
The square root function is analytic on and inside this path, and the closed line integral around the path is thus zero.
x
y
C
The square root function is discontinuous on this path, and the closed line integral around the path is not zero.
Riemann Surface (cont.)
The 3D perspective makes it more clear that the integral around this closed path on the Riemann surface is zero.
(The path can be shrunk continuously to zero.) 33
( ) 1/ 2f z z=
C
Riemann Surface (cont.)
( ) ( )1/22 1f z z= − Top sheet: Defined by θ1 = θ2 = 0 on real axis for x > 1
( ) ( )( )1/21/2( ) 1 1f z z z= − − −
34
y
x1−
1
There are two sets of up and down “escalators” that now connect the top and bottom sheets of the surface.
Riemann Surface (cont.)
( ) ( )1/22 1f z z= −
( ) ( )( )1/21/2( ) 1 1f z z z= − − −
The angle θ1 has changed by 2π as we go back to the point z = 2. 35
Bottom sheet
y
x1−
1
( ) 3f z = +
( ) 3f z = −
2z =
Top sheet
Riemann Surface (cont.)
( ) ( )1/22 1f z z= −
C1 , C2 are closed curves
C1 , C2 are closed curves on the Riemann surface.
The integral around them is not zero! (The paths cannot be shrunk to zero.)
36
y
x1−
1
Escalators
Escalators
C1
C2
( )1/22( ) 1f z z= −
x
y
1−
1
Re ( ) 0 Re ( ) 0
f zf z
><
Top sheet :
Bottom sheet :
Riemann Surface (cont.)
Sommerfeld (hyperbolic) shape of escalators
37
( )Re xk
( )Im xk
k−
k
Im 0 Im 0
z
z
kk<>
Top sheet :
Bottom sheet :
Riemann Surface (cont.)
Sommerfeld (hyperbolic) shape of escalators
( ) ( )1/2 1/22 2 2 2z x xk k k j k k= − = − −
Top sheet: surface-wave wavenumber Bottom sheet: leaky-wave wavenumber
38
Application to guided waves:
xk jβ α= − = propagation wavenumber of mode
z z zk jβ α= − = vertical wavenumber of mode
Leaky waves have a field that increases vertically (αz < 0).
SW
LW
Note: j is used here instead of i.
Other Multiple-Branch Functions
( ) 1/3 1/3 /3if z z r e θ= = 3 sheets
( ) ( ) ( )ln( ) ln lnif z z r e r iθ θ= = = + Infinite number of sheets
( ) ( ) ( )lnln ln lnr iz z r if z z e e e e eπ π θπ π π πθ+
= = = = =
Infinite number of sheets
The power is an irrational number.
( ) 4/5 4/5 4 /5if z z r e θ= = 5 sheets
( ) / / /p q p q ip qf z z r e θ= = q sheets
39
Other Multiple-Branch Functions (cont.)
40
x
y
x
y
Infinite # of sheets
Riemann surface for ln (z)
Note: There are no escalators here: as we keep going in one direction (clockwise or counterclockwise), we never return to the original sheet.