索霍茨基-魏尔斯特拉斯定理 (亦作Sokhotsky–Weierstrass 定理, Sokhotski–Plemelj formula,[1] 或 魏尔斯特拉斯定理(勿与其他同名魏尔斯特拉斯定理混淆)是复分析中的一个定理,用于计算很多问题中出现的柯西主值。物理学问题中很多见,但鲜有其命名的引用。该定理源自Julian Sokhotski, Karl Weierstrass和Josip Plemelj。
令ƒ为定义在实数轴上的连续函数,a与b为实常数,满足a < 0 < b。则
![{\displaystyle \lim _{\varepsilon \rightarrow 0^{+}}\int _{a}^{b}{\frac {f(x)}{x\pm i\varepsilon }}\,dx=\mp i\pi f(0)+{\mathcal {P}}\int _{a}^{b}{\frac {f(x)}{x}}\,dx,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/158c06b783b21667d73b1a9d8aa6d213c2617df4)
其中
表示柯西主值。
简单证明如下:
![{\displaystyle \lim _{\varepsilon \rightarrow 0^{+}}\int _{a}^{b}{\frac {f(x)}{x\pm i\varepsilon }}\,dx=\mp i\pi \lim _{\varepsilon \rightarrow 0^{+}}\int _{a}^{b}{\frac {\varepsilon }{\pi (x^{2}+\varepsilon ^{2})}}f(x)\,dx+\lim _{\varepsilon \rightarrow 0^{+}}\int _{a}^{b}{\frac {x^{2}}{x^{2}+\varepsilon ^{2}}}\,{\frac {f(x)}{x}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40f4b5652ea5694899726056cce7e4d6f4e0d859)
注意到第一项
为狄拉克δ函数之先趋函数,在此极限下趋近狄拉克δ函数。 因此第一项等于
.
第二项,注意到因子在当 |x| >> ε时,
趋近于1;当|x| << ε时趋近于0并关于零对称。 因此极限下为柯西主值积分。
在量子力学和量子场论中,经常需要计算如下形式的积分:
![{\displaystyle \int _{-\infty }^{\infty }\int _{0}^{\infty }f(E)\exp(-iEt)\,dt\,dE,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b17cd8bdbc0dcbfc22042b9f4f096d264614d4c)
其中E为能量,t为时间。 上式对时间积分不收敛,因此一般需为t加入一个负的常系数,然后再令其趋于0。
![{\displaystyle \lim _{\varepsilon \rightarrow 0^{+}}\int _{-\infty }^{\infty }\int _{0}^{\infty }f(E)\exp(-iEt-\varepsilon t)\,dt\,dE}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3873c91e7a1e5233488e428b360d74675bae07a7)
![{\displaystyle =-i\lim _{\varepsilon \rightarrow 0^{+}}\int _{-\infty }^{\infty }{\frac {f(E)}{E-i\varepsilon }}\,dE=\pi f(0)-i{\mathcal {P}}\int _{-\infty }^{\infty }{\frac {f(E)}{E}}\,dE,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a61430251cd7423e8ed13387aab7aeaa08a9b9f8)
其中最后一步用到了该定理。
在等离子体物理中,推导朗道阻尼的过程中使用到该定理,从而揭示了波在无碰撞过程中亦存在阻尼现象。
- ^ Blanchard, Philippe; Brüning, Erwin. Mathematical Methods in Physics. Boston: Birkhauser. 2003. ISBN 0817642285. Example 3.3.1 4.