Задача идентификации двух функций в системе уравнений турбулентного пограничного слоя

УДК 517.9

Задача идентификации двух функций в системе уравнений турбулентного пограничного слоя

Ирина В.Степанова*

Институт вычислительного моделирования СО РАН, Академгородок 50/44, Красноярск, 660036,

Россия

Получена 18.03.2009, окончательный вариант 20.04.2009, принята к печати 10.05.2009 Для системы уравнений плоского турбулентного пограничного слоя решена .задача групповой классификации относительно функций турбулентного трения и градиента давления. Найдены все специализации произвольных элементов, при которых происходит расширение основной алгебры операторов, допускаемых исследуемой системой.

Ключевые слова: турбулентность, пограничный слой, групповой анализ, групповая классификация.

Введение

Проблема изучения систем дифференциальных уравнений в частных производных в настоящее время имеет различные направления. С одной стороны, эта проблема может рассматриваться в рамках анализа, где основным предметом исследований является определение решений уравнений при условии корректной постановки задач. С другой стороны, благодаря работам Софуса Ли, взгляды на дифференциальные уравнения в частных производных стали развиваться в новых направлениях. Предметом интересов стала сама структура уравнений. Такой подход к исследованию систем дифференциальных уравнений получил название метода группового анализа или симметрии [1, 2]. Следует отметить, что этот метод, направленный на проведение "качественных" исследований систем уравнений в частных производных, по его конечной информативности в некотором смысле уступает методам, которые ориентированы на построение решений для конкретных задач. Речь идет прежде всего о сравнении с численными методами решения уравнений. Однако к преимуществам метода группового анализа относятся более широкие возможности для организации системного подхода к изучению явления или процесса, моделируемого дифференциальными уравнениями, возможность замены математической модели процесса более простой моделью или моделью, представленной в специальной, удобной форме, в некоторых случаях — возможность получения точных решений. На самом деле численное решение позволяет получить конкретный ответ на конкретный вопрос, но не дает представления о структуре решения. Поэтому интерес к выделению классов решений, зависящих от произвольных параметров и функций, возрос именно в связи с появлением большого численного материала расчетов, нуждающихся в интерпретации. Таким образом, метод группового анализа дополняет методы численного моделирования и часто является предварительным этапом задачи получения решений системы дифференциальных уравнений.

* e-mail: stepiv@icm.krasn.ru © Siberian Federal University. All rights reserved

В работе рассматриваются уравнения нестационарного турбулентного пограничного слоя в случае заданного градиента давления:

++9=

"х + Ъу = 0.

Здесь "(Ь, х,у), ъ(Ь,х,у) — проекции вектора скорости на оси х,у, V — коэффициент кинематической вязкости, 9(Ь,х) — произвольная функция, определяющая градиент давления, т(у, "у) — произвольная функция, определяющая дополнительное турбулентное трение.

На самом деле пристеночная турбулентность является предметом экспериментального и теоретического исследования уже в течение многих лет [3]. Трудности при математическом описании таких процессов объясняются сложностью гидродинамических явлений, происходящих в непосредственной близости от стенки.

Здесь будут изучены вопросы групповой классификации и вычисления наиболее широких групп непрерывных преобразований, допускаемых уравнениями (1) в каждом конкретном случае специализации 9(Ь, х), т(у,"у). Необходимо сказать, что каждой группе непрерывных преобразований ставится во взаимнооднозначное соответствие алгебра операторов, допускаемых исследуемой системой уравнений, и на самом деле в результате анализа, проведенного в данной работе, найдены спецификации классифицируемых функций 9(Ь, х), и т(у, иу), а также алгебры операторов, допускаемых исследуемыми уравнениями при каждой специализации произвольных элементов. Восстановить непрерывные группы преобразований из алгебр операторов не составляет труда [1].

1. Построение определяющих уравнений

Инфинитезимальный оператор, допускаемый системой (1), ищем в виде

•X = + +

где , г)1, п2 — функции переменных Ь, х, у, и, V. Заметим, что подробно алгоритм построения определяющих уравнений описан в [1].

Формулы продолжения оператора (2) строятся с помощью оператора полного дифференцирования Б = (Бг,Бх,Бу), имеющего компоненты

А = д + щди + ъА + ..., Бх = дх + "хди + Ъхду + ...,

Бу = ду + "у ди + Ъу ду + ... + "уу диу + ...,

где явно указаны только слагаемые, фактически участвующие в построении определяющих уравнений. Для формирования этих уравнений нужно подействовать продолженным оператором (2) на уравнения (1) и перейти на многообразие, задаваемое системой (1). Зададим это многообразие следующим образом:

"г = -и"х - ъиу - 9 + (V + тиу )"уу + ту,

"х Ъу .

Вначале конкретизируем функциональный вид оператора X, подчинив его лишь условию, чтобы он допускался вторым уравнением системы (1). Действуя продолженным оператором X на уравнение "х + ъу = 0, переходя на многообразие (3) и расщепляя полученное

равенство относительно производных от функций и, V, получим, что зависит только от ж. Кроме того, выполнены соотношения

е2+еи = о,

пХ - еХ = о,

е° +тиу ) = о,

-пи - <0 + еХ + - е2 = о,

<0 - е2 + пи = о,

пХ+п2 -

составляющие часть определяющих уравнений для нахождения координат оператора X. Далее с учетом вышесказанного, действуя дважды продолженным оператором XX на первое уравнение системы (1), переходя на многообразие (3), производя расщепление полученного равенства относительно производных функций и, V и анализа этих уравнений, получим зависимости

е0 = е°(м), е1 = еЧм), е2 = е2(м,у,«о, п1 = пЧм,«), п2 = п2(м,у,«^).

Кроме этого, по-прежнему выполнены соотношения (6)— (9), а также выведены определяющие уравнения

п1 = и(е1 - е0 - <0)+еХ,

еи тиу иу = о,

еил*+тиу) = о,

+тиу )еи - тиу иу (пи - е2 ) = о,

е2туиу - ^ + тиу )(пии - 2е2и) = °

е2туиу + (V+тиу )(-2е2 + е0+<0) = о, пХ + (ту - 0)(пи - е0 - ие0)+«пХ+еЧ + еЧ - е2туу = о. v(еí0+ие0 - е2) - (ту - ^)еи - е2 - <2 + п2 - туиу (пи - е2) = о.

10) 11) 12)

13)

14)

15)

16) 17)

Среди них есть уравнения, играющие роль ограничений на широту допускаемой группы непрерывных преобразований в пространстве переменных (£, ж, у, и, V). Это соотношения (6), (9), (11)— (17).

2. Групповая классификация уравнений

Сначала найдем основную алгебру операторов, допускаемую системой (1) для произвольных значений функций 0,т. Понятно, что в этом случае для выполнения равенства (16) необходимо, чтобы е0 = е1 = е2 = о, тогда из (10) и (17) следует, что п2 = п1 = о.

Тем самым основная группа в данном случае тривиальна и не содержит ни одного преобразования координат, допускаемого уравнениями (1) при произвольных значениях классифицируемых функций.

Необходимо отметить, что уравнения (1) сохраняют свой вид при преобразованиях переменных вида:

т = а1 Ь + а2, ж = азж + до (г), У = а4У + а5, и = а- 1ази + дог, V = а- 1а4«. (18) При этом произвольные функции преобразуются так:

т = а-2аза4Т + аву + а7, 0 = а-2аз# + ав - догг.

Здесь а^, г = 1, 7 — произвольные постоянные, до(Ь) — произвольная гладкая функция. Две системы (1), переходящие одна в другую посредством преобразований (18), (19), будем называть эквивалентными. Групповая классификация будет устанавливаться с точностью до такой эквивалентности.

Замечание 1. При решении уравнений (6), (9), (11)-(17) будем полагать, что V+тИу = 0. В случае V + тИу = 0 можно показать, что система (1) интегрируется в квадратурах в лагранжевых координатах.

При условии выполнения замечания 1 уравнения (6), (9), (11)—(17) упрощаются до следующих:

£0 = 0,

-п1 + £* + п2 - £2 = 0,

-£2 + п2 = 0,

пХ + п2 =0,

П1 = и

£и тин Пу = 0,

+ т„у )£2 - т„у„у

£2« = 0,

£2ТУ«у -

£2Ту«у +

-

- 0)

»2)

Из (24) следует = 0, из (22) — п^ = 0, из (21) — £2у = 0. Тем самым равенства (25), (28) дают три классифицирующие возможности: Л.т„нИн = 0. В. гуиу = 0. С. £2 = 0. Рассмотрим последовательно каждую из них.

Л. Если тИуИу = 0, тогда т = а1(у)иу + «2(у), где «1, «2 — произвольные гладкие функции переменной У. При подстановке этого представления в (26) получим

V + «1)£2 = 0,

из которого следует либо V + «1 =0, что противоречит замечанию 1, либо £2 = 0, а это случай С и будет разобран далее как более общий.

о

V

г

1

у

B. туИу = 0, тогда т = ) + «2(y), где «1, «2 — произвольные гладкие функции своих переменных. При подстановке данного представления т в (25), (26) получим снова две возможности: либо «2 = —vuy + const, что приводит к противоречию с .замечанием 1, либо снова = 0.

C. = 0. Решая в данном случае уравнения (20) — (31), получим координаты оператора X

е° = 2/o(t), е1 = (/ + co)x + /i(t), е2 = (c° — ft°)y + /2(t,x),

n1 = (c° — ft°)u + f°tx + ft1, n2 = (c° — 3/0 )v — f°y + ufx2 + ft2,

где c° — произвольная постоянная, f °(t),f1 (t), f 2(t,x) — произвольные гладкие функции своих аргументов. Для определения классифицируемых функций т, в остаются два равенства:

ftttx + ft + (ту — в) (c° — 3ft°) + 2f °et+

+

Как видно, уравнение (32) является уравнением только на функцию т, поэтому сначала следует решить его, а затем, подставляя найденное выражение для т в уравнение (33), получить уравнение для нахождения в.

При решении уравнения (32) необходимо рассмотреть следующие возможности: I. т = 0. II. c° — ft° = c° — 2ft° = f2 =0. III.c° — ft° = c° — 2ft°, f2 = 0. IV. c° — ft°, c° — 2ft° = 0, f2 = 0. V. c° — ft° = 0.

Дальнейшее изложение посвящено последовательному анализу этих случаев.

I. Когда т = 0, уравнения (1) описывают течение в ламинарном пограничном слое. Этот случай описан в [1], где подробно изучены групповые свойства уравнений модели при заданном градиенте давления e(t,x). Здесь считаем, что т в ноль не обращается.

II. Здесь т — произвольная функция. Из (33) получаем классифицирующее уравнение на в:

ft + 2c1et + f 1вх = 0,

а координаты оператора X перепишутся в виде

е° = 2c1, е1 = f 1(t), е2 = 0, n1 = ft1, n2 = 0,

где c1 — произвольная постоянная.

III. т = a(uy) + в(у), a(uy) = const — произвольная гладкая функция; при подстановке в (33) получаем соотношение

ft + 2c1et + f 1вх — f 2вуу = 0.

Следует заметить, что равенство (35) является классифицирующим уравнением не только на e(t, x), но и на функцию в(у). Координаты оператора X преобразуются в следующие:

е° = 2c1, е1 = f 1(t), е2 = /2м, n1 = /1, n2 = «/X + /,

при этом c1 — произвольная постоянная.

IV. т = —+ a(uy)eáy + в(у), О = ±1, a = const — произвольная гладкая функция. Для определения функций 0(t,x), в(у) остается уравнение

/1 + 2c°0 + 2

Координаты оператора X примут вид

С° = 2(co t + ci), С1 = 2cox + / 1(t), С2 = — 2C0, n1 = /1, П2 = —2c°v,

о

где ci — произвольная постоянная.

V. т = —vuy + a(uy)yn + в(у), n = 0, a = const — произвольная гладкая функция, кроме того, от равенства (32) остается соотношение

(4 — n)/° + c°(n — 2) = 0,

откуда следует необходимость выделения случаев Va. n = 4. Vb. n = 2. Vc. n = 4, n = 2. В случае Va уравнение (33) преобразуется к виду

/t°ttx + /it + 3/°0 + 2/Ч +

координаты оператора X запишутся как

С° = 2/° (t), С1 = /t°x + / 1(t), С2 = /t°y, П1 = /t°u + /t°tx + /t1, П2 = — 3/Qv — /Qty.

В случае Vb равенство (33) перейдет в

/¿ — c°0 + 2c10t +

а оператор X будет иметь следующие координаты:

С° = 2c1, С1 = c°x + / 1(t), С2 = coy, n1 = c°u + /t1, n2 = c°v

с некоторой произвольной постоянной c1 .

Наконец, в случае Vc уравнение (33) запишется как

