Темная сторона материи. Дирак. Антивещество | страница 43

С другой стороны, Дираку следовало учитывать принцип относительности. Квантовое релятивистское уравнение должно было действовать для любой инерциальной системы отсчета. Но как этого добиться? Решение Дирака своей красотой и простотой подтверждает его огромный творческий гений. В рамках релятивистской теории время и пространственные координаты являются составляющими «четырехмерного вектора пространство — время». Дирак заключил из этого, что нет причин обращаться по-разному с двумя видами переменных в квантовом волновом уравнении. Наоборот, если волновое уравнение должно было быть, согласно квантовой теории, уравнением первого порядка по производной по времени, то релятивистская теория требовала введения пространственных переменных в виде их первых производных. Это симметричное обращение со временем и пространством согласовывалось с релятивистской формулировкой, но уводило от нерелятивистского уравнения Шрёдингера, в котором временные и пространственные переменные появлялись по-разному: производная первого порядка по времени и второго порядка по пространственным переменным. Дирак считал симметрию главным условием релятивистской теории, которая в свою очередь должна согласовываться с релятивистским выражением для энергии:

E = √(c^>2 р^>2 + m^>2с^>4) (свободная частица).

Самосопряженные операторы (эрмитовы операторы) важны для квантовой теории, поскольку присущее им собственное значение является действительным. В случае оператора Гамильтона «самосопряженность» гарантирует нам, что энергия системы, которую мы изучаем, будет действительной. Оператор называют самосопряженным, когда он совпадает со своим сопряженным. Возьмем общий случай квантового оператора, представленного в матричной форме матрицы 2x2:

Сопряженный оператор задан матрицей, выстроенной из изначальной матрицы, в которой изменяются строки и столбцы, и каждый элемент заменен комплексно-сопряженным ему элементом. Такая матрица называется сопряженной:

Если две матрицы согласуются друг с другом, то есть если Ó = Ö, говорят, что матрица Ó является эрмитово-сопряженной, и в этом случае можно доказать, что ее значения являются действительными. Три матрицы Паули, σ_>x,σ_>y,σ_>z, являются эрмитово-сопряженными, и они «антикоммутативны» между собой, то есть соблюдают общие отношения, вытекающие из уравнения Дирака. Однако можно доказать, что любая матрица размера 2x2 может быть записана в виде линейной комбинации трех матриц Паули плюс единичная матрица. Это означает, что невозможно найти четвертую матрицу, которая антикоммутативна каждой из трех матриц Паули. Иными словами, уравнение Дирака требует, чтобы размер каждого из четырех матричных коэффициентов, подлежащих определению, был больше 2x2. Кроме того, матрицы Дирака удовлетворяют антикоммутационным соотношениям, и их след равен нулю.