TensorBrackets - Maple Help

Tensor[TensorBrackets] - calculate the Schouten bracket and Frolicher-Nijenhuis brackets of tensor fields

Calling Sequences

TensorBrackets( R, S, C, keyword)

Parameters

R, S      - type $\left[r,0\right]$and type contravariant tensor fields on a manifold $M$

R, S      - type   and type tensor fields on a manifold $M$, skew-symmetric in their covariant indices

C         - (optional) a symmetric connection on TM

keyword   - a string, either "Schouten" or "Frolicher-Nijenhuis"

Description

 • Let $R$ and $S$ be type $\left(\genfrac{}{}{0}{}{r}{0}\right)$ and type $\left(\genfrac{}{}{0}{}{s}{0}\right)$ contravariant tensor fields on a manifold $M$, respectively. The Schouten bracket $T=\left[R,S\right]$ is a contravariant tensor field of type $r+s-1$ which generalizes the Lie bracket of two vector fields. The Schouten bracket enjoys the following properties:

1. $\left[R,S\right]=-\left[S,R\right]$.

2. If $R$ and $S$ are symmetric, then $\left[R,S\right]$ is symmetric. If $R$ and $S$ are skew-symmetric, then $\left[R,S\right]$ is skew-symmetric.

3. If we denote the totally symmetric and totally skew-symmetric parts of a contravariant tensor $T$ by ${T}^{+}$and ${T}^{-}$, then .

4. If $R$ is a type $\left(\genfrac{}{}{0}{}{1}{0}\right)$ tensor field and $S$ is either symmetric or skew-symmetric, then $\left[R,S\right]={L}_{R}S$, where ${L}_{R}$ is the Lie derivative along $R$.

5. If $R$ and $S$ are symmetric and $X$ is a vector field, then $\left[R,X\odot S\right]=\left[R,X\right]\odot S+X\odot \left[R,S\right]$, where ⊙ is the symmetric tensor product.

6. If $R$ and $S$ are skew-symmetric and $X$ is a vector field, then $\left[R,X\wedge S\right]=\left[R,X\right]\wedge S+{\left(-1\right)}^{r+1}X\wedge \left[R,S\right]$.

7. For the explicit coordinate formula for the Schouten bracket and other properties, see A. Nijenhuis, Jacobi-type identities for bilinear differential concomitants of certain tensor fields I.

8. A type $\left(\genfrac{}{}{0}{}{2}{0}\right)$ skew-symmetric tensor field $P$ on a manifold $M$ defines a Poisson structure if $\left[P,P\right]=0$.

 • Let and $S$ be type $\left(\genfrac{}{}{0}{}{1}{r}\right)$ and type $\left(\genfrac{}{}{0}{}{1}{s}\right)$ tensor fields on a manifold $M$, each of which is skew-symmetric in its covariant indices. Such tensors are often referred to as vector-valued differential forms (of degrees $r$ and $s$). The Frolicher-Nijenhuis bracket $T=\left[R,S\right]$ is a vector-valued differential-form of degree $r+s$. The Frolicher-Nijenhuis bracket enjoys the following properties:

1. $\left[R,S\right]={\left(-1\right)}^{\mathrm{rs}+1}\left[S,R\right]$.

2. If $r=0$, then $\left[R,S\right]={L}_{R}S$.

3. If $X$ and $Y$ are vector fields and $\mathrm{α}$ and $\mathrm{β}$ are differential forms of degrees $r$ and $s$, then $\left[X\otimes \mathrm{α},Y\otimes \mathrm{β}\right]=\left[X,Y\right]\otimes \left(\mathrm{α}\wedge \mathrm{β}\right)-X\otimes \left({L}_{Y}\mathrm{α}\wedge \mathrm{β}\right)+Y\otimes \left(\mathrm{α}\wedge {L}_{X}\mathrm{β}\right)+\frac{s}{r+1}X\otimes \left(\left(Y·\mathrm{α}\right)\mathit{\wedge }\mathrm{dβ}\right)-{\left(-1\right)}^{r+s}\frac{r}{s+1}Y\otimes \left(\mathrm{dα}\wedge X·\mathrm{β}\right),$

where $Y·\mathrm{α}$ is the interior product of $Y$ and $\mathrm{α}$.

4. For the explicit coordinate formula for Frolicher-Nijenhuis bracket, see A. Nijenhuis, Jacobi-type identities for bilinear differential concomitants of certain tensor fields II.

5. If $J$ is a $\left(\genfrac{}{}{0}{}{1}{1}\right)$ tensor field, then the Frolicher-Nijenhuis bracket $\left[J,J\right]$ is called the torsion of $J$.

 • This command is part of the DifferentialGeometry:-Tensor package, and so can be used in the form TensorBrackets(...) only after executing the command with(DifferentialGeometry) and with(Tensor) in that order. It can always be used in the long form DifferentialGeometry:-Tensor:-TensorBrackets.

Examples

 > with(DifferentialGeometry):with(Tensor):
 > DGsetup([x, y, z, w], M):

Example 1.

Compute the Schouten brackets of the tensors $\mathrm{T1}$ and $\mathrm{T2}$ and check that the result coincides with the Lie derivative ${L}_{\mathrm{T1}}\mathrm{T2}$.

 M > X := evalDG(x*D_y - z*D_w);
 ${X}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{M}{,}\left[\right]\right]{,}\left[\left[\left[{2}\right]{,}{x}\right]{,}\left[\left[{4}\right]{,}{-}{z}\right]\right]\right]\right)$ (2.1)
 M > T1 := convert(X, DGtensor);
 ${\mathrm{T1}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{2}\right]{,}{x}\right]{,}\left[\left[{4}\right]{,}{-}{z}\right]\right]\right]\right)$ (2.2)
 M > T2 := evalDG(w*D_x &s D_y + y*D_z &s D_w);
 ${\mathrm{T2}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}\right]{,}\frac{{w}}{{2}}\right]{,}\left[\left[{2}{,}{1}\right]{,}\frac{{w}}{{2}}\right]{,}\left[\left[{3}{,}{4}\right]{,}\frac{{y}}{{2}}\right]{,}\left[\left[{4}{,}{3}\right]{,}\frac{{y}}{{2}}\right]\right]\right]\right)$ (2.3)
 M > TensorBrackets(T1, T2, "Schouten");
 ${-}\frac{{1}}{{2}}{}{z}{}{\mathrm{D_x}}{}{\mathrm{D_y}}{-}\frac{{1}}{{2}}{}{z}{}{\mathrm{D_y}}{}{\mathrm{D_x}}{-}{w}{}{\mathrm{D_y}}{}{\mathrm{D_y}}{+}\frac{{1}}{{2}}{}{x}{}{\mathrm{D_z}}{}{\mathrm{D_w}}{+}\frac{{1}}{{2}}{}{x}{}{\mathrm{D_w}}{}{\mathrm{D_z}}{+}{y}{}{\mathrm{D_w}}{}{\mathrm{D_w}}$ (2.4)
 M > LieDerivative(X, T2);
 ${-}\frac{{1}}{{2}}{}{z}{}{\mathrm{D_x}}{}{\mathrm{D_y}}{-}\frac{{1}}{{2}}{}{z}{}{\mathrm{D_y}}{}{\mathrm{D_x}}{-}{w}{}{\mathrm{D_y}}{}{\mathrm{D_y}}{+}\frac{{1}}{{2}}{}{x}{}{\mathrm{D_z}}{}{\mathrm{D_w}}{+}\frac{{1}}{{2}}{}{x}{}{\mathrm{D_w}}{}{\mathrm{D_z}}{+}{y}{}{\mathrm{D_w}}{}{\mathrm{D_w}}$ (2.5)

Example 2.

