量子力学中的Moyal括号
- 经典泊松括号的回顾
在经典力学中,两个相空间函数 \(f(q,p)\) 和 \(g(q,p)\) 的泊松括号定义为:
\[ \{f, g\}_{\text{PB}} = \frac{\partial f}{\partial q} \frac{\partial g}{\partial p} - \frac{\partial f}{\partial p} \frac{\partial g}{\partial q}. \]
它描述了物理量随时间的演化(如 \(\frac{df}{dt} = \{f, H\}\)),并满足反对称性、莱布尼茨律和雅可比恒等式。泊松括号是经典哈密顿力学的核心结构。
- 量子化与对易子
在量子力学中,物理量变为希尔伯特空间上的算子,其代数关系由对易子表达。例如,位置算符 \(\hat{q}\) 和动量算符 \(\hat{p}\) 满足:
\[ [\hat{q}, \hat{p}] = i\hbar. \]
对易子与经典泊松括号通过狄拉克量子化条件关联:\([\hat{f}, \hat{g}] = i\hbar \widehat{\{f,g\}} + \mathcal{O}(\hbar^2)\)。但严格实现这一映射存在排序模糊性(如 \(qp\) 应映射为 \(\hat{q}\hat{p}\) 还是 \(\hat{p}\hat{q}\)?)。
- 相空间量子化与Wigner函数
为在相空间中描述量子力学,Eugene Wigner引入了准概率分布函数 \(W(q,p)\),使得量子期望值可表示为相空间积分:
\[ \langle \hat{A} \rangle = \iint A_W(q,p) W(q,p) \, dq dp. \]
其中 \(A_W\) 是算子 \(\hat{A}\) 的Weyl符号(参见已讲词条“Weyl quantization”)。Wigner函数可能取负值,体现了量子干涉。
- Moyal积的定义
José Moyal提出,量子效应可通过在相空间函数间定义一种非交换乘积(即Moyal积 \(\star\))来体现。其积分形式为:
\[ (f \star g)(q,p) = f(q,p) \exp\left[ \frac{i\hbar}{2} \left( \overleftarrow{\partial_q} \overrightarrow{\partial_p} - \overleftarrow{\partial_p} \overrightarrow{\partial_q} \right) \right] g(q,p), \]
其中箭头表示微分算符的作用方向。展开后得:
\[ f \star g = fg + \frac{i\hbar}{2} \{f,g\}_{\text{PB}} + \mathcal{O}(\hbar^2). \]
- Moyal括号的引入
Moyal括号定义为Moyal积的交换子:
\[ \{f, g\}_{\text{M}} = \frac{1}{i\hbar} (f \star g - g \star f). \]
利用Moyal积的展开,可得:
\[ \{f, g\}_{\text{M}} = \{f,g\}_{\text{PB}} + \mathcal{O}(\hbar^2), \]
即经典极限下它退化为泊松括号。具体表达式为:
\[ \{f,g\}_{\text{M}} = \frac{2}{\hbar} f(q,p) \sin\left( \frac{\hbar}{2} \left( \overleftarrow{\partial_q} \overrightarrow{\partial_p} - \overleftarrow{\partial_p} \overrightarrow{\partial_q} \right) \right) g(q,p). \]
- 性质与物理意义
- 反对称性:\(\{f,g\}_{\text{M}} = -\{g,f\}_{\text{M}}\)。
- 雅可比恒等式:严格满足 \(\{f,\{g,h\}_{\text{M}}\}_{\text{M}} + \text{循环排列} = 0\),与经典泊松括号一致。
- 动力学方程:相空间中量子态的演化由Moyal方程描述:
\[ \frac{\partial W}{\partial t} = \{H, W\}_{\text{M}}, \]
这是冯诺依曼方程 \(i\hbar \partial_t \hat{\rho} = [\hat{H}, \hat{\rho}]\) 在相空间中的等价形式。
- 变形量子化:Moyal括号是相空间函数代数的一种“变形”,参数为 \(\hbar\),使得经典力学平滑过渡到量子力学。
- 应用与推广
Moyal括号为量子混沌和半经典近似提供了工具,例如通过计算相空间中的李雅普诺夫指数。在数学上,它属于形变量子化理论,后推广至非交换几何和弦理论中的Moyal平面结构。