Нужно ли нам разложить потенциал в ряд по степеням, чтобы показать [x,V(x)]=0[x,V(x)]=0[x, V(x)] = 0?

Сегодня на уроке (Введение в QM) мы рассмотрели пару коммутаторов. Среди них был [ Икс , В ] , где В "=" В ( Икс ) является потенциалом. То, что учитель сказал, чтобы доказать, что это ноль, было: давайте предположим, В аналитична и может быть разложена в степенной ряд. Тогда мы можем взять коммутатор Икс и каждый член ряда, а так как [ Икс , Икс н ] "=" 0 все равно нулю.

Я сразу подумал о чем-то гораздо более простом: в координатном пространстве оба Икс и В это просто умножение. Для любой функции ψ , Икс В ψ "=" В Икс ψ тривиально, потому что мы просто берем продукты. Поэтому они коммутируют.

Что-то не так с моими рассуждениями?

Мне кажется, что ваше решение предполагает [ Икс , В ] "=" Икс В В Икс "=" 0 априори и фактически не доказывает этого.
В этом нет ничего плохого, но давайте поточнее. Рассмотрим функцию ψ из Икс (и опционально из т ). В этом случае у вас есть по определению: Икс ψ ( Икс ) "=" Икс ψ ( Икс ) и В ( Икс ) ψ ( Икс ) "=" В ( Икс ) ψ ( Икс ) . Коммутация очевидна. Для функции п (и опционально из т ), у вас будет Икс ψ ( п ) "=" я п ψ ( п ) , и В ( Икс ) ψ ( п ) "=" В ( я п ) ψ ( п ) , и коммутация тоже очевидна.

Ответы (2)

В ваших рассуждениях нет ничего плохого; проблема в том, что ваше исходное предположение о том, что потенциал можно рассматривать как оператор умножения, необходимо обосновать. Вот почему:

Рассмотрим потенциальный оператор В действующий на государство | ψ . Позволять Икс обозначают позиционный оператор. Определение позиционного пространственного представления В действующий на волновую функцию пространственного положения ψ как следует:

В ψ ( Икс ) "=" Икс | В | ψ
Как вы заметили, если бы мы могли каким-то образом показать, что существует некоторая функция В ~ такой, что
( ) В ψ ( Икс ) "=" В ~ ( Икс ) ψ ( Икс )
тогда у нас было бы
Икс В ψ ( Икс ) "=" Икс ( В ~ ( Икс ) ψ ) ( Икс ) "=" В ~ ( Икс ) Икс ψ ( Икс ) "=" В ~ ( Икс ) Икс ψ ( Икс )
в то время как у нас также было бы
В Икс ψ ( Икс ) "=" В ( Икс ψ ) ( Икс ) "=" Икс В ψ ( Икс ) "=" Икс В ~ ( Икс ) ψ ( Икс ) "=" В ~ ( Икс ) Икс ψ ( Икс )
что дало бы Икс В "=" В Икс по желанию. Дело в том, что это свойство ( ) не приходит бесплатно из приведенного выше определения. Если, однако, В например, определяется как некоторая аналитическая функция В ~ оператора положения, то это свойство (по модулю некоторых математических тонкостей) выполняется, потому что для любой положительной целочисленной степени н из Икс , надо
Икс н ψ ( Икс ) "=" Икс | Икс н | ψ "=" Икс н Икс | ψ "=" Икс н ψ ( Икс )
действуя Икс слева неоднократно. Затем это используется для каждого члена в разложении степенного ряда В в Икс получить собственность ( ) .

Примечание. Я немного злоупотребляю обозначениями и использую тот же символ В для позиционного оператора и его позиционного пространственного представления.

Есть ли случай, когда потенциальный оператор не является просто умножением?
@JavierBadia Ну, я не уверен в случаях, которые физически хорошо мотивированы, но математически такие вещи действительно легко придумать. Самый простой способ, который я могу придумать, - это предположить, что потенциал зависит от п также. Затем вы можете спросить, есть ли способ сделать так, чтобы он зависел только от оператора положения и при этом не был бы умножением. Что ж, в таком случае вам нужно было бы как-то определить, что значит для оператора быть неаналитической функцией другого оператора, и я не уверен, как это будет работать.
@JavierBadia На самом деле я даже не уверен, что неаналитические функции Икс (что бы это ни значило), было бы достаточно хорошо. В любом случае, это как-то не по делу.
@JavierBadia: в импульсной основе для вашего состояния это определенно не умножение.

Я согласен с ответом joshphysic , что ваши рассуждения верны, но вам нужно обосновать В ( Икс ) является оператором умножения (то есть в пространстве позиций).

Может быть, мой взгляд на это может помочь: я считаю, что в таких вопросах, как физические мотивы, они имеют тенденцию быть наиболее интеллектуально полезными.

Вероятно, вы имеете дело с первым квантованным волновым уравнением с «полуклассической» моделью взаимодействия с внешним миром — скажем, с уравнением Шрёдингера или Дирака с консервативным потенциалом, накладываемым на гамильтониан квантовой частицы центральным, приблизительно неподвижным заряженным ядром. Квантовая природа происхождения этого потенциала для простоты игнорируется — иначе мы имели бы дело с квантовой проблемой многих тел.

Итак, как только собственное значение Икс наблюдаемого положения Икс было измерено путем применения наблюдаемой к состоянию квантовой частицы, стандартные квантовые постулаты говорят, что частица должна находиться в собственном состоянии положения, соответствующем Икс . Таким образом, в момент сразу после измерения положение частицы определено, и поэтому единственное разумное значение, которое мы можем постулировать для измерения «потенциальной энергии», равно в ( Икс ) , где в ( Икс ) является классической потенциальной функцией, и значение классического потенциала является определенным на момент после измерения, как только мы знаем, что положение Икс .

Аналогично для любого другого измерения положения с собственным состоянием положения.

Следовательно, мы видим, что каждое собственное состояние положения является собственным состоянием наблюдаемой, которую нам нужно построить для квазиклассического потенциала, а поскольку собственные состояния положения являются полными, т. е. любое квантовое состояние является суперпозицией этих состояний, то мы видим, что мы только что полностью определили диагонализация наблюдаемой потенциальной энергии. А именно, он диагональен в позиционных координатах, т.е. является оператором умножения В ψ ( Икс ) "=" в ( Икс ) ψ ( Икс ) .

Ваш основной результат также следует из рассмотрения того факта, что собственные состояния положения делают квазиклассический потенциал определенным, т. е. все они являются собственными состояниями и единственными собственными состояниями для потенциала. При подходящих разумных предположениях об операторах и квантовом пространстве состояний операторы коммутируют тогда и только тогда, когда они имеют одни и те же собственные состояния.