Фейнмановские лекции по физике. 5. Электричество и магнетизм

Но z-компонента это на самом деле компонента, нормальная к элементу поверхности.

Фиг. 3.11. Циркуляция век­тора С по Г равна поверхност­ному интегралу от нормальной компоненты вектора СXС.

Поэтому циркуляцию вокруг квад­ратика можно задать и в инвариантной векторной записи:

(3.37)

В результате имеем: циркуляция произвольного вектора С по бесконечно малому квадрату равна произведению состав­ляющей ротора С, нормальной к поверхности, на площадь квад­рата.

Циркуляция по произвольному контуру Г легко теперь может быть увязана с ротором векторного поля. Натянем на кон­тур любую подходящую поверхность S (как на фиг. 3.11) и сложим между собой циркуляции по всем бесконечно малым квадратикам на этой поверхности. Сумма может быть записана в виде интеграла. В итоге получится очень полезная теорема, называемая теоремой Стокса [по имени физика Стокса].

ТЕОРЕМА СТОКСА

(3.38)

где S — произвольная поверхность, ограниченная контуром Г. Теперь мы должны ввести соглашение о знаках. На приведен­ной ранее фиг. 3.10 ось z показывает на вас, если система коорди­нат «обычная», т. е. «правая». Когда в криволинейном интеграле мы брали «положительное» направление обхода, то циркуляция получилась равной z-компоненте вектора СXC. Обойди мы кон­тур в другую сторону, мы бы получили противоположный знак. Как вообще узнавать, какое направление надо выбирать для положительного направления «нормальной» компоненты век­тора СXC? «Положительную» нормаль надо всегда связывать с направлением так, как это сделано было на фиг. 3.10. Об­щий случай показан на фиг. 3.11.

Для запоминания годится «правило правой руки». Если вы расположите пальцы вашей правой руки вдоль контура Г, чтобы кончики пальцев показывали положительное направление обхода ds, то ваш большой палец укажет направление положи­тельной нормали к поверхности S.

§ 7. Поля без роторов и поля без дивергенций

Теперь перейдем к некоторым следствиям из наших новых теорем. Возьмем сперва случай вектора, у которого ротор (или вихрь) повсюду равен нулю. Тогда, согласно теореме Стокса, циркуляция по любому контуру — нуль. Если мы теперь возь­мем две точки (1) и (2) на замкнутой кривой (фиг. 3.12), то кри­волинейный интеграл от касательной составляющей от (1) до (2) не должен зависеть от того, какой из двух возможных путей мы выбрали. Можно заключить, что интеграл от (1) до (2) может зависеть только от расположения этих точек, т. е. что он есть функция только от координат точек. Той же логикой мы пользо­вались в вып. 1, гл. 14, когда доказывали, что если интеграл от некоторой величины по произвольному замкнутому контуру всегда равен нулю, то этот интеграл может быть представлен в виде разности функций от координат двух концов. Это позво­лило нам изобрести понятие потенциала. Мы доказали далее, что векторное поле является градиентом этой потенциальной функ­ции [см. вып. 1, уравнение (14.13)].

Отсюда следует, что любое векторное поле, у которого ротор равен нулю, может быть представлено в виде градиента неко­торой скалярной функции, т. е. если АXС=0 всюду, то существует некоторая функция y (пси), для которой С = Сy (полезное представление). Значит, мы можем, если захотим, опи­сывать этот род векторных полей при помощи скалярных полей.

Теперь докажем еще одну формулу. Пусть у нас есть про­извольное скалярное поле j (фи). Если взять его градиент Сj, то интеграл от этого вектора по любому замкнутому контуру должен быть равен нулю.

Фиг. 3.12. Если СXС равно нулю, то циркуляция по замкнутой при­вой Г тоже нуль.

Криволинейный интеграл от C·ds на участке от (1) до (2) вдоль а должен быть равен интегралу вдоль b.

Фиг. 3.13. При переходе к пределу замкнутой поверхности поверхно­стный интеграл от (СXС)_n должен обратиться в нуль.

Криволинейный интеграл от точки (1) до точки (2) равен [j(2)- j (1)]. Если точки (1) и (2) совпадают, то наша теорема 1 [уравнение (3.8)] сообщает нам, что криволинейный интеграл равен нулю:

Применяя теорему Стокса, можно заключить, что

по любой поверхности. Но раз интеграл по любой поверхности равен нулю, то подынтегральное выражение обязано быть равно нулю. Значит,

Тот же результат был доказан в гл. 2, § 7 при помощи векторной алгебры.