On the average of electrostatic and magnetostatic fields, the singularities of dipole fields and depolarizing fields
Abstract
In “Classical Electrodynamics” [1] a theorem is proved on the average of an electrostatic or magnetostatic field over a spherical volume. The proof of the theorem is based on an expansion in spherical harmonics and it is useful for deriving the singular behaviour of dipole fields. In this paper we give a simple proof of this theorem, the key element being to use reciprocity. The method also highlights the relation between the dipole singularity and the depolarizing field of a sphere, which is thus also found very easily. In addition this link enables us to extend the theorem to a more general ellipsoidal volume. Unfortunately one can only prove the existence of the depolarizing tensor in this way and one still needs another method for actually calculating the tensor. Finally the theory is also extended to an anisotropic background medium.
Ghent University – ELIS
Sint-Pietersnieuwstraat 41, B-9000 Gent, Belgium
pdv@elis.ugent.be
1 Introduction.
In [1] it is proved that the average of the electrostatic field taken over a spherical volume equals the electric field at the center of the sphere if the charge distribution causing the field is completely located outside the sphere. If on the other hand the charge distribution is completely enclosed by the sphere then the average is proportional to the elecric dipole moment of the charge distribution calculated with respect to the center of the sphere. The proof of this property is based on an expansion in spherical harmonics of the potential of a monopole and similar results hold for magnetostatic fields. The second form of the theorem has then be used to derive the singularity of the electric/magnetic dipole fields, which has received some attention recently [2, 3].
In §2-3 we will show that both theorems can be proved rather easily by invoking the reciprocity of the fields and especially for the electrostatic case (§2) the derivation is almost immediate. In §3 the corresponding magnetostatic theorem is proved using the conventional current loop model for a magnetic dipole. In §4 we briefly recall how the singularities of the dipole fields can be found using these theorems. In §5 the close link is revealed between these singularities and the well-known depolarizing field of a sphere. This also enables us to extend the results to more general shapes of the volume and finally in §6 to an anisotropic background medium.
2 Electrostatic field.


It is of course sufficient to prove the theorem for the field of a single monopole q. Using superposition the extension to an arbitrary charge distribution is then straightforward. We thus consider the average of the field of a monopole , located at P, over a spherical volume (see figure 1). Using reciprocity we conclude that the average field equals the field at the source point P generated by a charge uniformly distributed over the volume with density , where is the size of this volume. This first step in the reasoning is valid for an arbitrary volume. For a spherical volume with center at Q the latter field is easily calculated. If the source point P is outside the sphere () then equals the field of a single monopole at the center Q of the sphere and applying reciprocity again it follows that the averaged field equals the field of the original charge q measured at the center of the sphere:
(1) |
The two outer equalities are due to reciprocity, the central one is due to the spherical symmetry.
If on the other hand the source point is enclosed by the sphere () then invoking again the spherical symmetry a standard application of Gauss integral law yields:
(2) |
where is the dipole moment of with respect to the center of the sphere.
3 Magnetostatic field.
A similar reasoning can be followed for the magnetostatic case, although the calculations are slightly more complicated if the conventional electric-current model is used for the magnetic dipole ( with i the current in the loop and the oriented area of the loop). The magnetostatic result can be obtained much more economically by using the magnetic-charge model [4] instead (see §4). However since the current model is more widely adopted and for completeness we show the derivation for this model too.


We consider a -like current element which we denote by (with the current density ). Without loosing generality we choose the origin at the center Q of the sphere and the z-axis along the direction of with (see figure 2). Using the reciprocity of Biot-Savart’s law the magnetic induction of the current element at P averaged over the sphere equals the induction measured at P of a uniform current density present in the sphere. The solution of the latter problem is analogous with the electrostatic problem with the correspondence and where is the radial electrostatic field and the tangential component of the induction, being the electrostatic potential and the vector potential, and where is the angle between the -axis and the position vector . It then follows readily that:
(3) |
where is the magnetic moment of the current element with respect to the center Q of the sphere. Note that the extra factor 2 compared with the electrical dipole is due to the factor 1/2 in the definition of the magnetic moment, this being a second order moment, whereas the electric dipole moment is of first order. The results (3) and (4) are again easily extended for an arbitrary current density distribution .
4 Singularities of the dipole fields.
Applying the second form of the theorem (2) to the field of a dipole enclosed by an arbitrary sphere it follows that the field must contain a singularity . To take this singularity into account the field is then written explicitly as [1]:
(5) |
where is the unit tensor and where we have written the field in a form which is more amenable to a generalization to anisotropic media (see §6). The interpretation of this expression requires some care. If the sphere is centered on the dipole then the average of the first non-singular term vanishes only if one excludes an infinitesimal spherical volume around the dipole. This actually means that (5) is only valid if the dipole is modelled as an infinitesimally small polarized sphere, as will become more explicit in §5. As an additional bonus we find that, since the average of the field is, according to (2), independent of the position of the dipole within the sphere, the principal value integral of the first term must also vanish if the sphere is not centered on the dipole.
The corresponding magnetostatic result can be obtained immediately by using the magnetic-charge model [4] for the magnetic dipole. In this model a magnetic moment is composed of 2 magnetic charges a distance apart. Then and due to the analogy with the electrostatic case the magnetic field will show a singularity . Since and it follows that must have a singularity which agrees with (4) found higher. Finally we note that for the electrostatic case the electric induction also shows a singularity .
5 Depolarizing fields.
Applying the theorem in (1) once more to a dipole111In what follows we limit ourselves to the electrostatic case, but all results are readily extended to the magnetic case. we find that the field of a dipole averaged over a sphere (not enclosing the dipole) is equal to the field of the same dipole measured at the center of the sphere. Applying reciprocity to both sides of this equality it follows that the (external) field of a uniformly polarized sphere () is equal to the field of a dipole at its center. The same reasoning can be applied for any higher order multipole. Similarly applying (2) for a dipole but now enclosed by the sphere it follows that the electric field within a uniformly polarized sphere () is uniform and equal to . This is the well-known depolarizing field of a sphere which is thus shown to be directly related to the singularity in (5) and this leads us to the conclusion that (5) is only valid if the dipole is modelled as an infinitesimally small polarized sphere. Applying the same reasoning to any higher-order multipole and since the dipole moment of any higher-order multipole vanishes we conclude that in a sphere filled with a uniform higher-order multipole density the internal field vanishes.
These results can be formalized as follows. Using the same notation as before the field of a multipole averaged over an arbitrary volume can be found by filling with a corresponding multipole density and looking for the field at the source point P:
(6) | ||||
where , , , … are the charge density, polarization density and quadrupole density, … corresponding with the charge , the dipole , the quadrupole … . The multipole fields on the left sides follow from each other by differentiation:
(7) | ||||
Due to reciprocity similar relations hold for the fields on the right sides:
(8) | ||||
with operating on the position vector of the (original) source point . Note that (6) and (8) are valid for arbitrary volumes. The field of a uniformly polarized body in particular can thus be derived from the field of the same uniformly charged body. This method for calculating the field of a uniformly polarized (or magnetized) volume has been attributed to Poisson [5].
For a sphere in addition the symmetry can be invoked and the external field of a uniformly charged sphere simply equals that of a monopole. Therefore the field of a uniformly polarized sphere also equals a dipole field and similar results hold for higher order multipole moments. Since the internal field of a uniformly charged sphere is linear in the position, as shown in (2), the internal field of a uniformly polarized sphere is then according to the first equation in (8), a constant and given by:
(9) |
where we stress once again the relation between the singularity of the dipole field on the left and the depolarizing field of a uniformly polarized sphere on the right. Due to the linear dependence on the position vector it follows immediately that the internal field vanishes for all higher-order uniform multipole densities.
Having found this relation it becomes straightforward to look for extensions of the theorems (1) and (2) to other than spherical volumes. It is obvious that an extension to ellipsoidal volumes must be possible for an internal point. Therefore we consider firstly a (centric) hollow sphere. From the linear position dependence in (2) it is clear that the averaged electric field of any charge enclosed by the hollow sphere is zero and this is equivalent with the well-known property that the field of a uniformly charged hollow sphere is zero in the enclosed space. It also readily follows that this remains true for an enclosed dipole distribution (and for the corresponding polarized hollow sphere) even if the inner sphere is eccentric. This argument can be reversed as follows. If the electric field in a uniformly charged (centric) hollow sphere vanishes within the enclosed space then the internal electric field of a uniformly charged (single) sphere must be linear dependent on the position. Indeed if the latter field (say of the outer sphere) is denoted by , with the origin taken at the center, then in the enclosed space of a hollow sphere the field equals , where s is the scale factor scaling the outer sphere to the inner one. If this field vanishes then must be linear in .
Next we transform a spherical shell into a more general ellipsoidal shell by directional scaling. Taking into account the quadratic dependence of the electric field on distance it is easy to show that also in the cavity of a uniformly charged hollow ellipsoid222By a hollow ellipsoid we mean that inner and outer bounding surfaces are similar ellipsoids, which should not be confused with the case that the ellipsoids are confocal. the field vanishes [6]. Therefore applying the same scaling argument as above, the internal field of a uniformly charged ellipsoid is also linear in the position (referred to the center) and (2) can then be written for an arbitrary ellipsoid as:
(10) |
Where depends on the shape of the ellipsoid, defined by , being a symmetric positive definite tensor, and the index refers to “isotropic” since we are still considering an isotropic background. Using (8) it follows that:
(11) |
showing that is the usual depolarizing tensor. Of course one still needs a method for calculating this tensor. Today the best known approach is probably by the method “separation of variables” in ellipsoidal coordinates [7], but can also be calculated directly [8]. Perhaps the most elegant expression can be found by solving the problem in Fourier-space [9, 10]:
(12) |
where is a unit vector in the (spatial) frequency space and the integration is over the surface of the unit sphere. The expression immediately reveals that the trace of the depolarizing tensor equals 1.
Now turning again to a hollow ellipsoidal shell it follows from (11) that the field is still zero if the inner ellipsoid becomes eccentric, but still aligned with the similar outer ellipsoid. This means that if such an eccentric hollow ellipsoid encloses a dipole, the average of the field over its volume vanishes. In particular the principal value integral of the dipole field over an ellipsoidal volume thus vanishes if the exclusion volume is a uniformly scaled version of the ellipsoid and irrespective of the position of the dipole333In an appendix of [11] this is proved directly and from this the constancy of is derived.. The corresponding singularity of the dipole field is then and more in general (5) is written as:
(13) |
In this case the dipole is thus modelled more generally as an infinitesimally small ellipsoid. Obviously there is no unique singularity for a dipole field and the singularity depends on the symmetry attributed to the dipole.
The “external” theorem (1) cannot be extended from a spherical body to an ellipsoidal body since the field outside a uniformly charged ellipsoid is not longer equal to that of a monopole, because the even order multipole moments do not vanish. Consequently the field outside a uniformly polarized ellipsoid is also not longer equal to a pure dipole field. However if the ellipsoid is made infinitesimally small, preserving the shape and keeping the dipole moment constant, then all higher order moments of the uniform charge distribution will vanish and the external field of the polarized body once more becomes a pure dipole field, independent of the shape of the ellipsoid. This explains why the non-singular part in (13) does not depend on the shape.
6 Anisotropic medium.
The results can also be extended to a uniform anisotropic background medium. E.g. consider a uniform dielectric medium with symmetrical relative dielectric tensor . The extension is easily handled by introducing a suitable coordinate transformation which transforms the anisotropic medium into an isotropic one and then applying the results for the isotropic medium [12]. If we preserve the electric potential and charge density in corresponding points then the relevant transformation formulas are given by:
(14) |
where is the determinant of . With the transformed dielectric tensor becomes isotropic (). Consider now as volume an ellipsoid isomorphous with the “index ellipsoid” of the medium , then is transformed into a sphere in an isotropic medium, to which (1) can be applied. Transforming back we find that (1) remains valid for an anisotropic medium when applied to a volume isomorphous with the “index ellipsoid”. The depolarizing tensor depends on the anisotropy of the medium and on the shape of the ellipsoidal volume and follows directly from the last two transformation formula’s in (14):
(15) |
showing that the second theorem actually holds for the electric displacement instead of for the electric field. From (15) it also follows that the trace of is still 1.
As a special case we consider now a sphere () and we then obtain in particular as given by (12) and where in the last step we used the property that and share the same principal axes. It follows that and separately have the same effect on the depolarizing tensor. We consider then an alternative transformation which transforms the ellipsoid into a sphere ( and ) and obtain in this way an alternative expression for the depolarizing tensor:
(17) |
Comparing (15) and (17) it follows that:
(18) |
showing the more general symmetry between anisotropy () and shape (). The non-singular part of the dipole field can also be obtained with the first coordinate transformation resulting into the following dipole field:
(19) |
which reduces to (13) for . Usually this is called a Green’s dyadic and the field of an arbitrary polarization density is then obtained by a convolution with this dyadic, with the last term resulting into which is only present if the observation point is in the source region. The link between this contribution and the depolarizing tensor has been noted by Weiglhofer [14].
References
- [1] Jackson J D 1999 Classical Electrodynamics (New York: John Wiley & Sons) Ch 4
- [2] Leung P T and Ni G J Eur. J. of Phys. 27 (2006) N1-N3
- [3] Gsponer A Eur. J. of Phys. 28 (2007) 267-275
- [4] Fano R M, Chu L J and Adler R B 1960 Electromagnetic Fields, Energy, and Forces (New York: John Wiley & Sons)
- [5] Osborn J A Phys. Rev. 67 (1945) 351-357
- [6] Thomson W and Tait P G 1912 Treatise on natural philosophy, part II (Cambridge: At the University Press) §519
- [7] Landau L D, Lifshitz E M and Pitajevskii L P Electrodynamics of continuous media, 2nd edition (Elsevier Butterworth-Heinemann) §4
- [8] Reference [6] §494
- [9] Milton G W 2002 The theory of composites (Cambridge: Cambridge University Press) chapter 5
- [10] Michel B Int. J. of Applied Electromagnetics and Mechanics 8 (1997) 219-227
- [11] de Groot S R and Suttorp L G 1972 Foundations of electrodynamics (Amsterdam: North-Holland Publishing Company)
- [12] Sihvola A 2000 Electromagnetic mixing formulas and applications (The Institute of Electrical Engineers) 102
- [13] Weiglhofer W S (1999) ’Electromagnetic Field in theSource Region: A Review’, Electromagnetics, 19:6, 563 — 577
- [14] Weiglhofer W S “Depolarization Dyadics” Bianisotropics 2000 Sept. 27-29 415-420