|
Свою работу я заканчивал в Курантовском институте Нью-Йорка, находясь на должности приглашенного сотрудника — эту должность мне помог занять Ниренберг. Вскоре моя невеста Ю-Юн, работавшая до этого в Принстоне, получила предложение работы в Лос-Анджелесе. Не желая разлучаться с ней, я занял другую приглашенную должность в Калифорнийском университете. В 1976 году мы вместе проехали всю страну с востока на запад, собираясь заключить брак сразу же по прибытии в Калифорнию. И действительно, прибыв в Калифорнию, мы тут же обвенчались. Эта поездка запомнилась нам надолго: мы были влюблены друг в друга, природа вокруг поражала своей красотой и большую часть пути мы строили планы на будущую совместную жизнь. Но все же я должен признаться, что даже тогда было нечто, что не давало мне покоя: в моей голове по-прежнему крепко сидела гипотеза Калаби и, в частности, оценка нулевого порядка, которая никак мне не поддавалась. Целый год я бился над ее поисками. В сентябре 1976 года, сразу после нашей свадьбы, мои усилия, наконец, увенчались успехом, и остальные части доказательства тут же встали на свои места. Как оказалось, семейная жизнь была именно тем, чего мне недоставало. Задача нахождения оценки нулевого порядка аналогична нахождению оценок других порядков: на некое уравнение или функцию необходимо наложить ограничения — как сверху, так и снизу. Иными словами, функцию нужно поместить в воображаемый ящик и показать, что функция «влезет» в него, даже если размеры ящика не будут бесконечно велики. Если это возможно сделать, то функцию можно считать ограниченной сверху. С другой стороны, нужно показать, что функция не настолько мала, чтобы каким-либо образом «просочиться» за пределы ящика, таким образом ограничив ее снизу. Один из возможных подходов к задаче такого типа состоит в том, чтобы взять абсолютное значение — модуль функции, которое говорит о ее величине в целом вне зависимости от того, положительное или отрицательное значение она принимает. Для того чтобы проверить функцию u , нужно показать, что ее абсолютное значение в любой точке пространства будет меньше постоянной величины c (или равно ей). Поскольку значение c точно определено, необходимо просто показать, что функция u не может произвольно принимать очень большие или очень малые значения. Иными словами, утверждение, которое мы хотим доказать, является простым неравенством, утверждающим, что модуль функции u должен быть меньше или равен c: |u|?c. И хотя оно выглядит не особо сложным, в том случае, когда u является комплексным объектом, доказательство требует достаточно много усилий. — 109 —
|