Понятие кривизны поверхности является фундаментальным в дифференциальной геометрии, описывая степень отклонения поверхности от плоскости. Кривизна может быть положительной, как у сферы, нулевой, как у плоскости или цилиндра, или отрицательной, как у седла. Поверхности с постоянной отрицательной кривизной сыграли ключевую роль в развитии неевклидовой геометрии. В частности, работы Николая Лобачевского, Яноша Бойяи и Карла Фридриха Гаусса заложили основы для понимания пространств, отличных от евклидова. Эудженио Бельтрами первым доказал непротиворечивость неевклидовой геометрии, смоделировав ее на псевдосфере. Гаусс также изучал поверхность вращения трактрисы, отмечая ее постоянную отрицательную гауссову кривизну в неопубликованных заметках.
Псевдосфера Бельтрами (2-го порядка)
Псевдосфера Бельтрами стала отправной точкой для последующих исследований, направленных на создание новых классов псевдоповерхностей, но уже с переменной отрицательной кривизной. Таких как псевдопараболоид, псевдогиперболоид и псевдоэллипсоид.
Фундаментальная псевдосфера Бельтрами с постоянной отрицательной кривизной
Псевдосфера определяется как поверхность с постоянной отрицательной гауссовой кривизной, что противоположно сфере, имеющей положительную кривизну. Величина постоянной отрицательной гауссовой кривизны составляет K = -1/R2,
где R – псевдорадиус поверхности.
Псевдосфера образуется вращением трактрисы, также известной как трактоида или эквитангенциальная кривая. Трактриса представляет собой путь объекта, который тянут за нить постоянной длины по прямой горизонтальной линии, причем нить всегда остается касательной к траектории.
Существует несколько параметрических уравнений трактрисы, в зависимости от выбранной параметризации:
– с использованием параметра t: x(t) = a (t – tanht), y(t) = a secht.
– с использованием угла Q: x = a(ln[tan(Q/2)] + cosQ), y = a sinQ.
– с использованием обратной функции Гудермана gd-1Q: x = a gd-1Q – sinQ, y = a cosQ.
другие формы, включающие гиперболические функции и логарифмы.
Дифференциальное уравнение трактрисы имеет вид: dydx = − Sqrt (a2−x2)/x. Геометрия псевдосферы представляет собой поверхность вращения трактрисы вокруг ее асимптоты, причем асимптота становится осью вращения.
Первая фундаментальная форма (метрический тензор) псевдосферы может быть записана как ds2 = du2 + dv2/v2 в подходящей параметризации, или ds2 = a2 sech2(v) dv2 + a2 sech4(v) du2.