Академический Документы
Профессиональный Документы
Культура Документы
Many engineering problems can be treated and solved by using complex numbers and complex
functions. We will look at complex numbers, complex functions and complex differentiation.
Part I Complex Numbers
In algebra we discovered that many equations are not satisfied by any real numbers. Examples
are:
x 2 2
x 2 2 x 40 0
or
Re z x ,
Example 1: Re(4,6) 4
and
Im(4,6) 6
z1 z2 (3 5, 4 (6)) (2,10)
z1 z2 (3 5 4 ( 6),3
( 6) 4 5) (39,
2) .
We need to represent complex numbers in a manner that will make addition and multiplication
easier to do.
( x, y ) ( x,0) (0, y ) x iy
z1 z2 ( x1 x2 y1 y2 , x1 y2 x2 y1 ) = x1 x2 y1 y2 i ( x1 y2 x2 y1 ) .
g x iy
2
1
1
x-axis
g(2, 3) 2 3i
2
So the real number ( x,0) is the point on the horizontal x-axis, the purely imaginary number
yi (0, y ) is on the vertical y-axis. For the complex number ( x, y ) , x is the real part and y is
the imaginary part.
Example 4. Locate 2-3i on the graph above.
How do we divide complex numbers? Lets introduce the conjugate of a complex number then
go to division.
Given the complex number z x iy , define the conjugate z x iy x iy
We can divide by using the following:
z1 x1 iy1 x1 iy1 x2 iy2 x1 x2 y1 y2 i ( x2 y1 x1 y2 )
Example 5.
2 3i (2 3i)(3 4i ) 6 12i 2 8i 9i
6
17
i
2
3 4i (3 4i )(3 4i)
9 16i
25 25
Problem Set I
Find
1. i 2
2. i 3
3. i 4
5. i 1
4. i 21
6. i 2
z1
z3
16. 2 i
14.
17. i
x 2 2 .
x 2 2 x 40 0 .
7. i 3
8. i 4
9. i 24
12. z3 z 2
i
15.
z2
18. 1 3i and its conjugate.
y
the argument of z, arctan . The values of r and determine z uniquely, but the converse
x
is not true. The modulus r is determined uniquely by z, but is only determined up to a multiple
of 2. There are infinitely many values of which satisfy the equations x r cos , y r sin ,
but any two of them differ by some multiple of 2. Each of these angles is called an argument
of z, but, by convention, one of them is called the principal argument.
If z is a non-zero complex number, then the unique real number , which satisfies
x z cos , y z sin ,
is called the principal argument of z, denoted by arg( z ) .
Definition
Note: The distance from the origin to the point ( x, y ) is z , the modulus of z; the argument of z
y
. Geometrically, is the directed angle measured from the positive xx
axis to the line segment from the origin to the point ( x, y ) . When z 0 , the angle is
undefined.
The polar form of a complex number allows one to multiply and divide complex number
i
i
more easily than in the Cartesian form. For instance, if z1 r1e 1 and z2 r2e 2 then
z z
y
z1 z2 r1r2ei (1 2 ) ,
z1 r1 i (1 2 )
e
. These formulae follow directly from DeMoivres formula.
z2 r2
9
, but
would work also.
4
4
arctan1 . The
x
4
and
z1 r1
(cos(1 2 ) i sin(1 2 ))
z2 r2
z2 3 i 2 cos i sin
Example 7: z1 1 i 2 cos i sin and
4
4
6
6
5
5
i sin
Then z1 z2 2 cos i sin 2 cos i sin = 2 2 cos
4
4
6
6
12
12
10 5
Since
4 6 24 12
And
2 cos i sin
z1
4
4
2
cos i sin
=
=
z2
2
12
12
2 cos i sin
6
6
Let r 1 to get:
Example 8: Compute (1 i )6
6
1 i 2 cos i sin
4
4
2 cos 6 i sin 6
4
4
3
3
8 cos
i sin
2
2
8i
6
(Equation 1)
.
n
. And
n n
4
6
n 4 implies
. However n 6 implies
.
n n
n n
We get
k 2 )
k 2 )
z n x cos
i sin
,
n
n
Example 9:
i sin , we let
2
2
1
1
1
1
w1 1 cos i sin
cos
i sin
i
is one square root of i . The
4
4
2
2
2 2
2 2
5
5
1
1
w1 1 cos i sin
cos
i sin
i
.
4
4
2
2
4
4
3 1
z1 6 1 cos i sin
i
2 2
6
6
2
2
z2 6 1 cos i sin
i
6 6
6 6
3 1
4
4
z3 6 1 cos i sin
i
2 2
6 6
6 6
3 1
6
6
z4 6 1 cos i sin
i
2 2
6 6
6 6
8
8
z5 6 1 cos i sin
i
6 6
6 6
3 1
10
10
z6 6 1 cos
i
i sin
6
6
2 2
6
6
4i
3
3
4 cos
i sin = 2(cos i sin )
2
2
(3 k 2 )
3 7 11 15
, ,
,
Where
. So
2 4
8 8 8
8
Solution:
4i =
4i 2 cos i sin
8
= 2 cos
i sin
8
3
2(0.3827 0.9239i )
8
7
2(0.9239 0.3827i)
8
11
11
2 cos
i sin
2(0.3827 0.9239i )
8
8
15
15
2 cos
i sin
2(0.9239 0.3827i ) .
8
8
Problem Set II
Write in polar form:
1. 3i
2. 2 2i
2 3i
3.
i sin
4. 32 cos
4
4
5. 3(cos i sin )
7. Find (2 2i ) 4
8. Find
9. Find 4 16 16i
10. Find
3 i
5
32
6.
2 cos i sin
4
4
where u u ( x, y ) and v v( x, y ).
gw
gz
values of f are close to L for all z close to z0 . Mathematically: for every 0 , we can find
0 such that for all z z0 in the neighborhood N ( z0 , r ) , so that if 0 | z z0 | , then
| f ( z ) L | .
Notice that this definition of a limit is similar to the definition in calculus. The difference here is
that z can approach z0 from any direction in the complex plane.
f ( z) L .
Definition: A function w f ( z ) is continuous at z z0 if f ( z0 ) is defined and lim
z z0
By definition a complex function that is continuous at z0 is defined in a neighborhood of z0 .
f ( z ) is continuous in a domain D if it is continuous at each point in the domain D.
f ( z h) f ( z )
h
2!
3!
n!
y2 y4 y6
y3 y5
iy
1
i
y
=
+
e
2! 4! 6!
3! 5!
iy
10
x 2 x3
xn
2! 3!
n!
y 2 iy 3
(iy ) n
2! 3!
n!
y7
= cos y i sin y .
7!
The formula
Theorem:
e z is never zero.
Theorem:
2
iy
iy
Proof: eiy cos 2 y sin 2 y 1 and e 0 , which implies e 1 .
Theorem:
y2 y4 y6
y3 y5 y 7
i
+
e iy = 1
= cos y i sin y .
2! 4! 6!
3! 5! 7!
eiz e iz
2i
and
eiz e iz
.
cos z
2
11
eiy e iy
.
2i
eiy e iy
e x e x
to get cos(ix)
cosh x .
2
2
e z e z
2
sinh z
e z e z
2
sin( z ) sin z
9. sin 2 z cos 2 z 1
cos( z ) cos z
Logarithmic Functions
If z e w then we write w ln z , called the natural logarithm of z. Thus the natural logarithm
function is the inverse of the exponential function and can be defined by
w ln z ln r i ( 2 k ) where k 0, 1, 2, 3,
where z rei rei 2 i .
So we have that w ln z is multiple-valued, and in fact is infinitely many-valued. If we let k 0
then w ln z ln r i ( 2 k ) ln r i , where 0 2 called the principal value or
principal branch of ln z .
To find the values of ln(1 i ) , let z e w , where z rei r (cos i sin ) and so
w u iv which implies z eu iv eu (cos v i sin v) .
12
r cos v r cos
r sin v r sin
and so v 2k .
Hence we have
w u iv ln r i ( 2k )
7 i
2 k i
4
, we have
1
7 i
7 i
2k i ln 2
2 k i
2
4
4
ln(1 i ) ln 2
The principle value is
1
7 i
ln 2
(let k 0 ).
2
4
5. cosh z cosh( z ) 6. (e z ) 2 e2 z
8. ei 1
9. sin(3 i) 10. e 2 i
11. cos i
13. ln(9)
14. ln(1 2i )
15. ln(i 3 )
16. ln(1 i )
17. ln(1)
18. cos(2 3 i)
19. sec(1 i )
1
cos(1 i )
13