16
1. Организуем разбиение областидуги L на элементы – элементарные дуги li так, чтобы
n
эти элементы не имели общих внутренних точек иL li (условие А)
i 1
2. Отметим на элементах разбиения «отмеченные точки» Mi и вычислим в них значения функции f (Mi ) f (xi , yi ,zi )
n |
|
|
3. Построим интегральную сумму f (Mi ) li |
, где li - длина дуги |
li (обычно вводятся |
i 1 |
|
|
одни и те же обозначения для дуги и ее длины). Это – приблизительное значение массы кривой. Упрощение состоит в том, что мы предположили плотность дуги постоянной на каждом элементе и взяли конечное число элементов.
Переходя к пределу при условии maxi diam( li ) 0 (условие В), получим криволинейный интеграл первого рода как предел интегральных сумм:
n
f x, y,z dl limmaxi diam li f Mi li .
L |
i 1 |
Теорема существования10.
Пусть функция f (x, y,z)непрерывна на кусочно-гладкой дуге L11. Тогда криволинейный интеграл первого рода существует как предел интегральных сумм.
Замечание. Предел этот не зависит от
-способа выбора разбиения, лишь бы выполнялось условие А
-выбора «отмеченных точек» на элементах разбиения,
-способа измельчения разбиения, лишь бы выполнялось условие В
Свойства криволинейного интеграла первого рода.
1. Линейность
а) свойство суперпозиции ( f (x, y,z) g(x, y,z))dl f (x, y,z)dl g(x, y,z)dl
L L L
б) свойство однородности f (x, y,z)dl f (x, y,z)dl.
L L
Доказательство. Запишем интегральные суммы для интегралов в левых частях равенств. Так как в интегральной сумме число слагаемых конечно, перейдем к интегральным суммам для правых частей равенств. Затем перейдем к пределу, по теореме о предельном переходе в равенстве получим желаемый результат.
2. Аддитивность.
ЕслиL L1 L2 , то f (x, y,z)dl = |
f (x, y,z)dl |
+ f (x, y,z)dl |
L |
L1 |
L2 |
Доказательство. Выберем разбиение области L так, чтобы ни один из элементов разбиения (первоначально и при измельчении разбиения) не содержал одновременно как элементы L1, так и элементы L2. Это можно сделать по теореме существования (замечание к теореме). Далее проводится доказательство через интегральные суммы, как в п.1.
10Здесь рассматривается непрерывная функция, более общий вариант см. в седьмом томе учебника
11Это требование может быть ослаблено, более общий вариант см. в седьмом томе учебника
17
3. |
dl L.Здесь L – длина дуги L. |
|
|
L |
|
4. |
Если на дуге L выполнено неравенство |
f (x, y,z) g(x, y,z), то |
f (x, y,z)dl g(x, y,z)dl |
|
|
L |
L |
|
Доказательство. Запишем неравенство для интегральных сумм и перейдем к пределу. Заметим, что, в частности, возможно g(x, y,z) 0
5. Теорема об оценке. |
|
Если существуют константы m,M , что x, y,z L |
m f (x,y,z) M , то |
mL f (x, y,z) ML
L
Доказательство. Интегрируя неравенство m f (x,y,z) M (свойство 4), получим
mdl f (x, y,z)dl Mdl . По свойству 1 константы m,M можно вынести из-под
L L L
интегралов. Используя свойство 3, получим искомый результат.
6. Теорема о среднем (значении интеграла). |
|
|
|
|
|
||||||
Существует точка с(xc |
,yc ,zc ) L , что |
f (c) |
1 |
f (x, y,z)dl |
|
||||||
L |
|
||||||||||
|
|
|
|
|
|
L |
|
|
|
|
|
Доказательство. |
Так как функция f (x,y,z)непрерывна на замкнутом ограниченном |
||||||||||
множестве L, то |
существует ее нижняя |
грань |
infL f (x,y,z) |
и верхняя грань |
|||||||
supL f (x,y,z) . Выполнено неравенство x,y,z L |
L f (x, y,z)dl ML. Деля обе |
||||||||||
|
|
1 |
|
|
|
|
|
|
1 |
L |
|
части на L, получим |
|
|
f (x, y,z)dl M . Но число |
f (x, y,z)dl |
заключено между |
||||||
L |
|
L |
|||||||||
|
|
L |
|
|
|
|
L |
|
|||
нижней и верхней гранью функции. Так как функция f (x,y,z)непрерывна на замкнутом ограниченном множестве L, то в некоторой точке с L функция должна принимать это
значение. Следовательно, f (c) 1 f (x, y,z)dl.
L L
Вычисление криволинейного интеграла первого рода.
Параметризуем дугу L: AB x = x(t), y = y(t), z =z (t). Пусть t0 соответствует точке A, а t1 соответствует точке B. Тогда криволинейный интеграл первого рода сводится к
определенному интегралу (dl 
x t 2 y t 2 z t 2 dt - известная из 1 семестра формула для вычисления дифференциала длины дуги):
|
|
t1 |
|
|
|
|
|
|
|
|
|
|
|
|
f (x, y,z)dl f x t , y t ,z t |
(x t ) |
2 |
(y t ) |
2 |
(z t ) |
2 |
dt |
|||||
|
|
|
|
|
|
|
|
|
|
|
|||
L |
|
t0 |
|
|
|
|
|
|
|
|
|
|
|
Пример. Вычислить массу одного витка однородной (плотность равна k) винтовой |
|||||||||||||
линии: |
x acos , y asin ,z . |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
M k |
a2 sin2 a2 cos2 1 |
d 2 k |
a2 |
1. |
|
|
|
|||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
18
Криволинейный интеграл 2 рода.
|
|
Задача о работе силы. |
|
|
|
|||
|
|
Какую работу производит сила F(M) при |
||||||
|
|
перемещении точки M по дуге AB? |
|
|
||||
z |
F(Mi) |
Если бы дуга AB была отрезком прямой, а сила была |
||||||
|
|
бы постоянной по величине и то работу можно было |
||||||
|
|
бы вычислить направлению при перемещении точки |
||||||
|
Mi |
M |
по |
дуге |
AB, |
по |
формуле |
|
|
|
B |
|
|
|
|
|
|
li |
ri |
y A (F, AB) | F || AB |cos , где |
- угол между |
|||||
|
векторами. В общем случае эту формулу можно |
|||||||
A |
|
использовать для построения интегральной суммы, |
||||||
|
предполагая |
силу постоянной на элементе дуги |
||||||
|
|
|||||||
|
|
li достаточно малой длины. Вместо длины малого |
||||||
|
|
элемента дуги можно взять длину стягивающей ее |
||||||
|
|
|
ri |
|
||||
|
|
хорды |
, так как эти величины – эквивалентные |
|||||
|
|
бесконечно |
малые |
величины |
при |
условии |
||
|
|
diam li |
0 |
(первый семестр). |
|
|
||
|
|
x |
|
|
|
|
|
|
1. Организуем разбиение областидуги AB на элементы – элементарные дуги li так, чтобы
n
эти элементы не имели общих внутренних точек иL li (условие А)
i 1
2.Отметим на элементах разбиения «отмеченные точки» Mi и вычислим в них значения функции F Mi
3. Построим интегральную сумму n F Mi , ri , где ri вектор, направленный по хорде,
i 1
стягивающей дугу li .
4.Переходя к пределу при условии maxi diam( li ) 0 (условие В), получим криволинейный интеграл второго рода как предел интегральных сумм (и работу силы):
|
n |
Mi , ri . Часто обозначают F M a M |
F,dr limmaxi diam li 0 F |
||
AB |
i 1 |
|
|
|
Теорема существования. |
Пусть вектор - |
функция |
a M P(x, y,z)i Q(x, y,z) j R(x, y,z)k непрерывна на |
кусочно-гладкой дуге L12. Тогда криволинейный интеграл второго рода существует как предел интегральных сумм.
a,dr limmaxi diam li 0 n a Mi , ri .
AB |
i 1 |
12 Это требование может быть ослаблено, более общий вариант см. в седьмом томе учебника
19
Замечание. Предел этот не зависит от
-способа выбора разбиения, лишь бы выполнялось условие А
-выбора «отмеченных точек» на элементах разбиения,
-способа измельчения разбиения, лишь бы выполнялось условие В
Свойства криволинейного интеграла 2 рода.
1. Линейность
а) свойство суперпозиции ((a1 a2 ),dr) (a1,dr) (a2 ,dr)
L L L
б) свойство однородности a,dr a,dr .
L L
Доказательство. Запишем интегральные суммы для интегралов в левых частях равенств. Так как в интегральной сумме число слагаемых конечно, используя свойство скалярного произведения, перейдем к интегральным суммам для правых частей равенств. Затем перейдем к пределу, по теореме о предельном переходе в равенстве получим желаемый результат.
2. Аддитивность. |
|
|
|
|
|
||
ЕслиL L1 L2 , то |
a |
,dr = |
|
a |
,dr + |
a |
,dr . |
L |
L1 |
|
L2 |
||||
Доказательство. Выберем разбиение области L так, чтобы ни один из элементов разбиения ( первоначально и при измельчении разбиения) не содержал одновременно как элементы L1, так и элементы L2. Это можно сделать по теореме существования (замечание к теореме). Далее проводится доказательство через интегральные суммы, как в п.1.
3.Ориентируемость.
a,dr = - a,dr
L L
Доказательство. Интеграл по дуге –L, т.е. в отрицательном направлении обхода дуги
есть предел интегральных сумм, в слагаемых которых вместо ri стоит ( ri ). Вынося
«минус» из скалярного произведения и из суммы конечного числа слагаемых, переходя к пределу, получим требуемый результат.
Заметим, что свойство ориентируемости в криволинейном интеграле первого рода отсутствует. Зато в криволинейном интеграле второго рода отсутствуют свойства интегрирования неравенств, теорема об оценке и теорема о среднем, которые есть в криволинейном интеграле первого рода.
Вычисление криволинейного интеграла второго рода.
.
Пусть a M P(x, y,z)i Q(x, y,z) j R(x, y,z)k . Запишем dr dxi dyj dzk .
Тогда криволинейный интеграл второго рода можно записать в виде
(a,dr) P(x, y,z)dx Q(x, y,z)dy R(x, y,z)dz .
L L
x(t)
Параметризуем дугу L = AB: L y(t)
z(t)
20
A x(t0 ), y(t0 ),z(t0 ) ,
B x(t1), y(t1),z(t1)
x(t), y(t),z(t) непрерывны, так как дуга гладкая. Подставим эти выражения в
криволинейный интеграл, он превратится в определенный интеграл по параметру.
(a,dr) P(x, y,z)dx Q(x, y,z)dy R(x, y,z)dz = .
L L
t1
P(x(t), y(t),z(t))x(t)
t0
Q(x(t), y(t),z(t))y(t) R(x(t), y(t),z(t))z(t) dt
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x cost |
|
Пример. |
Вычислить |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
(a,dr), |
где a (x, y,1), |
L y sint - один виток винтовой |
||||||||||||||||||||||||
|
|
|
L |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z lt |
|
линии, 0 е 2 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(a,dr)= cost( sint) sintcost l dt |
2 l. |
|
|
|
|
|||||||||||||||||||||
L |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пример. |
Вычислить интеграл |
x2dx yxdy |
|
по трем различным дугам, соединяющим |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
AB |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
точки A(0,0,), B(1,1,) L : y x, |
|
L |
2 |
- ломаная, соединяющая точки A, C(1,0), B, L : y x2. |
||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|||
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
||
1) |
L1 : y x, dy dx |
x2dx yxdy 2x2dx |
, |
|
|
|
||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||
|
|
|
L1 |
|
|
|
|
|
|
0 |
|
|
|
|
|
3 |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2) |
L2 AC CB, AC : y 0,dy 0,0 x 1, |
|
|
CB : x 1,dx 0,0 y 1 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
1 |
|
|
|
|
1 |
|
5 |
|
||
|
x2dx yxdy |
|
x2dx ydy |
|
|
. |
||||||||||||||||||||
|
|
|
2 |
|
||||||||||||||||||||||
|
L2 |
AC |
|
CB |
|
|
|
0 |
0 |
|
|
|
|
|
3 |
|
|
|
6 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
2 |
|
|
11 |
|
|
|
|
|
|
|||
3) |
x2dx yxdy (x2 |
x3 (2x))dx |
|
|
. |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
L3 |
0 |
|
|
|
|
|
|
|
3 |
5 |
|
15 |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пример. Показать, что |
|
y2 |
|
dx yxdy |
1 |
по всем указанным выше дугам. |
||||||||||||||||||||
|
|
|
||||||||||||||||||||||||
|
|
|
|
L |
2 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Лекция 6. Формула Грина.
Теорема (формула) Грина. Пусть G – плоская односвязная область с кусочно-гладкой границей L. Пусть функции P(x, y), Q(x, y) непрерывны и имеют непрерывные частные производные по своим переменным в области G и на L.
Тогда справедлива формула Грина
|
|
|
Q |
|
P |
|
|
P(x, y)dx Q(x, y)dy |
|
|
dxdy. |
||||
|
|
||||||
|
|
x |
|
y |
|
||
L |
|
G |
|
|
Доказательство. 1) Назовем плоскую область D (в плоскости OXY) правильной, если любая прямая, параллельная координатной оси (OX или OY) пересекает область не более, чем