Euler's operator - return the conditions that a DE system must satisfy in order to be the divergence of a current
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.
U ≔ diff_table⁡u⁡x,t:
u⁡x,t⁢will now be displayed as⁢u
pde1 ≔ Ut,t+Ux,x+Ux⁢U=0
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.
pde2 ≔ Δ⁡x,t,U,Ux,Ut=0
The conditions that Delta must satisfy in order to be a divergence are:
conditions_for_divergence ≔ Euler⁡pde2
These conditions can be integrated.
Divergence_1PDE_general_form ≔ pdsolve⁡conditions_for_divergence
Verify that these conditions are sufficient by applying Euler's operator to this result. First convert the result from jet notation to function notation.
answer ≔ FromJet⁡rhs⁡Divergence_1PDE_general_form1,u⁡x,t=0
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.
A⁡x,t⁢will now be displayed as⁢A
pde3 ≔ A0⁡x,t⁢U+A1⁡x,t⁢Ux+A2⁡x,t⁢Ut+A3⁡x,t⁢Ux,x+A4⁡x,t⁢Ux,t+A5⁡x,t⁢Ut,t=0
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.
condition ≔ isolate⁡1,A0⁡x,t
Divergence_linear_2PDE ≔ subs⁡condition,pde3
This result can be verified applying Euler's operator to it.
Download Help Document