跳到主要内容

東京大学 新領域創成科学研究科 複雑理工学専攻 2018年8月実施 専門基礎科目 第8問

Author​

Miyake

Description​

Consider a one-dimensional quantum mechanical harmonic oscillator described by the Hamiltonian

H^=p^22m+mω2x^22,\hat H=\frac{\hat p^2}{2m}+\frac{m\omega^2\hat x^2}{2},

where mm is the mass of the point mass, ω\omega is a parameter with the dimension of the angular frequency, x^\hat x is the position operator and p^\hat p is the momentum operator. The creation and annihilation operators a^†\hat a^\dagger and a^\hat a are defined as

a^†=mω2ℏ(x^−imωp^),a^=mω2ℏ(x^+imωp^).\begin{gathered} \hat a^\dagger=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x-\frac{i}{m\omega}\hat p\right),\\ \hat a=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x+\frac{i}{m\omega}\hat p\right). \end{gathered}

Here, ii is the imaginary unit and ℏ\hbar is the Planck's constant hh divided by 2π2\pi. The commutation relation [a^,a^†]=1[\hat a,\hat a^\dagger]=1 may be used as necessary. The expected value of a physical quantity AA expressed by the operator A^\hat A is written as ⟨A^⟩\langle\hat A\rangle, and the standard deviation,

ΔA≡⟨(A^−⟨A^⟩)2⟩.\Delta A\equiv\sqrt{\langle(\hat A-\langle\hat A\rangle)^2\rangle}.

(Q.1) Express the position operator x^\hat x and the momentum operator p^\hat p in terms of the creation and annihilation operators a^†\hat a^\dagger and a^\hat a.

(Q.2) The ground state ∣0⟩|0\rangle satisfies a^∣0⟩=0\hat a|0\rangle=0. Answer the following questions on the ground state.

(1) Find the expectation values ⟨x^⟩\langle\hat x\rangle, ⟨x^2⟩\langle\hat x^2\rangle, ⟨p^⟩\langle\hat p\rangle, ⟨p^2⟩\langle\hat p^2\rangle.

(2) Find the product of the standard deviations of the position and the momentum (ΔxΔp)(\Delta x\Delta p).

(Q.3) Rewrite the Hamiltonian H^\hat H in terms of the number operator n^=a^†a^\hat n=\hat a^\dagger\hat a.

(Q.4) Express the commutation relation [a^,(a^†)n][\hat a,(\hat a^\dagger)^n] (nn is a natural number) in terms of a^†\hat a^\dagger and nn.

(Q.5) The nn-th excited state (nn is a natural number) can be written as

∣n⟩=1n!(a^†)n∣0⟩.|n\rangle=\frac1{\sqrt{n!}}(\hat a^\dagger)^n|0\rangle.

Show that ∣n⟩|n\rangle is an eigenstate of the number operator n^\hat n, and find the eigenvalue of ∣n⟩|n\rangle for the Hamiltonian H^\hat H.

(Q.6) Consider a state expressed in terms of a complex number α\alpha

∣α⟩=e−∣α∣2/2eαa^†∣0⟩=e−∣α∣2/2∑n=0∞αnn!(a^†)n∣0⟩.\begin{gathered} |\alpha\rangle=e^{-|\alpha|^2/2}e^{\alpha\hat a^\dagger}|0\rangle\\ =e^{-|\alpha|^2/2}\sum_{n=0}^\infty\frac{\alpha^n}{n!}(\hat a^\dagger)^n|0\rangle. \end{gathered}

Answer the following questions on this state. ee is the base of the natural logarithm.

(1) Show that this state is an eigenstate of the annihilation operator a^\hat a. Find the corresponding eigenvalue.

(2) Obtain the expectation value ⟨n^⟩\langle\hat n\rangle and the standard deviation Δn\Delta n of the number operator n^=a^†a^\hat n=\hat a^\dagger\hat a.

题目描述​

考虑由下列 Hamiltonian 描述的一维量子谐振子:

H^=p^22m+mω2x^22\hat H=\frac{\hat p^2}{2m}+\frac{m\omega^2\hat x^2}{2}

其中 mm 为质点质量,ω\omega 是具有角频率量纲的参数,x^\hat x 为位置算符,p^\hat p 为动量算符。产生算符 a^†\hat a^\dagger 与湮灭算符 a^\hat a 定义为

a^†=mω2ℏ(x^−imωp^),a^=mω2ℏ(x^+imωp^)。\begin{gathered} \hat a^\dagger=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x-\frac{i}{m\omega}\hat p\right),\\ \hat a=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x+\frac{i}{m\omega}\hat p\right)。 \end{gathered}

