令ƒ为定义在实数轴上的连续函数,a与b为实常数,满足a < 0 < b。则
-
其中 表示柯西主值。
简单证明如下:
-
注意到第一项 为狄拉克δ函数之先趋函数,在此极限下趋近狄拉克δ函数。 因此第一项等于 .
第二项,注意到因子在当 |x| >> ε时, 趋近于1;当|x| << ε时趋近于0并关于零对称。 因此极限下为柯西主值积分。
在量子力学和量子场论中,经常需要计算如下形式的积分:
-
其中E为能量,t为时间。 上式对时间积分不收敛,因此一般需为t加入一个负的常系数,然后再令其趋于0。
-
-
其中最后一步用到了该定理。
在等离子体物理中,推导朗道阻尼的过程中使用到该定理,从而揭示了波在无碰撞过程中亦存在阻尼现象。
- ^ Blanchard, Philippe; Brüning, Erwin. Mathematical Methods in Physics. Boston: Birkhauser. 2003. ISBN 0817642285. Example 3.3.1 4.