rewrite a given expression removing RootOf. - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : Commands for ODEs : DEtools/remove_RootOf

DEtools[remove_RootOf] - rewrite a given expression removing RootOf.

Calling Sequence

remove_RootOf(expr, R)

Parameters

expr

-

any Maple algebraic expression or equation

R

-

(optional) identifies which specific RootOf is to be removed

Description

• 

The remove_RootOf command receives an algebraic expression containing a RootOf and removes it by rewriting the expression. In general, this command is used to directly and naturally convey the mathematical meaning of algebraic expressions that contain RootOfs.

  

Note that remove_RootOf is different from allvalues; remove_RootOf attempts to remove the RootOf -- typically resulting in implicit algebraic expressions -- while allvalues attempts to return all the values implied by the RootOf.

  

remove_RootOf is of particular value for understanding or further manipulating ODE solutions, and especially when allvalues fails in evaluating the RootOf.

• 

When the given expression has no RootOf inside it, remove_RootOf returns it as given; when the expression has many RootOfs, only one RootOf (the one with greatest length) is removed. It is also possible to direct remove_RootOf to remove a specific RootOf, say R, by passing R to remove_RootOf as its second argument.

• 

When the removal of a RootOf itself requires the introduction of another RootOf, the removal is not performed and the expression received is returned as given. Also remove_RootOf only removes RootOfs of one argument (so RootOfs with indices or labels will remain in the output).

• 

This function is part of the DEtools package, and so it can be used in the form remove_RootOf(..) only after executing the command with(DEtools). However, it can always be accessed through the long form of the command by using DEtools[remove_RootOf](..).

Examples

withDEtools:

ⅆⅆxyx=1ax22Fyx+1ax48x2

ⅆⅆxyx=12ax22Fyx+18ax4x

(1)

dsolve

yx=18ax4+RootOfx2+2∫_Z1F_aⅆ_a+2_C1

(2)

remove_RootOf

x2+2∫yx+18ax41F_aⅆ_a+2_C1=0

(3)

Here is an example that shows the difference between remove_RootOf and allvalues.

expr:=yx+RootOf_Z+ⅇ_Z=C

expr:=yx+RootOf_Z+ⅇ_Z=C

(4)

is rewritten by remove_RootOf as:

DEtools[remove_RootOf]expr

yx+C+ⅇyx+C=0

(5)

allvaluesexpr

yxLambertW_Z2~,1=C

(6)

An example with nested RootOfs

ode:=ⅆⅆxyx=xyx+1x2yx2+x2yx+2xyx+1+x+x2x5

ode:=ⅆⅆxyx=xyx+1x2yx2+x2yx+2xyx+1+x+x2x5

(7)

dsolveode

yx=1917RootOf162∫_Z1289_a3+54_a54ⅆ_ax+3_C1x+2x3x9x

(8)

If we now evaluate the integral, the resulting solution is

sol:=value

sol:=yx=1917RootOf162_R=RootOf289_Z3+54_Z5413ln_Z_R289_R2+18x+3_C1x+2x3x9x

(9)

One RootOf can be removed in the expression above (and the solution can be further evaluated using allvalues).

remove_RootOfsol

162_R=RootOf289_Z3+54_Z5413ln3173xyx+x+3x_R289_R2+18x+3_C1x+2=0

(10)

Here, the sum over the Roots of the third degree polynomial is equal to zero.

odetest,ode

0

(11)

A second order ODE example in which three solutions with RootOf are returned by dsolve

ⅆ2ⅆx2yxhyxxx32=0

ⅆ2ⅆx2yxhyxxx3/2=0

(12)

dsolve

yx=RootOf_Zx3/2+4h_Zxx2,yx=RootOflnx+2∫_Z1_C1+8∫h_gⅆ_g+_g2ⅆ_g+2_C2x,yx=RootOflnx2∫_Z1_C1+8∫h_gⅆ_g+_g2ⅆ_g+2_C2x

(13)

mapremove_RootOf,

yxx3/2+4hyxxx2=0,lnx+2∫yxx1_C1+8∫h_gⅆ_g+_g2ⅆ_g+2_C2=0,lnx2∫yxx1_C1+8∫h_gⅆ_g+_g2ⅆ_g+2_C2=0

(14)

Although remove_RootOf is mainly useful for manipulating nonlinear ODE solutions, it can also be of help with solutions to linear ODEs, for instance when allvalues fails in evaluating the RootOfs.

See Also

allvalues, DEtools, dsolve, PDEtools, RootOf, sum


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam