$
\newcommand{\I}{\mathrm{i}}
\newcommand{\E}{\mathrm{e}}
\newcommand{\bvec}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\mat}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\ten}[1]{\boldsymbol{\mathbf{#1}}}
\newcommand{\Nabla}{\boldsymbol{\nabla}}
\renewcommand{\Tr}{^{\mathrm{T}}}
\newcommand{\uvec}[1]{\hat{\boldsymbol{\mathbf{#1}}}}
\renewcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}
\newcommand{\ali}[1]{\begin{aligned}#1\end{aligned}}
\newcommand{\leftgroup}[1]{\left\{\begin{aligned}#1\end{aligned}\right.}
\newcommand{\vmat}[1]{\begin{vmatrix}#1\end{vmatrix}}
\newcommand{\Cj}{^*}
\newcommand{\Her}{^\dagger}
\newcommand{\Q}[1]{\hat #1}
\newcommand{\Qv}[1]{\uvec #1}
\newcommand{\sinc}{\operatorname{sinc}}
\newcommand{\Arctan}{\operatorname{Arctan}}
\newcommand{\erfi}{\operatorname{erfi}}
\newcommand{\Arctan}{\operatorname{Arctan}}
\newcommand{\Si}[1]{\,\mathrm{#1}}
\newcommand{\les}{\leqslant}
\newcommand{\ges}{\geqslant}
\newcommand{\qty}[1]{\left\{{#1}\right\}}
\newcommand{\qtyRound}[1]{\left({#1}\right)}
\newcommand{\qtySquare}[1]{\left[{#1}\right]}
\newcommand{\abs}[1]{\left\lvert{#1}\right\rvert}
\newcommand{\eval}[1]{\left.{#1}\right\rvert}
\newcommand{\comm}[2]{\left[{#1},{#2}\right]}
\newcommand{\commStar}[2]{[{#1},{#2}]}
\newcommand{\pb}[2]{\left\{{#1},{#2}\right\}}
\newcommand{\pbStar}[2]{\{{#1},{#2}\}}
\newcommand{\vdot}{\boldsymbol\cdot}
\newcommand{\cross}{\boldsymbol\times}
\newcommand{\grad}{\boldsymbol\nabla}
\newcommand{\div}{\boldsymbol{\nabla}\boldsymbol{\cdot}}
\newcommand{\curl}{\boldsymbol{\nabla}\boldsymbol{\times}}
\newcommand{\laplacian}{\boldsymbol{\nabla}^2}
\newcommand{\sinRound}[2][{}]{\sin^{#1}\left(#2\right)}
\newcommand{\cosRound}[2][{}]{\cos^{#1}\left(#2\right)}
\newcommand{\tanRound}[2][{}]{\tan^{#1}\left(#2\right)}
\newcommand{\cscRound}[2][{}]{\csc^{#1}\left(#2\right)}
\newcommand{\secRound}[2][{}]{\sec^{#1}\left(#2\right)}
\newcommand{\cotRound}[2][{}]{\cot^{#1}\left(#2\right)}
\newcommand{\sinhRound}[2][{}]{\sinh^{#1}\left(#2\right)}
\newcommand{\coshRound}[2][{}]{\cosh^{#1}\left(#2\right)}
\newcommand{\tanhRound}[2][{}]{\tanh^{#1}\left(#2\right)}
\newcommand{\arcsinRound}[2][{}]{\arcsin^{#1}\left(#2\right)}
\newcommand{\arccosRound}[2][{}]{\arccos^{#1}\left(#2\right)}
\newcommand{\arctanRound}[2][{}]{\arctan^{#1}\left(#2\right)}
\newcommand{\expRound}[1]{\exp\left(#1\right)}
\newcommand{\logRound}[2][{}]{\log^{#1}\left(#2\right)}
\newcommand{\lnRound}[2][{}]{\ln^{#1}\left(#2\right)}
\renewcommand{\Re}{\mathrm{Re}}
\renewcommand{\Im}{\mathrm{Im}}
\newcommand{\dd}[1][]{\,\mathrm{d}^{#1}}
\newcommand{\dv}[2][{}]{\frac{\mathrm{d}^{#1}}{\mathrm{d}{#2}^{#1}}}
\newcommand{\dvStar}[2][{}]{\mathrm{d}^{#1}/\mathrm{d}{#2}^{#1}}
\newcommand{\dvTwo}[3][{}]{\frac{\mathrm{d}^{#1}{#2}}{\mathrm{d}{#3}^{#1}}}
\newcommand{\dvStarTwo}[3][{}]{\mathrm{d}^{#1}{#2}/\mathrm{d}{#3}^{#1}}
\newcommand{\pdv}[2][{}]{\frac{\partial^{#1}}{\partial{#2}^{#1}}}
\newcommand{\pdvStar}[2][{}]{\partial^{#1}/\partial{#2}^{#1}}
\newcommand{\pdvTwo}[3][{}]{\frac{\partial^{#1}{#2}}{\partial{#3}^{#1}}}
\newcommand{\pdvStarTwo}[3][{}]{\partial^{#1}{#2}/\partial{#3}^{#1}}
\newcommand{\pdvThree}[3]{\frac{\partial^2{#1}}{\partial{#2}\partial{#3}}}
\newcommand{\pdvStarThree}[3]{\partial^2{#1}/\partial{#2}\partial{#3}}
\newcommand{\bra}[1]{\left\langle{#1}\right\rvert}
\newcommand{\braStar}[1]{\langle{#1}\rvert}
\newcommand{\ket}[1]{\left\lvert{#1}\right\rangle}
\newcommand{\ketStar}[1]{\lvert{#1}\rangle}
\newcommand{\braket}[1]{\left\langle{#1}\middle|{#1}\right\rangle}
\newcommand{\braketStar}[1]{\langle{#1}|{#1}\rangle}
\newcommand{\braketTwo}[2]{\left\langle{#1}\middle|{#2}\right\rangle}
\newcommand{\braketStarTwo}[2]{\langle{#1}|{#2}\rangle}
\newcommand{\ev}[1]{\left\langle{#1}\right\rangle}
\newcommand{\evStar}[1]{\langle{#1}\rangle}
\newcommand{\evTwo}[2]{\left\langle{#2}\middle|{#1}\middle|{#2}\right\rangle}
\newcommand{\evStarTwo}[2]{\langle{#2}|{#1}|{#2}\rangle}
\newcommand{\mel}[3]{\left\langle{#1}\middle|{#2}\middle|{#3}\right\rangle}
\newcommand{\melStar}[3]{\langle{#1}|{#2}|{#3}\rangle}
\newcommand{\order}[1]{\mathcal{O}\left(#1\right)}
\newcommand{\bmat}[1]{\begin{bmatrix}#1\end{bmatrix}}
\newcommand{\Bmat}[1]{\left\{\begin{matrix}#1\end{matrix}\right\}}
\newcommand{\sumint}[1]{\int\kern-1.4em\sum}
\newcommand{\Q}[1]{\hat{#1}}
\newcommand{\opn}{\operatorname}
\newcommand{\norm}[1]{\left\lVert{#1}\right\rVert}
$
升降算符
预备知识 本征方程
结论
已知某个算符 $\Q Q$,若能找到另一个算符 $\Q Q_+$,使得 $\commStar{\Q Q}{\Q Q_+} = h \Q Q_+$ 成立( $h$ 是大于零的实数), 这个算符就是 $\Q Q$ 对应的升算符. 同理,若有 $\Q Q_-$ 使得 $\commStar{\Q Q}{\Q Q_-} = - h\Q Q_-$ 成立,这个算符就是对应的降算符.升降算符的作用是把一个本征函数变为本征值更大或者更小的本征函数.即
\begin{equation}
\Q Q(\Q Q_\pm\psi) = (q \pm h) (\Q Q_ \pm\psi)
\end{equation}
意义
有时候如果算符过于复杂求解本征方程比较困难,就可以尝试寻找升降算符.升降算符可以让我们不用求解本征方程就可以快速地找到本征值.具体见简谐振子和轨道角动量.
证明
如果 $\psi$ 是 $\Q Q$ 的一个本征函数,且本征值为 $\lambda$,那么根据对易关系 $\comm{\Q Q}{\Q Q_+} = h \Q Q_+$ 有
\begin{equation}
\Q Q (\Q Q_+ \psi) = \Q Q_+ (\Q Q\psi) + h \Q Q_+ \psi = \Q Q_+ (\lambda \psi) + h \Q Q_+ \psi = (\lambda + h)(\Q Q_+ \psi)
\end{equation}
降算符的证明同理.
本征函数的归一化
注意升降算符并不一定能保持函数的归一化.若假设 $\Q a_\pm \ket{\psi_n} = A_n \ket{\psi_{n+1}}$, 其中 $\ket{\psi_n}$ 和 $\ket{\psi_{n + 1}}$ 都是归一化的本征态,那么由归一化条件要求
\begin{equation}
\bra{\psi_n} \Q a_\pm\Her \Q a_\pm \ket{\psi_n} = \abs{A_n}^2 \braket{\psi_{n+1}} = \abs{A_n}^2
\end{equation}
习惯上令 $A_n$ 为实数,即上式开方.
致读者: 小时物理百科一直以来坚持所有内容免费且不做广告,这导致我们处于日渐严重的亏损状态。长此以往很可能会最终导致我们不得不选择商业化,例如大量广告,内容付费,会员制,甚至被收购。因此,我们鼓起勇气在此请求广大读者
热心捐款,使网站得以健康发展。如果看到这条信息的每位读者能慷慨捐助 10 元,我们几天内就能脱离亏损状态,并保证网站能在接下来的一整年里向所有读者继续免费提供优质内容。感谢您的支持。
—— 小时(项目创始人)