CC BY
12
НАУЧНЫЙ ОТДЕЛ
МАТЕМАТИКА
УДК 517.977:514.74
Аналитическое вложение геометрий постоянной кривизны на псевдосфере
В. А. Кыров
Кыров Владимир Александрович, кандидат физико-математических наук, доцент кафедры математики, физики и информатики, Горно-Алтайский государственный университет, Россия, Республика Алтай, 649000, г. Горно-Алтайск, ул. Ленкина, д. 1, [email protected]
В математических исследованиях важны геометрии максимальной подвижности. Примерами таких геометрий являются: евклидова, псевдоевклидова, Лобачевского, симплектическая и т.д. Полной классификации таких геометрий нет. Различаются как геометрии максимальной подвижности в целом, например геометрии из списка Тёрстона, так и геометрии локальной максимальной подвижности. Нами разработан метод классификации геометрий локальной максимальной подвижности, названный методом вложения. Основная цель данной работы состоит в нахождении метрических функций геометрий размерности п + 2 и допускающих (п + 2)(п + 3)/2-параметрическую группу движений и, как аргумент, содержащих метрическую функцию
д^л) =
£1 (Ж* - х1 )2 +
• + £?(х? - X?)2 + £((*Г+1 )2 + (ЖП+1 )2)
хп+1хп+1 Х{ X;
(п + 1)-мерной геометрии постоянной кривизны на псевдосфере. При решении поставленной задачи из требования существования группы движений размерности (п + 2)(п + 3)/2, т. е. группы преобразований, сохраняющей метрическую функцию, записывается функциональное уравнение специального вида на эту функцию. Это функциональное уравнение решается аналитически, т. е. все входящие в него функции представляются рядами Тейлора, после чего сравниваются коэффициенты в разложениях. Результатом решения поставленной задачи является геометрия максимальной подвижности с метрической функцией
/ ) = [£1 (х1 -х) )2 + •••+£? (х?-х? )2 +£(х?+1 -х?+1 )2 ]е2^.
Метод вложения применим и для других геометрий локальной максимальной подвижности, что дает надежду построения полной классификации таких геометрий.
Ключевые слова: геометрия максимальной подвижности, функциональное уравнение, дифференциальное уравнение, метрическая функция, группа движений.
Поступила в редакцию: 07.12.2018 / Принята: 09.02.2019 / Опубликована: 31.08.2019
Статья опубликована на условиях лицензии Creative Commons Attribution License (CC-BY4.0)
DOI: https://doi.org/10.18500/1816-9791-2019-19-3-246-257
ВВЕДЕНИЕ
(n + 1)-мерная геометрия локальной максимальной подвижности в работе [1] допускает группу движений размерности (n + 1)(n + 2)/2. Многие из таких геометрий хорошо известны. К их числу относятся: евклидова геометрия, псевдоевклидова, симплектическая геометрия, сферическая, геометрия Лобачевского и др. На псевдосфере в подходящих координатах метрическая функция
£1 (x1 - xj)2 + ■ ■ ■ + е„ (x? - x" )2 + £((xn+1 )2 + j )2)
задает геометрию постоянной кривизны, причем б, б1,...,б? = ±1. Замена координат ж?+1 ^ е-2жпТ1 данную метрическую функцию приводит к следующему виду:
д(г,3) = Ы*1 - х1)2 + ■ ■ ■ + б„(X? - ж?)2]е2х?++ ее2<+'-2хГ + £е2хГ-2хГ'. (1) От метрической функции д можно также перейти к следующей:
61(х1 - х1 )2 + ■ ■ ■ + 6?(ж? - ж?)2 + б(х?+1 - х?+1 )2
з) = д (г, з) - 26 =- +1 х?+1-—.
Для бесконечно близких точек последняя метрическая функция превращается в хорошо известную метрику для геометрии постоянной кривизны на псевдосфере:
= б1 (¿ж1 )2 + • • • + 6? (¿ж? )2 + б(^ж?+1)2 ^ = ^ •
Основная цель данной работы — решение задачи вложения для геометрии с метрической функцией (1), т. е. нахождение на (п+2)-мерном многообразии метрических функций вида
/ (г,,3 ) = х([б1 (ж1 -ж1 )2+---+п (ж?-ж? )2 ]е2х"Т1+2х?Т1 +бе2<Т1 -2хГ +ве2х?Т1 -2<Т ),
где (ж1,..., ж?+1, ) и (ж],..., ж?+1, ^) — координаты точек г и 3 (п + 2)-мерного пространства, сохраняющих свой вид относительно групп преобразований размерности (п + 2)(п + 3)/2. Решение этой задачи сводится к аналитическому решению функционального уравнения специального вида
(ж1 - ж1)(Х1 (г) - X!(з)) + ■ ■ ■ + б?(ж? - ж?)(Х?(г) - X?(3))+
+ [£1 (x] - x] )2 + ■ ■ ■ + £„(Ж? - Ж")21(X„+1 (i) + X„+i (j))-
-£(X„+i(i) - X„+1 (j))(e-4x"+^ e-4x?+1)+
+W (i)F1e-2x:'+1-2x?+1 + W (7 e-2x?+1 -Ч+1 = 0,
где Х1,..., Х?+1, Ж, , — неизвестные. Неизвестные ищутся в виде рядов Тейло ра. Данный метод апробирован в работе [2].
ПОСТАНОВКА ЗАДАЧИ И ОСНОВНЫЕ РЕЗУЛЬТАТЫ
Рассмотрим (п + 2)-мерное аналитическое многообразие М, которое локально диффеоморфно прямому произведению (п + 1)-мерного аналитического многообразия N и одномерного аналитического многообразия Ь, п > 1. Локальный диффеоморфизм осуществляет аналитическое отображение Н : М ^ N х Ь. Пусть П1 : N х Ь ^ N и п2 : N х Ь ^ Ь — проекции. Рассмотрим функции д : N х N ^ Д с открытой и плотной областью определения в N2, и х : Я х Ь х Ь ^ Д. Определим проекции р1 : М х М ^ М и р2 : М х М ^ М, которые на точках действуют так: р1 : (г,.) ^ г и р2 : (г,.) ^ ., где (г,.) — произвольная точка в М х М. Построим функцию / : М х М ^ Я по следующей формуле:
/ = х(д(п1(Н(р1)),П1(Н(р2))),П2 (Н(Р1 )),П2 ((Р2 ))),
область определения 5/ которой открыта и плотна в М2. На точках
/(г,.7) = х(д(П1 (Н(р1 ((г,.)))),п (Н(р2((».))))), п2(Н(Р1((г,.)))),п(Н(р2((г.))))), (2)
где г,. — произвольные две точки из М, причем (г,.) е 5/.
Для произвольной точки из М рассмотрим координатную окрестность и с М, в которой Н является диффеоморфизмом и для любых точек г,. е и, (г,.) е 5/, существуют окрестности и (г) с и, и (.) с и такие, что (г'') е 5/, V г' е и (г), V .' е и(.). Из вышесказанного имеем диффеоморфизм окрестностей Н : и ^ V х Ж, где V, Ж — некоторые координатные окрестности в N и Ь соответственно. Координаты в окрестности V обозначим (х1,... ,хп,хп+1), а координату в окрестности Ж — (ад). Тогда в локальных координатах функция (2) принимает следующий вид:
/ = / (г,. ) = ), (3)
где д (п1 (Н(г)),п1 (Н(.))) = 0 = 0(х1 ,...,хП+1, х],..., хп+1) — метрическая функция (п + 1)-мерной геометрии постоянной кривизны на псевдосфере:
/1 п/- 2ТП+1+2тп+1 2тп+1- 2тп+1 2тп+1- 2тп+1 / Л\
0 = ^(г,. )е2х + бе2х 2х + бе2^ 2х , (4)
где
0(г,.) = 61 (х1 - )2 + • • • + бпК - хП)2,
причем 6,б1,... ,6П = ±1. п2(Н(г)) = wi, п2(Н(.)) = wj•. Пусть выполняются аксиомы.
Аксиома аналитичности. Функция х : Д х Ь х Ь ^ Я аналитическая во всех точках области определения.
Аксиома невырожденности. Для функции (3) в произвольной точке окрестности и (г) х и (.) с М2 справедливы неравенства
| = 0* = 0* = 0. (5)
Пусть группа Ли С действует эффективно и аналитично в и с М. Это означает, что задано аналитическое инъективное отображение (эффективное действие)
Л : и х С ^ и',
где и' с М — открытая область, причем выполняются свойства: 1) Л(г, е) = г, ее С — единица, г е и;
2) A(A(i, a), b) = A(i, ab), для любых а, b е G и i е U;
3) для любого i е U A(i, а) = i, только если а = е.
Действие Аа, определяемое произвольным элементом а е G, называется движением, если для любых точек i,j е U таких, что (i,j) е Sf, (Aa(i),Aa(j)) е Sf, выполняется равенство
f (Aa (i), Aa (J )) = f (i,j ).
Действия группы G можно определить в окрестностях U(i) и U(j) точек i и j, причем если эти окрестности пересекаются, то действия в пересечении совпадают [3, § 1]. Множество всех так определенных движений образует аналитическую группу Ли движений.
Аксиома максимальной подвижности. Размерность группы Ли G максимальная и равна dimG = (n + 2)(n + 3)/2.
Основная задача этой работы — поиск всех функций вида (3), являющихся двухточечными инвариантами (n + 2)(n + 3)/2-мерной группы движений.
Алгебра Ли группы движений состоит из операторов вида [4, § 16]:
X = X1 дх1 + • • • + Xn+1 dxn+1 + Wdw, (6)
где Xa = Xa(x1,...,xn+1 , w), W = W(x1 ,...,xn+1 , w) — аналитические функции в U, a = 1,... ,n + 1. Через операторы (6) записывается условие локальной инвариантности метрической функции [4, § 17]:
X (i)f (i,j) + X (j )f (i,j ) = 0, (7)
которое выполняется в окрестностях U(i) и U(j) точек i и j, причем метрическая функция f(i, j) определена и аналитична в U(i) х U(j).
Пусть k е U с M — начало некоторой системы координат в U, в которой эта точка имеет нулевые координаты (0,..., 0). В такой системе координат справедливы разложения в ряд Тейлора для компонент оператора (6) и метрической функции [5, гл. 11]:
(X1 = X1 (w) + D1 (X1)(w)x1 + • • • + Dn+1 (X1)(w)x"+1 + • • • ,
X?+1 = Xn+1 (w) + D1 (X?+1 )(w)x1 + • • • + Dn+1 (X?+1 )(w)xn+1 + W = W(w) + D(W)(w)x1 + • • • + Dn+1(W)(w)xn+1 + • • • ,
(8)
f (П, Wi, Wj) = f (Wi, Wj) + D1 (f )(wi, Wj )П + - D11 (f )(wi, Wj )П2 + • • • , (9)
dX (x1 xn+1 W)
где, например, X^(w) = X^(0,..., 0,w), Da(X7)(w) = —^—-—|ж=о,
d2 X (x1 x"+1 W)
Dae (X, )(w) = ^'«д' x W) |x=0, x = (x1 ,...,x"+1), a,e,Y = 1,...,n + 1,
f (wi,Wj) = x(0, wi,Wj), D1 (f )(wi,Wj) = , Wj) b=0. Основные результаты рабо-
ты сформулируем в виде теоремы.
Теорема 1. Рассмотрим произвольную точку к е М и ее координатную окрестность и (к). Возьмем также две точки г, 3 е и (к) с окрестностями и (г) и и (3) такие, что и (г) и и (3) с и (к), причем (г, 3), (г' ,3') е 57 V г' е и (г),
V .' е и(.). Тогда метрическая функция /(г,.), в аналитическом многообразии М задающая (п + 2)-мерную геометрию локальной максимальной подвижности, в окрестности и (г) х и(.) в подходящих локальных координатах и масштабном преобразовании (<р(/) ^ /) имеет вид
/(г,.) = [б 1 (х1 - х1)2 + • • • + 6П(ж? - х?)2 + б(хп+1 - х?+1 )2]е2^, (10)
где 6, б1,..., 6? = ±1.
ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ
Запишем в явном виде условие локальной инвариантности (7) метрической функции (3) относительно (п + 2)(п + 3)/2-мерной группы движений:
2[р(г,.)е2<+Ч2х"+1 + 2£(Х„+1 (г) - Хп+1(.,)) вЬ2(х?+1 - х?+1)] д0
+ж(,)/М + ж/ = „, (,,)
,д/(г.)
где
р(г,.) = 61 (ж1 - ж1)(Х1 (г) - X!(.)) + • • • + 6?(ж? - ж?)(Х„(г) - X?(.))+
)(Х„+1 (г) + Х„+1 (.)). (12)
Заметим, что выражение (11) выполняется тождественно по координатам точек г и . из некоторых окрестностей и (г) и и (.), причем и (г) и и (.) с и (к), где и (к) — координатная окрестность. Ниже доказываются леммы для тождества (11) из предположения аналитичности в и (г) х и (.) входящих в него функций. Эти же леммы справедливы также и из предположения принадлежности входящих в тождество (11) функций классу С3 в и (г) х и (.). При доказательстве лемм полагаем т = 1,..., п +1, к, 5,1 = 1,..., п.
Лемма 1. 5 тождестве (11) во всех точках некоторых окрестностей и (г)
и и .)
р(г.)е2х*+ Ч2х"+1 + 26(Х„+1 (г) - Х„+1 (.))8Ь2(х?+1 - х?+1) = 0.
Доказательство. Предположим противное, пусть в некоторых окрестностях и (г) и и(.) (либо в их открытых подмножествах) выполняется равенство
р(г,..)е2х"+1+2хГ1 + 2£(Х„+1 (г) - Х,,+1 (..)) 8Ь2(х"+1 - х"+1) = 0. (13)
Дифференцируя это равенство по переменной wi, а результат по переменным х1,..., х?+1, будем иметь Х1 ш = 0,..., Х'?^^ = 0, следовательно, Хш = Хш(х1,..., хя+1). В результате выражение (13) превращается в функциональное уравнение на операторы алгебры Ли группы движений (п + 1)-мерной геометрии локально максимальной подвижности с метрической функцией (4). Размерность этой группы движений (п + 1)(п + 2)/2. Тогда произвольный оператор линейно выражается через (п + 1)(п + 2)/2 базисных операторов.
Запишем теперь тождество (11) с учетом (13):
Ж,,) + Ж (.,)=0. (.4,
Пусть сначала W = 0. Тогда произвольный оператор алгебры Ли группы движений геометрии с метрической функцией (3) является линейной комбинацией (n + 1)(n + 2)/2 базисных операторов, а должно быть (n + 2)(n + 3)/2. Противоречие.
Пусть теперь W = 0. Тогда от выражения (14) переходим к тождеству
Wj) = ,Wj), (15)
для чего левую и правую части делим на произведение W(j) ^Wt1 и вводим обозначение ^w, ) = - fj / fj • "" Дифференцируем (15) по x, и по xj:
Wj = 2£i(xi - xj^^„, -Wj = -2e,(xi - xj)e2^„,
затем складываем результаты и разделяем переменные:
wx i (i) wx i (j)
ТЛ, ч = TTX, , = a? = const. W(i) W(j) ?
Таким образом, получаем W^ = a?W. После интегрирования имеем
W = c(w,xn+1 )eai xl+-+an xn = 0. Полученное подставляем в (15):
eaiu1+-+an= ^(п, Wi, Wj)c(Wj,xn+1 )/c(Wi,xn+1), u? = xi - xj.
Нетрудно доказать, что ak = 0. Тогда W = c(w,xn+1). Найденное подставляем снова в (15) и дифференцируем по x^1 и по xn+1, после чего результаты складываем и вычитаем:
W (j )W' n+1 (i) - W (i)W' n+1 (j)
W2 (j)
w (j )wi n+i (i) + w (i)w: n+i (j)
= 86 sh2(xn+1 - xn+1
W 2(j)
Выражая из первого равенства ^ и подставляя во второе, имеем
w (j )w; n+i (i) - w (i)w^ „+1 (j)
j ) W2(j)
8e sh2(x"+1 - x"+1)
Л (1 2а-"+1+2а-"
+1 Щ (3 „+1 (г) + № (г)Щ „+1 (з) ' ' №2 (3) •
Дифференцируя последнее равенство по учитывая № = с(ад,хп+1), получаем
4е2х ;+1+2х п+1 Щ (3 )Щ „+1 (г) + № (г)Щ „+1 (3) = 0
№2 (3)
следовательно, приходим к тождественному равенству
Щ .+1 (г) + Щ п+1 (3) = 0
Щг) № (3) '
/Чдтрмдтикд 757
После разделения переменных имеем Wxn+1 = 0. Тогда W = е(ад). Подставляя найденное в (14), имеем
, /(¿7) . ./у)
с(и'!)^т +^ = 0-
Вводим замену: / ^ад/е(ад) = ад. Тогда в новых координатах W =1.
Таким образом, произвольный оператор алгебры Ли группы движений (п + 1)-мерной геометрии локальной максимальной подвижности с метрической функцией (4) является линейной комбинацией (п + 1)(п + 2)/2 + 1 базисных операторов, которых должно быть (п+2)(п+3)/2. Противоречие. □
Лемма 2. В тождестве (11) во всех точках некоторых окрестностей и (г) и и (7) справедливо неравенство W = 0.
Доказательство. Предположим противное, пусть в некоторых окрестностях и (г) и и (7) (либо в их открытых подмножествах) в тождестве (11) W = 0. Тогда из д/(г 7)
леммы 1 следует —= 0, что противоречит условию невырожденности (5) метрической функции (3). □
Лемма 3. В тождестве (11) для функции W(х1 , ...,хп+1,ад) во всех точках некоторых окрестностей и (г) и и(7) справедливо неравенство
(дW \2 ( дW \ 2 ,
+ ••• + -тТ^) =0.
удх1/ \дхп+1у
Доказательство. Предположим противное, пусть в некоторых окрестностях и (г) и и(7) (либо в их открытых подмножествах)
(V ( дW \2 = 0
/^ад
———- = ад. W (ад)
Очевидно, в новых координатах W(ад) = 1. В результате (11) примет вид
2[Р(М}е2х"+1+2хП+1 + 2е(Хп+1 (г) - Х^))вЬ2(хП+1 - х"+1 )]/М +
+ д/ (г, у) + д/(»,7) =0
дад^ дад^
_ д/(г, 7) 2хп+1+2тп+1
Деля последнее тождество на ненулевую производную ——— е * 3 , полуда
чаем функциональное уравнение
£1(®1 - Х)(Х1 (г) - XI(у)) + ■ ■ ■ + е„(х" - х")(Х„(г) - Х„(у))+
+0(г,.7 )(Х„+1 (г) + Х„+1 (7))+
~п+1 ж, .ги,уаЧ
+е(Х„+1 (г) - Х„+1(7Же-3 - е-4х"+1) = ф(0,х"+1 ,х"+1,(16)
>- Ч fj + f!2)/2 aj¥
U) 2x"+1+2x"+(
(17)
Затем решаем уравнение (16) методом, описанным подробно при доказательстве леммы 1. Так, тождество (16) дифференцируем по xi, по xj:
£/ (X/ (i)X/ (j )) + £1 (x1 - x) )Xlxi (i) + • • • + £n (xn - xn )ХПЖ1 (i) + 2n(xi - xj )x x(Xn+1 (i) + Xn+1 (j)) + ^X(n+i)xi (i) + £Х(п+1)ж1(г)(е-4жП+1-e-4x)+1 )-- 2£i(xi - xj)ф,(0,xn+1,xn+1 ,!)e2x)+(+2x)+1, £/(X/(i) - X/(j)) + £1(x1 - x1 )X1XÍ (j) + • • • + £n(xn - xn)Xnxl (j) +
+2£i (xi - xj )(Xn+1 (i) + Xn+1(j )) - ^X(n+1)xi (j ) + £X(n+1)xl (j )x [ x(e-4x)+1 - e-4x)+() - 2£i(xi - xj)фе(0, xn+1, xf1,!,!j)e2x)+1+2x)+1.
Далее, из первого уравнения вычитаем второе:
£1 (x1 - x])(X1X (i) - X1xl (j)) + • • • + £n(xn - xn)(Xnxl (i) - Xnxl (j)) + +^(X(n+1)xi(i) + X(n+1)xi(j)) + £(X(n+1)xi(i) - X(n+1)xi(j))(e-4j+1 - e-4<+1) - 0.
Теперь полученное дифференцируем дважды в следующем порядке: по xk и xs;
xk и !j; xk и xn+1:
-£k Xkx1 xs (j ) - £s Xsx1 xk (i) + 2£k (xk - xk )X(n+1)x1xS (j )-
-2£s(x| - x«)X(n+1)xixk(i) - 0, k - s,
Xkxixk (j) + Xkxlxk (i) + 2(xk - xk)(X(n+1)xixk (i) - X(n+1)xixk (j))+ (18)
+2(X(n+1)xl (i) + X(n+1)xl (j)) - 0,
vXkxiw(j) + 2(xk - xk)X(n+1)xiw(j) - 0, £kXkxlx)+( (j) + 2£k(xk - xk)X(n+1)xlx)+( (j) - 4£X(n+1)xlxk (i)e-4xj+1 - 0.
Дифференцируя третье уравнение системы (18) по xk, получаем Xkxlw - 0, X(n+1)xlw - 0. Дифференцируя первое уравнение системы (18) по xk и по xm, а второе уравнение по xk и по xk, затем разделяем переменные: X(n+1)xlxsxm - 0. Четвертое уравнение системы (18) дифференцируем по xk и учитываем предыдущее:
X(n+1)xlx)+( - 0, X(n+1)xlxk - a¿k - aki - const, Xkx*x)+( - 4££ka¿ke-4xn+(. Из предыдущего следует X(n+1)xl - a11 x1 + • • • + a/nxn + p, a/k- const. С учетом найденного первое и второе уравнения системы (18) принимают вид
-£k Xkxl xs (j) - £s Xsxl xk (i) - 2£sxs a/k + 2£k xk a/« - 2£k xk a/« + 2£« xs a/k - 0, k - s;
j
Xkxl xk (j) + Xkxl xk (i) + 2(a*1 x1 +-----h abxn + anx1 +----a/n xn + 2p/) - 0.
Разделяя переменные, имеем
Xkxl xs - -2xk a/« + 2£s £k xsa¿k + £k Ckis, сш - сы - -c«/k - const, k - s; Xkxl xk - -2(aü x1 +-----Ъ a/n xn + p/).
Легко проверить сш - -c«/k - -c«k/ - - c/«k - -cb/, с другой стороны, Ckis - Cks, поэтому Ckis - 0. Тогда имеем
Xkxl xs - -2xk a/« + 2£k £s xs aik, k - s, X^uk - -2(a/1x1 +-----h аы xn + p),
Xkxlw = 0j Xkxlxn+1 = 4eekaikе-4ж , aik = aki.
Интегрируем полученное:
Xk = Xk(x) - ££k(akix1 + • • • + aknxn)e-4xn+1 + Ak(xn+1, w), Xn+1 = Xn+1 (x) + Pix1 + • • • + Pn xn + B (xn+1, w), x = (x1,... ,xn).
Найденное подставляем в (17) и умножаем на ek(xk — x^) и из него вычитаем равенство, полученное из (17) переобозначением индекса l ^ k и умноженное на ег(x« — xj-), причем k = l, после чего сравниваем коэффициенты перед степенями xk. Тогда будем иметь Ak,B = const. В итоге получаем произвольный оператор алгебры Ли группы движений, зависящий от n(n + 5)/2 + 1 постоянных akl,рг, Ak,B, среди которых независимых ш < n(n + 5)/2 + 1. Придавая этим постоянным значения 0 и 1, получаем базис, состоящий из ш + 1 < (n + 2)(n + 3)/2 операторов. Противоречие. □
Функциональное уравнение (11) удобно переписать в виде
£1(x1 — x1 )(X1 (i) — X1 (j)) + • • • + £„ (xn — xn )(X„ (i) — Xn (j)) +
+ [£1 (x1 — xj)2 + • • • + en (xn — ж," )2 ](X„+1 (i) + X„+1(j )) — —£(Xn+1(i) — Xn+1 (j ))(e-4xn+1 — e-4x?+1)+
+W (i)F1 e-2xn+1 -2xn+1 + W (j )F2 e-2xn+1 = 0, (19)
где введены обозначения
* -Ш ) = /2 - * (а.ш ) = /М>/2 /М. (20)
Из аналитичности и отличия от нуля функции (3) в и (г) х и (^), очевидно, следуют аналитичность функций (20) и справедливость неравенств * = 0, = 0. Тогда имеем разложение в ряд Тейлора [5, гл. 11]:
>1 (А,Ш ) = / (ш ) + А /Ж )А + 2 Ад (/)(ш )А2 + ••• , (21) *2 (А, Ш, Ш ) = /2 (Ш*, Ш ) + А (/2 Ж, Ш )А + 2 Ад (/2 )(ш, Ш )А2 + • • • ,
ч п /п ч п/м/ N dF1 (A,w« ,Wj) где, например, Mw« ,Wj) = F (0,Wi,Wj), ША )(wi,wj) = -
/2(wi,Wj) = F2(0, w«, Wj), D1 (/2)(w«,Wj) =
dA
ÖF2 (0,w< ,wj)
ß=n
dA
ö=n
Разложения (8) и (21) подставляем в тождество (19) и сравниваем коэффициенты слева и справа перед одинаковыми степенями произведений переменных х1,... , хП+1, х],..., xn+1. Эта задача существенно упрощается с применением математического пакета программ MAPLE 17 [6, гл. 8].
Из леммы 2 вытекает, что в последовательности D1 (W)(w), D2(W)(w),..., Dn+1(W)(w), D11 (W)(w), D12(W)(w),... есть хотя бы один ненулевой член. Сравнивая ряды, имеем
Daia2 ...(W )(Wi )D7172... (/1 )(Wi ) = 0, Daia2 ...(W )(Wj )D7172... (f2 )(Wi ) = 0, Dai a2... (W )(wi )(f1(Wi ) + 2eD1 (/1 )(w )) = 0, Dai a2... (W )(w?) (/2 (wi ) + 2eD1 (/2 )(w* ,w?)) = 0,
где а = 1,..., п +1, к =1, 2,..., 7/ = 1, I = 2, 3,... Тогда
Рц 72 ••• (/Ж) = £7172... (/ )(ад* ,ад^) = 0, /1 (^ ,ад^-) = —2бР (/1 )(ад^ ,ад^), /2 (ад*,ад^) = —2бР (/2)^ ,ад^).
Из разложения в ряд Тейлора равенства (19) выделяем еще следующие выражения:
«2 ••• (^ )(Шг)А (/1 ) = ра1 «2-. (^ ),
Ра «2-(^ )(ад^- )Р (/2 )(ад* ,ад^) = «2... (ад^-),
где а = 1,..., п +1, I = 1, 2,... Дифференцируя первую группу выражений по ад^-, а вторую по ад^, имеем
в 9А (/1 )(«,^) =0 р («,.)(/2^) _0
дР/)(ад^) дР (/2)^ ) „
Следовательно, ---— = 0, ---— = 0. Интегрируя найденное
аад^- аад^
и возвращаясь в предыдущее, получаем Р1 (/1 )(ад^,ад^) = Р1 (/1 )(ад^), Р1 (/2)(ад^,ад^) = = Р (/2Ж), Р1 (/1 )(м) = Р1 (/2)Н = 0.
С учетом полученного из (20) и (21) будем иметь
^ (0,ад?) = Р/ )(ад*)(0 - 2б), ¿2(0, ) = Р1 (/1 )(ад^)(0 - 2б),
откуда следует
Р (/1 Ж)/ = 2(0 - 2£)/ Р/Ж)/ = 2(0 - 2£) / (22)
Интегрируя систему (22), получаем / (¿,3) = ^((0 — 2б)ек )+к где К (ад) = 2 / Р1 (/1 )(ад)^ад, или
/ (¿, з) = ^([61 (х1 — я])2 + • • • + 6? (х? — х? )2+
+£е-4хГ+1 + £е-4ж"+1 — 2бе-2жП+1 е-2Хп+1 ]ек К- )+2<+1 ^Г1).
Переходя к новым координатам е-2жП+1 ^ х?+1, К (ад) + 2х?+1 ^ ад и используя преобразование (/) ^ /, получаем метрическую функцию (10). Теорема доказана.
ЗАКЛЮЧЕНИЕ
Вышепоставленная задача об аналитическом вложении геометрии с метрической функцией (4) полностью решена. Аналогично поставленная задача об аналитическом вложении геометрии с метрической функцией (10) также решена [7]. Актуальна постановка задачи и ее решение об аналитическом вложении (п +1)-мерной геометрии с метрической функцией
а(г, ?) = х1 х1 + • • • + х?х? + х?+1 х?+.
В таком случае ищутся все (п + 2)-мерные геометрии локальной максимальной подвижности с метрическими функциями вида
/ (г,;) = х(Х ж} + • • • + X ж? + ж?+1 Х+1 , «<, ш,).
Очевидно, одной из таких геометрий является геометрия, задаваемая функцией
/ (г,;) = жЫ + • • • + ж^ж? + ж?+1 ж?+1 + ш* ш, .
Благодарности. Выражаю искреннюю благодарность профессору Михайличенко Геннадию Григорьевичу за обсуждение полученных результатов.
Библиографический список
1. Михайличенко Г. Г. О групповой и феноменологической симметриях в геометрии // Сиб. матем. журн. 1984. Т. 25, № 5. С. 99-113.
2. Кыров В. А., Михайличенко Г. Г. Аналитический метод вложения евклидовой и псевдоевклидовой геометрий // Тр. ИММ УрО РАН. 2017. Т. 23, № 2. С. 167-181. DOI: https://doi.org/10.21538/0134-4889-2017-23-2-167-181
3. Михайличенко Г. Г. Математические основы и результаты теории физических структур. Горно-Алтайск : Изд-во ГАГУ, 2016. 296 с.
4. Овсянников Л. В. Групповой анализ дифференциальных уравнений. М. : Наука, 1978. 400 с.
5. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления : в 3 т. Т. 2. М. : Физматлит, 2001. 810 с.
6. Дьяконов В. Maple 10/11/12/13/14 в математических вычислениях. М. : ДМС, 2014. 640 с.
7. Кыров В. А. Аналитический метод вложения многомерных псевдоевклидовых геометрий // Сиб. электрон. матем. изв. 2018. Т. 15. С. 741-758. DOI: https://doi.org/10.17377/ semi.2018.15.060
Образец для цитирования:
Кыров В. А. Аналитическое вложение геометрий постоянной кривизны на псевдосфере // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 3. С. 246-257. БОТ: https://doi.org/10.18500/1816-9791-2019-19-3-246-257
Analytic Embedding of Geometries of Constant Curvature
on a Pseudosphere
V. A. Kyrov
Vladimir A. Kyrov, https://orcid.org/0000-0001-5925-7706, Gorno-Altaisk State University, 1 Lenkin St., Gorno-Altaisk 649000, Altai Republic, Russia, [email protected]
In mathematical studies, the geometries of maximum mobility are important. Examples of such geometries are Euclidean, pseudo-Euclidean, Lobachevsky, symplectic and so on. There is no complete classification of such geometries. They are distinguished as the geometries of the maximum mobility in general, for example, the geometries from the Thurston list, and the geometries of the local maximum mobility. V. A. Kyrov developed a method for classifying the geometries of local maximum mobility, called the method of embedding. The primary purpose of this paper is to
find the metric functions of geometries of dimension n + 2 that admit (n + 2)(n + 3)/2 -parametric group of motions, and as an argument contain the metric function
of (n+1)-dimensional geometry of constant curvature on a pseudosphere. In solving this problem, a functional equation of a special form is written due to the requirement for the existence of a group of motions of dimension (n + 2)(n + 3)/2, that is, of a group of transformations that preserve the metric function. When solving this problem with the requirement that a group of motions of dimension (n + 2)(n + 3)/2 exists, a functional equation of a special form can be written for this function. This functional equation is solved analytically, that is, all the functions are represented as Taylor series, then the coefficients in the expansions are compared. The result of solving this problem is the geometry of maximum mobility with the metric function
The embedding method is also applicable to other geometries of local maximum mobility, which
gives us the hope of constructing a complete classification of such geometries.
Keywords: geometry of maximum mobility, functional equation, differential equation, metric function, group of motions.
Received: 07.12.2018 / Accepted: 09.02.2019 / Published: 31.08.2019
This is an open access article distributed under the terms of Creative Commons Attribution
License (CC-BY 4.0).
Acknowledgements: I express my sincere gratitude to Professor Gennady G. Mikhailichenko
for the discussion of the results obtained.
References
1. Mikhailichenko G. G. Group and phenomenological symmetries in geometry. Sib Math J, 1984, vol. 25, iss. 5, pp. 764-774. DOI: https://doi.org/10.1007/BF00968690
2. Kyrov V. A., Mikhailichenko G. G. An analytic method for the embedding of the Euclidean and pseudo-Euclidean geometries. Tr. Inst. Mat. Mekh. Ural. Otd. Ross. Akad. Nauk, 2017, vol. 23, no. 2, pp. 167-181 (in Russian). DOI: https://doi.org/10.21538/0134-4889-2017-23-2-167-181
3. Mikhailichenko G. G. The mathematical basics and results of the theory of physical structures. Gorno-Altaisk, Publishing house of Gorno-Altaisk State University, 2016. 297 p. (in Russian). https://arxiv.org/pdf/1602.02795
4. Ovsyannikov L. Group Analysis of Differential Equation. New York, Academic Press, 1982. 400 p. (Russ. ed.: Moscow, Nauka, 1978. 400 p.).
5. Fichtengolz G. M. Kurs differentsial'nogo i integral'nogo ischisleniya [A course of differential and integral calculus]. Vol. 2. Moscow, Fizmatlit, 2001. 810 p. (in Russian).
6. Dyakonov V. Maple 10/11/12/13/14 v matematicheskikh raschetakh [Maple 10/11/12 /13/14 in mathematical calculations]. Moscow, DMS, 2014. 640 p. (in Russian).
7. Kyrov V. A. The analytical method for embedding multidimensional pseudo-Euclidean geometries. Sib. Elektron. Mat. Izv. [Siberian Electronic Mathematical Reports], 2018, vol. 15, pp. 741-758 (in Russian). DOI: https://doi.org/10.17377/semi.2018.15.060
Cite this article as:
Kyrov V. A. Analytic Embedding of Geometries of Constant Curvature on a Pseudosphere. Izv.
Saratov Univ. (N.S.), Ser. Math. Mech. Inform., 2019, vol. 19, iss. 3, pp. 246-257 (in Russian).
DOI: https://doi.org/10.18500/1816-9791-2019-19-3-246-257
g(ij ) =
(x1 - x1 )2 + • • • + (xn - xn )2 + e((xn+ )2 + (j1 )2 )
r.n+l\2
f (i,j) = [ei(x1 - x1 )2 + • • • + £n(xn - xn)2 + фП+1 - x,n+1)2]e2wi+2Wj
