Evaluate ∫∞−∞1√z2+11z−αdz.
What is an elegant way to evaluate this integral for Im α>0? I imagine using residue theorem will lead to an elegant solution, such as in these related questions [1,2,3]. However I've been unable to adapt them to this line integral.
One requirement is that 1√z2+1 be analytic in a strip around the real line (−∞,∞). In my eyes this implies that the branch cuts can not cross the real line. For example the principal branches (parallel to the real line) or the branches [i,i∞) and (−i∞,−i].
Answer
This is probably not elegant, but you can probably find a place to use the residue theorem. Let I denote the integral
∫∞−∞1√x2+1 (x−α)dx.
Then, I equals
∫∞01√x2+1(1x−α−1x+α)dx=2α∫∞01√x2+1 (x2−α2)dx
Take x to be sinh(t). Then
I=2α∫∞01sinh2(t)−α2dt.
Since sinh(t)=et−e−t2, by setting s=et, we have
I=2α∫∞1114(s−1s)2−α2dss=2α∫10114(s−1s)2−α2dss.
That is,
I=4α∫∞0ss4−(4α2+2)s2+1ds.
Using partial fractions,
I=∫∞0(1s2−2αs−1−1s2+2αs−1)ds.
(This is probably the place you can use the residue theorem but I am not too competent with that. Maybe you need to use a logarithm factor, and something like a keyhole contour.)
Since s2−2αs−1=(s−α−√α2+1)(s−α+√α2+1)
I=12√α2+1∫∞0(1s−α−√α2+1−1s−α+√α2+1)dsaaa−12√α2+1∫∞0(1s+α−√α2+1−1s+α+√α2+1)ds=−12√α2+1ln(α+√α2+1α−√α2+1)+12√α2+1ln(α−√α2+1α+√α2+1)=1√α2+1ln(α−√α2+1α+√α2+1)=−2ln(α+√α2+1)√α2+1=−2arccosh(−iα)√α2+1.
The particular case α=i yields I=2i.
No comments:
Post a Comment