PerformOnAnticommutativeSystem - Maple Help

Physics[PerformOnAnticommutativeSystem] - Perform a Maple command originally programmed to work only with commutative variables, in a system of equations with anticommutative variables

 Calling Sequence PerformOnAnticommutativeSystem(command, list_of_arguments, other_arguments) ToSuperfields(expression)

Parameters

 command - a Maple command (not part of the Physics package) that is programmed to work only with commutative variables list_of_arguments - a list with one or many algebraic expressions or relations, possibly including sets or lists of them, involving anticommutative variables, these are the arguments that command cannot handle directly other_arguments - the rest of the arguments to be sent to command and that command can handle regardless of the presence of anticommutative variables in list_of_arguments

Description

 • The PerformOnAnticommutativeSystem command performs, in a system of of expressions/relations involving anticommutative variables, an operation (Maple command) originally programmed to work only with commutative variables.
 • For Maple 16, only commands having a syntax similar to the Maple differential equation solvers dsolve or pdsolve are handled properly, although PerformOnAnticommutativeSystem will accept any other command and operation, and attempt to perform the operation as described below.
 • The first argument is the command that will perform the operation. The second argument is a list of arguments that will be sent to command after being pre-processed as explained in the itemization below. The remaining arguments will also be sent to command but are not supposed to require any pre-processing; command is expected to handle them regardless of the presence of anticommutative variables within them or in list_of_arguments.
 • The output of PerformOnAnticommutativeSystem is then what would be the output of command if it were capable of handling anticommutative variables. In this sense PerformOnAnticommutativeSystem extends the ability of existing Maple commands, originally programmed only to work on commutative domains, to handle extended domains involving anticommutative variables. The strategy used in PerformOnAnticommutativeSystem is as follows:
 1 The list_of_arguments involving anticommutative variables is viewed as a system of relations (equations would be a special case of them) where each relation is expanded as a polynomial in its anticommutative variables (see ToFieldComponents).
 2 Each polynomial is split into the Coefficients of the anticommutative variables transforming each relation into a system of relations, now involving only commutative variables. At this point the given problem got mapped into one that command is expected to handle.
 3 The resulting system in step 2 is sent to command that performs the operation.
 4 The result of step 3 is processed to reconstruct the original functions of anticommutative variables departing from its commutative components (see ToSuperfields), and the result returned.
 • PerformOnAnticommutativeSystem was written as an experimental command by the research team at Maplesoft, aiming at bridging the gap between thousands of programs originally written for commutative domains, and the computational needs of noncommutative geometry and its applications in Mathematics and Physics. There is a great deal of scope for changing and improving things in PerformOnAnticommutativeSystem. You are welcome to contribute your ideas by email to support@maplesoft.com.

Examples

 > $\mathrm{with}\left(\mathrm{Physics}\right):$
 > $\mathrm{Setup}\left(\mathrm{mathematicalnotation}=\mathrm{true}\right)$
 $\left[{\mathrm{mathematicalnotation}}{=}{\mathrm{true}}\right]$ (1)

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

 > $\mathrm{Setup}\left(\mathrm{anticommutativepre}=\left\{Q,\mathrm{\theta }\right\}\right)$
 $\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]$ (2)

Consider this partial differential equation for the anticommutative function $Q$ of commutative and anticommutative variables $x,\mathrm{\theta }$

 > $\mathrm{diff}\left(Q\left(x,y,\mathrm{\theta }\right),x,\mathrm{\theta }\right)=0$
 $\frac{{{\partial }}^{{2}}}{{\partial }{x}{\partial }{\mathrm{\theta }}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{Q}{}\left({x}{,}{y}{,}{\mathrm{\theta }}\right){=}{0}$ (3)

Its solution using pdsolve, originally written to handle problems in a commutative domain

 > $\mathrm{PerformOnAnticommutativeSystem}\left(\mathrm{pdsolve},\left[\right]\right)$
 ${Q}{}\left({x}{,}{y}{,}{\mathrm{\theta }}\right){=}{\mathrm{_F1}}{}\left({x}{,}{y}\right){}{\mathrm{_λ1}}{+}{\mathrm{_F3}}{}\left({y}\right){}{\mathrm{\theta }}$ (4)

Note the presence of the anticommutative arbitrary constant $\mathrm{_lambda2}$, introduced by dsolve when solving intermediate ordinary differential equations. In fact both dsolve and pdsolve in Maple 16 have this approach calling PerformOnAnticommutativeSystem coded within them so they can tackle the problem directly:

 > $\mathrm{pdsolve}\left(\right)$
 ${Q}{}\left({x}{,}{y}{,}{\mathrm{\theta }}\right){=}{\mathrm{_F1}}{}\left({x}{,}{y}\right){}{\mathrm{_λ1}}{+}{\mathrm{_F3}}{}\left({y}\right){}{\mathrm{\theta }}$ (5)

To avoid redundant typing in the input that follows and redundant display of information on the screen let's use PDEtools:-diff_table PDEtools:-declare

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

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

 > $\mathrm{pde}\left[1\right]≔q\left[x,y,\mathrm{\theta }\left[1\right]\right]+q\left[x,y,\mathrm{\theta }\left[2\right]\right]-q\left[y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right]=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}$ (7)
 > $\mathrm{pde}\left[2\right]≔q\left[\mathrm{\theta }\left[1\right]\right]=0$
 ${\mathrm{diff}}{}\left({Q}{}\left({x}{,}{y}{,}{{\mathrm{θ}}}_{{1}}{,}{{\mathrm{θ}}}_{{2}}\right){,}{{\mathrm{θ}}}_{{1}}\right){=}{0}$ (8)

