X EL ALGEBRA DE DIRAC 2.1 INTRODUCCION. 2.2 VecTorREs. 2.3 OPERADORES. 2.4 OPERADORES ADJUNTOS. 25 OPERADOR AUTOADJUNTO © HERMITICO. 2.6 OPERADOR INVERSO. 2.7 OPERADOR UNITARIO. 2.8 OPERADOR “PRODUCTO DE Vectores", 2.9 REPRESENTATIVAS. ¥ 2.10 CamBio DE BASE. 2.11 AUTOVALORES Y AUTOVECTORES. 2.12 INVARIANTES DE UNA MATRIZ, 2.13 FUNCION DE OPERADOR O FUNCION DE MATRIZ. | 214 Propucto DiREcTO © PRODUCTO TENSORIAL DE DOS ESPACIOS. 2.15 Bases CONTINUAS.> S _ ze Algebra de Dirac Cap. 2 2.1 INTRODUCCION. Un capitulo como el presente, que ofrece una herramiente pare el desarrollo del tema central del libro, generalmente se ofrere en la parte de los apéndices; sin embargo, dada la importancia 26 reviste el correcto aprendizaje del Algebra de Dirac para los ca pitulos que siguen, es que considero. indispensable aye S® aprenda como parte de la asignatura de Mecdnica Cuantiea I. Sin este cono- cimiento, algunos de los capi{tulos subsiguientes no podrian ser entendidos, con lo que se ‘romperia la continuidad en el uso de este libro como texto universitario en Mecinica Cudntica- En este capitulo se hara una. exposicién de las herramientas matematicas que se requisren para un tratamiento 4gil y¥ elegante de los conceptos y los resultados de la Mecanica Cudntica. Dicho tratamiento se sostiene sobre dos conceptos fundamentales: son representados por vectores. se representan por medio de operadores ineale: : : En el Apéndice A se epeontrar4n algunos. conceptos complementarios a los temas tratades’en este capitulo. a= 2 se representa por [ee fie, . - *2 ; . (2.1) Xn Jn Es una matriz fila 1 Xn se representa POr oh * Ja, by 1y>, se“ define la Suma porS0D00090909000 SSOVOCRe@000D 0-O.0.G.6 oce SSCSSCCGIue Cap. 2 Mec4nica Cudntica Ia = leo + 1y> = [ x+y, xt YF Ptey el — ele oni — = —_ y> tal que Ip =A = [ xx, | xx g Ax de aqui es muy facil establecer que cyl = Meet = DEE, 123 (2.3) Sean el ket |x> y¥ (2.4) (2.5) Dados los vec~ tores = Ex! (2.7) Lh >[z Ot ¥* J = a [Bao] [ote]? = oer ‘vacibn.- La expresién <: linealmente de las componentes xly> es de ly, una cantided’ que entonces, depende Se dice que ‘ . ee eee ge Be i. ie34 Algebra de Dirac cap. 2 depende linealmente de ly>. Rectprocamente, si un escalar 4 nde linealmente de un vector ly>, entonces, existe un cierto * * vector . Si qes de la forma a= 4,¥, * 9%: * +... aya, entonces na para los cuales se cumple a - ovinwgjg 9° aie eye {2 ¥ 524 (2.8) = Todo vector |x> puede escribirse como una combi- nacién lineal de los vectores de la base ortonormal corres— pondiente. Es decir leo = E13 * (2.9) i como consecuencia de esto, se cumple atid, x = , entonces existe ut se cumple ctor ly? que depende linealmente erador lineal tal como @ para el cual ly> = alx (2.10) como consecuencia de esta definicién, se cumple que (A 1x> + AID) = AYIKP + ALE? ») sobre = Seana y fi dos’ operadores li- ples, Ix> un ket definido en el espacio donde operan ay #, y % un escalar,, i) Producto de un operador por un escalar: cad[x> = a(JAx>) = A(alx>) = Aatl2> en consecuencia od = Aa * (2.11) va an ¢ ao~~~ ""9499G90006000056505500909089000006 Cap. 2 Mecdnioa Cudntica ii) Suma de operadores: ax? + BIx> = (a + A)IO = (2 + a)IxD> (2.1 eaeeceeteeeere iii) Producto de operadores: ‘ ly> = @lx> es un vector que pertenece al mistio espacio qui el vector |x>, en conseouencia, aly> = a(flx>) = ofix> ex tal bién un vector que pertenece al mismo espacio, por, lo tanto existe un operador 7 tal que aly> =yIx>, entonces y =o. EM importante puntualizar que el producto de operadores es en seg neral no conmutativo, es decir, en general: a? = fia. 4a Propiedades del producto de operadores: oe oe 1) a(A, + A) = on, + of, (2,13) e 2) (a +a ez apran (2.14) 3) (8A)y = afr) = apr (2.18) e c) Qperadores sobre vectores "Bra", - e Sean ly> = alx> y

