       Re: If Integrate returns no result, can we conclude that no

• To: mathgroup at smc.vnet.net
• Subject: [mg87791] Re: If Integrate returns no result, can we conclude that no
• From: Bhuvanesh <BhuvaneshBhatt at gmail.com>
• Date: Wed, 16 Apr 2008 22:34:45 -0400 (EDT)
• References: <fu4lpc\$sk9\$1@smc.vnet.net>

```On Apr 16, 5:52 am, Szabolcs Horv=E1t <szhor... at gmail.com> wrote:
> The documentation says:
>
> "In the most convenient cases, integrals can be done purely in terms of
> elementary functions such as exponentials, logarithms and trigonometric
> functions. In fact, if you give an integrand that involves only such
> elementary functions, then one of the important capabilities of
> Integrate is that if the corresponding integral can be expressed in
> terms of elementary functions, then Integrate will essentially always
> succeed in finding it."
>
> http://reference.wolfram.com/mathematica/tutorial/IntegralsThatCanAnd...
>
> How precise is this?  Can one rely on this information?  Is it really
> true that if Mathematica cannot integrate an expression made up of
> elementary functions, then no closed-form result exists?
>
> Szabolcs
>
> (P.S. I do not know how Integrate works.  I heard that CASs use a
> so-called "Risch-alogrithm", but there is relatively little information
> the reader to be familiar with the topic).)

No, just the fact that Integrate cannot do an integral doesn't mean no
closed form in elementary functions exists. Here's one example that
Integrate cannot currently do but can be done in closed form (in terms
of elementary functions):

Integrate[(1 - x^2 - 5*x^4 + 9*x^5 - 5*x^6 + 5*x^9)/(Sqrt[-1 + x +
x^5]*(-1 + x - x^2 + x^5)), x]

Integrate does not currently have a full implementation of the
algebraic case of the Risch algorithm, for instance, although we still
do pretty well using substitutions and elliptic integration code for
such inputs.

Bhuvanesh,
Wolfram Research

```

• Prev by Date: Re: Select from list
• Next by Date: Re: Help with minimization of Eigenvalues
• Previous by thread: Re: heat equation through different media/problem with constant flux
• Next by thread: Basic algebraic identities