ゼルニケ多項式

ゼルニケ多項式のうち、初めの21個を示す。

ゼルニケ多項式 (ゼルニケたこうしき、テンプレート:Lang-en）とは、単位円上で定義された直交多項式である。

とくに光学において軸対称な光学収差を回折理論に基づいて解析的に取り扱う際に用いられる。。

呼称は、位相差顕微鏡の発明によって1953年にノーベル物理学賞を受賞した光物理学者フリッツ・ゼルニケに由来する。

定義

ゼルニケ多項式 $Z_n^m(\rho ,\phi )$ は、

$Z_n^m(\rho ,\phi )=\{\begin{array}{cc}{R}_n^m(\rho )\cos (m\phi )& m\ge 0\\ R_n^{|m|}(\rho )\sin (|m|\phi )& m<0\end{array}$

により定義される。ここで、 n は非負整数、 m は n ≧ |m| なる整数であり、 ρ は 動径 (0 ≦ ρ ≦ 1)、 φ は偏角である。ゼルニケ多項式は $|Z_n^m(\rho ,\phi )|\le 1$ の範囲の値を取る。ここで、動径多項式 $R_n^m(\rho )$ は、 n − m が偶数の場合、

$R_n^m(\rho )=\sum _{k=0}^{\frac{n-m}{2}}\frac{(-1{)}^k(n-k)!}{k!(\frac{n+m}{2}-k)!(\frac{n-m}{2}-k)!}{\rho }^{n-2k}$

また奇数の場合0として定義される。

他の定義

動径多項式は、二項係数を用いて、

$R_n^m(\rho )=\sum _{k=0}^{\frac{n-m}{2}}(-1{)}^k(\genfrac{}{}{0ex}{}{n-k}{k})(\genfrac{}{}{0ex}{}{n-2k}{\frac{n-m}{2}-k}){\rho }^{n-2k}$.

と書き表すことができ、これより多項式の係数はすべて整数であることが示される。

ガウスの超幾何関数を用いて表現することもできる。この表現は、漸化式や微分方程式の導出の他、本多項式がヤコビの多項式の一部であることを示すのに有用である。

$\begin{array}{cc}{R}_n^m(\rho )& =(\genfrac{}{}{0ex}{}{n}{\frac{n+m}{2}}){\rho }^n{}_2{F}_1(-\frac{n+m}{2},-\frac{n-m}{2};-n;{\rho }^{-2})\\ & =(-1{)}^{\frac{n-m}{2}}(\genfrac{}{}{0ex}{}{\frac{n+m}{2}}{m}){\rho }^m{}_2{F}_1(1+\frac{n+m}{2},-\frac{n-m}{2};1+m;{\rho }^2)\end{array}$

動径多項式 $R_n^m(\rho )$ に含まれる項 ${\rho }^{n-2k}$ は、バーンスタイン基底関数を用いて展開できる。 n が偶数の場合は $b_{s,n/2}({\rho }^2)$ 、奇数の場合は $b_{s,(n-1)/2}({\rho }^2)$ と $\rho$ の積で展開される。ここで、 s は $\lfloor n/2\rfloor -k\le s\le \lfloor n/2\rfloor$ の範囲をとる。これより、動径多項式は有限次のバーンスタイン関数として表される。

$R_n^m(\rho )=\frac{1}{(\genfrac{}{}{0ex}{}{\lfloor n/2\rfloor }{\lfloor m/2\rfloor })}{\rho }^{nmod2}\sum _{s=\lfloor m/2\rfloor }^{\lfloor n/2\rfloor }(-1{)}^{\lfloor n/2\rfloor -s}(\genfrac{}{}{0ex}{}{s}{\lfloor m/2\rfloor })(\genfrac{}{}{0ex}{}{(n+m)/2}{s+\lceil m/2\rceil })b_{s,\lfloor n/2\rfloor }({\rho }^2).$

Nollによる記法

2つの指数 n,m を並べて、1つの指数　j に統合する方法として、Nollにより提案されたのは、

$j=\frac{n(n+1)}{2}+|m|+\{\begin{array}{cc}0,& m>0\wedge n\in \{0,1\}(\mathrm{mod}4);\\ 0,& m<0\wedge n\in \{2,3\}(\mathrm{mod}4);\\ 1,& m\ge 0\wedge n\in \{2,3\}(\mathrm{mod}4);\\ 1,& m\le 0\wedge n\in \{0,1\}(\mathrm{mod}4).\end{array}$

とするものである。初めの20項を下表に示す。

n,m テンプレート:!! 0,0テンプレート:!!1,1テンプレート:!! 1,−1 テンプレート:!! 2,0テンプレート:!! 2,−2 テンプレート:!! 2,2テンプレート:!!3,−1テンプレート:!! 3,1 テンプレート:!! 3,−3 テンプレート:!! 3,3 テンプレート:!!4,0 テンプレート:!!4,2 テンプレート:!!4,−2テンプレート:!!4,4テンプレート:!!4,−4テンプレート:!!5,1テンプレート:!!5,−1テンプレート:!!5,3 テンプレート:!!5,−3テンプレート:!!5,5
j	1テンプレート:!!2テンプレート:!! 3 テンプレート:!! 4 テンプレート:!! 5 テンプレート:!! 6 テンプレート:!! 7 テンプレート:!!8 テンプレート:!! 9テンプレート:!! 10 テンプレート:!!11 テンプレート:!!12 テンプレート:!!13 テンプレート:!!14テンプレート:!!15テンプレート:!!16テンプレート:!! 17 テンプレート:!! 18 テンプレート:!!19 テンプレート:!!20

OSA/ANSIによる記法

OSA / ANSI標準ゼルニケ多項式は、以下のように定義される。

$j=\frac{n(n+2)+m}{2}$

初めの20項を下表に示す。

n,m テンプレート:!! 0,0テンプレート:!!1,-1テンプレート:!! 1,1 テンプレート:!! 2,-2テンプレート:!! 2,0 テンプレート:!! 2,2テンプレート:!!3,-3テンプレート:!! 3,-1 テンプレート:!! 3,1 テンプレート:!! 3,3 テンプレート:!!4,-4 テンプレート:!!4,-2 テンプレート:!!4,0テンプレート:!!4,2テンプレート:!!4,4テンプレート:!!5,-5テンプレート:!!5,-3テンプレート:!!5,-1 テンプレート:!!5,1テンプレート:!!5,3
j	0 テンプレート:!! 1 テンプレート:!! 2 テンプレート:!! 3 テンプレート:!! 4 テンプレート:!! 5 テンプレート:!! 6 テンプレート:!! 7 テンプレート:!! 8 テンプレート:!! 9 テンプレート:!! 10 テンプレート:!! 11 テンプレート:!! 12 テンプレート:!! 13 テンプレート:!! 14 テンプレート:!! 15 テンプレート:!! 16 テンプレート:!! 17 テンプレート:!! 18 テンプレート:!! 19

Fringeによる記法

フリンジゼルニケ多項式は、以下のように定義される。

$j={(1+\frac{n+|m|}{2})}^2-2|m|+\frac{1-\mathrm{sgn}m}{2}$

この定義は光学設計ソフトウェアや光学検査で多く用いられる。初めの20項を下表に示す。

n,m テンプレート:!! 0,0テンプレート:!!1,1テンプレート:!! 1,−1 テンプレート:!! 2,0テンプレート:!! 2,2 テンプレート:!! 2,-2テンプレート:!!3,1テンプレート:!! 3,-1 テンプレート:!! 4,0 テンプレート:!! 3,3 テンプレート:!!3,-3 テンプレート:!!4,2 テンプレート:!!4,−2テンプレート:!!5,1テンプレート:!!5,−1テンプレート:!!6,0テンプレート:!!4,4テンプレート:!!4,-4 テンプレート:!!5,3テンプレート:!!5,-3
j	1テンプレート:!!2テンプレート:!! 3 テンプレート:!! 4 テンプレート:!! 5 テンプレート:!! 6 テンプレート:!! 7 テンプレート:!!8 テンプレート:!! 9テンプレート:!! 10 テンプレート:!!11 テンプレート:!!12 テンプレート:!!13 テンプレート:!!14テンプレート:!!15テンプレート:!!16テンプレート:!! 17 テンプレート:!! 18 テンプレート:!!19 テンプレート:!!20

性質

直交性

動径部分は以下の直交関係を満たす。

$\underset{0}{\overset{1}{\int }}\rho \sqrt{2n+2}{R}_n^m(\rho )\sqrt{2n^{\prime }+2}{R}_{n^{\prime }}^m(\rho )d\rho ={\delta }_{n,n^{\prime }}$

偏角部分については、初等的な計算により、

$\underset{0}{\overset{2\pi }{\int }}\cos (m\phi )\cos (m^{\prime }\phi )d\phi ={ϵ}_m\pi {\delta }_{|m|,|m^{\prime }|},$

$\underset{0}{\overset{2\pi }{\int }}\sin (m\phi )\sin (m^{\prime }\phi )d\phi =(-1{)}^{m+m^{\prime }}\pi {\delta }_{|m|,|m^{\prime }|};m\ne 0,$

$\underset{0}{\overset{2\pi }{\int }}\cos (m\phi )\sin (m^{\prime }\phi )d\phi =0$

ここで ${ϵ}_m$ は $m=0$ のとき2、$m\ne 0$ のとき1と定義される。これらより、単位円状でのゼルニケ多項式の直交性

$\int Z_n^m(\rho ,\phi )Z_{n^{\prime }}^{m^{\prime }}(\rho ,\phi )d^{2}r=\frac{{ϵ}_m\pi }{2n+2}{\delta }_{n,n^{\prime }}{\delta }_{m,m^{\prime }}$

が導かれる。ここで $d^{2}r=\rho d\rho d\phi$ であり $n-m$ と $n^{\prime }-m^{\prime }$ はいずれも偶数と仮定している。

対称性

x軸に関する軸対称性より、

$Z_n^m(\rho ,\phi )=(-1{)}^m{Z}_n^m(\rho ,-\phi )$

原点に関する点対称性より、

$Z_n^m(\rho ,\phi )=(-1{)}^m{Z}_n^m(\rho ,\phi +\pi )$

ここで、 $n-m$ は偶数であると仮定しているので、 $(-1{)}^m$ は $(-1{)}^n$ と書き換えることができる。動径多項式は、n,mに応じて偶関数または奇関数である。

$R_n^m(\rho )=(-1{)}^n{R}_n^m(-\rho )=(-1{)}^m{R}_n^m(-\rho )$

三角関数の周期性より、原点を中心とした m 回回転対称性が生じる。

$Z_n^m(\rho ,\phi +\frac{2\pi k}{m})=Z_n^m(\rho ,\phi ),k=0,\pm 1,\pm 2,\dots$

漸化式

動径多項式は、以下の漸化式を満たす。

$\begin{array}{c}{R}_n^m(\rho )+R_{n-2}^m(\rho )=\rho [R_{n-1}^{|m-1|}(\rho )+R_{n-1}^{m+1}(\rho )]\text{ .}\end{array}$

動径多項式の定義より、$R_m^m(\rho )={\rho }^m,R_{m+2}^m(\rho )=((m+2){\rho }^2-(m+1)){\rho }^m$ である。これと、以下の三項間漸化式 により、すべての $R_n^m(\rho )$ を計算することができる。

$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{ .}$

この式より、動径多項式の導関数を、2つの動径多項式から計算することができる。

$\frac{\mathrm{d}}{\mathrm{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{ .}$

例

動径多項式

動径多項式は以下のような式となる。

$R_0^0(\rho )=1$

$R_1^1(\rho )=\rho$

$R_2^0(\rho )=2{\rho }^2-1$

$R_2^2(\rho )={\rho }^2$

$R_3^1(\rho )=3{\rho }^3-2\rho$

$R_3^3(\rho )={\rho }^3$

$R_4^0(\rho )=6{\rho }^4-6{\rho }^2+1$

$R_4^2(\rho )=4{\rho }^4-3{\rho }^2$

$R_4^4(\rho )={\rho }^4$

$R_5^1(\rho )=10{\rho }^5-12{\rho }^3+3\rho$

$R_5^3(\rho )=5{\rho }^5-4{\rho }^3$

$R_5^5(\rho )={\rho }^5$

$R_6^0(\rho )=20{\rho }^6-30{\rho }^4+12{\rho }^2-1$

$R_6^2(\rho )=15{\rho }^6-20{\rho }^4+6{\rho }^2$

$R_6^4(\rho )=6{\rho }^6-5{\rho }^4$

$R_6^6(\rho )={\rho }^6$

ゼルニケ多項式

ゼルニケ多項式は以下のような式となる。なお、各式は

$\underset{0}{\overset{2\pi }{\int }}\underset{0}{\overset{1}{\int }}{Z}_j^2\rho d\rho d\theta =\pi$

を満たすよう規格化されている。

	OSA/ANSI 指数 ($j$)	Noll 指数 ($j$)	Fringe 指数 ($j$)	動径 次数 ($n$)	偏角 次数 ($m$)	$Z_j$	名称
$Z_0^0$	テンプレート:00	テンプレート:01	1	0	テンプレート:00	$1$	Piston
$Z_1^{-1}$	テンプレート:01	テンプレート:03	3	1	−1	$2\rho \sin \theta$	Tilt (Y-Tilt, Vertical tilt)
$Z_1^1$	テンプレート:02	テンプレート:02	2	1	+1	$2\rho \cos \theta$	Tip (X-Tilt, Horizontal tilt)
$Z_2^{-2}$	テンプレート:03	テンプレート:05	6	2	−2	$\sqrt{6}{\rho }^2\sin 2\theta$	Oblique astigmatism
$Z_2^0$	テンプレート:04	テンプレート:04	4	2	テンプレート:00	$\sqrt{3}(2{\rho }^2-1)$	Defocus
$Z_2^2$	テンプレート:05	テンプレート:06	5	2	+2	$\sqrt{6}{\rho }^2\cos 2\theta$	Vertical astigmatism
$Z_3^{-3}$	テンプレート:06	テンプレート:09 テンプレート:!!11	3	−3	$\sqrt{8}{\rho }^3\sin 3\theta$	Vertical trefoil
$Z_3^{-1}$	テンプレート:07	テンプレート:07 テンプレート:!!8	3	−1	$\sqrt{8}(3{\rho }^3-2\rho )\sin \theta$	Vertical coma
$Z_3^1$	テンプレート:08	テンプレート:08 テンプレート:!! 7	3	+1	$\sqrt{8}(3{\rho }^3-2\rho )\cos \theta$	Horizontal coma
$Z_3^3$	テンプレート:09	10 テンプレート:!! 10	3	+3	$\sqrt{8}{\rho }^3\cos 3\theta$	Oblique trefoil
$Z_4^{-4}$	10	15	18	4	−4	$\sqrt{10}{\rho }^4\sin 4\theta$	Oblique quadrafoil
$Z_4^{-2}$	11	13 テンプレート:!!13	4	−2	$\sqrt{10}(4{\rho }^4-3{\rho }^2)\sin 2\theta$	Oblique secondary astigmatism
$Z_4^0$	12	11 テンプレート:!! 9	4	テンプレート:00	$\sqrt{5}(6{\rho }^4-6{\rho }^2+1)$	Primary spherical
$Z_4^2$	13	12 テンプレート:!!12	4	+2	$\sqrt{10}(4{\rho }^4-3{\rho }^2)\cos 2\theta$	Vertical secondary astigmatism
$Z_4^4$	14	14	17	4	+4	$\sqrt{10}{\rho }^4\cos 4\theta$	Vertical quadrafoil