Re: Re: Integrate question

*To*: mathgroup at smc.vnet.net*Subject*: [mg77749] Re: [mg77685] Re: Integrate question*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>*Date*: Sat, 16 Jun 2007 03:21:47 -0400 (EDT)*References*: <f4omvd$7qh$1@smc.vnet.net><f4r10i$639$1@smc.vnet.net> <200706150825.EAA15568@smc.vnet.net>

I think Jens simply got confused: it is the derivative f' that needs to be assumed to be continuous, not the function f. What "continuous" in the "other CAS" presumably means is "assume that the integrand is continuous", and in this case it is the derivative of f that is the integrand. However, I have to confess, I fail to see any serious use for this (in the case of an undefined fucntion f). Does not having "continuous" in the integral amount to anything more than simply the instruction: do not evaluate this integral using the Fundamental Theorem of Calculus? Is there any other practical aspect to it? In Mathematica you also have a number of ways of preventing evaluation if you don't want it and I don't see any obvious advantage in the way the "other CAS" does this, except perhaps that of giving us the illusion of greater mathematical rigour. But then perhaps I am failing to see something important? Andrzej Kozlowski On 15 Jun 2007, at 17:25, dimitris wrote: > I agree with this! > I should have posted my question differently. > > In[2]:= > Integrate[D[f[x], x], {x, a, b}] > > Out[2]= > -f[a] + f[b] > > >> int(D(y)(x),x=a..b); > > b > / > | > | D(y)(x) dx > | > / > a > >> int(D(y)(x),x=a..b,'continuous'); > > -y(a) + y(b) > > Integrate[f'[x],{x,a,b}] is NOT always f[b]-f[a]. > > In[30]:= g[x_] = Integrate[ArcTan[Tan[x/2]], x]; > > In[34]:= Integrate[Derivative[1][g][x], {x, 0, 3*(Pi/2)}] > Out[34]= Pi^2/16 > > In[37]:= FullSimplify[(D[g[x], x] /. x -> 3*(Pi/12)) - (D[g[x], x] /. > x -> 0)] > Out[37]= Pi/8 > > Dimitris > > / Jens-Peer Kuska : >> Hi dimitris, >> >> this is a very valuable question: >> >>> I am neither software enginner, nor pure mathematician but this >>> fundmental difference impressed me a lot! I am familiar >>> with the issue of generic complex values in mathematica >>> but here Mathematica "assumes" that typing Integrate[f'[x],{x,a,b}] >>> f[x] is continuous in [a,b]? >> >> >> and what happens with f'[x] if f[x] is *not* continuous in [a,b] ?? >> it does not exist on every point in[a,b]? >> You can't write f'[x] if it does not exist >> and writing it mean that f'[x] exist and that the integral will be >> continuous. >> >> Regards >> Jens > >

**References**:**Re: Integrate question***From:*dimitris <dimmechan@yahoo.com>