Menu

#3545 wrong definite integral for %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)

None
closed
nobody
5
2025-05-11
2019-03-31
lanride
No

maxima 5.42.2 Lisp: SBCL 1.4.10.debian

simple function gives right answer (see u1,u2)
but rewriting u1 into v1 gives wrong result for definite integral, indefinite is right

(%i27)  u1: %e^(-2*%i*%pi*t)+1;
(u1)    %e^(-2*%i*%pi*t)+1
(%i36)  u2: ratsimp(integrate(u1,t,-1/6,1/6));
(u2)    (2*%pi+3^(3/2))/(6*%pi)                         OK
(%i37)  v1: %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1);
(v1)    %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)
(%i38)  ratsimp(integrate(v1,t,-1/6,1/6));
(%o38)  sqrt(3)/(2*%pi)                                    BAD

Discussion

  • Robert Dodier

    Robert Dodier - 2019-04-02
    • labels: --> integrate, defint
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -2,6 +2,7 @@
    
     simple function gives right answer (see u1,u2)
     but rewriting u1 into v1 gives wrong result for definite integral, indefinite is right
    +~~~~
     (%i27) u1: %e^(-2*%i*%pi*t)+1;
     (u1)   %e^(-2*%i*%pi*t)+1
     (%i36) u2: ratsimp(integrate(u1,t,-1/6,1/6));
    @@ -10,3 +11,4 @@
     (v1)   %e^(-2*%i*%pi*t)*(%e^(2*%i*%pi*t)+1)
     (%i38) ratsimp(integrate(v1,t,-1/6,1/6));
     (%o38) sqrt(3)/(2*%pi)                                    BAD
    +~~~~
    
     
  • David Scherfgen

    David Scherfgen - 2025-05-11
    • status: open --> closed
     
  • David Scherfgen

    David Scherfgen - 2025-05-11

    Correct in current Maxima, closing this ticket.

     

Log in to post a comment.

Auth0 Logo