Квинтик функция - Quintic function

График многочлена степени 5 с 3 действительными нулями (корнями) и 4 критическими точками .

В алгебре , квинтик функция является функцией вида

где a , b , c , d , e и f являются членами поля , обычно рациональными числами , действительными числами или комплексными числами , а a не равно нулю. Другими словами, квинтики функция определяется полиномом от степени пять.

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

Если задать g ( x ) = 0 и предположить, что a 0, получается уравнение пятой степени вида:

Решение уравнений пятой степени в терминах радикалов было основной проблемой алгебры с XVI века, когда решались уравнения кубической и четвертой степени , до первой половины XIX века, когда невозможность такого общего решения была доказана с помощью метода Абеля – Руффини. теорема .

Нахождение корней уравнения пятой степени

Нахождение корней заданного многочлена было важной математической проблемой.

Решение линейных , квадратных , кубических и квартичных уравнений путем факторизации в радикалы всегда может быть выполнено, независимо от того, являются ли корни рациональными или иррациональными, действительными или комплексными; есть формулы, дающие требуемые решения. Однако не существует алгебраического выражения (то есть в терминах радикалов) для решений общих уравнений пятой степени над рациональными числами; это утверждение известно как теорема Абеля – Руффини , впервые утвержденная в 1799 г. и полностью доказанная в 1824 г. Этот результат также верен для уравнений более высоких степеней. Примером квинтики, корни которой нельзя выразить через радикалы, является x 5 - x + 1 = 0 .

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

Решаемые квинтики

Некоторые уравнения пятой степени могут быть решены в терминах радикалов. К ним относятся уравнения пятой степени, определяемые приводимым полиномом , например x 5 - x 4 - x + 1 = ( x 2 + 1) ( x + 1) ( x - 1) 2 . Например, было показано, что

имеет решения в радикалах тогда и только тогда, когда оно имеет целочисленное решение или r равно ± 15, ± 22440 или ± 2759640, и в этих случаях многочлен приводим.

Поскольку решение приводимых уравнений пятой степени немедленно сводится к решению полиномов более низкой степени, в оставшейся части этого раздела рассматриваются только неприводимые уравнения пятой степени, а термин «квинтика» будет относиться только к неприводимым квинтикам. Разрешим квинтик Таким образом , неприводимое квинтика многочлен, корни которого может быть выражены в терминах радикалов.

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

Учитывая уравнение

преобразование Чирнгауз х = у - б/5 а, который подавляет квинтику (т. е. удаляет член четвертой степени), дает уравнение

,

куда

Обе квинтики разрешимы радикалами тогда и только тогда, когда либо они факторизуемы в уравнениях младших степеней с рациональными коэффициентами, либо многочлен P 2 - 1024 z Δ , названный Резольвента Кэли имеет рациональный корень вz, где

а также

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

В 1888 году Джордж Пакстон Янг описал, как решить разрешимое уравнение пятой степени, не предоставив явной формулы; в 2004 году Дэниел Лазард выписал трехстраничную формулу.

Quintics в форме Бринга – Джеррарда

Существует несколько параметрических представлений разрешимых квинтик вида x 5 + ax + b = 0 , называемых формой Бринга – Джеррарда .

Во второй половине XIX века Джон Стюарт Глашан, Джордж Пакстон Янг и Карл Рунге дали такую ​​параметризацию: неприводимая квинтика с рациональными коэффициентами в форме Бринга – Джеррарда разрешима тогда и только тогда, когда либо a = 0, либо она может быть написано

где μ и ν рациональны.

В 1994 году Блэр Спирман и Кеннет С. Уильямс предложили альтернативу:

Связь между параметризациями 1885 и 1994 годов можно увидеть, определив выражение

где a =5 (4 ν + 3)/ν 2 + 1. Использование отрицательного случая квадратного корня дает после масштабирования переменных первую параметризацию, а положительный случай дает вторую.

Подстановка c =- м/l 5, e =1/лв параметризации Спирмена-Вильямса позволяет не исключать частный случай a = 0 , что дает следующий результат:

Если a и b - рациональные числа, уравнение x 5 + ax + b = 0 разрешимо радикалами, если либо его левая часть является произведением многочленов степени меньше 5 с рациональными коэффициентами, либо существуют два рациональных числа l и м такой, что

Корни разрешимой квинтики

