Научная статья на тему 'Об аналоге поверхностей Дарбу в многомерных евклидовых пространствах'

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

CC BY
119
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ТЕНЗОР ДАРБУ / ПОВЕРХНОСТЬ ДАРБУ / ГАУССОВА КРИВИЗНА / ВТОРАЯ ФУНДАМЕНТАЛЬНАЯ ФОРМА / ГИПЕРПОВЕРХНОСТЬ / МНОГОМЕРНОЕ ЕВКЛИДОВО ПРОСТРАНСТВО / DARBOUX TENSOR / DARBOUX SURFACE / GAUSSIAN CURVATURE / SECOND FUNDAMENTAL FORM / HYPERSURFACE / MANY-DIMENSIONAL EUCLIDEAN SPACE

Аннотация научной статьи по математике, автор научной работы — Бодренко Ирина Ивановна

На гиперповерхностях F n (n ≥ 2) с ненулевой гауссовой кривизной К ≠ 0 в евклидовом пространстве Е п+1 вводится симметрический ковариантный тензор третьей валентности Θ( п). В случае n =2 тензор Θ( п) совпадает с тензором Дарбу Θ, определенным на двумерных поверхностях F 2 с ненулевой гауссовой кривизной К ≠ 0 в Е 3: Θ( 2) ≡ Θ. В работе изучаются свойства гиперповерхностей F n с ненулевой гауссовой кривизной К ≠ 0 в евклидовом пространстве Е п+1, на которых выполняется условие Θ( п) ≡ 0, при произвольном n.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON ANALOG OF DARBOUX SURFACES IN MANY-DIMENSIONAL EUCLIDEAN SPACES

The Darboux tensor, symmetric covariant three-valent tensor Θ, was determined on two-dimensional surfaces with nonzero Gaussian curvature К ≠ 0 in Euclidean space E 3. The term Θ ≡ 0 is the characteristic condition of Daroux surfaces in E 3. The symmetric covariant three-valent tensor Θ( n) is determined on hypersurfaces F n (n ≥ 2) with nonzero Gaussian curvature К ≠ 0 in Euclidean space E n+1. If n = 2 then tensor Θ( n) is coincided with the Darboux tensor Θ: Θ( 2) ≡ Θ. Let V( n) be a set of hypersurfaces F n (n ≥ 2) with nonzero Gaussian curvature К = 0 in Euclidean spaces E n+1, on which the following condition holds Θ( n) ≡ 0. The set D( 2) becomes exhausted by Daroux surfaces in E 3. The properties of hypersurfaces F n ⊂ E n+1 from the set D( n) for n ≥ 2 are studied in this article. The necessary and sufficient conditions, for which hypersurface F n with nonzero Gaussian curvature К ≠ 0 in Euclidean space E n+1 belongs to the set D( n) (n ≥ 2), are derived. It was proved that hypersurface F n ⊂ E n+1 with nonzero Gaussian curvature К ≠ 0 belongs to the set D( n) (n ≥ 2) if and only if there exist coordinates of curvature (u 1,...,u n), in neighborhood O(x) ⊂ F n of every point x ∈F n, such that the following conditions hold: where k 1,..., k n are the principal curvatures F n, К = k 1 k 2...k n is Gaussian curvature of F n, ψ(і)(u i) ≠ 0, i = 1¯,n¯, are certain functions. It was proved that every cyclic recurrent hypersurface F n ⊂ E n+1 with nonzero Gaussian curvature К ≠ 0 belongs to the set D( n) (n ≥ 2). The characteristic property of hypersphere S n ⊂ E n+1 was derived. It was proved that connected complete hypersurface F n of constant positive Gaussian curvature К = const > 0 in Euclidean space E n+1, belonging to the set D( n) (n ≥ 2), is sphere S n ⊂ E n+1.

Текст научной работы на тему «Об аналоге поверхностей Дарбу в многомерных евклидовых пространствах»

© Бодренко И.И., 2013

УДК 514.75 ББК 22.151

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

Бодренко Ирина Ивановна

Кандидат физико-математических наук,

доцент кафедры фундаментальной информатики и оптимального управления

Волгоградского государственного университета

bodrenko@mail.ru

Проспект Университетский, 100, 400062 г. Волгоград, Российская Федерация

