Йэн Стюарт - Математика космоса [Как современная наука расшифровывает Вселенную]

Объектом внимания Саари является исключительно логическая структура стандартной математической модели, которую астрономы используют для вывода уравнения Кеплера. Его расчеты заставляют усомниться в том, что такая модель применима в данном случае. Это радикальная гипотеза, но Саари — специалист в математике задачи n тел и гравитации в целом, поэтому имеет смысл познакомиться с его рассуждениями. Я избавлю вас от подробных расчетов — если захочется их проверить, загляните в его статью [102] Позднее Кадоваки (Kevin Kadowaki) подверг серьезной критике подход Саари в применении к галактикам, в частности, потому что распределение массы в галактиках далеко от сферической симметрии и не описывается уравнением Кеплера. Заметим также, что кривые вращения галактических дисков, как правило, определяются по движению динамически холодного газа, к которому не применимы представления о дискретных массивных телах. — Прим. ред. .

Все опирается на уравнение Кеплера. Это уравнение следует прямо и однозначно из одного ключевого модельного допущения. Реалистичная модель галактики должна включать сотни миллиардов звезд. Их планетами и другими мелкими телами, вероятно, можно пренебречь, но точная модель представляет собой задачу n тел, где n равно 100 миллиардам или больше. Возможно, это число можно уменьшить без особого изменения результатов, но, как мы видели в главе 9, даже при n = 3 (и даже 2,5) задача n тел решается очень тяжело.

Поэтому астрономы принимают модельное допущение, которое вместе с одной элегантной математической теоремой позволяет упростить галактику до одного-единственного тела. После этого они, чтобы вывести из уравнения Кеплера теоретическую кривую вращения, анализируют движение звезды вокруг этого тела. Допущение состоит в том, что на галактических масштабах галактики больше похожи на непрерывную жидкую среду — звездный суп, чем на дискретную систему n тел. В таких условиях «непрерывной среды» применима чудесная теорема, доказанная Ньютоном. (При помощи этой теоремы он показывал, что сферические планеты можно рассматривать как точечные массы.) Суть теоремы заключается в том, что при условии некоторых разумных допущений касательно симметрии суммарная сила, действующая внутри и на некоторой сферической оболочке, равна нулю, тогда как сила, действующая вовне, в точности соответствует той, какой она была бы, если все вещество внутри оболочки было сосредоточено в центральной точке.

Представьте себе звезду в галактике — назовем ее пробной звездой — и представьте сферическую оболочку с центром в центре галактики, проходящую через эту звезду. Масса внутри этой оболочки — это то, что я чуть раньше называл «масса внутри данного радиуса». Независимо от того, как ведут себя звезды внутри оболочки, мы можем применить теорему Ньютона и сосредоточить их суммарную массу в центре галактики, при этом суммарная сила, приложенная к пробной звезде, никак не изменится. Звезды вне оболочки никакого воздействия на нее не оказывают, потому что пробная звезда лежит на этой самой оболочке. Значит, движение пробной звезды вокруг центра галактики сводится к задаче двух тел: одна звезда обращается вокруг очень тяжелой точечной массы. Уравнение Кеплера непосредственно следует из такой постановки задачи.

Допущение о симметрии, необходимое для того, чтобы можно было применять теорему Ньютона, состоит в том, что все звезды движутся по круговым орбитам и что все звезды на одинаковом расстоянии от центра галактики движутся с одинаковой скоростью, то есть динамика системы обладает вращательной симметрией. В этом случае несложно вывести точные решения уравнений движения для звездного супа. Можно выбрать либо формулу для распределения массы, либо формулу для кривой вращения, и при помощи уравнения Кеплера вывести вторую формулу. Ограничение одно: по мере роста радиуса масса должна увеличиваться.

Таким образом, модель звездного супа непротиворечива, точно согласуется с Ньютоновой гравитацией и подчиняется уравнению Кеплера. Лежащее в ее основе допущение об осевой симметрии тоже, судя по всему, не противоречит наблюдениям. Так что мы получаем освященную временем модель, основанную на умной и верной математике, и к тому же она делает задачу решаемой. Неудивительно, что астрономам она нравится.

К несчастью, в ней есть математический недостаток. Пока не ясно, насколько этот недостаток серьезен, но он определенно небезобиден и может даже оказаться фатальным.

Два аспекта этой модели вызывают вопросы. Один из них — это допущение о круговых орбитах всех звезд. Но самое серьезное — допущение о непрерывной среде (звездный суп). Проблема в том, что сглаживание распределения звезд внутри оболочки игнорирует важный аспект их динамики. А именно — эффект взаимодействия между звездами, близкими к оболочке, и той звездой, скорость обращения которой мы пытаемся вычислить.

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

Однако в реальной системе n тел звезды — дискретные объекты. Если вблизи пробной звезды проходит другая звезда, дискретность подразумевает, что эта проходящая звезда доминирует в местном гравитационном поле и притягивает пробную звезду к себе. Иначе говоря, проходящая звезда «тянет» пробную за собой. Это ускоряет обращение пробной звезды вокруг галактического центра. Конечно, одновременно это замедляет проходящую звезду, но ей на смену быстро приходит другая звезда, идущая непосредственно позади. Такой интуитивный аргумент позволяет предположить, что уравнение Кеплера недооценивает скорости обращения на больших расстояниях от центра. Если так, это помогает объяснить аномалию.

Вот очень упрощенная аналогия. Представьте себе маленький шариковый подшипник, приставленный сверху к вращающемуся прядильному колесу (оба находятся в одной плоскости, а гравитация отсутствует, и ничто не возмущает подшипник). Если колесо представляет собой идеально гладкую окружность, то оно никак не влияет на подшипник и может с тем же успехом покоиться. Дискретная модель n тел, однако, заменяет колесо на зубчатую шестеренку. Теперь каждый зубчик шестеренки ударяет по подшипнику, давая ему толчок в направлении вращения. С уменьшением зубчиков толчки не исчезнут, хотя и ослабнут, зато зубчиков будет больше. Так что снижение толчка за счет очень маленьких зубчиков — это не то же самое, что толчки от колеса вообще без зубчиков, которые равны нулю.