Polinomios de Zernike

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 de polinomios que son 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 sistema óptico.[1][2]

Definiciones

Los polinomios de Zernike se distinguen en función de su paridad. Los términos pares se definen como:

Z n m ( ρ , φ ) = R n m ( ρ ) cos ( m φ ) {\displaystyle Z_{n}^{m}(\rho ,\varphi )=R_{n}^{m}(\rho )\,\cos(m\,\varphi )\!}

y los impares como:

Z n m ( ρ , φ ) = R n m ( ρ ) sin ( m φ ) , {\displaystyle Z_{n}^{-m}(\rho ,\varphi )=R_{n}^{m}(\rho )\,\sin(m\,\varphi ),\!}

donde m y n son números enteros no negativos con n ≥ m, φ es el ángulo acimutal, ρ es la distancia radial 0 ρ 1 {\displaystyle 0\leq \rho \leq 1} y Rmn 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, | Z n m ( ρ , φ ) | 1 {\displaystyle |Z_{n}^{m}(\rho ,\varphi )|\leq 1} . Los polinomios radiales Rmn se definen como

R n m ( ρ ) = k = 0 n m 2 ( 1 ) k ( n k ) ! k ! ( n + m 2 k ) ! ( n m 2 k ) ! ρ n 2 k {\displaystyle R_{n}^{m}(\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}}

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 coeficientes binomiales, se demuestra que los coeficientes son números enteros:

R n m ( ρ ) = k = 0 n m 2 ( 1 ) k ( n k k ) ( n 2 k n m 2 k ) ρ n 2 k {\displaystyle 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}} .

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

R n m ( ρ ) = ( n n + m 2 ) ρ n   2 F 1 ( n + m 2 , n m 2 ; n ; ρ 2 ) = ( 1 ) n m 2 ( n + m 2 m ) ρ m   2 F 1 ( 1 + n + m 2 , n m 2 ; 1 + m ; ρ 2 ) {\displaystyle {\begin{aligned}R_{n}^{m}(\rho )&={\binom {n}{\tfrac {n+m}{2}}}\rho ^{n}\ {}_{2}F_{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}\ {}_{2}F_{1}\left(1+{\tfrac {n+m}{2}},-{\tfrac {n-m}{2}};1+m;\rho ^{2}\right)\end{aligned}}}

para n-m par.

El factor ρ n 2 k {\displaystyle \rho ^{n-2k}} en el polinomio radial R n m ( ρ ) {\displaystyle R_{n}^{m}(\rho )} se puede expandir en una base de Bernstein de b s , n / 2 ( ρ 2 ) {\displaystyle b_{s,n/2}(\rho ^{2})} para n {\displaystyle n} par o ρ {\displaystyle \rho } multiplicado por una función de b s , ( n 1 ) / 2 ( ρ 2 ) {\displaystyle b_{s,(n-1)/2}(\rho ^{2})} para n {\displaystyle n} impar en el rango n / 2 k s n / 2 {\displaystyle \lfloor n/2\rfloor -k\leq s\leq \lfloor n/2\rfloor } . Por lo tanto, el polinomio radial puede expresarse mediante un número finito de polinomios de Bernstein con coeficientes racionales:

R n m ( ρ ) = 1 ( n / 2 m / 2 ) ρ n mod 2 s = m / 2 n / 2 ( 1 ) n / 2 s ( s m / 2 ) ( ( n + m ) / 2 s + m / 2 ) b s , n / 2 ( ρ 2 ) . {\displaystyle 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}).}

Í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.[3]​ La transformación convencional de los dos índices n y m en un solo índice j mediante la asociación Z n m Z j {\displaystyle Z_{n}^{m}\rightarrow Z_{j}} comienza de la siguiente manera (sucesión A176988 en OEIS)

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, cos ( m φ ) {\displaystyle \cos(m\varphi )} ) 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 [4]​ y del ANSI:

j = n ( n + 2 ) + m 2 {\displaystyle j={\frac {n(n+2)+m}{2}}}
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.[5]

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[6]

