Feynmann 6a

Идея заключается в том, что должны существовать плот­ность энергии u и поток S, которые зависят только от полей Е и В. [В электростатике, например, плотность энергии, как мы знаем, можно записать в виде ¹/₂e₀(Е·Е).] Разумеется, u и S могут зависеть от потенциалов и чего-то другого, но давайте лучше посмотрим, что мы можем написать. Попытаемся перепи­сать величину Е·j в таком виде, чтобы она стала суммой двух слагаемых, одно из которых было бы производной по времени от некоторой величины, а второе — дивергенцией. Тогда первую величину мы бы назвали и, а вторую — S (разумеется, с надле­жащими знаками). Обе величины должны быть выражены только через поля, т. е. мы хотим записать наше равенство в виде

(27.6)

причем левая часть уравнения должна выражаться только через поля. Как это сделать? Разумеется, нужно воспользоваться уравнениями Максвелла. Из уравнения для ротора В имеем

Подставляя это в (27.6), получаем выражение его только через Е и В:

(27.7)

Работа частично нами уже закончена. Последнее слагаемое есть производная по времени — это (д/дt)(¹/₂e₀Е·Е).

Итак, ¹/₂e₀Е·Е должно быть по крайней мере частью u. Такое же выражение получалось у нас и в электростатике. А теперь единственное, что нам остается сделать,— это превра­тить в дивергенцию чего-то второе слагаемое.

Заметьте, что первое слагаемое в правой части (27.7) пере­писывается в виде

(27.8)

вы знаете из векторной алгебры, что (aXb)·c равно а·(bXc), поэтому первое слагаемое принимает вид

(27.9)

т. е. получилась дивергенция «чего-то», к которой мы так стре­мились. Получилась, но только все это неверно! Я предупреждал вас, что оператор С только «похож» на вектор, а на самом деле он не «настоящий» вектор. Вспомните, что в дифференциальном исчислении существует дополнительное соглашение: когда опе­ратор производной стоит перед произведением, он действует на все стоящее правее него. В уравнении (27.7) оператор С дей­ствует только на В и не затрагивает Е. Но если бы мы записали его в форме уравнения (27.9), то общепринятое соглашение гово­рило бы, что С действует как на В, так и на Е. Так что это не одно и то же. В самом деле, если расписать С·(ВXЕ) по ком­понентам, то можно убедиться, что оно равно E· (СXB) плюс какие-то другие слагаемые. Это напоминает взятие производной от произведения в обычном анализе. Например,

Вместо того чтобы выписать все компоненты С· (BXE), мне бы хотелось показать вам один трюк, очень полезный в за­дачах такого рода. Он позволит вам всюду в выражениях, содер­жащих оператор С, пользоваться правилами векторной алгебры, не попадая впросак. Трюк состоит в отбрасывании (по крайней мере на время) правил дифференциального исчисления относи­тельно того, на что действует оператор производной. Вы знаете, что порядок сомножителей важен в двух различных случаях. Во-первых, в дифференциальном исчислении: f(d/dx)g не то же самое, что g(d/dx)f; и, во-вторых, в векторной алгебре: aXb отличается от bXа. Мы можем, если захотим, на минуту отка­заться от правил дифференциального исчисления. Вместо того чтобы говорить, что производная действует на все стоящее правее от нее, мы примем новое правило, избавляющее нас от порядка, в котором записаны сомножители. После этого мы можем крутить ими, как хотим, без всяких помех.

Вот наше новое правило: с помощью индекса мы будем ука­зывать, на что же именно действует дифференциальный опера­тор; при этом порядок сомножителей не имеет никакого значе­ния. Допустим, что оператор д/дх мы обозначили через D. Тогда символ D_f говорит, что берется производная только функции

Но если мы имеем выражение D_ffg, то оно означает

Заметим теперь, что, согласно нашему новому правилу, fD_fg означает то же самое. Одно и то же выражение можно записать любым из следующих способов:

Вы видите, что D_f может стоять даже после всего. (Странно, почему такому удобному обозначению обычно не учат в книгах по математике и физике.)

Вы, пожалуй, удивитесь: а что, если я хочу написать произ­водную от fg? Если мне нужна производная от обоих членов? Это очень легко: вы пишете D_f(fg)+D_g(fg),т.e.g(df/dx)+f(dg/dx), что в старых обозначениях как раз равно d(fg)/dx.

Вы сейчас увидите, как просто теперь получить новое выра­жение для С·(ВXЕ). Начнем с перехода к новому обозначению и напишем

(27.10)