This document is the preface and contents for a set of notes on complex analysis. It was prepared by Charudatt Kadolkar for MSc students at IIT Guwahati in 2000 and 2001. The notes cover topics such as complex numbers, functions of complex variables, analytic functions, integrals, series, and the theory of residues and its applications. The contents section provides an outline of the chapters and topics to be covered.
Introduction to Complex Analysis course, acknowledgments, and course contents covering basic definitions, properties, and function types.
Detailed definitions and properties of complex numbers including algebraic operations, polar coordinates, Euler's formula, and roots in the complex plane.
Introduction to complex variable functions, elementary functions, mappings, and logarithmic functions with notable mappings by elementary functions.
Concepts of limits, continuity, derivatives, Cauchy-Riemann equations, and analytic functions with examples and characteristics.
Integrals in complex analysis, contour definitions, Cauchy-Goursat theorem, and methods for computing contour integrals.
Convergence of sequences and series, Taylor series, and Laurent series with definitions and examples.
Introduction to residues, singularities, types of singularities, and their applications in complex analysis with examples.
Appendices including references and the index for further reading and navigation in the course material.
Preface
Preface Head
These noteswere prepared during the lectures given to MSc students at IIT Guwahati,
July 2000 and 2001..
Acknowledgments
As of now none but myself
IIT Guwahati Charudatt Kadolkar.
4.
Contents
Preface iii
Preface Headiii
Acknowledgments iii
1 Complex Numbers 1
De• nitions 1
Algebraic Properties 1
Polar Coordinates and Euler Formula 2
Roots of Complex Numbers 3
Regions in Complex Plane 3
2 Functions of Complex Variables 5
Functions of a Complex Variable 5
Elementary Functions 5
Mappings 7
Mappings by Elementary Functions. 8
3 Analytic Functions 11
Limits 11
Continuity 12
Derivative 12
Cauchy-Riemann Equations 13
5.
vi Contents
Analytic Functions14
Harmonic Functions 14
4 Integrals 15
Contours 15
Contour Integral 16
Cauchy-Goursat Theorem 17
Antiderivative 17
Cauchy Integral Formula 18
5 Series 19
Convergence of Sequences and Series 19
Taylor Series 20
Laurent Series 20
6 Theory of Residues And Its Applications 23
Singularities 23
Types of singularities 23
Residues 24
Residues of Poles 24
Quotients of Analytic Functions 25
A References 27
B Index 29
Roots of ComplexNumbers 3
Roots of Complex Numbers
Let then
! # $ %
' (
) 0 1 2 34 5 5
There are only 4
distinct roots which can be given by
2 6 7 8 9 8 @ @ @ 8
4 A
9 @
If B is a
principle value of C D E F then B G
4
is called the principle root.
Example 1.1 The three possible roots of H I P Q
R S T U V W X Y ` a b c d e f g h
are i p q
g f r s
i p q
g f r t
p
r
q
g h s
i p q
g f r t
p u q
g h
.
Regions in Complex Plane
1. v w x y € of ‚ is de• ned as a set of all points ƒ which satisfy
„
ƒ … ƒ
‚
„ † ‡
2. ˆ ‰ ‘ ’ “ ” • – — of ˜ ™ is a nbd of ˜ ™ excluding point ˜ ™ .
3. Interior Point, Exterior Point, Boundary Point, Open set and closed set.
4. Domain, Region, Bounded sets, Limit Points.
8 Chapter 2Functions of Complex Variables
Mapping of Á Â
10.80.60.40.20-0.2-0.4-0.6
2
1.5
1
0.5
0
Mapping Á Â
1. A straight line Ã Ä Å maps to a parabola Æ Ç È É Ê Ë Ì Í Î Ï Ë Ì Ð
2. A straight line Ñ Ò Ë maps to a parabola Ó Ì Ò Ê Ë Ì Í Î Ï Ë Ì Ð
3. A half circle given by Ô Ò Õ Ö × Ø Ù where Ú Û Ü Û Ý maps to a full circle given by
Þ
Ò Õ
Ì
Ö
×
Ø Ì Ù ß
This also means that the upper half plane maps on to the entire complex
plane.
4. A hyperbola à Ì
Ï
Ñ Ì Ò á maps to a straight line â ã á ä
Mappings by Elementary Functions.
1. Translation by å æ is given by ç ã å è å æ ä
2. Rotation through an angle é æ is given by ç ã ê ë ì å ä
3. Rel• ection through x axis is given by ç ã í
î ï
4. Exponential Function
13.
Mappings by ElementaryFunctions. 9
Exponential Function
A vertical line maps to a circle.
A horizontal line maps to a radial line.
A horizontal strip enclosed between ð ñ ò and ð ñ ó ô maps to the entire complex
plane.
5. Sine Function õ ö ÷ ø ñ õ ö ÷ ù ú û õ ü ð ý þ ú û õ ù õ ö ÷ ü ð
A vertical line maps to a branch of a hyperbola.
A horizontal line maps to an ellipse and has a period of ó ô .
Cauchy-Riemann Equations 13
Theconverse in not true. See Example 3.7.
Even if component functions of a complex function have all the partial derivatives, does
not imply that the complex function will be differentiable. See Example 3.7.
Some rules for obtaining the derivatives of functions are listed here. Let ½ and ¾ be
differentiable at ¿ À
1. Á
Á Â
Ã
½ Ä ¾ Å
Ã
¿ Å Æ ½ Ç
Ã
¿ Å Ä ¾
Ã
¿ Å À
2. Á
Á Â
Ã
½ ¾ Å
Ã
¿ Å Æ ½ Ç
Ã
¿ Å ¾
Ã
¿ Å È ½
Ã
¿ Å ¾ Ç
Ã
¿ Å À
3. Á
Á Â
Ã
½ É ¾ Å
Ã
¿ Å Æ
Ã
½
Ç
Ã
¿ Å ¾
Ã
¿ Å Ê ½
Ã
¿ Å ¾
Ç
Ã
¿ Å Å É Ë ¾
Ã
¿ Å Ì Í if ¾
Ã
¿ Å ÎÆ Ï À
4. Á
Á Â
Ã
½ Ð Ñ Ò Ó Ô Ò Õ Ö × Ó Ñ Ó Ô Ò Ò Ñ × Ó Ô Ò Ø
5. Ù
Ù Ú Û
Õ Ü Ø
6. Ù
Ù Ú
Ô Ý Õ Þ Ô Ý ß à Ø
Cauchy-Riemann Equations
Theorem 3.3 If Ö
×
Ó Ô á Ò exists, then all the •rst order partial derivatives of component
function â Ó ã ä å Ò and æ Ó ã ä å Ò exist and satisfy Cauchy-Riemann Conditions:
â ç Õ æ è
â
è
Õ é æ
ç
Ø
Example 3.8 Ö Ó Ô Ò Õ Ô ê Õ ã ê
é
å ê ë ì í ã å Ø Show that Cauchy-Riemann Condtions
are satis•ed.
Example 3.9 Ö Ó Ô Ò Õ î Ô î
ê
Õ ã
ê
ë å
ê
Ø Show that the Cauchy-Riemann Condtions are
satis•ed only at Ô Õ Ü .
Theorem 3.4 Let Ö Ó Ô Ò Õ â Ó ã ä å Ò ë ì æ Ó ã ä å Ò be de•ned in some nbd of the point Ô á Ø If
the •rst partial derivatives of â and æ exist and are continuous at Ô
á
and satisfy Cauchy-
Riemann equations at Ô á , then Ö is differentiable at Ô á and
Ö
×
Ó Ô Ò Õ â
ç
ë ì æ
ç
Õ æ
è
é
ì â
è
Ø
Example 3.10 Ö Ó Ô Ò Õ ï ð ñ Ó Ô Ò Ø Show that Ö × Ó Ô Ò Õ ï ð ñ Ó Ô Ò Ø
Example 3.11 Ö Ó Ô Ò Õ ò ó ô Ó Ô Ò Ø Show that Ö × Ó Ô Ò Õ õ ö ò Ó Ô Ò Ø
Example 3.12 Ö Ó Ô Ò Õ ÷
ø ù
ø ú
Show that the CR conditions are satis•ed at û ü ý but the
function þ is not differentiable at ý
ú
Cauchy-Goursat Theorem 17
Cauchy-GoursatTheorem
Theorem 4.1 (Jordan Curve Theorem) Every simple and closed contour in complex
plane splits the entire plane into two domains one of which is bounded. The bounded
domain is called the interior of the countour and the other one is called the exterior of
the contour.
De• ne a sense direction for a contour.
Theorem 4.2 Let ' be a simple closed contour with positive orientation and let ( be
the interior of ' ) If 0 and 1 are continuous and have continuous partial derivatives
2 3 4 2 5 4
1
3
and 1
5
at all points on 6 and 7 , then
8 9 @
2
@ A
4 B C D
A E
1
@ A
4 B C D B C F
8 8 G
1
3
@ A
4 B C H 2
5
@ A
4 B C I D
A
D B
Theorem 4.3 (Cauchy-Goursat Theorem) Let P be analytic in a simply connected
domain 7 Q If 6 is any simple closed contour in 7 , then
8
9
P
@ R
C D
R
F S
Q
Example 4.7 P
@ R
C F
R T
4 U V W
@ R
C 4 X Y `
@ R
C
etc are entire functions so integral about any
loop is zero.
Theorem 4.4 Let 6 a and 6
T
be two simple closed positively oriented contours such
that 6
T
lies entirely in the interior of 6 a Q If P is an analytic function in a domain 7 that
contains 6 a and 6
T
both and the region between them, then
8
9 b
P
@ R
C D
R
F
8
9 c
P
@ R
C D
R
Q
Example 4.8 P
@ R
C F d e
R
. Find f
9
P
@ R
C D
R
if 6 is any contour containing origin.
Choose a circular contour inside 6 Q
Example 4.9 f
9
a
g h g i
D
R
F p q r
if 6 contains
R s
Q
Example 4.10 Find f
9
T
g t g
g
c u
T
where 6 v w
R
w
F p
Q Extend the Cauchy Goursat theorem
to multiply connected domains.
Antiderivative
Theorem 4.5 (Fundamental Theorem of Integration) Let P be de•ned in a simply
connected domain 7 and is analytic in 7 . If
R s
and
R
are points in 7 and 6 is any
contour in 7 joining
R s
and
R
4
then the function
x
@ R
C F
8 9
P
@ R
C D
R
21.
18 Chapter 4Integrals
is analytic in y and € ‚ ƒ „ … † ‚ ƒ „ ‡
De• nition 4.4 If † is analytic in y and ƒ ˆ and ƒ ‰ are two points in y then the de•nite
integral is de•ned as ‘
’
“
† ‚ ƒ „ ” ƒ … € ‚ ƒ ‰ „ • € ‚ ƒ ˆ „
where € is an antiderivative of † .
Example 4.11
‰ – —
˜ ™
ƒ
‰
” ƒ … ƒ d e f g
g
‰ – —
™
…
‰
d h i
ˆ ˆ
d
‡
Example 4.12
—
˜
ˆ j k l
ƒ …
l m n
ƒ o
—
ˆ
…
l m n
i
•
l m n p
‡
Example 4.13
‘
˜
“ q
… r
k s
ƒ ‰ • r
k s
ƒ ˆ ‡
Cauchy Integral Formula
Theorem 4.6 (Cauchy Integral Formula) Let † be analytic in domain y . Let t be a
positively oriented simple closed contour in y . If ƒ
™
is in the interior of t then
† ‚ ƒ
™
„ …
p
u v
i
’ w
† ‚ ƒ „ ” ƒ
ƒ
•
ƒ
™
‡
Example 4.14 † ‚ ƒ „ …
ˆ
‘
– x
‡ Find
˜
w
† ‚ ƒ „ ” ƒ if t y
o
ƒ •
i
o
…
u
‡
Example 4.15 † ‚ ƒ „ …
‰
– ˆ
‡ Find
˜
w
† ‚ ƒ „ ” ƒ if t is square with vertices on ‚ z
u {
z
u
„ ‡
Theorem 4.7 If † is analytic at a point, then all its derivatives exist and are analytic
at that point.
† | } ~ ‚ ƒ
™
„ … €
u v
i
’ w
† ‚ ƒ „ ” ƒ
‚ ƒ
•
ƒ
™
„
}
– ˆ
Laurent Series 21
and9 is any contour in @ .
Example 5.11 If A is analytic inside a disc of radius B about C D E then the Laurent
series for A is identical to the Taylor series for A . That is all F G H I .
Example 5.12 P
P Q R
H S T
G U
P V W
P X Y ` a
b c
where d e d f g h
Example 5.13 i p e q r s t
u
b
s t v
u
b
s w v
h Find Laurent series for all d e d x g y g x d e d x €
and d e d f € h
Example 5.14 Note that
t
r
t
w ‚ ƒ „ …
i p e q † e h
Quotients of AnalyticFunctions 25
Example 6.12 w x y € ‚
ƒ „ ƒ … ƒ † ‡ ˆ
. Simple pole at y ‰ Res w x ‰ € ‘ ’ ‘ “ . Pole of
order ” at y • . Res w x • € – ‘ ’ ‘ “ .
Example 6.13 w x y € — ˜ ™ d
d e f d g h i j
. Res k l m n o p q r s t . Res k l s n o p u v p s w x r y s t z
Quotients of Analytic Functions
Theorem 6.3 If a function k l { n o | } ~
€ ‚ ƒ
, where „ and … are analytic at † ‡ ˆ then
1. ‰ is singular at † ‡ iff … Š † ‡ ‹ Œ Ž
2. ‰ has a simple pole at † ‡ if … Š † ‡ ‹ Œ . Then residue of ‰ at † ‡ is „ Š † ‡ ‹ ‘ … Š † ‡ ‹ .