home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.math.symbolic      Symbolic algebra discussion      10,432 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 9,245 of 10,432   
   Nasser M. Abbasi to clicliclic@freenet.de   
   Re: is your integrator output Davenport    
   24 Jan 17 01:48:33   
   
   From: nma@12000.org   
      
   On 1/24/2017 1:33 AM, clicliclic@freenet.de wrote:   
   >   
   >   "Never forget to check that the output is a continuous function!"   
   >   
   > Thus James H. Davenport reminded us in a conference presentation on the   
   > "Complexity of Integration, Special Values, and Recent Developments" at   
   > last year's International Congress on Mathematical Software.   
   >   
   > Now, in a posthumous publication in the Institutiones Calculi Integralis   
   > Tomus 4, pages 36 - 48, Leonhard Euler showed that:   
   >   
   >   SQRT(a + b*x^2 + c*x^4)/(a - c*x^4)   
   >   
   > has an elementary antiderivative. In fact, the integrand is Goursat   
   > pseudo-elliptic.   
   >   
   > Does your favorite symbolic integrator then succeed in returning a (i)   
   > real, (ii) elementary, and (iii) continuous result for:   
   >   
   >   INT(SQRT(1 - x^4)/(1 + x^4), x)   
   >   
   > ? Yes, a simple such a solution does exist.   
   >   
   > Martin.   
   >   
   > PS: Derive 6.10 just returns the integral with its denominator factored   
   > into real quadratics.   
   >   
      
   hi   
      
   fyi;   
      
   Maple 2016.2   
   ===============   
      
   int( sqrt(1 - x^4)/(1 + x^4), x);   
      
   -(1/4)*arctan((-x^4+1)^(1/2)/x+1)+(1/4)*   
   arctan(-(-x^4+1)^(1/2)/x+1)-(1/8)*   
   ln(((1/2)*(-x^4+1)/x^2-(-x^4+1)^(1/2)/x+1)/((1/2)*(-x^4+1)/x^2+(   
   x^4+1)^(1/2)/x+1))   
      
   Mathematica 11.0.1   
   ==================   
   Integrate[ Sqrt[1 - x^4]/(1 + x^4), x]   
   x AppellF1[1/4, -(1/2), 1, 5/4, x^4, -x^4]   
      
   Rubi 4.10   
   ===========   
   ShowSteps = False;   
   Int[ Sqrt[1 - x^4]/(1 + x^4), x]   
      
   -EllipticF[ArcSin[x], -1] + EllipticPi[-I, ArcSin[x], -1] +   
     EllipticPi[I, ArcSin[x], -1]   
      
   FriCAS 1.3   
   ==========   
   integrate( sqrt(1 - x^4)/(1 + x^4), x)   
      
   (log((2*x*((-1)*x^4+1)^(1/2)+((-1)*x^4+2*x^2+1))/(x^4+1))+((-2)*atan((((-1)*   
      x^4+1)^(1/2)+x)/x)+2*atan(x^2)))/4   
      
   --Nasser   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca