查看“︁角动量算符对易关系”︁的源代码

{{VecFConv}}
在[[量子力学]]中，'''[[角动量算符]]之间的[[对易关系]]'''是基本的[[对易关系]]之一。从这些对易关系出发就足以得出关于角动量算符及其[[本征函数]]的许多性质，而不需要关心角动量算符在某个表象下的具体表达式<ref name=qmv4>{{cite book|title=量子力学卷 I （第四版）|url=https://archive.org/details/quantummechanics0000unse_i7p4|author=曾谨言|publisher=科学出版社|isbn=9787030181398|origyear=2011|chapter=10}}</ref><ref name=abinit>{{cite book|title=量子化学:基本原理和从头计算法(第2版)(上册)|author=徐光宪,黎乐民,王德民|publisher=科学出版社|isbn=9787030192134|origyear=2011|chapter=6}}</ref>。从数学上看，这一套理论实际上是研究与[[李代数]] <math>\mathfrak{su}(2)</math> 相关的性质<ref>{{cite web|url=http://www.phys.nthu.edu.tw/~class/Group_theory/Chap%209.pdf|title=Lie algebra|access-date=2014-09-08|archive-date=2021-05-06|archive-url=https://web.archive.org/web/20210506175749/http://www.phys.nthu.edu.tw/~class/Group_theory/Chap%209.pdf|dead-url=no}}</ref>。

== 导引 ==
在三维空间中的角动量算符（经典角动量的量子化）满足下列的基本对易关系式<ref group="注">参见角动量算符一文[[角动量算符#對易關係|相关小节]]</ref>：
:<math>[L_\alpha,L_\beta]=i\hbar\sum_\gamma\epsilon_{\alpha\beta\gamma}L_\gamma,\quad \alpha,\beta,\gamma\in\{x,y,z\}</math>

式中<math>\epsilon_{\alpha\beta\gamma}</math>是[[列維-奇維塔符號]]。

上面的关系式反映了角动量算符的内在性质。反过来，可以直接由这组对易关系式出发，把满足这样性质的算符都称为角动量算符。

== 定义 ==
若有三个[[算符]]
:<math>j_x,j_y,j_z</math>

满足对易关系
:<math>[j_\alpha,j_\beta]=i\hbar\sum_\gamma\epsilon_{\alpha\beta\gamma}j_\gamma,\quad \alpha,\beta,\gamma\in\{x,y,z\}</math>

则称以这三个算符为分量的矢量算符
:<math>\mathbf j=(j_x,j_y,j_z)</math>

为一个角动量算符<ref name=qmv4 />。

这样定义的角动量算符自然地包含了轨道角动量、[[自旋]]角动量、总角动量等。

运用[[叉乘]]的符号，上面的对易关系式也可以简单表示为：
:<math>\mathbf j\times\mathbf j=i\hbar\mathbf j</math>

== 角动量平方算符 ==
定义角动量平方算符为
:<math>\mathbf j^2=\mathbf j\cdot\mathbf j=j_x^2+j_y^2+j_z^2</math>

直接计算可以得到：
:<math>[\mathbf j^2,j_\alpha]=0,\quad \alpha=x,y,z</math>
== 升算符与降算符 ==
进一步定义
:<math>j_+=j_x+ij_y,j_-=j_x-ij_y</math>

它们分别称为升算符与降算符，则直接计算可以得到下列关系式：
:<math>[\mathrm j^2,j_\pm]=0</math>
:<math>[j_z,j_\pm]=\pm\hbar j_\pm</math>
:<math>j_\pm j_\mp=\mathbf j^2-j_z^2\pm\hbar j_z</math>
:<math>[j_+,j_-]=2\hbar j_z</math>
:<math>[j_+,j_-]_+=2(\mathbf j^2-j_z^2)</math>

最后一式中的是反对易子。

== 本征函数 ==
由于角动量平方算符与任一分量对易，故它们存在共同的本征函数，记作
:<math>|jm\rangle</math>

使得
:<math>\mathbf j^2|jm\rangle=\lambda\hbar^2|jm\rangle,\quad j_z|jm\rangle=m\hbar|jm\rangle</math>

且满足正交归一关系：
:<math>\langle j'm'|jm\rangle=\delta_{jj'}\delta_{mm'}</math>

对于任意一个算符 {{mvar|f}}，我们可以取矩阵元
:<math>\langle j'm'|f|jm\rangle</math>

对上一小节给出的前三个对易关系式两边分别取矩阵元。

由第一、二式可得：
:<math>\langle j'm'|j_\pm|jm\rangle=\delta_{jj'}\delta_{m',m\pm1}\langle jm\pm 1|j_\pm|jm\rangle</math>

对第三式取矩阵元，并在其中插入单位分解
:<math>1=\sum_{j,m}|jm\rangle\langle jm|</math>

得：
:<math>\langle jm\pm1|j_\pm|jm\rangle\langle jm|j_\mp|jm\pm 1\rangle=\lambda-(m\pm 1)^2\pm (m\pm 1)</math>

再利用 {{mvar|j}}<sub>+</sub> 与 {{mvar|j}}<sub>-</sub> 互为伴算符，就得到
:<math>j_\pm|jm\rangle=e^{i\delta}\sqrt{\lambda-m(m\pm 1)}|jm\pm1\rangle</math>

习惯上取 {{mvar|δ}}=0，这称为 Condon-Shortle 惯例<ref name=qmv4 />。取一个本征函数，不断用升算符作用，每次将 {{mvar|m}} 增加 1，如果这个过程不终止，则上式中的根号内的部分总会变成负数，这与任意态函数的模方为非负数矛盾。因此，上述过程只能在某一步终止，即对于某个 {{mvar|m}}，根号下的部分变为 0，此时对应的 {{mvar|m}} 就是 {{mvar|m}} 的[[上确界]]，而 {{mvar|λ}}={{mvar|m}}({{mvar|m+1}})。对降算符也可以进行类似的讨论，最后得到
:<math>\lambda=m_\max(m_\max+1)=m_\min(m_\min-1)</math>

此外，{{mvar|m}} 的下确界与 {{mvar|m}} 的上确界的本征函数间也必须可以通过有限次升降算符的作用联系起来，即
:<math>m_\max-m_\min\in\mathbb Z</math>

综合起来，就得到量子化条件
:<math>\lambda=j(j+1),2j\in\mathbb Z_0^+,m=-j,-j+1,\dots,j-1,j</math>

== 矩阵表示 ==
上面一小节实际上已经给出了各个角动量算符矩阵元的计算公式，下面是一些具体的例子。

{{mvar|j}}=0 时的矩阵表示是平凡的。

{{mvar|j}}=1/2 时的矩阵表示对应着[[泡利矩阵]]，
:<math>j_z=\begin{bmatrix} \frac 12&0\\0&-\frac12\end{bmatrix},
j_+=\begin{bmatrix} 0&0\\1&0\end{bmatrix},
j_-=\begin{bmatrix} 0&1\\0&0\end{bmatrix},
j_x=\begin{bmatrix} 0&\frac 12\\\frac 12&0\end{bmatrix},
j_y=\begin{bmatrix} 0&\frac i2\\-\frac i2&0\end{bmatrix}
</math>

{{mvar|j}}=1 时的矩阵表示，
:<math>j_z=\begin{bmatrix} 1&0&0\\0&0&0\\0&0&-1\end{bmatrix},
j_+=\begin{bmatrix} 0&\sqrt 2&0\\0&0&\sqrt 2\\0&0&0\end{bmatrix},
j_-=\begin{bmatrix} 0&0&0\\\sqrt2&0&0\\0&\sqrt2&0\end{bmatrix},
j_x=\begin{bmatrix} 0&\frac{\sqrt2}2&0\\\frac{\sqrt2}2&0&\frac{\sqrt2}2\\0&\frac{\sqrt2}2&0\end{bmatrix},
j_y=\begin{bmatrix} 0&-\frac{\sqrt2}2i&0\\\frac{\sqrt2}2i&0&-\frac{\sqrt2}2i\\0&\frac{\sqrt2}2i&0\end{bmatrix},
</math>

== 注 ==
<references group="注" />

== 参考文献 ==
<references />
* {{cite book|year=2011|author=M. E. Rose|title=Elementary Theory of Angular Momentum}}

[[Category:角動量|J]]
[[Category:物理算符|J]]
[[Category:李群表示论|J]]