ディクソン多項式

数学においてディクソン多項式（ディクソンたこうしき、テンプレート:Lang-en-short）あるいはブリューワ多項式（Brewer polynomials）とは、テンプレート:Harvs によって導入され、テンプレート:Harvtxt によるブリューワ和の研究において再発見されたある多項式列で、D_n(x,α) と記述される。

複素数体上では、ディクソン多項式は変数変換によりチェビシェフ多項式と本質的に同値であり、実際しばしばディクソン多項式はチェビシェフ多項式と呼ばれている。ディクソン多項式は、チェビシェフ多項式と同値でないときは、有限体上で多く研究されている。その興味の一つとして、固定された α に対し、ディクソン多項式はテンプレート:仮リンクの多くの例を与えることが挙げられる。ただし置換多項式とは、有限体の置換として働く多項式のことである。

定義

D₀(x,α) = 2 であり、n > 0 に対する（第一種）ディクソン多項式は次で与えられる。

D_{n} (x, α) = \sum_{p = 0}^{⌊ n / 2 ⌋} \frac{n}{n - p} (\binom{n - p}{p}) (- α)^{p} x^{n - 2 p} .

このはじめのいくつかを挙げると、次のようになる。

D_{0} (x, α) = 2

D_{1} (x, α) = x

D_{2} (x, α) = x^{2} - 2 α

D_{3} (x, α) = x^{3} - 3 x α

D_{4} (x, α) = x^{4} - 4 x^{2} α + 2 α^{2} .

第二種ディクソン多項式 E_n は、次で定義される。

E_{n} (x, α) = \sum_{p = 0}^{⌊ n / 2 ⌋} (\binom{n - p}{p}) (- α)^{p} x^{n - 2 p} .

この研究は多くはなされておらず、その性質は第一種ディクソン多項式と同様である。第二種ディクソン多項式のはじめのいくつかを挙げると、次のようになる。

E_{0} (x, α) = 1

E_{1} (x, α) = x

E_{2} (x, α) = x^{2} - α

E_{3} (x, α) = x^{3} - 2 x α

E_{4} (x, α) = x^{4} - 3 x^{2} α + α^{2} .

性質

D_n は次の等式

D_{n} (u + α / u, α) = u^{n} + (α / u)^{n};

D_{m n} (x, α) = D_{m} (D_{n} (x, α), α^{n})

を満たす。n≥2 に対し、ディクソン多項式は漸化式

D_{n} (x, α) = x D_{n - 1} (x, α) - α D_{n - 2} (x, α)

E_{n} (x, α) = x E_{n - 1} (x, α) - α E_{n - 2} (x, α)

を満たす。ディクソン多項式 D_n = y は次の常微分方程式の解である。

(x^{2} - 4 α) y^{″} + x y^{'} - n^{2} y = 0 .

また、第二種ディクソン多項式 E_n = y は次の微分方程式の解である。

(x^{2} - 4 α) y^{″} + 3 x y^{'} - n (n + 2) y = 0 .

それらの通常型母関数は、次で与えられる。

\sum_{n} D_{n} (x, α) z^{n} = \frac{2 - x z}{1 - x z + α z^{2}}

\sum_{n} E_{n} (x, α) z^{n} = \frac{1}{1 - x z + α z^{2}} .

他の多項式との関係

複素数体上のディクソン多項式は、チェビシェフ多項式 T_n および U_n と次の式で関連付けられる。

D_{n} (2 x a, a^{2}) = 2 a^{n} T_{n} (x)

E_{n} (2 x a, a^{2}) = a^{n} U_{n} (x) .

重要なことであるが、ディクソン多項式 D_n(x,a) は a が二乗でない環や、標数が 2 の環の上で定義できる。そのような場合、D_n(x,a) はしばしばチェビシェフ多項式とは関連を持たないことになる。

パラメータが α = 1 あるいは α = -1 であるディクソン多項式は、フィボナッチ多項式やリュカ多項式と関連付けられる。
α = 0 の場合のディクソン多項式は、次の単項式を与える：

D_{n} (x, 0) = x^{n} .

置換多項式とディクソン多項式

（与えられた有限体に対する）置換多項式（permutation polynomial）とは、その体の元の置換として働くもののことを言う。

ディクソン多項式 D_n(x,α)（固定された α に対する x の関数と見なされる）が q 個の元を持つ体に対する置換行列であるための必要十分条件は、n と q²−1 が互いに素であることである^[1]。

M. テンプレート:Harvtxt は、無限に多くの素体に対する置換行列であるような任意の整数多項式は、ディクソン多項式と（有理係数の）線形多項式の合成であることを示した。この主張はシューアの予想として知られていたが、実際にはシューアはその予想を行っていなかった。Fried の論文は多くのミスを含んでいたため、その訂正は G. テンプレート:Harvtxt によってなされ、P. テンプレート:Harvtxt はシューアのある議論に沿った簡明な証明を与えた。

さらに P. テンプレート:Harvtxt は、次数が q−1 と互いに素で、かつ q^1/4 より小さいような有限体 F_q 上の任意の置換多項式は、必ずディクソン多項式と線形多項式の合成であることを示した。

参考文献

テンプレート:Reflist

テンプレート:Normdaten

↑ Lidl & Niederreiter (1997) p.356

[LN356-1] Lidl & Niederreiter (1997) p.356

[1]

ディクソン多項式

目次

定義

性質

他の多項式との関係

置換多項式とディクソン多項式

参考文献

ナビゲーションメニュー

ディクソン多項式

定義

性質

他の多項式との関係

置換多項式とディクソン多項式

参考文献

ナビゲーション メニュー

検索

ナビゲーションメニュー