|
Я не буду подробно останавливаться на деталях доказательства, отмечу только, что оно основывалось на оценке второго порядка для уравнения Монжа-Ампера, которую я уже сделал ранее. Мне также пригодилось известное неравенство Пуанкаре, а также неравенство, полученное российским математиком Сергеем Соболевым. Оба они содержали возведенные в определенную степень интегралы и производные различных порядков от абсолютного значения u . Последнее, а именно нахождение различных степеней интегралов и производных от u , имело решающее значение для проведения оценок, поскольку, только показав, что интегралы и производные от u в степени p даже при очень больших p все равно остаются ограниченными, можно считать работу выполненной. После этого функцию можно было считать стабильной. В конце концов, с помощью этих неравенств и различных теорем, а также ряда лемм, сформулированных мной по ходу доказательства, я смог это сделать. Когда, наконец, оценка нулевого порядка была получена, работу можно было считать завершенной. Впрочем, говорят, что нельзя судить о пудинге до тех пор, пока его не попробуешь, — даже если что-то имеет привлекательный вид, окончательный вывод можно сделать только после тщательной проверки. Я не мог слепо полагаться на удачу. Однажды я уже поставил себя в неловкое положение, публично заявив на стэнфордской конференции 1973 года, будто знаю, как опровергнуть гипотезу Калаби. Тогда мое предполагаемое опровержение провалилось, и если бы теперь точно так же провалилось и мое подтверждение гипотезы Калаби, моя репутация как математика оказалась бы под большим вопросом. Я точно знал, что на данном этапе своей карьеры — мне тогда еще не исполнилось тридцати — я не могу позволить себе ошибиться вновь, по крайней мере, в столь важном деле. Поэтому я проверял и перепроверял свое доказательство, рассмотрев его четыре раза с четырех совершенно разных позиций. Я проверял его столько раз, что поклялся, что если я окажусь неправ, то брошу математику. Но все мои попытки найти огрехи в доказательстве оказались тщетными. Насколько я мог судить, в нем все было идеально. Поскольку в те времена еще не существовало Интернета, где я мог бы просто опубликовать черновик своей статьи и попросить прокомментировать его, я избрал старомодный путь — выслал копию моего доказательства Калаби и отправился в Филадельфию для дальнейшей дискуссии с ним самим и другими геометрами с математического факультета Пенсильванского университета, в том числе и с Джерри Кадзаном. — 110 —
|