For , integrate over the upper semicircle of radius . The arc tends to zero, since there and the denominator is of order . The sole pole is , of residue , so the real part gives . The integrand defining is even in , and by the arctangent integral. Hence
For use with a small clockwise semicircular indentation above zero. Its residue at zero is one, so the small arc tends to . The pole has residue , and the large arc again vanishes. ThusThe imaginary part is the ordinary convergent integral : its apparent singularity at zero is removable, with limit , and its tails are absolutely integrable. Therefore for . Oddness in and the value zero at give
Differentiation is valid at every real , including zero. Indeed the mean value theorem bounds the absolute difference quotient of with respect to by , an integrable majorant independent of . Dominated convergence therefore gives . In particular both one-sided derivatives at zero equal .
Articles by others on the same topic
There are currently no matching articles.