
- •Глава 1. Дифференциальное исчисление функции многих переменных §1. Понятие функции нескольких переменных
- •Пространство и множества в пространстве
- •Определение функции нескольких переменных
- •Линии и поверхности уровня
- •Предел функции в точке
- •Непрерывность функции. Точки разрыва
- •§2. Дифференцирование функции нескольких переменных
- •1. Частные производные функции нескольких переменных
- •2. Дифференцируемость функции двух переменных
- •3. Дифференцирование сложной функции
- •4. Дифференциал функции двух переменных
- •Дифференцирование функции одной и двух переменных, заданных неявно
- •Частные производные и дифференциалы высших порядков
- •Аналитический признак полного дифференциала
- •§3. Производная по направлению и градиент
- •1. Производная по направлению
- •2. Градиент и его свойства
- •§4. Экстремумы функций нескольких переменных
- •Экстремумы функций двух и трёх переменных
- •Условный экстремум
- •Глава 2. Интегральное исчисление функции нескольких переменных § 1. Двойной интеграл
- •Геометрическая задача, приводящая к понятию двойного интеграла
- •3. Геометрический смысл двойного интеграла
- •4. Основные свойства двойного интеграла
- •Геометрический смысл теоремы о среднем значении двойного интеграла
- •5. Вычисление двойного интеграла в декартовых координатах
- •Двойной интеграл в полярной системе координат
- •7. Интеграл Эйлера–Пуассона
- •8. Некоторые приложения двойного интеграла
- •§2. Тройной интеграл
- •1. Определение тройного интеграла
- •2. Физический и геометрический смысл тройного интеграла
- •3. Основные свойства тройного интеграла
- •4. Вычисление тройного интеграла в декартовой системе координат
- •Основные свойства криволинейного интеграла I рода
- •2. Криволинейный интеграл II рода (по координатам)
- •Свойства криволинейного интеграла II рода
- •2.2. Физический смысл криволинейного интеграла II рода
- •2.3. Вычисление криволинейного интеграла II рода
- •3. Формула Грина
- •4. Независимость криволинейного интеграла от пути интегрирования (случай на плоскости)
- •5. Потенциальное поле, потенциальная функция и её вычисление
- •6. Вычисление криволинейного интеграла, независящего от пути интегрирования
- •§ 4. Поверхностные интегралы
- •1. Поверхностный интеграл I рода
- •2. Поверхностный интеграл II рода
- •3. Дивергенция векторного поля. Теорема Гаусса–Остроградского
- •4. Ротор (вихрь) векторного поля. Теорема Стокса
3. Формула Грина
Теорема.
Пусть C
– граница замкнутой области
и функции
,
и
непрерывны в области D.
Тогда справедлива формула
Грина:
,
где обход контура C осуществляется против часовой стрелки.
Доказательство: Пусть область D правильная в направлениях 0X и 0Y (рис. 1).
Рис. 1
Пусть
кривая AMB
– график функции
– дуга AMB,
кривая
ANB
– график
функции
–
дуга ANB,
кривая
MAN
– график
функции
– дуга MAN,
кривая
MBN
– график
функции
–
дуга MBN.
Вычислим
т.е.
.
(1)
Аналогично вычислим
т.е.
.
(2)
Вычтем (1) из (2), получим:
Используя свойства двойного и криволинейного интегралов, можно записать:
или
Теорема доказана.
Замечание 1. Условия теоремы Грина обеспечивают существование всех входящих в неё интегралов.
Замечание 2. Если область D не является правильной, то её надо разбить на правильные части. Тогда:
и для каждого из n слагаемых применяем формулу Грина.
Пример 1. Вычислить по формуле Грина:
Из полученного результата можно записать формулу для вычисления площади области D, у которой границей является контур C, с помощью криволинейного интеграла:
Пример 2. Вычислить по формуле Грина:
.
окружность
с центром
и
радиусом
,
m,
a
постоянные величины.
Ответ:
4. Независимость криволинейного интеграла от пути интегрирования (случай на плоскости)
Определение. Криволинейный интеграл II рода называется независящим от пути интегрирования, если результат интегрирования будет один и тот
же по любому пути, соединяющему точки A и B, на котором функции P (x;y) и Q (x;y) непрерывны. Обозначение такого интеграла:
Теорема
1.
Криволинейный интеграл
не зависит от пути интегрирования в
области D
тогда
и только тогда, когда
по любому замкнутому контуру C, целиком лежащему в области D.
Доказательство:
Необходимость.
Дано:
,
где С – любой контур
.
Доказать:
не зависит от пути интегрирования.
Пусть
точки A
и
.
Рассмотрим две произвольные кривые
и
соединяющие
точки A
и
B
(рис. 1).
Рис. 1
Так как по условию не зависит от пути интегрирования, то
Отсюда следует:
Так как кривые и взяты произвольно, то и контур C=AmBnA – произвольный. Необходимость доказана.
Достаточность. Дано: , где С – любой контур .
Доказать: не зависит от пути интегрирования.
Рис. 2
Возьмём
произвольный контур
и на нём две точки A
и
B
(произвольно) (рис. 2). Тогда по свойству
криволинейного интеграла можно записать:
Поэтому
Как видим, результат интегрирования по двум произвольным кривым, имеющих одно и тоже начало (A) и один и тот же конец (B) одинаковый, следовательно, не зависит от пути интегрирования.
Достаточность доказана.
Теорема 2 (критерий независимости криволинейного интеграла от пути интегрирования)
Пусть
функции
непрерывны в односвязной области D
R2.
Чтобы интеграл
не зависел от пути интегрирования в
области D,
необходимо и достаточно выполнение
равенства:
в
любой точке
.
Доказательство:
Необходимость.
Дано:
не
зависит от пути интегрирования в области
D,
т.е. по любому контуру
Доказать:
в любой точке
.
Предположим,
что в точке
равенство не выполняется, т.е.
Пусть
Построим окружность C
с центром в точке
столь малого радиуса
,
чтобы во всех точках круга S,
ограниченного этой окружностью,
выполнялось неравенство
Это требование можно выполнить исходя
из непрерывности функции
.Тогда
по формуле Грина:
т.е.
есть замкнутый контур, принадлежащий
области D,
по которому интеграл не равен 0. Это
противоречит условию теоремы.
Следовательно, в любой точке
выполняется равенство:
Что и требовалось доказать.
Достаточность.
Дано:
в
любой точке
Доказать:
не
зависит от пути интегрирования в области
D,
т.е. по любому контуру
Рассмотрим
любой контур
,
ограничивающий область
(так как область D
односвязная). Тогда по формуле Грина:
.
Так
как по условию теоремы
в любой точке
то
в области
.
Следовательно,
Так
как контур C
произвольный в области D,
то
в области D
не
зависит от пути интегрирования.
Достаточность доказана.