       Re: How to keep things real?

• To: mathgroup at smc.vnet.net
• Subject: [mg25093] Re: [mg25084] How to keep things real?
• From: Andrzej Kozlowski <andrzej at bekkoame.ne.jp>
• Date: Fri, 8 Sep 2000 03:00:41 -0400 (EDT)
• Sender: owner-wri-mathgroup at wolfram.com

```In my opinion the answer to your question is this: the Assumptions mechanism
in Integrate generally does not work (except in a few special cases), and
as, far as I can remember, nobody from Wolfram Research has ever answered

On the other hand, the (mostly algebraic) mechanism of assumptions in
Simplify and FullSimplify works very nicely, even though it is still far
from perfect. Moreover, bugs, when reported have always been acknowledged
and, whenever possible, fixed.

In your case the following will give you the answer you want;

In:=
Simplify[Integrate[ 1/Sqrt[x^2 + zp^2]^3, {zp, z, Infinity}], {x > 0, z >
0}]

Out=
z
1 - -------------
2    2
Sqrt[x  + z ]
-----------------
2
x

on 00.9.8 11:28 AM, Jos Bergervoet at bergervo at iaehv.iae.nl wrote:

>
> With the following input:
>
> Integrate[ x/Sqrt[x^2+zp^2]^3, {zp,z,Infinity},
> Assumptions -> {x>0, z>0} ]
>
> I get:
>
> 2    2             2
> Out= x If[x  + z  >= 0 || Im[x ] != 0,   ...., .... ]
>
> Why does this if-statement appear in the output? Why is Mathematica
> apparently ignoring my directive that x and z are positive?
>
> The same happens with Assumptions -> {x \[Element] Reals,
> z \[Element] Reals}  and with combinations of these two versions.
>
> I would like to have the answer without "if", to use it in
> subsequent computations. Is there a way to do this?
>
> Jos
>
> --
> Dr. Jozef R. Bergervoet                      Electromagnetism and EMC
> Philips Research Laboratories,             Eindhoven, The Netherlands
> Building WS01                                     FAX: +31-40-2742224
> E-mail: bergervo at natlab.research.philips.com    Phone: +31-40-2742403
>
>
>

--
Andrzej Kozlowski
Toyama International University, JAPAN

For Mathematica related links and resources try:
<http://www.sstreams.com/Mathematica/>

```

• Prev by Date: Re: Assumptions ignored?
• Next by Date: Re: More troubles coming from indexed variables
• Previous by thread: Re: How to keep things real?
• Next by thread: new Mathematica-related books