§ 9. Сопряженное уравнение. Определение тока
Выше мы построили положительно определенную плотность вероятности (ур. (35)). Как отмечалось, эрмитовость гамильтониана Дирака гарантирует самосогласованность этого определения. Определим плотность тока и покажем, что для решений уравнения Дирака плотность тока удовлетворяет уравнению непрерывности. Вначале рассмотрим этот вопрос, используя форму Дирака, а затем повторим рассуждения с ковариантной формой.
Допустим, что выбрано некоторое представление для и а, тогда волновая функция есть матрица-столбец
Обозначим эрмитово-сопряженную к ней
Операторы в спиновом пространстве являются матрицами . Можно определить скалярное произведение, в котором суммирование происходит только по спиновым переменным. Обозначим такое скалярное произведение простыми скобками. Тогда плотность Р можно записать в виде
В качестве другого примера рассмотрим матричный элемент матрицы стоящий в строке s и столбце тогда имеем
Пусть — решение уравнения Дирака
тогда есть решение эрмитово-сопряженного уравнения, которое получается комплексным сопряжением уравнения (58) и заменой каждой матрицы в нем на транспонированную:
Умножая скалярно уравнение (58) слева на а уравнение (59) справа на и складывая, получим
Слева стоит производная по времени от плотности вероятности Р, а справа—дивергенция некоторого вектора
Полученная величина и представляет собой искомую плотность тока, а уравнение (60) есть уравнение непрерывности
Можно повторить приведенные выше рассуждения, используя ковариантную форму уравнения Дирака (ур. (50)). Эрмитово-сопряженным к уравнению (50) будет
(где символ обозначает матрицу-строку из четырех элементов Удобно ввести обозначение
Умножая уравнение (62) справа на и учитывая соотношения (53), получим уравнение
которое эквивалентно (59). Величина Ч называется сопряженной к , а уравнение (64) — сопряженным уравнением.
Умножая скалярно уравнения (50) слева на справа на и вычитая их, имеем
Определим четырехмерный вектор плотности тока
Тогда предыдущее уравнение эквивалентно уравнению непрерывности
Легко показать, что таким образом, мы записали уравнение непрерывности в ковариантной форме. В следующем разделе мы покажем, что четыре компоненты действительно образуют -вектор.