 FrameData - Maple Help

DifferentialGeometry

 FrameData
 calculate the structure equations for a generic (anholonomic) frame Calling Sequence FrameData(Fr, FrName) Parameters

 Fr - a list of vector fields or differential 1-forms on a manifold M FrName - an unassigned Maple name or string, the name to that will be assigned to the frame with the command DGsetup Description

 • There are many situations in differential geometry where computations are tremendously simplified by using a frame or co-frame other than the standard coordinate frame or co-frame. We refer to a general (local) frame or co-frame on a manifold as an anholonomic frame.  Important examples of anholonomic frames are: the orthogonal frames constructed from a metric on a manifold; the null frames used in general relativity; the left (or right) invariant vector fields on a Lie group; the moving frames adapted to a free group action on a manifold.  Cartan's method of equivalence provides an algorithmic approach to constructing adapted co-frames for Pfaffian systems.
 • All of the commands in the DifferentialGeometry package and the Tensor subpackage work with general anholonomic frames.  At present, the commands in the JetCalculus package work only with the standard coordinate frame.
 • The structure equations of a frame Fr = [X_1, X_2, ...] (the X_i are vector fields) are the Lie bracket relations

[X_i, X_j] = F_{ij}^k X_k    (sum on k).

 • The structure equations for a co-frame Omega = [omega^1,  omega^2, ...] (the omega^k are differential 1-forms) are the exterior derivative formulas

d(omega^k) = G_{ij}^k omega ^i &w omega ^j.

If the co-frame Omega is the dual co-frame to the frame Fr, then the structure functions are related by G_{ij}^k = -1/2*F_{ij}^k).

 • To work in DifferentialGeometry with anholonomic frames on a manifold M, first define an underlying coordinate system on M and define the anholonomic frame or co-frame relative to this coordinate system. Use the command FrameData to generate the structure equations for this frame (along with other data).  Pass the results of the FrameData procedure to the DGsetup procedure.
 • This command is part of the DifferentialGeometry package, and so can be used in the form FrameData(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-FrameData. Examples

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

Example 1.

Calculate the structure equations for the frame Fr.  Create a manifold N with local coordinate (x, y) and Fr as the frame for the tangent bundle.

 > $\mathrm{DGsetup}\left(\left[x,y\right],M\right):$
 > $\mathrm{Fr}≔\mathrm{evalDG}\left(\left[x\mathrm{D_x}+y\mathrm{D_y},{y}^{2}\mathrm{D_x}+{x}^{2}\mathrm{D_y}\right]\right)$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{M}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}{x}\right]{,}\left[\left[{2}\right]{,}{y}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{M}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}{{y}}^{{2}}\right]{,}\left[\left[{2}\right]{,}{{x}}^{{2}}\right]\right]\right]\right)\right]$ (1)
 > $\mathrm{FD}≔\mathrm{FrameData}\left(\mathrm{Fr},N\right)$
 ${\mathrm{FD}}{≔}\left[\left[{\mathrm{E1}}{,}{\mathrm{E2}}\right]{=}{\mathrm{E2}}\right]$ (2)
 > $\mathrm{DGsetup}\left(\mathrm{FD},\mathrm{verbose}\right)$
 ${\mathrm{The following coordinates have been protected:}}$
 $\left[{x}{,}{y}\right]$
 ${\mathrm{The following vector fields have been defined and protected:}}$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{2}\right]{,}{1}\right]\right]\right]\right)\right]$
 ${\mathrm{The following differential 1-forms have been defined and protected:}}$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{1}\right]{,}\left[\left[\left[{2}\right]{,}{1}\right]\right]\right]\right)\right]$
 ${\mathrm{frame name: N}}$ (3)

Calculate the exterior derivative of the function x*y in terms of the co-frame dual to Fr.

 > $\mathrm{ExteriorDerivative}\left(xy\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{2}{}{x}{}{y}\right]{,}\left[\left[{2}\right]{,}{{x}}^{{3}}{+}{{y}}^{{3}}\right]\right]\right]\right)$ (4)

Example 2.