Reduce pde[1] using pde[2] (see PDEtools:-ReducedForm)

 > $\mathrm{PerformOnAnticommutativeSystem}\left(\mathrm{PDEtools}:-\mathrm{ReducedForm},\left[\mathrm{pde}\left[1\right],\mathrm{pde}\left[2\right]\right]\right)$
 ${\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)$ (9)

Set $\mathrm{\Upsilon }$ and $\mathrm{Κ}$ to also be prefixes for anticommutative names

 > $\mathrm{Setup}\left(\mathrm{anticommutativepre}=\left\{\mathrm{Κ},\mathrm{\Upsilon }\right\},\mathrm{additionally}\right)$
 $\mathrm{* Partial match of \text{'}}{}\mathrm{anticommutativepre}{}\mathrm{\text{'} against keyword \text{'}}{}\mathrm{anticommutativeprefix}{}\text{'}$
 $\mathrm{_______________________________________________________}$
 $\left[{\mathrm{anticommutativeprefix}}{=}\left\{{\mathrm{Κ}}{,}{Q}{,}{\mathrm{\Upsilon }}{,}{\mathrm{_λ}}{,}{\mathrm{\theta }}\right\}\right]$ (10)

Declare the anticommutative functions $\mathrm{\Upsilon }\left(x,y,{\mathrm{\theta }}_{1},{\mathrm{\theta }}_{2}\right)$ and $\mathrm{Κ}\left(x,y,{\mathrm{\theta }}_{1},{\mathrm{\theta }}_{2}\right)$ as well as the commutative function $\mathrm{\Xi }\left(x,y,{\mathrm{\theta }}_{1},{\mathrm{\theta }}_{2}\right)$ and $\mathrm{Τ}\left(x,y,{\mathrm{\theta }}_{1},{\mathrm{\theta }}_{2}\right)$, and use corresponding diff_table for all of them

 > $\mathrm{PDEtools}:-\mathrm{declare}\left(\left(\mathrm{\Upsilon },\mathrm{Κ},\mathrm{\Xi },\mathrm{Τ}\right)\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right)$
 ${\mathrm{\Upsilon }}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\Upsilon }}$
 ${\mathrm{Κ}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{Κ}}$
 ${\mathrm{\Xi }}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{\Xi }}$
 ${\mathrm{Τ}}{}\left({x}{,}{y}{,}{{\mathrm{\theta }}}_{{1}}{,}{{\mathrm{\theta }}}_{{2}}\right){}{\mathrm{will now be displayed as}}{}{\mathrm{Τ}}$ (11)
 > $U≔\mathrm{PDEtools}:-\mathrm{diff_table}\left(\mathrm{\Upsilon }\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right):$
 > $K≔\mathrm{PDEtools}:-\mathrm{diff_table}\left(\mathrm{Κ}\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right):$
 > $X≔\mathrm{PDEtools}:-\mathrm{diff_table}\left(\mathrm{\Xi }\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right):$
 > $T≔\mathrm{PDEtools}:-\mathrm{diff_table}\left(\mathrm{Τ}\left(x,y,\mathrm{\theta }\left[1\right],\mathrm{\theta }\left[2\right]\right)\right):$

A large PDE system involving these four anticommutative and commutative functions $\mathrm{\Upsilon },\mathrm{Κ},\mathrm{\Xi },\mathrm{Τ}$

 > $\mathrm{sys}≔\left[U\left[x,x,x\right]-U\left[y\right]+a\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]U\left[x,x\right]+aU\left[x,\mathrm{\theta }\left[1\right]\right]\mathrm{\theta }\left[2\right]=0,-T\left[x,x,x\right]-3X\left[x\right]+T\left[y\right]-a\mathrm{\theta }\left[2\right]T\left[x,\mathrm{\theta }\left[1\right]\right]-aT\left[x,x\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]=0,-K\left[x,x,x\right]+K\left[y\right]+6U\left[x\right]-3aU\left[x\right]+aK\left[x,\mathrm{\theta }\left[1\right]\right]\mathrm{\theta }\left[2\right]-a\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]K\left[x,x\right]+aU\left[x,\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]=0,-6T\left[x\right]+3aT\left[x\right]-a\mathrm{\theta }\left[2\right]T\left[x,\mathrm{\theta }\left[2\right]\right]=0,-6K\left[x\right]+aK\left[x,\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]+3aK\left[x\right]=0,-X\left[x,x,x\right]+3U\left[x,x,\mathrm{\theta }\left[2\right]\right]+X\left[y\right]+6U\left[\mathrm{\theta }\left[1\right]\right]+a\mathrm{\theta }\left[2\right]U\left[\mathrm{\theta }\left[2\right],\mathrm{\theta }\left[1\right]\right]-3aU\left[\mathrm{\theta }\left[1\right]\right]-a\mathrm{\theta }\left[2\right]X\left[x,\mathrm{\theta }\left[1\right]\right]-aX\left[x,x\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]+2aU\left[x,\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]=0,-3T\left[x,x,\mathrm{\theta }\left[2\right]\right]-3X\left[\mathrm{\theta }\left[2\right]\right]-aT\left[\mathrm{\theta }\left[2\right],\mathrm{\theta }\left[1\right]\right]\mathrm{\theta }\left[2\right]-6T\left[\mathrm{\theta }\left[1\right]\right]+3aT\left[\mathrm{\theta }\left[1\right]\right]-2a\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]T\left[x,\mathrm{\theta }\left[2\right]\right]=0,-3K\left[x,x,\mathrm{\theta }\left[2\right]\right]+6U\left[\mathrm{\theta }\left[2\right]\right]+12X\left[x\right]-6K\left[\mathrm{\theta }\left[1\right]\right]-3aU\left[\mathrm{\theta }\left[2\right]\right]-6aX\left[x\right]+3aK\left[\mathrm{\theta }\left[1\right]\right]+a\mathrm{\theta }\left[2\right]K\left[\mathrm{\theta }\left[2\right],\mathrm{\theta }\left[1\right]\right]-2aK\left[x,\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]-a\mathrm{\theta }\left[2\right]X\left[x,\mathrm{\theta }\left[2\right]\right]=0,-6T\left[\mathrm{\theta }\left[2\right]\right]+3aT\left[\mathrm{\theta }\left[2\right]\right]=0,-6K\left[\mathrm{\theta }\left[2\right]\right]+3aK\left[\mathrm{\theta }\left[2\right]\right]=0,-aT\left[x\right]\mathrm{\theta }\left[2\right]=0,a\mathrm{\theta }\left[2\right]T\left[\mathrm{\theta }\left[2\right]\right]=0,-3T\left[x,x\right]-2aT\left[x\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]-a\mathrm{\theta }\left[2\right]T\left[\mathrm{\theta }\left[1\right]\right]=0,-a\mathrm{\theta }\left[2\right]T\left[\mathrm{\theta }\left[2\right]\right]=0,6T\left[x,\mathrm{\theta }\left[2\right]\right]+2a\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]T\left[\mathrm{\theta }\left[2\right]\right]=0,-3K\left[x,x\right]-2a\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]K\left[x\right]+aK\left[\mathrm{\theta }\left[1\right]\right]\mathrm{\theta }\left[2\right]+aU\left[\right]+2aX\left[x\right]\mathrm{\theta }\left[2\right]=0,aK\left[\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]=0,-6K\left[x,\mathrm{\theta }\left[2\right]\right]-2a\mathrm{\theta }\left[2\right]X\left[\mathrm{\theta }\left[2\right]\right]-2aK\left[\mathrm{\theta }\left[2\right]\right]\mathrm{\theta }\left[2\right]\mathrm{\theta }\left[1\right]=0,-a\mathrm{\theta }\left[2\right]K\left[\right]+3U\left[x,\mathrm{\theta }\left[2\right]\right]