35.3. CONTOUR INTEGRALS 701

It equals ∫ 1

0(cos(t)+ isin(t))2 (−sin(t)+ icos(t))dt

=∫ 1

0

(icos3 t−3cos2 t sin t−3icos t sin2 t + sin3 t

)dt

=

(13

cos3− 13

)+

13

isin3

As claimed above, every contour integral reduces to a line integral. Say z = x+ iy andf (z) = u(x,y)+ iv(x,y) as above and γ (t) = x(t)+ iy(t) , t ∈ [a,b] . Then from the abovedefinition, ∫

γ

f (z)dz =∫ b

a(u(x(t) ,y(t))+ iv(x(t) ,y(t)))

(x′ (t)+ iy′ (t)

)dt

=∫ b

a

(u(x(t) ,y(t))x′ (t)− v(x(t) ,y(t))y′ (t)

)+i(v(x(t) ,y(t))x′ (t)+u(x(t) ,y(t))y′ (t)

)dt

≡∫

Γ

u(x,y)dx− v(x,y)dy+ i∫

Γ

v(x,y)dx+u(x,y)dy

which is indeed, just the sum of two line integrals. Thus all the theory of line integralsapplies. In particular, the contour integral is dependent only on the smooth curves and theirorientation. This yields most of the following lemma.

Lemma 35.3.3 Let f be defined and continuous on a piecewise smooth oriented curve Γ

contained in C having parametrization γ . Let the real and imaginary parts of f be denotedby u and v respectively. Then∫

γ

f (z)dz =∫

Γ

udx− vdy+ i∫

Γ

vdx+udy

Also the following estimate is available.∣∣∣∣∫γ

f (z)dz∣∣∣∣≤max(| f (z)| : z ∈ γ

∗)(length of γ∗)

If fn is continuous and

limn→∞

(sup(| fn (z)− f (z)| : z ∈ Γ)) = 0 (35.2)

thenlimn→∞

∫γ

fn (z)dz =∫

γ

f (z)dz (35.3)

Proof: It only remains to verify the estimate.∫

γf (z)dz is some complex number I so

let

ω =

{I|I| if I ̸= 0

1 if I = 0

35.3. CONTOUR INTEGRALS 701It equals1[ (cos (t) + isin (1)? (—sin (t) + icos(t)) dt1[ (icos*t —3cosrsint — 3icostsin?t + sin? t) dt01 1 1= (5 cos3 — 5) + gisin3As claimed above, every contour integral reduces to a line integral. Say z= x+iy andf(z) =u(x,y) +iv(x,y) as above and y(t) = x(t) +iy(t),t € [a,b]. Then from the abovedefinition,[rod=[ weo.v0) +r) yO) WO +0) at= [weo.r0) Ove. r0)¥ 0)+i(v(x(t).»()¥ (0) +u(e().y()y (O) at= [| u(xy)dx—v(xy)dy-+i [ v(x,y)detuley) dyr iwhich is indeed, just the sum of two line integrals. Thus all the theory of line integralsapplies. In particular, the contour integral is dependent only on the smooth curves and theirorientation. This yields most of the following lemma.Lemma 35.3.3 Let f be defined and continuous on a piecewise smooth oriented curve Tcontained in C having parametrization y. Let the real and imaginary parts of f be denotedby u and v respectively. Then[fodde= [ude—vay-+i [ vax-+udyY r rAlso the following estimate is available.[soaTf f, is continuous and< max (|f (z)|: z € y*) (length of y*)dim (sup (|fn(z) — f(z)| +z €T)) =0 (35.2)thenli (z)dz= dz 35.3Bim | fn() ae [sou (35.3)Proof: It only remains to verify the estimate. J, f(z) dz is some complex number J solet_ iif 40— ) 1if7=0