Каноническое коммутационное соотношение

Соотношение, которому удовлетворяют сопряженные переменные в квантовой механике

В квантовой механике каноническое коммутационное соотношение является фундаментальным соотношением между канонически сопряженными величинами (величинами, которые связаны по определению таким образом, что одна из них является преобразованием Фурье другой). Например, [ х ^ , п ^ х ] = я я {\displaystyle [{\hat {x}},{\hat {p}}_{x}]=i\hbar \mathbb {I} }

между оператором положения x и оператором импульса p x в направлении x точечной частицы в одном измерении, где [ x , p x ] = x p xp x xкоммутатор x и p x , iмнимая единица , а приведенная постоянная Планка h /2π , а — единичный оператор. В общем случае положение и импульс являются векторами операторов, и их коммутационное соотношение между различными компонентами положения и импульса можно выразить как , где — дельта Кронекера . я {\displaystyle \mathbb {Я} } [ х ^ я , п ^ дж ] = я δ я дж , {\displaystyle [{\hat {x}}_{i},{\hat {p}}_{j}]=i\hbar \delta _{ij},} δ я дж {\displaystyle \delta _{ij}}

Это соотношение приписывается Вернеру Гейзенбергу , Максу Борну и Паскуалю Джордану (1925), [1] [2], которые называли его «квантовым условием», служащим постулатом теории; Э. Кеннард (1927) [3] отметил, что оно подразумевает принцип неопределенности Гейзенберга . Теорема Стоуна–фон Неймана дает результат единственности для операторов, удовлетворяющих (экспоненциальной форме) каноническому коммутационному соотношению.

Связь с классической механикой

Напротив, в классической физике все наблюдаемые коммутируют, и коммутатор будет равен нулю. Однако существует аналогичное соотношение, которое получается путем замены коммутатора скобкой Пуассона, умноженной на i , { х , п } = 1 . {\displaystyle \{x,p\}=1\,.}

Это наблюдение привело Дирака к предположению, что квантовые аналоги , ĝ классических наблюдаемых f , g удовлетворяют ф ^ {\displaystyle {\шляпа {ж}}} [ ф ^ , г ^ ] = я { ф , г } ^ . {\displaystyle [{\hat {f}},{\hat {g}}]=i\hbar {\widehat {\{f,g\}}}\,.}

В 1946 году Хип Грёневолд продемонстрировал, что общее систематическое соответствие между квантовыми коммутаторами и скобками Пуассона не может сохраняться постоянно. [4] [5]

Однако он далее оценил, что такое систематическое соответствие действительно существует между квантовым коммутатором и деформацией скобки Пуассона, сегодня называемой скобкой Мойала , и, в целом, квантовыми операторами и классическими наблюдаемыми и распределениями в фазовом пространстве . Таким образом, он, наконец, прояснил последовательный механизм соответствия, преобразование Вигнера-Вейля , которое лежит в основе альтернативного эквивалентного математического представления квантовой механики, известного как деформационное квантование . [4] [6]

Вывод из гамильтоновой механики

