note-math

升降算子 $\text{a }\left(\pm \text{ i}\right)=\frac{1}{2}\left(\text{x }\pm \frac{1}{\text{i }𝑚𝜔}\text{ p}\right)$ 和能量算子的交换关系

$$\begin{array}{ccc}\left[\text{H},\text{a }\left(\text{i }\right)\right]& =& -\mathrm{\hslash }𝜔\text{ a }\left(\text{ i }\right)\\ \left[\text{H},\text{a }\left(-\text{ i}\right)\right]& =& \mathrm{\hslash }𝜔\text{ a }\left(-\text{i}\right)\end{array}$$

let $\text{a }=\text{ a }\left(\text{i}\right)$. ${\text{a }}^{†}=\text{ a }\left(-\text{i}\right)$

将升降算子简化为 $\text{a }\left(\pm \text{ i}\right)=\text{ x }\pm \frac{1}{\text{ i }}\text{ p}$

能量算子的特征函数

开始于基态 $\text{a }𝜓=0⟹𝜓={𝜓}_0=\text{exp}\left(-\frac{1}{2}{𝑦}^2\right)$

通过升算子 ${\text{a}}^{†}$ 得到下一能级的特征函数

$$\begin{array}{ccc}{𝜓}_{𝑛}={\text{ a }}^{†𝑛}𝜓& =& {\left(-1\right)}^{𝑛}{𝑒}^{\frac{1}{2}{𝑦}^2}\frac{{𝑑}^{𝑛}}{𝑑{𝑦}^{𝑛}}{𝑒}^{-\frac{1}{2}{𝑦}^2}𝜓\\ & =& {𝐻}_{𝑛}\left(𝑦\right)\text{exp}\left(-\frac{1}{2}{𝑦}^2\right)\end{array}$$

其中

$${𝐻}_{𝑛}\left(𝑦\right)={\left(-1\right)}^{𝑛}{𝑒}^{{𝑦}^2}\frac{{𝑑}^{𝑛}}{𝑑{𝑦}^{𝑛}}{𝑒}^{-{𝑦}^2}$$

是 Hermite 多项式

特征函数归一化

$${\left(\frac{1}{2^{𝑛}𝑛!}{\left(\frac{𝑚𝜔}{\mathrm{\hslash }𝜋}\right)}^{\frac{1}{2}}\right)}^{\frac{1}{2}}{𝑒}^{-\frac{1}{2}\frac{𝑚𝜔}{\mathrm{\hslash }{𝑞}^2}}{𝐻}_{𝑛}\left({\left(\frac{𝑚𝜔}{\mathrm{\hslash }𝜋}𝑞\right)}^{\frac{1}{2}}\right)$$

propagator $𝐾$ 表示用路径积分 Lagrangian 来构造 unitary. 对于谐振子, 用 Fourier 变换方法. cf. wiki:Path_integral_formulation

let $𝑇={𝑡}_1-{𝑡}_0$

对端点固定但是偏移了经典的路径进行 Fourier 展开 $𝑥-{𝑥}_{\text{ cl }}={\sum }_{𝑛=1}^{\infty }{𝑏}_{𝑛}\text{sin}\left(𝑛𝜋\frac{𝑡}{𝑇}\right)$, action $𝑆\left({𝑏}_1,\dots ,{𝑏}_{𝑛},\dots \right)={𝑆}_{\text{ cl }}+\sum \frac{1}{2}|{𝑏}_{𝑛}{|}^2\frac{𝑚}{2}𝑇\left(\frac{{𝑛}^2{𝜋}^2}{{𝑇}^2}-{𝜔}^2\right)$

