Теоремы вложения Нэша

Теоремы вложения Нэша (или теоремы вложения ), названные в честь Джона Форбса Нэша-младшего , утверждают, что каждое риманово многообразие может быть изометрически вложено в некоторое евклидово пространство . Изометрия означает сохранение длины каждого пути . Например, сгибание страницы бумаги, но не растяжение и не разрывание дает изометрическое встраивание страницы в евклидово пространство, поскольку кривые, нарисованные на странице, сохраняют ту же длину дуги, несмотря на то, что страница согнута.

Первая теорема справедлива для непрерывно дифференцируемых ( C ¹ ) вложения, а второе — для вложений аналитических или гладких класса C ^к , 3 ≤ k ≤ ∞. Эти две теоремы сильно отличаются друг от друга. Первая теорема имеет очень простое доказательство, но приводит к некоторым парадоксальным выводам, тогда как вторая теорема имеет техническое и контринтуитивное доказательство, но приводит к менее удивительному результату.

С ​ ¹ теорема была опубликована в 1954 году, C ^к -теорема в 1956 году. Вещественная аналитическая теорема была впервые рассмотрена Нэшем в 1966 году; его аргумент был значительно упрощен Грином и Якобовицем (1971) . (Локальная версия этого результата была доказана Эли Картаном и Морисом Жане в 1920-х годах.) В реальном аналитическом случае сглаживающие операторы (см. ниже) в аргументе обратной функции Нэша можно заменить оценками Коши. Доказательство Нэша C ^к -случай позже был экстраполирован на h-принцип и теорему Нэша–Мозера о неявной функции . Более простое доказательство второй теоремы вложения Нэша было получено Гюнтером (1989) , который свел набор нелинейных уравнений в частных производных к эллиптической системе, к которой теорему о сжимающем отображении . можно было применить

Теорема Нэша – Койпера ( C ¹ теорема вложения)

Для m -мерного риманова многообразия ( M , g ) изометрическое вложение — это непрерывно дифференцируемое топологическое вложение f : M → ℝ. ^н такой, что обратный образ евклидовой метрики равен g . В аналитических терминах это можно рассматривать (относительно гладкой координатной карты x ) как систему 1/2 + m m ( : 1) производных первого порядка множество уравнений в частных для n неизвестных (действительнозначных) функций

$g_{ij}(x)=\sum _{\alpha =1}^{n}{\frac {\partial f^{\alpha }}{\partial x^{i}}}{\frac {\partial f^{\alpha }}{\partial x^{j}}}.$

Если n меньше 1/2 неизвестных m m ( . + 1) , то уравнений больше, чем С этой точки зрения существование изометрических вложений, определяемых следующей теоремой, считается удивительным.

Nash–Kuiper theorem. Пусть ( M , g ) — m -мерное риманово многообразие и f : M → ℝ ^н короткое ℝ плавное встраивание (или погружение евклидово пространство ) в ^н , где n ≥ m + 1 . Эта карта не обязательно должна быть изометрической. Тогда существует последовательность непрерывно дифференцируемых изометрических вложений (или погружений) M → ℝ ^н g , которые сходятся равномерно к f .

Первоначально теорема была доказана Джоном Нэшем при более сильном предположении n ≥ m + 2 . Его метод был модифицирован Николаасом Койпером для получения приведенной выше теоремы.

Изометрические вложения, полученные с помощью теоремы Нэша – Койпера, часто считаются нелогичными и патологическими. Они часто не могут быть гладко дифференцируемыми. Например, известная теорема Дэвида Гильберта утверждает, что гиперболическую плоскость нельзя гладко изометрически погрузить в ℝ ³ . Любое многообразие Эйнштейна отрицательной скалярной кривизны не может быть гладко изометрически погружено как гиперповерхность: а теорема Шиинг-Шен Черна и Койпера даже говорит, что любое замкнутое m -мерное многообразие неположительной секционной кривизны не может быть гладко изометрически погружено в ℝ ^{2м – 1} . Более того, некоторые гладкие изометрические вложения демонстрируют явления жесткости, которые нарушаются из-за практически неограниченного выбора f в теореме Нэша – Койпера. Например, изображение любой гладкой изометрической гиперповерхности погружения круглой сферы само должно быть круглой сферой. Напротив, теорема Нэша – Койпера обеспечивает существование непрерывно дифференцируемых изометрических гиперповерхностных погружений круглой сферы, которые сколь угодно близки (например) к топологическому вложению сферы как малого эллипсоида .

