Newtonian force as a covariant or contravariant quantity

In summary, the conversation discusses the concept of force and its relationship to vectors and dual vectors in the context of Newtonian mechanics. This idea is presented by Burke in his book called Div, Grad, and Curl are Dead. It is mentioned that force is a 1-form and dual to vectors, which is supported by the statement that energy is a scalar and displacement is a contravariant vector. However, there is some disagreement about whether energy is truly a scalar or a scalar density. The conversation also touches on the issue of symmetry between vectors and their duals and the role of a metric in writing Newton's Second Law. Finally, it is mentioned that while the dual space of \mathbb{R}^{3} is isomorphic
  • #1
bcrowell
Staff Emeritus
Science Advisor
Insights Author
Gold Member
6,724
431
I recently came across a very cool book called Div, Grad, and Curl are Dead by Burke. This is apparently a bit of a cult classic among mathematicians, not to be confused with Div, Grad, Curl, and All That. Burke was killed in a car accident before he could put the book in final, publishable form, but it can be found in various places online, e.g., on scribd.com. At the beginning of section 12, in the context of Newtonian mechanics, he says,

We now come to the first surprise. Force is not a vector, but a 1-form. The most direct way to see this is to think of the work done by a force. Force is the operator that takes in a displacement, a vector, and tells you how much work was done. This makes forces dual to vectors, i.e., 1-forms.

In the language of Einstein-style index gymnastics, applied in a nonrelativistic context, this amounts to a statement that energy is a scalar, and displacement is a contravariant (upper-index) vector, so force should naturally be considered as a covariant (lower-index) vector.

The first thing I'm unsure about here is whether energy is really a scalar in the context of nonrelativistic mechanics, if "scalar" is taken to have its full Einstein-style interpretation of "invariant under any change of coordinates." Doesn't nonrelativistic energy change when you rescale your coordinates, implying that it's a scalar density rather than a true scalar? (After all, in relativity, rescaling coordinates changes all the components of the energy-momentum tensor, which means it changes the mass-energy.)

The second thing that bugs me is that if you were to reason from Newton's second law, it seems like you would "naturally" conclude the opposite, that force is a contravariant vector.

If we follow the usual but arbitrary convention of saying that upper indices are used for distances measured on a ruler, then this breaks the otherwise perfect symmetry between vectors and their duals. It then seems clear that things like velocity, which can be obtained by differentiation with respect to a scalar, should also take upper indices (be contravariant). But I'm less convinced that this then breaks the duality symmetry in the case of Newtonian force, or a relativistic quantity like the stress-energy tensor...?
 
Physics news on Phys.org
  • #2
I think here when we talk about [itex]W({x}) = \int_{{x_{0}}}^{{x}}F_{i}dx^{i}[/itex] being a scalar, it just means it is a real valued function defined on the image of the curve that the particle is traveling on and not necessarily a coordinate invariant quantity. Note, regarding your second point if I understood the question correctly, that when we are dealing with [itex]\mathbb{R}^{n}[/itex], the dual vectors and vectors are naturally identified.
 
  • #3
A similar but slightly different example...

This WP article http://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors says,

Examples of vectors with contravariant components include the position of an object relative to an observer, or any derivative of position with respect to time, including velocity, acceleration, and jerk.

But if I follow Burke's philosophy that work is obviously a scalar, then power should be a scalar as well. If there is only one force acting on a particle of mass m, then the power is given by [itex]P=m a\cdot v[/itex]. This implies that a and v can't both naturally be contravariant as claimed by WP.
 
  • #4
Yes if you write it in that form i.e. [itex]P = ma_{i}v^{i}[/itex] then the acceleration shows up as a co - vector but if we are talking about particles moving in [itex]\mathbb{R}^{3}[/itex], the dual space of [itex]\mathbb{R}^{3}[/itex] IS [itex]\mathbb{R}^{3}[/itex] so it isn't wrong to also say it is a vector if we are just talking about euclidean space with the canonical basis.
 
  • #5
WannabeNewton said:
I think here when we talk about [itex]W({x}) = \int_{{x_{0}}}^{{x}}F_{i}dx^{i}[/itex] being a scalar, it just means it is a real valued function defined on the image of the curve that the particle is traveling on and not necessarily a coordinate invariant quantity. Note, regarding your second point if I understood the question correctly, that when we are dealing with [itex]\mathbb{R}^{n}[/itex], the dual vectors and vectors are naturally identified.

What you're saying seems sensible, but it would seem to completely contradict the statements by Burke and in the WP article to the effect that this quantity or that quantity "is" covariant or contravariant. That is, they seem to be claiming that the natural identification provided by duality is not so natural.

As a side issue, I'm not sure what you mean by "when we are dealing with [itex]\mathbb{R}^{n}[/itex]." As far as I can see, we're always dealing with a tangent space on a manifold, which is always isomorphic to [itex]\mathbb{R}^{n}[/itex]. Whenever you have a vector space, you can make duals of vectors.
 
  • #6
I think power is [tex]F_a v^a[/tex].
I think that to write Newton's Second Law with acceleration,
one needs a metric: [tex]F_a =mg_{ab}a^{b}[/tex].

Using momentum (thought of as a covector), the Second Law is
[tex]F_a= \frac{d}{dt} p_a [/tex]
 
  • #7
WannabeNewton said:
the dual space of [itex]\mathbb{R}^{3}[/itex] IS [itex]\mathbb{R}^{3}[/itex]

I don't think this is true. They're isomorphic, but not the same. An element of [itex]\mathbb{R}^3[/itex] is a 3-tuple of real numbers. An element of its dual space is a linear function. Physically, elements of the two spaces have different transformation properties.
 
  • #8
robphy said:
I think power is [tex]F_a v^a[/tex].
I think that to write Newton's Second Law with acceleration,
one needs a metric: [tex]F_a =mg_{ab}a^{b}[/tex].

Sure. If we assert complete symmetry between vectors and their duals, then the whole issue becomes a non-issue. But both Burke and the WP article seem to be asserting that the symmetry is not complete, and that there is some mode of reasoning that tells you which form is preferred, covariant or contravariant, for a given physical quantity.
 
  • #9
bcrowell said:
I don't think this is true. They're isomorphic, but not the same. An element of [itex]\mathbb{R}^3[/itex] is a 3-tuple of real numbers. An element of its dual space is a linear function.
Hi ben yes strictly they are not equal but their vector space structures are identical so for all practical purposes they are the same. For vector spaces over the reals, of with which we are concerned with, we can readily go from a vector to a corresponding dual vector via the Riesz representation so why should there be some a priori preference for saying say force must be co - vector as opposed to a vector: is that what is being asked?
 
Last edited:
  • #10
I recently came across a very cool book called Div, Grad, and Curl are Dead by Burke.
Bill was a remarkable person, and one of my best friends. His biography is here.
 
  • #11
WannabeNewton said:
Hi ben yes strictly they are not equal but their vector space structures are identical so for all practical purposes they are the same. For vector spaces over the reals, of with which we are concerned with, we can readily go from a vector to a corresponding dual vector via the Riesz representation so why should there be some a priori preference for saying say force must be co - vector as opposed to a vector: is that what is being asked?

If that is the question, then the answer is easy: because you want to define line integrals.

The entire reason for defining 1-forms is to be able to take line integrals. A line integral should only ever be defined on 1-forms (or differential forms). Taking line integrals of vector fields is done in practice, but is not a good standard.

So there is a reasonable process to decide whether something should be a 1-form or a vector. The question you should ask: do you intend to take line integrals of your object? If the answer is yes, then you are dealing with a 1-form.

Since taking line integrals of force fields is something that is very common, this is an explanation of why force should be a 1-form and not a vector.
 
  • #12
Just to add to this, Bergmann, in his 1942 book on SR+GR, treated force as a covariant vector, and velocity and 4-acceleration as contravariant vectors. 4-momentum was treated inconsistently, sometimes contravariant, sometimes covariant.
 
  • #13
PAllen said:
Just to add to this, Bergmann, in his 1942 book on SR+GR, treated force as a covariant vector, and velocity and 4-acceleration as contravariant vectors. 4-momentum was treated inconsistently, sometimes contravariant, sometimes covariant.
Just to further add on to this PAllen if you don't mind =D, Soper in his text on classical field theory also defines force as a one form and you can see it in the tensorial nature of the euler lagrange equations which are one - form equations.
 
  • #14
Bill_K said:
Bill was a remarkable person, and one of my best friends. His biography is here.

I really like the book, and it's a shame that it seems to have been condemned to this sort of dusty junk-shop existence on the internet. Do you have any idea whether his heirs (Violet John?) would be interested in seeing it spiffed up and distributed for free under a creative commons license? I'd been thinking of making inquiries, but didn't know who to contact initially, was thinking maybe his colleagues at UCSC.
 
  • #15
This point of view about force as a 1-form appears in Burke's
Applied Differential Geometry and in Spacetime, Geometry, Cosmology.
A related article is a J.Math Phys article on Twisted Differential Forms for Electromagnetism ( http://dx.doi.org/10.1063/1.525603 )

see also
http://www.ucolick.org/~burke/home.html

Earlier sources include Schouten's Tensor Analysis for Physicists.

Momentum as a covector seems natural from a Hamiltonian Mechanics viewpoint.


...all of this talk is nudging me to get back to a project of mine to visualize tensors and differential forms.
 
  • #16
robphy said:
Momentum as a covector seems natural from a Hamiltonian Mechanics viewpoint.
Here I think it is more strictly required than seen as one possible viewpoint in order for the phase space to be the cotangent bundle to the configuration space manifold. Unlike this case that you mentioned, in GR I find it hard to keep track of quantities that are naturally taken to be one - forms or vectors in the context of index based computations because one freely uses the metric tensor to go form one to the other.
 
  • #17
WannabeNewton said:
Here I think it is more strictly required than seen as one possible viewpoint in order for the phase space to be the cotangent bundle to the configuration space manifold. Unlike this case that you mentioned, in GR I find it hard to keep track of quantities that are naturally taken to be one - forms or vectors in the context of index based computations because one freely uses the metric tensor to go form one to the other.

In typical presentations of GR or other subjects, there is little attention paid
to what fundamental structures (e.g. metric, volume-form, connection, etc...)
are being used in a construction or calculation.

So, we have this blurring of whether something is naturally a vector, covector (one-form), or maybe even a bivector or two-form. This is especially true when one deals with a space (e.g. Minkowski space or Euclidean space) with lots of symmetries.

The references by Burke and Schouten (and others) try to tease out what could be the fundamental structures... For example, there is work on metric-independent formulations of electromagnetism... where, e.g., the magnetic field is fundamentally a two-form. Then, only with additional structure, can it be thought of as an axial-vector [in three spatial dimensions].I actually like the [abstract-]index computations because they help me keep track of
what kinds of objects I am dealing with. Ideally, it would be nice to a have a geometrical picture
to go along with the computations to suggest what is physically going on.
 
Last edited:
  • #18
robphy said:
Using momentum (thought of as a covector), the Second Law is
[tex]F_a= \frac{d}{dt} p_a [/tex]

I think this is the most sensible answer, and eliminates the discrepancy. Force is a covector in every place it appears. Momentum is naturally a covector, being canonically conjugate to position.

What is missing from this picture is how you relate velocity and momentum. Incidentally, this is exactly the same question as relating Lagrangian to Hamiltonian dynamics. At some point you are forced to identify the tangent and cotangent bundles. Luckily there is a canonical way to do so.
 
  • #19
Ben Niehoff said:
What is missing from this picture is how you relate velocity and momentum. Incidentally, this is exactly the same question as relating Lagrangian to Hamiltonian dynamics. At some point you are forced to identify the tangent and cotangent bundles. Luckily there is a canonical way to do so.

Wondering if you know of anything better than: Oh, we want momentum to be a covector derived from 4 velocity, so take m times 4-velocity and make it a covector with the metric. In one variation or another, that's what I've seen, and it has seemed a bit artificial to me.
 
  • #20
robphy said:
I actually like the [abstract-]index computations because they help me keep track of
what kinds of objects I am dealing with. Ideally, it would be nice to a have a geometrical picture
to go along with the computations to suggest what is physically going on.
I find this is true in the symplectic geometry based classical mechanics class I'm taking because here the index free approach really has more geometric insight and is extremely elegant. In the GR books I've seen the index based computations tend to cloud it but these calculations have a certain flair of their own: who doesn't like writing down a large mess of co variant derivatives ;)
 
  • #21
This is a very interesting topic. In Newtonian physics, there are two different ways to define "force":

  1. [itex]F^i = m \dfrac{dU^i}{dt}[/itex], where [itex]U[/itex] is velocity/
  2. [itex]F_i = -\partial_j \Phi[/itex], where [itex]\Phi[/itex] is potential energy.

The first would lead you to think of force as a vector, and the second would lead you to think that it is a co-vector. From experience with General Relativity, one learns to suspect that if there is a confusion between vectors and co-vectors, then that means the metric tensor is secretly at work. Using the metric tensor [itex]g_ij[/itex] you can certainly resolve the tension by writing:

[itex] m g_{ij} \dfrac{dU^i}{dt} = F_j[/itex]

But that's a little unsatisfying, because there is a sense in which there is no metric tensor for Newtonian physics. Why do I say that? Well, if you formulate Newtonian physics on Galilean spacetime, there are two different notions of distances between points:
  1. The time between events.
  2. For events taking place at the same time, the distance between events.

The latter notion of distance between events is undefined in Galilean spacetime for two events that are not simultaneous. So that makes me wonder: what is the covariant notion of spatial distance in Galilean spacetime? It's not a tensor, so what is it?
 
  • #22
stevendaryl said:
This is a very interesting topic. In Newtonian physics, there are two different ways to define "force":

  1. [itex]F^i = m \dfrac{dU^i}{dt}[/itex], where [itex]U[/itex] is velocity/
  2. [itex]F_i = -\partial_j \Phi[/itex], where [itex]\Phi[/itex] is potential energy.

The first would lead you to think of force as a vector, and the second would lead you to think that it is a co-vector. From experience with General Relativity, one learns to suspect that if there is a confusion between vectors and co-vectors, then that means the metric tensor is secretly at work. Using the metric tensor [itex]g_ij[/itex] you can certainly resolve the tension by writing:

[itex] m g_{ij} \dfrac{dU^i}{dt} = F_j[/itex]

But that's a little unsatisfying, because there is a sense in which there is no metric tensor for Newtonian physics. Why do I say that? Well, if you formulate Newtonian physics on Galilean spacetime, there are two different notions of distances between points:
  1. The time between events.
  2. For events taking place at the same time, the distance between events.

The latter notion of distance between events is undefined in Galilean spacetime for two events that are not simultaneous. So that makes me wonder: what is the covariant notion of spatial distance in Galilean spacetime? It's not a tensor, so what is it?

In Newton-Cartan theory, which is a covariant formulation of Newtonian gravity, I am not sure what happens to the spatial metric tensor. How is F = ma expressed in Newton-Cartan theory, or is it only a theory of pure gravity, no non-gravitational forces?
 
  • #23
stevendaryl said:
But that's a little unsatisfying, because there is a sense in which there is no metric tensor for Newtonian physics.
There is always a metric tensor; it is just a 3D tensor for doing 3D vectors and covectors. Consider doing Newtonian physics in spherical coordinates. You still need the metric to tell you how to translate your coordinates into distances. The only difference is that time is not a coordinate but a parameter.
 
  • #24
DaleSpam said:
There is always a metric tensor; it is just a 3D tensor for doing 3D vectors and covectors. Consider doing Newtonian physics in spherical coordinates. You still need the metric to tell you how to translate your coordinates into distances. The only difference is that time is not a coordinate but a parameter.

In Newtonian physics, time is both a coordinate and a parameter. It's a coordinate, because just as in SR, it takes 4 numbers to locate something in Galilean spacetime.
 
  • #25
stevendaryl said:
In Newtonian physics, time is both a coordinate and a parameter. It's a coordinate, because just as in SR, it takes 4 numbers to locate something in Galilean spacetime.

But I've never seen velocity, momentum, or force treated as anything but 3-vectors in Newtonian mechanics; and there is no 4-dim metric at all (and can't be). However, the despite that, the general issue remains of a good set of arguments for velocity as a vector, momentum and force as covectors. Cartesian coordinates in flat space it doesn't matter, so is generally ignored. But in polar coordinates, it would matter even in Newtonian mechanics.
 
  • #26
stevendaryl said:
In Newtonian physics, time is both a coordinate and a parameter. It's a coordinate, because just as in SR, it takes 4 numbers to locate something in Galilean spacetime.

It's actually interesting to formulate force-free motion in Galilean spacetime covariantly:

[itex]\dfrac{dU^i}{dt} + \Gamma^i_{jk} U^j U^k = 0[/itex]

This works in all coordinate systems, including accelerated, rotating and curvilinear. But to work, you need a [itex]U^0[/itex], which is, the time component of velocity. That is, [itex]U^0 = \dfrac{d x^0}{dt}[/itex], where [itex]x^0[/itex] is coordinate time, and [itex]t[/itex] is Newtonian universal time. Of course, you can always choose your time coordinate to be equal to [itex]t[/itex], in which case, [itex]U^0 = 1[/itex]. But [itex]U^0[/itex] plays a role in the equations of motion, if you use accelerated or curvilinear coordinates.

  • [itex] \Gamma^i_{00} U^0 U^0[/itex] gives rise to the "g" force due to using an accelerated coordinate system.
  • [itex]\Gamma^i_{0j} U^0 U^j[/itex] gives rise to the Coriolis force.
  • [itex]\Gamma^i_{jk} U^j U^k[/itex] gives rise to the Centrifugal force.

Using time as a coordinate unifies these three types of "fictitious" forces, and all three can be seen to be manifestations of the connection coefficients [itex]\Gamma^\mu_{\nu \lambda}[/itex]
 
  • #27
stevendaryl said:
It's actually interesting to formulate force-free motion in Galilean spacetime covariantly:

[itex]\dfrac{dU^i}{dt} + \Gamma^i_{jk} U^j U^k = 0[/itex]

This works in all coordinate systems, including accelerated, rotating and curvilinear. But to work, you need a [itex]U^0[/itex], which is, the time component of velocity. That is, [itex]U^0 = \dfrac{d x^0}{dt}[/itex], where [itex]x^0[/itex] is coordinate time, and [itex]t[/itex] is Newtonian universal time. Of course, you can always choose your time coordinate to be equal to [itex]t[/itex], in which case, [itex]U^0 = 1[/itex]. But [itex]U^0[/itex] plays a role in the equations of motion, if you use accelerated or curvilinear coordinates.

  • [itex] \Gamma^i_{00} U^0 U^0[/itex] gives rise to the "g" force due to using an accelerated coordinate system.
  • [itex]\Gamma^i_{0j} U^0 U^j[/itex] gives rise to the Coriolis force.
  • [itex]\Gamma^i_{jk} U^j U^k[/itex] gives rise to the Centrifugal force.

Using time as a coordinate unifies these three types of "fictitious" forces, and all three can be seen to be manifestations of the connection coefficients [itex]\Gamma^\mu_{\nu \lambda}[/itex]

Well, you can have a connection without a metric, not something I'm very used to. I maintain that a 4-metric for Newtonian physics is not logically possible. The geometric structure has completely independent spatial invariants; and physical clock time is taken to be invariant.
 
  • #28
PAllen said:
But I've never seen velocity, momentum, or force treated as anything but 3-vectors in Newtonian mechanics;

That's what Newton-Cartan theory does. Treating velocity as a 4-vector is very nice, as I said in another post, because it unifies three types of "fictitious forces" that appear in Newtonian physics when you use accelerated or curvilinear coordinates: "g" forces, Centrifugal forces, and Coriolis forces. All three can be seen as manifestations of connection coefficients.

But I'm not sure how non-gravitational forces fit in.

and there is no 4-dim metric at all (and can't be).

Yes, that was my point. So I wonder what becomes of the spatial metric in Newton-Cartan theory. It can't be a metric, so what is it? How are non-gravitational forces and momentum treated in Newton-Cartan theory, I wonder.

However, the despite that, the general issue remains of a good set of arguments for velocity as a vector, momentum and force as covectors. Cartesian coordinates in flat space it doesn't matter, so is generally ignored. But in polar coordinates, it would matter even in Newtonian mechanics.
 
  • #29
PAllen said:
Well, you can have a connection without a metric, not something I'm very used to. I maintain that a 4-metric for Newtonian physics is not logically possible. The geometric structure has completely independent spatial invariants; and physical clock time is taken to be invariant.

A connection is more general than a metric. You're right, there is no 4-metric in Newtonian physics. That's what I said in my first post.
 
  • #30
One could say that the analogue of the Lorentz-signature 4-metric in Newtonian physics is degenerate (non-invertible) with signature (+000) ... applicable for timelike components. So, one needs a second (also-degenerate) contravariant (indices-up) metric with signature (0---) or (0+++) for the spacelike components, as well as specification of a connection that is compatible with this pair of degenerate 4-metrics.Check out Malament's formulation
www.socsci.uci.edu/~dmalamen/bio/papers/GRSurvey.pdf#page=37
 
Last edited:
  • #31
stevendaryl said:
In Newtonian physics, time is both a coordinate and a parameter. It's a coordinate, because just as in SR, it takes 4 numbers to locate something in Galilean spacetime.
That certainly doesn't obviate the need for a metric. Whether you are doing a typical space+time or a more exotic Galilean spacetime, either way you still need a metric.

In any case, I am pretty sure that the topic of the thread is 3D vectors and covectors with their corresponding 3D metric tensors.
 
  • #32
PAllen said:
But I've never seen velocity, momentum, or force treated as anything but 3-vectors in Newtonian mechanics; and there is no 4-dim metric at all (and can't be). However, the despite that, the general issue remains of a good set of arguments for velocity as a vector, momentum and force as covectors.
It is done implicitly because when you have a line integral like this [itex]W = \int_{\gamma }F_{i}dx^{i}[/itex] you must integrate with a one - form otherwise the line integral won't make sense. On top of that if we have that [itex]dF = 0[/itex] i.e. [itex]\partial _{i}F_{j} = \partial _{j}F_{i}[/itex] we conclude as always that [itex]F = d\varphi[/itex] i.e. [itex]F_{i} = \partial _{i}\varphi [/itex] for some smooth scalar field (of course in general this relationship between closed and exact one - forms is local but this is physics =D) so it makes sense to talk about force as being a co - vector naturally. As for momentum, outside of the symplectic geometry formulation of classical mechanics I cannot see immediate why it would naturally be associated with a co - vector in say GR.
 
  • #33
DaleSpam said:
That certainly doesn't obviate the need for a metric. Whether you are doing a typical space+time or a more exotic Galilean spacetime, either way you still need a metric.

In any case, I am pretty sure that the topic of the thread is 3D vectors and covectors with their corresponding 3D metric tensors.

I actually think the interface between relativistic and nonrelativistic physics is an interesting way of trying to get to the bottom of these issues. But reasoning from relativity to the nonrelativistic limit can be surprisingly subtle. For instance, you can get weird stuff like "Carroll kinematics" http://arxiv.org/abs/1112.1466 , and the fact that there are two different classical limits of electromagnetism http://arxiv.org/abs/physics/0512200 . I'm used to thinking about tensors in the GR context where the theory has an extremely high degree of symmetry (between time and space, and with respect to any change of coordinates), so it's hard to adjust to the Galilean situation, which lacks these symmetries (or lacks them unless you go to some formalism like Newton-Cartan, which I'm not familiar with).

