If no zeros are on the real axis or at the origin, then the integral over the leg above the real axis is:
and over the lower leg is:
What happens when you then add them?
Find an expression for where is a real polynomial having no nonnegative real zeroes.
Ok. So I think it's clear that I'm supposed to set this up for an application of the residue theorem by considering where is the cut-annulus contour (an annulus missing a band about the real line). Then the residue theorem says that this complex line integral has the value , where is the number of zeroes of and each is one of these zeroes. We can ignore the index for each zero given the contour because for any zero (which produces an isolated singularity) the index will be one.
But now what? All I've really done is write down the residue theorem. I don't know the zeroes of the polynomial, so no further calculation can be done with the above. Am I supposed to break the integral up now and look at the integral over each piece? If I let be the staight-line piece just above the real axis, be the outer ring, be the straight-line piece just below the real axis, and be the inner ring, would that go something like:
But then I have to fix the inner radius, the outer radius, and the width of the deleted band of the annulus, and then take limits as the width and inner radius go to zero and the outer radius goes to infinity? I think what happens is that the integrals over the rings vanish, but the other 2 integrals do not...but I have no information really about the polynomial so I'm lost. How should I proceed (especially formally)?
No. It's the negative and I don't think it converges unless the polynomial has a degree 2 or more. Try and slowly go over each minuscule step. Draw a nice key-hole contour with the branch cut along the positive real axis, label all the "legs", prove the integral over the circular parts go to zero and then if use the branch , then over the branch-cut contours, we get:
The log parts cancel when you switch the limits on the second one and a for the remainder.
Right, I missed that negative.
I don't really know what I'm doing with branch cuts, just automatically applying a method I saw in an example. What's the intuition of that application here? Sorry if this seems like a ridiculous question but I've looked it up in my text where there is a cursory note on it, however the examples lack any helpful explanation in application.