Segunda Cuantizacion 1.1. Introduecién La importancia de la mecénica cnantica en términos del formalismo de segunda cuantizacién radica en tener un nimero variable de particulas ¥ a la vez los célculos contienen automaticamente los aspectos combinatorios que surgen de la estadistica particular que obedecen la estadistica de las particulas, segiin sean estas bosones o fermiones. Podemos resumir que la segunda cuantizacion se ocupa 0 contiene = La estadistic ‘a de las particulas correct Sistema de particulas cuyo nimero es variable Cuasiparticulas (métodos de aproximacién) Utiliza los métodos de la teoria de campos intervienen muchos cuerpos Los métodos de la teoria cudntica de campos han jugado un papel muy importante en el estudio de problemas no relativistas en los cuales intervienen muchos cuerpos, tales como sistemas de estado sélido, éptica cuiintica, etc. Estos métodos utilizan téenicas basadas en funciones de Green © propagadores . los cuales estan basados en la formulacién de la mecénica cuéntica en términos de segunda cuantizacién, Desde el punto de vista histérico el termino primera cuantizacién se refiere a las descripcién uudntica del movimiento de particulas en campos electromagnéticos clasicos, lo que conocemos intica y que fue desarrollada por Heisenberg, Schrédinger y Dirac. Posterior- mente el campo electromagnético fue cuantizado por Dirac en 1927, ¥ este método fue ampliado por Jordan y Klein para un sistema de bosones interactuante entre 1927-1928. En 1928 Jor- dan y Wigner desarrollaron el formalismos de segunda cuantizacién para el estudio de sistemas fermionicos, donde las particulas fueron descritas también por campos cuantizados Algunos aiios mas tarde, en 1932 Fock mostré la equivalencia de la formulacién de la mecéni- ca cudntica en términos de la segunda cuantizacién con la mecénica ondulatoria de un sistema de muchas particulas generalizandola a sistemas en los enales el nfimero de particulas puedeWJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo variar. Esto lo realiz6 introduciendo lo que llamamos hoy en dia el espacio de Fock 0 "grad- ed Hilbert space", El trabajo de Fock estuvo basado en trabajos previos de Landau, Peirls, Oppenheimer, Heisenberg y Pauli quienes consideraron problemas acerca de la interaccién del campo electromagnético con la materia, Estos trabajos dan como resultando el desarrollo de la clectrodinémica cudntica, Asf la forma original de la mecénica cudntica se denomina primera cuantizacién, mientras la teorfa de campos cuantizados se denomina segunda cuantizacion. 1.1.1, Mecénica cudntica de un sistema de .V particulas. Consideremos un sistema de N electrones interactuantes moviéndose bajo la accion de un po- tencial V(r) y de un campo magnético descrito por un potencial vectorial A(r). El hamiltoniano del sistema puede escribirse como He = Ho + He-e, (ap conHy es el hamiltoniano de los electrones independientes dine), (1.2a) fa Hi, ¥ He es la energia potencial debido a la interaccién entre las particulas, por ejemplo la inter- accidn electrostatica de Coulomb donde h(r;) es el hamiltoniano asociado a una particula dado por h(n) = se (-inVi — eA (14)? +V On), (13) am La ecuacién de Schridinger del sistema es Hb= Bo a4) Donde y es una funcién de las coordenadas, posicién y espin de todos los electrones. Los valores propios £/ son los niveles de energia del sistema, Bl estado de minima energia se le denomina estado base y los dems estados son denominados estados excitados. Considerem« resolver de 1 inicialmente que no hay interaccién entre los electrones, en este caso se puede 1a manera simple, con lo que obtenemos How = Ey (1.5) La funcién de onda la podemos escribir como ler, 2, 05 tN) = Phy (1) Pky (2) -.++- Pky (Uw), = {r,0}. (16)CAPITULO 1, SEGUNDA CUANTIZACION Insertando esté funcién en la ecuacién de Schrédinger obtenemos Nri)prs(oi) = Bvves(ai), (17) con y E=K (1.8) = Donde las fuanciones g(x) forman un conjunto ortonormal y completo de funciones J eileror(oite = By, Deile'voale) = se - 2!) Debido que las particulas son indistinguibles el hamiltoniano Ht 6 Hy es invariante bajo el in- tercambio de dos particulas o equivalentemente bajo el cambio de 2 coordenadas, por ejemplo ij, + i. Ksto conlleva a que las propiedades fisicas del sistema (espectro de energfa, valores esperados, etc.) sean invariantes bajo estas permutaciones. La funcién de onda definida en (1.6) istingue entre las particulas (el electron 1 en el estado 1, el 2en el estado 2, ete.), una funcién de onda de un sistema de particulas incistingnibles debe ser tal que al intercambiar dos particulas de sus estados o posiciones las propiedades fisicas del sistema no cambien, a esta funcién de onda fa vamos a Hamar @ Definamos el operador P tal que intercambia dos particulas, # debe cumplir qne i) si volvemos a aplicar este operador se encuentra que Dues Xi) te, (19) Prion PHB (..j,X)) = C®(.28i%5) como debemos obtener la n ma funcién de onda se debe cumplir que P2202). %)) = PP(...0),x)) = O(...265,)) PR=1 y Py=Pj =P con (1.10) P,4 es un operador unitario. Los valores que se obtiene de la constante ¢ son £1. Cuando ¢ = + vamos a hablar de funciones simétricas y cuando ¢ = —1 de funciones antisimétricas. Lo anterior tam las. én contleva a que los valores esperados no dependan del “rétulo “ de las particu- <¢|A]o>= (6) Rs AR | 4), =< | PyAPiy | >, e, olAlg>. (1.4) 3WJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo Por ahora nos vamos concentrar en los estados antisimétricos, a estos como tna proyeccién sobre el espacio de las funciones antisimétricas VNIS_at stados los podemos escribir ® con S_ el operador antisimetrizacién dado por 1 Loh. (1.12) P donde P es el operador permutacién y ¢, es +1 cuando el nimero de permutaciones es par y -1 cuando el niimero de permutaciones es impar. El operador $_ proyecta las funciones de w es funciones de onda antisimétricas y se puede demostrar que Pas (1.13) da tal manera que _ es un operador proyeccién. ‘También se puede mostrar que si A es el operador de un sistema de particulas idénticas se cumple que =VNi(u| Ale) NI (| A8_|#), (44) AL Ple> Para funciones de onda antisimétrieas es usual escribir & como un determinante de Slater Pe (1) Px, (w2) Pe (tw) Pro(1) Pha)? Pha (ew) Pkw(41) Phy (#2) +> Phy (ww) Debido a que las ® forman un conjunto ortonormal y completo podemos escribir la fneién de ‘onda del sistema interactnante como tina combinacidm de las ® Werr,42n)= Yo elhiske, idascaky EN) Dh apne (15 22s 009 E) Hemos considerado un ordenamiento estandar ky < ky <.... < kiy. Los estados k que aparecen en el determinante son los que estan ocupados. ‘Irabajar con funciones de onda de este tipo bastante dispendioso y debemos buscar una representacién mas simple, 4CAPITULO 1. SEGUNDA CUANTIZACION 1.2. Representacién en el ntimero de ocupacién Es claro que la informacion contenida en el determinante se puede obtener sencillamente haciendo una lista de los estados ocupados y diciendo cuantas particulas ocupan ese estado. En el caso de fermiones este mimero de ocupacion es 0.6 1. Al estado © lo representamos por Bh ae (E19 B25 09 BN) F [Phys ekg os Te) [Py 12s we Mig) en donde nj = {0,1}. A este representacin la denominamos méimero de oeupacion, Como las & forman un conjunto ortonormal y completo tenemos que (1,25 vey Mig eve [yy Ry Bran (1.16) DE fren eag nny tise) (ren 25 woop My (1.17) es usual denotar estas. solaiones como {Era} | £90) = Faring Dale) (Ora = (1s) tnd Analicemos, que implicaciones tiene la relacién de completez de estos estado. Para ello consider- emos el espacio de Hilbert de una particula H', una base para este espacio es 1,0,0,-.)5 [0,1,0,..); |0,0,1,0..)s.05 [O,051,0,-04)s (1.19) Si el espacio de Hilbert es de dos particulas H? una base es [1 1,0,..)¢ [10,1 (1.20) 5 |1,0,... y asi sucesivamente. El espacio que podemos conformar como la suma directa de todos estos espacios de Hilbert se denomina espacio de Fock y es definido como la suma directa de todos los espacios de Hilbert con nimero diferente de particulas HY =H @H'@..eH* OH"... En este espacio el niimero de particulas puede variar al cambiar de un espacio de Hilbert a otro y nos permite trabajar tanto en sistemas cuyo nimero de particulas es constante como en sistemas en que no, ahora nos preguntaremos como es la relacién de completez en este es- pacio y como podemos definir operadores que nos leven de un espacio de Hilbert a otro con diferentes niimero de particulas, podemos preguntarnos {Qué significa |{n,})({nf,}]?. Para ello consideremos primero cuando sélo difieren en un niimero [renga stp =O, .n){ra M2 Jofrasm, one Mp = Ls) (MMs Mp stp =WJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo Estos operadores destruyen 0 crean una particula en el estado p respectivamente. Detinamos los operadores de destruccién y ereacion como ! b= DS A) fons Open) (oer Dpa onl (1.21) {nif i#p y el de creacion coma YS Cd fesdps ee) oes Ope (1.22) {nit ifp pl con Ny = ) ny i Los puntos suspensivos denotan que los estados permanecen iguales. Np es el ntimero de estados ocupados antes del estado p y da cuenta del ntimero de saltos en el determinante de Slater para llevar este estado hasta la primera fila. El operador ¢, destruye una particula en el estado p. Ahora consideremos cuando difieren en dos estados Joes Ops 24) m1 Ip 9 yen este operador destruye una particula en el estado p y una particula en el estado g, podemos definir el operador Gr =D fs Ops gyn) pase gs {nit i#p => init i#p (1.23) 0 (Heyy si introducimos un 1 diferente tenemos que Ops +245 gy 2+) (co0s Opy ones Lg (1.24) “También es posible definir el operador de destruccién a partir de su efecto al aplicarse sobre un estado Elem Tay) = (=)*F fons Opy =)CAPITULO 1. SEGUNDA CUANTIZACION ae (1.25) € igualando los é,q obtenemos (1.26) (1.27) De forma similar podemos demostrar que d,a], =0 (1.28) Ahora preguntémonos por el resultado de eheg. (1.29) Aunque podemos seguir un esquema similar al anterior definiendo un operador que destruya una particula en el estado q y cree otra en estado p, para ilustrar un método més directo vamos a partir de las definiciones (1.21) y (1.22) de = Aone {ni} ns} igpdea = Ve {nj} oi Por otra lacla SED 40g, tte) Gor dgy est D fas} tas} ieniée = DS AM Ogy ne tps YD (oe init itp de estas dos relaciones tenemos que +1,N, y por lo tanto Gi} = hea > [nr ] (1.30) Ahora sip y q son iguales podemos demostrar que init i#pWJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo y sumando esta expresiones hey + 6yeh =) itn ttnad (si) Smt ambos resultados los podemos escribir como lane, (1.32) De las definiciones se puede encontrar facilmente que sMpsr) = (=1)NPnip|-+ np (1.33) Abe ympyee) = (-I)8°(1 = 1p)|--- yap Ls (1.34) De estas dos ecuaciones tenemos que chepls> smpr 2°) = (APN ngs args} = Myke Myer) (1.35) Por lo tanto el operador fly = éép lo denominamos el operador nimero del estado p y el operador Ys, (1.36) P el operador niimero (total), debido que al operar sobre un estado nos da el nimero total de estados ocupados. Las relaciones de anticonmutacién también se pueden obtener directamente de como los operadores actuan sobre un estado general, ecuaciones (1.33, 1.34) 1.2.1, Elementos de matriz Deseamos expresar el hamiltoniano (1.1) en la representacion de nvimero de ocupacion para ello tusamos las relaciones de completes )°|{n;})({n;}] = 1 y obtenemos que init He = iHoit+ ifecl, (1.37) onde . iHoi = D> YUlnp dco] fore) [Loud Cee be (1.38) tmlCAPITULO 1. SEGUNDA CUANTIZACION 1S SF nga|veenesy lin’) Hog} Cb (1.39) natn Por lo tanto debemos evaluar los elementos de matriz en nuestra base ®, para ello usamos la ecuacion (1.14) eon A = Alri} {0|A|o') = VNI(@]Aly") Heel Kp |S-Aly") =Le PAC Al) (1.40) rma ERC) Hr!) = ool os) $l) 7 Dek |sei, (61) fh, (i) Non (ri) py (ti) dey dr | 7 = oa () (ry) Pu, (FD Sexy fovem Ho = tele) |) Say) ; {ny} 1 Fok Al hacer la suma sobre el indice i tenemos que por cada estado ky y ki una contribucién a la suma, ademas que el elemento de matriz idependiente de este indice, de tal manera que podemos finalmente escribir Omg = 1, ) Mh poy = 0. hea Im feat, =I = Or) (nth = Oey = a Hy = SA (rs) = lhl ebay. (14) ist ka Donde hemos usado las ecuaciones (1.21) y (1.22). Este resultado nos muestra que un sistema de N particulas no interactuantes puede escribirse como la suma sobre los procesos de dispersion que sufre una partienlas de cualquier estado k a cualquier estado W/ Por lo tanto al sumar sobre el niimero de particulas la hemos reemplazado por una sobre los estados de una particula. Un método para convencernos de esto iiltimo es examinar el efecto que tiene el hamiltoniano Ho sobre un estado de particulas indistinguibles ®, Primero si h(r) = 1 tenemos que im =N, (1.42) K N da= a al hacer la suma sobre nj, estamos contando los estados ocupados de tal manera que la suma sobre n, obtenemos el niimero total de estaclos ocupados. Apliquemos Hy sobre Hob = A YOY ep Pye, (81) ol (4) 04 (04) «Pky (BN) (1.43) aaaWJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo T(r) en (2) = Deer) (4) K Nétese que el elemento matricial es independiente de i. 1 1 5 Hol) = TRL (01) ope (4) Pty (tw) (Al) (ats) Ahora escribamos ® en representacién nimero. Al hacer la suma debemos distinguir entre dos Lak > Hole) =) (bth ees thana ho) = sta All| Payson) 7 & Al hacer el igualdad hemos tenido en cuenta que cada elemento de matriz. contribuye si el estado est ocupado de tal manera que la suma sobre i la podemos reemplazar por una suma sobre kj. 2K eK 938) = DOTY) es My -) Migs May = OD mein (1) ayy mesmgg + Aymstty — Le) DET = mdr (=D (I) ays, Hs os a (1 = mz), (1) (Rel deli) rays, + yee, = De los literales (a)y (b) y de las definiciones (1.33) y (1.34) obtenemos Deatien (alain) iy lig sos Mss y por lo tanto en la representacién miimero Hp esti dado por Hy= at, (lah). (1.46) fat 10CAPITULO 1. SEGUNDA CUANTIZACION Este resultado es equivalente al que encontramos en la ectiacion (1.41). Ahora el operador Hy no necesariamente debe ser un hamiltoniano, por lo tanto el tiltimo resultado lo podemos generalizar ‘a cualquier operador de particulas idénticas que actéan sobre una particula come N acy = raialeyear ay) =r 7 De forma similar se puede mostrar que para operadores que actian sobre dos partfeulas en segunda cuantizacién se obtiene que Se Gaevle yeah eva, (1s) 2 dat (ke RIV |) = / dtr drag, (81) oy (t2) V (rita) x(n) ve (2) (1.49) Notese el ordenamiento de los operadores y del elemento matricial. Kste altimo resultado lo podemios interpretar como sigue: los términos de interaccién que se obtienen al sumar sobre todas las partéculas del sistema es equivalente a sumar los procesos de dispersién de dos particulas en los estados 1,I' a los estados k,K', lo cual se logra al destruir una particula en el estado 1 y otra en el estado I’ y crear una particula en el estado k’ y otra en el estado k. 1.3. Operadores bosénicos Consideremos el caso de un sistema de bosones no interactuantes, la diferencia con el caso fermidnico es que varias particulas pueden estar en el mismo estado de tal manera que n; no est acotado nj = [0,00), n € N. La funcién de onda simétrica se puede construir come ee 5 2 ({e}) =§ ———— 1) Pky (tn, Pky (ny $1 Pk EN) 1.50) a) eh) VW 2p Phe (1) Pes (mn, eka JePk xe (BN); (1.50) donde la suma corre sobre todas las permutaciones de los indices ky, ky los indices k1, ny factores los indices ky, etc, de tal manera que y nm; factores tiene Como en el caso anterior Ia informacién en ® es representada por el mimero de ocupacién Dh hy criyy (EL E25 oes EN) |My Mhyy eey My one) = |My M2, weeg Mio) y (1.51) donde (rma} [£04 = Si Bayo Bn ul (1.52)WJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo Sheantnal =a, (1.53) tel Los operadores de creacién y destruccién estan definidos como y= > [( ri) plan, 25 ons (14 = Ups) (M14 1250 (Pps nls (1.54) ‘fmt YH odplar sm, ous (mi) pr-) (a1, 25 (ME — Dp (1.55) i Se ve claramente que fy | 45 M25 oo py) = Tip] Mey en Mp ~ Ly on) (1.56) tig! fry, vos py Jy FT fra, 124 oop Mp + 1 (1.57) de estas relaciones se puede mostrar facilmente que ips a|_ Fay’ ig™)_ [y. cia" _ = bya (1.58) Se puede ver facilmente que un estado |r, 2, ..., Mp, -) se puede escribir como ait". (gly . Pay My ,) (at)".ay')? (1.59) Virbogl|0,0,0..). (1.60) representacién para operadores de una y dos particulas es igual a Ja encontrada en las ecua- mes (1-41) y (1.48) si reemplazamos los operadores é por operadores @ 1.4. | Cambio de hase Consideremos que cambiamos la base formada por el conjunto de las {A} por la base fa;}, esto conlters que ls extads se pueden repreentar en x nueva base co 10) = ) {as} | (63)lf03) (1.61) ai} Al partir de esto es posible demostrar que los operadores de creacién y destruccién en la mueva base estan dados por = Yee [Riba cat = Si Jas)ee,t (1.62) & es posible demostrar que si 0, [erseb]_ = dae G0). Sua! (1.63) [easeo"]CAPITULO 1, SEGUNDA CUANTIZACION 1.4.1. Operadores de campo Consideremos que la base aes la base de posicion {r}, en este caso los operadores é, se denominan operadores de de campo y se notan como G=vr) de tal manera que las relaciones (1.62) se escriben como b= oaina, vy = Syima! (1.64) T 7 y cumplen (oe. He] = 6-2) (1.65) El operador ¢}(r) destruye una particula en la posicién r sin importar su energia o momentum, esto se logra sumando sobre todos los estados cudnticos que caracterizan a la particula, como puede verse en (1.64). Con los operadores de campo se puede eseribir operadores que actéian sobre una particula como A(r)) = facie (ille") ("| Ale) (rl kG eh » Dy Ieee a = J eiteraerien De forma similar se puede mostrar que ff scavst (r) Ht (er) V (rr) (r') be) (1.67) N, El operador densidad de particulas = }76 (x ~ r4) se puede escribir coma a A(t) =H (e) b(n) (1.68) en cual cumple que feo = va ate) [¥# (#10) = 5-2) (# () ) (1.69) 8 109] = 1 (¥4 @) 0) (1.70) La densidad de corriente eléctrica j = eS vjé (r — rj) se puede escribir en segunda cuantizacion j= Aw mv (171) 13WJ. Herrera & J, Vs Nii Notas de Teoria de Muchos Cuerpo Expansi6n en ondas planas Si tomamos como una base completa de ondas planas 1a n eke 1.72) pelt) Ya (1.72) EL operador densidad y corriente eléetrica se pueden escribir como 7 * 1 « - ae) = Dyce con pa= bY Alita (4.73) 7 % lx) Vea con §q= © (u43q) a, (1.74) a a nD 24) “era 7 * y el hamiltoniano de un sistema de electrones interactuantes puede ser escrito como WR 1 (2n)* a He Shake +5 oepr'ke (1.75) con 1 (1.76) (2r) : la transformada de Fourier del potencial de interaccin V(r2 —r1)-En He hemos supuesto que no hay potenciales escalares, que seria el caso de un gas de electrones interactuante, y que es el caso que analizamos a continuacién, 1.4.2. Gas de electrones interactuante En esta seccién vamos a estudiar un gas de electrones interactuante bajo la accién de un "back- ground"de carga positiva homogénea, lo que se conoce como el modelo de! "Jellium”, lo cual nos permite trabajar con un sistema eléctricamente neutro, para esto escribimos el hasiltoniano del sistema como H=H.+Hi+He-1 (L.77) ‘También vamos a considerar que la carga positiva aparte de ser uniforme es rigida, en el caso que permitamos que aparezcan vibraciones, tendriamos interacciones de los electrones con estas vibraciones, es decir una interaccién electrén-fonén. El hamiltoniano H, es dado por la ecuacién (1.75), donde ya se ha supuesto que la interaccién de los electrones no depende del niimero de espin. El potencial de interaccién de Coulomb lo vamos a escribir como amen donde hemos incluido un pequeiio factor a, que nos permitira tener integrales bien definidas, tales como la transformada de Fourier del potencial de Coulomb ud