 PDEtools - Maple Programming Help

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

PDEtools

 ReducedForm
 reduces one given PDE system with respect to another given PDE system

 Calling Sequence ReducedForm(PDESYS_1, PDESYS_2, RedVars)

Parameters

 PDESYS_1 - a PDE or a set or list of them; it can include ODEs and not differential equations PDESYS_2 - same as PDESYS_1 RedVars - optional - may be required; a function or a list of them indicating the (reducing) variables of the problem checkconsistency - optional - check whether the two systems PDESYS_1 and PDESYS_2 are consistent between themselves before reducing PDESYS_1

Description

 • ReducedForm receives two PDE systems, PDESYS_1 and PDESYS_2, in that order, and reduces PDESYS_1 with respect to PDESYS_2. In some sense, ReducedForm is the "differential equation" command equivalent to simplify/siderels. ReducedForm also works with anticommutative variables set using the Physics package using the approach explained in PerformOnAnticommutativeSystem.
 • Generally speaking, that is equivalent to taking the highest derivative of each equation in PDESYS_2, isolating it and using the equation to replace occurrences of this highest derivative in PDESYS_1, and at the end simplifying the resulting system taking into account its integrability conditions. In more technical words, the output is the reduced form of PDESYS_1 modulo the radical differential ideal of PDESYS_2
 • If RedVars is not specified, ReducedForm will consider all the differentiated unknown functions in PDESYS_2 as (reducing) variables of the problems.
 • The reduction process performed by ReducedForm consists of the following steps
 [-] Departing from PDESYS_1 = [eq1, eq2, ...], a new system PDESYS_tmp = [Y1 - eq1, Y1 - eq2, ..., Yn - eqn] is constructed introducing a set of auxiliary variables {Y1, ..., Yn}, where n is the number of equations in PDESYS_1.
 [-] One new system of equations is now built with the equations in PDESYS_tmp and in PDESYS_2 and a differential elimination process is ran ranking the auxiliary variables Yn higher than the dependent (reducing) variables - say F1 ... Fk - of PDESYS_2. So this ranking is of the form [[Y1, ... Yn], [F1, ... Fk]] and hence the elimination process runs using lexicographical ordering when comparing any Yn with any Fk but with the less expensive total degree ordering when comparing the Yn between themselves and the Fk between themselves.
 [-] From the output of the differential elimination process, only the equations containing the Yn are preserved, so substituting the auxiliary Yn by zero results in the desired reduction of PDESYS_1 with respect to PDESYS_2, with the maximum number of Fk removed from the problem.
 • Note that it is possible to reduce one PDE system (PDESYS_1) using another one (PDESYS_2) in cases where the two systems are not consistent with each other, and that generally speaking the reduction obtained is useless in that its solution does not solve any of the two given systems. So you may want to request a check for consistency before proceeding with the reduction - for this purpose add the keyword checkconsistency anywhere in the calling sequence passed to ReducedForm - an example of this is at the end of the Examples section.
 • 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

To input PDE systems conveniently, avoiding redundant typing, and to display these systems compactly, without redundancies, use diff_table and declare

 > with(PDEtools, ReducedForm, declare, diff_table, dsubs);
 $\left[{\mathrm{ReducedForm}}{,}{\mathrm{declare}}{,}{\mathrm{diff_table}}{,}{\mathrm{dsubs}}\right]$ (1)
 > U := diff_table(u(x,y,z,t)):
 > declare(u(x,y,z,t));
 ${u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){}{\mathrm{will now be displayed as}}{}{u}$ (2)

Consider now the PDE system

 > pde := U[x,y,z] + U[t,y,z] + U[t,x,z] - U[t,t];
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{x}\right){,}{y}\right){,}{z}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{y}\right){,}{z}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{x}\right){,}{z}\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{t}\right)\right)$ (3)

Reduce it using:

 > pde := U[x] = 0;
 ${\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{x}\right){=}{0}$ (4)
 > ReducedForm(pde, pde);
 ${\mathrm{casesplit/ans}}{}\left(\left[{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{y}\right){,}{z}\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{t}\right)\right)\right]{,}\left[{}\right]\right)$ (5)

In some cases, as this example above, the same result can be obtained using dsubs in a less expensive computational way.

 > dsubs(pde, pde);
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{y}\right){,}{z}\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{t}\right)\right)$ (6)

Note that the reduced forms returned by dsubs and ReducedForm do not include the reducing equation pde. Consider the difference between these reductions and a casesplitting of the system conformed by both pde and pde: the output may be similar and may include pde (or its differential consequences)

 > PDEtools:-casesplit([pde, pde]);
 ${\mathrm{casesplit/ans}}{}\left(\left[{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{y}\right){,}{z}\right){=}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{t}\right){,}{t}\right){,}{\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}{,}{z}{,}{t}\right){,}{x}\right){=}{0}\right]{,}\left[{}\right]\right)$ (7)

A more involved example where, by construction, the reduced form is zero; use declare to display the equations compactly, without redundancies

 > declare((u, v)(x, y));
 ${u}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{u}$
 ${v}{}\left({x}{,}{y}\right){}{\mathrm{will now be displayed as}}{}{v}$ (8)
 > U, V := diff_table(u(x,y)), diff_table(v(x,y)):
 > PDESYS_2 := [V[]*U[x,x] - V[x], U[x,y]*V[y], V[y,y]^2-1];
 $\left[\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right){}{v}{}\left({x}{,}{y}\right){-}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right)\right){,}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right)\right){,}{\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right)\right)}^{{2}}{-}{1}\right]$ (9)

Construct now PDESYS_1 as a (possibly nonlinear) combination of lists constructed using PDESYS_2, for instance the derivative with respect to x of the square of each equation in PDESYS_2 minus the derivative with respect to y of of the same equation

 > PDESYS_1 := diff(map(^, PDESYS_2, 2), x) - diff(PDESYS_2, y);
 $\left[{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){,}{y}\right)\right){}{v}{}\left({x}{,}{y}\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right){}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right)\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right){+}{2}{}\left(\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right){}{v}{}\left({x}{,}{y}\right){-}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right)\right)\right){}\left(\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){,}{x}\right)\right){}{v}{}\left({x}{,}{y}\right){+}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right){}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right)\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right)\right)\right){,}{-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right)\right){-}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right)\right){+}{2}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){}{\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right)\right)}^{{2}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{x}\right){,}{y}\right)\right){+}{2}{}{\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({u}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right)}^{{2}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right)\right){,}{-}{2}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right){,}{y}\right)\right){+}{4}{}\left({\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right)\right)}^{{2}}{-}{1}\right){}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{y}\right){,}{y}\right)\right){}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({v}{}\left({x}{,}{y}\right){,}{x}\right){,}{y}\right){,}{y}\right)\right)\right]$ (10)

By construction, thus, PDESYS_1 is completely reduced by PDESYS_2

 > ReducedForm(PDESYS_1, PDESYS_2);
 ${\mathrm{casesplit/ans}}{}\left(\left[{0}{,}{0}{,}{0}\right]{,}\left[{}\right]\right)$ (11)

Consider two systems that are inconsistent with each other, that is: the solutions of one system can never be solutions of the other one, for example:

 > ode := diff(y(x), x,x) = ((-alpha-beta*y(x))*x^2-2*x*diff(y(x),x))/x^2;
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){,}{x}\right){=}\frac{\left({-}{\mathrm{α}}{-}{\mathrm{β}}{}{y}{}\left({x}\right)\right){}{{x}}^{{2}}{-}{2}{}{x}{}\left({\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right)\right)}{{{x}}^{{2}}}$ (12)
 > ode := diff(y(x),x) = -h*(y(x)-kappa)/rho;
 ${\mathrm{diff}}{}\left({y}{}\left({x}\right){,}{x}\right){=}{-}\frac{{h}{}\left({y}{}\left({x}\right){-}{\mathrm{κ}}\right)}{{\mathrm{ρ}}}$ (13)

You can directly test the consistency of two equations using casesplit

 > PDEtools:-casesplit([ode, ode]);
 Warning: System is inconsistent

