Однородная изотропная турбулентность: геометрия и допускаемая группа преобразований Текст научной статьи по специальности «Математика»

Вычислительные технологии

Том 17, № 5, 2012

Однородная изотропная турбулентность: Геометрия и допускаемая группа преобразований*

В.Н. Гребенёв, С. Б. Медведев Институт вычислительных технологий СО РАН, Новосибирск, Россия e-mail: vngrebenev@gmail.com, serbormed@gmail.com

Изучается лагранжева система, определённая на пространстве корреляционных векторов, метрика переменной сигнатуры ds2(t) которого порождается двухточечным корреляционным тензором флуктуаций поля скорости однородного изотропного турбулентного потока. Вводится в рассмотрение функционал простого действия (длины) между двумя лагранжевыми точками данного турбулентного потока, и исследуется группа преобразований, оставляющая статистику расстояния инвариантной. Показано, что по пространственным переменным данное преобразование совпадает с псевдогруппой Ли для сигнатуры (++) метрики ds2(t) и группой конформных преобразований пространства R2 1 для сигнатуры (+—).

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

Ввведение

Методы описания геометрии турбулентных потоков в основном представлены визуализацией расчётов, получаемых в результате прямого численного моделирования турбулентности. Отметим, что реализация геометрии потока связана с такими трудностями как статистическое представление траекторий частиц потока, нахождение размера "облака" частиц потока и его формы, описание совместного (кооперативного) поведения частиц и их конфигурации [1, 2]. При этом возникает необходимость вычисления расстояния между движущимися частицами потока в каждый момент времени, в частности, определения геометрии потока. Полученные многочисленные результаты по визуализации различных турбулентных потоков свидетельствуют о возникновении структур с нетривиальной геометрией в потоке, что ведёт к проблеме нахождения метрики для вычисления расстояния между частицами потока, согласованной с его геометрией. В общем случае, без спецификации турбулентного потока, эта проблема представляется весьма сложной. При однородном изотропном турбулентном потоке метрика ds2 (t) корреляционного пространства была определена в работе [3] исходя из двухточечного корреляционного тензора, который для данного вида потока является диагональным тензором с корреляционными функциями (продольная и поперечная), являющимися его диагональными элементами. Эволюция по времени продольной корреляционной функции определяется из уравнения Кармана — Ховарта, тогда как поперечная

* Работа выполнена при финансовой поддержке РФФИ (грант № 12-01-00648-а), гранта Правительства РФ для господдержки научных исследований коллективами под руководством приглашенных исследователей по соглашению № 12.740.11.1430.

корреляционная функция находится из известного дифференциально-алгебраического соотношения между этими двумя корреляционными функциями (см. ниже раздел 1). Таким образом, изменение по времени метрики (однопараметрического семейства метрик), а следовательно, и расстояния между частицами потока определяется эволюцией продольной корреляционной функции. Более того, в рамках данной метрики в [3] была изучена геометрия однородного изотропного потока. Вопрос о физической реализации геометрии потока связан с построением однопараметрического семейства изометрических вложений ¿(¿) = ц в евклидово пространство Я3 такого, что ¿¿*к2 = йз2(£), где к — евклидова метрика. Потоки Риччи на римановом многообразии являются наиболее известным примером реализации такого вида вложений [4]. Концептуально применение двухточечного корреляционного тензора для описания геометрии однородного изотропного потока подобно визуализации потока Риччи в евклидовом пространстве. Сложность реализации данной процедуры в сравнении с потоками Риччи состоит в том, что уравнение Кармана — Ховарта, отвечающее за эволюцию метрического тензора, является незамкнутым, что представляет отдельную тему исследований, которая в данной работе не рассматривается. Таким образом, мы будем использовать йз2(£) в качестве метрики для определения геометрии однородного изотропного потока в рамках римано-ва многообразия с метрикой, определяемой двухточечным корреляционным тензором, связь которой с визуализацией (физической реализацией) потока определяется через семейство вложений ¿(¿). Как было отмечено выше, построение изометрических вложений в Я3 является открытой проблемой, связанной как со спецификацией корреляционных функций, так и с проверкой критерия изометрического (локального) вложения метрики йз2 (£) в евклидово (физическое) пространство.

Основная цель данной работы состоит в изучении групп преобразований, которые оставляют статистику расстояния (определяемую метрикой йз2(£)) между точками однородного изотропного потока инвариантной. В разделе 1 в кратком виде представлены результаты работы [3] по геометрии корреляционного пространства и исследуется лагранжева система с функционалом простого действия (длины). В разделе 2 рассматриваются симметрии функционала простого действия, которые сохраняют длину касательного вектора вдоль геодезических кривых или оставляют инвариантной статистику расстояния между двумя близкими точками однородного изотропного потока. Исследование ведётся в рамках преобразований эквивалентности введённого лагранжиана, что позволяет расширить группу симметрий функционала простого действия.

1. Геометрия корреляционного пространства для однородной изотропной турбулентности

1.1. Двухточечный корреляционный тензор

Двухточечный корреляционный тензор флуктуаций турбулентного поля скорости, параметризованный временем является физическим объектом, компоненты которого определяются формулой

Бгз(х, х',1) = (и>(х,1))(и> (х',£)), (1)

где и'(х, £), и'(х',£) — флуктуации скорости в точках (х, £) и (х',£), £ € Я+, х, х', являются точками трёхмерного пространства, заполненного турбулентным потоком. Напомним, что статистическое описание турбулентности основано на разложении Рейнольд-

са турбулентного поля скорости и на осреднённую и флуктуирующую компоненты: и = и + и', где (и) означает среднюю скорость, а и' есть его пульсационная составляющая. Компоненты тензора могут быть переписаны в виде

Ву(х, г,*) = (и;(М))(и;(х + г,*)),

