Файл: Щербаков, Р. Н. Основы метода внешних форм и линейчатой дифференциальной геометрии.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 19.10.2024

Просмотров: 115

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

В развернутом виде

это условие

принимает

вид

( w 3 d u > ! u>!fifo>3

- f (ш1)2ш1

( c o | ) 2 u ) 2 ) T i = T a =

0 = О

или, так как в силу

(209)

 

 

 

 

«4 : < = К» + 0 : (th

~

Ъ)

= 7-*,

(210)

вид

 

 

 

 

 

( d a r c t g r * - « o * ) t l =

T ,«o =

0.

(211)

Чтобы точка F являлась особой точкой кривой, огибаемой лучами комплекса в плоскости 11*), должно быть

т.

е.

 

 

3

+

<#)т, -

^ - о =

0

 

 

 

 

 

 

(212)

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# =

-

 

ш» (<:8 +

г * ^

-

т 8 ) .

 

 

 

(213)

Вычислив

d f * по

(210) и учтя (213), мы

приведем

уравне­

ние

(211)

к

виду

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( f t , - 7 j 2 ) ( l

+

Г*2 ) ( -

^

,

+

Г

Ч

+

"„)

+

(!

-

-

Г % ) ( -

 

<Г*Е3 +

Т*ъ

+ С8) +

T*t

(52 8

+

7^422 -

 

-

-

Г* (Ъз +

T * 7 j 2 2 -

 

/Г*т)2 1 ) +

tT*l2l

-

7*С2 2 - ; 2 Ч

= 0.

(214)

В терминах

канонического репера

7* =

 

£ : T J 2

и уравнение

(214)

принимает простой вид

(при

^ ^ О ) :

 

 

 

 

 

 

 

- 2 т ^ 3

+

(т]2 2 +

2гг2;,) ?2

+

2vj, ( Ч з

-

 

 

 

 

 

 

— ВДг)^ + 43 1Чз*1 — ^з) = 0-

 

 

 

 

( 2 1 5 )

 

В

общем

случае

уравнение

(215) на

каждом

 

луче опреде­

ляет

4 точки, называемые инфлекционными

 

центрами.

 

Инспекционный

центр характеризуется

 

геометрически тем,

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

кривую с особой точкой в инфлекционном центре.

W явля­

Т е о р е м а .

Фокусы

неголономной

конгруэнции

ются инфлекционными

центрами

луча.

 

 

 

 

Д о к а з а т е л ь с т в о . Рассмотрим неголономную

конгру­

энцию, определяемую

уравнением

со1

= 0 в

полуканоничес­

ком

репере,

и

потребуем,

чтобы

ее

фокусы

удовлетворяли

уравнению

(214).

Для

фокуса

F, =

г С,е3

имеем

Т* = 0,

t =

— С2 и (214)

дает

 

 

 

 

 

 

 

 

А'*

;, 3

- с3

+ d

ы + ш

 

= о.

 

(216)

*)

З а м е т и м ,

что

на

д и а г р а м м е

Ц и н д л е р а

(см. § 5) эта п л о с к о с т ь и з о б р а .

ж а е т с я той ж е

точкой,

что и

все в е к т о р ы

(209).

 

 

 

213


Для фокуса Fx~r

имеем

t

= О, Т* =

—",.,:•/).,,

и (214)дает:

+ ( T J , -г- V ; 2 )

to

-

V i 3 ) =

0.

(217)

Сравнивая (216)

и (217) с

(193),

получаем

 

 

X*

=

Qu

 

 

(218)

Следовательно, фокусы неголономной конгруэнции IF явля­ ются инфлекционными центрами, ч. т . д . -

Так как инфлекционных центров четыре, а неголономных конгруэнции — шесть, то каждый центр служит фокусом для двух неголономных конгруэнции W. Между точками фикси­ рованного луча и точками диаграммы Циндлера, соответству­

ющими торсам комплекса, проходящим через

этот луч, име­

ет место взаимно-однозначное соответствие,

установленное

уравнениями (209). Таким образом, каждому инфлекционно-

му центру /г

= / •

+ ttes(где

tt

корень уравнения (214))

со­

ответствует

на

диаграмме

точка

кривой второго порядка

х0 :

: х, : х2 = —T*ti:

Т* : 1.

В о5щем случае эти четыре точки

различны и образуют невырожденный четырехвершинник

IiIiUU

 

на плоскости

диаграммы.

Каждая

пара

вершин

оп­

ределяет прямую Z.,7 —нгголономную конгруэнцию