ii 是虚数单位,ℏ\hbar 为 Planck 常数 hh 除以 2π2\pi。必要时可使用对易关系 [a^,a^†]=1[\hat a,\hat a^\dagger]=1。算符 A^\hat A 所表示物理量 AA 的期望值记为 ⟨A^⟩\langle\hat A\rangle,标准差定义为

ΔA≡⟨(A^−⟨A^⟩)2⟩\Delta A\equiv\sqrt{\langle(\hat A-\langle\hat A\rangle)^2\rangle}

(Q.1) 用产生算符 a^†\hat a^\dagger 和湮灭算符 a^\hat a 表示位置算符 x^\hat x 与动量算符 p^\hat p。

(Q.2) 基态 ∣0⟩|0\rangle 满足 a^∣0⟩=0\hat a|0\rangle=0。就基态回答:

(1) 求期望值 ⟨x^⟩\langle\hat x\rangle、⟨x^2⟩\langle\hat x^2\rangle、⟨p^⟩\langle\hat p\rangle、⟨p^2⟩\langle\hat p^2\rangle。

(2) 求位置与动量的标准差乘积 ΔxΔp\Delta x\Delta p。

(Q.3) 用粒子数算符 n^=a^†a^\hat n=\hat a^\dagger\hat a 改写 Hamiltonian H^\hat H。

(Q.4) 用 a^†\hat a^\dagger 和 nn 表示对易关系 [a^,(a^†)n][\hat a,(\hat a^\dagger)^n],其中 nn 为自然数。

(Q.5) 第 nn 激发态(nn 为自然数)可写为

∣n⟩=1n!(a^†)n∣0⟩|n\rangle=\frac1{\sqrt{n!}}(\hat a^\dagger)^n|0\rangle

证明 ∣n⟩|n\rangle 是粒子数算符 n^\hat n 的本征态,并求 ∣n⟩|n\rangle 对于 Hamiltonian H^\hat H 的本征值。

(Q.6) 考虑用复数 α\alpha 表示的状态

∣α⟩=e−∣α∣2/2eαa^†∣0⟩=e−∣α∣2/2∑n=0∞αnn!(a^†)n∣0⟩。\begin{gathered} |\alpha\rangle=e^{-|\alpha|^2/2}e^{\alpha\hat a^\dagger}|0\rangle\\ =e^{-|\alpha|^2/2}\sum_{n=0}^\infty\frac{\alpha^n}{n!}(\hat a^\dagger)^n|0\rangle。 \end{gathered}

就这一状态回答下列问题。ee 为自然对数的底。

(1) 证明该状态是湮灭算符 a^\hat a 的本征态,并求相应本征值。

(2) 求粒子数算符 n^=a^†a^\hat n=\hat a^\dagger\hat a 的期望值 ⟨n^⟩\langle\hat n\rangle 与标准差 Δn\Delta n。

Kai​

(問1)​

x^=ℏ2mω(a^†+a^)p^=iℏmω2(a^†−a^)\begin{aligned} \hat{x} &= \sqrt{\frac{\hbar}{2 m \omega}} \left( \hat{a}^\dagger + \hat{a} \right) \\ \hat{p} &= i \sqrt{\frac{\hbar m \omega}{2}} \left( \hat{a}^\dagger - \hat{a} \right) \end{aligned}

(問2)​

(1)​

a^∣0⟩=0\hat{a} | 0 \rangle = 0 より ⟨0∣a^†=0\langle 0 | \hat{a}^\dagger = 0 であることに注意して、

⟨x^⟩=ℏ2mω⟨0∣(a^†+a^)∣0⟩=0⟨x^2⟩=ℏ2mω⟨0∣((a^†)2+(a^)2+a^†a^+a^a^†)∣0⟩=ℏ2mω⟨0∣((a^†)2+(a^)2+2a^†a^+1)∣0⟩=ℏ2mω⟨p^⟩=iℏmω2⟨0∣(a^†−a^)∣0⟩=0⟨p^2⟩=−ℏmω2⟨0∣((a^†)2+(a^)2−a^†a^−a^a^†)∣0⟩=−ℏmω2⟨0∣((a^†)2+(a^)2−2a^†a^−1)∣0⟩=ℏmω2\begin{aligned} \langle \hat{x} \rangle &= \sqrt{\frac{\hbar}{2 m \omega}} \langle 0 | \left( \hat{a}^\dagger + \hat{a} \right) | 0 \rangle\\ &= 0\\ \langle \hat{x}^2 \rangle &= \frac{\hbar}{2 m \omega} \langle 0 | \left( \left( \hat{a}^\dagger \right)^2 + \left( \hat{a} \right)^2 + \hat{a}^\dagger \hat{a} + \hat{a} \hat{a}^\dagger \right) | 0 \rangle\\ &= \frac{\hbar}{2 m \omega} \langle 0 | \left( \left( \hat{a}^\dagger \right)^2 + \left( \hat{a} \right)^2 + 2 \hat{a}^\dagger \hat{a} + 1 \right) | 0 \rangle\\ &= \frac{\hbar}{2 m \omega}\\ \langle \hat{p} \rangle &= i \sqrt{\frac{\hbar m \omega}{2}} \langle 0 | \left( \hat{a}^\dagger - \hat{a} \right) | 0 \rangle\\ &= 0\\ \langle \hat{p}^2 \rangle &= - \frac{\hbar m \omega}{2} \langle 0 | \left( \left( \hat{a}^\dagger \right)^2 + \left( \hat{a} \right)^2 - \hat{a}^\dagger \hat{a} - \hat{a} \hat{a}^\dagger \right) | 0 \rangle\\ &= - \frac{\hbar m \omega}{2} \langle 0 | \left( \left( \hat{a}^\dagger \right)^2 + \left( \hat{a} \right)^2 - 2 \hat{a}^\dagger \hat{a} - 1 \right) | 0 \rangle\\ &= \frac{\hbar m \omega}{2} \end{aligned}

