Page:EB1911 - Volume 25.djvu/677

From Wikisource
Jump to navigation Jump to search
This page has been proofread, but needs to be validated.
SPHERICAL HARMONICS
655

where are the axes of . Two harmonics of the same degree are said to be conjugate, when the surface integral of their product vanishes; if are two such harmonics, the addition of conjugacy is

Lord Kelvin has shown how to express the conditions that harmonics of degree n form a conjugate system (see B. A. Report, 1871).

16. Expansion of a Function in a Series of Spherical Harmonics.—It can be shown that under certain restrictions as to the nature of a function given arbitrarily over the surface of a sphere, the function can be represented by a series of spherical harmonics which converges in general uniformly. On this assumption we see that the terms of the series can be found by the use of the theorems (22), (23). Let be represented by

change into and multiply by

we have then

hence the series which represents is

A rational integral function of , , of degree n may be expressed as the sum of a series of spherical harmonics, by assuming

and determining the solid harmonics , , . . . and then letting , in the result.

Since , we have

the last equation being

, if n is even,

or

, if n is odd

from the last equation or is determined, then from the preceding one or , and so on. This method is due to Gauss (see Collected Works, v. 630).

As an example of the use of spherical harmonics in the potential theory, suppose it required to calculate at an external point, the potential of a nearly spherical body bounded by , the body being made of homogeneous material of density unity, and u being a given function of , , the quantity being so small that its square may be neglected. The potential is given by

where is the angle between r and r'; now let u' be expanded in a series

of surface harmonics; we may write the expression for the potential

which is,

on substituting for u' the series of harmonics, and using (22), (23), this becomes

which is the required potential at the external point .

17. The Normal Solutions of Laplace's Equation in Polars.—If , , be the parameters of three orthogonal sets of surfaces, the length of an elementary arc ds may be expressed by an equation of

the form , where , , are functions of , , , which depend on the form of these parameters; it is known that Laplace's equation when expressed with , , as independent variables, takes the form

In case the orthogonal surfaces are concentric spheres, co-axial, circular cones, and planes through the axes of the cones, the parameters are the usual polar co-ordinates r, , , and in this case , thus Laplace's equation becomes

Assume that is a solution, R being a function of r only, of only, of only; we then have

This can only be satisfied if is a constant, say , is a constant, say , and satisfies the equation

if we write u for , and for , this equation becomes

From the equations which determine R, , , it appears that Laplace's equation is satisfied by

where u is any solution of (26); this product we may speak of as the normal solution of Laplace's equation in polar co-ordinates; it will be observed that the constants n, m may have any real or complex values.

18. Legendre's Equation.—If in the above normal solution we consider the case , we see that

is the normal form, where atisfies the equation

known as Legendre's equation; we shall here consider the special case in which n is a positive integer. One solution of (27) will be the Legendre's coefficient , and to find the complete primitive we must find another particular integral; in considering the forms of solution, we shall consider to be not necessarily real and between . If we assume

as a solution, and substitute in the equation (27), we find that , or , and thus we have as solutions, on determining the ratios of the coefficients in the two cases,

and

the first of these series is (n integral) finite, and represents , the second is an infinite series which is convergent when . If we choose the constant to be , the second solution may be denoted by , and is called the Legendre's function of the second kind, thus

This function , thus defined for , is of considerable importance in the potential theory. When , we may in a similar manner obtain two series in ascending powers of , one of which represents , and a certain linear function of the two series represents the analytical continuation of , as defined above. The complete primitive of Legendre's equation is

By the usual rule for obtaining the complete primitive of an ordinary differential equation of the second order when a particular integral is known, it can be shown that (27) is satisfied by

the lower limit being arbitrary.