Polynomials (cf. also Polynomial) constructed by F. Zernike [a5] and by Zernike and H. Brinkman [a6] for the purpose of approximating certain functions, such as the aberration function of geometrical optics, on the disc 
. The underlying premise is that errors in circular optical elements can be quantified by mean-square deviation per unit area. Given a function 
on 
and 
, the problem of finding a polynomial 
of degree 
which minimizes the 
-norm
 |
is solved by means of orthogonal polynomials (cf. Orthogonal polynomials). This means that for each 
there is an orthogonal basis for the space 
of polynomials of degree 
, which are orthogonal to each polynomial of lower degree (orthogonality is with respect to the inner product 
). The dimension of 
is 
. In the case of the disc there are at least two useful approaches to constructing orthogonal polynomials, based on the Cartesian or on the polar coordinate system. The Zernike polynomials are associated with the polar coordinate system (
, 
) and with complex coordinates (
, 
). For 
and 
with 
, the Zernike circle polynomial is
 |
where 
is a polynomial of degree 
in 
, of the same parity as 
. This family has been generalized to "disc polynomials" , associated with the weight function 
with arbitrary 
(see [a3]). The formulas will be stated for the general case since they are no more complicated than for the Zernike polynomials (
). A convenient indexing is obtained from setting 
, 
for arbitrary 
. Then (using the Pochhammer symbol 
and the hypergeometric function 
), define
The Zernike radial polynomial is
The normalization of the polynomials comes from the equation 
. The orthogonality relations are
The polynomials can be expressed in terms of Jacobi polynomials: for 
,
and satisfy a Rodrigues formula:
The orthogonal polynomials of degree 
(that is, 
) satisfy a differential equation:
There is an important integral transform used in the diffraction theory of aberrations (see [a1], Chap. 9): Let 
, 
, and 
, then
where 
denotes the Bessel function of index 
(cf. Bessel functions). The coefficients of the orthogonal expansion of an aberration function in terms of the Zernike polynomials are related to the so-called primary aberrations (such as astigmatism, coma, distortion), see [a1], Chap. 5. The disc polynomials for 
appear as spherical functions on the homogeneous spaces 
(where 
denotes the unitary group, see [a2], Vol. 2, Sec. 11.5, pp. 359–363). The Zernike polynomials are key tools in two-dimensional tomography; see [a4].
References
| [a1] | M. Born, E. Wolf, "Principles of optics" , Pergamon (1965) (Edition: Third) |
| [a2] | A. Klimyk, N. Vilenkin, "Representations of Lie groups and special functions" , Kluwer Acad. Publ. (1993) |
| [a3] | T. Koornwinder, "Two-variable analogues of the classical orthogonal polynomials" R. Askey (ed.) , Theory and Applications of Special Functions , Acad. Press (1975) pp. 435–495 |
| [a4] | R. Marr, "On the reconstruction of a function on a circular domain from a sampling of its line integrals" J. Math. Anal. Appl. , 45 (1974) pp. 357–374 |
| [a5] | F. Zernike, "Beugungstheorie des Schneidensverfahrens und seiner verbesserten Form, der Phasenkontrastmethode" Physica , 1 (1934) pp. 689–704 |
| [a6] | F. Zernike, H. Brinkman, "Hypersphärische Funktionen und die in sphärischen Bereichen orthogonalen Polynome" Proc. K. Akad. Wetensch. , 38 (1935) pp. 161–170 |
How to Cite This Entry:
Zernike polynomials. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Zernike_polynomials&oldid=17503
This article was adapted from an original article by Charles F. Dunkl (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098.
See original article
