Euler's operator - return the conditions that a DE system must satisfy in order to be the divergence of a current - Maple Help

Online Help

All Products    Maple    MapleSim

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

PDEtools[Euler] - Euler's operator - return the conditions that a DE system must satisfy in order to be the divergence of a current

Calling Sequence

Euler(PDESYS, DepVars, integrabilityconditions = ..., jetnotation = ..., simplifier = ...)




a system consisting of a single equation or a set or list of them, involving partial or ordinary (possibly not) differential equations



(optional) a specification of the unknown(s) in PDESYS

jetnotation = ...


(optional) can be false, jetvariables (default), jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available

integrabilityconditions = ...


(optional) - can be true (default) or false; indicates whether or not to reduce the determining PDE output system taking into account its integrability conditions

simplifier = ...


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



The Euler command represents Euler's operator: it returns zero when applied to an expression that is the divergence of another expression also called "current". When this divergence is also equal to zero this current is called conserved current.


Denoting the unknowns of a DE system by U, their derivatives by dU and the independent variables by X, Euler's operator is constructed as (d/dU + (-1)^n d/dX d/ddU), where n is the differential order of dU, d/dX is the differentiation operator such that dU = d/dx U and in Euler's operator there is one term of the form (-1)^n d/dX d/ddU for each dU in the DE system.


If DepVars is not given, Euler 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.


When applying Euler's operator to a DE system constituted by N equations in M unknowns, there will be N x M expressions; that is: each of the M unknowns generates an operator of the form just described and each of these operators generates one expression when applied to each of the N equations of the system.


This set of expressions resulting from applying Euler's operator to a DE system, representing the conditions for the DE system to be the divergence of a current, is by default simplified with respect to its integrability conditions, then each expression in the set is simplified with respect to its size. This default behavior can be changed by providing one or more of the arguments integrabilityconditions = false, simplifier = none, or simplifier = any_desired_simplification.


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.


Consider the following PDE "system" consisting of a single pde.




ux,twill now be displayed asu





This system automatically satisfies the conditions for being a divergence mentioned in the Description:




Hence pde1 is the divergence of a current




and admits a constant integrating factor:




When combined with the rest of the Maple library, the Euler operator can serve varied purposes. Consider for example deriving the most general form of the divergence of a current that is also a first order PDE in two variables. The starting point is a generic expression, Δx,t,u,ux,ut, so it depends only on the first order derivatives.




The conditions that Delta must satisfy in order to be a divergence are:




These conditions can be integrated.




Verify that these conditions are sufficient by applying Euler's operator to this result. First convert the result from jet notation to function notation.




So the above is the most general form of a divergence that is also a first order PDE. The following verifies that this form is correct.




The most general form of a second order linear PDE in two independent variables that is also a divergence of a current can be derived in a similar way, starting with the following definition.


Ax,twill now be displayed asA





The conditions for divergence, in the form of equations satisfied by the A[j]( x, t ) are obtained by applying Euler's operator.




Note that in the above calculation, the dependent variable of the problem must be specified, otherwise A[j]( x, t ) for all j would be also picked up as dependent variables. The result above is a single expression from which A[j]( x, t ) for one j can be isolated; the simplest form is achieved by isolating A[0].







This result can be verified applying Euler's operator to it.




See Also

ConservedCurrents, ConservedCurrentTest, IntegratingFactors, IntegratingFactorTest, PDEtools, pdsolve

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