東京大学 新領域創成科学研究科 複雑理工学専攻 2018年8月実施 専門基礎科目 第8問
Author
Miyake
Description
Independent summary
Source: University of Tokyo, AY2019 examination, Problem 8, pp. 15–16 .
For a one-dimensional harmonic oscillator, use
H ^ = p ^ 2 2 m + m ω 2 x ^ 2 2 , a ^ † = m ω 2 ℏ ( x ^ − i p ^ m ω ) , a ^ = m ω 2 ℏ ( x ^ + i p ^ m ω ) . \hat H=\frac{\hat p^2}{2m}+\frac{m\omega^2\hat x^2}{2},\qquad
\hat a^\dagger=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x-\frac{i\hat p}{m\omega}\right),\qquad
\hat a=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x+\frac{i\hat p}{m\omega}\right). H ^ = 2 m p ^ 2 + 2 m ω 2 x ^ 2 , a ^ † = 2ℏ mω ( x ^ − mω i p ^ ) , a ^ = 2ℏ mω ( x ^ + mω i p ^ ) .
Here m m m is the mass, ω \omega ω is an angular-frequency parameter, and ℏ = h / ( 2 π ) \hbar=h/(2\pi) ℏ = h / ( 2 π ) . You may use [ a ^ , a ^ † ] = 1 [\hat a,\hat a^\dagger]=1 [ a ^ , a ^ † ] = 1 . Write expectation values as ⟨ A ^ ⟩ \langle\hat A\rangle ⟨ A ^ ⟩ and standard deviations as Δ A = ⟨ ( A ^ − ⟨ A ^ ⟩ ) 2 ⟩ \Delta A=\sqrt{\langle(\hat A-\langle\hat A\rangle)^2\rangle} Δ A = ⟨( A ^ − ⟨ A ^ ⟩ ) 2 ⟩ .
Solve the definitions for x ^ , p ^ \hat x,\hat p x ^ , p ^ .
For the ground state satisfying a ^ ∣ 0 ⟩ = 0 \hat a|0\rangle=0 a ^ ∣0 ⟩ = 0 , calculate ⟨ x ^ ⟩ , ⟨ x ^ 2 ⟩ , ⟨ p ^ ⟩ , ⟨ p ^ 2 ⟩ \langle\hat x\rangle,\langle\hat x^2\rangle,\langle\hat p\rangle,\langle\hat p^2\rangle ⟨ x ^ ⟩ , ⟨ x ^ 2 ⟩ , ⟨ p ^ ⟩ , ⟨ p ^ 2 ⟩ and Δ x Δ p \Delta x\Delta p Δ x Δ p .
Express H ^ \hat H H ^ using n ^ = a ^ † a ^ \hat n=\hat a^\dagger\hat a n ^ = a ^ † a ^ .
Calculate [ a ^ , ( a ^ † ) n ] [\hat a,(\hat a^\dagger)^n] [ a ^ , ( a ^ † ) n ] for natural n n n .
For ∣ n ⟩ = ( a ^ † ) n ∣ 0 ⟩ / n ! |n\rangle=(\hat a^\dagger)^n|0\rangle/\sqrt{n!} ∣ n ⟩ = ( a ^ † ) n ∣0 ⟩ / n ! , establish its number-operator eigenstate property and determine its energy.
With α ∈ C \alpha\in\mathbb C α ∈ C and
∣ α ⟩ = e − ∣ α ∣ 2 / 2 e α a ^ † ∣ 0 ⟩ = e − ∣ α ∣ 2 / 2 ∑ n = 0 ∞ α n n ! ( a ^ † ) n ∣ 0 ⟩ , |\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, ∣ α ⟩ = e − ∣ α ∣ 2 /2 e α a ^ † ∣0 ⟩ = e − ∣ α ∣ 2 /2 n = 0 ∑ ∞ n ! α n ( a ^ † ) n ∣0 ⟩ ,
prove that ∣ α ⟩ |\alpha\rangle ∣ α ⟩ is an eigenstate of a ^ \hat a a ^ , find its eigenvalue, and calculate ⟨ n ^ ⟩ \langle\hat n\rangle ⟨ n ^ ⟩ and Δ n \Delta n Δ n .
题目描述
考虑一维谐振子,定义
H ^ = p ^ 2 2 m + 1 2 m ω 2 x ^ 2 , a ^ = m ω 2 ℏ ( x ^ + i p ^ m ω ) , a ^ † = m ω 2 ℏ ( x ^ − i p ^ m ω ) . \hat H=\frac{\hat p^2}{2m}+\frac12m\omega^2\hat x^2,\quad
\hat a=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x+\frac{i\hat p}{m\omega}\right),\quad
\hat a^\dagger=\sqrt{\frac{m\omega}{2\hbar}}\left(\hat x-\frac{i\hat p}{m\omega}\right). H ^ = 2 m p ^ 2 + 2 1 m ω 2 x ^ 2 , a ^ = 2ℏ mω ( x ^ + mω i p ^ ) , a ^ † = 2ℏ mω ( x ^ − mω i p ^ ) .
可使用 [ a ^ , a ^ † ] = 1 [\hat a,\hat a^\dagger]=1 [ a ^ , a ^ † ] = 1 ,标准差定义为 Δ A = ⟨ ( A ^ − ⟨ A ^ ⟩ ) 2 ⟩ \Delta A=\sqrt{\langle(\hat A-\langle\hat A\rangle)^2\rangle} Δ A = ⟨( A ^ − ⟨ A ^ ⟩ ) 2 ⟩ 。
写出位置算符 x ^ \hat x x ^ 与动量算符 p ^ \hat p p ^ 关于产生、湮灭算符 a ^ † , a ^ \hat a^\dagger,\hat a a ^ † , a ^ 的表达式;中出现的结果含参数 ℏ , m , ω \hbar,m,\omega ℏ , m , ω 。
对满足 a ^ ∣ 0 ⟩ = 0 \hat a|0\rangle=0 a ^ ∣0 ⟩ = 0 且归一化的谐振子基态:
计算 ⟨ x ^ ⟩ \langle\hat x\rangle ⟨ x ^ ⟩ 、⟨ x ^ 2 ⟩ \langle\hat x^2\rangle ⟨ x ^ 2 ⟩ 、⟨ p ^ ⟩ \langle\hat p\rangle ⟨ p ^ ⟩ 、⟨ p ^ 2 ⟩ \langle\hat p^2\rangle ⟨ p ^ 2 ⟩ ;
由
Δ A = ⟨ A ^ 2 ⟩ − ⟨ A ^ ⟩ 2 \Delta A=\sqrt{\langle\hat A^2\rangle-\langle\hat A\rangle^2} Δ A = ⟨ A ^ 2 ⟩ − ⟨ A ^ ⟩ 2
计算 Δ x Δ p \Delta x\,\Delta p Δ x Δ p 。
用数算符 n ^ \hat n n ^ 写出谐振子 Hamilton 算符 H ^ \hat H H ^ ;确认关系涉及 ℏ ω ( n ^ + 1 2 ) \hbar\omega(\hat n+\tfrac12) ℏ ω ( n ^ + 2 1 ) 。
在 使用的对易关系 [ a ^ , a ^ † ] = 1 [\hat a,\hat a^\dagger]=1 [ a ^ , a ^ † ] = 1 下,证明一般的
[ a ^ , ( a ^ † ) n ] = n ( a ^ † ) n − 1 . [\hat a,(\hat a^\dagger)^n]
=n(\hat a^\dagger)^{n-1}. [ a ^ , ( a ^ † ) n ] = n ( a ^ † ) n − 1 .
对
∣ n ⟩ = 1 n ! ( a ^ † ) n ∣ 0 ⟩ , |n\rangle=\frac1{\sqrt{n!}}(\hat a^\dagger)^n|0\rangle, ∣ n ⟩ = n ! 1 ( a ^ † ) n ∣0 ⟩ ,
验证其为数算符及 Hamilton 算符的本征态,并求相应本征值。
给出的相干态为
∣ α ⟩ = e − ∣ α ∣ 2 / 2 ∑ n = 0 ∞ α n n ! ( a ^ † ) n ∣ 0 ⟩ . |\alpha\rangle
=e^{-|\alpha|^2/2}
\sum_{n=0}^{\infty}\frac{\alpha^n}{n!}
(\hat a^\dagger)^n|0\rangle. ∣ α ⟩ = e − ∣ α ∣ 2 /2 n = 0 ∑ ∞ n ! α n ( a ^ † ) n ∣0 ⟩ .
证明它是 a ^ \hat a a ^ 的本征值为 α \alpha α 的本征态;
在归一化假设下求数算符的均值、方差或标准差;明确得到 Δ n 2 = ∣ α ∣ 2 \Delta n^2=|\alpha|^2 Δ n 2 = ∣ α ∣ 2 、Δ n = ∣ α ∣ \Delta n=|\alpha| Δ n = ∣ α ∣ 。
Kai
(問1)
x ^ = ℏ 2 m ω ( 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} x ^ p ^ = 2 mω ℏ ( a ^ † + a ^ ) = i 2 ℏ mω ( a ^ † − a ^ )
(問2)
(1)
a ^ ∣ 0 ⟩ = 0 \hat{a} | 0 \rangle = 0 a ^ ∣0 ⟩ = 0 より ⟨ 0 ∣ a ^ † = 0 \langle 0 | \hat{a}^\dagger = 0 ⟨ 0∣ a ^ † = 0
であることに注意して、
⟨ x ^ ⟩ = ℏ 2 m ω ⟨ 0 ∣ ( a ^ † + a ^ ) ∣ 0 ⟩ = 0 ⟨ x ^ 2 ⟩ = ℏ 2 m ω ⟨ 0 ∣ ( ( a ^ † ) 2 + ( a ^ ) 2 + a ^ † a ^ + a ^ a ^ † ) ∣ 0 ⟩ = ℏ 2 m ω ⟨ 0 ∣ ( ( a ^ † ) 2 + ( a ^ ) 2 + 2 a ^ † a ^ + 1 ) ∣ 0 ⟩ = ℏ 2 m ω ⟨ 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 − 2 a ^ † 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} ⟨ x ^ ⟩ ⟨ x ^ 2 ⟩ ⟨ p ^ ⟩ ⟨ p ^ 2 ⟩ = 2 mω ℏ ⟨ 0∣ ( a ^ † + a ^ ) ∣0 ⟩ = 0 = 2 mω ℏ ⟨ 0∣ ( ( a ^ † ) 2 + ( a ^ ) 2 + a ^ † a ^ + a ^ a ^ † ) ∣0 ⟩ = 2 mω ℏ ⟨ 0∣ ( ( a ^ † ) 2 + ( a ^ ) 2 + 2 a ^ † a ^ + 1 ) ∣0 ⟩ = 2 mω ℏ = i 2 ℏ mω ⟨ 0∣ ( a ^ † − a ^ ) ∣0 ⟩ = 0 = − 2 ℏ mω ⟨ 0∣ ( ( a ^ † ) 2 + ( a ^ ) 2 − a ^ † a ^ − a ^ a ^ † ) ∣0 ⟩ = − 2 ℏ mω ⟨ 0∣ ( ( a ^ † ) 2 + ( a ^ ) 2 − 2 a ^ † a ^ − 1 ) ∣0 ⟩ = 2 ℏ mω
を得る。( ⟨ 0 ∣ 0 ⟩ = 1 \langle 0 | 0 \rangle = 1 ⟨ 0∣0 ⟩ = 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} Δ A = ⟨( A ^ − ⟨ A ^ ⟩ ) 2 ⟩ = ⟨ A ^ 2 ⟩ − ⟨ A ^ ⟩ 2
であるから、 (1) より、
Δ x Δ p = ℏ 2 m ω ⋅ ℏ 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} Δ x Δ p = 2 mω ℏ ⋅ 2 ℏ mω = 2 ℏ
を得る。
(問3)
H ^ = ℏ ω ( n ^ + 1 2 ) \begin{aligned}
\hat{H}
=
\hbar \omega \left( \hat{n} + \frac{1}{2} \right)
\end{aligned} H ^ = ℏ ω ( n ^ + 2 1 )
(問4)
[ a ^ , a ^ † ] = 1 [ a ^ , ( a ^ † ) 2 ] = a ^ † [ a ^ , a ^ † ] + [ a ^ , a ^ † ] a ^ † = 2 a ^ † [ 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 ^ , a ^ † ] [ a ^ , ( a ^ † ) 2 ] [ a ^ , ( a ^ † ) 3 ] [ a ^ , ( a ^ † ) 4 ] = 1 = a ^ † [ a ^ , a ^ † ] + [ a ^ , a ^ † ] a ^ † = 2 a ^ † = a ^ † [ a ^ , ( a ^ † ) 2 ] + [ a ^ , a ^ † ] ( a ^ † ) 2 = 3 ( a ^ † ) 2 = a ^ † [ a ^ , ( a ^ † ) 3 ] + [ a ^ , a ^ † ] ( a ^ † ) 3 = 4 ( a ^ † ) 3
一般に [ A , B C ] = [ A , B ] C + B [ A , C ] [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} [ a ^ , ( a ^ † ) n ] = n ( a ^ † ) n − 1
である。
(問5)
n ^ ∣ n ⟩ = 1 n ! a ^ † a ^ ( a ^ † ) n ∣ 0 ⟩ = 1 n ! a ^ † { ( a ^ † ) n a ^ + 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 ⟩ = n ! 1 a ^ † a ^ ( a ^ † ) n ∣0 ⟩ = n ! 1 a ^ † { ( a ^ † ) n a ^ + n ( a ^ † ) n − 1 } ∣0 ⟩ = n ∣ n ⟩
であるから、
∣ n ⟩ | n \rangle ∣ n ⟩ は n ^ \hat{n} n ^ の固有値 n n n に属する固有状態である。
また、
∣ n ⟩ | n \rangle ∣ n ⟩ は H ^ \hat{H} H ^ の固有値
ℏ ω ( n + 1 2 ) \begin{aligned}
\hbar \omega \left( n + \frac{1}{2} \right)
\end{aligned} ℏ ω ( n + 2 1 )
に属する固有状態である。
(問6)
(1)
a ^ ∣ α ⟩ = e − ∣ α ∣ 2 2 ∑ n = 0 ∞ α n n ! a ^ ( a ^ † ) n ∣ 0 ⟩ = e − ∣ α ∣ 2 2 ∑ n = 1 ∞ α n n ! a ^ ( a ^ † ) n ∣ 0 ⟩ ( ∵ a ^ ∣ 0 ⟩ = 0 ) = e − ∣ α ∣ 2 2 ∑ n = 1 ∞ α n n ! { ( a ^ † ) n a ^ + n ( a ^ † ) n − 1 } ∣ 0 ⟩ ( ∵ (問4) ) = e − ∣ α ∣ 2 2 ∑ 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} a ^ ∣ α ⟩ = e − 2 ∣ α ∣ 2 n = 0 ∑ ∞ n ! α n a ^ ( a ^ † ) n ∣0 ⟩ = e − 2 ∣ α ∣ 2 n = 1 ∑ ∞ n ! α n a ^ ( a ^ † ) n ∣0 ⟩ ( ∵ a ^ ∣0 ⟩ = 0 ) = e − 2 ∣ α ∣ 2 n = 1 ∑ ∞ n ! α n { ( a ^ † ) n a ^ + n ( a ^ † ) n − 1 } ∣0 ⟩ ( ∵ (問 4 ) ) = e − 2 ∣ α ∣ 2 n = 1 ∑ ∞ ( n − 1 )! α n ( a ^ † ) n − 1 ∣0 ⟩ ( ∵ a ^ ∣0 ⟩ = 0 ) = α ∣ α ⟩
であるから、 ∣ α ⟩ | \alpha \rangle ∣ α ⟩ は
a ^ \hat{a} a ^ の固有値 α \alpha α に属する固有状態である。
(2)
⟨ n ^ ⟩ = ⟨ α ∣ a ^ † a ^ ∣ α ⟩ = ∣ α ∣ 2 ⟨ n ^ 2 ⟩ = ⟨ α ∣ a ^ † a ^ a ^ † a ^ ∣ α ⟩ = ∣ α ∣ 2 ⟨ α ∣ a ^ a ^ † ∣ α ⟩ = ∣ α ∣ 2 ⟨ α ∣ ( a ^ † a ^ + 1 ) ∣ α ⟩ = ∣ α ∣ 2 ( ∣ α ∣ 2 + 1 ) ∴ Δ n 2 = ⟨ 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} ⟨ n ^ ⟩ ⟨ n ^ 2 ⟩ ∴ Δ n 2 ∴ Δ n = ⟨ α ∣ a ^ † a ^ ∣ α ⟩ = ∣ α ∣ 2 = ⟨ α ∣ a ^ † a ^ a ^ † a ^ ∣ α ⟩ = ∣ α ∣ 2 ⟨ α ∣ a ^ a ^ † ∣ α ⟩ = ∣ α ∣ 2 ⟨ α ∣ ( a ^ † a ^ + 1 ) ∣ α ⟩ = ∣ α ∣ 2 ( ∣ α ∣ 2 + 1 ) = ⟨ n ^ 2 ⟩ − ⟨ n ^ ⟩ 2 = ∣ α ∣ 2 ( ∣ α ∣ 2 + 1 ) − ∣ α ∣ 4 = ∣ α ∣ 2 = ∣ α ∣
なお、⟨ 0 ∣ 0 ⟩ = 1 \langle0|0\rangle=1 ⟨ 0∣0 ⟩ = 1 のとき ⟨ m ∣ n ⟩ = δ m n \langle m|n\rangle=\delta_{mn} ⟨ m ∣ n ⟩ = δ mn なので、
⟨ α ∣ α ⟩ = e − ∣ α ∣ 2 ∑ n = 0 ∞ ∣ α ∣ 2 n n ! = 1. \langle\alpha|\alpha\rangle
=e^{-|\alpha|^2}\sum_{n=0}^\infty\frac{|\alpha|^{2n}}{n!}=1. ⟨ α ∣ α ⟩ = e − ∣ α ∣ 2 n = 0 ∑ ∞ n ! ∣ α ∣ 2 n = 1.