Groups > comp.soft-sys.math.maple > #1125

Re: Elementary vs non-elementary result.

Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!1.eu.feeder.erje.net!news.swapon.de!aioe.org!.POSTED!not-for-mail
From	"Nasser M. Abbasi" <nma@12000.org>
Newsgroups	comp.soft-sys.math.maple
Subject	Re: Elementary vs non-elementary result.
Date	Wed, 06 May 2015 15:41:04 -0500
Organization	Aioe.org NNTP Server
Lines	49
Message-ID	<midu90$4ms$1@speranza.aioe.org> (permalink)
References	<d00f3a7a-0ed5-498b-b3b7-e3f922c68da0@googlegroups.com>
Reply-To	nma@12000.org
NNTP-Posting-Host	CV72NQ0GT7rQd8cP1ZYi/A.user.speranza.aioe.org
Mime-Version	1.0
Content-Type	text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding	7bit
X-Complaints-To	abuse@aioe.org
User-Agent	Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0
X-Notice	Filtered by postfilter v. 0.8.2
Xref	csiph.com comp.soft-sys.math.maple:1125

Show key headers only | View raw

On 5/6/2015 11:52 AM, RGVickson@shaw.ca wrote:
> The following integration occurred in Physics Forums:
> int(f,x), where f = (x^2+1)/[(x^2-1)*sqrt(1+x^4)].
>
> If asked for the indefinite integral int(f,x), Maple 11 (and Maple 14) \
>return a nasty formula involving Elliptic functions. However, if asked
>for the definite integral int(f,x=0..z) assuming z>0, both versions of
>Maple return an explicit, closed-form function F(z)involving only
>elementary functions. Furthermore, dF/dz really does equal f(z)!
>(Initially, F(z) is complex because it involves an arctanh of an
>argument > 1, but an evalc on it yields a purely real expression
>defined for all z =/= 1, and again, which has the correct derivative.)
>
> I just wonder why Maple was able to find an elementary expression
>for the  definite integral (but at any variable upper limit) but not for the indefinite integral.
>
> RGV
>

Try Maple 2015.

restart;
f:=x-> (x^2+1)/((x^2-1)*sqrt(1+x^4)):
F:=int(f(x),x);

sqrt(1-I*x^2)*sqrt(1+I*x^2)*EllipticF(x*((1/2)*sqrt(2)+
(1/2*I)*sqrt(2)), I)/(((1/2)*sqrt(2)+(1/2*I)*sqrt(2))*
sqrt(x^4+1))+2*(-1)^(3/4)*sqrt(1-I*x^2)*sqrt(1+I*x^2)*
EllipticPi((-1)^(1/4)*x, -I, sqrt(-I)/((-1)^(1/4)))/sqrt(x^4+1)

expand(simplify(diff(F,x)));
x^2/((x^2-1)*sqrt(x^4+1))+1/((x^2-1)*sqrt(x^4+1))

------------------------------

F:=int(f(x),x=0..z) assuming z>0;
  (1/2-(1/2)*I)*(1-I*z^2)^(1/2)*(1+I*z^2)^(1/2)*(-(-1)^(1/4)*
EllipticPi((-1)^(1/4)*z, -I, I)*2^(1/2)+(-1)^(3/4)*
EllipticPi((-1)^(1/4)*z, -I, I)*2^(1/2)+EllipticF((1/2)*2^(1/2)*z
+((1/2)*I)*z*2^(1/2), I))*2^(1/2)/(z^4+1)^(1/2)

expand(simplify(diff(F,z)));
z^2/((z^2-1)*sqrt(z^4+1))+1/((z^2-1)*sqrt(z^4+1))


--Nasser

Back to comp.soft-sys.math.maple | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Elementary vs non-elementary result. RGVickson@shaw.ca - 2015-05-06 09:52 -0700
  Re: Elementary vs non-elementary result. "Nasser M. Abbasi" <nma@12000.org> - 2015-05-06 15:41 -0500
    Re: Elementary vs non-elementary result. RGVickson@shaw.ca - 2015-05-06 16:09 -0700
      Re: Elementary vs non-elementary result. "Nasser M. Abbasi" <nma@12000.org> - 2015-05-07 01:50 -0500
        Re: Elementary vs non-elementary result. acer <maple@rogers.com> - 2015-05-08 10:28 -0700
          Re: Elementary vs non-elementary result. "G. A. Edgar" <edgar@math.ohio-state.edu.invalid> - 2015-05-09 07:44 -0600
            Re: Elementary vs non-elementary result. acer <maple@rogers.com> - 2015-05-11 20:16 -0700
  Re: Elementary vs non-elementary result. acer <maple@rogers.com> - 2015-05-08 09:59 -0700
    Re: Elementary vs non-elementary result. RGVickson@shaw.ca - 2015-05-08 15:03 -0700

csiph-web