IsInvariant - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


IsInvariant

check if a distribution is invariant under Lie group action

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsInvariant(dist, L)

Parameters

dist

-

a Distribution object.

L

-

a LAVF object

Description

• 

The IsInvariant method decides whether Distribution object dist is invariant under the action of the Lie transformation group generated by the vector fields from a LAVF object L. It returns the values true or false.

• 

For this method to make sense, Distribution dist must be in involution (see IsInvolutive), and L must specify a Lie algebra (see IsLieAlgebra).  An involutive distribution Σ is invariant under a Lie group action if the foliation induced by Σ maps to itself (i.e. leaves map to leaves).

• 

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

Examples

withLieAlgebrasOfVectorFields:

Typesetting:-Settingsuserep=true:

Building a LAVF object

Typesetting:-Suppressηx,y,ξx,y,ζz

XVectorFieldξx,yDx+ηx,yDy+ζzDz,space=x,y,z

Xξⅆⅆx+ηⅆⅆy+ζⅆⅆz

(1)

SysLHPDEdiffξx,y,x=0,diffξx,y,y=1yξx,y,ηx,y=xyξx,y,diffζz,z,z=0,indep=x,y,z,dep=ξ,η,ζ

Sysξx=0,ξy=ξy,η=xξy,ⅆ2ζⅆz2=0,indep=x,y,z,dep=ξ,η,ζ

(2)

LLAVFX,Sys

Lξⅆⅆx+ηⅆⅆy+ζⅆⅆz&whereⅆ2ζⅆz2=0,ηx=ηx,ηy=0,ξ=ηyx

(3)

Building some Distribution objects

TxVectorFieldDx,space=x,y,z

Txⅆⅆx

(4)

TyVectorFieldDy,space=x,y,z

Tyⅆⅆy

(5)

ΣDistributionTx,Ty

Σⅆⅆx,ⅆⅆy

(6)

GammaDistributionTx

Γⅆⅆx

(7)

Now we test if the following distributions are invariant under L

IsInvariantΣ,L

true

(8)

IsInvariantGamma,L

false

(9)

Compatibility

• 

The IsInvariant command was introduced in Maple 2020.

• 

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

See Also

Distribution (Object overview)

LieAlgebrasOfVectorFields[Distribution]

VectorField (Object overview)

LieAlgebrasOfVectorFields[VectorField]

LieAlgebrasOfVectorFields (Package overview)