Двухточечные инварианты групп движений некоторых феноменологически симметричных двумерных геометрий Текст научной статьи по специальности «Математика»

2016

Математика и механика

№ 1(39)

МАТЕМАТИКА

УДК 517.9:514.1:514.7 DOI 10.17223/19988621/39/1

Р.А. Богданова

ДВУХТОЧЕЧНЫЕ ИНВАРИАНТЫ ГРУПП ДВИЖЕНИЙ НЕКОТОРЫХ ФЕНОМЕНОЛОГИЧЕСКИ СИММЕТРИЧНЫХ ДВУМЕРНЫХ ГЕОМЕТРИЙ

Находится множество всех невырожденных двухточечных инвариантов групп движений некоторых феноменологически симметричных двумерных геометрий (плоскости Гельмгольца, псевдогельмгольцевой, дуальногельм-гольцевой и симплициальной плоскостей). Для решения соответствующих функциональных уравнений применяется аналитический метод.

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

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

Целью данной работы является нахождение полной системы невырожденных двухточечных инвариантов групп движений упомянутых выше четырех геометрий как решение соответствующих функциональных уравнений на множество двухточечных инвариантов групп преобразований.

Феноменологически симметричные двумерные геометрии строятся на гладком двумерном многообразии М2 [4]. Сущность феноменологической симметрии состоит в наличии связи между всеми взаимными расстояниями для некоторого конечного числа точек [5, 6]. Точки многообразия M2 удобно, в целях сокращения записи, обозначать строчными буквами латинского алфавита: i, j, к и т.д. Текущая точка i е M2 задается локальными координатами xi, yi. Основу построения двумерной геометрии составляет гладкое класса С2 отображение f: Sf ^ К, где Sf е M2 х M2, сопоставляющее паре точек (i, j) е Sf действительное число f (i, j) е Ж. [4], называемое метрической функцией. Ее координатное представление для двумерных геометрий имеет следующий вид:

f (i, j) = f (X, y , Xj , yj ). (1)

Эта функция, в отличие от обычной метрики, удовлетворяет только естественным

математическим требованиям гладкости класса С2, невырожденности и определенности почти всюду в М2 х М2 [4].

Все основные определения и соответствующие аксиомы, относящиеся к феноменологически симметричным ранга 4 двумерным геометриям представлены в работах Г.Г. Михайличенко [4] и автора [2].

Определение. Гладкое класса С2 локальное взаимно однозначное (обратимое) отображение

х'=Ц х, у), у'=ст( х, у), (2)

удовлетворяющее условию

3(М х, у), ст( х, у)

* 0, (3)

д( х, у)

называется движением, если оно сохраняет метрическую функцию

/(МО, ст(0, ЦД ст(!)) = /(х,,у, х}-,у}-), (4)

где, например, Х(/') = Х( х,, у,).

Равенство (4) есть также функциональное уравнение на множество двухточечных инвариантов группы преобразований двумерного многообразия как функций четырех переменных - координат точек 1 и , .

Наряду с хорошо известными геометриями, такими, как плоскость Евклида, плоскость Минковского, двумерная сфера и другие, в классификации [4], построенной Г.Г. Михайличенко, присутствуют двумерные геометрии гельмгольцевого типа, в которых окружность не имеет привычного образа, о чем говорит Гельм-гольц в своей работе [7], а также симплициальная плоскость.

Для трех гельмгольцевых и симплициальной двумерных геометрий запишем координатное представление задающих их метрических функций: 1) плоскость Гельмгольца

( у - у \

/(1, ,) = ((х - х, )2 + (у - у.-)2)ехр

- у,

х, - х,

1 1 У

(5)

где у > 0 - параметр семейства; 2) псевдогельмгольцева плоскость

( у - у \ 2раг(е)Ш

/ (1,1) = ((х,- - х, )2 - (у, - у, )2) ехр

- у1

х, - х,

1 1 У

(6)

где р>0 и р* 1 - параметр семейства; 3) дуальногельмгольцева плоскость

( у - у \ 2

/(1,1) = (х, - х, )2 ехр

- у1

х, - х,

1 , У

(7)

4) симплициальная плоскость

f (1,,) = (х, - х, )т (у{ - у, )п, (8)

где т, п е Z, т * 0, п * 0, т * п

Следуя работам автора (см. [1, 2]), для этих геометрий запишем группы преобразований двумерного многообразия М2:

1) трехпараметрическая группа движений плоскости Гельмгольца

