Квантовая механика I (Фейнман) - страница 55

одинаковым амплитудам. Одинаковыми должны оказаться только физические результаты; сами же амплитуды, могут отличаться на общий фазовый множитель типа e^>i>d, не меняя результатов никаких расчетов, касающихся реального мира. Иначе говоря, вместо (4.11) единственное, что можно утвер­ждать,— это

где d — какая-то вещественная постоянная величина. Смысл этого добавочного множителя е^>i>d, конечно, в том, что амплиту­ды, которые мы получим, пользуясь матрицей R^>US, могут все отличаться на одну и ту же фазу (е^>->i>d) от амплитуд, которые получились бы из двух поворотов R^>UTи R^>TS. Но мы знаем, что если все амплитуды изменить на одинаковую фазу, то это ни на чем не скажется. Так что при желании можно этот фазовый множитель просто игнорировать. Оказывается, однако, что если определить нашу матрицу поворота особым образом, то этот фазовый множитель вообще не появится: б в (4.12) всегда будет нулем. Хотя это и не отражается на наших дальнейших рассуждениях, мы беремся это быстро доказать, пользуясь ма­тематической теоремой о детерминантах. [А если вы до сих пор мало знакомы с детерминантами, то не следите за доказатель­ством и прямо переходите к определению (4.15).)

Во-первых, следует напомнить, что (4.11) — это математи­ческое определение «произведения» двух матриц. (Просто очень удобно говорить «R^>USесть произведение R^>UTи R^>TS».) Во-вторых, существует математическая теорема (которую для используемых здесь матриц 2X2 вы легко докажете), утверждающая, что детерминант «произведения» двух матриц есть произведение их детерминантов. Применив эту теорему к (4.12), получим

(Мы отбрасываем нижние индексы, они здесь ничего полезного нам не сообщают.) Да, слева стоит 2S! Вспомните, что мы имеем дело с матрицами 2x2; каждый член в матрице R^>US_>kiумножен на е^>i>d, а каждый член в детерминанте (состоящий из двух мно­жителей) получается умножением на е^>i>2>d. Извлечем из (4.13) корень и разделим на него (4.12):

Добавочный фазовый множитель исчез.

Дальше оказывается, что если мы хотим, чтобы все наши амплитуды в любом заданном представлении были нормированы (а это, как вы помните, означает, что

то у всех матриц поворота детерминанты окажутся чисто мни­мыми экспонентами, наподобие е^>i>a. (Мы не будем этого дока­зывать; вы сами потом увидите, что это всегда так.) Значит, мы сможем, если захотим, выбрать все наши матрицы поворота R так, чтобы фаза их получалась однозначно, взяв DetR=1. Это будет делаться так. Пусть мы каким-то произвольным об­разом определили матрицу поворота R. Возьмем за правило «приводить» ее к «стандартной форме», определяя