を得る。( ⟨0∣0⟩=1\langle 0 | 0 \rangle = 1 を仮定した。)

(2)​

ΔA=⟨(A^−⟨A^⟩)2⟩=⟨A^2⟩−⟨A^⟩2\begin{aligned} \Delta A &= \sqrt{ \langle ( \hat{A} - \langle \hat{A} \rangle )^2 \rangle } \\ &= \sqrt{ \langle \hat{A}^2 \rangle - \langle \hat{A} \rangle^2 } \end{aligned}

であるから、 (1) より、

ΔxΔp=ℏ2mω⋅ℏmω2=ℏ2\begin{aligned} \Delta x \Delta p &= \sqrt{ \frac{\hbar}{2 m \omega} } \cdot \sqrt{ \frac{\hbar m \omega}{2} } \\ &= \frac{\hbar}{2} \end{aligned}

を得る。

(問3)​

H^=ℏω(n^+12)\begin{aligned} & \hat{H} = \hbar \omega \left( \hat{n} + \frac{1}{2} \right) \end{aligned}

(問4)​

[a^,a^†]=1[a^,(a^†)2]=a^†[a^,a^†]+[a^,a^†]a^†=2a^†[a^,(a^†)3]=a^†[a^,(a^†)2]+[a^,a^†](a^†)2=3(a^†)2[a^,(a^†)4]=a^†[a^,(a^†)3]+[a^,a^†](a^†)3=4(a^†)3\begin{aligned} \left[ \hat{a}, \hat{a}^\dagger \right] &= 1 \\ \left[ \hat{a}, \left( \hat{a}^\dagger \right)^2 \right] &= \hat{a}^\dagger \left[ \hat{a}, \hat{a}^\dagger \right] + \left[ \hat{a}, \hat{a}^\dagger \right] \hat{a}^\dagger \\ &= 2 \hat{a}^\dagger \\ \left[ \hat{a}, \left( \hat{a}^\dagger \right)^3 \right] &= \hat{a}^\dagger \left[ \hat{a}, \left( \hat{a}^\dagger \right)^2 \right] + \left[ \hat{a}, \hat{a}^\dagger \right] \left( \hat{a}^\dagger \right)^2 \\ &= 3 \left( \hat{a}^\dagger \right)^2 \\ \left[ \hat{a}, \left( \hat{a}^\dagger \right)^4 \right] &= \hat{a}^\dagger \left[ \hat{a}, \left( \hat{a}^\dagger \right)^3 \right] + \left[ \hat{a}, \hat{a}^\dagger \right] \left( \hat{a}^\dagger \right)^3 \\ &= 4 \left( \hat{a}^\dagger \right)^3 \end{aligned}

一般に [A,BC]=[A,B]C+B[A,C][A,BC]=[A,B]C+B[A,C] を用いた帰納法により、

[a^,(a^†)n]=n(a^†)n−1\begin{aligned} \left[ \hat{a}, \left( \hat{a}^\dagger \right)^n \right] &= n \left( \hat{a}^\dagger \right)^{n-1} \end{aligned}

である。

(問5)​

n^∣n⟩=1n!a^†a^(a^†)n∣0⟩=1n!a^†{(a^†)na^+n(a^†)n−1}∣0⟩=n∣n⟩\begin{aligned} \hat{n} | n \rangle &= \frac{1}{\sqrt{n!}} \hat{a}^\dagger \hat{a} \left( \hat{a}^\dagger \right)^n | 0 \rangle \\ &= \frac{1}{\sqrt{n!}} \hat{a}^\dagger \left\{ \left( \hat{a}^\dagger \right)^n \hat{a} + n \left( \hat{a}^\dagger \right)^{n-1} \right\} | 0 \rangle \\ &= n | n \rangle \end{aligned}

