MathGroup Archive 2011

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: get rid of I in the result of an integral

  • To: mathgroup at smc.vnet.net
  • Subject: [mg116532] Re: get rid of I in the result of an integral
  • From: Bob Hanlon <hanlonr at cox.net>
  • Date: Fri, 18 Feb 2011 04:36:40 -0500 (EST)

sol1 = Assuming[{Element[x, Reals], 0 < x < 1},
  Integrate[1/((1 + y)^2 Sqrt[-x^2 + y^2]), {y, x, Infinity}]]

(-1 + x^2 - I*Sqrt[1 - x^2]*ArcSec[x])/(-1 + x^2)^2

sol2 = Assuming[{Element[x, Reals], 0 < x < 1},
  FullSimplify[
   Integrate[1/((1 + y)^2 Sqrt[-x^2 + y^2]), {y, x, Infinity}] //
    TrigToExp]]

(-1 + x^2 + Sqrt[1 - x^2]*Log[(1 + Sqrt[1 - x^2])/x])/(-1 + x^2)^2

Using the form Assuming[{ _ }, _ ], makes the assumtions available to both FullSimplify and Integrate without having to repeat the assumptions.

Assuming[{Element[x, Reals], 0 < x < 1},
 FullSimplify[sol1 - sol2 == 0]]

True


Bob Hanlon

---- "Ruth Lazkoz S=C3=A1ez" <ruth.lazkoz at ehu.es> wrote:

==========================
Hi,

When I do Integrate[1/((1 + y)^2 Sqrt[-x^2 + y^2]), {y, x, Infinity},
  Assumptions -> x^2 < 1 && 1 > x > 0 && Element[x, Reals]]

I get

(-1 + x^2 - I Sqrt[1 - x^2] ArcSec[x])/(-1 + x^2)^2

and I would like the result expresed in terms of ArcSech[x] so that I
does not appear.

I know I can tell Mathematica to do the replacement afterwards, but I
want to show the result to a colleague who is not so familiar with
mathematica, and if it were possible to get the result in one go just by
adding some extra assumption or so, it would be more convincing.

Help will be appreciated. Best,

Ruth


  • Prev by Date: problem with NDSolve::dvnoarg:
  • Next by Date: Re: k-permutations enumeration
  • Previous by thread: Re: get rid of I in the result of an integral
  • Next by thread: Re: get rid of I in the result of an integral