標籤:

量子光學數學準備一

這本書從1.3.3節和陳希孺書有不同的內容,首先多出了介紹四個生成函數的內容,其次陳書中只講了統計三大分布,正態分布,二項分布,和泊松分布,當然也有伽馬分布。

這部分是難以理解的新內容,因為引入的各種生成函數,從動機上難以接受。

生成函數的百度百科,其中包括普通型生成函數和指數型生成函數,可見生成函數(Generating functions)在數學上和其他領域是有大用處的。

車比雪夫不等式(Chebyshev inequality)

g(x) 是非負實函數, K 是某個正數,概率P[g(x)geqslant K]g(x)大於 K 的概率,也就是變數 x 處於區域 D{D|g(x)geqslant K} 的概率,即

P[g(x)geqslant K]=int_Dp(x)dx

很容易證明車比雪夫不等式

P[g(x)geqslant K]leqslant langle g(x)
angle/K

該不等式是很寬的條件。和陳書中不同的是,陳書中這個不等式取 g(x)=x 的特例情況叫做馬爾科夫不等式。陳書中車比雪夫不等式,是這個式子中取 g(x)equiv (Delta x)^2 的特殊情況。對於這個知識點,個人覺得用Mandel的體系更加好。而且這裡簡要說明一下車比雪夫不等式的意義,有時我們從已經掌握的知識,無法知道變數的分布函數 p(x) ,但是我們知道變數的均值,我們就可以很粗糙的得到一個變數大於某個值的概率的上限是多少,雖然這個上限很粗糙,但是很多時候總比概率上限1來得實際的多。


矩生成函數(Moment generating function)也有叫母函數的(但是這裡的翻譯不知道對不對,總感覺矩生成函數有點怪怪的)百度詞條:矩量母函數,定義如下:

M(xi)equivlangle e^{xxi}
angle=int e^{xxi}p(x)dx

如果將指數部分 e^{xxi} 展開成關於x的冪級數,可以得到關於各階原點矩的等式:

M(xi)=sumlimits_{r=0}^inftyfrac{v_r xi^r}{r!}

r階原點矩可以對矩量母函數在原點處求r階導得到,對於變數 x 為離散隨機變數 n ,矩量母函數可以表示為求和的形式。

前面對於隨機變數是離散值的情況給出了階乘矩的定義,同樣有階乘矩母函數,將 M(xi)=sumlimits_{r=0}^inftyfrac{v_r xi^r}{r!} 中的r階原點矩,換成r階階乘矩 langle n^{(r)}
angle 即得階乘矩母函數。定義為:

F(xi)equivlangle(1+xi)^n
angle=sumlimits_{r=0}^inftyfrac{langle n^{(r)}
angle}{r!}xi^r


含有虛數的特徵函數,感覺非常的熟悉,這和熱統中的配分函數很像,而且xiang函數傅里變換中的基函數形式。定義特徵函數為:

C(xi)equivlangle e^{ixxi}
angle=int e^{ixxi}p(x)dx

其實特徵函數就是 p(x) 的傅里葉變換,當 p(x) 是平方可積時,這和一般的傅里葉變換的定義一樣。對特徵函數進行傅里葉逆變換就得到概率密度函數。

我們知道柯西分布的隨機變數的一階原點矩是不收斂的,所以矩量母函數也是不收斂的,但是柯西分布的特徵函數卻可以存在。

特徵函數有著非常豐富的數學性質,Mandel在書中強調,整本書都會用到這些性質,所以記住書中次數給出的特徵函數的性質,非常有必要

(a) C(0)=1

(b) |C(xi)|leqslant C(0)

(c) C(xi) 在實軸上是連續的,即便 p(x) 是不連續的

(d) C(-xi)=C^*(xi) ,由 p(x) 為實數函數可以推出這個性質。

(e) C(xi) 是正定的,也就是說對於任意的實數 xi_1,xi_2,dots,xi_N 和任意的複數 a_1,a_2,dots,a_N 滿足以下不等式:

sumlimits_{i=1}^Nsumlimits_{j=1}^N a_i^*a_jC(xi_j-xi_i)geqslant0

這個定理的重要性不能很容易看出來,在數學上斷言,大類正定函數的傅里葉變換是非負的,而大類非負函數的傅里葉變換是正定的,比方完全可積函數就是這類函數。因此只要滿足上述正定要求,且 C(0)=1 ,就是特徵函數。

矩量母函數,階乘矩母函數,特徵函數三者直接的關係:

left.egin{aligned} M(ixi)&=C(xi)\ F(e^{ixi}-1)&=C(xi)\ F(xi)&=M[ln(1+xi)]\ end{aligned} 
ight}

如果概率密度函數 p(z) 中,自由變數是複數,我本人在學習傅里葉變換的時候都是只有一個實變數的函數,雖然函數值可以是實數或複數。這邊也到變數本身是複數的情況,因為複數變數可以看成是兩個實數變數,所以可以對這兩個實數變數進行二維傅里葉變換。

則此時的特徵函數為:

C(u)=int e^{u^*z-uz^*}p(z)d^2z


矩量生成函數取對數,可以得到累積量生成函數cumulants generating function

顧名思義,矩量生成函數生成的各階原點矩,累積量生成函數生成各階累積量。

K(xi)equivln(M(xi))K(xi)=sumlimits_{r=1}^inftyfrac{kappa_rxi^r}{r!}

累計量生成函數的性質,處理統計獨立變數方便。


推薦閱讀:

S^2上的量子力學與Higgs型形變代數
傅里葉變換中的不確定性原理(一)
愛因斯坦曾預言黑洞,卻為何在量子力學大爭論中輸給他3次?
電子雙縫干涉實驗中,不觀測時電子是波是怎麼證明的?
Quantum Information 2

TAG:量子物理 |