Темная сторона материи. Дирак. Антивещество
Шрифт:
E = (c2 р2 + m2с4) (свободная частица).
САМОСОПРЯЖЕННЫЕ ОПЕРАТОРЫ (ЭРМИТОВЫ ОПЕРАТОРЫ) И МАТРИЦЫ ПАУЛИ
Самосопряженные операторы (эрмитовы операторы) важны для квантовой теории, поскольку присущее им собственное значение является действительным. В случае оператора Гамильтона «самосопряженность» гарантирует нам, что энергия системы, которую мы изучаем, будет действительной. Оператор называют самосопряженным, когда он совпадает со своим сопряженным. Возьмем общий случай квантового оператора, представленного в матричной форме матрицы 2x2:
Сопряженный
Если две матрицы согласуются друг с другом, то есть если 'O = "O, говорят, что матрица 'O является эрмитово-сопряженной, и в этом случае можно доказать, что ее значения являются действительными. Три матрицы Паули, x,y,z, являются эрмитово-сопряженными, и они «антикоммутативны» между собой, то есть соблюдают общие отношения, вытекающие из уравнения Дирака. Однако можно доказать, что любая матрица размера 2x2 может быть записана в виде линейной комбинации трех матриц Паули плюс единичная матрица. Это означает, что невозможно найти четвертую матрицу, которая антикоммутативна каждой из трех матриц Паули. Иными словами, уравнение Дирака требует, чтобы размер каждого из четырех матричных коэффициентов, подлежащих определению, был больше 2x2. Кроме того, матрицы Дирака удовлетворяют антикоммутационным соотношениям, и их след равен нулю.
В итоге его требования к новому квантовому релятивистскому уравнению электрона можно описать следующим образом.
1. Это должно быть дифференциальное уравнение первого порядка по времени, которое симметрично включает пространственные переменные, то есть с производными первого порядка.
2. Оператор Гамильтона должен быть самосопряженным — так, чтобы плотность вероятности определялась положительным значением и чтобы энергии были действительными.
3. Оно должно согласовываться с релятивистским выражением для энергии и быть релевантным для любой инерциальной системы отсчета.
Таким образом, Дирак предложил следующее общее уравнение:
Заметим, что два вида переменных — пространство и время — включены одним способом. Кроме того, существует дополнительный член уравнения, ssmc2, связанный с собственной массой электрона, то есть с массой в системе, в которой он находится в состоянии покоя. Уравнение зависит от четырех неизвестных коэффициентов: x,y,z,. Таким образом, вопрос состоит в том, как их определить. Для этого Дирак должен был доказать совместимость своего уравнения с релятивистским выражением для энергии.
Он полностью осознавал «эквивалентность» квантовых операторов и соответствующих классических величин. Кстати, именно это соответствие позволило объяснить форму уравнения Шрёдингера и уравнения Клейна — Гордона. Используя аналогию между классическим и квантовым миром, квантовое уравнение, предложенное Дираком, вело к следующему классическому уравнению для энергии:
Е= с (xpx + yрy + zpz) + ssmc2.
Как связать данное уравнение, линейное в трех составляющих кинетического момента со сложным релятивистским выражением энергии, в котором появляется квадратный корень? Дирак искал способ, позволивший бы ему записать в линейном виде релятивистское уравнение энергии, определив четыре неизвестных коэффициента. Первым большим шагом вперед в этом направлении было открытие того, что его квантовое уравнение может быть совместимым с релятивистским выражением для энергии, только когда введенные им коэффициенты не коммутируют между собой и, кроме того, если квадрат каждого оператора равен
Индексы i,j относятся к любой из трех пространственных составляющих: х, у, z. Коэффициенты Дирак интерпретировал как матрицы. Последнее означало, что волновая функция содержит разные составляющие, помимо своей зависимости от временных и пространственных переменных. Это было новостью. В предыдущем 1927 году Паули уже представил волновую функцию с двумя составляющими, связанными с двумя возможными значениями спина.
Однако проблема была решена не до конца. Сопряженность гамильтониана означала, что четыре матрицы должны быть, в свою очередь, эрмитово-сопряженными. В первое время Дирак думал о матрицах Паули, которые отвечали всем необходимым условиям. Но матриц Паули было три, и Дираку надо было найти четвертую, чтобы окончательно сформировать уравнение. В результате он пришел к выводу, что найти четвертую матрицу для трех матриц Паули невозможно. Математики на самом деле уже знали этот результат, так как они доказали, что для квадратных матриц Nx N максимальное количество независимых эрмитово-сопряженных матриц, которые «антикоммутируют» между собой, равно N2– 1. Следовательно, у Дирака оставалась единственная возможность — увеличить размер матриц. Доказав, что их размер обязательно должен быть парным, ученый наконец нашел четыре независимые эрмитово-сопряженные матрицы 4x4. Это минимальный размер, который согласуется с общими свойствами его уравнения. Дирак заметил:
«Мне понадобилось много недель, чтобы осознать, что необязательно использовать переменные с двумя строками и двумя столбцами. Почему бы не представить четыре строки и четыре столбца?»
МАТРИЦЫ И КОВАРИАНТНАЯ ФОРМА УРАВНЕНИЯ ДИРАКА
Уравнение Дирака запечатлено на его мемориальной доске в Вестминстерском аббатстве. На самом делетам оно присутствует в своей «ковариантной форме». Это значит, что форма уравнения является одинаковой для любой инерциальной системы отсчета. Для упрощения записи уравнения в квантовой релятивистской теории принято одновременно считать редуцированную постоянную Планка, h, и скорость света, с, равными единице. Это называется «естественной системой единиц». В таком случае уравнение Дирака записывается так:
В него включен оператор Гамильтона,
, и использовано выражение:
Матрицы Дирака могут быть прямо выражены через матрицы Паули, оk, в следующей форме:
Вставляя выражение 0 ; k ssak и умножая левую часть этого уравнения Дирака на матрицу , мы в итоге получаем
Уравнение в рамке соответствует тому, что запечатлено в Вестминстерском аббатстве. Несмотря на кажущуюся простоту, оно на самом деле объединяет четыре дифференциальных уравнения. Данное уравнение известно как «ковариантная форма уравнения Дирака для свободного электрона» и включает в себя оператор