Professional Documents
Culture Documents
Complex Plane
John Gill
Spring 2015
Given a vector field F : f ( z ) our task is to construct the inverse field G : g( z ) = f 1( z ) when
such a field exists. This is not easily accomplished if g( z ) is not available in closed form and
must be calculated implicitly. Additionally, Zeno contours of the inverse field should be
displayed as graphics. Implicit function analysis then follows, generalizing the inverse.
The contours in the original VF may be expressed as:
(1) : z k ,n = z k 1,n + k ,n ( f ( zk 1,n ) zk 1,n )
z(t ):
or
dz
= ( z ) = f ( z ) z , t : 0 1
dt
1
. For the inverse VF we have ( z( ), ) = f ( z ) = 0 , to be solved for z for
n
by a simple gradient method (not requiring holomorphic functions). Then
Usually k ,n =
each
or
n
(t ):
d
= g( ) = f 1( )
dt
In the next example the Liberty BASIC program I wrote uses an implicit evaluation procedure
that requires gradient searches to ascertain inverse function values at each grid point to plot
the vector field. Then the Zeno contour requires gradient searches, point to point, for 500
steps.
Example 2 : F : f ( z ) = z3 + iz and G : g( z ) = f 1 ( z )
Example 3 :
F : f (z ) = z + e z
and
G : g( z ) = f 1 ( z )
When the function is not univalent there can be an element of confusion in the program as the
inverse vectors and contour jump from one possibility to another. For analytic functions f , the
2
F : f (z ) = z2 +
1
z
and
G : g( z ) = f 1( z )
Example 5 : F : f ( z ) = z + e z and
Example 6 :
( z , ) = z 2 +
Example 7 :
( z , ) = e z + + z = 0 , z = g( )
Example 8 : ( z , ) = e z + + z = 0 , z = g( )
The topographical image over [-1,1] shows areas of questionable definition. For example,
z = g(0) is non-finite.
The Implicit Function Theorem tells us that a function z = g( ) exists locally when
0.
z
Lets assume
( z , )
. Then
z ( z0 , 0 )
is a contraction mapping on the first variable, which in turn (using the Banach Fixed Point
Theorem) shows there is a unique such that F( , 0 ) = . I.e., ( , 0 ) = 0 , so that
e z + + z = 0
z +
In Example 8
0 takes the form e + 0 . Solving the system
to
z +
z
e + = 0
find an exceptional point, gives 1.557 + 0i .
Example 9 : ( z , ) = e z + z 2 = 0 , z = g( )
F ( z , 0 ) = ( z , 0 ) + z
1
2
( z , ) = z 2 + z( 1) + 1 , 0 = i , z( 0 ) = ? if ( z , 0 ) = 0
The Zeno contour has been boosted by employing 10n rather than n . z(i ) .414 + .414i
z
z
( z , ) = Cos
z = 0 . Then F ( z , ) = Cos
Example 11 :
z(1) 1.18i
z(.5) 1.834i
z(.2) 2.67i
For each value of t a Zeno contour is drawn to an attractor. The actual contour z(t ) is not
shown (and is embedded in a time dependent vector field (TDVF) not graphed).
dz
dz
z(1 + etz (t 1)) + 2ti
. Then
= ( z , t ) = F ( z , t ) z , where F ( z , t ) =
.
dt
dt
1 + tetz
Here the contour is determined directly from the original implicit format, rather than
dz
= ( z , t ) .
constructing it as a Zeno contour using
dt
Example 15 : ( z , t ) = ze z t 2 + C = 0 , C = 1 i ,
dz 2te z
=
= ( z , t ) = F ( z , t ) z
dt 1 z
z(0) 1.34 + 5.25i . The Zeno contour has been boosted using 10n .
Zeno denotes the infinite number of actions required in a finite time period if k ,n describes a
partition of the time interval [0,1]. Normally, ( z ) = f ( z ) z for a vector field F = f ( z ) , and
Example 16 :
1 z gk ,n ( z )
gk ,n ( z ) = z +
2
n 1 + gk ,n ( z )
z
1 z
zk ,n = zk 1,n + k 1,2 n , f ( z ) =
+z
1 + z2
n 1 + zk 1,n
dz
z2
=
= ( z , z ) = * ( z )
2
dt 1 + z
Implicit Iteration
Suppose z and are related by ( z , ) = 0 and z = g( ) in regions of C . How does
one iterate z = g( ) ? In theory, iteration would look like this:
0 z( 0 ) = z0 z( z0 ) = z1 z( z1 ) = z2
or
( zk , zk 1 ) = 0 , k = 1,2,
The image is magnified, with the point 1+i in green, and the 250th iterate in red. There are a
fair number of iterate points scattered in a roughly circular pattern (not shown) around the
initial value until finally the iterates fall into the spiral as shown. 500 iterates lead to the same
point, with a bit more accuracy.
From Example 9,
Example 18 : ( z , ;t ) = e zt + zt 2 = 0 , t :0 1