Ver el código de «Polinomios de Zernike»

[[Image:Zernike polynomials2.png|360px|thumb|Los primeros 21 polinomios de Zernike, ordenados verticalmente por grado radial y horizontalmente por grado azimutal]]

En [[matemáticas]], los '''polinomios de Zernike''' son una [[secuencia polinomial|secuencia]] de [[polinomio]]s que son [[Polinomios ortogonales|ortogonales]] en el [[disco unidad]]. Fueron nombrados en honor del físico óptico [[Frits Zernike]], ganador del [[Premio Nobel]] de física en 1953 e inventor del [[microscopio de contraste de fases]]. Estos polinomios juegan un papel importante en la modelización del comportamiento de haces de luz en un [[óptica|sistema óptico]].<ref>
{{cite journal
 |last   = Zernike
 |first  = F.
 |year   = 1934
 |title  = Beugungstheorie des Schneidenverfahrens und Seiner Verbesserten Form, der Phasenkontrastmethode
 |journal= Physica
 |volume=1
 |number= 8
 |doi=10.1016/S0031-8914(34)80259-5
|bibcode=1934Phy.....1..689Z
 |pages  = 689–704
}}</ref><ref>
{{cite book
|author=[[Max Born|Born, Max]], and [[Emil Wolf|Wolf, Emil]]
|title=Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light
|year=1999
|publisher=Cambridge University Press
|location=Cambridge, UK
|isbn=9780521642224
|pages=986
|url=https://books.google.com/books/about/Principles_of_Optics.html?id=aoX0gYLuENoC
|edition=7th}}</ref>
<!-- to do: [[frente de onda]] -->

== Definiciones ==
Los polinomios de Zernike se distinguen en función de su [[Paridad de una función|paridad]]. Los términos pares se definen como:

: <math>Z^{m}_n(\rho,\varphi) = R^m_n(\rho)\,\cos(m\,\varphi) \!</math>

y los impares como:

: <math>Z^{-m}_n(\rho,\varphi) = R^m_n(\rho)\,\sin(m\,\varphi), \!</math>

donde ''m'' y ''n'' son [[número entero|números enteros]] no negativos con ''n''&nbsp;≥&nbsp;''m'', ''φ'' es el [[ángulo]] [[acimut]]al, ''ρ'' es la distancia radial <math>0\le\rho\le 1</math> y '' R''<sup>''m''</sup><sub>''n''</sub> son los polinomios radiales definidos a continuación. Los polinomios de Zernike tienen la propiedad de estar limitados a un rango de -1 a +1, es decir, <math>|Z^{m}_n(\rho,\varphi)| \le 1</math>. Los polinomios radiales ''R''<sup>''m''</sup><sub>''n''</sub> se definen como

: <math>R^m_n(\rho) = \sum_{k=0}^{\tfrac{n-m}{2}} \frac{(-1)^k\,(n-k)!}{k!\left (\tfrac{n+m}{2}-k \right )! \left (\tfrac{n-m}{2}-k \right)!} \;\rho^{n-2\,k}</math>

para ''n''-''m'' par, y son idénticamente 0 para ''n''-''m'' impar.

=== Otras representaciones ===
Reescribiendo las relaciones de factoriales en la parte radial como productos de [[Coeficiente binomial|coeficientes binomiales]], se demuestra que los coeficientes son números enteros:

: <math>R_n^m(\rho)=\sum_{k=0}^{\tfrac{n-m}{2}}(-1)^k \binom{n-k}{k} \binom{n-2k}{\tfrac{n-m}{2}-k} \rho^{n-2k}</math>.

La notación como términos de [[función hipergeométrica|funciones hipergeométricas 
gaussianas]] es útil para revelar recurrencias, para demostrar casos especiales de los [[polinomios de Jacobi]], o para reducir ecuaciones diferenciales.

: <math>\begin{align}
R_n^m(\rho) &= \binom{n}{\tfrac{n+m}{2}}\rho^n \ {}_2F_{1}\left(-\tfrac{n+m}{2},-\tfrac{n-m}{2};-n;\rho^{-2}\right) \\
&= (-1)^{\tfrac{n-m}{2}}\binom{\tfrac{n+m}{2}}{m}\rho^m \ {}_2F_{1}\left(1+\tfrac{n+m}{2},-\tfrac{n-m}{2};1+m;\rho^2\right)
\end{align}</math>

para ''n''-''m'' par.

El factor <math>\rho^{n-2k}</math> en el polinomio radial <math>R_n^m(\rho)</math> se puede expandir en una [[Polinomio de Bernstein|base de Bernstein]] de <math>b_{s,n/2}(\rho^2)</math> para <math>n</math> par o <math>\rho</math> multiplicado por una función de <math>b_{s,(n-1)/2}(\rho^2)</math> para <math>n</math> impar en el rango <math>\lfloor n/2\rfloor-k \le s \le \lfloor n/2\rfloor</math>. Por lo tanto, el polinomio radial puede expresarse mediante un número finito de polinomios de Bernstein con coeficientes racionales:
: <math>R_n^m(\rho) = \frac{1}{\binom{\lfloor n/2\rfloor}{\lfloor m/2\rfloor}} \rho^{n\mod 2} \sum_{s=\lfloor m/2\rfloor}^{\lfloor n/2\rfloor} (-1)^{\lfloor n/2\rfloor -s} \binom{s}{\lfloor m/2\rfloor}\binom{(n+m)/2}{s+\lceil m/2\rceil} b_{s,\lfloor n/2\rfloor}(\rho^2).</math>

=== Índices secuenciales de Noll ===
Las aplicaciones a menudo implican el uso del [[álgebra lineal]], donde las integrales sobre productos de polinomios de Zernike y algún otro factor se pueden organizar como los elementos de una matriz.
Una relación para enumerar las filas y las columnas de estas matrices mediante un solo índice fue introducida por Noll.<ref name=noll1976>{{cite journal
|first1=R. J.
|last1=Noll
|title=Zernike polynomials and atmospheric turbulence
|journal=J. Opt. Soc. Am.
|volume=66
|year=1976
|url=ftp://ftp.bioeng.auckland.ac.nz/pub/pub/jtur044/references/fitting/NOLL1976.pdf
|doi=10.1364/JOSA.66.000207
|page=207
|bibcode=1976JOSA...66..207N
|issue=3
}}</ref> La transformación convencional de los dos índices ''n'' y ''m'' en un solo índice ''j'' mediante la asociación <math>Z_n^m \rightarrow Z_j</math> comienza de la siguiente manera {{OEIS|A176988}}
{|class="wikitable"
!n,m
{{!!}} 0,0{{!!}}1,1{{!!}} 1,−1 {{!!}} 2,0{{!!}} 2,−2 {{!!}} 2,2{{!!}}3,−1{{!!}} 3,1 {{!!}} 3,−3 {{!!}} 3,3
|-------
! j
{{!}} 1{{!!}}2{{!!}} 3 {{!!}} 4 {{!!}} 5 {{!!}} 6 {{!!}} 7 {{!!}}8 {{!!}} 9{{!!}} 10
|-----
!n,m
{{!!}}4,0 {{!!}}4,2 {{!!}}4,−2{{!!}}4,4{{!!}}4,−4{{!!}}5,1{{!!}}5,−1{{!!}}5,3 {{!!}}5,−3{{!!}}5,5
|-----
! j
{{!!}}11 {{!!}}12 {{!!}}13 {{!!}}14{{!!}}15{{!!}}16{{!!}} 17 {{!!}} 18 {{!!}}19 {{!!}}20
|}
La regla es que para ''Z'' par (con la parte azimutal par m, <math>\cos(m\varphi)</math>) se obtienen los índices ''j'' pares, y para ''Z'' impar se obtienen los índices ''j'' impares. Dentro de un ''n'' dado, los valores más bajos de |''m''| producen los menores valores de ''j''.

=== Índices estándar OSA / ANSI ===
Los polinomios de Zernike de un solo índice utilizan los coeficientes de la [[Sociedad Óptica Estadounidense]]
<ref name=thibos2002>{{cite journal
|first1=L. N.
|last1=Thibos
|first2=R. A.
|last2=Applegate
|first3=J. T.
|last3=Schwiegerling
|first4=R.
|last4=Webb
|title=Standards for reporting the optical aberrations of eyes
|journal=Journal of Refractive Surgery
|volume=18
|issue=5
|year=2002
|url=http://voi.opt.uh.edu/2000-JRS-standardsforrepotingtheopticalaberrationsofeyes.pdf
|page=S652-60}}</ref> y del [[Instituto Nacional Estadounidense de Estándares|ANSI]]:

: <math>j =\frac{n(n+2)+m}{2}</math>

{|class="wikitable"
!n,m
{{!!}} 0,0{{!!}}1,-1{{!!}} 1,1 {{!!}} 2,-2{{!!}} 2,0 {{!!}} 2,2{{!!}}3,-3{{!!}} 3,-1 {{!!}} 3,1 {{!!}} 3,3
|-------
! j
{{!}} 0 {{!!}} 1 {{!!}} 2 {{!!}} 3 {{!!}} 4 {{!!}} 5 {{!!}} 6 {{!!}} 7 {{!!}} 8 {{!!}} 9
|-----
!n,m
{{!!}}4,-4 {{!!}}4,-2 {{!!}}4,0{{!!}}4,2{{!!}}4,4{{!!}}5,-5{{!!}}5,-3{{!!}}5,-1 {{!!}}5,1{{!!}}5,3
|-----
! j
{{!!}} 10 {{!!}} 11 {{!!}} 12 {{!!}} 13 {{!!}} 14 {{!!}} 15 {{!!}} 16 {{!!}} 17 {{!!}} 18 {{!!}} 19
|}

=== Índices de Fringe / Zemax ===
Zemax usa el esquema de indexación de Fringe. Los 20 primeros números de Fringe se enumeran a continuación.<ref>Proc SPIE 4771, p.276-286 (2002) {{DOI|10.1117/12.482169}}</ref>

{|class="wikitable"
!n,m
{{!!}} 0,0{{!!}}1,1{{!!}} 1,−1 {{!!}} 2,0{{!!}} 2,2 {{!!}} 2,-2{{!!}}3,1{{!!}} 3,-1 {{!!}} 4,0 {{!!}} 3,3
|-------
! j
{{!}} 1{{!!}}2{{!!}} 3 {{!!}} 4 {{!!}} 5 {{!!}} 6 {{!!}} 7 {{!!}}8 {{!!}} 9{{!!}} 10
|-----
!n,m
{{!!}}3,-3 {{!!}}4,2 {{!!}}4,−2{{!!}}5,1{{!!}}5,−1{{!!}}6,0{{!!}}4,4{{!!}}4,-4 {{!!}}5,3{{!!}}5,-3
|-----
! j
{{!!}}11 {{!!}}12 {{!!}}13 {{!!}}14{{!!}}15{{!!}}16{{!!}} 17 {{!!}} 18 {{!!}}19 {{!!}}20
|}

== Propiedades ==

