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

2016 Математика и механика № 4(42)

УДК 514.756:514.763.6 DOI 10.17223/19988621/42/2

В.А. Киров

СОБСТВЕННО ГЕЛЬМГОЛЬЦЕВА ПЛОСКОСТЬ КАК ФИНСЛЕРОВА ГЕОМЕТРИЯ

Г.Г. Михайличенко была построена полная классификация двумерных феноменологически симметричных геометрий. Она содержит как хорошо известные геометрии (евклидову, псевдоевклидову, симплектическую, сферическую и т.д.), так и неизвестные (собственно гельмгольцеву, псевдогельм-гольцеву, дуальногельмгольцеву и симплициальную). Простой анализ доказывает однородность метрической функции собственно гельмгольцевой геометрии, поэтому данная геометрия принадлежит классу финслеровых пространств. Применяются методы финслеровой геометрии для исследования собственно гельмгольцевой двумерной геометрии: проверяются аксиомы, находится финслеров метрический тензор, финслеров основной тензор, вычисляется специальный тензор кривизны.

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

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

1. Собственно гельмгольцева плоскость

Рассмотрим арифметическую плоскость R2 и метрическую функцию в ней [1]:

2 2 x - У 2Y arctg 1 ^

f (x, y) = [(x1 - y1)2 + (x2 - y2)2]e x-y ,

x2 »

где у = const, у Ф 0, функция arctg—- принадлежит классу Cш, причем при

x

x2 x2

x1 > 0, arctg— e (-n/2,n /2), а при x1 < 0, arctg— e (-n /2, n /2). Рассмотрим

x x

касательную плоскость Tx (R2) к R2 в произвольной точке x = (x1, x2). Обозна-

чим через Т(К2) касательное расслоение. Зададим в прямом произведении К2 х Т(К2) метрическую функцию

_ —2

¡——-— у атс^—

/ (и) = у1 (и1)2 + (и2)2 е — , (1)

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

Определение 1. Тройка (К2, Б(К2), /) задает собственно гельмгольцеву двумерную геометрию (плоскость).

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

Хи2

I- уаг^—-

/(Хи) = -у/ (Хи1)2 + (Хи 2)2 е Хи1 = Х/ (и)

для любого Х > 0 . □

Таким образом, собственно гельмгольцева двумерная геометрия принадлежит классу финслеровых пространств [4].

Очевидно, метрическая функция (1) положительна, то есть /(и) > 0, где

(и1)2 + (и2)2 Ф 0, и е Б(К2).

Теорема 2. Собственно гельмгольцева плоскость является положительно определенным двумерным финслеровым пространством.

Доказательство. Вычисляем производные первого и второго порядков:

и2 и2

