Принесите радикальный - Bring radical - Wikipedia

Сюжет о радикальном доводе для реальных аргументов

В алгебра, то Принесите радикальный или же ультрарадикальный из настоящий номер  а это уникальный настоящий корень из многочлен

Радикал Приведения комплексного числа а является любым из пяти корней указанного выше многочлена (таким образом, многозначный ), или конкретный корень, который обычно выбирается так, чтобы радикал Бринга был действительным знаком для реальных а и является аналитическая функция в районе реальной линии. Из-за существования четырех точки разветвления радикал Бринга нельзя определить как функцию, непрерывную на всем комплексная плоскость, и его область непрерывности должна исключать четыре срезы веток.

Джордж Джеррард показал, что некоторые уравнения пятой степени возможно решено в закрытом виде с помощью радикалы и Принесите радикалов, которые были введены Эрланд Бринг.

В этой статье радикал Принесения а обозначается Для действительного аргумента он нечетный, монотонно убывающий и неограниченный, с асимптотическим поведением для больших .

Нормальные формы

Непосредственное решение уравнения пятой степени с пятью независимыми коэффициентами в самом общем виде получить довольно сложно:

Различные методы решения квинтики, которые были разработаны, обычно пытаются упростить квинтику, используя Трансформации Чирнхауза для уменьшения количества независимых коэффициентов.

Основная квинтическая форма

Общая квинтика может быть уменьшена до того, что известно как основная квинтическая формас удалением четвертичных и кубических членов:

Если корни общей квинтики и главной квинтики связаны квадратичной Трансформация Чирнхауса

коэффициенты α и β можно определить с помощью результирующий, или с помощью силовые суммы корней и Личности Ньютона. Это приводит к системе уравнений в α и β состоящее из квадратного и линейного уравнений, и любой из двух наборов решений может быть использован для получения соответствующих трех коэффициентов основной пятой формы.[1]

Эта форма используется Феликс Кляйн Раствор квинтики.[2]

Нормальная форма Бринга – Джеррарда

Можно еще больше упростить квинтику и исключить квадратичный член, получив Нормальная форма Бринга – Джеррарда:

Снова используя формулы степенной суммы с кубическим преобразованием как Tschirnhaus пробовал не работает, так как полученная система уравнений приводит к уравнению шестой степени. Но в 1796 году Приносить нашел способ обойти это, используя преобразование Чирнхауза четвертой степени, чтобы связать корни основной квинтики с корнями квинтики Бринга – Джеррарда:

Дополнительный параметр, предоставляемый этим преобразованием четвертого порядка, позволял Bring уменьшать степени других параметров. Это приводит к системе из пяти уравнений с шестью неизвестными, которая требует решения кубического и квадратного уравнений. Этот метод также был открыт Джеррард в 1852 г.,[3] но вполне вероятно, что он не знал о предыдущей работе Бринга в этой области.[4] Полное преобразование может быть легко выполнено с помощью компьютерная алгебра пакет, такой как Mathematica[5] или же Клен.[6] Как и следовало ожидать из-за сложности этих преобразований, результирующие выражения могут быть огромными, особенно по сравнению с решениями в радикалах для уравнений более низкой степени, занимая много мегабайт памяти для общей квинтики с символическими коэффициентами.[5]

Рассматриваемая как алгебраическая функция, решения

включают две переменные, d1 и d0; тем не менее, редукция на самом деле является алгебраической функцией одной переменной, очень похожей на решение в радикалах, поскольку мы можем дополнительно уменьшить форму Бринга – Джеррарда. Если мы, например, установим

то приводим уравнение к виду

который включает z как алгебраическая функция одной переменнойт, куда . Подобного преобразования достаточно, чтобы свести уравнение к виду

который является формой, требуемой для описанных ниже методов Эрмита – Кронекера – Бриоши, Глассера и метода дифференциальных резольвент Кокла – Харли.

Бриоши нормальная форма

Существует еще одна однопараметрическая нормальная форма уравнения пятой степени, известная как Бриоши нормальная форма

которое может быть получено с помощью рационального преобразования Чирнхауза

связать корни общей квинтики с квинтикой Бриоски. Значения параметров и может быть получено с помощью многогранные функции на Сфера Римана, и связаны с разбиением объекта икосаэдрическая симметрия на пять объектов тетраэдрическая симметрия.[7]

