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

2014

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Математика и механика

№ 4(30)

МАТЕМАТИКА

УДК 517.18:514.1

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

ГРУППА ДВИЖЕНИЙ СИМПЛИЦИАЛЬНОЙ ПЛОСКОСТИ КАК РЕШЕНИЕ ФУНКЦИОНАЛЬНОГО УРАВНЕНИЯ

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

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

Метрическая точка зрения на геометрию, возникшая в XIX веке, отраженная в работах Г. Гельмгольца [1] и А. Пуанкаре [2], тесно связанная с групповой концепцией Ф. Клейна [3], позволила Ю.И. Кулакову создать достаточно общую концепцию расстояния - теорию физических структур [4], основу которой составляет так называемая феноменологическая симметрия. Сущность феноменологической симметрии состоит в том, что в п-мерном пространстве между всеми взаимными расстояниями для п+2 произвольных точек имеется функциональная связь [5]. Г.Г. Михайличенко [6, 7] установлена эквивалентность групповой и феноменологической симметрий, позволившая ему построить полную классификацию двумерных феноменологически симметричных геометрий [8]. В этой классификации наряду с хорошо известными двумерными геометриями (плоскость Евклида, плоскость Лобачевского, плоскость Минковского, симплектическая плоскость, двумерная сфера, двумерный однополосный гиперболоид) представлены плоскость Гельмгольца, в отношении которой проводились исследования В.А. Кыровым [9], псевдогельмгольцева плоскость и симплициальная плоскость, которая также была отмечена и использована геометрами А. А. Александровым [10] и Р.И. Пименовым [11].

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

Определение множества всех движений плоскости, сохраняющих метрическую функцию [7] как функцию пары точек, приводит к разработке аналитических методов решения соответствующих функциональных уравнений, что позволит дополнить теорию функциональных уравнений, поскольку в ней известно немного общих методов их решения [12-15].

Пусть имеется множество М2, являющееся гладким двумерным многообразием, а также отображение некоторого множества ОуIМ2 х М2 в Я , сопоставляющее каждой паре точек (А,В) 1Оу вещественное число/(А,В) 1Я .

Если х, у - локальные координаты двумерного многообразия М2, то для отображения / (А,В) можно записать его локальное координатное представление (сохранив функциональный символ /):

/(Л В) = /(хА , Уа , хв, Ув ^ ()

где хА, уА, хв, уВ - локальные координаты текущих точек А и В пары (А, В) е О/.

Следуя [8], будем точки многообразия М2 обозначать -, ], к, I и соответственно их координаты х-, у и т.п.

Здесь и везде далее поскольку I = (хг-, у), ] = (х^, у;-), то / (I, ]), согласно (1), есть некоторая функция / (х1, у{, х}-, У]) и, в частности

д/ (-, ]) д/ (х, У-, х}, У])

дх дх

(2)

В отношении метрической функции f (A,B) будем предполагать выполнение следующих аксиом:

А1. Область определения Gf функции f (A,B) есть открытое и плотное множество в М2 х М2 .

А2. Функция f в локальных координатах имеет гладкость того порядка, который достаточен для наших целей.

А3 (Аксиома невырожденности). Для координатного представления функции f (A,B) выполняются следующие неравенства:

* 0, д(f (i,j)) * 0, (3)

д(X, у) д(Xj, у})

где х,, у, и Xj, у}- - локальные координаты текущих точек i и j пары (i, j) e Gf

(следует учитывать правила обозначений, принятые нами в (2)).

Заметим, что при условии (3) ранг касательного отображения для отображения

(1) равен 2, то есть максимален.

Рассмотрим гладкое отображение FU : U ^EсR6, где U сМ2 хМ2 хМ2 хМ2, сопоставляющее четверке (ij,k,l) точку z = (f (i, j), f(i,к), f(i, l), f(j, к), f (j, l), f (к, l)) e R6, область определения которого U, очевидно, открыта и плотна в М2 х М2 х М2 х М2. Далее, пусть имеется ещё одно гладкое отображение Ф: E ^ S с R , где E с R6, которое сопоставляет точке z e R6 число Ф(z) e R .

