Ангенентный тор
В дифференциальной геометрии представляет Ангенента собой плавное вложение тора тор в трехмерное евклидово пространство , обладающее тем свойством, что он остается самоподобным при развитии под действием потока средней кривизны . Его существование показывает, что, в отличие от одномерного потока, сокращающего кривую (для которого каждая вложенная замкнутая кривая сходится к окружности при сжатии в точку), двумерный поток средней кривизны имеет вложенные поверхности, которые образуют более сложные особенности как они разрушаются.
История
[ редактировать ]Тор Ангенент назван в честь Сигурда Ангенента , опубликовавшего доказательство его существования в 1992 году. [1] Однако еще в 1990 году Герхард Хейскен написал, что Мэтью Грейсон рассказал ему о «числовых доказательствах» его существования. [2] [3]
Существование
[ редактировать ]Чтобы доказать существование тора Ангенента, Ангенент сначала утверждает, что он должен быть поверхностью вращения . Любую такую поверхность можно описать ее поперечным сечением - кривой на полуплоскости (где граничная линия полуплоскости является осью вращения поверхности). Следуя идеям Хьюскена, [2] Ангенент определяет риманову метрику на полуплоскости, обладающую тем свойством, что геодезические для этой метрики представляют собой в точности сечения поверхностей вращения, которые остаются самоподобными и схлопываются в начало координат через одну единицу времени. Эта метрика сильно неоднородна, но обладает отражательной симметрией, осью симметрии которой является полупрямая, проходящая через начало координат перпендикулярно границе полуплоскости. [1]
Рассматривая поведение геодезических, которые проходят перпендикулярно этой оси отражательной симметрии, на разных расстояниях от начала координат, и применяя теорему о промежуточном значении , Ангенент находит геодезическую, которая проходит через ось перпендикулярно во второй точке. Эта геодезическая и ее отражение объединяются, образуя простую замкнутую геодезическую для метрики на полуплоскости. Когда эта замкнутая геодезическая используется для создания поверхности вращения, она образует Ангенентный тор.
Другие геодезические приводят к другим поверхностям вращения, которые остаются самоподобными под действием потока средней кривизны, включая сферы, цилиндры, плоскости и (согласно численным данным, но не строгому доказательству) погруженные топологические сферы с множественными самопересечениями. [1] Клини и Мёллер (2014) доказывают, что единственными полными гладкими вложенными поверхностями вращения, которые остаются самоподобными при потоке средней кривизны, являются плоскости, цилиндры, сферы и топологические торы. Они более решительно предполагают, что тор Ангенент — единственный тор, обладающий этим свойством. [4]
Приложения
[ редактировать ]Тор Ангенента можно использовать для доказательства существования некоторых других особенностей потока средней кривизны. Например, если поверхность в форме гантели , состоящая из тонкой цилиндрической «шеи», соединяющей два больших объема, может иметь шейку, окруженную непересекающимся ангенентным тором, то две поверхности вращения будут оставаться непересекающимися при потоке средней кривизны до тех пор, пока одна из их достигает сингулярности; если концы гантели достаточно велики, это означает, что шея должна отщипнуться, отделив две сферы друг от друга, прежде чем тор, окружающий шею, рухнет. [1] [5]
Связанные фигуры
[ редактировать ]Любая форма, которая остается самоподобной, но сжимается под потоком средней кривизны, образует древнее решение потока, которое можно экстраполировать назад на все времена. Однако обратное неверно. В той же статье, в которой он опубликовал тор Ангенента, Ангенент также описал овалы Ангенента ; они не самоподобны, но это единственные простые замкнутые кривые на плоскости, отличные от круга, которые дают древние решения потока, сокращающего кривую . [1] [6]
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и Ангенент, Сигурд Б. (1992), «Сжимающиеся пончики» (PDF) , Нелинейные уравнения диффузии и их состояния равновесия, 3 (Gregynog, 1989) , Прогресс в области нелинейных дифференциальных уравнений и их приложений, том. 7, Бостон, Массачусетс: Биркхойзер, стр. 21–38, MR 1167827 .
- ^ Перейти обратно: а б Хьюскен, Герхард (1990), «Асимптотическое поведение особенностей потока средней кривизны» , Журнал дифференциальной геометрии , 31 (1): 285–299, doi : 10.4310/jdg/1214444099 , hdl : 11858/00-001M-0000 -0013-5CFE-3 , МР 1030675 .
- ^ Мантегацца, Карло (2011), Конспекты лекций по потоку средней кривизны , Progress in Mathematics, vol. 290, Базель: Birkhäuser/Springer, с. 14, номер домена : 10.1007/978-3-0348-0145-4 , ISBN 978-3-0348-0144-7 2815949 МР .
- ^ Клини, Стивен; Мёллер, Нильс Мартин (2014), «Самосжиматели с вращательной симметрией», Transactions of the American Mathematical Society , 366 (8): 3943–3963, arXiv : 1008.1609 , doi : 10.1090/S0002-9947-2014-05721- 8 , МР 3206448 .
- ^ Экер, Клаус (2004), Теория регулярности потока средней кривизны , Прогресс в нелинейных дифференциальных уравнениях и их приложениях, 57, Бостон, Массачусетс: Биркхойзер, с. 29, номер домена : 10.1007/978-0-8176-8210-1 , ISBN 0-8176-3243-3 , МР 2024995 .
- ^ Даскалопулос, Панайота ; Гамильтон, Ричард ; Сесум, Натаса (2010), «Классификация компактных древних решений потока, сокращающего кривую» , Журнал дифференциальной геометрии , 84 (3): 455–464, arXiv : 0806.1757 , Bibcode : 2008arXiv0806.1757D , doi : 10.4310/jdg/ 1279114297 , МР 2669361 .
Внешние ссылки
[ редактировать ]- Тор Ангенента , визуализация Донсуна Ли из UNIST Mathematical Sciences