Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Electrodynamics

.pdf
Скачиваний:
39
Добавлен:
13.02.2015
Размер:
916.32 Кб
Скачать

A , A , A , A .

Далее, мы можем ввести тензор электромагнитного поля

 

 

 

 

def A

 

A

 

F

 

A

A

 

 

 

.

x

x

 

 

 

 

 

 

 

Очевидно, этот тензор является антисимметричным

F F

и имеет следующие компоненты:

 

 

0

 

 

Ex

F

 

 

Ey

 

 

 

 

 

 

 

Ez

 

 

Ex

0

Hz

H y

Ey

Ez

 

Hz

H y

 

.

0

Hx

 

 

 

 

Hx

0

 

 

(2.22)

(2.23)

(2.24)

(2.25)

Действительно, все диагональные компоненты антисимметричного тензора равны 0. Имея в виду связь напряженностей электрического и магнитного полей с потенциалами (2.5), (2.2), найдем ненулевые компоненты тензора F :

F01 0 A1

1 A0

 

 

1 Ax

 

 

Ex ;

(2.26)

 

 

 

 

c

t

 

x

 

 

F02 0 A2

2 A0

 

1 Ay

 

 

Ey ;

(2.27)

c

 

t

 

y

 

 

 

 

 

 

 

F03 0 A3

3 A0

 

1 Az

 

 

Ez ;

(2.28)

 

 

 

 

c

t

 

z

 

 

F12 1 A2

2 A1

 

Ay

 

A

Hz ;

 

 

 

 

 

 

x

(2.29)

 

x

 

 

 

 

 

 

 

 

 

y

 

 

 

F13 1 A3

3 A1

 

Az

Ax H y ;

(2.30)

 

 

 

 

x

 

 

z

 

 

 

F23 2 A3

3 A2

 

 

A

 

 

Ay

Hx .

 

 

 

z

 

 

(2.31)

 

 

z

 

 

 

 

y

 

 

 

 

 

Для нахождения тензора F можно использовать соотношение

 

F g g F

 

g F g .

(2.32)

 

 

 

 

31

 

 

 

 

 

 

 

При этом нахождение тензора F сводится к перемножению матриц (2.20) и (2.25). Это приводит к изменению знака у тех компонент F , у которых один из индексов является временным ( , 0), а другой – пространственным

( , 1, 2, 3 ):

 

 

 

0

Ex

Ey

 

 

 

 

0

Hz

F

 

 

Ex

 

Ey

Hz

0

 

 

 

 

 

 

 

 

 

 

H y

Hx

 

 

 

Ez

Ez

H y . (2.33)

Hx

0

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

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

q t , q t , t ,

q t qa t ,

q qa t .

(2.34)

Пусть в моменты времени t1 и t2 координаты системы принимают значения

q t1 q1 ,

q t2 q2 ,

 

(2.35)

тогда в промежутке между моментами времени t1 и t2

система движется таким

образом, чтобы интеграл

 

 

t

 

 

S 2

q t , q t , t dt ,

(2.36)

t1

 

 

называемый интегралом действия, принимал наименьшее значение. Интеграл (2.36) является функционалом: в зависимости от того, какие функции q t мы подставим в интеграл, он будет принимать различные значения. Среди всех возможных функции q t только одна будет соответствовать минимальному

32

значению интеграла, именно эта функция определяет классическую траекторию физической системы.

Рассмотрим изменение интеграла действия при малых изменениях функций q t :

 

 

 

t2

 

 

 

 

 

 

 

t2

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

S q

t , q t , t dt

q dt

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

t

 

q

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t2

 

q

 

d

 

 

t2

 

 

 

d

 

 

 

 

 

d

 

 

 

 

 

 

q dt

q

 

 

q

 

 

q dt

(2.37)

 

q

 

dt

q

 

q

t1

 

q

q dt

 

t1

 

 

 

 

 

dt

 

 

 

 

 

 

 

