compute function field solutions for (differential or not) system of equations. - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : Commands for PDEs (and ODEs) : PDEtools/FunctionFieldSolutions

PDEtools[FunctionFieldSolutions] - compute function field solutions for (differential or not) system of equations.

Calling Sequence

FunctionFieldSolutions(PDESYS, DepVars, options=value)

Parameters

PDESYS

-

equation or a set or list of them; it can include PDEs, ODEs, non-differential equations and inequations

DepVars

-

(optional) may be required; function, or a set or list of them; the dependent variables of the problem

ivars = ...

-

(optional) name or set of names; additional independent variables, typically not present in the dependency of the unknowns DepVars

mathfunctiondegree = ...

-

(optional) non-negative integer, or a set of equations where the lhs is one of unknowns (DepVars) and the rhs is a non-negative integer; specifies the upper bound degree for the math functions in its solution

numberofsolutions = ...

-

(optional) non-negative integer or the keyword all; specifies the number of polynomial solutions desired. The default is all having degree as upper bound.

orderofderivatives = ...

-

(optional) non-negative integer, or a set of equations where the lhs is one of unknowns (DepVars) and the rhs is a non-negative integer; specifies the upper bound order for derivatives in its solution

polynomialdegree = ...

-

(optional) non-negative integer, or a set of equations where the lhs is one of unknowns (DepVars) and the rhs is a non-negative integer; specifies the upper bound degree for the degree of polynomials in its solution

polynomialdependency = ...

-

(optional) non-negative integer, a range of them, a name, or a set of names, or a set or list containing any of the previous objects; dependency of the solution

simplifier = ...

-

(optional) simplifier to be used instead of the default simplify/size

Description

• 

Given PDESYS, a system of equations for DepVars, possibly including inequations and non-differential equations, FunctionFieldSolutions computes solutions that are polynomial in the mathematical functions of PDESYS and its derivatives, with coefficients that are polynomial in the independent variables. The independent variables are typically the variables DepVars depend on, plus any others optionally specified with ivars = .... FunctionFieldSolutions also works with anticommutative variables set using the Physics package using the approach explained in PerformOnAnticommutativeSystem.

• 

If DepVars is not given, FunctionFieldSolutions will consider all the differentiated unknown functions in PDESYS as unknowns of the problems. Specifying DepVars however permits not only restricting the unknowns in different ways but also specifying unknowns of the problems which do not appear differentiated in PDESYS.

• 

FunctionFieldSolutions uses a refinement of the heuristic used by PolynomialSolutions to compute an upper bound for degree of the solution with respect to the mathematical functions entering PDESYS and their derivatives. The differential order of the derivatives of the mathematical functions of PDESYS entering the solution is equal to the maximal differential order of the equations of PDESYS. The coefficients of these mathematical functions and their derivatives are in turn polynomial in the independent variables, of degree determined by UpperBounds.

• 

FunctionFieldSolutions is automatically invoked by Infinitesimals, InvariantSolutions, and SimilaritySolutions when they receive the optional argument typeofsymmetry = functionfield in which case the dependency of the polynomials entering the coefficients of the mathematical functions, as well as their degree, can also be specified directly to those commands using their dependency and degree options.

• 

To avoid having to remember the optional keywords, if you type the keyword misspelled, or just a portion of it, a matching against the correct keywords is performed, and when there is only one match, the input is automatically corrected.

Examples

withPDEtools:

Consider the following linear system in Fx,y,Gx,y that involves the mathematical function exp

declareF,Gx,y

Fx,ywill now be displayed asF

Gx,ywill now be displayed asG

(1)

sys1:=yFx,y+xFx,y=ⅇx+1y+ⅇxy+1x,yGx,y+xGx,y=ⅇx1y+ⅇxy+1x

sys1:=Fy+Fx=ⅇx+1y+ⅇxy+1x,Gy+Gx=ⅇx1y+ⅇxy+1x

(2)

Typically, systems of this type do not admit polynomial solutions and frequently admit function field solutions:

PolynomialSolutionssys1

sol1:=FunctionFieldSolutionssys1

sol1:=F=ⅇxy+lnxlny+x+y2_C6+_C5x+_C5y+_C4,G=ⅇxy+lnx+lny+x+y2_C3+_C2x+_C2y+_C1

(3)

Verify this solution

pdetestsol1,sys1

0

(4)

Compare with the general solution, that for this example is computable by pdsolve

pdsolvesys1

F=ⅇxylny+_F1x+y+lnx,G=ⅇxylny+lnx+2lny+_F2x+y

(5)

The following system is similar to sys1 but contains nonlinear terms and its solution is out of reach for pdsolve

sys2:=Fx,yyFx,y+xFx,y=Fx,yⅇx1y+ⅇxy+1x,Fx,yyGx,y+xGx,y=Fx,yⅇx+1y+ⅇxy+1x

sys2:=FFy+Fx=Fⅇx1y+ⅇxy+1x,FGy+Gx=Fⅇx+1y+ⅇxy+1x

(6)

sol2:=FunctionFieldSolutionssys2

sol2:=F=ⅇxy+lnxlny+_C1,G=ⅇxy+lnx+lny+_C2

(7)

pdetestsol2,sys2

0

(8)

The following nonlinear system is also not solvable by pdsolve and its solution via FunctionFieldSolutions takes time to be computed; in cases like this one, the use of optional arguments to restrict the degrees in which the solution would depend on mathematical functions, can greatly diminish the computational time

sys3:=Fx,yyFx,y+xFx,y=Fx,yⅇx1ⅇxyy+ⅇxy+ⅇxyx,Fx,yyGx,y+xGx,y=Fx,yⅇx+cosxyy+ⅇxy+cosxyx

sys3:=FFy+Fx=Fⅇxⅇxyy+ⅇxy+ⅇxyx,FGy+Gx=Fⅇx+cosyxy+ⅇxy+cosyxx

(9)

sol3:=FunctionFieldSolutionssys3,mathfunctiondegree=1

sol3:=F=Eixy+_C1Siyx_C1Ssiyx+ⅇxy+_C3,G=Ciyx+_C4Siyx_C4Ssiyx+ⅇxy+_C2

(10)

pdetestsol3,sys3

0

(11)

See Also

DEtools/polysols, pdetest, PDEtools, PDEtools/Library, PerformOnAnticommutativeSystem, Physics, Setup, TWSolutions


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