Согласно принципу соответствия , в определенных пределах квантовые уравнения состояний должны приближаться к уравнениям движения Гамильтона . Последние устанавливают следующее соотношение между обобщенной координатой q (например, положением) и обобщенным импульсом p : { д ˙ = ЧАС п = { д , ЧАС } ; п ˙ = ЧАС д = { п , ЧАС } . {\displaystyle {\begin{cases}{\dot {q}}={\frac {\partial H}{\partial p}}=\{q,H\};\\{\dot {p}}=-{\frac {\partial H}{\partial q}}=\{p,H\}.\end{cases}}}

В квантовой механике гамильтониан , (обобщенная) координата и (обобщенный) импульс являются линейными операторами. ЧАС ^ {\displaystyle {\шляпа {H}}} В ^ {\displaystyle {\hat {Q}}} П ^ {\displaystyle {\hat {P}}}

Производная по времени квантового состояния представлена ​​оператором (уравнением Шредингера ). Эквивалентно, поскольку в картине Шредингера операторы явно не зависят от времени, операторы можно рассматривать как эволюционирующие во времени (для противоположной точки зрения, где операторы зависят от времени, см. картину Гейзенберга ) в соответствии с их коммутационным соотношением с гамильтонианом: i H ^ / {\displaystyle -i{\hat {H}}/\hbar } d Q ^ d t = i [ H ^ , Q ^ ] {\displaystyle {\frac {d{\hat {Q}}}{dt}}={\frac {i}{\hbar }}[{\hat {H}},{\hat {Q}}]} d P ^ d t = i [ H ^ , P ^ ] . {\displaystyle {\frac {d{\hat {P}}}{dt}}={\frac {i}{\hbar }}[{\hat {H}},{\hat {P}}]\,\,.}

Для того, чтобы это согласовывалось в классическом пределе с уравнениями движения Гамильтона, должно полностью зависеть от появления в гамильтониане и должно полностью зависеть от появления в гамильтониане. Далее, поскольку оператор Гамильтона зависит от (обобщенных) операторов координат и импульса, его можно рассматривать как функционал, и мы можем записать (используя функциональные производные ): [ H ^ , Q ^ ] {\displaystyle [{\hat {H}},{\hat {Q}}]} P ^ {\displaystyle {\hat {P}}} [ H ^ , P ^ ] {\displaystyle [{\hat {H}},{\hat {P}}]} Q ^ {\displaystyle {\hat {Q}}} [ H ^ , Q ^ ] = δ H ^ δ P ^ [ P ^ , Q ^ ] {\displaystyle [{\hat {H}},{\hat {Q}}]={\frac {\delta {\hat {H}}}{\delta {\hat {P}}}}\cdot [{\hat {P}},{\hat {Q}}]} [ H ^ , P ^ ] = δ H ^ δ Q ^ [ Q ^ , P ^ ] . {\displaystyle [{\hat {H}},{\hat {P}}]={\frac {\delta {\hat {H}}}{\delta {\hat {Q}}}}\cdot [{\hat {Q}},{\hat {P}}]\,.}

Чтобы получить классический предел, мы должны иметь [ Q ^ , P ^ ] = i   I . {\displaystyle [{\hat {Q}},{\hat {P}}]=i\hbar ~\mathbb {I} .}

Отношения Вейля

Группа , порожденная возведением в степень 3-мерной алгебры Ли, определяемой коммутационным соотношением, называется группой Гейзенберга . Эту группу можно реализовать как группу верхних треугольных матриц с единицами на диагонали. [7] H 3 ( R ) {\displaystyle H_{3}(\mathbb {R} )} [ x ^ , p ^ ] = i {\displaystyle [{\hat {x}},{\hat {p}}]=i\hbar } 3 × 3 {\displaystyle 3\times 3}

Согласно стандартной математической формулировке квантовой механики , квантовые наблюдаемые, такие как и должны быть представлены как самосопряженные операторы в некотором гильбертовом пространстве . Сравнительно легко видеть, что два оператора, удовлетворяющие приведенным выше каноническим коммутационным соотношениям, не могут быть оба ограниченными . Конечно, если бы и были операторами следового класса , соотношение давало бы ненулевое число справа и ноль слева. x ^ {\displaystyle {\hat {x}}} p ^ {\displaystyle {\hat {p}}} x ^ {\displaystyle {\hat {x}}} p ^ {\displaystyle {\hat {p}}} Tr ( A B ) = Tr ( B A ) {\displaystyle \operatorname {Tr} (AB)=\operatorname {Tr} (BA)}

В качестве альтернативы, если и были ограниченными операторами, обратите внимание, что , следовательно, нормы операторов удовлетворяли бы так что для любого n , Однако n может быть сколь угодно большим, поэтому по крайней мере один оператор не может быть ограничен, а размерность базового гильбертова пространства не может быть конечной. Если операторы удовлетворяют соотношениям Вейля (экспоненциальная версия канонических коммутационных соотношений, описанных ниже), то как следствие теоремы Стоуна–фон Неймана , оба оператора должны быть неограниченными. x ^ {\displaystyle {\hat {x}}} p ^ {\displaystyle {\hat {p}}} [ x ^ n , p ^ ] = i n x ^ n 1 {\displaystyle [{\hat {x}}^{n},{\hat {p}}]=i\hbar n{\hat {x}}^{n-1}} 2 p ^ x ^ n 1 x ^ n x ^ n 1 , {\displaystyle 2\left\|{\hat {p}}\right\|\left\|{\hat {x}}^{n-1}\right\|\left\|{\hat {x}}\right\|\geq n\hbar \left\|{\hat {x}}^{n-1}\right\|,} 2 p ^ x ^ n {\displaystyle 2\left\|{\hat {p}}\right\|\left\|{\hat {x}}\right\|\geq n\hbar }

Тем не менее, эти канонические коммутационные соотношения можно сделать несколько «укрощеннее», записав их в терминах (ограниченных) унитарных операторов и . Результирующие сплетенные соотношения для этих операторов являются так называемыми соотношениями Вейля Эти соотношения можно рассматривать как экспоненциальную версию канонических коммутационных соотношений; они отражают, что трансляции по положению и трансляции по импульсу не коммутируют. Можно легко переформулировать соотношения Вейля в терминах представлений группы Гейзенберга . exp ( i t x ^ ) {\displaystyle \exp(it{\hat {x}})} exp ( i s p ^ ) {\displaystyle \exp(is{\hat {p}})} exp ( i t x ^ ) exp ( i s p ^ ) = exp ( i s t / ) exp ( i s p ^ ) exp ( i t x ^ ) . {\displaystyle \exp(it{\hat {x}})\exp(is{\hat {p}})=\exp(-ist/\hbar )\exp(is{\hat {p}})\exp(it{\hat {x}}).}

Единственность канонических коммутационных соотношений — в форме соотношений Вейля — гарантируется теоремой Стоуна–фон Неймана .

По техническим причинам соотношения Вейля не являются строго эквивалентными каноническому коммутационному соотношению . Если бы и были ограниченными операторами, то особый случай формулы Бейкера–Кэмпбелла–Хаусдорфа позволил бы «возвести в степень» канонические коммутационные соотношения до соотношений Вейля. [8] Поскольку, как мы уже отмечали, любые операторы, удовлетворяющие каноническим коммутационным соотношениям, должны быть неограниченными, формула Бейкера–Кэмпбелла–Хаусдорфа не применима без дополнительных предположений о области определения. Действительно, существуют контрпримеры, удовлетворяющие каноническим коммутационным соотношениям, но не соотношениям Вейля. [9] (Эти же операторы дают контрпример к наивной форме принципа неопределенности.) Эти технические проблемы являются причиной того, что теорема Стоуна–фон Неймана формулируется в терминах соотношений Вейля. [ x ^ , p ^ ] = i {\displaystyle [{\hat {x}},{\hat {p}}]=i\hbar } x ^ {\displaystyle {\hat {x}}} p ^ {\displaystyle {\hat {p}}}

Дискретная версия соотношений Вейля, в которой параметры s и t изменяются в диапазоне , может быть реализована в конечномерном гильбертовом пространстве с помощью матриц часов и сдвига . Z / n {\displaystyle \mathbb {Z} /n}

Обобщения

Можно показать, что [ F ( x ) , p i ] = i F ( x ) x i ; [ x i , F ( p ) ] = i F ( p ) p i . {\displaystyle [F({\vec {x}}),p_{i}]=i\hbar {\frac {\partial F({\vec {x}})}{\partial x_{i}}};\qquad [x_{i},F({\vec {p}})]=i\hbar {\frac {\partial F({\vec {p}})}{\partial p_{i}}}.}

Используя , можно показать, что с помощью математической индукции, обычно известной как формула Маккоя. [10] C n + 1 k = C n k + C n k 1 {\displaystyle C_{n+1}^{k}=C_{n}^{k}+C_{n}^{k-1}} [ x ^ n , p ^ m ] = k = 1 min ( m , n ) ( i ) k n ! m ! k ! ( n k ) ! ( m k ) ! x ^ n k p ^ m k = k = 1 min ( m , n ) ( i ) k n ! m ! k ! ( n k ) ! ( m k ) ! p ^ m k x ^ n k , {\displaystyle \left[{\hat {x}}^{n},{\hat {p}}^{m}\right]=\sum _{k=1}^{\min \left(m,n\right)}{{\frac {-\left(-i\hbar \right)^{k}n!m!}{k!\left(n-k\right)!\left(m-k\right)!}}{\hat {x}}^{n-k}{\hat {p}}^{m-k}}=\sum _{k=1}^{\min \left(m,n\right)}{{\frac {\left(i\hbar \right)^{k}n!m!}{k!\left(n-k\right)!\left(m-k\right)!}}{\hat {p}}^{m-k}{\hat {x}}^{n-k}},}

Кроме того, простая формула, верная для квантования простейшей классической системы, может быть обобщена на случай произвольного лагранжиана . [11] Мы определяем канонические координаты (такие как x в примере выше или поле Φ( x ) в случае квантовой теории поля ) и канонические импульсы π x (в примере выше это p , или, в более общем смысле, некоторые функции, включающие производные канонических координат по времени): [ x , p ] = i I   , {\displaystyle [x,p]=i\hbar \,\mathbb {I} ~,} L {\displaystyle {\mathcal {L}}} π i   = d e f   L ( x i / t ) . {\displaystyle \pi _{i}\ {\stackrel {\mathrm {def} }{=}}\ {\frac {\partial {\mathcal {L}}}{\partial (\partial x_{i}/\partial t)}}.}

Это определение канонического импульса гарантирует, что одно из уравнений Эйлера–Лагранжа имеет вид t π i = L x i . {\displaystyle {\frac {\partial }{\partial t}}\pi _{i}={\frac {\partial {\mathcal {L}}}{\partial x_{i}}}.}

Канонические коммутационные соотношения тогда сводятся к следующему: где δ ijсимвол Кронекера . [ x i , π j ] = i δ i j {\displaystyle [x_{i},\pi _{j}]=i\hbar \delta _{ij}\,}

Калибровочная инвариантность

Каноническое квантование применяется, по определению, к каноническим координатам . Однако, в присутствии электромагнитного поля , канонический импульс p не является калибровочно-инвариантным . Правильный калибровочно-инвариантный импульс (или «кинетический импульс») есть

p kin = p q A {\displaystyle p_{\text{kin}}=p-qA\,\!} ( единицы СИ ) ( единицы СГС ),     p kin = p q A c {\displaystyle p_{\text{kin}}=p-{\frac {qA}{c}}\,\!}

где q — электрический заряд частицы , Aвекторный потенциал , а cскорость света . Хотя величина p kin является «физическим импульсом», поскольку это величина, которая должна быть отождествлена ​​с импульсом в лабораторных экспериментах, она не удовлетворяет каноническим коммутационным соотношениям; это делает только канонический импульс. Это можно увидеть следующим образом.

Нерелятивистский гамильтониан для квантованной заряженной частицы массы m в классическом электромагнитном поле имеет вид (в единицах СГС), где A — трехвекторный потенциал, а φскалярный потенциал . Эта форма гамильтониана, а также уравнение Шредингера = iħ∂ψ/∂t , уравнения Максвелла и закон силы Лоренца инвариантны относительно калибровочного преобразования , где и Λ = Λ( x , t ) — калибровочная функция. H = 1 2 m ( p q A c ) 2 + q ϕ {\displaystyle H={\frac {1}{2m}}\left(p-{\frac {qA}{c}}\right)^{2}+q\phi } A A = A + Λ {\displaystyle A\to A'=A+\nabla \Lambda } ϕ ϕ = ϕ 1 c Λ t {\displaystyle \phi \to \phi '=\phi -{\frac {1}{c}}{\frac {\partial \Lambda }{\partial t}}} ψ ψ = U ψ {\displaystyle \psi \to \psi '=U\psi } H H = U H U , {\displaystyle H\to H'=UHU^{\dagger },} U = exp ( i q Λ c ) {\displaystyle U=\exp \left({\frac {iq\Lambda }{\hbar c}}\right)}

Оператор углового момента есть и подчиняется каноническим соотношениям квантования, определяющим алгебру Ли для so(3) , где — символ Леви-Чивита . При калибровочных преобразованиях угловой момент преобразуется как L = r × p {\displaystyle L=r\times p\,\!} [ L i , L j ] = i ϵ i j k L k {\displaystyle [L_{i},L_{j}]=i\hbar {\epsilon _{ijk}}L_{k}} ϵ i j k {\displaystyle \epsilon _{ijk}} ψ | L | ψ ψ | L | ψ = ψ | L | ψ + q c ψ | r × Λ | ψ . {\displaystyle \langle \psi \vert L\vert \psi \rangle \to \langle \psi ^{\prime }\vert L^{\prime }\vert \psi ^{\prime }\rangle =\langle \psi \vert L\vert \psi \rangle +{\frac {q}{\hbar c}}\langle \psi \vert r\times \nabla \Lambda \vert \psi \rangle \,.}

Калибровочно-инвариантный угловой момент (или «кинетический угловой момент») определяется как имеющий коммутационные соотношения, где — магнитное поле . Неэквивалентность этих двух формулировок проявляется в эффекте Зеемана и эффекте Ааронова–Бома . K = r × ( p q A c ) , {\displaystyle K=r\times \left(p-{\frac {qA}{c}}\right),} [ K i , K j ] = i ϵ i j k ( K k + q c x k ( x B ) ) {\displaystyle [K_{i},K_{j}]=i\hbar {\epsilon _{ij}}^{\,k}\left(K_{k}+{\frac {q\hbar }{c}}x_{k}\left(x\cdot B\right)\right)} B = × A {\displaystyle B=\nabla \times A}

Соотношение неопределенности и коммутаторы

Все такие нетривиальные коммутационные соотношения для пар операторов приводят к соответствующим соотношениям неопределенности [12], включающим положительные полуопределенные ожидаемые вклады их соответствующих коммутаторов и антикоммутаторов. В общем случае для двух эрмитовых операторов A и B рассмотрим ожидаемые значения в системе в состоянии ψ , дисперсии вокруг соответствующих ожидаемых значений будут A ) 2 ≡ ⟨( A − ⟨ A ⟩) 2 и т. д.

