Saturday, 3 August 2019

integration - Evaluate intiinftynftyfrac1sqrtz2+1frac1zalphadz.




Evaluate 1z2+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 1z2+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
1x2+1 (xα)dx.


Then, I equals
01x2+1(1xα1x+α)dx=2α01x2+1 (x2α2)dx


Take x to be sinh(t). Then
I=2α01sinh2(t)α2dt.

Since sinh(t)=etet2, by setting s=et, we have
I=2α1114(s1s)2α2dss=2α10114(s1s)2α2dss.

That is,
I=4α0ss4(4α2+2)s2+1ds.

Using partial fractions,
I=0(1s22αs11s2+2αs1)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 s22αs1=(sαα2+1)(sα+α2+1)

and s2+2αs1=(s+αα2+1)(s+α+α2+1)
(using the principal branch of a), we get
I=12α2+10(1sαα2+11sα+α2+1)dsaaa12α2+10(1s+αα2+11s+α+α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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...