Проблема решения алгебраических уравнений интересует математиков
уже несколько тысячелетий. Однако лишь в XVI веке Н. Тарталья, Д. Кардано и Л. Феррари нашли решения уравнений третьей и четвертой степеней
в радикалах. Надежду решить в радикалах уравнения более высоких степеней развеяли Н. Абель и Э. Галуа в начале XIX века, доказав невозможность
найти формулы, выражающие при помощи радикалов решения любого уравнения степени n > 5 через его коэффициенты. Дальнейшие продвижения в
теории алгебраических уравнений осуществлялись методами трансцендентного анализа. Идею аналитического решения предложил Ф. Виет. Воплощать
её в жизнь довелось целой плеяде математиков: Ш. Эрмиту, Л. Кронекеру,
Я. Меллину и др.
В современной математике существует ряд фундаментальных проблем,
вокруг которых сосредоточены задачи, связанные с исследованием свойств
алгебраических функций, о чем свидетельствуют работы [1], [2], [6], [8], [9],
[10].
Бакалаврская работа посвящена методу нахождения кратных решений
систем алгебраических уравнений. Кратные корни системы уравнений (в частности, одного уравнения) характеризуются тем, что в них система обращается в нуль вместе со своим якобианом (или производной, в случае одного
уравнения). Другими словами, корень системы может быть кратным тогда и
только тогда, когда коэффициенты системы принадлежат множеству нулей
её дискриминанта. В недавней работе [1] доказано, что на некоторых стратах
дискриминантного множества кратные корни общего алгебраического уравнения выражаются рациональным образом через коэффициенты уравнения.
Аналогичные выражения имеют место быть и для кратных решений систем
n полиномиальных уравнений от n неизвестных.
Цель работы - изучить метод нахождения рациональных выражений
4для кратных решений алгебраических уравнений и систем. Указанный метод основан на вычислении результантов многочлена и его производных, в
частности, дискриминанта уравнения или системы. Поэтому для достижения
обозначенной цели необходимо:
- уметь вычислять результант двух полиномов,
- знать определение дискриминанта алгебраического уравнения и системы алгебраических уравнений,
- иметь представление о стратификации дискриминантного множества,
- знать, понимать и уметь применять на практике теоремы о параметризации дискриминантного множества уравнения (системы уравнений),
- уметь применять метод нахождения кратных решений алгебраических
уравнений и систем, изложенный в работе [1].
Бакалаврская работа состоит из трех разделов. Разделы 1 и 2 содержат
классические факты теории алгебраических уравнений, связанные с решением уравнений в радикалах [3]. В Разделе 3 изложен метод нахождения кратных решений алгебраических уравнений и систем, основанный на результатах
современных работ [1], [2], [4], [12]. Все изложенные в работе методы исследования решений уравнений и систем сопровождены примерами. Вычисления
проведены с использованием системы компьютерной алгебры MAPLE 12.
В бакалаврской работе изучен метод нахождения кратных решений алгебраических уравнений и систем, основанный на вычислении результантов
многочлена и его производных (дискриминанта уравнения или системы). С
целью освоения указанного метода изучены следующие аспекты теории алгебраических уравнений:
- дискриминантное множество системы полиномов,
- стратификация дискриминантного множества алгебраического уравнения,
- параметризация дискриминантного множества уравнения и системы
уравнений.
Все изложенные в работе методы исследования решений уравнений и
систем сопровождены примерами.
Антипова, И.А. Рациональные выражения для кратных корней алгебраических уравнений / И.А. Антипова, Е.Н. Михалкин, А.К. Цих // Матем.
сб. — 2018. — Т. 209, № 27. — С. 3-30.
[2] Антипова, И.А. Дискриминантное множество системы n полиномов Лорана от n переменных / И.А. Антипова, А.К. Цих // Сер. матем. — 2012. —
Т. 76, № 5. — С. 29-56.
[3] Курош, А.Г. Курс высшей алгебры : учебник / А.Г. Курош — Москва :
Наука, 1968.
[4] Михалкин, Е.Н. Сингулярные страты каспидального типа для классического дискриминанта / Е.Н. Михалкин, А.К. Цих // Матем сб. — 2015. —
№2. — C. 119-148.
[5] Birkeland, R. Uber die Aufl¨osung algebraischer Gleichungen durch ¨
hypergeometrische Funktionen / R. Birkeland // Math. Ztschr. — 1927. —
№26. — P. 566-578.
[6] Esterov, A. The discriminant of a system of equations / A. Esterov // Advances
in Math. — 2013. — V. 245. — P. 534-572.
[7] Hilbert, D. Uber die Singularit¨aten der Discriminantalflache / D. Hilbert // ¨
Math. Ann. — 1887. — P. 437–441.
[8] Katz, G. How Tangents Solve Algebraic Equations, or a Remarkable Geometry
of Discriminant Varieties / G. Katz // Expo. Math. — 2003. — V. 21. — P.
219-261.
28[9] Kurmann, S. Some remarks on equations defining coincident root loci / S.
Kurmann // Journal of Algebra. — 2012. — V. 352. — P. 223-231.
[10] Lee, H. Duality of Multiple Root Loci / H. Lee, B. Sturmfels // Journal of
Algebra. — 2016. — V. 446. — P. 499-526.
[11] Mellin, H.J. R´esolution de l’´equation alg´ebrique g´en´erale `a l’aide de la
fonction gamma / H.J. Mellin // C. R. Acad. Sci. Paris S´er. I Math. — 1921.
— V. 172. — P. 658-661.
[12] Passare, M. Algebraic equations and hypergeometric series / M. Passare, A.
Tsikh // Springer. — 2004. — P. 653-672.