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 8,486 of 10,432   
   clicliclic@freenet.de to clicliclic@freenet.de   
   Re: An independent integration test suit   
   08 Dec 13 21:21:50   
   
   clicliclic@freenet.de schrieb:   
   >   
   > [...]   
   >   
   > Perhaps other systems (and/or chapters) can be added here by and by.   
   > I am currently working on chapter 4 (132 integrals) in which I am   
   > expecially interested, but not expecting to finish this before some   
   > months have passed. I am not likely to enter the integrals from other   
   > chapters too (particularly not the remaining massive ones 2, 5, and   
   > 8).   
   >   
      
   This was written in April. I have now finished the digitization of   
   Examples from Chapter 4 of Timofeev's book; the algebraic integrals and   
   model solutions are appended below. Timofeev presents 132 Examples in   
   Chapter 4, of which the final group (numbers 123 - 132, p. 198-200) are   
   mere substitution recipes that had to be omitted here. With each Example   
   consisting of just a single integral, 122 entries result in total.   
      
   As in the digitization of other Chapters, nested powers (^r)^(1/s) were   
   interpreted as ^(r/s), with the exception of Example #1 (just for the   
   sake of variety). The correction of misprints was straightforward, apart   
   from Example #53 (p. 164) where the x dependence of the terms in   
   Timofeev's evaluation corresponds with the integrand denominator, while   
   their amplitudes are incompatible with the integrand numerator. No   
   simple correction of integrand and/or antiderivative appears feasible   
   here, so the integrand was adopted as printed while all the amplitudes   
   in the antiderivative were changed.   
      
   For the default setting of real variables, Derive 6.10 is found to fail   
   on Examples 13, 15, 17, 20-21, 35, 37-42, 49, 51, 53, 74, 76, 99-100,   
   107-108, 110, 112-114, and 117-122; additionally it cannot evaluate   
   Examples 14, 16-21, 23-27, and 46 if the integration variable (and the   
   occasional parameters) are declared complex.   
      
   Timofeev's book can hopefully still be found at:   
      
      
      
   The download link being:   
      
      
      
   Have fun!   
      
   Martin.   
      
      
   " Timofeev (1948) Chapter 4 Integration Examples "   
      
   " examples 1 - 10 (p. 115-117) ... "   
      
   INT(SQRT(x^3)*(1+x^2)*(2*SQRT(x)-x)^2,x)=x^2*SQRT(x^3)*(8/7-SQRT~   
   (x)+2/9*x+8/11*x^2-2/3*x^(5/2)+2/13*x^3)   
      
   INT((x^(3/2)-3*x^(3/5))^2*(4*x^(3/2)-1/3*x^(2/3)),x)=8/11*x^(11/~   
   2)-1/14*x^(14/3)-120/23*x^(23/5)+60/113*x^(113/30)+360/37*x^(37/~   
   10)-45/43*x^(43/15)   
      
   INT(1/(1+SQRT(1+x)),x)=2*(SQRT(1+x)-LN(1+SQRT(1+x)))   
      
   INT(x/(1+SQRT(1+x)),x)=2/3*(1+x)^(3/2)-x   
      
   INT((SQRT(1+x)+1)/(SQRT(1+x)-1),x)=4*LN(SQRT(1+x)-1)+4*SQRT(1+x)~   
   +x   
      
   INT(1/((1+x)^(2/3)-SQRT(1+x)),x)=3*(1+x)^(1/3)+6*(1+x)^(1/6)+6*L~   
   N((1+x)^(1/6)-1)   
      
   INT((1+x^(1/4))^(1/3)/SQRT(x),x)=3/7*(4*SQRT(x)+x^(1/4)-3)*(1+x^~   
   (1/4))^(1/3)   
      
   INT(1/(x^3*(1+x)^(3/2)),x)=(15*x^2+5*x-2)/(4*x^2*SQRT(1+x))-15/4~   
   *ATANH(1/SQRT(1+x))   
      
   INT(1/(x^5*(1-x)^(7/2)),x)=1/(960*x^4*(1-x)^(5/2))*(45045*x^6-10~   
   5105*x^5+69069*x^4-6435*x^3-1430*x^2-520*x-240)-3003/64*ATANH(1/~   
   SQRT(1-x))   
      
   INT(1/(x^5*(x-1)^(2/3)),x)=(x-1)^(1/3)/(324*x^4)*(220*x^3+132*x^~   
   2+99*x+81)+55/243*LN((1+(x-1)^(1/3))^3/x)-110/(81*SQRT(3))*ATAN(~   
   (1-2*(x-1)^(1/3))/SQRT(3))   
      
   " examples 11 - 15 (p. 118-120) ... "   
      
   INT(SQRT((1-x)/(1+x)),x)=(x+1)*SQRT((1-x)/(x+1))+2*ATAN(1/SQRT((~   
   1-x)/(x+1)))   
      
   INT(SQRT((x-a)/(b-x))*x,x)=1/4*((a-3*b-2*x)*(b-x)*SQRT((x-a)/(b-~   
   x))+(a+3*b)*(a-b)*ATAN(1/SQRT((x-a)/(b-x))))   
      
   INT(SQRT(x-5)*SQRT(x+3)/((x-1)*(x^2-25)),x)=1/(3*SQRT(5))*ATANH(~   
   SQRT(x-5)/(SQRT(5)*SQRT(x+3)))+1/3*ATAN(SQRT(x-5)/SQRT(x+3))   
      
   INT(x^2*(1-x^2)^(1/4)*SQRT(1+x)/(SQRT(1-x)*(SQRT(1-x)-SQRT(1+x))~   
   ),x)=1/48*(1-x)^(1/4)*(1+x)^(1/4)*((8*x^2+22*x+29)*SQRT(1-x)-(8*~   
   x^2+2*x-7)*SQRT(1+x))-SQRT(2)/8*ATANH(SQRT(2)*(1-x)^(1/4)*(1+x)^~   
   (1/4)/(SQRT(1-x)+SQRT(1+x)))+3*SQRT(2)/16*ATAN((SQRT(1-x)-SQRT(1~   
   +x))/(SQRT(2)*(1-x)^(1/4)*(1+x)^(1/4)))=1/48*(1-x)^(1/4)*(1+x)^(~   
   1/4)*((8*x^2+22*x+29)*SQRT(1-x)-(8*x^2+2*x-7)*SQRT(1+x))-SQRT(2)~   
   /8*LN(SQRT(1-x)+SQRT(1+x)+SQRT(2)*(1-x)^(1/4)*(1+x)^(1/4))+3*SQR~   
   T(2)/16*ATAN((SQRT(1-x)-SQRT(1+x))/(SQRT(2)*(1-x)^(1/4)*(1+x)^(1~   
   /4)))   
      
   INT(x*(1+x)^(2/3)*SQRT(1-x)/(SQRT(1+x)*(1-x)^(2/3)-(1+x)^(1/3)*(~   
   1-x)^(5/6)),x)=-1/12*(1-x)^(1/6)*(3*(3+x)*(1-x)^(5/6)+(10+3*x)*(~   
   1-x)^(2/3)*(1+x)^(1/6)+(1-3*x)*SQRT(1-x)*(1+x)^(1/3)-3*x*(1-x)^(~   
   1/3)*SQRT(1+x)-(1+3*x)*(1-x)^(1/6)*(1+x)^(2/3)-(2+3*x)*(1+x)^(5/~   
   6))+SQRT(3)/18*ATANH(SQRT(3)*(1-x)^(1/6)*(1+x)^(1/6)/((1-x)^(1/3~   
   )+(1+x)^(1/3)))+1/6*ATAN((1+x)^(1/6)/(1-x)^(1/6))-5/6*ATAN(((1-x~   
   )^(1/3)-(1+x)^(1/3))/((1-x)^(1/6)*(1+x)^(1/6)))-4*SQRT(3)/9*ATAN~   
   (((1-x)^(1/3)-2*(1+x)^(1/3))/(SQRT(3)*(1-x)^(1/3)))   
      
   " examples 16 - 27 (p. 127-128) ... "   
      
   INT(1/((x+1)^2*(x-1)^4)^(1/3),x)=3/2*((x+1)*(1-x)/((x+1)^2*(x-1)~   
   ^4)^(1/3))   
      
   INT(1/((x-1)^3*(x+2)^5)^(1/4),x)=4/3*((x-1)*(x+2)/((x-1)^3*(x+2)~   
   ^5)^(1/4))   
      
   INT(1/((x+1)^2*(x-1)^7)^(1/3),x)=3/16*((x+1)*(x-1)*(3*x-5)/((x+1~   
   )^2*(x-1)^7)^(1/3))   
      
   INT(1/((x-1)^2*(x+1))^(1/3),x)=(x-1)^(2/3)*(x+1)^(1/3)/((x-1)^2*~   
   (x+1))^(1/3)*(SQRT(3)*ATAN(((x+1)^(1/3)+2*(x-1)^(1/3))/(SQRT(3)*~   
   (x+1)^(1/3)))-3/2*LN((x+1)^(1/3)-(x-1)^(1/3)))   
      
   INT((x+1/x)*(1/SQRT((x+1)^3*(x-2))),x)=-4*SQRT((x+1)^3*(x-2))/(3~   
   *(x+1)^2)+2*ATANH(SQRT((x+1)^3*(x-2))/(x+1)^2)+SQRT(2)*ATAN(SQRT~   
   ((x+1)^3*(x-2))/(SQRT(2)*(x+1)^2))   
      
   INT(((x-1)^2*(x+1))^(1/3)/x^2,x)=-((x-1)^2*(x+1))^(1/3)/x+((x-1)~   
   ^2*(x+1))^(1/3)/((x-1)^(2/3)*(x+1)^(1/3))*(1/6*LN(x)-1/2*LN((x+1~   
   )^(1/3)+(x-1)^(1/3))-3/2*LN((x+1)^(1/3)-(x-1)^(1/3))-1/SQRT(3)*A~   
   TAN(((x+1)^(1/3)-2*(x-1)^(1/3))/(SQRT(3)*(x+1)^(1/3)))-SQRT(3)*A~   
   TAN(((x+1)^(1/3)+2*(x-1)^(1/3))/(SQRT(3)*(x+1)^(1/3))))   
      
   INT(1/(x^2-2*x-3)^(5/2),x)=(x-1)*(x^2-2*x-5)/(24*(x^2-2*x-3)^(3/~   
   2))   
      
   INT(1/SQRT(x^3-5*x^2+3*x+9),x)=-ATANH(SQRT(x^3-5*x^2+3*x+9)/(2*(~   
   x-3)))   
      
   INT(1/(x^3-5*x^2+3*x+9)^(3/2),x)=(15*x^2-70*x+43)/(256*(x-3)*SQR~   
   T(x^3-5*x^2+3*x+9))-15/512*ATANH(SQRT(x^3-5*x^2+3*x+9)/(2*(x-3)))   
      
   INT(1/(x^3-5*x^2+3*x+9)^(1/3),x)=(x+1)^(1/3)*(x-3)^(2/3)/(x^3-5*~   
   x^2+3*x+9)^(1/3)*(SQRT(3)*ATAN(((x+1)^(1/3)+2*(x-3)^(1/3))/(SQRT~   
   (3)*(x+1)^(1/3)))-3/2*LN((x+1)^(1/3)-(x-3)^(1/3)))   
      
   INT(1/(x^3-5*x^2+3*x+9)^(2/3),x)=-3*(x^3-5*x^2+3*x+9)^(1/3)/(4*(~   
   x-3))   
      
   INT(1/(x^3-5*x^2+3*x+9)^(4/3),x)=3*(9*x^2-42*x+29)/(320*(x-3)*(x~   
   ^3-5*x^2+3*x+9)^(1/3))   
      
   " examples 28 - 42 (p. 143-146) ... "   
      
   INT(1/SQRT(4+3*x-2*x^2),x)=1/SQRT(2)*ASIN((4*x-3)/SQRT(41))   
      
   INT(1/SQRT(-3+4*x-x^2),x)=ASIN(x-2)   
      
   INT(1/SQRT(-2-5*x-3*x^2),x)=1/SQRT(3)*ASIN(6*x+5)   
      
   INT(1/((x^2+4)*SQRT(1-x^2)),x)=SQRT(5)/10*ATAN(SQRT(5)*x/(2*SQRT~   
   (1-x^2)))   
      
   INT(1/((x^2+4)*SQRT(4*x^2+1)),x)=SQRT(15)/30*ATANH(SQRT(15)*x/(2~   
   *SQRT(4*x^2+1)))   
      
   INT(x/((3-x^2)*SQRT(5-x^2)),x)=1/SQRT(2)*ATANH(SQRT(2)/SQRT(5-x^~   
   2))   
      
      
   [continued in next message]   
      
   --- 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