Длина кривой

Длина кривой (или, что то же, длина дуги кривой) в метрическом пространстве — числовая характеристика протяжённости этой кривой. Если длина кривой существует и конечна, то говорят, что кривая спрямляемая, в противном случае — неспрямляемая.

Евклидово пространство

Для евклидова пространства длина отрезка кривой определяется как точная верхняя грань длин вписанных в кривую ломаных. Для наглядности рассмотрим трёхмерное пространство. Пустьнепрерывная кривая   задана параметрически:

(1)

где  . Рассмотрим всевозможные разбиения интервала значений параметра   на   отрезков:  . Соединив точки кривой   отрезками прямых, мы получим ломаную линию. Тогда длина отрезка кривой определяется как точная верхняя грань суммарных длин всех таких ломаных.

Всякая непрерывная кривая имеет длину, конечную или бесконечную. Если все функции в (1) являются функциями ограниченной вариации, то длина кривой существует и конечна. Вматематическом анализе выводится формула для вычисления длины   отрезка кривой, заданной уравнениями (1), при условии, что все три функции непрерывно дифференцируемы:

(2)

Формула подразумевает, что   и длина отсчитывается в сторону возрастания параметра t. Если рассматриваются два разных направления отсчёта длины от точки кривой, то часто удобно приписать дуге на одном из этих направлений знак минус.

В n-мерном случае вместо (2) имеем аналогичную формулу:

.

Можно также вычислить длину кривой   через криволинейный интеграл I рода:

Длина дуги как параметр

Кривая допускает бесчисленное множество различных способов параметрического задания уравнениями вида (1). Среди них особое значение имеет так называемая естественная параметризация, когда параметром служит длина дуги кривой, отсчитываемая от некоторой фиксированной точки.

Среди преимуществ такой параметризации:

1. Производная радиус-вектора   имеет единичную длину и поэтому совпадает с единичным вектором касательной.

2.  по длине совпадает с кривизной кривой, а по направлению — с её главной нормалью.

Евклидова плоскость

Если плоская кривая задана уравнением   то её длина равна:

В полярных координатах 

Риманово пространство

В n-мерном римановом пространстве с координатами   кривая задаётся параметрическими уравнениями:

, (3)

Длина кривой в римановом пространстве задаётся формулой:

,

где :   — метрический тензор. Пример: кривая на поверхности в  .

Общее метрическое пространство

В более общем случае произвольного метрического пространства   длиной   кривой называется вариация задающего кривую отображения, то есть длина кривой  определяется согласно формуле:

где верхняя грань берётся, как и ранее, по всем разбиениям   отрезка  .

Формула Грина

Пусть   — положительно ориентированная кусочно-гладкая замкнутая кривая на плоскости, а   — область, ограниченная кривой  . Если функции  ,  определены в области   и имеют непрерывные частные производные 

,  ,

то

На символе интеграла часто рисуют окружность, чтобы подчеркнуть, что кривая   замкнута.

Формула Гаусса – Остроградского

где   и   — дифференциалы объёма и поверхности соответственно. В современной записи   — элемент объёма,   — элемент поверхности.

 — функции, непрерывные вместе со своими частными производными первого порядка в замкнутой области пространства, ограниченного замкнутой гладкой поверхностью.

Обобщением формулы Остроградского является формула Стокса для многообразий с краем.