Professional Documents
Culture Documents
rals
================================================================================
====
Author: Valeriu Anisiu
email: anisiu@math.ubbcluj.ro
address: Faculty of Mathematics and Computer Science
"Babes-Bolyai" University
Kogalniceanu 1 Street
3400 Cluj-Napoca, Romania
The file IntegrationPlus.mth contains four user functions which can be used to h
elp or correct the integration process in DERIVE.
INTSUBST(y, x, rx, t, rt) := the antiderivative of y(x) computed using the chang
e of variable given by the relation rx.
rx is a relation (equality) between x and t which can be solved (by SOLVE) with
respect to t.
If rx in not a relation but an expression depending on x, rx=t is considered.
Note that if rx is an expression which does not depend on x, then another sem
antics applies (see below).
t denotes the new (intermediate) variable, and rt is a relation equivalent to
the relation rx (in a certain interval) which can be solved with respect to t.
It was necesary to deal with two relations because the SOLVE function is not pow
erful enough.
If the relation rt is absent, rt:=rx.
As a bonus, the INTSUBST can apply on demand the well known Euler substitutio
ns for y = R(x,SQRT(a*x^2 + b*x +c)), where R is a rational function: in this ca
se rx must have one of the special forms
a*x^2 + b*x +c = "euler1", a*x^2 + b*x +c = "euler2" or a*x^2 + b*x +c = "
euler3"
[As a recommandation, use "euler1" when a>0, "euler2" when c>0 and "euler3" when
b^2-4ac>0].
Furthermore, if the second argument x is replaced with the vector [x,a,b], th
e definite integral is computed.
The user is responsible for the equivalence of the given relations in the int
erval where he/she wants to integrate.
The INTSUBST function accepts annother semantics:
INTSUBST(y, x, u(t), t) uses the substitution x=u(t), but without the inverse su
bstitution (the result being a function of t, namely INT(y(u(t))*u'(t),t)). If t
he last parameter is the vector [t,a,b], then the definite integral is computed
between t=a and t=b.
The advantage here is that u(t) need not to be invertible.
As one can see, the INTSUBST is very versatile, and can be even extended for oth
er changes of variable (in order to eliminate the computation by hand of the inv
erse substitution). Please inspect its definition in the file MiscellaneousFunct
ions.mth.
Note also that INTSUBST is "compatible" with INT_SUBST; you can simply rename th
e function INTSUBST to INT_SUBST and put it in the file MiscellaneousFunctions.m
th after deleting (or "quoting") the old INT_SUBST. After this change, the new
INT_SUBST will be automatically loaded when invoked. (You will of course first b
ackup the file MiscellaneousFunctions.mth!).
The author also recommends (without taking any responsibility) to replace INT_PA
RTS with INTPARTS in the same way (for those users who are "brave" enough to mod
ify the Derive original files).
If you do not want to evaluate the integrals, use the function INTSUBST_() inste
ad of INTSUBST(). You can now examine the new integrals before being computed; i
f simplified, the result is the same as that obtained with INTSUBST().
To recall the syntax accepted by INTSUBST, simplify the variable intsubst? which
is defined when the package is loaded.
For example, if
f:= 1/(SQRT(x^2+x+4)+2*x+3)
then an antiderivative for f can be computed with:
INTSUBST(f, x, x^2+x+4="euler1") or
INTSUBST(f, x, x^2+x+4="euler2") or
INTSUBST(f, x, SQRT(x^2+x+4)=x+t, t, x^2+x+4=(x+t)^2).
Note that the integral cannot be computed with INT or INT_SUBST.
INTSUBST(EXP(ASIN(x)),[x,0,1],ASIN(x)) computes the integral of EXP(ASIN(x)) bet
ween x=0 and x=1.
For other examples, please load and run the demo file IntegrationPlus.dmo.