You are on page 1of 4

Eur. J. Phys. 17 (1996) 216–219.

Printed in the UK 216

Point charges between two grounded


conducting intersecting planes: a
dynamical systems approach

Fausto Borgonovi
Dipartimento di Matematica, Università Cattolica, via Trieste 17, 25121 Brescia, Italy
Istituto Nazionale di Fisica Nucleare, Sezione di Pavia, via Bassi 6, 27100 Pavia, Italy
Istituto Nazionale di Fisica della Materia, Unità di Milano, via Celoria 16, 22100 Milano, Italy

Received 22 January 1996, in final form 1 April 1996

Abstract. The classical electrostatic problem of a point Riassunto. In questo lavoro viene affrontato il problema
charge q between two semi-infinite conducting planes elettrostatico classico relativo ad una carica puntiforme tra
intersecting at a given angle α is approached using methods due semipiani conduttori intersecantesi con un certo angolo α
from dynamical system theory. In this way the standard usando i metodo tipici della teoria dei sistemi dinamici. In
solution is recovered: the image method works if and only questo modo si riottene la soluzione usuale, ovvero è
if α = π/n with n a positive integer; the number of image possibile utilizzare il metodo delle cariche immagine se e
charges is 2n − 1 (n − 1 having the same charge of the solo se α = π/n con n intero positivo. Il numero delle
physical one, n with opposite charge) and they must be cariche immagine è 2n − 1 (di cui n − 1 aventi lo stesso
disposed at the vertices of two regular polygons having segno della carica fisica e n segno opposto) e devono essere
n-sides inscribed inside the circle of radius equal to the disposte ai vertici di due poligoni regolari aventi n lati
distance between the physical charge and the intersection inscritti nel cerchio di raggio pari alla distanza tra la carica
point of the two planes. fisica ed il punto di intersezione tra i due piani.

1. Introduction be applied, and the solution easily found, if and only if


the planes intersect each other at an angle α = π/n,
The image charge method is a beautiful and powerful n being an positive integer. It would be interesting
mathematical trick which permits one to find exact so- to show whether this new formulation is able to solve
lutions of partial differential equations with appropriate the case α 6= π/n where an analytical solution is still
boundary conditions. One of the most well known fields lacking.
of application comes from electrostatics. Every gradu-
ate student in physics or mathematics knows how to
explicitly find out the potential generated by an infinite 2. Formulation of the problem
grounded plane and a point charge q, a distance d apart
[1] by simply adding a negative charge in the hidden re- Consider the simple electrostatic problem of two
gion of the space at the same distance d from the plane. conducting earthed planes intersecting at a given angle
Of course this solution only holds in the space where the α and a point charge q at a given distance r0 from the
‘physical’ charge is located as can be easily observed. origin of the intersection and at angle θ0 , as indicated in
In other words, image charges can only be eliminated figure 1. This problem is easily found to be a 2D one
in the distant region where the potential is screened, in and it is sufficient to consider the projection onto the
such a way as to realize suitable boundary conditions. plane z = 0 containing the point charge (plane in figure
The problem addressed here is a very simple 1).
generalization of this: two intersecting semi-infinite From the mathematical point of view, one should
conducting earthed planes and a point charge. This is a solve the Poisson equation,
well known classical problem, see for instance [2]. In
this paper I will find the standard conditions of validity ∇ 2 φ = qδ(Er − rE0 ), (2.1)
of the image charge method mapping this problem to a
with appropriate boundary conditions,
dynamical system and using results well known in this
field. I will then show that the image charge method can φ|01 = φ|02 = 0, (2.2)

0143-0807/96/040216+04$19.50
c 1996 IOP Publishing Ltd & The European Physical Society
Point charges between two intersecting planes 217

