 IsInvolutive - Maple Help

IsInvolutive

check if a Distribution object is in involution

IsIntegrable

a synonym for IsInvolutive

Integrals

calculate the integrals of an involutive Distribution object Calling Sequence IsInvolutive( dist) IsIntegrable( dist) Integrals( dist) Parameters

 dist - a Distribution object. Description

 • 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\left({x}_{1},\dots ,{x}_{n}\right)$ is an integral of distribution dist on a space with coordinates $\left({x}_{1},\dots ,{x}_{n}\right)$ 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. Examples

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

Build vector fields associated with 3-d spatial rotations...

 > ${R}_{x}≔\mathrm{VectorField}\left(-z{\mathrm{D}}_{y}+y{\mathrm{D}}_{z},\mathrm{space}=\left[x,y,z\right]\right)$
 ${{R}}_{{x}}{≔}{-}{z}{}\left(\frac{{ⅆ}}{{ⅆ}{y}}\right){+}{y}{}\left(\frac{{ⅆ}}{{ⅆ}{z}}\right)$ (1)
 > ${R}_{y}≔\mathrm{VectorField}\left(-x{\mathrm{D}}_{z}+z{\mathrm{D}}_{x},\mathrm{space}=\left[x,y,z\right]\right)$
 ${{R}}_{{y}}{≔}{z}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right){-}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{z}}\right)$ (2)
 > ${R}_{z}≔\mathrm{VectorField}\left(-y{\mathrm{D}}_{x}+x{\mathrm{D}}_{y},\mathrm{space}=\left[x,y,z\right]\right)$
 ${{R}}_{{z}}{≔}{-}{y}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right){+}{x}{}\left(\frac{{ⅆ}}{{ⅆ}{y}}\right)$ (3)

Construct the associated distribution...

 > $\mathrm{Σ}≔\mathrm{Distribution}\left({R}_{x},{R}_{y},{R}_{z}\right)$
 ${\mathrm{\Sigma }}{≔}\left\{{-}\frac{{y}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right)}{{x}}{+}\frac{{ⅆ}}{{ⅆ}{y}}{,}{-}\frac{{z}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right)}{{x}}{+}\frac{{ⅆ}}{{ⅆ}{z}}\right\}$ (4)
 > $\mathrm{IsInvolutive}\left(\mathrm{Σ}\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{IsIntegrable}\left(\mathrm{Σ}\right)$
 ${\mathrm{true}}$ (6)
 > $\mathrm{IN}≔\mathrm{Integrals}\left(\mathrm{Σ}\right)$
 ${\mathrm{IN}}{≔}\left[{{x}}^{{2}}{+}{{y}}^{{2}}{+}{{z}}^{{2}}\right]$ (7)
 > $\mathrm{ρ}≔\mathrm{op}\left(\mathrm{IN}\right)$
 ${\mathrm{\rho }}{≔}{{x}}^{{2}}{+}{{y}}^{{2}}{+}{{z}}^{{2}}$ (8)

Since rho is an integral of distribution Sigma, it should be annihilated by every vector field lying in Sigma...

 > $\mathrm{vfs}≔\mathrm{GetVectorFields}\left(\mathrm{Σ}\right)$
 ${\mathrm{vfs}}{≔}\left[{-}\frac{{y}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right)}{{x}}{+}\frac{{ⅆ}}{{ⅆ}{y}}{,}{-}\frac{{z}{}\left(\frac{{ⅆ}}{{ⅆ}{x}}\right)}{{x}}{+}\frac{{ⅆ}}{{ⅆ}{z}}\right]$ (9)
 > $\mathrm{map}\left(X→X\left(\mathrm{ρ}\right),\mathrm{vfs}\right)$
 $\left[{0}{,}{0}\right]$ (10) Compatibility

 • The IsInvolutive, IsIntegrable and Integrals commands were introduced in Maple 2020.