Теория струн и скрытые измерения вселенной - Страница 37

В качестве еще одного примера рассмотрим набор уравнений 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 выступало не число, а функция, что безмерно увеличивало сложность, поскольку сходимость последовательности функций доказать, как правило, весьма и весьма непросто.

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

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