Трактат об электричестве и магнетизме. Том 2.

Приняв концепцию поля, Максвелл прежде всего предпринял пересмотр (и этому посвящена изрядная часть «Трактата») всех доселе известных и сравнительно хорошо разработанных разделов электричества, магнетизма и проводимости («conductance» - снова трудности перевода, по-русски это делается с помощью длинного оборота - «процесс прохождения токов по проводящим средам»). При этом Максвелл столь же непринуждённо, сколь это делается в гидродинамике, вводит, кроме потенциальных векторных полей (обычных, но, заметим, отнюдь не обязательных даже в электростатике), поля вихревые. И хотя он нигде не даёт явного доказательства простой, но определяющей многие топологические особенности векторных полей теоремы о представлении произвольного векторного поля в виде суперпозиции потенциального к вихревого, он широко пользуется таким разбиением как очевидным.

Следующий шаг должен был состоять в развитии аппарата векторной алгебры и анализа. Аппарат в том виде, в котором мы владеем им сейчас, как известно, был отработан чуть позже, но можно сказать, что это произошло в основном по заказу теории электромагнитного поля ⁷. Не следует, однако, принижать и прямой максвелловский вклад: Максвеллу принадлежит понимание адекватности векторного анализа, не говоря уже об инициативе его использования. Бытует мнение, что будто бы он предпочитал работать только с декартовыми компонентами векторов. Действительно, при решении многих конкретных задач (да ещё при извлечении преимуществ от разделения переменных) он широко пользовался записью уравнений через проекции (не обязательно декартовы, разумеется). Но он не пропускал почти ни одной возможности - по крайней мере в «Трактате» - написания общих уравнений в инвариантном векторном представлении. Правда, максвелловские обозначения не совсем привычны нашему глазу. Следуя Гамильтону и Тэту (а в те времена больше и некому было следовать), он стал работать со скалярами и векторами как с компонентами кватернионов.

⁷ Описание послетрактатиой истории максвелловской электродинамики в той её части, которая свизаиа с именем Хевисайда, приведено в книге Б. М. Болотовского [9], к которой мы отсылаем читателя.

Напомним, что кватернионом называется объект, состоящий из четырёх компонент: одного действительного скаляра и трёх мнимых составляющих вектора, причём каждой декартовой координате приписывается своя мнимая единица. Таким образом, вместо одной обычной мнимой единицы i, характеризуемой свойством i^2=-1, вводится три i, j, k (i^2=j^2=k^2=-1), их различие между собой определяется попарной некоммутируемостью, а именно ij=k=-ji, jk=i=-kj, ik=-j=-ki [11].

Сейчас мы понимаем, что привлечение кватернионов удобно упрощает вычисления, связанный с некоммутирующими величинами, например, при трёхмерных вращениях, теория которых была заложена ещё Эйлером. Но в максвелловские времена люди не обращали внимания на такие тонкости, и кватернионика Гамильтона считалась нечто вроде символа обособления гордой ирландской самобытности. А Максвелл принял её в качестве рабочего инструмента и приспособил обслуживать фарадеевские поля, ибо кватернионика позволяла установить правила не только сложения, но и умножения векторов, а следовательно, открывала путь к построению векторного дифференциального исчисления. Действительно, если рассматривать векторное поле A (A, =1, 2, 3 - индексы соответствуют номерам координатных осей) как векторную часть кватерниона A (следуя Максвеллу, снабжаем кватернионы готическими обозначениями), то произведение двух чисто векторных кватернионов (их иногда называют ассоциированными) A·B, выполненное с учётом правил коммутации i, j, k, будет содержать векторную часть (Максвелл обозначает её V·AB) и скалярную часть (S·AB), и ничего более. Судя по воспоминаниям [10], Гамильтон очень гордился этим результатом и имел к тому основания.

В современном представлении через действительные проекции произведение векторов A и B в общемм случае выглядит как симметричный диадный тензор AB. По известной теореме приведения он может быть разложен на три «элементарных» (неприводимых) группы: группу скаляров AB (по дважды встречающимся индексам производится суммирование

,

3

=1

),

группу векторов (псевдовекторов) eAB (e - единичный антисимметричный тензор) и группу симметричных тензоров с нулевым следом

A

B

+

A

B

-

1

3

A

B

;

- единичный симметричный тензор; последняя группа повышает ранг описания векторных полей и потому «не задействована» в формулировке скалярных и векторных уравнений электродинамики (во всяком случае применительно к неэкзотическим ситуациям). Кватернионная операция умножения векторов производит это отметание тензоров второго ранга автоматически.