La Ecuacin de Schrdinger interpretada en el Espacio

Paravectorial No Homogeneo Cuatridimensional

Rafael Aparicio Snchez1

April, 10, 2006

Abstract
The present paper is a part (in Spanish) of the one book of the author now in
printing process about the use of the Non Homogeneous Four Dimensional
Paravectorial Space based on the Special Orthogonal Group of Degree 4, basis
for a Geometrical Interpretation of physical phenomenon. In this article, the
question is about the generalization of quantum mechanics Schrdingers
equation through another point of view that the previous article Geometrical
Study of the Schroedinger Formula With the Even Sub Group of the Clifford
Geometric Algebra but with the same postulates, that are that wave function
is not imaginary and has no virtual parts, and that is not necessary the Born
step to probabilistic calculus of Quantum Mechanics. Although is not written in
English, mathematics are universal language, and are easy to understand.
Another utilizations that are explained in the book utilizes this space to go from
Minkowski Spacetime to a non homogeneous one, that gives geometrical
visualizations much more comprehensive than Minkowsky diagrams.

Introduccin

Hay varios modos de acercarse a la ecuacin de Schrdinger por medio de las

algebras de Clifford, y uno de los medios ms interesantes es a traves de los
paravectores. Adems es conveniente por una cuestin muy sencilla: las formulaciones
de Dirac y Pauli, basadas en matrices, estn alejadas de la formulacin diferencial de la
Ecuacin de Schrdinger, y de algn modo por medio de los paravectores este
problema puede sortearse. Una de las formas de abordar dicha ecuacin es a travs de
la formulacin ya obtenida en el artculo anterior y con el acercamiento que proveen las
algebras geomtricas (GA) con las interpretaciones de lo que est ocurriendo, de una
forma ms intuitiva. La otra forma es por medio de los postulados de los que se parte
para encontrar la ecuacin de Schrdinger hacindola extensible a 4 dimensiones del
espacio tiempo.

Una cuestin importante a tener en cuenta es que la funcin de onda no es, en este caso,
tomada como aquella a quien las rotaciones le afectan sino aquella que es el
paravector (cuaternin) de rotacin.

1
Ingeniero Tcnico Industrial Mecnico por la Universidad Politcnica de Valencia, Becado por el
IMPIVA en el Instituto Tecnolgico AIMME en proyectos de Reverse Engineering con Superficies
Complejas (Bezier-Casteljou, B-Splines y Nurbs) con metrologa 3D. Actualmente Consultor de
Empresas.

1
Un modo tradicional de abordar la Ecuacin de Schrdinger

Un modo de abordar la ecuacin de Schrdinger parte de unos postulados bastante

sencillos. Aunque el postulado de Broglie era consistente con la relatividad especial,
Schrdinger desarroll una teora no relativstica, abandonando el trmino onda piloto
y utilizando la funcin de onda (o ecuacin de estado, que da una idea mucho ms
aproximada de su significado) a la funcin ( x, t ) . Adems, tom en consideracin los
siguientes postulados:

1. La ecuacin = h/p
2. La ecuacin = E/h
3. Supuso que la energa vena dada por la ecuacin no relativstica: E=p2/2m + V
4. usando el punto 3, lleg al resultado:

h2k 2
h = + V0
2m

Donde k=2/ y = 2

Por lo tanto

hk p
vg = = = =
k m m

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=V0=cte. La
ecuacin debe tener soluciones de onda viajera.

La ecuacin buscada puede ser de la forma:

f h2 f
2

h = + V0 f
t 2m x 2

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:

f = cos(kx t ) + sin(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:

f h2 f
2

ih = + V0 f
t 2m x 2

2
Que cumple con los requisitos estipulados anteriormente. La solucin de onda viajera
en el eje x es por tanto de la forma:

f = cos(kx t ) + i sin(kx t ) = ei ( kxt )

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:
r
( r , t ) h2 2 r r r
ih = (r ,t ) +V (r ,t ) (r ,t )
t 2m

Con solucin:

r p2 r h2 2 2 2 r r
H (r ) = (r ) = 2 + 2 + 2 (r ) = E (r )
2m 2m x y z

Pero nosotros vamos a demostrar que la ecuacin anterior tiene una generalizacin
geomtrica del tipo:
r r r r r
f = cos(kr t ) + u sin(kr t ) = eu ( kr t )

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 + i sin = ei

Si el factor i es sustituido por una base vectorial i se podra escribir:

cos + i sin = ei

Y dado que se puede mover dicho eje mientras cumpla las condiciones anteriores,
podra darse el caso que:
r r r
cos + u sin = eu = cos(kr t ) + u sin(kr t )

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

3
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 = 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.

r

x
O X

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:
r
x = r cos
e
r
y = r sin
r
El vector 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 i para designar los desplazamientos a lo largo del eje x, y
el vector unitario j para designar los desplazamientos a lo largo del eje y. Pondremos
entonces:
r
r = ix + jy

4
Sin sacrificar ninguna informacin se puede escribir el vector mediante la eliminacin
de cualquiera de las dos i j . Vamos a eliminar la correspondiente a la componente
de x, y por convencin vamos a sustituir el vector unitario j por el factor complejo
i como exponente complejo (para no crear confusiones posteriormente cuando tratemos
con los otros ejes) llegando a la ecuacin siguiente:
r
r = x + iy

Con la nica precisin de mantener el convenio de que un desplazamiento como x sin

ningn factor que lo califique, ha de realizarse en una direccin paralela al eje x y que el
trmino iy tiene que interpretarse como una instruccin para hacer que el
desplazamiento y sea en una direccin paralela al eje y. Usualmente tambin se
prescinde de la notacin vectorial y es sustituida por z. La interpretacin del smbolo i
puede interpretarse como una instruccin para realizar una rotacin de 90 en sentido
contrario a las agujas del reloj al desplazamiento que precede. De de este modo, si
tenemos una magnitud cualquiera ib, se precisara marcar una distancia b sobre el eje x
y luego se hara girar 90 de modo que terminara siendo un desplazamiento de b sobre
el eje y. Del mismo modo, para lograr la magnitud i2b primero haramos como antes,
obteniendo la magnitud ib, y luego se le volvera a aplicar una rotacin de 90. Esto nos
llevara a la identidad importante de que dos rotaciones sucesivas de 90 en el mismo
sentido invertiran el desplazamiento b en el sentido de b, llegando a la evidente
identidad algebraica de que i2=-1. De ese modo, i no sera ms que la raz cuadrada de
-1.

Teniendo en cuenta el exponente complejo y el desarrollo en series de Taylor, lo

anterior puede ser desarrollado llegando a la igualdad:

cos + i sin = ei

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:

f h2 f
2

jh = + V0 f
t 2m y 2

Con la solucin:

f y = cos(ky t ) + j sin(ky t ) = e j ( ky t )

5
Es evidente que podramos aplicarlo tanto al eje z:
f h2 f
2

kh = + V0 f
t 2m z 2

Con la solucin:
r r
f z = cos(kz t ) + k sin(kz t ) = ek ( kz t )

Ahora bien, teniendo en cuenta que un cuaternin puede representar vectores en el

espacio tridimensional R3 por medio de i, j, y k como notacin del la base del espacio
ortonormal de R3 , 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 R4, es decir, que podramos escribir:

q = (q0, q1, q2, q3)

donde q0, q1, q2 y q3 son simplemente nmeros reales o escalares.

Como indicamos, podemos obtener una forma alternativa de representar un cuaternin,

r
primero tomando su parte escalar q0 y despus tomando su parte vectorial q que es un
vector ordinario en R3:
r
q = iq1 + jq2 + kq3

Y el cuaternin (paravector) sera la suma:

r
q = q0 + q = q0 + iq1 + jq2 + kq3

Si este cuaternin tiene norma 1, entonces:

r2
q02 + q = 1

Como sabemos que para cualquier ngulo ocurre que

cos 2 + sin 2 = 1

Debe existir algn ngulo tal que:

r2
cos 2 = q02 y sin 2 = q

6
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

r r
definimos un vector unitario u que representa la direccin de q escribiendo:
r r
r q q
u= =
q sin

Entonces podemos escribir el vector unitario q en trminos del ngulo y del vector
r
unitario u como:
r r
q = q0 + q = cos + u sin

Tomando las ecuaciones de Schrdinger aplicadas a cada uno de los ejes, cada una de
ellas puede operarse en forma cuaterninica del siguiente modo:
r
f x = cos(kx t ) + i sin(kx t ) = ei (kx t ) = qox + qx
r
f y = cos(ky t ) + j sin(ky t ) = e j ( ky t ) = qoz + qz
r
f z = cos(kz t ) + k sin(kz t ) = e k ( kz t ) = qoy + q y

La suma de tres cuaterniones da igual a un cuaternin, luego los anteriores daran igual
a:
r r r r r r r
f = qox + qx + qoy + q y + qoz + qz = qox + qoy + qoz + qx + q y + qz = q0 + qrr

Para que se cumplan las condiciones anteriores, el cuaternin resultante tiene que tener
mdulo 1, para lo cual:
r r r r
f q0 + qrr qox + qoy + qoz + q x + q y + qz
= r = =1
r2 r2 r2
f q0 2 + qrr 2 ( qox + qoy + qoz ) + qx + qy + qz
2

La expresin desarrollada sera:

cos(kx t ) + cos(ky t ) + cos(kz t ) + i sin(kx t ) + j sin(ky t ) + k sin(kz t )

( cos(kx t ) + cos(ky t ) + cos(kz t ) ) + sin 2 (kx t ) + sin 2 (ky t ) + sin 2 (kz t )
2

Como tiene mdulo 1, deben existir y se pueden obtener los valores del ngulo y del
r r r
vector unitario u que cumplen que q = q0 + q = cos + u sin . Los cosenos directores
r
del vector u sern tales que con respecto del eje de coordenadas definido por los
vectores base i j y k sern:

7
 r
cos = u i = u1 y sin = u22 + u32
r
cos = u j = u2 y sin = u32 + u12
r
cos = u k = u3 y sin = u12 + u22

r r
Como q = q0 + q = q0 + u sin y

cos(kx t ) + cos( ky t ) + cos(kz t )

q0 = cos =
( cos(kx t ) + cos(ky t ) + cos(kz t ) ) + sin 2 (kx t ) + sin 2 (ky t ) + sin 2 (kz t )
2

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:

q = [ q0 q3 ]
T
q1 q2

q = q02 + q12 + q22 + q32 = 1

2

q0 = cos ( / 2 )
q1 = sin ( / 2 ) cos ( x )
q2 = sin ( / 2 ) cos ( y )
q3 = sin ( / 2 ) cos ( z )

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:

8
 cos( / 2) cos( / 2) cos( / 2) + sin( / 2) sin( / 2) sin( / 2)
sin( / 2) cos( / 2) cos( / 2) cos( / 2) sin( / 2)sin( / 2)
q=
cos( / 2) sin( / 2) cos( / 2) + sin( / 2) cos( / 2) sin( / 2)

cos( / 2) cos( / 2) sin( / 2) sin( / 2) sin( / 2) cos( / 2)

2 ( q0 q1 + q2 q3 )
arctan
1 2 ( q12 + q22 )
= arcsin 2 q q q q
( ( 0 2 3 1 ) )
2 q q +q q
arctan ( 0 3 1 2 )

1 2 ( q22 + q32 )

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:
r r r
f = cos ( kr t ) + u sin ( kr t )

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.