CC BY
43
УДК 514.7
И. А. Долгарев
ПОВЕРХНОСТИ В КОММУТАТИВНОЙ НЕЛИНЕЙНОЙ ГЕОМЕТРИИ 3-МЕРНОГО ПРОСТРАНСТВА-ВРЕМЕНИ ГАЛИЛЕЯ
Аннотация. Изучаются поверхности одного из 3-мерных пространств Галилея с коммутативной и нелинейной геометрией. Линейное пространство определено на тройках действительных чисел, в компонентах троек операции заданы нелинейными функциями. Для векторов введено галилеево скалярное произведение. Получены формулы дифференцирования векторных функций. В аксиоматике Г. Вейля на основе указанного линейного пространства строится пространство-время Галилея. Уравнения прямых и плоскостей полученного пространства нелинейны. Определены регулярные поверхности, ее первая и вторая квадратичные формы, нормальная кривизна поверхности, полная и средняя кривизны. Проведена классификация обыкновенных точек поверхностей. Вычислена полная кривизна некоторых поверхностей.
Ключевые слова: нелинейная коммутативная геометрия Галилея, кривизна поверхности.
Abstract. For vectors determine not linear and commutative operation and Galilean inner product of vector. Formulas to differentiate vector functions are obtained. Equations straight line and plane to be not linear. Obtained normal, middle and complete curvature surface. Have a examples.
Keyword: not linear and commutative geometry of Galiley, curvature surface.
Геометрической основой физического принципа относительности Галилея является галилеева геометрия. Известны разнообразные геометрические системы и еще предстоит выяснить, какая из них лучше соответствует реальной картине окружающего мира. Галилеевы геометрии строятся в аксиоматике Г. Вейля с использованием линейного пространства и его обобщения - одуля Ли. Коммутативная и линейная геометрия Галилея 3-мерного
пространства-времени Г [1] базируется на арифметическом пространстве
3
R , где R - поле действительных чисел с операциями
(х,х1,х2) + (y,y1,y2) = (x + y,x1 + y1,x2 + y2);
12 12
u(x, x , x ) = (xu, x u, x u), u e R,
на котором введено галилеево скалярное произведение векторов. Галилеевым скалярным произведением векторов p = (x, x1, x2), q = (y, y1, y2) называется [1, c.46]
f xy, если x Ф 0 или y Ф 0;
pq = 1 1 1 2 2
[ xy + x y , если x = y = 0.
3
Пространство R с указанным скалярным произведением векторов на-
3
зывается галилеевым векторным пространством и обозначается Уг. Первая
компонента векторов называется временной, оставшиеся компоненты назы-
3
ваются пространственными. Векторное пространство Ур является прямой
3 12
суммой евклидовых пространств: Ур = У + У , для сравнения см. [2, с. 1118]. Геометрия коммутативного и линейного пространства-времени Галилея
3
Г изучается в [1, с. 46-101]. Имеется несколько некоммутативных галилеевых геометрий, это одулярные геометрии. 3-мерный одуль Ли задается опе-
33 рациями на многообразии Я . Один из этих одулей Ли - сибсон Е - определяется операциями [1, с. 107]
(х,х1,х2) + (у,у1,у2) = (х + у,х1 + у1,х2 + у2 + х1 у);
, 12ч ( 1 2 1 (и ~ 1)и ^ т.
и(х, х , х ) = I хи, х и, х и + хх -2- I, и е Я .
Для элементов сибсона определено скалярное произведение, как для
3
векторов из Ур . Соответствующая геометрия изложена в [1].
В работах [3, 4] начато построение 2-мерного аффинного пространства, линейное пространство а Ь2 которого задано на многообразии Я2 операциями
(х, и) + (у, V) = (х + у, и + V + ху); *(х, и) = ( xt, Ш + х2 ( ^ ^, *е Я .
Операции над векторами определены нелинейными функциями. Для приведенных операций выполнены все аксиомы линейного пространства [3].
Линейное пространство а Ь2 порождается векторами вида (х,0) и в прямую сумму 1-мерных линейных пространств не разлагается.
Ниже мы распространим операции над векторами пространства а Ь2 на тройки из Я , используя аналогию с операциями на сибсоне. Введем на 3-мерном линейном пространстве а Ь3 с нелинейными функциями операций галилеево скалярное произведение векторов и получим некоторые факты нелинейной и коммутативной геометрии Галилея.
1 Пространство Галилея с нелинейной коммутативной геометрией
1.1 Галилеево векторное пространство с нелинейными операциями
3
На многообразии Я зададим операции
(х,у,2) + (и^^) = (х + и,у + V + хи,2 + w); (1)
* (х, у, 2)= | х*, у* + х2 + (* 21)* , 2* ^, * е Я . (2)
3
Результаты операций в третьей компоненте троек из Я не влияют на результаты операции в первой и второй компонентах. Поэтому можно воспользоваться свойствами операций векторов из а Ь2 [3]; на основании чего получаем следующее утверждение.
3
Лемма 1. Многообразие Я с операциями (1) и (2) является действительным линейным пространством. #
Полученное линейное пространство обозначается а Ь3 , его векторы обозначаются а, Р,...; нулевой вектор есть # = (0,0,0); вектор, противопо-
2
ложный вектору V = (х, у, г), равен -V = (-х, - у + х , - г). Если
а = (1,0,0), Р = (0,1,0), у = (0,0,1), то для вектора V имеется однозначное разложение [3]
V =(х,у,г ) = ха + ^ у - (Х ^ Х ^ Р + г у,
и векторы а, Р, у составляют базис Б = (а, Р, у) линейного пространства а Ь3 . На основании операций (1), (2) справедлива
Лемма 2. Линейное пространство аЬ3 является прямой суммой 2-мерного линейного пространства а Ь2 и 1-мерного линейного пространства Ь1:
а Ь3 = а Ь2 + Ь1;
линейное пространство а Ь2 состоит из векторов (х, у,0) и порождается
векторами (х, 0,0) (но не вектором (1,0,0) = а) линейное пространство Ь1
состоит из векторов (0,0, г) и порождается вектором у : Ь1 = <у> . #
Галилеевым скалярным произведением векторов V и ц = (и,у,м>) называется число
Гхи, если х Ф 0 или иу Ф 0;
VIі = 1
[уу + гмі, если х = и = 0.
Галилеев скалярный квадрат вектора V равен
2 I х2, если х Ф 0;
V = 1
2 2 [у + г , если х = 0.
Галилеевой нормой вектора V называется = \/^, имеем
Г| х |, если х Ф 0;
м= 1 ГГ~2 (3)
[уу + г , если х = 0.
Компонента х вектора V называется временной, компоненты у, г называются пространственными. Векторы (0, у, г) называются евклидовыми, для них используются обозначения г =(0, у, г), а векторы V =(х, у, г), х Ф 0, называются галилеевыми. Для евклидовых векторов используются также обозначения а, г,... Всякий Галилеев вектор перпендикулярен всякому евклидову вектору, т.к. гv = 0, если г =(0,у,г).
Векторное пространство с галилеевым скалярным произведением векторов называется галилеевым векторным пространством и в нашем случае
обозначается a V3p, оно является прямой суммой 2-мерного галилеева вектор-
2 1 ного пространства Vp и 1-мерного временного векторного пространства V :
a V3P = Vp + V1,
21 Vp состоит из векторов (х, y,0), V состоит из векторов (0,0, z). Базис
Б = (а, ß, у) пространства a V3p является ортонормированным.
Упорядоченная тройка действительных функций x(t), y(t), z(t) действительного параметра t с общей областью определения I с R называется векторной функцией, которая обозначается
v(t) = (x(t), y(t), z(t)), t e I с R .
Функция v(t) принимает значения в галилеевом векторном пространстве a Vfp . Считаем, что компоненты x(t), y(t), z(t) являются функциями класса C , в связи с чем говорим, что v(t) есть галилеева функция класса C 3 . Производной функцией v'(t) функции v(t) называется
lim — = v'(t),
Дг^0 At
где At - приращение параметра t; Av = v(t + At) -v(t) - приращение функции v(t).
Теорема 1. Производная галилеевой векторной функции v(t) = (x(t), y(t), z(t)), t e I с R , является следующей галилеевой векторной функцией:
v'(t)= x(t), y'(t) + x(t) f-2 x(t) - x(t) j, z'(t) . (4)
2
# Так как -v(t) = (-x(t), - y(t) + x (t), - z(t)), см. п. 1.1, то, на основании сложения троек (1), получаем
Av = (x(t + At) - x(t), y(t + At) - y(t) - x(t)(x(t + At) - x(t)), z(t + At) - z(t)).
Далее, по формуле (2) с учетом обозначений Ax = x(t + At) - x(t), Ay = y(t + At) - y(t), Az = z (t + At) - z (t) имеем
— = — Av = At At
Ax Ay ^4Ax 11 f 1 Л Az
—, — - x(t)— +-----------1-----1 I,—
At At At 2 At l At ) At
Предел галилеевой векторной функции вычисляется покомпонентно. Вычисления дают равенство (4). #
Проверка показывает, что правила дифференцирования функций со
значениями в а У3р совпадают с правилами дифференцирования евклидовых векторных функций, т.е. справедливы следующие утверждения.
Свойство 1. Выполняются равенства:
а) (v(t) + !i(t))' = v'(t) + li'(t);
б) (Cv(t))' = Cv'(t), где C - постоянный множитель;
в) если компоненты векторной функции v(t) являются сложными функциями x(u(t)),y(u(t)),z(u(t)), то vt (u(t)) = u'tv'u (u(t));
г) если v = const, то (tv)' = v . #
Свойство 2. Если одна из компонент векторной функции v(t) постоянна, то формула дифференцирования (4) принимает один из видов:
(C, y(t), z(t))' = (0, y, Z); (x(t), C, z(t))' =
x , x I — x - x I, z
если первая компонента функции у(ґ) есть время х(ґ) = ґ, то
(ґ, у(ґ), г(ґ))' = [і, у' + -2 - ґ, г |,
и производная второго порядка галилеевой функции у(ґ) является евклидовой (пространственной) функцией:
(ґ, у(ґ), г(ґ))' = (0, у' -1, г"). #
С использованием теоремы 1 и свойства 2 получается Теорема 2. Частные производные функции двух параметров у(ґ,V) отыскиваются по тому же правилу, что и производные функции одного параметра:
Vv (ґ, V) = (х(ґ, V), у (ґ, V), г(ґ, v))v =
( (1 ^ ^
XV (ґ, V), Уv (ґ, V) + XV (ґ, V)! - XV (ґ, V) - х(ґ, V) І, ¿V (ґ, V)
смешанные производные второго порядка не зависят от порядка дифференцирования:
Vtv (', V) = vvt (*, V).
В частных случаях выполняются равенства
Vг (г, V) = (г, у (г, V), z(t, v))f = ^1, у (г, V) + \ - г, Zv (г, V) ^;
Vv (г, V) = (г, у (г, V), z(t, v))v = (0, Уv (г, V), Zv (г, V)). #
1.2 Пространство Галилея с векторным пространством а ур
Пусть а Г1 - непустое множество, элементы которого называются точками и обозначаются А, В,..., считаем, что дано галилеево векторное про-
странство а У1р и отображение пар точек в а У3Г . Вектор, соответствующий паре точек (А, В), обозначаем АВ . Выполняются аксиомы Г. Вейля.
1. Для всякой точки А и всякого вектора V существует единственная точка В такая, что АВ = V .
2. Для любых трех точек А,В,С , если АВ = V , ВС = ц, то АС ^ + ц.
Множество точек а Г1, удовлетворяющее указанным условиям, называется пространством Галилея, а У3Г называется векторным пространством пространства Галилея а Г1. Размерность векторного пространства а У3Г называется размерностью пространства Галилея, оно называется 3-мерным и обозначается в дальнейшем а Г3. Векторы из а Уу^ называются векторами пространства аГ3. Точка О из аГ3 и базис Б = (а,|3,у) галилеева векторного пространства а У3Г составляют репер В = (О,аДу) пространства Галилея. Координаты вектора ОМ в базисе Б называются координатами точки М в репере В . Если ОМ = (х,у^), то точка М имеет координаты х, у, z , обозначение М (х, у, z). Согласно определению галилеевой нормы векторов в п. 1.1,
первая координата точки является временной, вторая и третья координаты
а3
являются пространственными, и пространство 11 называется пространством-временем Галилея, оно альтернативно классическому коммутативному пространству-времени Галилея Г , изучаемому в [1, с. 46-101]. Точки пространства-времени а Г3 называются еще событиями. Изучаем пространство-
а 3 3
время Г1 по аналогии с пространством Г .
Лемма 3. Пусть А(а, g,И) и В(Ь,с,ё) - два события. Они определяют
вектор
АВ = (Ь - а, с - g - а(Ь - а),ё - И).
# Для трех точек О, А, В по второй аксиоме Г. Вейля выполняется:
ОВ = ОА + АВ, откуда АВ = ОВ - ОА . Как указано в п. 1.1,
-ОА = (-а,-g + а2,-И), по (1) получаем координаты вектора АВ . #
Теорема 3. Расстояние | АВ | между точками А(а, g,И) и В(Ь,с,ё)
равно
П Ь - а |, если Ь Ф а;
I АВ |= \,------2----------
(с - g) + (ё - И) , если Ь = а.
# Расстояние | АВ | между точками А и В равно норме вектора АВ . По (3) и лемме 3 получаем указанное расстояние. #
Это такое же галилеево расстояние между точками, как и в классиче-
3
ском пространстве Г [1]. События А и М (х, у, z) называются одновременными, если х = а . Множество событий М (а, у, z), одновременных с событи-
л а 3 ^
ем А, составляет в 11 подпространство, являющееся евклидовом плоскостью. Через всякую точку пространства а Г3 проходит единственная евклидова плоскость.
Прямая, порожденная точкой А(а, g, И) и вектором ц = (т, р, д) и обозначаемая < А, ц >, является множеством точек
< А, ц> = {М | АМ = ?ц, I е Я}.
Так определяется прямая аффинного пространства.
Теорема 4. Параметрические уравнения прямой < А, ц > таковы:
/ ч 2 (^ ~ ,
х = mt + а, у = (ат + р)^ + т —-----^ g , г = Ф + И .
# Уравнения получаются с использованием леммы 3, операции (2) над векторами и условия равенства векторов: векторы равны, если и только если равны их соответствующие координаты. #
Если вектор ц галилеев, то уравнения прямой пространства а Г3 нелинейны.
Следствие. Уравнения прямой < А,ц > линейны только в случае т = 0, т.е. в случае, если вектор прямой является евклидовым, уравнения прямой в этом случае
х = а, у = pt + g , г = qt + И . #
Уравнения координатных осей таковы:
„ „ ^ - 1У
- ось Ох = < О, а> : х = t, у =—^—, г = 0;
- ось Оу = <О,Р> : х = 0, у = t, г = 0;
- ось Ог = < О, у>: х = 0, у = 0, г = t.
Плоскость < А, ц, V > , порожденная точкой А и неколлинеарными векто-
рами ц и V =(п,г ,5), есть, как и в аффинном пространстве, множество точек:
< А,ц,у> ={М | АМ = иц + уу,(м,V)є Я }.
Лемма 4. В векторном подпространстве < ц,V > пространства а У3Г, порожденном галилеевыми векторами ц, V , содержатся и евклидовы векторы.
# Подпространство <ц, v> содержит вектор nц-mv, являющийся евклидовым. #
Поэтому вектор V в задании плоскости < А, ц, v> можно считать евклидовым, пусть V = (0,Г ,5).
Теорема 5. Плоскость < А,ц,v> пространства-времени Галилея аГ3, где вектор ц галилеев, а вектор V евклидов, описывается параметрическими уравнениями:
, ч 2 (и - 1)и ,
х = ти + а, у = (ат + р)и + т —^ + Я , г = ди + sv + п .
Уравнения плоскости нелинейны. В случае, если оба вектора ц,v евклидовы, т.е. m = n = 0 , уравнение плоскости < A,ц,v > есть x = a . # Координатные плоскости описываются уравнениями:
^ ^ о (и ~ 1)и ^
- плоскость Oxy = < O, а, р> : x = u, y = и + —^— + v, z = 0;
- плоскость Oxz = < O, а, у > : x = u, y = v, z = 0;
- плоскость Oyz = < O, P,у> : x = 0,y = u,z = v .
Плоскость Oxy является галилеевой a Г2 с нелинейной геометрией;
плоскость Oxz обычная галилеева Г2 , как все галилеевы плоскости в Г3 [1]; плоскость Oyz евклидова.
2 Поверхности пространства a Г3
2.1 Определение регулярной поверхности
3
Отображение 5 класса C односвязной области D галилеевой плоскости Oxz в пространство-время Галилея aГ3 называется поверхностью в aГ3. Пусть H (t, и) - точка области D, область D считаем прямоугольной, a < t < b , c < и < d, параметр t является временным; возможно, что D совпадает с плоскостью Г2 = Oxz.
В отображении 5 точке H (t, и) области D соответствует точка
M (x,y,z) пространства aГ3, поверхность описывается галилеевой векторной функцией
5 = 5(t,и) = (x(t,и),y(t,и),z(t,и)), (t,и)е D с R2,
3
функции x(t,и), y(t,и), z(t,и) являются функциями класса C .
Теорема 6. Если x(t, и) Ф const, то поверхность 5 описывается галилеевой векторной функцией вида
5 = 5(t,и) = (t,x(t,u),y(t,u)), (t,и)е D сR2, (5)
векторы производных функции (5) таковы:
5t = ^1, xt (t, u) +1 + t, yt (t, и) j, (6)
5u = (0, xu (t, и), yu (t, и)); (7)
они неколлинеарны: вектор 5t - единичный галилеев, вектор 5и евклидов.
# Так как x(t, и) - функция класса C3 , то она обратима по каждому из параметров. Имеем обратную функцию t = t(x,и), и векторная функция (x(t, и), y(t, и), z(t, и)) может быть представлена в другой параметризации:
5(t, и) = (t, y(t, x), z(t, x)), (t, x) е Di с R2.
Изменим обозначения в этой параметризации и функцию 8(1, и) запишем в виде (5). Частные производные функции (5) отыскиваются согласно теореме 2, п. 1.1. По определению нормы (3) галилеева вектора имеем 18Г |= 1. #
Параметризация (5) поверхности 8 пространства-времени Галилея а Г3
3
называется естественной. Поверхность (5) является регулярной класса С (функции х(1, и), у(1, и) имеют класс С , частные производные 8Г, 8и некол-линеарны), всякая точка поверхности - обыкновенная. Поверхность (5) обладает галилеевыми касательными векторами 8Г. Поверхности вида
8(1, и ) = (С, х(1, и), у(1, и))
совпадают с евклидовой плоскостью х = С пространства-времени Галилея
а3
Г1 или являются ее частью и не рассматриваются.
Через всякую точку Р(1о,ид) поверхности (5) проходит единственная
1 -линия
8(1, ид) = (1, х(1, ид), у(1, ид)),
и единственная и -линия
8(1о,и) =(1о,У(1о, и), г(1о,и)),
а3
последняя лежит в евклидовой плоскости пространства 1 1 , проходящей через точку Р; 1 -линии поверхности (5) имеют галилеевы касательные векторы (6), и -линии имеют евклидовы касательные векторы (7). В точке Н(1д,ид)
области Б определения поверхности (5) можно задать направление д = —
&
линией и = и (1), проходящей через точку Н, удовлетворяющую условию
ёы
ч =— —
. В выбранном направлении ч на поверхности (5) имеется линия
і=і0
8(і, ы (і)) = (і, х (і, ы (і)), у (і, ы(0)). (8)
Теорема 7. Во всякой точке Р(іо,ыо) = (іо,х(і0,ыд),у(іо,ы0)) поверхности 8(1, ы) (5) в естественной параметризации существует галилеева касательная плоскость < Р,8Г, 8ы > , уравнения которой:
х = і + ^ у = ^х + ^ Г + ^—^хыы + х(^ыо), г = Угі + Уыы + У(tо,ы0).
# Находим производную 8 = — 8(і, ы (і)) функции (8):
—
д. Л 1 —ы —
8 = I1, ^ + 2 + *+ Хы —Г, Л + Уы —
см. теорему 2 и утверждение (в) свойства 2. Сумма векторов
на основании (1) равна
8,+8и = 8,
т.е. вектор касательной 8 к линии 8(1,и(1)) на поверхности 8(1,и) является линейной комбинацией векторов касательных к 1 -линии и и -линии поверхности в каждой точке поверхности. По теореме 5 записываются уравнения плоскости < Р, 8Г, 8и > . #
2.2 Кривизна кривой
В пространстве-времени а Г3 по аналогии с пространством Г3 [1] рассматриваем кривую в естественной параметризации
8(1) = (,х( ),у(1)), 1 е I с Я . (9)
По свойству 2 производные функции 8(1) таковы:
8 = [1, х + 2 -1, у^ , 8 = (0,Х -1,у).
Вектор (8 галилеев, вектор 8 евклидов, они взаимно перпендикулярны и вектор 8 является вектором главной нормали кривой (9). Единичный вектор п главной нормали определяется равенством
8 = |81 п . (Ю)
Величина | 81 называется кривизной кривой (9) и обозначается к.
2.3 Нормальная кривизна поверхности
Со всякой точкой Р(1о,ид) поверхности (5)
8 = 8(1,и) =(1,х(1,и),у(1,и)), (1,и) е Б с Я2,
связан репер Вр =(Р, 8Г, 8и, п), векторы касательных 8Г (6) и 8и (7) вычислены в точке Р , вектор п есть единичный вектор евклидовой плоскости
< Р, Р, у >, перпендикулярный евклидову вектору 8и . Его координаты определяются в результате дифференцирования евклидова вектора —— по пара-
1 8и 1
метру и [1, с. 59-бо]:
Л
п =
о,--
ы
|8ы 1|8ы„
(11)
Как евклидов вектор, П перпендикулярен галилееву вектору касательной 8Г поверхности. Таким образом, Вр является ортогональным репером,
связанным с точкой P поверхности (5) в естественной параметризации. С изменением параметров точка P движется по поверхности, Bp - подвижный репер поверхности (5).
Теорема 8. Первая квадратичная форма поверхности (5) в естественной
параметризации пространства-времени Галилея a Г3 задается равенствами
2 I dt2, если t изменяется;
ds 2= j ’ (12)
[xu + yu, если t = const.
# Малая дуга произвольной линии (8) на поверхности (5) есть d8 . Во всех направлениях на поверхности, кроме направления и -линии, длина этой дуги равна dt, в направлении и -линии длина дуги равна
d8 = V8u2 = ^xU + у2 du . Согласно галилеевой норме (3) в a Г3 на поверхности (5) определяется метрика равенствами (12). #
Обозначим:
E = E (t, u) = 82 = xu2 + yu2, (13)
это единственный ненулевой и неединичный коэффициент первой квадратичной формы поверхности. Первая квадратичная форма поверхности (5) записывается в виде
2 I dt2 , если t изменяется; ds 2= \ ’
2 2
[xu + yu, если t не изменяется.
Функция (13) называется метрической функцией поверхности (5). На основе (13) единичный вектор нормали (11) поверхности (5) записывается в виде
n =^= (0, ~yu, xu ). (14)
Нормальной кривизной линии (8) на поверхности (5) называется
kn = 8 n ,
где 8 - производная второго порядка функции (8) по временному параметру t, n - нормаль поверхности (5), для сравнения см. (10). Величина kn также называется нормальной кривизной поверхности (5) пространства-времени Галилея a Г3.
Теорема 9. Нормальная кривизна поверхности (5) есть функция на-
du
правления q = — на поверхности (5): dt
kn = Aq2 + 2Bq + C , (15)
коэффициенты этой функции равны
A = 8uun, B = 8tn, C + 8ttn (16)
и вычисляются по формулам
А = (_Хииуи ^ уиихи),
В = (_Х^уи + уШхи ) , С = (_ХмУи + Упхи ~ Уи ) ; (17)
причем А = 0 только в случае, если и-линии поверхности (5) являются прямыми, если и является естественным параметром и-линии, то А есть кривизна и-линии; С есть кривизна t-линии поверхности (5), см. (10).
# Используя теорему 2 и свойство 1, находим полные производные функции (8):
„ ^ , , Эх 1 Эх ёы Эу Эу ёы
8 = — = 1 1,— + --ґ +------------------------+ ——
ё, І Э, 2 Эы ё, Э, Эы ё,
8 =
ё 28
(
ё, 2
Э 2 х дґ2
-1 +
Э 2 х
Э2х ёы Эх ё2ы Э2х
ЭыЭ, ё, ЭґЭы ё, Эы &ґ2 Эы2 І ё,
2 ^
дґ2 ЭґЭы ё, ЭыЭґ ё, Эы &ґ2 Эы ё,2 ди2 І дґ
Вектор 8 евклидов, поэтому имеем разложение
8=8,, + 28„,&і+5ы
ё, ёґ
ё 2ы 8
2 ^ ыы
где вектор 8ы есть (7) и
8,, =
Э,2
дґ2
8ґ, =
( д2 д2 ^
о, э_*, э_у
дґди дґди
, 8ыы
і Э2х Э2у ^ ч , Эы 2, Эы 2у
Для получения нормальной кривизны поверхности находим евклидово скалярное произведение евклидовых векторов 8 и п , учитывая 8и п = 0:
к„ = 8 п = 8,
„ _ ёы
8,ы п ~й 1 8ґґ ёґ
+ 8ґґ п .
Вводим обозначения (16) и получаем нормальную кривизну поверхности (5) в виде (15). На основе (14) приходим к формулам (17). #
Теорема 10. Вторая квадратичная форма поверхности (5) такова:
II = Аёы 2 + 2 Вёыёґ + Сёґ2,
(18)
ее коэффициенты определяются равенствами (16) и имеют значения (15).
# При изменяющемся временном параметре t нормальную кривизну (15) поверхности (5) записываем в виде
8о
ААи2 + 2ВАиА + СА2
А2 ,
а если t не изменяется, т.е. в направлении и -линии поверхности (5), то нормальная кривизна кп поверхности (5) не существует. #
Числитель полученной дроби называется второй квадратичной формой поверхности (5), которая записана в (18).
Нормальная кривизна поверхности (5) пространства-времени Галилея
а Г3 и ее первая и вторая квадратичные формы точно такие же, как для поверхностей во всех известных галилеевых пространствах [1]. Поэтому свойства поверхности (5), зависящие от нормальной кривизны кп и квадратичных форм, такие же, как во всех галилеевых пространствах. Квадратный трехчлен (15) нормальной кривизны поверхности может иметь от 0 до 2 корней или все его коэффициенты равны нулю: А = В = С = 0. Следовательно, поверхность может иметь соответственно от 0 до 2 асимптотических направлений или всякое направление на поверхности является асимптотическим. В связи с этим обыкновенная точка поверхности может быть эллиптической, параболической, гиперболической или точкой уплощения.
3 Полная и средняя кривизны поверхности
3.1 Определение полной и средней кривизн
На поверхности выделяются два направления - направление и -линии, которому не соответствует никакое значение величины д, и экстремальное направление кэ нормальной кривизны.
Лемма 5. Производные единичного вектора нормали поверхности (5) коллинеарны вектору 8и касательной к и -линии поверхности:
В А
Щ =~Е 8и , пи =~Е 8и . (19)
# Продифференцируем скалярное произведение евклидовых векторов 8ип = 0 :
8иґп 8ипґ 0 , 8ыып ^8ыпы 0 .
Первые слагаемые правых частей полученных равенств являются коэффициентами (16) второй квадратичной формы (18) поверхности (5):
В + 8ыпг = о, А + 8ыпы =0; откуда
8ипґ = — В , 8ыпы = — А .
Запишем разложения векторов п,, пы по векторам ортогонального подвижного репера Вр , п. 2.3, поверхности (5):
пґ = В18ґ + Ві\ + Cín, пы = В28ґ + В28ы + С2п .
Так как все рассматриваемые векторы, кроме 8,, евклидовы, вектор 8, галилеев, то В = в2 = 0 , таким образом, имеем
nt - В\8и + Схп, пи - BfS„ + C2n .
Векторы nt, пи , как производные единичного евклидова вектора П, перпендикулярны вектору П, вектор П перпендикулярен вектору 8и . Умножим последние равенства скалярно на вектор 8и :
8unt = Bl2§2, 8unu = B2§2,
— 2
здесь 8иП - 0 , 8u - E , см. (13). Теперь получаем (19). #
Установленная лемма соответствует тео реме Родрига евклидовой геометрии [5, с. 97], согласно которой векторы nt,пи коллинеарны главным направлениям на поверхности. Поэтому можно считать, что направление и -линии поверхности является ее главным направлением. На направлении и -линии параметр t не изменяется, поэтому в направлении и -линии kn = A . В качестве второго главного направления на поверхности возьмем направление экстремальной кривизны.
Лемма 6. Экстремальное направление на поверхности есть
- B
чэ -----,
э A
экстремальное значение нормальной кривизны поверхности (5) равно
, AC - B2
kj =------------------------------------. (20)
# Функцию нормальной кривизны кп = / (д) (15) поверхности продифференцируем по д и экстремальное направление на поверхности найдем из условия
/ '(д) = 0.
-В
Имеем /'(д) = 2Ад + 2В = 0, откуда находим дэ =-------. В этом направ-
А
лении экстремальная нормальная кривизна поверхности есть (20). #
Произведение значений нормальных кривизн в указанных направлениях называется полной кривизной поверхности, а их сумма называется средней кривизной поверхности.
Теорема 11. Полная и средняя кривизны поверхности пространства-
времени Галилея а Г3 вычисляются по формулам
К = АС - В2, Н = А + АС -В . (21)
А
# Согласно определению К = Акэ, Н = А + кэ подставляем кэ из (20). #
3.2 Примеры
Вычислим полную кривизну некоторых поверхностей пространства-времени Галилея а Г3 с нелинейной геометрией.
1. Естественная параметризация плоскости, согласно теореме 3, такова:
8(^, и) =
Производные функции 8(t, и) равны
1 1
8 = |1,Р +1 -1 + - -1,дJ = |1,р -2,0J, 8и =(0^^),
8ГГ = (0,0,0), 8Ги =(0,0,0), 8ии =(0,0,0).
По (16) и (21) кп = 0 и К = 0.
2. Параболические цилиндры описываются векторными функциями:
8^,и) = Vt,и,2г2 ^; 8(t,и) = (t,212,и^; а Ф 0.
В первом случае имеем производные:
8Г = (1,1 -1,а^ , 8и = (0,1,0), п =(0,0,1),
8ГГ = (0,-1,а), 8Ги =(0,0,0), 8ии =(0,0,0).
По (13) Е = 1, по (19) А = 0, В = 0, С = а ; и по (15) кп = а , по (21) К = 0. Во втором случае:
8Г = (1, at + 2 - ^0 ^, 8и = (0,0,1), п =(0,1,0),
8а = (0,а -1,0), 8Ги =(0,0,0), 8ии =(0,0,0).
По (13) Е = 1, по (19) А = 0, В = 0, С = а -1; по (15) кп = а -1, но при а = 1 кп = 0; по (21) К = 0.
3. Параболоиды могут быть заданы функцией
с/ ч ( а 2 Ь 2 8(^ и) = I t,и,^t + ^и
При аЬ > 0 функция задает эллиптический параболоид, при аЬ < 0 -гиперболический параболоид. Имеем:
8Г = \1,—-t,at |, 8и = (0,1,Ьи), Е = 1 + Ь2и2, п = . 1 ^(0,-Ьи,1),
Л
2.2
1 + Ь и
8а = (0,-1,а), 8Ги =(0,0,0), 8ии =(0,0,Ь).
2
ГГ /1ПЧ И Ь а + Ьи аЬ + Ь и
По (19) А = , ___, В = 0, С = . ___; по (21) К =
лД + Ь2и2 ’ ’ >/1 + Ь2и2 ’ Т'
1 + Ь и
4. Параболоид вращения
2 2 8(Т,и) = (Т, t 008и, t 8Ши).
Производные:
8Т = | 1,2Т 008 и + 2 - t,2t 8Ш и | , 8и =(0,-Т2 8Ш и, t2 008 и), Е = Т4,
п =(0,-оо8и,-8ти), 8ТТ = (0,2оо8и - 1,28И1и) ,
8Ги =(0,-2t 8inu,2t 008 и) , 8ии =(0, -Т2008 и, -t28Іn и).
А = Т2, В = 0, С = 2 + 008и ; по (21) К = -2 + 008и .
5. Полусфера
8(Т, и) =
2 -12
я
-008 и,
л/я2"-?
я
-8Ш и
8t =
-Т 1 -t
1,-----, 008 и +------t
я* -1
,2 Л
2 ’ял/Я1 - Г
г8Ш и
Л Л
8и =
0, -
я
2 -12
я
-8Ш и,
я
008 и
Е =
я2 - Т2 я2
п =(0,-008 и, - 8И1и),
8тт =
я2 - 2Т2
я | V я2 - Т 2
008 и - 1,
я2 - 2т2
-8Ш и
я | V я2 - Т2
8Ти =
-Т
ял/я- - Т
г8Ш и,
2 Л
я4я^ - Т
2 Л
008 и
8ии =
0, -
я
2 - Т2
я
-008и, --
-8Ш и
По (19) А = 1, В = 0, С = ■
я2 - 2Т2
я | л/ я2 - Т2
+ 008и ; по (21)
К = -
я2 - 2Т2
■+ 008и .
я
2 - Т2
6. Геликоид есть поверхность
S(t, u) = (t, u cos mt, u sin mt).
St = i 1, mu sin mt + — -1, mu cos mt |, Su = (0, cos mt, sin mt), E = 1,
— 2 2 Я = (0, - sinmt,cosmt), Stt = (0, - m u cos mt -1, - m u sin mt),
Stu =(0, - m sin mt, m cos mt), Suu = (0,0,0).
A = 0, B = m, С = sin mt; ^ = -m2 .
Полная кривизна галилеевой плоскости постоянна и равна нулю. Всякая точка плоскости является точкой уплощения. Параболические цилиндры имеют постоянную нулевую кривизну; при a Ф1 на поверхностях в каждой точке существует единственное асимптотическое направление - евклидово, направление t -линии не асимптотическое. При a = 1 направление t -линии асимптотическое и всякая точка параболического цилиндра есть точка уплощения, т.к. t -линия в этом случае является прямой линией, ее кривизна равна нулю, см. п. 2.2. Параболоиды имеют изменяющуюся ненулевую кривизну, хотя некоторые параболы обладают нулевой кривизной, как отмечено в предыдущем предложении. Полная кривизна сферы непостоянна в пространстве-времени Галилея, а в евклидовой геометрии постоянна. Геликоиды имеют постоянную отрицательную полную кривизну, ее величина может быть любой заданной.
Список литературы
1. Долгарев, А. И. Классические методы в дифференциальной геометрии оду-лярных пространств / А. И. Долгарев. - Пенза : Информационно-издательский центр ПензГУ, 2005. - 306 с.
2. Арнольд, В. И. Математические методы классической механики / В. И. Арнольд. - М. : Наука, 1989. - 472 с.
3. Долгарев, И. А. Альтернативное 2-мерное действительное линейное пространство. Группа Ли базисов пространства / И. А. Долгарев, А. И. Долгарев // Владикавказский математический журнал. - 2007. - Т. 9. - Вып. 4. - С. 4-14.
4. Долгарев, И. А. Альтернативная аффинная плоскость / И. А. Долгарев, А. И. Долгарев // Владикавказский математический журнал. - 2008. - Т. 10. -Вып. 2. - С. 9-20.
5. По зняк, Э. Г. Дифференциальная геометрия / Э. Г. Позняк, Е. В. Шикин. -М. : Изд-во МГУ, 1990. - 384 с.
Долгарев Иван Артурович
кандидат физико-математических наук, доцент, кафедра математики и суперкомпьютерного моделирования Пензенский государственный университет
E-mail: [email protected]
Dolgarev Ivan Arturovich
PhD in Mathematics, associate professor,
sub-department of mathematics
and supercomputer modeling,
Penza State University
УДК 514.7 Долгарев, И. А.
Поверхности в коммутативной нелинейной геометрии 3-мерного пространства-времени Галилея / И. А. Долгарев // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. -2009. - № 1 (9). - С. 69-86.