Тогда [ A ,  B ] ≡ A BB A — коммутатор A и B , а { A , B  }A B + B Aантикоммутатор . Δ A Δ B 1 2 | [ A , B ] | 2 + | { A A , B B } | 2 , {\displaystyle \Delta A\,\Delta B\geq {\frac {1}{2}}{\sqrt {\left|\left\langle \left[{A},{B}\right]\right\rangle \right|^{2}+\left|\left\langle \left\{A-\langle A\rangle ,B-\langle B\rangle \right\}\right\rangle \right|^{2}}},}

Это следует из использования неравенства Коши–Шварца , поскольку |⟨ A 2 ⟩| |⟨ B 2 ⟩| ≥ |⟨ A B ⟩| 2 , и A B = ([ A ,  B ] + { A ,  B })/2  ; и аналогично для сдвинутых операторов A − ⟨ A и B − ⟨ B . (Ср. выводы принципа неопределенности .)

Подставляя вместо A и B (и соблюдая осторожность при анализе), получаем, как обычно, знакомое соотношение неопределенности Гейзенберга для x и p .

Соотношение неопределенностей для операторов углового момента

Для операторов углового момента L x = y p zz p y и т. д. имеем, что где — символ Леви-Чивита и просто меняем знак ответа при попарной перестановке индексов. Аналогичное соотношение имеет место и для операторов спина . [ L x , L y ] = i ϵ x y z L z , {\displaystyle [{L_{x}},{L_{y}}]=i\hbar \epsilon _{xyz}{L_{z}},} ϵ x y z {\displaystyle \epsilon _{xyz}}

