Contour Integrals 2
Contour Integrals 2
II
Function of
Complex
Variables
Dr.
Tarkeshwar
Mathematics II
Singh
Function of Complex Variables
Integration,
Contour
integration,
Anti-
derivatives
Dr. Tarkeshwar Singh
Cauchy -
Goursat Department of Mathematics,
theorem BITS-Pilani K. K. Birla Goa Campus
Mathematics
II
Function of In this this section we will state an important theorem.
Complex
Variables
Dr.
First let us recall that an anti-derivative of a function f (z) is
Tarkeshwar
Singh a function F (z) such that F 0 (z) = f (z).
Integration,
Contour
Examples: An anti-derivative of f (z) = z n , n ∈ N is
n+1
integration,
Anti- F (z) = zn+1 on C.
derivatives
Cauchy -
Goursat
F (z) = e z is an anti-derivative of f (z) = e z on C.
theorem
Cauchy - 1
Goursat F (z2 ) − F (z1 ) = (z2n+1 − z1n+1 ).
theorem
n+1
Cauchy - Goursat theorem
Mathematics
II
Function of In this section we will talk about a fundamental theorem of
Complex
Variables complex analysis. It is named after the two mathematicians who
Dr.
Tarkeshwar
Singh
stated and proved it. It is called Cauchy-Goursat’s theorem.
Integration,
Contour
Cauchy - Goursat theorem
integration,
Anti-
derivatives If a function f is analytic
R at all points interior to and on a simple
Cauchy -
Goursat
closed contour C , then C f (z)dz = 0.
theorem
Cauchy -
f (z)dz = 0
Goursat C
theorem
Mathematics
II
Function of
Complex
Note that the difference between the original Cauchy-Goursat
Variables
and this one is that the contour now need not be simple, so it
Dr.
Tarkeshwar
Singh
can cross itself many times and still the integral will be zero.
Integration,
Contour
Corollary:
integration,
Anti-
derivatives If a function is analytic on a simply connected domain then it
Cauchy -
Goursat must possess an anti-derivative on that domain.
theorem
Cauchy -
and in the interior of it. So by CG we have C f (z)dz = 0.
Goursat
theorem
Mathematics
II Solution: (b) The domain of the principal branch f (z) = Log(z + 2) is
Function of
Complex |z + 2| > 0, −π < arg (z + 2) < π i.e D = C \ (−∞, −2]. So the disk |z| ≤ 1 is
Variables
totally contained in the domain D of the branch so f (z) is analytic on the disk
Dr. R
Tarkeshwar |z| ≤ 1 thus C f (z)dz = 0.
Singh
Integration,
Contour
integration,
Anti-
derivatives
Cauchy -
Goursat
theorem
Mathematics
II
Function of
Example: Let C1 be the anticlockwise oriented boundary of the
Complex
Variables square with corners at ±1 ± i. AndR let C2 be anticlockwise
R
Dr.
Tarkeshwar oriented circle |z| = 4. Show why C1 f (z)dz = C2 f (z)dz for
Singh
(a) f (z) = 3z 21+1 , z+2
(b) f (z) = sin(z/2) .
Integration,
Contour
integration,
Anti- Solution: (a) The only point where the function is not analytic
√
derivatives
Cauchy -
is at z = ± √i 3 , and the absolute value of the points is 1/ 3
Goursat
theorem which is in the interior of the square.
So the function is analytic in the region between C1 and C2 . So
by the principle of deformation of paths we have the result.
Mathematics
II
Function of
Solution: (b) The points where the function is not analytic are
Complex
Variables the points where sin(z/2) = 0 and those points are z = 2nπ
Dr.
Tarkeshwar where n ∈ Z.
Singh
Integration,
Contour So none of these points are in the region enclosed by the two
integration,
Anti-
derivatives
contours. So by the principle of deformation of paths we have
Cauchy -
Goursat
the result.
theorem