, luego, existe un cierto vector = ) = de la expresién anterior podemos establecer la convencién @ siguiente a a sv] = = ( = cul (alx>) = y |x> estén relacionados sor 26 Algebra de Dirac Cap.2 (2.18) =- i (aA) (2.19) QObgervacidn,- Si [4,7] = conmutativos. entonces los operadores a y 7 son 2.4 OPERADORES ADJUNTOS. a) Definicibn,- Sean |x>, |y> dos vectores, tales que ly> = a1x>, donde a es un operador lineal. El operador adjunto dea es aquel operador a*, que satisface la expresién yl = y de ly> implica la exis~ tencia de depende,ttnealmente de las com~ ponentes de |x>, lo mismo ocurre entre #1 -y = (2.21) * sujal = = = * (2.24) Reemplazando (2.24) en (2.23) se obtiene * +e gulalx> = , Iy> = alu>, y |z> = Aly>, entonces ] = sul (da)*}x> (2.27) igualando las dos expresiones anteriores, se obtiene culr*at}x> =
) entonces * + rat }x> = (ha) *1x> (para todo |x>) © sea rot = (ra)* i : eae iv) (Ea) = Bay (2.28) Demostracibn, = Sean @ =E 4, y ly> = Alx>, entonces, existe ol = odets ole ay? (2.29)28 Algebra de Dirac sea |2> = a 1x>, entonoes , y |x> =) entonces = o)e> y de aqui : “yl = cal (ap) por otro lado, se tiene + + yl = cxla", y ex = ale lo cual nos da ey] = =a solamente un vector |x>, e1 regular y se define |: dea I>, sia _ceda ly> le corresponde uno y tor Soperador @ es un operador 2 mars kySSdonde @* es el operador inverso — b) Propiedades. i) ot* = 4 (donde 4] es el operador unidad) (2.34) Qbservacibn.- Recordemos que el operador unidad’es un operador transparente, es decir, cuando se aplica sobre un vector. lo deja tal y como estaba originalmente. Esto quiere decir que be = Abe = be ii) Si op =A » Aza" (2.35) iii) (e9)* = @*a™*. (1050 con el orden!) (2.38) iv) (a*)* = (at) (2.37) 2.7 OPERADOR UNITARIO. 2) Definicidn,- Se define como operador unitario, aquel opereder a que cumple qr (2.38) = cae onownoaneannanaennan_nanaeeantetee eee 30 Algebra de Dirac . Cap. (iO0jo! No debe confundirse con el operador unidad). b) Propiedades. ~ i) El producto de dos operadores unitarios .es un operador unitario. ii) La suma de dos operadores unitarios NO es un operador unitario, iii) Los operadores unitarios conservan el producto escalar. Es decir, si a es un operador unitario y se tienen los vectores Ix’> = elx>, Iy7> = aly>, entonces = . Demostracion. ~ ee pees + Condicién necesarja: & es un operador unitario, luego at = s Entonces se cumple que. = Gelatly?> = cdataly> =exlotaly> = cly> Condicién suficiente: si fy> entonees, a es tin operador unitario. Para todo , tenemos Ve cxlotaiy> =e ly?> = = tomando los extremos de la expresién anterior podemos escribir 4 ca ee a” =a”, y & es unitario. 2.8 OPERADOR PRODUCTO DE VECTORES. a) Definicido.- Sean los vectores |A> y 1B>, y ademis el vector fxs, un vector cualquiera. La expresion |A>() representa a un vector que designaremos por ly>. Como |y> es funcién lineal de lx>, entonces existe un operador lineal representado por {[A> = (1A>. Al operador |A>) Propiedades, = i) (1A> = (1A> y tomamos el adjunto de ‘este vector, entonces (2.40) cyl = = 1A>() = AL AD entonces ey] = A* cal = (. Definimes el operador A= livsil 4082.43), donde 4 es 21 llamado operador Uno de Dirac: Este operadores el operador unidad de la base correspondiente. be Ejercicio 2.1.- Demostrar que el operador Uno de Dirac-es ‘el operador unidad de la base ortonormal | i>. Solucidn, ~ Sea el vector |x> = E x1i>, entonces Alo'= 5 1p m, por medio de ~ P= E lircil (2.44) Bierctcio 2.2.- Sea-el vector.|x> definido en un eépacio de n dimensiones y sea ly> = P lx> un vector en otro espacio; establecer la dimensién del vector |y>. Selucién. - ly> = Plix =F liv = 5 liodil Exjl i> = £ ( El idx,) a bes pe ise tee Iyy = Pho =r 5 Viox 56 5 = E liox, Paget ay aqui se puede ver claramente— componentes, lo cual quiere proyeccién sobre un vect: obtenido su proyeccién ep Ty> es un vector de a decir~' que al aplicar el operador Spacio de n dimensiones, hemos espacio de m dimensiones con m < n. 2.9 REPRESENTATIVAS. En los titulos anteriores hemos usado una notacién para representar a los elementos que constituyen la algebraica definida recientemente. Sin embargo estas definiciones carecen de valor operativo paralelamente una representacién matematica operativided. Es por esta razén que vamos representacion que corresponda a cada uno de los base n-dimensional | i>. 2) Representacidn del vector ket.- Todo vector ket se por medio de una matriz columna constituida simbélica estructura en la practica sino llevan que amplie su @ establecer la elementos de la representa por los elementos si- guientes <1ix> x, be = [2b] 2 | xt k ¢ « € 4 (@900009990090000 S8®OCCO0000000505 ooec Mec4nica Cudntica Q¢eeeeeeed Representacisn del vector bra.~ Del mismo modo, los vectores @ bra se represen: a0,POF medio de una matria file sonseiturgs Por @ los elementos siguientes o «xl = [oxi , xiao peed ] = od a8.) o e €} Representacion de un operador 20 la base |i>.- Para representar @ al operador a en la base Tine vamos-a utilizar la matriz n Xn que - se expresa por 4 = ; donde dies el indice de las filas y oe J es el indice de las columnas. Gon este criterio podemos escribir A= [Stleli> <1jalas , - <1lain> <2lal i> <2jal2> |! <2yaln> , 2.5 Toda relacisn’ entre vectores Bra y Ket con operadores, sonteruuce en le misma relacion entre jas matrices repre— sentativas. Hipétesis: si ly> fa) IyL =a Teste-tyy = (AB) 5 = Oy, Demostracion, - 4) Tenemos ly> = a/x>, entonces, de a cuerdo a la representacién de vectores por medio de matrices colums @, podemos escribir ly> = % ‘or % *% PP PAY A) ee typ eg Ix] %, x, >) Sean los operadores a ¥ 7 de los cuales tomamos su producto op 2999090998808 90 0040009009099484404 CARE AE lela = Lalkoaia k &a Algebra de Direc Cap.2 Por otro lado Kile! j> = = L Py Ps con lo cual se completa la demostracién. 2.10 CAMBIO DE BASE. a) La matriz S,.- Sean las bases |i> y |k>. Consideremos el producto escalar de ambas bases, con lo cual obtenemos . 8, = Im el término S,, puede asumirse como ef ‘elemento ik-¢simo de una matrig n Xn. Con este criter: Gddémos establecer este mismo elemento de matrie en la forma, B SAIS [ko (2.48) esta matric cuyo elemento es S, la vamos a utilizar para realizar un proceso de cambio de base b) Propiedades de §,.-El operador Uno de Dirac se escribe en su propia forma en cada una de las bases del espacio vectorial; ast, podemos escribir ‘A =D linc =D locks (2.48) 5 * Por otro lado = = E (2.47) x « pero cal = 8), ¥ Kip =s IANA AIAN, y | | ¢ é € c e g 6Mecanica Cuéntica 35 Cap. 2 oe r- f 9 ‘ es gel es Pry. pu ae ee ae 4. ae $, = = y lo queremos cambiar a la base Ik», entonces sife = = 5 Sx, Ps : k de esta expresién se obtiene en forma directa ademis, se puede escrib. Ik] = S*ix} = s*)x} donde se tiene: |x> = |x!,-vector en la:base |i>, y,[X%>-= : x Vector transformado a la base |k>. ’ Pet eh Observacion.- Si al vector |x>-le corresponde la matriz columna Ix], entonces al vector de la matriz A, que es la re- presentacién asociada del operador a. Si 1 Sn . Si tenemos puede escribir a = 4-a-4, entonces Tene Oe ee 411A «2-1 i> K>? D y a 35 Algebra de Dirac Cap.2 A. = £ailB>KlalTo = ee pt ie ae WL ZGIBElIbT d = 18, Rist) = (8 78, finalmente ee A, = (SE 8%), : (2.49) lo que se puede escribir aA=SAS (2.50) © también s‘tas (2.51) 2.11 AUTOVALORES Y AUTOVECTORES. a}-Definician.= Sean a un operador y |a> un vector no nulo, si se cumple a ala> = Alar (2.82) wie donde \ es_un escaler, entonesss: dice que [a> es un cutovector ¢ vector propio del operador ayy que X es el autovalor 9 valor propto correspondiente. b) Degeneracibn’o multiplicidad de autovalores.- Si dado un valor Propio X, existe un conjunto de autovectores diferentes 19,>,1a,>, ++.la,> que, satisfacen la eouacién (2.52), entonces al numero de autovectores diferentes del conjunto anterior, se le llama-la de- generacién o multiplicidad del: autovalor , ; Teorema 2,= Los autovalores asociados a un operador hermtico son todos reales. Demostracidn. = Sea a un operador hermtico (a= a*) y X% un valor propio asociado a este operador. Sea |a> un autovector del operador a. be la propiedad :(2.21)-y la definicien de operador’ herm{tico, podemos escribir late Hahn's bist = = Ala> si aplicamos esto a la-ecuacién (2.53) obtenemos = ™ i (2.54) | Luego, es un ndmero real. Por otro lado, ' = = A (2.55) que > si examinamos esta expresién podemos~coneluir de inmediato es un némero real; porque.si el miembro de’ la izquierda de la ecuacién (2.55) es un numero real—yjcomo la norma al cuadrado del vector |a> es tambietiqréal, entonces, necesariamente es también real. En conse@uentia; los autovalores de un operador herm{ tico son realest fs Teorema 3.- Los autovectores de un operador hermtico asociados con autovalores diferentes son ortogonales. Demostracién, = Sean dos autovectores a> y |a’> del operador herm{tico a, asociados con los autovalores y X’, de modo que se cumple ala> = Ala> ala’> =A’ la’> entonces = d (2.56) =A’ (2.57) Tomemos €1 conjugado de la expresién (2.57) =A’ @ en la ecuacién (2.88), obtenemos por analogia . La Ah £(o) = Lig Boe 3 Estoy kso Teorema 4.- f(a), la funcién de operador existe a ,' si todos’ los autovalores de & son de mdulo menor que el radi 2 de la serie. que el radio de convergencis Demostracién para el caso de un. operador hermitico.- Para un operador hermtico a,.se tiene por definicién de base propia, que le forma deda en (2,80) se puede exeresar por :~ oe Algebra de Dirac Cap.2 E liv A,cil (2.71) k i entonces para a‘, se puede escribir of = 5 fir Meet (2.72) Formemos P(a) de la forma siguiente a yk pane Play = Do -£ 1g aFcal = E 1d oAfcil « t kre © sea Stone: Play = E 1d? PAL Gl (2.73) Si los autovalores. de los’ \,,, cumplen la condicién dada de que |A,1_ Aci C G @ @ é qd q @ ¢ 6 val MAAMHAARAAAADMNADAE AHOOCOCAAGAAAE a AMACap. 2 Mecanica Cudntica 41 y se define f(a) = LD pita, 0, Vi (2.80) \ 2.44 PRODUCTO DIRECTO © PRODUCTO TENSORIAL DE DOS ESPACIOS- Sea'la base |i> perteneciepte al espacio E,, y la base 15> perteneciente al espacio E,, éderioes a toda pareja i>, 15>, le corresponds un cierto. yes ise (oe en el espacio E, que forma una base ortonorm ld> = 1a, go : 4 (2.85) Propiedades,~ 4) El producto directo de Kets es lineal, es decir Ox? + HIXpI1Y> = Ax p>ly> + ulx,>1y>eS ee we www ww www ww ww rw wr ~~ ~~ 42 Algebra de Dirac Cap.2 ii) El producto directo de Kets es conmutativo. liol p> = 1ol> (2.86) b) Producto directo de Bras.- El producto directo de vectores Bra se define por exile! =D xf yf Gil (2.87) con esta definicién se puede escribir y ly> Se cumple (exe! Fey I) Cao ly) =) SS 9 aa, Ee Se ees est a, = he * (ext Cael) = BEST y"4n6u8. = EC Ei” yy uy ka t i finalmente (ex Py I) C2199) = 6! becy? Ly? (2.89) c) Producto directo de operadoras.- Sean a y (@ dos operadores lineales pertenecientes a los espacios E| y E_, respectivamente. Y sean adems, los vectores |x> y ly>. Entonces existen los vectores eos aia y Iy?> = Gly>, Con estos vectores podemos establecer 15s productos directos Ix>ly> y Ix/>ly’>} y ahora definimos . el producto directo de operadores en la forma fx? >1¥7>, = (a7A) Lo ly> (2.90) Opservacibn.- Es importante aclarar que la notacién utilizada en —43 Cap. 2 Mecanica Cuantica i i ra las arios textos para indicer el producto directo, involue: ‘ormes siguientes: ox? = a7? = cep. teorema S.- i los vectores a = Dados los ‘operadores lineales *_¥ B, liv, }d2, 1a?> sabi, ¥ [J*> = A152.» Eatonces, se cite 6, cumple an, srlerali d> =, = asi hss bia’ > gin, slaceli, do = entonces Alea >< 51015 4) Matria 2: jvaGel pEoducte directo de operadores.- La fedel producto directo de operadores se mavriz representativat-d expresa en la forma Sfguiente: a (2.92) (aR) 4 i‘ en donde i”,Jj” son indices de alee ei, j son indices de. columna. wv = De esta definicién se puede ver.que la matriz Chaetsentativa del producto directo de operadores tiene cuatro subindices. teorema 7.= Sean los operadores a, y o,, definidos en e1 espacio B,; y los operadores 0, ¥ f, definidos en el espacio |. Entonces se cumple : NP) = (4,8,)7(7,0,) (2.93) Demostracibn, - f De la notacién normal del producto de matrices tenemos AB), = . : (AB) RE AGB (2.94)aa Algebra de Dirac Cap.2 Por otro lado, la notacién de la matriz representativa del Producto directo de operadores nos permite escribir 1495" Me parr = Ey Padre Pour -22 FE eye, My ME yyy Page? = (44: ) BP yip = t i (0 pe LBg Ve = LO) CA, Veryany finalmente (2,°P.)(2,°R,) = (4,8,)7(8,8,) Ejemplo. - 7 é ( ta) al ) 7 AWA, 7B) =e Ap) (Ane) sap Observacién.- Como en el uso praotivg-dé operadores no hay lugar a equivocos en el manejo del produgto-directo de operadores, es una costumbre hacer un abuso 34, @tacién y usar indistintamente lo siguiente wA,ee ¥ AQ’ es decir, en los dos miembros de la izquierda, el operador a pertenece al espacio E,, y el operador f pertenece al espacio &,; pero, en el miembro de la derecha ambos operadores pertenecen al espacio E., ©) Propiedades, - i) Tr(a*A@) = (Tr o)(Tr A) : (2.95) Demostracibn.- * Te (2A) = EO Pay #E Oyhy = Ey EA = (Te an(te a) Mey ety 44) El producto directo de dos operadores es conmutativo, Es de- cir a8 = pe (2.98) mm ~ ee eeCap. 2 Mecanica Cuéntica ad i415 BASES CONTINUAS. Hasta este momento hemos trabajado en un espacio discreto, sero la Mecdnica Cuantica, aén cuando trabaja con algunos sonceptos discretos, se desarrolla en un espacio de tipo continuo Espacio de Hilbert); por esta razon, se hace necesario redefinir algunos de los conceptos que hemos utilizado en nuestro espacio jiscreto, con la finalidad de poderlos utilizar libremente en un 2spacio de tipo continuo. Espacio Discreto Espacio Continuo i Base continua. 1X> con ® real. 1) Base discreta.- 1i> con i entero. = oc Gy = , ly> dos vectores que pertenecen al espacio Ey entonces = fxar*yarar Ejemplo 2.- Si tenemos un operador a, entonces Jor lapoaatalr” AlaIA?> y¥ AMLABIA">40 Maeben de Dirao Cap. 2 KJeraietos y Problemas Demoabrar La propiedad (2,7) del producto harm tioo, » Demoatrar qua (aA, § CoA, + Ces) | Pemowbrar due (a0) = alo] + C4 Ala, Demontrar que [e/) = =(A,e), 2.8. Domogtrar que la condioién neoesaria y sufiotente para ne oi products de doo operadores hermiticos sea un operador erm tioo, #8 que low operadores conmuten, 2.8, Demostear que Tr(A + B) s Tr(a) + Tr(B), 2.7. Demomtrar que Tr(AB) = Te(BA), 2.8, Demoatrar que ol doterminante de una matria op igual al Producto de sue autovalores, 2.9, | Demontrar que 1 producto directo de kets es oconmutativo, 2:10. Demontrar que 1 producto dtikesto de operadores es con- mutativo, 2.11, Probar que a) (£(a),} © 0, We b) ot Py Qt SE 2:12. Demontrar que ei tree veotorea tridimensional, Lnealmente dependienten, entoncen alice we secretin enouentran sobre un mismo plano, 2.13. Sea un operador hermtico a que conmuta con - radorea herm tiooa fi, A, quienes no conmutan entre ex. Denostree aue 91 operador a tiene ous valores propios miltiples. 2,14) Domootran quo la natriz $ om eindular (uee's = 0) at 2610 af uno de sua autovalores ea cere, i ¥ 2.15, Diagonalisar lao siguientes matrices primero por medio de una tranaformacion de oigi)> matriz de traneformacién a partir de low Veotoren preginaltand pe gundo, Por medio de operaciones auceaivan” oun va? files) get oolumnas, oT i] mao o fo o 1 [3 ° 3] ae cH “8 5 9 nd, fw Por dos métodos: c ABRABAAAAAR