CuriousKid said:
All four known fundamental forces can be described with fields.
Yes, but also they can (and oftern should) be described by other means. In particular, the EP suggests that gravitation isn't even a force, so that there are only three fundamental forces. I emphasize that this is not dictated by shear math/logic, but rather by experiment (beginning with Galileo, and continuing to this day). For example, a perfectly mathematical/logical equation for the motion of a particle under the influence of gravity can include terms (derived from the metric alone) that represent "genuine" gravitational force (i.e. violating EP, because the particle would not obey the geodesic equation). However, no such force term has been observed (so far as I am aware).
CuriousKid said:
Can anyone completely mathematically/rigorously define the equivalence principle, and NOT have it be violated by the differring trajectories of a charged and neutral particle?
What do you mean by "completely mathematically/rigorously define"? Can you give an example of a mathematical definition that is not complete and/or rigorous (of the EP or anything else), so that we have an idea what you would like to avoid? For instance, what is wrong with this statement of the Einstein EP from
An Introduction to General Relativity Spacetime and Geometry by Sean M. Carroll, Sec. 2.1, p. 50:
It is impossible to detect the existence of a gravitational field by means of local experiments.
Charged particles may behave differently than neutral particles; the Einstein EP makes no statement regarding this difference. The issue of the EP is whether a given particle, charged or not, behaves differently in a kinematically accelerating frame compared to a gravitational frame. Can a scientist do an experiment on the charged particle to determine that he/she is in a gravitational field rather than an accelerating rocketship?
However, I will admit this particular quote from the same source as above, Sec. 4.7, p. 177:
... the Principle of Equivalence is not a sacred physical law, nor is it even a mathematically rigorous statement;
But so what? That does not make it worthless. (For instance, that same author decided to write an entire textbook devoted to the consequences of the EP.)
atyy said:
The EP only applies to freely falling particles. A particle in its own field is acted on by its own field, so it is not freely falling.
No, this is not the issue (nor is it a correct statement, but freely falling particles probably do provide the most straightforward demonstration of the EP.)
atyy said:
General relativity is also in some sense a geometric theory.
In what sense is it not? My impression of GR is that of an extremely geometrical theory; the ultimate geometrical theory. It says, in essence, that a completely geometrical principle (the Bianchi identity) is equivalent to a completely physical principle (conservation of energy and momentum).
CuriousKid said:
How is it a matter of interpretation? Or better yet, how can a mathematical principle even be left to interpretation: is the EP really defined that poorly?
Why are you asking about a mathematical principle? What mathematical principle? The EP is
not a mathematical principle, it is a
physical principle. Even if you did conjure up some mathematical principle that you would call the EP, you cannot avoid the necessity of interpretation.
math ≠ physics
CuriousKid said:
... here is the definition of the weak EP from wikipedia
The trajectory of a point mass in a gravitational field depends only on its initial position and velocity, and is independent of its composition.
That is why I would expect a neutral particle and charged particle to have the same trajectory around a neutral gravitating body. But the EP misleads us here ...
Again, I don't know about the difference between the charged particle trajectory compared to the neutral particle trajectory, but it is not the EP that is misleading, it is wikipedia. I am aware of no form of the EP that compares two different objects. The weak EP imposes a proportionality between the inertial mass and gravitational response (gravitational mass) of
the same object. The Einstein EP imposes an equivalence between special relativity (Minkowski spacetime) and "small enough" regions of spacetime (that include gravity). The srong EP imposes an equivalence between gravitational energy and all other forms of energy. None of these principles imply a comparison between two different particles.
CuriousKid said:
The point is that a free falling frame is supposed to be locally equivalent to an inertial frame.
Do not underplay the "local" aspect. Radiation is not a local phenomenon (as I understand it), and I would argue that neither is a trajectory, only a tangent vector to a trajectory.
CuriousKid said:
Basically it looks like the EP fails for electrodynamics, and this is a reason some people give.
NO! I think that you are very confused by reading wikipedia. I love wikipedia; don't get me wrong. But, don't base your entire understanding on it, especially not of physics. I am not an expert, so I don't want to bluntly say, "wikipedia is wrong." But, I hope that some expert will chime in and say that, because the "EP" that you quoted from wikipedia
is worthless, in my opinion. It does not even mention locality, and it is restricted to a very small class of phenomena (in which I would declare the EP to be trivial).
Altabeh said:
... if charge was involved, then one would expect other perturbative forces acting on particle due to an electrical field it carries along so that this stuff is not GR anymore!
I don't think that you know what GR is. To suggest that E&M precludes GR is absurd. GR accommodates E&M quite well (e.g. by almost trivial use of the "comma to semicolon" rule that atyy aluded to in Post #3).
Ich said:
If you include backreaction from large distance, well, that's not local, so it doesn't concern the EP.
Backreaction has always confused me. Are you talking about the Abraham-Lorentz force? Can you explain why it is nonlocal?
Ich said:
It's the whole point of the EP that all objects behave exactly the same way, independent of composition.
That is not my understanding of the EP at all. My understanding is that the EP regards the (lack of) experimental distinction between gravity and acceleration. The EP only marginally refers to objects and compositions (i.e. regarding the most straighforward way to flasify the EP).
Altabeh said:
Even in small regions, one can't make a charged particle obey the general geodesic equations ...
What are you talking about? Are you just saying that a charged particle cannot be a free particle? That may be true, but it has nothing to do with the EP.
Altabeh said:
... so in GR they use something like a test particle to ignore qualities like charge and large sizes of particles to make the theory geometrically compatible with EP ...
They do not try to do this; it has been done, and now the result is GR. The EP was basically empirical, and GR was designed in order to accommodate this factual observation. There is nothing invalid about this; would you rather that a theory disagree with observation?
The test particles that you describe are still used in GR experiments, not in order to make GR compatible with the EP, but rather because the experimenters want a clean test of GR. (Yes, GR is still being tested.) Why would you want to complicate an experiment with undesirable influences that you know how to remove?
Altabeh said:
... taking the particle to have charge, due to Coulomb' law, would impose a very large electrical force compared to Newtonian gravitational force (if we are, for instance, freely falling towards Earth's surface) which leads to a large deviation from the path described by the geodesic equations around the target gravitating body!
You are contradicting yourself. An object that experiences "a very large electrical force compared to ... gravitational force" is, by definition,
not freely falling in the first place (not even approximately).
Altabeh said:
The general definition of EP only applies to particles idealized in some way ...
You have the issue quite backward. The
general definition of the EP has absolutely nothing to do with particles, but rather with very general laws of physics. Only specific consideration of the EP (such as in this thread) regard particles.
Mentz114 said:
I have always understood that the EP applies only to gravitational phenomena.
The weak and Einstein EPs apply to
all phenomena
except gravity! The strong EP includes gravity. However, that may be a bit confusing (in light of your following statements). To clarify, the EP regards any possible distinction that can be made by way of otherwise non-gravitational experiments if a gravitational field is replaced by an "equivalent" acceleration (or vice versa). This means that things like freefall are not phenomena to be tested under the weak or Einstein EP. Alternately things like gravitational waves can be considered under the strong EP, but not the weak nor Einstein EP I think.
Mentz114 said:
It starts with the equivalence of inertial and gravitational mass which means we can say that the effect of a gravitational field on a body is independent of the mass and composition of the body ( not test particles only, anything ).
Yes, that's the idea! (of the
weak EP)
Mentz114 said:
The difference between gravitational fields and EM is that there is free-fall in gravity but not in EM. So it's blindingly obvious that electrodynamics has no equivalent of the gravitational EP !
This is very confusing. I don't understand what you are getting at. That's not
the difference (from a modern perspective), but it is certainly a very important difference (from a historical perspective).
Mentz114 said:
It isn't possible to invoke the EP in situations where force fields are present ...
This is backwards. If no forces are present, then the EP is trivial (i.e. regards a comparison of flat empty space to itself).
Altabeh said:
... which can affect their motion along a path if in particular this path is a geodesic and the deviation is not negligible at all; then they won't follow geodesic ...
You are contradicting yourself again. If the path is a geodesic then it won't be a geodesic? What?
Altabeh said:
... EP has a completely gravitational origin and thus geometrical, ...
No, it does not. EP has a completely
empirical origin (see weak EP). It
developed into a geometrical idea (GR).
Altabeh said:
... where mostly photons are involved, EP isn't damaged unless the electromagnetic force is also dominant so it can curve the photon's path!
Please explain how an electromagnetic force can curve a photon's path. I am unfamiliar with this concept.
Mentz114 said:
The EP has nothing to say about 'deviations from geodesics due to EM forces' !
On the contrary, this is exactly the kind of situation to which the EP applies (nontrivially).
Mentz114 said:
Electrodynamics is written entirely in terms of inertial mass - so how can the EP have any relevance since it is concerned with the equality /non-equality of inertial and gravitational mass. The latter concept is missing entirely from electrodynamics.
Electrodynamics is written entirely without regard to mass at all. E&M could care less what kind of mass it is.
Mentz114 said:
... if we have an isolated charged body, does the field that permeates the space around have mass ? I think not.
I think so, but I cannot prove this to you (I can't think of an experiment that would test this in a satisfactorily pure form). The energy of the electric field is an abstraction in E&M that seems to be consistent with cases that can be observed (such as the energy in the field of two separated charges, or the energy stored in the electric field of a capacitor). Then, use the famous E=mc
2 to relate this energy to (inertial!) mass.
Mentz114 said:
I seem to remember now that there is an argument that some kind of energy will contribute to the gravitational mass but not to inertia ( or vice-versa), which would violate the EP, but those arguments are not supportable. I think the references atyy gave are of those type.
You are probably thinking of gravitational binding energy. The srong EP regards this. I have read that such a result would remain compatible with the far more popular "weak" and "Einstein" versions of the EP, but I appologize for my lack of reference on that.
bcrowell said:
Your characterization of the e.p. as a statement of local flatness is one that you often hear stated loosely, but if you take a look at the forms of the e.p. given in the Sotiriou paper, you'll see that it's not one of them.
What is the difference between that conception and the Einstein EP? Sorry, I haven't read the paper that you cited yet, so maybe my question is answered there. I'll give it a look.
bcrowell said:
If you want to use the e.p. for the one thing that it's really useful for, which is testing competing theories of gravity, ...
Which EP? For instance, the weak EP is certainly useful in simple freshman physics calculations where the mass "cancels out". I suppose that, where it is "useful", it is simply not recognized, but just taken for granted. Are you only considering a usefulness as it applies to cutting-edge physics (and probably not even the weak EP at all)?
bcrowell said:
Unless you talk about actual measurements, you can't state the e.p. in a model-independent way.
Well said. This pronounces the distinction between an "absolute rigorous mathematical definition" (i.e. clever tautology that still requires an ambiguous interpretation in order to be made useful) and a useful physical definition.
Mentz114 said:
The EP cannot fail in GR, because as you've said it is implicit. If the EP were to fail then the whole theory goes belly up ... Obviously there would no such thing as free-fall or inertial frames.
I basically agree with this. However, wouldn't we just call the new theory, with the modified geodesic equation, "GR"?
Mentz114 said:
... you would need a different set of Christoffel symbols for every 'geodesic', ...
This is not necessarily true. For instance, you can modify the trajectories by introducing contractions between the tangent vector and the Riemann tensor (i.e. add them to the geodesic equation).
Mentz114 said:
Without a coupling between EM and gravity, there will be no radiation or violation
I think that you have it backwards here, according to my interpretation of your punctuation. The "coupling" between E&M and gravity (in GR) is that gravity acts like an accelerating frame. Accelerating charge radiates. So, I claim that it is precisely this "coupling" that
saves, rather than violates, the EP. If, for instance, an accelerating charge radiates, but a charge in a gravitational field does not, then that would provide an experimental distinction between the accelerating frame and the gravitational frame, and thus violate the EP.
However, I do remain confused by the very concept of radiation in curved spacetime.