new defint.lisp bug - was: new defint.lispandradexpand:false?
Subject: new defint.lisp bug - was: new defint.lispandradexpand:false?
From: Richard Hennessy
Date: Fri, 13 Jan 2012 15:10:45 -0500
"Are you claiming that you have a function that is not continuous but is an
antiderivative of exp(x^7)?"
No, I am claiming that this function below is piecewise defined but
continuous anyway and is real valued and is an antiderivative of exp(x^n)
when n > 0, n is real and x is real. When n is an odd integer > 0 then it
also is real valued antiderivative for all real x both positive and
negative. I used Aleksas Domarkas' answer for the positive piece, I just
spliced the negative and positive answers into one function, which could
also be done with "if then else" if you like that better. My goal was to
get one expression for the antiderivative which was true and real valued for
all x and integer n>2. I succeeded.
integrate(exp(x^n),x);
(-gamma_incomplete(1/n,-x^n)*%e^-(%i*%pi/n)/n+gamma(1/n)*%e^-(%i*%pi/n)/n+gamma(1/n)/n)*(signum(x)+1)/2
+gamma_incomplete(1/n,-x^n)*(1-signum(x))/(2*n)
Rich
-----Original Message-----
From: Rupert Swarbrick
Sent: Thursday, January 12, 2012 7:45 PM
To: maxima at math.utexas.edu
Subject: Re: [Maxima] new defint.lisp bug - was: new
defint.lispandradexpand:false?
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima