Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
i|
2
4
0
ln
R
2
|x R
i|
2
1
Homer Reids Solutions to Jackson Problems: Chapter 2 2
=
4
0
ln
|x R
i|
2
|x R
i|
2
.
We want to choose R
i|
2
|x R
i|
2
=
or
b
2
+R
2
2R
b cos = b
2
+R
2
2Rb cos .
For this to be true everywhere on the cylinder, the term must drop out, which
requires R
=
b
2
R
.
This is also analogous to the point-charge-and-sphere problem, but there are
dierences: in this case the image charge has the same magnitude as the original
line charge, and the potential on the cylinder is constant but not zero.
(b) At a point (, ), we have
=
4
0
ln
2
+R
2
2R
cos
2
+R
2
2Rcos
.
For large , this becomes
4
0
ln
1 2
R
cos
1 2
R
cos
.
Using ln(1 x) = (x +x
2
/2 + ), we have
4
0
2(R R
) cos
=
2
0
R(1 b
2
/R
2
) cos
(c)
=
0
r=b
=
4
_
2b 2R
cos
b
2
+R
2
2bR
cos
2b 2Rcos
b
2
+R
2
2bRcos
_
=
2
_
b
b
2
R
cos
b
2
+
b
4
R
2
2
b
3
R
cos
b Rcos
b
2
+R
2
2bRcos
_
Homer Reids Solutions to Jackson Problems: Chapter 2 3
Multiplying the rst term by R
2
/b
2
on top and bottom yields
=
2
_
R
2
b
b
R
2
+b
2
2bRcos
_
=
2b
_
R
2
b
2
R
2
+b
2
2bRcos
_
(d) To nd the force on the charge, we note that the potential of the image
charge is
(x) =
4
0
ln
C
2
|x R
i|
2
.
with C some constant. We can dierentiate this to nd the electric eld due to
the image charge:
E(x) = (x) =
4
0
ln |x R
i|
2
=
4
0
2(x R
i)
|x R
i|
2
.
The original line charge is at x = R, y = 0, and the eld there is
E =
2
0
1
R R
i =
2
0
R
R
2
b
2
i.
The force per unit width on the line charge is
F = E =
2
2
0
R
R
2
b
2
tending to pull the original charge in toward the cylinder.
Problem 2.12
Starting with the series solution (2.71) for the two-dimensional potential
problem with the potential specied on the surface of a cylinder of radius
b, evaluate the coecients formally, substitute them into the series, and
sum it to obtain the potential inside the cylinder in the form of Poissons
integral:
(, ) =
1
2
_
2
0
(b,
)
b
2
2
b
2
+
2
2b cos(
)
d
n=1
n
{a
n
sin(n) +b
n
cos(n)} . (1)
Multiplying both sides successively by 1, sin n
, and cos n
and integrating
at = b gives
a
0
=
1
2
_
2
0
(b, )d (2)
a
n
=
1
b
n
_
2
0
(b, ) sin(n)d (3)
b
n
=
1
b
n
_
2
0
(b, ) cos(n)d. (4)
Plugging back into (1), we nd
(, ) =
1
_
2
0
(b,
)
_
1
2
+
n=1
_
b
_
n
[sin(n) sin(n
) + cos(n) cos(n
)]
_
d
=
1
_
2
0
(b,
)
_
1
2
+
n=1
_
b
_
n
cos n(
)
_
. (5)
The bracketed term can be expressed in closed form. For simplicity dene
x = (/b) and = (
). Then
1
2
+
n=1
x
n
cos(n) =
1
2
+
1
2
n=1
_
x
n
e
in
+x
n
e
in
=
1
2
+
1
2
_
1
1 xe
i
+
1
1 xe
i
2
_
=
1
2
+
1
2
_
1 xe
i
xe
i
+ 1
1 xe
i
xe
i
+x
2
2
_
=
1
2
+
_
1 xcos
1 +x
2
2xcos
1
_
=
1
2
+
xcos x
2
1 +x
2
2xcos
=
1
2
_
1 x
2
1 +x
2
2xcos
_
.
Plugging this back into (5) gives the advertised result.
Homer Reids Solutions to Jackson Problems: Chapter 2 5
Problem 2.13
(a) Two halves of a long hollow conducting cylinder of inner radius b are
separated by small lengthwise gaps on each side, and are kept at dierent
potentials V
1
and V
2
. Show that the potential inside is given by
(, ) =
V
1
+V
2
2
+
V
1
V
2
tan
1
_
2b
b
2
2
cos
_
where is measured from a plane perpendicular to the plane through the
gap.
(b) Calculate the surface-charge density on each half of the cylinder.
This problem is just like the previous one. Since we are looking for an
expression for the potential within the cylinder, the correct expansion is (1)
with expansion coecients given by (2), (3) and (4):
a
0
=
1
2
_
2
0
(b, )d
=
1
2
_
V
1
_
0
d +V
2
_
2
d
_
=
V
1
+V
2
2
a
n
=
1
b
n
_
V
1
_
0
sin(n)d +V
2
_
2
sin(n)d
_
=
1
nb
n
_
V
1
|cos n|
0
+V
2
|cos n|
2
_
=
1
nb
n
[V
1
(cos n 1) +V
2
(1 cos n)]
=
_
0 , n even
2(V
1
V
2
)/(nb
n
) , n odd
_
b
n
=
1
b
n
_
V
1
_
0
cos(n)d +V
2
_
2
cos(n)d
_
=
1
nb
n
_
V
1
|sinn|
0
+V
2
|sin n|
2
_
= 0.
With these coecients, the potential expansion becomes
(, ) =
V
1
+V
2
2
+
2(V
1
V
2
)
n odd
1
n
_
b
_
n
sinn. (6)
Homer Reids Solutions to Jackson Problems: Chapter 2 6
Here we need an auxiliary result:
n odd
1
n
x
n
sin n =
1
2i
n odd
1
n
(iy)
n
[e
in
e
in
] (x = iy)
=
1
2
n=0
(1)
n
2n + 1
_
(ye
i
)
2n+1
(ye
i
)
2n+1
=
1
2
_
tan
1
(ye
i
) tan
1
(ye
i
)
(7)
where in the last line we just identied the Taylor series for the inverse tangent
function. Next we need an identity:
tan
1
1
tan
1
2
= tan
1
_
1
2
1 +
1
2
_
.
(I derived this one by drawing some triangles and doing some algebra.) With
this, (7) becomes
n odd
1
n
x
n
sin n =
1
2
tan
1
_
2iy sin
1 +y
2
_
=
1
2
tan
1
_
2xsin
1 x
2
_
.
Using this in (6) with x = /b gives
(, b) =
V
1
+V
2
+
V
1
V
2
tan
1
_
2b sin
b
2
2
_
.
(Evidently, Jackson and I dened the angle dierently).
Homer Reids Solutions to Jackson Problems: Chapter 2 7
Problem 2.15
(a) Show that the Green function G(x, y; x
, y
, y
) = 2
n=1
g
n
(y, y
) sin(nx) sin(nx
)
where g
n
(y, y
) satises
_
2
y
2
n
2
2
_
g
n
(y, y
) = (y
y) and g
n
(y, 0) = g
n
(y, 1) = 0.
(b) Taking for g
n
(y, y
)
and cosh(ny
< y and y
, y
) =
2
n=1
1
n sinh(n)
sin(nx) sin(nx
) sinh(ny
<
) sinh[n(1 y
>
)]
where y
<
(y
>
) is the smaller (larger) of y and y
.
(I have taken out a factor 4 from the expressions for g
n
and G, in accordance
with my convention for Greens functions; see the Greens functions review
above.)
(a) To use as a Greens function in a Dirichlet boundary value problem G must
satisfy two conditions. The rst is that G vanish on the boundary of the region
of interest. The suggested expansion of G clearly satises this. First, sin(nx
)
is 0 when x
is 0 or 1. Second, g(y, y
) vanishes when y
is 0 or 1. So G(x, y; x
, y
)
vanishes for points (x
, y
) on the boundary.
The second condition on G is
2
G =
_
2
x
2
+
2
y
2
_
G = (x x
) (y y
). (8)
With the suggested expansion, we have
2
x
2
G = 2
n=1
g
n
(y, y
) sin(nx)
_
n
2
2
sin(nx
2
y
2
G = 2
n=1
2
y
2
g
n
(y, y
) sin(nx) sin(nx
)
Homer Reids Solutions to Jackson Problems: Chapter 2 8
We can add these together and use the dierential equation satised by g
n
to
nd
2
G = (y y
) 2
n=1
sin(nx) sin(nx
)
= (y y
) (x x
)
since the innite sum is just a well-known representation of the function.
(b) The suggestion is to take
g
n
(y, y
) =
_
A
n1
sinh(ny
) +B
n1
cosh(ny
), y
< y;
A
n2
sinh(ny
) +B
n2
cosh(ny
), y
> y.
(9)
The idea to use hyperbolic sines and cosines comes from the fact that sinh(ny)
and cosh(ny) satisfy a homogeneous version of the dierential equation for g
n
(i.e. satisfy that dierential equation with the function replaced by zero).
Thus g
n
as dened in (9) satises its dierential equation (at all points except
y = y
) for any choice of the As and Bs. This leaves us free to choose these
coecients as required to satisfy the boundary conditions and the dierential
equation at y = y
.
First lets consider the boundary conditions. Since y is somewhere between
0 and 1, the condition that g
n
vanish for y
) = cosh(n) sinh(ny
)+sinh(n) cosh(ny
) = sinh[n(1y
)] (11)
for (y
= y:
A
n1
sinh(ny) =
n
sinh[n(1 y)]. (12)
Homer Reids Solutions to Jackson Problems: Chapter 2 9
0
10000
20000
30000
40000
50000
60000
70000
0 0.2 0.4 0.6 0.8 1
g
(
y
p
r
i
m
e
)
yprime
Figure 1: g
n
(y, y
) =
_
n
sinh[n(1 y)] sinh(ny
), y
< y;
n
sinh[n(1 y
)] sinh(ny), y
> y.
=
n
sinh[n(1 y
>
)] sinh(ny
<
) (13)
with y
<
and y
>
dened as in the problem. Figure 1 shows a graph of this
function n = 5, y = .41.
The nal step is to choose the normalization constant
n
such that g
n
sat-
ises its dierential equation:
_
2
2
y
2
n
2
2
_
g
n
(y, y
) = (y y
). (14)
To say that the left-hand side equals the delta function requires two things:
that the left-hand side vanish at all points y
= y, and
that its integral over any interval (y
1
, y
2
) equal 1 if the interval contains
the point y
= y:
Homer Reids Solutions to Jackson Problems: Chapter 2 10
g
n
(y, y
=y
+
y
=y
= 1.
Dierentiating (13), we nd this condition to require
n
n
[cosh[n(1 y)] sinh(ny) sinh[n(1 y)] cosh(ny)] = n
n
sinh(n) = 1
so (14) is satised if
n
=
1
n sinh(n)
.
Then (13) is
g
n
(y, y
) =
sinh[n(1 y
>
)] sinh(ny
<
)
n sinh(n)
and the composite Greens function is
G(x, y; x
, y
) = 2
n=1
g
n
(y, y
) sin(nx) sin(nx
)
= 2
n=1
sinh[n(1 y
>
)] sinh(ny
<
) sin(nx) sin(nx
)
n sinh(n)
. (15)
Problem 2.16
A two-dimensional potential exists on a unit square area (0 x 1, 0
y 1) bounded by surfaces held at zero potential. Over the entire square
there is a uniform charge density of unit strength (per unit length in z).
Using the Green function of Problem 2.15, show that the solution can be
written as
(x, y) =
4
m=0
sin[(2m+ 1)x]
(2m+ 1)
3
_
1
cosh[(2m+ 1)(y (1/2))]
cosh[(2m+ 1)/2]
_
.
Referring to my Greens functions review above, the potential at a point x
0
within the square is given by
(x
0
) =
1
0
_
V
G(x
0
; x
)(x
)dV
+
_
S
_
(x
)
G
n
G(x
0
; x
)
n
_
dA
.
(16)
In this case the surface integral vanishes, because were given that vanishes
on the boundary, and G vanishes there by construction. Were also given that
Homer Reids Solutions to Jackson Problems: Chapter 2 11
(x
)dV
= dx
dy
n=1
1
nsinh(n)
_
1
0
_
1
0
sinh[n(1y
>
)] sinh(ny
<
) sin(nx
0
) sin(nx
)dx
dy
.
(17)
The integrals can be done separately. The x integral is
sin(nx
0
)
_
1
0
sin(nx
)dx
=
sin(nx
0
)
n
[cos(n) 1]
=
_
(2 sin(nx
0
))/n , n odd
0 , n even
(18)
The y integral is
sinh[n(1 y
0
)]
_
y0
0
sinh(ny
)dy
+ sinh(ny
0
)
_
1
y0
sinh[n(1 y
)]dy
=
1
n
_
sinh[n(1 y
0
)]
cosh(ny
y0
0
sinh[ny
0
]
cosh[n(1 y
)]
1
y0
_
=
1
n
{sinh[n(1 y
0
)] cosh(ny
0
) + sinh(ny
0
) cosh[n(1 y
0
)] sinh(ny
0
) sinh[n(1 y
0
)]}
=
1
n
{sinh[n] sinh[n(1 y
0
)] sinh(ny
0
)}. (19)
Inserting (18) and (19) in (17), we have
(x
0
) =
4
n odd
sin(nx
0
)
n
3
_
1
sinh[n(1 y
0
)] + sinh(ny
0
)
sinh(n)
_
.
The thing in brackets is equal to what Jackson has, but this is tedious to show
so Ill skip the proof.
Homer Reids Solutions to Jackson Problems: Chapter 2 12
Problem 2.17
(a) Construct the free-space Green function G(x, y; x
, y
) for two-
dimensional electrostatics by integrating 1/R with respect to z
z
between the limits Z, where Z is taken to be very large. Show that
apart from an inessential constant, the Green function can be written
alternately as
G(x, y; x
, y
) = ln[(x x
)
2
+ (y y
)
2
]
= ln[
2
+
2
2
cos(
)].
(b) Show explicitly by separation of variables in polar coordinates that the
Green function can be expressed as a Fourier series in the azimuthal
coordinate,
G =
1
2
e
im(
)
g
m
(,
)
where the radial Green functions satisfy
1
g
m
m
2
2
g
m
=
(
.
Note that g
m
(,
< and
for
= determined by the
source delta function.
(c) Complete the solution and show that the free-space Green function has
the expansion
G(, ;
) =
1
4
ln(
2
>
)
1
2
m=1
1
m
_
<
>
_
m
cos[m(
)]
where
<
(
>
) is the smaller (larger) of and
.
(As in Problem 2.15, I modied the text of the problem to match with my
convention for Greens functions.)
(a)
R = [(x x
)
2
+ (y y
)
2
+ (z z
)
2
]
1/2
[a
2
+u
2
]
1/2
, a = [(x x
)
2
+ (y y
)
2
]
1/2
, u = (z z
).
Integrating,
_
Z
Z
du
[a
2
+u
2
]
1/2
=
ln
_
(a
2
+u
2
)
1/2
+u
_
+Z
Z
Homer Reids Solutions to Jackson Problems: Chapter 2 13
= ln
(Z
2
+a
2
)
1/2
+Z
(Z
2
+a
2
)
1/2
Z
= ln
(1 + (a
2
/Z
2
))
1/2
+ 1
(1 + (a
2
/Z
2
))
1/2
1
ln
2 +
a
2
2Z
2
a
2
2Z
2
= ln
4Z
2
+a
2
a
2
= ln[4Z
2
+a
2
] ln a
2
.
Since Z is much bigger than a, the rst term is essentially independent of a and
is the nonessential constant Jackson is talking about. The remaining term is
the 2D Greens function:
G = lna
2
= ln[(x x
)
2
+ (y y
)
2
] in rectangular coordinates
= ln[
2
+
2
2
cos(
)] in cylindrical coordinates.
(b) The 2d Greens function is dened by
_
2
G(, ;
= 1
but
2
G = 0 at points other than (, ). These conditions are met if
2
G(, ;
) =
1
)(
). (20)
You need the
2
=
1
2
.
Applying this to the suggested expansion for G gives
2
G(, ;
) =
1
2
_
1
g
m
m
2
2
g
m
_
e
im(
)
.
If g
m
satises its dierential equation as specied in the problem, the term in
brackets equals (
)/
2
G(, ;
) =
_
(
1
2
e
im(
)
=
_
(
_
(
).
Homer Reids Solutions to Jackson Problems: Chapter 2 14
(c) As in Problem 2.15, well construct the functions g
m
by nding solutions of
the homogenous radial dierential equation in the two regions and piecing them
together at =
m
2
2
_
f(
) = 0
is
f(
) = A
m
m
+B
m
m
.
Thus we take
g
m
=
_
A
1m
m
+B
1m
m
,
<
A
2m
m
+B
2m
m
,
> .
In order that the rst solution be nite at the origin, and the second solution
be nite at innity, we have to take B
1m
= A
2m
= 0. Then the condition that
the two solutions match at =
is
A
1m
m
= B
2m
m
which requires
A
1m
=
m
m
B
2m
=
m
m
for some constant
m
. Now we have
g
m
=
_
_
_
m
_
_
m
,
<
m
_
_
m
,
>
The nite-derivative step condition is
dg
m
d
=+
dg
m
d
=
=
1
or
m
m
_
1
+
1
_
=
1
so
m
=
1
2m
.
Then
g
m
=
_
_
_
1
2m
_
_
m
,
<
1
2m
_
_
m
,
>
=
1
2m
_
<
>
_
m
.
Homer Reids Solutions to Jackson Problems: Chapter 2 15
Plugging this back into the expansion gives
G =
1
4
1
m
_
<
>
_
m
e
im(
)
=
1
2
1
1
m
_
<
>
_
m
cos[m(
)].
Jackson seems to be adding a ln term to this, which comes from the m = 0
solution of the radial equation, but I have left it out because it doesnt vanish
as
.
Problem 2.18
(a) By nding appropriate solutions of the radial equation in part b of
Problem 2.17, nd the Green function for the interior Dirichlet prob-
lem of a cylinder of radius b [g
m
(,
2
+b
4
2
b
2
cos(
)
b
2
(
2
+
2
2
cos(
))
_
or
G = ln
_
(b
2
2
)(b
2
2
) +b
2
|
|
2
b
2
|
|
2
_
.
(b) Show that the solution of the Laplace equation with the potential
given as (b, ) on the cylinder can be expressed as Poissons inte-
gral of Problem 2.12.
(c) What changes are necessary for the Green function for the exterior
problem (b < < ), for both the Fourier expansion and the
closed form? [Note that the exterior Green function is not rigorously
correct because it does not vanish for or
. For situations
in which the potential falls of fast enough as , no mistake is
made in its use.]
(a) As before, we write the general solution of the radial equation for g
m
in the
two distinct regions:
g
m
(,
) =
_
A
1m
m
+B
1m
m
,
<
A
2m
m
+B
2m
m
,
> .
(21)
The rst boundary conditions are that g
m
remain nite at the origin and
vanish on the cylinder boundary. This requires that
B
1m
= 0
Homer Reids Solutions to Jackson Problems: Chapter 2 16
and
A
2m
b
m
+B
2m
b
m
= 0
so
A
2m
=
m
b
m
B
2m
=
m
b
m
for some constant
m
.
Next, g
m
must be continuous at =
:
A
1m
m
=
m
_
_
b
_
m
_
b
_
m
_
A
1m
=
m
m
_
_
b
_
m
_
b
_
m
_
.
With this we have
g
m
(,
) =
m
_
_
b
_
m
_
b
_
m
_ _
_
m
,
<
=
m
__
b
_
m
_
b
_
m
_
,
> .
Finally, dg
m
/d
= .
1
=
dg
m
d
=+
dg
m
d
=
= m
m
_
m1
b
m
+
b
m
m+1
_
m
m
_
_
b
_
m
_
b
_
m
_
1
= 2m
m
_
b
_
m
1
so
m
=
1
2m
_
b
_
m
and
g
m
(,
) =
1
2m
__
b
2
_
m
_
m
_
,
<
=
1
2m
__
b
2
_
m
_
m
_
,
> .
or
g
m
(,
) =
1
2m
__
b
2
_
m
<
>
_
m
_
.
Plugging into the expansion for G gives
G(, ,
) =
1
2
n=1
1
m
__
b
2
_
m
<
>
_
m
_
cos m(
). (22)
Homer Reids Solutions to Jackson Problems: Chapter 2 17
Here we need to work out an auxiliary result:
n=1
1
n
x
n
cos n(
) =
n=1
__
x
0
u
n1
du
_
cos m(
)
=
_
x
0
_
1
u
n=1
u
n
cos n(
)
_
du
=
_
x
0
_
cos(
) u
1 +u
2
2u cos(
)
_
du
=
1
2
ln(1 2u cos(
) +u
2
)
x
0
=
1
2
ln[1 2xcos(
) +x
2
].
(I summed the innite series here back in Problem 2.12. The integral in the
second-to-last step can be done by partial fraction decomposition, although I
cheated and looked it up on www.integrals.com). We can apply this result
individually to the two terms in (22):
G(, ;
) =
1
4
ln
_
1 + (
/b
2
)
2
2(
/b
2
) cos(
)
1 + (
<
/
>
)
2
2(
<
/
>
) cos(
)
_
=
1
4
ln
__
2
>
b
4
_
b
4
+
2
2
2
b
2
cos(
2
>
+
2
<
2
<
>
cos(
)
_
=
1
4
ln
__
2
>
b
4
_
b
4
+
2
2
2
b
2
cos(
2
>
+
2
<
2
<
>
cos(
)
_
=
1
4
ln
_
2
>
b
2
_
1
4
ln
_
b
4
+
2
2
2
b
2
cos(
)
b
2
(
2
+
2
2
cos(
))
_
(23)
This is Jacksons result, with an additional ln term thrown in for good measure.
Im not sure why Jackson didnt quote this term as part of his answer; he did
include it in his answer to problem 2.17 (c). Did I do something wrong?
(b) Now we want to plug the expression for G above into (16) to compute
the potential within the cylinder. If there is no charge inside the cylinder, the
volume integral vanishes, and we are left with the surface integral:
(, ) =
_
(b,
)
G
=b
dA
. (24)
where the integral is over the surface of the cylinder.
For this we need the normal derivative of (23) on the cylinder:
G
=
1
4
_
2
2
2b
2
cos(
)
b
4
+
2
2
2
b
2
cos(
)
2
2 cos(
2
+
2
2
cos(
)
_
.
Homer Reids Solutions to Jackson Problems: Chapter 2 18
Evaluated at
= b this is
G
=b
=
1
2
_
2
b
2
b(
2
+b
2
2b cos(
))
_
.
In the surface integral, the extra factor of b on the bottom is cancelled by the
factor of b in the area element dA
= we nd
A
2m
=
m
m
_
_
b
_
m
_
b
_
m
_
.
The nite derivative jump condition gives
m
m
_
_
b
_
m
_
b
_
m
_
1
m
m
_
_
b
_
m
+
_
b
_
m
_
1
=
1
or
m
=
1
2m
_
b
_
m
.
Putting it all together we have for the exterior problem
g
m
=
1
2m
__
b
2
_
m
<
>
_
m
_
.
This is the same g
m
we came up with before, but with b
2
and
terms ipped
in rst term. But the closed-form expression was symmetrical in those two
expressions (except for the mysterious ln term) so the closed-form expression
for the exterior Greens function should be the same as the interior Greens
function.