В современной науке яркие примеры, в которых именно сложные математические методы помогают что-то рассмотреть, связаны с поиском гравитационных волн и получением прямых изображений экзопланет. Установки LIGO– первый пример настоящих больших данных (big data) в астрофизике. Принимаемый сигнал очень слабый, наблюдениям мешают самые разные шумы – сейсмические, тепловые, квантовые, поэтому с очень высокой частотой (ведь принимается сигнал с частотой до пары килогерц) снимаются десятки тысяч параметров разных узлов установки. Все эти данные надо учесть при анализе. Не исключено, что важным вкладом гравитационно-волновых обсерваторий в народное хозяйство станет именно разработка алгоритмов работы с большим объемом зашумленных данных.
В чем-то аналогична ситуация с наблюдениями экзопланет[37]. Сейчас более чем для десятка из них получены прямые изображения. Это не просто «щелк – и фотография». Планета – очень слабый источник, расположенный рядом с яркой звездой. Угловое расстояние между планетой и звездой составляет в лучшем случае сотые доли угловой секунды[38]. Обычно удается рассмотреть лишь молодые гигантские планеты, расположенные от своих звезд заметно дальше, чем Юпитер от Солнца. Эти планеты, продолжая сжиматься, светятся не за счет отраженного излучения звезды, а за счет собственного излучения, приходящегося в основном на инфракрасный диапазон спектра, в котором сама звезда уже не такая яркая, поскольку максимум в спектре ее излучения приходится на видимый диапазон. Сжатие позволяет превратить часть гравитационной потенциальной энергии в тепло. Поэтому внешние слои таких планет достаточно горячи, их температура (сотни, иногда даже больше тысячи Кельвин) намного выше, чем, например, у Юпитера, которому более 4,5 млрд лет. Пока система молода, звезда может быть окружена так называемым остаточным, или осколочным, (debris) пылевым диском, который, так же как и планеты, излучает в ИК-диапазоне спектра, давая тем самым лишнюю «засветку». Таким образом, даже в случае гигантских молодых планет, расположенных в десятках астрономических единиц от своих звезд, выделение их света является крайне сложной задачей, для решения которой приходится применять математически сложные методы обработки цифровых изображений, убирая свет звезды и шумы.
Прошли те времена, когда фраза «астрономы увидели» точно соответствовала бы действительности. Теперь она обычно подразумевает «астрономы провели наблюдения и в результате многомесячного процесса сложной обработки данных с использованием новейших алгоритмов обработки сильно зашумленной информации смогли выделить слабый, но статистически значимый сигнал». Если бы постоянно не разрабатывались новые методы анализа данных, то многие открытия просто не состоялись бы, несмотря на гигантские телескопы, большие ПЗС- матрицы и оптоволоконные системы.
При расширении описания на новые области исследования, а также введении новых математических методов не только добавляются новые уравнения и появляются элементы с новой структурой («синтаксисом»), но и расширяется «алфавит». Для обозначения новых величин используют новые символы или их комбинации. Это также может бросаться в глаза при сравнении научных текстов.
Наконец, третий упомянутый нами пункт связан не с появлением новых уравнений, а с модификацией уже имеющихся. Даже если революционных прорывов нет, новая математика не понадобилась или не подошла, все равно в новых статьях формулы будут немного другими – скорее всего, длиннее, так как авторы расширяют модели, включая в них новые эффекты, известные, но не учтенные ранее. В уравнениях появляются новые слагаемые, сомножители и коэффициенты. Скажем, решали уравнение для движения астероида вокруг Солнца и добавили влияние Юпитера. А потом и Сатурна, Марса… Изучали аккрецию на одиночные нейтронные звезды, пренебрегая неоднородностями в межзвездной среде, а потом, добавив их, сделали модель детальнее.
Можно взять научные статьи по одной тематике, например небесной механике, и посмотреть, как они менялись на протяжении веков. В «Математических началах» Ньютона формул на удивление мало, там больше слов и рисунков[39]. Оттолкнувшись от его идей, несколько поколений европейских ученых активно развивали эту область. Поскольку в течение долгого времени не появлялось существенно новых подходов, ученые демонстрировали все бóльшую и бóльшую изощренность в рамках одной и той же парадигмы. Это приводило к росту визуальной сложности используемого аппарата, особенно с точки зрения непрофессионала. Можно взять в качестве примера сложные небесно-механические расчеты середины XIX века, например книгу Шарля-Эжена Делоне о движении Луны[40]. Фактически вся книга – лишь пара формул. Вроде бы сложно и накручено, но по сути это только ньютоновская механика. Эдакий аналог стимпанка: паровоз, похожий на звездолет.
Развитие какой-нибудь области теоретической физики может приводить и к компактификации записи. Собственно, ученые специально тратят значительные усилия, чтобы упростить себе жизнь, придумав новые методы записи уравнений или расчетов. Введение лагранжианов и гамильтонианов позволило сделать многие рассуждения и операции в классической механике существенно проще, прозрачнее. Изобретение фейнмановских диаграмм облегчило жизнь физикам-теоретикам в области изучения элементарных частиц[41]. Добившись более рационального способа манипуляций с уравнениями в одной области, можно позволить себе потратить освободившиеся интеллектуальные ресурсы на интеграцию разных физических процессов в едином подходе к описанию какого-нибудь феномена.
При развитии моделей возможно их усложнение путем добавления эффектов из других областей, т. е. происходит некий синтез разных частей физики в приложении к одному явлению. Скажем, на первом этапе, изучая поведение плазмы в астрофизическом источнике, пренебрегли магнитными полями, ограничившись гидродинамикой и ньютоновской механикой. А затем добавили магнитные поля, учли конечную проводимость плазмы. Потом стали учитывать и реакции в плазме. Модель становится все детальнее, и число уравнений растет или же увеличивается их длина.
Хорошим примером возрастания сложности моделей могут служить расчеты вспышек сверхновых. Напомним, что выделяют два основных типа сверхновых: коллапс ядра массивной звезды (типы Ib, Ic и II) и термоядерный взрыв сверхкритического белого карлика (тип Ia)[42]. Чтобы не усложнять изложение, рассмотрим только сверхновые, связанные с коллапсом.
Он начинается, когда давление в ядре не может больше противостоять гравитации. Данная стадия наступает, если в звездных недрах исчерпаны возможности для дальнейших термоядерных реакций, так что обычно коллапсирует железное ядро, окруженное оболочками с преобладанием других элементов (кремния, кислорода и т. д.), – так называемая луковичная структура звезды. Если быстрое сжатие не остановится[43], то образуется черная дыра, и никакого мощного энерговыделения не будет. Однако чаще всего масса ядра для этого недостаточна, а потому коллапс резко прекращается. Это происходит, когда плотность вещества в сжимающемся объеме достигает плотности атомного ядра. Образуется компактный плотный объект – протонейтронная звезда, а снаружи на него падают внешние слои звездного ядра. В результате за короткое время – менее секунды – выделяется колоссальная кинетическая энергия схлопывающегося ядра и падающих на него оболочек. Это и приводит в конечном счете к взрыву сверхновой, если образовавшаяся ударная волна сможет пробиться через окружающее вещество наружу.
Основная часть энергии уносится нейтрино. Заметная доля перейдет в кинетическую энергию сбрасываемого вещества. Наконец, какая-то небольшая часть будет испущена в виде электромагнитного излучения. И этой «какой-то небольшой части» хватит, чтобы вспышка превзошла по блеску все звезды не слишком крупной галактики.
Физика этого события сложна и многогранна. До сих пор мы не можем с уверенностью сказать, что хорошо понимаем процесс взрыва сверхновой. Несмотря на полвека исследований, до сих пор нет достаточно надежной и полной трехмерной компьютерной модели, в которой удалось бы получить разлет вещества без дополнительных предположений. Не хватает совсем чуть-чуть энергии ударной волны, и идет напряженная работа в попытках раскрыть эту загадку.
На протяжении десятилетий модели сверхновых постоянно совершенствовались. Постепенно в расчеты добавлялись всё новые и новые ингредиенты. Первые расчеты начали проводить Стирлинг Колгейт (Stirling Colgate) и его соавторы во второй половине 1960-х гг. Вспышки сверхновых наблюдались с давних времен, но лишь в 1930-е гг. начали вырисовываться основные черты этого явления с наблюдательной точки зрения. К началу 1960-х стало ясно, что коллапс (возможно, сопровождаемый выделением энергии в термоядерных реакциях) способен обеспечить нужную энергетику.
Модель Колгейта и Уайта (Richard White), опубликованная в 1966 г., включала в себя гидродинамику, базовые предположения, касающиеся ядерной физики, и простейшие оценки переноса нейтрино (замечу, что Колгейт, как и многие первые исследователи сверхновых, в том числе и в нашей стране, до того как пришел в астрофизику, занимался разработкой термоядерного оружия; причина проста: у этих задач много общего в смысле физики процессов). Несмотря на то что статья была настоящим прорывом и оказала большое влияние на развитие сценариев взрывов сверхновых (это, в частности, выражается и в том, что сейчас на нее есть несколько сотен ссылок из других, более поздних, научных публикаций), модель была слишком простой (отмечу, что при этом в статье мы обнаруживаем более сотни только пронумерованных формул!), чтобы дать адекватное описание феномена.