Полиномиальное уравнение разрешимо радикалами, если его группа Галуа является разрешимой группой . В случае неприводимых квинтик группа Галуа является подгруппой симметрической группы S 5 всех перестановок пятиэлементного множества, которая разрешима тогда и только тогда, когда она является подгруппой группы F 5 порядка 20 , порожденной циклическими перестановками (1 2 3 4 5) и (1 2 4 3) .

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

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

где , дает четыре различных примитивных корня пятой степени из единицы.

Отсюда следует, что для записи всех корней разрешимой квинтики может потребоваться четыре различных квадратных корня. Даже для первого корня, который включает не более двух квадратных корней, выражение решений в терминах радикалов обычно очень сложно. Однако, когда квадратный корень не требуется, форма первого решения может быть довольно простой, как для уравнения x 5 - 5 x 4 + 30 x 3 - 50 x 2 + 55 x - 21 = 0 , для которого единственное реальное решение

Пример более сложного (хотя и достаточно маленького, чтобы быть записанным здесь) решения - единственный действительный корень x 5 - 5 x + 12 = 0 . Пусть a = 2 φ −1 , b = 2 φ и c = 45 , где φ =1+ 5/2это золотое сечение . Тогда единственное реальное решение x = −1,84208… дается формулой

или, что то же самое,

где y i - четыре корня уравнения четвертой степени

В более общем смысле, если уравнение P ( x ) = 0 простой степени p с рациональными коэффициентами разрешимо в радикалах, то можно определить вспомогательное уравнение Q ( y ) = 0 степени p - 1 , также с рациональными коэффициентами, такое, что каждый корень P является суммой р -х корней корней Q . Эти корни p-й степени были введены Жозефом-Луи Лагранжем , и их произведения на p обычно называют резольвентами Лагранжа . Вычисление Q и его корней можно использовать для решения P ( x ) = 0 . Однако эти корни p-степени не могут быть вычислены независимо (это даст корни p p –1 вместо p ). Таким образом, правильное решение должно выражать все эти p -корни через один из них. Теория Галуа показывает, что это всегда теоретически возможно, даже если полученная формула может оказаться слишком большой, чтобы ее можно было использовать.

Возможно, что некоторые из корней Q рациональны (как в первом примере этого раздела) или некоторые равны нулю. В этих случаях формула для корней намного проще, как для разрешимой квинтики де Муавра

где вспомогательное уравнение имеет два нулевых корня и сводится, вычитая их, к квадратному уравнению

так что пять корней квинтики де Муавра задаются формулой

где y i - любой корень вспомогательного квадратного уравнения, а ω - любой из четырех примитивных корней 5-й степени из единицы . Это можно легко обобщить для построения разрешимой септической и других нечетных степеней, не обязательно простых.

Другие решаемые квинтики

Существует бесконечно много решаемых квинтик в форме Бринга-Джеррарда, параметризованных в предыдущем разделе.

До масштабирования переменной существует ровно пять решаемых квинтик формы , которые (где s - коэффициент масштабирования):

Пакстон Янг (1888) привел ряд примеров разрешимых квинтик:

Корень:

Бесконечная последовательность разрешимых квинтик может быть построен, корни которого являются суммами пкорни из единицы , с п = 10 к + 1 является простым числом:

Корнеплоды:
Корень:
Корень:
Корень:
Корень:

Также существуют два параметризованных семейства разрешимых квинтик: квинтика Кондо – Брумера,

и семейство в зависимости от параметров

куда

Казус неснижаемости

Аналогично кубическим уравнениям существуют разрешимые квинтики с пятью действительными корнями, все решения которых в радикалах содержат корни комплексных чисел. Это casus unducibilis для квинтики, о которой говорится в Dummit. В самом деле, если у неприводимой квинтики все корни действительны, никакой корень не может быть выражен только в терминах вещественных радикалов (что верно для всех полиномиальных степеней, не являющихся степенями двойки).

Помимо радикалов

Примерно в 1835 году Джеррард продемонстрировал, что квинтики могут быть решены с помощью ультрарадикалов (также известных как радикалы Бринга), единственного действительного корня из t 5 + t - a = 0 для действительных чисел a . В 1858 году Чарльз Эрмит показал, что радикал Бринга можно охарактеризовать в терминах тета-функций Якоби и связанных с ними эллиптических модулярных функций , используя подход, аналогичный более известному подходу к решению кубических уравнений с помощью тригонометрических функций . Примерно в то же время Леопольд Кронекер , используя теорию групп , разработал более простой способ получения результата Эрмита, как и Франческо Бриоски . Позже Феликс Кляйн придумал метод, который связывает симметрии икосаэдра , теорию Галуа и эллиптические модульные функции, представленные в решении Эрмита, дав объяснение, почему они вообще должны появляться, и разработал свое собственное решение в терминах из обобщенных гипергеометрических функций . Подобные явления происходят в степенях 7 ( септические уравнения ) и 11 , как изучал Кляйн и обсуждал в разделе «Икосаэдрическая симметрия» § Связанные геометрии .

Решение с радикалами Bring

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

к нормальной форме Бринга – Джеррарда x 5 - x + t = 0 .

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

Подробную информацию об этих и некоторых связанных решениях см. В разделе «Радикальное внедрение».

Приложение к небесной механике

Решение местоположения лагранжевых точек астрономической орбиты, на которой массы обоих объектов не являются незначительными, включает решение квинтики.

Точнее, местоположения L 2 и L 1 являются решениями следующих уравнений, где гравитационные силы двух масс на третью (например, Солнце и Земля на спутниках, таких как Gaia на L 2 и SOHO на L 1 ) обеспечить центростремительную силу спутника, необходимую для нахождения на синхронной орбите с Землей вокруг Солнца:

Знак ± соответствует L 2 и L 1 соответственно; G - гравитационная постоянная , ω - угловая скорость , r - расстояние от спутника до Земли, R - расстояние от Солнца до Земли (то есть большая полуось орбиты Земли), а m , M E и M S равны соответствующие массы спутника, Земли и Солнца .

Используя третий закон Кеплера и переставляя все члены, получаем квинтику

с участием:

.

Решение этих двух квинтик дает r = 1,501 x 10 9 м для L 2 и r = 1,491 x 10 9 м для L 1 . Солнце-Земля лагранжиан точек L 2 и L 1 , как правило , дается в 1,5 млн км от Земли.


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

Примечания

использованная литература

  • Шарль Эрмит, "Sur la résolution de l'équation du cinquème degré", uvres de Charles Hermite , 2 : 5–21, Gauthier-Villars, 1908.
  • Феликс Клейн, Лекции об икосаэдре и решении уравнений пятой степени , пер. Джордж Гэвин Моррис, Trübner & Co., 1888. ISBN  0-486-49528-0 .
  • Леопольд Кронекер, "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 , 46 : 1: 1150–1152 1858.
  • Блэр Спирман и Кеннет С. Уильямс, "Характеристика разрешимых квинтик x 5 + ax + b , American Mathematical Monthly" , 101 : 986–992 (1994).
  • Ян Стюарт, Теория Галуа, 2-е издание, Чепмен и Холл, 1989. ISBN  0-412-34550-1 . Обсуждает теорию Галуа в целом, включая доказательство неразрешимости общей квинтики.
  • Йорг Беверсдорф , Теория Галуа для начинающих: историческая перспектива , Американское математическое общество, 2006. ISBN  0-8218-3817-2 . Глава 8 ( Решение уравнений пятой степени на Wayback Machine (архивировано 31 марта 2010 г.)) дает описание решения разрешимых квинтик x 5 + cx + d .
  • Виктор С. Адамчик и Дэвид Дж. Джеффри, "Полиномиальные преобразования Чирнхауса, Бринга и Джеррарда", Бюллетень ACM SIGSAM , Vol. 37, № 3, сентябрь 2003 г., стр. 90–94.
  • Эренфрид Вальтер фон Чирнхаус, «Метод удаления всех промежуточных членов из данного уравнения», Бюллетень ACM SIGSAM , Vol. 37, № 1, март 2003 г., стр. 1–3.
  • Лазард, Дэниел (2004). «Решение квинтики в радикалах». В Олаве Арнфинне Лаудале ; Рагни Пиене (ред.). Наследие Нильса Хенрика Абеля . Берлин. С. 207–225. ISBN 3-540-43826-2. Архивировано из оригинального 6 -го января 2005 года.
  • Тот, Габор (2002), Конечные группы Мебиуса, минимальные погружения сфер и модули

внешние ссылки