Professional Documents
Culture Documents
h
5. La ecuacin de propagacin de ondas debe ser adems lineal en (x,t), para que
puedan suponerse funciones de onda y reproducir los efectos de la interferencia
y difraccin observados por Davisson y Germer y
6. El impulso de una partcula libre debe ser constante, y por tanto V=V
0
=cte. La
ecuacin debe tener soluciones de onda viajera.
La ecuacin buscada puede ser de la forma:
2
2
0 2
2
f f
f
V
t m x
+
h
h
Donde tanto como son constantes por determinar. Como la ecuacin anterior es
lineal, satisface uno de los requisitos anteriores. La solucin pasa por ser una
combinacin lineal del tipo:
cos( ) sin( )
f
kx t kx t +
Las soluciones que dan el resultado son las que tienen el valor de =i , = y =-1.
Como lo usual es tomar =+i, =i y la ecuacin obtenida es:
2
2
0 2
2
f f
f
i V
t m x
+
h
h
3
Que cumple con los requisitos estipulados anteriormente. La solucin de onda viajera
en el eje x es por tanto de la forma:
( )
cos( ) sin( )
i kx t
f
kx t i kx t e
+
La generalizacin que usualmente se suele realizar es que la anterior es vlida para una
dimensin, y que por tanto la ecuacin para las tres dimensiones espaciales es la
siguiente:
( )
( ) ( ) ( )
2
2
,
, , ,
2
r t
i r t V r t r t
t m
r
h r r r
h
Con solucin:
2 2 2 2 2
2 2 2
( ) ( ) ( ) ( )
2 2
p
H r r r E r
m m x y z
_
+ +
,
h r r r r
Pero nosotros vamos a demostrar que la ecuacin anterior tiene una generalizacin
geomtrica del tipo:
( )
cos( ) sin( )
u kr t
f
kr t u kr t e
+
r r
r r r
que adems es la expresin de un cuaternin. Se podra haber llegado de una forma
sencilla por medio de la expansin en series de Taylor. Si tenemos que:
cos sin
i
i e
+
Si el factor i es sustituido por una base vectorial
i se podra escribir:
cos sin
i
i e
+
Y dado que se puede mover dicho eje mientras cumpla las condiciones anteriores,
podra darse el caso que:
+ +
r r r
Hacia una generalizacin paravectorial de la Ecuacin de Schrdinger
Podemos trabajar en cuatro dimensiones con los paravectores (cuaterniones) en el
Grupo Especial Ortogonal SO(4). Vamos a hacer uso de esa aproximacin y vamos a
buscar otra generalizacin tridimensional de la ecuacin de Schrdinger. En primer
lugar, sabemos que un nmero complejo (cual es el caso de
f
) puede tener asociado un
vector rotatorio. Supongamos un movimiento armnico simple de amplitud A y
frecuencia angular sobre cualquier recta contenida en el plano del crculo. En
particular, si imaginamos un eje y perpendicular al eje fsico real Ox del movimiento
4
real, el vector rotatorio OP nos define adems de la verdadera oscilacin sobre el eje x,
otra oscilacin ortogonal sobre el eje y, de modo que:
x = A cos (t + )
y
y = A sen (t + )
Cuando tratamos un movimiento armnico simple en x, el movimiento en y no tiene
existencia real, si bien se trata al movimiento como si tuviera un punto en dos
dimensiones del cual solo se tiene en cuenta la componente x, teniendo solo este
significado fsico en el movimiento descrito.
Un modo para que no exista ambigedad en dos dimensiones y en el movimiento
armnico simple sobre el eje x para establecer y mantener la diferencia existente entre
las componentes fsicamente reales y las no reales del movimiento. Suponiendo el
vector OP de la figura anterior, este tiene coordenadas polares (r, ). Las componentes
(x, y) rectangulares o cartesianas vienen dadas evidentemente por las ecuaciones:
cos x r
r
e
sin y r
r
El vector r
r
completo puede expresarse entonces como el vector suma de los dos
componentes ortogonales, para lo cual podemos utilizar la notacin usual en anlisis
vectorial con el vector unitario
+
Obteniendo una representacin plana que es una conexin sencilla entre esta y el
lgebra representada por la funcin exponencial. Esta frmula matemtica que
Feynmann consideraba una joya asombrosa y establecida por Euler, puede
completarse con otra joya asombrosa adicional, facilitada por Hamilton:
Teniendo en cuenta exactamente el mismo razonamiento, pero utilizando el factor
complejo j para tener en cuenta que estamos trabajando con elementos en el eje y y
perpendiculares a este, y el factor complejo k para cuando trabajamos con elementos en
el eje z y perpendiculares a este, y volviendo pues a la ecuacin de Schrdinger,
tendramos que su expresin en el eje y sera:
2
2
0 2
2
f f
f
j V
t m y
+
h
h
Con la solucin:
( )
cos( ) sin( )
y
j ky t
f
ky t j ky t e
+
6
Es evidente que podramos aplicarlo tanto al eje z:
2
2
0 2
2
f f
f
k V
t m z
+
h
h
Con la solucin:
( )
cos( ) sin( )
z
k kz t
f
kz t k kz t e
+
r r
Ahora bien, teniendo en cuenta que un cuaternin puede representar vectores en el
espacio tridimensional R
3
por medio de i, j, y k como notacin del la base del espacio
ortonormal de R
3
, los vectores pueden ser como tripletes de nmeros reales (escalares)
con la base ortonormal siguiente:
i = (1 ,0 ,0)
j = (0 ,1 ,0)
k =(0, 0 ,1)
Recordemos que un cuaternin puede escribirse como cuaternas de nmeros reales,
como elemento de R
4
, es decir, que podramos escribir:
q = (q
0
, q
1
, q
2
, q
3
)
donde q
0
, q
1
, q
2
y q
3
son simplemente nmeros reales o escalares.
Como indicamos, podemos obtener una forma alternativa de representar un cuaternin,
primero tomando su parte escalar q
0
y despus tomando su parte vectorial q
r
que es un
vector ordinario en R
3
:
1 2 3
q iq jq kq + +
r
Y el cuaternin (paravector) sera la suma:
0 0 1 2 3
q q q q iq jq kq + + + +
r
Si este cuaternin tiene norma 1, entonces:
2
2
0
1 q q +
r
Como sabemos que para cualquier ngulo ocurre que
2 2
cos sin 1 +
Debe existir algn ngulo tal que:
2 2
0
cos q y
2
2
sin q
r
7
Este ngulo puede existir nicamente si le aplicamos una restriccin en su dominio de
modo que satisfaga en general la restriccin:
<
Y de este modo tenemos un ngulo asociado con el cuaternin q. Supongamos que
definimos un vector unitario u
r
que representa la direccin de q
r
escribiendo:
sin
q q
u
q
r r
r
Entonces podemos escribir el vector unitario q en trminos del ngulo y del vector
unitario u
r
como:
0
cos sin q q q u + +
r r
Tomando las ecuaciones de Schrdinger aplicadas a cada uno de los ejes, cada una de
ellas puede operarse en forma cuaterninica del siguiente modo:
( )
cos( ) sin( )
x
i kx t
f ox x
kx t i kx t e q q
+ +
r
( )
cos( ) sin( )
y
j ky t
f oz z
ky t j ky t e q q
+ +
r
( )
cos( ) sin( )
z
k kz t
f oy y
kz t k kz t e q q
+ +
r
La suma de tres cuaterniones da igual a un cuaternin, luego los anteriores daran igual
a:
0 f ox x oy y oz z ox oy oz x y z r
q q q q q q q q q q q q q q + + + + + + + + + + +
r
r r r r r r r
Para que se cumplan las condiciones anteriores, el cuaternin resultante tiene que tener
mdulo 1, para lo cual:
( )
0
2 2 2
2 2 2
0
1
f ox oy oz x y z
r
f
r
ox oy oz x y z
q q q q q q
q q
q q
q q q q q q
+ + + + +
+
+
+ + + + +
r
r
r r r
r
r
r r r
La expresin desarrollada sera:
( )
2
2 2 2
cos( ) cos( ) cos( ) sin( ) sin( ) sin( )
cos( ) cos( ) cos( ) sin ( ) sin ( ) sin ( )
kx t ky t kz t i kx t j ky t k kz t
kx t ky t kz t kx t ky t kz t
+ + + + +
+ + + + +
Como tiene mdulo 1, deben existir y se pueden obtener los valores del ngulo y del
vector unitariou
r
que cumplen que
0
cos sin q q q u + +
r r
. Los cosenos directores
del vector u
r
sern tales que con respecto del eje de coordenadas definido por los
vectores base
j y
k sern:
8
1
cos u i u
r
y
2 2
2 3
sin u u +
2
cos u j u
r
y
2 2
3 1
sin u u +
3
cos u k u
r
y
2 2
1 2
sin u u +
Como
0 0
sin q q q q u + +
r r
y
( )
0
2
2 2 2
cos( ) cos( ) cos( )
cos
cos( ) cos( ) cos( ) sin ( ) sin ( ) sin ( )
kx t ky t kz t
q
kx t ky t kz t kx t ky t kz t
+ +
+ + + + +
haciendo el arcocoseno de la expresin anterior obtenemos el valor de y con l
podemos tener el cuaternin definido, y con l, la funcin de onda unitaria.
Tambin se puede expresar el cuaternin obtenido en funcin de los ngulos de Euler
respecto de los ejes x, y, z y un ngulo de una rotacin simple por medio del Teorema
de Euler.
La Ecuacin de Schrdinger paravectorial cuatrodimensional
Teniendo en cuenta el cuaternin:
[ ]
0 1 2 3
T
q q q q q
2
2 2 2 2
0 1 2 3
1 q q q q q + + +
( )
0
cos / 2 q
( ) ( )
1
sin / 2 cos
x
q
( ) ( )
2
sin / 2 cos
y
q
( ) ( )
3
sin / 2 cos
z
q
Siendo un ngulo simple de rotacin y
x
,
y
y
z
los cosenos directores que localizan
los ejes de rotacin. Similar a los ngulos de Euler, se suelen utilizar los ngulos en
trminos de dinmica de vuelo (y robtica):
x
, Roll, , rotacin sobre el eje x.
y,
Pitch, , rotacin sobre el eje y.
z
, Yaw, , rotacin sobre el eje z.
Teniendo en cuenta las matrices de rotacin, con la matriz ortogonal correspondiente a
una rotacin con los ngulos de Euler , , , , y comparando las matrices, podemos
obtener los trminos:
9
cos( / 2) cos( / 2) cos( / 2) sin( / 2) sin( / 2) sin( / 2)
sin( / 2) cos( / 2) cos( / 2) cos( / 2) sin( / 2)sin( / 2)
cos( / 2) sin( / 2) cos( / 2) sin( / 2) cos( / 2) sin( / 2)
cos( / 2) cos( / 2) sin( / 2) sin( / 2) sin( / 2) cos( / 2)
q
+
1
1
1
1
1
]
( )
( )
( ) ( )
( )
( )
0 1 2 3
2 2
1 2
0 2 3 1
0 3 1 2
2 2
2 3
2
arctan
1 2
arcsin 2
2
arctan
1 2
q q q q
q q
q q q q
q q q q
q q
1
+
1
+
1
1
1
1
1
1
1
1
+ ]
1
1 +
]
Hay que tener en cuenta que existen singularidades en la parametrizacin con ngulos
de Euler cuando el Pitch se acerca a 90 (polo norte y polo sur) y que estos casos
deben ser tomados con cuidado.
De todo lo anterior, se puede concluir que la ecuacin de onda ser una expresin:
( ) ( ) cos sin
f
kr t u kr t +
r r r
Conclusiones
Usualmente se ha interpretado la funcin de onda compleja como una funcin que
no se puede medir con un instrumento real. Tras esta interpretacin, en la que no existe
nada que sea imaginario, todas las variables pueden ser medidas y se observan dos
elementos importantes, uno, un vector unitario que indica una direccin, que
intuitivamente indica un vector de direccin y un ngulo y las componentes de una
onda. No existe complementariedad, sino conjuncin. Esta funcin, lo que realmente
nos est indicando es parte de un rotor, como se vio en el artculo anterior, que es otro
modo de abordar la ecuacin de Schrdinger a la par que una forma de descubrir ms
aspectos de la funcin de onda cuaterninica, con interpretacin en el mundo REAL, en
contraposicin a la funcin de onda compleja, que precisa de interpretaciones
probabilisticas.
Bibliografa utilizada.
1. La Ecuacin de Schrdinger. Julio Gratton.
http://www.lfp.uba.ar/Julio_Gratton/cuantica/Cuantica.html
2. Quaternions and Rotations Sequences. Kuipers. Princenton.
3. Clifford (Geometric) Algebras. William E. Baylis, Editor. Birkhuser.