д/2 , 2 2уаг^—1 д/2 2 , 2Уагс1вмт = 2(и -уи )е и , = 2(и2 + уи')е — , ди ди

2

д2/2(х, и) = 2(и')2 + (1 + 2у2 )(и2)2 - 2уи'и2 е2Уагс^ ——1 ди1ди1 (и1)2 +(и2)2 '

2

д2 / 2( х, и) = у ((и1)2 - (и 2)2) - 2у Уи 2 е2^ —1 ди1ди2 (и1)2 +(и2)2 '

2

д2/2(х, и) = 2 (1 + 2у2)(— )2 + (и2)2 + 2уи'и2 е2^агс'ё —1 ди 2ди2 (и1)2 +(и2)2 '

Затем вычисляется определитель

Д =

д 2 / 2 (х,и) д 2 / 2( х,и)

ди1ди1 ди1ди2 д 2 / 2 (х,и) д 2 / 2( х,и)

д—2д— д—2д—2

,,2

4Уаг^—

= (1 + у2)е и > 0.

Элемент в левом верхнем углу данного определителя, очевидно, положителен:

2

д2/2(х, ") = 2(" -уи2)2 + (1 + у2)("2)2 "г > 0 ди1ди1 (и1)2 + (и2)2 '

Из полученных результатов следует, что квадратичная форма

Z Zj = 2gij ZZj (2)

du duJ

положительно определена. □

2. Собственно гельмгольцево двумерное многообразие

Это многообразие определено в работе автора [5], и локальное его изучение было темой кандидатской диссертации. В этом пункте все индексы принимают значения 1 и 2. Рассмотрим касательную плоскость Tx (M) к двумерному многообразию M в произвольной точке x и касательное расслоение T (M). В прямом произведении M х T (M) зададим метрическую функцию, которая в координатной окрестности U с M имеет явный вид:

ьи

-- yarctg-!-—

f (x, u) = V(aiui )2 + (ЬТ )2 e a'U , (3)

где и e Tx (M), а ai = ai (x), bi = bi (x) - функции класса C3, у = const, у Ф 0 . В каждой точке x векторы aiu1, biu1 линейно независимы, то есть ахЬ2 - а2Ьх Ф 0 . Касательный вектор u e Tx (M) называется неизотропным, если для него определено значение метрической функции (3). Множество неизотропных касательных векторов в точке x обозначим через Dx (M) с Tx (M). Пусть D(M) с T(M) -расслоение неизотропных касательных векторов. Очевидно, метрическая функция (3) определена в прямом произведении M х D(M).

Определение 2. Тройка (M, D(M), f) задает геометрию двумерного собственно гельмгольцева многообразия.

Заметим, что для собственно гельмгольцевой плоскости a = 1, a2 = 0, Ь1 = 0, Ь2 = 1.

Теорема 3. Метрическая функция (3) положительно однородна. Доказательство. Действительно,

Ым1

-- yarctg—-г

f (x, Xu) = yj(aXul )2 + (ЬXul )2 e a'Xu' = If (x, u),

для любого X > 0 . □

Итак, геометрия двумерного собственно гельмгольцева многообразия принадлежит классу финслеровых пространств [4].

Метрическая функция положительна, то есть f (x, u) > 0, где

(atu )2 + (Ь^ )2 Ф 0, u e Dx (M).

Терема 4. Собственно гельмгольцево двумерное многообразие (М, Б(М), /) является положительно определенным двумерным финслеровым пространством. Доказательство. Сначала вычисляем производные первого порядка:

2 „ (2) д/2(х и) 2уагй§^-

= 2[(а + уЬг )(1) + (йг - уаг )(2)]е (1),

ди

где для удобства введены обозначения

(1) = акик ,(2) = Ькик.

Потом вычисляются компоненты финслерова метрического тензора

. . 1 д2 /2 (х, и)

gij (х, и) =--:-:— собственно гельмгольцева двумерного многообразия:

2 ди1 ди1

А (1)2 + В: (2)2 + С: (1)(2)

(1)

11 (1)2 + (2)2 где введены сокращающие обозначения:

А, = аа1 +уаЬ1 +уЬа, +(1+2 у2) ЬЬ,, В11 = (1 + 2 У2) а1а1 -1а1Ь1 -1Ь1а1 + Ь1Ь1, С11 = -2У (а1а1 +Уа1Ь1 +УЬ1а1 - Ь:Ь 1). Затем вычисляется определитель

Д =

и2

4уагс1§—

= - gl2g21 = (1 + У2 )(а1Ь2 - а2Ь1 )2 е и >

gl1 gl2

g 21 g 22

Нетрудно также доказать, что g11 > 0. Из полученных результатов следует, что

квадратичная форма (2) положительно определена. □

Очевидно, метрический тензор положительно однороден степени 0 и симметричен по индексам.

Предложение 1. Контравариантный финслеров метрический тензор собственно гельмгольцева двумерного многообразия задается формулой

1 О (2)

у = А11 (1)2 + В11 (2)2 + С11 (1)(2)

g "(1 + у2)(аЬ2 -а2Ь)2((1)2 +(2)2)е ,

где А11 = А22, А21 = -А12, А22 = Ап, В11 = В22, В21 =-Вп, В22 = В„, С11 = С22,

21 22 С = —С12 , С = С11 .

Доказательство. Контравариантный финслеров метрический тензор gгl определяется из формулы g1J gjk = 5 к, где - символ Кронекера. Тогда

22 = Ап(1)2 + Вп(2)2 + Си (1)(2) g (1 + у2)(аЬ -а2Ь1)2((1)2 +(2)2) * ,

21 = А21 (1)2 + В21 (2)2 + С21 (1)(2)

(1 + у2)(аЬ -а2Ь)2((1)2 +(2)2)

е (1),

11 - ^22 (1)2 + В22(2)2 + с22(1)(2)

(1+у2)( аЬ -«2^1)2((1)2 +(2)2) '

Если ввести обозначения:

А11 - А А21 --А А22 - А

7?11 _ О С?21 _ г> £?22 _ 73

^—т11 _^ ^-»21 __г^22 _

С - С22 , С - —С12 , С - С11,

то для компонент контравариантного метрического тензора получим исходную формулу. □

Основной финслеров тензор [4] определяется формулой

о, (х,и) -1 Щ! -1 ,

1 2 дик 4 ди1 ди1 дик а дополнительный тензор - формулой

Ак (х, и) - /(X, и)Сук (х, и). Очевидна полная симметрия по индексам:

Сук - С1к1 - Ск]'1 - С11к и Д1к - Лук - Ак/1 - Д1гк .

Предложение 2. Основной и дополнительный финслеровы тензоры собственно гельмгольцева двумерного многообразия задаются формулами

2 (2) 2 (2)

С - 2у(1 + У2)Рук - 2у(1 + у2)Рук (4)

1 ((1)2 + (2)2)2 ^ , Дк ((1)2 + (2)2)3/2 ^ , ()

где введено обозначение р ук - (Ък (1) — ак (2))(Ъ1 (1) — ау (2))(Ь1 (1) — а1 (2)).

Доказательство. Для доказательства необходимо вычислить производные от компонент метрического тензора и привести подобные. □

Определим единичный вектор, а также ковариантный нормальный к нему вектор:

,г иг к ( 0

I --, т - —6, где ег> -I ,— I.

I(х,и) 1 1к ' гк 1—ТХ 0 ]

Точные вычисления приводят к выражениям для собственно гельмгольцева двумерного многообразия:

(2) (2) . -Yarctg— I-— yarctg———

. _ Ue (1) _V (1 + y2)( b (1)-a (2)) e (—)

V(—)2 + (2)2 ' ' л/(—)2 + (2)2

В финслеровой геометрии доказано соотношение

4jk _ Jmimjmk, (5)

где J - скаляр [4].

Предложение 3. Финслеров скаляр J собственно гельмгольцева двумерного многообразия вычисляется по формуле

2у

J _ , _ const.

V— + Y2

Доказательство. Найдем сначала тройное произведение:

о „ (2)

(1 + у2 )3/2(6г (1) - а {2)){Ь] (1) - а] (2))(Ьк (1) - ак (2))у (1)

ШМ-Шь =-^-\ -

г - ь ((1)2 + (2)2)3/2

о » (2)

= (1 + у2)3/2 рг]ке (1)

((1)2 + (2)2)3/2

Подставляя найденное произведение и выражение для тензора А-к, вычисленное

в предложении 2, в формулу (5), получаем выражение для скаляра 3 . □

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

С)к = ¿1С]Ш , А)к (х,и) = /(х, и)С)к (х,и).

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

С = -2у(Ьк (1) - ак (2))(Ь} (1) - а- (2))((а1 + уЬг )(1) + (Ьг - уаг )(2)) ]к (аЬ - а2Ь)((1)2 + (2)2)2 ,

А = -2 у (Ьк (1) - ак (2))(Ь - (1) - а- (2))(( а1 + уЬг )(1) + (Ьг - уаг )(2)) У) (б)

А -к = т 1 11I у , (6)

- {а,Ь2 - а2Ь1)((\)2 + (2)2)

где а1 = аг, Ь1 = Ьг.

С помощью последнего тензора можно определить финслеров специальный тензор кривизны [4]:

= АкгА]И - АгИА]к. (7)

Теорема 5. Финслеров специальный тензор кривизны для собственно гельмгольцева двумерного многообразия равен нулю.

Доказательство. Действительно, воспользуемся выражением (6) для тензора А-к при вычислении финслерова специального тензора кривизны (7):

^ 4у2 ^т-Щ х

]кк (аЬ -а2Ь)2((1)2 + (2)2)3

х[((аг + уЬг )(1) + (Ьг - уаг )(2))(Ь- (1) - а} {2))фк (1) - ак (2))(Ьк (1) - ак (2))(ЬГ (1) --аг(2))х ((аг +уЬг)(1) + (ЬГ -уаг)(2))-((аг +уЬг)(1) + (Ьг -уаг)(2))(Ь-(1)--а- (2))(Ьк (1) - ак (2)) х (Ьй(1) - аь (2))(ЬГ (1) - аг (2))((аг + уЬг)(1) + (Ьг - уаг)(2))] = 0.

Проведенные вычисления доказывают, что 8-к1 = 0. □

Автором [5] проводилось исследование кривизны двумерного собственно гельмгольцева многообразия, построенной через согласованную связность. Найден соответствующий тензор кривизны:

дГ' сГд

pz _ ,__IL — T1 г5 1 т5

Rjkl - x + fok Г 5kГ jl +i 5lГ jk ,

где символы Кристоффеля согласованной связности определяются по формуле

rj - 2S К ^),

da db

причем hjj -aOj + bibj +Y-ajbz), Xjk -bj —k-aj —k . Оказалось, что Rjki Ф0 .

СЛЛ- СЛЛ-

Заключение

В классификации Михайличенко двумерных феноменологически симметричных геометрий [1] кроме собственно гельмгольцевой геометрии получены еще две на тот момент неизученные геометрии с однородными метрическими функциями:

2 - 2 2 - 2 2p^r(C)ihXr-yr Xr-yr

f(x,y) - [(x1 -y1)2 -(x2 -y2)2]e x-y , f (x,y) - (x1 -y>)ex-y , где p - const, p^ 1,0 . Эти геометрии называются соответственно псевдогельм-

гольцевой и дуальногельмгольцевой. Они также принадлежат классу финслеро-вых пространств.

В работе В.Х. Льва [6] приводится классификация трехмерных феноменологически симметричных геометрий, среди которых есть собственно гельмгольцева геометрия с метрической функцией:

2 - 2

2 у arctg x 1 yi + 2 z1 + 2 z2

f (x,y) - [(x1 - y1)2 + (x2 - y2)2]e x-y .

Для этой метрической функции не выполняется основное свойство финслеровой геометрии - свойство однородности, то есть данная геометрия не принадлежит классу финслеровых пространств.

ЛИТЕРАТУРА

1. Михайличенко Г.Г. Двумерные геометрии // Докл. АН СССР. 1981. T. 260. № 4. C. 803-805.

2. Михайличенко Г.Г. О групповой и феноменологической симметриях в геометрии // Докл. АН СССР. 1983. T. 269. № 2. C. 284-288.

3. Богданова Р.А. Группы движений двумерных гельмгольцевых геометрий как решение функционального уравнения // Сибирский журнал индустриальной математики. 2009. Т. 12. № 4. С. 12-22.

4. РундХ. Дифференциальная геометрия финслеровых пространств. М.: Наука, 1981.

5. Кыров В.А. Гельмгольцевы пространства размерности два // Сиб. мат. журн. 2005. Т. 46. № 6. С. 1343-1361.

6. Лев ВХ. Трехмерные геометрии в теории физических структур // Вычислительные системы. Новосибирск: ИМ СОАН СССР, 1988. Вып. 125. С. 90-103.

Статья поступила 16.05.2016 г.

Kyrov V.F. (2016) THE PROPERLY HELMHOLTZ PLANE AS FINSLER GEOMETRY. Tomsk State University Journal of Mathematics and Mechanics. 4(42). pp. 15-22

DOI 10.17223/19988621/42/2

G.G. Mikhailichenko has built the complete classification of two-dimensional phenomeno-logically symmetric geometries, i.e. geometries for which the six mutual distances between the four arbitrary points are functionally connected. In these geometries, the distance is understood in the generalized sense as the value of a function called a metric. The validity of metric axioms is not supposed. All these geometries are endowed with the maximum mobility, that is, there are groups of motions of maximum dimensionality equal to 3. Classification of such two-dimensional geometries includes both well-known geometries (Euclidean, the pseudo-Euclidean, symplectic, spherical, etc.), and unknown ones (the Helmholtz, pseudo-Helmholtz, dual Helmholtz, and simplicial geometries).

In this paper, we use methods of Finsler geometry to study the properly Helmholtz two-dimensional geometry. In the first section, we introduce the definition of the properly Helmholtz plane, and then we prove that it is a positive definite Finsler space (we check homogeneity and positivity of the metric function, as well as the positive definiteness of the Finsler metric tensor). The second section defines the properly Helmholtz two-dimensional manifold and proves that it is also a positive definite Finsler space. Then we calculate the basic Finsler tensor CiJk and additional AiJk tensor. With the help of these tensors, we find the Finsler scalar J and prove that the special Finsler curvature tensor S'Jkl for the properly Helmholtz two-dimensional manifold is zero.

Keywords: metric function, the properly Helmholtz geometry, Finsler geometry.

KYROV Vladimir Alexandrovich ((Candidate of Physics and Mathematics, Gorno-Altaisk State University, Gorno-Altaisk, Russian Federation) E-mail: [email protected]

REFERENCES

1. Mikhaylitchenko G.G. (1981) Dvumernye geometrii [Two-dimensional geometries]. Dokl. Akad. NaukSSSR. 260(4). рр. 803-805.

2. Michailichenko G.G. (1983) On group and phenomenological symmetries in geometry. Soviet Math. Dokl. 27(2). pp. 325-326.

3. Bogdanova R.A. (2009) Gruppy dvizheniy dvumernykh gel'mgol'tsevykh geometriy kak reshenie funktsional'nogo uravneniya [Groups of motions of two-dimensional Helmholtz geometries as a solution of a functional equation]. Sibirskii Zhurnal Industrial'noi Matematiki - Siberian Journal of Industrial Mathematics. 12(4). pp. 12-22.

4. Rund H. (1959) The differential geometry of Finsler spaces. Berlin, Gottingen, Heidelberg: Springer-Verl.

5. Kyrov V.A. (2005) Two-dimensional Helmholtz spaces. Siberian Mathematical Journal. 46(6). pp. 1082-1096. DOI 10.1007/s11202-005-0103-1.

6. Lev V.H. (1988) Trekhmernye geometrii v teorii fizicheskikh struktur [Three-dimensional geometries in the theory of physical structures]. Vychislitel'nye sistemy - Computation Systems. 125. Novosibirsk: Institute of Mathematics Publ. pp. 90-103.