Summarize Timeline Top Qs Fact Check
ゼルニケ多項式
Z
n
m
(
ρ
,
φ
)
{\displaystyle Z_{n}^{m}(\rho ,\varphi )}
は、
Z
n
m
(
ρ
,
φ
)
=
{
R
n
m
(
ρ
)
cos
(
m
φ
)
m
≥
0
R
n
|
m
|
(
ρ
)
sin
(
|
m
|
φ
)
m
<
0
{\displaystyle Z_{n}^{m}(\rho ,\varphi )={\begin{cases}R_{n}^{m}(\rho )\,\cos(m\,\varphi )&m\geq 0\\R_{n}^{|m|}(\rho )\,\sin(|m|\,\varphi )&m<0\end{cases}}}
により定義される。ここで、 n は非負整数、 m は n ≧ |m | なる整数であり、 ρ は 動径 (0 ≦ ρ ≦ 1)、 φ は偏角である。ゼルニケ多項式は
|
Z
n
m
(
ρ
,
φ
)
|
≤
1
{\displaystyle |Z_{n}^{m}(\rho ,\varphi )|\leq 1}
の範囲の値を取る。ここで、動径多項式
R
n
m
(
ρ
)
{\displaystyle R_{n}^{m}(\rho )}
は、 n − m が偶数の場合、
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}}
また奇数の場合0として定義される。
動径多項式は、二項係数 を用いて、
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}}
.
と書き表すことができ、これより多項式の係数はすべて整数であることが示される。
ガウスの超幾何関数 を用いて表現することもできる。この表現は、漸化式や微分方程式の導出の他、本多項式がヤコビの多項式の一部であることを示すのに有用である。
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}}}
動径多項式
R
n
m
(
ρ
)
{\displaystyle R_{n}^{m}(\rho )}
に含まれる項
ρ
n
−
2
k
{\displaystyle \rho ^{n-2k}}
は、バーンスタイン基底関数 を用いて展開できる。 n が偶数の場合は
b
s
,
n
/
2
(
ρ
2
)
{\displaystyle b_{s,n/2}(\rho ^{2})}
、奇数の場合は
b
s
,
(
n
−
1
)
/
2
(
ρ
2
)
{\displaystyle b_{s,(n-1)/2}(\rho ^{2})}
と
ρ
{\displaystyle \rho }
の積で展開される。ここで、 s は
⌊
n
/
2
⌋
−
k
≤
s
≤
⌊
n
/
2
⌋
{\displaystyle \lfloor n/2\rfloor -k\leq s\leq \lfloor n/2\rfloor }
の範囲をとる。これより、動径多項式は有限次のバーンスタイン関数として表される。
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}).}
2つの指数 n ,m を並べて、1つの指数 j に統合する方法として、Noll[ 3] により提案されたのは、
j
=
n
(
n
+
1
)
2
+
|
m
|
+
{
0
,
m
>
0
∧
n
∈
{
0
,
1
}
(
mod
4
)
;
0
,
m
<
0
∧
n
∈
{
2
,
3
}
(
mod
4
)
;
1
,
m
≥
0
∧
n
∈
{
2
,
3
}
(
mod
4
)
;
1
,
m
≤
0
∧
n
∈
{
0
,
1
}
(
mod
4
)
.
{\displaystyle j={\frac {n(n+1)}{2}}+|m|+\left\{{\begin{array}{ll}0,&m>0\land n\in \{0,1\}{\pmod {4}};\\0,&m<0\land n\in \{2,3\}{\pmod {4}};\\1,&m\geq 0\land n\in \{2,3\}{\pmod {4}};\\1,&m\leq 0\land n\in \{0,1\}{\pmod {4}}.\end{array}}\right.}
とするものである。初めの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 [ 4] / ANSI 標準ゼルニケ多項式は、以下のように定義される。
j
=
n
(
n
+
2
)
+
m
2
{\displaystyle 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
フリンジゼルニケ多項式は、以下のように定義される。
j
=
(
1
+
n
+
|
m
|
2
)
2
−
2
|
m
|
+
1
−
sgn
m
2
{\displaystyle j=\left(1+{\frac {n+|m|}{2}}\right)^{2}-2|m|+{\frac {1-\operatorname {sgn} m}{2}}}
この定義は光学設計ソフトウェアや光学検査で多く用いられる[ 5] [ 6] 。初めの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