check if a Distribution object is in involution
a synonym for IsInvolutive
calculate the integrals of an involutive Distribution object
a Distribution object.
The IsInvolutive (or IsIntegrable) method returns true if the distribution specified by dist is in involution.
A distribution is involutive (also known as integrable, or completely integrable) if the Lie bracket of any two vector fields lying in dist also lies in dist.
The Integrals method returns a list of the functionally independent integrals of an involutive distribution, or the string "not known" if Maple was unable to find all the integrals.
A function f⁡x1,…,xn is an integral of distribution dist on a space with coordinates x1,…,xn if every vector field X lying in dist satisfies X_(f(x, ..., x[n]))= 0.
Because successful integration of PDE by Maple cannot be guaranteed (see pdsolve), it is possible that Integrals is unable to return an answer.
These methods are associated with the Distribution object. For more detail see Overview of the Distribution object.
Build vector fields associated with 3-d spatial rotations...
Rx ≔ VectorField⁡−z⁢Dy+y⁢Dz,space=x,y,z
Ry ≔ VectorField⁡−x⁢Dz+z⁢Dx,space=x,y,z
Rz ≔ VectorField⁡−y⁢Dx+x⁢Dy,space=x,y,z
Construct the associated distribution...
Σ ≔ Distribution⁡Rx,Ry,Rz
IN ≔ Integrals⁡Σ
ρ ≔ op⁡IN
Since rho is an integral of distribution Sigma, it should be annihilated by every vector field lying in Sigma...
vfs ≔ GetVectorFields⁡Σ
The IsInvolutive, IsIntegrable and Integrals commands were 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