COMPLEX ANALYSIS: Maple Worksheets, 2001
(c) John H. Mathews Russell W. Howell
mathews@fullerton.edu howell@westmont.edu

Complimentary software to accompany the textbook:

COMPLEX ANALYSIS: for Mathematics & Engineering, 4th Ed, 2001, ISBN: 0-7637-1425-9
Jones and Bartlett Publishers, Inc., 40 Tall Pine Drive, Sudbury, MA 01776
Tele. (800) 832-0034; FAX: (508) 443-8000, E-mail: mkt@jbpub.com, http://www.jbpub.com/

CHAPTER 6 COMPLEX INTEGRATION

Section 6.4 The Fundamental Theorems of Integration


Let be analytic in the simply connected domain . The theorems in this section show that an antiderivative can be constructed by contour integration. A consequence will be the fact that in a simply connected domain, the integral of an analytic function along any contour joining to is the same, and its value is given by . Because of this, we will be able to use the antiderivative formulas from Calculus to compute the value of definite integrals.

Theorem 6.8 (Indefinite Integrals or Anti-derivatives)

Let be analytic in the simply connected domain . If is a fixed value in D and if is any contour in D with initial point and terminal point z, then the function given by

, is analytic in D and .

If we set in Theorem 6.8, then we obtain the following familiar result for evaluating a definite integral of an analytic function.

Theorem 6.9 (Definite Integrals)

Let be analytic in a simply connected domain . If and are two points in , then

, where is any antiderivative of .

Example 6.17, Page 240. Evaluate the definite integral .

> f:='f': F:='F': g:='g': z:='z':
f := z -> 1/(2*z^(1/2)):
a := 4:
b := 8+6*I:
g := z -> subs(Z=z,int(f(Z),Z)):
`f(z) ` = f(z);
`a ` = a, ` b ` = b;
`g(z) = `, Int(f(z), z) = g(z);
`g(b) ` = expand(g(b)),` and `,`g(a) ` = expand(g(a));
`g(b) - g(a) ` = g(b) - g(a);
`g(b) - g(a) ` = evalc(g(b) - g(a));
`g(b) - g(a) ` = simplify(g(b) - g(a),power);
Int(f(z), z=a..b) = int(f(z), z=a..b);

Example 6.18, Page 241. Evaluate the definite integral .

> f:='f': F:='F': g:='g': z:='z':
f := z -> cos(z):
a := 1:
b := I:
g := z -> subs(Z=z,int(f(Z),Z)):
`f(z) ` = f(z);
`a ` = a, ` b ` = b;
`g(z) = `, Int(f(z), z) = g(z);
`g(b) ` = expand(g(b)),` and `,`g(a) ` = expand(g(a));
`g(b) - g(a) ` = g(b) - g(a);
`g(b) - g(a) ` = evalc(g(b) - g(a));
Int(f(z), z=a..b) = int(f(z), z=a..b);

Example 6.19 and 6.20, Page 241. Evaluate the definite integral ,
where is the unit circle : , taken with positive orientation

> dz :='dz': f:='f': F:='F': t:='t': T:='T': z:='z': z1:='z1':
f := z -> 1/z:
`f(z) ` = f(z);
z := t -> exp(I*t):
`C: z(t) ` = z(t);
`f(z(t)) ` = f(z(t));
z1 := t -> subs(T=t,diff(z(T), T)):
`dz = z '(t) dt ` = z1(t), `dt`;
Int(f(z),z=C..` `) = Int(f(z(t))*z1(t),t=0..2*pi);
`The anti-derivative is:`;
g := t -> simplify(subs(T=t,int(f(z(T))*z1(T), T))):
`g(z) = ` = g(t);
g1 := g(2*Pi):
g0 := g(0):
`g(2*Pi) ` = expand(g1),` and `,`g(0) ` = expand(g0);
`g(2*Pi) - g(0) ` = expand(g1 - g0);
Int(f(z), z=C..` `) = expand(g1 - g0);

End of Section 6.4.