澤尼克多項式是一組正交多項式,它們出現在具有圓形光瞳的光學系統的波前函式展開中。奇數和偶數澤尼克多項式由下式給出
|
(1)
|
其中徑向函式 定義為
和
整數,且滿足
,由下式給出
|
(2)
|
這裡, 是方位角,滿足
,
是徑向距離,滿足
(Prata 和 Rusch 1989)。偶數和奇數多項式有時也表示為
|
(3)
| |||
|
(4)
|
澤尼克多項式在 Wolfram 語言中實現為ZernikeR[n, m, rho].
R_n^m(rho) 的其他閉合形式包括
|
(5)
|
對於 奇數且
,其中
是 伽瑪函式,
是 超幾何函式。這也可以用 雅可比多項式
表示為
|
(6)
|
前幾個非零徑向多項式為
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
| |||
|
(12)
| |||
|
(13)
| |||
|
(14)
| |||
|
(15)
|
(Born 和 Wolf 1989, p. 465)。
徑向函式滿足正交關係
|
(16)
|
其中 是 克羅內克 delta,並且與第一類 貝塞爾函式相關,關係如下
|
(17)
|
(Born 和 Wolf 1989, p. 466)。徑向澤尼克多項式具有生成函式
|
(18)
|
(更正了 Born 和 Wolf 的排版錯誤) 並且被歸一化,使得
|
(19)
|
(Born 和 Wolf 1989, p. 465)。
澤尼克多項式也滿足遞推關係
|
(20)
|
(Prata 和 Rusch 1989)。任意徑向函式 按照澤尼克多項式展開的係數
和
|
(21)
|
由下式給出
|
(22)
|
其中
|
(23)
|
設“初級”像差由下式給出
|
(24)
|
其中 ,並且
是 複共軛
,定義
|
(25)
|
得到
|
(26)
|
然後,初級像差的型別在下表中給出(Born 和 Wolf 1989, p. 470)。
| 像差 | |||||
| 球差 | 0 | 4 | 0 | ||
| 彗差 | 0 | 3 | 1 | ||
| 像散 | 0 | 2 | 2 | ||
| 場曲 | 1 | 2 | 0 | ||
| 畸變 | 1 | 1 | 1 |