t2

t2

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

qdt

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

t1

 

q

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку принцип наименьшего действия формулируется в предположении, что моменты времени t1 и t2 координаты системы фиксированы (см. (2.35)), то

q t1 0, q t2 0 , (2.38)

и внеинтегральный член в (2.37) обращается в 0. Необходимым условием экстремальности функционала действия является обращение в 0 его первой вариа-

ции, откуда, в силу произвольности вариации q t ,

следуют уравнения Ла-

гранжа:

 

 

 

 

 

 

 

 

 

S 0

 

 

 

d

 

 

 

0 .

(2.39)

 

 

q

 

q

 

 

 

dt

 

 

 

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

 

t2

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

dt

dV

 

 

F F

 

 

 

 

 

A j

 

 

 

16 c

 

 

c

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

(2.40)

 

 

 

 

1 F F 1 A j

d 4 x,

 

 

 

d 4 x dV dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

def

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16 c

 

 

 

c

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

33

 

 

 

 

 

Здесь интеграл берется по всему пространству и по отрезку времени, ограниченному моментами t1 и t2 . Интеграл действия (2.40) состоит из двух частей: член, описывающий свободное электромагнитное поле (в отсутствие зарядов)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

SEM

1

 

 

 

F F

 

 

d

4

x

 

 

 

(2.41)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

16 c

 

 

 

 

 

 

 

 

и член, учитывающий взаимодействие с источником

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ssource

1

 

A j d 4 x .

 

 

 

(2.42)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c2

 

 

 

 

В последнее выражение входит четырехмерный вектор тока

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

c ,

 

j ,

 

 

 

 

j

c ,

 

j .

 

 

(2.43)

Учитывая выражение (2.23) для тензора электромагнитного поля и тот

факт, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F F

F F ,

 

 

 

 

 

 

(2.44)

имеем:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

1

F

 

 

 

A

 

 

 

A

 

 

1

 

j

A

d 4 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8 c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

F

A

 

 

1

 

 

 

F

A

 

 

 

1

 

 

j A

d 4 x

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8 c

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

8 c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

F

A

 

 

1

 

j A

d 4 x

 

 

 

 

 

 

 

 

 

 

 

(2.45)

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

4 c

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

F A

 

d 4 x

 

 

 

 

 

1

 

 

F A

 

1

 

j A d 4 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

4 c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 c

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

F

 

1

 

j

A d 4 x.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 c

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В предпоследнюю строчку входит интеграл от четырехмерной дивергенции

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4 c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

F

A

 

d

4 x .

 

 

 

(2.46)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Мы знаем, что интеграл по объему от дивергенции векторного поля в трехмерном пространстве может быть преобразован по теореме Остроградского – Гаусса в интеграл по поверхности, охватывающей этот объем. Теорема Остроград-

34

ского – Гаусса может быть обобщена на случай четырехмерного пространствавремени:

A d 4 x A dS ,

(2.47)

где dS – элемент гиперповерхности в четырехмерном пространстве-времени.

В нашем случае

 

 

F A

d 4 x

 

F A dS .

(2.48)

 

 

 

 

 

Поверхность в пространстве-времени должна быть выбрана следующим образом. Она должна состоять из двух гиперплоскостей S1 и S2 , которые представляют все пространство в моменты времени t1 и t2 , и "боковой" поверхности четырехмерного цилиндра (см. рис. 1).

 

Рис. 1.

 

На поверхностях S1 и S2 в моменты времени t1 и t2

поля фиксированы, и их ва-

риации равны нулю

 

 

A t1 0,

A t2 0 ,

(2.49)

(аналогично тому, как это имело место для координат механической системы, см. (2.38)). Поскольку полная гиперповерхность должна охватывать все трехмерное пространство в моменты времени между t1 и t2 , "боковую" часть гипер-

35

