§ 5. Циркуляция вектора. Ротор вектора. Теорема Стокса

Преобразование интеграла вектора по замкнутой поверхности в интеграл по объему привело нас к понятию дивергенции вектора. Рассмотрим теперь интеграл вектора по замкнутой кривой.

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

Если кривая замкнута, что отмечается кружком у знака интеграла, то линейный интеграл вектора а вдоль нее называется циркуляцией а вдоль

Предположим, что контур представляет собой контур плоского прямоугольника и выберем оси х и у декартовых

координат так, чтобы они были параллельны сторонам этого прямоугольника и пересекались в его центре (рис. 104). Пусть стороны прямоугольника равны соответственно и . Если выбрать направление положительного обхода контура так, чтобы соответствующая положительная нормаль к площади прямоугольника была направлена по оси z (рис. 104), то

Рис. 104

Воспользовавшись известной из интегрального исчисления теоремой о среднем значении, получим (при оси

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

Будем теперь стремить длину сторон прямоугольника к нулю. Тогда с точностью до величин второго порядка малости среднее значение слагающей на отрезке отстоящем от отрезка на расстоянии по направлению оси х, будет отличаться от значения на отрезке на величину

Соответственно

ибо отстоит от на расстоянии по направлению оси у. При этом в пределе при бесконечно малых размерах прямоугольника мы можем понимать под значения этих величин в центре О прямоугольника. Внося эти выражения в предшествующее равенство, получим (при оси

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

Так как оси х, у, z образуют правовинтовую систему, то, совершив круговую перестановку индексов х, у, z, мы получим, очевидно, циркуляцию вектора а по контуру бесконечно малого прямоугольника, положительная нормаль к которому направлена по оси х или по оси у:

Фигурирующие в формулах (24) и (24а) комбинации производных слагающих вектора а являются, как мы покажем, компонентами некоторого вектора, который принято обозначать через или (читай: ротор а или кёрл а, или вихрь а):

Вектор может быть назван векторной пространственной производной вектора а (в отличие от его скалярной пространственной производной

С помощью обозначений (25) выражения (24) могут быть записаны следующим образом:

причем под нужно понимать положительную нормаль к площадке составляющую правовинтовую систему с направлением положительного обхода контура этой площадки. Полагая последовательно параллельным осям х, получим из уравнений (26 и (25 уравнения (24, (24а.

Так как оси координат всегда можно выбрать так, чтобы одна из этих осей была перпендикулярна к площадке то уравнение (26 остается, очевидно, справедливым для циркуляции вектора а по контуру произвольно расположенного бесконечно малого прямоугольника.

Рис. 105

Перейдем теперь к рассмотрению циркуляции вектора по контуру произвольной формы и размера. Проведем поверхность так, чтобы она опиралась на контур т. е. чтобы этот контур являлся пограничным контуром поверхности Разобьем затем эту поверхность двумя взаимно перпендикулярными системами параллельных линий на совокупность бесконечно малых элементов (рис. 105), которые благодаря своей малости могут считаться плоскими. Применив к каждому из этих элементов уравнение (26 и сложив полученные выражения, найдем

где есть внешняя нормаль к причем внешняя сторона поверхности должна быть выбрана в соответствии с направлением положительного обхода ее контура (правовинтовая система).

При интегрировании по контурам элементарных площадок каждая граница двух смежных площадок пройдется два раза и притом в противоположных направлениях; поэтому в сумме встретятся оба члена в совокупности дающие нуль. Таким образом, сведется к сумме членов, относящихся к одним лишь наружным границам площадок, т. е. к интегралу вектора а по внешнему контуру площади откуда

где С означает циркуляцию вектора а по контуру Внося это выражение в предшествующее уравнение, получим

При выводе этой формулы мы не приняли во внимание, что наружные (прилегающие к контуру элементарные площадки, вообще говоря, не будут иметь прямоугольной формы, тогда как справедливость уравнения (26 доказана нами лишь для площадок прямоугольных. Однако при неограниченном уменьшении размера прямоугольников ломаная линия, составленная из наружных сторон крайних прямоугольников, сколько угодно точно совпадает с контуром площади Основываясь на этом, можно придать выводу уравнения (27 совершенно точную форму. Соответствующих рассуждений мы здесь приводить не будем.

Таким образом, единственное условие справедливости уравнения (27 состоит в требовании непрерывности и дифференцируемости вектора а во всех точках поверхности

Уравнение это выражает собой так называемую теорему Стокса, которая гласит: циркуляция произвольного вектора а по замкнутой кривой равна потоку ротора этого вектора через поверхность опирающуюся на кривую

Форма поверхности при этом остается совершенно неопределенной. Стало быть, через любые две поверхности если только они обладают одним и тем же контуром проходит одинаковый поток ротора любого непрерывного вектора а, равный циркуляции этого вектора по общему контуру этих поверхностей.

Из уравнения (27, между прочим, сразу следует, что

так как в случае замкнутой поверхности контур стягивается в точку

Переходя от уравнения (27 обратно к столь малому элементу поверхности что его можно считать плоской площадкой, во всех точках которой а сохраняет постоянное значение, мы сможем вынести за знак интеграла и написать: совпадает с уравнением (26. Поскольку уравнение (27 применимо к поверхности любой формы, постольку и формула (26 также применима к бесконечно малым площадкам любой формы. Так как эта формула справедлива лишь в предельном случае бесконечно малой поверхности, то правильнее записать ее следующим образом:

Таким образом, слагающая вектора а в данной точке поля по данному направлению равна пределу отношения циркуляции вектора а по контуру произвольной площадки проходящей через и перпендикулярной к к поверхности этой площадки

Отсюда явствует, что значение слагающей а вовсе не зависит от выбора системы координат, т. е. что а действительно является истинным вектором. Таким образом, инвариантность вектора а может считаться доказанной.

В сущности это утверждение не вполне справедливо, ибо, во-первых, мы при выводе уравнений (26 и (27 уже воспользовались тем самым свойством инвариантности вектора относительно преобразования координат, которое мы хотим доказать: именно на эту инвариантность мы ссылались, утверждая, что уравнение (26 применимо к площадке произвольного направления (см. сноску на с. 602); во-вторых, мы опустили строгое доказательство применимости формулы (27 [а стало быть, и формулы (26] к контуру произвольной формы. Справедливость этих положений может быть доказана путем непосредственного вычисления в декартовых координатах циркуляции вектора по контуру произвольной поверхности. Проще и правильнее, однако, считать инвариантное относительно преобразования координат соотношение (29 определением понятия «ротор вектора а». Исходя из этого определения, нетрудно, обратив порядок наших рассуждений, доказать все выведенные выше формулы.

В заключение, чтобы пояснить геометрический смысл ротора, рассмотрим вращение твердого тела с угловой скоростью Вектор мы будем, как обычно, считать направленным по оси вращения и притом так, чтобы направление вращения составляло с вектором и правовинтовую систему (правило буравчика). Выберем ось z так, чтобы она совпадала с осью вращения и была направлена по и. Тогда линейная скорость точки тела (х, у, z) будет численно равна а слагающие ее по осям

координат будут равны (рис. 106):

Слагающие вектора согласно уравнению (25, равны

откуда

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

Рис. 106

Итак, в тех и только тех точках тела, которые принадлежат элементам тела, находящимся во вращательном движении. Это обстоятельство в связи с соотношением (30 и послужило поводом к тому, чтобы дать величине а название ротора (от латинского вращаю) или вихря вектора а.

Пример. Показать, что слагающие ротора произвольного вектора а в сферической системе координат и а выражаются следующим образом:

Чтобы найти, например, значение можно применить формулу (29 к элементарной площадке, вырезаемой из произвольной шаровой поверхности двумя меридианами и двумя параллельными кругами (см. рис. 102). Вычисляя при обходе контура этой площадки, составляющем правовинтовую систему с направлением К, получим

или

Так как значение рассматриваемой площадки равно то из (29 следует

Аналогичным путем находятся и остальные слагающие ротора

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