Это преобразование Чирнхауза гораздо проще, чем сложное преобразование, использованное для преобразования основной квинтики в форму Бринга – Джеррарда. Эта нормальная форма используется итерационным методом Дойля – МакМаллена и методом Киперта.

Представление серии

А Серия Тейлор для Bring радикалов, а также представление в плане гипергеометрические функции можно получить следующим образом. Уравнение можно переписать как Установив желаемое решение

Сериал для затем можно получить возврат из Серия Тейлор за (что просто ), давая

где модули коэффициентов образуют последовательность A002294 в OEIS. Сериал подтверждает, что странно, так как

В радиус схождения из серии

В гипергеометрический В форме радикала Привести можно записать[5]

Может быть интересно сравнить с гипергеометрическими функциями, которые возникают ниже при выводе Глассера и методе дифференциальных резольвент.

Раствор общей пятерки

Теперь мы можем выразить корни любого многочлена

в терминах радикала Бринга, как

и его четыре конъюгирует.[нужна цитата ] У нас есть приведение к форме Бринга – Джеррарда в терминах разрешимых полиномиальных уравнений, и мы использовали преобразования, включающие полиномиальные выражения в корнях только до четвертой степени, что означает, что обращение преобразования может быть выполнено путем нахождения корней полиномиального разрешимого в радикалах. Эта процедура дает посторонние решения, но когда мы нашли правильные числовыми средствами, мы также можем записать корни пятерки в терминах квадратных корней, кубических корней и радикала Бринга, который, следовательно, является алгебраическим решением в терминах алгебраические функции (определенные в широком смысле, включая радикалы Бринга) одной переменной - алгебраическое решение общей квинтики.

Другие характеристики

Было разработано множество других характеристик радикала Бринга, первая из которых связана с эллиптические модульные функции к Чарльз Эрмит в 1858 г. и другие методы, позже разработанные другими математиками.

Характеристика Эрмита – Кронекера – Бриоски.

В 1858 году Чарльз Эрмит[8] опубликовал первое известное решение общего уравнения пятой степени в терминах эллиптических трансцендентов, и примерно в то же время Франческо Бриоски[9] и Леопольд Кронекер[10] пришли к эквивалентным решениям. Эрмит пришел к такому решению, обобщив известное решение на кубическое уравнение с точки зрения тригонометрические функции и находит решение квинтики в форме Бринга – Джеррарда:

в которую любое уравнение пятой степени может быть сведено с помощью преобразований Чирнхауза, как было показано. Он заметил, что эллиптические функции сыграли аналогичную роль в решении квинтики Бринга – Джеррарда, как тригонометрические функции для кубики. Если и периоды эллиптический интеграл первого вида:

то эллиптический ном дан кем-то:

и

С

определить два эллиптические модульные функции:

куда и подобные Якоби тета-функции.

Если п это простое число, мы можем определить два значения ты и v следующее:

и

Параметры и связаны уравнением степени п + 1 известный как модульное уравнение, чей п + 1 корни даются:

и

где ε равно 1 или −1 в зависимости от того, является ли 2 квадратичный вычет относительно п или нет, и м целое число по модулюп. За п = 5, имеем модульное уравнение шестой степени:

с шестью корнями, как показано выше.

Модульное уравнение шестой степени может быть связано с квинтикой Бринга – Джеррарда следующей функцией шести корней модульного уравнения:

Пять величин , , , , являются корнями уравнения пятой степени с коэффициентами, рациональными по :

которая может быть легко преобразована в форму Бринга – Джеррарда заменой:

ведущие к квинтике Бринга – Джеррарда:

куда

Затем метод Эрмита – Кронекера – Бриоши сводится к нахождению значения τ, которое соответствует значению а, а затем используя это значение τ для получения корней соответствующего модульного уравнения. Для этого пусть

и вычислим требуемый эллиптический модуль путем решения уравнения четвертой степени:

Корни этого уравнения:

куда [11] (обратите внимание, что некоторые важные ссылки ошибочно дают это как [7][8]). Любой из этих корней может использоваться в качестве эллиптического модуля для целей метода. Значение легко получается из эллиптического модуля отношениями, указанными выше. Корни квинтики Бринга – Джеррарда тогда даются следующим образом:

за .

Видно, что в этом процессе используется обобщение n-й корень, что может быть выражено как:

или более к делу, поскольку

Метод Эрмита – Кронекера – Бриоши по существу заменяет экспоненту на эллиптическую модулярную функцию, а интеграл эллиптическим интегралом. Кронекер думал, что это обобщение было частным случаем еще более общей теоремы, которая была бы применима к уравнениям сколь угодно высокой степени. Эта теорема, известная как Формула Томае, был полностью выражен Хироши Умемура[12] в 1984 году, который использовал Модульные формы Siegel вместо экспоненциальной / эллиптической модулярной функции и интеграла гиперэллиптический интеграл.

Вывод Глассера

Этот вывод принадлежит М. Л. Глассеру.[13] обобщает метод рядов, представленный ранее в этой статье, чтобы найти решение любого трехчленный уравнение вида:

В частности, уравнение пятой степени может быть приведено к этой форме с помощью преобразований Чирнхауза, как показано выше. Позволять , общая форма становится:

куда

Формула из-за Лагранж заявляет, что для любого аналитическая функция , в окрестности корня преобразованного общего уравнения через , выше может быть выражено как бесконечная серия:

Если мы позволим в этой формуле мы можем найти корень:

Используя Теорема Гаусса умножения бесконечный ряд выше может быть разбит на конечный ряд гипергеометрические функции:

и трехчлен формы имеет корни

Таким образом, корень уравнения может быть выражен как сумма не более чем N - 1 гипергеометрическая функция. Применяя этот метод к уменьшенной пятой квинтике Бринга – Джеррарда, определите следующие функции:

которые являются гипергеометрическими функциями, фигурирующими в формуле ряда выше. Таким образом, корни квинтики:

По сути, это тот же результат, что и при использовании следующего метода.

Метод дифференциальных резольвент

Джеймс Кокл[14] и Роберт Харли[15] разработал в 1860 г. метод решения квинтики с помощью дифференциальных уравнений. Они рассматривают корни как функции коэффициентов и вычисляют дифференциальную резольвенту на основе этих уравнений. Квинтика Бринга – Джеррарда выражается как функция:

и функция определяется таким образом, чтобы:

Функция также должны удовлетворять следующим четырем дифференциальным уравнениям:

Их разложение и объединение дает дифференциальную резольвенту:

Решение дифференциальной резольвенты, являющейся обыкновенным дифференциальным уравнением четвертого порядка, зависит от четырех константы интегрирования, который следует выбирать таким образом, чтобы удовлетворять требованиям квинтики оригинала. Это фуксово обыкновенное дифференциальное уравнение гипергеометрического типа,[16] решение которого оказывается идентичным ряду гипергеометрических функций, возникших в приведенном выше выводе Глассера.[6]

Этот метод также может быть обобщен на уравнения сколь угодно высокой степени с дифференциальными резольвентами, которые уравнения в частных производных, в решениях которого участвуют гипергеометрические функции многих переменных.[17][18]Общая формула для дифференциальных резольвент произвольных одномерных многочленов дается формулой степенной суммы Нахая.[19][20]

Итерация Дойла – Макмаллена

В 1989 году Питер Дойл и Курт МакМаллен разработали итерационный метод[21] который решает квинтику в нормальной форме Бриоски:

Алгоритм итерации работает следующим образом:

1 комплект

2. Вычислить рациональную функцию.

куда - полиномиальная функция, приведенная ниже, и это производная из относительно

3. Итерировать на случайном начальном предположении, пока оно не сойдется. Позвоните в предельная точка и разреши .

4. Вычислить

куда - полиномиальная функция, приведенная ниже. Сделайте это для обоих и .

5. Наконец, вычислите

за я = 1, 2. Это два корня квинтики Бриоски.

Две полиномиальные функции и являются следующими:

Этот итерационный метод дает два корня квинтики. Остальные три корня можно получить, используя синтетическое подразделение разделить два корня и получить кубическое уравнение. Из-за того, как сформулирована итерация, этот метод, кажется, всегда находит два комплексно сопряженный корни квинтики, даже если все коэффициенты квинтики действительны, а начальная догадка реальна. Этот метод итераций выводится из симметрии икосаэдр и тесно связан с методом, описанным Феликсом Кляйном в своей книге.[2]

Смотрите также

