calculate Distribution spanned by Cauchy vector fields of a distribution
a Distribution object
The CauchyDistribution method returns a Distribution object spanned by the Cauchy vector fields of input Distribution dist.
A vector field C is a Cauchy vector field of distribution dist if C within dist, then [C,X] likewise lies within dist. That is, C lies in dist and is a symmetry of dist. Such vector fields span a distribution, which is always in involution.
This method is of little interest if the input Distribution dist is involutive, since in that case CauchyDistribution(dist) will simply return dist itself.
This use of the term 'Cauchy distribution' is unrelated to its use in statistics (see Statistics[Distributions][Cauchy]).
This method is associated with the Distribution object. For more detail see Overview of the Distribution object.
Build vector fields...
V1 ≔ VectorField⁡Dx,space=x,y,z,w
V2 ≔ VectorField⁡Dz,space=x,y,z,w
V3 ≔ VectorField⁡Dy+z⁢Dw,space=x,y,z,w
Construct the associated distribution...
Σ ≔ Distribution⁡V1,V2,V3
Construct Cauchy vectors...
The CauchyDistribution command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
Distribution (Object overview)
VectorField (Object overview)
LieAlgebrasOfVectorFields (Package overview)
Download Help Document