Геодезическая кривизна кривой в римановой геометрии измеряет, насколько сильно кривая отличается от геодезической. Например, для 1D кривой на 2D поверхности, вложенной в 3D пространство, это кривизна кривой, спроецированной на плоскость, касательную к поверхности. Более общо, в заданном многообразии геодезическая кривизна ― это обычная кривизна кривой (см. ниже). Однако если кривая лежит в подмногообразии многообразия (например, для кривизны поверхности), геодезическая кривизна относится к кривизне в , и она отличается в общем виде от кривизны в объемлющем многообразии . (Объемлющая) кривизна кривой зависит от двух факторов ― кривизны подмногообразия в направлении (нормальная кривизна), которая зависит только от направления кривой и кривизны в многообразии (геодезическая кривизна ), которая является величиной второго порядка. Связь между ними ― . В частности, геодезические на имеют нулевую геодезическую кривизну («прямые»), так что .
Рассмотрим кривую на многообразии , параметризованную длиной кривой, с единичным касательным вектором . Её кривизна равна норме ковариантной производной вектора : . Если лежит на , геодезическая кривизна равна норме проекции ковариантной производной на касательное пространство подмногообразия. Напротив, нормальная кривизна равна норме проекции на нормальное расслоение подмногообразия в рассматриваемой точке.
Если объемлющее многообразие является евклидовым пространством , то ковариантная производная равна обычной производной .
Пример
Пусть будет единичной сферой в трёхмерном евклидовом пространстве. Нормальная кривизна сферы равна 1, независимо от рассматриваемого направления. Большие круги имеют кривизну , так что они имеют нулевую геодезическую кривизну, а потому являются геодезическими. Меньшие круги радиуса будут иметь кривизну и геодезическую кривизну .
Некоторые результаты, использующие геодезическую кривизну
Геодезическая кривизна ― это не что иное, как обычная кривизна, вычисленная в подмногообразии . Она не зависит от способа размещения подмногообразия в .
Геодезическая на имеет нулевую геодезическую кривизну, что эквивалентно высказыванию, что ортогонален касательному пространству к .
С другой стороны, нормальная кривизна строго зависит от того, как подмногообразие расположено в объемлющем пространстве, но мало от кривой ― зависит только от точки на многообразии и направления , но не от .
В общей римановой геометрии производная вычисляется с помощью связности Леви-Чивиты объемлющего многообразия: . Она распадается на касательную часть и нормальную часть для подмногообразия ― . Касательная часть является обычной производной в (это частный случай уравнения Гаусса для Уравнения Петерсона ― Кодацци), в то время как нормальная часть равна , где означает вторую квадратичную форму.