Это может быть глупый вопрос, но мне любопытно, откуда берутся лестничные операторы в квантовой механике. Например, во вводных текстах по квантовой механике они пытаются решить проблему собственного значения/собственного состояния для углового момента. В процессе вы найдете коммутационные соотношения
Происхождение лестничных операторов — теория представлений групп Ли и алгебр Ли .
Группы Ли представляют собой наборы непрерывных преобразований с групповой структурой . Каждое непрерывное преобразование данной группы идентифицируется как элемент группы. В физике эти элементы или преобразования важны, потому что они отображаются в преобразованиях симметрии, таких как симметрия вращения, которая дает начало группе вращения. Последнее имеет отношение к теории углового момента.
Из-за гладкого характера этих множеств (на самом деле группы Ли являются многообразиями) можно изучить небольшую область рядом с единицей группы и увидеть, как натянуто многообразие. Это делается через так называемые генераторы группы. Эти образующие удовлетворяют некоторым условиям, в частности коммутационным соотношениям, и образуют алгебру Ли . Бывает, что большую часть информации о группе (хотя и не всю) можно получить, просто изучая алгебру (то есть локальную структуру группы).
Многие из наиболее важных алгебр Ли в физике представляют собой так называемые компактные полупростые алгебры Ли. Для этих алгебр можно разложить образующие на два подмножества: алгебра Картана (максимальное множество линейно независимых образующих которые коммутируют между собой) и ступенчатые или лестничные операторы . В целом они удовлетворяют
Образующие, как и любой элемент (групповой или алгебраический), в принципе абстрактны и определяются только своими действиями (например, заданным вращением) или своими коммутационными соотношениями. Чтобы сделать вещи более явными или (что еще более важно) для того, чтобы «сопоставить» эти группы и алгебру с физическими теориями, необходимо принять определенное представление.
Учитывая линейное представление , группы или элементы алгебры теперь отображаются в линейные операторы, которые действуют на линейных пространствах. Векторы этого линейного пространства обычно отождествляются с физическими состояниями, поэтому важно найти линейно независимые векторы. Это достигается теорией представлений почти таким же образом для любой компактной полупростой алгебры Ли, с помощью лестничных операторов. Последовательно воздействуя ими на данное состояние, мы можем получить все состояния теории (или все состояния представления).
Представьте, что у вас есть электрон, который находится в состоянии покоя. Мы знаем, что у электрона есть два возможных значения для измерения его спина в направлении z: +1/2 и -1/2. Тогда гильбертово пространство для описания электрона имеет два базисных состояния: и которые удовлетворяют .
Теперь предположим, что мы знаем, что электронная система излучает фотон, и, в частности, она излучает фотон с круговой поляризацией в направлении z. Затем этот фотон уносит одну единицу углового момента в направлении z. Каково конечное состояние спина электрона? Оно должно быть на единицу меньше, чем раньше.
Таким образом, возникает вопрос, какой оператор связан с этим фотонным процессом? Какой оператор переводит нас из начального состояния электрона в конечное состояние электрона? Мы ищем такой, что . Каким бы ни был оператор, он должен снизить значение на одну единицу. То есть, . Чтобы это устроить, нам нужно , для всех возможных начальных . Это означает, что .
Можем ли мы построить оператор, обладающий этим свойством? Ответ да: делает работу. Аналогично можно найти оператор, увеличивающий спин на единицу: . Фотоны, уносящие угловой момент в направлении +z, должны соединяться в гамильтониане, чтобы и фотоны, несущие угловой момент в направлении -z, соединяются с .
Это физическая мотивация для повышения и понижения операторов. Есть также очень важные математические мотивы. Оказывается, многие полезные операторные алгебры могут быть полностью поняты в терминах диагональных операторов (таких как ) и операторы повышения и понижения, которые перемещаются между различными собственными состояниями.
В основном это возникает, когда у нас есть коммутационное соотношение оператора спина и оператора лестницы (мы пришли к результату)
Обратите внимание, что
пользователь140606