CC BY
39
УДК 531.793
Построение поверхностей постоянной средней кривизны
М.А. Чешкова1, И.В. Поликанова2
1Алтайский государственный университет (Барнаул, Россия)
2Алтайский государственный педагогический университет (Барнаул, Россия)
Construction of Surfaces with Constant Mean Curvature
М.А. Cheshkova1, IV. Polikanova2
1Altai State University (Barnaul, Russia)
2Altai State Pedagogical University (Barnaul, Russia)
В данной работе исследуются поверхности постоянной средней кривизны (ПСК). Торы ПСК изучал Х. Вентье Позднее У. Абреш доказал, что торы Вентье имеют одно семейство плоских линий кривизны, и охарактеризовал их с помощью эллиптических интегралов. В работе А.И. Бобенко рассматривается задача построения торов ПСК в Б3, S3,H3. В этой работе исследуются поверхности вращения ПСК. Используя теорему Бонне о существовании поверхности ПСК, параллельной поверхности постоянной положительной гауссовой кривизны, для поверхностей вращения постоянной положительной гауссовой кривизны строятся поверхности постоянной средней кривизны. Доказано, что они являются также поверхностями вращения. Семейства плоских линий кривизны (меридианы) описаны с помощью эллиптических интегралов. Поверхности постоянной гауссовой кривизны также описаны с помощью эллиптических интегралов. С использованием специализированного программного обеспечения строятся рассматриваемые поверхности.
Ключевые слова: параллельная поверхность, средняя кривизна, гауссова кривизна, теорема Бонне, эллиптические интегралы.
The paper studies surfaces with constant mean curvature (CMC) H. If H = 0 then the surfaces are minimal. CMC tori were studied by H. Wente. U. Abresz proved that Wente tori have one family of planar lines of curvature and characterized them with elliptic integrals.
A.I. Bobenko in his studies considered the problem of constructing CMC tori E?, S3, H3. In this paper, CMC surfaces of revolution are investigated. For a surface in E3 the Bonnet's theorem states that for any surface having constant positive Gaussian curvature, there exists a surface parallel to it with a constant mean curvature.
According to this statement, for surfaces of revolution with constant positive Gaussian curvature, CMC surfaces are constructed using the Bonnet's theorem. It is proved that constructed surfaces are also surfaces of revolution. A family of plane curvature lines (meridians) is described by elliptic integrals, and surfaces with Gaussian curvature are also described by elliptic integrals. These surfaces are constructed using the mathematical software package. Key words: parallel surface, mean curvature, Gaussian curvature, Bonnet theorem, elliptic integrals.
DOI 10.14258/izvasu(2018)4-22
1. Введение. Пусть М — гладкая поверхность в евклидовом пространстве Б3, п — единичный вектор нормали. Определен оператор А : дхп = -АХ. Собственные значения к , к2 оператора А называются главными кривизнами поверхности, полусумма их Н = 12 (к1 + к2) есть средняя кривизна, а произведение К = к1к2 — гауссова кривизна поверхности [1, с. 36].
Имеет место теорема Пуассона — Лапласса [2, с. 12]: Предположим, что двумерная гладкая поверх-
ность М в Б3 является границей раздела двух однородных сред, находящихся в равновесии. Пусть Р1,
P2 — давление в средах. Тогда средняя кривизна H поверхности M постоянна и равна H = h(P1 - P2), где постоянная X = Л называется коэффициентом поверхностного натяжения.
Поверхности, для которых H = const, называются поверхностями постоянной средней кривизны (ПСК). Если H = 0, то поверхности минимальные.
Отрицательный ответ на проблему Хопфа [3]: Существуют ли компактные поверхности ПСК,отличные от сферы, получен при дополнительных предположениях [4], в частности, дана сле-
дующая формулировка теоремы Хопфа : Единственная поверхность ПСК при H = 1/2, топологически эквивалентная сфере, — это стандартная сфера радиуса 2.
Вентье [5] изучил торы ПСК. Дальнейшее изучение поверхностей ПСК продолжено в [6].
В работе Абреша [7] доказано, что торы Вентье имеют одно семейство плоских линий кривизны.
Поверхности ПСК в En изучаются в монографии Чена [8]. Доказано, что если неминимальная в En 2-поверхность имеет параллельный вектор средней кривизны, то ([8], с. 10) это либо минимальная поверхность в En, либо минимальная поверхность на гиперсфере в En, либо 2-поверхность в E3 с постоянной средней кривизной, либо 2-поверхность на 3-сфере S3 в E4 с постоянной средней кривизной.
Исследованию поверхностей постоянной кривизны в групповых пространствах посвящены работы Д.А. Бердинского [9] и J.F. Dorfinester, J-I. Inoguchi, S. Kobayashi, H. Wu. [10].
В.Т. Фоменко в работе [11] приводит условие, обобщающее условие Риччи, Нордена, Лоуссона, о изометрическом погружении двумерной метрики в трехмерное риманово пространство постоянной средней кривизны.
В работах В.И. Ильгисонис, А.А. Сковорода, Е.А. Сорокиной, И.А. Тайманова [12],[13] показано, что экстремаль объема, заключенного внутри ториодальной поверхности заданной площади, достигается поверхностью постоянной кривизны.
Поверхность M в E3 называется параллельной поверхности M, если она состоит из концов отрезков постоянной длины, отложенных на нормалях поверхности M от точек этой поверхности. Касательные плоскости в соответствующих точках будут параллельными.
Для поверхностей в E3 имеет место обратная теорема Бонне Какова бы ни была поверхность M, имеющая постоянную положительную гауссову кривизну, существует параллельная ей поверхность с постоянной средней кривизной.
Основная цель данной работы: построение поверхностей постоянной средней кривизны из поверхностей вращения постоянной положительной гауссовой кривизны.
2. Основные формулы. Пусть r = r (u, v) — уравнение поверхности M, n — орт нормали, h = const). Уравнение параллельной поверхности r имеет вид
r = r + hn.
(1)
Обозначим через К, Н,К,Н — гауссовы и средние кривизны поверхностей М, M, соответственно. Имеем
K
K
1 - 2hH + h2K
H
H hK
1 - 2hH + h2K
. (2)
Положим в (2)
1 - Kh2 = 0,h =±
/K'
Тогда
н = ±
/K ~'
Это есть результат обратной теоремы Бонне. Он дает возможность построения поверхностей постоянной средней кривизны по поверхностям постоянной гауссовой кривизны.
Будем строить параллельные поверхности для поверхности вращения постоянной положительной гауссовой кривизны.
3. Поверхности постоянной средней кривизны. В евклидовом пространстве Е3 рассмотрим поверхность вращения М, полученную вращением плоской кривой вокруг оси. Обозначим через к = (0,0,1) — орт оси, а через е = (ео.9^), 0) — радиус-вектор единич-
ной окружности, расположенной в плоскости, ортогональной оси.
Тогда поверхность М можно задать в виде
r = ue(v) + f (u)k,
(3)
где / = / (и) — дифференцируемая функция, и,'о — параметры.
Обозначим через п — орт нормали к поверхности М. Тогда
f (u)'e(v) - k
^UWr + 1'
(4)
Главные кривизны k1, k2 поверхности M имеют вид
k1 =
f(u)'
,k2 =
f(u)'
V(f (u)')2 + 1 " y/tfWjl+T3
Имеем дифференциальное уравнение
f(u)'
f(u)'
u^(j(üyy+1 ^/jfüfY+i;
Получим решения
=K.
(5)
(6)
f (u) = ± /7
Kt2 - (c - 1) c-Kt2
dt, c = const. (7)
Имеем
I /c-1EllipticE( u^c У (c_11)c)
f (u) = ±-—c—+ci,
c, c1 = const.
Для определенности, полагаем K = 1.
n=
Имеем
ги Г£2 - (С - 1) f (и) = ± J у -—-¿Ь + С\,С,С\ = сопзЬ,
f (и) = ±1у/С—ГЕ1ЫрЫсЕ((С ~ 1)С) + С1.
с с— 1
Полагая с = 1/2, получим -/2
f (и) = ЕШрЫсЕ(ил/2,1)+ С\. (9)
Построение поверхности вращения постоянной гауссовой кривизны рассматривается в [14].
Рассмотрим поверхности вращения М1, М2
при С1 = 0 и С2 = —ЕШрЫСЕ(—,1),и Е [0, /С},У Е [-п,п]. Имеем
V2
М1 : г(и,у) = (исоз(у),изгп(у), + ЕШрЫсЕ(иу/2,1)),
\/2
М2 : г(и,у) = (исоз(у),изгп(у), —— ЕШрЫсЕ(иу/2,1)
+ /2= ЕШрЫсЕ (/= ,1)).
Используя математический пакет, построим поверхности М\,М<2 (рис. 1).
М2 : г(и,у) = (иСоз(у)+//= //2и2 + 1 соз(у), изгп(у) +
2
1 /2
— л/2и2 + 1эгп(у),ЕШрЫсЕ (и //2,1) +
л/2
у ЕШрЫсЕ (/,I) - 4 л/1 - 2и2). у/2 \Д л/2 7
Построим их (рис. 2).
Рис. 2. Поверхности М\,М<2
Рассмотрим еще один вариант поверхностей
М?,М% :
М1 : г(и, у) = (исоз(у)--—л/ъй2 + 1соз(у),
12
изш(у) — + 1 зш(у),
Г2 1
+ У— ЕШрЫсЕ(и/2, I) + —л/1 - 2и2). 22
М<2 : г(и, у) = (исоз(у)--— /2и2 + 1соз(у),
22
1 _ ^
изгп(у)-/^л/2и2 + 1згп(у), —— ЕШрЫсЕ(ил/2,I)
+ —2ЕШрЫсЕ(/,1) + -2/1 - 2и2). Построим их (рис. 3).
Рис. 1. Поверхности М\,М<2
Полагаем в (1) h = 1, ав (4) подставим функции f = f (и) из (9), получим
) , 2и2 +1
f (и) = ,
п = ±-^(\/2и2 + 1соз(у), л/2и2 + 1згп(у), -л/1 - 2и2). 2
Определим поверхности Л?1,Л?2, параллельные М1,М2 соответственно.
М1 : г(и, у) = (исоз(у) +—— /2и2 + 1соз(у),
2
1 __уь
изгп(у) + /^л/2и2 + 1згп(у), + ЕШрЬгсЕ (ил/2, I)-
Рис. 3. Поверхности М1,М£
Из данных утверждений следует Теорема. Поверхности М , М2, М1,М£ есть поверхности врашения, у которых плоские меридианы имеют вид
R = (и + -=у/2и2 + 1,
V2
+—EllipticE(u-2,I) - -Wl - 2u2), 2 л/2
R = (u + —= 2u2 + 1, 2
/2 2 1
EllipticE(uV2, I) + -EllipticE(- ,I)-2 v 2 v 2
1
1
-Wl - 2u2), -2
1
-2
R = (u - -W2u2 + 1,
2 1 _
EllipticE (ил/2, I) + -W1 - 2u2), 22
1 _ —
R = (и - — \/2и2 + 1, ЕШрЫсЕ(ил/-,/)+
2 11
— ЕШрЫсЕ (— ,1) + -=\Л - 2и2),
V- V- V-
соответственно.
4. Заключение. Основным результатои работы является разработка алгоритма построения поверхностей вращения постоянной средней кривизны из поверхностей вращения постоянной гауссовой кривизны. Кроме того, предложенная работа позволяет моделировать поверхности вращения постоянной средней кривизны, используя эллиптические интегралы.
Библиографический список
1. Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии. — М., 1981.
2. Тужилин А.А., Фоменко А.Т. Элементы геометрии и топологии минимальных поверхностей. — М., 1991.
3. Hopf H. Differential geometry in the larle. Lect. Notes Math. — V. 1000. — Berlin -Heiderberg — Ney York — Tokyo — Springer, 1986.
4. Бобенко А.И. Поверхности постоянной средней кривизны и интегрируемые уравнения // УМН. — 1991. — Т. 6. — Вып. 4 (280).
5. Wente H. Counterexample to conjecture of H. Hopf. Pacific J. Math. — 1986. — № 121.
6. Wente H. Constant mean curvature of annular type // Calculus of Variations and Partial Differential Equations. — 2002. — T. 14. — № 2.
7. Abresch U. Constant mean curvature tori in elliptic function // J.reine u. angew. Math. — 1987. — Bd. 304.
8. Chen B. Geometry of submanifolds and its applications. — Tokyo, 1981.
9. Бердинский Д.А. О поверхностях постоянной средней кривизны в группах гейзенберга // Мат. труды. — 2010. — Т. 13. — № 2.
10. Dorfinester J.F., Inoguchi J-I., Kobayashi S., Wu H. Constant mean curvanure in hyperbolic 3-space via loop groops // Journal fur die reine und angewandte mathematik. — 2014. — № 686.
11. Фоменко В.Т. О метриках, возникающих на поверхностях постоянной средней кривизны // Известия вузов. — 2004. — № 10.
12. Ильгисонис В.И., Сковорода А.А., Сорокина Е.А. О тороидальных поверхностях вращения с постоянной средней кривизны // Вопросы атомной науки и техники. Серия: Термоядерный синтез. — 2016. — Т. 39. — № 1.
13. Сковорода А.А., Тайманов И.А. О значении средней кривизны в геометрии магнитного поля ловушек для удержания плазмы // Abpbrf gkfpva. — 2010. — № 36.
14. Чешкова М.А. Построение поверхности вращения постоянной гауссовой кривизны // Сборник трудов Всероссийской конференции по математике. — Барнаул, 2017.
