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 Template:ZBL Template:ZBL Template:ZBL Template:ZBL
[a3]	R.P. Gilbert, "Function theoretic methods in partial differential equations" , Math. in Sci. and Engin. , 54 , Acad. Press (1969) MR0241789 Template:ZBL
[a4]	O.D. Kellogg, "Foundations of potential theory" , F. Ungar (1929) MR0222317 MR1522134 Template:ZBL Template:ZBL
[a5]	M. Kracht, E. Kreyszig, "Methods of complex analysis in partial differential equations with applications" , Wiley/Interscience (1988) MR0941372 Template:ZBL
[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 Template:ZBL
[a8]	G. Szegö, "On the singularities of real zonal harmonic series" J. Rat. Mech. Anal. , 3 (1954) pp. 561–564