Does anyone know why the two integrations of a heaviside function (u1test and u2test) are not equal?  @Preben Alsholm said that the pure symbolic integration u was not correct so that the value of u2test is not correct either. Did I make any mistake in finding u? Is it possible for maple to find the pure symbolic expression of u correctly? Please help!

Hi, I am solving an integration. When I use "subs" command to define the value of cl and ct, the result is inconsistant with the one when I define the cl and ct directly by using "cl:= and ct:=". (Why u1test is not equal to u2test in "Comparison #1"?) Please help

result.mw

Hi, I was trying to carry out a Sybolic integration "u1" as below:

> assume(0 < ct, ct < cl);

> u1 := int(int(sin(omega*(ts+ys/ct))*Heaviside(t-ts-ys/ct), ys = H-cl*ts .. ct*ts), ts = H/(cl+ct) .. (H+cl*tau[l])/(cl+ct));

and I use a special case "u1test" to test if u1 is correct:

> u1test := int(int(sin(omega*(ts+(1/3140)*ys))*Heaviside(t-ts-(1/3140)*ys), ys = H-6300*ts .. 3140*ts), ts = H/(6300+3140) .. (H+6300*tau[l])/(6300+3140));