§271. Джордж Биркгоф (1931) сформулировал и доказал эргодическую теорему, относящуюся к эволюции произвольной системы, состояние которой вполне определяется конечным числом параметров, а ход изменения – дифференциальными уравнениями, допускающими интегральный инвариант. [578] Биркгоф доказал, что система является эргодической в том и только в том случае, если её фазовое пространство нельзя разбить на сумму двух инвариантных (то есть состоящих из целых траекторий) множеств, каждое из которых имеет положительный объём и одновременно вывел при весьма общих предположениях, и само существование временны́х средних. Александр Яковлевич Хинчин (1931), комментируя Биркгофа, представил, что для функции, модуль которой интегрируем, имеет место сходимость при всех показателях параметра х вне некоторого множества нулевой173 меры. [579] Если временной параметр t принимает как положительные, так и отрицательные значения, то в обеих эргодических теоремах можно в качестве сходимости брать среднее по отрезку [– t, 0] или по симметричному отрезку [– t, t] (а также по некоторым отрезкам, зависящим от времени t более сложным образом), получая при устремлении в бесконечность тот же предел функции. В общем виде эргодическая теорема Биркгофа – Хинчина утверждает, что для динамической системы, сохраняющей меру, и интегрируемой по этой мере функции на пространстве для почти всех начальных точек соответствующие им временны́е средние сходятся. Более того, если инвариантная мера эргодична, то для почти всех начальных точек предел один и тот же – интеграл функции по данной мере. Этот принцип формулируется как «временно́е среднее для почти всех начальных точек равно пространственному». Джон фон Нейман (1932) сперва привел свои доказательства квазиэргодической гипотезы классической Гамильтоновой динамики с помощью открытой Бернардом Осгудом Купманом (1931) редукции174 гамильтоновых систем к Гильбертову пространству и с использованием методов, связанных с его исследованиями алгебры линейных преобразований в этом пространстве, а затем он вывел, что более слабая формулировка его утверждения, является точным математическим эквивалентом физического положения вещей. [580,581] Фон Нейман отметил, что знание спектрального разрешения, которое является фундаментальным в методе Купмана, позволяет полностью доминировать здесь над физической ситуацией; в частности, оно дает численную оценку степени сходимости предельного процесса, связанного с эргодической гипотезой, тогда как доказательство Биркгофа носит неконструктивный характер. Андрей Николаевич Колмогоров (1938) путем исключения противоречия неравенства нашел упрощенное доказательство эргодической теоремы Биркгофа—Хинчина. [582]
§272. В 1932 году Ян Оорт, рассматривая звезды одинаковых спектральных классов, примерно одинаковой массы и возраста, и оценивая их гравитационную силу, необходимую для их связи в единую систему по средним скоростям и вертикальным расстояниям, впервые рассчитал плотность диффузного межзвёздного вещества с помощью z-компоненты скоростей звёзд (перпендикулярной плоскости Галактики) и нашёл её предел – 3⋅10>—24 г/см³. [583] Плотность вещества, требуемая для состояния устойчивого равновесия, более чем в полтора раза превышала плотность видимого вещества, количество которого было посчитано по наблюдаемым звездам (параметр, носящий название «предел Оорта»). Данная модель была опровергнута несколько лет спустя в силу своей неточности – в ней было фактически проигнорировано наличие у Млечного Пути сферической составляющей в центре (так называемого балджа), что привело к сильному завышению необходимой плотности диска. [584]