Дифференциальная геометрия кривых
Дифференциальная геометрия кривых — раздел дифференциальной геометрии, который занимается исследованием гладких пространственных и плоских кривых в евклидовом пространстве аналитическими методами.
Способы задания кривой
Наиболее общий способ задать уравнение пространственной кривой — параметрический:
(1) |
где
Часто удобно использовать инвариантную и компактную запись уравнения кривой с помощью вектор-функции:
,
где в левой части стоит радиус-вектор точек кривой, а правая определяет его зависимость от некоторого параметра
В зависимости от свойств дифференцируемости функций
,
где
Для того чтобы точка кривой, заданной общим уравнением (1), была обыкновенной (не особой точкой), достаточно, чтобы в этой точке выполнялось нижеуказанное неравенство
Дифференциальная геометрия рассматривает также кусочно-гладкие кривые, которые состоят из гладких участков, разделённых особыми точками. В особых точках определяющие функции либо не удовлетворяют условиям регулярности, либо вообще не дифференцируемы.
Плоские кривые
Важный класс кривых представляют плоские кривые, то есть кривые, лежащие в плоскости. Плоскую кривую также можно задать параметрически, первыми двумя из трёх уравнений (1). Другие способы:
- Явное задание:
. - Неявное задание:
.
Функции

Приведём примеры особых точек для плоских кривых.
- Полукубическая парабола:
Обе производные равны нулю в начале координат. Это особая точка (точка возврата первого рода), в ней вектор касательной скачкообразно меняет направление на противоположное. - Уравнение
определяет кривую, состоящую из прямой и изолированной особой точки в начале координат.
- Лемниската Бернулли — особая точка при самопересечении. В особой точке функция дифференцируема, однако условие регулярности нарушено.
Соприкосновение
Ряд основных понятий теории кривых вводится с помощью понятия соприкосновения множеств,которое состоит в следующем.
Пусть
при ,
где
В применении к кривым это означает следующее: две кривые в общей точке имеют степень касания не ниже k-го порядка, если их производные в общей точке, до k-го порядка включительно, совпадают.
Касательная