поверхности следует отнести на бесконечность, где полевые функции обращаются в нуль. Следовательно, на "боковой" поверхности F 0, и в целом интеграл (2,48) обращается в нуль.

В силу произвольности вариаций A из принципа наименьшего дейст-

вия (2.45) следуют уравнения поля:

 

F

 

4

j ,

(2.50)

 

 

 

 

 

c

 

 

 

 

Последняя запись содержит четыре уравнения ( 0, 1,

2, 3 ). Так, вспоминая

явный вид тензора F

(2.33), при 1 получим:

 

1 F10

 

F

11

F12

 

F13

 

4

1

,

c

t

 

x

 

 

y

z

c

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

E

x

 

 

H

z

 

 

H y

 

4

jx ;

 

 

 

 

 

c

t

 

y

 

z

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при 2 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 F 20

 

F

21

F

22

 

F 23

 

4

j

2

,

c

t

 

x

 

 

y

z

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 Ey

 

H

z

 

 

H

x

4

jy ;

 

 

 

 

 

c

t

 

x

 

z

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при 3 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 F 30

 

F

31

F 32

 

F 33

 

4

j

3

,

c

t

 

x

 

 

y

z

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 E

z

 

H y

 

 

H

x

4

jz .

 

 

 

 

 

c

t

x

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

Уравнения (2.52), (2.54) и (2.56) можно переписать как

1 E

rot H

4 j ,

c t

 

c

что совпадает с третьим уравнением Максвелла, а уравнение с 0

(2.51)

(2.52)

(2.53)

(2.54)

(2.55)

(2.56)

(2.57)

36

1 F 00

 

F 01

 

F 02

 

F 03

 

4

j

0

,

(2.58)

c t

 

x

 

y

 

 

z

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

E

z

 

Ey

 

 

E

z

4 ,

 

 

 

(2.59)

 

 

 

y

 

 

 

 

 

 

 

x

 

 

 

z

 

 

 

 

 

 

 

совпадает с четвертым уравнением Максвелла (1.17).

Таким образом, мы получили четыре уравнения для четырех компонент поля A . Что касается первого и второго уравнений Максвелла, их можно рассматривать как следствие связи между потенциалами и напряженностями поля (2.5), (2.2). В самом деле, мы получили связь между напряженностью магнитного поля H и векторным потенциалом A как следствие второго уравнения Максвелла, а связь между напряженностью электрического поля E и скалярным и векторным потенциалами – как следствие первого уравнения Максвелла. Об-

ратно, беря ротор от обеих частей уравнения (2.5),

 

rot E rot

grad

1

 

rot A ,

(2.60)

 

 

 

c t

 

получаем первое уравнение Максвелла (1.56). Беря дивергенцию от обеих частей уравнения (2.2),

div H div rot A ,

 

(2.61)

получаем второе уравнение Максвелла (1.22).

 

 

В четырехмерной формулировке первое и второе уравнения Максвелла

вытекают из свойств тензора F . Составим тензор третьего ранга

 

A

F

F

 

F .

(2.62)

 

 

 

 

 

Он является антисимметричным по всем своим индексам вследствие антисим-

метричности тензора F . Например,

 

 

 

 

 

 

 

 

A

F

 

F

 

F

 

F

 

F

F

A .

(2.63)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Уравнения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F

F

 

F 0.

 

 

(2.64)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

37

 

 

 

 

 

содержат первое и второе уравнения Максвелла. В этом легко убедиться, расписав уравнения (2.64) по компонентам, как это было сделано выше для уравнений (2.50). В силу антисимметричности отличны от нуля только те компоненты тензора A , у которых индексы , , принимают различные значе-

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

e – четырехмерный аналог символа Леви-Чивита eijk

:

e : e0123

e0123

1.

(2.65)

Тогда (2.64) эквивалентно записи

 

 

 

 

e F

 

0 .

 

(2.66)

 

 

 

Последнее выражение имеет один свободный индекс, , что делает совершенно очевидным тот факт, что (2.66) содержит четыре независимых уравнения.

