How are 1forms related to infinitesimal displacements?by pellman Tags: 1forms, displacements, infinitesimal 

#1
Mar1712, 07:07 PM

P: 565

Consider a point p in a manifold with coordinates [tex]x^\alpha[/tex] and another point nearby with coordinates [tex]x^\alpha + dx^\alpha[/tex] where dx are infinitesimal or arbitrarily small. Suppose we have a function f on this manifold. Then we can write
[tex]df=f(x^\alpha + dx^\alpha)f(x^\alpha)=\partial_\mu f dx^\mu[/tex] Notationally this is identical to the expression for the d operator acting on the scalar function f to give the 1form [tex]df=\partial_\mu f dx^\mu[/tex] where the dx^mu here are the coordinate basis of the 1forms at p. Surely the similarity in notation is meaningful in some way. But how? Now I can easily repeat back to you the definition of a tangent vector as a map from functions on the manifold to real numbers, and the definition of 1forms as the dual space to the tangent space. But I can't see the conceptual relationship to small displacements. Furthermore, since tangent vectors at a point p can also be thought of as directional derivatives to curves passing through p, visually it is tangent vectors which seem to me more like small displacements, rather than their dual the 1forms. 



#2
Mar2312, 06:25 AM

P: 565

Well, since 400 people looked at this thread, there must be some mildly curious, so I will share what I have so far.
There is a relationship between the two expressions above. Let the product of a 1form omega and a vector X be written [tex]<\omega,X>= \omega_\mu X^\mu [/tex] Suppose we have a parametrized curve whose tangent vector at t is X. If the coordinates of the curve at t are x^mu, then the components of X at t are dx^mu/dt. Given a function f at x^mu, we have [tex]<\text{d}f,X>=\partial_\mu f X^\mu = \frac{\partial f}{\partial x^\mu}\frac{dx^\mu}{dt} =\frac{df}{dt}[/tex] We get even closer if X, instead of having components dx^mu/dt, simply has components dx^mu: [tex]<\text{d}f,X>=<\partial_\nu f \text{d}x^\nu,dx^\mu\partial_\mu>=\partial_\mu f dx^\mu = \frac{\partial f}{\partial x^\mu}dx^\mu=df[/tex] where df on the RHS is the small change in f described in the OP. Readers are invited to expound on the conceptual significance. I don't get it yet myself. 



#3
Mar2312, 11:19 AM

P: 1,023

Some one forms ("exact" 1forms) are essentially gradients of functions. So they just describe the linearization of a function at a point. Just as in ordinary 1variable calculus, if you have take a derivative, you could think of it as making an infinitesimal displacement dx, and in response df, which is an infinitesimal displacement. But if you want to think of the df as a 1form, the df is now a linear functional on the tangent space, so it's a bit different. Now, to get the infinitesimal displacement that was df in ordinary calculus, you have to evaluate the 1form df on the tangent vector that you are displacing by.
But not all 1forms are the exterior derivative of some function. Thus, you can't really think of them as always having to do with infinitesimal displacements, as I discussed above. However, if you think of tangent vectors as infinitesimal displacements, then one forms are just linear functions whose domain is the vector space of infinitesimal displacements. One definition of a tangent vector, the one you mentioned, is all the "directional derivatives" at a point. But there are other equivalent definitions, some of which more closely resemble the idea of infinitesimal displacements. I have to go, so I can't get into it right now. 



#4
Mar2312, 06:30 PM

Emeritus
Sci Advisor
PF Gold
P: 16,101

How are 1forms related to infinitesimal displacements?I like the very suggestive notation "P+v" for the tangent vector v at the point P. The biggest reason is because you have this formula: [tex]f(P + v) = f(P) + f'(P) v[/tex](well, technically, I should have written [itex]f_*(P+v)[/itex] for the left hand side. But if I'm using this notation, I prefer just using f) If the x's are scalar fields denoting coordinate functions on your manifold, then the dx's can be thought of coordinate functions on the tangent spaces. Recall, even in the general vector space setting, that the function that returns the nth coordinate of a vector (relative to a chosen basis) is a covector. (and conversely, for any nonzero covector, you can find a basis that it is a coordinate function for) 



#5
Mar2612, 05:23 AM

P: 565

Thanks for the info, guys.




#6
Sep1212, 08:24 PM

P: 128





#7
Sep1212, 08:45 PM

P: 1,023





#8
Sep1312, 04:56 AM

P: 128

Anyway, my objection is that people/textbooks (especially nonmathematicians) don't bother to explain the difference. 


Register to reply 
Related Discussions  
derive the displacements movable pulleys.  Introductory Physics Homework  3  
Displacements of a body in Equilibrium  Mechanical Engineering  6  
Castigliano's method for calculating displacements  Engineering, Comp Sci, & Technology Homework  1  
Velocity Time graphs and Displacements  Introductory Physics Homework  3  
Finding volumes from infinitesimal displacements  Calculus & Beyond Homework  1 