Zonal harmonics

zonal harmonic polynomials

Zonal harmic polynomials are spherical harmonic polynomials (cf. also Spherical harmonics) that assume constant values on circles centred on an axis of symmetry. They characterize single-valued harmonic functions on simply-connected domains with rotational symmetry.

To be specific, one introduces the spherical coordinates $( r , \theta , \varphi )$ as $x _ { 1 } = r \operatorname { sin } \theta \operatorname { cos } \varphi$, $x _ { 2 } = r \operatorname { sin } \theta \operatorname{sin} \phi$, $x _ { 3 } = r \operatorname { cos } \theta$, where $( x _ { 1 } , x _ { 2 } , x _ { 3 } ) \in \mathbf{R} ^ { 3 }$. The zonal harmonics $H _ { n }$ are the polynomial solutions of the Laplace equation

\begin{equation*} \left[ \partial _ { r r } + \frac { 2 } { r } \partial _ { r } + \frac { 1 } { r ^ { 2 } } \partial _ { \theta \theta } + \frac { \operatorname { ctan } \theta } { r ^ { 2 } } \partial _ { \theta } + \frac { 1 } { r ^ { 2 } \operatorname { sin } ^ { 2 } \theta } \partial _ { \varphi \varphi } \right] H = 0 \end{equation*}

that are axially symmetric (i.e. independent of the angle $\varphi$). They can be expressed in terms of Legendre polynomials $P_n$ of degree $n$, as $H _ { n } ( r , \theta ) = r ^ { n } P _ { n } ( \operatorname { cos } \theta )$ for $n = 0,1 , \dots$, and form a complete orthogonal set of functions in $L ^ { 2 } [ D ]$, where $D$: $r \leq r_0$. The $H _ { n }$ vanish on cones that divide a sphere centred at the origin into $n$ zones, hence the name zonal harmonics. The $H _ { n }$ are sometimes referred to as solid zonal harmonics and the $P_n$ as surface zonal harmonics.

Applications.

Two types of applications arise in classical potential theory (see [a4], [a6], [a7]).

In the first, one determines the potential in a sphere from its boundary values $H ( r _ { 0 } , \theta )$. By specifying appropriate regularity conditions, the orthogonality of the Legendre polynomials is used to expand $H ( r _ { 0 } , \theta )$ as the Fourier–Legendre series $\sum _ { n = 0 } ^ { \infty } a _ { n } n_{0} ^ { n } P _ { n } ( \operatorname { cos } \theta )$. The potential in the sphere is recovered as $H ( r , \theta )$. The exterior boundary value problem is formulated by means of the Kelvin transformation $H ( r , \theta ) \rightarrow ( 1 / r ) H ( 1 / r ^ { 2 } , \theta )$. The potential between two concentric spheres is determined by combining solutions of the interior and the exterior problems.

In the second, one determines the potential at points in space from its values on a segment of the symmetry axis. The solution relies on the fact that along this axis the zonal harmonics $H _ { n } ( r , 0 ) = r ^ { n }$, $n = 0,1 , \dots$. Thus, if $H ( r , 0 ) = \sum _ { n = 0 } ^ { \infty } a _ { n } H _ { n } ( r , 0 )$, then $H ( r , \theta ) = \sum _ { n = 0 } ^ { \infty } a _ { n } H _ { n } ( r , \theta )$ for $r < r_{0}$, where $r_0$ is the radius of convergence of the Taylor series.

Relation with analytic functions.

There are many connections between the properties of the potentials $H$ and those of analytic functions $f$ of a complex variable (cf. also Analytic function; Harmonic function). One such connection, related to the previous example, concerns singularities and uses the generating function for zonal harmonics to construct reciprocal integral transforms connecting $H$ with $f$. The following fact is immediate (see [a3], [a8]). Let $\{ a _ { n } \} _ { n = 0 } ^ { \infty }$ be a sequence of real constants for which $\operatorname {lim} \operatorname {sup}_{n \rightarrow \infty} | a _ { n } | ^ { 1 / n } = 1$. Consider the associated harmonic and analytic functions $H ( r , \theta ) = \sum _ { n = 0 } ^ { \infty } a _ { n } H _ { n } ( r , \theta )$ and $f ( z ) = \sum _ { n = 0 } ^ { \infty } a _ { n } z ^ { n }$, which are regular for $r = | z | < 1$. Then the boundary point $( 1 , \theta _ { 0 } )$ is a singularity of $H ( r , \theta )$ if and only if the boundary point $z = \operatorname { exp } ( i \theta _ { 0 } )$ is a singularity of $f ( z )$. Thus, the singularities of solutions of a singular partial differential equation are characterized in terms of those of associated analytic functions and vice versa.

From the 1950s onwards, an extensive literature has developed using integral transform methods to study solutions of large classes of multi-variable partial differential equations. The analysis is based on the theory of analytic and harmonic functions in several variables. Zonal harmonics play an important role in axially symmetric problems in $\mathbf{R} ^ { 3 }$ (see [a1], [a2], [a3], [a5]).

References

[a1]	H. Begher, R.P. Gilbert, "Transmutations, transformations and kernel functions" , Monographs and Surveys in Pure and Applied Math. , 58–59 , Pitman (1992)
[a2]	S. Bergman, "Integral operators in the theory of linear partial differential equations" , Springer (1963) MR0239239 MR1532808 MR0180735 MR0141880 Zbl 0209.40002 Zbl 0176.08501 Zbl 0121.07802 Zbl 0093.28701
[a3]	R.P. Gilbert, "Function theoretic methods in partial differential equations" , Math. in Sci. and Engin. , 54 , Acad. Press (1969) MR0241789 Zbl 0187.35303
[a4]	O.D. Kellogg, "Foundations of potential theory" , F. Ungar (1929) MR0222317 MR1522134 Zbl 0152.31301 Zbl 0053.07301
[a5]	M. Kracht, E. Kreyszig, "Methods of complex analysis in partial differential equations with applications" , Wiley/Interscience (1988) MR0941372 Zbl 0644.35005
[a6]	W.D. MacMillan, "The theory of the potential" , Dover (1958)
[a7]	P.M. Morse, H. Feshbach, "Methods of theoretical physics" , 1–2 , McGraw-Hill (1953) MR0059774 Zbl 0051.40603
[a8]	G. Szegö, "On the singularities of real zonal harmonic series" J. Rat. Mech. Anal. , 3 (1954) pp. 561–564