Матричная механика — это формулировка квантовой механики, созданная Вернером Гейзенбергом , Максом Борном и Паскуалем Джорданом в 1925 году. Это была первая концептуально автономная и логически последовательная формулировка квантовой механики. Ее описание квантовых скачков вытеснило электронные орбиты модели Бора . Это было сделано путем интерпретации физических свойств частиц как матриц , которые эволюционируют во времени. Она эквивалентна волновой формулировке Шредингера квантовой механики, как это проявляется в скобочной нотации Дирака .
В некотором контрасте с волновой формулировкой, она производит спектры операторов (в основном энергии) чисто алгебраическими методами лестничных операторов . [1] Опираясь на эти методы, Вольфганг Паули вывел спектр атома водорода в 1926 году [2] до развития волновой механики.
В 1925 году Вернер Гейзенберг , Макс Борн и Паскуаль Жордан сформулировали матричную механику, представляющую квантовую механику.
В 1925 году Вернер Гейзенберг работал в Гёттингене над проблемой расчета спектральных линий водорода . К маю 1925 года он начал пытаться описывать атомные системы только с помощью наблюдаемых величин . 7 июня, после недель безуспешных попыток облегчить сенную лихорадку аспирином и кокаином, [3] Гейзенберг отправился на свободный от пыльцы остров Гельголанд в Северном море . Там, между скалолазанием и заучиванием стихотворений из « Западно-восточного дивана» Гете , он продолжал размышлять над спектральной проблемой и в конце концов понял, что принятие некоммутирующих наблюдаемых величин может решить проблему. Позже он писал:
Было около трех часов ночи, когда окончательный результат расчета лежал передо мной. Сначала я был глубоко потрясен. Я был так взволнован, что не мог думать о сне. Поэтому я вышел из дома и стал ждать восхода солнца на вершине скалы. [4] : 275
Вернувшись в Гёттинген, Гейзенберг показал Вольфгангу Паули свои расчеты, заметив в какой-то момент:
Для меня все еще все смутно и неясно, но кажется, что электроны больше не будут двигаться по орбитам. [5]
9 июля Гейзенберг передал ту же самую статью своих вычислений Максу Борну, сказав, что «он написал безумную статью и не осмелился отправить ее для публикации, и что Борн должен прочитать ее и дать ему совет» перед публикацией. Затем Гейзенберг на некоторое время ушел, оставив Борна анализировать статью. [6]
В статье Гейзенберг сформулировал квантовую теорию без резких электронных орбит. Хендрик Крамерс ранее вычислил относительные интенсивности спектральных линий в модели Зоммерфельда, интерпретируя коэффициенты Фурье орбит как интенсивности. Но его ответ, как и все другие вычисления в старой квантовой теории , был верен только для больших орбит .
Гейзенберг, после сотрудничества с Крамерсом, [7] начал понимать, что вероятности перехода не являются вполне классическими величинами, потому что единственные частоты, которые появляются в рядах Фурье, должны быть теми, которые наблюдаются в квантовых скачках, а не вымышленными, которые возникают из Фурье-анализирующих острых классических орбит. Он заменил классический ряд Фурье матрицей коэффициентов, размытым квантовым аналогом ряда Фурье. Классически коэффициенты Фурье дают интенсивность испускаемого излучения , поэтому в квантовой механике величина матричных элементов оператора положения была интенсивностью излучения в ярко-линейном спектре. Величины в формулировке Гейзенберга были классическими положением и импульсом, но теперь они больше не были четко определены. Каждая величина была представлена набором коэффициентов Фурье с двумя индексами, соответствующими начальному и конечному состояниям. [8]
Когда Борн прочитал статью, он узнал формулировку как ту, которую можно было бы переписать и расширить до систематического языка матриц , [9] которую он изучил во время своего обучения у Якоба Розанеса [10] в Университете Бреслау . Борн, с помощью своего помощника и бывшего студента Паскуаля Джордана, немедленно приступил к транскрипции и расширению, и они представили свои результаты для публикации; статья была получена для публикации всего через 60 дней после статьи Гейзенберга. [11]
Последующая статья была представлена для публикации до конца года всеми тремя авторами. [12] (Краткий обзор роли Борна в разработке формулировки матричной механики квантовой механики вместе с обсуждением ключевой формулы, включающей некоммутативность амплитуд вероятности, можно найти в статье Джереми Бернстайна . [13] Подробный исторический и технический отчет можно найти в книге Мехры и Рехенберга « Историческое развитие квантовой теории. Том 3. Формулировка матричной механики и ее модификации 1925–1926». [14] )
Три основных документа:
- В. Гейзенберг, Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen , Zeitschrift für Physik , 33 , 879–893, 1925 (получено 29 июля 1925 г.). [Английский перевод: Б.Л. ван дер Варден, редактор, Sources of Quantum Mechanics (Dover Publications, 1968) ISBN 0-486-61881-1 (английское название: Quantum-Theoretical Re-interpretation of Kinematic and Mechanical Relations ).]
- М. Борн и П. Джордан, Zur Quantenmechanik , Zeitschrift für Physik , 34 , 858-888, 1925 (получено 27 сентября 1925 г.). [Английский перевод: Б.Л. ван дер Варден, редактор, Sources of Quantum Mechanics (Dover Publications, 1968) ISBN 0-486-61881-1 (английское название: On Quantum Mechanics ).]
- М. Борн, В. Гейзенберг и П. Джордан, Zur Quantenmechanik II , Zeitschrift für Physik , 35 , 557–615, 1926 (получено 16 ноября 1925 г.). [Английский перевод: Б.Л. ван дер Варден, редактор, Sources of Quantum Mechanics (Dover Publications, 1968) ISBN 0-486-61881-1 (английское название: On Quantum Mechanics II ).]
До этого времени матрицы редко использовались физиками; считалось, что они принадлежат к области чистой математики. Густав Ми использовал их в статье по электродинамике в 1912 году, а Борн использовал их в своей работе по теории решеток кристаллов в 1921 году. Хотя матрицы использовались в этих случаях, алгебра матриц с их умножением не входила в картину, как это было в матричной формулировке квантовой механики. [15]
Однако Борн, как уже отмечалось, изучал матричную алгебру у Розанеса, но Борн также изучил теорию интегральных уравнений и квадратичных форм Гильберта для бесконечного числа переменных, как это было очевидно из цитаты Борном работы Гильберта Grundzüge einer allgemeinen Theorie der Linearen Integralgleichungen, опубликованной в 1912 году. [16] [17]
Джордан тоже был хорошо подготовлен к этой задаче. В течение ряда лет он был помощником Рихарда Куранта в Геттингене при подготовке книги Куранта и Давида Гильберта Methoden der mathematischen Physik I , которая была опубликована в 1924 году . [18] Эта книга, по счастливой случайности, содержала множество математических инструментов, необходимых для дальнейшего развития квантовой механики.
В 1926 году Джон фон Нейман стал помощником Дэвида Гильберта и ввел термин « пространство Гильберта» для описания алгебры и анализа, которые использовались при разработке квантовой механики. [19] [20]
Решающий вклад в эту формулировку был внесен в работе Дирака по переосмыслению/синтезу 1925 года [21] , в которой были изобретены язык и структура, обычно используемые сегодня, в полной мере демонстрирующие некоммутативную структуру всей конструкции.
До появления матричной механики старая квантовая теория описывала движение частицы по классической орбите с четко определенным положением и импульсом X ( t ), P ( t ), с ограничением, что временной интеграл за один период T от импульса, умноженного на скорость, должен быть положительным целым числом, кратным постоянной Планка. Хотя это ограничение правильно выбирает орбиты с более или менее правильными значениями энергии En , старый формализм квантовой механики не описывал зависящие от времени процессы, такие как испускание или поглощение излучения.
Когда классическая частица слабо связана с полем излучения, так что затуханием излучения можно пренебречь, она будет испускать излучение в шаблоне, который повторяется каждый орбитальный период . Частоты, составляющие исходящую волну, тогда являются целыми кратными орбитальной частоты, и это является отражением того факта, что X ( t ) является периодическим, так что ее представление Фурье имеет частоты только 2π n / T. Коэффициенты X n являются комплексными числами . Те, у которых отрицательные частоты, должны быть комплексно сопряженными числами тех, у которых положительные частоты, так что X ( t ) всегда будет действительным,
С другой стороны, квантово-механическая частица не может непрерывно испускать излучение; она может испускать только фотоны. Предполагая, что квантовая частица начала движение на орбите номер n , испустила фотон, а затем оказалась на орбите номер m , энергия фотона равна En − E m , что означает, что ее частота равна ( En − E m ) / h .
Для больших n и m , но при относительно малых n − m , это классические частоты по принципу соответствия Бора. В приведенной выше формуле T — классический период либо орбиты n, либо орбиты m , поскольку разница между ними имеет более высокий порядок по h . Но для малых n и m или при больших n − m частоты не являются целыми кратными какой-либо одной частоты.
Поскольку частоты, которые излучает частица, совпадают с частотами в описании Фурье ее движения, это говорит о том, что что-то в зависящем от времени описании частицы колеблется с частотой ( E n − E m )/ h . Гейзенберг назвал эту величину X nm и потребовал, чтобы она сводилась к классическим коэффициентам Фурье в классическом пределе. Для больших значений n , m , но при относительно малых n − m , X nm является ( n − m ) -м коэффициентом Фурье классического движения на орбите n . Поскольку X nm имеет противоположную частоту по отношению к X mn , условие того, что X является действительным, становится
По определению, X нм имеет только частоту ( E n − E m )/ h , поэтому ее временная эволюция проста: Это исходная форма уравнения движения Гейзенберга.
Учитывая два массива X nm и P nm, описывающих две физические величины, Гейзенберг мог сформировать новый массив того же типа, объединив члены X nk P km , которые также колеблются с правильной частотой. Поскольку коэффициенты Фурье произведения двух величин являются сверткой коэффициентов Фурье каждой из них в отдельности, соответствие с рядами Фурье позволило Гейзенбергу вывести правило, по которому массивы должны умножаться,
Борн указал, что это закон умножения матриц , так что положение, импульс, энергия, все наблюдаемые величины в теории интерпретируются как матрицы. Согласно этому правилу умножения, произведение зависит от порядка: XP отличается от PX .
Матрица X является полным описанием движения квантово-механической частицы. Поскольку частоты в квантовом движении не кратны общей частоте, матричные элементы не могут быть интерпретированы как коэффициенты Фурье острой классической траектории . Тем не менее, как матрицы, X ( t ) и P ( t ) удовлетворяют классическим уравнениям движения; см. также теорему Эренфеста ниже.
Когда в 1925 году ее ввели Вернер Гейзенберг, Макс Борн и Паскуаль Йордан, матричная механика не была сразу принята и поначалу была источником споров. Позднее введение Шредингером волновой механики получило большую поддержку.
Частично это было связано с тем, что формулировка Гейзенберга была на странном математическом языке, в то время как формулировка Шредингера основывалась на знакомых волновых уравнениях. Но была и более глубокая социологическая причина. Квантовая механика развивалась двумя путями: один из них возглавлял Эйнштейн, который подчеркивал корпускулярно-волновой дуализм, предложенный им для фотонов, а другой — Бор, который подчеркивал дискретные энергетические состояния и квантовые скачки, открытые Бором. Де Бройль воспроизвел дискретные энергетические состояния в рамках Эйнштейна — квантовое состояние — это состояние стоячей волны, и это дало надежду тем, кто был в школе Эйнштейна, что все дискретные аспекты квантовой механики будут включены в непрерывную волновую механику.
Матричная механика, с другой стороны, пришла из школы Бора, которая занималась дискретными энергетическими состояниями и квантовыми скачками. Последователи Бора не ценили физические модели, которые изображали электроны как волны или как что-либо вообще. Они предпочитали сосредоточиться на величинах, которые были напрямую связаны с экспериментами.
В атомной физике спектроскопия давала наблюдательные данные об атомных переходах, возникающих при взаимодействии атомов с квантами света . Школа Бора требовала, чтобы в теории фигурировали только те величины, которые в принципе можно было измерить с помощью спектроскопии. Эти величины включают уровни энергии и их интенсивности, но они не включают точное местоположение частицы на ее боровской орбите. Очень трудно представить себе эксперимент, который мог бы определить, находится ли электрон в основном состоянии атома водорода справа или слева от ядра. Было глубокое убеждение, что на такие вопросы нет ответа.
Матричная формулировка была построена на предпосылке, что все физические наблюдаемые представлены матрицами, элементы которых индексируются двумя различными уровнями энергии. [22] В конечном итоге было решено, что набор собственных значений матрицы — это набор всех возможных значений, которые может иметь наблюдаемая. Поскольку матрицы Гейзенберга являются эрмитовыми , собственные значения являются действительными.
Если измеряется наблюдаемая величина и результатом является определенное собственное значение, соответствующий собственный вектор является состоянием системы сразу после измерения. Акт измерения в матричной механике «коллапсирует» состояние системы. Если одновременно измеряются две наблюдаемые величины, состояние системы коллапсирует к общему собственному вектору двух наблюдаемых величин. Поскольку большинство матриц не имеют общих собственных векторов, большинство наблюдаемых величин никогда не могут быть измерены точно в одно и то же время. Это принцип неопределенности .
Если две матрицы разделяют свои собственные векторы, они могут быть одновременно диагонализированы. В базисе, где они обе диагональны, ясно, что их произведение не зависит от их порядка, поскольку умножение диагональных матриц — это просто умножение чисел. Принцип неопределенности, напротив, является выражением того факта, что часто две матрицы A и B не всегда коммутируют, т. е. что AB − BA не обязательно равно 0. Фундаментальное коммутационное соотношение матричной механики подразумевает, что не существует состояний, которые одновременно имеют определенное положение и импульс .
Этот принцип неопределенности справедлив и для многих других пар наблюдаемых величин. Например, энергия также не коммутирует с положением, поэтому невозможно точно определить положение и энергию электрона в атоме.
В 1928 году Альберт Эйнштейн выдвинул Гейзенберга, Борна и Джордана на Нобелевскую премию по физике . [23] Объявление о присуждении Нобелевской премии по физике за 1932 год было отложено до ноября 1933 года. [24] Именно в это время было объявлено, что Гейзенберг получил премию за 1932 год «за создание квантовой механики, применение которой, в частности , привело к открытию аллотропных форм водорода» [25] , а Эрвин Шредингер и Поль Адриен Морис Дирак разделили премию 1933 года «за открытие новых продуктивных форм атомной теории». [25]
Можно было бы задаться вопросом, почему Борн не был удостоен премии в 1932 году вместе с Гейзенбергом, и Бернстайн предлагает предположения по этому поводу. Одно из них касается вступления Джордана в нацистскую партию 1 мая 1933 года и становления штурмовиком . [26] Партийная принадлежность Джордана и его связи с Борном вполне могли повлиять на шансы Борна на премию в то время. Бернстайн далее отмечает, что когда Борн наконец получил премию в 1954 году, Джордан был еще жив, в то время как премия была присуждена за статистическую интерпретацию квантовой механики, приписываемую одному Борну. [27]
Реакция Гейзенберга на Борна, получившего премию Гейзенберга за 1932 год, и на Борна, получившего премию в 1954 году, также поучительна для оценки того, должен ли был Борн разделить премию с Гейзенбергом. 25 ноября 1933 года Борн получил письмо от Гейзенберга, в котором тот сказал, что задержался с написанием из-за «нечистой совести», что он один получил премию «за работу, проделанную в Гёттингене в сотрудничестве – вы, Йордан и я». Гейзенберг продолжил, сказав, что вклад Борна и Йордана в квантовую механику не может быть изменен «неправильным решением извне». [28]
В 1954 году Гейзенберг написал статью, в которой отдал дань уважения Максу Планку за его прозрение, сделанное в 1900 году. В этой статье Гейзенберг воздал должное Борну и Джордану за окончательную математическую формулировку матричной механики, а затем подчеркнул, насколько велик был их вклад в квантовую механику, который не был «должным образом признан в глазах общественности». [29]
После того, как Гейзенберг ввел матрицы для X и P , он мог находить их матричные элементы в особых случаях методом догадок, руководствуясь принципом соответствия. Поскольку матричные элементы являются квантово-механическими аналогами коэффициентов Фурье классических орбит, простейшим случаем является гармонический осциллятор , где классические положение и импульс, X ( t ) и P ( t ), являются синусоидальными.
В единицах, где масса и частота осциллятора равны единице (см. обезразмеривание ), энергия осциллятора равна
Уровни H — это орбиты по часовой стрелке, и они представляют собой вложенные окружности в фазовом пространстве. Классическая орбита с энергией E — это
Старое квантовое условие диктует, что интеграл P dX по орбите, который является площадью круга в фазовом пространстве, должен быть целым кратным постоянной Планка . Площадь круга радиусом √ 2 E равна 2 πE . Таким образом , или, в натуральных единицах , где ħ = 1 , энергия является целым числом.
Компоненты Фурье X ( t ) и P ( t ) просты, и тем более, если их объединить в величины A и A † имеют только одну частоту, а X и P можно восстановить из их суммы и разности .
Так как A ( t ) имеет классический ряд Фурье только с самой низкой частотой, а матричный элемент A mn является ( m − n ) -м коэффициентом Фурье классической орбиты, матрица для A отлична от нуля только на линии чуть выше диагонали, где она равна √ 2 E n . Матрица для A † также отлична от нуля только на линии ниже диагонали, с теми же элементами. Таким образом, из A и A † реконструкция дает и , которые, с точностью до выбора единиц, являются матрицами Гейзенберга для гармонического осциллятора. Обе матрицы являются эрмитовыми , поскольку они построены из коэффициентов Фурье действительных величин.
Найти X ( t ) и P ( t ) можно напрямую, поскольку они являются квантовыми коэффициентами Фурье, поэтому они просто изменяются со временем,
Матричное произведение X и P не является эрмитовым, но имеет действительную и мнимую части. Действительная часть составляет половину симметричного выражения XP + PX , тогда как мнимая часть пропорциональна коммутатору . Легко явно проверить, что XP − PX в случае гармонического осциллятора равно iħ , умноженному на тождество .
Аналогично легко проверить, что матрица является диагональной матрицей с собственными значениями E i .
Гармонический осциллятор является важным случаем. Нахождение матриц проще, чем определение общих условий из этих специальных форм. По этой причине Гейзенберг исследовал ангармонический осциллятор с гамильтонианом
В этом случае матрицы X и P больше не являются простыми недиагональными матрицами, поскольку соответствующие классические орбиты слегка сплющены и смещены, так что они имеют коэффициенты Фурье на каждой классической частоте. Для определения матричных элементов Гейзенберг потребовал, чтобы классические уравнения движения выполнялись как матричные уравнения,
Он заметил, что если бы это можно было сделать, то H , рассматриваемая как матричная функция X и P , имела бы нулевую производную по времени. где A ∗ B — антикоммутатор ,
Учитывая, что все недиагональные элементы имеют ненулевую частоту; постоянство H подразумевает, что H диагональна. Гейзенбергу было ясно, что в этой системе энергия может точно сохраняться в произвольной квантовой системе, что было весьма обнадеживающим признаком.
Процесс испускания и поглощения фотонов, казалось, требовал, чтобы сохранение энергии выполнялось в лучшем случае в среднем. Если волна, содержащая ровно один фотон, проходит над некоторыми атомами, и один из них поглощает его, этот атом должен сообщить другим, что они больше не могут поглощать фотон. Но если атомы находятся далеко друг от друга, никакой сигнал не может достичь других атомов вовремя, и они могут в конечном итоге поглотить тот же фотон и рассеять энергию в окружающую среду. Когда сигнал достигнет их, другие атомы должны будут каким-то образом вернуть эту энергию. Этот парадокс заставил Бора, Крамерса и Слейтера отказаться от точного сохранения энергии. Формализм Гейзенберга, расширенный для включения электромагнитного поля, очевидно, собирался обойти эту проблему, намек на то, что интерпретация теории будет включать коллапс волновой функции .
Требование сохранения классических уравнений движения не является достаточно сильным условием для определения матричных элементов. Постоянная Планка не появляется в классических уравнениях, так что матрицы могут быть построены для многих различных значений ħ и по-прежнему удовлетворять уравнениям движения, но с различными уровнями энергии.
Итак, для реализации своей программы Гейзенбергу нужно было использовать старое квантовое условие для фиксации уровней энергии, затем заполнить матрицы коэффициентами Фурье классических уравнений, затем немного изменить матричные коэффициенты и уровни энергии, чтобы убедиться, что классические уравнения удовлетворяются. Это явно неудовлетворительно. Старые квантовые условия относятся к области, ограниченной острыми классическими орбитами, которые не существуют в новом формализме.
Самое важное, что открыл Гейзенберг, — это то, как перевести старое квантовое условие в простое утверждение матричной механики.
Для этого он исследовал интеграл действия как матричную величину,
С этим интегралом связано несколько проблем, все из которых вытекают из несовместимости матричного формализма со старой картиной орбит. Какой период T следует использовать? Полуклассически это должен быть либо m, либо n , но разница составляет порядок ħ , и ищется ответ для порядка ħ . Квантовое условие говорит нам, что J mn равен 2π n на диагонали, поэтому тот факт, что J является классически постоянным, говорит нам, что недиагональные элементы равны нулю.
Его важнейшим открытием было дифференцирование квантового состояния по n . Эта идея имеет полный смысл только в классическом пределе, где n — не целое число, а непрерывная переменная действия J , но Гейзенберг выполнил аналогичные манипуляции с матрицами, где промежуточные выражения иногда являются дискретными разностями, а иногда производными.
В дальнейшем обсуждении для ясности дифференцирование будет производиться по классическим переменным, а переход к матричной механике будет осуществляться впоследствии, руководствуясь принципом соответствия.
В классической постановке производная является производной по J интеграла, который определяет J , поэтому она тавтологически равна 1. где производные dP / dJ и dX / dJ следует интерпретировать как разности по J в соответствующие моменты времени на соседних орбитах, что в точности соответствует тому, что было бы получено, если бы коэффициенты Фурье орбитального движения были дифференцированы. (Эти производные симплектически ортогональны в фазовом пространстве производным по времени dP / dt и dX / dt ).
Окончательное выражение поясняется введением переменной, канонически сопряженной с J , которая называется угловой переменной θ : Производная по времени является производной по θ с точностью до множителя 2π T , поэтому интеграл квантового условия является средним значением за один цикл скобки Пуассона X и P.
Аналогичное дифференцирование ряда Фурье P dX показывает, что все недиагональные элементы скобки Пуассона равны нулю. Скобка Пуассона двух канонически сопряженных переменных, таких как X и P , является постоянным значением 1, поэтому этот интеграл на самом деле является средним значением 1; так что он равен 1, как мы знали с самого начала, потому что в конце концов он равен dJ/dJ . Но Гейзенберг, Борн и Джордан, в отличие от Дирака, не были знакомы с теорией скобок Пуассона, поэтому для них дифференцирование эффективно оценивалось { X, P } в координатах J, θ .
Скобка Пуассона, в отличие от интеграла действия, имеет простой перевод в матричную механику — она обычно соответствует мнимой части произведения двух переменных, коммутатору .
Чтобы убедиться в этом, рассмотрим (антисимметризованное) произведение двух матриц A и B в пределе соответствия, где элементы матрицы являются медленно меняющимися функциями индекса, имея в виду, что ответ в классическом смысле равен нулю.
В пределе соответствия, когда индексы m , n велики и близки, а k , r малы, скорость изменения матричных элементов в диагональном направлении является матричным элементом производной J соответствующей классической величины. Таким образом, возможно сместить любой матричный элемент по диагонали через соответствие, где правая сторона на самом деле является только ( m − n )-й компонентой Фурье dA / dJ на орбите вблизи m этого полуклассического порядка, а не полной хорошо определенной матрицей.
Квазиклассическая производная по времени матричного элемента получается с точностью до множителя i путем умножения на расстояние от диагонали, поскольку коэффициент A m ( m + k ) является квазиклассическим k -м коэффициентом Фурье m -й классической орбиты.
Мнимую часть произведения A и B можно оценить, сдвинув элементы матрицы так, чтобы воспроизвести классический ответ, равный нулю.
Тогда ведущий ненулевой остаток полностью определяется сдвигом. Поскольку все элементы матрицы находятся в индексах, которые находятся на небольшом расстоянии от позиции большого индекса ( m , m ), это помогает ввести два временных обозначения: A [ r , k ] = A ( m + r )( m + k ) для матриц и ( dA / dJ )[ r ] для r'-х компонентов Фурье классических величин,
Перевернув переменную суммирования в первой сумме с r на r ′ = k − r , получаем матричный элемент, и становится ясно, что главная (классическая) часть сокращается.
Тогда главная квантовая часть, пренебрегая произведением производных высшего порядка в остаточном выражении, равна так что, наконец, что можно отождествить с i , умноженным на k -ю классическую компоненту Фурье скобки Пуассона.
Оригинальный трюк Гейзенберга с дифференциацией был в конечном итоге расширен до полного полуклассического вывода квантового условия в сотрудничестве с Борном и Джорданом. Как только они смогли установить, что это условие заменило и расширило старое правило квантования, позволяя определять матричные элементы P и X для произвольной системы просто из формы гамильтониана.
Новое правило квантования считалось универсально верным , хотя вывод из старой квантовой теории требовал полуклассических рассуждений. (Однако в 1940-х годах было признано, что полное квантовое рассмотрение для более сложных аргументов скобок равносильно расширению скобок Пуассона до скобок Мойала .)
Для перехода к стандартной квантовой механике наиболее важным дополнительным дополнением стал вектор квантового состояния , теперь записываемый как | ψ ⟩, который является вектором, на который действуют матрицы. Без вектора состояния неясно, какое конкретное движение описывают матрицы Гейзенберга, поскольку они включают все движения где-то.
Интерпретация вектора состояния, компоненты которого записываются как ψ m , была предоставлена Борном. Эта интерпретация является статистической: результат измерения физической величины, соответствующей матрице A, является случайным, со средним значением, равным Альтернативно, и эквивалентно, вектор состояния дает амплитуду вероятности ψ n для того, чтобы квантовая система находилась в энергетическом состоянии n .
После того, как был введен вектор состояния, матричную механику можно было вращать к любому базису , где матрица H больше не должна быть диагональной. Уравнение движения Гейзенберга в его первоначальной форме утверждает, что A mn эволюционирует во времени как компонент Фурье, который можно переписать в дифференциальной форме , и его можно переформулировать так, чтобы оно было верным в произвольном базисе, отметив, что матрица H диагональна с диагональными значениями E m , Теперь это матричное уравнение, поэтому оно справедливо в любом базисе. Это современная форма уравнения движения Гейзенберга.
Его формальное решение:
Все эти формы уравнения движения, приведенные выше, говорят об одном и том же: A ( t ) эквивалентно A (0) посредством базисного вращения посредством унитарной матрицы e iHt , систематическая картина, разъясненная Дираком в его скобочной нотации.
Наоборот, вращая базис для вектора состояния в каждый момент времени на e iHt , можно отменить зависимость от времени в матрицах. Матрицы теперь не зависят от времени, но вектор состояния вращается. Это уравнение Шредингера для вектора состояния, и это зависящее от времени изменение базиса равносильно преобразованию в картину Шредингера с ⟨ x | ψ ⟩ = ψ ( x ).
В квантовой механике в представлении Гейзенберга вектор состояния , | ψ ⟩ не меняется со временем, в то время как наблюдаемая величина A удовлетворяет уравнению движения Гейзенберга ,
Дополнительный термин предназначен для таких операторов , которые имеют явную зависимость от времени , в дополнение к зависимости от времени от обсуждаемой унитарной эволюции.
Картина Гейзенберга не различает время и пространство, поэтому она лучше подходит для релятивистских теорий, чем уравнение Шредингера. Более того, сходство с классической физикой более очевидно: уравнения движения Гамильтона для классической механики восстанавливаются путем замены коммутатора выше скобкой Пуассона (см. также ниже). По теореме Стоуна–фон Неймана , картина Гейзенберга и картина Шредингера должны быть унитарно эквивалентны, как подробно описано ниже.
Матричная механика быстро развилась в современную квантовую механику и дала интересные физические результаты по спектрам атомов.
Джордан отметил, что коммутационные соотношения гарантируют, что P действует как дифференциальный оператор .
Тождество оператора позволяет оценить коммутатор P с любой степенью X , и это подразумевает , что вместе с линейностью следует, что P -коммутатор эффективно дифференцирует любую аналитическую матричную функцию X.
Если предположить, что пределы определены разумно, то это распространяется на произвольные функции, но расширение не обязательно должно быть явным, пока не потребуется определенная степень математической строгости.
Поскольку X — эрмитова матрица, она должна быть диагонализируемой, и из конечной формы P будет ясно , что каждое действительное число может быть собственным значением. Это делает некоторые математические выкладки тонкими, поскольку для каждой точки пространства существует отдельный собственный вектор.
В базисе, где X диагонален, произвольное состояние можно записать как суперпозицию состояний с собственными значениями x , так что ψ ( x ) = ⟨ x | ψ ⟩, а оператор X умножает каждый собственный вектор на x ,
Определим линейный оператор D , который дифференцирует ψ , и заметим, что так, чтобы оператор − iD подчинялся тому же коммутационному соотношению, что и P. Таким образом, разность между P и − iD должна коммутировать с X , поэтому ее можно одновременно диагонализировать с X : ее значение, действующее на любое собственное состояние X, является некоторой функцией f собственного значения x .
Эта функция должна быть действительной, поскольку и P, и − iD являются эрмитовыми, вращая каждое состояние на фазу f ( x ) , то есть переопределяя фазу волновой функции: Оператор iD переопределяется на величину: что означает, что в повернутом базисе P равен − iD .
Следовательно, всегда существует базис для собственных значений X , где действие P на любую волновую функцию известно: и гамильтониан в этом базисе является линейным дифференциальным оператором на компонентах вектора состояния,
Таким образом, уравнение движения для вектора состояния представляет собой не что иное, как знаменитое дифференциальное уравнение,
Поскольку D является дифференциальным оператором, для того, чтобы он был разумно определен, должны быть собственные значения X , которые соседствуют с каждым заданным значением. Это предполагает, что единственная возможность состоит в том, что пространство всех собственных значений X — это все действительные числа, и что P — это iD, с точностью до фазового поворота .
Чтобы сделать это строгим, требуется разумное обсуждение предельного пространства функций, и в этом пространстве это теорема Стоуна–фон Неймана : любые операторы X и P , которые подчиняются коммутационным соотношениям, можно заставить действовать на пространстве волновых функций, где P — производный оператор. Это подразумевает, что картина Шредингера всегда доступна.
Матричная механика легко распространяется на многие степени свободы естественным образом. Каждая степень свободы имеет отдельный оператор X и отдельный эффективный дифференциальный оператор P , а волновая функция является функцией всех возможных собственных значений независимых коммутирующих переменных X.
В частности, это означает, что система из N взаимодействующих частиц в 3 измерениях описывается одним вектором, компоненты которого в базисе, где все X являются диагональными, является математической функцией 3 N -мерного пространства, описывающей все их возможные положения , фактически гораздо большим набором значений , чем простой набор N трехмерных волновых функций в одном физическом пространстве. Шредингер пришел к тому же выводу независимо и в конечном итоге доказал эквивалентность своего собственного формализма формализму Гейзенберга.
Поскольку волновая функция является свойством всей системы, а не какой-либо ее части, описание в квантовой механике не является полностью локальным. Описание нескольких квантовых частиц делает их коррелированными или запутанными . Эта запутанность приводит к странным корреляциям между удаленными частицами, которые нарушают классическое неравенство Белла .
Даже если частицы могут находиться только в двух положениях, волновая функция для N частиц требует 2 N комплексных чисел, по одному для каждой общей конфигурации положений. Это экспоненциально много чисел в N , поэтому моделирование квантовой механики на компьютере требует экспоненциальных ресурсов. И наоборот, это предполагает, что можно найти квантовые системы размера N , которые физически вычисляют ответы на задачи, для решения которых классически требуется 2 N бит. Это стремление, лежащее в основе квантовых вычислений .
Для независимых от времени операторов X и P , ∂ A /∂ t = 0 , поэтому уравнение Гейзенберга выше сводится к: [30] где квадратные скобки [ , ] обозначают коммутатор. Для гамильтониана, который есть , операторы X и P удовлетворяют: где первый классически является скоростью , а второй классически является силой , или градиентом потенциала . Они воспроизводят форму Гамильтона законов движения Ньютона . В картине Гейзенберга операторы X и P удовлетворяют классическим уравнениям движения. Вы можете взять математическое ожидание обеих сторон уравнения, чтобы увидеть, что в любом состоянии | ψ ⟩:
Итак, законы Ньютона точно соблюдаются ожидаемыми значениями операторов в любом заданном состоянии. Это теорема Эренфеста , которая является очевидным следствием уравнений движения Гейзенберга, но менее тривиальна в картине Шредингера, где Эренфест ее открыл.
В классической механике каноническое преобразование координат фазового пространства — это такое преобразование, которое сохраняет структуру скобок Пуассона. Новые переменные x ′, p ′ имеют те же скобки Пуассона друг с другом, что и исходные переменные x , p . Эволюция во времени — это каноническое преобразование, поскольку фазовое пространство в любой момент времени является таким же хорошим выбором переменных, как и фазовое пространство в любой другой момент времени.
Гамильтонов поток — это каноническое преобразование :
Поскольку гамильтониан может быть произвольной функцией x и p , существуют такие бесконечно малые канонические преобразования, соответствующие каждой классической величине G , где G служит гамильтонианом для генерации потока точек в фазовом пространстве для приращения времени s ,
Для общей функции A ( x , p ) на фазовом пространстве ее бесконечно малое изменение на каждом шаге ds при этом отображении равно Величина G называется бесконечно малым генератором канонического преобразования.
В квантовой механике квантовый аналог G теперь представляет собой эрмитову матрицу, а уравнения движения задаются коммутаторами,
Бесконечно малые канонические движения могут быть формально интегрированы, подобно тому, как было проинтегрировано уравнение движения Гейзенберга, где U = e iGs , а s — произвольный параметр.
Определение квантового канонического преобразования, таким образом, представляет собой произвольное унитарное изменение базиса в пространстве всех векторов состояния. U — произвольная унитарная матрица, комплексное вращение в фазовом пространстве. Эти преобразования оставляют сумму абсолютного квадрата компонент волновой функции инвариантной , в то время как они переводят состояния, которые являются кратными друг другу (включая состояния, которые являются мнимыми кратными друг другу), в состояния, которые являются одинаковыми кратными друг другу.
Интерпретация матриц заключается в том, что они действуют как генераторы движений в пространстве состояний .
Например, движение, генерируемое P , можно найти, решив уравнение движения Гейзенберга, используя P в качестве гамильтониана. Это переносы матрицы X на множитель единичной матрицы. Это интерпретация оператора производной D : e iPs = e D , экспонента оператора производной является переносом (то есть оператором сдвига Лагранжа ).
Оператор X также генерирует трансляции в P. Гамильтониан генерирует трансляции во времени , угловой момент генерирует вращения в физическом пространстве , а оператор X 2 + P 2 генерирует вращения в фазовом пространстве .
Когда преобразование, например, вращение в физическом пространстве, коммутирует с гамильтонианом, преобразование называется симметрией ( после вырождения) гамильтониана – гамильтониан, выраженный в терминах повернувшихся координат, совпадает с исходным гамильтонианом. Это означает, что изменение гамильтониана под действием бесконечно малого генератора симметрии L исчезает,
Из этого следует, что изменение генератора при переносе во времени также исчезает, так что матрица L постоянна во времени: она сохраняется.
Взаимно-однозначная связь бесконечно малых генераторов симметрии и законов сохранения была открыта Эмми Нётер для классической механики, где коммутаторы являются скобками Пуассона , но квантово-механические рассуждения идентичны. В квантовой механике любое унитарное преобразование симметрии приводит к закону сохранения, поскольку если матрица U обладает свойством , то отсюда следует, что и что производная по времени от U равна нулю – она сохраняется.
Собственные значения унитарных матриц являются чистыми фазами, так что значение унитарной сохраняющейся величины является комплексным числом единичной величины, а не действительным числом. Другими словами, унитарная матрица является экспонентой i , умноженной на эрмитову матрицу, так что аддитивная сохраняющаяся действительная величина, фаза, хорошо определена только до целого числа, кратного 2π . Только когда унитарная матрица симметрии является частью семейства, которое произвольно приближается к тождеству, сохраняющиеся действительные величины являются однозначными, и тогда требование их сохранения становится гораздо более строгим ограничением.
Симметрии, которые могут быть непрерывно связаны с тождеством, называются непрерывными , и трансляции, вращения и усиления являются примерами. Симметрии, которые не могут быть непрерывно связаны с тождеством, являются дискретными , и операция пространственной инверсии, или четности , и сопряжения зарядов являются примерами.
Интерпретация матриц как генераторов канонических преобразований принадлежит Полю Дираку. [31] Юджин Вигнер показал, что соответствие между симметриями и матрицами является полным, если включить антиунитарные матрицы, описывающие симметрии, включающие обращение времени.
Гейзенбергу было физически ясно, что абсолютные квадраты матричных элементов X , которые являются коэффициентами Фурье колебания, дадут скорость испускания электромагнитного излучения.
В классическом пределе больших орбит, если заряд с позицией X ( t ) и зарядом q колеблется рядом с равным и противоположным зарядом в позиции 0, мгновенный дипольный момент равен q X ( t ) , а изменение этого момента во времени напрямую переводится в пространственно-временное изменение векторного потенциала, что приводит к вложенным исходящим сферическим волнам.
Для атомов длина волны излучаемого света примерно в 10 000 раз больше атомного радиуса, а дипольный момент является единственным вкладом в радиационное поле, в то время как все остальные детали распределения атомного заряда можно игнорировать.
Игнорируя обратную реакцию, мощность, излучаемая в каждой исходящей моде, представляет собой сумму отдельных вкладов квадрата каждой независимой временной моды Фурье d ,
Теперь, в представлении Гейзенберга, коэффициенты Фурье дипольного момента являются матричными элементами X. Это соответствие позволило Гейзенбергу установить правило для интенсивностей переходов, доли времени, в течение которого, начиная с начального состояния i , испускается фотон и атом переходит в конечное состояние j ,
Это позволило затем статистически интерпретировать величину матричных элементов: они дают интенсивность спектральных линий, вероятность квантовых скачков при испускании дипольного излучения .
Поскольку скорости перехода задаются матричными элементами X , то везде, где X ij равен нулю, соответствующий переход должен отсутствовать. Это называлось правилами отбора , которые были загадкой до появления матричной механики.
Произвольное состояние атома водорода, игнорирующее спин, обозначается как | n ; ℓ , m ⟩, где значение ℓ является мерой полного орбитального углового момента, а m является его z -компонентой, которая определяет ориентацию орбиты. Компоненты псевдовектора углового момента являются , где произведения в этом выражении не зависят от порядка и действительны, поскольку различные компоненты X и P коммутируют.
Легко найти коммутационные соотношения оператора L со всеми тремя координатными матрицами X , Y , Z ( или с любым вектором), что подтверждает, что оператор L генерирует вращения между тремя компонентами вектора координатных матриц X.
Отсюда можно прочитать коммутатор L z и координатные матрицы X , Y , Z,
Это означает, что величины X + iY , X − iY имеют простое правило коммутации,
Так же, как и матричные элементы X + iP и X − iP для гамильтониана гармонического осциллятора, этот закон коммутации подразумевает, что эти операторы имеют только определенные недиагональные матричные элементы в состояниях определенного m , что означает, что матрица ( X + iY ) переводит собственный вектор L z с собственным значением m в собственный вектор с собственным значением m + 1. Аналогично, ( X − iY ) уменьшает m на одну единицу, в то время как Z не изменяет значение m .
Итак, в базисе | ℓ , m ⟩ состояний, где L 2 и L z имеют определенные значения, матричные элементы любого из трех компонентов позиции равны нулю, за исключением случаев, когда m остается тем же самым или изменяется на одну единицу.
Это накладывает ограничение на изменение полного углового момента. Любое состояние можно повернуть так, чтобы его угловой момент находился в направлении z как можно больше, где m = ℓ . Матричный элемент положения, действующий на | ℓ , m ⟩, может производить только значения m , которые больше на одну единицу, так что если координаты повернуть так, чтобы конечное состояние было | ℓ',ℓ' ⟩, значение ℓ' может быть не более чем на единицу больше, чем наибольшее значение ℓ, которое возникает в начальном состоянии. Таким образом, ℓ ' не более ℓ + 1.
Матричные элементы обращаются в нуль при ℓ ' > ℓ + 1 , а обратный матричный элемент определяется эрмитовостью, поэтому они обращаются в нуль также при ℓ' < ℓ − 1: Дипольные переходы запрещены при изменении углового момента более чем на одну единицу.
Уравнение движения Гейзенберга определяет матричные элементы P в базисе Гейзенберга из матричных элементов X , что превращает диагональную часть коммутационного соотношения в правило сумм для величины матричных элементов:
Это дает соотношение для суммы спектроскопических интенсивностей в и из любого заданного состояния, хотя для полной корректности в сумму необходимо включить вклады вероятности радиационного захвата для состояний несвязанного рассеяния: