Beruflich Dokumente
Kultur Dokumente
Ricardo S. Vieira
Departamento de Fsica, Universidade Federal de So Carlos (UFSCar), So Carlos, Brasil
arXiv:1112.4187v2 [physics.gen-ph] 12 Jan 2012
1
Big-Bang. In this way nobody had to speed them up inertial coordinate system. The movement of a particle
they just were born already with a greater than light can be represented by a continuous curve a straight
speed. line in the case of a free particle , which we shall call
Moreover, we can not rule out the possibility that the world-line of the particle. In particular, the velocity
such particles might be created through some quan- of a particle with respect to a given frame of reference,
tum process, analogous for instance to the process of say R, is determined by the direction of the particles
creation of particle-antiparticle pairs. world-line with respect to the time-axis of the inertial
Finally, if we associate a complete isotropy and ho- coordinate system associated with R. Similarly, the
mogeneity to the space-time, then it follows that none relative velocity v between two frames R and R is de-
of their directions should be privileged with respect to termined by the direction of the time-axis of R with
the others and thus the existence of faster than light respect to that of R and a change of reference turns out
particles would naturally be expected instead of be re- to be, in this geometric description, a mere hyperbolic
garded as surprising. It is not the possibility of exis- rotation2 of the coordinate axes.
tence of tachyons which requires explanation, on the From these assumptions presented above, the theory
contrary, an explanation must to be given in the case of relativity can be fully formulated. In particular, we
of these particles do not exist. point out that from these assumptions we can deduce
the principle of invariance of the speed of light (at least
in two dimensions). Indeed, the simple fact that the
2 On the space-time structure geometry of space-time is hyperbolic implies the exis-
tence of a special value of velocity which appears to
As is known, the formulation of the theory of relativity
be the same to all inertial frames, that is, whose value
was due to the efforts of several scientists (e.g., Lorentz,
does not change when one go from a inertial frame to
Poincar, Einstein, Minkowski etc.). The geometric de-
another. We can convince ourselves of this noting that
scription of the relativity theory the so-called space-
in a hyperbolic geometry there must exist certain lines
time theory in its turn, was first proposed by Poincar
(the asymptotes) which do not change when a hyper-
[5] in 1905 and after independently by Minkowski [6] in
bolic rotation is implemented. Therefore, if there exist
1909, where a more accessible and detailed presentation
a particle whose world-line lies on those asymptotes,
of the subject was presented.
the direction of the word-line of that particle should
This geometric description, which contains the very
not change by a hyperbolic rotation and, hence, its ve-
essence of the theory of relativity, may be grounded on
locity must always be the same for any inertial frame of
the following statements, or postulates1 :
reference. The experimental fact that the speed of light
1. The universe is a four-dimensional continuum is the same in any inertial frame provides, therefore, a
three of them are associated with the usual spatial strong argument in favor of the hyperbolic nature of
dimensions X, Y and Z, while the other one it is space-time.
associated with the time dimension; For future use, we shall make some definitions and
conventions which will be used throughout the text.
2. The space-time is homogeneous and isotropic; Since we intend to deal with particles moving in any
direction of space-time, it is convenient to employ a
3. The geometry of the universe is hyperbolic-
metric which is always real and non-negative. Let we
circular. In the purely spatial plans, XY, YZ and
define, therefore, the metric by the expression
ZX the geometry is circular (i.e., euclidean), while p
in the plans involving the time dimension, namely, ds = |c2 dt2 dx2 dy 2 dz 2 |. (1)
TX, TY and TZ, the geometry is hyperbolic (i.e.,
pseudo-euclidean). The choice of the metric, of course, does not affect the
final results of the theory, since we always have a cer-
In terms of the Poincar-Minkowski description of tain freedom in defining it.
space-time, any inertial frame can be represented by In terms of the metric (1), we can classify the events
an appropriate coordinate system, which we shall call as time-like, light-like and space-like as the quantity
1 The influence of gravity will be explicitly neglected in this 2 In the case of |v| > c we should consider a extended hyper-
2
c2 dt2 dx2 dy 2 dz 2 be positive, zero or negative, what is called the switching principle 3 . This principle
respectively. A similar classification can be attributed is based on the fact that any observer regard the time
to particles and frames of reference. Thus, for instance, as flowing from the past to the future and that any
slower than light particles (bradyons) will be classi- measurement of the energy (associated to a free parti-
fied as time-like particles and faster than light parti- cle) results in a positive quantity. Thus, the switching
cles (tachyons) as space-like particles. Particles mov- principle states that a backward particle (whose energy
ing with the speed of light (luxons) will be classified, is negative) should always be physically observed as a
of course, as light-like particles. typical forward particle (whose energy is positive).
We can also classify the particles according to their
direction of movement in time. A particle which
moves to the future will be called a forward particle
and a particle moving to the past, backward particle.
A particle with has an infinite velocity exists only in
the very present instant and we might call it a momen-
tary particle. A similar classification can be employed
for reference frames as well.
3
and annihilate themselves, which gives rise to a pho- in four dimensions (these difficulties will be discussed in
ton. Since the photon has no electric charge and the section 10). We shall give here two deductions for the
observed charge of the forward particle is +e it follows Extended Lorentz Transformations (ELT), a algebraic
that the observed charge of the backward particle has deduction and a geometric one.
to be e. The conclusion which follows from this is Algebraic Deduction: since in two dimensions the
that the sign of the electric charge of a backward par- postulates presented on the previous sections are suffi-
ticle must be reversed in the process of observation. cient to proof that light propagates at the same speed
Thus, a backward particle of mass m and electric c for any inertial frame, we can take this result as our
charge +e should always be observed as a forward par- starting point.
ticle with the same mass and opposite electric charge. So, consider a certain event whose coordinates are
But these properties are precisely the same as expected (ct, x) with respect to an inertial frame R and (ct , x )
to antiparticles. Therefore the switching principle en- with respect to another inertial frame R (which moves
able us to interpret a backward particle as an antiparti- with the velocity v with respect to R). Suppose further
cle. The concept of antiparticles can be seen, hence, as that the coordinate axes of these frames are always
a purely relativistic concept: it is not necessary to talk likely oriented and that the origin of R and R coincide
about quantum mechanics to introduce the concept of when t = t = 05 .
antiparticles4 . Under these conditions, if a ray of light is emitted
Finally, let us remark that these arguments are also from the origin of these frames at t = 0, then this
valid in the case of space-like particles, i.e., in the case ray will propagates with respect to R according to the
of tachyons. In the section 8 we shall see that the en- equation
ergy of a tachyon is related to its momentum and mass x2 c2 t2 = 0, (2)
through the relation E 2 = p2 c2 m2 c4 , an equation
which describes now a single-sheet hyperboloid. From and for R , by the principle of invariance of the speed
this we can see that tachyons must have an interesting of light, also by
property: they can change its status of a forward par-
ticle to the status of a backward one (and vice-versa) x2 c2 t2 = 0. (3)
through a simple continuous motion. In other words,
by accelerating a tachyon we can make it turn into (2) and (3) implies therefore,
an antitachyon and vice-versa (notice moreover that at
x2 c2 t2 = (v) x2 c2 t2 ,
some moment the tachyon must becomes a momentary (4)
particle, i.e., an particle with infinity velocity). This,
of course, it is only possible to space-like particles. where (v) does not depend on the coordinates and the
time, but may depend on v.
In the other hand, since the frame R moves with
4 Deduction of the extended respect to R with the velocity v, follows also that
Lorentz transformations (in x2 c2 t2 = (v) x2 c2 t2 .
(5)
two dimensions)
Therefore, from (4) and (5), we get (v)(v) = 1.
Let us show now how the Lorentz transformations can Besides, the hypothesis of homogeneity and isotropy of
be generalized, or extended, to frames of reference mov- space-time demands that (v) does not depend on the
ing with a velocity greater than that of light (as well velocity direction6 and then we are led to the condition
as to frames of reference which travel back in time). In
this section we shall discuss however the theory only in 2
(v) = 1 (v) = 1. (6)
two dimensions. As commented before, we meet with
5 Hereafter, whenever we speak in the frames of reference R
several difficulties to formulating a theory of tachyons
and R should be implicitly assumed that the relative velocity
4 The connection between backward particles and antiparticles between them is v and that the conditions above are always sat-
was, of course, proposed already by several scientists (e.g., Dirac isfied.
[7], Stckelberg [8, 9], Feynman [10, 11], Sudarshan [12], Recami 6 Indeed, only in this case the transformations do form a
4
Thus we have two cases to work on. Let us first space-like reference frames, that is, the transformations
analyze the first case, namely, (v) = +1. In this case associated to |v| > c, where the correct sign depends if
the equation (4) becomes the frame R is a forward or backward reference frame
with respect to R and can be determined by the Figure
x2 c2 t2 = x2 c2 t2 , (7) 2.
Geometrical Deduction: from the geometrical
whose solution, as it is known, is given by the usual point of view, the ELT can be regarded as a (hyper-
Lorentz transformations, bolic) rotation defined on the curve7
ct xv/c x vt 2 2
c t x2 = 2 .
ct = p , x = p . (8) (13)
1 v 2 /c2 1 v 2 /c2
We can call such a transformation as an extended hy-
Note that these transformations contains the identity
perbolic rotation. Note that (13) represents a set of two
(for v = 0) and they are discontinuous only at v = c.
orthogonal and equilateral hyperbol. The asymptotes
Consequently, these transformations must be valid on
the range v < c < v as well, but nothing can be said
for v out from this range.
In this way, we hope that in the other case, i.e., when
(v) = 1, the respective transformations should be
related to velocities greater than that of light. Now we
will show that this is indeed what happens.
To (v) = 1, equation (4) becomes
x2 c2 t2 = x2 c2 t2 ,
(9)
x2 c2 t2 = 2 c2 2 . (10)
their moviment on the space-time, and can be seen the concept of hyperbolic-numbers [13]. A hyperbolic number
in the Figure (2). In the case of a forward space-like is number of the form z = a + hb, where {a, b} R and
h : {h2 = +1, h / R}. By defining the conjugate z = a hb,
transformation, it is easy to show that the correct sign = |a2 b2 | = 2 , which represents an equa-
it follows that |zz|
is the negative one. tion like (13). This leads to a complete analogy with complex
Note that these equations, as well as those of the pre- numbers, but with the difference that now these numbers de-
scribe a hyperbolic geometry. We also stress that the same can
vious case, are discontinuous only for v = c. But now be done through the elegant geometric algebra of space-time [14],
they are real only when |v| > c. The equations (12) rep- with the advantage that this formalism could allow, perhaps, a
resent thus the Lorentz transformations between two generalization of these concepts to higher dimensions.
5
fined by the following relations or, in terms of the tangent,
6
(ct, x) through the equations given by an analogous expression:
tions (27)
x ct tanh (13 )
x = (13 ) q .
The transformations deduced in the previous sections 1 tanh2 (13 )
do form a group. The ordinary Lorentz transformations
is just a subgroup of it. Let us demonstrate now this where
group structure. (12 ) (23 )
(13 ) = (28)
First, note that the identity is obtained with v = 0. (12 , 23 )
We shall show now that the composition of two ELT
with
still results in another ELT. For this we introduce a (
third inertial frame R , which moves with respect to R +1, tanh 12 tanh 23 < 1
with velocity u = c tanh 23 . R by its turn is assumed (12 , 23 ) = , (29)
1, tanh 12 tanh 23 > 1
to moves with the velocity u = c tanh 12 with respect
to R. We already know the transformation law between and
R and R , and we can write it down:
tanh 12 + tanh 23
tanh (13 ) = = tanh (12 + 23 ) .
ct x tanh 12 1 + tanh 12 tanh 23
ct = (12 ) q , (30)
1 tanh2 12
From (17) we can see that (30) consists of a generaliza-
(25) tion of the addition formula for the hyperbolic tangent,
x ct tanh 12 which reveals its geometric meaning. In terms of the
x = (12 ) q .
1 tanh2 12 velocity v, equation (30) can be rewritten as
u+v
In its turn, the law of transformation from R to R is w= . (31)
1 + uv/c2
7
Equation (31) expresses the composition law of veloc- The definition is the following: two frames of reference
ities in this extended theory of relativity. It is exactly are said to be conjugate if their relative velocity is in-
the same as predicted by the usual theory of relativity, finite. Thus, if v is the velocity of the frame R with
but now it applies to any value of velocity. respect to the frame R, the conjugate frame of refer-
Let we show also that the inverse transformation ence associated to R is another reference frame R ,
does exist. To do this, we impose onto (27) the condi- whose velocity is w = c2 /v when measured by R. In
tions ct = ct and x = x and require that the resulting fact, we obtain from (31),
transformation be the identity. For this it is necessary
c2
u+v
to have 23 = 12 and (13 ) = 1, which enable lim = . (34)
u 1 + uv/c2 v
us to evaluate (23 ) from the resulting expression of
(13 ). In fact, we find that Conjugate frames of reference are important be-
cause a space-like Lorentz transformation between two
(23 ) = (12 ) (12 ) = (12 ) , (32) frames, say, from R to R , can be obtained also by a
usual Lorentz transformation between R and R . For
since (12 , 12 ) = (12 ), with (12 ) given (23).
this, we simply have to replace v c2 /2, ct x and
Substituting this result into (26) we obtain the
x ct. In fact, since w = c2 /v is less than c for
required expressions for the inverse transformations,
v > c, it follows that the transformation from R to R
which when expressed in terms of the velocity v are
is given by
given by
ct xw/c x wt
ct + x v/c ct = p , x = p . (35)
ct = 1
(12 ) p , 1 w2 /c2 1 w2 /c2
|1 v 2 /c2 |
(33) Making the replacements indicated above we can see in
x + vt this way that we shall get the correct transformations
x = 1 (12 ) p , between R and R .
|1 v 2 /c2 |
From a geometrical point of view the passage of a
given frame of reference to its conjugate consists of a re-
and where we put 1 (12 ) = (12 ).
flection of the coordinate axes relatively to the asymp-
Note that the signs appearing on the inverse trans-
formation are different from that present on the direct totes of the curve (13), since this reflection precisely has
the the effect of changing ct by x and vice-versa (and
transformations. This difference is a consequence of
thus the effect of replacing v by c2 /v). Therefore, we
what was commented before, that in the transforma-
tion from R to R we had assumed the starting frame can see that an extended Lorentz transformation can be
reduced to a usual Lorentz transformation by perform-
R always belonging to the region I of space-time, while
in the transformation from R to R it is the frame R ing appropriate reflections relatively to asymptotes (in
which is fixed on the region I. When |v| < c this asym- case of a space-like transformation) and around the ori-
gin (for a backward time-like transformation). This
metry has no effect at all, since in this case the signals
are always the same in both expressions. But when gives us a new way to derive the ELT.
It is interesting to notice also that, if a particle has
|v| > c however, we should alert that the inverse trans-
velocity u = c2 /v with respect to the frame R, then the
formations can not be simply obtained by replacing v
by v. It is still necessary multiply them by 1. velocity of this particle for the frame R will be infinite.
In other words this particle becomes a momentary par-
Finally, we mention that the associativity of ELT can
be shown in a similar way, which completes the group ticle to the frame R . More important than that, if
structure of the ELT. the particle velocity u is greater than c2 /v, and v < c,
this particle becomes a backward particle to R and
it should be observed as an antiparticle by this refer-
6 Conjugate Frames of Reference ence frame. On the other hand, if v > c the frame of
reference R should observe an antiparticle whenever
We shall introduce now an important concept which u < c2 /v.
can only be contemplated in an extended theory of rel- In an analogous way, since the frame R moves with
ativity: the concept of conjugate frames of reference. the velocity v with respect to R , it follows also that
8
a particle with velocity u = c2 /v must have an infinite complete a full oscillation. Now, the signal appearing
velocity with respect to R. So, in the case of |v| < c, on (37) is determined according to the Figure 2 and the
the reference frame R should observe an antiparticle if analysis becomes more or less complicated. Of course,
u < c2 /v and, in the case of |v| > c, only if u > c2 /v. we have no problems at all when |v| < c, then we shall
These relationships might be, of course, more easily analyze only the case where |v| > c. Suppose first
found by analyzing (30) or (31). that the reference frame R is a forward frame with re-
spect to R. In this case we find that () = 1 and
the moving clock will work in the opposite direction as
7 Rulers and clocks compared to the clock fixed at R . This means that
the clock at R is a backward-clock with respect to R .
Consider two identical clocks, one of them fixed in the
We can convince ourselves of this from what was com-
frame R and the other fixed to the frame R . Further,
mented in the previous section, where it is necessary to
consider that these clocks are synchronized on t = t = put there u = 0 and |v| > c (and therefore u < c2 /v).
0, where R and R are in the same position. We wish
This is an interesting situation indeed, because we
to compare the timing rate of these clocks, as measured
have just seen that for the frame R, both clocks work
by one of those frames. For example, suppose we want
clockwise (if the clocks are forward ones) or coun-
to compare the rhythm of these clocks when the time
terclockwise (if the clocks are backward ones) when
intervals are always measured by R. For this, suppose
|v| > c. In the other hand, for the frame R if its
that the clock fixed on R takes the time to complete
own clock is working clockwise, then the moving clock
a full period of oscillation. The time T corresponding
should work counterclockwise and vice-versa. In the
to this period of time, but now measured by R, can be case where the reference frame R is backward with re-
found through the inverse transformations (33). Since
spect to R these asymmetries persists yet, but now is
this clock is at rest with respect to R , we should put
the frame R which will see both clocks working differ-
x = 0 on the first of the formul (33) and we shall get
ently, while for R they will work accordingly. These
asymmetries, of course, just express the fact that the
T = 1 () p . (36) extended Lorentz transformations, the direct and in-
|1 v 2 /c2 |
verse one, are asymmetric by themselves in the case of
Then, we can verify that a forward moving clock |v| > c.
(with respect to R) becomes slower in measuring time Let we consider now two identical rulers, one of them
than an identical clock at rest, when the speed of the placed at rest in the frame R and the other placed at
clock is less than that of light (as it is well-known). rest with respect to R . We wish to compare the length
But for a faster than light clock of these rulers, when analyzed by one of these frames.
we get that it contin- If l0 is the length of the ruler at R , when measured
ues to be slower for |v/c| < 2 and it becomes faster
when |v/c| > 2. It is interesting to note that for by this frame, the respective length L, as measured
by R, is obtained by determining where the extreme
|v/c| = 2 both clocks go back to work at the same
timing rate. Moreover, in the case of a backward mov- points of the moving ruler is at a given instant t, say,
ing clock, we can see from the switching principle that t = 0. Making use of the second equation of the direct
this clock should work in the counterclockwise, which transformations , we find that
is due to the fact that a backward-clock should mark p
L = () l0 |1 v 2 /c2 |, (38)
the time from the future to the past.
Let us now verify what we got when the clocks are To |v| < c we have the usual Lorentz contraction,
appreciated by the reference frame R . In this case we but for |v| > c we get that the moving ruler will be
should use the direct transformations and thus we shall smaller than the ruler at rest when |v/c| < 2 . The
get rulers go
back once again to have the same
length when
|v/c| = 2 and, finally, for |v/c| > 2 they should
T = () p , (37) present a Lorentz dilatation. Moreover, regarding R
|1 v 2 /c2 |
as a forward frame with respect to R, it follows that for
where is the time spent by the clock fixed at R (which the frame R the moving ruler will be oriented contrarily
is moving with speed v with respect to R ) for it to with respect to the ruler at rest.
9
If, on the other hand, measurements are made by R , As it is known, the expressions for the energy and
then we find that momentum are obtained by the formulas
p
L = 1 () l0 |1 v 2 /c2 |, (39)
L (u) L (u)
p (u) = , E (u) = u L (u) . (42)
and now for the reference frame R the ruler at motion u u
(which has the velocity v) point out to the same di-
Applying (42) onto (41) we obtain, thus
rection as its ruler at rest. We find again the same
asymmetry commented above for the clocks. These re- u/c c
sults can, of course, be more easily obtained and fully p (u) = p , E (u) = p .
1 u2 /c2 1 u2 /c2
understood through Minkowski diagrams.
(43)
To find we may use the fact that for low speeds
8 Dynamics these expressions should reduce to that obtained by
Newtonian mechanics. Thus, for instance, if we ex-
In this section we intend to answer some questions con- pand the expression for the momentum in a power se-
cerning the dynamics of tachyons. The expressions for ries of u/c and we keep only the first term, we should
the energy and momentum for a faster than light par- get p u/c, while Newtonian mechanics provides
ticle will be deducted and we shall show how these par- p = mu. Thus we get = mc and then
ticles behave in the presence of a force field.
As a starting point we might assume that the princi- mu mc2
p (u) = p , E (u) = p , (44)
ple of stationary action also applies to faster than light 1 u2 /c2 1 u2 /c2
particles. This, of course, follows directly from the as-
sumption of homogeneity and isotropy of space-time, which are the same expressions of the usual theory of
since we know that this principle is true for slower than relativity.
light for particles. In the case of a forward space-like particle (i.e. in
As one knows, the principle of stationary action the case of a forward tachyon), the LaGrange function
states that there exist a quantity S, called action, which takes the form
assumes an extreme value (maximum or minimum) for p
any possible movement of a mechanical system (in our L (u) = c u2 /c2 1. (45)
case, a particle). On the other hand, in the absence
of forces, the motion of a particle corresponds to a and we get by (42), the following expressions for mo-
space-time geodesic, which reduces to a straight line mentum and energy,
by neglecting gravity. This means that in case of a free
u/c c
particle the differential of action dS should be propor- p (u) = p , E (u) = p . (46)
tional to the line element ds of the particle and we can u2 /c2 1 u /c2 1
2
10
energy of a bradyon (i.e., a time-like particle) are given
by (42) and we get, therefore
mw mc2
p = p , E = p . (50)
1 w2 /c2 1 w2 /c2
Figure 4: Graphics for the momentum and energy of a where the a = du/dt denotes the acceleration of
forward particle with speed 0 u < . the particle. Note that the force and the accelera-
tion point out to opposite directions. Consequently,
two space-like particles that attract (repel) must go
the space of energy and momenta. Making an analogy far (go near) one from the other. The concepts
with (1), we can define this dynamic metric as of attraction/approximation and repulsion/expulsion,
q therefore, are no longer equivalent concepts when we
c2 dm = dE 2 c2 dp2x c2 dp2y c2 dp2z . (48) deal with tachyons. In fact, if we try to approach (move
away) from a tachyon, its relative speed decrease (in-
Thus, it follows that the mass, the energy and the crease), an effect that is contrary to our common sense
momentum but that can be demonstrated by a simple analysis of
p must always be related by the formula
mc2 = |E 2 c2 p2 | . If we put E = 0 in this last (31).
equation, we get p = mc (we had assumed that p is
positive for u positive). We conclude in this way that
the momentum and energy of a tachyon should be given 9 Causality and the Tolman
by the expressions Paradox
mu mc2 One of the arguments usually employed to show that
p (u) = p , E (u) = p . (49)
u /c2 1
2 u2 /c2 1 faster than light particles can not exist is that their
existence would imply a violation of the principle of
This result can also be obtained through the use of causality. Indeed, suppose a tachyon is emitted by a
conjugate frames, introduced in section 6. Suppose a body A at time tA and it is absorbed by another body
particle with velocity u > c with respect to a reference B at time tB , where tB > tA . Since these two events
frame R. Then, for the conjugate reference frame R (emission of a tachyon by A and its absorption by B)
this particle will have energy E = cp and momentum are separated by a space-like distance we know from
p = E/c, while its velocity becomes w = c2 /u, which the theory of relativity that it is possible to find a de-
is less than c. But the expressions for momentum and termined frame of reference (whose speed is less than
11
that of light) where the chronological order of events is
reversed. Thus, if we assume the event A as the cause
of the event B, we shall conclude then, for this moving
frame of reference, that the effect precedes its cause.
Therefore, if we admit the concepts of cause and ef-
fect as absolute concepts and that the cause always
precedes the effect, we would then effectively be led to
the conclusion that faster than light particles can not
exist. However, there is nothing from the mathemati-
cal point of view that supports this hypothesis. On the
contrary, if we assume a complete isotropy and homo-
geneity of space-time, we have no choice but to consider
the concepts of cause and effect as relative concepts. Figure 5: Experiment devised by Tolman.
We already had seen, of course, other quantities
which were regarded as absolute in the usual theory of
relativity and now they had to be seen as relative quan- The paradox consists in showing that if faster than
tities. An example of this is the concept of emission and light particles does exist, then it would be possible to
absorption. Indeed, since by the switching principle we send information to the past. To show this, consider
did not observe backward-particles but only forward- the references R and R (with R moving with speed
antiparticles, the processes of emission (absorption) of v < c with respect to R) are equipped with some special
backward-particles should always be observed as an ab- phone devices, whose communication is done through
sorption (emission) of forward-antiparticles. We can, of the transmission of tachyons. Imagine, then, that an
course, find out if a particle was actually emitted (ab- observer R sends a message (event A), for instance in
sorbed) by analyzing the process in the frame where the the form of a question, to R and that after he had re-
source (emitter) is at rest, in this case we shall speak ceived (event B), R sends back his answer to R, which
of an intrinsic or proper emission (absorption). is then received by R (event C). It turns out that, as
Nevertheless, the relative nature of causality does not seen in Figure 5a, the observer R can calibrate its de-
lead to any contradiction into the theory. In nature, a vice in such a way that the message sent by him arrives
phenomenon never describes an isolated event but only at R even before R had sent its question. Thus, since
a continuous succession of events, which we shall call R got the answer before he had make the ask, he might
a physical process. Geometrically, a physical process decides to not do the question, in which case we shall
describes a continuous curve in space-time and there- meet to a very paradoxical situation.
fore has an absolute character: the order in time in The failure on this argument is that it mixes the de-
which events occur may differ from a reference frame scriptions of the reference frames when the terms emi-
to another but the curve itself, which corresponds to tion and absorption are employed. In fact, we shall
the phenomenon in question, should be the same for show now (following [4]) that if the frame of reference
any of them. This is enough for instance to show that R intrinsically receives the question submitted by R,
we can not go back in time and kill our grandfather. as well as he intrinsically sends its answer, then the
In fact, the mere fact of our existence means that there frame of reference R should always receive the reply
exists a curve in space-time connecting our grandfather after he had make the ask.
to us, and since this curve has an absolute character, it For this, suppose that the question of R is sent with
can not be disconnected to any observer, even backing velocity u1 and the answer comes back with the veloc-
in time. ity u2 , where u1 and u2 are greater than the speed of
As an example of a paradox which involves the con- light and they are always measured by R. Notice then
cept of causality, let us examine the interesting para- that for the answer of R arrives before the question
dox proposed and discussed by Tolman [15] in 1917 sent by R it is necessary to have |u1 | > |u2 | because for
(although it had been pointed out ten years earlier R the event C occurs before A and both arrive on B
by Einstein [16]). Further details can be checked in at the same time. Nevertheless, for the frame of refer-
[17, 18, 19]. ence R to receive intrinsically the question sent by R
12
it is necessary to have |u1 | < c2 /v, since in the other from the postulates presented in section 2, and hence
case, as we have seen in section 6, this message would this principle can be seen as a theorem of the relativ-
be a backward-message to R and hence R would sim- ity theory. When, however, we pass to a universe in
ply see the emission of the message by transmission of four dimensions, is no longer possible to proof the gen-
antitachyons as predicted by the switching principle. eral validity of this theorem, in the same way as we
Similarly, for R intrinsically to send its answer, we did in two dimensions. Actually, in four dimensions we
must have |u2 | > c2 /v, since the answer is sent in the can not even say that light travels in spherical surfaces
negative direction of the axis X of R. Thus, we had with speed c in all inertial frame of reference (it is only
show that |u2 | > |u1 |, a contradiction. in the case of v < c we can mathematically proof this
Therefore, if the reference R effectively receives the assertion, from the postulates of relativity).
question sent from R and effectively sends her answer, To show more clearly why we meet with these dif-
the process must be described by the Figure 5b, not by ficulties, let us consider for example a source of light
the Figure 5a. In this case, the answer always comes fixed on the origin of the frame R and suppose that
after the question sent by R. with respect to this frame light propagates in spheri-
Of course, the Figure 5a also represents a valid phys- cal surfaces with velocity c. In four-dimensional space-
ical process, but not one as described by the Tolman time the asymptotes are replaced by a cone the light
paradox. Each frame of reference should have its own cone. The geometric region of space-time associated
view of what is actually happening in it. For instance, to a beam of light (emitted by the source fixed at the
for R the experiment described by Figure 5a corre- origin of the reference frame R) always belongs to this
sponds to the case where there is, first, the emission of light cone.
the message C (through an antitachyon jet) and soon The usual theory of relativity also shows that for any
after, there is the emission of the message A (via a other time-like frame of reference, the propagation of
tachyon jet); finally, both messages come together at light is still represented by the same light cone. But
B. But for R all happens as he had sent the message how should the light behave itself with respect to a
C to R by an antitachyon jet and, at the same time, space-like frame, say, R ? In this case, the time axis
sent the message A by means of a tachyons jet; then af- of this frame always point out to the outside region of
ter some time the observer R would receive the message the light cone of R, so that is not evident that the light
C and then the message A. Note that the chronological emitted by the source fixed at R should also propagates
order of the events depends on the frame considered, in spherical surfaces with speed c with respect to R .
but the process itself (which connects the events A, B Beside this, we might ask what happens when a light
and C) is unique. source is fixed on R . Does the light emitted by this
source propagates in spherical surfaces with speed c
with respect to R ? And what is to be said with respect
10 Difficulties for formulating to the frame R, where the source has velocity v > c,
does the light propagates spherical waves with speed c?
the theory of tachyons in four As one can see, there are several issues that can
dimensions not be answered immediately, not without having ad-
ditional information. Indeed, the behavior of light de-
In the section 4 we show that in two dimensions the pends on its intrinsic properties, and these properties
Lorentz transformations can be extended in order to are determined by a extended theory of electromag-
relate any imaginable pair of inertial frames. When, netism which is a priori unknown. Let us examine
however, we try to do the same in four dimensions we these possibilities a little more.
meet with serious difficulties, which we shall briefly dis- We can suppose for instance that the source of light
cuss now. fixed at R (which we shall suppose to have a velocity
Let us remind the reader that by extending the greater than c, with respect to R) also emits spher-
Lorentz transformations in two dimensions, we had ical waves with speed c, when measured by R . So,
made use of an important principle, which states that there must exist now another light cone corresponding
the speed of light is the same in any inertial frame. to space-like frames of reference, a cone which must
We saw, moreover, that this principle can be deduced contour the axis of time of R . Since the axis of time of
13
R always should be outside from this new light cone, If, by its turn, we deny the validity of the principle
it follows that for R the light emitted by the mov- of invariance of the speed of light, then we obtain the
ing source will not propagates into spherical surfaces transformations
of speed c, but rather it will take a form of a two-sheet
hyperboloid surface. In this case the speed of light ct xv/c x vt
ct = p , x = p ,
would depend of the direction and space-time could no v 2 /c2 1 v 2 /c2 1 (54)
longer be considered isotropic anymore.
If, in other hand, we regard that the light emitted y = y, z = z.
by the source fixed on R also propagates in spherical
surfaces with respect to the reference frame R, that is, where now all coordinates are real. The problem here
that there are a unique light cone in the universe by is that we lie in the cases discussed above, where the
where the light always travels, no matter what is the space-time can not be considered isotropic.
speed of the source, then we can see that, although for Note that in each one of the possibilities discussed
R the light propagates in spheres of speed c, now the above, the transverse components of the physical quan-
same is not true for R , which should observes the light tities become different. Thus, for example, the formu-
to propagating in a two-sheet hyperboloid. lation of the electrodynamics of tachyons will assume
For light spread in spherical surfaces and with ve- different forms in each one of these formulations. Only
locity c to both reference frames is necessary that the the experiment can decides which one or another is the
transverse coordinates, y and z of the frame R be correct, (assuming that someone of them are correct).
imaginary quantities (assuming y and z real). Indeed, In short, the arguments presented above show us that
just in this case we can map a time-like light cone in a four-dimensional universe we can not extend the
to a space-like light cone. Effectively, this can be Lorentz transformations in order to satisfy all the pos-
shown by deducing the ELT in four dimensions, as- tulates presented in section 2, unless it is introduced
suming from the start the validity of the principle of imaginary quantities, which has no physical interpre-
invariance of the speed of light to any inertial frame. tation. We shall see in the next section that, if we not
We have in this case, impose the validity of the postulate 1, i.e. that the
universe is four-dimensional, then it becomes possible
x2 + y 2 + z 2 c2 t2 = (v) x2 + y 2 + z 2 c2 t2 ,
to build up a theory of tachyons which satisfy the other
(52) postulates fully.
in place of (4). As it is known, the solution of this
equation for (v) = +1 consists of the usual Lorentz
transformations, while for (v) = 1 we shall get 11 An possible theory in six di-
ct xv/c x vt mensions
ct = p , x = p ,
v 2 /c2 1 v 2 /c2 1 (53) We might wonder why we find difficulties on extend-
ing the Lorentz transformations in a four-dimensional
y = iy, z = iz, universe if in a two-dimensional universe this general-
ization is straightforward. We can figure out what is
and the transverse coordinates y and z become imag-
happening by reflecting a little about. The reason by
inary. The introduction of imaginary coordinates is,
which this occurs lies in the fact that in four dimen-
however, deprived of physical sense8 .
sions the number of space-like dimensions is different
8 Some authors, for instance [20], argue that the introduc- from the number of time-like dimensions (3 space-like
tion of imaginary coordinates in the theory does not constitute dimensions against 1 time-like dimension). Since expe-
a problem. The solution proposed by them consists by regarding
the coordinate axis Y and Z themselves as imaginary axes, so
rience shows us that the universe has three space-like
that the observers in the (space-like) frame of reference R al- dimensions (at least), it follows that we must consider
ways should interpret the coordinates y and z as relatively real p
quantities. This, however, is not consistent. Indeed, let we take ity will have the magnitudes |cx | = v and cy = c v2 /c2 1.
for instance a ray of light which propagates on the Y direction Thus, for the ray of light to propagate with speed c = c, it
with respect ot R. For the frame of reference R , the light travels is necessary that the square of cy be a negative number, which
through an oblique trajectory, and the components of its veloc- contradicts the hypothesis that cy is a relatively real number .
14
a six-dimensional universe (at least) 3 space-like di- and a physical metric by
mensions against other 3 time-like dimensions9 . p
d = |c2 dt2x dx2 dy 2 dz 2 |, (56)
15
already deduced in the section 4. These equations con- beam, arXiv:1109.4897v1 [hep-ex], p. 1-24,
stitute the ELT related to this six-dimensional uni- (2011).
verse. Notice, in special, that all coordinates are real.
Let us finally interpret the results. In the first place, [2] R.S. Vieira, Para Alm da Velocidade da
is easy to see that in both frames of reference light Luz Uma Breve Introduo Teoria dos
propagates with speed c. This can be done by direct Tachyons, Palestra apresentada na 7 Se-
substitution of (58) and (59) into (56). In addition, mana da Fsica da Universidade Federal
notice that in this formulation, tachyons might be ob- de So Carlos, So Carlos, (2011).
served in the reference R with a shape very different [3] E. Recami, Superluminal motions? A
from what they present to R because to the reference bird-eye view of the experimental situa-
R the transverse coordinates are given by y = cty and tion, Found. Phys., 31, p. 11191135,
z = ctz , which are not accessible to R . (2001).
Further, it is interesting to notice that if a source
of light is fixed to the frame R , then the frame R [4] E. Recami, Classical Tachyons and Possi-
should see the light propagating in spherical surfaces ble Applications, Riv. Nuovo Cim. vol. 9,
with speed c, as we had shown. But since the source s. 3, n. 6, p. 1-178, (1986).
has in this case a velocity greater than c, we must have
[5] H. Poincar, Sur la dynamique de
the formation of a Mach cone in fact, since the source
llectron, Circ. Mat. Palermo, 21, p.
is always ahead from the waves which it emits. One
129176 (1906).
can show that the superposition of waves emitted by a
superluminal source results at two front waves whose [6] H. Minkowski, Raum und Zeit, Phys. Z.
shapes have the form of a two-sheet hyperboloid sur- 10, p. 104-111, (1909).
face. The group velocity of these waves depends on
the direction, being always larger than c (except in the [7] P.A.M. Dirac, A Teory of electrons and
direction X whose velocity equals c). This, however, protons, Proc. R. Soc. London, A 126, p.
is due purely to an interference phenomenon, unlike 360-365 (1930).
the cases of the previous formulations, which this phe-
nomenon was due to a anisotropy of space-time itself. [8] E.C.G. Stckelberg, Remarque a Propos
de la Cration de Paires de Particules en
This kind of waves are often called X waves, they
Thorie de Relativit, Helv. Phys. Acta,
are superluminal solutions of the Maxwells equations
14, p. 588-594, (1941).
[21, 22] these waves have indeed been observed and
even produced in the laboratory [3, 21, 22, 23]. This is [9] E.C.G. Stckelberg, La mcanique du
an important experimental verification of the existence point matriel en thorie de relativit et
of superluminal phenomena in nature. en thorie des quanta, Helv. Phys. Acta,
15, p. 23-37, (1942).
[1] T. Adam et Al. (The OPERA Collabora- [12] O.M.P. Bilaniuk, V.K. Deshpande e
tion), Measurement of the neutrino veloc- E.C.G. Sudarshan, Meta Relativity,
ity with the OPERA detector in the CNGS Am. Journ. Phys., 30, p. 718-723, (1962).
16
[13] F. Catoni et Al., The Geometry of
Minkowski Space-Time, (Springer Briefs
in Physics, 2011).
[14] J. Vaz Jr., A lgebra Geomtrica do
Espao-tempo e a Teoria da Relatividade,
Rev. Bras. Ens. Fsica, 22, p. 5-31, (2000).
17
Uma Introduo Teoria dos Tquions
(An Introduction to the Theory of Tachyons)
Ricardo S. Vieira
Departamento de Fsica, Universidade Federal de So Carlos, So Carlos, SP, Brasil
arXiv:1112.4187v2 [physics.gen-ph] 12 Jan 2012
1
quelas dificuldades desaparecem e torna-se possvel es- 1. O universo um continuum em 4 dimenses trs
tender as transformaes de Lorentz de acordo com os dessas dimenses esto associadas s dimenses es-
princpios da relatividade usual. paciais usuais X, Y e Z, enquanto que a outra est
Um dos motivos que tornam a teoria dos tquions associada a uma dimenso temporal, T .
quase que desconhecida a convico (equivocada) de
que a teoria da relatividade probe a existncia de par- 2. O espao-tempo homogneo e isotrpico.
tculas mais velozes que a luz, e que essa velocidade
3. A geometria do universo hiperblico-circular.
representa um limite mximo para a propagao de
Nos planos puramente espaciais, XY , Y Z e ZX
qualquer fenmeno. Um dos argumentos geralmente
a geometria circular (i.e., euclidiana), enquanto
empregados para provar essa afirmao que, conforme
que nos planos que envolvem a dimenso tempo-
estabelece a teoria da relatividade, nenhuma partcula
ral, T X, T Y e T Z, a geometria hiperblica (i.e.,
pode ser acelerada at atingir, ou ultrapassar, a velo-
pseudo-euclidiana).
cidade da luz, j que para isso seria necessrio se gas-
tar uma quantidade infinita de energia. Isso no est Em termos da descrio de Poincar-Minkowski, qual-
errado, porm, tambm no est completamente cor- quer referencial inercial pode ser representado por um
reto. Com efeito, esse argumento no leva em conta a sistema de coordenadas adequado, que chamaremos de
possibilidade de que essas partculas possam ter sido sistema de coordenadas inercial. O movimento de uma
criadas no exato momento da criao do universo as- partcula fica representada por uma curva contnua
sim, ningum teve de aceler-las, elas simplesmente j uma reta, caso a velocidade da partcula seja constante
nasceram com uma velocidade maior que a da luz. , a que chamamos de linha de universo da partcula.
Alm disso, no podemos descartar a possibilidade Em especial, a velocidade de uma partcula determina-
de que tais partculas possam ser criadas atravs de se pela tangente do ngulo (hiperblico) que sua linha
algum processo quntico, anlogo por exemplo ao pro- de universo faz com o eixo do tempo do sistema de
cesso de criao de pares de partculas-antipartculas. coordenadas no qual a velocidade referida. Analo-
Por fim, se associarmos uma completa isotropia e gamente, a velocidade relativa entre dois referenciais,
homogeneidade ao espao-tempo, ento segue que ne- v, determinada pela tangente do ngulo (hiperblico)
nhuma de suas direes deve ser privilegiada em relao entre os eixos de tempo dos sistemas de coordenadas
s outras e, portanto, a existncia de partculas mais correspondentes e uma mudana de referencial consiste,
rpidas que a luz deveria ser naturalmente esperada, ao nessa descrio geomtrica, a uma mera rotao hiper-
invs de ser encarada com surpresa. No a possibili- blica2 dos eixos coordenados.
dade de existncia dos tquions que requer explicao, Atravs dos postulados apresentados acima, toda a
pelo contrrio, uma explicao deveria ser dada caso teoria da relatividade pode ser formulada. Em espe-
essas partculas no existissem. cial, destacamos que a partir desses postulados pode-
mos mostrar o princpio de invarincia da velocidade da
luz (pelo menos em duas dimenses). De fato, o simples
2 Sobre a estrutura do espao- fato de que a geometria do espao-tempo hiperblica
tempo implica a existncia de uma classe de partculas cuja
velocidade sempre a mesma para qualquer referen-
Como se sabe, a formulao da teoria da relatividade cial inercial. Podemos nos convencer disso ao notar
deveu-se ao esforo de vrios cientistas (e.g., Lorentz, que em uma geometria hiperblica existem certas retas
Poincar, Einstein, Minkowski etc.). A descrio geo- (as assntotas) que no se alteram quando uma rotao
mtrica da teoria da relatividade a chamada teoria hiperblica implementada. Se, portanto, a linha de
do espao-tempo , por sua vez, foi proposta primeira- universo de uma partcula for paralela a uma dessas as-
mente por Poincar [5] em 1905 e, depois, de maneira sntotas, a sua direo ser sempre a mesma para qual-
mais acessvel e detalhada por Minkowski [6] em 1909. quer sistema de coordenadas inercial e, consequente-
Essa descrio geomtrica, que contm a prpria es- mente, a sua velocidade tambm ser sempre a mesma
sncia da teoria da relatividade, pode ser fundamen-
tada nas seguintes afirmaes, ou postulados1 . nesse texto.
2 No caso em que |v| > c devemos considerar uma rotao
1A influncia da gravidade ser explicitamente desprezada hiperblica estendida, conforme ser discutido na seo 4.
2
para qualquer referencial inercial. O fato experimental mos da teoria da relatividade usual que a energia de
de que da velocidade luz a mesma em qualquer re- uma partcula (do tipo tempo) relaciona-se com sua
ferencial inercial fornece, assim, um forte argumento a massa e seu momentum atravs da expresso E 2 =
favor do carter hiperblico do espao-tempo. p2 c2 + m2 c4 . Essa expresso quadrtica tem duas so-
Para uso futuro, faremos algumas definies e con- lues para a energia: uma raiz positiva e outra nega-
venes que sero utilizadas durante o texto. Uma vez tiva (geometricamente, esta equao descreve, para m
que estamos dispostos a levar em considerao part- fixo, um hiperboloide de duas faces). Na teoria relati-
culas que se movimentam em qualquer direo do vidade geralmente interpretamos os estados de energia
espao-tempo, convm empregarmos uma mtrica que positiva como estados acessveis a qualquer partcula
seja sempre real e no-negativa. Optamos, assim, por progressiva, ou, em outras palavras, que uma partcula
definir a mtrica pela expresso, progressiva possui sempre uma energia positiva. Em
p virtude dessa associao, decorre que, por consistn-
ds = |c2 dt2 dx2 dy 2 dz 2 |. (1) cia, devemos interpretar os estados de energia negativa
A escolha da mtrica, claro, no interfere nos resulta- como acessveis somente s partculas retrgradas, ou,
dos finais da teoria, uma vez que se tem certa liberdade em outros termos, que qualquer partcula retrgrada
em defini-la. deve possuir uma energia negativa.
Em termos da mtrica (1), vamos classificar os even- Esses dois conceitos que separadamente no possuem
tos como do tipo tempo, luz ou espao conforme a quan- sentido fsico a saber, partculas que voltam no tempo
tidade c2 dt2 dx2 dy 2 dz 2 seja positiva, nula ou ne- e partculas livres de energia negativa , podem ser con-
gativa, respectivamente. Uma classificao semelhante ciliados atravs do que se chama de princpio da inver-
pode ser atribuda a partculas e referenciais. Assim, so 3 . Esse princpio baseia-se no fato de que qualquer
por exemplo, partculas mais lentas que a luz (brdi- observador considera o tempo como que fluindo do pas-
ons) sero classificadas como partculas do tipo tempo e sado para o futuro e que qualquer medio da energia
partculas mais rpidas que a luz (tquions) como par- de uma partcula livre resulta em uma quantidade po-
tculas do tipo espao. Partculas que se movem com a sitiva. Desse modo, o princpio da inverso estabelece
velocidade da luz (luxons) sero classificadas, claro, que uma partcula retrgrada (cuja energia negativa)
como partculas do tipo luz. deve sempre ser fisicamente observada como uma par-
Tambm classificaremos as partculas de acordo com tcula progressiva usual (cuja energia positiva).
a sua direo de movimento no tempo. Partculas que
se movimentam para o futuro sero chamadas de pro-
gressivas e as que se movimentam para o passado, de
retrgradas. Partculas que se movimentam com veloci-
dade infinita s existem no instante presente e por isso
sero chamadas de momentneas. Uma classificao
idntica pode ser empregada referenciais.
3 Antipartculas e o Princpio da
Inverso
Figura 1: A partcula progressiva P interage com o
Na seo anterior introduzimos o conceito de partcu- fton e se transforma na partcula retrgrada Q.
las retrgradas como partculas que voltam no tempo.
Nessa seo vamos esclarecer como elas podem ser in- O leitor poderia pensar assim que no h diferen-
terpretadas do ponto de vista fsico. Para que a discus- as entre partculas progressivas e retrgradas, j que
so se torne mais simples, entretanto, vamos considerar aparentemente as ltimas so sempre vistas como s
apenas partculas do tipo tempo, isto , partculas cuja primeiras. No entanto, isso no bem assim, pois
velocidade menor que a da luz.
Deixe-nos comear o nosso estudo analisando qual 3 Switching principle, em ingls. s vezes o termo princpio
deve ser a energia de uma partcula retrgrada. Sabe- da reinterpretao tambm empregado.
3
ao observarmos uma partcula retrgrada como pro- que os tquions possuem uma propriedade bem interes-
gressiva, algumas de suas propriedades acabam por se sante: eles podem passar de uma partcula progressiva
inverterem no processo. Por exemplo, se a partcula a uma retrgrada (e vice-versa) atravs de um simples
retrgrada tem uma carga eltrica +e, ento devido movimento contnuo. Em outras palavras, ao acele-
ao princpio de conservao de carga eltrica, devemos rarmos um tquion podemos faz-lo se transformar em
observar a partcula invertida como que portando a um antitquion e vice-versa (no momento dessa inver-
carga e. Isso pode ser mais bem visualizado atravs so, alis, o tquion tornar-se-ia uma partcula momen-
da seguinte experincia. tnea, ou seja, uma partcula de velocidade infinita).
Considere o fenmeno descrito na figura 1, onde uma Isso, claro, s possvel para partculas do tipo es-
partcula progressiva P , de carga eltrica +e, interage pao.
com um fton e que, em virtude dessa interao, se
torne uma partcula retrgrada, Q. Note que a part-
cula Q , em verdade, a prpria partcula P mas que 4 Deduo das transformaes
agora se movimenta para trs no tempo. Portanto, a
carga eltrica da partcula Q tambm +e. de Lorentz estendidas (em 2 di-
Entretanto, quando esse processo for fisicamente ob- menses)
servado, o observador far uso do princpio da inver-
so (mesmo que de maneira inconsciente) e o fenmeno Deixe-nos agora mostrar como as transformaes de
passa a ser interpretado da seguinte forma: duas par- Lorentz podem ser generalizadas, ou estendidas, refe-
tculas de igual massa se aproximam e, em dado mo- renciais que se movimentam com uma velocidade maior
mento, colidem e se aniquilam, dando origem a um f- que a da luz, bem como para referenciais retrgrados.
ton. Desde que o fton no tem carga eltrica e sabe- Nessa seo nos limitaremos, contudo, a formular uma
mos que a carga eltrica observada da partcula pro- teoria em duas dimenses. Como j foi comentado,
gressiva +e, decorre que a carga eltrica observada em quatro dimenses nos deparamos com diversas di-
da partcula retrgrada tem de ser e. A concluso ficuldades para se fazer essa extenso, as quais sero
que se tira disso que o sinal da carga eltrica de uma explicadas na seo 10. Apresentaremos a seguir duas
partcula retrgrada se inverte no processo de observa- dedues para as Transformaes de Lorentz Estendi-
o. das (TLE), uma deduo algbrica e outra geomtrica.
Assim, uma partcula retrgrada de massa m e carga Deduo Algbrica: desde que, em duas dimen-
e sempre vista como uma partcula progressiva de ses, os postulados apresentados na seo anterior so
mesma massa e carga eltrica oposta. Ora, essas so suficientes para mostrar que a luz se propaga com
justamente as propriedades esperadas de uma antipar- mesma velocidade c em qualquer referencial inercial,
tcula. Portanto o princpio da inverso nos permite podemos tomar esse resultado como o nosso ponto de
concluir que qualquer partcula retrgrada observada partida.
fisicamente como uma antipartcula. O conceito de an-
Considere assim que um determinado evento tenha
tipartculas pode ser visto, assim, como um conceito
as coordenadas (ct, x) em relao a um referencial R e
puramente relativstico; no necessrio se falar de me-
que para um outro referencial inercial R , que se movi-
cnica quntica para se introduzir esse conceito4 .
menta em relao a R com velocidade v, as coordena-
Por fim, deixe-nos comentar que esses argumentos
das desse mesmo evento sejam (ct , x ). Suponha alm
tambm so vlidos no caso de partculas do tipo es-
disso que os eixos coordenados desses referenciais sejam
pao, ou seja, no caso dos tquions. No entanto, vere-
igualmente orientados e que em t = t = 0, a origem
mos na seo 8 que no caso dos tquions a energia se
dos referenciais coincidam5 .
relaciona com o momentum e a massa atravs da rela-
Nessas condies, se um raio de luz for emitido da
o E 2 = p2 c2 m2 c4 , equao esta que descreve um
hiperboloide de folha nica. Assim podemos verificar origem do referencial R e no instante t = 0, ento esse
raio de luz se propagar, em relao a R, conforme a
4 A conexo entre partculas que voltam no tempo com anti-
partculas j foi, claro, proposta por diversos cientistas (e.g., 5 Daqui em diante, sempre que falarmos nos referenciais R e R
Dirac [7], Stckelberg [8, 9], Feynman [10, 11], Sudarshan [12], assumiremos implicitamente que a velocidade relativa entre eles
Recami [4] etc.). v e que as condies estabelecidas acima so sempre satisfeitas.
4
equao Para (v) = 1, a equao (4) se torna
x2 c2 t2 = 0, (2)
x2 c2 t2 = x2 c2 t2 , (9)
e, para R , devido ao princpio de invarincia da velo-
cidade da luz, conforme Atravs das substituies formais x i e ct
ic , podemos reescrever (9) como
x2 c2 t2 = 0. (3)
x2 c2 t2 = 2 c2 2 . (10)
(2) e (3) implica, portanto, que
A equao (10) tem a mesma forma que a equao
2 2 2 2 2
(4) (7) e, portanto, admite mesma soluo:
2
x c t = (v) x c t ,
5
Podemos chamar tal transformao de rotao hiper- tambm as funes hiperblicas estendidas. Com essas
blica estendida. Note que (13) representa um par de convenes, encontramos que
hiprboles equilteras e ortogonais. As duas assntotas
+ cosh , I
sinh , II
cosh ,
cosh , III
+ sinh , IV
(16)
+ sinh , I
+ cosh , II
sinh ,
sinh , III
cosh , IV
6
5 A lei de composio de veloci-
dades e as transformaes in-
versas
As transformaes deduzidas na seo anterior formam
um grupo, no qual as transformaes de Lorentz or-
dinrias constituem apenas um subgrupo. Deixe-nos
demonstrar essa estrutura.
Em primeiro lugar, notemos que a identidade ob-
tida quando se faz v = 0. Mostraremos agora que a
composio de duas TLE resulta ainda em outra TLE.
Para isso introduzimos um terceiro referencial inercial
Figura 3: Grfico da funo hiperblica estendida, R , que se movimenta em relao a R com velocidade
cosh . O grfico da funo sinh semelhante a este, u = c tanh 23 . Por outro lado, supomos que o referen-
mas com uma defasagem de /2 rad. cial R movimenta-se com a velocidade v = c tanh 12
em relao a R. A lei de transformao entre R e R
j conhecemos, e pode ser escrita como
daquele mesmo ponto passaro a ser dadas agora por
(ct , x ) = ( cosh 2 , sinh 2 ). Como 12 = 1 2 ,
ct x tanh 12
segue que ct = (12 ) q ,
1 tanh2 12
ct = cosh (1 12 ) , x = sinh (1 12 ) . (21) (25)
x ct tanh 12
x = (12 ) q .
Substituindo as expresses de cosh (1 12 ) e 1 tanh2 12
sinh (1 12 ) por qualquer uma das expresses acima
e simplificando as expresses resultantes, levando-se
ainda em conta (17), pode-se verificar que (ct , x ) Por sua vez, a lei de transformao de R para R pode
relaciona-se com (ct, x) atravs das equaes ser escrita por uma expresso anloga:
7
suem a mesma forma de uma TLE, a saber, das transformaes inversas,
(32)
(23 ) = (12 ) (12 ) = (12 ) , A importncia do conceito de referenciais conjuga-
dos provm do fato de que uma transformao do tipo
j que (12 , 12 ) = (12 ), com (12 ) definido por espao entre dois referenciais, digamos, entre R e R ,
(23). pode ser obtida por uma transformao de Lorentz
Substituindo esse resultado em (26) obtemos ento, usual entre os referenciais R e R , bastando para isso
em termos das velocidades, as expresses procuradas fazer as substituies v c2 /v, ct x e x ct. De
8
fato, desde que w = c2 /v menor que c para v > c, fixo em R, quando ambos os relgios so medidos por
segue que a transformao de R para R dada por R. Para isso, considere que para o referencial R , o seu
relgio leve o tempo para dar uma oscilao com-
ct xw/c x wt pleta. O tempo T correspondente a essa oscilao para
ct = p , x = p . (35)
1 w2 /c2 1 w2 /c2 o referencial R pode ser encontrado atravs das trans-
formaes inversas (33), se lembrarmos que x = 0,
E pode-se verificar que, efetuando-se as substituies j que o relgio analisado est fixo em R . Obtemos
indicadas acima, obtm-se as transformaes corretas assim que
entre R e R .
Do ponto de vista geomtrico a passagem de um refe-
T = 1 () p . (36)
rencial para o seu conjugado consiste em uma reflexo |1 v 2 /c2 |
dos seus eixos coordenados em relao s assntotas da
curva (13), j que tal reflexo tem justamente o efeito Podemos ento verificar que um relgio progressivo
de trocar ct por x e vice-versa (e, consequentemente, o (em relao a R) em movimento trabalha em um ritmo
de substituir v por c2 /v). Vemos assim que uma trans- mais lento que um relgio em repouso quando a sua
velocidade for menor que a da luz (como, alis, bem
formao de Lorentz estendida pode ser reduzida a uma
transformao de Lorentz usual atravs de apropriadas sabido). Mas para um relgio mais rpido que a luz, o
reflexes em torno das assntotas (para o caso das trans- seu ritmo
de funcionamento continua a ser menor para
|v/c| < 2 e passa a ser maior quando |v/c| > 2.
formaes do tipo espao) e em torno da origem (para
uma transformao retrgrada do tipo tempo). Isso interessante notar que para |v/c| = 2 ambos os rel-
nos fornece uma nova maneira de se deduzir as TLE. gios voltam a funcionar no mesmo ritmo. Alm disso,
no caso de um relgio retrgrado, o relgio em movi-
interessante notar que se uma partcula tem ve-
mento marcar o tempo de trs para frente, o que ex-
locidade u = c2 /v em relao ao referencial R, ento
pressa o simples fato de que relgios retrgrados devem
ela ter uma velocidade infinita para o referencial R ,
marcar o tempo no sentido do futuro para o passado.
ou seja, ela ser uma partcula momentnea para esse
Deixe-nos agora verificar como o relgio fixo em R se
referencial. Assim, podemos verificar que se a veloci-
comporta em relao ao relgio de R , quando os tem-
dade da partcula for u > c2 /v e, alm disso, tivermos
pos so medidos por esse ltimo referencial. Nesse caso
v < c, ento essa partcula se tornar retrgrada para
devemos utilizar as transformaes diretas e obtemos
R , e ser observada como uma antipartcula por esse
referencial. Se, do contrrio, tivermos v > c , ento o
T = () p , (37)
referencial R observar uma antipartcula sempre que |1 v 2 /c2 |
u < c2 /v.
Desde que a velocidade relativa do referencial R em onde o tempo gasto pelo relgio fixo em R (i.e.,
relao a R v, decorre tambm que uma partcula que se move com velocidade v para R ) para dar uma
de velocidade u = c2 /v ter velocidade infinita em oscilao completa, quando esse tempo medido por
R. Assim, no caso em que se tem |v| < c, o referencial R. Agora, o sinal que aparece em (37) determinado
R ver uma antipartcula se u < c2 /v, e no caso conforme a figura (2) e a anlise se torna pouco mais
em que |v| > c, ele s observar uma antipartcula se ou menos complicada. claro que no h problemas
u > c2 /v. Essas relaes, claro, podem ser mais quando |v| < c, passemos ento a analisar o caso em
facilmente encontradas pela anlise (30) ou (31). que |v| > c. Suponha primeiro que o referencial R seja
progressivo em relao a R. Nesse caso encontramos
que () = 1 e o relgio que para R se movimenta
7 Rguas e relgios com velocidade v trabalha no sentido contrrio ao do
relgio fixo em R . Isso significa que o relgio de R
Considere dois relgios idnticos, mas com um deles retrgrado em relao R . Que isso verdade pode
fixo no referencial R, enquanto que o outro fixo no ser verificado atravs do que foi comentado na seo
referencial R . Desejamos comparar o ritmo de funci- anterior, onde se deve notar que u = 0 e |v| > c (e que,
onamento desses relgios, quando medido por um des- por conseguinte, u < c2 /v).
ses referenciais. Por exemplo, suponha que desejamos No entanto, essa uma situao interessante porque
comparar o ritmo do relgio fixo em R com o relgio acabamos de ver que para o referencial R, o relgio em
9
movimento funciona no mesmo sentido que o seu rel- rpida que a luz sero deduzidas e mostraremos como
gio, em repouso. Assim, enquanto um dos referenciais tais partculas se comportam quando na presena de
insiste que os relgios funcionam ao contrrio, o outro um campo de foras.
discorda, afirmando que ambos os relgios trabalham Como ponto de partida assumiremos que o princ-
no mesmo sentido! No caso em que o referencial R pio da ao estacionria aplica-se tambm partculas
retrgrado em relao a R a assimetria ainda persiste, mais rpidas que a luz. Isso, claro, segue diretamente
mas agora o referencial R que ver ambos os relgios da hiptese de que o espao-tempo isotrpico e homo-
funcionarem no sentido contrrio, enquanto que para gneo, uma vez que sabemos que esse princpio vlido
R os relgios funcionaro no mesmo sentido. Essa assi- para partculas mais lentas que a luz.
metria, claro, tem origem na prpria assimetria entre Como se sabe, o princpio da ao estacionria afirma
as transformaes diretas e inversas. que existe uma quantidade S, chamada ao, que as-
Considere agora duas rguas idnticas, uma colocada sume um valor extremo (mximo ou mnimo) para
no referencial R e outra no referencial R . Desejamos qualquer movimento possvel de um sistema mecnico
comparar o comprimento dessas rguas, quando anali- (no nosso caso, uma partcula). Por outro lado, na
sadas por um desses referenciais. Se l0 o comprimento ausncia de foras o movimento de uma partcula cor-
da rgua fixa em R quando medida por esse referen- responde a uma geodsica do espao-tempo, a qual se
cial, ento o seu comprimento L, como medido por R, reduz a uma reta quando desprezamos a gravitao.
obtido ao se determinar onde se encontram os estre- Isso significa que no caso de uma partcula livre a di-
mos da rgua em movimento em um dado instante t. ferencial da ao dS deve ser proporcional ao elemento
Fazendo uso das transformaes diretas, encontramos de linha ds da partcula e podemos escrever
que p
dS = ds, ds = |c2 dt2 dx2 dy 2 dz 2 |. (40)
p
L = () l0 |1 v 2 /c2 |. (38)
Para |v| < c reencontramos contrao de Lorentz, Temos de enfatizar, entretanto, que a constante de pro-
mas para |v| > c obtemos que a rgua em movimento porcionalidade pode assumir valores diferentes em
ser menor que a rgua em repouso quando |v/c| < 2 regies diferentes do espao-tempo, uma vez que es-
evoltar a ter o mesmo comprimento
quando |v/c| = sas regies so completamente desconexas. Portanto,
2. Por fim, para |v/c| > 2 teremos uma dilatao conveniente considerar cada caso separadamente.
de Lorentz. Alm disso, considerando que o referencial No caso de uma partcula progressiva do tipo tempo,
R progressivo em relao a R, decorre que para R a (40) assume a forma,
rgua em movimento estar orientada contrariamente p
a sua rgua, em repouso. dS = L (u) dt, L (u) = c 1 u2 /c2 , (41)
Se, por outro lado, as medies so feitas por R ,
ento encontramos que onde introduzimos a funo de LaGrange, L (u), para
p expressar a ao em termos da velocidade da partcula.
L = 1 () l0 |1 v 2 /c2 |, (39) Como se sabe, as expresses para a energia e mo-
mentum so obtidas pelas frmulas
e agora para R a rgua em movimento (que tem velo-
cidade v) apontar para o mesmo sentido que a sua L (u) L (u)
p (u) = , E (u) = u L (u) . (42)
rgua em repouso. Encontramos assim as mesmas as- u u
simetrias comentadas mais acima.
Esses resultados podem, claro, ser obtidos e mais Aplicando-se (42) em (41) obtemos, assim,
bem compreendidos atravs dos diagramas de Min- u/c c
kowski. p (u) = p , E (u) = p .
1 u2 /c2 1 u2 /c2
(43)
8 Dinmica Para determinar podemos usar o fato de que essas
expresses devem, para baixas velocidades, se reduzir
Nesta seo pretendemos responder a algumas ques- s expresses obtidas pela mecnica de Newton. As-
tes referentes dinmica dos tquions. As expresses sim, por exemplo, se expandirmos a expresso para
para a energia e o momentum de uma partcula mais o momentum em uma srie de potncias de u/c e
10
retermos apenas o primeiro termo, encontramos que
p u/c, ao passo que a mecnica de Newton nos
fornece p = mu. Assim obtemos = mc e ficamos
com
mu mc2
p (u) = p , E (u) = p , (44)
1 u2 /c2 1 u2 /c2
que so justamente as expresses conhecidas da relati-
vidade usual.
J caso de uma partcula progressiva do tipo espao
(i.e., no caso de um tquion progressivo), a funo de
LaGrange assume a forma
p
L (u) = c u2 /c2 1. (45)
Assim, segue que a massa, a energia e o momentum de Podemos assim verificar que as substituies de E , p
uma partcula devem estar relacionados sempre pela e w nas frmulas acima resultam exatamente na ex-
presso (49).
p
frmula mc2 = |E 2 c2 p2 |. Se colocarmos, nessa
ltima equao, E = 0, obtemos que p = mc = No caso de partculas retrgradas, a funo de La-
(onde assumimos p positivo para u positivo). E assim Grange troca de sinal, j que dt negativo e L = dS/dt.
conclumos que o momentum e a energia de um tquion Por conseguinte, partculas retrgradas devem ter ener-
so dadas pelas as expresses gia negativa, um resultado que j havamos indicado na
seo 3.
mu mc2 Por fim, deixe-nos mostrar como uma partcula do
p (u) = p , E (u) = p . (49)
u /c2 1
2 u2 /c2 1 tipo espao deve se comportar quando submetida a um
11
campo de foras. A fora que atua na partcula con- J vimos, claro, outras quantidades que eram con-
tinua, claro, sendo dada pela lei de Newton, p = F , sideradas absolutas na teoria da relatividade usual e
mas agora p dado por (49). Calculando a derivada, passaram agora a serem vistas como que relativas. Um
obtemos exemplo o conceito de emisso e absoro. Com
ma
F = 3/2
, (51) efeito, uma vez que pelo princpio da inverso no ob-
2 2
(u /c 1) servamos partculas retrgradas mas sim antipartculas
onde a = du/dt denota a acelerao da partcula. Note progressivas, os processos de emisso (absoro) de par-
que a fora dirigida no sentido oposto acelerao. tculas retrgradas so sempre observadas como uma
Consequentemente duas partculas do tipo espao que absoro (emisso) de antipartculas. Podemos, claro,
dinamicamente se atraem (se repelem) devem se afastar descobrir se uma partcula foi de fato emitida (absor-
(se aproximar) uma da outra. Os conceitos de atrao- vida) se analisarmos o processo no referencial onde a
aproximao e de repulso-afastamento, portanto, no fonte (emissor) est em repouso, nesse caso falaremos
so mais equivalentes quando lidamos com tquions. de uma emisso (absoro) intrnseca ou prpria.
De fato, se tentssemos se aproximar (ou se afastar) de O carter relativo da causalidade, todavia, no leva
um tquion, a sua velocidade relativa diminuiria (au- a nenhuma contradio teoria. Na natureza, um
mentaria), um efeito que contrrio ao nosso senso co- fenmeno nunca descreve um evento isolado, mas sim
mum mas que pode ser demonstrado por uma simples uma sucesso contnua de eventos, ou seja, um pro-
anlise de (31). cesso fsico. Geometricamente um processo descreve
uma curva contnua no espao-tempo e portanto tem
um carter absoluto: a ordem temporal com que os
9 Causalidade e o paradoxo de eventos ocorrem podem diferir de referencial para re-
ferencial, mas a curva em si, que corresponde ao fen-
Tolman meno em questo, a mesma para qualquer um deles.
Um dos argumentos geralmente empregados para se Isso, por exemplo, suficiente para mostrar que no po-
mostrar que partculas mais rpidas que a luz no po- demos voltar no tempo e matar o nosso av. De fato,
dem existir que a sua existncia implicaria uma viola- o simples fato de existirmos significa que existe uma
o do princpio de causalidade. Com efeito, suponha curva no espao tempo conectando o nosso av a ns
que um tquion seja emitido por um corpo A no ins- e, por essa curva ter carter absoluto, ela no pode ser
tante tA e que ele seja absorvido por outro corpo B no (estar) desconectada por (para) qualquer observador,
instante tB , onde tB > tA . Como esses dois eventos mesmo que este voltasse no tempo.
(emisso de um tquion por A e sua absoro por B)
esto separados por uma distncia do tipo espao, sabe-
mos da teoria da relatividade que possvel encontrar
um outro referencial, com velocidade menor que a da
luz, onde a ordem cronolgica desses eventos se inverte.
Assim, se assumirmos que o evento em A a causa do
evento B, ento chegaremos a concluso de que, para
esse referencial em movimento, o efeito precede a sua
causa.
Portanto, se admitirmos que os conceitos de causa
e efeito so absolutos, e que a causa sempre precede
o seu efeito, ento efetivamente somos levados a con-
cluso de que partculas mais rpidas que a luz no
podem existir. No entanto, no h nada do ponto de Figura 5: Experimento imaginado por Tolman.
vista matemtico que d suporte a essa hiptese. Pelo
contrrio, se admitirmos uma completa isotropia e ho- Como exemplo de um paradoxo que envolve o con-
mogeneidade do espao e tempo, ento no temos outra ceito de causalidade, deixe-nos analisar o interessante
escolha seno considerar os conceitos de causa e efeito paradoxo proposto e discutido por Tolman [15] em
como conceitos relativos. 1917, embora j tivesse sido apontado dez anos antes
12
por Einstein em [16]. Maiores detalhes podem ser con- Portanto, se o referencial R de fato recebe a per-
feridos em [17, 18, 19]. gunta de R e de fato emite a sua resposta, ento o pro-
O paradoxo consiste em mostrar que se existissem cesso ser descrito, em verdade, pela figura 5b e no
partculas mais rpidas que a luz, ento seria possvel pela figura 5a. Nesse caso, a resposta sempre chega
enviar informaes para o passado. Para mostrar isso, depois de a pergunta ser enviada pelo referencial R.
considere que os referenciais R e R (com R movendo- claro que a figura 5a tambm representa um pro-
se com uma velocidade v < c em relao a R) sejam cesso fsico vlido, mas no se refere efetivamente situ-
equipados com certos aparelhos telefnicos especiais, ao descrita no paradoxo de Tolman. Alm disso, cada
cuja comunicao feita atravs da transmisso de t- referencial ter a sua prpria viso do que ocorre. Por
quions. Imagine, assim, que um observador em R en- exemplo, para o referencial R a figura 5a corresponde
vie (evento A) uma mensagem, digamos na forma de ao caso onde, primeiramente, h o envio da mensagem
uma pergunta, para R e que, aps o seu recebimento C (por meio de antitquions) e, logo depois, o envio da
(evento B), um observador em R mande de volta para mensagem A (por meio de tquions), por fim, ambas
R a sua resposta, que ento recebida por R (evento as mensagens chegam juntas em B. J para R tudo se
C). Acontece que, como pode ser visto na figura 5a, o passa como se ele enviasse a mensagem C para R por
observador em R pode calibrar o seu aparelho de modo meio de antitquions e, ao mesmo tempo, enviasse a
que a mensagem enviada por ele chegue em R antes que mensagem A por meio de tquions, ento aps algum
esse observador tivesse enviado a sua pergunta. Assim, tempo ele veria que o observador em R recebe a men-
uma vez que R obtm a resposta antes mesmo de fazer sagem C e depois a mensagem A. Note que a ordem
a pergunta, R poderia deixar de faz-la, mas caso ele cronolgica dos eventos depende do referencial consi-
tome essa deciso, tambm no poderia haver qualquer derado, mas o processo em si (que interliga os eventos
resposta por parte de R , o que constitui uma situao A, B e C) nico.
paradoxal.
A falha nessa argumentao que ela mistura as
descries dos referenciais quando os termos emisso 10 Dificuldades para se formular
e absoro so empregados. De fato, mostraremos
agora (seguindo [4]) que se o referencial R receber in-
a teoria dos tquions em 4 di-
trinsecamente a pergunta enviada por R, e tambm menses
enviar intrinsecamente a sua resposta, ento o referen-
cial R sempre receber a resposta de R depois de ter Na seo 4 conseguimos com xito mostrar que em duas
enviado a sua pergunta. dimenses as transformaes de Lorentz podem ser es-
Para isso, suponha que a pergunta de R enviada tendidas, de modo a relacionar qualquer par possvel
com uma velocidade u1 , e que a resposta volte com e imaginvel de referenciais inerciais. Quando, porm,
uma velocidade u2 , com ambas as velocidades maiores tentamos fazer o mesmo em quatro dimenses, nos de-
que a da luz e medidas por R. Ento note que para a paramos com srias dificuldades, as quais sero breve-
resposta de R chegar antes da pergunta de R, neces- mente discutidas aqui.
srio que se tenha |u1 | > |u2 |, porque para R o evento Deixe-nos lembrar o leitor que ao estender as trans-
C anterior a A e ambos chegam em B no mesmo formaes de Lorentz em duas dimenses, fizemos o
instante. No entanto, para que o referencial R receba uso de um importante princpio: o que afirma que a
intrinsecamente a pergunta de R necessrio que se velocidade da luz a mesma em qualquer referencial
tenha |u1 | < c2 /v, j que do contrrio, conforme vi- inercial. Vimos, alis, que esse princpio pode ser de-
mos na seo 6, essa mensagem seria retrgrada para duzido a partir dos postulados apresentados na seo
R e o observador em R veria simplesmente a emisso 2, de modo que ele pode ser visto como um teorema da
de uma mensagem por meio da transmisso de anti- prpria teoria da relatividade. Quando, todavia, passa-
tquions, conforme prediz o princpio da inverso. Da mos para um universo de 4 dimenses, no mais pos-
mesma forma, para que R emita intrinsecamente a sua svel mostrar a validade geral desse teorema da mesma
resposta, devemos ter |u2 | > c2 /v, j que a resposta forma que fizemos l, de modo que em quatro dimen-
enviada na direo negativa do eixo X de R. Assim, ses no podemos nem mesmo afirmar que a luz se
mostramos que |u2 | > |u1 |, uma contradio. propaga em superfcies esfricas e com velocidade c em
13
qualquer referencial inercial. corre esse cone, no importando qual seja a velocidade
Para mostrar mais claramente a origem dessa difi- da fonte que a emitiu, ento podemos verificar que em-
culdade, deixe-nos considerar por exemplo uma fonte bora a luz se propague em superfcies esfricas de ve-
de luz fixa na origem do referencial R e supor que em locidade c para R, o mesmo no ocorre para R , que
relao a esse referencial a luz se propague em superf- observa a luz se propagar em hiperboloides de dupla
cies esfricas e com velocidade c. Em quatro dimenses face.
as assntotas do espao-tempo so substitudas por um Para que a luz se propague em superfcies esfricas de
cone o cone de luz. A regio do espao-tempo ocu- velocidade c em ambos os referenciais necessrio que
pada por um raio de luz que emitida pela fonte fixa as coordenadas transversais, y e z , do referencial R
em R sempre pertence a esse cone de luz. sejam imaginrias (assumindo que y e z so reais). Pois
A teoria da relatividade usual mostra tambm que somente desse modo se pode mapear um cone de luz do
para qualquer outro referencial inercial do tipo tempo, tipo tempo em um cone de luz do tipo espao. Com
a propagao dessa luz ainda representada por esse efeito, isso pode ser mostrado ao se deduzir as TLE
mesmo cone de luz. Mas como a luz deve se comportar em 4 dimenses, assumindo desde o incio a validade
para um referencial R do tipo espao? Nesse caso, o do princpio de invarincia da velocidade da luz para
eixo do tempo desse referencial estar sempre na regio qualquer referencial inercial. De fato, teremos nesse
externa ao cone de luz de R, de modo que no evi- caso,
dente que a luz emitida pela fonte fixa em R deva se
propagar em superfcies esfricas de velocidade c para
x2 + y 2 + z 2 c2 t2 = (v) x2 + y 2 + z 2 c2 t2 ,
R . Alm disso, podemos nos perguntar o que acontece
quando uma fonte fixa em R emite luz. Ser que para (52)
R essa luz se propagar em superfcies esfricas de ve- no lugar de (4). Como se sabe, a soluo dessa equao
locidade c? E para o referencial R, onde a fonte tem para (v) = +1 consiste nas transformaes de Lorentz
velocidade v > c, o que ocorre? usuais, enquanto que, para (v) = 1 obtemos
Como se pode ver, h vrias questes que no podem
ser respondidas de imediato, sem se ter informaes ct xv/c x vt
adicionais. De fato, o comportamento da luz depende ct = p , x = p ,
v 2 /c2 1 v 2 /c2 1 (53)
de suas propriedades intrnsecas, as quais so deter-
minadas por uma teoria eletromagntica que a priori y = iy, z = iz,
desconhecemos. Deixe-nos analisar um pouco mais es-
sas possibilidades.
Podemos supor, por exemplo, que a fonte de luz fixa e as coordenadas transversais y e z tornam-se imagi-
em R (que vamos supor ter velocidade maior que a da nrias. A introduo de coordenadas imaginrias , no
luz) tambm emita ondas esfricas e com velocidade c entanto, desprovida de qualquer sentido fsico8 .
para esse mesmo referencial. Ento agora deve existir Se, por sua vez, negarmos a validade do princpio
um outro cone de luz, correspondente esse referencial de invarincia da velocidade da luz, ento obtemos as
do tipo espao e que deve contornar o eixo do tempo de
R . Uma vez que o eixo do tempo de R sempre estar
8 Alguns autores, como por exemplo em [20], argumentam que
fora desse novo cone de luz, segue que para R a luz
a introduo de coordenadas imaginrias na teoria no constitui
emitida pela fonte em movimento no se propagar em um problema. A soluo apresentada por eles consiste em con-
superfcies esfricas de velocidade c, mas antes ter a siderar os prprios eixos coordenados Y e Z como imaginrios,
forma de um hiperboloide de dupla face. Nesse caso a de modo que os observadores do referencial (do tipo espao) R
velocidade dos raios luminosos dependeria, por conse- sempre interpretem as coordenadas y e x como relativamente
reais. Isso, todavia, no consistente. De fato, considere por
guinte, da sua direo de propagao e o espao-tempo exemplo um raio de luz que se propague na direo Y do referen-
no poderia mais ser considerado isotrpico. cial R. Para o referencial R , a luz caminha por uma trajetria
Se, do contrrio, considerarmos que a luz emitida oblqua, e as componentes
p de sua velocidade tero as magnitudes
|cx | = v e cy = c v2 /c2 1. Assim, para que o raio de luz
pela fonte em R se propaga em superfcies esfricas se propague com a velocidade c = c, estritamente necessrio
com respeito ao referencial R, ou seja, que no universo que o quadrado de cy seja um nmero negativo, o que contraria
existe apenas um cone de luz, e que a luz sempre per- a hiptese de que cy um nmero relativamente real.
14
transformaes
ct xv/c x vt
ct = p , x = p ,
v 2 /c2 1 v 2 /c2 1 (54)
y = y, z = z.
15
observador correspondente (por uma escolha conveni- e (59) em (56). Alm disso, notemos que nessa for-
ente do sistema de coordenadas isso, claro, pode sem- mulao, a forma como os tquions so observados no
pre ser feito). referencial R pode ser completamente diferente de sua
Deixe-nos ento mostrar agora como se pode ob- forma para o referencial R , uma vez que para o re-
ter as TLE que estejam de acordo com os postulados ferencial R as coordenadas transversais so dadas por
apresentados na seo 2. Para isso, considere um de- y = cty e z = ctz , as quais no so acessveis a R .
terminado evento de coordenadas (ctx , cty , ctz , x, y, z) Alm disso, interessante notar que se uma fonte
em relao a um referencial R, mas que apenas as de luz for fixada ao referencial R , ento o referencial
coordenadas (ctx , x, y, z) sejam acessveis a esse refe- R ver essa luz se propagando em superfcies esfri-
rencial. Analogamente, para o referencial R deixe cas com velocidade c, conforme mostramos, mas desde
ctx , cty , ctz , x , y , z serem as coordenadas daquele
que a fonte tem nesse caso uma velocidade maior que
mesmo evento, onde agora somente as coordenadas c, teremos efetivamente a formao de um cone de
(ctx , x , y , z ) so acessveis a R . Mach, pois a fonte estar sempre frente das ondas
Considere primeiro o caso em que v < c. Nesse caso que emite. Pode-se mostrar ento que a superposio
evidente que as dimenses acessveis de R e R de- das ondas emitidas por essa fonte superluminal formam
vem ser iguais, j que para v = 0 devemos obter a duas frentes de onda com o formato de hiperboloides.
identidade. Assim, obtemos diretamente que as trans- A velocidade de grupo dessas ondas depende da dire-
formaes procuradas consistem nas transformaes de o, sendo sempre maior que c (exceto na direo X,
Lorentz usuais, acrescidas das relaes cuja velocidade c). Isso, no entanto, deve-se pura-
mente a um fenmeno de interferncia, diferentemente
cty = cty , ctz = ctz , y = y, z = z. (57) do que ocorria nos casos discutidos na seo anterior.
Considere agora o caso de mais interesse em que Ondas desse tipo so comumente chamadas de ondas
v > c. Aqui, pelo contrrio, deve haver uma inver- X e efetivamente so solues superluminais das equa-
so nas dimenses acessveis de R quando observadas es de Maxwell [21, 22] essas ondas, inclusive, j fo-
por R . De fato, podemos dizer que os referenciais R ram observadas e at mesmo produzidas em laboratrio
e R esto, agora, em universos ortogonais diferentes. [3, 21, 22, 23], o que constitui uma importante verifi-
Assim, as coordenadas cty e ctz devem passar a ser cao experimental da existncia de fenmenos super-
acessveis para R , enquanto que as coordenadas y e z luminais na natureza.
devem se tornar inacessveis. Note ainda que para a luz
se propagar em superfcies esfricas de velocidade c em
ambos os referenciais necessrio apenas que se tenha Agradecimentos
d = d = 0. Contudo, podemos considerar a hip-
tese mais forte de que sempre se tenha ds = ds = 0 O autor agradece ao Prof. Dr. A. Lima-Santos pela
para um raio de luz. Nesse caso facilmente se verifica leitura do manuscrito e sugestes, e tambm Fun-
que condio anterior satisfeita atravs das relaes dao de Amparo Pesquisa do Estado de So Paulo
(FAPESP) pelo suporte financeiro.
cty = y, ctz = z, y = cty , z = ctz , (58)
16
Semana da Fsica da Universidade Fede- [14] J. Vaz Jr., A lgebra Geomtrica do
ral de So Carlos, So Carlos, (2011). Espao-tempo e a Teoria da Relativi-
dade, Rev. Bras. Ens. Fsica, 22, p. 5-31,
[3] E. Recami, Superluminal motions? A (2000).
bird-eye view of the experimental situ-
ation, Found. Phys., 31, p. 11191135, [15] R.C. Tolman, The Theory of Relativity of
(2001). Motion, (Berkeley, 1917).
[4] E. Recami, Classical Tachyons and Pos- [16] A. Einstein, ber die vom Relativitts-
sible Applications, Riv. Nuovo Cim. vol. prinzip geforderte Trgheit der Energie,
9, s. 3, n. 6, p. 1-178, (1986). Ann. d. Phys. 23, p. 371-384, (1907).
[17] D. Bohm, The Special Theory of Relati-
[5] H. Poincar, Sur la dynamique de vity, (New York, 1965).
llectron, Circ. Mat. Palermo, 21, p.
129176 (1906). [18] E. Recami, The Tolman antitelephone
paradox: Its solution by tachyon mecha-
[6] H. Minkowski, Raum und Zeit, Phys. Z. nics, Lett. Nuovo Cim. 44, p. 587-593,
10, p. 104-111, (1909). (1985).
[7] P.A.M. Dirac, A Teory of electrons and [19] E. Recami, Tachyon kinematics and cau-
protons, Proc. R. Soc. London, A 126, p. sality: A systematic, thorough analysis
360-365 (1930). of the tachyon causal paradoxes, Found.
Phys., 17, p. 239-296 (1987).
[8] E.C.G. Stckelberg, Remarque a Propos
de la Cration de Paires de Particules en [20] R.L. Dawe, K.C. Hines, The Physics of
Thorie de Relativit, Helv. Phys. Acta, Tachyons I. Tachyon Kinematics, Aust.
14, p. 588-594, (1941). J. Phys. 45, p. 591-620, (1992).
[9] E.C.G. Stckelberg, La mcanique du [21] E.C. de Oliveira, W.A. Rodrigues Jr., So-
point matriel en thorie de relativit et lues Superluminais de Enegia finita das
en thorie des quanta, Helv. Phys. Acta, Equaes de Maxwell, Tend. Mat. Apl.
15, p. 23-37, (1942). Comput., 3, p. 165-171, (2002).
[22] E. Recami, M.Z. Rached, Localized Wa-
[10] R.P. Feynman, Space-Time Approach to
ves: A not-so-short Review, Advances in
Quantum Electrodynamics, Phys. Rev.
Imaging & Electron Physics, 156, p. 235-
76, p. 769-789, (1949).
355, (2009).
[11] R.P. Feynman, The reason for antipar- [23] E. Recami, M. Fracastoro-Decker, W.A.
ticles, in Elementary Particles and the Rodrigues Jr., Tquions, Revista Cincia
Laws of Physics, The 1986 Dirac Memo- Hoje, 5, n. 26, p. 48-59 (1986); E. Re-
rial Lectures by R.P. Feynman and S. cami, M.Z. Rached, Mais velozes que a
Weinberg, (Cambridge University Press, luz? Revista Cincia Hoje, 29, n. 170, p.
Cambridge, 1987). 20-25 (2001).
[12] O.M.P. Bilaniuk, V.K. Deshpande e
E.C.G. Sudarshan, Meta Relativity,
Am. Journ. Phys., 30, p. 718-723, (1962).
17