х' = ах - Ьу + с, у' = Ьх + ау + й, (9)

2 2 Ь

где (а + Ь )ехр(2у аг^—) = 1;

а

2) трехпараметрическая группа движений псевдогельмгольцевой плоскости

X = ах + Ьу + с, у' = Ьх + ау + й, (10)

где (а2 -Ь2)ехр(2раг(е)ШЬ) = 1;

а

3) трехпараметрическая группа движений дуальногельмгольцевой плоскости

X = ах + с, у' = Ьх + ау + й, (11)

2Ь где а ехр(2—) = 1;

а

4) трехпараметрическая группа движений симплициальной плоскости

х' = ах + с, у' = Ьу + й, (12)

где атЬп = 1.

В настоящей работе для трех гельмгольцевых и симплициальной геометрий находятся все невырожденные двухточечные инварианты групп (9) - (12) преобразований двумерного многообразия М2 как решение функционального уравнения (4). Заметим, что условие гладкости и обратимости (3) преобразований (2) совершенно естественно. В процессе решения функционального уравнения (4) устанавливается, что каждый такой инвариант с точностью до гладкого преобразования у(/) ^ / совпадает с метрической функцией соответствующей плоскости. Сначала рассмотрим плоскость Гельмгольца.

Запишем функциональное уравнение (4) на множество двухточечных инвариантов группы преобразований (9) двумерного многообразия М2 с Я2:

/(ах1 - Ьу, + с, Ьх, + ау, + й, ах}- - Ьу}- + с, Ьх^ + ау}- + й) = /(х,, у,, х}-, у}-). (13)

Теорема 1. Каждый двухточечный инвариант однопараметрического семейства трехпараметрической группы преобразований двумерного многообразия

М2 с Я2

х ' = ах - Ьу + с, у' = Ьх + ау + й , (14)

2 2 Ь

где (а + Ь )ехр(2у агС^—) = 1, у - положительная константа (параметр семейст-

а

ва), совпадает с точностью до гладкого преобразования /) ^ / с метрической функцией плоскости Гельмгольца и задает на нем феноменологически симметричную ранга 4 двумерную геометрию.

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

ними существует связь (а + Ь )ехр(2у атС£—) = 1, из которой следует

а

¿а

(а -уЬ)— = -(Ь + уа), получим систему функционально-дифференциальных со-

ёЬ

отношений:

д/ (1' , ]') + д/ (1' , г) = 0 д/ (1' , г) + д/ (1' , г) = 0

дх'

дх'

ду

ду'

д/ (1' ,,' ) ь +уа д/ (1' ,,' ) ь + уа

-(-х-V-у1 ) + . , (х--Vу) +

дх' 4 1 а -уЬ д/ (1' , Г_ Ь +уа

ду'

а -уЬ'

где, например,

, ~ ■ ¡" ч д/(1',}') Ь +уа

(-х,----у,) + (х,--— у,) = 0,

дх' а -уЬ ду' а -уЬ

д/ (1',,) = д/ (х', у', х', у')

(15)

. В системе (15) параметрам а, Ь, с, ё

дх' дх'

придадим значения, соответствующие тождественному преобразованию: а = 1,Ь = 0, с = 0, ё = 0, в результате чего получим систему трех линейных однородных дифференциальных уравнений в частных производных:

д/ (1, Д + д/ (1, ]) = 0 д/ (1,,) + д/ (1,,) = ^

дх

дх,

ду

ду,

д/ ^ у)-(-тх - у)(х-уу) +

дх1 д/ (1,,)

дх,

ду

(-ух, - у,) + /lД (х, -уу,) = 0.

(16)

ч ду,

Общее решение ©(и, V) =©(х1 - х,, у1 - у,) первого и второго уравнений системы (16) подставим в третье уравнение:

д© д© -(уи + V)--+ (и - уг)-= 0,

ди дv

(17)

где, напомним, и = х - х,, V = у - у,. Общее решение уравнения (17) находится методом характеристик:

2 2 V

©(и, V) =х((и2 + V2) ехр(2у ат^-)), (18)

и

где х - функция одной переменной с отличной от нуля производной класса С2. По (18) и (15) находим множество двухточечных инвариантов:

/ (',,) = Х

((х1 -х,)2 +(у-у, )2)ехр

2уаг^

у 1 - у,

х1 - х! У

(19)

каждый из которых эквивалентен метрической функции плоскости Гельмгольца (5), так как переходит в нее при гладком преобразовании /) ^ /, где

у = X есть обратная к % функция. ■

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

/(ах, + Ьу, + с, Ьх, + ау, + й, ах, + Ьу, + с, Ьх, + ау, + й) = /(х,, у,, х,, у,). (20)

Теорема 2. Каждый двухточечный инвариант однопараметрического семейства трехпараметрической группы преобразований двумерного многообразия

М2 с Я2

х ' = ах + Ьу + с, у' = Ьх + ау + й, (21)

2 2 Ь

где (а - Ь )ехр(2р аг(с)Ш—) = 1, р - положительная константа, отличная от

а

единицы (параметр семейства), совпадает с точностью до гладкого преобразования у(/) ^ / с метрической функцией псевдогельмгольцевой плоскости и задает на нем феноменологически симметричную ранга 4 двумерную геометрию.

Доказательство теоремы 2 в общих чертах повторяет доказательство теоремы 1. После дифференцирования уравнения (20) по параметрам с, й и Ь с учетом

2 2 Ь

связи - Г )ехр(2р аг(с)Ш-) = 1 получается система функционально-диф-

а

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

д/ (/, ]) + д/ (,, ]) = 0 д/ (/, ,) + д/ (,, ]) = 0~

(22)

дх, дх, ду, ду,

/р (-Рх + у,)+/уА (х-Ру,)+

дх, ду,

+/хЛ(-^ + у,) +ЩуЛ(х, -Ру;) = 0.

дх, ду,

Решением системы (22) является множество всех двухточечных инвариантов

/(,, у) = х[((х - ху )2 - (у, - у, )2) ехр(2р аг(с)Ш^)], (23)

х - х,

которые, очевидно, эквивалентны метрической функции псевдогельмгольцевой плоскости (6). ■

Далее, запишем функциональное уравнение (4) для группы преобразований (11):

/(ах, + с, Ьх, + ау, + й, ах, + с, Ьх, + ау, + й) = /(х,, у,, х,, у,). (24)

Теорема 3. Каждый двухточечный инвариант трехпараметрической группы преобразований двумерного многообразия М2 с Я2

х = ах + с, у' = Ьх + ау + й, (25)

2Ь

где а ехр(2—) = 1, совпадает с точностью до гладкого преобразования у (/) ^ /

а

с метрической функцией дуальногельмгольцевой плоскости и задает на нем феноменологически симметричную ранга 4 двумерную геометрию.

Доказательство теоремы 3 повторяет доказательство теорем 1 и 2. После дифференцирования уравнения (24) по параметрам с, й и Ь с учетом связи

2Ь

а ехр(2—) = 1 получается система функционально-дифференциальных соотно-

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

д/ (,,Д + д/ (,,,) = 0

дх

дх.

д/ (,,,)= 0

ду,

ду,

- х.*Ш+Ш1 (х- у,) -

дх, ду , д/(,,,) , д/(,,,)

дх,

ду,

(х, - у,) = 0.

(26)

Решением системы (26) является множество невырожденных двухточечных инвариантов

/(,,,) = Х[((х -х, )2)ехр(2

(27)

эквивалентных метрической функции дуальногельмгольцевой плоскости (7). ■

Запишем, наконец, функциональное уравнение (4) для группы преобразований (12):

/(ах, + с, Ьу, + й, ах, + с, Ьу, + й) = /(х,,у,,х,,у,).

(28)

Теорема 4. Каждый двухточечный инвариант трехпараметрической группы преобразований двумерного многообразия М2 с Я2

х ' = ах + с, у' = Ьу + й,

(29)

где атЬп = 1 (т,п е Z, т Ф 0, п Ф 0, т Ф п), совпадает с точностью до гладкого преобразования у(/) ^ / с метрической функцией симплициальной плоскости и задает на нем феноменологически симметричную ранга 4 двумерную геометрию.

Доказательство теоремы 4 подобно доказательствам изложенных выше трех теорем. После дифференцирования уравнения (28) по параметрам с, й и Ь с учетом связи атЬп = 1 получается система функционально-дифференциальных соотношений, из которой при переходе к тождественному преобразованию получается система трех дифференциальных уравнений:

д/ (,,Д + д/ (,, ]) = 0

дх,

дх

д/ (,,,) + д/ (,,,) = 0

ду,

ду

±х д/(,,,) -у д/(,,,) + пх д/(,,,) - у д/(,,,) = 0

т 1 дх, 1 ду, т 1 дх, 1 ду

а

Решением системы (30) является множество невырожденных двухточечных инвариантов

f (i, j) = x[(x -x}-)m (y -yj)n], (31)

которые эквивалентны метрической функции симплициальной плоскости (8), так как переходят в нее при гладком преобразовании у(f) ^ f, где у = х-1 есть обратная к х функция. ■

ЛИТЕРАТУРА

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

2. Богданова Р.А. Группа движений симплициальной плоскости как решение функционального уравнения // Вестник Томского государственного университета. Математика и механика. 2014. № 4(30). С. 5-13.

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

4. Михайличенко Г.Г. Двумерные геометрии. Барнаул: Изд-во Барнаульского государственного педагогического университета, 2004.

5. КулаковЮ.И. Теория физических структур. М.: Доминико, 2004.

6. Кулаков Ю.И. Геометрия пространств постоянной кривизны как частный случай теории физических структур // Докл. АН СССР. 1970. Т. 193. № 5. С. 985-987.

7. Гельмгольц Г. О фактах, лежащих в основании геометрии // Об основаниях геометрии. М., 1956. С. 366-388.

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

Bogdanova R.A. TWO-POINT INVARIANTS OF GROUPS OF MOTIONS IN SOME PHE-NOMENOLOGICALLY SYMMETRIC TWO-DIMENSIONAL GEOMETRIES

DOI 10.17223/19988621/39/1

In G.G. Mikhaylichenko's classification, along with the well-known geometries, such as the Euclidean plane, Minkowsky plane, two-dimensional sphere, and others, there are two-dimensional Helmholtz type geometries in which the circle does not have the usual pattern, as evidenced by Helmholtz in his work "On the Facts Underlying Geometry," as well as the sim-plicial plane. All these geometries are endowed by group and phenomenological symmetries. The essence of the phenomenological symmetry is in the link between all the mutual distances for a finite number of points.

The paper describes a complete system of non-degenerate two-point invariants of groups of motions for some phenomenologically symmetric two-dimensional geometries (Helmholtz plane, pseudo-Helmholtz plane, dual-Helmholtz plane, and simplicial plane) as a solution of corresponding functional equations for a set of two-point invariants of transformation groups.

The paper found that every two-point invariant of motion groups of the aforementioned geometries coincides with the metric function of the corresponding plane up to a smooth transformation у( f) ^ f .

Keywords: phenomenologically symmetric two-dimensional geometry, local group of motions, two-point invariant, functional equation.

BOGDANOVA Rada Alexandrovna (Gorno-Altaisk State University, Gorno-Altaisk, Russian Federation) E-mail: bog-rada@yandex.ru

REFERENCES

1. Bogdanova R.A. Gruppy dvizheniy dvumernykh gel'mgol'tsevykh geometriy kak reshenie funktsional'nogo uravneniya. Sibirskiy zhurnal industrial'noy matematiki, 2009, vol. 12, no. 4, pp. 12-22. (in Russian)

2. Bogdanova R.A. Gruppa dvizheniy simplitsial'noy ploskosti kak reshenie funktsional'nogo uravneniya. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika, 2014, no. 4(30), pp. 5-13. (in Russian)

3. Michailichenko G.G. On group and phenomenological 2simmetries in geometry. Soviet Math. Dokl., 1983, vol. 27, no. 2, pp. 325-326.

4. Mikhaylichenko G.G. Dvumernye geometrii. Barnaul, Izd-vo Barnaul'skogo gosudarstvennogo pedagogicheskogo universiteta, 2004. (in Russian)

5. Kulakov Yu.I. Teoriyafizicheskikh struktur. Moscow, Dominiko Publ., 2004. (in Russian)

6. Kulakov Yu.I. Geometriya prostranstv postoyannoy krivizny kak chastnyy sluchay teorii fizicheskikh struktur. Dokl. ANSSSR, 1970, vol. 193, no. 5, pp. 985-987. (in Russian)

7. Gel'mgol'ts G. O faktakh, lezhashchikh v osnovanii geometrii. Ob osnovaniyakh geometrii. Moscow, 1956, pp. 366-388. (in Russian)