Аннотация. На гиперповерхностях Рп (п > 2) с ненулевой гауссовой кривизной К = 0 в евклидовом пространстве Еп+1 вводится симметрический ковариантный тензор третьей валентности 0(п). В случае п =2 тензор 0(п) совпадает с тензором Дарбу 0, определенным на двумерных поверхностях Р2 с ненулевой гауссовой кривизной К = 0 в Е3: 0(2) = 0. В работе изучаются свойства гиперповерхностей Рп с ненулевой гауссовой кривизной К =0 в евклидовом пространстве Еп+1, на которых выполняется условие 0(п) = 0, при произвольном п.

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

Введение

Пусть Еп+1 — (п + 1)-мерное (п > 2) евклидово пространство с декартовыми прямоугольными координатами (х1 ,х2,... ,хп+1), <,> — скалярное произведение в Еп+1.

Пусть Рп — п-мерная связная поверхность в Еп+1, заданная в окрестности каждой своей точки х Є Еп уравнениями

ж" = ф(а)(и1,...,ип), (и1,...,ип) Є и, а = 1,п + 1,

где и — некоторая область параметрического пространства (и1,...,ип), ф(а) Є С3(и). Векторное параметрическое уравнение Рп С Еп+1 имеет вид

г = г(и1,. ..,ип) = [ф(1) (и1,.. .,ип),..., ф(п)(и1,.. .,ип),ф(п+1)(и1,.. .,ип)}.

Обозначим

^ дг(и1,... ,ип) _ д 2г(и1,...,ип)

г диг , дигдиі

Пусть п = п(и\ ... ,ип) — единичный вектор нормали к Рп в окрестности точки X,

9іі =< Гі, г3 >, Ьіу =< Гіу ,п > —

коэффициенты первой и второй квадратичных форм гиперповерхности Рп С Еп+1 соответственно. Обозначим через Г™ и У соответственно символы Кристоффеля и операцию ковариантного дифференцирования, вычисленные относительно тензора .

Пусть к1(х), ..., кп(х) — главные кривизны Рп в точке х Є Рп. Обозначим через К гауссову кривизну гиперповерхности Рп С Еп+1, тогда К(х) = к1(х)к2(х)...кп(х) Ух Є Рп.

Пусть на Рп выполняется условие: К(х) = 0 Ух Є Ра. Определим на Рп С Еп+1

симметрический ковариантный тензор третьей валентности 0(п) формулой:

0цт уу і ЬцУтЕ- + Ъ]тугК + Ьтгу3К . . _ . .

/ \ = ~7уГт? , г,3,т = 1,П. (1)

(п) (п + 2)К

Замечание. В работе [3] на п-мерных поверхностях Рп (п > 2) в евклидовом пространстве Еп+Р (р > 1) введен другой аналог тензора Дарбу. Обобщенный тензор Дарбу (см.: [3, с. 108, (3)]) — это ковариантный тензор шестой валентности 0^к,іті, симметричный по группам индексов (і^,к) и (1,т,ї), тождественное обращение в ноль которого характеризует обобщенные поверхности Дарбу. В [3] дается классификация двумерных обобщенных поверхностей Дарбу Р2 в евклидовом пространстве Е2+р при произвольном р.

Обозначим через ^(п) множество гиперповерхностей Рп (п > 2) с ненулевой гауссовой кривизной К = 0 в евклидовом пространстве Еп+1, на которых выполняется тождество