Определение 1. Будем говорить, что функция f(i, j) задает на гладком двумерном многообразии М2 двумерную феноменологически симметричную геометрию ранга 4, если кроме аксиом А1, А2, А3 выполняется аксиома А4.

А4 (Аксиома феноменологической симметрии). Существует плотное в U с М2 х М2 х М2 х М2 подмножество, для каждой точки Т которого, то есть четверки (i,j, к, l) и некоторой ее окрестности е((i, j, к, l)), найдется такое достаточно гладкое отображение Ф: E ^ S с R , определенное в некоторой области E с R6, содержащей точку z = (F (е((i, j, к, l)))), что в ней grad Ф* 0 и множество F((е (i, j, к, l))) является подмножеством множества нулей функции Ф , то есть

ф (/ (г, Л / (г, к), / (г, I), / (у, к), / (у, I), / (к, I)) = 0 для всех упорядоченных пар четверки (г,у, к, I) из е((г, у, к,I)). Данные построения поясняет рис. 1:

(4)

Рис. 1. Диаграмма отображений двумерной феноменологически симметричной геометрии ранга 4

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

ф (/О', ]), /О', к), /(г, I), /(j, к), /(у, I), /(к,I)), то на множестве Е величины /(г,у), /(г,к), /(г,I), /(у,к), /(у,I), /(к,I) связаны независимым функциональным соотношением (4).

Функциональная матрица отображения Еи:

0 0 0

А =

( д/ (г, У) д/ (г, к) д/ (г, I) 0 0

дхг дхг. дхг

д/ (г, У) д/ 0, к) д/ (г, I) 0 0

дУг дУг дxi

д/ (г, У) 0 0 д/ (у, к) д/ (у,I)

дХу дх} дху-

д/ (г, у) 0 0 д/ (у, к) д/ (у,I)

дУу дуу дУ,

0 д/ (г, к) 0 д/ (у, к) 0

дхк дхк

0 д/ (г, к) 0 д/ (у, к) 0

дУк дУк

0 0 д/ (г, I) 0 д/ (у,I)