Здесь для L x и L y [12] в мультиплетах углового момента ψ = | , m ⟩ для поперечных компонент инварианта Казимира L x 2 + L y 2 + L z 2 имеем z - симметричные соотношения

L Икс 2 ⟩ знак равно ⟨ L y 2 ⟩ знак равно (  ( + 1) - м 2 ) ℏ 2 /2  ,

а также L x ⟩ = ⟨ L y ⟩ = 0  .

Следовательно, приведенное выше неравенство, примененное к этому коммутационному соотношению, определяет , следовательно , и, следовательно , поэтому, оно дает полезные ограничения, такие как нижняя граница инварианта Казимира :  ( + 1) ≥ | m | (| m | + 1) , и, следовательно, ≥ | m | , среди прочих. Δ L x Δ L y 1 2 2 | L z | 2   , {\displaystyle \Delta L_{x}\,\Delta L_{y}\geq {\frac {1}{2}}{\sqrt {\hbar ^{2}|\langle L_{z}\rangle |^{2}}}~,} | L x 2 L y 2 | 2 2 | m | {\displaystyle {\sqrt {|\langle L_{x}^{2}\rangle \langle L_{y}^{2}\rangle |}}\geq {\frac {\hbar ^{2}}{2}}\vert m\vert } ( + 1 ) m 2 | m |   , {\displaystyle \ell (\ell +1)-m^{2}\geq |m|~,}

