VerticalHomotopy - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

All Products    Maple    MapleSim


JetCalculus[VerticalHomotopy] - apply the vertical homotopy operator to a bi-form on a jet space

Calling Sequences

     VerticalHomotopy(, options)

Parameters

              - a differential bi-form on the jet space of a fiber bundle

     options   - various keyword arguments for specifying the integration path used by the vertical homotopy operator.

 

Description

Details

Examples

Description

• 

Let be a fiber bundle and let  be the associated infinite jet bundle. Let be a bi-form of degree on . Then is called  closed if where denotes the vertical exterior derivative and is called  exact if there exists a bi-form of degree such that . Every closed bi-form is  exact in some neighborhood about each point in jet space. If then there are numerous algorithms for finding a bi-form such that  One approach is to use the vertical homotopy operators

. 

These operators satisfyso that if then where .

• 

If is a bi-form of degree with , then VerticalHomotopy(omega) returns a bi-form  of degree (such that .

• 

The optional arguments available to DeRhamHomotopy can also be invoked with VerticalHomotopy.

• 

The command VerticalHomotopy is part of the DifferentialGeometry:-JetCalculus package. It can be used in the form VerticalHomotopy(...) only after executing the commands with(DifferentialGeometry) and with(JetCalculus), but can always be used by executing DifferentialGeometry:-JetCalculus:-VerticalHomotopy(...).

Details

Here are the explicit formulas for the vertical homotopy operators. Let , ..., be a local system of jet coordinates and let be the contact forms. The vertical radial vector field on is  and its prolongation to jet space is

pr

The flow of the vector field pr  is the transformation  given by = . The vertical homotopy operators are then defined in terms of pr and   and the interior product operator (see Hook) by

.

As a concrete example, if is given by (, ...), then

   .

 

Thus the formulas for the vertical homotopy operators are essentially the same as that for the standard de Rham homotopy operators.

Examples

with(DifferentialGeometry): with(JetCalculus):

 

Example 1.

Create the jet space  for the bundle  with coordinates .

DGsetup([x, y], [u], E, 1):

 

Show that the form is  closed.

E > 

omega1 := evalDG(Cu[] &w Cu[1] &w Cu[2]);

(3.1)
E > 

VerticalExteriorDerivative(omega1);

(3.2)

 

Apply the vertical homotopy operator to

E > 

eta1a := VerticalHomotopy(omega1);

(3.3)

 

Check that the vertical exterior derivative of gives

E > 

omega1 &minus VerticalExteriorDerivative(eta1a);

(3.4)

 

Alternatives to can be obtained using the path = "zigzag" option for the VerticalHomotopy command. See DeRhamHomotopy for more details.

E > 

eta1b := VerticalHomotopy(omega1, path = "zigzag");

(3.5)
E > 

omega1 &minus VerticalExteriorDerivative(eta1b);

(3.6)
E > 

eta1c := VerticalHomotopy(omega1, path = "zigzag", variableorder = [u[1], u[2], u[], u[1, 1], u[1, 2], u[2, 2]]);

(3.7)
E > 

omega1 &minus VerticalExteriorDerivative(eta1c);

(3.8)

See Also

DifferentialGeometry

JetCalculus

HorizontalExteriorDerivative

HorizontalHomotopy

VerticalExteriorDerivative

ZigZag

 


Download Help Document