Шинтан Яу - Теория струн и скрытые измерения Вселенной

Рис. 3.3.Метод геометрического анализа, известный как поток сокращения кривых, дает математическое описание механизма превращения любой несамопересекающейся замкнутой кривой в окружность без возникновения при этом каких-либо особенностей, таких как выступы, петли или узлы

Вклад, внесенный многими из моих непосредственных предшественников в математику, был весьма значителен, таким образом, к моменту моего выхода на сцену в области нелинейного анализа уже имелось множество детально разработанных теорий. К подобным теориям относится разработанная Морри, Алексеем Погореловым и другими теория нелинейных дифференциальных уравнений в частных производных для случая двухмерного пространства, которые называют эллиптическими уравнениями и которые будут обсуждаться в пятой главе. В 1950-х годах Эннио де Джорджи и Джон Нэш разработали методы исследования подобных уравнений для случая большего числа измерений и более того — для любого числа измерений. Вскоре после этого теории, созданные для большого числа измерений, были развиты такими учеными, как Морри и Луис Ниренберг, что говорит о том, что я выбрал отличное время для начала работы в данной области и применения разработанных ими методов к геометрическим задачам.

Несмотря на то что подход, который я и мои коллеги взяли на вооружение в начале 1970-х, не был чем-то совершенно новым, мы попытались взглянуть на него с совершенно иной точки зрения. Так, для Морри дифференциальные уравнения в частных производных имели фундаментальное значение сами по себе и представляли скорее подлежащее изучению прекрасное творение разума, нежели средство для достижения какой-либо цели. Интересуясь также и геометрией, он рассматривал ее в основном как источник интересных дифференциальных уравнений, точно так же он смотрел и на многие области физики. И хотя мы оба восхищались этими уравнениями, наши цели были практически противоположны — вместо того, чтобы пытаться искать новые нелинейные уравнения в геометрических задачах, я собирался использовать эти уравнения для решения геометрических задач, до этого считавшихся неразрешимыми.

Вплоть до 1970-х годов геометры всячески избегали нелинейных уравнений, впрочем, я и мои современники не испытывали перед ними сильного страха. Мы поставили себе целью узнать, как следует обращаться с подобными уравнениями, чтобы затем использовать их в своей повседневной работе. Рискуя показаться нескромным, я все же скажу, что эта стратегия не только оправдала себя, но и вышла далеко за рамки первоначальных задач. На протяжении многих лет, используя методы геометрического анализа, мы занимались решением важнейших задач, не разрешенных до этого каким-либо другим способом. «Смесь геометрии с теорией [дифференциальных уравнений в частных производных], — отметил математик Имперского колледжа Лондона Саймон Дональдсон, — задает тон во всей обширной области, касающейся данного предмета, на протяжении последней четверти столетия». [26] Lizhen Ji and Kefeng Liu, “Shing-Tung Yau: A Manifold Man of Mathematics,” Proceedings of Geometric Analysis: Present and Future Conference, Harvard University, August 27-September 1, 2008.

Итак, чем же занимается геометрический анализ? Рассмотрим сначала простейший пример. Предположим, что вы нарисовали окружность и сравнили ее с произвольной петлей или замкнутой кривой, которая имеет несколько меньшую длину, — в роли подобной петли может выступать обычная резинка, небрежно брошенная на письменный стол. Эти две кривые выглядят совершенно различными и, естественно, имеют разную форму. Однако можно представить, как резинка деформируется (или растягивается) и превращается в окружность — такую же, как та, что нарисована на бумаге.

Существует много способов сделать это. Вопрос в том, какой из них лучше? Иными словами, существует ли такой способ, который будет безотказно работать во всех возможных случаях и никогда не приведет к возникновению узлов или перекручиваний? Можно ли найти этот универсальный способ, не прибегая к методу проб и ошибок? Узнать все это можно в рамках геометрического анализа, который позволяет, исходя из геометрии произвольной кривой (в нашем случае резинки), сделать выводы о способах ее преобразования в окружность. Этот процесс не должен быть произвольным. Строго определенный или — еще лучше — канонический путь превращения нашей кривой в окружность однозначно определяется ее геометрией. Для математиков слово канонический является синонимом слова «единственно верный», что, впрочем, иногда звучит излишне строго. Представим себе, что мы хотели бы попасть с Северного полюса на Южный. Существует бесконечно много меридианов, соединяющих эти точки. Каждый из меридианов будет кратчайшим путем, но ни один из них не будет единственно верным; вместо этого мы называем такие пути каноническими.

Те же вопросы остаются актуальными и в случае более высоких размерностей. Вместо окружности и резинки теперь можно сравнить сферу или полностью надутый баскетбольный мяч со сдутым баскетбольным мячом с разнообразными углублениями и выступами. Задача состоит в том, чтобы превратить сдутый баскетбольный мяч в идеальную сферу. Конечно, для этого лучше всего использовать насос, но можно и математику. Математическим аналогом насоса в геометрическом анализе является дифференциальное уравнение, служащее движущим механизмом процесса преобразования формы путем крошечных непрерывных изменений. Стоит только определиться с начальной ситуацией (геометрией сдутого мяча) и найти подходящее дифференциальное уравнение — и задача будет решена.

Самым тяжелым во всем этом является нахождение подходящего для данного случая дифференциального уравнения, равно как и выяснение, существует ли в принципе уравнение, подходящее для данной задачи. К счастью, Морри и другие математики создали немало инструментов для анализа дифференциальных уравнений, при помощи которых можно узнать, имеет ли решение задача, с которой мы столкнулись, и, если да, то является ли это решение единственным.

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