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

[nnosipov]

Slava в сообщении #1440728 писал(а):

Оказывается есть многочлены Чебышева первого и второго рода.

И третьего, и четвертого тоже есть.

[dmd]

Любое произвольное уравнение 5-й степени можно преобразованиями Чирнгауза и Бринга свести к триному с одним параметром, например к такому $x^5+x+a=0$. А любой трином произвольной степени с одним параметром решается по формулам Меллина/Лагранжа при помощи одного суммирования/интегрирования - математически точно и практически проверяемо.

Очень познавательная статья более 100-летней давности на эту тему Л. Лахтинъ. Выраженiе корней трехчленнаго алгебраическаго уравненiя посредствомъ опредѣленныхъ интеграловъ (1890).

Практическая проверка формулы из этой статьи в Вольфраматике:

a = RandomInteger[{-48, 48}]; m = RandomInteger[{3, 48}]; n = RandomInteger[{1, m - 2}];
Print["\nEquation: z^", m, If[a > 0, " - ", " + "], Abs[a], "*z^", n, " - 1 = 0\n"];
Print["Ordinary solution:"];
Print[z /. (z^m - a z^n - 1 // NSolve) // Sort, "\n"];
Print["Solution with definite integration:"];
S = Table[
   Exp[2 j Pi I/m] +
  1/(2 Pi I) (Exp[(2 j + 1) Pi I/m]*NIntegrate[Log[1 + a t^n/(1 + t^m) Exp[(2 j + 1) Pi I n/m]], {t, 0, Infinity}, MaxRecursion -> 200] - 
                  Exp[(2 j - 1) Pi I/m]*NIntegrate[Log[1 + a t^n/(1 + t^m) Exp[(2 j - 1) Pi I n/m]], {t, 0, Infinity}, MaxRecursion -> 200]),
   {j, 0, m - 1}
   ];
Print[S // Sort];

Произвольное уравнение 6-й степени тоже вроде бы сводимо к триному с одним параметром. Но вот минимальное сведение произвольного уравнения 7-й степени - это либо трином с двумя параметрами (например $x^7+ax+b=0$), либо квадрином тоже с двумя параметрами (например $x^7+ax^2+bx+1=0$). А два параметра по формулам Меллина означает двойное суммирование/интегрирование. Формулы Меллина "математически точны" вообще для любого произвольного алгебраического уравнения, сколько параметров в уравнении - столько и вложенных сумм в формуле Меллина. Но вот любая попытка практически проверить формулы Меллина с хотя бы двойным суммированием приводит к расходящимся вычислениям.

[Утундрий]

nnosipov в сообщении #1440801 писал(а):

Slava в сообщении #1440728 писал(а):

Оказывается есть многочлены Чебышева первого и второго рода.

И третьего, и четвертого тоже есть.

[nnosipov]

Утундрий
В.И. Лебедев. Функциональный анализ и вычислительная математика. М.: Физматлит, 2000. Стр. 87.

[novichok2018]

У Лахтина есть и книги по теме, цитируются в книге Соловьёва. Никто их никогда не видел, вот бы их отсканировали, у кого есть доступ. Хорошо что есть статьи, спасибо коллегам с матнета, которые отсканировали древние номера матсборника.
Методы Лагранжа и Меллина на формулах разной природы основаны, у одного гипергеометрические ряды, которые потом назовут рядами Горна, у другого - именная формула Лагранжа, тоже приводящая к гипергеометрическим решениям.
Сходимость в очевидной области у Меллина доказана. Точные области сходимости его рядов названы разными именами, но не знаю, найдены ли они даже для двойных рядов.

[B@R5uk]

Есть ещё метод Штурма. Про него можно почитать в книжке Шафревич И.Р. - О решении уравнений высших степеней (методом Штурма). Но это уже в сторону от темы.

[Skipper]

dmd в сообщении #1440823 писал(а):

Любое произвольное уравнение 5-й степени можно преобразованиями Чирнгауза и Бринга свести к триному с одним параметром, например к такому $x^5+x+a=0$.

dmd в сообщении #1440823 писал(а):

Произвольное уравнение 6-й степени тоже вроде бы сводимо к триному с одним параметром.

Что значит "свести"?

Возьмём например, произвольное уравнение 6-й степени:
$x^6 + a \cdot x^5 + b \cdot x^4 + c \cdot x^3 + d \cdot x^2 + f \cdot x + g = 0$ ,
Как тут подстановкой другого выражения, "избавиться" от члена $a \cdot x^5 $ ,
это очевидно.

Кто то знает, как избавиться от всех 5-ти коэффициентов (и 4-х членов), чтобы получилось уравнение с неким $y$ , такое что:

$y^6 + y + h = 0$ ?

И тогда вычислив это $y$ , и подставив в некую большую формулу где могут быть арифметические
выражения с этим $y$ (+ - * /), и некие функции куда это $y$ входит (выражения с радикалами, а то и вовсе
логарифмические, тригонометрические и другие функции),
мы тем самым получим общую формулу для исходного $x$ ?

тогда получается вектор из 5-ти вещественных параметров-коэффициентов единственным образом
отображается на одно вещественное число:

{$a, b, c , d, f, g$} $\to$ $h$ ,

и таким образом мы можем получить формулу с известными вычислимыми функциями для решения
всех уравнений 6-й степени, а вместе с ней и всех степеней ниже?

Если это так, то очень интересно. Формула- просто клад для математики.

-- Чт апр 17, 2025 14:44:13 --

dmd в сообщении #1440823 писал(а):

Но вот минимальное сведение произвольного уравнения 7-й степени - это либо трином с двумя параметрами (например $x^7+ax+b=0$), либо квадрином тоже с двумя параметрами (например $x^7+ax^2+bx+1=0$). А два параметра по формулам Меллина означает двойное суммирование/интегрирование. Формулы Меллина "математически точны" вообще для любого произвольного алгебраического уравнения, сколько параметров в уравнении - столько и вложенных сумм в формуле Меллина. Но вот любая попытка практически проверить формулы Меллина с хотя бы двойным суммированием приводит к расходящимся вычислениям.

Значит практически применима, общая формула, максимум- для уравнений 6-й степени ?
То есть, все уравнения до 4-й степени разрешимы в радикалах,
а ещё все 5-й и 6-й степени разрешимы не в радикалах, так в неких других функциях, с существующей некой общей формулой, зависящей от коэффициентов уравнения.

Правильно ли я тут всё понял, если правильно, то было бы интересно изучить всю эту тему..

[Евгений Машеров]

B@R5uk в сообщении #1441399 писал(а):

Есть ещё метод Штурма.

(Оффтоп)

Герои штурма Лиувилля

Но это действительно в сторону, это численное решение, а не "в замкнутом виде".

[Евгений Машеров]

novichok2018 в сообщении #1440968 писал(а):

У Лахтина есть и книги по теме, цитируются в книге Соловьёва. Никто их никогда не видел, вот бы их отсканировали, у кого есть доступ.

Если кинете библиоссылку - попробую сделать заявку на сканирование...

[Skipper]

dmd в сообщении #1440823 писал(а):

Любое произвольное уравнение 5-й степени можно преобразованиями Чирнгауза и Бринга свести к триному с одним параметром, например к такому $x^5+x+a=0$. А любой трином произвольной степени с одним параметром решается по формулам Меллина/Лагранжа при помощи одного суммирования/интегрирования - математически точно и практически проверяемо.

Сегодня прочитал, что это возможно. Тогда аналогичными преобразованиями, любое уравнение 4-й степени,
сводится к уравнению типа,
$x^4+x+a=0$
ну это ещё ладно. Интересно то, что избавиться как мне кажется, возможно и от других ("промежуточных", то есть от $x^4$ и $a$ избавиться нельзя) членов многочлена,
в частности, свести уравнение к типу
$x^4+x^2+a=0$ (да хоть и к типу $x^4+bx^2+a=0$ )
и получить легко решаемое, би-квадратное уравнение! Только в случае всех 4-х вещественных корней,
там должны получаться радикалы с комплексными значениями, точнее- корни квадратные из отрицательных
чисел. Но в принципе, парадокса от сведения уравнения 4-й степени к уравнению по сути, 2-й степени,
точнее, биквадратному, не возникает. Ведь уравнение 4-й степени в любом случае решается в радикалах,
с комплексными значениями.

dmd в сообщении #1440823 писал(а):

Любое произвольное уравнение 5-й степени можно преобразованиями Чирнгауза и Бринга свести к триному с одним параметром, например к такому $x^5+x+a=0$.

Тут тоже, от каких бы мы ни избавились промежуточных слагаемых, проблем не возникает.

Но,

dmd в сообщении #1440823 писал(а):

Произвольное уравнение 6-й степени тоже вроде бы сводимо к триному с одним параметром.

вот тут реально кажется это парадоксальным.
Если это так, то избавиться мы можем от таких промежуточных членов, чтобы получилось
триквадратное (или бикубическое) уравнение, а они станут разрешимыми в радикалах.
Что опровергнуто теоремой Абеля. Потому хотелось бы именно почитать, как действительно,
сводится уравнение 6-й степени, к триному с одним параметром. (да хоть с двумя),

[пианист]

Skipper в сообщении #1684387 писал(а):

да хоть с двумя

Вроде, свести к уравнению с двумя параметрами можно.
Детали тут: https://eudml.org/doc/182637

[Skipper]

Интуитивно догадываюсь, что
любое произвольное уравнение 6-й степени можно преобразованиями свести к триному с параметрами, к такому типу :
$x^6+bx+a=0$ ,
и для этого придётся решать систему уравнений для нахождения преобразующих коэффициентов,
такую, которая потребует максимум, решения уравнения 4-й степени.

Но чтобы произвольное уравнение 6-й степени можно было преобразованиями свести к триному с параметрами, к такому типу :
$x^6+cx^2+a=0$ , (и вместе с тем получить би-кубическое уравнение решаемое в радикалах),
то для этого придётся решать систему уравнений для нахождения преобразующих коэффициентов,
такую, которая потребует максимум, решения уравнения 5-й степени.
Которое как раз и не решается в радикалах.

Доказать я сейчас как раз и не могу, но было бы интересно. Это просто "интуитивное" наблюдение,
в первом случае мы избавляемся от членов с 5-й, 4,3,2-й степенями. А во втором случае- с 5-й, 4,3,1-й степенями.
"Разброс" в 5 степеней получается.

[пианист]

пианист в сообщении #1684397 писал(а):

Детали тут: https://eudml.org/doc/182637

В сети есть русский перевод, если что, в сборнике https://www.koob.ru/gilbert_david/d_gil ... _trudy_2_t