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

Предположим, что вам нужно решить уравнение 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. Математик Луис Ниренберг