дх{ дх{

0 0 д/ (г, I) 0 д/ (у,I)

дУг

дУ1

0

/ (к, I)

дхк

д/ (к, I)

дук

д/ к I)

дхг д/ (к, I)

дУг У

(5)

имеет 8 строк и 6 столбцов, а ранг этой матрицы есть ранг касательного отображения.

Определенная выше двумерная феноменологически симметричная геометрия ранга 4 наделена групповой симметрией [8].

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

х'=М( х, у), у'=М( х, у), (6)

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

д(х(х у),ст(х у) ф 0 ()

д( х, у) ,

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

/(М(г),МЛст(г),а(у)) = /(г,у), (8)

где М(г) = М( х, у), X (у) = М( ху, уу), ст(г) = ст( х, у),

ст( у) = ст( ^, уу х у0; у) = у(х, у, х-, уу).

Здесь и в последующем изложении материала будем использовать эти обозначения.

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

/ (л Л =(х - ху )т (у - у у) п, (9)

где т, п - отличные от нуля различные целые числа. Условия т Ф 0, п Ф 0 делают функцию, в которую координаты хг, у и ху-, у у точек г и у входят существенным

образом в соответствие с аксиомой А3, невырожденной, а условием т Ф п исключается двумерная геометрия плоскости Миньковского, явный вид метрической функции которой приведен в работе [8, с. 13].

Для любых четырех точек г,у, к, I симплициальной плоскости шесть взаимных расстояний связаны уравнением (4), выражающем ее феноменологическую симметрию, явный вид которого для целых чисел т, п неизвестен. Наличие связи (4) подтверждается непосредственным вычислением в программе МаНаЪ ранга функциональной матрицы (5), который равен 5.

Преобразование (6) сохраняет метрическую функцию (9):

(МО - Х(у))т (ст(0 - ст( у))п = (х - ху )т (у - у. )п. (10)

Равенство (10) является функциональным уравнением на множество движений

(6).

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

х = ах + у, у' = Ру + 5, (11)

где а трп = 1.

Доказательство. Заметим, что в отношении преобразования (6), определяющего движение, предполагается только его гладкость и обратимость, выражаемая условием (7).

Аналитический метод решения функциональных уравнений типа (10) состоит в сведении их к алгебраическим и дифференциальным уравнениям [16].

Продифференцируем функциональное уравнение по координатам х^, у у точки у и разделим на него результаты дифференцирования:

m

дХ( J)

дст( J)

m

Х(i) -Х(J) дт(. a(i) -ст(J) дxi

m

дХ( J)

дст( J)

Х(i) -Х(J) дУ, ст(і) -ст(J) дУ, У- - У,

(l2)

Полученные два равенства (12) рассмотрим как систему алгебраических уравнений относительно дробей---------1----, ------1----.

М(г) -М( у) ст(/) -ст(у)

Определитель этой системы (12)

A( J) =

m дХи) n )

m------- n

?xj

дХ( J) m------- n

дг,-дст( J)

;д(Х( J), g( J))

д( x,, У,)

дуу ^

в котором Д(у) = Д(ху,уу-), вследствие условия (7) отличен от нуля, и поэтому она может быть решена методом Крамера:

1

mn дст(,) 1

дст( J) 1

Х(і) -Х(J) A(J) дУ, x - x, A(J) дг,- Уі - y, m2 дХ(J) 1 mn дХ(J) 1

1

ст(і) -ст(J) A(J) дУ, xі - x, A(J) дг, у- - у,

(13)

Для сокращения записи последующего изложения материала представим решения (13) в виде

1 1 - - (14)

b + h

X (1) -М( у) и 9 ст(/) -ст( у) и 9

введя следующие обозначения для переменных и коэффициентов соответственно:

u = x - x,

mn дст(J)

A(J) дУ,

b =-

m дХ(J) A(J) ду, !

дст( J)

h =

mn дХ(,)

Д(у) дху Д(у) дх}

Согласно этим обозначениям, переменные и, 9 независимы, а коэффициенты а, Ь, g, к могут зависеть от точки у, причем в силу условия (7) ка - bg Ф 0 .

Из решений (14) найдем разности

м9 . ч м9

Х (і) -Х( J) =-

ст(і) -ст( J) = -

gu + а9 ки + Ь9

и подставим их в исходное функциональное уравнение (10):

ит9т ип9п

(gu + a9)m (hu + b9)n

■ = um 9И

(15)

(1б)

откуда после простых преобразований получаем тождество

(и + а9)т (ки + Ь9)п = ип9т .

После дифференцирования этого тождества по переменной и получим выражение

mg (и + а9)т (ки + Ь9)п пк (и + а9)т (ки + Ь9)п пип9т

gu + aQ hu + bQ и

которое с учетом тождества (gu + aQ)m (hu + bQ)n = unQm примет следующий вид:

mg + nh n gu + aQ hu + bQ u

Преобразуем последнее выражение:

mghu2 + (m - n)bguS - nabQ2 = ^ u( gu + aQ)(hu + bQ)

откуда mghu 2 + (m - n)bguS-nabQ2 = 0. (17)

Переменные u = x - Xj, Q = у - у. как функции координат точки i независимы. Дважды дифференцируя тождество (17) по переменным u ид , получим следующие ограничения на коэффициенты выражений (15): hg = 0, bg = 0, ab = 0, которые имеют место одновременно с неравенством ha - bg Ф 0. Из того что bg = 0 , с учетом неравенства следует, что ha Ф 0 , откуда h Ф 0, a Ф 0 , и поэтому g = 0, b = 0 . Но тогда значительно упрощаются выражения (15) для разностей с учетом введенных обозначений u = x- - x ■, Q = yi - у.:

X - X: y - y.

Mi) -M j) =-------, CT(0 -CT( j) =—;-----, (18)

a h

в которых, напомним, a = a(j) Ф 0, h = h(j) Ф 0.

Дифференцируя результат (18) по координатам точки i, разделяем переменные:

9Х( xi, у) 1 5ст( х, у,-) 1 „

---- —— =-----------= const = a, ------ —— =---------= const = р .

dx, a(х. , уj) ду h(x. , у.)

Введение констант a и p позволяет в выражениях (18) осуществить дополнительное разделение переменных:

Х(х, , уi) - ax = Мх. , у.) - ax. = const = у, ст( x,, у,) - Ру = ст( х. , у.) - Px;. = const = 5,

