CC BY
24
Вычислительные технологии
Том 12, № 6, 2007
ГРУППОВАЯ КЛАССИФИКАЦИЯ УРАВНЕНИЙ ПЛОСКОГО НЕСТАЦИОНАРНОГО ПОГРАНИЧНОГО СЛОЯ*
И.В. Степанова Институт вычислительного моделирования СО РАН,
Красноярск, Россия e-mail: [email protected]
Group properties of the nonstationary turbulent boundary layer equations are investigated. Operators of the obtained kernel of the basic Lie algebras depend on two arbitrary functions that is why this kernel is infinitely dimensional. The special representations of the turbulent friction function are found. Operators increasing the kernel of the basic Lie algebras and those which satisfy the governing system of equations are constructed according to special representations of the turbulent friction function.
1. Описание системы уравнений
В [1] была проведена групповая классификация уравнений турбулентного пограничного слоя по функции турбулентного трения только для установившихся течений. С точки зрения практических приложений такие случаи пограничного слоя, вообще говоря, наиболее важны. В данной работе рассматривается система уравнений турбулентного пограничного слоя, изменяющегося по времени, т. е. нестационарного.
Обычно под нестационарным пограничным слоем понимают пограничный слой, образующийся при возникновении движения из состояния покоя, или слой, возникающий при периодическом движении [2]. При движении, возникающем из состояния покоя, тело и жидкость до определенного момента времени находятся в состоянии покоя, а затем либо тело начинает двигаться в покоящейся жидкости, либо жидкость начинает набегать на покоящееся тело. При таком разгоне тела или жидкости в непосредственной близости от стенки сначала образуется очень тонкий пограничный слой, в котором скорость течения быстро изменяется от скорости тела до скорости внешнего течения. Оба эти случая могут служить примером разгонного течения с образованием неустановившегося пограничного слоя. Запишем уравнения для плоского нестационарного пограничного турбулентного слоя:
ut + uux + vuy + px = Uyy (1 + gUy) + gy,
Py = 0, (1)
ux + vy = 0.
*Работа выполнена при поддержке гранта НШ 5873.2006.1, интеграционного проекта СО РАН 2.15 и индивидуального гранта Красноярского краевого фонда науки, проект 17С088.
© Институт вычислительных технологий Сибирского отделения Российской академии наук, 2007.
Здесь и(*,х,у), х,у) — проекции вектора скорости на оси х и у; р(*,х) — давление; д(у,иу) — турбулентное трение. Не нарушая общности рассмотрения, можно принять, что плотность жидкости и коэффициент вязкости равны единице.
Ставится задача групповой классификации по отношению к произвольному элементу д: (у,иу) ^ д(у,иу) для системы (1). Дальнейшее изложение и посвящено решению этой задачи.
2. Определяющие уравнения
Инфинитезимальный оператор, действующий на систему (1), ищем в виде
X = 4° - + + + + п2- + п3- (2)
х = 4 & + 4 <9х + 4 <9у + п <9и + п ди + п др' (2)
где 40,41,42, п1, П2' П3 — функции переменных ¿, х, у, и, ^,р. Формулы продолжения оператора (2) строятся с помощью оператора полного дифференцирования О = (О4, ОХ, Оу), имеющего компоненты
= д + иА + ^ + рьдр +
Ох дх + их ди + + рхдр +
Оу = ду + иу 5и + ^ ^ + Ру др + ... + Иуу дщ +
где явно указаны только слагаемые, фактически участвующие в построении определяющих уравнений.
Вначале целесообразно конкретизировать функциональный вид оператора (2), подчинив его только условию, чтобы он допускался уравнением ру = 0 из системы (1). Действуя продолженным оператором XX на это равенство, получим, что 40 = 4х,р), 41 = 41(*,х,р), п3 = П3(*,х,р). Далее, действуя оператором XX на последнее уравнение системы (1) и переходя на соответствующее многообразие, получим, что координаты оператора (2) имеют вид
4° = 4°(*,х), 41 = 41(*,х), 42 = 4^х^и),
П1 = п^^х^р), п2 = П2(*, х, у, и, ^,р), п3 = П3(*,х,р) и удовлетворяют уравнениям
Г(1 + диу )(пи - 4Х ) = 0, у ,(пи- 4Х- п2 +Ф - и(пи- 4Х) пр + 4Х =2 о,
МпХ + пу)- ду (пи- 4Х) = 0,
(3)
составляющим часть системы определяющих уравнений для системы (1). Наконец, действуя дважды продолженным оператором XX на первое уравнение системы (1), получим, что
4° = 4(*), 41 = 41 (*,х), 42 = 42(*,х,у),
п1 = п1(*,х,и), п2 = п2 (¿,х,у,и,'у), п3 = п3(*,х,р),
0
а определяющие уравнения, включая (3), упрощаются следующим образом:
n1 = u(ex - eo) +e1, nU - ex = о, - eo+e2 о, np = 2(ex - eo), ett = 2ext, n2 = e1
C:t + ny
v(ex - 2e0) - (-ex - uex + n2 + (v - gyuy )(ex - eo - e2)) = о, v(-e2gyuy - (i+guy)(ex - eo - 2®) + (1+guy)(-e2 - uex + n2+ +(v - gyuy)(ex - eo - ey)) = o,
lv(eit + nx - e2gyy)+gy(-e2 - uex + n2 + (v - gyuy)(ex - eo - e2)) = o.
Решение определяющих уравнений (4) дается формулами
e0 = 2F0(t), e1 = (Ci + Fot)x + Fi(t), e2 = F2(t)y + Fa(t,x),
n1 = (Ci - Fot)u + Fit + Fottx, n2 = (F - 2Fot)v + uFax - Fotty + Ft(i, x),
n3 = 2(C1 - Fot)p + F5(t,x).
(4)
Здесь С1 — произвольная постоянная; г = 0...5, — произвольные гладкие функции своих аргументов. Классифицирующие уравнения, связывающие координаты оператора с произвольной функцией д(у,иу), заданы соотношениями
guy uy (C1 - Fot - F2) = о, -(F2t + Fott)y + F4 - Fat - gyuy (C1 - Fot - F2) = 0,
(F2y + Fa)gyuy - 2(1 + guy)(F2 - Fot) = 0,
Fotttx + F1tt + F5x - (F2y + Fa)gyy + (C1 - 3Fot)gy = 0.
(5)
(6)
(7)
(8)
0
3. Построение ядра основных алгебр Ли
Для групповой классификации уравнений (1) надо прежде всего найти ядро основной алгебры Ли уравнений (5)-(8). Очевидно, что уравнение (7) при произвольной функции д может быть удовлетворено, только если = = = 0. Тогда из уравнения (6) следует, что С1 = = 0, а из (8) = — + где — произвольная гладкая
функция. Тем самым доказана лемма.
Лемма 1. Ядро основных алгебр Ли Ь0, допускаемых уравнениями (1), образовано операторами вида
ди ЗД)др, ^ (¿)дл + — ^шхдр (9)
с двумя произвольными функциями: £ ^ ^б(£), £ ^
Оператор ^б(£)др соответствует тому факту, что уравнениями (1) давление р определяется с точностью до слагаемого, равного произвольной функции времени. Оператор, образованный функцией соответствует преобразованиям перехода в систему координат, поступательно движущуюся со временем по произвольному закону. Примечательной особенностью полученного ядра основных алгебр Ли при произвольном значении функции д является то, что оно бесконечномерно: ее операторы зависят от двух произвольных функций времени.
Перейдем к вычислению преобразований эквивалентности для уравнений (1). Ин-финитезимальный оператор группы будем искать в виде
X = 4° I + 41 £ + 42 + п' д + п2 д- + п3 # + п4 £ + п5 £ + п» Д
от дх ду ди д« др дд дд1 дд2
где д1 = ду, д2 = диу. Предполагаем, что его компоненты зависят от всех зависимых и независимых переменных, входящих в систему (1) (здесь X есть оператор вида (2)). Заметим, что к уравнениям (1) необходимо добавить условия равенства нулю производных от д1 и д2 по Г и х. Действуя дважды продолженным оператором XX на полученную систему и переходя на соответствующее многообразие, получим определяющие уравнения
'пи - 4Х - п2 + 42 = о, пХ + пу = о, пу + д^4 - 42) = п5, дх(п5 - 2пЙ4у + 42у) + пу - п4у - д?п£, = о, (-4° + 24у2)(1 + д2) - п6 = о, (1 + д2)(пр - 4Х - пи + 24у2) - ип6 = о, (1 + д2)(п2 + «42 + (1 + д2)42у) - «п6 = о,
'p Sx 4u 1 S y ) J1 \ 1 £/2M'/ 1 Sy 1 V,^ 1 i/2^ Syy^
(1 + g2)(n1 - Ci - <1 + 2иф - un6 = 0, (1 + £2)^ + unX + nX - n5 + gi(nU - 2C2)) + gin6 = 0
Решение определяющих уравнений дается формулами
C0 = Cot + C2, с1 = Cix + Fi(t), C2 = Сзу + C4,
n1 = (Ci - Co)u + Fit, n2 = (C3 - Co)v + uF3xn3 = 2(Ci - Co)p + (C5 - Fm)x + F2(t), n4 = (Ci - 2Co + Сз)£ + C5y + Сб, n5 = (Ci - 2Co)gi + C5, n6 = (1 + £2)^3 - Co).
Здесь Сг, г = о...6, — произвольные постоянные; г = 1, 2, — произвольные гладкие функции своих аргументов.
Тем самым преобразование эквивалентности уравнений (1) состоит из всех преобразований, соответствующих ядру основных алгебр Ли (9), и из преобразований, зависящих от шести произвольных постоянных т, и, к, с, 5, д, которые даются формулами
¿ = тГ; х = кх; у = пу + с; и = кт-1и; « = ит-1«; р = к2т-2р + зх. (10) При этом произвольный элемент д преобразуется так:
д = кт-2ид + 5у + д. (11)
4. Групповая классификация системы (1)
Первую классификационную возможность дает функция g = 0. С физической точки зрения это означает, что уравнения (1) в этом случае описывают течение в ламинарном, а не турбулентном пограничном слое. Их групповые свойства были исследованы в [3]. Операторы, допускающие расширение ядра основных алгебр Ли Lo, в этом случае имеют вид + udU + 2pdp, 2tdt + xdX + ydy - udU - - 2pdp, F(t, x)dy + (Fxu + Ft)dv, где F(t,x) — произвольная гладкая функция своих аргументов. Два первых оператора, так же как и операторы, входящие в Lo, унаследованы системой (1) от породившей
ее системы уравнений Навье—Стокса, последний же оператор специфичен именно для уравнений пограничного слоя [4].
Далее пусть функция g есть функция от y, или, более общий случай, g = ±uy + g(y). При представлении функции g = uy + g(y) уравнение (5) выполняется тождественно, а уравнения (6)-(8) принимают вид
-(Ft + Щу + F4 - Fat = 0, (12)
F2 - Fot = 0, (13)
Fotttx + Fitt + F5x - (F2y + Fa)gyy + (Ci - 3Fot)gy = 0. (14)
Из (12) и (13) следует, что F4 = F3t, F2t = 0, Fott = 0, а классифицирующим уравнением будет являться следующее:
Fitt + F5x - (Coy + Fa)gyy + (Ci - 3Co)gy = 0. (15)
Координаты оператора (2) запишутся как
£o = 2(Cot + C2), £1 = (Ci + Co)x + Fi(t), £2 = Coy + Fa(t,x),
П1 = (Ci - Co)u + Fit, n2 = -Cov + uFax + Fat, n3 = 2(Ci - Co)p + F5(t,x).
Интересно заметить, что ядро основных алгебр при этом не расширяется, т. е. остается равным Lo. Решая классифицирующее уравнение (15), получим следующие специализации функции g, при условии, что g = uy + g(y):
1) g = uy ^ y2, тогда операторы, с которыми возможно расширение основных алгебр Ли, заданы формулами 2tdt + 5xdx + ydy + 3udu - vdv + 6pdp, Fxdy + (Fxxu + Ftx)dv ^ 2F (t,x)dp;
2) g = uy ^ eáy, здесь ó = ^1, тогда оператор, расширяющий основную алгебру Ли задан так: xdx + ódy + udu + 2pdp;
3) g = uy ^ y2+k, k = 0, = -1, = -2, оператор, расширяющий основную алгебру Ли, имеет вид 2tdt + (5 + k)xdx + ydy + (k + 3)udu - vdv + 2(k + 3)pdp.
Несколько иные зависимости и операторы получаются в результате представления функции g = -uy + g(y):
4) g = -uy ^ y2, операторы tdt + 3xdx + ydy + 2udu + 4pdp, tdt + 2xdx + udu - vdv + 2p5p, Fx5y + (Fxxu + Ftx)dv ^ 2F(t, x)dp;
5) g = -uy ^ y4, операторы 3xdx + ydy + 3udu + vdv + 6pdp, 2F(t)dt + Ftxdx - Ftydy + (-Ftu+Fttx)du + (-3Ftv- Ftty)dv + (-2Ftp-Ftttx2/2)dp, где F(t) — произвольная гладкая функция.
Если же функция g зависит только от uy, то ядро Lo будет расширяться двумя операторами. Введем следующее обозначение для этого ядра: Li = {Lo; F(t,x)dy + (Fxu + Ft)dv; 2tdt + 3xdx + ydy - vdv + 2pdp}. Уравнения (5)-(8) запишутся следующим образом:
guy uy (Ci - Co) = 0, (16)
(1 + guy)(Co - 2Fot) = 0, (17)
а координаты оператора (2) будут иметь вид
£o = 2Fo(t), £i = (Ci + Fot)x + Fi(t), £2 = (Co - Fot)y + Fa(t,x),
П1 = (С - Fot)« + Fu + Fottx, n2 = (СО - 2Fot)v + uF^ + F« - Fotty, П3 = 2(C1 - Fot)p + F6(t) - Fittx - FotttX2/2,
где Co, Ci — произвольные постоянные, Fo,F1,F3,F6 — произвольные функции своих аргументов.
Уравнение (17) дает две классифицирующие возможности с учетом преобразования эквивалентности:
1) g = -uy, тогда кроме L1 система допускает операторы xdx + udU + 2pdp, ydy + , 2F(í)dt + Ftxdx - Fty5y + (-Ftu + Fttx)du + (-3Ftv - Ftty)d* + (-2Ftp - Ftttx2/2)dp, здесь F(t) — произвольная гладкая функция;
2) Co- 2Fot = 0, с учетом этого равенства остается лишь возможность g = uy, а кроме операторов, содержащихся в L1, оператор, также допускаемый системой уравнений (15) при данном виде функции g, представлен в виде xdx + udU + 2pdp. Интересно заметить, что физически такие представления функции g можно интерпретировать как изменение вязкости жидкости. При g = uy вязкость становится равной 2, а при g = -uy вязкость равна 0, и, с точки зрения физики, этот случай не представляет интереса, но тем не менее рассмотрен здесь.
Наконец рассмотрим самый общий случай, когда g = g(y,uy). Из уравнения (5) следует, что либо F2 = С1 - Fot, либо gUyUy = 0, причем в последнем случае при анализе уравнений (5)-(8) получается, что g = ±uy + g(y), а эти возможности были рассмотрены выше. Тем самым остается рассмотреть F2 = С1 - Fot. Уравнения (5)-(8) будут иметь следующий вид:
((С - Fot)y + Fa)gyuy - 2(1 + gUy)(С - 2FM) = 0, (18)
Fotttx + F1tt + F5x - ((C - Fot)y + Fa)gyy + (C1 - 3Fot)gy = 0; (19)
координаты оператора (2) запишутся так:
= 2Fo(t), С1 = (С + Fot)x + F1 (t), £2 = (С - Fot)y + Fa(t,x),
П1 = (C1 - Fot)u + F1t + Fottx, n2 = (C1 - 3Fot)v + uFte - Fotty + Fat,
П3 = 2(C1 - Fot)p + Ft(t,x).
Здесь C1 — произвольная постоянная; F¿(t), i = 0...4, — произвольные гладкие функции своих аргументов.
Дифференцируя (18) по x, получим выражение F3xgyUy = 0, откуда следуют две классифицирующие возможности.
1. gUyy = 0, тогда g = a2(y) + а1 (uy). Из уравнений (18), (19)получим
(1 + «1uy)(С1 - 2Fot) = 0, (20)
Fotttx + F1tt + F5x - ((С - Fot)y + F3)«2yy + (C - 3Fot)«2y = 0. (21)
Из (20) вновь следует две возможности. Во-первых, с учетом преобразования эквивалентности, а1 = -, т.е. g = -+ a2(y), где a2(y) — произвольная функция, но выше уже был разобран случай, когда g = -+g(y), g(y) — произвольная функция. Таким образом, остается рассмотреть случай, когда С1 = 2Fot, а из анализа уравнения (21)
следует, что а2 = Ту2, т.е. g = ai(uy) ± y2, aiUy = const, оператор, расширяющий основную алгебру, имеет вид F(t, x)dy + (Fxu + Ft)dv Т 2F(t, x)dp.
2. F3x = 0, тогда, анализируя уравнение (18), учитывая преобразования эквивалентности и независимость функции g от t, получим, что g может быть представима только двумя способами:
2.1. g = -uy + ai(uy) + а2(у).
2.2. g = —uy + a1(uy)y4 + a2(y), причем a1(uy) — нелинейна по uy в обоих случаях.
Подставим полученное в 2.1 выражение для g в (18) и (19):
aiuy (Ci — 2Fot) = 0, (22)
Fotttx + Fitt + F5x — ((Ci — Fot)y + F3)«2yy + (Ci — 3Fot)«2y = 0. (23)
Групповая классификация функции турбулентного трения
№ п/п g(y,uy) Оператор
1 Произвольная Lo = {Jt; F(t)dx + FtdU— xF«J;; F(t)dp}
2 0 Lo, / (tx) + (U/x + ft) JV, x dx + U dU + 2p dp, 2t | + x dX + у dp — U dU — V dV — 2p dp
3 a(uy) Li = {Lo; /(t,x)Л + (u/x + ft)dV, 2tI+3xdX +Уdy + udU — vdV+2Pdp}
4 uy Li; xdX + udU + 2pdp
5 —uy Li; xdx + udu + 2pdp, ydy + vdv, 2F(t)d + Ftxdx — Ftydy + (—Ftu + Fttx)du + (—3FtV — Ftty)dv + (—2Ftp — Fttt x2/2)dp
6 uy Т У2 Lo; 2tdt+5xdx+ydy+3u<9„—vdv +6p<9p, /xdy+ (/xxU+/tx)dvТ2/(t,x)dp
7 Uy Т e5y Lo, xdx + S+ udU + 2Pdp
8 Uy Т У2+га Lo; 2t| + (5 + n)xdx + ydy + (3 + n)udU — vdV + 2(3 + n)pdp
9 —uy Т У2 Lo; /xdy+(/xxu+/tx)dvТ2/(t,x)dp; tdt+3xdx +ydy+2u<9„+4pdp, tdt + 2xdx + udU — vdV + 2pdp
10 —uy Т У4 Lo; 3xdx + ydy + 3u<9« + vdv + 6p<9p, 2F(t)dt + Ftxdx — Ftydy + (—Ftu + ВД0„ + (—3FtV — Ftty)dv + (—2Ftp — Fttt x2/2)dp
11 —Uy + a(uy) Т y2 Lo; /(t, x)dy + (/xU + ft)dv Т 2/(t, x)<9p
12 —Uy + a(uy) Т ln y Lo; 2tdt + 3xdx + ydy + u<9« — vdv + 2p<9p
13 —Uy+a(uy )у4ТУ4 Lo; 2F(t)dt + Ftxdx — Ftydy + (—Ftu + Fttx)0„ + (—3Ftv — Ftty)dv + (—2Ftp — Ftttx2/2)dp
Ci
Поскольку а1 нелинейна по uy, то Fo = — t + Co, а классифицирующее уравнение на а2 имеет вид
Fitt + F5x - ^ C y + F^ «2yy + C «2y = 0. (24)
Дифференцируя (24) по y, получим
Ci«2yy + (Ciy + 2F3)«2yyy = 0. (25)
Анализируя это уравнение с учетом преобразований эквивалентности, получим две возможности для а2.
2.1.1. а2 = ^y2, тогда g = -uy + a1(uy) ^ y2 с оператором F(t,x)ôy + (Fxu + Ft)dv ^ 2F (t,x)dp.
2.1.2. a2 = ^ln(y), тогда g = -uy + a1(uy) ^ lny с оператором 2tdt + 3xdX + ydy + udU - + 2pdp.
Аналогично, при подстановке выражения, полученного для g в 2.2, в (18) и (19) и при анализе полученных равенств для а2 остается возможность а2 = ^y4, т.е. g = -uy+a1(uy)y4^y4. Здесь оператор, расширяющий основную алгебру, имеет вид 2F(t)dt+ Ftxôx - Ftyôy + (-Ftu + Fttx)ôu + (-3FtV - Ftty)d* + (-2Ftp - Ftttx2/2)ôp.
Тем самым групповая классификация уравнений нестационарного плоского турбулентного пограничного слоя полностью завершена (полученные результаты см. в таблице).
Везде в таблице F (t), f (t,x) — произвольные гладкие функции своих аргументов, a(uy) — произвольная нелинейная по uy функция, n = 0, = -1, = -2 — произвольная постоянная, 5 = ^1.
Автор выражает благодарность профессору В.К. Андрееву, под руководством которого была выполнена эта работа.
Список литературы
[1] Степанова И.В. Групповая классификация уравнений стационарного плоского турбулентного пограничного слоя // Вест. Красноярского гос. ун-та. Физ.-мат. науки. 2006. № 9. С. 114-119.
[2] Шлихтинг Г. Теория пограничного слоя. М.: Изд-во иностранной литературы, 1956. 528 с.
[3] Овсянников Л.В. Групповой анализ дифференциальных уравнений. М.: Наука, 1978. 400 с.
[4] Андреев В.К., КАпцов О.В., Пухначев В.В., Родионов А.А. Применение теоретико-групповых методов в гидродинамике. Новосибирск: СО "Наука", 1994. 319 с.
Поступила в редакцию 30 июля 2007 г., в переработанном виде —13 сентября 2007 г.
