Текст книги "Теория струн и скрытые измерения вселенной"

Автор книги: Стив Надис

Соавторы: Яу Шинтан
сообщить о нарушении

Текущая страница: 10 (всего у книги 29 страниц)

К началу 1970‑х годов уже успело пройти не одно десятилетие с того момента, как Эудженио Калаби обнаружил свою «гору» – впрочем, мы по‑прежнему нуждались в подтверждении того, что эта гора действительно была горой, а не, скажем, земляным холмиком. Я, например, вовсе не собирался безоговорочно верить тем неожиданным утверждениям, которые он представил перед нами. Причин для скептицизма, как я уже говорил, было немало. Прежде всего, многие сомневались в возможности существования компактных неограниченных многообразий с нетривиальной риччи‑плоской метрикой (отличных от неинтересных нам плоских торов). В то время не было известно ни одного примера подобного многообразия, тогда как этот парень, Калаби, утверждал, что число многообразий данного типа огромно (или даже бесконечно).

Кроме того, Калаби, по словам Роберта Грина, в своей гипотезе воспользовался общим топологическим условием, чтобы получить частный геометрический вывод, который при этом должен быть верен для всего пространства. Для реальных многообразий, у которых отсутствует сложная структура, это неверно, однако для комплексных многообразий, к которым относится гипотеза, это в принципе возможно.[46] Говоря более конкретно, с точки зрения Грина, гипотеза Калаби утверждает, что начиная со случая одного комплексного измерения (и двух вещественных), исходя из общей топологии и формы, где средняя кривизна равна нулю, можно найти метрику или геометрию, где кривизна везде равна нулю. Для случая высоких размерностей гипотеза Калаби конкретно указывает на кривизну Риччи (которая совпадает с гауссовой кривизной для двух вещественных измерений, но отличается от нее, если размерность выше двух), а условие равенства нулю средней кривизны Риччи заменяется условием обращения в нуль первого класса Черна. Калаби утверждал, что если топологическое условие обращения в нуль первого класса Черна выполняется, то должна существовать кэлерова метрика с нулевой кривизной Риччи. Таким образом, весьма широкое и размытое утверждение заменялось гораздо более узким и строгим – и именно поэтому Грин и большинство других математиков сочли это довольно неожиданным.

Я тоже с большим подозрением отнесся к данному утверждению, исходя из ряда формальных причин. Принято было считать, что никто никогда не сможет записать точное решение гипотезы Калаби за исключением разве что нескольких частных случаев. Если это предположение было правильным – что и было впоследствии доказано, – то ситуация становилась безнадежной, и тогда утверждение Калаби можно охарактеризовать как «слишком хорошее, чтобы быть правдой».

Можно провести следующую аналогию с теорией чисел. Хотя существует множество чисел, записать которые на бумаге не составляет ни малейшего труда, существует гораздо более обширный класс чисел, которые мы никогда не сможем записать в явном виде. Эти числа, называемые трансцендентными, включают в свое множество, например, e(2,718…) и р (3,1415…), запись которых даже с триллионом знаков после запятой все равно не будет полной. С технической точки зрения это происходит потому, что такие числа нельзя получить путем алгебраических преобразований и они не являются корнями полинома с рациональными коэффициентами. Ввести их можно только при помощи определенных правил, это означает, что мы можем дать сколь угодно точное и обширное их описание, но никогда – дословное.

Похожая ситуация возникает и с нелинейными уравнениями типа тех, что относятся к гипотезе Калаби. Решением нелинейного уравнения является функция. При этом едва ли стоит ожидать, что найденное решение будет иметь простой и явный вид, например, что его можно будет выразить при помощи точной формулы, поскольку в большинстве случаев таких формул просто не существует. Единственное, что остается, – это пытаться аппроксимировать решение хорошо известными нам функциями: полиномиальными, тригонометрическими (такими, как синус, косинус и тангенс) и некоторыми другими. Если же попытка аппроксимации решения уравнения известными нам функциями оказалась неудачной, у нас начинаются проблемы.

Держа в голове все вышесказанное, я попытался в свободное от работы время найти контрпримеры к гипотезе Калаби. Были волнующие мгновения: мне казалось, что я наконец нашел направление атаки, позволяющее опровергнуть эту гипотезу, – однако позже я обнаруживал изъяны в моей, вроде бы безупречной, конструкции. Это происходило неоднократно. В 1973 году на меня снизошло озарение. На этот раз я чувствовал, что действительно напал на верный путь. Подход, который я избрал – доказательство от противного, – был аналогичен тому подходу, который мы с Ричардом Шоном использовали для доказательства гипотезы о положительности массы. И на этот раз я мог поручиться за безупречность своего доказательства.

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

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

Спустя несколько месяцев Калаби связался со мной, попросив прислать ему мое опровержение его гипотезы, поскольку он «ломал голову» над некоторыми деталями моих рассуждениях. Это побудило меня засесть за более строгое доказательство. Получив письмо Калаби, я почувствовал необходимость повторить весь ход своих рассуждений еще раз. Я работал очень усердно, на протяжении двух недель практически не оставляя времени даже на сон, чем почти довел себя до состояния нервного истощения. Всякий раз, когда мне казалось, что доказательство уже почти у меня в руках, в последнюю секунду все рассыпалось буквально у меня на глазах, причем самым обидным образом. После двухнедельного мучения я решил, что с моими рассуждениями что‑то не так. Единственным выходом было сдаться и попробовать начать работу в противоположном направлении. Иными словами, я пришел к выводу о том, что гипотеза Калаби должна быть истинной. Это поставило меня в весьма любопытное положение: после изнурительных попыток доказать ошибочность утверждения Калаби мне теперь предстояло доказывать его истинность. А если гипотеза верна, то все, что из нее следует, все, что слишком хорошо, чтобы быть правдой, – действительно должно быть правдой.

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

Уравнения Монжа‑Ампера получили свое название в честь французского математика Гаспара Монжа, который начал изучать уравнения такого рода во времена Французской революции, и французского физика и математика Андре‑Мари Ампера, продолжившего работу над ними несколько десятилетий спустя. Работать с этими уравнениями далеко не просто.

В качестве простейшего примера из повседневной жизни, поясняющего идеи Калаби, рассмотрим плоский пластичный лист с фиксированным периметром. Предположим теперь, что этот лист либо растягивается, либо сжимается. Вопрос в следующем: как в процессе сжатия или растяжения изменяется форма листа? Растяжение средней части листа приводит к возникновению на нем выпуклости с положительной кривизной, и соответствующее решение уравнения Монжа‑Ампера будет принадлежать к эллиптическомутипу. И наоборот, если внутренняя часть листа сжимается, то поверхность приобретает форму седла с отрицательной кривизной во всех своих точках, – решение будет гиперболическим. Наконец, если кривизна окажется равной нулю во всех точках, то можно ожидать решения параболическоготипа. Всем трем случаям будет соответствовать одно и то же уравнение Монжа‑Ампера, но, как указал Калаби, «решать его необходимо совершенно разными методами».[47]

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

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

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

Но существуют и еще более серьезные математические проблемы. Тогда как простейшие уравнения Монжа‑Ампера содержат только две переменные, в более сложных случаях количество переменных значительно больше двух. Эти уравнения выходят за рамки гиперболических – их иногда называют ультрагиперболическими, и о их возможных решениях мы знаем еще меньше. Как заметил Калаби: «Мы понятия не имеем об этих других решениях, лежащих за пределами трех известных нам, поскольку мы совершенно не способны представить соответствующую им физическую картину».[48] Из‑за неодинаковой сложности трех типов уравнений в геометрическом анализе на сегодняшний день используются в основном либо эллиптические, либо параболические уравнения. Конечно, мы заинтересованы во всех трех типах уравнений, и существует множество интереснейших задач, связанных с гиперболическими уравнениями, например уравнения поля Эйнштейна, но обратиться к их решению нам мешает отсутствие необходимых для этого инструментов.

Уравнения, используемые в гипотезе Калаби, были нелинейными эллиптическими. Несмотря на связь этих уравнений с гиперболическими уравнениями поля Эйнштейна, гипотеза Калаби основана на несколько иных геометрических структурах. В рассматриваемом нами случае мы предполагаем, что время в нашей задаче остановилось, почти как в известной сцене из «Спящей красавицы», где на протяжении сотни лет никто и ничто не может сдвинуться с места. Благодаря этому допущению в доказательстве гипотезы Калаби можно было использовать эллиптические уравнения, устранив зависимость от времени. Это стало причиной, по которой я надеялся на то, что инструменты геометрического анализа – и в том числе те, о которых уже было сказано выше, – смогут быть с успехом использованы для решения нашей задачи.

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

Для начала мы рассмотрели знаменитую задачу, выдвинутую на рубеже XX века Германом Минковским. Задача Минковского состояла в том, чтобы установить возможность или невозможность существования некоей структуры, удовлетворяющей определенному набору критериев. Рассмотрим простой многогранник. Его структуру можно охарактеризовать, подсчитав число граней и ребер и определив их размеры. Задача Минковского состояла в обратном: можно ли, зная форму, площадь, число и ориентацию граней, определить, существует ли в действительности многогранник, удовлетворяющий данным критериям, и если да, то будет ли он единственным?

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

Удобно, что эта задача может быть представлена не только в геометрической форме. Она также может быть записана в виде дифференциального уравнения в частных производных. По словам Эрвина Лутвака из Политехнического института при Нью‑Йоркском университете: «Если вы сможете решить геометрическую задачу, то автоматически получите дополнительный приз: решение сложнейшего дифференциального уравнения в частных производных. Такая взаимосвязь между геометрией и дифференциальными уравнениями в частных производных делает эту задачу столь важной».[49]

Мы с Ченгом нашли способ решения этой задачи, и наша статья, посвященная этому вопросу, вышла в 1976 году. Как выяснилось, другое решение было представлено несколькими годами раньше – в 1971 году российским математиком Алексеем Погореловым. Ни я, ни Ченг никогда не видели его статьи, поскольку она была опубликована на родном языке Погорелова. В конце концов, все свелось к решению сложнейшего дифференциального уравнения в частных производных из тех, которые никогда до этого не решались.

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

Рис. 5.1.Математик Ш. Ю. Ченг (фотография Джорджа М. Бергмана)

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

Рис. 5.2.Наглядная иллюстрация метода Ньютона. Для того чтобы найти точку пересечения определенной кривой или функции с осью X, сначала нужно наугад подобрать некую точку x ₀ наиболее подходящую для этого. Затем необходимо провести касательную к кривой в точке x ₀ и отметить точку, в которой эта касательная пересечет ось X(это будет точка x ₁ ). В том случае, если наше изначальное предположение не было полностью ошибочным, продолжая этот процесс, мы будем получать точки все ближе и ближе к искомой

Одна из этих частей носит название метода Ньютона, так как она в определенной степени основана на методе, разработанном Исааком Ньютоном более трехсот лет назад. Для того чтобы продемонстрировать этот метод в действии, рассмотрим функцию y=x ³ ‑ 3x+1, которая описывает кривую, пересекающую ось Xв трех различных точках, являющихся корнями этого полинома. Подход, предложенный Ньютоном, позволяет определить положение корней на оси X, что далеко не всегда можно сделать, просто взглянув на уравнение. Предположим, что напрямую решить уравнение нельзя, однако один из корней соответствующей функции можно найти вблизи точки x ₁ .Касательная, проведенная к кривой в этой точке, пересечет ось  Xв другой точке – x ₂ , находящейся ближе к искомому корню, чем точка x ₁ . Если мы проведем касательную в точке x ₂ , она пересечет ось Xв точке x ₃ , которая будет еще ближе к искомому корню. Таким образом, многократное повторение данной процедуры должно довольно быстро привести нас к искомому корню, если только начальная точка x ₁ была выбрана более‑менее удачно.

