根據格林第二恆等式,假若在體積 內,函數 和 都是二次連續可微,則
- ;
其中,閉合曲面 是體積 的表面, 是從閉合曲面 向外指出的微小面元素向量。
這方程式的左手邊是積分於體積 ,右手邊是積分於這體積的閉合曲面 。
設定函數 滿足單色波的亥姆霍茲波動方程式:
- 。
設定 為一種格林函數,是可以描述傳播於自由空間、滿足數值在無窮遠為零的邊界條件的圓球面出射波:
- ;
其中, 。
這函數 滿足關係式
- ;
其中, 是三維狄拉克δ函數。
將 、 的滿足式代入,則格林第二恆等式變為
- 。
為了標記原因,對換無單撇號與有單撇號的變量。這樣, 標記檢驗位置, 標記源位置:
- 。
假若波擾 的位置在體積 內,即點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
- ^ 2.0 2.1 2.2 Jackson, John David. Classical Electrodynamic 3rd. USA: John Wiley & Sons, Inc. 1999: pp. 478–482. ISBN 978-0-471-30932-1.
- ^ 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.