Полное исследование функций состоит из двух частей:
1) качественной (если можно так выразиться) части, или геометрического изучения той кривой, которая определяется этой функцией;
2) количественной части, или вычисления численных значений функции.
Так, например, для того чтобы исследовать алгебраическое уравнение, мы сначала определяем, с помощью теоремы Штурма, число действительных корней — это качественная часть; затем находим числовые значения этих корней — в этом заключается количественное изучение уравнения. Точно так же, для того чтобы изучить алгебраическую кривую, мы начинаем с построения этой кривой (как принято выражаться в соответствующих математических курсах), т.е. определяем наличие замкнутых ветвей, бесконечных ветвей и т.д.
После этого качественного изучения кривой можно точно определить некоторое число ее точек.
Естественно, что именно в качественной части должно начинаться исследование всякой функции, и поэтому проблема, которая в первую очередь встает перед нами,— это построение кривых, определяемых дифференциальными уравнениями.
Это качественное исследование, когда оно будет полностью выполнено, будет очень полезно для вычисления численных значений искомой функции и позволит более просто установить сходящийся ряд, изображающий искомую функцию в некоторой части плоскости, и главная трудность заключается именно в отыскании надежного критерия для перехода от одной области, где функция определена одним сходящимся рядом, к другой области, где она выражается с помощью другого ряда.
С одной стороны, это качественное исследование и само по себе представляет первостепенный интерес. К нему могут быть сведены различные, исключительно важные вопросы анализа и механики. Возьмем в качестве примера задачу трех тел. Разве нельзя поставить вопрос, будет ли одно из этих тел всегда оставаться в некотором участке неба гогп оно сможет удалиться в бесконечность? Или вопрос о том, будет ли расстояние между двумя из этих тел неограниченно убывать, или. напротив, это расстояние будет всегда заключено в определенных пределах? Разве нельзя поставить тысячу вопросов такого рода, и все эти вопросы будут разрешены, как только мы сумеем качественно построить траектории этих трёх тел. И если рассматривать большее число тел, то чем иным является вопрос о неизменности элементов планет, как не подлинным вопросом качественной геометрии? Так как показать, что большая ось не имеет вековых изменений, это значит обнаружить, что она постоянно колеблется между некоторыми определенными границами.
Таково обширное поле открытий, простирающееся перед взорами математика. Я не претендовал на то, чтобы пройти его полностью, но я хотел по крайней мере переступить его границы; я ограничился одним весьма частным случаем, тем, который естественно представлялся первым,— именно изучением дифференциальных уравнений первого порядка и первой степени.
НОВЫЕ МЕТОДЫ В НЕБЕСНОЙ МЕХАНИКЕ Предисловие
Задача трех тел настолько важна для астрономии и в то же время настолько трудна, что все усилия геометров уже давно устремлены в этом направлении. Полное и точное интегрирование является, очевидно, невозможным и потому пришлось прибегнуть к приближенным методам. Сначала были использованы методы, состоящие в разложении в ряды по степеням масс. В начале нашего века достижения Лагранжа и Лапласа, а позднее вычисления Леверрье довели эти методы до такой степени совершенства, что до настоящего времени они были достаточны для всех практических нужд. Я мог бы добавить, что они будут достаточны, несмотря на некоторые расхождения в деталях, еще в течение долгого времени, однако не вечно, как это легко себе уяснить.
Конечная цель небесной механики состоит в разрешении великого вопроса: может ли закон Ньютона, и только он один, объяснить все астрономические явления; единственным способом разрешения этого вопроса является проведение насколько возможно точных наблюдений и сравнение их с результатами вычислений. Эти вычисления могут быть лишь приближенными и, кроме того, нет никакого смысла вычислять большее количество десятичных знаков, чем могут дать наблюдения. Поэтому бесполезно требовать от вычислений большей точности, чем от наблюдений, но нельзя от вычислений требовать и меньшей точности. Поэтому приближение, которое мы можем считать удовлетворительным сегодня, окажется недостаточным через несколько веков. Действительно, даже если сделать весьма маловероятное предположение, что измерите л ьпые приборы^не будут более совершенствоваться, уже одно накопление наблюдений в течение нескольких веков позволит определить с большей точностью коэффициенты различных неравенств. Эта эпоха, когда придется отказаться от старых методов, конечно, еще очень далека, но теоретик должен ее предвидеть, так как труды теоретика должны опережать, и часто на много лет, труды вычислителей.
Не нужно думать, что для получения эфемерид с большой точностью в течение длинного ряда лет достаточно вычислить бблыпее число членов в рядах, к которым приводят старые методы. Действительно, методы, состоящие в разложении координат небесных тел по степеням масс, носят общие черты, которые мешают их применению для вычисления эфемерид на долгий срок. Полученные ряды содержат члены, называемые вековыми, в которых время входит вне знака синуса или косинуса. Отсюда следует, что сходимость этих рядов может стать сомнительной для больших значений времени t.
Наличие этих вековых членов связано не с природой задачи, а только с применяемым методом. Действительно, легко видеть, что если истинное выражение координаты содержит член с sin amt, где а — константа, am — одна из масс, то при разложении по степеням т появятся вековые члены
amt-(a3m3t3)/6 + ...
и присутствие этих членов дает весьма ложное представление о настоящем виде изучаемой функции.
Все астрономы уже давно ощущают это. Сами создатели небесной механики во всех случаях, когда требовалось получить формулы, пригодные на длительный срок, как, например, для вычисления вековых неравенств, должны были действовать иначе и отказаться от разложений просто по степеням масс. Таким образом, изучение вековых неравенств при помощи системы линейных дифференциальных уравнений с постоянными коэффициентами можно считать относящимся скорее к новым, чем к старым методам.
Точно так же все усилия геометров во второй половине века имеют •своей главной целыо устранение вековых членов. Первый серьезный шаг в этом направлении был сделан Делоне, чей метод, безусловно, принесет еще много пользы.
Мы упомянем далее исследования Хилла по теории Луны (American Journal of Mathematics, v. I, Acta Mathematica, t. VIII). В этой работе, к сожалению, неоконченной, можно увидеть зачатки большей части достижений науки, сделанных с того времени.
Но ученым, который оказал этой ветви астрономии самые важные услуги, является, несомненно, Гильден. Его работы касаются всех сторон небесной механики, он умело использует все возможности современного -анализа. Гильден добился того, что из его разложений совершенно исчезли все вековые члены, которые так затрудняли его предшественников.
С другой стороны, Линдштедт предложил иной метод, значительно более простой, чем метод Гильдена, но менее общий, поскольку его невозможно применить при наличии членов, которые Гильден назвал критическими.
Благодаря усилиям этих ученых, трудности, происходящие от вековых членов, могут считаться полностью преодоленными, и новые методы, вероятно, будут еще долго удовлетворять требованиям практики.
Однако не все еще сделано. Большая часть этих разложений не сходится в том смысле, в котором геометры понимают это слово. Конечно в настоящее время это не имеет большого значения, поскольку мы уверены, что вычисление первых членов дает весьма удовлетворительное приближение. Но не менее верно и то, что эти разложения не могут давать сколь угодно точное приближение. Поэтому наступит момент, когда они станут неудовлетворительными. Краме того, некоторые теоретические выводы, которые можно было бы сделать па основании вида этих рядов, не будут законными вследствие их расходимости. Так, например, они не могут служить для разрешения вопроса об устойчивости солнечпой системы. Исследование сходимости этих разложений должно привлечь внимание геометров по причинам, которые я изложил и, кроме того, по следующей причине: цель небесной механики не будет достигнута, если мы вычислим эфемериды более пли менее приближенно, не отдавая себе отчета в степени полученной точности. Действительно, если мы обнаружим расхождение между этими эфемеридами и наблюдениями, необходимо, чтобы можно было установить, виноват ли в этом закон Ньютона или все можно объяснить несовершенством теории. Поэтому важпо определить верхний предел допущенной ошибки, на что, может быть, недостаточно обращали внимание до последнего времени.