В качестве еще одного примера рассмотрим набор уравнений E _t только одно из которых, Е ₀ (для которого t = 0), мы способны решить. При этом в действительности нам нужно решить уравнение E ₁ (для которого t = 1). Мы могли бы использовать метод Ньютона, если мы находимся в непосредственной близости к точке t = 0, решение уравнения в которой хорошо известно, но этот подход не может привести нас к 1. В этом случае необходимо прибегнуть к другому методу оценки, обладающему большей применимостью.

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

Одного лишь знания производных функции недостаточно, хотя задача по их нахождению сама по себе может быть чрезвычайно трудоемкой. Кроме того, производные нужно «контролировать». Иными словами, необходимо установить для них границы – удостовериться, что они не могут быть ни чрезвычайно велики, ни чрезвычайно малы. Только в этом случае полученные решения будут «стабильны» – то есть не будут бесконтрольно раздуваться, тем самым дисквалифицируя себя как решения и разрушая наши надежды на них. Итак, взяв для начала нулевую производную – то есть исходную функцию, описывающую изменение положения ракеты с течением времени, мы устанавливаем для нее наличие верхних и нижних границ – иными словами, делаем оценки, показывающие, что решение по крайней мере возможно. Та же самая операция проводится для всех производных более высоких порядков, что позволяет удостовериться в том, что они не являются ни бесконечно большими, ни бесконечно малыми, а функции, их описывающие, не флуктуируют совершенно беспорядочным образом. Это позволяет априори оценить скорость, ускорение, зависимость ускорения от времени и т. д. Если мы можем таким образом проверить все производные от нулевой до третьей, значит, у нас есть хороший способ оценить уравнение в целом и приличный шанс найти его решение. Подобный процесс оценки и доказательства того, что оценочные данные сами по себе находятся под контролем, как правило, представляют самую сложную часть всего процесса.

Итак, в конце концов, все сводится к оценкам. Есть что‑то ироническое в моем признании их актуальности для решения проблемы, с которой я столкнулся. Помню, когда я впервые попал в Беркли, в коридоре математического факультета я столкнулся с двумя постдоками из Италии. Они прыгали с радостными криками. На мой вопрос о том, что произошло, они ответили, что им только что удалось получить приближенную оценку. Когда же я спросил их о том, что это такое – оценка, они посмотрели на меня как на полного невежду, непонятно как попавшего в это здание. Именно с этого момента я пытался узнать как можно больше об априорных оценках. Калаби получил такой же урок несколькими десятилетиями ранее от своего друга и соратника Луиса Ниренберга: «Повторяй за мной, – говорил тогда Ниренберг, – без априорных оценок ты никогда не сможешь решать дифференциальные уравнения в частных производных!»[50] А в начале 1950‑х Калаби переписывался с Эндрю Вейлем по поводу своей гипотезы. Вейль, который полагал, что математические технологии того времени просто не созрели для нахождения решения, спрашивал Калаби: «Как вы собираетесь получить оценки?»[51]

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

Предположим, что вам нужно решить уравнение f(x) = x ² ‑ xпри f(x)= 0. Подставим для начала x = 2и убедимся, что этот вариант не подходит: f(2) = 2, а не 0. Тем не менее у нас теперь есть решение, если не для исходного уравнения, то для чего‑то подобного. Перепишем первоначальное уравнение как f(x) = 2t. Для случая t = 1его решение уже известно ( x = 2), и теперь задача состоит в том, чтобы решить его при t = 0. Как же это сделать? Рассмотрим параметр t. Что произойдет, если немного изменить значение t, так, чтобы оно уже не было равно точно 1, но все же оставалось близким к единице? Интуиция подсказывает, что если tбудет близко к 1, значение f(t)будет близко к 2. Это предположение оказывается верным для большинства случаев, а это означает, что при tблизком к 1мы можем решить уравнение.

Теперь будем уменьшать t, так чтобы рано или поздно его значение достигло нуля и в результате мы получили исходное уравнение. Выбирая все меньшие и меньшие значения t, будем записывать для каждого из них соответствующие решения уравнения. В результате возникнет последовательность точек, в которых решение уравнения существует, и каждой из этих точек соответствует собственное значение x, которое я буду называть x _i . Смысл этого упражнения заключается в том, чтобы доказать, что последовательность x _i сходится к определенному значению. Для этого нужно показать, что x _i ограниченно и не может возрастать до бесконечности, потому что для любой ограниченной последовательности по крайней мере некоторые ее части должны сходиться. Показав сходимость x _i , мы тем самым покажем возможность уменьшения величины tдо 0без столкновения с какими‑либо непреодолимыми препятствиями. И если мы сможем это сделать, мы тем самым решим уравнение, показав, что случай с t = 0также имеет решение. Иными словами, мы покажем, что решение исходного уравнения x ² ‑ х=0должно существовать.

Именно такие рассуждения я использовал при доказательстве гипотезы Калаби. Ключевым моментом доказательства стала необходимость показать, что x _i представляют собой сходящуюся последовательность. Конечно, уравнение, лежащее в основе гипотезы Калаби, было намного сложнее, чем x ² ‑ х=0. В этом уравнении в роли xвыступало не число, а функция, что безмерно увеличивало сложность, поскольку сходимость последовательности функций доказать, как правило, весьма и весьма непросто.

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

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

Решить задачу Дирихле можно при помощи уже упомянутых ранее шагов, оценивая значения производных нулевого, первого, второго и третьего порядка для точек, лежащих на границе. Но мы должны сделать такие же оценки и для внутренних точек поверхности, поскольку рассматриваемый «мыльный пузырь» может иметь разрывы, сингулярности и другие отклонения от гладкости. Таким образом, общее число оценок равно восьми.

Рис. 5.3.Математик Луис Ниренберг

К началу 1974 года Калаби и Ниренберг, также работавшие над задачей Дирихле, одновременно с нами получили оценку второго порядка. Нахождение оценки нулевого порядка оказалось весьма простой задачей. Ну а оценку первого порядка можно вывести из оценок нулевого и второго порядков. Итак, оставалась только оценка третьего порядка, нахождение которой и открывало путь к решению задачи Дирихле.

Математический аппарат, необходимый для решения этой задачи, возник еще в конце 1950‑х. Я еще учился в средней школе, когда Калаби нашел решение главной геометрической задачи, оказавшейся впоследствии решающей в вопросе нахождения оценок третьего порядка для внутренних точек поверхности в случае вещественных уравнений Монжа‑Ампера. Сделать вклад в эту область Калаби во многом помогло стечение обстоятельств. В то время он работал над проблемой из области аффинной геометрии (аффинная геометрия представляет собой обобщение евклидовой геометрии, в подробности которого я, будучи весьма далек от этой области, не особо хочу вдаваться), тогда как Ниренберг и Чарльз Левнер из Стэнфордского университета занимались задачей Дирихле для уравнения Монжа‑Ампера, но не с гладкой, а с так называемой сингулярной границей, подобной гребню волны. Увидев то уравнение, над которым работали Ниренберг и Левнер, Калаби понял, что оно непосредственно связано с тематикой его работ по аффинной геометрии. Калаби и Ниренберг догадались, как применить результаты Калаби, полученные им в 1950‑х годах, к проблеме оценки третьего порядка для внутренних точек поверхности, с которой мы столкнулись в 1970‑х. «Многие математические открытия происходят благодаря удачному стечению обстоятельств, такому как это, – заметил Калаби. – Порой стоит попробовать соединить кажущиеся несовместимыми идеи и затем посмотреть, где можно применить то, что получилось в результате».[52]

Позже, в 1974 году, Калаби и Ниренберг объявили, что им удалось найти решение краевой задачи для комплексных уравнений Монжа‑Ампера. Впрочем, оказалось, что они допустили ошибку, и оценка третьего порядка для точек, находящихся на границе, по‑прежнему отсутствовала.