Some thoughts that may or may not be helpful:

In 1+1-dimensional SR, with the usual (t,x) coordinates, expressed in units with [itex]c\ne1[/itex], we have, up to an arbitrary constant, [itex]g_{\mu\nu}=\operatorname{diag}(1,-c^{-2})[/itex] and [itex]g^{\mu\nu}=\operatorname{diag}(1,-c^{2})[/itex]. In the limit [itex]c\rightarrow\infty[/itex], we get a degenerate lower-index metric [itex]g_{\mu\nu}=\operatorname{diag}(1,0)[/itex], and since that's not invertible there's nothing to stop us from saying that the upper-index version is not [itex]g^{\mu\nu}=\operatorname{diag}(1,-\infty)[/itex] but [itex]g^{\mu\nu}=\operatorname{diag}(0,-1)[/itex]. So the lower- and upper-index metrics represent completely separate timelike and spacelike metrics. The result of measuring a vector with the lower-index metric is invariant under galilean transformations, but the result from the upper-index one isn't invariant unless the timelike part is zero. Some types of vectors, such as displacements along the world-line of an observer, are always timelike and therefore never have a frame-independent "upper-index magnitude" (i.e., spatial length). Raising and lowering of indices are in general noninvertible operations.

This setup has a lot of objectionable features, such as the degeneracy of the metric, but if you are willing to take it seriously, then it definitely doesn't make sense to say that coordinate displacements are naturally upper-index vectors. Time and mass-energy want to be upper-index vectors (so that you can measure them), while distance and momentum want to be lower-index vectors.
 
Last edited:
  • #34
bcrowell said:
I actually think the interface between relativistic and nonrelativistic physics is an interesting way of trying to get to the bottom of these issues. But reasoning from relativity to the nonrelativistic limit can be surprisingly subtle.

Yes, this is the approach I use.
With a loss of symmetry of some kind, see what you can still accomplish.
It can then be argued that those accomplishments are in some sense more fundamental when formulated in a way that does not use that symmetry.

Yes, one has to take care with how one takes a non-relativistic limit.
As you probably know, it's not sending every "c" to infinity.

[slightly off topic] Here is an interesting paper
http://dx.doi.org/10.1119/1.12239
"If Maxwell had worked between Ampère and Faraday: An historical fable with a pedagogical moral" by Jammer and Stachel (1980)
...which discusses how you can re-order the history of EM to see a Galilean-invariant theory along the way... then be forced into a Lorentz-invariant one. The idea is based on the paper by Le Bellac and Levy-Leblond.
 
Last edited:
  • #35
WannabeNewton said:
As for momentum, outside of the symplectic geometry formulation of classical mechanics I cannot see immediate why it would naturally be associated with a co - vector in say GR.

Borrowing ideas from quantum mechanics,
maybe we should think of momentum
like the wave-[co]vector [itex]k_a=\nabla_a \phi[/itex], which is the gradient of a phase [i.e. the exterior derivative of a scalar field].

Here's another possible way to think about things.
(I don't have an answer to this way of thinking about it... I'm just thinking out loud.)

It seems natural to think of an observer as [itex]t^a[/itex], a tangent vector to a future-timelike curve.
Given a particle somehow described by its 4-momentum, what is the energy of that particle according to our observer?
Is it [itex]t^a p_a[/itex] or [itex]t^a g_{ab} p^b[/itex]?
From a physical / theory-of-measurement point of view,
do we need to use a metric to determine the energy of a particle
(apart from possibly normalizing the observer's tangent vector [itex]t^a[/itex])?Finally... here's is an ancient thread on this question of the 4-momentum as a covector
https://www.physicsforums.com/showthread.php?t=135193
which didn't resolve the issue.
 
Back
Top