Тензоры и уравнение Клейна-Гордона

Рассмотрим уравнение Клейна-Гордона :

2 ψ т 2 "=" с 2 Δ ψ м 2 с 4 2 ψ ,
и определить для каждого из его решений ψ количество:

п ( Икс , т ) "=" 2 ψ т ψ * т + 2 с 2 ψ ψ * + м 2 с 4 ψ ψ * ,
Примем соглашение, согласно которому общая точка пространства-времени Минковского равна ( Икс , у , г , с т ) . В разделе (4.6) своего замечательного трактата «Квантовая теория» Бом утверждает, что при преобразовании Лоренца

(я) п ( Икс , т ) преобразует как (4,4)-координата тензор второго ранга,

(ii) п ( Икс , т ) г Икс преобразуется как четвертая компонента четырехмерного вектора.

Может ли кто-нибудь дать мне доказательство этих двух утверждений, пожалуйста?

ПРИМЕЧАНИЕ (1). Все, что я знаю об уравнении Клейна-Гордона, это то, что ψ инвариантен относительно преобразований Лоренца, т. е. если ψ ( Икс , т ) является решением уравнения Клейна-Гордона, то новая функция ф ( Икс , т ) получается заменой уравнений лоренцевского буста ( Икс , с т ) ( Икс , с т ) в ψ снова является решением уравнения Клейна-Гордона.

ЗАМЕТКА 2). Бом обосновывает утверждение (i), рассматривая частное решение ψ "=" опыт я ( Е т п Икс ) , для чего получаем

п "=" Е 2 + п 2 с 2 + м 2 с 4 "=" 2 Е 2 ,
так что п превращается на самом деле как квадрат энергии.

Дважды проверьте свои знаки, а затем посмотрите, сможете ли вы обнаружить тензор А мю ν для которого п "=" А т т .
Извини, что ты имеешь ввиду?

Ответы (1)

На самом деле, п ( Икс , т ) вы упоминаете, это 4,4-компонента тензора напряжений Т я к месторождения Кляйн-Гордон (КГ). В дальнейшем вместо этого я буду использовать метрический тензор η я к "=" г я а г ( 1 , 1 , 1 , 1 ) и определить п ( Икс , т ) с 0,0-компонентой Т я к . Бом, по-видимому, использует другую метрику. г я а г ( 1 , 1 , 1 , 1 ) соглашение. Более того с "=" 1 "=" предполагается.

Начинать лучше всего с лагранжевой плотности комплекса KG: (двойные индексы суммируются, т.е. правило суммирования Эйнштейна):

л "=" я ф я ф м 2 ф ф

Для сложного поля ф и ф рассматриваются как независимые переменные. Определение тензора напряжений дается следующим образом:

Т я к "=" ф ф , к л ф , я л η я к

с ф "=" ( ф , ф ) .

Подставив выражение для лагранжевой плотности поля КГ в определение тензора напряжений, получим:

Т я к "=" я ф к ф + к ф я ф л η я к

Тензорное свойство Т я к довольно очевидно, так как частные производные я соответственно к преобразуйте как ковариантные векторы и η я к также является тензором. Это в особенности справедливо для ( я , к ) "=" ( 0 , 0 ) -компонент:

Т 00 "=" 2 ф т ф т л "=" ф т ф т + ф ф + м 2 ф ф п ( Икс , т )

4-импульсный вектор п я дает:

п я "=" Ом Т я к г о к

где г о к векторный элемент гиперповерхности, который параметризуется значениями ( ты , в , ж ) :

г о я "=" ϵ я Дж к м Икс Дж ты Икс к в Икс м ж г ты г в г ж

Если теперь гиперповерхность т "=" с о н с т выбирается, в качестве параметров ( ты , в , ж ) "=" ( Икс , у , г ) ( Икс 1 , Икс 2 , Икс 3 ) может быть использован:

г о я "=" ϵ я Дж к м дельта 1 Дж дельта 2 к дельта 3 м г Икс 1 г Икс 2 г Икс 3 "=" ϵ я , 1 , 2 , 3 г 3 Икс "=" ( г 3 Икс , 0 )

поэтому мы получаем для этой конкретной гиперповерхности т "=" с о н с т :

п я "=" т "=" с о н с т Т я 0 г 3 Икс

Можно показать, что п я рассматривается на другой гиперповерхности Ом которая преобразована Лоренцем относительно исходной гиперповерхности т "=" с о н с т имеет такое же значение, если вычисляется по более общей формуле:

п я "=" Ом Т я к г о к

Но из-за ковариантного способа записи ясно, что п я является 4-вектором (но это уже не будет верно в искривленном пространстве-времени) и, в частности,

п 0 "=" т "=" с о н с т Т 00 г 3 Икс т "=" с о н с т п ( Икс , т ) г 3 Икс

0-компонента 4-вектора п я (4-вектор импульса), энергия поля КГ.

Дорогой Фредерик, большое вам спасибо за то, что вы ответили на мой вопрос: я бы никогда не сделал этого сам! Я добавляю здесь единственный недостающий шаг, необходимый для обоснования утверждения, что п я можно вычислить по общей формуле, которую вы привели выше. Отметим, что Т я к имеет нулевую дивергенцию, т. к Т я к "=" 0 , как это немедленно проверяется с помощью уравнения Клейна-Гордона для ф и ф * . Тогда ваше утверждение вытекает из общего аргумента, приведенного в Møller, Theory of Relativity, § 63 или Паули, Теория относительности, § 21 .
Пожалуйста. Утверждение, на которое вы ссылаетесь в своем комментарии, заключается в том, что п я имеет то же значение, если гиперповерхность т "=" с о н с т преобразуется Лоренцем в другую гиперповерхность Ом при расчете по более общей формуле?
Именно так, Фредерик.