Главная >> Фейнмановские лекции по физике >> Том 6 >> Глава 25. Электродинамика в релятивистских обозначениях

Скалярное произведение

То, что расстояние от некоторой точки до начала координат не изменяется при повороте, если хотите,— счастливая случайность. Математически это означает, что r²=x²+y²+z² является инвариантом. Другими словами, после поворота   r′²=r²   или

Возникает вопрос: существует ли подобная величина, которая инвариантна при преобразованиях Лоренца? Да, существует. Из (25.1) вы видите, что

Она была бы всем хороша, если бы только не зависела от нашего выбора оси х. Но этот недостаток легко исправить вычитанием у² и z². Тогда преобразование Лоренца плюс вращение оставляют ее неизменной. Таким образом, роль величины, аналогичной трехмерному r² в четырехмерном пространстве, играет комбинация

Она является инвариантом так называемой «полной группы Лоренца», которая включает как перемещения с постоянной скоростью, так и повороты.
 
Далее, поскольку эта инвариантность представляет собой алгебраическое свойство, зависящее только от правил преобразования (25.1) плюс вращение, то она справедлива для любого четырехвектора. (Все они, по определению, преобразуются одинаковым  образом.) Так что для любого четырехвектора а_μ

Эту величину мы будем называть квадратом «длины» четырехвектора а_μ . (Будьте внимательны! Иногда берут обратные знаки у всех  слагаемых и квадратом длины называют число a_x²+a_y² +a_z² –a_t².)
 
Если теперь у нас есть два вектора а_μ и b_μ, то их одноименные компоненты  преобразуются   одинаково,   поэтому   комбинация

также будет инвариантной (скалярной) величиной. (Фактически мы доказали это уже в гл. 17, вып. 2.) Получилась величина, совершенно аналогичная скалярному произведению векторов. Мы так и будем называть ее скалярным произведением двух четырехвекторов. Логично, казалось бы, и записывать его а_μ ·b_μ , чтобы оно даже выглядело похожим на скалярное произведение. Но обычно, к сожалению, так не делают и пишут его без точки. И мы тоже будем придерживаться этого порядка и записывать скалярное произведение   просто   а_μb_μ .   Итак,  по определению,

Помните, что повсюду, где вы видите два одинаковых значка (вместо μ, мы иногда будем пользоваться v или другими буквами), необходимо взять четыре произведения и сложить их, не забывая при этом о знаке минус перед произведениями пространственных компонент. С учетом такого соглашения инвариантность скалярного произведения при преобразованиях Лоренца можно записать как

Поскольку последние три слагаемых в формуле (25.7) представляют просто трехмерное скалярное произведение, то часто удобнее принять такую запись:

Очевидно, что введенную выше четырехмерную длину можно записать как а_μа_μ:

Но иногда удобно эту величину записать как а_μ²:

Продемонстрируем теперь плодотворность четырехмерного скалярного произведения. Антипротоны (р) получают на больших ускорителях из реакции

Иначе говоря, высокоэнергетический протон сталкивается с покоящимся протоном (например, с помещенной в пучок водородной мишенью), и если падающий протон обладает достаточной энергией, то вдобавок к двум первоначальным протонам может родиться пара протон—антипротон.
 
Какой энергией должен обладать падающий протон, чтобы эта реакция стала энергетически возможной?

Ответ легче всего получить, рассмотрев эту реакцию в системе центра масс (ц. м.) (фиг. 25.1). Назовем падающий протон протоном а, а его четырехимпульс обозначим через р_μ^a. Аналогично, протон мишени назовем b, а его четырехимпульс обозначим через р_μ^b,. Если энергии падающего протона как раз достаточно для реакции, то в конечном состоянии (т. е. в состоянии после соударения) образуется система, содержащая три протона и антипротон, покоящиеся в системе ц. м. Если энергия падающего протона будет несколько выше, то частицы в конечном состоянии вылетят с некоторой кинетической энергией и будут разлетаться в стороны; если же она немного ниже, то ее будет недостаточно для образования четырех частиц.
 
Пусть р_μ^c — полный четырехимпульс всей системы в конечном состоянии, тогда, согласно закону сохранения энергии и импульса,

а комбинируя эти два выражения, можно написать

Теперь еще одно важное обстоятельство: поскольку мы получили уравнение для четырехвекторов, то оно должно выполняться в любой инерциальной системе. Этим фактом можно воспользоваться для упрощения вычислений. Напишем длины каждой из частей (25.9), которые, разумеется, тоже должны быть равны друг другу, т. е.

Так как р_μ^c р_μ^c— инвариант, то можно вычислить его в какой-то одной системе координат. В системе ц. м. временная компонента р_μ^c равна энергии покоя четырех протонов, т. е. 4М, а пространственная часть р равна нулю, так что р_μ¦^c=(4М, 0). При этом мы воспользовались равенством масс протона и антипротона, обозначив их одной буквой М.
 
Таким образом, уравнение (25.10) принимает вид

Произведения р_μ^a р_μ^a  и р_μ^b р_μ^b, вычисляются очень быстро: «длина» четырехвектора импульса любой частицы равна просто квадрату ее массы:

Это можно доказать прямыми вычислениями или, несколько более эффектно, простым замечанием, что в системе покоя частицы р_μ =(М, 0), а следовательно, р_μр_μ=М². А так как это инвариант, то он равен М² в любой системе отсчета. Подставляя результаты в уравнение (25.11), мы получаем

Теперь можно вычислить р_μ^aр_μ^b в лабораторной системе. В этой системе четырехвектор р_μ^a = (Е^а, р^a), а р_μ^b,=(М, 0), ибо он описывает покоящийся протон. Итак, р_μ^aр_μ^b должно быть равно МЕ^а, а мы знаем, что скалярное произведение — это инвариант, поэтому оно должно быть равно значению, найденному нами в (25.12). В результате получается

Полная энергия падающего протона должна быть по меньшей мере равна 7М (что составляет около 6,6 Гэв, так как М=938 Мэв) или после вычитания массы покоя М получаем, что кинетическая энергия должна быть равна по меньшей мере 6М (около 5,6 Гэв). Именно с тем, чтобы иметь возможность производить антипротоны, беватрон в Беркли проектировался на кинетическую энергию ускоренных протонов около 6,2 Гэв.
 
Скалярное произведение — инвариант, поэтому полезно знать его величину. Что, например, можно сказать о «длине» четырехвектора скорости и_μ и_μ ?

т. е. и_μ — единичный четырехвектор.

СМОТРИТЕ ТАКЖЕ: