Rock Brentwood
Jun21-08, 05:00 AM
The issue of causal signature has importance for four major
applications:
* the design of more refined empirical tests to determine what the
spacetime signature actually is
* the retroactive development of classical theory (just to address the
question of how it would be done today)
* to formulate more generalized spacetime geometries where signature
may not be part of the background, but dynamically determined.
* to describe the transition from Lorentzian -> Euclidean signatures;
particularly, what happens on the boundary between the two.
For Lorentzian spacetimes, the metric g_{mn} and its dual g^{mn} have
signatures (+,-,-,-) or (-,+,+,+) depending on which author's
convention is adopted. For Euclidean spacetimes, the signature is (+,+,
+,+) or (-,-,-,-); and for Galilean spacetimes: g_{mn} has signature
(+,0,0,0), while g^{mn} is no longer the inverse of g_{mn} but has
signature (0,+,+,+).
(There is even an "Aristotlean" spacetime where g_{mn} has signature
(0,+,+,+) and g^{mn} the signature (+,0,0,0)).
The constitutive law for electromagnetism (and gauge theory) in their
present form are ill-suited for this purpose. However, it is possible
to repair the situation by generalizing electromagnetic theory into a
TWO parameter family of theories. One parameter V represents light
speed, the other c represents the invariant velocity. Necessarily,
this involves the inclusion of a reference velocity G.
Various limits recover the following:
* c -> infinity, V remains finite ... Maxwell's theory
* V -> c, c remains finite ... relativistic electrodynamics; i.e.,
Maxwell's theory as modified by Lorentz and later by Einstein and
Poincare'
* |G| -> V ... the answer to Einstein's question of what happens as
you "travel alongside a light beam".
* |G| -> infinity ... ??? (something weird)
In the limit V -> c, G becomes "superfluous" and drops out from
expressions ... EXCEPT if one first takes the |G| -> c limit!
It is "widely known" that gauge theory "has no Galilean limit". This
ramifies also to electromagnetism, though the comment is not properly
appreciated there. In the latter case what it means is that
permittivity (epsilon) is strictly relevativistic. This can be seen by
writing the Lorentz invariants in a suitable form:
I = 1/2 (E^2 - B^2 c^2), J = E.B, K = -I/c^2 = 1/2 (B^2 - (E/c)^2).
Assuming the dynamics for the field are given by a Lagrangian density
L, the electric displacement D and magnetic field strength H will be
the respective gradients:
D = dL/dE, H = -dL/dB.
If the Lagrangian is a function solely of the invariants, then one can
define
epsilon = dL/dI, theta = dL/dJ, mu = -dL/dK = (1/c)^2 (1/epsilon).
From these, one derives the following relations
D = epsilon E + theta B = (1/c)^2 (1/mu) E + theta B
H = epsilon c^2 B - theta E = (1/mu) B - theta E.
In the non-relativistic limit, as (1/c)^2 -> 0, the permittivity is
gone. One only has D = theta B, with no involvement of E.
A similar set of observations holds for gauge fields, though one can
recover SOME dependence on the E field for D by exploiting the cubic
Lorentz invariants. But the coupling coefficient, which plays the
analogous role to (epsilon) here by virtue of the correspondence 1/g^2
= epsilon c, would no longer be well-defined.
Yet, Maxwell wrote down a theory that was (at the time of the
treatise) Galilean. How? The answer is that Maxwell's field vectors A,
B, C (= J + dD/dt), D, E, F (= force density), H, I (= magnetization),
J ... which now has a gap where G used to be ... originally had a G.
That's the velocity with reference to the vacuum.
Making use of G, one can recover a semblance of the I invariant by
writing I' = (E + G x B)^2. Maxwell's epsilon is the derivative dL/
dI'.
Thus, the coefficients mu and epsilon are split off from one another.
In the "stationary" frame (G = 0), one has
D = epsilon E + theta B, H = (1/mu) B - theta E.
By stipulation, G transforms as a velocity, so when transforming to
the "moving" frame (non-zero G), one gets:
D = epsilno (E + G x B) + theta B,
H = (1/mu) B - theta (E + G x B) + epsilon G x (E + G x B).
The latter relation can then be written
B = mu (H - G x D) + (theta mu/epsilon) D.
Light speed becomes a SEPARATE parameter, V = 1/(mu epsilon).
This is the Galilean version of the Lorentz relations (with an extra
axial coefficient theta included for completeness).
This generalizes to other signatures. One starts out by adopting the
same relations as before for the "stationary" frame G = 0:
D = epsilon E + theta B, H = (1/mu) B - theta E
with
epsilon mu = (1/V)^2.
Upon Lorentz transformation to a non-zero G frame, this becomes
D = epsilon E + theta B
+ epsilon (c^2-V^2)/(c^2-G^2) Gx (B - GxE/c^2)
H = (1/mu) B - theta E +
+ epsilon (c^2-V^2)/(c^2-G^2) G x (E + GxB).
In the limit as c -> infinity, one recovers Maxwell's relations
D = epsilon E + theta B + epsilon G x B
H = (1/mu) B - theta E + epsilon G x (E + G x B).
In the limit as V -> c, G becomes superfluous, and one recovers the
Lorentz relations
D = epsilon E + theta B, H = (1/mu) B - theta E.
In the limit as |G| -> V, one gets the following
D = epsilon (E + G x (B - GxE/c^2) + theta B
H = (1/mu) B - theta E + epsilon G x (E + G x B).
Interestingly, this yields a non-trivial result even if one takes V =
c.
Finally, in the limit as |G| -> infinity, one recovers the relations:
D = epsilon E + theta B
+ epsilon (1-(V/c)^2) Gx (GxE)/G^2
H = (1/mu) B - theta E +
- epsilon c^2 (1-(V/c)^2) G x (GxB)/G^2.
However, taking V -> c, the G terms will drop out.
applications:
* the design of more refined empirical tests to determine what the
spacetime signature actually is
* the retroactive development of classical theory (just to address the
question of how it would be done today)
* to formulate more generalized spacetime geometries where signature
may not be part of the background, but dynamically determined.
* to describe the transition from Lorentzian -> Euclidean signatures;
particularly, what happens on the boundary between the two.
For Lorentzian spacetimes, the metric g_{mn} and its dual g^{mn} have
signatures (+,-,-,-) or (-,+,+,+) depending on which author's
convention is adopted. For Euclidean spacetimes, the signature is (+,+,
+,+) or (-,-,-,-); and for Galilean spacetimes: g_{mn} has signature
(+,0,0,0), while g^{mn} is no longer the inverse of g_{mn} but has
signature (0,+,+,+).
(There is even an "Aristotlean" spacetime where g_{mn} has signature
(0,+,+,+) and g^{mn} the signature (+,0,0,0)).
The constitutive law for electromagnetism (and gauge theory) in their
present form are ill-suited for this purpose. However, it is possible
to repair the situation by generalizing electromagnetic theory into a
TWO parameter family of theories. One parameter V represents light
speed, the other c represents the invariant velocity. Necessarily,
this involves the inclusion of a reference velocity G.
Various limits recover the following:
* c -> infinity, V remains finite ... Maxwell's theory
* V -> c, c remains finite ... relativistic electrodynamics; i.e.,
Maxwell's theory as modified by Lorentz and later by Einstein and
Poincare'
* |G| -> V ... the answer to Einstein's question of what happens as
you "travel alongside a light beam".
* |G| -> infinity ... ??? (something weird)
In the limit V -> c, G becomes "superfluous" and drops out from
expressions ... EXCEPT if one first takes the |G| -> c limit!
It is "widely known" that gauge theory "has no Galilean limit". This
ramifies also to electromagnetism, though the comment is not properly
appreciated there. In the latter case what it means is that
permittivity (epsilon) is strictly relevativistic. This can be seen by
writing the Lorentz invariants in a suitable form:
I = 1/2 (E^2 - B^2 c^2), J = E.B, K = -I/c^2 = 1/2 (B^2 - (E/c)^2).
Assuming the dynamics for the field are given by a Lagrangian density
L, the electric displacement D and magnetic field strength H will be
the respective gradients:
D = dL/dE, H = -dL/dB.
If the Lagrangian is a function solely of the invariants, then one can
define
epsilon = dL/dI, theta = dL/dJ, mu = -dL/dK = (1/c)^2 (1/epsilon).
From these, one derives the following relations
D = epsilon E + theta B = (1/c)^2 (1/mu) E + theta B
H = epsilon c^2 B - theta E = (1/mu) B - theta E.
In the non-relativistic limit, as (1/c)^2 -> 0, the permittivity is
gone. One only has D = theta B, with no involvement of E.
A similar set of observations holds for gauge fields, though one can
recover SOME dependence on the E field for D by exploiting the cubic
Lorentz invariants. But the coupling coefficient, which plays the
analogous role to (epsilon) here by virtue of the correspondence 1/g^2
= epsilon c, would no longer be well-defined.
Yet, Maxwell wrote down a theory that was (at the time of the
treatise) Galilean. How? The answer is that Maxwell's field vectors A,
B, C (= J + dD/dt), D, E, F (= force density), H, I (= magnetization),
J ... which now has a gap where G used to be ... originally had a G.
That's the velocity with reference to the vacuum.
Making use of G, one can recover a semblance of the I invariant by
writing I' = (E + G x B)^2. Maxwell's epsilon is the derivative dL/
dI'.
Thus, the coefficients mu and epsilon are split off from one another.
In the "stationary" frame (G = 0), one has
D = epsilon E + theta B, H = (1/mu) B - theta E.
By stipulation, G transforms as a velocity, so when transforming to
the "moving" frame (non-zero G), one gets:
D = epsilno (E + G x B) + theta B,
H = (1/mu) B - theta (E + G x B) + epsilon G x (E + G x B).
The latter relation can then be written
B = mu (H - G x D) + (theta mu/epsilon) D.
Light speed becomes a SEPARATE parameter, V = 1/(mu epsilon).
This is the Galilean version of the Lorentz relations (with an extra
axial coefficient theta included for completeness).
This generalizes to other signatures. One starts out by adopting the
same relations as before for the "stationary" frame G = 0:
D = epsilon E + theta B, H = (1/mu) B - theta E
with
epsilon mu = (1/V)^2.
Upon Lorentz transformation to a non-zero G frame, this becomes
D = epsilon E + theta B
+ epsilon (c^2-V^2)/(c^2-G^2) Gx (B - GxE/c^2)
H = (1/mu) B - theta E +
+ epsilon (c^2-V^2)/(c^2-G^2) G x (E + GxB).
In the limit as c -> infinity, one recovers Maxwell's relations
D = epsilon E + theta B + epsilon G x B
H = (1/mu) B - theta E + epsilon G x (E + G x B).
In the limit as V -> c, G becomes superfluous, and one recovers the
Lorentz relations
D = epsilon E + theta B, H = (1/mu) B - theta E.
In the limit as |G| -> V, one gets the following
D = epsilon (E + G x (B - GxE/c^2) + theta B
H = (1/mu) B - theta E + epsilon G x (E + G x B).
Interestingly, this yields a non-trivial result even if one takes V =
c.
Finally, in the limit as |G| -> infinity, one recovers the relations:
D = epsilon E + theta B
+ epsilon (1-(V/c)^2) Gx (GxE)/G^2
H = (1/mu) B - theta E +
- epsilon c^2 (1-(V/c)^2) G x (GxB)/G^2.
However, taking V -> c, the G terms will drop out.