DerivedDistribution - Maple Help

DerivedDistribution

find derived distribution of a distribution

 Calling Sequence DerivedDistribution(dist)

Parameters

 dist - a Distribution object.

Description

 • The DerivedDistribution method returns a Distribution object spanned by all the commutators of vector fields in dist.
 • This method is of little interest if the input Distribution dist is involutive, since in that case DerivedDistribution(dist) will simply return dist itself.
 • This method is associated with the Distribution object. For more detail see Overview of the Distribution object.

Examples

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

Build vector fields...

 > $\mathrm{V1}≔\mathrm{VectorField}\left(\mathrm{D}\left[x\right],\mathrm{space}=\left[x,y,z,w\right]\right)$
 ${\mathrm{V1}}{≔}\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}$ (1)
 > $\mathrm{V2}≔\mathrm{VectorField}\left(\mathrm{D}\left[y\right]+x\mathrm{D}\left[z\right]+z\mathrm{D}\left[w\right],\mathrm{space}=\left[x,y,z,w\right]\right)$
 ${\mathrm{V2}}{≔}\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{+}{x}{}\frac{{\partial }}{{\partial }{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{+}{z}{}\frac{{\partial }}{{\partial }{w}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}$ (2)

Construct the associated distribution...

 > $\mathrm{\Sigma }≔\mathrm{Distribution}\left(\mathrm{V1},\mathrm{V2}\right)$
 ${\mathrm{\Sigma }}{≔}\left\{\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{,}\frac{\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}}{{z}}{+}\frac{{x}{}\frac{{\partial }}{{\partial }{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}}{{z}}{+}\frac{{\partial }}{{\partial }{w}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}\right\}$ (3)

Construct derived distribution...

 > $\mathrm{DerivedDistribution}\left(\mathrm{\Sigma }\right)$
 $\left\{\frac{{\partial }}{{\partial }{x}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{,}\frac{{\partial }}{{\partial }{z}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}{,}\frac{\frac{{\partial }}{{\partial }{y}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}}{{z}}{+}\frac{{\partial }}{{\partial }{w}}\phantom{\rule[-0.0ex]{0.4em}{0.0ex}}\right\}$ (4)
 > $\mathrm{IsInvolutive}\left(\mathrm{\Sigma }\right)$
 ${\mathrm{false}}$ (5)

Compatibility

 • The DerivedDistribution command was introduced in Maple 2020.