Question: inert intat vs. inert int with lower limit 0

I never really understood Intat. Help says 

"The intat command expresses an integral evaluated at a point; it is analogous to using the D command to express a derivative evaluated at a point."

But slope at a point is clear what it is and one can visualize it.

I do not understand what integral at single point means.

If one thinks of integration as area under the curve of the function, so what does area at single point mean? Should not integration (definite) always have lower and upper limits?

But my main question is not the above. I am sure there is a valid reason for Intat, otherwise it will not be in Maple.

But my quesiton is, in the context of solution to ode, can one replace result given using Intat by Int such that the lower limit starts from zero, and using same upper limit?

ie change Intat(...., a_ = something)  by Int( ... , a_ = 0 ... something) without changing the semantics or the correctness of the solution?

Because in  Intat, the lower limit is empty, and this always bothered me. At school the teacher says definite integration should have both lower and upper limits.

I tried it few places, and odetest verifies the solution of ode when using Intat or when using Int with lower limit zero:

ode:=diff(y(x), x) = B + C*f(a*x + b*y(x));

diff(y(x), x) = B+C*f(a*x+b*y(x))

sol_1:=Intat(1/(C*f(_a*b)*b+b*B+a),_a = (a*x+b*y(x))/b)*b-x+_C1 = 0;
sol_2:=Int(1/(C*f(_a*b)*b+b*B+a),_a = 0..(a*x+b*y(x))/b)*b-x+_C1 = 0;

Intat(1/(C*f(_a*b)*b+b*B+a), _a = (a*x+b*y(x))/b)*b-x+_C1 = 0

(Int(1/(C*f(_a*b)*b+b*B+a), _a = 0 .. (a*x+b*y(x))/b))*b-x+_C1 = 0

odetest(sol_1,ode);

0

odetest(sol_2,ode);

0

 

 

Download intat_vs_int.mw

Is there a case you know, where solution of ode which has Intat, when replaced by Int with lower limit 0, will no longer verifies the ode?  I am not able to find one so far. But may be there is.
 

Update

fyi, I found case where it makes difference. Not for odetest, but when using value. When using Int(...,tau=0..upper) vs   Intat(....,tau=upper)

value was able to find the value when using Intat, but not when using Int (for this example). 

So I think I will just stick to Intat even though both verified the ode as valid solution as it is better to be able to find value for integral if possible. I knew there must be good reason why Intat was invented.

 

ode:=diff(y(x),x)= sin(x-y(x));

diff(y(x), x) = sin(x-y(x))

sol_1:=Int(1/(1 - sin(tau)), tau = 0..x - y(x)) = x + _C1;
sol_2:=Intat(1/(1 - sin(tau)), tau = x - y(x)) = x + _C1;

Int(1/(1-sin(tau)), tau = 0 .. x-y(x)) = x+_C1

Intat(1/(1-sin(tau)), tau = x-y(x)) = x+_C1

odetest(sol_1,ode);

0

odetest(sol_2,ode);

0

value(sol_1);

int(1/(1-sin(tau)), tau = 0 .. x-y(x)) = x+c__1

value(sol_2);

-2/(tan((1/2)*x-(1/2)*y(x))-1) = x+c__1

 


 

Download int_vs_intat_v2.mw

 

Please Wait...