Шестнадцатая проблема Гильберта
Шестнадцатая проблема Ги́льберта — одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков.
Исходно называлась «Проблема топологии алгебраических кривых и поверхностей» (Шаблон:Lang-de). Впоследствии фактически разделилась на две похожие проблемы в разных областях математики:
- исследование взаимного расположения овалов вещественных алгебраических кривых степени (и аналогичный вопрос для алгебраических поверхностей);
- получение верхней оценки на число предельных циклов полиномиального векторного поля степени (и исследование их взаимного расположения).
Исходная постановка
Первая (алгебраическая) часть: Шаблон:Начало цитаты Максимальное число замкнутых и отдельно расположенных ветвей, которые может иметь алгебраическая кривая -го порядка, было определено Гарнаком {Math. Ann., 10 (1876), 189—192}. <…> Мне представляется интересным основательное изучение взаимного расположения максимального числа отдельных ветвей, так же, как и соответствующее исследование о числе, характере и расположении отдельных полостей алгебраической поверхности в пространстве; ведь до сих пор не установлено, каково в действительности максимальное число полостей поверхности четвёртой степени в трёхмерном пространстве.[1]. Шаблон:Oq Шаблон:Конец цитаты
Вторая (дифференциальная) часть: Шаблон:Начало цитаты В связи с этим чисто алгебраическим вопросом я затрону ещё один, который, как мне кажется, должен быть решён с помощью упомянутого метода непрерывного изменения коэффициентов <…>, а именно, вопрос о максимальном числе и расположении предельных циклов Пуанкаре для дифференциального уравнения первой степени вида
где , — целые рациональные функции -й степени относительно , , или, в однородной записи,
где , , — целые рациональные однородные функции -й степени относительно , , , которые и нужно определять как функции параметра .[1] Шаблон:Oq Шаблон:Конец цитаты
История первой части
К моменту доклада Гильберта Ньютоном и Декартом были получены[2] топологические описания кривых степени 3 и 4, а доказанная Гарнаком теорема позволяла оценить число компонент связности кривой: оно не могло превосходить , где — её род.
В докладе Гильберт сообщил: Шаблон:Quote
Однако, как было обнаружено[3] в 1970-х годах Дмитрием Гудковым, также возможным является случай, когда внутри и вне одной кривой находятся по 5 овалов — случай, который Гильберт считал невозможным. Анализируя свои построения, Гудков высказал гипотезу, утверждавшую для -кривых чётной степени сравнимость по модулю 8 с числом эйлеровой характеристики множества точек проективной плоскости, в которых многочлен, задающий кривую, положителен, при условии, что знак этого многочлена выбран так, что ориентируемо. В частности, это объясняло, что в трёх реализующихся типах -кривых степени 6 числа овалов внутри, 1, 5 и 9, идут через 4.
При эта гипотеза была доказана самим Гудковым. В общем случае она была доказана Владимиром Арнольдом[4] в ослабленной форме сравнения по модулю 4, а затем Владимиром Рохлиным[5][6] в полной общности, при рассмотрении специальным образом построенных четырёхмерных многообразий[3].
Построение различных примеров также привело Олега Виро к созданию техники, позже названной склейкой Виро, позволяющей «склеивать из кусочков с заданным поведением» алгебраические кривые.
В 1972—1976 годах Вячеслав Харламов дал решение частного случая, касающегося количества компонент и топологии алгебраических поверхностей четвёртого порядка в трёхмереном проективном пространстве. Шаблон:Дополнить раздел
История второй части
Индивидуальная теорема конечности
Первым шагом на пути к исследованию шестнадцатой проблемы Гильберта в полной общности должна была стать индивидуальная теорема конечности: полиномиальное векторное поле на плоскости имеет лишь конечное число предельных циклов. Эта теорема была опубликована в 1923 году в работе французского математика Анри Дюлака[7] и долгое время считалась доказанной.
В 1980-х годах Юлием Ильяшенко был обнаружен существенный пробел в доказательстве Дюлака[8][9], и вопрос индивидуальной конечности оставался открытым до 1991—92 года, когда Ильяшенко[10] и Экаль[11] одновременно и независимо, используя разные подходы, дали на него положительный ответ (изложение полного доказательства потребовало от каждого из них написания отдельной книги)[12].
Стратегия Петровского — Ландиса
Квадратичные векторые поля
Ослабленные версии проблемы
См. также
Примечания
Литература
- В. И. Арнольд, Что такое математика? МЦНМО, 2002; с. 39-45.
- М. Э. Казарян, Тропическая геометрия, записки лекций.
- Ю. С. Ильяшенко, Столетняя история 16-й проблемы Гильберта. В сборнике «Глобус: Общематематический семинар. Вып. 1», М.: МЦНМО, 2004. // Centennial history of Hilbert’s 16th problem, Bull AMS, v 39, no 3, 2002, 301—354.
- Проблемы Гильберта. Сб. под ред. П. С. Александрова. М.: Наука, 1969.
Шаблон:Rq Шаблон:Проблемы Гильберта
- ↑ 1,0 1,1 Перевод доклада Гильберта с немецкого — М. Г. Шестопал и А. В. Дорофеева, опубликован в книге Шаблон:Книга Шаблон:Cite web
- ↑ В. И. Арнольд, Что такое математика? МЦНМО, 2002; с. 39.
- ↑ 3,0 3,1 В. И. Арнольд, Что такое математика? МЦНМО, 2002; с. 43.
- ↑ В. И. Арнольд, «О расположении овалов вещественных плоских алгебраических кривых, инволюциях четырёхмерных гладких многообразий и арифметике целочисленных квадратичных форм», Функц. анализ и его прил., 5:3 (1971), 1-9.
- ↑ В. А. Рохлин, «Доказательство гипотезы Гудкова», Функц. анализ и его прил., 6:2 (1972), 62-64.
- ↑ В. А. Рохлин, «Сравнения по модулю 16 в шестнадцатой проблеме Гильберта», Функц. анализ и его прил., 6:4 (1972), 58-64.
- ↑ Dulac, H. Sur les cycles limits. Bull. Soc. Math. France, 51: 45-188 (1923); // русский перевод: Дюлак А. О предельных циклах.— М.: Наука, 1980
- ↑ Ильяшенко Ю. С. О проблеме конечности числа предельных циклов полиномиальных векторных полей на плоскости.— УМН, 1982, т. 37, вып. 4, с. 127.
- ↑ Ю. С. Ильяшенко. «Мемуар Дюлака „О предельных циклах“ и смежные вопросы локальной теории дифференциальных уравнений», УМН, 40:6(246) (1985), 41-78
- ↑ Yu. Ilyashenko, Finiteness theorems for limit cycles, American Mathematical Society, Providence, RI, 1991.
- ↑ J. Ecalle, Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac, Hermann, Paris, 1992.
- ↑ Шаблон:Cite web