Файл: Дьяченко, А. Н. Интегральное исчисление функций нескольких переменных. Теория вероятностей и элементы математической статистики учебное пособие.pdf

совпадает с точкой А, а точка Мп совпадает с точкой В) выберем

по произвольной точке Pk (xk, yk). Будем считать, что вдоль частич­ ной кривой Mk-\Mk масса распределена равномерно с плотностью,

равной значению функции f (х, у) в выбранной точке, т. е. f (xk, yk). Обозначим длину k-ой части кривой через Д/ь ее масса приближенно

равна величине / (xk, yk) Alk. Суммируя массы всех частичных кривых, получим приближенное значение массы всей кривой:

М = 2 •/(**, yk) Alk. k=i

Введем величину Кп, называемую рангом дробления кривой и определяемую равенством

%n = max{Alk} (k=\, 2, . . . , п).

Очевидно, что при Кп 0 стремятся к нулю одновременно длины всех частичных кривых. За массу кривой следует принять величину, которая не зависит ни от способа

ние предела типа (3.1) лежит в основе определения криволинейного интеграла первого рода. Сформулируем теперь это определение, не связывая его с физическими величинами.

Пусть в плоскости Оху задана кривая L в каждой точке которой определена функция f (х, у). Разобьем кривую L на п частичных кривых, занумерованных последовательно от начальной точки А до конечной точки В: L1; L 2, . . . , Ln, не имеющих общих внутрен­ них точек. Обозначим длины этих частичных кривых соответственно А1Ъ А12, ■■■, А/„ (заметим, что А 4 > 0 для всех k). Наибольшую из этих длин назовем рангом дробления кривой и обозначим через Кп. В каждой частичной кривой Lk (k — 1, 2, . . . , п)-выберем по

53

произвольной точке Pk (xk, yk) и составим интегральную сумму:

Ук)А1к-

k=i

Если при стремлении к нулю ранга дробления кривой сущест-

П

k=i

способа дробления кривой, ни от выбора точек Pk (xk, yk), то этот предел называется криволинейным интегралом первого рода от функции / (х, у) по кривой L от точки Л до В и обозначается

J f (X, у) dl или | f (х, у) dl.

Используя это определение, формулу (3.1) можно записать в

L

т. е. если масса распределена вдоль кривой L, то она может быть представлена криволинейным интегралом первого рода от плотно­ сти, вычисленным вдоль рассматриваемой кривой.

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

Теорема. Если функция f (х, у) непрерывна вдоль кривой L,

а множество значений функции, вычисленных в точках кривой ог­ раничено, то существует криволинейный интеграл первого рода от функции f (х, у) вдоль кривой L.

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

Свойство 1.

54

Д о к а з а т е л ь с т в о . Разделим кривую L на я частей, включив в число точек деления точку, делящую кривую L на части и L 2. Тогда каждая из я частичных кривых принадлежит цели­

ком или кривой L± или кривой L 2. Это позволяет разбить сумму

П

2 f ( x k> Ук) Alk на две суммы: в одну сумму включить слагаемые, fc=i

Нижние индексы, стоящие под суммами в правой части равен­ ства, указывают, к каким кривым относятся слагаемые данной суммы. Переходя в этом равенстве к пределу при кп -* 0, получим доказываемое равенство (3.6).

Свойство 4. Величина криволинейного интеграла первого рода не изменится, если изменить направление интегрирования. Если А и В — конечные точки кривой АВ, то

J /(*• y)dl= | f(x, y)dl.

Д о к а з а т е л ь с т в о . Рассмотрим формулу (3.2). Все сла­ гаемые суммы, стоящей в правой части равенства, имеют вид

/ {хьУк) Aik- При изменении направления интегрирования не ме­ няется ни значение функции f (xk, yk), ни длина k-ой частичной кривой Alk. Отсюда следует, что величина интеграла (3.2) также не изменится при изменении направления интегрирования.

Сведение криволинейного интеграла первого рода к определен­ ному интегралу. Пусть кривая L, вдоль которой вычисляется кри­ волинейный интеграл первого рода от функции / (х, у), задана па­ раметрическими уравнениями:

x = x(t); у = у (t); ( а < Д < Р ) .

Будем считать, что функции х (t) и у (t) непрерывны в [а, р] и имеют в этом промежутке непрерывные производные х' (/) и у' (7). Разобьем кривую L на п частей, этому разбиению соответствует раз­ биение промежутка [а, р] на я частей:

a = n 0 < ^ < ^ 2 < . . . < t n= р.

Вычислим длину k-оц частичной кривой, воспользовавшись фор­ мулой для вычисления дуги плоской кривой:*

*k t_______________________

А/ * = J У W (t)]2+ [y' (t)]2dt (k= 1, 2, . . . , я).

1k—\

*См. [2], формула (7.12).

55

Составим интегральную сумму для функции f (х , у) вдоль кри­

вой L, при этом в качестве произвольных точек Pk (xk, yk) выберем точки, координаты которых определяются равенствами:

получим:

ljf(Xh> Ук)Ык.

к= 1

Подставив в эту интегральную сумму формулы (3.7) и (3.8), получим:

при этом стремится к нулю и величина Кп, определяемая равенст­ вом:

А,я = шах{А^) (k— l, 2, . . . . п).

Получим:

Р __________________

так как именно при этом условии справедлива формула для вычис­

интегралом, стоящим в правой части равенства, следует поставить знак «—» (это следует из того, что определенный интеграл меняет знак при изменении направления интегрирования). В некоторых случаях бывает полезно, чтобы формула, связывающая криволи­

5R

как для случая а > р , так и для случая р > а . Тогда формула (ЗЛО) может быть записана в следующем более общем виде:

Здесь использована функция Sign х, определяемая равенством

1,'если х--\> 0;

Signx =

— 1, если х < 0.

В частном случае, если кривая L задана в явной форме у = у (х) (a<ix<i6), то формула (ЗЛО) принимает вид:

Криволинейный интеграл первого рода по пространственной кривой. Понятие криволинейного интеграла первого рода, введен­ ное для плоской кривой L, легко обобщается на случай, когда L — пространственная кривая, в каждой точке которой задана функция / (х, у, z). Формула (3.2) в этом случае принимает вид:

Легко видеть, что приведенные выше свойства 1—4 справед­ ливы и для криволинейного интеграла первого рода, вычисленного вдоль пространственной кривой.

Если кривая L задана параметрически

x = x(t), y — y(t), z = z(t) (as^t^P ),

то имеет место формула, аналогичная формуле (ЗЛО):

J / (х, у, z) dl =

L

f>

= j / [х(0, у(1), г Ц ) \ У [x'(t)]2+\y'(t)]2+[z'(t)]2di. (3.15)

а

Эта формула, справедливая лишь при 3 > а , может быть обоб­ щена на случай, когда соотношение между 3 и а не заданы, т. е.

57