Automated generation of turbulence shell models by the methods of computer algebra

Описана разработанная методика генерации уравнений каскадных моделей турбулентности с помощью систем компьютерной алгебры. Методика позволяет варьировать размер масштабной нелокальности модели, вид квадратичных законов сохранения и спектральных законов, знаменатель геометрической прогрессии масштабов. Ее использование позволяет быстро и безошибочно генерировать целые классы моделей. Может использоваться для разработки каскадных моделей гидродинамических, магнитогидродинамических и конвективных турбулентных систем. There is a great variety of shell turbulence models. Such models reproduce certain characteristics of turbulence. A model that could reproduce all turbulence regimes does not exist at the moment. Information about a particular model is contained in a set of persistent quantities, which are some quadratic forms of turbulent fields. These quadratic forms should be formal analogs of the exact conserved quantities. It is important to note that the main idea of Shell models presupposes a refusal to describe the geometric structure of movements. At the same time, it is well known that turbulent processes in spaces of two and three dimensions behave differently. Therefore, the provision of certain combinations of conserved quantities allows indirect introducing into the shell model the information about the dimension of the physical space in which the turbulent process develops. Purpose. The aim of this work was to create software tools that would quickly generate classes of models that satisfy one or another set of conservation laws. The choice of a specific model within these classes can then be specified using additional physical considerations, for example, the existence of a given probability distribution for the interaction of certain shells. Methods. The developed technique for generating equations of shell turbulence models is carried out using symbolic computation systems (computer algebra systems - CAS). Note that symbolic packages are used not for studying ready-made shell models, but for the automated generation of the equations of these models themselves. The technique allows varying the value of the scale nonlocality of the model, the form of the quadratic conservation laws and spectral laws, the denominator of the geometric progression of scales. It allows quickly and accurately generating the entire set of classes of the models. It can be used to develop shell models of hydrodynamic, magnetohydrodynamic and convective turbulent systems. Findings. It seems that the proposed technique will be useful for studying the properties of turbulence in the framework of cascade models