基爾霍夫積分定理(Kirchhoff integral theorem)表明,假設點P在閉合曲面之外,只考慮單色波,則位於點P的波擾,可以以位於閉合曲面的所有波擾與其梯度表達為[1][2]
- ,
或者
- ;
其中,是從閉合曲面的任意位置到點P位置的位移向量,是其數值大小,是波數,是對於源位置的梯度,是從閉合曲面向內指入的微小面元素向量,是對於閉合曲面的法向導數。
基爾霍夫積分定理是因德國物理學者古斯塔夫·基爾霍夫而命名。這定理廣泛地應用於光學領域。對於很多案例,這定理的方程式可以近似成一種更簡單的形式,稱為基爾霍夫衍射公式。惠更斯-菲涅耳原理的傾斜因子專門依方向的不同而調整由點波源所產生的次波朝著不同方向傳播的波幅。從基爾霍夫衍射公式,可以推導出傾斜因子的確切形式。
導引
根據格林第二恆等式,假若在體積內,函數和都是二次連續可微,則
- ;
其中,閉合曲面是體積的表面,是從閉合曲面向外指出的微小面元素向量。
這方程式的左手邊是積分於體積,右手邊是積分於這體積的閉合曲面。
設定函數滿足單色波的亥姆霍茲波動方程式:
- 。
設定為一種格林函數,是可以描述傳播於自由空間、滿足數值在無窮遠為零的邊界條件的圓球面出射波:
- ;
其中,。
這函數滿足關係式
- ;
其中,是三維狄拉克δ函數。
將、的滿足式代入,則格林第二恆等式變為
- 。
為了標記原因,對換無單撇號與有單撇號的變量。這樣,標記檢驗位置,標記源位置:
- 。
假若波擾的位置在體積內,即點P被包圍在閉合曲面內,則寫為
- 。
上述公式應用於點P被包圍在閉合曲面內的物理案例,即從位於閉合曲面的次波源所發射出的次波,在閉合曲面內的點P所產生的波擾。大多數衍射案例計算,從延伸尺寸波源發射出的波,其波前所形成的閉合曲面,在閉合曲面的所有次波源,所發射出的次波,在閉合曲面外的點P所產生的波擾;對於這些案例,點P在閉合曲面之外,延伸波源在閉合曲面之內。這公式也可以推導為點P在閉合曲面外,波源在閉合曲面之內的物理案例。如右圖所示,假設閉合曲面是由閉合曲面與閉合曲面共同組成,曲面被包圍在曲面的內部。點P處於曲面之內,曲面之外。
讓曲面的半徑趨於無窮大,則對於曲面的任意點Q,、,被積函數趨向於零,快過平方反比的趨向於零,滿足「索莫菲輻射條件」(Sommerfeld radiation condition),因此在曲面的總貢獻為零。[2]所以,在點P的波擾為
- 。
注意到微小面元素向量的方向是從曲面向內指入。現在,將微小面元素向量的方向改為與原本方向相反:,即從閉合曲面向外指出,則可得到基爾霍夫積分定理的表達式:
- 。
假設是與同方向的單位向量,是垂直於閉合曲面的法向量。那麼,法向導數與梯度的關係為
- 。
所以,基爾霍夫積分定理的另一種表達式為
- 。
總結,只考慮單色波,位於點P的波擾,可以以位於閉合曲面的所有波擾與其梯度來表達。[2]
非單色波
對於非單色波,必須使用更廣義的形式。以傅立葉積分來表達非單色波的分解:
- ;
其中,是角速度,是光速。
根據傅立葉反演公式(Fourier inversion formula):
- 。
對於每一個傅立葉分量,應用基爾霍夫積分定理,可以得到
- 。
將這公式代入的傅立葉積分公式:
- 。
設定,注意到推遲時間出現在相位因子裏,必須將光波傳播的時間納入計算。更換積分次序,公式變為
在時間,位於點P的波擾,可以以位於閉合曲面的所有波擾在其推遲時間的數值與其法向導數來表達:
- 。
這就是推廣後的基爾霍夫積分定理。[3]
純量理論
光波是傳播於空間的電磁輻射,理當被視為一種電磁場向量現象。但是,基爾霍夫的理論是純量理論,將光波當作純量處理,這可能會造成偏差。因此,物理學者做了很多實驗來檢查結果是否準確。他們發現,只要孔徑尺寸比波長大很多、孔徑與觀察屏之間的距離不很近,則使用純量理論可以得到相當準確的答案。但是對於某些問題,例如高解析度光柵衍射,純量理論就不適用,必須使用向量理論。[4]
參閱
參考文獻
G. Kirchhoff, Ann. d. Physik. 1883, 2, 18, p663
Max Born and Emil Wolf, Principles of Optics, 1999, Cambridge University Press, Cambridge, pages=pp. 417-420
Goodman, Joseph. Introduction to Fourier Optics 3rd. Roberts and Company Publishers. 2004: pp. 35. ISBN 978-0974707723.