Научная статья на тему 'О КОНФОРМНОМ МНОЖИТЕЛЕ В КОНФОРМНОМ УРАВНЕНИИ КИЛЛИНГА НА 2-СИММЕТРИЧЕСКОМ ПЯТИМЕРНОМ НЕРАЗЛОЖИМОМ ЛОРЕНЦЕВОМ МНОГООБРАЗИИ'

О КОНФОРМНОМ МНОЖИТЕЛЕ В КОНФОРМНОМ УРАВНЕНИИ КИЛЛИНГА НА 2-СИММЕТРИЧЕСКОМ ПЯТИМЕРНОМ НЕРАЗЛОЖИМОМ ЛОРЕНЦЕВОМ МНОГООБРАЗИИ Текст научной статьи по специальности «Математика»

CC BY
14
3
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
конформно киллинговы векторные поля / лоренцевы многообразия / k-симметрические пространства / киллинговы векторные поля / солитоны Риччи / conformal Killing vector fields / Lorentzian manifolds / k-symmetric spaces / Killing vector fields / Ricci solitons

Аннотация научной статьи по математике, автор научной работы — Андреева Татьяна Андреевна, Оскорбин Дмитрий Николаевич, Родионов Евгений Дмитриевич

Конформно киллинговы векторные поля являются естественным обобщением киллинговых векторных полей и играют важную роль в исследовании группы конформных преобразований многообразия, потоков Риччи на многообразии, теории солитонов Риччи. Псевдоримановы симметрические пространства порядка k, где k > 2, возникают в исследованиях по псевдоримановой геометрии и в физике. В настоящее время они исследованы в случаях k = 2, 3 Д. В. Алексеевским, А. С. Галаевым и другими. В случае малых размерностей эти пространства и векторные поля Киллинга на них изучались Д. Н. Оскорбиным, Е. Д. Родионовым и И. В. Эрнстом. Солитоны Риччи являются обобщением эйнштейновых метрик на (псевдо)римановых многообразиях и их уравнение изучалось на различных классах многообразий многими математиками. В частности, Д. Н. Оскорбиным и Е. Д. Родионовым было найдено общее решение уравнения солитона Риччи на 2-симметрических лоренцевых многообразиях малой размерности, доказана локальная разрешимость этого уравнения в классе 3-симметрических лоренцевых многообразий. В случае постоянства константы Эйнштейна в уравнении солитона Риччи, векторные поля Киллинга позволяют найти общее решение уравнения солитона Риччи, отвечающее данной константе. Однако, для различных значений константы Эйнштейна, роль полей Киллинга играют конформно киллинговы векторные поля. Поэтому возникает потребность в их изучении. В данной работе исследован конформный аналог уравнения Киллинга на пятимерных 2-симметрических неразложимых лоренцевых многообразиях, исследованы свойства конформного множителя конформного аналога уравнения Киллинга на них. Построены нетривиальные примеры конформно киллинговых векторных полей с переменным конформным множителем.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Андреева Татьяна Андреевна, Оскорбин Дмитрий Николаевич, Родионов Евгений Дмитриевич

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON CONFORMAL FACTOR IN THE CONFORMAL KILLING EQUATION ON THE 2-SYMMETRIC FIVE-DIMENSIONAL INDECOMPOSABLE LORENTZIAN MANIFOLD

Conformally Killing vector fields are a natural generalization of Killing vector fields and play an important role in the study of the group of conformal transformations of a manifold, Ricci flows on a manifold, and the theory of Ricci solitons. Pseudo-Riemannian symmetric spaces of order k, where k > 2, arise in the study of pseudo-Riemannian geometry and in physics. At present, they have been investigated in cases k = 2, 3 by D. V. Alekseevsky, A. S. Galaev and others. In the case of low dimensions, these spaces and Killing vector fields on them were studied by D. N. Oskorbin, E. D. Rodionov, and I. V. Ernst. Ricci solitons are a generalization of Einstein’s metrics on (pseudo) Riemannian manifolds, and their equation has been studied on various classes of manifolds by many mathematicians. In particular, D. N. Oskorbin and E. D. Rodionov found a general solution of the Ricci soliton equation on 2-symmetric Lorentzian manifolds of low dimension, and proved the local solvability of this equation in the class of 3-symmetric Lorentzian manifolds. For a single Einstein constant in the Ricci soliton equation the Killing vector fields make it possible to find the general solution of the Ricci soliton equation corresponding to the given constant. However, for different values of the Einstein constant, conformally Killing vector fields play the role of Killing fields. Therefore, there is a need to study them. In this paper, we investigate the conformal analogue of the Killing equation on five-dimensional 2-symmetric indecomposable Lorentzian manifolds, and investigate the properties of the conformal factor of the conformal analogue of the Killing equation on them. Nontrivial examples of conformally Killing vector fields with a variable conformal factor are constructed.

Текст научной работы на тему «О КОНФОРМНОМ МНОЖИТЕЛЕ В КОНФОРМНОМ УРАВНЕНИИ КИЛЛИНГА НА 2-СИММЕТРИЧЕСКОМ ПЯТИМЕРНОМ НЕРАЗЛОЖИМОМ ЛОРЕНЦЕВОМ МНОГООБРАЗИИ»

Владикавказский математический журнал 2023, Том 25, Выпуск 3, С. 5-14

УДК 514.764.227

DOI 10.46698/f6017-0875-0171-y

О КОНФОРМНОМ МНОЖИТЕЛЕ В КОНФОРМНОМ УРАВНЕНИИ КИЛЛИНГА НА 2-СИММЕТРИЧЕСКОМ ПЯТИМЕРНОМ НЕРАЗЛОЖИМОМ ЛОРЕНЦЕВОМ МНОГООБРАЗИИ #

Т. А. Андреева1, Д. Н. Оскорбин1, Е. Д. Родионов1

1 Алтайский государственный университет, Россия, 656049, Барнаул, пр. Ленина, 61 E-mail: andreeva08t@mail.ru, oskorbin@yandex.ru, edr2002@mail.ru

Аннотация. Конформно киллинговы векторные поля являются естественным обобщением киллин-говых векторных полей и играют важную роль в исследовании группы конформных преобразований многообразия, потоков Риччи на многообразии, теории солитонов Риччи. Псевдоримановы симметрические пространства порядка k, где k ^ 2, возникают в исследованиях по псевдоримановой геометрии и в физике. В настоящее время они исследованы в случаях k = 2, 3 Д. В. Алексеевским, А. С. Га-лаевым и другими. В случае малых размерностей эти пространства и векторные поля Киллинга на них изучались Д. Н. Оскорбиным, Е. Д. Родионовым и И. В. Эрнстом. Солитоны Риччи являются обобщением эйнштейновых метрик на (псевдо)римановых многообразиях и их уравнение изучалось на различных классах многообразий многими математиками. В частности, Д. Н. Оскорбиным и Е. Д. Родионовым было найдено общее решение уравнения солитона Риччи на 2-симметрических лоренцевых многообразиях малой размерности, доказана локальная разрешимость этого уравнения в классе 3-симметрических лоренцевых многообразий. В случае постоянства константы Эйнштейна в уравнении солитона Риччи, векторные поля Киллинга позволяют найти общее решение уравнения солитона Риччи, отвечающее данной константе. Однако, для различных значений константы Эйнштейна, роль полей Киллинга играют конформно киллинговы векторные поля. Поэтому возникает потребность в их изучении. В данной работе исследован конформный аналог уравнения Киллинга на пятимерных 2-симметрических неразложимых лоренцевых многообразиях, исследованы свойства конформного множителя конформного аналога уравнения Киллинга на них. Построены нетривиальные примеры конформно киллинговых векторных полей с переменным конформным множителем. Ключевые слова: конформно киллинговы векторные поля, лоренцевы многообразия, k-симметри-ческие пространства, киллинговы векторные поля, солитоны Риччи. AMS Subject Classification: 53B30.

Образец цитирования: Андреева Т. А., Оскорбин Д. Н., Родионов Е. Д. О конформном множителе в конформном уравнении киллинга на 2-симметрическом пятимерном неразложимом лоренцевом многообразии // Владикавк. мат. журн.—2023.—Т. 25, вып. 3.—C. 5-14. DOI: 10.46698/f6017-0875-0171-y.

1. Введение

Векторные поля Киллинга порождают алгебру Ли группы движений многообразия и традиционно привлекают внимание математиков [1]. Естественным обобщением данных полей являются конформно киллинговы векторные поля, алгебра Ли которых соответствует группе конформных преобразований многообразия.

#Работа выполнена при поддержке Российского научного фонда, грант № 22-21-00111 «Псевдоримановы многообразия с ограничениями на тензор Риччи». © 2023 Андреева Т. А., Оскорбин Д. Н., Родионов Е. Д.