Примечания

  1. ^ Адамчик, Виктор (2003). "Полиномиальные преобразования Чирнхауза, Бринга и Джеррарда" (PDF). Бюллетень ACM SIGSAM. 37 (3): 91. CiteSeerX  10.1.1.10.9463. Дои:10.1145/990353.990371. Архивировано из оригинал (PDF) 26 февраля 2009 г.CS1 maint: ref = harv (связь)
  2. ^ а б Кляйн, Феликс (1888). Лекции об икосаэдре и решении уравнений пятой степени. Trübner & Co. ISBN  978-0-486-49528-6.
  3. ^ Джеррард, Джордж Берч (1859). Очерк о разрешении уравнений. Лондон: Тейлор и Фрэнсис.
  4. ^ Адамчик (2003) С. 92–93.
  5. ^ а б c «Решение Quintic с помощью Mathematica». Wolfram Research. Архивировано из оригинал 1 июля 2014 г.
  6. ^ а б Дрочук, Ричард Дж. (2000). «О полном решении наиболее общего многочлена пятой степени». arXiv:math.GM/0005026.
  7. ^ а б Кинг, Р. Брюс (1996). За пределами уравнения четвертой степени. Birkhäuser. стр.131. ISBN  978-3-7643-3776-6.
  8. ^ а б Эрмит, Чарльз (1858). "Sur la résolution de l'équation du cinquème degré". Comptes Rendus de l'Académie des Sciences. XLVI (I): 508–515.
  9. ^ Бриоски, Франческо (1858). "Sul Metodo di Kronecker per la Risoluzione delle Equazioni di Quinto Grado". Atti Dell'i. R. Istituto Lombardo di Scienze, Lettere ed Arti. я: 275–282.
  10. ^ Кронекер, Леопольд (1858). "Sur la résolution de l'equation du cinquième degré, extrait d'une lettre adressée à M. Hermite". Comptes Rendus de l'Académie des Sciences. XLVI (I): 1150–1152.
  11. ^ Дэвис, Гарольд Т. (1962). Введение в нелинейные дифференциальные и интегральные уравнения. Дувр. стр.173. ISBN  978-0-486-60971-3.
  12. ^ Умемура, Хироши (2007). «Разрешение алгебраических уравнений тета-константами». Разрешение алгебраических уравнений с помощью тета-констант (в: Дэвид Мамфорд, Tata Lectures on Theta II). Современная классика Биркхойзера. Биркхойзер, Бостон, Массачусетс. С. 261–270. Дои:10.1007/978-0-8176-4578-6_18. ISBN  9780817645694.
  13. ^ Глассер, М. Лоуренс (1994). «Квадратичная формула усложнена: менее радикальный подход к решению уравнений». arXiv:math.CA/9411224.
  14. ^ Кокл, Джеймс (1860). «Очерк теории трансцендентных корней». Лондонский, Эдинбургский и Дублинский философский журнал и научный журнал. 20 (131): 145 –148. Дои:10.1080/14786446008642921.
  15. ^ Харли, Роберт (1862). «О трансцендентном решении алгебраических уравнений». Кварта. J. Pure Appl. Математика. 5: 337–361.
  16. ^ Слейтер, Люси Джоан (1966). Обобщенные гипергеометрические функции. Издательство Кембриджского университета. стр.42 –44. ISBN  978-0-521-06483-5.
  17. ^ Биркеланд, Ричард (1927). "Uber die Auflösung algebraischer Gleichungen durch hypergeometrische Funktionen". Mathematische Zeitschrift. 26: 565–578. Дои:10.1007 / BF01475474.[постоянная мертвая ссылка ]
  18. ^ Майр, Карл (1937). "Uber die Auflösung algebraischer Gleichungssysteme durch hypergeometrische Funktionen". Monatshefte für Mathematik und Physik. 45: 280–313. Дои:10.1007 / BF01707992.
  19. ^ Нахай, Джон (2004). «Формула Пауэрсума для дифференциальных растворителей». Международный журнал математики и математических наук. 2004 (7): 365–371. Дои:10.1155 / S0161171204210602.
  20. ^ Нахай, Джон (2000). «Линейные дифференциальные резольвенты». Докторская диссертация, Университет Рутгерса, Пискатауэй, Нью-Джерси. Ричард М. Кон, советник.
  21. ^ Дойл, Питер; Курт Макмаллен (1989). «Решение пятерки итерацией» (PDF). Acta Math. 163: 151–180. Дои:10.1007 / BF02392735.
  • Мирзаи, Рауф (2012). «Спиноры и специальные функции для решения уравнения n-й степени». Международный математический симпозиум.

Рекомендации

внешняя ссылка