であるから、 ∣n⟩| n \rangle は n^\hat{n} の固有値 nn に属する固有状態である。 また、 ∣n⟩| n \rangle は H^\hat{H} の固有値

ℏω(n+12)\begin{aligned} & \hbar \omega \left( n + \frac{1}{2} \right) \end{aligned}

に属する固有状態である。

(問6)​

(1)​

a^∣α⟩=e−∣α∣22∑n=0∞αnn!a^(a^†)n∣0⟩=e−∣α∣22∑n=1∞αnn!a^(a^†)n∣0⟩        (∵a^∣0⟩=0)=e−∣α∣22∑n=1∞αnn!{(a^†)na^+n(a^†)n−1}∣0⟩        (∵(問4))=e−∣α∣22∑n=1∞αn(n−1)!(a^†)n−1∣0⟩        (∵a^∣0⟩=0)=α∣α⟩\begin{aligned} \hat{a} | \alpha \rangle &= e^{ - \frac{|\alpha|^2}{2} } \sum_{n=0}^\infty \frac{\alpha^n}{n!} \hat{a} \left( \hat{a}^\dagger \right)^n | 0 \rangle\\ &= e^{ - \frac{|\alpha|^2}{2} } \sum_{n=1}^\infty \frac{\alpha^n}{n!} \hat{a} \left( \hat{a}^\dagger \right)^n | 0 \rangle \ \ \ \ \ \ \ \ ( \because \hat{a} | 0 \rangle = 0 )\\ &= e^{ - \frac{|\alpha|^2}{2} } \sum_{n=1}^\infty \frac{\alpha^n}{n!} \left\{ \left( \hat{a}^\dagger \right)^n \hat{a} + n \left( \hat{a}^\dagger \right)^{n-1} \right\} | 0 \rangle \ \ \ \ \ \ \ \ ( \because \text{(問4)} )\\ &= e^{ - \frac{|\alpha|^2}{2} } \sum_{n=1}^\infty \frac{\alpha^n}{(n-1)!} \left( \hat{a}^\dagger \right)^{n-1} | 0 \rangle \ \ \ \ \ \ \ \ ( \because \hat{a} | 0 \rangle = 0 )\\ &= \alpha | \alpha \rangle \end{aligned}

であるから、 ∣α⟩| \alpha \rangle は a^\hat{a} の固有値 α\alpha に属する固有状態である。

(2)​

⟨n^⟩=⟨α∣a^†a^∣α⟩=∣α∣2⟨n^2⟩=⟨α∣a^†a^a^†a^∣α⟩=∣α∣2⟨α∣a^a^†∣α⟩=∣α∣2⟨α∣(a^†a^+1)∣α⟩=∣α∣2(∣α∣2+1)∴    Δn2=⟨n^2⟩−⟨n^⟩2=∣α∣2(∣α∣2+1)−∣α∣4=∣α∣2∴    Δn=∣α∣\begin{aligned} \langle \hat{n} \rangle &= \langle \alpha | \hat{a}^\dagger \hat{a} | \alpha \rangle \\ &= | \alpha |^2 \\ \langle \hat{n}^2 \rangle &= \langle \alpha | \hat{a}^\dagger \hat{a} \hat{a}^\dagger \hat{a} | \alpha \rangle \\ &= | \alpha |^2 \langle \alpha | \hat{a} \hat{a}^\dagger | \alpha \rangle \\ &= | \alpha |^2 \langle \alpha | \left( \hat{a}^\dagger \hat{a} + 1 \right) | \alpha \rangle \\ &= | \alpha |^2 \left( | \alpha |^2 + 1 \right) \\ \therefore \ \ \ \ \Delta n^2 &= \langle \hat{n}^2 \rangle - \langle \hat{n} \rangle^2 \\ &= | \alpha |^2 \left( | \alpha |^2 + 1 \right) - | \alpha |^4 \\ &= | \alpha |^2 \\ \therefore \ \ \ \ \Delta n &= | \alpha | \end{aligned}

なお、⟨0∣0⟩=1\langle0|0\rangle=1 のとき ⟨m∣n⟩=δmn\langle m|n\rangle=\delta_{mn} なので、

⟨α∣α⟩=e−∣α∣2∑n=0∞∣α∣2nn!=1.\langle\alpha|\alpha\rangle =e^{-|\alpha|^2}\sum_{n=0}^\infty\frac{|\alpha|^{2n}}{n!}=1.

Reference​