construct a set of differential forms from a PDE - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : liesymm : liesymm/makeforms

liesymm[makeforms] - construct a set of differential forms from a PDE

Calling Sequence

makeforms(eqns, fncs, rootname)

makeforms(eqns, fncs, [Extd])

Parameters

eqns

-

PDE, or a list or set of PDEs

fcns

-

list of functions, for example, u(t,x)

rootname

-

name used to construct the names for the extended coordinates

Extd

-

name or list of names for constructing the extended variable names

Description

• 

This routine is part of the liesymm package and is loaded via with(liesymm).

• 

Given one or more partial differential equations this routine constructs a set of differential forms which after closure is equivalent to the original system of equations in the sense of Cartan. The forms are obtained by first reducing the system of PDEs to a system of first order equations.  It will handle systems which are quasi-linear.

• 

If more than one equation is given, they must be given as a list or a set.

• 

The second argument specifies the dependent and independent variables as in ht,x.  If there is more than one dependent variable, these must be specified as a set or list.  The Maple expression h,ut,x,y can be used to construct the required list when more than one dependent variable is involved.

• 

The third argument is used to construct the names of the extended variables. If it is the name k then the names k1, k2, k3, ..., kn are constructed as needed.  If a list of names is provided then these names are used in place of k1, k2, ..., kn.

• 

The dependent variables (as defined by h,ut,x) are processed in the order given.  For each dependent variable we introduce extended variables corresponding to the partial derivatives with respect to  t and x in that order.  These extended variables are in turn treated as dependent variables until the reduction to first order is achieved. The resulting coordinate list  is t,x,h,k1,k2,u,k3,w4 with k1 and k2 being the partials of h with respect to t and x and w3 and w4 being the partials of u with respect to t and x.

Examples

withliesymm:

eq1:=2x2ht,x=tht,x

eq1:=2x2ht,x=tht,x

(1)

makeformseq1,ht,x,w

dhw1dtw2dx,dw2 &^ dtw1dt &^ dx

(2)

makeformseq1,ht,x,p,q

dhpdtqdx,dq &^ dtpdt &^ dx

(3)

annul,t,x

tht,xpt,x=0,xht,xqt,x=0,xqt,xpt,x=0

(4)

eq3:=2r2Ut,r+1rUt,rr2t2Ut,r=ⅇ2Ut,rtCt,r2rCt,r2

eq3:=2r2Ut,r+rUt,rr2t2Ut,r=ⅇ2Ut,rtCt,r2rCt,r2

(5)

eq4:=2r2Ct,r+1rCt,rr2t2Ct,r=2rCt,rrUt,rtCt,rtUt,r

eq4:=2r2Ct,r+rCt,rr2t2Ct,r=2rCt,rrUt,r2tCt,rtUt,r

(6)

makeformseq3,eq4,Ut,r,Ct,r,A,B,F,G

dCAdtBdr,dUFdtGdr,dG &^ dt+dF &^ dr+GrA2ⅇU2+B2ⅇU2dr &^ dt,dB &^ dt+dA &^ dr+Br2BG+2AFdr &^ dt

(7)

annul,t,r

rCt,rBt,r=0,tCt,rAt,r=0,rUt,rGt,r=0,tUt,rFt,r=0,rGt,rtFt,r+Gt,rrAt,r2ⅇUt,r2+Bt,r2ⅇUt,r2=0,rBt,rtAt,r+Bt,rr2Bt,rGt,r+2At,rFt,r=0

(8)

See Also

liesymm, liesymm[annul], liesymm[close], liesymm[determine], liesymm[setup], with


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