где вектор г определяется парой точек (х, х') или г = х' — х, что позволяет ввести в рассмотрение аффиное пространство К3 с присоединённым векторным пространством корреляционных векторов К3 = {г = (г1 ,г2,г3)}. Предположения об однородности и изотропности турбулентного потока, т. е. инвариантности относительно вращения, отражения и сдвига, подразумевает, что тензор зависит только от длины корреляционного вектора г и времени

Ву (х, г,*) = Ву(|г|, *). (2)

Изотропия турбулентного потока ведёт к тому, что Ву (| г |, *) является симметрическим тензором и корреляции Ву могут быть выражены через продольную Вьь(|г|,*) и поперечную Вмм(|г|,*) корреляционные функции [5], т.е. корреляционный тензор Ву в данном случае диагональный с компонентами В11 = Вьь и В22 = В33 = Вмм в системе координат присоединённого векторного пространства, в которой вектор г сона-правлен с осью г1. Отметим, что тогда |г| = |г11 (г = |г1|е1). Далее вместо корреляционных функций Вьь и Вмм мы используем их нормализованные представления f и д: Вьь = (|г11, *), = и'2(*)д(|г11, *), где и'2(*) = Вьь(0, *). Тогда соответствующая

квадратичная форма (линейный элемент) принимает вид

= й2^ (|г1|, *)^г12 + и72(7)д(|г1|, ¿)(^г22 + ^г32),

где ^/2(*) является индефинитной квадратичной формой. Нормализованная поперечная корреляционная функция д удовлетворяет соотношению (следует из уравнения неразрывности) [6]

д(|г1|,*) = f (|п|,*) + Г1 ^ (|г11, *). (3)

Если f убывает быстрее чем |г11-2 на бесконечности, то из формулы (3) непосредственно получается равенство [6]

те

У |г1|д(|п|,*)ф11 = 0. (4)

о

Следовательно, д(|г 11, *) — знакопеременная функция. На рисунке приведены графики экспериментально измеренных функций f и д, вид которых используется для определения качественного поведения, в частности, алгебраических свойств данных функций. Таким образом, будем предполагать, что f является положительной функцией, д меняет знак только на интервале (—е + |г^|, |гЦ + е), е > 0, д > 0 на интервалах [0, ±|гЦ), д < 0 вне интервала [—|гЦ, |г^|]. Изменение знака д означает, что квадратичная форма ^/2(*) имеет переменную сигнатуру. Нормализованная продольная корреляционная функция f(|г1|,*) удовлетворяет уравнению Кармана — Ховарта [7]

= Гг ^ (йчТны,*) + ^^^ (|г1|,()), (5)

Типичный вид нормализованных продольной и поперечной корреляционных функций

где к — нормализованная функция тройных корреляций, и/2(£) — интенсивность турбулентности (положительная функция, стремящаяся к нулю при бесконечном возрас-

-3/2

тании времени), или масштаб скорости кинетической энергии турбулентности, и/2(£) определяет масштаб переноса турбулентности. Уравнение Кармана — Ховарта является прямым следствием уравнений Навье — Стокса (см, например, [5]) и содержит две неизвестные функции f, к, которые не могут быть определены одновременно из уравнения (5) без привлечения дополнительных гипотез.

1.2. Аффинная связность, совместная с двухточечным корреляционным тензором

Аналогом прямой линии, соединяющей точки х и х/ в евклидовом пространстве Я3, для аффинной связности Г- присоединённого пространства К3 для каждого фиксированного момента времени £ служат геодезические кривые 7(в) (параметризированы натуральным параметром — длиной дуги геодезической кривой). Напомним, что геодезическая кривая определяется аффинной связностью Г-: V(78) = 0, где 78 — поле скорости траектории 7(в). Двухточечный корреляционный тензор Б? для однородной изотропной турбулентности является метрическим тензорным полем, параметризованным временем Определим аффинную связность присоединённого пространства К3 с помощью компонент тензорного поля Б? согласно формуле

Гк =1 Бн (дБ? + дБ*

? 2 V дг + дг? дг1

Линейный элемент векторного пространства К3 определяет структуру псевдорима-нова многообразия для корреляционного пространства К3.

Рассмотрим в корреляционном пространстве К3 с присоединённым векторным про-странтством К3 со стандартным (евклидовым) скалярным произведением цилиндрическую область (выделенную область турбулентного потока в фиксированный момент времени). Тогда метрика, индуцированная метрическим тензором Б?, поверхности цилиндрической области имеет вид

^2(£) = м/2(^ (|г1|,£)йг2 + м/2Ш|г1|,ф2#2, (6)

где р — (евклидовый) радиус сечения {а} х Б^р) поверхности Я х Б 1(р), а Е Я. Можем считать, что р = 1 и цилиндрическая поверхность совпадает с Я х Б 1(1). Следующие две

величины этого многообразия Ы1 характеризуют метрические свойства выделенного объёма в рамках метрики, порождённой метрическим тензором Б^: длина Ь(£) вдоль меридиана цилиндрической поверхности и радиус И.а(£) сечения {а} х Б:(1), которые определяются формулами

те

ВД = 2У -и2^/(Ш,*)^, Б*(*) = (7)

о

Безразмерные функции /, д таковы, что /(0, ¿) = д(0, ¿) = 1, / является положительной функцией такой, что / м 0 (д м 0) при неограниченном возрастании |г^. Более того, / и д — чётные функции такие, что / < 1, |д| < 1. Интеграл в (7) сходится при |г! | м то при каждом фиксированном моменте времени £ Е Д+ при условии, что / убывает быстрее, чем |г-2|, когда |г!| стремится к бесконечности. Как показано в [6], такое убывание на бесконечности является физически реализуемым, и в этом случае функция

а

дМ) = У //(|г 11, £)^|г 11, а е Д, о

отображает (-то, то) м- [—Ь*(£), Ь*(£)], Ь*(£) = и/2(£). Таким образом, дефор-

мирование во времени выделенного объёма турбулентного потока можно описать в терминах изменения величин Ь(£) и И.а(£) (меридиональный и радиальный размеры соответственно) при действии турбулентного поля скорости на частицы потока.

1.3. Геометрическая реализация и изометрии метрики ds2(t)

Приведём в кратком виде геометрическую реализацию метрики ^з2 (¿) (подробности см. в [3]). Метрика в терминах переменной q принимает вид

ds2(t) = u/2(t){dq2 + G(q,t)#2}, G(q,t) = g(|ri |,t). (8)

Дадим следующее определение [8]: точка p0 называется полюсом псевдориманова многообразия M, если p0 является неподвижной точкой группы диффеоморфизмов g(x, a), a = (a,..., ar), действующей на многообразие M.

Метрика (8) допускает однопараметрическую группу движений (изометрий) gT(p) = g(p,ai), p = (q, ф), вида

gT :(5,ф) ^ (3,ф + Хт)> X = const с инфинитезимальным оператором

X = ^ dp = хдф. Скалярное произведение оператора X

X 2 = <X-X > = (хдф-хдф) = x2 (д^.дф) = W^) (9)

для каждого момента времени Отметим, что если р = р0 (р0 совпадает с полюсом gr), то X2(р0) = 0 и ввиду (9) р0 — это корни уравнения О(д, ■) = 0. Таким образом, точки д* Е [—Ь*(*), Ь*(*)], в которых О обращается в ноль, являются полюсами gr. В силу предположений относительно д(|г11, *) уравнение О(д, ■) = 0 имеет только четыре корня д*, г = 1,..., 4, таких, что |д11 = д4 = и |д21 = д3. Следовательно, (8)

является метрикой переменной сигнатуры для д € 11 = (д2, ?3), д Е 12 = (—Ь*(£),д£) и д € 13 = (д3, ^*(£)), где д* зависят от Эта метрика при д € 11 определяет элемент длины поверхности вращения в Я3 и её радиус-вектор И. = (д, ф, ■) задаётся формулой

И(д,ф, ■) = (д, {й2^}1^, ■) сое ф, {й2^}1^,-^пф

Таким образом, многообразие, определённое (8) (реализация метрики), для д € 11 представляет собой поверхность цилиндрического вида = (д2, д3) х Б 1(1) с радиусом сечения {д} х 51(1), равным О1/2(д,*). При д Е /¿, г = 2, 3, для которых О < 0, положительно определённая метрика

ds2(t) — u/2(t){dq2 — |G(q, G(q,t) — g(|ri|, t), (10)

может быть реализована (см. [3]) как поверхность вращения (для каждого момента времени) в пространстве Минковского R 2 с элементом длины [9]

dp — dx i

Вращение представляет собой движение вдоль псевдоокружности радиуса |G(q, ■)|1/2, q G /¿. Длина смещения точки p (или длина орбиты) при действии диффеоморфизма gT (p) на точку p определяется формулой

Фь ___

Л(ф0, фь) — J ^U/2(t)|G(q,i)|d0 = ^U/2(ty|G(q,ic^(0b — фа), X = const,

Фа

и для каждого момента времени t масштаб длины орбиты Op : т М- gT (p)

Лср — Х^й^^^пф, q G (q3, L*(t)), х = 1.

Константа х фиксируется путём нормализации вектора

Гауссова кривизна K++ многообразия M| допускает сингулярное поведение в полюсах q2 и q3, где G принимает нулевые значения, если Gq(q*,t) — 0, i — 2, 3. В случае, когда полюсы являются мультипликативными нулями, т.е. G(q*,t) — Gq(q*,t) — ... Gq...q(q*,tc) — 0, простые вычисления показывают, что K++ есть снова сингулярная функция в точках q* для всех t. Если порядок нуля полюса является бесконечным, то G(q,t) = 0 в окрестности q2 (q3) при предположении, что G — аналитическая функция. Подобным образом анализируется поведение гауссовой кривизны многообразия M]3 (Mj2) для полюсов (#2). В случае полюса q4 — L*(t) (q1 — —L*(t)) учитывается, что f и соответственно g убывают быстрее, чем |r1|-2, когда |r1| М то. Применяя формулу Gq — f -1/2gr, r — | r 11, и используя предположения относительно поведения f (и G) при |r1| М то (q М ±L*(t)), легко получить, что (в терминах переменной |r1|) |K| растёт быстрее, чем |r 112, когда |r1| М то (q М ±L* (t)).

Кроме того, отметим связь между гауссовой кривизной К++ поверхности Ы| и поперечным тейлоровским микромасштабом Лй (см., например, [5]), который определяется формулой Л2(¿) = —2(дГ1,Г1 (0, £)) 1. Непосредственные вычисления показывают, что

К++ = —2^ = 2 I -2— ) для сечения {0} х Б1, (11)

\(*) \Л/(*)/

где Л2(4) = 2Л^(4) — продольный тейлоровский микромасштаб. Из этой формулы следует, что гауссова кривизна Ы| положительна для малых значений Формула (11) также указывает на связь между геометрией Ы| и тейлоровским микромасштабом, возникающим в турбулентности. Используя хорошо известное соотношение между масштабами турбулентности (см., например, [5])

лЯ(4) = ^10п2/Ч1/3,

где п — колмогоровский масштаб длины, ^ — интегральный масштаб, характеризующий размер вихря, получаем

К++ =--- для сечения {0} х Б1.

++ 10п4/3^2/3

Колмогоровский масштаб п варьируется с изменением как вязкости V, так и диссипации энергии турбулентности е: п = (V3 /е)1/4. В пределе больших чисел Рейнольдса или исчезающей вязкости V гауссова кривизна К++ неограниченно возрастает на сечении {0} х Б1. Это свойство устанавливает связь между геометрическими и гидродинамическими характеристиками потока.

Замечание 1. Особенность представленной метрики состоит в возникновении также сингулярности типа сжатой шейки цилиндра в точку, которая порождается изменением знака продольной корреляционной функции Б^м, т.е. наличием полюсов метрики ¿з2.

1.4. Геодезические кривые

Прежде всего представим метрику ¿з2(£) в конформном виде для q Е /1. Для этого

на интервале 11 рассмотрим новую меру с плотностью а^, ¿) = 1/у^и/2(£)С^, ¿) для каждого фиксированного момента времени и перепишем ¿з2(£) как

^2(£) = Я((,£) (¿С2 + #2) , (12)

где Я((,£) = u/2(¿)G(q, ¿). Для q Е /¿, г = 2, 3, эта метрика принимает вид

¿з2(£) = Я((,£) 2 — #2) . (13)

Здесь = у''и/2(£)|С^, ¿)|^. Уравнения геодезических кривых на поверхности Ы)1 для метрики (12) записываются в виде

¿С + П

¿02 + 2Я

2 / 2

¿0 / V

¿2Ф ял ¿(¿Ф . ,,

0, — + -^-1- = 0. (14)

Для метрики (13), заданной на M|., i = 2, 3, имеем

+ F.

d92 + 2F

d£\2 / d£ 2 d9 / + V d9

d^2 + f d9 d9 = 0 (15)

Используем координаты (£,#) для каждой карты многообразия МИнтегрируемость этих систем уравнений устанавливается стандартным образом. Системы уравнений (14) и (15) допускают следующие первые интегралы:

^(С,^ = м, ^«,г)«| + Ф2) = N

и

-F((,t)^ = M, F(C,t)(C2 - Ф2) = -N

соответственно, где M и N, вообще говоря, зависят от времени t. Можно считать, что N = 1, если выберем 9 как натуральный параметр геодезической кривой. Рассмотрим M = F(£,£)ф[d£,d0] — так называемый вектор момента, принадлежащий кокаса-тельному векторному пространству однопараметрической группы (изометрий) движений gT. Скобки [•, •] означают векторное произведение относительно метрики dZ2 ± d02. Равенство ±F(Z,tc)0# = M = const означает, что вектор M является инвариантным, т.е. dM/d9 = 0 для каждого фиксированного времени t. На плоскости (d£,d0) вектор M вычисляется по формуле M = [p, p^]d12, p(9,t) = (((9, t), ф(9, t)). Без потери общности (в силу инвариантности ds2(t) относительно действия группы gT) имеем p(9,t) = F 1/2(C,t)d( и dp/d9 = (F 1/2)0d( + F1/2 d(0 = (F 1/2)ed( + F 1/2фd0. Следовательно,

M = [p, (F1/2),d(] + [p, F 1/2фd$ = F^[d<,d<£],

где выражение в первой скобке равно нулю, а длина вектора [d£, d0]dp равна 1 (-1) для сигнатуры (+—+) ((+—)). При использовании первых интегралов или дифференциальных связей, совместных с (14), (15), редукция (14) на инвариантных многообразиях, определяемых этими связями, ведёт к уравнениям

d2Z Fz / ±N ^ 2M2F-1 \_

d92 + 2F v F J =0,

где верхний знак ±, ^ соответствует сигнатуре (+—+), нижний — сигнатуре (+—). Второе уравнение системы (14), (15) удовлетворяется тождественно на множестве ±F(Z,t)00 = M. Как результат, получаем

d2Z dV N M2

d92 = - df, где V = T2F(c7t) ± const (16)

Уравнение (16) совпадает с уравнением движения материальной точки единичной массы в потенциальном поле с эффективной потенциальной энергией V (используется терминология ньютоновской механики). Тогда лагранжиан SMt и "полная механическая" энергия Ещ записываются в виде

Sn =2( 2) 2 - V- Ем,, = К %)2 + V.

0

где Емь является инвариантной величиной на решениях уравнения (16) при каждом

1г

фиксированном значении ¿. Таким образом, пара (Ы| , ¿з2 (£)) порождает лагранжеву систему с одной степенью свободы. Отсюда

0 ¿С ,, , (17)

*=■ =± ^ (17)

Исключая величину ¿0, получаем следующее уравнение для £ = С (Ф):

¿С Я (С, ¿с)

# ±M

V2 К— v ).

Геометрически параметр 0 является длиной дуги неизотропной геодезической кривой. Таким образом, при изменении этой длины "полная механическая" энергия и вектор момента сохраняются вдоль геодезических кривых. Угол а между вектором

е, ч ¿ёт (Р)

Ш =

¿т

т=0

и вектором скорости = (Св, фв) геодезической кривой -у составляет величину, равную

К, Фв Р ±М

cos а

Vy, v7)ds2Ш, 1 VIF(Z2 ± Ф2)1 V^NF}'

или

Vf cos а = ±M/V| ± N|.

Равенство cos а = 0 соответствует движению вдоль орбиты Op, где ^2(gT (p)) = const (F = const). Орбита представляет собой незамкнутую кривую в случае (M),ds2(t)) для i = 2, 3. Нулевое значение длины вектора |^2(gT(p))| означает, что орбита Op принадлежит изотропной кривой (ds2(t) = 0), которая задаётся в виде ф = Z - Со (или ф = — (Z — Со)). Эта кривая совпадает с псевдоокружностью нулевого радиуса. Натуральный параметр 9 (длина дуги изотропной кривой) определяется формулой

Z q _

9 = J F(C,t)dC, или для переменной q 9 = J \Ju/2(t)|G(q, t)|dq, (18)

Zo qo

где (Со, 0) — координата соответствующего полюса для M)^ (M)2). Существование замкнутых геодезических кривых зависит от вида потенциала V.

Замечание 2. Полученные выше законы сохранения являются следствием инвариантности турбулентного потока относительно групп вращений и переноса. Например, сохранение величины F(C,t)(C2 ± Ф2) означает, что вдоль геодезических кривых длина касательного вектора не изменится. Совместно с длиной вектора момента M эти законы представляют собой "новые" законы сохранения, возникающие в однородной изотропной турбулентности.

2. Бесконечномерные алгебры Ли, порождённые метрикой ds2

В данном разделе рассмотрим функционал простого действия (длины), порождённый двухточечным корреляционным тензором, и изучим инфинитезимальные преобразования, допускаемые данным функционалом. Особенность вычисления этих функционалов состоит в том, что они ищутся в классе преобразований эквивалентности, сохраняющих длину касательного вектора F(Z, t)(C| ±Фе) вдоль геодезических кривых с фиксированными концами.

2.1. Преобразования эквивалентности

Вместо полярной системы координат (р, ф) рассмотрим

£ = ez cos ф, n = sin ф.

Тогда

ds2 = Л2(р, t)(d£2 + dn2)

и

ds2 = Л2(р, t)(d£2 - dn2), Л2(р,^) = F(Z,t)

для £ = ez cosh ф, n = sinh ф.

Рассмотрим далее множество кусочно-гладких кривых П(М/ , v,w): 7/г : J ^ М/ с фиксированными концами 7/.(0) = v и 7/.(1) = Через LY : П(М£., Vj,Wj) ^ R

г г '^г г

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

dti(v,w)= min LYi(7), lYi. = / ^Л2Ы)(£т2 + n?)dr

7/г еП(М]. ,vi,wi) г J

г 7/г

определяет функцию расстояния dt : М/ х М/ ^ R. Пусть т — натуральный параметр, т. е.

Л2(р, t)(£2 ± nT2) = 1 вдоль кривой Y/г. (19)

Следовательно,

= / 1 ■ dT = Т7/г,

где т7/. означает длину кривой 7^.

Обозначим через r = r¿(£,n) локальную реализацию М/ в карте (£,n). Рассмотрим инфинитезимальное преобразование переменных £ и n

£* = £ + ¿£, n* = n + in, (20)

предполагая, что r¿ является дифференцируемой вектор-функцией. Тогда

r¿(£ *,n*) = r¿(£,n) + Xí£ + Yin, (21)

или

r* (£,n) = r¿(£,n) + U(£,n),

(22)

где и(£, п) — вектор деформации поверхности с радиус-вектором гД£,п). Можно считать, что г*(£, п) является радиус-вектором деформированной поверхности, а у/г преобразовывается в кривую , которая принадлежит тому же классу функций, что и у/г. Для изучения инвариантности относительно действия инфинитезимальных преобразований достаточно доказать, что длина экстремалей функционала является инвариантной величиной. Вместо единичного касательного вектора (£, п) рассмотрим единичный касательный ковектор (т£ , тп), который определяется формулой (индекс у/г для т будем опускать)

£т =Л2 , пТ =Л2 . Тогда (19) преобразуется в уравнения

т| + т2 = Л2(р,£), т| — т2 = Л2(р, ¿)), (23)

первое из которых — уравнение эйконала, тогда как второе называется релятивистским уравнением эйконала для сигнатуры (+—) метрики ¿з2. Таким образом, чтобы вычислить симметрии функционала , найдем группы преобразований, допускаемые уравнением (23) такие, что т является ивариантом группы преобразований (23). Переформулировка вариационных симметрий в терминах группы преобразований уравнений (23) позволяет расширить класс симметрий, допускаемых функционалом . Более точно, рассмотрим преобразования эквивалентности уравнений (23). Под (обобщённым) преобразованием эквивалентности заданного дифференциального уравнения понимается замена всех входящих в него переменных (как зависимых и независимых переменных, так и произвольных функций и параметров), сохраняющая вид уравнения [10, 11]. Преобразование эквивалентности уравнения (23) — это точечное преобразование, заданное на пространстве переменных (£,п,и1,и2), где и1 = т, и2 =

Л2, определяемое инфините-

зимальным оператором

д д д У = п, и1, и2)+ V(£, п, и1, и2) дп + ЛЧ£, п, и1, и2)^, (24)

где координаты оператора определяются из уравнения

У1|(23) = 0. (25)

Здесь У1 означает первое продолжение оператора У на дифференциальные переменные (23). В случае сигнатуры (+—+) метрики ¿з2, т.е. уравнения эйконала, координаты оператора У вычислены в [10]. Для релятивистского уравнения эйконала (сигнатура (+—)) результаты вычислений представлены в приложении к настоящей работе. Как результат, инфинитезимальный оператор У имеет вид

д , N д ^ д | о ж ^ ^^ 2 д

У = ф(£, пЬ- + Ф(£, пЬ- + 7(т+ 2 — ФС(£, п) Л

д£ дп дт 'у д Л2'

который порождает бесконечномерную алгебру Ли, подалгебра которой определяется оператором

д д д х = ф(£ п) ^ + п) щ — 2ф? (£ п)л2 , (2б)

и т есть скалярный инвариант X. Таким образом, X является оператором симметрии, допускаемым функционалом . Функции Ф(£,п) и Ф(£,п) удовлетворяют условиям

'1 г

Коши — Римана в случае уравнения эйконала, т.е. Ф^ = Фп и Фп = — Ф^, и условиям ^.-аналитичности [12]: Ф^ = Фп, Фп = Ф^, для релятивистского уравнения эйконала. Построим базисные операторы подалгебры Ли инфинитезимального оператора X сначала в случае сигнатуры (+—+). Введем комплексные координаты для каждой карты: г = £ + ¿п и г = £ — ¿п. Тогда

—з2 = Л2(гг)—г—г,

или более точно

2 Л2(гг)

—з = —-— (—г ® —г + —г ® —г)

Оператор X переписывается как

— — — и — и

X! = Р (г) — + ^(г^-— — Р" (г)Л2(гг) — — Р^Л2^)-

—г ^'—г ' д Л2 ' удА2'

где Р = Ф + ¿Ф, Р = Ф — ¿Ф, а Р(г, г) = Р(г), Р(г, г ) = Р(г ) для аналитической функции Р. Векторы касательного пространства определяются формулами

_— _ 1 (А -А ^ —г = 2 (д£ — ¿дП у ,

_— -1 (-А

—г 2 у д£ дп

Рассмотрим инфинитезимальные аналитические преобразования переменных г и г

г* = г + е(г ) = г + Р (г)^, г * = г + е(г ) = г + Р (г (27)

которые порождаются векторным полем

Р « —И <г> —г).

Выполним разложения в ряд Лорана е(г), е(г)

те те

е(г) = — ^ е„гп+1, г(г) = — ^

Здесь ега (гп) — бесконечно малые числа. Мы можем рассматривать егагга+1, егагга+1 как гармоники разложения ((г), ((г) относительно базисных функций |гга+1} ({гга+1}). Каждая гармоника порождает преобразование г ^ г' = г — егагга+1, г ^ г' = г — егагга+1,

и соответствующие инфинитезимальные операторы имеют вид

ии

1 = _ гга+1 _— 7 = _гп+1 _ 'го г ; , 'п г ,

—г —г

где еп, ега — параметры преобразований, а {1п, /„} — базис бесконечномерной конформной алгебры Ли (две копии алгебры Витта)

——

г=р «—г+р <г>

—оо

— ОО

Таким образом, базис алгебры Ли, порождённый оператором X,

П — П П — П

X = Я(*)— + Я(г)- - ^(х)Л2(хг) — -

Пх 4 'ПЛ2 ^ 4 'ПЛ2'

образован элементами {кп, &п}, п € ^,

кп = - (п + , = - (п + 1)гпЛ2—

Пх ПЛ2' п Пг 4 ' ПЛ2'

Функция Л2 при замене переменных х м- х* и г м г* преобразуется как

Л 2 Л 2*

2 Л 2 Л

Л2 = —, Л2 =-. (28)

Рассмотрим теперь инфинитезимальный оператор в случае сигнатуры (+—) метрики Пз2. Имеем следующее соотношение для координат оператора X:

Ф? = , Ф = ф?.

Запишем соответствующее преобразование

£* = и(£,п), П* = *(£,п), (29)

где и = , = ^, которое порождает группу Ли конформных диффеоморфизмов, сохраняющих ориентацию в пространстве Минковского Я2 1 (см., например, [13]). Эта группа с топологией равномерной сходимости на компактных подмножествах состоит из четырёх компонент. Каждая компонента гомеоморфна БШ + (Я) х Diff + (Я), где Diff + (Я) означает группу диффеоморфизмов Е : Я м Я, сохраняющих ориентацию с топологией равномерной сходимости Е и всех её производных на компактных подмножествах К С Я. Плоскость Минковского Я2 1 может быть отождествлена с Б1,1 = Б1 х Б1, где Б1 — окружность. Конформная группа Соп^Я^) определяется как связная компонента единицы группы конформных диффеоморфизмов Б1,1 м Б1,1 и изоморфна БШ + (Б1) х БШ +(Б1); Diff +(Б1) является группой Ли, определённой в пространстве Фре-ше гладких функций Е : Б1 м Я с топологией равномерной сходимости на Б1 функций Е и их производных. Соответствующая алгебра Ие(БШ 1)) является алгеброй Ли гладких векторных полей Уес^Б1) (см., например, [13]). Ассоциированная с ней конечномерная подгруппа Соп^Б1,:1) — это группа Ли ЯО(2, 2)/{±1} С Соп^Б 1,1), которая порождается преобразованиями Лоренца.

Рассмотрим пространство 1), т.е. пространство С^(Я) всех гладких 2п-пе-

риодических функций. Векторное поле У € Уес^Б1) может быть записано в виде У = у(0)5/50, где у(0) € (Я), а точка х окружности Б1 представлена как х = е%в. Разложение у(0) в ряд Фурье

те

у(0) = а0 + сов(п0) + Ьп вт^б1))

п=1

позволяет представить базис пространства Уес^Б1) в виде

^ со8(п0)8шИ)

Рассмотрим далее комплексификацию Уес1(51), т.е.

Уес^(51) = Уес1(51) ® С, и полиномиальные векторные поля на 51. Определим векторные поля

= —— = = ¿е- —\ € (5').

Тогда линейная оболочка 1п над полем комплексных чисел С вновь порождает алгебру Витта. Алгебра Витта Ш является подалгеброй комплексифицированной алгебры Ли Уес^(51) х Уес^(51) (подробнее см. [13]). Как и в случае сигнатуры (++), мы можем определить инфинитезимальные операторы

—

/п = / — (п + 1)гпЛ2

dA2

с тем же правилом преобразования Л2. 2.2. Алгебра W

Линейную оболочку прямой суммы ф над полем комплексных чисел C обозначим через W. Непосредственные вычисления дают следующие коммутационные соотношения:

km] = (n TO^ro+m [^no km] = (n TO^ro+m [^no km] = 0.

Последнее равенство следует из формул

d d

-f zn = 0, -f zn = 0. dz dz

Алгебра W изоморфна прямой сумме алгебр Витта W. Этот изоморфизм может быть определён на базисных элементах ф как проекция P на {1n Ф а коммутатору [kn, km] соответствует коммутатор [Zn,Zm] с сохранением формул P([kn,km]) = (n — m)Zn+m, P([kn,km]) = (n — m)Zn+m. Базисные элементы {fco,k±i} порождают подалгебру в W, и её проекция на {Z0,Z±1} изоморфна sZ(2,C). Соответствующие преобразования переменных z и z , порождённые алгеброй W, являются бесконечномерной псевдогруппой Ли G = Г ® Г , где Г и Г — инфинитезимальные преобразования (27). Конформную группу преобразований ^ : z м z* обозначим через Mb, она состоит из мёбиусовых преобразований ^ [13]

a b) G SL(2,C)/{±1} таких, что p(z) = , cz + d = 0. (30)

c d / cz + d

Для преобразований z м z * соответствующую конформную группу будем обозначать через Mb.

Рассмотрим функционал действия траектории (пути) jj.

= / л2(р,^)(е2+n2 )dr,

который перепишем в виде

= /Л-2(р,^)(т| ± т2)Пт, т| ± г2 = Л2(р, ¿). (31)

т1г

Отметим, что экстремали этого функционала являются геодезическими кривыми и длина геодезической у/г совпадает с т71. для соответствующего индекса кривой у/г. Функционал £1 допускает ту же бесконечномерную алгебру Ли W и соответствующие ин-

' 1 г

финитезимальные преобразования совпадают с С++ для сигнатуры (+—+) и с бесконечномерной группой Ли С+-, которая изоморфна Diff(S1) х Diff(S1). Напомним, что классический тензор энергии-импульса определяется формулой

дЬ

Тгк = № /Х - ^(32)

где лагранжиан Ь = , ) явно не зависит от . Для функционала (31) со скалярным полем т этот тензор имеет компоненты

Гц = 2т| - Л2 ■ 1, Т22 = 2т2 - Л2 ■ 1, Т12 = Т21 = 2т?тч. (33)

Тензор Т^ имеет нулевой след ввиду равенства Т11 ± Т22 = 2(т2 ± т2 — Л2) = 0. Введём обозначения: ш = (£,п) и = Тогда ток определяется формулой ^ = Т^

и имеет нулевую дивергенцию, т.е. д ■ ] = (1/2)Т^(д ■ $ш) = 0, так как Т^ "бесследо-вый" тензор. Бесконечномерная псевдогруппа Ли С++ порождает бесконечное число законов сохранения для токов ^ тогда как конформная группа порождает конечное число сохраняющихся величин ^ Запишем функционал (31) для М£ в комплексных переменных:

= 4 У Л-2(гё , ¿)д*т(г, г ) ■ д^т(г, г )Пт. (34)

Т1 г

Поскольку Т^ имеет нулевой след, то получаем Т^ = Т^ = 0, что ведёт к равенствам д^Т^ = Т^ = 0. Таким образом, существуют только две ненулевые компоненты тензора момента-импульса: Т(г) = Т^ (г) = 1/4(Т11 — 2гТ12 — Т22) и Т(г ) = Т^(ё ) = 1/4(Т11 + 2гТ12 — Т22). Кроме того, Т^ = (дгт)2 и Т^ = (д^т)2. Сохраняющиеся токи ^ = Т^переписываются в виде ^ = Т^е(г) и ^ = Т^ё(ё ). Следовательно, д^ = д^ = 0. Разложение ) и ё(ё) в ряды Лорана

е(*) = £ е»^1, ё (г ) = £

ё ё^1

даёт явное представление для токов = Т^егагга+1 и = Т^^бгаё"'+1. В соответствии с методологией конформной теории поля рассмотрим следующие конструкции: Т(г) и Т(ё ) являются аналитическими функциями. Тогда, раскладывая в ряд Лорана

Т (г) = ^ ^-п-2, Т (ё ) = ^ ¿гаё-п-2, (35)

п п

где степень (—п — 2) выбрана так, что масштабные преобразования г м- А-1г, Т(г) м А2Т(А-1г) ведут к калибровке Ь-п м АпЬ-п и Ь-п м АпЬ-п, и обращая выражения в (35), получим следующие представления:

Ьп = 2~ IТ(г)^1^, Ьп = 2~ IТ(ё)ёп+1Пё.

Данные формулы позволяют определить конформные заряды ^ согласно представлениям

п п

Ввиду независимости интегралов от контура интегрирования получаем сохраняющиеся величины Ьп и Ьп.

Найдём операторы инвариантного дифференцирования, при этом используем символы +—+ и +—, которые соответствуют рассмотрению С++ и 0+-. В переменных £ и п операторы инвариантного дифференцирования определяются как [14]

5+ + = X ■ (Б? + ) , 5+ - = Д ■ (Б? + Бч), Б = Б? + Бч, г =1, 2, где векторы Л* и вычисляются исходя из уравнений

J++(Лг) = c\ = c\ С g R3

а векторы с1 есть с1 = (0,1,0) и с2 = (0,1,1) соответственно; /++ и находятся как решения уравнений

[Х++ + (Л* ■ Б)х ■ дл] /++ = 0, (36)

[Х+- + (Д ■ Б)х ■ д„] = 0, (37)

где дл = Л1д/дЛ1 + Л2д/дЛ2, дм = ^д/д^ + ^д/д^. Здесь х = (Ф, Ф, 0), Х++ и Х+-означают первое продолжение оператора X для сигнатур (++) и (+—) соответственно:

д д д д д д д х++ = Ф * + Ф дп - Ч2Л2 дл + ^ д^ + тп дтп + 3Л22 дЛ2 +3Л2 длп

—Ф5 ( ^ - ^ + - ) - 2Ф«- 2Ф5пЛ2 9

L дг„ п дЛ2 5 дЛ2 / дЛ2 дЛ2'

и

= ф аё + Ф dn - ф (2Л2 Mí + &L + зЩ + 3Л22 ад| +3Л2 Щ

—Ф (т'¿ + Т£sT" + ЛЩ - Л2аЛ|) - 2ф«Л2аЛ|- 2ф«Л2аЛ|

при записи которых использовались условия Коши — Римана Ф^ = Фп, Фп = — Ф^ для оператора X++ и условия h-аналитичности Ф^ = Фп, Фп = Ф^ в случае оператора X+ . Уравнение (36) имеет функционально независимые решения

J++ = Л2 (Л2 + Л2), J++ = Лц, — AíT?, где векторы Лг имеют вид

Л i = (И Tk п\ Л2 = (TL п Л \Л2 , Л2 , ^ Л \Л2 , — Л2 , 0

Для уравнения (37) получаем

Л+- = Л2(р1 — р|), <^2 = ^п + ^т«,

где векторы

м1 = (Л2 •—Л • 0) ■ м2 = (—Л • Л ■0

Прокомментируем полученные соотношения. Для этого рассмотрим нетривиальные решения уравнения

^+-(д1) = Л2(^2 — р2) = 1 (вторая компонента вектора с1). (38)

Подставляя вектор м1 в (38), имеем

т 2 т 2 = Л 2

т« — тп = Л .

Следовательно, уравнение (38) удовлетворяется тождественно. Для функции <+-(м2)

2

и вектора м2 вычисления аналогичны.

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

5++ = Л (т«Б + тпБ) , 5++ = Л (тчБ« — т«) , (39)

11

5++- = — (т«Б« — тпБп) , 5+- = — (—тпБ« + т«) , (40)

Л^а (т«Б« + тпБп) , 52++ = Л 1 +- 1 Л2(т«Б« — тпБп) , 52+ =Л2

где 5++ = — 5+-.

Скалярные инварианты первого порядка для С++ и С+__определяются исходя из

уравнений

Х++/++ = 0, Х+-/+- = 0, функционально независимые решения которых легко находятся:

1+++ = т, 12++ =Л^ (т| + т2

1

1++- = т, 1+ =Т^ (т«2 —

2 тп2

Л2 V « п

Таким образом, универсальные дифференциальные инварианты первого порядка <++ и псевдогруппы Ли С++ и группы Ли С+__имеют вид

<++ = (/+++, 5+++/+++), <+- = (/+-,5+-/+-), /+++ = /++-.

Отметим, что <++ был вычислен в работе [10].

Действия операторов 5++ и на /++ и /+- геодезической кривой ведёт к сохранению длины касательного вектора (£, п) к геодезической длины т.

Согласно теореме Трессе [14], используя операторы 5++, 5++, = 1, 2, и скалярный инвариант 1 ++ = 1 +- = т, можно построить конечномерный базис дифференциальных инвариантов для С++ и С+- с помощью операторов инвариантного дифференцирования и функциональных операций. В частности, для гауссовой кривизны имеем следующее представление:

1Д1пЛ2 , 1 Д1пЛ2 ,

К++ = — для М/1 и К+- = ^^^ для М, г = 2, 3,

где К++, К+_ — дифференциальные инварианты второго порядка для С++ и __

соответственно. Данный факт может быть проверен непосредственными вычислениями, которые показывают, что

Х++К++ = 0, Х+-К+- = 0,

где Х++ и Х+_ — вторые продолжения оператора X для сигнатур (++) и (+—). Дифференциальные инварианты К++ и К+__записываются в виде

К++ = V(£++/++) К+_ = -V(£+_/+_), г = 1,2,

где V($++/++) и V($+_/+_) — дифференциально-алгебраические выражения. Формула (11), связывающая К++ и тейлоровский микромасштаб Лй, совместно с вышеприведённые соотношениями показывает, что тейлоровский микромасштаб является дифференциальным инвариантом псевдогруппы С++.

2.3. Классификация

Сначала рассмотрим многообразие Ы\ . В предыдущем разделе было показано, что действие псевдогруппы Ли С++ на М| сохраняет конформный вид метрики и порождает инфинитезимальные деформации многообразия М| , т.е. г* = Г1 + и(е,п), где Г! = г1(£,п) является локальной реализацией М|. в карте (е,п). Эта деформация вызвана конформными преобразованиями

е* = е+¿е, п* = п + ¿п,

или в комплексных переменных

те те

* X л п —* — X л — п

г = г — > епг , г = г — > епг .

п=_те п=_те

Таким образом, имеем бесконечное число конформных преобразований вида

* __п —* _ — —п

гп г бпг , гп г бпг .

Покажем, что эти преобразования порождают так называемое скольжение М£ вдоль себя. Другими словами, не существует деформации М| по направлению нормали к этому многообразию в соответствующих точках деформации. Для доказательства этого факта предположим противное, т. е.

и(е, п) = ^ ■ п + д ■ к,

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

^*2 = (Л*2 + 2й£ + (2НЬ — КЛ*2)й2 + ) ^е*2 + 2 (2йМ + 2НМ^2+ + ) ¿е*2^п*2 + (Л*2 + + (2НЖ — КЛ*2)й2 + ) ¿п*2,

где Н, К означают среднюю и гауссову кривизны, а Ь, М и N — коэффициенты второй квадратичной формы. Так как конформные преобразования сохраняют вид метрики, то

к = 0. Последнее равенство следует из известного результата о приведении метрики к каноническому (конформному) виду посредством квазиконформных отображений ш = ш(г*):

дш дш

— = р(г * , (41)

где

= (Ь — N + 2гМ )к + Н (Ь — N + 2гМ )к2 + 2(дк/дё *)2 ) = (1 + 2Нк + (2Н2 — К)к2 + 2|дк/дг*|2) Л-2 + ^АЛ2 , А = 1 + 4Нк + (4Н2 + 2К )к2 + 4|дк/дг * |2Л-2+ +4КНк3 + К 2к4 + 2(Ькп* — 2Мк«» V + )Л-4 + ((2НЬ — К Л2 — 4НМкп» к«» + (2HN — К Л2)к|+) к2Л

и

Л *2(,* *) Д2(, ) 1 + 2Нк + (2Н2 — К )к2 + 2|дк/дг * |2Л-2 + УД Л 'П ) = Л(^,п)-2(д—*/дг) ■ (дё*/дё)-.

Ввиду конформности отображения £ м £ *, п м п * (или г м г *, ё м ё*) функция р тождественно равна нулю, кроме того дк/дг * = 0. Следовательно, к = 0. Функция Л2(£,п) преобразуется в Л *2(£*,п *) согласно формуле

„*ч Д2(С,П)

Л12(£ *, п *)

(дг*/(дг) ■ (дё */дё ):

которая совпадает с (28).

Полученное свойство позволяет, по крайней мере локально, классифицировать в терминах алгебраических функций поверхность М|. Введём следующие обозначения: пусть иа, а = 1, 2, — касательная компонента вектора смещения И(£,п). Тогда и = иата, где т1 = (1, 0), т2 = (0,1). Кинематическая система уравнений поля смещений в случае скольжения поверхности М| вдоль себя имеет вид (см. [15])

Уаив + Уви« = 0, а, в =1, 2, (42)

где Уаив = див/дха — Г^дид. Рассмотрим комплексную функцию смещения т = и1 + ш2 и определим для положительной гауссовой кривизны К++ > 0 функцию

тт. т(г) 2 дг дг

ж = . , а = а21 а22 — а12 > 0, аав = гагв, г1 = —, г2 = —,

^ОК1/2 11 22 12 1 д£ 2 дп

которая удовлетворяет уравнению [15]

д^Ж + ВЖ = 0, (43)

где

1 ? В = 1 (Г22 — Г11 + 2ГУ — 4 (Г2х — Г22 + 2ГУ . (44)

Вывод уравнения (43) из кинематической системы (42) представлен в [15]. Непосредственные вычисления символов Кристоффеля в формуле (44) дают следующие равенства:

1 ? 4 (г22 — Г11 + 2Г??) = 0, 4 (Г?! — Г22 + 2гу = 0.

Следовательно, Ш является аналитической функцией и функция смещения т = т(г) имеет вид

т(г) = аК++в(г),

где в(г) — аналитическая функция. В случае, когда есть часть сферической поверхности, имеем т(г) = (1 + гг )_2в(г). В общем случае справедлива следующая классификационная теорема.

Теорема. Условие В = 0 выполнено для алгебраических поверхностей второго порядка положительной гауссовой кривизны и только для них.

Таким образом, для каждой карты многообразия М/ с положительной гауссовой кривизной поверхность М/ принимает форму либо части эллипсоида, в частности сферы, либо двухполостного гиперболоида, либо параболоида. Отметим, что в случае отрицательной гауссовой кривизны К++ < 0 аналог вышеприведённой теоремы о классификации отсутствует. Известно, что алгебраическую поверхность вращения второго порядка положительной гауссовой кривизны К++ > 0 инфинитезимальным деформированием (продавливанием в направлении нормали) вдоль любой параллели можно преобразовать в поверхность переменной гауссовой кривизны. Если рассматриваемое преобразование отлично от преобразования растяжения, то деформированная поверхность не будет алгебраической поверхностью второго порядка.

Рассмотрим многообразия М/ , ] = 2, 3, которые имеют метрику сигнатуры (+—). Введём новые координаты, являющиеся стандартными в конформной теории поля:

е+ = е + п, е_ = е — п. (45)

Такую замену переменных можно ассоциировать с вращением на угол п/2. Далее выполним преобразование (вращение) Вика п м гп, г2 = —1. Тогда

е + м г = е + е_ м г = е — гп.

Обозначим через гМ)., г2 = —1, ] = 2, 3, преобразование М). относительно действия п м гп. Многообразие гМ/ может быть рассмотрено как комплексная реализация М/ в новой карте (г, г). Тогда классифицирующая теорема для М/ может быть сформулирована в терминах многообразия гМ/ , для которого справедливы те же рассуждения, что и для М/ .

Заключение

Рассматривая элемент длины ¿з2(£), полученный на основе двухточечного корреляционного тензорного поля (параметризованного переменной ¿), определённого в пространстве корреляционных векторов К3, был построен функционал длины (простого действия) для лагранжевых частиц однородного изотропного турбулентного потока. Показано, что в терминах данной метрики возможно моделирование деформации вы-делённого объёма однородного изотропного турбулентного потока, получение физической реализации которого требует построения изометрического однопараметрического семейства вложений (М4, ¿з2(£)) в евклидово пространство Я3, снабжённое стандартной метрикой. Такое построение осталось вне рамок исследований, представленных в

данной работе. Кроме этого, для псевдориманова многообразия (М*,Пз2(£)) было показано, что данным функционалом допускаются преобразования С++ и С+-. Установлена связь тейлоровского микромасштаба с дифференциальным инвариантом второго порядка псевдогруппы Ли С++. Как следствие конформной инвариантности функционала длины, была дана локальная классификация многообразия М£ , г = 2, 3. Подобный результат получен только в терминах преобразованных переменных, ассоциированных с преобразованием Вика. Отметим также важность изучения построенной алгебры Ли W для дальнейшего анализа операторов и при построении так называемого центрального расширения W.

Авторы благодарны Г.Г. Черных за полезные дискуссии.

Приложение

Рассмотрим релятивистское уравнение эйконала

т«2 — т2 = Л2(р,£)

(46)

и найдём группу преобразований, допускаемую этим уравнением, где преобразуемые переменные — £, п, т и Л2. Введём обозначения: ж1 = £, ж2 = п, и1 = т, и2 = Л2. Запишем инфинитезимальный оператор

дд У = рг(ж1,ж2,и1,и2^7— + Аг(ж1, ж2, и1 ,и2) —, г = 1, 2. ^ у джг ^ ' диг

(47)

Первое продолжение оператора У имеет вид

д

у1 = У + с^, г,к = 1,2,

(48)

где

,к

С к = — + и1

ди + и ди1 и дж*

др7

;др7

_ и1 ик-_

^ ди1

г, к, I

1,2.

Тогда условие инвариантности (46) относительно действия оператора (48) принимает форму

У1|(46) = 2и1С2 — 2и2С+ — А2 = 0,

или

Ух!

(46)

2и1

дА1

дж1

1

+и

дА1

1 дА1 2 дА 1

2и1

дА1 1 дА1 2 + и2^т + и?

1 ди1 дА1

+ их ^ <-, и-

ди2

1др , 2 дР + ит^т + их

дж1

дж2

ди1

ди2 7

др-7 х др-7 2 + и2^т + и?

1 ди1 др-7

дж2

ди1

ди2

ди2 А2

0.

(49)

Проводя расщепление по мономам ихих, и2и? и и1и1их, и^+и^ и2ихи2, ихихи2, получаем

дА1

ди2

0и

др7 ди2

1, 2.

(50)

0

3

Тогда из (50) следует, что Л1 = А1(ж1,ж2,и1) и ^ = ^(ж1, ж2, и1). Группируя соответствующие слагаемые и проводя простые алгебраические вычисления (49), получаем

= ,/ ЗА1 2 J ЗА1 2 З^1

|(46) = 2Мзж1 -u з^ -Mзж2-u du2

w ôxi + dx^J + 2(u2) Ux2 dxl

+2uM дА1 - u 2^J - А2 = 0. (51)

Зж2 Зж1

Таким образом, система определяющих уравнений имеет вид

З^1 З^2 З^1 З^2

Зж2 Зж1' Зж2 Зж1'

(52)

Ш - «2|г = 0, i = 1- 2- (53)

2u2 (дАТ - 14 I - А2 = 0. (54)

V du1 Зж1

Расщепление (53) относительно u2 приводит к равенствам

ЗА1 ЗА1

Зж1 Зж2

0, А1 = А1(м1 ), (55)

2

dUl = dur = 0, ^ = ^(x\x2). (56)

Итак, (50), (52), (54)-(56) являются системой определяющих уравнений алгебры Ли, допускаемой уравнением (46). В терминах [12] уравнения (52) есть условия h-аналитичнос-ти функции w = + j^2, где j2 = 1. В исходных переменных инфинитезимальный оператор Y записывается как

д , я, о- \ d t_\d х п f ^ ^ \ \ л2 3

y = Ф(е, пЬт + ф(е, n)^ +y(t+ 2 -1 - ф?(е, п) л

Зе Зп Зт \ Зт 'у ЗЛ2'

где Ф(е,п) = ^1(ж1,ж2), Ф(е,п) = ^2(ж1,ж2) и 7(т) = Л1(и1), Ф и Ф — произвольные ^-сопряжённые гармонические функции [12], 7(т) — произвольная дифференцируемая функция. Зависимость от переменной £ опущена.

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

[1] Pope S.B. Lagrangian PDF methods for turbulent flows // Annu. Rev. Fluid Mech. 1994. Vol. 26. P. 23-63.

[2] Pope S.B. On the relationship between stochastic Lagrangian models of turbulence and second-moment closure // Phys. Fluids. 1994. Vol. 6. P. 973-985.

[3] Grebenev V.N., Oberlaok M. Geometric realization of the two-point correlation tensor for isotropic turbulence // J. Nonl. Math. Phys. 2011. Vol. 18. P. 109-120.

[4] Rubinstein J.H., Sinclair R. Visualizing Ricci flow of manifolds of revolution // Exper. Math. 2005. Vol. 14. P. 285-298.

[5] Монин A.C., Яглом A.M. Статистическая гидромеханика. СПб: Гидрометеоиздат, 1994.

[6] Rotta J.C. Turbulente Strömungen. Teubner, 1972.

[7] von KArmAn Th., Howarth L. On the statistical theory of isotropic turbulence // Proc. Roy. Soc. 1938. Vol. A164. P. 192-215.

[8] Kamyshanskij N.R., Solodovnikov A.S. Semireducible analytic spaces "in the large" // Rus. Math. Surv. 1980. Vol. 5. P. 1-56.

[9] Eisenhart L.P. Riemannian Geometry. Princeton Univ. Press, 1926.

[10] Megrabov A.G. Group spliting and Lax representation // Dokl. Math. 2003. Vol. 67(3). P. 335-349.

[11] Meleshko S.V. Homogeneous autonomic systems with three independent variables //J. Appl. Math. Mech. 1994. Vol. 58. P. 857-863.

[12] Лаврентьев A.M., Шабат Б.В. Проблемы гидромеханики. М.: Наука, 1973.

[13] Schottenloher M.A. Mathematical Introduction to Conformal Field Theory. Lectures Notes in Physics. Berlin; Heiderberg: Springer, 2008.

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

[15] Векуа И.Н. Обобщённые аналитические функции. M.: Наука, 1988.

Поступила в 'редакцию 4 мая 2012 г.