C10-06.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 10 APPLICATIONS of HARMONIC FUNCTION S

Section 10.6 Two Dimensional Electrostatics

A two-dimensional electrostatic field is produced by a system of charged wires, plates, and cylindrical conductors that are perpendicular to the z-plane. The wires, plates, and cylinders are assumed to be so long that the effects at the ends can be neglected as mentioned in Section 10.4. This sets up an electric field E(x,y) that can be interpreted as the force acting on a unit positive charge placed at the point `(x,y)` . In the study of electrostatics the vector field E(x,y) is shown to be conservative and is derivable from a function phi(x,y) , called the electrostatic potential , as expressed by the equation

E(x,y) = -grad*phi(x,y) = - Diff(phi(x,y),x) `- i` Diff(phi(x,y),y) .

The function phi(x,y) is harmonic. Let psi(x,y) be the harmonic conjugate, then

f(z) = phi(x,y)+i*psi(x,y)

is the complex potential (not to be confused with the electrostatic potential). The curves phi(x,y) = K[1] are called the equipotential curves , and the curves psi(x,y) = K[2] are called the lines of flux . If a small test charge is allowed to move under the influence of the field E(x,y) , then it will travel along a line of flux. Boundary value problems for the potential function phi(x,y) are mathematically the same as those for steady state heat flow, and they are realizations of the Dirichlet problem where the harmonic function is phi(x,y) .

Load Maple's "contourplot" procedure.
Make sure this is done only ONCE during a Maple session.

> with(plots):


Example 9.18, Page 425. Consider two parallel conducting planes that pass perpendicular to
the
z -plane through the lines x = a and y = b , which are kept at the potentials U[1] and U[2] ,
respectively. Then according to the result of Example 10.1, the electrical potential is
f(x,y) = U[1]+(U[2]-U[1])/(b-a)*(x-a) .


Example 9.19, Page 425. Find the electrical potential f(x,y) in the region between the two
infinite coaxial cylinders
r = a and r = b , which are kept at potentials U[1] and U[2] , respectively.

For an illustration we will use the boundary values:
f(x,y) = 0 when abs(z) = 1 ,
f(x,y) = 40 when abs(z) = 2 .

> a:='a': b:='b': u:='u': U1:='U1': U2:='U2': x:='x': y:='y':
a := 1:
b := 2:
U1 := 0:
U2 := 40:
`a ` = a, ` b ` = b;
`When |z| = a, f(x,y) ` = U1;
`When |z| = b, f(x,y) ` = U2;
u := proc(x,y)
U1 + (U2-U1)/(ln(b)-ln(a)) *
(ln(x^2+y^2)/2 - ln(a))
end:

`a ` = 1, `  b ` = 2

`When |z| = a,  f(x,y) ` = 0

`When |z| = b,  f(x,y) ` = 40

> `u(x,y) ` = u(x,y);
contourplot(u(x,y), x=-2..2, y=-2..2,
title=`u(x,y) = 20 ln(x^2+y^2)/ln(2)`,
axes=boxed, grid=[50,50]);

`u(x,y) ` = 20/ln(2)*ln(y^2+x^2)

[Maple Plot]


Example 9.20, Page 425. Find the electrical potential f(x,y) produced by two
charged half-planes that are perpendicular to the
z -plane and pass trought the rays
x < -1 , y = 0 and 1 < x , y = 0 where the planes are kept at the fixed potentials:
f(x,0) = -300 for x < -1 ,
f(x,0) = 300 for 1 < x .

> u:='u': U:='U': x:='x': y:='y':
u := proc(x,y)
600/Pi*Re(arcsin(x + I*y))
end:
U := proc(x,y)
600/Pi*arcsin((sqrt((x+1)^2 + y^2) -
sqrt((x-1)^2 + y^2))/2)
end:
`u(x,y) ` = u(x,y);
`U(x,y) ` = U(x,y);

`u(x,y) ` = 600/Pi*Re(arcsin(x+I*y))

`U(x,y) ` = 600/Pi*arcsin(1/2*sqrt(x^2+2*x+1+y^2)-1/2*sqrt(x^2-2*x+1+y^2))

> contourplot(u(x,y), x=-4..4, y=-4..4,
title=`u(x,y) = 600/Pi Re(arcsin(x + I y))`,
axes=boxed, grid=[50,50],
scaling=constrained);

[Maple Plot]


Example 10.21, Page 426. Find the electrical potential f(x,y) in the
disk
D : abs(z) < 1 that satisfies the boundary values:
f(x,y) = 80 for z = exp(i*theta) and 0 < theta < pi/2 ,
f(x,y) = 0 for z = exp(i*theta) and pi/2 < theta < 2*pi .

> f:='f': u:='u': U:='U': v:='v': V:='V':
w:='w': W:='W': x:='x': y:='y':
w := (1-I)*(z - I)/(z - 1): `w ` = w;
W := subs(z=x+I*y,w): `w ` = W;
W := simplify(evalc(W)): `w ` = W;
U := ((x-1)^2-2*y)/((x-1)^2+y^2):
V := (1-x^2-y^2)/((x-1)^2+y^2): `w ` = U + I*V;
`log(w) ` = log(W);
`log(w) ` = evalc(log(W));

`w ` = (1-I)*(z-I)/(z-1)

`w ` = (1-I)*(x+I*y-I)/(x+I*y-1)

`w ` = -(2*x-x^2+2*y-y^2+I*x^2+I*y^2-1-I)/(x^2-2*x+1+y^2)

`w ` = ((-1+x)^2-2*y)/(y^2+(-1+x)^2)+I*(-x^2-y^2+1)/(y^2+(-1+x)^2)

`log(w) ` = ln(-(2*x-x^2+2*y-y^2+I*x^2+I*y^2-1-I)/(x^2-2*x+1+y^2))

`log(w) ` = 1/2*ln((-2*x+x^2-2*y+1+y^2)^2/(x^2-2*x+1+y^2)^2+(-x^2-y^2+1)^2/(x^2-2*x+1+y^2)^2)+I*arctan((-x^2-y^2+1)/(x^2-2*x+1+y^2),(-2*x+x^2-2*y+1+y^2)/(x^2-2*x+1+y^2))

Use the imaginary part.

> f := proc(x,y)
80/Pi*argument((1-I)*(x+I*y-I)/(x+I*y-1))
end:
v := proc(x,y)
80/Pi*arctan(1-x^2-y^2,(x-1)^2-2*y)
end:
`f(x,y) ` = f(x,y);
`v(x,y) ` = v(x,y);
contourplot(v(x,y), x=-1..1, y=-1..1,
title=`v(x,y) = 80 Arg((1-I)(z-I)/(z-1))/Pi`,
axes=boxed, grid=[100,100],
scaling=constrained);

`f(x,y) ` = 80/Pi*argument((1-I)*(x+I*y-I)/(x+I*y-1))

`v(x,y) ` = 80/Pi*arctan(-x^2-y^2+1,(-1+x)^2-2*y)

[Maple Plot]

>

>

End of Section 10.6.