ГЕОМЕТРИЧЕСКИЙ
СБОРНИК
Выпуск 10
ш ш
____ Геометрический
сборник. вбп.Ю
1972
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
Серия механико-математическая
Том 233
'{
ГЕОМЕТРИЧЕСКИЙ
СБОРНИК
Выпус к 10
Томск 1S72
ль Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
Редакторы - проф.Щербаков Р .Н .,
доц. Ивлев Е.Т.
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
Е.Т. ИВЛЕВ
О многообразии Е в f t -мерном
проективном пространстве
л
и соотношению
a: о.
Введем следующие обозначения и нумерацию индексов:
1 ,^ -т ^ ( ^ 0 -
№. Л /'**) т1 -6-1,-Н
^ а ... 6 = m a- . + i » (4)
;
Ъ = ЛЛо,
= ( ^ Ю а - и •* • * ^а = U - - - , Р)*
Обозначим
а л 1= h ) 1( / ^ « a a - , . . . / v v / ' W * - a v ). (в)
Тогда из
пбдучаем
АГ<
(В)
Q l = A ifQ^
Здесь и в дальнейшем предполагается, что <Ut IfA^f l+ O ,
так как многообразие Г т гиперплоскостей С„.., яв
ляется ftp -параметрическим.
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
А м а
А
:;: а
Л
A1ЛЛ. . . cL<-+%
(9 )
д А .и Ч ..г в* и д«и.А . \*-лЛ.к. . . А**л
-*■ *■/W
* +1 - У V раИ У *■^ t (o'® 1....» p -l).
Здесь
к „ = к . . , к ( 10)
ДЛ*-
где величины удовлетворяют следующим соотношениям:
do ••• •‘*1
.^ ' ‘■Ч »
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
7
/в .
Н ‘ d.l“ V \ * - +<■••• U . A N ~ ' sr* +
+ " q ; q ; _ .9 ; , Л
(13)
(14)
( ЛЧ -,*1 •" 'ЛЛт^
Электронная библиотека (репозиторий)
Томского государственного университета
8 http://vital.lib.tsu.ru
S V Я 1- = 0 - , ( Е ( эса) А* о ) , (15)
х 8- " I*-
Ал£ X = О, (16)
= ^ ( А * ,+ А ,Л
= K it | | A e t llS J (а Я | А «1 И ), (19)
Отсюда и из
с 1 ( Л ,' о М т . . . / ' / \ т . ) = ( .* • * ) ( ^ •^ 1 ‘ ** ^ +
* М-)+—
следует, что совокупность всех смещений, при которых
первая дифференциальная окрестность^ HL -плоскости Бщ.
не выходитдиз ( т ф ) -плоскости И »т,--f > оде ( mi'V
п л о с к о с т ь Х « Г 1 проходит через 1 )Л и пересечение
( - плоскости М " J C линейнЫ“ под"
пространством (20) определяется следующим дифференциаль
ным уравнением
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
10
Т ^ С У -OL
где
Х*=0, Х ^ = 0 , Т * , Х А Х - А= 0 . (2 2 )
х*= e jx * , A t l c J N O , (« >
где
С ^ ’ А **в „.
Здесь А"1* определяются из формул (1 9 ). В^этом преебраво-
в акии точх* соответствует точка Х = Х " ’Ч'Нл., кото
рая является полюсом той (т-Я .) -плоскости, которая поляр-
Электронная библиотека (репозиторий)
Томского государственного университета
11 http://vital.lib.tsu.ru
д Ы 1 с '- 5 > | | = 0 .
m. h’j
Так как С ^ i то
*-1
W # ."* £ W a-jf = ’
rv , ^
Поэтому Г С * =0 тогда и только тогда, когда равно нулю
одно из 'WJp . так как, очевидно, А у ^ О • ^ j _ -.
Проективное преобразование (2 4 ), у к о т о р о г о С >
будем называть п р о е к т и в н ы м п р е о б р а з о
в а н и е m„ W . т# / 1 1
В каждом линейном подпространстве (а=1,Р/
существует квадрика , которая определяется системой
Х в= х ^ ь . . Ли = ^ Т ^ Х ^ О С ^ п О , (25)
т ^ = т^ . а ; : л ; : ; а я'. (26)
cL&= + '...
О-
будет следовать, что линейное подпространство И пересе
кает ( fe _i~ 1) -плоскость L a - л в 'очке
*Л-4
V, xf x,r= 0 (л= 1’ - ’ р)
Отсюда следует, что все касательные к линиям Л\„ { X *J
при смещениях (1 5 ), при которых точка Д/ принадлежит
квадрике Q aH , пересекают L т _, в точках v= ^ ,
геометрическим местом которых является квадрика
LV< , определенная системой
d A - (зо)
в у
где формы Пфаффа W' удовлетворяют структурным уравне
ниям
[w f
и соотношению
Wo . •.+ О.
Wo1 - 0 , (31)
^ $ = Л (32)
( 36 )
Ц/ _ _ 03
(36)
У~ ^ “
где функции tf** образуют тензор в смысле t § } .
Как и в 5 2, условимся обозначать линию,
описываемую точкой Y вдоль (3 6 ).
Пусть T m41(^) - (тм) -плоскость, проходящая
через -плоскость , касательную к поверхности
Л.tv в ¥0Чке А с , и соприкасающуюся 2-плоскости к линии
в точке А о . Тогда ив
л А „ = оз% А с + Wo А а ,
Т я„ ( » ) “ (АоЛ ... A - , A % » V A i ) .
Следовательно, точна
V* s V А* о?
(40)
В ^ = jj - A U J A | t i^ )> l* 1 3 0 ' 1........ "*)•
^ Ji _ Г,
v
г ^ Iт. (42)
19
Литература
.А.А.ЛУЧИНИН
О паре Щ .‘-оверхностей в (9,mW ) -мерном
проективном пространстве
I ) w ^ = [ c o j w j 1] (20
и соотношению
= О. (3 )
и .1 * А % ш ” ,
К =А V Л = ^ 11л“ иП*о, („
-* * 4 f = ° .р » А / " Jl Щ+Л » ( 6)
гг О rf ^ _
_ <Г-йЛ< Г ^ А < 1 *Л
{ , по об не суммировать ).
Тогда уравнения (4 ) принимают вид
ы А и.а/ ,1 = ы ; = ы ? А= о , (7)
*4*4 j
W1 = (8)
(9)
-- л * . , , , * > ', ы к Г „= л « ^ , « у
22
im * (1
[ ц (1*1 ^ Л * . » »« ^ .MmJ-l
в й Д - ^ З А ^ . . . |[ )^ cl со1 » . • < 0,ч-3
( 10)
UM%t ( 12)
1г1 «О
л ;*...,*® . '"J W M (14) j
х) Здеоь Н ~ ocaoitti
раической гиперповерхности —
m.-i
ом. 52) ! ЛЬ И ‘ "ге6-
Электронная библиотека (репозиторий)
23 Томского государственного университета
http://vital.lib.tsu.ru
л ;.и , 7,1 = 1 (Ш
a : , = a 7 = a ; = a " = a * o ,
получаем систему
,1Л Н a .a j H лл . .Л.Г-Н. п
X = 0, * Ф / + X 00АА = 0 (20)
\
в. Х * 4<эс*Ч •*
-,ЗМт
* 0 ,х1=х О , (22)
(26)
О
получаем
др ~
Л (<i( # e , по р - не оуммировать ) .
р Х г-А ^ А .* Л и
1
(А+А, по £ - не суммировать ) .
Обозначим
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
( <*.=£/* , по р — суммировать )
- гармонический полюс (дЗ точки А о относительно псевдо-
локусов прямой АоАдХ*
Аналогично, для гармонического полоса точки от
носительно псеьдо''окусов прямой A-i A 3J+1 имеем
( ck-tfi , по JB - су.ммировать ) .
Следовательно, фиксации (13) и (1.4) геометрически
характеризуются тем, что точки Ад,*, и А д л и помещают
ся в гармонические полюсы прямых Ао Адд. и Д 1 со о т
ветствен н о.
Из (2 7 ) следует, что фиксация (.15) характеризуется
тем, что псевдосрокус помещен в единичную точку прямой
АоАд • Этим и завершается геометрическая характеристика
репера пары поверхностей и .
Построенный канонический репер дает возможность рас
смотреть ряд частных классов пар rrv -поверхностей.
1. Пара поверхностей, определяемая натуральными
уравнениями
А ° = А лр
27
Дт.
а 2m-1 С ч aa-ti •
* 0 ,
СчU ah Об
2JU1 ° V > ] = °>
ю1 С0~3
Н '* 0
характеризуется те;/, что точки A sj. h яеляются основными
точками пг -плоскости Ъ m относительно алгебраической
/V-» ^
литератур а
Л.з.КРУГЛЯКОВ
Введение
29
I
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
30
*
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
31
§ 2 . Отображение в ^ асимптотических
направлений поверхности ,5>3
- •Ч34
Литература
В.И.ЛАТВШКО
d .A jL = о ) £ А р , (о
40
(х ^ -З р х Ь с ^ г О , Х ^ О , р^О . (3)
ы , Ч « 1 - Г , 8Ч .
(6 )
Л ft « Ю r-'W..
- «L&«.p = Г co^ .
8T£=
*r‘(*^-*{),sT?«rV(*t{-a»,*♦*.’), ®г“= (
s r ’ = r » ( * ;- * » ) +ajrj.
- 42
01 * х (&£ А 3 ; $ i Р ^ ) % 3 ){ = ( А ; А 3 ; Q jt j Р у ) ,
Е i* (А ^ А 3 % | > ) ? Н £ * ( А с А 3 ; о . ^ р ^ Д (9 )
ч (10)
= A (A iA 3; P j j О р д ( A t A j . V Q SU Q j t » ) ( A j A 3 ; QiUV l{) ^
(AiAj,*, а и , K t ) * ( A t A / * , K > P i # ) ( A i A , ; T X ^ Q i ^ ) = - l .
Г ^ = Г 3- А 1 Т = 0 , , (1 1 ) _
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
43
(А лА д A j А ц) ~ 1 , <Ц>
A A 3 -r ,V A t *
I—otNt А
d-Ач = I Ц A d. у
где . Г а" = 0• Уравнения структуры (2 ) приводят к. следую
щей системе конечных соотноА/енйЙ:
зг; (14)
3. Из системы уравнений
( х 1) 1 - a o c ^ x * = 0 , o cv= 0 , х 3 « 3 = 0,
(15)
U5(v ( x 4 a'+ r ’"'cJ m, Х 1х г + Е С г ф ' Х - ^ а А л о
fe.
Литература
В. И. iwlATBEEHKO
ц у Ь>= 1 , 2 . ,
§ 1, Семейство K U .5 ).
cLAa, = <*)£ А ь ш
причем формы Пфаффа <Д>1 удовлетворяют уравнениям струтс-
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
48
I > U ) £ = t wi W ^ * (2 )
ws - * W ’ (б)
<J^-4(j,*-a<»p=cAwA. <6>
Иэ этих уравнений обычным путем И получается следую
щая система дифференциальных уравнений внутреннего ло
кального объекта р> C*i*
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
49 -
♦С ? * $ -с Г с * * р
-Ui*c?c 1-£)*1-а}-1ф'Гс№,
sc? = с® ( » ! - * | ) 4 f - (.«!)*]*?+ t»)
»с4“-сГ(.* 1 --
^ p -- c i t D C * Cj *Kj ’ ;
c f - o , с * = о . <8,
ЫА= и г =(л)1= 0 , ( 10 )
( х г) 1 - л р х ^ э с .1 = О , x v= 0 , ( И )
(13)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
51
- 62 -
_w л {* Л**
c , - Cj
b tc -~iг » ’ Vt
, L>
cJtr c"
являются абсолютными инвариантами. Геометрически они
хорактеривуются через сложное отношение четверок точек
оледующим образом:
А = | ( А СА ,; $| $ } ) , B t- ( A | A , ; ^ , ) ,
- (A t А » ’, р ])>
( A ,A t ' , « M A t A / . ^ i S f ) 1,
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
' (А , А г А , А « ) И , а ’ )
где
( At А * S ^ s *■>М t ь * / * * * )
один иа фокусов луча совпадает о точкой A t* (со о тв е т ст
вующие торсы суть конусы),
13) На неголономной поверхности (.A j Jij . я ы>4. » о
линии является асимптотической линией, а каса
тельная к другой асимптотической линии совпадает с прямой
A* A i •
И ) На неголономной поверхности ( А О и , » О
линия яялячтся асимптотической линией, а касатель
ная к другой асимптотической линии совпадает о прямой
Ат А х • ч
(А^ АО cj^ = o .
§ 2. Семейство К(г,5)
Наиболее общим семейством К (2 ,5 ) является семейст
во К (3 ,5 ) , которое рассмотрено в предыдущем параграфе
настоящей статьи. Однако представляет большой интерес изу
чение и семейства к ( г , 5 ) . Для этого семейства плоскости
коник образуют двупараметрическое семейство и каждая плос
кость коН1<$си имеет характеристическую точку Г Л .
1 . Поместим вершину A j подвижного репера в
точку вершины A i - в точки касания касательных
к коник ар IQ 1 , проведенных из (\ ъ , вершину А v * ,в про
извольную точку проективного пространства, не лежащую в
плоскосри коники. При этом исключается случай прохождения
коники С через точку Л\ . При фиксации первичных па
раметров фиксируются точки A hv и коника С • Поэтому,
кроме форм ( 5 ) , главными будут и формы U)j , (0г •
берем из них за базисные следующие:
» 1) ,
* с5* -eVt»S-*t).8 сГ- еГС^
0 ; -
- * ».
г, -V ,
l
( 22 )
5СV - СУ X . +
* СС ;г л,
Я. ,
&cf=cf(3H- *1),
V.
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
Б£
- С, с в. -,Т (23)
А 'с ” сГ ’ В г с ; ' с г ’ И ;= С ^ С ’
60
( А ; А ; ; $ * Рг)= 1 - а ( А i A , -, Qj Р4) .
Р= C * S c f = 1. (25)
61
« “ = ( с , ♦
(27)
SC5
,‘ = c f j f ^ C“ X j , S c " » S c ^ = o .
(t?-cT)(i-
I »
с?-ас?КГ(сГ*с^с”- cV-
ч
d A ; r c J A ^ A i + v r A j + CL ил A3*(*>iAV)
. • (> v
(29)
d A z ~ Cs ( J x A 3f d A y a C f
62
( А 1А г) oJi=y i= u „ = u s sO
ч. Рассмотрим некоторые классы семейств
со специальными свойствами.
1) Семейства коник характеризуемые натураль
ными ур цинниями С У" = О , существуют и определяются с
произволом одной функции пяти аргументов. Они имеют следую
luit характеристические свойства: а) касательная плоскость
к неголономной поверхности ( A l)u,=u).~cJjtcO прохо-
дит через точку А „ , и касательная Плоскость к неголо-
комной поверхности (A t )w j= u v =ws 9 ° совпадает с
' и)
чатые поверхиости Ы^=0 являются торсами неголономной
конгруэнции прямых ( A i « (Jv = U)г » 0 . к ) линей-
*
чатые поверхности являются торсами, вырождающи
мися в бонусы с вершинами в а * , неголономной конгру
энции прямых ( А-, А г ) ы . = (д , =. w * = о •
2) Семейства , характеризуемые натураль
ными уравнениями £ * * = 0 , существуют и определяются с
произволом одной функции пяти аргументов. Они имеют следу
ющие характеристические свойства: а) точка Д> является
чзтйрехкратным фокусом коники С неголономной конгруэн
ции коник 6>в* * 0 , б ) точка А о является дву
кратным фокусом коники С неголономной конгруэнции ко
ник W , s U s =(*>^s О ,* в ) точка А с совпадает с одним
из фокусов луча голономной конгруэнции прямых
/а » \ „ . , г ) линейчатые поверхности Ш:=0
(A lA y ^ s u ^ u i^ O ■ J
[lO j —о ] являются торсами (вырождающимися в кону
сы с вершинами в Д ^ ) неголономной конгруэнции прямых
Литература
К проективно-дифференциальной геометрии
четырехпараметрического поля направлений
в трехмерном пространстве
§ 1. Подмногообразия
т
. Специальные
подмногообразия Уз
( 1)
, =о (О
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
68
JT= ( A i , А г? А 5 (Б) _
где
тг
а = - Я-Г - 1 а 1 , а ^ =
* at -t a v г ц г 4
1 а».
(6)
<*>ч= о ,
где
Х\ _ _ a* J ij _ ^ 5 _ jQ v
“ ax ’ ja l ~ ai ' a7 '
• W u р1’ * - V » Р1’ * -‘ j j * . р ’ ~ - л , д , р и . о .
. i 2 . Подмногообразия vft
- 70 -
Л* i , я, з (7)
+ CL^ 0 )^ = 0
где
* 0 m SL
* а >= г и г"
Ч* 1 гг
Уравнения (7) подмногообразия ^ можно записать
в виде
Ыд
д— ж. 05» со"
2v 1 (8 )
г3
* 9
где - определители матрицы коэффициентов Ц d t* ||.
Для наглядного представления классов подмногообразий
геометрического образа фц , удобно пользоваться диаграм
мой во вспомогательном пространстве Р 3 , аналогичной
диаграмме, введенной в [ 9 ] . Подмногообразия ", »
Ъ в 9 ' изображаются соответственно точками, прямыми
и плоскостями. Каждая точка 7 ^ {ъ с 1 в Р 3 изображает
подмногообразие , определяемое системой уравнений
( 8 ) и проходящее через рассматриваемый элемент поля
Каждая прямая , где <e{(L - дуальные плюккеровы
координаты, изображает подмногообразие Ч’ в, . Наконец,
каждая плоскость изображает подмногообразие ф3 .
Совокупность всех торсов и , принадле
жащих геометрическому образу , изображается в Рг'
поверхностью второго порядка
(9)
щ А-\йц~ л »,л з~ О. ( Ю)
Электронная библиотека (репозиторий)
Томского государственного университета
\
http://vital.lib.tsu.ru
- 71 -
§ 3. Подмногообразия f t
*
Произвольное подмногообразие 4*1. . принадлежащее
геометрическому образу Ф у , определяется двумя линейны
ми соотношениями Ш; ш* = 0 ( t = • Отсюда,
в силу ( 1), получим
72
С ^
©S3 0-?</ ©12. С»1з
где
a } а*,
0
af a t
Сопряженные подмногообразия Ц-^ и 4 V в £3 изображайтся
полярно сопряженными прямыми относительно квадрики ( 9 ) .
d частности, подмногообразия 4^я и Ч4ь суть самосопряжен
ные подмногообразия. В Р $ они изображаются образующими
кввдрики(9), пересекающимися в точке, кото|ая изображает
торс с точкой возврата и касательной плоскостью, совпадаю
щими,соответственно, с общим фокусом всех торсов подмного
образия и общей касательной плоскостью всех торсов
подмногообразия .
Координаты фокусов t f и торсы OJ3- A ; О) ~ О
произвольного подмногообразия 4 *1, определяются, соот
ветственно, следующими уравнениями:
б „ п о
( ? . у Д3 “ ( + =О, ( 15)
4 *
82
ПА ($ * 1 * 3 ,4 ). (29)
В этом-случае d . [ A i A a] = ^ ) [ А , А*] «
+P4J u*[AiАч] +из3[Аз АгЛ+<*>*[А* Аг1•
Следовательно, многообразие прямых [А^ - трехпара
метрическое, т . е . исследуемое поле направлений получает
ся, если взять произвольный линейчатый комплекс и с каж
дым лучом ассоциировать, по очереди, все его точки. хакие
поля рассматривались П.И.Вашкасом [1 2 ]. Очевидно, что ши
рота э то го класса - одна функция трех аргументов.
2. Поле Г ^ = 0 . Чтобы дать геометрическую характе
ристику этому полю направлений, произведем следующую час
тичную фиксацию подвижного репера: Гг1= 0 (ср. § 5 ).
Так как при Р^ = О и ( JL=Z,3,4' ) плоскость
АтА2Аз неподвижна, то начальный конус вырождается в
плоский пучок. Начало луча Ат является инфлекционным
центром всех подмногообразий , т . е . , всех тех подмно
гообразий , на луче которых точке A i в главной кор
реляции соответствует плоскость Д 1 Д г Д з
При Р ^ = 0 один из корней уравнения (28) равен бес
конечности. Следовательно, начало луча становится F -точ
кой. Рассматривая обобщенный поляритет Пантази дл.. элемен
та {А л ; Ал Аг Аз] . находим, что геометрическому смещению
точки Ат соответствует только одна характеристика плос
кости Д лАгАз
-.4 * x l + r & w * * ? . зс»=0.
и)^ х 1 -+ CV
ал j'
Электронная библиотека (репозиторий)
Томского государственного университета
i http://vital.lib.tsu.ru
83
[у Г ^ ,ы В = о , ^ Г Д = о .
с неопределенными фокусами.
Чтобы доказать теорему существования, произведем
ту же фиксацию, что и в п.З. Тогда из (20), в силу Г3\ Г ^ -
~ Р£> Гз, = О . получим
г О)-;
ш< - £ г,*. ы‘, <о*- Г3^ (30)
dJt = A t, (31)'
где
87
аргументов.
Чтобы дать геометрическую характеристику построенно
го канонического репера геометрического образа , рас
смотрим специальное подмногообразие *y3( w 4= o ) . При О
каждая из прямых А^Аг и А1А3 описывает, соответственно,
специальные подмногообразия и % . Специальное под
многообразие ^и)*=0) (соответственно, у ъ ( ы " = о ) ) со
держит одно подмногообразие $1 ( 0)"= 0)2 = о ) (соответст-
венно^vl^ Ы3,= 6) ), все торсы которого имеют общую
касательную плоскость А.АтАз и одно подмногообразие
(соответственно, oii'= о ) ), все
торсы которого имеют общий фокус А 3 • Рассматривая тот
из тирсов подмногообразия ((jU^s = о) (соответствен-
но, 0 * ^ = W3V= о ) ), на котором кривая, описываемая
точкой А 3 , имеет касательную Ai Aj (соответственно A i А^, ),
находим, что вершина А^ (соответственно, А } ) репера совпа
дает с точкой возврате этого торса, а плоскость А1А3А4/
(соответственно, A - ( A j. A ^ ) - с соприкасающейся плоскос
тью упомянутой кривой ( А , Ь Геометрическая характеристика
положение «чршины Ац и единичных точек ребер репера та
же, что К,м. случае канонического репера геометрического
образа (см. §5). ,<
Так*как элемент геометрического образа включает
элемент геометрического образа Ф г , то геометрия образа
ф ; охватывает (в смысле Г.Георгиева и И.Попа [б] ) геомет
рию образа Фч . Дополнением элемента геометрического обра
за до элемента геометрического образа ф^ являются
касательная плоскость к начальному конусу и инвариантная
касательная всех кривых, описываемых началом луча Ai на
любом из торсов подмногообразия ( u ) ,= о) . Дери
вационные формулы канонического репера геометрического об
раза noj/учаются из деривационных 1ормул канонического
репера геометрического образа ф ; , если в них положить
г5 -гЛ -о .
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
88
dAi =w ?A t, , сз4>
гД
Ф*
- г,’ =о, г*+о, г ^ 0, г ' * а
Дифференцируя (34) внешним образом, находим
пЧ р2 р4 г 4 _ О
' 33 1« I 31 + ' ?1 131 ?
Р Фр2 _ п 2 Pi _ Г 1 =0.
I л I 31 ' 31 122 1 33
ч
сушествует с произволом двух функций четырех аргументов.
Дадим геометрическую характеристику построенного на
ми канонического репере геометрического образа . Во-
первых, пло'кость А , А г А з канонического репера являете/
касательной плоскостью к конусу с вершиной в A i • Далее,
pc-ij-л Д1Аз к-.нопич< ского репере есть •-нательная г - х
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
73
( А ) . А » Д ш 3* W i A
где
§ 4. Подмногообразия Ч'з
/
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
- '.-5 -
v а с? °, o.a v - a z a$t O .
H t" >
где
-) 0 ^
- Оц С 5- а г с и1 ^ ^
^ = ал С ц - а ч Ci +aJc 4 “ a *-c *»
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
76
** *
» 3 - a 3LC1 ~ a 1 С Л,
л^л;
4* , е,= Л „ »><м; >=ьМ.
Н* Г,1
е;+л$,
=о . ( Ш)
*' ’
tf-s .
р
*А3 » *S
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
- 77
?Г ц - агл - г; г ,; -? i>
(19)
Я». п
8 ,4 * = ^ , П »
где о . - символ Кронекера, а коэффициенты симмет-
ричны по индексам I и | . Дифференцирование системы
(19) внешним образом дает *
V = А Г, у * - 0>1 ) * а Г»/> Ч
cLA,: = <*>*Afc,
VW
( 21 )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
7F ■
Г 3 -Х' У7 p i - О
1 aj - 6 j ’ 1V V 1s r U’ ^ '«
(j j 4= u ) 2 = miUJ% m 3 a ) 3= О ■ (24)
Р= т 3А., ♦ т / А а ,
d =( А 1, А , , ч, A a «• ч * А ч), <(?. 6)
где
П ЧГ 1 _ Г ^
1 л ' з* 1 33
г,^о.
‘ 'ведем понятие обоосеннего поляритета Пантаэи, не
сколько отличное со тего, которое использовали Г.Георгиев
и И. Попа к |б]. ’ оиэвольное подмногообразие vj.», , при
надлежащее геок" Tt ическочу образу , определяется от
ношением базисных ;орм оУ1:со1-. и)3 •. cJ* . Так как обра
зующим элементом является луч A i A j и точка А , то с
кйлдым смещением элемент г. |А, » AiA-tj вдоль некоторого
подмногообразия Ъ . ( нс являющегося печальным конусом)
связано смешение d А, , определяемое тем же отношением
форм и)1; Ог : cJb' р>)4 . При этом каждое геометрическое
смещение точки А 3 фигурирует о » -1 раз. Если с элемен
том инвариантно связана некоторая плоскость П , прохо
дящая через точку Д^ , то каждому смещению с1А3 соот-
Л
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
80
Ы п32
\ 4г 1А 'Г34
7+
Ч , 5 с М ' ‘ 1 ГА + г Д Г
(26)
+
ГЙ г , ’ j ( т , ) г = 0 .
ч
Литература
Н.В.АШШЫЗА
* f i 0 ' L8 i + 4 ' % , (2 )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
92
( * * . 4 ^ a i +^ - ^ 0 4 * ^ ^ ) K + ^ - A ^ ) = O , (7)
{х * )\ Д Д ^ х Ч ( х 2 -) а= ^ Х 5= 0 , (9)
где ±*1.
D ^ = ( 1 а г- а л ^ + « [ < * ] ♦
+ № > * ■ ]+ U * s- П + * 3 - З Д * 1, * 4] ,
U K -A fc U M » *№ *3‘ * М * И
ГДе
А л= [3 (адгЛ$*,)- Afc.*,-* &а,- f i l + ma.iA(^<"/^ ) + « ♦
+ п Д х - <цЩ + " t j (w -x -t t ,) ,
- $ л- т -g [_fll(.«-i"A|i)- »v.j - A ^ i + M ,
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
94
■v П - з 1 * Ч ч А { < - а , - a - Af e , ) ] ,
B 3= mA f j -гн-з f* _
^ a . - (< * • *-A $ i ) ( £ ( a » - A | s ) + € s - A f i j J + ( а . А - А {ц f
+ 1*j - a { 3) L A ( V € 4 *m s] ♦ $ Д , - +
Й1 * ( l l )
?J5= ( а л- А ^ ) [ А ( ^ . 4 f e j - a , - 6 A+ * , ] *
? Д Х+ *з) *e5 - A f , ] y
н. =т ,, с! = £Л, «1 * 0.,.
Соотношения (7) и (8) пги этом примут вид
( m , * J i ) ( e , + i» i,-A * w .,) = O f €х - д * т . ) = 0 .
Так как * Т0
(14)
а , - £д = И1, ( А 1- -0.
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
-* 96
Из (б ) и (6) следует
&= f u K A H A , A-A*h
л з+й -
- m-з & = 0 .
Применяя критерий Картана к теореме (10) с учетом полу
ченных соотношений,находим (в обозначениях [ l ] )
<v=9, Д-6, ^,= 3, £,= 0, <Э=Ч2, ДГ=1г,
а. Система - в инволюции и определяет подкласс
О с произволом в три функции двух аргументов.
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
97
Литература
Л.И.МАГАЭИННИКОВ
R= А , + * А 3 9 U i>
(1?)
р = 1 п А Л и , Аа-
Векторы , А » . А * включим в репер ( о А , А 2А )
этой пары, где С_\ - центр пространства. В силу выбора
репера формы (О^уСО?, СО?, СО^у 00^ у СО3 у Со| - глав
ные. Считая, что [СО,3, L o l , CO j]*0 ? т .е . что комплекс
(1) нецилиндроидальный [l j можем записать
6
0 0 *= о
и характеризуется геометрически тем, что ее вторая линей
чатая поверхность имеет центральную точку, совпадающую с
точкой R = m A i . Пара л \ линейчатых поверхностей
io J = о Ь н д 3 ,
и з{= О
характеризуется тем, что ее вторая линейчатая поверхность
имеет несобственную центральную линию (такие линейчатые
поверхности ранее названы цилиндроидальными).
Любой линейчатой поверхности комплекса на луче со
ответствует точка, в которой касательная плоскость рас
сматриваемой линейчатой поверхности параллельна векторам
Д и . Зту точку назовем о с н о в н о й . Пара
N линейчатых поверхностей пары конгруэнций (3)
= О
характеризуется тем, что основная точке первой ее линей
чатой поверхности совпадает с точкой А т •
Точк а
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
100
R =A 1- £ lia f A (4)
с, 4 ре3
является основной для первой линейчатой поверхности па
ры а центральная точка первой линейчатой поверхности
пары имеет радиус-вектор
<Х0 + € 2с1 Д
(5 )
R = A i- Q-V ^
С точкой
R = m(Ai (6)
OL, +
R = nt(A 1 + (7)
CL 4 +
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
101 -
R=mA,+'u?'Aa
называется центроаффинно-расслояемой в сторону от п е р в о
го комплекса ко второму, если центральная точка второй
линейчатой поверхности пары А Г совпадает с точкой, к о
торая центроаффинно соответствует точке в паре
Л линейчатых поверхностей, е основная точка п е р в о й
линейчатой поверхности пары с£ совпадает с централь
ной точкой первой линейчатой поверхности п а р ы л \ .
Цектроаффинная расслояемость в сторону о т в т о р о г о
комплекса к первому определяется аналогично.
1 Теорема. В общем случае в любой п а р е K o v r w e K c o B
существует единственная пара неголономных конгруэнций
центроаффинно-расслояемая в заданную сторону. В р е п е р е
(О , А ,, А з) такая паРа характеризуется соотно
6 , А - М = с < -а » ,
2 (!)
%ч л , - е 3 р = с ъ - а « ,
доказана.
Замечание. Если задана голсномная пара конгруэнций
R = А , + 1?'А 3 ,
Литература
г .И .И В А Н О В
§1. Введение
d A t * u i A } . ( l , j ’ * l . a i 3 ), ш
где w
с о; , - формы Пфаффа, удовлетворяющие уравнениям
структуры центроаффинного пространства
(3)
CjJ +
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
104
( R -A lf А 3, (<о‘ »*а),‘)Д Ж +
+зУиз)Дг+(и1*А1^’+',^<*5|)А з ) =0. С42
Центральная линия £l3 линейчатой поверхности (I g )
пары ( I ) описывается концом радиус-вектора
и ;
wi*
откуда при условии (3)
Литература
Л.И.МАГАЗИННИКОВ
R = A ,+ т Г А з , U i)
R = m A i + i^ A a .. (Ы
c o j s с ц е о ? -* - ^ ^ - M ^ c o J ,
СО3 = а „ с о ? + б * <*>;+ c v .
Q = C O ^ -o lt O ? -j3 c o | = О , (3)
99
со’ = о
и характеризуется геометрически тем, что ее вторая линей
чатая поверхность имеет центральную точку, совпадающую с
точкой ’R = m . Пара АЛ линейчатых поверхностей
(о£ = оО ,
со|= О
характеризуется тем, что ее вторая линейчатая поверхность
имеет несобственную центральную линию (такие линейчатые
поверхности ранее названы цилиндроидальными).
Любой линейчатой поверхности комплекса на луче со
ответствует точка, в которой касательная плоскость рас
сматриваемой линейчатой поверхности параллельна векторам
Д и Д э . Эту точку назовем о с н о в н о й . Пари
N ' линейчатых поверхностей пары конгруэнций (3)
00* = +
<д)} = О
характеризуется тем, что основная точка первой ре линей
чатой поверхности совпадает с точкой А л •
Точка
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
100
Сч Д
(4)
Cj + ^ ёз М З
а 9 4- g2d
(5)
a v + S^cL
С точкой
0-2 ^
R = m .(A i + (7)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
ш
[w j, w f l M " » * « О ( вю Л Й ).
л (9)
6 < /d L -
.4'
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
доказана.
Замечание. Если задана голономная пара конгруэнций
R = A i + ^ А з ,
Я = т .А , +г ^ А г ,
Литература
§1. Введение
<2 >-
O jJ (0 3 ^ х Ф О ( 3)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
104
( И -А 1( А з , Ж +
+^ )Д г+(и3
1*а.л^у3
3)А3)=0. (4)
^ 2. 3 2*
Аналогично при условии ы ; ы ; + (а) | о ) з Ф 0 нахо
дится < P -линия на второй линейчатой поверхности дан
ной парц Ее уравнение имеет вид
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
105
г. ... л ( d i u * m ( j ’, )u )? + iu W .3 U ?
R ^ m A *- — ;-j
ш 'о ) ,
(a) J g0 i + 0 )3 6 ) г = О , ( 8)
( j J Ц * + (О ? ( * > 2 ^ 0 , ( 9)
то Р-линию назовем н е с о б с т в е н н о й .
(nt )
Р ^ гл Д ^ н У А з, (Пг )
U )J a p ,C j}+ ^ U },
U).f = Р з » СА 2 = “ Р 2 Ю ^ . (12)
(13)
R = А ф +
ь
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
[с1р2+р4(и*-1^),(д}]-р2 [^3, =
СО2,я Ps^l * Р* ^ *
OJj = Рз COi + PiO и * ,
OJ3 = fV w} ♦ Р* ^
dm+rti(*)j=p14w] +р12.
= (р ь н М + p* ♦
00?* to?,
U )» = - < o ] .
^Л3 = Я1 Ы 3 ♦ Я * Ы 3 ♦
. , (13^)
wis4*wi*4*« э-
В силу (8 ) система (13^ принимает вид
(И)
<а> з 1 = 0 ,
или
(1 6 )
(1 7 )
[wJt»M=o. ( IP)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
110
СО? СО 3 = 0 .
j 2
Бели W 3 = СО3 = О , то приходим к вырождению данной
конгруэнции в пучок параллельных прямых. Исключая из
рассмотрения этот случай, получаем СО3 - С О ^ - О . Так
как центральная точка произвольной линейчатой поверхнос
ти конгруэнции (П^) имеет радиус-вектор Й = А Л-
то при I 0 j = 0 имеем случай, когда эта конгруэнция
ц и л и н д р о и д а л ь н а я . Цилиндроидальные кон
груэнции были рассмотрены Л.И.Магаэинниковым 0 0 .
Если же С О ^ О » то из (18) следует
СО з — A СО3 — 0 9 (19)
а из (б )
U )]- о . (21)
& [ \ л = d C O ? A ^ + tO ? А 2 + to? А 3 .
f t r c d l A i + A * . (22)
R = ^ . (23)
( д) ? = Ж ( а)| , 0 0 ? = £ . (24)
- 112 -
R —ck А ^ + А
Уницентр второй конгруэнции пары (П) имеет радиус-
вектор R = r u ( A - t - А 2 ) . Следовательно, из третьего
условия теоремы имеем {{,= - f i . Последнего равенства
достаточ н о, чтобы в силу (2 4 ) выполнялось ( 8 ) .
Теогема 6 . Если первая конгруэнция пары (П) не-
цилиндроидальная, то пара, у которой на произвольной
первой линейчатой поверхности р~линия несобственная,
существует и определяется с произволом четырех функций
двух аргументов.
Д оказательство. Пусть имеют место соотношения
(1 9 ) и (2 0 ). Примем <1ормы 0 0 ^ и GO3 за независимые
(при этом исключается случай, когда цилиндроидальной пер
вой линейчатой поверхности соответствует линейчатая по
верхность с центральной линией, описываемой радиус-век
тором R s f u A - i )• Замыкая соотношения (1 9 ) и (2 0 ), получаем
Так как £ o )^ j , то
d (J L + c t ( o ) i - -d /t o fj+ u ^ .o . (2 6 )
(л),1- (O j- 0)?+ - о.
Электронная библиотека (репозиторий)
из - Томского государственного университета
http://vital.lib.tsu.ru
4
(д )} = /* < Ь ),
4 <03 ,
" а 1»
-4
<4 = « ?
о 2
ч- Ы
о
3
'4
и
<4
СМ^
3
II
о>;
ZыГч
1
II
ы ?
W ?+ 1 0 ^ ? = X ( U j( b 1
3 + W,S o | ) . (29)
3 3
Выберем формы (0^ и за независимые (при
этом исключается из рассмотрения случай, когда конгру
энция (П ) уницентральная). Оставшиеся главные формы
пары конгруэнций (П) представим в виде
CdtJ я \ ! <*>■?= 7
^/“ A^g= о,
2
, ч ^ \ (31)
^ A.(tf6* ^ ) = О.
Система (30) с учетом соотношений (31) дает указанный
произвол.
Теорема 8. Аля произвольной точки луча конгруэн
ции (П^) имеются, в общем случае, две линейчатые поверх
ности, принадлежащие конгруэнции пары, для которых эта
точка будет Р-точкой.
Доказательство. Уравнение произвольной линейча
той поверхности имеет вид СО® = Ь 0)| . Подставив по
следнее уравнение в соотношение (2 9 ), получим
4 . и.; м г а з и н н ш )в
Отсюда
<д) * а Ц 1 +
( 1)
= P i ws1 + P*w*-
(2)
u ;= < v X + <*»<■>,5 + ч Х -
( Д - А 3 , A i + ? i A s , А г+ р » А 3) = о
п_ 111 Д +
К- -1- в-р-
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
118
(4)
ЙР - Л 1 Ы»*
+ , 0.
8а>*аД £+ 6 3 i £ - $ i ,
s V “ V I * +<W s t »
4 t =0> (6 )
C- „ Гг" l
- % i Jl t ~ J4 .
R® Аг . (7)
Так как инвариант £ геометрически охарактеривован, то
отсвда следует геометрическая характесистика инварианта
* Инварианту 3 дадим относительную характеристику
следующим образом.
Прямая
&= ^ А3\ (8 )
Электронная библиотека (репозиторий)
Томского государственного университета
120 http://vital.lib.tsu.ru
г? Л . Рч + 4 А . „ф Д
o ')
R = A /^ A 2 . О )
u £ - 4 и { а / ч w * +/ i w i > (ю)
= A s+ ^ ( А п- А з ) ( id
( А , - А 3).
Отсюда и из формул (7 ) находим, что уницентральной цилинд
рической конгруэнции комплекса (3 ) соответствует некоторая
уницентральная £з1 неголоноиная конгруэнция комплекса ( Ц )
только при м., = . В этом случае система (10)
Ч '!
имеет решение с одной ироизводной функцией двух аргументов.
Пары этого класса назовем парами ГЦ .
Пусть дана пара комплексов
% Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
- 122 -
R = An+ ^ A s , (12л)
R =т А ^ ^ А г. (12а)
Пара неголономных конгруэнций и » О центроаффинно рас-
слояема [о] в сторону от конгруэнции первого комплекса к
конгруэнции второго, если выполняются соотношения
tu 'u 4 ! > > ? , <*>*3 = О ( w x t Q ),
(1 3 )
4 К 1 » и *3 = O ( m o d Q ) .
^ = Ы dj W * » О . (1 4 )
U ) j = p s « ' 4- а и * .
R * А ,+ ^ А 3 .
ы }* + + c w *,
Ы< = p v W ^ p s W ^ + p e W i 1 . (16)
и * i s l
Sc - ССЧ-*Э>
bpu e P<rCs»"^)> (17)
B p s * A p s J »*,
S p c = P c 3*1 “ • c
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
- 124 -
i
Первое и третье уравнения из системы (16) получаются из
(1 6 ), если положить рч о С = 0 и ® «»Р с • ^ак следует
иа (1 7 ), случай С э О носит инвариантный характер. Гео
метрически он характеризует класс многообразий ct>^ , точ
ка которых описывает поверхность. Действительно, толь
ко при С - 0 имеем , (Д,1 , 0J,1] = 0 •
Выполнение условия р у » 0 можно добиться (|мксацией
одного из вторичных параметров условием J (эт о воз
можно, если р ^Ф О или [ Cjf у и £ 3 $ 0 , т . е . не все не-
голономные конгруэнции комплекса цилиндри
ч е ск и е ). При этом плоскость A » )s 0 инвариантно
связывается с многообразием ф л : именно, эту плоскость
вместе с центром пространства определяет касательная к ли
нии пересечения цилиндра комплекса R s с по
верхностью ( А , 1 .
Условие ct= р® также носит инвариантный характер.
Выясним его геометрический смысл.
При Св Р ч & 0 центроаффинный центр комплекса
находится в точке
R - A » - as)
( f t - Д ,, e.A,+ At , A i) =p>
(.R- А ,, « Л + А „ « А » + М - 0 .
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
125
р - Ai ^ + М (19)
ф
проходит через точку Ап . Совокупность всех этих прямых
образует специальный комплекс. Положив в системе (16)
C=pV s O , 0L= Рь I а затем произведя нормирование
рБа 1 ,р с =С0=4> j i l = 0 Дифференцированием этой систе»«
получим
cU = & w t 4 wi * ° Ч и л )
U>* * Рз W? + (-«Ч- вРг) ^п3-
- М * ? ,
(20)
+ 0Ч-*Р»+*) “ зг> с
- (л)^= рп + PaU)^+ Рз из •
\
W ч и*
w Рл и ? 4 ( 1 - р г ) ^ п3 - « Ц w j ,
R = А,* (2 Ц )
Д=тА,+1ФАг. (2 1 j)
12?
Литература
в.п.долговых'
О прямолинейном поле скоростей стационарного
баротропного течения идеальной сжимаемой
жидкости
§ 1. Уравнения гидромеханики
ж я*- е. s .
u> * + oj£ - o,
Du»**[<*>*o i l , D u f « t w f w f].
= у ы 1}
/ . < * > ; * p i и 4. (1 )
dL* ° 0>ь-
[isy
[ л р с ы 1] * 0 , {?)
[ A $ i U)'L ] с О,
еде •
ь<\,= <Ц,-(л*-рОи,‘+<цы1>
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
130
b < \ i* + cja\
a p i- Api - + p »cjj>
* f , - <if«-<V»<“ pi ^ * P* «*,
^ 1 » A a ^ + a^ « * - a*, ы *,
л *г = < £ * ,-1 * ,^ + ^ w *.
w i гМ (V 1“ ( “ *4») V * ( Р1ПО ,
а дивергенция вектора j>1> вычисляется по формуле [4]
131
.1 ** и * (<*•**
где П = 1 -д“ +(Л' . . 1 ' ] Г . Р - давление, р - плот
ность, Us - потенциал внешних сил. Умножив обе части
этого уравнения скаТ^рно на о(Д , получим 4
сСН = ( £ , t c t S , cU ). (4 )
- О. (5 ) .
< i H- - + ^ (* 1 + *Ч з)
( б)
d,6*vj>^= W 1 (i>1 + т 1 и)г + ( Р г - ^ ч ) ^ 3,
где
( V ^ + * l ps 4 (jJ *# % ъ**> +
Л [ - i> l dLp3
4 # l p i u 2 , ^ 3} = а , (7 )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
102
♦U (p * -v )~ "Ч w j 4 m4 U * } W » ] = 0 .
\
P j - T l'0' (8)
В атом случая комплекс Т ■ А- А € , . осоомккровкнный
О векторным моЛем, вырождается в прямолинейную конгруен-
Цию. Системы уравнений (1 ) и (б ) дринимвют вид
u )j» ^ 4 v
= Рт (9 )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
133
(Л № W°,
dM * + **t 0 )X) ,
~ i » 4 ыЧ + т * жи)®ч ( w*.
* »lP i+v ) “ 0,
1. Рассмотрим первый случай: p i + ^ i s ®> ,
Соотношение р.,4 <{,4 а О означает, чтос векторное поле
W допускает однопараметричеокое семейство ортогональ
ных поверхностей И-
Неголономнув поверхность, элементом которой являют
ся точка Д и проходящая через нее плоскость, ортого
нальная вектору , назовем неголономной поверхнос
И
тью l A il - ина определяется уравнением Пфаффа О)с“ 0 »
Так как векторное поле является прямолинейным, то
поверхности \ A j } голономнн и ортогональны векторам по
ля, т . е . образуют семейство параллельных поверхностей
Система квадратичных уравнений (2) и (7 ) , соответствую
щая этому случаю, - в инволюции и определяет решение о
произволом в три функции- двух аргументов.
Рассмотрим этот*случай подробнее, а для этого поотро
им канонический репер. с
Направив векторы €*, и по линиям кривианы го-
лпцомной поверхности ^ ^ • получим
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
134
JL
ui=vh,1>
< L * = 1>{
р ц и ) 1 -» C p t -^ i)w ?
Т»( V. + Р*.) = 0-
о
Так как V P i * o , ТО М О . г ,
Пользуясь теоремой В.В.Васенина [ з ] , устанавливаем,
что система квадратичных уравнений, соответствующая дан
ному случаю, - в инволюции и определяет решение с произ
волом в три функции двух аргументов.
В этом случае поверхности |Ai] и {At] голономны и
расслаиваются на семейства развертывающихся поверхностей,
ребрами возврата которых являются линии кривизны семейст
ва поверхностей |Aj] •
Если р1=»^(4= О, Яг14 Ра = О > то линии кривизны по
верхности {Д ^ н е определены. Система уравнений (9 ) при
нимает вид
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
135
d L E * v f^ - п ц ^ 1* m *u>*4 J p * w ?
d fi- rfu * (1 3 )
4 ,1 + Р Л о -
+ Рд <*>\
и| = *ц с1л> « т\ + гЯд ( о \
Н= j-+ с •
Но, так как н=т‘ , то получаем
и,** ti toS
<*^= ^ a>f,
тЛ, ( v +'bbo-
Так как •&, $ 0 , то имеем <t a + ' l i =rO . Э т о соотно
шение означает, что поле направлений допускает
однопараметрическое семейство ортогональных поверхностей.
Система уравнений (14) принимает вид
Ь>1 - V w\ <->' s
u j y * X ) w* + - ifc,
139
и . Л , - 'Л , г 1 w* u )i]-o ,
. d 4 и>1 - «U w 4 -
й Ч = Л и и ^ и1 4 *1 w*
= eLu)1 А о*, * i w l - A w*
A l* t 1 s ^ i w 1 + ^ a .W l + 10 S v
О to j. * ^ а .^ 1+ + ®^Д
Pi=V*°> = <Ч ^ =° ‘
Рассматриваемый поток будет определяться системой урав
нений
(j)}* d # *o,
d L 6w .fi^= гуц ^ Ч
С<ци
b 4 i* ^ * 0у
[ £ » f l l Ы1] ♦ + 4 О-
<L^is л .и 1+ о>г -
<Ц^ г Н л х <Л
д п ц - p1 w ^ f » w * ‘ + <
fx,«*
/ ■* «*•»%
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
141
l\ = 0 .) pn + q^ sO , (15)
142
P a s < V »® 0 » Ъ * # * * 0 , p1 + (^ l S 0 ;
Срi n i ) 5 0 '
Если поле направлений \ . Ы является соленоидаль-
ннм, то есть сЦдЯе О , то
Pi-4,1 = 0 .
Возможны три случая:
б) ^ -О у ?1~%Л = о ,
в) ^ = 0, ? х ~ \ 1 9 О.
W js - w t»
d J U f t ' =■ m., w S
%
Продифференцировав внешним образом две первых
уравнения этой системы ^применив лемму Картана, полу
чим конечные соотношения ^ s ^ s O . Значит,*О »
т . е . прямолинейное векторное поле является полем
параллельных векторов. Поток определяется с произволом
в две функции двух аргументов.
Второй случай: Ф г = 0 , р л ~ ^ 1 г О-
Из уравнения неразрывности имеем ^ * 0 ' . Вдоль
каждой векторной линии скорость и плотг^сть оста ется
постоянными. Уравнение неразрывности стационарного по
тока идеальной несжимаемой жидкости в консервативном
поле внешних сил с полем скоростей W принимает вид
0 » * 1 > 4 p i-V » )
Если поле направлений является соленоидаль-
ным, то р1 - ^ 1 = 0 и из уравнения неразрывности сле
дует
т\ =о
Литература
I
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
Б. П. ДОЛГОВЫХ
> w i‘ = P ; Ы<1
u J = 1 £ 0J* , c U js t fy w *
Р , = Т « = '‘ 5 = о .
U )J * ^ SU5, рх и г 4 p ,u )\
<L#i = и<
147
А М О г .г о ^ .^ Д ),
duJ'р & . = о .
u l = p » u ,+ Рз<->3,
u ,* = & > t- % ы\
d H s = i>, ( А - ^ Ч з ) ( Л (1)
(2>
и систему дифференциальных уравнений
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
146
i
cL>iz =- г£и/Ч jfwV р*(ггП з )^ 3,
с1рг = ' р 2 ^ г ^ 1+ «J'lU1 v ( < М Р И р } - * ф ) ы ?
^ Р »= ?Д ^ з w 1+ ^ г ы 1 +
+ ( (рг+*п га) и 1 +
(3 )
c U 1 « £ , u > 1+ ( + « 4 * 0 W1 -
- pl (.Ч П * ) " »
+ С «Ц 4 »»tpa.+ PtP*)u*
P>f*VP.-0>
P>?> + V P * + *3<t*Rf)*o,
(V M i KA j ^ -P j * ' PiP»4.»)=0-
Рз ♦ \ \ * О.
Pi)-о.
р г С ^ П * )^ »
+ ™г г г) и>г- р г С Х г + Ч ^ ч ) )
~ f a w1 + Хч + *'(. * Pt " ’i + p i f l )
Р з^П 1 h =
Р» £ г * + ^31 С t р / ) = О,
(4 )
Чз'Ц-РзЛ'-Pi рз^а" ° ) l \ i~ ’t 0 -
<1г1 = - г ‘; и Ч $ ' и ач Р д С ^ а ^ г з ) “ 3,
«4 »x s “ “ г + С «М pAS р3а- г А^ , ) и 3,
** j* i 4 (/Ц + ^ л * 0 (*)г 4
,л ,г - (5)
cL l?k = ^ 3 ^ + ^ 14
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
tbl
dm , L b * п»г г г) ы \ р». ( г л* ^ s) w *
р Л , * о (б)
М = А-
где c u ^ - а н , является центром концентрических
сфер. Векторные линии поля являются сферическими
кривыми . /
б) Пусть р а = 0 , Р г С Ч + ^ + С ? .
В этом случае мы имеем, что каждая векторная линия
поля - плоская кривая, кривизна которой равна .
Так как векторное поле ^тЯ,} - прямолинейное, то векторные
линии поля , лежащие в одной и той же плоскости
» являются параллельными кривыми. Из соотношения
(2) следует ч^зг^О . т .е . -L^^. Вектор вихря
векторного поля 'вычи с е е т с я по формуле
+ рг ( Ч * Л а ) ш1>
р ,л * и % j. , w S t p t - 4 a * ) w5>
. •
P i 0*1 * - ~ jj~ ) c d 3,
*«•?
- 153 -
о1г _ р oLet
rf.?
>>
, - g »
«•? . t i
_ * a - al-'~ P *^- ТГ
Pa* W
где A ? ■ Ы ,a ,t p ><T V p je - t f
— орты главной нормали и Оип' рмали. Следовательно, кривиз
на и кручение линии вихря; соответственно, равны
W t - РаГ
х =
V7T♦ *5:
Дифференциалы логарифмов кривизны и кручения линии вих
ря имеют вид
i t . *.=- %. « ч ( i i i z e i i . рJ ,7 ’
W . - m p ; - t i / * Pl >
Рг а
' ы1 oj» *
огибаемой бинормалями линий вихря, кривизна и кручение
линий вихря не изменяется.
в) Пусть pt » 0 , p 8 ( l » + * t ) * 0 . _ _ 8 ЭТ0“ СЛУ’,ае
1 з = 0 , т . е . векторное поле допускает одно-
пераметрическоо семейство ортогональных плоскостей.
Система уравнений (5) принимает вид
d -p a -p a -H "’ 4 +
< Ц ,= ы 1- р , О » 4 * а ) и 1 * XU
)3
l +гг Ь -■!^ S)
■,рг(. - i i i - 3 ^ , ) ы А+ / с “ 5
4 С Уа + ЮЧа) Ы*
dUi = Jf*u ’ + f*
Р?4#
гоЬ ^ = ( «И "
(8)
f y <i' » - p 3 /L ’ Pi Pj ^ » = 0 >
№ • .* Р з)= о , ,
- 150 -
I
Литература
§ 1. Многообразие v'^
160
dA= Ij,
(1)
d ir ^ U ,
=0. (2)
Х)Ч г = - [ и ’ , w * ] ,
(Зв)
С«,\ 1
1)сог' = - [ < < о * 3 ] O r)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
‘ lfil
= «фи/ + ol*, 1
5^4 = - (<*1
(6 )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
162
В= a£ ,
(?)
0
* £ = fa }
ч (8)
Н = <4, + f x , '
(9)
R= О^Я.^ »
ЦО)
к р = ^ * - + * ( 4 ' l M H ) 11.
(И)
оооразие
бТр взи Л[5J
5 1 Н,0Нопределяемое
оЧеСКИМ 8 СШСЛе W * Р8ССМ0ТР™ подмного-
уравнением
0^=0. * (12)
поле векторов
а ,= = a j , + а ь 1*. (14)
назовем в е к т о р о м о т к л о н е н и я W a.
(косой крест означает векторное умножение). Вектор CL
в точке А лежит в локальной плоскости и ортогонален
касательной к базовой линии. Из (4а) и (1) получим, что
d A = ( I 1+a^ j)u^H+ С1!ь+аа Д з , то есть векторы ,£1= I 14ajI s
и = Ij..4 Is лежат в локальной плоскости базы. С по
мощью (7 ) находим, что
(1б)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
164
а.лд = e ; l i ,
1 *
где
( ; S)
\
Полагая
-v *
w3 = A i 0 l , В; (17)
A i= “ д ’ А г. = ~ д А 3 = О,
(18)
&л= ~ 3 ( J*«." f j B3 = 0 7
где
д = l+ +
W -г r l
Вычисляя теперь основные инварианты V/ 3 и учиты
вая, что & = ^ при р = О , убеждаемся, что в точках базы
VTj. (то есть при j>= О ) гауссова кривизна присоединен
ного V 3 равна R , полная кривизна равна R p , сред
няя кривизна равна = - Н , среднее геодезическое кру
чение [б] (оно же - скаляр неголономности [4] ) равно £
Электронная библиотека (репозиторий)
Томского государственного университета
165 http://vital.lib.tsu.ru
, (19)
R р Х + И р * ' 1= 0 . , (20)
Ы* = О (22)
;( 2 3 )
I лг»
1*U
(cL A , d l A , a M )= 0 ,
К = К 11 , * к » 1 г , (24)
где
= 7 К 1 = fit a z ~ f i z ^ 1 , (25)
с помощью (5 ) и (6) убеждаемся, что S ^ ~ О , т . е . ^
инвариант W t . Назовем поле К п о л е м в е к -
т о р о в к р у ч е н и я й» (46) и (25) нахо-
дим, что
соМ = [w j-, cj 5J 7
K t [ a , i v w 4 = [ u ^ , w V ). ( 2« )
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
168
[ W i \ 0JJ] = O , (*)*]'= о .
§ 5. Внутренняя геометрия ,
tfl,= в > ,Ч г ,
( 28 )
\?1г = - “ H i .
v A = <*>*!, ♦ о з г 1 г . (2 9 )
т . » W* I » + г * 2 I t ,
d m 1- О
d. m L * м* 6J,*- = О
Отсюда находим, что параллельное перенесение сохра
няет скалярное произведение векторов, лежащих в локальных
плоскостях, а , стало быть', длины векторов и углы между
векторами. Следовательно, внутренняя геометрия \\\ б у
дет геометрией пространства евклидовой связности. ^
Находя ковариантный внешний дифференциал [pj f)
(проекцию обычного внешнего дифференциала на локальную
плоскость ) от форм г А , С I | , 9 17 , получаем, с уче
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
- 470 -
D w «* -[u )W J +
Хк*)г = w tt ♦ к Ч ^ \ (31)
D ц гА - Я 1 и 1, шг1
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
171
Литература
t i t . У ом л. Ma /A . Paw ** J p p e £ . , Z S , m e , 109-219,
11. Л.К.Гыбииков. 0 погружении пространства аминной
связности в аффинное пространство. Вестник .Моек, ун-та,
Серил математ., м е х ., физики, химии, 1960, №1, 3 - 16.
12. В.В.Слух«ея. Геометрия двупараметрического много
образия плоских элементов в трехмерном евклидовом прост
ранстве. 0 межвузовская научная конференция по проблемам
геометрии. Тезисы докладов, Казань, 1967, 1М .
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
В. В.СЛУХАЬВ, В. М. ФИНКЕЛЬШТЕЙН
§ 2. Канонический репер
p = p ^ > + pt d t ,
4 = 4 j w> + (2 )
? = Ъд iv * + ^ t .
В „ 1 = С г , « гз сз)
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
176
[ W = U .',v t | [ p .w 'J ,
^ - Ф. . (4)
т ) со ^ 1 m t «Jt - о . (5)
w* + m t dt = о 'i
d : LO^ + £ t dX ~ ^J
Если V » - голономно, т о Я ? ^ расслаивается на С О
образов Ф « - Если уравнение вида (6 ) являетоя алгебраи
ческим следствием системы ( 6 ) , то ,го в о р я т , что с о о т в е т с т
вующее содержит 4 4 , или же, что 4 4 принадле
ж и т^ .
Аналогично сказанному выше подмногообразие 'ВВДв-
-ллатся грвмя уравнениями Пфаффа:
гщ - ^ 4- m t dt ~ О
* 0
+’ " с
OJ * =■ СО9' - О , Л W 5 - c l t ■ » О . (9)
, ч- 1
Отсюда следует, ч^о Л — это модуль векгора ско
рости частицы сплошной среды, движущейся нестационарно с
переменным полем скоростей, имеющей в каждый момент 1*
направление Ij (V = A J 1$^ иммеющей линии подмногооб
разия (9£ траекториями движения.
Если допустимые кривые, многообразия локальных кону-;
сов назвать векторными линиями Ф 4 то из .(9 ) будет еле*
дунеть, что через каждую точку .А в каждом допустимом
направлении проходит в точности одно векторная линия,
принадлежащая подмногообразию ( 9 ) . Кривые всех этих под
многообразий, кроме одного ( А - О ) , могут быть троекто- j
риями неустяновивтихся движений с данным полем направле
ний.
§ 4. Классификация подмногообразий
Уп\ ^ О. (10)
o lt м -. со
о
(И )
(12)
clt = rn^ d? cl £ .
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
181
§ 5. Классификация подмногообразий
=
(13)
to0
: : } ■
Каждое уравнение этой системы определяет, как было
показано в § 4, поле пучков плоскостей, ^инии пересечения
д в у » соответствующих плоскостей (при одинаковом X. )
определяют в каждой точке конус. Итак, система (13) опре
деляю*.» поле конусов (или нелинейное неголономное многооб
разие [ 9 j , L t o ]). Допустимые кривые эуого поля конусов,
вмест s с заданными вдоль них локальными конусами и
образуют Ч-g \ . Примером 4^5 А
является подмногообразие
^ ~ Со = О. Его допустимыми кривыми являются векторные
линми. Иэ ( 1 ) , (2 ) и ( 3) следует, что если это подмного-
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
182
c lt e \
£j = о )
- Ар = О (14)
будет вполне интегрируемо. Его условие интегрируемости
имеет вид
c U = ( X 4 + 1 ) f e + « tp +f 4 - <16)
В последнем уравнении оС и jb должны удовлетворять
квадратичному уравнению
1)*г • + - + (17)
а
З десь мы предполагаеи, что и^° в ПР°"
тивном случае (1 4 ), очевидно, вполне интегрируемо. Разверз
тывая (17) с помощью (16) и ( 3 ) , получаем
[ с Ц - сал«А.-^)« + (1я+Чя*Р") +
+ [с1р-(а>£-<>О'г,с0 = с -
Это уравнение-в инволюции; н Jb , удовлет
воряющие этому уравнению, всегда существуют с произволом
В одну функцию двух аргументов. Но если мы найдем оС и
& из последнего уравнения, то найдем чхЛ из ( 1 6 ) ;
тогда будет выполнено (1 5 ), а (14) будет вполне интегри
руемо. Итак, мы доказали следующую теорему:
Теорема. На всяком поле конусов можно выбрать па
раметр t так , что при t * condt переменное
Электронная библиотека (репозиторий)
Томского государственного университета
♦ http://vital.lib.tsu.ru
- 104 -
Литература
СОДЕРЖАНИЕ
Ё. Т. И в л е в. О многообразии Е ( О, n -m , m.)
в PI-мерном проективном п р о с т р а н с т в е .......................... 3
A, A. Jl у ч и н и к, С поре PH -поверхностей
в (Я ,тН ) -мерном проективном пространстве . . . . . 20
Л. 3. К р у г л я к о в . О линейчатых многооб
разиях, присоединенных к паре конгруэнций ................. 28
B. И. М а т в е е н к о . С трехпараметрических
семействах коник, плоскости которых образуют однопа
раметрическое с е м е й с т в о ............................................................. 39
В. И. М а т в е е н к о . О пятипараметрических
семействах кривых второго порядка в P j ...................... 47
A. Е. Ш и л л е р о в. К проективно-дифферен
циальной геометрии четырехпараметрического поля на
правлений в трехмерном пространстве .............................. 66
Н.В. А м и ш е в а. Об одном классе комплексов
коник в эквиаффинном п р о с т р а н с т в е ........................................91
Л. И. М а г а э и н н и к о в. О геометрическом
истолковании центроаффинной расслояемости пар неголо-
номных конгруэнций в паре комплексов .............................. 98
Г. И. И в а н о в . О пврах линейчатых поверх
ностей и конгруэнций в центроаффинном пространстве . 103
Л.И. М в Г > а э и н н и к о в . О центроаффинной
расслояемости неголономных пар конгруэнций в паре
комплексов ........................................ .... . ............................ 116
B. П. Д о л г о в ы х . О прямолинейном поле
скоростей стационарного баротропного течения иде
альной сжимаемой жидкости .................................................... 128
В. П. Д о л г о в ы х. О полях скоростей сис
темы T t установившегося баротропного течения
идеальной сжимаемой жидкости ............................................... 146
В. В. С л у х а е в . О геометрии двупареметричес-
кого многообразия плоских элементов в трехмерном
евклидовом пространстве ........................................................ 159
В. В. С л у х а е в , В. М. Ф и н к е л ь ш -
т е Й н. О подмногообразиях переменного поля на
правлений ....................................................................................... 173
Электронная библиотека (репозиторий)
Томского государственного университета
http://vital.lib.tsu.ru
1-129687 http://vital.lib.tsu.ru
Цена 70 коп.
____I I I III II mi
Нь/чнва библиотека 0 0 9 4 9 7 8 5