diffalg(deprecated)/essential_components - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : diffalg(deprecated)/essential_components

diffalg

  

essential_components

  

compute a minimal characteristic decomposition

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

essential_components (p, R)

Parameters

p

-

differential polynomial in R

R

-

differential polynomial ring

Description

• 

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

• 

The function essential_components returns a minimal characteristic decomposition of the radical  differential ideal generated by the single differential polynomial p.

• 

Each of the characterizable components returned has a characteristic set consisting of only one differential polynomial, say a1,...,ak.

  

This means that the set of solutions of the differential equation p=0 is minimally described as the union of the general solutions of a1=0, ... , ak=0.

  

The set of irreducible factors of a1,...,ak does not depend on the ranking chosen for R.

• 

This function proceeds by eliminating the redundancy in the characteristic decomposition computed by Rosenfeld_Groebner applied to ([p], R).

• 

The command with(diffalg,essential_components) allows the use of the abbreviated form of this command.

Examples

Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.

withdiffalg:

Ordinary differential polynomials of first order:

Rdifferential_ringderivations=t,ranking=y,notation=diff:

pⅆⅆtyt34tytⅆⅆtyt+8yt2

p:=ⅆⅆtyt34tytⅆⅆtyt+8yt2

(1)

equationsRosenfeld_Groebnerp,R

ⅆⅆtyt34tytⅆⅆtyt+8yt2,27yt4t3,yt

(2)

This differential polynomial has two singular zeros: the cubic yt=427t3 and yt=0. Nonetheless, the general zero can be expressed as yt=_Ct_C2. Therefore, yt=0 is a particular case (_C=0) of the general solution. This is uncovered by essential_components without solving the differential equation. The function essential_components gives a minimal description of the zero set.

equationsessential_componentsp,R

ⅆⅆtyt34tytⅆⅆtyt+8yt2,27yt4t3

(3)

Let us consider the two similar differential polynomials p and q.

Rdifferential_ringderivations=t,ranking=y:

pyt24y[]

p:=yt24y[]

(4)

qyt24y[]3

q:=4y[]3+yt2

(5)

CpequationsRosenfeld_Groebnerp,R

Cp:=yt24y[],y[]

(6)

CqequationsRosenfeld_Groebnerq,R

Cq:=4y[]3+yt2,y[]

(7)

Both p and q admit yt=0 as a singular zero. Nonetheless:

Mpequationsessential_componentsp,R

Mp:=yt24y[],y[]

(8)

Mqequationsessential_componentsq,R

Mq:=4y[]3+yt2

(9)

yt=0 is an essential singular zero of p but not of q. This has an analytic interpretation: yt=0 is an envelope of the non singular zeros of p while it is a limit of the non singular zeros of q.

Incidentally: the general zero of q can be expressed as yt=_C_Ct12. Thus, yt=0 is a particular case of the general zero of q.

Partial differential polynomials:

This illustrates the fact that the characteristic sets of the components of the minimal characteristic decomposition have only one element.

Rdifferential_ringderivations=x,y,ranking=u:

pu[]+yuy+xuxux2uy2

p:=xux+yuyux2uy2u[]

(10)

CequationsRosenfeld_Groebnerp,R

C:=xuxyuy+ux2+uy2+u[],2uxx,x24yuy+4uy2+4u[],x2y2+4u[]

(11)

Mequationsessential_componentsp,R

M:=xuxyuy+ux2+uy2+u[],x2y2+4u[]

(12)

A differential polynomial in several variables:

withdiffalg:

Rdifferential_ringderivations=x,y,ranking=u,v:

pux,y2vyux,yvyuyuyux,y+uy2

p:=uyux,yvy+ux,y2vy+uy2uyux,y

(13)

Rosenfeld_Groebnerp,R

characterizable,characterizable

(14)

It would seem that there several types of zeros, the general zero of p and several singular zeros. Nonetheless,

MRessential_componentsp,R

MR:=characterizable

(15)

ERequationsMR

ER:=uyux,yvy+ux,y2vy+uy2uyux,y

(16)

This show that the singular zeros exhibited by the Rosenfeld_Groebner decomposition are in fact particular zeros of the general zero of p.

We illustrate now the fact that the underlying prime minimal decomposition of the obtained characteristic minimal decomposition is independent of the ranking.

Qdifferential_ringderivations=x,y,ranking=v,u:

MQessential_componentsp,Q

MQ:=characterizable

(17)

EQequationsMQ

EQ:=ux,yvyuy

(18)

We check that the two differential polynomials appearing in this decompositions are the two factors of differential polynomials appearing in MR.

factorER11

uyux,yux,yvy+uy

(19)

Higher order differential polynomials:

The following equation arose in Chazy's work to extend the Painleve analysis to third order differential equations. In the process, he uncovered certain differential equations whose non-singular solutions have no movable singularity whereas one of the singular solutions does.

Rdifferential_ringranking=y,derivations=x:

chazyyx,x+y[]3yx2+y[]yx24yx+y[]4

chazy:=y[]3yx+yx,x2+y[]2yx2y[]4+4yx

(20)

equationsRosenfeld_Groebnerchazy,R

2y[]3yxyx,x4y[]2yx3+yx,x2,y[]4+4yx,yx

(21)

equationsessential_componentschazy,R

2y[]3yxyx,x4y[]2yx3+yx,x2,y[]4+4yx

(22)

The singular zeros are given by yx=_C and yx3=134x+_C. Only the second kind is essential.

The zeros of the following 4th order, homogeneous differential equation of degree 7 have the property that they can be used to approximate piecewisely any smooth function. This was shown  by Rubel (1981).

Rdifferential_ringranking=y,z,derivations=x:

rubel3yx4yx$2yx$424yx4yx$32yx$4+6yx3yx$22yx$3yx$4+24yx2yx$24yx$412yx3yx$2yx$3329yx2yx$23yx$32+12yx$27

rubel:=3yx4yx,xyx,x,x,x24yx4yx,x,x2yx,x,x,x+6yx3yx,x2yx,x,xyx,x,x,x12yx3yx,xyx,x,x3+24yx2yx,x4yx,x,x,x29yx2yx,x3yx,x,x2+12yx,x7

(23)

equationsRosenfeld_Groebnerrubel,R

3yx4yx,xyx,x,x,x24yx4yx,x,x2yx,x,x,x+6yx3yx,x2yx,x,xyx,x,x,x12yx3yx,xyx,x,x3+24yx2yx,x4yx,x,x,x29yx2yx,x3yx,x,x2+12yx,x7,yx2yx,x,x2+3yx,x4,yx,x

(24)

equationsessential_componentsrubel,R

3yx4yx,xyx,x,x,x24yx4yx,x,x2yx,x,x,x+6yx3yx,x2yx,x,xyx,x,x,x12yx3yx,xyx,x,x3+24yx2yx,x4yx,x,x,x29yx2yx,x3yx,x,x2+12yx,x7,yx2yx,x,x2+3yx,x4

(25)

See Also

diffalg(deprecated)

diffalg(deprecated)/differential_algebra

diffalg(deprecated)/differential_ring

diffalg(deprecated)/preparation_polynomial

diffalg(deprecated)/Rosenfeld_Groebner

diffalg(deprecated)[equations]

DifferentialAlgebra[RosenfeldGroebner]

 


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