Ряды Фурье и ранняя Вселенная: как математика измерила космос

Акустические колебания ранней Вселенной

Сахаров в 1960-х предположил, что ранняя плотная Вселенная колыхалась как упругая среда. Притяжение стягивало уплотнения внутрь, давление света толкало наружу. Возникли акустические колебания. Когда Вселенная остыла и свет отделился от вещества, колебания прекратились, а их след застыл в древнем свете и в крупном рисунке расположения галактик.

У нас есть два независимых носителя одного сигнала. Первый это карта древнего света, который идёт к нам с эпохи после остывания. Второй это статистика расстояний между галактиками. Оба хранят один и тот же ритм ранних колебаний.

Ряды Фурье как ключ к чтению космического ритма

Ключ к чтению этого ритма даёт ряд Фурье. Мы берём сложный узор и раскладываем его на частоты, как аккорд на ноты. В спектре появляется гребёнка пиков. Это и есть гармоники тех древних колебаний.

Расстояния между пиками определяются тем, как далеко успела пройти звуковая волна до остановки. Этот масштаб называют звуковым горизонтом. Он работает как стандартная линейка. По нему измеряют расстояния и темп расширения Вселенной. Так картинка превращается в числа.

Как Фурье-анализ подтвердил модель Большого взрыва

В этом веке спутники WMAP и Planck точно измерили спектр древнего света. Обзоры галактик вроде SDSS нашли тот же масштаб в материи. Совпадение пиков в двух независимых Фурье-разложениях превратило гипотезу Сахарова в строгий количественный тест горячей модели Большого взрыва и в рабочий инструмент современной космологии.

Ряды Фурье делают Вселенную измеримой

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

Но есть ещё одно необычное приложение рядов Фурье — попробуйте посчитать вот такую сумму:

1 + 1/2² + 1/3² + 1/4² + 1/5² + … = ?