CC BY
12
www.volsu.ru
МАТЕМАТИКА
ТРУДЫ III МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ «ГЕОМЕТРИЧЕСКИЙ АНАЛИЗ И ЕГО ПРИЛОЖЕНИЯ»
001: https://doi.Org/10.15688/jvolsu1.2016.5.1
УДК 517.95 ББК 22.161
ТЕОРЕМЫ ТИПА ЛИНДЕЛЕФА ДЛЯ МИНИМАЛЬНОЙ ПОВЕРХНОСТИ НА БЕСКОНЕЧНОСТИ
Рипсиме Сергоевна Акопян
Кандидат физико-математических наук, доцент кафедры высшей математики, Волгоградский государственный аграрный университет akrim111@yandex.ru
просп. Университетский, 26, 400002 г. Волгоград, Российская Федерация
о
см
СХ
к к с
о
к
Аннотация. Различные задачи асимптотического поведения минимальных поверхностей, заданных над неограниченными областями, изучались во многих работах (см., например, [1-3; 5-7]). Получены теоремы типа Лин-делефа о предельном значении градиента решения уравнения минимальных поверхностей и гауссовой кривизны рассматриваемых поверхностей на бесконечности.
Ключевые слова: уравнения минимальных поверхностей, гауссова кривизна, асимптотическое поведение, голоморфная функция, изотермические координаты, голоморфная в метрике поверхности функция.
2
О Минимальные графики г = $(х,у) над областями К описываются квазилинейным
дифференциальным уравнением
< Ч г х{х,у) Ч Гу(х,у) ^=п (1)
~ М VI + IV /(Х,у) IV дУ 1^1 + IV /(Х,у) IV ' ( )
Пусть /(х, у) есть решение уравнения (1), заданное над односвязной областью И С Я2, ограниченной двумя кривыми Ьх и Ь2, выходящими из одной точки и уходящими в бесконечность. Будем считать, что /(х, у) € С2(И).
Пользуясь теоремой Линделефа для функций, голоморфных в неограниченных областях (см. [4, с. 322]), сформулируем вспомогательную теорему для функций голоморфных в метрике поверхности ¿8/, где
^ 2 = (1 + !"Х)Ах2 + 2 f 'л/\дх ¿у + (1 + П )Ау2.
Напомним, что голоморфными в метрике А5 / функциями являются функции голоморфные либо антиголоморфные в традиционном смысле в изотермических координатах на поверхности. Ясно, что от выбора координат это не зависит.
Теорема 1. Пусть функция К(х, у)— голоморфна в метрике поверхности А8/ в области И, ограниченной кривыми Ьх и Ь2, выходящими из одной точки и уходящими в бесконечность. Если функция К(х, у) непрерывна на кривых Ьх и Ь2 и
К(х, у) ^ ап, ((х, у) ^ х, (х, у) еЬп) п = 1, 2,
то имеет место одна из двух возможностей: или функция К(х, у) не ограничена в области И, или ах = а2 = а и К(х, у) ^ а при (х, у), стремящемся к бесконечности по любому пути, лежащему в области И.
Доказательство. Возьмем произвольно точку (х0, у0) € И и введем в рассмотрение однозначные в И функции, существование которых показано в работе [6]:
и I «А/ « С/ I --I ,- и/1/ ,- НО •
{Х1У0) УТ^уТ^^УГ2 -^Г+ТУЖЖ2 У)= Т + *^,8) ¿г + ¿з.
Известно, что комплекснозначная функция С = 4 + Щ, где
4 = х + д(х, у), п = У + у(х, у), (2)
является голоморфной в метрике минимальной поверхности и осуществляет введение на графике г = /(х, у) изотермических координат (4,п) (см. [6]).
Отображение (2) не уменьшает евклидово расстояние между точками. А именно, для любой пары точек (хх, у\) и (х2, у2) будет выполнено неравенство (см. [6]):
(42 — 4х)2 + (П2 — Пх)2 > (х2 — хх)2 + (У2 — У1 )2,
где (4ьш), (42,п2) — образы точек (хх, ух) и (х2, у2) соответственно. Из вышесказанного заключаем, что отображение С(х, у) однолистно в И, причем образом И в плоскости переменных (4,п) будет некоторая область И', ограниченная кривыми Ьх и Ь2, выходящими из одной точки и уходящими в бесконечность. Здесь Ьх и Ь2 образы граничных кривых Ьх и Ь2 соответственно.
Если функция к(х,у) голоморфна в метрике поверхности г = /(х,у), то сложная функция к(х(4,п),у(4,п)) будет голоморфной в области И' в традиционном понимании. Здесь х = х(4,п), У = У(4,п) - отображение, обратное к отображению (2). Голоморфная в области V функция К(4,п) = Ь,(х(4,п),у(4,п)) является непрерывной на кривых Vх и V2 и удовлетворяет условиям
К(4,п) ^ ап, ((4,п) ^ж, (4,п) е Ь'п) п = 1, 2,
следовательно, по теореме Линделефа для функций, голоморфных в неограниченных областях (см. [4, с. 322]), имеет место одна из двух возможностей: или Ъ(4,п) не ограничена в области И', или а\ = а2 = а и к(4,п) ^ а при (4,п), стремящемся к бесконечности по любому пути, лежащему в области И'. Возвращаясь к функции к(х,у), получаем наше утверждение: или функция к(х,у) ограничена в области И, или а\ = а2 = а и к(х,у) ^ а при (х,у), стремящемся к бесконечности по любому пути, лежащему в области И.
Используя полученный результат, выводим, что при вышеуказанных предположениях на минимальную поверхность г = f (х,у) будет справедливо следующее утверждение. Теорема 2. Если градиент функции /(х,у) на кривых и Ь2 удовлетворяет условиям
V/(х,у) ^ ап, ап е К2, ((х,у) ^ ж, (х,у) е Ьп) п =1, 2,
то имеет место одна из двух возможностей: или V/(х,у) не ограничен в области И, или ах = а2 = а и V/(х,у) ^ а при (х,у), стремящемся к бесконечности по любому пути, лежащему в области И.
Доказательство. Рассмотрим комплекснозначную функцию
( ч Гх(Х,У) • !у (х,У)
1 + ^Г+Г^Т^Ш2 1 ^ л/^+Г^Лх/у)!2"
Известно ([8, с. 113]), что данная функция является голоморфной в метрике минимальной поверхности г = f (х,у). Причем, так как / (х,у) е С2(И), то на кривых Ь\ и Ь2 функция х(х,у) непрерывна и выполняются условия
Х(х,у) ^ aп, ((х,у) , (х,у) е Ьп) п =1, ^
где ап = -"п1 — г-"п2 , (ап1,ап2) — координаты ап. Следовательно, так как
функция х(х,у) удовлетворяет всем условиям теоремы 1, то отсюда выводим, что или х(х,у) не ограничена в области И, или = а2 = а и функция х(х,У) ^ а при (х,у), стремящемся к бесконечности по любому пути, лежащему в области И. А это означает, что для градиента Vf(х,у) имеет место одна из двух возможностей: или градиент V/(х,у) не ограничен в области И, или = а2 = а и V/(х,у) ^ а при (х,у), стремящемся к бесконечности по любому пути, лежащему в области И.
Обозначим К(х,у) гауссову кривизну минимальной поверхности г = f (х,у). Отметим, что К(х,у) < П. Так как / (х,у) имеет непрерывные вторые производные вплоть до границы области И, то гауссова кривизна К(х,у) непрерывна в И. Справедливо следующее утверждение.
Теорема 3. Если гауссова кривизна К(х, у) минимальной поверхности (1) на кривых Li и L2 удовлетворяет условиям
К(х, у) ^ Ьп, ((х, у) ^ х, (х, у) eLn) п = 1, 2,
и, кроме того, градиент функции f(x, у) на кривых Li и L2 имеет равные предельные значения при (х, у) ^ х, то имеет место одна из двух возможностей: или К(х, у) не ограничена в области D, или Ь1 = b2 = Ь и К(х, у) ^ b при (х, у), стремящемся к бесконечности по любому пути, лежащему в области D.
Доказательство. Известно ([8, с. 113]), что через производную функции х(х, у) по параметру Z = 4 + Щ выражается гауссова кривизна поверхности К(х, у). Причем
№ v)|2 = ^^ Г. (3)
Z (1 + Л/1 + |V 1(х, у)12)4
Так как
0 < е + 'у ^2)'2 < 1, (4)
(1 + /т+ружйВ4 , 1'
то из равенства (3) и условий теоремы следует, что на кривых Li и L2 функция |х^(х, у)1 непрерывна и представляется как произведение сходящихся при (х, у) ^ х функций:
у/-К(х, у) и ^У-^2 . V v (i+^/i+Wf(Х'У)12)2
Тогда голоморфная в метрике поверхности функция х'с(х, у) непрерывна на кривых Li и L2 и существуют пределы при (х, у) ^ х:
х'dх, у) ^ cп, ((х, У) ^ х, (х, У) е Ln) п =1, 2
где | Сп|2 = - Ьп •k, к = lim (i+}yf (*,у)|2)2 , (х, у) е Ln п = 1, 2. 1 п| п ' (i+y/i+lyf(*,у)|2)4'1 )У) п '
Используя теорему 1 для функции х[(х, у), выводим, что или х[(х, у) не ограничена в области D, или ^ = с2 = си х[(х, у) ^ с при (х, у), стремящемся к бесконечности по любому пути, лежащему в области D. Возвращаясь к функции К(х, у), учитывая (3), (4) и условие теоремы о равных предельных значениях градиента при (х, у) ^ х на кривых Li и L2, для гауссовой кривизны минимальной поверхности получаем нужное утверждение: или К(х, у) не ограничена в области D, или bi = b2 = b и К(х, у) ^ b при ( х, ), стремящемся к бесконечности по любому пути, лежащему в области D.
Близкие по содержанию результаты о предельном значении гауссовой кривизны минимальной поверхности на бесконечности были получены в [2].
СПИСОК ЛИТЕРАТУРЫ
1. Акопян, Р. С. О допустимой скорости стремления к нулю гауссовой кривизны минимальной поверхности над полосообразной областью / Р. С. Акопян // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2012. — № 2 (17). — С. 4-8.
2. Акопян, Р. С. О предельном значении гауссовой кривизны минимальной поверхности на бесконечности / Р. С. Акопян // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2016. — № 1 (32). — С. 6-10.
3. Акопян, Р. С. Теоремы типа Фрагмена — Линделефа для минимальной поверхности над полосообразной областью / Р. С. Акопян // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2013. — № 2 (19). — C. 6-12.
4. Евграфов, М. А. Аналитические функции / М. А. Евграфов. — М. : Наука, 1991. — 448 с.
5. Миклюков, В. М. Некоторые вопросы качественной теории уравнений типа минимальной поверхности / В. М. Миклюков // Граничные задачи математической физики. — Киев : Наукова Думка, 1983. — C. 137-146.
6. Осерман, Р. Минимальные поверхности / Р. Осерман // Успехи мат. наук. — 1967. — Т. XXII, № 4. — C. 55-136.
7. Пелих, В. И. Теоремы Фрагмена — Линделефа на минимальных поверхностях / В. И. Пелих // Геометрический анализ и его приложения: Научные школы ВолГУ. — Волгоград : Изд-во ВолГУ, 1999. — C. 352-368.
8. Nitsche, J. C. C. Vorlesungen über Minimalflächen / J. C. C. Nitsche. — Berlin ; Heidelberg : Springer-Verlag, 1975. — 199 p.
REFERENCES
1. Akopyan R.S. O dopustimoy skorosti stremteniya k nulyu gaussovoy krivizny minimalnoy povеrkhnosti nad polosoobraznoy oblastyu [About the Admissible Speed of Approaching to Zero of Gaussian Curvature of Minimal Surface over Strip Domain]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2012, no. 2 (17), pp. 4-8.
2. Akopyan R.S. O prеdеlnom znachеnii gaussovoy krivizny minimalnoy povеrkhnosti na bеskonеchnosti [Limit Value of the Gaussian Curvature of the Minimal Surface at Infinity]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2016, no. 1 (32), pp. 6-10.
3. Akopyan R.S. Tеorеmy tipa Fragmеna — Lindеlеfa dlya minimalnoy povеrkhnosti nad polosoobraznoy oblastyu [Fragmen — Lindelof Type Theorems for the Minimal Surface over Strip Domain]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2013, no. 2 (19), pp. 6-12.
4. Evgrafov M.A. Analiticheskie funktsii [Analytic Functions]. Moscow, Nauka Publ., 1991. 448 p.
5. Miklyukov V.M. ^koto^ voprosy kachеstvеnnoy tеorii uravnеniy tipa minimalnoy povеrkhnosti [On the Hyberbolicity Criterior for Noncompact Riemannian Manifolds of Special Type]. Granichnye zadachi matematicheskoy fiziki. K^v, Naukova Dumka Publ., 1983, pp. 137-146.
6. Osеrman R. Minimalnyе povеrkhnosti [Minimal Surfaces]. Uspekhi mat. nauk [Russian Mathematical Surveys], 1967, vol. XXII, no. 4, pp. 55-136.
7. Pеlikh V.I. Tеorеmy Fragmеna — Lindеlеfa na minimalnykh povеrkhnostyakh [Theorems of Fragmen — Lindelof on Minimal Surfaces]. Geometricheskiy analiz i ego prilozheniya: Nauchnye shkoly VolGU. Volgograd, Izd-vo VolGU, 1999, pp. 352-368.
8. Nitsche J.C.C. Vorlesungen über Minimalflächen. Berlin; Heidelberg, Springer-Verlag, 1975. 199 p.
LINDELOF-TYPE THEOREMS FOR THE MINIMAL SURFACE AT INFINITY
Ripsime Sergoevna Akopyan
Candidate of Physical and Mathematical Sciences, Associate Professor,
Department of Higher Mathematics,
Volgograd State Agrarian University
akrim111@yandex.ru
Prosp. Universitetsky, 26, 400002 Volgograd, Russian Federation
Abstract. A lot of works on researching the solutions of equation of the minimal surfaces, which are given over unbounded domains (see, for example, [1-3; 5-7]) in which various tasks of asymptotic behavior of the minimal surfaces were studied. The obtained theorems of Lindelof type about the limiting value of the gradient of the solution of the equation of minimal surfaces and Gaussian curvature of the considered surface at infinity.
Let z = f(x, y) be a solution of the equation of minimal surfaces (1) given over the domain D bounded by two curves Li and L2, coming from the same point and going into infinity. We assume that fix,y) G C2(D).
For the Gaussian curvature of minimal surfaces K(x, y) will be the following theorem.
Theorem. If the Gaussian curvature K(x, y) of the minimal surface (1) on the curves Li and L2 satisfies the conditions
K(x, y) ^ bn, ((x, y) ^ x, (x, y) G Ln) n = 1, 2,
and, in addition, the gradient of the function ( x, ) on the curves Li and L2 has the equal limit values for (x, y) ^ x, this is one of two possibilities: or K(x, y) not limited to D, or bi = b2 = b and K(x, y) ^ b for (x, y) tending to infinity along any path lying in the domain D.
Key words: equations of the minimal surfaces, gaussian curvature, asymptotic behavior, holomorphic function, isothermal coordinates, holomorphic in the metric of the surface function.
