Криволинейные интегралы первого рода и их свойства

Определение

Пусть в трехмерном пространстве выбрана прямоугольная система координат и задана гладкая кривая [latex] \Gamma[/latex] уравнением в координатной форме, то есть [latex]\Gamma =\left \{ x = x(t), y = y(t), z = z(t), \alpha \leq t\leq \beta \right \}[/latex]. Пусть теперь на множестве, которое входит в данное пространство задана непрерывная функция [latex]f(x, y, z)[/latex]. Тогда определенный интеграл вида:
$$\overset { \beta }{ \underset { \alpha }{ \int } } f(x(t), y(t), z(t))|r'(t)|\,dt = { \underset { \Gamma }{ \int } } f(x, y, z)\,ds$$ называется криволинейным интегралом первого рода от функции [latex]f[/latex] по кривой [latex] \Gamma[/latex].

Свойства криволинейных интегралов первого рода

  • Криволинейный интеграл первого рода аддитивен относительно кривой, то есть
    $${ \underset { \Gamma }{ \int } } f(x, y, z)\,ds = \sum\limits_{i=1}^{n}{ \underset {{ \Gamma }_{i}}{ \int } } f(x, y, z)\,ds$$
    [spoilergroup]
    Доказательство

    Разобьем кривую [latex] \Gamma[/latex] на части, то есть [latex]\Gamma = (\Gamma_1,…,\Gamma_n)[/latex], таким образом, что конечная точка кривой [latex] \Gamma_i[/latex] совпадает с начальной точкой кривой [latex] \Gamma_{i+1}[/latex], [latex]i = \overline{i,n}[/latex]. Тогда интеграл [latex]\int_{\Gamma}f(x, y, z)ds[/latex] по свойству аддитивности определенного интеграла, если [latex]\Gamma_i = r(t) [/latex] [latex](\alpha_i \leq t \leq \beta _i)[/latex], [latex]\alpha _1 = \alpha[/latex] , [latex] \beta _n = \beta [/latex], можно представить следующим образом:
    ${ \underset { \Gamma }{ \int } } f(x, y, z)\,ds = \overset {\beta}{ \underset {\alpha}{ \int }}f(x(t),y(t),z(t))|r'(t)|\,dt =$
    $=\sum\limits_{i=1}^{n}\overset {\beta_i}{ \underset {\alpha_i}{ \int }}f(x(t),y(t),z(t))|r'(t)|\,dt =\sum\limits_{i=1}^{n}{ \underset {\Gamma_i}{ \int }}f(x,y,z)\,ds.$

    [свернуть]

    [/spoilergroup]
  • Криволинейный интеграл не зависит от ориентации кривой, то есть
    $${ \underset { \Gamma }{ \int } } f(x, y, z)ds = { \underset { \Gamma- }{ \int } } f(x, y, z)ds $$
    [spoilergroup]
    Доказательство

    Пусть точка [latex]A[/latex] — начало кривой [latex]\Gamma[/latex], точка [latex]B[/latex] — конец кривой [latex]\Gamma[/latex], а [latex]S[/latex] — ее длина. Пусть точка [latex]M = r(s)[/latex] принадлежит кривой [latex]AB[/latex], а [latex]s[/latex] — длина дуги [latex]\buildrel\,\,\frown\over{AM}[/latex]. Пусть [latex]\delta [/latex] — длина дуги [latex]\buildrel\,\,\frown\over{BM}[/latex], тогда [latex]\delta = S — s[/latex]. Представлением кривой [latex]BA[/latex] является функция [latex]r = r(S — \delta )[/latex], [latex]0\leq \delta \leq S[/latex].
    криваяСовершив в интеграле замену [latex]s = S — \delta [/latex], учитывая, что [latex]{\mathrm{d} s} = -{\mathrm{d} \delta }[/latex], получаем:
    \( { \underset {\buildrel\,\,\frown\over{AB}}{ \int }}f(x, y, z)\,ds = \overset {S}{ \underset {0}{ \int }} f(x(s), y(s), z(s))\,ds = \)
    \(=-\overset {0}{ \underset {S}{ \int }} f(x(S — \delta), y(S — \delta), z(S — \delta))\,d\delta = \)
    \( =\overset {S}{ \underset {0}{ \int }} f(x(S — \delta), y(S — \delta), z(S — \delta))\,d\delta = { \underset {\buildrel\,\,\frown\over{BA}}{ \int }}f(x, y, z)\,d\delta.\)

    [свернуть]

    [/spoilergroup]
  • Криволинейный интеграл первого рода не зависит от параметризации кривой.
    [spoilergroup]
    Доказательство

    Перейдем от данного уравнения [latex]r = r(t)[/latex], [latex]\alpha \leq t\leq \beta [/latex] к уравнению [latex]\rho = \rho (\tau )[/latex], [latex]\alpha \leq \tau \leq \beta[/latex] с помощью представления параметра [latex]t[/latex] через непрерывную строго возрастающею функцию другого параметра, то есть [latex]t = t(\tau )[/latex]. Получим:
    \(\overset {\beta}{ \underset {\alpha}{ \int }} f(x(t), y(t), z(t))|r'(t)|\,dt =\)
    \(= \overset {\beta}{ \underset {\alpha}{ \int }}f(x(t(\tau)), y(t(\tau)), z(t(\tau)))\left | \frac{\mathrm{d} r}{\mathrm{d} t}(t(\tau)) \right|t'(\tau)\,d\tau =\)
    \(=\overset {\beta}{ \underset {\alpha}{ \int }}f(\xi(\tau), \eta(\tau), \zeta(\tau))\,d\tau\),
    где \(\frac{\mathrm{d} r}{\mathrm{d} t} = |r'(t)|\).

    [свернуть]

    [/spoilergroup]

    Замечание: если для параметризации кривой [latex]\Gamma[/latex] использовать натуральный параметр (длину дуги), то криволинейный интеграл первого рода приобретет следующий вид:
    $${ \underset { \Gamma }{ \int } } f(x, y, z)\,ds = \overset {S}{ \underset {0}{ \int }} f(x(s), y(s), z(s))\,ds, $$
    так как [latex]|r'(s)| = 1[/latex], [latex]0\leq s\leq S[/latex].

Физический смысл криволинейных интегралов первого рода

Пусть криволинейный интеграл первого рода представлен в следующем виде:
$${ \underset { \Gamma }{ \int } } f(x, y, z)\,ds = \overset {S}{ \underset {0}{ \int }} f(x(s), y(s), z(s))\,ds. $$
Если правую часть равенства записать в виде предела интегральных сумм, то тогда получим:
$${ \underset { \Gamma }{ \int } } f(x, y, z)\,ds = \underset { l(T) \rightarrow 0 }{ \lim } \sum\limits_{i=1}^{n}f(x_i, y_i, z_i)\Delta s_i,$$
где [latex]x_i = x(s_i)[/latex], [latex]y = y(s_i)[/latex], [latex]z_i = z(s_i)[/latex], [latex]T[/latex] — разбиение отрезка [latex][0, S][/latex], то есть [latex]0 = s_0 < s_1 < … <s_n = S[/latex], [latex]\Delta s_i = s_i — s_{i-1}[/latex]. Разбиению кривой [latex]\Gamma[/latex] на дуги [latex]\Gamma _{s_{i-1}s_i}[/latex], [latex]i = \overline{1,n}[/latex] (рисунок 1) соответствует разбиение [latex]T[/latex] отрезка [latex][0, S][/latex] (рисунок 2).

[spoilergroup]

Рисунок 1

кривая2

Разбиение кривой [latex]\Gamma[/latex] на дуги

[свернуть]

[/spoilergroup]

[spoilergroup]

Рисунок 2

кривая3

Разбиение отрезка [latex][0; S][/latex] на части

[свернуть]

[/spoilergroup]

Если рассматривать случай, когда функция [latex]f(x, y, z)[/latex] неотрицательна, то ее можно интерпретировать как линейную плотность распределения массы, а криволинейный интеграл [latex]\int_{\Gamma }f (x, y, z){\mathrm{d}s} — [/latex] как массу кривой [latex]\Gamma[/latex].

[spoilergroup]

Пример

Найти массу [latex]m[/latex] кривой [latex]\Gamma[/latex], заданной уравнением [latex]y = \ln x[/latex], где [latex]1\leq x\leq \mathrm{e}[/latex], есть ее линейная плотность в каждой точке пропорциональная квадрату абсциссы, то есть [latex]\rho (x,y) = kx^2[/latex].

Решение

Используя формулу для вычисления массы кривой, получаем:
$$m = { \underset { \Gamma }{ \int } } kx^2\,ds.$$
Для того, чтобы вычислить криволинейный интеграл первого рода воспользуемся равенством:
$${ \underset { \Gamma }{ \int } }f(x, y(x))\,ds = \overset {\beta}{ \underset {\alpha}{ \int }} f(x, \psi(x))\sqrt{1 +(\psi'(x))^2 }\,dx.$$

Поскольку:
$$\sqrt{1 +(\psi'(x))^2 } = \sqrt{1 + \frac{1}{x^2}} = \frac{1 + x^2}{x},$$
то
$$m = \overset {\mathrm{e}}{ \underset {1}{ \int }}kx^2\frac{\sqrt{1 + x^2}}{x}\,dx = \frac{k}{3}(1+x^2)^{\frac{3}{2}} \bigg|_1^\mathrm{e} = \left ( \frac{k}{3}(1+\mathrm{e}^2)^{\frac{3}{2}} — 2\sqrt{2} \right ).$$

[свернуть]

[/spoilergroup]

Литература

Тест

Данный тест поможет Вам проверить уровень знаний по данной теме.


Таблица лучших: Криволинейные интегралы первого рода

максимум из 4 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных