算符

来自testwiki
140.120.11.185留言2023年11月2日 (四) 16:21的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

Template:NoteTA Template:物理算符

物理學领域裡,算符(operator)亦稱算子運算子[1],有别于数学的算子,其作用於物理系統的狀態空間,使得物理系統從某種狀態變換為另外一種狀態。這變換可能相當複雜,需要用很多方程式來表明,假若能夠使用算符來代表,可以更為簡單扼要地表達論述。

對於很多案例,假若作用的對象有所迥異,算符的物理行為也會不同;但是,對於有些案例,算符的物理行為具有一般性,這時,就可以將論題抽象化,專注於研究算符的物理行為,不必顧慮到狀態的獨特性。這方法比較適用於一些像對稱性守恆定律的論題。因此,在經典力學裏,算符是很有用的工具。在量子力學裏,算符為理論表述不可或缺的要素。

對於更深奧的理論研究,可能會遇到很艱難的數學問題,算符理論(operator theory)能夠提供高功能的架構,使得數學推導更為簡潔精緻、易讀易懂,更能展現出內中物理涵意。

一般而言,在經典力學裏的算符大多作用於函數,這些函數的參數為各種各樣的物理量,算符將某函數映射為另一種函數。這種算符稱為「函數算符」。在量子力學裏的算符稱為「量子算符」,作用的對象是量子態。量子算符將某量子態映射為另一種量子態。

經典力學

經典力學裏,粒子(或一群粒子)的動力行為是由拉格朗日量(𝐪, 𝐪˙, t)哈密頓量(𝐪, 𝐩)決定;其中,𝐪=(q1,q2,q3,,qn)𝐪˙=(q1˙,q2˙,q3˙,,q˙n)分別是廣義坐標廣義速度𝐩=(p1,p2,p3,,pn)=𝐪˙共軛動量t是時間。

假設拉格朗日量或哈密頓量與某廣義坐標qi無關,則當qi有所改變時,仍舊會保持不變,這意味著粒子的動力行為也會保持不變,對應於qi的共軛動量pi守恆。對於廣義坐標qi的改變,動力行為所具有的不變性是一種對稱性。在經典力學裏,當研讀有關對稱性的課題時,算符是很有用的工具。

特別而言,假設對於某種G的變換運算,物理系統的哈密頓量是個不變量;也就是說,假設SG

S(𝐪, 𝐩)=(𝐪, 𝐩)=(𝐪, 𝐩)

在這案例裏,所有G的元素S都是物理算符,能夠將物理系統從某種狀態變換為另一種狀態;儘管S作用於這物理系統,哈密頓量守恆不變。

舉一個關於平移於空間的簡單例子。「平移算符」Ta能夠將粒子從坐標為qi移動至坐標為qi+a,以方程式表示:

Taf(qi)=f(qia)

其中,f(qi)是描述一群粒子的密度函數。

給定一個對於平移變換具有不變性的物理系統,則儘管Ta的作用,這物理系統的哈密頓量是個不變量,對應於坐標qi的動量pi守恆。

經典力學算符表格

算符 標記 位置 動量
平移算符 T(Δ𝐫) 𝐫𝐫+Δ𝐫 𝐩𝐩
時間演化算符 U(Δt) 𝐫(t)𝐫(t+Δt) 𝐩(t)𝐩(t+Δt)
旋轉算符 R(𝐧^,θ) 𝐫R(𝐧^,θ)𝐫 𝐩R(𝐧^,θ)𝐩
伽利略變換算符 G(𝐯) 𝐫𝐫+𝐯t 𝐩𝐩+m𝐯
宇稱算符 P 𝐫𝐫 𝐩𝐩
時間反演算符 Θ 𝐫𝐫(t) 𝐩𝐩(t)
  • R(𝐧^,θ)旋轉矩陣𝐧^是旋轉軸向量,θ是旋轉角弧。

生成元概念

對於一個微小的平移變換,猜測平移算符的形式為

TϵI+ϵA

其中,I是「單位算符」──變換單位元ϵ是微小參數,A是專門用來設定平移變換生成元

為了簡化論述,只考慮一維案例,推導平移於一維空間的生成元。將平移算符Tϵ作用於函數f(x)

Tϵf(x)=f(xϵ)

由於ϵ很微小,可以泰勒近似f(xϵ)

Tϵf(x)=f(xϵ)f(x)ϵf(x)

重寫平移算符的方程式為

Tϵf(x)=(IϵD)f(x)

其中,導數算符D=ddx是平移群的生成元。

總結,平移群的生成元是導數算符。

指數映射

在正常狀況下,通過指數映射,可以從生成元得到整個。對於平移於空間這案例,重複地做N次微小平移變換Ta/N,來代替一個有限值為a的平移變換Ta

Taf(x)=Ta/NTa/N f(x)

現在,讓N變得無窮大,則因子a/N趨於無窮小:

Taf(x)=limNTa/NTa/Nf(x)=limN(I(a/N)D)Nf(x)

這表達式的極限為指數函數:

Taf(x)=eaDf(x)

核對這結果的正確性,將指數函數泰勒展開冪級數

Taf(x)=(IaD+a2D22!a3D33!+)f(x)

這方程式的右手邊可以重寫為

f(x)af(x)+a22!f(x)a33!f(x)+

這正是f(xa)泰勒級數,也是Taf(x)的原本表達式結果。

物理算符的數學性質是很重要的研讀論題。更多相關內容,請參閱條目C*-代数蓋爾范德-奈馬克定理(Gelfand-Naimark theorem)。

量子力學

量子力學裏,算符的功能被發揮得淋漓盡致。量子力學的數學表述建立於算符的概念。量子系統的量子態可以用態向量設定,態向量是向量空間單位範數向量。在向量空間內,量子算符作用於量子態,使它變換成另一個量子態。由於物體的態向量範數應該保持不變,量子算符必須是厄米算符Template:来源请求。假若變換前的量子態與變換後的量子態,除了乘法數值以外,兩個量子態相同,則稱此量子態為本徵態,稱此乘法數值為本徵值[2]Template:Rp

物理實驗中可以觀測到的物理量稱為可觀察量。每一個可觀察量,都有其對應的算符。可觀察量的算符也許會有很多本徵值與本徵態。根據統計詮釋,每一次測量的結果只能是其中的一個本徵值,而且,測得這本徵值的機會呈機率性,量子系統的量子態也會改變為對應於本徵值的本徵態。[3]Template:Rp

量子算符

假設,物理量O是某量子系統的可觀察量,其對應的量子算符O^可能有很多不同的本徵值Oi與對應的本徵態|ei,這些本徵態|ei,i=1, 2, 3, ,形成了具有正交歸一性基底[3]Template:Rp

ei|ej=δij

其中,δij克羅內克函數

假設,某量子系統的量子態為

|ψ=i ci|ei

其中,ci=ei|ψ是複係數,是在|ei裏找到|ψ機率幅[2]Template:Rp

測量這動作將量子態|ψ改變為本徵態|ei的機率為pi=|ci|2,測量結果是本徵值Oi的機率也為pi

期望值

Template:主條目 在量子力學裏,重複地做同樣實驗,通常會得到不同的測量結果,期望值是理論平均值,可以用來預測測量結果的統計平均值。

採用狄拉克標記,對於量子系統的量子態|ψ,可觀察量O的期望值O定義為[2]Template:Rp

O =def ψ|O^|ψ

其中,O^是對應於可觀察量O的算符。

將算符O^作用於量子態|ψ,會形成新量子態|ϕ

|ϕ=O^|ψ=i ciO^|ei=i ciOi|ei

從左邊乘以量子態ψ|,經過一番運算,可以得到

ψ|ϕ=ψ|O^|ψ=i ciOiψ|ei=i |ci|2Oi=i piOi

所以,每一個本徵值與其機率的乘積,所有乘積的代數和,就是可觀察量O期望值

O=i piOi

將上述定義式加以推廣,就可以用來計算任意函數F(O)的期望值:

F(O)=ψ|F(O^)|ψ

例如,F(O^)可以是O^2,即重複施加算符O^兩次:

O2=ψ|O^2|ψ

對易算符

Template:Main 假設兩種可觀察量AB的算符分別為A^B^,它們的對易算符定義為

[A^,B^] =def A^B^B^A^

