[Date Index]
[Thread Index]
[Author Index]
Re: Re: Re: If Integrate returns no result, can we conclude that no closed-form
On 17 Apr 2008, at 19:59, Matthias Bode wrote:
> ..
>> "A completely implemented Risch algorithm will either return an
>> explicit answer for an integral that can be evaluated in terms of
>> elementary functions or determine that no such answer can be
>> given." ...
>> Andrzej Kozlowski
>
> Is this a theorem?
>
> Best regards,
>
> Matthias Bode.
>
Yes. Actually quite many. The Risch's theorem, that I know, gives
conditions for an integral of a purely algebraic function to be
elementary and an algorithm for finding it or deciding that it does
not exist. There is also such an algorithm for a function which is an
element of the field K[t1,t2,...tn], where each tk is either an
exponential or a logarithm of a function in K[t1,t2,...,t(k-1)].
Again, there is a theorem and an effective procedure. (However, even
if fully implemented these procedures may actually by impossible to
carry out in a reasonable time). But one can show, using them that
things like Integral[Log[Log[x]],x] cannot be expressed in terms of
elementary functions. Then, there is the mixed case, where you need
both algebraic and exponential or logarithmic extensions. For example,
the function ArcSin[x] belongs to a mixed extension, since
TrigToExp[ArcSin[x]]
(-I)*Log[I*x + Sqrt[1 - x^2]]
If I understand it correctly, there is also an effective procedure due
to Manuel Bronstein for dealing with general mixed cases (and it is
also a theorem) but it is much later work then Risch's (c.f. my
comments in a reply to a post by David Cantrell) and does not seem to
be implemented. In fact I am not sure about this since I have never
been interested in integrating non-algebraic functions so perhaps
someone else can confirm if I have got this right.
Andrzej Kozlowski
Prev by Date:
**Re: List concatenation - two more methods, one truly fast**
Next by Date:
**Re: Fourier Trasform of a Bessel Function**
Previous by thread:
**Re: Re: If Integrate returns no result, can we conclude that no closed-form**
Next by thread:
**Re: Re: Re: If Integrate returns no**
| |