УДК 517.55, 517.588
Некоторые формулы для решений триномиальных и тетраномиальных алгебраических уравнений
Евгений Н. Михалкин*
Институт математики, Сибирский федеральный университет, Свободный 79, Красноярск, 660041,
Россия
Получена 15.09.2011, окончательный вариант 30.10.2011, принята к печати 30.12.2011 Рассматриваются алгебраические уравнения с одним или двумя параметрами. Их решения представляются в виде линейной комбинации обобщенных гипергеометрических рядов. Используя этот факт, решения уравнений третьей и четвертой степеней выражаются нелинейным образом через гипергеометрический ряд Гаусса.
Ключевые слова: алгебраическое уравнение, гипергеометрический ряд Гаусса, обобщенный гипер-геометрический ряд.
Введение
Общее алгебраическое уравнение степени п простым преобразованием сводится к виду
уп + Х1УП1 + • • • + хруПр - 1 = 0, п > П1 > • • • > пр > 0. (1)
Обозначим через у(х) = у(х1,...хр) алгебраическую функцию, определяемую уравнением (1). Главным решением уравнения (1) называется ветвь у(х) вблизи х = 0 с условием У(0) = 1.
В настоящей работе рассматривается алгебраическое уравнение (1) при р = 1, т.е. триномиальное уравнение
уп + хут - 1 = 0. (2)
Доказывается формула для его решения в виде суммы обобщенных гипергеометрических рядов. Напомним, что обобщенным гипергеометрическим (неконфлуэнтным) рядом называется степенной ряд
_ Г(А) ... Г(в»-1) Г(к + ai) . .. Г(к + an) fc (3)
_ Г(«1)... Г(ап) к!Г(к + ft)... Г(к + вп-1)^
Следует отметить, что в [1] было найдено интегральное представление для решения (1) в виде интегрирования элементарной функции по компакту. В случае уравнения (2) была описана монодромия решения.
* mikhalkin@bk.ru © Siberian Federal University. All rights reserved
Теорема 1. Ветвь решения уравнения (2) с условием у(0) = 1 допускает представление в виде суммы рядов
_ п —1
V
п
1 п— г(в - ±±—5)
п хя х
= 0
51Г(1 - 1+—)
ая, ая + -1,. .., ая + ——1, Ъя, Ъя + ,. .., Ъя + ^—-
5 ' 5 1 —, ' ' 5 1 — ' 5 ' 5 1 п — —.' 7 5 ' п —
—1
г——— 1
п^п—11
ся, ся + 1,. .., 1,. .., с5 + п—1
5 ‘ 5 1 п ‘ ‘ ‘ 7 5 ' п
(- 1)—С (х)
где
ая =--------1-----1 ^я
п тп
Ъя =----------------
п п(п - т) ’ я п п
в 1 т—(п - т)п — п
Ся = - + -, С(х) = ---^--хп,
а символ 1 означает пропуск единицы. Указанные ряды сходятся в круге |х| <
тт (п - т)"
(4)
(5)
Аналогичная формула была доказана Биркеланом [2]. Он опирался на формулу Лагранжа для неявной функции, и вид его решения несколько отличается от нашего.
Отметим также, что в статье [3] было найдено решение ш(£) уравнения
шп - ш + £ = 0
(6)
в указанном классе функций.
Теорема 2([3]). Решение уравнения (6) с условием ш(0) = 0 представляется рядом
/ м М + 1 м + п - 1
шм(£) = п—1^п—2
пп М +1 М + 2 \ п — 1 ’ п — 1 ’
сходящимся в круге |£| <
п1
п
М + п - 1 п1
(п - 1)
п-1
(7)
Отметим и тот факт, что уравнение (6) сводится к уравнению
уп + ху - 1 = 0
(8)
е п
(т.е. к уравнению (2) при т = 1) с помощью замены у = — е п , х = п—1 . Таким обра-
зом, ряд (7), представляющий решение (6) в подходящем круге с центром в точке £ = 0,
посредством зависимости х = п-1 является решением (8) вне круга |х| <
т п (п - т) п
А ряды, о которых идет речь в теореме 1, являются аналитическим продолжением (7) из внешности указанного круга в сам круг.
Напомним, 'что похожая ситуация возникает и в случае гипергеометрического ряда Гаусса. Ряд 2-^1 (“(,ь я), сходящийся в круге |я| < 1, аналитически продолжается в его внешность суммой двух рядов Гаусса (см. [4]).
В статье также приводится применение теоремы 1 к уравнениям степеней 3 и 4. А именно, в разделе 2 корень кубического уравнения представляется в виде суммы двух рядов Гаусса. Показывается, что каждый из этих рядов совпадает с кубическим радикалом, участвующим в формуле Кардано.
1
1
п
п
п
п-1
п — 1
п
п
В разделе 3 рассматривается уравнение четвертой степени. Решение этого уравнения линейным образом выражается через обобщенный гипергеометрический ряд. Однако это решение представляется и нелинейным образом посредством функции Гаусса.
В разделе 4 приводится случай, когда уравнение с двумя параметрами сводится к уравнению, содержащему один параметр. Решение этого уравнения представляется в виде суммы функций Гаусса, но аргументом является рациональная функция переменных (ж[,ж2), которая принимает значение 1 в точности на дискриминантном множестве уравнения.
1. Доказательство теоремы 1
Воспользуемся интегральным представлением Меллина-Барнса (см. [5]), которое в случае уравнения (2) примет вид
„(x)=-L f Г< П - m >rw x-z dz.
yK J 2nin J Г(1 z +1)
° л У п 1 п 1 '
Re z= о1-
2m
Следуя статье [6], вычислим последний интеграл как сумму вычетов, расположенных слева от контура интегрирования. Тогда получим следующее разложение для y(x) :
y(x) = i v (-1)kГ (1+m4) xk
"h1 -“-mk+1) '
П
Далее, пользуясь формулой дополнения r(z)r(1 — z) = ----, перепишем полученный
sin nz
ряд:
1 ~ ( — l)fcW1 + Щ Г( “^k — -1) sin n — “^k + 1) k
y(x) = \ v ' Vn 1 n / V n_^_Vn_n_1 / =
ТГП < ^
nn ^—' k!
k=0
1 ~ Г (1 m) Г (k — 1) sin n (1 ^) ,
\ л V n 1 n / V n_______^_______V n 1 n / k /q\
nn ^ k! X ' (9)
k=0
К каждой из гамма-функций, а также к факториалу применим формулу умножения Гаусса-Лежандра
Р-1 / \
Л Г ( z +— j = (2п)2 (p-1)p2 -pzT(pz), p = 2, 3,4,..., r=0 V Р/
г=0
согласно которой упомянутые функции перепишутся в следующем виде:
к! = Г (и (к + 1АА = ( 1 ! к ]][ Г (к + ! + Г
\ \п и)) (2п)2("-[)и-2Г=о \и и и
Г (1 + тк N г ((к 1 ДА 1 г (к 1 г1
\ и У ут ^и + ти у ) (2п)2(т-1)т2--П г|=о Vи + ти + т
(к(и — т) — 1А ( (к 1
Г ^--- = Г (и — тп - —
n n( n — m)
n—m — 1
г п г(k—-г-Ч + Г2
— \ п п I п — т
(2п) 2(n—m—1)(n — m) 2—k num+n ^i=0 \n n(n — m) n — m
1
В результате (9) представится так:
72
у(х) = -
/— 3 1 — —( А1 + 1
упп2 т2 п (п — т) 2 + п
т—1 п—т—1
ПГ( к +_1_+ г—) гг г ( к__і +_
V п тп т / 11 \п п(п—т} п—т .
ЕП=0 Г2=^ ^ 7 „к . /1 тк \
--------------- ---------------------сп вт п - +---,
п —1 _ Кпп/
х> ------------п—----------------------------^п ,п п
к=о Пг (к + 1 + г' \п п
ппп
г=0
?тт(и ?т)п т
где С := С(ж) = -------------------------жп определено в (5). Отметим, что в полученном выражении
ип
к
каждая гамма-функция имеет вид Г(—+ ), где не зависит от к.
к к й
Теперь — представим в виде — = —+ 1, 0 ^ й ^ и — 1, тогда у(ж) запишется в виде
и и и
суммы и рядов
у(ж) ^ з 1 _ 1 / ч 1 +1 Х (10)
л/пи 2 т 2 п (и — т) 2 + п
т_1 п_т_1 /
п_[ ~ П Г(^ + тк + т + О П Г(" — п(п_т) + п-^ +1
Х У С п V —-----------------------:----—-------------------------------1С1
п—1 \ ГЛ п
8=0 г=о Г (^ + 1 + - + 1)
11 V п 1 п 1 п 1 /
-=0
Согласно определению гипергеометрического ряда нужно выделить в каждом из полученных рядов выражение
п — 1
п г(^ +1 + -)
11 \П п п /
-=0
т—1 п—т—1 / \
ПГ( 8 +_1__+ Іі) ГГ Г ( 8_1 І Г2 \
\п тп т/ 11 V п п(п—т} п—т I
Іі=0 І2 = 0 4 7
Учитывая тождества
(э 1 — 1 \ , ч 1 (т 1) і тз і (тт— 1 \
Г - +------+ — = (2п)2(т—1}т2“ — пГ --------+ _
=0 \п тп т) \ п п)
г— = 0
п—т— 1
П Г Ґ / 1 ч = (2п) 2 (п—т— 1}(п — т) 2 — ^ 8+п г( —- — — ^
=0 \п п(п — т) п — т) \ппу
Г 2=0
а также то, что
п— 1 /
— 1 - ^ \ — (п—1} —в— 1 |
) 2(п 1}п 8 2 —!,
п п п
,1 тэ Д чт/ . А1 тэ
йш п------1--------+ т/ = ( —1)т1 йіп п----------1---
п п / \п п
приходим к следующему представлению для у (ж):
1 ^ Г (т + 1) Г (^5 — 1) /тз 1
у(х) =-----------------------------V 1 п п> } п-^х8 8ІП Л + - х
пп —! V п п /
в=0 4
X
г=о
, а, а + -1,. .., а + ,6,6 + ,...,6 + п~т—1
тл / т’ т ’ ’ п—т ’ ’ п—т / 1\т/=
Х”Гп—^ с,с + 1,..., І.....С + п=1 ( — 1) С
' 1 Г). ' ' ' ' 1 Г).
пп
где значения а, 6, с находятся из (5).
Поясним, что пропуск единицы в последнем выражении появляется из-за того, что при г = и — й — 1 гамма-множитель в знаменателе (10) равен Г(1 + 1) = 1!, который выделяется отдельным множителем в определении обобщенного гипергеометрического ряда.
(те 1 \ . (те 1 \
Применив к произведению Г---------\— вт п \— в последнем выражении фори и и--и
мулу дополнения, мы убеждаемся в справедливости (4).
Для полного доказательства теоремы осталось найти область сходимости полученных
рядов. Известно, что областью сходимости ряда (3) является единичный круг |г| < 1
(см. [4]). Отсюда следует, что ряды, о которых идет речь в формулировке теоремы, схо-и
дятся при |ж| < ——--------—-т. п
т п (и — т) п
2. Случай кубического уравнения: соотношение с формулой Кардано
Рассмотрим кубическое уравнение
у3 + жу — 1 = 0. (11)
Согласно теореме 1 главное решение (11) представляется в виде суммы двух гипергеомет-рических рядов Гаусса
1 _ 1 3, 6
2 3
2 1
у(х) = 2*1 I 3^ 6 — ^х3 ) — ^ 2*1 ( 346 — -х3 I . (12)
4
27
С другой стороны, формула Кардано для корней (11) такая:
.. 3 1 /1 х3 3 1 /1 х3
у(х) = У2+У4+27 + \'2 V 4 + 27.
/1 ж3
Для определенности под радикалом д(ж) = у 4 + 27 будем рассматривать ветвь, удовле-
1 3
творяющую условию д(0) = —. Покажем, что при |ж| < — справедливы равенства
2 4 з
1 _ 1
3, 6
2
3 21
— 27х3 = V 2^1 + І7’ (13)
х
2^
V 3
—33 2*1 ( 346
— 27х1 = V 2 — V . (14)
Здесь под равенством однозначной и многозначной функций понимаем следующее. В ра-
з 1 1 ж3
дикале а(ж) := у 2 + V 4 + 27 из (13) рассматриваем ветвь с условием а(0) = 1, а в (14)
выбирается ветвь радикала в (ж) := у ^ — ^4+27, для которой в( — 1) > 0.
Очевидна справедливость равенств
а(0) = 1, в(0)=0. (15)
Нетрудно проверить, что а3 (х) и в3(х) удовлетворяют квадратному уравнению
3
*2(х) = ^(х) + 2-. (1б)
Вычислим сначала в(х). Для этого воспользуемся теоремой 2, согласно которой
21
36
1/ \ х
*3 (х) = — 3 2*1і 4 3 V 3
— — х3
— 27
В силу выполнения условия *( —1) > 0 следует, что
х /2 1 2-і (
' 3
в(х) = — 3 2*1 ( 346
— — х3 27
Равенство (14) доказано.
Теперь найдем представление в виде ряда для а(ж). Для этого воспользуемся формулой Биркелана [2], которая для г з принимает следующий вид:
*3 (х) 3 к=0 Г(3 — 2к)к! Ы •
3к
1 оо -Г( к) 3к
Очевидно, что *3 (0) = 1, тогда в силу (15) а(х) = - ^ 4 3 (-)
3 к=0 Г(3 — 2к)к! Ч3/
Представим полученный ряд в виде ряда Гаусса. Для этого к каждой из гамма-функций применим формулу дополнения, в результате а(ж) запишется так:
а(ж) = — 1 V Г(2к —23> (— 2)“
з ^ Г(к + 3)*Л з1
Теперь к гамма-функции, стоящей в числителе, применим формулу двойного аргумента (которая является частным случаем формулы Гаусса-Лежандра)
Г(2г) = 22" _ 1п _ 2 Г(г)Г Г г +2
В результате последний ряд примет вид
1 1 4
— - х3 27
Равенство (13), а вместе с ним и формула Кардано доказаны.
3. Уравнение четвертой степени: нелинейная связь с функцией Гаусса
Рассмотрим уравнение четвертой степени
г4 + жг — 1 = 0. (17)
В этом параграфе будет показано, что решение (17) представимо в классе рядов Гаусса 2*1. Из теоремы 1 следует, что главное решение (17) допускает представление
г(ж)= з*2
7 _ 1 1
12 , 12, 4
1 3
2 , 4
33 М ж * — — ж | — - 3*2
44
4
115 6 , 2 , 6 3 5 4, 4
з3
44‘
— - жМ — 32 3 *2
_5 3 13
12 , 4 , 12 5 3 4, 2
33
34
— —й~ж
44
Покажем, что каждый из указанных рядов выражается через 2*1.
Утверждение. Для главного решения уравнения (17) справедливо представление
г(ж)
2*1
7 _ 1
24, 24
_33 4
44 ж
2*1
1 2 3’ 3
33 4 ж2
— 44 ж —32
2*1
5 13
24 7 24
_ 33 4
44 ж
Доказательство. Справедливость соотношений
3*2
7 _ 1 1
12 , 12, 4
1 3
2 , 4
44 ж
2*1
7 _ 1
24, 24
44 ж
3*2
5 3 13
12 , 4, 12 5 3 4 , 2
44 ж
2 *1
А 13
24 7 24
44 ж
следует из тождеств Клаузена ([7] либо см. [4], 186). Докажем равенство
3*2
115 6 , 2 , 6
3 5
4 , 4
44 ж
2*1
1 2 3’ 3
33 ___ _____
44 ж
(18)
Для этого рассмотрим уравнение 8г3 + 8г = ж2, которое перепишем в виде
ж2
(*г)3 — *г + *— = 0,
8
как указывается в теореме 2. Применяя к нему (7), при ц =1 получаем
ж2 /12 г(ж> = Т 2*М3}3
— —гж
44
(19)
А после применения (7) к этому же уравнению при ц = ^ приходим к следующему пред-
ставлению для г2 (ж):
Из (19) и (20) следует (18).
44 ж
(20)
4. Замечание к тетраномиальному кубическому уравнению
Рассмотрим кубическое уравнение с двумя параметрами
г3 + ж1г2 + ж2г — 1 = 0.
(21)
2
2
2
ж
4
2
3
3
3
3
2
3
3
3
3
3
3
3
3
3
3
Известно, что такое уравнение с помощью элементарных преобразований может быть сведено к уравнению с одним параметром. Действительно, с помощью замены переменной ж1
г = ад-----сведем уравнение (21) к уравнению
3 х1 2 3 1
ад + ( х2 —— ) ад + ( 27х1 — 3х1х2 — 1 ) = 0.
тг м 3, 2 3 1
Далее "растяжением" переменной ад = — у 27х3 — 3х1х2 — 1 у последнее уравнение сводит-
х2
ся к (11), в котором х = х(х1,х2) =
2*1
(27 х3 — 1 х1х2 — 1)2 Решая это уравнение по формуле (12), получим
у(х1,х2) =
1 1 4(х1 — 3х2)3 \ х2 — 3х2 (1, § 4(х2 — 3х2)3
63
2
3
(2х3 — 9х1х2 — 27)2 I 3(2х3 — 9х1х2 — 27)2 I 4 (2х3 — 9х1 х2 — 27)
После обратной замены корень уравнения (21) запишется так:
г(хьх2) = — "31 — 27х1 — 3х1х2 — 1 у(хьх2), (22)
где выражение для у(х1,х2) определено выше.
Ряды Гаусса, участвующие в решении (21), сходятся абсолютно при условии 4(х1 — 3х2)3
(2х31 — 9х1 х2 — 27) 2
^ 1. Уровень
4(х2 — 3х2)3
(2ж3 — 9ж1ж2 — 27)2
определяет дискриминантное множество уравнения (21):
4ж| — ж^2 — 4ж1 + 18ж1ж2 + 27 = 0.
Напомним, что дискриминантным множеством V уравнения (1) называется совокупность тех значений (ж1,... ,жр), при которых (1) имеет кратные корни. (О параметризации дискриминантного множества см. [8].)
Известно значение 2*1 (^ ^ при г =1:
* /а,6 2*1
= Г(С)Г(С — а — 6)
Г(с — а)Г(с — 6)
Поэтому 2^1 ^ 6' 5|^ =П6)ЩУ = ^(Ч5 І1) = ГфЩУ =
эти значения в (22), выпишем формулу для решения уравнения (21) при (х1,х2) Є V:
*(х1,х2) =----1-------т= \/2х? — 9х1х2 — 27 +---21 = %/2.
^ ь 2 3 3^2У 1 1 2 3^2х1 — 9х1х2 — 27
Работа выполнена при финансовой поддержке гранта Президента РФ (грант НШ №7347.2010.1).
2
с
Список литературы
[1] Е.Н.Михалкин, О решении общих алгебраических уравнений с помощью интегралов от элементарных функций, Сиб. матем. журн., 47(2006), №2, 365-371.
[2] R.Birkeland, Uber die Auflosung algebraischer Gleichungen durch hypergeometrische Funk-tionen, Math. Ztschr., 26(1927), 566-578.
[3] А.М.Переломов, Гипергеометрические решения некоторых алгебраических уравнений, Теоретическая и математическая физика, 140(2004), №1, 3-13.
[4] Г.Бейтмен, А.Эрдейи, Высшие трансцендентные функции. М., Наука, 1973.
[5] H.J.Mellin, Resolution de l‘equation algebrique generale a l’aide de la fonction gamma, C. R. Acad. Sci. Paris Ser. I Math, 172(1921), 658-661.
[6] А.Ю.Семушева, А.К.Цих, Продолжение исследований Меллина о решении алгебраических уравнений, Комплексный анализ и дифференциальные операторы (к 150-летию С.В. Ковалевской), КрасГУ, 2000, 134-146.
[7] T.Clausen, Uber die Falle, wenn die Reihe von der Form y = 1 + у • вx + a1ca+1 • вв±1 x2+
etc. ein quadrat von der Form z = 1 + Ц- • в ^x + a ,1a2+1 • x2+etc. hat,
1 Y t 1'2 Y '7 +1 с -t +1
Journ. Reine Ang. Math, 3(1828), 89-91.
[8] M.Passare, A.Tsikh, Algebraic equations and hypergeometric series, The legacy of Niels Henrik Abel, Springer: Berlin-Heidelberg-New York, 2004, 653-672.
[9] V.Barsan, G.A.Nemnes, Physical relevance of the Passare-Tsikh solution of the principal quintic equation, Journ. of Adv. Research in Phys, 2(1)(2011), 1-6.
Certain Formulas for Solutions to Trinomial and Tetranomial Algebraic Equations
Evgeny N. Mikhalkin
Algebraic equations with one and two parameters are considered. We prove that solutions to such equations can be represented as linear combination of generalized hypergeometric series. This result allows to
express (nonlinearly) solutions to cubic and quartic equations by Gauss hypergeometric series.
Keywords: algebraic equation, Gauss hypergeometric series, generalized hypergeometric series.