0цт = о, і,1,т =1,п, (,

(п) (2)

Замечание. На двумерных поверхностях Р2 с ненулевой гауссовой кривизной К = 0 в евклидовом пространстве Е3 тензор Дарбу 0 — симметрический ковариантный тензор третьей валентности, определяется формулой

0 = У7 и ^+ ЬзтугК + ЬтіузК А А ю = 1 2

0ijш Ут, Ь, 1, 2'

Условие 0 = 0 является характеристическим признаком поверхностей Дарбу в Е3 — двумерных поверхностей второго порядка, не развертывающихся на плоскость.

Тензор 0(п), определенный в случае п = 2 формулой (1) на двумерных поверхностях Р2 ненулевой гауссовой кривизны К = 0 в Е3, совпадает с тензором Дарбу: 0(2) = 0. Таким образом, множество 'Л{2) исчерпывается поверхностями Дарбу в Е3.

Определение 1. Вторая квадратичная форма Ь гиперповерхности Рп в евклидовом пространстве Еп+1 называется циклически рекуррентной, если на Рп существует 1-форма ^ такая, что выполняются соотношения:

''т,Ьц — bmi, {,3)

где — ^г(и1, . . . , ип) — коэффициенты 1-формы ^ — ^Н=\ в окрестности точки X.

Справедлива следующая теорема.

Теорема 1. Если гиперповерхность Рп с ненулевой гауссовой кривизной К = 0 в евклидовом пространстве Еп+1 имеет циклически рекуррентную вторую фундаментальную форму, то Рп принадлежит множеству 'Р(п).

Замечание. В работе [2] доказано, что всякая невырожденная п-мерная (п > 2) гиперповерхность второго порядка в (п + 1)-мерном евклидовом пространстве Еп+1 имеет циклически рекуррентную вторую фундаментальную форму.

Если гиперповерхность Рп С Еп+1 принадлежит множеству ^(п), то Рп имеет циклически рекуррентную вторую фундаментальную форму. При этом существуют гиперповерхности Рп нулевой гауссовой кривизны К = 0 в евклидовом пространстве Еп+1 c циклически рекуррентной второй фундаментальной формой. Примером является и-мерная цилиндрическая гиперповерхность в Еп+1 c одномерной базой Р1 ненулевой кривизны в Е2.

Справедлива следующая теорема.

Теорема 2. Гиперповерхность Рп с ненулевой гауссовой кривизной К = 0 в евклидовом пространстве Еп+1 принадлежит множеству 'Р(<п) тогда и только тогда, когда на Рп в окрестности каждой точки х е Рп существуют координаты кривизны (и1,... ,ип) такие, что выполняются соотношения

ип+2

____________________^______________________ I = 1 п (4)

ф(1)(и1).. .ф(г-1)(и1-1 )г^(1+1)(и1+1).. .ф(п')(ип)7

где ф(г) (иг) = 0, г = 1,п, — некоторые функции.

1. Гиперповерхности с циклически рекуррентной второй фундаментальной

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

Лемма 1. Если гиперповерхность Рп С Еп+1 с ненулевой гауссовой кривизной К = 0 имеет циклически рекуррентную вторую фундаментальную форму, то 1-форма ц является точной дифференциальной формой: ц = й/, где функция / определена равенством

/ =^^1п 1К |. (5)

* п+2 11 1;

Доказательство. Гиперповерхность Рп в евклидовом пространстве Еп+1 имеет п главных направлений |1*}™=1 в каждой точке. Из условия (3) для главных направлений {}= имеем

Ъ(Уг, У,) = /л(Гт)Ъ(Гг, Г,) + ^(Уг)Ъ(У] ,Ут) + № )Ъ(Ут, Ъ), г, з, т = Т^. (6)

Учитывая, что главные направления {Уь}1^=1 попарно ортогональны и сопряжены, из (6) находим

Ъ(Уг,¥] ) = 0, г = з = т = г. (7)

К = ф{г)(иг)к™+2, К3

В работе [1] установлены условия голономности главных направлений п-мерных подмногообразий Рп в евклидовом пространстве Еп+Р. Согласно признаку голономности главных направлений подмногообразия (см.: [1, ^ 544, (1)]), из уравнений (7) следует, что в окрестности точки х € Рп можно ввести локальные координаты (и1,... ,ип) такие, что

А — у А — у

ди1 1 ..., дип п.

Условие (3) равносильно следующей системе уравнений:

У г^гг 3^ibii, VjЬц Ьц + , % — 3,

^ mb^j — Ьц + ^iЬjm + Ьm^, % — 3 — ^ — %,

где в силу уравнений Петерсона — Кодацци выполнены равенства:

(8)

VjЬц — V%Ьг^, У mbгj — VгЬjm — У3Ьmi, '^,],г^ — 1,И.

Не ограничивая общности, введем в окрестности 0(х) точки х € Рп координаты кривизны (и1,... ,ип). В координатах (и1,... ,ип) основные квадратичные формы гиперповерхности Рп записываются так:

^ ^ Ягг^и1)2, II — ^ Ьгг^иг)2.

г=1

Тогда в 0(х) система (8) приводится к виду

г=1

9Ьц Ьц ддъ

ди1 дц ди1

