1.1. Релятивистская волновая механика |
9 |
Для Дирака ключом к ответу на этот вопрос было требование положительности вероятностей. Было известно 16, что плотность вероятности для нерелятивистского уравнения Шредингера равна |y|2,
причем она удовлетворяет уравнению непрерывности вида:
∂ |
| y|2 |
- |
ih |
Ñ × |
y*Ñy - yÑy* |
= 0, |
||||
d |
i |
d |
i |
|||||||
2m |
||||||||||
¶t |
||||||||||
так что интеграл от |y|2 по пространству не зависит от времени. С
другой стороны, единственные выражения для плотности вероятности r и плотности тока J, которые можно построить из решений
релятивистского уравнения Шредингера, и которые удовлетворяют закону сохранения
∂ρ |
+ Ñ × J = 0, |
(1.1.10) |
||||||||||
¶t |
||||||||||||
имеют вид |
||||||||||||
* F |
∂ |
ieϕ I |
||||||||||
r = N Im y |
G |
- |
J y , |
(1.1.11) |
||||||||
¶t |
||||||||||||
H |
h K |
|||||||||||
2 |
* F |
ieA |
I |
|||||||||
J = Nc Im y G Ñ + |
J y |
, |
(1.1.12) |
|||||||||
H |
h K |
|||||||||||
где N — произвольная константа. Невозможно считать r плотно-
стью вероятности, так как и при наличии, и в отсутствие внешнего потенциала j плотность r не имеет определенного знака. Процити-
руем воспоминания Дирака 17 по этому поводу:
«Вспоминаю, что как-то в Копенгагене Бор спросил меня, над чем я работаю, и я рассказал, что пытаюсь построить удовлетворительную релятивистскую теорию электрона. Бор ответил: “Но ведь это уже сделали Клейн и Гордон!” Поначалу такой ответ меня крайне обескуражил. Казалось, что Бор вполне удовлетворен решением Клейна, меня же оно совершенно не устраивало из-за возникающих при этом отрицательных вероятностей. Но я не сдался и продолжал поиск теории, в которой были бы только положительные вероятности».
Как утверждает Георгий Гамов 18, Дирак нашел решение проблемы однажды вечером в 1928 году, когда он сидел, уставившись
10 |
Глава 1. Историческое введение |
в огонь камина в колледже св. Иоанна в Кембридже. Дирак понял, что уравнение Клейна−Гордона (или релятивистское уравнение Шре-
дингера) приводит к отрицательным вероятностям потому, что плотность ρ в уравнении закона сохранения (1.1.10) содержит производ-
ные волновой функции по времени. Это, в свою очередь, вытекает из того, что волновая функция удовлетворяет дифференциальному уравнению второго порядка по времени. Задача, таким образом, заключалась в том, чтобы заменить это волновое уравнение другим уравнением, куда бы входили производные по времени первого порядка, как в нерелятивистском уравнении Шредингера.
Предположим, что волновая функция электрона является многокомпонентной величиной ψn(x), удовлетворяющей волновому урав-
нению вида
ih |
∂ψ |
= H y, |
(1.1.13) |
¶t |
|||
ãäå Í − некоторая матричная функция пространственных произ-
водных. Поскольку уравнение линейно по производным по времени, то для построения лоренц-инвариантной теории мы должны предположить, что оно также линейно и по пространственным производным, иными словами, H имеет вид
H = -ihcα × Ñ + a4mc2 , |
(1.1.14) |
ãäå α1, α2, α3 è α4 — постоянные матрицы. Из (1.1.13) можно полу-
чить уравнение второго порядка:
−h2 |
∂2 |
ψ |
= H |
2ψ = −h2c2α |
α |
∂2 |
ψ |
|||||||||
∂t2 |
j ∂x |
∂x |
||||||||||||||
i |
j |
|||||||||||||||
i |
||||||||||||||||
− ihmc3 bα |
α4 |
+ α4α |
g |
∂ψ |
+ m2c4α24ψ. |
|||||||||||
i |
i |
∂x |
i |
|||||||||||||
(Здесь принято соглашение о суммировании по повторяющимся индексам: i, j принимают значения 1, 2, 3 или x, y, z.) Но это уравнение должно согласовываться с релятивистским уравнением Шредингера для свободного поля (1.1.4), выражающим просто релятивистскую связь между энергией и импульсом. Поэтому матрицы α è α4
должны удовлетворять условиям:
1.1. Релятивистская волновая механика |
11 |
α i α j + α j α i = 2δ ij I, |
(1.1.15) |
αiα4 + α4αi = 0, |
(1.1.16) |
α2 = I, |
(1.1.17) |
4 |
ãäå dij — символ Кронекера (1 при i = j; 0 при i ¹ j), а I — единичная матрица. Дирак нашел набор матриц 4 ´ 4, удовлетворяющих этим
соотношениям:
L0 0 0 1O |
L0 0 |
0 −iO |
||||||||
M |
P |
M |
P |
|||||||
a1 = |
M0 0 1 0P |
, |
a2 = |
M0 0 |
i |
0 |
P |
, |
||
M0 1 0 0P |
M0 |
-i |
0 |
0 |
P |
|||||
M |
P |
M |
P |
|||||||
M |
P |
M i |
0 |
0 |
0 |
P |
||||
N1 0 0 0Q |
N |
Q |
||||||||
L0 0 |
1 0 O |
L1 0 |
0 |
0 O |
(1.1.18) |
||||||||
M |
P |
M |
-1 0 |
P |
|||||||||
a3 = |
M0 0 |
0 |
-1P |
a4 = |
M0 |
0 |
P |
||||||
M |
P |
, |
M |
P . |
|||||||||
M1 0 |
0 0 |
P |
M0 0 |
1 |
0 |
P |
|||||||
M |
-1 0 0 |
P |
M |
0 |
P |
||||||||
N0 |
Q |
N0 0 |
-1Q |
||||||||||
Чтобы доказать лоренц-инвариантность развитого формализма, Дирак умножил (1.1.13) слева на a4, так что уравнение стало
возможным записать в виде:
F |
∂ |
|
G hcg μ |
||
¶xμ |
||
H |
γ ≡ −iα4α
2 I |
||
+ mc J y = 0, |
||
K |
||
, γ 0 ≡ −iα |
4 |
. |
(1.1.19)
(1.1.20)
(Греческие индексы m, n, и т. д. принимают значения 1, 2, 3, 0, при-
÷åì x0 = ct. Дирак использовал в своей работе x4 = ict и поэтому g4 = a4.) Матрицы gμ удовлетворяют следующим соотношениям
антикоммутации:
R+1, |
m = n = 1,2,3, |
||||
1 |
dg μ g ν + g ν g μ i = hμν |
| |
-1, |
m = n = 0, |
|
2 |
º S |
(1.1.21) |
|||
| |
m ¹ n. |
||||
T |
0, |
||||
12 |
Глава 1. Историческое введение |
Дирак заметил, что эти соотношения являются лоренц-инва- риантными в том смысле, что матрицы Lμνgν, ãäå L — произвольное
преобразование Лоренца, также им удовлетворяют. Отсюда Дирак сделал вывод, что Lμνgν должны быть связаны с gμ некоторым преоб-
разованием подобия
Lμ νg ν = S−1bLgg μSbLg.
Следовательно волновое уравнение оказывается инвариантным, если при преобразовании Лоренца xμ ® Lμνxν волновая функция подвергается матричному преобразованию y ® S(L)y. (Более подробно
эти вопросы обсуждаются в гл. 5 с несколько иной точки зрения.) Для изучения поведения электронов в произвольном внешнем
электромагнитном поле Дирак воспользовался «обычной процедурой», сделав те же замены
ih |
∂ |
® ih |
∂ |
+ ej, |
- ihÑ ® -ihÑ + |
e |
A, |
(1.1.22) |
¶t |
||||||||
¶t |
c |
|||||||
что и в (1.1.4). В результате уравнение (1.1.13) принимает вид:
F |
∂ |
I |
F |
e |
I |
2 |
|||
G ih |
+ ejJ y = G |
-ihÑ + |
AJ |
× αy + mc |
a4y. |
(1.1.23) |
|||
¶t |
|||||||||
H |
K |
H |
c |
K |
|||||
С помощью этого уравнения Дирак показал, что условие сохранения углового момента в центральном поле имеет вид
H ,-ihr ´ Ñ + hs / 2 |
= 0, |
(1.1.24) |
|
ãäå H - матричный дифференциальный оператор (1.1.14), а s — 4´4-обобщение спиновых матриц, ранее введенных Паули 19:
F0 |
0 |
1 |
0I |
||
G |
0 |
0 |
0 |
1J |
|
s = G |
J a . |
(1.1.25) |
|||
G |
1 |
0 |
0 |
0J |
|
G |
J |
||||
H0 |
1 |
0 |
0K |
||
1.1. Релятивистская волновая механика |
13 |
Так как каждая компонента s имеет собственные значения, равные ± 1, то наличие дополнительного слагаемого в (1.1.24) показы-
вает, что электрон обладает внутренним угловым моментом $/2. Дирак также квадрировал уравнение (1.1.23) и получил урав-
нение второго порядка. Оказалось, что оно имеет тот же вид, что и уравнение Клейна-Гордона (1.1.4), за исключением двух дополни-
тельных слагаемых в правой части:
-ehcs × B - iehca × E |
y. |
(1.1.26) |
|
В случае медленно движущегося электрона доминирует первое слагаемое, соответствующее магнитному моменту, значение которого согласуется с найденным Уленбеком и Гаудсмитом 11 значе- нием (1.1.8). Как заметил Дирак, такое значение магнитного момента с учетом релятивистской структуры теории приводит к правильной структуре тонкого расщепления в согласии (с точностью до a4mc2)
с результатами Гейзенберга, Иордана и Чарльза Г. Дарвина 13. Чуть позднее Дарвин 20 и Гордон 21 вывели «точную» формулу для уровней энергии атома водорода в рамках теории Дирака:
F |
a2 |
I −1/2 |
||||||
G |
J |
|||||||
E = mc2 G |
1 |
+ |
J |
. |
(1.1.27) |
|||
{n - j - 1 |
+ [(j + 1)2 |
|||||||
G |
- a2 ]1/2 }J |
|||||||
H |
2 |
2 |
K |
|||||
Первые три слагаемых в разложении этого выражения в ряд по степеням a2 согласуются с приближенным выражением (1.1.9).
Построенная теория удовлетворяла требованиям, выдвинутым Дираком: формализм должен быть релятивистским, а вероятности — существенно положительными. Из (1.1.13) и (1.1.14) можно вывести уравнение непрерывности:
∂ρ |
+ Ñ × J = 0, |
(1.1.28) |
|||||
¶t |
|||||||
ρ = |
ψ |
2 , J = cψ +αψ, |
(1.1.29) |
||||
так что положительную величину |y|2 можно интерпретировать как
плотность вероятности, причем полная вероятность равна интегралу от квадрата модуля волновой функции z| y|2 d3x.