Важным приложением конформно киллинговых векторных полей являются солито-ны Риччи, которые впервые были рассмотрены Р. Гамильтоном в процессе исследования потоков Риччи на многообразиях. Солитоны Риччи являются обобщением эйнштейновых метрик на (псевдо)римановых многообразиях и их уравнение изучалось на различных классах многообразий многими математиками. В частности, было найдено общее решение уравнения солитона Риччи на 2-симметрических лоренцевых многообразиях малой размерности, доказана локальная разрешимость этого уравнения в классе 3-симметриче-ских лоренцевых многообразий. В случае постоянства константы Эйнштейна в уравнении солитона Риччи, векторные поля Киллинга позволяют найти общее решение уравнения солитона Риччи, отвечающее данной константе [2].

Ранее было описано общее решение конформного аналога уравнения Киллинга на неразложимом симметрическом четырехмерном лоренцевом многообразии [3]. Кроме того описаны конформно-киллинговы векторные поля на пятимерных локально неразложимых 2-симметрических лоренцевых многообразиях в локальных координатах, открытых А. С. Галаевым и Д. В. Алексеевским, при условии постоянного конформного множителя [4, 5]. В данной работе исследованы свойства конформного множителя конформного аналога уравнения Киллинга на пятимерных 2-симметрических лоренцевых многообразиях. Приведем предварительные определения и факты.

2. Основные определения и обозначения

Определение 1. Псевдоримановым многообразием называется гладкое многообразие М, на котором задан гладкий невырожденный симметричный метрический тензор д. Если метрический тензор имеет сигнатуру (1 , п — 1), то (М,д) называется лоренцевым многообразием.

Определение 2. Псевдориманово многообразие (М,д) называется симметрическим порядка к, если

Vй Я = 0, Vk-1Я = 0,

где к ^ 1 и Я — тензор кривизны (М, д), а V — связность Леви-Чивиты.

Заметим, что лоренцевы к-симметрические пространства существуют при всех к ^ 2. Для римановых многообразий из условия VйЯ = 0 вытекает VЯ = 0.

Локально неразложимые 1-симметрические лоренцевы многообразия описаны Кахе-ном и Уоллахом в [6], 2-симметрические лоренцевы многообразия исследованы в работах [7-9]. Отметим, что они являются многообразиями Уокера [10, 11].

Определение 3. Гладкое полное векторное поле К на (псевдо)римановом многообразии (М, д) называется полем Киллинга, если выполняется равенство

Ькд = 0,

где Ькд — производная Ли метрического тензора вдоль поля К.

Определение 4. Гладкое полное векторное поле К на (псевдо)римановом многообразии (М,д) называется конформно киллинговым векторным полем, если выполняется равенство

Ькд = / (p)g,

где Ькд — производная Ли метрического тензора вдоль поля К, р € М, а / (р) — гладкая вещественная функция на многообразии.

Из теоремы Ву (см. [12]) следует, что любое лоренцево многообразие локально может быть представлено в виде прямого произведения некоторого риманова многообразия (М\,д{) и локально неразложимого лоренцева многообразия (М2,д2). Все рассматриваемые далее лоренцевы многообразия предполагаются локально неразложимыми.

С помощью теоремы А. С. Галаева и Д. В. Алексеевского (см. [7]) можно выбрать систему локальных координат (у, ж, у, г, п) на М, где (М, д) — неразложимое неприводимое лоренцево пятимерное многообразие, такую, что

д = 2dпdv + dx2 + dy2 + dz2 + (Н110ж2 + 2Н120 ху + 2Н130 жг + Н220у2

+ 2Н2зоуг + Нззог2 + ж2 пИщ + у2 ПЯ221 + г2 ПН331) dп2, где Нт — ненулевые действительные числа, а И^о — произвольные константы.

(1)

3. Конформно киллинговы векторные поля

Вид конформного множителя /(р) в уравнении конформного уравнения Киллинга Ьхд = /(р)д зависит от того, является ли метрика конформно плоской. Путем прямых вычислений компонент тензора Вейля метрики (1) доказывается следующая лемма.

Лемма. Равенство тензора Вейля метрики (1) нулю Ш = 0 равносильно условиям Н111 = Н221 = Н331, Н110 = Н220 = Н330) а Н120 = Н130 = Н230 = 0-

Далее перейдем к анализу уравнения конформно киллингова поля. Зафиксируем точку р € М и рассмотрим уравнение Ькд = / ■ д в локальных координатах (1). Согласно результатам работы [13] гладкая функция / зависит только от переменной п, поэтому можем положить / = для некоторой функции Р(и). Обозначим координаты векторного поля К через V (у, ж, у, г, п), X (у, ж, у, г, п), У (у, ж, у, г, п), Z (у, ж, у, г,п), и (у, ж, у, г, п) (V, X, У, Z, и — гладкие функции),

2 2 2 2 2 2 Н = Нц0ж +2Нтжу+2Н130жг+Н220У +2Н230уг+Н330г + ж пНщ + у пН221+г пН33Ь

тогда получим систему уравнений:

'2иь = 0;

их + XV = 0; иу + у, = 0; и + Zv = 0;

Ху + Ух = 0; Хг + Zx = 0; Zy + Уг = 0;

-/ + 2Хх = 0; -/ + 2Уу = 0; -/ + 2Zz = 0; (2)

-/ + ии + Vv = 0; Н ■ их + Хи + Vx = 0; Н ■ иу + Уи + Vy = 0; Н ■ иг + Zu + ^ = 0; {-/ ■ Н + 2ии ■ Н + 2Vu + X ■ Нх + У ■ Ну + Z ■ Нх + и ■ Ни = 0.

Рассмотрим все уравнения, кроме последнего. Из них, следуя рассуждениям работы [14], получаем

'и = F (п),

1 dF (п)

X = - Х + Сгу + С2г + Ъг(и), 2 dп

Г = -С1х + 1^^у + С3г + Ь2(и), 2 dп

db1(u) db2(п) V =--;- X--;- у

dп

dп

йЪз(и) __ х2 + у2 + г2 d2F(u) 4 du2

dп

г

+ С4,

где С — произвольные константы, а Ь(и) — гладкие функции.

Подставляя полученные выражения в последнее уравнение (2), получаем:

^(и) .._2 , тг „.„.2 , тг 2 , тг ^2

(Ят их2 + Я221 иу2 + Я331 иг2 + Яцож2

+ 2Ятжу + 2Я1зожг + Я220У2 + 2Я2зоуг + Яззог2)

2 йи

+ С у + С2г + Ь1(и)^ (2Яшиж + 2Яцож + 2Яту + 2Яшг)

+ ( - Сю; + ^ ^^ у + С3,г + Ьа(и)) {2Н221иу + 2Я120ж + 2Я220у + 2Я230,г) (4)

+ ( - С2ж - С3у + ^ ^^ г + Ь3(и)) (2Н331иг + 2Я130ж + 2Я230у + 2Я330г)

ж

2 + у2 + г2 ^(и) о ^(и) о ^(и) о Ьз(и)

2 ¿из ¿и2 ¿и2 ¿и2

+ (Яшж2 + Я221У2 + Язз1г^ ^ (и) = 0.

Далее покажем, что в случае, когда тензор Вейля метрики (1) нетривиален, это равенство может выполняться только для постоянной функции / = ■

Теорема. Пусть М — 2-симметрическое пятимерное неразложимое лоренцево многообразие с метрикой (1), тензор Вейля которого не равен 0. Тогда конформный множитель / (р) конформного аналога уравнения Киллинга Ьхд = / (р)д постоянен.

< Левая часть уравнения (4) является полиномом относительно переменных ж, у, г, его коэффициенты при ж2, у2 и г2 должны обращаться в ноль:

1 ^ (и) ^ (и)

+ —т^ (2Яши + 2Яцо) - 2С1Я120 - 2С2Я130 + = 0, (5)

2 ¿из ^и

§ + ^Г(2Я221М + 2Я22о) + 2С1Я120 - 2СзЯ230 + = о, (6)

1 (^Си) + (2Язз1И + 2Яззо) + 2С,2Я130 + 2С3Я230 + я331^(и) = 0.

2 ¿из ^и

Теперь выпишем почленные разности полученных уравнений:

^^ ((2Яш - 2Я221)и + 2Яцо - 2Я220) + (Яш - Я221)^(и) — 4С1Я12о — 2С2Я1зо + 2Сза2з = 0,

^^ ((2Яш - 2Я331)и + 2Яцо - 2Я330) + (Яш - Я331)^(и) — 2С1Я12о — 4С2Я1зо — 2СзЯ2зо = 0,

^^ ((2Я221 - 2Я331)и + 2Я220 - 2Я330) + (Я221 - Язз1)^(и)

+ 2С1Я12о — 2С2Я1зо — 4СзЯ2зо = 0.

Рассмотрим эти три уравнения в разных случаях.

СЛУЧАЙ 1: Яш = Я221 = Язз1. При Я111 = Я221 = Язз1 рассматриваемые уравнения примут вид

^ (и)

¿и

(2Яцо — 2Я22о) — 4С1Я12о — 2С2Я1зо + 2СзЯ2зо = 0,

—г-^- (2-Нпо — 2_/?ззо) — 2С\Н\2о — 4С2-/?1зо — 2С3Н230 — О, du

—(2-^220 — 2H330) + 2C\Hi20 — 2С2-Н130 — 4С3Я230 = 0. Из этого следует, что при Hm = H221 = H331, Ицо = Hjj0, i = j € {1, 2, 3},

dF (u)

--- = const .

du

СЛУЧАЙ 2.

Вторым случаем рассмотрим ситуацию, если один из Ищ не равен остальным. Для определенности будем считать H111 = H221 и И111 = H331. Тогда поделим (7) на H111 — H221, а (8) на H111 — H331:

dF(u) ( + 2Я110-2Я22о\ + + -4С\Н12о - 2С2Я130 + 2С3Я230 = Q du V H111 — H221 J H111 — H221

^(Ц) Л + 2Я110-2Яззо\ + + —2С1Я120 - 4С2Я130 - 2СзЯ2зо = Q

du V H111 — H331 / H111 — H331

Положим

Г-. 2H110 — 2H220 Г-. 2H110 — 2H330 = 77-77-> -^2 =

H111 — H221 ' H111 — H;

331

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

^ _ —4С1Я120 — 2C2H1302C3H230 ^ _ —2C\H\2o — 4С2Я130 — 2C3H230

H111 — H221 ' H111 — H331

dF (u)

du dF(u)

(2u + D1) + F (u) + E1 =0, (2u + D2) + F (u) + E2 = 0,

(9)

dп

1 ^ (и)

откуда сразу следует постоянство функции ^ 7.

Случай 2.1: А = Б2. Вычтем второе из полученных выражений из первого:

(Ш (п)

du

Так как D1 = D2, то

dF (u)

= const.

(D1 — D2) + E1 — E2 = 0.

dF (u)

(п

Случай 2.2: Б1 = Вычтем из (5) домноженного на Н221 (6) домноженное на Нщ:

Я1П-Я221 он И ) --2-+ (2Я221Я110 " 2ЯП1Я22О) (10)

— 2С1(Н111 + Н221)Н120 — 2С2Н221Н130 + 2С3Н111Н230 = 0-

Из (7) выразим производную F(п) через F(п) и вычислим из полученного выражения поочередно вторую и третью производную:

_ - Я221) 4С1Я120 + 2С2Я130 - 2С3Н230

du 2u(Hm — H221) + 2H110 — 2H220 2u(Hm — H221) + 2H110 — 2H220 :

,и и ,2 ( Е(и)(ЯШ - Я221)

= (Я111 — Я221) —

¿и2 у V (2и(Я111 - Я221) + 2Я110 - 2Я220)2

4С1Я120 + 2С2 Я130 — 2С3Я230

(2и(Яш - Я221) + 2ЯП0 - 2Я220)2

_ 2 / 3^(ц)(Яш-Я221)

1 1П 221) {(2и(Я 111 - Я221) + 2Я110 - 2Я220)3

12С1Я12р + 6С2Я1зо + 34СзЯ2зр \ (2и(Яш - Я221) + 2Яц0 - 2Я220)3 У '

Подставив эти выражения в (10) получим

Р1(и)Е (и) + Р2(и) = 0,

где Рг(и) — некоторые непостоянные многочлены от и, коэффициенты которых выражаются через Я^ и С^.

Отсюда можно заметить, что Е(и) — рациональная функция. Однако уравнение (10) с помощью линейной подстановки сводится к однородному дифференциальному уравнению третьего порядка с постоянными коэффициентами и поэтому его решением не может быть рациональная функция. Значит, Е(и) — постоянная функция. >

4. Конформно плоский случай

Теперь приведем пример метрики вида (1) с тривиальным тензором Вейля, допускающей непостоянный конформный множитель в уравнении конформно киллингова поля, и определим вид этого множителя. Положим

ООО / 0 0 0\ о

д = ¿и ¿и + + + ¿г + ¿и^-и + иа(ж + у + г ) ¿и , где а — произвольная постоянная. Уравнение (5) примет следующий вид:

1 ^Е(и) (и) _ . ----V2 + 2аи —+ аГ(и) = 0.

2 ¿и3 аи

Из этого уравнения Е(и) выражается как:

Г(и) = С5АкуА1( - (-а)^и)2 + С6А1гуВ1( - (-а)Ц2 + С7АпуА1( - (—а)^и)АпуВ1( - (-а)^-и),

где А1гуА1(и), А1гуБ1(и) — частные решения дифференциального уравнения у'' - иу = 0 называемого уравнением Эйри. Это простейшее дифференциальное уравнение, имеющее на действительной оси точку, в которой вид решения меняется с колеблющегося на экспоненциальный. Для действительных и функция Эйри 1-го рода определяется следующим несобственным интегралом:

те

3

А1гуА1(-и) = — J сое + иЬ^ <И.

0

Другим линейно независимым частным решением данного уравнения является функция Эйри 2-го рода А1гуБ1(и), у которой при х ^ —то колебания имеют ту же амплитуду, что и у А1гуА1(и), но отличаются по фазе на п/2. Для действительных и функция Эйри 2-го рода выражается интегралом:

является решением уравнения Ьхд = f (р)д для системы координат (1). А конформный множитель примет следующий вид:

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

1. Berestovskii V. N., Nikonorov Yu. G. Riemannian Manifolds and Homogeneous Geodesies.—Cham: Springer, 2020.—XXII+482 pp.—(Springer Monographs in Mathematics).

2. Оскорбин Д. Н., Родионов Е. Д. Солитоны Риччи и поля Киллинга на обобщенных многообразиях Кахена — Уоллаха // Сиб. матем. журн.—2019.—Т. 60, № 5.—C. 1165-1170. DOI: 10.33048/smzh.2019.60.513.

3. Андреева Т. А., Балащенко В. В., Оскорбин Д. Н. Конформно-киллинговы поля на симметрических лоренцевых многообразиях малой размерности // Труды семинара по геометрии и математическому моделированию.—2020.—Т. 6.—C. 19-25.

4. Hall G. S. Symmetries and Curvature Structure in General Relativity.—2004.—440 p.—(World Sei. Leet. Notes Phys. Vol. 46). DOI: 10.1142/1729.

5. Андреева Т. А., Балащенко В. В., Оскорбин Д. Н., Родионов Е. Д. Конформно киллинговы векторные поля на 2-симметрических пятимерных лоренцевых многообразиях // Изв. Алтайск. гос. ун-та.—2021.—Т. 117, № 1.—С. 68-71. DOI: 10.14258/izvasu(2021)1-11.

0

(см. подробнее [15]).

В данном случае векторное поле вида (3), где

bi =CsAiryAi( - (-а)^и) +C9AiryBi( - (-а)^и), b2 =Ci0AiryAi( - (-а)^и) + CnAiryBi( - (-а)^и), &з =Ci2AiryAi( - (-а)^и) + Ci3AiryBi( - (-а)^и),

/(■u) = -2C5AiryAi( - (-а)з«)(-а)з • AiryAi(l, -(-а)^-и) -2C6AiryBi( - • AiryBi(l, -(-а)^и)

- C7(-a)^AiryAi(l, -(-а)^-и) • AiryBi( - (-а)^-и) -C7AiryAi( - (—а)^ • AiryBi(l, —(—a)^u).

5. Заключение

Литература

6. Cahen M., Wallach N. Lorentzian symmetric spaces // Bull. Amer. Math. Soc.—1970.—Vol. 76, № 3.— P. 585-592. DOI: 10.1090/S0002-9904-1970-12448-X.

7. Galaev A. S., Alexeevskii D. V. Two-symmetric Lorentzian manifolds // J. Geometry Phys.—2011.— Vol. 61, № 12.—P. 2331-2340. DOI: 10.1016/j.geomphys.2011.07.005.

8. Blanco O. F., Sanchez M., Senovilla J. M. Structure of second-order symmetric Lorentzian manifold // J. Eur. Math. Soc.—2013.—Vol. 15, № 2.—P. 595-634. DOI: 10.4171/JEMS/368.

9. Galaev A. S., Leistner T. Holonomy groups of Lorentzian manifolds: classification, examples, and applications // Recent Developments in Pseudo-Riemannian Geometry.—2008.—P. 53-96. DOI: 10.4171/051.

10. Walker A. G. On parallel fields of partially null vector spaces // Quart. J. Math.—1949.—Vol. os-20, № 1.—P. 135-145. DOI: 10.1093/qmath/os-20.1.135.

11. Brozos-Vazquez M., García-Río E., Gilkey P., Nikcevic S., Vázquez-Lorenzo R. The geometry of Walker manifolds.—Morgan & Claypool Publ., 2009.—179 p.—(Synthesis Lect. Math. Statistics). DOI: 10.2200/S00197ED1V01Y200906MAS005.

12. Wu H. On the de Rham decomposition theorem // Illinois J. Math.—1964.—Vol. 8, № 2.—P. 291-311. DOI: 10.1215/ijm/1256059674.

13. Hall G. S. Conformal symmetries and fixed points in spacetime // J. Math. Phys.—1989.—Vol. 31, № 5.—P. 1198-1207. DOI: 10.1063/1.528753.

14. Blau M., O'Loughlin M. Homogeneous plane waves // Nuclear Phys.—2003.—Vol. 654, № 1-2.— P. 135-176. DOI: 10.1016/S0550-3213(03)00055-5.

15. Федорюк М. В. Эйри функции // Математическая энциклопедия. Т. 5 / Гл. ред. И. М. Виноградов.—М.: Советская энциклопедия, 1985.—С. 939-941.

Статья поступила 29 апреля 2022 г.

Андреева Татьяна Андреевна

Алтайский государственный университет,

магистр кафедры мат. анализа

РОССИЯ, 656049, Барнаул, пр. Ленина, 61

E-mail: andreeva08t@mail.ru

Оскорвин Дмитрий Николаевич

Алтайский государственный университет,

должность доцент кафедры математического анализа

РОССИЯ, 656049, Барнаул, пр. Ленина, 61

E-mail: oskorbin@yandex.ru

Родионов Евгений Дмитриевич

Алтайский государственный университет,

профессор кафедры мат. анализа

РОССИЯ, 656049, Барнаул, пр. Ленина, 61

E-mail: edr2002@mail.ru

https://orcid.org/0000-0003-3624-1749

Vladikavkaz Mathematical Journal 2023, Volume 25, Issue 3, P. 5-14

ON CONFORMAL FACTOR IN THE CONFORMAL KILLING EQUATION ON THE 2-SYMMETRIC FIVE-DIMENSIONAL INDECOMPOSABLE LORENTZIAN MANIFOLD

Andreeva, T. A.1, Oskorbin, D. N.1 and Rodionov, E. D.1 1 Altai State University, 61 Lenin Ave., Barnaul 656049, Russia E-mail: andreeva08t@mail.ru, oskorbin@yandex.ru, edr2002@mail.ru

Abstract. Conformally Killing vector fields are a natural generalization of Killing vector fields and play an important role in the study of the group of conformal transformations of a manifold, Ricci flows on a manifold, and the theory of Ricci solitons. Pseudo-Riemannian symmetric spaces of order k, where k ^ 2, arise in the study of pseudo-Riemannian geometry and in physics. At present, they have been investigated in cases k = 2, 3 by D. V. Alekseevsky, A. S. Galaev and others. In the case of low dimensions, these spaces and Killing vector fields on them were studied by D. N. Oskorbin, E. D. Rodionov, and I. V. Ernst. Ricci solitons are a generalization of Einstein's metrics on (pseudo) Riemannian manifolds, and their equation has been studied on various classes of manifolds by many mathematicians. In particular, D. N. Oskorbin and E. D. Rodionov found a general solution of the Ricci soliton equation on 2-symmetric Lorentzian manifolds of low dimension, and proved the local solvability of this equation in the class of 3-symmetric Lorentzian manifolds. For a single Einstein constant in the Ricci soliton equation the Killing vector fields make it possible to find the general solution of the Ricci soliton equation corresponding to the given constant. However, for different values of the Einstein constant, conformally Killing vector fields play the role of Killing fields. Therefore, there is a need to study them. In this paper, we investigate the conformal analogue of the Killing equation on five-dimensional 2-symmetric indecomposable Lorentzian manifolds, and investigate the properties of the conformal factor of the conformal analogue of the Killing equation on them. Nontrivial examples of conformally Killing vector fields with a variable conformal factor are constructed.

Keywords: conformal Killing vector fields, Lorentzian manifolds, k-symmetric spaces, Killing vector fields, Ricci solitons.

AMS Subject Classification: 53B30.

For citation: Andreeva, T. A., Oskorbin, D. N. and Rodionov, E. D. On Conformal Factor in the Conformal Killing Equation on the 2-Symmetric Five-Dimensional Indecomposable Lorentzian Manifold, Vladikavkaz Math. J., 2023, vol. 25, no. 3, pp. 5-14 (in Russian). DOI: 10.46698/f6017-0875-0171-y

References

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1. Berestovskii, V. N. and Nikonorov, Yu. G. Riemannian Manifolds and Homogeneous Geodesics, Springer Monographs in Mathematics, Springer, Cham, 2020 , XXII+482 pp.

2. Oskorbin, D. N. and Rodionov, E. D. Ricci Solitons and Killing Fields on Generalized Cahen-Wallach Manifolds, Siberian Mathematical Journal, 2019, vol. 60, pp. 911-915. DOI: 10.1134/S0037446619050136.

3. Andreeva, T. A., Balashchenko, V. V. and Oskorbin, D. N. Conformal Killing Fields on Symmetric Lorentzian Manifolds of Low Dimension, Proceedings of the Seminar on Geometry and Mathematical Modeling, 2020, vol. 6, pp. 19-25 (in Russian).

4. Hall, G. S. Symmetries and Curvature Structure in General Relativity, World Scientific Lecture Notes in Physics, 2004, vol. 46, 400 p. DOI: 10.1142/1729.

5. Andreeva, T. A., Balashchenko, V. V., Oskorbin D. N. and Rodionov E. D. Conformally Killing Fields on 2-Symmetric Five-Dimensional Lorentzian Manifolds, Izvestiya of Altai State University, 2021, vol. 117, no 1, pp. 68-71 (in Russian). DOI: 10.14258/izvasu(2021)1-11.

6. Cahen, M. and Wallach, N. Lorentzian Symmetric Spaces, Bulletin of the American Mathematical Society, 1970, vol. 76, no. 3, pp. 585-592. DOI: 10.1090/S0002-9904-1970-12448-X.

7. Galaev, A. S. and Alexeevskii, D. V. Two-Symmetric Lorentzian Manifolds, Journal of Geometry and Physics, 2011, vol. 61, no. 12, pp. 2331-2340. DOI: 10.1016/j.geomphys.2011.07.005.

8. Blanco, O. F., Sanchez, M. and Senovilla, J. M. Structure of Second-Order Symmetric Lorentzian Manifold, Journal of the European Mathematical ,Society, 2013, vol. 15, no. 2, pp. 595-634. DOI: 10.4171 /JEMS/368.

9. Galaev, A. S. and Leistner, T. Holonomy Groups of Lorentzian Manifolds: Classification, Examples, and Applications, Recent Developments in Pseudo-Riemannian Geometry, 2008, pp. 53-96. DOI: 10.4171/051.

10. Walker, A. G. On Parallel Fields of Partially Null Vector Spaces, The Quarterly Journal of Mathematics, 1949, vol. os-20, no. 1, pp. 135-145. DOI: 10.1093/qmath/os-20.1.135.

11. Brozos-Vazquez, M., García-Río, E., Gilkey, P., Nikcevic, S. and Vazquez-Lorenzo, R. The Geometry of Walker Manifolds, Synthesis Lectures on Mathematics and Statistics, Morgan & Claypool Publishers, 2009, 179 p. DOI: 10.2200/S00197ED1V01Y200906MAS005.

12. Wu, H. On the de Rham Decomposition Theorem, Illinois Journal of Mathematics, 1964, vol. 8, no. 2, pp. 291-311. DOI: 10.1215/ijm/1256059674.

13. Hall, G. S. Conformal Symmetries and Fixed Points in Spacetime, Journal of Mathematical Physics, 1989, vol. 31, no. 5, pp. 1198-1207. DOI: 10.1063/1.528753.

14. Blau, M. and O'Loughlin, M. Homogeneous Plane Waves, Nuclear Physics, 2003, vol. 654, no. 1-2, pp. 135-176. DOI: 10.1016/S0550-3213(03)00055-5.

15. Fedoryuk, M. V. Eyri Functions, Matematicheskaya entsiklopediya [Encyclopaedia of Mathematics], vol. 5, ed. I. M. Vinogradov, Moscow, Sovetskaya Entsiklopediya Publisher, 1985, pp. 939-941.

Received April 29, 2022

Tatjana A. Andreeva

Altai State University,

61 Lenin Ave., Barnaul 656049, Russia,

Master's Degree Student

E-mail: andreeva08t@mail.ru

Dmitrij N. Oskorbin

Altai State University,

61 Lenin Ave., Barnaul 656049, Russia,

Docent

E-mail: oskorbin@yandex.ru

Evgenij D. Rodionov

Altai State University,

61 Lenin Ave., Barnaul 656049, Russia,

Professor

E-mail: edr2002@mail.ru

https://orcid.org/0000-0003-3624-1749

i Надоели баннеры? Вы всегда можете отключить рекламу.