Любое замкнутое и ориентированное двумерное многообразие гладко вкладывается в ℝ ³ . Любое такое вложение можно масштабировать с помощью сколь угодно малой константы, чтобы оно стало коротким по отношению к любой заданной римановой метрике на поверхности. Из теоремы Нэша–Койпера следует, что существуют непрерывно дифференцируемые изометрические вложения любой такой римановой поверхности, где радиус описанного шара сколь угодно мал. Напротив, ни одна замкнутая поверхность с отрицательной кривизной не может быть даже гладко изометрически вложена в ℝ. ³ . Более того, для любого гладкого (или даже C ² ) изометрического вложения произвольной замкнутой римановой поверхности существует количественная (положительная) нижняя граница радиуса описанного шара через площадь поверхности и кривизну вложенной метрики.

В более высокой размерности, как следует из теоремы вложения Уитни , теорема Нэша–Койпера показывает, что любое замкнутое m -мерное риманово многообразие допускает непрерывно дифференцируемое изометрическое вложение в сколь угодно малую окрестность в 2 m -мерном евклидовом пространстве. Хотя теорема Уитни также применима к некомпактным многообразиям, такие вложения нельзя просто масштабировать с помощью небольшой константы, чтобы они стали короткими. Нэш доказал, что каждое m -мерное риманово многообразие допускает непрерывно дифференцируемое изометрическое вложение в ℝ ^{2м + 1} .

Во времена работы Нэша его теорема считалась чем-то вроде математической диковины. Сам результат не нашел серьезного применения. Однако метод доказательства Нэша был адаптирован Камилло Де Леллисом и Ласло Секелихиди для построения решений низкой регулярности с заданной кинетической энергией уравнений Эйлера на основе математического исследования механики жидкости . В аналитическом плане уравнения Эйлера имеют формальное сходство с изометрическими уравнениями вложения благодаря квадратичной нелинейности первых производных неизвестной функции. Идеи доказательства Нэша были сведены Михаилом Громовым к принципу выпуклого интегрирования с соответствующим h-принципом . Это было применено Стефаном Мюллером и Владимиром Швераком к девятнадцатой проблеме Гильберта , строя минимизаторы минимальной дифференцируемости в вариационном исчислении .

С ^к теорема вложения

Техническое утверждение, появляющееся в оригинальной статье Нэша, следующее: если M — заданное m -мерное риманово многообразие (аналитическое или класса C ^к , 3 ⩽ k ⩽ ∞), то существует число n (причём n ⩽ m (3 m +11)/2, если M — компактное многообразие, и при n ⩽ m ( m +1)(3 m +11) /2, если M — некомпактное многообразие) и изометрическое вложение ƒ: M → R ^н (также аналитический или класса C ^к ). То есть ƒ вложением C является ^к для каждой точки p из M производная p dƒ _{многообразий и} является линейным отображением из касательного пространства T _p M в R ^н который совместим с данным скалярным произведением на T _p M стандартным скалярным произведением R и ^н в следующем смысле:

$\langle u,v\rangle =df_{p}(u)\cdot df_{p}(v)$

всех векторов u , v в T _p M. для Когда n больше, чем 1/2 + m m ( (ЧДУ ) 1) , это недоопределенная система уравнений в частных производных .

Теорема вложения Нэша является глобальной теоремой в том смысле, что все многообразие вложено в R ^н . Локальная теорема вложения намного проще и может быть доказана с использованием теоремы о неявной функции расширенного исчисления в координатной окрестности многообразия. Доказательство глобальной теоремы вложения основано на теореме Нэша о неявной функции для изометрических вложений. Эта теорема была обобщена рядом других авторов на абстрактные контексты, где она известна как теорема Нэша – Мозера . Основная идея доказательства теоремы Нэша о неявной функции — использование метода Ньютона для построения решений. Стандартный метод Ньютона не сходится при применении к системе; Нэш использует операторы сглаживания, определенные сверткой, чтобы обеспечить сходимость итерации Ньютона: это метод Ньютона с постусловием. Тот факт, что этот метод дает решение, сам по себе является теоремой существования и представляет независимый интерес. В других контекстах сходимость стандартного метода Ньютона ранее была доказана Леонидом Канторовичем .

Общие и цитируемые ссылки

• Бураго, Ю. Д .; Залгаллер, В.А. (1988). Геометрические неравенства . Основные принципы математических наук. Том 285. Перевод с русского А.Б. Сосинского. Берлин: Springer Verlag . дои : 10.1007/978-3-662-07441-1 . ISBN  3-540-13615-0 . МР   0936419 .
• Де Леллис, Камилл ; Секелихиди, Ласло младший. (2013). «Диссипативные непрерывные потоки Эйлера». Математические открытия . 193 (2): 377–407. arXiv : 1202.1751 . Бибкод : 2013InMat.193..377D . дои : 10.1007/s00222-012-0429-9 . МР   3090182 . S2CID   2693636 .
• Элиашберг, Ю .; Мишачев, Н. (2002). Введение в h-принцип . Аспирантура по математике . Том. 48. Провиденс, Род-Айленд: Американское математическое общество . дои : 10.1090/gsm/048 . ISBN  0-8218-3227-1 . МР   1909245 .
• Грин, Роберт Э .; Якобовиц, Ховард (1971). «Аналитические изометрические вложения». Анналы математики . Вторая серия. 93 (1): 189–204. дои : 10.2307/1970760 . JSTOR   1970760 . МР   0283728 .
• Громов, Михаил (1986). Частные дифференциальные отношения . Результаты математики и ее пограничные области (3). Том 9. Берлин: Springer-Verlag . дои : 10.1007/978-3-662-02267-2 . ISBN  3-540-12177-3 . МР   0864505 .
• Гюнтер, Матиас (1989). «О теореме вложения Дж. Нэша». Математические новости (на немецком языке). 144 (1): 165–187. дои : 10.1002/mana.19891440113 . МР1037168   .
• Исетт, Филип (2018). «Доказательство гипотезы Онзагера» . Анналы математики . Вторая серия. 188 (3): 871–963. arXiv : 1608.08301 . дои : 10.4007/анналы.2018.188.3.4 . МР   3866888 . S2CID   119267892 . Архивировано из оригинала 11 октября 2022 г. Проверено 6 мая 2022 г.
• Кобаяши, Сошичи ; Номидзу, Кацуми (1969). Основы дифференциальной геометрии. Том II . Межнаучные трактаты по чистой и прикладной математике. Том. 15. Перепечатано в 1996 году. Нью-Йорк – Лондон: John Wiley & Sons, Inc. ISBN.  0-471-15732-5 . МР   0238225 .
• Койпер, Николаас Х. (1955a). «На С ¹ - изометрические вложения. I». Математические исследования (Труды) . 58 : 545–556. doi : 10.1016/S1385-7258(55)50075-8 . MR   0075640 .
• Койпер, Николаас Х. (1955b). «На С ¹ - изометрические вложения. II». Математические исследования (Труды) . 58 : 683–689. doi : 10.1016/S1385-7258(55)50093-X . MR   0075640 .
• Мюллер, С .; Шверак, В. (2003). «Выпуклое интегрирование для липшицевых отображений и контрпримеры к регулярности» . Анналы математики . Вторая серия. 157 (3): 715–742. arXiv : math/0402287 . дои : 10.4007/анналы.2003.157.715 . МР   1983780 . S2CID   55855605 .
• Нэш, Джон (1954). " С ¹ изометрические вложения». Анналы математики . Вторая серия. 60 (3): 383–396. : 10.2307 /1969840 . JSTOR   1969840. . MR   0065993 doi
• Нэш, Джон (1956). «Проблема вложения римановых многообразий». Анналы математики . Вторая серия. 63 (1): 20–63. дои : 10.2307/1969989 . JSTOR   1969989 . МР   0075639 . (Ошибка: [1] )
• Нэш, Дж. (1966). «Аналитика решения задачи о неявной функции с аналитическими данными». Анналы математики . Вторая серия. 84 (3): 345–355. дои : 10.2307/1970448 . JSTOR   1970448 . МР   0205266 .
• Тейлор, Майкл Э. (2011). Уравнения в частных производных III. Нелинейные уравнения . Прикладные математические науки. Том. 117 (Второе издание оригинальной редакции 1996 г.). Нью-Йорк: Спрингер . дои : 10.1007/978-1-4419-7049-7 . ISBN  978-1-4419-7048-0 . МР   2744149 .