Let L, M be LAVF objects and $M\subseteq L$. Then KillingOrthogonal(L,M) finds a new LAVF object for the subspace of L that is orthogonal to M with respect to the Killing form of L.

Let M be a subspace of L. The Killing orthogonal of M in L is the subspace $\left\{X_L\in L\|K\left(X_M\,X_L\right)\=0\mathbf{for}\mathrm{all}{X}_M\in M\right\}$ where K( , ) is the Killing form of L.

Some LAVF's exported methods are instance of this method, for example, KillingOrthogonal(L,L) gives KillingRadical of L, and KillingOrthogonal(L, DerivedAlgebra(L)) gives SolvableRadical of L.

This method is associated with the LAVF object. For more detail, see Overview of the LAVF object.

$\mathrm{with}\left(\mathrm{LieAlgebrasOfVectorFields}\right)\:$

$\mathrm{Typesetting}:-\mathrm{Settings}\left(\mathrm{userep}=\mathrm{true}\right)\:$

$\mathrm{Typesetting}:-\mathrm{Suppress}\left(\left[\mathrm{\xi }\left(x\,y\right)\,\mathrm{\eta }\left(x\,y\right)\right]\right)\:$

$V≔\mathrm{VectorField}\left(\mathrm{\xi }\left(x\,y\right)\mathrm{D}\left[x\right]+\mathrm{\eta }\left(x\,y\right)\mathrm{D}\left[y\right]\,\mathrm{space}=\left[x\,y\right]\right)$

$V≔\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)$

$\mathrm{E2}≔\mathrm{LHPDE}\left(\left[\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\,y\right)=0\,\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,x\right)=-\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,y\right)\,\mathrm{diff}\left(\mathrm{\eta }\left(x\,y\right)\,y\right)=0\,\mathrm{diff}\left(\mathrm{\xi }\left(x\,y\right)\,x\right)=0\right]\,\mathrm{indep}=\left[x\,y\right]\,\mathrm{dep}=\left[\mathrm{\xi }\,\mathrm{\eta }\right]\right)$

$\mathrm{E2}≔\left[{\mathrm{\xi }}_{y,y}=0\,{\mathrm{\eta }}_x=-{\mathrm{\xi }}_y\,{\mathrm{\eta }}_y=0\,{\mathrm{\xi }}_x=0\right],\mathrm{indep}=\left[x\,y\right],\mathrm{dep}=\left[\mathrm{\xi }\,\mathrm{\eta }\right]$

$L≔\mathrm{LAVF}\left(V\,\mathrm{E2}\right)$

$L≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_{y,y}=0\,{\mathrm{\xi }}_x=0\,{\mathrm{\eta }}_x=-{\mathrm{\xi }}_y\,{\mathrm{\eta }}_y=0\right]\right\}$

$\mathrm{IsLieAlgebra}\left(L\right)$

$\mathrm{true}$

$\mathrm{KillingOrthogonal}\left(L\,L\right)$

$\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_x=0\,{\mathrm{\eta }}_x=0\,{\mathrm{\xi }}_y=0\,{\mathrm{\eta }}_y=0\right]\right\}$

$\mathrm{DL}≔\mathrm{DerivedAlgebra}\left(L\right)$

$\mathrm{DL}≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_x=0\,{\mathrm{\eta }}_x=0\,{\mathrm{\xi }}_y=0\,{\mathrm{\eta }}_y=0\right]\right\}$

$\mathrm{KO}≔\mathrm{KillingOrthogonal}\left(L\,\mathrm{DL}\right)$

$\mathrm{KO}≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_{y,y}=0\,{\mathrm{\xi }}_x=0\,{\mathrm{\eta }}_x=-{\mathrm{\xi }}_y\,{\mathrm{\eta }}_y=0\right]\right\}$

$\mathrm{SR}≔\mathrm{SolvableRadical}\left(L\right)$

$\mathrm{SR}≔\left[\mathrm{\xi }\left(\frac{\ⅆ}{\ⅆx}\right)+\mathrm{\eta }\left(\frac{\ⅆ}{\ⅆy}\right)\right]\&where\left\{\left[{\mathrm{\xi }}_{y,y}=0\,{\mathrm{\xi }}_x=0\,{\mathrm{\eta }}_x=-{\mathrm{\xi }}_y\,{\mathrm{\eta }}_y=0\right]\right\}$

$\mathrm{AreSame}\left(\mathrm{KO}\,\mathrm{SR}\right)$

$\mathrm{true}$

The KillingOrthogonal command was introduced in Maple 2020.

For more information on Maple 2020 changes, see Updates in Maple 2020.