Schlaefli integral satisfies Legendre equation

[stephenkeiths]

The integral representation of Legendre functions is P_\nu(z) = \oint_{\Gamma} \frac{(w^2-1)^\nu}{(w-z)^{\nu+1}} dw. I'm trying to show that this satisfies Legendre's equation. When I take the derivatives and plug it into the equation, I just get a nasty expression with nasty integrals times functions of z. I don't see how I can combine any of the terms, since they have different powers of z, and all the integrals look different.

P'_\nu(z) = \oint_{\Gamma} \frac{(w^2-1)^\nu(\nu+1)}{(w-z)^{\nu+2}} dw
and
P''_\nu(z) = \oint_{\Gamma} \frac{(w^2-1)^\nu(\nu+1)(\nu+2)}{(w-z)^{\nu+3}} dw
So the expression is
(1-z^2)\oint_{\Gamma} \frac{(w^2-1)^\nu(\nu+1)(\nu+2)}{(w-z)^{\nu+3}} dw<br /> -2z \oint_{\Gamma} \frac{(w^2-1)^\nu(\nu+1)}{(w-z)^{\nu+2}} dw<br /> +\nu(\nu+1)\oint_{\Gamma} \frac{(w^2-1)^\nu}{(w-z)^{\nu+1}} dw<br />
Which I need to somehow show is equal to zero. I tried to collect all the integrals together, hoping they would combine together to give me a nice term. At first I was hoping it would give me \frac{d}{dw} of the integrand, so I could just use Cauchy's theorem to show that the integral is zero. But the terms didn't seam to collect that way.

 

[Xiuh]

Your guess was correct, you get a derivative inside the integral. Just substitute in the differential equations and arrange terms:

<br /> (1-z^2)\frac{d^2 P_\nu(z)}{d z^2} - 2z\frac{d P_\nu(z)}{dz} + \nu(\nu +1)P_\nu(z) = (\nu + 1)\oint_{\Gamma} \frac{(w^2 -1)^\nu}{(w-z)^{\nu + 3}}(-(\nu+2)(w^2 -1) + 2(\nu + 1)w(w-z)) d\,w,<br />
which equals

(\nu +1)\oint_{\Gamma} \frac{d}{dw}\left( \frac{(w^2 - 1)^{\nu +1}}{(w-z)^{\nu +2}} \right) d\,w.

When \nu is an integer, this equals zero. Otherwise you have too be a little bit careful with the contour.