Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Contenido
1. INTRODUCCIN
1. Introduccin
El presente trabajo estudia las implicaciones que trae consigo el
generalizar la Mecnica Clsica a un espacio de conguracin de dimensin cuatro, en donde el tiempo es considerado el cuarto grado de
libertad y se ha introducido el tiempo propio de un sistema como nuevo
parmetro dinmico.
Al considerar al tiempo como un cuarto grado de libertad, es de
suponer que existan sistemas mecnicos que se muevan libremente en
la direccin temporal as como sucede en las otras tres dimensiones espaciales. Esto es, que la razn entre el tiempo medido en el laboratorio
y el tiempo propio no sea necesariamente la unidad. Por lo mismo,
y siguiendo los pasos del desarrollo Hamiltoniano, se obtienen expresiones para la componente temporal del momento lineal (momentum)
de una partcula y, necesariamente, para la energa derivada de dicho
momento, que es generada por el movimiento de un sistema en la direccin temporal. Esta energa, es bautizada con el nombre de Energa
Cintica Temporal, o simplemente Energa Temporal. Igualmente se
considera la posible existencia de potenciales que acten a lo largo de
la cuarta coordenada.
Se estudia tambin la interaccin de ste tipo energa con otras,
mediante teoremas de conservacin y as se recuperan resultados experimentales. Adems se espera tambin poder alterar el valor de la
energa temporal de un sistema, con el objeto de variar la velocidad con
que este se desplaza a travs del tiempo, detenerlo, e incluso producir
regresiones temporales.
El objetivo del presente trabajo es demostrar que existen situaciones
fsicamente reales en que se puede considerar lo dicho anteriormente
como cierto, en particular en aquellos sistemas en movimiento a gran
velocidad, sistemas no inerciales y fenmenos de desintegracin, as
como de creacin-aniquilacin de partculas.
Ms an, hacia el nal del trabajo se plantea la posibilidad de
generar regresiones temporales controladas, y en especial, la posibilidad
de hacerlo sobre sistemas macroscpicos y no nicamente en partculas
elementales. En palabras sencillas, conseguir que un sistema viaje al
pasado.
Parte 1
CAPTULO 1
APARATO MATEMTICO
El objetivo principal de este captulo es la introduccin de un espacio vectorial de dimensin cuatro, que se diferenca del euclideano por
la presencia de una dimensin imaginaria.
Se ver que al escoger el espacio de esta forma se recuperan conceptos elementales de Algebra y Geometra, evitando as la necesidad
de denir nuevos.
1. Algebra Lineal.
1.1. Espacio Vectorial. Se dene un espacio vectorial S de dimensin cuatro como
S = R3
(1.1.1)
iR
A continuacin se dene una base arbitraria de vectores ortonormales eb , as como un conjunto de coordenadas correspondiente q ,
recordando que por la forma especca del espacio utilizado, la coordenada q4 es imaginaria. Un punto P en el espacio S estar entonces
denido por
(1.1.2)
P := (q1 ; q2 ; q3 ; iq4 )
!
De igual forma, un vector A en el espacio S se dene respecto al origen
de la base utilizada como
! X
A =
q eb
4
(1.1.3)
1.2. Producto Escalar. El producto escalar se dene idnticamente al usual. En trminos de los vectores base toma la forma
(1.1.4)
eb
eb =
1 si
0 si
2
=
6
=
1. ALGEBRA LINEAL.
! !
Para dos vectores A y B arbitrarios, donde
A =
4
X
=1
B =
4
X
=1
a eb
b eb
(1.1.5)
=1
:S
S!R
S y
(1.1.7)
d=
! !
A B
Hay que notar que, debido a la naturaleza imaginaria de la coordenada q4 , la mtrica no necesariamente es una cantidad real.
1.4. Producto Externo. Se construye un producto externo en
generalizacin del clsico, como una funcin que toma valores en un
subespacio s de dimensin 3 y mapea sobre su Kernel.
! ! !
Sean A , B y C tres vectores cualesquiera, elementos de S. Por
un resultado del Algebra Lineal, se sabe que dichos vectores generan
sobre S un subespacio s de dimensin 3. Entonces se dene el producto
externo en representacin matricial como la funcin
2
3
b
E
6 ! 7
! ! !
6 A 7
(1.1.8)
A ; B ; C = det 6 ! 7
4 B 5
!
C
2. ANLISIS VECTORIAL.
en donde
b=
E
4
X
1
eb
f =f( )
(1.2.2)
4
X
@
eb
@q
1
3. TIPOS DE COORDENADAS.
grad f =
f=
4
X
1
eb
@
f
@q
!
Sea A un vector arbitrario que dene un campo vectorial. La divergencia de dicho campo est dada por
! ! ! X @
div A =
A =
A
@q
1
4
(1.2.5)
!
Sea A un campo vectorial sobre S. Su rotacional se dene como
!
! ! !
(1.2.6)
rot A =
; ;A
es decir,
(1.2.7)
3
eb1 eb2 eb3 eb4
6 @1 @2 @3 @4 7
!
7
rot A = det 6
4 @1 @2 @3 @4 5
A1 A2 A3 A 4
2
!2
4
X
@2
=
@q 2
1
3. Tipos de Coordenadas.
La forma usual de obtener los operadores vectoriales en coordenadas
generalizadas se presenta en el Apndice B, as como un tipo nuevo de
coordenadas hiperesfricas. En este captulo se incluyen slo aquellas
de uso comn en problemas fsicos.
3.1. Coordenadas Rectangulares. Es de particular importancia denir una base rectangular, que ser una generalizacin de la cartesiana. Esta base se utilizar para el plateamiento de los resultados de
la Relatividad Especial.
La base rectangular se representa por los vectores
(1.3.1)
eb1 = ^{; eb2 = b
|; eb3 = b
k; eb4 = b
l
3. TIPOS DE COORDENADAS.
q1 = x 1 ;
q2 = x 2 ;
q3 = x 3 ;
q4 = ix4
(1.3.5)
(1.3.6)
(1.3.7)
@
! !
A =
Ax +
@x1 1
2
^{
! 6
@
x1
rot A = 6
4 @x
1
Ax 1
!2
@
@
@
Ax 2 +
Ax 3 +
Ax
@x2
@x3
@ix4 4
3
b
b
|^
k
l
@x2 @x3 @ix4 7
7
@x2 @x3 @ix4 5
Ax 2 Ax 3 Ax 4
@2
@2
@2
+
+
=
@x21 @x22 @x23
@2
@x24
q1 = R;
q2 = ;
q3 = x 3 ;
q4 = ix4
=
=
=
=
R cos
R sin
x3
x4
!
As, un vector A se dene como
!
b + x3 b
(1.3.10)
A = RR
k + ix4b
l
3. TIPOS DE COORDENADAS.
(1.3.12)
1 @
1 @
@
@
! !
A =
RAR +
A +
Ax 3 +
Ax
R @R
R@
@x3
@ix4 4
2
(1.3.13)
!2
(1.3.14)
1 @
R @R
3
b
b
k
l
@x3 @ix4 7
7
@x3 @ix4 5
Ax 3 Ax 4
b
1
@
R
1
@
R
A
b
R
! 6
@R
rot A = 6
4 @R
AR
@
@R
@2
1 @2
+
R2 @ 2 @x23
@2
@x24
b
eb1 = R;
(1.3.15)
q1 = R;
q2 = ;
eb3 = '
b;
q3 = ';
eb4 = b
l
q4 = ix4
=
=
=
=
(1.3.18)
b
f =R
@
1
@
1 @
@
f +b
f +'
b
f +b
l
f
@R
R sin ' @
R @'
@ix4
! !
A =
1 @ 2
1
@
R
A
+
A
R
R2 @R
R sin ' @
1
@
@
+
sin 'A' +
Ax
R sin ' @'
@ix4 4
(1.3.19)
3. TIPOS DE COORDENADAS.
(1.3.20)
b
R
6
!
@R
rot A = 6
4 @R
AR
1
@
R sin '
1
@
R sin '
3
b
'
b
l
1
@ @ix4 7
R '
7
1
5
@
@
'
ix
4
R
A' A x 4
1
@2
1 @
2 @
R
+
R2 @R
@R
R2 sin2 ' @ 2
1
@
@
@2
+ 2
sin '
(1.3.21)
R sin ' @'
@'
@x24
Estas coordenadas son de gran importancia al resolver problemas
con simetra espacial, como aquellos que tienen que ver con potenciales
esfricos, por ejemplo campo elctrico. Se ver que la eleccin de estas
coordenadas es un acierto, al plantear la parte de gravitacin.
!2
CAPTULO 2
2. TRATAMIENTO SEMICLSICO.
10
Definicin 2. El sistema propio de una partcula es aquel referencial inercial respecto del cual su vector de posicin toma la forma
!
r = ict^l, es decir, es un sistema para el cual la partcula se encuentra en el origen respecto a las componentes espaciales de su vector de
posicin en todo momento.
Se hace hincapi en que la denicin anterior ser cambiada posteriormente, pero sirve para introducir de manera sencilla la denicin
de tiempo propio, que ser tomada como correcta y utilizada en todo
el tratamiento que sigue.
Definicin 3. El tiempo propio de una partcula es el tiempo medido en su sistema propio y avanza uniformemente. En lo subsecuente
se le denotar por la letra .
El tiempo propio jugar el papel de parmetro en el desarrollo subsecuente, esto es, las coordenadas del marco de referencia introducidas
arriba sern ecuaciones paramtricas de , es decir,
(2.1.1)
q =q ( )
q1 = x;
q2 = y;
q3 = z;
q4 = ict
2. TRATAMIENTO SEMICLSICO.
11
(2.2.2)
2 Se
2. TRATAMIENTO SEMICLSICO.
12
f0 =
d
f
dt
!
r = x^{ + y^
| + zb
k + ictb
l
!
b + ictb
r = RR
l
en coordenadas esfricas, donde el trmino R agrupa todas las componentes espaciales, y el ltimo trmino dar la posicin con respecto al
origen establecido para la coordenada temporal.
2.4. Vector velocidad. Como las coordenadas q son funciones
del parmetro , describen curvas en el espacio de conguracin S.
La forma de dichas curvas puede ser descrita mejor por medio de su
!
derivada paramtrica. El vector velocidad r_ se dene entonces como
(2.2.6)
4
d!
d X
!
r_ =
r =
q eb
d
d 1
! X d
r_ =
eb
q
d
1
4
(2.2.7)
d
!
b + ict_b
r_ =
RR
l
d
donde el primer trmino corresponde a las componentes espaciales y
recibe el nombre de velocidad espacial y el ltimo ser referido como
velocidad temporal.
(2.2.9)
2. TRATAMIENTO SEMICLSICO.
13
4
d X
!
!
p = m r_ = m
q eb
d 1
!
p =m
4
X
1
eb q_
Aqu se aprecian tres componentes espaciales del momento de la partcula, conocidas como momento espacial, y una componente en la direccin temporal, el momento temporal.
S := S
La construccin explcita de este espacio se realiza con las deniciones y consideraciones anteriores. De esta manera, un punto en dicho
espacio est descrito por la octeta
P = x; y; z; ict; mx;
_ my;
_ mz;
_ mict_
Puede apreciarse que en tal octeta est toda la informacin necesaria
para la resolucin de un problema fsico.
2.7. Leyes de Newton, Fuerza y vector aceleracin. Al ser
este estudio una generalizacin 4-dimensional de la Mecnica Clsica,
se conserva la forma de las tres Leyes de Newton, por lo que no es
necesario revisarlas.
Sin embargo se estudia la Segunda Ley, con el propsito de encontrar una forma explcita para una fuerza actuando en el espacio
S. Esto se hace deniendo la fuerza de la manera habitual, como la
derivada paramtrica del momento
!
d!
(2.2.14)
F =
p
d
o, sustituyendo (2.2.10) en la ecuacin anterior,
2. TRATAMIENTO SEMICLSICO.
14
4
!
d
d X
q eb
F =
m
d
d 1
(2.2.15)
!
k + mictb
l
F = m
x^{ + m
y |^ + m
zb
(2.2.18)
Cuando d
en este caso
entonces
!
!
F = m r
t00 = 0
convirtindose la ecuacin anterior en
!
F = mx00^{ + my 00 |^ + mz 00 k^
que es la denicin clsica de fuerza en tres dimensiones. En conclusin,
(2.2.19)
!
!
F = m r ! m!
r 00
2. TRATAMIENTO SEMICLSICO.
15
(2.2.22)
2.8. Trabajo y Energa cintica. Partiendo del vector de posicin, se dene un diferencial de trayectoria d!
r para una partcula
como
d!
r =
(2.2.23)
4
X
1
eb dq
!
dW = F d!
r
(2.2.24)
se obtiene entonces
dW =
4
X
1
d2
eb
q
d 2
4
X
1
4
X
dq
dW = m
4
X
d2
q
d 2
dq
= m
4
X
q_ d
d
q_
d
d
q_
d
esto es,
(2.2.25)
dW = m
4
X
1
q_ dq_
eb dq
2. TRATAMIENTO SEMICLSICO.
16
Integrando (2.2.24)
W
W0 =
!
r
! !
F dr
!
r0
4
XZ q
4
X
1
4
X
1
mq_ dq_
mq_2
mq_
q_
q_
4
X
1
1
mq_2 0
y notando que
4
X
! !
q_2 = r_ r_ = r_ 2
1
W0 = mr_ 2
2
1 2
mr_
2 0
1
K := mr_ 2
2
4W = 4K
1
1
1
K = mx_ 2 + my_ 2 + mz_ 2
2
2
2
1 2 _2
mc t
2
Puede verse que sta no es necesariamente una cantidad positiva. Expresndola en trminos del vector momento, se tiene
K =
4
X
1
1
mq_2
1 X 2 2
=
m q_
2m 1
4
2. TRATAMIENTO SEMICLSICO.
y notando que
!
p !
p = p2 =
4
X
1
4
X
m2 q_2
eb q_
4
X
1
17
eb q_
entonces
1 2
p
2m
resultado que tambin era de esperar.
En el lmite cuando d ! dt, se encuentra
(2.2.30)
K=
1
1
1
1 2
K ! mx02 + my 02 + mz 02
mc
2
2
2
2
pero, ya que lo nico que es fsicamente medible son los cambios de
energa 4K, resulta
1
1
1
02
4K !
m x02 x02
y002 + m z 02 z002
0 + m y
2
2
2
1 2 1 2
mc + mc
2
2
1
1
1
02
02
=
m x
x02
y002 + m z 02 z002
0 + m y
2
2
2
que es la denicin clsica. Se demuestra as una vez ms que en el
lmite d ! dt, el tratamiento se reduce a la Mecnica Clsica, como
debe ser.
En lo subsecuente, a la cantidad
(2.2.31)
KR =
3
X
1
1
mq_2
K = KR + Kt
2. TRATAMIENTO SEMICLSICO.
18
(2.2.34)
!
rU
(2.2.36)
@
U^{
@x
@
U |^
@y
@ b
Uk
@z
@ b
Ul
@ict
Es posible ahora despejar el potencial para obtener su forma especca. Esto se hace invirtiendo la ecuacin anterior
Z
! !
(2.2.37)
U U0 =
F dr
y evaluando
U0 =
As
(2.2.38)
4
X
U0 =
m
q eb
Z X
4
4
X
1
dq eb
m
q dq
m
z dz
Z
mictdict
m
z dz +
mc2 tdt
2. TRATAMIENTO SEMICLSICO.
19
U = UR + Ut
2.10. Energa Mecnica y Teorema de Conservacin. Partiendo de las deniciones anteriores, puede verse que para el caso de
campos conservativos,
4W = 4K
y a su vez
4W =
4U
4K =
4U
K0 = U0
E =K +U
E = E0
3. FORMULACIN LAGRANGIANA.
20
Este Teorema se demuestra de manera idntica al clsico, considerando al tiempo propio como parmetro. Hay que recordar que
clsicamente la Energa Mecnica es adems un invariante. Asmismo
debe notarse que se trata de un escalar real.
3. Formulacin Lagrangiana.
Se proceder ahora a realizar una generalizacin de la Mecnica de
Lagrange. Para eso ser necesario revisar previamente algunos conceptos.
3.1. Grados de libertad. En Mecnica Clsica, los grados de
libertad de una partcula son a lo sumo iguales a la dimensin del
espacio de conguracin utilizado, es decir 3.
Sin embargo, al utilizar un espacio de dimensin 4, es de esperar
que el nmero mximo de grados de libertad sea precisamente 4. Este
es el caso, por ejemplo, de una partcula libre.
Al estudiar sistemas de partculas, el nmero de grados de libertad
se incrementa en la misma proporcin, esto es, para N partculas se
tendrn 4N coordenadas independientes o grados de libertad.
3.2. Restricciones y Coordenadas Generalizadas. Como es
sabido, las restricciones disminuyen el nmero de grados de libertad de
un sistema.3 Para el caso de k ecuaciones de restriccin, el sistema se
describir por 4N k coordenadas independientes qi , conocidas como
coordenadas generalizadas , de forma que las coordenadas antiguas
sern funcin de las generalizadas y del parmetro tiempo propio, esto
es
(2.3.1)
!
ri=!
r i (q1 ; q2 ; :::; q4N
k;
3 Al
3. FORMULACIN LAGRANGIANA.
21
!
@ r_i
@!
ri
=
@qj
@ q_j
sustituidos en la ecuacin (2.3.6), el segundo trmino de (2.3.2) es entonces
(
!!
!)
X d
! @ r_i
! @ r_i
(2.3.7)
mi r_i
mi r_i
qj
d
@ q_j
@qj
i
o bien
X
j
d
d
@ 1
mi r_i2
@ q_j 2
@ 1
mi r_i2
@qj 2
qj
qj
3. FORMULACIN LAGRANGIANA.
22
Qi
qi = 0
en donde
(2.3.9)
Qi =
X ! @!
rj
Fj
@qi
j
(2.3.10)
@
K
@ q_i
@
K = Qi
@qi
Qi =
@
U
@qi
@
K
@ q_i
@
(K
@qi
U) = 0
d
d
@
L
@ q_i
@
L=0
@qi
3. FORMULACIN LAGRANGIANA.
23
L=K
@
K=
@qi
@
L
@ q_i
@
d
U+
@qi
d
@
U
@ q_i
@
L=0
@qi
L=K U
De esta manera se conserva la forma de las ecuaciones as como la del
Lagrangiano (2.3.13), que es lo que se quera demostrar.
Ejemplos importantes de la aplicacin de este tipo de potenciales
se encuentran en el electromagnetismo y en problemas de gravitacin,
que se presentarn ms adelante.
3.5. Ecuaciones de Lagrange para una partcula. Para ilustrar el uso de estas ecuaciones, se estudiar el caso de una partcula
sometida a un potencial U .
En el caso de las coordenadas rectangulares, el conjunto de ecuaciones se escribe como sigue
@
@
d
L
L = 0
(2.3.15)
d
@ x_
@x
d
@
@
L
L = 0
d
@ y_
@y
d
@
@
L
L = 0
d
@ z_
@z
d
@
@
L = 0
L
d
@ict
@ict_
3. FORMULACIN LAGRANGIANA.
24
@
@ict_
@ 1
mx_ 2
@ x_ 2
@ 1 2
my_
@ y_ 2
@ 1 2
mz_
@ z_ 2
1 2 _2
mc t
2
@
(
@x
@
(
@y
@
(
@z
@
(
@ict
U) = 0
U) = 0
U) = 0
U) = 0
d
@
(mx)
_ +
U = 0
d
@x
d
@
(my)
_ +
U = 0
d
@y
d
@
(mz)
_ + U = 0
d
@z
d
@
U = 0
mict_ +
d
@ict
Estas ecuaciones escalares pueden agruparse en una sola ecuacin
vectorial
@
@
@
@ b
d
m x^
_ { + y^
_ | + z_ b
k + ict_b
l +
^{ +
|^ + b
k+
l U =0
d
@x
@y
@z
@ict
en donde se reconocen el vector momento y el operador gradiente. As,
se puede reescribir esta ecuacin como
d!
!
(2.3.17)
p =
U
d
que es simplemente la Segunda Ley de Newton para campos conservativos, o ecuacin de movimiento generalizada a cuatro dimensiones.
Con esto se conrma que la eleccin de la Lagrangiana fue la correcta.
3.6. Integral de Accin. Se sabe que las ecuaciones de Lagrange
pueden ser obtenidas asimismo de la llamada integral de accin, que
en su forma clsica es
Z t2
(2.3.18)
I=
Ldt
t1
4. FORMULACIN HAMILTONIANA.
25
donde L es la Lagrangiana.
Esta ecuacin deber ser modicada, ya que el tiempo involucrado
en ella es aquel medido en el marco de referencia. En el marco del presente estudio, este tiempo pierde su categora de parmetro dinmico
y toma el lugar de una coordenada ms, as que es necesario sustituirlo
en la ecuacin por el tiempo propio del sistema,
Z 2
Ld
(2.3.19)
I=
1
3.7. Principio Variacional de Hamilton. El Principio de Hamilton establece una condicin necesaria y suciente para la obtencin de
las ecuaciones de Lagrange y de la Lagrangiana, ya que requiere que
esta sea una funcin tal que la integral de accin tome su menor valor
posible. En otras palabras, esto se expresara como
Z 2
(2.3.20)
I=
Ld = 0
1
4. Formulacin Hamiltoniana.
Se llega a la parte medular del presente desarrollo, que es la obtencin de un Hamiltoniano generalizado, que servir para la resolucin
de los problemas fsicos. Se ver que esta formulacin coincide en ciertos aspectos con la formulacin covariante del Electromagnetismo y la
Relatividad Especial.
4.1. Momento cannico conjugado. A partir de la Lagrangiana
es posible encontrar una generalizacin del concepto de momento asociado con la coordenada qi , denido como
(2.4.1)
pi =
@L
@ q_i
4. FORMULACIN HAMILTONIANA.
26
Si la coordenada cannica qi no aparece explcitamente en el Lagrangiano, el momento conjugado se conserva. Bajo estas condiciones
la ecuacin (2.3.12) se reduce a
d @L
=0
d @ q_i
Sustituyendo la ecuacin (2.3.20) en la anterior, se obtiene
(2.4.2)
dpi
=0
d
es decir
(2.4.3)
pi = const:
H = $ (L)
@L
d
@
4. FORMULACIN HAMILTONIANA.
p_i dqi
27
@L
d
@
q_i =
p_i
(2.4.8)
conocidas como las ecuaciones cannicas de Hamilton, y que son idnticas a aquellas del caso clsico. Para una partcula libre, se tratar de
8 ecuaciones de primer orden.
Asimismo se recupera la relacion entre el Lagrangiano y el Hamiltoniano
@H
@L
(2.4.9)
=
@
@
que indica que el Hamiltoniano ser conservativo siempre que el Lagrangiano lo sea.
4.3. Hamiltoniano de campos conservativos. En el caso de
fuerzas conservativas, ya sea que estas dependan o no de la velocidad,
el Lagrangiano que se ha encontrado es
L=K
es decir
H =
pi q_i
X p2
i
X 1
p2i + U
2m
i
X 1
p2i + U
2m
i
X 1
=
p2i + U
2m
i
H =K +U
4. FORMULACIN HAMILTONIANA.
28
E=H
En coordenadas rectangulares
(2.4.12)
1
1
1
H = E = mx_ 2 + my_ 2 + mz_ 2
2
2
2
1 2 _2
mc t + U
2
@H
@qi
dH X
=
d
i
@H
@H
@H
q_i +
p_i +
@qi
@pi
@
@H @H
@qi @pi
@H @H
@pi @qi
@H
@
como los trminos entre parntesis conmutan, y si H no tiene dependencia explcita en se llega a
(2.4.14)
dH
@H
=
=0
d
@
4. FORMULACIN HAMILTONIANA.
29
H = H0
E = E0
5. INTERPRETACIN FSICA.
30
H = H0
5. INTERPRETACIN FSICA.
31