Find an orthonormal co-frame for the metric g. Use this co-frame to compute the curvature tensor and its first covariant derivative.

 > $\mathrm{DGsetup}\left(\left[x,y\right],M\right):$
 > $g≔\mathrm{evalDG}\left(\mathrm{dx}&t\mathrm{dx}+{ⅇ}^{2x}\mathrm{dy}&t\mathrm{dy}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{M}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{1}\right]{,}\left[\left[{2}{,}{2}\right]{,}{\mathrm{exp}}{}\left({2}{}{x}\right)\right]\right]\right]\right)$ (5)
 > $\mathrm{Ω}≔\mathrm{evalDG}\left(\left[\mathrm{dx},{ⅇ}^{x}\mathrm{dy}\right]\right)$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{2}\right]{,}{\mathrm{exp}}{}\left({x}\right)\right]\right]\right]\right)\right]$ (6)
 > $\mathrm{coFD}≔\mathrm{FrameData}\left(\mathrm{Ω},N\right)$
 ${\mathrm{coFD}}{≔}\left[{d}{}{\mathrm{Θ1}}{=}{0}{,}{d}{}{\mathrm{Θ2}}{=}{\mathrm{Θ1}}{}{\bigwedge }{}{\mathrm{Θ2}}\right]$ (7)
 > $\mathrm{DGsetup}\left(\mathrm{coFD},\left[E\right],\left[\mathrm{ω}\right],\mathrm{verbose}\right)$
 ${\mathrm{The following coordinates have been protected:}}$
 $\left[{x}{,}{y}\right]$
 ${\mathrm{The following vector fields have been defined and protected:}}$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"vector"}{,}{N}{,}\left[{}\right]\right]{,}\left[\left[\left[{2}\right]{,}{1}\right]\right]\right]\right)\right]$
 ${\mathrm{The following differential 1-forms have been defined and protected:}}$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{1}\right]{,}\left[\left[\left[{2}\right]{,}{1}\right]\right]\right]\right)\right]$
 ${\mathrm{frame name: N}}$ (8)
 > $g≔\mathrm{evalDG}\left(\mathrm{ω1}&t\mathrm{ω1}+\mathrm{ω2}&t\mathrm{ω2}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}\right]{,}{1}\right]{,}\left[\left[{2}{,}{2}\right]{,}{1}\right]\right]\right]\right)$ (9)
 > $C≔\mathrm{Christoffel}\left(g\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"connection"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}{,}{2}\right]{,}{-}{1}\right]{,}\left[\left[{2}{,}{1}{,}{2}\right]{,}{1}\right]\right]\right]\right)$ (10)
 > $R≔\mathrm{CurvatureTensor}\left(C\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{2}{,}{1}{,}{2}\right]{,}{-}{1}\right]{,}\left[\left[{1}{,}{2}{,}{2}{,}{1}\right]{,}{1}\right]{,}\left[\left[{2}{,}{1}{,}{1}{,}{2}\right]{,}{1}\right]{,}\left[\left[{2}{,}{1}{,}{2}{,}{1}\right]{,}{-}{1}\right]\right]\right]\right)$ (11)
 > $\mathrm{R1}≔\mathrm{CovariantDerivative}\left(R,C\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"tensor"}{,}{N}{,}\left[\left[{"con_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}{,}{"cov_bas"}\right]{,}\left[{}\right]\right]\right]{,}\left[\left[\left[{1}{,}{1}{,}{1}{,}{1}{,}{1}\right]{,}{0}\right]\right]\right]\right)$ (12)

Example 3.

In this example we shall encode the Liouville equation u_xy = exp(u) as a exterior differential system on a 7 manifold N with a co-frame adapted to the hyperbolic structure of the equation. The steps are:

1. Create a manifold M with coordinates (x, y, u, p, q, r, t) -- here we are using the classical notation for derivatives p = u_x, q = u_y, r = u_xx, t = u_yy.

2. Define a co-frame Omega on M by Omega = [du - p*dx - q*dy, dp - r*dx - exp(u)*dy, dq - exp(u)*dx - t*dy, dx, dr - p*dp, dy, dt - q*dq].

3. Compute the structure equations for the co-frame Omega using the FrameData command.

4. Initialize the manifold N with the co-frame Omega.  Label the first 3 elements of the co-frame on N as theta1, theta2, theta3, and the last 4 elements as pi1, pi2, pi3, pi4.

5. Compute the exterior derivatives of theta1, theta2, theta3.

 > $\mathrm{with}\left(\mathrm{DifferentialGeometry}\right):$
 > $\mathrm{DGsetup}\left(\left[x,y,u,p,q,r,t\right],M\right):$
 > $\mathrm{Ω}≔\mathrm{evalDG}\left(\left[\mathrm{du}-p\mathrm{dx}-q\mathrm{dy},\mathrm{dp}-r\mathrm{dx}-{ⅇ}^{u}\mathrm{dy},\mathrm{dq}-{ⅇ}^{u}\mathrm{dx}-t\mathrm{dy},\mathrm{dx},\mathrm{dr}-p\mathrm{dp},\mathrm{dy},\mathrm{dt}-q\mathrm{dq}\right]\right)$
 $\left[{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{-}{p}\right]{,}\left[\left[{2}\right]{,}{-}{q}\right]{,}\left[\left[{3}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{-}{r}\right]{,}\left[\left[{2}\right]{,}{-}{\mathrm{exp}}{}\left({u}\right)\right]{,}\left[\left[{4}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{-}{\mathrm{exp}}{}\left({u}\right)\right]{,}\left[\left[{2}\right]{,}{-}{t}\right]{,}\left[\left[{5}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{1}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{4}\right]{,}{-}{p}\right]{,}\left[\left[{6}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{2}\right]{,}{1}\right]\right]\right]\right){,}{\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{M}{,}{1}\right]{,}\left[\left[\left[{5}\right]{,}{-}{q}\right]{,}\left[\left[{7}\right]{,}{1}\right]\right]\right]\right)\right]$ (13)
 > $\mathrm{coFD}≔\mathrm{FrameData}\left(\mathrm{Ω},N\right)$
 ${\mathrm{coFD}}{≔}\left[{d}{}{\mathrm{Θ1}}{=}{-}{\mathrm{Θ2}}{}{\bigwedge }{}{\mathrm{Θ4}}{-}{\mathrm{Θ3}}{}{\bigwedge }{}{\mathrm{Θ6}}{,}{d}{}{\mathrm{Θ2}}{=}{-}{{ⅇ}}^{{u}}{}{\mathrm{Θ1}}{}{\bigwedge }{}{\mathrm{Θ6}}{-}{p}{}{\mathrm{Θ2}}{}{\bigwedge }{}{\mathrm{Θ4}}{+}{\mathrm{Θ4}}{}{\bigwedge }{}{\mathrm{Θ5}}{,}{d}{}{\mathrm{Θ3}}{=}{-}{{ⅇ}}^{{u}}{}{\mathrm{Θ1}}{}{\bigwedge }{}{\mathrm{Θ4}}{-}{q}{}{\mathrm{Θ3}}{}{\bigwedge }{}{\mathrm{Θ6}}{+}{\mathrm{Θ6}}{}{\bigwedge }{}{\mathrm{Θ7}}{,}{d}{}{\mathrm{Θ4}}{=}{0}{,}{d}{}{\mathrm{Θ5}}{=}{0}{,}{d}{}{\mathrm{Θ6}}{=}{0}{,}{d}{}{\mathrm{Θ7}}{=}{0}\right]$ (14)
 > $\mathrm{DGsetup}\left(\mathrm{coFD},\left[E\right],\left[\mathrm{θ1},\mathrm{θ2},\mathrm{θ3},\mathrm{π1},\mathrm{π2},\mathrm{π3},\mathrm{π4}\right]\right)$
 ${\mathrm{frame name: N}}$ (15)
 > $\mathrm{ExteriorDerivative}\left(\mathrm{θ1}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{2}\right]{,}\left[\left[\left[{2}{,}{4}\right]{,}{-}{1}\right]{,}\left[\left[{3}{,}{6}\right]{,}{-}{1}\right]\right]\right]\right)$ (16)
 > $\mathrm{ExteriorDerivative}\left(\mathrm{θ2}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{2}\right]{,}\left[\left[\left[{1}{,}{6}\right]{,}{-}{\mathrm{exp}}{}\left({u}\right)\right]{,}\left[\left[{2}{,}{4}\right]{,}{-}{p}\right]{,}\left[\left[{4}{,}{5}\right]{,}{1}\right]\right]\right]\right)$ (17)
 > $\mathrm{ExteriorDerivative}\left(\mathrm{θ3}\right)$
 ${\mathrm{_DG}}{}\left(\left[\left[{"form"}{,}{N}{,}{2}\right]{,}\left[\left[\left[{1}{,}{4}\right]{,}{-}{\mathrm{exp}}{}\left({u}\right)\right]{,}\left[\left[{3}{,}{6}\right]{,}{-}{q}\right]{,}\left[\left[{6}{,}{7}\right]{,}{1}\right]\right]\right]\right)$ (18)