3^гЬц,

^Ьц дд_

33

ди1 д^^ ди1

В 0(х) для главных кривизн кт имеем:

Ь

кт —--------— 0, т — 1,п.

9п

Учитывая (10), из (9) получим

д 1п \кг |

ди*

д1п \к, \

дч^

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

Е

3 = 1

д1п % \

диг

— (п + 2)^г, г — 1,п.

Отсюда, учитывая, что гауссова кривизна К — к1... кп — 0, имеем

д 1п\К \

диг

(п + 2)^г, г — 1,п.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(9)

(10)

Таким образом, в окрестности 0(х) произвольной точки х € Рп 1-форма ^ записывается

в виде

" г І " дln\КІ г І ..

и = у uidu =------- > ———du =------------d ln \K\,

И п + 2^ диг п + 2 \ \’

г=1 г=1

и мы приходим к равенству (б). Лемма 1 доказана.

2. Доказательства теорем

Доказательство теоремы 1. Не ограничивая общности, введем в окрестности О(х) произвольной точки х € Рп координатную сеть линий кривизны (и1,... ,ип).

В силу леммы 1 в 0(х) имеем

V\nbij — ^т^ц + ^ibjm + Ьmi, Ъ,],1Ш — 1,'П', (11)

где 1-форма ^ — с$, функция / определена равенством (5).

Учитывая (5), запишем уравнения (11) в следующем виде:

V7 I. V т,К + bjmViK + bmiV j К , , --- ,10>

Vmbt] = —----------(n + 2)K---------- , г,3,т =І,П. (І2)

Из (12) следует, что на Fn выполняется тождество (2). Теорема 1 доказана.

Из теоремы 1 получим следующие утверждения.

Следствие 1. Поверхность F2 с Е3 с ненулевой гауссовой кривизной К = 0 имеет циклически рекуррентную вторую фундаментальную форму тогда и только тогда, когда F2 есть поверхность Дарбу в Е3 или ее часть.

Следствие 2. Гиперповерхность Fn с Еп+1 c циклически рекуррентной второй фундаментальной формой имеет постоянную положительную гауссову кривизну К = = const > 0 тогда и только тогда, когда Fn есть гиперсфера Sn с En+l или ее часть.

Следствие 3. Пусть гиперповерхность Fn с Еп+1 постоянной положительной гауссовой кривизны К = const > 0 принадлежит множеству V(n). Если Fn полна как риманово многообразие, тогда Fn есть гиперсфера Sn с En+l.

Доказательство теоремы 2. Пусть Рп принадлежит множеству £>(п). Тогда на Рп выполняются уравнения (3), где 1-форма ^ — df, функция f определена равенством (5). Не ограничивая общности, введем в окрестности 0(х) произвольной точки х € Рп координатную сеть линий кривизны (и1,... ,ип). Тогда в 0(х) из уравнений (3) придем к системе уравнений (9). Из (9) находим

д ln(\X\/\кг\п+2) диі

д ln(\X\3/\кг\п+2) диг

О,

І, п.

(ІЗ)

Следовательно, на Fn выполняются соотношения (4).

Докажем обратное утверждение. Пусть (и1,...,ип) — координаты кривизны в 0(х). Из уравнений (4) получим систему уравнений (13). Запишем (13) в следующем виде:

1 д Ы(\К |) д 1п(|^|) . 1 д Ы(\К |) 1 д 1п(|А^|)

п + 2 диі диі п + 2 диг 3 ди

Рассмотрим на Рп 1-форму ^. Пусть в 0(х) ^ ^Г=1 ^^и%, где компоненты ^ =

= ^г(и1,... ,ип) в окрестности 0(х) определены по формулам

№(«\...,«”) = 8 У|}, " = ТЯ (15)

п + 2 диг

Тогда из (14), используя (15), получим

д 1п(Щ) . д 1п(|^|)

о, ^ * = 3, —гг-— = 3^ і =1,п.

ди3 диг

Отсюда приходим к (9). Следовательно, на Рп выполняются уравнения (3), где ^ вычисляются по формулам (15).

Применение теоремы 1 завершает доказательство.

Теорема 2 доказана.

СПИСОК ЛИТЕРАТУРЫ

1. Аминов, Ю. А. Условие голономности главных направлений подмногообразия / Ю. А. Аминов // Математические заметки. — 1987. — Т. 41, № 4. — С. 543-548.

2. Бодренко, И. И. О гиперповерхностях с циклически рекуррентной второй фундаментальной формой в евклидовом пространстве / И. И. Бодренко // Вестник ВолГУ. Сер. 1, Математика. Физика. — 2010. — № 13. — С. 23-35.

3. Фоменко, В. Т. Об одном обобщении поверхностей Дарбу / В. Т. Фоменко // Математические заметки. — 1990. — Т. 48, № 2. — С. 107-113.

REFERENCES

1. Aminov Yu.A. Uslovie golonomnosti glavnykh napravleniy podmnogoobraziya [Condition of holonomicity of characteristic directions of a submanifold]. Matematicheskie zametki [Mathematical Notes], 1987, vol. 41, no. 4, pp. 543-548.

2. Bodrenko I.I. O giperpoverkhnostyakh s tsiklicheski rekurrentnoy vtoroy fundamental’noy formoy v evklidovom prostranstve [On hypersurfaces with cyclic recurrent the second fundamental form in Euclidean space]. Vestnik VolGU. Ser. 1, Matematika. Fizika [Journal of Volgograd State University, series 1, Mathematics. Physics], 2010, no. 13, pp. 23-35.

3. Fomenko V.T. Ob odnom obobschenii poverkhnostey Darbu [A generalization of the Darboux surfaces]. Matematicheskie zametki [Mathematical Notes], 1990, vol. 48, no. 2, pp. 107-113.

ON ANALOG OF DARBOUX SURFACES IN MANY-DIMENSIONAL EUCLIDEAN SPACES

Bod^nko Irina Ivanovna

Candidate of Physical and Mathematical Sciences,

Associate Professor, Department of Fundamental Informatics and Optimal Control

Volgograd State University

bodrenko@mail.ru

Prospekt Universitetskij, 100, 400062 Volgograd, Russian Federation

Abstract. The Darboux tensor, symmetric covariant three-valent tensor 0, was determined on two-dimensional surfaces with nonzero Gaussian curvature K = 0 in Euclidean space E3. The term 0 = 0 is the characteristic condition of Daroux surfaces in E3.

The symmetric covariant three-valent tensor 0(n) is determined on hypersurfaces Fn (n > 2) with nonzero Gaussian curvature K = 0 in Euclidean space En+1. If n = 2 then tensor 0(ra) is coincided with the Darboux tensor 0: 0(2) = 0.

Let V(n) be a set of hypersurfaces Fn (n > 2) with nonzero Gaussian curvature K = 0 in Euclidean spaces En+1, on which the following condition holds 0(n) = 0. The set V(2) becomes exhausted by Daroux surfaces in E3. The properties of hypersurfaces Fn c En+1 from the set V(n) for n > 2 are studied in this article.

The necessary and sufficient conditions, for which hypersurface Fn with nonzero Gaussian curvature K = 0 in Euclidean space En+1 belongs to the set 'D(n) (n > 2), are derived. It was proved that hypersurface Fn c En+1 with nonzero Gaussian curvature K = 0 belongs to the set V(n) (n > 2) if and only if there exist coordinates of curvature (u1,... ,un), in neighborhood 0(x) c Fn of

every point x G Fn, such that the following conditions hold:

k = i’uWkr2, kn+2

K3 =------------------------- ------------------------ i = 1 n

^(1)(u1) . . .^(i-i)(ui-1)^(i+i) (ui+1) ...-$(n)(un), , ’

where k]_, ..., kn are the principal curvatures Fn, K = k1 k2.. .kn is Gaussian curvature of Fn, ^^(u1) = 0, i = l,n, are certain functions.

It was proved that every cyclic recurrent hypersurface Fn c En+1 with nonzero Gaussian curvature K = 0 belongs to the set V(n) (n > 2).

The characteristic property of hypersphere Sn c En+1 was derived. It was

proved that connected complete hypersurface Fn of constant positive Gaussian curvature K = const > 0 in Euclidean space En+1, belonging to the set V(n) (n > 2), is sphere Sn c En+1.

Key words: Darboux tensor, Darboux surface, Gaussian curvature, second fundamental form, hypersurface, many-dimensional Euclidean space.

i Надоели баннеры? Вы всегда можете отключить рекламу.