W,

имею­

щую

фокуса лш

инфлекционныг

центры

/г

и

/-.

 

Эти шесть

прямых, пересекаясь попарно, определяют семь

 

точек,

ко­

торым

соответствуют

(см. сноску

в начале §5)

регулюсы /,,

/ 2 ,

/ 3 ,

/ 4 , Л"?, Кя.

каждый из которых одновременно

принад­

лежит двум

неголономным

конгруэнциям

U". Четыре

из

них

суть

торсы

конгруэнции

W,

а остальные

три,

как мы

сей­

час увидим, суть главные регулюсы, проходящие

 

через

луч.

В самом

деле,

точка

К>, например,

полярно

 

сопряжена

с прямой /С2 /\'3

следовательно,

и с точками К2

и К~3) от­

носительно

кривой второго

порядка Ф, = 0

и двух

 

вырожден­

ных

кривых

второго

порядка,

состоящих из пар

прямых Z.3 2 ,

LVt\iL2u

 

L V i .

Все

эти кривые

принадлежат,

очевидно, одному

и тому

же пучку

Ф,

Ь лФ, = 0. Но этому же

пучку

принад­

лежит

кривая Ф 2 = 0.

Следовательно,

точка

/<,

 

сопряжена

с К2

и

Кз и

относительно

 

этой

кривой. Это

означает,

что

точки Kj являются

попарно

двояко

сопряженными, т. е. изоб­

ражают на диаграмме главные

регулюсы. Прямые

 

 

КхК2лК3

и К2К3

 

изображают, очевидно,

главные неголономные

конгру­

энции.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом, главные регулюсы тесно связаны с неголономными конгруэнциями W. Проследим эту связь несколько глубже.

214


Точки прикосновения М = г - f

любого регулюса,

при­

надлежащего неголономной конгруэнции

W, делят

ее

фоку­

сы гармонически, как мы это установили

в § 9.

Следова­

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

предложение: если точки прикосновения регулюса

комплек­

са

делят

гармонически две

пары инфлекционных

центров,

то

этот

регулюс — главный.

Мы получили, таким

образом,

еще одно характеристическое свойство главных регулюсов. Рассматривая различные случаи вырождения четырех-

вершинника

/ ь

/2 , /3, h,

можно получить проективную класси­

фикацию

комплексов

по числу

кратных

инфлекционных

центров

и выяснить свойства

соответствующих главных ре­

гулюсов.

 

 

 

 

 

 

 

 

Отметим

некоторые

связи

понятия инфлекционного

цент­

ра с

ранее

введенными

понятиями. Прежде

всего, так как

точки

/ ь

/2 ,

/3, Ц принадлежат

четырем

кривым

пучка

Ф 2 4 - 2> . Ф| - ^0

(именно

коникз

Ф, 0 и трем

распадающим­

ся коникам

ФоЧ/Ф, = 0 ) , то они принадлежат и любой

кривой

этого пучка, в частности

кривой Ф2

= 0. Следовательно, они яв­

ляются точками пересечения кривых Ф, = 0 и Ф 2 = 0. Соответст­ вующие этим точкам регулюсы являются асимптотическими торсами. Поэтому инфлекционные центры луча можно опреде­ лить как фокусы асимптотических торсов.

Применив

теорему Виета к уравнению (215),

найдем, что

сумма абсцисс

tx + t2-\-13-\-tt

инфлекционных

центров от­

носительно

центра луча

комплекса

равна

2 v j 1 : £ 1 . Следова­

тельно, в силу

(47) аффинный центр

луча

комплекса явля­

ется центром симметрии

относительно

четверки инфлекци­

онных центров:

 

 

 

 

 

 

г* = г

