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,768 of 10,432   
   Dr Huang to Nasser M. Abbasi   
   Re: int( arcsin(x)/x,x), FriCas result   
   22 Jan 18 17:00:15   
   
   From: drhuang57@gmail.com   
      
   On Tuesday, 2 May 2017 16:42:07 UTC+10, Nasser M. Abbasi  wrote:   
   > Hello;   
   >   
   > Why can't Fricas integrate asin(x)/x dx ?  Since there is standard   
   > substitution u=asin(x) which converts the integrand to   
   >   
   >         u*cos(u)/sin(u) du   
   >   
   > which Fricas can integrate with no problem?   
   >   
   > Illustration using Rubi:   
   >   
   > In[88]:= Int[ArcSin[x]/x,x]   
   > Out[88]= -(1/2) I ArcSin[x]^2+ArcSin[x] Log[1-E^(2 I ArcSin[x])]-1/2 I   
   PolyLog[2,E^(2 I ArcSin[x])]   
   >   
   > And now using the transformed version of the integrand:   
   >   
   > In[91]:= Int[u*Cos[u]/Sin[u],u]   
   > Out[91]= -((I u^2)/2)+u Log[1-E^(2 I u)]-1/2 I PolyLog[2,E^(2 I u)]   
   >   
   > Convert back to x   
   >   
   > In[92]:= %/.u->ArcSin[x]//Simplify   
   > Out[92]= -(1/2) I (ArcSin[x] (ArcSin[x]+2 I Log[1-E^(2 I ArcSi   
   [x])])+PolyLog[2,E^(2 I ArcSin[x])])   
   >   
   > we see [92] is same as [88].   
   >   
   > But Fricas does not like   
   >   
   >   ii:=integrate(asin(x)/x,x)   
   >   
   > but it can do the transformed version   
   >   
   > ii:=integrate(u*cos(u)/sin(u),u)   
   >   
   > (u*log((2*sin(u))/(sin(u)+((-1)*(-1)^(1/2)*cos(u)+(-1)*(-1)^(1/2))))+(u*log(   
   >    (2*sin(u))/(sin(u)+((-1)^(1/2)*cos(u)+(-1)^(1/2))))+(u*log(   
   2*(-1)^(1/2)*cos(   
   >    u)+2*(-1)^(1/2))/(sin(u)+((-1)^(1/2)*cos(u)+(-1)^(1/2))))+(   
   *log(((-2)*(-1)^(   
   >    1/2)*cos(u)+(-2)*(-1)^(1/2))/(sin(u)+((-1)*(-1)^(1/2)*cos(u   
   +(-1)*(-1)^(1/2))   
   >    ))+((-1)^(1/2)*dilog((2*sin(u))/(sin(u)+((-1)*(-1)^(1/2)*co   
   (u)+(-1)*(-1)^(1/   
   >    2))))+((-1)*(-1)^(1/2)*dilog((2*sin(u))/(sin(u)+((-1)^(1/2)   
   cos(u)+(-1)^(1/2)   
   >    )))+((-1)*(-1)^(1/2)*dilog((2*(-1)^(1/2)*cos(u)+2*(-1)^(1/2   
   )/(sin(u)+((-1)^(   
   >    1/2)*cos(u)+(-1)^(1/2))))+(-1)^(1/2)*dilog(((-2)*(-1)^(1/2)   
   cos(u)+(-2)*(-1)^   
   >    (1/2))/(sin(u)+((-1)*(-1)^(1/2)*cos(u)+(-1)*(-1)^(1/2)))))))))))/2   
   >   
   > Just wondering why, that is all. I am using   
   >   
   >   FriCAS Computer Algebra System   
   >     Version: FriCAS 1.3.0   
   >   
   > Thank you,   
   > --Nasser   
      
   Your answer is too complicated. mathhandbook give a simple one:   
   http://www.mathhandbook.com/input/?guess=integrate%28cos%28x%29%   
   Fsin%28x%29*x%29&inp=cos%28x%29%2Fsin%28x%29*x   
      
   and show graph.   
      
   reference math handbook   
   www.mathHandbook.com   
      
   --- 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