computes polynomial solutions for (differential or not) system of equations. - Maple Help

Online Help

All Products    Maple    MapleSim

Home : Support : Online Help : Mathematics : Differential Equations : PDEtools : Symmetries : PDEtools/PolynomialSolutions

PDEtools[PolynomialSolutions] - computes polynomial solutions for (differential or not) system of equations.

Calling Sequence

PolynomialSolutions(S, PDESYS, DepVars)




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



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

degree = ...


optional - to indicate the upper bound degree of the solution, could be a non-negative integer, or a set of equations where the lhs is one of unknowns (DepVars) and the rhs is the upper bound degree for its solution

dependency = ...


optional - to indicate the dependency of the solution, could be a 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

HINT = ...


optional - a set of equations with unknowns in the lhs and related hints polynomial in the independent variables in the rhs

ivars = ...


optional, a name or set of them indicating additional independent variables, typically not present in the dependency of the unknowns DepVars

numberofsolutions = ...


optional - can be a nonnegative integer or the keyword all, to specify the number of polynomial solutions desired; default is all having degree as upper bound

simplifier = ...


optional - indicates the simplifier to be used instead of the default simplify/size



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


If DepVars is not given, PolynomialSolutions will consider all the differentiated unknown functions in PDESYS as unknown 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.


PolynomialSolutions uses a heuristic algorithm to compute upper bound degrees. The algorithm used extends, for non-autonomous systems of equations, the ideas used in TWSolutions (step 2. of The solving process) for computing solutions to autonomous systems. This extended algorithm is accessible at user level as PDEtools:-Library:-UpperBounds (see PDEtools,Library). To override these upper bounds see the degree option.


PolynomialSolutions is automatically invoked by Infinitesimals, InvariantSolutions and SimilaritySolutions when they receive the optional argument typeofsymmetry = polynomial in which case the dependency and degree can also be specified directly to those commands.


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.




ξx,ywill now be displayed asξ

ηx,ywill now be displayed asη








Solutions can be tested as usual, with pdetest




Compute polynomial solutions of degree = 1 depending on 1 variable




Compute polynomial solutions depending on 0 (there are none) 1 and 2 variable




PolynomialSolutions is invoked by InvariantSolutions and other commands when they receive the optional argument typeofsymmetry = polynomial. In this example, solutions are computed where the degree of the polynomial infinitesimals is requested to be zero




An example involving mathematical functions (ln):




The internal routine computes the following upper bound degrees




When the degrees are not specified, PolynomialSolutions automatically calls that internal routine to decide about the degrees, resulting in the following solution







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