16-я проблема Гильберта

16-я проблема Гильберта — одна из 23 проблем, сформулированных немецким математиком Давидом Гильбертом на II Международном конгрессе математиков в Париже в 1900 году. Она относится к области качественной теории дифференциальных уравнений и алгебраической геометрии и считается одной из самых сложных и до сих пор полностью не решённых проблем современной математики. Проблема состоит из двух частей, касающихся взаимного расположения и топологии алгебраических кривых и предельных циклов полиномиальных векторных полей.

Формулировка

В своём докладе «Математические проблемы» Гильберт дал следующую формулировку 16-й проблемы:

Проблема взаимного расположения ветвей алгебраической кривой и проблема предельных циклов.

Первая часть (алгебраическая) касается топологии и взаимного расположения компонент (овалов) вещественной алгебраической кривой заданной степени. Вторая часть (динамическая) — о максимальном числе и расположении предельных циклов полиномиального векторного поля на плоскости.

Часть I: Алгебраические кривые

Постановка задачи

Рассматриваются вещественные алгебраические кривые, заданные уравнением \( P(x, y) = 0 \), где \( P \) — многочлен степени \( n \) с вещественными коэффициентами. Такая кривая может состоять из нескольких связных компонент (овалов), которые могут быть вложены друг в друга или располагаться отдельно. Гильберт поставил вопрос: каково максимально возможное число овалов для кривой данной степени \( n \) и как они могут быть расположены относительно друг друга (каковы возможные типы их взаимного расположения)?

История и результаты

Для малых степеней ответы известны:

• \( n = 1 \) (прямая): 0 овалов.
• \( n = 2 \) (коника: эллипс, гипербола, парабола): максимум 1 овал.
• \( n = 3 \) (кубика): максимум 1 овал.
• \( n = 4 \) (квартика): максимум 4 овала. В 1876 году немецкий математик Карл Харнак доказал, что для кривой степени \( n \) максимальное число овалов не превышает \( \frac{(n-1)(n-2)}{2} + 1 \). Для \( n = 4 \) это число равно 4. Харнак также показал, что эта оценка достижима (кривые Харнака).
• \( n = 6 \) (секстика): долгое время считалось, что максимум — 11 овалов (по формуле Харнака). Однако в 1969 году советский математик Дмитрий Гудков обнаружил, что для \( n = 6 \) возможны не только 11 овалов, но и 10, и 9, причём их расположение подчиняется определённым правилам (теорема Гудкова). Он доказал, что для чётных \( n \) число овалов имеет ту же чётность, что и \( \frac{n}{2} \).

Для \( n \ge 6 \) полная классификация взаимного расположения овалов неизвестна. В 1970-х годах Владимир Арнольд и другие математики разработали топологические методы, основанные на теории особенностей и когомологиях, которые позволили получить новые ограничения. Однако проблема в целом остаётся открытой.

Современное состояние

Первая часть 16-й проблемы решена лишь для малых степеней (\( n \le 6 \)). Для \( n \ge 7 \) известны только частичные результаты, в частности, гипотеза Арнольда о том, что для чётных \( n \) число овалов не может быть больше \( \frac{n^2}{4} + \text{const} \), но это не доказано. Исследования продолжаются в рамках теории вещественной алгебраической геометрии.

Часть II: Предельные циклы

Постановка задачи

Рассматривается система обыкновенных дифференциальных уравнений на плоскости: \[ \begin{cases} \dot{x} = P_n(x, y), \\ \dot{y} = Q_n(x, y), \end{cases} \] где \( P_n \) и \( Q_n \) — многочлены степени не выше \( n \). Предельный цикл — это замкнутая траектория (цикл), к которой стремятся соседние траектории при \( t \to +\infty \) или \( t \to -\infty \). Гильберт поставил вопрос: каково максимально возможное число предельных циклов для такой системы в зависимости от степени \( n \)?

История и результаты

• \( n = 1 \) (линейная система): предельных циклов нет (известно с XIX века).
• \( n = 2 \) (квадратичная система): долгое время считалось, что максимум — 3 цикла. В 1955 году советский математик Николай Баутин доказал, что для квадратичных систем возможно не более 3 циклов, если они все возникают из одного состояния равновесия (так называемые «малые» циклы). Однако в 1979 году китайский математик Чэнь Ланьсунь и другие построили пример квадратичной системы с 4 предельными циклами. В 1980-х годах было доказано, что для квадратичных систем максимальное число циклов не превышает 4, и эта оценка точна.
• \( n = 3 \) (кубическая система): к настоящему времени известны примеры с 13 предельными циклами (построены в 2000-х годах). Однако точная верхняя граница неизвестна. Считается, что она может быть порядка \( n^2 \).
• Общий случай: для произвольного \( n \) проблема является одной из самых трудных. В 1957 году французский математик Анри Дюлак (в работе, опубликованной посмертно) утверждал, что доказал конечность числа предельных циклов для любого полиномиального поля. Однако в 1981 году французский математик Жан Экаль обнаружил пробел в доказательстве Дюлака. В 1991 году Юлий Ильяшенко и Жан-Клод Игер (независимо) доказали теорему о конечности числа предельных циклов для полиномиальных векторных полей (теорема Ильяшенко — Игера), но их доказательство было очень сложным и содержало спорные моменты. В 2008 году Ильяшенко и Сергей Яковенко опубликовали полное доказательство, которое было признано математическим сообществом.

Современное состояние

Вторая часть 16-й проблемы остаётся открытой. Известно, что число предельных циклов конечно для любого фиксированного \( n \), но не известно, как оно зависит от \( n \). Гипотеза Гильберта о том, что существует универсальная константа \( H(n) \), зависящая только от \( n \), не доказана и не опровергнута. Для малых \( n \) (\( n = 2, 3 \)) получены оценки, но для \( n \ge 4 \) точные границы неизвестны. Исследования ведутся с использованием методов теории бифуркаций, нормальных форм, а также компьютерной алгебры.

Значение и влияние

16-я проблема Гильберта стимулировала развитие нескольких областей математики:

• Теория особенностей и топология вещественных алгебраических многообразий (первая часть).
• Качественная теория дифференциальных уравнений, теория бифуркаций, теория нормальных форм (вторая часть).
• Компьютерная алгебра и символьные вычисления для поиска примеров и проверки гипотез.

Проблема тесно связана с другими вопросами, такими как 22-я проблема Гильберта (униформизация), а также с работами Анри Пуанкаре, Александра Ляпунова и других классиков. Её решение потребовало бы создания принципиально новых математических методов.

Интересные факты

• В 2000 году Институт Клэя включил 16-ю проблему в список «Проблем тысячелетия», но только в её второй части (предельные циклы). За её решение предлагается приз в 1 миллион долларов США.
• Первая часть проблемы (алгебраические кривые) была частично решена для \( n \le 6 \), но для \( n = 7 \) и выше остаётся открытой.
• В 2020 году российский математик Дмитрий Новиков (не путать с Сергеем Новиковым) предложил новый подход к оценке числа предельных циклов, основанный на теории гомологии, но полное решение не найдено.

Источники

• Гильберт Д. «Математические проблемы» (1900).
• Гудков Д. А. «Топология вещественных алгебраических кривых» (1974).
• Ильяшенко Ю. С., Яковенко С. Ю. «Конечность числа предельных циклов для полиномиальных векторных полей на плоскости» (2008).
• Арнольд В. И. «Теория катастроф» (1983).
• Чэнь Ланьсунь, Ван Минь «Предельные циклы квадратичных систем» (1979).
• Энциклопедия «Википедия» — статья «16-я проблема Гильберта».