C06-1.mws

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.1 Complex Integrals

In Chapter 3 we defined the derivative of a complex function. We now turn our attention to the problem of integrating complex functions. We will find that integrals of analytic functions are well behaved and that many properties from Calculus carry over to the complex case. To introduce the integral of a complex function, we start by defining what we mean by the integral of a complex-valued function of a real variable.

Definition 6.1: Integral of f(t)

Let f(t) = u(t)+i*v(t) , where u and v are real-valued functions of the real variable t for a `` <= `` t `` <= `` b, then

int(f(t),t = a .. b) = int(u(t),t = a .. b)+i*int(v(t),t = a .. b) .

We generally evaluate integrals of this type by finding the antiderivatives of u and v and evaluating the definite integrals on the right side of the equation. That is, if `U '(t) = u(t)` and `V '(t) = v(t)` for a `` <= `` t `` <= `` b, we have

int(f(t),t = a .. b) = U(b)-U(a)+i*(V(b)-V(a)) .


Example 6.1, Page 202. Show that int((t-i)^3,t = 0 .. 1) = -5/4 .

> f:='f': t:='t': u:='u': v:='v':
f := t -> (t+I)^3:
`f(t) ` = f(t);
`f(t) ` = evalc(f(t));
u := u -> t^3 - 3*t:
v := v -> - 3*t^2 + 1:
`u(t) ` = u(t);
`v(t) ` = v(t);
Int(u(t)+I*v(t),t) = int(u(t),t) + I*int(v(t),t);
defint := int(u(t),t=0..1) + I*int(v(t),t=0..1):
Int(f(t),t=0..1) = defint;

`f(t) ` = (t+I)^3

`f(t) ` = t^3-3*t+I*(3*t^2-1)

`u(t) ` = t^3-3*t

`v(t) ` = -3*t^2+1

Int(t^3-3*t+I*(-3*t^2+1),t) = 1/4*t^4-3/2*t^2+I*(-t^3+t)

Int((t+I)^3,t = 0 .. 1) = -5/4

Or we could do the integral directly, with complex function for the integrand.

> f:='f': g:='g': t:='t': T:='T':
f := t -> (t+I)^3:
g := t -> subs(T=t, int(f(T),T)):
`f(t) ` = f(t);
`g(t) = `,Int(f(t),t) = g(t);
`g(1) ` = g(1),` and `,
`g(0) ` = g(0);
`g(1) - g(0) ` = g(1) - g(0);
defint := int(f(t), t=0..1):
Int(f(t),t=0..1) = defint;

`f(t) ` = (t+I)^3

`g(t) = `, Int((t+I)^3,t) = 1/4*(t+I)^4

`g(1) ` = -1, `  and  `, `g(0) ` = 1/4

`g(1) - g(0) ` = -5/4

Int((t+I)^3,t = 0 .. 1) = -5/4

Example 6.2, Page 202. Show that int(exp(t+i*t),t = 0 .. pi/2) = (e^(pi/2)-1)/2+i/2*(e^(pi/2)+1) .

> f:='f': t:='t': u:='u': v:='v':
f := t -> exp(t+I*t):
`f(t) ` = f(t);
`f(t) ` = evalc(f(t));
u := u -> exp(t)*cos(t):
v := v -> exp(t)*sin(t):
`u(t) ` = u(t);
`v(t) ` = v(t);
Int(u(t)+I*v(t),t) = int(u(t),t) + I*int(v(t),t);
defint := int(u(t),t=0..Pi/2) + I*int(v(t),t=0..Pi/2):
Int(f(t),t=0..pi/2) = defint;

`f(t) ` = exp(t+I*t)

`f(t) ` = exp(t)*cos(t)+I*exp(t)*sin(t)

`u(t) ` = exp(t)*cos(t)

`v(t) ` = exp(t)*sin(t)

Int(exp(t)*cos(t)+I*exp(t)*sin(t),t) = 1/2*exp(t)*cos(t)+1/2*exp(t)*sin(t)+I*(-1/2*exp(t)*cos(t)+1/2*exp(t)*sin(t))

Int(exp(t+I*t),t = 0 .. 1/2*pi) = 1/2*sqrt(exp(Pi))-1/2+I*(1/2*sqrt(exp(Pi))+1/2)

Or we could do the integral directly, with complex function for the integrand.

> f:='f': g:='g': t:='t': T:='T':
f := t -> exp(t+I*t):
g := t -> subs(T=t, int(f(T),T)):
`f(t) ` = f(t);
`g(t) = `,Int(f(t),t) = g(t);
`g(Pi/2) ` = g(Pi/2),` and `,
`g(0) ` = g(0);
`g(Pi/2) - g(0) ` = g(Pi/2) - g(0);
defint := int(f(t), t=0..Pi/2):
Int(f(t),t=0..pi/2) = defint;
Int(f(t),t=0..pi/2) = evalc(defint);

`f(t) ` = exp(t+I*t)

`g(t) = `, Int(exp(t+I*t),t) = (1/2-1/2*I)*exp(t+I*t)

`g(Pi/2) ` = (1/2-1/2*I)*exp(1/2*Pi+1/2*I*Pi), `  and  `, `g(0) ` = (1/2-1/2*I)*exp(0)

`g(Pi/2) - g(0) ` = (1/2-1/2*I)*exp(1/2*Pi+1/2*I*Pi)+(-1/2+1/2*I)*exp(0)

Int(exp(t+I*t),t = 0 .. 1/2*pi) = 1/2*sqrt(exp(Pi))+1/2*I*sqrt(exp(Pi))-1/2+1/2*I

Int(exp(t+I*t),t = 0 .. 1/2*pi) = 1/2*sqrt(exp(Pi))-1/2+I*(1/2*sqrt(exp(Pi))+1/2)


Example 6.3, Page 203. Show that
int((c+i*d)*(u(t)+i*v(t)),t) = c*int(u(t),t)-d*int(v(t),t)+i*d*int(u(t),t)+i*c*int(v(t),t) .

> c:='c': d:='d': S:='S': t:='t': u:='u': v:='v':
s := int((c + I*d)*(u(t) + I* v(t)), t): S = s;
s := expand(s): S = s;
s := evalc(expand(s)): S = s;

S = int((c+I*d)*(u(t)+I*v(t)),t)

S = (c+I*d)*int(u(t)+I*v(t),t)

S = c*int(u(t),t)-d*int(v(t),t)+I*(c*int(v(t),t)+d*int(u(t),t))

Example 6.4, Page 204. Show that int(exp(i*t),t = 0 .. pi) = 2*i .

> f:='f': g:='g': t:='t': T:='T':
f := t -> exp(I*t):
g := t -> subs(T=t, int(f(T),T)):
`f(t) ` = f(t);
`g(t) = `,Int(f(t),t) = g(t);
`g(Pi) ` = g(Pi),` and `,
`g(0) ` = g(0);
`g(Pi) - g(0) ` = g(Pi) - g(0);
defint := int(f(t), t=0..Pi):
Int(f(t),t=0..pi) = defint;

`f(t) ` = exp(I*t)

`g(t) = `, Int(exp(I*t),t) = -I*exp(I*t)

`g(Pi) ` = -I*exp(I*Pi), `  and  `, `g(0) ` = -I*exp(0)

`g(Pi) - g(0) ` = -I*exp(I*Pi)+I*exp(0)

Int(exp(I*t),t = 0 .. pi) = 2*I

End of Section 6.1.