Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C.

Salbor, de Albor Ciencia

OPERADORES. OPERADORES DE HAMILTON

1. Funciones de puntos y operadores. Operadores sobre funciones de puntos. 2. Los operadores O . 3. Invariancia. 4. Los operadores de Hamilton. 5. La invariancia de los operadores de Hamilton. 6. La invariancia en un espacio bidimensional euclidiano real y puntual. 7. Los grupos de los giros y las simetras en dos dimensiones.

1. Funciones de puntos y operadores. Operadores sobre funciones de puntos. Se denominan funciones de puntos o funciones puntuales, a las funciones cuyo conjunto de partida es un espacio puntual. El conjunto de llegada en las funciones puntuales puede ser un conjunto cualquiera (un cuerpo numrico, un conjunto de operadores, otro espacio vectorial, un conjunto

de tensores, etc.).
1

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

Llamaremos asimismo operadores en un espacio a las funciones sobre ese espacio vectorial , esto es, a las funciones cuyo conjunto de partida y de llegada son el mismo espacio vectorial . Sea un operador sobre el espacio vectorial puntual euclidiano real (En;R). Y Sea T el conjunto de todos los operadores . Sea tambin el conjunto de todas las funciones puntuales definidas desde el espacio vectorial euclidiano real (En;R). Este conjunto es tambin, trivialmente, un espacio vectorial: 1,2 , , R 1 ( x) , 2 ( x) 1 ( x ) + 2 ( x) esp _ vect Llamemos O a un operador definido sobre el espacio vectorial de dichas funciones puntuales. O: Consideramos, en definitiva, los elementos siguientes: a) Un espacio puntual euclidiano real. (En;R). b) El conjunto T de todos los operadores definidos sobre el espacio (En;R). c) El conjunto de todas las funciones definidas desde (En;R) hacia un conjunto cualquiera. El conjunto tiene la estructura de espacio vectorial real (;R). d) El conjunto O de los operadores definidos sobre el espacio . Lo que se pretende hacer en el apartado siguiente es asociar los operadores que actan sobre el espacio puntual euclidiano (En;R) con los operadores que actan sobre el espacio de las funciones definidas sobre

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

(En;R).

2. Los operadores O: Se define el operador O como un operador O, esto es, como un operador sobre el espacio de las funciones puntuales que verifica la condicin de asociacin siguiente con respecto a un operador actuante sobre el espacio puntual (En;R): , T , x En, ( O)(x) = ( x )

El operador O se define, pues, de forma que la imagen por la funcin puntual de cualquier vector x se corresponda con la imagen por O del vector x.

O sea, llamando ' = O se tendra: ' (x) = ( x ) O bien, llamando ' = O y x ' = x se puede expresar ' ( x' ) = ( x) o tambin, en este ltimo caso: ' ( x' ) = ( 1 x ' ) , o bien: ' ( x) = ( 1 x)

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

Teorema: Los operadores O son lineales. Esto es, se cumple que: a R, O ( a) = aO 1, 2 O(1 + 2) = O1 + O2 En efecto: x En, O( a.)( x) = a.( 1 x) = a.O( x) x En, O( + )( x) = ( + )( 1 x ) = ( 1 x ) + ( 1 x) = O( x ) + O( x) Teorema: Si y son dos operadores sobre (En; R) y son O y O sus correspondientes operadores O asociados, entonces se verifica que O En efecto: Sabemos que es : por tanto: llamando O = ' x = x ' se tiene: = O .O

O(x) = ( x) O( x ) = ( x ) O( x) = ( x )

O' ( x ' ) = ' ( x ' ) OO( x ) = ( x) OO = O Teorema: si los operadores son un grupo, entonces los operadores O asociados tambin son un grupo. En efecto: Supongamos que los operadores forman un grupo. Veamos la estructura del conjunto O de los operadores O: a) El producto es ley interna: O, O O, O.O = O O b) El producto es asociativo: O, O, O O, O.(O.O) = O.O = O( ) = O( ) = O() = ( O.O).O b) Existe elemento neutro:
4

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

(llamemos 1 al elemento neutro en el grupo de los operadores

O O, O.O1 = O.O1 = O1 = O O.O1 = O c) Existe elemento simtrico: , 1 / .1 = 1 O.O 1 = O. 1 = O1 O 1 _ simetrico _ de _ O

