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

Теорема Стокса — это фундаментальная теорема векторного анализа и дифференциальной геометрии, устанавливающая связь между интегралом от дифференциальной формы по границе некоторого многообразия и интегралом от её внешней производной по самому многообразию. В классической формулировке для трёхмерного пространства теорема Стокса связывает криволинейный интеграл векторного поля по замкнутому контуру с потоком ротора этого поля через поверхность, натянутую на данный контур. Теорема является обобщением основных интегральных теорем анализа: формулы Грина, теоремы Гаусса-Остроградского и основной теоремы анализа (формулы Ньютона-Лейбница).

¶История

Истоки теоремы восходят к работам Уильяма Томсона (лорда Кельвина) и Джорджа Габриеля Стокса. В 1854 году Стокс предложил задачу для студентов Кембриджского университета, в которой требовалось доказать соотношение, ныне известное как теорема Стокса. Впоследствии это соотношение было опубликовано в 1867 году в книге Джеймса Клерка Максвелла «Трактат об электричестве и магнетизме». Максвелл приписал авторство теоремы Стоксу, хотя аналогичные результаты были получены Томсоном ранее. В современной математике теорема была обобщена на произвольные дифференцируемые многообразия с краем, что является одним из центральных результатов теории интегрирования дифференциальных форм.

¶Формулировка

¶Классическая формулировка (в трёхмерном пространстве)

Пусть S — гладкая ориентированная поверхность с краем ∂S в трёхмерном евклидовом пространстве, а F — непрерывно дифференцируемое векторное поле, определённое в некоторой области, содержащей S. Тогда циркуляция векторного поля F по замкнутому контуру ∂S равна потоку ротора этого поля через поверхность S:

\[ \oint_{\partial S} \mathbf{F} \cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F}) \cdot \mathbf{n} \, dS \]

Здесь:

\( \mathbf{F} \) — векторное поле;
\( d\mathbf{r} \) — элемент длины контура;
\( \nabla \times \mathbf{F} \) — ротор векторного поля;
\( \mathbf{n} \) — единичный вектор нормали к поверхности, согласованный с ориентацией края;
\( dS \) — элемент площади поверхности.

¶Общая формулировка (на многообразиях)

В терминах дифференциальных форм теорема Стокса принимает более элегантный и общий вид. Пусть M — компактное ориентированное \( k \)-мерное многообразие с краем ∂M, а ω — гладкая \((k-1)\)-форма на M. Тогда:

\[ \int_{\partial M} \omega = \int_M d\omega \]

где \( d\omega \) — внешняя производная формы ω. Эта формула является обобщением всех классических интегральных теорем.

¶Доказательство

Доказательство теоремы Стокса в общей формулировке опирается на разбиение многообразия на карты и сведение интеграла к повторному интегралу по кубу с последующим применением формулы Ньютона-Лейбница. В трёхмерном случае доказательство может быть проведено путём разбиения поверхности на малые элементы и использования определения ротора. Строгое доказательство требует использования техники разбиения единицы и свойств интегрирования дифференциальных форм.

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

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

Теорема Грина является частным случаем теоремы Стокса для плоской области. Если D — область на плоскости с границей ∂D, а P и Q — функции двух переменных, то:

\[ \oint_{\partial D} (P \, dx + Q \, dy) = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx \, dy \]

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

Теорема Гаусса-Остроградского (теорема о дивергенции) является частным случаем теоремы Стокса для объёмной области. Если V — объём с границей ∂V, а F — векторное поле, то:

\[ \iint_{\partial V} \mathbf{F} \cdot \mathbf{n} \, dS = \iiint_V (\nabla \cdot \mathbf{F}) \, dV \]

¶Основная теорема анализа

Формула Ньютона-Лейбница является одномерным случаем теоремы Стокса. Если M — отрезок [a, b], а ω — 0-форма (функция f), то:

\[ \int_{\partial [a,b]} f = f(b) - f(a) = \int_a^b f'(x) \, dx \]

¶Применение

¶В физике

Теорема Стокса широко применяется в электродинамике, гидродинамике и теории поля. В электродинамике она лежит в основе одного из уравнений Максвелла в интегральной форме — закона электромагнитной индукции Фарадея:

\[ \oint_{\partial S} \mathbf{E} \cdot d\mathbf{r} = -\frac{d}{dt} \iint_S \mathbf{B} \cdot \mathbf{n} \, dS \]

где E — напряжённость электрического поля, B — магнитная индукция. В гидродинамике теорема используется для описания циркуляции жидкости и вихревых движений.

¶В математике

Теорема Стокса является ключевым инструментом в дифференциальной геометрии и топологии. Она используется при доказательстве теорем о неподвижной точке, в теории гомологий и когомологий де Рама. Интеграл по замкнутому контуру от точной формы равен нулю, что является следствием теоремы Стокса и используется для классификации дифференциальных форм.

¶В вычислительной математике

Теорема Стокса применяется в численных методах, таких как метод конечных элементов, для преобразования объёмных интегралов в поверхностные и наоборот, что позволяет упрощать вычисления и уменьшать размерность задач.

¶Вариации и обобщения