•{-

е3 = г +

1

(*! + U + t3

+

t,) е3.

 

I

 

25,

4

 

 

 

 

 

 

 

 

 

 

 

 

 

§ 12. Специальный

комплекс

и его обобщения

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

т , 2 = 0

(219)

в терминах канонического репера, т. е. является комплексом нулевой кривизны. Для этого комплекса теряют смысл мно­ гие из проведенных нами рассмотрений. Главная корреляция

215


(§ 2) вырождается, вследствие чего теряют смысл все свя­

занные с

ней понятия (точки прикосновения

и т. д.).

 

Совокупность торсов теперь

определяется

уравнением

ю ' ш ^ И ,

которому

на диаграмме

Циндлера

 

соответствуют

две

прямые х0х2

=

О, так как кривая

второго

порядка (78)

распадается на две

прямых. Их

общая точка

соответству­

ет

центральному

торсу ш1 = со3 =

0, поляра

ее (т.

е. боко­

вая

неголономная

конгруэнция)

становится

неопределен­

ной. Аналитическими следствиями уравнения (219)

являют­

ся

соотношения

 

 

 

 

 

 

 

 

 

1i

=

0, rj3 = 0, ; 1 - r - t s =

0,

 

 

(220)

получающиеся из (17) и (16). Геометрически это значит, что центральный регулюс ш1 =• «>| = 0 вырождается в пучок пря­ мых, лежащих в плоскости (R r, ех, ег) — 0, как сразу видно из (32).

Заметив еше, что dr линейно зависит теперь только от двух дифференциальных форм со1, ш3 (а не от трех, как в общем случае), можно заключить, что совокупность центров лучей специального комплекса, представляет собой некоторую поверхность 5, а сам специальный комплекс состоит из пуч­ ков прямых, касательных к 5 во всех ее точках.

Подставив

(220) в два

оставшихся

уравнения системы

(10), приведем ее к виду

 

 

 

[dh

+

tt&uh

^]

+ К , «II

= 0 ,

К ,

соЧ-[<*;3 ,

«II = о ,

(221)

где ш* = аГС, -*- (1 + Ц + £,С3 3 . По теореме Бахвалова отсюда следует, что решение системы зависит от одной функци и двух аргументов. Возникает предположение, что в качестве, поверхности S может служить произвольная поверхность, Чтобы убедиться в справедливости этого предположения, возьмем произвольную поверхность

г — г (и,

v)

и отнесем ее к каноническому

реперу г, i u i2, / 3 (см. [20]:

стр. 245). Деривационные формулы этого репера

имеют вид

 

 

dr = v1il

4-

v42,

 

dix =

{iy

+ I2v*)

i t

+

Iav43,

(222)

di2

=

- (I,v' + I2v2)

*\ 4- 74z>2/3,

 

 

di%

= — Izv4x

 

Uv42,

 

где v' суть формы Пфаффа относительно параметров и, v сети линий кривизны, a Ju / 2 , / 3 , / 4 — инвариантны поверхности. Пусть произвольная касательная в точке г имеет направление

е% = cos ср./х 4- sin ' f i2.

216


Введем

вектор

 

0i =

— sin fix + cos cp/2

 

 

 

 

 

 

 

 

 

и

рассмотрим

комплекс

касательных

 

 

 

 

 

 

 

 

/? = г 4- А (/, cos ср 4- / 2

sin ср)

 

с

первичными

параметрами и, v, ср. Для его репера г, е,, е2 =

=

/ 3 ,

е3

имеем

деривационные

формулы

 

 

 

 

dr

=

(г»2 cos Ф и1 sin с?) е, - f 2 sin <? + vx cos ср)

е3,

 

 

 

 

 

det

-

vJej,

i, у = 1, 2,

3,

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

•у? =

sin ср-/3 г>1

4- cos с р - / 4

v2,

 

 

 

 

 

 

v3

=

Ixvl

 

+ /2 г>2 4- Д>,

 

 

 

 

 

 

 

 

х)3

=

/ 4

sin ср.-и2

4- cos <?-I3vl .

 

Сравнивая

деривационные

формулы

полученного

репера

с

деривационными

формулами

(8) при со2 = 0 и (220),

полу­

чаем,

что они совпадут,

если

положить

 

 

 

 

 

 

 

ш1

=

v2

cos ср — vx sin ср,

 

 

 

 

 

 

 

ш 3

=

• у 2

Sin ср 4- Vх COS ср.

 

 

При

этом

(вследствие

независимости базисных форм v\ v2)

возникнут

следующие

конечные соотношения:

 

 

 

 

 

 

 

3

/ 4

1) sin ср — d cos ср — О,

 

 

 

 

 

 

( ч 3 / 3

l)cos? 4 - sinc p

= 0 ,

 

(/ 3 — £,) sin ср 4- С, /3 cos ср = О, (Н, / 4 ) cos ср 4- Ct / 4 sin ср = 0.

Среди них только три независимых и они позволяют найти выражения инвариантов комплекса через инварианты

поверхности и УГОЛ ср:

 

 

 

 

1

 

3

/3 cos2 9

4- /4sin2--p '

 

; 1

= (/ 4 - / 3

) 13 ,

(223)

i

j т г

 

 

•»1

J3 '4 ^3 •

 

 

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

Из соотношений (223) вытекают также следующие пред­ ложения.

217