Смотрите также

Ссылки

  1. ^ «Развитие квантовой механики».
  2. ^ Борн, М.; Джордан, П. (1925). «Цур Квантенмеханик». Zeitschrift für Physik . 34 (1): 858–888. Бибкод : 1925ZPhy...34..858B. дои : 10.1007/BF01328531. S2CID  186114542.
  3. ^ Кеннард, Э.Х. (1927). «Zur Quantenmechanik einfacher Bewegungstypen». Zeitschrift für Physik . 44 (4–5): 326–352. Бибкод : 1927ZPhy...44..326K. дои : 10.1007/BF01391200. S2CID  121626384.
  4. ^ ab Groenewold, HJ (1946). «О принципах элементарной квантовой механики». Physica . 12 (7): 405–460. Bibcode : 1946Phy....12..405G. doi : 10.1016/S0031-8914(46)80059-4.
  5. ^ Холл 2013 Теорема 13.13
  6. ^ Curtright, TL; Zachos, CK (2012). «Квантовая механика в фазовом пространстве». Asia Pacific Physics Newsletter . 01 : 37–46. arXiv : 1104.5269 . doi : 10.1142/S2251158X12000069. S2CID  119230734.
  7. ^ Холл 2015 Раздел 1.2.6 и Предложение 3.26
  8. ^ См. раздел 5.2 Hall 2015 для элементарного вывода.
  9. ^ Холл 2013 Пример 14.5
  10. ^ Маккой, NH (1929), «О формулах коммутации в алгебре квантовой механики», Труды Американского математического общества 31 (4), 793-806 онлайн
  11. ^ Таунсенд, Дж. С. (2000). Современный подход к квантовой механике . Саусалито, Калифорния: University Science Books. ISBN 1-891389-13-0.
  12. ^ ab Robertson, HP (1929). «Принцип неопределенности». Physical Review . 34 (1): 163–164. Bibcode : 1929PhRv...34..163R. doi : 10.1103/PhysRev.34.163.
  • Холл, Брайан С. (2013), Квантовая теория для математиков , Graduate Texts in Mathematics, т. 267, Springer.
  • Холл, Брайан С. (2015), Группы Ли, алгебры Ли и представления, элементарное введение , Graduate Texts in Mathematics, т. 222 (2-е изд.), Springer.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Canonical_commutation_relation&oldid=1255324367"