Find all functions $f\left(x,y,z,w\right)$ such that the skew-symmetric tensor $W$ satisfies $\left[W,W\right]=0.$

 M > W0 := evalDG(D_x &w D_y + z*D_y &w D_z + f(x, y, z, w)*D_z &w D_w);
 ${\mathrm{W0}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"multivector"}{,}{M}{,}{2}\right]{,}\left[\left[\left[{1}{,}{2}\right]{,}{1}\right]{,}\left[\left[{2}{,}{3}\right]{,}{z}\right]{,}\left[\left[{3}{,}{4}\right]{,}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right]\right]\right]\right)$ (2.6)
 M > W := convert(W0, DGtensor);
 ${W}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}\right]{,}{1}\right]{,}\left[\left[{2}{,}{1}\right]{,}{-1}\right]{,}\left[\left[{2}{,}{3}\right]{,}{z}\right]{,}\left[\left[{3}{,}{2}\right]{,}{-}{z}\right]{,}\left[\left[{3}{,}{4}\right]{,}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right]{,}\left[\left[{4}{,}{3}\right]{,}{-}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right]\right]\right]\right)$ (2.7)
 M > S := TensorBrackets(W, W, "Schouten"):
 M > pde:=Tools:-DGinfo(S, "CoefficientSet");
 ${\mathrm{pde}}{:=}\left\{{-}\frac{{4}}{{3}}{}\frac{{\partial }}{{\partial }{y}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){,}\frac{{4}}{{3}}{}\frac{{\partial }}{{\partial }{y}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){,}\frac{{4}}{{3}}{}{z}{}\left(\frac{{\partial }}{{\partial }{z}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right){-}\frac{{4}}{{3}}{}\frac{{\partial }}{{\partial }{x}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){-}\frac{{4}}{{3}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){,}\frac{{4}}{{3}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){-}\frac{{4}}{{3}}{}{z}{}\left(\frac{{\partial }}{{\partial }{z}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right){+}\frac{{4}}{{3}}{}\frac{{\partial }}{{\partial }{x}}{}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right)\right\}$ (2.8)
 M > pdsolve(pde);
 $\left\{{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){=}{\mathrm{_F1}}{}\left({z}{}{{ⅇ}}^{{x}}{,}{w}\right){}{{ⅇ}}^{{-}{x}}\right\}$ (2.9)

Example 3.

Check, by way of an example, that the Schouten bracket, acting on symmetric tensors, satisfies the Jacobi identity.

 M > T3 := evalDG(y^2*D_x &s D_y + x*z *D_y &s D_w);
 ${\mathrm{T3}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}\right]{,}\frac{{{y}}^{{2}}}{{2}}\right]{,}\left[\left[{2}{,}{1}\right]{,}\frac{{{y}}^{{2}}}{{2}}\right]{,}\left[\left[{2}{,}{4}\right]{,}\frac{{x}{}{z}}{{2}}\right]{,}\left[\left[{4}{,}{2}\right]{,}\frac{{x}{}{z}}{{2}}\right]\right]\right]\right)$ (2.10)
 M > T4 := evalDG(D_y &s D_w);
 ${\mathrm{T4}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{2}{,}{4}\right]{,}\frac{{1}}{{2}}\right]{,}\left[\left[{4}{,}{2}\right]{,}\frac{{1}}{{2}}\right]\right]\right]\right)$ (2.11)
 M > T5 := evalDG(x*z*w* &s (D_y, D_y, D_z));
 ${\mathrm{T5}}{:=}{\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"con_bas"}{,}{"con_bas"}{,}{"con_bas"}\right]{,}\left[\right]\right]\right]{,}\left[\left[\left[{2}{,}{2}{,}{3}\right]{,}\frac{{x}{}{z}{}{w}}{{3}}\right]{,}\left[\left[{2}{,}{3}{,}{2}\right]{,}\frac{{x}{}{z}{}{w}}{{3}}\right]{,}\left[\left[{3}{,}{2}{,}{2}\right]{,}\frac{{x}{}{z}{}{w}}{{3}}\right]\right]\right]\right)$ (2.12)
 M > F :=(X, Y, Z) -> TensorBrackets(X, TensorBrackets(Y, Z, "Schouten"), "Schouten");
 ${F}{:=}\left({X}{,}{Y}{,}{Z}\right){→}{\mathrm{DifferentialGeometry:-Tensor}}{:-}{\mathrm{TensorBrackets}}{}\left({X}{,}{\mathrm{DifferentialGeometry:-Tensor}}{:-}{\mathrm{TensorBrackets}}{}\left({Y}{,}{Z}{,}{"Schouten"}\right){,}{"Schouten"}\right)$ (2.13)
 M > F(T3, T4, T5) &plus F(T5, T3, T4) &plus F(T4, T5, T3);
 ${0}{}{\mathrm{D_x}}{}{\mathrm{D_x}}{}{\mathrm{D_x}}{}{\mathrm{D_x}}{}{\mathrm{D_x}}$ (2.14)

Example 4.

Compute the Frolicher-Nijenhuis of the tensors $\mathrm{T6}$ and $\mathrm{T7}$ and check that the result coincides with the Lie derivative ${L}_{\mathrm{T6}}\mathrm{T7}$.

