М.Г. Иванов - Как понимать квантовую механику, страница 20
Описание файла
PDF-файл из архива "М.Г. Иванов - Как понимать квантовую механику", который расположен в категории "". Всё это находится в предмете "квантовые вычисления" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 20 страницы из PDF
Д ИРАКОВСКИЕОБОЗНАЧЕНИЯ83• Нельзя складывать между собой объекты разных типов (кет-векторыс бра-векторами, и те и другие с операторами, а также волновые функции/операторы, соответствующие различным физическим системам).4.3.2. Комбинации основных блоков и их значение• φ||ψ = φ|ψ = (|φ)† |ψ — брекет = бра·кет — умножение строкина столбец — скалярное произведение φ на ψ (обе волновых функциидолжны описывать одинаковые физические системы) (см. (4.8), сравните с (4.14)) является числом и может свободно переставляться совсеми другими множителями;• ψ|ψ = ψ2 — скалярный квадрат (квадрат нормы) вектора ψ;• Â|ψ — действие оператора слева на кет-вектор даёт снова кетвектор (может обозначаться просто как Âψ).
Данная операция линейна:Â(α|ψ + β|φ) = αÂ|ψ + β Â|φ (сравните с (4.10));• ψ| — действие оператора справа на бра-вектор даёт снова бравектор (может обозначаться просто как ψ † Â). Данная операция линейна: (αψ| + βφ|) = αψ| + βφ| (сравните с (4.11));• φ|Â|ψ = φ|Âψ = Aφψ — матричный элемент оператора представляет собой число (сравните с (4.13)). Матричный элемент можно рассматривать как:– произведение бра-вектора φ| на кет-вектор |ψ,– произведение бра-вектора φ| на кет-вектор Â|ψ,– скалярное произведение φ на Âψ;• ψ|Â|ψ, когда  = † (про эрмитово сопряжение в дираковских обозначениях см.
ниже), ψ|ψ = 1 — среднее значение наблюдаемой A посостоянию ψ;• |ψφ| — кет-бра произведение представляет собой оператор (сравнитес 4.15).– Оператор |ψφ| может действовать слева направо на кет-вектор |χ:(|ψφ|)|χ = |ψ φ|χ = φ|χ|ψ. (4.16)число– Оператор |ψφ| может действовать справа налево на бра-вектор λ|:λ|(|ψφ|) = λ|ψφ|; число(4.17)84ГЛАВА 4• |ψ|φ = |ψ ⊗ |φ — произведение кет-кет соответствует тензорномупроизведению ψ ⊗ φ и представляет собой кет-вектор, описывающийсистему, состоящую из двух подсистем: 1-я находится в состоянии |ψ,а 2-я в состоянии |φ (см. (4.1), (4.2));• φ|ψ| = φ| ⊗ ψ| = (|ψ|φ)† — произведение бра-бра соответствуеттензорному произведению сопряжённых волновых функций (бра-векторов) и представляет собой бра-вектор, описывающий систему, состоящую из двух подсистем, при этом порядок сомножителей берётсяобратным по отношению к произведению кет-кет, описывающим ту жесоставную систему (см.
ниже правило для эрмитового сопряжения).• |φx = |x — базисный вектор с номером x. Для разных базисов вместоφ и x могут использоваться другие буквы. Базисы различаются либопо букве, вставленной вместо φ, либо (в сокращённой записи вида |x)по алфавиту (или участку алфавита) из которого взят номер вектора x.• Номер x часто выбирают собственным числом эрмитового оператора,который часто обозначают той же буквой в шляпке: x̂. В этом случаеx̂|x = x|x, т. е. x̂|φx0 = x0 |φx0 .• ψ(x) = φx |ψ = x|ψ — компонента вектора ψ с номером x = значение волновой функции ψ для аргумента x.4.3.3. Эрмитово сопряжениеЭрмитово сопряжение обозначается значком «†» и выполняется по следующим правилам (здесь a, b, c — комплексные числа, бра-векторы, кетвекторы, операторы и их всевозможные разрешённые комбинации):• (a† )† = a,• α† = α∗ , α ∈ C — эрмитово сопряжение числа совпадает с комплексным сопряжением,• (a + b)† = a† + b† — сумма сопрягается поэлементно,• (abc .
. . )† = . . . c† b† a† — при сопряжении произведения надо сопрячькаждый множитель и изменить их порядок на противоположный,• (|ψ)† = ψ|,• (ψ|)† = |ψ.Приведём некоторые примеры:• φ|Â|ψ† = φ|Â|ψ∗ = A∗φψ = A†ψφ = ψ|† |φ — это тождествовыполняется для любых пар волновых функций ψ и φ, при этом верно4.4. У МНОЖЕНИЕСПРАВА , СЛЕВА ,.
. . СВЕРХУ,СНИЗУ И НАИСКОСОК **85обратное, если φ|Â|ψ∗ = A∗φψ = Bψφ = ψ|B̂|φ, для всех пар ψ, φ(достаточно проверить это для базисных волновых функций), то B == A† (сравните с эрмитовым сопряжением из раздела 4.2),• (|ψφ|)† = |φψ|,• (φ|ψ)† = (φ|ψ)∗ = ψ|φ, число••••(Â|ψ)† = ψ|† = Âψ|,(ψ|Â)† = † |ψ,(|ψ|φ)† = φ|ψ|,(φ|ψ|)(|χ|κ) = φ|ψ||χ|κ = φ| ψ|χ |κ = ψ|χφ||κ = число= ψ|χ φ|κ. числочисло4.4. Умножение справа, слева, . .
. сверху, снизуи наискосок**Мы привыкли записывать формулы в строчку. Точнее, если мы записываем член, строящийся с помощью привычного коммутативного умножения, мы «валим» все множители в кучу, не обращая внимание на их порядок. Можно сказать, что для обычного коммутативного умножения множители пишутся не в строчку, а «в точку».Для умножения некоммутативного множители пишутся уже именнов строчку: порядок множителей уже важен.
Каждый сомножитель, еслирасписать его покомпонентно, имеет один или два индекса (дискретныхили непрерывных), и мы аккуратно соединяем сомножители в цепочку попарно, приравнивая второй индекс первого сомножителя первому индексувторого и суммируя (интегрируя) по ним:(ABC)il =Aij Bjk Ckl .jkТакое умножение компонент с суммированием (интегрированием) по соответствующим парам индексов и даёт нам некоммутативное умножение матриц (операторов). Для такого умножения порядок сомножителей уже важен(от него зависит, какие индексы попадают в пару друг другу) и матрица A86ГЛАВА 4может действовать умножением на B как слева AB, так и справа BA:(AB)ik =Aij Bjk ,(BA)ik =jBij Ajk .jОднако существуют объекты, компоненты которых нумеруются болеечем двумя индексами.
Многочисленные примеры таких объектов даёт намтензорное исчисление. Впрочем, и в квантовой теории используется тензорное умножение, например при построении волновой функции сложнойсистемы из волновых функций её частей.Если объект имеет более двух индексов, то возникает неоднозначностьв том, какие два из них использовать при построении цепочки матричныхумножений. Кроме того, даже после того, как мы договорились, какой индекс мы считаем «первым», а какой «последним», такой объект, вставленный в цепочку, несёт ещё какие-то свободные индексы, по которым егоможно умножить («сверху»? «снизу»? «наискосок»?) ещё на что-то:DABCn=iljkmAijDm nBj m k Ckl =Aij Bj m k Ckl Dm n .jkmПодобные «ветвящиеся строчки» действительно возникают в квантовой механике.Записывать такие «неодномерные» произведения можно по-разному:• Можно на языке дираковских обозначений. Это часто удобно, хотянеобходимость упорядочить все множители в одну строчку и привносит неоднозначность.• Можно использовать индексные обозначения в тензорном духе.
Этотоже часто удобно. Вся информация о порядке множителей при этомшифруется в индексах и сомножители можно писать в строчку в произвольном порядке и свободно переставлять. По существу такие обозначения сводят «неодномерное» умножение к обычному коммутативному.• Наконец, существуют различные диаграммные обозначения, при которых сомножители произвольно располагаются на рисунке и соединяются линиями, обозначающими пары соответствующих индексов.Такие обозначения наиболее наглядны, тем более что часто формула, описывающая процесс, совпадает с рисунком, этот процесс4.4.
У МНОЖЕНИЕСПРАВА , СЛЕВА ,. . . СВЕРХУ,СНИЗУ И НАИСКОСОК **87изображающим. (Пример такого рода — эквивалентность формулы (3.13) и рис. 3.5, см. также 3.2 «Возможно всё, что может произойти(ф*)».)Ниже мы проиллюстрируем конкретными примерами все три подхода.4.4.1. Диаграммные обозначения*В диаграммных обозначениях объекты (волновые функции, операторы, матрицы плотности) представляются в виде узлов, в которых сходитсяопределённое (для каждого сорта объекта) число линий. Вы можете себепредставить такой объект как некое электронное устройство, из которого торчит k проводков. Каждый из проводков соответствует непрерывномуили дискретному индексу (аргументу).Проводки можно соединять попарно, причём соединяемые проводкимогут относиться как к разным узлам, так и к одному узлу.
Такое соединение обозначает приравнивание соответствующих индексов и суммирование/интегрирование по всему их диапазону.Однако проводки бывают разных сортов и соединяются они по следующим правилам:• Каждый индекс/проводок является либо бра-, либо кет-индексом. Соединять между собой можно только бра и кет.• Каждый индекс/проводок имеет свою область определения. Для соединяемых проводков области определения должны совпадать.• В некоторых случаях изоморфные области, определения относящиесяк разным степеням свободы или разным наблюдаемым считаются различными, например, области определения координат x и y изоморфны R, но нам удобно считать, что это разные экземпляры вещественной оси, и запретить соединять соответствующие проводки/индексы.Тем более естественно считать различными области определения координатной и импульсной переменных.• В некоторых случаях удобно проводки/индексы объединять в многожильные кабели/мультииндексы.
Например, если у нас имеется частица со спином, то может быть удобно объединить все три координатычастицы и проекцию спина в один кабель/мультииндекс r = (x, y, z, σ).• Иногда линии (или выходы узлов) полезно подписывать соответствующими буквенными индексами, чтобы не перепутать порядок индексови упростить перевод формул в другие обозначения.88ГЛАВА 4Таким образом, в диаграммных обозначениях формулы представляются в виде диаграмм. Если диаграмма состоит из нескольких несвязанныхкусков, то подразумевается, что они умножаются друг на друга.Диаграмма, в свою очередь, может рассматриваться как узел, несущийвсе внешние (оставшиеся не соединёнными) линии/проводки. Если у диаграммы нет внешних линий, то это число.Диаграммы с одинаковым набором внешних линий образуют линейноепространство (их можно умножать на комплексные числа и складывать).4.4.2. Тензорные обозначения в квантовой механике*Если вы собираете сложную электронную схему без печатной платы,просто паяя проводки, торчащие из многочисленных узлов, то вам можетбыть удобнее вместо схемы, изображающей ход проводков, просто пометить соответствующие проводки одинаковыми метками.Этому подходу соответствуют тензорные обозначения: узлы (буквы)несут верхние кет-индексы и нижние бра-индексы.