$$\begin{array}{ccc}𝐾\left(𝑇,{𝑥}_0,𝑥\right)& =& \underset{𝑛\to \infty }{\text{ lim }}\left(\text{ unitary-factor}\right)\left(𝑛\right)\cdot {\int }_{{\mathrm{ℝ}}^{𝑛}}𝑑{𝑏}_{𝑛}\cdots 𝑑{𝑏}_1{𝑒}^{\frac{\text{i }}{\mathrm{\hslash }}𝑆\left({𝑏}_1,\dots ,{𝑏}_{𝑛}\right)}\\ & =& {\left(\frac{𝑚𝜔}{2𝜋\mathrm{\hslash }\text{ i }𝑇}\right)}^{\frac{1}{2}}{𝑒}^{\frac{\text{i }}{\mathrm{\hslash }}{𝑆}_{\text{ cl}}}\prod _{𝑛=1}^{\infty }\frac{𝑛𝜋}{2^{\frac{1}{2}}}{\int }_{\mathrm{ℝ}}𝑑{𝑏}_{𝑛}\text{exp}\left(\frac{\text{i }}{2\mathrm{\hslash }}|{𝑏}_{𝑛}{|}^2\frac{𝑚}{2}𝑇\left(\frac{{𝑛}^2{𝜋}^2}{{𝑇}^2}-{𝜔}^2\right)\right)\\ & =& {\left(\frac{𝑚𝜔}{2𝜋\mathrm{\hslash }\text{ i }\text{ sin }𝜔𝑇}\right)}^{\frac{1}{2}}\text{exp}\left(\frac{\text{i }𝑚𝜔}{2\mathrm{\hslash }}\cdot \frac{\left(|{𝑥}_1{|}^2+|{𝑥}_0{|}^2\right)\text{ cos }𝜔𝑇-2\text{ Re }⟨{𝑥}_1,{𝑥}_0⟩}{\text{sin }𝜔𝑇}\right)\end{array}$$

使用了 Gauss 积分 + 无穷乘积 ${\prod }_{𝑛=1}^{\infty }\left(1-\frac{{𝑥}^2}{{𝑛}^2}\right)=\frac{\text{sin }𝜋𝑥}{𝜋𝑥}$

${𝑒}^{-\frac{𝐸}{ℎ}𝑡\text{ i}}𝜓\left(𝑥\right)$ 给出的特征方程

$$\text{H }𝜓=𝐸𝜓$$

特征规范正交基 $|𝑛⟩$ 给出的对 $\text{H},{𝑒}^{-\text{ i }\frac{1}{\mathrm{\hslash }}\text{ H }𝑡},𝐾\left({𝑡}_0,𝑡,{𝑥}_0,𝑞\right)$ 的分解

$$\begin{array}{ccc}\text{H }& =& \sum _{𝑛}{𝐸}_{𝑛}|𝑛⟩⟨𝑛|\\ {𝑒}^{-\text{ i }\frac{1}{\mathrm{\hslash }}\text{ H }𝑡}& =& \sum _{𝑛}{𝑒}^{-\text{ i }\frac{1}{\mathrm{\hslash }}{𝐸}_{𝑛}𝑡}|𝑛⟩⟨𝑛|\\ 𝐾& =& \sum _{𝑛}{𝑒}^{-\text{ i }\frac{1}{\mathrm{\hslash }}{𝐸}_{𝑛}𝑡}⟨𝑥|𝑛⟩⟨𝑛|{𝑥}_0⟩\end{array}$$

$𝐾={\left(\frac{𝑚𝜔}{𝜋\mathrm{\hslash }}\right)}^{\frac{1}{2}}{𝑒}^{-\text{ i }\frac{1}{2}𝜔𝑇}𝑅\left({𝑒}^{-\text{ i }𝜔𝑇}\right)$ 再让 $𝑅$ 进行 Taylor 展开, 其中 ${𝑒}^{-\text{ i }\frac{1}{2}𝜔𝑇}{𝑒}^{-\text{ i }𝑛𝜔𝑇}={𝑒}^{-\text{ i }\left(\frac{1}{2}+𝑛\right)𝜔𝑇}$ 对应能级 ${𝐸}_{𝑛}=\left(\frac{1}{2}+𝑛\right)\mathrm{\hslash }𝜔$