www.GetPedia.com
Click on your interest section for more information :
Acne Fitness Equipment Political
Advertising Forums Positive Attitude Tips
Aerobics & Cardio Game Pay-Per-Click Advertising
Affiliate Revenue Goal Setting Public Relations
Alternative Medicine Golf Pregnancy
Attraction Dealing with Grief & Loss Presentation
Online Auction Hair Loss Psychology
Streaming Audio & Online Music Finding Happiness Public Speaking
Aviation & Flying Computer Hardware Real Estate
Babies & Toddler Holiday Recipes & Food and Drink
Beauty Home Improvement Relationship
Blogging, RSS & Feeds Home Security Religion
Book Marketing Humanities Sales
Book Reviews Humor & Entertainment Sales Management
Branding Innovation Sales Telemarketing
Breast Cancer Inspirational Sales Training
Broadband Internet Insurance Satellite TV
Muscle Building & Bodybuilding Interior Design & Decorating Science Articles
Careers, Jobs & Employment Internet Marketing Internet Security
Casino & Gambling Investing Search Engine Optimization
Coaching Landscaping & Gardening (SEO)
Coffee Language Sexuality
College & University Leadership Web Site Promotion
Cooking Tips Leases & Leasing Small Business
Copywriting Loan Software
Crafts & Hobbies Mesothelioma & Asbestos Spam Blocking
Creativity Cancer Spirituality
Credit Business Management Stocks & Mutual Fund
Cruising & Sailing Marketing Strategic Planning
Currency Trading Marriage & Wedding Stress Management
Customer Service Martial Arts Structured Settlements
Data Recovery & Computer Medicine Success
Backup Meditation Nutritional Supplements
Dating Mobile & Cell Phone Tax
Debt Consolidation Mortgage Refinance Team Building
Debt Relief Motivation Time Management
Depression Motorcycle Top Quick Tips
Diabetes Music & MP3 Traffic Building
Divorce Negotiation Vacation Rental
Domain Name Network Marketing Video Conferencing
E-Book Networking Video Streaming
E-commerce Nutrition VOIP
Elder Care Get Organized - Organization Wealth Building
Email Marketing Outdoors Web Design
Entrepreneur Parenting Web Development
Ethics Personal Finance Web Hosting
Exercise & Fitness Personal Technology Weight Loss
Ezine Marketing Pet Wine & Spirits
Ezine Publishing Philosophy Writing
Fashion & Style Photography Article Writing
Fishing Poetry Yoga
Complex Numbers and Functions
______________________________________________________________________________________________
Natural is the most fertile source of Mathematical Discoveries
- Jean Baptiste Joseph Fourier
The Complex Number System
Definition:
A complex number z is a number of the form z = a + ib, where the symbol i = - 1
is called imaginary unit and a,b " R. a is called the real part and b the imaginary
part of z, written
a = Re z and b = Im z.
With this notation, we have z = Re z + i Im z.
The set of all complex numbers is denoted by
C = a + ib a,b " R .
{}
If b = 0, then z = a + i0 = a, is a real number. Also if a = 0, then z = 0 + ib = ib, is
a imaginary number; in this case, z is called pure imaginary number.
Let a + ib and c + id be complex numbers, with a,b,c,d " R.
1. Equality
a + ib = c + id if and only if a = c and b = d.
Note:
In particular, we have z = a + ib = 0 if and only if a = 0 and b = 0.
2. Fundamental Algebraic Properties of Complex Numbers
(i). Addition
(a + ib) + (c + id) = (a + c) + i(b + d).
(ii). Subtraction
(a + ib) - (c + id) = (a - c) + i(b - d).
(iii). Multiplication
(a + ib)(c + id) = (ac - bd) + i(ad + bc).
Remark
(a). By using the multiplication formula, one defines the nonnegative integral
power of a complex number z as
z1 = z, z2 = zz, z3 = z2z, , zn = zn-1z.
Further for z `" 0, we define the zero power of z is 1; that is, z0 = 1.
(b). By definition, we have
i2 = -1, i3 = -i, i4 = 1.
(iv). Division
If c + id `" 0, then
a + ib ac + bd bc - ad
ëÅ‚ öÅ‚ ëÅ‚ öÅ‚
= ìÅ‚ ÷Å‚ + iìÅ‚ ÷Å‚.
2 2
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
c + id c2 + d c2 + d
 Remark
