1. Понятие криволинейного интеграла II рода (по координатам)
1.1. Построение интегральных сумм
Пусть на плоскости задана ориентированная гладкая (или кусочно-гладкая) кривая с началом в точке и концом в точке .
\begin{document}
\begin{tikzpicture}[scale=1.1, >=stealth]
\draw[->] (-0.5,0) -- (5.0,0) node[below] {$x$};
\draw[->] (0,-0.5) -- (0,3.5) node[left] {$y$};
\node[below left] at (0,0) {$O$};
% Кривая AB
\draw[thick, blue] (1.0, 0.8) to[out=20, in=210] (2.5, 1.8) to[out=30, in=220] (4.2, 2.8);
% Точки границы
\fill (1.0, 0.8) circle [radius=1.5pt] node[below left] {$A = A_0$};
\fill (4.2, 2.8) circle [radius=1.5pt] node[above right] {$B = A_n$};
% Элементарная дуга A_{i-1} A_i
\coordinate (Aim1) at (2.0, 1.45);
\coordinate (Ai) at (3.2, 2.25);
\fill (Aim1) circle [radius=1.5pt] node[above left] {$A_{i-1}$};
\fill (Ai) circle [radius=1.5pt] node[above left] {$A_i$};
% Промежуточная точка M_i
\fill[red] (2.6, 1.88) circle [radius=1.5pt] node[above left] {$M_i(\xi_i, \eta_i)$};
% Проекции приращений
\draw[dashed] (Aim1) -- (2.0, 0) node[below] {$x_{i-1}$};
\draw[dashed] (Ai) -- (3.2, 0) node[below] {$x_i$};
\draw[dashed] (Aim1) -- (0, 1.45) node[left] {$y_{i-1}$};
\draw[dashed] (Ai) -- (0, 2.25) node[left] {$y_i$};
% Ступенька приращений
\draw[thick, dashed, orange!90!black] (Aim1) -- (3.2, 1.45) node[midway, below] {$\Delta x_i$} -- (Ai) node[midway, right] {$\Delta y_i$};
\end{tikzpicture}
\end{document}- Разбиение. Разобьём кривую точками на элементарных дуг .
- Для каждой дуги найдем проекции на оси координат:
- Длину элементарной дуги обозначим .
Диаметр разбиения: При одновременно стремятся к нулю проекции по обеим осям: и . - На каждой частичной дуге выберем произвольную точку:
- Пусть на кривой заданы непрерывные функции и .
Составим две интегральные суммы:
1.2. Определение интегралов по координатам
Определение (Криволинейный интеграл II рода)
Если при существуют конечные пределы сумм и , не зависящие от способа разбиения и выбора точек , то они называются криволинейными интегралами II рода (по координатам) вдоль ориентированной кривой :
Общий вид криволинейного интеграла II рода:
Замечание по обозначению:
В формуле пишется один знак интеграла, хотя под интегралом стоят два слагаемых с разными дифференциалами ( и ). Это стандартная общепринятая форма записи.
2. Свойства криволинейного интеграла II рода
Свойство 1 (Ориентированность / смена направления интегрирования)
При изменении направления обхода кривой криволинейный интеграл II рода меняет знак на противоположный:
Объяснение:
В отличие от криволинейного интеграла I рода, где элемент длины всегда положителен, в интеграле II рода приращение зависит от направления движения:
Этот минус выносится за знак интегральной суммы, что меняет знак интеграла.
Свойство 2 (Линейность)
Для любых непрерывных функций и констант :
Свойство 3 (Аддитивность по пути интегрирования)
Для любой промежуточной точки , разбивающей кривую на дуги и :
Свойство 4 (Интегрирование вдоль отрезков, параллельных осям)
- Если участок пути параллелен оси , то , поэтому:
- Если участок пути параллелен оси , то , поэтому:
Свойство 5 (Интеграл по замкнутому контуру)
Если кривая является замкнутым контуром, то значение криволинейного интеграла II рода не зависит от выбора начальной точки пути: Значение зависит исключительно от направления обхода контура.
\begin{document}
\begin{tikzpicture}[scale=1.0]
\begin{scope}[shift={(0,0)}]
\draw[thick, blue, ->] (0,0) ellipse [x radius=1.6, y radius=1.0];
\node at (0,0) {$D$};
\node[above] at (0,1.0) {$L^+$};
\draw[->, thick, red] (1.6,0) arc[start angle=0, end angle=90, x radius=1.6, y radius=1.0];
\node[below=2pt] at (0,-1.3) {\textbf{Positive} (counterclockwise)};
\end{scope}
\begin{scope}[shift={(5.5,0)}]
\draw[thick, blue, <-] (0,0) ellipse [x radius=1.6, y radius=1.0];
\node at (0,0) {$D$};
\node[above] at (0,1.0) {$L^-$};
\draw[<-, thick, red] (1.6,0) arc[start angle=0, end angle=90, x radius=1.6, y radius=1.0];
\node[below=2pt] at (0,-1.3) {\textbf{Negative} (clockwise)};
\end{scope}
\end{tikzpicture}
\end{document}Определение (Положительное направление обхода контура)
Положительным направлением обхода контура называется такое направление, при движении по которому область , ограниченная этим контуром, остаётся по левую руку (слева от наблюдателя).
- Для внешней границы простой плоской области положительным направлением является обход против часовой стрелки.
- Если значок кружка на интеграле стоит без стрелок, по умолчанию подразумевается положительное направление обхода.
2.1. Односвязные и многосвязные области
\begin{document}
\begin{tikzpicture}[scale=1.0]
\begin{scope}[shift={(0,0)}]
\filldraw[fill=blue!15, draw=blue!80!black, thick]
plot [smooth cycle, tension=0.8] coordinates {(0,0) (1.8,0.2) (2.4,1.8) (1.0,2.2) (-0.4,1.4)};
\node at (1.0, 1.1) {$D$};
\draw[thick, dashed, red] (0.8, 1.1) circle [radius=0.5];
\node[red, above] at (0.8, 1.6) {$L \subset D$};
\node[below=2pt] at (1.0, -0.6) {\textbf{Simply connected}};
\end{scope}
\begin{scope}[shift={(5.5,0)}]
\filldraw[fill=blue!15, draw=blue!80!black, thick]
plot [smooth cycle, tension=0.8] coordinates {(0,0) (2.4,0.1) (2.8,2.0) (1.2,2.4) (-0.4,1.4)};
\filldraw[fill=white, draw=black, thick] (0.6, 1.3) circle [radius=0.35];
\filldraw[fill=white, draw=black, thick] (1.8, 0.9) circle [radius=0.3];
\node at (1.2, 1.7) {$D$};
\draw[thick, dashed, red] (0.6, 1.3) circle [radius=0.6];
\node[below=2pt] at (1.2, -0.6) {\textbf{Multiply connected}};
\end{scope}
\end{tikzpicture}
\end{document}Определение (Односвязная область)
Замкнутая область называется односвязной, если любой замкнутый контур, целиком лежащий в области , ограничивает область, которая также целиком лежит в (простыми словами: область без внутренних «дыр»).
Если в области есть «дыры», она называется многосвязной (двусвязной с одной дырой, трёхсвязной с двумя дырами и т.д.).
3. Вычисление криволинейных интегралов II рода
Формулы вычисления через определённый интеграл
Параметрическое задание кривой: :
Дифференциалы: .
Важно: пределы интегрирования и расставляются строго в соответствии с направлением движения: соответствует начальной точке , а — конечной точке (независимо от того, или ).Явное задание кривой: :
Дифференциал: .
4. Физический смысл: работа силового поля
\begin{document}
\begin{tikzpicture}[scale=1.1, >=stealth]
\draw[->] (-0.3,0) -- (4.5,0) node[below] {$x$};
\draw[->] (0,-0.3) -- (0,3.2) node[left] {$y$};
\node[below left] at (0,0) {$O$};
% Кривая AB
\draw[thick, blue] (1.0, 0.8) to[out=50, in=190] (2.5, 2.2) to[out=10, in=140] (4.0, 1.6);
\node[left] at (1.0, 0.8) {$A$};
\node[right] at (4.0, 1.6) {$B$};
% Точка на кривой и вектор r
\coordinate (M) at (2.5, 2.2);
\draw[->, thick, gray] (0,0) -- (M) node[midway, above left] {$\vec{r}$};
\fill (M) circle [radius=1.5pt];
% Касательный вектор dr и вектор силы F
\draw[->, very thick, green!60!black] (M) -- (3.2, 2.1) node[below] {$d\vec{r}$};
\draw[->, very thick, red] (M) -- (3.0, 3.0) node[above right] {$\vec{F}$};
\end{tikzpicture}
\end{document}Пусть радиус-вектор точки на кривой равен , тогда вектор элементарного перемещения, направленный по касательной к кривой, равен:
На материальную точку действует векторное силовое поле:
Элементарная работа силы на перемещении выражается скалярным произведением:
Полная работа по перемещению точки из положения в положение :
Связь с криволинейным интегралом I рода: где — единичный вектор касательной в направлении обхода кривой.
5. Формула Грина для односвязной области
Формула Грина связывает криволинейный интеграл II рода по замкнутой границе области с двойным интегралом по самой этой области.
Теорема (Формула Грина для односвязной области)
Пусть замкнутая область на плоскости ограничена простым кусочно-гладким контуром .
Если функции и непрерывны вместе со своими частными производными и в замкнутой области , то справедлива формула Грина: где обход контура совершается в положительном направлении (против часовой стрелки).
Доказательство формулы Грина
Докажем формулу для частного случая: пусть . Тогда требуется доказать равенство:
\begin{document}
\begin{tikzpicture}[scale=1.2, >=stealth]
\draw[->] (-0.3,0) -- (4.8,0) node[below] {$x$};
\draw[->] (0,-0.3) -- (0,3.5) node[left] {$y$};
\node[below left] at (0,0) {$O$};
% Линии a и b
\draw[dashed] (1.0,0) node[below] {$a$} -- (1.0,2.5);
\draw[dashed] (3.6,0) node[below] {$b$} -- (3.6,2.7);
% Вершины
\coordinate (A) at (1.0, 0.8);
\coordinate (Dpt) at (3.6, 1.2);
\coordinate (C) at (3.6, 2.7);
\coordinate (B) at (1.0, 2.4);
% Заливка области D
\filldraw[fill=blue!15, draw=none]
(A) to[out=20, in=190] (Dpt) -- (C) to[out=170, in=20] (B) -- cycle;
% Граничные дуги с направлениями
\draw[thick, blue, ->] (A) to[out=20, in=190] (Dpt) node[midway, below] {$y_1(x)$};
\draw[thick, blue, ->] (Dpt) -- (C);
\draw[thick, blue, ->] (C) to[out=170, in=20] (B) node[midway, above] {$y_2(x)$};
\draw[thick, blue, ->] (B) -- (A);
\fill (A) circle [radius=1.2pt] node[below left] {$A$};
\fill (Dpt) circle [radius=1.2pt] node[below right] {$D$};
\fill (C) circle [radius=1.2pt] node[above right] {$C$};
\fill (B) circle [radius=1.2pt] node[above left] {$B$};
\node at (2.3, 1.8) {$D$};
\end{tikzpicture}
\end{document}- Предположим, что область правильная относительно оси :
- Вычислим двойной интеграл в правой части:
- Контур состоит из четырёх участков:
- Нижняя кривая: от до по линии ;
- Вертикальный отрезок : параллелен ;
- Верхняя кривая: от до по линии ;
- Вертикальный отрезок : параллелен .
- Запишем интеграл по замкнутому контуру:
- Выразим через определённые интегралы:
- На дуге : изменяется от до :
- На дуге : движение идёт от точки () к точке ():
- Складывая:
Аналогично, предполагая правильность области относительно оси , доказывается вторая половина формулы:
Складывая оба равенства, получаем полную формулу Грина:
Обобщение на произвольную односвязную область (метод разрезов)
Если область не является правильной, разобьём её вспомогательными линиями на конечное число правильных областей .
\begin{document}
\begin{tikzpicture}[scale=1.0, >=stealth]
\draw[thick, fill=blue!10] plot [smooth cycle, tension=0.8]
coordinates {(0.5,0.5) (2.5,0.2) (4.5,1.2) (3.5,2.8) (1.2,2.6) (0.2,1.5)};
\node at (2.5, 2.5) {$D$};
% Разрезы
\draw[thick, red] (1.4, 0.35) -- (1.5, 2.65);
\draw[thick, red] (3.0, 0.45) -- (3.2, 2.5);
% Стрелки на разрезах (взаимно противоположные)
\draw[->, thick, red] (1.45, 0.7) -- (1.45, 1.6);
\draw[<-, thick, red] (1.55, 0.7) -- (1.55, 1.6);
\draw[->, thick, red] (3.05, 0.8) -- (3.05, 1.8);
\draw[<-, thick, red] (3.15, 0.8) -- (3.15, 1.8);
\node at (0.8, 1.2) {$D_1$};
\node at (2.3, 1.2) {$D_2$};
\node at (3.8, 1.4) {$D_3$};
\end{tikzpicture}
\end{document}Для каждой части формулу Грина мы уже доказали:
По свойству ориентированности интеграл по каждому внутреннему разрезу берётся дважды в противоположных направлениях, поэтому интегралы по разрезам взаимно уничтожаются. Остаётся интеграл строго по внешнему контуру .
6. Формула Грина для многосвязной области
Пусть многосвязная область ограничена внешним контуром и внутренними контурами («дырами»).
\begin{document}
\begin{tikzpicture}[scale=1.1, >=stealth]
% Внешний контур L0
\draw[thick, blue, ->] plot [smooth cycle, tension=0.8]
coordinates {(0,0) (3.0,-0.2) (4.5,1.5) (3.5,3.2) (1.0,3.0) (-0.5,1.5)};
\node[above right, blue] at (3.5,3.2) {$L_0^+$};
% Внутренние контуры L1, L2, L3
\coordinate (H1) at (0.9, 1.8);
\coordinate (H2) at (2.2, 1.0);
\coordinate (H3) at (3.2, 2.0);
\draw[thick, black, <-] (H1) circle [radius=0.4];
\node at (H1) {\scriptsize $L_1^-$};
\draw[thick, black, <-] (H2) circle [radius=0.35];
\node at (H2) {\scriptsize $L_2^-$};
\draw[thick, black, <-] (H3) circle [radius=0.35];
\node at (H3) {\scriptsize $L_3^-$};
% Разрезы от внешнего контура к внутренним
\draw[dashed, red] (-0.3, 1.7) -- (0.5, 1.8);
\draw[dashed, red] (1.3, 1.8) -- (1.85, 1.0);
\draw[dashed, red] (2.55, 1.0) -- (2.85, 2.0);
\end{tikzpicture}
\end{document}Чтобы применить формулу Грина к многосвязной области, сделаем разрезы, соединяющие внешний контур с внутренними. Получится вспомогательная односвязная область .
- Интегралы по двум берегам каждого разреза проходятся в противоположных направлениях и взаимно уничтожаются;
- При положительном обходе объединённого контура (область остаётся слева) внешний контур обходится против часовой стрелки, а все внутренние контуры — по часовой стрелке.
Формула Грина для многосвязной области
где — обход внешнего контура против часовой стрелки, а — обход внутренних контуров по часовой стрелке.
7. Пример применения формулы Грина
Задача
Вычислить криволинейный интеграл: где — окружность , проходимая в положительном направлении (против часовой стрелки).
Сравнение трёх способов решения:
-
Способ 1 (Непосредственное вычисление в ДСК):
Пришлось бы разбивать окружность на две полуокружности и брать громоздкие несобственные интегралы с корнями. Это самый долгий путь. -
Способ 2 (Параметризация контура в ПСК):
Уравнения окружности: Дифференциалы: Подставляем в интеграл:- Первый интеграл равен за полный период;
- Второй интеграл вычисляется через формулу двойного угла:
-
Способ 3 (С помощью формулы Грина — самый простой и быстрый):
- Выделяем подынтегральные функции:
- Находим частные производные:
- По формуле Грина контурный интеграл сворачивается в двойной интеграл по кругу :
- Переходим к полярным координатам ():
Вывод: формула Грина позволила свести контурный интеграл к элементарному двойному интегралу по кругу, решение заняло три строчки!