Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Покажем, что алгебра наблюдаемых \( \mathfrak{A} \) может быть реализована как алгебра самосопряженных операторов в конечномерном комплексном пространстве \( \mathbf{C}^{n} \). Векторы пространства \( \mathbf{C}^{n} \) будем обозначать греческими буквами \( \xi, \eta, \varphi, \psi, \ldots \). Напомним основные свойства скалярного произведения: Здесь \( \lambda \)-комплексное число. где \( \delta_{i j} \) – символ Кронекера. Вектор \( \xi \) однозначно определяется числами \( \xi_{1}, \ldots, \xi_{n} \) Если выбран базис, то тем самым выбрана конкретная реализация для векторов или задано представление. Пусть \( e_{1}, \ldots \) \( \ldots, e_{n} \) – базис, тогда векторы тоже образуют базис, если матрица \( U=\left\{U_{i k}\right\} \) обратима и Матрица, для элементов которой справедливо равенство (5), называется унитарной. Переход от одного базиса к другому есть унитарное преобразование. Если выбрано представление, то для скалярного произведения справедлива формула Операторы в заданном базисе представляются матрицами Действительно, пусть \( \eta=A \xi \), тогда \( \eta_{i}=\left(A \xi, e_{i}\right)=\left(A \sum_{k=1}^{n} \xi_{k} e_{k}, e_{i}\right)= \) \( =\sum_{k=1}^{n} \xi_{k}\left(A e_{k}, e_{i}\right)=\sum_{k=1}^{n} A_{i k} \xi_{k} \). Оператор \( A^{*} \) называется сопряжен- ным оператору \( A \), если для любой пары векторов \( \xi \) и \( \eta \) справедливо равенство Очевидно, что \( A_{i k}^{*}=\bar{A}_{k i} \). Оператор называется самосопряженным, если \( A^{*}=A \). Для самосопряженного оператора \( A_{i k}= \) \( =\widetilde{A}_{k i} \). Непосредственно из определения сопряженного оператора следуют равенства где \( \alpha \) – комплексное число. Следующая наша задача – научиться строить функции от наблюдаемых. Можно предположить, что здесь годится обычное определение функции от оператора. Это предположение мы сможем оправдать после того, как научимся строить вероятностные распределения для наблюдаемых в квантовой механике. Тогда мы сумеем проверить формулу \( \omega_{f(A)}(E)=\omega_{A}\left(f^{-1}(E)\right) \), эквивалентную общему определению функции от наблюдаемой, данному в предыдущем параграфе. Напомним, что существует несколько эквивалентных определений функции от оператора. Если для \( f(x) \) на всей вещественной оси справедливо разложение в степенной ряд то \( f(A) \) определяется формулой Второе определение использует существование у самосопряженных операторов собственного базиса * Здесь \( \varphi_{i} \) – собственные векторы, \( \left(\varphi_{i}, \varphi_{i}\right)=\delta_{i j} \), а \( a_{i} \) – собственные значения оператора \( A \). Для определения линейного оператора \( f(A) \) достаточно определить результат действия \( f(A) \) на векторы базиса. По определению В собственном базисе матрица \( A \) диагональна, и на диагонали стоят собственные значения, т. е. \( A_{i j}=a_{i} \delta_{i j} \). В этом же представлении \( [f(A)]_{i j}=f\left(a_{i}\right) \hat{\delta}_{i j} \). Заметим, что вещественной функции соответствует самосопряженный оператор, т. е. \( f(A) \in \) \( \in \mathfrak{A} \). Операция \( A \circ B \) определяется формулой (4.6), которая для самосопряженных операторов имеет вид Самосопряженность оператора \( A \circ B \) очевидна. Все эти свойства проверяются непосредственным вычислением. Заметим, что свойство 3) справедливо и для несимметризованного произведения. Действительно, Мы видим, что коммутатор обладает свойствами лиевской операции, но \( [A, B] \) не является самосопряженным оператором, т. е. \( [A, B] € \Re \). Однако выражение \( (i / h)[A, B] \), которое отличается от коммутатора чисто мнимым множителем \( i / h \), удовлетворяет всем требованиям. Отметим, что алгебры \( \mathfrak{A} \), построенные с разными постоянными \( h \), неизоморфны друг другу. Выбор \( h \) может быть сделан только после сравнения теории с экспериментом. Это сравнение показывает, что константа \( h \) совпадает с постоянной Планка. В дальнейшем мы будем использовать обозначение и называть \( \{A, B\}_{h} \) квантовой скобкой Пуассона. Интересно отметить, что в классической механике мы могли бы вместо определить скобку Пуассона равенством где \( \alpha \)-вещественная постоянная. Нетрудно видеть, однако, что новое определение скобки Пуассона в классической механике приведет к алгебре изоморфной исходной. Действительно, замена переменных \( p=\sqrt{|\alpha|} p^{\prime}, q=\operatorname{sign} \alpha \sqrt{|\alpha|} q^{\prime} \) возвращает нас к старому определению. Важную роль в квантовой механике играет след оператора \( \operatorname{Tr} A \). По определению Напомним основные свойства этой операции. След не зависит от выбора базиса. В частности, если взять собственный базис оператора \( A \), то След произведения двух операторов не зависит от порядка сомножителей В случае большего числа сомножителей допустима их циклическая перестановка под знаком \( \mathrm{Tr} \) След самосопряженной матрицы – вещественное число, так как собственные значения ее вещественны.
|
1 |
Оглавление
|