
Langel, R.A., and Estes, R.H., 1982. A geomagnetic field spectrum.
Geophysical Research Letters , 9 : 250– 253.
Langel, R.A., and Hinze, W.J., 1998. The Magnetic Field of the
Earth ’s Lithosphere. Cambridge: Cambridge University Press.
Lowes, F.J., 1974. Spatial power spectrum of the main geomagnetic
field, and extrapolation to the core. Geophysical Journal of Royal
Astronomical Society, 36: 717–730.
Purucker, M., Langel, R., Rajaram, M., and Raymond, C., 1998.
Global magnetization models with a priori information. Journal
of Geophysical Research, 103 : 2563– 2584.
Sabaka, T.J., Olsen, N., and Langel, R.A., 2002. A comprehensive
model of the quiet-time, near-Earth magnetic field: phase 3. Geo-
physical Journ al International , 151:32– 68.
Sabaka, T.J., Olsen, N., and Purucker, M., 2004, Extending compre-
hensive models of the Earth ’s magnetic field with Oersted and
CHAMP data. Geophysical Journal International , 159: 521– 547.
Taylor, P., and Purucker, M., 2000. Robert A. Langel III (1937– 2000).
EOS. Transactions of the American Geophysical Union, 81(1 5) : 1 59 .
Cross- refere nces
Harmonics, Spherical
IAGA, International Association of Geomagnetism and Aerono my
Magsat
LAPLACE’S EQUATION, UNIQUENESS
OF SOLUTIONS
Potential theory lies at the heart of geomagnetic field analysis. In
regions where no currents flow the magnetic field is the gradient of
a potential that satisfies Laplace ’s equation:
B ¼rV (Eq. 1)
r
2
V ¼ 0 (Eq. 2)
We can find the geomagnetic potential V everywhere in the source-free
region by solving Eq. (2) subject to appropriate boundary conditions.
Equation (1) means that we are dealing with a single scalar, the geo-
magnetic potential, and Eq. (2) means that we only have to know that
scalar on surfaces rather than throughout the entire region. This
reduces the number of measurements enormously. I shall discuss here
two idealized situations appropriate to geomagnetism and paleomagnet-
ism: measurements on a plane in Cartesian coordinate s (x, y, z) with z
down, continued periodically in x and y, appropriate for a small survey,
and measurements on a spherical surface r ¼ a in spherical coordinates
ð r ; y; fÞ , where a is Earth ’ s radius. Simple generalizations are possible
to more complex surfaces.
It is well known that solutions of Laplace ’s equation within a volume
O are unique when V is prescribed on the bounding surface ] O, the
so-called Dirichlet conditions. This is of no use to us because we cannot
measure the geomagnetic potential directly. We can, however, measure
the component of magnetic field normal to the surface, which also
guarantees uniqueness (the so-called Neumann conditions). Thus mea-
surement of a single component of magnetic field on a surface can be
used to reconstruct the magnetic field throughout the current-free region,
provided the sources are entirely inside or outside the measurement
surface. When both internal and external sources are present two com-
ponents need to be measured on a single surface, when it is also possible
to separate the parts (see Internal external field separation ). Here I
shall focus on the case of purely internal sources.
Components other than the vertical also provide uniqueness.
As illustration consider the general solutio n of Laplace’ s equation in
Cartesian coordinates:
V ðx ; y; zÞ¼
X
k ;l ;m
C
m
expð mz Þ cos ð kx þ‘ y þ a
k ;‘
Þ; (Eq. 3)
where m ¼
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
k
2
þ‘
2
p
is positive to ensure a finite solution as z !1
and the f a
k ;‘
g are phase factors. If B
z
¼ ] V = ] z is known on z ¼ 0we
can differentiate Eq. (3) with respect to z, set z ¼ 0, and determine the
arbitrary coefficients fC
k ;‘
; a
k ;‘
g from the usual rules for Fourier ser-
ies. This is the case of Neumann boundary conditions. Of course, solu-
tions of Eq. (3) are periodic in x and y with periods 2p = k and 2p = l ,
respectively. B
x
and B
y
, however, do not give unique solutions. Differ-
entiating Eq. (3) with respect to x and putting z ¼ 0, for example,
allows determination of all the Fourier coefficients except those with
k ¼ 0. The ambiguity in the solution takes the form V
0
ð y ; z Þ¼
P
l
C
l
exp ð lz Þ cos ð ly þ a
l
Þ: Similarly, measurement only of B
y
leaves an ambiguity independent of y. Knowing B
x
and B
y
overdeter-
mines the problem.
The spherical case is slightly different. B
r
( Z in conventional geo-
magnetic notation) provides Neumann boundary conditions and so will
give a unique solution. B
f
(east) allows an axisymmetric ambiguity
similar to that for the cartesian B
x
and B
y
cases. Surprisingly, B
y
(north) gives a unique solution; the condition that V be finite at the poles
provides the necessary constraint to remove the arbitrary parts of
the solution. Proof involves the general solution of Laplace ’s equation
as a spherical harmonic expansion (see Main field modeling ) in similar
fashion to the use of the Fourier series solution in the cartesian case
(see Magnetic anomalies, modeling). More elegant formal proofs of
these standard results making use of Green ’s theorem are to be found
in texts on potential theory (e.g., Kellogg (1953)).
Formal mathematical results dictate the type of measurements we
must make in order to obtain meaningful estimates of the geomagnetic
field in the region around the observation surface. Clearly in the real
situation other complicat ions arise from finite resolution and errors,
but with a uniqueness theorem we can at least be confident that the
derived field will converge toward the correct field as the data are
improved; for this to happen we must measure the right components
of magnetic field, but this is not always possible. Instrumentation has
changed over the years, dictating changes in the type of measurement
available. Ta b l e L 1 gives a summary of the bias in available datasets.
Backus (1970) addressed the problem of uniqueness when only F
is known on the surface. He showed that, for certain magnetic field
configuratio ns, there exist pairs of magnetic fields B
1
and B
2
, which
satisfy rB ¼ 0 and r B ¼ 0 outside ] O and such that
j B
1
j¼jB
2
j everywhere on ] O , but jB
1
j6¼jB
2
j elsewhere. This result
led to the decision to make vector measurements on the MAGSAT
satellite. In practice B obtained from intensity measurements alone
can differ by 1000 nT from the correct vector measurements. The dif-
ference takes the form of a spheri cal harmonic series with terms domi-
nated by l ¼ m, now called the Backus ambiguity or series. Additional
information does provide uniqueness (e.g., locating the dip equator
(Khokhlov et al., 1997)).
Backus (1968, 1970) gives details of the proof in both two and
three dimensions. The 2D proof uses complex variable theory and is
particularly simple and illuminating. We use the complex potential
w(z), where z ¼ x þ iy. The field is given by the real and imaginary
parts of dw/dz, and jdw=dzj is known on the bounding circle. Focus
attention on
zðzÞ¼ilogdw=dz ¼xþi ¼argjdw=dzjþilogjdw=dzj: (Eq. 4)
Both x and satisfy Laplace’s equation as the real and imaginary parts of
an analytic function, except where dw=dz ¼ 0. When such singularities
exist, taking a circuit enclosing the source region gives an increase of
2p in the argument of the logarithm. This defines the ambiguity. The
number of singularities determines the number of different solutions; sin-
gularities exist if the field has more than two dip poles on the surface.
Paleomagnetic and older geomagnetic data sets are dominated
by directional measurements. Early models made the reasonable but
466 LAPLACE’S EQUATION, UNIQUENESS OF SOLUTIONS