MathGroup Archive 1998

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

Search the Archive

Re: Bivariate Integrations/Assumptions error/



I would like to point out that Integrate[ ] uses different algorithms
depending on whether it is definite or indefinite integration (Roach
1992, 'Indefinite and Definite Integration, Mathematica Conference
1992). Indefinite integration is centred about the Risch Structure
Theorem, definite integration involves contour integration. Therefore,
depending on how Integrate[ ] is used, we will obtain different
results. Paul Abbot in reply to [mg10603] noted that there was a
numerical argument in the expression being integrated, and numerical
evaluations are in this context not desired. Also note that changing
the limits of the definite integral from infinities to {x, x1, x2}, {y,
y1, y2}, results in an exact (and true) solution with no conditions.

Your integral may be fairly basic, but it illustrates a few aspects of
symbolic computation which need to be considered. I think you were
trying to check the answer given by Mathematica for a simple problem,
without realizing that the statement of the problem is not so easy to
formulate. There is, also, a necessity for Mathematica to consider by
default the arguments as broad as possible (i.e. Complex) because
otherwise the algorithms would be meaningless. With due care, a
symbolic engine like Mathematica can be very useful for the evaluation
of complicated expressions.





  • Prev by Date: Re: Re: How do u go about doing this---?
  • Next by Date: No Subject
  • Prev by thread: Re: fuctional differentiation in Mathematica
  • Next by thread: No Subject