Теорема существования.

Задача о работе силы.

Криволинейный интеграл 2 рода.

Вычисление криволинейного интеграла первого рода.

Теорема об оценке.

Если существуют константы , что , то

Доказательство. Интегрируя неравенство (свойство 4), получим . По свойству 1 константы можно вынести из-под интегралов. Используя свойство 3, получим искомый результат.

6. Теорема о среднем(значении интеграла).

Существует точка , что

Доказательство. Так как функция непрерывна на замкнутом ограниченном множестве , то существует ее нижняя грань и верхняя грань . Выполнено неравенство . Деля обе части на L, получим . Но число заключено между нижней и верхней гранью функции. Так как функция непрерывна на замкнутом ограниченном множестве L, то в некоторой точке функция должна принимать это значение. Следовательно, .

Параметризуем дугу L: AB x = x(t), y = y(t), z =z (t). Пусть t₀ соответствует точке A, а t₁ соответствует точке B. Тогда криволинейный интеграл первого рода сводится к определенному интегралу (- известная из 1 семестра формула для вычисления дифференциала длины дуги):

Пример. Вычислить массу одного витка однородной (плотность равна k) винтовой линии: .

Какую работу производит сила F(M) при перемещении точки M по дуге AB? Если бы дуга AB была отрезком прямой, а сила была бы постоянной по величине и направлению при перемещении точки M по дуге AB, то работу можно было бы вычислить по формуле

, где

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

достаточно малой длины. Вместо длины малого элемента дуги можно взять длину стягивающей ее хорды

, так как эти величины – эквивалентные бесконечно малые величины при условии

(первый семестр).

1. Организуем разбиение области- дуги AB на элементы – элементарные дуги так, чтобы эти элементы не имели общих внутренних точек и(условие А)

2. Отметим на элементах разбиения «отмеченные точки» M_iи вычислим в них значения функции

3. Построим интегральную сумму , где вектор, направленный по хорде, стягивающей -дугу .

4. Переходя к пределу при условии (условие В), получим криволинейный интеграл второго рода как предел интегральных сумм (и работу силы):

.Часто обозначают

Пусть вектор - функция непрерывна на кусочно-гладкой дуге L[12]. Тогда криволинейный интеграл второго рода существует как предел интегральных сумм.

Замечание. Предел этот не зависит от

- способа выбора разбиения, лишь бы выполнялось условие А

- выбора «отмеченных точек» на элементах разбиения,

- способа измельчения разбиения, лишь бы выполнялось условие В