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,956 of 10,432   
   acer to nma%12...@gtempaccount.com   
   Re: question on integral result   
   15 Mar 19 08:37:34   
   
   From: maple@rogers.com   
      
   On Friday, March 15, 2019 at 3:41:59 AM UTC-4, nma%12...@gtempaccount.com   
   wrote:   
   > Maple 2019 gives   
   >   
   > int(exp(I*w*t)/(c+I*w),w=-infinity..infinity) assuming c>0   
   >   
   >         0   
   >   
   > Next, when I tell it that t>0, it then gives   
   >   
   > int(exp(I*w*t)/(c+I*w),w=-infinity..infinity) assuming c>0,t>0   
   >   
   >        2*Pi*exp(-c*t)   
   >   
   > Which is correct.   
   >   
   > Should it give zero for the first case?  With Mathematica 11.3   
   >   
   > sol = Integrate[ConditionalExpression[Exp[I w t]/(c + I*w), c > 0],   
   >         {w, -Infinity,Infinity}]   
   >   
   > gives   
   >   
   > ConditionalExpression[(Pi*(1 + Sign[t]))/E^((c*t)/Sign[t]),   
   >           Element[t, Reals] && c > 0]   
   >   
   > Which is zero, only when t<0 and  2*Pi*exp(-c*t) when t>0   
   >   
   > So Maple and Mathematica agree when told t>0. But why Maple gives zero when   
   one does not tell it anything about if t is positive or not? Do you think this   
   is an OK result by Maple?   
   >   
   > Thanks   
   > --Nasser   
      
   The problem is that the `meijerg` method is producing the 0 result and,   
   without the assumption on t, all other methods are producing FAIL.   
      
   But with an assumption such as t>0 or t::real the `ftoc` and `ftocms` methods   
   produce a non-FAIL result and that is what `int` then returns.   
      
   Yes, there is a bug in how the `int` is handling this example with its   
   `meijerg` method. With that method forced it produces 0 even for t=2,   
      
      int(exp(I*w*(2))/(c+I*w),w=-infinity..infinity,   
          method=meijerg) assuming c>0;   
      
                         0   
      
   The `ftoc` method will allow this, hoewever,   
      
      int((exp(I*w*(t))/(c+I*w)),w=-infinity..infinity)   
        assuming t::real, c>0;   
      
                  2   
         signum(t)  exp(-c t) Pi + signum(t) exp(-c t) Pi   
      
      
   Nasser, I will submit a bug report.   
      
   --- 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