2.4. Теорема единственности для системы уравнений Максвелла.

Итак, мы имеем два представления уравнений электромагнитного поля: либо через напряженности, либо через потенциалы поля. Система уравнений Максвелла (1.1) – система дифференциальных уравнений в частных производных первого порядка относительно полевых переменных (напряженностей). Можно доказать так называемую теорему единственности для системы уравнений Максвелла:

Пусть заданы источники поля – функции r, t и j r, t в произвольный

момент

времени.

Пусть также заданы начальные условия – значения

E r, 0

и H r, 0

в начальный момент времени внутри некоторого объема

V, а на поверхности S этого объема заданы граничные условия – компоненты одного из векторов E r, t S или H r, t S в произвольный момент вре-

мени. При этих условиях решение уравнений Максвелла внутри объема V единственно.

38

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

уравнений: E1 , H1 и E2 , H2 . Тогда

 

E E1 E2 ,

H H1 H2

(2.67)

также является решением уравнений Максвелла, в которых

 

r, t 0,

j r, t 0 ,

(2.68)

с начальными условиями внутри объема V,

 

E r, 0 0,

H r, 0 0 ,

(2.69)

и граничными условиями на поверхности S,

 

E r, t

 

S 0,

H r, t

 

S 0 .

(2.70)

 

 

 

 

Воспользуемся уравнением баланса энергии (1.77), которое, как указывалось ранее, является следствием уравнений Максвелла. Используем интегральную

форму (1.79) этого уравнения. Учитывая равенство нулю источника j 0

и оп-

ределение плотности энергии w и вектора Пойнтинга P,

 

 

1 d

E2 H 2 dV

c

E, H dS .

(2.71)

 

 

 

 

 

 

8 dt

4

 

V

S

 

Поскольку, согласно граничным условиям (2.70), на поверхности S напряженности полей обращаются в нуль, интеграл в правой части (2.71) также равен нулю. Мы получаем:

E2 H 2 dV const .

(2.72)

V

 

Но, согласно начальным условиям (2.69), напряженности полей в начальный момент времени равны нулю, постоянная в правой части (2.72) равна нулю. Это возможно, если только во всем объеме V во все моменты времени

E r, t 0, H r, t 0 , (2.73)

что доказывает теорему.

2.5. Уравнения движения заряженных частиц. Теорема утверждает, в

частности, что единственное решение уравнений Максвелла существует, если

39

известны источники поля – распределение зарядов и токов r, t и j r, t . Поэтому, чтобы полностью определить распределение зарядов и конфигурацию полей в пространстве в произвольный момент времени, уравнения Максвелла следует дополнить уравнениями движения зарядов

dp

eE e v, H .

(2.74)

dt

c

 

В правой части этого уравнения стоит выражение для силы Лоренца (1.81), действующей на заряд со стороны электромагнитного поля.

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

Нужно иметь в виду, что электродинамика является релятивисткой теорией, она должна согласовываться с требованиями специальной теорией относительности. На это указывает тот факт, что константа c – скорость света – входит в важнейшие уравнения электродинамики. При скоростях, близких к скорости света, проявляются релятивистские эффекты. Разумеется, когда Максвелл выводил свои уравнения, ни о каких релятивистских эффектах еще не было известно. В 1879 году, в год смерти Максвелла, родился Эйнштейн, который создал специальную теорию относительности в 1905 году. Однако в том и заключается гений великого ученого, чтобы предвидеть дальнейшее развитие теории. Уравнения Максвелла полностью согласуются со специальной теорией относительности, более того, именно развитие электродинамики, в частности, установление экспериментального факта, что скорость света одинакова по отношению ко всем системам отсчета, привело в итоге к созданию специальной теории относительности. Не будем забывать, что работа Эйнштейна 1905 года, в которой формулировалась его теория, носила название "К электродинамике движущихся тел".

40

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]