Проверка математических основ моделирования океана

Глобальные климатические модели, такие как Energy Exascale Earth System Model, разработанная Министерством энергетики США, опираются на множество уравнений, описывающих естественные процессы Земли, включая круговорот воды, поглощение CO₂ сушей и океаном, а также темпы таяния льда. Проверка и валидация этих уравнений критически важны для повышения доверия к моделям. Ключевым методом верификации является измерение скорости сходимости численных решений тестовых задач к точным аналитическим решениям.

Для вычислительной эффективности океанские модели обычно разделяют уравнения на 3D-бароклинную компоненту (медленные внутренние гравитационные волны и течения) и 2D-баротропную компоненту (быстрые поверхностные гравитационные волны), которая описывается уравнениями мелкой воды. Сиддхартха Бишну и его коллеги представили набор тестовых случаев, сфокусированных именно на этих уравнениях, в Journal of Advances in Modeling Earth Systems.

Исследователи, опираясь на опыт разработки модели MPAS–Ocean, провели обзор теоретических основ уравнений мелкой воды и методов их дискретизации, представили воспроизводимые тестовые случаи и показали, что скорости сходимости соответствуют теоретическим ожиданиям. Эти тесты позволят другим учёным проверять компоненты своих моделей без чрезмерных вычислительных затрат, а также могут быть полезны для более широких задач гидродинамики и в качестве учебного инструмента.