Чему равно частное двух квантовых операторов?

Вероятно, полезно объяснить контекст, который привел меня к этому вопросу. Нам задали следующий вопрос:

Написав л 2 "=" я Дж к л м ϵ я Дж к Икс Дж п к ϵ я л м Икс л п м покажи то:

п 2 "=" л 2 р 2 + 1 р 2 { ( р п ) 2 я ( р п ) }

Я дошел до этого момента:

л 2 "=" р 2 п 2 ( р п ) 2 + я р п

Однако теперь мой вопрос в том, могу ли я просто разделить на р 2 и если да, то как интерпретируется деление двух квантовых операторов? После всего л , р , п все это квантовые операторы, поэтому я очень беспокоюсь о том, чтобы просто применить «обычные» правила алгебры и положить этому конец.

Вы должны быть в состоянии показать, что л 2 коммутирует с р 2 - это функция только θ и φ, поэтому не имеет значения, умножаете ли вы на обратную слева или справа. Что касается этих двух операторов, то они являются «числами друг для друга».
@Cosmas, он коммутирует с квадратом L, но коммутирует ли он с п 2 ? А как насчет двух других терминов? Наличие воображаемого термина является неопровержимым признаком того, что некоторые термины не коммутируют, поэтому любое переключение порядка должно выполняться очень осторожно.
@Emilio Эмилио, я сильно подозреваю, что весь смысл этого упражнения в том, чтобы помочь ОП оценить [ л 2 , р ] "=" 0 даже если коммутативность отдельных частей не работает ... то же самое происходит и с частями гамильтониана ... р 2 можно разделить целое л 2 слева или справа. Но любые ожидания, что он может/должен разделить отдельные части, неуместны.
@CosmasZachos Но это умножение отдельных частей ─ в частности, п 2 LHS конечного результата, который не коммутирует с р 2 если бы я не испортил свои заводские коммутаторы.
@Эмилио Ну, л 2 / р 2 "=" р 2 п 2 1 / р 2 + { . . . } 1 / р 2 тоже правильно, но вопиюще глупо... Единственный термин, с которым вам не нужно следить за порядком, это, конечно, левая сторона...
@EmilioPisanty Вам не нужно делать никаких расчетов, чтобы увидеть это п 2 и р 2 не ездить на работу. Если бы они это сделали, то трехмерный гармонический осциллятор был бы фактически классическим; его основное состояние по отдельности минимизировало бы как кинетические, так и потенциальные члены, и не было бы энергии нулевой точки. Но поскольку 3D HO — это всего лишь сумма трех несвязанных 1D HO, это явно не так.
@tparker Я думаю, что и вы, и Космас упускаете суть. Я обращался исключительно к утверждению, что задействованные операторы являются просто «числами друг для друга» — это может быть верно для некоторых комбинаций, но не для всех соответствующих здесь. Я не вижу, к чему приведет дальнейшее обсуждение мелочей в этой ветке, кроме как запутать 1MegaMan1.
@EmilioPisanty На самом деле я не читал ни одной темы. Я только что заметил, что вы упомянули вычисление «обратных коммутаторов конверта», чтобы проверить, Икс 2 и п 2 ездить на работу и подумал, что я поделюсь хорошим быстрым трюком, чтобы увидеть, что они этого не делают.

Ответы (1)

Да, это тонкий вопрос. Вы не можете просто разделить два некоммутирующих оператора — вам нужно указать, умножаете ли вы числитель влево или вправо, на обратную величину знаменателя. Я бы никогда не использовал нотацию «деления» и для ясности умножал бы только операторы и их обратные величины. Вы можете умножить операторное выражение слева на ( р 2 ) 1 чтобы получить одно конкретное квантование конечного результата, который вы должны показать.

Строго говоря, в д пространственные измерения домен оператора р 2 является подмножеством гильбертова пространства л 2 ( р д ) который р 2 принимает к л 2 ( р д ) , т. е. множество функций, интегрируемых с квадратом ψ ( р ) такой, что

ψ | ( р 2 ) р 2 | ψ "=" д д Икс   | ψ ( р ) | 2 р 4 "=" д Ом р д 1 д р | ψ ( р , Ом ) | 2 р 4
конечно. это набор функций ψ ( р ) которые стремятся к нулю в начале координат по крайней мере так же быстро, как р п для некоторой мощности п > 4 д . В трех пространственных измерениях это означает, что ψ ( р ) должен стремиться к нулю быстрее, чем р недалеко от происхождения.

Происхождение чего? Областью определения этой функции является (подпространство) гильбертова пространства.
@EmilioPisanty Оператор определен для волновых функций, которые достаточно быстро исчезают вблизи начала координат. Отредактировано для уточнения.
Итак, вы говорите, что для того, чтобы все было ясно и не путалось, я не должен писать А р 2 поскольку это неоднозначно и может означать либо ( р 2 ) 1 А или А ( р 2 ) 1 , которые не обязательно должны быть одинаковыми. Однако есть еще одна вещь, которая меня немного смущает, почему это правда, что в позиционном представлении обратная сторона р 2 , ( р 2 ) 1 , это просто 1 р 2 ? Что было бы, например, обратным п 2 , ( п 2 ) 1 , в представлении положения?
Это отличный ответ, конечно. Однако я был бы немного «мягче» в обозначениях: я не нахожу 1 р 2 проблематично (с единичным числителем!), и у меня нет проблем с А Б когда очевидно, что [ А , Б ] "=" 0 . С другой стороны, что-то настолько сложное, как А "=" ( р п ) 2 я ( р п ) на самом деле никогда не должно быть в числителе, если только это не было сделано явно и в достаточной степени ясно, что оно коммутирует с числителем.
@ 1MegaMan1 Да, может быть немного сложно различать мультипликативную обратную (обратную) и функциональную (например, матричную) обратную. Проще всего это сделать в собственном базисе оператора, когда два понятия более или менее одинаковы (вы просто возвращаете каждое собственное значение). Вот почему оператор, обратный р 2 просто 1 / р 2 в основе положения. инвертирование п 2 в позиционной основе сложнее; на самом деле у него нет правильной двусторонней инверсии, но есть правая инверсия. 1 / ( 4 π 2 р ) называется «функцией Грина» для оператора Лапласа.