Let a ≥ 0 and 1 / 3 ≥ b ≥ 0.In the course of answering question Evaluating a double integral of a complicated rational function we came across a following integral: I ( a , b ) := ∫ − ∞ ∞ log ⁡ ( b 2 + x 2 ) ( x + a / 2 ) 2 + ( 1 − b ) 2 / 4 d xNow, since the integrand is a product of a logarithm and a rational function it the anti-derivative of the integrand can be always found as a collection of terms that involve logs and di-logarithms. Since the anti-derivative is known its values at plus and minus infinities can be taken and the integral above evaluated. This task seems to be easy enough but in the multitude of terms that emerges makes it very hard to complete. We have completed it though and got the following result: I ( a , b ) = 2 π log ⁡ ( a 2 + ( 1 + b ) 2 ) − 2 log ⁡ ( 2 ) 1 − b My question is how do we derive this result in some alternative way for example by using the Cauchy residue theorem.Update: If we integrate the identity above over a we get the following identity: − ∫ − ∞ ∞ log ⁡ ( b 2 + x 2 ) ⋅ ( arctan ⁡ ( 2 x + a − 1 + b ) − arctan ⁡ ( 2 x − 1 + b ) ) d x = π 2 ( ( 1 + b ) ( π − 2 arctan ⁡ ( 1 + b a ) ) + a log ⁡ ( a 2 + ( 1 + b ) 2 ) − 2 a ( 1 + log ⁡ ( 2 ) ) ) Again, the question would be to derive that identity in some alternative way.

Question

Let   a  ≥  0 and   1      /    3  ≥  b  ≥  0.In the course of answering question Evaluating a double integral of a complicated rational function we came across a following integral:            I        (  a  ,  b  )  :=      ∫          −      ∞        ∞              log      ⁡      (              b        2            +              x        2            )              (      x      +      a              /            2              )        2            +      (      1      −      b              )        2                    /            4        d  xNow, since the integrand is a product of a logarithm and a rational function it the anti-derivative of the integrand can be always found as a collection of terms that involve logs and di-logarithms. Since the anti-derivative is known its values at plus and minus infinities can be taken and the integral above evaluated. This task seems to be easy enough but in the multitude of terms that emerges makes it very hard to complete. We have completed it though and got the following result:            I        (  a  ,  b  )  =  2  π            log      ⁡      (              a        2            +      (      1      +      b              )        2            )      −      2      log      ⁡      (      2      )              1      −      b      My question is how do we derive this result in some alternative way for example by using the Cauchy residue theorem.Update: If we integrate the identity above over a we get the following identity:  −      ∫          −      ∞        ∞    log  ⁡  (      b    2    +      x    2    )  ⋅      (    arctan    ⁡    (                  2        x        +        a                    −        1        +        b              )    −    arctan    ⁡    (                  2        x                    −        1        +        b              )    )    d  x  =      π    2        (    (    1    +    b    )    (    π    −    2    arctan    ⁡    (                  1        +        b            a        )    )    +    a    log    ⁡    (          a      2        +    (    1    +    b          )      2        )    −    2    a    (    1    +    log    ⁡    (    2    )    )    )  Again, the question would be to derive that identity in some alternative way.

Hayley Mccarthy · Accepted Answer

The problem with using the Residue theorem is that you have essential singularities at   z  =  ±  i  b about which the function cannot be represented by a Laurent series. Therefore any contour cannot include either of these points inside it, which makes it really hard to figure a way to either evaluate or send to 0 the part of the contour not on the real line.Note that there are complex-valued constants   u  ,  v  ,  A  ,  B such that your integrand can be expressed as      ∫          −      ∞        ∞              log      ⁡      (      x      +      u      )      +      log      ⁡      (      x      −      u      )              (      x      +      v      )      (      x      +                        v          ¯                    )        d  x    =  A      ∫          −      ∞        ∞              log      ⁡      (      x      +      u      )              x      +      v        d  x  +  A      ∫          −      ∞        ∞              log      ⁡      (      x      −      u      )              x      +      v        d  x    +  B      ∫          −      ∞        ∞              log      ⁡      (      x      +      u      )              x      +                        v          ¯                      d  x  +  B      ∫          −      ∞        ∞              log      ⁡      (      x      −      u      )              x      +                        v          ¯                      d  xSo all you really need is to do is work out the complex function   f  (  u  ,  v  )  =      ∫          −      ∞        ∞              log      ⁡      (      x      +      u      )              x      +      v        d  x and apply it four times. (WARNING: You will need to be very careful about branching of the log function here -   f may need to be based on different branches for the two different values of   u.)

Let a ≥ 0 and 1 <mrow class="MJX-TeXAtom-ORD"> / </mrow>

Answered question

Answer & Explanation

New Questions in Algebra II