© Полубоярова Н.М., 2011
УДК 514.772.2+517.97 ББК 22.151
ПРИЗНАКИ УСТОЙЧИВОСТИ И НЕУСТОЙЧИВОСТИ ЭКСТРЕМАЛЬНЫХ ПОВЕРХНОСТЕЙ ВРАЩЕНИЯ1
В статье рассматриваются экстремальные поверхности вращения для функционалов типа площади, для которых вычислены первая и вторая вариации. Для ?г-мерных поверхностей вращения доказаны признаки устойчивости и неустойчивости на основании определения и в терминах специальных интегралов.
Ключевые слова: функционал типа площади, вариация функционала, экстремальная поверхность, устойчивая (неустойчивая) экстремальная поверхность, р-минимальная поверхность.
Постановка задачи. Пусть М — /?,-мерное связное ориентируемое многообразие класса С2 без края. Рассмотрим гиперповерхность Л4 = (М,и) без края, полученную (72-вложением и : М —>• Мга+1, и С^-гладкую функцию Ф : Мга+1 —>• М, £ Є Мга+1, Ф(—£) = Ф(£). Если обозначить через £ поле единичных нормалей к поверхности Л4, то для любой С*2-гладкой поверхности Л4 определена величина
которая не зависит от выбора нормали £. Функционал (1) будем называть функционалом типа площади.
Основной объект данного исследования — экстремали функционала (1). Заметим, что при Ф(£) = 1 ими являются минимальные поверхности.
Цель работы: получение признаков устойчивости и неустойчивости экстремальных поверхностей М..
О подходах к решению подобных задач. Под устойчивостью будем понимать знакоопределенность второй вариации функционала типа площади при бесконечно малых деформациях поверхности. Напомним, что для минимальных поверхностей устойчивость означает положительную определенность второй вариации объема. В рассматриваемых нами случаях знак второй вариации для локальных вариаций может быть как положительным, так и отрицательным, в зависимости от свойств функции Ф(£). Из этих
Н.М. Полубоярова
Введение
(1)
м
соображений понятие устойчивости определяем как способность второй вариации сохранять знак на множестве всех допустимых вариаций, подобно работе [4] для поверхностей нулевой средней кривизны в искривленных лоренцевых произведениях. Поэтому для некоторых функций Ф(£) следует рассматривать задачу на минимум функционала F(Л/f), а для некоторых — на максимум.
Устойчивость подмногообразий нулевой средней кривизны в римановых многообразиях изучена довольно глубоко. Ей посвящены работы X. Барбоса и М. до Кармо, X. Лоусона, А.В. Погорелова, Дж. Саймонса [10], А.А. Тужилина [7], А.Т. Фоменко [8] и др. Для минимальных поверхностей в 3-мерном евклидовом пространстве явление неустойчивости рассматривал еще Г.А. Шварц в XIX веке. В псевдоримановых многообразиях задачи устойчивости стали решаться сравнительно недавно, но и здесь есть интересные подходы к решению и важные результаты.
Стоит заметить, что исследования проводятся различными методами. Приведем некоторые из них. X. Барбоса и М. до Кармо показали, что ориентируемая минимальная поверхность в М3, у которой площадь образа гауссова отображения меньше, чем 27т, устойчива. До Кармо и Пенг дали обобщение проблемы Бернштейна в терминах устойчивости: плоскость — единственная полная устойчивая минимальная поверхность в М3, а в пространстве Лобачевского существуют однопараметрические семейства таких поверхностей. В работах А.А. Тужилина такие семейства подробно описаны с помощью понятия «индекс», а индекс минимальных поверхностей вращения в пространстве Лобачевского исследуется методом рядов Фурье, например в [7]. Исследования индекса компактных и некомпактных минимальных поверхностей и определение устойчивости можно также найти и в работах X. Лоусона, А.Т. Фоменко, А.В. Тырина, Д. Фишер-Колбри. В работах В.М. Миклюкова, В.А. Клячина, В.Г. Ткачева применяется емкостная техника для определения устойчивости поверхностей.
Пусть V — С2-гладкое векторное поле, определенное в окрестности поверхности М., такое, что V\m = h-£, где h G C'q(.M), С — поле единичных нормалей к поверхности, при этом предполагается, что интегральные кривые поля V лежат на прямых линиях и вдоль них выполнено \V\ = const.
Ясно, что если поверхность Л4 вложена, то любое векторное поле V = h-£, заданное вдоль Л4, можно продолжить в некоторую окрестность Л4 так, что будут выполнены сформулированные выше условия. Заметим, что согласно работе [10] вторая вариация не зависит от выбора продолжений.
Пусть U(М.) — окрестность поверхности М., в которой определено поле V и однопараметрическая группа локальных диффеоморфизмов gt(x) : U(M) —> Mra+1, порожденная векторным полем V. То есть gt(x) есть решение задачи Коши:
Положим М.1^, = дг(М). Ясно, что Мо = М.
Определение 1. Поверхность Л4 является стационарной, если первая вариация функ-
1. Основные понятия
ционала (1) равна нулю, то есть
1
Мь
= 0.
*=о
Определение 2. Стационарная поверхность М. будет устойчива, если вторая вариация функционала (1)
*=0
знакоопределена при всех бесконечно малых деформациях М.г поверхности М., иначе поверхность М — неустойчива.
Замечание. В случае когда вторая вариация стационарной поверхности локально знакоопределена, то есть вариации с малым носителем дают одинаковый знак, будем называть поверхность экстремальной. Далее будут рассматриваться только экстремальные поверхности.
В работе [3] была доказана следующая теорема.
Теорема 1. Поверхность М класса С2 является экстремалью функционала (1) тогда и только тогда, когда
П
^кгС(Ег,Ег) = 0. (2)
г=1
Экстремальная поверхность М устойчива (неустойчива), если для любой функции Ь(х) Е С'о(.М) знакоопределена (не является знакоопределенной) квадратичная форма
м
С(У/г, У/О - Н2 ^ к2С{Ег, Ег) | йМ, (3)
где С — квадратичная форма, соответствующая матрице
д2Ф
5^ — символ Кронекера, кг — главные кривизны, а Ег — главные направления поверхности М.
2. Уравнение экстремалей и вторая вариация поверхности вращения
Замечание. Теоремы и следствия, представленные в данном пункте, были опубликованы без доказательств в [6].
Далее будем рассматривать функционал специального вида
Г(М) = I ф(Сп+1)с1М, (4)
м
где с1М — элемент площади на С*2-гладкой поверхности Л4 С Мга+1, заданной радиус-вектором
П(1,в) = (г,г(г)р(в)), (5)
в Е §”-1, р(в) — радиус-вектор сферы §”-1, I Е (а,Ъ) С К, г(1) — С^-гладкая функция на (а,6), £га+1 — координата единичной нормали к поверхности М..
Обозначим т = £га+1 = — г(1)/д/1 + г2(£), тогда
ф'(т) = с1ф/с1т, ф"(т) = с12ф!с1т\ г = с1г(1)/сЫ, г = <{2г(1)/(И2.
Пусть
в(0 = Ф"(т)/ ((1 + г2(()) (ф(т) + Ф\т)т/ф + г2М тогда справедлива следующая теорема.
Теорема 2. Поверхность М, заданная радиус-вектором (5), является экстремальной тогда и только тогда, когда
г(г)г(г) п - 1 _ 0
1 + f2{t) B(t) + 1
Экстремальная поверхность М устойчива тогда и только тогда, когда функционал
м
К2{і,в) \Deh(t,d)\2 _ h2(t,d) (n-l)(n + B(t))\
1 + r2(t){ {) } r2(t) r2(t)(\ + r2(t)) B(t) +1 J
x
знакоопределен в классе липшицевых функций к : Мга+1 —>• М таких, что к Е С'о(.М).
Доказательство. Заметим, что теорема 2 является следствием теоремы 1. Поэтому ее доказательство заключается в том, чтобы записать (2) и (3) с учетом (4) и (5). Для этого нам потребуется выписать выражения главных кривизн и главных направлений поверхности, заданной радиус-вектором (5).
Запишем I и II квадратичные формы поверхности М..
Так как
№12 = 1 + г2^), \пв{\2 = г2(г)рв{^, то первая квадратичная форма
I = (1 + r2{t))dt2 + г2(1)рв{рв^91(192 = (1 + r2{t))dt2 + г2(1)ёв2,
где сів = pe^exWiddj — элемент длины для Sn , i,j = 1, п — 1. Вторая квадратичная форма
П— 1
II = boo dt2 + ^ boi clt сів і + ^ bijdOi ddj,
І= 1 i<=j
где
Ьоо = (і?й, О = ((0,г(і)р), {-г{і)/л/і + г2(і), р/л/1 + Г2(і))) - Г^
\/ТТЩґ)
Ьог = {Яд,, О = ((0,грві), {-г{і)/у/\ +Г2~Щ, р/у/1 + Г2(і))) = 0,
Ьіз = {Явіві, £) = {(^грвіРвіОі), {-г{і)/л/\ + г2{і), р/л/1 + Г2{і))) =
_ г^) /А " „\
Г--;-. 9 / ч \РвіРвів^ ) Р/ )
VI + г2(^)_______
£ = (-гМ/УЇТТЩ, р/\/і + г2(^)).
Таким образом,
п = , Ш ле + , г(*> <й>,
угттщ
где сів2 — вторая квадратичная форма для Бп г.
Применяя формулы из [2], находим главные кривизны
кі = г(і)/( 1 + г2(і))3/2, + г2(і), г = 2,тг,
и главные направления поверхности ЛІ
Ех = = Г 1/\/1 + НЇЇРІу/1 + г2(і)
= Дб?г/|Дб?г| = (0, Рв{/\Рв{\)-
Для подстановки в (3) требуется вычислить V/?. в метрике поверхности М.. Напомним формулу
п~1 яг, ________
(УЛ)г = ^2 Где * = °>п ~
^=о 7
и || (/у || — обозначение для матрицы коэффициентов первой квадратичной формы, а \\дгЩ — обратной к ней матрицы.
Далее вычислим координаты градиента функции к
п 1 дк оо дк к^(1,в)
дх; 3 дх0 1 • /-(/)
3=0
= ё< = £<^ - >*•'»*.‘* »•
,7=0 ^ 7=1 •> з = 1 *'•'
Обозначая вектор с координатами (Ок(і,9))г через Одк(і,9), получим координатную запись вектора градиента
Й\ ( НвЦЪв)
т(і-в)={шЩЇУ ~ЇЧ(Г
Отсюда нетрудно видеть, что квадрат модуля градиента будет иметь вид
|УЛМ)Г = Л'?М)/( 1 + г2(()) + |С.Л(і,9)|2/г2й,
так как |УЛ|2 = ^ ((УЛ)г) .
з=о
Перейдем к вычислению требуемого скалярного произведения векторов
{вф, о = - Щй
л/ЇТЇЩ
и найдем значения матриц И2ф и С на векторах Еі и V/?., координаты которых мы записали выше,
В2ф{ЕъЕ1)= Ф”^ Б2ф(Ег,Ег) = 0, г = 2^,
1 + гг{ъ)
гиI? тг ^ _ 0"(т) , ^ , <Р{т)г{*) ги^ I, <Р(т)г&) /оч
С(Еі,Еі) — + ф(т) Н , , С(Еі, Еі) — фіг) Н , (8)
1 + г2(і) \/1 + г2 (і) VI + г2 (і)
, . ф"{т)Ь'2{і,в) ( Ь'2{і,в) |ад(і,0)|2\ / Ф'{т)г{г) \
С(УЛ' УЛ) = (1 + г»Щ)» + (іТ7і(ї) + ] (/<т) + тгтЩі' (9)
Теперь подставим посчитанное в равенство (2) и получим уравнение экстремалей поверхности .М, заданной радиус-вектором (5).
Так как все кі при г = 2,/г равны, и для С{Еі,Еі) ситуация аналогичная, то равенство (2) примет вид
П П
^ кгС{Ег, Еі) = к\С{Е\, Ег) + (п - 1) ^ &іОД, Ег) = 0.
і= 1 г=2
Таким образом, полученное уравнение экстремалей
г (і) 0"(т) , ^ , ф'(т)г(і) \
(1 + г2(^))3/2 у1 + г2(і) У ^1 + г2(^) у
» -1 (ф(т) + ) = о
г(і)у/ТТЇЩ \ л/1 + ^2(^)
преобразуем, сократив на д/1 +
ад ^ гм , 0(т) + _ п-1 Л(т) + = а
1 + г2(і) уі + г2{і) д/і + Г2(і)У г(і) у д/1 + ^2(і)
а затем выразим г(і)
!1_1 /0(т) + 4Ш1) (1 + гЧФ
гіі) у л/ЇТЩ,) Г у п
т = ,—-------------К’( ,.(Л—, (ю)
ф (г) , ф(Т) , ф ох*)
1 + г2(і) ^ угттщ
вынесем в знаменателе за скобки ф(т) + ф1(т)г(1)/\/1 + г2(£) и подставим введенное ранее обозначение В(Ь). Получим
... . 1 1 + г2(1) п — 1 1 + г2(1)
~ г(г) ф"{т) | х ~ в(г) +1 ■ г (г) ’
(1 + г»М)^(г)+ ^,<Т)Г<() ^
угттщу
что и дает нам заявленное в теореме уравнение экстремалей
г(1)г(1) п — 1
1 + г2(1) В(£) + 1
0.
Далее приступим к вычислению второй вариации экстремальной поверхности Л4, заданной радиус-вектором (5). Подставим посчитанные выражения в (3) и преобразуем полученный интеграл:
[ | С(У/г, У/0 - Л2 ^ А\2С(£г, Я*) 1 =
м { г=1 ^
^//(.) ^2М) + / ^2М) + |А^М)|Л Л(т) , Ф'(т)г(г)
м
(1 + г2(£))2 \ 1 + г2(£) г2(£) д/1 +
(1 + Г2(^))3/2 у \^1 + г2(*) ' ^1 + г2(^))
*7ЙЯт)))}“
Возведем в квадрат выражения при Л2 и сгруппируем слагаемые, стоящие при , получим
Г ( к%9) ( Ф'\т) , ^ , ф\тШ \ ,
м
1 + т2Ц) \1 + г2{г) 1 1 у/\ + г2{г)) 1
, |ад(*,0)|2 ( Ф'(т)г(г) \
+ ^ч^[ф{т) + 7Гтщ)~
-^м(тг^(тШ + Ф(т)' Ф'(тШ
(1 + г2(^))3 \1 + г2(1) ГУ ' у/1 + Г2Ц) )
Теперь подставим в интеграл выражение г(£) из (10):
г (к%в) ( ф"(т) , ^ , ф\т)т \,
ф{т)
м
1 + г2(1)\1 + г2(1) гу ' у/ТТфЩ
— Л2(£, в)
\Овк(г,в)\2 ( Ф\г)гЦ)
—?йГ Г(т) + Тгтщ
п— 1 / , ч 0'(т)г(£)
г {г)
лДТЩГ)
(1 + г2(*))
X
и
1
ф"(т)
1 + г2(1)
( Пт)
+ (п - 1)
(1 + г2(£))3 у 1 + г2(1) 1
+ Ф(т) +
Ф\т)г{1:)
л/ТТЩ)
Ф\т)гЦ)
X
г2(£)(1 + г2(1)) ' Упростим выражение при Л2
к\т ( ф'\т)
ф(т
м
1 + г2(1) \ 1 + г2(1)
л/хТгЩ
Ф\т)г{р л/1 + г2 (г)
Ф\т)гЦ)
V/ГT72(^)
с1М.
|д^М)|2 , Ф'{т)г{г)
г2(1)
л/хТгЩ
Ь2(1, в)
г2(£)( 1 + г2(£))
(п - I)2 ф{т
Ф\т)гЦ)
V/ГT72(^)
Ф"{т)
ф{т)г{1)
+ (п - 1) ф(т) +
г2^) 1 1 у/\ + г2(г)
Ф\т)гЦ)
V/ГT1Щ
с1М
м
к2(фв) ( ф"(т) ф'(т)т
ГГтГ) [ТТТЧГ) + Ф(Т) +------------
\РвК1,в)\
г2(1)
2/ г)+4Ш1) - ьни)
л/ТТгЩ )
п — 1
л/тпщ
(
X Ф(т) +
Ф\т)гЦ) л/1 + г2 а)
(п - 1) ф(т) +
г2(1)( 1 + г2(£))
№Ж*) ^ \ 1
л/1 + г2 (г)
ф"(т) +ф[т)+ Ф'мт
\1 + г2(^) ' уДТ7Щ ]
X
<1М.
Вынесем за скобки ф(т)
Ф'(т)г(г)
л/ТТЩ£)
м
К М)
1 + г2(£)
ф"(т)
+1
(1 + г2С0) ф{т) +
Ф\т)гЦ)
л/тщ) )
\Рeh.it, в)\‘ г2(£)
— Л2(£, в)
п — 1
г2(£)(1 + г2(£))
/г — 1
И?)
+1
V
(1 + г2(£)) 0(т) +
Ф\т)г{р
л/тпщ
+1
X
/
и, учитывая, что
/ , , ф'(т)г(1) \
X 0(г) + с1М
V лД+т^у;
Пт)
(1 +г2(^)) 0(т) +
ф\т)г^)
V/ГT72(^)
т,
получаем выражение для второй вариации функционала (4) в классе экстремальных поверхностей вращения
(вт + 1) + Щ^-ь%в) ’-1
м
1 + г2(£)
г2(£)
г2(£)(1 + г2(£)) \В(1) + 1
/г — 1
+ 1 X
т) + 1)+\°оКМ)\2
м
1 + г2(£)
г2(£)
Л2М) (/?. — 1)(/?. + £>(£))] / ч Ф'(т)г(Ь) \ 7 д /#
- гОД(1 + г»(ВД ВЩ + 1 } Гт) + Тгтщ)
которое полностью совпадает с (7). Что и требовалось доказать.
Следствие 1. Поверхности, заданные радиус-вектором (5), при ф(£п+1) = 1 являются экстремальными тогда и только тогда, когда выполнено равенство
г(£) п — 1
О,
1 + г2(£) г(£)
и совпадают с классом минимальных поверхностей [1].
Пусть
a(t)=(ф(т) + «а) r«) т)+!)
V <ji + r4t)) <ji + r4ty
R \ 1 {n-l){n + B{t))
W) \Ф[Т) ji + r*(t)j г(г)уТТЩГ) B(t) +1 •
Следствие 2. Экстремальная поверхность М, заданная радиус-вектором (5), является устойчивой тогда и только тогда, когда знакоопределен функционал
[ {a(t.)h,2(t.) - /3n(t)h2(t)} dt. (11)
J a
в классе липшицевых функций h.: R —>• R таких, что h{a) = h(b) = 0.
Доказательство. Проведем доказательство в два этапа. Сначала покажем, как получили функционал (11), а затем проведем непосредственное доказательство устойчивости в обе стороны.
Функционал (7) приводится к заявленному в следствии виду (11) в несколько действий. Выпишем функционал (7)
Г ( h'2(t, 9) (Bjt.) + 1) |Deh(t, 9)|2 h2(t, 9) (п - 1 )(B(t) + п) \
4 J I 1 + r2(t) r2(t) r2(t)(\ + r2(t)) B(t) + 1 j
M K }
in \ Ф'(Т)f(t) iw
X Ф(т) + , 7 w AM.
v ViTWjJ
Очевидно, что для него верно неравенство
Г f h'2jt., 9) (Bjt.) + 1) /?2М) (»■ - l)(B(t) + п) \
4-J\ 1 + r2(t) r2(t)(l + r2(t)) B{t) + 1 J
Из выражения I квадратичной формы имеем с1Л4 = г it) у/1 + r2(i) dt d9, поэтому Q> [ I a(t) [ h't2 it.,9) d9 — i3nit.) [ h2it., 9) d9 > dt.
Пусть
1/2
,2/
тогда
h, it., 9) d9 \ = z(t.),
z2it.)= / h2(t,9)d9,
2z,(t.)z(t.) = 2 j к(1, 6)Ъ'^, 6) (19,
Э"-1
применяя неравенство Коши — Буняковского, будем иметь
-/2(^) < J Ь?(1,6) (16 J Ь'1(1,6)(16 =>• ~/2(£) < J Ь'1(1,6) (16.
а"-1 а"-1
Таким образом, получаем
ъ
Я> ! |а'(ф/2(£) - /3„(ф2(Х)} (П.
а
Переходим ко второму этапу доказательства. Если функционал (11) будет знакоопределен для всех z(t), то непосредственно из определения 2 будет следовать устойчи-
ъ
вость. Например, если при а(1) > 0, то из неравенства С? > /{а'(Ь)^2(1) — /Зп(1^2(1)}сЫ >
а
> 0 следует устойчивость поверхности.
В обратную сторону, если поверхность устойчива, значит вариации поверхности в направлении векторного поля не меняют знака второй вариации, то есть имеем ее знакоопределенность, а следовательно, и функционала (11). Например, если мы полагаем, что а(1) > 0, то будет положительная определенность второй вариации функционала, а следовательно, и функционала (11).
Что и требовалось доказать.
Следствие 3. Экстремальная поверхность, заданная радиус-вектором (5), является устойчивой, если а(1)рп(1) < 0.
Доказательство. Следствие становится очевидным, если применить к формуле второй вариации поверхности определение 2.
Заметим, что в случае п = 2 поверхность Л4 задается радиус-вектором
г(1,6) = {£, г(1) сое#, г(1) втб1}. (12)
Следствие 4. Поверхность М, заданная радиус-вектором (12), является экстремальной тогда и только тогда, когда выполнено одно из уравнений
г(£)г(£) 1
1 + г2(г) в(г) +1
о
или
& ( V (Т) л/ГТ^) + 0(Т)) ) °‘
Доказательство. Легко видеть, что первое из уравнений экстремалей получается при подстановке в (6) п = 2. Второе проверяется непосредственным дифференцированием.
Пример 1. При ф(£п+1) = -у/2<^2+1 — 1 для функционала (4) класс экстремальных поверхностей соответствует классу максимальных поверхностей в пространстве-времени Минковского М”+1, которые устойчивы и глобально максимизируют площадь в М”+1 (см. [4]). Вычисление уравнения экстремалей и доказательство глобальной устойчивости для случая п = 2 было проведено автором в [5].
3. Признак устойчивости и неустойчивости
Пусть sup a{t)fin{t) = и2 < +оо, тогда справедлива следующая теорема.
t£(a,b)
Теорема 3. Пусть экстремальная поверхность М задана радиус-вектором (5). Для положительных функций a(t), fin{t) поверхность М является устойчивой, если
ъ
f dt.
^ 7Г1Л
a(t)
и неустоичивои, если
(3n(t)dt > пи.
Замечание. Теорема 3 была для случая п = 2 доказана автором в статье [5], а в данной формулировке опубликована без доказательств в [6].
Доказательство. Рассуждая также, как в доказательстве следствия 2, замечаем, что квадратичную форму (7) можно оценить снизу некоторым функционалом, то есть
м
) h2(t) (n-l)(n + B(t))\
1 + f2(t){ { ) J r2(t)(l + f2(t)) B(t) +1 J
x
x (^r)+ T^f+1P§y) dM - Шп~1 / ~ ~2 dt>
' a
где wn-1 — площадь (n — 1)-мерной сферы и
I <Р(Т№) \ Tit) { id t+\ , ^
Q(t) “ + ТгтЩ j 7гтЖ(в<<) +1,1
,o (A _ Л / ч , 1 (?? - l)(n + £(t))
V v/r+^/r(t)v/r+7^) S(t) + 1 '
Из условия на функции sup a{t)fin{t) = и2 следует, что a{t)fin{t) < /А Тогда
t£(a,b)
справедливо неравенство
ъ ъ
J |a(t)z'\t) - fin(t)z2(t)} dt ^ J ^a(t,)z'2(t) - VJ ^ j dt.
a a
Заметим, что для устойчивости экстремальной поверхности вращения достаточно
или, что то же самое,
/ a{t)z'2{t) dt
V2Z2{t)
а(1)
(13)
dt
Сделаем замену в интегралах и рассмотрим их отношение. Пусть
£
у(£) = / du/a(u), £е[0,6 —а],
тогда dy = dt/a(t) и z’t = z'yy't = z'y/a(t), и отношение (13) принимает вид
ъ уМ
I a(t)z/2(t) dt.
а 1 У(а)
~t(y) dy
U2Z2(t)
а(1)
у2 у{Ь)
(14)
dt.
z2{y) dy
У(а)
Применяя к (14) неравенство Виртингера [9, § 7.7], получим
У(Ь)
~t(y)dy
У (а)
У(Ь)
( \
7Г
-2
z2{y)dy
J dt./ait)
(15)
У (а.)
Далее, сопоставляя (13) и (15), будем иметь неравенство для устойчивости поверхности вращения:
У(Ь)
a(t)z>2(t) dt
~l(y) dy
1 У (а)
V2Z2{t)
а(1)
и2 у(ь)
1
( \
7Г
-2
dt.
z2(y) dy
J dt./ait)
У (a)
dt/a(t) < 7tv.
Так как для доказательства неустойчивости достаточно предъявить хотя бы одну функцию к, для которой нарушается знакоопределенность второй вариации, то допустим,
что в функционале (7) функция h(t,9) = hit), тогда он принимает вид
шп-1 J [h,'t2(t)a(t) - h2(t)/3n(t)) dt.
а
Так как a(t)[3n(t) < и2, то справедливо неравенство ъ
[ |a(t)h,2(t) — /3n(t)ti2(t)| dt
I Рп&)
а а ^ '
Таким образом, чтобы экстремальная поверхность вращения была неустойчивой, достаточно, чтобы существовала функция к € С^(а,Ь) такая, что
v2h,2(t)
ш
— /3n(t)h2(t) > dt. < О
или
Г в*
( Ш '
f /3n(t)h2(t) dt.
€ 1.
(16)
Рассмотрим функцию h, заданную равенством
(
h(u) = sin
f pn(t) dt. a
~b----------
f /Зп (t) dt
Тогда
/ * \
f fin(ii) du
v
2 Q>
h \t) Pn(t)
dt.
l3n(t)h2(t) dt.
\
2 / (3n(t) COS2
7Г
f f3n(t) dt.
7Г-
V
f Pn(t) dt.
dt
(3n(t) sin2
/ * \
/ f3n{u) du
7Г-
V
dt.
[3‘П it)
7Г
1 + cos
I 1 W
f /3n(ii) du 27Г-,--------------
V
f f3n(t) dt.
dt.
Pn(t)
1 — cos
( 1 \\
f /3n(ii) du
2тг---------------
/ Pn(t) dt.
7Г
dt
J f3nit) dt.
\ \ a /
так как, интегрируя по частям, получим, что
/ * \
/ рп(и) (1и
(Зп&) 008
2тг-
V
Следовательно, при выполнении условия
//?„(*) (И
сИ = 0.
j [Зп(1)сЫ > 7Г V
а
выполнено (16), что означает, что поверхность будет неустойчива.
Теорема 3 доказана.
Для иллюстрации полученных в теореме 3 результатов приведем следующий пример. Пример 2. В работе [5] было установлено для случая п = 2, что экстремалями функционала (4) с функцией
(
ф(т) = тЦ)
С1
\
т(*о)
т2(;)
/
гдет = £3, С = (<^(т(*о))т(*о)-0(т(*о)))(1-т2(*о))(2 р)/2, Сг = 0(т(*о))/т(*о), являются р-минимальные поверхности, класс которых был впервые указан В.М. Миклюковым и исследовался в работе В.Г. Ткачева [11].
Такие поверхности характеризуются тем, что функция х% = /(х\, Х2) в метрике поверхности Л4 является р-гармонической, то есть удовлетворяет дифференциальному уравнению сИV(|V/12V/) = 0 в метрике р-минимальной поверхности М..
На основании теоремы 3 можно заключить, что р-минимальная поверхность вращения устойчива на интервале определяемом из неравенства
Г2 ^о) + 1 • с /,ч
1111 г (г) = г о,
г0С1~1 ’ г^^р-1\1оУ ^Ь)
и неустойчива на интервале, который находится из неравенства
г{Ь)
с1г
> 7Г
г(*0) г2(г)\/СоГР^(г) -1
р — 1 ГОу/Р'
Подробные вычисления приведенных неравенств можно найти в работе [5].
Примечания
1 Работа выполнена при финансовой поддержке гранта РФФИ (проект № 11-01-97021-р_поволжье_а).
СПИСОК ЛИТЕРАТУРЫ
I. Веденяпин, А. Д. Внешние размеры трубчатых минимальных гиперповерхностей / А. Д. Веденяпин, В. М. Миклюков // Мат. сб. — 1986. — Т. 131. — С. 240-250.
2. Дубровин, Б. А. Современная геометрия: Методы и приложения / Б. А. Дубровин, С. П. Новиков, А. Т. Фоменко. — М. : Наука. Гл. ред. физ.-мат. лит., 1986. — 760 с.
3. Клячин, В. А. Об устойчивости экстремальных поверхностей некоторых функционалов типа площади / В. А. Клячин, Н. М. Медведева // Сибирские электронные математические известия. Статьи. — 2007. — Т. 4. — С. 113-132.
4. Клячин, В. А. Признаки неустойчивости поверхностей нулевой средней кривизны в искривленных лоренцевых произведениях / В. А. Клячин, В. М. Миклюков // Мат. сб. - 1996. - Т. 187, № 11. - С. 67-88.
5. Медведева, Н. М. Исследование устойчивости экстремальных поверхностей вращения
/ Н. М. Медведева // Изв. Сарат. ун-та. Серия: «Математика. Механика. Информатика».
- Вып. 2. - 2007. - Т. 7. - С. 25-32.
6. Полубоярова, Н. М. Исследование устойчивости ?г-мерных экстремальных поверхностей вращения / Н. М. Полубоярова // Изв. вузов. Математика. — 2011. — № 2. — С. 106— 109.
7. Тужилин, А. А. Об индексе минимальных поверхностей / А. А. Тужилин // Труды Математического института РАН. — 1992. — Т. 193. — С. 183-188.
8. Тужилин, А. А. Элементы геометрии и топологии минимальных поверхностей / А. А. Тужилин, А. Т. Фоменко. — М. : Наука, 1991. — 174 с.
9. Харди, Г. Г. Неравенства / Г. Г. Харди, Дж. Е. Литтльвуд, Г. Полиа. — М. : Гос. изд-во
иностр. лит., 1948. — 250 с.
10. Simons, J. Minimal varieties in riemannian manifolds / J. Simons // Ann. of Math. — 1968. - V. 88, № 1. - P. 62-105.
11. Tkachev, V. G. External geometry of p-minimal surfaces / V. G. Tkachev // Geometry from the Pacific Rim. Eds.: Berrick/Loo/Wang, Walter de Gruyter&Co. — Berlin, 1997. — P. 363-375.
FEATURES OF STABLE AND INSTABLE EXTREMAL SURFACE OF ROTATION
N.M. Poluboyarova
In this paper we consider the extremal surfaces of rotation of the area type functional, for which we obtain the first and second variations. We proof the feature of stability and instability for n-dimension rotation surfaces with help of the definition and in the terms special integrals.
Key words: area type functional, functional variation, extremal surface, stable (instable) extremal surface, p-minimal surface.