不自量力 -- 表象與矩陣
在上一篇里介紹了可觀察量與算符,? 其中提到了任意算符的特征函數(shù)都可以組成標(biāo)準(zhǔn)正交系,? 即任意波函數(shù)都可以使用特定可觀察量表達(dá).? 當(dāng)體系或波函數(shù)使用某個可觀察量 O 表示時,? 稱為處于 O 表象(representation).? 對于之前討論的情況,? 一直都是用坐標(biāo)作波函數(shù)的因變量,? 所以之前的討論是處于坐標(biāo)表象的.
為了方便討論,? 這篇專欄都有假設(shè):? 算符都不會隨時間變化,? 特征值都是分立的,? 特征函數(shù)都是歸一正交的.? 對于更一般的情況也有類似的結(jié)論,? 只是式子更復(fù)雜了.

狄拉克符號
狄拉克符號把任意波函數(shù)?Ψ 記為右矢 |Ψ?.? 但在深入講解前,? 先了解一下狄拉克符號的書寫約定.
記可觀察量 O 的特征方程??為?
,? 或在沒有歧義下可以記為?
?和
.
因為 O? 的特征函數(shù)構(gòu)成標(biāo)準(zhǔn)正交系,? 所以矢基 {|n?} 組成了函數(shù)空間里的一組基,? 假設(shè)下標(biāo) n 從1開始,? 那么在 O 表象里記? ?以此類推.? 對波函數(shù) Ψ 在 O 表象下展開得
,? 寫為右矢形式為?
,? 可以看到在這種表達(dá)里 |Ψ? 也是一個向量
.
記右矢?|Ψ? 的轉(zhuǎn)置共軛為左矢?,? 根據(jù)矩陣乘法可以有?
,? 可以看到左矢與右矢相乘等于兩函數(shù)的內(nèi)積 (兩向量的內(nèi)積也是這樣定義的),? 對于兩任意波函數(shù) Φ 與?Ψ 的內(nèi)積 (Φ,Ψ)?寫為狄拉克符號?(?Φ|)·(|Ψ?),? 簡寫為??Φ|Ψ?.? 根據(jù)矩陣乘法,? 乘積 |Φ??Ψ| 為矩陣,? 詳細(xì)在下面討論.? 與向量類似,? 右矢 |Ψ? 為函數(shù)空間上的一個向量,? 當(dāng)不指定表象時 |Ψ? 無法寫出準(zhǔn)確表示,? 在下面會詳細(xì)討論變換表象時 |Ψ? 的值如何變化.
波函數(shù) Ψ在 O 表象下的特定描述?Ψ(O),? 類比內(nèi)積??n|Ψ?,? 則?Ψ(O) 可以寫為??O|Ψ?,? 所以函數(shù)內(nèi)積又可以寫為?.

算符的矩陣表示
考慮算符 Q? 作用在波函數(shù)?Ψ 上 Φ = Q?Ψ.? 在 O 表象下,? 對波函數(shù)展開為?,? 那么算符作用在波函數(shù)上可以寫為?
,? 這條式子求關(guān)于 ψ? 的內(nèi)積有?
.? 因為 ψ 是歸一正交的,? 即?(ψ?,ψ?) = δ?,?,? 又記?
,? 于是得到?
,? 不難看到這個式子和"矩陣與向量的乘法"是一致的,? 于是稱?
?為算符 Q? 在 O 表象下的矩陣表示,? 同樣也可以記這個矩陣為 Q?,? 算符作用在波函數(shù)上寫成狄拉克符號為
? (在很多地方為了區(qū)分算符和矩陣,? 會把后者記為 Q 而不是 Q?).
因為算符 Q? 是厄米算符,? 所以矩陣 Q? 也是厄米矩陣.? 證明:?,? 即?
.
特殊地,? 算符 O? 在自身表象里的矩陣表示為對角矩陣,? 證明:?.

公式的矩陣表示
可觀察量 Q 的期望值為?,? 對?Ψ 在 O 表象下進(jìn)行展開得到?
,? 可以看到積分式與上面定義?Q? 的矩陣元相同,? 于是有?
,? 根據(jù)矩陣乘法不難得出?
,? 這就是 Q 的期望值在 O 表象里的矩陣表示.
算符?Q? 的特征方程?,? 寫為矩陣形式得到?Q?|Ψ? =?χ|Ψ?,? 移項得?
,? 其中 I? 為單位矩陣,? 根據(jù)線代可以解出有一系列特征值?{χ?} 和相應(yīng)的特征向量 {|φ??}.
薛定諤方程?,? 對?Ψ 在 O 表象下展開,? 再求關(guān)于 ψ? 的內(nèi)積得到?
,? 根據(jù)特征函數(shù)的歸一正交性,? 并且記
,? 得到?
,? 于是可以寫出矩陣形式
.

酉變換
考慮?O 和 Q 兩個表象,? 設(shè) O? 的特征函數(shù)為 {ψ},? Q? 的特征函數(shù)為 {φ},? 對 {φ} 以 {ψ} 展開有 ,? 其中?
.? 根據(jù)特征函數(shù)的歸一正交性得?
,? 展開得?
,? 由歸一正交性得
,? 綜上可以得到?
.? 由逆矩陣的定義知道這時滿足?
,? 那么則稱 S? 為酉矩陣(或幺正矩陣),? S? 所表示的變換為酉變換(或幺正變換).
考慮一個波函數(shù)?Ψ,? 那么?Ψ 在 O 表象與 Q 表象里展開為?,? 對 {φ} 以 {ψ} 展開?
,? 因為這是恒等式,? 所以有
,? 這表明 S? 是?Q 表象到?O 表象的變換.
考慮一個可觀察量 P,? 那么 P? 在 O 表象與 Q 表象里分別表示為?,? 對 {φ} 以 {ψ} 展開?
,? 根據(jù)矩陣乘法可以寫出
,? 這個式子就是可觀測量 P 在 O 與 Q 兩個表象里的關(guān)系,? 這個式子的幾何意義是非常強(qiáng)的:? 先作 Q 變換到 O,? 再作 O 下的變換 P,? 最后作 O 變換到 Q,? 這三步就等于作 Q 下的變換 P.

矩陣的狄拉克符號表示
任意波函數(shù)?Ψ 在 O 表象下展開為?,? 記 |n??為 ψ?,? 那么這條式子寫為?
,? 因為求和與 |Ψ? 無關(guān),? 于是得到
,? 這個式子表示了特征矢的封閉性.
考慮算符 Q? 作用在波函數(shù)上?,? 寫為狄拉克符號形式為?
,? 對這個式子進(jìn)行展開得?
,? 左乘特征左矢 ?m| 得到?
,? 于是算符 Q? 的矩陣元為?
,? 這與上面求得的是一致的.? 對上式再左乘特征右矢 |m??并對 m 累加可以得到?
,? 由特征矢的封閉性可以得到?
,? 于是得到矩陣 Q? 的狄拉克符號表示?
.
由矩陣乘法的轉(zhuǎn)置規(guī)則??得到算符與左矢作用的式子
,? 如果 Q? 是厄米算符則有?
.

占有數(shù)表象與湮滅產(chǎn)生算符
在傳統(tǒng)的量子力學(xué)里,? 只能描述特定粒子數(shù)目的系統(tǒng),? 而為了更方便地描述多量子系統(tǒng),? 引入了二次量子化(second quantization, 或正則量子化 canonical quantization).? 在二次量子化里提出了一個可觀測量:? 占有數(shù)(occupation number),? 占有數(shù)描述了當(dāng)前系統(tǒng)處于某個特定態(tài)的粒子數(shù)目.? 并且提出兩個相應(yīng)的算符:? 湮滅算符(annihilation operator) 和 產(chǎn)生算符(creation operator),? 湮滅算符描述了處于某個態(tài)的粒子數(shù)目減一,??產(chǎn)生算符描述了處于某個態(tài)的粒子數(shù)目加一.? 占有數(shù)常記為 N,? 湮滅算符記為?,? 產(chǎn)生算符記為?
?(從算符記號可以看到,? 產(chǎn)生算符并不是湮滅算符的逆,? 這說明產(chǎn)生后湮滅對系統(tǒng)是有影響的).
二次量子化的最簡例子就是線性諧振子,? 關(guān)于線性諧振子可以看我之前發(fā)的專欄.? 解線性諧振子的方程可以得到系統(tǒng)能量為?,? n≥0.? 可以把 ?ω 看作一份量子(quanta),? 那么 n 則是系統(tǒng)的占有數(shù),? 當(dāng)系統(tǒng)處于基態(tài)時能量為 0.5?ω,? 占有數(shù)為0,? 那么這時稱系統(tǒng)能量為零點(diǎn)能(zero-point energy, 或真空能 vacuum energy).
線性諧振子的定態(tài)薛定諤方程為?,? 其中哈密頓算符 H? 為?
?,? 記?
,? 那么 H? 為
,? 并且有?
,? 于是得到 H? 為
.
定義算符 ,? 和它的共軛算符
,? 其中動量算符為
.? 對兩個算符變換坐標(biāo)得到?
,? 那么 H? 重寫為
.? 結(jié)合上面討論知道
表征著占有數(shù) n,? 于是得到占有數(shù)算符?
.
由厄米多項式的遞推關(guān)系可以得出線性諧振子特征函數(shù)的遞推關(guān)系.? 用狄拉克符號記定態(tài)薛定諤方程為?
,? 根據(jù)上面的遞推關(guān)系不難知道有?
,? 于是得到算符 a? 的作用是將系統(tǒng)減去一份量子,? 而它的共軛是將系統(tǒng)加上一份量子,? 所以分別稱為湮滅算符和產(chǎn)生算符.? 不難知道兩個算符的矩陣表達(dá)為?
,? 根據(jù)兩算符的矩陣表達(dá)可以得到占有數(shù)算符的矩陣表達(dá)?
.
由位置算符與動量算符的對易關(guān)系 [x?,p?] = i? 知道,? 湮滅算符和產(chǎn)生算符滿足關(guān)系?,? 當(dāng)滿足這樣的關(guān)系時,? 則稱這兩個算符是玻色子算符.? 另外,? 如果滿足關(guān)系?
?時,? 則稱這是費(fèi)米子算符.? 不難知道,? 在上面的例子里,? 所有量子都是處于??ω 這個能量,? 即符合玻色-愛因斯坦統(tǒng)計分布,? 當(dāng)算符為費(fèi)米子算符時,? 量子符合費(fèi)米-狄拉克統(tǒng)計分布,? 并遵從泡利不相容原理,? 但這都是后話了.

摸了
推一下瑟圖群 [274767696]
封面pid:??43077847