Математически точные решения уравнений 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 писал(а):

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

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