|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Описаны основные понятия теории поверхностей отрицательной кривизны в трехмерном евклидовом пространстве. Приведены теорема Гильберта о поверхностях постоянной отрицательной кривизны и теорема Бернштейна о минимальных поверхностях. Указаны основные результаты Н.В. Ефимова о поведении гауссовой кривизны на полных C2-гладких поверхностях отрицательной кривизны.
ПОВЕРХНОСТИ ОТРИЦАТЕЛЬНОЙ КРИВИЗНЫВ. Т. ФОМЕНКО
Таганрогский государственный педагогический институт
ВВЕДЕНИЕ
Предметом нашего рассмотрения являются регулярные поверхности отрицательной гауссовой кривизны в трехмерном евклидовом пространстве E 3. Рассматриваемые поверхности относятся к так называемым седловым поверхностям. Класс седловых и класс выпуклых поверхностей естественно дополняют друг друга. Хотя седловые поверхности систематически не изучаются в школьном курсе геометрии, в повседневной жизни мы встречаем их довольно часто. Мы проследим влияние гауссовой кривизны на внешнюю геометрию поверхности в пространстве.
ЛОКАЛЬНАЯ ТЕОРИЯ
Поверхность F 2 в E 3 будем называть C m-гладкой, если в окрестности каждой ее точки она может быть задана векторным уравнением (u, u) k $, где вектор-функция является m раз непрерывно дифференцируемой функцией параметров u, u; $ - некоторая область плоскости (u, u); Здесь и далее квадратные скобки означают векторное произведение векторов, а круглые скобки - скалярное произведение;
С С m-гладкой (m $ 2) поверхностью F 2 тесно связаны две квадратичные формы. Прежде всего метрическая форма I, дающая квадрат элемента длины ds дуги на поверхности при смещении в направлении , определяется формулой Так как то I = E du2 + 2F du du + + G du2, где Совокупность фактов, описывающих свойства поверхности и выражающихся через метрическую форму поверхности, составляет содержание внутренней геометрии.
Далее рассматривается вторая квадратичная форма где - единичный вектор нормали поверхности. Так как , то вторая квадратичная форма может быть представлена в виде II = L du2 + 2M du du + N du2, где L = M = N = Вторая квадратичная форма характеризует уклонение точек Р ' поверхности F 2 от касательной плоскости в точке Р при смещении по поверхности в направлении При этом с точностью до членов более высокого порядка малости имеет место формула 2d = II + _
Нормальной кривизной поверхности F 2 в точке Р по направлению называют величину kn = II / I. Геометрический смысл нормальной кривизны kn заключается в следующем. Рассмотрим плоскость, проходящую через точку Р поверхности F 2 в направлении векторов и Пусть gn - линия пересечения поверхности F 2 с этой плоскостью. Обозначим через вектор кривизны кривой gn в точке Р. Тогда имеет место формула Это означает, что kn с точностью до знака совпадает с кривизной кривой gn в точке Р. Считая точку Р фиксированной, а направление переменным, методами математического анализа убеждаемся, что функция kn либо не зависит от выбора направления либо имеет точно два экстремальных значения k1 , k2 . Величины k1 , k2 называют главными кривизнами поверхности в точке Р. Гауссовой и средней кривизнами поверхности F 2 в точке Р называют соответственно величины К = k1k2 и Формулы для вычисления К, Н имеют вид
В дальнейшем термин "поверхность отрицательной кривизны" будет означать, что для всех точек поверхности K < 0. Для поверхностей отрицательной гауссовой кривизны главные кривизны k1 и k2 имеют противоположные знаки. Направление на поверхности в точке Р называется асимптотическим, если по этому направлению kn = 0. Для поверхностей с K < 0 в точке Р существуют точно два различных асимптотических направления. Из сказанного следует, что поверхность F 2 в окрестности точки Р имеет вид седла, изображенного на рис. 1.
Линия на поверхности, касательная к которой в каждой ее точке имеет асимптотическое направление, называется асимптотической. В окрестности точки Р на поверхности F 2 с K < 0 существуют два однопараметрических семейства асимптотических линий, пересекающиеся друг с другом под ненулевым углом w, 0 < w < p. Асимптотическую сеть линий всегда можно принять в качестве координатной сети на поверхности в окрестности точки Р. При такой и только при такой параметризации L = N = 0, M ? 0.
ПОВЕРХНОСТИ ПОСТОЯННОЙ ОТРИЦАТЕЛЬНОЙ КРИВИЗНЫ
Изучение поверхностей постоянной отрицательной кривизны в E 3 исторически оказалось тесно связанным с проблемой интерпретации геометрии Лобачевского. Еще в 1868 году Е. Бельтрами показал, что на поверхностях постоянной отрицательной кривизны выполняется локально планиметрия Лобачевского. При этом геодезические линии (то есть линии, являющиеся кратчайшими между любыми двумя достаточно близкими своими точками по поверхности) и их отрезки на поверхности отрицательной кривизны играют роль прямых и их отрезков на плоскости Лобачевского. Длины, углы, площади на поверхности соответствуют длинам, углам, площадям на плоскости Лобачевского. Изометрическое преобразование поверхности на себя представляет собой движение на плоскости Лобачевского. При таких условиях каждому утверждению планиметрии Лобачевского, относящемуся к куску плоскости Лобачевского, соответствует непосредственный факт внутренней геометрии регулярного куска поверхности постоянной отрицательной кривизны. В этом случае говорят также, что на поверхности постоянной отрицательной кривизны локально реализуется геометрия Лобачевского. Укажем поверхности вращения постоянной отрицательной кривизны, найденные Ф. Миндингом и Е. Бельтрами.
Поверхностью вращения называют поверхность, образованную вращением некоторой лежащей в плоскости p кривой + вокруг прямолинейной оси, принадлежащей плоскости p. Кривую + называют меридианом поверхности вращения. Если в пространстве E 3 ввести прямоугольные декартовы координаты Oxyz так, чтобы начало О лежало на оси вращения, а ось Oz совпадала с осью вращения, то уравнения поверхности вращения можно записать в виде
x = j(u) cos u, y = j(u) sin u, z = u,
где для определенности считаем, что u принадлежит некоторому числовому отрезку (u1 , u2), а u изменяется от 0 до 2p. Функция r = j(z) определяет форму меридиана в плоскости p с координатами Orz. Считая, что a = const, находим уравнение меридиана как функцию от r :
где r0 есть значение радиуса параллели поверхности вращения при z = 0, l - произвольное число, l < 1. Форму меридиана можно исследовать по уравнению (1), не прибегая к вычислению приведенного интеграла, как это сделано в [4].
При l > 0 числитель подынтегрального выражения должен быть положительным, поэтому l должно быть меньше единицы, а параметр r должен изменяться в пределах Кривая обращена к оси вращения выпуклостью и имеет вид, изображенный на рис. 2, а.
Точка А наибольшего удаления от оси Oz есть точка возврата для меридиана с касательной осью Or. В точках B и B ' меридиан пересекает ось Oz под острым углом. Две части меридиана (дуга АВ и дуга АB ') соответствуют знакам плюс и минус в правой части формулы (1).
При l < 0 из уравнения (1) находим Кривая состоит из веток, изображенных на рис. 2, б. Дуга АВ соответствует знаку плюс в формуле (1), а дуга АВ ' - знаку минус. В точках В и В ' касательная к меридиану параллельна оси Or, а в точке А параллельна оси Oz.
Случай l = 0 представляет собой переходный тип. При l 0, l > 0 точки В и В ' на рис. 2, а удаляются по оси Oz в бесконечность и меридиан принимает вид, изображенный на рис. 2, в и называемый трактрисой.
Трактриса характеризуется постоянством длины подкасательной | PQ | = а для любой точки P. Точка А является точкой возврата, и ось Or касается трактрисы в точке А.
Поверхности вращения с указанными на рис. 2 меридианами называют соответственно волчком Миндинга, катушкой Миндинга и псевдосферой (или поверхностью Бельтрами). Эти поверхности изображены на рис. 3.
Анализируя полученные поверхности вращения постоянной отрицательной кривизны, мы видим, что они либо имеют точки нарушения гладкости поверхности, либо являются поверхностями с краем. Например, параллели в катушке Миндинга, соответствующие значению являются краем катушки Миндинга. По нашей договоренности все точки рассматриваемых поверхностей являются внутренними точками поверхности, то есть имеют окрестность, гомеоморфную открытому кругу. В таком случае нам следует исключить из рассмотрения в катушке Миндинга параллели со значением Но тогда катушка Миндинга становится неполной поверхностью. Остановимся на этом более подробно. Пусть на поверхности F 2, заданной уравнением (u, u) k $, задана кривая + уравнениями u = u(t), u = u(t), t k [t0 , t1]. Тогда, используя метрическую форму поверхности, можно вычислить длину кривой + по формуле
Пусть А и В - концы кривой +. Определим обычным образом расстояние r(А, В ) на поверхности F 2, полагая r(А, В ) = inf s(+), где точная нижняя грань inf берется по всем кривым +, соединяющим точки А и В. Известно, что указанная функция r(А, В ) удовлетворяют аксиомам метрического пространства. Метрическую форму ds2 называют полной, если F 2 с функцией r(А, В ) в качестве расстояния является полным метрическим пространством. Поверхность F 2 называют полной, если ее метрическая форма полна. Исключая из рассмотрения в катушке Миндинга значения мы получаем неполную поверхность. Таким образом, нарушение гладкости, наличие края или неполнота полученных поверхностей являются препятствиями к реализации "в целом" на них всей плоскости Лобачевского.
ТЕОРЕМА ГИЛЬБЕРТА
А может ли быть все-таки плоскость Лобачевского реализована в E 3 в виде полной поверхности постоянной отрицательной кривизны без особенностей?
Поставленный вопрос известен как проблема Гильберта. Д. Гильберт сформулировал эту проблему, исследовал ее и показал, что в E 3 таких поверхностей не существует. Именно, им доказана
Теорема Гильберта. В E 3 не существует C 3-гладкой полной поверхности F 2 постоянной отрицательной гауссовой кривизны.
Доказательство этой теоремы можно найти, например, в работе [3].
ТЕОРЕМА ЕФИМОВА
В связи с теоремой Гильберта встает следующий вопрос, поставленный самим Гильбертом, а затем С.Э. Кон-Фоссеном (см., например, [2]): насколько существенно в теореме Гильберта требование постоянства гауссовой кривизны и возможно ли его заменить условием K # const < 0?
Приведем несколько примеров полных c 3-гладких поверхностей отрицательной кривизны и проследим, как изменится на поверхности гауссова кривизна.
Пример 1. Рассмотрим в E 3 гиперболический параболоид, заданный в декартовой системе координат Oxyz уравнением z = x2 - y2, - ? < x < ?, - ? < y < ?. Подсчет показывает, что
Отсюда следует, что гауссова кривизна K стремится к нулю при x2 + y2 ? и скорость стремления к нулю достаточна высока.
Пример 2. Поверхность, образуемая прямой, которая движется в пространстве опираясь на некоторую кривую, называется линейчатой поверхностью. Гиперболический параболоид, рассмотренный в примере 1, относится к классу линейчатых поверхностей. Если из этого класса исключить развертывающиеся поверхности (то есть поверхности, локально изометричные плоскости), то оставшиеся линейчатые поверхности являются поверхностями отрицательной кривизны. Уравнение линейчатой поверхности имеет вид где - ? < < u < + ?, - ? < u < + ?, - уравнение некоторой кривой в пространстве E 3, называемой направляющей; - единичный вектор, в направлении которого через точку направляющей проходит прямая, называемая образующей поверхности. Все образующие поверхности составляют однопараметрическое семейство прямых на поверхности. Каждая прямая на поверхности является асимптотической линией. Подсчет показывает, что
где в числителе стоит квадрат смешанного произведения векторов а знак ' означает производную. Из этой формулы следует, что при фиксированном значении параметра u при u ? имеем K 0.
Пример 3. Пусть F 2 - поверхность вращения, меридиан которой есть выпуклая кривая, обращенная выпуклостью к оси Oz. Если уравнение меридиана в системе Or имеет вид r = j(z), z k (u1 , u2), то гауссова кривизна поверхности F 2 дается формулой
Чтобы рассматриваемая поверхность вращения была полной, достаточно предположить, что j(z) ? при u u1 и u u2 , а параметр u изменяется в пределах - ? < u < + ?. Отсюда следует, что K 0 при u u1 или u u2 . Таким образом, на всех рассмотренных здесь поверхностях гауссова кривизна, оставаясь отрицательной, неограниченно приближается к нулю. Оказывается, это закономерное явление. В 1963 году Н.В. Ефимов доказал следующую теорему (см., например, [2]).
Теорема Ефимова. На всякой полной C 2-гладкой поверхности отрицательной гауссовой кривизны в E 3 выполняется соотношение
Другими словами, для любого сколь угодно малого положительного числа e > 0 на полной С 2-гладкой поверхности отрицательной кривизны в Е 3 найдется точка М такая, что гауссова кривизна в этой точке будет удовлетворять неравенству - e < K(M) < 0.
Н.В. Ефимов исследовал также задачу о скорости стремления к нулю гауссовой кривизны на полной поверхности с K < 0.
Для формулировки полученного Н.В. Ефимовым результата в этом направлении введем следующее понятие. Пусть r(P1 , P2) - расстояние на поверхности F 2, определяемое метрикой ds2, f (P ) - заданная на F 2 функция. Говорят, что функция f (P ) имеет изменение с линейной оценкой, если существуют числа c1 $ 0, c2 $ 0, такие, что | f (P1) - f (P2) | # # с1r(P1 , P2) + с2 .
Н.В. Ефимов показал, что если гауссова кривизна К полной С 2-гладкой поверхности F 2 в E 3 всюду отрицательна, то изменение функции c = (-K )-1/2 не допускает линейной оценки.
ТЕОРЕМА БЕРНШТЕЙНА
Естественно поставить вопрос о влиянии на поведение поверхности отрицательной кривизны задания других ее характеристик, например средней кривизны.
Определение. Поверхность называется минимальной, если ее средняя кривизна Н тождественно равна нулю.
Отличительным свойством минимальной поверхности является условие k1 = - k2 , где k1 , k2 - главные кривизны поверхности. Это означает, что К = k1k2 # 0, причем равенство нулю гауссовой кривизны возможно только в точках уплощения, то есть в точках, для которых k1 = k2 = 0. Поверхность, все точки которой являются точками уплощения, есть плоскость. Приведем пример минимальной поверхности вращения отрицательной кривизны.
Рассмотрим цепную линию, то есть кривую провисания тяжелой цепи с равномерно распределенной массой. Если принять горизонтальную прямую за ось Oz, вертикальную за ось Or, то уравнение цепной линии можно записать в виде
Поверхность, образованная вращением цепной линии вокруг оси Oz, называется катеноидом. Непосредственный подсчет показывает, что для катеноида Н ╞ 0. Катеноид является единственной минимальной поверхностью вращения отрицательной кривизны К < 0.
Рассмотрим линейчатую поверхность, называемую геликоидом и заданную уравнением = {u cos u, u sin u, au}, где - ? < u < ?, - ? < u < ?, а = const, a > 0. Геликоид можно представить как поверхность, образованную прямой линией при ее равномерном винтовом движении (рис. 4). Геликоид является единственной линейчатой минимальной поверхностью отрицательной кривизны К < 0.
Приведенные выше минимальные поверхности являются полными поверхностями отрицательной кривизны. Естественно возникает задача нахождения полных минимальных поверхностей, однозначно проектирующихся на всю плоскость. Решение этой задачи было дано С.Н. Бернштейном. Им была доказана
Теорема Бернштейна. Если минимальная поверхность F 2 задана уравнением z = f (x, y), где f является С 2-гладкой функцией, заданной на всей плоскости x, y, то F 2 является плоскостью.
Из теоремы Бернштейна следует, что не существует С 2-гладкой минимальной поверхности отрицательной кривизны К < 0, однозначно проектирующейся на всю плоскость.
ЗАКЛЮЧЕНИЕ
Мы затронули лишь один из вопросов теории поверхностей отрицательной кривизны: рассмотрено поведение гауссовой кривизны на полных С 2-гладких поверхностях отрицательной кривизны. В то же время остаются незатронутыми другие не менее интересные вопросы, связанные с теорией таких поверхностей. Например, существуют ли поверхности в Е 3, на которых реализуется геометрия полуплоскости Лобачевского? Допускают ли минимальные поверхности деформации в классе минимальных поверхностей с сохранением их внутренней геометрии? На эти и другие сходные вопросы можно найти ответ в работах [1-3].
ЛИТЕРАТУРА
1. Бураго Ю.Д. Геометрия поверхностей в евклидовых пространствах // Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. М.: ВИНИТИ, 1989. Т. 48. С. 5-97.
2. Розендорн Э.Р. Поверхности отрицательной кривизны // Там же. С. 98-195.
3. Ефимов Н.В. Поверхности с медленно меняющейся отрицательной кривизной // Успехи мат. наук. 1966. Т. 21, вып. 5(131). С. 3-58.
4. Каган В.Ф. Основы теории поверхностей. М.; Л.: ОГИЗ ГИТТЛ, 1948. Ч. 2. 407 с.
* * *
Валентин Трофимович Фоменко, доктор физико-математических наук, профессор, зав. кафедрой алгебры и геометрии Таганрогского государственного педагогического института, член-корреспондент Российской академии естествознания, заслуженный деятель науки РФ. Область научных интересов - геометрия, дифференциальные и интегральные уравнения. Автор и соавтор более 170 научных работ, одной монографии и четырех учебных пособий для студентов.
