基尔霍夫积分定理
導引

點P被包圍在閉合曲面

內。
根據格林第二恆等式,假若在體積
內,函數
和
都是二次連續可微,則
;
其中,閉合曲面
是體積
的表面,
是從閉合曲面
向外指出的微小面元素向量。
這方程式的左手邊是積分於體積
,右手邊是積分於這體積的閉合曲面
。
設定函數
滿足單色波的亥姆霍茲波動方程式:
。
設定
為一種格林函數,是可以描述傳播於自由空間、滿足數值在無窮遠為零的邊界條件的圓球面出射波:
;
其中,
。
這函數
滿足關係式
;
其中,
是三維狄拉克δ函數。
將
、
的滿足式代入,則格林第二恆等式變為
。
為了標記原因,對換無單撇號與有單撇號的變量。這樣,
標記檢驗位置,
標記源位置:
。
假若波擾
的位置在體積
內,即點P被包圍在閉合曲面
內,則
寫為
。

閉合曲面

是由閉合曲面

與閉合曲面

共同組成。點P處於曲面

之內,曲面

之外。
上述公式應用於點P被包圍在閉合曲面內的物理案例,即從位於閉合曲面的次波源所發射出的次波,在閉合曲面內的點P所產生的波擾。大多數衍射案例計算,從延伸尺寸波源發射出的波,其波前所形成的閉合曲面,在閉合曲面的所有次波源,所發射出的次波,在閉合曲面外的點P所產生的波擾;對於這些案例,點P在閉合曲面之外,延伸波源在閉合曲面之內。這公式也可以推導為點P在閉合曲面外,波源在閉合曲面之內的物理案例。如右圖所示,假設閉合曲面
是由閉合曲面
與閉合曲面
共同組成,曲面
被包圍在曲面
的內部。點P處於曲面
之內,曲面
之外。
讓曲面
的半徑趨於無窮大,則對於曲面
的任意點Q,
、
,被積函數趨向於零,快過
平方反比的趨向於零,滿足「索莫菲輻射條件」(Sommerfeld radiation condition),因此在曲面
的總貢獻為零。所以,在點P的波擾為
。
注意到微小面元素向量
的方向是從曲面
向內指入。現在,將微小面元素向量
的方向改為與原本方向相反:
,即從閉合曲面
向外指出,則可得到基爾霍夫積分定理的表達式:
。
假設
是與
同方向的單位向量,是垂直於閉合曲面
的法向量。那麼,法向導數與梯度的關係為
。
所以,基爾霍夫積分定理的另一種表達式為
。
總結,只考慮單色波,位於點P的波擾
,可以以位於閉合曲面
的所有波擾
與其梯度
來表達。
非單色波
對於非單色波,必須使用更廣義的形式。以傅立葉積分來表達非單色波的分解:
;
其中,
是角速度,
是光速。
根據傅立葉反演公式(Fourier inversion formula):
。
對於每一個傅立葉分量
,應用基爾霍夫積分定理,可以得到
。
將這公式代入
的傅立葉積分公式:
。
設定
,注意到推遲時間
出現在相位因子裏,必須將光波傳播的時間納入計算。更換積分次序,公式變為

在時間
,位於點P的波擾
,可以以位於閉合曲面
的所有波擾在其推遲時間
的數值
與其法向導數
來表達:
。
這就是推廣後的基爾霍夫積分定理。
純量理論
光波是傳播於空間的電磁輻射,理當被視為一種電磁場向量現象。但是,基爾霍夫的理論是純量理論,將光波當作純量處理,這可能會造成偏差。因此,物理學者做了很多實驗來檢查結果是否準確。他們發現,只要孔徑尺寸比波長大很多、孔徑與觀察屏之間的距離不很近,則使用純量理論可以得到相當準確的答案。但是對於某些問題,例如高解析度光柵衍射,純量理論就不適用,必須使用向量理論。
參閱
參考文獻
- G. Kirchhoff, Ann. d. Physik. 1883, 2, 18, p663
- Jackson, John David. 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. 3rd. Roberts and Company Publishers. 2004: pp. 35. ISBN 978-0974707723.