量子谐振子与光的正则量子化：理论与应用
1. 量子谐振子的狄拉克形式主义
1.1 量子谐振子的基本特征
量子谐振子（QHO）具有一个重要特征，即存在最小能量（基态能量）$E_0 = \frac{1}{2}\hbar\omega$，对应于特定方程中的$n = 0$情况。这一基态能量的存在是量子谐振子区别于经典谐振子的关键特性之一。
1.2 狄拉克形式主义的引入
保罗·狄拉克提出了一种解决量子谐振子问题的替代方法。假设哈密顿算符$\hat{H}$可以因式分解为$\hat{H} = \hat{O}^{\dagger}\hat{O} + E_0$，其中$\hat{O}$是某个算符，$\hat{O}^{\dagger}$是其厄米共轭。若$\vert\psi_n\rangle$是$\hat{H}$的本征态，那么本征能量$E_n = \langle\psi_n\vert\hat{H}\vert\psi_n\rangle$。
为了更方便地进行分析，我们定义了无量纲算符$\hat{Q}$和$\hat{P}$：
$\hat{Q} = \sqrt{\frac{m\omega}{\hbar}}\hat{x}$
$\hat{P} = \sqrt{\frac{1}{m\hbar\omega}}\hat{p}$
通过这些定义，哈密顿算符可以重写为$\hat{H} = \frac{\hbar\omega}{2}(\hat{Q}^2 + \hat{P}^2)$，并且$\hat{Q}$和$\hat{P}$满足对易关系$[\hat{Q}, \hat{P}] = i$。
进一步对哈密顿算符进行因式分解，我们得到$