(a). Observe that if a + ib = 1, then we have
1 c
ëÅ‚ öÅ‚ ëÅ‚ - d
öÅ‚
= ìÅ‚ ÷Å‚ + iìÅ‚ ÷Å‚.
2 2
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚
c + id c2 + d c2 + d
(b). For any nonzero complex number z, we define
1
z-1 = ,
z
where z-1 is called the reciprocal of z.
(c). For any nonzero complex number z, we now define the negative integral
power of a complex number z as
1
z-1 = , z-2 = z-1z-1, z-3 = z-2z-1, , z-n = z-n+1z-1.
z
1
-1 -2 -3 -4
(d). i = = -i, i = -1, i = i, i = 1.
i
3. More Properties of Addition and Multiplication
For any complex numbers z, z1, z2 and z3,
(i). Commutative Laws of Addition and Multiplication:
z1 + z2 = z2 + z1;
z1z2 = z2z1.
(ii) Associative Laws of Addition and Multiplication:
z1 + (z2 + z3) = (z1 + z2 ) + z3;
z1(z2z3) = (z1z2 )z3.
(iii). Distributive Law:
z1(z2 + z3) = z1z2 + z1z3.
(iv). Additive and Multiplicative identities:
z + 0 = 0 + z = z;
z Å"1 = 1Å" z = z.
(v). z + (-z) = (-z) + z = 0.
Complex Conjugate and Their Properties
Definition:
Let z = a + ib " C, a,b " R. The complex conjugate, or briefly conjugate, of z is
defined by
z = a - ib.
For any complex numbers z, z1, z2 "C, we have the following algebraic properties of
the conjugate operation:
(i). z1 + z2 = z1 + z2 ,
(ii). z1 - z2 = z1 - z2 ,
(iii). z1z2 = z1 Å" z2 ,
ëÅ‚ z1 öÅ‚ z1
(iv). ìÅ‚ ÷Å‚ = , provided z2 `" 0,
z2
íÅ‚ Å‚Å‚ z2
(v). z = z,
n
(vi). zn = z , for all n "Z,
( )
(vii). z = z if and only if Im z = 0,
(viii). z = -z if and only if Rez = 0,
(ix). z + z = 2Re z,
(x). z - z = i(2Im z),
22
( ) ( )
(xi). zz = Re z + Im z .
Modulus and Their Properties
Definition:
The modulus or absolute value of a complex number z = a + ib, a,b " R is defined as
z = a2 + b2 .
That is the positive square root of the sums of the squares of its real and imaginary
parts.
For any complex numbers z, z1, z2 "C, we have the following algebraic properties of
modulus:
(i). z e" 0; and z = 0 if and only if z = 0,
(ii). z1z2 = z1 z2 ,
z1
z1
(iii). = , provided z2 `" 0,
z2 z2
(iv). z = z = - z ,
(v). z = zz ,
(vi). z e" Re z e" Re z,
(vii). z e" Imz e" Imz,
(viii). z1 + z2 d" z1 + z2 , (triangle inequality)
(ix). z1 - z2 d" z1 + z2 .
The Geometric Representation of Complex Numbers
In analytic geometry, any complex number z = a + ib, a,b " R can be represented by
a point z = P(a,b) in xy-plane or Cartesian plane. When the xy-plane is used in this
way to plot or represent complex numbers, it is called the Argand plane1 or the
complex plane. Under these circumstances, the x- or horizontal axis is called the axis
of real number or simply, real axis whereas the y- or vertical axis is called the axis of
imaginary numbers or simply, imaginary axis.
1
The plane is named for Jean Robert Argand, a Swiss mathematician who proposed the representation of complex numbers in
1806.
Furthermore, another possible representation of the complex number z in this plane is
as a vector OP . We display z = a + ib as a directed line that begins at the origin and
terminates at the point P(a,b). Hence the modulus of z, that is z , is the distance of
z = P(a,b) from the origin. However, there are simple geometrical relationships
between the vectors for z = a + ib , the negative of z; - z and the conjugate of z; z
in the Argand plane. The vector - z is vector for z reflected through the origin,
whereas z is the vector z reflected about the real axis.
The addition and subtraction of complex numbers can be interpreted as vector
addition which is given by the parallelogram law. The  triangle inequality is
derivable from this geometric complex plane. The length of the vector z1 + z2 is
z1 + z2 , which must be less than or equal to the combined lengths z1 + z2 . Thus
z1 + z2 d" z1 + z2 .
Polar Representation of Complex Numbers
Frequently, points in the complex plane, which represent complex numbers, are
defined by means of polar coordinates. The complex number z = x + iy can be
located as polar coordinate (r,¸) instead of its rectangular coordinates (x, y), it
follows that there is a corresponding way to write complex number in polar form.
We see that r is identical to the modulus of z; whereas ¸ is the directed angle from
the positive x-axis to the point P. Thus we have
x = r cos¸ and y = r sin¸ ,
where
r = z = x2 + y2 ,
y
tan¸ = .
x
We called ¸ the argument of z and write ¸ = arg z. The angle ¸ will be expressed
in radians and is regarded as positive when measured in the counterclockwise
direction and negative when measured clockwise. The distance r is never negative.
For a point at the origin; z = 0, r becomes zero. Here ¸ is undefined since a ray like
that cannot be constructed. Consequently, we now defined the polar for m of a
complex number z = x + iy as
z = r(cos¸ + i sin¸) (1)
Clearly, an important feature of arg z = ¸ is that it is multivalued, which means for a
nonzero complex number z, it has an infinite number of distinct arguments (since
sin(¸ + 2kÄ„ ) = sin¸, cos(¸ + 2kÄ„) = cos¸, k "Z) . Any two distinct arguments of z
differ each other by an integral multiple of 2Ä„ , thus two nonzero complex number
z1 = r1(cos¸1 + i sin¸1) and z2 = r2 (cos¸2 + i sin¸2 ) are equal if and only if
r1 = r2 and ¸1 = ¸2 + 2kÄ„ ,
where k is some integer. Consequently, in order to specify a unique value of arg z,
we
may restrict its value to some interval of length. For this, we introduce the concept of
principle value of the argument (or principle argument) of a nonzero complex number
z, denoted as Arg z, is defined to be the unique value that satisfies
- Ä„ d" Arg z < Ä„ .
Hence, the relation between arg z and Arg z is given by
arg z = Argz + 2kĄ , k "Z.
Multiplication and Division in Polar From
The polar description is particularly useful in the multiplication and division of
complex number. Consider z1 = r1(cos¸1 + i sin¸1) and z2 = r2 (cos¸2 + i sin¸2 ).
1. Multiplication
Multiplying z1 and z2 we have
z1z2 = r1r2 cos(¸1 + ¸2 ) + i sin(¸1 + ¸2 ) .
()
When two nonzero complex are multiplied together, the resulting product has a
modulus equal to the product of the modulus of the two factors and an argument
equal to the sum of the arguments of the two factors; that is,
z1z2 = r1r2 = z1 z2 ,
arg(z1z2 ) = ¸1 + ¸2 = arg(z1) + arg(z2 ).
1. Division
Similarly, dividing z1 by z2 we obtain
z1 r1
= cos(¸1 - ¸2 ) + i sin(¸1 - ¸2 ) .
()
z2 r2
The modulus of the quotient of two complex numbers is the quotient of their
modulus, and the argument of the quotient is the argument of the numerator less
the argument of the denominator, thus
z1
z1 r1
= = ,
z2 r2 z2
ëÅ‚ z1 öÅ‚
argìÅ‚ ÷Å‚ = ¸1 - ¸2 = arg(z1) - arg(z2 ).
z2
íÅ‚ Å‚Å‚
Euler s Formula and Exponential Form of Complex Numbers
For any real ¸, we could recall that we have the familiar Taylor series representation
of sin¸ , cos¸ and e¸ :
3 5
¸ ¸
sin¸ = ¸ - + - , - " < ¸ < ",
3! 5!
2 4
¸ ¸
cos¸ = 1- + - , - " < ¸ < ",
2! 4!
2 3
¸ ¸
e¸ = 1+ ¸ + + + , - " < ¸ < ",
2! 3!
Thus, it seems reasonable to define
(i¸)2 (i¸)3
ei¸ = 1+ i¸ + + + .
2! 3!
In fact, this series approach was adopted by Karl Weierstrass (1815-1897) in his
development of the complex variable theory. By (2), we have
(i¸)2 (i¸)3 (i¸)4 (i¸)5
ei¸ = 1+ i¸ + + + + +
2! 3! 4! 5!
2 3 4 5
¸ ¸ ¸ ¸
= 1+ i¸ - - i + + i +
2! 3! 4! 5!
2 4 3 5
¸ ¸ ëÅ‚ ¸ ¸ öÅ‚
= 1- + + + i ¸ - + + = cos¸ + i sin¸.
ìÅ‚ ÷Å‚
2! 4! íÅ‚ 3! 5! Å‚Å‚
Now, we obtain the very useful result known as Euler s2 formula or Euler s identity
ei¸ = cos¸ + i sin¸. (2)
Consequently, we can write the polar representation (1) more compactly in
exponential form as
z = rei¸ .
Moreover, by the Euler s formula (2) and the periodicity of the trigonometry
functions, we get
ei¸ = 1 for all real ¸ ,
ei(2kĄ ) = 1 for all integer k.
1 2
Further, if two nonzero complex numbers z1 = r1ei¸ and z2 = r2ei¸ , the multiplication
and division of complex numbers z1 and z2 have exponential forms
1
z1z2 = r1r2ei(¸ +¸2 ) ,
z1 r1 -¸2 )
1
= ei(¸
z2 r2
respectively.
de Moivre s Theorem
In the previous section we learned to multiply two number of complex quantities
together by means of polar and exponential notation. Similarly, we can extend this
method to obtain the multiplication of any number of complex numbers. Thus, if
k
zk = rk ei¸ , k = 12,& ,n, for any positive integer n, we have
,
1
z1z2 zn = r1r2 rn (ei(¸ +¸2 + +¸n ) ).
In particular, if all values are identical we obtain
n
zn = (rei¸ ) = rnein¸ for any positive integer n.
Taking r = 1 in this expression, we then have
n
(ei¸ ) = ein¸ for any positive integer n.
By Euler s formula (3), we obtain
n
()
cos¸ + i sin¸ = cosn¸ + i sinn¸ (3)
2
Leonhard Euler (1707 -1783) is a Swiss mathematician.
for any positive integer n. By the same argument, it can be shown that (3) is also true
for any nonpositive integer n. Which is known as de Moivre s3 formula, and more
precisely, we have the following theorem:
Theorem: (de Moivre s Theorem)
For any ¸ and for any integer n,
n
()
cos¸ + i sin¸ = cosn¸ + i sinn¸ .
In term of exponential form, it essentially reduces to
n
(ei¸ ) = ein¸ .
Roots of Complex Numbers
Definition:
Let n be a positive integer e" 2, and let z be nonzero complex number. Then any
complex number w that satisfies
wn = z
n
is called the n-th root of z, written as w = z.
Theorem:
Given any nonzero complex number z = rei¸ , the equation wn = z has precisely n
solutions given by
ëÅ‚ ¸ + 2kÄ„ ¸ + 2kÄ„ öÅ‚
ëÅ‚ öÅ‚ ëÅ‚ öÅ‚
n
wk = r cosìÅ‚ ÷Å‚ + i sinìÅ‚ ÷Å‚ k = 01,& ,n - 1,
,
ìÅ‚
íÅ‚ Å‚Å‚ íÅ‚ Å‚Å‚÷Å‚,
íÅ‚ n n Å‚Å‚
or
¸ +2kÄ„
ëÅ‚ öÅ‚
ëÅ‚ öÅ‚
iìÅ‚ ÷Å‚
n
ìÅ‚e íÅ‚ n Å‚Å‚ ÷Å‚, k = 01, & ,n - 1,
wk = r ,
íÅ‚ Å‚Å‚
n
where r denotes the positive real n-th root of r = z and ¸ = Arg z.
Elementary Complex Functions
Let A and B be sets. A function f from A to B, denoted by f : A B is a rule
which assigns to each element a " A one and only one element b " B, we write
b = f (a)
and call b the image of a under f. The set A is the domain-set of f, and the set B is the
codomain or target-set of f. The set of all images
f (A) = { f (a) : a " A }
is called the range or image-set of f. It must be emphasized that both a domain-set
and a rule are needed in order for a function to be well defined. When the domain-set
is not mentioned, we agree that the largest possible set is to be taken.
The Polynomial and Rational Functions
3
This useful formula was discovered by a French mathematician, Abraham de Moivre (1667 - 1754).
1. Complex Polynomial Functions are defined by
P(z) = a0 + a1z + + an-1zn-1 + anzn ,
where a0 ,a1,& ,an "C and n " N. The integer n is called the degree of
polynomial P(z), provided that an `" 0. The polynomial p(z) = az + b is called
a linear function.
2. Complex Rational Functions are defined by the quotient of two polynomial
functions; that is,
P(z)
R(z) = ,
Q(z)
where P(z) and Q(z) are polynomials defined for all z "C for which Q(z) `" 0.
In particular, the ratio of two linear functions:
az + b
f (z) = with ad - bc `" 0,
cz + d
which is called a linear fractional function or Mobius transformation.
The Exponential Function
In defining complex exponential function, we seek a function which agrees with the
exponential function of calculus when the complex variable z = x + iy is real; that is
we must require that
f (x + i0) = ex for all real numbers x,
and which has, by analogy, the following properties:
1 2 1
ez ez = ez +z2 ,
1 2 1
ez ez = ez -z2
for all complex numbers z1, z2 . Further, in the previous section we know that by
Euler s identity, we get eiy = cos y + isin y, y " R. Consequently, combining this
we adopt the following definition:
Definition:
Let z = x + iy be complex number. The complex exponential function ez is defined
to be the complex number
ez = ex+iy = ex (cos y + i sin y).
Immediately from the definition, we have the following properties:
For any complex numbers z1, z2 , z = x + iy, x, y " R, we have
1 2 1
(i). ez ez = ez +z2 ,
1 2 1
(ii). ez ez = ez -z2 ,
(iii). eiy = 1 for all real y,
(iv). ez = ex ,
(v). ez = ez ,
(vi). arg(ez ) = y + 2kĄ, k "Z,
(vii). ez `" 0,
(viii). ez = 1 if and only if z = i(2kĄ), k "Z,
1 2
(ix). ez = ez if and only if z1 = z2 + i(2kĄ), k "Z.
Remark
In calculus, we know that the real exponential function is one-to-one. However ez is
not one-to-one on the whole complex plane. In fact, by (ix) it is periodic with period
i(2Ä„); that is,
ez+i(2kĄ ) = ez , k "Z.
The periodicity of the exponential implies that this function is infinitely many to one.
Trigonometric Functions
From the Euler s identity we know that
eix = cos x + i sin x, e-ix = cos x - i sin x
for every real number x; and it follows from these equations that
eix + e-ix = 2 cos x, eix - e-ix = 2i sin x.
Hence it is natural to define the sine and cosine functions of a complex variable z as
follows:
Definition:
Given any complex number z, the complex trigonometric functions sin z and cosz in
terms of complex exponentials are defines to be
eiz - e-iz
sin z = ,
2i
eiz + e-iz
cosz = .
2
Let z = x + iy, x, y " R. Then by simple calculations we obtain
y y
ei( x+iy) - e-i( x+iy) ëÅ‚ e + e- y öÅ‚ ëÅ‚ - e- y öÅ‚
e
sin z = = sin x Å" ìÅ‚ ÷Å‚ + i cos x Å" ìÅ‚ ÷Å‚.
2i íÅ‚ 2 Å‚Å‚ íÅ‚ 2 Å‚Å‚
Hence
sin z = sin x cosh y + i cos x sinh y.
Similarly,
cosz = cos x cosh y - i sin x sinh y.
Also
2 2
sin z = sin2 x + sinh2 y, cosz = cos2 x + sinh2 y.
Therefore we obtain
(i). sin z = 0 if and only if z = kĄ, k "Z;
(ii). cosz = 0 if and only if z = (Ą 2) + kĄ , k "Z.
The other four trigonometric functions of complex argument are easily defined in
terms of sine and cosine functions, by analogy with real argument functions, that is
sin z 1
tan z = , sec z = ,
cosz cosz
where z `" (Ą 2) + kĄ, k "Z; and
cosz 1
cot z = , csc z = ,
sin z sin z
where z `" kĄ, k "Z.
As in the case of the exponential function, a large number of the properties of the real
trigonometric functions carry over to the complex trigonometric functions. Following
is a list of such properties.
For any complex numbers w,z "C, we have
(i). sin2 z + cos2 z = 1,
1+ tan2 z = sec2 z,
1+ cot2 z = csc2 z;
(ii). sin(w Ä… z) = sin wcosz Ä… coswsin z,
cos(w Ä… z) = coswcosz sin wsin z,
tan w Ä… tan z
tan(w Ä… z) =
;
1 tan w tan z
(iii). sin(-z) = - sin z, tan(-z) = - tan z,
csc(-z) = - csc z, cot(-z) = - cot z,
cos(-z) = cosz, sec(-z) = sec z;
(iv). For any k "Z,
sin(z + 2kĄ ) = sin z, cos(z + 2kĄ ) = cosz,
sec(z + 2kĄ) = sec z, csc(z + 2kĄ ) = csc z,
tan(z + kĄ) = tan z, cot(z + kĄ) = cot z,
(v). sin z = sin z, cosz = cosz, tan z = tan z,
sec z = sec z, csc z = csc z, cot z = cot z;
Hyperbolic Functions
The complex hyperbolic functions are defined by a natural extension of their
definitions in the real case.
Definition:
For any complex number z, we define the complex hyperbolic sine and the complex
hyperbolic cosine as
ez - e-z
sinh z = ,
2
ez + e- z
cosh z = .
2
Let z = x + iy, x, y " R. It is directly from the previous definition, we obtain the
following identities:
sinh z = sinh x cos y + i cosh x sin y,
cosh z = cosh x cos y + i sinh x sin y,
2
sinh z = sinh2 x + sin2 y,
2
cosh z = sinh2 x + cos2 y.
Hence we obtain
(i). sinh z = 0 if and only if z = i(kĄ), k "Z,
Ä„
ëÅ‚ öÅ‚
(ii). cosh z = 0 if and only if z = iìÅ‚ + kÄ„÷Å‚, k "Z.
íÅ‚ Å‚Å‚
2
Now, the four remaining complex hyperbolic functions are defined by the equations
sinh z 1
tanh z = , sech z = ,
cosh z cosh z
Ä„
ëÅ‚ öÅ‚
for z = iìÅ‚ + kÄ„÷Å‚, k "Z;
íÅ‚ Å‚Å‚
2
coth z 1
coth z = , csch z = ,
sinh z sinh z
for z = i(kĄ ), k "Z.
Immediately from the definition, we have some of the most frequently use identities:
For any complex numbers w,z "C,
(i). cosh2 z - sinh2 z = 1,
1- tanh2 z = sech2z,
coth2 z - 1 = csch2z;
(ii). sinh(w Ä… z) = sinh wcosh z Ä… cosh wsinh z,
cosh(w Ä… z) = cosh wcosh z Ä… sinh wsinh z,
tanh w Ä… tanh z
tanh(w Ä… z) =
;
1Ä… tanh w tanh z
(iii). sinh(-z) = - sinh z, tanh(-z) = - tanh z,
csch(-z) = -cschz, coth(-z) = - coth z,
cosh(-z) = cosh z, sech(-z) = sech z;
(iv). sinh z = sinh z, cosh z = cosh z, tanh z = tanh z,
sech z = sech z, csch z = csch z, coth z = coth z;
Remark
(i). Complex trigonometric and hyperbolic functions are related:
siniz = i sinh z, cosiz = cosh z, taniz = i tanh z,
sinhiz = i sin z, coshiz = cosz, tanhiz = i tan z.
(i). The above discussion has emphasized the similarity between the real and their
complex extensions. However, this analogy should not carried too far. For
example, the real sine and cosine functions are bounded by 1, i.e.,
sin x d" 1 and cos x d" 1 for all x " R,
but
siniy = sinh y and cosiy = cosh hy
which become arbitrary large as y ".
The Logarithm
One of basic properties of the real-valued exponential function, ex , x " R, which is
not carried over to the complex-valued exponential function is that of being one-to-
one. As a consequence of the periodicity property of complex exponential
ez = ez+i(2kĄ ) , z "C, k "Z,
this function is, in fact, infinitely many-to-one.
Obviously, we cannot define a complex logarithmic as a inverse function of complex
exponential since ez is not one-to-one. What we do instead of define the complex
logarithmic not as a single value ordinary function, but as a multivalued relationship
that inverts the complex exponential function; i.e.,
w = log z if z = ew ,
or it will preserve the simple relation
elog z = z for all nonzero z "C.
Definition:
Let z be any nonzero complex number. The complex logarithm of a complex variable
z, denoted log z, is defined to be any of the infinitely many values
log z = log z + i arg z, z `" 0.
Remark
(i). We can write log z in the equivalent forms
log z = log z + i(Arg z + 2kĄ ), k "Z.
(ii). The complex logarithm of zero will remain undefined.
(iii). The logarithm of the real modulus of z is base e (natural) logarithm.
(iv). log z has infinitely many values consisting of the unique real part,
Re(log z) = log z
and the infinitely many imaginary parts
Im(log z) = arg z = Arg z + 2kĄ , k "Z.
In general, the logarithm of any nonzero complex number is a multivalued relation.
However we can restrict the image values so as to defined a single-value function.
Definition:
Given any nonzero complex number z, the principle logarithm function or the
principle value of log z, denoted Log z , is defined to be
Log z = log z + iArg z,
where -Ä„ d" Arg z < Ä„ .
Clearly, by the definition of log z and Log z, they are related by
logz = Log z + i(2kĄ), k "Z.
Let w and z be any two nonzero complex numbers, it is straightforward from the
definition that we have the following identities of complex logarithm:
(i). log(w + z) = log w + log z,
wöÅ‚
ëÅ‚
(ii). logìÅ‚ ÷Å‚ = log w - log z,
íÅ‚ Å‚Å‚
z
(iii). elog z = z,
(iv). logez = z + i(2kĄ ) , k "Z,
(v). log(zn) = nlog z for any integer positive n.
Complex Exponents
Definition:
For any fixed complex number c, the complex exponent c of a nonzero complex
number z is defined to be
{ }
zc = ec log z for all z "C \ 0 .
Observe that we evaluate ec log z by using the complex exponential function, but since
the logarithm of z is multivalued. For this reason, depending on the value of c, zc
may has more than one numerical value.
The principle value of complex exponential c, zc occurs when log z is replaced by
principle logarithm function, Log z in the previous definition. That is,
{ }
zc = ecLog z for all z "C \ 0 ,
where - Ä„ d" Arg z d" Ä„ If z = rei¸ with ¸ = Arg z, then we get
zc = ec(log r+i¸ ) = ec log rei¸ .
Inverse Trigonometric and Hyperbolic
In general, complex trigonometric and hyperbolic functions are infinite many-to-one
functions. Thus, we define the inverse complex trigonometric and hyperbolic as
multiple-valued relation.
Definition:
For z "C, the inverse trigonometric arctrig z or trig-1z is defined by
w = trig-1z if z = trigw.
Here,  trig w denotes any of the complex trigonometric functions such as sin w,
cosw, etc.
In fact, inverses of trigonometric and hyperbolic functions can be described in terms
of logarithms. For instance, to obtain the inverse sine, sin-1 z, we write w = sin-1 z
when z = sin w. That is, w = sin-1 z when
eiw - e-1w
z = sin w = .
2i
Therefore we obtain
(eiw )2 - 2iz(eiw ) - 1 = 0,
that is quadratic in eiw . Hence we find that
1
2
eiw = iz + (1- z2 ) ,
1
2
where (1- z2 ) is a double-valued of z, we arrive at the expression
1
2
sin-1 z = -i log iz + (1 - z2 )
()
Ä„
= Ä… i log z + z2 -1 .
()
2
Here, we have the five remaining inverse trigonometric, as multiple-valued relations
which can be expressed in terms of natural logarithms as follows:
cos-1 z = Ä… i log z + z2 - 1 ,
()
1 i - z
ëÅ‚ öÅ‚
tan-1 z = logìÅ‚ ÷Å‚, z `" Ä… i,
íÅ‚ Å‚Å‚
2i i + z
Ä„ 1 i - z
ëÅ‚ öÅ‚
cot-1 z = - logìÅ‚ ÷Å‚, z `" Ä… i,
íÅ‚ Å‚Å‚
2 2i i + z
ëÅ‚
1+ 1- z2 öÅ‚
÷Å‚, z `" 0,
sec-1 z = Ä… i logìÅ‚
ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚
ëÅ‚1+ 1- z2 öÅ‚
Ä„
÷Å‚, z `" 0.
csc-1 z = Ä… i logìÅ‚
ìÅ‚ ÷Å‚
2 z
íÅ‚ Å‚Å‚
The principal value of complex trigonometric functions are defined by
Ä„
Arcsin z = + iLog z + z2 - 1 ,
()
2
Arccosz = i Log z + z2 - 1 ,
()
1 i - z
ëÅ‚ öÅ‚
Arc tan z = LogìÅ‚ ÷Å‚, z `" Ä… i,
íÅ‚ Å‚Å‚
2i i + z
Ä„ 1 i - z
ëÅ‚ öÅ‚
Arccot z = - LogìÅ‚ ÷Å‚, z `" Ä… i,
íÅ‚ Å‚Å‚
2 2i i + z
ëÅ‚1 + 1- z2 öÅ‚
÷Å‚, z `" 0,
Arcsec z = i LogìÅ‚
ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚
ëÅ‚1 + 1 - z2 öÅ‚
Ä„
÷Å‚, z `" 0.
Arccsc z = + iLogìÅ‚
ìÅ‚ ÷Å‚
2 z
íÅ‚ Å‚Å‚
Definition:
For any complex number z, the inverse hyperbolic, archyp z or hyp-1z is defined by
w = hyp-1z if z = hyp w.
Here  hyp denotes any of the complex hyperbolic functions such as sinh z, cosh z,etc.
These relations, which are multiple-valued, can be expressed in term of natural
logarithms as follows:
Å„Å‚
log z + z2 + 1 ,
()
ôÅ‚
sinh-1 z =
òÅ‚
()
ôÅ‚ - log z + z2 + 1 + iÄ„,
ół
cosh-1 z = Ä… log z + z2 - 1 ,
()
1 1- z
ëÅ‚ öÅ‚
tanh-1 z = - logìÅ‚ ÷Å‚, z `" Ä…1,
íÅ‚ Å‚Å‚
2 1+ z
1 ëÅ‚ 1+ z öÅ‚
ëÅ‚ öÅ‚
coth-1 z = - ìÅ‚ - logìÅ‚ ÷Å‚ z `" Ä…1,
iĄ
íÅ‚ Å‚Å‚÷Å‚,
2 íÅ‚ 1- z Å‚Å‚
ëÅ‚1+ 1- z2 öÅ‚
÷Å‚, z `" 0,
sech-1z = Ä… logìÅ‚
ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚
Å„Å‚
ëÅ‚
1+ 1+ z2 öÅ‚
÷Å‚,
ôÅ‚
logìÅ‚ z `" 0,
ìÅ‚ ÷Å‚
z
ôÅ‚
íÅ‚ Å‚Å‚
csch-1z =
òÅ‚
ëÅ‚1+ 1+ z2 öÅ‚
ôÅ‚
÷Å‚
- logìÅ‚ + iÄ„ , z `" 0.
ôÅ‚ ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚
ół
The principle value of complex hyperbolic functions are defined by
Arc sinh z = Log z + z2 +1 ,
()
Arc cosh z = Log z + z2 -1 ,
()
1 1- z
ëÅ‚ öÅ‚
Arc tanh z = - Log , z `" Ä…1,
ìÅ‚ ÷Å‚
íÅ‚1+ Å‚Å‚
2 z
1 ëÅ‚ 1+ z öÅ‚
ëÅ‚ öÅ‚
iĄ
Arc coth z = - ìÅ‚ - Log , z `" Ä…1,
ìÅ‚ ÷Å‚
íÅ‚1- z Å‚Å‚
Å‚Å‚÷Å‚
2 íÅ‚
ëÅ‚1 + 1 - z2 öÅ‚
÷Å‚, z `" 0,
Arcsech z = LogìÅ‚
ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚
ëÅ‚1 + 1 + z2 öÅ‚
÷Å‚, z `" 0.
Arccsch z = LogìÅ‚
ìÅ‚ ÷Å‚
z
íÅ‚ Å‚Å‚