3. Invariancia: Una funcin de puntos se dice que es invariante con respecto a un operador , si tiene el mismo valor en todos los puntos imgenes del operador . O sea: _ in var iante _ respecto _ (x) = ( x), x En Una funcin se dice es invariante con respecto a un grupo de operadores si es invariante con respecto a cada uno de los operadores del grupo. _ in var iante _ respecto _ T _ y _ T _ grupo ( T , (x ) = ( x ), x En) ------Ejemplo de funcin invariante respecto a un operador: Sea la funcin que le hace corresponder a cada vector de En su norma: (x) = x , xEn Sea un operador unitario, es decir, un operador rotacin en el espacio En. Se tiene, entonces, que x = x . Por tanto: (x) = x = x = (x) ---- es invariante respecto de -----Una funcin se dice invariante con respecto a un operador O si no resulta alterada por su aplicacin: invariante respecto a O O =

Es inmediato que para el operador neutro o idntico, O1, toda funcion es invariante.
5

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

En general, la ecuacin de aplicacin de un operador O a una funcin cualquiera es de la forma O = y el problema de determinar las funciones invariantes para el operador O se reduce al clculo de las funciones propias para el autovalor = 1 de tal operador: O = Teorema: Si una funcin puntual es invariante respecto de un operador es tambin invariante respecto del operador O, y viceversa. En efecto: a) invariante respecto a x En,(x) = ( x) (x ) = ( x) y O(x) = ( x ) por tanto, se tiene: O( x ) = ( x ) O = _ in var iante _ respecto _ O b) invariante respecto O = O( x ) = ( x) y O(x ) = ( x ) (x) = (x) invariante respecto de a O

4. Los operadores de Hamilton: Se llaman operadores H, u operadores de Hamilton, a los operadores funcionales O definidos en cada punto r(x1, x2, ...., xn) por la diferenciacin parcial: H (x ) = 2 2 i =1 xi
n

en otro punto r(x1, x2, ...., xn) el operador H tendr la expresin

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

