Фиг. 3.11. Циркуляция вектора С по Γ равна поверхностному интегралу от нормальной компоненты вектора ∇×С.
Сумма может быть записана в виде интеграла. В итоге получится очень полезная теорема, называемая теоремой Стокса [по имени физика Стокса].
(3.38)
где S — произвольная поверхность, ограниченная контуром Γ. Теперь мы должны ввести соглашение о знаках. На приведенной ранее фиг. 3.10 ось z показывает на вас, если система координат «обычная», т. е. «правая». Когда в криволинейном интеграле мы брали «положительное» направление обхода, то циркуляция получилась равной z-компоненте вектора ∇×C. Обойди мы контур в другую сторону, мы бы получили противоположный знак. Как вообще узнавать, какое направление надо выбирать для положительного направления «нормальной» компоненты вектора ∇×C? «Положительную» нормаль надо всегда связывать с направлением так, как это сделано было на фиг. 3.10. Общий случай показан на фиг. 3.11.
Для запоминания годится «правило правой руки». Если вы расположите пальцы вашей правой руки вдоль контура Γ, чтобы кончики пальцев показывали положительное направление обхода ds, то ваш большой палец укажет направление положительной нормали к поверхности S.
§ 7. Поля без роторов и поля без дивергенций
Теперь перейдем к некоторым следствиям из наших новых теорем. Возьмем сперва случай вектора, у которого ротор (или вихрь) повсюду равен нулю. Тогда, согласно теореме Стокса, циркуляция по любому контуру — нуль. Если мы теперь возьмем две точки (1) и (2) на замкнутой кривой (фиг. 3.12), то криволинейный интеграл от касательной составляющей от (1) до (2) не должен зависеть от того, какой из двух возможных путей мы выбрали.
Фиг. 3.12. Если ∇×С равно нулю, то циркуляция по замкнутой привой Γ тоже нуль. Криволинейный интеграл от C·ds на участке от (1) до (2) вдоль а должен быть равен интегралу вдоль b.
Можно заключить, что интеграл от (1) до (2) может зависеть только от расположения этих точек, т. е. что он есть функция только от координат точек. Той же логикой мы пользовались в вып. 1, гл. 14, когда доказывали, что если интеграл от некоторой величины по произвольному замкнутому контуру всегда равен нулю, то этот интеграл может быть представлен в виде разности функций от координат двух концов. Это позволило нам изобрести понятие потенциала. Мы доказали далее, что векторное поле является градиентом этой потенциальной функции [см. вып. 1, уравнение (14.13)].
Отсюда следует, что любое векторное поле, у которого ротор равен нулю, может быть представлено в виде градиента некоторой скалярной функции, т. е. если ∇×C=0 всюду, то существует некоторая функция ψ (пси), для которой С=∇ψ (полезное представление). Значит, мы можем, если захотим, описывать этот род векторных полей при помощи скалярных полей.
Теперь докажем еще одну формулу. Пусть у нас есть произвольное скалярное поле φ (фи). Если взять его градиент ∇φ, то интеграл от этого вектора по любому замкнутому контуру должен быть равен нулю. Криволинейный интеграл от точки (1) до точки (2) равен [φ(2)-φ(1)]. Если точки (1) и (2) совпадают, то наша теорема 1 [уравнение (3.8)] сообщает нам, что криволинейный интеграл равен нулю:
Применяя теорему Стокса, можно заключить, что
по любой поверхности. Но раз интеграл по любой поверхности равен нулю, то подынтегральное выражение обязано быть равно нулю. Значит,
Тот же результат был доказан в гл. 2, § 7 при помощи векторной алгебры.
Рассмотрим теперь частный случай, когда на маленький контур Γ натягивается большая поверхность S (фиг. 3.13).
Фиг. 3.13. При переходе к пределу замкнутой поверхности поверхностный интеграл от (∇×С)n должен обратиться в нуль.
Мы хотим посмотреть, что случится, когда контур стянется в точку. Тогда граница поверхности исчезнет, а сама поверхность превратится в замкнутую. Если вектор С повсюду конечен, то криволинейный интеграл по Γ должен стремиться к нулю по мере стягивания контура (интеграл в общем-то пропорционален длине контура Γ, а она убывает). Согласно теореме Стокса, поверхностный интеграл от (∇×С)n тоже должен убывать до нуля. Когда поверхность замыкается, то при этом каким-то образом в интеграл привносится вклад, который взаимно уничтожается с накопленным ранее. Получается новая теорема: