Теорема Стокса

Теорема Стокса — одна из основных теорем дифференциальной геометрии и математического анализа об интегрировании дифференциальных форм, которая обобщает несколько теорем анализа. Названа в честь Дж. Г. Стокса.

Общая формулировка теоремы Стокса

$\oint \limits _{L}\mathbf {a} \cdot d\mathbf {l} =\int \limits _{S}\operatorname {rot} \mathbf {a} \cdot d\mathbf {s}$

Циркуляция вектора $\mathbf {a}$ по замкнутому контуру $L$ равна потоку ротора вектора $\mathbf {a}$ через произвольную поверхность $S$, ограниченную замкнутым контуром $L$.

В координатной записи теорема Стокса принимает вид:

$\oint \limits _{L}a_{x}\,dx+a_{y}\,dy+a_{z}\,dz=\iint \limits _{S}\left({\frac {a_{y}}{\partial x}}-{\frac {a_{x}}{\partial y}}\right)\,dx\,dy+\left({\frac {a_{x}}{\partial y}}-{\frac {a_{y}}{\partial z}}\right)\,dy\,dz+\left({\frac {a_{x}}{\partial z}}-{\frac {a_{z}}{\partial x}}\right)\,dx\,dz$

$a_{x},a_{y},a_{z}$ - проекции вектора $\mathbf {a}$

Следствия из теоремы Стокса

Поток ротора вектора через замкнутую поверхность всегда равен нулю, то есть поле ротора является соленоидальным.

Если в какой-то области векторного поля $\operatorname {rot} \mathbf {a} =0$, то циркуляция вектора $\mathbf {a}$ по замкнутому контуру в этой области тоже равна нулю.

Если циркуляция вектора $\mathbf {a}$ по любому замкнутому контуру равна нулю, то $\operatorname {rot} \mathbf {a} =0$ и поле безвихревое.

Частные случаи

Формула Ньютона — Лейбница

Пусть дана кривая $l$ (одномерная цепь), ориентированно направленная от точки $a$ к точке $b$, в многообразии произвольной размерности. Форма $\omega$ нулевой степени класса $C^{1}$ — это дифференцируемая функция $f$. Тогда формула Стокса записывается в виде

$\int \limits _{l}df=\int \limits _{l}f'\,dx=\int \limits _{a}^{b}f'\,dx=f(b)-f(a).$

Теорема Грина

Иногда называют теоремой Грина — Римана. Пусть $M$ — плоскость, а $D$ — некоторая её положительно ориентированная ограниченная область с кусочно-гладкой жордановой границей. Пусть форма первой степени, записанная в координатах $x$ и $y,$ — это выражение $L\,dx+M\,dy.$ Тогда для интеграла от этой формы по положительно ориентированной (против часовой стрелки) границе области $D$ верно

$\ \int \limits _{\partial D}\left(L\,dx+M\,dy\right)=\iint \limits _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dx\,dy.$

Вывод из теоремы Стокса

Определяя дифференциальную форму $\omega =L\,dx+M\,dy$, найдём её внешний дифференциал:

$d\omega =\left({\dfrac {\partial L}{\partial x}}\,dx+{\dfrac {\partial L}{\partial y}}\,dy\right)\wedge dx+\left({\dfrac {\partial M}{\partial x}}\,dx+{\dfrac {\partial M}{\partial y}}\,dy\right)\wedge dy.$

Принимая во внимание, что $dx\wedge dx=0$ и $dy\wedge dy=0$:

$d\omega ={\underset {-{\frac {\partial L}{\partial y}}\,dx\,\wedge \,dy}{\underbrace {{\dfrac {\partial L}{\partial y}}\,dy\wedge dx} }}+{\dfrac {\partial M}{\partial x}}\,dx\wedge dy=\left({\dfrac {\partial M}{\partial x}}-{\dfrac {\partial L}{\partial y}}\right)\,dx\wedge dy.$

Отсюда используя теорему Стокса:

$\int \limits _{\partial D}L\,dx+M\,dy=\iint \limits _{D}\left({\frac {\partial M}{\partial x}}-{\frac {\partial L}{\partial y}}\right)\,dx\,dy.$

■

Независимое доказательство формулы Грина приведено в её основной статье.

Теорема Остроградского — Гаусса

Поток вектора $\mathbf {a}$ через замкнутую поверхность $S$ равен интегралу от $\operatorname {div} \mathbf {a}$ , взятому по объему $V$, ограниченному поверхностью $S$.

$\iint \limits _{S}\mathbf {a} \cdot d\mathbf {s} =\iiint \limits _{V}\operatorname {div} \mathbf {a} \cdot d\mathbf {v}$

В координатной записи формула Остраградского-Гаусса принимает вид:

$\iint \limits _{S}a_{x}\,dy\,dz+a_{y}\,dz\,dx+a_{z}\,dx\,dy=\iiint \limits _{V}\left({\frac {a_{x}}{\partial x}}+{\frac {a_{y}}{\partial y}}+{\frac {a_{z}}{\partial z}}\right)\,dx\,dy\,dz$

$a_{x},a_{y},a_{z}$ - проекции вектора $\mathbf {a}$

Следствия из теоремы Остроградского-Гаусса:

1) в соленоидальном поле ($\operatorname {div} \mathbf {a} =0$) поток вектора $\mathbf {a}$ через любую замкнутую поверхность равен нулю.

2) если внутри замкнутой поверхности $S$ имеется источник или сток, то поток вектора $\mathbf {a}$ через эту поверхность не зависит от ее формы.

Вывод из теоремы Стокса

Рассмотрим дифференциальную форму $\omega =P\,dy\wedge dz+Q\,dz\wedge dx+R\,dx\wedge dy$. Тогда, используя свойство дифференциала дифференциальной формы $d(\omega _{F}^{2})=\omega _{\mathrm {div} \,F}^{3}$:

$d\omega =\left({\frac {\partial P}{\partial x}}+{\frac {\partial Q}{\partial y}}+{\frac {\partial R}{\partial z}}\right)\,dx\wedge dy\wedge dz.$

Отсюда, используя теорему Стокса:

$\iint \limits _{\partial V}P\,dy\,dz+Q\,dz\,dx+R\,dx\,dy=\iiint \limits _{V}\left({\frac {\partial P}{\partial x}}+{\frac {\partial Q}{\partial y}}+{\frac {\partial R}{\partial z}}\right)\,dx\,dy\,dz.$

■

Литература

• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления — Т. 3
• Арнольд В. И. Математические методы классической механики (djvu) (недоступная ссылка)  (недоступная ссылка с 18-05-2013 [4258 дней] — история)
• Картан А. Дифференциальное исчисление. Дифференциальные формы. — М.: Мир, 1971.
• Воднев В.Г., Наумович А.Ф., Наумович Н.Ф. "Математический словарь высшей школы" - издательство МПИ 1984

См. также

• Векторный анализ
• Дифференциальная форма
• Формулы векторного анализа
• Дифференциальные геометрия и топология