Also check that $\left[\mathrm{T1},\mathrm{T2}\right]=-\left[\mathrm{T2},\mathrm{T1}\right]$ and that $\left[\mathrm{T2},\mathrm{T2}\right]=0$.

 M > X := evalDG(z*D_y + x*D_w);
 ${X}{:=}{z}{}{\mathrm{D_y}}{+}{x}{}{\mathrm{D_w}}$ (2.15)
 M > T6 := convert(X, DGtensor);
 ${\mathrm{T6}}{:=}{z}{}{\mathrm{D_y}}{+}{x}{}{\mathrm{D_w}}$ (2.16)
 M > T7 := evalDG(w^2* D_x &t (dx &w dy &w dw) + y^2* D_y &t(dx &w dz &w dw));
 ${\mathrm{T7}}{:=}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dy}}{}{\mathrm{dw}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dy}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dx}}{}{\mathrm{dw}}{+}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dw}}{}{\mathrm{dx}}{+}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dy}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dy}}{}{\mathrm{dx}}{+}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dz}}{}{\mathrm{dw}}{-}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dz}}{-}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dx}}{}{\mathrm{dw}}{+}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dw}}{}{\mathrm{dx}}{+}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dz}}{-}{{y}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dz}}{}{\mathrm{dx}}$ (2.17)
 M > S1 := TensorBrackets(T6, T7, "Frolicher-Nijenhuis");
 ${\mathrm{S1}}{:=}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dy}}{}{\mathrm{dw}}{+}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dz}}{}{\mathrm{dw}}{-}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dy}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dz}}{-}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dx}}{}{\mathrm{dw}}{+}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dw}}{}{\mathrm{dx}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dz}}{}{\mathrm{dx}}{}{\mathrm{dw}}{+}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dz}}{}{\mathrm{dw}}{}{\mathrm{dx}}{+}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dy}}{+}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dz}}{-}{2}{}{x}{}{w}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dy}}{}{\mathrm{dx}}{-}{{w}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dz}}{}{\mathrm{dx}}{+}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dz}}{}{\mathrm{dw}}{-}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dz}}{-}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dx}}{}{\mathrm{dw}}{+}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dw}}{}{\mathrm{dx}}{+}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dz}}{-}{2}{}{z}{}{y}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dz}}{}{\mathrm{dx}}{-}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dx}}{}{\mathrm{dy}}{}{\mathrm{dw}}{+}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dx}}{}{\mathrm{dw}}{}{\mathrm{dy}}{+}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dy}}{}{\mathrm{dx}}{}{\mathrm{dw}}{-}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dy}}{}{\mathrm{dw}}{}{\mathrm{dx}}{-}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dw}}{}{\mathrm{dx}}{}{\mathrm{dy}}{+}{{w}}^{{2}}{}{\mathrm{D_w}}{}{\mathrm{dw}}{}{\mathrm{dy}}{}{\mathrm{dx}}$ (2.18)
 M > S1 &minus LieDerivative(X, T7);
 ${0}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}$ (2.19)
 M > S1 &plus TensorBrackets(T7, T6, "Frolicher-Nijenhuis");
 ${0}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}$ (2.20)

Example 5.

Show that

 M > T8 := evalDG(w^2* z*D_x &t (dx &w dy) + y^2*x *D_y &t(dx &w dz));
 ${\mathrm{T8}}{:=}{{w}}^{{2}}{}{z}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dy}}{-}{{w}}^{{2}}{}{z}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dx}}{+}{{y}}^{{2}}{}{x}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dz}}{-}{{y}}^{{2}}{}{x}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dx}}$ (2.21)
 M > TensorBrackets(T8, T8, "Frolicher-Nijenhuis");
 ${0}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}$ (2.22)

Example 6.

Use the tensors $\mathrm{T8}$ and $\mathrm{T9}$ to show that Frolicher-Nijenhuis is independent of the connection used to calculate it.

 M > T9 := evalDG(w^2* z^2*D_x &t (dy &w dw) + y^2*x^2* D_y &t(dx &w dw));
 ${\mathrm{T9}}{:=}{{w}}^{{2}}{}{{z}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dy}}{}{\mathrm{dw}}{-}{{w}}^{{2}}{}{{z}}^{{2}}{}{\mathrm{D_x}}{}{\mathrm{dw}}{}{\mathrm{dy}}{+}{{y}}^{{2}}{}{{x}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dw}}{-}{{y}}^{{2}}{}{{x}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dx}}$ (2.23)
 M > C := Connection(SymmetrizeIndices(z^2*D_y &t dx &t dz + x*y*D_y &t dx &t dy, [2, 3], "Symmetric"));
 ${C}{:=}\frac{{1}}{{2}}{}{y}{}{x}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dy}}{+}\frac{{1}}{{2}}{}{{z}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dz}}{+}\frac{{1}}{{2}}{}{y}{}{x}{}{\mathrm{D_y}}{}{\mathrm{dy}}{}{\mathrm{dx}}{+}\frac{{1}}{{2}}{}{{z}}^{{2}}{}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dx}}$ (2.24)
 M > TensorBrackets(T8, T9, "Frolicher-Nijenhuis") &minus TensorBrackets(T8, T9, C, "Frolicher-Nijenhuis");
 ${0}{}{\mathrm{D_x}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}{}{\mathrm{dx}}$ (2.25)

Example 7.

Find all functions $f\left(x,y,z,w\right)$ such that the $\left(\genfrac{}{}{0}{}{1}{1}\right)$ tensor $\mathrm{T10}$ satisfies $\left[\mathrm{T10},\mathrm{T10}\right]=0.$

 M > T10 := evalDG(D_x &t dy + z*D_y &t dz +f(x, y, z, w)*D_z &t dw);
 ${\mathrm{T10}}{:=}{\mathrm{D_x}}{}{\mathrm{dy}}{+}{z}{}{\mathrm{D_y}}{}{\mathrm{dz}}{+}{f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){}{\mathrm{D_z}}{}{\mathrm{dw}}$ (2.26)
 M > PDEtools[declare](f(x, y, z, w));
 ${f}{}\left({x}{,}{y}{,}{z}{,}{w}\right){}{\mathrm{will now be displayed as}}{}{f}$ (2.27)
 M > S2 := TensorBrackets(T10, T10, "Frolicher-Nijenhuis");
 ${\mathrm{S2}}{:=}{-}{2}{}{z}{}{{f}}_{{x}}{}{\mathrm{D_y}}{}{\mathrm{dx}}{}{\mathrm{dw}}{-}{2}{}{z}{}{{f}}_{{y}}{}{\mathrm{D_y}}{}{\mathrm{dy}}{}{\mathrm{dw}}{-}\left({2}{}{f}{+}{2}{}{z}{}{{f}}_{{z}}\right){}{\mathrm{D_y}}{}{\mathrm{dz}}{}{\mathrm{dw}}{+}{2}{}{z}{}{{f}}_{{x}}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dx}}{+}{2}{}{z}{}{{f}}_{{y}}{}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dy}}{+}\left({2}{}{f}{+}{2}{}{z}{}{{f}}_{{z}}\right){}{\mathrm{D_y}}{}{\mathrm{dw}}{}{\mathrm{dz}}{+}{2}{}{{f}}_{{x}}{}{\mathrm{D_z}}{}{\mathrm{dy}}{}{\mathrm{dw}}{+}{2}{}{z}{}{{f}}_{{y}}{}{\mathrm{D_z}}{}{\mathrm{dz}}{}{\mathrm{dw}}{-}{2}{}{{f}}_{{x}}{}{\mathrm{D_z}}{}{\mathrm{dw}}{}{\mathrm{dy}}{-}{2}{}{z}{}{{f}}_{{y}}{}{\mathrm{D_z}}{}{\mathrm{dw}}{}{\mathrm{dz}}$ (2.28)
 M > pde := Tools:-DGinfo(S2, "CoefficientSet");
 ${\mathrm{pde}}{:=}\left\{{-}{2}{}{{f}}_{{x}}{,}{2}{}{{f}}_{{x}}{,}{-}{2}{}{z}{}{{f}}_{{x}}{,}{2}{}{z}{}{{f}}_{{x}}{,}{-}{2}{}{z}{}{{f}}_{{y}}{,}{2}{}{z}{}{{f}}_{{y}}{,}{2}{}{f}{+}{2}{}{z}{}{{f}}_{{z}}{,}{-}{2}{}{z}{}{{f}}_{{z}}{-}{2}{}{f}\right\}$ (2.29)
 M > pdsolve(pde);
 $\left\{{f}{=}\frac{{\mathrm{_F1}}{}\left({w}\right)}{{z}}\right\}$ (2.30)