=== Ortogonalidad ===
La ortogonalidad en la parte radial se expresa como<ref>{{cite article|first1=V. | last1=Lakshminarayanan|first2=Andre |last2=Fleck|doi=10.1080/09500340.2011.554896|journal=J. Mod. Opt.|year=2011|bibcode=2011JMOp...58..545L|volume=58|issue=7|pages=545-561|title=Zernike polynomials: a guide}}</ref>
: <math>\int_0^1 \rho \sqrt{2n+2}R_n^m(\rho)\,\sqrt{2n'+2}R_{n'}^{m}(\rho)\,d\rho = \delta_{n,n'}.</math>
La ortogonalidad en la parte angular está representada por las [[Anexo:Integrales de funciones trigonométricas|integrales elementales]]
: <math>\int_0^{2\pi} \cos(m\varphi)\cos(m'\varphi)\,d\varphi=\epsilon_m\pi\delta_{|m|,|m'|},</math>
: <math>\int_0^{2\pi} \sin(m\varphi)\sin(m'\varphi)\,d\varphi=(-1)^{m+m'}\pi\delta_{|m|,|m'|};\quad m\neq 0,</math>
: <math>\int_0^{2\pi} \cos(m\varphi)\sin(m'\varphi)\,d\varphi=0,</math>
donde <math>\epsilon_m</math> (a veces llamado [[Carl Gottfried Neumann|factor de Neumann]] porque aparece con frecuencia junto con las funciones de Bessel) se define como ''2'' si <math>m=0</math> y como ''1'' si <math>m\neq 0</math>. El producto de las partes angulares y radiales establece la ortogonalidad de las funciones de Zernike con respecto a ambos índices si se integra en el disco unidad,
: <math>\int Z_n^m(\rho,\varphi)Z_{n'}^{m'}(\rho,\varphi) \, d^2r =\frac{\epsilon_m\pi}{2n+2}\delta_{n,n'}\delta_{m,m'},</math>
donde <math>d^2r=\rho\,d\rho\,d\varphi</math> es el [[jacobiano]] del sistema de coordenadas circulares, y donde <math>n-m</math> y <math>n'-m'</math> son pares.

Un valor especial es

: <math>R_n^m(1)=1, \, </math>

=== Transformada de Zernike ===
Cualquier campo de fase de valor real suficientemente uniforme sobre el disco de la unidad <math>G(\rho,\varphi)</math> puede representarse en términos de sus coeficientes de Zernike (impar y par), del mismo modo que las funciones periódicas encuentran una representación ortogonal con la [[serie de Fourier]]. Siendo
: <math>G(\rho,\varphi) = \sum_{m,n}\left[ a_{m,n} Z^{m}_n(\rho,\varphi) + b_{m,n} Z^{-m}_n(\rho,\varphi) \right],</math>
los coeficientes se pueden calcular usando [[espacio prehilbertiano|productos internos]]. En el espacio de las funciones de <math>L^2</math> en el disco de la unidad, existe un producto interno definido por
: <math>\langle F, G \rangle := \int F(\rho,\varphi)G(\rho,\varphi)\rho d\rho d\varphi.</math>
Los coeficientes de Zernike se pueden expresar de la siguiente manera:

: <math>\begin{align}
a_{m,n} &= \frac{2n+2}{\epsilon_m\pi} \left \langle G(\rho,\varphi),Z^{m}_n(\rho,\varphi) \right \rangle, \\
b_{m,n} &= \frac{2n+2}{\epsilon_m\pi} \left \langle G(\rho,\varphi),Z^{-m}_n(\rho,\varphi) \right \rangle.
\end{align}</math>

Alternativamente, se pueden usar los valores conocidos de la función de fase ''G'' en la retícula circular para formar un sistema de ecuaciones. La función de fase se recupera mediante el producto ponderado de coeficiente desconocido con (valores conocidos) del polinomio de Zernike en la retícula del disco unidad. Por lo tanto, los coeficientes también se pueden encontrar resolviendo un sistema lineal, por ejemplo, mediante la inversión de una matriz. Los algoritmos rápidos para calcular la transformación de Zernike directa e inversa utilizan las propiedades de simetría de las [[trigonometría|funciones trigonométricas]], la separabilidad de las partes radiales y acimutales de los polinomios de Zernike y sus simetrías rotacionales.

=== Simetrías ===
La paridad con respecto a la reflexión en el eje ''x'' es
: <math>Z_n^{m}(\rho,\varphi)=(-1)^m Z_n^{m}(\rho,-\varphi).</math>
La paridad con respecto al punto de reflexión en el centro de coordenadas es
: <math>Z_n^m(\rho,\varphi) = (-1)^m Z_n^m(\rho,\varphi+\pi),</math>
donde <math>(-1)^m</math> también podría escribirse <math>(-1)^n</math> porque <math>n-m</math> es par para los valores relevantes que no tienden a cero.
Los polinomios radiales también son pares o impares, según el orden ''n'' o ''m'':

: <math>R_n^m(\rho)=(-1)^n R_n^m(-\rho)=(-1)^m R_n^m(-\rho).</math>

La periodicidad de las funciones trigonométricas implica invarianza si se rota por múltiplos de <math>2\pi/m</math> [[Radián|radianes]] alrededor del centro:

: <math>Z_n^m \left (\rho, \varphi+ \tfrac{2\pi k}{m} \right )=Z_n^m(\rho,\varphi),\qquad k= 0, \pm 1,\pm 2,\cdots.</math>

=== Relaciones de recurrencia ===

Los polinomios de Zernike satisfacen la siguiente [[relación de recurrencia]] que no depende ni del grado ni del orden acimutal de los polinomios radiales:<ref name="barmak">Honarvar Shakibaei Asli, Barmak; Raveendran, Paramesran (July 2013). "Recursive formula to compute Zernike radial polynomials" Opt. Lett. (OSA) 38 (14): 2487–2489. {{DOI|10.1364/OL.38.002487}}</ref>

: <math>\begin{align}
R_n^m(\rho)+R_{n-2}^m(\rho)=\rho\left[R_{n-1}^{\left|m-1\right|}(\rho)+R_{n-1}^{m+1}(\rho)\right] \text{ .}
\end{align}</math>

De la definición de <math>R_n^m</math> se puede ver que <math>R_m^m(\rho) = \rho^m</math> y <math>R_{m+2}^m(\rho) = ((m+2)\rho^2 - (m+1))\rho^m</math>. La siguiente relación de recurrencia de tres términos<ref name="kintner1976">
{{cite journal
|first1=E. C.
|last1=Kintner
|doi=10.1080/713819334
|title=On the mathematical properties of the Zernike Polynomials
|journal=Opt. Acta
|volume=23
|year=1976
|pages=679–680
|bibcode=1976AcOpt..23..679K
|issue=8
}}</ref> permite calcular todos los demás <math>R_n^m(\rho)</math>:

: <math>
R_n^m(\rho) = \frac{2(n-1)(2n(n-2)\rho^2-m^2-n(n-2))R_{n-2}^m(\rho) - n(n+m-2)(n-m-2)R_{n-4}^m(\rho)}{(n+m)(n-m)(n-2)} \text{ .}
</math>

La relación anterior es especialmente útil, ya que la derivada de <math>R_n^m</math> se puede calcular a partir de dos polinomios de Zernike radiales de grado adyacente:<ref name=kintner1976 />

: <math>
\frac{\operatorname{d}}{\operatorname{d}\! \rho} R_n^m(\rho) = \frac{(2 n m (\rho^2 - 1) + (n-m)(m + n(2\rho^2 - 1))) R_n^m(\rho) - (n+m)(n-m) R_{n-2}^m(\rho)}{2 n \rho (\rho^2 - 1)} \text{ .}
</math>

== Ejemplos ==

=== Polinomios radiales ===
Los primeros pocos polinomios radiales son:

: <math> R^0_0(\rho) = 1 \,</math>

: <math> R^1_1(\rho) = \rho \,</math>

: <math> R^0_2(\rho) = 2\rho^2 - 1 \,</math>

: <math> R^2_2(\rho) = \rho^2 \,</math>

: <math> R^1_3(\rho) = 3\rho^3 - 2\rho \, </math>

: <math> R^3_3(\rho) = \rho^3 \,</math>

: <math> R^0_4(\rho) = 6\rho^4 - 6\rho^2 + 1 \,</math>

: <math> R^2_4(\rho) = 4\rho^4 - 3\rho^2 \,</math>

: <math> R^4_4(\rho) = \rho^4 \,</math>

: <math> R^1_5(\rho) = 10\rho^5 - 12\rho^3 + 3\rho \,</math>

: <math> R^3_5(\rho) = 5\rho^5 - 4\rho^3 \,</math>

: <math> R^5_5(\rho) = \rho^5 \,</math>

: <math> R^0_6(\rho) = 20\rho^6 - 30\rho^4 + 12\rho^2 - 1 \,</math>

: <math> R^2_6(\rho) = 15\rho^6 - 20\rho^4 + 6\rho^2 \,</math>

: <math> R^4_6(\rho) = 6\rho^6 - 5\rho^4 \,</math>

: <math> R^6_6(\rho) = \rho^6. \,</math>

=== Polinomios de Zernike ===
Se muestran a continuación algunos de los primeros modos de Zernike, con índices OSA/ANSI y e índices únicos de Noll. Están normalizados de tal manera que
: <math>\int_0^{2\pi} \int_0^1 Z_j^2\,\rho\,d\rho\,d\theta = \pi.</math>
{| class="wikitable sortable col2cen col3cen col4cen col5cen"
|-
! &nbsp; || Índice<br />OSA/ANSI<br />(<math>j</math>) || Índice<br />Noll<br/>(<math>j</math>) !! Grado<br />Radial<br />(<math>n</math>) !! Grado<br />Azimutal<br />(<math>m</math>) !! <math>Z_j</math> !! Nombre clásico
|-
| <math>Z_0^0</math> || &nbsp;0 || &nbsp;1 || 0 || &nbsp;0 || <math>1</math> || [[Pistón (óptica)|Pistón]]  (véase [[distribución semicircular de Wigner]])
|-
| <math>Z_1^{-1}</math> || &nbsp;1 || &nbsp;3 || 1 || −1 || <math>2 \rho \sin \theta</math> || [[Inclinación (óptica)|Inclinación]] (inclinación Y, inclinación vertical)
|-
| <math>Z_1^1</math> || &nbsp;2 || &nbsp;2 || 1 || +1 || <math>2 \rho \cos \theta</math> || Inclinación horizontal
|-
| <math>Z_2^{-2}</math> || &nbsp;3 || &nbsp;5 || 2 || −2 || <math>\sqrt{6} \rho^2 \sin 2 \theta</math> || [[Astigmatismo (sistemas ópticos)| Astigmatismo oblicuo]]
|-
| <math>Z_2^0</math> || &nbsp;4 || &nbsp;4 || 2 || &nbsp;0 || <math>\sqrt{3} (2 \rho^2 - 1)</math> || [[Aberración focal|Desenfoque]] (posición longitudinal)
|-
| <math>Z_2^2</math> || &nbsp;5 || &nbsp;6 || 2 || +2 || <math>\sqrt{6} \rho^2 \cos 2 \theta</math> ||Astigmatismo vertical
|-
| <math>Z_3^{-3}</math> || &nbsp;6 || &nbsp;9 || 3 || −3 || <math>\sqrt{8} \rho^3 \sin 3 \theta</math> || Lobulado vertical
|-
| <math>Z_3^{-1}</math> || &nbsp;7 || &nbsp;7 || 3 || −1 || <math>\sqrt{8} (3 \rho^3 - 2\rho) \sin \theta</math> || [[Coma (óptica)|Coma vertical]]
|-
| <math>Z_3^1</math> || &nbsp;8 || &nbsp;8 || 3 || +1 || <math>\sqrt{8} (3 \rho^3 - 2\rho) \cos \theta</math> || Coma horizontal
|-
| <math>Z_3^3</math> || &nbsp;9 || 10 || 3 || +3 || <math>\sqrt{8} \rho^3 \cos 3 \theta</math> || Lobulado oblicuo
|-
| <math>Z_4^{-4}</math> || 10 || 15 || 4 || −4 || <math>\sqrt{10} \rho^4 \sin 4 \theta</math> || Cuatrilobulado oblicuo
|-
| <math>Z_4^{-2}</math> || 11 || 13 || 4 || −2 || <math>\sqrt{10} (4 \rho^4 - 3\rho^2) \sin 2 \theta</math> || Astigmatismo secundario oblicuo
|-
| <math>Z_4^0</math> || 12 || 11 || 4 || &nbsp;0 || <math>\sqrt{5} (6 \rho^4 - 6 \rho^2 +1)</math> || [[Aberración esférica|Esférica primaria]]
|-
| <math>Z_4^2</math> || 13 || 12 || 4 || +2 || <math>\sqrt{10} (4 \rho^4 - 3\rho^2) \cos 2 \theta</math> || Astigmatismo vertical secundario 
|-
| <math>Z_4^4</math> || 14 || 14 || 4 || +4 || <math>\sqrt{10} \rho^4 \cos 4 \theta</math> || Cuatrilobulado vertical
|}

== Aplicaciones ==
Los polinomios de Zernike son una base definida sobre un área de soporte circular, típicamente los planos de las pupilas en imágenes ópticas clásicas en longitudes de onda visibles e infrarrojas, a través de sistemas de lentes y espejos de diámetro finito. Su principal ventaja procede de las propiedades analíticas simples heredadas de la sencillez de las funciones radiales y de la factorización en funciones radiales y acimutales; esto lleva, por ejemplo, a expresiones de forma cerrada de la [[transformada de Fourier]] bidimensional en términos de funciones de Bessel.<ref>{{cite journal|first1=E. |last1=Tatulli|doi=10.1364/JOSAA.30.000726 |year=2013|title=Transformation of Zernike coefficients: a Fourier-based method for scaled, translated, and rotated wavefront apertures
|bibcode=2013JOSAA..30..726T|journal=J. Opt. Soc. Am. A|volume=30|issue=4|page=726}}</ref><ref>
{{cite journal|first1=A. J. E. M.|last1=Janssen|title=New analytic results for the Zernike Circle Polynomials from a basic result in the Nijboer-Zernike diffraction theory|doi=10.2971/jeos.2011.11028|year=2011|journal=JEOS:RP | volume=6}}
</ref> Su desventaja, en particular si están involucrados ''n'' términos, es la distribución desigual de las líneas nodales sobre el disco unidad, lo que introduce efectos de resonancia cerca del perímetro <math>\rho\approx 1</math>, que a menudo conducen a la necesidad de definir otras [[funciones ortogonales]] sobre el disco circular.<ref>{{cite journal|first1=Richard|last1=Barakat|title=Optimum balanced wave-front aberrations for radially symmetric amplitude distributions: Generalizations of Zernike polynomials|doi=10.1364/JOSA.70.000739|year=1980|journal=J. Opt. Soc.|volume=70|issue=6|pages=739-742|bibcode=1980JOSA...70..739B}}</ref><ref>{{cite arxiv|first1=A. J. E. M.|last1=Janssen|title=A generalization of the Zernike circle polynomials for forward and inverse problems in diffraction theory|eprint=1110.2369|year=2011}}</ref><ref>{{cite arxiv|first1=R. J.|last1=Mathar|title=Orthogonal basis function over the unit circle with the minimax property|eprint=1802.09518|year=2018}}</ref>

En la fabricación óptica de precisión, los polinomios de Zernike se utilizan para caracterizar los errores de orden superior observados en los análisis interferométricos.

En [[optometría]] y [[oftalmología]], los polinomios de Zernike se usan para describir [[Aberración en sistemas ópticos|aberraciones]] de la [[córnea]] o del [[cristalino]] desde una forma esférica ideal, que da como resultado [[ametropía]]s.

Se usan comúnmente en [[óptica adaptativa]], donde se pueden emplear para calibrar la [[Turbulencia|distorsión atmosférica]]. Las aplicaciones habituales para esta propiedad se encuentran en la astronomía visual o infrarroja y en tratamiento de [[imagen satelital|imágenes satelitales]].

Otra aplicación de los polinomios de Zernike se encuentra en la teoría extendida de Nijboer-Zernike sobre [[difracción (física)|difracción]] y aberraciones ópticas.

Los polinomios de Zernike también se usan ampliamente como funciones de base de ''[[momentos de imagen]]''. Como los polinomios de Zernike son [[ortogonalidad (matemáticas)|ortogonales]] entre sí, los momentos de Zernike pueden representar las propiedades de una imagen sin redundancia ni superposición de información entre los distintos modos. Aunque los momentos de Zernike dependen significativamente del [[Escalado (geometría)|escalado]] y de la [[Traslación (geometría)|tranlación]] del objeto en una [[región de interés]], sus [[Magnitud (matemática)|magnitudes]] son independientes del [[ángulo de rotación]] del objeto.<ref>{{cite conference
| first = A.
| last = Tahmasbi
| year = 2010
| title = An Effective Breast Mass Diagnosis System using Zernike Moments
| conference = 17th Iranian Conf. on Biomedical Engineering (ICBME'2010)
| publisher = [[Institute of Electrical and Electronics Engineers]]
| location = [[Isfahán]], [[Irán]]
| pages = 1–4
| doi = 10.1109/ICBME.2010.5704941
}}</ref> Por lo tanto, pueden utilizarse para extraer [[Propiedades (visión computarizada)|propiedades]] de imágenes que describen la forma características de un objeto. Por ejemplo, los momentos de Zernike se utilizan como descriptores de forma para clasificar e identificar [[cáncer de mama|cánceres de mama]] benigno y maligno en imágenes digitalizadas<ref>
{{cite journal
 |last=Tahmasbi  |first=A.
 |last2=Saki     |first2=F.
 |last3=Shokouhi |first3=S.B.
 |year=2011
 |title=Classification of Benign and Malignant Masses Based on Zernike Moments
 |journal=[[Computers in Biology and Medicine]]
 |volume=41 |pages=726–735
 |doi=10.1016/j.compbiomed.2011.06.009
}}</ref> o la superficie de discos vibratorios.<ref>{{cite journal|first1=W. P. |last1=Rdzanek|doi=10.1016/j.jsv.2018.07.035|title=Sound radiation of a vibrating elastically supported circular plate embedded into a flat screen revisited using the Zernike circle polynomials|year=2018|volume=434|pages=91-125|journal=J. Sound Vibr.|bibcode=2018JSV...434...92R}}</ref> Los momentos de Zernike también se han usado para cuantificar la forma de las líneas celulares de cáncer de osteosarcoma en el nivel de una sola célula.<ref>{{cite journal|last1=Alizadeh|first1=Elaheh|last2=Lyons|first2=Samanthe M|last3=Castle|first3=Jordan M|last4=Prasad|first4=Ashok|title=Measuring systematic changes in invasive cancer cell shape using Zernike moments|journal=Integrative Biology|date=2016|volume=8|issue=11|pages=1183–1193|doi=10.1039/C6IB00100A}}</ref>

== Dimensiones más altas ==
El concepto se traduce a dimensiones mayores ''D'' si los multinomios <math>x_1^ix_2^j\cdots x_D^k</math> en [[coordenadas cartesianas]] se convierten en [[N-esfera|coordenadas hiperesféricas]], <math>\rho^s, s\le D</math>, multiplicadas por un producto de polinomios de Jacobi de las variables angulares. Por ejemplo, en la dimensión <math>D=3</math>, las variables angulares son [[armónicos esféricos]]. Combinaciones lineales de las potencias <math>\rho^s</math> definen una base ortogonal <math>R_n^{(l)}(\rho)</math> que satisface

: <math>\int_0^1 \rho^{D-1}R_n^{(l)}(\rho)R_{n'}^{(l)}(\rho)d\rho = \delta_{n,n'}</math>.

(Téngase en cuenta que un factor <math>\sqrt{2n+D}</math> se absorbe aquí en la definición de ''R'', mientras que en <math>D=2</math> la normalización se elige de forma ligeramente diferente. Esto es en gran medida una cuestión arbitraria, dependiendo de si se desea mantener un conjunto entero de coeficientes o se prefieren fórmulas más estrictas si está involucrada la ortogonalización). La representación explícita es

: <math>\begin{align}
R_n^{(l)}(\rho) &= \sqrt{2n+D}\sum_{s=0}^{\tfrac{n-l}{2}} (-1)^s {\tfrac{n-l}{2} \choose s}{n-s-1+\tfrac{D}{2} \choose \tfrac{n-l}{2}}\rho^{n-2s} \\
&=(-1)^{\tfrac{n-l}{2}} \sqrt{2n+D} \sum_{s=0}^{\tfrac{n-l}{2}} (-1)^s {\tfrac{n-l}{2} \choose s} {s-1+\tfrac{n+l+D}{2} \choose \tfrac{n-l}{2}} \rho^{2s+l} \\
&=(-1)^{\tfrac{n-l}{2}} \sqrt{2n+D} {\tfrac{n+l+D}{2}-1 \choose \tfrac{n-l}{2}} \rho^l \ {}_2F_1 \left ( -\tfrac{n-l}{2},\tfrac{n+l+D}{2}; l+\tfrac{D}{2}; \rho^2 \right )
\end{align}</math>

incluso para <math>n-l\ge 0</math>, o de lo contrario, idéntico a cero.

== Véase también ==
* [[Polinomios de Jacobi]]
* [[Teoría de Nijboer-Zernike]]
* [[Polinomios pseudo-Zernike]]

== Referencias ==
{{listaref|2}}

== Bibliografía ==
* {{MathWorld|title=Zernike Polynomial|urlname=ZernikePolynomial}}
* {{cite journal |first1=Torben B. | last1=Andersen | title= Efficient and robust recurrence relations for the Zernike circle polynomials and their derivatives in Cartesian coordinates
 | doi=10.1364/OE.26.018878 |year=2018 | journal = Opt. Exp. | volume = 26 | number=15 | pages=18878-18896}}
* {{cite journal
|first1=A. B.
|last1=Bhatia
|first2=E.
|last2=Wolf
|doi=10.1088/0370-1301/65/11/112
|title=The Zernike circle polynomials occurring in diffraction theory
|journal=Proc. Phys. Soc. B
|volume=65
|year=1952
|pages=909–910
|bibcode=1952PPSB...65..909B
|issue=11
}}
* {{cite journal
|first1=P. G.
|last1=Callahan
|first2=M.
|last2=De Graef
|title=Precipitate shape fitting and reconstruction by means of 3D Zernike functions
|doi=10.1088/0965-0393/20/1/015003
|year=2012
|journal= Model. Simul. Mat. Sci. Engin.
|volume=20
|pages=015003
|bibcode=2012MSMSE..20a5003C
}}
* {{cite journal
|first1=C. E.
|last1= Campbell
|doi=10.1364/JOSAA.20.000209
|title=Matrix method to find a new set of Zernike coefficients form an original set when the aperture radius is changed
|journal=J. Opt. Soc. Am. A
|volume=20
|year=2003
|bibcode=2003JOSAA..20..209C
|page=209
|issue=2}}
* {{cite journal
|first1=C.
|last1=Cerjan
|title=The Zernike-Bessel representation and its application to Hankel transforms
|journal=J. Opt. Soc. Am. A
|volume=24
|year=2007
|page=1609
|doi=10.1364/JOSAA.24.001609
|bibcode=2007JOSAA..24.1609C
|issue=6}}
* {{cite journal
|first1=S. A.
|last1=Comastri
|first2=L. I.
|last2=Perez
|first3=G. D.
|last3=Perez
|first4=G.
|last4=Martin
|first5=K.
|last5=Bastida Cerjan
|doi=10.1088/1464-4258/9/3/001
|title=Zernike expansion coefficients: rescaling and decentering for different pupils and evaluation of corneal aberrations
|journal=J. Opt. Soc. Am. A
|volume=9
|year=2007
|pages=209–221
|bibcode=2007JOptA...9..209C
|issue=3
}}
* {{cite journal
|first1=G.
|last1=Conforti
|title=Zernike aberration coefficients from Seidel and higher-order power-series coefficients
|journal=Opt. Lett.
|volume=8
|year=1983
|pages=407–408
|doi=10.1364/OL.8.000407
|bibcode=1983OptL....8..407C
|issue=7
}}
* {{cite journal
|first1=G-m.
|last1=Dai
|first2=V. N.
|last2=Mahajan
|url=http://www.opticsinfobase.org/abstract.cfm?URI=josaa-24-1-139
|title=Zernike annular polynomials and atmospheric turbulence
|journal=J. Opt. Soc. Am. A
|volume=24
|year=2007
|page=139
|doi=10.1364/JOSAA.24.000139
|bibcode=2007JOSAA..24..139D
}}
* {{cite journal
|first1=G-m.
|last1=Dai
|title=Scaling Zernike expansion coefficients to smaller pupil sizes: a simpler formula
|journal=J. Opt. Soc. Am. A
|volume=23
|year=2006
|page=539
|doi=10.1364/JOSAA.23.000539
|bibcode=2006JOSAA..23..539D
|issue=3
}}
* {{cite journal
|first1=J. A.
|last1=Díaz
|first2=J.
|last2=Fernández-Dorado
|first3=C.
|last3=Pizarro
|first4=J.
|last4=Arasa
|doi=10.1080/09500340802531224
|title=Zernike Coefficients for Concentric, Circular, Scaled Pupils: An Equivalent Expression
|journal=Journal of Modern Optics
|volume=56
|issue=1
|year=2009
|bibcode=2009JMOp...56..149D
|pages=149–155
}}
* {{cite web
|first1=J. A.
|last1=Díaz
|first2=J.
|last2=Fernández-Dorado
|url=http://demonstrations.wolfram.com/ZernikeCoefficientsForConcentricCircularScaledPupils/
|title=Zernike Coefficients for Concentric, Circular, Scaled Pupils
}} del Proyecto de Demostraciones Wolfram.
* {{cite journal
|first1=Sajad
|last1=Farokhi
|first2=Siti Mariyam 
|last2=Shamsuddin
|first3=Jan
|last3=Flusser
|first4=U.U
|last4=Sheikh
|first5=Mohammad 
|last5=Khansari
|first6=Kourosh
|last6=Jafari-Khouzani
|title=Rotation and noise invariant near-infrared face recognition by means of Zernike moments and spectral regression discriminant analysis
|journal=Journal of Electronic Imaging
|volume=22
|year=2013
|issue=1
|doi=10.1117/1.JEI.22.1.013030
|bibcode = 2013JEI....22a3030F
|pages=013030}}
* {{cite journal
|first1=J. |last1=Gu
|first2=H. Z. |last2=Shu
|first3=C. | last3=Toumoulin
|first4=L. M. | last4=Luo
|title=A novel algorithm for fast computation of Zernike moments
|journal=Pattern Recogn.
|year=2002
|volume=35
|number=12
|pages=2905–2911
|doi=10.1016/S0031-3203(01)00194-7
}}
* {{cite journal
|first1=J.
|last1=Herrmann
|url=http://www.opticsinfobase.org/abstract.cfm?URI=josa-71-8-989
|title=Cross coupling and aliasing in modal wave-front estimation
|journal=J. Opt. Soc. Am.
|volume=71
|year=1981
|page=989
|doi=10.1364/JOSA.71.000989
|bibcode=1981JOSA...71..989H
|issue=8
}}
* {{cite journal
|first1=P. H.
|last1=Hu
|first2=J.
|last2=Stone
|first3=T.
|last3=Stanley
|title=Application of Zernike polynomials to atmospheric propagation problems
|journal=J. Opt. Soc. Am. A
|volume=6
|year=1989
|page=1595
|doi=10.1364/JOSAA.6.001595
|bibcode=1989JOSAA...6.1595H
|issue=10
}}
* {{cite journal
|first1=E. C.
|last1=Kintner
|doi=10.1080/713819334
|title=On the mathematical properties of the Zernike Polynomials
|journal=Opt. Acta
|volume=23
|year=1976
|pages=679–680
|bibcode=1976AcOpt..23..679K
|issue=8
}}
* {{cite journal
|first1=G. N.
|last1=Lawrence
|first2=W. W.
|last2=Chow
|title=Wave-front tomography by Zernike Polynomial decomposition
|journal=Opt. Lett.
|volume=9
|issue=7
|year=1984
|page=267
|doi=10.1364/OL.9.000267
|bibcode=1984OptL....9..267L
}}
* {{cite journal
|first1=Haiguang
|last1=Liu
|first2=Richard J.
|last2=Morris
|first3=A.
|last3=Hexemer
|first4=Scott
|last4=Grandison
|first5=Peter H.
|last5=Zwart
|title=Computation of small-angle scattering profiles with three-dimensional Zernike polynomials
|doi=10.1107/S010876731104788X
|journal=Acta Crystallogr. A
|issue=2
|pages=278–285
|year=2012
|volume=68
}}
* {{cite journal
|first1=L.
|last1=Lundström
|first2=P.
|last2=Unsbo
|doi=10.1364/JOSAA.24.000569
|title=Transformation of Zernike coefficients: scaled, translated and rotated wavefronts with circular and elliptical pupils
|journal=J. Opt. Soc. Am. A
|volume=24
|year=2007
|page=569
|bibcode=2007JOSAA..24..569L
|issue=3
}}
* {{cite journal
|first1=V. N.
|last1=Mahajan
|title=Zernike annular polynomials for imaging systems with annular pupils
|journal=J. Opt. Soc. Am.
|volume=71
|year=1981
|page=75
|doi=10.1364/JOSA.71.000075
|bibcode=1981JOSA...71...75M
}}
* {{cite arXiv
|first1= R. J.
|last1=Mathar
|eprint=0705.1329
|title=Third Order Newton's Method for Zernike Polynomial Zeros
|class= math.NA
|year= 2007}}
* {{cite journal
|first1=R. J.
|last1=Mathar
|doi=10.2298/SAJ0979107M
|title=Zernike Basis to Cartesian Transformations
|journal=[[Serbian Astronomical Journal]]
|volume=179
|year=2009
|bibcode=2009SerAJ.179..107M
|pages=107–120
|issue=179|arxiv = 0809.2368 }}
* {{cite journal
|first1=A.
|last1=Prata Jr
|first2=W. V. T.
|last2=Rusch
|title=Algorithm for computation of Zernike polynomials expansion coefficients
|journal=Appl. Opt.
|volume=28
|year=1989
|page=749
|bibcode=1989ApOpt..28..749P
|doi=10.1364/AO.28.000749
|issue=4
}}
* {{cite journal
|first1=J.
|last1=Schwiegerling
|url=http://www.opticsinfobase.org/abstract.cfm?URI=josaa-19-10-1937
|title=Scaling Zernike expansion coefficients to different pupil sizes
|journal=J. Opt. Soc. Am. A
|volume=19
|year=2002
|page=1937
|bibcode=2002JOSAA..19.1937S
|doi=10.1364/JOSAA.19.001937
|issue=10
}}
* {{cite journal
|first1=C. J. R.
|last1=Sheppard
|authorlink=Colin Sheppard
|first2=S.
|last2=Campbell
|first3=M. D.
|last3=Hirschhorn
|url=http://www.opticsinfobase.org/abstract.cfm?URI=ao-43-20-3963
|title=Zernike expansion of separable functions in Cartesian coordinates
|journal= Appl. Opt.
|volume=43
|year=2004
|page=3963
|doi=10.1364/AO.43.003963
|bibcode=2004ApOpt..43.3963S
|issue=20
}}
* {{cite journal
|first1=H.
|last1=Shu
|first2=L.
|last2=Luo
|first3=G.
|last3=Han
|first4=J.-L.
|last4=Coatrieux
|url=http://www.opticsinfobase.org/abstract.cfm?URI=josaa-23-8-1960
|title=General method to derive the relationship between two sets of Zernike coefficients corresponding to different aperture sizes
|journal=J. Opt. Soc. Am. A
|volume=23
|year=2006
|page=1960
|bibcode=2006JOSAA..23.1960S
|doi=10.1364/JOSAA.23.001960
|issue=8
}}
* {{cite journal
|first1= W.
|last1=Swantner
|first2=W. W.
|last2=Chow
|url=http://www.opticsinfobase.org/abstract.cfm?URI=ao-33-10-1832
|title=Gram-Schmidt orthogonalization of Zernike polynomials for general aperture shapes
|journal=Appl. Opt.
|volume=33
|year=1994
|page=1832
|bibcode=1994ApOpt..33.1832S
|doi=10.1364/AO.33.001832
|issue= 10
}}
* {{cite journal
|first1=W. J.
|last1=Tango
|doi=10.1007/BF00882606
|bibcode=1977ApPhy..13..327T
|title=The circle polynomials of Zernike and their application in optics
|journal=Appl. Phys. A
|volume=13
|year=1977
|pages=327–332
|issue=4
}}
* {{cite journal
|first1=R. K.
|last1=Tyson
|title=Conversion of Zernike aberration coefficients to Seidel and higher-order power series aberration coefficients
|journal=Opt. Lett.
|volume=7
|year=1982
|doi=10.1364/OL.7.000262
|page=262
|bibcode=1982OptL....7..262T
|issue=6
}}
* {{cite journal
|first1=J. Y.
|last1=Wang
|first2=D. E.
|last2=Silva
|title=Wave-front interpretation with Zernike Polynomials
|journal=Appl. Opt.
|volume=19
|year=1980
|page=1510
|doi=10.1364/AO.19.001510
|bibcode=1980ApOpt..19.1510W
|issue=9
}}
* {{cite journal
|first1=R.
|last1=Barakat
|title=Optimum balanced wave-front aberrations for radially symmetric amplitude distributions: Generalizations of Zernike polynomials
|journal=J. Opt. Soc. Am.
|volume=70
|year=1980
|page=739
|doi=10.1364/JOSA.70.000739
|bibcode=1980JOSA...70..739B
|issue=6
}}
* {{cite journal
|first1=T. A.
|last1=ten Brummelaar
|title=Modeling atmospheric wave aberrations and astronomical instrumentation using the polynomials of Zernike
|journal=Opt. Commun.
|volume=132
|year=1996
|issue=3–4
|pages=329–342
|bibcode=1996OptCo.132..329T
|doi=10.1016/0030-4018(96)00407-5
}}
* {{cite journal
|first1=M.
|last1=Novotni
|first2=R.
|last2=Klein
|url=http://www.cg.cs.uni-bonn.de/docs/publications/2003/novotni-2003-3d.pdf
|title=3D Zernike Descriptors for Content Based Shape Retrieval
|journal=Proceedings of the 8th ACM Symposium on Solid Modeling and Applications
|doi=10.1145/781606.781639
}}
* {{cite journal
|first1=M.
|last1=Novotni
|first2=R.
|last2=Klein
|url=http://www.cg.cs.uni-bonn.de/docs/publications/2004/novotni-2004-shape.pdf
|title=Shape retrieval using 3D Zernike descriptors
|journal=Computer Aided Design
|volume=36
|issue=11
|pages=1047–1062
|doi=10.1016/j.cad.2004.01.005
|year=2004}}
* {{cite journal
|first1=Sajad
|last1=Farokhi
|first2=Siti Mariyam 
|last2=Shamsuddin
|first3=U.U
|last3=Sheikh
|first4=Jan
|last4=Flusser
|url=https://www.researchgate.net/profile/Sajad_Farokhi/publication/261286249_Near_Infrared_Face_Recognition_A_Comparison_of_Moment-Based_Approaches/file/50463533c3e9066a13.pdf?ev=pub_int_doc_dl&origin=publication_list&inViewer=true
|title=Near Infrared Face Recognition: A Comparison of Moment-Based Approaches
|booktitle=The 8th International Conference on Robotic, Vision, Signal Processing & Power Applications
|volume=291
|publisher=Springer
|pages=129–135
|year=2014
|issue=1
|doi=10.1007/978-981-4585-42-2_15
|journal=Lecture Notes in Electrical Engineering
}}
* {{cite journal
|first1=Sajad
|last1=Farokhi
|first2=Siti Mariyam 
|last2=Shamsuddin
|first3=Jan
|last3=Flusser
|first4=U.U
|last4=Sheikh
|first5=Mohammad 
|last5=Khansari
|first6=Kourosh
|last6=Jafari-Khouzani
|title=Near infrared face recognition by combining Zernike moments and undecimated discrete wavelet transform
|journal=Digital Signal Processing
|volume=31
|year=2014
|issue=1
|doi=10.1016/j.dsp.2014.04.008
|pages=13–27
}}

== Enlaces externos ==
{{commons category|Zernike Polynomials}}
* [http://www.nijboerzernike.nl El sitio web ampliado de Nijboer-Zernike]
* [http://www.mathworks.com/matlabcentral/fileexchange/38900-zernike-moments Código de MATLAB para el cálculo rápido de los momentos de Zernike]
* [https://github.com/tvwerkhoven/libtim-py/blob/master/libtim/zern.py Biblioteca de Python / NumPy para calcular polinomios de Zernike]
* [http://www.telescope-optics.net/zernike_aberrations.htm aberraciones de Zernike] en [http://www.telescope-optics.net Telescope Optics]
* [http://www.wolframalpha.com/input/?i=Plot%5BZernikeR%5B7%2C3%2Cr%5D%2C%7Br%2C0%2C1%7D%5D Ejemplo: utilizando WolframAlpha para trazar polinomios de Zernike]

{{Control de autoridades}}
[[Categoría:Polinomios ortogonales]]