21
в двух точках. Можно показать, что область G можно представить как объединение
n
конечного числа правильных областей G Dk .
k 1
Тогда по свойству аддитивности двойной интеграл в правой части формулы Грина равен сумме двойных интегралов по правильным областям. Криволинейный интеграл в левой части равен сумме криволинейных интегралов по границам правильных областей, так как криволинейные интегралы по общим границам любых правильных областей различны по знаку из-за различных направлений обхода границы и взаимно уничтожаются при суммировании.
Поэтому доказательство может быть проведено для правильной области G.
2) Пусть G – правильная область. Так как P, Q могут быть произвольными функциями,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
то |
формула |
Грина сводится |
двум |
формулам |
P(x, y)dx |
|
|
dxdy |
и |
|
|||||||||
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
||
|
|
|
|
|
|
|
|
L |
|
|
|
|
G |
|
|
|
|
||
|
|
Q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q(x, y)dy |
|
dxdy , каждую из которых надо доказать. |
Докажем первую формулу, |
|
|||||||||||||||
|
|
||||||||||||||||||
L |
G |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
вторая доказывается аналогично. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Y |
|
|
|
|
|
P |
|
b (x) |
|
P |
|
|
|
|
b |
|
|
|
|
y= (x) |
|
|
dxdy |
|
|
|
dy |
dx |
|
P(x, y) | (x) |
dx |
||||||||
|
|
|
|
||||||||||||||||
|
|
y |
|
|
y |
|
|
|
|
|
(x) |
|
|||||||
|
|
|
L2 |
D |
|
a (x) |
|
|
|
|
|
a |
|
|
|
||||
|
|
|
|
|
b |
|
b |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
L |
= P(x, (x))dx P(x, (x))dx |
|
|
|
|
|
||||||||||
D
a |
a |
= P(x, y)dx P(x, y)dx =
L2 L1
|
L1 |
P(x, y)dx P(x, y)dx |
P(x, y)dx= P(x, y)dx |
||
|
L2 |
L1 |
L1 L2 |
L |
|
|
|
||||
|
|
y= (x) |
|
|
|
|
|
X |
|
|
|
a |
|
b |
|
|
|
Вычисление площади области по формуле Грина.
По свойству 3 двойного интеграла площадь области D можно вычислить по формуле
SD dxdy. Поэтому достаточно выбрать P, Q так, чтобы |
Q |
|
P |
1, чтобы с |
|
|
|||
D |
x |
y |
||
помощью криволинейного интеграла по формуле Грина можно было бы вычислять площадь области.
|
Например, можно выбрать Q=x, P=0. Тогда |
S xdy. Можно выбрать Q=0, P=y, тогда |
||||||||||
S ydx. |
|
|
|
|
|
|
|
L |
|
|
||
|
|
Очень |
полезна |
бывает |
симметричная |
формула |
при |
|||||
|
L |
|
|
|
|
|
|
|
|
|
|
|
Q |
x |
,P |
y |
, |
S |
1 |
xdy ydx. |
|
|
|
|
|
|
2 |
|
|
|
|
|
||||||
2 |
|
|
2 |
|
L |
|
|
|
|
|||
Пример. Вычислить площадь эллипса с полуосями a, b x acost, y bsint
22
|
1 |
|
|
1 |
2 |
|
1 |
2 |
|
|
S |
xdy ydx |
acostbcost bsinta( sint) dt |
abdt ab. |
|||||||
|
|
|
||||||||
2 |
L |
2 |
0 |
2 |
0 |
|
||||
|
|
|
|
|
|
|
||||
|
|
|
|
|
Полный дифференциал и его вычисление. |
|
||||
Теорема (о |
полном |
дифференциале). Для |
того |
чтобы выражение |
||||||
P(x, y)dx Q(x, y)dy dV(x, y) |
- было полным дифференциалом |
некоторой функции |
||||||||
V(x, y)- потенциала, необходимо и достаточно, чтобы в условиях формулы Грина было выполнено одно из следующих четырех условий (эквивалентных условий полного дифференциала)
1) |
|
P(x, y)dx Q(x, y)dy зависит только от начальной A и конечной B точек дуги |
|||||
|
|
AB |
|
|
|
|
|
|
|
AB G и не зависит от формы дуги (не зависит от пути интегрирования), |
|||||
2) |
P(x, y)dx Q(x, y)dy 0 |
для любого кусочно-гладкого контура |
G, |
||||
|
|
|
|
|
|
|
|
3) |
|
Q |
|
P |
, x, y G, |
|
|
|
x |
|
|
|
|||
|
|
|
y |
|
|
||
4)P(x, y)dx Q(x, y)dy dV(x, y) V dx V dy.
Доказательство. Схема |
|
|
|
|
x |
|
y |
|||||||||||
доказательства |
теоремы 4) 3) 2) 1) 4). По этой |
|||||||||||||||||
цепочке можно последовательно добраться от любого пункта к любому другому. |
||||||||||||||||||
4) 3) |
Дополнительно |
предположим, |
что существуют и непрерывны вторые |
|||||||||||||||
смешанные производные функции V. Тогда они равны. |
||||||||||||||||||
|
Q |
|
V |
|
2V |
|
2V |
|
|
|
V |
P |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
x |
|
|
|
|
|
x y |
|
y x |
|
y x |
y |
|
|||||
|
x |
y |
|
|
|
|
||||||||||||
3)2). Это следует из формулы Грина.
2)1). Пусть точки A, B соединены двумя дугами L1 и L2. Тогда из них можно
составить контур : L1 L2 , интеграл вдоль которого по п.2 равен нулю.
0 P(x, y)dx Q(x, y)dy= |
P(x, y)dx Q(x, y)dy = P(x, y)dx Q(x, y)dy- |
||||||||||||||
|
|
|
|
|
|
|
L1 L2 |
|
|
|
|
L1 |
|
|
|
|
P(x, y)dx Q(x, y)dy. Поэтому P(x, y)dx Q(x, y)dy= P(x, y)dx Q(x, y)dy. |
||||||||||||||
|
L2 |
|
|
|
|
|
L1 |
|
|
|
L2 |
|
|
||
|
|
|
|
|
|
|
|
|
(x, y) |
|
|
|
|
|
|
1) 4). Докажем, что V(x, y) |
P(x, y)dx Q(x, y)dy - потенциал, то есть, что |
||||||||||||||
|
|
|
|
|
|
|
|
|
(x0 , y0 ) |
|
|
|
|
|
|
|
V |
P(x, y), |
|
V |
Q(x, y). |
|
Докажем |
первое |
соотношение, второе |
доказывается |
|||||
|
|
|
|
|
|||||||||||
|
x |
|
y |
|
|
|
|
|
|
|
|
|
|||
аналогично. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
V |
V(x x) V(x) |
|
|
1 |
(x x, y) |
|
(x, y) |
|
||||||
|
|
|
|
Pdx Qdy |
Pdx Qdy |
|
|||||||||
|
x |
lim x 0 |
|
|
x |
|
lim x 0 |
x |
|
= |
|||||
|
|
|
|
|
|
|
|
|
|
|
x0 , y0 |
|
(x0 , y0 ) |
|
|
Заметим, что такая запись интеграла показывает, что интеграл не зависит от формы дуги. Поэтому мы можем в первом интеграле провести дугу через точку (x, y), чтобы в первом и втором интеграле сократились интегралы по дуге, соединяющей начальную точку с точкой (x, y). В первом интеграле выберем в качестве дуги, соединяющей точку (x, y) с
23
точкой (x+ x,y) отрезок прямой, параллельный оси OX. На этом отрезке y не изменяется, поэтому dy=0
Тогда, продолжая равенство, получим
|
|
1 |
(x x, y) |
|
1 |
x x |
|
1 |
|
|
= lim |
P(x, y)dx lim |
P(x, y)dx lim |
|
P(x x, y) x = |
||||||
|
|
x 0 x |
|
|||||||
|
x 0 x (x, y) |
x |
x 0 x |
|||||||
(здесь мы перешли от криволинейного интеграла к определенному, так как дуга интегрирования – отрезок, параллельный оси OX и применили теорему о среднем для определенного интеграла). Теперь используем непрерывность функции P(x, y) по переменной x.
= lim x 0 P(x x, y) P(x, y). Первое соотношение доказано.
Для доказательства второго соотношения варьируется переменная y, дуга, соединяющая точки (x0, y0), и (x, y+ y) проводится через точку (x, y) и далее по отрезку, параллельному оси OY, соединяющему точки (x, y) и (x, y+ y).
Формула Ньютона – Лейбница.
Пусть выполнены условия теоремы о полном дифференциале и пусть выражение
P(x, y)dx Q(x, y)dy dV(x, y) - полный дифференциал, а функция V(x, y)- потенциал.
Тогда справедлива формула Ньютона – Лейбница
(x2 , y2 )
P(x, y)dx Q(x, y)dy V(x2 , y2 ) V(x1, y1), где V(x, y) - потенциал.
(x1, y1)
Доказательство. В теореме о полном дифференциале доказано, что потенциал можно
|
(x, y) |
записать в виде V(x, y) |
P(x, y)dx Q(x, y)dy . Так как интеграл не зависит от пути |
|
(x0 , y0 ) |
интегрирования, то дугу, соединяющую точки (x1, y1), (x2, y2) можно провести через точку
(x2 , y2 ) |
|
(x0 , y0 ) |
(x2 , y2 ) |
(x0, y0). Поэтому P(x, y)dx Q(x, y)dy= |
P(x, y)dx Q(x, y)dy + |
P(x, y)dx Q(x, y)dy |
|
(x1, y1) |
|
(x1, y1) |
(x0 , y0 ) |
(x2 , y2 ) |
(x1, y1) |
|
|
= P(x, y)dx Q(x, y)dy- |
P(x, y)dx Q(x, y)dy = V(x2 , y2 ) V(x1, y1). |
||
(x0 , y0 ) |
(x0 , y0 ) |
|
|
Теорема (о полном дифференциале) для пространственной кривой.
Пусть дуга AB лежит на кусочно-гладкой поверхности S, пусть функции P(x, y, z), Q(x, y, z), R(x, y, z) непрерывны и имеют непрерывные частные производные на S. Тогда следующие четыре утверждения эквивалентны.
1) Pdx Qdy Rdzне зависит от формы дуги (от пути интегрирования), а зависит
AB
только от начальной и конечной точек дуги.
2) |
Для любого замкнутого контура S |
Pdx Qdy Rdz 0 |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) |
|
Q |
|
P |
, |
R |
|
Q |
, |
P |
|
R |
x, y,z S |
|
|
x |
|
|
z |
z |
x |
||||||||
|
|
|
y y |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
24 |
4) Pdx Qdy Rdz dV(x, y,z), |
P |
V |
, Q |
V |
, R |
V |
. |
V(x, y,z)- полный |
x |
y |
|
||||||
|
|
|
|
z |
|
|||
дифференциал.
Доказательство. Доказательство аналогично двумерному случаю, схема доказательства та же: 4) 3) 2) 1) 4). Докажите ее самостоятельно.
4) 3) проводится по теореме о смешанных производных так же как в двумерном случае.
3)2) проводится по теореме Стокса (будет сформулирована и доказана ниже).
2)1) доказательство полностью аналогично двумерному случаю.
1)4) доказательство аналогично двумерному случаю.
Замечание. Формула Ньютона-Лейбница справедлива в трехмерном случае и доказывается так же.
Вычисление криволинейного интеграла от полного дифференциала.
Криволинейный интеграл от полного дифференциала можно вычислять двумя способами.
1)Можно выбирать удобный путь интегрирования, например, состоящий из отрезков, параллельных OX и OY. На отрезке, параллельном OX, dy=0, так как y не изменяется
на этом отрезке. На отрезке, параллельном OY, dx=0, так как x не изменяется на
(x2 , y2 ) |
(x2 , y1) |
(x2 , y2 ) |
этом отрезке. Тогда P(x, y)dx Q(x, y)dy= |
P(x, y1)dx+ |
Q(x2 , y)dy |
(x1, y1) |
(x1, y1) |
(x2, y1) |
2)Можно восстановить потенциал, как это делалось на первом курсе при решении дифференциальных уравнений в полных дифференциалах и применить формулу Ньютона-Лейбница.
(3,6)
Пример. Вычислить интеграл ydx xdy.
|
|
(1,2) |
(3,6) |
3 |
6 |
1) ydx xdy= |
2dx 3dy 4 12 16 |
|
(1,2) |
1 |
2 |
2)V y V xy g(y) C1
x
V x V xy h(x) C2 .
y
Сравнивая две записи потенциала, получим V xy C .
(3,6)
ydx xdy=V(3,6) V(1,2) 18 C (2 C) 16.
(1,2)
Заметим, что аналогично вычисляется криволинейный интеграл от полного дифференциала по пространственной кривой.
Формула Грина для многосвязной области.
|
25 |
Пусть кусочно-гладкие контуры |
1,.... n. лежат внутри контура и вне друг друга. |
Пусть P(x, y),Q(x, y) непрерывны |
и имеют непрерывные частные производные по |
переменным x, y в области между контурами и на самих этих контурах. Тогда |
|
|
|
n |
|
|
Q |
|
P |
|
|
|
|
|
|
|
|||||
P(x, y)dx Q(x, y)dy |
P(x, y)dx Q(x, y)dy |
|
|
dxdy |
|||||
|
|
||||||||
|
|
|
x |
|
y |
|
|||
|
|
k 1 k |
|
D |
|
|
|
m |
|
|
|
Соединим контуры линиями AB, CD, EK. |
|||
p |
1 |
q |
2 |
|
По формуле Грина для односвязной области |
|||
|
криволинейные |
интегралы |
по |
контуру |
||||
A |
D |
|
E |
K |
AbpCDqEKmA и по контуру |
AnKEsDCrBA |
||
B |
C |
|
|
|||||
|
|
|
|
|
равны двойным |
интегралам |
для |
верхней |
|
r |
s |
|
|
Dверх и нижней Dнижн областей. |
|
|
|
|
|
|
Представим эти |
интегралы |
как |
сумму |
||
|
n |
|
|
|
||||
интегралов по составляющим контуры дугам и сложим эти интегралы, сокращая интегралы по одним и тем же дугам в разных направлениях
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
P |
|
|||||||||||
|
|
Pdx Qdy |
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
dxdy |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|||||||||||||||
ABpCDqEKmA |
|
|
|
AB |
|
|
BpC |
|
|
CD |
|
DqE |
|
EK |
|
|
KmA |
|
D |
|
|
y |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
верх |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
|
|
P |
|
|
|||||||
|
|
Pdx Qdy |
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
dxdy |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
y |
|
|
|||||||||||||||
AnKEsDCrBA |
|
|
|
BA CrB DC EsD KE |
|
|
AnK |
|
|
Dнижн |
|
|
|
|
||||||||||||||||||||||||||
Складывая интегралы, получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
f z dz |
|
f z dz |
|
|
f z dz =. |
|
|
|
Q |
|
|
P |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
dxdy |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
y |
|
||||||||||||||
BpCrB |
|
DqEsD |
KmAnK |
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
D |
|
|
|
|
||||||||||||
Отсюда имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Q |
|
P |
|
|
|
|
|
|
|
|
|
|
||||||
Pdx Qdy |
Pdx Qdy |
Pdx Qdy= |
|
|
|
dxdy . |
Теорема доказана для |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
y |
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
случая n = 2. Для n > 2 доказательство аналогично.
Следствие 1. Пусть Pdx+Qdy – полный дифференциал и n=1.
Тогда
Pdx Qdy
Pdx Qdy . Поэтому, если в какой-либо точке нарушается
1
непрерывность функций, P, Q или их частных производных, то интеграл может быть взят по любому кусочно-гладкому не самопересекающемуся контуру, охватывающему эту точку (мы получим один и тот же результат).
Следствие 2. Пусть Pdx+Qdy – полный дифференциал Если кусочно-гладкий контур
один раз охватывает некоторую точку,
Pdx Qdy W , а контур L n раз охватывает эту
точку, то в условиях теоремы
Pdx Qdy nW . Докажите это самостоятельно.