But i find that this method is okay to me .
This is a challenge problem I already know how to solve.
Show via the Residue Theorem and without using Bessel functions or any of that other stuff in the other thread:
with the due to the particular sheet of the underlying Riemann surface the integral is being integrated over.
Hi. I cannot adequately justify the step below marked with an asterisk and thus feel I should not have posted this problem here. I apologize to the readers of this thread for that. I ask the moderators to please either leave it open here or move it to the general forum in hopes someone more familiar with the subject can review my work and suggest a means of improving it.
This problem concerns a particular case of the more general expression:
for entire and an n'th degree polynomial where the contour is outside the convex hull of the zeros of the polynomial. In this case, the integrand has a set of n analytic branches, for which the integral over each can be easily computed using the Residue Theorem if care is taken to define each branch.
For this particular problem, let
Now what causes the difficulty with such problems is the multi-valued component so part of the analysis and the plots below focus only on since is entire and will not change qualitatively, the analysis. The real component of is shown in the first picture. Now consider the two contours in the second picture over a particular branch of in the third picture which I'll call so chosen so that along the red contour, . We can construct this branch in the usual way and arrive at the expression:
Now by the Residue Theorem, traversing the inner contour in the negative sense is the negative of traversing the yellow contour in the positive sense or:
However, near the branch-cut, and this branch is chosen so that the red leg of the inner contour corresponds to the positive component of .
Then we have:
where are the brown and red contours around the poles. As the radii over and go to zero, the integrals over these contours approach and so cancel. Since is analytic outsize the branch cut, I can then use the residue at infinity to compute the integral over and write:
Now the issue becomes how is that residue computed?
Note first as long as the root object is interpreted appropriately so if I can justify the following algebraic manipulations and pull out a from the denominator, obtain:
That expression has an essential singularity at zero so I can't use any of the standard techniques of evaluating the residue if it were a pole, however, I can expand:
Now the residue is the sum of the coefficients of or those when or and therefore:
using the identities and .