Длина кривой
Длина кривой (или, что то же, длина дуги кривой) — числовая характеристика протяжённости этой кривой[1]. Исторически вычисление длины кривой называлось спрямлением кривой (от лат. rectificatio, спрямление).
Содержание
1 Определение
1.1 Связанные определения
2 Свойства
3 История
4 Вариации и обобщения
4.1 Риманово пространство
4.2 Общее метрическое пространство
5 См. также
6 Примечания
7 Литература
Определение |
Для евклидова пространства длина отрезка кривой определяется как точная верхняя грань длин вписанных в кривую ломаных.
Например, для непрерывной кривой γ{displaystyle gamma } в трёхмерном пространстве, заданной параметрически:
x=x(t),y=y(t),z=z(t){displaystyle x=x(t),quad y=y(t),quad z=z(t)} | (1) |
где a⩽t⩽b{displaystyle aleqslant tleqslant b}, всевозможные разбиения интервала значений параметра [a,b]{displaystyle [a,b]} на m{displaystyle m} отрезков: a=t0<t1<⋯<tm=b{displaystyle a=t_{0}<t_{1}<dots <t_{m}=b}. Соединение точек кривой γ(t0),…,γ(tm){displaystyle gamma (t_{0}),dots ,gamma (t_{m})} отрезками прямых даёт ломаную линию. Тогда длина отрезка кривой определяется как точная верхняя грань суммарных длин всех таких ломаных.
Связанные определения |
- Всякая кривая имеет длину, конечную или бесконечную. Если длина кривой существует и конечна, то говорят, что кривая спрямляемая, в противном случае — неспрямляемая. (Снежинка Коха — классический пример неспрямляемой кривой.)
- Параметризация кривой длиной дуги называется естественной.
- Кривая есть частный случай функции из отрезка в пространство. Вариация функции, определяемая в математическом анализе, является обобщением длины кривой (см. ниже).
Свойства |
- Если все функции в (1) являются функциями ограниченной вариации, то длина кривой существует и конечна.
- В математическом анализе выводится формула для вычисления длины s{displaystyle s} отрезка кривой, заданной уравнениями (1), при условии, что все три функции непрерывно дифференцируемы:
s=∫abx′2(t)+y′2(t)+z′2(t)dt{displaystyle s=int limits _{a}^{b}{sqrt {{x'}^{2}(t)+{y'}^{2}(t)+{z'}^{2}(t)}},dt} | (2) |
- Формула подразумевает, что a⩽b{displaystyle aleqslant b} и длина отсчитывается в сторону возрастания параметра t. Если рассматриваются два разных направления отсчёта длины от точки кривой, то часто удобно приписать дуге на одном из этих направлений знак минус.
- В n-мерном случае вместо (2) имеем аналогичную формулу:
s=∫ab∑k=1nfk′2(t)dt{displaystyle s=int limits _{a}^{b}{sqrt {sum limits _{k=1}^{n}{f'_{k}}^{2}(t)}},dt}.
- Можно также вычислить длину кривой γ{displaystyle gamma } через криволинейный интеграл I рода:
- s=∫γdγ{displaystyle s=int limits _{gamma }dgamma }
- Если плоская кривая задана уравнением y=f(x),{displaystyle y=f(x),} то её длина равна:
- s=∫ab1+f′2(x)dx.{displaystyle s=int limits _{a}^{b}{sqrt {1+{f'}^{2}(x)}},dx.}
- В полярных координатах (r,φ):{displaystyle (r,varphi ):}
- s=∫abr2+(drdφ)2dφ.{displaystyle s=int limits _{a}^{b}{sqrt {r^{2}+left({frac {dr}{dvarphi }}right)^{2}}},dvarphi .}
Формула Крофтона позволяет вычислить длину кривой на плоскости как интеграл числа её пересечений с прямыми по естественной мере на пространстве прямых.
История |
Задача спрямления оказалась гораздо сложнее, чем вычисление площади, и в античные времена единственное успешное спрямление было выполнено для окружности. Декарт даже высказывал мнение, что «отношение между прямыми и кривыми неизвестно и, даже, думаю, не может быть познано людьми»[2][3].
Первым достижением стало спрямление параболы Нейла (1657), выполненное Ферма и самим Нейлом. Вскоре была найдена длина арки циклоиды (Рен, Гюйгенс). Джеймс Грегори (ещё до открытия математического анализа) создал общую теорию нахождения длины дуги, которая немедленно была использована для различных кривых.
Вариации и обобщения |
Риманово пространство |
В n-мерном римановом пространстве с координатами x1⋯xn{displaystyle x^{1}cdots x^{n}} кривая задаётся параметрическими уравнениями:
xi=xi(t){displaystyle x^{i}=x^{i}(t)qquad qquad }, | ((3)) |
Длина кривой в римановом пространстве задаётся формулой:
s=∫abgijdxidtdxjdtdt{displaystyle s=int limits _{a}^{b}{sqrt {g_{ij}{dx^{i} over dt}{dx^{j} over dt}}},dt},
где : gij{displaystyle g_{ij}} — метрический тензор.
Пример: кривая на поверхности в R3{displaystyle mathbb {R} ^{3}}.
Общее метрическое пространство |
В более общем случае произвольного метрического пространства (X,ρ){displaystyle (X,rho )} длиной S{displaystyle S} кривой называется вариация задающего кривую отображения, то есть длина кривой γ:[a,b]→X{displaystyle gamma :[a,b]to X} определяется согласно формуле:
- s=sup∑k=0mρ(γ(xk+1),γ(xk)),{displaystyle s=sup sum limits _{k=0}^{m}rho (gamma (x_{k+1}),gamma (x_{k})),}
где верхняя грань берётся, как и ранее, по всем разбиениям a=x0<x1<⋯<xm=b{displaystyle a=x_{0}<x_{1}<dots <x_{m}=b} отрезка [a,b]{displaystyle [a,b]}.
См. также |
- Дифференциальная геометрия кривых
- Объём
- Определённый интеграл
- Площадь
- Дуга окружности
- Кривая Пеано
Примечания |
↑ Длина // Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982. — Т. 2.
↑ Ренэ Декарт. Геометрия. С приложением избранных работ П. Ферма и переписки Декарта / Перевод, примечания и статьи А. П. Юшкевича. — М.—Л.: Гостехиздат, 1938. — С. 49. — 297 с. — (Классики естествознания).
↑ Оригинал цитаты на французском языке: «la proportion, qui est entre les droites & les courbes n'estant pas connuë, & mesme ie croy ne le pouuant estre par les hommes», см. Descartes, René. Discours de la méthode.... — 1637. — С. 340.
Литература |
- Мерзон Г.А., Ященко И.В. Длина, площадь, объем. — МЦНМО, 2011. — ISBN 9785940577409.
- Корн Г., Корн Т. Справочник по математике (для научных работников и инженеров). — М.: Наука, 1973.
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления в трёх томах. — Изд. 6-е. — М.: Наука, 1966.