Nevertheless, if you substitute in ode the value of y' from ode you obtain an expression involving y(x)

 > dsubs(ode, ode);
 $\frac{{{h}}^{{2}}{}\left({y}{}\left({x}\right){-}{\mathrm{\kappa }}\right)}{{{\mathrm{\rho }}}^{{2}}}{=}{-}\frac{{y}{}\left({x}\right){}{\mathrm{\beta }}{}{\mathrm{\rho }}{}{x}{+}{\mathrm{\alpha }}{}{\mathrm{\rho }}{}{x}{-}{2}{}{h}{}{y}{}\left({x}\right){+}{2}{}{h}{}{\mathrm{\kappa }}}{{x}{}{\mathrm{\rho }}}$ (14)
 > isolate((14), y(x));
 ${y}{}\left({x}\right){=}\frac{{-}{\mathrm{\alpha }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{}{\mathrm{\kappa }}{-}{2}{}{h}{}{\mathrm{\kappa }}{}{\mathrm{\rho }}}{{\mathrm{\beta }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{-}{2}{}{h}{}{\mathrm{\rho }}}$ (15)

Because the systems are inconsistent with each other, this value of y(x) solves neither ode nor ode:

 > odetest((15), [ode, ode]); # not [0, 0]
 $\left[\frac{{h}{}\left({{\mathrm{\beta }}}^{{3}}{}{h}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{4}}{}{{x}}^{{4}}{+}{\mathrm{\alpha }}{}{{\mathrm{\beta }}}^{{2}}{}{h}{}{{\mathrm{\rho }}}^{{4}}{}{{x}}^{{4}}{-}{2}{}{{\mathrm{\beta }}}^{{3}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{5}}{}{{x}}^{{3}}{+}{2}{}{{\mathrm{\beta }}}^{{2}}{}{{h}}^{{3}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{4}}{-}{2}{}{\mathrm{\alpha }}{}{{\mathrm{\beta }}}^{{2}}{}{{\mathrm{\rho }}}^{{5}}{}{{x}}^{{3}}{+}{2}{}{\mathrm{\alpha }}{}{\mathrm{\beta }}{}{{h}}^{{3}}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{4}}{-}{8}{}{{\mathrm{\beta }}}^{{2}}{}{{h}}^{{2}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{3}}{}{{x}}^{{3}}{+}{\mathrm{\beta }}{}{{h}}^{{5}}{}{\mathrm{\kappa }}{}{{x}}^{{4}}{-}{8}{}{\mathrm{\alpha }}{}{\mathrm{\beta }}{}{{h}}^{{2}}{}{{\mathrm{\rho }}}^{{3}}{}{{x}}^{{3}}{+}{\mathrm{\alpha }}{}{{h}}^{{5}}{}{{x}}^{{4}}{+}{8}{}{{\mathrm{\beta }}}^{{2}}{}{h}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{4}}{}{{x}}^{{2}}{-}{6}{}{\mathrm{\beta }}{}{{h}}^{{4}}{}{\mathrm{\kappa }}{}{\mathrm{\rho }}{}{{x}}^{{3}}{+}{8}{}{\mathrm{\alpha }}{}{\mathrm{\beta }}{}{h}{}{{\mathrm{\rho }}}^{{4}}{}{{x}}^{{2}}{-}{6}{}{\mathrm{\alpha }}{}{{h}}^{{4}}{}{\mathrm{\rho }}{}{{x}}^{{3}}{+}{12}{}{\mathrm{\beta }}{}{{h}}^{{3}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{2}}{+}{12}{}{\mathrm{\alpha }}{}{{h}}^{{3}}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{2}}{-}{8}{}{\mathrm{\beta }}{}{{h}}^{{2}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{3}}{}{x}{-}{8}{}{\mathrm{\alpha }}{}{{h}}^{{2}}{}{{\mathrm{\rho }}}^{{3}}{}{x}{-}{8}{}{\mathrm{\beta }}{}{h}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{4}}{-}{8}{}{\mathrm{\alpha }}{}{h}{}{{\mathrm{\rho }}}^{{4}}\right)}{{x}{}{\left({\mathrm{\beta }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{-}{2}{}{h}{}{\mathrm{\rho }}\right)}^{{3}}}{,}{-}\frac{{\mathrm{\rho }}{}{h}{}\left({{\mathrm{\beta }}}^{{2}}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{2}}{+}{\mathrm{\alpha }}{}{\mathrm{\beta }}{}{{\mathrm{\rho }}}^{{2}}{}{{x}}^{{2}}{+}{\mathrm{\beta }}{}{{h}}^{{2}}{}{\mathrm{\kappa }}{}{{x}}^{{2}}{+}{\mathrm{\alpha }}{}{{h}}^{{2}}{}{{x}}^{{2}}{-}{2}{}{\mathrm{\beta }}{}{h}{}{\mathrm{\kappa }}{}{\mathrm{\rho }}{}{x}{-}{2}{}{\mathrm{\alpha }}{}{h}{}{\mathrm{\rho }}{}{x}{-}{2}{}{\mathrm{\beta }}{}{\mathrm{\kappa }}{}{{\mathrm{\rho }}}^{{2}}{-}{2}{}{\mathrm{\alpha }}{}{{\mathrm{\rho }}}^{{2}}\right)}{{\left({\mathrm{\beta }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{-}{2}{}{h}{}{\mathrm{\rho }}\right)}^{{2}}}\right]$ (16)

