Полином Диксона - Dickson polynomial
В математике , то многочлены Диксона , обозначаемый D п ( х , α ) , образуют последовательность полиномов введенную LE Диксона ( одна тысяча восемьсот девяносто семь ). Они были заново открыты Брюером (1961) в его исследовании сумм Брюера и иногда, хотя и редко, назывались полиномами Брюера .
Над комплексными числами многочлены Диксона по существу эквивалентны многочленам Чебышева с заменой переменной, и, фактически, многочлены Диксона иногда называют многочленами Чебышева.
Многочлены Диксона обычно изучаются над конечными полями , где они иногда не могут быть эквивалентны многочленам Чебышева. Одна из основных причин интереса к ним заключается в том, что при фиксированном α они дают много примеров перестановочных многочленов ; многочлены, действующие как перестановки конечных полей.
Определение
Первый вид
Для целого числа n > 0 и α в коммутативном кольце R с единицей (часто выбираемом в качестве конечного поля F q = GF ( q ) ) многочлены Диксона (первого рода) над R имеют вид
Первые несколько полиномов Диксона:
Они также могут быть порождены рекуррентным соотношением для n ≥ 2 ,
с начальными условиями D 0 ( x , α ) = 2 и D 1 ( x , α ) = x .
Второй вид
Полиномы Диксона второго рода, E n ( x , α ) , определяются равенством
Они мало изучены и обладают свойствами, аналогичными свойствам многочленов Диксона первого рода. Первые несколько многочленов Диксона второго рода равны
Они также могут быть порождены рекуррентным соотношением для n ≥ 2 ,
с начальными условиями E 0 ( x , α ) = 1 и E 1 ( x , α ) = x .
Характеристики
D п являются единственными унитарные многочлены , удовлетворяющие функциональному уравнению
где α ∈ F q и u ≠ 0 ∈ F q 2 .
Они также удовлетворяют правилу композиции,
Е п также удовлетворяет функциональное уравнение
для y ≠ 0 , y 2 ≠ α , где α ∈ F q и y ∈ F q 2 .
Полином Диксона y = D n является решением обыкновенного дифференциального уравнения
а многочлен Диксона y = E n является решением дифференциального уравнения
Их обычные производящие функции :
Ссылки на другие многочлены
По приведенному выше рекуррентному соотношению многочлены Диксона являются последовательностями Люка . В частности, при α = −1 многочлены Диксона первого рода являются многочленами Фибоначчи , а многочлены Диксона второго рода являются многочленами Люка .
По приведенному выше правилу композиции, когда α идемпотентно , композиция многочленов Диксона первого рода коммутативна.
- Многочлены Диксона с параметром α = 0 дают одночлены .
- Многочлены Диксона с параметром α = 1 связаны с многочленами Чебышева T n ( x ) = cos ( n arccos x ) первого рода соотношением
- Поскольку многочлен Диксона D n ( x , α ) может быть определен над кольцами с дополнительными идемпотентами, D n ( x , α ) часто не связан с многочленом Чебышева.
Многочлены перестановки и многочлены Диксона
Подстановка многочлен (для заданного конечного поля) является тот , который выступает в качестве перестановки элементов конечного поля.
Многочлен Диксона D n ( x , α) (рассматриваемый как функция от x при фиксированном α) является перестановочным многочленом для поля с q элементами тогда и только тогда, когда n взаимно просто с q 2 - 1 .
Фрид (1970) доказал, что любой целочисленный многочлен, являющийся перестановочным многочленом для бесконечного числа простых полей, является композицией многочленов Диксона и линейных многочленов (с рациональными коэффициентами). Это утверждение стало известно как гипотеза Шура, хотя на самом деле Шур этого предположения не делал. Поскольку статья Фрида содержала множество ошибок, Тёрнвальд (1995) исправил их , а впоследствии Мюллер (1997) дал более простое доказательство в духе аргументации Шура.
Далее, Мюллер (1997) доказал, что любой многочлен подстановки над конечным полем F q , степень которого одновременно взаимно проста с q и меньше q 1/4 должен быть композицией многочленов Диксона и линейных многочленов.
Обобщение
Многочлены Диксона обоих видов над конечными полями можно рассматривать как начальные члены последовательности обобщенных многочленов Диксона, называемых многочленами Диксона ( k + 1) -го рода. В частности, для альфа ≠ 0 ∈ F ц с ц = р е для некоторого простого р и любых целых п ≥ 0 и 0 ≤ K < р , тем п - й Диксона многочлен ( к + 1) го рода над F д , обозначается через D n , k ( x , α ) , определяется как
а также
D n , 0 ( x , α ) = D n ( x , α ) и D n , 1 ( x , α ) = E n ( x , α ) , показывая, что это определение объединяет и обобщает исходные многочлены Диксона.
Значительные свойства полиномов Диксона также обобщают:
- Соотношение рекуррентности : для n ≥ 2 ,
- с начальными условиями D 0, k ( x , α ) = 2 - k и D 1, k ( x , α ) = x .
- Функциональное уравнение :
- где y ≠ 0 , y 2 ≠ α .
- Генерирующая функция :
Заметки
Рекомендации
- Brewer, BW (1961), "О некоторых сумм характеров", Труды Американского математического общества , 99 (2): 241-245, DOI : 10,2307 / 1993392 , ISSN 0002-9947 , JSTOR 1993392 , MR 0120202 , Zbl 0103,03205
- Диксон, Л. Е. (1897). «Аналитическое представление замен в степени простого числа букв с обсуждением линейной группы I, II». Аня. математики . Анналы математики. 11 (1/6): 65–120, 161–183. DOI : 10.2307 / 1967217 . ISSN 0003-486X . JFM 28.0135.03 . JSTOR 1967217 .
- Фрид, Майкл (1970). «По догадке Шура» . Michigan Math. Дж . 17 : 41–55. DOI : 10.1307 / MMJ / 1029000374 . ISSN 0026-2285 . Руководство по ремонту 0257033 . Zbl 0169.37702 .
- Lidl, R .; Mullen, GL; Турнвальд, Г. (1993). Многочлены Диксона . Монографии и обзоры Питмана по чистой и прикладной математике. 65 . Longman Scientific & Technical, Харлоу; опубликовано в США совместно с John Wiley & Sons, Inc., Нью-Йорк. ISBN 978-0-582-09119-1. Руководство по ремонту 1237403 . Zbl 0823.11070 .
- Лидл, Рудольф; Нидеррайтер, Харальд (1983). Конечные поля . Энциклопедия математики и ее приложений. 20 (1-е изд.). Эддисон-Уэсли. ISBN 978-0-201-13519-0. Zbl 0866.11069 .
- Маллен, Гэри Л. (2001) [1994], "Многочлены Диксона" , Энциклопедия математики , EMS Press
- Mullen, Gary L .; Панарио, Даниэль (2013), Справочник по конечным полям , CRC Press, ISBN 978-1-4398-7378-6
- Мюллер, Питер (1997). «Свободное доказательство гипотезы Шура с ограничением Вейля» . Конечные поля и их приложения . 3 : 25–32. DOI : 10.1006 / ffta.1996.0170 . Zbl 0904.11040 .
- Rassias, Thermistocles M .; Шривастава, HM; Янушаускас, А. (1991). Темы полиномов от одной и нескольких переменных и их приложения: наследие П.Л.Чебышева . World Scientific. С. 371–395. ISBN 978-981-02-0614-7.
- Турнвальд, Герхард (1995). «По догадке Шура» . J. Austral. Математика. Soc. Сер. . 58 (3): 312–357. DOI : 10.1017 / S1446788700038349 . Руководство по ремонту 1329867 . Zbl 0834.11052 .
- Янг, Пол Томас (2002). «О модифицированных полиномах Диксона» (PDF) . Ежеквартальный отчет Фибоначчи . 40 (1): 33–40.