то есть Х( х, у) = ax + у, ст( х, у) = Ру + 5. (19)

Дополнительная связь на константы выражений (19) возникает при их подстановке в исходное функциональное уравнение (10):

a mpn = 1. (20)

Функции (19) со связью (20) как полное решение функционального уравнения

(10) по формулам (6) определяют трехпараметрическое множество всех движений

(11) симплициальной плоскости. Это множество является группой по композиции движений, причем выполнение всех аксиом группы очевидно. Теорема полностью доказана.

Дополнительно отметим, что метрическая функция симплициальной плоскости (10) является двухточечным инвариантом группы преобразований (11). С другой стороны, каждый такой инвариант f (i, j) = f (x,, у,, x., у.) является решением

функционального уравнения

f (X(x,, у, X ст( х, , у, X М х. , у. X ст( х. , у.)) = f ( х, , уг, х] , у.)

для группы преобразований (6), определяемой выражениями (19) функций X и ст . Общее решение этого уравнения

f (i, j) = X((xi -XJ)m(у, - у. )n)

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

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

ЛИТЕРАТУРА

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

2. Пуанкаре А. Об основных гипотезах геометрии // Об основаниях геометрии. М.: ГИТТЛ, 1956. С. 388-398.

3. Клейн Ф. Сравнительное обозрение новейших геометрических исследований ("Эрлан-генская программа") // Об основаниях геометрии. М.: ГИТТЛ, 1956. С. 402-434.

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

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

6. Михайличенко Г.Г. О групповой и феноменологической симметриях в геометрии // ДАН СССР. 1983. T. 269. № 2. C. 284-288. (Michailichenko G.G. On group and phenomenological simmetries in geometry // Soviet Math. Dokl. 1983. V. 27. No. 2. P. 325-326.)

7. Михайличенко Г.Г. Полиметрические геометрии. Новосибирск: НГУ, 2001.

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

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

10. Александров А.Д. Геометрия и приложения (Избранные труды; Т. 1). Новосибирск: Наука, 2006.

11. Пименов Р.И. Необходимые и достаточные условия линейности преобразований, сохраняющих конусы // Матем. заметки. 1969. Т. 6. № 4. С. 361-369.

12. Азбелев Н.В., Максимов В.П., Рахматуллина Л.Ф. Элементы современной теории функционально- дифференциальных уравнений. Методы и приложения. М.: Институт компьютерных исследований, 2002.

13. Kuczma M. Functional equations in a single variable. Polska Akademia Nauk. Monografie matematyczne. T. 46. Warszawa: Polish Scientific Publishers, 1968.

14. Полянин А.Д., Зайцев В.Ф., Журов А.И. Методы решения нелинейных уравнений математической физики и механики. М.: Физматлит, 2005.

15. Понтрягин Л.С. Обыкновенные дифференциальные уравнения. М.: Наука, 1974

16. Арнольд В.И. Обыкновенные дифференциальные уравнения. М.: Наука, 1966.

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

Bogdanova R.A. MOTION GROUP OF THE SIMPLICIAL PLANE AS A SOLUTION OF A FUNCTIONAL EQUATION

Proceeding from metrical viewing of geometry, which appeared in the 19th century in works of H. Helmholtz and A. Poincare and which is deeply connected with F. Klein’s group conception, Yu.I. Kulakov created a general conception of distance - the physical structures' theory based on the so-called phenomenological symmetry. The essence of this symmetry is the fact that there is a functional connection between all mutual distances for n + 2 arbitrary points in the n-dimensional space. G.G. Mikhailichenko’s works established the equivalence of the group and phenomenological symmetries, which helped him to construct a complete classification of twodimensional phenomenologically symmetric geometries. Along with well-known twodimensional geometries (Euclidean plane, Lobachevsky plane, Minkowski plane, symplectic plane, two-dimensional sphere, and two-dimensional one-sheet hyperboloid) this classification shows the Helmholtz plane, pseudo-Helmholtz plane, and simplicial plane which was also the object of study of such geometricians as A.A. Aleksandrov and R.I. Pimenov.

The aim of this study is to find a local group of the set of all simplicial plane motions as a solution for a functional equation.

Defining the set of plane motions preserving the metric function as a function of a pair of points leads to developing analytical methods for solving the corresponding functional equations; that allows one to complement the theory of functional equations since there are few general methods of their solution.

It has been found that any motion of a simplicial plane is defined by a linear transformation, which was not assumed beforehand and was not obvious. Nevertheless the whole set of motions turned out to be a group essentially dependent on three independent parameters. Thus, a simplicial plane is endowed with the group symmetry of the 3rd degree, i.e. it is a phenomenologically symmetric geometry with maximum mobility. It should be noted that this result is not valid for an arbitrary geometry but is typical just for phenomenologically symmetric geometries.

Keywords: phenomenological symmetry, phenomenologically symmetric two-dimensional geometry, local group of movements, functional equation.

BOGDANOVA Rada Alexandrovna

(Gorno-Altaisk State University, Gorno-Altaisk, Russian Federation)

E-mail: bog-rada@yandex.ru

REFERENCES

1. Gel'mgol'c G. O faktah, lezhashhih v osnovanii geometrii. Ob osnovanijah geometrii. Moscow, GITTL Publ., 1956, pp. 366-388. (in Russian)

2. Puankare A. Ob osnovnyh gipotezah geometrii. Ob osnovanijah geometrii. Moscow, GITTL Publ., 1956, p. 388-398. (in Russian)

3. Klejn F. Sravnitel'noe obozrenie novejshih geometricheskih issledovanij ("Jerlangenskaja programma"). Ob osnovanijah geometrii. Moscow, GITTL Publ., 1956. pp. 402-434. (in Russian)

4. Kulakov Ju.I. Teorijafizicheskih struktur. Moscow, Dominiko Publ., 2004. (in Russian)

5. Kulakov Ju.I. Geometrija prostranstv postojannoj krivizny kak chastnyj sluchaj teorii fizicheskih struktur (1970) Dokl. ANSSSR, v. 193, no. 5, pp. 985-987. (in Russian)

6. Michailichenko G.G. On group and phenomenological simmetries in geometry (1983) Soviet Math. Dokl, v. 27, no. 2, p. 325-326.

7. Mihajlichenko G.G. Polimetricheskie geometrii. Novosibirsk, NGU Publ., 2001. (in Russian)

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

9. Kyrov V.A. Gel'mgol'cevy prostranstva razmernosti dva (2005) Sib. matem. zhurn., v. 46, no. 6, pp. 1341-1359. (in Russian)

10. Aleksandrov A.D. Geometrija і prilozhenija {Izbrannye trudy; V. 1). Novosibirsk, Nauka Publ., 200б. (in Russian)

11. Pimenov R.I. Neobhodimye i dostatochnye uslovija linejnosti preobrazovanij, sohranjajushhih konusy (19б9)Matem. zametki, v. б, no. 4, pp. 3б1 - 3б9. (in Russian)

12. Azbelev N.V., Maksimov V.P., Rahmatullina L.F. Jelementy sovremennoj teorii funkcio-nal'no-differencial'nyh uravnenij. Metody і prilozhenija. Moscow, Institut komp'juternyh issledovanij Publ., 2002. (in Russian)

13. Kuczma M. Functional equations in a single variable. Polska Akademia Nauk. Monografie matematyczne, v. 4б. Warszawa, Polish Scientific Publishers, 19б8.

14. Poljanin A.D., Zajcev V.F., Zhurov A.I. Metody reshenija nelinejnyh uravnenij matematicheskojfiziki і mehaniki. Moscow, Fizmatlit Publ., 2005. (in Russian)

15. Pontrjagin L.S. Obyknovennye differencial'nye uravnenija. Moscow, Nauka Publ., 1974. (in Russian)

16. Arnol'd V.I. Obyknovennye differencial'nye uravnenija. Moscow, Nauka Publ., 19бб. (in Russian)