Professional Documents
Culture Documents
Arup Chattopadhyay
Department of Mathematics
IIT Guwahati
1 / 41
Topic 04: Learning Outcome
We learn
Complex Integration
Integration of f : [a, b] ⊂ R → C
Curves: Smooth Curves / Contours
Line Integrals/ Contour Integrals
Path Independence of Contour Integrals
Cauchy-Goursat Theorem for Simply Connected Domains
Extending Cauchy-Goursat Theorem for Multiply Connected
Domains
2 / 41
Integration of f : [a, b] ⊂ R → C
3 / 41
Integration of f : [a, b] ⊂ R → C
Let f : [a, b] → C be a complex valued function of a real variable t.
Then, f (t) = u(t) + iv(t) for t ∈ [a, b] where u(t) and v(t) are real
valued functions of a real variable.
Definition
The definite integral of a complex valued function f (t) over the interval
[a, b] is defined as
Z b Z b Z b
f (t) dt = u(t) dt + i v(t) dt
a a a
Observe that
Z b Z b Z b Z b
< f (t) dt = <(f (t)) dt, = f (t) dt = =(f (t)) dt .
a a a a
4 / 41
Example
Z b
If f (t) = u(t) + i v(t) is continuous in [a, b], then f (t) dt exists.
a
Example: Let f (t) = et + i t2 for 0 ≤ t ≤ 1. Then
Z 1 Z 1
et + i t2 dt
f (t) dt =
0 0
Z 1 Z 1
t
= e dt + i t2 dt
0 0
3 1
t 1 t
= e t=0 +
3 t=0
1
= (e − 1) + i
3
5 / 41
Antiderivative / Primitive
= F (b) − F (a) .
6 / 41
Properties
1 If α and β are complex numbers and f (t) and g(t) are (piecewise)
continuous complex valued functions on [a, b], then
Z b Z b Z b
(α f (t) + β g(t)) dt = α f (t) dt + β g(t) dt .
a a a
2 If f (t) is a (piecewise) continuous complex valued function on
[a, c] and a ≤ b ≤ c, then
Z c Z b Z c
f (t) dt = f (t) dt + f (t) dt .
a a b
3 If f (t) is a (piecewise) continuous complex valued function on
[a, b], then
Z b Z a
f (t) dt = (−1) f (t) dt .
a b
Z b Z b
f (t) dt ≤
|f (t)| dt .
a a
7 / 41
For f : D ⊆ C → C, it is possible to define Riemann integration of f
over a suitable class of curves, namely, contours (piecewise smooth
curves).
Curves
8 / 41
Curves
Definition
A curve γ is a continuous complex valued function γ(t) defined for t in
an interval of the real line.
That is, a curve is a continuous function γ : I ⊆ R → C where I is an
interval and it can be whole of R.
Examples:
The circle γ : γ(t) = eit for t ∈ [0, 2π] is a curve.
The straight line segment joining two distinct points z1 and z2 is
given by γ : γ(t) = tz2 + (1 − t)z1 for t ∈ [0, 1] and it is also an
example for a curve in C.
The parabola γ : γ(t) = t + i t2 for t ∈ R is a curve.
9 / 41
Simple Curves
Definition
A curve γ : γ(t) (a ≤ t ≤ b) is said to be a simple curve if γ(t1 ) 6= γ(t2 )
for a ≤ t1 < t2 ≤ b except possibly for γ(a) = γ(b).
That is, simple curve is a curve that does not cross itself.
Examples: The circle γ : γ(t) = eit for t ∈ [0, 2π] and the straight line
segment γ : γ(t) = tz2 + (1 − t)z1 for t ∈ [0, 1] are simple curves in the
complex plane.
Any curve of shape of the number 8 is not a simple curve.
10 / 41
Closed Curves
Definition
A curve γ : γ(t) (a ≤ t ≤ b) is said to be a closed curve if γ(a) = γ(b).
Examples:
The circle γ : γ(t) = eit for t ∈ [0, 2π] is a closed curve.
The oriented boundary of a rectangle or a triangle are closed curves.
Line segment γ : γ(t) = tz2 + (1 − t)z1 for t ∈ [0, 1] is not a closed
curve.
11 / 41
Simple Closed Curves/ Jordan Curves
Definition
A curve γ : γ(t) (a ≤ t ≤ b) is said to be a simple closed curve or
Jordan curve if γ(a) = γ(b) and γ(t1 ) 6= γ(t2 ) for a < t1 < t2 < b.
Examples:
The circle γ : γ(t) = eit for t ∈ [0, 2π] and the oriented boundary of a
regular polygon are simple closed curves.
Any curve of shape of 8 is a closed curve, but not a simple curve.
The curve γ(t) = t + it2 for t ∈ R is a simple curve, but not closed.
12 / 41
13 / 41
Jordan Curve Theorem
Theorem
Jordan Curve Theorem: The points on any simple close curve (Jordan
curve) C are boundary points of two distinct domains, one of which is
the interior of C and is bounded. The other, which is the exterior of C
is unbounded.
14 / 41
Differentiable Curves
Definition
A curve γ : z(t) = x(t) + i y(t) (a ≤ t ≤ b) is said to be a differentiable
curve if the derivative z 0 (t) = x0 (t) + i y 0 (t) exists and continuous for all
t in [a, b].
15 / 41
Differentiable Curves: Length of the Curve
16 / 41
Smooth Curves or Regular Curves
Definition
A curve γ : z(t) = x(t) + i y(t) (a ≤ t ≤ b) is said to be a smooth curve
or regular curve if
1 the derivative z 0 (t) = x0 (t) + i y 0 (t) exists and continuous in [a, b],
2 z 0 (t) 6= 0 for all t ∈ (a, b).
As the parameter t varies over the interval (a, b), the tangent vector
T (t) turns/ varies continuously.
18 / 41
Contours / Piecewise Smooth Curves
Definition
A contour or piecewise smooth curve, is a curve consisting of a finite
number of smooth curves joined end to end.
19 / 41
Opposite Curve
Definition
Consider the curve C having parametrization C : γ(t) = x(t) + i y(t) for
a ≤ t ≤ b. The opposite curve, denoted by −C, traces out the same
set of points in the complex plane but in the reverse order, and it has
the parametrization
Definition
Let γ be a simple closed contour with the parametrization
γ : z(t) = x(t) + i y(t) for t ∈ [a, b].
If γ is parameterized so that the interior bounded domain of γ is
kept on the left as z(t) moves around γ, then we say that γ is
oriented in the positive (counterclockwise or anticlockwise) sense.
24 / 41
Line Integral / Contour Integral
Integration of f : D ⊆ C → C over (piecewise) smooth curves
25 / 41
Line Integral / Contour Integral
Definition
Suppose that z ≡ z(t) for t ∈ [a, b] represents a contour (that is,
piecewise smooth curve) C, extending from a point z1 = z(a) to a point
z2 = z(b). Let the function f (z) be defined on the contour C. We define
the line integral or contour integral of f along the curve C as follows:
Z Z b
f (z)dz = f (z(t)) z 0 (t) dt .
C a
26 / 41
Properties
1 If α and β are complex numbers and if f (z) and g(z) are
(piecewise) continuous complex valued functions defined on a
contour C, then
Z Z Z
(α f (z) + β g(z)) dz = α f (z) dz + β g(z) dz .
C C C
27 / 41
Properties (Continuation ...)
where M is an upper bound for the set {|f (z)| : z lies on C} and
L is the length of the contour C.
28 / 41
Does Line Integral depend on the Paths?
29 / 41
For Analytic Functions: Does Line Integral depend on
the Paths?
30 / 41
Domains: Simply Connected & Multiply Connected
Definition
A simply connected domain is a domain such that every simple closed
contour within it encloses only points of D.
A domain that is not simply connected is called a multiply connected
domain.
Examples:
The domain |z − z0 | < R is a simply connected domain.
The interior of any simple closed contour is simply connected.
The domain |z − z0 | > R is not simply connected.
The annular domain 0 ≤ R1 < |z − z0 | < R2 is not simply connected.
31 / 41
Antiderivatives / Primitives
32 / 41
When Line Integral does NOT depend on the paths?
The following theorem gives an answer to the question: When the line
integral of f (z) from a point z1 to another point z2 does not depend on
the curves joining them?
Theorem
Suppose that a function f is continuous on a simply connected domain
D. Then, the following three statements are equivalent.
1 The integrals of f (z) along contours lying entirely in D and
extending from any fixed point z1 to any fixed point z2 all have the
same value.
2 f has an antiderivative F in D.
3 The integrals of f (z) around closed contours lying entirely in D
all have value zero.
33 / 41
Cauchy-Goursat Theorem/ Cauchy’s Integral Theorem
Theorem
Cauchy-Goursat Theorem (or Cauchy’s Integral Theorem or Cauchy’s
Integral Theorem for Simply Connected Domain):
If a function f is analytic throughout a simply connected domain D,
then
Z
f (z) dz = 0 for every simple closed contour C lying in D .
C
34 / 41
Proof of Cauchy-Goursat Theorem using Green’s
Theorem
= (u dx − v dy) + i (v dx + u dy)
ZZC CZZ
= (−vx − uy ) dA + i (ux − vy ) dA, by Green’s theorem
Z ZR RZ Z
= 0 dA + i 0 dA = 0 + i 0 = 0 .
R R 36 / 41
Line Integral: Independent of Path
Let C1 and C2 be two paths joining the points z1 and z2 and having no
common points other than z1 and z2 .
Let C2∗ = −C2 be the opposite curve to C2 .
Then, C = C1 − C2 (first C1 , then −C2 ) be a simple closed curve.
If f (z) is analytic
Z on and inside
Z C, then by Cauchy-Goursat Theorem, it
follows that f (z) dz = 0 = f (z) dz
Z C Z 1 −C2
CZ Z
= f (z) dz + f (z) dz = f (z) dz − f (z) dz.
C1 Z −C2 Z C1 C2
38 / 41
Principle of Deformation of Contours
Proof-Hint: By introducing two lines L1 and L2 , convert D into two simply connected domains.
39 / 41
Cauchy’s Theorem for Multiply Connected Domain
Suppose that
C is a simple closed contour positively oriented.
Ck (k = 1, 2, · · · , n) denotes a finite number of simple closed
contours, all positively oriented, that are interior to C and whose
interiors have no points in common.
If a function f is analytic throughout the closed region consisting of all
points within and on C except for the points interior to each Ck then
Z n Z
X
f (z) dz = f (z) dz .
C k=1 Ck
40 / 41
Example
Let C be a positively
Z oriented simple closed contour enclosing the
dz
origin. Show that = 2πi using Cauchy-Goursat Theorem for
C z
multiply connected domains.
41 / 41