0 1 ρ 2 n + 2 R n m ( ρ ) 2 n + 2 R n m ( ρ ) d ρ = δ n , n . {\displaystyle \int _{0}^{1}\rho {\sqrt {2n+2}}R_{n}^{m}(\rho )\,{\sqrt {2n'+2}}R_{n'}^{m}(\rho )\,d\rho =\delta _{n,n'}.}

La ortogonalidad en la parte angular está representada por las integrales elementales

0 2 π cos ( m φ ) cos ( m φ ) d φ = ϵ m π δ | m | , | m | , {\displaystyle \int _{0}^{2\pi }\cos(m\varphi )\cos(m'\varphi )\,d\varphi =\epsilon _{m}\pi \delta _{|m|,|m'|},}
0 2 π sin ( m φ ) sin ( m φ ) d φ = ( 1 ) m + m π δ | m | , | m | ; m 0 , {\displaystyle \int _{0}^{2\pi }\sin(m\varphi )\sin(m'\varphi )\,d\varphi =(-1)^{m+m'}\pi \delta _{|m|,|m'|};\quad m\neq 0,}
0 2 π cos ( m φ ) sin ( m φ ) d φ = 0 , {\displaystyle \int _{0}^{2\pi }\cos(m\varphi )\sin(m'\varphi )\,d\varphi =0,}

donde ϵ m {\displaystyle \epsilon _{m}} (a veces llamado factor de Neumann porque aparece con frecuencia junto con las funciones de Bessel) se define como 2 si m = 0 {\displaystyle m=0} y como 1 si m 0 {\displaystyle m\neq 0} . 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,

Z n m ( ρ , φ ) Z n m ( ρ , φ ) d 2 r = ϵ m π 2 n + 2 δ n , n δ m , m , {\displaystyle \int Z_{n}^{m}(\rho ,\varphi )Z_{n'}^{m'}(\rho ,\varphi )\,d^{2}r={\frac {\epsilon _{m}\pi }{2n+2}}\delta _{n,n'}\delta _{m,m'},}

donde d 2 r = ρ d ρ d φ {\displaystyle d^{2}r=\rho \,d\rho \,d\varphi } es el jacobiano del sistema de coordenadas circulares, y donde n m {\displaystyle n-m} y n m {\displaystyle n'-m'} son pares.

Un valor especial es

R n m ( 1 ) = 1 , {\displaystyle R_{n}^{m}(1)=1,\,}

Transformada de Zernike

Cualquier campo de fase de valor real suficientemente uniforme sobre el disco de la unidad G ( ρ , φ ) {\displaystyle G(\rho ,\varphi )} 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

G ( ρ , φ ) = m , n [ a m , n Z n m ( ρ , φ ) + b m , n Z n m ( ρ , φ ) ] , {\displaystyle G(\rho ,\varphi )=\sum _{m,n}\left[a_{m,n}Z_{n}^{m}(\rho ,\varphi )+b_{m,n}Z_{n}^{-m}(\rho ,\varphi )\right],}

los coeficientes se pueden calcular usando productos internos. En el espacio de las funciones de L 2 {\displaystyle L^{2}} en el disco de la unidad, existe un producto interno definido por

F , G := F ( ρ , φ ) G ( ρ , φ ) ρ d ρ d φ . {\displaystyle \langle F,G\rangle :=\int F(\rho ,\varphi )G(\rho ,\varphi )\rho d\rho d\varphi .}

Los coeficientes de Zernike se pueden expresar de la siguiente manera:

a m , n = 2 n + 2 ϵ m π G ( ρ , φ ) , Z n m ( ρ , φ ) , b m , n = 2 n + 2 ϵ m π G ( ρ , φ ) , Z n m ( ρ , φ ) . {\displaystyle {\begin{aligned}a_{m,n}&={\frac {2n+2}{\epsilon _{m}\pi }}\left\langle G(\rho ,\varphi ),Z_{n}^{m}(\rho ,\varphi )\right\rangle ,\\b_{m,n}&={\frac {2n+2}{\epsilon _{m}\pi }}\left\langle G(\rho ,\varphi ),Z_{n}^{-m}(\rho ,\varphi )\right\rangle .\end{aligned}}}

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 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

Z n m ( ρ , φ ) = ( 1 ) m Z n m ( ρ , φ ) . {\displaystyle Z_{n}^{m}(\rho ,\varphi )=(-1)^{m}Z_{n}^{m}(\rho ,-\varphi ).}

La paridad con respecto al punto de reflexión en el centro de coordenadas es

Z n m ( ρ , φ ) = ( 1 ) m Z n m ( ρ , φ + π ) , {\displaystyle Z_{n}^{m}(\rho ,\varphi )=(-1)^{m}Z_{n}^{m}(\rho ,\varphi +\pi ),}

donde ( 1 ) m {\displaystyle (-1)^{m}} también podría escribirse ( 1 ) n {\displaystyle (-1)^{n}} porque n m {\displaystyle n-m} 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:

R n m ( ρ ) = ( 1 ) n R n m ( ρ ) = ( 1 ) m R n m ( ρ ) . {\displaystyle R_{n}^{m}(\rho )=(-1)^{n}R_{n}^{m}(-\rho )=(-1)^{m}R_{n}^{m}(-\rho ).}

La periodicidad de las funciones trigonométricas implica invarianza si se rota por múltiplos de 2 π / m {\displaystyle 2\pi /m} radianes alrededor del centro:

Z n m ( ρ , φ + 2 π k m ) = Z n m ( ρ , φ ) , k = 0 , ± 1 , ± 2 , . {\displaystyle 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 .}

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:[7]

R n m ( ρ ) + R n 2 m ( ρ ) = ρ [ R n 1 | m 1 | ( ρ ) + R n 1 m + 1 ( ρ ) ]  . {\displaystyle {\begin{aligned}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{aligned}}}

De la definición de R n m {\displaystyle R_{n}^{m}} se puede ver que R m m ( ρ ) = ρ m {\displaystyle R_{m}^{m}(\rho )=\rho ^{m}} y R m + 2 m ( ρ ) = ( ( m + 2 ) ρ 2 ( m + 1 ) ) ρ m {\displaystyle R_{m+2}^{m}(\rho )=((m+2)\rho ^{2}-(m+1))\rho ^{m}} . La siguiente relación de recurrencia de tres términos[8]​ permite calcular todos los demás R n m ( ρ ) {\displaystyle R_{n}^{m}(\rho )} :

R n m ( ρ ) = 2 ( n 1 ) ( 2 n ( n 2 ) ρ 2 m 2 n ( n 2 ) ) R n 2 m ( ρ ) n ( n + m 2 ) ( n m 2 ) R n 4 m ( ρ ) ( n + m ) ( n m ) ( n 2 )  . {\displaystyle 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{ .}}}

La relación anterior es especialmente útil, ya que la derivada de R n m {\displaystyle R_{n}^{m}} se puede calcular a partir de dos polinomios de Zernike radiales de grado adyacente:[8]

d d ρ R n m ( ρ ) = ( 2 n m ( ρ 2 1 ) + ( n m ) ( m + n ( 2 ρ 2 1 ) ) ) R n m ( ρ ) ( n + m ) ( n m ) R n 2 m ( ρ ) 2 n ρ ( ρ 2 1 )  . {\displaystyle {\frac {\operatorname {d} }{\operatorname {d} \!\rho }}R_{n}^{m}(\rho )={\frac {(2nm(\rho ^{2}-1)+(n-m)(m+n(2\rho ^{2}-1)))R_{n}^{m}(\rho )-(n+m)(n-m)R_{n-2}^{m}(\rho )}{2n\rho (\rho ^{2}-1)}}{\text{ .}}}

Ejemplos

Polinomios radiales

Los primeros pocos polinomios radiales son:

R 0 0 ( ρ ) = 1 {\displaystyle R_{0}^{0}(\rho )=1\,}
R 1 1 ( ρ ) = ρ {\displaystyle R_{1}^{1}(\rho )=\rho \,}
R 2 0 ( ρ ) = 2 ρ 2 1 {\displaystyle R_{2}^{0}(\rho )=2\rho ^{2}-1\,}
R 2 2 ( ρ ) = ρ 2 {\displaystyle R_{2}^{2}(\rho )=\rho ^{2}\,}
R 3 1 ( ρ ) = 3 ρ 3 2 ρ {\displaystyle R_{3}^{1}(\rho )=3\rho ^{3}-2\rho \,}
R 3 3 ( ρ ) = ρ 3 {\displaystyle R_{3}^{3}(\rho )=\rho ^{3}\,}
R 4 0 ( ρ ) = 6 ρ 4 6 ρ 2 + 1 {\displaystyle R_{4}^{0}(\rho )=6\rho ^{4}-6\rho ^{2}+1\,}
R 4 2 ( ρ ) = 4 ρ 4 3 ρ 2 {\displaystyle R_{4}^{2}(\rho )=4\rho ^{4}-3\rho ^{2}\,}
R 4 4 ( ρ ) = ρ 4 {\displaystyle R_{4}^{4}(\rho )=\rho ^{4}\,}
R 5 1 ( ρ ) = 10 ρ 5 12 ρ 3 + 3 ρ {\displaystyle R_{5}^{1}(\rho )=10\rho ^{5}-12\rho ^{3}+3\rho \,}
R 5 3 ( ρ ) = 5 ρ 5 4 ρ 3 {\displaystyle R_{5}^{3}(\rho )=5\rho ^{5}-4\rho ^{3}\,}
R 5 5 ( ρ ) = ρ 5 {\displaystyle R_{5}^{5}(\rho )=\rho ^{5}\,}
R 6 0 ( ρ ) = 20 ρ 6 30 ρ 4 + 12 ρ 2 1 {\displaystyle R_{6}^{0}(\rho )=20\rho ^{6}-30\rho ^{4}+12\rho ^{2}-1\,}
R 6 2 ( ρ ) = 15 ρ 6 20 ρ 4 + 6 ρ 2 {\displaystyle R_{6}^{2}(\rho )=15\rho ^{6}-20\rho ^{4}+6\rho ^{2}\,}
R 6 4 ( ρ ) = 6 ρ 6 5 ρ 4 {\displaystyle R_{6}^{4}(\rho )=6\rho ^{6}-5\rho ^{4}\,}
R 6 6 ( ρ ) = ρ 6 . {\displaystyle R_{6}^{6}(\rho )=\rho ^{6}.\,}

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

0 2 π 0 1 Z j 2 ρ d ρ d θ = π . {\displaystyle \int _{0}^{2\pi }\int _{0}^{1}Z_{j}^{2}\,\rho \,d\rho \,d\theta =\pi .}
  Índice
OSA/ANSI
( j {\displaystyle j} )
Índice
Noll
( j {\displaystyle j} )
Grado
Radial
( n {\displaystyle n} )
Grado
Azimutal
( m {\displaystyle m} )
Z j {\displaystyle Z_{j}} Nombre clásico
Z 0 0 {\displaystyle Z_{0}^{0}}  0  1 0  0 1 {\displaystyle 1} Pistón (véase distribución semicircular de Wigner)
Z 1 1 {\displaystyle Z_{1}^{-1}}  1  3 1 −1 2 ρ sin θ {\displaystyle 2\rho \sin \theta } Inclinación (inclinación Y, inclinación vertical)
Z 1 1 {\displaystyle Z_{1}^{1}}  2  2 1 +1 2 ρ cos θ {\displaystyle 2\rho \cos \theta } Inclinación horizontal
Z 2 2 {\displaystyle Z_{2}^{-2}}  3  5 2 −2 6 ρ 2 sin 2 θ {\displaystyle {\sqrt {6}}\rho ^{2}\sin 2\theta } Astigmatismo oblicuo
Z 2 0 {\displaystyle Z_{2}^{0}}  4  4 2  0 3 ( 2 ρ 2 1 ) {\displaystyle {\sqrt {3}}(2\rho ^{2}-1)} Desenfoque (posición longitudinal)
Z 2 2 {\displaystyle Z_{2}^{2}}  5  6 2 +2 6 ρ 2 cos 2 θ {\displaystyle {\sqrt {6}}\rho ^{2}\cos 2\theta } Astigmatismo vertical
Z 3 3 {\displaystyle Z_{3}^{-3}}  6  9 3 −3 8 ρ 3 sin 3 θ {\displaystyle {\sqrt {8}}\rho ^{3}\sin 3\theta } Lobulado vertical
Z 3 1 {\displaystyle Z_{3}^{-1}}  7  7 3 −1 8 ( 3 ρ 3 2 ρ ) sin θ {\displaystyle {\sqrt {8}}(3\rho ^{3}-2\rho )\sin \theta } Coma vertical
Z 3 1 {\displaystyle Z_{3}^{1}}  8  8 3 +1 8 ( 3 ρ 3 2 ρ ) cos θ {\displaystyle {\sqrt {8}}(3\rho ^{3}-2\rho )\cos \theta } Coma horizontal
Z 3 3 {\displaystyle Z_{3}^{3}}  9 10 3 +3 8 ρ 3 cos 3 θ {\displaystyle {\sqrt {8}}\rho ^{3}\cos 3\theta } Lobulado oblicuo
Z 4 4 {\displaystyle Z_{4}^{-4}} 10 15 4 −4 10 ρ 4 sin 4 θ {\displaystyle {\sqrt {10}}\rho ^{4}\sin 4\theta } Cuatrilobulado oblicuo
Z 4 2 {\displaystyle Z_{4}^{-2}} 11 13 4 −2 10 ( 4 ρ 4 3 ρ 2 ) sin 2 θ {\displaystyle {\sqrt {10}}(4\rho ^{4}-3\rho ^{2})\sin 2\theta } Astigmatismo secundario oblicuo
Z 4 0 {\displaystyle Z_{4}^{0}} 12 11 4  0 5 ( 6 ρ 4 6 ρ 2 + 1 ) {\displaystyle {\sqrt {5}}(6\rho ^{4}-6\rho ^{2}+1)} Esférica primaria
Z 4 2 {\displaystyle Z_{4}^{2}} 13 12 4 +2 10 ( 4 ρ 4 3 ρ 2 ) cos 2 θ {\displaystyle {\sqrt {10}}(4\rho ^{4}-3\rho ^{2})\cos 2\theta } Astigmatismo vertical secundario
Z 4 4 {\displaystyle Z_{4}^{4}} 14 14 4 +4 10 ρ 4 cos 4 θ {\displaystyle {\sqrt {10}}\rho ^{4}\cos 4\theta } 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.[9][10]​ 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 ρ 1 {\displaystyle \rho \approx 1} , que a menudo conducen a la necesidad de definir otras funciones ortogonales sobre el disco circular.[11][12][13]

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 aberraciones de la córnea o del cristalino desde una forma esférica ideal, que da como resultado ametropías.

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

Otra aplicación de los polinomios de Zernike se encuentra en la teoría extendida de Nijboer-Zernike sobre 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 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 y de la tranlación del objeto en una región de interés, sus magnitudes son independientes del ángulo de rotación del objeto.[14]​ Por lo tanto, pueden utilizarse para extraer 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ánceres de mama benigno y maligno en imágenes digitalizadas[15]​ o la superficie de discos vibratorios.[16]​ 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.[17]

Dimensiones más altas

El concepto se traduce a dimensiones mayores D si los multinomios x 1 i x 2 j x D k {\displaystyle x_{1}^{i}x_{2}^{j}\cdots x_{D}^{k}} en coordenadas cartesianas se convierten en coordenadas hiperesféricas, ρ s , s D {\displaystyle \rho ^{s},s\leq D} , multiplicadas por un producto de polinomios de Jacobi de las variables angulares. Por ejemplo, en la dimensión D = 3 {\displaystyle D=3} , las variables angulares son armónicos esféricos. Combinaciones lineales de las potencias ρ s {\displaystyle \rho ^{s}} definen una base ortogonal R n ( l ) ( ρ ) {\displaystyle R_{n}^{(l)}(\rho )} que satisface

0 1 ρ D 1 R n ( l ) ( ρ ) R n ( l ) ( ρ ) d ρ = δ n , n {\displaystyle \int _{0}^{1}\rho ^{D-1}R_{n}^{(l)}(\rho )R_{n'}^{(l)}(\rho )d\rho =\delta _{n,n'}} .

(Téngase en cuenta que un factor 2 n + D {\displaystyle {\sqrt {2n+D}}} se absorbe aquí en la definición de R, mientras que en D = 2 {\displaystyle D=2} 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

R n ( l ) ( ρ ) = 2 n + D s = 0 n l 2 ( 1 ) s ( n l 2 s ) ( n s 1 + D 2 n l 2 ) ρ n 2 s = ( 1 ) n l 2 2 n + D s = 0 n l 2 ( 1 ) s ( n l 2 s ) ( s 1 + n + l + D 2 n l 2 ) ρ 2 s + l = ( 1 ) n l 2 2 n + D ( n + l + D 2 1 n l 2 ) ρ l   2 F 1 ( n l 2 , n + l + D 2 ; l + D 2 ; ρ 2 ) {\displaystyle {\begin{aligned}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}\ {}_{2}F_{1}\left(-{\tfrac {n-l}{2}},{\tfrac {n+l+D}{2}};l+{\tfrac {D}{2}};\rho ^{2}\right)\end{aligned}}}

incluso para n l 0 {\displaystyle n-l\geq 0} , o de lo contrario, idéntico a cero.

Véase también

Referencias

  1. Zernike, F. (1934). «Beugungstheorie des Schneidenverfahrens und Seiner Verbesserten Form, der Phasenkontrastmethode». Physica 1 (8): 689-704. Bibcode:1934Phy.....1..689Z. doi:10.1016/S0031-8914(34)80259-5. 
  2. Born, Max, and Wolf, Emil (1999). Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light (7th edición). Cambridge, UK: Cambridge University Press. p. 986. ISBN 9780521642224. 
  3. Noll, R. J. (1976). «Zernike polynomials and atmospheric turbulence». J. Opt. Soc. Am. 66 (3): 207. Bibcode:1976JOSA...66..207N. doi:10.1364/JOSA.66.000207. 
  4. Thibos, L. N.; Applegate, R. A.; Schwiegerling, J. T.; Webb, R. (2002). «Standards for reporting the optical aberrations of eyes». Journal of Refractive Surgery 18 (5): S652-60. 
  5. Proc SPIE 4771, p.276-286 (2002) doi 10.1117/12.482169
  6. Lakshminarayanan, V.; Fleck, Andre (2011). «Zernike polynomials: a guide». J. Mod. Opt. 58 (7). pp. 545-561. Bibcode:2011JMOp...58..545L. doi:10.1080/09500340.2011.554896. 
  7. 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
  8. a b Kintner, E. C. (1976). «On the mathematical properties of the Zernike Polynomials». Opt. Acta 23 (8): 679-680. Bibcode:1976AcOpt..23..679K. doi:10.1080/713819334. 
  9. Tatulli, E. (2013). «Transformation of Zernike coefficients: a Fourier-based method for scaled, translated, and rotated wavefront apertures». J. Opt. Soc. Am. A 30 (4): 726. Bibcode:2013JOSAA..30..726T. doi:10.1364/JOSAA.30.000726. 
  10. Janssen, A. J. E. M. (2011). «New analytic results for the Zernike Circle Polynomials from a basic result in the Nijboer-Zernike diffraction theory». JEOS:RP 6. doi:10.2971/jeos.2011.11028. 
  11. Barakat, Richard (1980). «Optimum balanced wave-front aberrations for radially symmetric amplitude distributions: Generalizations of Zernike polynomials». J. Opt. Soc. 70 (6): 739-742. Bibcode:1980JOSA...70..739B. doi:10.1364/JOSA.70.000739. 
  12. Janssen, A. J. E. M. (2011). «A generalization of the Zernike circle polynomials for forward and inverse problems in diffraction theory». arXiv:1110.2369. 
  13. Mathar, R. J. (2018). «Orthogonal basis function over the unit circle with the minimax property». arXiv:1802.09518. 
  14. Tahmasbi, A. (2010). An Effective Breast Mass Diagnosis System using Zernike Moments. 17th Iranian Conf. on Biomedical Engineering (ICBME'2010). Isfahán, Irán: Institute of Electrical and Electronics Engineers. pp. 1-4. doi:10.1109/ICBME.2010.5704941. 
  15. Tahmasbi, A.; Saki, F.; Shokouhi, S.B. (2011). «Classification of Benign and Malignant Masses Based on Zernike Moments». Computers in Biology and Medicine 41: 726-735. doi:10.1016/j.compbiomed.2011.06.009. 
  16. Rdzanek, W. P. (2018). «Sound radiation of a vibrating elastically supported circular plate embedded into a flat screen revisited using the Zernike circle polynomials». J. Sound Vibr. 434: 91-125. Bibcode:2018JSV...434...92R. doi:10.1016/j.jsv.2018.07.035. 
  17. Alizadeh, Elaheh; Lyons, Samanthe M; Castle, Jordan M; Prasad, Ashok (2016). «Measuring systematic changes in invasive cancer cell shape using Zernike moments». Integrative Biology 8 (11): 1183-1193. doi:10.1039/C6IB00100A. 

Bibliografía

  • Weisstein, Eric W. «Zernike Polynomial». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
  • Andersen, Torben B. (2018). «Efficient and robust recurrence relations for the Zernike circle polynomials and their derivatives in Cartesian coordinates». Opt. Exp. 26 (15): 18878-18896. doi:10.1364/OE.26.018878. 
  • Bhatia, A. B.; Wolf, E. (1952). «The Zernike circle polynomials occurring in diffraction theory». Proc. Phys. Soc. B 65 (11): 909-910. Bibcode:1952PPSB...65..909B. doi:10.1088/0370-1301/65/11/112. 
  • Callahan, P. G.; De Graef, M. (2012). «Precipitate shape fitting and reconstruction by means of 3D Zernike functions». Model. Simul. Mat. Sci. Engin. 20: 015003. Bibcode:2012MSMSE..20a5003C. doi:10.1088/0965-0393/20/1/015003. 
  • Campbell, C. E. (2003). «Matrix method to find a new set of Zernike coefficients form an original set when the aperture radius is changed». J. Opt. Soc. Am. A 20 (2): 209. Bibcode:2003JOSAA..20..209C. doi:10.1364/JOSAA.20.000209. 
  • Cerjan, C. (2007). «The Zernike-Bessel representation and its application to Hankel transforms». J. Opt. Soc. Am. A 24 (6): 1609. Bibcode:2007JOSAA..24.1609C. doi:10.1364/JOSAA.24.001609. 
  • Comastri, S. A.; Perez, L. I.; Perez, G. D.; Martin, G.; Bastida Cerjan, K. (2007). «Zernike expansion coefficients: rescaling and decentering for different pupils and evaluation of corneal aberrations». J. Opt. Soc. Am. A 9 (3): 209-221. Bibcode:2007JOptA...9..209C. doi:10.1088/1464-4258/9/3/001. 
  • Conforti, G. (1983). «Zernike aberration coefficients from Seidel and higher-order power-series coefficients». Opt. Lett. 8 (7): 407-408. Bibcode:1983OptL....8..407C. doi:10.1364/OL.8.000407. 
  • Dai, G-m.; Mahajan, V. N. (2007). «Zernike annular polynomials and atmospheric turbulence». J. Opt. Soc. Am. A 24: 139. Bibcode:2007JOSAA..24..139D. doi:10.1364/JOSAA.24.000139. 
  • Dai, G-m. (2006). «Scaling Zernike expansion coefficients to smaller pupil sizes: a simpler formula». J. Opt. Soc. Am. A 23 (3): 539. Bibcode:2006JOSAA..23..539D. doi:10.1364/JOSAA.23.000539. 
  • Díaz, J. A.; Fernández-Dorado, J.; Pizarro, C.; Arasa, J. (2009). «Zernike Coefficients for Concentric, Circular, Scaled Pupils: An Equivalent Expression». Journal of Modern Optics 56 (1): 149-155. Bibcode:2009JMOp...56..149D. doi:10.1080/09500340802531224. 
  • Díaz, J. A.; Fernández-Dorado, J. «Zernike Coefficients for Concentric, Circular, Scaled Pupils».  del Proyecto de Demostraciones Wolfram.
  • Farokhi, Sajad; Shamsuddin, Siti Mariyam; Flusser, Jan; Sheikh, U.U; Khansari, Mohammad; Jafari-Khouzani, Kourosh (2013). «Rotation and noise invariant near-infrared face recognition by means of Zernike moments and spectral regression discriminant analysis». Journal of Electronic Imaging 22 (1): 013030. Bibcode:2013JEI....22a3030F. doi:10.1117/1.JEI.22.1.013030. 
  • Gu, J.; Shu, H. Z.; Toumoulin, C.; Luo, L. M. (2002). «A novel algorithm for fast computation of Zernike moments». Pattern Recogn. 35 (12): 2905-2911. doi:10.1016/S0031-3203(01)00194-7. 
  • Herrmann, J. (1981). «Cross coupling and aliasing in modal wave-front estimation». J. Opt. Soc. Am. 71 (8): 989. Bibcode:1981JOSA...71..989H. doi:10.1364/JOSA.71.000989. 
  • Hu, P. H.; Stone, J.; Stanley, T. (1989). «Application of Zernike polynomials to atmospheric propagation problems». J. Opt. Soc. Am. A 6 (10): 1595. Bibcode:1989JOSAA...6.1595H. doi:10.1364/JOSAA.6.001595. 
  • Kintner, E. C. (1976). «On the mathematical properties of the Zernike Polynomials». Opt. Acta 23 (8): 679-680. Bibcode:1976AcOpt..23..679K. doi:10.1080/713819334. 
  • Lawrence, G. N.; Chow, W. W. (1984). «Wave-front tomography by Zernike Polynomial decomposition». Opt. Lett. 9 (7): 267. Bibcode:1984OptL....9..267L. doi:10.1364/OL.9.000267. 
  • Liu, Haiguang; Morris, Richard J.; Hexemer, A.; Grandison, Scott; Zwart, Peter H. (2012). «Computation of small-angle scattering profiles with three-dimensional Zernike polynomials». Acta Crystallogr. A 68 (2): 278-285. doi:10.1107/S010876731104788X. 
  • Lundström, L.; Unsbo, P. (2007). «Transformation of Zernike coefficients: scaled, translated and rotated wavefronts with circular and elliptical pupils». J. Opt. Soc. Am. A 24 (3): 569. Bibcode:2007JOSAA..24..569L. doi:10.1364/JOSAA.24.000569. 
  • Mahajan, V. N. (1981). «Zernike annular polynomials for imaging systems with annular pupils». J. Opt. Soc. Am. 71: 75. Bibcode:1981JOSA...71...75M. doi:10.1364/JOSA.71.000075. 
  • Mathar, R. J. (2007). «Third Order Newton's Method for Zernike Polynomial Zeros». arXiv:0705.1329

 [math.NA]. 

  • Mathar, R. J. (2009). «Zernike Basis to Cartesian Transformations». Serbian Astronomical Journal 179 (179): 107-120. Bibcode:2009SerAJ.179..107M. arXiv:0809.2368. doi:10.2298/SAJ0979107M. 
  • Prata Jr, A.; Rusch, W. V. T. (1989). «Algorithm for computation of Zernike polynomials expansion coefficients». Appl. Opt. 28 (4): 749. Bibcode:1989ApOpt..28..749P. doi:10.1364/AO.28.000749. 
  • Schwiegerling, J. (2002). «Scaling Zernike expansion coefficients to different pupil sizes». J. Opt. Soc. Am. A 19 (10): 1937. Bibcode:2002JOSAA..19.1937S. doi:10.1364/JOSAA.19.001937. 
  • Sheppard, C. J. R.; Campbell, S.; Hirschhorn, M. D. (2004). «Zernike expansion of separable functions in Cartesian coordinates». Appl. Opt. 43 (20): 3963. Bibcode:2004ApOpt..43.3963S. doi:10.1364/AO.43.003963. 
  • Shu, H.; Luo, L.; Han, G.; Coatrieux, J.-L. (2006). «General method to derive the relationship between two sets of Zernike coefficients corresponding to different aperture sizes». J. Opt. Soc. Am. A 23 (8): 1960. Bibcode:2006JOSAA..23.1960S. doi:10.1364/JOSAA.23.001960. 
  • Swantner, W.; Chow, W. W. (1994). «Gram-Schmidt orthogonalization of Zernike polynomials for general aperture shapes». Appl. Opt. 33 (10): 1832. Bibcode:1994ApOpt..33.1832S. doi:10.1364/AO.33.001832. 
  • Tango, W. J. (1977). «The circle polynomials of Zernike and their application in optics». Appl. Phys. A 13 (4): 327-332. Bibcode:1977ApPhy..13..327T. doi:10.1007/BF00882606. 
  • Tyson, R. K. (1982). «Conversion of Zernike aberration coefficients to Seidel and higher-order power series aberration coefficients». Opt. Lett. 7 (6): 262. Bibcode:1982OptL....7..262T. doi:10.1364/OL.7.000262. 
  • Wang, J. Y.; Silva, D. E. (1980). «Wave-front interpretation with Zernike Polynomials». Appl. Opt. 19 (9): 1510. Bibcode:1980ApOpt..19.1510W. doi:10.1364/AO.19.001510. 
  • Barakat, R. (1980). «Optimum balanced wave-front aberrations for radially symmetric amplitude distributions: Generalizations of Zernike polynomials». J. Opt. Soc. Am. 70 (6): 739. Bibcode:1980JOSA...70..739B. doi:10.1364/JOSA.70.000739. 
  • ten Brummelaar, T. A. (1996). «Modeling atmospheric wave aberrations and astronomical instrumentation using the polynomials of Zernike». Opt. Commun. 132 (3–4): 329-342. Bibcode:1996OptCo.132..329T. doi:10.1016/0030-4018(96)00407-5. 
  • Novotni, M.; Klein, R. «3D Zernike Descriptors for Content Based Shape Retrieval». Proceedings of the 8th ACM Symposium on Solid Modeling and Applications. doi:10.1145/781606.781639. 
  • Novotni, M.; Klein, R. (2004). «Shape retrieval using 3D Zernike descriptors». Computer Aided Design 36 (11): 1047-1062. doi:10.1016/j.cad.2004.01.005. 
  • Farokhi, Sajad; Shamsuddin, Siti Mariyam; Sheikh, U.U; Flusser, Jan (2014). «Near Infrared Face Recognition: A Comparison of Moment-Based Approaches». Lecture Notes in Electrical Engineering (Springer) 291 (1): 129-135. doi:10.1007/978-981-4585-42-2_15. 
  • Farokhi, Sajad; Shamsuddin, Siti Mariyam; Flusser, Jan; Sheikh, U.U; Khansari, Mohammad; Jafari-Khouzani, Kourosh (2014). «Near infrared face recognition by combining Zernike moments and undecimated discrete wavelet transform». Digital Signal Processing 31 (1): 13-27. doi:10.1016/j.dsp.2014.04.008. 

Enlaces externos

  • Wikimedia Commons alberga una categoría multimedia sobre Polinomios de Zernike.
  • El sitio web ampliado de Nijboer-Zernike
  • Código de MATLAB para el cálculo rápido de los momentos de Zernike
  • Biblioteca de Python / NumPy para calcular polinomios de Zernike
  • aberraciones de Zernike en Telescope Optics
  • Ejemplo: utilizando WolframAlpha para trazar polinomios de Zernike
Control de autoridades
  • Proyectos Wikimedia
  • Wd Datos: Q132146
  • Commonscat Multimedia: Zernike polynomials / Q132146

  • Wd Datos: Q132146
  • Commonscat Multimedia: Zernike polynomials / Q132146