對易算符是由兩種算符組合而成的複合算符,當作用於量子態|ψ時,會給出

[A^,B^]|ψ=A^B^|ψB^A^|ψ

假設[A^,B^]=0,則稱這兩種可觀察量為「相容可觀察量」,否則,[A^,B^]0,稱這兩種可觀察量為「不相容可觀察量」。

假設兩種可觀察量為不相容可觀察量,則由於不確定原理,絕無法製備出這兩種可觀察量在任意精確度內的量子系統。注意到這是一個關於製備方面的問題,不是一個關於測量方面的問題。假若精心設計測量實驗,裝備足夠優良的測量儀器,則對於某些量子系統,測量這兩種可觀察量至任意精確度是很容易達成的任務。[4]

厄米算符

每一種經過測量而得到的物理量都是實值,因此,可觀察量O的期望值是實值:

O=O*

對於任意量子態|ψ,這關係都成立:

ψ|O^|ψ=ψ|O^|ψ*

根據伴隨算符的定義,假設O^O^的伴隨算符,則ψ|O^|ψ*=ψ|O^|ψ。因此,

O^=O^

這正是厄米算符的定義。所以,表現可觀察量的算符,都是厄米算符。[3]Template:Rp

矩陣力學

應用基底的完備性,添加單位算符I^=i|eiei|於算符O^的兩旁,可以得到[2]Template:Rp

O^=i,j|eiei|O^|ejej|=ijOi,j|eiej|

其中,Oij=ei|O^|ej是求和式內每一個項目的係數。

所以,量子算符可以用矩陣形式來代表:

O^ =rep (O11O12O1nO21O22O2nOn1On2Onn)

算符O^與它的伴隨算符O^彼此之間的關係為

ei|O^|ej=ej|O^|ei*

所以,分別代表這兩個算符的兩個矩陣,彼此是對方的轉置共軛。對於厄米算符,代表的矩陣是個實值的對稱矩陣

用矩陣代數來計算算符O^怎樣作用於量子態|ψ,假設系統因此變換為量子態|ϕ

|ϕ=O^|ψ

從左邊乘以本徵態ei|,應用基底的完備性,添加單位算符I^於算符的右邊,可以得到

ei|ϕ=ei|O^|ψ=jei|O^|ejej|ψ=ijOijej|ψ

右矢|ϕ|ψ分別用豎矩陣來代表

|ϕ =rep (e1|ϕe2|ϕen|ϕ)     |ψ =rep (e1|ψe2|ψen|ψ)

兩個豎矩陣彼此之間的關係為

(e1|ϕe2|ϕen|ϕ)=(O11O12O1nO21O22O2nOn1On2Onn)(e1|ψe2|ψen|ψ)

假設算符O^是厄米算符,則其所有本徵態都相互正交。[5]以矩陣來代表算符,可以計算出一組本徵值與對應的本徵態,每一次做測量會得到的結果只能是這一組本徵值中之一。由於本徵態的正交性質,可以找到一組基底來表示每一種量子態。解析方塊矩陣的特徵多項式,就可以找到本徵值λ

det(O^λI^)=0

量子算符表格

在這表格裏,算符的表現空間是位置空間。假若表現空間是其它種空間,則表示出的方程式會不一樣。在英文字母上方的尖角號表示整個符號代表的是個量子算符,不是單位向量。

算符名稱 直角坐標系分量表示 向量表示
位置算符 x^=xy^=yz^=z 𝐫^=𝐫
動量算符 一般狀況

p^x=ixp^y=iyp^z=iz

一般狀況

𝐩^=i

電磁場

p^x=ixqAxp^y=iyqAyp^z=izqAz

