construct a set of differential forms from a PDE
makeforms(eqns, fncs, rootname)
makeforms(eqns, fncs, [Extd])
PDE, or a list or set of PDEs
list of functions, for example, u(t,x)
name used to construct the names for the extended coordinates
name or list of names for constructing the extended variable names
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 h⁡t,x. If there is more than one dependent variable, these must be specified as a set or list. The Maple expression h,u⁡t,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,u⁡t,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.
eq1 ≔ ∂2∂x2⁢h⁡t,x=∂∂t⁢h⁡t,x
d⁡h−w1⁢d⁡t−w2⁢d⁡x,−d⁡w2 &^ d⁡t−w1⁢d⁡t &^ d⁡x
d⁡h−p⁢d⁡t−q⁢d⁡x,−d⁡q &^ d⁡t−p⁢d⁡t &^ d⁡x
eq3 ≔ ∂2∂r2⁢U⁡t,r+1⁢∂∂r⁢U⁡t,rr−∂2∂t2⁢U⁡t,r=ⅇ−2⁢U⁡t,r⁢∂∂t⁢C⁡t,r2−∂∂r⁢C⁡t,r2
eq3 ≔ ∂2∂r2⁢U⁡t,r+∂∂r⁢U⁡t,rr−∂2∂t2⁢U⁡t,r=ⅇ−2⁢U⁡t,r⁢∂∂t⁢C⁡t,r2−∂∂r⁢C⁡t,r2
eq4 ≔ ∂2∂r2⁢C⁡t,r+1⁢∂∂r⁢C⁡t,rr−∂2∂t2⁢C⁡t,r=2⁢∂∂r⁢C⁡t,r⁢∂∂r⁢U⁡t,r−∂∂t⁢C⁡t,r⁢∂∂t⁢U⁡t,r
eq4 ≔ ∂2∂r2⁢C⁡t,r+∂∂r⁢C⁡t,rr−∂2∂t2⁢C⁡t,r=2⁢∂∂r⁢C⁡t,r⁢∂∂r⁢U⁡t,r−2⁢∂∂t⁢C⁡t,r⁢∂∂t⁢U⁡t,r
d⁡C−A⁢d⁡t−B⁢d⁡r,d⁡U−F⁢d⁡t−G⁢d⁡r,d⁡G &^ d⁡t+d⁡F &^ d⁡r+Gr−A2ⅇU2+B2ⅇU2⁢d⁡r &^ d⁡t,d⁡B &^ d⁡t+d⁡A &^ d⁡r+Br−2⁢B⁢G+2⁢A⁢F⁢d⁡r &^ d⁡t
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.