Оказывается, методы, которые позволяют исследовать сходимость, дают нам в то же время этот верхний предел, что повышает их значение и практическую ценность.
Поэтому не следует удивляться, что я отвожу этим методам такое большое место в этой книге, хотя, быть может, я извлек из них не все, что они могут дать.
Я сам занимался этими вопросами и посвятил им мемуар, который появился в XIII томе «Acta Mathematica»; в особенности я старался осветить те немногочисленные результаты, относящиеся к задаче трех тел, которые могут быть установлены с абсолютной строгостью, требуемой математикой. Только эта строгость придает некоторую ценность моим теоремам о периодических, асимптотических и двоякоасимптотических решениях. Действительно, здесь можно будет найти твердую основу, на которую можно спокойно опереться, а это представляет ценность для всех исследований, даже для тех, где не требуется такой строгости.
С другой стороны, мне казалась, что мои результаты позволили мне объединить в некий синтез большинство новых, недавно предложенных методов, и это побудило меня предпринять настоящий труд.
В предлагаемом первом томе я должен был ограничиться изучением периодических решений первого рода, доказательством несуществования однозначных интегралов, а также изложением и обсуждением методов Линдштедта.
Следующие тома я посвящу обсуждению методов Гильдена, теории интегральных инвариантов, вопросам устойчивости, изучению периодических решений второго рода, асимптотических и двоякоасимптотических решений и, наконец, новым результатам, которые я смогу получить к моменту опубликования этих томов.
Кроме того, я буду принужден, без сомнения, вернуться в последующих томах к вопросам, рассмотренным в I томе. Правда, логика при этом немного пострадает, но нельзя поступать иначе в отрасли науки, которая находится в стадии становления и в которой новые достижения следуют непрерывно одно за другим. Поэтому я заранее прошу извинить меня.
Последнее замечание: обычно результаты представляют в форме, наиболее удобной для вычисления эфемерид, выражая координаты в виде явных функций времени. Этот путь представляет, очевидно, значительные преимущества, и большею частью я по возможности ему следовал; однако я так поступал не всегда и часто представлял результаты в форме интегралов, т.е. в виде неявных соотношений между коордипа-тами пли между координатами и временем. Прежде всего, эти соотношения можно использовать для проверки формул, дающих координаты в явном виде. Но это не все; истинная цель небесной механики состоит пе в вычислении эфемерид, так как в этом случае можно было бы удовлетвориться предвидением на короткий срок, а в том, чтобы убедиться, достаточно ли закона Ньютона для объяснения всех явлений. С этой точки зрения неявные соотношения, о которых я говорил выше, могут оказаться столь же полезными, как и явные формулы. Действительно, достаточно в них подставить наблюденные значения координат и проверить, удовлетворяются ли они.
ГИЛЬБЕРТ
(1862—1943)
Давид Гильберт родился в Восточной Пруссии. В отличие от обычпых для немецких студентов того времени, скитающихся из одного университета в другой, Гильберт получил образование и первые ученые степени в родном Кенигсберге. Основное значение для Гильберта имела сохранившаяся на всю жизнь дружба с Минковским и Адольфом Гурвпцем. В беседах с ними, часто во время долгих прогулок, больше, чем от занятий с кппгами, лекций и семинаров, сформировался Гильберт как ученый: в дальнейшем оп всегда предпочитал устное слово печатному.
В 1895 г. по инициативе Клейна Гильберт был приглашен в Геттинген, и именно с Готтингеном неразрывно связана вся дальнейшая жизнь Гильберта. В 1930 г. Гильберт по возрасту оставил кафедру, кафедру, которую некогда занимали Гаусс и Риман.
Творчество Гильберта охватывало по существу всю математику. Он обычно выделял одну область, в которой сосредоточенно и целеустремленно работал в течение нескольких лет, а затом переходил к другой; таким путем Гильберт стал мате-матпком-упиверсалом. Академик А. Н. Колмогоров намечает восемь таких периодов: теория инвариантов (1885—1893), теория алгебраических числовых полей (1893— 1898), основания геометрии (1898—1902), проблемы вариационного исчисления и дифференциальных уравнений (1900—1906)* интегральные уравнения (1900—1910), решение уравнения Варинга в теории чисел (1908—1909), математическая физика (1910—1922) и, наконец, логические основы математики (1922—1939). В работах по основаниям математики Гильберт считал возможным достичь непротиворечивого обоснования математики на основе канторовой теории множеств. Убеждение Гильберта привело к возникновению так называемого формалистического направления в математике. Однако последующие работы Геделя по логической незамкнутости арифметики сильно поколебали веру в этот подход.
Быть может, еще большее значение, чем собственные перворазрядные творческие достижения Гильберта, имело влияние стиля его мышления, те требования ясности и определенности результатов, которые он ставил, то сочетание простоты и строгости, которых он добивался от своих учеников.
Гильберт возглавил обширную школу, оказавшую сильное влияние на всю мате* матику и физику начала XX века. После прихода к власти Гитлера «чистка» германских университетов больше всего коснулась учеников Гильберта. Вейль и Курант покинули родину, другие потеряли свое место, некоторые погибли в концлагерях. Последние годы жизни для Гильберта были трагическими годами одиночества; на его глазах разрушалась германская культура, блестящим представителем которой он был. Гильберт умер в Геттингене на 81-м году жизни; на его могиле написано:
Wir miissen wissen
Wir werden wissen
(мы должны знать — мы будем знать).
приводим вступительную часть речи Гильберта на II Международном съезде математиков в Париже в 1900 г. В этой знаменитой речи Гильберт сформулировал 23 проблемы. Последующее развитие математики показало всю глубину его интуицпп и понимания путей развития математики. Мы приводим также предисловие к «Основаниям геометрии» (1930), первоначально вышедшим в 1899 г.
МАТЕМАТИЧЕСКИЕ ПРОБЛЕМЫ
Кто из нас не хотел бы приоткрыть завесу, за которой скрыто наше будущее, чтобы хоть одним взглядом проникнуть в предстоящие успехи нашего знания и тайны его развития в ближайшие столетия? Каковы будут те особые цели, которые поставят себе ведущие математические умы ближайшего поколения? Какие новые методы и новые факты будут открыты в новом столетии на широком и богатом поле математической мысли?
История учит, что развитие науки протекает непрерывно. Мы знаем, что каждый век имеет свои проблемы, которые последующая эпоха или .решает, или отодвигает в сторону как бесплодные, чтобы заменить их новыми. Чтобы представить себе возможный характер развития математического знания в ближайшем будущем, мы должны перебрать в нашем воображении вопросы, которые еще остаются открытыми, обозреть проблемы, которые ставит современная наука и решения которых мы ждем от будущего. Такой обзор проблем кажется мне сегодня, на рубеже нового столетия, особенно своевременным. Ведь большие даты не только заставляют нас оглянуться на прошедшее, но и направляют нашу мысль в неизвестное будущее.
Невозможно отрицать глубокое значение, какое имеют определенные проблемы для продвижения математической науки вообще, и важную роль, которую они играют в работе отдельного исследователя. Всякая научная область жизнеспособна, пока в ней избыток новых проблем. Недостаток новых проблем означает отмирание или прекращение самостоятельного развития. Как вообще каждое человеческое начинание связано с той или иной целью, так и математическое творчество связано с постановкой проблемы. Сила исследователя познается в решении проблем: он находит новые методы, новые точки зрения, он открывает более широкие и свободные горизонты.
Трудно, а часто и невозможно заранее правильно оценить значение отдельной задачи; ведь в конечном счете ее ценность определится пользой, которую она принесет науке. Отсюда возникает вопрос: существуют ли общие признаки, которые характеризуют хорошую матемдтическую проблему? ^
Один старый французский математик сказал: «Математическую теорию можно считать совершенной только тогда, когда ты сделал ее настолько ясной, что берешься изложить ее содержание первому встречному». Это требование ясности и легкой доступности, которое здесь так резко ставится в отношении математической теории, я бы поставил еще резче в отношении математической проблемы, если она претендует на. совершенство; ведь ясность и легкая доступность нас привлекают, а усложненность и запутанность отпугивают.