H (x ' ) =

2 2 i =1 x'i
n

Los operadores H tienen, pues, la fundamental caracterstica de variar de un punto a otro del espacio. O sea, son, realmente, funciones (operacionales) de los puntos del espacio En. Los operadores H, por ser operadores funcionales, actan sobre el espacio de las funciones cuyo conjunto inicial es En, al igual que los operadores O en general. O sea, en un punto x del espacio En, se cumplira la ecuacin: H(x)(x) = (x), xEn, , ,

-----Ejemplo de utilizacin de un operador de Hamilton: Sea el espacio (En;R) y la funcin puntual (x) = x12 Ser: H ( x )( x) = ---- 2( x ) 2( x) + = 2 + 6 x2 2 x12 x2 + x23

5. La invariancia de los operadores de Hamilton. El operador H se considera invariante respecto a un operador si se verifica: H(x) = H(x), xEn Si H es invariante respecto de un grupo de operadores T, se dir que T es el grupo simtrico de H. Veamos la relacin entre las expresiones de un operador H en dos puntos diferentes, x y x, de un espacio vectorial euclidiano real (En;R).
7

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

Consideremos el operador que verifica la relacin: x = x y sea ( ij)n la matriz asociada a : 11 12 22 (ij )n = 21 ... ... n1 n2 x'1 11 12 x'2 21 22 ... = ... ... x' n n1 n2 o bien, desarrollando: x ' j = jk .xk
k =1 n

Se tiene, entonces:

... 13 ... 23 ... ... ... nn

... 13 x1 ... 23 x2 . ... ... ... ... nn xn

(j=1,2, ... , n) de aqu, se tiene, que al derivar parcialmente cada componente xi: = jk xk (j,k=1,2, ..., n) y de ser: x j ' = . x k x ' j x k
n = jk x k x' j j =1

x ' j

se tiene:

Por tanto: n 2 = jk 2 x k j =1 x ' j

2

donde el exponente 2 indica el orden de la diferenciacin parcial.

8

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

En definitiva, el operador H de Hamilton es: En el punto x: 2 H (x ) = 2 i =1 xi

n

En el punto x = x:

H ( x ') =

1 1 k = j=

jk

x 'j

Pero la condicin de invariancia de H, esto es, la condicin para que H(x)=H(x) es que

r , j ,i =1

jk.

ir = ji .kr

y esta condicin equivale a que ( ij)n sea una matriz ortogonal. ( jk ) n .(kj ) n = I En definitiva, se tiene que los operadores de Hamilton son invariantes en todos los puntos del espacio relacionados por matrices de paso ortogonales. Puesto que las matrices ortogonales corresponden a rotaciones o simetras, segn que su determinante sea +1 o 1, respectivamente, cabe inferir que los operadores de Hamilton son invariantes en los giros y en las simetras. A las matrices de determinante 1 se las llama unimodulares y a las matrices de determinante 1, polimodulares. Se utiliza el smbolo SO(n) para representar a las matrices ortogonales de n-simo orden unimodulares, y RO(n) para representar a las matrices ortogonales de nsimo orden polimodulares. Teorema: El conmutador de un operador H invariante respecto de , y el operador O es nulo. O sea: H(x) = H(x) [H, O] = 0 En efecto: Llamemos: 1 = (HO) y 2 =(OH)
9

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

Se tiene: 1(x) = (HO)(x) = H(O)(x) = H(x)(x) = H(x)(x) 2(x) = (OH)(x) = O(H)(x) = H(x)(x) Por tanto: 1(x) = 2(x) 1 = 2 O H = HO [H, O ] = 0

6. La invariancia puntual.

en un espacio bidimensional euclidiano real y

En un espacio bidimensional se simplifican notablemente las expresiones anteriores: En un punto x = (x1, x2) ser H (x ) = 2 2 + 2 x2 1 x 2 2 2 + 2 x'21 x ' 2

En otro punto o x = (x1, x2) ser Si es x = x y

H (x ' ) =

es ( ij)n la matriz asociada a : a b (ij )n = c d

ser: x'1 a b x1 = x' c d . x 2 2 por tanto: x1 = a.x1 + b.x2

10

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

x2 = c.x1 + d.x2 y el operador H en x = (x1, x2) en funcin de su expresin en x = (x1, x2) es: H(x) =
2 2 = 1 k + 2 k = = jk x x j x2 k =1 j =1 k =1 1 2 2 2 2 2 2 2 1k 2 + 2 k 2 + 21k 2 k = x x2 x1 x2 k =1 1 2

2 2 2 2 2 2 2 = + 21 2 + 21121 + 12 2 + 22 2 + 21222 = 2 x1 x2 x1 x 2 x1 x 2 x1 x 2 2 11

2 2 = 11 + 12

) x + (
2 2 1

2 21

2 + 22

) x

2 2 2

+ 2(1121 + 2212 )

x1 x 2

En definitiva: 2 2 H (x ) = 2 + 2 x 1 x 2
2 2 H ( x ' ) = 11 + 12

) x + (
2 2 1

2 21

2 + 22

) x

2 2 2

+ 2(1121 + 2212 )

x1 x 2

O bien: H (x ) = 2 2 + 2 x2 1 x 2

H (x ' ) = a 2 + b 2

) x + (c
2 2 1

+ d2

) x

2 2 2

+ 2(ac + bd )

x1 x2

y la condicin de invariancia ser: a2 + b2 = 1 c2 + d2 = 1 ac + bd = 0

11

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

Esta condicin de invariancia se obtiene tambin, naturalmente, desde el hecho de que la matriz del operador ha de ser ortogonal:

a b a c 1 0 a2 + b2 c d . b d = 0 1 ca + bd por tanto: a2 + b2 = 1 c2 + d2 = 1 ac + bd = 0

ac + bd 1 0 = c2 + d 2 0 1

7. Los grupos de los giros y las simetras en dos dimensiones: a) El operador corresponde a una rotacin: En este caso la matriz ortogonal correspondiente es unimodular (de determinante +1), por lo que se tiene que es: a b cos sen (jk ) 2 = c d = sen cos la cual, evidentemente, cumple la condicin de ortogonalidad y de determinante igual a +1. b) El operador corresponde a una simetra: En este caso la matriz ortogonal correspondiente es polimodular (de determinante -1), por lo que se tiene que es: a b cos sen (jk ) 2 = c d = sen cos
12

Operadores. Operadores de Hamilton. Marchena, octubre, 1998. C. Salbor, de Albor Ciencia

la cual, evidentemente, cumple la condicin de ortogonalidad y de determinante igual a -1. Sea SO(2) el conjunto de todas las simetras en el espacio (E2;R). Sea, asimismo, RO(2), el conjunto de las rotaciones en el mismo espacio (E2;R). Los cojuntos SO(2) y RO(2) son, ambos, grupos con respecto al producto. En efecto: - (SO(2), .) es un grupo: cos sen Si llamamos A() a la matriz sen cos , se tiene trivialmente que es cos( + ) sen( + ) A().A()= sen( + ) cos( + ) Luego, el producto es ley de composicin interna, y trivialmente se comprueba que es asociativa, que el elemento neutro es la matriz A(0), y que la matriz simtrica de A() es la matriz A(-). -(RO(2),.) es un grupo: cos sen Si llamamos A() a la matriz sen cos , se tiene trivialmente que es cos( + ) sen( + ) A().A()= sen( + ) cos( + ) Luego, el producto es ley de composicin interna, y trivialmente se comprueba que es asociativa, que el elemento neutro es la matriz A(0), y que la matriz simtrica de A() es la matriz A(-).

13