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. Для каждой дуги найдем проекции на оси координат:
  3. Длину элементарной дуги обозначим .
    Диаметр разбиения: При одновременно стремятся к нулю проекции по обеим осям: и .
  4. На каждой частичной дуге выберем произвольную точку:
  5. Пусть на кривой заданы непрерывные функции и .
    Составим две интегральные суммы:

1.2. Определение интегралов по координатам

Определение (Криволинейный интеграл II рода)

Если при существуют конечные пределы сумм и , не зависящие от способа разбиения и выбора точек , то они называются криволинейными интегралами II рода (по координатам) вдоль ориентированной кривой :

Общий вид криволинейного интеграла II рода:

Замечание по обозначению:
В формуле пишется один знак интеграла, хотя под интегралом стоят два слагаемых с разными дифференциалами ( и ). Это стандартная общепринятая форма записи.


2. Свойства криволинейного интеграла II рода

Свойство 1 (Ориентированность / смена направления интегрирования)

При изменении направления обхода кривой криволинейный интеграл II рода меняет знак на противоположный:

Объяснение:
В отличие от криволинейного интеграла I рода, где элемент длины всегда положителен, в интеграле II рода приращение зависит от направления движения: Этот минус выносится за знак интегральной суммы, что меняет знак интеграла.


Свойство 2 (Линейность)

Для любых непрерывных функций и констант :


Свойство 3 (Аддитивность по пути интегрирования)

Для любой промежуточной точки , разбивающей кривую на дуги и :


Свойство 4 (Интегрирование вдоль отрезков, параллельных осям)

  1. Если участок пути параллелен оси , то , поэтому:
  2. Если участок пути параллелен оси , то , поэтому:

Свойство 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 рода

Формулы вычисления через определённый интеграл

  1. Параметрическое задание кривой: :
    Дифференциалы: .
    Важно: пределы интегрирования и расставляются строго в соответствии с направлением движения: соответствует начальной точке , а — конечной точке (независимо от того, или ).

  2. Явное задание кривой: :
    Дифференциал: .


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}
  1. Предположим, что область правильная относительно оси :
  2. Вычислим двойной интеграл в правой части:
  3. Контур состоит из четырёх участков:
    • Нижняя кривая: от до по линии ;
    • Вертикальный отрезок : параллелен ;
    • Верхняя кривая: от до по линии ;
    • Вертикальный отрезок : параллелен .
  4. Запишем интеграл по замкнутому контуру:
  5. Выразим через определённые интегралы:
    • На дуге : изменяется от до :
    • На дуге : движение идёт от точки () к точке ():
  6. Складывая:

Аналогично, предполагая правильность области относительно оси , доказывается вторая половина формулы:

Складывая оба равенства, получаем полную формулу Грина:


Обобщение на произвольную односвязную область (метод разрезов)

Если область не является правильной, разобьём её вспомогательными линиями на конечное число правильных областей .

\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. Способ 1 (Непосредственное вычисление в ДСК):
    Пришлось бы разбивать окружность на две полуокружности и брать громоздкие несобственные интегралы с корнями. Это самый долгий путь.

  2. Способ 2 (Параметризация контура в ПСК):
    Уравнения окружности: Дифференциалы: Подставляем в интеграл:

    • Первый интеграл равен за полный период;
    • Второй интеграл вычисляется через формулу двойного угла:
  3. Способ 3 (С помощью формулы Грина — самый простой и быстрый):

    • Выделяем подынтегральные функции:
    • Находим частные производные:
    • По формуле Грина контурный интеграл сворачивается в двойной интеграл по кругу :
    • Переходим к полярным координатам ():

Вывод: формула Грина позволила свести контурный интеграл к элементарному двойному интегралу по кругу, решение заняло три строчки!