DifferentialGeometry - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : DifferentialGeometry/Pullback

DifferentialGeometry

  

Pullback

  

pullback a differential p-form by the Jacobian of a transformation

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

Pullback(Phi, omega)

Parameters

Phi

-

a transformation from a manifold M to a manifold N

omega

-

a differential r-form on the manifold N, where r is not greater than the dimension of M

Description

• 

The pullback of omega with respect to a transformation Phi: M -> Nis an r-form theta on the manifold M and is denoted by theta = Phi^*(omega).  If p is a point of M and X_1, X_2, ..., X_r are vectors in T_pM, then:

theta(p)(X_1, X_2, ..., X_r) = omega(Phi_*(X_1), Phi_*(X_2), ..., Phi_*(X_r))  (*)

The pullback of a 0-form, that is, a real-valued function g on N, is the real-valued function f = g o Phi on M.

• 

In components, let J be the Jacobian matrix of Phi computed with respect to a system of coordinates x^i on M and y^j on N and evaluated at p.  Let a be the row vector whose entries are the components of a 1-form omega at q = Phi(p), computed with respect to the coordinate basis on N. Then the matrix vector product b = a.J gives the components of theta = Phi^*(omega) with respect to the coordinate basis on M.

• 

From the definition (*), it follows that Phi^* is a homomorphism from the ring of all differential forms on N to the ring of differential forms on M, that is, Phi^*(omega1 + omega2) = Phi^*(omega1) + Phi^*(omega2) and Phi^*(omega1 &w omega2) = Phi^*(omega1) &w Phi^*(omega2) (**) for all forms omega1 and omega2 on N.  Pullback uses property (*), applied to 1-forms, together with (**) to calculate the pullback of an r-form.

• 

The Pullback command can be applied to a list of differential forms.

• 

This command is part of the DifferentialGeometry package, and so can be used in the form Pullback(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-Pullback.

Examples

withDifferentialGeometry:

 

Example 1.

Calculate the pullback of the differential form omega1 with respect to the transformation Phi1 at the point p1 = [x = 1, y = 2]. Check this result using the Jacobian of Phi1.

DGsetupx,y,M:DGsetupu,v,w,N:

p1x=1,y=2

p1x=1,y=2

(1)

Φ1TransformationM,N,u=x+2y,v=3x+4y,w=5x+6y

Φ1u=x+2y,v=3x+4y,w=5x+6y

(2)

ω1vdu+wdv+udw

ω1duv+dvw+dwu

(3)

θ1PullbackΦ1,ω1

θ123x+32ydx+32x+44ydy

(4)

theta1_at_p1evalθ1,p1

theta1_at_p187dx+120dy

(5)

We check this last result against a direct computation using the Jacobian of Phi1. First calculate the coordinates of q1 = Phi1(p1) and evaluate omega1 at this point.

q1ApplyTransformationΦ1,p1

q1u=5,v=11,w=17

(6)

omega1_at_q1evalω1,q1

omega1_at_q111du+17dv+5dw

(7)

aVector[row]11,17,5

a11175

(8)

JTools:-DGinfoΦ1,JacobianMatrix

J123456

(9)

ba.J

b87120

(10)

The entries of b coincide with the components of theta1_at_p1.

 

Example 2.

The Pullback command can be applied to a list of differential forms.

PullbackΦ1,du,dv

dx+2dy,3dx+4dy

(11)

 

Example 3.

Express the function f and the 2-form omega2 in spherical coordinates.

DGsetupx,y,z,E3:DGsetupρ,θ,φ,Sp:

f2x2+y2+z2

f2x2+y2+z2

(12)

ω2evalDGzdx &w dyydx &w dz+xdy &w dz

ω2zdxdyydxdz+xdydz

(13)

Φ2TransformationSp,E3,x=ρcosθsinφ,y=ρsinθsinφ,z=ρcosφ

Φ2x=ρcosθsinφ,y=ρsinθsinφ,z=ρcosφ

(14)

simplifyPullbackΦ2,f2

ρ2

(15)

simplifyPullbackΦ2,ω2

sinφρ3dthetadphi

(16)
Sp > 

See Also

DifferentialGeometry

Pushforward

PushPullTensor

Transformation

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam