The Sokhatsky-Weierstrass identity provides a simple formula for , i.e. a simple pole that is shifted slightly to the lower half of the complex plane. It holds in the sense of distributions:
where stands for the Cauchy principal value. Proove it.
In order to prove the identity, let us decompose into its real and imaginary part for finite , such that
We now consider both parts separately, starting with the real part. As stated before, the validity of the Sokhatsky-Weierstrass formula is understood as a distribution, i.e. we take an arbitrary test-function , convolute it with the corresponding expression and apply the limit of vanishing afterwards:
where we set the upper and lower limits of the integration to for simplicity. We split the range of integration into two regions, and , such that
The first term on the rhs. of this equation vanishes in the limit , since one can write
Due to the mean value theorem there exist some number inside such that
Here the prefactor is finite in any case, since
on the other hand as , thus the difference vanishes in the same limit and so does the integral
In the second term on the rhs. of the real part one can expand the denominator in a geometric series,
where we already singled out the lowest contribution that is by very definition the principal value. One may (in principle) correctly conclude, that the other terms are of higher order in and thus have to vanish when taking the limit . To see this more explicitly let us rescale the integration variable to obtain
which vanishes by symmetry when replacing .
A similar trick can be done to obtain the imaginary part, using a suitable test-function ,
Replacing and the value of
yields the desired result.
From this one can also obtain the case of shifting the pole in the upper half of the complex plane and summarize both results as