Если в качестве
Гладкая регулярная кривая в каждой точке имеет определённую касательную. Направление касательной в точке
В дифференциальной геометрии выводятся уравнения касательной для различных способов аналитического задания кривой. В частности, для кривой, задаваемой уравнениями (1), уравнения касательной в точке, отвечающей значению параметра
,
где индекс
Для плоской кривой уравнение касательной в точке
- Параметрическое задание:
- Явное задание:
- Неявное задание:
Соприкасающаяся плоскость и нормали
Если взять в качестве
Пусть
Прямая, перпендикулярная касательной и проходящая через точку касания, называется нормалью к кривой. Плоскость, перпендикулярная касательной в данной точке кривой, называется нормальной плоскостью; все нормали для данной точки лежат в нормальной плоскости. Нормаль, лежащую в соприкасающейся плоскости, называют главной нормалью, а нормаль, перпендикулярная соприкасающейся плоскости, называется бинормалью[1]. Также нормалью и бинормалью для краткости могут называть единичные векторы вдоль этих прямых (при этом направление вектора главной нормали обычно выбирают совпадающим с направлением вектора кривизны кривой[2]).
Векторное уравнение бинормали в точке, отвечающей значению
Направление главной нормали может быть получено как двойное векторное произведение:
Для плоской кривой содержащая её плоскость совпадает с соприкасающейся. Нормаль, с точностью до знака, только одна — главная, и её уравнение в точке
- Параметрическое задание:
- Явное задание:
- Неявное задание:
Соприкасающаяся окружность
Окружность, соприкасающаяся с кривой в заданной точке
Центр соприкасающейся окружности называют центром кривизны, а радиус — радиусом кривизны. Радиус кривизны является величиной, обратной кривизне (см. ниже). Центр соприкасающейся окружности всегда лежит на главной нормали; отсюда следует, что эта нормаль всегда направлена в сторону вогнутости кривой.
Геометрическое место центров кривизны кривой называется эволютой. Кривая, ортогонально пересекающая касательные кривой, называется эвольвентой. Построение эволюты и эвольвенты — взаимно обратные операции, то есть для эвольвенты данной кривой эволютой является сама кривая.
Длина дуги кривой
Для измерения длины участка (дуги) произвольной кривой эта кривая заменяется ломаной, содержащей точки кривой как точки излома, и максимум суммы длин всех таких ломаных принимается за длину кривой (рис. 3). В инвариантном виде формула для вычисления длины дуги (спрямления кривой) имеет вид:
То же в декартовых координатах:
В полярных координатах для плоской кривой:
Параметризация
Кривая допускает бесчисленное множество различных способов параметрического задания уравнениями вида (1). Среди них особое значение имеет так называемая естественная параметризация, когда параметром служит длина дуги кривой, отсчитываемая от некоторой фиксированной точки.
Среди преимуществ такой параметризации:
имеет единичную длину и поэтому совпадает с ортом касательной. по длине совпадает с кривизной, а по направлению — с главной нормалью.
Кривизна
При движении вдоль кривой её касательная меняет направление. Скорость этого вращения (отношение угла поворота касательной за бесконечно малый промежуток времени к этому промежутку) при равномерном, с единичной скоростью, движении вдоль кривой называется кривизной кривой. Производная же по времени положительного единичного вектора касательной называется в этом случае вектором кривизны кривой. То и другое - функции точки кривой. Кривизна есть абсолютная величина вектора кривизны.
В случае произвольного параметрического задания кривой[3] кривизна кривой в трехмерном пространстве определяется по формуле
,
где
В координатах:
Для кривой в более многомерном пространстве можно заменить векторное произведение, обозначенное здесь квадратными скобками, на внешнее произведение.
Также для кривой в пространстве любой размерности можно воспользоваться формулой вектора кривизны:
и фактом, что кривизна есть его модуль, а также выражением для единичного вектора касательной
и
и получить для кривизны формулу:
или, раскрыв скобки:
Прямые и только прямые имеют всюду равную нулю кривизну. Поэтому кривизна наглядно показывает, насколько (в данной точке) кривая отличается от прямой линии: чем ближе кривизна к нулю, тем это отличие меньше. Кривизна окружности радиуса R равна 1/R.
Дважды дифференцируемая кривая в каждой точке, где кривизна отлична от нуля, имеет единственную соприкасающуюся плоскость.
Для плоских кривых можно различать направление вращения касательной при движении вдоль кривой, поэтому кривизне можно приписывать знак в зависимости от направления этого вращения. Кривизна плоской кривой, задаваемой уравнениями
.
Знак
Кручение
При движении вдоль кривой в окрестности заданной точки соприкасающаяся плоскость вращается, причём касательная к кривой является мгновенной осью этого вращения. Скорость вращения соприкасающейся плоскости при равномерном, с единичной скоростью, движении называется кручением. Направление вращения определяет знак кручения.
Трижды дифференцируемая кривая в каждой точке с отличной от нуля кривизной имеет определённое кручение. В случае произвольного параметрического задания кривой уравнениями (1) кручение кривой определяется по формуле
здесь
Для прямой кручение не определено, поскольку неоднозначно определяется соприкасающаяся плоскость. Плоская кривая в каждой точке имеет кручение, равное нулю. Обратно, кривая с тождественно равным нулю кручением — плоская.
Формулы Френе
Фигура, составленная из касательной, главной нормали и бинормали, а также из трех плоскостей, попарно содержащих эти прямые, называют естественным трёхгранником (трёхгранником Френе, см. рис. 4). Соприкасающаяся и нормальная плоскости уже упоминались; третья плоскость, содержащая касательную и бинормаль, называется спрямляющей.
Если рёбра естественного трёхгранника в данной точке кривой принять за оси прямоугольной декартовой системы координат, то уравнение кривой в естественной параметризации раскладывается в окрестности этой точки в ряд по координате вдоль кривой:
где
Единичные векторы
((2)) |
где дифференцирование идёт по дуге кривой. Формулы (2) называют формулами Френе́, или Френе-Серре.
Кинематическое истолкование
Будем рассматривать длину дуги заданной кривой как время, а трёхгранник Френе — как твёрдое тело, движущееся вдоль кривой. Тогда это движение в каждый момент времени состоит из поступательного (вдоль касательной) и мгновенного вращения с угловой скоростью
Это означает, что вектор мгновенного вращения лежит в спрямляющей плоскости и распадается на 2 составляющие: вращение вокруг бинормали со скоростью
Натуральные уравнения кривой
Кривая с отличной от нуля кривизной полностью определяется (с точностью до положения в пространстве) заданием её кривизны и кручения как функций дуги
называют натуральными уравнениями кривой.
Пример
Рассмотрим винтовую линию (рис. 4), заданную уравнениями:
По вышеприведенным формулам получаем:
Таким образом, кривизна и кручение винтовой линии постоянны. Поскольку натуральные уравнения однозначно определяют форму кривой, других кривых с постоянными кривизной и кручением не существует. Предельными случаями винтовой линии являются окружность (она получается при
Примечания
- ↑ Бинормаль // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
- ↑ Плоскость, соприкасающаяся с кривой в данной точке, таким образом, есть плоскость, в которой лежат касательный вектор и вектор кривизны, полагая, что каждый из этих векторов имеет начало в данной точке кривой.
- ↑ Т.е. при движении вдоль кривой вообще говоря не с постоянной скоростью по мере роста параметра t.
См. также
Литература
- Погорелов А. В. Дифференциальная геометрия (6-е издание). М.: Наука, 1974.
- Рашевский П. К. Курс дифференциальной геометрии (3-е издание). М.-Л.: ГИТТЛ, 1950.
- Топоногов, В. А. Дифференциальная геометрия кривых и поверхностей. — Физматкнига, 2012. — ISBN 978-5-89155-213-5.