Construction of complex shell models of turbulent systems by computer algebra methods
Authors: Г.М. Водинчар, , Л.К. Фещенко, , Н.В. Подлесный, 
Published: December 2022

Одним из популярных классов моделей мелкомасштабной турбулентности является класс каскадных моделей. В этих моделях поля турбулентной системы представляются зависящими от времени коллективными переменными (вещественными или комплексными), которые осмысливаются как интенсивность поля в заданном диапазоне пространственных масштабов. Сама модель является некоторой системой квадратично нелинейной обыкновенных дифференциальных уравнений для коллективных переменных. Составление новой каскадной модели требует достаточно сложных аналитических преобразований. Это связано с тем, что система уравнений модели при отсутствии диссипации должна иметь некоторые квадратичные инварианты и сохранять фазовый объем. Кроме того, есть ограничения, связанные с невозможностью нелинейного взаимодействия взаимодействия некоторых диапазонов масштабов. Все это накладывает ограничения на коэффициенты нелинейных членов модели. Ограничения образуют систему уравнений с параметрами. Сложность этой системы резко возрастает для нелокальных моделей, когда описывается взаимодействие не только близких диапазонов масштабов и при использовании комплексных коллективных переменных. В работе предложена вычислительная технология, позволяющая автоматизировать процесс построения каскадных моделей. Она позволяет легко комбинировать различные инварианты и значение нелокальности. Технология основана на методах компьютерной алгебры. Автоматизирован процесс построения уравнений для неизвестных коэффициентов и их решения. В результате получаются параметрические классы каскадных моделей, обладающих нужными аналитическими свойствами.
One popular class of small-scale turbulence models is the class of shell models. In these models, the fields of a turbulent system are represented by time-dependent collective variables (real or complex), which are understood as the field intensity meassure in a given range of spatial scales. The model itself is a certain system of quadratically nonlinear ordinary differential equations for collective variables. Construction a new shell model requires rather complex analytical transformations. This is due to the fact that the system of model equations in the absence of dissipation must have some quadratic invariants and phase-space volume is unchanged. In addition, there are limitations associated with the impossibility of non-linear interaction of some scales ranges. All this imposes limitations on the coefficients of the nonlinear terms of the model. Constraints form a system of equations with parameters. The complexity of this system increases sharply for non-local models, when the interaction is described not only close ranges of scales and when complex collective variables are used. The paper proposes a computational technology that allows automating the process of building shell models. It makes it easy to combine different invariants and the meassure of nonlocality. The technology is based on computer algebra methods. The process of constructing equations for unknown coefficients and their solution has been automated. As a result, parametric classes of cascade models are obtained that have the required analytical properties.