電磁場(𝐀磁向量勢

𝐩^=iq𝐀

動能算符 平移運動

T^x=22m2x2T^y=22m2y2T^z=22m2z2

平移運動

T^=T^x+T^y+T^z=22m2

電磁場

T^x=12m(ixqAx)2T^y=12m(iyqAy)2T^z=12m(izqAz)2

電磁場(𝐀磁向量勢

T^=𝐩^𝐩^2m=12m(iq𝐀)(iq𝐀)=12m(iq𝐀)2

旋轉運動(I轉動慣量

T^xx=J^x22IxxT^yy=J^y22IyyT^zz=J^z22Izz

旋轉運動

T^=𝐉^𝐉^2I

勢能算符 N/A V^=V(𝐫,t)
能量算符 N/A 含時位勢:

E^=it

不含時位勢:
E^=E

哈密頓算符 N/A H^=T^+V^=𝐩^𝐩^2m+V=p^22m+V
角動量算符 L^x=i(yzzy)L^y=i(zxxz)L^z=i(xyyx) 𝐋^=i𝐫×
自旋算符 S^x=2σxS^y=2σyS^z=2σz

其中,

σx=(0110)

σy=(0ii0)

σz=(1001)

自旋1/2粒子的包立矩陣

𝐒^=2σ

其中,向量σ的分量是包立矩陣。

總角動量算符 J^x=L^x+S^xJ^y=L^y+S^yJ^z=L^z+S^z 𝐉^=𝐋^+𝐒^=i𝐫×+2σ
躍遷矩(電)
(transition moment)
d^x=qxd^y=qyd^z=qz 𝐝^=q𝐫

範例

位置算符

Template:Main 只思考一維問題,將位置算符x^施加於位置本徵態|x,可以得到本徵值x,即粒子的位置:[6]Template:Rp

x^|x=x|x

由於位置基底具有完整性I^= |xx|dx,任意量子態|ψ可以按著位置本徵態形成的基底展開:

|ψ= |xx|ψdx

將位置算符x^施加於量子態|ψ,由於算符x^只作用於右矢|x,與其它數學個體無關,可以移入積分式內:

x^|ψ=x^ |xx|ψdx= x^|xx|ψdx= x|xx|ψdx

左矢ψ|與這方程式的內積為

ψ|x^|ψ= xψ|xx|ψdx

設定量子態|α=x^|ψ。由於位置基底具有完整性I^= |xx|dx,量子態ψ||α的內積,可以按著位置本徵態形成的基底展開為

ψ|α= ψ|xx|αdx= ψ|xx|x^|ψdx

將這兩個積分式加以比較,立刻可以辨識出全等式

x|x^|ψ=xx|ψ

設定量子態|Ψ=x^|ψ。量子態|Ψ|ψ的位置空間表現,即波函數,分別定義為

Ψ(x) =def x|Ψ
ψ(x) =def x|ψ

兩個波函數Ψ(x)ψ(x)之間的關係為

Ψ(x)=xψ(x)

總結,位置算符x^作用於量子態|ψ的結果|Ψ,表現於位置空間,等價於波函數ψ(x)x的乘積Ψ(x)

動量算符

表現於位置空間,一維動量算符為

p^=ix

將動量算符p^施加於量子態|ψ,可以得到類似前一節得到的結果:

x|p^|ψ=ixx|ψ

應用位置基底所具有的完整性,對於任意量子態|ϕ,可以得到更廣義的結果:

ϕ|p^|ψ= ϕ|xx|p^|ψdx= ϕ|x(ix)x|ψdx= ϕ*(x)(ix)ψ(x)dx

其中,ϕ(x)=x|ϕψ(x)=x|ψ分別是量子態|ϕ|ψ表現於位置空間的波函數

假設|ψp^的本徵態,本徵值為p,則可得到

x|p^|ψ=px|ψ=ixx|ψ

|ψ改寫為本徵值為p的本徵態|p,方程式改寫為

ixx|p=px|p

這微分方程式的解析解為

x|p=12πeipx/

所以,動量本徵態的波函數是一個平面波。不需要應用薛丁格方程式,就可以推導求得這出結果。[2]Template:Rp

參閱

參考文獻

Template:Reflist

de:Operator (Mathematik)#Operatoren der Physik

  1. Kittel charles著,洪連輝等譯,固態物理學導論,第681頁。
  2. 2.0 2.1 2.2 2.3 2.4 Template:Citation
  3. 3.0 3.1 3.2 Template:Citation
  4. Template:Citation
  5. Molecular Quantum Mechanics Parts I and II: An Introduction to QUANTUM CHEMISRTY (Volume 1), P.W. Atkins, Oxford University Press, 1977, ISBN 0-19-855129-0
  6. Template:Citation