ディクソン多項式
数学においてディクソン多項式(ディクソンたこうしき、英: Dickson polynomials)あるいはブリューワ多項式(Brewer polynomials)とは、テンプレート:Harvs によって導入され、Brewer (1961) によるブリューワ和の研究において再発見されたある多項式列で、Dn(x,α) と記述される。
複素数体上では、ディクソン多項式は変数変換によりチェビシェフ多項式と本質的に同値であり、実際しばしばディクソン多項式はチェビシェフ多項式と呼ばれている。ディクソン多項式は、チェビシェフ多項式と同値でないときは、有限体上で多く研究されている。その興味の一つとして、固定された α に対し、ディクソン多項式は置換多項式の多くの例を与えることが挙げられる。ただし置換多項式とは、有限体の置換として働く多項式のことである。
Contents
定義
D0(x,α) = 2 であり、n > 0 に対する(第一種)ディクソン多項式は次で与えられる。
- [math]D_n(x,\alpha)=\sum_{p=0}^{\lfloor n/2\rfloor}\frac{n}{n-p} \binom{n-p}{p} (-\alpha)^p x^{n-2p}. [/math]
このはじめのいくつかを挙げると、次のようになる。
- [math] D_0(x,\alpha) = 2 \,[/math]
- [math] D_1(x,\alpha) = x \,[/math]
- [math] D_2(x,\alpha) = x^2 - 2\alpha \,[/math]
- [math] D_3(x,\alpha) = x^3 - 3x\alpha \,[/math]
- [math] D_4(x,\alpha) = x^4 - 4x^2\alpha + 2\alpha^2. \,[/math]
第二種ディクソン多項式 En は、次で定義される。
- [math]E_n(x,\alpha)=\sum_{p=0}^{\lfloor n/2\rfloor}\binom{n-p}{p} (-\alpha)^p x^{n-2p}. [/math]
この研究は多くはなされておらず、その性質は第一種ディクソン多項式と同様である。第二種ディクソン多項式のはじめのいくつかを挙げると、次のようになる。
- [math] E_0(x,\alpha) = 1 \,[/math]
- [math] E_1(x,\alpha) = x \,[/math]
- [math] E_2(x,\alpha) = x^2 - \alpha \,[/math]
- [math] E_3(x,\alpha) = x^3 - 2x\alpha \,[/math]
- [math] E_4(x,\alpha) = x^4 - 3x^2\alpha + \alpha^2. \,[/math]
性質
Dn は次の等式
- [math]D_n(u + \alpha/u,\alpha) = u^n + (\alpha/u)^n \, ; [/math]
- [math]D_{mn}(x,\alpha) = D_m(D_n(x,\alpha),\alpha^n) \, [/math]
を満たす。n≥2 に対し、ディクソン多項式は漸化式
- [math]D_n(x,\alpha) = xD_{n-1}(x,\alpha)-\alpha D_{n-2}(x,\alpha) \, [/math]
- [math]E_n(x,\alpha) = xE_{n-1}(x,\alpha)-\alpha E_{n-2}(x,\alpha) \, [/math]
を満たす。ディクソン多項式 Dn = y は次の常微分方程式の解である。
- [math](x^2-4\alpha)y'' + xy' - n^2y=0. \, [/math]
また、第二種ディクソン多項式 En = y は次の微分方程式の解である。
- [math](x^2-4\alpha)y'' + 3xy' - n(n+2)y=0. \, [/math]
それらの通常型母関数は、次で与えられる。
- [math]\sum_nD_n(x,\alpha)z^n = \frac{2-xz}{1-xz+\alpha z^2} \, [/math]
- [math]\sum_nE_n(x,\alpha)z^n = \frac{1}{1-xz+\alpha z^2}. \, [/math]
他の多項式との関係
- 複素数体上のディクソン多項式は、チェビシェフ多項式 Tn および Un と次の式で関連付けられる。
- [math]D_n(2xa,a^2)= 2a^{n}T_n(x) \, [/math]
- [math]E_n(2xa,a^2)= a^{n}U_n(x). \, [/math]
重要なことであるが、ディクソン多項式 Dn(x,a) は a が二乗でない環や、標数が 2 の環の上で定義できる。そのような場合、Dn(x,a) はしばしばチェビシェフ多項式とは関連を持たないことになる。
- [math]D_n(x,0) = x^n \, . [/math]
置換多項式とディクソン多項式
(与えられた有限体に対する)置換多項式(permutation polynomial)とは、その体の元の置換として働くもののことを言う。
ディクソン多項式 Dn(x,α)(固定された α に対する x の関数と見なされる)が q 個の元を持つ体に対する置換行列であるための必要十分条件は、n と q2−1 が互いに素であることである[1]。
M. Fried (1970) は、無限に多くの素体に対する置換行列であるような任意の整数多項式は、ディクソン多項式と(有理係数の)線形多項式の合成であることを示した。この主張はシューアの予想として知られていたが、実際にはシューアはその予想を行っていなかった。Fried の論文は多くのミスを含んでいたため、その訂正は G. Turnwald (1995) によってなされ、P. Müller (1997) はシューアのある議論に沿った簡明な証明を与えた。
さらに P. Müller (1997) は、次数が q−1 と互いに素で、かつ q1/4 より小さいような有限体 Fq 上の任意の置換多項式は、必ずディクソン多項式と線形多項式の合成であることを示した。
参考文献
- ↑ Lidl & Niederreiter (1997) p.356
- Brewer, B. W. (1961), “On certain character sums”, Transactions of the American Mathematical Society 99: 241–245, doi:10.2307/1993392, ISSN 0002-9947, MR 0120202, Zbl 0103.03205
- Dickson, L.E. (1897). “The analytic representation of substitutions on a power of a prime number of letters with a discussion of the linear group I,II”. Ann. Of Math. (The Annals of Mathematics) 11 (1/6): 65–120; 161–183. doi:10.2307/1967217. ISSN 0003-486X. JFM 28.0135.03. JSTOR 1967217.
- Fried, Michael (1970). “On a conjecture of Schur”. Michigan Math. J. 17: 41–55. doi:10.1307/mmj/1029000374. ISSN 0026-2285. MR 0257033. Zbl 0169.37702 .
- Lidl, R. (1993). Dickson polynomials, Pitman Monographs and Surveys in Pure and Applied Mathematics. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York. ISBN 0-582-09119-5.
- (1997) Finite fields, 2nd, Encyclopedia of Mathematics and Its Applications, Cambridge University Press. ISBN 0-521-39231-4.
- テンプレート:Springer
- Müller, Peter (1997). “A Weil-bound free proof of Schur's conjecture”. Finite Fields Appl. 3: 25–32. doi:10.1006/ffta.1996.0170. Zbl 0904.11040 .
- (1991) Topics in Polynomials of One and Several Variables and Their Applications: A Legacy of P.L.Chebyshev. World Scientific, 371–395. ISBN 981-02-0614-3.
- Turnwald, Gerhard (1995). “On Schur's conjecture”. J. Austral. Math. Soc. Ser. A 58 (03): 312–357. doi:10.1017/S1446788700038349. MR 1329867. Zbl 0834.11052 .
- Young, Paul Thomas (2002). “On modified Dickson polynomials”. Fib. Quaterly 40 (1): 33–40 .