ディクソン多項式

数学においてディクソン多項式（ディクソンたこうしき、英: Dickson polynomials）あるいはブリューワ多項式（Brewer polynomials）とは、L. E. Dickson (1897) によって導入され、Brewer (1961) によるブリューワ和の研究において再発見されたある多項式列で、D_n(x,α) と記述される。

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

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

${\displaystyle D_{n}(x,\alpha )=\sum _{p=0}^{\lfloor n/2\rfloor }{\frac {n}{n-p}}{\binom {n-p}{p}}(-\alpha )^{p}x^{n-2p}.}$

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

${\displaystyle D_{0}(x,\alpha )=2\,}$

${\displaystyle D_{1}(x,\alpha )=x\,}$

${\displaystyle D_{2}(x,\alpha )=x^{2}-2\alpha \,}$

${\displaystyle D_{3}(x,\alpha )=x^{3}-3x\alpha \,}$

${\displaystyle D_{4}(x,\alpha )=x^{4}-4x^{2}\alpha +2\alpha ^{2}.\,}$

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

${\displaystyle E_{n}(x,\alpha )=\sum _{p=0}^{\lfloor n/2\rfloor }{\binom {n-p}{p}}(-\alpha )^{p}x^{n-2p}.}$

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

${\displaystyle E_{0}(x,\alpha )=1\,}$

${\displaystyle E_{1}(x,\alpha )=x\,}$

${\displaystyle E_{2}(x,\alpha )=x^{2}-\alpha \,}$

${\displaystyle E_{3}(x,\alpha )=x^{3}-2x\alpha \,}$

${\displaystyle E_{4}(x,\alpha )=x^{4}-3x^{2}\alpha +\alpha ^{2}.\,}$

D_n は次の等式

${\displaystyle D_{n}(u+\alpha /u,\alpha )=u^{n}+(\alpha /u)^{n}\,;}$

${\displaystyle D_{mn}(x,\alpha )=D_{m}(D_{n}(x,\alpha ),\alpha ^{n})\,}$

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

${\displaystyle D_{n}(x,\alpha )=xD_{n-1}(x,\alpha )-\alpha D_{n-2}(x,\alpha )\,}$

${\displaystyle E_{n}(x,\alpha )=xE_{n-1}(x,\alpha )-\alpha E_{n-2}(x,\alpha )\,}$

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

${\displaystyle (x^{2}-4\alpha )y''+xy'-n^{2}y=0.\,}$

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

${\displaystyle (x^{2}-4\alpha )y''+3xy'-n(n+2)y=0.\,}$

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

${\displaystyle \sum _{n}D_{n}(x,\alpha )z^{n}={\frac {2-xz}{1-xz+\alpha z^{2}}}\,}$

${\displaystyle \sum _{n}E_{n}(x,\alpha )z^{n}={\frac {1}{1-xz+\alpha z^{2}}}.\,}$

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

${\displaystyle D_{n}(2xa,a^{2})=2a^{n}T_{n}(x)\,}$

${\displaystyle E_{n}(2xa,a^{2})=a^{n}U_{n}(x).\,}$

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

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

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

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

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

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

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

• Brewer, B. W. (1961), “On certain character sums”, Transactions of the American Mathematical Society 99: 241–245, doi:10.2307/1993392, ISSN 0002-9947, MR0120202, Zbl 0103.03205, http://www.jstor.org/stable/1993392 
• 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. MR0257033. Zbl 0169.37702. http://projecteuclid.org/euclid.mmj/1029000374. 
• Lidl, R.; Mullen, G. L.; Turnwald, G. (1993). Dickson polynomials. Pitman Monographs and Surveys in Pure and Applied Mathematics. 65. Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York. ISBN 0-582-09119-5. MR1237403. Zbl 0823.11070 
• Lidl, Rudolf; Niederreiter, Harald (1997). Finite fields. Encyclopedia of Mathematics and Its Applications. 20 (2nd ed.). Cambridge University Press. ISBN 0-521-39231-4. Zbl 0866.11069 
• Mullen, Gary L. (2001), “Dickson polynomial”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Dickson_polynomial 
• 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. http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WFM-45M8VYC-J&_user=99318&_coverDate=01%2F31%2F1997&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000007678&_version=1&_urlVersion=0&_userid=99318&md5=b40a5d38475bafcd5b0df1826f48680f&searchtype=a. 
• Rassias, Thermistocles M.; Srivastava, H.M.; Yanushauskas, A. (1991). Topics in Polynomials of One and Several Variables and Their Applications: A Legacy of P.L.Chebyshev. World Scientific. pp. 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. MR1329867. Zbl 0834.11052. http://journals.cambridge.org./action/displayFulltext?type=1&pdftype=1&fid=4986396&jid=JAZ&volumeId=58&issueId=&aid=4986388. 
• Young, Paul Thomas (2002). “On modified Dickson polynomials”. Fib. Quaterly 40 (1): 33–40. http://www.fq.math.ca/Scanned/40-1/young.pdf.