(4 — n)/1t — 2(n — 1)c°0 + 2((2 — n)c°t + (4 — n)d)0t+ + ((6 — 2n)c°x + (4 — n)/ 1)0x + 2c° ((n — 1)ву — увуу) = 0.

Координаты оператора примут вид

0 2 n 1 6 2n 1 2 n 1

С° = 2 -¡-c°t + c1 , С1 = -.-c°x + / 1(t), С2 = -.-c°y,

4 n 4 n 4 n

n — 1 1 2 2n — 2

--c°u + /t, n = ^-c

4 n 4 n

где С1 — произвольная постоянная.

Последовательно анализируя классифицирующие уравнения (34) — (39 ), получим всевозможные спецификации функций ж),в(у), при которых происходит расширение алгебры допускаемых системой (1) операторов. Для удобства результат групповой классификации представлен в виде табл. 1.

Далее можно для полученных конкретных представителей классифицируемых функций на соответствующих операторах, представленных в табл. 1, строить инвариантные или частично инвариантные решения системы уравнений (1), выбирая при этом такие специализации произвольных элементов, которые могут быть продиктованы зависимостями, полученными экспериментально.

Таблица 1

Групповая классификация относительно функций турбулентного трения и

градиента давления

№ т (y,uy) <9(t,x) Операторы

1 Произвольная Произвольная Lo = {0}

2 Произвольная 0 dt, df, tdf + d„

3 Произвольная a(x) sin(v/CT't)df+v/CT' cos(v/0't)d„, cos(v/0't)df — л/а' sin^v/o't)d„,dt

4 Произвольная w(t)x ^(t)df + ^td„

5 вК) Произвольная h(t, x)dy + (uhf + ht)dv

6 вК) 0 dt, df, tdf + d„, h(t, x)dy + (uhf + ht)dv

7 вК) + Sy2 0 dt, 2Sf (t)df + fttdy + 2Sftd„ + ftttdv

8 —vuy + a(uy )e5y 0 dt, df, tdf + d„, tdt + xdf — Sdy — vdv

9 —vuy + a(uy )e5y 1Y (f) tdt + xdf — Sdy — vdv

10 —vuy + a(uy )yn 0 dt, df, tdf + d„, (2 — n)tdt + (3 — n)xdf + ydy + ud„ + (n — 1)vdv

11 —vuy + a(uy )yn 1 — n ( 3 — n ) t2 Y(xt ^2 ) (2—n)tdt + (3 — n)xdf +ydy+ud„ + (n — 1)vdv

12 —vuy + a(uy )y4 0 dt, df, tdf+d„, 2tdt+xdf—ydy—ud„—3vdv, t2dt+ txdf — tydy + (— ut+x)d„ + (—3tv —y)dv

13 —vuy + a(uy )y2 0 dt, df, tdf + d„, xdf + ydy + ud„ + vdv

14 —vuy + a(uy )y2 w(t)x xdf + ydy + ud„ + vdv ,y(t)df + y>td„

15 —vuy + a(uy )y2 e5iY(xe-5i) dt + xdf + ydy + ud„ + vdv

В табл. 1 использованы следующие обозначения: a(uy) = const, в(uy) = —vuy, y = 0, a(x) = const, w(t) = const, h(t,x) = 0, f (t) = 0, <^>(t) — произвольные гладкие функции своих аргументов, причем ^ удовлетворяет уравнению ytt + w(t)<^> = 0, S = ±1, n = 0, = 2, = 4 — произвольная постоянная, а' = af.

Работа выполнена при поддержке гранта НШ 2260.2008.1 и интеграционного проекта СО РАН №65.

Список литературы

[1] Л.В.Овсянников, Групповой анализ дифференциальных уравнений, М., Наука, 1978.

[2] П.Олвер, Приложения групп Ли к дифференциальным уравнениям, М., Мир, 1989.

[3] Е.У.Репик, Ю.П.Соседко, Обзор экспериментальных исследований пристеночной турбулентности , Труды III Всесоюзного семинара по моделям механики сплошной среды, Новосибирск, 1976, 7-35.

The Identification Problem for two Functions in the system of Turbulent Boundary Layer Equations

Irina V.Stepanova

The problem of group classification for two-dimentional turbulent boundary layer equations is solved for the functions of turbulent friction and the gradient of pressure. The specializations arbitrary functions which basic algebra of operators extension is occured are found.

Keywords: turbulence, boundary layer, group analysis, group classification.