So calling ReducedForm you would obtain the reduction obtained above using dsubs, which is of no use generally speaking.

 > ReducedForm(ode, ode);
 ${\mathrm{casesplit/ans}}{}\left(\left[\frac{{{\mathrm{ρ}}}^{{2}}{}{y}{}\left({x}\right){}{\mathrm{β}}{}{x}{+}{\mathrm{α}}{}{{\mathrm{ρ}}}^{{2}}{}{x}{+}{y}{}\left({x}\right){}{{h}}^{{2}}{}{x}{-}{{h}}^{{2}}{}{x}{}{\mathrm{κ}}{-}{2}{}{\mathrm{ρ}}{}{y}{}\left({x}\right){}{h}{+}{2}{}{h}{}{\mathrm{κ}}{}{\mathrm{ρ}}}{{{\mathrm{ρ}}}^{{2}}{}{x}}\right]{,}\left[{}\right]\right)$ (17)
 > isolate(op([1,1], (17)), y(x));
 ${y}{}\left({x}\right){=}\frac{{-}{\mathrm{\alpha }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{}{\mathrm{\kappa }}{-}{2}{}{h}{}{\mathrm{\kappa }}{}{\mathrm{\rho }}}{{\mathrm{\beta }}{}{{\mathrm{\rho }}}^{{2}}{}{x}{+}{{h}}^{{2}}{}{x}{-}{2}{}{h}{}{\mathrm{\rho }}}$ (18)

The optional argument checkconsistency is of use in these situations, enforcing a check for consistency between the two systems, and when the systems are not consistent an error is returned

 > ReducedForm(ode, ode, checkconsistency);

ReducedForm also works with anticommutative variables, using the approach explained in PerformOnAnticommutativeSystem.

 > with(Physics);
 $\left[{\mathrm{*}}{,}{\mathrm{.}}{,}{\mathrm{Annihilation}}{,}{\mathrm{AntiCommutator}}{,}{\mathrm{Antisymmetrize}}{,}{\mathrm{Assume}}{,}{\mathrm{Bra}}{,}{\mathrm{Bracket}}{,}{\mathrm{Check}}{,}{\mathrm{Christoffel}}{,}{\mathrm{Coefficients}}{,}{\mathrm{Commutator}}{,}{\mathrm{CompactDisplay}}{,}{\mathrm{Coordinates}}{,}{\mathrm{Creation}}{,}{\mathrm{D_}}{,}{\mathrm{Dagger}}{,}{\mathrm{Decompose}}{,}{\mathrm{Define}}{,}{\mathrm{Dγ}}{,}{\mathrm{Einstein}}{,}{\mathrm{EnergyMomentum}}{,}{\mathrm{Expand}}{,}{\mathrm{ExteriorDerivative}}{,}{\mathrm{Factor}}{,}{\mathrm{FeynmanDiagrams}}{,}{\mathrm{FeynmanIntegral}}{,}{\mathrm{Fundiff}}{,}{\mathrm{Geodesics}}{,}{\mathrm{GrassmannParity}}{,}{\mathrm{Gtaylor}}{,}{\mathrm{Intc}}{,}{\mathrm{Inverse}}{,}{\mathrm{Ket}}{,}{\mathrm{KillingVectors}}{,}{\mathrm{KroneckerDelta}}{,}{\mathrm{LeviCivita}}{,}{\mathrm{Library}}{,}{\mathrm{LieBracket}}{,}{\mathrm{LieDerivative}}{,}{\mathrm{Normal}}{,}{\mathrm{NumericalRelativity}}{,}{\mathrm{Parameters}}{,}{\mathrm{PerformOnAnticommutativeSystem}}{,}{\mathrm{Projector}}{,}{\mathrm{Psigma}}{,}{\mathrm{Redefine}}{,}{\mathrm{Ricci}}{,}{\mathrm{Riemann}}{,}{\mathrm{Setup}}{,}{\mathrm{Simplify}}{,}{\mathrm{SortProducts}}{,}{\mathrm{SpaceTimeVector}}{,}{\mathrm{StandardModel}}{,}{\mathrm{SubstituteTensor}}{,}{\mathrm{SubstituteTensorIndices}}{,}{\mathrm{SumOverRepeatedIndices}}{,}{\mathrm{Symmetrize}}{,}{\mathrm{TensorArray}}{,}{\mathrm{Tetrads}}{,}{\mathrm{ThreePlusOne}}{,}{\mathrm{ToFieldComponents}}{,}{\mathrm{ToSuperfields}}{,}{\mathrm{Trace}}{,}{\mathrm{TransformCoordinates}}{,}{\mathrm{Vectors}}{,}{\mathrm{Weyl}}{,}{\mathrm{^}}{,}{\mathrm{dAlembertian}}{,}{\mathrm{d_}}{,}{\mathrm{diff}}{,}{\mathrm{g_}}{,}{\mathrm{gamma_}}\right]$ (19)

Set first $\mathrm{\theta }$ and $Q$ as suffixes for variables of type/anticommutative (see Setup)

 > Setup(anticommutativepre = {theta, Q});
 $\mathrm{* Partial match of \text{'}}\mathrm{anticommutativepre}\mathrm{\text{'} against keyword \text{'}}\mathrm{anticommutativeprefix}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{anticommutativeprefix}}{=}\left\{{Q}{,}{\mathrm{\theta }}\right\}\right]$ (20)

A PDE system example with one unknown anticommutative function $Q$ of four variables, two commutative and two anticommutative; to avoid redundant typing in the input that follows and redundant display of information on the screen, use PDEtools:-declare, and PDEtools:-diff_table, that also handles anticommutative variables by automatically using Physics:-diff when Physics is loaded

 > PDEtools:-declare(Q(x, y, theta, theta));
 ${Q}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{Q}$ (21)
 > q := PDEtools:-diff_table(Q(x, y, theta, theta)):

Now we can enter derivatives directly as the function's name indexed by the differentiation variables and see the display the same way; two PDEs

 > pde := q[x, y, theta] + q[x, y, theta] - q[y, theta, theta] = 0;
 ${\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{x}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{1}}\right){+}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{x}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{2}}\right){-}{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{1}}\right){,}{{\mathrm{θ}}}_{{2}}\right){=}{0}$ (22)
 > pde := q[theta] = 0;
 ${\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{{\mathrm{θ}}}_{{1}}\right){=}{0}$ (23)