θ = α (0 0 2 plane):
Rα (r, θ) = (r̄, θ̄) = (r, 2(π + α) − θ mod − 2π ). (2.4)
In equation (2.3) 0 ≤ θ̄ < 2π for any 0 ≤ θ < 2π
and the operation mod − 2π is not strictly necessary.
Anyway Rα=0 = R0 as one can easily check.
A ‘first generation’ of image charges will be obtained
starting from (r0 , θ0 ) and reflecting by R0 and Rα in
sequence, that is
(r1 , θ1 ) = R0 (r0 , θ0 )
(r2 , θ2 ) = Rα (r1 , θ1 ) = Rα R0 (r0 , θ0 ) (2.5)
(r3 , θ3 ) = R0 (r2 , θ2 ) = R0 Rα R0 (r0 , θ0 )
...
Figure 1. Conducting grounded planes 01 and 02 and The sign of the image charge changes at each
the point charge q having polar coordinates (r0 , θ0 ) at reflection. The ‘second generation’ set of image charges
distance d1 , d2 from the planes.
is obtained in the same way, exchanging Rα with R0 :
(r 0 1 , θ 0 1 ) = Rα (r0 , θ0 )
inside the physical region S = {(r, θ )|r > 0; 0 < θ <
α}. It is well known that the potential inside the physical (r 0 2 , θ 0 2 ) = R0 (r 0 1 , θ 0 1 ) = R0 Rα (r0 , θ0 ) (2.6)
region S can be obtained, without solving the Poisson (r 0 2 , θ 0 2 ) = Rα (r 0 2 , θ 0 2 ) = Rα R0 Rα (r0 , θ0 )
equation, by placing appropriate image charges in the ... (2.7)
unphysical region, S̃ = {(r, θ )|r > 0; α < θ < 2π}, in
such a way as to satisfy the boundary conditions (2.2). Since the reflection does not change the radius r0 , all the
For example in the case of figure 1, if one put a image charges, if any, will be distributed on the circle
charge q1 = −q at a distance d1 from 01 , below 01 of radius r0 . For this reason the r coordinate will be
and at a distance r0 from O, the potential due to q, q1 omitted hereafter. First generation points (2.6) can be
is found to be zero on the plane 01 . Adopting the arranged in the following way :
same line of reasoning one could make φ = 0 on 02 θ2n = (Rα R0 )n θ0
by placing a charge q2 = −q above 02 , at a distance θ2n+1 = (R0 Rα )n θ1
(2.8)
d2 from 02 and r0 from O. Problems arise since each
of these two image charges ‘perturbs’ the other plane, for any n ≥ 1, and θ1 = R0 θ0 . The same can be done
namely q1 perturbs 02 and q2 perturbs 01 . This can for second generation points (2.7):
in turn be adjusted by adding two other image charges
θ 0 2n = (R0 Rα )n θ0
q3 = q4 = q using reflections around the planes 01 and (2.9)
θ 0 2n+1 = (Rα R0 )n θ 0 1
02 . The procedure can be iterated and one obtains, in
general, a series of image charges. The question which I for any n ≥ 1, with θ 0 1 = Rα θ0 . The image charges
address is the following: when is it possible to obtain a method will work if and only if all these points will be
finite or infinite number of image charges lying only in eliminated outside the physical region. The elements of
the unphysical region? In fact the method works only if the two sets {θ2n }n≥1 and {θ 0 2n }n≥1 are image charges of
the image charges lie in the unphysical region and only the same sign and value of the physical charge since
if they exactly balance themselves in order to realize the an even number of reflections is involved. They will
boundary conditions (2.2). be called ‘positive’ charges. For the same reason the
For the time being, it is sufficient to consider 0 < elements of the sets {θ2n+1 }n≥0 and {θ 0 2n+1 }n≥0 , involving
α < π and the point charge inside the smallest an odd number of reflections have opposite sign of the
angle generated by the intersection of the two planes physical charge and they will be called ‘negative’. It is
01 and 02 . The relevant variables are the polar easy to show that the operator Tα = Rα R0 is the shift
coordinates (r, θ ) and the equation of the 01 , 02 planes operator on the arc of a circle of angle 2α. It follows
are respectively θ = 0 and θ = α. Let (r0 , θ0 ) be the that all the positive image charges of the first generation
coordinates of the physical point charge. Image charges set are separated one from each other by an angle 2α.
will then be located by subsequent reflections around The same holds true for the sets, (2.8) and (2.9), of
the planes 01 and 02 , and better, around their extension image charges.
0 0 1 and 0 0 2 (infinite planes). It is convenient to consider the set {θ2n }n≥1 as a
Let us introduce the reflection operator around the dynamical orbit on the plane, n being the time and
x-axis (0 0 1 plane), Rα R0 the evolution operator in discrete time (one
R0 (r, θ ) = (r̄, θ̄ ) = (r, 2π − θ ) (2.3) period evolution operator). In this way the system can
be thought of as a dynamical system and its proper
and the reflection around the extended straight line theoretical formalism can be applied.
218 F Borgonovi

3. The irrational case

The irrational case α = πν, with 0 < ν < 1 irrational


number, can be treated at once. In fact Tα becomes the
ergodic shift on the circle and it is easy to prove (see for
instance [3], chapter V) that the set of points {Tαn θ0 }n≥1
has an infinite number of elements which are uniformly
distributed on the circle of radius r0 . There are then
an infinite amount of points inside the physical region
S and this excludes the possibility of using the image
method approach.

4. The rational case

Let then assume α = πp/n with p, n prime integers, Figure 2. Distribution of the image charges for α = π/3.
p < n. The orbit {Tαn θ0 }n≥1 , from the dynamical point Full circles have the same sign of the physical point
of view, is a periodic orbit, and this means that one has charge. Open circles have opposite charge. Dashed and
four sets of periodic orbits. I will show that this is not dotted lines are shown to indicate explicitly the way to
the case and only two sets of periodic orbits need to be eliminate the image charges (in this case at the vertices
taken into account. of two equilateral triangles).
The periodicity of one of these orbits can be stated
as: (i) Draw the circle with the centre at the origin of the
(Rπp/n R0 )n = (R0 Rπp/n )n = 1. (4.1) conducting planes and radius r0 .
(ii) Start with the physical charge and draw a regular
From condition (4.1) it follows that
polygon with n sides and a vertex at the point where
θ2n = θ0 the physical charge is located. Put positive image
(4.2)
θ 0 2n = θ0 . charges at the vertices of the polygon.
Moreover θ2i − θ2(i−1) = 2α and θ 0 2i − θ 0 2(i−1) = −2α, (iii) Consider the symmetric point, with respect to the
∀i = 1, ..., n which means that they are the same orbit. x-axis of the physical charge. Starting from this
Furthermore the total angle covered by the orbit is vertex draw the regular polygon with n sides inside
given by 2αn = 2(πp/n)n = 2pπ : this means that the same circle. Put the negative charges at it’s
p crossings of the θ = 0 half line have to be done in vertices.
order to close the orbit.
The same holds for the negative orbits. In fact the In figure 2 the system of charges constructed in the way
negative elements of the first generation set can be indicated above is drawn for α = π/3. Full circles
written as (α = pπ/n) : indicate the positive charges, open circles the negative
ones. The equilateral triangles are shown by dotted
R0 θ0 , (R0 Rα )R0 θ0 , . . . , (R0 Rα )n−1 R0 θ0 (4.3) and dashed lines. The system in a certain way can
which exactly coincide with those of the second compensate itself, that is each point has a twin charge of
generation, conveniently rearranged: different sign in front of it with respect to the 0 0 1 , 0 0 2
planes. This is clearly shown in figure 3 where the
(Rα R0 )n−1 Rα θ0 , (Rα R0 )n−2 Rα θ0 , . . . , Rα θ0 . (4.4) symmetry around the two planes has been indicated by
Even in the case of negative charges the points of the dashed and dotted lines.
orbit have the same interspace 2α = 2πp/n on the With increasing n the system becomes of course
circle, starting from R0 θ0 which is the symmetric, with more complicated. In figure 4 the set of thirteen image
respect to the x-axis, of the physical charge. charges necessary to solve the problem when α = π/7
has been drawn.
4.1. The solvable case: α = π/n
Let us assume p = 1. In such a case only one crossing
of the θ = 0 line must be done. Consider the n − 1 4.2. The insolvable case: α = pπ/n
positive image charges. Since they are separated, on The last point concerns α = pπ/n with p, n prime
the circle, by an angle 2α, none of them are inside the integers, 1 < p < n. I will prove that, in this
physical region S. The same holds for the negative case, at least one point of the orbits {θ2i }i=1,...,n−1 or
image charges, since the ‘starting’ point is θ1 (symmetric {θ2i+1 }i=1,,...,n (the point θ0 has been excluded) exists
with respect to the x-axis of the physical charge) which inside the physical region S. Defining the following
satisfies 2π − α < θ1 < 2π. region:
This implicitly suggests the way to put the image
charges for α = π/n. S 0 = {(r, θ)|α < θ < 2α} (4.5)
Point charges between two intersecting planes 219

Then we are left with two possibilities : (i) at least


one point is inside S; (ii) none of them are in S.
In case (i) the theorem holds.
In case (ii) it has been shown that above the p
crossing of the θ = 0 line have to be done in order
to close the orbit. Moreover the points which cross this
line cannot be in S (case (i)) and, at the same time,
every point is separated from each other by a ‘distance’
of 2α. This means that these p − 1 points (and not p
since the last crossing is necessary to return back to θ0 )
should accumulate in the region S 0 . But then, due to
(4.6), there are p − 1 points of the second orbit which
lie in the region S. Since p > 1 this completely proves
the theorem.
In general, there exist s positive image charges and
Figure 3. Image charges and symmetry lines around the r negative image charges inside S, depending on the
0 0 2 plane (dotted) and 0 0 1 (dashed), for the same case initial position θ0 , with s ≥ 0, r ≥ 0 and s + r = p − 1.
as figure 2. Since p > 1 there is always at least one image charge
inside the physical region.
The case n = 1, even if excluded from the very
beginning (0 < α < π) is, naturally valid (the
two planes become only one plane) and the polygon
degenerates in a point.
What would happen if π < α < 2π ? The
demonstration for α = νπ with 1 < ν < 2 irrational
number is of course still valid. The case α = pπ/n
with
T n < p < 2n needs a little comment since, now,
S S 0 6= ∅. In this case it is sufficient to define S 0 = S̃
(the unphysical space). Then one has Rα S 0 ⊂ S and
the demonstration follows along the lines indicated in
subsection 4.2.
Since the possibility to solve the problem using the
Figure 4. The same as figure 2 for α = π/7.
image charge method is related to the angle α between
the two conducting planes and not to the position θ0 of
the physical charge, this result can be straightforwardly
which is the symmetric with respect to the 02 plane, of generalized, via the superposition principle, to a generic
the physical region S, such that number N of physical charges.
Rα S 0 = S. (4.6)
It is clear that applying Rα or R0 to one point of the Acknowledgments
two orbits above, a point of the other orbit is obtained.
For instance, given θ2i , one has : I thank Professor G Cavalleri for useful and stimulating
discussions.
Rα θ2i = Rα (Rα R0 ) θ0
i

= R2α (R0 Rα )i−1 R0 θ0 (4.7)


References
= (R0 Rα )i−1 θ1 = θ2i−1 .
[1] Jackson J D 1975 Classical Electrodynamics (New
Let us consider the positive orbit {θ2i }i=1,...,n−1 . These York: Wiley)
points cannot coincide with θ0 since this would imply [2] Coulson C A 1951 Electricity (New York: Oliver and
n = pm with m integer; but this is against the Boyd)
hypothesis that p and n are prime integers. [3] Lichtenberg A J and Lieberman M A 1983 Regular and
Stochastic Motion Appl. Math. Series 38

You might also like