Математики решили геометрическую задачу 150-летней давности

Исследователи из США и Германии впервые нашли конкретный пример, который нарушает давно принятую теорему французского математика Пьера Оссиана Бонне. Результаты опубликованы в журнале Publications mathématiques de l'IHÉS.

Трое ученых из Мюнхенского технического университета (TUM), Берлинского технического университета (TU Berlin) и Университета штата Северная Каролина (NC State) смогли показать, что общепринятое правило классической геометрии не всегда верно. Как объясняет профессор Тим Хоффманн из TUM:

«Это позволяет нам решить давнюю проблему в дифференциальной геометрии поверхностей».

Что такое правило Бонне

Принцип Бонне, предложенный в 1867 году, утверждает: если в каждой точке поверхности известны две характеристики — метрика и средняя кривизна — то форму поверхности можно определить однозначно.

Метрика описывает расстояния и углы, измеряемые по самой поверхности. Средняя кривизна показывает, как поверхность изгибается в пространстве. До сих пор считалось, что этих данных достаточно, чтобы однозначно описать форму поверхности.

Как ученые нарушили правило

Команда создала два компактных объекта в форме пончика — так называемые торы. Они имеют одинаковую метрику и среднюю кривизну, но при этом их глобальная форма различается.

«После многих лет исследований нам впервые удалось найти конкретный пример, демонстрирующий, что локальные данные измерений не всегда определяют единую глобальную форму», — отмечает Хоффманн.

Ранее известные исключения касались только некомпактных поверхностей — бесконечно продолжающихся или ограниченных ребрами. Для замкнутых объектов вроде сфер правило Бонне считалось верным. Что касается торов, известно было, что данные параметры могут описывать максимум две различные формы, но конкретных примеров не было десятилетиями.

Первая компактная пара Бонне

Теперь команда построила две поверхности в форме пончика — так называемые торы — в трехмерном пространстве. Они имеют одинаковую метрику и среднюю кривизну.

«Эти пары торов Бонне являются первыми примерами компактных пар Бонне», — заявили исследователи.

Это решение закрывает давний вопрос в геометрии: достаточно ли знать расстояния на поверхности и то, как она изгибается в пространстве, чтобы однозначно восстановить ее форму. Новая работа показывает, что даже если эти параметры совпадают, форма поверхности все равно может оказаться разной.

«Более того, мы показываем, что эти изометрические торы вещественно-аналитические, что решает вторую давнюю открытую проблему», — добавили ученые.

Как это работает

Исследователи использовали связь между парами Бонне и так называемыми изотермическими поверхностями.

«Мы воспользовались известной связью между парами Бонне и изотермическими поверхностями. В итоге нам удалось построить торы, которые появляются как преобразование более простой геометрической формы с упорядоченной системой линий кривизны», — пояснили исследователи.

Таким образом, команда не просто теоретически предположила существование исключений, а создала конкретный, наглядный пример, который можно изучать и анализировать в дальнейшем. Это открытие имеет значение для математиков и всех, кто работает с геометрическими моделями, компьютерной графикой и инженерными задачами, где точная форма поверхности критична.