PDEtools[D_Dx] - differentiate expressions in function or jet notation, with respect to independent or dependent (function) variables of the jet space.
|
Calling Sequence
|
|
D_Dx(expression, x, ... , DepVars, 'options'='value')
|
|
Parameters
|
|
expression
|
-
|
any algebraic expression or algebraic equation
|
x, ...
|
-
|
differentiation variables, can include functions of the jet spece (dependent variables) or their derivatives
|
DepVars
|
-
|
a function or a list of them indicating the dependent variables of the problem
|
jetnotation = ...
|
-
|
(optional) can be true (default, the notation found in expression), false (function notation), jetvariables, jetvariableswithbrackets, jetnumbers or jetODE; to respectively return or not using the different jet notations available
|
|
|
|
|
Description
|
|
•
|
The D_Dx command computes total derivatives, as diff does, but for D_Dx the input and/or the output can be in jet notation. Also, D_Dx can compute partial derivatives with respect to dependent variables of the jet space (functions in DepVars) or their derivatives. D_Dx also works with anticommutative variables set using the Physics package.
|
•
|
The first argument, expression, is the object being differentiated, followed by the differentiation variables, and then the last argument, , is always an indication of the dependent variables of the problem, either as a function (could be that way when there is only one) or as a list of them.
|
•
|
The output is by default expressed in the jetnotation found in the input expression, whenever expression is written using jetnotation, or otherwise it is expressed in jetvariables notation when expression is passed in standard function notation. This default can be changed by passing the optional argument jetnotation = ..., where the right hand side can be false (to return in function notation), jetnumbers, jetvariables, jetvariableswithbrackets or jetODE; see the jet notations available.
|
|
|
Examples
|
|
Consider a PDE problem with three dependent variables
>
|
|
| (1) |
>
|
|
| (2) |
>
|
|
| (3) |
Using the standard diff command you can compute the total derivative of this expression with respect to or . It is not possible, however, to differentiate with respect to any of the functions in or its partial derivatives. For that purpose you can use D_Dx
>
|
|
| (4) |
Note that the result is presented in jetvariables jet notation, a compact mathematical notation understood by all the symmetry commands of PDEtools. To have this result expressed in function notation use FromJet or directly call D_Dx with the option jetnotation = false
>
|
|
| (5) |
>
|
|
| (6) |
In this other example it is computed the partial derivartive with respect to followed by the total derivative with respect to
>
|
|
| (7) |
In the input above, instead of u[x] you can write diff(u(x,t), x) (function notation) or u[1] (this is the jetnumbers jetnotation), all of them representing the same mathematical object.
You can also work with directly in more compact jetnotation; compare with (4.3)
>
|
|
| (8) |
Compute now the total derivative with respect to comparing the results of differentiating and its jet version
>
|
|
| (9) |
>
|
|
| (10) |
>
|
|
| (11) |
|
|