Элеме́нт длины́ [1] (англ. line element; length element ) — понятие математического анализа и дифференциальной геометрии , точнее — интегрального исчисления , элемент интегрирования , главная линейная часть приращения длины кривой , то есть малый отрезок касательной к кривой в рассматриваемой точке. Синонимы: дифференциал длины дуги[2] , дифференциал дуги [2] [3] , элемент дуги [2] , линейный элемент [4] .
Элемент длины
d
l
{\displaystyle dl}
Обозначается
d
l
{\displaystyle dl}
или[2]
d
s
{\displaystyle ds}
. При вычислении циркуляции векторного поля представляется в векторной форме как
d
l
→
=
d
l
⋅
e
→
t
{\displaystyle d{\vec {l}}=dl\cdot {\vec {e}}_{t}}
,
где
e
→
t
{\displaystyle {\vec {e}}_{t}}
— единичный вектор вдоль касательной[5] [6] [7] [8] .
Математическая запись элемента длины зависит от типа системы координат и вида рассматриваемой кривой. В случае декартовой системы элемент длины плоской кривой может выражаться формулой[2] [3] [9] [10] [11]
d
l
=
d
x
2
+
d
y
2
{\displaystyle dl={\sqrt {dx^{2}+dy^{2}}}}
.
Её правомерность видна из геометрических рассуждений. Пусть аргумент есть абсцисса
x
{\displaystyle x}
. Элемент длины
d
l
{\displaystyle dl}
отвечает длине части
M
P
{\displaystyle MP}
касательной к дуге [англ.] от точки касания [англ.]
M
{\displaystyle M}
до пересечения
P
{\displaystyle P}
с приращённой ординатой (см. рис.)[2] . Дифференциал
d
x
{\displaystyle dx}
равен
M
Q
{\displaystyle MQ}
, дифференциал
d
y
=
Q
P
{\displaystyle dy=QP}
, и по теореме Пифагора для
d
l
=
M
P
{\displaystyle dl=MP}
получается выписанное выражение[2] . По сути, формула приравнивает приращение касательной к дуге
d
l
{\displaystyle dl}
к главной части приращения длины дуги
Δ
l
=
M
N
⌣
{\displaystyle \Delta l={\stackrel {\smile }{MN}}}
[9] .
Квадрат элемента длины, выраженный через координаты пространства , называется метрической формой пространства [4] .
Длина
l
{\displaystyle l}
плоской или пространственной дуги
A
B
⌣
{\displaystyle {\stackrel {\smile }{AB}}}
в любом пространстве находится как[4] [12] :
l
=
∫
(
A
)
(
B
)
1
d
l
{\displaystyle l=\int _{(A)}^{(B)}1\,dl}
.
Элемент длины используется при вычислении обычных (не кратных ) определённых интегралов . Определённым интегралом с интегральным элементом длины можно выразить целый ряд геометрических и физических величин, например, длину кривой (с подынтегральной функцией 1), площадь или объём (со скалярной подынтегральной функцией), циркуляцию физического вектора по некоему контуру (с векторной подынтегральной функцией)[6] [13] .
Аналоги элемента длины больших размерностей — элемент площади и элемент объёма , которые принципиально отличаются от элемента длины тем, что не являются приращениями соответствующих величин — площади и объёма[14] .
Двумерный (плоский) случай
Рассмотрим на плоскости параметрически заданную кривую
L
{\displaystyle L}
, определяемую в декартовой системе координат параметрическими уравнениями
x
=
φ
(
t
)
,
{\displaystyle x=\varphi (t),\quad }
y
=
ψ
(
t
)
,
{\displaystyle y=\psi (t),}
причём у функций
φ
(
t
)
{\displaystyle \varphi (t)}
и
ψ
(
t
)
{\displaystyle \psi (t)}
производные непрерывны на отрезке
[
α
,
β
]
{\displaystyle [\alpha ,\beta ]}
. В силу формулы вычисления длины отрезка кривой длина
l
(
t
)
{\displaystyle l(t)}
переменной дуги задаётся следующей формулой[3] :
l
(
t
)
=
∫
α
t
φ
′
2
(
τ
)
+
ψ
′
2
(
τ
)
d
τ
.
{\displaystyle l(t)=\int _{\alpha }^{t}{\sqrt {\varphi '^{2}(\tau )+\psi '^{2}(\tau )}}d\tau .}
В этой формуле подынтегральная функция непрерывна , следовательно,
l
′
(
t
)
=
φ
′
2
(
t
)
+
ψ
′
2
(
t
)
{\displaystyle l'(t)={\sqrt {\varphi '^{2}(t)+\psi '^{2}(t)}}}
по свойству интеграла с верхним переменным пределом . Обе части этого равенства возведём в квадрат и потом умножим на
d
t
2
{\displaystyle dt^{2}}
, получим:
(
l
′
(
t
)
d
t
)
2
=
(
φ
′
(
t
)
d
t
)
2
+
(
ψ
′
(
t
)
d
t
)
2
,
{\displaystyle (l'(t)dt)^{2}=(\varphi '(t)dt)^{2}+(\psi '(t)dt)^{2},}
откуда по причине того, что
l
′
(
t
)
d
t
=
d
l
,
{\displaystyle l'(t)dt=dl,\quad }
φ
′
(
t
)
d
t
=
d
x
,
{\displaystyle \varphi '(t)dt=dx,\quad }
ψ
′
(
t
)
d
t
=
d
y
,
{\displaystyle \psi '(t)dt=dy,}
окончательно получаем квадрат элемента длины[3] :
d
l
2
=
d
x
2
+
d
y
2
.
{\displaystyle dl^{2}=dx^{2}+dy^{2}.}
Если в качестве параметра уравнений кривой взять длину
l
{\displaystyle l}
переменной дуги (естественная параметризация ), то есть положить
x
=
g
(
l
)
,
{\displaystyle x=g(l),\quad }
y
=
h
(
l
)
,
{\displaystyle y=h(l),}
то тогда имеет место следующее равенство[3] :
(
d
x
d
l
)
2
+
(
d
y
d
l
)
2
=
1.
{\displaystyle \left({\frac {dx}{dl}}\right)^{2}+\left({\frac {dy}{dl}}\right)^{2}=1.}
Общий трёхмерный случай
Обобщая полученные результаты на трёхмерное пространство , получаем, что для параметрически заданной пространственной кривой
L
{\displaystyle L}
, определяемой в декартовой системе координат параметрическими уравнениями
x
=
φ
(
t
)
,
{\displaystyle x=\varphi (t),\quad }
y
=
ψ
(
t
)
,
{\displaystyle y=\psi (t),\quad }
z
=
χ
(
t
)
,
{\displaystyle z=\chi (t),}
причём у функций
φ
(
t
)
{\displaystyle \varphi (t)}
,
ψ
(
t
)
{\displaystyle \psi (t)}
и
χ
(
t
)
{\displaystyle \chi (t)}
производные непрерывны на отрезке
[
α
,
β
]
{\displaystyle [\alpha ,\beta ]}
, верна следующая формула для квадрата элемента длины[11] [15] [16] :
d
l
2
=
d
x
2
+
d
y
2
+
d
z
2
.
{\displaystyle dl^{2}=dx^{2}+dy^{2}+dz^{2}.}
Из этой формулы следует, что если в качестве параметра уравнений пространственной кривой взять длину
l
{\displaystyle l}
переменной дуги, то есть положить
x
=
g
(
l
)
,
{\displaystyle x=g(l),\quad }
y
=
h
(
l
)
,
{\displaystyle y=h(l),\quad }
z
=
k
(
l
)
,
{\displaystyle z=k(l),}
то тогда имеет место следующее равенство[16] [17] :
(
d
x
d
l
)
2
+
(
d
y
d
l
)
2
+
(
d
z
d
l
)
2
=
1.
{\displaystyle \left({\frac {dx}{dl}}\right)^{2}+\left({\frac {dy}{dl}}\right)^{2}+\left({\frac {dz}{dl}}\right)^{2}=1.}
Плоский случай, полярные координаты
Элемент длины в полярной системе координат определяется следующей формулой[18] :
d
l
=
d
ρ
2
+
ρ
2
d
φ
2
.
{\displaystyle dl={\sqrt {d\rho ^{2}+\rho ^{2}d\varphi ^{2}}}.}
Элемент длины
d
l
{\displaystyle dl}
в полярных координатах
Вычислим элемент длины на плоскости в полярной системе координат. Пусть даны некоторая дуга и произвольная точка
M
{\displaystyle M}
на ней (см. рис.). Проведём координатную окружность (с центром в начале координат
O
{\displaystyle O}
) радиуса
O
M
=
ρ
{\displaystyle OM=\rho }
. Рассмотрим криволинейный треугольник
M
K
N
{\displaystyle MKN}
, образованный дугой окружности
M
K
⌣
=
ρ
Δ
φ
{\displaystyle {\stackrel {\smile }{MK}}=\rho \Delta \varphi }
, отрезком
K
N
=
Δ
ρ
{\displaystyle KN=\Delta \rho }
и частью
M
N
⌣
=
Δ
l
{\displaystyle {\stackrel {\smile }{MN}}=\Delta l}
исходной дуги, причём у этого треугольника угол при вершине
K
{\displaystyle K}
прямой . Теорема Пифагора для такого криволинейного треугольника в точности не соблюдается, но когда дуга
M
N
⌣
{\displaystyle {\stackrel {\smile }{MN}}}
бесконечно мала, сумма квадратов «катетов» эквивалентна квадрату «гипотенузы»:
M
N
⌣
≈
K
N
2
+
K
M
⌣
2
{\displaystyle {\stackrel {\smile }{MN}}\approx {\sqrt {KN^{2}+{\stackrel {\smile }{KM}}\,\!^{2}}}}
,
то есть в других обозначениях
Δ
l
≈
Δ
ρ
2
+
ρ
2
Δ
φ
2
≈
d
ρ
2
+
ρ
2
d
φ
2
{\displaystyle \Delta l\approx {\sqrt {\Delta \rho ^{2}+\rho ^{2}\Delta \varphi ^{2}}}\approx {\sqrt {d\rho ^{2}+\rho ^{2}d\varphi ^{2}}}}
,
а эта формула и представляет элемент длины дуги
l
{\displaystyle l}
в полярной системе координат[18] .
Дифференциал дуги в полярной системе координат можно вычислить, исходя из элемента длины в декартовой системе координат
d
l
=
d
x
2
+
d
y
2
{\displaystyle dl={\sqrt {dx^{2}+dy^{2}}}}
,
используя формулы, выражающие декартовы координаты через полярные [19] :
x
=
ρ
cos
φ
,
{\displaystyle x=\rho \cos \varphi ,\quad }
y
=
ρ
sin
φ
.
{\displaystyle y=\rho \sin \varphi .}
Действительно, вычислим дифференциалы координат
d
x
=
d
(
ρ
cos
φ
)
=
cos
φ
d
ρ
−
ρ
sin
φ
d
φ
{\displaystyle dx=d(\rho \cos \varphi )=\cos \varphi \,d\rho -\rho \sin \varphi \,d\varphi }
,
d
y
=
d
(
ρ
sin
φ
)
=
sin
φ
d
ρ
+
ρ
cos
φ
d
φ
{\displaystyle dy=d(\rho \sin \varphi )=\sin \varphi \,d\rho +\rho \cos \varphi \,d\varphi }
и подставим эти равенства в элемент длины в декартовых координатах, получим[19] :
d
l
=
(
cos
φ
d
ρ
−
ρ
sin
φ
d
φ
)
2
+
(
sin
φ
d
ρ
+
ρ
cos
φ
d
φ
)
2
=
{\displaystyle dl={\sqrt {(\cos \varphi \,d\rho -\rho \sin \varphi \,d\varphi )^{2}+(\sin \varphi \,d\rho +\rho \cos \varphi \,d\varphi )^{2}}}=}
=
d
ρ
2
+
ρ
2
d
φ
2
{\displaystyle ={\sqrt {d\rho ^{2}+\rho ^{2}d\varphi ^{2}}}}
.
Цилиндрическая и сферическая системы
Запись трёхмерного элемента длины в цилиндрических и сферических координатах представлена в таблице. Цилиндрическая запись при
z
=
0
{\displaystyle z=0}
и сферическая при
θ
=
π
/
2
{\displaystyle \theta =\pi /2}
превращаются в выражение для случая полярной системы[20] [21] [22] [23] .
Подробнее , ...
Система координат
Пере менные
Квадрат элемента длины
Коэффициенты Ламе
Декартова
x
,
y
,
z
{\displaystyle x,\,y,\,z}
d
l
2
=
d
x
2
+
d
y
2
+
d
z
2
{\displaystyle dl^{2}=dx^{2}+dy^{2}+dz^{2}}
L
x
=
L
y
=
L
z
=
1
{\displaystyle L_{x}=L_{y}=L_{z}=1}
Цилиндрическая
ρ
,
φ
,
z
{\displaystyle \rho ,\,\varphi ,\,z}
d
l
2
=
d
ρ
2
+
ρ
2
d
φ
2
+
d
z
2
{\displaystyle dl^{2}=d\rho ^{2}+\rho ^{2}d\varphi ^{2}+dz^{2}}
L
ρ
=
L
z
=
1
,
{\displaystyle L_{\rho }=L_{z}=1,}
L
φ
=
ρ
{\displaystyle L_{\varphi }=\rho }
Сферическая
ρ
,
θ
,
φ
{\displaystyle \rho ,\,\theta ,\,\varphi }
d
l
2
=
d
ρ
2
+
ρ
2
d
θ
2
+
ρ
2
sin
2
θ
d
φ
2
{\displaystyle dl^{2}=d\rho ^{2}+\rho ^{2}d\theta ^{2}+\rho ^{2}\sin ^{2}\theta \ d\varphi ^{2}}
L
ρ
=
1
,
{\displaystyle L_{\rho }=1,}
L
θ
=
ρ
,
{\displaystyle L_{\theta }=\rho ,}
L
φ
=
ρ
sin
θ
{\displaystyle L_{\varphi }=\rho \sin \theta }
Закрыть
Для кривой
y
=
x
2
{\displaystyle y=x^{2}}
имеем
d
l
=
d
x
2
+
d
y
2
=
1
+
|
d
y
/
d
x
|
2
d
x
=
1
+
4
x
2
d
x
=
1
+
4
y
d
x
{\displaystyle dl={\sqrt {dx^{2}+dy^{2}}}={\sqrt {1+\left|dy/dx\right|^{2}}}\,dx={\sqrt {1+4x^{2}}}\,dx={\sqrt {1+4y}}\,dx}
,
e
→
l
=
d
x
d
l
e
→
x
+
d
y
d
l
e
→
y
=
d
x
1
+
4
x
2
d
x
e
→
x
+
d
y
1
+
4
y
d
x
e
→
y
=
e
→
x
1
+
4
x
2
+
2
x
e
→
y
1
+
4
y
{\displaystyle {\vec {e}}_{l}={\frac {dx}{dl}}\,{\vec {e}}_{x}+{\frac {dy}{dl}}\,{\vec {e}}_{y}={\frac {dx}{{\sqrt {1+4x^{2}}}\,dx}}\,{\vec {e}}_{x}+{\frac {dy}{{\sqrt {1+4y}}\,dx}}\,{\vec {e}}_{y}={\frac {{\vec {e}}_{x}}{\sqrt {1+4x^{2}}}}+{\frac {2x\,{\vec {e}}_{y}}{\sqrt {1+4y}}}}
.
Ещё пример: для исходящего из начала координат луча (
θ
=
θ
0
=
{\displaystyle \theta =\theta _{0}=}
const,
φ
=
φ
0
=
{\displaystyle \varphi =\varphi _{0}=}
const) будет
d
l
=
d
ρ
=
d
x
2
+
d
y
2
+
d
z
2
=
|
cos
θ
0
|
−
1
d
z
{\displaystyle dl=d\rho ={\sqrt {dx^{2}+dy^{2}+dz^{2}}}=|\cos \theta _{0}|^{-1}\,dz}
,
e
→
l
=
e
→
ρ
=
sin
θ
0
cos
φ
0
e
→
x
+
sin
θ
0
sin
φ
0
e
→
y
+
cos
θ
0
e
→
z
{\displaystyle {\vec {e}}_{l}={\vec {e}}_{\rho }=\sin \theta _{0}\cos \varphi _{0}\,{\vec {e}}_{x}+\sin \theta _{0}\sin \varphi _{0}\,{\vec {e}}_{y}+\cos \theta _{0}\,{\vec {e}}_{z}}
.
И ещё: элемент длины циклоиды
x
=
a
(
t
−
sin
t
)
,
{\displaystyle x=a(t-\sin t),\quad }
y
=
a
(
1
−
cos
t
)
{\displaystyle y=a(1-\cos t)}
равен[24] :
d
l
=
d
x
2
+
d
y
2
=
a
2
(
1
−
cos
t
)
d
t
=
2
a
sin
t
2
d
t
,
{\displaystyle dl={\sqrt {dx^{2}+dy^{2}}}=a{\sqrt {2(1-\cos t)}}dt=2a\sin {\frac {t}{2}}\,dt,\quad }
0
⩽
t
⩽
2
π
,
a
>
0.
{\displaystyle 0\leqslant t\leqslant 2\pi ,\quad a>0.}
В этом разделе представлены квадраты элемента длины, то есть метрические формы, в некоторых важнейших римановых пространствах [25] .
Евклидово
n
{\displaystyle n}
-мерное пространство [4] :
d
l
2
=
d
x
1
2
+
d
x
2
2
+
⋯
+
d
x
n
2
{\displaystyle dl^{2}=dx_{1}^{2}+dx_{2}^{2}+\dots +dx_{n}^{2}}
.
Плоскость Лобачевского [26] :
d
l
2
=
1
k
2
(
1
−
y
2
)
d
x
2
+
2
x
y
d
x
d
y
+
(
1
−
x
2
)
d
y
2
(
1
−
x
2
−
y
2
)
2
{\displaystyle dl^{2}={\frac {1}{k^{2}}}{\frac {(1-y^{2})dx^{2}+2xydxdy+(1-x^{2})dy^{2}}{(1-x^{2}-y^{2})^{2}}}}
,
где
k
<
0
{\displaystyle k<0}
— постоянная, которая называется кривизной пространства Лобачевского;
k
2
(
x
2
+
y
2
)
<
1
{\displaystyle k^{2}(x^{2}+y^{2})<1}
[27] .
Трёхмерное пространство Лобачевского [4] :
d
l
2
=
d
x
2
+
d
y
2
+
d
z
2
[
1
+
k
4
(
x
2
+
y
2
+
z
2
)
]
2
,
{\displaystyle dl^{2}={\frac {dx^{2}+dy^{2}+dz^{2}}{\left[1+{\displaystyle {\frac {k}{4}}}(x^{2}+y^{2}+z^{2})\right]^{2}}},\quad }
1
+
k
4
(
x
2
+
y
2
+
z
2
)
>
0
{\displaystyle 1+{\frac {k}{4}}(x^{2}+y^{2}+z^{2})>0}
.
Пространство Минковского [4] :
d
l
2
=
d
t
−
1
c
2
(
d
x
2
+
d
y
2
+
d
z
2
)
{\displaystyle dl^{2}=dt-{\frac {1}{c^{2}}}(dx^{2}+dy^{2}+dz^{2})}
,
где
c
{\displaystyle c}
― скорость света ,
t
{\displaystyle t}
― время события. В пространстве Минковского элемент длины может принимать мнимое значение [4] .
Финслерово пространство [28] :
d
l
=
f
(
x
1
,
…
,
x
n
;
d
x
1
,
…
,
d
x
n
)
{\displaystyle dl=f(x^{1},\dots ,x^{n};dx^{1},\dots ,dx^{n})}
,
где
f
(
x
1
,
…
,
x
n
;
d
x
1
,
…
,
d
x
n
)
{\displaystyle f(x^{1},\dots ,x^{n};dx^{1},\dots ,dx^{n})}
— произвольная положительно однородная функция относительно аргументов
d
x
1
,
…
,
d
x
n
{\displaystyle dx^{1},\dots ,dx^{n}}
.
Для элемента длины
d
l
{\displaystyle dl}
выведем формулу в произвольных координатах, опираясь на формулу в декартовых [29] и ради краткости ограничиваясь двумерной ситуацией (хотя рассуждения можно распространить на трёхмерную).
Пусть задана система координат
(
u
,
v
)
{\displaystyle (u,\,v)}
, определяемая уравнениями
x
=
x
(
u
,
v
)
,
y
=
y
(
u
,
v
)
,
{\displaystyle x=x(u,\,v),\quad y=y(u,\,v),}
позволяющими по координатам
u
{\displaystyle u}
и
v
{\displaystyle v}
любой точки вычислить её декартовы координаты
x
{\displaystyle x}
и
y
{\displaystyle y}
. Примем[29] , что функции
x
=
x
(
u
,
v
)
{\displaystyle x=x(u,\,v)}
и
y
=
y
(
u
,
v
)
{\displaystyle y=y(u,\,v)}
непрерывно дифференцируемы и обратимы , а якобиан этих функций не равен нулю:
det
[
D
(
x
,
y
)
/
D
(
u
,
v
)
]
≠
0
{\displaystyle \det[D(x,\,y)}/{D(u,\,v)]\neq 0}
.
Пусть, далее, дана некоторая кривая
u
=
u
(
t
)
,
{\displaystyle u=u(t),}
v
=
v
(
t
)
,
{\displaystyle v=v(t),}
и пусть
d
t
{\displaystyle dt}
— изменение параметра
t
{\displaystyle t}
, а
d
l
{\displaystyle dl}
— элемент длины этой кривой, соответствующий
d
t
{\displaystyle dt}
. Тогда, подставив в уравнение
d
l
2
=
d
x
2
+
d
y
2
{\displaystyle dl^{2}=dx^{2}+dy^{2}}
величины
d
x
=
∂
x
∂
u
d
u
+
∂
x
∂
v
d
v
,
d
y
=
∂
y
∂
u
d
u
+
∂
y
∂
v
d
v
{\displaystyle dx={\frac {\partial x}{\partial u}}du+{\frac {\partial x}{\partial v}}dv,\quad dy={\frac {\partial y}{\partial u}}du+{\frac {\partial y}{\partial v}}dv}
,
где
d
u
=
u
′
(
t
)
d
t
{\displaystyle du=u'(t)dt}
,
d
v
=
v
′
(
t
)
d
t
{\displaystyle dv=v'(t)dt}
, получим[30] :
d
l
2
=
E
d
u
2
+
2
F
d
u
d
v
+
G
d
v
2
{\displaystyle dl^{2}=Edu^{2}+2Fdudv+Gdv^{2}}
,
где
E
=
∂
x
∂
u
2
+
∂
y
∂
u
2
{\displaystyle E={\frac {\partial x}{\partial u}}^{2}+{\frac {\partial y}{\partial u}}^{2}}
,
F
=
∂
x
∂
u
∂
x
∂
v
+
∂
y
∂
u
∂
y
∂
v
{\displaystyle F={\frac {\partial x}{\partial u}}{\frac {\partial x}{\partial v}}+{\frac {\partial y}{\partial u}}{\frac {\partial y}{\partial v}}}
,
G
=
∂
x
∂
v
2
+
∂
y
∂
v
2
{\displaystyle G={\frac {\partial x}{\partial v}}^{2}+{\frac {\partial y}{\partial v}}^{2}}
.
E
{\displaystyle E}
,
F
{\displaystyle F}
и
G
{\displaystyle G}
суть величины, которые при выбранных координатах
(
u
,
v
)
{\displaystyle (u,\,v)}
полностью задаются выписанными выше уравнениями в любой точке плоскости, причём независимо от выбора кривой, проходящей через эту точку. Напротив, оба дифференциала
d
u
{\displaystyle du}
и
d
v
{\displaystyle dv}
определяются только перемещением точки с координатами
u
{\displaystyle u}
и
v
{\displaystyle v}
.
Другими словами, выражение для
d
l
2
{\displaystyle dl^{2}}
есть квадратичная форма (метрическая форма) с аргументами
d
u
{\displaystyle du}
,
d
v
{\displaystyle dv}
и коэффициентами
E
{\displaystyle E}
,
F
{\displaystyle F}
,
G
{\displaystyle G}
[31] . Полученная формула выражает длину на евклидовой плоскости в произвольных координатах и как частный случай содержит прежнюю формулу для длины в декартовых[31] .
Подынтегральная функция 1
Помимо чисто геометрических задач, понятие скалярного «элемента длины» широко применяется в физике при расчёте длины траектории частицы. Скажем, если траектория задана зависимостью радиус-вектора от времени
r
→
(
t
)
=
x
(
t
)
e
→
x
+
y
(
t
)
e
→
y
+
z
(
t
)
e
→
z
{\displaystyle {\vec {r}}(t)=x(t){\vec {e}}_{x}+y(t){\vec {e}}_{y}+z(t){\vec {e}}_{z}}
, то
d
x
=
x
˙
d
t
{\displaystyle dx={\dot {x}}dt}
(и так же для других компонент) и
L
[
t
0
,
…
t
]
=
∫
t
0
t
d
l
=
∫
t
0
t
x
˙
2
(
τ
)
+
y
˙
2
(
τ
)
+
z
˙
2
(
τ
)
d
τ
{\displaystyle L[t_{0},\ldots t]=\int _{t_{0}}^{t}dl=\int _{t_{0}}^{t}{\sqrt {{\dot {x}}^{2}(\tau )+{\dot {y}}^{2}(\tau )+{\dot {z}}^{2}(\tau )}}\,d\tau }
,
где точка над символом означает производную по времени.
Элемент площади вращения
Пусть плоская дуга
A
B
⌣
{\displaystyle {\stackrel {\smile }{AB}}}
вращается вокруг оси
O
X
{\displaystyle OX}
. Тогда в трёхмерном пространстве получается поверхность вращения , площадь которой равна следующему выражению (сам. рис.):
S
=
∫
(
A
)
(
B
)
2
π
y
d
l
{\displaystyle S=\int _{(A)}^{(B)}2\pi y\,dl}
,
где
y
{\displaystyle y}
— ордината части
A
B
{\displaystyle AB}
меридиана ,
d
l
=
d
x
2
+
d
y
2
{\displaystyle dl={\sqrt {dx^{2}+dy^{2}}}}
— элемент длины дуги меридиана,
2
π
y
d
l
{\displaystyle 2\pi y\,dl}
— элемент площади вращения ,
(
A
)
{\displaystyle (A)}
и
(
B
)
{\displaystyle (B)}
— крайние значения параметра
t
{\displaystyle t}
, через которые выражены координаты
x
=
x
(
t
)
{\displaystyle x=x(t)}
,
y
=
y
(
t
)
{\displaystyle y=y(t)}
[32] .
Вычислим площадь поверхности вращения. Разделим поверхность вращения
A
B
B
′
A
′
{\displaystyle ABB'A'}
на параллельные кольца, а каждое кольцо
M
N
N
′
M
′
{\displaystyle MNN'M'}
заменим на боковую поверхность усечённого конуса , сохранив основания . Так как площади поверхностей этих усечённых конусов эквивалентны, то площадь кольца
M
N
N
′
M
′
{\displaystyle MNN'M'}
S
M
N
N
′
M
′
≈
π
(
P
M
+
Q
N
)
M
N
{\displaystyle S_{MNN'M'}\approx \pi (PM+QN)MN}
,
а поскольку
P
M
+
Q
N
=
2
y
+
Δ
y
{\displaystyle PM+QN=2y+\Delta y}
,
M
N
⌣
≈
M
N
=
Δ
l
{\displaystyle {\stackrel {\smile }{MN}}\approx MN=\Delta l}
то
S
M
N
N
′
M
′
≈
π
(
2
y
+
Δ
y
)
Δ
l
≈
2
π
y
Δ
l
{\displaystyle S_{MNN'M'}\approx \pi (2y+\Delta y)\Delta l\approx 2\pi y\Delta l}
,
откуда и следует доказываемая формула[32] :
S
=
∫
(
A
)
(
B
)
2
π
y
d
l
{\displaystyle S=\int _{(A)}^{(B)}2\pi y\,dl}
.
Пример. Найдём площадь поверхности, которая получается при вращении арки циклоиды
x
=
a
(
t
−
sin
t
)
,
{\displaystyle x=a(t-\sin t),\quad }
y
=
a
(
1
−
cos
t
)
{\displaystyle y=a(1-\cos t)}
вокруг её основания. Сразу получаем[33] :
d
l
=
2
a
sin
t
2
d
t
,
{\displaystyle dl=2a\sin {\frac {t}{2}}\,dt,\quad }
0
⩽
t
⩽
2
π
.
{\displaystyle 0\leqslant t\leqslant 2\pi .}
S
=
∫
0
2
π
2
π
a
(
1
−
cos
t
)
⋅
2
a
sin
t
2
d
t
=
{\displaystyle S=\int _{0}^{2\pi }2\pi a(1-\cos t)\cdot 2a\sin {\frac {t}{2}}\,dt=}
=
8
π
a
2
∫
0
2
π
sin
3
t
2
d
t
=
64
3
π
a
2
.
{\displaystyle =8\pi a^{2}\int _{0}^{2\pi }\sin ^{3}{\frac {t}{2}}\,dt={\frac {64}{3}}\pi a^{2}.}
Сравним полученный результат с площадью осевого сечения, то есть с двойной площадью арки циклоиды
6
π
a
2
{\displaystyle 6\pi a^{2}}
, получим, что площадь поверхности вращения превышает площадь сечения в
3
5
9
{\displaystyle 3{\frac {5}{9}}}
раза[34] .
Векторный элемент. Циркуляция
Рассмотрим в области
Ω
{\displaystyle \Omega }
трёхмерного пространства векторное поле , которое задано вектор-функцией
a
→
(
M
)
{\displaystyle {\vec {a}}(M)}
, где
M
∈
Ω
{\displaystyle M\in \Omega }
— переменная точка. Циркуляцию векторного поля вдоль некоторой кусочно-гладкой кривой
A
B
⊂
Ω
{\displaystyle AB\subset \Omega }
можно записать в виде криволинейного интеграла от скалярного произведения векторов
∫
A
B
a
→
e
→
t
d
l
=
∫
A
B
a
→
d
l
→
,
{\displaystyle \int _{AB}{\vec {a}}\,{\vec {e}}_{t}\,dl=\int _{AB}{\vec {a}}\,d{\vec {l}},\quad }
d
l
→
d
l
=
e
→
t
,
{\displaystyle {\frac {d{\vec {l}}}{dl}}={\vec {e}}_{t},}
где
e
→
t
{\displaystyle {\vec {e}}_{t}}
— единичный вектор касательной к кривой
A
B
{\displaystyle AB}
(и к дуге
A
M
⌣
{\displaystyle {\stackrel {\smile }{AM}}}
) в точке
M
{\displaystyle M}
,
l
{\displaystyle l}
— длина части кривой
A
B
{\displaystyle AB}
(дуги
A
M
⌣
{\displaystyle {\stackrel {\smile }{AM}}}
), отсчитываемая от точки
A
{\displaystyle A}
до переменной точки
M
∈
A
B
{\displaystyle M\in AB}
,
d
l
{\displaystyle dl}
и
d
l
→
{\displaystyle d{\vec {l}}}
— соответственно скалярный и векторный элементы длины части кривой
A
B
{\displaystyle AB}
(дуги
A
M
⌣
{\displaystyle {\stackrel {\smile }{AM}}}
)[5] [6] [7] [8] .
В координатной форме, то есть в трёхмерной декартовой системе координат, получаем[6] :
∫
A
B
a
→
d
l
→
=
∫
A
B
X
d
x
+
Y
d
y
+
Z
d
z
{\displaystyle \int _{AB}{\vec {a}}\,d{\vec {l}}=\int _{AB}X\,dx+Y\,dy+Z\,dz}
.
Элемент циркуляции — векторное произведение
a
→
d
l
→
=
X
d
x
+
Y
d
y
+
Z
d
z
{\displaystyle {\vec {a}}\,d{\vec {l}}=X\,dx+Y\,dy+Z\,dz}
[35] .
Если вектор-функцию
a
→
(
M
)
{\displaystyle {\vec {a}}(M)}
интерпретировать как физическое силовое поле , то рассмотренная циркуляция такого векторного поля
a
→
(
M
)
{\displaystyle {\vec {a}}(M)}
вдоль кривой
A
B
{\displaystyle AB}
есть механическая работа силы поля вдоль пути
A
B
{\displaystyle AB}
[5] [35] .
В электродинамике такие интегралы с
d
l
→
{\displaystyle d{\vec {l}}}
встречаются при вычислении циркуляций векторов напряжённости электрического и магнитного полей
∮
E
→
⋅
d
l
→
,
∮
H
→
⋅
d
l
→
{\displaystyle \oint {\vec {E}}\cdot d{\vec {l}},\qquad \oint {\vec {H}}\cdot d{\vec {l}}}
по замкнутому контуру, фигурирующих, в частности, в двух из четырёх уравнений Максвелла .
Выгодский М. Я. Справочник по высшей математике. Изд-е 12-е, стереотип. М.: «Наука» , 1977. 871 с., ил.
Ефимов Н. В. Высшая геометрия. 7-е изд. М.: ФИЗМАТЛИТ, 2004. 584 с. ISBN 5-9221-0267-2 .
Ефимов Н. В. Дифференциальная геометрия // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров ; Ред. Кол.: С. И. Адян , Н. С. Бахвалов , В. И. Битюцков, А. П. Ершов , Л. Д. Кудрявцев , А. Л. Онищик , А. П. Юшкевич . М.: «Советская энциклопедия », 1988. 847 с., ил. С. 189—197.
Иванов А. Б. Векторный анализ // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров ; Ред. Кол.: С. И. Адян , Н. С. Бахвалов , В. И. Битюцков, А. П. Ершов , Л. Д. Кудрявцев , А. Л. Онищик , А. П. Юшкевич . М.: «Советская энциклопедия », 1988. 847 с., ил. С. 111—112.
Ильин В. А. , Позняк Э. Г. Основы математического анализа. Часть I. 3-е изд., испр. и доп. М.: «Наука» , 1971. 599 с. с илл. (Серия: «Курс высшей математики и математической физики». Выпуск 1 / Под ред. А. Н. Тихонова , В. А. Ильина, А. Г. Свешникова ).
Ильин В. А. , Позняк Э. Г. Основы математического анализа. Часть II. 2-е изд., стереотипное. М.: «Наука» , 1980. 447 с. с илл. (Серия: «Курс высшей математики и математической физики». Выпуск 2а / Под ред. А. Н. Тихонова , В. А. Ильина, А. Г. Свешникова ).
Ильин В. А. , Садовничий В. А. , Сендов Бл. Х. Математический анализ. Начальный курс. 2-е изд., перераб. / Под ред. А. Н. Тихонова . М.: Изд-во МГУ , 1985. 662 с. с илл.
Кудрявцев Л. Д. Курс математического анализа (в двух томах): Учебник для студентов университетов и втузов. М.: «Высшая школа» , 1981, т. I. 687 с., ил.
Лаптев Г. Ф. Элементы векторного исчисления. М.: Наука, 1975. 336 с., ил.
Никольский С. М. Курс математического анализа. Т. I. 3-е изд., перераб. и доп. М.: «Наука» , 1983. 464 с., ил.
Полярные координаты // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров ; Ред. Кол.: С. И. Адян , Н. С. Бахвалов , В. И. Битюцков, А. П. Ершов , Л. Д. Кудрявцев , А. Л. Онищик , А. П. Юшкевич . М.: «Советская энциклопедия », 1988. 847 с., ил. С. 475.
Соколов Д. Д. Сферические координаты // Математическая энциклопедия : Гл. ред. И. М. Виноградов , т. 5 Слу—Я. М.: «Советская Энциклопедия», 1985. 1248 стб., ил. Стб. 293.
Соколов Д. Д. Цилиндрические координаты // Математическая энциклопедия : Гл. ред. И. М. Виноградов , т. 5 Слу—Я. М.: «Советская Энциклопедия», 1985. 1248 стб., ил. Стб. 819—820.
Сферические координаты // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров ; Ред. Кол.: С. И. Адян , Н. С. Бахвалов , В. И. Битюцков, А. П. Ершов , Л. Д. Кудрявцев , А. Л. Онищик , А. П. Юшкевич . М.: «Советская энциклопедия », 1988. 847 с., ил. С. 572.
Цилиндрические координаты // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров ; Ред. Кол.: С. И. Адян , Н. С. Бахвалов , В. И. Битюцков, А. П. Ершов , Л. Д. Кудрявцев , А. Л. Онищик , А. П. Юшкевич . М.: «Советская энциклопедия », 1988. 847 с., ил. С. 625.
Циркуляция векторного поля // Воднев В. Т., Наумович А. Ф., Наумович Н. Ф. Математический словарь высшей школы: Общая часть / Под. ред. Ю. С. Богданова . Минск: Высшая школа, 1984. 527 с., ил. С. 506—507.