By inspection, it is clear that pde is reducible by pde

 > ReducedForm(pde, pde);
 ${\mathrm{casesplit/ans}}{}\left(\left[{\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{x}\right){,}{y}\right){,}{{\mathrm{θ}}}_{{2}}\right)\right]{,}\left[{}\right]\right)$ (24)

One way of solving this PDE system is then to start solving this reduced equation

 > pdsolve((24));
 $\left\{{Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){=}{\mathrm{_F1}}{}\left({x}{,}{y}\right){}{\mathrm{_λ1}}{+}{\mathrm{_F2}}{}\left({x}{,}{y}\right){}{{\mathrm{θ}}}_{{1}}{+}\left({\mathrm{_F6}}{}\left({x}\right){+}{\mathrm{_F5}}{}\left({y}\right)\right){}{{\mathrm{θ}}}_{{2}}{+}\left({\mathrm{_F8}}{}\left({x}\right){+}{\mathrm{_F7}}{}\left({y}\right)\right){}{\mathrm{*}}{}\left({\mathrm{_λ2}}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right)\right\}$ (25)
 >

Substituting this result for $Q$ back into pde, then multiplying by ${\mathrm{\theta }}_{1}$ and subtracting from the above gives the PDE system solution, that in this case can also be obtained passing the whole system directly to pdsolve.