查看“︁基爾霍夫積分定理”︁的源代码

{{NoteTA|G1=Physics}}
{{Otheruses|subject='''基爾霍夫積分定理'''|other=其他由[[古斯塔夫·基爾霍夫]]所命名的[[定律]]|基爾霍夫定律}}
[[File:Gustav Robert Kirchhoff.jpg|thumb|150px|[[古斯塔夫·基爾霍夫]]]]
'''基爾霍夫積分定理'''（{{lang|en|Kirchhoff integral theorem}}）表明，假設點P在閉合曲面<math>\mathbb{S}</math>之外，只考慮[[單色光|單色波]]，則位於點P的波擾<math>\psi(\mathbf{r})</math>，可以以位於閉合曲面<math>\mathbb{S}</math>的所有波擾與其[[梯度]]表達為<ref> G. Kirchhoff, Ann. d. Physik. 1883, 2, 18, p663</ref><ref name=Jackson1999>{{cite book|last=Jackson|first=John David|title=Classical Electrodynamic|url=https://archive.org/details/classicalelectro0000jack_e8g9|publisher = John Wiley & Sons, Inc. |year=1999|location=USA|edition=3rd.|pages=pp. 478-482|isbn=978-0-471-30932-1}}</ref>
:<math>\psi(\mathbf{r})=\frac{1}{4\pi}\oint_\mathbb{S}
\left[\psi(\mathbf{r}')\nabla'\left( \frac{e^{ikR}}{R} \right)
-\left( \frac{e^{ikR}}{R} \right)\nabla'\psi(\mathbf{r}')\right]
\cdot\,\mathrm{d}\mathbf{S}'  </math>，

或者
:<math>\psi(\mathbf{r})=\frac{1}{4\pi}\oint_\mathbb{S}
\left[\psi(\mathbf{r}')\frac{\partial}{\partial n'}\left( \frac{e^{ikR}}{R} \right)
-\left( \frac{e^{ikR}}{R} \right)\frac{\partial \psi(\mathbf{r}')}{\partial n'}\right]
\,\mathrm{d}S'  </math>；

其中，<math>\mathbf{R}=\mathbf{r}- \mathbf{r}'</math>是從閉合曲面<math>\mathbb{S}</math>的任意位置<math>\mathbf{r}'</math>到點P位置<math>\mathbf{r}</math>的位移向量，<math>R</math>是其數值大小，<math>k</math>是[[波數]]，<math>\nabla'</math>是對於源位置<math>\mathbf{r}'</math>的梯度，<math>\mathrm{d}\mathbf{S}'</math>是從閉合曲面<math>\mathbb{S}</math>向內指入的微小面元素向量，<math>\frac{\partial}{\partial n'}</math>是對於閉合曲面<math>\mathbb{S}</math>的[[法向導數]]。

基爾霍夫積分定理是因德國物理學者[[古斯塔夫·基爾霍夫]]而命名。這定理廣泛地應用於[[光學]]領域。對於很多案例，這定理的方程式可以近似成一種更簡單的形式，稱為[[基爾霍夫衍射公式]]。[[惠更斯－菲涅耳原理]]的[[惠更斯－菲涅耳原理#數學表述|傾斜因子]]專門依方向的不同而調整由點波源所產生的次波朝著不同方向傳播的波幅。從基爾霍夫衍射公式，可以推導出傾斜因子的確切形式。

==導引==
[[File:Kirchhoff Integration Theorem Inside Closed Surface.svg|thumb|150px|點P被包圍在閉合曲面<math>\mathbb{S}</math>內。]]
根據[[格林恆等式#格林第二恆等式|格林第二恆等式]]，假若在體積<math>\mathbb{V}</math>內，函數<math>\phi</math>和<math>\psi</math>都是二次連續可微，則
: <math> \int_\mathbb{V} \left( \psi \nabla^2 \phi - \phi \nabla^2 \psi\right)\, \mathrm{d}^3\mathbf{r} = \oint_{\mathbb{S}} \left( \psi \nabla\phi - \phi\nabla\psi\right)\cdot\mathrm{d}\mathbf{S}</math>；
 
其中，閉合曲面<math>\mathbb{S}</math>是體積<math>\mathbb{V}</math>的表面，<math>\mathrm{d}\mathbf{S}</math>是從閉合曲面<math>\mathbb{S}</math>向外指出的微小面元素向量。

這方程式的左手邊是積分於體積<math>\mathbb{V}</math>，右手邊是積分於這體積的閉合曲面<math>\mathbb{S}</math>。

設定函數<math>\psi(\mathbf{r})</math>滿足單色波的[[亥姆霍兹方程|亥姆霍茲波動方程式]]：
:<math>(\nabla^2 +k^2)\psi(\mathbf{r})=0</math>。

設定<math>\phi(\mathbf{r},\mathbf{r}')</math>為一種[[格林函數]]，是可以描述傳播於[[自由空間]]、滿足數值在無窮遠為零的邊界條件的圓球面出射波：
:<math>\phi(\mathbf{r},\mathbf{r}')=\frac{e^{ikR}}{4\pi R}</math>；

其中，<math>R=|\mathbf{r}-\mathbf{r}'|</math>。

這函數<math>\phi(\mathbf{r},\mathbf{r}')</math>滿足關係式
:<math>(\nabla^2 +k^2)\phi(\mathbf{r},\mathbf{r}')=-\delta(\mathbf{r}-\mathbf{r}')</math>；

其中，<math>\delta(\mathbf{r}-\mathbf{r}')</math>是三維[[狄拉克δ函數]]。

將<math>\phi(\mathbf{r},\mathbf{r}')</math>、<math>\psi(\mathbf{r})</math>的滿足式代入，則格林第二恆等式變為
:<math>-\int_\mathbb{V} \psi(\mathbf{r}) \delta(\mathbf{r}-\mathbf{r}')\, \mathrm{d}^3\mathbf{r} 
=\frac{1}{4\pi} \oint_{\mathbb{S}} \left[ \psi(\mathbf{r}) \nabla\left(\frac{e^{ikR}}{R}\right) 
- \left(\frac{e^{ikR}}{R}\right)\nabla\psi(\mathbf{r})\right]\cdot\mathrm{d}\mathbf{S}</math>。

為了標記原因，對換無單撇號與有單撇號的變量。這樣，<math>\mathbf{r}</math>標記檢驗位置，<math>\mathbf{r}'</math>標記源位置：
:<math>-\int_\mathbb{V} \psi(\mathbf{r}') \delta(\mathbf{r}-\mathbf{r}')\, \mathrm{d}^3\mathbf{r}'
=\frac{1}{4\pi} \oint_{\mathbb{S}} \left[ \psi(\mathbf{r}') \nabla'\left(\frac{e^{ikR}}{R}\right) 
- \left(\frac{e^{ikR}}{R}\right)\nabla'\psi(\mathbf{r}')\right]\cdot\mathrm{d}\mathbf{S}'
</math>。

假若波擾<math>\mathbf{r}</math>的位置在體積<math>\mathbb{V}</math>內，即點P被包圍在閉合曲面<math>\mathbb{S}</math>內，則<math>\psi(\mathbf{r})</math>寫為
:<math>\psi(\mathbf{r})=-\ \frac{1}{4\pi} \oint_{\mathbb{S}} \left[ \psi(\mathbf{r}') \nabla'\left(\frac{e^{ikR}}{R}\right) 
- \left(\frac{e^{ikR}}{R}\right)\nabla'\psi(\mathbf{r}')\right]\cdot\mathrm{d}\mathbf{S}'
</math>。

[[File:Kirchhoff Diffraction Formula Surface At Infinity.svg|thumb|150px|閉合曲面<math>\mathbb{S}</math>是由閉合曲面<math>\mathbb{S}_1</math>與閉合曲面<math>\mathbb{S}_2</math>共同組成。點P處於曲面<math>\mathbb{S}_1</math>之內，曲面<math>\mathbb{S}_2</math>之外。]]
上述公式應用於點P被包圍在閉合曲面內的物理案例，即從位於閉合曲面的次波源所發射出的次波，在閉合曲面內的點P所產生的波擾。大多數衍射案例計算，從延伸尺寸波源發射出的波，其波前所形成的閉合曲面，在閉合曲面的所有次波源，所發射出的次波，在閉合曲面外的點P所產生的波擾；對於這些案例，點P在閉合曲面之外，延伸波源在閉合曲面之內。這公式也可以推導為點P在閉合曲面外，波源在閉合曲面之內的物理案例。如右圖所示，假設閉合曲面<math>\mathbb{S}</math>是由閉合曲面<math>\mathbb{S}_1</math>與閉合曲面<math>\mathbb{S}_2</math>共同組成，曲面<math>\mathbb{S}_1</math>被包圍在曲面<math>\mathbb{S}_2</math>的內部。點P處於曲面<math>\mathbb{S}_2</math>之內，曲面<math>\mathbb{S}_1</math>之外。

讓曲面<math>\mathbb{S}_2</math>的半徑趨於無窮大，則對於曲面<math>\mathbb{S}_2</math>的任意點Q，<math>R\to r'</math>、<math>\hat{\mathbf{R}}\to -\hat{\mathbf{r}'}</math>，被積函數趨向於零，快過<math>r'</math>平方反比的趨向於零，滿足「索莫菲輻射條件」（Sommerfeld radiation condition），因此在曲面<math>\mathbb{S}_2</math>的總貢獻為零。<ref name=Jackson1999/>所以，在點P的波擾為
:<math>\psi(\mathbf{r})=-\ \frac{1}{4\pi} \oint_{\mathbb{S}_1} \left[ \psi(\mathbf{r}') \nabla'\left(\frac{e^{ikR}}{R}\right) 
- \left(\frac{e^{ikR}}{R}\right)\nabla'\psi(\mathbf{r}')\right]\cdot\mathrm{d}\mathbf{S}'
</math>。

注意到微小面元素向量<math>\mathrm{d}\mathbf{S}'</math>的方向是從曲面<math>\mathbb{S}_1</math>向內指入。現在，將微小面元素向量<math>\mathrm{d}\mathbf{S}'</math>的方向改為與原本方向相反：<math>\mathrm{d}\mathbf{S}'\to-\mathrm{d}\mathbf{S}'</math>，即從閉合曲面<math>\mathbb{S}_1</math>向外指出，則可得到基爾霍夫積分定理的表達式：
:<math>\psi(\mathbf{r})=\frac{1}{4\pi} \oint_{\mathbb{S}_1} \left[ \psi(\mathbf{r}') \nabla'\left(\frac{e^{ikR}}{R}\right) 
- \left(\frac{e^{ikR}}{R}\right)\nabla'\psi(\mathbf{r}')\right]\cdot\mathrm{d}\mathbf{S}'
</math>。

假設<math>\hat{\boldsymbol{\eta}}</math>是與<math>\mathrm{d}\mathbf{S}'</math>同方向的單位向量，是垂直於閉合曲面<math>\mathbb{S}_1</math>的法向量。那麼，法向導數與梯度的關係為
:<math>\frac{\partial}{\partial n'}= \hat{\boldsymbol{\eta}}\cdot\nabla'</math>。

所以，基爾霍夫積分定理的另一種表達式為
:<math>\psi(\mathbf{r})=\frac{1}{4\pi}\oint_{\mathbb{S}_1}
\left[\psi(\mathbf{r}')\frac{\partial}{\partial n'}\left( \frac{e^{ikR}}{R} \right)
-\left( \frac{e^{ikR}}{R} \right)\frac{\partial \psi(\mathbf{r}')}{\partial n'}\right]
\,\mathrm{d}S'  </math>。

總結，只考慮[[單色光|單色波]]，位於點P的波擾<math>\psi(\mathbf{r})</math>，可以以位於閉合曲面<math>\mathbb{S}_1</math>的所有波擾<math>\psi(\mathbf{r}')</math>與其[[梯度]]<math>\nabla'\psi(\mathbf{r}')</math>來表達。<ref name=Jackson1999/>

==非單色波==
對於非單色波，必須使用更廣義的形式。以[[傅立葉變換|傅立葉積分]]來表達非單色波的分解：
:<math> \Psi(\mathbf{r},t)= \frac {1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty} \psi_ \omega(\mathbf{r}) e^{-i \omega t}\mathrm{d} \omega</math>；

其中，<math>\omega=kc</math>是[[角速度]]，<math>c</math>是[[光速]]。

根據[[傅立葉反演公式]]（Fourier inversion formula）：
:<math> \psi_\omega(\mathbf{r})= \frac {1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty}  \Psi(\mathbf{r},t) e^{i \omega t}\mathrm{d}t</math>。

對於每一個傅立葉分量<math>\psi_\omega</math>，應用基爾霍夫積分定理，可以得到
:<math>\psi(\mathbf{r})=\frac{1}{4\pi}\oint_\mathbb{S}
\left[\psi_\omega(\mathbf{r}')\frac{\partial}{\partial n'}\left( \frac{e^{ikR}}{R} \right)
-\left( \frac{e^{ikR}}{R} \right)\frac{\partial \psi_\omega(\mathbf{r}')}{\partial n'}\right]
\,\mathrm{d}S'  </math>。

將這公式代入<math> \Psi(\mathbf{r},t)</math>的傅立葉積分公式：
:<math> \Psi(\mathbf{r},t)= \frac {1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty}
\mathrm{d} \omega\ e^{-i \omega t}\left\{
\frac{1}{4\pi}\oint_\mathbb{S}\mathrm{d}S'
\left[\psi_\omega(\mathbf{r}')\frac{\partial}{\partial n'}\left( \frac{e^{ikR}}{R} \right)
-\left( \frac{e^{ikR}}{R} \right)\frac{\partial \psi_\omega(\mathbf{r}')}{\partial n'}\right]\right\}
</math>。

設定<math>k=\omega/c</math>，注意到[[推遲時間]]<math>t_r=t-R/c</math>出現在[[相位因子]]裏，必須將光波傳播的時間納入計算。更換積分次序，公式變為
:<math>\begin{align}\Psi(\mathbf{r},t) & =
\frac{1}{4\pi}\oint_\mathbb{S}\mathrm{d}S'
\left\{
 \frac {1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty}\mathrm{d} \omega 
\left[\psi_\omega(\mathbf{r}')\frac{\partial}{\partial n'}\left(\frac{e^{-i\omega t_r}}{R} \right)
-\left( \frac{e^{-i\omega t_r}}{R} \right)\frac{\partial \psi_\omega(\mathbf{r}')}{\partial n'}\right]\right\}  \\
 & =\frac{1}{4\pi}\oint_\mathbb{S}\mathrm{d}S'
\left\{
\frac {1}{\sqrt{2 \pi}} \int_{-\infty}^{+\infty}\mathrm{d} \omega 
\left[\psi_\omega(\mathbf{r}')\frac{\partial}{\partial n'}\left(\frac{1}{R} \right)
+\psi_\omega(\mathbf{r}')\left(\frac{i\omega}{Rc} \right)\frac{\partial R}{\partial n'}
-\left(\frac{1}{R}\right)\frac{\partial \psi_\omega(\mathbf{r}')}{\partial n'}\right]
e^{-i\omega t_r}
\right\} \\
\end{align}</math>

在時間<math>t</math>，位於點P的波擾<math> \Psi(\mathbf{r},t)</math>，可以以位於閉合曲面<math>\mathbb{S}</math>的所有波擾在其推遲時間<math>t_r</math>的數值<math>\Psi(\mathbf{r}',t_r)</math>與其[[法向導數]]<math>\partial \Psi(\mathbf{r}',t_r)/\partial n'</math>來表達：
:<math> \Psi(\mathbf{r},t)=
\frac{1}{4\pi}\oint_\mathbb{S}\mathrm{d}S'
\left\{
\Psi(\mathbf{r}',t_r)\frac{\partial}{\partial n'}\left(\frac{1}{R} \right)
+\Psi(\mathbf{r}',t_r)\left(\frac{i\omega}{Rc} \right)\frac{\partial R}{\partial n'}
-\left(\frac{1}{R}\right)\frac{\partial \Psi(\mathbf{r}',t_r)}{\partial n'}
\right\}
</math>。

這就是推廣後的基爾霍夫積分定理。<ref name = "Born and Wolf">Max Born and Emil Wolf, Principles of Optics, 1999, Cambridge University Press, Cambridge, pages=pp. 417-420</ref>

==純量理論==
光波是傳播於空間的[[電磁輻射]]，理當被視為一種電磁場向量現象。但是，基爾霍夫的理論是純量理論，將光波當作純量處理，這可能會造成偏差。因此，物理學者做了很多實驗來檢查結果是否準確。他們發現，只要孔徑尺寸比波長大很多、孔徑與觀察屏之間的距離不很近，則使用純量理論可以得到相當準確的答案。但是對於某些問題，例如高解析度光柵衍射，純量理論就不適用，必須使用向量理論。<ref>{{cite book
 | last =Goodman
 | first =Joseph
 | title =Introduction to Fourier Optics
 | publisher =Roberts and Company Publishers
 | edition =3rd
 | date =2004
 | pages =pp. 35
 | isbn =978-0974707723 
}}</ref>

==參閱==
*[[衍射]]
*[[帕松光斑]]
*[[推遲勢]]
*[[黎納-維謝勢]]

==參考文獻==
{{reflist}}

{{DEFAULTSORT:J}}
[[Category:光學]]
[[Category:衍射]]